Sciweavers

2509 search results - page 19 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
ICPR
2008
IEEE
14 years 1 months ago
Semi-supervised discriminant analysis based on UDP regularization
We propose a semi-supervised learning algorithm for discriminant analysis, which uses the geometric structure of both labeled and unlabeled samples and perform a manifold regulari...
Huining Qiu, Jian-Huang Lai, Jian Huang, Yu Chen
CIE
2010
Springer
14 years 6 days ago
Computational Interpretations of Analysis via Products of Selection Functions
Abstract. We show that the computational interpretation of full comprehension via two wellknown functional interpretations (dialectica and modified realizability) corresponds to t...
Martín Hötzel Escardó, Paulo Ol...
AMAST
1997
Springer
13 years 11 months ago
Parametric Analysis of Computer Systems
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...
Farn Wang, Pao-Ann Hsiung
GMP
2006
IEEE
155views Solid Modeling» more  GMP 2006»
14 years 1 months ago
Geometric Accuracy Analysis for Discrete Surface Approximation
In geometric modeling and processing, computer graphics and computer vision, smooth surfaces are approximated by discrete triangular meshes reconstructed from sample points on the...
Junfei Dai, Wei Luo, Shing-Tung Yau, Xianfeng Gu
ECCV
1990
Springer
14 years 9 months ago
Finding Geometric and Relational Structures in an Image
Abstract We present a method for extracting geometric and relational structures from raw intensity data. On one hand, low-level image processing extracts isolated features. On the ...
Radu Horaud, Francoise Veillon, Thomas Skordas