Sciweavers

    24421 search results - page 309 / 4885
    » Communicating Complex Systems
    Sort
    View
    139
    Voted
    SIAMCOMP
    2000
    86views more  SIAMCOMP 2000»
    On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems
    15 years 3 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 »
    80
    Voted
    COLING
    1998
    96views Computational Linguistics» more  COLING 1998»
    Describing Complex Charts in Natural Language: A Caption Generation System
    15 years 3 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 »
    111
    Voted
    IPL
    2002
    62views more  IPL 2002»
    Verifying lossy channel systems has nonprimitive recursive complexity
    15 years 3 months ago
    Verifying lossy channel systems has nonprimitive recursive complexity
    Download  www.lsv.ens-cachan.fr
    Ph. Schnoebelen
    claim paper
    Read More »
    94
    Voted
    CANDC
    1999
    ACM
    116views Emerging Technology» more  CANDC 1999»
    The Kinetic Evolutionary Modeling of Complex Systems of Chemical Reactions
    15 years 3 months ago
    The Kinetic Evolutionary Modeling of Complex Systems of Chemical Reactions
    Download  cmbi.bjmu.edu.cn
    Hongqing Cao, Jingxian Yu, Lishan Kang, Yuping Che...
    claim paper
    Read More »
    72
    Voted
    JC
    2002
    37views more  JC 2002»
    A Theory of Complexity for Continuous Time Systems
    15 years 3 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.