19700 search results - page 3712 / 3940 » DNA-Based Computation Times |
211
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
We present a real-time stereoscopic video-see-through augmented reality (AR) system applied to the medical procedure known as ultrasound-guided needle biopsy of the breast. The AR...
216
click to vote
SPAA
1996
ACM
15 years 10 months ago
1996
ACM
Several recent papers have proposed or analyzed optimal algorithms to route all-to-all personalizedcommunication (AAPC) over communication networks such as meshes, hypercubes and ...
205
click to vote
TLCA
1997
Springer
15 years 10 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...
178
click to vote
ICDT
2010
ACM
15 years 10 months ago
2010
ACM
Relational data exchange deals with translating a relational database instance over some source schema into a relational database instance over some target schema, according to a ...
184
click to vote
SI3D
1992
ACM
15 years 10 months ago
1992
ACM
Recent advances in software and hardware technology have made direct ray-traced volume rendering of 3-d scalar data a feasible and effective method for imaging of the data's ...