4814 search results - page 421 / 963 » Combining abstract interpreters |
181
Voted
CIVR
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. The vector-space retrieval model and Latent Semantic Indexing approaches to retrieval have been used heavily in the field of text information retrieval over the past yea...
167
Voted
CIVR
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Keypics are graphical metadata intended for indexing of images on the Internet. They are conceived as hand-drawn sketches, not restricted to a definite set. An obvious d...
184
click to vote
COCOON
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In this paper, we consider two types of inverse sorting problems. The first type is an inverse sorting problem under weighted Hamming distance with bound constraints, wh...
144
click to vote
CP
2005
Springer
16 years 12 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 ...
169
Voted
CP
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...