8695 search results - page 316 / 1739 » Making the Complex Simple |
190
click to vote
SIBGRAPI
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a simple and robust algorithm for estimating the local geometric properties of intersection curves, namely the tangent, normal, binormal, curvature and torsion ...
146
click to vote
TPHOL
1992
IEEE
15 years 10 months ago
1992
IEEE
The HOL system is an LCF-style mechanized proof-assistant for conducting proofs in higher order logic. This paper discusses a proposal to extend the primitive basis of the logic un...
145
click to vote
DFT
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a model for computing the probability of a parametric failure due to a spot defect. The analysis is based on electromigration in conductors under unidirectional current...
129
click to vote
SODA
2000
ACM
15 years 8 months ago
2000
ACM
In this note we describe a general technique for making treestructured dynamic dictionaries adapt to be competitive with the most efficient implementation, by using potential ener...
184
click to vote
FORTE
1992
15 years 8 months ago
1992
A real-time extension of ccs is described, based on true concurrency semantics and a determination to make composition the sole arbiter of real-time behaviour. The resultant calcu...