Sciweavers

2357 search results - page 203 / 472
» Computing Refactorings of Behavior Models
Sort
View
ICARCV
2006
IEEE
420views Robotics» more  ICARCV 2006»
15 years 10 months ago
Recognizing People's Faces: from Human to Machine Vision
— As confirmed by recent neurophysiological studies, the use of dynamic information is extremely important for humans in visual perception of biological forms and motion. Apart ...
Massimo Tistarelli, Manuele Bicego, Enrico Grosso
ECCV
2010
Springer
15 years 7 months ago
Automatic Learning of Background Semantics in Generic Surveilled Scenes
Advanced surveillance systems for behavior recognition in outdoor traffic scenes depend strongly on the particular configuration of the scenario. Scene-independent trajectory analy...
Carles Fernández, Jordi Gonzàlez, Xavier Roca
COORDINATION
2006
Springer
15 years 7 months ago
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel ...
RTCSA
2003
IEEE
15 years 9 months ago
Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...
Anders Wall, Johan Andersson, Jonas Neander, Chris...
ATAL
2009
Springer
15 years 5 months ago
Efficient physics-based planning: sampling search via non-deterministic tactics and skills
Motion planning for mobile agents, such as robots, acting in the physical world is a challenging task, which traditionally concerns safe obstacle avoidance. We are interested in p...
Stefan Zickler, Manuela M. Veloso