3136 search results - page 263 / 628 » Genetic programming theory |
179
click to vote
VL
1991
IEEE
15 years 9 months ago
1991
IEEE
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
169
Voted
IWFM
2000
15 years 7 months ago
2000
Several recent publications have exhibited relationships between the theories of logic programming and of neural networks. We consider a general approach to representing normal lo...
188
click to vote
IJCAI
1997
15 years 7 months ago
1997
We propose a method of compiling circumscription into Extended Logic Programs which is widely applicable to a class of parallel circumscription as well as a class of prioritized c...
220
click to vote
PTS
2010
15 years 3 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
162
click to vote
PLDI
2011
ACM
14 years 8 months ago
2011
ACM
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...