10038 search results - page 1975 / 2008 » Model Checking for Managers |
VISUALIZATION
1996
IEEE
14 years 2 months ago
1996
IEEE
We present a method for producing real-time volume visualizations of continuously captured, arbitrarily-oriented 2D arrays (slices) of data. Our system constructs a 3D representat...
SIGIR
1996
ACM
14 years 2 months ago
1996
ACM
Information explosion across the Internet and elsewhere offers access to an increasing number of document collections. In order for users to e ectively access these collections, i...
NGITS
1997
Springer
14 years 2 months ago
1997
Springer
We propose a new algorithm, called Stripe-join, for performing a join given a join index. Stripe-join is inspired by an algorithm called \Jive-join" developed by Li and Ross....
FODO
1989
Springer
14 years 1 months ago
1989
Springer
d Abstract) Michael Rabin Aiken Computation Laboratory Harvard University Cambridge, MA 02138 J. D. Tygar School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213...
WMRD
1990
14 years 1 months ago
1990
Ficus is a replicated general ling environment for Unix intended to scale to very large nationwide networks. The system employs an optimistic one copy availability" model in ...