2944 search results - page 240 / 589 » On Well Quasi-orders on Languages |
173
click to vote
EMNLP
2010
15 years 4 months ago
2010
This paper presents a two-stage approach to summarizing multiple contrastive viewpoints in opinionated text. In the first stage, we use an unsupervised probabilistic approach to m...
182
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we investigate the automatic generation and evaluation of sentential paraphrases. We describe a method for generating sentential paraphrases by using a large aligned...
195
click to vote
SP
2010
IEEE
15 years 4 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
195
click to vote
UM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The World Wide Web has provided users with the opportunity to access from any computer the largest set of information ever existing. Researchers have analyzed how such us...
183
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...