11436 search results - page 35 / 2288 » Modeling Real Reasoning |
64
Voted
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
80
Voted
MAICS
2003
15 years 2 months ago
2003
Introspection is a fundamental component of how we as humans reason, learn, and adapt. However, many existing computer reasoning systems exclude the possibility of introspection b...
124
click to vote
IJCAI
2007
15 years 2 months ago
2007
To enhance effectiveness in real world applications, autonomous agents have to develop cognitive competencies and anticipatory capabilities. Here we point out their strong liaison...
96
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. We present a formally verified quantifier elimination procedure for the first order theory over linear mixed real-integer arithmetics in higher-order logic based on a wor...
133
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
We study models that characterize pen trajectories of online handwritten characters in a fine manner. We propose radical based fine trajectory hidden Markov models (HMMs), which...