515 search results - page 32 / 103 » Efficient Logic Optimization Using Regularity Extraction |
150
click to vote
DATAMINE
2010
15 years 2 months ago
2010
We address the combinatorial optimization problem of finding the most influential nodes on a large-scale social network for two widely-used fundamental stochastic diffusion models...
135
Voted
TSP
2010
14 years 9 months ago
2010
Abstract--This paper deals with the reconstruction of T1-T2 correlation spectra in nuclear magnetic resonance relaxometry. The ill-posed character and the large size of this invers...
133
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
173
click to vote
HPCA
2003
IEEE
16 years 2 months ago
2003
IEEE
As the level of chip integration continues to advance at a fast pace, the desire for efficient interconnects-whether on-chip or off-chip--is rapidly increasing. Traditional interc...
127
click to vote
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
Georeference is a basic function of remote sensing data processing. Geo-corrected remote sensing data is an important source data for Geographic Information Systems (GIS) and other...