1982 search results - page 285 / 397 » Parametricity and dependent types |
139
click to vote
ACMMSP
2004
ACM
15 years 11 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...
162
click to vote
DOCENG
2004
ACM
15 years 11 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...
176
click to vote
HT
2004
ACM
15 years 11 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...
173
click to vote
COLT
2004
Springer
15 years 11 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...
195
click to vote
EGPGV
2004
Springer
15 years 11 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...