123 search results - page 14 / 25 » Using Model Checking to Detect Deadlocks in Distributed Obje... |
108
click to vote
VRST
2003
ACM
15 years 5 months ago
2003
ACM
We present a novel, generic framework and algorithm for hierarchical collision detection, which allows an application to balance speed and quality of the collision detection. We p...
CVPR
2010
IEEE
14 years 9 months ago
2010
IEEE
We propose Recursive Compositional Models (RCMs) for simultaneous multi-view multi-object detection and parsing (e.g. view estimation and determining the positions of the object s...
106
click to vote
WACV
2005
IEEE
15 years 5 months ago
2005
IEEE
We present an approach for persistent tracking of moving objects observed by non-overlapping and moving cameras. Our approach robustly recovers the geometry of non-overlapping vie...
111
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
ACISP
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Most current object-based distributed systems support access control lists for access control. However, it is difficult to determine which principal information to use fo...