3384 search results - page 246 / 677 » More Testable Properties |
173
click to vote
WABI
2001
Springer
15 years 11 months ago
2001
Springer
We derive a branch-and-bound algorithm to find an optimal inversion median of three signed permutations. The algorithm prunes to manageable size an extremely large search tree usi...
178
click to vote
CA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a sculptured solid modeling system founded upon dynamic Catmull-Clark subdivision-based solids of arbitrary topology. Our primary contribution is that we integ...
182
click to vote
DCC
2000
IEEE
15 years 11 months ago
2000
IEEE
Multiple description lattice vector quantization (MDLVQ) is a technique for two-channel multiple description coding. We observe that MDLVQ, in the form introduced by Servetto, Vai...
169
click to vote
ICCD
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper; we present a noise-immune highperformance static circuit family suitable for low-voltage operation called skewed logic. Skewed logic circuits, in comparison with Do...
164
click to vote
ISWC
2000
IEEE
15 years 11 months ago
2000
IEEE
If a wearable device can register what the wearer is currently doing, it can anticipate and adjust its behavior to avoid redundant interaction with the user. However, the relevanc...