1615 search results - page 94 / 323 » Computer science and decision theory |
102
Voted
FOCS
1998
IEEE
15 years 4 months ago
1998
IEEE
We present a higher-order functional notation for polynomial-time computation with arbitrary 0; 1-valued oracle. This provides a linguistic characterization for classes such as np...
74
Voted
SIGECOM
2010
ACM
15 years 5 months ago
2010
ACM
We report on a series of highly controlled human subject experiments in networked bargaining. The basic interaction between two players is the decision of how to share a mutual pa...
74
Voted
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Once the decision to outsource an activity has been made, managers are faced with issues related to the management of the relationship with their service providers. A critical ele...
113
click to vote
TLCA
2007
Springer
15 years 6 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
89
Voted
ITICSE
2005
ACM
15 years 6 months ago
2005
ACM
This paper describes research on the perception of undergraduate students of the concept of reduction. Specifically, based on an analysis of students' answers to questions ad...