2364 search results - page 372 / 473 » On O-Minimal Hybrid Systems |
232
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the l...
147
click to vote
IVA
2009
Springer
16 years 29 days 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...
136
click to vote
UIST
2009
ACM
16 years 28 days 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 ...
126
click to vote
CDC
2008
IEEE
16 years 27 days 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...
157
click to vote
CDC
2008
IEEE
16 years 27 days 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...