4103 search results - page 243 / 821 » Some results on the Collatz problem |
140
click to vote
ECTEL
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Our research is based on the hypothesis that the most important problem that has to be solved, so as to help tutors, is the gap between required competencies of distance ...
129
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...
191
click to vote
ASP
2005
Springer
16 years 9 days ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...
191
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
143
click to vote
HAIS
2009
Springer
15 years 10 months ago
2009
Springer
One of the most important challenges in supervised learning is how to evaluate the quality of the models evolved by different machine learning techniques. Up to now, we have relied...