Sciweavers

2191 search results - page 170 / 439
» Evolutionary testing of classes
Sort
View
SIGCSE
2008
ACM
169views Education» more  SIGCSE 2008»
15 years 3 months ago
APOGEE: automated project grading and instant feedback system for web based computing
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
Xiang Fu, Boris Peltsverger, Kai Qian, Lixin Tao, ...
AI
2005
Springer
15 years 3 months ago
: Compiling problem specifications into SAT
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
Marco Cadoli, Andrea Schaerf
EC
2000
171views ECommerce» more  EC 2000»
15 years 3 months ago
Building Blocks, Cohort Genetic Algorithms, and Hyperplane-Defined Functions
Building blocks are a ubiquitous feature at all levels of human understanding, from perception through science and innovation. Genetic algorithms are designed to exploit this prev...
John H. Holland
TEC
2012
195views Formal Methods» more  TEC 2012»
13 years 6 months ago
The Effects of Constant and Bit-Wise Neutrality on Problem Hardness, Fitness Distance Correlation and Phenotypic Mutation Rates
Kimura’s neutral theory of evolution has inspired researchers from the evolutionary computation community to incorporate neutrality into Evolutionary Algorithms (EAs) in the hop...
Riccardo Poli, Edgar Galván López
JMLR
2008
144views more  JMLR 2008»
15 years 3 months ago
Search for Additive Nonlinear Time Series Causal Models
Pointwise consistent, feasible procedures for estimating contemporaneous linear causal structure from time series data have been developed using multiple conditional independence ...
Tianjiao Chu, Clark Glymour