Shelfclass |
Sortkey |
Title |
4.D |
BARKOWSKY, THOMAS |
Mental Representation and Processing of Geographic Knowledge: A Computational Approach |
4.D |
BAYRO CORROCHANO, EDUARDO |
Handbook of Geometric Computing: Applications in Pattern Recognition, Computer Vision, Neuralcomputing, and Robotics |
4.D |
BERENDT, BETTINA |
Representation and Processing of Knowledge about Distances in Environmental Spaces: A Computational Model of Inferred Route Distances Investigating Their Qualitative and Quantitative Determinants |
4.D |
BERG, MARK DE |
Computational Geometry: Algorithms and Applications |
4.D |
BESTOUGEFF, HELENE |
Logical Tools for Temporal Knowledge Representation |
4.D |
BETTINI, CLAUDIO |
Time Granularities in Databases, Data Mining, and Temporal Reasoning |
4.D |
BOTSCH, MARIO |
Polygon Mesh Processing |
4.D |
BRONSTEIN, ALEXANDER M |
Numerical Geometry of Non-Rigid Shapes |
4.D |
CASATI, ROBERTO |
Parts and Places: The Structures of Spatial Representation |
4.D |
CG |
CG 1988: Computational Geometry and its Applications: CG'88, International Workshop on Computational Geometry, Würtzburg, FRG, March 1988, Proceedings |
4.D |
CG |
CG 1991: Computational Geometry - Methods, Algorithms and Applications: International Workshop on Computational Geometry CG '91, Bern, Switzerland, March 21-22, 1991: Proceedings |
4.D |
DAVIS, ERNEST |
Representing and Acquiring Geographic Knowledge |
4.D |
DE BERG, MARK |
Computational Geometry: Algorithms and Applications |
4.D |
DE CALUWE, RITA |
Spatio-Temporal Databases: Flexible Querying and Reasoning |
4.D |
DEL POBIL, ANGEL PASQUAL |
Spatial Representation and Motion Planning |
4.D |
DEMAINE, ERIK D. |
Geometric Folding Algorithms: Linkages, Origami, Polyhedra |
4.D |
DGCI |
DGCI 1996: Discrete Geometry for Computer Imagery: 6th International Workshop, DGCI'96, Lyon, France, November 13-15, 1996, Proceedings |
4.D |
DGCI |
DGCI 1997: Discrete Geometry for Computer Imagery: 7th International Workshop, DGCI'97, Montpellier, France, December 3-5, 1997, Proceedings |
4.D |
DGCI |
DGCI 1999: Discrete Geometry for Computer Imagery: 8th International Conference, DGCI'99, Marne-la-Vallée, France, March 17-19, 1999, Proceedings |
4.D |
DGCI |
DGCI 2000: Discrete Geometry for Computer Imagery: 9th International Conference, DGCI 2000, Uppsala, Sweden, December 13-15, 2000, Proceedings |
4.D |
DGCI |
DGCI 2008: Discrete Geometry for Computer Imagery: 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008, Proceedings |
4.D |
EDELSBRUNNER, HERBERT |
Geometry and Topology for Mesh Generation |
4.D |
FARIN, GERALD |
Geometric Modelling |
4.D |
FCRC |
FCRC 1996: Applied Computational Geometry: Towards Geometric Engineering: FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27-28, 1996: selected papers |
4.D |
FINK, EUGENE |
Restricted-Orientation Convexity |
4.D |
FISHER, MICHAEL |
Handbook of Temporal Reasoning in Artificial Intelligence |
4.D |
FRANK, ANDREW U |
Theories and Methods of Spatio-Temporal Reasoning in Geographic Space: International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992: proceedings |
4.D |
GABBAY, DOV M |
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 1 |
4.D |
GABBAY, DOV M |
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2: Vol. 2 |
4.D |
GALTON, ANTONY |
Qualitative Spatial Change |
4.D |
GASSON, PETER C. |
Geometry of Spatial Forms |
4.D |
GEOMETRY |
Geometry 1988: Geometry and Robotics: Workshop, Toulouse, France, May 26-28, 1988, Proceedings |
4.D |
GMP |
GMP 2008: Advances in Geometric Modeling and Processing: 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings |
4.D |
GOLDBLATT, ROBERT |
Logics of Time and Computation |
4.D |
GÜNTHER, OLIVER |
Efficient Structures for Geometric Data Management |
4.D |
HAJNICZ, ELZBIETA |
Time Structures: Formal Description and Algorithmic Representation |
4.D |
HELD, MARTIN |
On the Computational Geometry of Pocket Machining |
4.D |
HERNANDEZ, DANIEL |
Qualitative Representation of Spatial Knowledge |
4.D |
HEUEL, STEPHAN |
Uncertain Projective Geometry: Statistical Reasoning for Polyhedral Object Reconstruction |
4.D |
ICTL 1994 |
ICTL 1994: Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings |
4.D |
IGIS |
IGIS 1994: IGIS '94: Geographic Information Systems: International Workshop on Advanced Research in Geographic Information Systems, Monte Verità, Ascona, Switzerland, February 28 - March 4, 1994, Proceedings |
4.D |
ISD |
ISD 1999: Integrated Spatial Databases: Digital Images and GIS: International Workshop ISD'99, Portland, ME, USA, June 14-16, 1999, Selected Papers |
4.D |
JCDCG |
JCDCG 1998: Discrete and Computational Geometry: Japanese Conference, JCDCG'98, Tokyo, Japan, December 9-12, 1998, Revised Papers |
4.D |
JCDCG |
JCDCG 2000: Discrete and Computational Geometry: Japanese conference, JCDCG 2000, Tokyo, Japan, November 22-25, 2000, Revised Papers |
4.D |
KAPUR, DEEPAK |
Geometric Reasoning |
4.D |
KLAMROTH, KATHRIN |
Single Facility Location Problems with Barriers |
4.D |
KLEIN, ROLF |
Concrete and Abstract Voronoi Diagrams |
4.D |
KNUTH, DONALD ERVIN |
Axioms and Hulls |
4.D |
LANG, EWALD |
Modelling Spatial Knowledge on a Linguistic Basis: Theory - Prototype - Integration |
4.D |
LAUGIER, CHRISTIAN |
Geometric Reasoning for Perception and Action: workshop, Grenoble, France, September 16-17, 1991: selected papers |
4.D |
LAURINI, ROBERT |
Fundamentals of Spatial Information Systems |
4.D |
LIU, JIMING |
Spatial Reasoning and Planning: Geometry, Mechanism, and Motion |
4.D |
MATSAKIS, PASCAL |
Applying Soft Computing in Defining Spatial Relations |
4.D |
Ó NUALLÁIN, SEAN |
MIND III: Spatial Cognition: Foundations and Applications: Selected Papers from Mind III, Annual Conference of the Cognitive Science Society of Ireland, 1998 |
4.D |
OOI, BENG CHIN |
Efficient Query Processing in Geographic Information Systems |
4.D |
O'ROURKE, JOSEPH |
Computational Geometry in C |
4.D |
PAU, L. F |
Mapping and Spatial Modelling for Navigation |
4.D |
QUINTARELLI, ELISA |
Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data |
4.D |
REINELT, GERHARD |
The Traveling Salesman: Computational Solutions for TSP Applications |
4.D |
RENZ, JOCHEN |
Qualitative Spatial Reasoning with Topological Information |
4.D |
RICHARDS, BARRY |
Temporal Representation and Inference |
4.D |
SIDER, THEODORE |
Four-Dimensionalism: An Ontology of Persistence and Time |
4.D |
SOMMER, GERALD |
Geometric Computing with Clifford Algebras: Theoretical Foundations and Applications in Computer Vision and Robotics |
4.D |
SPATIAL |
Spatial Cognition 1: An Interdisciplinary Approach to Representing and Processing Spatial Knowledge |
4.D |
SPATIAL |
Spatial Cognition 2: Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications |
4.D |
SPATIAL |
Spatial Cognition 3: Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning |
4.D |
SPATIAL |
Spatial Cognition 4: Reasoning, Action, Interaction: International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004: Revised Selected Papers |
4.D |
SPATIAL |
Spatial Cognition 5: Reasoning, Action, Interaction: International Conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006, Revised Selected Papers |
4.D |
STOCK, OLIVIERO |
Spatial and Temporal Reasoning |
4.D |
SUTIL, NICOLÁS SALAZAR |
Motion and Representation: The Language of Human Movement |
4.D |
TEILLAUD, MONIQUE |
Towards Dynamic Randomized Algorithms in Computational Geometry |
4.D |
TOUSSAINT, GODFRIED T |
Computational Geometry |
4.D |
TSDM |
TSDM 2000: Temporal, Spatial, and Spatio-Temporal Data Mining: First International Workshop, TSDM 2000, Lyon, France, September 12, 2000: revised papers |
4.D |
VAN BENTHEM, JOHAN |
The Logic of Time: A Model-Theoretic Investigation Into the Varieties of Temporal Ontology and Temporal Discourse |
4.D |
WINKLER, JOAB |
Uncertainty in Geometric Computations |
4.D |
WOODWARK, JOHN |
Geometric Reasoning |
4.D |
WU, WEN-TSÜN |
Mechanical Theorem Proving in Geometries: Basic Principles |
4.D |
ZHANG, YONGJIE JESSICA |
Geometric Modeling and Mesh Generation from Scanned Images |