Sciweavers

1471 search results - page 55 / 295
» Church: a language for generative models
Sort
View
RSP
2003
IEEE
132views Control Systems» more  RSP 2003»
15 years 7 months ago
Rapid Exploration of Pipelined Processors through Automatic Generation of Synthesizable RTL Models
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Arun Kejariwal, Nikil Dutt
ICTAC
2004
Springer
15 years 7 months ago
Combining Algebraic and Model-Based Test Case Generation
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
Li Dan, Bernhard K. Aichernig
INLG
2010
Springer
14 years 12 months ago
Hierarchical Reinforcement Learning for Adaptive Text Generation
We present a novel approach to natural language generation (NLG) that applies hierarchical reinforcement learning to text generation in the wayfinding domain. Our approach aims to...
Nina Dethlefs, Heriberto Cuayáhuitl
PADL
2004
Springer
15 years 7 months ago
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
Martin Erwig, Zhe Fu
EMNLP
2010
14 years 12 months ago
Automatic Analysis of Rhythmic Poetry with Applications to Generation and Translation
We employ statistical methods to analyze, generate, and translate rhythmic poetry. We first apply unsupervised learning to reveal word-stress patterns in a corpus of raw poetry. W...
Erica Greene, Tugba Bodrumlu, Kevin Knight