The Community for Technology Leaders
Proceedings of 10th International Conference on Tools with Artificial Intelligence (ICTA'98) (1998)
Taipei, Taiwan
Nov. 10, 1998 to Nov. 12, 1998
ISSN: 1082-3409
ISBN: 0-7803-5214-9
TABLE OF CONTENTS

An SPN based methodology for document understanding (PDF)

N.G. Bourbakis , Dept. of Electr. & Comput. Eng., Tech. Univ. of Crete, Chania, Greece
pp. 10-15

Fast similarity search in databases of 3D objects (PDF)

Xiong Wang , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 16-23

Incremental update on sequential patterns in large databases (PDF)

Ming-Yen Lin , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 24-31

Constraint techniques for collaborative design (PDF)

C. Lottaz , Dept. of Comput. Sci., Fed. Inst. of Technol., Lausanne, Switzerland
pp. 34-41

Distributing problem solving on the Web using constraint technology (PDF)

M. Torrens i Arnal , Artificial Intelligence Lab., Fed. Inst. of Technol., Lausanne, Switzerland
pp. 42-49

A multi-agent architecture for mobile robot navigation control (PDF)

Jia-Houng Shyu , Dept. of Electr. Eng., Nat. Chung-Hsing Univ., Taichung, Taiwan
pp. 50-57

Escape from a prisoners' dilemma by communication with a trusted third party (PDF)

Shih-Hung Wu , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 58-65

Efficiency validation of fuzzy domain theories using a neural network model (PDF)

Hahn-Ming Lee , Dept. of Electron. Eng., Nat. Taiwan Inst. of Technol., Taipei, Taiwan
pp. 81-88

Two-level learning algorithm for multilayer neural networks (PDF)

Chin-Sung Liu , Dept. of Mech. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 97-102

A fuzzy information retrieval method using fuzzy-valued concept networks (PDF)

Yih-Jen Horng , Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 104-111

Removal of redundancy in documents retrieved from different resources (PDF)

N. Bourbakis , Center for Intelligent Syst., Binghamton Univ., NY, USA
pp. 112-119

Organizing conceptual graphs for fast knowledge retrieval (PDF)

I. Ounis , CLIPS-IMAG, Grenoble, France
pp. 120-129

On the evaluation of attribute information for mining classification rules (PDF)

Ming-Syan Chen , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 130-137

Exploiting hyperlinks for automatic information discovery on the WWW (PDF)

Chia-Hui Chang , Dept. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 156-163

A Lagrangian reconstruction of a class of local search methods (PDF)

K.M.F. Choi , Dept. of Comput. Sci. & Eng., Chinese Univ. of Hong Kong, Shatin, Hong Kong
pp. 166-175

Improving the performance of discrete Lagrange-multiplier search for solving hard SAT problems (PDF)

Yi Shang , Dept. of Comput. Sci., Missouri Univ., Columbia, MO, USA
pp. 176-183

Solving fuzzy constraint satisfaction problems with fuzzy GENET (PDF)

J.H.Y. Wong , Dept. of Comput. Sci., Chinese Univ. of Hong Kong, Shatin, Hong Kong
pp. 184-191

IBHYS: a new approach to learn users habits (PDF)

J.D. Ruvini , LIRMM UMR, CNRS-UMII, Montpellier, France
pp. 200-207

Fragmentation problem and automated feature construction (PDF)

R. Setiono , Sch. of Comput., Nat. Univ. of Singapore, Singapore
pp. 208-215

Building a hierarchical representation of membership functions (PDF)

Tzung-Pei Hong , Dept. of Inf. Manage., I-Shou Univ., Taiwan
pp. 236-241

Capital budgeting techniques under fuzzy information (PDF)

C. Kahraman , Dept. of Ind. Eng., Istanbul Tech. Univ., Turkey
pp. 242-249

An artificial intelligence based tool for home automation using MATLAB (PDF)

H.J. Zainzinger , Inst. of Autom., Vienna Univ. of Technol., Austria
pp. 256-261

A tool-supported approach to engineering HTN planning models (PDF)

T.L. McCluskey , Sch. of Comput. & Math., Huddersfield Univ., UK
pp. 272-279

Stochastic and distributed anytime task scheduling (PDF)

F. Charpillet , Inst. Nat. de Recherche en Inf. et Autom., Vandoeuvre-les-Nancy, France
pp. 280-287

Multiconstraint task scheduling in multi-processor system by neural network (PDF)

Ruey-Maw Chen , Dept. of Eng. Sci., Nat. Cheng Kung Univ., Tainan, Taiwan
pp. 288-294

PHYSIMC: an intelligent assistant for case-based learning (PDF)

J.Y.-J. Hsu , Dept. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 296-301

FPNES: fuzzy Petri net based expert system for bridges damage assessment (PDF)

K.F.R. Liu , Dept. of Civil Eng., Nat. Central Univ., Chung-Li, Taiwan
pp. 302-309

KJ3-a tool for proving formal specifications of rule-based expert systems (PDF)

Chih-Hung Wu , Dept. of Inf. Manage., Shu-Te Inst. of Technol., Kaohsiung, Taiwan
pp. 310-317

Solving large processor configuration problems with the guided genetic algorithm (PDF)

T.L. Lau , Dept. of Comput. Sci., Essex Univ., Colchester, UK
pp. 320-327

Diagnostics of dynamical systems by recognizing the default and abnormal pattern (PDF)

P.P. Wang , Dept. of Electr. & Comput. Eng., Duke Univ., Durham, NC, USA
pp. 354-358

A hybrid case-based medical diagnosis system (PDF)

Chien-Chang Hsu , Dept. of Electron. Eng., Nat. Taiwan Univ. of Sci. & Technol., Taipei, Taiwan
pp. 359-366

An efficient and practical diagnosis model (PDF)

Yue Xu , Sch. of Math. Stat. & Comput. Sci., New England Univ., Armidale, NSW, Australia
pp. 367-374

State aggregation for solving Markov decision problems an application to mobile robotics (PDF)

P. Laroche , LORIA, Inst. Nat. de Recherche en Inf. et Autom., Vamdoeuvre-les-Nancy, France
pp. 384-391

Dynamic time-series forecasting using local approximation (PDF)

S. Singh , Dept. of Comput. Sci., Exeter Univ., UK
pp. 392-399

Encoding global constraints in semiring-based constraint solving (PDF)

Y. Georget , Inst. Nat. de Recherche en Inf. et Autom., Le Chesnay, France
pp. 400-407

Search strategies for reasoning about spatial ontologies (PDF)

J. Pais , Inst. Superior Tecnico, Lisbon, Portugal
pp. 418-422

Revising default theories (PDF)

G. Antoniou , Comput. & Inf. Technol., Griffith Univ., Nathan, Qld., Australia
pp. 423-430

Multi-state commitment search (PDF)

Y. Kitamura , Fac. of Eng., Osaka City Univ., Japan
pp. 431-439

Proof nets for controlling ambiguity in natural language processing (PDF)

P. Blache , LPL, CNRS, Aix-en-Provence, France
pp. 459-465

A modified tabu search approach for texture segmentation using 2-D non-separable wavelet frames (PDF)

J.S. Pan , Dept. of Electron. Eng., Nat. Kaohsiung Inst. of Technol., Taiwan
pp. 474-481

Author index (PDF)

pp. 482-483
92 ms
(Ver 3.3 (11022016))