540 search results - page 36 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
197
click to vote
AC
2005
Springer
15 years 10 days ago
2005
Springer
Artificial intelligence has been an active branch of research for computer scientists and psychologists for 50 years. The concept of mimicking human intelligence in a computer fue...
114
Voted
DKE
2010
14 years 9 months ago
2010
Integration of software applications can be achieved on different levels: the data level, the business logic level, and the user interface level. Integration on the user interface ...
ECCV
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. Tree-structured models have been widely used for human pose estimation, in either 2D or 3D. While such models allow efficient learning and inference, they fail to capture...
120
Voted
JUCS
2006
15 years 12 days ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
127
click to vote
ICMI
2010
Springer
14 years 10 months ago
2010
Springer
Identifying verbally and non-verbally referred-to objects is an important aspect of human-robot interaction. Most importantly, it is essential to achieve a joint focus of attentio...