2014 search results - page 133 / 403 » Intelligent Transportation System (ITS) |
157
click to vote
ITS
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a study in which individual learner models were built for students and presented to them with a choice of view. Students found it useful, and not confusing to ...
147
click to vote
EPIA
1999
Springer
15 years 10 months ago
1999
Springer
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...
154
click to vote
AOSE
2006
Springer
15 years 8 months ago
2006
Springer
This paper develops a model for precisely defining how an agent interacts with objects in its environment through the use of its capabilities. Capabilities are recursively defined ...
172
click to vote
AOSE
2003
Springer
15 years 11 months ago
2003
Springer
This paper shows how to verify a Multi-Agent System specification using human organization metaphors. This proposal applies Activity Theory, which has its roots in Sociology, to st...
160
click to vote
ICAISC
2010
Springer
15 years 11 months ago
2010
Springer
As the number of handicapped people increases worldwide, Intelligent Wheelchairs (IW) are becoming the solution to enable a higher degree of independence for wheelchair users. In a...