Sciweavers

94 search results - page 15 / 19
» Rule Discovery Technique Using Genetic Programming Combined ...
Sort
View
FGCS
1992
107views more  FGCS 1992»
13 years 8 months ago
Logic Programming, Abduction and Probability
Probabilistic Horn abduction is a simple framework to combine probabilistic and logical reasoning into a coherent practical framework. The numbers can be consistently interpreted ...
David Poole
KDD
2003
ACM
149views Data Mining» more  KDD 2003»
14 years 7 months ago
Knowledge-based data mining
We describe techniques for combining two types of knowledge systems: expert and machine learning. Both the expert system and the learning system represent information by logical d...
Søren Damgaard, Sholom M. Weiss, Shubir Kap...
AIPS
2003
13 years 8 months ago
A Multi-Heuristic GA for Schedule Repair in Precast Plant Production
A multi-heuristic schedule repair model for schedule conflict resolution is presented and its application in repairing the schedules of a prefabrication plant is described in this...
Weng Tat Chan, Tan Heng Wee
ECEASST
2006
96views more  ECEASST 2006»
13 years 7 months ago
Optimizing Pattern Matching Compilation by Program Transformation
Motivated by the promotion of rewriting techniques and their use in major industrial applications, we have designed Tom: a pattern matching layer on top of conventional programming...
Emilie Balland, Pierre-Etienne Moreau
POPL
2003
ACM
14 years 7 months ago
Discovering affine equalities using random interpretation
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
Sumit Gulwani, George C. Necula