635 search results - page 102 / 127 » Reasoning About Quantum Knowledge |
ARGMAS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We introduce a special family of (assumption-based argumentation) frameworks for reasoning about the bene ts of decisions. These frameworks can be used for representing t...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
The ability to proactively offer assistance promises to make personal agents more helpful to their users. We characterize the properties desired of proactive behaviour by a person...
CRYPTO
2009
Springer
14 years 4 months ago
2009
Springer
We present the first signature scheme which is “short”, stateless and secure under the RSA assumption in the standard model. Prior short, standard model signatures in the RSA...
PPDP
2009
Springer
14 years 4 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— Knowledge of the driving environment is essential for robotic vehicles to comply with traffic rules while autonomously traversing intersections. However, due to limite...