Sciweavers

7820 search results - page 1307 / 1564
» Formalization of Time and Space
Sort
View
SIGMOD
2010
ACM
144views Database» more  SIGMOD 2010»
15 years 11 months ago
Interactive visual exploration of neighbor-based patterns in data streams
We will demonstrate our system, called V iStream, supporting interactive visual exploration of neighbor-based patterns [7] in data streams. V istream does not only apply innovativ...
Di Yang, Zhenyu Guo, Zaixian Xie, Elke A. Rundenst...
ACSAC
1999
IEEE
15 years 11 months ago
Adding Availability to Log Services of Untrusted Machines
Uncorrupted log files are the critical system component for computer forensics in case of intrusion and for real time system monitoring and auditing. Protection from tampering wit...
Arianna Arona, Danilo Bruschi, Emilia Rosti
CGI
1999
IEEE
15 years 11 months ago
Volume Decimation of Irregular Tetrahedral Grids
Rendering highly complex models can be time and space prohibitive, and decimation is an important tool in providing simplifications. A decimated model may replace the original ent...
Allen Van Gelder, Vivek Verma, Jane Wilhelms
CHI
1999
ACM
15 years 11 months ago
Visualizing Implicit Queries for Information Management and Retrieval
In this paper, we describe the use of similarity metrics in a novel visual environment for storing and retrieving favorite web pages. The similarity metrics, called Implicit Queri...
Mary Czerwinski, Susan T. Dumais, George G. Robert...
ICFP
1999
ACM
15 years 11 months ago
Atomic Heap Transactions and Fine-grain Interrupts
Languages such as Java, ML, Scheme, and Haskell provide automatic storage management, that is, garbage collection. The two fundamental operations performed on a garbagecollected h...
Olin Shivers, James W. Clark, Roland McGrath
« Prev « First page 1307 / 1564 Last » Next »