2633 search results - page 225 / 527 » Using Robust Methods for Automatic Extraction of Buildings |
168
Voted
3DIM
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes how to automatically extract the presence and location of geometrical irregularities on a surface of revolution. To this end a partial 3D scan of the workpiec...
193
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
This study describes experiments on automatic detection of semantic concepts, which are textual descriptions about the digital video content. The concepts can be further used in c...
153
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a character segmentation algorithm for unconstrained cursive handwritten text. The transformation-based learning method and a simplified variation of it are us...
173
click to vote
FLAIRS
2007
15 years 8 months ago
2007
The difficulty of domain knowledge acquisition is one of the most sensible challenges of intelligent tutoring systems. Relying on domain experts and building domain models from sc...
150
click to vote
APLAS
2005
ACM
15 years 11 months ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...