Sciweavers

Share
IJAIT
2006
121views more  IJAIT 2006»
9 years 7 months ago
An Efficient Feature Selection Algorithm for Computer-aided Polyp Detection
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...
IJAIT
2006
62views more  IJAIT 2006»
9 years 7 months ago
Structure Discovery in Sequentially-connected Data Streams
Jeffrey Coble, Diane J. Cook, Lawrence B. Holder
IJAIT
2006
104views more  IJAIT 2006»
9 years 7 months ago
Logic of Determination of Objects: the Meaning of Variable in Quantification
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
IJAIT
2006
62views more  IJAIT 2006»
9 years 7 months ago
Advances in Knowledge Acquisition and Representation
Lawrence B. Holder, Zdravko Markov, Ingrid Russell
IJAIT
2006
136views more  IJAIT 2006»
9 years 7 months ago
Model Checking for Multiagent Systems: the Mable Language and its Applications
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...
IJAIT
2006
103views more  IJAIT 2006»
9 years 7 months ago
Rendering Aesthetic Impressions of Text in Color Space
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
IJAIT
2006
106views more  IJAIT 2006»
9 years 7 months ago
An Empirical Evaluation of Automated Theorem Provers in Software Certification
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
IJAIT
2006
51views more  IJAIT 2006»
9 years 7 months ago
Salience-adaptive Painterly Rendering Using Genetic Search
John P. Collomosse, Peter M. Hall
IJAIT
2006
60views more  IJAIT 2006»
9 years 7 months ago
A New Feasible Natural Language Database Query Method
Veera Boonjing, Cheng Hsu
books