4099 search results - page 563 / 820 » A Framework for Interactive Proof |
223
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
219
click to vote
SODA
2012
ACM
13 years 9 months ago
2012
ACM
Kernelization algorithms are polynomial-time reductions from a problem to itself that guarantee their output to have a size not exceeding some bound. For example, d-Set Matching f...
190
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
Learning-enhanced relevance feedback is one of the most promising and active research directions in recent year's content-based image retrieval. However, the existing approac...
204
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Analysis of videos of human-object interactions involves understanding human movements, locating and recognizing objects and observing the effects of human movements on those obje...
175
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper, we present a probabilistic framework for automatic detection and tracking of objects. We address the data association problem by formulating the visual tracking as ...