6978 search results - page 1174 / 1396 » On Proofs in System P |
165
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
Assessment of normal and abnormal anatomical variability requires a coordinate system enabling inter-subject comparison. We present a binary minimum entropy criterion to assess afï...
162
click to vote
FCCM
2000
IEEE
15 years 11 months ago
2000
IEEE
Architectures that implement the Internet Protocol Security (IPSec) standard have to meet the enormous computing demands of cryptographic algorithms. In addition, IPSec architectu...
140
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
1 In the last few years, the electronic marketplace has witnessed an exponential growth in worth and size, and projections are for this trend to intensify in coming years. Yet, th...
181
click to vote
SIGMETRICS
1999
ACM
15 years 11 months ago
1999
ACM
This paper examines NFS sensitivity to performance characteristics of emerging networks. We adopt an unusual method of inserting controlled delays into live systems to measure sen...
152
click to vote
VRST
1999
ACM
15 years 11 months ago
1999
ACM
Inhabited Television takes traditional broadcast television and combines it with multiuser virtual reality, to give new possibilities for interaction and participation in and arou...