3951 search results - page 410 / 791 » Automatic amortized analysis |
168
click to vote
ECCV
2000
Springer
16 years 8 months ago
2000
Springer
In recent years several techniques have been proposed for modelling the low-dimensional manifolds, or `subspaces', of natural images. Examples include principal component anal...
161
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
This paper presents a new information visualization framework that supports the analytical reasoning process. It consists of three views - a data view, a knowledge view and a navi...
194
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Identifying highlights in multimedia content such as video and audio is currently a very difficult technical problem. We present and evaluate a novel algorithm that identifies hig...
171
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
185
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Graphics detection and recognition are fundamental research problems in document image analysis and retrieval. As one of the most pervasive graphical elements in business and gove...