Sciweavers

    5639 search results - page 15 / 1128
    » Timed Abstract Non-interference
    Sort
    View
    JUCS
    2008
    159views more  JUCS 2008»
    Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
    14 years 9 months ago
    Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
    Download  www.jucs.org
    Anatol Slissenko, Pavel Vasilyev
    claim paper
    Read More »
    ENDM
    2007
    59views more  ENDM 2007»
    Time-Constrained Restless Bandits and the Knapsack Problem for Perishable Items (Extended Abstract)
    14 years 9 months ago
    Time-Constrained Restless Bandits and the Knapsack Problem for Perishable Items (Extended Abstract)
    Download  www.bcamath.org
    Peter Jacko, José Niño-Mora
    claim paper
    Read More »
    76
    Voted
    GI
    2009
    Springer
    150views Theoretical Computer Science» more  GI 2009»
    Constraint-Based Task Scheduling with Sequence Dependent Setup Times, Time Windows and Breaks
    14 years 7 months ago
    Constraint-Based Task Scheduling with Sequence Dependent Setup Times, Time Windows and Breaks
    Download  subs.emis.de
    Abstract: The work presented in this article generalizes the modeling of task scheduling problems with sequence dependent setup time on the basis of task scheduling on single respe...
    Armin Wolf
    claim paper
    Read More »
    EUSFLAT
    2009
    124views Fuzzy Logic» more  EUSFLAT 2009»
    Recognition and Teaching of Robot Skills by Fuzzy Time-Modeling
    14 years 7 months ago
    Recognition and Teaching of Robot Skills by Fuzzy Time-Modeling
    Download  www.eusflat.org
    Abstract
    Rainer Palm, Bourhane Kadmiry, Boyko Iliev, Dimite...
    claim paper
    Read More »
    TSMC
    2010
    103views Artificial Intelligence» more  TSMC 2010»
    On Passivity and Passification of Stochastic Fuzzy Systems With Delays: The Discrete-Time Case
    14 years 4 months ago
    On Passivity and Passification of Stochastic Fuzzy Systems With Delays: The Discrete-Time Case
    Download  bura.brunel.ac.uk
    Abstract--Takagi
    Jinling Liang, Zidong Wang, Xiaohui Liu
    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-2025, USA.