116 search results - page 12 / 24 » Model Synthesis from Imprecise Specifications |
106
click to vote
ECBS
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
INTERSPEECH
2010
14 years 6 months ago
2010
We present an initial investigation into the acoustic realisation of tone in continuous utterances in Sepedi (a language in the Southern Bantu family). An analytic model for the g...
114
click to vote
SCOPES
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
116
click to vote
CSREAESA
2004
15 years 1 months ago
2004
The growing software content in various battery-driven embedded systems has led to significant interest in technologies for energy-efficient embedded software. While lowenergy sof...
ECCV
2010
Springer
15 years 3 months ago
2010
Springer
Automatic face sketch synthesis has important applications in law enforcement and digital entertainment. Although great progress has been made in recent years, previous methods onl...