5799 search results - page 811 / 1160 » Position Paper |
166
click to vote
AIED
2005
Springer
16 years 7 days 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...
171
click to vote
AIIA
2005
Springer
16 years 7 days 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...
165
click to vote
APN
2005
Springer
16 years 7 days 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...
166
click to vote
ATAL
2005
Springer
16 years 7 days 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 ...
180
click to vote
BIRTHDAY
2005
Springer
16 years 7 days 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...