Sciweavers

4767 search results - page 548 / 954
» Structures for Abstract Rewriting
Sort
View
ICRA
2005
IEEE
115views Robotics» more  ICRA 2005»
16 years 13 days ago
Multi-Robot Localization Using Relative Observations
Abstract— In this paper we consider the problem of simultaneously localizing all members of a team of robots. Each robot is equipped with proprioceptive sensors and exteroceptive...
Agostino Martinelli, Frederic Pont, Roland Siegwar...
129
Voted
ISCAS
2005
IEEE
127views Hardware» more  ISCAS 2005»
16 years 13 days ago
Convergent micro-pipelines: a versatile operator for mixed asynchronous-synchronous computations
Abstract— Micro-pipelines are linear (1-D) structures for asynchronous communications. In retinotopic VLSI vision chips, communicating over 2-D image regions is a key to efficie...
Valentin Gies, Thierry M. Bernard, Alain Mé...
ISCAS
2005
IEEE
157views Hardware» more  ISCAS 2005»
16 years 13 days ago
Analog complex wavelet filters
Abstract— This paper presents an analog implementation of the complex wavelet transform using both the complex first order system (CFOS) and the Pad´e approximation. The comple...
Sandro A. P. Haddad, J. M. H. Karel, Ralf L. M. Pe...
VISSOFT
2005
IEEE
16 years 13 days ago
Multi-level Method Understanding Using Microprints
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...
Stéphane Ducasse, Michele Lanza, Romain Rob...
APLAS
2005
ACM
16 years 12 days ago
A Simple Semantics for Polymorphic Recursion
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
William L. Harrison