192 search results - page 17 / 39 » Arithmetic Optimization Using Carry-Save-Adders |
142
click to vote
FPL
2009
Springer
15 years 9 months ago
2009
Springer
Restricted Boltzmann Machines (RBMs) — the building block for newly popular Deep Belief Networks (DBNs) — are a promising new tool for machine learning practitioners. However,...
139
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
152
click to vote
SAGA
2001
Springer
15 years 8 months ago
2001
Springer
We propose a generic, domain-independent local search method called adaptive search for solving Constraint Satisfaction Problems (CSP). We design a new heuristics that takes advan...
140
click to vote
COMPUTING
2007
15 years 4 months ago
2007
Hierarchical matrices (H-matrices) approximate matrices in a data-sparse way, and the approximate arithmetic for H-matrices is almost optimal. In this paper we present an algebrai...
125
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we present arithmetic real-coded variation operators tailored for time slot and turn optimization on TDMA-scheduled resources with evolutionary algorithms. Our opera...