4695 search results - page 783 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
184
click to vote
MM
2005
ACM
16 years 2 days ago
2005
ACM
To locate a video clip in large collections is very important for retrieval applications, especially for digital rights management. In this paper, we present a novel technique for...
195
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
172
click to vote
CIKM
2004
Springer
15 years 12 months ago
2004
Springer
We explore join optimizations in the presence of both timebased constraints (sliding windows) and value-based constraints (punctuations). We present the first join solution named...
202
click to vote
CGI
2003
IEEE
15 years 11 months ago
2003
IEEE
Human faces are commonly found in video streams and provide useful information for video content analysis. This paper presents a robust face tracking system to extract multiple fa...
175
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
Advances in 3D scanning technologies have enabled the practical creation of meshes with hundreds of millions of polygons. Traditional algorithms for display, simplification, and ...