Sciweavers

511 search results - page 44 / 103
» Reconstruction Using Witness Complexes
Sort
View
CIKM
2008
Springer
13 years 10 months ago
Linear time membership in a class of regular expressions with interleaving and counting
The extension of Regular Expressions (REs) with an interleaving (shuffle) operator has been proposed in many occasions, since it would be crucial to deal with unordered data. Howe...
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
STACS
2009
Springer
14 years 3 months ago
Strong Completeness of Coalgebraic Modal Logics
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
Lutz Schröder, Dirk Pattinson
TPCG
2003
IEEE
14 years 2 months ago
Demosaicing of Colour Images Using Pixel Level Data-Dependent Triangulation
Single-chip digital cameras use an array of broadspectrum Charge-Coupled Devices (CCD) overlayed with a colour filter array. The filter layer consists of transparent patches of ...
Dan Su, Philip Willis
ICIP
2001
IEEE
14 years 10 months ago
Robust estimation of depth and motion using stochastic approximation
The problemof structurefrom motion (SFM)is to extract the three-dimensionalmodel of a moving scene from a sequence of images. Though two images are sufficient to produce a 3D reco...
Rama Chellappa, Amit K. Roy Chowdhury
ICASSP
2009
IEEE
14 years 3 months ago
Distributed compressive video sensing
Low-complexity video encoding has been applicable to several emerging applications. Recently, distributed video coding (DVC) has been proposed to reduce encoding complexity to the...
Li-Wei Kang, Chun-Shien Lu