Sciweavers

1073 search results - page 96 / 215
» Reasoning about Continuous Processes
Sort
View
ICWSM
2009
15 years 1 months ago
MakeMyPage: Social Media Meets Automatic Content Generation
Finding out about a topic online can be time consuming. It involves visiting multiple news sites, encyclopedia entries, video repositories and other resources while discarding irr...
Francisco Iacobelli, Kristian J. Hammond, Larry Bi...
HYBRID
2010
Springer
15 years 10 months ago
From synchronous programs to symbolic representations of hybrid systems
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
Kerstin Bauer, Klaus Schneider
160
Voted
ACIVS
2009
Springer
15 years 10 months ago
Behavioral State Detection of Newborns Based on Facial Expression Analysis
Abstract. Prematurely born infants are observed at a Neonatal Intensive Care Unit (NICU) for medical treatment. Whereas vital body functions are continuously monitored, their incub...
Lykele Hazelhoff, Jungong Han, Sidarto Bambang-Oet...
ATAL
2009
Springer
15 years 10 months ago
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
Jonathan Ezekiel, Alessio Lomuscio
106
Voted
IROS
2008
IEEE
161views Robotics» more  IROS 2008»
15 years 10 months ago
A perception mechanism for supporting autonomous intersection handling in urban driving
Abstract— Knowledge of the driving environment is essential for robotic vehicles to comply with traffic rules while autonomously traversing intersections. However, due to limite...
Young-Woo Seo, Chris Urmson