Sciweavers

3166 search results - page 142 / 634
» Translation By Structural Correspondences
Sort
View
LOGCOM
2007
72views more  LOGCOM 2007»
15 years 6 months ago
Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5
We begin by showing how to faithfully encode the Classical Modal Display Logic (CMDL) of Wansing into the Calculus of Structures (CoS) of Guglielmi. Since every CMDL calculus enjo...
Rajeev Goré, Alwen Tiu
ICIP
2010
IEEE
15 years 4 months ago
Image modeling and enhancement via structured sparse model selection
An image representation framework based on structured sparse model selection is introduced in this work. The corresponding modeling dictionary is comprised of a family of learned ...
Guoshen Yu, Guillermo Sapiro, Stéphane Mall...
ICCV
2009
IEEE
15 years 4 months ago
Structure and kinematics triangulation with a rolling shutter stereo rig
We describe a spatio-temporal triangulation method to be used with rolling shutter cameras. We show how a single pair of rolling shutter images enables the computation of both str...
Omar Ait-Aider, François Berry
JMLR
2010
128views more  JMLR 2010»
15 years 1 months ago
Learning Causal Structure from Overlapping Variable Sets
We present an algorithm name cSAT+ for learning the causal structure in a domain from datasets measuring different variable sets. The algorithm outputs a graph with edges correspo...
Sofia Triantafilou, Ioannis Tsamardinos, Ioannis G...
ICIP
2005
IEEE
16 years 8 months ago
Spatiotemporal-chromatic structure of natural scenes
We investigate the implications of a unified spatiotemporal-chromatic basis for compression and reconstruction of image sequences. Different adaptive methods (PCA and ICA) are app...
Steven Bergner, Mark S. Drew