6274 search results - page 1034 / 1255 » From query complexity to computational complexity |
181
click to vote
IMC
2005
ACM
16 years 20 days ago
2005
ACM
The Domain Name System, DNS, is based on nameserver delegations, which introduce complex and subtle dependencies between names and nameservers. In this paper, we present results f...
167
click to vote
CIE
2005
Springer
16 years 19 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
175
click to vote
ERCIMDL
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. The Multivalent Document Model offers a practical, proven, nocompromises architecture for preserving digital documents of potentially any data format. We have implemented...
195
click to vote
EUROPAR
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
170
Voted
FIMH
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. In this paper we present a novel approach to the problem of spatiotemporal alignment of cardiac MR image sequences. This novel method has the ability to correct spatial m...