17329 search results - page 3359 / 3466 » Improved non-approximability results |
164
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
We explore the possibility of a logic where a conclusion substantially improves over its premise(s): Specifically, we intend to rule out inference steps such that the premise conv...
185
click to vote
NGC
2000
Springer
15 years 10 months ago
2000
Springer
Several architectures have been recently proposed to support IP mobility. Most studies, however, show that current protocols, in general, fall short from satisfying the performanc...
181
click to vote
RECOMB
2000
Springer
15 years 10 months ago
2000
Springer
In physical mapping, one orders a set of genetic landmarks or a library of cloned fragments of DNA according to their position in the genome. Our approach to physical mapping divi...
187
click to vote
RT
2000
Springer
15 years 10 months ago
2000
Springer
Synthetic images can be parameterized by more than time or viewpoint. We generalize image-based rendering by exploiting texture-mapping graphics hardware to decompress ray-traced ...
168
click to vote
SAS
2000
Springer
15 years 10 months ago
2000
Springer
As compilers increasingly rely on optimizations to achieve high performance, the effectiveness of source level debuggers for optimized code continues to falter. Even if values of s...