7988 search results - page 202 / 1598 » A Useful Undecidable Theory |
86
Voted
ICML
2006
IEEE
16 years 1 months ago
2006
IEEE
Kernel functions have become an extremely popular tool in machine learning, with an attractive theory as well. This theory views a kernel as implicitly mapping data points into a ...
86
Voted
AISC
2004
Springer
15 years 6 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...
134
click to vote
ROBOCUP
2004
Springer
15 years 6 months ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
129
Voted
CSCLP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling,...
73
Voted
CHI
2003
ACM
16 years 1 months ago
2003
ACM
Historically, the dominant paradigm in HCI, when it appeared as a field in early 80s, was information processing ("cognitivist") psychology. In recent decades, as the fo...