Sciweavers

3705 search results - page 638 / 741
» Building Documentation Generators
Sort
View
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
14 years 12 months ago
Improved GPS sensor model for mobile robots in urban terrain
Abstract— Autonomous robot navigation in outdoor scenarios gains increasing importance in various growing application areas. Whereas in non-urban domains such as deserts the prob...
Daniel Maier, Alexander Kleiner
ISOLA
2010
Springer
14 years 12 months ago
Towards an Architecture for Runtime Interoperability
Abstract. Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computi...
Amel Bennaceur, Gordon S. Blair, Franck Chauvel, G...
IV
2010
IEEE
125views Visualization» more  IV 2010»
14 years 12 months ago
INSPIRE: A New Method of Mapping Information Spaces
Information spaces such the WWW are the most challenging type of space that many people navigate during everyday life. Unlike the real world, there are no effective maps of inform...
Roy A. Ruddle
OOPSLA
2010
Springer
14 years 12 months ago
A simple inductive synthesis methodology and its applications
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Moo...
PERCOM
2010
ACM
14 years 12 months ago
A 3-layer architecture for smart environment models
— Enriched with more and more intelligent devices modern homes rapidly transform into smart environments. Their growing capabilities enable the implementation of a new generation...
Grzegorz Lehmann, Andreas Rieger, Marco Blumendorf...