2223 search results - page 250 / 445 » Multimedia structuring using trees |
163
click to vote
CADE
1994
Springer
15 years 10 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
183
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes a novel methodology for implementing video search functions such as retrieval of near-duplicate videos and recognition of actions in surveillance video. Video...
160
click to vote
INFOVIS
2003
IEEE
15 years 11 months ago
2003
IEEE
The Informedia Digital Video Library user interface summarizes query results with a collage of representative keyframes. We present a user study in which keyframe occlusion caused...
162
click to vote
PDP
2008
IEEE
16 years 25 days ago
2008
IEEE
Searching for similar objects in metric-space databases can be efficiently solved by using index data structures. A number of alternative sequential indexes have been proposed in...
146
click to vote
ICMCS
2006
IEEE
16 years 15 days ago
2006
IEEE
Since graphics cards have become programmable the recent years, numerous computationally intensive algorithms have been implemented on the now called General Purpose Graphics Proc...