3690 search results - page 248 / 738 » Computation with classical sequents |
90
Voted
FCT
2005
Springer
15 years 6 months ago
2005
Springer
We prove completeness results for twenty-three problems in semilinear geometry. These results involve semilinear sets given by additive circuits as input data. If arbitrary real co...
106
Voted
RSFDGRC
2005
Springer
15 years 6 months ago
2005
Springer
We present the Distributed Executor for RSES (DIXER) which is a supplementary software for the Rough Set Exploration System (RSES). It takes an advantage of grid computing paradigm...
86
Voted
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper, a novel approach for contour-based 2D shape recognition is proposed, using a recently introduced class of information theoretic kernels. This kind of kernels, based...
ICPP
2003
IEEE
15 years 6 months ago
2003
IEEE
An important characteristic of distributed grids is that they allow geographically separated multicomputers to be tied together in a transparent virtual environment to solve large...
105
Voted
SIBGRAPI
2003
IEEE
15 years 6 months ago
2003
IEEE
The classical Douglas-Peucker line-simplification algorithm is recognized as the one that delivers the best perceptual representations of the original lines. It is used extensivel...