9730 search results - page 405 / 1946 » Relating models of backtracking |
168
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— Many neural network models of (human) motor learning focus on the acquisition of direct goal-to-action mappings, which results in rather inflexible motor control programs. We ...
182
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
197
click to vote
ECAL
2007
Springer
16 years 29 days ago
2007
Springer
Multi-agent organizations in dynamic environments, need to have the ability to adapt to environmental changes to ensure a continuation of proper functioning. Such adaptations can b...
199
click to vote
ECML
2007
Springer
16 years 29 days ago
2007
Springer
We present a framework for efficient, accurate approximate Bayesian inference in generalized linear models (GLMs), based on the expectation propagation (EP) technique. The paramete...
149
click to vote
APSEC
2005
IEEE
16 years 13 days ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...