2838 search results - page 467 / 568 » Interactions in Online Education |
142
click to vote
CORR
2010
Springer
15 years 1 days ago
2010
Springer
The search task and the system both affect the demand on cognitive resources during information search. In some situations, the demands may become too high for a person. This arti...
127
click to vote
TAICPART
2010
IEEE
14 years 11 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
123
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
Animals living in groups make movement decisions that depend, among other factors, on social interactions with other group members. Our present understanding of social rules in an...
146
click to vote
CORR
2012
Springer
13 years 9 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
117
click to vote
SIGCSE
2009
ACM
16 years 2 months ago
2009
ACM
This paper describes the integration of the Alice 3D virtual worlds environment into a diverse set of subjects in middle school, including the development of tutorials, example wo...