8874 search results - page 1678 / 1775 » A New Implementation of Automath |
126
Voted
ASPLOS
2000
ACM
15 years 8 months ago
2000
ACM
The emergence of the Internet as a trusted medium for commerce and communication has made cryptography an essential component of modern information systems. Cryptography provides ...
194
Voted
FMSP
2000
ACM
15 years 8 months ago
2000
ACM
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
181
Voted
SAC
2000
ACM
15 years 8 months ago
2000
ACM
The global scenario put together by communication networks determines new opportunities towards the realization of Internetbased distributed services in many complex and composite...
137
Voted
SIGGRAPH
2000
ACM
15 years 8 months ago
2000
ACM
Visualization of very complex scenes can be significantly accelerated using occlusion culling. In this paper we present a visibility preprocessing method which efficiently compu...
127
Voted
SIGGRAPH
2000
ACM
15 years 8 months ago
2000
ACM
We present the WarpEngine, an architecture designed for realtime image-based rendering of natural scenes from arbitrary viewpoints. The modeling primitives are real-world images w...