Welcome to D
SIGMOD 2005
PODS 2005
SIGMOD-RECOR
CIDR 2005
CIKM 2005
COMAD 2005
CVDB 2005
DaMoN 2005
Data Enginee
DEBS05
DMSN 2005
DOLAP 2005
GIR 2005
GIS 2005
Hypertext 20
ICDE 2005
ICDM 2005
IHIS 2005
IQIS 2005
JCDL 2005
KRAS 2005
MDM 2005
MIR 2005
MobiDE 2005
P2PIR 2005
RIDE 2005
SBBD 2005
SIGIR 2005
SIGIR-FORUM
SIGKDD 2005
SIGKDD-EXP
SSDBM 2005
TIME 2005
TKDE 2005
TODS 2005
VLDB 2005
VLDBJ 2005
WebDB 2005
WIDM 2005
About DiSC 2
Editorial Bo
Acknowledgem
DiSC'06 Site
Search DiSC'
<<<Author Index>>>
Copyright No

Dirk Walther

Papers on DiSC'06


Quantitative temporal logics: PSPACE and below

Publications


Note: Links lead to the DBLP on the Web.

Dirk Walther

Carsten Lutz , Dirk Walther, Frank Wolter : Quantitative Temporal Logics: PSPACE and Below. TIME 2005 : 138-146

Carsten Lutz , Dirk Walther: PDL with Negation of Atomic Programs. Journal of Applied Non-Classical Logics 15 (2): 189-213 (2005)

Dirk Walther, Duane R. Edgington , Christof Koch : Detection and Tracking of Objects in Underwater Video. CVPR (1) 2004 : 544-549

Ueli Rutishauser , Dirk Walther, Christof Koch , Pietro Perona : Is Bottom-Up Attention Useful for Object Recognition? CVPR (2) 2004 : 37-44

Carsten Lutz , Dirk Walther: PDL with Negation of Atomic Programs. IJCAR 2004 : 259-273

Razif R. Gabdoulline , Rebecca C. Wade , Dirk Walther: MolSurfer: a macromolecular interface navigator. Nucleic Acids Research 31 (13): 3349-3351 (2003)

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

Daesu Chung , Reid Hirata , T. Nathan Mundhenk , Jen Ng , Rob 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

1 [ 1 ]

2 [ 6 ]

3 [ 3 ]

4 [ 1 ]

5 [ 1 ] [ 2 ]

6 [ 2 ] [ 5 ] [ 6 ]

7 [ 4 ] [ 7 ] [ 8 ]

8 [ 1 ]

9 [ 1 ]

10 [ 5 ]

11 [ 1 ]

12 [ 1 ]

13 [ 2 ]

14 [ 2 ]

15 [ 5 ]

16 [ 1 ]

17 [ 1 ]

18 [ 3 ]

19 [ 1 ]

20 [ 8 ]




©2006 Association for Computing Machinery