close
1.

電子ブック

EB
Francisco J. Perales, R. B. Fisher, Robert B. Fisher, Takeo Kanade, Francisco Jos? Perales
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
2.

電子ブック

EB
El-Ghazali Talbi, Pierre Collet, Takeo Kanade, Pierre Liardet, Evelyne Lutton, Marc Schoenauer
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
3.

電子ブック

EB
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
4.

電子ブック

EB
J?r?me Euzenat, John Domingue, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
5.

電子ブック

EB
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
6.

電子ブック

EB
Leszek Rutkowski, Takeo Kanade, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. ??urada
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
7.

電子ブック

EB
Jacques Calmet, Tetsuo Ida, Takeo Kanade, Dongming Wang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
8.

電子ブック

EB
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
9.

電子ブック

EB
Stefanos D. Kollias, Takeo Kanade, Andreas Stafylopatis
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
10.

電子ブック

EB
Stefanos Kollias, Takeo Kanade, Andreas Stafylopatis
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
11.

電子ブック

EB
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
12.

電子ブック

EB
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
13.

電子ブック

EB
Hoon Hong, Takeo Kanade, Dongming Wang
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
14.

電子ブック

EB
Ulrich Furbach, Takeo Kanade, N. Shankar, Natarajan Shankar
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
15.

電子ブック

EB
Susanne Graf, Takeo Kanade, Wenhui Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
16.

電子ブック

EB
Manfred Broy, M. Broy, Takeo Kanade, Ingolf Kr??uger, Ingolf H. Kr?ger, Michael Meisinger
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
17.

電子ブック

EB
Laurence T. Yang, Hai Jin, Takeo Kanade, Jianhua Ma, Theo Ungerer, Laurence Tianruo Yang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
18.

電子ブック

EB
Ioannis Stavrakakis, Takeo Kanade, Michael Smirnov, Mikhail I. Smirnov, International Federation for Information Processing.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
19.

電子ブック

EB
Ahmed Helmy, Brendan Jennings, Takeo Kanade, Liam Murphy, Tom Pfeifer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
20.

電子ブック

EB
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…
21.

電子ブック

EB
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…
22.

電子ブック

EB
Jacques Julliand, Takeo Kanade, Olga Kouchnarenko
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
23.

電子ブック

EB
Nicos Maglaveras, R?diger Brause, Ioanna Chouvarda, Takeo Kanade, Vassilis Koutkias
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
24.

電子ブック

EB
Josien P. W. Pluim, Frans A. Gerritsen, Takeo Kanade, Bo??tjan Likar
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
25.

電子ブック

EB
Matthias Harders, Takeo Kanade, Gaabor Szaekely, G?bor Sz?kely
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
26.

電子ブック

EB
Schahram Dustdar, Josae Luiz Fiadeiro, Jos? Luiz Fiadeiro, Takeo Kanade, Amit P. Sheth
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
27.

電子ブック

EB
Christoph J. Bussler, Armin Haller, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
28.

電子ブック

EB
Johann Eder, Schahram Dustdar, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
29.

電子ブック

EB
Samira Yacoubi, Stefania Bandini, Bastien Chopard, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
30.

電子ブック

EB
Zolt?n Horv?th, Zoltaan Horvaath, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
31.

電子ブック

EB
Qiang Huo, Eng-Siong Chng, Takeo Kanade, Haizhou Li, Bin Ma
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
32.

電子ブック

EB
?yvind Ytrehus, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
33.

電子ブック

EB
Henrik I. Christensen, Takeo Kanade, H. H. Nagel, Hans-Hellmut Nagel
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
34.

電子ブック

EB
Thomas Erlebach, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
35.

電子ブック

EB
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…
36.

電子ブック

EB
Moshe Lewenstein, Takeo Kanade, Gabriel Valiente
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
37.

電子ブック

EB
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
38.

電子ブック

EB
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
39.

電子ブック

EB
Alan Mycroft, Takeo Kanade, Andreas Zeller
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
40.

電子ブック

EB
Ian Gorton, George T. Heineman, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
41.

電子ブック

EB
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
42.

電子ブック

EB
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
43.

電子ブック

EB
Michael R. Berthold, Ingrid Fischer, Robert C. Glen, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
44.

電子ブック

EB
Alexander Gelbukh, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
45.

電子ブック

EB
Francesca Toni, Takeo Kanade, Paolo Torroni
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
46.

電子ブック

EB
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
47.

電子ブック

EB
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…
48.

電子ブック

EB
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…
49.

電子ブック

EB
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…
50.

電子ブック

EB
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…
51.

電子ブック

EB
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…
52.

電子ブック

EB
Vassil N. Alexandrov, Geert Dick Albada, Jack Dongarra, Takeo Kanade, Peter M. A. Sloot
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
53.

電子ブック

EB
Vassil N. Alexandrov, Geert Dick Albada, Jack Dongarra, Takeo Kanade, Peter M. A. Sloot
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
54.

電子ブック

EB
Vassil N. Alexandrov, Geert Dick Albada, Jack Dongarra, Takeo Kanade, Peter M. A. Sloot
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
55.

電子ブック

EB
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
56.

電子ブック

EB
Victor G. Ganzha, Takeo Kanade, Ernst W. Mayr, Evgenii V. Vorozhtsov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
57.

電子ブック

EB
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…
58.

電子ブック

EB
Richard Kronland-Martinet, Takeo Kanade, Thierry Voinier, S?lvi Ystad
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
59.

電子ブック

EB
Yuji Matsumoto, Takeo Kanade, Richard W. Sproat, Kam-Fai Wong, Min Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
60.

電子ブック

EB
Janusz G?rski, Janusz Gaorski, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
61.

電子ブック

EB
Zolt?n ?sik, Zoltaan aEsik, Takeo Kanade, European Association for Computer Science Logic.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
62.

電子ブック

EB
Dima Grigoriev, John Harrison, Edward A. Hirsch, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
63.

電子ブック

EB
Dieter Gollmann, Takeo Kanade, Jan Meier, Andrei Sabelfeld
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
64.

電子ブック

EB
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…
65.

電子ブック

EB
International Workshop on Human-Computer Interaction, Thomas S. Huang, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
66.

電子ブック

EB
P. J. Narayanan, Takeo Kanade, Shree K. Nayar, Heung-Yeung Shum
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
67.

電子ブック

EB
P. J. Narayanan, Takeo Kanade, Shree K. Nayar, Heung-Yeung Shum
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
68.

電子ブック

EB
Ale?? Leonardis, Horst Bischof, Takeo Kanade, Axel Pinz
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
69.

電子ブック

EB
Ale?? Leonardis, Horst Bischof, Takeo Kanade, Axel Pinz
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
70.

電子ブック

EB
Ale?? Leonardis, Horst Bischof, Takeo Kanade, Axel Pinz
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
71.

電子ブック

EB
Ale?? Leonardis, Horst Bischof, Takeo Kanade, Axel Pinz
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
72.

電子ブック

EB
Prem K. Kalra, Takeo Kanade, Shmuel Peleg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
73.

電子ブック

EB
H. Jaap Herik, Yngvi Bj?rnsson, Jaap van den Herik, Takeo Kanade, Nathan S. Netanyahu
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
74.

電子ブック

EB
Klaus Miesenberger, Takeo Kanade, Arthur I. Karshmer, Joachim Klaus, Wolfgang L. Zagler
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
75.

電子ブック

EB
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
76.

電子ブック

EB
David W. Embley, Takeo Kanade, A. Oliv?, Antoni Oliv?, Sudha Ram
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
77.

電子ブック

EB
Henrik Sch?rfe, Pascal Hitzler, Takeo Kanade, Peter ?hrstr?m
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
78.

電子ブック

EB
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
79.

電子ブック

EB
Jean-Fran?ois Boulicaut, Takeo Kanade, Heikki Mannila, Luc Raedt, Luc de Raedt
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
80.

電子ブック

EB
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…
81.

電子ブック

EB
Matthias Klusch, Takeo Kanade, Terry R. Payne, Michael Rovatsos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
82.

電子ブック

EB
Paolo Ciancarini, Takeo Kanade, Herbert Wiklicky
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
83.

電子ブック

EB
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…
84.

電子ブック

EB
Javier Lopez, Takeo Kanade, Javier L?pez
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
85.

電子ブック

EB
Louis Goubin, Takeo Kanade, Mitsuru Matsui
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
86.

電子ブック

EB
David Pointcheval, Kefei Chen, Takeo Kanade, Yi Mu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
87.

電子ブック

EB
Roque Mar?n, Alberto Bugar?n, Takeo Kanade, Eva Onaind?a, Jos? Santos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
88.

電子ブック

EB
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
89.

電子ブック

EB
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
90.

電子ブック

EB
Juhnyoung Lee, Christoph Bussler, Takeo Kanade, Sang-goo Lee, Junho Shim, Simon Shim
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
91.

電子ブック

EB
Ulf Leser, Barbara Eckman, Barbara A. Eckman, Takeo Kanade, Felix Naumann
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
92.

電子ブック

EB
Graham J. Williams, Takeo Kanade, Simeon J. Simoff
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
93.

電子ブック

EB
Mehmet M. Dalkilic, Takeo Kanade, Sun Kim, Jiong Yang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
94.

電子ブック

EB
Jinyan Li, Takeo Kanade, Ah-Hwee Tan, Qiang Yang
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
95.

電子ブック

EB
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
96.

電子ブック

EB
St?phane Bressan, Staephane Bressan, Takeo Kanade, Josef Kung, Josef K?ng, Roland Wagner, Roland R. Wagner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Efficient Processing of Multiple XML Twig Queries / Huanzhang Liu ; Tok Wang Ling ; Tian Yu ; Ji WuXML I:
Effectively Scoring for XML IR Queries / Zhongming Han ; Jiajin Le ; Beijin Shen
Selectively Storing XML Data in Relations / Wenfei Fan ; Lisha Ma
A Context-Aware Preference Model for Database Querying in an Ambient Intelligent Environment / Arthur H. van Bunningen ; Ling Feng ; Peter M. G. ApersData and Information I:
Andromeda: Building e-Science Data Integration Tools / Victor Cuevas-Vicenttin ; Jose Luis Zechinelli-Martini ; Genoveva Vargas-Solar
Improving Web Retrieval Precision Based on Semantic Relationships and Proximity of Query Keywords / Chi Tian ; Taro Tezuka ; Satoshi Oyama ; Keishi Tajima ; Katsumi Tanaka
Invited Talk DEXA Conference
From Extreme Programming to Extreme Non-programming: Is It the Right Time for Model Transformation Technologies? / Oscar Pastor
Using an Oracle Repository to Accelerate XPath Queries / Colm Noonan ; Cian Durrigan ; Mark RoantreeXML II:
A Relational Nested Interval Encoding Scheme for XML Data / Gap-Joo Na ; Sang-Won Lee
A Prototype of a Schema-Based XPath Satisfiability Tester / Jinghua Groppe ; Sven Groppe
Understanding and Enhancing the Folding-In Method in Latent Semantic Indexing / Xiang Wang ; Xiaoming JinData and Information II:
DCF: An Efficient Data Stream Clustering Framework for Streaming Applications / Kyungmin Cho ; Sungjae Jo ; Hyukjae Jang ; Su Myeon Kim ; Junehwa Song
Analysis of BPEL and High-Level Web Service Orchestration: Bringing Benefits to the Problems of the Business / Adam Strickland ; Dick Whittington ; Phil Taylor ; Bing Wang
Rewriting Queries for XML Integration Systems / Ling Li ; Mong Li Lee ; Wynne HsuXML III:
A Tale of Two Approaches: Query Performance Study of XML Storage Strategies in Relational Databases / Sandeep Prakash ; Sourav S. Bhowmick
Visual Specification and Optimization of XQuery Using VXQ / Ryan H. Choi ; Raymond K. Wong ; Wei Wang
MSXD: A Model and a Schema for Concurrent Structures Defined over the Same Textual Data / Emmanuel Bruno ; Elisabeth MurisascoData and Information III:
Estimating Aggregate Join Queries over Data Streams Using Discrete Cosine Transform / Zhewei Jiang ; Cheng Luo ; Wen-Chi Hou ; Feng Yan ; Qiang Zhu
Datamining and Data Warehouses
Evaluation of a Probabilistic Approach to Classify Incomplete Objects Using Decision Trees / Lamis Hawarah ; Ana Simonet ; Michel Simonet
Multiway Pruning for Efficient Iceberg Cubing / Xiuzhen Zhang ; Pauline Lienhua Chou
Mining and Visualizing Local Experiences from Blog Entries / Takeshi Kurashima
Mining RDF Metadata for Generalized Association Rules / Tao Jiang ; Ah-Hwee Tan
Database Applications I
Analysing Social Networks Within Bibliographical Data / Stefan Klink ; Patrick Reuther ; Alexander Weber ; Bernd Walter ; Michael Ley
Automating the Choice of Decision Support System Architecture / Estella Annoni ; Franck Ravat ; Olivier Teste ; Gilles Zurfluh
Dynamic Range Query in Spatial Network Environments / Fuyu Liu ; Tai T. Do ; Kien A. Hua
Context and Semantic Composition of Web Services / Michael Mrissa ; Chirine Ghedira ; Djamal Benslimane ; Zakaria Maamar
An Efficient Yet Secure XML Access Control Enforcement by Safe and Correct Query Modification / Changwoo Byun ; Seog ParkXML IV:
Detecting Information Leakage in Updating XML Documents of Fine-Grained Access Control / Somchai Chatvichienchai ; Mizuho Iwaihara
Faster Twig Pattern Matching Using Extended Dewey ID / Chung Keung Poon ; Leo Yuen
A Vector Space Model for Semantic Similarity Calculation and OWL Ontology Alignment / Ruben Tous ; Jaime DelgadoData and Information IV:
Scalable Automated Service Composition Using a Compact Directory Digest / Walter Binder ; Ion Constantinescu ; Boi Faltings
Topic Structure Mining for Document Sets Using Graph-Based Analysis / Hiroyuki Toda ; Ryoji Kataoka ; Hiroyuki Kitagawa
An Approach for XML Inference Control Based on RDF / Zhuan Li ; Yuanzhen WangXML V:
Recursive SQL Query Optimization with k-Iteration Lookahead / Ahmad Ghazal ; Alain Crolotte ; Dawit Seid
An Effective, Efficient XML Data Broadcasting Method in a Mobile Wireless Network / Sang-Hyun Park ; Jae-Ho Choi ; SangKeun Lee
Formalizing Mappings for OWL Spatiotemporal Ontologies / Nacera BennacerData and Information V:
Multi-term Web Query Expansion Using WordNet / Zhiguo Gong ; Chan Wa Cheang ; Leong Hou U
Fast Computation of Database Operations Using Content-Addressable Memories / Nagender Bandi ; Divyakant Agrawal ; Amr El Abbadi
Clear: An Efficient Context and Location-Based Dynamic Replication Scheme for Mobile-P2P Networks / Anirban Mondal ; Sanjay Kumar Madria ; Masaru Kitsuregawa
Lossless Reduction of Datacubes / Alain Casali ; Rosine Cicchetti ; Lotfi Lakhal ; Noel Novelli
Multivariate Stream Data Classification Using Simple Text Classifiers / Sungbo Seo ; Jaewoo Kang ; Dongwon Lee ; Keun Ho Ryu
Location-Based Service with Context Data for a Restaurant Recommendation / Bae-Hee Lee ; Heung-Nam Kim ; Jin-Guk Jung ; Geun-Sik Jo
Cascaded Star: A Hyper-Dimensional Model for a Data Warehouse / Songmei Yu ; Vijayalakshmi Atluri ; Nabil Adam
Using JDOSecure to Introduce Role-Based Permissions to Java Data Objects-Based Applications / Matthias Merz ; Markus AleksyDatabase Applications II:
A Forced Transplant Algorithm for Dynamic R-tree Implementation / Mingbo Zhang ; Feng Lu ; Changxiu Cheng
An Approach for a Personal Information Management System for Photos of a Lifetime by Exploiting Semantics / Khalid Latif ; Khabib Mustofa ; A. Min Tjoa
Topic Distillation in Desktop Search / Alex Penev ; Matthew Gebski
WWW I
Interactions Between Document Representation and Feature Selection in Text Categorization / Milos Radovanovic ; Mirjana Ivanovic
WebDriving: Web Browsing Based on a Driving Metaphor for Improved Children's e-Learning / Mika Nakaoka
Semantic Wikis for Personal Knowledge Management / Eyal Oren ; Max Volkel ; John G. Breslin ; Stefan Decker
Bioinformatics
Integration of Protein Data Sources Through PO / Amandeep S. Sidhu ; Tharam S. Dillon ; Elizabeth Chang
3D Protein Structure Matching by Patch Signatures / Zi Huang ; Xiaofang Zhou ; Heng Tao Shen ; Dawei Song
WWW II
Segmented Document Classification: Problem and Solution / Hang Guo ; Lizhu Zhou
User Preference Modeling Based on Interest and Impressions for News Portal Site Systems / Yukiko Kawai ; Tadahiko Kumamoto
Cleaning Web Pages for Effective Web Content Mining / Jing Li ; C.I. Ezeife
Process Automation and Workflow
An Applied Optimization Framework for Distributed Air Transportation Environments / Thomas Castelli ; Joshua Lee ; Waseem Naqvi
On the Completion of Workflows / Tai Xin ; Indrakshi Ray ; Parvathi Chundi ; Sopak Chaichana
Concurrency Management in Transactional Web Services Coordination / Adnene Guabtni ; Francois Charoy ; Claude Godart
Acquisition of Process Descriptions from Surgical Interventions / Thomas Neumuth ; Gero Strauss ; Jurgen Meixensberger ; Heinz U. Lemke ; Oliver Burgert
Knowledge Management and Expert Systems
Adaptive Policies in Information Lifecycle Management / Rohit M. Lotlikar ; Mukesh Mohania
Implementation and Experimentation of the Logic Language NP Datalog / Sergio Greco ; Cristian Molinaro ; Irina Trubitsyna
Converting a Naive Bayes Models with Multi-valued Domains into Sets of Rules / Bartlomiej Sniezynski
Hypersphere Indexer / Navneet Panda ; Edward Y. Chang ; Arun Qamra
Database Theory I
Distributed Continuous Range Query Processing on Moving Objects / Haojun Wang ; Roger Zimmermann ; Wei-Shinn Ku
Optimal Route Determination Technology Based on Trajectory Querying Moving Object Database / Kyoung-Wook Min ; Ju-Wan Kim ; Jong-Hyun Park
Efficient Temporal Coalescing Query Support in Relational Database Systems / Xin Zhou ; Fusheng Wang ; Carlo Zaniolo
Query Processing I
Efficient Evaluation of Partially-Dimensional Range Queries Using Adaptive R*-tree / Yaokai Feng ; Akifumi Makinouchi
Parallelizing Progressive Computation for Skyline Queries in Multi-disk Environment / Yunjun Gao ; Gencai Chen ; Ling Chen ; Chun Chen
Parameterizing a Genetic Optimizer / Victor Muntes-Mulero ; Marta Perez-Casany ; Josep Aguilar-Saborit ; Calisto Zuzarte ; Josep-Ll. Larriba-Pey
Database Theory II
Interpolating and Using Most Likely Trajectories in Moving-Objects Databases / Byunggu Yu ; Seon Ho Kim
Relaxing Constraints on GeoPQL Operators to Improve Query Answering / Arianna D'Ulizia ; Fernando Ferri ; Patrizia Grifoni ; Maurizio Rafanelli
High-Dimensional Similarity Search Using Data-Sensitive Space Partitioning / Sachin Kulkarni ; Ratko Orlandic
Query Processing II
Truly Adaptive Optimization: The Basic Ideas / Giovanni Maria Sacco
Applying Cosine Series to XML Structural Join Size Estimation / Chih-Fang Wang
On the Query Evaluation in Document DBs / Yangjun Chen
A Novel Incremental Maintenance Algorithm of SkyCube / Zhenhua Huang
Database Theory III
Probabilistic Replication Based on Access Frequencies in Unstructured Peer-to-Peer Networks / Takahiro Hara ; Yuki Kido ; Shojiro Nishio
Role-Based Serializability for Distributed Object Systems / Youhei Tanaka ; Tomoya Enokido ; Makoto Takizawa
MDSSF - A Federated Architecture for Product Procurement / Jaspreet Singh Pahwa ; Pete Burnap ; W.A. Gray ; John Miles
Argumentation for Decision Support / Katie Atkinson ; Trevor Bench-Capon ; Sanjay Modgil
Personalized Detection of Fresh Content and Temporal Annotation for Improved Page Revisiting / Adam Jatowt
Clustering of Search Engine Keywords Using Access Logs / Shingo Otsuka
Database Theory IV
Non-metric Similarity Ranking for Image Retrieval / Guang-Ho Cha
An Effective Method for Approximating the Euclidean Distance in High-Dimensional Space / Seungdo Jeong ; Sang-Wook Kim ; Kidong Kim ; Byung-Uk Choi
Dynamic Method Materialization: A Framework for Optimizing Data Access Via Methods / Robert Wrembel ; Mariusz Masewicz ; Krzysztof Jankiewicz
Privacy and Security
Towards an Anti-inference (K, l)-Anonymity Model with Value Association Rules / Zude Li ; Guoqiang Zhan ; Xiaojun Ye
Analysis of the Power Consumption of Secure Communication in Wireless Networks / Kihong Kim ; Jinkeun Hong ; Jongin Lim
Implementing Authorization Delegations Using Graph / Chun Ruan ; Vijay Varadharajan
Modeling and Inferring on Role-Based Access Control Policies Using Data Dependencies / Romuald Thion ; Stephane Coulondre
Database Theory V
Multi-dimensional Dynamic Bucket Index Based on Mobile Agent System Architecture / Marcin Gorawski ; Adam Dyga
An Incremental Refining Spatial Join Algorithm for Estimating Query Results in GIS / Wan D. Bae ; Shayma Alkobaisi ; Scott T. Leutenegger
Extensions to Stream Processing Architecture for Supporting Event Processing / Vihang Garg ; Raman Adaikkalavan ; Sharma Chakravarthy
Author Index
Efficient Processing of Multiple XML Twig Queries / Huanzhang Liu ; Tok Wang Ling ; Tian Yu ; Ji WuXML I:
Effectively Scoring for XML IR Queries / Zhongming Han ; Jiajin Le ; Beijin Shen
Selectively Storing XML Data in Relations / Wenfei Fan ; Lisha Ma
97.

電子ブック

EB
Sihem Amer-Yahia, Zohra Bellahs?ne, Ela Hunt, Takeo Kanade, Rainer Unland, Jeffrey Xu Yu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
98.

電子ブック

EB
Mong Lee, Takeo Kanade, Mong Li Lee, Kian-Lee Tan, Vilas Wuwongse, Vilas Wuwongse
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
99.

電子ブック

EB
Thomas Schwentick, Takeo Kanade, Dan Suciu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
100.

電子ブック

EB
Matteo Baldoni, Ulle Endriss, Takeo Kanade, Andrea Omicini, Paolo Torroni
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼