3664 search results - page 605 / 733 » Language Technology for eLearning |
157
click to vote
ISW
2005
Springer
15 years 11 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
160
click to vote
IVA
2005
Springer
15 years 11 months ago
2005
Springer
Human to virtual human interaction is the next frontier in interface design, particularly for tasks that are social or collaborative in nature. Several embodied interface agents ha...
150
click to vote
KES
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes a lightweight middleware agent framework (LAF) for coordinating a large array of computers with attached cameras to construct high resolution video-rate image ...
147
click to vote
MKM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Defining functions is a major topic when building mathematical repositories. Though relatively easy in mathematical vernacular, function definitions rise a number of qu...
140
click to vote
MLMI
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents the design and results of the Rich Transcription Spring 2005 (RT-05S) Meeting Recognition Evaluation. This evaluation is the third in a series of community-wide...