4693 search results - page 655 / 939 » Verifying Hybrid Systems |
304
click to vote
HCI
2011
14 years 10 months ago
2011
Almost 20% of big earthquakes in the world occur in Japan. It becomes impossible for private companies and governments to carry out their business if they suffer from severe damage...
153
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...
141
click to vote
UIST
2009
ACM
16 years 1 months ago
2009
ACM
While onboard navigation systems are gaining in importance, maps are still the medium of choice for laying out a route to a destination and for way finding. However, even with a ...
130
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...
160
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
—The focus of the work in this paper is the construction and analysis of a dynamical system model for human decision making in sequential two-choice tasks. In these tasks, a huma...