A deterministic pushdown automaton (dpda) having just one stack symbol is called a deterministic restricted one-counter automaton (droca). When it accepts by empty stack, it is called strict. A deterministic one-count...
详细信息
A deterministic pushdown automaton (dpda) having just one stack symbol is called a deterministic restricted one-counter automaton (droca). When it accepts by empty stack, it is called strict. A deterministic one-counter automaton (doca) is a dpda having only one stack symbol, with the exception of a bottom-of-stack marker. The class of languages accepted by strict droca's is a subclass of the class of languages accepted by doca's. Valiant has proved the decidability of the equivalence problem for doca's and the undecidability of the inclusion problem for doca's. Hence the decidability of the equivalence problem for strict droca's is obvious. In this paper, we present a new direct branching algorithm for checking the inclusion for a pair of languages accepted by strict droca's. Then we show that the worst-case time complexity of our algorithm is polynomial with respect to these automata.
In this work, we propose a new edge detection scheme which is called the decision based directional edge detector (DBDED). Also a modification of Cheng's shrinking algorithm is developed for producing one point ed...
详细信息
In this work, we propose a new edge detection scheme which is called the decision based directional edge detector (DBDED). Also a modification of Cheng's shrinking algorithm is developed for producing one point edge segments. The methodology of the proposed edge detection algorithm is described in the following manner. In each of eight discrete directions, every point is analyzed in order to decide whether it is a one-dimensional (l-D) edge point in the given direction. This analysis is performed adaptively by using the calculated local directional standard deviation, local directional averages and a constant threshold. In order to prevent multiple edges, the pixels which are locally dominant in intensity are considered to be edge candidates. The true edge pixels are decided upon by eliminating some of the false edge candidates using a decision-based algorithm. It has been shown by extensive simulation work that the DBDED has satisfactory results in some preselected requirements compared with other well-known edge detection methods in the literature.
The current and future generation of pacemakers present a bewildering array of options for the implanting physician. The current economical and legal climate makes it imperative that the appropriate pacemaker is chose...
详细信息
A complete quadratic Volterra filter working under the control of a decision algorithm is proposed for image restoration and enhancement. A particular application in the enhancement of images having reduced luminance ...
详细信息
A complete quadratic Volterra filter working under the control of a decision algorithm is proposed for image restoration and enhancement. A particular application in the enhancement of images having reduced luminance dynamics is considered.
暂无评论