Sciweavers

8874 search results - page 1678 / 1775
» A New Implementation of Automath
Sort
View
126
Voted
ASPLOS
2000
ACM
15 years 8 months ago
Architectural Support for Fast Symmetric-Key Cryptography
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 ...
Jerome Burke, John McDonald, Todd M. Austin
194
Voted
FMSP
2000
ACM
177views Formal Methods» more  FMSP 2000»
15 years 8 months ago
DSD: A schema language for XML
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...
Nils Klarlund, Anders Møller, Michael I. Sc...
181
Voted
SAC
2000
ACM
15 years 8 months ago
The Mobile Agent Technology to Support and to Access Museum Information
The global scenario put together by communication networks determines new opportunities towards the realization of Internetbased distributed services in many complex and composite...
Paolo Bellavista, Antonio Corradi, Andrea Tomasi
137
Voted
SIGGRAPH
2000
ACM
15 years 8 months ago
Conservative visibility preprocessing using extended projections
Visualization of very complex scenes can be significantly accelerated using occlusion culling. In this paper we present a visibility preprocessing method which efficiently compu...
Frédo Durand, George Drettakis, Joëlle...
127
Voted
SIGGRAPH
2000
ACM
15 years 8 months ago
The WarpEngine: an architecture for the post-polygonal age
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...
Voicu Popescu, John G. Eyles, Anselmo Lastra, Josh...
« Prev « First page 1678 / 1775 Last » Next »