3806 search results - page 420 / 762 » The Power of Process |
159
click to vote
BIBE
2000
IEEE
15 years 11 months ago
2000
IEEE
—Differential interference contrast (DIC) microscopy is a powerful visualization tool used to study live biological cells. Its use, however, has been limited to qualitative obser...
210
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...
162
Voted
VR
2000
IEEE
15 years 11 months ago
2000
IEEE
When a projector is oblique with respect to a planar displaysurface, it creates keystoning and the projected imageis distorted. We present a rendering technique to display perspec...
150
Voted
ARITH
1999
IEEE
15 years 11 months ago
1999
IEEE
In modern computers, the floating point unit is the part of the processor delivering the highest computing power and getting most attention from the design team. Performance of an...
174
Voted
CSL
1999
Springer
15 years 11 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...