Sciweavers

    10568 search results - page 500 / 2114
    » Computer Intelligence and Formalization
    Sort
    View
    148
    Voted
    IJCAI
    1997
    135views Artificial Intelligence» more  IJCAI 1997»
    Strategies in Rigid-Variable Methods
    15 years 6 months ago
    Strategies in Rigid-Variable Methods
    Download  dli.iiit.ac.in
    We study complexity of methods using rigid variables, like the method of matings or the tableau method, on a decidable class of predicate calculus with equality. We show some intr...
    Andrei Voronkov
    claim paper
    Read More »
    WOLLIC
    2009
    Springer
    143views Artificial Intelligence» more  WOLLIC 2009»
    The Arrow Calculus as a Quantum Programming Language
    15 years 11 months ago
    The Arrow Calculus as a Quantum Programming Language
    Download  www.indiana.edu
    Juliana Kaizer Vizzotto, André Rauber Du Bo...
    claim paper
    Read More »
    140
    Voted
    SOCASE
    2009
    Springer
    128views Intelligent Agents» more  SOCASE 2009»
    Mechanism Design for Task Procurement with Flexible Quality of Service
    15 years 11 months ago
    Mechanism Design for Task Procurement with Flexible Quality of Service
    Download  www.aamas-conference.org
    Enrico H. Gerding, Kate Larson, Alex Rogers, Nicho...
    claim paper
    Read More »
    SOCASE
    2009
    Springer
    115views Intelligent Agents» more  SOCASE 2009»
    MAMS Service Framework
    15 years 11 months ago
    MAMS Service Framework
    Download  www.aamas-conference.org
    Alexander Thiele, Silvan Kaiser, Thomas Konnerth, ...
    claim paper
    Read More »
    116
    Voted
    WOLLIC
    2007
    Springer
    87views Artificial Intelligence» more  WOLLIC 2007»
    Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures
    15 years 11 months ago
    Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures
    Download  www.cs.duke.edu
    John H. Reif, Thomas H. LaBean
    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.