1329 search results - page 126 / 266 » Constraint-based model synthesis |
142
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
119
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...
169
click to vote
SIAMIS
2011
14 years 11 months ago
2011
This article presents a new adaptive framework for locally parallel texture modeling. Oscillating patterns are modeled with functionals that constrain the local Fourier decompositi...
162
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
The quality of the input system model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-structured system model, tools today are...
142
click to vote
CGIM
2003
15 years 5 months ago
2003
Inspired by traditional expressive animation, we attempt to propose an infinite emotion-space as a model to control free-form facial expression synthesis. Although a number of mod...