292 search results - page 52 / 59 » Evolutionary Algorithms for Two Problems from the Calculus o... |
DAC
2000
ACM
13 years 11 months ago
2000
ACM
—Chemical–mechanical polishing (CMP) is an enabling technique used in deep-submicrometer VLSI manufacturing to achieve long range oxide planarization. Post-CMP oxide topography...
PR
2002
13 years 6 months ago
2002
The satellite image deconvolution problem is ill-posed and must be regularized. Herein, we use an edge-preserving regularization model using a ' function, involving two hyper...
ACCV
2009
Springer
13 years 4 months ago
2009
Springer
Abstract. Multi-view video is a new video application requiring efficient coding algorithm to compress the huge data, while the color variations among different viewpoints deterior...
TMI
2010
13 years 5 months ago
2010
—This paper provides a framework for generating high resolution time sequences of 3D images that show the dynamics of cerebral blood flow. These sequences have the potential to ...
STACS
2010
Springer
14 years 1 months ago
2010
Springer
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT...