1788 search results - page 94 / 358 » The Language of Search |
CP
2003
Springer
14 years 1 months ago
2003
Springer
Recently spectacular improvements in the performance of SAT solvers have been achieved through nogood recording (clause learning). In the CSP literature, on the other hand, nogood ...
BIOCOMP
2008
13 years 9 months ago
2008
Research in bioinformatics and computational biology relies heavily on algorithms that facilitate the understanding of biological processes through the application of statistical ...
ENTCS
2006
13 years 8 months ago
2006
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
CIKM
2003
Springer
14 years 1 months ago
2003
Springer
Most cross language information retrieval research concentrates on language pairs for which direct, rich, and often multiple translation resources already exist. However, for most...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
As the number of non-English documents is increasing dramatically on the web nowadays, the study and design of information retrieval systems for these languages is very important....