11436 search results - page 35 / 2288 » Modeling Real Reasoning |
MODELS
2007
Springer
14 years 5 months ago
2007
Springer
MAICS
2003
14 years 10 days 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...
IJCAI
2007
14 years 11 days 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...
CADE
2006
Springer
14 years 11 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...
ICPR
2008
IEEE
14 years 5 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...