3 search results - page 1 / 1 » Algorithm-Supported Mathematical Theory Exploration: A Perso... |
AISC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
SIGIR
2011
ACM
12 years 7 months ago
2011
ACM
Searching is inherently an interactive process usually requiring numerous iterations of querying and assessing in order to find the desired amount of relevant information. Essent...
KDD
2004
ACM
14 years 5 months ago
2004
ACM
Essentially all data mining algorithms assume that the datagenerating process is independent of the data miner's activities. However, in many domains, including spam detectio...