5154 search results - page 46 / 1031 » Modelling online education |
CORR
2008
Springer
13 years 8 months ago
2008
Springer
WSC
2008
13 years 10 months ago
2008
ECLIPSE
2004
ACM
14 years 1 months ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Online learning algorithms have impressive convergence properties when it comes to risk minimization and convex games on very large problems. However, they are inherently sequenti...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
We consider a memory allocation problem. This problem can be modeled as a version of bin packing where items may be split, but each bin may contain at most two (parts of) items. T...