9359 search results - page 237 / 1872 » Generalization Algorithms for Second-Order Terms |
206
click to vote
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
We show that aggregate constraints (as opposed to pairwise constraints) that often arise when integrating multiple sources of data, can be leveraged to enhance the quality of dedu...
143
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
122
Voted
MIR
2006
ACM
15 years 11 months ago
2006
ACM
Multimedia information retrieval is a highly diverse field. A variety of data types, research problems, methodologies are involved. Researchers in the field come from very diff...
148
Voted
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
This study examines the utility of meta-grammar constant generation on a series of benchmark problems. The performance of the meta-grammar approach is compared to a grammar which ...
150
click to vote
SIGIR
2004
ACM
15 years 10 months ago
2004
ACM
In recent years, statistical language models are being proposed as alternative to the vector space model. Viewing documents as language samples introduces the issue of defining a...