3108 search results - page 366 / 622 » The Elements of Computer Credibility |
208
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...
179
click to vote
APNOMS
2007
Springer
15 years 10 months ago
2007
Springer
Network topology discovery for the large IP networks is a very well studied area of research. Most of the previous work focus on improving the efficiency in terms of time and compl...
190
click to vote
CP
2000
Springer
15 years 10 months ago
2000
Springer
We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relation symbol and function symbols taken from an infi...
189
click to vote
ICDCS
1995
IEEE
15 years 10 months ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...
145
click to vote
APPROX
2008
Springer
15 years 8 months ago
2008
Springer
Let C be a class of probability distributions over a finite set . A function D : {0, 1}m is a disperser for C with entropy threshold k and error if for any distribution X in C s...