Sciweavers

9931 search results - page 187 / 1987
» Generative Modeling by PRISM
Sort
View
162
Voted
CORR
2007
Springer
154views Education» more  CORR 2007»
15 years 3 months ago
Application of a design space exploration tool to enhance interleaver generation
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...
Cyrille Chavet, Philippe Coussy, Pascal Urard, Eri...
139
Voted
ASE
2005
103views more  ASE 2005»
15 years 3 months ago
Component Verification with Automatically Generated Assumptions
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...
137
Voted
JUCS
2007
91views more  JUCS 2007»
15 years 3 months ago
Generative Instructional Engineering of Competence Development Programmes
: Competence development programmes are collections of units of learning and learning activities used to increase the overall effective performance of a learner within a certain ta...
Juan Manuel Dodero, Salvador Sánchez Alonso...
137
Voted
VLC
2008
132views more  VLC 2008»
15 years 3 months ago
Enforced generative patterns for the specification of the syntax and semantics of visual languages
We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to tran...
Paolo Bottoni, Esther Guerra, Juan de Lara
137
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Utilizing glottal source pulse library for generating improved excitation signal for HMM-based speech synthesis
This paper describes a source modeling method for hidden Markov model (HMM) based speech synthesis for improved naturalness. A speech corpus is rst decomposed into the glottal sou...
Tuomo Raitio, Antti Suni, Hannu Pulakka, Martti Va...