2509 search results - page 113 / 502 » Abstract Geometrical Computation and Computable Analysis |
154
click to vote
TLCA
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...
165
click to vote
LSSC
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. The (micro-)finite element analysis based on three-dimensional computed tomography (CT) data of human bone takes place on complicated domains composed of often hundreds ...
174
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we propose an efficient text detection method based on the Laplacian operator. The maximum gradient difference value is computed for each pixel in the Laplacian-fil...
167
click to vote
SAS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
164
click to vote
ICCV
2007
IEEE
16 years 21 days ago
2007
IEEE
Symmetry and self-similarity is the cornerstone of Nature, exhibiting itself through the shapes of natural creations and ubiquitous laws of physics. Since many natural objects are...