close
1.

図書

図書
sponsored by IEEE Computer Society, IEEE CS Virtual Intelligence Task Force ; in cooperation with The Information Technology Research Institute, Wright State University, AIIS Inc
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xiv, 375 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Committees
Conference Schedule
Multi-Agents and Distributed AI / Session 1:
Towards Ontological Reconciliation for Agents / L. Sterling ; K. Lister
Transaction Oriented Computational Models for Multi-Agent Systems / K. Ramamohanarao ; J. Bailey ; P. Busetta
Resource Coordination in Single Agent and Multiagent Systems / G. Edwin ; M. T. Cox
Smart Cars as Autonomous Intelligent Agents / N. Bourbakis ; M. Findler
Interleaved Backtracking in Distributed Constraint Networks / Y. Hamadi
A Multi-Agent System to the Common Management of a Renewable Resource: Application to Water Sharing / M. Le Bars ; J. M. Attonaty
Using Software Agents to Avoid Collisions Among Multiple Robots / M. Jager
Reasoning / Session 2:
RaBeCa: A Hybrid Case-Based Reasoning Development Environment / R. B. Sovat ; S. M. Aluisio ; A. C. P. L. F. de Carvalho
Automatic Knowledge Acquisition from Subject Matter Experts / M. Boicu ; G. Tecuci ; B. Stanescu ; D. Marcu ; C. Cascaval
Inconsistent Requirements: An Argumentation View / L. Perrussel ; P.-J. Charrel
Perfect Sequences for Belief Networks Representation / R. Jirousek ; J. Vejnarova
A Decentralized Model-Based Diagnostic Tool for Complex Systems / Y. Pencole ; M.-O. Cordier ; L. Roze
Alma/Carne: Implementation of a Time-Situated Meta-Reasoner / K. Purang
Towards a General Theory for Qualitative Space / B. A. El-Geresy ; A. I. Abdelmonty
Genetic Algorithms / Session 3:
Dynamic Load-Balancing via a Genetic Algorithm / W. A. Greene
Parallel Genetic Programming for Decision Tree Induction / G. Folino ; C. Pizzuti ; G. Spezzano
New Hybrid Genetic Algorithms for the Frequency Assignment Problem / M. Alabau ; L. Idoumghar ; R. Schott
Planning / Session 4:
Fast Suboptimal Planning with Nexus States / W. Briggs ; B. Dawson
An Architecture for Planning in Uncertain Domains / M. E. Agueda ; P. H. Ibarguengoytia
A Metaheuristic for the Pickup and Delivery Problem with Time Windows / H. Li ; A. Lim
Machine Learning and Data Mining / Session 5:
An Effective Method for Generating Multiple Linear Regression Rules from Artificial Neural Networks / R. Setiono ; A. Azcarraga
Data Flow Coherence Criteria in ILP Tools / S. Muresan ; T. Muresan ; R. Potolea
Comparing Keyword Extraction Techniques for WEBSOM Text Archives / A. P. Azcarraga ; T. N. Yap, Jr.
Developing Collaborative Golog Agents by Reinforcement Learning / I. A. Letia ; D. Precup
Combinatorial Optimization through Statistical Instance-Based Learning / O. Telelis ; P. Stamatopoulos
Empirical Study of a Stacking State-Space / A. Ledezma ; R. Aler ; D. Borrajo
Mining First-Order Knowledge Bases for Association Rules / H. M. Jamil
Visualization Support for User-Centered Model Selection in Knowledge Discovery in Databases / T. B. Ho ; T. D. Nguyen
Generation of Propagation Rules for Intentionally Defined Constraints / S. Abdennadher ; C. Rigotti
Natural Language Processing and Information Retrieval / Session 6:
B-Course: A Web Service for Bayesian Data Analysis / P. Myllymaki ; T. Silander ; H. Tirri ; P. Uronen
An Expert Recommendation System Using Concept-Based Relevance Discernment / T. Yukawa ; K. Kasahara ; T. Kato ; T. Kita
A Robust Model for Intelligent Text Classification / R. Basili ; A. Moschitti
Corefdraw--A Tool for Annotation and Visualization of Coreference Data / S. M. Harabagiu ; R. C. Bunescu ; S. Trausan-Matu
Word Semantics for Information Retrieval: Moving One Step Closer to the Semantic Web / R. F. Mihalcea ; S. I. Mihalcea
High Precision Logic Form Transformation / V. Rus
Software Engineering / Session 7:
Loop--A Language for LP-Based AI Applications / A. Suciu ; K. Pusztai ; Z. Simon
Shamash: An AI Tool for Modeling and Optimizing Business Processes / D. Camacho ; A. Sierra-Alonso
An On-Line Repository for Embedded Software / I.-L. Yen ; L. Khan ; B. Prabhakaran ; F. B. Bastani ; J. Linn
Constraint Satisfaction / Session 8:
A New Hybrid Method for Solving Constraint Optimization Problems in Anytime Contexts / S. Loudni ; P. Boizumault
Pickup and Delivery with Time Windows: Algorithms and Test Case Generation / H. C. Lau ; Z. Liang
Successive Search Method for Valued Constraint Satisfaction and Optimization Problems / M. Tounsi ; P. David
Applications / Session 9:
Maintaining Credible Dialogs in a VideoBot System with Special Audio Techniques / D. DeGroot
Maximizing Paper Spread in Examination Timetabling Using a Vehicle Routing Method / W.-K. Ho ; W.-C. Oon
Artificial Neural Networks in Hydrological Watershed Modeling: Surface Flow Contribution from the Ungauged Parts of a Catchment / R. Chibanga ; J. Berlamont ; J. Vandewalle
Author Index
Message from the General Chair
Message from the Program Chair
Committees
2.

図書

図書
editor, M.H. Hamza ; [sponsors, the International Association of Science and Technology for Development (IASTED), the IASTED Technical Committee on Neural Networks]
出版情報: Anaheim, Calif. : IASTED/ACTA Press, c2000  154 p. ; 28 cm
所蔵情報: loading…
3.

図書

図書
edited by Luis M. Camarinha-Matos
出版情報: New York : Springer, 2005  xii, 525 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 159
所蔵情報: loading…
目次情報: 続きを見る
Keynote: Networked RFID in Industrial Control
Current and Future
Multi-Agent and Holonic Systems in Manufacturing / Part A:
Networked Enterprises / Part B:
Integrated Design and Assembly / Part C:
Machine Learning and Data Mining in Industry / Part D:
Author Index
Keynote: Networked RFID in Industrial Control
Current and Future
Multi-Agent and Holonic Systems in Manufacturing / Part A:
4.

図書

図書
edited by Roch Glitho, Ahmed Karmouch, Samuel Pierre
出版情報: New York : Springer, 2005  xiii, 312 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 190
所蔵情報: loading…
5.

図書

図書
edited by Zhongzhi Shi and Qing He
出版情報: New York : Springer, c2005  xxvii, 543 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 163
所蔵情報: loading…
目次情報: 続きを見る
Model organization constraints in multi-agent system
A multi-agent system for mobile environments
Agent interaction management and application in a virtual collaborative environment
An integrated approach to battlefield situation assessment
Negotiation based on personality
MIAM: a robot oriented mobile intelligent agent model
Incorporating elements from CAMLE in the open repository
Representing human spatial behavior by self-organizing networks
Multi-agent system development kit
Limitations in AUML's roles specification
The research of geometric constraint solving
Based on the path tracking homotopy iteration method
Fast stereo matching method using edge traction
Hybrid color image segmentation based fully
Automatic chromakeying system with cluttered background
Research on techniques of approximate recognition of continuous deformation of images with multi-grey-levels
Improvements on CCA model with application to face recognition
Model organization constraints in multi-agent system
A multi-agent system for mobile environments
Agent interaction management and application in a virtual collaborative environment
6.

図書

図書
[sponsored by IEEE Computer Society ; co-sponsored by Information Technology Research Institute, Wright State University, the Hong Kong University of Science and Technology ; edited by Andrew Lim]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005  xv, 718 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
[sponsored by IEEE Computer Society ; co-sponsored by Information Technology Research Institute, Wright State University, Florida Atlantic University ; edited by Taghi M. Khoshgoftaar]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2004  xvii, 789 p. ; 28 cm.
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Organizing Committee
Program Committee
Keynote Speeches
Knowledge Discovery in Multiple Databases / Xindong Wu
Machine Learning for Personalized Wireless Portals / Michael J. Pazzani
Detecting and Mitigating Security Anomaliies / Mladen Vouk
Data Mining - I / Session 1:
Mining Confident Minimal Rules with Fixed-Consequents / I. Rahal ; D. Ren ; W. Wu ; W. Perrizo
Flow Miner: Finding Flow Patterns in Spatio-Temporal Databases / J. Wang ; W. Hsu ; M. Lee
A Vertical Outlier Detection Algorithm with Clusters as By-Product
Identifying Variable-Length Meaningful Phrases with Correlation Functions / H.-R. Kim ; P. Chan
Optimization - I / Session 2:
Optimization of Bounds in Temporal Flexible Planning with Dynamic Controllability / B. Wah ; D. Xin
Empirical Evaluation of Optimized Stacking Configurations / A. Ledezma ; R. Aler ; A. Sanchis ; D. Borrajo
MetaIP - A New Approach to Combinatorial Optimization: Case Studies / Y. Li ; A. Lim
Reactive Prohibition-Based Ant Colony Optimization (RPACO): A New Parallel Architecture for Constrained Clique Sub-Graphs / S. Youssef ; D. Elliman
SAT/Search Algorithms - I / Session 3:
Using Directed Acyclic Graphs to Coordinate Propagation and Search for Numerical Constraint Satisfaction Problems / X.-H. Vu ; H. Schichl ; D. Sam-Haroud
SAT Based BDD Solver for Quantified Boolean Formulas / G. Audemard ; L. Sais
Practically Handling Some Configuration Isomorphisms / L. Henocque ; N. Prcovic
Scalable Distributed Depth-First Search with Greedy Work Stealing / J. Jaffar ; A. Santosa ; R. Yap ; K. Zhu
Machine Learning - I / Session 4:
A Coverage Based Ensemble Algorithm (CBEA) for Streaming Data / J. Rushing ; S. Graves ; E. Criswell ; A. Lin
Distilling Classification Models from Cross Validation Runs: An Application to Mass Spectrometry / A. Kalousis ; J. Prados ; J.-C. Sanchez ; L. Allard ; M. Hilario
Comparative Analysis of Two Associative Memory Neural Networks / A. Cronin ; O. McEnery ; T. Kechadi ; F. Geiselbrechtinger
An Empirical Evaluation of Interval Estimation for Markov Decision Processes / A. Strehl ; M. Littman
Data Mining - II / Session 5:
Towards Real-Time Obstacle Detection Using a Hierarchical Decomposition Methodology for Stereo Matching with a Genetic Algorithm / Y. Ruichek ; H. Issa ; J. Postaire ; J. Burie
Emulating a Cooperative Behavior in a Generic Association Rule Visualization Tool / S. Yahia ; E. Nguifo
A Scalable Algorithm for Mining Maximal Frequent Sequences Using Sampling / C. Luo ; S. Chung
Cultural Algorithms: Modeling of How Cultures Learn to Solve Problems / R. Reynolds ; B. Peng
Software Engineering with Computational Intelligence / Session 6:
Automated Test Data Generation Using MEA-Graph Planning / M. Gupta ; F. Bastani ; L. Khan ; I.-L. Yen
Semi-Supervised Learning for Software Quality Estimation / N. Seliya ; T. Khoshgoftaar ; S. Zhong
Extract Rules from Software Quality Prediction Model Based on Neural Network / Q. Wang ; J. Zhu ; B. Yu
Using Fuzzy Theory for Effort Estimation of Object-Oriented Software / M. Braz ; S. Vergilio
Human Perception of Software Complexity: Knowledge Discovery from Software Data / M. Reformat ; P. Musiek ; V. Wu ; N. Pizzi
Information Retrieval - I / Session 7:
Giving Temporal Order to News Corpus / H. Uejima ; T. Miura ; I. Shioya
An Information Retrieval System for the Analysis of Systematic Defects in VLSI / D. DeMaris ; D. Maynard ; B. Reuter
CoIRS: Cluster-Oriented Image Retrieval System / H. Lotfy ; A. Elmaghraby
SAT/Search Algorithms - II / Session 8:
A Time-Space Trade-Off for Constraint Networks Decomposition / P. Jegou ; C. Terrioux
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints / S. Bistarelli ; E. Freuder ; B. O'Sullivan
Hidden Structure in Unsatisfiable Random 3-SAT: An Empirical Study / I. Lynce ; J. Marques-Silva
Constraint Satisfaction Problems: Backtrack Search Revisited / A. Chmeiss
Machine Learning - II / Session 9:
YaDT: Yet another Decision Tree Builder / S. Ruggieri
Reduced Ensemble Size Stacking / N. Rooney ; D. Patterson ; C. Nugent
An Extended Kernel for Generalized Multiple-Instance Learning / Q. Tao ; S. Scott ; N. Vinodchandran ; T. Takeo ; B. Mueller
Data Driven Automatic Model Selection and Parameter Adaptation - A Case Study for Septic Shock / R. Brause
Planning & Scheduling / Session 10:
A Prioritized-Based Approach to Handling Conflicts in Access Control / S. Benferhat ; R. El Baida
VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL / R. Howey ; D. Long ; M. Fox
Solving the Selecting and Scheduling Satellite Photographs Problem with a Consistent Neighborhood Heuristic / D. Habet ; M. Vasquez
Focussed Propagation of MDPs for Path Planning / D. Ferguson ; A. Stentz
Intelligent Image Analysis - I / Session 11:
Automatic Heliothis Zea Classification Using Image Analysis / T. Patten ; W. Li ; G. Bebis ; M. Freeman
A Stochastic Optimization Scheme for Automatic Registration of Aerial Images / S. Makrogiannis ; N. Bourbakis ; S. Borek
Efficient Image Segmentation by Mean Shift Clustering and MDL-Guided Region Merging / Q. Luo
Motion Analysis with Application to Assistive Vision Technology
Data Mining - III / Session 12:
A Hybrid Approach for Mining Maixmal Hyperclique Patterns / Y. Huang ; H. Xiong ; Z. Zhang
Mining Decision Rules from Deterministic Finite Automata / F. Jacquenet ; M. Sebban ; G. Valetudie
Systematic Assessment of High-Throughput Experimental Data for Reliable Protein Interactions Using Network Topology / J. Chen ; S.-K. Ng
Noise Identification with the k-Means Algorithm / W. Tang
Evolutionary Computation / Session 13:
Analysing the Effects of Combining Fitness Scaling and Inversion in Genetic Algorithms / S. Hill ; J. Newell ; C. O'Riordan
GP-Lab: The Genetic Programming Laboratory / W. Glaholt ; D. Zhang
Multi-Objective Genetic Algorithm Based Approach for Optimizing Fuzzy Sequential Patterns / M. Kaya ; R. Alhajj
Visualization Tool for a Terrain-Based Genetic Algorithm / V. Gordon ; J. Thein
Agent-Based Systems / Session 14:
Multi-Agent Opportunistic Planning and Plan Execution / J. Lawton ; C. Domshlak
An Adaptive Strategy for Trust/Honesty Model in Multi-Agent Semi-Competitive Environments / K.-m. Lam ; H.-f. Leung
A Swarm Approach for Emission Sources Localization / X. Cui ; C. Hardin ; R. Ragade
A Reactive Multi-Agent System for Localisation and Tracking in Mobile Robotics / F. Gechter ; V. Chevrier ; F. Charpillet
Improving Coordination with Communication in Multi-Agent Reinforcement Learning / D. Szer
Knowledge Representation and Management - I / Session 15:
Theory and Semantic Refinement of Bridge Ontology Based on Multi-Ontologies / B. Xu ; P. Wang ; J. Lu ; D. Kang
A Logic-Based Approach for Query Refinement in Ontology-based Information Retrieval Systems / N. Stojanovic ; L. Stojanovic
Combining Multiple Inclusion Representations in Numerical Constraint Propagation / B. Faltings
Consistency of Test Cases in Validation of Bayesian Knowledge-Bases / E. Santos Jr. ; H. Dinh
Intelligent Image Analysis - II / Session 16:
Image Chromatic Adaptation Using ANNs for Skin Color Adaptation / P. Kakumanu ; R. Bryll ; S. Panchanathan
Illumination Invariant Face Recognition Based on Neural Network Ensemble / W.-J. Li ; C.-J. Wang ; D.-X. Xu ; S.-F. Chen
Image Texture Representation and Retrieval Based on Power Spectral Histograms / C.-j. Wang ; Y.-b. Yang ; W.-j. Li
SAT/Search Algorithms - III / Session 17:
Nonchronological Backtracking in Stochastic Boolean Satisfiability / S. Majercik
N-to-2-Space Mapping for Visualization of Search Algorithm Performance / M. Kadluczka ; P. Nelson ; T. Tirpak
Meta-Heuristics for Robust Graph Coloring Problem / F. Wang
Adapting the Large Neighborhood Search to Effectively Solve Pickup and Delivery Problems with Time Windows / V. Tam ; M. Kwan
Information Retrieval - II / Session 18:
Path-Augmented Keyword Search for XML Documents / X. Wu
An Approach for Ontology-Enhanced Query Refinement in Information Portals
A Hybrid Approach to Concept Extraction and Recognition-Based Matching in the Domain of Human Resources / D. Crow ; J. DeSanto
SAT/Search Algorithms - IV / Session 19:
Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition / P. van Beek
Backjump-Based Techniques versus Conflict-Directed Heuristics / C. Lecoutre ; F. Boussemart ; F. Hemery
Another SAT to CSP Conversion / O. Roussel
Toward Good Elimination Orders for Symbolic SAT Solving / J. Huang ; A. Darwiche
Unsupervised and Semi-Supervised Learning - I / Session 20:
Determining the Number of Clusters/Segments in Hierarchical Clustering/Segmentation Algorithms / S. Salvador
Efficient Learning of Hierarchical Latent Class Models / N. Zhang ; T. Kocka
Democratic Co-Learning / Y. Zhou ; S. Goldman
Knowledge Representation & Management - II / Session 21:
Exploring the Relationship between Knowledge and Algorithm Performance in Discrete Optimization / X. Zhong ; R. McCartney
Quartet Based Phylogeny Reconstruction with Answer Set Programming / G. Wu ; G. Lin ; J.-H. You
Ontology Based Object Learning and Recognition: Application to Image Retrieval / N. Maillot ; M. Thonnat ; C. Hudelot
Machine Learning - III / Session 22:
Mode Committee: A Novel Ensemble Method by Clustering and Local Learning / Z. Xie
An Improved Hidden Markov Model for Transmembrane Topology Prediction / R. Kahsay ; L. Liao ; G. Gao
Learning Multi-Time Delay Gene Network Using Bayesian Network Framework / T.-F. Liu ; W.-K. Sung ; A. Mittal
Boosting Constraint Satisfaction Using Decision Trees / A. Ferguson
A Factor Tree Inference Algorithm for Bayesian Networks and Its Application / W. Liao ; W. Zhang ; Q. Ji
Unsupervised and Semi-Supervised Learning - II / Session 23:
XML Clustering by Principal Component Analysis / J. Liu ; K. Herbert
An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering / M. Awad ; I-L. Yen
Distinguishing Mislabeled Data from Correctly Labeled Data in Classifier Design / S. Venkataraman ; D. Metaxes ; D. Fradkin ; C. Kulikowski ; I. Muchnik
An Efficient Density Based Clustering Algorithm for Large Databases / Y. El-Sonbaty ; M. Ismail ; M. Farouk
SAT/Search Algorithms - V / Session 24:
Domain Specific Searches Using Conceptual Spectra / D. Bonino ; F. Corno ; L. Farinetti
K-Group A* for Multiple Sequence Alignment with Quasi-Natural Gap Costs / R. Zhou ; E. Hansen
A Framework for Guided Complete Search for Solving Constraint Satisfaction Problems and Some of Its Instances / S. Fung ; D. Zheng ; J. Lee ; H. Chun
A Smoothed Dynamic Tabu Search Embedded GRASP for m-VRPTW
Machine Learning - IV / Session 25:
Practical Aspects of Efficient Forward Selection in Decomposable Graphical Models / S. Altmueller ; R. Haralick
CORMS AI: Continuous Operational Real-Time Monitoring System / H. Vafaie ; C. Cecere
Data Acquisition with Active and Impact-Sensitive Instance Selection / X. Zhu
Towards Understanding the Role of Learning Models in the Dynamics of the Minority Game / R. Araujo ; L. Lamb
Optimization - II / Session 26:
Solving Conditional and Composite Temporal Constraints / M. Mouhoub ; A. Sukpan
Integration of Lower Bound Estimates in Pseudo-Boolean Optimization / V. Manquinho
Integrating Artificial Intelligence, Argumentation and Game Theory to Develop an Online Dispute Resolution Environment / E. Bellucci ; A. Lodder ; J. Zeleznikow
Poster / Session 27:
A Defeasible Logic Programming System for the Web / G. Antoniou ; A. Bikakis ; G. Wagner
A Study of Selective Neighborhood-Based Naive Bayes for Efficient Lazy Learning / Q. Zhang
Exploiting Systemic Biological Modeling for Trigger Based Adaptation in Networked Intelligent Multi-Agent Systems / A. Bansal
Events Extraction and Classification for Arabic Information Retrieval Systems / S. Abuleil ; M. Evens
Textured Image Retrieval by the Modal Analysis of Quantized Spectral Point Patterns / C. Barcelos ; M. Ferreira ; M. Rodrigues
Supervised Clustering - Algorithms and Benefits / C. Eick ; N. Zeidat ; Z. Zhao
On Data Clustering with a Flock of Artificial Agents / F. Picarougne ; H. Azzag ; G. Venturini ; C. Guinot
A Dynamic Reasoning Architecture for Computer Network Management / S. Gaglio ; L. Gatani ; G. Lo Presti ; G. Lo Re ; A. Urso
Modeling, Analysis and Visualization of Uncertainty in the Battlespace / B. McQueary ; L. Krause ; H. Wang ; Q. Zhao
A Deterministic Method for Initializing K-Means Clustering / T. Su ; J. Dy
Author Index
Message from the General Chair
Message from the Program Chair
Organizing Committee
8.

図書

図書
Database and Expert Systems Applications Conference
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xxi, 987 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
edited by Bilal M. Ayyub and Nii O. Attoh-Okine
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xiv, 456 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
edited by Xindong Wu ... [et al.] ; sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xi, 207 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼