265 search results - page 9 / 53 » A Temporal Logic Based Framework for Intrusion Detection |
WDAG
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
Recognition of complex activities from surveillance video requires detection and temporal ordering of its constituent "atomic" events. It also requires the capacity to ro...
MICCAI
2004
Springer
2004
Springer
Border Detection on Short Axis Echocardiographic Views Using a Region Based Ellipse-Driven Framework
14 years 8 months ago
In this paper, we propose a robust technique that integrates spatial and temporal information for consistent recovery of the endocardium. To account for the low image quality we in...
CLEIEJ
2006
13 years 7 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...