712 search results - page 11 / 143 » Effective, Automatic Procedure Extraction |
CADE
2010
Springer
13 years 8 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
CSO
2009
IEEE
14 years 2 months ago
2009
IEEE
Compared with the written word, few experts pay more attention to the spoken word because of the difficulty of obtaining spoken corpora. In order to develop and improve the spoken...
ICDE
2006
IEEE
14 years 1 months ago
2006
IEEE
The publication time of a page can have a big impact on its relevance to a query, especially for time-sensitive pages such as news items. For news search engines, the publication ...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
We describe a novel technique for multi-sensory speech processing for enhancing noisy speech and for improved noiserobust speech recognition. Both air- and bone-conductive microph...
DL
1999
Springer
13 years 11 months ago
1999
Springer
Keyphrases provide semantic metadata that summarize and characterize documents. This paper describes Kea, an algorithm for automatically extracting keyphrases from text. Kea ident...