1569 search results - page 149 / 314 » Towards the interactive office |
186
click to vote
TPHOL
2008
IEEE
16 years 19 days ago
2008
IEEE
We describe a tutorial that demonstrates the use of the ACL2 theorem prover. We have three goals: to enable a motivated reader to start on a path towards effective use of ACL2; to...
157
click to vote
SMC
2007
IEEE
16 years 15 days ago
2007
IEEE
— This paper addresses high-level robot planning issues for an interactive cognitive robot that has to act in presence or in collaboration with a human partner. We describe a tas...
154
click to vote
AIED
2005
Springer
15 years 11 months ago
2005
Springer
The Homework project is developing an exemplar system for the delivery of adaptive, interactive numeracy and literacy education for children (5 to 7 year olds) at home and in the c...
150
click to vote
ICCHP
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we present a study which aims at designing a locomotion assistance device that can deliver semantic information about its surrounding environment at any time. As a ...
138
click to vote
CSCWD
2006
Springer
15 years 10 months ago
2006
Springer
As more and more organisations and institutions are moving towards the e-learning strategy, more and more disparate data are distributed by different e-learning systems. How to ef...