Sciweavers

1175 search results - page 145 / 235
» A scalable method for the generation of small test sets
Sort
View
JAIR
1998
97views more  JAIR 1998»
13 years 9 months ago
The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
Oleg Ledeniov, Shaul Markovitch
ICDAR
2007
IEEE
14 years 1 months ago
Iterated Document Content Classification
We report an improved methodology for training classifiers for document image content extraction, that is, the location and segmentation of regions containing handwriting, machine...
Chang An, Henry S. Baird, Pingping Xiu
ICSE
2008
IEEE-ACM
14 years 9 months ago
On the automation of fixing software bugs
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
Andrea Arcuri
MICCAI
2006
Springer
14 years 10 months ago
An Approach for the Automatic Cephalometric Landmark Detection Using Mathematical Morphology and Active Appearance Models
Cephalometric analysis of lateral radiographs of the head is an important diagnosis tool in orthodontics. Based on manually locating specific landmarks, it is a tedious, time-consu...
Mariano Alcañiz Raya, Sylvia Rueda
PAMI
2008
215views more  PAMI 2008»
13 years 9 months ago
Evaluating Shape Correspondence for Statistical Shape Analysis: A Benchmark Study
This paper introduces a new benchmark study to evaluate the performance of landmark-based shape correspondence used for statistical shape analysis. Different from previous shape-co...
Brent C. Munsell, Pahal Dalal, Song Wang