Sciweavers

3954 search results - page 43 / 791
» Image-based Model Completion
Sort
View
153
Voted
ICCV
2009
IEEE
16 years 4 months ago
Complete Multi-View Reconstruction of Dynamic Scenes from Probabilistic Fusion of Narrow and Wide Baseline Stereo
This paper presents a novel approach to achieve accurate and complete multi-view reconstruction of dynamic scenes (or 3D videos). 3D videos consist in sequences of 3D models in mot...
Tony Tung, Shohei Nobuhara, Takashi Matsuyama
LFCS
2009
Springer
15 years 8 months ago
Completeness Results for Memory Logics
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
Carlos Areces, Santiago Figueira, Sergio Mera
ISCA
2012
IEEE
232views Hardware» more  ISCA 2012»
13 years 4 months ago
RADISH: Always-on sound and complete race detection in software and hardware
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
Joseph Devietti, Benjamin P. Wood, Karin Strauss, ...
112
Voted
CORR
2011
Springer
193views Education» more  CORR 2011»
14 years 9 months ago
On the regularity of iterated hairpin completion of a single word
Hairpin completion is an abstract operation modeling a DNA biooperation which receives as input a DNA strand w = xαyα, and outputs w = xαy¯αx, where x denotes the Watson-Cric...
Lila Kari, Steffen Kopecki, Shinnosuke Seki
ECCV
2000
Springer
16 years 3 months ago
Euclidean Group Invariant Computation of Stochastic Completion Fields Using Shiftable-Twistable Functions
We describe a method for computing the likelihood that a completion joining two contour fragments passes through any given position and orientation in the image plane, that is, a m...
John W. Zweck, Lance R. Williams