close
1.

図書
図書
1. IEEE/ACM International Conference on Computer Aided Design, ICCAD-2001, a conference for the EE CAD professional, November 4-8, 2001, Doubletree Hotel, San Jose, CA (: softbound ; : microfiche)
Sponsored by IEEE Circuits & Systems Society, IEEE Computer Society, ACM/SIGDA
出版情報: Piscataway, NJ : IEEE , New York : Association for Computing Machinery, c2001  xxv, 656 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Proceedings : 12th International Symposium on Software Reliability Engineering : ISSRE 2001, 27-30 November, Hong Kong, China (: case)
sponsored by IEEE Computer Society, IEEE Reliability Society ; in cooperation with the Chinese University of Hong Kong ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xiii, 363 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Forword
Organizers
Reviewers
Component Based Systems / Session 1A.：
An Approach to Higher Reliability Using Software Components / H. Jin ; P. Santhanam
A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems / H. Singh ; V. Cortellessa ; B. Cukic ; E. Gunel ; V. Bharadwaj
Comparison of Architecture-Based Software Reliability Models / K. Goseva-Popstojanova ; A. Mathur ; K. Trivedi
Testing GUI Software / Session 1B.：
Finite-State Testing and Analysis of Graphical User Interfaces / F. Belli
Incorporating Software Reliability Engineering into the Test Process for an Extensive GUI-Based Network Management System / D. Donovan ; C. Dislis ; R. Murphy ; S. Unger ; C. Kenneally ; J. Young ; L. Sheehan
User-Based Testing of GUI Sequences and Their Interactions / L. White ; H. Almezen ; N. Alzeidi
Software Fault Models and Prediction / Session 2A.：
An Application of Zero-Inflated Poisson Regression for Software Fault Prediction / T. Khoshgoftaar ; K. Gao ; R. Szabo
A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications / A. Ibrahim ; H. Ammar ; S. Yacoub
A Fault Model for Subtype Inheritance and Polymorphism / J. Offutt ; R. Alexander ; Y. Wu ; Q. Xiao ; C. Hutchinson
Reliable Wireless and Mobile Systems / Session 2B.：
Modeling and Analysis of Using Memory Management Unit to Improve Software Reliability / S.-J. Chang ; P. Kapauan
Modeling and Verifying Strong Cache Consistency for Mobile Data Access / J. Wei ; S.-C. Cheung ; H. Zhou ; X. Wang ; J. Li ; Y.-l. Feng
Recovery Proxy for Wireless Applications / B. Yao ; W. Fuchs
Fault Tolerant Distributed Software Systems / Session 3A.：
Estimation of Software Diversity by Fault Simulation and Failure Searching / L. Chen ; J. May ; G. Hughes
Fault Tolerant Distributed Information Systems / J. Knight ; M. Elder
Increasing the Reliability of Three-Tier Applications / W. Zhao ; L. Moser ; P. Melliar-Smith
Low-Cost Flexible Software Fault Tolerance for Distributed Computing / A. Tai ; K. Tso ; W. Sanders ; L. Alkalai ; S. Chau
Software Reliability Growth Modeling / Session 3B.：
A Simulation Based Trainer for Software Reliability Modeling / E. Jones ; A. Rembert
Analysis of Hypergeometric Distribution Software Reliability Model / T. Dohi ; N. Wakana ; S. Osaki
Discrete Equations and Software Reliability Growth Models / D. Satoh ; S. Yamada
Modelling the Fault Correction Process / N. Schneidewind
Testing Internet and Multimedia Systems / Session 4A.：
An Auto-Generating Tool for the MPEG-2 Formatted Test Data: ATEP / B. Choi ; S. Yeum ; T. Gwak ; B. Min
Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis / S. Lee
Toward Generic Timing Tests for Distributed Multimedia Software Systems / S. Cheung ; S. Chanson ; Z. Xu
Formal Approaches / Session 4B.：
Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication / J. Zhou ; K.-c. Tai
Feedback Control of the Software Test Process Through Measurements of Software Reliability / J. Cangussu ; R. DeCarlo
Tool Support for Production Use of Formal Techniques / K. Hanks ; S. Travis
Software Testing Experiments / Session 5A.：
An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study / P. Chevalley ; P. Thevenod-Fosse
Evaluating the Software Test Strategy for the 2000 Sydney Olympics / K. Bassin ; S. Biyani
Coverage and Testing Strategies / Session 5B.：
Coverage Analysis for Message Flows / N. Aizenbud-Reshef
Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles / L. Briand ; Y. Labiche ; Y. Wang
Software Architecture / Session 6A.：
Automated and Portable Native Code Isolation / G. Czajkowski ; L. Daynes ; M. Wolczko
Deriving Tests From Software Architectures / Z. Jin
Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs / F. Bastani ; I.-L. Yen ; K. Sung ; J. Linn ; K. Rao
Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability / B. Baudry ; Y. Sunye ; J.-M. Jezequel
Measurement Field Data and Experience / Session 6B.：
Accounting for Realities When Estimating the Field Failure Rate of Software / D. Jeske ; X. Zhang ; L. Pham
Defect Content Estimation for Two Reviewers / C. Wohlin ; H. Petersson ; M. Host ; P. Runeson
Measurement-Based Availability of Unix Systems in a Distributed Environment / C. Simache ; M. Kaaniche
Quantitative Evaluation and Operative Usage of Interactive Systems / A. Pasquini ; A. Rizzo ; L. Save ; M. Sujan
Author Index
Forword
Organizers
Reviewers
3.

図書
図書
3. Proceedings : ninth International Conference on Network Protocols, ICNP 2001, 11-14 November 2001, Riverside, California, USA (: case)
sponsored by IEEE, IEEE Computer Society, IEEE Computer Society, TCSE
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xii, 351 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Co-Chairs
Committees
Reviewers
Keynote
Future of the Internet / Randy Katz (UC-Berkeley)
Wireless / Session 1：
Distributed Token Circulation on Mobile Ad Hoc Networks / N. Malpani ; N. Vaidya ; J. Welch
On-Demand Multi Path Distance Vector Routing in Ad Hoc Networks / M. Marina ; S. Das
Conserving Transmission Power in Wireless Ad Hoc Networks / J. Gomez ; A. Campbell ; M. Naghshineh ; C. Bisdikian
Recursive Position Estimation in Sensor Networks / J. Albowicz ; A. Chen ; L. Zhang
Routing / Session 2：
Adapting to Route-Demand and Mobility (ARM) in Ad Hoc Network Routing / S. Ahn ; A. Shankar
An Experimental Analysis of BGP Convergence Time / T. Griffin ; B. Premore
Quality of Service Routing Algorithms for Bandwidth-Delay Constrained Applications / Y. Yang ; J. Muppala ; S. Chanson
Routing Bandwidth Guaranteed Paths with Restoration in Label Switched Networks / S. Norden ; M. Buddhikot ; M. Waldvogel ; S. Suri
Multicast / Session 3：
Source Filtering in IP Multicast Routing / C.-J. Kao ; D.-N. Yang ; W. Liao
Making QoS Aware Multicast Scalable in Terms of Link State Advertisement / T. Kato ; S. Ueno ; S. Mukaiyama ; K. Suzuki
Channelization Problem in Large Scale Data Dissemination / M. Adler ; Z. Ge ; J. Kurose ; D. Towsley ; S. Zabele
An Efficient QoS Routing Algorithm for Quorumcast Communication / B. Wang ; J. Hou
DiffServ / Session 4：
Dynamic Class Selection: From Relative Differentiation to Absolute QoS / C. Dovrolis ; P. Ramanathan
Fundamental Trade-offs in Aggregate Packet Scheduling / Z.-L. Zhang ; Z. Duan ; Y. Hou
A Memory-Based Approach for a TCP-Friendly Traffic Conditioner in DiffServ Networks / K. Kumar ; A. Ananda ; L. Jacob
Drop Strategies and Loss-Rate Differentiation / U. Bodin ; O. Schelen
TCP / Session 5：
TCP-Friendly SIMD Congestion Control and Its Convergence Behavior / S. Jin ; L. Guo ; I. Matta ; A. Bestavros
Transport Level Mechanisms for Bandwidth Aggregation on Mobile Hosts / L. Magalhaes ; R. Kravets
TCP over Load-Reactive Links / R. Krishnan ; J. Sterbenz
The War between Mice and Elephants
End of the End-to-End Argument? / Panel 1：
QoS / Session 6：
Controlling High-Bandwidth Flows at the Congested Router / R. Mahajan ; S. Floyd ; D. Wetherall
Optimal Admission Control Algorithms for Scheduling Burst Data in CDMA Multimedia Systems / Y.-K. Kwok ; V. Lau
Providing Quality of Service Guarantees without Per-Flow State / J. Cobb
Comparative Evaluation of Software Implementation of Layer-4 Packet Classification Schemes / V. Sahasranaman
Security / Session 7：
Using Dynamic Buffer Limiting to Protect against Belligerent Flows in High-Speed Networks / F. Ertemalp ; D. Cheriton ; A. Bechtolsheim
Fast Firewall Implementations for Software and Hardware-Based Routers / L. Qiu ; G. Varghese
Providing Robust and Ubiquitous Security Support for Mobile Ad Hoc Networks / J. Kong ; P. Zerfos ; H. Luo ; S. Lu
Scalable Secure Group Communication over IP Multicast / S. Banerjee ; B. Bhattacharjee
Servers / Session 8：
Responder Anonymity and Anonymous Peer-to-Peer File Sharing / V. Scarlata ; B. Levine ; C. Shields
Scalable Socket Buffer Tuning for High-Performance Web Servers / G. Hasegawa ; T. Terai ; T. Okamoto ; M. Murata
Evaluation of a Novel Two-Step Server Selection Metric / K. Hanna ; N. Natarajan
Finding Close Friends on the Internet / C. Kommareddy ; N. Shankar
Impact of Peer-to-Peer Networking / Panel 2：
Traffic Management / Session 9：
Internet User Access via Dial-up Networks--Traffic Characterization and Statistics / R. Hutchins ; E. Zegura ; A. Liashenko ; P. Enslow, Jr.
Fast and Robust Signaling Overload Control / S. Kasera ; J. Pinheiro ; C. Loader ; M. Karaul ; A. Hari ; T. LaPorta
Robust Congestion Signaling / D. Ely ; N. Spring ; S. Savage ; T. Anderson
Second-Order Rate-Control Based Transport Protocols / X. Zhang ; K. Shin
Author Index
Message from the General Chair
Message from the Program Co-Chairs
Committees
4.

図書
図書
4. Proceedings Computer Animation 2001 : the Fourteenth Conference on Computer Animation, Seoul, Korea November 7-8, 2001
edited by Hyeong-Seok Ko, organized by Graphics & Media Lab., Collage of Engineering at Seoul National University ; sponsored by Korea Computer Graphics Society ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  x, 261 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Proceedings : 31st IEEE International Symposium on Multiple-Valued Logic, May 22-24, 2001, Warsaw, Poland
sponsored by IEEE Computer Society Technical Committee on Multiple-Valued Logic, Institute of Computer Science Polish Academy of Sciences
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xi, 380 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Symposium Organizers and Program Committee
Referees
Invited Address / Session 1：
Algebras for Hazard Detection / J. Brzozowski ; Z. Esik ; Y. Iland
Circuits I / Session 2a：
A New Improved Cost-Table-Based Technique for Synthesis of 4-Valued Unary Functions Implemented Using Current-Mode CMOS Circuits / M. Abd-El-Barr ; A. Al-Mutawa
Dual-Rail Multiple-Valued Current-Mode VLSI with Biasing Current Sources / T. Ike ; T. Hanyu ; M. Kameyama
Realization of NMAX and NMIN Functions with Multi-Valued Voltage Comparators / M. Inaba ; K. Tanno ; O. Ishizuka
Design and Verification of Systems / Session 2b：
An Application of Multiple-Valued Logic to Test Case Generation for Software System Functional Testing / M. Hu
Spectral Techniques in Binary and Multiple-Valued Switching Theory / M. Karpovsky ; R. Stankovic ; C. Moraga
Tunnelling Diode Technology / W. Prost ; U. Auer ; F-J. Tegude ; C. Pacha ; K. Goser ; R. Duschl ; K. Eberl ; O. SchmidtSession 3：
Circuits II / Session 4a：
Power Efficient Inter-Module Communication for Digit-Serial DSP Architectures in Deep-Submicron Technology / I. Ben Dhaou ; E. Dubrova ; H. Tenhunen
A 4-Digit CMOS Quaternary to Analog Converter with Current Switch and Neuron MOS Down-Literal Circuit / S. Han ; Y. Choi ; H. Kim
Fuzzy Logics and Their Applications I / Session 4b：
On Some Classes of Fuzzy Information Relations / A. Radzikowska ; E. Kerre
On Complete Residuated Many-Valued Logics with T-Norm Conjunction / F. Esteva ; L. Godo
Circuits III / Session 5a：
A Three-Valued D-Flip-Flop and Shift Register Using Multiple-Junction Surface Tunnel Transistors / T. Uemura ; T. Baba
Flash Analog-to-Digital Converter Using Resonant-Tunneling Multiple-Valued Circuits / T. Waho ; K. Hattori ; Y. Takamatsu
The Use of Arithmetic Operators in a Self-Restored Current-Mode CMOS Multiple-Valued Logic Design Architecture / H. Teng ; R. Bolton
Fuzzy Logics and Their Applications II / Session 5b：
Evaluation of Inconsistency in a 2-Way Fuzzy Adaptive System Using Shadowed Sets / E. Gurkan ; A. Erkmen ; I. Erkmen
Identification of Incompletely Specified Fuzzy Unate Logic Function / H. Kikuchi
Representation Theorems and the Semantics of (Semi)Lattice-Based Logics / V. Sofronie-StokkermansSession 6：
Tutorial / Session 7：
Tutorial: Complexity of Many-Valued Logics / R. Hahnle
Exploiting Polarity in Multiple-Valued Inference Systems / Z. StachniakSession 8：
Logic Design I / Session 9a：
Multiple-Valued Galois Field S/D Trees for GFSOP Minimization and Their Complexity / A. Al-Rabadi ; M. Perkowski
Multiple-Valued Mask-Programmable Logic Array Using One-Transistor Universal-Literal Circuits / K. Shimabukuro ; C. Zukeran
Decomposition of Multi-Valued Functions into Min- and Max-Gates / C. Lang ; B. Steinbach
Automated Reasoning and Complexity I / Session 9b：
Cut-Elimination in a Sequents-of-Relations Calculus for Godel Logic / M. Baaz ; A. Ciabattoni ; C. Fermuller
Model Checking with Multi-Valued Temporal Logics / M. Chechik ; S. Easterbrook ; B. Devereux
Automated Reasoning with Ordinary Assertions and Default Assumptions / D. Van Heule ; A. Hoogewijs
Logic Design II / Session 10a：
Information Theory Method for Flexible Network Synthesis / V. Cheushev ; S. Yanushkevich ; V. Shmerko ; J. Kolodziejczyk
Compact SOP Representations for Multiple-Output Functions: An Encoding Method Using Multiple-Valued Logic / T. Sasao
Two-Stage Exact Detection of Symmetries / A. Tomaszewska ; P. Dziurzanski
Automated Reasoning and Complexity II / Session 10b：
A Modular Reduction of Regular Logic to Classical Logic / R. Bejar ; F. Manya
Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics
Polynomial-Time Algorithms for Verification of Some Properties of k-Valued Functions Represented by Polynomials / S. Selezneva
Challenge of a Multiple-Valued Technology in Recent Deep-Submicron VLSI / Session 11：
Computing Paradigms / Session 12a：
A Model of Reaction-Diffusion Cellular Automata for Massively Parallel Molecular Computing / M. Hiratsuka ; T. Aoki ; T. Higuchi
Synthesis of Multiple-Valued Arithmetic Circuits Using Evolutionary Graph Generation / M. Natsui
An Axiomatization of Generalized Entropy of Partitions / D. Simovici ; S. Jaroszewicz
MV Logics and Algebras I / Session 12b：
Many Valued Paraconsistent Logic / C. Morgan
On Logical Fiberings and Decomposition of Many-Valued Operations: A Brief Survey / J. Pfalzgraf
Relations between Clones and Full Monoids / H. Machida ; M. Miyakawa ; I. Rosenberg
Classical Gentzen-Type Methods in Propositional Many-Valued Logics / A. AvronSession 13：
Decision Diagrams / Session 14a：
Selection of Efficient Re-Ordering Heuristics for MDD Construction / F. Schmiedle ; W. Gunther ; R. Drechsler
Bit-Level and Word-Level Polynomial Expressions for Functions in Fibonacci Interconnection Topologies / M. Stankovic ; J. Astola ; K. Egiazarian
Design of Haar Wavelet Transforms and Haar Spectral Transform Decision Diagrams for Multiple-Valued Functions
Fuzzy Logics and Set Theories / Session 14b：
A Set Theory within Fuzzy Logic / P. Hajek ; Z. Hanikova
On a Kleenean Extension of Fuzzy Measure / T. Araki ; M. Mukaidono ; F. Yamamoto
On Axiomatic Characterization of Fuzzy Approximation Operators II. The Rough Fuzzy Set Based Case / H. Thiele
Neural Networks / Session 15a：
A Functional Manipulation for Improving Tolerance against Multiple-Valued Weight Faults of Feedforward Neural Networks / N. Kamiura ; Y. Taniguchi ; N. Matsui
Logic Circuit Diagnosis by Using Neural Networks / H. Tatsumi ; Y. Murai ; S. Tokumasu
The Designing and Training of a Fuzzy Neural Hamming Classifier / Q. Hua ; Q-L. Zhen
MV Logics and Algebras II / Session 15b：
Weierstrass Approximations by Lukasiewicz Formulas with One Quantified Variable / S. Aguzzoli ; D. Mundici
Composing Submonads / P. Eklund ; M. Galan ; J. Medina ; M. Ojeda-Aciego ; A. Valverde
A Method of Uncertainty Reasoning by Using Information / J. Ma ; J. Liu ; Y. Xu
Author Index
Preface
Symposium Organizers and Program Committee
Referees
6.

図書
図書
6. Proceedings : IEEE INFOCOM 2001 : the conference on computer communications : twentieth annual joint conference of the IEEE Computer and Communications Societies : twenty years into the communications odyssey : 22-26 April 2001, Hilton Anchorage Hotel, Anchorage, Alaska USA (: set : soft - v. 3 : soft.)
[sponsored by IEEE Computer Society, IEEE Communications Society]
出版情報: Piscataway, N.J. : IEEE Service Center, c2001  3 v. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. Conference Proceedings of the 2001 IEEE International Performance, Computing, and Communications Conference, Phoenix, Arizona, U.S.A., April 4-6, 2001 (: soft)
edited by Horst Clausen ... [et al.] ; sponsored by IEEE Communications Society, IEEE Computer Society, IEEE Computer Society Technical Committee on the Internet
出版情報: Piscataway, N.J. : IEEE Service Center, c2001  x, 386 p. ; 28 cm
所蔵情報: loading…
8.

図書
図書
8. Proceedings, eighth annual IEEE International Conference and Workshop on the Engineering of Computer based Systems, ECBS 2001, April 17-20, 2001, Washington, D.C., USA
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  vii, 359 p. ; 28cm
所蔵情報: loading…
9.

図書
図書
9. Proceedings : 34th annual Simulation Symposium (SS 2001), Seattle, Washington, 22-26 April 2001
sponsored by the Society for Computer Simulation International
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xi, 341 p. ; 28 cm
所蔵情報: loading…
10.

図書
図書
10. 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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼