1261 search results - page 109 / 253 » Extending the Capabilities of Component Models for Embedded ... |
121
click to vote
HYBRID
1994
Springer
15 years 7 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
127
Voted
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
142
Voted
ACHI
2008
IEEE
15 years 10 months ago
2008
IEEE
Computers have been widely deployed to our daily lives, but human-computer interaction still lacks intuition. Researchers intend to resolve these shortcomings by augmenting tradit...
115
click to vote
IROS
2008
IEEE
15 years 9 months ago
2008
IEEE
— The spiders’ ability of walking and climbing on different surfaces and in different conditions is taken into account in this paper in order to define and study a suitable sp...
108
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— We describe self-assembling robot arm systems composed of active modular robots and passive bars. We present a case study where the robotic module is the Shady3D robot and the ...