1471 search results - page 107 / 295 » Church: a language for generative models |
168
click to vote
ICST
2008
IEEE
16 years 21 days ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
152
click to vote
WSC
2007
15 years 8 months ago
2007
Simulation languages and the GUIs supporting them may be excellent tools for creating simulation codes, but are not necessarily the best tools to use for creating descriptions of ...
196
click to vote
JMLR
2012
13 years 8 months ago
2012
Motivated by the observation that coarse and fine resolutions of an image reveal different structures in the underlying visual phenomenon, we present a model based on the Deep B...
203
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
148
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
Distributed System design is a highly complicated and non-trivial task. The problem is characterised by the need to design multi-threaded, multi-processor, and multimedia systems....