17920 search results - page 200 / 3584 » Recentering computer science |
144
Voted
TLCA
2007
Springer
15 years 11 months ago
2007
Springer
Inspired by recent work on normalisation by evaluation for sums, we propose a normalising and confluent extensional rewriting theory for the simply-typed λ-calculus extended with...
119
click to vote
FOCS
2005
IEEE
15 years 10 months ago
2005
IEEE
In joint work with ´Eva Tardos in 1995, we asked whether it was possible to obtain a polynomial-time, polylogarithmic approximation algorithm for the disjoint paths problem in th...
120
Voted
ACMSE
2004
ACM
15 years 10 months ago
2004
ACM
Sensor networks consist of resource-constrained sensors operating in a variety of environments. Given the severe constraints on these sensors, it is a particularly challenging pro...
124
Voted
SOFSEM
2004
Springer
15 years 10 months ago
2004
Springer
Ontology learning from texts has recently been proposed as a new technology helping ontology designers in the modelling process. Discovery of non–taxonomic relations is understoo...
136
click to vote
RANDOM
2001
Springer
15 years 9 months ago
2001
Springer
We study integrated prefetching and caching in single and parallel disk systems. A recent approach used linear programming to solve the problem. We show that integrated prefetching...