3731 search results - page 613 / 747 » cases 2006 |
124
Voted
DKE
2006
15 years 23 days ago
2006
Previous work in change detection to XML documents is not suitable for detecting the changes to large XML documents as it requires a lot of memory to keep the two versions of XML ...
119
Voted
DPD
2006
15 years 23 days ago
2006
Contemporary long-term storage devices feature powerful embedded processors and sizeable memory buffers. Active Storage Devices (ASD) is the hard disk technology that makes use of ...
92
Voted
ECCC
2006
15 years 23 days ago
2006
We investigate the computational complexity of finding an element of a permutation group H Sn with a minimal distance to a given Sn, for different metrics on Sn. We assume that...
102
Voted
ECCC
2006
15 years 23 days ago
2006
We give new constructions of randomness extractors and lossless condensers that are optimal to within constant factors in both the seed length and the output length. For extractor...
117
Voted
ENTCS
2006
15 years 22 days ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...