| 2007 |
|---|
| 13 | EE | Shou Kumokawa,
Kazuko Takahashi:
Drawing a Figure in a Two-Dimensional Plane for a Qualitative Representation.
COSIT 2007: 337-353 |
| 12 | EE | Kazuko Takahashi,
Hiroya Takamura,
Manabu Okumura:
Estimation of Class Membership Probabilities in the Document Classification.
PAKDD 2007: 284-295 |
| 11 | EE | Kazuko Takahashi,
Takao Sumitomo:
The Qualitative Treatment of Spatial Data.
International Journal on Artificial Intelligence Tools 16(4): 661-682 (2007) |
| 2005 |
|---|
| 10 | EE | Takao Sumitomo,
Kazuko Takahashi:
A Qualitative Treatment of Spatial Data.
ICTAI 2005: 539-548 |
| 9 | EE | Kazuko Takahashi,
Hiroya Takamura,
Manabu Okumura:
Automatic Occupation Coding with Combination of Machine Learning and Hand-Crafted Rules.
PAKDD 2005: 269-279 |
| 2004 |
|---|
| 8 | | Kazuko Takahashi:
Reasoning on Spatial Constraints over Regions.
FLAIRS Conference 2004 |
| 2003 |
|---|
| 7 | EE | Kazuko Takahashi:
Reasoning about Propagation of Properties over Regions.
J. UCS 9(9): 1030-1045 (2003) |
| 2002 |
|---|
| 6 | EE | Kazuko Takahashi,
Toshiyuki Takezawa:
An interaction mechanism of multimodal dialogue systems.
Systems and Computers in Japan 33(11): 70-79 (2002) |
| 1999 |
|---|
| 5 | EE | Kazuko Takahashi,
Hiroshi Fujita:
A verification method for systolic arrays using induction-based theorem provers.
AI in Engineering 13(1): 43-53 (1999) |
| 1989 |
|---|
| 4 | | Akikazu Takeuchi,
Kazuko Takahashi:
An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism.
Concurrency: Theory, Language, And Architecture 1989: 173-209 |
| 1986 |
|---|
| 3 | | Kazuko Takahashi,
Tadashi Kanamori:
On Parallel Programming Methodology in GHC.
LP 1986: 92-103 |
| 2 | EE | Akira Fusaoka,
Kazuko Takahashi:
On a mechanical reasoning about causal relations.
AI in Engineering 1(1): 15-22 (1986) |
| 1983 |
|---|
| 1 | | Akira Fusaoka,
Hirohisa Seki,
Kazuko Takahashi:
A Description and Reasoning of Plant Controllers in Temporal Logic.
IJCAI 1983: 405-408 |
