10870 search results - page 1942 / 2174 » Model Checking Programs |
187
click to vote
HRI
2006
ACM
16 years 17 days ago
2006
ACM
Programming robots to carry out useful tasks is both a complex and non-trivial exercise. A simple and intuitive method to allow humans to train and shape robot behaviour is clearl...
187
click to vote
ICRA
2005
IEEE
16 years 6 days ago
2005
IEEE
— Imitation is a powerful mechanism for transferring knowledge from an instructor to a na¨ıve observer, one that is deeply contingent on a state of shared attention between the...
181
click to vote
IPPS
2005
IEEE
16 years 6 days ago
2005
IEEE
“MegaProto” is a proof-of-concept prototype for our project “Mega-Scale Computing Based on Low-Power Technology and Workload Modeling”, implementing our key idea that a mi...
177
click to vote
CAISE
2004
Springer
16 years 13 hour ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
190
click to vote
LCTRTS
2004
Springer
15 years 12 months ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...