Sciweavers

11030 search results - page 402 / 2206
» Generative Sound Models
Sort
View
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 10 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...
ICASSP
2009
IEEE
16 years 1 months ago
Language model transformation applied to lightly supervised training of acoustic model for congress meetings
For effective training of acoustic and language models for spontaneous speech such as meetings, it is significant to exploit the texts available in a large scale, which may not b...
Tatsuya Kawahara, Masato Mimura, Yuka Akita
SMA
2009
ACM
157views Solid Modeling» more  SMA 2009»
16 years 1 months ago
Constraint-based model synthesis
We present a method for procedurally modeling general complex 3D shapes. Our approach is targeted towards applications in digital entertainment and gaming and can automatically ge...
Paul Merrell, Dinesh Manocha
ECBS
2006
IEEE
166views Hardware» more  ECBS 2006»
16 years 24 days ago
Model Transformations in the Model-Based Development of Real-time Systems
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
Tivadar Szemethy, Gabor Karsai, Daniel Balasubrama...
SMI
1999
IEEE
193views Image Analysis» more  SMI 1999»
15 years 11 months ago
Modeling and Deformation Method of Human Body Model Based on Range Data
A cloth simulation system must generate a human body model based on measured data obtained from range data. We propose modeling and deformation methods based on such data. In our ...
Ryouji Matsuda, Tomuyuki Nishita