Sciweavers

719 search results - page 54 / 144
» An Inference Model for Semantic Entailment in Natural Langua...
Sort
View
175
Voted
EMNLP
2011
14 years 5 months ago
Lexical Generalization in CCG Grammar Induction for Semantic Parsing
We consider the problem of learning factored probabilistic CCG grammars for semantic parsing from data containing sentences paired with logical-form meaning representations. Tradi...
Tom Kwiatkowski, Luke S. Zettlemoyer, Sharon Goldw...
NAACL
2007
15 years 7 months ago
A Random Text Model for the Generation of Statistical Language Invariants
A novel random text generation model is introduced. Unlike in previous random text models, that mainly aim at producing a Zipfian distribution of word frequencies, our model also ...
Chris Biemann
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
15 years 25 days ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson
EMSOFT
2004
Springer
15 years 11 months ago
Towards a higher-order synchronous data-flow language
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
Jean-Louis Colaço, Alain Girault, Gré...
UML
1998
Springer
15 years 10 months ago
Reflections on the Object Constraint Language
The object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a precise, textual language for expressing constraints that cannot be shown diagram...
Ali Hamie, Franco Civello, John Howse, Stuart Kent...