4211 search results - page 205 / 843 » Types as Abstract Interpretations |
153
click to vote
SEMCO
2009
IEEE
15 years 11 months ago
2009
IEEE
- Semantic processing represents the new challenge for all applications that require text understanding, as for instance Q/A. In this paper we will highlight the need to couple sta...
127
click to vote
ISMIR
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we describe an efficient method for audio matching which performs effectively for a wide range of classical music. The basic goal of audio matching can be describe...
160
click to vote
CADE
1990
Springer
15 years 8 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
134
click to vote
NAACL
1994
15 years 5 months ago
1994
We present an integrated approach to speech and natural language processing which uses a single parser to create training for a statistical speech recognition component and for in...
141
click to vote
IPM
2007
15 years 4 months ago
2007
An information retrieval performance measure that is interpreted as the percent of perfect performance (PPP) can be used to study the effects of the inclusion of specific documen...