• VIKOR

  • Referenced in 39 articles [sw38339]
  • assuming that compromising is acceptable for conflict resolution, the decision maker wants a solution that ... alternatives in the presence of conflicting criteria, and on proposing compromise solution (one or more...
  • Dynamo

  • Referenced in 30 articles [sw27495]
  • object versioning and application-assisted conflict resolution in a manner that provides a novel interface...
  • BerkMin

  • Referenced in 160 articles [sw06917]
  • clause recording, fast BCP, restarts, and conflict clause “aging”. At the same time BerkMin introduces ... compare BerkMin with Chaff, the leader among resolution-based SAT-solvers. Experiments show that...
  • Scavenger

  • Referenced in 3 articles [sw23945]
  • theorem prover based on conflict resolution. This paper introduces Scavenger, the first theorem prover ... without equality based on the new conflict resolution calculus. Conflict resolution has a restricted resolution ... clauses by (a first-order generalization of) conflict-driven clause learning...
  • MIRROR

  • Referenced in 3 articles [sw02280]
  • novel state-based real-time conflict resolution mechanism. In this scheme, the choice of conflict ... resolution method is a dynamic function of the states of the distributed transactions involved ... conflict. A feature of the design is that acquiring the state knowledge does not require ... MIRROR’s simple to implement conflict resolution mechanism works almost as well as more sophisticated...
  • KIMA

  • Referenced in 3 articles [sw13347]
  • Computer-supported resolution of measurement conflicts: A case-study in materials science. Resolving conflicts between ... computer support for the task of conflict resolution has become highly desirable. We describe ... method for model-based conflict resolution and the accompanying computer tool KIMA, which have been...
  • ContentCVS

  • Referenced in 6 articles [sw13210]
  • changes concurrently to an ontology. Conflict detection and resolution are based on novel techniques that...
  • CREAM

  • Referenced in 1 article [sw02324]
  • mediator approach, we have implemented a Conflict Resolution Environment for Autonomous Mediation (CREAM) system ... theoretical framework for semantic conflict detection and resolution methodology can be found in a paper ... large number of semantic and syntactic conflicts among heterogeneous databases. We have tried to minimize ... while trying to automate the heterogeneous conflict resolution process...
  • MAPBOT

  • Referenced in 1 article [sw13630]
  • evaluates experimentally, an agent-oriented graphical conflict resolution procedure, which demonstrates the potential for conflict...
  • MOBY

  • Referenced in 1 article [sw31032]
  • models. The simulator contains a sophisticated conflict resolution component, which allows to reduce the combinatorial...
  • Society Visualiser

  • Referenced in 10 articles [sw20845]
  • norm-governed computational societies. Electronic markets, dispute resolution and negotiation protocols are three types ... characteristics of such societies are agent heterogeneity, conflicting individual goals and unpredictable behavior. Members...
  • HaifaSat

  • Referenced in 5 articles [sw00397]
  • heuristic like Berkmin. According to this model, conflict clauses are abstractions of the clauses from ... done in Berkmin. We also show a resolution-based score function for choosing the variable...
  • BARON

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

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

  • Referenced in 5296 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 257 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6235 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13100 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MetiTarski

  • Referenced in 52 articles [sw00573]
  • Many inequalities involving the functions ln, exp, sin...
  • MiniSat

  • Referenced in 558 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...