9931 search results - page 142 / 1987 » Generative Modeling by PRISM |
118
Voted
CSL
2002
Springer
15 years 3 months ago
2002
Springer
We describe a corpus-based approach to natural language generation (NLG). The approach has been implemented as a component of a spoken dialog system and a series of evaluations we...
134
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
120
Voted
ICDAR
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes a top-down word image generation model for holistic handwritten word recognition. To generate a word image, it uses likelihoods based, respectively, on a ling...
231
Voted
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
164
Voted
AMOST
2007
ACM
15 years 7 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...