Sciweavers

4744 search results - page 500 / 949
» Connected Computing
Sort
View
178
Voted
ICIP
2010
IEEE
15 years 4 months ago
View synthesis based on Conditional Random Fields and graph cuts
We propose a novel method to synthesize intermediate views from two stereo images and disparity maps that is robust to errors in disparity map. The proposed method computes a plac...
Lam C. Tran, Christopher J. Pal, Truong Q. Nguyen
LICS
2010
IEEE
15 years 4 months ago
A Sound and Complete Calculus for Finite Stream Circuits
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
Stefan Milius
SAT
2010
Springer
127views Hardware» more  SAT 2010»
15 years 4 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
SOCIALCOM
2010
15 years 4 months ago
A Private and Reliable Recommendation System for Social Networks
Abstract--With the proliferation of internet-based social networks into our lives, new mechanisms to control the release and use of personal data are required. As a step toward thi...
T. Ryan Hoens, Marina Blanton, Nitesh V. Chawla
ICASSP
2009
IEEE
15 years 4 months ago
Adaptive predistortion of nonlinear Volterra systems using Spectral Magnitude Matching
Digital compensation of nonlinear systems is an important topic in many practical applications. This paper considers the problem of predistortion of nonlinear systems described us...
Emad Abd-Elrady, Li Gan, Gernot Kubin