1982 search results - page 285 / 397 » Parametricity and dependent types |
ACMMSP
2004
ACM
15 years 3 months ago
2004
ACM
This work details a performance study of six different types of commodity memories in two commodity server nodes. A number of micro-benchmarks are used that measure low-level perf...
DOCENG
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we discuss how to present the result of searching elements of any type from XML documents relevant to some information need (relevance-oriented search). As the resu...
HT
2004
ACM
15 years 3 months ago
2004
ACM
A high quality of free movement, or mobility, is key to the accessibility, design, and usability of many ‘common-use’ hypermedia resources (Web sites) and key to good mobility...
COLT
2004
Springer
15 years 3 months ago
2004
Springer
Different formal learning models address different aspects of human learning. Below we compare Gold-style learning—interpreting learning as a limiting process in which the lear...
113
click to vote
EGPGV
2004
Springer
15 years 3 months ago
2004
Springer
We present a new parallel multiresolution volume rendering algorithm for visualizing large data sets. Using the wavelet transform, the raw data is first converted into a multires...