• PAINT

  • Referenced in 12 articles [sw10390]
  • optimized with any interactive method to make decisions concerning the original problem. When the scalarizations...
  • DEX

  • Referenced in 12 articles [sw27282]
  • Shell for Multi-Attribute Decision Making. DEX is an interactive computer program for the development ... support of decision-makers in complex decision-making problems: given a set of options (alternatives...
  • IMOST

  • Referenced in 8 articles [sw02141]
  • IMOST: Interactive multiple objective system technique An interactive multiple objective system technique (IMOST) is investigated ... robustness of multiple objective decision making (MODM) methodologies. The interactive concept provides a learning process ... about the system, whereby the decision maker can learn to recognize good solutions, the relative ... logical order. It encompasses the decision-making processes of formulating problems, constructing a model, solving...
  • E-NAUTILUS

  • Referenced in 4 articles [sw17037]
  • with the solution process in the interactive decision making stage, no new optimization problem...
  • CrossGrid

  • Referenced in 12 articles [sw01979]
  • model needs the interaction of an expert in order to make decisions about modifications...
  • LIRA

  • Referenced in 8 articles [sw21270]
  • order logic. Interactive theorem provers like pvs also make use of such decision procedures...
  • DEXi

  • Referenced in 3 articles [sw27281]
  • program for multi-attribute decision making. It is aimed at interactive development of qualitative multi ... This is useful for supporting complex decision-making tasks, where there is a need...
  • kappalab

  • Referenced in 53 articles [sw06086]
  • indices such as the Shapley value, the interaction index, the orness degree, etc. The well ... used in the framework of multicriteria decision making or cooperative game theory...
  • INSITE

  • Referenced in 3 articles [sw29649]
  • called INSITE – a) to accurately track users interactions with a web space with minimum overhead ... captured data in making meaningful decisions about user interaction with a web site...
  • NESTOR

  • Referenced in 27 articles [sw22096]
  • existing problems in computer-aided medical decision making, a computer program called NESTOR has been ... physicians should have control of the computer interaction to determine what is done and when...
  • PREFDIS

  • Referenced in 23 articles [sw11030]
  • methods, the decision maker (DM) can develop interactively powerful additive utility models to sort ... user interface of the system enables the decision maker/user to take full advantage ... capabilities of the system in order to make effective real-time decisions...
  • ARVis

  • Referenced in 8 articles [sw06648]
  • Interactive visual exploration of association rules with rule-focusing methodology. On account of the enormous ... order to find relevant knowledge for decision making, the user (a decision maker specialized ... here propose the rule-focusing methodology, an interactive methodology for the visual post-processing...
  • PEORL

  • Referenced in 5 articles [sw29437]
  • Hierarchical Reinforcement Learning for Robust Decision-Making. Reinforcement learning and symbolic planning have both been ... agents. Reinforcement learning relies on learning from interactions with real world, which often requires ... reinforcement learning (HRL) to cope with decision-making in a dynamic environment with uncertainties. Symbolic...
  • CAMOS

  • Referenced in 3 articles [sw33630]
  • facilitate the interactive processes considering both input/output information arrangement and multicriterion decision making problems. Several...
  • FITradeoff

  • Referenced in 15 articles [sw33553]
  • models in MAVT scope. The Flexible and Interactive Tradeoff (FITradeoff), is a multicriteria method proposed ... FITradeoff method uses partial information about decision maker (DM) preferences for choice and ranking problematics ... does not have to make adjustments for the indifference between two consequences (tradeoff), which...
  • Regex_Equivalence

  • Referenced in 7 articles [sw32229]
  • common framework makes it possible to compare the performance of the different decision procedures ... paper of the same name presented at Interactive Theorem Proving...
  • Volcano

  • Referenced in 22 articles [sw30956]
  • parallel query evaluation system. To investigate the interactions of extensibility and parallelism in database query ... evaluation plans that allow delaying selected optimization decisions until run-time, e.g., for embedded queries ... data manipulation and parallelism have become orthogonal, making Volcano the first implemented query execution engine...
  • Tecton

  • Referenced in 9 articles [sw28905]
  • proof formalism. It is designed to make interactive proof construction easier than with previous proof ... inference mechanisms, along with a linear arithmetic decision procedure. Further development of the system...
  • TRELLIS

  • Referenced in 4 articles [sw00977]
  • TRELLIS provides an interactive environment that allows users to add their observations, opinions, and conclusions ... they analyze information by making semantic annotations about on-line documents. TRELLIS includes a vocabulary ... markup language for semantic annotations of decisions and tradeoffs, and allows users to extend this...
  • AccuWeather

  • Referenced in 1 article [sw34488]
  • digital media, today introduced AccUcast, an exciting interactive crowdsourcing feature available in the AccuWeather universal ... worldwide make more informed decisions, providing a new level of localization and user interactivity...