4708 search results - page 145 / 942 » Generating the Structure of Argument |
168
click to vote
SAGT
2010
Springer
15 years 3 months ago
2010
Springer
We study the computational complexity of finding stable outcomes in symmetric additively-separable hedonic games. These coalition formation games are specified by an undirected e...
145
click to vote
ACL
2009
15 years 3 months ago
2009
Existing evaluation metrics for machine translation lack crucial robustness: their correlations with human quality judgments vary considerably across languages and genres. We beli...
170
click to vote
JAR
2010
14 years 12 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
153
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
The characterization of a binary function by partial frequency information is considered. We show that it is possible to reconstruct the binary signal from incomplete frequency me...
190
click to vote
ACL
2011
14 years 8 months ago
2011
We propose a non-parametric Bayesian model for unsupervised semantic parsing. Following Poon and Domingos (2009), we consider a semantic parsing setting where the goal is to (1) d...