Sciweavers

742 search results - page 21 / 149
» Classical conditioning
Sort
View
IROS
2007
IEEE
123views Robotics» more  IROS 2007»
14 years 2 months ago
Natural task decomposition with intrinsic potential fields
— Any given task can be solved in a number of ways, whether through path-planning, modeling, or control techniques. In this paper, we present a methodology for natural task decom...
Stephen Hart, Roderic A. Grupen
ECAL
2007
Springer
14 years 2 months ago
The Dynamics of Associative Learning in an Evolved Situated Agent
Abstract. Artificial agents controlled by dynamic recurrent node networks with fixed weights are evolved to search for food and associate it with one of two different temperatur...
Eduardo Izquierdo, Inman Harvey
RSKT
2010
Springer
13 years 7 months ago
Naive Bayesian Rough Sets
A naive Bayesian classifier is a probabilistic classifier based on Bayesian decision theory with naive independence assumptions, which is often used for ranking or constructing a...
Yiyu Yao, Bing Zhou
TPHOL
2008
IEEE
14 years 3 months ago
Formal Reasoning About Causality Analysis
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
Jens Brandt, Klaus Schneider
ESOP
2006
Springer
14 years 8 days ago
ILC: A Foundation for Automated Reasoning About Pointer Programs
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
Limin Jia, David Walker