Sciweavers

    IJAIT
    2006
    121views more  IJAIT 2006»
    An Efficient Feature Selection Algorithm for Computer-aided Polyp Detection
    14 years 14 days ago
    An Efficient Feature Selection Algorithm for Computer-aided Polyp Detection
    Download  www.aaai.org
    We present an efficient feature selection algorithm for computer aided detection (CAD) computed tomographic (CT) colonography. The algorithm 1) determines an appropriate piecewise...
    Jiang Li, Jianhua Yao, Ronald M. Summers, Nicholas...
    claim paper
    Read More »
    IJAIT
    2006
    62views more  IJAIT 2006»
    Structure Discovery in Sequentially-connected Data Streams
    14 years 14 days ago
    Structure Discovery in Sequentially-connected Data Streams
    Download  ailab.wsu.edu
    Jeffrey Coble, Diane J. Cook, Lawrence B. Holder
    claim paper
    Read More »
    IJAIT
    2006
    104views more  IJAIT 2006»
    Logic of Determination of Objects: the Meaning of Variable in Quantification
    14 years 14 days ago
    Logic of Determination of Objects: the Meaning of Variable in Quantification
    Download  www.aaai.org
    This article constitutes a contribution to an analysis of the notion of variable. Whithin the framework of Combinatory Logic as a formalism without bound variables, the Logic of D...
    Jean-Pierre Desclés, Anca Pascu
    claim paper
    Read More »
    IJAIT
    2006
    62views more  IJAIT 2006»
    Advances in Knowledge Acquisition and Representation
    14 years 14 days ago
    Advances in Knowledge Acquisition and Representation
    Download  www.cs.ccsu.edu
    Lawrence B. Holder, Zdravko Markov, Ingrid Russell
    claim paper
    Read More »
    IJAIT
    2006
    136views more  IJAIT 2006»
    Model Checking for Multiagent Systems: the Mable Language and its Applications
    14 years 14 days ago
    Model Checking for Multiagent Systems: the Mable Language and its Applications
    Download  www.csc.liv.ac.uk
    We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
    Michael Wooldridge, Marc-Philippe Huget, Michael F...
    claim paper
    Read More »
    IJAIT
    2006
    166views more  IJAIT 2006»
    Authorship Attribution Based on Feature Set Subspacing Ensembles
    14 years 14 days ago
    Authorship Attribution Based on Feature Set Subspacing Ensembles
    Download  www.icsd.aegean.gr
    Efstathios Stamatatos
    claim paper
    Read More »
    IJAIT
    2006
    103views more  IJAIT 2006»
    Rendering Aesthetic Impressions of Text in Color Space
    14 years 14 days ago
    Rendering Aesthetic Impressions of Text in Color Space
    Download  larifari.org
    and renders an abstract color grid artwork reminiscent of early twentieth century abstract expressionism. Following Dewey's psychological interpretation of "aesthetic&quo...
    Hugo Liu, Pattie Maes
    claim paper
    Read More »
    IJAIT
    2006
    106views more  IJAIT 2006»
    An Empirical Evaluation of Automated Theorem Provers in Software Certification
    14 years 14 days ago
    An Empirical Evaluation of Automated Theorem Provers in Software Certification
    Download  ti.arc.nasa.gov
    We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
    Ewen Denney, Bernd Fischer 0002, Johann Schumann
    claim paper
    Read More »
    IJAIT
    2006
    51views more  IJAIT 2006»
    Salience-adaptive Painterly Rendering Using Genetic Search
    14 years 14 days ago
    Salience-adaptive Painterly Rendering Using Genetic Search
    Download  www.ee.surrey.ac.uk
    John P. Collomosse, Peter M. Hall
    claim paper
    Read More »
    IJAIT
    2006
    60views more  IJAIT 2006»
    A New Feasible Natural Language Database Query Method
    14 years 14 days ago
    A New Feasible Natural Language Database Query Method
    Download  viu.eng.rpi.edu
    Veera Boonjing, Cheng Hsu
    claim paper
    Read More »
    12next ›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.