Titech Technical Report (Dept. of CS) 1993

TR93-0001 (January)

Theory refinement based on the minimum description length principle
Somkiat Tangkitvanich and Masamichi Shimura

TR93-0002 (Feburary)

On Closure Properties of GapP
Thomas Thierauf, Seinosuke Toda and Osamu Watanabe

TR93-0003 (Feburary)

Current trends on parsing - a survey
Hozumi Tanaka

TR93-0004 (March)

Discourse analysis of scientific textbooks in Japanese : a tool for producing automatic summaries
Nadine Lucas, Nishina Kikuko, Akiba Tomoyoshi and Suresh K.G

TR93-0005 (March)

On symmetry of information and polynomial time invertibility
Luc Longpr\'{e} and Osamu Watanabe

TR93-0006 (April)

Efficient verification of parallel real-time systems
Tomohiro Yoneda, Atsufumi Shibayama, Yoshihiro Tohma, Holger Schlingloff and Edmund M. Clarke

TR93-0007 (April)

A theory of extended pseudo-biorthogonal bases
Nasr-Eddine Berrached and Hidemitsu Ogawa

TR93-0008 (April)

Extended pseudo-biorthgonal bases of type O and type L
Nasr-Eddine Berrached and Hidemitsu Ogawa

TR93-0009 (April)

General sampling theory as an extended pseudo-biorthgonal expansion
Nasr-Eddine Berrached and Hidemitsu Ogawa

TR93-0010 (April)

Relative Karhunen-Lo\`eve operator
Y. Yamashita and H. Ogawa

TR93-0011 (April)

Recognition of handwritten characters in the presence of noise
D. Liu, Y. Yamashita and H. Ogawa

TR93-0012 (April)

Improving a fault-tolerant clock synchronization algorithm by overcorrection
Toru Egashira, Tomohiro Yoneda and Yoshihiro Tohma

TR93-0013 (May)

On sets bounded truth-table reducible to P-selective sets
Thomas Thierauf, Seinosuke Toda and Osamu Watanabe

TR93-0014 (May)

Methods of Convex Projections with Optimum Condition
Yukihiko Yamashita

TR93-0015 (May)

A new Algorithm for Linear Programming by Methods of Convex Projections
Yukihiko Yamashita

TR93-0016 (May)

A new scheme of non-interactive ID-based key sharing with explosively high degree of separability
S. Tujii, K. Araki and T. Sekine

TR93-0017 (June)

Training the gradient field of a dynamic Hopfield (recurrent) network for classification
Craig Hicks and Hidemitsu Ogawa

TR93-0018 (June)

The recurrent gradient network (RGN): A recurrent network for categorization
Craig Hicks and Hidemitsu Ogawa

TR93-0019 (June)

The recurrent gradient network (RGN): A network for pattern recognition
Craig Hicks and Hidemitsu Ogawa

TR93-0020 (July)

A new scheme of non interactive ID-based key sharing with explosively high degree of separability (second version)
Shigeo Tujii, Kiyomichi Araki and Takashi Sekine

TR93-0021 (August)

A defect-tolerant WSI file memory system using address permutation scheme for spare allocation
Eiji Fujiwara and Masaharu Tanaka

TR93-0022 (August)

A probabilistic measurement for totally self-checking circuits
Jien-Chung Lo and Eiji Fujiwara

TR93-0023 (August)

Fault-tolerant associative memories
Eiji Fujiwara and Tsuyoshi Tanaka

TR93-0024 (August)

Approximate solvability of NP-like problems (Survey, in Japanese)
Osamu Watanabe

TR93-0025 (September)

The use of higher functionality of units to enhance fault tolerance of neural networks
Yoshihiro Tohma and Takuya Iwata

TR93-0026 (October)

Integration of Morphological and Syntactic Analysis based on LR Parsing Algorithm
Hozumi Tanaka, Takenobu Tokunaga and Michio Aizawa

TR93-0027 (October)

Dependency-directed Unification of Functional Unification Grammar in Text Generation
Kentaro Inui, Takenobu Tokunaga and Hozumi Tanaka

TR93-0028 (Novemver)

Natural Language Analysis and Generation Techniques
Hozumi Tanaka, Takenobu Tokunaga, K.\ G.\ Suresh and Kentaro Inui

TR93-0029 (Novemver)

Design of a quasi-delay-insensitive microprocessor
Takashi Nanya, Yoichiro Ueno, Hiroto Kagotani, Masashi Kuwako and Akihiro Takamura

TR93-0030 (Novemver)

A review of fault-tolerant computing for safety critical applications in Japan
Yoshihiro Tohma

TR93-0031 (Novemver)

An optimal parallel algorithm for learning DFA
Jose Balc\'{a}zar, Josep D\'\i\/az, Ricard Gavald\`{a} and Osamu Watanabe

TR93-0032 (Novemver)

Test instance generation for promised NP search problems
Osamu Watanabe

TR93-0033 (Novemver)

An evaluation method of an attribute grammar based language by extended term rewriting systems
Yutaka Kikuchi

TR93-0034 (December)

An attribute grammar modelling of interactive figures
Takehiro Tokuda and Yoshimichi Watanabe

TR93-0035 (December)

An efficient semantic evaluator for warped LC(1) attributed grammars
Takehiro Tokuda and Yoshimichi Watanabe

TR93-0036 (December)

An attribute evaluation of context-free languages
Takehiro Tokuda and Yoshimichi Watanabe

TR93-0037 (December)

LR-attributed grammar evaluators can solve local constant problems
Takehiro Tokuda

TR93-0038 (December)

A class of error control codes for byte organized memory systems ----- S$b$\/EC-(S$b$+S)ED Codes -----
Mitsuru Hamada and Eiji Fujiwara

TR93-0039 (December)

A class of error locating codes -- $SEC-S_{e/b}EL$ Codes --
Masato Kitakami and Eiji Fujiwara

TR93-0040 (December)

Karhunen-Loeve subspace
Hidemitsu Ogawa

TR93-0041 (December)

Neural network learning, generalization and over--learning
Hidemitsu Ogawa

TR93-0042 (December)

A theory of over-learning
Hidemitsu Ogawa and Kazutaka Yamasaki

TR93-0043 (December)

A theory of over-learning in the presence of noise
Kazutaka Yamasaki and Hidemitsu Ogawa

TR93-0044 (December)

Manpower shift assignment: algorithms and complexity (part I)
Hoong Chuin Lau

TR93-0045 (December)

Acquisition of knowledge for natural language processing (in Japanese)
Yosiyuki Kobayasi

TR93-0046 (December)

A study on continuous speech recognition system (in Japanese)
Katunobu Itou

TR93-0047 (December)

Attribute grammars as record calculus
Katsuhiko Gondow and Takuya Katayama