Sadaki Hirose

20 papers A* 1Journal 18Unranked 1
YearRankTypeTitle / Venue / Authors
2014 J jnl
The firing squad synchronization problem with sub-generals.
Inf. Process. Lett.
Kazuya Yamashita, Yasuaki Nishitani, Sadaki Hirose, Satoshi Okawa, Nobuyasu Osato
2010 J jnl
The Firing Squad Synchronization Problems for Number Patterns on a Seven-Segment Display and Segment Arrays.
IEICE Trans. Inf. Syst.
Kazuya Yamashita, Mitsuru Sakai, Sadaki Hirose, Yasuaki Nishitani
2006 J jnl
The Relations among Watson-Crick Automata and Their Relations with Context-Free Languages.
IEICE Trans. Inf. Syst.
Satoshi Okawa, Sadaki Hirose
2005 J jnl
On Computational Power of Insertion-Deletion Systems without Using Contexts.
IEICE Trans. Inf. Syst.
Sadaki Hirose, Satoshi Okawa
2004 J jnl
Improving heuristic function of cost-based abduction system using real-time heuristic search.
Syst. Comput. Jpn.
Makoto Koshino, Tadashi Okamine, Haruhiko Kimura, Sadaki Hirose
2004 J jnl
Some Relations between Watson-Crick Finite Automata and Chomsky Hierarchy.
IEICE Trans. Inf. Syst.
Sadaki Hirose, Kunifumi Tsuda, Yasuhiro Ogoshi, Haruhiko Kimura
2003 — conf
Characterizations of Language Classes: Universal Grammars, Dyck Reductions, and Homomorphisms.
Grammars and Automata for String Processing
Sadaki Hirose, Satoshi Okawa
2003 J jnl
Elevator group control system using multiagent system.
Syst. Comput. Jpn.
Yasuhiro Ogoshi, Haruhiko Kimura, Sadaki Hirose, Nobuyasu Osato
2002 J jnl
High-speed consistency checking for hypothetical reasoning systems using inference path network.
Syst. Comput. Jpn.
Haruhiko Kimura, Sadaki Hirose, Hidetaka Nambo
2001 J jnl
High-speed production system using dynamic two-way switching of match algorithm.
Syst. Comput. Jpn.
Hidetaka Nambo, Haruhiko Kimura, Sadaki Hirose
2001 J jnl
Homomorphic characterizations of recursively enumerable languages with very small language classes.
Theor. Comput. Sci.
Satoshi Okawa, Sadaki Hirose
1999 J jnl
A Chomsky and Stanley Type Homomorphic Characterization of the Class of Linear Languages.
Bull. EATCS
Pál Dömösi, Satoshi Okawa, Sadaki Hirose
1999 J jnl
A proposal to reduce cumulative reasoning time in hypothetical reasoning.
Syst. Comput. Jpn.
Hideaki Nobata, Haruhiko Kimura, Sadaki Hirose
1997 J jnl
High speed subsumption processing for hypothetical reasoning using inference-path networks.
Syst. Comput. Jpn.
Haruhiko Kimura, Sadaki Hirose, Kuniyasu Tajima
1991 J jnl
Subclasses of Linear Context - Free Languages and Homomorphic Characterizations of Languages.
Syst. Comput. Jpn.
Satoshi Okawa, Sadaki Hirose
1986 J jnl
On the Impossibility of the Homomorphic Characterization of Context-Sensitive Languages.
Theor. Comput. Sci.
Satoshi Okawa, Sadaki Hirose, Masaaki Yoneda
1985 J jnl
A Homomorphic Characterization of Recursively Enumerable Languages.
Theor. Comput. Sci.
Sadaki Hirose, Satoshi Okawa, Masaaki Yoneda
1985 J jnl
On the Chomsky and Stanley's Homomorphic Characterization of Context-Free Languages.
Theor. Comput. Sci.
Sadaki Hirose, Masaaki Yoneda
1982 A* conf
An interactive logic synthesis system based upon AI techniques.
DAC
Nobuaki Kawato, Takao Uehara, Sadaki Hirose, Takao Saito
1981 J jnl
Left Universal Context-Free Grammars and homomorphic Characterizations of Languages
Inf. Control.
Sadaki Hirose, Masakazu Nasu