7943 search results - page 35 / 1589 » A calculus for costed computations |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resul...
AEI
2007
13 years 7 months ago
2007
This paper presents three CBR systems that have been developed over seven years in collaboration with two industrial partners. In this research, case based reasoning (CBR) is used...
EAGC
2004
Springer
14 years 24 days ago
2004
Springer
HCI
2007
13 years 8 months ago
2007
Responding to computer-initiated notifications requires a shift in attention that disrupts the flow of work. The degree of cost associated with resuming the original task following...
AAAI
2010
13 years 7 months ago
2010
The goal of testing is to discriminate between multiple hypotheses about a system--for example, different fault diagnoses--by applying input patterns and verifying or falsifying t...