23703 search results - page 4317 / 4741 » Learning from Demonstration |
206
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
195
click to vote
DLOG
2003
15 years 8 months ago
2003
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
224
click to vote
NIPS
2004
15 years 8 months ago
2004
It has been demonstrated that basic aspects of human visual motion perception are qualitatively consistent with a Bayesian estimation framework, where the prior probability distri...
182
click to vote
NSDI
2004
15 years 8 months ago
2004
This paper describes the design, implementation, and experimental evaluation of OverQoS, an overlay-based architecture for enhancing the best-effort service of today's Intern...
196
click to vote
PDPTA
2004
15 years 8 months ago
2004
Random data placement has recently emerged as an alternative to traditional data striping. From a performance perspective, it has been demonstrated to be an efficient and scalable...