Sciweavers

6960 search results - page 785 / 1392
» Continuity Analysis of Programs
Sort
View
SMI
2005
IEEE
156views Image Analysis» more  SMI 2005»
16 years 23 days ago
Visualization of Point-Based Surfaces with Locally Reconstructed Subdivision Surfaces
Point-based surfaces (i.e. surfaces represented by discrete point sets which are either directly obtained by current 3D acquisition devices or converted from other surface represe...
Tamy Boubekeur, Patrick Reuter, Christophe Schlick
CIVR
2005
Springer
205views Image Analysis» more  CIVR 2005»
16 years 22 days ago
Automatic Image Semantic Annotation Based on Image-Keyword Document Model
Abstract. This paper presents a novel method of automatic image semantic annotation. Our approach is based on the Image-Keyword Document Model (IKDM) with image features discretiza...
Xiangdong Zhou, Lian Chen, Jianye Ye, Qi Zhang, Ba...
CRYPTO
2005
Springer
110views Cryptology» more  CRYPTO 2005»
16 years 21 days ago
Impossibility and Feasibility Results for Zero Knowledge with Public Keys
In this paper, we continue the study the round complexity of black-box zero knowledge in the bare public-key (BPK, for short) model previously started by Micali and Reyzin in [11]....
Joël Alwen, Giuseppe Persiano, Ivan Visconti
CSL
2005
Springer
16 years 21 days ago
Computing with Sequences, Weak Topologies and the Axiom of Choice
We study computability on sequence spaces, as they are used in functional analysis. It is known that non-separable normed spaces cannot be admissibly represented on Turing machines...
Vasco Brattka, Matthias Schröder
GECCO
2005
Springer
153views Optimization» more  GECCO 2005»
16 years 21 days ago
Harmony search for structural design
Various algorithms have been developed and applied to structural optimization, in which cross-sectional areas of structure members are assumed to be continuous. In most cases of p...
Zong Woo Geem, Kang Seok Lee, Chung-Li Tseng