1329 search results - page 137 / 266 » Constraint-based model synthesis |
157
click to vote
SIGSOFT
2003
ACM
15 years 9 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
256
click to vote
Book
"The focus of this book is on spectral modeling applied to audio signals. Spectral modeling has two main components: analysis and synthesis. We analyze sound in terms of spect...
144
Voted
ISIWI
2004
15 years 6 months ago
2004
The increase in the number of scientific disciplines, the continuing significant rise in the production of literature and the journal crisis at libraries has led the actors to see...
125
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
120
Voted
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
Despite the popularity of wavelet-based image compression, its error inhomogeneity - the error that is different for even and odd pixel locations, has not been previously analyzed...