507 search results - page 41 / 102 » Counterexample-Guided Abstraction Refinement |
FORMATS
2010
Springer
13 years 8 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
GD
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The need for a similarity measure for comparing two drawings of graphs arises in problems such as interactive graph drawing and the indexing or browsing of large sets of ...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Conflict-based diagnosis is a recently proposed probabilistic method for model-based diagnosis, inspired by consistencybased diagnosis, that uses a measure of data confli...
BILDMED
2008
13 years 11 months ago
2008
Abstract We propose an automatic procedure for the correct segmentation of grey and white matter in MR data sets of the human brain. Our method exploits general anatomical knowledg...
VMCAI
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...