• MARKEX

  • Referenced in 10 articles [sw10912]
  • MARKEX: An intelligent decision support system for product development decisions. A new methodology ... development of new products and an intelligent DSS, named MARKEX, which is an implementation ... paper. The system acts as a consultant for marketers, providing visual support to enhance understanding ... lack of expertise. The databases of the system are the results of consumer surveys...
  • FRIL

  • Referenced in 44 articles [sw18490]
  • Fril - Fuzzy and Evidential Reasoning in Artificial Intelligence. Presents a theory of uncertainty, consistent with ... knowledge engineering including expert and decision-support systems, evidential and case-based reasoning, fuzzy control...
  • PROBO

  • Referenced in 7 articles [sw23060]
  • interactive decision support system for fuzzy optimization problems, which allows intelligent decisions according...
  • SIMPSON

  • Referenced in 1 article [sw33530]
  • what we learned into a intelligent decision support system. That system has been fielded ... short-term intelligent manufacturing planning support for nuclear fuel tubes system (SIMPSON) is part ... combined OR/AI approach to system design could provide more robust decision support than would either...
  • OpenMarkov

  • Referenced in 2 articles [sw14326]
  • Research Centre for Intelligent Decision-Support Systems of the UNED in Madrid, Spain...
  • ESY

  • Referenced in 5 articles [sw16177]
  • evaluation framework has been developed to support the assessment of the costs and benefits ... order to help the decision makers gain insight into the decision problem and clarify their ... decision makers gain insight into the decision problem and refine the decision parameters. An intelligent ... decision system has been developed to demonstrate the feasibility of the framework...
  • LMS evaluation

  • Referenced in 3 articles [sw13017]
  • intelligence fuzzy logic algorithm There are many open source and commercially available Learning Management System ... selection of an LMS. The developed system is web-based and can easily be used ... system is basically a web-based decision support system used to evaluate LMSs by using ... flexible and smart algorithm derived from artificial intelligent concepts with fuzzy logic values. The paper...
  • MADP toolbox

  • Referenced in 1 article [sw23885]
  • Decision Process (MADP) Toolbox, a software library to support planning and learning for intelligent agents ... multiagent systems in uncertain environments. Key features are that it supports partially observable environments ... support for single- and multiagent systems; provides a large number of models for decision-theoretic...
  • ALSE

  • Referenced in 1 article [sw42025]
  • decision and planning support tool for tropical and subtropical crops. Highlights: ALSE as an intelligent ... system for land evaluation using the FAO-SYS model ... management expertise. GIS–MCE support systems that assist decision-makers on land suitability evaluation. ALSE...
  • ABLE

  • Referenced in 4 articles [sw29874]
  • agent framework, a comprehensive JavaBeans™ library of intelligent software components, a set of development ... closed-loop controller agent that supports hierarchical distributed control. The Subsumption agent defines specific behaviors ... system itself and its environment, and components for emotions, planning, and executive-level decision-making ... incrementally add new behaviors and capabilities to intelligent, autonomic systems...
  • D-SCIDS

  • Referenced in 3 articles [sw29719]
  • computing intrusion detection system. An Intrusion Detection System (IDS) is a program that analyzes what ... environment, DIDS are implemented using co-operative intelligent agents distributed across the network(s). This ... with other machine learning techniques like decision trees, support vector machines and linear genetic programming...
  • MUDD

  • Referenced in 2 articles [sw27674]
  • dimensional data generator. Today’s business intelligence systems consist of hundreds of processors with disk ... These systems usually contain terabytes of data. Evaluating database system performance of such systems often ... Foremost, in order to analyze large scale systems, data generators need to be able ... Originally designed for TPC-DS, a decision support benchmark being developed by the TPC, MUDD...
  • BaRT

  • Referenced in 2 articles [sw01950]
  • inference routines. The current version of BaRT supports three knowledge representations: Bayesian networks, influence diagrams ... implemented. The relationship between BaRT system and CSRL is straightforward: BaRT implementation allows arbitrary subclass ... decision aid for classifying ship images, and as the reasoning component of a system concerned ... with analysing intelligence reports. Because all of BaRT’s capabilities are based on sound probabilistic...
  • ACL2

  • Referenced in 291 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BARON

  • Referenced in 361 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3221 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • iOpt

  • Referenced in 8 articles [sw00448]
  • iOpt: A software toolkit for heuristic search methods...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...