26472 search results - page 5040 / 5295 » Interactive |
177
click to vote
MOBICOM
1996
ACM
15 years 10 months ago
1996
ACM
Wireless is becoming a popular way to connect mobile computers to the Internet and other networks. The bandwidth of wireless links will probably always be limited due to propertie...
198
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...
195
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...
160
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
153
click to vote
COST
1994
Springer
15 years 10 months ago
1994
Springer
Existing and upcoming distributed multimedia applications require highly diverse services to satisfy their communication needs. Service integrated communication systems should be c...