5544 search results - page 276 / 1109 » Three Inadequate Models |
111
click to vote
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
Object tracking plays an important role in multimedia surveillance systems, in which the major types of data are video and audio captured by cameras and microphone arrays. In this...
131
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Online email archives are an under-protected yet extremely sensitive information resource. Email archives can store years worth of personal and business email in an easy-to-access...
147
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
179
Voted
VISUAL
2005
Springer
15 years 10 months ago
2005
Springer
We describe and compare three probabilistic ways to perform Content Based Image Retrieval (CBIR) in compressed domain using images in JPEG2000 format. Our main focus are arbitrary ...
131
click to vote
COCOON
2010
Springer
15 years 9 months ago
2010
Springer
The parallel repetition theorem states that for any two provers one round game with value at most 1 − (for < 1/2), the value of the game repeated n times in parallel is at mo...