Sciweavers

4581 search results - page 407 / 917
» Computing Transformation Semigroups
Sort
View
IROS
2006
IEEE
136views Robotics» more  IROS 2006»
16 years 27 days ago
Multi-robot SLAM with Unknown Initial Correspondence: The Robot Rendezvous Case
Abstract— This paper presents a new approach to the multirobot map-alignment problem that enables teams of robots to build joint maps without initial knowledge of their relative ...
Xun S. Zhou, Stergios I. Roumeliotis
CASES
2006
ACM
16 years 26 days ago
High-level languages for small devices: a case study
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
Manuel Carro, José F. Morales, Henk L. Mull...
HASKELL
2006
ACM
16 years 26 days ago
Strong types for relational databases
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
Alexandra Silva, Joost Visser
ICRA
2005
IEEE
142views Robotics» more  ICRA 2005»
16 years 14 days ago
Correspondenceless Ego-Motion Estimation Using an IMU
Abstract— Mobile robots can be easily equipped with numerous sensors which can aid in the tasks of localization and ego-motion estimation. Two such examples are Inertial Measurem...
Ameesh Makadia, Kostas Daniilidis
SIBGRAPI
2005
IEEE
16 years 14 days ago
Reduction of Interband Correlation for Landsat Image Compression
We present a lossless compressor for multispectral images that exploits interband correlations. Each band is divided into blocks, to which a wavelet transform is applied. The wave...
Daniel G. Acevedo, Ana M. C. Ruedin