Sciweavers

    12981 search results - page 143 / 2597
    » Artificial Intelligence
    Sort
    View
    FLAIRS
    2001
    100views Artificial Intelligence» more  FLAIRS 2001»
    Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization
    15 years 8 months ago
    Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization
    Download  www.aaai.org
    Joachim Draeger, Stephan Schulz
    claim paper
    Read More »
    FLAIRS
    2001
    105views Artificial Intelligence» more  FLAIRS 2001»
    Data-Driven Coreference Resolution
    15 years 8 months ago
    Data-Driven Coreference Resolution
    Download  www.aaai.org
    Sanda M. Harabagiu, Razvan C. Bunescu
    claim paper
    Read More »
    FLAIRS
    2001
    110views Artificial Intelligence» more  FLAIRS 2001»
    On Deciding Consistency for CSPs of Cyclic Time Intervals
    15 years 8 months ago
    On Deciding Consistency for CSPs of Cyclic Time Intervals
    Download  www.aaai.org
    Amar Isli
    claim paper
    Read More »
    FLAIRS
    2001
    149views Artificial Intelligence» more  FLAIRS 2001»
    Secure Systems Development -- The Evolving Integration of Validation and Verification
    15 years 8 months ago
    Secure Systems Development -- The Evolving Integration of Validation and Verification
    Download  www.aaai.org
    Klaus P. Jantke, Oliver Keller
    claim paper
    Read More »
    137
    Voted
    FLAIRS
    2001
    99views Artificial Intelligence» more  FLAIRS 2001»
    Dynamic Strategies for Negotiating Agents in E-Commerce Applications
    15 years 8 months ago
    Dynamic Strategies for Negotiating Agents in E-Commerce Applications
    Download  www.aaai.org
    Nishan Jebanasam, Hana Ma, N. Parameswaran
    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.