Sciweavers

352 search results - page 30 / 71
» Automatically Extracting and Representing Collocations for L...
Sort
View
104
Voted
FM
2006
Springer
134views Formal Methods» more  FM 2006»
15 years 4 months ago
Formal Verification of a C Compiler Front-End
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...
Sandrine Blazy, Zaynah Dargaye, Xavier Leroy
NDSS
2008
IEEE
15 years 6 months ago
Automatic Network Protocol Analysis
Protocol reverse engineering is the process of extracting application-level specifications for network protocols. Such specifications are very helpful in a number of security-re...
Gilbert Wondracek, Paolo Milani Comparetti, Christ...
90
Voted
ICPR
2010
IEEE
15 years 3 months ago
Deep Belief Networks for Real-Time Extraction of Tongue Contours from Ultrasound During Speech
Ultrasound has become a useful tool for speech scientists studying mechanisms of language sound production. State-of-the-art methods for extracting tongue contours from ultrasound...
Ian Fasel, Jeff Berry
133
Voted
DILS
2006
Springer
15 years 4 months ago
Improving Text Mining with Controlled Natural Language: A Case Study for Protein Interactions
Linking the biomedical literature to other data resources is notoriously difficult and requires text mining. Text mining aims to automatically extract facts from literature. Since ...
Tobias Kuhn, Loïc Royer, Norbert E. Fuchs, Mi...
ANLP
1992
148views more  ANLP 1992»
15 years 1 months ago
The ACQUILEX LKB: representation issues in semi-automatic acquisition of large lexicons
We describe the lexical knowledge base system (LKB) which has been designed and implemented as part of the ACQUILEX project1 to allow the representation of multilinguM syntactic a...
Ann A. Copestake