Sciweavers

3628 search results - page 112 / 726
» The Decision Diffie-Hellman Problem
Sort
View
ASIAN
2009
Springer
274views Algorithms» more  ASIAN 2009»
13 years 10 months ago
Reducing Equational Theories for the Decision of Static Equivalence
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...
Steve Kremer, Antoine Mercier 0002, Ralf Treinen
AAI
2008
101views more  AAI 2008»
13 years 9 months ago
A Replanning Algorithm for Decision Theoretic Hierarchical Planning: Principles and Empirical Evaluation
In this paper, we present a replanning algorithm for a decision-theoretic hierarchical planner, illustrate the experimental methodology we designed to investigate its performance,...
Guido Boella, Rossana Damiano
CORR
2006
Springer
109views Education» more  CORR 2006»
13 years 9 months ago
Decision Making with Side Information and Unbounded Loss Functions
We consider the problem of decision-making with side information and unbounded loss functions. Inspired by probably approximately correct learning model, we use a slightly differe...
Majid Fozunbal, Ton Kalker
INFORMATICALT
2006
96views more  INFORMATICALT 2006»
13 years 9 months ago
Evaluation of Ranking Accuracy in Multi-Criteria Decisions
The paper analyses the problem of ranking accuracy in multiple criteria decision-making (MCDM) methods. The methodology for measuring the accuracy of determining the relative signi...
Edmundas Kazimieras Zavadskas, Algimantas Zakarevi...
KI
2008
Springer
13 years 9 months ago
Repairing Decision-Theoretic Policies Using Goal-Oriented Planning
In this paper we address the problem of how decision-theoretic policies can be repaired. This work is motivated by observations made in robotic soccer where decisiontheoretic polic...
Christoph Mies, Alexander Ferrein, Gerhard Lakemey...