3690 search results - page 277 / 738 » Computation with classical sequents |
142
click to vote
ECCV
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. Computing reflective symmetries of 2D and 3D shapes is a classical problem in computer vision and computational geometry. Most prior work has focused on finding the main ...
144
click to vote
GECON
2007
Springer
15 years 11 months ago
2007
Springer
Grid Computing, initially intended to provide access to computational resources for high-performance computing applications, broadened its focus by addressing computational needs o...
175
Voted
COMPGEOM
2011
ACM
14 years 8 months ago
2011
ACM
In this paper, we present the first output-sensitive algorithm to compute the persistence diagram of a filtered simplicial complex. For any Γ > 0, it returns only those homo...
128
click to vote
TAMC
2009
Springer
15 years 11 months ago
2009
Springer
Computability concerns information with a causal – typically algorithmic – structure. As such, it provides a schematic analysis of many naturally occurring situations. We look ...
153
click to vote
HPDC
2008
IEEE
15 years 11 months ago
2008
IEEE
As grid computation systems become larger and more complex, manually diagnosing failures in jobs becomes impractical. Recently, machine-learning techniques have been proposed to d...