2649 search results - page 147 / 530 » Argumentation for Decision Support |
160
click to vote
AMAI
2004
Springer
15 years 11 months ago
2004
Springer
The majority of the work in the area of Markov decision processes has focused on expected values of rewards in the objective function and expected costs in the constraints. Althou...
221
click to vote
ICDT
2011
ACM
14 years 9 months ago
2011
ACM
The goal of Knowledge Compilation is to represent a Boolean expression in a format in which it can answer a range of online-queries in PTIME. The online-query of main interest to ...
141
click to vote
LPAR
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
186
click to vote
AP2PC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Peer-to-peer (P2P) architectures exhibit attractive properties for a wide range of real world systems. As a result they are increasingly being applied in the design of ap...
173
click to vote
CRYPTO
2001
Springer
15 years 11 months ago
2001
Springer
Recently the braid groups were introduced as a new source for cryptography. The group operations are performed efficiently and the features are quite different from those of other...