2828 search results - page 120 / 566 » Custom Local Search |
186
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In multimedia and other streaming applications a significant portion of energy is spent on data transfers. Exploiting data reuse opportunities in the application, we can reduce th...
140
click to vote
LREC
2008
15 years 7 months ago
2008
In this paper we present a new Document Management System called DrStorage. This DMS is multi-platform, JCR-170 compliant, supports WebDav, versioning, user authentication and aut...
186
click to vote
SISAP
2009
IEEE
16 years 1 months ago
2009
IEEE
—We present an image retrieval system based on a combined search of text and content. The idea is to use the text present in title, description, and tags of the images for improv...
178
click to vote
ACIVS
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we present an interactive, object-based video retrieval system which features a novel query formulation method that is used to iteratively refine an underlying model...
187
click to vote
TPHOL
2000
IEEE
15 years 10 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...