Sciweavers

    1407 search results - page 3 / 282
    » Learning Abstract Scheduling Models
    Sort
    View
    WSMAI
    2003
    84views Internet Technology» more  WSMAI 2003»
    An Open Abstract Framework for Modeling Interoperability of Mobile Learning Services
    15 years 5 months ago
    An Open Abstract Framework for Modeling Interoperability of Mobile Learning Services
    Download  www.mobilearn.org
    Giorgio Da Bormida, Giancarlo Bo, Paul Lefrere, Jo...
    claim paper
    Read More »
    JAIR
    2008
    98views more  JAIR 2008»
    Refining the Execution of Abstract Actions with Learned Action Models
    15 years 3 months ago
    Refining the Execution of Abstract Actions with Learned Action Models
    Download  www.aaai.org
    Freek Stulp, Michael Beetz
    claim paper
    Read More »
    BIOSTEC
    2011
    247views Healthcare» more  BIOSTEC 2011»
    Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology
    14 years 4 months ago
    Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology
    Download  emotion.inrialpes.fr
    Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, ...
    claim paper
    Read More »
    OR
    2007
    Springer
    137views Operations Research» more  OR 2007»
    Coping with Incomplete Information in Scheduling - Stochastic and Online Models
    15 years 10 months ago
    Coping with Incomplete Information in Scheduling - Stochastic and Online Models
    Download  www.mpi-inf.mpg.de
    version of this extended abstract is published as [6].
    Nicole Megow
    claim paper
    Read More »
    FORMATS
    2007
    Springer
    93views Formal Methods» more  FORMATS 2007»
    Quantitative Model Checking Revisited: Neither Decidable Nor Approximable
    15 years 10 months ago
    Quantitative Model Checking Revisited: Neither Decidable Nor Approximable
    Download  www.cs.famaf.unc.edu.ar
    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
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.