Sciweavers

13866 search results - page 179 / 2774
» Dynamical Systems Game
Sort
View
CONCUR
1997
Springer
15 years 8 months ago
Modularity for Timed and Hybrid Systems
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
Rajeev Alur, Thomas A. Henzinger
ICMI
2009
Springer
106views Biometrics» more  ICMI 2009»
15 years 10 months ago
Towards adapting fantasy, curiosity and challenge in multimodal dialogue systems for preschoolers
We investigate how fantasy, curiosity and challenge contribute to the user experience in multimodal dialogue computer games for preschool children. For this purpose, an on-line mu...
Theofanis Kannetis, Alexandros Potamianos
WICON
2008
15 years 5 months ago
Game-based admission control for wireless systems
Much previous work has examined the wireless power control problem using tools from game theory, an economic concept which describes the behavior of interdependent but non-coopera...
Benjamin Yolken, Nicholas Bambos
CEAS
2011
Springer
14 years 4 months ago
Spam or ham?: characterizing and detecting fraudulent "not spam" reports in web mail systems
Web mail providers rely on users to “vote” to quickly and collaboratively identify spam messages. Unfortunately, spammers have begun to use bots to control large collections o...
Anirudh Ramachandran, Anirban Dasgupta, Nick Feams...
LICS
2012
IEEE
13 years 6 months ago
The Complete Proof Theory of Hybrid Systems
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
André Platzer