9359 search results - page 523 / 1872 » Generalization Algorithms for Second-Order Terms |
195
click to vote
PODS
2010
ACM
15 years 12 months ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
239
click to vote
MM
2009
ACM
15 years 11 months ago
2009
ACM
Photo community sites such as Flickr and Picasa Web Album host a massive amount of personal photos with millions of new photos uploaded every month. These photos constitute an ove...
186
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Our work presents a mechanism designed for the selection of the optimal information provider in a multi-agent, heterogeneous and unsupervised monitoring system. The selfadaptation...
170
click to vote
ASSETS
2006
ACM
15 years 10 months ago
2006
ACM
Current speech synthesis technology is difficult to understand in everyday noise situations. Although there is a significant body of work on how humans modify their speech in nois...
204
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
When Genetic Programming is used to evolve arithmetic functions it often operates by composing them from a fixed collection of elementary operators and applying them to parameters...