3373 search results - page 376 / 675 » Linear transformations on codes |
124
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, we describe the implementation of a precise reaching controller on an upper-torso humanoid robot. The solution we propose does not rely on prior models of the ki...
160
click to vote
ADAEUROPE
2007
Springer
15 years 10 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
134
click to vote
IRI
2006
IEEE
15 years 10 months ago
2006
IEEE
— We present in this paper an approach aiming at dynamically adapting a component structure while preserving its behavior and its services. Among the motivations of this kind of ...
134
click to vote
SAMOS
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a new tool for the automatic generation of highly parallelized Finite Impulse Response (FIR) filters. In this approach we follow our PARO design methodology. P...
128
click to vote
ZUM
2005
Springer
15 years 9 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...