Sciweavers

7311 search results - page 167 / 1463
» Time in State Machines
Sort
View
ENTCS
2006
125views more  ENTCS 2006»
15 years 4 months ago
Liveness Checking as Safety Checking for Infinite State Spaces
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
Viktor Schuppan, Armin Biere
155
Voted
ICMLA
2010
15 years 2 months ago
Nonlinear Dynamical Multi-Scale Model of Associative Memory
How can we get such reliable behavior from the mind when the brain is made up of such unreliable elements as neurons? We propose that the answer is related to the emergence of stab...
Alexander M. Duda, Stephen E. Levinson
ROBOCUP
2007
Springer
167views Robotics» more  ROBOCUP 2007»
15 years 10 months ago
Cooperative/Competitive Behavior Acquisition Based on State Value Estimation of Others
The existing reinforcement learning approaches have been suffering from the curse of dimension problem when they are applied to multiagent dynamic environments. One of the typical...
Kentarou Noma, Yasutake Takahashi, Minoru Asada
AR
2007
105views more  AR 2007»
15 years 4 months ago
Reinforcement learning of a continuous motor sequence with hidden states
—Reinforcement learning is the scheme for unsupervised learning in which robots are expected to acquire behavior skills through self-explorations based on reward signals. There a...
Hiroaki Arie, Tetsuya Ogata, Jun Tani, Shigeki Sug...
150
Voted
PAMI
2002
124views more  PAMI 2002»
15 years 4 months ago
Information Theoretic Sensor Data Selection for Active Object Recognition and State Estimation
We introduce a formalism for optimal sensor parameter selection for iterative state estimation in static systems. Our optimality criterion is the reduction of uncertainty in the st...
Joachim Denzler, Christopher M. Brown