8917 search results - page 1401 / 1784 » Abstraction in Algorithm Animation |
146
click to vote
IPMI
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. Active Shape Models are a popular method for segmenting three-dimensional medical images. To obtain the required landmark correspondences, various automatic approaches ha...
134
click to vote
IPMI
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. This paper presents a novel method of optimizing pointbased correspondence among populations of human cortical surfaces by combining structural cues with probabilistic co...
144
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
144
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
134
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
As the largest online marketplace, eBay strives to promote its inventory throughout the Web via different types of online advertisement. Contextually relevant links to eBay assets...