3982 search results - page 336 / 797 » Learning to Recognize Objects |
178
click to vote
HVC
2005
Springer
16 years 8 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
168
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a model of neural network embodiment of intentions and planning mechanisms for autonomous agents. The model bridges the dichotomy of symbolic and non-symbolic ...
174
click to vote
IWANN
2009
Springer
16 years 1 months ago
2009
Springer
Biomedical literature is an important source of information for chemical compounds. However, different representations and nomenclatures for chemical entities exist, which makes th...
180
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Recognizing and analyzing change is an important human virtue because it enables us to anticipate future scenarios and thus allows us to act pro-actively. One approach to understa...
189
click to vote
MLMI
2007
Springer
16 years 26 days ago
2007
Springer
Eye gaze and gesture form key conversational grounding cues that are used extensively in face-to-face interaction among people. To accurately recognize visual feedback during inter...