742 search results - page 53 / 149 » Classical conditioning |
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
AGENTS
1997
Springer
14 years 26 days ago
1997
Springer
A generic architecture for autonomous agents is presented. In commonwith other current proposals the agent is capable of reacting to and reasoning about events which occur in its ...
ISSRE
2005
IEEE
14 years 2 months ago
2005
IEEE
The software development process imposes major impacts on the quality of software at every development stage; therefore, a common goal of each software development phase concerns ...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...
ICDE
2006
IEEE
14 years 10 months ago
2006
IEEE
Extracting and integrating object information from the Web is of great significance for Web data management. The existing Web information extraction techniques cannot provide sati...