|
Vol.E80-D No.1
pp.51-56
Special SectionPAPER
Verification
A New Verification Framework of Object-Oriented Design Specification for Small Scale Software
Eun Mi KIM, Shinji KUSUMOTO, Tohru KIKUNO, |
|
Summary | Full Text:PDF | |
|
Vol.E80-D No.1
pp.57-62
Special SectionPAPER
Verification
Formal Verification of Totally Self-Checking Properties of Combinational Circuits
Kazuo KAWAKUBO, Koji TANAKA, Hiromi HIRAISHI, |
|
Summary | Full Text:PDF | |
|
Vol.E80-D No.1
pp.63-71
PAPER
Image Processing,Computer Graphics and Pattern Recognition
An Automatic Algorithm for Removing Uninterested Regions in Image Signals
Masamune SATOH, Tohru IKEGUCHI, Takeshi MATOZAKI, |
|
Summary | Full Text:PDF | |
|
Vol.E80-D No.1
pp.72-77
PAPER
Bio-Cybernetics and Neurocomputing
Solving Combinatorial Optimization Problems Using the Oscillatory Neural Network
Yoshiaki WATANABE, Keiichi YOSHINO, Tetsuro KAKESHITA, |
|
Summary | Full Text:PDF | |
|
Vol.E80-D No.1
pp.78-85
PAPER
Bio-Cybernetics and Neurocomputing
Learning Curves in Learning with Noise An Empirical Study
Hanzhong GU, Haruhisa TAKAHASHI, |
|
Summary | Full Text:PDF | |
|
Vol.E80-D No.1
pp.86-90
LETTER
Automata,Languages and Theory of Computing
On Multi-Inkdot Two-Way Alternating Turing Machines and Pushdown Automata with Sublogarithmic Space and Constant Leaf-Size
Jianliang XU, Katsushi INOUE, Yue WANG, Akira ITO, |
|
Summary | Full Text:PDF | |
|
Vol.E80-D No.1
pp.91-93
LETTER
Algorithm and Computational Complexity
The Complexity of Threshold Circuits for Parity Functions
Shao-Chin SUNG, Tetsuro NISHINO, |
|
Summary | Full Text:PDF | |
|
Vol.E80-D No.1
pp.94-97
LETTER
Algorithm and Computational Complexity
High-Fair Bus Arbiter for Multiprocessors
Chiung-San LEE, |
|
Summary | Full Text:PDF | |
|
Vol.E80-D No.1
pp.98-100
LETTER
Algorithm and Computational Complexity
Address Addition and Decoding without Carry Propagation
Yung-Hei LEE, Seung Ho HWANG, |
|
Summary | Full Text:PDF | |
|
Vol.E80-D No.1
pp.101-105
LETTER
Databases
Similar Key Search Files Based on Hashing
Sheng-ta YANG, Eiichi TANAKA, |
|
Summary | Full Text:PDF | |
|
Current List: 36901 - 36910
|