Sciweavers

4581 search results - page 407 / 917
» Computing Transformation Semigroups
Sort
View
IROS
2006
IEEE
136views Robotics» more  IROS 2006»
16 years 1 months 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 1 months 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 1 months 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 1 months 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
167
Voted
SIBGRAPI
2005
IEEE
16 years 1 months 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