1734 search results - page 62 / 347 » What works |
IAT
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents an analysis of entries in the first TAC Market Design Competition that compares the entries across several scenarios. The analysis complements previous work a...
AGILEDC
2005
IEEE
14 years 1 months ago
2005
IEEE
In an effort to improve our understanding of the way we work, my team grouped together ideas from various sources to come up with an estimation scheme that avoided the confusing n...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract Our work aims at developing a robust discriminant controller for robot programming by demonstration. It addresses two core issues of imitation learning, namely what to...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...