448 search results - page 70 / 90 » Abstraction in Predictive State Representations |
116
click to vote
CAV
2007
Springer
15 years 7 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 ...
118
click to vote
ZUM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
126
click to vote
FORTEST
2008
15 years 3 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
108
Voted
ASE
2008
15 years 1 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
107
click to vote
JCNS
2000
15 years 1 months ago
2000
Abstract. Voltage-gated ion channels in neuronal membranes fluctuate randomly between different conformational states due to thermal agitation. Fluctuations between conducting and ...