Sciweavers

1407 search results - page 3 / 282
» Learning Abstract Scheduling Models
Sort
View
73
Voted
WSMAI
2003
15 years 3 months ago
An Open Abstract Framework for Modeling Interoperability of Mobile Learning Services
Giorgio Da Bormida, Giancarlo Bo, Paul Lefrere, Jo...
190
Voted
BIOSTEC
2011
247views Healthcare» more  BIOSTEC 2011»
14 years 2 months ago
Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology
Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, ...
99
Voted
OR
2007
Springer
15 years 8 months ago
Coping with Incomplete Information in Scheduling - Stochastic and Online Models
version of this extended abstract is published as [6].
Nicole Megow
119
Voted
FORMATS
2007
Springer
15 years 8 months ago
Quantitative Model Checking Revisited: Neither Decidable Nor Approximable
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
Sergio Giro, Pedro R. D'Argenio