Takahiko Ishikawa

According to our database, Takahiko Ishikawa authored at least 12 papers between 2002 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2008

Mobile microscope: a new concept for hand-held microscopes with image stabilization.

Takahiko Ishikawa, Hiromasa Oku, Masatoshi Ishikawa

Proceedings of the 2008 IEEE International Conference on Robotics and Automation, 2008

2007

Constraint Solving Specializations for Equality on an Interval-Variable Domain.

Hiroshi Mabuchi, Kiyoshi Akama, Katsunori Miura, Takahiko Ishikawa

J. Adv. Comput. Intell. Intell. Informatics, 2007

2005

Problem solving by equivalent transformation of negative constraints.

Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa

Proceedings of the IEEE International Conference on Systems, 2005

Developing an e-learning System which enhances students' academic motivation.

Hidekatsu Koike, Takahiko Ishikawa, Kiyoshi Akama, Masaki Chiba, Katsunori Miura

Proceedings of the 33rd Annual ACM SIGUCCS Conference on User Services 2005, 2005

Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain.

Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa

Proceedings of the 2005 International Conference on Artificial Intelligence, 2005

2004

A Comparison of Constraint Handling Rules with Equivalent Transformation Rules.

Yoshinori Shigeta, Kiyoshi Akama, Pongtawat Chippimolchai, Takahiko Ishikawa

Proceedings of the International Conference on Modeling, 2004

2003

Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation.

Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike

J. Adv. Comput. Intell. Intell. Informatics, 2003

How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm.

Takahiko Ishikawa, Kiyoshi Akama, Hiroshi Mabuchi

J. Adv. Comput. Intell. Intell. Informatics, 2003

2002

Framework for Synthesis by Unfolding of Declarative Programs.

Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Y. Yamamoto

Proceedings of the International Conference on Artificial Intelligence, 2002

Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation.

E. Boyd, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike

Proceedings of the International Conference on Artificial Intelligence, 2002

A Basic Framework for Infinite Computation.

Kiyoshi Akama, Hiroshi Mabuchi, Takahiko Ishikawa, E. Boyd

Proceedings of the International Conference on Artificial Intelligence, 2002

A Foundation for Algorithm Generation by Transforming Meta-Descriptions.

Yuichi Yamamoto, Kiyoshi Akama, Masaharu Munetomo, Takahiko Ishikawa

Proceedings of the FSDK'02, 2002