Table of Contents

• Multi-resolution on compressed sets of clausesPhilippe Chatalic, Laurent Simon. 2-10 [doi]
• An assumptive logic programming methodology for parsingKimberly D. Voll, Tom P. Yeh, Verónica Dahl. 11-18 [doi]
• Belief revision and possibilistic logic for adaptive information filtering agentsRaymond Lau, Arthur H. M. ter Hofstede, Peter Bruza, Kam-Fai Wong. 19 [doi]
• A visualization tool for interactive learning of large decision treesTrong Dung Nguyen, Tu Bao Ho, Hiroshi Shimodaira. 28-35 [doi]
• Function approximation based multi-agent reinforcement learningOsman Abul, Faruk Polat, Reda Alhajj. 36-39 [doi]
• Knowledge pruning in decision treesIsamu Shioya, Takao Miura. 40 [doi]
• Using latent semantic analysis to identify similarities in source code to support program understandingJonathan I. Maletic, Andrian Marcus. 46-53 [doi]
• Modeling software quality: the Software Measurement Analysis and Reliability ToolkitTaghi M. Khoshgoftaar, Edward B. Allen, Jason C. Busboom. 54-61 [doi]
• JADE - AI Support for Debugging Java ProgramsCristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa. 62 [doi]
• Principles for mining summaries using objective measures of interestingnessRobert J. Hilderman, Howard J. Hamilton. 72-81 [doi]
• From data mining to rule refining A new tool for post data mining rule optimisationEd Keedwell, Florian Bessler, Ajit Narayanan, Dragan A. Savic. 82-85 [doi]
• What s new? Using prior models as a measure of novelty in knowledge discoveryJeremy Ludwig, Gary Livingston, Emmanouil Vozalis, Bruce G. Buchanan. 86-89 [doi]
• Parallel mining of association rules with a Hopfield type neural networkJaafar Gaber, Jacques M. Bahi, Tarek A. El-Ghazawi. 90 [doi]
• Implementing an action language using a SAT solverHidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda. 96-103 [doi]
• About the use of local consistency in solving CSPsAssef Chmeiss, Lakhdar Sais. 104-107 [doi]
• Using heuristic-based optimizers to handle the personal computer configuration problemsVincent Tam, Keng Teck Ma. 108 [doi]
• DGPS/INS integration using neural network methodologyFaroog Ibrahim, Anya Lynn Tascillo, Nizar Al-Holou. 114-121 [doi]
• Efficient prediction of interconnect crosstalk using neural networksAbby A. Ilumoka. 122-125 [doi]
• Identifying causal structure in a biological neural networkAnthony S. Maida. 126 [doi]
• A synergistic model for interpreting human activities and events from video: a case studyNikolaos G. Bourbakis, George Bebis, James R. Gattiker. 132-139 [doi]
• A distributed multimedia knowledge based environment for modeling over the InternetStephen W. Ryan, Arvind K. Bansal, T. Kapoor. 140-146 [doi]
• Texture image segmentation method based on multilayer CNNGuoxiang Liu, Shunichiro Oe. 147-150 [doi]
• Strategies for optimizing image processing by genetic and evolutionary computationHisashi Shimodaira. 151 [doi]
• Building efficient partial plans using Markov decision processesPierre Laroche. 156-163 [doi]
• Reasoning about numeric and symbolic time informationMalek Mouhoub. 164-171 [doi]
• Heuristics for the exam scheduling problemZhaohui Fu, Andrew Lim. 172-175 [doi]
• A reactive method for real time dynamic vehicle routing problemKenny Qili Zhu, Kar-Loon Ong. 176 [doi]
• Debugging knowledge-based applications with a generic toolkitSusan Craw, Robin Boswell. 182-185 [doi]
• Tools for intelligent decision support system development in the legal domainAndrew Stranieri, John Zeleznikow. 186-189 [doi]
• A knowledge based system: an object case approachGuilaine Talens, Danielle Boulanger, Isabelle Dedun. 190 [doi]
• A genetic algorithm-based system for generating test programs for microprocessor IP coresFulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Massimo Violante. 195-198 [doi]
• The probably approximately correct (PAC) population size of a genetic algorithmArturo Hernández Aguirre, Bill P. Buckles, Antonio Martinez-Alcántara. 199-202 [doi]
• GA Tree: genetically evolved decision treesAthanassios Papagelis, Dimitrios Kalles. 203 [doi]
• A new statistical method for performance evaluation of search enginesLongzhuang Li, Yi Shang. 208-215 [doi]
• Reverse mapping of referral links from storage hierarchy for Web documentsChen Ding, Chi-Hung Chi, Vincent Tam. 216 [doi]
• Cognitively adequate modelling of spatial reference in human-robot interactionReinhard Moratz, Kerstin Fischer. 222-228 [doi]
• Vision based localisation for a mobile robotFranck Gechter, François Charpillet. 229-236 [doi]
• The n-dimensional projective approach as a tool for spatial reasoningJorge Pais, Carlos A. Pinto-Ferreira. 237 [doi]
• Multi-objective retrieval of object pose from videoAlireza Nasiri Avanaki, Babak Hamidzadeh, Faouzi Kossentini. 242-249 [doi]
• Object tracking and multimedia augmented transition network for video indexing and modelingShu-Ching Chen, Mei-Ling Shyu, Chengcui Zhang, Rangasami L. Kashyap. 250-257 [doi]
• Using Bayesian classifier in relevant feedback of image retrievalZhong Su, HongJiang Zhang, Shaoping Ma. 258-261 [doi]
• Intelligent content-based retrievalChabane Djeraba, Cherif El Asri Mohamed. 262 [doi]
• An approach to incremental SVM learning algorithmRong Xiao, Jicheng Wang, Fuyan Zhang. 268-273 [doi]
• Transforming supervised classifiers for feature extractionBorisas Bursteinas, James Allen Long. 274-280 [doi]
• Learning methods for online-process diagnosisPatrick Feucht, Johann Marius Zöllner, Karsten Berns, Torsten Zirzlaff, Oskar Leisin. 281 [doi]
• Constrained genetic algorithms and their applications in nonlinear constrained optimizationBenjamin W. Wah, Yixin Chen. 286-293 [doi]
• Local search algorithm for the compacted cells area problemDennis Joshua Chia, Andrew Lim. 294-297 [doi]
• A heuristic search based factoring toolClifton Davis, Christoph F. Eick. 298 [doi]
• Interpretation of self-organizing maps with fuzzy rulesMario Drobics, Werner Winiwater, Ulrich Bodenhofer. 304-311 [doi]
• History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robotsKhaled Ben Lamine, Froduald Kabanza. 312-319 [doi]
• Fuzzy cellular automata: from theory to applicationsMiha Mraz, Nikolaj Zimic, Iztok Lapanja, Iztok Lebar Bajec. 320 [doi]
• Interactive generalization of a translation example using queries based on a semantic hierarchyYasuhiro Akiba, Hiromi Nakaiwa, Satoshi Shirai, Yoshifumi Ooyama. 326-332 [doi]
• Consistency checking for Euclidean spatial constraints: a dimension graph approachXuan Liu, Shashi Shekhar, Sanjay Chawla. 333 [doi]
• Combining models across algorithms and samples for improved resultsHaleh Vafaie, Dean Abbott, Mark Hutchins, I. Philip Matkovsky. 344-351 [doi]
• Support based measures applied to ice hockey scoring summariesBradley P. Kram, James A. Hall, Howard J. Hamilton. 352 [doi]
• Meta-constraints on violations for over constrained problemsThierry Petit, Jean-Charles Régin, Christian Bessière. 358-365 [doi]
• Local minimum structures of graph-coloring problems for stochastic constraint satisfaction algorithmsKazunori Mizuno, Seiichi Nishihara. 366-369 [doi]
• Combining various algorithms to solve the ship berthing problemKai Song Goh, Andrew Lim. 370 [doi]
• Self-optimising CBR retrievalJacek Jarmulak, Susan Craw, Ray Rowe. 376-383 [doi]
• Efficient defeasible reasoning systemsMichael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller. 384-392 [doi]
• Combining heuristics for default logic reasoning systemsPascal Nicolas, Frédéric Saubion, Igor Stéphan. 393-400 [doi]
• Automated reasoning on monotonic constraintsLucas Bordeaux, Frédéric Benhamou. 401 [doi]
• Model selection via meta-learning: a comparative studyAlexandros Kalousis, Melanie Hilario. 406-413 [doi]
• The application of a machine learning tool to the validation of an air traffic control domain theoryMargaret Mary West, T. L. McCluskey. 414-421 [doi]
• Designing a learning-automata-based controller for client/server systems: a methodologyGeorgios I. Papadimitriou, Athena Vakali, Andreas S. Pomportsis. 422 [doi]