Sciweavers

5154 search results - page 29 / 1031
» Modelling online education
Sort
View
CORR
2010
Springer
50views Education» more  CORR 2010»
13 years 8 months ago
A Complete and Terminating Execution Model for Constraint Handling Rules
Hariolf Betz, Frank Raiser, Thom W. Frühwirth
CORR
2008
Springer
80views Education» more  CORR 2008»
13 years 8 months ago
Model for synchronizer of marked pairs in fork-join network
S. V. Vyshenski, P. V. Grigoriev, Yu. Yu. Dubenska...
CORR
2010
Springer
53views Education» more  CORR 2010»
13 years 8 months ago
Distributed solving through model splitting
Lars Kotthoff, Neil C. A. Moore