2003 |
10 | | Takeshi Hara,
Akira Yamamoto,
Xiangrong Zhou,
Shingo Iwano,
Shigeki Itou,
Hiroshi Fujita,
Takeo Ishigaki:
Automated volume measurements of pulmonary emphysema on 3D chest CT images.
CARS 2003: 1043-1048 |
2000 |
9 | EE | Akira Yamamoto:
Queuing model with interrupt enable points and its application to the analyses of suspend controls of disk units.
Systems and Computers in Japan 31(11): 51-59 (2000) |
1999 |
8 | EE | Kozo Okano,
Satoshi Hattori,
Akira Yamamoto,
Teruo Higashino,
Kenichi Taniguchi:
Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness.
ICPP Workshops 1999: 576-581 |
1986 |
7 | | Katsuto Nakajima,
Hiroshi Nakashima,
Minoru Yokota,
Kazuo Taki,
Shunichi Uchida,
Hiroshi Nishikawa,
Akira Yamamoto,
Masaki Mitsui:
Evaluation of PSI Micro-Interpreter.
COMPCON 1986: 173-177 |
6 | | Akira Yamamoto,
Hozumi Tanaka:
Translating Production Rules into a Forward Reasoning Prolog Program.
New Generation Comput. 4(1): 97-105 (1986) |
1985 |
5 | | Akira Yamamoto,
Masaki Mitsui,
Hiroyuki Yoshida,
Minoru Yokota,
Katsuto Nakajima:
The Program Characteristics in Logic Programming Language ESP.
LP 1985: 204-213 |
1984 |
4 | | Kazuo Taki,
Minoru Yokota,
Akira Yamamoto,
Hiroshi Nishikawa,
Shunichi Uchida,
Hiroshi Nakashima,
Akitoshi Mitsuishi:
Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI).
FGCS 1984: 398-409 |
3 | | Minoru Yokota,
Akira Yamamoto,
Kazuo Taki,
Hiroshi Nishikawa,
Shunichi Uchida,
Katsuto Nakajima,
Masaki Mitsui:
A Microprogrammed Interpreter for the Personal Sequential Inference Machine.
FGCS 1984: 410-418 |
1983 |
2 | | Shunichi Uchida,
Minoru Yokota,
Akira Yamamoto,
Kazuo Taki,
Hiroshi Nishikawa:
Outline of the Personal Sequential Inference Machine: PSI.
New Generation Comput. 1(1): 75-79 (1983) |
1 | | Minoru Yokota,
Akira Yamamoto,
Kazuo Taki,
Hiroshi Nishikawa,
Shunichi Uchida:
The Design and Implementation of a Personal Sequential Inference Machine: PSI.
New Generation Comput. 1(2): 125-144 (1983) |