Sciweavers

232 search results - page 9 / 47
» Twenty Years Later
Sort
View
CORR
2010
Springer
66views Education» more  CORR 2010»
13 years 7 months ago
A Partial Taxonomy of Substitutability and Interchangeability
Substitutability, interchangeability and related concepts in Constraint Programming were introduced approximately twenty years ago and have given rise to considerable subsequent re...
Shant Karakashian, Robert J. Woodward, Berthe Y. C...
SIAMJO
2000
116views more  SIAMJO 2000»
13 years 7 months ago
Computational Experience with an Interior Point Cutting Plane Algorithm
There has been a great deal of success in the last twenty years with the use of cutting plane algorithms to solve specialized integer programming problems. Generally, these algori...
John E. Mitchell
TFM
2009
Springer
113views Formal Methods» more  TFM 2009»
14 years 2 months ago
Teaching Concurrency: Theory in Practice
Teaching courses that rely on sound mathematical principles is nowadays a challenging task at many universities. On the one hand there is an increased demand for educating students...
Luca Aceto, Anna Ingólfsdóttir, Kim ...
ICALT
2006
IEEE
14 years 1 months ago
Highly Adaptive Learning for All - Vision and Plan
One of the major global problems is bringing learning to everyone on earth, at all ages. Current lockstep cookie-cuter approaches will not accomplish this, because students differ...
Alfred Bork
IIE
2008
58views more  IIE 2008»
13 years 7 months ago
Some Findings on Informatics Education in Austrian Academic Secondary Schools
The educational system in Austria is very multifaceted, and academic secondary schools represent an important part in it. This type of schools, in German called "Gymnasium&quo...
Peter Micheuz