500 search results - page 76 / 100 » Thread-Modular Abstraction Refinement |
118
click to vote
MICCAI
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. Accurate registration of cortical structures plays a fundamental role in statistical analysis of brain images across population. This paper presents a novel framework for...
MICCAI
2004
Springer
16 years 2 months ago
2004
Springer
Abstract. In this paper we present, evaluate, and discuss two multiscale schemes for modelling grey-level appearance in a deformable model for the segmentation of abdominal aortic ...
116
click to vote
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...
130
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
217
click to vote
VLDB
2006
ACM
16 years 1 months ago
2006
ACM
Abstract The protection of customer privacy is a fundamental issue in today's corporate marketing strategies. Not surprisingly, many research efforts have proposed new privacy...