3022 search results - page 389 / 605 » From plans to planning: the case of nursing plans |
199
click to vote
ENTCS
2006
15 years 6 months ago
2006
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of ...
165
click to vote
IJET
2008
15 years 6 months ago
2008
Teachers have to work with e-portfolio with their students. This is a very demanding task because they never were educated with e-portfolio themselves. Therefore a European Comeniu...
185
click to vote
IJRR
2008
15 years 6 months ago
2008
Automatically building maps from sensor data is a necessary and fundamental skill for mobile robots; as a result, considerable research attention has focused on the technical chall...
206
Voted
JSW
2008
15 years 6 months ago
2008
This paper presents a role-based agent teamwork language called RoB-MALLET (Role-Based Multi-Agent Logic Language for Encoding Teamwork). Roles have been used to form multi-agent t...
169
click to vote
JIRS
2006
15 years 6 months ago
2006
The paper considers a technique for computation of the inverse kinematic model of the human arm. The approach is based on measurements of the hand position and orientation as well ...