3614 search results - page 202 / 723 » Numerical Computing with MATLAB |
162
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Friedman showed how to turn a classical proof of a Σ0 1 formula into an intuitionistic proof of the same formula, thus giving an effective method to extract witnesses from classi...
142
click to vote
ICPR
2008
IEEE
16 years 28 days ago
2008
IEEE
This paper addresses the relationship between the Visual Assessment of cluster Tendency (VAT) algorithm and Dunn’s cluster validity index. We present an analytical comparison in...
151
click to vote
ACIVS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Using cylindrical parameterization, the 3D mesh surface extracted from colon CT scan images is parameterized onto a cylinder, and afterwards visualized with a modified C...
185
click to vote
LSSC
2007
Springer
16 years 19 days ago
2007
Springer
A successive refinement of a finite element grid provides a sequence of nested grids and hierarchy of nested finite element spaces as well as a natural hierarchical decompositio...
155
click to vote
SCALESPACE
2007
Springer
16 years 18 days ago
2007
Springer
In this paper, we address the problem of partial comparison of non-rigid objects. We introduce a new class of set-valued distances, related to the concept of Pareto optimality in e...