Sciweavers

643 search results - page 38 / 129
» Parsing And Derivational Equivalence
Sort
View
AAAI
2008
13 years 10 months ago
Hyperequivalence of Logic Programs with Respect to Supported Models
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...
Miroslaw Truszczynski, Stefan Woltran
LICS
2010
IEEE
13 years 6 months ago
A Generic Operational Metatheory for Algebraic Effects
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
Patricia Johann, Alex Simpson, Janis Voigtlän...
ACL
2012
11 years 10 months ago
Concept-to-text Generation via Discriminative Reranking
This paper proposes a data-driven method for concept-to-text generation, the task of automatically producing textual output from non-linguistic input. A key insight in our approac...
Ioannis Konstas, Mirella Lapata
IJCAI
2003
13 years 9 months ago
Evaluating Classifiers by Means of Test Data with Noisy Labels
Often the most expensive and time-consuming task in building a pattern recognition system is col­ lecting and accurately labeling training and testing data. In this paper, we exp...
Chuck P. Lam, David G. Stork
TWC
2011
231views more  TWC 2011»
13 years 2 months ago
An Accurate Closed-Form Approximation of the Distributed MIMO Outage Probability
— The mutual information (MI) of multiple-input multiple-output (MIMO) system over Rayleigh fading channel is known to asymptotically follow a normal probability distribution. In...
Fabien Heliot, Reza Hoshyar, Rahim Tafazolli