1982 search results - page 283 / 397 » Parametricity and dependent types |
SMI
2005
IEEE
15 years 3 months ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
WISE
2005
Springer
15 years 3 months ago
2005
Springer
The Web is a distributed network of information sources where the individual sources are autonomously created and maintained. Consequently, syntactic and semantic heterogeneity of ...
SBCCI
2005
ACM
15 years 3 months ago
2005
ACM
Gate oxide tunneling current Igate and sub-threshold current Isub dominate the leakage of designs. The latter depends on threshold voltage Vth while Igate vary with the thickness ...
SIGMETRICS
2005
ACM
15 years 3 months ago
2005
ACM
This paper considers the basic problem of “how accurate can we make Internet performance measurements”. The answer is somewhat counter-intuitive in that there are bounds on th...
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
In vague queries, a user enters a value that represents some real world object and expects as the result the set of database values that represent this real world object even with ...