3742 search results - page 434 / 749 » On the Use of Formal Techniques for Validation |
138
click to vote
ETS
2006
IEEE
16 years 23 days ago
2006
IEEE
Spectral analysis represents a key component in signal processing. The on-chip implementation of classical spectral estimation techniques is generally not considered as a viable B...
205
click to vote
EUROMICRO
2006
IEEE
16 years 23 days ago
2006
IEEE
Understanding complex component-based systems often requires getting insight in how certain system properties, such as performance, trust, reliability, or structural attributes, c...
191
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
Design space exploration of multiprocessors on chip requires both automatic performance analysis techniques and efficient multiprocessors configuration performance evaluation. Pr...
182
click to vote
IROS
2006
IEEE
16 years 22 days ago
2006
IEEE
— In this paper we address smooth and collision-free whole-body motion planning for humanoid robots. A two-stage iterative planning framework is introduced where geometric motion...
188
click to vote
ISMAR
2006
IEEE
16 years 22 days ago
2006
IEEE
Augmented Reality (AR) aims to fuse a virtual world and a real one in an image stream. When considering only a vision sensor, it relies on registration techniques that have to be ...