Sciweavers

    IJCAI
    2003
    105views Artificial Intelligence» more  IJCAI 2003»
    Automated Verification: Graphs, Logic, and Automata
    13 years 6 months ago
    Automated Verification: Graphs, Logic, and Automata
    Download  dli.iiit.ac.in
    Automated verification is one of the most success­ ful applications of automated reasoning in com­ puter science. In automated verification one uses algorithmic techniques to es...
    Moshe Y. Vardi
    claim paper
    Read More »
    IJCAI
    2003
    155views Artificial Intelligence» more  IJCAI 2003»
    Coherent Keyphrase Extraction via Web Mining
    13 years 6 months ago
    Coherent Keyphrase Extraction via Web Mining
    Download  dli.iiit.ac.in
    Keyphrases are useful for a variety of purposes, including summarizing, indexing, labeling, categorizing, clustering, highlighting, browsing, and searching. The task of automatic ...
    Peter D. Turney
    claim paper
    Read More »
    IJCAI
    2003
    133views Artificial Intelligence» more  IJCAI 2003»
    A Semantic-Based User Privacy Protection Framework for Web Services
    13 years 6 months ago
    A Semantic-Based User Privacy Protection Framework for Web Services
    Download  www.srdc.metu.edu.tr
    Abstract. Web service technology is an Internet-based distributed computing paradigm to address interoperability in heterogeneous distributed systems. In this paper, we present a p...
    Arif Tumer, Asuman Dogac, Ismail Hakki Toroslu
    claim paper
    Read More »
    IJCAI
    2003
    93views Artificial Intelligence» more  IJCAI 2003»
    Learning Algorithms for Software Agents in Uncertain and Untrusted Market Environments
    13 years 6 months ago
    Learning Algorithms for Software Agents in Uncertain and Untrusted Market Environments
    Download  dli.iiit.ac.in
    Thomas T. Tran, Robin Cohen
    claim paper
    Read More »
    IJCAI
    2003
    117views Artificial Intelligence» more  IJCAI 2003»
    Automatic Abstraction in Component-Based Diagnosis Driven by System Observability
    13 years 6 months ago
    Automatic Abstraction in Component-Based Diagnosis Driven by System Observability
    Download  dli.iiit.ac.in
    Gianluca Torta, Pietro Torasso
    claim paper
    Read More »
    IJCAI
    2003
    87views Artificial Intelligence» more  IJCAI 2003»
    A Learning Algorithm for Localizing People Based on Wireless Signal Strength that Uses Labeled and Unlabeled Data
    13 years 6 months ago
    A Learning Algorithm for Localizing People Based on Wireless Signal Strength that Uses Labeled and Unlabeled Data
    Download  www.ri.cmu.edu
    This paper summarizes a probabilistic approach for localizing people through the signal strengths of a wireless IEEE 802.11b network. Our approach uses data labeled by ground trut...
    Sebastian Thrun, Geoffrey J. Gordon, Frank Pfennin...
    claim paper
    Read More »
    IJCAI
    2003
    163views Artificial Intelligence» more  IJCAI 2003»
    In Defense of PDDL Axioms
    13 years 6 months ago
    In Defense of PDDL Axioms
    Download  dli.iiit.ac.in
    There is controversy as to whether explicit support for PDDL-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers h...
    Sylvie Thiébaux, Jörg Hoffmann, Bernha...
    claim paper
    Read More »
    IJCAI
    2003
    132views Artificial Intelligence» more  IJCAI 2003»
    Efficient Execution of Recursive Integration Plans
    13 years 6 months ago
    Efficient Execution of Recursive Integration Plans
    Download  www.isi.edu
    Information integration systems provide a uniform query interface to a set of sources. One of the key challenges for an information integration system is to provide maximally comp...
    Snehal Thakkar, Craig A. Knoblock
    claim paper
    Read More »
    IJCAI
    2003
    110views Artificial Intelligence» more  IJCAI 2003»
    A Statistical Model for Flexible String Similarity
    13 years 6 months ago
    A Statistical Model for Flexible String Similarity
    Download  dli.iiit.ac.in
    This paper proposes a statistical model for defining string similarity. The proposed model is based on hidden Markov model and defines string similarity as the combination of simi...
    Atsuhiro Takasu
    claim paper
    Read More »
    IJCAI
    2003
    89views Artificial Intelligence» more  IJCAI 2003»
    Qualitatively Faithful Quantitative Prediction
    13 years 6 months ago
    Qualitatively Faithful Quantitative Prediction
    Download  www.ailab.si
    Dorian Suc, Daniel Vladusic, Ivan Bratko
    claim paper
    Read More »
    « first‹ previous123456789…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.