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.

図書

図書
[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…
3.

図書

図書
IEEE Computer Society
出版情報: Los Alamitos, CA : IEEE Computer Society, c2003  xi, 336 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Supporting and Sponsoring Organizations
Conference Organization
Keynote Address
The Limits of Empirical Studies of Software Engineering / D. Parnas
Process Definition and Evaluation
Composable Process Elements for Developing COTS-Based Applications / B. Boehm ; D. Port ; Y. Yang ; J. Bhuta ; C. Abts
Using Empirical Knowledge from Replicated Experiments for Software Process Simulation: A Practical Example / J. Munch ; O. Armbrust
An Experience in Combining Flexibility and Control in a Small Company's Software Product Development Process / K. Rautiainen ; L. Vuornos ; C. Lassenius
Requirements and Design
An Industrial Case Study of the Impact of Requirements Engineering on Downstream Development / D. Damian ; J. Chisan ; L. Vaidyanathasamy ; Y. Pal
Applying Use Cases to Design versus Validate Class Diagrams--A Controlled Experiment Using a Professional Modelling Tool / B. Anda ; D. Sjoberg
A Study on Agreement Between Participants in an Architecture Assessment / M. Svahnberg
Empirical Methods
Observational Studies to Accelerate Process Experience in Classroom Studies: An Evaluation / J. Carver ; F. Shull ; V. Basili
Conducting On-Line Surveys in Software Engineering / T. Punter ; M. Ciolkowski ; B. Freimut ; I. John
Comprehensibility and Efficiency of Multiview Framework for Measurement Plan Design / M. Baldassarre ; D. Caivano ; G. Visaggio
Effort Estimation
A Replicated Assessment of the Use of Adaptation Rules to Improve Web Cost Estimation / E. Mendes ; N. Mosley ; S. Counsell
Analogy Based Prediction of Work Item Flow in Software Projects: A Case Study / A. Mockus
An Experiment on Software Project Size and Effort Estimation / U. Passing ; M. Shepperd
Pair Programming
An Initial Framework for Research on Pair Programming / H. Gallis ; E. Arisholm ; T. Dyba
Building Pair Programming Knowledge through a Family of Experiments / L. Williams ; C. McDowell ; N. Nagappan ; J. Fernald ; L. Werner
Experience Management
Experience-Based Model-Driven Improvement Management with Combined Data Sources from Industry and Academia / A. Jedlitschka ; D. Pfahl
The Anatomy of an Experience Repository / L. Scott ; R. Jeffery
Testing
An Experimental Evaluation of Inspection and Testing for Detection of Design Faults / C. Andersson ; T. Thelin ; P. Runeson ; N. Dzamashvili
Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria / K. Kapoor ; J. Bowen
An Empirical Comparison of Two Safe Regression Test Selection Techniques / P. Frankl ; G. Rothermel ; K. Sayre ; F. Vokolos
Prediction Models
An Empirical Analysis of Fault Persistence through Software Releases / M. Pighin ; A. Marzona
The Application of Capture-Recapture Log-Linear Models to Software Inspections Data / A. Kamel ; P. Sorenson
A Review of Surveys on Software Effort Estimation / K. Molokken ; M. Jorgensen
Inspections
Investigating the Accuracy of Defect Estimation Models for Individuals and Teams Based on Inspection Data / S. Biffl ; M. Halling ; S. Koszegi
An Empirical Study of Web-Based Inspection Meetings / F. Lanubile ; T. Mallardo
A Case Study Using Sampling to Improve Software Inspection Effectiveness
Risk Analysis
Quantitative Studies in Software Release Planning under Risk and Resource Constraints / G. Ruhe ; D. Greer
Guidelines for Managing Bias in Project Risk Management / F. Heemstra ; R. Kusters ; H. de Man
Applying the Software Evaluation Framework 'SEF' to the Software Development Life Cycle / B. Wong
PDS: Poster & Research Demonstrations
Collaborative Development
Management of Interdependencies in Collaborative Software Development / C. de Souza ; D. Redmiles ; G. Mark ; J. Penix ; M. Sierhuis
A Study of Collaboration in Software Design / J. Wu ; T. Graham ; P. Smith
Process Management
Identification of Key Factors in Software Process Management--A Case Study / P. Berander ; C. Wohlin
Persuading Developers to 'Buy Into' Software Process Improvement: Local Opinion and Empirical Evidence / A. Rainer ; T. Hall ; N. Baddoo
Author Index
Preface
Supporting and Sponsoring Organizations
Conference Organization
4.

図書

図書
[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
5.

図書

図書
sponsored by IEEE Computer Society ; in cooperation with Taichung Healthcare and Management University ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xi, 328 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Chairs' Message
Organizing Committee
Program Committee
Keynote I
Multimedia Software for eLearning: An Old Topic Seen in a New Light / M. Muhlhauser
Multimedia Applications / Session 1:
Using Neuro-Fuzzy Techniques Based on a Two-Stage Mapping Model for Concept-Based Image Database Indexing / C. Tsai ; K. McGarry ; J. Tait
Non-uniform Partition Strategies for Indexing High Dimensional Data with Different Distributions / B. Wang ; Q. Gan
Open Graphical Framework for Interactive TV / P. Cesar ; J. Vierinen ; P. Vuorimaa
A Multiprocessor Real-Time Process Scheduling Method / K. Chen ; A. Liu ; C. Lee
Multimedia Enabled Web Services / Session 2:
QCWS: An Implementation of QoS-Capable Multimedia Web Services / H. Chen ; T. Yu ; K. Lin
Open Framework Supporting Multimedia Web Services / J. Zhang ; J. Chung
Using Web-Services for Accessing and Sharing Multimedia Resources in Distributed Digital Museum / S. Cruz-Lara ; J. Ducret ; J. Faivre-Vuillin ; E. Chang ; B. Chen ; J. Hong
A United Approach to Discover Multimedia Web Services / Q. Liang ; S. Su ; H. Li
Automated Support for Data Exchange via XML / T. Tourwe ; L. Stoops ; S. Decneut
Algorithms / Session 3:
A Simple and Efficient Watermarking Technique Based on JPEG2000 Codec / T. Chen ; J. Chen
A New Data Hiding Method in Binary Image / M. Cheng
A New Detection Method of Halftone Images Based on Crisscross Checking Technique / Y. Pan
Optimal Design of Generalized Lapped Orthogonal Transforms: Multiobjective Optimization Techniques and Experimental Results / H. Shimodaira
A Robust Object-Based Watermarking Scheme Based on Shape Self-Similarity Segmentation / M. Wu ; Y. Ho
Keynote II
Creating a Balanced and Diverse Economy in Taiwan with Knowledge-Based Service Industry / J. Ke
Keynote III
Toward a Methodology of Graphical Icon Design / P. Chen
Multimedia Software Engineering and Development / Session 4:
DPSSEE: A Distributed Proactive Semantic Software Engineering Environment / D. Deng ; T. Wang ; P. Sheu ; H. Maezawa ; F. Tsunoda ; A. Onoma
An Agent-Based Software Development Method for Developing an Agent-Based Multimedia System
Design, Implementation, and Evaluation of an Agent-Based Adaptive Program Personalization System / Z. Yu ; X. Zhou ; X. Shi ; J. Gu ; A. Morel
Middleware Support for Coordination in Distributed Applications / C. Chiang ; P. Tang
Applying Combinatorial Method to Test Browser Compatibility / B. Xu ; L. Xu ; C. Nie ; W. Chu ; C. Chang
Multimedia Communication, Storage, and Retrieval / Session 5:
A Component-Based Design of a Fault-Tolerant Multimedia Communication Protocol / A. Hanumantharaya ; P. Sinha ; A. Agarwal
Object Based Video Similarity Retrieval and Its Application to Detecting Anchorperson Shots in News Video / D. Chen ; S. Lee
A New Improvement of SPIHT Progressive Image Transmission / C. Tung ; W. Wang ; S. Yeh
MMM: A Stochastic mechanism for Image Database Queries / M. Shyu ; S. Chen ; M. Chen ; C. Zhang ; C. Shu
Robust Object Detection Using Cascade Filter in MPEG Videos / A. Ahmad
Multimedia Enabled e-Learning / Session 6:
A Content Management System for Adaptive Learning Environment / N. Shao ; S. Yang ; A. Sue
Structuring Lecture Videos for Distance Learning Applications / C. Ngo ; F. Wang ; T. Pong
ConKMeL: A Contextual Knowledge Management Framework to Support Intelligent Multimedia e-Learning / W. Huang ; M. O'Dea ; A. Mille
Optimal Resource Allocation and Sensitivity Analysis for Modular Software Testing / C. Huang ; J. Lo ; J. Lin ; C. Sue ; C. Lin
Theories of Learning: A Computer Game Perspective / A. Siang ; R. Rao
Keynote IV
Accelerated Migration to Collaborative Intellectual Activities--Bioinformatics and Knowledge Societies / H. Yamaguchi
Bioinformatics I / Session 7:
Parsimony-Spaced Suffix Trees for DNA Sequences / Y. Chen
Reconstruct Transcription Networks by Combining Gene Expression Correlations with TF Binding Sites / Y. Hsu ; Y. Hu
Using Functionally Important Sites to Identify Orthologous Relations / H. Chiu
Subcellular Localization Prediction of Eukaryotic Proteins Using Functional Domain Frequency Measure / H. Hsiao ; J. Tsai
An Intelligent Agent-Based Biomedical Literature Mining System for Cancer-Related Genes / W. Chen
Bioinformatics II / Session 8:
Design of an Incremental Clustering Package for Protein Function and Family Analysis / C. Chen ; H. Juan ; P. Hsiao ; H. Tseng ; Y. Oyang
Expediting Protein Structural Analysis with an Efficient Kernel Density Estimation Algorithm / D. Chang ; S. Hwang
SimSearcher: A Local Similarity Search Engine for Biological Sequence Databases / T. Tsai
Searching the Regulatory Protein Binding Site by Steepest Ascent Algorithm / R. Hu ; R. Chen
In Silico Discovery of Cancer-Related Genes by Functional Domain Analysis / P. Wu
Author Index
Chairs' Message
Organizing Committee
Program Committee
6.

図書

図書
edited by Liam O'Brien, Nicolas Gold, Kostas Kontogiannis ; sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2004  xiv, 257 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
STEP 2003 Conference and Program Committees
IWCASE Officers and Executive Board
About STEP
Introduction to STEP 2003: Applications and Emerging Trends in Software Engineering Practices / Liam O'Brien ; Nicolas Gold ; Kostas Kontogiannis
Defect Detection in Distributed Software Systems / Workshop 1:
Workshop: Defect Detection in Distributed Software Development / J. J. M. Trienekens ; R. J. Kusters
Effects of Virtual Development on Product Quality: Exploring Defect Causes / J. C. Jacobs ; J. H. van Moll ; P. J. Krause
A Common Product Life Cycle in Global Software Development / J. De Man ; C. Ebert
Where's the Evidence? The Role of Empirical Practices in Software Engineering / Workshop 2:
Organising Evidence to Support Software Engineering Practice / D. Budgen ; J. Boegh ; A. Mohan
Capturing Evidence from Wireless Internet Services Development / F. Bella ; J. Munch ; A. Ocampo
The Nature of Evidence in Empirical Software Engineering / J. Segal
Towards a Successful Software Metrics Programme / R. Dawson ; A. J. Nolan
Empirical Methodologies in Software Engineering / P. Bones ; B. J. Oates ; P. Brereton ; M. Azuma ; M. L. Jackson
Widening the Scope of Evidence Gathering in Software Engineering
The Case Against Cross-Over Designs in Software Engineering / B. Kitchenham ; J. Fry ; S. Linkman
Software Test and Reliability Estimation Process / Workshop 3:
Using the Information: Incorporating Positive Feedback Information into the Testing Process / K. P. Chan ; D. Towey ; T. Y. Chen ; F.-C. Kuo ; R. Merkel
An Overview of Software Cybernetics / K.-Y. Cai ; J. W. Cangussu ; R. A. DeCarlo ; A. P. Mathur
Practical Experiences with Statistical Usage Testing / H. Le Guen ; T. Thelin
Metamorphic Testing and Beyond / T. H. Tse ; Z. Q. Zhou
Software Development Methodologies for Distributed Systems / Workshop 4:
On Analysis of Design Component Contracts: A Case Study / J. Dong ; P. Alencar ; D. Cowen
Expected Level of Understanding of SWEBOK Topics / Workshop 5:
How to Apply the Bloom Taxonomy to Software Engineering / F. Coallier ; J. Garbajosa
Bloom's Taxonomy Levels for Three Software Engineer Profiles / P. Bourque ; L. Buglione ; A. Abran ; A. April
Enterprise Application Integration / Workshop 6:
Transforming Legacy Web Applications to the MVC Architecture / Y. Ping ; K. Kontogiannis ; T. C. Lau
Semantic Web Data Description and Discovery / M. R. Bannon
eHealth Software Systems and Networks / Workshop 7:
Enabling Privacy in Cross-Organisational Information Mediation--An Application in Health Care / C. Obry ; J. H. Jahnke ; A. Onabajo ; W. Schafer
Ontology-Based Information Integration in Health Care: A Focus on Palliative Care / C. E. Kuziemsky ; F. Lau ; I. Bilykh ; G. McCallum ; G. M. Downing
Software Analysis and Maintenance: Practices, Tools and Interoperability / Workshop 8:
Incorporating Quality Requirements in Software Migration Process / Y. Zou
Using Grid Technologies for Web-Enabling Legacy Systems / T. Bodhuin ; M. Tortorella
Interdisciplinary Software Engineering / Workshop 9:
Software Evolution in an Interdisciplinary Environment / K. H. Bennett ; S. Bradley ; G. Glover ; D. Barnes
From a Single Discipline Risk Management Approach to an Interdisciplinary One: Adaptation of FMEA to Software Needs / S. Hartkopf
Unraveling the Complexities of Interdisciplinary Software Engineering / N. Mehandjiev ; P. Layzell
System Test and Validation / Workshop 10:
Model-Based Approaches for Validating Business Critical Systems / J. Augusto ; Y. Howard ; A. Gravell ; C. Ferreira ; S. Gruner ; M. Leuschel
Improvement of Test Data by Measuring SQL Statement Coverage / M. J. Suarez-Cabal ; J. Tuya
A Modular Tool for Automated Coverage in Software Testing / E. Diaz ; R. Blanco
Modeling Language Interpretation for Validation / P. P. Alarcon ; A. Yague ; A. Lisounkin ; G. Schreck ; J. L. Esteban
Author Index
Foreword
STEP 2003 Conference and Program Committees
IWCASE Officers and Executive Board
7.

図書

図書
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2000  xiii, 427 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
General Chairs' Foreword
Message from the Program Chair
Vice Chairs
Program Committee
Logic and Reasoning / Session A1:
Multi-Resolution on Compressed Sets of Clauses / P. Chatalic ; L. Simon
An Assumptive Logic Programming Methodology for Parsing / K. Voll ; T. Yeh ; V. Dahl
Belief Revision and Possibilistic Logic for Adaptive Information Filtering Agents / R. Lau ; A. Hofstede ; P. Bruza ; K. Wong
Machine Learning / Session B1:
A Visualization Tool for Interactive Learning of Large Decision Trees / T. Nguyen ; T. Ho ; H. Shimodaira
Function Approximation Based Multi-Agent Reinforcement Learning / O. Abul ; F. Polat ; R. Alhajj
Knowledge Pruning in Decision Trees / I. Shioya ; T. Miura
Software and Knowledge Engineering / Session C1:
Using Latent Semantic Analysis to Identify Similarities in Source Code to Support Program Understanding / J. Maletic ; A. Marcus
Modeling Software Quality: The Software Measurement Analysis and Reliability Toolkit / T. Khoshgoftaar ; E. Allen ; J. Busboom
JADE-AI Support for Debugging Java Programs / C. Mateis ; M. Stumptner ; D. Wieland ; F. Wotawa
Data and Knowledge Mining / Session A2:
Principles for Mining Summaries Using Objective Measures of Interestingness / R. Hilderman ; H. Hamilton
From Data Mining to Rule Refining / E. Keedwell ; F. Bessler ; A. Narayanan ; D. Savic
What's New? Using Prior Models as a Measure of Novelty in Knowledge Discovery / J. Ludwig ; G. Livingston ; E. Vozalis ; B. Buchanan
Parallel Mining of Association Rules with a Hopfield Type Neural Network / K. Gaber ; M. Bahi ; T. El-Ghazawi
Constraint Satisfaction and Optimization / Session B2:
Implementing an Action Language Using a SAT Solver / H. Nabeshima ; K. Inoue ; H. Haneda
About the Use of Local Consistency in Solving CSPs / A. Chmeiss ; L. Sais
Using Heuristic-Based Optimizers to Handle the Personal Computer Configuration Problems / V. Tam ; K. Ma
Neural Networks / Session C2:
DGPS/INS Integration Using Neural Network Methodology / F. Ibrahim ; A. Tascillo ; N. Al-Holou
Efficient Prediction of Interconnect Crosstalk Using Neural Networks / A. Ilumoka
Identifying Causal Structure in a Biological Neural Network / A. Maida
Multimedia and Image Processing / Session A3:
A Synergistic Model for Interpreting Human Activities and Events from Video: A Case Study / N. Bourbakis ; G. Bebis ; J. Gattiker
A Distributed Multimedia Knowledge Based Environment for Modeling over the Internet / S. Ryan ; A. Bansal ; T. Kapoor
Texture Image Segmentation Method Based on Multi-Layer CNN / G. Liu ; S. Oe
Strategies for Optimizing Image Processing by Genetic and Evolutionary Computation
Planning and Scheduling / Session B3:
Building Efficient Partial Plans Using Markov Decision Processes / P. Laroche
Reasoning about Numeric and Symbolic Time Information / M. Mouhoub
Heuristics for the Exam Scheduling Problem / F. Zhaohui ; A. Lim
A Reactive Method for Real Time Dynamic Vehicle Routing Problem / K. Zhu ; K-L. Ong
Knowledge-Based Systems / Session C3:
Debugging Knowledge-Based Applications with a Generic Toolkit / S. Craw ; R. Boswell
Tools for Intelligent Decision Support System Development in the Legal Domain / A. Stranieri ; J. Zeleznikow
A Knowledge Based System: An Object Case Approach / G. Talens ; D. Boulanger ; I. Dedun
Genetic Algorithms / Session A4:
A Genetic Algorithm-Based System for Generating Test Programs for Microprocessor IP Cores / F. Corno ; M. Reorda ; G. Squillero ; M. Violante
The Probably Approximately Correct (PAC) Population Size of a Genetic Algorithm / A. Hernandez-Aguirre ; B. Buckles ; A. Martinez-Alcantara
GATree: Genetically Evolved Decision Trees / A. Papagelis ; D. Kalles
Internet and The World Wide Web / Session B4:
A New Statistical Method for Performance Evaluation of Search Engines / L. Li ; Y. Shang
Searching and Classifying the Web Using Hyperlinks: A Logical Approach / J. Picard ; J. Savoy
Reverse Mapping of Referral Links from Storage Hierarchy for Web Documents / C. Ding ; C.-H. Chi
Robotics / Session C4:
Cognitively Adequate Modeling of Spatial Reference in Human-Robot Interaction / R. Moratz ; K. Fischer
Vision Based Localization for a Mobile Robot / F. Gechter ; F. Charpillet
The N-Dimensional Projective Approach as a Tool for Spatial Reasoning / J. Pais ; C. Pinto-Ferreira
Multi-Objective Retrieval of Object Pose from Video / A. Avanaki ; B. Hamidzadeh ; F. KossentiniSession A5:
Object Tracking and Multimedia Augmented Transition Network for Video Indexing and Modeling / S.-C. Chen ; M.-L. Shyu ; C. Zhang ; R. Kashyap
Using Bayesian Classifier in Relevant Feedback of Image Retrieval / Z. Su ; H. Zhang ; S. Ma
Intelligent Content-Based Retrieval / C. Djeraba
An Approach to Incremental SVM Learning Algorithm / R. Xiao ; J. Wang ; F. ZhangSession B5:
Transforming Supervised Classifiers for Feature Extraction / B. Bursteinas ; J. Long
Learning Methods for Online-Process Diagnosis / P. Feucht ; J. Zoellner ; K. Berns ; T. Zirzlaff ; O. Leisin
Constrained Genetic Algorithms and Their Applications in Nonlinear Constrained Optimization / B. Wah ; Y.-X. ChenSession C5:
Local Search Algorithm for the Compacted Cells Area Problem / D. Chia
A Heuristic Search Based Factoring Tool / C. Davis ; C. Eick
Soft Computing / Session A6:
Interpretation of Self-Organizing Maps with Fuzzy Rules / M. Drobics ; W. Winiwarter ; U. Bodenhofer
History Checking of Temporal Fuzzy Logic Formulas for Monitoring Behavior-Based Mobile Robots / K. Lamine ; F. Kabanza
Fuzzy Cellular Automata: From Theory to Applications / M. Mraz ; N. Zimic ; I. Lapanja ; I. Bajec
Database and Information Systems / Session B6:
Interactive Generalization of a Translation Example Using Queries Based on a Semantic Hierarchy / Y. Akiba ; H. Nakaiwa ; S. Shirai ; Y. Ooyama
Consistency Checking for Euclidean Spatial Constraints: A Dimension Graph Approach / X. Liu ; S. Shekhar ; S. Chawla
Combining Models Across Algorithms and Samples for Improved Results / H. Vafaie ; D. Abbott ; M. Hutchins ; I. MatkovskySession C6:
Basic Organization Structure Model for Cooperative Information Processing / W. Changying ; Y. Li ; C. Weiming ; X. Zhenning ; G. Yong
Support Based Measures Applied to Ice Hockey Scoring Summaries / B. Kram ; J. Hall
Meta-Constraints on Violations for Over Constrained Problems / T. Petit ; J.-C. Regin ; C. BessiereSession A7:
Local Minimum Structures of Graph-Coloring Problems for Stochastic Constraint Satisfaction Algorithms / K. Mizuno ; S. Nishihara
Combining Various Algorithms to Solve the Ship Berthing Problem / K.-S. Goh
Self-Optimising CBR Retrieval / J. Jarmulak ; R. RoweSession B7:
Efficient Defeasible Reasoning Systems / M. Maher ; A. Rock ; G. Antoniou ; D. Billington ; T. Miller
Combining Heuristics for Default Logic Reasoning Systems / P. Nicolas ; F. Suabion ; I. Stephan
Automated Reasoning on Monotonic Constraints / L. Bordeaux ; F. Benhamou
Model Selection via Meta-Learning: A Comparative Study / A. Kalousis ; M. HilarioSession C7:
The Application of a Machine Learning Tool to the Validation of an Air Traffic Control Domain Theory / M. West ; T. McCluskey
Designing a Learning-Automata-Based Controller for Client/Server Systems: A Methodology / G. Papadimitriou ; A. Vakali ; A. Pomportsis
Author Index
General Chairs' Foreword
Message from the Program Chair
Vice Chairs
8.

図書

図書
ACM/IEEE International Conference on Automated Software Engineering ; IEEE Computer Society ; ACM Sigsoft ; SIGART
出版情報: New York : Association for Computing Machinery, c2007  577 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
sponsored by IEEE Computer Society ; in cooperation with The Information Technology Research Institute, Wright State University
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  xx, 548 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Program Chair
Organizing Committee
Program Committee
Reviewers
Conference Schedule
Keynote Speeches
New Areas of Applied Artificial Intelligence Research / Jeffrey J. P. TsaiKeynote Speech I:
Data Mining for Counter-Terrorism / Bhavani ThuraisinghamKeynote Speech II:
To be announced / Keynote Speech III:
Design of Interdisciplinary Systems/Services / Hiroshi YamaguchiKeynote Speech IV:
Machine Learning I / Session 1-A:
About Adaptive State Knowledge Extraction for Septic Shock Mortality Prediction / R. W. Brause
Updating a Hybrid Rule Base with New Empirical Source Knowledge / J. Prentzas ; I. Hatzilygeroudis ; A. Tsakalidis
Data Sniffing--Monitoring of Machine Learning for Online Adaptive Systems / Y. Liu ; T. Menzies ; B. Cukic
Machine Learning and Software Engineering / D. Zhang ; J. J. P. Tsai
Data Mining and Knowledge Discovery I / Session 1-B:
Data Mining Using Cultural Algorithms and Regional Schemata / X. Jin ; R. G. Reynolds
Data Mining for Selective Visualization of Large Spatial Datasets / S. Shekhar ; C.-T. Lu ; P. Zhang ; R. Liu
Mining Association Rules in Text Databases Using Multipass with Inverted Hashing and Pruning / J. D. Holt ; S. M. Chung
A Tool for Extracting XML Association Rules / D. Braga ; A. Campi ; S. Ceri ; M. Klemettinen ; P. L. Lanzi
Constraint Satisfaction / Session 1-C:
Calculus of Variations in Discrete Space for Constrained Nonlinear Dynamic Optimization / Y. Chen ; B. W. Wah
On Temporal Planning as CSP / A. D. Mali
Actions with Duration and Constraints: The Ramification Problem in Temporal Databases / N. Papadakis ; D. Plexousakis
A Lazy Divide and Conquer Approach to Constraint Solving / S. Anand ; W.-N. Chin ; S.-C. Khoo
Intelligent Information Retrieval / Session 2-A:
Context Query in Information Retrieval / C.-H. Chi ; C. Ding ; K.-Y. Lam
EasyTransport: An Effective Navigation and Transportation Guide for Wide Geographic Areas / M. Fragouli ; A. Delis
Ontologies for Knowledge Representation in a Computer-Based Patient Record / E. Bayegan ; O. Nytro ; A. Grimsmo
Ontology Construction for Information Selection / L. Khan ; F. Luo
Planning and Scheduling I / Session 2-B:
Application of AI Planning Techniques to Automated Code Synthesis and Testing / I.-L. Yen ; F. B. Bastani ; F. Mohamed ; H. Ma ; J. Linn
Distributed Graphplan / M. Iwen
Crane Scheduling Using Tabu Search / A. Lim ; B. Rodrigues ; F. Xiao ; Y. Zhu
An Intelligent Brokering System to Support Multi-Agent Web-Based 4th-Party Logistics / H. C. Lau ; Y. G. Goh
Intelligent Real-Time Systems / Session 2-C:
A TMO Based Approach to Structuring Real-Time Agents / K. H. Kim
Selection Process of Intelligent Decision Support Tool for a Real-Time Monitoring System / H. Vafaie ; M. Shaughnessy ; T. Bethem ; J. Burton
Diagnosis of Component Failures in the Space Shuttle Main Engines Using Bayesian Belief Networks: A Feasibility Study / E. Liu
Dynamic Refinement of Classification Rules / K. K. Manchi ; X. Wu
Planning and Scheduling II / Session 3-A:
DSatz: A Directional SAT Solver for Planning
Maintenance Scheduling of Oil Storage Tanks Using Tabu-Based Genetic Algorithm / S.-T. Li ; C.-K. Ting ; C. Lee ; S.-C. Chen
Transportation Modeling: An Artificial Life Approach / P. Lucic ; D. Teodorovic
Adjusted Network Flow for the Shelf-Space Allocation Problem / X. Zhang
Machine Learning II / Session 3-B:
Error-Based Pruning of Decision Trees Grown on Very Large Data Sets Can Work! / L. O. Hall ; R. Collins ; K. W. Bowyer ; R. Banfield
Improving the Orthogonal Range Search k-Windows Algorithm / P. Alevizos ; B. Boutsinas ; D. Tasoulis ; M. N. Vrahatis
Machine Learning for Software Engineering: Case Studies in Software Reuse / J. S. Di Stefano
Protein Secondary Structure Prediction with Bayesian Learning Method / P.-L. Wang
Logic and Reasoning / Session 3-C:
Software Measurement Data Analysis Using Memory-Based Reasoning / R. A. Paul ; V. U. B. Challagula
Object-Based Representation and Classification of Spatial Structures and Relations / F. Le Ber ; A. Napoli
Automatic Analysis of Composite Solvers / E. Petrov ; E. Monfroy
A Tool for Belief Updating over Time in Bayesian Networks / J. Yang ; C. K. Mohan ; K. G. Mehrotra ; P. K. Varshney
Natural Language Processing / Session 4-A:
Combining Finite State Automata and a Greedy Learning Algorithm to Determine the Syntactic Roles of Commas / S. van Delden ; F. Gomez
Automated Diagnosis of Non-Native English Speaker's Natural Language / R. Fox ; M. Bowden
Logic Grammars for Diagnosis and Repair / H. Christiansen ; V. Dahl
Reasoning on Aspectual-Temporal Information in French within Conceptual Graphs / T. Amghar ; D. Battistelli ; T. Charnois
Multimedia and Image Processing / Session 4-B:
Word Endpoint Correction Techniques for a Text-to-Multimedia Composition System / K. Turkowski ; B. Hamidzadeh ; R. Ward
Projecting Our Presence in Space and in Time / D. E. Cooke
A Clustering Based Approach to Efficient Image Retrieval / R. Zhang ; Z. Zhang
Active Tracking and Cloning of Facial Expressions Using Spatio-Temporal Information / L. Yin ; A. Basu ; M. T. Yourst
Detecting Similarities and Differences in Images Using the PFF and LGG Approaches / N. Bourbakis
Data Mining and Knowledge Discovery II / Session 4-C:
Software Quality Classification Modeling Using the SPRINT Decision Tree Algorithm / T. M. Khoshgoftaar ; N. Seliya
TimeSleuth: A Tool for Discovering Causal and Temporal Rules / K. Karimi ; H. J. Hamilton
Mining Characteristic Rules for Understanding Simulation Data / J. Zhang ; J. Bala ; P. S. Barry ; T. E. Meyer ; S. K. Johnson
A Framework for Adaptive Mail Classification / G. Manco ; E. Masciari ; A. Tagarelli
Panel Session AI Directions
Internet Software / Session 5-A:
Building Secure Survivable Semantic Webs / B. Thuraisingham
Automatic Repairing of Web Wrappers by Combining Redundant Views / B. Chidlovskii
NeuroWeb: An Internet-Based Neural Network Simulator / E. Schikuta
An Agent-Based Approach to Inference Prevention in Distributed Database Systems / J. Tracy ; L. W. Chang ; I. S. Moskowitz
Planning and Scheduling III / Session 5-B:
Interactive Verification of Game Design and Playing Strategies / D. Kalles ; E. Ntoutsi
Metric Estimation via a Fuzzy Grade-of-Membership Model Applied to Analysis of Business Opportunities / B. G. Talbot ; B. B. Whitehead ; L. M. Talbot
Local Search Algorithm to Improve the Local Search / M. Tounsi ; P. David
Multi-Agents / Session 5-C:
The Semantics of Proactive Communication Acts among Team-Based Agents / J. Yen ; X. Fan
Agent Warehouse: A New Paradigm for Mobile Agent Deployment / J. Sim
Cooperative Co-Learning: A Model-Based Approach for Solving Multi Agent Reinforcement Problems / B. Scherrer ; F. Charpillet
Reinforcement Learning in Multiagent Systems: A Modular Fuzzy Approach with Internal Model Capabilities / M. Kaya ; R. Alhajj
Neural Network and Applications / Session 6-A:
Hiding a Logo Watermark into the Multiwavelet Domain Using Neural Networks / N. Wang ; F. Xiong
Function Approximation Using Robust Wavelet Neural Networks
A Neural-Network Approach to Modeling and Analysis / C.-Y. Chen ; C.-W. Chen ; W.-L. Chiang ; J.-D. Hwang
A Trace-Scaling Agent for Parallel Application Tracing / F. Freitag ; J. Caubet ; J. Labarta
A Neural Network-Based Image Segmentation Tool for Color Images / D. Goldman ; M. Yang
Software Engineering and Knowledge Sharing / Session 6-B:
Study for Fusion of Different Sources to Determine Relevance
A Genetic Testing Framework for Digital Integrated Circuits / X. Yu ; A. Fin ; F. Fummi ; E. M. Rudnick
EER-ConcepTool: A "Reasonable" Environment for Schema and Ontology Sharing / H. Meisel ; E. Compatangelo
Fusing Cooperative Technical-Specification Knowledge Components / E. Gregoire
Evolution and Evaluation of Software Quality Models / C. V. Ramamoorthy
Author Index
Message from the Program Chair
Organizing Committee
Program Committee
10.

図書

図書
sponsored by ACM SigSoft and IEEE CS
出版情報: New York : Association for Computing Machinery, c2008  xii, 363p. ; 28cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼