1471 search results - page 1 / 295 » Church: a language for generative models |
66
Voted
UAI
2008
14 years 10 months ago
2008
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...
76
Voted
ACL
2010
14 years 7 months ago
2010
This paper presents a novel approach to automatic captioning of geo-tagged images by summarizing multiple webdocuments that contain information related to an image's location...
111
click to vote
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
EMNLP
2007
14 years 11 months ago
2007
Trigram language models are compressed using a Golomb coding method inspired by the original Unix spell program. Compression methods trade off space, time and accuracy (loss). The...
TLCA
2007
Springer
15 years 3 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...