Sciweavers

    1188 search results - page 35 / 238
    » Arithmetic Fuzzy Models
    Sort
    View
    HYBRID
    2004
    Springer
    94views Control Systems» more  HYBRID 2004»
    Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints
    15 years 8 months ago
    Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints
    Download  www.cs.brandeis.edu
    Timothy J. Hickey, David K. Wittenberg
    claim paper
    Read More »
    VTS
    2000
    IEEE
    83views Hardware» more  VTS 2000»
    Using Arithmetic Transform for Verification of Datapath Circuits via Error Modeling
    15 years 6 months ago
    Using Arithmetic Transform for Verification of Datapath Circuits via Error Modeling
    Download  www.iml.ece.mcgill.ca
    Katarzyna Radecka, Zeljko Zilic
    claim paper
    Read More »
    DAGSTUHL
    2003
    97views Software Engineering» more  DAGSTUHL 2003»
    Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic
    15 years 4 months ago
    Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic
    Download  bt.pa.msu.edu
    George F. Corliss, Jun Yu
    claim paper
    Read More »
    MLQ
    2002
    59views more  MLQ 2002»
    Weak Arithmetics and Kripke Models
    15 years 2 months ago
    Weak Arithmetics and Kripke Models
    Download  math.ipm.ac.ir
    Morteza Moniri
    claim paper
    Read More »
    LPAR
    2010
    Springer
    135views Automated Reasoning» more  LPAR 2010»
    PBINT, A Logic for Modelling Search Problems Involving Arithmetic
    15 years 1 months ago
    PBINT, A Logic for Modelling Search Problems Involving Arithmetic
    Download  www.cs.sfu.ca
    Shahab Tasharrofi, Eugenia Ternovska
    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.