Sciweavers

1008 search results - page 111 / 202
» Canonicity!
Sort
View
109
Voted
CP
2008
Springer
15 years 5 months ago
Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms
Experimentation of new algorithms is the usual companion section of papers dealing with SAT. However, the behavior of those algorithms is so unpredictable that even strong experime...
Gilles Audemard, Laurent Simon
111
Voted
AAAI
2010
15 years 5 months ago
Kernelized Sorting for Natural Language Processing
Kernelized sorting is an approach for matching objects from two sources (or domains) that does not require any prior notion of similarity between objects across the two sources. U...
Jagadeesh Jagarlamudi, Seth Juarez, Hal Daum&eacut...
COLING
2008
15 years 5 months ago
Mind the Gap: Dangers of Divorcing Evaluations of Summary Content from Linguistic Quality
In this paper, we analyze the state of current human and automatic evaluation of topic-focused summarization in the Document Understanding Conference main task for 2005-2007. The ...
John M. Conroy, Hoa Trang Dang
116
Voted
DAGSTUHL
2007
15 years 4 months ago
Propositional Relevance through Letter-Sharing: Review and Contribution
The concept of relevance between classical propositional formulae, defined in terms of letter-sharing, has been around for a very long time. But it began to take on a fresh life i...
David Makinson
95
Voted
LREC
2010
119views Education» more  LREC 2010»
15 years 4 months ago
Utilizing Semantic Equivalence Classes of Japanese Functional Expressions in Translation Rule Acquisition from Parallel Patent S
In the "Sandglass" MT architecture, we identify the class of monosemous Japanese functional expressions and utilize it in the task of translating Japanese functional exp...
Taiji Nagasaka, Ran Shimanouchi, Akiko Sakamoto, T...