2509 search results - page 113 / 502 » Abstract Geometrical Computation and Computable Analysis |
96
Voted
TLCA
2007
Springer
15 years 7 months 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...
100
click to vote
LSSC
2007
Springer
15 years 7 months 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 ...
110
click to vote
ICDAR
2009
IEEE
15 years 7 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...
115
Voted
SAS
2001
Springer
15 years 5 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...
106
Voted
ICCV
2007
IEEE
15 years 7 months 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...