Kazuo USHIJIMA


Grammar-Oriented Enumeration of Arbitrary Trees and Arbitrary k-ary Trees
Limin XIANG Kazuo USHIJIMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/09/25
Vol. E82-D  No. 9  pp. 1245-1253
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
grammartreesk-ary treesenumerationlexicographic
 Summary | Full Text:PDF

Data Classification Component in a Deductive Database System and Its Application to Protein Structural Analysis
Akio NISHIKAWA Kenji SATOU Emiko FURUICHI Satoru KUHARA Kazuo USHIJIMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/11/25
Vol. E78-D  No. 11  pp. 1377-1387
Type of Manuscript:  Special Section PAPER (Special Issue on Advanced Database Technologies)
Category: Advanced Applications
Keyword: 
deductive databasestatistical analysiscluster analysisflexible aggregationprotein structural analysisdiscrimination analysis
 Summary | Full Text:PDF

Procedure Call Proof Rules and Their Applications
Keijiro ARAKI Kazuo USHIJIMA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1982/06/25
Vol. E65-E  No. 6  pp. 318-324
Type of Manuscript:  PAPER
Category: Automata and Languages
Keyword: 
 Summary | Full Text:PDF

Backward Transformation Rules for Programs with Pascal-Like Pointers and Records
Keijiro ARAKI Takeshi HAYASHI Kazuo USHIJIMA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1979/10/25
Vol. E62-E  No. 10  pp. 641-648
Type of Manuscript:  PAPER
Category: Programming
Keyword: 
 Summary | Full Text:PDF