default search action
12th ICTAI 2000: Vancouver, BC, Canada
- 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada. IEEE Computer Society 2000, ISBN 0-7695-0909-6
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
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
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
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 W. L. 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
Debugging knowledge-based applications with a generic toolkit. 182-185 - Andrew Stranieri
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
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 W. L. 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
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, Yi-Xin 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 Winiwarter, 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
Self-optimising CBR retrieval. 376-383 - Michael J. Maher, Andrew Rock, Grigoris Antoniou
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, Thomas Leo 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-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 01:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: