5090 search results - page 196 / 1018 » Constructing Strategies for Programming |
ECTEL
2007
Springer
14 years 3 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...
IADIS
2004
13 years 11 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...
LICS
2009
IEEE
14 years 4 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...
DEXA
1999
Springer
14 years 1 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 ...
ICLP
1994
Springer
14 years 1 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...