dblp.uni-trier.dewww.uni-trier.de

David A. Randell Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
12 David A. Randell, Mark Witkowski: Using Occlusion Calculi to Interpret Digital Images. ECAI 2006: 432-436
11 David A. Randell, Mark Witkowski: Abductive Visual Perception with Feature Clouds. KR 2006: 352-361
2004
10 Murray Shanahan, David A. Randell: A Logic-Based Formulation of Active Visual Perception. KR 2004: 64-72
2002
9 David A. Randell, Mark Witkowski: Building Large Composition Tables via Axiomatic Theories. KR 2002: 26-36
2001
8 David A. Randell, Mark Witkowski, Murray Shanahan: From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax. IJCAI 2001: 57-66
1995
7EEAnthony G. Cohn, David A. Randell, Zhan Cui: Taxonomies of logically defined qualitative spatial relations. Int. J. Hum.-Comput. Stud. 43(5-6): 831-846 (1995)
1993
6EEZhan Cui, Anthony G. Cohn, David A. Randell: Qualitative and Topological Relationships in Spatial Databases. SSD 1993: 296-315
1992
5 Zhan Cui, Anthony G. Cohn, David A. Randell: Qualitative Simulation Based on a Logical Formalism of Space and Time. AAAI 1992: 679-684
4EEDavid A. Randell, Anthony G. Cohn, Zhan Cui: Computing Transivity Tables: A Challenge For Automated Theorem Provers. CADE 1992: 786-790
3 David A. Randell, Zhan Cui, Anthony G. Cohn: An Interval Logic for Space Based on "Connection". ECAI 1992: 394-398
2 David A. Randell, Zhan Cui, Anthony G. Cohn: A Spatial Logic based on Regions and Connection. KR 1992: 165-176
1989
1 David A. Randell, Anthony G. Cohn: Modelling Topological and Metrical Properties in Physical Processes. KR 1989: 357-368

Coauthor Index

1Anthony G. Cohn [1] [2] [3] [4] [5] [6] [7]
2Zhan Cui [2] [3] [4] [5] [6] [7]
3Murray Shanahan [8] [10]
4Mark Witkowski [8] [9] [11] [12]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)