Learning in Computer Vision: Some Thoughts / Maria Petrou
Biometric Recognition: Overview and Recent Advances / Anil K. Jain
A Family of Novel Graph Kernels for Structural Pattern Recognition / Horst Bunke ; Kaspar Riesen
A System Biology Approach for the Steady-State Analysis of Gene Signaling Networks / Purvesh Khatri ; Sorin Draghici ; Adi L. Tarca ; Sonia S. Hassan ; Roberto Romero
Signal Processing and Analysis
[Sigma]-[Delta] Background Subtraction and the Zipf Law / Antoine Manzanera
Model-Based Correlation Measure for Nonuniformity Gain and Offset Parameters of Infrared Focal-Plane-Array Sensors / Cesar San Martin ; Sergio N. Torres
A Cyclostationary Analysis Applied to Detection and Diagnosis of Faults in Helicopter Gearboxes / Edgar Estupinan ; Paul White
Robust Industrial Machine Sounds Identification Based on Frequency Spectrum Analysis / Antoni Grau ; Yolanda Bolea ; Manuel Manzanares
Using Adaptive Filter to Increase Automatic Speech Recognition Rate in a Digit Corpus / Jose Luis Oropeza Rodriguez ; Sergio Suarez Guerra ; Luis Pastor Sanchez Fernandez
SSM - A Novel Method to Recognize the Fundamental Frequency in Voice Signals / Gyorgy Varallyay Jr.
Channel / Handset Mismatch Evaluation in a Biometric Speaker Verification Using Shifted Delta Cepstral Features / Jose R. Calvo ; Rafael Fernandez ; Gabriel Hernandez
Phone-Segments Based Language Identification for Spanish, Basque and English / Victor Guijarrubia ; M. Ines Torres
Image Coding, Processing and Analysis
A New Algorithm to Compute the Distance Between Multi-dimensional Histograms / Francesc Serratosa ; Gerard Sanroma ; Alberto Sanfeliu
Fuzzy Vector Directional Filters for Multichannel Image Denoising / Alberto Rosales-Silva ; Volodymyr I. Ponomaryov ; Francisco J. Gallegos-Funes
EZW-Based Image Compression with Omission and Restoration of Wavelet Subbands / Francisco A. Pujol ; Higinio Mora ; Jose Luis Sanchez ; Antonio Jimeno
Video Analysis Via Nonlinear Dimensionality Reduction / Alvaro Pardo
Graph Cuts Approach to MRF Based Linear Feature Extraction in Satellite Images / Anesto del-Toro-Almenares ; Cosmin Mihai ; Iris Vanhamel ; Hichem Sahli
A Multiple Substructure Matching Algorithm for Fingerprint Verification / Mabel Iglesias Ham ; Yilian Bazan Pereira ; Edel B. Garcia Reyes
Bayesian Edge Regularization in Range Image Segmentation / Smaine Mazouzi ; Mohamed Batouche
Image Segmentation Using Automatic Seeded Region Growing and Instance-Based Learning / Octavio Gomez ; Jesus A. Gonzalez ; Eduardo F. Morales
Morphological Distinguished Regions / Allan Hanbury
Set of Methods for Spontaneous ICH Segmentation and Tracking from CT Head Images / Noel Perez ; Jose A. Valdes ; Miguel A. Guevara ; Luis A. Rodriguez ; J. M. Molina
Shape and Texture Analysis
Efficient Rotation-Discriminative Template Matching / David Marimon ; Touradj Ebrahimi
Texture Classification Through Combination of Sequential Colour Texture Classifiers / Francesco Bianconi ; Antonio Fernandez ; Elena Gonzalez ; Fernando Ribas
Deterministic Component of 2-D Wold Decomposition for Geometry and Texture Descriptors Discovery / Erika Danae Lopez-Espinoza ; Leopoldo Altamirano-Robles
Computer Vision
Robust Feature Descriptors for Efficient Vision-Based Tracking / Gerardo Carrera ; Jesus Savage ; Walterio Mayol-Cuevas
Smooth Image Surface Approximation by Piecewise Cubic Polynomials / Oliver Matias van Kaick ; Helio Pedrini
An Analysis of Automatic Gender Classification / Modesto Castrillon-Santana ; Quoc C. Vuong
A Method for Segmentation of Local Illumination Variations and Photometric Normalization in Face Images / Eduardo Garea Llano ; Jose Luis Gil Rodriguez ; Sandro Vega
Computing the Eccentricity Transform of a Polygonal Shape / Walter G. Kropatsch ; Adrian Ion ; Samuel Peltier
Robust Color Contour Object Detection Invariant to Shadows / Jorge Scandaliaris ; Michael Villamizar ; Juan Andrade-Cetto
An Evaluation of Video Cut Detection Techniques / Sandberg Marcel Santos ; Dibio Leandro Borges ; Herman Martins Gomes
Surface-Normal Estimation with Neighborhood Reorganization for 3D Reconstruction / Felix Calderon ; Ubaldo Ruiz ; Mariano Rivera
Weighted Principal Geodesic Analysis for Facial Gender Classification / Jing Wu ; W.A.P. Smith ; E.R. Hancock
Range and Intensity Vision for Rock-Scene Segmentation / Simphiwe Mkwelo ; Frederick Nicolls ; Gerhard de Jager
Human Detection in Indoor Environments Using Multiple Visual Cues and a Mobile Robot / Stefan Pszczolkowski ; Alvaro Soto
A Method for Estimating Authentication Performance over Time, with Applications to Face Biometrics / Norman Poh ; Josef Kittler ; Ray Smith ; J. Rafael Tena
Pattern Recognition Principles
Generalizing Dissimilarity Representations Using Feature Lines / Mauricio Orozco-Alzate ; Robert Duin ; Cesar German Castellanos-Dominguez
FS-EX Plus: A New Algorithm for the Calculation of Typical FS-Testor Set / Luis Roberto Morales-Manilla ; Guillermo Sanchez-Diaz
Confusion Matrix Disagreement for Multiple Classifiers / Cinthia O.A. Freitas ; Joao M. de Carvalho ; Jose Josemar Oliveira Jr ; Simone B.K. Aires ; Robert Sabourin
An Empirical Study of the Behavior of Classifiers on Imbalanced and Overlapped Data Sets / Vicente Garcia ; Jose Sanchez ; Ramon Mollineda
Fast k Most Similar Neighbor Classifier for Mixed Data Based on a Tree Structure / Selene Hernandez-Rodriguez ; J. Francisco Martinez-Trinidad ; J. Ariel Carrasco-Ochoa
Conditional Mutual Information Based Feature Selection for Classification Task / Jana Novovicova ; Petr Somol ; Michal Haindl ; Pavel Pudil
Artificial Intelligence Techniques and Recognition
Face Recognition Using Some Aspects of the Infant Vision System and Associative Memories / Roberto A. Vazquez ; Humberto Sossa ; Beatriz A. Garro
Two-Stage ACO to Solve the Job Shop Scheduling Problem / Amilkar Puris ; Rafael Bello ; Yaima Trujillo ; Ann Nowe ; Yailen Martinez
A Novel Hybrid Taguchi-Grey-Based Method for Feature Subset Selection / Hsin-Yun Chang ; Chung-Shan Sun
On Using a Pre-clustering Technique to Optimize LDA-Based Classifiers for Appearance-Based Face Recognition / Sang-Woon Kim
Certainty Measure of Pairwise Line Segment Perceptual Relations Using Fuzzy Logic / Jose Rouco ; Marta Penas ; Manuel G. Penedo ; Marcos Ortega ; Carmen Alonso-Montes
Automatic Image Annotation Using a Semi-supervised Ensemble of Classifiers / Heidy Marin-Castro ; Enrique Sucar
Logical Combinatorial Pattern Recognition
Object Selection Based on Subclass Error Correcting for ALVOT / Miguel Angel Medina-Perez ; Milton Garcia-Borroto ; Jose Ruiz-Shulcloper
CT-EXT: An Algorithm for Computing Typical Testor Set / Manuel Lazo-Cortes
Neural Networks
Evaluating a Zoning Mechanism and Class-Modular Architecture for Handwritten Characters Recognition / Sandra de Avila ; Leonardo Matos
Median M-Type Radial Basis Function Neural Network / Jose A. Moreno-Escobar
A Precise Electrical Disturbance Generator for Neural Network Training with Real Level Output / Antonio Garcia ; Carlos Leon ; Inigo Monedero ; Jorge Ropero
A New Algorithm for Training Multi-layered Morphological Networks / Ricardo Barron ; Benjamin Cruz
Kernel Machines
Joint Diagonalization of Kernels for Information Fusion / Alberto Munoz ; Javier Gonzalez
Support Vector Regression Methods for Functional Data / Noslen Hernandez ; Rolando J. Biscay ; Isneri Talavera
Monitoring Nonlinear Profiles Using Support Vector Machines / Javier M. Moguerza ; Stelios Psarakis
MP-Polynomial Kernel for Training Support Vector Machines / Ivan Mejia-Guevara ; Angel Kuri-Morales
Adaptive ECG Compression Using Support Vector Machine / Sandor M. Szilagyi ; Laszlo Szilagyi ; Zoltan Benyo
Mass Spectrometry Based Cancer Classification Using Fuzzy Fractal Dimensions / Tuan D. Pham
Bayesian Detection of Coding Regions in DNA/RNA Sequences Through Event Factoring / Renatha Oliva Capua ; Helena Cristina da Gama Leitao ; Jorge Stolfi
Coding Region Prediction in Genomic Sequences Using a Combination of Digital Signal Processing Approaches / Anibal Rodriguez Fuentes ; Juan V. Lorenzo Ginori ; Ricardo Grau Abalo
Data Mining
Using Typical Testors for Feature Selection in Text Categorization / Aurora Pons-Porrata ; Reynaldo Gil-Garcia ; Rafael Berlanga-Llavori
Towards Automatic Generation of Conceptual Interpretation of Clustering / Alejandra Perez-Bonilla ; Karina Gibert
ACONS: A New Algorithm for Clustering Documents / Andres Gago Alonso ; Airel Perez Suarez ; Jose E. Medina Pagola
Mixed Data Object Selection Based on Clustering and Border Objects / J. Arturo Olvera-Lopez
Modification of the Growing Neural Gas Algorithm for Cluster Analysis / Fernando Canales ; Max Chacon
Bagging with Asymmetric Costs for Misclassified and Correctly Classified Examples / Carlos Valle ; Claudio Moraga
Natural Language Processing and Recognition
Distribution-Based Semantic Similarity of Nouns / Igor A. Bolshakov ; Alexander Gelbukh
Segment-Based Classes for Language Modeling Within the Field of CSR / Raquel Justo
TextLec: A Novel Method of Segmentation by Topic Using Lower Windows and Lexical Cohesion / Laritza Hernandez Rojas
European Portuguese Accent in Acoustic Models for Non-native English Speakers / Carla Simoes ; Carlos Teixeira ; Miguel Dias ; Daniela Braga ; Antonio Calado
A Statistical User Simulation Technique for the Improvement of a Spoken Dialog System / Lluis F. Hurtado ; David Griol ; Emilio Sanchis ; Encarna Segarra
Industrial and Medical Applications of Pattern Recognition
A New Approach for Cervical Vertebrae Segmentation / Said Mahmoudi ; Mohammed Benjelloun
Automatic Clump Splitting for Cell Quantification in Microscopical Images / Gloria Diaz ; Fabio Gonzalez ; Eduardo Romero
A Semi-supervised Learning Method for Motility Disease Diagnostic / Santi Segui ; Laura Igual ; Carolina Malagelada ; Fernando Azpiroz ; Jordi Vitria
Lung Structure Classification Using 3D Geometric Measurements and SVM / Joao Rodrigo Ferreira da Silva Sousa ; Aristofanes Correa Silva ; Anselmo Cardoso de Paiva
Edge Detection in Ventriculograms Using Support Vector Machine Classifiers and Deformable Models / Antonio Bravo ; Miguel Vera ; Ruben Medina
Breast Cancer Diagnosis Based on a Suitable Combination of Deformable Models and Artificial Neural Networks Techniques / Yosvany Lopez ; Andra Novoa ; Augusto Silva
Infected Cell Identification in Thin Blood Images Based on Color Pixel Classification: Comparison and Analysis
Coregistration of Small Animal PET and Autoradiography for in vivo-ex vivo Comparison / Soo-Min Song ; Min-Jeong Kim ; Joung-Min Lee ; Hye-Jin Park ; KyeongMin Kim ; Gi-Jeong Cheon ; Myoung-Hee Kim
Noise Pattern Recognition of Airplanes Taking Off: Task for a Monitoring System / Oleksiy Pogrebnyak
Echocardiographic Image Sequence Compression Based on Spatial Active Appearance Model
Unified Neural Network Based Pathologic Event Reconstruction Using Spatial Heart Model / Attila Frigy ; Levente K. Gorog
Fuzzy Spatial Growing for Glioblastoma Multiforme Segmentation on Brain Magnetic Resonance Imaging / Alejandro Veloz ; Steren Chabert ; Antonio Orellana ; Juan Vielma
Conformal Geometric Algebra for Endoscope-Traking System Calibration in Neurosurgery / Silena Herold-Garcia ; Jorge Rivera-Rovelo ; Eduardo Bayro-Corrochano
Quality Controlled Multimodal Fusion of Biometric Experts / Omolara Fatukasi
Robotics and Remote Sensing Applications of Pattern Recognition
Fully Automatic and Robust Approach for Remote Sensing Image Registration / Chi-Farn Chen ; Min-Hsin Chen ; Hsiang-Tsu Li
Robust Local Localization of a Mobile Robot in Indoor Environments Using Virtual Corners / Carlos Lara ; Leonardo Romero
Document Processing and Recognition
An Algorithm for Foreground-Background Separation in Low Quality Patrimonial Document Images / Carlos A.B. Mello
Information Extraction and Classification from Free Text Using a Neural Approach / Ignazio Gallo ; Elisabetta Binaghi
Formal Distance vs. Association Strength in Text Processing / Ansel Y. Rodriguez Gonzalez ; Abdel Hechavarria Diaz
Restoration of Double-Sided Ancient Music Documents with Bleed-Through / Pedro Castro ; R.J. Almeida ; J.R. Caldas Pinto
Fuzzy and Hybrid Techniques in Pattern Recognition
Multiple Assessment for Multiple Users in Virtual Reality Training Environments / Ronei M. Moraes ; Liliane S. Machado
Dynamic Penalty Based GA for Inducing Fuzzy Inference Systems / Tomas Arredondo V. ; Felix Vasquez M. ; Diego Candel C. ; Lioubov Dombrovskaia ; Loreine Agullo ; Macarena Cordova H. ; Valeria Latorre-Reyes ; Felipe Calderon B. ; Michael Seeger P.
Author Index
Keynote Lectures
Learning in Computer Vision: Some Thoughts / Maria Petrou
Biometric Recognition: Overview and Recent Advances / Anil K. Jain
Automated Social Network Analysis for Collaborative Work / Larry Korba ; Ronggong Song ; George Yee ; Andrew Patrick
Jabber Based Protocol for Collaborative Mobile Work / Martin Klima ; Pavel Slavik
Using Autonomic Computing and Click Stream Analysis for Problem Identification in Continuous Production / Wallace A. Pinheiro ; Jonice Oliveira ; Jano M. de Souza ; Geraldo Xexeo ; Marcelo Perazolo
Data Exchange in CAD During Iterative Work with Heterogeneous Systems / Martin Ota ; Ivan Jelinek
A Collaborative Design Platform for Assembly Process Planning / Yanning Xu ; Weiwei Liu
Mosaics of Visualization: An Approach to Embedded Interaction Through Identification Process / J. Bravo ; R. Hervas ; G. Chavira ; S. Nava
The Use of Cooperative Visualization in the Enhancement of Corporate Planning in Small and Medium-Sized Enterprises / Maryna Z. Solesvik
Collaborative Web-Based 3D Masterplanning / John Counsell ; Steve Smith ; Nadezda Bates-Brkljac
Use of Patterns for Knowledge Management in the Ceramic Tile Design Chain / Maria Jesus Agost ; Fernando Romero ; Carlos Vila ; Pedro Company
Towards an Agent and Knowledge Enacted Dynamic Workflow Management System for Intelligent Manufacturing Grid / Yanli He ; Weiping He ; Haicheng Yang ; Guangke Hao ; Kai Zhao
A Cooperative Engineering Environment Using Virtual Reality with Sensory User Interfaces for Steel Bridge Erection / Nobuyoshi Yabuki ; Hiroki Machinaka ; Zhantao Li
A Collaborative Multimedia Editing System Based on Shallow Nature Language Parsing / Donglin Cao ; Dazhen Lin ; Shaozi Li
Formulation and a MOGA Based Approach for Multi-UAV Cooperative Reconnaissance / Jing Tian ; Lincheng Shen ; Yanxing Zheng
A New Migration Algorithm of Mobile Agent Based on Ant Colony Algorithm in P2P Network / Yang Cao ; Huowang Chen
Protecting Agent from Attack in Grid Computing / Byungryong Kim
An Information Integration Platform for Mobile Computing / Guofeng Qin ; Qiyan Li
Integration of Collaborative Design and Process Planning for Artificial Bone Scaffold 3D Printer Nozzle / Yan-En Wang ; Xiu-Tian Yan ; Raam Kumar Maruthachalam ; Sheng-Min Wei
Usability Ranking of Intercity Bus Passenger Seats Using Fuzzy Axiomatic Design Theory / Ergun Eraslan ; Diyar Akay ; Mustafa Kurt
A Study on BDI Agent for the Integration of Engineering Processes / Hanmin Lee ; Seong-Whan Park ; Jai-Kyung Lee ; Je-Sung Bang ; Jaeho Lee
The Usefulness of CSCW Systems in Process-Sensitive Software Engineering Environments / Rafael Duque ; Crescencio Bravo
A Framework for Real-Time Collaborative Engineering in the Automotive Industries / Ansgar R.S. Gerlicher
An Intelligent Tutoring System for Construction and Real Estate Management Master Degree Studies / Arturas Kaklauskas ; Edmundas Zavadskas ; Ruslanas Ditkevicius
Visualizing Space-Based Interactions Among Distributed Agents: Environmental Planning at the Inner-City Scale / D. Borri ; D. Camarda
Visible Display of Automated Observation of Collaborative Workspaces / Marie-Cecile Puybaraud
A System to Support Collaborative Mobile Electronic Meetings / Pablo Garcia
Efficient Technique for Fast IP Traceback
Research on Fuzzy Kohonen Neural Network for Fuzzy Clustering / ShuiSheng Ye ; XiaoLin Qin ; Hong Cai
Applying Pattern-Based Techniques to Design Groupware Applications / A.I. Molina ; M.A. Redondo ; M. Ortega
Metrics for Evaluating Design of Reconfigurable Machine Tools / Carles Riba R. ; Roberto Perez R. ; Horacio Ahuett G. ; Jorge L. Sanchez A. ; Maria D. Dominguez ; Arturo Molina G.
Computer-Aided Modelling, Evaluation and Management of Construction Projects According to PLM Concept / Darius Migilinskas ; Leonas Ustinovichius
Development of an e-Engineering Framework Based on Service-Oriented Architectures / Hyeon Soo Kim ; Seung Hak Kuk
A Real-Time PDA Based Communication Appliance for Multi-users / Seongah Chin ; Youngmee Choi ; Moonwon Choo
Flexible Collaboration over XML Documents / Claudia-Lavinia Ignat ; Moira C. Norrie
An Ambient Workplace for Raising Awareness of Internet-Based Cooperation / Benoit Otjacques ; Rod McCall ; Fernand Feltz
A Building's Refurbishment Knowledge and Device Based Decision Support System / Povilas Vainiunas ; Ruta Dubakiene ; Andrius Gulbinas ; Mindaugas Krutinis ; Petras Cyras ; Liudas Rimkus
Verbal Analysis of Risk Elements in Construction Contracts / Anna Malewska ; Paul Nowak ; Andrew Minasowicz
Application of Association Rules for Finding Correlations Among Students Preliminary Knowledge / Sylvia Encheva ; Sharil Tumin
Specifying Collaborative Tasks of a CSCL Environment with IMS-LD / Francisco Jurado ; Miguel A. Redondo ; Manuel Ortega
Concurrent Engineering of Mechatronic Products in Virtual Enterprises: Selection and Deployment of a PLM System for the Machine Tool Industry / Joaquin Aca ; Marcopolo Ramos ; Jose L. Serrano ; Horacio Ahuett ; Arturo Molina
An Application Service Provider (ASP) Based Project Management System / Tai Sik Lee ; Young Hyun Kim ; Dong Wook Lee ; Saumya R Swain
Author Index
Automated Social Network Analysis for Collaborative Work / Larry Korba ; Ronggong Song ; George Yee ; Andrew Patrick
Jabber Based Protocol for Collaborative Mobile Work / Martin Klima ; Pavel Slavik
Using Autonomic Computing and Click Stream Analysis for Problem Identification in Continuous Production / Wallace A. Pinheiro ; Jonice Oliveira ; Jano M. de Souza ; Geraldo Xexeo ; Marcelo Perazolo
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
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
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
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
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
Local Information and Communication Infrastructures: An Introduction / P. van den Besselaar
Digital Cities Around the World: Case Studies / Part I：
The Seattle Community Network: Anomaly or Replicable Model? / D. Schuler
The Blacksburg Electronic Village: A Study in Community Computing / J.M. Carroll
The Life and Death of the Great Amsterdam Digital City / D. Beckers
Urban Cyberspace as a Social Construction: Non-technological Factors in the Shaping of Digital Bristol / A. Aurigi
Virtual Helsinki: Enabling the Citizen - Linking the Physical and Virtual / R. Linturi ; T. Simula
Digital City Shanghai: Concepts, Foundations, and Current State / P. Ding ; D.H. Lin ; H.Y. Sheng
Activities and Technologies in Digital City Kyoto / T. Ishida
World Digital Cities: Beyond Heterogeneity / M. Yasuoka
Virtual Community Platforms / Part II：
Virtual Cities for Real-World Crisis Management / H. Nakanishi ; S. Koizumi
Virtuose, a VIRTual CommUnity Open Source Engine for Integrating Civic Networks and Digital Cities / M. Benini ; F. De Cindio ; L. Sonnante
Talking Digital Cities: Connecting Heterogeneous Digital Cities Via the Universal Mobile Interface / T. Koda ; S. Nakawaza
Town Digitizing: Omnidirectional Image-Based Virtual Space / H. Ishiguro
Knowledge and Data Modeling for Digital Cities / Part III：
Articulating the Digital Environment Via Community-Generated Ontologies / R. Srinivasan
Map-Based Range Query Processing for Geographic Web Search Systems / R. Lee ; H. Shiina ; T. Tezuka ; Y. Yokota ; H. Takakura ; Y.J. Kwon ; Y. Kambayashi
Recognizing Buildings Using a Mobile System and a Reference City Model / W. Mai ; C. Tweed ; G. Dodds
Querying Multiple Video Streams and Hypermedia Objects of a Video-Based Virtual Space System / S. He
Participation, Design, Monitoring / Part IV：
Cultural User Experience Issues in E-government: Designing for a Multi-cultural Society / N. van Dam ; V. Evers ; F.A. Arts
Visualizing Social Patterns in Virtual Environments on a Local and Global Scale / K. Börner ; S. Penumarthy ; B.J. DeVarco ; C. Kerney
Participation in Community Systems: Indications for Design / A.J. Reeves ; P.G.T. Healey
Intention and Motive in Information-System Design: Toward a Theory and Method for Assessing Users' Needs / J.P. Zappen ; T.M. Harrison
The Perfections of Sustainability and Imperfections in the Digital Community: Paradoxes of Connection and Disconnection / G. Gumpert ; S. Drucker
ICT and Social Capital / Part V：
The Promises and Perils of Integrated Community Learning Environments / S. Welling ; A. Breiter
Effects of ICT on Social Cohesion: The Cyburg Case / W. van Gent ; J. Iedema ; J. de Haan
Citizenship and Digital Media Management / M.R. Balboni ; G. Schwartz
Digital Cities and the Opportunities for Mobilizing the Information Society: Case Studies from Portugal / J.L. Moutinho ; M. Heitor
Author Index
Local Information and Communication Infrastructures: An Introduction / P. van den Besselaar
Digital Cities Around the World: Case Studies / Part I：
The Seattle Community Network: Anomaly or Replicable Model? / D. Schuler
IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems, Nancy Alonistioti, Takeo Kanade, Lea Kutvonen, Josef Kittler
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
The Brain Computation Based on Synchronization of Nonlinear Oscillations: On Theta Rhythms in Rat Hippocampus and Human Scalp EEG / Yoko Yamaguchi
Theta Phase Coding in Human Hippocampus: A Combined Approach of a Computational Model and Human Brain Activity Analyses / Naoyuki Sato
Mechanisms for Memory-Guided Behavior Involving Persistent Firing and Theta Rhythm Oscillations in the Entorhinal Cortex / Michael E. Hasselmo ; Lisa M. Giocomo ; Mark P. Brandon ; Motoharu Yoshida
Encoding and Replay of Dynamic Attractors with Multiple Frequencies: Analysis of a STDP Based Learning Rule / Silvia Scarpetta ; Masahiko Yoshioka ; Maria Marinaro
A Biophysical Model of Cortical Up and Down States: Excitatory-Inhibitory Balance and H-Current / Zaneta Navratilova ; Jean-Marc Fellous
Dynamics in Olfactory System and Behaviour
Dynamical Architecture of the Mammalian Olfactory System / Leslie M. Kay
From Behaviour to Brain Dynamics / Allen Cheung
Correlation Structure of Spiking Trains
Impact of Higher-Order Correlations on Coincidence Distributions of Massively Parallel Data / Sonja Grun ; Moshe Abeles ; Markus Diesmann
Comparing Kurtosis Score to Traditional Statistical Metrics for Characterizing the Structure in Neural Ensemble Activity / Peter Stratton ; Janet Wiles
Neural Network Theories on Associative Memory
Pioneeristic Works on Neuronal Nets: A Short History
Place-Field and Memory Formation in the Hippocampus / Gergely Papp
Improving Recall in an Associative Neural Network of Spiking Neurons / Russell Hunter ; Stuart Cobb ; Bruce P. Graham
Author Index
Hippocampus and Neural Oscillations
The Brain Computation Based on Synchronization of Nonlinear Oscillations: On Theta Rhythms in Rat Hippocampus and Human Scalp EEG / Yoko Yamaguchi
Theta Phase Coding in Human Hippocampus: A Combined Approach of a Computational Model and Human Brain Activity Analyses / Naoyuki Sato
Verifying [chi] Models of Industrial Systems with Spin / Nikola Trcka
Stateful Dynamic Partial-Order Reduction / Xiaodong Yi ; Ji Wang ; Xuejun Yang
Internetware and Web-Based Systems
User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition / Xiaoning Ding ; Jun Wei ; Tao Huang
Environment Ontology-Based Capability Specification for Web Service Discovery / Puwei Wang ; Zhi Jin ; Lin Liu
Scenario-Based Component Behavior Derivation / Yan Zhang ; Jun Hu ; Xiaofeng Yu ; Tian Zhang ; Xuandong Li ; Guoliang Zheng
Verification of Computation Orchestration Via Timed Automata / Yang Liu ; Jun Sun ; Xian Zhang
Towards the Semantics for Web Service Choreography Description Language / Jing Li ; Jifeng He ; Geguang Pu ; Huibiao Zhu
Type Checking Choreography Description Language / Hongli Yang ; Xiangpeng Zhao ; Zongyan Qiu ; Chao Cai
Concurrent, Communicating, Timing and Probabilistic Systems
Formalising Progress Properties of Non-blocking Programs / Brijesh Dongol
Towards a Fully Generic Theory of Data / Douglas A. Creager ; Andrew C. Simpson
Verifying Statemate Statecharts Using CSP and FDR / A. W. Roscoe ; Z. Wu
A Reasoning Method for Timed CSP Based on Constraint Solving / Ping Hao
Mapping RT-LOTOS Specifications into Time Petri Nets / Tarek Sadani ; Marc Boyer ; Pierre de Saqui-Sannes ; Jean-Pierre Courtiat
Reasoning Algebraically About Probabilistic Loops / Larissa Meinicke ; Ian J. Hayes
Object and Component Orientation
Formal Verification of the Heap Manager of an Operating System Using Separation Logic / Nicolas Marti ; Reynald Affeldt ; Akinori Yonezawa
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs / Bart Jacobs ; Jan Smans ; Frank Piessens ; Wolfram Schulte
Model Checking Dynamic UML Consistency / Quan Long
Testing and Model Checking
Conditions for Avoiding Controllability Problems in Distributed Testing / Jessica Chen ; Lihua Duan
Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm / Samira Tasharofi ; Sepand Ansari ; Marjan Sirjani
Checking the Conformance of Java Classes Against Algebraic Specifications / Isabel Nunes ; Antonia Lopes ; Vasco Vasconcelos ; Joao Abreu ; Luis S. Reis
Incremental Slicing / Heike Wehrheim
Assume-Guarantee Software Verification Based on Game Semantics / Aleksandar Dimovski ; Ranko Lazic
Optimized Execution of Deterministic Blocks in Java PathFinder / Marcelo d'Amorim ; Ahmed Sobeih ; Darko Marinov
Tools
A Tool for a Formal Pattern Modeling Language / Soon-Kyeong Kim ; David Carrington
An Open Extensible Tool Environment for Event-B / Jean-Raymond Abrial ; Michael Butler ; Stefan Hallerstede ; Laurent Voisin
Tool for Translating Simulink Models into Input Language of a Model Checker / Meenakshi B. ; Abhishek Bhatnagar ; Sudeepa Roy
Fault-Tolerance and Security
Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices / Tim McComb ; Luke Wildman
A Language for Modeling Network Availability / Luigia Petre ; Kaisa Sere ; Marina Walden
Multi-process Systems Analysis Using Event B: Application to Group Communication Systems / J. Christian Attiogbe
Specification and Refinement
Issues in Implementing a Model Checker for Z / John Derrick ; Siobhan North ; Tony Simons
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking / Leo Freitas ; Ana Cavalcanti ; Jim Woodcock
Discovering Likely Method Specifications / Nikolai Tillmann ; Feng Chen
Time Aware Modelling and Analysis of Multiclocked VLSI Systems / Tomi Westerlund ; Juha Plosila
SALT-Structured Assertion Language for Temporal Logic / Andreas Bauer ; Martin Leucker ; Jonathan Streit
Author Index
Keynote Talks
Program Verification Through Computer Algebra / Chaochen Zhou
JML's Rich, Inherited Specifications for Behavioral Subtypes / Gary T. Leavens
Reusable Architectural Decision Model for Model and Metadata Repositories / Christine Mayr ; Uwe Zdun ; Schahram Dustdar
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems / Natallia Kokash ; Farhad Arbab
The CREDO Project
A Real-Time Extension of Creol for Modelling Biomedical Sensors / Marcel Kyas ; Einar Broch Johnsen
Conformance Testing of Distributed Concurrent Systems with Executable Designs / Bernhard K. Aichernig ; Andreas Griesmayer ; Rudolf Schlatte ; Andries Stam
Formal Verification for Components and Connectors / Christel Baier ; Tobias Blechmann ; Joachim Klein ; Sascha Kt&uuuml;ppelholz
Towards Demonstrably Correct Compilation of Java Byte Code / Michael Leuschel
Incremental System Modelling in Event-B / Stefan Hallerstede
The GRIDCOMP Project
An Asynchronous Distributed Component Model and Its Semantics / Ludovic Henrio ; Florian Kamm&uuuml;ller ; Marcela Rivera
Specification and Verification for Grid Component-Based Applications: From Models to Tools / Antonio Cansado ; Eric Madelaine
Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed programming / M. Aldinucci ; M. Danelutto ; P. Kilpatrick
The MOBIUS Project
Session-Based Compilation Framework for Multicore Programming / Nobuko Yoshida ; Vasco Vasconcelos ; Hervé Paulino ; Kohei Honda
Abstract Interpretation of Symbolic Execution with Explicit State Updates / Richard Bubel ; Reiner Hähnle ; Benjamin Weiß
BML and Related Tools / Jacek Chrz&acedil;szcz ; Marieke Huisman ; Aleksy Schubert
Author Index
The COMPAS Project
Reusable Architectural Decision Model for Model and Metadata Repositories / Christine Mayr ; Uwe Zdun ; Schahram Dustdar
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems / Natallia Kokash ; Farhad Arbab
Communication, and Software Systems International School on Formal Methods for the Design of Computer, Marco Bernardo, Alessandro Bogliolo, Takeo Kanade, Josef Kittler
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
International Conference on Formal Methods for Open Object-Based Distributed Systems, Takeo Kanade, Martin Steffen, Gianluigi Zavattaro, IFIP Working Group 6.1., Josef Kittler
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata / Remy Chevallier ; Emmanuelle Encrenaz-Tiphene ; Laurent Fribourg ; Weiwen Xu
Model Checking Timed Automata with Priorities Using DBM Subtraction / Alexandre David ; John Hakansson ; Kim G. Larsen ; Paul Pettersson
Symbolic Robustness Analysis of Timed Automata / Conrado Daws ; Piotr Kordy
Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion / Adam Duguid
Temporal Logic Verification Using Simulation / Georgios E. Fainekos ; Antoine Girard ; George J. Pappas
Undecidable Problems About Timed Automata / Olivier Finkel
On Timed Simulation Relations for Hybrid Systems and Compositionality / Goran Frehse
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling / Carlo A. Furia ; Matteo Rossi
On the Computational Power of Timed Differentiable Petri Nets / Serge Haddad ; Laura Recalde ; Manuel Silva
Model-Checking Timed ATL for Durational Concurrent Game Structures / Francois Laroussinie ; Nicolas Markey ; Ghassan Oreiby
A Dose of Timed Logic, in Guarded Measure / Kamal Lodaya ; Paritosh K. Pandya
From MITL to Timed Automata / Oded Maler ; Dejan Nickovic ; Amir Pnueli
Adding Invariants to Event Zone Automata / Peter Niebert ; Hongyang Qu
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems / Gordon Pace ; Gerardo Schneider
On the Expressiveness of MTL with Past Operators / Pavithra Prabhakar ; Deepak D'Souza
Simulator for Real-Time Abstract State Machines / Pavel Vasilyev
A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes / Nicolas Wolovick ; Sven Johr
Author Index
Invited Talks
Timed Alternating-Time Temporal Logic / Thomas A. Henzinger ; Vinayak S. Prabhu
Concurrent Semantics Without the Notions of State or State Transitions / Edward A. Lee
ＥＢ
