3742 search results - page 551 / 749 » On the Use of Formal Techniques for Validation |
167
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a multi-object multi-camera framework for tracking large numbers of tightly-spaced objects that rapidly move in three dimensions. We formulate the problem of finding co...
236
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
A reasonable definition of intrusion is: entering a community to which one does not belong. This suggests that in a network, intrusion attempts may be detected by looking for com...
171
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
This paper proposes a new affine registration algorithm
for matching two point sets in IR2 or IR3. The input point
sets are represented as probability density functions, using
e...
138
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We present an unsupervised technique for detecting unusual activity in a large video set using many simple features. No complex activity models and no supervised feature selection...
166
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
The paper presents a novel coding technique based on approximate geometry for images taken from arbitrary recording positions around a 3-D scene. Such data structures occur in ima...