803 search results - page 125 / 161 » Game Theory and Decision Theory in Multi-Agent Systems |
EUSFLAT
2007
15 years 3 months ago
2007
Fuzzy arithmetic is a powerful tool in many engineering problems such as decision making, control theory, fuzzy systems and approximate reasoning. However, it is well known that t...
160
click to vote
ASIAN
2009
Springer
15 years 3 months ago
2009
Springer
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
207
click to vote
LPAR
2010
Springer
14 years 12 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
142
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
In Artificial Intelligence with Coalition Structure Generation (CSG) one refers to those cooperative complex problems that require to find an optimal partition, maximising a soci...
118
click to vote
CHI
2010
ACM
15 years 8 months ago
2010
ACM
Interest has been growing within HCI on the use of machine learning and reasoning in applications to classify such hidden states as user intentions, based on observations. HCI res...