• HIPRE 3+

  • Referenced in 13 articles [sw04710]
  • HIPRE 3+ is a decision support software integrating the two most well known easy...
  • CBMC

  • Referenced in 77 articles [sw09719]
  • ANSI-C and C++ programs. It also supports SystemC using Scoot. It allows verifying array ... decision procedure. While CBMC is aimed for embedded software, it also supports dynamic memory allocation...
  • BioPortal

  • Referenced in 12 articles [sw22917]
  • data annotation, natural-language processing and decision support. BioPortal (http://bioportal.bioontology.org) is an open repository...
  • DEX

  • Referenced in 11 articles [sw27282]
  • options. It is aimed at the support of decision-makers in complex decision-making problems ... explanation of the evaluation results; group decision-making support...
  • PROBE

  • Referenced in 7 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...
  • 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...
  • IRIS

  • Referenced in 10 articles [sw07075]
  • Inference for multicriteria Sorting) is a Decision Support Software designed to address the problem...
  • CVC4

  • Referenced in 107 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...
  • FOCI

  • Referenced in 58 articles [sw12868]
  • decision procedure for quantifier-free first-order formulas. It supports certain interpreted theories, such...
  • 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 ... group of decision makers using an outranking support). This GDSS allows a team of decision ... with the two phases of a group decision process: the multiple criteria preference aggregation performed...
  • DSSAT

  • Referenced in 8 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...
  • TituRel

  • Referenced in 8 articles [sw08501]
  • fuzzy considerations, theory extraction, social choice, decision support via interval orderings, etc. TituRel supports algebraic...
  • KeyGraph

  • Referenced in 8 articles [sw24377]
  • properties and classify them to provide decision support for the department of public security intelligence...
  • libDDD

  • Referenced in 8 articles [sw04096]
  • decision diagrams. Main features include:Flexible and powerful encoding of operations using inductive homomorphisms; Support ... hierarchy of the description with SDD; Automatic support for saturation style algorithms; A priori unbounded ... constraint allowing to store variable length decision paths; Supports both Data Decision Diagrams which...
  • Decision Lab 2000

  • Referenced in 5 articles [sw18591]
  • multi-criteria analysis and decision support software. For this review, the software package has been ... features and the aids for group decision support are being assessed...
  • PROBO

  • Referenced in 7 articles [sw23060]
  • analysis and design of an interactive decision support system for fuzzy optimization problems, which allows...
  • ORESTE

  • Referenced in 7 articles [sw16463]
  • present an application of an MCDM decision support software (ORESTE) in an industrial context...
  • NeXCLass

  • Referenced in 4 articles [sw00619]
  • This paper presents NexClass, a Decision Support System (DSS) which supports classification of alternatives into ... category, a threshold is defined by the decision maker, which indicates its limit with respect ... providing a user-friendly interface, which supports decision makers to formulate and solve classification problems ... proposed methodology and the DSS effectively support decision makers in classification decisions...
  • 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...