• MUSer2

  • Referenced in 11 articles [sw13403]
  • practical applications, including product configuration, knowledge-based validation, hardware and software design and verification. This...
  • McEliece

  • Referenced in 194 articles [sw02076]
  • quantum cryptographic algorithms, e.g. McEliece, on microprocessor-based platforms has been extremely raised ... microprocessor. To the best of our knowledge, this is the first time that such side...
  • DISCOUNT

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

  • Referenced in 9 articles [sw21530]
  • robustly perform tasks based on abstract instructions, robots need sophisticated knowledge processing methods. These methods ... different structure into a coherent knowledge base. To this end we propose the {sc KnowRob...
  • MaLeCoP

  • Referenced in 19 articles [sw07197]
  • Learning Connection Prover. Probabilistic guidance based on learned knowledge is added to the connection tableau ... MaLARea system. While in MaLA Rea learning-based axiom selection is done outside unmodified theorem ... based selection is done inside the prover, and the interaction between learning of knowledge...
  • MARKEX

  • Referenced in 10 articles [sw10912]
  • consumer choice models. MARKEX incorporates partial knowledge bases to support decision makers in different stages...
  • SETHEO

  • Referenced in 114 articles [sw00707]
  • deals with a theoretical background and practical knowledge of the implementation of the interesting system ... first order logic. The system is based on the connection method and is proved...
  • ROSETTA

  • Referenced in 22 articles [sw10969]
  • design and implementation of a knowledge discovery toolkit based on rough set -- the ROSETTA system ... front-end developed for knowledge discovery in an interactive setting. Issues springing from the overall...
  • NAXPERT

  • Referenced in 6 articles [sw01117]
  • NAXPERT contains a user interface, a knowledge base, a knowledge engine and an explanation facility ... that describe relations between keywords. The knowledge base, the knowledge engine and all NAXPERT facilities...
  • NOEMON

  • Referenced in 10 articles [sw02384]
  • those measurements and accommodated in a knowledge base. The suggestion on the most appropriate classifier...
  • LOUI

  • Referenced in 10 articles [sw19627]
  • editor for adding and maintaining the knowledge base. LΩUI is realized in an agent-based...
  • IDP

  • Referenced in 5 articles [sw23254]
  • knowledge Base System (KB-system) for the FO(·) language. A Knowledge Base system ... forms of inferences for he same Knowledge Base. FO(·) is an extension of first-order ... page. For a motivation of the Knowledge Base paradigm, see an application for interactive configuration...
  • GigaTensor

  • Referenced in 5 articles [sw23741]
  • predicates (subject, verb, object) in knowledge bases, hyperlinks and anchor texts in the Web graphs ... hundreds thousands of nonzeros. Consider a knowledge base tensor consisting of about 26 million noun ... rendering the tensor analysis of this knowledge base, in the naive way, practically impossible ... analyze a very large real world, knowledge base tensor and present our astounding findings which...
  • ODEXPERT

  • Referenced in 9 articles [sw13889]
  • solvers. ODEXPERT is a prototype knowledge-based system which selects the appropriate numerical solvers ... equations. It is capable of deriving some knowledge about the input problem by performing automated...
  • CAPP

  • Referenced in 9 articles [sw03233]
  • design and manufacturing. Moreover, the reliable knowledge based computer-aided process planning applicationMetCAPP software looks...
  • VAMPIR

  • Referenced in 20 articles [sw09406]
  • Performance analysis most often is based on the detailed knowledge of program behavior. One option...
  • DMCS

  • Referenced in 6 articles [sw09818]
  • comprises of two parts: a local knowledge base and a set of bridge rules that ... information to the knowledge base. In this setting, contexts are loosely coupled, and may model...
  • TETRAD

  • Referenced in 345 articles [sw12177]
  • sophistication of the user and no programming knowledge. It is not intended to replace flexible ... effects of interventions or experiments based on a model. All of its search procedures...
  • STRINGVACUA

  • Referenced in 41 articles [sw00920]
  • requires no knowledge of the mathematics upon which it is based. A series of easy...