Sciweavers

1317 search results - page 149 / 264
» Fusions of Description Logics and Abstract Description Syste...
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
IWEC
2010
15 years 8 months ago
Engaging Autistic Children in Imitation and Turn-Taking Games with Multiagent System of Interactive Lighting Blocks
Abstract. In this paper game scenarios that aim to establish elements of cooperative play such as imitation and turn taking between children with autism and a caregiver are investi...
Jeroen C. J. Brok, Emilia I. Barakova
AAMAS
2007
Springer
15 years 6 months ago
Mechanisms for environments in multi-agent systems: Survey and opportunities
The environment has been recognized as an explicit and exploitable element to design Multi-Agent Systems (MAS). It can be assigned a number of responsibilities that would be more d...
Eric Platon, Marco Mamei, Nicolas Sabouret, Shinic...
MICCAI
2004
Springer
15 years 12 months ago
A Parallel Robotic System with Force Sensors for Percutaneous Procedures Under CT-Guidance
Abstract. This paper presents a new robotic framework for assisted CTguided percutaneous procedures with force feedback and automatic patientto-image registration of needle. The pu...
Benjamin Maurin, Jacques Gangloff, Bernard Bayle, ...
SENSYS
2006
ACM
16 years 13 days ago
The tenet architecture for tiered sensor networks
Most sensor network research and software design has been guided by an architectural principle that permits multi-node data fusion on small-form-factor, resource-poor nodes, or mo...
Omprakash Gnawali, Ki-Young Jang, Jeongyeup Paek, ...