All publications sorted by title


A

Rami Al-Salman, Frank Dylla and Lutz Frommberger, An Approach to Qualitative Emergency Management, in: The 8th International Conference on Geo-information for Disaster Management (Gi4DM 2012), Springer, 2012
Nur Erol and Christian Freksa, An approach to structuring and formalizing knowledge for a design support system, in: Artificial Intelligence II. Methodology, Systems, Applications, pages 271-279, North-Holland, Amsterdam, 1987
B Chandrasekaran, An Architecture for Problem Solving with Diagrams (2004), in: Artificial Intelligence(151--165)
Jan Oliver Wallgrün and Mehul Bhatt, An Architecture for Semantic Analysis in Geospatial Dynamics, in: International Semantic Web Conference (ISWC-11). Proceedings of the Workshop: Terra Cognita, CEUR Workshop Proceedings, 2011
download
[URL]
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
Carsten Lutz, Inanç Seylan and Frank Wolter, An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic $mathcal{EL}$ (With Appendix), in: Proceedings of the 13nd International Joint Conference on Principles of Knowledge Representation and Reasoning ({KR2012}), 2012
C. S. Kenney, M. Zuliani and B. S. Manjunath, An axiomatic approach to corner detection, in: IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2005
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
I. J. Cox and S. L. Hingorani, An efficient implementation of Reid's multiple hypothesis tracking (1996), in: IEEE Transactions on Pattern Analysis and Machine Intelligence, 18:2(138--150)
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
Marie-Paule Cani, An implicit Formulation for Precise Contact Modeling between Flexible Solids, in: Proc.~of the 20th annual conference on Computer graphics and interactive techniques, 1993