2602 search results - page 371 / 521 » Automatic Image Structure Analysis |
114
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
98
Voted
CAD
2005
Springer
15 years 18 days ago
2005
Springer
Current methods for recognition and interpretation of architectural drawings are limited to either low-level analysis of paper drawings or interpretation of electronic drawings th...
114
click to vote
TSE
2010
14 years 7 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
117
Voted
DOCENG
2007
ACM
15 years 4 months ago
2007
ACM
In this paper, we present a document engineering environment for Clinical Guidelines (G-DEE), which are standardized medical documents developed to improve the quality of medical ...
131
click to vote
APVIS
2010
15 years 2 months ago
2010
In flow visualization, field lines are often used to convey both global and local structure and movement of the flow. One challenge is to find and classify the representative fiel...