Computer Science

Parallel solution of Toeplitz and Toeplitz-like linear systems over fields of small positive characteristic

In H. Hong (Ed.), Proceedings of the First International Symposium of Parallel Symbolic Computation (pp. 225–233). Singapore: World Scientific Publishing Co.

Study of CAI with algorithm diagnosis system for novice C programmers

Journal of Japan Society for CAI, 11(2), 63–74.

Global Information Management via Local Autonomous Agents

Proceedings of the 13th International Workshop on Distributed Artificial Intelligence (DAI). Seattle.

Maintenance and Prevention: Formalization and Fixpoint Characterization

Proceedings of the ECAI Workshop on Logic and Change, 1–11. Amsterdam.

Global Information Management via Local Autonomous Agents

Proceedings of the ICOT International Symposium on Fifth Generation Computer Systems: Workshop on Heterogeneous Cooperative Knowledge Bases, 1–15. Tokyo.

Workflow Execution Through Distributed Events

Proceedings of the 6th International Conference on Management of Data, 117–132. Bangalore.

Application of analogical reasoning and extraction of tutoring rules for concept-formation learning

Electronics and Communications in Japan (Part III: Fundamental Electronic Science), 77(3), 75–86.

A Distributed Approach to Problem Solving in Maple

In Maple V: Mathematics and its Applications (pp. 13–21).

Factoring high-degree polynomials by the black box Berlekamp algorithm

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '94. Presented at the the international symposium.

Asymptotically fast solution of Toeplitz-like singular linear systems

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '94. Presented at the the international symposium.

AUTOMATING WORKFLOWS FOR SERVICE PROVISIONING - INTEGRATING AI AND DATABASE TECHNOLOGIES

Tenth Conference on Artificial Intelligence for Applications, Proceedings.

Relaxed Transaction Processing

ACM SIGMOD Record, 23(2), 505.

Automating workflows for service provisioning: integrating AI and database technologies

Proceedings of the Conference on Artificial Intelligence Applications, 405–411. http://www.scopus.com/inward/record.url?eid=2-s2.0-0028272554&partnerID=MN8TOARS

Automating Workflows for Service Order Processing Integrating Al and Database Technologies

IEEE Expert-Intelligent Systems and Their Applications, 9(5), 12–17.

Automating workflows for service order processing: Integrating AI and database technologies

IEEE Expert, 9(5), 19–23.

Reasoned assumptions and rational psychology

Fundamenta Informaticae, 20(1-3), 35–73.

GDR: A visualization tool for graph algorithms

In Computational Support for Discrete Mathematics (pp. 17–28). American Mathematical Society.

INFERENCE AND ACCEPTANCE: COMMENTS ON KYBURG'S “BELIEVING ON THE BASIS OF THE EVIDENCE”

INFERENCE AND ACCEPTANCE: COMMENTS ON KYBURG'S “BELIEVING ON THE BASIS OF THE EVIDENCE.” Computational Intelligence, 10(1), 46–48.

Preface

Principles of Knowledge Representation and Reasoning, p. ix.

Adaptive Routing for Hypercube Multiprocessors: A Performance Study

International Journal of High Speed Computing, 6(1), 1–29.