851 search results - page 32 / 171 » Inaccessibility in Decision Procedures |
ASIAMS
2008
IEEE
13 years 9 months ago
2008
IEEE
Multicriteria analysis can be incorporated as a method to model preferences and facilitate decision making within a group of decision makers. In this paper we present a Group Deci...
WCE
2007
13 years 8 months ago
2007
—The research efforts of the DECIDE Research Group have resulted in a decision tool capable of handling imprecise information in complex decision situations. Some of the research...
WSC
2007
13 years 10 months ago
2007
Decision making in complex environments in the face of uncertain and missing information is a daunting task. We describe a modeling and simulation based approach to providing plan...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Much research concerning Satisfiability Modulo Theories is devoted to the design of efficient SMT-solvers that integrate a SATsolver with T -satisfiability procedures. The rewrite-...
ERSHOV
2006
Springer
13 years 9 months ago
2006
Springer
We improve the decision procedure from [10] for the problem of generalized soundness of workflow nets. A workflow net is generalized sound iff every marking reachable from an initi...