Sciweavers

1140 search results - page 96 / 228
» Progress on Certifying Algorithms
Sort
View
91
Voted
TCSV
2002
101views more  TCSV 2002»
15 years 10 days ago
A family of wavelet-based stereo image coders
Abstract--In this paper, we propose novel algorithms for stereoscopic image coding based on the hierarchical decomposition of stereo information. The proposed schemes, based on wav...
Nikolaos V. Boulgouris, Michael G. Strintzis
107
Voted
TCSV
2002
114views more  TCSV 2002»
15 years 10 days ago
Multicast and unicast real-time video streaming over wireless LANs
In this paper, we address the problem of real-time video streaming over wireless LANs for both unicast and multicast transmission. The wireless channel is modeled as a packet-erasu...
Abhik Majumdar, Daniel Grobe Sachs, Igor Kozintsev...
100
Voted
PR
2010
184views more  PR 2010»
14 years 11 months ago
Total variation, adaptive total variation and nonconvex smoothly clipped absolute deviation penalty for denoising blocky images
The total variation-based image denoising model has been generalized and extended in numerous ways, improving its performance in different contexts. We propose a new penalty func...
Aditya Chopra, Heng Lian
112
Voted
VL
2010
IEEE
160views Visual Languages» more  VL 2010»
14 years 11 months ago
Toward End-User Debugging of Machine-Learned Classifiers
Many machine-learning algorithms learn rules of behavior from individual end users, such as taskoriented desktop organizers and handwriting recognizers. These rules form a generat...
Todd Kulesza
100
Voted
SAT
2010
Springer
127views Hardware» more  SAT 2010»
14 years 10 months ago
Symmetry and Satisfiability: An Update
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...
Hadi Katebi, Karem A. Sakallah, Igor L. Markov