Sciweavers

    14 search results - page 1 / 3
    » ictai 1999
    Sort
    View
    149
    Voted
    ICTAI
    1999
    IEEE
    89views Artificial Intelligence» more  ICTAI 1999»
    Solving Hard Satisfiability Problems: A Unified Algorithm Based on Discrete Lagrange Multipliers
    15 years 11 months ago
    Solving Hard Satisfiability Problems: A Unified Algorithm Based on Discrete Lagrange Multipliers
    Download  manip.crhc.uiuc.edu
    Zhe Wu, Benjamin W. Wah
    claim paper
    Read More »
    146
    Voted
    ICTAI
    1999
    IEEE
    119views Artificial Intelligence» more  ICTAI 1999»
    Mining Typhoon Knowledge with Neural Networks
    15 years 11 months ago
    Mining Typhoon Knowledge with Neural Networks
    Download  cs.nju.edu.cn
    Zhi-Hua Zhou, Shifu Chen, Zhaoqian Chen
    claim paper
    Read More »
    156
    Voted
    ICTAI
    1999
    IEEE
    90views Artificial Intelligence» more  ICTAI 1999»
    Towards a Computationally Intelligent Lesson Adaptation for a Distance Learning Course
    15 years 11 months ago
    Towards a Computationally Intelligent Lesson Adaptation for a Distance Learning Course
    Download  www.dcs.bbk.ac.uk
    George D. Magoulas, Kyparisia A. Papanikolaou, Mar...
    claim paper
    Read More »
    141
    Voted
    ICTAI
    1999
    IEEE
    88views Artificial Intelligence» more  ICTAI 1999»
    VERITAS - An Application for Knowledge Verification
    15 years 11 months ago
    VERITAS - An Application for Knowledge Verification
    Download  www.dei.isep.ipp.pt
    Jorge Santos, Carlos Ramos, Zita A. Vale, Albino M...
    claim paper
    Read More »
    191
    Voted
    ICTAI
    1999
    IEEE
    95views Artificial Intelligence» more  ICTAI 1999»
    On the Fine Structure of Large Search Spaces
    15 years 11 months ago
    On the Fine Structure of Large Search Spaces
    Download  www.cs.cornell.edu
    Recently there has been significant progress in our understanding of the computational nature of combinatorial problems. Randomized search methods, both complete and incomplete, o...
    Carla P. Gomes, Bart Selman
    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.