close
1.

図書
図書
1. Proceedings, 14th IEEE International Conference on Tools with Artificial Intelligence : ICTAI 2002 : 4-6 November 2002, Washington, DC
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
2.

図書
図書
2. Proceedings, 13th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2001, November 7-9, 2001 Dallas, Texas
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
3.

図書
図書
3. Proceedings, 12th IEEE Internationals Conference on Tools with Artificial Intelligence, ICTAI, November 13-15, 2000 Vancouver, British Columbia, Canada (: case ; : microfiche)
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
4.

図書
図書
4. SPLC (2006 (10th) - 2008 (12th))
sponsored by Software Engineering Institute ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2006-  v ; 27-30 cm
所蔵情報: loading…
5.

図書
図書
5. Proceedings, IEEE Fifth International Symposium on Multimedia Software Engineering : Taichung, Taiwan, December 10-12, 2003
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.

図書
図書
6. Pproceedings, Eleventh Annual International Workshop on Software Technology and Engineering Practice (STEP 2003) : Amsterdam, the Netherlands, September 9-21, 2003
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.

図書
図書
7. Proceedings, 17th IEEE International Conference on Tools with Artificial Intelligence : ICTAI 2005 : 14-16 November 2005, Hong Kong, China
[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…
8.

図書
図書
8. 2003 International Symposium on Empirical Software Engineering, ISESE 2003 : 30 September - 1 October 2003, Villa Mondragone, University of Rome "Tor Vergata", Roman Castles (Rome), Italy : proceedings
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
9.

図書
図書
9. Proceedings, 16th IEEE International Conference on Tools with Artificial Intelligence : ICTAI 2004 : 15-17 November 2004, Boca Raton, Florida
[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
10.

図書
図書
10. ESEM '08 : proceedings of the 2008 ACM-IEEE International Symposium on Empirical Software and Measurement : Kaiserslautern, Germany, Octocer 9-10, 2008
sponsored by ACM SigSoft and IEEE CS
出版情報: New York : Association for Computing Machinery, c2008  xii, 363p. ; 28cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼