Sciweavers

4299 search results - page 387 / 860
» Concurrent Test Generation
Sort
View
VL
2008
IEEE
111views Visual Languages» more  VL 2008»
15 years 11 months ago
Test-driven goal-directed debugging in spreadsheets
We present an error-detection and -correction approach for spreadsheets that automatically generates questions about input/output pairs and, depending on the feedback given by the...
Robin Abraham, Martin Erwig
ICIAR
2009
Springer
15 years 9 months ago
Abnormal Behavior Recognition Using Self-Adaptive Hidden Markov Models
A self-adaptive Hidden Markov Model (SA-HMM) based framework is proposed for behavior recognition in this paper. In this model, if an unknown sequence cannot be classified into an...
Jun Yin, Yan Meng
CP
2006
Springer
15 years 8 months ago
A New Algorithm for Sampling CSP Solutions Uniformly at Random
The paper presents a method for generating solutions of a constraint satisfaction problem (CSP) uniformly at random. The main idea is to express the CSP as a factored probability d...
Vibhav Gogate, Rina Dechter
GECCO
2000
Springer
104views Optimization» more  GECCO 2000»
15 years 8 months ago
Quadratic Bloat in Genetic Programming
In earlier work we predicted program size would grow in the limit at a quadratic rate and up to fty generations we measured bloat O(generations1:2;1:5). On two simple benchmarks w...
William B. Langdon
140
Voted
IKE
2004
15 years 6 months ago
Analogy and Deduction for Knowledge Discovery
Analogy-based hypothesis generation is a promising technique for knowledge discovery. However, some hypotheses generated are nonsensical. This paper describes a two-phased method ...
Jim Reynolds, Adam Pease, John Li