1957 search results - page 132 / 392 » Multimedia Analysis and Synthesis |
133
click to vote
DAC
1994
ACM
15 years 3 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
JMIV
2006
14 years 11 months ago
2006
In this paper, we present some adaptive wavelet decompositions that can capture the directional nature of images. Our method exploits the properties of seminorms to build lifting s...
TCS
2008
14 years 11 months ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
ICIP
2009
IEEE
14 years 9 months ago
2009
IEEE
Video representations that support view synthesis based on depth maps, such as multiview plus depth (MVD), have been recently proposed, raising interest in efficient tools for dep...
147
click to vote
DAC
2005
ACM
16 years 15 days ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...