2273 search results - page 205 / 455 » On the Expressiveness and Complexity of ATL |
174
click to vote
JAPLL
2010
15 years 5 months ago
2010
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
176
click to vote
SAMOS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract—Geometric Algebra (GA), a generalization of quaternions, is a very powerful form for intuitively expressing and manipulating complex geometric relationships common to en...
192
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
180
click to vote
TISSEC
2010
15 years 5 months ago
2010
Privacy has been acknowledged to be a critical requirement for many business (and non-business) environments. Therefore, the definition of an expressive and easy-to-use privacyre...
218
click to vote
WCNC
2010
IEEE
15 years 4 months ago
2010
IEEE
—We consider the application of switch-and-stay transmit diversity (SSTD) to a three-node cooperative diversity system with decode-and-forward relaying. The basic idea of SSTD ge...