1249 search results - page 196 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
126
click to vote
ICML
1995
IEEE
16 years 18 days ago
1995
IEEE
Partially observable Markov decision processes (pomdp's) model decision problems in which an agent tries to maximize its reward in the face of limited and/or noisy sensor fee...
101
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
116
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
120
click to vote
SECON
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Wireless interference is the major cause of degradation of capacity in 802.11 wireless networks. We present an approach to estimate the interference between nodes and lin...
WWW
2001
ACM
16 years 14 days ago
2001
ACM
First generation Web-content encodes information in handwritten (HTML) Web pages. Second generation Web content generates HTML pages on demand, e.g. by filling in templates with c...