613 search results - page 55 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
134
click to vote
DAC
1996
ACM
15 years 5 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
101
click to vote
CGF
1999
15 years 1 months ago
1999
Researchers in non-photorealistic rendering have investigated the display of three-dimensional worlds using various display models. In particular, recent work has focused on the m...
117
click to vote
AAAI
2008
15 years 3 months ago
2008
This paper proposes an optimal approach to infinite-state action planning exploiting automata theory. State sets and actions are characterized by Presburger formulas and represent...
118
click to vote
ICIP
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper addresses the shape-based segmentation problem using level sets. In particular, we propose a fast algorithm to solve the piece-wise constant Chan-Vese segmentation mode...
249
click to vote
SPIN
2012
Springer
13 years 3 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...