1720 search results - page 246 / 344 » Evaluation of a High Performance Code Compression Method |
141
click to vote
MM
2006
ACM
16 years 7 days ago
2006
ACM
We propose a novel and generic video/image reranking algorithm, IB reranking, which reorders results from text-only searches by discovering the salient visual patterns of relevant...
175
click to vote
DAGM
2010
Springer
15 years 7 months ago
2010
Springer
Density modeling is notoriously difficult for high dimensional data. One approach to the problem is to search for a lower dimensional manifold which captures the main characteristi...
158
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
158
click to vote
IEEECGIV
2009
IEEE
16 years 28 days ago
2009
IEEE
—There are several methods used for plotting curves in CAGD, e.g., by directly computing their basis functions (polynomials) or using their recursive algorithms. For the former m...
202
click to vote
AI
1998
Springer
15 years 6 months ago
1998
Springer
Translingual information retrieval (TLIR) consists of providing a query in one language and searching document collections in one or more di erent languages. This paper introduces...