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
    13 years 11 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
    13 years 9 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
    12 years 9 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
    14 years 3 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
    14 years 4 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
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.