3456 search results - page 378 / 692 » Algorithms for Interface Synthesis |
191
click to vote
IJFCS
2008
15 years 6 months ago
2008
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
163
click to vote
TCAD
2008
15 years 6 months ago
2008
Abstract--Quantum circuits are time-dependent diagrams describing the process of quantum computation. Usually, a quantum algorithm must be mapped into a quantum circuit. Optimal sy...
192
click to vote
TOG
2008
15 years 6 months ago
2008
In this paper we present a new method for estimating the optical transmission in hazy scenes given a single input image. Based on this estimation, the scattered light is eliminate...
179
click to vote
TSP
2008
15 years 6 months ago
2008
In a variety of signal processing and communications contexts, erasures occur inadvertently or can be intentionally introduced as part of a data reduction strategy. This paper disc...
162
click to vote
MAM
2007
15 years 6 months ago
2007
Cellular computing architectures represent an important class of computation that are characterized by simple processing elements, local interconnect and massive parallelism. Thes...