270 search results - page 37 / 54 » Call Invariants |
132
click to vote
AVSS
2007
IEEE
15 years 10 months ago
2007
IEEE
We present and experiment with a patch-based algorithm for the purpose of object classification in video surveillance. A feature vector is calculated based on template matching o...
123
click to vote
ISQED
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a new approach to enforcing the passivity of a reduced system of general passive linear time invariant circuits. Instead of making the reduced models pas...
141
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
142
click to vote
WDAG
2007
Springer
15 years 10 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 ...
100
click to vote
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— In this paper, we seek to understand the intrinsic reasons for the well-known phenomenon of heavy-tailed degree in the Internet AS graph and argue that in contrast to tradition...