8874 search results - page 1685 / 1775 » A New Implementation of Automath |
112
Voted
VLDB
1999
ACM
15 years 7 months ago
1999
ACM
XML is fast emerging as the dominant standard for representing data in the World Wide Web. Sophisticated query engines that allow users to effectively tap the data stored in XML d...
133
Voted
VISUALIZATION
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper, we present a novel out-of-core technique for the interactive computation of isosurfaces from volume data. Our algorithm minimizes the main memory and disk space req...
193
Voted
SIGCOMM
1998
ACM
15 years 7 months ago
1998
ACM
Several recent proposals for an “active networks” architecture advocate the placement of user-defined computation within the network as a key mechanism to enable a wide range...
133
Voted
SIGOPSE
1998
ACM
15 years 7 months ago
1998
ACM
Modern virtual machines, such as Java and Inferno, are emerging as network computing s. While these virtual machines provide higher-level abstractions and more sophisticated servi...
132
Voted
SIGSOFT
1998
ACM
15 years 7 months ago
1998
ACM
Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding. However, the representations constructed by these tool...