9359 search results - page 374 / 1872 » Generalization Algorithms for Second-Order Terms |
173
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
This paper proposes the integration of semantic information drawn from a web application’s domain knowledge into all phases of the web usage mining process (preprocessing, patte...
167
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
206
click to vote
CIKM
2007
Springer
16 years 25 days ago
2007
Springer
Implicit feedback algorithms utilize interaction between searchers and search systems to learn more about users’ needs and interests than expressed in query statements alone. Th...
163
click to vote
GECCO
2007
Springer
16 years 25 days ago
2007
Springer
Recent work has provided functions that can be used to prove a principled distinction between the capabilities of mutation-based and crossover-based algorithms. However, prior fun...
160
click to vote
GECCO
2007
Springer
16 years 25 days ago
2007
Springer
The use of machine learning techniques to automatically analyse data for information is becoming increasingly widespread. In this paper we examine the use of Genetic Programming a...