1419 search results - page 269 / 284 » Notes on Formalizing Context |
139
click to vote
LCPC
2009
Springer
15 years 7 months ago
2009
Springer
This paper improves our previous research effort [1] by providing an efficient method for kernel loop unrolling minimisation in the case of already scheduled loops, where circular...
132
click to vote
PODS
2000
ACM
15 years 6 months ago
2000
ACM
In a variety of applications ranging from optimizing queries on alphanumeric attributes to providing approximate counts of documents containing several query terms, there is an in...
130
click to vote
CIKM
1994
Springer
15 years 6 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
113
click to vote
PLSA
1994
15 years 6 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
127
Voted
STOC
1993
ACM
15 years 6 months ago
1993
ACM
In this paper we study quantum computation from a complexity theoretic viewpoint. Our first result is the existence of an efficient universal quantum Turing machine in Deutsch’s...