Sciweavers

2889 search results - page 477 / 578
» An empirical study of
Sort
View
ICMAS
1998
15 years 7 months ago
Leveled Commitment Contracting among Myopic Individually Rational Agents
In automated negotiation systems consisting of selfinterested agents, contracts have traditionally been binding, i.e., impossible to breach. Such contracts do not allow the agents...
Martin Andersson, Tuomas Sandholm
GRAPHICSINTERFACE
1997
15 years 7 months ago
The Immediate Usability of Graffiti
We present four empirical measures of the immediate usability of Graffiti, a character recognizer for pen-based computers. Since speed is fully controlled by the user, we measured...
I. Scott MacKenzie, Shawn X. Zhang
ATAL
2010
Springer
15 years 7 months ago
Cultivating desired behaviour: policy teaching via environment-dynamics tweaks
In this paper we study, for the first time explicitly, the implications of endowing an interested party (i.e. a teacher) with the ability to modify the underlying dynamics of the ...
Zinovi Rabinovich, Lachlan Dufton, Kate Larson, Ni...
CADE
2010
Springer
15 years 7 months ago
A Slice-Based Decision Procedure for Type-Based Partial Orders
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
COMAD
2009
15 years 7 months ago
Epsilon Equitable Partition: A positional analysis method for large social networks
Positional analysis is considered an important tool in the analysis of social networks. It involves partitioning of the set of actors into subsets such that actors in a subset are...
Kiran Kate, Balaraman Ravindran