564 search results - page 30 / 113 » Corner cutting systems |
ICAT
2007
IEEE
14 years 2 months ago
2007
IEEE
Although an immersive projection display provides a high quality of presence, it requires a large space and a high cost to equip the facility. This paper proposes a room-sized imm...
MICCAI
2007
Springer
14 years 8 months ago
2007
Springer
We simulate the intravasation of liquid distention media into the systemic circulation as it occurs during hysteroscopy and transurethral resection of the prostate. A linear networ...
CRV
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we propose a novel method for the automatic segmentation of a foreground layer from a natural scene in real time by fusing infrared, color and edge information. Thi...
CC
2007
Springer
14 years 1 months ago
2007
Springer
Optimizing programs for modern multiprocessor or vector platforms is a major important challenge for compilers today. In this work, we focus on one challenging aspect: the SIMD ALI...
ICFP
2000
ACM
14 years 3 days ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...