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...
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...
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...
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...
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...