1471 search results - page 58 / 295 » Church: a language for generative models |
110
click to vote
KBSE
1999
IEEE
15 years 6 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
106
click to vote
IJCNLP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Lexical Conceptual Structure (LCS) represents verbs as semantic structures with a limited number of semantic predicates. This paper attempts to exploit how LCS can be use...
102
click to vote
INLG
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes an implemented model of context-based incremental tactical generation within the Dynamic Syntax framework [1] which directly reflects dialogue phenomena such ...
103
click to vote
COLING
2010
14 years 9 months ago
2010
We present a probabilistic generative model for learning semantic parsers from ambiguous supervision. Our approach learns from natural language sentences paired with world states ...
139
click to vote
SPIN
2012
Springer
13 years 4 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...