Sciweavers

    14704 search results - page 84 / 2941
    » computing 2007
    Sort
    View
    LPAR
    2007
    Springer
    114views Automated Reasoning» more  LPAR 2007»
    One-Pass Tableaux for Computation Tree Logic
    16 years 1 months ago
    One-Pass Tableaux for Computation Tree Logic
    Download  twb.rsise.anu.edu.au
    Pietro Abate, Rajeev Goré, Florian Widmann
    claim paper
    Read More »
    131
    Voted
    OR
    2007
    Springer
    143views Operations Research» more  OR 2007»
    Optimizing in Graphs with Expensive Computation of Edge Weights
    16 years 1 months ago
    Optimizing in Graphs with Expensive Computation of Edge Weights
    Download  biocomputing.mi.fu-berlin.de
    Frank Noé, Marcus Oswald, Gerhard Reinelt
    claim paper
    Read More »
    SAS
    2007
    Springer
    80views Formal Methods» more  SAS 2007»
    Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic
    16 years 29 days ago
    Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic
    Download  www.lix.polytechnique.fr
    Eric Goubault, Sylvie Putot
    claim paper
    Read More »
    SAT
    2007
    Springer
    68views Hardware» more  SAT 2007»
    A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
    16 years 29 days ago
    A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
    Download  www.csi.ucd.ie
    Alessandro Cimatti, Alberto Griggio, Roberto Sebas...
    claim paper
    Read More »
    TARK
    2007
    Springer
    79views Automated Reasoning» more  TARK 2007»
    Games, geometry, and the computational complexity of finding equilibria
    16 years 29 days ago
    Games, geometry, and the computational complexity of finding equilibria
    Download  www.maths.lse.ac.uk
    Bernhard von Stengel
    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.