Sciweavers

    1129 search results - page 35 / 226
    » SAC and neighbourhood SAC
    Sort
    View
    SAC
    2009
    ACM
    81views Applied Computing» more  SAC 2009»
    Using minimum description length for process mining
    16 years 1 months ago
    Using minimum description length for process mining
    Download  wwwis.win.tue.nl
    Toon Calders, Christian W. Günther, Mykola Pe...
    claim paper
    Read More »
    SAC
    2009
    ACM
    62views Applied Computing» more  SAC 2009»
    Semi-automatic parallelization of direct and inverse problems for geothermal simulation
    16 years 1 months ago
    Semi-automatic parallelization of direct and inverse problems for geothermal simulation
    Download  www.aices.rwth-aachen.de
    H. Martin Bücker, Arno Rasch, Volker Rath, An...
    claim paper
    Read More »
    SAC
    2009
    ACM
    99views Applied Computing» more  SAC 2009»
    Enforcement monitoring wrt. the safety-progress classification of properties
    16 years 1 months ago
    Enforcement monitoring wrt. the safety-progress classification of properties
    Download  www-verimag.imag.fr
    Yliès Falcone, Jean-Claude Fernandez, Laure...
    claim paper
    Read More »
    SAC
    2009
    ACM
    94views Applied Computing» more  SAC 2009»
    Boosting the performance of computing systems through adaptive configuration tuning
    16 years 1 months ago
    Boosting the performance of computing systems through adaptive configuration tuning
    Download  www.nec-labs.com
    Haifeng Chen, Guofei Jiang, Hui Zhang 0002, Kenji ...
    claim paper
    Read More »
    SAC
    2009
    ACM
    91views Applied Computing» more  SAC 2009»
    Formalizing Desargues' theorem in Coq using ranks
    16 years 1 months ago
    Formalizing Desargues' theorem in Coq using ranks
    Download  dpt-info.u-strasbg.fr
    ÓÖÑ Ð Þ Ò ÓÑ ØÖÝ Ø ÓÖ Ñ× Ò ÔÖÓÓ ×× ×Ø ÒØ Ð ÓÕ × ÐÐ Ò Ò º × ÑÔ × Þ Ò Ø Ð Ø Ö ØÙÖ ¸ Ø ÒÓÒ¹ Ò Ö Ý ÓÒ Ø ÓÒ× Ð × ...
    Nicolas Magaud, Julien Narboux, Pascal Schreck
    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.