Takahiko Ishikawa

Publication Activity (10 Years)

Years Active: 2002-2008
Publications (10 Years): 0

Publications

Takahiko Ishikawa, Hiromasa Oku, Masatoshi Ishikawa
Mobile microscope: a new concept for hand-held microscopes with image stabilization. ICRA (2008)
Hiroshi Mabuchi, Kiyoshi Akama, Katsunori Miura, Takahiko Ishikawa
Constraint Solving Specializations for Equality on an Interval-Variable Domain. J. Adv. Comput. Intell. Intell. Informatics 11 (2) (2007)
Hidekatsu Koike, Takahiko Ishikawa, Kiyoshi Akama, Masaki Chiba, Katsunori Miura
Developing an e-learning System which enhances students' academic motivation. SIGUCCS (2005)
Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa
Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain. IC-AI (2005)
Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa
Problem solving by equivalent transformation of negative constraints. SMC (2005)
Yoshinori Shigeta, Kiyoshi Akama, Pongtawat Chippimolchai, Takahiko Ishikawa
A Comparison of Constraint Handling Rules with Equivalent Transformation Rules. MSV/AMCS (2004)
Takahiko Ishikawa, Kiyoshi Akama, Hiroshi Mabuchi
How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm. J. Adv. Comput. Intell. Intell. Informatics 7 (3) (2003)
Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike
Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation. J. Adv. Comput. Intell. Intell. Informatics 7 (3) (2003)
Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Y. Yamamoto
Framework for Synthesis by Unfolding of Declarative Programs. IC-AI (2002)
Kiyoshi Akama, Hiroshi Mabuchi, Takahiko Ishikawa, E. Boyd
A Basic Framework for Infinite Computation. IC-AI (2002)
E. Boyd, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike
Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation. IC-AI (2002)
Yuichi Yamamoto, Kiyoshi Akama, Masaharu Munetomo, Takahiko Ishikawa
A Foundation for Algorithm Generation by Transforming Meta-Descriptions. FSKD (2002)