114 search results - page 9 / 23 » Learning about natural human-robot interaction styles |
JANCL
2006
14 years 11 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
101
click to vote
WETICE
1998
IEEE
15 years 4 months ago
1998
IEEE
Mobile agents are processes which can migrate and execute on new hosts. Mobility is a key concept for network programming; it has stimulated much research about new programming la...
79
Voted
INTERACT
2003
15 years 1 months ago
2003
: Curriculum planning for students in a university which offers full-time as well as part-time courses is not a trivial task and is complicated by the fact that students can enrol ...
APCHI
2004
IEEE
15 years 3 months ago
2004
IEEE
The convergence of mobile technology and e-learning has generated considerable excitement among both practitioners and academics. Mass media continually promotes novel idea about m...
102
click to vote
IJVR
2008
14 years 11 months ago
2008
Due to its importance as a model for several software and hardware applications, automata theory is a core topic in computer science and engineering education. But because of its m...