Sciweavers

    AAAI
    2004
    226views Intelligent Agents» more  AAAI 2004»
    Reconstruction of 3D Models from Intensity Images and Partial Depth
    14 years 1 months ago
    Reconstruction of 3D Models from Intensity Images and Partial Depth
    Download  www.aaai.org
    This paper addresses the probabilistic inference of geometric structures from images. Specifically, of synthesizing range data to enhance the reconstruction of a 3D model of an in...
    Luz Abril Torres-Méndez, Gregory Dudek
    claim paper
    Read More »
    AAAI
    2004
    104views Intelligent Agents» more  AAAI 2004»
    Identifying Linear Causal Effects
    14 years 1 months ago
    Identifying Linear Causal Effects
    Download  www.aaai.org
    This paper concerns the assessment of linear cause-effect relationships from a combination of observational data and qualitative causal structures. The paper shows how techniques ...
    Jin Tian
    claim paper
    Read More »
    AAAI
    2006
    88views Intelligent Agents» more  AAAI 2006»
    Exploiting Spatial and Temporal Flexibility for Plan Execution for Hybrid, Under-actuated Robots
    14 years 1 months ago
    Exploiting Spatial and Temporal Flexibility for Plan Execution for Hybrid, Under-actuated Robots
    Download  www.aaai.org
    Andreas G. Hofmann, Brian C. Williams
    claim paper
    Read More »
    AAAI
    2004
    107views Intelligent Agents» more  AAAI 2004»
    Additive versus Multiplicative Clause Weighting for SAT
    14 years 1 months ago
    Additive versus Multiplicative Clause Weighting for SAT
    Download  www.aaai.org
    This paper examines the relative performance of additive and multiplicative clause weighting schemes for propositional satisfiability testing. Starting with one of the most recent...
    John Thornton, Duc Nghia Pham, Stuart Bain, Valnir...
    claim paper
    Read More »
    AAAI
    2006
    126views Intelligent Agents» more  AAAI 2006»
    A Causal Analysis Method for Concurrent Hybrid Automata
    14 years 1 months ago
    A Causal Analysis Method for Concurrent Hybrid Automata
    Download  www.aaai.org
    Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
    Michael W. Hofbaur, Franz Wotawa
    claim paper
    Read More »
    AAAI
    2004
    139views Intelligent Agents» more  AAAI 2004»
    Agent-based Simulation of Geo-Political Conflict
    14 years 1 months ago
    Agent-based Simulation of Geo-Political Conflict
    Download  www.aaai.org
    The intelligence analysis task of anticipating crises and providing decision makers with reasonable (supportable, explainable)possiblefuturesisextremelydifficult.Toperform this ta...
    Glenn Taylor, Richard Frederiksen, Russell R. Vane...
    claim paper
    Read More »
    AAAI
    2006
    113views Intelligent Agents» more  AAAI 2006»
    A New Approach to Distributed Task Assignment using Lagrangian Decomposition and Distributed Constraint Satisfaction
    14 years 1 months ago
    A New Approach to Distributed Task Assignment using Lagrangian Decomposition and Distributed Constraint Satisfaction
    Download  www.edu.kobe-u.ac.jp
    We present a new formulation of distributed task assignment, called Generalized Mutual Assignment Problem (GMAP), which is derived from an NP-hard combinatorial optimization probl...
    Katsutoshi Hirayama
    claim paper
    Read More »
    AAAI
    2006
    89views Intelligent Agents» more  AAAI 2006»
    New Inference Rules for Efficient Max-SAT Solving
    14 years 1 months ago
    New Inference Rules for Efficient Max-SAT Solving
    Download  www.aaai.org
    Federico Heras, Javier Larrosa
    claim paper
    Read More »
    AAAI
    2006
    121views Intelligent Agents» more  AAAI 2006»
    Negation, Contrast and Contradiction in Text Processing
    14 years 1 months ago
    Negation, Contrast and Contradiction in Text Processing
    Download  www.languagecomputer.com
    This paper describes a framework for recognizing contradictions between multiple text sources by relying on three forms of linguistic information: (a) negation; (b) antonymy; and ...
    Sanda M. Harabagiu, Andrew Hickl, V. Finley Lacatu...
    claim paper
    Read More »
    AAAI
    2006
    127views Intelligent Agents» more  AAAI 2006»
    A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration
    14 years 1 months ago
    A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration
    Download  www.aaai.org
    Interactive configurators are decision support systems assisting users in selecting values for parameters that respect given constraints. The underlying knowledge can be convenien...
    Tarik Hadzic, Henrik Reif Andersen
    claim paper
    Read More »
    « first‹ previous…285286287288289290291292293…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.