5799 search results - page 811 / 1160 » Position Paper |
151
click to vote
AIED
2005
Springer
15 years 11 months ago
2005
Springer
This paper reports a pilot study of how to utilize simulated animal companions to encourage students to pay more effort in their study in the classroom environment. A class of stud...
164
click to vote
AIIA
2005
Springer
15 years 11 months ago
2005
Springer
We designed and implemented a software system, called WebCrow, that represents the first solver for Italian crosswords and the first system that tackles a language game using the...
151
click to vote
APN
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
158
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the ...
169
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...