1471 search results - page 115 / 295 » Church: a language for generative models |
212
click to vote
SIGIR
2012
ACM
13 years 8 months ago
2012
ACM
The intent-oriented search diversification methods developed in the field so far tend to build on generative views of the retrieval system to be diversified. Core algorithm compon...
149
click to vote
ICST
2008
IEEE
16 years 22 days ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
176
click to vote
PPDP
2009
Springer
16 years 26 days ago
2009
Springer
“Scrap Your Boilerplate” (SYB) is an established style of generic functional programming. The present paper reconstructs SYB within the Prolog language with the help of the un...
155
click to vote
FDL
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper outlines some fundamental concepts for the development of a system design framework based on standard notations and common CASE tools. We describe an environment for HW...
158
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...