Takahiko Ishikawa

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