Sciweavers

960 search results - page 139 / 192
» There's no Data like More Data
Sort
View
GIS
2010
ACM
13 years 7 months ago
Constrained free space diagrams: a tool for trajectory analysis
We propose a new and powerful tool for the analysis of trajectories, which in particular allows for more temporally aware analyses. Time plays an important role in the analysis of ...
Kevin Buchin, Maike Buchin, Joachim Gudmundsson
MONET
2010
170views more  MONET 2010»
13 years 7 months ago
A Framework for Engineering Pervasive Applications Applied to Intra-vehicular Sensor Network Applications
The vehicle sector is one of the most exciting application areas for wireless ad hoc networks and pervasive computing technologies. Vehicles are constantly being equipped with more...
Antonio Coronato, Giuseppe De Pietro, Jong Hyuk Pa...
SEKE
2010
Springer
13 years 7 months ago
Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
Thomas Moser, Gregor Dürr, Stefan Biffl
SIMPAR
2010
162views Robotics» more  SIMPAR 2010»
13 years 7 months ago
Design Principles of the Component-Based Robot Software Framework Fawkes
Abstract. The idea of component-based software engineering was proposed more that 40 years ago, yet only few robotics software frameworks follow these ideas. The main problem with ...
Tim Niemüller, Alexander Ferrein, Daniel Beck...
WOLLIC
2010
Springer
13 years 7 months ago
Intersection Type Systems and Explicit Substitutions Calculi
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
Daniel Lima Ventura, Mauricio Ayala-Rincón,...