468 search results - page 67 / 94 » Computationally Feasible Automated Mechanism Design: General... |
HRI
2006
ACM
14 years 2 months ago
2006
ACM
Along with the development of interactive robots, controlled experiments and field trials are regularly conducted to stage human-robot interaction. Experience in this field has sh...
SPIN
2012
Springer
11 years 10 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
We study a general online convex optimization problem. We have a convex set S and an unknown sequence of cost functions c1, c2, . . . , and in each period, we choose a feasible po...
ICMI
2005
Springer
14 years 1 months ago
2005
Springer
Current methods of playlist creation and maintenance do not support user needs, especially in a mobile context. Furthermore, they do not scale: studies show that users with large ...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...