Titech Technical Report (Dept. of CS) 1995

TR95-0001 (January)

A learning mechanism of logic programs by dynamically sharing substructures
Masayuki Numao, Shigekazu Morita, and Kenichi Karaki

TR95-0002 (January)

Automatic thesaurus construction based on grammatical relations
Takenobu Tokunaga, Makoto Iwayama, and Hozumi Tanaka

TR95-0003 (January)

Circuit complexity of an explicity defined first slice function
Tatsuie Tsukiji

TR95-0004 (February)

Inducing complex recursive programs from small number of sparse examples
Chowdhury Rahman Mofizur and Masayuki Numao

TR95-0005 (March)

A construction method for fault-tolerant CAM
Tsuyoshi Tanaka and Eiji Fujiwara

TR95-0006 (April)

A class of optimal fixed-byte error protection codes for computer systems
Eiji Fujiwara and Masato Kitakami

TR95-0007 (April)

Gracefully degrading systems using the bulk-synchronous parallel model with randomised shared memory
Andreas Savva and Takashi Nanya

TR95-0008 (April)

Towards totally self-checking delay-insensitive systems
Stanislaw J. Piestrak and Takashi Nanya

TR95-0009 (May)

On transient fault masking for asynchronous systems
B.Ravi Kishore and Takashi Nanya

TR95-0010 (June)

Automatic synthesis of speed-independent circuits from signal transition graph specifications
Sung-Bum Park and Takashi Nanya

TR95-0011 (June)

On Boolean Shifting Networks
Tatsuie Tsukiji

TR95-0012 (July)

Randomized approximation of constraint satisfaction and stable cut
Hoong Chuin Lau

TR95-0013 (July)

Optimal byte error protection codes with SEC-DED capabilities
Masato Kitakami, Masayuki Shimizu, Tepparit Ritthongpitak , and Eiji Fujiwara

TR95-0014 (July)

Eliminating selectors from term rewriting systems (part2)
Yutaka Kikuchi

TR95-0015 (August)

Hierarchical bayesian clustering for automatic text classification
Makoto Iwayama and Takenobu Tokunaga

TR95-0016 (August)

Cluster-based text categorization: A comparison of category search strategies
Makoto Iwayama and Takenobu Tokunaga

TR95-0017 (August)

Application of distributed system-level diagnosis for SNMP-based internet fault management
Elias Procopio Duarte Jr. and Takashi Nanya

TR95-0018 (September)

Some lower bounds for Boolean shifting networks
Tatsuie Tsukiji

TR95-0019 (October)

Randomized approximation of constraint satisfaction and stable cut (improved version)
Hoong Chuin Lau and Osamu Watanabe

TR95-0020 (November)

On formalization of object oriented attribute grammars OOAG and higher order attribute grammars using record calculus
Katsuhiko Gondow and Takuya Katayama

TR95-0021 (December)

Exact learning of subclasses of cdnf formulas with membership queries
Carlos Domingo

TR95-0022 (December)

Efficient multiple predicate learner based on fast failure mechanism
Xiaolong Zhang and Masayuki Numao