3431 search results - page 595 / 687 » A new instructional operating system |
152
click to vote
KDD
1998
ACM
15 years 10 months ago
1998
ACM
For a wide variety of classification algorithms, scalability to large databases can be achieved by observing that most algorithms are driven by a set of sufficient statistics that...
146
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper describes the design and implementation of the virtual memory-mapped communicationmodel (VMMC) on a Myrinet network of PCI-based PCs. VMMC has been designed and impleme...
158
click to vote
TPHOL
1994
IEEE
15 years 10 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
251
click to vote
SI3D
1992
ACM
15 years 10 months ago
1992
ACM
Direct volume rendering is a computationally intensive operation that has become a valued and often preferred visualization tool. For maximal data comprehension, interactive manip...
175
click to vote
VLDB
1992
ACM
15 years 10 months ago
1992
ACM
Research in temporal databases has mainly focused on defining temporal data models by extending existing models, and developing access structures for temporal data. Little has bee...