3185 search results - page 215 / 637 » Domain and language evaluation results |
186
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
200
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this document we describe our approach to a specific subtask of ontology population, the extraction of instances of relations. We present a generic approach with which...
183
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we propose a novel phase preserving spectral subtraction method for enhancing speech in noise. Instead of the conventional approach of carrying out subtraction on t...
189
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
With the availability of large datasets in a variety of scientific and commercial domains, data mining has emerged as an important area within the last decade. Data mining techni...
159
click to vote
NLE
2008
15 years 6 months ago
2008
We describe SkillSum, a Natural Language Generation (NLG) system that generates a personalised feedback report for someone who has just completed a screening assessment of their b...