Sciweavers

246 search results - page 16 / 50
» A novel approach to symbolic algebra
Sort
View
PPSN
1998
Springer
13 years 11 months ago
The Coevolution of Antibodies for Concept Learning
We present a novel approach to concept learning in which a coevolutionary genetic algorithm is applied to the construction of an immune system whose antibodies can discriminate bet...
Mitchell A. Potter, Kenneth A. De Jong
MVA
2000
154views Computer Vision» more  MVA 2000»
13 years 8 months ago
Feature-Based Real-Time Human Face Tracking Using Lie Algebras
We have developed a novel human face tracking system that operates in real time at the video frame rate without a need for any special hardware. Our approach is based on the use o...
Akira Inoue, Tom Drummond, Roberto Cipolla
PLDI
2010
ACM
14 years 15 days ago
Mixing type checking and symbolic execution
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Fos...
DAC
2004
ACM
14 years 8 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
GECCO
2005
Springer
166views Optimization» more  GECCO 2005»
14 years 28 days ago
The emulation of social institutions as a method of coevolution
This paper offers a novel approach to coevolution based on the sociological theory of symbolic interactionism. It provides a multi-agent computational model along with experimenta...
Deborah Vakas Duong, John J. Grefenstette