Sciweavers

289 search results - page 16 / 58
» Introducing Variability into Aspect-Oriented Modeling Approa...
Sort
View
CADE
2000
Springer
15 years 1 months ago
Two Techniques to Improve Finite Model Search
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...
Gilles Audemard, Belaid Benhamou, Laurent Henocque
COCOS
2003
Springer
148views Optimization» more  COCOS 2003»
15 years 2 months ago
Convex Programming Methods for Global Optimization
We investigate some approaches to solving nonconvex global optimization problems by convex nonlinear programming methods. We assume that the problem becomes convex when selected va...
John N. Hooker
BMCBI
2007
136views more  BMCBI 2007»
14 years 9 months ago
Reduced modeling of signal transduction - a modular approach
Background: Combinatorial complexity is a challenging problem in detailed and mechanistic mathematical modeling of signal transduction. This subject has been discussed intensively...
Markus Koschorreck, Holger Conzelmann, Sybille Ebe...
ICML
2007
IEEE
15 years 10 months ago
Multifactor Gaussian process models for style-content separation
We introduce models for density estimation with multiple, hidden, continuous factors. In particular, we propose a generalization of multilinear models using nonlinear basis functi...
Jack M. Wang, David J. Fleet, Aaron Hertzmann
CVPR
2005
IEEE
15 years 11 months ago
2D Statistical Models of Facial Expressions for Realistic 3D Avatar Animation
We address the issue of modelling facial expressions for realistic 3D avatar animation. We introduce a hierarchical decomposition of a human face into different components and mod...
Lukasz Zalewski, Shaogang Gong