All publications sorted by journal and type


Publications of type Inproceedings


2011

Arne Kreutzmann, Immo Colonius, Lutz Frommberger, Frank Dylla, Christian Freksa and Diedrich Wolter, On process recognition by logical inference, in: Proceedings of the 5th European Conference on Mobile Robots ECMR 2011, pages 7-12, 2011
download
Arne Kreutzmann and Diedrich Wolter, Physical Puzzles---Challenging Spatio-Temporal Configuration Problems, in: Proceedings of IJCAI-2011 Workshop Benchmarks and Applications of Spatial Reasoning, 2011
download
C. Cadena, J. McDonald, J. Leonard and J. Neira, Place Recognition using Near and Far Visual Information, in: Proceedings of the 18th IFAC World Congress, Milano, Italy, 2011
A. Morgenstern and K. Schneider, Program Sketching via CTL* Model Checking, in: Model Checking Software (SPIN), pages 126-143, Springer, 2011
Khasawneh N Al-Salman R. and Fraiwan M, Protecting AJAX code using secure communication, in: International Conference on Information and Communication Systems,Jordan, Jan., JUST ; http://www.icics.info/icics/Proceeding/ICICS.paper/27.pdf, 2011
René Wagner, Oliver Birbach and Udo Frese, Rapid Development of Manifold-Based Graph Optimization Systems for Multi-Sensor Calibration and SLAM, in: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2011), San Francisco, California, 2011
download
Diedrich Wolter, Frank Dylla and Arne Kreutzmann, Rule-Compliant Navigation With Qualitative Spatial Reasoning, in: Proceedings of the 4th International Robotic Sailing Conference, Springer, 2011
D. Maier, M. Bennewitz and C. Stachniss, Self-supervised Obstacle Detection for Humanoid Navigation Using Monocular Vision and Sparse Laser Data, in: Proc. of the IEEE International Conference on Robotics \& Automation (ICRA), 2011
download
[URL]
Franz Kurfess, Gregory Flanagan and Mehul Bhatt, Spatial Interactions between Humans and Assistive Agents, in: Proceedings of the AAAI 2011 Spring Symposium: Help Me Help You: Bridging the Gaps in Human-Agent Collaboration, AAAI Press; Menlo Park, CA, 2011
J. Onderik, M. Chladek and R. Durikovic, SPH with Small Scale Details and Improved Surface Reconstruction, in: In SCCG 2011: Proceedings of the Spring Conference on Computer graphics, 2011
Birte Glimm, Yevgeny Kazakov and Carsten Lutz, Status QIO: An Update, in: Description Logics, 2011
download
Dominik Lücke, Till Mossakowski and Reinhard Moratz, Streets to the OPRA - Finding your destination with imprecise knowledge, in: IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning, pages 25-32, 2011
download
[URL]
C. P. J. Gondorf and C. Jian, Supporting Inferences in space - a Wayfinding task in a multilevel building, in: Proceedings of the 2nd Workshop on Computational Models of Spatila Language Interpretation and Generation, 2011
Jan Frederik Sima, The Nature of Mental Images - An Integrative Computational Theory, in: Proceedings of the 33rd Annual Conference of the Cognitive Science Society, Cognitive Science Society; Austin, TX, 2011
download
Oliver Kutz and Till Mossakowski, The Onto-Logical Translation Graph, in: Modular Ontologies Proceedings of the Fifth International Workshop (WoMO 2011), pages 94-109, IOS Press, 2011
download
[URL]
Carl Schultz and Mehul Bhatt, Toward Accessing Spatial Structure from Building Information Models, in: 28th Urban Data Management Symposium (UDMS 2011), ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial; 10.5194/isprsarchives-XXXVIII-4-C21-25-2011, 2011
[URL]
Oliver Kutz, Till Mossakowski, Christian Galinski and Christoph Lange, Towards a Standard for Heterogeneous Ontology Integration and Interoperability, in: Proceedings of the First International Conference on terminology, languages and content resources (LarC 2011), pages 97-106, Seoul: KATS e.a, 2011
download