IJAIT 2006 | Sciweavers

10

IJAIT
2006

121views more IJAIT 2006»

An Efficient Feature Selection Algorithm for Computer-aided Polyp Detection

13 years 4 months ago

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 »

9

click to vote

IJAIT
2006

62views more IJAIT 2006»

Structure Discovery in Sequentially-connected Data Streams

13 years 4 months ago

Download ailab.wsu.edu

Jeffrey Coble, Diane J. Cook, Lawrence B. Holder

claim paper

Read More »

7

click to vote

IJAIT
2006

104views more IJAIT 2006»

Logic of Determination of Objects: the Meaning of Variable in Quantification

13 years 4 months ago

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 »

5

click to vote

IJAIT
2006

62views more IJAIT 2006»

Advances in Knowledge Acquisition and Representation

13 years 4 months ago

Download www.cs.ccsu.edu

Lawrence B. Holder, Zdravko Markov, Ingrid Russell

claim paper

Read More »

14

click to vote

IJAIT
2006

136views more IJAIT 2006»

Model Checking for Multiagent Systems: the Mable Language and its Applications

13 years 4 months ago

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 »

10

click to vote

IJAIT
2006

166views more IJAIT 2006»

Authorship Attribution Based on Feature Set Subspacing Ensembles

13 years 4 months ago

Download www.icsd.aegean.gr

Efstathios Stamatatos

claim paper

Read More »

11

click to vote

IJAIT
2006

103views more IJAIT 2006»

Rendering Aesthetic Impressions of Text in Color Space

13 years 4 months ago

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 »

9

click to vote

IJAIT
2006

106views more IJAIT 2006»

An Empirical Evaluation of Automated Theorem Provers in Software Certification

13 years 4 months ago

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 »

9

click to vote

IJAIT
2006

51views more IJAIT 2006»

Salience-adaptive Painterly Rendering Using Genetic Search

13 years 4 months ago

Download www.ee.surrey.ac.uk

John P. Collomosse, Peter M. Hall

claim paper