4767 search results - page 326 / 954 » Structures for Abstract Rewriting |
182
click to vote
WLP
1997
Springer
15 years 10 months ago
1997
Springer
eduction strategies for logic programs often use an abstraction operator to guarantee the niteness of the set of goals for which partial deductions are . Findingan abstraction ope...
326
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
203
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. Volumetric structures are frequently used as shape descriptors for 3D data. The capture of such data is being facilitated by developments in multi-view video and range sc...
190
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. Automatic delineation and robust measurement of fetal anatomical structures in 2D ultrasound images is a challenging task due to the complexity of the object appearance, ...
181
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. We propose to carry out cooperatively both tissue and structure segmentations by distributing a set of local and cooperative models in a unified MRF framework. Tissue seg...