5090 search results - page 196 / 1018 » Constructing Strategies for Programming |
123
Voted
ECTEL
2007
Springer
15 years 8 months ago
2007
Springer
Motivation to learn is affected by a student’s self-efficacy, goal orientation, locus of control and perceived task difficulty. In the classroom, teachers know how to motivate th...
126
click to vote
IADIS
2004
15 years 3 months ago
2004
We have developed models of how strategies are constructed and retained as male and female high school and university students gain experience in solving online qualitative chemic...
156
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
106
click to vote
DEXA
1999
Springer
15 years 6 months ago
1999
Springer
: In an extensible database system, evaluation of a query plan is done in cooperation between a collection of operator implementation functions and a component of the DBMS that we ...
106
Voted
ICLP
1994
Springer
15 years 6 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...