6906 search results - page 134 / 1382 » An algorithm for modelling key terms |
219
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
144
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
The Rich News system, that can automatically annotate radio and television news with the aid of resources retrieved from the World Wide Web, is described. Automatic speech recogni...
194
Voted
STOC
2012
ACM
13 years 7 months ago
2012
ACM
Option contracts are a type of financial derivative that allow investors to hedge risk and speculate on the variation of an asset’s future market price. In short, an option has...
130
click to vote
SIGIR
2003
ACM
15 years 9 months ago
2003
ACM
An empirical study has been conducted investigating the relationship between the performance of a generative language model in terms of perplexity and the corresponding informatio...
141
click to vote
SIAMAM
2000
15 years 4 months ago
2000
Orientation of extracellular matrix fibers in the skin is a key ingredient of tissue appearance and function, and differences in fiber alignment are one of the main distinctions be...