Takao Uehara

15 papers A* 5Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2007 — conf
Computer bridge based on multi-player model.
Artificial Intelligence and Applications
Tomohito Otawa, Takao Uehara
2000 J jnl
Partnership bidding for computer bridge.
Syst. Comput. Jpn.
Takahisa Ando, Yoshiyuki Sekiya, Takao Uehara
2000 — conf
Reasoning by Agents in Computer Bridge Bidding.
Computers and Games
Takahisa Ando, Takao Uehara
1995 J jnl
Application of abduction to computer bridge.
Syst. Comput. Jpn.
Takao Uehara
1986 — conf
Computer Aided Design and Artificial Intelligence (Panel).
IFIP Congress
Takao Uehara
1986 — conf
Knowledge-Based Expert System for Hardware Logic Design.
FJCC
Tamio Mano, Fumihiro Maruyama, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takao Uehara
1985 J jnl
A Knowledge-Based Logic Design System.
IEEE Des. Test
Takao Uehara
1984 — conf
Prolog-Based Expert System for Logic Design.
FGCS
Fumihiro Maruyama, Tamio Mano, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takao Uehara
1983 J jnl
Logic Circuit Synthesis Using Prolog.
New Gener. Comput.
Takao Uehara, Nobuaki Kawato
1982 A* conf
A verification technique for hardware designs.
DAC
Fumihiro Maruyama, Takao Uehara, Nobuaki Kawato, Takao Saito
1982 A* conf
An interactive logic synthesis system based upon AI techniques.
DAC
Nobuaki Kawato, Takao Uehara, Sadaki Hirose, Takao Saito
1981 A* conf
A CAD system for logic design based on frames and demons.
DAC
Takao Saito, Takao Uehara, Nobuaki Kawato
1981 J jnl
Optimal Layout of CMOS Functional Arrays.
IEEE Trans. Computers
Takao Uehara, William M. van Cleemput
1979 A* conf
Design and verification of large-scale computers by using DDL.
DAC
Nobuaki Kawato, Takao Saito, Fumihiro Maruyama, Takao Uehara
1979 A* conf
Optimal layout of CMOS functional arrays.
DAC
Takao Uehara, William M. van Cleemput