Sciweavers

    1684 search results - page 215 / 337
    » The lexicographic decision function
    Sort
    View
    FMSD
    2007
    110views more  FMSD 2007»
    Exploiting interleaving semantics in symbolic state-space generation
    15 years 20 days ago
    Exploiting interleaving semantics in symbolic state-space generation
    Download  www.cs.ucr.edu
    Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
    Gianfranco Ciardo, Gerald Lüttgen, Andrew S. ...
    claim paper
    Read More »
    128
    Voted
    MANSCI
    2007
    101views more  MANSCI 2007»
    Strategic Technology Choice and Capacity Investment Under Demand Uncertainty
    15 years 17 days ago
    Strategic Technology Choice and Capacity Investment Under Demand Uncertainty
    Download  www.rhsmith.umd.edu
    This paper studies the impact of competition on a firm’s choice of technology (product-flexible or product-dedicated) and capacity investment decisions. Specifically, we mode...
    Manu Goyal, Serguei Netessine
    claim paper
    Read More »
    99
    Voted
    MANSCI
    2007
    85views more  MANSCI 2007»
    Probability Elicitation, Scoring Rules, and Competition Among Forecasters
    15 years 17 days ago
    Probability Elicitation, Scoring Rules, and Competition Among Forecasters
    Download  faculty.darden.virginia.edu
    Probability forecasters who are rewarded via a proper scoring rule may care not only about the score, but also about their performance relative to other forecasters. We model this...
    Kenneth C. Lichtendahl Jr., Robert L. Winkler
    claim paper
    Read More »
    118
    Voted
    MR
    2007
    173views Robotics» more  MR 2007»
    A maintenance planning and business case development model for the application of prognostics and health management (PHM) to ele
    15 years 6 days ago
    A maintenance planning and business case development model for the application of prognostics and health management (PHM) to ele
    Download  www.enme.umd.edu
    - This paper presents a model that enables the optimal interpretation of Prognostics and Health Management (PHM) results for electronic systems. In this context, optimal interpreta...
    Peter A. Sandborn, Chris Wilkinson
    claim paper
    Read More »
    123
    Voted
    JNSM
    2010
    166views more  JNSM 2010»
    High-Level Design Approach for the Specification of Cognitive Radio Equipments Management APIs
    14 years 7 months ago
    High-Level Design Approach for the Specification of Cognitive Radio Equipments Management APIs
    Download  www.rennes.supelec.fr
    Cognitive Radio (CR) equipments are radio devices that support the smart facilities offered by future cognitive networks. Even if several categories of equipments exist (terminal,...
    Christophe Moy
    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.