403 search results - page 70 / 81 » Contracts for higher-order functions |
3DIM
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper addresses a registration refinement problem and presents an accurate and fast Point-to-(Tangent) Plane technique. Point-to-Plane approach is known to be very accurate ...
DANCE
2002
IEEE
15 years 4 months ago
2002
IEEE
— Active Networks, being programmable, promise greater flexibility than current networks. Programmability, however, may introduce safety and security risks. This paper describes...
EH
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper reports on the results of our recent NASA SBIR contract, “Autonomous Self-Repairing Circuits,” in which we developed a novel approach to fault-tolerant circuit synt...
MICRO
2002
IEEE
15 years 4 months ago
2002
IEEE
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
ICPR
2000
IEEE
15 years 4 months ago
2000
IEEE
Methods for automatic detection of left ventricular endocardium in echocardiograms are required to quantitatively evaluate the functional performance of the left ventricle. This s...