Sciweavers

11030 search results - page 111 / 2206
» Generative Sound Models
Sort
View
MODELS
2007
Springer
15 years 8 months ago
Deriving Input Partitions from UML Models for Automatic Test Generation
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
Stephan Weißleder, Bernd-Holger Schlingloff
105
Voted
WLP
2005
Springer
15 years 8 months ago
Level Mapping Characterizations of Selector Generated Models for Logic Programs
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
Pascal Hitzler, Sibylle Schwarz
106
Voted
EACL
2010
ACL Anthology
15 years 4 months ago
Probabilistic Approaches for Modeling Text Structure and Their Application to Text-to-Text Generation
Abstract. Since the early days of generation research, it has been acknowledged that modeling the global structure of a document is crucial for producing coherent, readable output....
Regina Barzilay
127
Voted
ICML
2004
IEEE
16 years 3 months ago
Generative modeling for continuous non-linearly embedded visual inference
Many difficult visual perception problems, like 3D human motion estimation, can be formulated in terms of inference using complex generative models, defined over high-dimensional ...
Cristian Sminchisescu, Allan D. Jepson
116
Voted
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
15 years 8 months ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra