14190 search results - page 213 / 2838 » Abstractions for hybrid systems |
124
Voted
ACMDIS
2006
ACM
16 years 17 days ago
2006
ACM
234
click to vote
ENTCS
2006
15 years 6 months ago
2006
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...
151
click to vote
IVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Effective speakers engage their whole body when they gesture. It is difficult, however, to create such full body motion in animated agents while still supporting a large...
161
click to vote
SIES
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— Recent advances in wireless communication technology have opened the way for mobile services and applications. This paper describes ongoing work in the context of the H...