4767 search results - page 265 / 954 » Structures for Abstract Rewriting |
155
click to vote
TMI
1998
15 years 6 months ago
1998
Abstract— This paper reports a novel method for fully automated segmentation that is based on description of shape and its variation using point distribution models (PDM’s). An...
193
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
162
click to vote
ESOP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
179
click to vote
ITP
2010
15 years 5 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
182
click to vote
IPMI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. This paper presents a novel approach for object segmentation in medical images that respects the topological relationships of multiple structures as given by a template. ...