15792 search results - page 100 / 3159 » Computational Abstraction Steps |
ECCV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Image segmentation and figure/ground organization are fundamental steps in visual perception. This paper introduces an algorithm that couples these tasks together in a s...
CSR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We show that partial 2-tree canonization, and hence isomorphism testing for partial 2-trees, is in deterministic logspace. Our algorithm involves two steps: (a) We exploi...
CSE
2008
IEEE
13 years 9 months ago
2008
IEEE
to compile abstract experiment designs into enactable workflows that utilise the best available resources. The automation of this step and of the workflow enactment, hides the deta...
MOC
2002
13 years 9 months ago
2002
Abstract. We show how to use the parallelized kangaroo method for computing invariants in real quadratic function fields. Specifically, we show how to apply the kangaroo method to ...
APLAS
2010
ACM
13 years 6 months ago
2010
ACM
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the