Sciweavers

3628 search results - page 51 / 726
» The Decision Diffie-Hellman Problem
Sort
View
ECAI
2006
Springer
14 years 16 days ago
Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework
Several formalisms exist to express and solve decision problems. Each is designed to capture different kinds of knowledge: utilities expressing preferences, uncertainties on the en...
Cédric Pralet, Gérard Verfaillie, Th...
CAV
2009
Springer
123views Hardware» more  CAV 2009»
14 years 25 days ago
On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
David Monniaux
FUZZIEEE
2007
IEEE
14 years 3 months ago
Visualizing Consensus in Group Decision Making Situations
Abstract— In the resolution of group decision making problems the consensus process, that is, the process where experts discuss about the alternatives to narrow their differences...
Sergio Alonso, Enrique Herrera-Viedma, Francisco J...
ICRA
2007
IEEE
175views Robotics» more  ICRA 2007»
14 years 3 months ago
A Decision-Making Framework for Control Strategies in Probabilistic Search
Abstract— This paper presents the search problem formulated as a decision problem, where the searcher decides whether the target is present in the search region, and if so, where...
Timothy H. Chung, Joel W. Burdick
AIPS
2008
13 years 11 months ago
Stochastic Planning with First Order Decision Diagrams
Dynamic programming algorithms have been successfully applied to propositional stochastic planning problems by using compact representations, in particular algebraic decision diag...
Saket Joshi, Roni Khardon