Sciweavers

4767 search results - page 548 / 954
» Structures for Abstract Rewriting
Sort
View
ICRA
2005
IEEE
115views Robotics» more  ICRA 2005»
16 years 1 months 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...
ISCAS
2005
IEEE
127views Hardware» more  ISCAS 2005»
16 years 1 months 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 1 months 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...
171
Voted
VISSOFT
2005
IEEE
16 years 1 months 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...
179
Voted
APLAS
2005
ACM
16 years 1 months 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