close
1.

電子ブック
ＥＢ
1. R-Trees: Theory and Applications
Lakhmi Jain, Yannis Manolopoulos, Xindong Wu
出版情報: Springer eBooks Computer Science , Springer London, 2006
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Intelligent Spaces
A. J. Sammes, Alan Steventon, Steve Wright
出版情報: Springer eBooks Computer Science , Springer London, 2006
所蔵情報: loading…
目次情報: 続きを見る
Contributors
Introduction
Intelligent Spaces - The Vision, the Opportunities, and the Barriers / S Wright ; A Steventon1：
A Vision of Intelligent Spaces / 1.1：
Applications / 1.2：
Technology Capabilities / 1.3：
Roadmap to the Vision / 1.4：
Research Challenges / 1.5：
Summary / 1.6：
The Socio-Economic Impact of Pervasive Computing - Intelligent Spaces and the Organisation of Business / M H Lyons ; R Ellis ; J M M Potter ; D A M Holm ; R Venousiou2：
Commercial Opportunities / 2.1：
New Organisational Forms - The Emerging Value Nets / 2.3：
Creating the Adaptive Company / 2.4：
Changing the Way We Work / 2.5：
No Pervasive Computing Without Intelligent Systems / S G Thompson ; B Azvine2.6：
Needs Identification / 3.1：
Problems from Ubiquitous Computing - Solutions from Intelligent Systems Research / 3.3：
Component Understandability - Soft Computing / 3.4：
Component Adaptivity - Machine Learning / 3.5：
The Supply Chain / D Luckett3.6：
Introduction and Background to RFID / 4.1：
Retail/Supply Chain / 4.2：
What About the Consumer? / 4.3：
Care in the Community / S Brown ; N Hine ; A Sixsmith ; P Garner4.4：
The Concept of 'Well-Being' / 5.1：
How to Measure Changes in Well-Being / 5.3：
System Design, Deployment, and Service Issues / 5.4：
Summary and Key Technical Challenges / 5.5：
Pervasive Home Environments / P Bull ; R Limb ; R Payne6：
Vision / 6.1：
Technical Challenges / 6.3：
Traffimatics - Intelligent Co-operative Vehicle Highway Systems / G Bilchev ; D Marston ; N Hristov ; E Peytchev ; N Wall6.4：
Vision of Intelligent Co-operative Vehicle Highway Systems / 7.1：
Vision Implementation / 7.3：
Market Opportunities and Barriers / 7.4：
Mixed-Reality Applications in Urban Environments / J Bulman ; B Crabtree ; A Gower ; A Oldroyd ; J Sutton7.5：
3D Virtual-Reality and Mixed-Reality Scene Rendering / 8.1：
Pervasive Gaming - Gaming in Urban Environments / 8.3：
Workforce Management Application / 8.4：
Military Operations in Urban Environments / 8.5：
Future / 8.6：
A Sensor Network for Glaciers / K Martinez ; A Riddoch ; J Hart ; R Ong8.7：
The Glacsweb Project / 9.1：
System Architecture Version 2 / 9.3：
Example Results / 9.4：
Summary and Future Work / 9.5：
Co-operation in the Digital Age - Engendering Trust in Electronic Environments / A Seleznyov ; M O Ahmed ; S Hailes10：
Security Issues in Ubicomp / 10.1：
Decentralised Trust Management / 10.3：
ADAM / 10.4：
Maintaining Privacy in Pervasive Computing - Enabling Acceptance of Sensor-based Services / A Soppera ; T Burbridge10.5：
Emerging Pervasive Computing - Opportunities and Threats / 11.1：
Understanding Privacy in Pervasive Computing / 11.3：
Technical Approaches to Privacy / 11.4：
RFID Security and Privacy - Issues, Standards, and Solutions / D Molnar11.5：
RFID Tags Technology - An Overview / 12.1：
Privacy as a Multilayer Problem / 12.3：
Transfer of Ownership at the Application Level / 12.5：
Ambient Technology - Now You See It, Now You Don't / B MacDonald12.6：
Living in a Moore's Law World / 13.1：
Hardware Technology Influencers and Issues / 13.3：
The Key Hardware Technologies for Enabling iSpaces / 13.4：
Integrated Sensor Networks for Monitoring the Health and Well-Being of Vulnerable Individuals / D J T Heatley ; R S Kalawsky ; I Neild ; P A Bowman13.5：
Importance of Well-Being Care Provision / 14.1：
Activities of Daily Living / 14.3：
Ethical Considerations / 14.4：
Sensing Activities of Daily Living / 14.5：
Multiple Occupancy Issues / 14.6：
Sensor Fusion / 14.7：
Sensor Networks / 14.8：
Experimental Work / 14.9：
Segmentation and Tracking of Multiple Moving Objects for Intelligent Video Analysis / L-Q Xu ; J L Landabaso ; B Lei14.10：
Moving Objects Segmentation with Shadow Removal / 15.1：
Multi-Object Tracking Using Temporal Templates / 15.3：
Experimental Results / 15.4：
An Attention-based Approach to Content-based Image Retrieval / A Bamidele ; F W M Stentiford ; J Morphett15.5：
State of the Art / 16.1：
Current Research / 16.3：
Results / 16.4：
Discussion / 16.5：
Eye Tracking as a New Interface for Image Retrieval / O K Oyekoya16.6：
Current Research Objectives / 17.1：
The Implications of Pervasive Computing on Network Design / R Briscoe17.4：
Architecture / 18.1：
Component Services / 18.3：
Business Implications / 18.4：
Autonomic Computing for Pervasive ICT-A Whole-System Perspective / M Shackleton ; F Saffre ; R Tateson ; E Bonsma ; C Roadknight18.5：
Illustrative Example Systems / 19.1：
Discussion of Example Systems / 19.3：
The Need for 'Complex Systems' Theory and Modelling / 19.4：
Scale-Free Topology for Pervasive Networks / H Jovanovic ; C Hoile ; S Nicolas19.5：
Methodology / 20.1：
NEXUS-Resilient Intelligent Middleware / N Kaveh ; R Ghanea Hercock20.3：
Motivating Scenario / 21.1：
NEXUS Architecture / 21.3：
NEXUS Prototype / 21.4：
Related Work / 21.5：
Intelligent Data Analysis for Detecting Behaviour Patterns in iSpaces / D D Nauck ; B Majeed ; B-S Lee21.6：
Approaches to iSpaces / 22.1：
Intelligent Data Analysis in Sensor Networks / 22.3：
Detecting Unusual Patterns / 22.4：
xAssist-Inferring User Goals from Observed Actions / J Allen ; S Appleby ; G Churcher22.5：
Reasoning and Action Selection / 23.1：
xAssist Framework / 23.3：
Example xAssist Application / 23.4：
Programming iSpaces-A Tale of Two Paradigms / V Callaghan ; M Colley ; H Hagras ; J Chin ; F Doctor ; G Clarke23.5：
Degrees of Intelligence and Autonomy / 24.1：
The iDorm / 24.3：
Embedded Agents / 24.4：
Embedded-Agent-based Approaches / 24.5：
An End-User Programming-based Approach / 24.6：
Summary and Future Directions / 24.7：
Acronyms
Index
Contributors
Introduction
Intelligent Spaces - The Vision, the Opportunities, and the Barriers / S Wright ; A Steventon1：
3.

電子ブック
ＥＢ
3. Software Configuration Management Using Vesta
David Gries, Allan Heydon, Clark Allan Heydon, Fred B. Schneider
出版情報: Springer eBooks Computer Science , Springer US, 2006
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introducing Vesta / Part I：
Introduction / 1：
Some Scenarios / 1.1：
The Configuration Management Challenge / 1.2：
The Vesta Response / 1.3：
Essential Background / 2：
The Unix File System / 2.1：
Naming Files and Directories / 2.1.1：
Mount Points / 2.1.2：
Links / 2.1.3：
Properties of Files / 2.1.4：
Unix Processes / 2.2：
The Unix Shell / 2.3：
The Unix Programming Environment / 2.4：
Make / 2.5：
The Architecture of Vesta / 3：
System Components / 3.1：
Source Management Components / 3.1.1：
Build Components / 3.1.2：
Storage Components / 3.1.3：
Models and Modularity / 3.1.4：
Vesta's Core Properties / 3.2：
The User's View of Vesta / Part II：
Managing Sources and Versions / 4：
Names and Versions / 4.1：
The Source Name Space / 4.1.1：
Versioning / 4.1.2：
Naming Files and Packages / 4.1.3：
The Development Cycle / 4.2：
The Outer Loop / 4.2.1：
The Inner Loop / 4.2.2：
Detailed Operation of the Repository Tools / 4.2.3：
Version Control Alternatives / 4.2.4：
Additional Repository Tools / 4.2.5：
Mutable Files and Directories / 4.2.6：
Replication / 4.3：
Global Name Space / 4.3.1：
A Replication Example / 4.3.2：
The Replicator / 4.3.3：
Cross-Repository Check-out / 4.3.4：
Repository Metadata / 4.4：
Mutable Attributes / 4.4.1：
Access Control / 4.4.2：
Metadata and Replication / 4.4.3：
System Description Language / 5：
Motivation / 5.1：
Language Highlights / 5.2：
The Environment Parameter / 5.2.1：
Bindings / 5.2.2：
Tool Encapsulation / 5.2.3：
Closures / 5.2.4：
Imports / 5.2.5：
Building Systems in Vesta / 6：
The Organization of System Models / 6.1：
Hierarchies of System Models / 6.2：
Bridges and the Standard Environment / 6.2.1：
Library Models / 6.2.2：
Application Models / 6.2.3：
Putting It All Together / 6.2.4：
Control Panel Models / 6.2.5：
Customizing the Build Process / 6.3：
Handling Large Scale Software / 6.4：
Inside Vesta / Part III：
Inside the Repository / 7：
Support for Evaluation and Caching / 7.1：
Derived Files and Shortids / 7.1.1：
Evaluator Directories and Volatile Directories / 7.1.2：
Fingerprints / 7.1.3：
Inside the Repository Implementation / 7.2：
Directory Implementation / 7.2.1：
Shortids and Files / 7.2.2：
Longids / 7.2.3：
Copy-on-Write / 7.2.4：
NFS Interface / 7.2.5：
RPC Interfaces / 7.2.6：
Implementing Replication / 7.3：
Mastership / 7.3.1：
Agreement / 7.3.2：
Agreement-Preserving Primitives / 7.3.3：
Propagating Attributes / 7.3.4：
Incremental Building / 8：
Overview of Function Caching / 8.1：
Caching and Dynamic Dependencies / 8.2：
The Function Cache Interface / 8.3：
Computing Fine-Grained Dependencies / 8.4：
Representing Dependencies / 8.4.1：
Caching External Tool Invocations / 8.4.2：
Caching User-Defined Function Evaluations / 8.4.3：
Caching System Model Evaluations: A Special Case / 8.4.4：
Error Handling / 8.5：
Function Cache Implementation / 8.6：
Cache Lookup / 8.6.1：
Cache Entry Storage / 8.6.2：
Synchronization / 8.6.3：
Evaluation and Caching in Action / 8.7：
Scratch Build of the Standard Environment / 8.7.1：
Scratch Build of the Vesta Umbrella Library / 8.7.2：
Scratch and Incremental Builds of the Evaluator / 8.7.3：
Weeder / 9：
How Deletion is Specified / 9.1：
Implementation of the Weeder / 9.2：
The Function Call Graph / 9.2.1：
Concurrent Weeding / 9.2.2：
Assessing Vesta / Part IV：
Competing Systems / 10：
Loosely Connected Configuration Management Tools / 10.1：
RCS / 10.1.1：
CVS / 10.1.2：
Integrated Configuration Management Systems / 10.1.3：
DSEE / 10.2.1：
ClearCASE / 10.2.2：
Other Systems / 10.3：
Vesta System Performance / 11：
Platform Configuration / 11.1：
Overall System Performance / 11.2：
Performance Comparison with Make / 11.2.1：
Performance Breakdown / 11.2.2：
Caching Analysis / 11.2.3：
Resource Usage / 11.2.4：
Repository Performance / 11.3：
Speed of File Operations / 11.3.1：
Disk and Memory Consumption / 11.3.2：
Speed of Repository Tools / 11.3.3：
Speed of Cross-Repository Tools / 11.3.4：
Speed of the Replicator / 11.3.5：
Function Cache Performance / 11.4：
Server Performance / 11.4.1：
Measurements of the Stable Cache / 11.4.2：
Disk and Memory Usage / 11.4.3：
Function Cache Scalability / 11.4.4：
Weeder Performance / 11.5：
Interprocess Communication / 11.6：
Conclusions / 12：
Vesta in the Real World / 12.1：
Vesta in the Future / 12.2：
SDL Reference Manual / A：
Lexical Conventions / A.1：
Meta-notation / A.2.1：
Terminals / A.2.2：
Semantics / A.3：
Value Space / A.3.1：
Type Declarations / A.3.2：
Evaluation Rules / A.3.3：
Expr / A.3.3.1：
Literal / A.3.3.2：
Id / A.3.3.3：
List / A.3.3.4：
Binding / A.3.3.5：
Select / A.3.3.6：
Block / A.3.3.7：
Stmt / A.3.3.8：
Assign / A.3.3.9：
Iterate / A.3.3.10：
FuncDef / A.3.3.11：
FuncCall / A.3.3.12：
Model / A.3.3.13：
Files / A.3.3.14：
File Name Interpretation / A.3.3.15：
Pragmas / A.3.3.17：
Primitives / A.3.4：
Functions on Type t_bool / A.3.4.1：
Functions on Type t_int / A.3.4.2：
Functions on Type t_text / A.3.4.3：
Functions on Type t_list / A.3.4.4：
Functions on Type t_binding / A.3.4.5：
Special Purpose Functions / A.3.4.6：
Type Manipulation Functions / A.3.4.7：
Tool Invocation Function / A.3.4.8：
Diagnostic Functions / A.3.4.9：
Concrete Syntax / A.4：
Grammar / A.4.1：
Ambiguity Resolution / A.4.2：
Tokens / A.4.3：
Reserved Identifiers / A.4.4：
The Vesta Web Site / B：
References
Index
Preface
Introducing Vesta / Part I：
Introduction / 1：
4.

電子ブック
ＥＢ
4. Estimation of Dependences Based on Empirical Data
Vladimir Naumovich Vapnik, S. Kotz, V. Vapnik
出版情報: Springer eBooks Computer Science , Springer New York, 2006
所蔵情報: loading…
目次情報: 続きを見る
he problem of estimating dependences from empirical data
ethods of expected-risk minimization
ethods of parametric statistics for the pattern recognition problem
ethods of parametric statistics for the problem of regression estimation
stimation of regression parameters
method of minimizing empirical risk for the problem of pattern recognition
method of minimizing empirical risk for the problem of regression estimation
he method of structural minimization of risk
olution of ill-posed problems, interpretation of measurements using the method of structural risk minimization
stimation of functional values at given points
ealism and instrumentalism: Classical statistics and the VC theory (1960-1980)
alsifiability and parsimony: VC dimension and the number of entities (1980-2000)
on-inductive methods of inference: Direct inference instead of generalization (2000- ...)
he big picture
he problem of estimating dependences from empirical data
ethods of expected-risk minimization
ethods of parametric statistics for the pattern recognition problem
5.

電子ブック
ＥＢ
5. Optical Data Storage
Erwin R.; Mijiritskii, Andrei V.; Pieterson, Liesbeth van Meinders, Erwin R. Meinders, Andrei V. Mijiritskii
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2006
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
A brief overview of optical storage systems / 1.1：
The basics of optical storage / 1.2：
Optical drive layout / 1.2.1：
Basic principles of optical data storage / 1.2.2：
Optical storage roadmap / 1.2.3：
Optical media / 1.2.4：
Phase-change media / 1.2.5：
Scope of this book / 1.3：
References Chapter 1 / 1.4：
Theoretical aspects of phase-change alloys / 2：
Glass formation and the amorphous phase / 2.1：
Crystallization / 2.3：
Crystallization theory / 2.3.1：
Crystallization of amorphous marks in a phase-change disc / 2.3.2：
Classes of phase-change materials / 2.4：
Class I: Crystallization by nucleation and growth / 2.4.1：
Class II: Crystallization dominated by crystal growth / 2.4.2：
Emerging directions in phase-change research / 2.5：
References of chapter 2 / 2.6：
Thermal modelling of phase-change recording / 3：
Multi-layer thermal model / 3.1：
Heat diffusion in thin layers / 3.1.1：
Heat conduction at microscale / 3.1.2：
Modelling of heat diffusion in multi-layer recording stacks / 3.1.3：
Mark-formation and erasure model / 3.1.4：
Optical parameters of phase-change recording films / 3.2：
Optical properties of thin films / 3.2.1：
Stack design / 3.2.2：
Thermal conductivity of thin films / 3.3：
In situ laser methods / 3.3.1：
Melt-threshold method / 3.3.2：
Thermal conductivity results / 3.3.3：
Determination of crystallization parameters / 3.4：
Isothermal measurements / 3.4.1：
Time-resolved static tester measurements / 3.4.2：
Mark formation and erasure results / 3.5：
Effect of groove shape on direct heating / 3.6：
Groove structure of phase-change discs / 3.6.1：
Land versus groove recording / 3.6.2：
Groove-only recording / 3.6.3：
References of chapter 3 / 3.7：
Data recording characteristics / 4：
Data recording / 4.1：
Recording, erasing and direct-overwriting of marks / 4.1.1：
Pulse trains / 4.1.2：
Erase of marks / 4.1.3：
Write-erase sequence / 4.1.4：
Write strategy types / 4.1.5：
Quality of recorded data / 4.2：
Material-limited run-length jitter / 4.2.1：
Overwrite stability / 4.2.2：
Repeated read stability / 4.2.3：
Effect of multi-track recording / 4.3：
Thermal cross-write / 4.3.1：
Optical cross-talk / 4.3.2：
Recording media / 5：
Dual-layer media and recording / 5.1：
Data capacity increase / 5.1.1：
Layout of dual-layer media / 5.1.2：
Optical design of dual-layer media / 5.1.3：
Mark formation / 5.1.4：
Transmittance difference / 5.1.5：
Media for high-speed phase-change recording / 5.2：
Introduction to speed race / 5.2.1：
Materials for high-speed recording / 5.2.2：
Optical and thermal design of high-speed recording media / 5.2.3：
Characterization of high-speed discs / 5.2.4：
Mark formation in ultra-high speed recording stacks / 5.2.5：
Influence of laser spot orientation on mark formation / 5.2.6：
References of chapter 5 / 5.3：
Introduction / 1：
A brief overview of optical storage systems / 1.1：
The basics of optical storage / 1.2：
6.

電子ブック
ＥＢ
6. Articulated Motion and Deformable Objects
Francisco J. Perales, R. B. Fisher, Robert B. Fisher, Takeo Kanade, Francisco Jos? Perales
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Artificial Evolution
El-Ghazali Talbi, Pierre Collet, Takeo Kanade, Pierre Liardet, Evelyne Lutton, Marc Schoenauer
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Artificial Immune Systems
Hugues Bersini, Jorge Carneiro, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Computer Simulation of Classical Immunology
Did Germinal Centers Evolve Under Differential Effects of Diversity vs Affinity? / Jose Faro ; Jaime Combadao ; Isabel Gordo
Modelling the Control of an Immune Response Through Cytokine Signalling / Thiago Guzella ; Tomaz Mota-Santos ; Joaquim Uchoa ; Walmir Caminhas
Modeling Influenza Viral Dynamics in Tissue / Catherine Beauchemin ; Stephanie Forrest ; Frederick T. Koster
Cellular Frustration: A New Conceptual Framework for Understanding Cell-Mediated Immune Responses / F. Vistulo de Abreu ; E.N.M. Nolte-'Hoen ; C.R. Almeida ; D.M. Davis
The Swarming Body: Simulating the Decentralized Defenses of Immunity / Christian Jacob ; Scott Steil ; Karel Bergmann
Computer Simulation of Idiotypic Network
Analysis of a Growth Model for Idiotypic Networks / Emma Hart
Randomly Evolving Idiotypic Networks: Analysis of Building Principles / Holger Schmidtchen ; Ulrich Behn
The Idiotypic Network with Binary Patterns Matching / Krzysztof Trojanowski ; Marcin Sasin
Tolerance vs Intolerance: How Affinity Defines Topology in an Idiotypic Network / Hugues Bersini ; Francisco Santos
ImmunoInformatics Conceptual Papers
On Permutation Masks in Hamming Negative Selection / Thomas Stibor ; Jonathan Timmis ; Claudia Eckert
Gene Libraries: Coverage, Efficiency and Diversity / Steve Cayzer ; Jim Smith
Immune System Modeling: The OO Way
A Computational Model of Degeneracy in a Lymph Node / Paul S. Andrews ; Jon Timmis
Structural Properties of Shape-Spaces / Werner Dilger
Pattern Recognition Type of Application
Integrating Innate and Adaptive Immunity for Intrusion Detection / Gianni Tedesco ; Jamie Twycross ; Uwe Aickelin
A Comparative Study on Self-tolerant Strategies for Hardware Immune Systems / Xin Wang ; Wenjian Luo ; Xufa Wang
On the Use of Hyperspheres in Artificial Immune Systems as Antibody Recognition Regions
A Heuristic Detector Generation Algorithm for Negative Selection Algorithm with Hamming Distance Partial Matching Rule / Zeming Zhang
A Novel Approach to Resource Allocation Mechanism in Artificial Immune Recognition System: Fuzzy Resource Allocation Mechanism and Application to Diagnosis of Atherosclerosis Disease / Kemal Polat ; Sadik Kara ; Fatma Latifoglu ; Salih Gunes
Recognition of Handwritten Indie Script Using Clonal Selection Algorithm / Utpal Garain ; Mangal P. Chakraborty ; Dipankar Dasgupta
Optimization Type of Application
Diophantine Benchmarks for the B-Cell Algorithm / P. Bull ; A. Knowles ; G. Tedesco ; A. Hone
A Population Adaptive Based Immune Algorithm for Solving Multi-objective Optimization Problems / Jun Chen ; Mahdi Mahfouf
Omni-aiNet: An Immune-Inspired Approach for Omni Optimization / Guilherme P. Coelho ; Fernando J. Von Zuben
Immune Procedure for Optimal Scheduling of Complex Energy Systems / Enrico Carpaneto ; Claudio Cavallero ; Fabio Freschi ; Maurizio Repetto
Aligning Multiple Protein Sequences by Hybrid Clonal Selection Algorithm with Insert-Remove-Gaps and BlockShuffling Operators / V. Cutello ; D. Lee ; G. Nicosia ; M. Pavone ; I. Prizzi
Control and Time-Series Type of Application
Controlling the Heating System of an Intelligent Home with an Artificial Immune System / Martin Lehmann
Don't Touch Me, I'm Fine: Robot Autonomy Using an Artificial Innate Immune System / Mark Neal ; Jan Feyereisl ; Rosario Rascuna ; Xiaolei Wang
Price Trackers Inspired by Immune Memory / William O. Wilson ; Phil Birkin
Theoretical Basis of Novelty Detection in Time Series Using Negative Selection Algorithms / Rafal Pasek
Danger Theory Inspired Application
Danger Is Ubiquitous: Detecting Malicious Activities in Sensor Networks Using the Dendritic Cell Algorithm / Jungwon Kim ; Peter Bentley ; Christian Wallenta ; Mohamed Ahmed ; Stephen Hailes
Articulation and Clarification of the Dendritic Cell Algorithm / Julie Greensmith
Text Mining Application
Immune-Inspired Adaptive Information Filtering / Nikolaos Nanas ; Anne de Roeck ; Victoria Uren
An Immune Network for Contextual Text Data Clustering / Krzysztof Ciesielski ; Slawomir T. Wierzchon ; Mieczyslaw A. Klopotek
An Immunological Filter for Spam / George B. Bezerra ; Tiago V. Barra ; Hamilton M. Ferreira ; Helder Knidel ; Leandro Nunes de Castro
Author Index
Computer Simulation of Classical Immunology
Did Germinal Centers Evolve Under Differential Effects of Diversity vs Affinity? / Jose Faro ; Jaime Combadao ; Isabel Gordo
Modelling the Control of an Immune Response Through Cytokine Signalling / Thiago Guzella ; Tomaz Mota-Santos ; Joaquim Uchoa ; Walmir Caminhas
9.

電子ブック
ＥＢ
9. Artificial Intelligence: Methodology, Systems, and Applications
J?r?me Euzenat, John Domingue, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Artificial Intelligence and Neural Networks
F. Acar Savac?�}, Takeo Kanade, Ferit Acar Savac?�}
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
A Case Study on Logging Visual Activities: Chess Game / Sukru Ozan ; Sevket Gumustekin
Multiple Robot Path Planning for Robot Soccer / Cagdas Yetisenler ; Ahmet Ozkurt
Navigation and GPS Based Path Control of an Autonomous Vehicle / Erol Uyar ; Levent Cetin ; Aytac Goren
A Generative Model for Multi Class Object Recognition and Detection / Ilkay Ulusoy
Depth of General Scenes from Defocused Images Using Multilayer Feedforward Networks / Veysel Aslantas ; Mehmet Tunckanat
Tracking Control Based on Neural Network for Robot Manipulator / Murat Sonmez ; Ismet Kandilli ; Mehmet Yakut
Performance Evaluation of Recurrent RBF Network in Nearest Neighbor Classification / Mehmet Kerem Muezzinoglu
Tracking Aircrafts by Using Impulse Exclusive Filter with RBF Neural Networks / Pinar Civicioglu
A Multilayer Feedforward Fuzzy Neural Network / Aydogan Savran
Neural Networks and Cascade Modeling Technique in System Identification / Erdem Turker Senalp ; Ersin Tulunay ; Yurdanur Tulunay
Comparison of Complex-Valued Neural Network and Fuzzy Clustering Complex-Valued Neural Network for Load-Flow Analysis / Murat Ceylan ; Nurettin Cetinkaya ; Rahime Ceylan ; Yuksel Ozbay
A New Formulation for Classification by Ellipsoids / Aysegul Ucar ; Yakup Demir ; Cuneyt Guzelis
DSP Based Fuzzy-Neural Speed Tracking Control of Brushless DC Motor / Cetin Gencer ; Ali Saygin ; Ismail Coskun
Fault Diagnosis with Dynamic Fuzzy Discrete Event System Approach / Erdal Kilic ; Caglar Karasu ; Kemal Leblebicioglu
A Hybrid Neuro-Fuzzy Controller for Brushless DC Motors / Muammer Gokbulut ; Besir Dandil ; Cafer Bal
Can a Fuzzy Rule Look for a Needle in a Haystack? / Akira Imada
Protein Solvent Accessibility Prediction Using Support Vector Machines and Sequence Conservations / Hasan Ogul ; Erkan U. Mumcuoglu
Instrument Independent Musical Genre Classification Using Random 3000 ms Segment / Ali Cenk Gedik ; Adil Alpkocak
Unsupervised Image Segmentation Using Markov Random Fields / Abdulkadir Sengur ; Ibrahim Turkoglu ; M. Cevdet Ince
Modeling Interestingness of Streaming Classification Rules as a Classification Problem / Tolga Aydin ; Halil Altay Guvenir
Refining the Progressive Multiple Sequence Alignment Score Using Genetic Algorithms / Halit Ergezer
An Evolutionary Local Search Algorithm for the Satisfiability Problem / Levent Aksoy ; Ece Olcay Gunes
HIS: Hierarchical Solver for Over-Constrained Satisfaction Problems / Zerrin Yumak ; Tatyana Yakhno
Elevator Group Control by Using Talented Algorithm / Ulvi Dagdelen ; Aytekin Bagis ; Dervis Karaboga
A Fault Tolerant System Using Collaborative Agents / Sebnem Bora
3-D Object Recognition Using 2-D Poses Processed by CNNs and a GRNN / Ovung Polat ; Vedat Tausanoglu
Author Index
A Case Study on Logging Visual Activities: Chess Game / Sukru Ozan ; Sevket Gumustekin
Multiple Robot Path Planning for Robot Soccer / Cagdas Yetisenler ; Ahmet Ozkurt
Navigation and GPS Based Path Control of an Autonomous Vehicle / Erol Uyar ; Levent Cetin ; Aytac Goren
11.

電子ブック
ＥＢ
11. Artificial Intelligence and Soft Computing ? ICAISC 2006
Leszek Rutkowski, Takeo Kanade, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. ??urada
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Artificial Intelligence and Symbolic Computation
Jacques Calmet, Tetsuo Ida, Takeo Kanade, Dongming Wang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Artificial Neural Networks in Pattern Recognition
Friedhelm Schwenker, Takeo Kanade, Simone Marinai
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Unsupervised Learning
Simple and Effective Connectionist Nonparametric Estimation of Probability Density Functions / Edmondo Trentin
Comparison Between Two Spatio-Temporal Organization Maps for Speech Recognition / Zouhour Neji Ben Salem ; Laurent Bougrain ; Frederic Alexandre
Adaptive Feedback Inhibition Improves Pattern Discrimination Learning / Frank Michler ; Thomas Wachtler ; Reinhard Eckhorn
Semi-supervised Learning
Supervised Batch Neural Gas / Barbara Hammer ; Alexander Hasenfuss ; Frank-Michael Schleif ; Thomas Villmann
Fuzzy Labeled Self-Organizing Map with Label-Adjusted Prototypes / Udo Seiffert ; Cornelia Bruss ; Tina Geweniger
On the Effects of Constraints in Semi-supervised Hierarchical Clustering / Hans A. Kestler ; Johann M. Kraus ; Gunther Palm ; Friedhelm Schwenker
A Study of the Robustness of KNN Classifiers Trained Using Soft Labels / Neamat El Gayar
Supervised Learning
An Experimental Study on Training Radial Basis Functions by Gradient Descent / Joaquin Torres-Sospedra ; Carlos Hernandez-Espinosa ; Mercedes Fernandez-Redondo
A Local Tangent Space Alignment Based Transductive Classification Algorithm / Jianwei Yin ; Xiaoming Liu ; Zhilin Feng ; Jinxiang Dong
Incremental Manifold Learning Via Tangent Space Alignment
A Convolutional Neural Network Tolerant of Synaptic Faults for Low-Power Analog Hardware / Johannes Fieres ; Karlheinz Meier ; Johannes Schemmel
Ammonium Estimation in a Biological Wastewater Plant Using Feedforward Neural Networks / Hilario Lopez Garcia ; Ivan Machon Gonzalez
Support Vector Learning
Support Vector Regression Using Mahalanobis Kernels / Yuya Kamada ; Shigeo Abe
Incremental Training of Support Vector Machines Using Truncated Hypercones / Shinya Katagiri
Fast Training of Linear Programming Support Vector Machines Using Decomposition Techniques / Yusuke Torii
Multiple Classifier Systems
Multiple Classifier Systems for Embedded String Patterns / Barbara Spillmann ; Michel Neuhaus ; Horst Bunke
Multiple Neural Networks for Facial Feature Localization in Orientation-Free Face Images / Lionel Prevost ; Rachid Belaroussi ; Maurice Milgram
Hierarchical Neural Networks Utilising Dempster-Shafer Evidence Theory / Rebecca Fay ; Christian Thiel
Combining MF Networks: A Comparison Among Statistical Methods and Stacked Generalization
Visual Object Recognition
Object Detection and Feature Base Learning with Sparse Convolutional Neural Networks / Alexander R.T. Gepperth
Visual Classification of Images by Learning Geometric Appearances Through Boosting / Martin Antenreiter ; Christian Savu-Krohn ; Peter Auer
An Eye Detection System Based on Neural Autoassociators / Monica Bianchini ; Lorenzo Sarti
Orientation Histograms for Face Recognition / Andreas Sachs
Data Mining in Bioinformatics
An Empirical Comparison of Feature Reduction Methods in the Context of Microarray Data Classification / Christoph Mussel
Unsupervised Feature Selection for Biomarker Identification in Chromatography and Gene Expression Data / Marc Strickert ; Nese Sreenivasulu ; Silke Peterek ; Winfriede Weschke ; Hans-Peter Mock
Learning and Feature Selection Using the Set Covering Machine with Data-Dependent Rays on Gene Expression Profiles / Wolfgang Lindner ; Andre Muller
Author Index
Unsupervised Learning
Simple and Effective Connectionist Nonparametric Estimation of Probability Density Functions / Edmondo Trentin
Comparison Between Two Spatio-Temporal Organization Maps for Speech Recognition / Zouhour Neji Ben Salem ; Laurent Bougrain ; Frederic Alexandre
14.

電子ブック
ＥＢ
14. Artificial Neural Networks ? ICANN 2006
Stefanos D. Kollias, Takeo Kanade, Andreas Stafylopatis
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Artificial Neural Networks ? ICANN 2006
Stefanos Kollias, Takeo Kanade, Andreas Stafylopatis
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Automata, Languages and Programming
Michele Bugliesi, Takeo Kanade, Bart Preneel, Vladimiro Sassone, Ingo Wegener, European Association for Theoretical Computer Science.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Lectures
Additive Approximation for Edge-Deletion Problems / Noga Alon ; Asaf Shapira ; Benny Sudakov
Graph Theory I
Testing Graph Isomorphism in Parallel by Playing a Game / Martin Grohe ; Oleg Verbitsky
The Spectral Gap of Random Graphs with Given Expected Degrees / Amin Coja-Oghlan ; Andre Lanka
Embedding Bounded Bandwidth Graphs into l[subscript 1] / Douglas E. Carroll ; Ashish Goel ; Adam Meyerson
On Counting Homomorphisms to Directed Acyclic Graphs / Martin Dyer ; Leslie Ann Goldberg ; Mike Paterson
Quantum Computing
Fault-Tolerance Threshold for a Distance-Three Quantum Code / Ben W. Reichardt
Lower Bounds on Matrix Rigidity Via a Quantum Argument / Ronald de Wolf
Self-testing of Quantum Circuits / Frederic Magniez ; Dominic Mayers ; Michele Mosca ; Harold Ollivier
Randomness
Deterministic Extractors for Independent-Symbol Sources / Chia-Jung Lee ; Chi-Jen Lu ; Shi-Chun Tsai
Gap Amplification in PCPs Using Lazy Random Walks / Jaikumar Radhakrishnan
Stopping Times, Metrics and Approximate Counting / Magnus Bordewich ; Marek Karpinski
Formal Languages
Algebraic Characterization of the Finite Power Property / Michal Kunc
P-completeness of Cellular Automaton Rule 110 / Turlough Neary ; Damien Woods
Small Sweeping 2NFAs Are Not Closed Under Complement / Christos A. Kapoutsis
Expressive Power of Pebble Automata / Mikotaj Bojanczyk ; Mathias Samuelides ; Thomas Schwentick ; Luc Segoufin
Delegate and Conquer: An LP-Based Approximation Algorithm for Minimum Degree MSTs / R. Ravi ; Mohit SinghApproximation Algorithms I：
Better Algorithms for Minimizing Average Flow-Time on Related Machines / Naveen Garg ; Amit Kumar
A Push-Relabel Algorithm for Approximating Degree Bounded MSTs / Kamalika Chaudhuri ; Satish Rao ; Samantha Riesenfeld ; Kunal Talwar
Edge Disjoint Paths in Moderately Connected Graphs / Shuheng Zhou
A Robust APTAS for the Classical Bin Packing Problem / Leah Epstein ; Asaf LevinApproximation Algorithms II：
Better Inapproximability Results for MaxClique, Chromatic Number and Min-3Lin-Deletion / Subhash Khot ; Ashok Kumar Ponnuswami
Approximating the Orthogonal Knapsack Problem for Hypercubes / Rolf Harren
A Faster Deterministic Algorithm for Minimum Cycle Bases in Directed Graphs / Ramesh Hariharan ; Telikepalli Kavitha ; Kurt MehlhornGraph Algorithms I：
Finding the Smallest H-Subgraph in Real Weighted Graphs and Related Problems / Virginia Vassilevska ; Ryan Williams ; Raphael Yuster
Weighted Bipartite Matching in Matrix Multiplication Time / Piotr Sankowski
Optimal Resilient Sorting and Searching in the Presence of Memory Faults / Irene Finocchi ; Fabrizio Grandoni ; Giuseppe F. ItalianoAlgorithms I：
Reliable and Efficient Computational Geometry Via Controlled Perturbation / Ralf Osbild ; Michael Sagraloff
Tight Bounds for Selfish and Greedy Load Balancing / Ioannis Caragiannis ; Michele Flammini ; Christos Kaklamanis ; Panagiotis Kanellopoulos ; Luca Moscardelli
Lower Bounds of Static Lovasz-Schrijver Calculus Proofs for Tseitin Tautologies / Arist Kojevnikov ; Dmitry ItsyksonComplexity I：
Extracting Kolmogorov Complexity with Applications to Dimension Zero-One Laws / Lance Fortnow ; John M. Hitchcock ; A. Pavan ; N. V. Vinodchandran ; Fengming Wang
The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies / Parikshit Gopalan ; Phokion G. Kolaitis ; Elitza N. Maneva ; Christos H. Papadimitriou
Data Structures and Linear Algebra
Suffix Trays and Suffix Trists: Structures for Faster Text Indexing / Richard Cole ; Tsvi Kopelowitz ; Moshe Lewenstein
Optimal Lower Bounds for Rank and Select Indexes / Alexander Golynski
Dynamic Interpolation Search Revisited / Alexis Kaporis ; Christos Makris ; Spyros Sioutas ; Athanasios Tsakalidis ; Kostas Tsichlas ; Christos Zaroliagis
Dynamic Matrix Rank / Gudmund Skovbjerg Frandsen ; Peter Frands Frandsen
Graphs
Nearly Optimal Visibility Representations of Plane Graphs / Xin He ; Huaming Zhang
Planar Crossing Numbers of Genus g Graphs / Hristo Djidjev ; Imrich Vrt'o
How to Trim an MST: A 2-Approximation Algorithm for Minimum Cost Tree Cover / Toshihiro Fujito
Tight Approximation Algorithm for Connectivity Augmentation Problems / Guy Kortsarz ; Zeev Nutov
On the Bipartite Unique Perfect Matching Problem / Thanh Minh Hoang ; Meena Mahajan ; Thomas ThieraufComplexity II：
Comparing Reductions to NP-Complete Sets
Design Is as Easy as Optimization / Deeparnab Chakrabarty ; Aranyak Mehta ; Vijay V. Vazirani
On the Complexity of 2D Discrete Fixed Point Problem / Xi Chen ; Xiaotie Deng
Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions / Martin Gairing ; Burkhard Monien ; Karsten TiemannGame Theory I：
The Game World Is Flat: The Complexity of Nash Equilibria in Succinct Games / Constantinos Daskalakis ; Alex Fabrikant
Network Games with Atomic Players / Roberto Cominetti ; Jose R. Correa ; Nicolas E. Stier-Moses
Finite-State Dimension and Real Arithmetic / David Doty ; Jack H. Lutz ; Satyadev NandakumarAlgorithms II：
Exact Algorithms for Exact Satisfiability and Number of Perfect Matchings / Andreas Bjorklund ; Thore Husfeldt
The Myriad Virtues of Wavelet Trees / Paolo Ferragina ; Raffaele Giancarlo ; Giovanni Manzini
Atomic Congestion Games Among Coalitions / Dimitris Fotakis ; Spyros Kontogiannis ; Paul SpirakisGame Theory II：
Computing Equilibrium Prices in Exchange Economies with Tax Distortions / Bruno Codenotti ; Luis Rademacher ; Kasturi Varadarajan
New Constructions of Mechanisms with Verification / Vincenzo Auletta ; Roberto De Prisco ; Paolo Penna ; Giuseppe Persiano ; Carmine Ventre
Networks, Circuits and Regular Expressions
On the Price of Stability for Designing Undirected Networks with Fair Cost Allocations / Amos Fiat ; Haim Kaplan ; Meital Levy ; Svetlana Olonetsky ; Ronen Shabo
Dynamic Routing Schemes for General Graphs / Amos Korman ; David Peleg
Energy Complexity and Entropy of Threshold Circuits / Kei Uchizawa ; Rodney Douglas ; Wolfgang Maass
New Algorithms for Regular Expression Matching / Philip Bille
Fixed Parameter Complexity and Approximation Algorithms
A Parameterized View on Matroid Optimization Problems / Daniel Marx
Fixed Parameter Tractability of Binary Near-Perfect Phylogenetic Tree Reconstruction / Guy E. Blelloch ; Kedar Dhamdhere ; Eran Halperin ; Russell Schwartz ; Srinath Sridhar
Length-Bounded Cuts and Flows / Georg Baier ; Thomas Erlebach ; Alexander Hall ; Ekkehard Kohler ; Heiko Schilling ; Martin Skutella
An Adaptive Spectral Heuristic for Partitioning Random Graphs / Graph Algorithms II：
Some Results on Matchgates and Holographic Algorithms / Jin- Yi Cai ; Vinay Choudhary
Weighted Popular Matchings / Julian Mestre
Author Index
Invited Lectures
Additive Approximation for Edge-Deletion Problems / Noga Alon ; Asaf Shapira ; Benny Sudakov
Graph Theory I
17.

電子ブック
ＥＢ
17. Automata, Languages and Programming
Michele Bugliesi, Takeo Kanade, Bart Preneel, Vladimiro Sassone, Ingo Wegener
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Differential Privacy / Cynthia Dwork
The One Way to Quantum Computation / Vincent Danos ; Elham Kashefi ; Prakash Panangaden
Zero-Knowledge and Signatures
Efficient Zero Knowledge on the Internet / Ivan Visconti
Independent Zero-Knowledge Sets / Rosario Gennaro ; Silvio Micali
An Efficient Compiler from [Sigma]-Protocol to 2-Move Deniable Zero-Knowledge / Jun Furukawa ; Kaoru Kurosawa ; Hideki Imai
New Extensions of Pairing-Based Signatures into Universal Designated Verifier Signatures / Damien Vergnaud
Cryptographic Protocols
Corrupting One vs. Corrupting Many: The Case of Broadcast and Multicast Encryption / Daniele Micciancio ; Saurabh Panjwani
Cryptographically Sound Implementations for Communicating Processes / Pedro Adao ; Cedric Fournet
A Dolev-Yao-Based Definition of Abuse-Free Protocols / Detlef Kahler ; Ralf Kusters ; Thomas Wilke
Secrecy and Protocol Analysis
Preserving Secrecy Under Refinement / Rajeev Alur ; Pavol Cerny ; Steve Zdancewic
Quantifying Information Leakage in Process Calculi / Michele Boreale
Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or / Stephanie Delaune ; Pascal Lafourcade ; Denis Lugiez ; Ralf Treinen
Cryptographic Primitives
Generalized Compact Knapsacks Are Collision Resistant / Vadim Lyubashevsky
An Efficient Provable Distinguisher for HFE / Vivien Dubois ; Louis Granboulan ; Jacques Stern
A Tight Bound for EMAC / Krzysztof Pietrzak
Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic Immunity / Frederik Armknecht ; Matthias Krause
Bounded Storage and Quantum Models
On Everlasting Security in the Hybrid Bounded Storage Model / Danny Harnik ; Moni Naor
On the Impossibility of Extracting Classical Randomness Using a Quantum Computer / Yevgeniy Dodis ; Renato Renner
Quantum Hardcore Functions by Complexity-Theoretical Quantum List Decoding / Akinori Kawachi ; Tomoyuki Yamakami
Foundations
Efficient Pseudorandom Generators from Exponentially Hard One-Way Functions / Iftach Haitner ; Omer Reingold
Hardness of Distinguishing the MSB or LSB of Secret Keys in Diffle-Hellman Schemes / Pierre-Alain Fouque ; David Pointcheval ; Sebastien Zimmer
A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs / Ricardo Corin ; Jerry den Hartog
Multi-party Protocols
Generic Construction of Hybrid Public Key Traitor Tracing with Full-Public-Traceability / Duong Hieu Phan ; Reihaneh Safavi-Naini ; Dongvu Tonien
An Adaptively Secure Mix-Net Without Erasures / Douglas Wikstrom ; Jens Groth
Multipartite Secret Sharing by Bivariate Interpolation / Tamir Tassa ; Nira Dyn
Identity-Based Encryption Gone Wild / Michel Abdalla ; Dario Catalano ; Alexander W. Dent ; John Malone-Lee ; Gregory Neven ; Nigel P. Smart
Games
Deterministic Priority Mean-Payoff Games as Limits of Discounted Games / Hugo Gimbert ; Wieslaw Zielonka
Recursive Concurrent Stochastic Games / Kousha Etessami ; Mihalis Yannakakis
Half-Positional Determinacy of Infinite Games / Eryk Kopczyriski
A Game-Theoretic Approach to Deciding Higher-Order Matching / Colin Stirling
Semantics
Descriptive and Relative Completeness of Logics for Higher-Order Functions / Kohei Honda ; Martin Berger ; Nobuko Yoshida
Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism / Rasmus Ejlers Mogelberg
Typed GoI for Exponentials / Esfandiar Haghverdi
Commutative Locative Quantifiers for Multiplicative Linear Logic / Stefano Guerrini ; Patrizia Marzuoli
The Wadge Hierarchy of Deterministic Tree Languages / Filip MurlakAutomata I：
Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences / Patricia Bouyer ; Serge Haddad ; Pierre-Alain Reynier
On Complexity of Grammars Related to the Safety Problem / Tomasz Jurdzinski
Models
Jumbo [lambda]-Calculus / Paul Blain Levy
[lambda]-RBAC: Programming with Role-Based Access Control / Radha Jagadeesan ; Alan Jeffrey ; Corin Pitcher ; James Riely
Communication of Two Stacks and Rewriting / Juhani Karhumaki ; Michal Kunc ; Alexander Okhotin
Equations
On the Axiomatizability of Priority / Luca Aceto ; Taolue Chen ; Wan Fokkink ; Anna Ingolfsdottir
A Finite Equational Base for CCS with Left Merge and Communication Merge / Bas Luttik
Theories of HNN-Extensions and Amalgamated Products / Markus Lohrey ; Geraud Senizergues
On Intersection Problems for Polynomially Generated Sets / Wong Karianto ; Aloys Krieg ; Wolfgang Thomas
Logics
Invisible Safety of Distributed Protocols / Ittai Balaban ; Amir Pnueli ; Lenore D. Zuck
The Complexity of Enriched [mu]-Calculi / Piero A. Bonatti ; Carsten Lutz ; Aniello Murano ; Moshe Y. Vardi
Interpreting Tree-to-Tree Queries / Michael Benedikt ; Christoph Koch
Constructing Exponential-Size Deterministic Zielonka Automata / Blaise Genest ; Anca MuschollAutomata II：
Flat Parametric Counter Automata / Marius Bozga ; Radu Iosif ; Yassine Lakhnech
Lower Bounds for Complementation of [omega]-Automata Via the Full Automata Technique / Qiqi Yan
Author Index
Invited Papers
Differential Privacy / Cynthia Dwork
The One Way to Quantum Computation / Vincent Danos ; Elham Kashefi ; Prakash Panangaden
18.

電子ブック
ＥＢ
18. Automated Deduction in Geometry
Hoon Hong, Takeo Kanade, Dongming Wang
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Automated Reasoning
Ulrich Furbach, Takeo Kanade, N. Shankar, Natarajan Shankar
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Automated Technology for Verification and Analysis
Susanne Graf, Takeo Kanade, Wenhui Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Automotive Software ? Connected Services in Mobile Networks
Manfred Broy, M. Broy, Takeo Kanade, Ingolf Kr??uger, Ingolf H. Kr?ger, Michael Meisinger
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Autonomic and Trusted Computing
Laurence T. Yang, Hai Jin, Takeo Kanade, Jianhua Ma, Theo Ungerer, Laurence Tianruo Yang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Autonomic Communication
Ioannis Stavrakakis, Takeo Kanade, Michael Smirnov, Mikhail I. Smirnov, International Federation for Information Processing.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Autonomic Management of Mobile Multimedia Services
Ahmed Helmy, Brendan Jennings, Takeo Kanade, Liam Murphy, Tom Pfeifer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Autonomic Networking
Dominique Ga?ti, Ehab Al-Shaer, Ken Calvert, Simon Dobson, Dominiqu Ga??iti, Takeo Kanade, Guy Leduc, Olli Martikainen, Guy Pujolle, International Federation for Information Processing.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Autonomic Principles of IP Operations and Management
Gerard Parr, Takeo Kanade, David Malone, David W. Malone, M?che?l ? Foghl?, Institute of Electrical and Electronics Engineers.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. B 2007: Formal Specification and Development in B
Jacques Julliand, Takeo Kanade, Olga Kouchnarenko
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Biological and Medical Data Analysis
Nicos Maglaveras, R?diger Brause, Ioanna Chouvarda, Takeo Kanade, Vassilis Koutkias
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Biomedical Image Registration
Josien P. W. Pluim, Frans A. Gerritsen, Takeo Kanade, Bo??tjan Likar
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Biomedical Simulation
Matthias Harders, Takeo Kanade, Gaabor Szaekely, G?bor Sz?kely
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Business Process Management
Schahram Dustdar, Josae Luiz Fiadeiro, Jos? Luiz Fiadeiro, Takeo Kanade, Amit P. Sheth
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Business Process Management Workshops
Christoph J. Bussler, Armin Haller, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Business Process Management Workshops
Johann Eder, Schahram Dustdar, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Cellular Automata
Samira Yacoubi, Stefania Bandini, Bastien Chopard, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Central European Functional Programming School
Zolt?n Horv?th, Zoltaan Horvaath, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Chinese Spoken Language Processing
Qiang Huo, Eng-Siong Chng, Takeo Kanade, Haizhou Li, Bin Ma
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Coding and Cryptography
?yvind Ytrehus, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Cognitive Vision Systems
Henrik I. Christensen, Takeo Kanade, H. H. Nagel, Hans-Hellmut Nagel
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Combinatorial and Algorithmic Aspects of Networking
Thomas Erlebach, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Combinatorial Image Analysis
Ralf Reulke, Ulrich Eckardt, Boris Flach, Takeo Kanade, Uwe Knauer, Konrad Polthier, International Association for Pattern Recognition.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Combinatorial Pattern Matching
Moshe Lewenstein, Takeo Kanade, Gabriel Valiente
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Communications and Multimedia Security
Herbert Leitold, Takeo Kanade, Evangelos P. Markatos, International Federation for Information Processing.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Advances in Network and Information Security
Computing of Trust in Ad-Hoc Networks / Huafei Zhu ; Feng Bao ; Jianwei Liu
TAO: Protecting Against Hitlist Worms Using Transparent Address Obfuscation / Spiros Antonatos ; Kostas G. Anagnostakis
On the Privacy Risks of Publishing Anonymized IP Network Traces / Dimitris Koukis
Secure Mobile Notifications of Civilians in Case of a Disaster / Heiko Rossnagel ; Tobias Scherner
A Fair Anonymous Submission and Review System / Vincent Naessens ; Liesje Demuynck ; Bart De Decker
Attribute Delegation Based on Ontologies and Context Information / Isaac Agudo ; Javier Lopez ; Jose A. Montenegro
Adding Support to XACML for Dynamic Delegation of Authority in Multiple Domains / David W Chadwick ; Sassa Otenko ; Tuan Anh Nguyen
One-Round Protocol for Two-Party Verifier-Based Password-Authenticated Key Exchange / Jeong Ok Kwon ; Kouichi Sakurai ; Dong Hoon Lee
Enhanced CAPTCHAs: Using Animation to Tell Humans and Computers Apart / Elias Athanasopoulos
Perturbing and Protecting a Traceable Block Cipher / Julien Bringer ; Herve Chabanne ; Emmanuelle Dottax
A New Encryption and Hashing Scheme for the Security Architecture for Microprocessors / Jorg Platte ; Raul Duran Diaz ; Edwin Naroska
Timed Release Cryptography from Bilinear Pairings Using Hash Chains / Konstantinos Chalkias ; George Stephanides
Compression of Encrypted Visual Data / Michael Gschwandtner ; Andreas Uhl ; Peter Wild
Selective Encryption for Hierarchical MPEG / Heinz Hofbauer ; Thomas Stutz
Equivalence Analysis Among DIH, SPA, and RS Steganalysis Methods / Xiangyang Luo ; Chunfang Yang ; Fenlin Liu
A Flexible and Open DRM Framework / Kristof Verslype
PPINA - A Forensic Investigation Protocol for Privacy Enhancing Technologies / Giannakis Antoniou ; Campbell Wilson ; Dimitris Geneiatakis
A Privacy Agent in Context-Aware Ubiquitous Computing Environments / Ni (Jenny) Zhang ; Chris Todd
Ensuring Privacy in Smartcard-Based Payment Systems: A Case Study of Public Metro Transit Systems / Seng-Phil Hong ; Sungmin Kang
Attack Graph Based Evaluation of Network Security / Igor Kotenko ; Mikhail Stepashkin
Information Modeling for Automated Risk Analysis / Howard Chivers
Towards Practical Attacker Classification for Risk Analysis in Anonymous Communication / Andriy Panchenko ; Lexi Pimenidis
Author Index
Advances in Network and Information Security
Computing of Trust in Ad-Hoc Networks / Huafei Zhu ; Feng Bao ; Jianwei Liu
TAO: Protecting Against Hitlist Worms Using Transparent Address Obfuscation / Spiros Antonatos ; Kostas G. Anagnostakis
43.

電子ブック
ＥＢ
43. Comparative Genomics
Guillaume Bourque, Nadia El-Mabrouk, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Reconstructing Domain Compositions of Ancestral Multi-domain Proteins / Behshad Behzadi ; Martin Vingron
Domain Architecture in Homolog Identification / Nan Song ; Robert D. Sedgewick ; Dannie Durand
Inferring Positional Homologs with Common Intervals of Sequences / Guillaume Blin ; Annie Chateau ; Cedric Chauve ; Yannick Gingras
On Genome Evolution with Accumulated Change and Innovation / Damian Wojtowicz ; Jerzy Tiuryn
Paths and Cycles in Breakpoint Graphs of Random Multichromosomal Genomes / Wei Xu ; Chunfang Zheng ; David Sankoff
Common Intervals and Symmetric Difference in a Model-Free Phylogenomics, with an Application to Streptophyte Evolution / Zaky Adam ; Monique Turmel ; Claude Lemieux
How Pseudo-boolean Programming Can Help Genome Rearrangement Distance Computation / Sebastien Angibaud ; Guillaume Fertin ; Irena Rusu ; Stephane Vialette
Sorting by Translocations Via Reversals Theory / Michal Ozery-Flato ; Ron Shamir
Inferring Gene Orders from Gene Maps Using the Breakpoint Distance / Eric Blais ; Pierre Guillon ; Mathieu Blanchette ; Nadia El-Mabrouk
Ordering Partially Assembled Genomes Using Gene Arrangements / Eric Gaul
Evolution of Tandemly Repeated Sequences Through Duplication and Inversion / Denis Bertrand ; Mathieu Lajoie ; Olivier Gascuel
A PQ Framework for Reconstructions of Common Ancestors and Phylogeny / Laxmi Parida
Intron Loss Dynamics in Mammals / Jasmin Coulombe-Huntington ; Jacek Majewski
Finding Maximum Likelihood Indel Scenarios / Abdoulaye Banire Diallo ; Vladimir Makarenkov
Conservation Patterns in cis-Elements Reveal Compensatory Mutations / Perry Evans ; Greg Donahue ; Sridhar Hannenhalli
Transcription Factor Centric Discovery of Regulatory Elements in Mammalian Genomes Using Alignment-Independent Conservation Maps / Nilanjana Banerjee ; Andrea Califano
Identifiability Issues in Phylogeny-Based Detection of Horizontal Gene Transfer / Cuong Than ; Derek Ruths ; Hideki Innan ; Luay Nakhleh
Author Index
Reconstructing Domain Compositions of Ancestral Multi-domain Proteins / Behshad Behzadi ; Martin Vingron
Domain Architecture in Homolog Identification / Nan Song ; Robert D. Sedgewick ; Dannie Durand
Inferring Positional Homologs with Common Intervals of Sequences / Guillaume Blin ; Annie Chateau ; Cedric Chauve ; Yannick Gingras
44.

電子ブック
ＥＢ
44. Compiler Construction
Alan Mycroft, Takeo Kanade, Andreas Zeller
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Component-Based Software Engineering
Ian Gorton, George T. Heineman, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Computational Intelligence
De-Shuang Huang, George William Irwin, Takeo Kanade, Kang Li
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Fuzzy Systems
A GA Optimization for FLC with Its Rule Base and Scaling Factors Adjustment / Pingkang Li ; Xiuxia Du
Chance Constrained Maximum Flow Problem with Fuzzy Arc Capacities / Xiaoyu Ji ; Lixing Yang ; Zhen Shao
Delay-Dependent Stability of a Class of Nonlinear Systems with Time Delays Based on Fuzzy Hyperbolic Model / Huaguang Zhang ; Jun Yang
Evaluation of the Aquaculture Pond Water Quality Based on Fuzzy Mathematics Model / Ruimei Wang ; Xiaoshuan Zhang ; Wengui Cai ; Jinhuan Wu ; Zetian Fu
Fuzzy Reasoning Application in Redundant Manipulator Movement Regulation / Jianmin Jiao ; Huan Li ; Hongfu Zuo
GFHM Model and Control for Uncertain Chaotic System / Dongsheng Yang ; Zhiliang Wang ; Yingchun Wang
Using Fuzzy Decision Tree to Handle Uncertainty in Context Deduction / Donghai Guan ; Weiwei Yuan ; A. Gavrilov ; Sungyoung Lee ; Youngkoo Lee ; Sangman Han
Variable Universe Adaptive Fuzzy Sliding Mode Controller for a Class of Nonlinear System / Yunfeng Liu ; Dong Miao ; Yunhui Peng ; Xiaogang Yang
A Dynamic Decision Method Based on Triangular and Pillared Fuzzy Numbers / Dar-Ying Jan ; Ziping Chiang
A Fuzzy PID Controller for Controlling Flotation De-inking Column / Jinxing Liu ; Huanbin Liu ; Wenhao Shen ; Yonggen Xu ; Shuangchun Yang
A New Uniform OR Operation Model Based on Generalized S-Norm / Zhicheng Chen ; Mingyi Mao ; Weikang Yang ; Huacan He
A Study of Product Development Time Based on Fuzzy Timed Workflow Net / Xianfeng Fan ; Hong-Zhong Huang ; Jun Hu ; Xu Zu ; Ping Yang
An AHP-Fuzzy Synthetic Evaluation Model Based on Evidence Theory / Xiaoyi Wang ; Chaozhen Hou ; Jumei Yuan ; Zaiwen Liu
Direction Fuzzy Sets / Jixing Wang
Fuzzy Compensator Using RGA for TRMS Control / Jih-Gau Juang ; Wen-Kai Liu
Fuzzy-Neural Network Adaptive Sliding Mode Tracking Control for Interconnected System / Yan-xin Zhang ; Hai-rong Dong
Measure of Certainty with Fuzzy Entropy Function / Sang-Hyuk Lee ; Seong-Pyo Cheon ; Jinho Kim
Motion Planning of Redundant Robots with Singularities Using Transputer Based Fuzzy Inverse Kinematic Method / Chih-Jer Lin ; Chieh-Li Chen
Robust Passive Control for T-S Fuzzy Systems / Yanjiang Li ; Yanming Fu ; Guangren Duan
Robust Stabilization of Takagi-Sugeno Fuzzy Systems with Parametric Uncertainties Using Fuzzy Region Concept / Zhicheng Ji ; Yinghuan Zhou ; Yanxia Shen
Quantitative Measurement for Fuzzy System to Input and Rule Perturbations / Dong-Jun Yu ; Xiao-Jun Wu ; Jing-Yu Yang
Modeling of Distributed Intrusion Detection Using Fuzzy System / Heesuk Seo ; Taekyung Kim ; Hyungjong Kim
Temporal Error Concealment Algorithm Using Fuzzy Metric / Changcai Lai ; Chongyang Hao ; Xiangyu Shen
Universal Approximation of Binary-Tree Hierarchical Fuzzy Systems with Typical FLUs / Xiangyan Zhang ; Naiyao Zhang
Fuzzy-Neuro-Evolutionary Hybrids
A New Fuzzy Membership Function with Applications in Interpretability Improvement of Neurofuzzy Models / John Q. Gan ; Shang-Ming Zhou
Fuzzy Data Clustering Using Artificial Immune Network / Li Liu ; Wenbo Xu
RAOGA-Based Fuzzy Neural Network Model of Design Evaluation / Li-Hua Xue ; Qiang Miao ; Dan Ling
The Development of a Weighted Evolving Fuzzy Neural Network / Pei-Chann Chang ; Chen-Hao Liu ; Chia-Hsuan Yeh ; Shih-Hsin Chen
Fuzzy Neural Classifier for Transformer Fault Diagnosis Based on EM Learning / Hongsheng Su ; Qunzhan Li
System Identification Using Hierarchical Fuzzy CMAC Neural Networks / Floriberto Ortiz Rodriguez ; Wen Yu ; Marco A. Moreno-Armendariz
Supervised, Unsupervised and Reinforcement Learning
A Reliable Resilient Backpropagation Method with Gradient Ascent / Xugang Wang ; Hongan Wang ; Guozhong Dai ; Zheng Tang
Face Recognition Using Null Space-Based Local Discriminant Embedding / Yanmin Niu ; Xuchu Wang
Reformulated Parametric Learning Based on Ordinary Differential Equations / Shuang-Hong Yang ; Bao-Gang Hu
Supervised Feature Extraction Algorithm Based on Continuous Divergence Criterion / Shifei Ding ; Zhongzhi Shi ; Fengxiang Jin
A New Binary Classifier: Clustering-Launched Classification / Tung-Shou Chen ; Chih-Chiang Lin ; Yung-Hsing Chiu ; Hsin-Lan Lin ; Rong-Chang Chen
A Novel Clustering Algorithm Based on Variable Precision Rough-Fuzzy Sets / Zhiqiang Bao ; Bing Han ; Shunjun Wu
Applying Bayesian Approach to Decision Tree / Yatong Zhou ; Taiyi Zhang ; Zhigang Chen
Approximation Algorithms for K-Modes Clustering / Zengyou He ; Shengchun Deng ; Xiaofei Xu
Convergence of a New Decomposition Algorithm for Support Vector Machines / Yan-Guo Wang ; Hong Qiao ; Bo Zhang
Online Learning of Bayesian Network Parameters with Incomplete Data / Sungsoo Lim ; Sung-Bae Cho
Intelligent Agent and Web Applications
A Genetic Algorithm for Optimization of Bandwidth Assignment in Hose-Modeled VPN / Yuanping Zou ; Zhengkun Mi ; Xudong Meng
A Kind of Adaptive Negotiation Mechanism for Flexible Job Shop Scheduling / Cixing Lv ; Zhongqi Sheng ; Sufen Li ; Chaowan Yin ; Yunlong Zhu
A Novel Key Management and Access Control Scheme for Mobile Agent / Jen- Yi Pan ; Tzer-Long Chen ; Tzer-Shyong Chen
Analysis on Negotiation in Platform-Level Armored Force Combat Entity Agents System / Xiong Li ; Kai Wang ; Xianggang Liu ; Jiuting Duo
Conflict Resolution and Preference Learning in Ubiquitous Environment / Md. Kamrul Hasan ; Kim Anh ; Lenin Mehedy ; Young-Koo Lee
Design and Implement of Customer Information Retrieval System Based on Semantic Web / Mi Sug Gu ; Jeong Hee Hwang ; Keun Ho Ryu
Emerging Hybrid Computational Models / Roman Neruda
Knowledge Base Constructing Based on Intelligence Technology / Jian Zhang ; Peng Gao ; Miao Li
Managing Workflows in Data Environments Using Semantic Technologies / Nada Hashmi ; Abdullah Al-Malaise ; Suleman Shahid ; Muhammad Zubair Afzal
On Studying P2P Topology Based on Modified Fuzzy Adaptive Resonance Theory / Yufeng Wang ; Wendong Wang
A Self-organising Agent Assistant System / Ji Gao
Semantic Based Approximate Query Across Multiple Ontologies / Yinglong Ma ; Beihong Jin
A Simulation-Based Process Model Learning Approach for Dynamic Enterprise Process Optimization / WenAn Tan
Task Assigning and Optimizing of Genetic-Simulated Annealing Based on Mas / Yong Liu ; Shujuan Li ; Yan Li
A Domain-Based Intelligent Search Engine / Minjuan Zhong ; Xingdong Lu
A PDA Based Personalized 3D Facial Expression System / Seongah Chin ; Jongkyeong Park
A Skew Free Korean Character Recognition System for PDA Devices / Youngmee Choi ; Moonwon Choo
An Agent-Based Multi-issue Negotiation Model in E-Commerce / Xiao-Xuan Zhang ; Supratip Ghose ; Geun-Sik Jo
Integrating Extended Attributed Relational Graph and Structured Modeling: Toward Multimedia-Based Decision Support in Virtual Product Design / Oh-Byung Kwon ; Kyoung-Yun Kim ; Hyung-Jeong Yang
Multi-agent Modeling and Simulation for Petroleum Supply Chain / Jiang Tian ; Huaglory Tianfield
Optimize Cooperative Agents with Organization in Distributed Scheduling System / Wei Fan ; Fan Xue
Phrase-Based Statistical Machine Translation by Using Reordering Search and Additional Features / Yi Luo
Smart E-Learning Using Recommender System / Nuanwan Soonthornphisaj ; Ekkawut Rojsattarat ; Sukanya Yim-ngam
Strategic Learning in the Sealed-Bid Bargaining Mechanism by Particle Swarm Optimization Algorithm / Xiaobo Zhu ; Qian Yu ; Xianjia Wang
System on a Chip Implementation of Social Insect Behavior for Adaptive Network Routing / Jin-Ho Ahn ; Hyunjin Kim ; Byung In Moon ; Sungho Kang
Intelligent Fault Diagnosis
Authoritative Server's Impact on Domain Name System's Performance and Security / Yao Wang ; Ming-Zeng Hu ; Bin Li ; Bo-Ru Yan
Comparison Model and Algorithm for Distributed Firewall Policy / Weiping Wang ; Wenhui Chen ; Zhepeng Li ; Huaping Chen
Fourier and Wavelet Transformations for the Fault Detection of Induction Motor with Stator Current / Yountae Kim ; Sungshin Kim
Prediction of Equipment Maintenance Using Optimized Support Vector Machine / Yi Zeng ; Wei Jiang ; Changan Zhu ; Jianfeng Liu ; Weibing Teng ; Yidong Zhang
The Covariance Constraint Control Method of Fault Detect for Complicated Systems / Darong Huang ; Xiyue Huang ; Changcheng Xiang ; Wei Li ; Yin Zhang
A Fault Diagnosis Prototype System Based on Causality Diagram / Xinghua Fan ; Feng Hu ; Simon X. Yang
Adaptive Neural Model Based Fault Tolerant Control for Multi-variable Process / Cuimei Bo ; Jun Li ; Zhiquan Wang ; Jinguo Lin
Algorithm of Pipeline Leak Detection Based on Discrete Incremental Clustering Method / Jian Feng
A BP Neural Network Based Technique for HIF Detection and Location on Distribution Systems with Distributed Generation / Arturo Suman Bretas ; Luciano Fires ; Miguel Moreto ; Rodrigo Hartstein Salim
The Application of Grey Relation Close Degree Model in the Fault Diagnosis / Cuifeng Li ; Wenzhan Dai
Embedded Reversible Medical Image Compression Using Integer Wavelet Transform / Li-bao Zhang ; Ming-quan Zhou
Fault Detection Method Based on Artificial Immune System for Complicated Process / Chunliu Xiong ; Yuhong Zhao ; Wei Liu
Induction Machine Rotor Diagnosis Using Support Vector Machines and Rough Set / Ruiming Fang
Intelligent Process Trend Recognition Fault Diagnosis and Industrial Application / Sien Lu ; Biao Huang
Multiple Fault Diagnosis Approach for Rotary Machines Based on Matter-Element / Wen Jin ; Chang-Zheng Chen ; Zhi-Hao Jin
Numerical Model and Analysis on Dynamics of Composites for Active Damage Detection / Zhi Wei ; Minqiao Lu ; Jun Zhang
SoC Test Scheduling Algorithm Using ACO-Based Rectangle Packing
Fault Diagnosis and Accommodation Based on Online Multi-model for Nonlinear Process / Jiugen Zhang ; Jie Du
Natural Language Processing and Expert Systems
A Mongolian Speech Recognition System Based on HMM / Guanglai Gao ; Biligetu ; Nabuqing ; Shuwu Zhang
Conditional Random Fields Based Label Sequence and Information Feedback / Yi Guan ; Xiao-Long Wang
Ontology-Based Automatic Classification of Web Documents / MuHee Song ; SooYeon Lim ; Dong Jin Kang ; SangJo Lee
Recognition of Emotion with SVMs / Zhi Teng ; Fuji Ren ; Shingo Kuroiwa
A Proposal for an XML Definition of a Dynamic Spoken Interface for Ambient Intelligence / German Montoro ; Pablo A. Hay ; Xavier Alaman ; Ramon Lopez-Cozar ; Zoraida Callejas
Intelligent Interface for Recognition and Verification of Natural Language Commands / Maciej Majewski ; Wojciech Kacalak
Intrusion Detection Based on Data Mining / Jian Yin ; Fang Mei ; Gang Zhang
Knowledge Representation in a Behavior-Based Natural Language Interface for Human-Robot Communication / Fangju Wang
Method Combining Rule-Based and Corpus-Based Approaches for Oracle-Bone Inscription Information Processing / Huiying Cai ; Minghu Jiang ; Beixing Deng ; Lin Wang
Intelligent System for Natural Language Processing
Text-Based English-Arabic Sentence Alignment / Mohamed Abdel Fattah
Intelligent Financial Engineering
The Advantage of Harmonic Asian Options and an Approximation Approach / Xu Chen ; Jianping Wan
An Estimation Model of Research Cost Based on Rough Set and Artificial Neural Network / Yangyi Jiang ; Hengxi Zhang ; Jiang Xie ; Ke Meng
Analyzing Livestock Farm Odour Using a Neuro-fuzzy Approach / Leilei Pan
Credit Risk Assessment in Commercial Banks Based on Multi-layer SVM Classifier / Wei Sun ; Chenguang Yang
Special Session on Intelligent Algorithms for Game Theory
Poisson Process with Fuzzy Time-Dependent Intensity / Shunqin Li ; Wansheng Tang ; Chao Zhang
Pricing R&D Option with Combining Randomness and Fuzziness / Jinliang Zhang ; Huibin Du
Two-Person Zero-Sum Matrix Game with Fuzzy Random Payoffs / Lin Xu ; Ruiqing Zhao ; Yufu Ning
Estimating the Contingency of R&D Project in a Fuzzy Environment / Changsheng Yi ; Ying Liu
Parallel Combination of Genetic Algorithm and Ant Algorithm Based on Dynamic K-Means Cluster / Jianli Ding ; Liuqing Wang
Properties and Relations Between Implication Operators / Jiaxin Han ; Yingcang Ma
Quantum Network Optimization Based on the Use of Relaxing Qubits / Min Jiang ; Zeng-ke Zhang ; Tzyh-Jong Tarn
Special Session on Intelligent Computing for Information Perception and Integration in Intelligent Control System
Neural Network Based Modeling for Oil Well Pressure Data Compensation System / Jian-long Tang ; En Li ; Zeng-guang Hou ; Qi Zuo ; Zi-ze Liang ; Min Tan
Video Object Contour Tracking Using Improved Dual-Front Active Contour / Qihe Li ; Yuping Luo ; Deyun Xiao
Motion Deblurring for a Power Transmission Line Inspection Robot / Siyao Fu ; Yunchu Zhang ; Xiaoguang Zhao ; Zize Liang ; Zengguang Hou ; Anmin Zou ; Wenbo Ye ; Lian Bo
Viewpoint-Invariant Face Recognition Based on View-Based Representation / Jinyun Chung ; Juho Lee ; Hyun Jin Park ; Hyun Seung Yang
Visual Information Representation Using Embedded Block with Significance Selecting Model / Wentong Xue ; Jianshe Song ; Lihai Yuan ; Tao Shen
Visual Navigation for a Power Transmission Line Inspection Robot / Yongqian Zhang
Special Session on Language Processing for Affective Computing
A Semantic Analyzer for Aiding Emotion Recognition in Chinese / Jiajun Yan ; David B. Bracewell
Emotion Estimation System Based on Emotion Occurrence Sentence Pattern / Kazuyuki Matsumoto
Acoustic and Physiological Feature Analysis of Affective Speech / Dandan Cui ; Lianhong Cai
Determining the Emotion of News Articles / Junko Minato
Statistical Analysis of a Japanese Emotion Corpus for Natural Language Processing
Treatment of Quantifiers in Chinese-Japanese Machine Translation / Dapeng Yin ; Min Shao ; Peilin Jiang
Special Session on Intelligent Computing for Software Reliability Engineering
A Pruning Based Incremental Construction of Horizontal Partitioned Concept Lattice / Lihua Hu ; Jifu Zhang ; Sulan Zhang
Research on Spatial Data Mining Based on Knowledge Discovery / Zhong Qu ; Lian Wang
Similarity Measure Construction Using Fuzzy Entropy and Distance Measure / Jang-Mok Kim ; Young-Kiu Choi
Software Metrics Data Clustering for Quality Prediction / Bingbing Yang ; Xin Zheng ; Ping Guo
Special Session on Credibility Theory with Applications
A Hybrid Intelligent Algorithm for Vehicle Routing Models with Fuzzy Travel Times / Jin Peng ; Gang Shang
Solving Fuzzy Chance-Constrained Programming with Ant Colony Optimization-Based Algorithms and Application to Fuzzy Inventory Model / Yuanguo Zhu
The Infinite Dimensional Product Possibility Space and Its Applications / Yan-Kui Liu ; Baoding Liu ; Yanju Chen
Special Session on Intelligent Computing for Agile Manufacturing Systems
A New Sensor Fault Diagnosis Technique Based Upon Subspace Identification and Residual Filtering / Srinivasan Rajaraman ; Uwe Kruger ; M. Sam Mannan ; Juergen Hahn
Particle Swarm Optimization for Open Vehicle Routing Problem / Wanliang Wang ; Bin Wu ; Yanwei Zhao ; Dingzhong Feng
A Genetic Algorithm Approach on a Facility Layout Design Problem with Aisles / Gengui Zhou ; Mujing Ye ; Zhenyu Cao ; Feng Ye
A Novel Game-Theory-Based Analysis Approach for Running a Supply Chain Project / Ding-zhong Feng ; Lei-lei Chen ; Mei-xian Jiang
The Dynamics Mechanism Study on Interactive Development of Industry Clusters and Urbanization / Weixiang Xu ; Ye Jiang ; Bin Yu ; Gennian Tang
Special Session on Networked Control Systems
A Proposed Case Study for Networked Control System / Taicheng Yang ; Minrui Fei ; Dingyu Xue ; Yuemei Tan ; Xiaobing Zhou
Adaptive Control Systems with Network Closed Identification Loop / Lixiong Li ; Xianya Xie
An Initial Study of Gain-Scheduling Controller Design for NCS Using Delay Statistical Model / T.C. Yang ; Heshou Wang
An Overview of Wireless Networks in Control and Monitoring / George W. Irwin ; Jeremy Colandairaj ; William G. Scanlon
An Improved Deadline-Based Message Scheduling Algorithm for Real-Time Control Network / Qingyu Yang ; Lincang Ju ; Sibo Ge ; Ren Shi
Study on Inter-operability Unit for an Automobile Network / Sungyun Jung ; Sung-oh Yang ; Kwang-Ryul Baek
The Networked Control Systems Based on Predictive Functional Control / Jianguo Wu
Special Session on Intelligence Computation and Its Application
A Modified Fuzzy C-Means Algorithm for Association Rules Clustering / Dechang Pi ; Xiaolin Qin ; Peisen Yuan
Adaptive Fuzzy Control of Lateral Semi-active Suspension for High-Speed Railway Vehicle / Jianwei Yang ; Jie Li ; Yanping Du
Car Plate Localization Using Modified PCNN in Complicated Environment / Xin Yuan ; Lei Wang ; Miaoliang Zhu
Enhancing Contrast for Image Using Discrete Stationary Wavelet Transform and Non-linear Gain Operator / Changjiang Zhang ; Xiaodong Wang ; Haoran Zhang
Graph-Based Ant System for Optimal Sizing of Standalone Hybrid Wind/PV Power Systems / Daming Xu ; Longyun Kang ; Binggang Cao
Maximizing Dual Function by Genetic Algorithm - A New Approach for Optimal Manpower Planning / Xiaoqiang Cai ; Yongjian Li ; Fengsheng Tu
Solving Multi-period Financial Planning Problem Via Quantum-Behaved Particle Swarm Algorithm / Jun Sun ; Wei Fang
A Boosting Approach for Utterance Verification / Chengyu Dong ; Yuan Dong ; Dezhi Huang ; Jun Guo ; Haila Wang
A Comparative Study on Computerised Diagnostic Performance of Hepatitis Disease Using ANNs / Revna Acar Vural ; Lale Ozyilmaz ; Tulay Yildirim
A Two-View CoTraining Rule Induction System for Information Extraction / Jing Xiao
A Ubiquitous Healthcare Service System for Benign Prostatic Hyperplasia Patients / Keon Myung Lee ; WonSeob Yang ; Kyung Mi Lee ; Wun-Jae Kim ; Seok Jung Yoon
An ANN-Based Classification System for Automobile Parts with Different Shapes / Jihong Liu ; GuangLu Zhao ; Lingbo Kong
An Indirect and Efficient Approach for Solving Uncorrelated Optimal Discriminant Vectors / Quan-Sen Sun ; Zhang Jin ; Pheng-Ann Heng ; De-Shen Xia
Constructing Full Matrix Through Naive Bayesian for Collaborative Filtering / Kyung-Yong Jung ; Hee-Joung Hwang ; Un-Gu Kang
Enhancing Particle Swarm Optimization Based Particle Filter Tracker / Qicong Wang ; Li Xie ; Jilin Liu ; Zhiyu Xiang
Moving Target Tracking Via Adaptive One Step Ahead Neuro-Fuzzy Estimator / Cihan Karakuzu ; Gokalp Gurbuzer
Optimization of Special Vehicle Routing Problem Based on Ant Colony System / Xia Liu ; Huan Qi ; Yingchun Chen
Pattern Finding Algorithm Based on Cloud Models / Yingjun Weng ; Laide Shi
POCS Super-Resolution Sequence Image Reconstruction Based on Image Registration Excluded Aliased Frequency Domain / Chong Fan ; Jianya Gong ; Jianjun Zhu ; Lihua Zhang
The Cooperative Optimization Metaheuristic: Inspiration from Nature and Applications / Xiaofei Huang
Use APEX Neural Networks to Extract the PN Sequence in Lower SNR DS-SS Signals / Tianqi Zhang ; Zengshan Tian ; Qianbin Chen ; Xiaokang Lin ; Zhengzhong Zhou
Special Session on Intelligent Ad Hoc Networks and Wireless Sensor Networks
A New Chain-Based Data Gathering Protocol for Wireless Sensor Transportation Monitoring Network / Lingyun Yuan
Distributed Computing Paradigm for Target Classification in Sensor Networks / Peng Zeng ; Yan Huang ; Haibin Yu
QoS Multicast Routing Algorithm in Manet: An Entropy-Based GA / Hua Chen ; Baolin Sun ; Yue Zeng
Simulating an Intelligence Fault Tolerance System for Situation-Aware Ubiquitous Computing / Eung Nam Ko
An Access Control Mechanism Based on Situation-Aware Ubiquitous Computing for Seamless Multimedia View Sharing
Clustering Algorithm Using Bayes' Rule in Mobile Wireless Sensor Networks / Young-Bae Kong ; Kyung-Bae Chang ; Gwi-Tae Park
Dynamic Control of Packet Transmission Rate Using Fuzzy Logic for Ad Hoc Networks / Tae-Hwan Son
ESTS: An Error Statistic Based Time Synchronization Protocol for Wireless Sensor Networks / Limin Sun ; Haidong Wang ; Tingxin Yan ; Jingjing Liu
Extending the Lifetime of Ad Hoc Wireless Networks / R.I. da Silva ; J.C.B. Leite ; M.P. Fernandez
Author Index
Fuzzy Systems
A GA Optimization for FLC with Its Rule Base and Scaling Factors Adjustment / Pingkang Li ; Xiuxia Du
Chance Constrained Maximum Flow Problem with Fuzzy Arc Capacities / Xiaoyu Ji ; Lixing Yang ; Zhen Shao
47.

電子ブック
ＥＢ
47. Computational Intelligence and Bioinformatics
De-Shuang Huang, George William Irwin, Takeo Kanade, Kang Li
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Ant Colony Optimisation
A Constrained Ant Colony Algorithm for Image Registration / Wen Peng ; Ruofeng Tong ; Guiping Qian ; Jinxiang Dong
A Novel ACO Algorithm with Adaptive Parameter / Han Huang ; Xiaowei Yang ; Zhifeng Hao ; Ruichu Cai
Study of Parametric Relation in Ant Colony Optimization Approach to Traveling Salesman Problem / Xuyao Luo ; Fang Yu ; Jun Zhang
Ant Colony System for Optimizing Vehicle Routing Problem with Time Windows (VRPTW) / Xuan Tan ; Xiaolan Zhuo
Particle Swarm Optimisation
A Hybrid Particle Swarm Optimization for Binary CSPs / Qingyun Yang ; Jigui Sun ; Juyang Zhang ; Chunjie Wang
A New Hybrid Algorithm of Particle Swarm Optimization / Guangyou Yang ; Dingfang Chen ; Guozhu Zhou
A Novel Particle Swarm Optimizer Using Optimal Foraging Theory / Ben Niu ; Yunlong Zhu ; Kunyuan Hu ; Sufen Li ; Xiaoxian He
A Smart Particle Swarm Optimization Algorithm for Multi-objective Problems / Xiaohua Huo ; Lincheng Shen ; Huayong Zhu
Adaptive Particle Swarm Optimization with Feedback Control of Diversity / Jing Jie ; Jianchao Zeng ; Chongzhao Han
An Improved Particle Swarm Algorithm and Its Application to Power System Transfer Capability Optimization / Si-jun Peng ; Chang-hua Zhang ; Liang Tang
An Improved Particle Swarm Optimization Algorithm with Disturbance Term / Qingyuan He ; Chuanjiu Han
Blending Scheduling Under Uncertainty Based on Particle Swarm Optimization with Hypothesis Test / Hui Pan ; Ling Wang
Fixed Parameter Estimation Method Using Gaussian Particle Filter / Lixin Wang
Improving Quantum-Behaved Particle Swarm Optimization by Simulated Annealing / Jing Liu ; Jun Sun ; Wenbo Xu
Optimization of a Child Restraint System by Using a Particle Swarm Algorithm / Meng Luo ; Qing Zhou
Predicted-Velocity Particle Swarm Optimization Using Game-Theoretic Approach / Zhihua Cui ; Xingjuan Cai ; Guoji Sun
Solving the Hard Knapsack Problems with a Binary Particle Swarm Approach / Bin Ye ; Wen-Bo Xu
Swarm Intelligence
Collective Behavior of an Anisotropic Swarm Model Based on Unbounded Repulsion in Social Potential Fields / Liang Chen ; Li Xu
Combining Particle Swarm Optimization and Neural Network for Diagnosis of Unexplained Syncope / Liang Gao ; Chi Zhou ; Hai-Bing Gao ; Yang-Ren Shi
Parameter Estimation Approach in Groundwater Hydrology Using Hybrid Ant Colony System / Shouju Li ; Yingxi Liu ; He Yu
Route-Exchange Algorithm for Combinatorial Optimization Based on Swarm Intelligence
Stability Analysis of Swarm Based on Double Integrator Model / Dan Jin ; Lixin Gao
Autonomy-Oriented Computing
Interest Based Negotiation Automation / Xuehong Tao ; Yuan Miao ; ZhiQi Shen ; ChunYan Miao ; Nicola Yelland
Quantum and Molecular Computations
Phase Transition of a Skeleton Model for Surfaces / Hiroshi Koibuchi
Biological and DNA Computing
A Novel Approach Model for Chinese Postman Problem / Bo Jiang ; Xiaoying Shi ; Zhibang Xu
DNA Computing Model of the Integer Linear Programming Problem Based on Molecular Beacon / Zhi-xiang Yin ; Jian-zhong Cui ; Jin Yang ; Jin Xu
DNA Computing Processor: An Integrated Scheme Based on Biochip Technology for Performing DNA Computing / Yan-Feng Wang ; Guang-Zhao Cui ; Bu-Yi Huang ; Lin-Qiang Pan ; Xun-Cai Zhang
General DNA Automaton Model with R/W Tape / Xiaolong Shi ; Linqiang Pan
Interpolated Hidden Markov Models Estimated Using Conditional ML for Eukaryotic Gene Annotation / Hongmei Zhu ; Jiaxin Wang ; Zehong Yang ; Yixu Song
Predicting Melting Temperature (Tm) of DNA Duplex Based on Neural Network / Xiangrong Liu ; Wenbin Liu ; Juan Liu
Programmable Pushdown Store Base on DNA Computing / Zheng Zhang ; Jie Liu
Research on the Counting Problem Based on Linear Constructions for DNA Coding / Xiangou Zhu ; Chuan Sun ; Wenbing Liu ; Wenguo Wu
RNA Secondary Structure Prediction with Simple Pseudoknots Based on Dynamic Programming / Oyun-Erdene Namsrai ; Kwang Su Jung ; Sunshin Kim ; Keun Ho Ryu
Template Frame for DNA Computing
A New DNA-Based Approach to Solve the Maximum Weight Clique Problem / Aili Han ; Daming Zhu
A New DNA Encoding Method for Traveling Salesman Problem
Computational Design Approach to Hydrodynamic Focusing in a Flow Cytometer / An-Shik Yang ; Chun-Yao Wu
Intelligent Computing in Bioinformatics
A Biometric Encryption Approach Incorporating Fingerprint Indexing in Key Generation / Fengling Han ; Jiankun Hu ; Xinghuo Yu
A General Solution for the Optimal Superimposition of Protein Structures / Qishen Li ; Jian Shu ; Zhaojun Shi ; Dandan Zhang
A Personalized Biological Data Management System Based on BSML
An Automatic Nematode Identification Method Based on Locomotion Patterns / Bai-Tao Zhou ; Joong-Hwan Baek
An Efficient Attribute Ordering Optimization in Bayesian Networks for Prognostic Modeling of the Metabolic Syndrome / Han-Saem Park ; Sung-Bae Cho
Analysis and Simulation of Synchronization for Large Scale Networks / Xinkai Chen ; Guisheng Zhai
Detection of Basal Cell Carcinoma by Automatic Classification of Confocal Raman Spectra / Seong-Joon Baek ; Aaron Park ; Jin-Young Kim ; Seung Yu Na ; Yonggwan Won ; Jaebum Choo
Clustering Gene Expression Data for Periodic Genes Based on INMF / Nini Rao ; Simon J. Shepherd
Feature Selection for Microarray Data Analysis Using Mutual Information and Rough Set Theory / Wengang Zhou ; Chunguang Zhou ; Hong Zhu ; Guixia Liu ; Xiaoyu Chang
Feature Subset Selection for Protein Subcellular Localization Prediction / Qing-Bin Gao ; Zheng-Zhi Wang
Fuzzy k-Nearest Neighbor Method for Protein Secondary Structure Prediction and Its Parallel Implementation / Seung-Yeon Kim ; Jaehyun Sim ; Julian Lee
Gene Selection Based on Mutual Information for the Classification of Multi-class Cancer / Sheng-Bo Guo ; Michael R. Lyu ; Tat-Ming Lok
Gene Selection by Cooperative Competition Clustering / Shun Pei ; De-Shuang Huang ; Kang Li ; George W. Irwin
Genetic Algorithm and Neural Network Based Classification in Microarray Data Analysis with Biological Validity Assessment / Vitoantonio Bevilacqua ; Giuseppe Mastronardi ; Filippo Menolascina
Inferring Species Phylogenies: A Microarray Approach / Xiaoxu Han
Penalized Independent Component Discriminant Method for Tumor Classification / Chun-Hou Zheng ; Li Shang ; Yan Chen ; Zhi-Kai Huang
Practical Linear Space Algorithms for Computing String-Edit Distances / Tony Y.T. Chan
Prediction of Protein Complexes Based on Protein Interaction Data and Functional Annotation Data Using Kernel Methods / Shi-Hua Zhang ; Xue-Mei Ning ; Hong- Wei Liu ; Xiang-Sun Zhang
Prediction of Transmembrane Proteins from Their Primary Sequence by Support Vector Machine Approach / C.Z. Cai ; Q.F. Yuan ; H.G. Xiao ; X.H. Liu ; L.Y. Han ; Y.Z. Chen
Protein Subcellular Location Prediction Based on Pseudo Amino Acid Composition and Immune Genetic Algorithm / Tongliang Zhang ; Yongsheng Ding ; Shihuang Shao
SPDBS: An SBML-Based Biochemical Pathway Database System / Tae-Sung Jung ; Kyoung-Ran Kim ; Seung-Hyun Jung ; Tae-Kyung Kim ; Myung-Sang Ahn ; Jong-Hak Lee ; Wan-Sup Cho
Supervised Inference of Gene Regulatory Networks by Linear Programming / Yong Wang ; Trupti Joshi ; Dong Xu ; Luonan Chen
Intelligent Computing in Computational Biology and Drug Design
Double Optimization for Design of Protein Energy Function
Efficient Solution of Bidomain Equations in Simulation of Cardiac Excitation Anisotropic Propagation / Yu Zhang ; Ling Xia ; Guanghuan Hou
Analysis of Numerical Solutions to Stochastic Age-Dependent Population Equations / Qimin Zhang ; Xining Li
Computational Genomics and Proteomics
Classifying G-Protein Coupled Receptors with Hydropathy Blocks and Support Vector Machines / Xing-Ming Zhao ; Shiwu Zhang ; Yiu-ming Cheung
HSPPIP: An Online Tool for Prediction of Protein-Protein Interactions in Humans / Yu Xue ; Changjiang Jin ; Xuebiao Yao
Prediction of Ribosomal -1 Frameshifts in the Escherichia coli K12 Genome / Sanghoon Moon ; Yanga Byun ; Kyungsook Han
Using a Stochastic AdaBoost Algorithm to Discover Interactome Motif Pairs from Sequences / Huan Yu ; Minping Qian ; Minghua Deng
Web Service for Predicting Interacting Proteins and Application to Human and HIV-1 Proteins / Byungkyu Park
Artificial Life and Artificial Immune Systems in Intelligent Computing
An Immunity-Based Dynamic Multilayer Intrusion Detection System / Gang Liang ; Tao Li ; Jiancheng Ni ; Yaping Jiang ; Xun Gong
Immunity and Mobile Agent Based Grid Intrusion Detection / Tiefang Wang ; Xiaoqin Hu
Immune-Based Peer-to-Peer Model for Anti-spam / Feng Wang ; Zhisheng You ; Lichun Man
NASC: A Novel Approach for Spam Classification
Prediction Algorithms in Large Scale VOD Network Collaborations / Bo Li ; Hualin Wan ; Depei Qian
Special Session on Bio-oriented and Bio-inspired Information Systems
A Computational Korean Lexical Access Model Using Artificial Neural Network / Heui Seok Lim ; Kichun Nam ; Kinam Park ; Sungho Cho
An Artificial Retina Chip Using Switch-Selective Resistive Network for Intelligent Sensor Systems / Jae-Sung Kong ; Sang-Heon Kim ; Jang-Kyoo Shin ; Minho Lee
An Efficient Feedback Canceler for Hearing Aids Based on Approximated Affine Projection / Sangmin Lee ; Inyoung Kim ; Youngcheol Park
Robust Real-Time Face Detection Using Hybrid Neural Networks / Ho-Joon Kim ; Juho Lee ; Hyun-Seung Yang
The Novel Feature Selection Method Based on Emotion Recognition System / Chang-Hyun Park ; Kwee-Bo Sim
Unsupervised Feature Extraction for the Representation and Recognition of Lip Motion Video / Michelle Jeungeun Lee ; Kyungsuk David Lee ; Soo-Young Lee
Special Session on Novel Applications of Knowledge Discovery on Bioinformatics
A Novel Method for Expanding Current Annotations in Gene Ontology / Dapeng Hao ; Xia Li ; Lei Du ; Liangde Xu ; Jiankai Xu ; Shaoqi Rao
Identifying the Modular Structures in Protein Interaction Networks / Yanen Li ; Feng Lu ; Yanhong Zhou
An Analysis of Gene Expression Relationships Between Periodically Expressed Genes in the Hela Cells / Yun Xiao ; Juan Wang ; Yun Zhang
Analysis of Sib-Pair IBD Profiles Using Ensemble Decision Tree Approach: Application to Alcoholism / Yang Jiang ; Qingpu Zhang ; Wei Jiang ; Ruijie Zhang ; Jing Li
Association Research on Potassium Channel Subtypes and Functional Sites / Peng Wu ; Chuanxing Li ; Jie Zhang
Nonequilibrium Model for Yeast Cell Cycle / Yuping Zhang
Tissue Classification Using Gene Expression Data and Artificial Neural Network Ensembles / Huijuan Lu ; Jinxiang Zhang ; Lei Zhang
Author Index
Ant Colony Optimisation
A Constrained Ant Colony Algorithm for Image Registration / Wen Peng ; Ruofeng Tong ; Guiping Qian ; Jinxiang Dong
A Novel ACO Algorithm with Adaptive Parameter / Han Huang ; Xiaowei Yang ; Zhifeng Hao ; Ruichu Cai
48.

電子ブック
ＥＢ
48. Computational Life Sciences II
Michael R. Berthold, Ingrid Fischer, Robert C. Glen, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Computational Linguistics and Intelligent Text Processing
Alexander Gelbukh, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Computational Logic in Multi-Agent Systems
Francesca Toni, Takeo Kanade, Paolo Torroni
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
51.

電子ブック
ＥＢ
51. Computational Methods in Systems Biology
Corrado Priami, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Modal Logics for Brane Calculus / M. Miculan ; G. Bacci
Deciding Behavioural Properties in Brane Calculi / N. Busi
Probabilistic Model Checking of Complex Biological Pathways / J. Heath ; M. Kwiatkowska ; G. Norman ; D. Parker ; O. Tymchyshyn
Type Inference in Systems Biology / F. Fages ; S. Soliman
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods / M. Calder ; A. Duguid ; S. Gilmore ; J. Hillston
A Formal Approach to Molecular Docking / D. Prandi
Feedbacks and Oscillations in the Virtual Cell VICE / D. Chiarugi ; M. Ghinellato ; P. Degano ; G. Lo Brutto ; R. Marangoni
Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins / M. Cavaliere ; S. Sedwards
Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets / L.J. Steggles ; R. Banks ; A. Wipat
Regulatory Network Reconstruction Using Stochastic Logical Networks / B. Wilczynski ; J. Tiuryn
Identifying Submodules of Cellular Regulatory Networks / G. Sanguinetti ; M. Rattray ; N.D. Lawrence
Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks / H. Siebert ; A. Bockmayr
A Computational Model for Eukaryotic Directional Sensing / A. Gamba ; A. de Candia ; F. Cavalli ; S. Di Talia ; A. Coniglio ; F. Bussolino ; G. Serini
Modeling Evolutionary Dynamics of HIV Infection / L. Sguanci ; P. Lio ; F. Bagnoli
Compositional Reachability Analysis of Genetic Networks / G. Gossler
Randomization and Feedback Properties of Directed Graphs Inspired by Gene Networks / M. Cosentino Lagomarsino ; P. Jona ; B. Bassetti
Computational Model of a Central Pattern Generator / E. Cataldo ; J.H. Byrne ; D.A. Baxter
Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation / C. Chettaoui ; F. Delaplace ; P. Lescanne ; M. Vestergaard ; R. Vestergaard
Condition Transition Analysis Reveals TF Activity Related to Nutrient-Limitation-Specific Effects of Oxygen Presence in Yeast / T.A. Knijnenburg ; L.F.A. Wessels ; M.J.T. Reinders
An In Silico Analogue of In Vitro Systems Used to Study Epithelial Cell Morphogenesis / M.R. Grant ; C.A. Hunt
A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion / H. Busch ; W. Sandmann ; V. Wolf
Possibilistic Approach to Biclustering: An Application to Oligonucleotide Microarray Data Analysis / M. Filippone ; F. Masulli ; S. Rovetta ; S. Mitra ; H. Banka
Author Index
Modal Logics for Brane Calculus / M. Miculan ; G. Bacci
Deciding Behavioural Properties in Brane Calculi / N. Busi
Probabilistic Model Checking of Complex Biological Pathways / J. Heath ; M. Kwiatkowska ; G. Norman ; D. Parker ; O. Tymchyshyn
52.

電子ブック
ＥＢ
52. Computational Processing of the Portuguese Language
Renata Vieira, Maria Carmelita Dias, Takeo Kanade, Nuno J. Mamede, Maria das Gra?as Volpe Nunes, Cl?udia Oliveira, Paulo Quaresma
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
53.

電子ブック
ＥＢ
53. Computational Science and Its Applications - ICCSA 2006
Marina L. Gavrilova, Hyunseung Choo, Osvaldo Gervasi, Takeo Kanade, Vipin Kumar, Antonio Lagan?, Youngsong Mun, C. J. Kenneth Tan, David Taniar
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
54.

電子ブック
ＥＢ
54. Computational Science and Its Applications - ICCSA 2006
Marina Gavrilova, Hyunseung Choo, Marina L. Gavrilova, Osvaldo Gervasi, Takeo Kanade, Vipin Kumar, Antonio Lagan?, Youngsong Mun, C. J. Kenneth Tan, David Taniar
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
55.

電子ブック
ＥＢ
55. Computational Science and Its Applications - ICCSA 2006
Marina L. Gavrilova, Hyunseung Choo, Osvaldo Gervasi, Takeo Kanade, Vipin Kumar, Antonio Lagan?, Youngsong Mun, C. J. Kenneth Tan, David Taniar
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
56.

電子ブック
ＥＢ
56. Computational Science and Its Applications - ICCSA 2006
Marina L. Gavrilova, Hyunseung Choo, Osvaldo Gervasi, Takeo Kanade, Vipin Kumar, Antonio Lagan?, Youngsong Mun, C. J. Kenneth Tan, David Taniar
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
57.

電子ブック
ＥＢ
57. Computational Science ? ICCS 2006
Vassil N. Alexandrov, Geert Dick Albada, Jack Dongarra, Takeo Kanade, Peter M. A. Sloot
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
58.

電子ブック
ＥＢ
58. Computational Science ? ICCS 2006
Vassil N. Alexandrov, Geert Dick Albada, Jack Dongarra, Takeo Kanade, Peter M. A. Sloot
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
59.

電子ブック
ＥＢ
59. Computational Science ? ICCS 2006
Vassil N. Alexandrov, Geert Dick Albada, Jack Dongarra, Takeo Kanade, Peter M. A. Sloot
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
60.

電子ブック
ＥＢ
60. Computer Aided Verification
Thomas Ball, Robert B. Jones, Robert Brent Jones, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Formal Specifications on Industrial-Strength Code-From Myth to Reality / Manuvir Das
I Think I Voted: E-Voting vs. Democracy / David Dill
Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs / David Harel
The Ideal of Verified Software / Tony Hoare
Automata / Session 1：
Antichains: A New Algorithm for Checking Universality of Finite Automata / Martin De Wulf ; Laurent Doyen ; Thomas A. Henzinger ; Jean-Francois Raskin
Safraless Compositional Synthesis / Orna Kupferman ; Nir Piterman ; Moshe Y. Vardi
Minimizing Generalized Buchi Automata / Sudeep Juvekar
Tools Papers / Session 2：
Ticc: A Tool for Interface Compatibility and Composition / B. Thomas Adler ; Luca de Alfaro ; Leandro Dias Da Silva ; Marco Faella ; Axel Legay ; Vishwanath Raman ; Pritam Roy
Fast Extended Release / Sebastien Bardin ; Jerome Leroux ; Gerald Point
Arithmetic / Session 3：
Don't Care Words with an Application to the Automata-Based Approach for Real Addition / Jochen Eisinger ; Felix Klaedtke
A Fast Linear-Arithmetic Solver for DPLL(T) / Bruno Dutertre ; Leonardo de Moura
SAT and Bounded Model Checking / Session 4：
Bounded Model Checking for Weak Alternating Buchi Automata / Keijo Heljanko ; Tommi Junttila ; Misa Keinanen ; Martin Lange ; Timo Latvala
Deriving Small Unsatisfiable Cores with Dominators / Roman Gershman ; Maya Koifman ; Ofer Strichman
Abstraction/Refinement / Session 5：
Lazy Abstraction with Interpolants / Kenneth L. McMillan
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop / Himanshu Jain ; Franjo Ivancic ; Aarti Gupta ; Ilya Shlyakhter ; Chao Wang
Counterexamples with Loops for Predicate Abstraction / Daniel Kroening ; Georg Weissenbacher
Cascade: C Assertion Checker and Deductive Engine / Nikhil Sethi ; Clark BarrettSession 6：
Yasm: A Software Model-Checker for Verification and Refutation / Arie Gurfinkel ; Ou Wei ; Marsha Chechik
Symbolic Trajectory Evaluation / Session 7：
SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation / Jan-Willem Roorda ; Koen Claessen
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation / Rachel Tzoref ; Orna Grumberg
Property Specification and Verification / Session 8：
Some Complexity Results for System Verilog Assertions / Down Bustan ; John Havlicek
Check It Out: On the Efficient Formal Verification of Live Sequence Charts / Jochen Klose ; Tobe Toben ; Bernd Westphal ; Hartmut Wittke
Time / Session 9：
Symmetry Reduction for Probabilistic Model Checking / Marta Kwiatkowska ; Gethin Norman ; David Parker
Communicating Timed Automata: The More Synchronous, the More Difficult to Verify / Pavel Krcal ; Wang Yi
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis / Grigore Rosu ; Saddek Bensalem
DiVinE - A Tool for Distributed Verification / Jiri Barnat ; Lubos Brim ; Ivana Cerna ; Pavel Moravec ; Petr Rockai ; Pavel SimecekSession 10：
EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation / Flavio M. de Paula ; Alan J. Hu
Concurrency / Session 11：
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions / Vineet Kahlon ; Nishant Sinha
Model Checking Multithreaded Programs with Asynchronous Atomic Methods / Koushik Sen ; Mahesh Viswanathan
Causal Atomicity / Azadeh Farzan ; P. Madhusudan
Trees, Pushdown Systems and Boolean Programs / Session 12：
Languages of Nested Trees / Rajeev Alur ; Swarat Chaudhuri
Improving Pushdown System Model Checking / Akash Lal ; Thomas Reps
Repair of Boolean Programs with an Application to C / Andreas Griesmayer ; Roderick Bloem ; Byron Cook
Termination / Session 13：
Termination of Integer Linear Programs / Mark Braverman
Automatic Termination Proofs for Programs with Shape-Shifting Heaps / Josh Berdine ; Dino Distefano ; Peter W. O'Hearn
Termination Analysis with Calling Context Graphs / Panagiotis Manolios ; Daron Vroon
Terminator: Beyond Safety / Andreas Podelski ; Audrey RybalchenkoSession 14：
Cute and jCute: Concolic Unit Testing and Explicit Path Model-Checking Tools / Gul Agha
Abstract Interpretation / Session 15：
SMT Techniques for Fast Predicate Abstraction / Shuvendu K. Lahiri ; Robert Nieuwenhuis ; Albert Oliveras
The Power of Hybrid Acceleration / Bernard Boigelot ; Frederic Herbreteau
Lookahead Widening / Denis Gopan
The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover / Kenneth RoeSession 16：
Lever: A Tool for Learning Based Verification / Abhay Vardhan
Memory Consistency / Session 17：
Formal Verification of a Lazy Concurrent List-Based Set Algorithm / Robert Colvin ; Lindsay Groves ; Victor Luchangco ; Mark Moir
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study / Sebastian Burckhardt ; Milo M.K. Martin
Fast and Generalized Polynomial Time Memory Consistency Verification / Amitabha Roy ; Stephan Zeisset ; Charles J. Fleckenstein ; John C. Huang
Shape Analysis / Session 18：
Programs with Lists Are Counter Automata / Ahmed Bouajjani ; Marius Bozga ; Peter Habermehl ; Radu Iosif ; Pierre Moro ; Tomas Vojnar
Lazy Shape Analysis / Dirk Beyer ; Gregory Theoduloz
Abstraction for Shape Analysis with Fast and Precise Transformers / Tal Lev-Ami ; Neil Immerman ; Mooly Sagiv
Author Index
Invited Talks
Formal Specifications on Industrial-Strength Code-From Myth to Reality / Manuvir Das
I Think I Voted: E-Voting vs. Democracy / David Dill
61.

電子ブック
ＥＢ
61. Computer Algebra in Scientific Computing
Victor G. Ganzha, Takeo Kanade, Ernst W. Mayr, Evgenii V. Vorozhtsov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. Computer and Information Sciences ? ISCIS 2006
Albert Levi, Selim Balc?�}soy, Takeo Kanade, Erkay Sava?�, Y??cel Sayg?�}n, H??sn?? Yenig??n
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
63.

電子ブック
ＥＢ
63. Computer Music Modeling and Retrieval
Richard Kronland-Martinet, Takeo Kanade, Thierry Voinier, S?lvi Ystad
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
64.

電子ブック
ＥＢ
64. Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead
Yuji Matsumoto, Takeo Kanade, Richard W. Sproat, Kam-Fai Wong, Min Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
65.

電子ブック
ＥＢ
65. Computer Safety, Reliability, and Security
Janusz G?rski, Janusz Gaorski, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
66.

電子ブック
ＥＢ
66. Computer Science Logic
Zolt?n ?sik, Zoltaan aEsik, Takeo Kanade, European Association for Computer Science Logic.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
67.

電子ブック
ＥＢ
67. Computer Science ? Theory and Applications
Dima Grigoriev, John Harrison, Edward A. Hirsch, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
68.

電子ブック
ＥＢ
68. Computer Security ? ESORICS 2006
Dieter Gollmann, Takeo Kanade, Jan Meier, Andrei Sabelfeld
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
69.

電子ブック
ＥＢ
69. Computer Supported Cooperative Work in Design II
Wei-ming Shen, Jean-Paul A. Barth?s, Kuo-Ming Chao, Anne James, Takeo Kanade, Zongkai Lin, Weiming Shen
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
70.

電子ブック
ＥＢ
70. Computer Vision in Human-Computer Interaction
International Workshop on Human-Computer Interaction, Thomas S. Huang, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
71.

電子ブック
ＥＢ
71. Computer Vision ? ACCV 2006
P. J. Narayanan, Takeo Kanade, Shree K. Nayar, Heung-Yeung Shum
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
72.

電子ブック
ＥＢ
72. Computer Vision ? ACCV 2006
P. J. Narayanan, Takeo Kanade, Shree K. Nayar, Heung-Yeung Shum
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
73.

電子ブック
ＥＢ
73. Computer Vision ? ECCV 2006
Ale?? Leonardis, Horst Bischof, Takeo Kanade, Axel Pinz
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
74.

電子ブック
ＥＢ
74. Computer Vision ? ECCV 2006
Ale?? Leonardis, Horst Bischof, Takeo Kanade, Axel Pinz
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
75.

電子ブック
ＥＢ
75. Computer Vision ? ECCV 2006
Ale?? Leonardis, Horst Bischof, Takeo Kanade, Axel Pinz
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
76.

電子ブック
ＥＢ
76. Computer Vision ? ECCV 2006
Ale?? Leonardis, Horst Bischof, Takeo Kanade, Axel Pinz
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
77.

電子ブック
ＥＢ
77. Computer Vision, Graphics and Image Processing
Prem K. Kalra, Takeo Kanade, Shmuel Peleg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
78.

電子ブック
ＥＢ
78. Computers and Games
H. Jaap Herik, Yngvi Bj?rnsson, Jaap van den Herik, Takeo Kanade, Nathan S. Netanyahu
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
79.

電子ブック
ＥＢ
79. Computers Helping People with Special Needs
Klaus Miesenberger, Takeo Kanade, Arthur I. Karshmer, Joachim Klaus, Wolfgang L. Zagler
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
80.

電子ブック
ＥＢ
80. Computing and Combinatorics
Danny Z. Chen, Takeo Kanade, D. T. Lee
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
The Unpredictable Deviousness of Models / Franco P. Preparata
Security Issues in Collaborative Computing / Mikhail J. Atallah
Computational Economics, Finance, and Management / Session A：
A Simplicial Approach for Discrete Fixed Point Theorems / Xi Chen ; Xiaotie Deng
On Incentive Compatible Competitive Selection Protocol / Becky Jie Liu
Edge Pricing of Multicommodity Networks for Selfish Users with Elastic Demands / George Karakostas ; Stavros G. Kolliopoulos
Aggregating Strategy for Online Auctions / Shigeaki Harada ; Eiji Takimoto ; Akira Maruoka
Graph Algorithms
On Indecomposability Preserving Elimination Sequences / Chandan K. Dubey ; Shashank K. Mehta
Improved Algorithms for the Minmax Regret 1-Median Problem / Hung-I Yu ; Tzu-Chin Lin ; Biing-Feng Wang
Partitioning a Multi-weighted Graph to Connected Subgraphs of Almost Uniform Size / Takehiro Ito ; Kazuya Goto ; Xiao Zhou ; Takao Nishizeki
Characterizations and Linear Time Recognition of Helly Circular-Arc Graphs / Min Chih Lin ; Jayme L. Szwarcfiter
Computational Complexity and Computability
Varieties Generated by Certain Models of Reversible Finite Automata / Marats Golovkins ; Jean-Eric Pin
Iterated TGR Languages: Membership Problem and Effective Closure Properties / Ian McQuillan ; Kai Salomaa ; Mark Daley
On the Negation-Limited Circuit Complexity of Sorting and Inverting k-tonic Sequences / Takayuki Sato ; Kazuyuki Amano
Quantum Computing
Robust Quantum Algorithms with [epsiv]-Biased Oracles / Tomoya Suzuki ; Shigeru Yamashita ; Masaki Nakanishi ; Katsumasa Watanabe
The Complexity of Black-Box Ring Problems / V. Arvind ; Bireswar Das ; Partha Mukhopadhyay
Computational Biology and Medicine
Lower Bounds and Parameterized Approach for Longest Common Subsequence / Xiuzhen Huang
Finding Patterns with Variable Length Gaps or Don't Cares / M. Sohel Rahman ; Costas S. Iliopoulos ; Inbok Lee ; Manal Mohamed ; William F. Smyth
The Matrix Orthogonal Decomposition Problem in Intensity-Modulated Radiation Therapy / Xin Dou ; Xiaodong Wu ; John E. Bayouth ; John M. Buatti
Computational Geometry
A Polynomial-Time Approximation Algorithm for a Geometric Dispersion Problem / Marc Benkert ; Joachim Gudmundsson ; Christian Knauer ; Esther Moet ; Rene van Oostrum ; Alexander Wolff
A PTAS for Cutting Out Polygons with Lines / Sergey Bereg ; Ovidiu Daescu ; Minghui Jiang
On Unfolding Lattice Polygons/Trees and Diameter-4 Trees / Sheung-Hung Boon
Restricted Mesh Simplification Using Edge Contractions / Mattias Andersson ; Christos Levcopoulos
Graph Theory
Enumerating Non-crossing Minimally Rigid Frameworks / David Avis ; Naoki Katoh ; Makoto Ohsaki ; Ileana Streinu ; Shin-ichi Tanigawa
Sequences Characterizing k-Trees / Zvi Lotker ; Debapriyo Majumdar ; N.S. Narayanaswamy ; Ingmar Weber
On the Threshold of Having a Linear Treewidth in Random Graphs / Yong Gao
Computational Biology
Reconciling Gene Trees with Apparent Polytomies / Wen-Chieh Chang ; Oliver Eulenstein
Lower Bounds on the Approximation of the Exemplar Conserved Interval Distance Problem of Genomes / Zhixiang Chen ; Richard H. Fowler ; Bin Fu ; Binhai Zhu
Computing Maximum-Scoring Segments in Almost Linear Time / Fredrik Bengtsson ; Jingsen Chen
Graph Algorithms and Applications / Session B：
Enumerate and Expand: New Runtime Bounds for Vertex Cover Variants / Daniel Molle ; Stefan Richter ; Peter Rossmanith
A Detachment Algorithm for Inferring a Graph from Path Frequency / Hiroshi Nagamochi
The d-Identifying Codes Problem for Vertex Identification in Graphs: Probabilistic Analysis and an Approximation Algorithm / Ying Xiao ; Christoforos Hadjicostis ; Krishnaiyan Thulasiraman
Reconstructing Evolution of Natural Languages: Complexity and Parameterized Algorithms / Iyad A. Kanj ; Luay Nakhleh ; Ge Xia
On-Line Algorithms
On Dynamic Bin Packing: An Improved Lower Bound and Resource Augmentation Analysis / Wun-Tat Chan ; Prudence W.H. Wong ; Fencol C.C. Yung
Improved On-Line Broadcast Scheduling with Deadlines / Feifeng Zheng ; Stanley P.Y. Fung ; Wun- Tat Chan ; Y.L. Chin ; Chung Keung Poon
A Tight Analysis of Most-Requested-First for On-Demand Data Broadcast / Regant Y.S. Hung ; H.F. Ting
On Lazy Bin Covering and Packing Problems / Mingen Lin ; Yang Yang ; Jinhui Xu
Creation and Growth of Components in a Random Hypergraph Process / Vlady Ravelomanana ; Alphonse Laza Rijamamy
Optimal Acyclic Edge Colouring of Grid Like Graphs / Rahul Muthu ; N. Narayanan ; C.R. Subramanian
An Edge Ordering Problem of Regular Hypergraphs / Hongbing Fan ; Robert Kalbfleisch
Algorithms for Security and Systems
Efficient Partially Blind Signature Scheme with Provable Security / Zheng Gong ; Xiangxue Li ; Kefei Chen
A Rigorous Analysis for Set-Up Time Models - A Metric Perspective / Eitan Bachmat ; Tao Kai Lam ; Avner Magen
Discrete Geometry and Graph Theory
Geometric Representation of Graphs in Low Dimension / L. Sunil Chandran ; Naveen Sivadasan
The On-Line Heilbronn's Triangle Problem in d Dimensions / Gill Barequet ; Alina Shaikhet
Counting d-Dimensional Polycubes and Nonrectangular Planar Polyominoes / Gadi Aleksandrowicz
Approximation Algorithms
Approximating Min-Max (Regret) Versions of Some Polynomial Problems / Hassene Aissi ; Cristina Bazgan ; Daniel Vanderpooten
The Class Constrained Bin Packing Problem with Applications to Video-on-Demand / E.C. Xavier ; F.K. Miyazawa
MAX-SNP Hardness and Approximation of Selected-Internal Steiner Trees / Sun- Yuan Hsieh ; Shih- Cheng Yang
Minimum Clique Partition Problem with Constrained Weight for Interval Graphs / Jianbo Li ; Mingxia Chen ; Jianping Li ; Weidong Li
Overlap-Free Regular Languages / Yo-Sub Han ; Derick Wood
On the Combinatorial Representation of Information / Joel Ratsaby
Finding Small OBDDs for Incompletely Specified Truth Tables Is Hard / Jesper Torp Kristensen ; Peter Bro Miltersen
Experimental Algorithms
Bimodal Crossing Minimization / Christoph Buchheim ; Michael Junger ; Annette Menze ; Merijam Percan
Fixed Linear Crossing Minimization by Reduction to the Maximum Cut Problem / Lanbo Zheng
On the Effectiveness of the Linear Programming Relaxation of the 0-1 Multi-commodity Minimum Cost Network Flow Problem / Dae-Sik Choi ; In-Chan Choi
Author Index
Invited Talks
The Unpredictable Deviousness of Models / Franco P. Preparata
Security Issues in Collaborative Computing / Mikhail J. Atallah
81.

電子ブック
ＥＢ
81. Conceptual Modeling - ER 2006
David W. Embley, Takeo Kanade, A. Oliv?, Antoni Oliv?, Sudha Ram
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
82.

電子ブック
ＥＢ
82. Conceptual Structures: Inspiration and Application
Henrik Sch?rfe, Pascal Hitzler, Takeo Kanade, Peter ?hrstr?m
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
83.

電子ブック
ＥＢ
83. CONCUR 2006 ? Concurrency Theory
Christel Baier, Holger Hermanns, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Contributions
Modeling Timed Concurrent Systems / Xiaojun Liu ; Eleftherios Matsikoudis ; Edward A. Lee
Some Remarks on Definability of Process Graphs / Clemens Grabmayer ; Jan Willem Klop ; Bas Luttik
Sanity Checks in Formal Verification / Orna Kupferman
Invited Tutorials
Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi / Uwe Nestmann
Probability and Nondeterminism in Operational Models of Concurrency / Roberto Segala
Model Checking
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems / Stefan Leue ; Alin Stefdnescu ; Wei Wei
Proving Liveness by Backwards Reachability / Parosh Aziz Abdulla ; Bengt Jonsson ; Ahmed Rezine ; Mayank Saksena
Model Checking Quantified Computation Tree Logic / Arend Rensink
Process Calculi
Liveness, Fairness and Impossible Futures / Rob van Glabbeek ; Marc Voorhoeve
Checking a Mutex Algorithm in a Process Algebra with Fairness / Flavio Corradini ; Maria Rita Di Berardini ; Walter Vogler
A Complete Axiomatic Semantics for the CSP Stable-Failures Model / Yoshinao Isobe ; Markus Roggenbach
Transition Systems of Elementary Net Systems with Localities / Maciej Koutny ; Marta Pietkiewicz-Koutny
Minimization and Equivalence Checking
Operational Determinism and Fast Algorithms / Henri Hansen ; Antti Valmari
Minimization, Learning, and Conformance Testing of Boolean Programs / Viraj Kumar ; P. Madhusudan ; Mahesh Viswanathan
A Capability Calculus for Concurrency and Determinism / Tachio Terauchi ; Alex Aiken
Types
A New Type System for Deadlock-Free Processes / Naoki Kobayashi
Sortings for Reactive Systems / Lars Birkedal ; Soren Debois ; Thomas Hildebrandt
Dynamic Access Control in a Concurrent Object Calculus / Avik Chaudhuri
Semantics
Concurrent Rewriting for Graphs with Equivalences / Paolo Baldan ; Fabio Gadducci ; Ugo Montanari
Event Structure Semantics for Nominal Calculi / Roberto Bruni ; Hernan Melgratti
Encoding CDuce in the C[pi]-Calculus / Giuseppe Castagna ; Mariangiola Dezani-Ciancaglini ; Daniele Varacca
Probability
A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification / Suzana Andova ; Jos C.M. Baeten ; Tim A.C. Willemse
Probabilistic I/O Automata: Theories of Two Equivalences / Eugene W. Stark ; Rance Cleaveland ; Scott A. Smolka
Reachability in Recursive Markov Decision Processes / Tomas Brazdil ; Vaclav Brozek ; Vojtech Forejt ; Antonin Kucera
Strategy Improvement for Stochastic Rabin and Streett Games / Krishnendu Chatterjee ; Thomas A. Henzinger
Bisimulation and Simulation
Weak Bisimulation Up to Elaboration / Damien Pous
Generic Forward and Backward Simulations / Ichiro Hasuo
On Finite Alphabets and Infinite Bases III: Simulation / Taolue Chen ; Wan Fokkink
Real Time
Inference of Event-Recording Automata Using Timed Decision Trees / Olga Grinchtein ; Paul Pettersson
Controller Synthesis for MTL Specifications / Patricia Bouyer ; Laura Bozzelli ; Fabrice Chevalier
On Interleaving in Timed Automata / Ramzi Ben Salah ; Marius Bozga ; Oded Maler
Formal Languages
A Language for Task Orchestration and Its Semantic Properties / David Kitchin ; William R. Cook ; Jayadev Misra
Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words / Sarai Sheinvald-Faragy
Second-Order Simple Grammars / Colin Stirling
Author Index
Invited Contributions
Modeling Timed Concurrent Systems / Xiaojun Liu ; Eleftherios Matsikoudis ; Edward A. Lee
Some Remarks on Definability of Process Graphs / Clemens Grabmayer ; Jan Willem Klop ; Bas Luttik
84.

電子ブック
ＥＢ
84. Constraint-Based Mining and Inductive Databases
Jean-Fran?ois Boulicaut, Takeo Kanade, Heikki Mannila, Luc Raedt, Luc de Raedt
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
85.

電子ブック
ＥＢ
85. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Benjamin Gr?goire, Marieke Huisman, Takeo Kanade, Jean-Louis Lanet, Institut national de recherche en informatique et en automatique (France)
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
86.

電子ブック
ＥＢ
86. Cooperative Information Agents X
Matthias Klusch, Takeo Kanade, Terry R. Payne, Michael Rovatsos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
87.

電子ブック
ＥＢ
87. Coordination Models and Languages
Paolo Ciancarini, Takeo Kanade, Herbert Wiklicky
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
88.

電子ブック
ＥＢ
88. Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems
Olivier Boissier, Virginia Dignum, Takeo Kanade, Gabriela Lindemann, Eric Matson, Sascha Ossowski, Julian Padget, Jaime Sim?o Sichman, Javier V?zquez-Salceda
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Critical Information Infrastructures Security
Javier Lopez, Takeo Kanade, Javier L?pez
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
90.

電子ブック
ＥＢ
90. Cryptographic Hardware and Embedded Systems - CHES 2006
Louis Goubin, Takeo Kanade, Mitsuru Matsui
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
91.

電子ブック
ＥＢ
91. Cryptology and Network Security
David Pointcheval, Kefei Chen, Takeo Kanade, Yi Mu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
92.

電子ブック
ＥＢ
92. Current Topics in Artificial Intelligence
Roque Mar?n, Alberto Bugar?n, Takeo Kanade, Eva Onaind?a, Jos? Santos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
93.

電子ブック
ＥＢ
93. Current Trends in Database Technology ? EDBT 2006
Torsten Grust, Hagen H?pfner, Arantza Illarramendi, Stefan Jablonski, Takeo Kanade, Marco Mesiti, Sascha M?ller, Paula-Lavinia Patranjan, Kai-Uwe Sattler, Myra Spiliopoulou, Jef Wijsen
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
EDBT Ph.D. Workshop
Phenomenon-Aware Sensor Database Systems / M.H. Ali
Scalable Continuous Query Processing and Moving Object Indexing in Spatio-temporal Databases / Xiaopeng Xiong
Tolerant Ad Hoc Data Propagation with Error Quantification / Philipp Rosch
Spatio-temporal Aggregates over Streaming Geospatial Image Data / Jie Zhang
Interoperation Between Information Spaces on the Web / Andreas Harth
Enhancing User Interaction and Efficiency with Structural Summaries for Fast and Intuitive Access to XML Databases / Felix Weigel
Orchestrating Access Control in Peer Data Management Systems / Christoph Sturm
Moving Objects in Networks Databases / Victor Teixeira de Almeida
Change Management in Large-Scale Enterprise Information Systems / Boris Stumm
Constructing Optimal Wavelet Synopses / Dimitris Sacharidis
Towards a Secure Service Coordination / Thi-Huong-Giang Vu
Document Interrogation: Architecture, Information Extraction and Approximate Answers / Soraya Abad-Mota
Second International Workshop on Database Technologies for Handling XML Information on the Web (DataX'06)
The Importance of Algebra for XML Query Processing / Stelios Paparizos ; H. V. Jagadish
Hash-Based Structural Join Algorithms / Christian Mathis ; Theo Harder
Efficiently Processing XML Queries over Fragmented Repositories with PartiX / Alexandre Andrade ; Gabriela Ruberg ; Fernanda Baiao ; Vanessa P. Braganholo ; Marta Mattoso
Validity-Sensitive Querying of XML Databases / Slawomir Staworko ; Jan Chomicki
XQuery!: An XML Query Language with Side Effects / Giorgio Ghelli ; Christopher Re ; Jerome Simeon
Conflict Resolution in Updates Through XML Views / Andre Prisco Vargas ; Carlos A. Heuser
Efficient Integrity Checking over XML Documents / Daniele Braga ; Alessandro Campi ; Davide Martinenghi
An Evaluation of the Use of XML for Representation, Querying, and Analysis of Molecular Interactions / Lena Stromback ; David Hall
Confidentiality Enforcement for XML Outsourced Data / Barbara Carminati ; Elena Ferrari
Query Translation for XPath-Based Security Views / Roel Vercammen ; Jan Hidders ; Jan Paredaens
Management of Executable Schema Mappings for XML Data Exchange / Tadeusz Pankowski
Inconsistency and Incompleteness in Databases (IIDB)
Models for Incomplete and Probabilistic Information / Todd J. Green ; Val Tannen
DART: A Data Acquisition and Repairing Tool / Bettina Fazzinga ; Sergio Flesca ; Filippo Furfaro ; Francesco Parisi
Preference-Driven Querying of Inconsistent Relational Databases / Jerzy Marcinkowski
Semantically Correct Query Answers in the Presence of Null Values / Loreto Bravo ; Leopoldo Bertossi
On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases / Domenico Lembo ; Riccardo Rosati ; Marco Ruzzi
Workshop on Information in Health Care (IIHA)
Managing Valid Time Semantics for Semistructured Multimedia Clinical Data / Carlo Combi ; Barbara Oliboni
Context-Sensitive Clinical Data Integration / James F. Terwilliger ; Lois M.L. Delcambre ; Judith Logan
An Integrated Platform for Analyzing Molecular-Biological Data Within Clinical Studies / Toralf Kirsten ; Jorg Lange ; Erhard Rahm
Data Integration Targeting a Drug Related Knowledge Base / Olivier Cure ; Raphael Squelbut
Data Management in Medicine: The EPIweb Information System, a Case Study and Some Open Issues / Pierpaolo Vittorini ; Ferdinando di Orio
A Tag-Based Data Model for Privacy-Preserving Medical Applications / Surya Nepal ; John Zic ; Frederic Jaccard ; Gregoire Kraehenbuehl
International Conference on Semantics of a Networked World: Semantics of Sequence and Time Dependent Data (ICSNW'06)
Window Specification over Data Streams / Kostas Patroumpas ; Timos Sellis
Using Temporal Semantics for Live Media Stream Queries / Bin Liu ; Amarnath Gupta ; Ramesh Jain
Summa Contra Ontologiam / Simone Santini
Dynamic Plan Migration for Snapshot-Equivalent Continuous Queries in Data Stream Systems / Jurgen Kramer ; Yin Yang ; Michael Cammert ; Bernhard Seeger ; Dimitris Papadias
Unsatisfiability Reasoning in ORM Conceptual Schemes / Mustafa Jarrar ; Stijn Heymans
Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach / Yue Ma ; Zuoquan Lin ; Zhangang Lin
Configuring Intelligent Mediators Using Ontologies / Gennaro Bruno ; Christine Collet ; Genoveva Vargas-Solar
OntoBuilder: Fully Automatic Extraction and Consolidation of Ontologies from Web Sources Using Sequence Semantics / Haggai Roitman ; Avigdor Gal
Query Languages and Query Processing (QLQP-2006)
Query Transformation of SQL into XQuery Within Federated Environments / Heiko Jahnkuhn ; Ilvio Bruder ; Ammar Balouch ; Manja Nelius ; Andreas Heuer
A Foundation for the Replacement of Pipelined Physical Join Operators in Adaptive Query Processing / Kwanchai Eurviriyanukul ; Alvaro A.A. Fernandes ; Norman W. Paton
Implementing a Linguistic Query Language for Historic Texts / Lukas C. Faulstich ; Ulf Leser ; Thorsten Vitt
NeuroQL: A Domain-Specific Query Language for Neuroscience Data / Hao Tian ; Rajshekhar Sunderraman ; Robert Calin-Jageman ; Hong Yang ; Ying Zhu ; Paul S. Katz
Querying Semistructured Temporal Data / Nico Lavarini
A Query Algebra for XML P2P Databases / Carlo Sartiani
Apuama: Combining Intra-query and Inter-query Parallelism in a Database Cluster / Bernardo Miranda ; Alexandre A.B. Lima ; Patrick Valduriez
Querying Along XLinks in XPath/XQuery: Situation, Applications, Perspectives / Erik Behrends ; Oliver Fritzen ; Wolfgang May
Towards Similarity-Based Topological Query Languages / Alberto Belussi ; Omar Boucelma ; Barbara Catania ; Yassine Lassoued ; Paola Podesta
A Data and Query Model for Streaming Geospatial Image Data / Michael Gertz ; Quinn Hart ; Carlos Rueda ; Shefali Singhal
Enhanced Regular Path Queries on Semistructured Databases / Dan Stefanescu ; Alex Thomo
A Calculus for Propagating Semantic Annotations Through Scientific Workflow Queries / Shawn Bowers ; Bertram Ludascher
Second International Workshop on Pervasive Information Management (PIM 2006)
ShareEnabler: Policy-Driven Access Management for Ad-Hoc Collaborative Sharing / Jing Jin ; Gail-Joon Ahn ; Mukesh Singhal
Context Consistency Management Using Ontology Based Model / Yingyi Bu ; Shaxun Chen ; Jun Li ; Xianping Tao ; Jian Lu
Activity Policy-Based Service Discovery for Pervasive Computing / Woohyun Kim ; Saehoon Kang ; Younghee Lee ; Dongman Lee ; Inyoung Ko
Data Stream Sharing / Richard Kuntschke ; Alfons Kemper
Second International Workshop on Pattern Representation and Management (PaRMa'06)
Flexible Pattern Management Within Psycho / Anna Maddalena
NaviMoz: Mining Navigational Patterns in Portal Catalogs / Eleni Christodoulou ; Theodore Dalamagas
An XML-Based Database for Knowledge Discovery / Rosa Meo ; Giuseppe Psaila
Pattern-Based Query Answering / Alkis Simitsis ; Georgia Koutrika
Reactivity on the Web
Twelve Theses on Reactive Rules for the Web / Francois Bry ; Michael Eckert
Event-Condition-Action Rule Languages for the Semantic Web / Alexandra Poulovassilis ; George Papamarkos ; Peter T. Wood
ActiveXQBE: A Visual Paradigm for Triggers over XML Data / Alessandro Raffio
Visual Modeling of ReActive Web Applications / Federico Michele Facca ; Florian Daniel
An ECA Engine for Deploying Heterogeneous Component Languages in the Semantic Web / Daniel Schubert
Prova: Rule-Based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics / Alex Kozlenkov ; Rafael Penaloza ; Vivek Nigam ; Loic Royer ; Gihan Dawelbait ; Michael Schroeder
Reactivity in Online Auctions / Adriano Pereira ; Fernando Mourao ; Paulo Goes ; Wagner Meira Jr.
Event Correlation and Pattern Detection in CEDR / Roger S. Barga ; Hillary Caituiro-Monge
Author Index
EDBT Ph.D. Workshop
Phenomenon-Aware Sensor Database Systems / M.H. Ali
Scalable Continuous Query Processing and Moving Object Indexing in Spatio-temporal Databases / Xiaopeng Xiong
94.

電子ブック
ＥＢ
94. Data and Applications Security XX
Ernesto Damiani, Takeo Kanade, Peng Liu
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Creating Objects in the Flexible Authorization Framework / Nicola Zannone ; Sushil Jajodia ; Duminda Wijesekera
Detection and Resolution of Anomalies in Firewall Policy Rules / Muhammad Abedin ; Syeda Nessa ; Latifur Khan ; Bhavani Thuraisingham
On Finding an Inference-Proof Complete Database for Controlled Query Evaluation / Joachim Biskup ; Lena Wiese
Consolidating the Access Control of Composite Applications and Workflows / Martin Wimmer ; Alfons Kemper ; Maarten Rits ; Volkmar Lotz
Authenticating Multi-dimensional Query Results in Data Publishing / Weiwei Cheng ; HweeHwa Pang ; Kian-Lee Tan
Xml Streams Watermarking / Julien Lafaye ; David Gross-Amblard
Aggregation Queries in the Database-As-a-Service Model / Einar Mykletun ; Gene Tsudik
Policy Classes and Query Rewriting Algorithm for XML Security Views / Nataliya Rassadko
Interactive Analysis of Attack Graphs Using Relational Queries / Lingyu Wang ; Chao Yao ; Anoop Singhal
Notarized Federated Identity Management for Web Services / Michael T. Goodrich ; Roberto Tamassia ; Danfeng Yao
Resolving Information Flow Conflicts in RBAC Systems / Noa Tuval ; Ehud Gudes
Policy Transformations for Preventing Leakage of Sensitive Information in Email Systems / Saket Kaushik ; William Winsborough ; Paul Ammann
Term Rewriting for Access Control / Steve Barker ; Maribel Fernandez
Discretionary and Mandatory Controls for Role-Based Administration / Jason Crampton
A Distributed Coalition Service Registry for Ad-Hoc Dynamic Coalitions: A Service-Oriented Approach / Ravi Mukkamala ; Vijayalakshmi Atluri ; Janice Warner ; Ranjit Abbadasari
Enhancing User Privacy Through Data Handling Policies / Claudio Ardagna ; Sabrina De Capitani di Vimercati ; Pierangela Samarati
Efficient Enforcement of Security Policies Based on Tracking of Mobile Users / Heechang Shin
A Framework for Flexible Access Control in Digital Library Systems / Indrajit Ray ; Sudip Chakraborty
Authrule: A Generic Rule-Based Authorization Module / Sonke Busch ; Bjorn Muschall ; Gunther Pernul ; Torsten Priebe
Aspect-Oriented Risk Driven Development of Secure Applications / Geri Georg ; Siv Hilde Houmb ; Indrakshi Ray
From Business Process Choreography to Authorization Policies / Philip Robinson ; Florian Kerschbaum ; Andreas Schaad
Information Theoretical Analysis of Two-Party Secret Computation / Da-Wei Wang ; Churn-Jung Liau ; Yi-Ting Chiang ; Tsan-sheng Hsu
Author Index
Creating Objects in the Flexible Authorization Framework / Nicola Zannone ; Sushil Jajodia ; Duminda Wijesekera
Detection and Resolution of Anomalies in Firewall Policy Rules / Muhammad Abedin ; Syeda Nessa ; Latifur Khan ; Bhavani Thuraisingham
On Finding an Inference-Proof Complete Database for Controlled Query Evaluation / Joachim Biskup ; Lena Wiese
95.

電子ブック
ＥＢ
95. Data Engineering Issues in E-Commerce and Services
Juhnyoung Lee, Christoph Bussler, Takeo Kanade, Sang-goo Lee, Junho Shim, Simon Shim
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
96.

電子ブック
ＥＢ
96. Data Integration in the Life Sciences
Ulf Leser, Barbara Eckman, Barbara A. Eckman, Takeo Kanade, Felix Naumann
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
97.

電子ブック
ＥＢ
97. Data Mining
Graham J. Williams, Takeo Kanade, Simeon J. Simoff
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
98.

電子ブック
ＥＢ
98. Data Mining and Bioinformatics
Mehmet M. Dalkilic, Takeo Kanade, Sun Kim, Jiong Yang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
99.

電子ブック
ＥＢ
99. Data Mining for Biomedical Applications
Jinyan Li, Takeo Kanade, Ah-Hwee Tan, Qiang Yang
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
100.

電子ブック
ＥＢ
100. Data Warehousing and Knowledge Discovery
A Min Tjoa, Takeo Kanade, Juan Trujillo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
ETL Processing
ETLDiff: A Semi-automatic Framework for Regression Test of ETL Software / Christian Thomsen ; Torben Bach Pedersen
Applying Transformations to Model Driven Data Warehouses / Jose-Norberto Mazon ; Jesus Pardillo ; Juan Trujillo
Bulk Loading a Linear Hash File / Davood Rafiei ; Cheng Hu
Materialized View
Dynamic View Selection for OLAP / Michael Lawrence ; Andrew Rau-Chaplin
Preview: Optimizing View Materialization Cost in Spatial Data Warehouses / Songmei Yu ; Vijayalakshmi Atluri ; Nabil Adam
Preprocessing for Fast Refreshing Materialized Views in DB2 / Wugang Xu ; Calisto Zuzarte ; Dimitri Theodoratos ; Wenbin Ma
Multidimensional Design
A Multiversion-Based Multidimensional Model / Franck Ravat ; Olivier Teste ; Gilles Zurfluh
Towards Multidimensional Requirement Design / Estella Annoni
Multidimensional Design by Examples / Oscar Romero ; Alberto Abello
OLAP and Multidimensional Model
Extending Visual OLAP for Handling Irregular Dimensional Hierarchies / Svetlana Mansmann ; Marc H. Scholl
A Hierarchy-Driven Compression Technique for Advanced OLAP Visualization of Multidimensional Data Cubes / Alfredo Cuzzocrea ; Domenico Sacca ; Paolo Serafino
Analysing Multi-dimensional Data Across Autonomous Data Warehouses / Stefan Berger ; Michael Schrefl
What Time Is It in the Data Warehouse? / Stefano Rizzi ; Matteo Golfarelli
Cubes Processing
Computing Iceberg Quotient Cubes with Bounding / Xiuzhen Zhang ; Pauline Lienhua Chou ; Kotagiri Ramamohanarao
An Effective Algorithm to Extract Dense Sub-cubes from a Large Sparse Cube / Seok-Lyong Lee
On the Computation of Maximal-Correlated Cuboids Cells / Ronnie Alves ; Orlando Belo
Data Warehouse Applications
Warehousing Dynamic XML Documents / Laura Irina Rusu ; Wenny Rahayu ; David Taniar
Integrating Different Grain Levels in a Medical Data Warehouse Federation / Marko Banek ; A Min Tjoa ; Nevena Stolba
A Versioning Management Model for Ontology-Based Data Warehouses / Dung Nguyen Xuan ; Ladjel Bellatreche ; Guy Pierra
Data Warehouses in Grids with High QoS / Rogerio Luis de Carvalho Costa ; Pedro Furtado
Mining Techniques (1)
Mining Direct Marketing Data by Ensembles of Weak Learners and Rough Set Methods / Jerzy Blaszczynski ; Krzysztof Dembczynski ; Wojciech Kotlowski ; Mariusz Pawlowski
Efficient Mining of Dissociation Rules / Mikolaj Morzy
Optimized Rule Mining Through a Unified Framework for Interestingness Measures / Celine Hebert ; Bruno Cremilleux
An Information-Theoretic Framework for Process Structure and Data Mining / Antonio D. Chiaravalloti ; Gianluigi Greco ; Antonella Guzzo ; Luigi Pontieri
Mining Techniques (2)
Mixed Decision Trees: An Evolutionary Approach / Marek Kretowski ; Marek Grzes
ITER: An Algorithm for Predictive Regression Rule Extraction / Johan Huysmans ; Bart Baesens ; Jan Vanthienen
Cobra: Closed Sequential Pattern Mining Using Bi-phase Reduction Approach / Kuo-Yu Huang ; Chia-Hui Chang ; Jiun-Hung Tung ; Cheng-Tao Ho
Frequent Itemsets
A Greedy Approach to Concurrent Processing of Frequent Itemset Queries / Pawel Boinski ; Marek Wojciechowski ; Maciej Zakrzewicz
Two New Techniques for Hiding Sensitive Itemsets and Their Empirical Evaluation / Ahmed HajYasien ; Vladimir Estivill-Castro
EStream: Online Mining of Frequent Sets with Precise Error Guarantee / Xuan Hong Dang ; Wee-Keong Ng ; Kok-Leong Ong
Mining Data Streams
Granularity Adaptive Density Estimation and on Demand Clustering of Concept-Drifting Data Streams / Weiheng Zhu ; Jian Pei ; Jian Yin ; Yihuang Xie
Classification of Hidden Network Streams / Matthew Gebski ; Alex Penev ; Raymond K. Wong
Adaptive Load Shedding for Mining Frequent Patterns from Data Streams
An Approximate Approach for Mining Recently Frequent Itemsets from Data Streams / Jia-Ling Koh ; Shu-Ning Shin
Ontology-Based Mining
Learning Classifiers from Distributed, Ontology-Extended Data Sources / Doina Caragea ; Jun Zhang ; Jyotishman Pathak ; Vasant Honavar
A Coherent Biomedical Literature Clustering and Summarization Approach Through Ontology-Enriched Graphical Representations / Illhoi Yoo ; Xiaohua Hu ; Il-Yeol Song
Automatic Extraction for Creating a Lexical Repository of Abbreviations in the Biomedical Literature / Min Song ; Ki Jung Lee
Clustering
Priority-Based k-Anonymity Accomplished by Weighted Generalisation Structures / Konrad Stark ; Johann Eder ; Kurt Zatloukal
Achieving k-Anonymity by Clustering in Attribute Hierarchical Structures / Jiuyong Li ; Raymond Chi-Wing Wong ; Ada Wai-Chee Fu
Calculation of Density-Based Clustering Parameters Supported with Distributed Processing / Marcin Gorawski ; Rafal Malczok
Cluster-Based Sampling Approaches to Imbalanced Data Distributions / Show-Jane Yen ; Yue-Shi Lee
Advanced Mining Techniques
Efficient Mining of Large Maximal Bicliques / Guimei Liu ; Kelvin S.H Sim ; Jinyan Li
Automatic Image Annotation by Mining the Web / Zhiguo Gong ; Qian Liu ; Jingbai Zhang
Privacy Preserving Spatio-temporal Clustering on Horizontally Partitioned Data / Ali Inan ; Yucel Saygin
Association Rules
Discovering Semantic Sibling Associations from Web Documents with XTREEM-SP / Marko Brunzel ; Myra Spiliopoulou
Difference Detection Between Two Contrast Sets / Hui-jing Huang ; Yongsong Qin ; Xiaofeng Zhu ; Jilian Zhang ; Shichao Zhang
EGEA: A New Hybrid Approach Towards Extracting Reduced Generic Association Rule Set (Application to AML Blood Cancer Therapy) / M.A. Esseghir ; G. Gasmi ; Sadok Ben Yahia ; Y. Slimani
Miscellaneous Applications
AISS: An Index for Non-timestamped Set Subsequence Queries / Witold Andrzejewski ; Tadeusz Morzy
A Method for Feature Selection on Microarray Data Using Support Vector Machine / Xiao Bing Huang ; Jian Tang
Providing Persistence for Sensor Data Streams by Remote WAL / Hideyuki Kawashima ; Michita Imai ; Yuichiro Anzai
Classification
Support Vector Machine Approach for Fast Classification / Keivan Kianmehr ; Reda Alhajj
Document Representations for Classification of Short Web-Page Descriptions / Milos Radovanovic ; Mirjana Ivanovic
GARC: A New Associative Classification Approach / Ines Bouzouita ; Samir Elloumi
Conceptual Modeling for Classification Mining in Data Warehouses / Jose Zubcoff
Author Index
ETL Processing
ETLDiff: A Semi-automatic Framework for Regression Test of ETL Software / Christian Thomsen ; Torben Bach Pedersen
Applying Transformations to Model Driven Data Warehouses / Jose-Norberto Mazon ; Jesus Pardillo ; Juan Trujillo
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼