2177 search results - page 202 / 436 » Relative Margin Machines |
129
click to vote
ECBS
2003
IEEE
15 years 9 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
116
click to vote
ACL
2008
15 years 5 months ago
2008
Paraphrases have proved to be useful in many applications, including Machine Translation, Question Answering, Summarization, and Information Retrieval. Paraphrase acquisition meth...
142
click to vote
ICGI
2010
Springer
15 years 5 months ago
2010
Springer
In this work, we give an algorithm that infers Regular Trace Languages. Trace languages can be seen as regular languages that are closed under a partial commutation relation called...
104
click to vote
ACTA
2007
15 years 4 months ago
2007
Abstract This paper explores different means of representation for algebraic transductions, i.e., word relations realized by pushdown transducers. The relevance of this work lies m...
104
click to vote
JAIR
2011
14 years 11 months ago
2011
Temporal information has been the focus of recent attention in information extraction, leading to some standardization effort, in particular for the task of relating events in a t...