1471 search results - page 31 / 295 » Church: a language for generative models |
116
click to vote
KBSE
2006
IEEE
15 years 8 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
108
Voted
UM
2001
Springer
15 years 6 months ago
2001
Springer
This paper describes an integrated approach for interpreting a user’s responses and generating replies in the framework of a WWW-based Bayesian argumentation system. Our system c...
129
click to vote
ENTCS
2008
15 years 1 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
121
click to vote
EDO
2005
Springer
15 years 7 months ago
2005
Springer
A distribution model for the new generation of component languages, which allows to plug required into provided interfaces, is presented together with the distributed component la...
113
click to vote
EMNLP
2008
15 years 3 months ago
2008
Traditionally, statistical machine translation systems have relied on parallel bi-lingual data to train a translation model. While bi-lingual parallel data are expensive to genera...