Sciweavers

    14084 search results - page 367 / 2817
    » A Theory for Game Theories
    Sort
    View
    MEMBRANE
    2009
    Springer
    258views Applied Computing» more  MEMBRANE 2009»
    A Computational Complexity Theory in Membrane Computing
    16 years 1 months ago
    A Computational Complexity Theory in Membrane Computing
    Download  www.gcn.us.es
    Mario J. Pérez-Jiménez
    claim paper
    Read More »
    MKM
    2009
    Springer
    154views Information Technology» more  MKM 2009»
    Combined Decision Techniques for the Existential Theory of the Reals
    16 years 1 months ago
    Combined Decision Techniques for the Existential Theory of the Reals
    Download  homepages.inf.ed.ac.uk
    Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
    Grant Olney Passmore, Paul B. Jackson
    claim paper
    Read More »
    159
    Voted
    QI
    2009
    Springer
    127views Physics» more  QI 2009»
    Structured Information Retrieval and Quantum Theory
    16 years 1 months ago
    Structured Information Retrieval and Quantum Theory
    Download  www.dcs.gla.ac.uk
    Information Retrieval (IR) systems try to identify documents relevant to user queries, which are representations of user information needs. Interaction, context, and document struc...
    Benjamin Piwowarski, Mounia Lalmas
    claim paper
    Read More »
    185
    Voted
    RP
    2009
    Springer
    122views Control Systems» more  RP 2009»
    Algorithmic Information Theory and Foundations of Probability
    16 years 1 months ago
    Algorithmic Information Theory and Foundations of Probability
    Download  www.lif.univ-mrs.fr
    Alexander Shen
    claim paper
    Read More »
    RR
    2009
    Springer
    98views Automated Reasoning» more  RR 2009»
    A Formal Theory for Modular ERDF Ontologies
    16 years 1 months ago
    A Formal Theory for Modular ERDF Ontologies
    Download  www.ics.forth.gr
    Anastasia Analyti, Grigoris Antoniou, Carlos Viega...
    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.