7064 search results - page 140 / 1413 » From States to Histories |
163
click to vote
DLT
2010
15 years 8 months ago
2010
The partial derivative automaton (Apd) is usually smaller than other non-deterministic finite automata constructed from a regular expression, and it can be seen as a quotient of th...
203
click to vote
IC
2004
15 years 7 months ago
2004
This paper describes a validating XML parsing method based on deterministic finite state automata (DFA). XML parsing and validation is performed by a schema-specific XML parser th...
151
click to vote
SIMVIS
2004
15 years 7 months ago
2004
This paper illustrates the current state of development of an algorithm for the steady state solution of continuous-time Markov chains. The so-called multi-level algorithm utilize...
176
click to vote
JNW
2007
15 years 6 months ago
2007
—Performance of IEEE 802.11 distributed coordination function (DCF) has been studied by several authors under steady-state conditions. Behavior of DCF under transient state condi...
170
click to vote
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
We address the topic of specifying multi-agent systems using the situation and state calculus (SSC). SSC has been proposed as an extension of the situation calculus to overcome so...