500 search results - page 76 / 100 » Thread-Modular Abstraction Refinement |
88
Voted
MICCAI
2007
Springer
15 years 10 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
15 years 10 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 ...
ICSE
2008
IEEE-ACM
15 years 10 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...
106
click to vote
CADE
2007
Springer
15 years 10 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...
182
click to vote
VLDB
2006
ACM
15 years 10 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...