Works Published in 1994
Displaying works 1 - 20 of 29 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
1994 chapter
MULTI-DESTINATION COMMUNICATION OVER SINGLE-HOP LIGHTWAVE WDM NETWORKS
In Ieee Infocom '94: the Conference on Computer Communications - Networking For Global Communications, Proceedings, Vols 1-3 (pp. 1520–1527).
Contributors: M. Ammar, C. Ieee & G. Rouskas
Source: ORCID
Added: June 21, 2023
1994 conference paper
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.
Ed(s): H. Hong
Source: NC State University Libraries
Added: March 26, 2022
1994 journal article
Study of CAI with algorithm diagnosis system for novice C programmers
Journal of Japan Society for CAI, 11(2), 63–74.
Source: NC State University Libraries
Added: December 26, 2021
1994 conference paper
Global Information Management via Local Autonomous Agents
Proceedings of the 13th International Workshop on Distributed Artificial Intelligence (DAI). Seattle.
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.
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.
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.
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.
author keywords: INTELLIGENT CAI; ANALOGICAL REASONING; LEARNING OF CONCEPT; DIAGNOSIS OF STUDENT MODEL
TL;DR:
The inference engine is built into the expert module of ITS and the system model to support the concept formation is considered, which contains the intellectual function corresponding to the analogy level.
(via Semantic Scholar)
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).
TL;DR:
A system is described whereby a Maple computation can be distributed across a network of computers running Unix, based on the DSC system, which can ship source code and input data to carefully selected computers for execution and which can retrieve the produced output data.
(via Semantic Scholar)
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.
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
TL;DR:
The problem of computing a solution to a possibly singular linear system Ax = b with coefficients in an arbitrary field, where A is an N ×N matrix of displacement rank α given in ΣLU representation is considered and it is shown that if the system is solvable the authors can find a vector that is uniformly sampled from the solution manifold in O(αN( log N) loglog N) expected arithmetic operations in the field of entries.
(via Semantic Scholar)
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.
Contributors: M. Huhns & M. Singh*
TL;DR:
An architecture based on AI technology that automatically manages workflows is developed that executes on top of a distributed computing environment and has been applied to automating service provisioning workflows.
(via Semantic Scholar)
scholarcommons.sc.edu (repository)
Source: ORCID
Added: December 10, 2019
1994 journal article
Relaxed Transaction Processing
ACM SIGMOD Record, 23(2), 505.
Contributors: 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. http://www.scopus.com/inward/record.url?eid=2-s2.0-0028272554&partnerID=MN8TOARS
Contributors: 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.
Contributors: M. Singh & M. Huhns
TL;DR:
This system uses plan recognition to match reports of actual activity to expected activity, letting analysts predict cocaine trafficking and build cases against known trafficking organizations.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
5. Gender Equality
(OpenAlex)
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.
Contributors: M. Singh* & M. Huhns
TL;DR:
An AI-based architecture that automatically manages workflows is developed and a prototype that executes on top of a distributed computing environment is implemented to help a telecommunications company better provide a service that requires coordination among many operation support systems and network elements.
(via Semantic Scholar)
Source: ORCID
Added: December 10, 2019
1994 journal article
Reasoned assumptions and rational psychology
Fundamenta Informaticae, 20(1-3), 35–73.
Contributors: J. Doyle*
TL;DR:
This work presents a more direct mathematical development of nonmonotonic reasoning free of extraneous logical and epistemological assumptions, and argues that the insights gained exemplify the benefits obtained by approaching psychology as a subject for mathematical investigation through the discipline of rational psychology.
(via Semantic Scholar)
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.
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.
Contributors: J. Doyle*
TL;DR:
In Kyburg (1993), Henry Kyburg describes the approach he intends to pursue in studying believing and reasoning-an approach based on the agent accepting conclusions on the basis of their probability relative to a body of background knowledge and evidence-and sketches some arguments for and against this approach in the course of describing his intent.
(via Semantic Scholar)
Source: ORCID
Added: December 5, 2019
1994 article
Preface
Principles of Knowledge Representation and Reasoning, p. ix.
Source: ORCID
Added: December 5, 2019
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.
