2467 search results - page 147 / 494 » Finite State Machines |
131
click to vote
TARK
1998
Springer
15 years 10 months ago
1998
Springer
We look at the Big Match game, a variation of the repeated Matching Pennies game where if the rst player plays tails the game ends with the rst player receiving the last round...
140
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
152
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—We introduce a 3-dimensional Markov chain that integrates the IEEE 802.11 DCF contention resolution and queueing processes into one model. Important QoS measures, delay and loss...
164
click to vote
TCAD
1998
15 years 6 months ago
1998
—New methods for fault-effect propagation and state justification that use finite-state-machine sequences are proposed for sequential circuit test generation. Distinguishing se...
177
click to vote
BC
2008
15 years 6 months ago
2008
In this paper we introduce a simple model based on probabilistic finite state automata to describe an emotional interaction between a robot and a human user, or between simulated a...