Sciweavers

405 search results - page 61 / 81
» Weakly-Persistent Causal Objects in Dynamic Distributed Syst...
Sort
View
ATAL
2009
Springer
15 years 6 months ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon
APWEB
2005
Springer
15 years 7 months ago
Collaborative Web Application for Flood Control System of Reservoirs
Flood control for reservoirs require operations in a dynamic and cooperative manner in order to respond to the changing flood control conditions. There is an increasing emphasis on...
Chuntian Cheng, Kwok-wing Chau, Gang Li, Xiang-Yan...
ICAT
2003
IEEE
15 years 7 months ago
Head Motion Prediction in Augmented Reality Systems Using Monte Carlo Particle Filters
A basic problem with Augmented Reality systems using Head-Mounted Displays (HMDs) is the perceived latency or lag. This delay corresponds to the elapsed time between the moment wh...
Fakhreddine Ababsa, Jean-Yves Didier, Malik Mallem...
COORDINATION
2004
Springer
15 years 7 months ago
O'Klaim: A Coordination Language with Mobile Mixins
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
Lorenzo Bettini, Viviana Bono, Betti Venneri
ICPR
2002
IEEE
16 years 2 months ago
Integrated Event Recognition from Multiple Sources
This paper proposes a system architecture for event recognition that integrates information from multiple sources (e.g., gesture and speech recognition from distributed sensors in...
Hiroaki Kawashima, Takashi Matsuyama