default search action
16th ICTAI 2004: Boca Raton, Florida, USA
- 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA. IEEE Computer Society 2004, ISBN 0-7695-2236-X
Keynote Speeches
- Xindong Wu:
Knowledge Discovery in Multiple Databases. 2 - Michael J. Pazzani:
Machine Learning for Personalized Wireless Portals. 3 - Mladen A. Vouk:
Detecting and Mitigating Security Anomaliies. 4
Session 1: Data Mining - I
- Imad Rahal, Dongmei Ren, Weihua Wu, William Perrizo:
Mining Confident Minimal Rules with Fixed-Consequents. 6-13 - Junmei Wang, Wynne Hsu
, Mong-Li Lee
FlowMiner: Finding Flow Patterns in Spatio-Temporal Databases. 14-21 - Dongmei Ren, Imad Rahal, William Perrizo:
A Vertical Outlier Detection Algorithm with Clusters as By-Product. 22-29 - Hyoung-rae Kim, Philip K. Chan:
Identifying Variable-Length Meaningful Phrases with Correlation Functions. 30-38
Session 2: Optimization - I
- Benjamin W. Wah, Dong Xin:
Optimization of Bounds in Temporal Flexible Planning with Dynamic Controllability. 40-48 - Agapito Ledezma, Ricardo Aler, Araceli Sanchis, Daniel Borrajo
Empirical Evaluation of Optimized Stacking Configurations. 49-55 - Yanzhi Li, Andrew Lim
MetaIP - A New Approach to Combinatorial Optimization: Case Studies. 56-62 - Sherin M. Youssef, David G. Elliman:
Reactive Prohibition-Based Ant Colony Optimization (RPACO): A New Parallel Architecture for Constrained Clique Sub-Graphs. 63-71
Session 3: SAT/Search Algorithms - I
- Xuan-Ha Vu, Hermann Schichl, Djamila Sam-Haroud:
Using Directed Acyclic Graphs to Coordinate Propagation and Search for Numerical Constraint Satisfaction Problems. 72-81 - Gilles Audemard, Lakhdar Sais:
SAT Based BDD Solver for Quantified Boolean Formulas. 82-89 - Laurent Henocque, Nicolas Prcovic:
Practically Handling Some Configuration Isomorphisms. 90-97 - Joxan Jaffar, Andrew E. Santosa, Roland H. C. Yap, Kenny Qili Zhu:
Scalable Distributed Depth-First Search with Greedy Work Stealing. 98-103
Session 4: Machine Learning - I
- John A. Rushing, Sara J. Graves, Evans Criswell, Amy Lin:
A Coverage Based Ensemble Algorithm (CBEA) for Streaming Data. 106-112 - Alexandros Kalousis, Julien Prados, Jean-Charles Sanchez, Laure Allard, Melanie Hilario:
Distilling Classification Models from Cross Validation Runs: An Application to Mass Spectrometry. 113-119 - Alex Cronin, Orla McEnery, M. Tahar Kechadi
Comparative Analysis of Two Associative Memory Neural Networks. 120-127 - Alexander L. Strehl, Michael L. Littman:
An Empirical Evaluation of Interval Estimation for Markov Decision Processes. 128-135
Session 5: Data Mining - II
- Yassine Ruichek, Hazem Issa, Jack-Gérard Postaire, Jean-Christophe Burie:
Towards Real-Time Obstacle Detection Using a Hierarchical Decomposition Methodology for Stereo Matching with a Genetic Algorithm. 138-147 - Sadok Ben Yahia
Emulating a Cooperative Behavior in a Generic Association Rule Visualization Tool. 148-155 - Congnan Luo, Soon Myoung Chung:
A Scalable Algorithm for Mining Maximal Frequent Sequences Using Sampling. 156-165 - Robert G. Reynolds, Bin Peng:
Cultural Algorithms: Modeling of How Cultures Learn to Solve Problems. 166-172
Session 6: Software Engineering with Computational Intelligence
- Manish Gupta, Farokh B. Bastani, Latifur Khan, I-Ling Yen:
Automated Test Data Generation Using MEA-Graph Planning. 174-182 - Naeem Seliya, Taghi M. Khoshgoftaar, Shi Zhong:
Semi-Supervised Learning for Software Quality Estimation. 183-190 - Qi Wang, Bo Yu, Jie Zhu:
Extract Rules from Software Quality Prediction Model Based on Neural Network. 191-195 - Márcio Rodrigo Braz, Silvia Regina Vergilio:
Using Fuzzy Theory for Effort Estimation of Object-Oriented Software. 196-201 - Marek Z. Reformat, Petr Musílek, Vanda Wu, Nicolino J. Pizzi:
Human Perception of Software Complexity: Knowledge Discovery from Software Data. 202-206
Session 7: Information Retrieval - I
- Hiroshi Uejima, Takao Miura, Isamu Shioya:
Giving Temporal Order to News Corpus. 208-215 - David L. DeMaris, Dan Maynard, Bette Bergman Reuter, Shi Zhong:
An Information Retrieval System for the Analysis of Systematic Defects in VLSI. 216-223 - Hewayda M. Lotfy, Adel Said Elmaghraby
CoIRS: Cluster-Oriented Image Retrieval System. 224-231
Session 8: SAT/Search Algorithms - II
- Philippe Jégou, Cyril Terrioux:
A Time-Space Trade-Off for Constraint Networks Decomposition. 234-239 - Stefano Bistarelli
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. 240-245 - Inês Lynce, João Marques-Silva:
Hidden Structure in Unsatisfiable Random 3-SAT: An Empirical Study. 246-251 - Assef Chmeiss, Lakhdar Sais:
Constraint Satisfaction Problems: Backtrack Search Revisited. 252-257
Session 9: Machine Learning - II
- Salvatore Ruggieri:
YaDT: Yet another Decision Tree Builder. 260-265 - Niall Rooney, David W. Patterson, Chris D. Nugent:
Reduced Ensemble Size Stacking. 266-271 - Qingping Tao, Stephen Scott, N. V. Vinodchandran, Thomas Takeo Osugi, Brandon Mueller:
An Extended Kernel for Generalized Multiple-Instance Learning. 272-277 - Rüdiger W. Brause:
Data Driven Automatic Model Selection and Parameter Adaptation - A Case Study for Septic Shock. 278-283
Session 10: Planning & Scheduling
- Salem Benferhat, Rania El Baida:
A Prioritized-Based Approach to Handling Conflicts in Access Control. 286-293 - Richard Howey, Derek Long, Maria Fox:
VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL. 294-301 - Djamal Habet, Michel Vasquez:
Solving the Selecting and Scheduling Satellite Photographs Problem with a Consistent Neighborhood Heuristic. 302-309 - David I. Ferguson, Anthony Stentz:
Focussed Propagation of MDPs for Path Planning. 310-317
Session 11: Intelligent Image Analysis - I
- Tom Patten, Wenjing Li, George Bebis, Michael Freeman:
Automatic Heliothis Zea Classification Using Image Analysis. 320-327 - Sokratis Makrogiannis
A Stochastic Optimization Scheme for Automatic Registration of Aerial Images. 328-336 - Qiming Luo, Taghi M. Khoshgoftaar:
Efficient Image Segmentation by Mean Shift Clustering and MDL-Guided Region Merging. 337-343 - Sokratis Makrogiannis
Motion Analysis with Application to Assistive Vision Technology. 344-352
Session 12: Data Mining - III
- Yaochun Huang, Hui Xiong, Weili Wu, Zhongnan Zhang:
A Hybrid Approach for Mining Maixmal Hyperclique Patterns. 354-361 - François Jacquenet, Marc Sebban, Georges Valétudie:
Mining Decision Rules from Deterministic Finite Automata. 362-367 - Jin Chen, Wynne Hsu
Systematic Assessment of High-Throughput Experimental Data for Reliable Protein Interactions Using Network Topology. 368-372 - Wei Tang, Taghi M. Khoshgoftaar:
Noise Identification with the k-Means Algorithm. 373-378
Session 13: Evolutionary Computation
- Seamus Hill, John Newell
Analysing the Effects of Combining Fitness Scaling and Inversion in Genetic Algorithms. 380-387 - William E. Glaholt, Du Zhang:
GP-Lab: The Genetic Programming Laboratory. 388-395 - Mehmet Kaya
Multi-Objective Genetic Algorithm Based Approach for Optimizing Fuzzy Sequential Patterns. 396-400 - V. Scott Gordon, James Thein:
Visualization Tool for a Terrain-Based Genetic Algorithm. 401-406
Session 14: Agent-Based Systems
- James H. Lawton, Carmel Domshlak:
Multi-Agent Opportunistic Planning and Plan Execution. 408-415 - Ka-man Lam, Ho-fung Leung
An Adaptive Strategy for Trust/Honesty Model in Multi-Agent Semi-Competitive Environments. 416-423 - Xiaohui Cui, C. Tim Hardin, Rammohan K. Ragade, Adel Said Elmaghraby
A Swarm Approach for Emission Sources Localization. 424-430 - Franck Gechter, Vincent Chevrier, François Charpillet:
A Reactive Multi-Agent System for Localisation and Tracking in Mobile Robotics. 431-435 - Daniel Szer, François Charpillet:
Improving Coordination with Communication in Multi-Agent Reinforcement Learning. 436-440
Session 15: Knowledge Representation and Management - I
- Baowen Xu
Theory and Semantic Refinement of Bridge Ontology Based on Multi-Ontologies. 442-449 - Nenad Stojanovic, Ljiljana Stojanovic:
A Logic-Based Approach for Query Refinement in Ontology-Based Information Retrieval S. 450-457 - Xuan-Ha Vu, Djamila Sam-Haroud, Boi Faltings:
Combining Multiple Inclusion Representations in Numerical Constraint Propagation. 458-467 - Eugene Santos Jr., Hang T. Dinh:
Consistency of Test Cases in Validation of Bayesian Knowledge-Bases. 468-475
Session 16: Intelligent Image Analysis - II
- P. Kakumanu, Sokratis Makrogiannis
Image Chromatic Adaptation Using ANNs for Skin Color Adaptation. 478-485 - Wu-Jun Li, Chong-Jun Wang, Dianxiang Xu, Shifu Chen:
Illumination Invariant Face Recognition Based on Neural Network Ensemble. 486-490 - Chong-Jun Wang, Yu-Bin Yang, Wu-Jun Li, Shifu Chen:
Image Texture Representation and Retrieval Based on Power Spectral Histograms. 491-495
Session 17: SAT/Search Algorithms - III
- Stephen M. Majercik:
Nonchronological Backtracking in Stochastic Boolean Satisfiability. 498-507 - Marcin Kadluczka, Peter C. Nelson, Thomas M. Tirpak:
N-to-2-Space Mapping for Visualization of Search Algorithm Performance. 508-513 - Andrew Lim
Meta-Heuristics for Robust Graph Coloring Problem. 514-518 - Vincent W. L. Tam, M. C. Kwan:
Adapting the Large Neighborhood Search to Effectively Solve Pickup and Delivery Problems with Time Windows. 519-523
Session 18: Information Retrieval - II
- Wynne Hsu
Path-Augmented Keyword Search for XML Documents. 526-530 - Nenad Stojanovic:
An Approach for Ontology-Enhanced Query Refinement in Information Portals. 531-534 - Dan Crow, John DeSanto:
A Hybrid Approach to Concept Extraction and Recognition-Based Matching in the Domain of Human Resources. 535-539
Session 19: SAT/Search Algorithms - IV
- Wei Li, Peter van Beek:
Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition. 542-548 - Christophe Lecoutre, Frédéric Boussemart, Fred Hemery:
Backjump-Based Techniques versus Conflict-Directed Heuristics. 549-557 - Olivier Roussel:
Another SAT to CSP Conversion. 558-565 - Jinbo Huang, Adnan Darwiche:
Toward Good Elimination Orders for Symbolic SAT Solving. 566-573
Session 20: Unsupervised and Semi-Supervised Learning - I
- Stan Salvador, Philip Chan
Determining the Number of Clusters/Segments in Hierarchical Clustering/Segmentation Algorithms. 576-584 - Nevin Lianwen Zhang, Tomás Kocka:
Efficient Learning of Hierarchical Latent Class Models. 585-593 - Yan Zhou, Sally A. Goldman:
Democratic Co-Learning. 594-602
Session 21: Knowledge Representation & Management - II
- Xiaomin Zhong, Eugene Santos Jr., Robert McCartney:
Exploring the Relationship between Knowledge and Algorithm Performance in Discrete Optimization. 604-611 - Gang Wu, Guohui Lin, Jia-Huai You:
Quartet Based Phylogeny Reconstruction with Answer Set Programming. 612-619 - Nicolas Maillot, Monique Thonnat, Céline Hudelot:
Ontology Based Object Learning and Recognition: Application to Image Retrieval. 620-625
Session 22: Machine Learning - III
- Zhipeng Xie
Mode Committee: A Novel Ensemble Method by Clustering and Local Learning. 628-633 - Robel Y. Kahsay, Li Liao, Guang R. Gao:
An Improved Hidden Markov Model for Transmembrane Topology Prediction. 634-639 - Tie-Fei Liu, Wing-Kin Sung
Learning Multi-Time Delay Gene Network Using Bayesian Network Framework. 640-645 - Barry O'Sullivan
Boosting Constraint Satisfaction Using Decision Trees. 646-651 - Wenhui Liao, Weihong Zhang, Qiang Ji:
A Factor Tree Inference Algorithm for Bayesian Networks and Its Application. 652-656
Session 23: Unsupervised and Semi-Supervised Learning - II
- Jianghui Liu, Jason T. L. Wang, Wynne Hsu
XML Clustering by Principal Component Analysis. 658-662 - Mamoun Awad
An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering. 663-667 - Sundara Venkataraman, Dimitris N. Metaxas, Dmitriy Fradkin, Casimir A. Kulikowski, Ilya B. Muchnik:
Distinguishing Mislabeled Data from Correctly Labeled Data in Classifier Design. 668-672 - Yasser El-Sonbaty, Mohamed A. Ismail, Mohamed Farouk:
An Efficient Density Based Clustering Algorithm for Large Databases. 673-677
Session 24: SAT/Search Algorithms - V
- Dario Bonino
Domain Specific Searches Using Conceptual Spectra. 680-687 - Rong Zhou, Eric A. Hansen:
K-Group A for Multiple Sequence Alignment with Quasi-Natural Gap Costs. 688-695 - Spencer K. L. Fung, Denny J. Zheng, Ho-fung Leung
A Framework for Guided Complete Search for Solving Constraint Satisfaction Problems and Some of Its Instances. 696-703 - Andrew Lim
A Smoothed Dynamic Tabu Search Embedded GRASP for m-VRPTW. 704-708
Session 25: Machine Learning - IV
- Stephan Altmueller, Robert M. Haralick:
Practical Aspects of Efficient Forward Selection in Decomposable Graphical Models. 710-715 - Haleh Vafaie, Carl Cecere:
CORMS AI: Continuous Operational Real-Time Monitoring System. 716-720 - Xingquan Zhu
Data Acquisition with Active and Impact-Sensitive Instance Selection. 721-726 - Ricardo Matsumura de Araújo, Luís C. Lamb
Towards Understanding the Role of Learning Models in the Dynamics of the Minority Game. 727-731
Session 26: Optimization - II
- Malek Mouhoub, Amrudee Sukpan:
Solving Conditional and Composite Temporal Constraints. 734-741 - Vasco M. Manquinho
Integration of Lower Bound Estimates in Pseudo-Boolean Optimization. 742-748 - Emilia Bellucci, Arno R. Lodder, John Zeleznikow
Integrating Artificial Intelligence, Argumentation and Game Theory to Develop an Online Dispute Resolution Environment. 749-754
Session 27: Posters
- Grigoris Antoniou
A Defeasible Logic Programming System for the Web. 756-757 - Zhipeng Xie
A Study of Selective Neighborhood-Based Nai"ve Bayes for Efficient Lazy Learning. 758-760 - Arvind K. Bansal:
Exploiting Systemic Biological Modeling for Trigger Based Adaptation in Networked Intelligent Multi-Agent Systems. 761-768 - Saleem Abuleil, Martha W. Evens:
Events Extraction and Classification for Arabic Information Retrieval Systems. 769-770 - Célia A. Zorzo Barcelos, Márcio J. R. Ferreira, Mylene L. Rodrigues:
Textured Image Retrieval by the Modal Analysis of Quantized Spectral Point Patterns. 771-773 - Christoph F. Eick, Nidal M. Zeidat, Zhenghong Zhao:
Supervised Clustering - Algorithms and Benefits. 774-776 - Fabien Picarougne, Hanene Azzag, Gilles Venturini, Christiane Guinot:
On Data Clustering with a Flock of Artificial Agents. 777-778 - Salvatore Gaglio, Luca Gatani, Giuseppe Lo Presti, Giuseppe Lo Re, Alfonso Urso:
A Dynamic Reasoning Architecture for Computer Network Management. 779-781 - Bruce McQueary, Lee Krause, Eugene Santos Jr., Hua Wang, Qunhua Zhao:
Modeling, Analysis and Visualization of Uncertainty in the Battlespace. 782-783 - Ting Su, Jennifer G. Dy:
A Deterministic Method for Initializing K-Means Clustering. 784-786
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-11-15 19:20 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: