5690 search results - page 790 / 1138 » A Position Control System Design |
195
click to vote
JSA
2008
15 years 6 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
180
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
—One of the grand challenges of self-reconfiguring modular robotics is the assembly of a functional system from thousands of components. However, to date, only systems comprised ...
159
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Over the last couple of years, face recognition researchers have been developing new techniques. These developments are being fueled by advances in computer vision techniques, com...
139
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
A new approach in hierarchical optimisation is presented which is capable of optimising both the performance and yield of an analogue design. Performance and yield trade offs are ...
226
click to vote
IEEESCC
2010
IEEE
15 years 8 months ago
2010
IEEE
Service-oriented Architectures (SOA) facilitate the provision and orchestration of business services to enable a faster adoption to changing business demands. Web Services provide...