1256 search results - page 116 / 252 » Learning to Reason |
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
Scientists find that the human perception is based on the similarity on the manifold of data set. Isometric feature mapping (Isomap) is one of the representative techniques of man...
PADL
2010
Springer
14 years 7 months ago
2010
Springer
Explanations are a technique for reasoning about constraint propagation, which have been applied in many learning, backjumping and user-interaction algorithms for constraint progra...
CLEIEJ
2008
13 years 10 months ago
2008
In the past few years Artificial Intelligence has been gradually introduced to enhance Education through technologies. However, usual approaches provide systems with a kind of exp...
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
ICML
2009
IEEE
14 years 11 months ago
2009
IEEE
Approximate Linear Programming (ALP) is a reinforcement learning technique with nice theoretical properties, but it often performs poorly in practice. We identify some reasons for...