8828 search results - page 1456 / 1766 » Formal methods in practice |
163
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
Optimal index assignment of multiple description lattice vector quantizer (MDLVQ) can be posed as a large-scale linear assignment problem. But is this expensive algorithmic approa...
172
click to vote
DCC
2001
IEEE
16 years 6 months ago
2001
IEEE
This paper studies quantization error in the context of Matching Pursuit coded streams and proposes a new coefficient quantization scheme taking benefit of the Matching Pursuit pr...
189
click to vote
CVPR
2009
IEEE
16 years 4 months ago
2009
IEEE
Detection and tracking of moving vehicles in airborne videos is a challenging problem. Many approaches have been proposed to improve motion segmentation on frameby-frame and pixel...
215
click to vote
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
Co-authorship networks, an important type of social networks, have been studied extensively from various angles such as degree distribution analysis, social community extraction a...
196
click to vote
ICWS
2009
IEEE
16 years 4 months ago
2009
IEEE
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...