712 search results - page 64 / 143 » Effective, Automatic Procedure Extraction |
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
DKE
2008
14 years 10 months ago
2008
In this manuscript we present the summarization and categorization subsystems of a complete mechanism that begins with web-page fetching and concludes with representation of the c...
INTERSPEECH
2010
14 years 4 months ago
2010
We present a novel automatic procedure to analyze articulatory setting (AS) or basis of articulation using realtime magnetic resonance images (rt-MRI) of the human vocal tract rec...
ICIP
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, the problem of automatic Gabor wavelet selection for face recognition is tackled by introducing an automatic algorithm based on Parallel AdaBoosting method. Incorpo...
SIGIR
1998
ACM
15 years 2 months ago
1998
ACM
We investigate an automatic method for Cross Language Information Retrieval (CLIR) that utilizes the multilingual UMLS Metathesaurus to translate Spanish and French natural languag...