3373 search results - page 468 / 675 » Linear transformations on codes |
159
Voted
VIS
2003
IEEE
16 years 4 months ago
2003
IEEE
In this paper, we present a space efficient algorithm for speeding up isosurface extraction. Even though there exist algorithms that can achieve optimal search performance to iden...
130
Voted
ICML
2001
IEEE
16 years 4 months ago
2001
IEEE
A single signal processing algorithm can be represented by many mathematically equivalent formulas. However, when these formulas are implemented in code and run on real machines, ...
265
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
124
click to vote
DCC
2010
IEEE
15 years 10 months ago
2010
IEEE
Current video coding schemes employ motion compensation to exploit the fact that the signal forms an auto-regressive process along the motion trajectory, and remove temporal redun...
142
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
Local features are widely used for content-based image retrieval and object recognition. We present an efficient method for encoding digital images suitable for local feature extr...