6829 search results - page 334 / 1366 » Quantitative Generalizations of Languages |
158
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a generic algorithm for solving Horn clauses through iterative specialisation. The algorithm is generic in the sense that it can be instantiated with any decid...
136
click to vote
EACL
1989
ACL Anthology
15 years 8 months ago
1989
ACL Anthology
One way of characterising texts is in terms of the discourse structures on which they appear to be built. Each type of text, or genre, e.g. the sports report, the recipe, the serm...
165
click to vote
EMNLP
2009
15 years 4 months ago
2009
In this research we aim to detect subjective sentences in multimodal conversations. We introduce a novel technique wherein subjective patterns are learned from both labeled and un...
176
click to vote
FOSSACS
2011
Springer
14 years 10 months ago
2011
Springer
We describe a general decomposition mechanism to express the derivation relation of a word rewriting system R as the composition of a (regular) substitution followed by the derivat...
306
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...