3502 search results - page 520 / 701 » From Machine Learning to Machine Reasoning |
143
click to vote
KI
2009
Springer
16 years 27 days ago
2009
Springer
When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addressees. Modern automated theorem prover...
155
click to vote
EDUTAINMENT
2007
Springer
16 years 16 days ago
2007
Springer
We present findings of an observational study investigating how young children interact with augmented reality story books. Children aged between 6 and 7 read and interacted with o...
146
Voted
COLT
2005
Springer
15 years 12 months ago
2005
Springer
We present a new generalization bound where the use of unlabeled examples results in a better ratio between training-set size and the resulting classifier’s quality and thus red...
183
click to vote
DAWAK
2005
Springer
15 years 12 months ago
2005
Springer
Data mining and machine learning must confront the problem of pattern maintenance because data updating is a fundamental operation in data management. Most existing data-mining alg...
173
click to vote
ECML
2005
Springer
15 years 12 months ago
2005
Springer
Constraint programming is rapidly becoming the technology of choice for modelling and solving complex combinatorial problems. However, users of this technology need significant ex...