The notion of Limit-Computable Mathematics (LCM) will be introduced. LCM is a fragment of classical mathematics in which the law of excluded middle is restricted to Δ20 -formulas. We can give an accountable computati...
详细信息
We present the fuzzy Markov predictor (FMP), a hybrid system that is applied to the task of monthly electric load forecasting. The FMP is a modification we introduce in the hidden Markov model in order to enable it to...
详细信息
We present the fuzzy Markov predictor (FMP), a hybrid system that is applied to the task of monthly electric load forecasting. The FMP is a modification we introduce in the hidden Markov model in order to enable it to predict numerical values. The FMP can be seen as an extension of the fuzzy Bayes predictor (FBP) that was modified from the naive Bayes classifier. For verifying the efficiency of the FMP's prediction, we compare it with the FBP, one fuzzy system and two traditional forecasting methods, Box-Jenkins and Winters exponential smoothing.
We propose a new image enlargement method employing a codebook-based fuzzy interpolation technique in order to realize simultaneous smoothing and sharpening in image enlargement. In the proposed method, codebooks are ...
详细信息
A vast amount of information is available on the WWW. There are a lot of Web pages whose content is’local’ and interesting for people in a very narrow regional area. Usually, users search for information with search...
详细信息
In this paper, we introduce the notion of proof animation, which is a new application of the principle of "Curry-Howard isomorphism" to formal proof development. Logically, proof animation is merely a contra...
详细信息
We propose a new image enlargement method employing a codebook-based fuzzy interpolation technique in order to realize simultaneous smoothing and sharpening in image enlargement. In the proposed method, codebooks are ...
详细信息
We propose a new image enlargement method employing a codebook-based fuzzy interpolation technique in order to realize simultaneous smoothing and sharpening in image enlargement. In the proposed method, codebooks are generated by using self-organizing maps, and codes of the codebooks are used to determine parameters of Gaussian membership functions in the fuzzy rules. Then, an enlargement of an image is achieved by a fuzzy inference. In this paper, experimental results show the performances of the proposed method superior to other typical image enlargement methods. The calculation time is reduced drastically in comparison with the previous codebook-based method which has been proposed by the authors.
A novel robot vision system was configured using a silicon retina and FPGA circuit. Silicon retina has been developed to mimic the parallel circuit structure of the vertebrate retina. The silicon retina used here is a...
详细信息
A novel robot vision system was configured using a silicon retina and FPGA circuit. Silicon retina has been developed to mimic the parallel circuit structure of the vertebrate retina. The silicon retina used here is an analog CMOS very largescale integrated circuit which executes Laplacian-Gaussian (/spl nabla//sup 2/G)-like filtering and frame subtraction on the image in real time. FPGA circuit controls a silicon retina and executes image processing depending on application of the system. This robot vision system can achieve real time and robust computations under natural illumination with a compact hardware and a low power consumption.
In this paper we present a new, adaptive spatial-derivative circuit for CMOS image sensors. The circuit removes its offset as a natural part of its operation using a combination of electron tunneling and hot-electron ...
详细信息
In this paper we present a new, adaptive spatial-derivative circuit for CMOS image sensors. The circuit removes its offset as a natural part of its operation using a combination of electron tunneling and hot-electron injection to add or remove charge on a floating-gate of an auto-zeroing amplifier. We designed, fabricated and successfully tested a chip with the circuit. Test results show that the circuit reduces the offsets by more than an order of magnitude.
Let A be an m × n binary matrix, t ∈ {1,…,m} be a threshold, and Ε > 0 be a positive parameter. We show that given a family of O(nΕ) maximal t-frequent column sets for A, it is NP-complete to decide whethe...
详细信息
This paper proposes a nonlinear oscillator network LSI for image region extraction as a preprocessing of intelligent image recognition. The processing can be achieved by using the nonlinear characteristics of a nonlin...
详细信息
This paper proposes a nonlinear oscillator network LSI for image region extraction as a preprocessing of intelligent image recognition. The processing can be achieved by using the nonlinear characteristics of a nonlinear oscillator. The proposed circuit has been designed using a merged/mixed analog-digital CMOS circuit architecture that includes pulse modulation circuits and digital logic and memory circuits. An LSI fabricated using a 0.35 µm CMOS technology demonstrates the basic operation of image region extraction. The processing time will be on the order of sub-milliseconds with a maximum operation frequency.
暂无评论