Sciweavers

1860 search results - page 85 / 372
» Automatic Generation of Search Engines
Sort
View
192
Voted
CPAIOR
2010
Springer
15 years 1 months ago
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
Peter J. Stuckey
CEC
2007
IEEE
15 years 10 months ago
A Memetic Algorithm for test data generation of Object-Oriented software
— Generating test data for Object-Oriented (OO) software is a hard task. Little work has been done on the subject, and a lot of open problems still need to be investigated. In th...
Andrea Arcuri, Xin Yao
131
Voted
3DIM
2005
IEEE
15 years 9 months ago
Automatic Registration of Range Images Based on Correspondence of Complete Plane Patches
One of the difficulties in registering two range images scanned by 3D laser scanners is how to get a correct correspondence over the two images automatically. In this paper, we pr...
Wenfeng He, Wei Ma, Hongbin Zha
ICSE
2010
IEEE-ACM
15 years 8 months ago
Adaptive bug isolation
Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is most...
Piramanayagam Arumuga Nainar, Ben Liblit
GECCO
2000
Springer
158views Optimization» more  GECCO 2000»
15 years 7 months ago
Grammar based function definition in Grammatical Evolution
We describe the use of grammars as an approach to automatic function definition in Grammatical Evolution. The automatic generation of functions allows the evolution of both the fu...
Michael O'Neill, Conor Ryan