822 search results - page 111 / 165 » Hashing Methods for Temporal Data |
124
click to vote
CVPR
2006
IEEE
16 years 4 months ago
2006
IEEE
In this paper we consider the problem of segmenting multiple rigid motions using multi?frame point correspondence data. The main idea of the method is to group points according to...
171
click to vote
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
We present a video summarization approach for egocentric or “wearable” camera data. Given hours of video, the proposed method produces a compact storyboard summary of the came...
224
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
154
click to vote
ASIAN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This text is an informal review of several randomized algorithms that have appeared over the past two decades and have proved instrumental in extracting efficiently quant...
233
Voted
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Nearest neighbor (NN) search in high dimensional space is an important problem in many applications. Ideally, a practical solution (i) should be implementable in a relational data...