3333 search results - page 264 / 667 » Abstract Proof Search |
154
click to vote
ECAI
2004
Springer
16 years 16 hour ago
2004
Springer
Abstract. Solution techniques for Constraint Satisfaction and Optimisation Problems often make use of backtrack search methods, exploiting variable and value ordering heuristics. I...
176
click to vote
CEC
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract- Usually the offspring-parent fitness correlation is used to visualize and analyze some caracteristics of fitness landscapes such as evolvability. In this paper, we intr...
186
click to vote
ERCIMDL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper gives an overview of tools and methods for CrossLanguage Information Retrieval (CLIR) that are developed within the Twenty-One project. The tools and methods a...
177
click to vote
ERCIMDL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. An expert system Web interface to online catalogs called EReferencer is being developed. An initial prototype has been implemented. The interface has a repertoire of init...
184
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We combine in this paper automatic learning of a large lexicon of semantic concepts with traditional video retrieval methods into a novel approach to narrow the semantic ...