Sciweavers

3166 search results - page 142 / 634
» Translation By Structural Correspondences
Sort
View
102
Voted
LOGCOM
2007
72views more  LOGCOM 2007»
15 years 20 days 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
118
Voted
ICIP
2010
IEEE
14 years 10 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...
88
Voted
ICCV
2009
IEEE
14 years 10 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
113
Voted
JMLR
2010
128views more  JMLR 2010»
14 years 7 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...
126
Voted
ICIP
2005
IEEE
16 years 2 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