Sciweavers

    3235 search results - page 51 / 647
    » Partial Redundant Modeling
    Sort
    View
    CAV
    2004
    Springer
    89views Hardware» more  CAV 2004»
    Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors
    15 years 9 months ago
    Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors
    Download  www.cs.cmu.edu
    Amit Goel, Randal E. Bryant
    claim paper
    Read More »
    LOPSTR
    2001
    Springer
    116views Automated Reasoning» more  LOPSTR 2001»
    Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking
    15 years 8 months ago
    Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking
    Download  eprints.ecs.soton.ac.uk
    Michael Leuschel, Stefan Gruner
    claim paper
    Read More »
    ICMCS
    2000
    IEEE
    80views Multimedia» more  ICMCS 2000»
    Partial Update of Active Textures for Efficient Expression Synthesis in Model-Based Coding
    15 years 8 months ago
    Partial Update of Active Textures for Efficient Expression Synthesis in Model-Based Coding
    Download  www.jos.org.cn
    Lijun Yin, Anup Basu
    claim paper
    Read More »
    CL
    2000
    Springer
    85views Automated Reasoning» more  CL 2000»
    Partial Models of Extended Generalized Logic Programs
    15 years 8 months ago
    Partial Models of Extended Generalized Logic Programs
    Download  centria.di.fct.unl.pt
    José Júlio Alferes, Heinrich Herre, ...
    claim paper
    Read More »
    3DIM
    1997
    IEEE
    119views Image Processing» more  3DIM 1997»
    Registration of 3-D Partial Surface Models using Luminance and Depth Information
    15 years 8 months ago
    Registration of 3-D Partial Surface Models using Luminance and Depth Information
    Download  graphics.stanford.edu
    Sebastian Weik
    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.