2586 search results - page 268 / 518 » Automatic Abstraction for Congruences |
170
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
179
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we investigate automated methods for externalizing internal memory data structures. We consider a class of balanced trees that we call weight-balanced parti...
189
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Non-rigid registration can automatically quantify small changes in volume of anatomical structures over time by means of segmentation propagation. Here we use a non-rigid...
185
click to vote
PADO
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
166
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...