Sciweavers

11436 search results - page 361 / 2288
» Modeling Real Reasoning
Sort
View
WACV
2005
IEEE
15 years 10 months ago
Robust Salient Motion Detection with Complex Background for Real-Time Video Surveillance
Moving object detection is very important for video surveillance. In many environments, motion maybe either interesting (salient) motion (e.g., a person) or uninteresting motion (...
Ying-li Tian, Arun Hampapur
ADAEUROPE
2004
Springer
15 years 10 months ago
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
Juan López Campos, J. Javier Gutiérr...
DATE
2003
IEEE
114views Hardware» more  DATE 2003»
15 years 10 months ago
Ambient Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts
Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts Menno Lindwer  ¢¡ , Diana Marculescu £¥¤ , Twan Basten ¦§¡ , Rainer Zimmermann ¨ , Ra...
Menno Lindwer, Diana Marculescu, Twan Basten, Rain...
ROBOCUP
2009
Springer
289views Robotics» more  ROBOCUP 2009»
15 years 9 months ago
Real-Time Hand Gesture Recognition for Human Robot Interaction
In this article a hand gesture recognition system that allows interacting with a service robot, in dynamic environments and in real-time, is proposed. The system detects hands and ...
Mauricio Correa, Javier Ruiz-del-Solar, Rodrigo Ve...
PODC
1990
ACM
15 years 8 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger