Sciweavers

729 search results - page 106 / 146
» Multisensor Integration for Building Modeling
Sort
View
CADE
2004
Springer
15 years 10 months ago
Automatic Generation of Classification Theorems for Finite Algebras
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
Simon Colton, Andreas Meier, Volker Sorge, Roy L. ...
TMA
2010
Springer
212views Management» more  TMA 2010»
15 years 4 months ago
EmPath: Tool to Emulate Packet Transfer Characteristics in IP Network
The paper describes the EmPath tool that was designed to emulate packet transfer characteristics as delays and losses in IP network. The main innovation of this tool is its ability...
Jaroslaw Sliwinski, Andrzej Beben, Piotr Krawiec
IROS
2009
IEEE
212views Robotics» more  IROS 2009»
15 years 4 months ago
3D feature based mapping towards mobile robots' enhanced performance in rescue missions
— This paper presents a feature based 3D mapping approach with regard to obtaining compact models of semistructured environments such as partially destroyed buildings where mobil...
Paloma de la Puente, Diego Rodríguez-Losada...
WFLP
2009
Springer
277views Algorithms» more  WFLP 2009»
15 years 4 months ago
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...
Stephan Falke, Deepak Kapur
PKDD
2005
Springer
164views Data Mining» more  PKDD 2005»
15 years 3 months ago
Clustering and Prediction of Mobile User Routes from Cellular Data
Location-awareness and prediction of future locations is an important problem in pervasive and mobile computing. In cellular systems (e.g., GSM) the serving cell is easily availabl...
Kari Laasonen