16091 search results - page 409 / 3219 » Solving |
130
Voted
AIED
2005
Springer
16 years 9 days ago
2005
Springer
We tested effects of dissuading students from requesting help unless they really needed it. The manipulation occurred while the students solved problems on an ITS that provided pro...
178
click to vote
AIED
2005
Springer
16 years 9 days ago
2005
Springer
Today's computer supported modelling environments could provide much more information about the users’ actions and problem solving processes than they usually store for late...
131
click to vote
ASIACRYPT
2005
Springer
16 years 9 days ago
2005
Springer
The XSL “algorithm” is a method for solving systems of multivariate polynomial equations based on the linearization method. It was proposed in 2002 as a dedicated method for ex...
160
click to vote
CC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
169
click to vote
CP
2005
Springer
16 years 9 days ago
2005
Springer
Many problems of theoretical and practical interest can be formulated as Constraint Satisfaction Problems (CSPs). The general CSP is known to be NP-complete; however, distributed m...