373 search results - page 42 / 75 » Abstract Geometrical Computation for Black Hole Computation |
130
click to vote
TLCA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
141
click to vote
ADCM
2011
14 years 9 months ago
2011
ABSTRACT. In this paper we discuss an abstract iteration scheme for the calculation of the smallest eigenvalue of an elliptic operator eigenvalue problem. A short and geometric pro...
113
click to vote
ISNN
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The present study investigates a geometrical method for optimizing the kernel function of a support vector machine. The method is an improvement of the one proposed in [4...
106
click to vote
IJDAR
2002
15 years 1 months ago
2002
Abstract. In this paper, we present a logical representation for form documents to be used for identification and retrieval. A hierarchical structure is proposed to represent the s...
GMP
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. An important surface modeling problem in CAD is to connect two disjoint B-spline patches with the second-order geometric continuity. In this paper we present a study to s...