4502 search results - page 237 / 901 » Regular Model Checking |
177
click to vote
ACIVS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present and evaluate in this paper a multi-agent approach for range image segmentation. The approach consists in using autonomous agents for the segmentation of a rang...
159
click to vote
IPCV
2007
15 years 7 months ago
2007
Abstract - We propose a new method for image segmentation based on a variational regularization algorithm for image denoising. We modify the Rudin-Osher-Fatemi (ROF) model in [1] b...
173
click to vote
IGARSS
2009
15 years 4 months ago
2009
Many problems in remote sensing can be modeled as the minimization of the sum of a data term and a prior term. We propose to use a new complex wavelet based prior and an efficient...
188
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
187
click to vote
VISUALIZATION
2003
IEEE
15 years 11 months ago
2003
IEEE
We present techniques for discovering and exploiting regularity in large curvilinear data sets. The data can be based on a single mesh or a mesh composed of multiple submeshes (al...