373 search results - page 47 / 75 » Learning Arithmetic Circuits |
139
click to vote
DATE
2007
IEEE
16 years 8 days ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
177
click to vote
IJET
2007
15 years 5 months ago
2007
— Our main objective is to model the knowledge used by learners in order to solve problems about electricity. We are searching means to do a diagnosis about student’s activity ...
152
click to vote
EPIA
2009
Springer
16 years 15 days ago
2009
Springer
Inductive Logic Programming (ILP) [1] systems are general purpose learners that have had significant success on solving a number of relational problems, particularly from the biol...
169
click to vote
CRYPTO
2005
Springer
15 years 11 months ago
2005
Springer
Motivated by database search problems such as partial match or nearest neighbor, we present secure multiparty computation protocols for constant-depth circuits. Specifically, for ...
157
click to vote
DAC
2005
ACM
15 years 7 months ago
2005
ACM
The need to reuse the performance macromodels of an analog circuit topology challenges existing regression based modeling techniques. A model of good reusability should have a num...