Sciweavers

4451 search results - page 200 / 891
» Continuous model synthesis
Sort
View
ML
2006
ACM
187views Machine Learning» more  ML 2006»
15 years 6 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»
16 years 2 days 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ü...
VMCAI
2010
Springer
16 years 3 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
TEC
2008
118views more  TEC 2008»
15 years 6 months ago
RM-MEDA: A Regularity Model-Based Multiobjective Estimation of Distribution Algorithm
Under mild conditions, it can be induced from the Karush-Kuhn-Tucker condition that the Pareto set, in the decision space, of a continuous multiobjective optimization problem is (m...
Qingfu Zhang, Aimin Zhou, Yaochu Jin
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
15 years 11 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