3395 search results - page 184 / 679 » Learning to efficiently rank |
131
Voted
FORTE
2004
15 years 5 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
133
Voted
SIAMCO
2010
14 years 10 months ago
2010
This work is concerned with identification of Hammerstein systems whose outputs are measured by quantized sensors. The system consists of a memoryless nonlinearity that is polynomi...
151
Voted
WWW
2009
ACM
16 years 4 months ago
2009
ACM
General image retrieval is often carried out by a text-based search engine, such as Google Image Search. In this case, natural language queries are used as input to the search eng...
135
Voted
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Web image search using text queries has received considerable attention. However, current state-of-the-art approaches require training models for every new query, and are therefore...
123
Voted
ERCIMDL
2009
Springer
15 years 10 months ago
2009
Springer
An effective graphic interface is a key tool to improve the fruition of the results retrieved by an Information Retrieval (IR) system. In this work, we describe a two-dimensional...