7393 search results - page 364 / 1479 » Synthesis-for-testability using transformations |
137
click to vote
PCM
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we propose a system generating free-viewpoint video using multiple cameras and a PC-cluster in real-time. Our system firstly reconstructs a shape model of objects b...
131
click to vote
ICIP
1997
IEEE
15 years 9 months ago
1997
IEEE
lye propose a lossy image coding scheme based on the recently introduced even-stacked cosine modulated filter banks (CSIFBs) that allow linear phase filters in all channels. We des...
137
Voted
CL
2000
Springer
15 years 8 months ago
2000
Springer
We use Kleene algebra with tests to verify a wide assortment of common compiler optimizations, including dead code elimination, common subexpression elimination, copy propagation,...
159
click to vote
ICIP
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper describes a supervised segmentation algorithm which draws inspiration from recent advances in non-parametric texture synthesis. A set of example images which have been ...
157
click to vote
ACL
2006
15 years 6 months ago
2006
This paper designs a novel lexical hub to disambiguate word sense, using both syntagmatic and paradigmatic relations of words. It only employs the semantic network of WordNet to c...