206 search results - page 12 / 42 » Probabilistic Analysis of Large Finite State Machines |
ICML
2005
IEEE
16 years 15 days ago
2005
IEEE
In this paper we consider sampling based fitted value iteration for discounted, large (possibly infinite) state space, finite action Markovian Decision Problems where only a gener...
CN
2004
14 years 11 months ago
2004
The problem of testing from an SDL specification is often complicated by the presence of infeasible paths. This paper introduces an approach for transforming a class of SDL specif...
161
click to vote
KESAMSTA
2011
Springer
14 years 2 months ago
2011
Springer
Creating modular behaviours in JADE using a traditional method such as the FSM (Finite State Machine) can be a difficult task to achieve. The first issue with FSMs is that they do...
108
click to vote
BIOINFORMATICS
2005
14 years 11 months ago
2005
Motivation: Intervention in a gene regulatory network is used to help it avoid undesirable states, such as those associated with a disease. Several types of intervention have been...
107
click to vote
INFOCOM
1995
IEEE
15 years 3 months ago
1995
IEEE
In communication networks, a large number of alarms exist to signal any abnormal behavior of the network. As network faults typically result in a number of alarms, correlating the...