Sciweavers

1024 search results - page 11 / 205
» Value complete, column complete, predicate complete
Sort
View
JSYML
2010
107views more  JSYML 2010»
13 years 8 months ago
A proof of completeness for continuous first-order logic
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
Arthur Paul Pedersen, Itay Ben-Yaacov
ACISP
2005
Springer
14 years 3 months ago
A Complete Divisor Class Halving Algorithm for Hyperelliptic Curve Cryptosystems of Genus Two
We deal with a divisor class halving algorithm on hyperelliptic curve cryptosystems (HECC), which can be used for scalar multiplication, instead of a doubling algorithm. It is not ...
Izuru Kitamura, Masanobu Katagi, Tsuyoshi Takagi
PAMI
2007
164views more  PAMI 2007»
13 years 9 months ago
Space-Time Completion of Video
—This paper presents a new framework for the completion of missing information based on local structures. It poses the task of completion as a global optimization problem with a ...
Yonatan Wexler, Eli Shechtman, Michal Irani
VLDB
2003
ACM
141views Database» more  VLDB 2003»
14 years 10 months ago
Computing complete answers to queries in the presence of limited access patterns
In data applications such as information integration, there can be limited access patterns to relations, i.e., binding patterns require values to be specified for certain attribut...
Chen Li
PSIVT
2007
Springer
135views Multimedia» more  PSIVT 2007»
14 years 3 months ago
Fast Directional Image Completion
Abstract. We developed a fast image completion system using the multiresolution approach to accelerate the convergence of the system. The downsampling approach is for the texture-e...
Chih-Wei Fang, Jenn-Jier James Lien