Sciweavers

1329 search results - page 119 / 266
» Constraint-based model synthesis
Sort
View
IJCAI
1993
15 years 5 months ago
Nonmonotonic Model Inference-A Formalization of Student Modeling
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
Mitsuru Ikeda, Yasuyuki Kono, Riichiro Mizoguchi
ECBS
2006
IEEE
166views Hardware» more  ECBS 2006»
15 years 10 months 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...
ML
2006
ACM
187views Machine Learning» more  ML 2006»
15 years 4 months ago
Modeling, analyzing, and synthesizing expressive piano performance with graphical models
Abstract Trained musicians intuitively produce expressive variations that add to their audience's enjoyment. However, there is little quantitative information about the kinds ...
Graham Grindlay, David P. Helmbold
CAIP
2005
Springer
152views Image Analysis» more  CAIP 2005»
15 years 10 months ago
Face Modeling and Adaptive Texture Mapping for Model Based Video Coding
3D facial synthesis has been frequently used in model based video coding applications and became popular in various multimedia applications. In this paper a 3D face model, its adap...
Kamil Yurtkan, Hamit Soyel, Hasan Demirel, Hü...
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
15 years 9 months ago
Mixing ATPG and property checking for testing HW/SW interfaces
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
Alessandro Fin, Franco Fummi, Graziano Pravadelli