7311 search results - page 127 / 1463 » Time in State Machines |
122
click to vote
FMSD
1998
15 years 4 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
130
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
MDPs are an attractive formalization for planning, but realistic problems often have intractably large state spaces. When we only need a partial policy to get from a fixed start s...
130
click to vote
CSMR
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--In contrast to conventional multi-page Web applications, an Ajax application is developed as a single-page application in which content and structure are changed at runti...
135
click to vote
ICANN
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, it will be shown that it is feasible to extract finite state machines in a domain of, for rule extraction, previously unencountered complexity. The algorithm used i...
133
click to vote
AMAST
2000
Springer
15 years 8 months ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...