Sciweavers

1363 search results - page 49 / 273
» Dynamics of a Classical Conditioning Model
Sort
View
115
Voted
IJCAI
2003
15 years 1 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
96
Voted
CVPR
2007
IEEE
16 years 2 months ago
Discriminative Learning of Dynamical Systems for Motion Tracking
We introduce novel discriminative learning algorithms for dynamical systems. Models such as Conditional Random Fields or Maximum Entropy Markov Models outperform the generative Hi...
Minyoung Kim, Vladimir Pavlovic
84
Voted
ECEASST
2008
91views more  ECEASST 2008»
15 years 18 days ago
Graph Transformation Model of a Triangulated Network of Mobile Units
Abstract: A triangulated network of mobile units is modelled by means of a graph transformation system in which graph nodes are labelled with geometric coordinates and edges are la...
Stefan Gruner
98
Voted
ISCI
2000
98views more  ISCI 2000»
15 years 10 days ago
Quantum decision-maker
A quantum device simulating human decision making process is introduced. It consists of quantum recurrent nets generating stochastic processes which represent the motor dynamics, ...
Michail Zak
119
Voted
CEEMAS
2003
Springer
15 years 5 months ago
On a Dynamical Analysis of Reinforcement Learning in Games: Emergence of Occam's Razor
Modeling learning agents in the context of Multi-agent Systems requires an adequate understanding of their dynamic behaviour. Usually, these agents are modeled similar to the diļ¬...
Karl Tuyls, Katja Verbeeck, Sam Maes