Sciweavers

    5639 search results - page 15 / 1128
    » Timed Abstract Non-interference
    Sort
    View
    97
    Voted
    JUCS
    2008
    159views more  JUCS 2008»
    Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
    15 years 2 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 »
    90
    Voted
    ENDM
    2007
    59views more  ENDM 2007»
    Time-Constrained Restless Bandits and the Knapsack Problem for Perishable Items (Extended Abstract)
    15 years 2 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 »
    119
    Voted
    GI
    2009
    Springer
    150views Theoretical Computer Science» more  GI 2009»
    Constraint-Based Task Scheduling with Sequence Dependent Setup Times, Time Windows and Breaks
    15 years 17 days 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 »
    129
    Voted
    EUSFLAT
    2009
    124views Fuzzy Logic» more  EUSFLAT 2009»
    Recognition and Teaching of Robot Skills by Fuzzy Time-Modeling
    15 years 17 days 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 »
    98
    Voted
    TSMC
    2010
    103views Artificial Intelligence» more  TSMC 2010»
    On Passivity and Passification of Stochastic Fuzzy Systems With Delays: The Discrete-Time Case
    14 years 9 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
    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.