Sadaki Hirose - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2014

The firing squad synchronization problem with sub-generalsKazuya Yamashita, Yasuaki Nishitani, Sadaki Hirose, Satoshi Okawa, Nobuyasu Osato. ipl, 114(1-2):60-65, 2014. [doi]

2010

The Firing Squad Synchronization Problems for Number Patterns on a Seven-Segment Display and Segment ArraysKazuya Yamashita, Mitsuru Sakai, Sadaki Hirose, Yasuaki Nishitani. ieicet, 93-D(12):3276-3283, 2010. [doi]

2006

The Relations among Watson-Crick Automata and Their Relations with Context-Free LanguagesSatoshi Okawa, Sadaki Hirose. ieicet, 89-D(10):2591-2599, 2006. [doi]

2005

On Computational Power of Insertion-Deletion Systems without Using ContextsSadaki Hirose, Satoshi Okawa. ieicet, 88-D(8):1993-1995, 2005. [doi]

2004

Some Relations between Watson-Crick Finite Automata and Chomsky HierarchySadaki Hirose, Kunifumi Tsuda, Yasuhiro Ogoshi, Haruhiko Kimura. ieicet, 87-D(5):1261-1264, 2004. [doi]

Improving heuristic function of cost-based abduction system using real-time heuristic searchMakoto Koshino, Tadashi Okamine, Haruhiko Kimura, Sadaki Hirose. scjapan, 35(6):89-97, 2004. [doi]

2003

Characterizations of Language Classes: Universal Grammars, Dyck Reductions, and HomomorphismsSadaki Hirose, Satoshi Okawa. BIRTHDAY 2003: 253-262

Elevator group control system using multiagent systemYasuhiro Ogoshi, Haruhiko Kimura, Sadaki Hirose, Nobuyasu Osato. scjapan, 34(1):45-58, 2003. [doi]

2002

High-speed consistency checking for hypothetical reasoning systems using inference path networkHaruhiko Kimura, Sadaki Hirose, Hidetaka Nambo. scjapan, 33(9):109-118, 2002. [doi]

2001

High-speed production system using dynamic two-way switching of match algorithmHidetaka Nambo, Haruhiko Kimura, Sadaki Hirose. scjapan, 32(9):61-70, 2001. [doi]

Homomorphic characterizations of recursively enumerable languages with very small language classesSatoshi Okawa, Sadaki Hirose. TCS, 250(1-2):55-69, 2001. [doi]

1999

A Chomsky and Stanley Type Homomorphic Characterization of the Class of Linear LanguagesPál Dömösi, Satoshi Okawa, Sadaki Hirose. eatcs, 68:151, 1999.

A proposal to reduce cumulative reasoning time in hypothetical reasoningHideaki Nobata, Haruhiko Kimura, Sadaki Hirose. scjapan, 30(12):63-71, 1999. [doi]

1997

High speed subsumption processing for hypothetical reasoning using inference-path networksHaruhiko Kimura, Sadaki Hirose, Kuniyasu Tajima. scjapan, 28(12):43-52, 1997. [doi]

1991

Subclasses of Linear Context - Free Languages and Homomorphic Characterizations of LanguagesSatoshi Okawa, Sadaki Hirose. scjapan, 22(5):30-38, 1991. [doi]

1986

On the Impossibility of the Homomorphic Characterization of Context-Sensitive LanguagesSatoshi Okawa, Sadaki Hirose, Masaaki Yoneda. TCS, 44:225-228, 1986.

1985

A Homomorphic Characterization of Recursively Enumerable LanguagesSadaki Hirose, Satoshi Okawa, Masaaki Yoneda. TCS, 35:261-269, 1985.

On the Chomsky and Stanley s Homomorphic Characterization of Context-Free LanguagesSadaki Hirose, Masaaki Yoneda. TCS, 36:109-112, 1985.

1982

An interactive logic synthesis system based upon AI techniquesNobuaki Kawato, Takao Uehara, Sadaki Hirose, Takao Saito. dac 1982: 858-864 [doi]

1981

Left Universal Context-Free Grammars and homomorphic Characterizations of LanguagesSadaki Hirose, Masakazu Nasu. iandc, 50(2):110-118, August 1981.

Sign in or sign up to see more results.

runs on WebDSL