Sciweavers

3134 search results - page 115 / 627
» Computing full disjunctions
Sort
View
CRV
2005
IEEE
204views Robotics» more  CRV 2005»
15 years 8 months ago
3D SSD Tracking with Estimated 3D Planes
We present a tracking method where full camera position and orientation is tracked from intensity differences in a video sequence. The camera pose is calculated based on 3D plane...
Dana Cobzas, Peter F. Sturm
JLP
2006
111views more  JLP 2006»
15 years 2 months ago
Executable structural operational semantics in Maude
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
Alberto Verdejo, Narciso Martí-Oliet
126
Voted
EUROCRYPT
2012
Springer
13 years 5 months ago
Adaptively Attribute-Hiding (Hierarchical) Inner Product Encryption
This paper proposes the first inner product encryption (IPE) scheme that is adaptively secure and fully attribute-hiding (attribute-hiding in the sense of the definition by Katz...
Tatsuaki Okamoto, Katsuyuki Takashima
CVPR
1997
IEEE
16 years 4 months ago
Novel view synthesis in tensor space
We present a new method for synthesizing novel views of a 3D scene from few model images in full correspondence. The core of this work is the derivation of a tensorial operator th...
Shai Avidan, Amnon Shashua
DAC
2000
ACM
16 years 3 months ago
Large-scale capacitance calculation
We describe a new method for accurate large-scale capacitance calculations. The algorithm uses an integral equation formulation, but with a new representation for charge distribut...
Sharad Kapur, David E. Long