• Nuprl

  • Referenced in 389 articles [sw06751]
  • release, features an open, distributed architecture centered around a flexible knowledge base and supports...
  • OMDoc

  • Referenced in 87 articles [sw07138]
  • standard for the administration, distribution, and teaching of mathematical knowledge. In this paper we present...
  • DKAL

  • Referenced in 18 articles [sw20094]
  • DKAL (Distributed Knowledge Authorization Language) is a distributed authorization policy language. This project contains...
  • MBase

  • Referenced in 17 articles [sw08724]
  • MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. We describe ... MBase system, a web-based, distributed mathematical knowledge base. This system is a mathematical service ... distributed mathematical facts. We classify the data necessary to represent mathematical knowledge and analyze...
  • SUNDIALS

  • Referenced in 220 articles [sw00927]
  • defined operation implementations for both serial and distributed memory parallel environments in case a user ... other operations within the solvers require knowledge of parallelism. Thus, using a solver in parallel...
  • DISCOUNT

  • Referenced in 14 articles [sw19613]
  • based on the teamwork method for knowledge-based distribution. It uses an extended version...
  • rbMIT

  • Referenced in 140 articles [sw00784]
  • Requirements are (i) some but not extensive knowledge of both FE methods and RB methods ... agreement to rbMIT © MIT usage, distribution, and citation terms and conditions upon download...
  • ExpertGuide

  • Referenced in 5 articles [sw01589]
  • Reasoning (CBR) has been used to improve knowledge management in corporate activities. It was initially ... solving and then for facilitating the distribution of knowledge and experiences. Since conversational CBR appeared...
  • CCSP

  • Referenced in 14 articles [sw00111]
  • CCSP: A formal system for distributed program debugging. One of the major problems with programming ... appear random, but when given a complete knowledge of the specific run-time bahavior ... Unfortunately, this complete knowledge is not generally atainable in a distributed system. In order...
  • MAFRA

  • Referenced in 15 articles [sw02353]
  • FRAmework for distributed ontologies. Ontologies as means for conceptualizing and structuring domain knowledge within ... consensus across communities difficult, thus, hampering efficient knowledge sharing between them. In order to balance ... need for interoperability, mapping mechanisms between distributed ontologies in the Semantic Web are required...
  • ZEUS

  • Referenced in 7 articles [sw07744]
  • toolkit for building distributed multiagent systems. The multiagent systems approach of knowledge- level cooperation between...
  • MEBN

  • Referenced in 15 articles [sw02784]
  • graphical models with repeated sub-structures. Knowledge is encoded as a collection of Bayesian network ... distribution over possibly unbounded numbers of hypotheses, and uses Bayesian learning to refine a knowledge...
  • DNest4

  • Referenced in 3 articles [sw25767]
  • compute properties of the posterior distribution, describing knowledge of unknown quantities in the context ... complex problems including many where the posterior distribution is multimodal or has strong dependencies between...
  • PaQuBE

  • Referenced in 5 articles [sw06998]
  • PaQuBE: Distributed QBF solving with advanced knowledge sharing. n this paper we present the parallel ... distributed processes. Furthermore, PaQuBE’s progressive parallel framework is the first to support advanced knowledge...
  • Orange4WS

  • Referenced in 4 articles [sw27294]
  • science involve mining of distributed, highly heterogeneous data and knowledge sources. However, standard data mining ... data mining algorithms in the process of knowledge discovery from local data sources. In contrast ... data mining technologies should enable processing of distributed data sources, the use of data mining ... formal descriptions of data sources and knowledge discovery tools in the form of ontologies, enabling...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • protocol for mathematical services based on KQML (Knowledge Query and Manipulation Language) and OMRS (Open ... semantics to communication of mathematical services in distributed theorem proving and symbolic computation environments...
  • ROCK

  • Referenced in 68 articles [sw37720]
  • data mining, is useful to discover distribution patterns in the underlying data. Clustering algorithms usually ... expert/similarity table is the only source of knowledge. In addition to presenting detailed complexity results...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • ideal platform for both general-purpose distributed applications as well as for hard problems requiring ... applications in natural language understanding and knowledge representation, in scheduling and time-tabling...
  • Racer

  • Referenced in 65 articles [sw09837]
  • Racer is a knowledge representation system that implements a highly optimized tableau calculus ... encoding* :default) should be evaluated. Racer is distributed under the following BSD 3-clause license...
  • BayesOpt

  • Referenced in 6 articles [sw12003]
  • builds a posterior distribution to capture the evidence and prior knowledge of the target function...