Sciweavers

1153 search results - page 142 / 231
» The Complexity of Revision, Revised
Sort
View
ACL
2011
14 years 9 months ago
A Cross-Lingual ILP Solution to Zero Anaphora Resolution
We present an ILP-based model of zero anaphora detection and resolution that builds on the joint determination of anaphoricity and coreference model proposed by Denis and Baldridg...
Ryu Iida, Massimo Poesio
ACL
2011
14 years 9 months ago
Integrating surprisal and uncertain-input models in online sentence comprehension: formal techniques and empirical results
A system making optimal use of available information in incremental language comprehension might be expected to use linguistic knowledge together with current input to revise beli...
Roger Levy
DLOG
2011
14 years 9 months ago
Practical Epistemic Entailment Checking in SROIQ
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...
Anees Mehdi, Sebastian Rudolph
139
Voted
JPDC
2011
136views more  JPDC 2011»
14 years 8 months ago
Replicated abstract data types: Building blocks for collaborative applications
ed abstract data types: Building blocks for collaborative applications Hyun-Gul Roha,∗ , Myeongjae Jeonb , Jin-Soo Kimc , Joonwon Leec a Department of Computer Science, KAIST, Da...
Hyun-Gul Roh, Myeongjae Jeon, Jinsoo Kim, Joonwon ...
177
Voted
CORR
2012
Springer
191views Education» more  CORR 2012»
14 years 1 months ago
The limiting distribution for the number of symbol comparisons used by QuickSort is nondegenerate (extended abstract)
erate (Extended Abstract) Patrick Bindjeme1† and James Allen Fill1 1 Department of Applied Mathematics and Statistics, The Johns Hopkins University, 34th and Charles Streets, Bal...
Patrick Bindjeme, James Allen Fill