Last update:
Mon Dec 16 09:12:22 MST 2019
Ken Barker ``Valuing'' Privacy While Exposing Data
Utility . . . . . . . . . . . . . . . . 1--2
Alasdair J. G. Gray Whither BNCOD? The Future of Database
and Information Systems Research . . . . 3--6
Keith G. Jeffery Whither BNCOD and the UK Database
Community . . . . . . . . . . . . . . . 7--11
Raman Adaikkalavan and
Sharma Chakravarthy Access Control Using Active Rules . . . 12--24
Oleg Chertov and
Dan Tavrov Providing Group Anonymity Using Wavelet
Transform . . . . . . . . . . . . . . . 25--36
Greg Hamerly and
Greg Speegle Efficient Model Selection for
Large-Scale Nearest-Neighbor Data Mining 37--54
Md Zahidul Islam EXPLORE: a Novel Decision Tree
Classification Algorithm . . . . . . . . 55--71
Reza Kalantari and
Christopher H. Bryant Comparing the Performance of Object and
Object Relational Database Systems on
Objects of Varying Complexity . . . . . 72--83
R. Uday Kiran and
Polepalli Krishna Reddy An Efficient Approach to Mine Rare
Association Rules Using Maximum Items'
Support Constraints . . . . . . . . . . 84--95
Gabriele Pozzani and
Esteban Zimányi Defining Spatio-Temporal Granularities
for Raster Data . . . . . . . . . . . . 96--107
Raman Adaikkalavan Load Shedding in Data Stream Management
Systems Using Application Semantics . . 108--112
Klaus Haller Test Data Provisioning for
Database-Driven Applications . . . . . . 113--117
Nafees Ur Rehman and
Marc H. Scholl Enabling Decision Tree Classification in
Database Systems through Pre-computation 118--121
José Luis Navarro-Galindo and
José Samos Jiménez Flexible Range Semantic Annotations
Based on RDFa . . . . . . . . . . . . . 122--126
Yi Ou and
Theo Härder Issues of Flash-Aware Buffer Management
for Database Systems . . . . . . . . . . 127--130
Jianing Wang A Quality Framework for Data Integration 131--134
James Paterson and
John N. Wilson and
Petra Leimich Uses of Peer Assessment in Database
Teaching and Learning . . . . . . . . . 135--146
Muhammad Muzammal and
Rajeev Raman Uncertainty in Sequential Pattern Mining 147--150
Jianing Wang A Data Integration Methodology and
Architecture with Quality Assessment
Functionality . . . . . . . . . . . . . 151--154
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Michael Lange and
Tony Field Accelerating Agent-Based Ecosystem
Models Using the Cell Broadband Engine 1--12
Jörg Keller and
Ana Lucia Varbanescu Performance Impact of Task Mapping on
the Cell BE Multicore Processor . . . . 13--23
Motohiro Takayama and
Ryuji Sakai Parallelization Strategy for CELL TV . . 24--27
Ben van Werkhoven and
Jason Maassen and
Frank J. Seinstra Towards User Transparent Parallel
Multimedia Computing on GPU-Clusters . . 28--39
Stephen M. Kofsky and
Daniel R. Johnson and
John A. Stratton and
Wen-mei W. Hwu and
Sanjay J. Patel Implementing a GPU Programming Model on
a Non-GPU Accelerator Architecture . . . 40--51
Shams A. H. Al Umairy and
Alexander S. van Amesfoort and
Irwan D. Setija On the Use of Small $2$D Convolutions on
GPUs . . . . . . . . . . . . . . . . . . 52--64
Milan Pavlovic and
Yoav Etsion and
Alex Ramirez Can Manycores Support the Memory
Requirements of Scientific Applications? 65--76
David J. Meder and
Walter F. Tichy Parallelizing an Index Generator for
Desktop Search . . . . . . . . . . . . . 77--85
Martha A. Kim and
Stephen A. Edwards Computation vs. Memory Systems: Pinning
Down Accelerator Bottlenecks . . . . . . 86--98
João Porto and
Guido Araujo and
Edson Borin and
Youfeng Wu Trace Execution Automata in Dynamic
Binary Translation . . . . . . . . . . . 99--116
Maxwell Souza and
Daniel Nicácio and
Guido Araújo ISAMAP: Instruction Mapping Driven by
Dynamic Binary Translation . . . . . . . 117--138
Matthew A. Goodrum and
Michael J. Trotter and
Alla Aksel and
Scott T. Acton and
Kevin Skadron Parallelization of Particle Filter
Algorithms . . . . . . . . . . . . . . . 139--149
Mark Moir and
Dan Nussbaum What Kinds of Applications Can Benefit
from Transactional Memory? . . . . . . . 150--160
Christian Bienia and
Kai Li Characteristics of Workloads Using the
Pipeline Programming Model . . . . . . . 161--171
Laura Keys and
Suzanne Rivoire and
John D. Davis The Search for Energy-Efficient Building
Blocks for the Data Center . . . . . . . 172--182
Sabyasachi Ghosh and
Mark Redekopp and
Murali Annavaram KnightShift: Shifting the I/O Burden in
Datacenters to Management Processor for
Energy Efficiency . . . . . . . . . . . 183--197
Niti Madan and
Alper Buyuktosunoglu and
Pradip Bose and
Murali Annavaram Guarded Power Gating in a Multi-core
Setting . . . . . . . . . . . . . . . . 198--210
Ali Shafiee and
Narges Shahidi and
Amirali Baniasadi Using Partial Tag Comparison in
Low-Power Snoop-Based Chip
Multiprocessors . . . . . . . . . . . . 211--221
Hrishikesh Amur and
Karsten Schwan Achieving Power-Efficiency in Clusters
without Distributed File System
Complexity . . . . . . . . . . . . . . . 222--232
Heather Hanson and
Karthick Rajamani What Computer Architects Need to Know
about Memory Throttling . . . . . . . . 233--242
William Lloyd Bircher and
Lizy John Predictive Power Management for
Multi-core Processors . . . . . . . . . 243--255
Nadav Amit and
Muli Ben-Yehuda and
Ben-Ami Yassour IOMMU: Strategies for Mitigating the
IOTLB Bottleneck . . . . . . . . . . . . 256--274
David Nellans and
Kshitij Sudan and
Erik Brunvand and
Rajeev Balasubramonian Improving Server Performance on
Multi-cores via Selective Off-Loading of
OS Functionality . . . . . . . . . . . . 275--292
Mel Gorman and
Patrick Healy Performance Characteristics of Explicit
Superpage Support . . . . . . . . . . . 293--310
Mojtaba Sabeghi and
Koen Bertels Interfacing Operating Systems and
Polymorphic Computing Platforms Based on
the MOLEN Programming Paradigm . . . . . 311--323
Marios Kleanthous and
Yiannakis Sazeides and
Marios D. Dikaiakos Extrinsic and Intrinsic Text Cloning . . 324--340
Priyanka Tembey and
Ada Gavrilovska and
Karsten Schwan A Case for Coordinated Resource
Management in Heterogeneous Multicore
Platforms . . . . . . . . . . . . . . . 341--356
Boris Grot and
Stephen W. Keckler and
Onur Mutlu Topology-Aware Quality-of-Service
Support in Highly Integrated Chip
Multiprocessors . . . . . . . . . . . . 357--375
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
C. Anantaram and
Shailly Goyal Semantic Collation of Enterprise Data
for Effective Information Retrieval . . 1--8
Asanee Kawtrakul Beyond Knowledge Management: Knowledge
Services Innovation . . . . . . . . . . 9--15
Frederic Andres and
Rajkumar Kannan Ontology Driven Data Management with
Topic Maps . . . . . . . . . . . . . . . 16--23
A. Rajimol and
G. Raju Web Access Pattern Mining --- a Survey 24--31
Nandhini Kumaresh and
Balasundaram Sadhu Ramakrishnan Graph Based Single Document
Summarization . . . . . . . . . . . . . 32--35
Ayyalu Hariharan Nandhu Kishore and
Mohan Saravanan A Novel Text-Mining System for
Generating Abstract from Extracted
Summaries Using Anaphora Resolution . . 36--43
T. V. Vijay Kumar and
Mohammad Haider Materialized Views Selection for
Answering Queries . . . . . . . . . . . 44--51
R. Kanchana and
Aishwarya Rajagopal and
S. Kaavya and
R. Bakiyalakshmi Integration of XML Databases by Schema
Restructuring . . . . . . . . . . . . . 52--56
Manoj S. Chaudhari and
Chandrashekhar Dhote Dynamic Materialized View Selection
Algorithm: a Clustering Approach . . . . 57--66
Jerzy Korczak and
Krzysztof Drelczuk Quality of Forecasting Based on
Compressed High Frequency Time Series 67--74
Dharmveer Singh Rajput and
P. K. Singh and
M. Bhattacharya Reduct and Variance Based Clustering of
High Dimensional Dataset . . . . . . . . 75--79
Santosh Kumar and
Sukumar Nandi and
Santosh Biswas Peer-to-Peer Network Classification
Using nu-Maximal Margin Spherical
Structured Multiclass Support Vector
Machine . . . . . . . . . . . . . . . . 80--84
K. Susheel Kumar and
Pradeep Kumar Saroj and
R. C. Tripathi An Adaptive Image Retrieval System with
Relevance Feedback and Clustering . . . 85--92
Sachin N. Deshmukh and
Suresh C. Mehrotra and
Hardeep Singh Using the Normalization for Typographic
Errors in Numerals . . . . . . . . . . . 93--95
N. Nallammal and
V. Radha Performance Evaluation of Face
Recognition Based on PCA, LDA, ICA and
Hidden Markov Model . . . . . . . . . . 96--100
Bodhisattwa Gangopadhyay and
Artur Arsenio and
Claudia Antunes Comparative Study of Pattern Mining
Techniques for Network Management System
Logs for Convergent Network . . . . . . 101--108
Stephan Schneider and
Dirk Frosch-Wilke Analysis Patterns in Dimensional Data
Modeling . . . . . . . . . . . . . . . . 109--116
Olivia Castelino and
Preetham Kumar and
Srivatsa Maddodi Mining Single Pass Weighted Pattern Tree 117--124
N. Vanjulavalli Ontology Based Conceptual Framework of
E-Learning System --- The Future
Perspective . . . . . . . . . . . . . . 125--130
A. Raja Mohan and
G. Arumugam Developing Indian Medicinal Plant
Ontology Using OWL and SWRL . . . . . . 131--138
K. M. Anil Kumar and
Suresha Detection of Web Users' Opinion from
Normal and Short Opinionated Words . . . 139--145
Krassimira Ivanova and
Peter Stanchev and
Evgeniya Velikova and
Koen Vanhoof and
Benoit Depaire Features for Art Painting Classification
Based on Vector Quantization of MPEG-7
Descriptors . . . . . . . . . . . . . . 146--153
Sanjay Patil and
Sanjay Talbar Content Based Image Retrieval Using
Various Distance Metrics . . . . . . . . 154--161
B. Celia and
I. Felci Rajam An Efficient Content Based Image
Retrieval Framework Using Machine
Learning Techniques . . . . . . . . . . 162--169
Rolly Gupta and
Anjana Gosain Validating Data Warehouse Quality
Metrics Using PCA . . . . . . . . . . . 170--172
Girish Keshav Palshikar and
Amrit Lal Ahuja and
Harrick M. Vin Utilization Analysis of Servers in a
Data Centre . . . . . . . . . . . . . . 173--180
Burepalli V. S. Rao and
Munaga V. N. K. Prasad Subset Selection Approach for
Watermarking Relational Databases . . . 181--188
Deepa D. Shankar and
T. Gireeshkumar and
K. Praveen and
R. Jithin and
Ashji S. Raj Block Dependency Feature Based
Classification Scheme for Uncalibrated
Image Steganalysis . . . . . . . . . . . 189--195
R. Krishnamoorthy and
J. Kalpana Indexing and Retrieval of Visually
Similar Images in the Orthogonal
Polynomials Transform Domain . . . . . . 196--203
Mahendiran Arunothayam and
Baskaran Ramachandran and
Dhavachelvan Ponnurangam Human Action Recognition and
Localization in Video at Contextual
Level . . . . . . . . . . . . . . . . . 204--207
M. Hanumanthappa and
B. R. Prakash and
Manish Kumar Applications of Data Mining in
e-Governance: a Case Study of Bhoomi
Project . . . . . . . . . . . . . . . . 208--218
T. Gireeshkumar and
K. J. Poornaselvan and
Sattviksharma and
Gulshankumar and
R. Sreevathsan Tracking of Nose Tip: an Alternative for
Mouse . . . . . . . . . . . . . . . . . 219--225
Alex Aravind and
Viswanathan Manickam A Wireless Sensors Based Feedback System
for Human Body Movement Practices . . . 226--233
Gaurang Panchal and
Amit Ganatra and
Y. P. Kosta and
Devyani Panchal Performance Analysis of Classification
Techniques Using Different Parameters 234--241
Madhu Kumari and
Kamal K. Bharadwaj Revenue Estimation and Quantification in
Sponsored Search Auctions: an Inductive
Learning Approach . . . . . . . . . . . 242--244
Anil L. Pereira and
Mehdi Raoufi and
Jerrod C. Frost Using MySQL and JDBC in New Teaching
Methods for Undergraduate Database
Systems Courses . . . . . . . . . . . . 245--248
R. U. Rekha and
M. Anand Kumar and
V. Dhanalakshmi and
K. P. Soman and
S. Rajendran A Novel Approach to Morphological
Generator for Tamil . . . . . . . . . . 249--251
V. P. Abeera and
S. Aparna and
R. U. Rekha and
M. Anand Kumar and
V. Dhanalakshmi and
K. P. Soman Morphological Analyzer for Malayalam
Using Machine Learning . . . . . . . . . 252--254
Karuna Jindal and
Vishal Goyal Improved Algorithm for Automatic Word
Alignment for Hindi--Punjabi Parallel
Corpus . . . . . . . . . . . . . . . . . 255--263
Rajeev Kumar and
Alok Ranjan and
Joydip Dhar A Fast and Effective Partitioning
Algorithm for Document Clustering . . . 264--271
Archana Donavalli and
Manjeet Rege and
Xumin Liu and
Kourosh Jafari-Khouzani Low-Rank Matrix Factorization and
Co-clustering Algorithms for Analyzing
Large Data Sets . . . . . . . . . . . . 272--279
Bhavik Desai and
Pankaj Andhale and
Manjeet Rege and
Qi Yu Biclustering and Feature Selection
Techniques in Bioinformatics . . . . . . 280--287
Alok Ranjan and
Rajeev Kumar and
Joydip Dhar A Comparative Study between Dynamic Web
Scripting Languages . . . . . . . . . . 288--295
T. Subbulakshmi and
S. Mercy Shalinie and
A. Ramamoorthi Masquerader Classification System with
Linux Command Sequences Using Machine
Learning Algorithms . . . . . . . . . . 296--302
Gaurav Kumar Tak and
Shashikala Tapaswi Parsing Operations Based Approach
towards Phishing Attacks . . . . . . . . 303--308
B. N. Keshavamurthy and
Mitesh Sharma and
Durga Toshniwal Efficient Mining of Frequent Items
Coupled with Weight and /or Support over
Progressive Databases . . . . . . . . . 309--316
Raghuraj Suryavanshi and
Divakar Yadav Formal Development of Byzantine Immune
Total Order Broadcast System Using
Event-B . . . . . . . . . . . . . . . . 317--324
Girish Chandra and
Divakar Yadav Analyzing Data Flow in Trustworthy
Electronic Payment Systems Using Event-B 325--332
Preetham Kumar and
V. S. Ananthanarayana Attribute-TID Method for Discovering
Sequence of Attributes . . . . . . . . . 333--340
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Murad Banaji $P_0$-Matrix Products of Matrices . . . 1--17
Joris J. M. Gillis and
Jan Van den Bussche A Formal Model for Databases in DNA . . 18--37
Ana Graça and
Inês Lynce and
João Marques-Silva Efficient and Accurate Haplotype
Inference by Combining Parsimony and
Pedigree Information . . . . . . . . . . 38--56
François Lemaire and
Asli Ürgüplü MABSys: Modeling and Analysis of
Biological Systems . . . . . . . . . . . 57--75
Samuel Vidal and
Michel Petitot and
François Boulier Models of Stochastic Gene Expression and
Weyl Algebra . . . . . . . . . . . . . . 76--97
Rodrigo Assar and
Felipe A. Vargas and
David J. Sherman Reconciling Competing Models: a Case
Study of Wine Fermentation Kinetics . . 98--116
Haijun Gong and
Paolo Zuliani and
Anvesh Komuravelli Computational Modeling and Verification
of Signaling Pathways in Cancer . . . . 117--135
Ozan Kahramano\ugullarì and
Ferenc Jordán and
Corrado Priami Composability: Perspectives in
Ecological Modeling . . . . . . . . . . 136--148
Masahiko Nakatsui and
Alexandre Sedoglavic and
François Lemaire A General Procedure for Accurate
Parameter Estimation in Dynamic Systems
Using New Estimation Errors . . . . . . 149--166
Oliver Ray and
Takehide Soh and
Katsumi Inoue Analyzing Pathways Using ASP-Based
Approaches . . . . . . . . . . . . . . . 167--183
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Olga Russakovsky and
Li Fei-Fei Attribute Learning in Large-Scale
Datasets . . . . . . . . . . . . . . . . 1--14
Marcus Rohrbach and
Michael Stark and
György Szarvas and
Bernt Schiele Combining Language Sources and Robust
Semantic Relatedness for Attribute-Based
Knowledge Transfer . . . . . . . . . . . 15--28
Grigorios Tsagkatakis and
Andreas Savakis Sparse Representations and Distance
Learning for Attribute Based Category
Recognition . . . . . . . . . . . . . . 29--42
Neva Cherniavsky and
Ivan Laptev and
Josef Sivic and
Andrew Zisserman Semi-supervised Learning of Facial
Attributes in Video . . . . . . . . . . 43--56
Li-Jia Li and
Hao Su and
Yongwhan Lim and
Li Fei-Fei Objects as Attributes for Scene
Classification . . . . . . . . . . . . . 57--69
Congcong Li and
Adarsh Kowdle and
Ashutosh Saxena and
Tsuhan Chen A Generic Model to Compose Vision
Modules for Holistic Scene Understanding 70--85
Utsav Prabhu and
Keshav Seshadri and
Marios Savvides Automatic Facial Landmark Tracking in
Video Sequences Using Kalman Filter
Assisted Active Shape Models . . . . . . 86--99
Dennis L. Herzog and
Volker Krüger Tracking in Action Space . . . . . . . . 100--113
Zhuolin Jiang and
Zhe Lin and
Larry S. Davis A Tree-Based Approach to Integrated
Action Localization, Recognition and
Segmentation . . . . . . . . . . . . . . 114--127
Alparslan Yildiz and
Yusuf Sinan Akgul A Fast Method for Tracking People with
Multiple Cameras . . . . . . . . . . . . 128--138
Andreas Baak and
Thomas Helten and
Meinard Müller and
Gerard Pons-Moll and
Bodo Rosenhahn Analyzing and Evaluating Markerless
Motion Tracking Using Inertial Sensors 139--152
Akitsugu Noguchi and
Keiji Yanai A SURF-Based Spatio-Temporal Feature for
Feature-Fusion-Based Action Recognition 153--167
Fei Yuan and
Véronique Prinet and
Junsong Yuan Middle-Level Representation for Human
Activities Recognition: The Role of
Spatio-Temporal Relationships . . . . . 168--180
Tian Lan and
Yang Wang and
Greg Mori and
Stephen N. Robinovitch Retrieving Actions in Group Contexts . . 181--194
Gabriele Fanelli and
Angela Yao and
Pierre-Luc Noel and
Juergen Gall and
Luc Van Gool Hough Forest-Based Facial Expression
Recognition from Video Sequences . . . . 195--206
Hatice Çìnar Akakìn and
Bülent Sankur Spatiotemporal Features for Effective
Facial Expression Recognition . . . . . 207--218
Alexander Kläser and
Marcin Marsza\lek and
Cordelia Schmid and
Andrew Zisserman Human Focused Action Localization in
Video . . . . . . . . . . . . . . . . . 219--233
Matilde Gonzalez and
Christophe Collet and
Rémi Dubot Head Tracking and Hand Segmentation
during Hand over Face Occlusion in Sign
Language . . . . . . . . . . . . . . . . 234--243
Khai Tran and
Ioannis A. Kakadiaris and
Shishir K. Shah Fusion of Human Posture Features for
Continuous Action Recognition . . . . . 244--257
Anastasios Roussos and
Stavros Theodorakis and
Vassilis Pitsikalis and
Petros Maragos Hand Tracking and Affine
Shape-Appearance Handshape Sub-units in
Continuous Sign Language Recognition . . 258--272
Wei Du and
Justus Piater Hand Modeling and Tracking for
Video-Based Sign Language Recognition by
Robust Principal Component Analysis . . 273--285
Philippe Dreuw and
Jens Forster and
Hermann Ney Tracking Benchmark Databases for
Video-Based Sign Language Recognition 286--297
Konstantinos Rapantzikos and
Yannis Avrithis and
Stefanos Kollias Detecting Regions from Single Scale
Edges . . . . . . . . . . . . . . . . . 298--311
Simon Hadfield and
Richard Bowden Generalised Pose Estimation Using Depth 312--325
Dimitris Metaxas Invited Talk: Coupling Deformable Models
and Learning Methods for Nonverbal
Behavior Analysis: Applications to
Deception, Multi-cultural Studies and
ASL . . . . . . . . . . . . . . . . . . 326--328
Zengyin Zhang and
Minyoung Kim and
Fernando de la Torre and
Wende Zhang A Real-Time System for Head Tracking and
Pose Estimation . . . . . . . . . . . . 329--341
Haijing Wang and
Alexandra Stefan and
Sajjad Moradi and
Vassilis Athitsos and
Carol Neidle A System for Large Vocabulary Sign
Search . . . . . . . . . . . . . . . . . 342--353
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Alexandros Panagopoulos and
Chaohui Wang and
Dimitris Samaras and
Nikos Paragios Estimating Shadows with the Bright
Channel Cue . . . . . . . . . . . . . . 1--12
Fan Wang and
Roberto Manduchi Color-Constant Information Embedding . . 13--26
Mithun Das Gupta and
Jing Xiao Bi-affinity Filter: a Bilateral Type
Filter for Color Images . . . . . . . . 27--40
Tobias Elbrandt and
Jörn Ostermann Photometric Color Calibration of the
Joint Monitor-Camera Response Function 41--49
Guy Rosman and
Xue-Cheng Tai and
Lorina Dascal and
Ron Kimmel Polyakov Action Minimization for
Efficient Color Image Processing . . . . 50--61
Dung Manh Chu and
Arnold W. M. Smeulders Color Invariant SURF in Discriminative
Object Tracking . . . . . . . . . . . . 62--75
Eva Eibenberger and
Elli Angelopoulou The Narrow-Band Assumption in
Log-Chromaticity Space . . . . . . . . . 76--89
Giulia Paggetti and
Gloria Menegaz Is Light Blue (azzurro) Color Name
Universal in the Italian Language? . . . 90--103
Yong-Ho Shin and
Min-Gyu Park and
Young-Sun Jeon and
Young-Su Moon and
Shi-Hwa Lee and
Kuk-Jin Yoon Tone Correction with Dynamic Objects for
Seamless Image Mosaic . . . . . . . . . 104--117
Roland Brémond and
Josselin Petit and
Jean-Philippe Tarel Saliency Maps of High Dynamic Range
Images . . . . . . . . . . . . . . . . . 118--130
Alex Mansfield and
Peter Gehler and
Luc Van Gool and
Carsten Rother Visibility Maps for Improving Seam
Carving . . . . . . . . . . . . . . . . 131--144
Eitam Kav-Venaki and
Shmuel Peleg Feedback Retargeting . . . . . . . . . . 145--155
Christel Chamaret and
Olivier Le Meur and
Philippe Guillotel and
Jean-Claude Chevet How to Measure the Relevance of a
Retargeting Approach? . . . . . . . . . 156--168
Hansung Kim and
Adrian Hilton $3$D Modelling of Static Environments
Using Multiple Spherical Stereo . . . . 169--183
Michal Jancosek and
Tomas Pajdla Hallucination-Free Multi-View Stereo . . 184--196
Jens Ackermann and
Martin Ritz and
André Stork and
Michael Goesele Removing the Example from Example-Based
Photometric Stereo . . . . . . . . . . . 197--210
Adarsh Kowdle and
Dhruv Batra and
Wen-Chao Chen and
Tsuhan Chen iModel: Interactive Co-segmentation for
Object of Interest $3$D Modeling . . . . 211--224
Quan Wang and
Suya You Automatic Registration of Large-Scale
Multi-sensor Datasets . . . . . . . . . 225--238
Alexander Ladikos and
Edmond Boyer and
Nassir Navab and
Slobodan Ilic Region Graphs for Organizing Image
Collections . . . . . . . . . . . . . . 239--252
Martin Habbecke and
Leif Kobbelt Automatic Registration of Oblique Aerial
Images with Cadastral Maps . . . . . . . 253--266
Sudipta N. Sinha and
Drew Steedly and
Richard Szeliski A Multi-stage Linear Approach to
Structure from Motion . . . . . . . . . 267--281
Richard Steffen and
Jan-Michael Frahm and
Wolfgang Förstner Relative Bundle Adjustment Based on
Trifocal Constraints . . . . . . . . . . 282--295
Christoph Bodensteiner and
Marcus Hebel and
Michael Arens Accurate Single Image Multi-modal Camera
Pose Estimation . . . . . . . . . . . . 296--309
Tobias Weyand and
Jan Hosang and
Bastian Leibe An Evaluation of Two Automatic Landmark
Building Discovery Algorithms for City
Reconstruction . . . . . . . . . . . . . 310--323
Fernanda A. Andaló and
Gabriel Taubin and
Siome Goldenstein Vanishing Point Detection by Segment
Clustering on the Projective Space . . . 324--337
Hongtao Xie and
Ke Gao and
Yongdong Zhang and
Jintao Li and
Yizhi Liu and
Huamin Ren Effective and Efficient Image Copy
Detection Based on GPU . . . . . . . . . 338--349
Brian Fulkerson and
Stefano Soatto Really Quick Shift: Image Segmentation
on a GPU . . . . . . . . . . . . . . . . 350--358
Rune Mòllegaard Friborg and
Sòren Hauberg and
Kenny Erleben GPU Accelerated Likelihoods for
Stereo-Based Articulated Tracking . . . 359--371
Pascal Gwosdek and
Henning Zimmer and
Sven Grewenig and
Andrés Bruhn and
Joachim Weickert A Highly Efficient GPU Implementation
for Variational Optic Flow Based on the
Euler--Lagrange Framework . . . . . . . 372--383
K. Tzevanidis and
X. Zabulis and
T. Sarmis and
P. Koutlemanis and
N. Kyriazis and
A. Argyros From Multiple Views to Textured $3$D
Meshes: a GPU-Powered Approach . . . . . 384--397
Ke Zhu and
Matthias Butenuth and
Pablo d'Angelo Comparison of Dense Stereo Using CUDA 398--410
Yi-Chu Wang and
Bryan Donyanavard and
Kwang-Ting (Tim) Cheng Energy-Aware Real-Time Face Recognition
System on Mobile CPU--GPU Platform . . . 411--422
Siddharth Choudhary and
Shubham Gupta and
P. J. Narayanan Practical Time Bundle Adjustment for
$3$D Reconstruction on the GPU . . . . . 423--435
Koen E. A. van de Sande and
Theo Gevers and
Cees G. M. Snoek Accelerating Visual Categorization with
the GPU . . . . . . . . . . . . . . . . 436--449
Jan Stühmer and
Stefan Gumhold and
Daniel Cremers Parallel Generalized Thresholding Scheme
for Live Dense Geometry from a Handheld
Camera . . . . . . . . . . . . . . . . . 450--462
Tim Johnson and
Pierre Fite-Georgel and
Rahul Raguram and
Jan-Michael Frahm Fast Organization of Large Photo
Collections Using CUDA . . . . . . . . . 463--476
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Sharmila Savarimuthu and
Maryam Purvis and
Martin K. Purvis Altruistic Sharing Using Tags . . . . . 1--12
Priyadarshini Manavalan and
Munindar P. Singh Emerging Properties of Knowledge Sharing
Referral Networks: Considerations of
Effectiveness and Fairness . . . . . . . 13--23
Marco Mari and
Agostino Poggi and
Michele Tomaiuolo and
Paola Turci Enhancing Peer-to-Peer Applications with
Multi-agent Systems . . . . . . . . . . 24--34
Özgür Kafalì and
Pìnar Yolum Improving Self-organized Resource
Allocation with Effective Communication 35--46
Hugo Pommier and
François Bourdon Data Mobility in Peer-to-Peer Systems to
Improve Robustness . . . . . . . . . . . 47--58
Nabil Sahli and
Gabriele Lenzini and
Henk Eertink Trustworthy Agent-Based Recommender
System in a Mobile P2P Environment . . . 59--70
António Luís Lopes and
Luís Miguel Botelho Efficient Algorithms for Agent-Based
Semantic Resource Discovery . . . . . . 71--82
Kousaku Kimura and
Satoshi Amamiya and
Tsunenori Mine and
Makoto Amamiya A Semi-structured Overlay Network for
Large-Scale Peer-to-Peer Systems . . . . 83--94
Frances Brazier and
Elth Ogston and
Martijn Warnier The Future of Energy Markets and the
Challenge of Decentralized
Self-management . . . . . . . . . . . . 95--103
Giacomo Cabri Agent Roles for Context-Aware P2P
Systems . . . . . . . . . . . . . . . . 104--114
Sonia Bergamaschi and
Francesco Guerra and
Federica Mandreoli and
Maurizio Vincini Working in a Dynamic Environment: The
NeP4B Approach as a MAS . . . . . . . . 115--128
Yoni Peleg and
Jeffrey S. Rosenschein Agents and Peer-to-Peer Computing:
Towards P2P-Based Resource Allocation in
Competitive Environments . . . . . . . . 129--140
Toktam Ebadi and
Maryam Purvis and
Martin K. Purvis A Colored Petri Net Model to Represent
the Interactions between a Set of
Cooperative Agents . . . . . . . . . . . 141--152
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . 1--1
Michal P\vechou\vcek and
Michal Jakob and
Peter Novák Towards Simulation-Aided Design of
Multi-Agent Systems . . . . . . . . . . 3--21
Anonymous Front Matter . . . . . . . . . . . . . . 23--23
Joost Broekens and
Koen Hindriks and
Pascal Wiggers Reinforcement Learning as Heuristic for
Action-Rule Preferences . . . . . . . . 25--40
M. Birna van Riemsdijk and
Neil Yorke-Smith Towards Reasoning with Partial Goal
Satisfaction in Intelligent Agents . . . 41--59
Anonymous Front Matter . . . . . . . . . . . . . . 61--61
Howell R. Jordan and
Rem Collier Evaluating Agent-Oriented Programs:
Towards Multi-paradigm Metrics . . . . . 63--78
Daniel Kiss and
Neil Madden and
Brian Logan Atomic Intentions in Jason$^+$ . . . . . 79--95
Hugo Carr and
Alexander Artikis and
Jeremy Pitt Software Support for Organised
Adaptation . . . . . . . . . . . . . . . 96--115
Anonymous Front Matter . . . . . . . . . . . . . . 117--117
Alessandro Ricci and
Andrea Santi and
Michele Piunti Action and Perception in Agent
Programming Languages: From Exogenous to
Endogenous Environments . . . . . . . . 119--138
Tristan Behrens and
Koen V. Hindriks and
Rafael H. Bordini and
Lars Braubach and
Mehdi Dastani An Interface for Agent-Environment
Interaction . . . . . . . . . . . . . . 139--158
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Antonio Muñoz-Mérida and
Javier Ríos Statistical Significance for NGS Reads
Similarities . . . . . . . . . . . . . . 1--7
Fernando Muñiz Fernandez and
Angel Carreño Torres Application of Array-Oriented Scientific
Data Formats (NetCDF) to Genotype Data,
GWASpi as an Example . . . . . . . . . . 8--20
João Almeida and
João Tiple and
Mário Ramirez An Ontology and a REST API for Sequence
Based Microbial Typing Data . . . . . . 21--28
Alex Sánchez and
José Fernández-Real Multivariate Methods for the Integration
and Visualization of Omics Data . . . . 29--41
Pedro Lopes and
José Luís Oliveira A Holistic Approach for Integrating
Genomic Variation Information . . . . . 42--49
María Jesús García-Godoy and
Ismael Navas-Delgado SB--KOM: Integration of Pathway
Information with BioPax . . . . . . . . 50--65
Noé Fernández-Pozo and
Darío Guerrero-Fernández GENote v. $\beta$: a Web Tool Prototype
for Annotation of Unfinished Sequences
in Non-model Eukaryotes . . . . . . . . 66--71
Álvaro Sebastián and
Carlos P. Cantalapiedra Interface Similarity Improves Comparison
of DNA-Binding Proteins: The Homeobox
Example . . . . . . . . . . . . . . . . 72--82
Juan González-Vallinas and
Sonja Althammer Pyicos: a Flexible Tool Library for
Analyzing Protein-Nucleotide
Interactions with Mapped Reads from Deep
Sequencing . . . . . . . . . . . . . . . 83--88
Ian Morilla and
Miguel A. Medina and
Juan A. G. Ranea Novel Angiogenic Functional Targets
Predicted through ``Dark Matter''
Assessment in Protein Networks . . . . . 89--93
Johan Karlsson and
Oswaldo Trelles jORCA and Magallanes Sailing Together
towards Integration of Web Services . . 94--101
José M. Fernández and
Robert Hoffmann iHOP Web Services Family . . . . . . . . 102--107
José M. Fernández and
Alfonso Valencia Bioinformatic Software Developments in
Spain . . . . . . . . . . . . . . . . . 108--120
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Remco Duits and
Tom C. J. Dela Haije and
Arpan Ghosh and
Eric Creusen and
Anna Vilanova Fiber Enhancement in Diffusion-Weighted
MRI . . . . . . . . . . . . . . . . . . 1--13
Eric J. Creusen and
Remco Duits and
Tom C. J. Dela Haije Numerical Schemes for Linear and
Non-linear Enhancement of DW--MRI . . . 14--25
Markus Mainberger and
Sebastian Hoffmann and
Joachim Weickert and
Ching Hoo Tang Optimising Spatial and Tonal Data for
Homogeneous Diffusion Inpainting . . . . 26--37
Serena Morigi and
Marco Rucci and
Fiorella Sgallari Nonlocal Surface Fairing . . . . . . . . 38--49
Tanja Teuber and
Annika Lang Nonlocal Filters for Removing
Multiplicative Noise . . . . . . . . . . 50--61
Andreas Schwarzkopf and
Thomas Kalbe and
Chandrajit Bajaj and
Arjan Kuijper and
Michael Goesele Volumetric Nonlinear Anisotropic
Diffusion on GPUs . . . . . . . . . . . 62--73
Klaus Frick and
Philipp Marnitz A Statistical Multiresolution Strategy
for Image Reconstruction . . . . . . . . 74--85
Raymond Chan and
Mila Nikolova and
You-Wei Wen A Variational Approach for Exact
Histogram Specification . . . . . . . . 86--97
Sebastian Bauer and
Benjamin Berkels and
Joachim Hornegger and
Martin Rumpf Joint ToF Image Denoising and
Registration with a CT Surface in
Radiation Therapy . . . . . . . . . . . 98--109
Mila Nikolova Either Fit to Data Entries or Locally to
Prior: The Minimizers of Objectives with
Nonsmooth Nonconvex Data Fidelity and
Regularization . . . . . . . . . . . . . 110--121
Jing Yuan and
Juan Shi and
Xue-Cheng Tai and
Yuri Boykov A Study on Convex Optimization
Approaches to Image Fusion . . . . . . . 122--133
Aaron Wetzler and
Ron Kimmel Efficient Beltrami Flow in Patch-Space 134--143
Yuping Duan and
Yu Wang and
Xue-Cheng Tai and
Jooyoung Hahn A Fast Augmented Lagrangian Method for
Euler's Elastica Model . . . . . . . . . 144--156
Iftach Klapp and
Nir Sochen and
David Mendlovic Deblurring Space-Variant Blur by Adding
Noisy Image . . . . . . . . . . . . . . 157--168
Jooyoung Hahn and
Ginmo J. Chung and
Yu Wang and
Xue-Cheng Tai Fast Algorithms for $p$-elastica Energy
with the Application to Image Inpainting
and Curve Reconstruction . . . . . . . . 169--182
Nir Sochen and
Leah Bar The Beltrami--Mumford--Shah Functional 183--193
Daniele Bertaccini and
Raymond H. Chan and
Serena Morigi and
Fiorella Sgallari An Adaptive Norm Algorithm for Image
Restoration . . . . . . . . . . . . . . 194--205
Frank Lenzen and
Florian Becker and
Jan Lellmann and
Stefania Petra and
Christoph Schnörr Variational Image Denoising with
Adaptive Constraint Sets . . . . . . . . 206--217
Jun Liu and
Xue-cheng Tai and
Haiyang Huang and
Zhongdan Huan Simultaneous Denoising and Illumination
Correction via Local Data-Fidelity and
Nonlocal Regularization . . . . . . . . 218--230
Charles-Alban Deledalle and
Vincent Duval and
Joseph Salmon Anisotropic Non-Local Means with
Spatially Adaptive Patch Shapes . . . . 231--242
Byung-Woo Hong and
Kangyu Ni and
Stefano Soatto Entropy-Scale Profiles for Texture
Segmentation . . . . . . . . . . . . . . 243--254
Miyoun Jung and
Gabriel Peyré and
Laurent D. Cohen Non-local Active Contours . . . . . . . 255--266
Sibel Tari and
Murat Genctav From a Modified Ambrosio--Tortorelli to
a Randomized Part Hierarchy Tree . . . . 267--278
Jing Yuan and
Egil Bae and
Yuri Boykov and
Xue-Cheng Tai A Continuous Max-Flow Approach to
Minimal Partitions with Label Cost Prior 279--290
Li-Lian Wang and
Yuying Shi and
Xue-Cheng Tai Robust Edge Detection Using
Mumford--Shah Model and Binary Level Set
Method . . . . . . . . . . . . . . . . . 291--301
Tomoya Sakai and
Haruhiko Nishiguchi and
Hayato Itoh and
Atsushi Imiya Bifurcation of Segment Edge Curves in
Scale Space . . . . . . . . . . . . . . 302--313
Manuel Werlberger and
Markus Unger and
Thomas Pock and
Horst Bischof Efficient Minimization of the Non-local
Potts Model . . . . . . . . . . . . . . 314--325
Benjamin Berkels and
Marc Kotowski and
Martin Rumpf and
Carlo Schaller Sulci Detection in Photos of the Human
Cortex Based on Learned Discriminative
Dictionaries . . . . . . . . . . . . . . 326--337
Dorit S. Hochbaum An Efficient and Effective Tool for
Image Segmentation, Total Variations and
Regularization . . . . . . . . . . . . . 338--349
Yan Li and
David M. J. Tax and
Marco Loog Supervised Scale-Invariant Segmentation
(and Detection) . . . . . . . . . . . . 350--361
Youssef Rouchdy and
Laurent D. Cohen A Geodesic Voting Shape Prior to
Constrain the Level Set Evolution for
the Segmentation of Tubular Trees . . . 362--373
Martin Welk Amoeba Active Contours . . . . . . . . . 374--385
Y. Ahipo and
D. Auroux and
L. D. Cohen and
M. Masmoudi A Hybrid Scheme for Contour Detection
and Completion Based on Topological
Gradient and Fast Marching Algorithms-
Application to Inpainting and
Segmentation . . . . . . . . . . . . . . 386--397
David Peles and
Michael Lindenbaum A Segmentation Quality Measure Based on
Rich Descriptors and Classification
Methods . . . . . . . . . . . . . . . . 398--410
Xiaohao Cai and
Raymond H. Chan and
Serena Morigi and
Fiorella Sgallari Framelet-Based Algorithm for
Segmentation of Tubular Structures . . . 411--422
Bernhard Schmitzer and
Christoph Schnörr Weakly Convex Coupling Continuous Cuts
and Shape Priors . . . . . . . . . . . . 423--434
Julien Rabin and
Gabriel Peyré and
Julie Delon and
Marc Bernot Wasserstein Barycenter and Its
Application to Texture Mixing . . . . . 435--446
Pascal Gwosdek and
Sven Grewenig and
Andrés Bruhn and
Joachim Weickert Theoretical Foundations of Gaussian
Convolution by Extended Box Filtering 447--458
Micha Feigin and
Dan Feldman and
Nir Sochen From High Definition Image to Low Space
Optimization . . . . . . . . . . . . . . 459--470
Yonathan Aflalo and
Ron Kimmel Measuring Geodesic Distances via the
Uniformization Theorem . . . . . . . . . 471--482
Thomas Batard and
Nir Sochen Polyakov Action on $(\rho,
G)$-Equivariant Functions Application to
Color Image Regularization . . . . . . . 483--494
Juan Shi and
Min Wan and
Xue-Cheng Tai and
Desheng Wang Curvature Minimization for Surface
Reconstruction with Features . . . . . . 495--507
Mila Nikolova Should We Search for a Global Minimizer
of Least Squares Regularized with an
$\ell_0$ Penalty to Get the Exact
Solution of an under Determined Linear
System? . . . . . . . . . . . . . . . . 508--519
Guillermo Gallego and
Anthony Yezzi and
Francesco Fedele and
Alvise Benetazzo Weak Statistical Constraints for
Variational Stereo Imaging of Oceanic
Waves . . . . . . . . . . . . . . . . . 520--531
Kai Hagenburg and
Michael Breuß and
Joachim Weickert and
Oliver Vogel Novel Schemes for Hyperbolic PDEs Using
Osmosis Filters from Visual Computing 532--543
Andreas Luxenburger and
Henning Zimmer and
Pascal Gwosdek and
Joachim Weickert Fast PDE-Based Image Analysis in Your
Pocket . . . . . . . . . . . . . . . . . 544--555
Deokwoo Lee and
Hamid Krim A Sampling Theorem for a $2$D Surface 556--567
Manuel Gräf and
Daniel Potts and
Gabriele Steidl Quadrature Nodes Meet Stippling Dots . . 568--579
Chaohui Wang and
Michael M. Bronstein and
Alexander M. Bronstein and
Nikos Paragios Discrete Minimum Distortion
Correspondence Problems for Non-rigid
Shape Matching . . . . . . . . . . . . . 580--591
Jonathan Pokrass and
Alexander M. Bronstein and
Michael M. Bronstein A Correspondence-Less Approach to
Matching of Deformable Shapes . . . . . 592--603
Dan Raviv and
Anastasia Dubrovina and
Ron Kimmel Hierarchical Matching of Non-rigid
Shapes . . . . . . . . . . . . . . . . . 604--615
Artiom Kovnatsky and
Michael M. Bronstein and
Alexander M. Bronstein and
Ron Kimmel Photometric Heat Kernel Signatures . . . 616--627
Sheng Yi and
Hamid Krim and
Larry K. Norris Human Activity Modeling as Brownian
Motion on Shape Manifold . . . . . . . . 628--639
Karol Mikula and
Jozef Urbán $3$D Curve Evolution Algorithm with
Tangential Redistribution for a Fully
Automatic Finding of an Ideal Camera
Path in Virtual Colonoscopy . . . . . . 640--652
Pavel Dimitrov and
Matthew Lawlor and
Steven W. Zucker Distance Images and Intermediate-Level
Vision . . . . . . . . . . . . . . . . . 653--664
Amit Hooda and
Michael M. Bronstein and
Alexander M. Bronstein and
Radu P. Horaud Shape Palindromes: Analysis of Intrinsic
Symmetries in $2$D Articulated Shapes 665--676
Stefan Sommer and
François Lauze and
Mads Nielsen and
Xavier Pennec Kernel Bundle EPDiff: Evolution
Equations for Multi-scale Diffeomorphic
Image Registration . . . . . . . . . . . 677--688
Yonathan Aflalo and
Alexander M. Bronstein and
Michael M. Bronstein and
Ron Kimmel Deformable Shape Retrieval by Learning
Diffusion Kernels . . . . . . . . . . . 689--700
Thomas Corpetti and
Etienne Mémin Stochastic Models for Local Optical Flow
Estimation . . . . . . . . . . . . . . . 701--712
Oliver Demetz and
Joachim Weickert and
Andrés Bruhn and
Henning Zimmer Optic Flow Scale Space . . . . . . . . . 713--724
Guy Rosman and
Michael M. Bronstein and
Alexander M. Bronstein and
Alon Wolf and
Ron Kimmel Group-Valued Regularization Framework
for Motion Segmentation of Dynamic
Non-rigid Shapes . . . . . . . . . . . . 725--736
Pierre Dérian and
Patrick Héas and
Cédric Herzet and
Étienne Mémin Wavelet-Based Fluid Motion Estimation 737--748
Sai Gorthi and
Sébastien Beyou and
Thomas Corpetti and
Etienne Mémin Multiscale Weighted Ensemble Kalman
Filter for Fluid Flow Estimation . . . . 749--760
Guy Rosman and
Shachar Shem-Tov and
David Bitton and
Tal Nir and
Gilad Adiv and
Ron Kimmel and
Arie Feuer Over-Parameterized Optical Flow Using a
Stereoscopic Constraint . . . . . . . . 761--772
P. Héas and
C. Herzet and
E. Mémin Robust Optic-Flow Estimation with
Bayesian Inference of Model and
Hyper-parameters . . . . . . . . . . . . 773--785
Luc Florack Regularization of Positive Definite
Matrix Fields Based on Multiplicative
Calculus . . . . . . . . . . . . . . . . 786--796
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Victor Kyritsis and
Paraskevas V. Lekeas and
Dora Souliou and
Foto Afrati A New Framework for Join Product Skew 1--10
Hervé Ménager and
Vivek Gopalan and
Bertrand Néron and
Sandrine Larroudé and
Julien Maupetit Bioinformatics Applications Discovery
and Composition with the Mobyle Suite
and MobyleNet . . . . . . . . . . . . . 11--22
Eduardo Blanco and
Yudith Cardinale and
María-Esther Vidal and
Joyce El Haddad and
Maude Manouvrier A Transactional-QoS Driven Approach for
Web Service Composition . . . . . . . . 23--42
Pascal Neveu and
Caroline Domerg and
Juliette Fabre and
Vincent Négre and
Emilie Gennari Using Ontologies of Software: Example of
$R$ Functions Management . . . . . . . . 43--56
Edouard Strauser and
Mikaël Naveau and
Hervé Ménager and
Julien Maupetit and
Zoé Lacroix Semantic Map for Structural
Bioinformatics: Enhanced Service
Discovery Based on High Level Concept
Ontology . . . . . . . . . . . . . . . . 57--70
Rida A. Bazzi and
Jeffrey M. Kiefer and
Zoé Lacroix A User-Centric Classification of Tools
for Biological Resource Discovery and
Integration on the Web . . . . . . . . . 71--87
Daniela Godoy Comparing One-Class Classification
Algorithms for Finding Interesting
Resources in Social Bookmarking Systems 88--103
Flavio Costa and
Daniel de Oliveira and
Eduardo Ogasawara and
Alexandre A. B. Lima Athena: Text Mining Based Discovery of
Scientific Workflows in Disperse
Repositories . . . . . . . . . . . . . . 104--121
Ga\"\iane Hochard and
Zoé Lacroix and
Jordi Creus and
Bernd Amann A Semantic Map of RSS Feeds to Support
Discovery . . . . . . . . . . . . . . . 122--133
Joyce El Haddad Optimization Techniques for QoS-Aware
Workflow Realization in Web Services
Context . . . . . . . . . . . . . . . . 134--149
Mohamed Quafafou and
Omar Boucelma and
Yacine Sam and
Zahi Jarir Hybrid Reasoning for Web Services
Discovery . . . . . . . . . . . . . . . 150--159
Fernando Sánchez-Vilas and
Manuel Lama and
Juan C. Vidal and
Eduardo Sánchez Combining Uncorrelated Similarity
Measures for Service Discovery . . . . . 160--180
Bernd Amann and
Laure Berti-Equille and
Zoé Lacroix and
María-Esther Vidal Challenges of Quality-Driven Resource
Discovery . . . . . . . . . . . . . . . 181--189
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Lingzhi Wang and
Jiansheng Wu Neural Network Ensemble Model Using PPR
and LS--SVR for Stock Market Forecasting 1--8
Duyu Liu and
Qinzhen Huang Stability Analysis of Neutral Systems
with Distributed Delays . . . . . . . . 9--16
Miroslav Janeski and
Slobodan Kalajdziski Neural Network Model for Forecasting
Balkan Stock Exchanges . . . . . . . . . 17--24
Mien Van and
Hee-Jun Kang and
Young-Shick Ro A Robust Fault Detection and Isolation
Scheme for Robot Manipulators Based on
Neural Networks . . . . . . . . . . . . 25--32
Wei Cao and
Hui Zhou and
Zhimin Zhou and
Zuowei Fu An Approach for High Resolution Radar
Target Recognition Based on BP Neural
Network . . . . . . . . . . . . . . . . 33--39
Yan Zhou and
Zhifeng Hu Hybrid Clustering Algorithm Based on the
Artificial Immune Principle . . . . . . 40--46
Xueru Liang and
Shangkun Ren and
Lei Yang Succinct Initialization Methods for
Clustering Algorithms . . . . . . . . . 47--54
Yun-Chia Liang and
Chia-Yun Tien Variable Neighborhood Search for
Drilling Operation Scheduling in PCB
Industries . . . . . . . . . . . . . . . 55--62
Shixin Yang and
Wangmeng Zuo and
Lei Liu and
Yanlai Li and
David Zhang Adaptive Weighted Fusion of Local Kernel
Classifiers for Effective Pattern
Classification . . . . . . . . . . . . . 63--70
Jie Chen Improvement of LEACH Routing Algorithm
Based on Use of Balanced Energy in
Wireless Sensor Networks . . . . . . . . 71--76
Lin Zhu Optimal Regularization Parameter
Estimation for Regularized Discriminant
Analysis . . . . . . . . . . . . . . . . 77--82
Can-Yi Lu Optimized Projection for Sparse
Representation Based Classification . . 83--90
Yue Liu and
Wang Wei and
Kang Wang and
Zhenjiang Liao and
Jun-jun Gao Balanced-Sampling-Based Heterogeneous
SVR Ensemble for Business Demand
Forecasting . . . . . . . . . . . . . . 91--99
Can-Yi Lu CCC: Classifier Combination via
Classifier . . . . . . . . . . . . . . . 100--107
Ahmad Nazari Mohd Rose and
Mohd Isa Awang and
Hasni Hassan and
Aznida Hayati Zakaria Hybrid Reduction in Soft Set Decision
Making . . . . . . . . . . . . . . . . . 108--115
Wen Jiang A New Class of $\epsilon$-Optimal
Learning Automata . . . . . . . . . . . 116--121
Jie Wang Uncertainty Measures of Roughness Based
on Interval Ordered Information Systems 122--130
Mustafa Secmen and
M. Fatih Tasgetiren A Differential Evolution Algorithm for
the Extraction of Complex Natural
Resonance Frequencies of Electromagnetic
Targets . . . . . . . . . . . . . . . . 131--138
Zahra Pourali and
Majid Aminnayeri A Novel Discrete League Championship
Algorithm for Minimizing
Earliness/Tardiness Penalties with
Distinct Due Dates and Batch Delivery
Consideration . . . . . . . . . . . . . 139--146
Martin Pilát and
Roman Neruda Local Meta-models for ASM--MOMA . . . . 147--152
Yanwei Zhao and
Chuan Li and
Jing-ling Zhang and
Xingqiu Ren and
Wei Ren Research on Vehicle Routing Problem with
Stochastic Demand Based on
Multi-objective Method . . . . . . . . . 153--161
Khoa Trinh and
Jacques Ferland and
Tien Dinh A Stochastic Optimization Method for
Solving the Machine-Part Cell Formation
Problem . . . . . . . . . . . . . . . . 162--169
Zenghui Wang and
Yanxia Sun Fully Connected Multi-Objective Particle
Swarm Optimizer Based on Neural Network 170--177
Yu Zhang and
Lihua Wu and
Ying Zhang and
Jianxin Wang Immune Gravitation Inspired Optimization
Algorithm . . . . . . . . . . . . . . . 178--185
Vitoantonio Bevilacqua and
Vincenzo Pacelli and
Stefano Saladino A Novel Multi Objective Genetic
Algorithm for the Portfolio Optimization 186--193
Ruiming Liu and
Miao Yang Tracking Multiple Feature in Infrared
Image with Mean-Shift . . . . . . . . . 194--201
Yongjian He and
Qiong Wu and
Shoupeng Feng and
Rongkun Zhou and
Yonghua Xing and
Fei Wang Research on Dynamic Human Object
Tracking Algorithm . . . . . . . . . . . 202--209
Andrey V. Gavrilov and
Artem Lenskiy Mobile Robot Navigation Using
Reinforcement Learning Based on Neural
Network with Short Term Memory . . . . . 210--217
Tarik Veli Mumcu and
Ibrahim Aliskan and
Kayhan Gulez and
Gurkan Tuna Histogram Based Color Object
Classification by Multi-class Support
Vector Machine . . . . . . . . . . . . . 218--225
Peihua Li and
Qi Sun Tracking Objects Using Orientation
Covariance Matrices . . . . . . . . . . 226--233
Kai Yang and
Ji-Xiang Du and
Chuan-Min Zhai Action Recognition via an Improved Local
Descriptor for Spatio-temporal Features 234--241
Yi-Lan Guo and
Ji-Xiang Du and
Chuan-Min Zhai Event Recognition Based on a Local
Space-Time Interest Points and
Self-Organization Feature Map Method . . 242--249
Changqing Gai and
Kuanquan Wang and
Lei Zhang and
Wangmeng Zuo Strategy of Statistics-Based
Visualization for Segmented $3$D Cardiac
Volume Data Set . . . . . . . . . . . . 250--256
Min Wang and
Wei Jia and
Huanglin Zeng and
Xiao-Feng Wang Robust Gait Recognition Using Gait
Energy Image and Band-Limited Phase-Only
Correlation . . . . . . . . . . . . . . 257--263
Yang Weon Lee Implementation of Interactive Interview
System Using Hand Gesture Recognition 264--269
Yanwen Chong and
Wu Chen and
Zhilin Li and
William H. K. Lam and
Qingquan Li Integrated Real-Time Vision-Based
Preceding Vehicle Detection in Urban
Roads . . . . . . . . . . . . . . . . . 270--275
Sébastien Paris and
Hervé Glotin and
Zhong-Qiu Zhao Real-Time Face Detection Using Integral
Histogram of Multi-scale Local Binary
Patterns . . . . . . . . . . . . . . . . 276--281
Wen-Bo Zhao and
Wei Chen and
Guang-Zheng Zheng and
Ke-Ming Huang and
Kong-Jin Zhao and
Yu-Ge Li Study on UAV Video Reconnaissance Based
Adaptively Tracking Algorithm for the
Ground Moving Target . . . . . . . . . . 282--289
Gui-Ping Dai Palm Print Image De-noising Based on
BEMD and Wavelet Packet Transform-Wiener
Filter . . . . . . . . . . . . . . . . . 290--297
Shengchun Wang and
Wensheng Tang Pavement Crack Segmentation Algorithm
Based on Local Optimal Threshold of
Cracks Density Distribution . . . . . . 298--302
Yongjian He and
Caigui Jiang and
Chengwei Hu and
Jingmin Xin and
Qiong Wu and
Fei Wang Linear Pose Estimation Algorithm Based
on Quaternion . . . . . . . . . . . . . 303--310
Raghav Agrawal and
Badrinath Srinivas and
Phalguni Gupta Image Enhancement Algorithm for
Ink-on-Paper Fingerprints . . . . . . . 311--318
Yi-Nan Guo and
Dawei Xiao and
Shuguo Zhang and
Jian Cheng Multi-spectral Remote Sensing Images
Classification Method Based on Adaptive
Immune Clonal Selection Culture
Algorithm . . . . . . . . . . . . . . . 319--326
Sharad Kohli and
Surya Prakash and
Phalguni Gupta Age Estimation Using Active Appearance
Models and Ensemble of Classifiers with
Dissimilarity-Based Classification . . . 327--334
Xin Xu and
Yinglin Wang and
Jinshan Tang and
Xiaolong Zhang and
Xiaoming Liu Adaptive Variance Based Sharpness
Computation for Low Contrast Images . . 335--341
Shi-Bin Xuan and
Gao-Li Sang and
Bo Zhao and
Zeng-Guo Zheng Non-sampling Contourlet Based
``Consistency Verification'' Method of
Image Fusion . . . . . . . . . . . . . . 342--349
Satoshi Mori and
Yoshinori Kobayashi and
Yoshinori Kuno Understanding the Meaning of Shape
Description for Interactive Object
Recognition . . . . . . . . . . . . . . 350--356
Wen-Sheng Tang and
Shao-Hua Jiang and
Shu-Lin Wang Gray Scale Potential Theory of Sparse
Image . . . . . . . . . . . . . . . . . 357--363
Ji-Xiang Du and
Chuan-Min Zhai and
Qing-Ping Wang Recognition of Leaf Image Based on
Outline and Vein Fractal Dimension
Feature . . . . . . . . . . . . . . . . 364--369
Krishnamoorthi Ramasamy and
Sathiya Devi Shanmugam Weighted Multi Feature Based Image
Retrieval with Orthogonal Polynomials
Model and Genetic Algorithm . . . . . . 370--376
Andrey Vavilin and
Kang-Hyun Jo and
Moon-Ho Jeong and
Jong-Eun Ha and
Dong-Joong Kang Automatic Context Analysis for Image
Classification and Retrieval . . . . . . 377--382
Li Shang and
Jie Chen Image Feature Extraction Using the
Fusion Features of BEMD and WCB--NNSC 383--390
Ting-Qin Yan and
Shu-Fen Liu and
Chang-Xiong Zhou Palmprint Recognition with MEEMD and
Statistically Independent Coefficients
ICA . . . . . . . . . . . . . . . . . . 391--397
Wen-Jun Huai and
Li Shang A Palmprint Classification Method Based
on Finite Ridgelet Transformation and
SVM . . . . . . . . . . . . . . . . . . 398--404
Yu Zhang and
Mei-Xing Qi and
Li Shang Palmprint Recognition Based on
Two-Dimensional Gabor Wavelet Transform
and Two-Dimensional Principal Component
Analysis . . . . . . . . . . . . . . . . 405--411
Rohit Katiyar and
Vinay Kumar Pathak Recognition Based on Fusion of Gait, Ear
and Face Features Using KPCA Method . . 412--419
Guoqiang Wang and
Guoqiang Ding Face Recognition Using KFDA--LLE . . . . 420--425
Vitoantonio Bevilacqua and
Marco Suma and
Dario D'Ambruoso and
Giovanni Mandolino A Supervised Approach to Support the
Analysis and the Classification of Non
Verbal Humans Communications . . . . . . 426--431
Anping Zeng and
Yongping Huang A Text Classification Algorithm Based on
Rocchio and Hierarchical Clustering . . 432--439
Byung Ryul Ahn and
Won-gyum Kim and
Won Young Yu and
Moon-Hyun Kim Korean Documents Copy Detection Based on
Ferret . . . . . . . . . . . . . . . . . 440--447
Shangkun Ren and
Yuexian Hou and
Peng Zhang and
Xueru Liang Importance Weighted AdaRank . . . . . . 448--455
Vitoantonio Bevilacqua and
Vito Santarcangelo and
Alberto Magarelli and
Annalisa Bianco A Semantic Search Framework for Document
Retrievals (Literature, Art and History)
Based on Thesaurus Multiwordnet Like . . 456--463
Sangjin Cho and
Myeongsu Kang and
Uipil Chong A Novel Musical Synthesizer Embedded
with Physical Modeling Sound Synthesis
Algorithm . . . . . . . . . . . . . . . 464--471
Hongying Zan and
Lijuan Zhou and
Kunli Zhang Studies on the Automatic Recognition of
Modern Chinese Conjunction Usages . . . 472--479
Myeongsu Kang and
Jiwon Choi and
Yongmin Kim and
Cheol-Hong Kim and
Jong-Myon Kim Implementation of High-Performance Sound
Synthesis Engine for Plucked-String
Instruments . . . . . . . . . . . . . . 480--487
Xutang Zhang and
Xiaofeng Chen and
Xin Hou and
Ting Zhuang A Semantic Retrieval Framework for
Engineering Domain Knowledge . . . . . . 488--493
Jianhong Zhang and
Yuanbo Cui and
Xi Wu Forgeability Attack of Two Special
Signature Schemes . . . . . . . . . . . 494--501
Jie Qin and
Qun Si and
Huijuan Yan and
Fuliang Yan A Trojan Detector Generating Algorithm
Based on Chaotic Theory . . . . . . . . 502--508
Boyun Zhang and
Zhigang Chen and
Xiai Yan and
Shulin Wang and
Qiang Fan Network Security Situation Assessment
Based on Hidden Semi--Markov Model . . . 509--516
Boyun Zhang and
Zhigang Chen and
Wensheng Tang and
Qiang Fan and
Xiai Yan and
Shulin Wang Network Security Situation Assessment
Based on Stochastic Game Model . . . . . 517--525
Xueguang Zhu High Precision Detection of Infrared
Energy Spectrum . . . . . . . . . . . . 526--531
Jeen-Shing Wang and
Che-Wei Lin and
Ya-Ting C. Yang Using Heart Rate Variability
Parameter-Based Feature Transformation
Algorithm for Driving Stress Recognition 532--537
Tien Dung Le and
Hee-Jun Kang and
Young-Soo Suh An Online Self Gain Tuning Computed
Torque Controller for a Five-Bar
Manipulator . . . . . . . . . . . . . . 538--543
Mai Son and
Myeong-Jae Yi Towards an Efficient Discovery Services
in OPC Unified Architecture . . . . . . 544--552
Jie Wang and
Liang Tong Asynchronous Modeling and Implementation
of Web Services Based on JMS . . . . . . 553--559
Ye Xu and
Ling Wang and
Gang Zhou and
Shengyao Wang An Effective Shuffled Frog Leaping
Algorithm for Solving Hybrid Flow-Shop
Scheduling Problem . . . . . . . . . . . 560--567
Ling Wang and
Ye Xu and
Chen Fang A Hybrid Algorithm Based on Simplex
Search and Differential Evolution for
Resource-Constrained Project Scheduling
Problem . . . . . . . . . . . . . . . . 568--575
Hongyan Sang and
Liang Gao and
Xinyu Li A Differential Evolution Algorithm for
Lot-Streaming Flow Shop Scheduling
Problem . . . . . . . . . . . . . . . . 576--583
Junqing Li and
Yuanzhen Li and
Huaqing Yang and
Kaizhou Gao and
Yuting Wang and
Tao Sun Flexible Job Shop Scheduling Problem by
Chemical-Reaction Optimization Algorithm 584--591
Kaizhou Gao and
Shengxian Xie and
Hua Jiang and
Junqing Li Discrete Harmony Search Algorithm for
the No Wait Flow Shop Scheduling Problem
with Makespan Criterion . . . . . . . . 592--599
Bin Qian and
Hua-Bin Zhou and
Rong Hu and
Feng-Hong Xiang Hybrid Differential Evolution
Optimization for No-Wait Flow-Shop
Scheduling with Sequence-Dependent Setup
Times and Release Dates . . . . . . . . 600--611
Jianwei Zhang and
Baowei Zhang and
Zengyu Cai and
Zhaoyang Li An Improved Approximation Algorithm for
a Class of Batch Scheduling Problems . . 612--618
Qishui Zhong and
Shungang Xu Exponential Stabilization for
Takagi--Sugeno Fuzzy Systems with Time
Delay via Impulsive Control . . . . . . 619--625
Cuihong Wang and
Huijuan Cao $H_\infty$ Output Tracking Control for
Neutral Delay System With Nonlinear
Perturbations . . . . . . . . . . . . . 626--633
Ju Jin and
Yongbin Yu and
Yijing Liu and
Xiaorong Pu and
Xiaofeng Liao Chaotic Modeling of Time-Delay
Memristive System . . . . . . . . . . . 634--641
Yulin Song Stability Analysis and Constrained
Control of Positive Systems with
Time-Varying Delays: a Linear Copositive
Lyapunov--Krasovskii Functional Method 642--649
Xiuyong Ding and
Lan Shu and
Changcheng Xiang On Linear Co-positive Lyapunov Functions
for a Special of Switched Linear
Positive Systems . . . . . . . . . . . . 650--657
Feng Wang and
Jinlin Ding and
Zhifeng Hu Induction Motor Speed-Regulating Control
System Based on Nonlinear Kernel Ridge
Regression . . . . . . . . . . . . . . . 658--663
Caihong Zhu and
Hongtao Zhang Parallel Robotics Control Strategy Study
Based on Fuzzy-PID . . . . . . . . . . . 664--669
Xueguang Zhu Embedded Remote Controller with Two
Cameras Intelligent Orientation and
Bi-direction Wireless Communication . . 670--675
Bo Yang and
Mingyi Zhang and
Ying Zhang Applying Answer Set Programming to
Points-to Analysis of Object-Oriented
Language . . . . . . . . . . . . . . . . 676--685
Yan Yan and
Shuanghe Yu and
Zhenqiang Yang and
Jialu Du Continuous Finite-Time
Observer-Controller Based Speed
Regulation of Permanent Magnet
Synchronous Motors . . . . . . . . . . . 686--693
Xue Li and
Jia-min Weng and
Dajun Du and
Haoliang Bai Observer-Based Exponential Stability
Analysis for Networked Control Systems
with Packet Dropout . . . . . . . . . . 694--700
Zhi-zhen Wang and
Li Li and
Xiao-fang Wang Modification Algorithm on Routh--Padé
Model Reduction of Interval Systems . . 701--704
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Gang Zhou and
Ling Wang and
Ye Xu and
Shengyao Wang An Effective Artificial Bee Colony
Algorithm for Multi-objective Flexible
Job-Shop Scheduling Problem . . . . . . 1--8
Shengyao Wang and
Ling Wang and
Gang Zhou and
Ye Xu An Estimation of Distribution Algorithm
for the Flexible Job-Shop Scheduling
Problem . . . . . . . . . . . . . . . . 9--16
Yuting Wang and
Jian Sun and
Junqing Li and
Kaizhou Gao A Modified Inver-over Operator for the
Traveling Salesman Problem . . . . . . . 17--23
Wanliang Wang and
Lili Chen and
Jing Jie and
Yanwei Zhao and
Jing Zhang A Novel Multi-objective Particle Swarm
Optimization Algorithm for Flow Shop
Scheduling Problems . . . . . . . . . . 24--31
Hong-Yan Han Minimizing the Total Flow Time for Lot
Streaming Flow Shop Using an Effective
Discrete Harmony Search Algorithm . . . 32--40
Gengcheng Liu and
Shiji Song and
Cheng Wu Two Techniques to Improve the NEH
Algorithm for Flow-Shop Scheduling
Problems . . . . . . . . . . . . . . . . 41--48
Tsung-Che Chiang and
Hsiao-Jou Lin Flexible Job Shop Scheduling Using a
Multiobjective Memetic Algorithm . . . . 49--56
Onder Bulut and
M. Fatih Tasgetiren and
M. Murat Fadiloglu A Genetic Algorithm for the Economic Lot
Scheduling Problem under Extended Basic
Period Approach and Power-of-Two Policy 57--65
Hong-Yan Han A Multi-objective Hybrid Discrete
Harmony Search Algorithm for
Lot-Streaming Flow Shop Scheduling
Problem . . . . . . . . . . . . . . . . 66--73
Evrim Ursavas Guldogan and
Onder Bulut and
M. Fatih Tasgetiren A Dynamic Berth Allocation Problem with
Priority Considerations under Stochastic
Nature . . . . . . . . . . . . . . . . . 74--82
M. Fatih Tasgetiren and
Quan-Ke Pan and
Ling Wang and
Angela H.-L. Chen A DE Based Variable Iterated Greedy
Algorithm for the No-Idle Permutation
Flowshop Scheduling Problem with Total
Flowtime Criterion . . . . . . . . . . . 83--90
Yu-Yan Han and
Jun-Hua Duan and
Yu-Jie Yang and
Min Zhang and
Bao Yun Minimizing the Total Flowtime Flowshop
with Blocking Using a Discrete
Artificial Bee Colony . . . . . . . . . 91--97
Zhenhua Guo and
Qin Li and
Lin Zhang and
Jane You and
Wenhuang Liu and
Jinghua Wang Texture Image Classification Using
Complex Texton . . . . . . . . . . . . . 98--104
Rong-Xiang Hu A Perceptually Motivated Morphological
Strategy for Shape Retrieval . . . . . . 105--111
Yang Zhao Theories and Applications of LBP: a
Survey . . . . . . . . . . . . . . . . . 112--120
Syeda Darakhshan Jabeen and
Rathindra Nath Mukherjee Vibration Control of a Vehicle Using
Hybrid Genetic Algorithm . . . . . . . . 121--128
T. Das and
Rathindra Nath Mukherjee and
K. S. Chaudhuri Dynamics of a Two Prey One Predator
Fishery with Low Predator Density . . . 129--137
Min Shi Natural vs. Unnatural Decomposition in
Cooperative Coevolution . . . . . . . . 138--147
Naiqin Feng and
Yushan Zhang and
Lianhui Ao and
Shuangxi Wang A Method to Improve Performance of
Heteroassociative Morphological Memories 148--153
Bo Wang and
Guang-an Zou and
Peng Zhao A Restrained Optimal Perturbation Method
for Solving the Inverse Problem in
Reverse Process of Convection Diffusion
Equation . . . . . . . . . . . . . . . . 154--161
Yujia Wang and
Yunfeng Xue Overdetermined Blind Source Separation
by Gaussian Mixture Model . . . . . . . 162--169
Zhiwei Weng and
Jian Weng and
Kai He and
Yingkai Li New Chosen Ciphertext Secure Public Key
Encryption in the Standard Model with
Public Verifiability . . . . . . . . . . 170--176
Hajira Jabeen and
Abdul Rauf Baig Lazy Learning for Multi-class
Classification Using Genetic Programming 177--182
Yuhu Cheng and
Huanting Feng and
Xuesong Wang Actor-Critic Algorithm Based on
Incremental Least-Squares Temporal
Difference with Eligibility Trace . . . 183--188
KaiYan Feng and
JunHui Gao and
KaiRui Feng and
Lei Liu and
YiXue Li Active and Passive Nearest Neighbor
Algorithm: a Newly-Developed Supervised
Classifier . . . . . . . . . . . . . . . 189--196
Wen-sheng Tang and
Sheng-chun Wang and
He-long Xiao Support Vector Machines for User-Defined
Sheets Recognition in Complex
Environment . . . . . . . . . . . . . . 197--202
Yanxia Sun and
Barend Jacobus van Wyk and
Zenghui Wang A New Multi-swarm Multi-objective
Particle Swarm Optimization Based on
Pareto Front Set . . . . . . . . . . . . 203--210
Juan C. Figueroa-García and
Dusko Kalenatic and
Cesar Amilcar Lopez Interval Type-$2$ Fuzzy Markov Chains:
Type Reduction . . . . . . . . . . . . . 211--218
Lasheng Yu and
Issahaku Abdulai A Multi-agent Reinforcement Learning
with Weighted Experience Sharing . . . . 219--225
Jia-Bao Wen and
Yue-Shan Xiong Asymmetric Constraint Optimization Based
Adaptive Boosting for Cascade Face
Detector . . . . . . . . . . . . . . . . 226--234
Thet Thet Zin and
Khin Mar Soe and
Ni Lar Thein Translation Model of Myanmar Phrases for
Statistical Machine Translation . . . . 235--242
Vitoantonio Bevilacqua and
Mariagrazia Dotoli and
Marco Falagario and
Fabio Sciancalepore A Multi-objective Genetic Optimization
Technique for the Strategic Design of
Distribution Networks . . . . . . . . . 243--250
Zhong-Hua Su and
Qing-Shan Jia and
Chen Song Ordinal Optimization-Based Multi-energy
System Scheduling for Building Energy
Saving . . . . . . . . . . . . . . . . . 251--259
Hongyan Yan and
Xiaojuan Zhang and
Hongxia Xu Three Levels Intelligent Incident
Detection Algorithm of Smart Traffic in
the Digital City . . . . . . . . . . . . 260--266
Maryam Khoie and
Karim Salahshoor and
Ehsan Nouri and
Ali Khaki Sedigh PID Controller Tuning Using
Multi-objective Optimization Based on
Fused Genetic-Immune Algorithm and
Immune Feedback Mechanism . . . . . . . 267--276
Ling Jin and
Jae Yeol Yoon and
Young Hee Kim and
Ung Mo Kim Based on Analyzing Closeness and
Authority for Ranking Expert in Social
Network . . . . . . . . . . . . . . . . 277--283
Feng Han and
Chi Xie The Effects of Forex Intervention: a
Simultaneous Equations Model . . . . . . 284--291
Tian Zi-jian and
Hou Yan and
Zhang XiangYang A New Method of Underground Radio Noise
Distribution Measure . . . . . . . . . . 292--299
Ngoc-Tung Nguyen and
Hong-Hee Lee Fuzzy PI Controller for Grid-Connected
Inverters . . . . . . . . . . . . . . . 300--308
Jirui Li and
Kai Yang Improvement of Path Planning in Mobile
Beacon Assisted Positioning . . . . . . 309--316
Mojaharul Islam and
Hong-Hee Lee A Comprehensive Study on IEC61850
Process Bus Architecture and Spit Bus
Based Differential Protection . . . . . 317--324
Shuanghe Yu and
Zhenqiang Yang and
Jialu Du and
Jingcong Ma Sliding Mode Observer Based Anti-Windup
PI Speed Controller for Permanent Magnet
Synchronous Motors . . . . . . . . . . . 325--332
Shouqi Li and
Fangcheng Long and
Yongchang Wang Probe into Principle of Expert System in
Psychological Warfare . . . . . . . . . 333--340
Hongtao Xue and
Huaqing Wang and
Liuyang Song and
Peng Chen Structural Fault Diagnosis of Rotating
Machinery Based on Distinctive Frequency
Components and Support Vector Machines 341--348
Yu Changrui and
Luo Yan Comparative Research on Methodologies
for Domain Ontology Development . . . . 349--356
Weiqi Zhang and
Kunlong Zhang The Comparison between Histogram Method
and Index Method in Selectivity
Estimation . . . . . . . . . . . . . . . 357--362
Tianyong Hao and
Wenyin Liu and
Chunshen Zhu Semantic Pattern-Based User Interactive
Question Answering: User Interface
Design and Evaluation . . . . . . . . . 363--370
Wenli Li PSO Based Wireless Sensor Networks
Coverage Optimization on DEMs . . . . . 371--378
Rudy Rotili and
Emanuele Principi and
Stefano Squartini and
Björn Schuller Real-Time Speech Recognition in a
Multi-talker Reverberated Acoustic
Scenario . . . . . . . . . . . . . . . . 379--386
Boyun Zhang and
Zhigang Chen and
Shulin Wang and
Xiai Yan and
Dingxing Zhang and
Qiang Fan Network Security Situation Assessment
Based on HMM . . . . . . . . . . . . . . 387--394
Huxidan and
Wanquan Liu and
Chong Lu Face Recognition Based on Rearranged
Modular 2DPCA . . . . . . . . . . . . . 395--403
Linlin Shen and
Jinwen He and
Shipei Wu and
Songhao Zheng Face Recognition from Visible and
Near-Infrared Images Using Boosted
Directional Binary Code . . . . . . . . 404--411
Min Wu and
A. Yong and
Tong Zhao and
Tiande Guo A Systematic Algorithm for Fingerprint
Image Quality Assessment . . . . . . . . 412--420
Yongsheng Dong and
Jinwen Ma Texture Classification Based on
Contourlet Subband Clustering . . . . . 421--426
Xiaomin Liu and
Peihua Li An Iris Recognition Approach with SIFT
Descriptors . . . . . . . . . . . . . . 427--434
Hang-jun Wang and
Heng-nian Qi and
Xiao-Feng Wang A New Wood Recognition Method Based on
Gabor Entropy . . . . . . . . . . . . . 435--440
Jie Kou and
Ji-Xiang Du and
Chuan-Min Zhai Age Estimation of Facial Images Based on
a Super-Resolution Reconstruction
Algorithm . . . . . . . . . . . . . . . 441--446
Jeen-Shing Wang and
Fang-Chen Chuang and
Ya-Ting C. Yang A Wearable Physical Activity Sensor
System: Its Classification Algorithm and
Performance Comparison of Different
Sensor Placements . . . . . . . . . . . 447--454
Yanbin Ge and
Yan Wu Towards Adaptive Classification of Motor
Imagery EEG Using Biomimetic Pattern
Recognition . . . . . . . . . . . . . . 455--460
Liu Feng and
Seong Whan Kim Comparison of Scalable ACC and MC--CDMA
for Practical Video Fingerprinting
Scheme . . . . . . . . . . . . . . . . . 461--468
Dalong Li and
Steven Simske Fast Single Image Super-Resolution by
Self-trained Filtering . . . . . . . . . 469--475
Yongmin Kim and
Myeongsu Kang and
Jong-Myon Kim High-Performance Video Based Fire
Detection Algorithms Using a Multi-core
Architecture . . . . . . . . . . . . . . 476--483
Shan-Wen Zhang and
Min-Rong Zhao and
Xiao-Feng Wang Plant Classification Based on
Multilinear Independent Component
Analysis . . . . . . . . . . . . . . . . 484--490
V. Mandava and
P. Nimmagadda and
T. R. Korrapati and
K. R. Anne Knowledge Based Agent for Intelligent
Traffic Light Control --- an Indian
Perspective . . . . . . . . . . . . . . 491--501
Jun Liu and
Xiaoming Liu and
Jianxun Chen and
J. Tang Mass Segmentation in Mammograms Based on
Improved Level Set and Watershed
Algorithm . . . . . . . . . . . . . . . 502--508
Artem Lenskiy Unsupervised Texture Segmentation
Algorithm Based on Novel Scale Exponent
Features . . . . . . . . . . . . . . . . 509--515
Ji-Xiang Du and
Chuan-Min Zhai and
Yong-Qing Ye Face Aging Simulation Based on NMF
Algorithm with Sparseness Constraints 516--522
Yoshinori Kobayashi and
Yuki Kinpara and
Erii Takano and
Yoshinori Kuno and
Keiichi Yamazaki Robotic Wheelchair Moving with Caregiver
Collaboratively . . . . . . . . . . . . 523--532
Gurkan Tuna and
Kayhan Gulez and
Vehbi Cagri Gungor and
Tarik Veli Mumcu Exploration Strategy Related Design
Considerations of WSN-Aided Mobile Robot
Exploration Teams . . . . . . . . . . . 533--540
Guo-Wu Yuan and
Yun Gao and
Dan Xu and
Mu-Rong Jiang A New Background Subtraction Method
Using Texture and Color Information . . 541--548
Sabooh Ajaz and
Prashan Premaratne and
Malin Premaratne Design and Implementation of Edge
Detection Algorithm Using Digital Signal
Controller (DSC) . . . . . . . . . . . . 549--556
Quang Tran and
An Tran and
Tien Ba Dinh and
Duc Duong Long-View Player Detection Framework
Algorithm in Broadcast Soccer Videos . . 557--564
My-Ha Le and
Kang-Hyun Jo Building Face Reconstruction from Sparse
View of Monocular Camera . . . . . . . . 565--572
Nam Tang and
Cuong Do and
Tien Ba Dinh and
Thang Ba Dinh Urban Traffic Monitoring System . . . . 573--580
Takashi Kuremoto and
Yasuhiro Kinoshita and
Liang-bing Feng and
Shun Watanabe A Gesture Recognition System Using
One-Pass DP Method . . . . . . . . . . . 581--587
Prashan Premaratne and
Sabooh Ajaz and
Malin Premaratne Hand Gesture Tracking and Recognition
System for Control of Consumer
Electronics . . . . . . . . . . . . . . 588--593
Debalina Bhattacharjee and
Surya Prakash and
Phalguni Gupta No-Reference Image Quality Assessment
for Facial Images . . . . . . . . . . . 594--601
Kamlesh Tiwari and
Devendra Kumar Arya and
Phalguni Gupta Palmprint Based Recognition System Using
Local Structure Tensor and Force Field
Transformation . . . . . . . . . . . . . 602--607
Vandana Dixit Kaushik and
Amit K. Gupta and
Umarani Jayaraman and
Phalguni Gupta Modified Geometric Hashing for Face
Database Indexing . . . . . . . . . . . 608--613
Duyu Liu and
Xin Gao Globe Robust Stability Analysis for
Interval Neutral Systems . . . . . . . . 614--621
Xiu Liu and
Shouming Zhong and
Changcheng Xiang Exponential Stability of Nonlinear
Switched Delay Systems . . . . . . . . . 622--629
Xiaoming Liu and
Xin Xu and
Jun Liu and
J. Tang Mass Classification with Level Set
Segmentation and Shape Analysis for
Breast Cancer Diagnosis Using
Mammography . . . . . . . . . . . . . . 630--637
Bo Li and
Jin Liu The Connections between Principal
Component Analysis and Dimensionality
Reduction Methods of Manifolds . . . . . 638--643
Wenyong Dong and
Jin Liu Step Length Adaptation by Generalized
Predictive Control . . . . . . . . . . . 644--649
Xinghao Jiang and
Tanfeng Sun and
Jin Liu and
Wensheng Zhang and
Juan Chao An Video Shot Segmentation Scheme Based
on Adaptive Binary Searching and SIFT 650--655
Thomas Prevenslik Memristors by Quantum Mechanics . . . . 656--663
Dun-wei Gong and
Yan Zhang Generating Test Data for Both Paths
Coverage and Faults Detection Using
Genetic Algorithms . . . . . . . . . . . 664--671
Li Shang and
Pin-gang Su MMW Image Reconstruction Combined NNSC
Shrinkage Technique and PDEs Algorithm 672--679
Hong-Jing Zheng and
Na Tun Construction of Embedded Ethernet Based
on MCF52259 . . . . . . . . . . . . . . 680--686
Changxiong Zhou and
Chunmei Lu and
Yubo Tian and
Chuanlin Zhou Image Magnification Method Based on
Linear Interpolation and Wavelet and PDE 687--693
Yu Zhang Research of Detecting Mixed Flammable
Gases with a Single Catalytic Sensor
Based on RBF Neural Network . . . . . . 694--700
Li Shang and
Ming Cui and
Jie Chen Palm Recognition Using Fast Sparse
Coding Algorithm . . . . . . . . . . . . 701--707
Yan Zhou and
Li Shang Speaker Recognition Based on Principal
Component Analysis and Probabilistic
Neural Network . . . . . . . . . . . . . 708--715
Ibrahim Furkan Ince and
Adem Karahoca and
Dilek Karahoca Benchmarking Data Mining Methods in CAT 716--726
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
YuXi Liu and
ZhiFeng Zhang Application of Neural Network on Solid
Boronizing . . . . . . . . . . . . . . . 1--7
Mengzhuo Luo and
Shouming Zhong Improved Stability Criteria for
Discrete-Time Stochastic Neural Networks
with Randomly Time-Varying Delays . . . 8--13
Didi Wang and
Pei-Chann Chang and
Jheng-Long Wu and
Changle Zhou A Partially Connected Neural
Evolutionary Network for Stock Price
Index Forecasting . . . . . . . . . . . 14--19
Yanfei Wang and
Jingen Wang Finite Precision Extended Alternating
Projection Neural Network (FPEAP) . . . 20--25
QingXiang Wu and
T. Martin McGinnity and
Liam Maguire and
Rongtai Cai and
Meigui Chen Simulation of Visual Attention Using
Hierarchical Spiking Neural Networks . . 26--31
Yqoqun Xu and
Xueling Yang A Class of Chaotic Neural Network with
Morlet Wavelet Function Self-feedback 32--40
Chun Meng and
Jiansheng Wu A Novel Nonlinear Neural Network
Ensemble Model Using K--PLSR for
Rainfall Forecasting . . . . . . . . . . 41--48
Yibin Ye and
Stefano Squartini and
Francesco Piazza On-Line Extreme Learning Machine for
Training Time-Varying Neural Networks 49--54
Chunhua Feng and
Zhenkun Huang Oscillatory Behavior for a Class of
Recurrent Neural Networks with
Time-Varying Input and Delays . . . . . 55--63
Cui Zhang and
Li-Qing Zhao and
Rong-Long Wang A Saturation Binary Neural Network for
Bipartite Subgraph Problem . . . . . . . 64--70
Chenghua Tang and
Xin Wang and
Reixia Zhang and
Yi Xie Modeling and Analysis of Network
Security Situation Prediction Based on
Covariance Likelihood Neural . . . . . . 71--78
Martin Pilát and
Roman Neruda Local Meta-models for ASM--MOMA . . . . 79--84
Maha Mahmoud Abd ElAal and
Gamal Selim and
Waleed Fakhr Stock Market Trend Prediction Model for
the Egyptian Stock Market Using Neural
Networks and Fuzzy Logic . . . . . . . . 85--90
Zhi-Ping Liu and
Jiguang Wang and
Yu-Qing Qiu and
Ross K. K. Leung and
Xiang-Sun Zhang Inferring Protein-Protein Interactions
Based on Sequences and Interologs in
Mycobacterium Tuberculosis . . . . . . . 91--96
Marzio Pennisi and
Dario Motta and
Alessandro Cincotti and
Francesco Pappalardo Predicting Long-Term Vaccine Efficacy
against Metastases Using Agents . . . . 97--106
Jia Wang and
Chuang Ma and
Dao Zhou and
Libin Zhang and
Yanhong Zhou Accurately Predicting Transcription
Start Sites Using Logitlinear Model and
Local Oligonucleotide Frequencies . . . 107--114
Hong-Qiang Wang and
Xin-Ping Xie and
Ding Li A New Method for Identifying
Cancer-Related Gene Association Patterns 115--122
Sheng-Li Zhang A New Mining Algorithm of Association
Rules and Applications . . . . . . . . . 123--128
Y-h. Taguchi and
Jun Yasuda MiRaE: Inference of Gene Expression
Regulation via MicroRNA Transfection II 129--135
Vincenzo Di Lecce and
Marco Calabrese Syntactic Pattern Recognition from
Observations: a Hybrid Technique . . . . 136--143
Juan Zhang and
Xuegang Hu and
Yuhong Zhang and
Peipei Li An Efficient Ensemble Method for
Classifying Skewed Data Streams . . . . 144--151
Anping Zeng and
Yongping Huang An Association Rules Algorithm Based on
Kendall-$\tau$ . . . . . . . . . . . . . 152--159
Zhenzhen Mi and
Congfu Xu A Recommendation Algorithm Combining
Clustering Method and Slope One Scheme 160--167
Thananan Prasartvit and
Boonserm Kaewkamnerdpong and
Tiranee Achalakul Dimensional Reduction Based on
Artificial Bee Colony for Classification
Problems . . . . . . . . . . . . . . . . 168--175
Shuan Wang and
Dapeng Hua and
Zhiguo Zhang and
Ming Li and
Ke Yao and
Zhanyou Wen Robust Controller Design for Main Steam
Pressure Based on SPEA2 . . . . . . . . 176--182
Der-Rong Din GA-Based Hybrid Algorithm for MBR
Problem of FIPP $p$-Cycles for Node
Failure on Survivable WDM Networks . . . 183--190
Xiaoxia Zhang and
Zhe Liu and
Qiuying Bai A New Hybrid Algorithm for the
Multidimensional Knapsack Problem . . . 191--198
Yi-nan Guo and
Dandan Liu and
Jian Cheng Multi-population Cooperative Cultural
Algorithms . . . . . . . . . . . . . . . 199--206
Qun Niu and
Zhuo Zhou and
Tingting Zeng A Hybrid Quantum-Inspired Particle Swarm
Evolution Algorithm and SQP Method for
Large-Scale Economic Dispatch Problems 207--214
Haofan Zhang and
Lei Fang and
Sheng-Uei Guan Recursive and Incremental Learning GA
Featuring Problem-Dependent Rule-Set . . 215--222
Stjepan Picek and
Marin Golub and
Domagoj Jakobovic Evaluation of Crossover Operator
Performance in Genetic Algorithms with
Binary Representation . . . . . . . . . 223--230
Lvzhou Li and
Daowen Qiu Quantum Information Splitting Using
GHZ-Type and W-Type States . . . . . . . 231--238
Xiangfu Zou and
Daowen Qiu Attacks and Improvements of QSDC Schemes
Based on CSS Codes . . . . . . . . . . . 239--246
Yi Cao and
Yuehui Chen and
Yaou Zhao Stochastic System Identification by
Evolutionary Algorithms . . . . . . . . 247--252
Zhixi Su and
Junfeng Xia and
Zhongming Zhao Do MicroRNAs Preferentially Target the
Genes with Low DNA Methylation Level at
the Promoter Region? . . . . . . . . . . 253--258
Cuifeng Li and
Jianbo Ye and
Fatai Zheng Ameliorating ${\rm GM}(1, 1)$ Model
Based on the Structure of the Area under
Parabola . . . . . . . . . . . . . . . . 259--266
Salvatore Distefano Reliability of Standby Systems . . . . . 267--275
Min-Jae Kang and
Chang-Jin Boo and
Ho-Chan Kim A Kernel Function Based Estimation
Algorithm for Multi-layer Soil Structure 276--281
Chitralekha Mehera Computing Technique in Ancient India . . 282--289
Vincenzo Di Lecce and
Marco Calabrese Smart Sensors: a Holonic Perspective . . 290--298
Nay Yee Lin and
Khin Mar Soe and
Ni Lar Thein Reducing Grammar Errors for Translated
English Sentences . . . . . . . . . . . 299--306
Shuhan Qi and
Xuan Wang and
Xinxin Li Improve Coreference Resolution with
Parameter Tunable Anaphoricity
Identification and Global Optimization 307--314
Ming Zhang and
Zhenmin Tang and
Weiyan Xu and
Xibei yang A Variable Muitlgranulation Rough Sets
Approach . . . . . . . . . . . . . . . . 315--322
Li-juan Wang and
Xi-bei Yang and
Jing-yu Yang and
Chen Wu Incomplete Multigranulation Rough Sets
in Incomplete Ordered Decision System 323--330
Omar Salazar Morales and
José Jairo Soriano Méndez A Special Class of Fuzzified Normal
Forms . . . . . . . . . . . . . . . . . 331--344
Ying Liu and
Yanju Chen Mean-Entropy Model for Portfolio
Selection with Type-$2$ Fuzzy Returns 345--352
Juan Carlos Figueroa-García and
Jesus Rodriguez-Lopez A Linear Regression Model for Nonlinear
Fuzzy Data . . . . . . . . . . . . . . . 353--360
Indrajit De and
Jaya Sil No Reference Image Quality Assessment by
Designing Fuzzy Relational Classifier
Using MOS Weight Matrix . . . . . . . . 361--369
Jiangqiao Xu and
Xianhai Song Ant Colony Optimization for Nonlinear
Inversion of Rayleigh Waves . . . . . . 370--377
J. J. Liang and
Bo Yang Qu and
Song Tao Ma and
Ponnuthurai Nagaratnam Suganthan Memetic Fitness Euclidean-Distance
Particle Swarm Optimization for
Multi-modal Optimization . . . . . . . . 378--385
Prakash Tekchandani and
Aditya Trivedi Clock Drift Management Using Particle
Swarm Optimization . . . . . . . . . . . 386--393
Mohammad Taherdangkoo and
Mehran Yazdi and
Mohammad Hadi Bagheri Stem Cells Optimization Algorithm . . . 394--403
Xiaohua Xu and
Zhoujin Pan and
Ping He and
Ling Chen Constrained Clustering via Swarm
Intelligence . . . . . . . . . . . . . . 404--409
Yu Chen and
Kai Zhang and
Xiufen Zou A Population-Based Hybrid Extremal
Optimization Algorithm . . . . . . . . . 410--417
Li-Qing Zhao and
Cui Zhang and
Rong-Long Wang An Effective Ant Colony Algorithm for
Graph Planarization Problem . . . . . . 418--425
Kai Huang and
Yong quan Zhou A Novel Chaos Glowworm Swarm
Optimization Algorithm for Optimization
Functions . . . . . . . . . . . . . . . 426--434
Jingyan Wang and
Yongping Li and
Ying Zhang and
Jianhua He Semi-supervised Protein Function
Prediction via Sequential Linear
Neighborhood Propagation . . . . . . . . 435--441
Xuesong Wang and
Lijing Li and
Yuhu Cheng An Improved Newman Algorithm for Mining
Overlapping Modules from Protein-Protein
Interaction Networks . . . . . . . . . . 442--447
Bing Wang and
Peng Chen and
Jun Zhang Protein Interface Residues Prediction
Based on Amino Acid Properties Only . . 448--452
Edmundo Bonilla-Huerta and
Béatrice Duval and
José C. Hernández Hernández and
Jin-Kao Hao Hybrid Filter-Wrapper with a Specialized
Random Multi-Parent Crossover Operator
for Gene Selection and Classification
Problems . . . . . . . . . . . . . . . . 453--461
Hong-Jie Yu Similarity Analysis of DNA Sequences
Based on Three $2$-D Cumulative Ratio
Curves . . . . . . . . . . . . . . . . . 462--469
Hong-Jie Yu Similarity Analysis of DNA Barcodes
Sequences Based on Compressed Feature
Vectors . . . . . . . . . . . . . . . . 470--477
Fang Yuan and
Jing Li and
Lun Li Indentifying Disease Genes Using
Disease-Specific Amino Acid Usage . . . 478--485
Bing Wang and
Aiqin Fang and
Xue Shi and
Seong Ho Kim and
Xiang Zhang DISCO2: a Comprehensive Peak Alignment
Algorithm for Two-Dimensional Gas
Chromatography Time-of-Flight Mass
Spectrometry . . . . . . . . . . . . . . 486--491
Guangyu Cui and
Chao Fang and
Kyungsook Han Prediction of Human Proteins Interacting
with Human Papillomavirus Proteins . . . 492--497
Vitoantonio Bevilacqua and
Paolo Pannarale and
Mirko Abbrescia and
Claudia Cava Comparison of Data-Merging Methods with
SVM Attribute Selection and
Classification in Breast Cancer Gene
Expression . . . . . . . . . . . . . . . 498--507
Yu-Ting Hsiao and
Wei-Po Lee Evolving Gene Regulatory Networks: a
Sensitivity-Based Approach . . . . . . . 508--513
Wei Zhou and
Gang Liu and
Qiwei Shi and
Shilei Cui and
Yina Zhou and
Huili Zhu and
Rubin Wang Blind Testing of Quasi Brain Deaths
Based on Analysis of EEG Energy . . . . 514--520
Md. Kamrul Hasan and
Wook Lee and
Byungkyu Park and
Kyungsook Han Connectivity Analysis of Hippocampus in
Alzheimer's Brain Using Probabilistic
Tractography . . . . . . . . . . . . . . 521--528
Jeen-Shing Wang and
Che-Wei Lin and
Ya-Ting C. Yang and
Tzu-Ping Kao and
Wei-Hsin Wang A PACE Sensor System with Machine
Learning-Based Energy Expenditure
Regression Algorithm . . . . . . . . . . 529--536
Xiaohui Yao and
Yun Xu and
Jiaoyun Yang A Faster Haplotyping Algorithm Based on
Block Partition, and Greedy Ligation
Strategy . . . . . . . . . . . . . . . . 537--544
Jeen-Shing Wang and
Wei-Chun Chiang and
Ya-Ting C. Yang and
Yu-Liang Hsu An Effective ECG Arrhythmia
Classification Algorithm . . . . . . . . 545--550
Jian-Xun Mi A New Subspace Approach for Face
Recognition . . . . . . . . . . . . . . 551--557
Li Li and
Fangmin Yao and
Lijing Tan and
Ben Niu and
Jun Xu A Novel DE--ABC-Based Hybrid Algorithm
for Global Optimization . . . . . . . . 558--565
Li Li and
Yurong Cheng and
Lijing Tan and
Ben Niu A Discrete Artificial Bee Colony
Algorithm for TSP Problem . . . . . . . 566--573
Hongwei Gao and
Xiaofeng Liu and
Jinguo Liu and
Fuguo Chen and
Ben Niu Restoration of Epipolar Line Based on
Multi-population Cooperative Particle
Swarm Optimization . . . . . . . . . . . 574--581
Ben Niu and
Hong Wang and
Lijing Tan and
Jun Xu Multi-objective Optimization Using BFO
Algorithm . . . . . . . . . . . . . . . 582--587
Shu-Lin Wang and
Min Li and
Hongqiang Wang Using $2$D Principal Component Analysis
to Reduce Dimensionality of Gene
Expression Profiles for Tumor
Classification . . . . . . . . . . . . . 588--595
Vitoantonio Bevilacqua and
Domenico De Fano and
Silvia Giannini and
Giuseppe Mastronardi $3$D Virtual Colonoscopy for Polyps
Detection by Supervised Artificial
Neural Networks . . . . . . . . . . . . 596--603
Mohit Sharma and
Surya Prakash and
Phalguni Gupta Face Recognition System Robust to
Occlusion . . . . . . . . . . . . . . . 604--609
Hong-Qiang Wang and
Xin-Ping Xie and
Chun-Hou Zheng A Pathway-Based Classification Method
That Can Improve Microarray-Based
Colorectal Cancer Diagnosis . . . . . . 610--617
M. Michael Gromiha and
R. Sowdhamini and
K. Fukui Structure-Function Relationship in
Olfactory Receptors . . . . . . . . . . 618--623
Lien-Fu Lai and
Chao-Chin Wu and
Liang-Tsung Huang First Report of Knowledge Discovery in
Predicting Protein Folding Rate Change
upon Single Mutation . . . . . . . . . . 624--631
Cheng-li Sun and
Yong Xu and
Jie Jia and
Yu He Detection of Protein Spots from Complex
Region on Real Gel Image . . . . . . . . 632--640
Vitoantonio Bevilacqua and
Fabio Stroppa and
Stefano Saladino and
Ernesto Picardi A Novel Approach to Clustering and
Assembly of Large-Scale Roche 454
Transcriptome Data for Gene Validation
and Alternative Splicing Analysis . . . 641--648
Yan Cui and
Jian Yang and
Chun-Hou Zheng Sparse Maximum Margin Discriminant
Analysis for Gene Selection . . . . . . 649--656
Xibei Yang The Models of Dominance--Based
Multigranulation Rough Sets . . . . . . 657--664
Yanqin Zhang and
Xibei Yang An Intuitionistic Fuzzy Dominance--Based
Rough Set . . . . . . . . . . . . . . . 665--672
Guoping Lin and
Jinjin Li A Covering-Based Pessimistic
Multigranulation Rough Set . . . . . . . 673--680
Weihua Xu and
Xiantao Zhang and
Qiaorong Wang A Generalized Multi-granulation Rough
Set Approach . . . . . . . . . . . . . . 681--689
Junhong Wang and
Jiye Liang and
Yuhua Qian Closed-Label Concept Lattice Based Rule
Extraction Approach . . . . . . . . . . 690--698
Fei Han and
Hai-Fen Yao and
Qing-Hua Ling An Improved Extreme Learning Machine
Based on Particle Swarm Optimization . . 699--704
Ding Jin-lin and
Wang Feng Neural Network Generalized Inverse of
Multi-motor Synchronous System Working
on Vector Control Mode . . . . . . . . . 705--710
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Richard Moot and
Christian Retoré Classical Categorial Grammars: AB
Grammars . . . . . . . . . . . . . . . . 1--22
Richard Moot and
Christian Retoré A Logic for Categorial Grammars:
Lambek's Syntactic Calculus . . . . . . 23--63
Richard Moot and
Christian Retoré Lambek Calculus and Montague Grammar . . 65--99
Richard Moot and
Christian Retoré The Non-associative Lambek Calculus . . 101--147
Richard Moot and
Christian Retoré The Multimodal Lambek Calculus . . . . . 149--191
Richard Moot and
Christian Retoré Lambek Calculus and Linear Logic: Proof
Nets as Parse Structures . . . . . . . . 193--238
Richard Moot and
Christian Retoré Proof Nets for the Multimodal Lambek
Calculus: From Theory to a Wide-Coverage
Categorial Parser . . . . . . . . . . . 239--297
Anonymous Back Matter . . . . . . . . . . . . . . ??
Richard Moot and
Christian Retoré Front Matter . . . . . . . . . . . . . . ??
Fatemeh Raji and
Ali Miri and
Mohammad Davarpanah Jazi Preserving Privacy in Online Social
Networks . . . . . . . . . . . . . . . . 1--13
Jordi Pujol-Ahulló and
Roger Jardí-Cedó and
Jordi Castell\`a-Roca and
Oriol Farr\`as TTP SmartCard-Based ElGamal Cryptosystem
Using Threshold Scheme for Electronic
Elections . . . . . . . . . . . . . . . 14--22
Martin Gagné and
Pascal Lafourcade and
Yassine Lakhnech and
Reihaneh Safavi-Naini Automated Verification of Block Cipher
Modes of Operation, an Improved Method 23--31
Nicola Dragoni and
Eduardo Lostal and
Davide Papini and
Javier Fabra SC$^2$: Secure Communication over Smart
Cards . . . . . . . . . . . . . . . . . 32--48
Behzad Malek and
Ali Miri Private Identification of RFID Tags . . 49--61
Martin Stanek Threshold Encryption into Multiple
Ciphertexts . . . . . . . . . . . . . . 62--72
Yu Chen and
Song Luo and
Jianbin Hu and
Zhong Chen A Novel Commutative Blinding Identity
Based Encryption Scheme . . . . . . . . 73--89
Marina Pudovkina A Related-Key Attack on Block Ciphers
with Weak Recurrent Key Schedules . . . 90--101
Gilles Barthe and
Mathilde Duclos and
Yassine Lakhnech A Computational Indistinguishability
Logic for the Bounded Storage Model . . 102--117
Gimer Cervera and
Michel Barbeau and
Joaquin Garcia-Alfaro and
Evangelos Kranakis Preventing the Cluster Formation Attack
against the Hierarchical OLSR Protocol 118--131
Hadi Ahmadi and
Reihaneh Safavi-Naini Secret Key Establishment over Noisy
Channels . . . . . . . . . . . . . . . . 132--147
Tony Bourdier and
Horatiu Cirstea and
Mathieu Jaume and
Hél\`ene Kirchner Formal Specification and Validation of
Security Policies . . . . . . . . . . . 148--163
Jannik Dreier and
Pascal Lafourcade and
Yassine Lakhnech Vote-Independence: a Powerful Privacy
Notion for Voting Protocols . . . . . . 164--180
Michal Rja\vsko Black-Box Property of Cryptographic Hash
Functions . . . . . . . . . . . . . . . 181--193
Jun Ho Huh and
Hyoungshick Kim Phishing Detection with Popular Search
Engines: Simple and Effective . . . . . 194--207
Eugenia I. Papagiannakopoulou and
Maria N. Koukovini and
Georgios V. Lioudakis A Contextual Privacy-Aware Access
Control Model for Network Monitoring
Workflows: Work in Progress . . . . . . 208--217
Michel Embe Jiague and
Marc Frappier and
Frédéric Gervais and
Régine Laleau and
Richard St-Denis A Metamodel for the Design of
Access-Control Policy Enforcement
Managers: Work in Progress . . . . . . . 218--226
Pierre Konopacki and
Hakim Belhaouari and
Marc Frappier and
Régine Laleau Specification and Verification of Access
Control Policies in EB$^3$ SEC: Work in
Progress . . . . . . . . . . . . . . . . 227--233
Jérémy Milhau and
Marc Frappier and
Régine Laleau A Metamodel of the $B$ Modeling of
Access-Control Policies: Work in
Progress . . . . . . . . . . . . . . . . 234--241
Wiem Tounsi and
Nora Cuppens-Boulahia and
Frédéric Cuppens and
Joaquin Garcia-Alfaro Formal Verification of a Key
Establishment Protocol for EPC Gen2 RFID
Systems: Work in Progress . . . . . . . 242--251
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Murad Banaji Cycle Structure in SR and DSR Graphs:
Implications for Multiple Equilibria and
Stable Oscillation in Chemical Reaction
Networks . . . . . . . . . . . . . . . . 1--21
Robin Bergenthum and
Jörg Desel and
Andreas Harrer Modeling and Mining of Learnflows . . . 22--50
Gianfranco Ciardo and
Yang Zhao and
Xiaoqing Jin Ten Years of Saturation: a Petri Net
Perspective . . . . . . . . . . . . . . 51--95
Dorsaf Elhog-Benzina and
Serge Haddad Refinement and Asynchronous Composition
of Modal Petri Nets . . . . . . . . . . 96--120
Silien Hong and
Fabrice Kordon Computing a Hierarchical Static Order
for Decision Diagram-Based
Representation from P/T Nets . . . . . . 121--140
Micha\l Knapik and
Wojciech Penczek Bounded Model Checking for Parametric
Timed Automata . . . . . . . . . . . . . 141--159
Maciej Koutny and
Marta Pietkiewicz-Koutny Synthesis Problem for Petri Nets with
Localities . . . . . . . . . . . . . . . 160--180
Juan-Pablo López-Grao and
José-Manue Colom A Petri Net Perspective on the Resource
Allocation Problem in Software
Engineering . . . . . . . . . . . . . . 181--200
Marco Mascheroni and
Fabio Farina Nets-Within-Nets Paradigm and Grid
Computing . . . . . . . . . . . . . . . 201--220
Marc Solé and
Josep Carmona Incremental Process Discovery . . . . . 221--242
Thomas Wagner and
José Quenum and
Daniel Moldt Providing an Agent Flavored Integration
for Workflow Management . . . . . . . . 243--264
Michael Westergaard and
Lars Michael Kristensen A Graphical Approach to Component-Based
and Extensible Model Checking Platforms 265--291
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Oswin Aichholzer and
Wolfgang Aigner and
Franz Aurenhammer and
Bert Jüttler Exact Medial Axis Computation for
Triangulated Solids with Respect to
Piecewise Linear Metrics . . . . . . . . 1--27
Oswin Aichholzer and
Wolfgang Aigner and
Thomas Hackl and
Nicola Wolpert Exact Medial Axis Computation for
Circular Arc Boundaries . . . . . . . . 28--42
Rachid Ait-Haddou and
Taishin Nomura Complex Bézier Curves and the Geometry of
Polynomials . . . . . . . . . . . . . . 43--65
Juan Gerardo Alcázar The Shape of Conchoids to Plane
Algebraic Curves . . . . . . . . . . . . 66--79
C. Allouch and
P. Sablonni\`ere and
D. Sbibih Estimation of Integral Properties of a
Planar Closed Curve Based on a Quadratic
Spline Quasi-Interpolant . . . . . . . . 80--93
Francesc Ar\`andiga and
Albert Cohen and
Dionisio F. Yáñez Design of Multiresolution Operators
Using Statistical Learning Tools:
Application to Compression of Signals 94--108
Francesc Ar\`andiga and
Rosa Donat and
Maria Santágueda Weighted-Power$_p$ Nonlinear Subdivision
Schemes . . . . . . . . . . . . . . . . 109--129
Christophe Avenel and
Etienne Mémin and
Patrick Pérez Tracking Level Set Representation Driven
by a Stochastic Dynamics . . . . . . . . 130--141
Bohumír Bastl and
Miroslav Lávi\vcka and
Zbyn\vek \vSír $G^2$ Hermite Interpolation with Curves
Represented by Multi-valued
Trigonometric Support Functions . . . . 142--156
Szilvia Béla and
Bert Jüttler Approximating Algebraic Space Curves by
Circular Arcs . . . . . . . . . . . . . 157--177
Farida Benmakrouha and
Christiane Hespel and
Edouard Monnier Generating Series for Drawing the Output
of Dynamical Systems . . . . . . . . . . 178--192
David Bommes and
Henrik Zimmer and
Leif Kobbelt Practical Mixed-Integer Optimization for
Geometry Processing . . . . . . . . . . 193--206
Alicia Cantón and
Leonardo Fernández-Jambrina Non-degenerate Developable Triangular
Bézier Patches . . . . . . . . . . . . . 207--219
Oleg Davydov and
Abid Saeed Stable Splitting of Bivariate Splines
Spaces by Bernstein--Bézier Methods . . . 220--235
Julie Digne and
Jean-Michel Morel and
Charyar Mehdi-Souzani Mesh Segmentation and Model Extraction 236--252
Rida T. Farouki and
Carla Manni and
Francesca Pelosi and
Maria Lucia Sampoli Design of $C^2$ Spatial
Pythagorean-Hodograph Quintic Spline
Curves by Control Polygons . . . . . . . 253--269
Georgi H. Georgiev Shape Curvatures of Planar Rational
Spirals . . . . . . . . . . . . . . . . 270--279
David Großmann and
Bert Jüttler Volumetric Geometry Reconstruction of
Turbine Blades for Aircraft Engines . . 280--295
Stanislav Harizanov Globally Convergent Adaptive Normal
Multi-scale Transforms . . . . . . . . . 296--310
Souleymane Kadri Harouna and
Valérie Perrier Helmholtz--Hodge Decomposition on
$[0,1]^d$ by Divergence-Free and
Curl-Free Wavelets . . . . . . . . . . . 311--329
Klaus Höllig and
Jörg Hörner and
Axel Hoffacker Finite Element Analysis with B-Splines:
Weighted and Isogeometric Methods . . . 330--350
Jinghao Huang and
Peter Schröder $\sqrt{3}$-Based 1-Form Subdivision . . 351--368
K\cestutis Kar\vciauskas and
Jörg Peters Curvature of Approximating Curve
Subdivision Schemes . . . . . . . . . . 369--381
Yannick L. Kergosien Fitting a Surface to One of Its
Sectional Planar Curves Using Adaptive
Trees in Spaces of Curves . . . . . . . 382--401
Stefan Kiel Verified Spatial Subdivision of Implicit
Objects Using Implicit Linear Interval
Estimations . . . . . . . . . . . . . . 402--415
Gitta Kutyniok and
Wang-Q Lim Image Separation Using Wavelets and
Shearlets . . . . . . . . . . . . . . . 416--430
Miroslav Lávi\vcka and
Jan Vr\vsek On a Special Class of Polynomial
Surfaces with Pythagorean Normal Vector
Fields . . . . . . . . . . . . . . . . . 431--444
Da-yan Liu and
Olivier Gibaru and
Wilfrid Perruquetti Convergence Rate of the Causal Jacobi
Derivative Estimator . . . . . . . . . . 445--455
Janick Martinez Esturo and
Christian Rössl and
Holger Theisel Continuous Deformations by Isometry
Preserving Shape Integration . . . . . . 456--472
Basarab Mate\"\i and
Sylvain Meignen and
Anastasia Zakharova On a (W)ENO-Type Multiscale
Representation Based on Quincunx
Refinement: Application to Image
Compression . . . . . . . . . . . . . . 473--487
Jan Möbius and
Leif Kobbelt OpenFlipper: an Open Source Geometry
Processing and Rendering Framework . . . 488--500
Thien Nguyen and
Bert Jüttler Parameterization of Contractible Domains
Using Sequences of Harmonic Maps . . . . 501--514
E. Nyiri and
O. Gibaru and
Ph. Auquiert Nonlinear $L_1$ $C^1$ Interpolation:
Application to Images . . . . . . . . . 515--526
Peter Oswald Normal Multi-scale Transforms for
Surfaces . . . . . . . . . . . . . . . . 527--542
Martin Peternell Generalized Dupin Cyclides with Rational
Lines of Curvature . . . . . . . . . . . 543--552
Kjell Fredrik Pettersen and
Vibeke Skytt Spline Volume Fairing . . . . . . . . . 553--561
Francesca Pitolli Neuroelectric Current Localization from
Combined EEG/MEG Data . . . . . . . . . 562--574
Ahmad Ramli and
Ioannis Ivrissimtzis Bootstrap-Based Normal Reconstruction 575--585
Christian Rössl and
Holger Theisel Couple Points --- a Local Approach to
Global Surface Analysis . . . . . . . . 586--602
P. Sablonni\`ere and
D. Sbibih and
M. Tahrichi Chordal Cubic Spline Quasi Interpolation 603--611
Tomas Sauer Multiple Subdivision Schemes . . . . . . 612--628
Thomas Schoenemann and
Simon Masnou and
Daniel Cremers On a Linear Programming Approach to the
Discrete Willmore Boundary Value Problem
and Generalizations . . . . . . . . . . 629--646
Yilmaz Simsek Interpolation Function of Generalized
$q$-Bernstein-Type Basis Polynomials and
Applications . . . . . . . . . . . . . . 647--662
Dmitry Sokolov and
Christian Gentil and
Hicham Bensoudane Differential Behaviour of Iteratively
Generated Curves . . . . . . . . . . . . 663--680
Jan Vr\vsek and
Miroslav Lávi\vcka Algebraic Curves of Low Convolution
Degree . . . . . . . . . . . . . . . . . 681--696
Ying Yang and
Ioannis Ivrissimtzis A Logistic Model for the Degradation of
Triangle Mesh Normals . . . . . . . . . 697--710
Roman Zeyde and
Michael Elad and
Matan Protter On Single Image Scale-Up Using
Sparse-Representations . . . . . . . . . 711--730
Jianmin Zheng and
Yimin Wang Periodic T-Splines and Tubular Surface
Fitting . . . . . . . . . . . . . . . . 731--746
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Sanjit A. Seshia Quantitative Analysis of Software:
Challenges and Recent Advances . . . . . 1--5
Luís Caires and
Hugo Torres Vieira Analysis of Service Oriented Software
Systems with the Conversation Calculus 6--33
Gabriel Tamura and
Rubby Casallas and
Anthony Cleve QoS Contract-Aware Reconfiguration of
Component Architectures Using E-Graphs 34--52
B. Nobakht and
M. M. Bonsangue and
F. S. de Boer Monitoring Method Call Sequences Using
Annotations . . . . . . . . . . . . . . 53--70
M. Calder and
P. Gray and
A. Miller and
C. Unsworth An Introduction to Pervasive Interface
Automata . . . . . . . . . . . . . . . . 71--87
Liu Yijing and
Qiu Zongyan A Separation Logic for OO Programs . . . 88--105
Sabina Rossi Model Checking Adaptive Multilevel
Service Compositions . . . . . . . . . . 106--124
S. Andova and
L. P. J. Groenewegen and
E. P. de Vink Distributed Adaption of Dining
Philosophers . . . . . . . . . . . . . . 125--144
Pascal André and
Gilles Ardourel and
Mohamed Messabihi Component Service Promotion: Contracts,
Mechanisms and Safety . . . . . . . . . 145--162
Daniel Côté and
Michel Embe Jiague and
Richard St-Denis Systems-Theoretic View of
Component-Based Software Development . . 163--181
Djedjiga Mouheb and
Dima Alhadidi and
Mariam Nouh Aspect Weaving in UML Activity Diagrams:
a Semantic and Algorithmic Framework . . 182--199
Julien Dormoy and
Olga Kouchnarenko and
Arnaud Lanoix Using Temporal Logic for Dynamic
Reconfigurations of Components . . . . . 200--217
D. Ramírez-Deantes and
J. Correas and
G. Puebla Modular Termination Analysis of Java
Bytecode and Its Application to phoneME
Core Libraries . . . . . . . . . . . . . 218--236
Bahman Pourvatan and
Marjan Sirjani and
Farhad Arbab Decomposition of Constraint Automata . . 237--258
Roberto Bruni and
Zhiming Liu and
Liang Zhao Graph Representation of Sessions and
Pipelines for Structured Service
Programming . . . . . . . . . . . . . . 259--276
Farhad Arbab Will the Real Service Oriented Computing
Please Stand Up? . . . . . . . . . . . . 277--285
Ludwig Adam Performance Verification in Complex
Enterprise-Level Component Systems . . . 286--289
Christoph M. Kirsch and
Luís Lopes Runtime Programming through
Model-Preserving, Scalable Runtime
Patches . . . . . . . . . . . . . . . . 290--294
Mario Bravetti and
Cinzia Di Giusto and
Jorge A. Pérez Steps on the Road to Component
Evolvability . . . . . . . . . . . . . . 295--299
Hugo Daniel Macedo and
José Nuno Oliveira Towards Linear Algebras of Components 300--303
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Yuval Shahar The ``Human Cli-Knowme'' Project:
Building a Universal, Formal, Procedural
and Declarative Clinical Knowledge Base,
for the Automation of Therapy and
Research . . . . . . . . . . . . . . . . 1--22
David Riaño A Systematic Analysis of Medical
Decisions: How to Store Knowledge and
Experience in Decision Tables . . . . . 23--36
Juan Fdez-Olivares and
Inmaculada Sánchez-Garzón and
Arturo González-Ferrer and
Juan A. Cózar Task Network Based Modeling, Dynamic
Generation and Adaptive Execution of
Patient-Tailored Treatment Plans Based
on Smart Process Management Technologies 37--50
Kathrin Dentler and
Annette ten Teije and
Ronald Cornet and
Nicolette de Keizer Towards the Automated Calculation of
Clinical Quality Indicators . . . . . . 51--64
Mor Peleg and
Samson W. Tu and
Giorgio Leonardi and
Silvana Quaglini and
Paola Russo Reasoning with Effects of Clinical
Guideline Actions Using OWL: AL
Amyloidosis as a Case Study . . . . . . 65--79
Rodrigo Bonacin and
Cédric Pruski and
Marcos Da Silveira Careflow Personalization Services:
Concepts and Tool for the Evaluation of
Computer-Interpretable Guidelines . . . 80--93
Reinhard Hatko and
Joachim Baumeister and
Volker Belli and
Frank Puppe Diaflux: a Graphical Language for
Computer-Interpretable Guidelines . . . 94--107
Raphael Bahati and
Stacey Guy and
Femida Gwadry-Sridhar Analysis of Treatment Compliance of
Patients with Diabetes . . . . . . . . . 108--116
Jose M. Juarez and
Manuel Campos and
Antonio Gomariz and
Antonio Morales Computing Problem Oriented Medical
Records . . . . . . . . . . . . . . . . 117--130
Joan Albert López-Vallverdú and
David Riaño and
Antoni Collado Detecting Dominant Alternative
Interventions to Reduce Treatment Costs 131--144
Krystyna Milian and
Annette ten Teije and
Anca Bucur and
Frank van Harmelen Patterns of Clinical Trial Eligibility
Criteria . . . . . . . . . . . . . . . . 145--157
Paul Taylor and
Igor Toujilov Mammographic Knowledge Representation in
Description Logic . . . . . . . . . . . 158--169
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Margaret Miró-Juli\`a A Framework for Combining Multivalued
Data: a Practical Approach . . . . . . . 1--8
Franz Pichler On Modelling Metabolism-Repair by
Convolution and Partial Realization . . 9--17
P. Kopacek Cost Oriented Humanoid Robots . . . . . 18--24
Gabriel de Blasio and
Arminda Moreno-Díaz and
Roberto Moreno-Díaz Jr. and
Roberto Moreno-Díaz New Biomimetic Neural Structures for
Artificial Neural Nets . . . . . . . . . 25--31
C. Hernández-Goya and
P. Caballero-Gil and
J. Molina-Gil and
C. Caballero-Gil Extending OLSR Functionalities to PKI
Management . . . . . . . . . . . . . . . 32--39
Tomasz Surmacz Bandwidth Usage Optimization for NNTP
Protocol . . . . . . . . . . . . . . . . 40--47
Jan Nikodem The Dilemma of Choice in Management of
Communication Processes in WSN . . . . . 48--55
Fabio Martinelli and
Paolo Mori A Distributed Authorization System with
Mobile Usage Control Policies . . . . . 56--63
Dayana Lozada and
Jose Manuel Castillo and
Alberto Salguero and
Francisco Araque Fuzzy Logic for the Performance
Assessment of the Innovation Management
in Tourism . . . . . . . . . . . . . . . 64--71
Antonio Di Crescenzo and
Maria Longobardi Neuronal Data Analysis Based on the
Empirical Cumulative Entropy . . . . . . 72--79
Virginia Giorno and
Amelia G. Nobile and
Luigi M. Ricciardi On the Construction of Densities for
Time Non-homogeneous Diffusion Processes 80--87
Sándor Fridli and
Levente Lócsi and
Ferenc Schipp Rational Function Systems in ECG
Processing . . . . . . . . . . . . . . . 88--95
Aniello Buonocore and
Luigia Caputo and
Enrica Pirozzi First-Passage-Time for Gauss-Diffusion
Processes via Integrated Analytical,
Simulation and Numerical Methods . . . . 96--104
Monica Roman Modelling Aspects and Structural
Properties of a Fed-Batch Bioprocess . . 105--112
Jónathan Heras and
Vico Pascual and
Julio Rubio A Certified Module to Study Digital
Images with the Kenzo System . . . . . . 113--120
Abraham Rodríguez Rodríguez and
Nicolás Iglesias García and
José María Quinteiro-González Modelling the Psychographic Behaviour of
Users Using Ontologies in Web Marketing
Services . . . . . . . . . . . . . . . . 121--128
Markus Schwaninger and
Christoph Mandl Understanding the System Dynamics of
High-Technology Markets: Pólya Processes
with Positive Feedback, Path Dependence
and Lock-In . . . . . . . . . . . . . . 129--136
Andreas Pomarolli and
Stefan Anderlik and
Josef Küng R2RIF --- Rule Integration Plugin for
Protégé OWL . . . . . . . . . . . . . . . 137--144
Qiao Chen and
Heinz Dobler GenComp --- a Generic Transformation
System . . . . . . . . . . . . . . . . . 145--152
Nico Krebs and
Lothar Schmitz and
Uwe M. Borghoff Implementing the Universal Virtual
Computer . . . . . . . . . . . . . . . . 153--160
Reinhard Stumptner and
Bernhard Freudenthaler and
Jürgen Hönigl and
Karl Rehrl and
Josef Küng Using GPS Trajectories to Create a
Dynamic Network of Significant Locations
as an Abstraction of Road Maps . . . . . 161--168
J. L. Freire Nistal and
A. Blanco Ferro and
J. M. Molinelli Barba and
E. Freire Brañas On the Confluence of the Graphic
Calculus with Penrose Diagrams (I) . . . 169--176
Francisca Grimón and
Marylin Giugni and
Joaquín Fernández and
Joseph Monguet System for Recommendation of Information
Based on a Management Content Model
Using Software Agents . . . . . . . . . 177--183
Miroslaw Szaban and
Franciszek Seredynski Dynamic Cellular Automata-Based S-Boxes 184--191
Du\vsan Kolá\vr and
\vSárka Kv\veto\vnová People Transfer in City Transport
Modeled via CPN . . . . . . . . . . . . 192--199
Norbert Walchhofer and
Karl Anton Froeschl and
Kurt Hornik Adaptive Change Estimation in the
Context of Online Market Monitoring . . 200--207
Kamil Matou\vsek and
Petr K\vremen and
Josef Küng and
Reinhard Stumptner and
Stefan Anderlik On Transforming a Knowledge Base from
Topic Maps to OWL . . . . . . . . . . . 208--215
Gerald Zwettler and
Paul Track and
Florian Waschaurek and
Richard Woschitz and
Elmar Hagmann Automated Building Construction Design
Optimization for Reduction of
Construction Costs and Energy Demand . . 216--223
Álvaro Rubio-Largo and
Miguel A. Vega-Rodríguez and
Juan A. Gómez-Pulido Using a Multiobjective OpenMP+MPI DE for
the Static RWA Problem . . . . . . . . . 224--231
David L. González-Álvarez and
Miguel A. Vega-Rodríguez and
Juan A. Gómez-Pulido Discovering DNA Motifs with a Parallel
Shared Memory Differential Evolution . . 232--239
Brigitte Rafael and
Stefan Oertl and
Michael Affenzeller and
Stefan Wagner Optimization of Parameter Settings for
Genetic Algorithms in Music Segmentation 240--247
Johannes Inführ and
Günther R. Raidl Automatic Generation of $2$-AntWars
Players with Genetic Programming . . . . 248--255
Martin Berlakovich and
Mario Ruthmair and
Günther R. Raidl A Multilevel Heuristic for the Rooted
Delay-Constrained Minimum Spanning Tree
Problem . . . . . . . . . . . . . . . . 256--263
Alexandru-Ciprian Z\uavoianu and
Gabriel Kronberger and
Michael Kommenda and
Daniela Zaharie Improving the Parsimony of Regression
Models for an Enhanced Genetic
Programming Process . . . . . . . . . . 264--271
Miguel Cárdenas-Montes and
Miguel A. Vega-Rodríguez and
Juan José Rodríguez-Vázquez GPU-Based Evaluation to Accelerate
Particle Swarm Algorithm . . . . . . . . 272--279
Galina Merkuryeva and
Vitaly Bolshakov Simulation-Based Fitness Landscape
Analysis and Optimisation for Vehicle
Scheduling Problem . . . . . . . . . . . 280--286
Bin Hu and
Günther R. Raidl An Evolutionary Algorithm with Solution
Archive for the Generalized Minimum
Spanning Tree Problem . . . . . . . . . 287--294
Markus Leitner and
Günther R. Raidl Variable Neighborhood and Greedy
Randomized Adaptive Search for
Capacitated Connected Facility Location 295--302
Patrick Ediger and
Rolf Hoffmann and
Sylvia Grüner Effectively Evolving Finite State
Machines Compared to Enumeration . . . . 303--310
Stephan Hutterer and
Michael Affenzeller and
Franz Auinger Heuristic Power Scheduling of Electric
Vehicle Battery Charging Based on
Discrete Event Simulation . . . . . . . 311--318
Gabriel Luque and
Francisco Luna and
Enrique Alba and
Sergio Nesmachnow Exploring the Accuracy of a Parallel
Cooperative Model for Trajectory-Based
Metaheuristics . . . . . . . . . . . . . 319--326
Stefan Vonolfen and
Andreas Beham and
Michael Affenzeller and
Stefan Wagner and
Andreas Mayr Combination and Comparison of Different
Genetic Encodings for the Vehicle
Routing Problem . . . . . . . . . . . . 327--334
Stephan M. Winkler and
Michael Affenzeller and
Gabriel Kronberger and
Michael Kommenda Analysis of Selected Evolutionary
Algorithms in Feature Selection and
Parameter Optimization for Data Based
Tumor Marker Modeling . . . . . . . . . 335--342
Witold Jacak and
Karin Pröll Neural Networks Based System for Cancer
Diagnosis Support . . . . . . . . . . . 343--350
Mario Ruthmair and
Günther R. Raidl A Memetic Algorithm and a Solution
Archive for the Rooted Delay-Constrained
Minimum Spanning Tree Problem . . . . . 351--358
Stephan Dreiseitl and
Melanie Osl Effects of Data Grouping on Calibration
Measures of Classifiers . . . . . . . . 359--366
Christoph Neumüller and
Stefan Wagner and
Gabriel Kronberger and
Michael Affenzeller Parameter Meta-optimization of
Metaheuristic Optimization Algorithms 367--374
Enrique Alba and
Pablo Vidal Systolic Optimization on GPU Platforms 375--383
Rudolf Ramler and
Thomas Natschläger Applying Heuristic Approaches for
Predicting Defect-Prone Software
Components . . . . . . . . . . . . . . . 384--391
Sandro Pirkwieser and
Günther R. Raidl and
Jens Gottlieb Improved Packing and Routing of Vehicles
with Compartments . . . . . . . . . . . 392--399
Michael Kommenda and
Gabriel Kronberger and
Christoph Feilmayr and
Leonhard Schickmair Application of Symbolic Regression on
Blast Furnace and Temper Mill Datasets 400--407
Viktoria Dorfer and
Stephan M. Winkler and
Thomas Kern and
Gerald Petz and
Patrizia Faschang Analysis of Single-Objective and
Multi-Objective Evolutionary Algorithms
in Keyword Cluster Optimization . . . . 408--415
Andreas Hölzlwimmer and
Hannes Brandstätter-Müller and
Bahram Parsapour and
Gerald Lirk A Heuristic Scheduling and Resource
Management System for Solving
Bioinformatical Problems via High
Performance Computing on Heterogeneous
Multi-platform Hardware . . . . . . . . 416--423
Erik Pitzer and
Michael Affenzeller and
Andreas Beham and
Stefan Wagner Comprehensive and Automatic Fitness
Landscape Analysis Using HeuristicLab 424--431
Clara Campos-Rodríguez and
José A. Moreno-Pérez and
Dolores R. Santos-Peñate Particle Swarm Optimization with Two
Swarms for the Discrete $( r | p
)$-Centroid Problem . . . . . . . . . . 432--439
J. Brito and
F. J. Martínez and
José A. Moreno-Pérez and
J. L. Verdegay ACO--GRASP--VNS Metaheuristic for VRP
with Fuzzy Windows Time Constraints . . 440--447
Dennis Weyland and
Roberto Montemanni and
Luca Maria Gambardella Using Statistical Tests for Improving
State-of-the-Art Heuristics for the
Probabilistic Traveling Salesman Problem
with Deadlines . . . . . . . . . . . . . 448--455
Andreas M. Chwatal and
Sandro Pirkwieser Solving the Two-Dimensional Bin-Packing
Problem with Variable Bin Sizes by
Greedy Randomized Adaptive Search
Procedures and Variable Neighborhood
Search . . . . . . . . . . . . . . . . . 456--463
Gabriel Kronberger and
Michael Affenzeller Market Basket Analysis of Retail Data:
Supervised Learning Approach . . . . . . 464--471
Andreas Weiss A Flexible and Reliable Radar Simulator
in Matlab OOP for Optimizing Tracking
Algorithms . . . . . . . . . . . . . . . 472--476
Alexander Onic and
Mario Huemer Frequency Estimation beyond Nyquist
Using Sparse Approximation Methods . . . 477--484
Robert Priewasser and
Matteo Agostinelli and
Stefano Marsili Refinement of Simulation Models for
Point-of-Load DC--DC Converters to
Enable Accurate Simulation-Based
Compensator Design . . . . . . . . . . . 485--490
Thomas Schlechter Optimized Filter Design for a Filter
Bank Based Blocker Detection Concept for
LTE Systems . . . . . . . . . . . . . . 491--496
Bartosz Wojciechowski and
Maciej Nikodem and
Tomasz Surmacz Clustering and Data Aggregation as
Factors of Wireless Sensor Network
Lifetime . . . . . . . . . . . . . . . . 497--504
Marek A. Bawiec and
Bartosz Wojciechowski and
Maciej Nikodem and
Janusz Biernat Synthesis of Logic Circuits Based on
Negative Differential Resistance
Property . . . . . . . . . . . . . . . . 505--512
Michael Lunglmayr and
Mario Huemer Simulation Based Optimization of Signal
Processing for RFID . . . . . . . . . . 513--518
Jan Fiedor and
Bohuslav K\vrena and
Zden\vek Letko and
Tomá\vs Vojnar A Uniform Classification of Common
Concurrency Errors . . . . . . . . . . . 519--526
Kamil Dudka and
Petr Peringer and
Tomá\vs Vojnar An Easy to Use Infrastructure for
Building Static Analysis Tools . . . . . 527--534
Xin Chen and
Erika Ábrahám Choice of Directions for the
Approximation of Reachable Sets for
Hybrid Systems . . . . . . . . . . . . . 535--542
Petr Novosad and
Milan \vCe\vska Unfoldings of Bounded Hybrid Petri Nets 543--550
Agata Brzozowska and
Jerzy Greblicki and
Jerzy Kotowski State Encoding and Minimization
Methodology for Self-Checking Sequential
Machines . . . . . . . . . . . . . . . . 551--558
Jan Fiedor and
Marek Gach and
Milan \vCe\vska A Novel Approach to Modechart
Verification of Real-Time Systems . . . 559--567
Agata Brzozowska and
Jerzy Greblicki and
Jerzy Kotowski Cloud Computing in Educational
Applications Methods of Virtual Desktops
Deployment . . . . . . . . . . . . . . . 568--575
S. Álvarez and
M. A. Sotelo and
D. F. Llorca and
R. Quintero and
O. Marcos Monocular Vision-Based Target Detection
on Dynamic Transport Infrastructures . . 576--583
A. Fraga and
N. Barreira and
M. Ortega and
M. G. Penedo and
M. J. Carreira Precise Segmentation of the Optic Disc
in Retinal Fundus Images . . . . . . . . 584--591
Juan José Rodríguez-Vázquez and
Sixto Romero-Sánchez and
Miguel Cárdenas-Montes Speeding Up a Chaos-Based Image
Encryption Algorithm Using GPGPU . . . . 592--599
M. Gavilán and
D. Balcones and
M. A. Sotelo and
D. F. Llorca and
O. Marcos and
C. Fernández and
I. García Surface Classification for Road Distress
Detection System Enhancement . . . . . . 600--607
Javier Sánchez Analysis of Recent Advances in Optical
Flow Estimation Methods . . . . . . . . 608--615
A. Fernandez and
M. Ortega and
B. Cancela and
M. G. Penedo Contextual and Skin Color Region
Information for Face and Arms Location 616--623
Florian Eibensteiner and
Jürgen Kogler and
Christoph Sulzbachner and
Josef Scharinger Stereo-Vision Algorithm Based on
Bio-Inspired Silicon Retinas for
Implementation in Hardware . . . . . . . 624--631
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Johannes Atzlesberger and
Bernhard G. Zagar Optimization of a Magnetic Flux Leakage
Measurement Set-Up Using FEM-Simulations 1--8
Markus Hoflehner and
Andreas Springer Comparison of RF Power Amplifier
Behavioral Models with Respect to Their
Modeling Capabilities in Adjacent and
Alternate Bands . . . . . . . . . . . . 9--16
Georg Möstl and
Richard Hagelauer and
Gerhard Müller and
Andreas Springer A Network and System Level Approach
towards an Accurate Simulation of WSNs 17--24
Martin Heinisch and
Erwin K. Reichel and
Bernhard Jakoby On the Modelling of Resonating Fluid
Sensors . . . . . . . . . . . . . . . . 25--32
Markus Hirsch and
Thomas E. Passenbrunner Extension of Static Non-linear DoE
Identification Algorithms to Dynamic
Systems . . . . . . . . . . . . . . . . 33--40
Harald Waschl and
Daniel Alberer and
Luigi del Re Automatic Tuning Methods for MPC
Environments . . . . . . . . . . . . . . 41--48
Thomas E. Passenbrunner and
Luigi del Re On-board Implementation of a
Decentralized Algorithm for Deployment
of a Swarm . . . . . . . . . . . . . . . 49--56
P. Ludwig and
K. Rieger and
K. Schlacher Modelling, Simulation and Control of a
Heavy Chain System . . . . . . . . . . . 57--64
H. Daxberger and
K. Rieger and
K. Schlacher On Modelling and Control of Compressible
Non--Newtonian Injection Processes . . . 65--72
Florian Poltschak and
Peter Hehenberger and
Babak Farrokhzad and
Wolfgang Amrhein and
Klaus Zeman Model-Based Evaluation of a Linear
Electro Hydraulic Direct Drive . . . . . 73--80
Martin Hochwallner and
Matthias Hörl and
Stefan Dierneder and
Rudolf Scheidl Some Aspects of SysML Application in the
Reverse Engineering of Mechatronic
Systems . . . . . . . . . . . . . . . . 81--88
Matthias Hörl and
Martin Hochwallner and
Stefan Dierneder and
Rudolf Scheidl Integration of SysML and Simulation
Models for Mechatronic Systems . . . . . 89--96
Konstantin Kittel and
Peter Hehenberger and
Sándor Vajna and
Klaus Zeman Modelling and Optimisation of
Mechatronic Systems Using the
Autogenetic Design Theory . . . . . . . 97--104
Martin Follmer and
Peter Hehenberger and
Klaus Zeman Model-Based Approach for the Reliability
Prediction of Mechatronic Systems on the
System-Level . . . . . . . . . . . . . . 105--112
Peter Hehenberger and
Alexander Egyed and
Klaus Zeman Understanding the Relationship of
Information in Mechatronic Design
Modeling . . . . . . . . . . . . . . . . 113--120
Stefan Punz and
Peter Hehenberger and
Martin Follmer Modeling and Design of a Production
Concept for Skinless Pretzel-Shaped
Sausages . . . . . . . . . . . . . . . . 121--128
Markus Hirsch and
Thomas Schwarzgruber and
Michael Aschaber and
Herbert Pöllhuber Optimization of a Speedboat Simulator
for Engine Calibration . . . . . . . . . 129--136
Zenon Chaczko WSN Clustering Using IC--SVD Algorithms 137--145
Robin Braun and
Zenon Chaczko Multi-dimensional Information Space View
of Wireless Sensor Networks with
Optimization Applications . . . . . . . 146--152
Zenon Chaczko and
Germano Resconi Application of Morphotronic Theory to
Parallel Robots . . . . . . . . . . . . 153--160
Germano Resconi and
Zenon Chaczko Mechatronics and the Bond Graph Theory
Extended by the Morphotronic Systems . . 161--169
Anup Kale and
Zenon Chaczko and
Imre Rudas Parallel Robot Vision Using Genetic
Algorithm and Object Centroid . . . . . 170--178
Gerhard Hoefer and
Manfred Mauerkirchner Towards Sensomotory Coordination of
Vision and Action in Humanoid Agents . . 179--186
Ryszard Klempous The Different Possibilities for Gait
Identification Based on Motion Capture 187--194
Czes\law Smutnicki Biomimetic Optimizers for Job Scheduling 195--202
Adam Handzlik and
Andrzej Jablonski and
Ryszard Klempous and
Agnieszka Skotarczyk Task and Resources Assignment in Special
Application Embedded Systems . . . . . . 203--208
Gerald Zwettler and
Robert Pichler and
Werner Backfrieder Diagnosis of Neurodegenerative Diseases
Based on Multi-modal Hemodynamic
Classification of the Brain . . . . . . 209--216
A. Trujillo-Pino and
K. Krissian and
D. Santana-Cedrés and
J. Esclarín-Monreal A Subpixel Edge Detector Applied to
Aortic Dissection Detection . . . . . . 217--224
Christopher Chiu and
Zenon Chaczko Multi-dimensional Representations of
Laparoscopic Simulations for SANETs . . 225--232
Jerzy W. Rozenblit Models and Techniques for Computer Aided
Surgical Training . . . . . . . . . . . 233--241
Ryszard Klempous and
Jan Nikodem and
Andrzej Wytyczak-Partyka Application of Simulation Techniques in
a Virtual Laparoscopic Laboratory . . . 242--247
Bernhard Quatember and
Martin Mayr and
Wolfgang Recheis and
Stefanos Demertzis Development of an Accurate Method for
Motion Analyses of the Heart Wall Based
on Medical Imagery . . . . . . . . . . . 248--255
Ewa Szlachcic and
Pawel Porombka and
Jerzy Kotowski Multi-objective Optimization of Cancer
Chemotherapy Treatment . . . . . . . . . 256--263
Carmen Paz Suárez Araujo and
Miguel Ángel Pérez del Pino and
Patricio García Báez EDEVITALZH: Predictive, Preventive,
Participatory and Personalized e-Health
Platform to Assist in the Geriatrics and
Neurology Clinical Scopes . . . . . . . 264--271
Bernd Steinbach and
Christian Posthoff Improvements of the Construction of
Exact Minimal Covers of Boolean
Functions . . . . . . . . . . . . . . . 272--279
Claudio Moraga Pattern Analysis under Number Theoretic
Transforms . . . . . . . . . . . . . . . 280--287
Radomir S. Stankovi\'c and
Jaakko T. Astola and
Claudio Moraga and
Stanislav Stankovi\'c Remarks on Efficient Computation of the
Inverse Fourier Transforms on Finite
Non-Abelian Groups . . . . . . . . . . . 288--295
Stanislav Stankovi\'c and
Radomir S. Stankovi\'c and
Jaakko T. Astola and
Claudio Moraga Representation of Convolution Systems on
Finite Groups by Heterogeneous Decision
Diagrams . . . . . . . . . . . . . . . . 296--303
Nikolaos Atreas and
Costas Karanikas Discrete Transforms Produced from Two
Natural Numbers and Applications . . . . 304--310
Milena Stankovi\'c and
Suzana Stojkovi\'c Reversible Synthesis in the Walsh
Hadamard Domain . . . . . . . . . . . . 311--318
Helena Astola and
Stanislav Stankovi\'c and
Jaakko T. Astola Performance Analysis of Error-Correcting
Binary Decision Diagrams . . . . . . . . 319--326
Grzegorz Borowik and
Andrzej Kra\'sniewski Trading-Off Error Detection Efficiency
with Implementation Cost for Sequential
Circuits Implemented with FPGAs . . . . 327--334
Grzegorz Borowik and
Andrzej Paszkiewicz Method of Generating Irreducible
Polynomials over GF(3) on the Basis of
Trinomials . . . . . . . . . . . . . . . 335--342
Grzegorz Borowik and
Tadeusz \Luba and
Pawe\l Tomaszewicz On Memory Capacity to Implement Logic
Functions . . . . . . . . . . . . . . . 343--350
György Gát Reconstruction of Functions via
Walsh--Fourier Cofficients . . . . . . . 351--358
Adrián Peñate Sánchez and
Alexis Quesada-Arencibia and
Carlos M. Travieso González Real Time Vehicle Recognition: a Novel
Method for Road Detection . . . . . . . 359--364
J. Molina-Gil and
P. Caballero-Gil and
A. Fúster-Sabater and
C. Caballero-Gil Pseudorandom Generator to Strengthen
Cooperation in VANETs . . . . . . . . . 365--373
Vicente Milanés and
Enrique Onieva and
Joshué Pérez and
Jorge Villagrá and
Jorge Godoy AUTOPIA Program Advances: How to
Automate the Traffic? . . . . . . . . . 374--381
Enrique Onieva and
Vicente Milanés and
Joshué Pérez and
Javier Alonso and
Teresa de Pedro Study of Traffic Flow Controlled with
Independent Agent-Based Traffic Signals 382--389
Jorge Villagrá and
Vicente Milanés and
Joshué Pérez and
Jorge Godoy and
Enrique Onieva A Reinforcement Learning Modular Control
Architecture for Fully Automated
Vehicles . . . . . . . . . . . . . . . . 390--397
Javier Alonso and
Jorge Godoy and
Roberto Sanz and
Enrique Onieva and
Vicente Milanés Traffic Light Intelligent Regulation
Using Infrastructure Located Sensors . . 398--403
Joshué Pérez and
Jorge Villagrá and
Enrique Onieva and
Vicente Milanés and
Teresa de Pedro Driving by Driverless Vehicles in Urban
Environment . . . . . . . . . . . . . . 404--411
Á. Llamazares and
E. J. Molinos and
M. Ocaña and
L. M. Bergasa and
N. Hernández and
F. Herranz $3$D Map Building Using a $2$D Laser
Scanner . . . . . . . . . . . . . . . . 412--419
F. Herranz and
M. Ocaña and
L. M. Bergasa and
N. Hernández and
A. Llamazares and
C. Fernández Mapping Based on a Noisy Range-Only
Sensor . . . . . . . . . . . . . . . . . 420--425
Basam Musleh and
Arturo de la Escalera and
José María Armingol U--V Disparity Analysis in Urban
Environments . . . . . . . . . . . . . . 426--432
José Isern-González and
Daniel Hernández-Sosa and
Enrique Fernández-Perdomo Application of Optimization Algorithms
to Trajectory Planning for Underwater
Gliders . . . . . . . . . . . . . . . . 433--440
Javier J. Sanchez-Medina and
Moises Diaz-Cabrera and
Manuel J. Galan-Moreno Electric Scaled Vehicle as ITS
Experimentation Platform . . . . . . . . 441--448
Carmelo R. García-Rodríguez and
Ricardo Pérez-García and
Gabino Padrón-Morales A Complete Conceptual Model for
Pervasive Information Services for
Public Transport . . . . . . . . . . . . 449--456
Michael \vSebek and
Zden\vek Hurák Constant Time Headway Control Policy in
Leader Following Vehicular Platoons:
$2$-D Polynomial Approach . . . . . . . 457--464
Javier J. Sanchez-Medina and
Moises Diaz-Cabrera and
Manuel J. Galan-Moreno User Equilibrium Study of AETROS Travel
Route Optimization System . . . . . . . 465--472
Moises Diaz-Cabrera and
Javier J. Sanchez-Medina and
Idaira Perez-Armas and
Elisa Medina-Machin Driver Pattern Study of Las Palmas de
Gran Canaria . . . . . . . . . . . . . . 473--480
Miguel Villeta and
José G. Zato Recellado and
José E. Naranjo and
Lourdes Cecilia Railway Field Element Simulation Tool 481--485
Gabino Padrón-Morales and
Carmelo R. García-Rodríguez and
Francisco Alayón-Hernández Evaluation of Parameters of Functions of
Cost Optimization System for Operating
Systems for Carriers of Passengers by
Road . . . . . . . . . . . . . . . . . . 486--492
C. Caballero-Gil and
P. Caballero-Gil and
A. Peinado-Domínguez and
J. Molina-Gil Lightweight Authentication for RFID Used
in VANETs . . . . . . . . . . . . . . . 493--500
Heinrich Schmitzberger Autonomous WLAN Sensors for Ad Hoc
Indoor Localization . . . . . . . . . . 501--509
Stephan da Costa Ribeiro and
Martin Kleinsteuber and
Andreas Möller and
Matthias Kranz A Compressive Sensing Scheme of
Frequency Sparse Signals for Mobile and
Wearable Platforms . . . . . . . . . . . 510--518
Michael Tschernuth and
Michael Lettner and
Rene Mayrhofer Evaluation of Descriptive User Interface
Methodologies for Mobile Devices . . . . 519--526
Rene Mayrhofer and
Clemens Holzmann and
Romana Koprivec Friends Radar: Towards a Private P2P
Location Sharing Platform . . . . . . . 527--535
Alexander Erifiu and
Gerald Ostermayer Hardware Sensor Aspects in Mobile
Augmented Reality . . . . . . . . . . . 536--543
Michael Lettner and
Michael Tschernuth and
Rene Mayrhofer Mobile Platform Architecture Review:
Android, iPhone, Qt . . . . . . . . . . 544--551
Karl-Heinz Kastner and
Gerald Ostermayer Routing with Free Geodata on Mobile
Devices . . . . . . . . . . . . . . . . 552--559
Florian Lettner and
Clemens Holzmann Usability Evaluation Framework . . . . . 560--567
Pierluigi Grillo and
Silvia Likavec and
Ilaria Lombardi Using Mobile Phone Cameras to Interact
with Ontological Data . . . . . . . . . 568--576
Jerzy Greblicki and
Jerzy Kotowski and
Ewa Szlachcic The Cutting Stock Problem Recent
Application in Information Technology 577--584
Mikulá\vs Huba and
Peter \vTapák Relay Identification of IPDT Plant by
Analyzing Nonsymmetrical Oscillations 585--592
Stanislaw Sieniutycz Modeling and Simulation of Power Yield
in Thermal, Chemical and Electrochemical
Systems: Fuel Cell Case . . . . . . . . 593--600
Stefan Herrmann and
Andreas Attenberger and
Klaus Buchenrieder Prostheses Control with Combined
Near-Infrared and Myoelectric Signals 601--608
Lisandro Quiroga and
Eckehard Schnieder Heuristic Forecasting of Geometry
Deterioration of High Speed Railway
Tracks . . . . . . . . . . . . . . . . . 609--616
Miroslav Halás and
Vladimír \vZilka Application of Noninteracting Control
Problem to Coupled Tanks . . . . . . . . 617--624
Francisco Cabrera and
Víctor Araña and
Carlos Barrera Description of a Low-Cost
Radio-Frequency System to Detect
Hydrocarbons . . . . . . . . . . . . . . 625--632
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Paul Klint and
Bert Lisser and
Atze van der Ploeg Towards a One-Stop-Shop for Analysis,
Transformation and Visualization of
Software . . . . . . . . . . . . . . . . 1--18
Andreas Seibel and
Regina Hebig and
Stefan Neumann and
Holger Giese A Dedicated Language for Context
Composition and Execution of True
Black-Box Model Transformations . . . . 19--39
Maartje de Jonge and
Eelco Visser An Algorithm for Layout Preservation in
Refactoring Transformations . . . . . . 40--59
Robert Tairas and
Jordi Cabot Cloning in DSLs: Experiments with OCL 60--76
Niels Joncheere and
Ragnhild Van Der Straeten Uniform Modularization of Workflow
Concerns Using Unify . . . . . . . . . . 77--96
Andrew Sutton and
Bjarne Stroustrup Design of Concept Libraries for C++ . . 97--118
Taketoshi Nishimori and
Yasushi Kuno Join Token-Based Event Handling: a
Comprehensive Framework for Game
Programming . . . . . . . . . . . . . . 119--138
Christophe Tombelle and
Gilles Vanwormhoudt and
Emmanuel Renaux Reusing Pattern Solutions in Modeling: a
Generic Approach Based on a Role
Language . . . . . . . . . . . . . . . . 139--159
Heiko Paulheim and
Daniel Oberle and
Roland Plendl An Architecture for Information Exchange
Based on Reference Models . . . . . . . 160--179
Wolfgang Kling and
Frédéric Jouault and
Dennis Wagelaar MoScript: a DSL for Querying and
Manipulating Model Repositories . . . . 180--200
Sander D. Vermolen and
Guido Wachsmuth and
Eelco Visser Reconstructing Complex Metamodel
Evolution . . . . . . . . . . . . . . . 201--221
Krzysztof Czarnecki Designing Variability Modeling Languages 222--222
Frank P. M. Stappers and
Sven Weber and
Michel A. Reniers Formalizing a Domain Specific Language
Using SOS: An Industrial Case Study . . 223--242
Martin Erwig and
Eric Walkingshaw Semantics First! . . . . . . . . . . . . 243--262
Ted Kaminski and
Eric Van Wyk Integrating Attribute Grammar and
Functional Programming Language Features 263--282
Hendrikus J. S. Basten and
Jurgen J. Vinju Parse Forest Diagnostics with Dr.
Ambiguity . . . . . . . . . . . . . . . 283--302
Hendrikus J. S. Basten and
Paul Klint and
Jurgen J. Vinju Ambiguity Detection: Scaling to
Scannerless . . . . . . . . . . . . . . 303--323
Bernd Fischer and
Ralf Lämmel and
Vadim Zaytsev Comparison of Context-Free Grammars
Based on Parsing Generated Test Data . . 324--343
Mark Hills and
Paul Klint and
Jurgen J. Vinju RLSRunner: Linking Rascal with $K$ for
Program Analysis . . . . . . . . . . . . 344--353
Anders Nilsson and
Görel Hedin Metacompiling OWL Ontologies . . . . . . 354--366
Arif Wider Towards Combinators for Bidirectional
Model Transformations in Scala . . . . . 367--377
Pawe\l T. Wojciechowski Typed First-Class Communication Channels
and Mobility for Concurrent Scripting
Languages . . . . . . . . . . . . . . . 378--387
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
David von Oheimb and
Sebastian Mödersheim ASLan++ --- a Formal Security
Specification Language for Distributed
Systems . . . . . . . . . . . . . . . . 1--22
Yannick Chevalier and
Mohamed Anis Mekki and
Michaël Rusinowitch Orchestration under Security Constraints 23--44
Bogdan Groza and
Marius Minea Customizing Protocol Specifications for
Detecting Resource Exhaustion and
Guessing Attacks . . . . . . . . . . . . 45--60
Bernhard Beckert and
Thorsten Bormer and
Vladimir Klebanov Improving the Usability of Specification
Languages and Methods for
Annotation-Based Verification . . . . . 61--79
Richard Bubel and
Reiner Hähnle and
Ran Ji Program Specialization via a Software
Verification Tool . . . . . . . . . . . 80--101
Luigia Petre and
Kaisa Sere and
Leonidas Tsiopoulos Model--Based Analysis Tools for
Component Synthesis . . . . . . . . . . 102--121
Renato Silva and
Michael Butler Shared Event Composition/Decomposition
in Event-B . . . . . . . . . . . . . . . 122--141
Einar Broch Johnsen and
Reiner Hähnle and
Jan Schäfer and
Rudolf Schlatte and
Martin Steffen ABS: a Core Language for Abstract
Behavioral Specification . . . . . . . . 142--164
Michaël Lienhardt and
Ivan Lanese and
Mario Bravetti and
Davide Sangiorgi and
Gianluigi Zavattaro A Component Model for the ABS Language 165--183
Ina Schaefer and
Dilian Gurov and
Siavash Soleimanifard Compositional Algorithmic Verification
of Software Product Lines . . . . . . . 184--203
Dave Clarke and
Radu Muschevici and
José Proença and
Ina Schaefer and
Rudolf Schlatte Variability Modelling in the ABS
Language . . . . . . . . . . . . . . . . 204--224
Helle Hvid Hansen and
Jeroen Ketema and
Bas Luttik and
MohammadReza Mousavi and
Jaco van de Pol Automated Verification of Executable UML
Models . . . . . . . . . . . . . . . . . 225--250
Colin Snook and
Vitaly Savicks and
Michael Butler Verification of UML Models by
Translation to UML--B . . . . . . . . . 251--266
Luciano Baresi and
Angelo Morzenti and
Alfredo Motta and
Matteo Rossi Towards the UML-Based Formal
Verification of Timed Systems . . . . . 267--286
Rickard Svenningsson and
Henrik Eriksson and
Jonny Vinter and
Martin Törngren Generic Fault Modelling for Fault
Injection . . . . . . . . . . . . . . . 287--296
Alastair F. Donaldson and
Nannan He and
Daniel Kroening and
Philipp Rümmer Tightening Test Coverage Metrics: a Case
Study in Equivalence Checking Using
$k$-Induction . . . . . . . . . . . . . 297--315
Damian Nadales Agut and
Bert van Beek and
Harsh Beohar and
Pieter Cuijpers and
Jasper Fonteijn The Hierarchical Compositional
Interchange Format . . . . . . . . . . . 316--335
Alexandre David and
Jacob Deleuran Grunnet and
Jan Jakob Jessen and
Kim Guldstrand Larsen Application of Model-Checking Technology
to Controller Synthesis . . . . . . . . 336--351
Alexandre David and
Kim Guldstrand Larsen and
Shuhao Li and
Marius Mikucionis and
Brian Nielsen Testing Real-Time Systems under
Uncertainty . . . . . . . . . . . . . . 352--371
Arnd Hartmanns Model-Checking and Simulation for
Stochastic Timed Systems . . . . . . . . 372--391
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Michael Backes and
C\uat\ualin Hri\ctcu and
Matteo Maffei Union and Intersection Types for Secure
Protocol Implementations . . . . . . . . 1--28
Véronique Cortier Secure Composition of Protocols . . . . 29--32
Ueli Maurer Constructive Cryptography --- a New
Paradigm for Security Definitions and
Proofs . . . . . . . . . . . . . . . . . 33--56
Michael Backes and
Matteo Maffei and
Kim Pecina G2C: Cryptographic Protocols from
Goal-Driven Specifications . . . . . . . 57--77
Moez Ben MBarka and
Francine Krief and
Olivier Ly Modeling Long-Term Signature Validation
for Resolution of Dispute . . . . . . . 78--97
Morten Dahl and
Stéphanie Delaune and
Graham Steel Formal Analysis of Privacy for Anonymous
Location Based Services . . . . . . . . 98--112
Joeri de Ruiter and
Erik Poll Formal Analysis of the EMV Protocol
Suite . . . . . . . . . . . . . . . . . 113--129
Joshua D. Guttman Security Goals and Protocol
Transformations . . . . . . . . . . . . 130--147
Marieke Huisman and
Henri-Charles Blondeel Model-Checking Secure Information Flow
for Multi-threaded Programs . . . . . . 148--165
Florent Jacquemard and
Étienne Lozes and
Ralf Treinen Multiple Congruence Relations,
First-Order Theories on Terms, and the
Frames of the Applied Pi-Calculus . . . 166--185
Zhengqin Luo and
Tamara Rezk and
Manuel Serrano Automated Code Injection Prevention for
Web Applications . . . . . . . . . . . . 186--204
Sreekanth Malladi Soundness of Removing Cancellation
Identities in Protocol Analysis under
Exclusive-OR . . . . . . . . . . . . . . 205--224
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Mark Harman and
Phil McMinn Search Based Software Engineering:
Techniques, Taxonomy, Tutorial . . . . . 1--59
Natalia Juristo and
Omar S. Gómez Replication of Software Engineering
Experiments . . . . . . . . . . . . . . 60--88
Benjamin Morandi and
Sebastian Nanz A Formal Reference for SCOOP . . . . . . 89--157
Pietro Braione and
Giovanni Denaro and
Mauro Pezz\`e On the Integration of Software Testing
and Formal Analysis . . . . . . . . . . 158--193
Yi Wei and
Bertrand Meyer and
Manuel Oriol Is Branch Coverage a Good Measure of
Testing Effectiveness? . . . . . . . . . 194--212
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . 1--1
Rohit Parikh and
Marc Pauly What Is Social Software? . . . . . . . . 3--13
Keith Dowding and
Martin van Hees Freedom, Rights and Social Software . . 14--28
Nicola Dimitri and
Jan van Eijck Time Discounting and Time Consistency 29--38
Anonymous Front Matter . . . . . . . . . . . . . . 39--39
Hans van Ditmarsch and
Jan van Eijck and
Floor Sietsma and
Yanjing Wang On the Logic of Lying . . . . . . . . . 41--72
Krister Segerberg Strategies for Belief Revision . . . . . 73--95
Johan van Benthem In Praise of Strategies . . . . . . . . 96--116
Anonymous Front Matter . . . . . . . . . . . . . . 117--117
Jan van Eijck Perception and Change in Update Logic 119--140
Barbara Dunin-K\keplicz and
Andrzej Sza\las Agents in Approximate Environments . . . 141--163
Peter Gärdenfors The Cognitive and Communicative Demands
of Cooperation . . . . . . . . . . . . . 164--183
Barbara Dunin-K\keplicz and
Rineke Verbrugge A Logical View on Teamwork . . . . . . . 184--212
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Holger R. Roth and
Thomas E. Hampshire and
Jamie R. McClelland and
Mingxing Hu and
Darren J. Boone Inverse Consistency Error in the
Registration of Prone and Supine Images
in CT Colonography . . . . . . . . . . . 1--7
Wenli Cai and
June-Goo Lee and
Se Hyung Kim and
Hiroyuki Yoshida Dual-Energy Electronic Cleansing for
Artifact-Free Visualization of the Colon
in Fecal-Tagging CT Colonography . . . . 8--17
Neil Panjwani and
Marius George Linguraru and
Joel G. Fletcher and
Ronald M. Summers Computer-Aided Polyp Detection for
Laxative-Free CT Colonography . . . . . 18--26
Janne J. Näppi and
Daniele Regge and
Hiroyuki Yoshida Comparative Performance of Random Forest
and Support Vector Machine Classifiers
for Detection of Colorectal Lesions in
CT Colonography . . . . . . . . . . . . 27--34
Hai Vu and
Tomio Echigo and
Keiko Yagi and
Hirotoshi Okazaki and
Yasuhiro Fujiwara and
Yasushi Yagi Image-Enhanced Capsule Endoscopy
Preserving the Original Color Tones . . 35--43
Zhang Li and
Matthan W. A. Caan and
Manon L. Ziech and
Japp Stoker and
Lucas J. van Vliet $3$D Non-rigid Motion Correction of
Free-Breathing Abdominal DCE--MRI Data 44--50
Ruogu Fang and
Ramin Zabih and
Ashish Raj and
Tsuhan Chen Segmentation of Liver Tumor Using
Efficient Global Optimal Tree Metrics
Graph Cuts . . . . . . . . . . . . . . . 51--59
Janne J. Näppi and
Daniele Regge and
Hiroyuki Yoshida Ensemble Detection of Colorectal Lesions
for CT Colonography . . . . . . . . . . 60--67
Janne J. Näppi and
Stefan Gryspeerdt and
Philippe Lefere and
Michael Zalis and
Hiroyuki Yoshida Automated Detection of Colorectal
Lesions in Non-cathartic CT Colonography 68--75
Jorge Bernal and
Javier Sánchez and
Fernando Vilariño Integration of Valley Orientation
Distribution for Polyp Region
Identification in Colonoscopy . . . . . 76--83
Janne J. Näppi and
Dushyant V. Sahani and
Joel G. Fletcher and
Hiroyuki Yoshida Automated Detection and Diagnosis of
Crohn's Disease in CT Enterography . . . 84--90
Hongtao Jiang and
Wei Qi and
Qimei Liao and
Haitao Zhao and
Wei Lei and
Li Guo and
Hongbing Lu Quantitative Evaluation of Lumbar Disc
Herniation Based on MRI Image . . . . . 91--98
Rajeswari Mandava and
Lee Song Yeow and
Bhavik Anil Chandra and
Ong Kok Haur Liver Tumor Segmentation Using
Kernel-Based FGCM and PGCM . . . . . . . 99--107
Marius Erdt and
Cristina Oyarzun Laura and
Klaus Drechsler and
Stefano De Beni and
Luigi Solbiati Improving Diagnosis and Intervention: a
Complete Approach for Registration of
Liver CT Data . . . . . . . . . . . . . 108--115
Moti Freiman and
Stephan D. Voss and
Simon Keith Warfield Abdominal Images Non-rigid Registration
Using Local-Affine Diffeomorphic Demons 116--124
Sebastian Steger and
Georgios Sakas FIST: Fast Interactive Segmentation of
Tumors . . . . . . . . . . . . . . . . . 125--132
Cristina Oyarzun Laura and
Klaus Drechsler and
Marius Erdt and
Matthias Keil and
Matthias Noll Intraoperative Registration for Liver
Tumor Ablation . . . . . . . . . . . . . 133--140
Danielle F. Pace and
Marc Niethammer and
Stephen R. Aylward Sliding Geometries in Deformable Image
Registration . . . . . . . . . . . . . . 141--148
Klaus Drechsler and
Cristina Oyarzun Laura Simulation of Portal Vein Clamping and
the Impact of Safety Margins for Liver
Resection Planning . . . . . . . . . . . 149--156
Yufei Chen and
Weidong Zhao and
Qidi Wu and
Zhicheng Wang and
Jinyong Hu Liver Segmentation in CT Images for
Intervention Using a Graph-Cut Based
Model . . . . . . . . . . . . . . . . . 157--164
Xin Zhao and
Arie Kaufman Anatomical Feature-Guided Mutual
Information Registration of Multimodal
Prostate MRI . . . . . . . . . . . . . . 165--172
Toshiyuki Okada and
Marius George Linguraru and
Yasuhide Yoshida and
Masatoshi Hori Abdominal Multi-Organ Segmentation of CT
Images Based on Hierarchical Spatial
Modeling of Organ Interrelations . . . . 173--180
Masahiro Oda and
Teruhisa Nakaoka and
Takayuki Kitasaka and
Kazuhiro Furukawa and
Kazunari Misawa Organ Segmentation from $3$D Abdominal
CT Images Based on Atlas Selection and
Graph Cut . . . . . . . . . . . . . . . 181--188
Vivek Pamulapati and
Aradhana Venkatesan and
Bradford J. Wood and
Marius George Linguraru Liver Segmental Anatomy and Analysis
from Vessel and Tumor Segmentation via
Optimized Graph Cuts . . . . . . . . . . 189--197
Marius George Linguraru and
William J. Richbourg and
Jeremy M. Watt and
Vivek Pamulapati Liver and Tumor Segmentation and
Analysis from CT of Diseased Patients
via a Generic Affine Invariant Shape
Parameterization and Graph Cuts . . . . 198--206
Frank Preiswerk and
Patrik Arnold and
Beat Fasel and
Philippe C. Cattin A Bayesian Framework for Estimating
Respiratory Liver Motion from Sparse
Measurements . . . . . . . . . . . . . . 207--214
Marcel Koek and
Frederico Bastos Goncalves and
Don Poldermans and
Wiro Niessen Semi--automated Subcutaneous and
Visceral Adipose Tissue Quantification
in Computed Tomography . . . . . . . . . 215--222
Sergio Vera and
Debora Gil and
Agn\`es Borr\`as and
Xavi Sánchez and
Frederic Pérez Computation and Evaluation of Medial
Surfaces for Shape Representation of
Abdominal Organs . . . . . . . . . . . . 223--230
Silja Kiriyanthan and
Ketut Fundana and
Philippe C. Cattin Discontinuity Preserving Registration of
Abdominal MR Images with Apparent
Sliding Organ Motion . . . . . . . . . . 231--239
Floris F. Berendsen and
Uulke A. van der Heide and
Thomas R. Langerak and
Alexis N. T. J. Kotte Segmentation of Cervical Images by
Inter-subject Registration with a
Statistical Organ Model . . . . . . . . 240--247
Farhang Sahba A New Method for Contour Determination
of the Prostate in Ultrasound Images . . 248--255
Miyuki Suzuki and
Marius George Linguraru and
Ronald M. Summers and
Kazunori Okada Analyses of Missing Organs in Abdominal
Multi-Organ Segmentation . . . . . . . . 256--263
Harvey Ho and
Adam Bartlett and
Peter Hunter Geometric Modelling of Patient-Specific
Hepatic Structures Using Cubic Hermite
Elements . . . . . . . . . . . . . . . . 264--271
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Peter Eades and
Seok-Hee Hong and
Kazuo Misue Kozo Sugiyama 1945--2011 . . . . . . . . 1--1
David Eppstein and
Joseph A. Simons Confluent Hasse Diagrams . . . . . . . . 2--13
Soroush Alamdari and
Therese Biedl Planar Open Rectangle-of-Influence
Drawings with Non-aligned Frames . . . . 14--25
Muhammad Jawaherul Alam and
Therese Biedl and
Stefan Felsner and
Michael Kaufmann Proportional Contact Representations of
Planar Graphs . . . . . . . . . . . . . 26--38
Stephane Durocher and
Debajyoti Mondal and
Rahnuma Islam Nishat and
Md. Saidur Rahman Embedding Plane $3$-Trees in
$\mathbb{R}$$^2$ and $\mathbb{R}$$^3$ 39--51
Emilio Di Giacomo and
Fabrizio Frati and
Radoslav Fulek and
Luca Grilli and
Marcus Krug Orthogeodesic Point-Set Embedding of
Trees . . . . . . . . . . . . . . . . . 52--63
Vida Dujmovic and
William Evans and
Sylvain Lazard and
William Lenhart and
Giuseppe Liotta On Point-Sets That Support Planar Graphs 64--74
Patrizio Angelini and
Giuseppe Di Battista and
Michael Kaufmann and
Tamara Mchedlidze Small Point Sets for Simply-Nested
Planar Graphs . . . . . . . . . . . . . 75--85
Jarke J. van Wijk Graph Visualization . . . . . . . . . . 86--86
Markus Chimani and
Carsten Gutwenger Advances in the Planarization Method:
Effective Multiple Edge Insertions . . . 87--98
Ulrik Brandes and
Martin Mader A Quantitative Comparison of
Stress-Minimization Approaches for
Offline Dynamic Graph Drawing . . . . . 99--110
Sabine Cornelsen and
Andreas Karrenbauer Accelerated Bend Minimization . . . . . 111--122
Quan Nguyen and
Seok-Hee Hong and
Peter Eades TGI--EB: a New Framework for Edge
Bundling Integrating Topology, Geometry
and Importance . . . . . . . . . . . . . 123--135
Sergey Pupyrev and
Lev Nachmanson and
Sergey Bereg and
Alexander E. Holroyd Edge Routing with Ordered Bundles . . . 136--147
Peter Eades and
Giuseppe Liotta Right Angle Crossing Graphs and
$1$-Planarity . . . . . . . . . . . . . 148--153
Immanuel Halupczok and
André Schulz Pinning Balloons with Perfect Angles and
Optimal Area . . . . . . . . . . . . . . 154--165
William Evans and
Emden R. Gansner and
Michael Kaufmann and
Giuseppe Liotta and
Henk Meijer Approximate Proximity Drawings . . . . . 166--178
Edith Brunel and
Andreas Gemsa and
Marcus Krug and
Ignaz Rutter and
Dorothea Wagner Generalizing Geometric Graphs . . . . . 179--190
Giuseppe Di Battista and
Claudio Squarcella and
Wolfgang Nagele How to Visualize the $K$-Root Name
Server (Demo) . . . . . . . . . . . . . 191--202
Maxime Dumas and
Michael J. McGuffin and
Jean-Marc Robert and
Marie-Claire Willig Optimizing a Radial Layout of Bipartite
Graphs for a Tool Visualizing Security
Alerts . . . . . . . . . . . . . . . . . 203--214
Nicolas Greffard and
Fabien Picarougne and
Pascale Kuntz Visual Community Detection: an
Evaluation of $2$D, $3$D Perspective and
$3$D Stereoscopic Displays . . . . . . . 215--225
Michael Burch and
Corinna Vehlow and
Natalia Konevtsova and
Daniel Weiskopf Evaluating Partially Drawn Links for
Directed Graph Edges . . . . . . . . . . 226--237
Günter Rote Realizing Planar Graphs as Convex
Polytopes . . . . . . . . . . . . . . . 238--241
Evgenios M. Kornaropoulos and
Ioannis G. Tollis Overloaded Orthogonal Drawings . . . . . 242--253
Padmini Mukkamala and
Dömötör Pálvölgyi Drawing Cubic Graphs with the Four Basic
Slopes . . . . . . . . . . . . . . . . . 254--265
Andrew Suk $k$-Quasi-Planar Graphs . . . . . . . . 266--277
János Pach and
Géza Tóth Monotone Crossing Number . . . . . . . . 278--289
Javier Cano and
Csaba D. Tóth and
Jorge Urrutia Upper Bound Constructions for Untangling
Planar Geometric Graphs . . . . . . . . 290--295
Oswin Aichholzer and
Wolfgang Aigner and
Franz Aurenhammer and
Kate\vrina \vCech Dobiá\vsová Triangulations with Circular Arcs . . . 296--307
Christian A. Duncan and
David Eppstein and
Michael T. Goodrich and
Stephen G. Kobourov Planar and Poly-arc Lombardi Drawings 308--319
Roman Chernobelskiy and
Kathryn I. Cunningham and
Michael T. Goodrich and
Stephen G. Kobourov Force-Directed Lombardi-Style Graph
Drawing . . . . . . . . . . . . . . . . 320--331
János Pach Every Graph Admits an Unambiguous Bold
Drawing . . . . . . . . . . . . . . . . 332--342
Radoslav Fulek and
Michael J. Pelsmajer and
Marcus Schaefer and
Daniel \vStefankovi\vc Adjacent Crossings Do Matter . . . . . . 343--354
Rik Sarkar Low Distortion Delaunay Embedding of
Trees in Hyperbolic Plane . . . . . . . 355--366
Michael J. Bannister and
David Eppstein Hardness of Approximate Compaction for
Nonplanar Orthogonal Graph Drawings . . 367--378
Patrizio Angelini and
Walter Didimo and
Stephen Kobourov and
Tamara Mchedlidze and
Vincenzo Roselli Monotone Drawings of Graphs with Fixed
Embedding . . . . . . . . . . . . . . . 379--390
Fabrizio Frati and
Radoslav Fulek and
Andres J. Ruiz-Vargas On the Page Number of Upward Planar
Directed Acyclic Graphs . . . . . . . . 391--402
Michael Kaufmann and
Tamara Mchedlidze and
Antonios Symvonis Upward Point Set Embeddability for
Convex Point Sets Is in P . . . . . . . 403--414
Christopher Auer and
Christian Bachmaier and
Franz Josef Brandenburg and
Andreas Gleißner Classification of Planar Upward
Embedding . . . . . . . . . . . . . . . 415--426
Carla Binucci and
Walter Didimo Upward Planarity Testing of Embedded
Mixed Graphs . . . . . . . . . . . . . . 427--432
Evmorfia N. Argyriou and
Michael A. Bekos and
Michael Kaufmann and
Antonios Symvonis Combining Problems on RAC Drawings and
Simultaneous Graph Drawings . . . . . . 433--434
Christian Bachmaier and
Franz Josef Brandenburg and
Philip Effinger and
Carsten Gutwenger The Open Graph Archive: a
Community-Driven Effort . . . . . . . . 435--440
Martin Fink and
Jan-Henrik Haunert and
Tamara Mchedlidze and
Joachim Spoerhase and
Alexander Wolff Drawing Graphs with Vertices at
Specified Positions and Crossings at
Large Angles . . . . . . . . . . . . . . 441--442
Lukas Holy and
Premek Brada Viewport for Component Diagrams . . . . 443--444
Tal Milea and
Okke Schrijvers and
Kevin Buchin and
Herman Haverkort Shortest-Paths Preserving Metro Maps . . 445--446
Remus Zelina and
Sebastian Bota and
Siebren Houtman and
Jaap Jan van Assen and
Bas Hattink Challenger, a New Way to Visualize Data 447--448
Christian A. Duncan and
Carsten Gutwenger and
Lev Nachmanson and
Georg Sander Graph Drawing Contest Report . . . . . . 449--455
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Erik Wästlund and
Julio Angulo and
Simone Fischer-Hübner Evoking Comprehensive Mental Models of
Anonymous Credentials . . . . . . . . . 1--14
Marcel Heupel and
Dogan Kesdogan Towards Usable Interfaces for Proof
Based Access Rights on Mobile Devices 15--27
Milica Milutinovic and
Koen Decroix and
Vincent Naessens and
Bart De Decker Commercial Home Assistance (eHealth)
Services . . . . . . . . . . . . . . . . 28--42
Sebastian Biedermann and
Stefan Katzenbeisser Detecting Computer Worms in the Cloud 43--54
Endre Bangerter and
Stefan Bühlmann and
Engin Kirda Efficient and Stealthy Instruction
Tracing and Its Applications in
Automated Malware Analysis: Open
Problems and Challenges . . . . . . . . 55--64
Martin Szydlowski and
Manuel Egele and
Christopher Kruegel and
Giovanni Vigna Challenges for Dynamic Analysis of iOS
Applications . . . . . . . . . . . . . . 65--77
Marine Minier and
Raphael C.-W. Phan Energy-Efficient Cryptographic
Engineering Paradigm . . . . . . . . . . 78--88
Inger Anne Tòndel and
Åsmund Ahlmann Nyre Towards a Similarity Metric for
Comparing Machine-Readable Privacy
Policies . . . . . . . . . . . . . . . . 89--103
Laurent Bussard and
Ulrich Pinsdorf Abstract Privacy Policy Framework:
Addressing Privacy Problems in SOA . . . 104--118
Muhammad Rizwan Asghar and
Giovanni Russello Flexible and Dynamic Consent-Capturing 119--131
Stephan Groß and
Alexander Schill Towards User Centric Data Governance and
Control in the Cloud . . . . . . . . . . 132--144
Muhammad Rizwan Asghar and
Mihaela Ion and
Giovanni Russello and
Bruno Crispo Securing Data Provenance in the Cloud 145--160
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Arun Prakash and
Zoltán Theisz Formal Methods for Modeling, Refining
and Verifying Autonomic Components of
Computer Networks . . . . . . . . . . . 1--48
Cem \cSafak \cSahin and
M. Ümit Uyar and
Stephen Gundry Self Organization for Area Coverage
Maximization and Energy Conservation in
Mobile Ad Hoc Networks . . . . . . . . . 49--73
Cong-Vinh Phan Data Intensive Distributed Computing in
Data Aware Self-organizing Networks . . 74--107
Pruet Boonma and
Junichi Suzuki Accelerated Evolution: a
Biologically-Inspired Approach for
Augmenting Self-star Properties in
Wireless Sensor Networks . . . . . . . . 108--129
Emil Vassev and
Serguei A. Mokhov Developing Autonomic Properties for
Distributed Pattern-Recognition Systems
with ASSL . . . . . . . . . . . . . . . 130--157
Antonio Manzalini and
Nermin Brgulja Autonomic Nature-Inspired Eco-systems 158--191
Sylvain Hallé and
Roger Villemaire and
Omar Cherkaoui A Logical Approach to Data-Aware
Automated Sequence Generation . . . . . 192--216
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Gerhard Frey and
Ernst Kani Correspondences on Hyperelliptic Curves
and Applications to the Discrete
Logarithm . . . . . . . . . . . . . . . 1--19
Joakim Nivre Bare-Bones Dependency Parsing . . . . . 20--32
Marcin Seredynski and
Pascal Bouvry Solving Soft Security Problem in MANETs
Using an Evolutionary Approach . . . . . 33--44
Damian Ellwart and
Piotr Szczuko and
Andrzej Czy\.zewski Camera Sabotage Detection for
Surveillance Systems . . . . . . . . . . 45--53
Aneta Poniszewska-Maranda Implementation of Access Control Model
for Distributed Information Systems
Using Usage Control . . . . . . . . . . 54--67
Nicolas Bernard and
Franck Leprévost Beyond TOR: The TrueNyms Protocol . . . 68--84
Sébastien Varrette and
Beno\^\it Bertholon and
Pascal Bouvry A Signature Scheme for Distributed
Executions Based on Control Flow
Analysis . . . . . . . . . . . . . . . . 85--102
Barbara Kordy and
Marc Pouly and
Patrick Schweitzer Computational Aspects of Attack--Defense
Trees . . . . . . . . . . . . . . . . . 103--116
Deike Priemuth-Schmid Attacks on Simplified Versions of K2 . . 117--127
Jan Mielniczuk and
Pawe\l Teisseyre Model Selection in Logistic Regression
Using $p$-Values and Greedy Search . . . 128--141
Dariusz Plewczynski Landau Theory of Meta-learning . . . . . 142--153
Marcin Czajkowski and
Marek Grze\'s and
Marek Kretowski Multi-Test Decision Trees for Gene
Expression Data Analysis . . . . . . . . 154--167
Urszula Sta\'nczyk Rule-Based Approach to Computational
Stylistics . . . . . . . . . . . . . . . 168--179
Miko\laj Raciborski and
Krzysztof Trojanowski and
Piotr Kaczy\'nski Differential Evolution for High Scale
Dynamic Optimization . . . . . . . . . . 180--189
Tadeusz Pu\'zniakowski and
Marek A. Bednarczyk Towards an OpenCL Implementation of
`Genetic Algorithms' on GPUs . . . . . . 190--203
Frédéric Pinel and
Grégoire Danoy and
Pascal Bouvry Evolutionary Algorithm Parameter Tuning
with Sensitivity Analysis . . . . . . . 204--216
Pawe\l Cudek and
Wies\law Paja and
Mariusz Wrzesie\'n Image Recognition System for Diagnosis
Support of Melanoma Skin Lesion . . . . 217--225
Alicja A. Wieczorkowska and
Miron B. Kursa and
El\.zbieta Kubera and
Rados\law Rudnicki Playing in Unison in the Random Forest 226--239
Szymon Chojnacki and
Mieczys\law A. K\lopotek Scale Invariant Bipartite Graph
Generative Model . . . . . . . . . . . . 240--250
Marcin Sydow and
Krzysztof Ciesielski and
Jakub Wajda Introducing Diversity to Log-Based Query
Suggestions to Deal with Underspecified
User Queries . . . . . . . . . . . . . . 251--264
Krzysztof Ciesielski and
Piotr Borkowski and
Mieczys\law A. K\lopotek and
Krzysztof Trojanowski Wikipedia-Based Document Categorization 265--278
Alina Wróblewska and
Marcin Woli\'nski Preliminary Experiments in Polish
Dependency Parsing . . . . . . . . . . . 279--292
Bartosz Broda and
Roman Kurc and
Maciej Piasecki and
Rados\law Ramocki Evaluation Method for Automated Wordnet
Expansion . . . . . . . . . . . . . . . 293--306
\Lukasz Kobyli\'nski Mining Class Association Rules for Word
Sense Disambiguation . . . . . . . . . . 307--317
Aleksander Pohl An Ontology-Based Method for an
Efficient Acquisition of Relation
Extraction Training and Testing Examples 318--331
Micha\l Marci\'nczuk and
Micha\l Stanek and
Maciej Piasecki and
Adam Musia\l Rich Set of Features for Proper Name
Recognition in Polish Texts . . . . . . 332--344
El\.zbieta Hajnicz Similarity-Based Method of Detecting
Diathesis Alternations in Semantic
Valence Dictionary of Polish Verbs . . . 345--358
Tomasz \'Sniatowski and
Maciej Piasecki Combining Polish Morphosyntactic Taggers 359--369
\Lukasz Degórski Towards the Lemmatisation of Polish
Nominal Syntactic Groups Using a Shallow
Grammar . . . . . . . . . . . . . . . . 370--378
Marcin Junczys-Dowmunt and
Arkadiusz Sza\l SyMGiza++: Symmetrized Word Alignment
Models for Statistical Machine
Translation . . . . . . . . . . . . . . 379--390
Aleksander Wawer and
Krzysztof Sakwerda How Opinion Annotations and Ontologies
Become Objective? . . . . . . . . . . . 391--400
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . 1--1
Bartosz Michalik and
Jerzy Nawrocki Towards Decision Centric Repository of
Architectural Knowledge . . . . . . . . 3--15
Pavol Mederly and
Marián Lekavý and
Marek Závodský and
Pavol Návrat Construction of Messaging-Based
Enterprise Integration Solutions Using
AI Planning . . . . . . . . . . . . . . 16--29
Bogumi\la Hnatkowska and
Krzysztof Kasprzyk Integration of Application Business
Logic and Business Rules with DSL and
AOP . . . . . . . . . . . . . . . . . . 30--39
Radoslav Menkyna and
Valentino Vrani\'c Aspect-Oriented Change Realization Based
on Multi-Paradigm Design with Feature
Modeling . . . . . . . . . . . . . . . . 40--53
Isabelle Côté and
Maritta Heisel and
Jeanine Souqui\`eres On the Evolution of Component-Based
Software . . . . . . . . . . . . . . . . 54--69
Marcin Gorawski and
Aleksander Chrószcz Query Processing Using Negative and
Temporal Tuples in Stream Query Engines 70--83
Mariusz Bedla and
Krzysztof Sapiecha Scalable Store of Java Objects Using
Range Partitioning . . . . . . . . . . . 84--93
Anonymous Front Matter . . . . . . . . . . . . . . 95--95
S\lawomir Samolej and
Tomasz Szmuc HTCPNs-Based Modelling and Evaluation of
Dynamic Computer Cluster Reconfiguration 97--108
Tomasz Rak and
Jan Werewka Performance Analysis of Interactive
Internet Systems for a Class of Systems
with Dynamically Changing Offers . . . . 109--123
Jana Ceri\cna-B\=erzi\cna and
J\=anis Bi\vcevskis and
\cGirts Karn\=itis Information Systems Development Based on
Visual Domain Specific Language BiLingva 124--135
Iman Poernomo and
Timur Umarov A Mapping from Normative Requirements to
Event-B to Facilitate Verified
Data-Centric Business Process Management 136--149
Maxime Rebout and
Louis Féraud and
Lionel Marie-Magdeleine and
Sergei Soloviev Computations in Graph Rewriting:
Inductive Types and Pullbacks in DPO
Approach . . . . . . . . . . . . . . . . 150--163
Bo\.zena Wo\'zna-Szcze\'sniak Bounded Model Checking for the
Existential Part of Real-Time CTL and
Knowledge . . . . . . . . . . . . . . . 164--178
Anna Felkner and
Krzysztof Sacha The Semantics of Role-Based Trust
Management Languages . . . . . . . . . . 179--189
Anonymous Front Matter . . . . . . . . . . . . . . 191--191
Zane Bi\vcevska Applying of Smart Technologies:
Evaluation of Effectiveness . . . . . . 193--201
Marvin Ferber and
Sascha Hunold and
Björn Krellner and
Thomas Rauber and
Thomas Reichel Reducing the Class Coupling of Legacy
Code by a Metrics-Based Relocation of
Class Members . . . . . . . . . . . . . 202--214
Ilona Bluemke and
Artur Rembiszewski Dataflow Testing of Java Programs with
DFC . . . . . . . . . . . . . . . . . . 215--228
Anna Derezi\'nska and
Anna Szustek Object-Oriented Testing Capabilities and
Performance Evaluation of the C#
Mutation System . . . . . . . . . . . . 229--242
Alireza Khalilian and
Saeed Parsa Bi-criteria Test Suite Reduction by
Cluster Analysis of Execution Profiles 243--256
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Zheng Gong and
Svetla Nikova and
Yee Wei Law KLEIN: a New Family of Lightweight Block
Ciphers . . . . . . . . . . . . . . . . 1--18
Daniel Engels and
Markku-Juhani O. Saarinen and
Peter Schweitzer The Hummingbird-$2$ Lightweight
Authenticated Encryption Algorithm . . . 19--31
Christian Pendl and
Markus Pelnar and
Michael Hutter Elliptic Curve Cryptography on the WISP
UHF RFID Tag . . . . . . . . . . . . . . 32--47
Alessandro Barenghi and
Cédric Hocquet and
David Bol Exploring the Feasibility of Low Cost
Fault Injection Attacks on Sub-threshold
Devices through an Example of a 65nm AES
Implementation . . . . . . . . . . . . . 48--60
Timo Kasper and
David Oswald and
Christof Paar Side-Channel Analysis of Cryptographic
RFIDs with Analog Demodulation . . . . . 61--77
Süleyman Karda\cs and
Mehmet Sabir Kiraz and
Muhammed Ali Bingöl A Novel RFID Distance Bounding Protocol
Based on Physically Unclonable Functions 78--93
Mohammad Reza Sohizadeh Abyaneh Security Analysis of Two
Distance-Bounding Protocols . . . . . . 94--107
George T. Amariucai and
Clifford Bergman and
Yong Guan An Automatic, Time-Based, Secure Pairing
Protocol for Passive RFID . . . . . . . 108--126
Qi Chai and
Guang Gong BUPLE: Securing Passive RFID
Communication through Physical Layer
Enhancements . . . . . . . . . . . . . . 127--146
Albert Fern\`andez-Mir and
Rolando Trujillo-Rasua A Scalable RFID Authentication Protocol
Supporting Ownership Transfer and
Controlled Delegation . . . . . . . . . 147--162
Kaoutar Elkhiyaoui and
Erik-Oliver Blass and
Refik Molva ROTIV: RFID Ownership Transfer with
Issuer Verification . . . . . . . . . . 163--182
Lejla Batina and
Stefaan Seys and
Dave Singelée and
Ingrid Verbauwhede Hierarchical ECC-Based RFID
Authentication Protocol . . . . . . . . 183--201
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Wayne Wobcke and
Nirmit Desai and
Frank Dignum and
Aditya Ghose and
Srinivas Padmanabhuni What Can Agent-Based Computing Offer
Service-Oriented Architectures, and Vice
Versa? . . . . . . . . . . . . . . . . . 1--10
Graham Billiau and
Chee Fon Chang and
Aditya Ghose SBDO: a New Robust Approach to Dynamic
Distributed Constraint Optimisation . . 11--26
Roger Mailler and
Jacob Graves Solving Distributed CSPs Using Dynamic,
Partial Centralization without Explicit
Constraint Passing . . . . . . . . . . . 27--41
Patrick Doherty and
Fredrik Heintz and
David Landén A Distributed Task Specification
Language for Mixed-Initiative Delegation 42--57
Melanie Smith and
Sandip Sen and
Roger Mailler Adaptive and Non-adaptive Distribution
Functions for DSA . . . . . . . . . . . 58--73
Sankalp Khanna and
Timothy Cleaver and
Abdul Sattar and
David Hansen and
Bela Stantic Multiagent Based Scheduling of Elective
Surgery . . . . . . . . . . . . . . . . 74--89
Toshiharu Sugawara and
Kensuke Fukuda and
Toshio Hirotsu and
Satoshi Kurihara Effect of Alternative Distributed Task
Allocation Strategy Based on Local
Observations in Contract Net Protocol 90--104
Sharmila Savarimuthu and
Martin Purvis and
Bastin Tony Roy Savarimuthu and
Maryam Purvis Gossip-Based Self-organising Open Agent
Societies . . . . . . . . . . . . . . . 105--120
Thao P. Le and
Timothy J. Norman and
Wamberto Vasconcelos Adaptive Negotiation in Managing
Wireless Sensor Networks . . . . . . . . 121--136
Raja Al-Jaljouli and
Jemal Abawajy Negotiation Strategy for Mobile
Agent-Based e-Negotiation . . . . . . . 137--151
Frank Grove and
Sandip Sen and
Oly Mistry Adaptive Choice of Behavior and Protocol
Parameters . . . . . . . . . . . . . . . 152--165
Tenda Okimoto and
Atsushi Iwasaki and
Makoto Yokoo Effect of DisCSP Variable-Ordering
Heuristics in Scale-Free Networks . . . 166--180
Koen V. Hindriks and
Wietske Visser and
Catholijn M. Jonker Multi-attribute Preference Logic . . . . 181--195
Koen V. Hindriks and
M. Birna van Riemsdijk and
Catholijn M. Jonker An Empirical Study of Patterns in Agent
Programs . . . . . . . . . . . . . . . . 196--211
Duc-An Vo and
Alexis Drogoul and
Jean-Daniel Zucker and
Tuong-Vinh Ho A Modelling Language to Represent and
Specify Emerging Structures in
Agent-Based Model . . . . . . . . . . . 212--227
Yuu Nakajima and
Shohei Yamane and
Hiromitsu Hattori Multi-model Based Simulation Platform
for Urban Traffic Simulation . . . . . . 228--241
Patrick Taillandier and
Duc-An Vo and
Edouard Amouroux and
Alexis Drogoul GAMA: a Simulation Platform That
Integrates Geographical Information
Data, Agent-Based Modeling and
Multi-scale Control . . . . . . . . . . 242--258
Amal El Fallah Seghrouchni and
Andrei Olaru and
Nga Thi Thuy Nguyen and
Diego Salomone Ao Dai: Agent Oriented Design for
Ambient Intelligence . . . . . . . . . . 259--269
Oly Mistry and
Sandip Sen Probabilistic Approaches to Tag
Recommendation in a Social Bookmarking
Network . . . . . . . . . . . . . . . . 270--287
David Landén and
Fredrik Heintz and
Patrick Doherty Complex Task Allocation in
Mixed-Initiative Delegation: a UAV Case
Study . . . . . . . . . . . . . . . . . 288--303
Michal Sindlar and
John-Jules Meyer Affordance-Based Intention Recognition
in Virtual Spatial Environments . . . . 304--319
Masabumi Furuhata A Robust Multi-unit Ascending-Price
Auction with Complementarities against
Strategic Manipulation . . . . . . . . . 320--335
W. Wilfred Godfrey and
Shivashankar B. Nair Mobile Agent Cloning for Servicing
Networked Robots . . . . . . . . . . . . 336--339
Quintin J. Balsdon and
Elize M. Ehlers Towards Distributing Agent Intelligence:
Using Decentralized Software Services
for the Creation of Complex Problem
Modelling . . . . . . . . . . . . . . . 340--354
Onkur Sen and
Sandip Sen Averting the Tragedy of the Commons by
Adapting Aspiration Levels . . . . . . . 355--370
Fernando Koch and
Frank Dignum and
Marcel Hiel and
Huib Aldewereld The Role of Agents in Adaptive Service
Oriented Architectures . . . . . . . . . 371--386
Hoa Khanh Dam and
Aditya Ghose Agent-Based Development for Business
Processes . . . . . . . . . . . . . . . 387--393
Frank Grove and
Sandip Sen TwitAg: a Multi-agent Feature Selection
and Recommendation Framework for Twitter 394--397
Philippe Caillou Automated Multi-agent Simulation
Generation and Validation . . . . . . . 398--412
Ngoc Doanh Nguyen and
Patrick Taillandier and
Alexis Drogoul and
Pierre Auger Inferring Equation-Based Models from
Agent-Based Models: a Case Study in
Competition Dynamics . . . . . . . . . . 413--427
Thanh-Quang Chu and
Alexis Drogoul and
Alain Boucher and
Jean-Daniel Jucker Towards a Methodology for the
Participatory Design of Agent-Based
Models . . . . . . . . . . . . . . . . . 428--442
Hiroyuki Nakagawa and
Nobukazu Yoshioka and
Akihiko Ohsuga and
Shinichi Honiden A Framework for Validating Task
Assignment in Multiagent Systems Using
Requirements Importance . . . . . . . . 443--458
WaiShiang Cheah and
Leon Sterling and
Kuldar Taveter Task Knowledge Patterns Reuse in
Multi-Agent Systems Development . . . . 459--474
Shih-chiang Lee and
Gu-yuan Lin and
Wan-rong Jih and
Chi-Chia Huang and
Jane Yung-jen Hsu Energy-Aware Agents for Detecting
Nonessential Appliances . . . . . . . . 475--486
Beatriz Lopez and
Albert Pla and
David Daroca and
Luis Collantes and
Sara Lozano and
Joaquim Meléndez Medical Equipment Maintenance Support
with Service-Oriented Multi-agent
Services . . . . . . . . . . . . . . . . 487--498
Hoa Khanh Dam and
Aditya Ghose An Agent-Oriented Approach to Service
Analysis and Design . . . . . . . . . . 499--510
Wayne Wobcke and
Adam Dunn Agent-Based Modelling for Risk
Assessment of Routine Clinical Processes 511--522
Tony Solomonides Healthgrids, the SHARE Project, Medical
Data and Agents: Retrospect and Prospect 523--534
Sankalp Khanna and
Abdul Sattar and
Justin Boyle and
David Hansen and
Bela Stantic An Intelligent Approach to Surgery
Scheduling . . . . . . . . . . . . . . . 535--550
Graham Billiau and
Chee Fon Chang and
Aditya Ghose and
Alexis Andrew Miller Using Distributed Agents for Patient
Scheduling . . . . . . . . . . . . . . . 551--560
Alexis Andrew Miller and
Fiona Hegi-Johnson Software Agents in Clinical Workflow,
Clinical Guidelines and Clinical Trial
Medicine . . . . . . . . . . . . . . . . 561--574
Patrick Taillandier and
Edouard Amouroux and
Duc An Vo and
Ana-Maria Olteanu-Raimond Using Belief Theory to Formalize the
Agent Behavior: Application to the
Simulation of Avian Flu Propagation . . 575--587
Quang-Anh Nguyen Vu and
Benoit Gaudou and
Richard Canal and
Salima Hassas and
Frédéric Armetta A Cluster-Based Approach for Disturbed,
Spatialized, Distributed Information
Gathering Systems . . . . . . . . . . . 588--603
Le Van Minh and
Carole Adam and
Richard Canal and
Benoit Gaudou and
Ho Tuong Vinh Simulation of the Emotion Dynamics in a
Group of Agents in an Evacuation
Situation . . . . . . . . . . . . . . . 604--619
Javier Gil-Quijano and
Thomas Louail and
Guillaume Hutzler From Biological to Urban Cells: Lessons
from Three Multilevel Agent-Based Models 620--635
The Duy Bui and
Duc Hai Ngo and
Cong Tran Multi-agent Based Simulation of Traffic
in Vietnam . . . . . . . . . . . . . . . 636--648
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Saeed Aghaee and
Cesare Pautasso An Evaluation of Mashup Tools Based on
Support for Heterogeneous Mashup
Components . . . . . . . . . . . . . . . 1--12
Dong Liu and
Ning Li and
Carlos Pedrinaci and
Jacek Kopecký and
Maria Maleshkova and
John Domingue An Approach to Construct Dynamic Service
Mashups Using Lightweight Semantics . . 13--24
Vincent Tietz and
Gregor Blichmann and
Stefan Pietschmann and
Klaus Meißner Task-Based Recommendation of Mashup
Components . . . . . . . . . . . . . . . 25--36
Olexiy Chudnovskyy and
Frank Weinhold and
Hendrik Gebhardt and
Martin Gaedke Integration of Telco Services into
Enterprise Mashup Applications . . . . . 37--48
Scott Wilson and
Florian Daniel and
Uwe Jugel and
Stefano Soi Orchestrated User Interface Mashups
Using W3C Widgets . . . . . . . . . . . 49--61
Janne Lautamäki and
Tommi Mikkonen Cross-Domain Embedding for Vaadin
Applications . . . . . . . . . . . . . . 62--73
Jesus Bellido and
Rosa Alarcon and
Cristian Sepulveda Web Linking-Based Protocols for Guiding
RESTful M2M Interaction . . . . . . . . 74--85
Sebastian Kochman and
Pawe\l T. Wojciechowski and
Mi\losz Kmieciak Batched Transactions for RESTful Web
Services . . . . . . . . . . . . . . . . 86--98
Matthias Herbert and
Tobias Thieme and
Jan Zibuschka and
Heiko Roßnagel Secure Mashup-Providing Platforms ---
Implementing Encrypted Wiring . . . . . 99--108
Alessandro Bozzon and
Marco Brambilla and
Emanuele Della Valle and
Piero Fraternali A Conceptual Framework for Linked Data
Exploration . . . . . . . . . . . . . . 109--118
Marcelo Cohen and
Daniel Schwabe Support for Reusable Explorations of
Linked Data in the Semantic Web . . . . 119--126
Han-Gyu Ko and
In-Young Ko Generation of Semantic Clouds Based on
Linked Data for Efficient Multimedia
Semantic Annotation . . . . . . . . . . 127--134
Mamoun Abu Helou Ontology Based Segmentation of
Geo-Referenced Queries . . . . . . . . . 135--144
Frederico Durao and
Peter Dolog and
Martin Leginus and
Ricardo Lage SimSpectrum: a Similarity Based Spectral
Clustering Approach to Generate a Tag
Cloud . . . . . . . . . . . . . . . . . 145--154
Matthias Keller and
Martin Nussbaumer Graph Access Pattern Diagrams (GAP--D):
Towards a Unified Approach for Modeling
Navigation over Hierarchical, Linear and
Networked Structures . . . . . . . . . . 155--158
Rober Morales-Chaparro and
Juan C. Preciado and
Fernando Sánchez-Figueroa Data-Driven and User-Driven
Multidimensional Data Visualization . . 159--166
Michael Nebeling and
Moira C. Norrie Context-Aware and Adaptive Web
Interfaces: a Crowdsourcing Approach . . 167--170
Lukas Biewald Massive Multiplayer Human Computation
for Fun, Money, and Survival . . . . . . 171--176
Ranganathan Jayakanthan and
Deepak Sundararajan Enterprise Crowdsourcing Solution for
Software Development in an Outsourcing
Organization . . . . . . . . . . . . . . 177--180
Achilleas Achilleos and
Georgia M. Kapitsaki and
George A. Papadopoulos A Model-Driven Framework for Developing
Web Service Oriented Applications . . . 181--195
Christoph Eickhoff and
Nina Geiger and
Marcel Hahn and
Albert Zündorf Developing Enterprise Web Applications
Using the Story Driven Modeling Approach 196--210
Gefei Zhang and
Matthias Hölzl Aspect-Oriented Modeling of Web
Applications with HiLA . . . . . . . . . 211--222
Eban Escott and
Paul Strooper and
Paul King and
Ian J. Hayes Model-Driven Web Form Validation with
UML and OCL . . . . . . . . . . . . . . 223--235
Roberto Rodríguez-Echeverría and
José María Conejero and
Pedro J. Clemente and
Juan C. Preciado Modernization of Legacy Web Applications
into Rich Internet Applications . . . . 236--250
Roberto Polillo Quality Models for Web [2.0] Sites: a
Methodological Approach and a Proposal 251--265
Tihomir Orehova\vcki and
Andrina Grani\'c and
Dragutin Kermek Exploring the Quality in Use of Web 2.0
Applications: The Case of Mind Mapping
Services . . . . . . . . . . . . . . . . 266--277
Matias Urbieta and
Maria Jose Escalona and
Esteban Robles Luna and
Gustavo Rossi Detecting Conflicts and Inconsistencies
in Web Application Requirements . . . . 278--288
Andrea Pandurino and
Davide Bolchini and
Luca Mainetti and
Roberto Paiano Streamlining Complexity: Conceptual Page
Re-modeling for Rich Internet
Applications . . . . . . . . . . . . . . 289--301
Katrin Braunschweig and
Maik Thiele and
Wolfgang Lehner A Flexible Graph-Based Data Model
Supporting Incremental Schema Design and
Evolution . . . . . . . . . . . . . . . 302--306
Peter Kalchgruber ProLD: Propagate Linked Data . . . . . . 307--311
Philipp Katz and
Alexander Schill Causal Relation Detection for Activities
from Heterogeneous Sources . . . . . . . 312--316
Jakub Malý and
Martin Ne\vcaský XML Document Versioning, Revalidation
and Constraints . . . . . . . . . . . . 317--321
Neil Mather and
Samia Oussena A Reuse-Oriented Product-Line Method for
Enterprise Web Applications . . . . . . 322--326
Sergio Firmenich and
Gustavo Rossi and
Silvia Gordillo and
Marco Winckler A Flexible Architecture for Client-Side
Adaptation . . . . . . . . . . . . . . . 327--331
Prach Chaisatien and
Korawit Prutsachainimmit and
Takehiro Tokuda Applications of Mobile Application
Interface Description Language MAIDL . . 332--336
Julian Eberius and
Maik Thiele and
Wolfgang Lehner A Domain-Specific Language for
Do-It-Yourself Analytical Mashups . . . 337--341
Ruslan R. Fayzrakhmanov Information Extraction from Web Pages
Based on Their Visual Representation . . 342--346
Saeed Aghaee and
Cesare Pautasso End-User Programming for Web Mashups . . 347--351
Vivian Genaro Motti and
Jean Vanderdonckt Multi-dimensional Context-Aware
Adaptation for Web Applications . . . . 352--354
Fabian Abel and
Geert-Jan Houben Engineering the Personal Social Semantic
Web . . . . . . . . . . . . . . . . . . 355--356
Maria Maleshkova and
Carlos Pedrinaci and
Dong Liu and
Guillermo Alvaro Automating the Use of Web APIs through
Lightweight Semantics . . . . . . . . . 357--358
Philip Lew and
Luis Olsina Improving Quality in Use of Web
Applications in a Systematic Way . . . . 359--360
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Andrew W. Wicker and
Jon Doyle Leveraging Multiple Mechanisms for
Information Propagation . . . . . . . . 1--2
Hassan Harb and
F. Jordan Srour and
Neil Yorke-Smith A Case Study in Model Selection for
Policy Engineering: Simulating Maritime
Customs . . . . . . . . . . . . . . . . 3--18
Natalie Fridman and
Gal A. Kaminka and
Avishay Zilka Towards Qualitative Reasoning for Policy
Decision Support in Demonstrations . . . 19--34
Vicente Botti and
Antonio Garrido and
Adriana Giret and
Pablo Noriega The Role of MAS as a Decision Support
Tool in a Water-Rights Market . . . . . 35--49
Francien Dechesne and
Virginia Dignum and
Yao-Hua Tan Understanding Compliance Differences
between Legal and Social Norms: The Case
of Smoking Ban . . . . . . . . . . . . . 50--64
Alexis Morris and
William Ross and
Mihaela Ulieru Modelling Culture in Multi-agent
Organizations . . . . . . . . . . . . . 65--79
Sonja Pedell and
Tim Miller and
Leon Sterling and
Frank Vetere and
Steve Howard Substantiating Agent-Based Quality Goals
for Understanding Socio-Technical
Systems . . . . . . . . . . . . . . . . 80--95
Amineh Ghorbani and
Virginia Dignum and
Gerard Dijkema An Analysis and Design Framework for
Agent-Based Social Simulation . . . . . 96--112
Sonja Pedell and
Leon Sterling The Benefits of Agent-Based Motivation
Models in Policy Formulation and
Implementation . . . . . . . . . . . . . 113--127
Axel Hessler and
Benjamin Hirsch and
Tobias Küster and
Sahin Albayrak AgentStore --- a Pragmatic Approach to
Agent Reuse . . . . . . . . . . . . . . 128--138
Ingrid Nunes and
Michael Luck and
Simone Diniz Junqueira Barbosa and
Simon Miles Dynamically Adapting BDI Agents Based on
High-Level User Specifications . . . . . 139--163
René Schumann Engineering Coordination: Selection of
Coordination Mechanisms . . . . . . . . 164--186
Christopher Frantz and
Mariusz Nowostawski and
Martin K. Purvis Augmenting Android with AOSE Principles
for Enhanced Functionality Reuse in
Mobile Applications . . . . . . . . . . 187--211
Koen Hindriks and
Mark A. Neerincx and
Mirek Vink The iCat as a Natural Interaction
Partner . . . . . . . . . . . . . . . . 212--231
Elizabeth Sklar and
A. Tuna Ozgelen and
J. Pablo Munoz and
Joel Gonzalez and
Mark Manashirov Designing the HRTeam Framework: Lessons
Learned from a Rough-and-Ready
Human/Multi-Robot Team . . . . . . . . . 232--251
Paul Scerri and
Balajee Kannan and
Pras Velagapudi and
Kate Macarthur and
Peter Stone and
Matt Taylor Flood Disaster Mitigation: a Real-World
Challenge Problem for Multi-agent
Unmanned Surface Vehicles . . . . . . . 252--269
Eran Sadeh-Or and
Gal A. Kaminka AnySURF: Flexible Local Features
Computation . . . . . . . . . . . . . . 270--271
Noa Agmon and
Yehuda Elmaliah and
Yaron Mor and
Oren Slor Robot Navigation with Weak Sensors . . . 272--276
Anousha Mesbah and
Prashant Doshi Individual Localization and Tracking in
Multi-robot Settings with Dynamic
Landmarks . . . . . . . . . . . . . . . 277--280
Matan Keidar and
Eran Sadeh-Or and
Gal A. Kaminka Fast Frontier Detection for Robot
Exploration . . . . . . . . . . . . . . 281--294
Jan-P. Calliess and
Daniel Lyons and
Uwe D. Hanebeck Lazy Auctions for Multi-robot Collision
Avoidance and Motion Control under
Uncertainty . . . . . . . . . . . . . . 295--312
Wenjie Wang and
Wooi-Boon Goh Multi-robot Path Planning with the
Spatio-Temporal $A*$ Algorithm and Its
Variants . . . . . . . . . . . . . . . . 313--329
Prithviraj Dasgupta and
Ke Cheng and
Bikramjit Banerjee Adaptive Multi-robot Team
Reconfiguration Using a Policy-Reuse
Reinforcement Learning Approach . . . . 330--345
G. Ayorkor Korsah and
Anthony Stentz and
M. Bernardine Dias Bounded Optimal Constrained Coordination
with Delay Penalties and Location Choice 346--349
Tomoko Imoto and
Shin'ya Nakano and
Tomoyuki Higuchi Modeling Human Behavior Selection under
Environmental Subsidy Policy by
Multi-agent Simulation . . . . . . . . . 350--358
Shih-Fen Cheng and
Thi Duong Nguyen TaxiSim: a Multiagent Simulation
Platform for Evaluating Taxi Fleet
Operations . . . . . . . . . . . . . . . 359--360
Masaya M. Saito and
Seiya Imoto and
Rui Yamaguchi and
Satoru Miyano and
Tomoyuki Higuchi Parallel Agent-Based Simulator for
Influenza Pandemic . . . . . . . . . . . 361--370
Nguyen Thi Ngoc Anh and
Zucker Jean Daniel and
Nguyen Huu Du and
Alexis Drogoul and
Vo Duc An A Hybrid Macro-Micro Pedestrians
Evacuation Model to Speed Up Simulation
in Road Networks . . . . . . . . . . . . 371--383
Tomomi Kobayashi and
Satoshi Takahashi and
Masaaki Kunigami and
Atsushi Yoshikawa and
Takao Terano A Unified Agent-Based Model to Analyze
Organizational Deviation and Kaizen
Activities . . . . . . . . . . . . . . . 384--395
Michal Laclavík and
\vStefan Dlugolinský and
Martin \vSeleng and
Marcel Kvassay and
Bernhard Schneider Agent-Based Simulation Platform
Evaluation in the Context of Human
Behavior Modeling . . . . . . . . . . . 396--410
Jose M. Such and
Agustin Espinosa and
Ana Garcia-Fornes An Agent Infrastructure for
Privacy-Enhancing Agent-Based E-commerce
Applications . . . . . . . . . . . . . . 411--425
Roberto Centeno and
Holger Billhardt Auto-Adaptation of Open MAS through
On-Line Modifications of the Environment 426--427
Murat \cSensoy and
Wamberto W. Vasconcelos and
Timothy J. Norman Combining Semantic Web and Logic
Programming for Agent Reasoning . . . . 428--441
Juan M. Alberola and
Vicente Julian and
Ana Garcia-Fornes Cost-Aware Reorganization Service for
Multiagent Systems . . . . . . . . . . . 442--456
Natalia Criado and
Estefania Argente and
Pablo Noriega and
Vicent Botti A Distributed Architecture for Enforcing
Norms in Open MAS . . . . . . . . . . . 457--471
Murat \cSensoy Evolving Semantics for Agent-Based
Collaborative Search . . . . . . . . . . 472--487
Christopher Frantz and
Mariusz Nowostawski and
Martin K. Purvis Micro-agents on Android: Interfacing
Agents with Mobile Applications . . . . 488--502
Jean Oh and
Felipe Meneguzzi and
Katia Sycara and
Timothy J. Norman Introduction to Prognostic Normative
Reasoning . . . . . . . . . . . . . . . 503--504
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Adrien Depeursinge and
Hayit Greenspan and
Tanveer Syeda and
Henning Müller Overview of the Second Workshop on
Medical Content--Based Retrieval for
Clinical Decision Support . . . . . . . 1--11
Barbara André and
Tom Vercauteren and
Nicholas Ayache Content-Based Retrieval in
Endomicroscopy: Toward an Efficient
Smart Atlas for Clinical Diagnosis . . . 12--23
Md. Mahmudur Rahman and
Sameer K. Antani and
Dina Demner Fushman and
George R. Thoma Biomedical Image Retrieval Using
Multimodal Context and Concept Feature
Spaces . . . . . . . . . . . . . . . . . 24--35
Jacinto Mata and
Mariano Crespo and
Manuel J. Maña Using MeSH to Expand Queries in Medical
Image Retrieval . . . . . . . . . . . . 36--46
Olivier Pauly and
Diana Mateus and
Nassir Navab Building Implicit Dictionaries Based on
Extreme Random Clustering for Modality
Recognition . . . . . . . . . . . . . . 47--57
Sebastian Haas and
René Donner and
Andreas Burner and
Markus Holzer and
Georg Langs Superpixel-Based Interest Points for
Effective Bags of Visual Words Medical
Image Retrieval . . . . . . . . . . . . 58--68
Antonio Foncubierta-Rodríguez and
Adrien Depeursinge and
Henning Müller Using Multiscale Visual Words for Lung
Texture Classification and Retrieval . . 69--79
Jorge A. Vanegas and
Juan C. Caicedo and
Fabio A. González and
Eduardo Romero Histology Image Indexing Using a
Non-negative Semantic Embedding . . . . 80--91
María Jimena Costa and
Alexey Tsymbal and
Matthias Hammon and
Alexander Cavallaro A Discriminative Distance
Learning--Based CBIR Framework for
Characterization of Indeterminate Liver
Lesions . . . . . . . . . . . . . . . . 92--104
Asad Safi and
Maximilian Baust and
Olivier Pauly and
Victor Castaneda and
Tobias Lasser Computer-Aided Diagnosis of Pigmented
Skin Dermoscopic Images . . . . . . . . 105--115
Andreas Burner and
René Donner and
Marius Mayerhoefer and
Markus Holzer and
Franz Kainberger Texture Bags: Anomaly Retrieval in
Medical Images Based on Local
$3$D-Texture Similarity . . . . . . . . 116--127
René Donner and
Sebastian Haas and
Andreas Burner and
Markus Holzer and
Horst Bischof and
Georg Langs Evaluation of Fast $2$D and $3$D Medical
Image Retrieval Approaches Based on
Image Miniatures . . . . . . . . . . . . 128--138
Vikram Venkatraghavan and
Sohan Ranjan Semantic Analysis of $3$D Anatomical
Medical Images for Sub-image Retrieval 139--151
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Zhi-Hua Zhou Unlabeled Data and Multiple Views . . . 1--7
Catrin O. Plumpton Online Semi-supervised Ensemble Updates
for fMRI Data . . . . . . . . . . . . . 8--18
José Esparza and
Stefan Scherer and
Friedhelm Schwenker Studying Self- and Active-Training
Methods for Multi-feature Set Emotion
Recognition . . . . . . . . . . . . . . 19--31
Marco Loog Semi-supervised Linear Discriminant
Analysis Using Moment Constraints . . . 32--41
Kazuki Yoshiyama and
Akito Sakurai Manifold-Regularized Minimax Probability
Machine . . . . . . . . . . . . . . . . 42--51
Ilaria Castelli and
Edmondo Trentin Supervised and Unsupervised Co-training
of Adaptive Activation Functions in
Neural Nets . . . . . . . . . . . . . . 52--61
Ilaria Castelli and
Edmondo Trentin Semi-unsupervised Weighted
Maximum-Likelihood Estimation of Joint
Densities for the Co-training of
Adaptive Activation Functions . . . . . 62--71
Stefan Faußer and
Friedhelm Schwenker Semi-Supervised Kernel Clustering with
Sample-to-Cluster Weights . . . . . . . 72--81
Simón C. Smith and
J. Michael Herrmann Homeokinetic Reinforcement Learning . . 82--91
Yann Soullard and
Thierry Artieres Iterative Refinement of HMM and HCRF for
Sequence Classification . . . . . . . . 92--95
Ludwig Lausser and
Florian Schmid and
Hans A. Kestler On the Utility of Partially Labeled Data
for Classification of Microarray Data 96--109
Andreas Müller and
Sven Behnke Multi-instance Methods for Partially
Supervised Image Segmentation . . . . . 110--119
Matthias Hillebrand and
Christian Wöhler and
Ulrich Kreßel and
Franz Kummert Semi-supervised Training Set Adaption to
Unknown Countries for Traffic Sign
Classifiers . . . . . . . . . . . . . . 120--127
Edmondo Trentin and
Luca Lusnig and
Fabio Cavalli Comparison of Combined Probabilistic
Connectionist Models in a Forensic
Application . . . . . . . . . . . . . . 128--137
Martin Schels and
Markus Kächele and
David Hrabal and
Steffen Walter and
Harald C. Traue Classification of Emotional States in a
Woz Scenario Exploiting Labeled and
Unlabeled Bio-physiological Data . . . . 138--147
Cameron Cooper and
Robert Kilmer Using Self Organizing Maps to Find Good
Comparison Universities . . . . . . . . 148--153
Doru Anastasiu Popescu Sink Web Pages in Web Application . . . 154--158
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Dorina C. Petriu Model-Based Performance Analysis of
Service-Oriented Systems . . . . . . . . 1--1
Thierry Le Sergent SCADE: a Comprehensive Framework for
Critical System and Software Engineering 2--3
Rick Reed SDL-2010: Background, Rationale, and
Survey . . . . . . . . . . . . . . . . . 4--25
Maxime Perrotin and
Eric Conquet and
Julien Delange and
André Schiele and
Thanassis Tsiodras TASTE: a Real-Time Software Engineering
Tool-Chain Overview, Status, and Future 26--37
Andreas Svendsen and
Òystein Haugen and
Birger Mòller-Pedersen Synthesizing Software Models: Generating
Train Station Models Automatically . . . 38--53
Jameleddine Hassine and
Abdelouahed Gherbi Exploring Early Availability
Requirements Using Use Case Maps . . . . 54--68
Didier Nassiet and
Yohan Livet and
Marc Palyart and
David Lugato Paprika: Rapid UI Development of
Scientific Dataset Editors for High
Performance Computing . . . . . . . . . 69--78
Sergey Baranov and
Vsevolod Kotlyarov and
Thomas Weigert Verifiable Coverage Criteria for
Automated Testing . . . . . . . . . . . 79--89
Antal Wu-Hen-Chang and
Gusztáv Adamis and
Levente Er\Hos and
Gábor Kovács and
Tibor Csöndes A New Approach in Model-Based Testing:
Designing Test Models in TTCN-3 . . . . 90--105
Mohamed Mussa and
Ferhat Khendek Towards a Model Based Approach for
Integration Testing . . . . . . . . . . 106--121
Urooj Fatima and
Rolv Bræk and
Humberto Nicolás Castejón Session Initiation as a Service . . . . 122--137
Selo Sulistyo and
Andreas Prinz PMG-Pro: a Model-Driven Development
Method of Service-Based Applications . . 138--153
Surya Bahadur Kathayat and
Hien Nam Le and
Rolv Bræk A Model-Driven Framework for
Component-Based Development . . . . . . 154--167
Thomas Cottenier and
Aswin van den Berg and
Thomas Weigert Separation of Concerns with
Transactional Regions . . . . . . . . . 168--185
Marc Krämer and
Tobias Braun and
Dennis Christmann and
Reinhard Gotzhein Real-Time Signaling in SDL . . . . . . . 186--201
Dennis Christmann and
Philipp Becker and
Reinhard Gotzhein Priority Scheduling in SDL . . . . . . . 202--217
Alexander Kraas A Model-Based Formalization of the
Textual Notation for SDL--UML . . . . . 218--232
Franck Fleurey and
Òystein Haugen and
Birger Mòller-Pedersen and
Andreas Svendsen and
Xiaorui Zhang Standardizing Variability --- Challenges
and Solutions . . . . . . . . . . . . . 233--246
Marc Palyart and
David Lugato and
Ileana Ober and
Jean-Michel Bruel MDE4HPC: An Approach for Using
Model-Driven Engineering in
High-Performance Computing . . . . . . . 247--261
Saoussen Anssi and
Sébastien Gérard and
Stefan Kuntz and
François Terrier AUTOSAR vs. MARTE for Enabling Timing
Analysis of Automotive Applications . . 262--275
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Mihaela Pop and
Maxime Sermesant and
Tommaso Mansi and
Eugene Crystal and
Sudip Ghate and
Jatin Relan EP Challenge --- STACOM'11: Forward
Approaches to Computational
Electrophysiology Using MRI-Based Models
and In-Vivo CARTO Mapping in Swine
Hearts . . . . . . . . . . . . . . . . . 1--13
Jatin Relan and
Maxime Sermesant and
Hervé Delingette and
Nicholas Ayache Personalisation of a $3$D Ventricular
Electrophysiological Model, Using
Endocardial and Epicardial Contact
Mapping and MRI . . . . . . . . . . . . 14--22
Linwei Wang and
Fady Dawoud and
Ken C. L. Wong and
Heye Zhang and
Huafeng Liu and
Albert C. Lardo Transmural Electrophysiologic and Scar
Imaging on Porcine Heart with Chronic
Infarction . . . . . . . . . . . . . . . 23--32
Catalina Tobon-Gomez and
Mathieu De Craene and
Annette Dahl and
Stam Kapetanakis A Multimodal Database for the $1^{\rm
st}$ Cardiac Motion Analysis Challenge 33--44
Haiyan Wang and
Wenzhe Shi and
Xiahai Zhuang and
Simon Duckett and
KaiPin Tung and
Philip Edwards Automatic Cardiac Motion Tracking Using
Both Untagged and $3$D Tagged MR Images 45--54
Kristin McLeod and
Adityo Prakosa and
Tommaso Mansi and
Maxime Sermesant and
Xavier Pennec An Incompressible Log-Domain Demons
Algorithm for Tracking Heart Tissue . . 55--67
Mathieu De Craene and
Catalina Tobon-Gomez and
Constantine Butakoff and
Nicolas Duchateau Temporal Diffeomorphic Free Form
Deformation (TDFFD) Applied to Motion
and Deformation Quantification of Tagged
MRI Sequences . . . . . . . . . . . . . 68--77
Lennart Tautz and
Anja Hennemuth and
Heinz-Otto Peitgen Motion Analysis with Quadrature Filter
Based Registration of Tagged MRI
Sequences . . . . . . . . . . . . . . . 78--87
Avan Suinesiaputra and
Brett R. Cowan and
J. Paul Finn and
Carissa G. Fonseca and
Alan H. Kadish Left Ventricular Segmentation Challenge
from Cardiac MRI: a Collation Study . . 88--97
Marie-Pierre Jolly and
Christoph Guetter and
Xiaoguang Lu and
Hui Xue and
Jens Guehring Automatic Segmentation of the Myocardium
in Cine MR Images Using Deformable
Registration . . . . . . . . . . . . . . 98--108
Ján Margeta and
Ezequiel Geremia and
Antonio Criminisi and
Nicholas Ayache Layered Spatio-temporal Forests for Left
Ventricle Segmentation from $4$D Cardiac
MRI Data . . . . . . . . . . . . . . . . 109--119
Ahmed S. Fahmy and
Ahmed O. Al-Agamy and
Ayman Khalifa Myocardial Segmentation Using
Contour-Constrained Optical Flow
Tracking . . . . . . . . . . . . . . . . 120--128
Johannes Ulén and
Petter Strandmark and
Fredrik Kahl Optimization for Multi-Region
Segmentation of Cardiac MRI . . . . . . 129--138
Michael Truong and
Thomas Gordon and
Reza Razavi and
Graeme Penney and
Kawal S. Rhode Analysis of Catheter-Based Registration
with Vessel-Radius Weighting of $3$D CT
Data to $2$D X-ray for Cardiac
Catheterisation Procedures in a Phantom
Study . . . . . . . . . . . . . . . . . 139--148
Vicky Y. Wang and
Daniel B. Ennis and
Brett R. Cowan and
Alistair A. Young and
Martyn P. Nash Myocardial Contractility and Regional
Work throughout the Cardiac Cycle Using
FEM and MRI . . . . . . . . . . . . . . 149--159
Hervé Lombaert and
Jean-Marc Peyrat and
Laurent Fanton and
Farida Cheriet and
Hervé Delingette Variability of the Human Cardiac Laminar
Structure . . . . . . . . . . . . . . . 160--167
Engin Dikici and
Fredrik Orderud Polynomial Regression Based Edge
Filtering for Left Ventricle Tracking in
$3$D Echocardiography . . . . . . . . . 168--177
Wenzhe Shi and
Xiahai Zhuang and
Robin Wolz and
Duckett Simon and
KaiPin Tung and
Haiyan Wang A Multi-image Graph Cut Approach for
Cardiac Image Segmentation and
Uncertainty Estimation . . . . . . . . . 178--187
Azar Rahimi and
Hongda Mao and
Pengcheng Shi and
Linwei Wang Toward Clinically-Feasible Noninvasive
Electrophysiological Imaging:
Investigating the Impact of Local
Anatomical Details . . . . . . . . . . . 188--197
An Elen and
Jeroen Hermans and
Hadewich Hermans and
Frederik Maes and
Paul Suetens A $3$D+Time Spatio-temporal Model for
Joint Segmentation and Registration of
Sparse Cardiac Cine MR Image Stacks . . 198--206
Hervé Lombaert and
Jean-Marc Peyrat and
Laurent Fanton and
Farida Cheriet and
Hervé Delingette Statistical Atlas of Human Cardiac
Fibers: Comparison with Abnormal Hearts 207--213
Pau Medrano-Gracia and
David A. Bluemke and
Brett R. Cowan and
J. Paul Finn and
Carissa G. Fonseca Maximum Likelihood Correction of Shape
Bias Arising from Imaging Protocol:
Application to Cardiac MRI . . . . . . . 214--223
Hongda Mao and
Linwei Wang and
Ken C. L. Wong and
Huafeng Liu and
Pengcheng Shi Volumetric Modeling Electromechanics of
the Heart . . . . . . . . . . . . . . . 224--233
Siamak Ardekani and
Aastha Jain and
Saurabh Jain and
Theodore P. Abraham and
Maria R. Abraham Matching Sparse Sets of Cardiac Image
Cross-Sections Using Large Deformation
Diffeomorphic Metric Mapping Algorithm 234--243
Perry E. Radau and
Stefan Pintilie and
Roey Flor and
Labonny Biswas and
Samuel O. Oduneye VURTIGO: Visualization Platform for
Real-Time, MRI-Guided Cardiac
Electroanatomic Mapping . . . . . . . . 244--253
Rashed Karim and
Aruna Arujuna and
Alex Brazier and
Jaswinder Gill and
C. Aldo Rinaldi Validation of a Novel Method for the
Automatic Segmentation of Left Atrial
Scar from Delayed-Enhancement Magnetic
Resonance . . . . . . . . . . . . . . . 254--262
Alessandro Becciu and
Remco Duits and
Bart J. Janssen and
Luc M. J. Florack and
Hans C. van Assen Cardiac Motion Estimation Using
Covariant Derivatives and Helmholtz
Decomposition . . . . . . . . . . . . . 263--273
Zhijun Zhang and
David J. Sahn and
Xubo Song Temporal Diffeomorphic Motion Analysis
from Echocardiographic Sequences by
Using Intensity Transitivity Consistency 274--284
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Deepak Ghimire and
Joonwhoan Lee Nonlinear Transfer Function-Based Image
Detail Preserving Dynamic Range
Compression for Color Image Enhancement 1--12
Jong In Gil and
Seung Eun Jang and
Manbae Kim $3$D Perception Adjustment of
Stereoscopic Images Based upon Depth Map 13--21
Keita Takahashi and
Takeshi Naemura Super-Resolved Free-Viewpoint Image
Synthesis Using Semi-global Depth
Estimation and Depth-Reliability-Based
Regularization . . . . . . . . . . . . . 22--35
Seung-Goo Kim and
Moo K. Chung and
Seongho Seo Heat Kernel Smoothing via
Laplace--Beltrami Eigenfunctions and Its
Application to Subcortical Structure
Modeling . . . . . . . . . . . . . . . . 36--47
Shang-Yen Lin and
Yung-Chang Chen SLAM and Navigation in Indoor
Environments . . . . . . . . . . . . . . 48--60
Jayantha Muthukudage and
JungHwan Oh Color Based Stool Region Detection in
Colonoscopy Videos for Quality
Measurements . . . . . . . . . . . . . . 61--72
Duc Dung Nguyen and
Jae Wook Jeon Improving Motion Estimation Using
Image-Driven Functions and Hybrid Scheme 73--84
Thuy Tuong Nguyen and
Jae Wook Jeon Real-Time Background Compensation for
PTZ Cameras Using GPU Accelerated and
Range-Limited Genetic Algorithm Search 85--96
Yuto Komai and
Yasuo Ariki and
Tetsuya Takiguchi Audio-Visual Speech Recognition Based on
AAM Parameter and Phoneme Analysis of
Visual Feature . . . . . . . . . . . . . 97--108
Rafael F. V. Saracchini and
Jorge Stolfi Multi-scale Integration of Slope Data on
an Irregular Mesh . . . . . . . . . . . 109--120
In-Yong Shin and
Yo-Sung Ho Virtual Viewpoint Disparity Estimation
and Convergence Check for Real-Time View
Synthesis . . . . . . . . . . . . . . . 121--131
Anbang Yao and
Shan Yu Spatial Feature Interdependence Matrix
(SFIM): a Robust Descriptor for Face
Recognition . . . . . . . . . . . . . . 132--143
Jui-Chiu Chiang and
Chun-Hung Chen and
Wen-Nung Lie Coding of Dynamic $3$D Mesh Model for
$3$D Video Transmission . . . . . . . . 144--152
Mauricio Hess-Flores and
Daniel Knoblauch Ray Divergence-Based Bundle Adjustment
Conditioning for Multi-view Stereo . . . 153--164
Asmaa Hosni and
Christoph Rhemann and
Michael Bleyer Temporally Consistent Disparity and
Optical Flow via Efficient
Spatio-temporal Filtering . . . . . . . 165--177
Tsuyoshi Migita and
Kazuhiro Sogawa Specular-Free Residual Minimization for
Photometric Stereo with Unknown Light
Sources . . . . . . . . . . . . . . . . 178--189
Michael May and
Martin Turner and
Tim Morris Analysing False Positives and $3$D
Structure to Create Intelligent
Thresholding and Weighting Functions for
SIFT Features . . . . . . . . . . . . . 190--201
Khurram Jawed and
John Morris Verging Axis Stereophotogrammetry . . . 202--213
Sheng Wang and
Qiang Wu and
Xiangjian He and
Wenjing Jia More on Weak Feature: Self-correlate
Histogram Distances . . . . . . . . . . 214--223
Simon Hermann and
Anko Börner and
Reinhard Klette Mid-level Segmentation and Segment
Tracking for Long-Range Stereo Analysis 224--235
Nagesh Adluru and
Moo K. Chung and
Nicholas T. Lange Applications of Epsilon Radial Networks
in Neuroimage Analyses . . . . . . . . . 236--247
Yousun Kang and
Koichiro Yamaguchi and
Takashi Naito Road Image Segmentation and Recognition
Using Hierarchical Bag-of-Textons Method 248--256
Huo-Chong Ling and
Raphael C.-W. Phan On the Security of a Hybrid SVD--DCT
Watermarking Method Based on LPSNR . . . 257--266
Jin Heo and
Yo-Sung Ho Improved Entropy Coder in H.264/AVC for
Lossless Residual Coding in the Spatial
Domain . . . . . . . . . . . . . . . . . 267--276
Kentaro Yamada and
Yusuke Sugano and
Takahiro Okabe Attention Prediction in Egocentric Video
Using Motion and Visual Saliency . . . . 277--288
Michael May and
Martin Turner and
Tim Morris FAW for Multi-exposure Fusion Features 289--300
Yun-Suk Kang and
Yo-Sung Ho Efficient Stereo Image Rectification
Method Using Horizontal Baseline . . . . 301--310
Rafael Henrique Castanheira de Souza Real-Time Image Mosaicing Using
Non-rigid Registration . . . . . . . . . 311--322
Cuong Cao Pham and
Synh Viet Uyen Ha and
Jae Wook Jeon Adaptive Guided Image Filtering for
Sharpness Enhancement and Noise
Reduction . . . . . . . . . . . . . . . 323--334
Shuhei Matsui and
Hajime Nagahara Half-Sweep Imaging for Depth from
Defocus . . . . . . . . . . . . . . . . 335--347
Mei-Chen Yeh and
Jason Tai A Hierarchical Approach to Practical
Beverage Package Recognition . . . . . . 348--357
Puthipong Sthitpattanapongsa and
Thitiwan Srinark An Equivalent $3$D Otsu's Thresholding
Method . . . . . . . . . . . . . . . . . 358--369
Jianfeng Xu and
Koichi Takagi and
Shigeyuki Sakazawa Human Motion Tracking with Monocular
Video by Introducing a Graph Structure
into Gaussian Process Dynamical Models 370--383
Gyo-Yoon Lee and
Yo-Sung Ho Depth Map Up-Sampling Using Random Walk 384--394
Simon Hermann and
Reinhard Klette Evaluation of a New Coarse-to-Fine
Strategy for Fast Semi-Global Stereo
Matching . . . . . . . . . . . . . . . . 395--406
Ryo Nakashima and
Keita Takahashi and
Takeshi Naemura Theoretical Analysis of Multi-view
Camera Arrangement and Light-Field
Super-Resolution . . . . . . . . . . . . 407--420
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Jiho Park and
Je Woo Kim and
Jechang Jeong Lossless Image Coding Based on
Inter-color Prediction for Ultra High
Definition Image . . . . . . . . . . . . 1--12
Yong-Hwan Kim and
Jiho Park and
Je-Woo Kim Multithreading Architecture for
Real-Time MPEG-4 AVC/H.264 SVC Decoder 13--24
Da-Hyun Yoon and
Yo-Sung Ho Fast Mode Decision Algorithm for Depth
Coding in $3$D Video Systems Using
H.264/AVC . . . . . . . . . . . . . . . 25--35
Ramón Aranda and
Mariano Rivera Improved Diffusion Basis Functions
Fitting and Metric Distance for Brain
Axon Fiber Estimation . . . . . . . . . 36--47
Ruobing Zou and
Oscar C. Au and
Lin Sun and
Sijin Li An Adaptive Motion Data Storage
Reduction Method for Temporal Predictor 48--59
Cuong Cao Pham and
Synh Viet Uyen Ha and
Jae Wook Jeon A Local Variance-Based Bilateral
Filtering for Artifact-Free Detail- and
Edge-Preserving Smoothing . . . . . . . 60--70
Sarawut Tae-o-sot and
Akinori Nishihara Iterative Gradient-Driven Patch-Based
Inpainting . . . . . . . . . . . . . . . 71--81
Ryusuke Nosaka and
Yasuhiro Ohkawa and
Kazuhiro Fukui Feature Extraction Based on
Co-occurrence of Adjacent Local Binary
Patterns . . . . . . . . . . . . . . . . 82--91
Dong Wang and
Weijia Jia and
Guiqing Li and
Yunhui Xiong Natural Image Composition with
Inhomogeneous Boundaries . . . . . . . . 92--103
Hiroyuki Seto and
Tomoyuki Taguchi Directional Eigentemplate Learning for
Sparse Template Tracker . . . . . . . . 104--115
Shen-Ju Lin and
Chung-Lin Huang and
Shih-Chung Hsu Gender Identification Using Feature
Patch-Based Bayesian Classifier . . . . 116--127
Ke-Yin Chen and
Chung-Lin Huang and
Shih-Chung Hsu Multiple Objects Tracking across
Multiple Non-Overlapped Views . . . . . 128--140
Zhuo Yang and
Sei-ichiro Kamata Fast Hypercomplex Polar Fourier Analysis
for Image Processing . . . . . . . . . . 141--148
Weiwei Du and
Shiya Mori and
Nobuyuki Nakamori Colorization by Landmark Pixels
Extraction . . . . . . . . . . . . . . . 149--156
Tuan-Anh Nguyen and
Min-Cheol Hong Filtering-Based Noise Estimation for
Denoising the Image Degraded by Gaussian
Noise . . . . . . . . . . . . . . . . . 157--167
Adlane Habed and
Tarik Elamsy and
Boubakeur Boufama Combining Mendonça--Cipolla
Self-calibration and Scene Constraints 168--179
Shoko Imaizumi and
Masaaki Fujiyoshi and
Hitoshi Kiya A Key Derivation Scheme for Hierarchical
Access Control to JPEG 2000 Coded Images 180--191
Miguel Carrasco and
Domingo Mery Bifocal Matching Using Multiple
Geometrical Solutions . . . . . . . . . 192--203
Jae-Young Sim Digital Hologram Compression Using
Correlation of Reconstructed Object
Images . . . . . . . . . . . . . . . . . 204--214
Ke-Chun Li and
Hong-Ren Su and
Shang-Hong Lai Pedestrian Image Segmentation via
Shape-Prior Constrained Random Walks . . 215--226
Jiangying Zhu and
Mei Yu and
Qiaoyan Zheng and
Zongju Peng A Novel Rate Control Algorithm for
H.264/AVC Based on Human Visual System 227--239
Hao-Liang Yang and
Yen-Hao Chiao and
Po-Hao Huang Blind Image Deblurring with Modified
Richardson--Lucy Deconvolution for
Ringing Artifact Suppression . . . . . . 240--251
Ren-Jie Wang and
Yan-Ting Jiang and
Jiunn-Tsair Fang Quality Estimation for H.264/SVC
Inter-layer Residual Prediction in
Spatial Scalability . . . . . . . . . . 252--261
Ryohei Kimura and
Noriko Takemura and
Yoshio Iwai Extracting Interval Distribution of
Human Interactions . . . . . . . . . . . 262--273
Haokun Geng and
James Russell and
Bok-Suk Shin A Flexible Method for Localisation and
Classification of Footprints of Small
Species . . . . . . . . . . . . . . . . 274--286
Francisco Madrigal and
Mariano Rivera Learning and Regularizing Motion Models
for Enhancing Particle Filter-Based
Target Tracking . . . . . . . . . . . . 287--298
Hong-Ren Su and
Shang-Hong Lai CT--MR Image Registration in $3$D
$K$-Space Based on Fourier Moment
Matching . . . . . . . . . . . . . . . . 299--310
S. W. Chew and
R. Rana and
P. Lucey and
S. Lucey Sparse Temporal Representations for
Facial Expression Recognition . . . . . 311--322
Ismael Daribo and
Ryo Furukawa and
Ryusuke Sagawa Dynamic Compression of Curve-Based Point
Cloud . . . . . . . . . . . . . . . . . 323--334
Hsiao-Wei Chen and
Shang-Hong Lai Recovering Depth Map from Video with
Moving Objects . . . . . . . . . . . . . 335--346
Khanh DinhQuoc and
Xiem HoangVan and
Byeungwoo Jeon An Iterative Algorithm for Efficient
Adaptive GOP Size in Transform Domain
Wyner--Ziv Video Coding . . . . . . . . 347--358
Mahsa Shakeri and
Mansour Jamzad A Robust Zero-Watermark Copyright
Protection Scheme Based on DWT and Image
Normalization . . . . . . . . . . . . . 359--370
Kwan-Jung Oh and
Jaejoon Lee and
Du-Sik Park Multi-view Video Coding Based on High
Efficiency Video Coding . . . . . . . . 371--380
Guo-Shiang Lin and
Han-Wen Liu and
Wei-Chih Chen $2$D to $3$D Image Conversion Based on
Classification of Background Depth
Profiles . . . . . . . . . . . . . . . . 381--392
Junwei Wang and
Yu Zhou and
Xiang Bai and
Wenyu Liu Shape Matching and Recognition Using
Group-Wised Points . . . . . . . . . . . 393--404
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Vagan Terziyan Global Understanding Environment:
Towards Self-managed Web of Everything 1--2
MariaGrazia Fugini and
Stefano Pinardi and
Claudia Raibulet Smart Solutions for Risk Prevention
through Analysis of People Movements . . 3--13
Susanna Pantsar-Syväniemi and
Jarkko Kuusijärvi and
Eila Ovaska Supporting Situation-Awareness in Smart
Spaces . . . . . . . . . . . . . . . . . 14--23
Sakari Stenudd A Model for Using Machine Learning in
Smart Environments . . . . . . . . . . . 24--33
Jani Suomalainen Flexible Security Deployment in Smart
Spaces . . . . . . . . . . . . . . . . . 34--43
Gerrit Niezen and
Bram van der Vlist and
Jun Hu and
Loe Feijs Using Semantic Transformers to Enable
Interoperability between Media Devices
in a Ubiquitous Computing Environment 44--53
Maarten Steenhuyse and
Jeroen Hoebeke and
Ann Ackaert and
Ingrid Moerman and
Piet Demeester TV-kiosk: An Open and Extensible
Platform for the Wellbeing of an Ageing
Population . . . . . . . . . . . . . . . 54--63
Geng Li and
Yuping Zhao and
Bingli Jiao and
Timo Korhonen Design of Easy Access Internet Browsing
System for Elderly People Based on
Android . . . . . . . . . . . . . . . . 64--72
Jiehan Zhou and
Xiang Su and
Mika Ylianttila and
Jukka Riekki Exploring Pervasive Service Computing
Opportunities for Pursuing Successful
Ageing . . . . . . . . . . . . . . . . . 73--82
Timo Korhonen and
Xirui Wang and
Shuo Liu and
Christos Karaiskos and
Yuping Zhao Alert Calls in Remote Health: Cultural
Adaptation and Usability Inspection for
China . . . . . . . . . . . . . . . . . 83--93
Juho Merilahti and
Juha Pärkkä and
Ilkka Korhonen Estimating Older People's Physical
Functioning with Automated Health
Monitoring Technologies at Home: Feature
Correlations and Multivariate Analysis 94--104
Edward Mutafungwa Applying MTC and Femtocell Technologies
to the Continua Health Reference
Architecture . . . . . . . . . . . . . . 105--114
Ye Zhang and
Olli Martikainen and
Petri Pulli and
Valeriy Naumov Developing a Real-Time Process Data
Acquisition System for Automatic Process
Measurement . . . . . . . . . . . . . . 115--124
Susanna Pantsar-Syväniemi Adaptable Context-Aware
Micro-architecture . . . . . . . . . . . 125--132
Mika Oja and
Jukka Riekki Ubiquitous Framework for Creating and
Evaluating Persuasive Applications and
Games . . . . . . . . . . . . . . . . . 133--140
Teemu Leppänen and
Jukka Riekki Dynamic Data Processing Middleware for
Sensor Networks . . . . . . . . . . . . 141--147
Ekaterina Gilman and
Jukka Riekki Smart Spaces: a Metacognitive Approach 148--155
Tomas Lindén A Conceptual Framework for Enabling
Community-Driven Extensible, Open and
Privacy-Preserving Ubiquitous Computing
Networks . . . . . . . . . . . . . . . . 156--163
Arto Salminen Doctoral Colloquium: Integrating Web
Content into Mashups on Desktop and
Mobile Devices . . . . . . . . . . . . . 164--171
Mikko Polojärvi and
Jukka Riekki Lightweight Service-Based Software
Architecture . . . . . . . . . . . . . . 172--179
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Minyar Sassi and
Oussama Tlili and
Habib Ounelli Approximate Query Processing for
Database Flexible Querying with
Aggregates . . . . . . . . . . . . . . . 1--27
Akrivi Vlachou and
Christos Doulkeridis Metric-Based Similarity Search in
Unstructured Peer-to-Peer Systems . . . 28--48
Manivasakan Sabesan and
Tore Risch Adaptive Parallelization of Queries to
Data Providing Web Service Operations 49--69
Yuan Tian and
Haofen Wang and
Wei Jin and
Yuan Ni A Pattern-Based Approach for Efficient
Query Processing over RDF Data . . . . . 70--90
Marco Manna and
Ermelinda Oro and
Massimo Ruffolo The HiL$\epsilon$X System for Semantic
Information Extraction . . . . . . . . . 91--125
Cornelia Hedeler and
Khalid Belhajjame and
Lu Mao DSToolkit: An Architecture for Flexible
Dataspace Management . . . . . . . . . . 126--157
Paolo Atzeni and
Pierluigi Del Nostro Temporal Content Management and Website
Modeling: Putting Them Together . . . . 158--182
Frederic Stahl and
Mohamed Medhat Gaber Homogeneous and Heterogeneous
Distributed Classification for Pocket
Data Mining . . . . . . . . . . . . . . 183--205
Lars Frank and
Rasmus Ulslev Pedersen Integrated Distributed/Mobile Logistics
Management . . . . . . . . . . . . . . . 206--221
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . 1--1
Peter Stone Intersections of the Future: Using Fully
Autonomous Vehicles . . . . . . . . . . 3--3
Elizabeth Sklar and
Chipp Jansen and
Jonathan Chan and
Michael Byrd Toward a Methodology for Agent-Based
Data Mining and Visualization . . . . . 4--15
Santhana Chaimontree and
Katie Atkinson and
Frans Coenen A Multi-agent Based Approach to
Clustering: Harnessing the Power of
Agents . . . . . . . . . . . . . . . . . 16--29
G. S. Bhamra and
A. K. Verma and
R. B. Patel Agent Enriched Distributed Association
Rules Mining: a Review . . . . . . . . . 30--45
Chayapol Moemeng and
Can Wang and
Longbing Cao Obtaining an Optimal MAS Configuration
for Agent-Enhanced Mining Using
Constraint Optimization . . . . . . . . 46--57
Sébastien Corniglion and
Nadine Tournois Towards a Numerical, Agent-Based,
Behaviour Analysis: The Case of Tourism 58--85
Filippo Neri A Comparative Study of a Financial Agent
Based Simulator Across Learning
Scenarios . . . . . . . . . . . . . . . 86--97
Wei Zhang and
Yuanfei Wang Agent-Based Cluster Analysis of Tropical
Cyclone Tracks in the Western North
Pacific . . . . . . . . . . . . . . . . 98--113
Anonymous Front Matter . . . . . . . . . . . . . . 115--115
Chukwuemeka David Emele and
Timothy J. Norman and
Murat \cSensoy and
Simon Parsons Exploiting Domain Knowledge in Making
Delegation Decisions . . . . . . . . . . 117--131
Susan L. Epstein and
Rebecca Passonneau and
Tiziana Ligorio and
Joshua Gordon Data Mining to Support Human-Machine
Dialogue for Autonomous Agents . . . . . 132--155
Vahida Attar and
Prashant Chaudhary and
Sonali Rahagude and
Gaurish Chaudhari and
Pradeep Sinha An Instance-Window Based Classification
Algorithm for Handling Gradual Concept
Drifts . . . . . . . . . . . . . . . . . 156--172
Imen Brahmi and
Sadok Ben Yahia and
Hamed Aouadi and
Pascal Poncelet Towards a Multiagent-Based Distributed
Intrusion Detection System Using Data
Mining Approaches . . . . . . . . . . . 173--194
Maksims Fiosins and
Jelena Fiosina and
Jörg P. Müller Change Point Analysis for Intelligent
Agents in City Traffic . . . . . . . . . 195--210
Xiaofeng Wang and
Wenjia Niu and
Gang Li and
Xinghua Yang and
Zhongzhi Shi Mining Frequent Agent Action Patterns
for Effective Multi-agent-Based Web
Service Composition . . . . . . . . . . 211--227
Kyriakos C. Chatzidimitriou and
Antonios C. Chrysopoulos and
Andreas L. Symeonidis Enhancing Agent Intelligence through
Evolving Reservoir Networks for
Predictions in Power Stock Markets . . . 228--247
Preetinder Kaur and
Madhu Goyal and
Jie Lu Pricing Analysis in Online Auctions
Using Clustering and Regression Tree
Approach . . . . . . . . . . . . . . . . 248--257
Anonymous Front Matter . . . . . . . . . . . . . . 259--259
Anonymous Front Matter . . . . . . . . . . . . . . 259--259
W. Kowalczyk and
Z. Szlávik and
M. C. Schut The Impact of Recommender Systems on
Item-, User-, and Rating-Diversity . . . 261--287
Pawel Sobkowicz and
Michael Kaschesky and
Guillaume Bouchard Opinion Formation in the Social Web:
Agent-Based Simulations of Opinion
Convergence and Divergence . . . . . . . 288--303
Dion Christensen and
Henrik Ossipoff Hansen and
Jorge Pablo Cordero Hernandez A Data-Driven Approach for Resource
Gathering in Real-Time Strategy Games 304--315
Zhiang Wu and
Jie Cao and
Changjian Fang Data Cloud for Distributed Data Mining
via Pipelined MapReduce . . . . . . . . 316--330
Monika Arora and
Uma Kanjilal and
Dinesh Varshney Successful Efficient and Intelligent
Retrieval Using Analytic Hierarchy
Process . . . . . . . . . . . . . . . . 331--343
Kunyanuth Kularbphettong and
Phayung Meesad and
Gareth Clayton A Hybrid System Based on Multi-Agent
Systems in Case of e-WeddingThailand . . 344--359
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . 1--1
Hyoungnyoun Kim and
Ji-Hyung Park Evaluating the Regularity of Human
Behavior from Mobile Phone Usage Logs 3--14
Joshua Akehurst and
Irena Koprinska and
Kalina Yacef and
Luiz Pizzato and
Judy Kay and
Tomasz Rej Explicit and Implicit User Preferences
in Online Dating . . . . . . . . . . . . 15--27
Flora S. Tsai Blogger-Link-Topic Model for Blog Mining 28--39
Miao Wan and
Arne Jönsson and
Cong Wang and
Lixiang Li and
Yixian Yang A Random Indexing Approach for Web User
Clustering and Web Prefetching . . . . . 40--52
Thin Nguyen and
Dinh Phung and
Brett Adams and
Svetha Venkatesh Emotional Reactions to Real-World Events
in Social Networks . . . . . . . . . . . 53--64
Yin-Fu Huang and
Cin-Siang Ciou Constructing Personal Knowledge Base:
Automatic Key-Phrase Extraction from
Multiple-Domain Web Pages . . . . . . . 65--76
Bai-En Shie and
Hui-Fang Hsiao and
Philip S. Yu and
Vincent S. Tseng Discovering Valuable User Behavior
Patterns in Mobile Commerce Environments 77--88
Wang Yiwen and
Yao Min A Novel Method for Community Detection
in Complex Network Using New
Representation for Communities . . . . . 89--99
Stephan Spiegel and
Jan Clausen and
Sahin Albayrak and
Jérôme Kunegis Link Prediction on Evolving Data Using
Tensor Factorization . . . . . . . . . . 100--110
Xianmang He and
Yanghua Xiao and
Yujia Li and
Qing Wang and
Wei Wang and
Baile Shi Permutation Anonymization: Improving
Anatomy for Privacy Preservation in Data
Publication . . . . . . . . . . . . . . 111--123
Komate Amphawan and
Philippe Lenca and
Athasit Surarerks Efficient Mining Top-$k$
Regular-Frequent Itemset Using
Compressed Tidsets . . . . . . . . . . . 124--135
Hailin Li and
Chonghui Guo and
Libin Yang A Method of Similarity Measure and
Visualization for Long Time Series Using
Binary Patterns . . . . . . . . . . . . 136--147
Vo Le Quy Nhon and
Duong Tuan Anh A BIRCH-Based Clustering Method for
Large Time Series Databases . . . . . . 148--159
Masahiro Ishikawa Visualizing Cluster Structures and Their
Changes over Time by Two-Step
Application of Self-Organizing Maps . . 160--170
Denny and
Peter Christen and
Graham J. Williams Analysis of Cluster Migrations Using
Self-Organizing Maps . . . . . . . . . . 171--182
Anonymous Front Matter . . . . . . . . . . . . . . 183--183
Anonymous Front Matter . . . . . . . . . . . . . . 183--183
Anca Maria Ivanescu and
Marc Wichterich and
Thomas Seidl ClasSi: Measuring Ranking Quality in the
Presence of Object Classes with
Similarity Information . . . . . . . . . 185--196
Vladimir Estivill-Castro The Instance Easiness of Supervised
Learning for Cluster Validity . . . . . 197--208
Jean-Charles Lamirel and
Pascal Cuxac and
Raghvendra Mall and
Ghada Safi A New Efficient and Unbiased Approach
for Clustering Quality Evaluation . . . 209--220
Fedja Hadzic A Structure Preserving Flat Data Format
Representation for Tree-Structured Data 221--233
Jun Fan and
Tiejun Huang A Fusion of Algorithms in Near Duplicate
Document Detection . . . . . . . . . . . 234--242
Guangfei Yang and
Yanzhong Dang and
Shingo Mabu and
Kaoru Shimada and
Kotaro Hirasawa Searching Interesting Association Rules
Based on Evolutionary Computation . . . 243--253
Akshat Surana and
R. Uday Kiran and
P. Krishna Reddy An Efficient Approach to Mine
Periodic-Frequent Patterns in
Transactional Databases . . . . . . . . 254--266
Jianjun Wu and
Li Wan and
Zeren Xu Algorithms to Discover Complete Frequent
Episodes in Sequences . . . . . . . . . 267--278
Joan Garriga Certainty upon Empirical Distributions 279--290
Anonymous Front Matter . . . . . . . . . . . . . . 291--291
Bo Yuan and
Wenhuang Liu A Measure Oriented Training Scheme for
Imbalanced Classification Problems . . . 293--303
Yi Wang and
Cheqing Jin and
Minqi Zhou and
Aoying Zhou An SVM-Based Approach to Discover
MicroRNA Precursors in Plant Genomes . . 304--315
Shafiq Alam and
Gillian Dobbie and
Patricia Riddle Towards Recommender System Using
Particle Swarm Optimization Based Web
Usage Clustering . . . . . . . . . . . . 316--326
Russel Pears and
Yun Sing Koh Weighted Association Rule Mining Using
Particle Swarm Optimization . . . . . . 327--338
Sheng-yi Jiang and
Lian-xi Wang An Unsupervised Feature Selection
Framework Based on Clustering . . . . . 339--350
Anonymous Front Matter . . . . . . . . . . . . . . 351--351
Nevin L. Zhang and
Runsun Zhang and
Tao Chen Discovery of Regularities in the Use of
Herbs in Traditional Chinese Medicine
Prescriptions . . . . . . . . . . . . . 353--360
Dion Detterer and
Paul Kwan COW: a Co-evolving Memetic Wrapper for
Herb-Herb Interaction Analysis in TCM
Informatics . . . . . . . . . . . . . . 361--371
Lei Zhang and
Qi-ming Zhang and
Yi-guo Wang and
Dong-lin Yu Selecting an Appropriate Interestingness
Measure to Evaluate the Correlation
between Syndrome Elements and Symptoms 372--383
Simon Poon and
Zhe Luo and
Runshun Zhang The Impact of Feature Representation to
the Biclustering of Symptoms-Herbs in
TCM . . . . . . . . . . . . . . . . . . 384--394
Anonymous Front Matter . . . . . . . . . . . . . . 395--395
M. Saravanan and
S. Shanthi and
S. Shalini Usage of Mobile Phones for Personalized
Healthcare Solutions . . . . . . . . . . 397--407
Boyu Wang and
Feng Wan and
Peng Un Mak and
Pui In Mak and
Mang I. Vai Robust Learning of Mixture Models and
Its Application on Trial Pruning for EEG
Signal Analysis . . . . . . . . . . . . 408--419
Wei Gu and
Baijie Wang and
Xin Wang An Integrated Approach to
Multi-criteria-Based Health Care
Facility Location Planning . . . . . . . 420--430
Chaveevan Pechsiri and
Sumran Painuall and
Uraiwan Janviriyasopak Medicinal Property Knowledge Extraction
from Herbal Documents for Supporting
Question Answering System . . . . . . . 431--443
Anonymous Front Matter . . . . . . . . . . . . . . 445--445
Anonymous Front Matter . . . . . . . . . . . . . . 445--445
Yu Zhang Age Estimation Using Bayesian Process 447--458
Chi-Yao Tseng and
Ming-Syan Chen Significant Node Identification in
Social Networks . . . . . . . . . . . . 459--470
Kuo-Wei Hsu and
Jaideep Srivastava Improving Bagging Performance through
Multi-algorithm Ensembles . . . . . . . 471--482
Chen Zhang and
Jie Zhang Mining Tourist Preferences with
Twice-Learning . . . . . . . . . . . . . 483--493
Xu-Ying Liu and
Zhi-Hua Zhou Towards Cost-Sensitive Learning for
Real-World Applications . . . . . . . . 494--505
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Peter Meerwald and
Andreas Uhl An Efficient Robust Watermarking Method
Integrated in H.264/SVC . . . . . . . . 1--14
Takaaki Yamada and
Isao Echizen PC-Based Real-Time Video Watermark
Embedding System Independent of Platform
for Parallel Computing . . . . . . . . . 15--33
Isao Echizen and
Takayuki Yamada IR Hiding: Method for Preventing Illegal
Recording of Videos Based on Differences
in Sensory Perception between Humans and
Devices . . . . . . . . . . . . . . . . 34--51
Hao-tian Wu and
Yiu-ming Cheung Secure Watermarking on $3$D Geometry via
ICA and Orthogonal Transformation . . . 52--62
Hong Cao and
Alex C. Kot Measuring the Statistical Correlation
Inconsistencies in Mobile Images for
Tamper Detection . . . . . . . . . . . . 63--81
Arijit Sur and
Vignesh Ramanathan Secure Steganography Using Randomized
Cropping . . . . . . . . . . . . . . . . 82--95
Hong Zhao and
Yun Q. Shi and
Nirwan Ansari Steganography in Streaming Multimedia
over Networks . . . . . . . . . . . . . 96--114
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Shlomi Dolev Dynamic Multi-party Computation Forever
for Swarm and Cloud Computing and Code
Obfuscation . . . . . . . . . . . . . . 1--3
Barbara Kempkes and
Friedhelm Meyer auf der Heide Local, Self-organizing Strategies for
Robotic Formation Problems . . . . . . . 4--12
Sebastian Abshoff and
Andreas Cord-Landwehr and
Bastian Degener and
Barbara Kempkes Local Approximation Algorithms for the
Uncapacitated Metric Facility Location
Problem in Power-Aware Sensor Networks 13--27
Amotz Bar-Noy and
Ben Baumer Maximizing Network Lifetime on the Line
with Adjustable Sensing Ranges . . . . . 28--41
Asaf Cohen and
Shlomi Dolev and
Guy Leshem Sensor Fusion: From Dependence Analysis
via Matroid Bases to Online Synthesis 42--56
Jingzhe Du and
Evangelos Kranakis and
Oscar Morales Ponce and
Sergio Rajsbaum Neighbor Discovery in a Sensor Network
with Directional Antennae . . . . . . . 57--71
Ittay Eyal and
Idit Keidar and
Raphael Rom LiMoSense --- Live Monitoring in Dynamic
Sensor Networks . . . . . . . . . . . . 72--85
Matthew P. Johnson and
Alexander Gutfraind Evader Interdiction and Collateral
Damage . . . . . . . . . . . . . . . . . 86--100
Meng Li and
Yota Otachi and
Takeshi Tokuyama Efficient Algorithms for Network
Localization Using Cores of Underlying
Graphs . . . . . . . . . . . . . . . . . 101--114
Tiancheng Lou and
Haisheng Tan and
Yuexuan Wang and
Francis C. M. Lau Minimizing Average Interference through
Topology Control . . . . . . . . . . . . 115--129
Kuan-Chieh Robert Tseng and
David Kirkpatrick On Barrier Resilience of Sensor Networks 130--144
Dongxiao Yu and
Yuexuan Wang and
Qiang-Sheng Hua and
Francis C. M. Lau Distributed $(\Delta + 1)$-Coloring in
the Physical Model . . . . . . . . . . . 145--160
Carme \`Alvarez and
Josep Díaz and
Dieter Mitsche and
Maria Serna Continuous Monitoring in the Dynamic
Sensor Field Model . . . . . . . . . . . 161--172
Amotz Bar-Noy and
Prithwish Basu and
Matthew P. Johnson and
Ram Ramanathan Minimum-Cost Broadcast through
Varying-Size Neighborcast . . . . . . . 173--187
Guy Even and
Yaniv Fais and
Moti Medina and
Shimon (Moni) Shahar and
Alexander Zadorojniy Real-Time Video Streaming in Multi-hop
Wireless Static Ad Hoc Networks . . . . 188--201
Guy Even and
Yakov Matsri and
Moti Medina Multi-hop Routing and Scheduling in
Wireless Networks in the SINR Model . . 202--214
Magnús M. Halldórsson and
Pradipta Mitra Wireless Capacity with Arbitrary Gain
Matrix . . . . . . . . . . . . . . . . . 215--224
Tigran Tonoyan On the Capacity of Oblivious Powers . . 225--237
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Marek Cygan and
Marcin Pilipczuk and
Micha\l Pilipczuk On Multiway Cut Parameterized above
Lower Bounds . . . . . . . . . . . . . . 1--12
Marek Cygan and
Fedor V. Fomin and
Erik Jan van Leeuwen Parameterized Complexity of Firefighting
Revisited . . . . . . . . . . . . . . . 13--26
Minghui Jiang and
Yong Zhang Parameterized Complexity in
Multiple-Interval Graphs: Domination . . 27--40
Yoichi Iwata A Faster Algorithm for Dominating Set
Analyzed by the Potential Method . . . . 41--54
Pinar Heggernes and
Pim van 't Hof and
Benjamin Lévêque Contracting Graphs to Paths and Trees 55--66
Petr A. Golovach and
Marcin Kami\'nski and
Daniël Paulusma Increasing the Minimum Degree of a Graph
by Contractions . . . . . . . . . . . . 67--79
Isolde Adler and
Stavros G. Kolliopoulos Planar Disjoint-Paths Completion . . . . 80--93
Peter Damaschke Sparse Solutions of Sparse Linear
Systems: Fixed-Parameter Tractability
and an Application of Complex Group
Testing . . . . . . . . . . . . . . . . 94--105
Alexander Golovnev New Upper Bounds for MAX-2-SAT and
MAX-2-CSP w.r.t. the Average Variable
Degree . . . . . . . . . . . . . . . . . 106--117
Eun Jung Kim and
Ryan Williams Improved Parameterized Algorithms for
above Average Constraint Satisfaction 118--131
Bart M. P. Jansen and
Stefan Kratsch On Polynomial Kernels for Structural
Parameterizations of Odd Cycle
Transversal . . . . . . . . . . . . . . 132--144
Hans L. Bodlaender and
Bart M. P. Jansen Kernel Bounds for Path and Cycle
Problems . . . . . . . . . . . . . . . . 145--158
Marek Cygan and
Daniel Lokshtanov and
Marcin Pilipczuk On the Hardness of Losing Width . . . . 159--168
Jiong Guo and
Iyad Kanj and
Stefan Kratsch Safe Approximation and Its Relation to
Kernelization . . . . . . . . . . . . . 169--180
Torben Hagerup Simpler Linear-Time Kernelization for
Planar Dominating Set . . . . . . . . . 181--193
René van Bevern and
Sepp Hartung and
Frank Kammer Linear-Time Computation of a Linear
Problem Kernel for Dominating Set on
Planar Graphs . . . . . . . . . . . . . 194--206
Hajo Broersma and
Petr A. Golovach and
Viresh Patel Tight Complexity Bounds for FPT Subgraph
Problems Parameterized by Clique-Width 207--218
Eivind Magnus Hvidevold and
Sadia Sharmin Finding Good Decompositions for Dynamic
Programming on Dense Graphs . . . . . . 219--231
Michael Lampis Parameterized Maximum Path Coloring . . 232--245
Marek Cygan and
Daniel Lokshtanov and
Marcin Pilipczuk On Cutwidth Parameterized by Vertex
Cover . . . . . . . . . . . . . . . . . 246--258
Robert Ganian Twin-Cover: Beyond Vertex Cover in
Parameterized Algorithmics . . . . . . . 259--271
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Edward Robinson and
Peter McBurney and
Xin Yao Co-learning Segmentation in Marketplaces 1--20
Haitham Bou Ammar and
Matthew E. Taylor Reinforcement Learning Transfer via
Common Subspaces . . . . . . . . . . . . 21--36
Thomas Kemmerich and
Hans Kleine Büning A Convergent Multiagent Reinforcement
Learning Approach for a Subclass of
Cooperative Stochastic Games . . . . . . 37--53
Francisco Martinez-Gil and
Miguel Lozano and
Fernando Fernández Multi-agent Reinforcement Learning for
Simulating Pedestrian Navigation . . . . 54--69
Hadi Hosseini and
Mihaela Ulieru Leveraging Domain Knowledge to Learn
Normative Behavior: a Bayesian Approach 70--84
Gheorghe Comanici and
Doina Precup Basis Function Discovery Using Spectral
Clustering and Bisimulation Metrics . . 85--99
David Catteeuw and
Bernard Manderick Heterogeneous Populations of Learning
Agents in the Minority Game . . . . . . 100--113
Yann-Michaël De Hauwere and
Peter Vrancx and
Ann Nowé Solving Sparse Delayed Coordination
Problems in Multi-Agent Reinforcement
Learning . . . . . . . . . . . . . . . . 114--133
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Gautham Sekar and
Bart Preneel Practical Attacks on a Cryptosystem
Proposed in Patent WO/2009/066313 . . . 1--12
Jun Kogure and
Noboru Kunihiro and
Hirosuke Yamamoto Generalized Security Analysis of the
Random Key Bits Leakage Attack . . . . . 13--27
Yanjun Li and
Wenling Wu and
Lei Zhang Improved Integral Attacks on
Reduced-Round CLEFIA Block Cipher . . . 28--39
Chiaki Ohtahara and
Keita Okada and
Yu Sasaki Preimage Attacks on Full-ARIRANG:
Analysis of DM-Mode with Middle
Feed-Forward . . . . . . . . . . . . . . 40--54
Le Dong and
Wenling Wu and
Shuang Wu and
Jian Zou Known-Key Distinguisher on Round-Reduced
$3$D Block Cipher . . . . . . . . . . . 55--69
Woomyo Lee and
Jae Woo Seo and
Pil Joong Lee Identity-Based Signcryption from
Identity-Based Cryptography . . . . . . 70--83
Dae Hyun Yum and
Duk Soo Kim and
Jin Seok Kim and
Pil Joong Lee Order-Preserving Encryption for
Non-uniformly Distributed Plaintexts . . 84--97
Yumi Sakemi and
Tetsuya Izu and
Masahiko Takenaka Solving a DLP with Auxiliary Input with
the $\rho$-Algorithm . . . . . . . . . . 98--108
Yanbin Pan and
Yingpu Deng A General NTRU-Like Framework for
Constructing Lattice-Based Public-Key
Cryptosystems . . . . . . . . . . . . . 109--120
Tatsuyuki Matsushita and
Shinji Yamanaka and
Fangming Zhao A Peer-to-Peer Content-Distribution
Scheme Resilient to Key Leakage . . . . 121--135
Boojoong Kang and
Hye Seon Kim and
Ji Su Yang and
Eul Gyu Im Rule Indexing for Efficient Intrusion
Detection Systems . . . . . . . . . . . 136--141
Chung-Hyo Kim and
Moon-Seok Choi and
Seong-Ho Ju Security Data Extraction from IEC 61850
ACSI Models for Network and System
Management . . . . . . . . . . . . . . . 142--150
Insung Hong and
Jisung Byun and
Sehyun Park Lightweight Middleware-Based ZigBee
Security in Building Energy Management
System . . . . . . . . . . . . . . . . . 151--156
Yingjun Zhang and
Yang Zhang and
Kai Chen A Map-Layer-Based Access Control Model 157--170
Go Ohtake and
Kazuto Ogawa Application Authentication for Hybrid
Services of Broadcasting and
Communications Networks . . . . . . . . 171--186
Naoto Kiribuchi and
Ryo Kato and
Takashi Nishide Accelerating Multiparty Computation by
Efficient Random Number Bitwise-Sharing
Protocols . . . . . . . . . . . . . . . 187--202
Kwantae Cho and
Dong Hoon Lee Biometric Based Secure Communications
without Pre-deployed Key for Biosensor
Implanted in Body Sensor Networks . . . 203--218
Myungsun Kim and
Hyung Tae Lee and
Jung Hee Cheon Mutual Private Set Intersection with
Linear Complexity . . . . . . . . . . . 219--231
Chung Il Sun and
Tae Ho Cho Advanced Path Selection Method for
Detection of False Reports in
Statistical Filtering Based WSNs . . . . 232--241
Jarno Salonen Evaluating the Security and Privacy of
Near Field Communication --- Case:
Public Transportation . . . . . . . . . 242--255
Islam Hegazy and
Reihaneh Safavi-Naini and
Carey Williamson Exploiting Routing Tree Construction in
CTP . . . . . . . . . . . . . . . . . . 256--270
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . 1--1
Marian Brezina and
Panayot S. Vassilevski Smoothed Aggregation Spectral Element
Agglomeration AMG: SA-$\rho$ AMGe . . . 3--15
Eduardo Casas and
Roland Herzog and
Gerd Wachsmuth Approximation of Sparse Controls in
Semilinear Elliptic Equations . . . . . 16--27
Clemens Hofreither and
Ulrich Langer and
Clemens Pechstein A Non-standard Finite Element Method
Based on Boundary Integral Operators . . 28--39
Anonymous Front Matter . . . . . . . . . . . . . . 41--41
Yalchin Efendiev and
Juan Galvis and
Raytcho Lazarov and
Joerg Willems Robust Solvers for Symmetric Positive
Definite Operators and Weighted Poincaré
Inequalities . . . . . . . . . . . . . . 43--51
J. Kraus Additive Schur Complement Approximation
for Elliptic Problems with Oscillatory
Coefficients . . . . . . . . . . . . . . 52--59
Anonymous Front Matter . . . . . . . . . . . . . . 61--61
Pavel Bochev and
Denis Ridzal and
Joseph Young Optimization--Based Modeling with
Applications to Transport: Part 1.
Abstract Formulation . . . . . . . . . . 63--71
Joseph Young and
Denis Ridzal and
Pavel Bochev Optimization-Based Modeling with
Applications to Transport: Part 2. The
Optimization Algorithm . . . . . . . . . 72--80
Denis Ridzal and
Joseph Young and
Pavel Bochev and
Kara Peterson Optimization-Based Modeling with
Applications to Transport: Part 3.
Computational Studies . . . . . . . . . 81--88
Anonymous Front Matter . . . . . . . . . . . . . . 89--89
Robert Baier and
Mirko Hessel-von Molo Newton's Method and Secant Method for
Set-Valued Mappings . . . . . . . . . . 91--98
F. L. Chernousko Optimal Control of Multibody Systems in
Resistive Media . . . . . . . . . . . . 99--105
I. Chryssoverghi and
J. Coletsos and
B. Kokkinis Classical and Relaxed Progressively
Refining Discretization-Optimization
Methods for Optimal Control Problems
Defined by Ordinary Differential
Equations . . . . . . . . . . . . . . . 106--114
Neli S. Dimitrova and
Mikhail I. Krastanov On the Asymptotic Stabilization of an
Uncertain Bioprocess Model . . . . . . . 115--122
Tatiana F. Filippova and
Oksana G. Matviychuk Reachable Sets of Impulsive Control
System with Cone Constraint on the
Control and Their Estimates . . . . . . 123--130
Antonio Marigonda and
Giandomenico Orlandi Optimal Mass Transportation-Based Models
for Neuronal Fibers . . . . . . . . . . 131--138
Elke Moser and
Alexia Prskawetz and
Gernot Tragler Optimal Controls in Models of Economic
Growth and the Environment . . . . . . . 139--146
L. Poggiolini and
G. Stefani On the Minimum Time Problem for Dodgem
Car-Like Bang--Singular Extremals . . . 147--154
Ivan Popchev and
Petko Petkov and
Mihail Konstantinov and
Vera Angelova Perturbation Bounds for the Nonlinear
Matrix Equation . . . . . . . . . . . . 155--162
Anonymous Front Matter . . . . . . . . . . . . . . 163--163
Anonymous Front Matter . . . . . . . . . . . . . . 163--163
Maria Angelova and
Tania Pencheva Sensitivity Analysis for the Purposes of
Parameter Identification of a \em S.
cerevisiae Fed-Batch Cultivation . . . . 165--172
D. Anghinolfi and
L. M. Gambardella and
R. Montemanni and
C. Nattero and
M. Paolucci and
N. E. Toklu A Matheuristic Algorithm for a
Large-Scale Energy Management Problem 173--181
Lilija Atanassova and
Krassimir Atanassov On a Game-Method for Modelling with
Intuitionistic Fuzzy Estimations: Part 1 182--189
Vassia Atanassova and
Stefka Fidanova and
Panagiotis Chountas and
Krassimir Atanassov A Generalized Net with an ACO-Algorithm
Optimization Component . . . . . . . . . 190--197
Todor Balabanov and
Iliyan Zankinski and
Nina Dobrinkova Time Series Prediction by Artificial
Neural Networks and Differential
Evolution in Distributed Environment . . 198--205
Jerzy Duda and
Iwona Skalna Differential Evolution Applied to Large
Scale Parametric Interval Linear Systems 206--213
Javier Espinar and
Carlos Cotta and
Antonio J. Fernández-Leiva User-Centric Optimization with
Evolutionary and Memetic Systems . . . . 214--221
Stefka Fidanova and
Krassimir Atanassov and
Pencho Marinov Intuitionistic Fuzzy Estimation of the
Ant Colony Optimization Starting Points 222--229
A. Mucherino and
M. Fuchs and
X. Vasseur and
S. Gratton Variable Neighborhood Search for Robust
Optimization and Applications to
Aerodynamics . . . . . . . . . . . . . . 230--237
Piotr Ratuszniak Processor Array Design with the Use of
Genetic Algorithm . . . . . . . . . . . 238--246
Olympia Roeva A Hybrid Genetic Algorithm for Parameter
Identification of Bioprocess Models . . 247--255
Dana Simian and
Florin Stoica A General Frame for Building Optimal
Multiple SVM Kernels . . . . . . . . . . 256--263
Anonymous Front Matter . . . . . . . . . . . . . . 265--265
A. Brandiyska and
K. Ganev and
D. Syrakov and
M. Prodanova and
N. Miloshev Modeling of Toxic Substances in the
Atmosphere --- Risk Analysis and
Emergency Forecast . . . . . . . . . . . 267--274
Hristo Chervenkov Some Aspects of Impact in the Potential
Climate Change on Ozone Pollution Levels
over Bulgaria from High Resolution
Simulations . . . . . . . . . . . . . . 275--282
Krassimir Georgiev and
Tzvetan Ostromsky and
Zahari Zlatev New Parallel Implementation of an Air
Pollution Computer Model --- Performance
Study on an IBM Blue Gene/P Computer . . 283--290
Georgi Jordanov and
Jonathan D. Beezley and
Nina Dobrinkova and
Adam K. Kochanski and
Jan Mandel Simulation of the 2009 Harmanli Fire
(Bulgaria) . . . . . . . . . . . . . . . 291--298
Konstantinos Liolios and
Vassilios Tsihrintzis and
Konstantinos Moutsopoulos and
Ivan Georgiev A Computational Approach for Remediation
Procedures in Horizontal Subsurface Flow
Constructed Wetlands . . . . . . . . . . 299--306
Tzvetan Ostromsky and
Ivan Dimov and
Rayna Georgieva and
Zahari Zlatev Parallel Computation of Sensitivity
Analysis Data for the Danish Eulerian
Model . . . . . . . . . . . . . . . . . 307--315
R. San Jose and
J. L. Perez and
R. M. Gonzalez Implementation of Two Different Shadow
Models into EULAG Model: Madrid Case
Study . . . . . . . . . . . . . . . . . 316--323
D. Syrakov and
M. Prodanova Model Simulation of Air Pollution Due to
April 2010 Iceland Volcano Eruption . . 324--332
A. Tchorbadjieff Automatic Data Quality Control of
Environmental Data . . . . . . . . . . . 333--340
Anonymous Front Matter . . . . . . . . . . . . . . 341--341
Gundolf Haase and
Martin Schanz and
Samar Vafai Computing Boundary Element Method's
Matrices on GPU . . . . . . . . . . . . 343--350
Kiril S. Shterev and
Stefan K. Stefanov and
Emanouil I. Atanassov A Parallel Algorithm with Improved
Performance of Finite Volume Method
(SIMPLE--TS) . . . . . . . . . . . . . . 351--358
Josef Weinbub and
Karl Rupp and
Siegfried Selberherr Towards Distributed Heterogeneous
High-Performance Computing with ViennaCL 359--367
Peter Zinterhof High-Throughput-Screening of Medical
Image Data on Heterogeneous Clusters . . 368--377
Anonymous Front Matter . . . . . . . . . . . . . . 379--379
P. Popov Preconditioning of Linear Systems
Arising in Finite Element
Discretizations of the Brinkman Equation 381--389
Anonymous Front Matter . . . . . . . . . . . . . . 391--391
Bòrre Bang and
Lubomir T. Dechevsky and
Arne Lakså and
Peter Zanaty Blending Functions for Hermite
Interpolation by Beta-Function B-Splines
on Triangulations . . . . . . . . . . . 393--401
Lubomir T. Dechevsky and
Jostein Bratlie and
Joakim Gundersen Index Mapping between Tensor-Product
Wavelet Bases of Different Number of
Variables, and Computing Multivariate
Orthogonal Discrete Wavelet Transforms
on Graphics Processing Units . . . . . . 402--410
Lubomir T. Dechevsky and
Georgi H. Georgiev Interpolation of Curvature and Torsion
Using Expo-Rational B-Splines . . . . . 411--419
Lubomir T. Dechevsky and
Rumen Uluchev Hermite Interpolation Using ERBS with
Trigonometric Polynomial Local Functions 420--428
Lubomir T. Dechevsky and
Peter Zanaty Triangular Beta-Function B-Spline Finite
Elements: Evaluation and Graphical
Comparisons . . . . . . . . . . . . . . 429--436
Anonymous Front Matter . . . . . . . . . . . . . . 437--437
Emanouil I. Atanassov and
Sofiya Ivanovska Sensitivity Study of Heston Stochastic
Volatility Model Using GPGPU . . . . . . 439--446
Lado Filipovic and
Siegfried Selberherr A Monte Carlo Simulator for Non-contact
Mode Atomic Force Microscopy . . . . . . 447--454
Sofiya Ivanovska and
A. Karaivanova and
N. Manev Numerical Integration Using Sequences
Generating Permutations . . . . . . . . 455--463
Dragan Sahpaski and
Ljup\vco Pejov and
Anastas Misev Optimization of Intermolecular
Interaction Potential Energy Parameters
for Monte--Carlo and Molecular Dynamics
Simulations . . . . . . . . . . . . . . 464--471
Philipp Schwaha and
Mihail Nedjalkov and
Siegfried Selberherr and
Ivan Dimov Phonon-Induced Decoherence in Electron
Evolution . . . . . . . . . . . . . . . 472--479
Romic\ua Trandafir and
Cornel Resteanu Study of Human Influenza's Spreading
Phenomenon . . . . . . . . . . . . . . . 480--486
Anonymous Front Matter . . . . . . . . . . . . . . 487--487
Radim Blaheta and
Vojt\vech Sokol Multilevel Solvers with Aggregations for
Voxel Based Analysis of Geomaterials . . 489--497
Cyril Flaig and
Peter Arbenz A Highly Scalable Matrix-Free Multigrid
Solver for $\mu$ FE Analysis Based on a
Pointer-Less Octree . . . . . . . . . . 498--506
E. Linnér and
R. Strand Aliasing Properties of Voxels in
Three-Dimensional Sampling Lattices . . 507--514
Jaroslav Vond\vrejc and
Jan Zeman and
Ivo Marek Analysis of a Fast Fourier Transform
Based Method for Modeling of
Heterogeneous Materials . . . . . . . . 515--522
Anonymous Front Matter . . . . . . . . . . . . . . 523--523
Anonymous Front Matter . . . . . . . . . . . . . . 523--523
A. B. Andreev and
M. R. Racheva Properties and Estimates of an Integral
Type Nonconforming Finite Element . . . 525--532
A. B. Andreev and
M. R. Racheva Quadratic Finite Element Approximation
of a Contact Eigenvalue Problem . . . . 533--540
Radim Blaheta and
Rostislav Hrtus and
Roman Kohut and
Ond\vrej Jakl Optimization Methods for Calibration of
Heat Conduction Models . . . . . . . . . 541--548
P. Boyanova and
M. Do-Quang and
M. Neytcheva Block-Preconditioners for Conforming and
Non-conforming FEM Discretizations of
the Cahn--Hilliard Equation . . . . . . 549--557
J. D. Kandilarov and
D. \vSev\vcovi\vc Comparison of Two Numerical Methods for
Computation of American Type of the
Floating Strike Asian Option . . . . . . 558--565
Miglena N. Koleva and
Lubin G. Vulkov A Kernel-Based Algorithm for Numerical
Solution of Nonlinear PDEs in Finance 566--573
N. Kosturski and
S. Margenov and
Y. Vutov Improving the Efficiency of Parallel FEM
Simulations on Voxel Domains . . . . . . 574--581
J. Kraus and
M. Lymbery and
S. Margenov On the Robustness of Two-Level
Preconditioners for Quadratic FE
Orthotropic Elliptic Problems . . . . . 582--589
Angelos Liolios and
Konstantinos Chalioris and
Asterios Liolios and
Stefan Radev A Computational Approach for the
Earthquake Response of Cable-Braced
Reinforced Concrete Structures under
Environmental Actions . . . . . . . . . 590--597
Tchavdar T. Marinov and
Rossitza Marinova An Inverse Problem for the Stationary
Kirchhoff Equation . . . . . . . . . . . 598--605
Michele Martone and
Marcin Paprzycki and
Salvatore Filippone An Improved Sparse Matrix-Vector
Multiply Based on Recursive Sparse
Blocks Layout . . . . . . . . . . . . . 606--613
Miklós E. Mincsovics and
Tamás L. Horváth On the Differences of the Discrete Weak
and Strong Maximum Principles for
Elliptic Operators . . . . . . . . . . . 614--621
Tomasz Olas and
Roman Wyrzykowski Adaptive FEM Package with Decentralized
Parallel Adaptation of Tetrahedral
Meshes . . . . . . . . . . . . . . . . . 622--629
D. Osintsev and
A. Makarov and
V. Sverdlov and
S. Selberherr Efficient Simulations of the Transport
Properties of Spin Field-Effect
Transistors Built on Silicon Fins . . . 630--637
Tasho Tashev and
Vladimir Monov Large-Scale Simulation of Uniform Load
Traffic for Modeling of Throughput on a
Crossbar Switch Node . . . . . . . . . . 638--645
Marina Trapeznikova and
Boris Chetverushkin and
Natalia Churbanova and
Dmitrii Morozov Two-Phase Porous Media Flow Simulation
on a Hybrid Cluster . . . . . . . . . . 646--653
R. L. Valkov Petrov--Galerkin Analysis for a
Degenerate Parabolic Equation in
Zero-Coupon Bond Pricing . . . . . . . . 654--661
Katarzyna Wasielewska and
Micha\l Drozdowicz and
Pawe\l Szmeja and
Maria Ganzha and
Marcin Paprzycki Agents in Grid System --- Design and
Implementation . . . . . . . . . . . . . 662--669
Roman Wyrzykowski and
Krzysztof Rojek and
\Lukasz Szustak Using Blue Gene/P and GPUs to Accelerate
Computations in the EULAG Model . . . . 670--677
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Irene Celino and
Daniele Dell'Aglio Linking Knowledge for Simulation
Learning . . . . . . . . . . . . . . . . 1--15
Muriel Foulonneau Generating Educational Assessment Items
from Linked Open Data: The Case of
DBpedia . . . . . . . . . . . . . . . . 16--27
Julien Robinson and
Johann Stan and
Myriam Ribi\`ere Using Linked Data to Reduce Learning
Latency for e-Book Readers . . . . . . . 28--34
Fouad Zablith and
Miriam Fernandez and
Matthew Rowe The OU Linked Open Data: Production and
Consumption . . . . . . . . . . . . . . 35--49
Martin Przyjaciel-Zablocki and
Alexander Schätzle and
Thomas Hornung and
Georg Lausen RDFPath: Path Query Processing on Large
RDF Graphs with MapReduce . . . . . . . 50--64
Joshua L. Moore and
Florian Steinke and
Volker Tresp A Novel Metric for Information Retrieval
in Semantic Networks . . . . . . . . . . 65--79
Irene Celino and
Daniele Dell'Aglio and
Emanuele Della Valle and
Yi Huang and
Tony Lee and
Seon-Ho Kim Towards BOTTARI: Using Stream Reasoning
to Make Sense of Location-Based
Micro-posts . . . . . . . . . . . . . . 80--87
Diana Maynard and
Adam Funk Automatic Detection of Political
Opinions in Tweets . . . . . . . . . . . 88--99
Jur\'gis \vS\ckilters and
Monika Kreile and
Uldis Boj\=ars and
Inta Brik\vse and
J\=anis Pencis and
Laura Uzule The Pragmatics of Political Messages in
Twitter Communication . . . . . . . . . 100--111
Suvodeep Mazumdar and
Andrea Varga and
Vita Lanfranchi and
Daniela Petrelli and
Fabio Ciravegna A Knowledge Dashboard for Manufacturing
Industries . . . . . . . . . . . . . . . 112--124
Danica Damljanovic and
Milan Agatonovic and
Hamish Cunningham FREyA: An Interactive Way of Querying
Linked Data Using Natural Language . . . 125--138
Victoria Beltran and
Knarig Arabshian and
Henning Schulzrinne Ontology-Based User-Defined Rules and
Context-Aware Service Composition System 139--155
Danica Damljanovic and
Johann Petrak and
Mihai Lupu and
Hamish Cunningham and
Mats Carlsson Random Indexing for Finding Similar
Nodes within Large RDF Graphs . . . . . 156--171
Saumen Dey and
Daniel Zinn and
Bertram Ludäscher Reconciling Provenance Policy Conflicts
by Inventing Anonymous Nodes . . . . . . 172--185
Tadej \vStajner and
Dunja Mladeni\'c and
Marko Grobelnik Information Resource Recommendation in
Knowledge Processes . . . . . . . . . . 186--193
Yiannis Verginadis and
Ioannis Patiniotakis and
Nikos Papageorgiou and
Roland Stuehmer Service Adaptation Recommender in the
Event Marketplace: Conceptual View . . . 194--201
Mihai C\^\irl\uanaru and
Deyan Ginev and
Christoph Lange Authoring and Publishing Units and
Quantities in Semantic Documents . . . . 202--216
Riccardo Boero and
Enrico Ferro and
Michele Osella and
Yannis Charalabidis and
Euripidis Loukis Policy Intelligence in the Era of Social
Computing: Towards a Cross-Policy
Decision Support System . . . . . . . . 217--228
Konstantin Hyppönen and
Miika Alonen and
Sami Korhonen and
Virpi Hotti XHTML with RDFa as a Semantic Document
Format for CCTS Modelled Documents and
Its Application for Social Services . . 229--240
Christos Tsarouchis and
Declan O'Sullivan and
David Lewis Balancing System Expressivity and User
Cognitive Load in Semantically Enhanced
Policy Modelling . . . . . . . . . . . . 241--252
Amparo-Elizabeth Cano and
Aba-Sah Dadzie and
Victoria Uren and
Fabio Ciravegna Sensing Presence (PreSense) Ontology:
User Modelling in the Semantic Sensor
Web . . . . . . . . . . . . . . . . . . 253--268
Ke Tao and
Fabian Abel and
Qi Gao and
Geert-Jan Houben TUMS: Twitter-Based User Modeling
Service . . . . . . . . . . . . . . . . 269--283
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Ananda Basu and
Saddek Bensalem and
Marius Bozga Rigorous System Design: The BIP Approach 1--19
Peter J. Bentley Natural Born Computing . . . . . . . . . 20--36
Krishnendu Chatterjee and
Laurent Doyen Games and Markov Decision Processes with
Mean-Payoff Parity and Energy Parity
Objectives . . . . . . . . . . . . . . . 37--46
Görschwin Fey Assessing System Vulnerability Using
Formal Verification Techniques . . . . . 47--56
Renato Renner Information Security in a Quantum World 57--62
Vlastimil Babka and
Petr T\ocircuma Computer Memory: Why We Should Care What
Is under the Hood . . . . . . . . . . . 63--75
Kaspars Balodis and
Ilja Kucevalovs Frequency Prediction of Functions . . . 76--83
Ji\vrí Barnat and
Ivana \vCerná and
Jana T\ocircumová Timed Automata Approach to Verification
of Systems with Degradation . . . . . . 84--93
Roland Cmorik and
Galina Jirásková Basic Operations on Binary Suffix-Free
Languages . . . . . . . . . . . . . . . 94--102
Dalibor Klusá\vcek and
Hana Rudová Efficient Data Representation of Large
Job Schedules . . . . . . . . . . . . . 103--113
Monika Krausová Prefix-Free Regular Languages: Closure
Properties, Difference, and Left
Quotient . . . . . . . . . . . . . . . . 114--122
Bohuslav K\vrena and
Zden\vek Letko and
Tomá\vs Vojnar Noise Injection Heuristics for
Concurrency Testing . . . . . . . . . . 123--135
Ji\vrí Matela and
Martin \vSrom and
Petr Holub Low GPU Occupancy Approach to Fast
Arithmetic Coding in JPEG2000 . . . . . 136--145
Jakub Ma\vzgut and
Martina Paulinyová and
Peter Ti\vno Using Dimensionality Reduction Method
for Binary Data to Questionnaire
Analysis . . . . . . . . . . . . . . . . 146--154
Petr Hlin\vený and
Ondrej Mori\vs Generalized Maneuvers in Route Planning 155--166
Jan Obdr\vzálek and
Ji\vrí Slabý and
Marek Trtík STANSE: Bug-Finding Framework for C
Programs . . . . . . . . . . . . . . . . 167--178
Christos Sakellariou and
Peter J. Bentley Introducing the FPGA-Based Hardware
Architecture of Systemic Computation
(HAoS) . . . . . . . . . . . . . . . . . 179--190
Steven van der Vegt and
Alfons Laarman A Parallel Compact Hash Table . . . . . 191--204
Roman \vZilka and
Vashek Matyá\vs and
Libor Kyncl Four Authorization Protocols for an
Electronic Payment System . . . . . . . 205--214
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Gildas Avoine Privacy Challenges in RFID . . . . . . . 1--8
Alexandros Karakasidis and
Vassilios S. Verykios and
Peter Christen Fake Injection Strategies for Private
Phonetic Matching . . . . . . . . . . . 9--24
Ilaria Matteucci and
Marinella Petrocchi and
Marco Luca Sbodio and
Luca Wiegand A Design Phase for Data Sharing
Agreements . . . . . . . . . . . . . . . 25--41
Javier Parra-Arnau and
David Rebollo-Monedero and
Jordi Forné A Privacy-Protecting Architecture for
Collaborative Filtering via Forgery and
Suppression of Ratings . . . . . . . . . 42--57
Christian A. Duncan and
Vir V. Phoha On the Complexity of Aggregating
Information for Authentication and
Profiling . . . . . . . . . . . . . . . 58--71
Jaydip Sen Secure and Privacy-Aware Searching in
Peer-to-Peer Networks . . . . . . . . . 72--89
Masoumeh Safkhani and
Nasour Bagheri and
Somitra Kumar Sanadhya and
Majid Naderi and
Hamid Behnam On the Security of Mutual Authentication
Protocols for RFID Systems: The Case of
Wei et al. 's Protocol . . . . . . . . . 90--103
Joachim Biskup and
Cornelia Tadros Inference-Proof View Update Transactions
with Minimal Refusals . . . . . . . . . 104--121
Alexander Pretschner and
Enrico Lovat and
Matthias Büchler Representation-Independent Data Usage
Control . . . . . . . . . . . . . . . . 122--140
Aimilia Tasidou and
Pavlos S. Efraimidis Using Personal Portfolios to Manage
Customer Data . . . . . . . . . . . . . 141--154
Mariem Graa and
Nora Cuppens-Boulahia and
Fabien Autrel and
Hanieh Azkia and
Frédéric Cuppens Using Requirements Engineering in an
Automatic Security Policy Derivation
Process . . . . . . . . . . . . . . . . 155--172
Tigran Avanesov and
Yannick Chevalier and
Mohammed Anis Mekki and
Michaël Rusinowitch Web Services Verification and Prudent
Implementation . . . . . . . . . . . . . 173--189
Muhammad Sabir Idrees and
Gabriel Serme and
Yves Roudier and
Anderson Santana De Oliveira Evolving Security Requirements in
Multi-layered
Service-Oriented-Architectures . . . . . 190--205
Leanid Krautsevich and
Fabio Martinelli and
Charles Morisset and
Artsiom Yautsiukhin Risk-Based Auto-delegation for
Probabilistic Availability . . . . . . . 206--220
Carles Martínez-García and
Guillermo Navarro-Arribas and
Joan Borrell Intra-role Progression in RBAC: An
RPG-Like Access Control Scheme . . . . . 221--234
Tigran Avanesov and
Yannick Chevalier and
Mohammed Anis Mekki and
Michaël Rusinowitch Distributed Orchestration of Web
Services under Security Constraints . . 235--252
Julio Cesar Hernandez-Castro and
Pedro Peris-Lopez and
Jean-Philippe Aumasson On the Key Schedule Strength of PRESENT 253--263
Enric Pujol-Gil and
Nikolaos Chatzis A Traffic Regulation Method Based on MRA
Signatures to Reduce Unwanted Traffic
from Compromised End-User Machines . . . 264--279
Yulong Fu and
Ousmane Kone Network Securing against Threatening
Requests . . . . . . . . . . . . . . . . 280--294
Maria N. Koukovini and
Eugenia I. Papagiannakopoulou and
Georgios V. Lioudakis A Workflow Checking Approach for
Inherent Privacy Awareness in Network
Monitoring . . . . . . . . . . . . . . . 295--302
Helge Janicke and
Mohamed Sarrab and
Hamza Aldabbas Controlling Data Dissemination . . . . . 303--309
Christine Hennebert and
Vincent Berg A Framework of Deployment Strategy for
Hierarchical WSN Security Management . . 310--318
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??
Francisco Grimaldo and
Mario Paolucci and
Rosaria Conte Agent Simulation of Peer Review: The
PR-1 Model . . . . . . . . . . . . . . . 1--14
Nardine Osman and
Jordi Sabater-Mir and
Carles Sierra and
Jordi Madrenas-Ciurana Simulating Research Behaviour . . . . . 15--30
Tongkui Yu and
Shu-Heng Chen Agent-Based Modeling of the Prediction
Markets for Political Elections . . . . 31--43
Ond\vrej Van\vek and
Michal Jakob and
Ond\vrej Hrstka and
Michal P\vechou\vcek Using Multi-agent Simulation to Improve
the Security of Maritime Transit . . . . 44--58
Benoit Gaudou and
Andreas Herzig and
Emiliano Lorini and
Christophe Sibertin-Blanc How to Do Social Simulation in Logic:
Modelling the Segregation Game in a
Dynamic Logic of Assignments . . . . . . 59--73
Lorenza Manenti and
Sara Manzoni and
Giuseppe Vizzari and
Kazumichi Ohtsuka and
Kenichiro Shimura An Agent-Based Proxemic Model for
Pedestrian and Group Dynamics:
Motivations and First Experiments . . . 74--89
Pengfei Xing and
Michael Lees and
Hu Nan and
T. Vaisagh Viswanthatn Validation of Agent-Based Simulation
through Human Computation: An Example of
Crowd Simulation . . . . . . . . . . . . 90--102
Gildas Morvan and
Alexandre Veremme and
Daniel Dupont Observation of Large-Scale Multi-Agent
Based Simulations . . . . . . . . . . . 103--112
H. Van Dyke Parunak Between Agents and Mean Fields . . . . . 113--126
Anonymous Back Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . ??