Sciweavers

    11065 search results - page 171 / 2213
    » Education
    Sort
    View
    CORR
    2006
    Springer
    84views Education» more  CORR 2006»
    On the freeze quantifier in Constraint LTL: decidability and complexity
    15 years 4 months ago
    On the freeze quantifier in Constraint LTL: decidability and complexity
    Download  www.lsv.ens-cachan.fr
    Stéphane Demri, Ranko Lazic, David Nowak
    claim paper
    Read More »
    CORR
    2006
    Springer
    82views Education» more  CORR 2006»
    Higher-Order Termination: from Kruskal to Computability
    15 years 4 months ago
    Higher-Order Termination: from Kruskal to Computability
    Download  www-rocq.inria.fr
    Frédéric Blanqui, Jean-Pierre Jouann...
    claim paper
    Read More »
    CORR
    2006
    Springer
    83views Education» more  CORR 2006»
    Challenging the principle of compositionality in interpreting natural language texts
    15 years 4 months ago
    Challenging the principle of compositionality in interpreting natural language texts
    Download  hal.archives-ouvertes.fr
    Françoise Gayral, Daniel Kayser, Fran&ccedi...
    claim paper
    Read More »
    CORR
    2006
    Springer
    95views Education» more  CORR 2006»
    Coding for Additive White Noise Channels with Feedback Corrupted by Uniform Quantization or Bounded Noise
    15 years 4 months ago
    Coding for Additive White Noise Channels with Feedback Corrupted by Uniform Quantization or Bounded Noise
    Download  www.ece.umd.edu
    Nuno C. Martins, Tsachy Weissman
    claim paper
    Read More »
    CORR
    2006
    Springer
    83views Education» more  CORR 2006»
    Measuring Fundamental Properties of Real-World Complex Networks
    15 years 4 months ago
    Measuring Fundamental Properties of Real-World Complex Networks
    Download  spiderman-2.laas.fr
    Matthieu Latapy, Clémence Magnien
    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.