Sciweavers

    10271 search results - page 216 / 2055
    » Computer Science
    Sort
    View
    128
    Voted
    RTA
    1999
    Springer
    101views Theoretical Computer Science» more  RTA 1999»
    Strong Normalization of Proof Nets Modulo Structural Congruences
    15 years 9 months ago
    Strong Normalization of Proof Nets Modulo Structural Congruences
    Download  twiki.di.uniroma1.it
    Roberto Di Cosmo, Stefano Guerrini
    claim paper
    Read More »
    131
    Voted
    SOFSEM
    1999
    Springer
    74views Theoretical Computer Science» more  SOFSEM 1999»
    Some Afterthoughts on Hopfield Networks
    15 years 9 months ago
    Some Afterthoughts on Hopfield Networks
    Download  www.tcs.hut.fi
    Jirí Síma, Pekka Orponen, Teemu Antt...
    claim paper
    Read More »
    SPIN
    1999
    Springer
    108views Theoretical Computer Science» more  SPIN 1999»
    A Framework for Automatic Construction of Abstract Promela Models
    15 years 9 months ago
    A Framework for Automatic Construction of Abstract Promela Models
    Download  spinroot.com
    María-del-Mar Gallardo, Pedro Merino
    claim paper
    Read More »
    121
    Voted
    WG
    1999
    Springer
    61views Theoretical Computer Science» more  WG 1999»
    Vertex Cover: Further Observations and Further Improvements
    15 years 9 months ago
    Vertex Cover: Further Observations and Further Improvements
    Download  anyserver.cityu.edu.hk
    Jianer Chen, Iyad A. Kanj, Weijia Jia
    claim paper
    Read More »
    137
    Voted
    SCCC
    1998
    IEEE
    75views Theoretical Computer Science» more  SCCC 1998»
    The Use of Agents Techniques on Intelligent Tutoring Systems
    15 years 9 months ago
    The Use of Agents Techniques on Intelligent Tutoring Systems
    Download  www.niee.ufrgs.br
    Lúcia Maria Martins Giraffa, Rosa Maria Vic...
    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.