1329 search results - page 25 / 266 » Constraint-based model synthesis |
120
click to vote
ICIP
2007
IEEE
16 years 3 months ago
2007
IEEE
Recreating the temporal illumination variations of natural scenes has great potential for realistic synthesis of video sequences. In this paper, we present a 3D (model-based) appr...
110
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— Anti-angiogenic therapy is a novel treatment approach in cancer therapy that aims at preventing a tumor from developing a network of blood vessels and capillaries that ...
139
click to vote
HYBRID
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
120
click to vote
IPPS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper discusses a program synthesis system to facilitate the generation of high-performance parallel programs for a class of computations encountered in quantum chemistry and...
120
click to vote
AUTOMATICA
2004
15 years 1 months ago
2004
This paper deals with feedback controller synthesis for timed event graphs in dioids, where the number of initial tokens and time delays are only known to belong to intervals. We ...