2625 search results - page 187 / 525 » Applications 2000 |
147
click to vote
VIP
2000
15 years 5 months ago
2000
Unseeded region growing is a versatile and fullyautomatic segmentation technique suitable for multispectral and 3D images. This approach integrates region-based segmentation with ...
133
click to vote
WAE
2000
15 years 5 months ago
2000
Abstract. In this paper we present a heuristic based on dynamic approximations for improving the well-known Schnorr-Euchner lattice basis reduction algorithm. In particular, the ne...
121
click to vote
WSCG
2000
15 years 5 months ago
2000
In this paper we describe new metrics for the evaluation of collision detection techniques. Through careful study of common applications of these techniques we have developed a se...
122
click to vote
APAL
2010
15 years 4 months ago
2010
We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the meaning of the new notion and its a...
274
click to vote
AMC
2004
15 years 4 months ago
2004
With this article, we want to advocate the use of asymptotic methods for the analysis of finite difference schemes. We present several examples to demonstrate the applicability of...