2477 search results - page 260 / 496 » First-Order Interactive Programming |
120
Voted
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Imitation learning, or programming by demonstration (PbD), holds the promise of allowing robots to acquire skills from humans with domain-specific knowledge, who nonet...
104
click to vote
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
139
Voted
EUROSYS
2010
ACM
15 years 8 months ago
2010
ACM
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to
the bus...
125
click to vote
HPCA
2006
IEEE
15 years 8 months ago
2006
IEEE
Performance of multithreaded programs is heavily influenced by the latencies of the thread management and synchronization operations. Improving these latencies becomes especially...
115
Voted
ICALT
2006
IEEE
15 years 8 months ago
2006
IEEE
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. An agency app...