2467 search results - page 242 / 494 » Finite State Machines |
213
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
162
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Wireless networks with multiple nodes that relay information from a source to a destination are expected to be deployed in many applications. In this work, we consider multihoppin...
179
click to vote
ASM
2005
ASM
15 years 8 months ago
2005
ASM
Abstract. This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms act State Machines (ASMs) and takes the fo...
173
click to vote
IJCAI
2003
15 years 8 months ago
2003
We present an approximate policy iteration algorithm that uses rollouts to estimate the value of each action under a given policy in a subset of states and a classifier to general...
170
click to vote
ELPUB
2006
ACM
16 years 20 days ago
2006
ACM
This paper deals with the problems of weakening of human memory due to the increasing use of machine memories in many ways. It enumerates the advantages of machine memory as state...