10899 search results - page 234 / 2180 » The GP Programming System |
135
Voted
ECAI
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
156
click to vote
APSEC
1999
IEEE
15 years 9 months ago
1999
IEEE
CORBA (Common Object Request Broker Architecture) is widely perceived as an emerging platform for distributed systems development. In this paper, we discuss CORBA's testing, ...
150
click to vote
JLP
2010
15 years 6 days ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
112
click to vote
ICSEA
2007
IEEE
15 years 11 months ago
2007
IEEE
The integration of query languages and programming languages is still a central problem of database research. In particular, issues with respect to the impedance mismatch are of i...
164
click to vote
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
Self-Modifying Cartesian Genetic Programming (SMCGP) is a form of genetic programming that integrates developmental (self-modifying) features as a genotype-phenotype mapping. This...