All publications sorted by journal and type


Publications of type Inproceedings


2004

Christian Freksa, Spatial Cognition - an AI perspective, in: Proc. European Conference on Artificial Inteligence (ECAI'04), pages 1122-1128, IOS Press; Amsterdam, 2004
download
Nirvana Meratnia and Rolf A. de By, Spatiotemporal Compression Techniques for Moving Point Objects, in: Advances in Database Technology - EDBT 2004, pages 561--562, Springer, 2004
[URL]
K. Lüttich and T. Mossakowski, Specification of Ontologies in CASL, in: Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), pages 140-150, IOS Press; Amsterdam; http://www.iospress.nl, 2004
download
Michael Kazhdan, Thomas Funkhouser and Szymon Rusinkiewicz, Symmetry descriptors and 3D shape matching, in: Proceedings of the 2004 Eurographics/ACM SIGGRAPH symposium on Geometry processing, Nice, France, pages 115--123, ACM, 2004
[DOI]
Tracy Ross, Andrew May and Simon Thompson, The Use of Landmarks in Pedestrian Navigation Instructions and the Effects of Context, in: Mobile Computer Interaction -- MobileHCI 2004, pages 300--304, Springer, 2004
Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer, Jan Murray, Oliver Obst, Thomas Röfer, Frieder Stolzenburg, Ubbo Visser and Thomas Wagner, Towards a League-Independent Qualitative Soccer Theory for RoboCup, in: Proceedings of the workshop on Methods and Technology for Empirical Evaluation of Multi-agent Systems and Multi-robot Teams at KI 2004, 2004
download
Robert Ross, Shi Hui, T. Vierhuff, Bernd Krieg-Brückner and John Bateman, Towards Dialogue Based Shared Control of Navigating Robots, in: Spatial Cognition 2004, Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, 2004
K. Lüttich, B. Krieg-Brückner and T. Mossakowski, Tramway Networks as Route Graphs, in: FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, pages 109-119, 2004
download
Markus~Knauff and Elisabeth~May, Visual Imagery in Deductive Reasoning: Results from experiments with sighted, blindfolded, and congenitally totally blind persons, in: Proceedings of the Twenty-Sixth Annual Conference of the Cognitive Science Society, pages pp. 708-713, 2004
Gérard Ligozat and Jochen Renz, What Is a Qualitative Calculus? A General Framework, in: {PRICAI} 2004: Trends in {A}rtificial {I}ntelligence---8th {P}acific {R}im {I}nternational {C}onference on {A}rtificial {I}ntelligence, pages 53--64, Springer, 2004

2003

Matt Duckham and Lars Kulik, ''Simplest'' Paths: Automated Route Selection for Navigation, in: Spatial Information Theory. Foundations of Geographic Information Science, International Conference COSIT, pages 169--185, Springer, 2003
Joseph J. LaViola Jr., A Comparison of Unscented and Extended Kalman Filtering for Estimating Quaternion Motion, in: Proceedings of the 2003 American Control Conference, pages 2435--2440, 2003
download
[URL]
Tiansi Dong, A Computational Approach to Distinguish Similar Assemblies of Circles, in: The European Cognitive Science Conference 2003, pages pp. 381, Lawrence Erlbaum Associates, Publishers; Mahwah, New Jersey, London, 2003
download
Marco Ragni, An Arrangement Calculus, Its Complexity and Algorithmic Properties, in: KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, pages 580 - 590, Springer, 2003
Dirk Hähnel, Wolfram Burgard, Dieter Fox and Sebastian Thrun, An Efficient FastSLAM Algorithm for Generating Maps of Large-Scale Cyclic Environments from Raw Laser Range Measurements, in: Proc.~of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-03), pages 206-211, 2003
D. Haehnel, S. Thrun and W. Burgard, An Extension of the ICP Algorithm for Modeling Nonrigid Objects with Mobile Robots, in: Proc.~of the Int.~Joint Conf.~on Artificial Intelligence (IJCAI), 2003
Sven Bertel, Cognitive modeling for assisted graphical design, in: Doctoral Colloquium; Conference on Spatial Information Theory (COSIT). 24-28 Sept. 2003, Ittingen, Switzerland, 2003