2586 search results - page 193 / 518 » Automatic Abstraction for Congruences |
146
click to vote
TSD
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper describes the design of the first large-scale IR test collection built for the Czech language. The creation of this collection also happens to be very challen...
168
click to vote
AMR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. To automatically retrieve documents or images from a database, retrieval systems use similarity measures to compare a request based on features extracted from the documen...
159
click to vote
CICLING
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. With the current method of query formation, a Question Answering system retrieves a set of documents that are similar to a question, while what is mostly required is a se...
136
click to vote
CP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
184
click to vote
ERCIMDL
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. As digital music collections grow, so does the need to organizing them automatically. In this paper we present an approach to hierarchically organize music collections at...