1722 search results - page 290 / 345 » Guided Genetic Programming |
JUCS
2006
13 years 9 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
IVC
2007
13 years 9 months ago
2007
The three-dimensional reconstruction of real objects is an important topic in computer vision. Most of the acquisition systems are limited to reconstruct a partial view of the obj...
AIL
2004
13 years 9 months ago
2004
This article describes an ontological model of norms. The basic assumption is that a substantial part of a legal system is grounded on the concept of agency. Since a legal system a...
INFORMS
2000
13 years 9 months ago
2000
Time-indexed formulations for machine scheduling problems have received a great deal of attention; not only do the linear programming relaxations provide strong lower bounds, but ...
ETS
2002
IEEE
13 years 8 months ago
2002
IEEE
Both academic institutions and businesses are exploring a shift from face-to-face instruction to distance learning. However, without the foundation of a systematic instructional d...