5232 search results - page 40 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
CAV
2000
Springer
13 years 11 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
EUROGP
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. In this paper we continue our study on adaptive genetic programming. We use Stepwise Adaptation of Weights (saw) to boost performance of a genetic programming algorithm o...
ICCV
1995
IEEE
13 years 11 months ago
1995
IEEE
A system has been developed to acquire, extend and re ne 3D geometric site models from aerial imagery. This system hypothesize potential building roofs in an image, automatically ...
IGPL
2010
13 years 6 months ago
2010
Researchers studying complex cognition have grown increasingly interested in mapping symbolic cognitive architectures onto subsymbolic brain models. Such a mapping seems essential...
DSD
2004
IEEE
13 years 11 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...