1421 search results - page 256 / 285 » The First and Second Max-SAT Evaluations |
DAC
1998
ACM
14 years 29 days ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
SIGMOD
1998
ACM
14 years 29 days ago
1998
ACM
In this paper, we propose the Pyramid-Technique, a new indexing method for high-dimensional data spaces. The PyramidTechnique is highly adapted to range query processing using the...
VISUALIZATION
1997
IEEE
14 years 28 days ago
1997
IEEE
Volume rendering is a valuable and important technique for scientific visualization. One well known application area is the reconstruction and visualization of output from medica...
UIST
1997
ACM
14 years 27 days ago
1997
ACM
This paper explores techniques for evaluating and improving immersion in Desktop Virtual Reality (VR). Three experiments are reported which extend findings on immersion in VR repo...
ICPP
1990
IEEE
14 years 23 days ago
1990
IEEE
As multiprocessors are scaled beyond single bus systems, there is renewed interest in directory-based cache coherence schemes. These schemes rely on a directory to keep track of a...