2501 search results - page 266 / 501 » Obligations and Their Interaction with Programs |
165
click to vote
ICRA
2007
IEEE
16 years 14 days 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...
154
click to vote
FROCOS
2007
Springer
16 years 9 days 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...
192
click to vote
EUROSYS
2010
ACM
16 years 8 days 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...
164
click to vote
HPCA
2006
IEEE
16 years 6 days 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...
155
click to vote
ICALT
2006
IEEE
16 years 6 days 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...