Takao Uehara

According to our database, Takao Uehara authored at least 14 papers between 1979 and 2007.

Collaborative distances:

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

2007

Computer bridge based on multi-player model.

Tomohito Otawa, Takao Uehara

Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2007

2000

Partnership bidding for computer bridge.

Takahisa Ando, Yoshiyuki Sekiya, Takao Uehara

Syst. Comput. Jpn., 2000

Reasoning by Agents in Computer Bridge Bidding.

Takahisa Ando, Takao Uehara

Proceedings of the Computers and Games, Second International Conference, 2000

1995

Application of abduction to computer bridge.

Takao Uehara

Syst. Comput. Jpn., 1995

1986

Computer Aided Design and Artificial Intelligence (Panel).

Takao Uehara

Proceedings of the Information Processing 86, 1986

Knowledge-Based Expert System for Hardware Logic Design.

Tamio Mano, Fumihiro Maruyama, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takao Uehara

Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985

A Knowledge-Based Logic Design System.

Takao Uehara

IEEE Des. Test, 1985

1984

Prolog-Based Expert System for Logic Design.

Fumihiro Maruyama, Tamio Mano, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takao Uehara

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983

Logic Circuit Synthesis Using Prolog.

Takao Uehara, Nobuaki Kawato

New Gener. Comput., 1983

1982

A verification technique for hardware designs.

Fumihiro Maruyama, Takao Uehara, Nobuaki Kawato, Takao Saito

Proceedings of the 19th Design Automation Conference, 1982

An interactive logic synthesis system based upon AI techniques.

Nobuaki Kawato, Takao Uehara, Sadaki Hirose, Takao Saito

Proceedings of the 19th Design Automation Conference, 1982

1981

Optimal Layout of CMOS Functional Arrays.

Takao Uehara, William M. van Cleemput

IEEE Trans. Computers, 1981

A CAD system for logic design based on frames and demons.

Takao Saito, Takao Uehara, Nobuaki Kawato

Proceedings of the 18th Design Automation Conference, 1981

1979

Design and verification of large-scale computers by using DDL.

Nobuaki Kawato, Takao Saito, Fumihiro Maruyama, Takao Uehara

Proceedings of the 16th Design Automation Conference, 1979