Sciweavers

    29908 search results - page 520 / 5982
    » On the Complexity of
    Sort
    View
    ISAAC
    2007
    Springer
    105views Algorithms» more  ISAAC 2007»
    Unbounded-Error Classical and Quantum Communication Complexity
    16 years 1 months ago
    Unbounded-Error Classical and Quantum Communication Complexity
    Download  www.lab2.kuis.kyoto-u.ac.jp
    Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Sh...
    claim paper
    Read More »
    ISSAC
    2007
    Springer
    111views Mathematics» more  ISSAC 2007»
    On the complexity of real solving bivariate systems
    16 years 1 months ago
    On the complexity of real solving bivariate systems
    Download  hal.inria.fr
    Dimitrios I. Diochnos, Ioannis Z. Emiris, Elias P....
    claim paper
    Read More »
    IVA
    2007
    Springer
    120views Intelligent Agents» more  IVA 2007»
    Social Animation in Complex Environments
    16 years 1 months ago
    Social Animation in Complex Environments
    Download  www.uv.es
    Francisco Grimaldo, Miguel Lozano, Fernando Barber
    claim paper
    Read More »
    LCTRTS
    2007
    Springer
    97views System Software» more  LCTRTS 2007»
    On the complexity of spill everywhere under SSA form
    16 years 1 months ago
    On the complexity of spill everywhere under SSA form
    Download  hal.archives-ouvertes.fr
    Florent Bouchez, Alain Darte, Fabrice Rastello
    claim paper
    Read More »
    LPAR
    2007
    Springer
    160views Automated Reasoning» more  LPAR 2007»
    The Complexity of Temporal Logic with Until and Since over Ordinals
    16 years 1 months ago
    The Complexity of Temporal Logic with Until and Since over Ordinals
    Download  www.lsv.ens-cachan.fr
    Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
    Stéphane Demri, Alexander Rabinovich
    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.