All publications sorted by title


A

A. Coles, M. Fox, D. Long and A. Smith, A hybrid relaxed planning graph-lp heuristic for numeric planning domains, in: Proc. of the Int. Conf. on Automated Planning and Scheduling (ICAPS), 2009
H. Bhattacharya, Y. Gao and A. W. Bargteil, A Level-set Method for Skinning Animated Particle Data, in: roceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation (SCA), 2011
Robert Kowalski and Marek Sergot, A Logic-Based Calculus of Events (1986), in: New Gen. Comput., 4:1(67--95)
T. Simeon, J. Cortes, A. Sahbani and J. P. Laumond, A manipulation planner for pick and place operations under continuous grasps and placements, in: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), 2002
Glenn Shafer, A Mathematical Theory of Evidence, Princeton University Press, 1976
Falko Schmid and Hannes Janetzek, A method for high-level road network extraction of OpenStreetMap data, in: Proceedings of the International Cartographic Confernece 2013 (ICC 2013), 2013
download
P. J. Besl and N. D. McKay, A Method for Registration of 3-D Shapes (1992), in: IEEE Transactions on Pattern Analysis and Machine Intelligence, 14:2(239--256)
Kenneth Levenberg, A Method for the Solution of Certain Non-Linear Problems in Least Squares (1944), in: The Quarterly of Applied Mathematics:2(164--168)
L. Brookshaw, A Method of Calculating Radiative Heat Diffusion in Particle Simulations (1985), in: Proc. of Astr. Society of Australia, 6:2(207{\~n}210)
Thomas Batard, Christophe Saint-Jean and Michel Berthier, A Metric Approach to nD Images Edge Detection with Clifford Algebras (2009), in: Journal of Mathematical Imaging and Vision, 33(296--312)
A. Zelinsky, A Mobile Robot Exploration Algorithm (1992), in: IEEE Transactions on Robotics and Automation, 8:6(707-717)
Kai-Florian Richter and Alexander Klippel, A Model for Context-Specific Route Directions, in: Spatial Cognition IV. Reasoning, Action, Interaction: International Conference Spatial Cognition 2004, pages 58-78, Springer; Berlin, 2005
download
[URL]
Luis Otavio Alvares, Vania Bogorny, Bart Kuijpers, Jose Antonio Fernandes de Macedo, Bart Moelans and Alejandro Vaisman, A model for enriching trajectories with semantic geographical information, in: GIS '07: Proceedings of the 15th annual ACM international symposium on Advances in geographic information systems, Seattle, Washington, pages 1--8, ACM, 2007
[DOI]
Oliver Kutz and Till Mossakowski, A Modular Consistency Proof for Dolce, in: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, pages 227-234, AAAI Press; Menlo Park, CA, 2011
[URL]
Dominik Lücke and Till Mossakowski, A much better polynomial time approximation of consistency in the LR calculus, in: Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), pages 175-185, IOS Press; Amsterdam; http://www.iospress.nl, 2010
download
[URL]
Wei Xu, Michael Jenkin and Yves Lespé́rance, A Multi-Channel Algorithm for Edge Detection Under Varying Lighting, in: Proceedings of the 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2006
Carl Schultz and Mehul Bhatt, A Multi-Modal Data Access Framework for Spatial Assistance Systems, in: Second ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness (ISA 2010), In conjunction with ACM SIGSPATIAL GIS 2010,, ACM, 2010
download
X. Y. Hu and N. A. Adams, A multi-phase SPH method for macroscopic and mesoscopic flows (2006), in: Journal of Computational Physics, 213:2(844{\~n}861)
Thomas Becker, Claus Nagel and Thomas H. Kolbe, A Multilayered Space-Event Model for Navigation in Indoor Spaces, in: {Proceedings of the 3rd International Workshop on 3D Geo-Information, Seoul, Korea}, Springer, 2008