Searching for authors named "Dirk Walther" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
Technical Report Satisfiability of ATEL with Common and Distributed Knowledge is ExpTime-Complete
- …Time-Complete Dirk Walther Department of Computer Science University of Liverpool email: dirk@(email omitted); Abstract…
- Add To MetaCart
-
PDL with Negation of Atomic Programs
- … Theory LTCS-Report PDL with Negation of Atomic Programs Carsten Lutz, Dirk Walther LTCS-Report 03…
- Cited by 7 (1 self) – Add To MetaCart
-
Deciding the logical difference problem for EL with role inclusions
- …Deciding the logical difference problem for EL with role inclusions Daniel Pokrywczynski and Dirk…
- Add To MetaCart
-
BMC Systems Biology BioMed Central
- … and protein interaction networks reveals novel molecular organizing principles Pawel Durek* and Dirk Walther…
- Add To MetaCart
-
Selective visual attention enables learning and recognition of multiple objects in cluttered scenes
- … scenes Dirk Walther, 1 Ueli Rutishauser, 1 Christof Koch, and Pietro Perona Computation and Neural…
- Cited by 10 (0 self) – Add To MetaCart
-
On the usefulness of attention for object recognition
- …On the usefulness of attention for object recognition Dirk Walther ∗ , Ueli Rutishauser…
- Cited by 10 (1 self) – Add To MetaCart
-
Is bottom-up attention useful for object recognition
- …Is bottom-up attention useful for object recognition? Ueli Rutishauser ∗ , Dirk Walther…
- Cited by 26 (2 self) – Add To MetaCart
-
Conservative extensions in expressive description logics
- … Conservative extensions in Expressive Description Logics Carsten Lutz, Dirk Walther, Frank…
- Cited by 33 (9 self) – Add To MetaCart
-
ATL satisfiability is indeed Exptime-complete
- … ATL Satisfiability is Indeed ExpTime-Complete Dirk Walther1 Carsten Lutz2 Frank Wolter1 Michael…
- Cited by 6 (4 self) – Add To MetaCart
-
Semantic modularity and module extraction in description logics
- … and Dirk Walther 1 and Frank Wolter 1 Abstract. The aim of this paper is to study semantic notions…
- Cited by 6 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
