4480 search results - page 234 / 896 » Prototyping Completion with Constraints Using Computational ... |
186
click to vote
GECCO
1999
Springer
15 years 10 months ago
1999
Springer
This paper uses the GP paradigm to evolve linear genotypes (individuals) that consist of Java byte code. Our prototype GP system is implemented in Java using a standard Java devel...
158
click to vote
ICLP
1992
Springer
15 years 10 months ago
1992
Springer
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...
235
click to vote
DLOG
2011
14 years 10 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
178
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
Over the course of this decade, uniprocessor chips have given way to multi-core chips which have become the primary building blocks of today's computer systems. The presence o...
174
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
With the success of Mars Pathfinder's Sojourner rover, a new era of planetary exploration has opened, with demand for highly capable mobile robots. These robots must be able ...