1471 search results - page 203 / 295 » Church: a language for generative models |
166
click to vote
ICGI
1998
Springer
15 years 10 months ago
1998
Springer
We present in this paper a new learning problem called learning distributions from experts. In the case we study the experts are stochastic deterministic finite automata (sdfa). W...
175
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
154
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
145
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...
186
click to vote
ACL
1998
15 years 7 months ago
1998
In this paper we present results on developing robust natural language interfaces by combining shallowand partialinterpretationwith dialoguemanagement. The key issue is to reduce ...