1471 search results - page 35 / 295 » Church: a language for generative models |
109
Voted
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
We describe an architecture modeling and code generation framework called Bamboo. Using Bamboo, engineers design SCM repository and feature models, and then generate a running SCM...
156
Voted
EMNLP
2011
14 years 1 months ago
2011
We explore unsupervised approaches to relation extraction between two named entities; for instance, the semantic bornIn relation between a person and location entity. Concretely, ...
116
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
The problems involved in the development of user interfaces become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of...
127
Voted
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
162
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...