12597 search results - page 364 / 2520 » Complexity of Mechanism Design |
191
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
182
Voted
TSMC
2008
15 years 6 months ago
2008
Modeling and predicting of mental workload are among the most important issues in studying human performance in complex systems. Ample research has shown that the amplitude of the ...
155
Voted
CI
2004
15 years 6 months ago
2004
We consider automated decision aids that help users select the best solution from a large set of options. For such tools to successfully accomplish their task, eliciting and repre...
193
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
Though children frequently use web search engines to learn, interact, and be entertained, modern web search engines are poorly suited to children's needs, requiring relativel...
175
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
We present a system for the actuation of tangible magnetic widgets (Madgets) on interactive tabletops. Our system combines electromagnetic actuation with fiber optic tracking to m...