4110 search results - page 688 / 822 » Efficient algorithms for the 2-gathering problem |
138
click to vote
DFT
2005
IEEE
15 years 10 months ago
2005
IEEE
The present paper proposes a new method for detecting arbitrary faults in a functional circuit when the set of codewords is limited and known in advance. The method is based on im...
112
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Virtual avatars in many applications are constructed manually or by a single speech-driven model which needs a lot of training data and long training time. It’s an essential pro...
121
Voted
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
—This paper deals with the problem of shot-change detection on H.264/AVC compressed video. As H.264/AVC employs several new coding tools, the statistic information of macroblock ...
159
click to vote
PCM
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, a new multiple description image coding scheme using directional lifting transform is proposed. The basic idea is to divide an image into two descriptions with quinc...
135
click to vote
SAT
2005
Springer
15 years 10 months ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...