Sciweavers

4434 search results - page 28 / 887
» On the Composition of Hybrid Systems
Sort
View
ICMCS
2005
IEEE
119views Multimedia» more  ICMCS 2005»
15 years 11 months ago
An Online Video Composition System
This paper presents an information-driven online video composition system. The composition work handled by the system includes dynamically setting multiple pan/tilt/zoom (PTZ) cam...
Qiong Liu, Xiaojin Shi, Don Kimber, Frank Zhao, Fr...
175
Voted
SAC
2010
ACM
16 years 28 days ago
Reachability analysis of GSPDIs: theory, optimization, and implementation
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
Hallstein Asheim Hansen, Gerardo Schneider
HICSS
2005
IEEE
149views Biometrics» more  HICSS 2005»
15 years 11 months ago
Web Services Composition with Traceability Centered on Dependency
Web services composition is becoming increasingly important as organizations are now getting ready to provide more complex service-based applications. Contemporary literature on t...
Jong Woo Kim, Radhika Jain
FORMATS
2008
Springer
15 years 7 months ago
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski...
124
Voted
HYBRID
2001
Springer
15 years 10 months ago
Minimum-Cost Reachability for Priced Timed Automata
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Gu...