11168 search results - page 94 / 2234 » Abstract State Processes |
119
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
130
click to vote
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
128
click to vote
STACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We prove that, for any arbitrary finite alphabet and for the uniform distribution over deterministic and accessible automata with n states, the average complexity of Moo...
137
click to vote
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set ...
127
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper investigates the use of a steady state genetic algorithm (GA) to perform quadrilateral finite element mesh smoothing. GAS short for genetic algorithm smoother...