Sciweavers

    15614 search results - page 344 / 3123
    » The State of State
    Sort
    View
    ENTCS
    2007
    111views more  ENTCS 2007»
    Compositional State Space Reduction Using Untangled Actions
    15 years 6 months ago
    Compositional State Space Reduction Using Untangled Actions
    Download  qav.comlab.ox.ac.uk
    We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
    Xu Wang, Marta Z. Kwiatkowska
    claim paper
    Read More »
    MKTSCI
    2008
    58views more  MKTSCI 2008»
    Category Pricing with State-Dependent Utility
    15 years 6 months ago
    Category Pricing with State-Dependent Utility
    Download  home.uchicago.edu
    Jean-Pierre Dubé, Günter J. Hitsch, Pe...
    claim paper
    Read More »
    120
    Voted
    JSCIC
    2006
    49views more  JSCIC 2006»
    Recovering High-Order Accuracy in WENO Computations of Steady-State Hyperbolic Systems
    15 years 6 months ago
    Recovering High-Order Accuracy in WENO Computations of Steady-State Hyperbolic Systems
    Download  www.cfm.brown.edu
    Sigal Gottlieb, David I. Gottlieb, Chi-Wang Shu
    claim paper
    Read More »
    MOR
    2008
    54views more  MOR 2008»
    Stochastic Games on a Product State Space
    15 years 6 months ago
    Stochastic Games on a Product State Space
    Download  www.personeel.unimaas.nl
    János Flesch, Gijs Schoenmakers, Koos Vriez...
    claim paper
    Read More »
    JUCS
    2006
    185views more  JUCS 2006»
    The Berlin Brain-Computer Interface: Machine Learning Based Detection of User Specific Brain States
    15 years 6 months ago
    The Berlin Brain-Computer Interface: Machine Learning Based Detection of User Specific Brain States
    Download  eprints.pascal-network.org
    We outline the Berlin Brain-Computer Interface (BBCI), a system which enables us to translate brain signals from movements or movement intentions into control commands. The main co...
    Benjamin Blankertz, Guido Dornhege, Steven Lemm, M...
    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.