1511 search results - page 83 / 303 » Relational Parametricity for Computational Effects |
131
click to vote
AMCS
2010
15 years 4 months ago
2010
satisfactory network connectivity have dominated this line of research and abstracted away from the mathematical description of the physical processes underlying the observed pheno...
159
click to vote
TIP
2002
15 years 4 months ago
2002
Local curvature represents an important shape parameter of space curves which are well described by differential geometry. We have developed an estimator for local curvature of spa...
161
click to vote
TIT
2010
14 years 11 months ago
2010
Abstract--The Gaussian, three-node relay channel with orthogonal receive components (i.e., the transmitted signals from the source and the relay do not interfere with each other) i...
143
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
The use of surface harmonics for rigid and nonrigid shape description is well known. In this paper we define a set of complete hemispherical harmonic basis functions on a hemisph...
165
click to vote
VTS
2000
IEEE
15 years 9 months ago
2000
IEEE
The performance of deep sub-micron designs can be affected by various parametric variations, manufacturing defects, noise or even modeling errors that are all statistical in natur...