373 search results - page 48 / 75 » Learning Arithmetic Circuits |
105
Voted
FOCS
1989
IEEE
15 years 4 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”...
144
Voted
FROCOS
2011
Springer
14 years 5 days 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...
90
Voted
ISMVL
2007
IEEE
15 years 6 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...
93
Voted
GLVLSI
2005
IEEE
15 years 6 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...
100
click to vote
ISCAS
1999
IEEE
15 years 4 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...