2662 search results - page 207 / 533 » Tools Demonstrations |
133
Voted
FPGA
2009
ACM
15 years 11 months ago
2009
ACM
In recent years, the maximum logic capacity of each successive FPGA family has been increasing by more than 50%, which motivates scalable solutions. Meanwhile, academic research i...
138
click to vote
HYBRID
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
133
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, a revised form of Implicit Context Representation Cartesian Genetic Programming is used in the development of a diagnostic tool for the assessment of patients wi...
142
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
140
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— The reduction of the kinematics and/or dynamics of a high-DOF robotic manipulator to a low-dimension “task space” has proven to be an invaluable tool for designing feedback...