2467 search results - page 349 / 494 » Finite State Machines |
254
click to vote
POPL
2002
ACM
16 years 5 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...
142
click to vote
CORR
2007
Springer
15 years 5 months 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...
147
click to vote
CVPR
2007
IEEE
16 years 7 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...
158
click to vote
CSMR
2007
IEEE
15 years 12 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 ...
156
click to vote
TASE
2007
IEEE
15 years 12 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...