3690 search results - page 35 / 738 » Computation with classical sequents |
COREGRID
2007
Springer
14 years 4 months ago
2007
Springer
This paper deals with one of the fundamental properties of grid computing – transferring code between grid nodes and executing it remotely on heterogeneous hosts. Contemporary mi...
EMMCVPR
2007
Springer
14 years 4 months ago
2007
Springer
This study extended the computation of GLCM (gray level co-occurrence matrix) to a three-dimensional form. The objective was to treat hyperspectral image cubes as volumetric data s...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
ICPIA
1992
14 years 2 months ago
1992
Abstract. Octrees o er a powerful means for representing and manipulating 3-D objects. This paper presents an implementation of octree manipulations using a new approach on a share...
MVA
2000
13 years 10 months ago
2000
In this paper, we propose a technique for segmenting visual textures using features extracted from the reponses of Ga,bor filters, appropria.tely selectecl to be tuned to texture ...