500 search results - page 42 / 100 » Thread-Modular Abstraction Refinement |
ECAI
2008
Springer
14 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
14 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...
103
click to vote
VMCAI
2010
Springer
15 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...
HUC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present our approach to the design of two generations of outdoors device that enable visitors to view 3D historical reconstructions when exploring present day sites. R...
FLOPS
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Outermost-needed rewriting/narrowing is a sound and complete optimal demand-driven strategy for the class of inductively sequential constructor systems. Its parallel exte...