1471 search results - page 117 / 295 » Church: a language for generative models |
153
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
169
click to vote
WOLLIC
2007
Springer
16 years 12 days ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
154
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
First generation Web-content encodes information in handwritten (HTML) Web pages. Second generation Web content generates HTML pages on demand, e.g. by filling in templates with c...
167
click to vote
ICSEA
2007
IEEE
16 years 19 days ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
178
click to vote
CLEF
2007
Springer
16 years 15 days ago
2007
Springer
This paper presents the LIG contribution to the CLEF 2007 medical retrieval task (i.e. ImageCLEFmed). The main idea in this paper is to incorporate medical knowledge in the langua...