3482 search results - page 211 / 697 » In Praise of Numerical Computation |
173
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
In this paper we describe a stochastic integral equation method for computing the mean value and the variance of capacitance of interconnects with random surface roughness. An ens...
163
click to vote
ARITH
2009
IEEE
16 years 1 months ago
2009
IEEE
Datapath synthesis for standard-cell design goes through extraction of arithmetic operations from RTL code, high-level arithmetic optimizations and netlist generation. Numerous ar...
162
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Friedman showed how to turn a classical proof of a Σ0 1 formula into an intuitionistic proof of the same formula, thus giving an effective method to extract witnesses from classi...
143
click to vote
ICPR
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper addresses the relationship between the Visual Assessment of cluster Tendency (VAT) algorithm and Dunn’s cluster validity index. We present an analytical comparison in...
151
click to vote
ACIVS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Using cylindrical parameterization, the 3D mesh surface extracted from colon CT scan images is parameterized onto a cylinder, and afterwards visualized with a modified C...