9931 search results - page 330 / 1987 » Generative Modeling by PRISM |
147
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
126
click to vote
I3E
2001
15 years 7 months ago
2001
: We present a model machinery for the generation of aggregating views of knowledge, the coupling of localized knowledge, and for carrying out metaobservations, which record the dy...
198
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Recently there has been interest in structured discriminative models for speech recognition. In these models sentence posteriors are directly modelled, given a set of features ext...
204
click to vote
TOG
2012
13 years 8 months ago
2012
We introduce the interactive system “Beady” to assist the design and construction of customized 3D beadwork. The user first creates a polygonal mesh model called the design m...
177
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
Test model generation is crucial in the test generation process of a high-performance design targeted for large volume production. A key process in test model generation requires ...