1755 search results - page 183 / 351 » An efficient simulation algorithm based on abstract interpre... |
146
Voted
MICCAI
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. This paper presents a novel approach for multi-organ (musculoskeletal system) automatic registration and segmentation from clinical MRI datasets, based on discrete deform...
161
Voted
SDM
2004
SIAM
15 years 4 months ago
2004
SIAM
Graph-based modeling has emerged as a powerful abstraction capable of capturing in a single and unified framework many of the relational, spatial, topological, and other characteri...
137
click to vote
FASE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
131
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
122
click to vote
ISPW
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract. Explicitly defining a software process model is widely recognized as a good software engineering practice. However, having a defined process does not necessarily mean tha...