Titlebook: Intelligent Information and Database Systems; 9th Asian Conference Ngoc Thanh Nguyen,Satoshi Tojo,Bogdan Trawiński Conference proceedings 2

flaunt

坦白

RADE

小丑

Balanced k-Means to apply this method are also discussed, such as Travelling Salesman Problem (TSP). In order to enhance the performance and usability, we are in the process of proposing a learning ability of this method in the future.

Airtight

A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoninga predicate suggestion algorithm to suggest previously unknown predicates and create abstraction rules for predicate abstraction in the ATF method with forward reasoning. The paper also shows that the proposed algorithm is effective through a case study.

FLEET

addition

Modeling a Multi-criteria Decision Support System for Capital Budgeting Project Selection computational architecture of the decision support system for capital budgeting project selection. Finally, an algorithm and a numerical example resumed the design philosophy and the operation process of the modeled multi-criteria DSS was illustrated and the results have indicated that the objectives of the study were achieved.

孤獨(dú)無助

0302-9743 Intelligent Information and Database Systems, ACIIDS 2017, held in Kanazawa, Japan, in April 2017. The total of 152 full papers accepted for publication in these proceedings was carefully reviewed and selected from 420 submissions. .They were organized in topical sections named: Knowledge Engineeri

ostracize

Increasing the Detection of Minority Class Instances in Financial Statement Frauded from investigations, which could lead to greater class imbalance. In this study, a combination of imputation, feature selection and classification is shown to increase the identification of minority samples given severely imbalanced data.

Predigest