4352 search results - page 507 / 871 » A Representation Theorem and Applications |
136
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a dynamic and distributed reconfiguration planning algorithm for chain-type selfreconfigurable robots, by which a robot can autonomously self-reconfigure fr...
139
Voted
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
— In recent years there have been an increasing number of research groups that have begun to develop multi-chip address-event systems. The communication protocol used to transmit...
179
click to vote
ISMAR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a tele-meeting system which uses an augmented robot agent as the representation of the remote participant. In this system, we augment a 3D volume video o...
203
click to vote
SIBGRAPI
2008
IEEE
16 years 1 months ago
2008
IEEE
This work proposes a simple approximation scheme for discrete data that leads to an infinitely smooth result without global optimization. It combines the flexibility of Binary Sp...
185
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...