2008 |
20 | EE | Boris Konev,
Carsten Lutz,
Dirk Walther,
Frank Wolter:
Logical Difference and Module Extraction with CEX and MEX.
Description Logics 2008 |
19 | EE | Boris Konev,
Carsten Lutz,
Dirk Walther,
Frank Wolter:
Semantic Modularity and Module Extraction in Description Logics.
ECAI 2008: 55-59 |
18 | EE | Boris Konev,
Dirk Walther,
Frank Wolter:
The Logical Difference Problem for Description Logic Terminologies.
IJCAR 2008: 259-274 |
17 | EE | Joshua L. Heazlewood,
Pawel Durek,
Jan Hummel,
Joachim Selbig,
Wolfram Weckwerth,
Dirk Walther,
Waltraud X. Schulze:
PhosPhAt: a database of phosphorylation sites in Arabidopsis thaliana and a plant-specific phosphorylation site predictor.
Nucleic Acids Research 36(Database-Issue): 1015-1021 (2008) |
2007 |
16 | | Claudia Falter,
Alexander Schliep,
Joachim Selbig,
Martin Vingron,
Dirk Walther:
Proceedings of the German Conference on Bioinformatics, GCB 2007, September 26-28, 2007, Potsdam, Germany.
GI 2007 |
15 | EE | Carsten Lutz,
Dirk Walther,
Frank Wolter:
Conservative Extensions in Expressive Description Logics.
IJCAI 2007: 453-458 |
14 | EE | Dirk Walther,
Wiebe van der Hoek,
Michael Wooldridge:
Alternating-time temporal logic with explicit strategies.
TARK 2007: 269-278 |
13 | EE | Wolfram Stacklies,
Henning Redestig,
Matthias Scholz,
Dirk Walther,
Joachim Selbig:
pcaMethods - a bioconductor package providing PCA methods for incomplete data.
Bioinformatics 23(9): 1164-1167 (2007) |
12 | EE | Carsten Lutz,
Dirk Walther,
Frank Wolter:
Quantitative temporal logics over the reals: PSpace and below.
Inf. Comput. 205(1): 99-123 (2007) |
2006 |
11 | EE | Dirk Walther,
Carsten Lutz,
Frank Wolter,
Michael Wooldridge:
ATL Satisfiability is Indeed EXPTIME-complete.
J. Log. Comput. 16(6): 765-787 (2006) |
10 | EE | Dirk Walther,
Christof Koch:
Modeling attention to salient proto-objects.
Neural Networks 19(9): 1395-1407 (2006) |
2005 |
9 | EE | Carsten Lutz,
Dirk Walther,
Frank Wolter:
Quantitative Temporal Logics: PSPACE and Below.
TIME 2005: 138-146 |
8 | EE | Dirk Walther,
Ueli Rutishauser,
Christof Koch,
Pietro Perona:
Selective visual attention enables learning and recognition of multiple objects in cluttered scenes.
Computer Vision and Image Understanding 100(1-2): 41-63 (2005) |
7 | | Carsten Lutz,
Dirk Walther:
PDL with Negation of Atomic Programs.
Journal of Applied Non-Classical Logics 15(2): 189-213 (2005) |
2004 |
6 | EE | Dirk Walther,
Duane R. Edgington,
Christof Koch:
Detection and Tracking of Objects in Underwater Video.
CVPR (1) 2004: 544-549 |
5 | EE | Ueli Rutishauser,
Dirk Walther,
Christof Koch,
Pietro Perona:
Is Bottom-Up Attention Useful for Object Recognition?
CVPR (2) 2004: 37-44 |
4 | EE | Carsten Lutz,
Dirk Walther:
PDL with Negation of Atomic Programs.
IJCAR 2004: 259-273 |
2003 |
3 | | Razif R. Gabdoulline,
Rebecca C. Wade,
Dirk Walther:
MolSurfer: a macromolecular interface navigator.
Nucleic Acids Research 31(13): 3349-3351 (2003) |
2002 |
2 | EE | Dirk Walther,
Laurent Itti,
Maximilian Riesenhuber,
Tomaso Poggio,
Christof Koch:
Attentional Selection for Object Recognition A Gentle Way.
Biologically Motivated Computer Vision 2002: 472-479 |
1 | EE | Daesu Chung,
Reid Hirata,
T. Nathan Mundhenk,
Jen Ng,
Robert J. Peters,
Eric Pichon,
April Tsui,
Tong Ventrice,
Dirk Walther,
Philip Williams,
Laurent Itti:
A New Robotics Platform for Neuromorphic Vision: Beobots.
Biologically Motivated Computer Vision 2002: 558-566 |