To browse the Full Text, you need to create your account (FREE!)

Journal of Advanced Computational Intelligence and Intelligent Informatics

ISSN : 1343-0130(Print) / 1883-8014(Online)
Honorary Editor :Lotfi A. Zadeh (University of California)
Editor-in-Chief :Toshio Fukuda (Nagoya University), Kaoru Hirota (Tokyo Institute of Technology)

open access

JACIII Vol.10 No.3 May 2006

Selected Papers from InTech'04: Guest Editor: Richard Aló (University of Houston–Downtown, USA), and Vladik Kreinovich (University of Texas at El Paso, USA) (As of May. 20,2006)

If you want to search by keywords, please jump to FINDER Search.
You can browse and download the abstract and Preview PDF(first 2 pages of the article) for free.

JACIII Vol.10 No.3 May 2006

Editorial:

Special Issue: Selected Papers from InTech'04

Richard Aló, and Vladik Kreinovich, pp. 243-244

The main objective of the annual International Conference on Intelligent Technologies (InTech) is to bring together researchers and practitioners who implement intelligent and fuzzy technologies in real-world environment. The Fifth International Conference on Intelligent Technologies InTech'04 was held in Houston, Texas, on December 2-4, 2004. Topics of InTech'04 included mathematical foundations of intelligent technologies, traditional Artificial Intelligent techniques, uncertainty processing and methods of soft computing, learning/adaptive systems/data mining, and applications of intelligent technologies. This special issue contains versions of 15 selected papers originally presented at InTech'04. These papers cover most of the topics of the conference.

Several papers describe new applications of the existing intelligent techniques. R. Aló{o} et al. show how traditional statistical hypotheses testing techniques – originally designed for processing measurement results – need to be modified when applied to simulated data – e.g., when we compare the quality of two algorithms. Y. Frayman et al. use mathematical morphology and genetic algorithms in the design of a machine vision system for detecting surface defects in aluminum die casting. Y. Murai et al. propose a new faster entropy-based placement algorithm for VLSI circuit design and similar applications. A. P. Salvatore et al. show how expert system-type techniques can help in scheduling botox treatment for voice disorders. H. Tsuji et al. propose a new method, based on partial differential equations, for automatically identifying and extracting objects from a video. N. Ward uses Ordered Weighted Average (OWA) techniques to design a model that predicts admission of computer science students into different graduate schools.

An important aspect of intelligence is ability to learn. In A. Mahaweerawat et al., neural-based machine learning is used to identify and predict software faults. J. Han et al. show that we can drastically improve the quality of machine learning if, in addition to discovering traditional (positive) rules, we also search for negative rules. A serious problem with many neural-based machine learning algorithms is that often, the results of their learning are un-intelligible rules and numbers. M. I. Khan et al. show, on the example of robotic arm applications, that if we allow neurons with different input-output dependencies – including linear neurons – then we can extract meaningful knowledge from the resulting network.

Several papers analyze the Equivalent Transformation (ET) model, that allows the user to automatically generate code from specifications. A general description of this model is given by K. Akama et al. P. Chippimolchai et al. describe how, within this model, we can transform a user's query into an equivalent more efficient one. H. Koike et al. apply this approach to natural language processing. Y. Shigeta et al. show how the existing constraint techniques can be translated into equivalent transformation rules and thus, combined with other specifications. I. Takarajima et al. extend the ET approach to situations like parallel computations, where the order in which different computations are performed on different processors depends on other processes and is, thus, non-deterministic.

Finally, a paper by J. Chandra – based on his invited talk at InTech'04 – describes a general framework for robust and resilient critical infrastructure systems, with potential applications to transportation systems, power grids, communication networks, water resources, health delivery systems, and financial networks.

We want to thank all the authors for their outstanding work, the participants of InTech'04 for their helpful suggestions, the anonymous reviewers for their thorough analysis and constructive help, and – last but not the least – to Professor Kaoru Hirota for his kind suggestion to host this issue and to the entire staff of the journal for their tireless work.

top

Paper:: Formalization of the Equivalent Transformation Computation Model; Kiyoshi Akama, and Ekawit Nantajeewarawat, pp. 245-259; Abstract | Full Text (PDF181KB)
Paper:: Testing Hypotheses on Simulated Data: Why Traditional Hypotheses-Testing Statistics Are Not Always Adequate for Simulated Data, and How to Modify Them; Richard Aló, Vladik Kreinovich, and Scott A. Starks, pp. 260-264; Abstract | Full Text (PDF67KB)
Paper:: A Framework for Robust and Resilient Critical Infrastructure Systems; Jagdish Chandra, pp. 265-269; Abstract | Full Text (PDF44KB)
Paper:: Semantic Query Optimization: Correctness and Control; Pongtawat Chippimolchai, Kiyoshi Akama, and Vilas Wuwongse, pp. 270-280; Abstract | Full Text (PDF168KB)
Paper:: Machine Vision System for Automatic Inspection of Surface Defects in Aluminum Die Casting; Yakov Frayman, Hong Zheng, and Saeid Nahavandi, pp. 281-286; Abstract | Full Text (PDF238KB)
Paper:: Discovering Both Positive and Negative Fuzzy Association Rules in Large Transaction Databases; Jianchao Han, and Mohsen Beheshti, pp. 287-294; Abstract | Full Text (PDF95KB)
Paper:: Knowledge Extraction from a Mixed Transfer Function Artificial Neural Network; M. Imad Khan, Yakov Frayman, and Saeid Nahavandi, pp. 295-301; Abstract | Full Text (PDF152KB)
Paper:: Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model; Hidekatsu Koike, Kiyoshi Akama, and Hiroshi Mabuchi, pp. 302-311; Abstract | Full Text (PDF137KB)
Paper:: MASP – An Enhanced Model of Fault Type Identification in Object-Oriented Software Engineering; Atchara Mahaweerawat, Peraphon Sophatsathit, Chidchanok Lursinsap, and Petr Musilek, pp. 312-322; Abstract | Full Text (PDF110KB)
Paper:: Fast Placement Algorithm for Rectilinear Jigsaw Puzzles; Yasuyuki Murai, Hiroyuki Tsuji, Hisayuki Tatsumi, and Shinji Tokumasu, pp. 323-331; Abstract | Full Text (PDF235KB)
Paper:: Expert System-Type Approach to Voice Disorders: Scheduling Botulinum Toxin Treatment for Adductor Spasmodic Dysphonia; Anthony P. Salvatore, Amitava Biswas, Vladik Kreinovich, Bertha Manriquez, Michael P. Cannito, and Robert J. Sinard, pp. 332-338; Abstract | Full Text (PDF79KB)
Paper:: Converting Constraint Handling Rules to Equivalent Transformation Rules; Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, and Hidekatsu Koike, pp. 339-348; Abstract | Full Text (PDF115KB)
Paper:: Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model; Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, and Hiroshi Mabuchi, pp. 349-361; Abstract | Full Text (PDF160KB)
Paper:: Extracting Objects Using Contour Evolutions in Edge-Based Object Tracking; Hiroyuki Tsuji, Shinji Tokumasu, Hiroki Takahashi, and Masayuki Nakajima, pp. 362-371; Abstract | Full Text (PDF507KB)
Paper:: Towards a Model of Computer Science Graduate Admissions Decisions; Nigel Ward, pp. 372-383; Abstract | Full Text (PDF211KB)
Paper:: Elevator Group Supervisory Control System Using Genetic Network Programming with Functional Localization; Toru Eguchi, Jin Zhou, Shinji Eto, Kotaro Hirasawa, Jinglu Hu, and Sandor Markon, pp. 385-394; Abstract | Full Text (PDF281KB)
Paper:: Incremental Learning, Recognition, and Generation of Time-Series Patterns Based on Self-Organizing Segmentation; Shogo Okada, and Osamu Hasegawa, pp. 395-408; Abstract | Full Text (PDF344KB)
Paper:: An Efficient Algorithm for Traffic Sign Detection; Aryuanto Soetedjo, and Koichi Yamada, pp. 409-418; Abstract | Full Text (PDF292KB)
Paper:: Generic Database for Hybrid Bayesian Pattern Recognition; Kiril I. Tenekedjiev, Carlos A. Kobashikawa, Natalia D. Nikolova, and Kaoru Hirota, pp. 419-431; Abstract | Full Text (PDF188KB)
Paper:: Q-SEE: Qualitative Simulation Support System in Economic Education; Tokuro Matsuo, Masaki Komatsu, Takayuki Ito, and Toramatsu Shintani, pp. 432-439; Abstract | Full Text (PDF286KB)

top

[Notice]
* To read the PDF file you will then need to download and install the Adobe Reader.
Adobe Reader is free and available for download here: