Sciweavers

    IJCAI
    2003
    112views Artificial Intelligence» more  IJCAI 2003»
    Formal Verification of Diagnosability via Symbolic Model Checking
    13 years 6 months ago
    Formal Verification of Diagnosability via Symbolic Model Checking
    Download  dli.iiit.ac.in
    This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
    Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
    claim paper
    Read More »
    IJCAI
    2003
    109views Artificial Intelligence» more  IJCAI 2003»
    Where is ...? Learning and Utilizing Motion Patterns of Persons with Mobile Robots
    13 years 6 months ago
    Where is ...? Learning and Utilizing Motion Patterns of Persons with Mobile Robots
    Download  dli.iiit.ac.in
    Whenever people move through their environments they do not move randomly. Instead, they usually follow specific trajectories or motion patterns corresponding to their intentions....
    Grzegorz Cielniak, Maren Bennewitz, Wolfram Burgar...
    claim paper
    Read More »
    IJCAI
    2003
    107views Artificial Intelligence» more  IJCAI 2003»
    Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule
    13 years 6 months ago
    Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule
    Download  www.cs.cornell.edu
    Many different rules for decision making have been introduced in the literature. We show that a notion of generalized expected utility proposed in [Chu and Halpern 2003] is a uni...
    Francis C. Chu, Joseph Y. Halpern
    claim paper
    Read More »
    IJCAI
    2003
    93views Artificial Intelligence» more  IJCAI 2003»
    Great Expectations. Part I: On the Customizability of Generalized Expected Utility
    13 years 6 months ago
    Great Expectations. Part I: On the Customizability of Generalized Expected Utility
    Download  ijcai.org
    We propose a generalization of expected utility that we call generalized EU (GEU), where a deci­ sion maker's beliefs are represented by plausibil­ ity measures and the dec...
    Francis C. Chu, Joseph Y. Halpern
    claim paper
    Read More »
    IJCAI
    2003
    95views Artificial Intelligence» more  IJCAI 2003»
    Propagation Redundancy for Permutation Channels
    13 years 6 months ago
    Propagation Redundancy for Permutation Channels
    Download  www.cse.cuhk.edu.hk
    Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
    claim paper
    Read More »
    IJCAI
    2003
    100views Artificial Intelligence» more  IJCAI 2003»
    On a generalization of triangulated graphs for domains decomposition of CSPs
    13 years 6 months ago
    On a generalization of triangulated graphs for domains decomposition of CSPs
    Download  dli.iiit.ac.in
    In [Jegou, 1993], a decomposition method has been introduced for improving search efficiency in the area of Constraint Satisfaction Problems. This method is based on properties of...
    Assef Chmeiss, Philippe Jégou, Lamia Keddar
    claim paper
    Read More »
    IJCAI
    2003
    120views Artificial Intelligence» more  IJCAI 2003»
    Information Extraction from Tree Documents by Learning Subtree Delimiters
    13 years 6 months ago
    Information Extraction from Tree Documents by Learning Subtree Delimiters
    Download  www.isi.edu
    Information extraction from HTML pages has been conventionally treated as plain text documents extended with HTML tags. However, the growing maturity and correct usage of HTML/XHT...
    Boris Chidlovskii
    claim paper
    Read More »
    IJCAI
    2003
    75views Artificial Intelligence» more  IJCAI 2003»
    Efficient Representation of Adhoc Constraints
    13 years 6 months ago
    Efficient Representation of Adhoc Constraints
    Download  dli.iiit.ac.in
    Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuc...
    claim paper
    Read More »
    IJCAI
    2003
    102views Artificial Intelligence» more  IJCAI 2003»
    A Theory of Average-Case Compilability in Knowledge Representation
    13 years 6 months ago
    A Theory of Average-Case Compilability in Knowledge Representation
    Download  ijcai.org
    Compilability is a fundamental property of knowledge representation formalisms which captures how succinctly information can be expressed. Although many results concerning compila...
    Hubie Chen
    claim paper
    Read More »
    IJCAI
    2003
    104views Artificial Intelligence» more  IJCAI 2003»
    On the Revision of Probabilistic Beliefs using Uncertain Evidence
    13 years 6 months ago
    On the Revision of Probabilistic Beliefs using Uncertain Evidence
    Download  dli.iiit.ac.in
    We revisit the problem of revising probabilistic beliefs using uncertain evidence, and report results on four major issues relating to this problem: How to specify uncertain evide...
    Hei Chan, Adnan Darwiche
    claim paper
    Read More »
    « first‹ previous…181920212223242526…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.