2467 search results - page 349 / 494 » Finite State Machines |
190
Voted
POPL
2002
ACM
16 years 1 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
101
Voted
CORR
2007
Springer
15 years 24 days ago
2007
Springer
We consider qualitative and quantitative verification problems for infinite-state Markov chains. We call a Markov chain decisive w.r.t. a given set of target states F if it almos...
100
click to vote
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
Many problems in vision involve the prediction of a class label for each frame in an unsegmented sequence. In this paper, we develop a discriminative framework for simultaneous se...
112
Voted
CSMR
2007
IEEE
15 years 7 months ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
109
Voted
TASE
2007
IEEE
15 years 7 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...