This paper presents an autonomous algorithm for discovering exception rules from data sets. An exception rule, which is defined as a deviational pattern to a well-known fact, exhibits unexpectedness and is sometimes e...
详细信息
The proceedings contain 65 papers. The topics discussed include: an interactive visualization environment for data exploration;density-connected sets and their application for trend detection in spatial databases;visu...
ISBN:
(纸本)1577350278
The proceedings contain 65 papers. The topics discussed include: an interactive visualization environment for data exploration;density-connected sets and their application for trend detection in spatial databases;visualization techniques to explore datamining results for document collections;a probabilistic approach to fast pattern matching in time series databases;using general impressions to analyze discovered classification rules;development of multi-criteria metrics for evaluation of datamining algorithms;analysis and visualization of classifier performance: comparison under imprecise class and cost distributions;discriminative vs informative learning;anytime exploratory data analysis for massive data sets;detecting atmospheric regimes using cross-validated clustering;and a visual interactive framework for attribute discretization.
We apply DOGMA, a GA-based theory revision system, to MDL-based rule enhancement in supervised concept learning. The system takes as input classification data and a rule-based classification theory, produced by some r...
详细信息
We describe how specialized database technology and data analysis methods were applied by the Swedish defense to help deal with the violation of Swedish marine territory by foreign submarine intruders during the Eight...
详细信息
The solar chromosphere consists of three classes - plage, network, background - which contribute differently to ultraviolet radiation reaching the earth. Solar physicists are interested in relating plage area and inte...
详细信息
This paper presents first results of an interdisciplinary project in scientific datamining. We analyze data about the carcinogenicity of chemicals derived from the carcinogenesis bioassay program performed by the US ...
详细信息
TempleMVV a system for visually mining very large high dimensional datasets is presented. The system first developed at Temple University's Department of Physics is based on U.S. Patent No. 5, 228, 119 and utilize...
详细信息
Low-frequency variability in geopotential height records of the Northern Hemisphere is a topic of significance in atmospheric science, having profound implications for climate modeling and prediction. A debate has exi...
详细信息
In the framework of an image interpretation system for automatic cartography based on remote sensing image classification improved by a photo interpreter knowledge, we developed a system based on neural networks which...
详细信息
ISBN:
(纸本)0819423599
In the framework of an image interpretation system for automatic cartography based on remote sensing image classification improved by a photo interpreter knowledge, we developed a system based on neural networks which simultaneously produce fuzzy rules, with their linguistic approximation as well as final classification. This paper describes the succession of steps used with this aim in view. Particularly it investigates the application of mutual information criteria to simplify fuzzy rules.
The proceedings contain 23 papers. The special focus in this conference is on Artificial Intelligence and Symbolic Mathematical Computation. The topics include: Symbolic computation and teaching (invited lecture);an e...
ISBN:
(纸本)3540617329
The proceedings contain 23 papers. The special focus in this conference is on Artificial Intelligence and Symbolic Mathematical Computation. The topics include: Symbolic computation and teaching (invited lecture);an experiment in combining theorem proving and symbolic computation;document recognition, semantics, and symbolic reasoning in reverse engineering of software;compromised updates in labelled databases;an inference engine for propositional two-valued logic based on the radical membership problem;a machinelearning approach to support skill acquisition for robots (invited lecture);knowledge-based information processing in manufacturing cells - the present and the future;calculi for qualitative spatial reasoning (invited lecture);combining local consistency, symbolic rewriting and interval methods;proof transformation for non-compatible rewriting;an efficient data structure for completion of finitely presented groups;measuring the likely effectiveness of strategies;a new approach on solving 3-satisfiability;from artificial intelligence to symbolic mathematical computation (invited lecture);interactive theorem proving and finite projective planes;towards modelling the topology of homogeneous manifolds by means of symbolic computation;solving geometrical constraint systems using CLP based on linear constraint solver;towards a sheaf semantics for cooperating agents scenarios;data types in subdefinite models;on theorem-proving in horn theories with built-in algebras;backward reasoning in systems with cut;soundness and completeness versus lifting property;reasoning with preorders and dynamic sorts using free variable tableaux.
暂无评论