• PRISM

  • Referenced in 397 articles [sw01186]
  • probabilistic systems. PRISM supports three probabilistic models: discrete-time Markov chains, Markov decision processes ... Analysis is performed through model checking such systems against specifications written in the probabilistic temporal...
  • FRIL

  • Referenced in 44 articles [sw18490]
  • knowledge engineering including expert and decision-support systems, evidential and case-based reasoning, fuzzy control...
  • PariTOP

  • Referenced in 31 articles [sw00681]
  • Quebec’s municipal taxation system, the tax burden is allocated according to the market value ... estimates. This article presents PariTOP, a decision-support system that uses mathematical programming in general ... Modellium, a Canadian company that develops decision-support systems...
  • PREFDIS

  • Referenced in 22 articles [sw11030]
  • PREFDIS: A multicriteria decision support system for sorting decision problems. This paper, following the methodological ... presents the PREFDIS (PREFerence DIScrimination) multicriteria decision support system to study sorting decision problems...
  • Metagraphs

  • Referenced in 20 articles [sw01368]
  • Metagraphs: A tool for modeling decision support systems Most decision support systems (DSS) contain stored...
  • SONET

  • Referenced in 22 articles [sw10644]
  • SONET Toolkit: A Decision Support System for Designing Robust and Cost-Effective Fiber-Optic Networks ... Bellcore has built the SONET Toolkit decision support software to design robust fiber-optic networks ... protection requirements. Use of this software system by the Bellcore client companies has saved...
  • 4eMka2

  • Referenced in 52 articles [sw16168]
  • decision support, combining advantages of rough sets and dominance relation. The purpose of this system ... resolving of multi-criteria sorting problems. System can be used in many different areas ... data sets. The main difference between this system and the ones that are already ... multi-criteria decision support. The main function of the system is extraction of the classification...
  • IPSSIS

  • Referenced in 14 articles [sw07158]
  • IPSSIS: an integrated multicriteria decision support system for equity portfolio construction and selection A fundamental ... investor must choose, given his preference system. One criticism over these models, which has often ... fail to embody the objectives of the decision maker (DM), through the various stages ... Integrated Portfolio Synthesis and Selection Information System) decision support system (DSS). The validity...
  • MARKEX

  • Referenced in 10 articles [sw10912]
  • MARKEX: An intelligent decision support system for product development decisions. A new methodology ... paper. The system acts as a consultant for marketers, providing visual support to enhance understanding ... enterprises involved in the decision making process. The system’s model base encompasses statistical analysis ... MARKEX incorporates partial knowledge bases to support decision makers in different stages of the product...
  • ISAAP

  • Referenced in 10 articles [sw07468]
  • aspiration-based preferences. Model-based Decision Support Systems (DSSs) often use multi-criteria optimization ... MCMA ) for multi-criteria analysis of decision problems that can be represented as Linear Programming...
  • CVC4

  • Referenced in 99 articles [sw09485]
  • Iowa, CVC4 aims to support the features of CVC3 and SMT-LIBv2 while optimizing ... design of the core system architecture and decision procedures to take advantage of recent engineering...
  • CHAN4CAST

  • Referenced in 6 articles [sw08901]
  • Channel Multi-Region Forecasting Model and Decision Support System for Pepsico. Pepsico developed a model ... decision support system called CHAN4CAST to forecast sales for consumer packaged goods. The model decomposes...
  • PROBE

  • Referenced in 6 articles [sw16216]
  • PROBE multicriteria decision support system for portfolio robustness evaluation. This paper addresses the problem ... overall benefit. We present a new decision support system, PROBE (Portfolio Robustness Evaluation ... competitors, and the regret a decision-maker may have by selecting the proposed portfolio instead...
  • PROBO

  • Referenced in 7 articles [sw23060]
  • PROBO: An interactive system in fuzzy linear programming. This paper presents ... analysis and design of an interactive decision support system for fuzzy optimization problems, which allows...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • systems in a language based on rules controlled by strategies. Its purpose is to support ... provers, logic programming languages, constraints solvers and decision procedures and to offer a modular framework ... support the design of theorem provers, logic programming languages, constraints solvers and decision procedures ... both the logical framework in which deduction systems can be expressed and combined...
  • ARGOS

  • Referenced in 7 articles [sw03273]
  • facilitate the procedure, a group decision support system (GDSS) was fed by four evaluation matrices ... criteria procedure of candidates’ selection and ranking supported by the software ARGOS (acronym ... made by a group of decision makers using an outranking support). This GDSS allows...
  • LOOPS

  • Referenced in 6 articles [sw01456]
  • general framework for a decision support system (DSS) and on the other hand answers some ... partially neglected questions in multiple criteria decision making (MCDM). These are, for instance: How should...
  • DSSAT

  • Referenced in 6 articles [sw11137]
  • Decision Support System for Agrotechnology Transfer (DSSAT) is a software application program that comprises crop ... crops (as of v4.5). DSSAT is supported by data base management programs for soil, weather ... consultants, extension agents, growers, and policy and decision makers in over 100 countries worldwide...
  • MOIRA

  • Referenced in 3 articles [sw16200]
  • MOIRA: a decision support system for decision making on aquatic ecosystems contaminated by radioactive fallout ... effects. Decision makers must carefully evaluate possible impacts before choosing a countermeasure, hence decision analysis ... aquatic ecosystem. We describe MOIRA, a decision support system for the identification of optimal remedial ... implemented in a PC based decision support system which allows the inclusion of all relevant...
  • MAPP

  • Referenced in 3 articles [sw15729]
  • MAPP – A web-based decision support system for the mould industry. This paper describes ... Assistant Production Planner”, a web-based decision support system developed for the mould industry. MAPP ... system functions at the service of the planning methodology, and to explain the development decisions...