Sciweavers

    10891 search results - page 136 / 2179
    » Combining Model Reductions
    Sort
    View
    DT
    2007
    98views more  DT 2007»
    Combining Theorem Proving with Model Checking through Predicate Abstraction
    15 years 3 months ago
    Combining Theorem Proving with Model Checking through Predicate Abstraction
    Download  www.cs.utexas.edu
    Sandip Ray, Rob Sumners
    claim paper
    Read More »
    PAMI
    2006
    123views more  PAMI 2006»
    Hidden Markov Models Combining Discrete Symbols and Continuous Attributes in Handwriting Recognition
    15 years 3 months ago
    Hidden Markov Models Combining Discrete Symbols and Continuous Attributes in Handwriting Recognition
    Download  www.cedar.buffalo.edu
    Hanhong Xue, Venu Govindaraju
    claim paper
    Read More »
    TOSEM
    2008
    91views more  TOSEM 2008»
    Combining symbolic execution with model checking to verify parallel numerical programs
    15 years 3 months ago
    Combining symbolic execution with model checking to verify parallel numerical programs
    Download  laser.cs.umass.edu
    Stephen F. Siegel, Anastasia Mironova, George S. A...
    claim paper
    Read More »
    COLING
    2002
    108views Computational Linguistics» more  COLING 2002»
    An Approach Based on Multilingual Thesauri and Model Combination for Bilingual Lexicon Extraction
    15 years 3 months ago
    An Approach Based on Multilingual Thesauri and Model Combination for Bilingual Lexicon Extraction
    Download  ucrel.lancs.ac.uk
    Hervé Déjean, Éric Gaussier, ...
    claim paper
    Read More »
    SOPR
    2002
    86views more  SOPR 2002»
    Simulating global software evolution processes by combining simple models: an initial study
    15 years 2 months ago
    Simulating global software evolution processes by combining simple models: an initial study
    Download  www.sysc.pdx.edu
    Paul Wernick, Tracy Hall
    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.