Sciweavers

506 search results - page 77 / 102
» Logics for Action
Sort
View
AVSS
2005
IEEE
15 years 5 months ago
VidMAP: video monitoring of activity with Prolog
This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...
Vinay D. Shet, David Harwood, Larry S. Davis
CIG
2005
IEEE
15 years 5 months ago
A Hybrid AI System for Agent Adaptation in a First Person Shooter
The aim of developing an agent that is able to adapt its actions in response to their effectiveness within the game provides the basis for the research presented in this paper. It ...
Abdennour El Rhalibi, Michael Burkey
HICSS
2005
IEEE
223views Biometrics» more  HICSS 2005»
15 years 5 months ago
Intelligent Agent Supported Business Process Management
The complex business environment requires managing business processes with the ability to adapt to changes and to collaborate in activities. Conventional workflow approaches based...
Minhong Wang, Huaiqing Wang
EMSOFT
2004
Springer
15 years 5 months ago
An event detection algebra for reactive systems
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
Jan Carlson, Björn Lisper
CSFW
2003
IEEE
15 years 5 months ago
Anonymity and Information Hiding in Multiagent Systems
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
Joseph Y. Halpern, Kevin R. O'Neill