1471 search results - page 70 / 295 » Church: a language for generative models |
213
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
198
click to vote
IJSEKE
2011
14 years 9 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
142
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...
166
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
160
click to vote
ACL
1998
15 years 7 months ago
1998
In this paper, we report on an effort to provide a general-purpose spoken language generation tool for Concept-to-Speech (CTS) applications by extending a widely used text generat...