265 search results - page 31 / 53 » A Temporal Logic Based Framework for Intrusion Detection |
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
Automatic facial action unit (AU) detection from video is a long-standing problem in computer vision. Two main approaches have been pursued: (1) static modeling--typically posed a...
COMMA
2008
13 years 10 months ago
2008
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is an argumentation framework based on logic programming which incorporates a treatment of possibilistic uncertainty a...
CVPR
2000
IEEE
14 years 10 months ago
2000
IEEE
Design and development of novel human-computer interfaces poses a challenging problem: actions and intentions of users have to be inferred from sequences of noisy and ambiguous mu...
ICLP
2003
Springer
14 years 2 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
AVSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Visual surveillance in outdoor environments requires the monitoring of both objects and events. The analysis is generally driven by the target application which, in turn, determin...