6167 search results - page 937 / 1234 » Can Refinement be Automated |
123
click to vote
MICCAI
2006
Springer
16 years 5 months ago
2006
Springer
This paper addresses the problem of creating probabilistic brain atlases from manually labeled training data. We propose a general mesh-based atlas representation, and compare diff...
151
click to vote
MICCAI
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. Curves are often used as anatomical features to match surfaces that represent biological objects, such as the human brain. Automated and semi-automated methods for extrac...
132
click to vote
ICSE
2009
IEEE-ACM
16 years 5 months ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
137
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
There has recently been a great deal of interest in search? based test data generation, with many local and global search algorithms being proposed. However, to date, there has be...
116
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Automated localization of software bugs is one of the essential issues in debugging aids. Previous studies indicated that the evaluation history of program predicates may disclose...