2633 search results - page 252 / 527 » Using Robust Methods for Automatic Extraction of Buildings |
184
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
141
click to vote
KES
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper introduces our method for causal knowledge retrieval from the Internet resources, its results and evaluation of using it in utterance creation process. Our sys...
157
click to vote
CVBIA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Important attributes of 3D brain segmentation algorithms include robustness, accuracy, computational efficiency, and facilitation of user interaction, yet few algorithms ...
203
click to vote
WACV
2007
IEEE
16 years 18 days ago
2007
IEEE
Three-dimensional segmentation is reliable approach to achieve a proper estimation of tumor volume. Among all possible methods for this purpose, level set can be used as a powerfu...
172
click to vote
DAS
2010
Springer
15 years 8 months ago
2010
Springer
Separating machine printed text and handwriting from overlapping text is a challenging problem in the document analysis field and no reliable algorithms have been developed thus f...