Sciweavers

    3069 search results - page 24 / 614
    » Thinking about Technology
    Sort
    View
    ICTIR
    2009
    Springer
    100views Information Technology» more  ICTIR 2009»
    Is There Something Quantum-Like about the Human Mental Lexicon?
    15 years 10 months ago
    Is There Something Quantum-Like about the Human Mental Lexicon?
    Download  www.users.on.net
    Peter Bruza
    claim paper
    Read More »
    SEMWEB
    2004
    Springer
    75views Internet Technology» more  SEMWEB 2004»
    Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources
    15 years 9 months ago
    Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources
    Download  digital.mit.edu
    Hongwei Zhu 0002, Stuart E. Madnick, Michael Siege...
    claim paper
    Read More »
    COOPIS
    1993
    IEEE
    90views Information Technology» more  COOPIS 1993»
    Reasoning about Goals to Resolve Conflicts
    15 years 8 months ago
    Reasoning about Goals to Resolve Conflicts
    Download  comet.lehman.cuny.edu
    Nancy D. Griffeth, Hugo Velthuijsen
    claim paper
    Read More »
    ICDCSW
    2005
    IEEE
    142views Computer Networks» more  ICDCSW 2005»
    Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast
    15 years 10 months ago
    Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast
    Download  people.csail.mit.edu
    Theorists and practitioners have fairly different perspectives on how wireless broadcast works. Theorists think about synchrony; practitioners think about backoff. Theorists assum...
    Gregory Chockler, Murat Demirbas, Seth Gilbert, Na...
    claim paper
    Read More »
    CADE
    1998
    Springer
    162views Logical Reasoning» more  CADE 1998»
    System Description: card TAP: The First Theorem Prover on a Smart Card
    15 years 8 months ago
    System Description: card TAP: The First Theorem Prover on a Smart Card
    Download  users.cecs.anu.edu.au
    Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
    Rajeev Goré, Joachim Posegga, Andrew Slater...
    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.