Sciweavers

857 search results - page 39 / 172
» Interactive Consistency in Quasi-Asynchronous Systems
Sort
View
ROBOCUP
2007
Springer
159views Robotics» more  ROBOCUP 2007»
14 years 2 months ago
Model Checking Hybrid Multiagent Systems for the RoboCup
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...
WSC
2007
13 years 11 months ago
Upgraded cellular automata based group-work interaction simulation
The simulation of group-work interaction is significant for Chinese enterprise organizational management. As a result, a cellular-automata based simulation model is put forward. T...
Dong Shengping, Hu Bin
CHI
2005
ACM
14 years 9 months ago
A gesture-based american sign language game for deaf children
We present a system designed to facilitate language development in deaf children. The children interact with a computer game using American Sign Language (ASL). The system consist...
Seungyon Claire Lee, Valerie L. Henderson, Harley ...
CDC
2010
IEEE
114views Control Systems» more  CDC 2010»
13 years 3 months ago
Sufficient conditions for flocking via graph robustness analysis
In this paper, we consider a multi-agent system consisting of mobile agents with second-order dynamics. The communication network is determined by a standard interaction rule based...
Samuel Martin, Antoine Girard
EMSOFT
2005
Springer
14 years 2 months ago
AutoDVS: an automatic, general-purpose, dynamic clock scheduling system for hand-held devices
We present AutoDVS, a dynamic voltage scaling (DVS) system for hand-held computers. Unlike extant DVS systems, AutoDVS distinguishes common, course-grain, program behavior and cou...
Selim Gurun, Chandra Krintz