|
Search the dblp DataBase
Hiroshi Mabuchi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Daisuke Senzaki, Hiroshi Mabuchi, Goutam Chakraborty, Masafumi Matsuhara
Distance Based Location Management in Cellular PCS Network -a Critical Study. [Citation Graph (0, 0)][DBLP] AINA (2), 2004, pp:95-98 [Conf]
- Daisuke Senzaki, Hiroshi Mabuchi, Goutam Chakraborty, Masafumi Matsuhara
Mobility Pattern Learning and Route Prediction Based Location Management in PCS Network. [Citation Graph (0, 0)][DBLP] AINA (2), 2006, pp:351-360 [Conf]
- Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Yoshinori Shigeta
Synthesis of Conversion Rules by Expanding Knowledge Representation. [Citation Graph (0, 0)][DBLP] Artificial Intelligence and Soft Computing, 2000, pp:434-440 [Conf]
- Hiroshi Mabuchi, Kiyoshi Akama, Yoshinori Shigeta, Hidekatsu Koike
Semantic Interpretation by Rule-based Equivalent Transformation. [Citation Graph (0, 0)][DBLP] Artificial Intelligence and Soft Computing, 2000, pp:472-478 [Conf]
- Yoshinori Shigeta, Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
Unreachability for a Class of Rewriting Systems using Two Homomorphisms. [Citation Graph (0, 0)][DBLP] Artificial Intelligence and Soft Computing, 2000, pp:494-500 [Conf]
- Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
A Theoretical Foundation of Program Synthesis by Equivalent Transformation. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2001, pp:131-139 [Conf]
- Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
Equivalent Transformation by Safe Extension of Data Structures. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2001, pp:140-148 [Conf]
- Kiyoshi Akama, Hiroshi Mabuchi, Takahiko Ishikawa, E. Boyd
A Basic Framework for Infinite Computation. [Citation Graph (0, 0)][DBLP] IC-AI, 2002, pp:1080-1086 [Conf]
- Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Y. Yamamoto
Framework for Synthesis by Unfolding of Declarative Programs. [Citation Graph (0, 0)][DBLP] IC-AI, 2002, pp:1060-1066 [Conf]
- Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa
Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain. [Citation Graph (0, 0)][DBLP] IC-AI, 2005, pp:627-636 [Conf]
- Daisuke Senzaki, Goutam Chakraborty, Masafumi Matsuhara, Hiroshi Mabuchi
Improvement of Paging Cost by Updating Using Paging Delay Divergence. [Citation Graph (0, 0)][DBLP] IWDC, 2004, pp:502-507 [Conf]
- Hiroshi Mabuchi, Kiyoshi Akama, Toshihiro Wakatsuki
Equivalent Transformation Rules as Components of Programs. [Citation Graph (0, 0)][DBLP] ICICIC (2), 2006, pp:282-287 [Conf]
- Takahiko Ishikawa, Kiyoshi Akama, Hiroshi Mabuchi
How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm. [Citation Graph (0, 0)][DBLP] JACIII, 2003, v:7, n:3, pp:260-267 [Journal]
- Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi
Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model. [Citation Graph (0, 0)][DBLP] JACIII, 2006, v:10, n:3, pp:302-311 [Journal]
- Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike
Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation. [Citation Graph (0, 0)][DBLP] JACIII, 2003, v:7, n:3, pp:306-314 [Journal]
- Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike
Converting Constraint Handling Rules to Equivalent Transformation Rules. [Citation Graph (0, 0)][DBLP] JACIII, 2006, v:10, n:3, pp:339-348 [Journal]
- Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiroshi Mabuchi
Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model. [Citation Graph (0, 0)][DBLP] JACIII, 2006, v:10, n:3, pp:349-361 [Journal]
- Kiyoshi Akama, Hiroshi Mabuchi, Eiichi Miyamoto
A theoretical foundation for solving "no-solution" problems by abstraction. [Citation Graph (0, 0)][DBLP] Systems and Computers in Japan, 2000, v:31, n:1, pp:1-10 [Journal]
An Efficient Method to Set RBF Network Paramters Based on SOM Training. [Citation Graph (, )][DBLP]
A novel distributed genetic algorithm implementation with variable number of islands. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.282secs
|