Computer Science

College of Engineering

Works Published in 1994

Sorted by most recent date added to the index first, which may not be the same as publication date order.

1994 conference paper

Global Information Management via Local Autonomous Agents

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

By: M. Huhns, M. Singh, T. Ksiezyk & N. Jacobs

Source: NC State University Libraries
Added: January 30, 2021

1994 conference paper

Maintenance and Prevention: Formalization and Fixpoint Characterization

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

By: M. Singh

Source: NC State University Libraries
Added: January 30, 2021

1994 conference paper

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.

By: M. Huhns, M. Singh & T. Ksiezyk

Source: NC State University Libraries
Added: January 30, 2021

1994 conference paper

Workflow Execution Through Distributed Events

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

By: M. Singh & C. Tomlinson

Source: NC State University Libraries
Added: January 29, 2021

1994 journal article

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.

By: T. Okamoto, K. Morihiro, N. Matsuda & S. Takuma

Sources: Crossref, ORCID
Added: September 13, 2020

1994 chapter

A Distributed Approach to Problem Solving in Maple

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

By: K. Chan, A. Díaz & E. Kaltofen

Source: Crossref
Added: August 28, 2020

1994 conference paper

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.

By: E. Kaltofen & A. Lobo

Event: the international symposium

Source: Crossref
Added: August 28, 2020

1994 conference paper

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.

Event: the international symposium

Source: Crossref
Added: August 28, 2020

1994 journal article

AUTOMATING WORKFLOWS FOR SERVICE PROVISIONING - INTEGRATING AI AND DATABASE TECHNOLOGIES

Tenth Conference on Artificial Intelligence for Applications, Proceedings.

Source: ORCID
Added: December 10, 2019

1994 journal article

Relaxed Transaction Processing

ACM SIGMOD Record, 23(2), 505.

By: M. Singh, C. Tomlinson & D. Woelk

Source: ORCID
Added: December 10, 2019

1994 conference paper

Automating workflows for service provisioning: integrating AI and database technologies

Proceedings of the Conference on Artificial Intelligence Applications, 405–411.

By: M. Huhns & M. Singh

Source: ORCID
Added: December 10, 2019

1994 journal article

Automating Workflows for Service Order Processing Integrating Al and Database Technologies

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

By: M. Singh & M. Huhns

Source: ORCID
Added: December 10, 2019

1994 journal article

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

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

By: M. Singh & M. Huhns

Source: ORCID
Added: December 10, 2019

1994 journal article

Reasoned assumptions and rational psychology

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

By: J. Doyle

Source: ORCID
Added: December 6, 2019

1994 chapter

GDR: A visualization tool for graph algorithms

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

By: M. Stallmann, R. Cleaveland & P. Hebbar

Source: ORCID
Added: December 6, 2019

1994 journal article

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.

By: J. Doyle

Source: ORCID
Added: December 5, 2019

1994 article

Preface

Principles of Knowledge Representation and Reasoning, p. ix.

By: J. Doyle, E. Sandewall & P. Torasso

Source: ORCID
Added: December 5, 2019

1994 journal article

Adaptive Routing for Hypercube Multiprocessors: A Performance Study

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

By: D. Reeves & E. Gehringer

Sources: Crossref, ORCID
Added: April 14, 2019

1994 conference paper

Verifying an intelligent structural control system: A case study

Proceedings - Real-Time Systems Symposium, 271–275.

Source: ORCID
Added: December 6, 2018

1994 conference paper

Timing analysis of a multiprocessor architecture for active control

Analysis and Computation, 203–212.

Source: ORCID
Added: December 6, 2018