Sciweavers

803 search results - page 92 / 161
» Game Theory and Decision Theory in Multi-Agent Systems
Sort
View
SP
2008
IEEE
132views Security Privacy» more  SP 2008»
13 years 7 months ago
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
Michael Backes, Matteo Maffei, Dominique Unruh
HT
2003
ACM
14 years 2 months ago
HyperReal: a hypermedia model for mixed reality
This paper describes a generic hypermedia model that is used as a framework for building context aware and mixed reality applications. It can handle different media elements, and ...
Luís Romero, Nuno Correia
CHI
2004
ACM
14 years 9 months ago
Affective sensors, privacy, and ethical contracts
Sensing affect raises critical privacy concerns, which are examined here using ethical theory, and with a study that illuminates the connection between ethical theory and privacy....
Carson Reynolds, Rosalind W. Picard
IUI
2000
ACM
14 years 1 months ago
Adaptation in automated user-interface design
Design problems involve issues of stylistic preference and flexible standards of success; human designers often proceed by intuition and are unaware of following any strict rule-b...
Jacob Eisenstein, Angel R. Puerta
ATAL
2011
Springer
12 years 9 months ago
Information elicitation for decision making
Proper scoring rules, particularly when used as the basis for a prediction market, are powerful tools for eliciting and aggregating beliefs about events such as the likely outcome...
Yiling Chen, Ian A. Kash