Sciweavers

    IJCAI
    2003
    132views Artificial Intelligence» more  IJCAI 2003»
    Backdoors To Typical Case Complexity
    13 years 8 months ago
    Backdoors To Typical Case Complexity
    Download  www.cs.cmu.edu
    There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...
    Ryan Williams, Carla P. Gomes, Bart Selman
    claim paper
    Read More »
    IJCAI
    2003
    193views Artificial Intelligence» more  IJCAI 2003»
    When Discriminative Learning of Bayesian Network Parameters Is Easy
    13 years 8 months ago
    When Discriminative Learning of Bayesian Network Parameters Is Easy
    Download  dli.iiit.ac.in
    Bayesian network models are widely used for discriminative prediction tasks such as classification. Usually their parameters are determined using 'unsupervised' methods ...
    Hannes Wettig, Peter Grünwald, Teemu Roos, Pe...
    claim paper
    Read More »
    IJCAI
    2003
    125views Artificial Intelligence» more  IJCAI 2003»
    Concept Linking for Information Integration in Open Book and Sentinel
    13 years 8 months ago
    Concept Linking for Information Integration in Open Book and Sentinel
    Download  www.isi.edu
    Opening up large amounts of loosely structured information for easy access and use is a complex problem. This paper describes two systems that address different aspects of the pro...
    Stuart Watt
    claim paper
    Read More »
    IJCAI
    2003
    111views Artificial Intelligence» more  IJCAI 2003»
    Switching Hypothesized Measurements: A Dynamic Model with Applications to Occlusion Adaptive Joint Tracking
    13 years 8 months ago
    Switching Hypothesized Measurements: A Dynamic Model with Applications to Occlusion Adaptive Joint Tracking
    Download  www.computing.edu.au
    This paper proposes a dynamic model supporting multimodal state space probability distributions and presents the application of the model in dealing with visual occlusions when tr...
    Yang Wang 0002, Tele Tan, Kia-Fock Loe
    claim paper
    Read More »
    IJCAI
    2003
    119views Artificial Intelligence» more  IJCAI 2003»
    Incremental Utility Elicitation with the Minimax Regret Decision Criterion
    13 years 8 months ago
    Incremental Utility Elicitation with the Minimax Regret Decision Criterion
    Download  www.cs.toronto.edu
    Utility elicitation is a critical function of any automated decision aid, allowing decisions to be tailored to the preferences of a specific user. However, the size and complexit...
    Tianhan Wang, Craig Boutilier
    claim paper
    Read More »
    IJCAI
    2003
    140views Artificial Intelligence» more  IJCAI 2003»
    Behavior Bounding: Toward Effective Comparisons of Agents & Humans
    13 years 8 months ago
    Behavior Bounding: Toward Effective Comparisons of Agents & Humans
    Download  ai.eecs.umich.edu
    Scott A. Wallace, John E. Laird
    claim paper
    Read More »
    IJCAI
    2003
    141views Artificial Intelligence» more  IJCAI 2003»
    Automatic Video Interpretation: A Novel Algorithm for Temporal Scenario Recognition
    13 years 8 months ago
    Automatic Video Interpretation: A Novel Algorithm for Temporal Scenario Recognition
    Download  dli.iiit.ac.in
    This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model by specifying the characters involved in the scenario, the sub-sce...
    Van-Thinh Vu, François Brémond, Moni...
    claim paper
    Read More »
    IJCAI
    2003
    184views Artificial Intelligence» more  IJCAI 2003»
    Automated Reasoning: Past Story and New Trends
    13 years 8 months ago
    Automated Reasoning: Past Story and New Trends
    Download  dli.iiit.ac.in
    We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
    Andrei Voronkov
    claim paper
    Read More »
    IJCAI
    2003
    137views Artificial Intelligence» more  IJCAI 2003»
    Assertion Application in Theorem Proving and Proof Planning
    13 years 8 months ago
    Assertion Application in Theorem Proving and Proof Planning
    Download  monet.nag.co.uk
    Quoc Bao Vo, Christoph Benzmüller, Serge Aute...
    claim paper
    Read More »
    IJCAI
    2003
    145views Artificial Intelligence» more  IJCAI 2003»
    A lookahead strategy for solving large planning problems
    13 years 8 months ago
    A lookahead strategy for solving large planning problems
    Download  v.vidal.free.fr
    Relaxed plans are used in the heuristic search planner FF for computing a numerical heuristic and extracting helpful actions. We present a novel way for extracting information fro...
    Vincent Vidal
    claim paper
    Read More »
    « first‹ previous…353637383940414243…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.