579 search results - page 38 / 116 » Constraint Validation in Model Compilers |
134
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we present a two-level modeling approach to performance macromodeling based on radial basis function Support Vector Machine (SVM). The two-level model consists of a...
149
click to vote
IJCV
2000
15 years 5 months ago
2000
We present a universal statistical model for texture images in the context of an overcomplete complex wavelet transform. The model is parameterized by a set of statistics computed ...
140
click to vote
IRI
2008
IEEE
16 years 10 days ago
2008
IEEE
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
171
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
157
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
We propose a novel generative language for shape that is based on the shock graph: given a shock graph topology, we explore constraints on the geometry and dynamics of the shock g...