1720 search results - page 246 / 344 » Evaluation of a High Performance Code Compression Method |
113
Voted
MM
2006
ACM
15 years 9 months 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...
137
Voted
DAGM
2010
Springer
15 years 4 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...
122
click to vote
ATVA
2007
Springer
15 years 7 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 ...
123
Voted
IEEECGIV
2009
IEEE
15 years 10 months 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...
159
Voted
AI
1998
Springer
15 years 3 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...