Sciweavers

3406 search results - page 137 / 682
» Computational models of classical conditioning
Sort
View
146
Voted
AGENTS
1997
Springer
15 years 8 months ago
Decision Making and Plan Management by Autonomous Agents: Theory, Implementation and Applications
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 ...
Subrata Kumar Das, John Fox, D. Elsdon, Peter Hamm...
137
Voted
CORR
2011
Springer
153views Education» more  CORR 2011»
14 years 11 months ago
Proof-Theoretic Soundness and Completeness
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...
Robert Rothenberg
142
Voted
RECOMB
2009
Springer
16 years 5 months ago
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology
The dynamics of biological processes are often modeled as systems of nonlinear ordinary differential equations (ODE). An important feature of nonlinear ODEs is that seemingly minor...
Alexandre Donzé, Gilles Clermont, Axel Lega...
AMDO
2010
Springer
15 years 3 months ago
Estimating 3D Pose via Stochastic Search and Expectation Maximization
In this paper an approach is described to estimate 3D pose using a part based stochastic method. A proposed representation of the human body is explored defined over joints that e...
Ben Daubney, Xianghua Xie
ENTCS
2002
61views more  ENTCS 2002»
15 years 4 months ago
Effectively Absolute Continuity and Effective Jordan Decomposability
Classically, any absolute continuous real function is of bounded variation and hence can always be expressed as a difference of two increasing continuous functions (socalled Jorda...
Xizhong Zheng, Robert Rettinger, Burchard von Brau...