12. ICTAI 2000: Vancouver, BC, Canada

Session A1: Logic and Reasoning

• Philippe Chatalic, Laurent Simon:
  Multi-resolution on compressed sets of clauses. 2-10
  
• Kimberly D. Voll, Tom P. Yeh, Verónica Dahl:
  An assumptive logic programming methodology for parsing. 11-18
  
• Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza, Kam-Fai Wong:
  Belief revision and possibilistic logic for adaptive information filtering agents. 19-
  

Session B1: Machine Learning

• Trong Dung Nguyen, Tu Bao Ho, Hiroshi Shimodaira:
  A visualization tool for interactive learning of large decision trees. 28-35
  
• Osman Abul, Faruk Polat, Reda Alhajj:
  Function approximation based multi-agent reinforcement learning. 36-39
  
• Isamu Shioya, Takao Miura:
  Knowledge pruning in decision trees. 40-
  

Session C1: Software and Knowledge Engineering

• Jonathan I. Maletic, Andrian Marcus:
  Using latent semantic analysis to identify similarities in source code to support program understanding. 46-53
  
• Taghi M. Khoshgoftaar, Edward B. Allen, Jason C. Busboom:
  Modeling software quality: the Software Measurement Analysis and Reliability Toolkit. 54-61
  
• Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa:
  JADE - AI Support for Debugging Java Programs. 62-
  

Session A2: Data and Knowledge Mining

• Robert J. Hilderman, Howard J. Hamilton:
  Principles for mining summaries using objective measures of interestingness. 72-81
  
• Ed Keedwell, Florian Bessler, Ajit Narayanan, Dragan A. Savic:
  From data mining to rule refining A new tool for post data mining rule optimisation. 82-85
  
• Jeremy Ludwig, Gary Livingston, Emmanouil Vozalis, Bruce G. Buchanan:
  What's new? Using prior models as a measure of novelty in knowledge discovery. 86-89
  
• Jaafar Gaber, Jacques M. Bahi, Tarek A. El-Ghazawi:
  Parallel mining of association rules with a Hopfield type neural network. 90-
  

Session B2: Constraint Satisfaction and Optimization

• Hidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda:
  Implementing an action language using a SAT solver. 96-103
  
• Assef Chmeiss, Lakhdar Sais:
  About the use of local consistency in solving CSPs. 104-107
  
• Vincent Tam, Keng Teck Ma:
  Using heuristic-based optimizers to handle the personal computer configuration problems. 108-
  

Session C2: Neural Networks

• Faroog Ibrahim, Anya Lynn Tascillo, Nizar Al-Holou:
  DGPS/INS integration using neural network methodology. 114-121
  
• Abby A. Ilumoka:
  Efficient prediction of interconnect crosstalk using neural networks. 122-125
  
• Anthony S. Maida:
  Identifying causal structure in a biological neural network. 126-
  

Session A3: Multimedia and Image Processing

• Nikolaos G. Bourbakis, George Bebis, James R. Gattiker:
  A synergistic model for interpreting human activities and events from video: a case study. 132-139
  
• Stephen W. Ryan, Arvind K. Bansal, T. Kapoor:
  A distributed multimedia knowledge based environment for modeling over the Internet. 140-146
  
• Guoxiang Liu, Shunichiro Oe:
  Texture image segmentation method based on multilayer CNN. 147-150
  
• Hisashi Shimodaira:
  Strategies for optimizing image processing by genetic and evolutionary computation. 151-
  

Session B3: Planning and Scheduling

• Pierre Laroche:
  Building efficient partial plans using Markov decision processes. 156-163
  
• Malek Mouhoub:
  Reasoning about numeric and symbolic time information. 164-171
  
• Zhaohui Fu, Andrew Lim:
  Heuristics for the exam scheduling problem. 172-175
  
• Kenny Qili Zhu, Kar-Loon Ong:
  A reactive method for real time dynamic vehicle routing problem. 176-
  

Session C3: Knowledge-Based Systems

• Susan Craw, Robin Boswell:
  Debugging knowledge-based applications with a generic toolkit. 182-185
  
• Andrew Stranieri, John Zeleznikow:
  Tools for intelligent decision support system development in the legal domain. 186-189
  
• Guilaine Talens, Danielle Boulanger, Isabelle Dedun:
  A knowledge based system: an object case approach. 190-
  

Session A4: Genetic Algorithms

• Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Massimo Violante:
  A genetic algorithm-based system for generating test programs for microprocessor IP cores. 195-198
  
• Arturo Hernández Aguirre, Bill P. Buckles, Antonio Martínez-Alcántara:
  The probably approximately correct (PAC) population size of a genetic algorithm. 199-202
  
• Athanassios Papagelis, Dimitrios Kalles:
  GA Tree: genetically evolved decision trees. 203-
  

Session B4: Internet and The World Wide Web

• Longzhuang Li, Yi Shang:
  A new statistical method for performance evaluation of search engines. 208-215
  
• Chen Ding, Chi-Hung Chi, Vincent Tam:
  Reverse mapping of referral links from storage hierarchy for Web documents. 216-
  

Session C4: Robotics

• Reinhard Moratz, Kerstin Fischer:
  Cognitively adequate modelling of spatial reference in human-robot interaction. 222-228
  
• Franck Gechter, François Charpillet:
  Vision based localisation for a mobile robot. 229-236
  
• Jorge Pais, Carlos A. Pinto-Ferreira:
  The n-dimensional projective approach as a tool for spatial reasoning. 237-
  

Session A5: Multimedia and Image Processing

• Alireza Nasiri Avanaki, Babak Hamidzadeh, Faouzi Kossentini:
  Multi-objective retrieval of object pose from video. 242-249
  
• Shu-Ching Chen, Mei-Ling Shyu, Chengcui Zhang, Rangasami L. Kashyap:
  Object tracking and multimedia augmented transition network for video indexing and modeling. 250-257
  
• Zhong Su, HongJiang Zhang, Shaoping Ma:
  Using Bayesian classifier in relevant feedback of image retrieval. 258-261
  
• Chabane Djeraba, Cherif El Asri Mohamed:
  Intelligent content-based retrieval. 262-
  

Session B5: Machine Learning

• Rong Xiao, Jicheng Wang, Fuyan Zhang:
  An approach to incremental SVM learning algorithm. 268-273
  
• Borisas Bursteinas, James Allen Long:
  Transforming supervised classifiers for feature extraction. 274-280
  
• Patrick Feucht, Johann Marius Zöllner, Karsten Berns, Torsten Zirzlaff, Oskar Leisin:
  Learning methods for online-process diagnosis. 281-
  

Session C5: Constraint Satisfaction and Optimization

• Benjamin W. Wah, Yixin Chen:
  Constrained genetic algorithms and their applications in nonlinear constrained optimization. 286-293
  
• Dennis Joshua Chia, Andrew Lim:
  Local search algorithm for the compacted cells area problem. 294-297
  
• Clifton Davis, Christoph F. Eick:
  A heuristic search based factoring tool. 298-
  

Session A6: Soft Computing

• Mario Drobics, Werner Winiwater, Ulrich Bodenhofer:
  Interpretation of self-organizing maps with fuzzy rules. 304-311
  
• Khaled Ben Lamine, Froduald Kabanza:
  History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots. 312-319
  
• Miha Mraz, Nikolaj Zimic, Iztok Lapanja, Iztok Lebar Bajec:
  Fuzzy cellular automata: from theory to applications. 320-
  

Session B6: Database and Information Systems

• Yasuhiro Akiba, Hiromi Nakaiwa, Satoshi Shirai, Yoshifumi Ooyama:
  Interactive generalization of a translation example using queries based on a semantic hierarchy. 326-332
  
• Xuan Liu, Shashi Shekhar, Sanjay Chawla:
  Consistency checking for Euclidean spatial constraints: a dimension graph approach. 333-
  

Session C6: Software and Knowledge Engineering

• Haleh Vafaie, Dean Abbott, Mark Hutchins, I. Philip Matkovsky:
  Combining models across algorithms and samples for improved results. 344-351
  
• Bradley P. Kram, James A. Hall, Howard J. Hamilton:
  Support based measures applied to ice hockey scoring summaries. 352-
  

Session A7: Constraint Satisfaction and Optimization

• Thierry Petit, Jean-Charles Régin, Christian Bessière:
  Meta-constraints on violations for over constrained problems. 358-365
  
• Kazunori Mizuno, Seiichi Nishihara:
  Local minimum structures of graph-coloring problems for stochastic constraint satisfaction algorithms. 366-369
  
• Kai Song Goh, Andrew Lim:
  Combining various algorithms to solve the ship berthing problem. 370-
  

Session B7: Logic and Reasoning

• Jacek Jarmulak, Susan Craw, Ray Rowe:
  Self-optimising CBR retrieval. 376-383
  
• Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller:
  Efficient defeasible reasoning systems. 384-392
  
• Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
  Combining heuristics for default logic reasoning systems. 393-400
  
• Lucas Bordeaux, Frédéric Benhamou:
  Automated reasoning on monotonic constraints. 401-
  

Session C7: Machine Learning

• Alexandros Kalousis, Melanie Hilario:
  Model selection via meta-learning: a comparative study. 406-413
  
• Margaret Mary West, T. L. McCluskey:
  The application of a machine learning tool to the validation of an air traffic control domain theory. 414-421
  
• Georgios I. Papadimitriou, Athena Vakali, Andreas S. Pomportsis:
  Designing a learning-automata-based controller for client/server systems: a methodology. 422-
  

Last update Sun May 19 22:44:57 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page