The Community for Technology Leaders
2012 IEEE 24th International Conference on Tools with Artificial Intelligence (2000)
Vancouver, British Columbia, Canada
Nov. 13, 2000 to Nov. 15, 2000
ISBN: 0-7695-0909-6
TABLE OF CONTENTS
Session A1: Logic and Reasoning

Multi-resolution on compressed sets of clauses (Abstract)

P. Chatalic , Lab. de Recherche en Inf., Univ. de Paris-Sud, Orsay, France
L. Simon , Lab. de Recherche en Inf., Univ. de Paris-Sud, Orsay, France
pp. 0002

An assumptive logic programming methodology for parsing (Abstract)

K. Voll , Sch. of Comput. Sci., Simon Fraser Univ., Burnaby, BC, Canada
T. Yeh , Sch. of Comput. Sci., Simon Fraser Univ., Burnaby, BC, Canada
V. Dahl , Sch. of Comput. Sci., Simon Fraser Univ., Burnaby, BC, Canada
pp. 0011

Belief revision and possibilistic logic for adaptive information filtering agents (Abstract)

R. Lau , CIS Res. Centre, Queensland Univ. of Technol., Brisbane, Qld., Australia
A.H.M. ter Hofstede , CIS Res. Centre, Queensland Univ. of Technol., Brisbane, Qld., Australia
P.D. Bruza , CIS Res. Centre, Queensland Univ. of Technol., Brisbane, Qld., Australia
K.F. Wong , CIS Res. Centre, Queensland Univ. of Technol., Brisbane, Qld., Australia
pp. 0019
Session B1: Machine Learning

A visualization tool for interactive learning of large decision trees (Abstract)

T.D. Nguyen , Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan
T.B. Ho , Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan
H. Shimodaira , Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan
pp. 0028

Function approximation based multi-agent reinforcement learning (Abstract)

O. Abul , Div. of Microwave & Syst. Technol., Aselsan Inc., Ankara, Turkey
F. Polat , Div. of Microwave & Syst. Technol., Aselsan Inc., Ankara, Turkey
R. Alhajj , Div. of Microwave & Syst. Technol., Aselsan Inc., Ankara, Turkey
pp. 0036

Knowledge pruning in decision trees (Abstract)

I. Shioya , Sanno Univ., Kanagawa, Japan
T. Miura , Sanno Univ., Kanagawa, Japan
pp. 0040
Session C1: Software and Knowledge Engineering

Using latent semantic analysis to identify similarities in source code to support program understanding (Abstract)

J.I. Maletic , Div. of Comput. Sci., Memphis Univ., Memphis, TN, USA
A. Marcus , Div. of Comput. Sci., Memphis Univ., Memphis, TN, USA
pp. 0046

Modeling software quality: the Software Measurement Analysis and Reliability Toolkit (Abstract)

T.M. Khoshgoftaar , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
E.B. Allen , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
J.C. Busboom , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 0054

JADE - AI Support for Debugging Java Programs (Abstract)

Cristinel Mateis , Technische Universitat Wien, lnstitut fur lnformationssysteme
Markus Stumptner , Technische Universitat Wien, lnstitut fur lnformationssysteme
Dominik Wieland , Technische Universitat Wien, lnstitut fur lnformationssysteme
Franz Wotawa , Technische Universitat Wien, lnstitut fur lnformationssysteme
pp. 0062
Session A2: Data and Knowledge Mining

Principles for mining summaries using objective measures of interestingness (Abstract)

R.J. Hilderman , Dept. of Comput. Sci., Regina Univ., Sask., Canada
H.J. Hamilton , Dept. of Comput. Sci., Regina Univ., Sask., Canada
pp. 0072

From data mining to rule refining. A new tool for post data mining rule optimisation (Abstract)

E. Keedwell , Sch. of Eng., Exeter Univ., UK
F. Bessler , Sch. of Eng., Exeter Univ., UK
A. Narayanan , Sch. of Eng., Exeter Univ., UK
D. Savic , Sch. of Eng., Exeter Univ., UK
pp. 0082

What's new? Using prior models as a measure of novelty in knowledge discovery (Abstract)

J. Ludwig , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
G. Livingston , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
E. Vozalis , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
B. Buchanan , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 0086

Parallel mining of association rules with a Hopfield type neural network (Abstract)

K. Gaber , LIAL, Ecole Centrale de Lille, France
M.J. Bahi , LIAL, Ecole Centrale de Lille, France
T. El-Ghazawi , LIAL, Ecole Centrale de Lille, France
pp. 0090
Session B2: Constraint Satisfaction and Optimization

Implementing an action language using a SAT solver (Abstract)

H. Nabeshima , Dept. of Electr. & Electron. Eng., Kobe Univ., Japan
K. Inoue , Dept. of Electr. & Electron. Eng., Kobe Univ., Japan
H. Haneda , Dept. of Electr. & Electron. Eng., Kobe Univ., Japan
pp. 0096

About the use of local consistency in solving CSPs (Abstract)

A. Chmeiss , Univ. d'Artois, Lens, France
L. Sais , Univ. d'Artois, Lens, France
pp. 0104

Using heuristic-based optimizers to handle the personal computer configuration problems (Abstract)

V. Tam , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore
K.T. Ma , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 0108
Session C2: Neural Networks

Efficient prediction of interconnect crosstalk using neural networks (Abstract)

A.A. Ilumoka , Microelectron. Res. Center, Georgia Inst. of Technol., Atlanta, GA, USA
pp. 0122

Identifying causal structure in a biological neural network (Abstract)

A.S. Maida , Center for Adv. Comput. Studies, Louisiana Univ., Lafayette, LA, USA
pp. 0126
Session A3: Multimedia and Image Processing

A synergistic model for interpreting human activities and events from video: a case study (Abstract)

N. Bourbakis , AIIS Inc., Vestal, NY, USA
G. Bebis , AIIS Inc., Vestal, NY, USA
J. Gattiker , AIIS Inc., Vestal, NY, USA
pp. 0132

A distributed multimedia knowledge based environment for modeling over the Internet (Abstract)

S.W. Ryan , Dept. of Math. & Comput. Sci., Kent State Univ., OH, USA
A.K. Bansal , Dept. of Math. & Comput. Sci., Kent State Univ., OH, USA
T. Kapoor , Dept. of Math. & Comput. Sci., Kent State Univ., OH, USA
pp. 0140

Texture image segmentation method based on multilayer CNN (Abstract)

G. Liu , Dept. of Inf. Sci. & Intelligent Syst., Tokushima Univ., Japan
S. Oe , Dept. of Inf. Sci. & Intelligent Syst., Tokushima Univ., Japan
pp. 0147

Strategies for optimizing image processing by genetic and evolutionary computation (Abstract)

H. Shimodaira , Fac. of Inf. & Commun., Bunkyo Univ., Kanagawa, Japan
pp. 0151
Session B3: Planning and Scheduling

Building efficient partial plans using Markov decision processes (Abstract)

P. Laroche , LORIA, INRIA-Lorraine, Vandoeuvre-les-Nancy, France
pp. 0156

Reasoning about numeric and symbolic time information (Abstract)

M. Mouhoub , Dept. of Math. & Comput. Sci., Lethbridge Univ., Alta., Canada
pp. 0164

Heuristics for the exam scheduling problem (Abstract)

Fu Zhaohui , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore
Andrew Lim , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 0172

A reactive method for real time dynamic vehicle routing problem (Abstract)

Kenny Qili Zhu , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore
Kar-Loon Ong , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 0176
Session C3: Knowledge-Based Systems

Debugging knowledge-based applications with a generic toolkit (Abstract)

S. Craw , Sch. of Comput. & Math. Sci., Robert Gordon Univ., Aberdeen, UK
R. Boswell , Sch. of Comput. & Math. Sci., Robert Gordon Univ., Aberdeen, UK
pp. 0182

Tools for intelligent decision support system development in the legal domain (Abstract)

A. Stranieri , Lab. for Inf. Technol. & Law, La Trobe Univ., Bundoora, Vic., Australia
J. Zeleznikow , Lab. for Inf. Technol. & Law, La Trobe Univ., Bundoora, Vic., Australia
pp. 0186

A knowledge based system: an object case approach (Abstract)

G. Talens , Lyon III Univ., France
D. Boulanger , Lyon III Univ., France
I. Dedun , Lyon III Univ., France
pp. 0190
Session A4: Genetic Algorithms

A genetic algorithm-based system for generating test programs for microprocessor IP cores (Abstract)

F. Corno , Dipartimento di Autom. e Inf., Politecnico di Torino, Italy
M. Sonza Reorda , Dipartimento di Autom. e Inf., Politecnico di Torino, Italy
G. Squillero , Dipartimento di Autom. e Inf., Politecnico di Torino, Italy
M. Violante , Dipartimento di Autom. e Inf., Politecnico di Torino, Italy
pp. 0195

The probably approximately correct (PAC) population size of a genetic algorithm (Abstract)

A. Hernandez-Aguirre , Dept. of Electr. Eng. & Comput. Sci., Tulane Univ., New Orleans, LA, USA
B.P. Buckles , Dept. of Electr. Eng. & Comput. Sci., Tulane Univ., New Orleans, LA, USA
A. Martinez-Alcantara , Dept. of Electr. Eng. & Comput. Sci., Tulane Univ., New Orleans, LA, USA
pp. 0199

GA Tree: genetically evolved decision trees (Abstract)

A. Papagelis , Comput. Technol. Inst., Patras, Greece
D. Kalles , Comput. Technol. Inst., Patras, Greece
pp. 0203
Session B4: Internet and The World Wide Web

A new statistical method for performance evaluation of search engines (Abstract)

Longzhuang Li , Dept. of Comput. Eng. & Comput. Sci., Missouri Univ., Columbia, MO, USA
Yi Shang , Dept. of Comput. Eng. & Comput. Sci., Missouri Univ., Columbia, MO, USA
pp. 0208

Reverse mapping of referral links from storage hierarchy for Web documents (Abstract)

Chen Ding , Dept. of Comput., Nat. Univ. of Singapore, Singapore
Chi-Hung Chi , Dept. of Comput., Nat. Univ. of Singapore, Singapore
V. Tam , Dept. of Comput., Nat. Univ. of Singapore, Singapore
pp. 0216
Session C4: Robotics

Cognitively adequate modelling of spatial reference in human-robot interaction (Abstract)

R. Moratz , Dept. of Inf., Hamburg Univ., Germany
I. Fischer , Dept. of Inf., Hamburg Univ., Germany
pp. 0222

Vision based localisation for a mobile robot (Abstract)

F. Gechter , LORIA, Nancy I Univ., France
F. Charpillet , LORIA, Nancy I Univ., France
pp. 0229

The n-dimensional projective approach as a tool for spatial reasoning (Abstract)

J. Pais , Inst. Superior Tecnico, Lisbon, Portugal
C. Pinto-Ferreira , Inst. Superior Tecnico, Lisbon, Portugal
pp. 0237
Session A5: Multimedia and Image Processing

Multi-objective retrieval of object pose from video (Abstract)

A.N. Avanaki , Dept. of Electr. & Comput. Eng., British Columbia Univ., Vancouver, BC, Canada
B. Hamidzadeh , Dept. of Electr. & Comput. Eng., British Columbia Univ., Vancouver, BC, Canada
F. Kossentini , Dept. of Electr. & Comput. Eng., British Columbia Univ., Vancouver, BC, Canada
pp. 0242

Object tracking and multimedia augmented transition network for video indexing and modeling (Abstract)

Shu-Ching Chen , Sch. of Comput. Sci., Florida Inst. Univ., Miami, FL, USA
Mei-Ling Shyu , Sch. of Comput. Sci., Florida Inst. Univ., Miami, FL, USA
Chengcui Zhang , Sch. of Comput. Sci., Florida Inst. Univ., Miami, FL, USA
R.L. Kashyap , Sch. of Comput. Sci., Florida Inst. Univ., Miami, FL, USA
pp. 0250

Using Bayesian classifier in relevant feedback of image retrieval (Abstract)

Zhong Su , Dept. of Comput. Sci., Tsinghua Univ., Beijing, China
Hongjiang Zhang , Dept. of Comput. Sci., Tsinghua Univ., Beijing, China
Shaoping Ma , Dept. of Comput. Sci., Tsinghua Univ., Beijing, China
pp. 0258

Intelligent content-based retrieval (Abstract)

Chabane Djeraba , IRIN, Ecole Polytechnique de l'Universit? de Nantes, Nantes Cedex, France
Cherif El Asri Mohamed , IRIN, Ecole Polytechnique de l'Universit? de Nantes, Nantes Cedex, France
pp. 0262
Session B5: Machine Learning

An approach to incremental SVM learning algorithm (Abstract)

Rong Xiao , State Key Lab. for Novel Software Technol., Nanjing Univ., China
Jicheng Wang , State Key Lab. for Novel Software Technol., Nanjing Univ., China
Fayan Zhang , State Key Lab. for Novel Software Technol., Nanjing Univ., China
pp. 0268

Transforming supervised classifiers for feature extraction (Abstract)

B. Bursteinas , South Bank Univ., London, UK
J.A. Long , South Bank Univ., London, UK
pp. 0274

Learning methods for online-process diagnosis (Abstract)

P. Feucht , Forschungszentrum Inf., Karlsruhe Univ., Germany
J.M. Zoellner , Forschungszentrum Inf., Karlsruhe Univ., Germany
K. Berns , Forschungszentrum Inf., Karlsruhe Univ., Germany
T. Zirzlaff , Forschungszentrum Inf., Karlsruhe Univ., Germany
O. Leisin , Forschungszentrum Inf., Karlsruhe Univ., Germany
pp. 0281
Session C5: Constraint Satisfaction and Optimization

Constrained genetic algorithms and their applications in nonlinear constrained optimization (Abstract)

B.W. Wah , Dept. of Electr. & Comput. Eng., Illinois Univ., Urbana, IL, USA
Yi-Xin Chen , Dept. of Electr. & Comput. Eng., Illinois Univ., Urbana, IL, USA
pp. 0286

Local search algorithm for the compacted cells area problem (Abstract)

D.J. Chia , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore
A. Lim , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 0294

A heuristic search based factoring tool (Abstract)

C. Davis , Dept. of Comput. Sci., Houston Univ., TX, USA
C.F. Eick , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 0298
Session A6: Soft Computing

Interpretation of self-organizing maps with fuzzy rules (Abstract)

M. Drobics , Software Competence Center, Hagenborg, Germany
W. Winiwater , Software Competence Center, Hagenborg, Germany
U. Bodenhofer , Software Competence Center, Hagenborg, Germany
pp. 0304

History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots (Abstract)

K.B. Lamine , Dept. of Math., Sherbrooke Univ., Que., Canada
F. Kabanza , Dept. of Math., Sherbrooke Univ., Que., Canada
pp. 0312

Fuzzy cellular automata: from theory to applications (Abstract)

M. Mraz , Fac. of Comput. & Inf. Sci., Ljubljana Univ., Slovenia
N. Zimic , Fac. of Comput. & Inf. Sci., Ljubljana Univ., Slovenia
I. Lapanja , Fac. of Comput. & Inf. Sci., Ljubljana Univ., Slovenia
I. Bajec , Fac. of Comput. & Inf. Sci., Ljubljana Univ., Slovenia
pp. 0320
Session B6: Database and Information Systems

Interactive generalization of a translation example using queries based on a semantic hierarchy (Abstract)

Y. Akiba , NTT Commun. Sci. Lab., Kyoto, Japan
H. Nakaiwa , NTT Commun. Sci. Lab., Kyoto, Japan
S. Shirai , NTT Commun. Sci. Lab., Kyoto, Japan
Y. Ooyama , NTT Commun. Sci. Lab., Kyoto, Japan
pp. 0326

Consistency checking for Euclidean spatial constraints: a dimension graph approach (Abstract)

Xuan Liu , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
S. Shekhar , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
S. Chawla , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
pp. 0333
Session C6: Software and Knowledge Engineering

Combining models across algorithms and samples for improved results (Abstract)

H. Vafaie , Fed.. Data Corp., Bethesda, MD, USA
D. Abbott , Fed.. Data Corp., Bethesda, MD, USA
M. Hotchins , Fed.. Data Corp., Bethesda, MD, USA
I.P. Matkovsky , Fed.. Data Corp., Bethesda, MD, USA
pp. 0344

Support based measures applied to ice hockey scoring summaries (Abstract)

B.P. Kram , Regina Univ., Sask., Canada
J.A. Hall , Regina Univ., Sask., Canada
H.J. Hamilton , Regina Univ., Sask., Canada
pp. 0352
Session A7: Constraint Satisfaction and Optimization

Meta-constraints on violations for over constrained problems (Abstract)

T. Petit , ILOG LIRMM, Valbonne, France
J.C. Regin , ILOG LIRMM, Valbonne, France
C. Bessiere , ILOG LIRMM, Valbonne, France
pp. 0358

Local minimum structures of graph-coloring problems for stochastic constraint satisfaction algorithms (Abstract)

F. Mizuno , Inst. of Inf. Sci. & Electron., Tsukuba Univ., Ibaraki, Japan
S. Nishihara , Inst. of Inf. Sci. & Electron., Tsukuba Univ., Ibaraki, Japan
pp. 0366

Combining various algorithms to solve the ship berthing problem (Abstract)

Kai-Song Goh , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore
A. Lim , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 0370
Session B7: Logic and Reasoning

Self-optimising CBR retrieval (Abstract)

J. Jarmulak , Sch. of Comput. & Math. Sci., Robert Gordon's Univ., UK
S. Craw , Sch. of Comput. & Math. Sci., Robert Gordon's Univ., UK
R. Rowe , Sch. of Comput. & Math. Sci., Robert Gordon's Univ., UK
pp. 0376

Efficient defeasible reasoning systems (Abstract)

M.J. Maher , Sch. of Comput. & Inf. Technol., Griffith Univ., Qld., Australia
A. Rock , Sch. of Comput. & Inf. Technol., Griffith Univ., Qld., Australia
G. Antoniou , Sch. of Comput. & Inf. Technol., Griffith Univ., Qld., Australia
D. Billington , Sch. of Comput. & Inf. Technol., Griffith Univ., Qld., Australia
T. Miller , Sch. of Comput. & Inf. Technol., Griffith Univ., Qld., Australia
pp. 0384

Combining heuristics for default logic reasoning systems (Abstract)

P. Nicolas , LERIA, Angers Univ., France
F. Saubion , LERIA, Angers Univ., France
I. Stephan , LERIA, Angers Univ., France
pp. 0393

Automated reasoning on monotonic constraints (Abstract)

L. Bordeaux , IRIN, Nantes Univ., France
F. Benhamou , IRIN, Nantes Univ., France
pp. 0401
Session C7: Machine Learning

Model selection via meta-learning: a comparative study (Abstract)

A. Kalousis , CSD, Geneva Univ., Switzerland
M. Hilario , CSD, Geneva Univ., Switzerland
pp. 0406

The application of a machine learning tool to the validation of an air traffic control domain theory (Abstract)

M.M. West , Sch. of Comput. & Math., Huddersfield Univ., UK
T.L. McCluskey , Sch. of Comput. & Math., Huddersfield Univ., UK
pp. 0414

Designing a learning-automata-based controller for client/server systems: a methodology (Abstract)

G.I. Papadimitriou , Dept. of Inf., Aristotelian Univ. of Thessaloniki, Greece
A.I. Vakali , Dept. of Inf., Aristotelian Univ. of Thessaloniki, Greece
A.S. Pomportsis , Dept. of Inf., Aristotelian Univ. of Thessaloniki, Greece
pp. 0422

Author Index (PDF)

pp. 0426
97 ms
(Ver 3.1 (10032016))