Sciweavers

29172 search results - page 111 / 5835
» Modeling Systems in CLP
Sort
View
CLIMA
2011
12 years 8 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
CVPR
2012
IEEE
11 years 11 months ago
Understanding collective crowd behaviors: Learning a Mixture model of Dynamic pedestrian-Agents
In this paper, a new Mixture model of Dynamic pedestrian-Agents (MDA) is proposed to learn the collective behavior patterns of pedestrians in crowded scenes. Collective behaviors ...
Bolei Zhou, Xiaogang Wang, Xiaoou Tang
DKE
2011
251views Education» more  DKE 2011»
13 years 3 months ago
Generating operation specifications from UML class diagrams: A model transformation approach
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
Manoli Albert, Jordi Cabot, Cristina Gómez,...
FGR
2011
IEEE
267views Biometrics» more  FGR 2011»
13 years 13 days ago
A dynamic approach to the recognition of 3D facial expressions and their temporal models
— In this paper we propose a method that exploits 3D motion-based features between frames of 3D facial geometry sequences for dynamic facial expression recognition. An expressive...
Georgia Sandbach, Stefanos Zafeiriou, Maja Pantic,...
IEAAIE
2011
Springer
13 years 12 days ago
Modeling Users of Crisis Training Environments by Integrating Psychological and Physiological Data
Abstract. This paper describes aspects of a training environment for crisis decision makers who, notoriously, operate in highly stressful and unpredictable situations. Training suc...
Gabriella Cortellessa, Rita D'Amico, Marco Pagani,...