Sciweavers

    41938 search results - page 326 / 8388
    » Complex Systems Modeling
    Sort
    View
    CAD
    2000
    Springer
    84views Theoretical Computer Science» more  CAD 2000»
    A framework for system specification using chains on cell complexes
    15 years 6 months ago
    A framework for system specification using chains on cell complexes
    Download  www.iro.umontreal.ca
    Richard Egli, Neil F. Stewart
    claim paper
    Read More »
    SIAMCOMP
    2000
    86views more  SIAMCOMP 2000»
    On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems
    15 years 6 months ago
    On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems
    Download  www.lsi.upc.edu
    An exponential lower bound for the size of tree-like cutting planes refutations of a certain family of conjunctive normal form (CNF) formulas with polynomial size resolution refuta...
    Maria Luisa Bonet, Juan Luis Esteban, Nicola Gales...
    claim paper
    Read More »
    COLING
    1998
    96views Computational Linguistics» more  COLING 1998»
    Describing Complex Charts in Natural Language: A Caption Generation System
    15 years 6 months ago
    Describing Complex Charts in Natural Language: A Caption Generation System
    Download  www.aclweb.org
    Vibhu O. Mittal, Johanna D. Moore, Giuseppe Careni...
    claim paper
    Read More »
    IPL
    2002
    62views more  IPL 2002»
    Verifying lossy channel systems has nonprimitive recursive complexity
    15 years 6 months ago
    Verifying lossy channel systems has nonprimitive recursive complexity
    Download  www.lsv.ens-cachan.fr
    Ph. Schnoebelen
    claim paper
    Read More »
    JC
    2002
    37views more  JC 2002»
    A Theory of Complexity for Continuous Time Systems
    15 years 6 months ago
    A Theory of Complexity for Continuous Time Systems
    Download  www.cs.umass.edu
    Asa Ben-Hur, Hava T. Siegelmann, Shmuel Fishman
    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.