332 search results - page 23 / 67 » A Direct Algorithm for Multi-valued Bounded Model Checking |
127
click to vote
STTT
2008
15 years 2 months ago
2008
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large co...
126
Voted
CVPR
2010
IEEE
15 years 2 months ago
2010
IEEE
We study the object localization problem in images given a single hand-drawn example or a gallery of shapes as the object model. Although many shape matching algorithms have been ...
129
click to vote
PRESENCE
1998
15 years 1 months ago
1998
We propose an accurate collision detection algorithm for use in virtual reality applications. The algorithm works for three-dimensional graphical environments where multiple objec...
128
Voted
STACS
2010
Springer
15 years 9 months ago
2010
Springer
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT...
137
Voted
CAV
2000
Springer
15 years 6 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...