373 search results - page 48 / 75 » Learning Arithmetic Circuits |
FOCS
1989
IEEE
13 years 11 months ago
1989
IEEE
In this paper, Boolean functions in ,4C0 are studied using harmonic analysis on the cube. The main result is that an ACO Boolean function has almost all of its “power spectrum”...
FROCOS
2011
Springer
12 years 7 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
ISMVL
2007
IEEE
14 years 1 months ago
2007
IEEE
Extending the ideas of Quantum Braitenberg Vehicles from [14], we present here a family of Lego robots controlled by multiple-valued quantum circuits. The robots have at most 6 de...
GLVLSI
2005
IEEE
14 years 1 months ago
2005
IEEE
We develop a neural network that learns to separate the nominal from the faulty instances of a circuit in a measurement space. We demonstrate that the required separation boundari...
ISCAS
1999
IEEE
13 years 12 months ago
1999
IEEE
An analog VLSI circuit used to model spectral shape analysis in the central auditory system is presented. Like the receptive fields of visual cortical neurons, the spectral respon...