1071 search results - page 135 / 215 » Programming with enumerable sets of structures |
112
Voted
MM
2003
ACM
15 years 5 months ago
2003
ACM
In this paper, we present a system that automates home video editing. This system automatically extracts a set of highlight segments from a set of raw home videos and aligns them ...
94
Voted
ENTCS
2007
15 years 16 days ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
134
click to vote
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
A novel method is proposed for matching articulated objects in cluttered videos. The method needs only a single exemplar image of the target object. Instead of using a small set o...
107
click to vote
KDID
2003
15 years 1 months ago
2003
We introduce generalized version space trees, a novel data structure that serves as a condensed representation in inductive databases for graph mining. Generalized version space tr...
94
Voted
MICRO
2010
IEEE
14 years 10 months ago
2010
IEEE
Last-level caches (LLCs) are large structures with significant power requirements. They can be quite inefficient. On average, a cache block in a 2MB LRU-managed LLC is dead 86% of ...