1615 search results - page 162 / 323 » Computer science and decision theory |
112
Voted
JMM2
2007
15 years 20 days ago
2007
— This thesis explores the creative possibilities and implications of Augmented Reality, not just as a specific technology of computer science, but as one of high technologies th...
122
Voted
MSCS
2000
15 years 16 days ago
2000
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...
114
Voted
TCS
2002
15 years 12 days ago
2002
We investigate Martin's game (as described in Arruda et al. (Eds.), On Random R. E. Sets, Non-Classical Logics, Model Theory and Computability, North-Holland, Amsterdam, 1977...
119
Voted
CSCW
2008
ACM
15 years 26 days ago
2008
ACM
There is a growing need for distributed teams to analyze complex and dynamic data streams and make critical decisions under time pressure. Via a case study, we discuss potential g...
92
Voted
CCS
2004
ACM
15 years 6 months ago
2004
ACM
We examine the problem of providing useful feedback about access control decisions to users while controlling the disclosure of the system’s security policies. Relevant feedback...