4609 search results - page 422 / 922 » Automatic Generation of Sigma-Protocols |
170
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
Automatic segmentation of multiple sclerosis lesions in magnetic resonance images remains a challenging task. In this study, we present a fully automatic method to extract lesions...
190
click to vote
ICSE
2005
IEEE-ACM
16 years 7 months ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
170
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
– In this paper, we present an open architecture Virtual Test Environment (VTE) which can be easily integrated into various modularized Automatic Test Systems (ATS) compliant to ...
175
click to vote
AVSS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, a system for automatic robust video surveillance is described and in particular its application to the problem of locating vehicles that stop in prohibited area is ...
177
click to vote
IRI
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper presents a study on large-scale automatic extraction of acronyms and associated expansions from Web data and from the user interactions with this data through Web search...