206 search results - page 13 / 42 » Probabilistic Analysis of Large Finite State Machines |
TASE
2008
IEEE
14 years 11 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
108
click to vote
ICUMT
2009
14 years 9 months ago
2009
We consider multiple-input multiple-output (MIMO) systems exploiting the full diversity order of a MIMO fading channel via optimal beamforming and combining. Specifically, an analy...
ICML
2010
IEEE
15 years 23 days ago
2010
IEEE
We consider approximate policy evaluation for finite state and action Markov decision processes (MDP) in the off-policy learning context and with the simulation-based least square...
130
click to vote
ISLPED
1997
ACM
15 years 3 months ago
1997
ACM
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). B...
116
click to vote
GECCO
2007
Springer
15 years 1 months ago
2007
Springer
In autonomous agent systems, memory is an important element to handle agent behaviors appropriately. We present the analysis of memory requirements for robotic tasks including wal...