Table of contents for issues of Lecture Notes in Computer Science

Last update: Sat Mar 30 12:29:02 MDT 2019                Valid HTML 3.2!

Volume 7502, 2012
Volume 7503, 2012
Volume 7507, 2012
Volume 7509, 2012
Volume 7510, 2012
Volume 7511, 2012
Volume 7512, 2012
Volume 7513, 2012
Volume 7515, 2012
Volume 7516, 2012
Volume 7517, 2012
Volume 7518, 2012
Volume 7519, 2012
Volume 7520, 2012
Volume 7521, 2012
Volume 7522, 2012
Volume 7523, 2012
Volume 7524, 2012
Volume 7526, 2012
Volume 7527, 2012
Volume 7528, 2012
Volume 7530, 2012
Volume 7531, 2012
Volume 7532, 2012
Volume 7533, 2012
Volume 7534, 2012
Volume 7535, 2012
Volume 7538, 2012
Volume 7539, 2012
Volume 7541, 2012
Volume 7543, 2012
Volume 7546, 2012
Volume 7547, 2012
Volume 7548, 2012
Volume 7549, 2012


Lecture Notes in Computer Science
Volume 7502, 2012

              Pascal Kuyten and   
           Timothy Bickmore and   
        Svetlana Stoyanchev and   
                 Paul Piwek and   
              Helmut Prendinger   Fully Automated Generation of
                                  Question-Answer Pairs for Scripted
                                  Virtual Instruction  . . . . . . . . . . 1--14
                   Weizi Li and   
                 Jan M. Allbeck   The Virtual Apprentice . . . . . . . . . 15--27
          Anton Bogdanovych and   
                 Kiran Ijaz and   
                  Simeon Simoff   The City of Uruk: Teaching Ancient
                                  History in a Virtual World . . . . . . . 28--35
                Anuj Tewari and   
                 Ingrid Liu and   
                 Carrie Cai and   
                     John Canny   An Analysis of the Dialogic Complexities
                                  in Designing a Question/Answering Based
                                  Conversational Agent for Preschoolers    36--45
            Sara Bernardini and   
      Kaska Porayska-Pomsta and   
               Tim J. Smith and   
             Katerina Avramides   Building Autonomous Social Partners for
                                  Autistic Children  . . . . . . . . . . . 46--52
           Celso M. de Melo and   
            Peter Carnevale and   
                Jonathan Gratch   The Effect of Virtual Agents' Emotion
                                  Displays and Appraisals on People's
                                  Decision Making in Negotiation . . . . . 53--66
              Angelo Cafaro and   
Hannes Högni Vilhjálmsson and   
           Timothy Bickmore and   
                    Dirk Heylen   First Impressions: Users' Judgments of
                                  Virtual Agents' Personality and
                                  Interpersonal Attitude in First
                                  Encounters . . . . . . . . . . . . . . . 67--80
                 Jason Tsai and   
               Emma Bowring and   
             Stacy Marsella and   
                 Wendy Wood and   
                   Milind Tambe   A Study of Emotional Contagion with
                                  Virtual Characters . . . . . . . . . . . 81--88
                 Lazlo Ring and   
           Timothy Bickmore and   
                Daniel Schulman   Longitudinal Affective Computing . . . . 89--96
              Nuno Ferreira and   
         Samuel Mascarenhas and   
                  Ana Paiva and   
               Frank Dignum and   
              John Mc Breen and   
                    Nick Degens   Generating Norm-Related Emotions in
                                  Virtual Agents . . . . . . . . . . . . . 97--104
            Henrique Campos and   
               Joana Campos and   
            Carlos Martinho and   
                      Ana Paiva   Virtual Agents in Conflict . . . . . . . 105--111
Elena Márquez Segura and   
            Michael Kriegel and   
                Ruth Aylett and   
              Amol Deshmukh and   
               Henriette Cramer   How Do You Like Me in This: User
                                  Embodiment Preferences for Companion
                                  Agents . . . . . . . . . . . . . . . . . 112--125
           Kirsten Bergmann and   
          Friederike Eyssel and   
                    Stefan Kopp   A Second Chance to Make a First
                                  Impression? How Appearance and Nonverbal
                                  Behavior Affect Perceived Warmth and
                                  Competence of Virtual Agents over Time   126--138
              David M. Krum and   
               Evan A. Suma and   
                     Mark Bolas   Spatial Misregistration of Virtual Human
                                  Audio: Implications of the Precedence
                                  Effect . . . . . . . . . . . . . . . . . 139--145
         Vaishnavi Krishnan and   
             Adriana Foster and   
               Regis Kopper and   
                   Benjamin Lok   Virtual Human Personality Masks: a Human
                                  Computation Approach to Modeling Verbal
                                  Personalities in Virtual Humans  . . . . 146--152
          Annika Silvervarg and   
            Kristin Raukola and   
               Magnus Haake and   
                    Agneta Gulz   The Effect of Visual Gender on Abuse in
                                  Conversation with ECAs . . . . . . . . . 153--160
                   Jina Lee and   
                 Stacy Marsella   Modeling Speaker Behavior: a Comparison
                                  of Two Approaches  . . . . . . . . . . . 161--174
       Herwin van Welbergen and   
             Dennis Reidsma and   
                    Stefan Kopp   An Incremental Multimodal Realizer for
                                  Behavior Co-Articulation and
                                  Coordination . . . . . . . . . . . . . . 175--188
              Tiago Ribeiro and   
                 Marco Vala and   
                      Ana Paiva   Thalamus: Closing the Mind-Body Loop in
                                  Interactive Embodied Characters  . . . . 189--195
          Samer Al Moubayed and   
            Gabriel Skantze and   
                   Jonas Beskow   Lip-Reading: Furhat Audio Visual
                                  Intelligibility of a Back Projected
                                  Animated Face  . . . . . . . . . . . . . 196--203
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7503, 2012

   Leonardo Andrade Ribeiro and   
               Theo Härder   Leveraging the Storage Layer to Support
                                  XML Similarity Joins in XDBMSs . . . . . 1--14
           Piotr Andruszkiewicz   Retention Replacement in Privacy
                                  Preserving Classification  . . . . . . . 15--28
        Witold Andrzejewski and   
                Bartosz B\kebel   FOCUS: An Index FO r C ontinuo US
                                  Subsequence Pattern Queries  . . . . . . 29--42
             Rima Bouchakri and   
             Ladjel Bellatreche   Static and Incremental Selection of
                                  Multi-table Indexes for Very Large Join
                                  Queries  . . . . . . . . . . . . . . . . 43--56
       Sebastian Breß and   
                Felix Beier and   
                   Hannes Rauhe   Automatic Selection of Processing Units
                                  for Coprocessing in Databases  . . . . . 57--70
         Jerzy Brzezi\'nski and   
            Arkadiusz Danilecki   D-ReServE: Distributed Reliable Service
                                  Environment  . . . . . . . . . . . . . . 71--84
             Petra Budikova and   
               Michal Batko and   
                   Pavel Zezula   Query Language for Complex Similarity
                                  Queries  . . . . . . . . . . . . . . . . 85--98
                Andre Calil and   
       Ronaldo dos Santos Mello   SimpleSQL: a Relational Layer for
                                  SimpleDB . . . . . . . . . . . . . . . . 99--110
         Camilo Castellanos and   
                  Dario Correal   KALCAS: a FrameworK for Semi-automatic
                                  ALignment of Data and Business ProCesses
                                  ArchitectureS  . . . . . . . . . . . . . 111--124
            Barbara Catania and   
              Giovanna Guerrini   Towards Relaxed Selection and Join
                                  Queries over Data Streams  . . . . . . . 125--138
             Lars Dannecker and   
                Elena Vasilyeva   Efficient Integration of External
                                  Information into Forecast Models from
                                  the Energy Domain  . . . . . . . . . . . 139--152
        Christophe Debruyne and   
                Robert Meersman   GOSPL: a Method and Tool for
                                  Fact-Oriented Hybrid Ontology
                                  Engineering  . . . . . . . . . . . . . . 153--166
             Veneta Dobreva and   
         Martina-Cezara Albutiu   Get Tracked: a Triple Store for RFID
                                  Traceability Data  . . . . . . . . . . . 167--180
                  Htoo Htoo and   
              Yutaka Ohsawa and   
                Noboru Sonehara   Aggregate Nearest Neighbor Search
                                  Methods Using SSMTA* Algorithm on
                                  Road-Network . . . . . . . . . . . . . . 181--194
                 Rong Huang and   
              Rada Chirkova and   
                    Yahya Fathi   Deterministic View Selection for
                                  Data-Analysis Queries: Properties and
                                  Algorithms . . . . . . . . . . . . . . . 195--208
             Milena Ivanova and   
                 Martin Kersten   Just-In-Time Data Distribution for
                                  Analytical Query Processing  . . . . . . 209--222
        Leonid Kalinichenko and   
               Sergey Stupnikov   Synthesis of the Canonical Models for
                                  Database Integration Preserving
                                  Semantics of the Value Inventive Data
                                  Models . . . . . . . . . . . . . . . . . 223--239
      Balázs Kósa   Containment and Satisfiability Problem
                                  for XPath with Recursion . . . . . . . . 240--253
               Susana Ladra and   
             Oscar Pedreira and   
                     Jose Duato   Exploiting SIMD Instructions in Current
                                  Processors to Improve Classical String
                                  Algorithms . . . . . . . . . . . . . . . 254--267
          Sebastian Lehrack and   
                  Sascha Saretz   A Top-$k$ Filter for Logic-Based
                                  Similarity Conditions on Probabilistic
                                  Databases  . . . . . . . . . . . . . . . 268--281
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7507, 2012

               Zuozheng Lou and   
                   Peng Yao and   
                  Dingguo Zhang   Wireless Master-Slave FES Rehabilitation
                                  System Using sEMG Control  . . . . . . . 1--10
                Lizheng Pan and   
                 Aiguo Song and   
                Guozheng Xu and   
                  Huijun Li and   
                      Baoguo Xu   Intelligent Prescription-Diagnosis
                                  Function for Rehabilitation Training
                                  Robot System . . . . . . . . . . . . . . 11--20
        Myagmarbayar Nergui and   
               Yuki Yoshida and   
            Nevrez Imamoglu and   
              Jose Gonzalez and   
                      Wenwei Yu   Human Behavior Recognition by a
                                  Bio-monitoring Mobile Robot  . . . . . . 21--30
                Yuanjie Fan and   
                    Yuehong Yin   Differentiated Time-Frequency
                                  Characteristics Based Real-Time Motion
                                  Decoding for Lower Extremity
                                  Rehabilitation Exoskeleton Robot . . . . 31--40
                Zhixuan Wei and   
               Weidong Chen and   
                 Jingchuan Wang   3D Semantic Map-Based Shared Control for
                                  Smart Wheelchair . . . . . . . . . . . . 41--51
    Mohammad Habibur Rahman and   
               Maarouf Saad and   
   Jean Pierre Kenné and   
              P. S. Archambault   Nonlinear Sliding Mode Control
                                  Implementation of an Upper Limb
                                  Exoskeleton Robot to Provide Passive
                                  Rehabilitation Therapy . . . . . . . . . 52--62
              Baocheng Wang and   
             Chenguang Yang and   
                  Zhijun Li and   
                     Alex Smith   sEMG-Based Control of an Exoskeleton
                                  Robot Arm  . . . . . . . . . . . . . . . 63--73
           Gunther Reinhart and   
          Ruediger Spillner and   
                        Yi Shen   Approaches of Applying
                                  Human-Robot-Interaction-Technologies to
                                  Assist Workers with Musculoskeletal
                                  Disorders in Production  . . . . . . . . 74--84
               Yixiong Chen and   
                     Jin Hu and   
                 Feng Zhang and   
                  Zengguang Hou   Simulation Study of an FES-Involved
                                  Control Strategy for Lower Limb
                                  Rehabilitation Robot . . . . . . . . . . 85--95
                    Chao Lv and   
                     Le Xie and   
                   Wei Shao and   
                Hai-long Yu and   
                  Yuan Wang and   
                Jin-wu Wang and   
                       Ning Nan   Development of a Rehabilitation Robot
                                  for Upper-Limb Movements . . . . . . . . 96--102
                 Gang Zhang and   
                PinKuan Liu and   
                       Han Ding   Dynamic Optimization with a New
                                  Performance Index for a $2$-DoF
                                  Translational Parallel Manipulator . . . 103--115
                  Qiwei Guo and   
                 Yueming Hu and   
                   Zhifu Li and   
                          Ge Ma   Research of Piezoelectric Printing
                                  Actuator for High-Power White LED
                                  Phosphor Coating . . . . . . . . . . . . 116--126
                   Jian Gao and   
              Zhiliang Wang and   
                 Yanyun Liu and   
              Chuanxia Jian and   
                       Xin Chen   Development of OLED Panel Defect
                                  Detection System through Improved Otsu
                                  Algorithm  . . . . . . . . . . . . . . . 127--134
              Jinsong Zhang and   
                  Jianhua Zhang   The Linkage Control Strategy for the
                                  Two-Phase Flow Dispensing System . . . . 135--144
                 Junfeng Ge and   
                 Yuneng Lai and   
              Yuanhao Huang and   
                  Jianhua Zhang   The Transient Temperature Field
                                  Measurement System for Laser Bonding
                                  Process  . . . . . . . . . . . . . . . . 145--152
                    Wei Yan and   
                Enrong Wang and   
                  Yang Zhao and   
            Rakheja Subhash and   
                      Chunyi Su   Modeling of Electromagnetic Interference
                                  Noise Mechanism for Magneto-Rheological
                                  Damper . . . . . . . . . . . . . . . . . 153--163
      Johannes Höcherl and   
                 Thomas Schlegl   An Image Based Algorithm to Safely
                                  Locate Human Extremities for Human-Robot
                                  Collaboration  . . . . . . . . . . . . . 164--175
               Hangfei Zhou and   
                   Jian Fei and   
                    Gen Pan and   
                 Weixin Yan and   
                  Zhuang Fu and   
                  Yanzheng Zhao   Research of a Multi-DOF Pathological
                                  Sampling Flexible Robot  . . . . . . . . 176--185
           Juergen Rossmann and   
            Michael Schluse and   
         Christian Schlette and   
                     Ralf Waspe   Control by $3$D Simulation --- a New
                                  eRobotics Approach to Control Design in
                                  Automation . . . . . . . . . . . . . . . 186--197
                  Peter Liu and   
                  Chang-En Yang   Human Intention Estimation Using
                                  Time-Varying Fuzzy Markov Models for
                                  Natural Non-verbal Human Robot Interface 198--206
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7509, 2012

                Jingwen Yan and   
        Shannon L. Risacher and   
                    Sungeun Kim   Multimodal Neuroimaging Predictors for
                                  Cognitive Performance Using Structured
                                  Sparse Learning  . . . . . . . . . . . . 1--17
               Martin Dyrba and   
              Michael Ewers and   
                 Martin Wegrzyn   Combining DTI and MRI for the Automated
                                  Detection of Alzheimer's Disease Using a
                                  Large European Multicenter Dataset . . . 18--28
             Neda Jahanshad and   
              Gautam Prasad and   
                 Arthur W. Toga   Genetics of Path Lengths in Brain
                                  Connectivity Networks: HARDI-Based Maps
                                  in 457 Adults  . . . . . . . . . . . . . 29--40
               Talia M. Nir and   
             Neda Jahanshad and   
                 Arthur W. Toga   Connectivity Network Breakdown Predicts
                                  Imminent Volumetric Atrophy in Early
                                  Mild Cognitive Impairment  . . . . . . . 41--50
             Burak Yoldemir and   
                 Bernard Ng and   
             Rafeef Abugharbieh   Deconfounding the Effects of Resting
                                  State Activity on Task Activation
                                  Detection in fMRI  . . . . . . . . . . . 51--60
                    Jie Shi and   
           Paul M. Thompson and   
                     Yalin Wang   Hyperbolic Ricci Flow and Its
                                  Application in Studying Lateral
                                  Ventricle Morphometry  . . . . . . . . . 61--76
         Bennett A. Landman and   
                   Xue Yang and   
                   Hakmook Kang   Do We Really Need Robust and Alternative
                                  Inference Methods for Brain MRI? . . . . 77--93
             Daoqiang Zhang and   
                 Qimiao Guo and   
                 Guorong Wu and   
                  Dinggang Shen   Sparse Patch-Based Label Fusion for
                                  Multi-Atlas Segmentation . . . . . . . . 94--102
            Suyash P. Awate and   
                Peihong Zhu and   
               Ross T. Whitaker   How Many Templates Does It Take for a
                                  Good Segmentation?: Error Analysis in
                                  Multiatlas Segmentation as a Function of
                                  Database Size  . . . . . . . . . . . . . 103--114
      Juan Eugenio Iglesias and   
              Mert Rory Sabuncu   A Generative Model for Probabilistic
                                  Label Fusion of Multimodal Data  . . . . 115--133
                    Wei Liu and   
              Xiaozheng Liu and   
                  Xiaofu He and   
                Zhenyu Zhou and   
                       Ying Wen   Spatial Normalization of Diffusion
                                  Tensor Images with Voxel-Wise
                                  Reconstruction of the Diffusion Gradient
                                  Direction  . . . . . . . . . . . . . . . 134--146
                    Yan Jin and   
               Yonggang Shi and   
                 Liang Zhan and   
                     Junning Li   Automatic Population HARDI White Matter
                                  Tract Clustering by Label Fusion of
                                  Multiple Tract Atlases . . . . . . . . . 147--156
          Maddalena Strumia and   
      Constantin Anastasopoulos   Comparative Characterisation of
                                  Susceptibility Weighted MRI for Brain
                                  White Matter Lesions in MS . . . . . . . 157--166
                  Tuo Zhang and   
                    Lei Guo and   
                 Hanbo Chen and   
                  Xintao Hu and   
                     Kaiming Li   Constructing Fiber Atlases for
                                  Functional ROIs via fMRI-Guided DTI
                                  Image Registration . . . . . . . . . . . 167--174
                   Biao Jie and   
             Daoqiang Zhang and   
              Chong-Yaw Wee and   
                  Dinggang Shen   Structural Feature Selection for
                                  Connectivity Network-Based MCI Diagnosis 175--184
                Yaping Wang and   
                Hongjun Jia and   
              Pew-Thian Yap and   
                       Bo Cheng   Groupwise Segmentation Improves
                                  Neuroimaging Classification Accuracy . . 185--193
              Pew-Thian Yap and   
                  Dinggang Shen   DWI Denoising Using Spatial, Angular,
                                  and Radiometric Filtering  . . . . . . . 194--202
                   Fang Cao and   
          Olivier Commowick and   
                  Elise Bannier   MRI Estimation of $T_1$ Relaxation Time
                                  Using a Constrained Optimization
                                  Algorithm  . . . . . . . . . . . . . . . 203--214
             Camille Maumet and   
              Pierre Maurel and   
   Jean-Christophe Ferré   Robust Cerebral Blood Flow Map
                                  Estimation in Arterial Spin Labeling . . 215--224
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7510, 2012

                 M. Freiman and   
                 S. D. Voss and   
              R. V. Mulkern and   
       J. M. Perez-Rossello and   
                 M. J. Callahan   Reliable Assessment of Perfusivity and
                                  Diffusivity from Diffusion Imaging of
                                  the Body . . . . . . . . . . . . . . . . 1--9
                 Robin Wolz and   
               Chengwen Chu and   
            Kazunari Misawa and   
               Kensaku Mori and   
                Daniel Rueckert   Multi-organ Abdominal CT Segmentation
                                  Using Hierarchically Weighted
                                  Subject-Specific Atlases . . . . . . . . 10--17
              Benoit Diotte and   
        Pascal Fallavollita and   
                Lejing Wang and   
              Simon Weidert and   
           Peter-Helmut Thaller   Radiation-Free Drill Guidance in
                                  Interlocking of Intramedullary Nails . . 18--25
                 Siyang Zuo and   
            Takeshi Ohdaira and   
               Kenta Kuwana and   
            Yoshihiro Nagao and   
                  Satoshi Ieiri   Developing Essential Rigid-Flexible
                                  Outer Sheath to Enable Novel
                                  Multi-piercing Surgery . . . . . . . . . 26--33
Benjamín Béjar Haro and   
              Luca Zappella and   
              René Vidal   Surgical Gesture Classification from
                                  Video Data . . . . . . . . . . . . . . . 34--41
          Caitlin Schneider and   
                Ali Baghani and   
             Robert Rohling and   
             Septimiu Salcudean   Remote Ultrasound Palpation for Robotic
                                  Interventions Using Absolute
                                  Elastography . . . . . . . . . . . . . . 42--49
       Igor Peterlík and   
           Christian Duriez and   
          Stéphane Cotin   Modeling and Real-Time Simulation of a
                                  Vascularized Liver Tissue  . . . . . . . 50--57
                   Yanwu Xu and   
                  Jiang Liu and   
                Stephen Lin and   
                    Dong Xu and   
            Carol Y. Cheung and   
                   Tin Aung and   
                  Tien Yin Wong   Efficient Optic Cup Detection from
                                  Intra-image Learning with Retinal
                                  Structure Priors . . . . . . . . . . . . 58--65
           Habib Bousleiman and   
            Christof Seiler and   
            Tateyuki Iizuka and   
           Lutz-Peter Nolte and   
                 Mauricio Reyes   Population-Based Design of Mandibular
                                  Plates Based on Bone Quality and
                                  Morphology . . . . . . . . . . . . . . . 66--73
                  Yang Song and   
                Weidong Cai and   
                   Yun Zhou and   
                     Dagan Feng   Thoracic Abnormality Detection with Data
                                  Adaptive Structure Estimation  . . . . . 74--81
                   Bo Cheng and   
             Daoqiang Zhang and   
                  Dinggang Shen   Domain Transfer Learning for MCI
                                  Conversion Prediction  . . . . . . . . . 82--90
                    J. Bano and   
              A. Hostettler and   
              S. A. Nicolau and   
                   S. Cotin and   
                 C. Doignon and   
                   H. S. Wu and   
                    M. H. Huang   Simulation of Pneumoperitoneum for
                                  Laparoscopic Surgery Planning  . . . . . 91--98
                 Binbin Pan and   
               James J. Xia and   
                  Peng Yuan and   
               Jaime Gateno and   
            Horace H. S. Ip and   
                      Qizhen He   Incremental Kernel Ridge Regression for
                                  the Prediction of Soft Tissue
                                  Deformations . . . . . . . . . . . . . . 99--106
                Jose George and   
            Kathleen Vunckx and   
       Elke Van de Casteele and   
                  Sabine Tejpar   Fuzzy Multi-class Statistical Modeling
                                  for Efficient Total Lesion Metabolic
                                  Activity Estimation from Realistic PET
                                  Images . . . . . . . . . . . . . . . . . 107--114
                Kien Nguyen and   
             Anindya Sarkar and   
                   Anil K. Jain   Structure and Context in Prostatic Gland
                                  Segmentation and Classification  . . . . 115--123
                Yinxiao Liu and   
              Punam K. Saha and   
                       Ziyue Xu   Quantitative Characterization of
                                  Trabecular Bone Micro-architecture Using
                                  Tensor Scale and Multi-Detector CT
                                  Imaging  . . . . . . . . . . . . . . . . 124--131
               Nikhil Singh and   
             Angela Y. Wang and   
   Preethi Sankaranarayanan and   
             P. Thomas Fletcher   Genetic, Structural and Functional
                                  Imaging Biomarkers for Early Detection
                                  of Conversion from MCI to AD . . . . . . 132--140
               Yiqiang Zhan and   
              Dewan Maneesh and   
              Martin Harder and   
                Xiang Sean Zhou   Robust MR Spine Detection Using
                                  Hierarchical Learning and Local
                                  Articulated Model  . . . . . . . . . . . 141--148
                   D. Duong and   
                 D. Shastri and   
             P. Tsiamyrtzis and   
                    I. Pavlidis   Spatiotemporal Reconstruction of the
                                  Breathing Function . . . . . . . . . . . 149--156
             Angel Cruz-Roa and   
      Fabio González and   
              Joseph Galaro and   
       Alexander R. Judkins and   
                  David Ellison   A Visual Latent Semantic Approach for
                                  Automatic Analysis and Interpretation of
                                  Anaplastic Medulloblastoma Virtual
                                  Slides . . . . . . . . . . . . . . . . . 157--164
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7511, 2012

              Dominik Kutra and   
              Axel Saalbach and   
              Helko Lehmann and   
            Alexandra Groth and   
          Sebastian P. M. Dries   Automatic Multi-model-Based Segmentation
                                  of the Left Atrium in Cardiac MRI Scans  1--8
            Vincent Bismuth and   
      Régis Vaillant and   
              Hugues Talbot and   
                 Laurent Najman   Curvilinear Structure Enhancement with
                                  the Polygonal Path Image- Application to
                                  Guide-Wire Segmentation in X-Ray
                                  Fluoroscopy  . . . . . . . . . . . . . . 9--16
                  Peng Wang and   
               Yefeng Zheng and   
              Matthias John and   
                Dorin Comaniciu   Catheter Tracking via Online Learning
                                  for Dynamic Motion Compensation in
                                  Transcatheter Aortic Valve Implantation  17--24
              R. J. Housden and   
                 A. Arujuna and   
                      Y. Ma and   
                  N. Nijhof and   
                G. Gijsbers and   
                 R. Bullens and   
                     M. O'Neill   Evaluation of a Real-Time Hybrid
                                  Three-Dimensional Echo and X-Ray Imaging
                                  System for Guidance of Cardiac
                                  Catheterisation Procedures . . . . . . . 25--32
                  S. Rapaka and   
                   T. Mansi and   
               B. Georgescu and   
                     M. Pop and   
               G. A. Wright and   
                   A. Kamen and   
                Dorin Comaniciu   LBM-EP: Lattice-Boltzmann Method for
                                  Fast Cardiac Electrophysiology
                                  Simulation from $3$D Images  . . . . . . 33--40
Stéphanie Marchesseau and   
    Hervé Delingette and   
           Maxime Sermesant and   
                    Kawal Rhode   Cardiac Mechanical Parameter Calibration
                                  Based on the Unscented Transform . . . . 41--48
            Elena Bernardis and   
            Ender Konukoglu and   
                Yangming Ou and   
        Dimitris N. Metaxas and   
              Benoit Desjardins   Temporal Shape Analysis via the Spectral
                                  Signature  . . . . . . . . . . . . . . . 49--56
             Viviana Siless and   
             Joan Glaun\`es and   
             Pamela Guevara and   
Jean-François Mangin and   
                   Cyril Poupon   Joint T1 and Brain Fiber Log-Demons
                                  Registration Using Currents to Model
                                  Geometry . . . . . . . . . . . . . . . . 57--65
           Sebastian Steger and   
                  Stefan Wesarg   Automated Skeleton Based Multi-modal
                                  Deformable Registration of Head&Neck
                                  Datasets . . . . . . . . . . . . . . . . 66--73
 Alexander Schmidt-Richberg and   
               Jan Ehrhardt and   
         René Werner and   
                  Heinz Handels   Lung Registration with Improved Fissure
                                  Alignment by Integration of Pulmonary
                                  Lobe Segmentation  . . . . . . . . . . . 74--81
        Ilker Hacihaliloglu and   
            Anna Brounstein and   
                 Pierre Guy and   
             Antony Hodgson and   
             Rafeef Abugharbieh   3D Ultrasound-CT Registration in
                                  Orthopaedic Trauma Using GMM
                                  Registration with Optimized Particle
                                  Simulation-Based Data Reduction  . . . . 82--89
                 Guorong Wu and   
               Minjeong Kim and   
                  Qian Wang and   
                  Dinggang Shen   Hierarchical Attribute-Guided Symmetric
                                  Diffeomorphic Registration for MR Brain
                                  Images . . . . . . . . . . . . . . . . . 90--97
        Hengameh Mirzaalian and   
                 Tim K. Lee and   
               Ghassan Hamarneh   Uncertainty-Based Feature Learning for
                                  Skin Lesion Matching Using a High Order
                                  MRF Optimization Framework . . . . . . . 98--105
            Shouhei Hanaoka and   
         Yoshitaka Masutani and   
           Mitsutaka Nemoto and   
                Yukihiro Nomura   Automatic Categorization of Anatomical
                                  Landmark-Local Appearances Based on
                                  Diffeomorphic Demons and Spectral
                                  Clustering for Constructing Detector
                                  Ensembles  . . . . . . . . . . . . . . . 106--113
               Ayman El-Baz and   
              Fahmi Khalifa and   
              Ahmed Elnakib and   
            Matthew Nitzken and   
                  Ahmed Soliman   A Novel Approach for Global Lung
                                  Registration Using $3$D Markov--Gibbs
                                  Appearance Model . . . . . . . . . . . . 114--121
       James A. Shackleford and   
                    Qi Yang and   
     Ana M. Lourenço and   
           Nadya Shusharina and   
            Nagarajan Kandasamy   Analytic Regularization of Uniform Cubic
                                  B-spline Deformation Fields  . . . . . . 122--129
            Christof Seiler and   
              Xavier Pennec and   
                 Mauricio Reyes   Simultaneous Multiscale Polyaffine
                                  Registration by Incorporating
                                  Deformation Statistics . . . . . . . . . 130--137
                 Junning Li and   
               Yonggang Shi and   
                 Giang Tran and   
                  Ivo Dinov and   
           Danny J. J. Wang and   
                 Arthur W. Toga   Fast Diffusion Tensor Registration with
                                  Exact Reorientation and Regularization   138--145
                Minqi Zhang and   
                    Fang Li and   
                    Ying He and   
                    Shi Lin and   
                Defeng Wang and   
                   Lok Ming Lui   Registration of Brainstem Surfaces in
                                  Adolescent Idiopathic Scoliosis Using
                                  Discrete Ricci Flow  . . . . . . . . . . 146--154
     Martijn van de Giessen and   
               Frans M. Vos and   
     Cornelis A. Grimbergen and   
             Lucas J. van Vliet   Groupwise Rigid Registration of Wrist
                                  Bones  . . . . . . . . . . . . . . . . . 155--162
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7512, 2012

              Berkin Bilgic and   
            Kawin Setsompop and   
          Julien Cohen-Adad and   
                 Van Wedeen and   
               Lawrence L. Wald   Accelerated Diffusion Spectrum Imaging
                                  with Compressed Sensing Using Adaptive
                                  Dictionaries . . . . . . . . . . . . . . 1--9
             Sylvain Merlet and   
           Emmanuel Caruyer and   
                 Rachid Deriche   Parametric Dictionary Learning for
                                  Modeling EAP and ODF in Diffusion MRI    10--17
              Pew-Thian Yap and   
                  Dinggang Shen   Resolution Enhancement of
                                  Diffusion-Weighted Images by Local Fiber
                                  Profiling  . . . . . . . . . . . . . . . 18--25
           M. Jorge Cardoso and   
              Gavin Winston and   
                 Marc Modat and   
         Shiva Keihaninejad and   
                    John Duncan   Geodesic Shape-Based Averaging . . . . . 26--33
            Peter Savadjiev and   
               Yogesh Rathi and   
              Sylvain Bouix and   
               Ragini Verma and   
            Carl-Fredrik Westin   Multi-scale Characterization of White
                                  Matter Tract Geometry  . . . . . . . . . 34--41
                Jakob Vogel and   
              Tobias Reichl and   
    José Gardiazabal and   
               Nassir Navab and   
                  Tobias Lasser   Optimization of Acquisition Geometry for
                                  Intra-operative Tomographic Imaging  . . 42--49
      Juan Eugenio Iglesias and   
          Mert Rory Sabuncu and   
               Koen Van Leemput   Incorporating Parameter Uncertainty in
                                  Bayesian Segmentation Models:
                                  Application to Hippocampal Subfield
                                  Volumetry  . . . . . . . . . . . . . . . 50--57
              Xiaojie Huang and   
            Donald P. Dione and   
            Colin B. Compas and   
      Xenophon Papademetris and   
                     Ben A. Lin   A Dynamical Appearance Model Based on
                                  Multiscale Sparse Representation:
                                  Segmentation of the Left Ventricle from
                                  $4$D Echocardiography  . . . . . . . . . 58--65
       Rémi Cuingnet and   
            Raphael Prevost and   
               David Lesage and   
           Laurent D. Cohen and   
                 Beno\^\it Mory   Automatic Detection and Segmentation of
                                  Kidneys in $3$D CT Images Using Random
                                  Forests  . . . . . . . . . . . . . . . . 66--74
            Ender Konukoglu and   
                Ben Glocker and   
                Darko Zikic and   
              Antonio Criminisi   Neighbourhood Approximation Forests  . . 75--82
               Roland Kwitt and   
           Nuno Vasconcelos and   
            Sharif Razzaque and   
                Stephen Aylward   Recognition in Ultrasound Videos: Where
                                  Am I?  . . . . . . . . . . . . . . . . . 83--90
               Hassan Rivaz and   
               D. Louis Collins   Self-similarity Weighted Mutual
                                  Information: a New Nonrigid Image
                                  Registration Metric  . . . . . . . . . . 91--98
              Karim Lekadir and   
        Alejandro F. Frangi and   
               Guang-Zhong Yang   Inter-Point Procrustes: Identifying
                                  Regional and Large Differences in $3$D
                                  Anatomical Shapes  . . . . . . . . . . . 99--106
             Petter Risholm and   
             Firdaus Janoos and   
           Jennifer Pursley and   
             Andriy Fedorov and   
                  Clare Tempany   Selection of Optimal Hyper-Parameters
                                  for Estimation of Uncertainty in
                                  MRI-TRUS Registration of the Prostate    107--114
        Mattias P. Heinrich and   
             Mark Jenkinson and   
          Sir Michael Brady and   
              Julia A. Schnabel   Globally Optimal Deformable Registration
                                  on a Minimum Spanning Tree Using Dense
                                  Displacement Sampling  . . . . . . . . . 115--122
        Lauren J. O'Donnell and   
       William M. Wells III and   
         Alexandra J. Golby and   
            Carl-Fredrik Westin   Unbiased Groupwise Registration of White
                                  Matter Tractography  . . . . . . . . . . 123--130
                Dong Hye Ye and   
                 Jihun Hamm and   
               Dongjin Kwon and   
        Christos Davatzikos and   
                 Kilian M. Pohl   Regional Manifold Learning for
                                  Deformable Registration of Brain MR
                                  Images . . . . . . . . . . . . . . . . . 131--138
            Ryan D. Datteri and   
            Beno\^\it M. Dawant   Estimation and Reduction of Target
                                  Registration Error . . . . . . . . . . . 139--146
               Aasa Feragen and   
              Jens Petersen and   
                 Megan Owen and   
                  Pechin Lo and   
               Laura H. Thomsen   A Hierarchical Scheme for Geodesic
                                  Anatomical Labeling of Airway Trees  . . 147--155
                  Pei Zhang and   
              Pew-Thian Yap and   
              Dinggang Shen and   
              Timothy F. Cootes   Initialising Groupwise Non-rigid
                                  Registration Using Multiple
                                  Parts+Geometry Models  . . . . . . . . . 156--163
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7513, 2012

                  Jian Xiao and   
                   Yu Zhang and   
                Shuwei Chen and   
                     Huashan Yu   An Application-Level Scheduling with
                                  Task Bundling Approach for Many-Task
                                  Computing in Heterogeneous Environments  1--13
                Jintao Meng and   
               Jianrui Yuan and   
              Jiefeng Cheng and   
                 Yanjie Wei and   
                Shengzhong Feng   DGraph: Algorithms for Shortgun Reads
                                  Assembly Using De Bruijn Graph . . . . . 14--21
                Yizhuo Wang and   
                 Weixing Ji and   
                   Feng Shi and   
                     Qi Zuo and   
                      Ning Deng   Knowledge-Based Adaptive Self-Scheduling 22--32
           Shahnawaz Talpur and   
                   Feng Shi and   
                    Yizhuo Wang   Communication Locality Analysis of
                                  Triplet-Based Hierarchical
                                  Interconnection Network in Chip
                                  Multiprocessor . . . . . . . . . . . . . 33--41
                  Jae-Young Lee   A Scoring System for Short Answers on
                                  the Test in a Large Group  . . . . . . . 42--47
               Ralph Duncan and   
               Peder Jungck and   
               Kenneth Ross and   
                 Dwight Mulcahy   Reference Variables for Dynamic,
                                  Reliable Packet Operations . . . . . . . 48--60
               Shelly Salim and   
        Christian H. W. Oey and   
                    Sangman Moh   Are Heterogeneous Cellular Networks
                                  Superior to Homogeneous Ones?  . . . . . 61--68
               Longbo Zhang and   
                    Chen Yu and   
                        Hai Jin   Dynamic Spray and Wait Routing Protocol
                                  for Delay Tolerant Networks  . . . . . . 69--76
             Narjes Soltani and   
    Ehsan Mousavi Khaneghah and   
             Mohsen Sharifi and   
        Seyedeh Leili Mirtaheri   A Dynamic Popularity-Aware Load
                                  Balancing Algorithm for Structured P2P
                                  Systems  . . . . . . . . . . . . . . . . 77--84
                 Jinzhi Lin and   
                    Ying Wu and   
                  Gongyi Wu and   
                    Jingdong Xu   NCCPIS: a Co-simulation Tool for
                                  Networked Control and Cyber-Physical
                                  System Evaluation  . . . . . . . . . . . 85--93
             Muhammad Ahmed and   
                   Xu Huang and   
              Dharmendra Sharma   Dempster-Shafer Theory to Identify
                                  Insider Attacker in Wireless Sensor
                                  Network  . . . . . . . . . . . . . . . . 94--100
              Bo-Chao Cheng and   
               Guo-Tan Liao and   
              Ching-Kai Lin and   
              Shih-Chun Hsu and   
               Ping-Hai Hsu and   
                 Jong Hyuk Park   MIB-ITrace-CP: An Improvement of
                                  ICMP-Based Traceback Efficiency in
                                  Network Forensic Analysis  . . . . . . . 101--109
                  Ding Wang and   
              Chun-guang Ma and   
              Sen-dong Zhao and   
                  Chang-li Zhou   Breaking a Robust Remote User
                                  Authentication Scheme Using Smart Cards  110--118
                   Irfana Memon   An Analysis of Privacy Preserving Data
                                  Aggregation Protocols for WSNs . . . . . 119--128
             R. Krishnaveni and   
              C. Chellappan and   
                R. Dhanalakshmi   Hybrid Obfuscated Javascript Strength
                                  Analysis System for Detection of
                                  Malicious Websites . . . . . . . . . . . 129--137
               Taeseung Lee and   
                 Giyoun Won and   
                Seongje Cho and   
                 Namje Park and   
                     Dongho Won   Detection and Mitigation of Web
                                  Application Vulnerabilities Based on
                                  Security Testing . . . . . . . . . . . . 138--144
                Jintao Meng and   
               Jianrui Yuan and   
              Jiefeng Cheng and   
                 Yanjie Wei and   
                Shengzhong Feng   Small World Asynchronous Parallel Model
                                  for Genome Assembly  . . . . . . . . . . 145--155
               Haitao Jiang and   
                     Yun Xu and   
                   Yin Liao and   
                 Guojie Jin and   
                  Guoliang Chen   UKCF: a New Graphics Driver
                                  Cross-Platform Translation Framework for
                                  Virtual Machines . . . . . . . . . . . . 156--163
                 Yongnan Li and   
                 Limin Xiao and   
                Aihua Liang and   
                  Yao Zheng and   
                        Li Ruan   Fast Parallel Garner Algorithm for
                                  Chinese Remainder Theorem  . . . . . . . 164--171
                    Xu Zhou and   
                     Kai Lu and   
                 Xicheng Lu and   
              Xiaoping Wang and   
                     Baohua Fan   dMPI: Facilitating Debugging of MPI
                                  Programs via Deterministic Message
                                  Passing  . . . . . . . . . . . . . . . . 172--179
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7515, 2012

                  Kalyanmoy Deb   Advances in Evolutionary Multi-objective
                                  Optimization . . . . . . . . . . . . . . 1--26
          Massimiliano Di Penta   SBSE Meets Software Maintenance:
                                  Achievements and Open Problems . . . . . 27--28
                 Simon Poulding   Tutorial: High Performance SBSE Using
                                  Commodity Graphics Cards . . . . . . . . 29--29
         Jonathan M. Aitken and   
              Rob Alexander and   
                  Tim Kelly and   
                 Simon Poulding   Evolving Robust Networks for
                                  Systems-of-Systems . . . . . . . . . . . 30--44
               Franco Arito and   
          Francisco Chicano and   
                   Enrique Alba   On the Application of SAT Solvers to the
                                  Test Suite Minimization Problem  . . . . 45--59
Márcio de Oliveira Barros   Evaluating the Importance of Randomness
                                  in Search-Based Software Engineering . . 60--74
            Gabriele Bavota and   
         Filomena Carnevale and   
            Andrea De Lucia and   
          Massimiliano Di Penta   Putting the Developer in-the-Loop: An
                                  Interactive GA for Software
                                  Re-modularization  . . . . . . . . . . . 75--89
       Neelesh Bhattacharya and   
              Olfat El-Mahi and   
             Etienne Duclos and   
              Giovanni Beltrame   Optimizing Threads Schedule Alignments
                                  to Expose the Interference Bug Pattern   90--104
            Mustafa Bozkurt and   
                    Mark Harman   Optimised Realistic Test Input
                                  Generation Using Web Services  . . . . . 105--120
               Shadi Ghaith and   
   Mel Ó Cinnéide   Improving Software Security Using
                                  Search-Based Refactoring . . . . . . . . 121--135
      Muhammad Zohaib Iqbal and   
              Andrea Arcuri and   
                  Lionel Briand   Combining Search-Based and Adaptive
                                  Random Testing Strategies for
                                  Environment Model-Based Testing of
                                  Real-Time Embedded Systems . . . . . . . 136--151
       Vendula Hrubá and   
           Bohuslav K\vrena and   
             Zden\vek Letko and   
                  Shmuel Ur and   
          Tomá\vs Vojnar   Testing of Concurrent Programs Using
                                  Genetic Algorithms . . . . . . . . . . . 152--167
Roberto Erick Lopez-Herrejon and   
     José A. Galindo and   
            David Benavides and   
                  Sergio Segura   Reverse Engineering Feature Models with
                                  Evolutionary Algorithms: An Exploratory
                                  Study  . . . . . . . . . . . . . . . . . 168--182
            Alan G. Millard and   
             David R. White and   
                  John A. Clark   Searching for Pareto-optimal Randomised
                                  Algorithms . . . . . . . . . . . . . . . 183--197
          Andres J. Ramirez and   
         Erik M. Fredericks and   
             Adam C. Jensen and   
              Betty H. C. Cheng   Automatically RELAXing a Goal Model to
                                  Cope with Uncertainty  . . . . . . . . . 198--212
            Abdelilah Sakti and   
Yann-Gaël Guéhéneuc and   
                  Gilles Pesant   Boosting Search Based Testing by Using
                                  Constraint Based Testing . . . . . . . . 213--227
                Alex Tomasi and   
       Alessandro Marchetto and   
      Chiara Di Francescomarino   Domain-Driven Reduction Optimization of
                                  Recovered Business Processes . . . . . . 228--243
                       Shin Yoo   Evolving Human Competitive Spectra-Based
                                  Fault Localisation Techniques  . . . . . 244--258
       Thelma Elita Colanzi and   
         Silvia Regina Vergilio   Applying Search Based Optimization to
                                  Software Product Line Architectures:
                                  Lessons Learned  . . . . . . . . . . . . 259--266
             Ramin Etemaadi and   
     Michael T. M. Emmerich and   
          Michel R. V. Chaudron   Problem-Specific Search Operators for
                                  Metaheuristic Software Architecture
                                  Design . . . . . . . . . . . . . . . . . 267--272
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7516, 2012

  Andrés Saraos Luna and   
   Valérie Gouranton and   
                  Bruno Arnaldi   Collaborative Virtual Environments for
                                  Training: a Unified Interaction Model
                                  for Real Humans and Virtual Humans . . . 1--12
                 Tom Gedeon and   
                Dingyun Zhu and   
                Stephane Bersot   Developing a Situated Virtual Reality
                                  Simulation for Telerobotic Control and
                                  Training . . . . . . . . . . . . . . . . 13--22
              Viktor Wendel and   
          Stefan Göbel and   
                 Ralf Steinmetz   Game Mastering in Collaborative
                                  Multiplayer Serious Games  . . . . . . . 23--34
             Florian Berger and   
           Wolfgang Müller   Implementing High-Resolution Adaptivity
                                  in Game-Based Learning . . . . . . . . . 35--40
                 Cyril Brom and   
        Vít \vSisler and   
   Michaela Buchtová and   
             Daniel Klement and   
          David Lev\vcík   Turning High-Schools into Laboratories?
                                  Lessons Learnt from Studies of
                                  Instructional Effectiveness of Digital
                                  Games in the Curricular Schooling System 41--53
             \Lukasz Szweda and   
              Daniel Wilusz and   
              Jakub Floty\'nski   Application of NXT Based Robots for
                                  Teaching Java-Based Concurrency  . . . . 54--64
               Jan L. Plass and   
             Bruce D. Homer and   
       Elizabeth O. Hayward and   
              Jonathan Frye and   
                 Tsu-Ting Huang   The Effect of Learning Mechanics Design
                                  on Learning Outcomes in a Computer-Based
                                  Geometry Game  . . . . . . . . . . . . . 65--71
             Philip Mildner and   
       Christopher Campbell and   
           Mark Himmelsbach and   
          Christoph Malassa and   
                   Marco Miczka   A Serious Game for Architectural
                                  Knowledge in the Classroom . . . . . . . 72--77
              Steven Rausch and   
              Uwe Fasshauer and   
                   Alke Martens   Evaluation of Competence Development in
                                  WoW  . . . . . . . . . . . . . . . . . . 78--88
       Michail N. Giannakos and   
Konstantinos Chorianopoulos and   
               Letizia Jaccheri   ``This Game Is Girly!'' Perceived
                                  Enjoyment and Student Acceptance of
                                  Edutainment  . . . . . . . . . . . . . . 89--98
            Johannes Konert and   
          Stefan Göbel and   
                 Ralf Steinmetz   Towards a Social Game Interaction
                                  Taxonomy . . . . . . . . . . . . . . . . 99--110
              Sonja Ganguin and   
                   Anna Hoblitz   Mobile Worlds: Mobile Gaming and
                                  Learning?  . . . . . . . . . . . . . . . 111--120
            Kazuya Takemata and   
           Akiyuki Minamide and   
                 Sumio Nakamura   Science and Technology Communication
                                  Activities by Using $3$D Image
                                  Projection System  . . . . . . . . . . . 121--124
            Loreen Pogrzeba and   
              Markus Wacker and   
                  Bernhard Jung   Potentials of a Low-Cost Motion Analysis
                                  System for Exergames in Rehabilitation
                                  and Sports Medicine  . . . . . . . . . . 125--133
             Danu Pranantha and   
         Francesco Bellotti and   
              Ricardo Berta and   
           Alessandro De Gloria   Puzzle-it: An HTML5 Serious Games
                                  Platform for Education . . . . . . . . . 134--143
               Florian Mehm and   
          Stefan Göbel and   
                 Ralf Steinmetz   Authoring of Serious Adventure Games in
                                  StoryTec . . . . . . . . . . . . . . . . 144--154
               Chun-Tsai Wu and   
             Szu-Ming Chung and   
               Shao-Shiun Chang   Designing an Interactive Storytelling
                                  Game . . . . . . . . . . . . . . . . . . 155--160
           Christian Reuter and   
              Viktor Wendel and   
          Stefan Göbel and   
                 Ralf Steinmetz   Towards Puzzle Templates for Multiplayer
                                  Adventures . . . . . . . . . . . . . . . 161--163
                Oliver Korn and   
              Michael Brach and   
           Albrecht Schmidt and   
           Thomas Hörz and   
                  Robert Konrad   Context-Sensitive User-Centered
                                  Scalability: An Introduction Focusing on
                                  Exergames and Assistive Systems in Work
                                  Contexts . . . . . . . . . . . . . . . . 164--176
           Anna Lisa Martin and   
                 Josef Wiemeyer   The Impact of Different Gaming
                                  Interfaces on Spatial Experience and
                                  Spatial Presence --- a Pilot Study . . . 177--182
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7517, 2012

                Deokwoo Lee and   
                     Hamid Krim   System Identification: $3$D Measurement
                                  Using Structured Light System  . . . . . 1--11
Valérian Némesin and   
    Stéphane Derrode and   
          Amel Benazza-Benyahia   Gradual Iris Code Construction from
                                  Close-Up Eye Video . . . . . . . . . . . 12--23
                   Xin Wang and   
            Boris Lenseigne and   
                  Pieter Jonker   Depth from Vergence and Active
                                  Calibration for Humanoid Robots  . . . . 24--35
                 Sergi Foix and   
              Simon Kriegel and   
               Stefan Fuchs and   
           Guillem Aleny\`a and   
                   Carme Torras   Information-Gain View Planning for
                                  Free-Form Object Reconstruction with a
                                  $3$D ToF Camera  . . . . . . . . . . . . 36--47
        Gaetano Di Caterina and   
                Iain Hunter and   
               John J. Soraghan   DSP Embedded Smart Surveillance Sensor
                                  with Robust SWAD-Based Tracker . . . . . 48--58
                Pavel Karas and   
              David Svoboda and   
          Pavel Zem\vcík   GPU Optimization of Convolution for
                                  Large $3$-D Real Images  . . . . . . . . 59--71
             Krystyna Malik and   
                  Bogdan Smolka   Modified Bilateral Filter for the
                                  Restoration of Noisy Color Images  . . . 72--83
        Seyfollah Soleimani and   
  Jacob Premkumar Sukumaran and   
          Koen Douterloigne and   
                    Filip Rooms   Correction, Stitching and Blur
                                  Estimation of Micro-graphs Obtained at
                                  High Speed . . . . . . . . . . . . . . . 84--95
              Wajdi Elhamzi and   
              Julien Dubois and   
              Johel Miteran and   
               Mohamed Atri and   
                  Rached Tourki   Hardware Implementation of a
                                  Configurable Motion Estimator for
                                  Adjusting the Video Coding Performances  96--107
   Reinhold Huber-Mörk and   
            Alexander Schindler   Quality Assurance for Document Image
                                  Collections in Digital Preservation  . . 108--119
           Mitra Damghanian and   
               Roger Olsson and   
Mårten Sjöström   The Sampling Pattern Cube --- a
                                  Representation and Evaluation Tool for
                                  Optical Capturing Systems  . . . . . . . 120--131
           Julien Couillaud and   
          Alain Horé and   
                    Djemel Ziou   Improving Image Acquisition: a
                                  Fish-Inspired Solution . . . . . . . . . 132--141
           Angelo Cozzolino and   
         Francesco Flammini and   
            Valentina Galli and   
            Mariangela Lamberti   Evaluating the Effects of MJPEG
                                  Compression on Motion Tracking in Metro
                                  Railway Surveillance . . . . . . . . . . 142--154
            Michal Hradi\vs and   
      Martin Kolá\vr and   
 Ale\vs Láník and   
  Ji\vrí Král and   
      Pavel Zem\vcík and   
                   Pavel Smr\vz   Annotating Images with Suggestions---
                                  User Study of a Tagging System . . . . . 155--166
              Daniel Soukup and   
       Reinhold Huber-Mörk   Cross-Channel Co-occurrence Matrices for
                                  Robust Characterization of Surface
                                  Disruptions in $2{1\over2}$D Rail Image
                                  Analysis . . . . . . . . . . . . . . . . 167--177
Yainuvis Socarrás Salas and   
David Vázquez Bermudez and   
Antonio M. López Peña   Improving HOG with Image Segmentation:
                                  Application to Human Detection . . . . . 178--189
               Soumya Ghose and   
               Jhimli Mitra and   
               Arnau Oliver and   
        Robert Martí and   
        Xavier Lladó and   
                Jordi Freixenet   A Supervised Learning Framework for
                                  Automatic Prostate Segmentation in Trans
                                  Rectal Ultrasound Images . . . . . . . . 190--200
       Nicolas Lermé and   
     François Malgouyres   Simultaneous Segmentation and Filtering
                                  via Reduced Graph Cuts . . . . . . . . . 201--212
         Tomá\vs Suk and   
       Cyril Höschl IV and   
                    Jan Flusser   Rectangular Decomposition of Binary
                                  Images . . . . . . . . . . . . . . . . . 213--224
            Michal Krumnikl and   
               Eduard Sojka and   
                      Jan Gaura   A New Level-Set Based Algorithm for
                                  Bimodal Depth Segmentation . . . . . . . 225--236
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7518, 2012

        Klaus-Dieter Schewe and   
                      Qing Wang   Third International Workshop on
                                  Conceptual Modelling of Services (CMS
                                  2012)  . . . . . . . . . . . . . . . . . 1--2
             Mario Buchmayr and   
             Werner Kurschl and   
                Josef Küng   A Rule Based Approach for Mapping Sensor
                                  Data to Ontological Models in AAL
                                  Environments . . . . . . . . . . . . . . 3--12
                    Mariam Rady   Parameters for Service Level Agreements
                                  Generation in Cloud Computing  . . . . . 13--22
           Birger Andersson and   
            Maria Bergholtz and   
               Paul Johannesson   Resource, Process, and Use --- Views on
                                  Service Modeling . . . . . . . . . . . . 23--33
             Mircea Boris Vleju   A Client-Centric ASM-Based Approach to
                                  Identity Management in Cloud Computing   34--43
               Fabio Grandi and   
               Giorgio Orsi and   
              Letizia Tanca and   
               Riccardo Torlone   International Workshop on Evolution and
                                  Change in Data Management and on Non
                                  Conventional Data Access (ECDM ---
                                  NoCoDa 2012) . . . . . . . . . . . . . . 45--46
               Paolo Terenziani   The Telic/Atelic Distinction in Temporal
                                  Databases  . . . . . . . . . . . . . . . 47--56
       Alessandro Solimando and   
           Giorgio Delzanno and   
              Giovanna Guerrini   Static Analysis of XML Document
                                  Adaptations  . . . . . . . . . . . . . . 57--66
                    Shi Gao and   
                  Carlo Zaniolo   Supporting Database Provenance under
                                  Schema Evolution . . . . . . . . . . . . 67--77
Stéphane Frénot and   
       Stéphane Grumbach   An in-Browser Microblog Ranking Engine   78--88
          Kostas Stefanidis and   
             Nafiseh Shabib and   
 Kjetil Nòrvåg and   
                  John Krogstie   Contextual Recommendations for Groups    89--97
                  David Gil and   
              Juan Trujillo and   
                   Il-Yeol Song   First International Workshop on Modeling
                                  for Data-Intensive Computing . . . . . . 99--99
                Fabio Porto and   
      Ana Maria de C. Moura and   
  Bernardo Gonçalves and   
                    Ramon Costa   A Scientific Hypothesis Conceptual Model 101--110
      Alejandro Maté and   
             Hector Llorens and   
              Elisa de Gregorio   An Integrated Multidimensional Modeling
                                  Approach to Access Big Data in Business
                                  Intelligence Platforms . . . . . . . . . 111--120
             Salmin Sultana and   
                  Elisa Bertino   A Comprehensive Model for Provenance . . 121--130
           Carlos R. Rivero and   
      Inma Hernández and   
                 David Ruiz and   
               Rafael Corchuelo   Towards Discovering Ontological Models
                                  from Big RDF Data  . . . . . . . . . . . 131--140
             Krzysztof Wnuk and   
                Markus Borg and   
                  Sa\"\id Assar   Towards Scalable Information Modeling of
                                  Requirements Architectures . . . . . . . 141--150
             Ivan J. Jureta and   
   Stéphane Faulkner and   
         Esteban Zimányi   Preface to MORE-BI 2012  . . . . . . . . 151--151
            Bartosz B\kebel and   
             Miko\laj Morzy and   
              Tadeusz Morzy and   
 Zbyszko Królikowski and   
                 Robert Wrembel   OLAP-Like Analysis of Time Point-Based
                                  Sequential Data  . . . . . . . . . . . . 153--161
        Thomas Neuböck and   
              Bernd Neumayr and   
        Thomas Rossgatterer and   
            Stefan Anderlik and   
                Michael Schrefl   Multi-dimensional Navigation Modeling
                                  Using BI Analysis Graphs . . . . . . . . 162--171
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7519, 2012

        Régis Alenda and   
                Nicola Olivetti   Preferential Semantics for the Logic of
                                  Comparative Similarity over Triangular
                                  and Metric Models  . . . . . . . . . . . 1--13
        Régis Alenda and   
            Nicola Olivetti and   
              Gian Luca Pozzato   Nested Sequent Calculi for Conditional
                                  Logics . . . . . . . . . . . . . . . . . 14--27
                    Ofer Arieli   Conflict-Tolerant Semantics for
                                  Argumentation Frameworks . . . . . . . . 28--40
          Dimitris Askounis and   
          Costas D. Koutras and   
                   Yorgos Zikos   Knowledge Means ` All ', Belief Means `
                                  Most ' . . . . . . . . . . . . . . . . . 41--53
           Guillaume Aucher and   
            Bastien Maubert and   
François Schwarzentruber   Generalized DEL-Sequents . . . . . . . . 54--66
          Philippe Balbiani and   
                 Antoun Yaacoub   Deciding the Bisimilarity Relation
                                  between Datalog Goals  . . . . . . . . . 67--79
                Harald Beck and   
               Thomas Eiter and   
            Thomas Krennwallner   Inconsistency Management for Traffic
                                  Regulations: Formalization and
                                  Complexity Results . . . . . . . . . . . 80--93
 Mikkel Birkegaard Andersen and   
            Thomas Bolander and   
             Martin Holm Jensen   Conditional Epistemic Planning . . . . . 94--106
              Richard Booth and   
               Thomas Meyer and   
                Ivan Varzinczak   PTL: a Propositional Typicality Logic    107--119
             Laura Bozzelli and   
         Hans van Ditmarsch and   
               Sophie Pinchinat   The Complexity of One-Agent Refinement
                                  Modal Logic  . . . . . . . . . . . . . . 120--133
          Luciano Caroprese and   
           Irina Trubitsyna and   
   Miros\law Truszczy\'nski and   
                  Ester Zumpano   The View-Update Problem for Indefinite
                                  Databases  . . . . . . . . . . . . . . . 134--146
              Davide Ciucci and   
                  Didier Dubois   Three-Valued Logics for Incomplete
                                  Information and Epistemic Logic  . . . . 147--159
               Thomas Eiter and   
               Michael Fink and   
        Thomas Krennwallner and   
             Christoph Redl and   
            Peter Schüller   Exploiting Unfounded Sets for
                                  HEX-Program Evaluation . . . . . . . . . 160--175
  Masood Feyzbakhsh Rankooh and   
                Ali Mahjoob and   
        Gholamreza Ghassem-Sani   Using Satisfiability for Non-optimal
                                  Temporal Planning  . . . . . . . . . . . 176--188
            Marc Finthammer and   
              Christoph Beierle   How to Exploit Parametric Uniformity for
                                  Maximum Entropy Reasoning in a
                                  Relational Probabilistic Logic . . . . . 189--201
            Enrico Franconi and   
               Volha Kerhet and   
                      Nhung Ngo   Exact Query Reformulation with
                                  First-Order Ontologies and Databases . . 202--214
               Alfredo Gabaldon   A Selective Semantics for Logic Programs
                                  with Preferences . . . . . . . . . . . . 215--227
             Laura Giordano and   
          Valentina Gliozzi and   
            Nicola Olivetti and   
              Gian Luca Pozzato   A Minimal Model Semantics for
                                  Nonmonotonic Reasoning . . . . . . . . . 228--241
          Lluís Godo and   
           Enrico Marchioni and   
                     Pere Pardo   Extending a Temporal Defeasible
                                  Argumentation Framework with
                                  Possibilistic Weights  . . . . . . . . . 242--254
      Joanna Goli\'nska-Pilarek   On Decidability of a Logic for Order of
                                  Magnitude Qualitative Reasoning with
                                  Bidirectional Negligibility  . . . . . . 255--266
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7520, 2012

        Mohammad G. Dezfuli and   
             Mostafa S. Haghjoo   Xtream: a System for Continuous Querying
                                  over Uncertain Data Streams  . . . . . . 1--15
             Lucie Urbanova and   
             Vilem Vychodil and   
                     Lena Wiese   Applications of Ordinal Ranks to
                                  Flexible Query Answering . . . . . . . . 16--29
          Alfredo Cuzzocrea and   
Rubén de Juan Marín and   
             Hendrik Decker and   
Francesc D. Muñoz-Escoí   Managing Uncertainty in Databases and
                                  Scaling It Up to Concurrent Transactions 30--43
                  Farid Nouioua   Generalizing Naive and Stable Semantics
                                  in Argumentation Frameworks with
                                  Necessities and Preferences  . . . . . . 44--57
                   Leila Amgoud   Stable Semantics in Logic-Based
                                  Argumentation  . . . . . . . . . . . . . 58--71
                   Leila Amgoud   The Outcomes of Logic-Based
                                  Argumentation Systems under Preferred
                                  Semantics  . . . . . . . . . . . . . . . 72--84
   Wolfgang Dvo\vrák and   
             Stefan Szeider and   
                 Stefan Woltran   Abstract Argumentation via Monadic
                                  Second Order Logic . . . . . . . . . . . 85--98
Maximiliano C. D. Budán and   
  Mauro Gómez Lucero and   
 Carlos I. Chesñevar and   
            Guillermo R. Simari   An Approach to Argumentation Considering
                                  Attacks through Time . . . . . . . . . . 99--112
            Antoine Chammas and   
     Moamar Sayed-Mouchaweh and   
              Eric Duviella and   
      Stéphane Lecoeuche   Drift Detection and Characterization for
                                  Fault Diagnosis and Prognosis of
                                  Dynamical Systems  . . . . . . . . . . . 113--126
         Bogdan Trawi\'nski and   
             Tadeusz Lasota and   
         Magdalena Sm\ketek and   
           Grzegorz Trawi\'nski   An Attempt to Employ Genetic Fuzzy
                                  Systems to Predict from a Data Stream of
                                  Premises Transactions  . . . . . . . . . 127--140
                 Edwin Lughofer   Navigating Interpretability Issues in
                                  Evolving Fuzzy Systems . . . . . . . . . 141--153
            Alexandre Decan and   
              Fabian Pijcke and   
                     Jef Wijsen   Certain Conjunctive Query Answering in
                                  SQL  . . . . . . . . . . . . . . . . . . 154--167
          Luciano Caroprese and   
                  Ester Zumpano   Restoring Consistency in P2P Deductive
                                  Databases  . . . . . . . . . . . . . . . 168--179
             Jaffer Gardezi and   
              Leopoldo Bertossi   Tractable Cases of Clean Query Answering
                                  under Entity Resolution via Matching
                                  Dependencies . . . . . . . . . . . . . . 180--193
             Dorra Attiaoui and   
Pierre-Emmanuel Doré and   
              Arnaud Martin and   
         Boutheina Ben Yaghlane   A Distance between Continuous Belief
                                  Functions  . . . . . . . . . . . . . . . 194--205
         Wafa Laâmari and   
     Boutheina Ben Yaghlane and   
               Christophe Simon   On the Complexity of the Graphical
                                  Representation and the Belief Inference
                                  in the Dynamic Directed Evidential
                                  Networks with Conditional Belief
                                  Functions  . . . . . . . . . . . . . . . 206--218
                Jianbing Ma and   
            Salem Benferhat and   
                      Weiru Liu   Revision over Partial Pre-orders: a
                                  Postulational Study  . . . . . . . . . . 219--232
     Mohammad Ghasemi Hamed and   
          Mathieu Serrurier and   
                 Nicolas Durand   Representing Uncertainty by Possibility
                                  Distributions Encoding Confidence Bands,
                                  Tolerance and Prediction Intervals . . . 233--246
 Ioannis A. Kougioumtzoglou and   
                  Pol D. Spanos   Harmonic Wavelets Based Identification
                                  of Nonlinear and Time-Variant Systems    247--260
                Edoardo Patelli   An Upscaling Approach for Uncertainty
                                  Quantification of Stochastic Contaminant
                                  Transport through Fractured Media  . . . 261--272
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7521, 2012

                  S. Akshay and   
              Blaise Genest and   
    Lo\"\ic Hélouët   Symbolically Bounding the Drift in
                                  Time-Constrained MSC Graphs  . . . . . . 1--15
             Deepak D'Souza and   
         Raj Mohan Matteplackel   A Compositional Hierarchical Monitoring
                                  Automaton Construction for LTL . . . . . 16--29
César Sánchez and   
       Julian Samborski-Forlese   How to Translate Efficiently Extensions
                                  of Temporal Logics into Alternating
                                  Automata . . . . . . . . . . . . . . . . 30--45
               Simon Foster and   
  Ond\vrej Rypá\vcek and   
                   Georg Struth   Correctness of Object Oriented Models by
                                  Extended Type Inference  . . . . . . . . 46--60
                  Liyun Dai and   
                      Bican Xia   Non-termination Sets of Simple Linear
                                  Loops  . . . . . . . . . . . . . . . . . 61--73
       \Dbarurica Nikoli\'c and   
                   Fausto Spoto   Definite Expression Aliasing Analysis
                                  for Java Bytecode  . . . . . . . . . . . 74--89
           Adrián Riesco   Using Semantics Specified in Maude to
                                  Generate Test Cases  . . . . . . . . . . 90--104
   Lidia Sánchez-Gil and   
       Mercedes Hidalgo-Herrero   A Locally Nameless Representation for a
                                  Natural Semantics for Lazy Evaluation    105--119
             Nikola Bene\vs and   
  Jan K\vretínský   Modal Process Rewrite Systems  . . . . . 120--135
       Adrián Riesco and   
Juan Rodríguez-Hortalá   S-Narrowing for Constructor Systems  . . 136--150
               Sachin Lodha and   
          Nikhil Patwardhan and   
                      Ashim Roy   Data Privacy Using MASKETEER$^{TM}$  . . 151--158
                  Suman Roy and   
                Sidharth Bihary   A Conformance Checker Tool CSPConCheck   159--163
                 S. Raviram and   
              P. Peranandam and   
                    M. Satpathy   SmartTestGen+: a Test Suite Booster for
                                  Enhanced Structural Coverage . . . . . . 164--167
          David M. Williams and   
                Joeri de Ruiter   Model Checking under Fairness in ProB
                                  and Its Application to Fair Exchange
                                  Protocols  . . . . . . . . . . . . . . . 168--182
               Kenro Yatake and   
                  Toshiaki Aoki   Model Checking of OSEK/VDX OS Design
                                  Model Based on Environment Modeling  . . 183--197
              Sjoerd Cranen and   
            Jeroen J. A. Keiren   A Cure for Stuttering Parity Games . . . 198--212
         Beno\^\it Caillaud and   
           Jean-Baptiste Raclet   Ensuring Reachability by Design  . . . . 213--227
          Sylvain Peyronnet and   
            Michel De Rougemont   Approximate Verification and Enumeration
                                  Problems . . . . . . . . . . . . . . . . 228--242
              Federico Mari and   
               Igor Melatti and   
                    Ivano Salvo   Undecidability of Quantized State
                                  Feedback Control for Discrete Time
                                  Linear Hybrid Systems  . . . . . . . . . 243--258
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7522, 2012

     Edirlei Soares de Lima and   
         Bruno Feijó and   
            Cesar T. Pozzer and   
          Angelo E. M. Ciarlini   Social Interaction for Interactive
                                  Storytelling . . . . . . . . . . . . . . 1--15
          Ivana Müller and   
       Petra Sundström and   
               Martin Murer and   
              Manfred Tscheligi   Gaming after Dark  . . . . . . . . . . . 16--29
Fabio A. Guilherme da Silva and   
         Antonio L. Furtado and   
          Angelo E. M. Ciarlini   Information-Gathering Events in Story
                                  Plots  . . . . . . . . . . . . . . . . . 30--44
               Daniel Apken and   
           Hendrik Landwehr and   
              Marc Herrlich and   
              Markus Krause and   
                    Dennis Paul   Design and Evaluation of Parametrizable
                                  Multi-genre Game Mechanics . . . . . . . 45--52
      Oswald D. Kothgassner and   
             Anna Felnhofer and   
                 Leon Beutl and   
             Helmut Hlavacs and   
               Mario Lehenbauer   A Virtual Training Tool for Giving Talks 53--66
        Vít \vSisler and   
                 Cyril Brom and   
             Jaroslav Cuhra and   
      Kamil \vCinátl and   
                   Jakub Gemrot   Stories from the History of
                                  Czechoslovakia, a Serious Game for
                                  Teaching History of the Czech Lands in
                                  the 20th Century --- Notes on Design
                                  Concepts and Design Process  . . . . . . 67--74
          Christopher Blake and   
     Dorothée Hefner and   
             Christian Roth and   
           Christoph Klimmt and   
                 Peter Vorderer   Cognitive Processes Involved in Video
                                  Game Identification  . . . . . . . . . . 75--84
           Alejandro Moreno and   
           Robby van Delden and   
             Dennis Reidsma and   
               Ronald Poppe and   
                    Dirk Heylen   An Annotation Scheme for Social
                                  Interaction in Digital Playgrounds . . . 85--99
                  Xuan Wang and   
               Eng Tat Khoo and   
         Sanath Siriwardana and   
         Horathalge Iroshan and   
                 Ryohei Nakatsu   Philosophy Meets Entertainment:
                                  Designing an Interactive Virtual
                                  Philosopher  . . . . . . . . . . . . . . 100--113
               David Conroy and   
                 Peta Wyeth and   
                 Daniel Johnson   Spotting the Difference: Identifying
                                  Player Opponent Preferences in FPS Games 114--121
                  Suwon Lee and   
                 Jinki Jung and   
                 Jihye Hong and   
                  J. B. Ryu and   
                   Hyun S. Yang   AR Paint: a Fusion System of a Paint
                                  Tool and AR  . . . . . . . . . . . . . . 122--129
                Ali Mazalek and   
            Michael Nitsche and   
      Claudia Rébola and   
               Paul Clifton and   
                    Andy Wu and   
                   Nick Poirier   Pictures at an Exhibition: Design of a
                                  Hybrid Puppetry Performance Piece  . . . 130--143
              Andrea Minuto and   
               Gijs Huisman and   
                  Anton Nijholt   Follow the Grass: a Smart Material
                                  Interactive Pervasive Display  . . . . . 144--157
     Aljosha Demeulemeester and   
             Katriina Kilpi and   
         Shirley A. Elprama and   
                  Sammy Lievens   The ICOCOON Virtual Meeting Room: a
                                  Virtual Environment as a Support Tool
                                  for Multipoint Teleconference Systems    158--171
                 Sofia Reis and   
                   Nuno Correia   Playing with the Weather . . . . . . . . 172--184
            Lucio Gutierrez and   
             Eleni Stroulia and   
              Ioanis Nikolaidis   fAARS: a Platform for Location-Aware
                                  Trans-reality Games  . . . . . . . . . . 185--192
     Stéphanie Mader and   
     Stéphane Natkin and   
              Guillaume Levieux   How to Analyse Therapeutic Games: The
                                  Player /Game /Therapy Model  . . . . . . 193--206
           Sebastian Matyas and   
                Daishi Kato and   
                Takao Shime and   
              Kazuo Kunieda and   
                   Keiji Yamada   Game-Based Trust . . . . . . . . . . . . 207--220
           Robby van Delden and   
              Pauline Aarts and   
                 Betsy van Dijk   Design of Tangible Games for Children
                                  Undergoing Occupational and Physical
                                  Therapy  . . . . . . . . . . . . . . . . 221--234
      Kathrin Maria Gerling and   
         Frank Paul Schulte and   
              Jan Smeddinck and   
                    Maic Masuch   Game Design for Older Adults: Effects of
                                  Age-Related Changes on Structural
                                  Elements of Digital Games  . . . . . . . 235--242
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7523, 2012

                  Pieter Abbeel   Machine Learning for Robotics  . . . . . 1--1
                   Luc De Raedt   Declarative Modeling for Machine
                                  Learning and Data Mining . . . . . . . . 2--3
                    Douglas Eck   Machine Learning Methods for Music
                                  Discovery and Recommendation . . . . . . 4--4
                    Daniel Keim   Solving Problems with Visual Analytics:
                                  Challenges and Applications  . . . . . . 5--6
                 Padhraic Smyth   Analyzing Text and Social Network Data
                                  with Probabilistic Models  . . . . . . . 7--8
              Nikolaj Tatti and   
                 Jilles Vreeken   Discovering Descriptive Tile Trees . . . 9--24
            Matteo Riondato and   
                      Eli Upfal   Efficient Discovery of Association Rules
                                  and Frequent Itemsets through Sampling
                                  with Tight Performance Guarantees  . . . 25--41
                Arno Siebes and   
            René Kersten   Smoothing Categorical Data . . . . . . . 42--57
               Maxime Gasse and   
                Alex Aussem and   
               Haytham Elghazel   An Experimental Comparison of Hybrid
                                  Algorithms for Bayesian Network
                                  Structure Learning . . . . . . . . . . . 58--73
     Sebastian Tschiatschek and   
           Peter Reinprecht and   
         Manfred Mücke and   
                 Franz Pernkopf   Bayesian Network Classifiers with
                                  Reduced Precision Parameters . . . . . . 74--89
       Tivadar Pápai and   
              Shalini Ghosh and   
                    Henry Kautz   Combining Subjective Probabilities and
                                  Data in Training Markov Logic Networks   90--105
                Shengbo Guo and   
               Scott Sanner and   
              Thore Graepel and   
                   Wray Buntine   Score-Based Bayesian Skill Learning  . . 106--121
       Ürün Dogan and   
         Tobias Glasmachers and   
                 Christian Igel   A Note on Extending Generalization
                                  Bounds for Binary Large-Margin
                                  Classifiers to Multiple Classes  . . . . 122--129
              Amin Mantrach and   
            Jean-Michel Renders   Extension of the Rocchio Classification
                                  Method to Multi-modal Categorization of
                                  Documents in Social Media  . . . . . . . 130--142
      Jakramate Bootkrajang and   
               Ata Kabán   Label-Noise Robust Logistic Regression
                                  and Its Applications . . . . . . . . . . 143--158
           Dmitriy Bespalov and   
                  Yanjun Qi and   
                   Bing Bai and   
               Ali Shokoufandeh   Sentiment Classification with Supervised
                                  Sequence Embedding . . . . . . . . . . . 159--174
            Stefan Edelkamp and   
                 Martin Stommel   The Bitvector Machine: a Fast and Robust
                                  Machine Learning Algorithm for
                                  Non-linear Problems  . . . . . . . . . . 175--190
               Francis Maes and   
              Pierre Geurts and   
                 Louis Wehenkel   Embedding Monte Carlo Search of Features
                                  in Tree-Based Ensemble Methods . . . . . 191--206
              Zhihong Zhang and   
           Edwin R. Hancock and   
                       Xiao Bai   Hypergraph Spectra for Semi-supervised
                                  Feature Selection  . . . . . . . . . . . 207--222
                   Jun Wang and   
               Adam Woznica and   
            Alexandros Kalousis   Learning Neighborhoods for Metric
                                  Learning . . . . . . . . . . . . . . . . 223--236
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7524, 2012

                 Ruilin Liu and   
           Hui (Wendy) Wang and   
              Anna Monreale and   
             Dino Pedreschi and   
            Fosca Giannotti and   
                      Wenge Guo   AUDIO: An Integrity
                                  $\underline{Audi}$ting Framework of
                                  $\underline{O}$utlier-Mining-as-a-Service Systems  1--18
              Staal A. Vinterbo   Differentially Private Projected
                                  Histograms: Construction and Use for
                                  Prediction . . . . . . . . . . . . . . . 19--34
        Toshihiro Kamishima and   
              Shotaro Akaho and   
                Hideki Asoh and   
                     Jun Sakuma   Fairness-Aware Classifier with Prejudice
                                  Remover Regularizer  . . . . . . . . . . 35--50
           Evan Kirshenbaum and   
              George Forman and   
                  Michael Dugan   A Live Comparison of Methods for
                                  Personalized Article Recommendation at
                                  Forbes.com . . . . . . . . . . . . . . . 51--66
       Balázs Hidasi and   
                  Domonkos Tikk   Fast ALS-Based Tensor Factorization for
                                  Context-Aware Recommendation from
                                  Implicit Feedback  . . . . . . . . . . . 67--82
               Weiwei Cheng and   
          Eyke Hüllermeier   Probability Estimation for Multi-class
                                  Classification Based on Label Ranking    83--98
               N. Kemal Ure and   
          Alborz Geramifard and   
           Girish Chowdhary and   
                Jonathan P. How   Adaptive Planning for Markov Decision
                                  Processes with Uncertain Transition
                                  Models via Incremental Feature
                                  Dependency Discovery . . . . . . . . . . 99--115
                Riad Akrour and   
            Marc Schoenauer and   
                Mich\`ele Sebag   APRIL: Active Preference Learning-Based
                                  Reinforcement Learning . . . . . . . . . 116--131
              Markus Peters and   
            Wolfgang Ketter and   
     Maytal Saar-Tsechansky and   
                   John Collins   Autonomous Data-Driven Decision-Making
                                  in Smart Electricity Markets . . . . . . 132--147
            Bernard Michini and   
                Jonathan P. How   Bayesian Nonparametric Inverse
                                  Reinforcement Learning . . . . . . . . . 148--163
     Truong-Huy Dinh Nguyen and   
                Wee-Sun Lee and   
                  Tze-Yun Leong   Bootstrapping Monte Carlo Tree Search
                                  with an Imperfect Heuristic  . . . . . . 164--179
       Gabriel Dulac-Arnold and   
            Ludovic Denoyer and   
             Philippe Preux and   
              Patrick Gallinari   Fast Reinforcement Learning with Large
                                  Action Sets Using Error-Correcting
                                  Output Codes for MDP Factorization . . . 180--194
              Stefano Ermon and   
                Yexiang Xue and   
                Carla Gomes and   
                    Bart Selman   Learning Policies for Battery Usage
                                  Optimization in Electric Vehicles  . . . 195--210
          Vivek Ramavajjala and   
                  Charles Elkan   Policy Iteration Based on a Learned
                                  Transition Model . . . . . . . . . . . . 211--226
         Abdeslam Boularias and   
         Oliver Krömer and   
                     Jan Peters   Structured Apprenticeship Learning . . . 227--242
              Dominique Gay and   
             Marc Boullé   A Bayesian Approach for Classification
                                  Rule Mining in Quantitative Databases    243--259
                 Iyad Batal and   
             Gregory Cooper and   
               Milos Hauskrecht   A Bayesian Scoring Technique for Mining
                                  Predictive and Non-Spurious Rules  . . . 260--276
          Florian Lemmerich and   
              Martin Becker and   
              Martin Atzmueller   Generic Pattern Trees for Exhaustive
                                  Exceptional Model Mining . . . . . . . . 277--292
             Tomoharu Iwata and   
                      Kevin Duh   Bidirectional Semi-supervised Learning
                                  with Graphs  . . . . . . . . . . . . . . 293--306
              Saurabh Verma and   
       Estevam R. Hruschka, Jr.   Coupled Bayesian Sets Algorithm for
                                  Semi-supervised Learning and Information
                                  Extraction . . . . . . . . . . . . . . . 307--322
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7526, 2012

       Christopher Armbrust and   
             Lisa Kiekbusch and   
           Thorsten Ropertz and   
                  Karsten Berns   Verification of Behaviour Networks Using
                                  Finite-State Automata  . . . . . . . . . 1--12
           Bernhard Beckert and   
                   Daniel Bruns   Formal Semantics of Model Fields in
                                  Annotation-Based Specifications  . . . . 13--24
            Stefan Edelkamp and   
           Tim Federholzner and   
                 Peter Kissmann   Searching with Partial Belief States in
                                  General Games with Incomplete
                                  Information  . . . . . . . . . . . . . . 25--36
            Christian Federmann   A Machine-Learning Framework for Hybrid
                                  Machine Translation  . . . . . . . . . . 37--48
            Marc Finthammer and   
              Christoph Beierle   Using Equivalences of Worlds for
                                  Aggregation Semantics of Relational
                                  Conditionals . . . . . . . . . . . . . . 49--60
                 Ben Hennig and   
             Norbert Reithinger   Developing of a Multimodal Interactive
                                  Training System in Therapeutic
                                  Calisthenics for Elderly People  . . . . 61--72
             Shahin Jabbari and   
            Robert C. Holte and   
                  Sandra Zilles   PAC-Learning with General Class Noise
                                  Models . . . . . . . . . . . . . . . . . 73--84
               Jens Kessler and   
        Jürgen Strobel and   
            Horst-Michael Gross   Avoiding Moving Persons by Using Simple
                                  Trajectory Prediction and Spatio
                                  Temporal Planning  . . . . . . . . . . . 85--96
                  Oliver Kramer   Unsupervised Nearest Neighbors with
                                  Kernels  . . . . . . . . . . . . . . . . 97--106
    Steffen Hölldobler and   
            Norbert Manthey and   
                  Peter Steinke   A Compact Encoding of Pseudo-Boolean
                                  Constraints into SAT . . . . . . . . . . 107--118
              Nikita Mattar and   
                 Ipke Wachsmuth   Small Talk Is More than Chit-Chat  . . . 119--130
      Benjamin Peherstorfer and   
          Dirk Pflüger and   
          Hans-Joachim Bungartz   Clustering Based on Density Estimation
                                  with Sparse Grids  . . . . . . . . . . . 131--142
      Marvin R. G. Schiller and   
               Fernand R. Gobet   A Comparison between Cognitive and AI
                                  Models of Blackjack Strategy Learning    143--155
        Christoph Schwering and   
                Daniel Beck and   
            Stefan Schiffer and   
              Gerhard Lakemeyer   Plan Recognition by Program Execution in
                                  Continuous Temporal Domains  . . . . . . 156--167
          Christian Vollmer and   
           Julian P. Eggert and   
            Horst-Michael Gross   Modeling Human Motion Trajectories by
                                  Sparse Activation of Motion Primitives
                                  Learned from Unpartitioned Data  . . . . 168--179
          Matthias Westphal and   
              Julien Hué   Nogoods in Qualitative Constraint-Based
                                  Reasoning  . . . . . . . . . . . . . . . 180--192
              David Zastrau and   
                Stefan Edelkamp   Stochastic Gradient Descent with GPGPU   193--204
              Xiaomin Zhang and   
              Sandra Zilles and   
                Robert C. Holte   Improved Query Suggestion by Query
                                  Search . . . . . . . . . . . . . . . . . 205--216
Özgür Lütfü Özçep   Knowledge-Base Revision Using
                                  Implications as Hypotheses . . . . . . . 217--228
                   Sangkyun Lee   Improving Confidence of Dual Averaging
                                  Stochastic Online Learning via
                                  Aggregation  . . . . . . . . . . . . . . 229--232
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7527, 2012

               Yannis Lilis and   
                Anthony Savidis   Implementing Reusable Exception Handling
                                  Patterns with Compile-Time
                                  Metaprogramming  . . . . . . . . . . . . 1--15
           Inna Pereverzeva and   
          Elena Troubitsyna and   
                 Linas Laibinis   A Case Study in Formal Development of a
                                  Fault Tolerant Multi-robotic System  . . 16--31
           Camille Fayollas and   
         Jean-Charles Fabre and   
              David Navarre and   
          Philippe Palanque and   
                Yannick Deleris   Fault-Tolerant Interactive Cockpits for
                                  Critical Applications: Overall Approach  32--46
          Yuliya Prokhorova and   
              Elena Troubitsyna   Linking Modelling in Event-B with Safety
                                  Cases  . . . . . . . . . . . . . . . . . 47--62
               Brahim Hamid and   
               Jacob Geisel and   
                 Adel Ziani and   
                 David Gonzalez   Safety Lifecycle Development Process
                                  Modeling for Embedded Systems- Example
                                  of Railway Domain  . . . . . . . . . . . 63--75
          Yasir Imtiaz Khan and   
                 Matteo Risoldi   Language Enrichment for Resilient MDE    76--90
        Maurice H. ter Beek and   
              Henry Muccini and   
           Patrizio Pelliccione   Assume-Guarantee Testing of Evolving
                                  Software Product Line Architectures  . . 91--105
      Koray Gülcü and   
           Hasan Sözer and   
         Barì\cs Aktemur   FAS: Introducing a Service for Avoiding
                                  Faults in Composite Services . . . . . . 106--120
          Anatoliy Gorbenko and   
       Alexander Romanovsky and   
      Vyacheslav Kharchenko and   
                  Olga Tarasyuk   Dependability of Service-Oriented
                                  Computing: Time-Probabilistic Failure
                                  Modelling  . . . . . . . . . . . . . . . 121--133
           Amira Ben Hamida and   
          Antonia Bertolino and   
        Antonello Calabr\`o and   
           Guglielmo De Angelis   Monitoring Service Choreographies from
                                  Multiple Sources . . . . . . . . . . . . 134--149
                Paolo Masci and   
            Dominic Furniss and   
                Paul Curzon and   
        Michael D. Harrison and   
                  Ann Blandford   Supporting Field Investigators with PVS:
                                  a Case Study in the Healthcare Domain    150--164
            Alessio Ferrari and   
      Massimiliano L. Itria and   
        Silvano Chiaradonna and   
            Giorgio O. Spagnolo   Model-Based Evaluation of the
                                  Availability of a CBTC System  . . . . . 165--179
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7528, 2012

             Ines Di Loreto and   
                Simone Mora and   
                Monica Divitini   Don't Panic: Enhancing Soft Skills for
                                  Civil Protection Workers . . . . . . . . 1--12
                    Alex Gekker   Health Games . . . . . . . . . . . . . . 13--30
     Bob-Antoine J. Menelas and   
              Martin J. D. Otis   A Serious Game for Training Balance
                                  Control over Different Types of Soil . . 31--42
                  Minhua Ma and   
                   Kim Bale and   
                       Paul Rea   Constructionist Learning in Anatomy
                                  Education  . . . . . . . . . . . . . . . 43--58
           Margarida Romero and   
               Mireia Usart and   
                  Maria Popescu   Interdisciplinary and International
                                  Adaption and Personalization of the
                                  MetaVals Serious Games . . . . . . . . . 59--73
              Aida Azadegan and   
         Johann C. K. H. Riedel   Serious Games Adoption in Corporate
                                  Training . . . . . . . . . . . . . . . . 74--85
              Nour El Mawas and   
             Jean-Pierre Cahier   Towards Participative and
                                  Knowledge-Intensive Serious Games  . . . 86--97
           Erik D. van der Spek   Towards Designing for Competence and
                                  Engagement in Serious Games  . . . . . . 98--109
                  Tim Marsh and   
        Li Zhiqiang Nickole and   
                   Eric Klopfer   Blended In-Game and Off-Game Learning:
                                  Assimilating Serious Games in the
                                  Classroom and Curriculum . . . . . . . . 110--122
               Tintu Mathew and   
               Jochen Zange and   
                Joern Rittweger   A Computer Game Based Motivation System
                                  for Human Physiology Studies . . . . . . 123--134
   Manuel Fradinho Oliveira and   
                     Heiko Duin   Lessons Learnt from Contextualized
                                  Interactive Story Driven Development
                                  Methodology  . . . . . . . . . . . . . . 135--149
Rosa García Sánchez and   
               Alasdair G. Thin   Value Propositions for Serious Games in
                                  Health and Well-Being  . . . . . . . . . 150--157
            Stefano Bocconi and   
               Yulia Bachvarova   Dealing with Threshold Concepts in
                                  Serious Games for Competence Development 158--169
              Martin Koplin and   
                   Carl Skelton   Betaville --- a Massively Participatory
                                  Mirror World Game  . . . . . . . . . . . 170--173
            Thorsten Wahner and   
              Moritz Kartheuser   Logical Thinking by Play Using the
                                  Example of the Game ``Space Goats''  . . 174--182
        François Bry and   
               Christoph Wieser   Squaring and Scripting the ESP Game:
                                  Trimming a GWAP to Deep Semantics  . . . 183--192
            Gregor Cerinsek and   
                 Heiko Duin and   
               Fiorella Colombo   The Application of the CISD$^2$
                                  Methodology for the Definition of a
                                  Serious Game Competence-Based Learning
                                  Scenario in the Domain of Sustainable
                                  Manufacturing  . . . . . . . . . . . . . 193--207
         Paul C. Seitlinger and   
               Michael A. Bedek   Evaluating the Validity of a
                                  Non-invasive Assessment Procedure  . . . 208--218
          Sobah A. Petersen and   
               Michael A. Bedek   Challenges and Opportunities in
                                  Evaluating Learning in Serious Games: a
                                  Look at Behavioural Aspects  . . . . . . 219--230
           Jennifer Hyndman and   
                 Tom Lunney and   
                 Paul Mc Kevitt   AmbiLearn: Enhancing the Learning
                                  Environment for Primary School Education 231--242
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7530, 2012

           Tetsuya Mizutani and   
             Yuki Shinagawa and   
             Naoki Murakami and   
               Shigeru Igarashi   Expressive Secondo Performances of a
                                  Realtime Person-Computer Ensemble System 1--8
               Yunong Zhang and   
                 Huarong Wu and   
               Zhijun Zhang and   
                   Senbo Fu and   
                    Yonghua Yin   Different-Level Schemes' Equivalence for
                                  Self-Motion Planning of Robot
                                  Manipulators . . . . . . . . . . . . . . 9--16
                Lifang Kong and   
                  Ying Zhao and   
                     Xinbin Liu   Grey Incidence Optimization Model Based
                                  on Hybrid Differential Evolution
                                  Algorithm  . . . . . . . . . . . . . . . 17--24
                Yongfeng Li and   
                     Liping Zhu   A Data Mining Based Approach to Research
                                  the Relationship between Kansei and
                                  Usability: a Case Study of Mobile Phones 25--33
                   Xiongpai Qin   Making Use of the Big Data: Next
                                  Generation of Algorithm Trading  . . . . 34--41
               Rongrong Cao and   
               Dongjuan Zhu and   
               Qinqin Huang and   
               Xunheng Wang and   
                   Zongcai Ruan   Dynamic Causality Analysis on Default
                                  Mode Network . . . . . . . . . . . . . . 42--49
                  Xiaoju Ma and   
                      Bo Li and   
                 Ying Zhang and   
                       Ming Yan   The Canny Edge Detection and Its
                                  Improvement  . . . . . . . . . . . . . . 50--58
                 Taizhe Tan and   
                Hailing Liu and   
                Yinwei Zhan and   
                     Yuzhen Jin   Multi-modality Medical Image
                                  Registration Based on Improved I-alpha
                                  Information (SNI) with Gradient  . . . . 59--66
                Lingling Li and   
               Weicheng Xie and   
                  Ziyang He and   
                     Xin Xu and   
              Changmin Chen and   
                   Xiaorong Cui   Design of Smart Home Control System
                                  Based on ZigBee and Embedded Web
                                  Technology . . . . . . . . . . . . . . . 67--74
                   Ye Zhang and   
                   Kang Cao and   
                 Kangrui Wu and   
                    Tenglong Yu   Using Gaussian Potential Function for
                                  Underdetermined Blind Sources Separation
                                  Based on DUET  . . . . . . . . . . . . . 75--81
                Xiaochen Li and   
                Xizhong Lou and   
                  Ting Peng and   
                     Jia Xu and   
                  Qian Zhou and   
                     Daorong Wu   A New Balancing Type of Wireless Sensor
                                  Network Routing Algorithm  . . . . . . . 82--89
                Juanjuan Xu and   
                        Jian Wu   Development of Portable Gait Analysis
                                  System Based on a DSP  . . . . . . . . . 90--96
                Dongjie Tan and   
                       An Zhang   Improved Neural Networks Based Method
                                  for Infrared Focal Plane Arrays
                                  Nonuniformity Correction . . . . . . . . 97--104
                Kegang Wang and   
                  Liying Qi and   
                    Guohua Geng   Images Classifications Based on
                                  Color-Texture Feature  . . . . . . . . . 105--112
                     Yu Bai and   
                    Yanlong Liu   A Synchronization Strengthen RFID
                                  Authentication Protocol Based on Key
                                  Array  . . . . . . . . . . . . . . . . . 113--119
              Wenchuan Yang and   
                    Bei Jia and   
                      Bowei Cao   Study of a Fuzzy Comprehensive
                                  Evaluation Problem in Cloud Computing    120--125
                  Xiao Wang and   
                 Fusheng Yu and   
               Huixin Zhang and   
                     Yuming Liu   Knowledge-Guided Clustering of
                                  Large-Scale Time Series under Wavelet
                                  Transformation . . . . . . . . . . . . . 126--133
                Leiming Yan and   
                Jinwei Wang and   
                    Jin Han and   
                   Yuxiang Wang   A Significance-Driven Framework for
                                  Characterizing and Finding Evolving
                                  Patterns of News Networks  . . . . . . . 134--141
                Dexing Wang and   
                   Qian Xie and   
              Dongmei Huang and   
                  Hongchun Yuan   Analysis of Association Rule Mining on
                                  Quantitative Concept Lattice . . . . . . 142--149
                Junbo Zhang and   
                 Tianrui Li and   
                   Hongmei Chen   Composite Rough Sets . . . . . . . . . . 150--159
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7531, 2012

              Benjamin Livshits   Finding Malware on a Web Scale . . . . . 1--2
               Zhaohui Wang and   
               Ryan Johnson and   
             Rahul Murmuria and   
                Angelos Stavrou   Exposing Security Risks for Commercial
                                  Mobile Devices . . . . . . . . . . . . . 3--21
           Fabio Martinelli and   
           Ilaria Matteucci and   
               Charles Morisset   From Qualitative to Quantitative
                                  Enforcement of Security Policy . . . . . 22--35
           Tyrone Cadenhead and   
         Murat Kantarcioglu and   
          Vaibhav Khadilkar and   
          Bhavani Thuraisingham   Design and Implementation of a
                                  Cloud-Based Assured Information Sharing
                                  System . . . . . . . . . . . . . . . . . 36--50
            Victor Yakovlev and   
             Valery Korzhik and   
              Mihail Bakaev and   
         Guillermo Morales-Luna   Optimization of Key Distribution
                                  Protocols Based on Extractors for Noisy
                                  Channels within Active Adversaries . . . 51--64
               Joe-Kai Tsay and   
        Stig F. Mjòlsnes   A Vulnerability in the UMTS and LTE
                                  Authentication and Key Agreement
                                  Protocols  . . . . . . . . . . . . . . . 65--76
         Alexandr Moldovyan and   
          Nikolay Moldovyan and   
               Evgenia Novikova   Blind 384-bit Digital Signature Scheme   77--83
                    Xin Jin and   
                Ravi Sandhu and   
                   Ram Krishnan   RABAC: Role-Centric Attribute-Based
                                  Access Control . . . . . . . . . . . . . 84--96
             Vladimir Oleshchuk   Trust-Aware RBAC . . . . . . . . . . . . 97--107
           Alexander Grusho and   
                Nick Grusho and   
                 Elena Timonina   Alternative Mechanisms for Information
                                  Security . . . . . . . . . . . . . . . . 108--113
    Josée Desharnais and   
      Erwanne P. Kanyabwero and   
                    Nadia Tawbi   Enforcing Information Flow Policies by a
                                  Three-Valued Analysis  . . . . . . . . . 114--129
            Tigran Avanesov and   
          Yannick Chevalier and   
   Michaël Rusinowitch and   
                Mathieu Turuani   Towards the Orchestration of Secured
                                  Services under Non-disclosure Policies   130--145
           Andrey Chechulin and   
               Igor Kotenko and   
               Vasily Desnitsky   An Approach for Network Information Flow
                                  Analysis for Systems of Embedded
                                  Components . . . . . . . . . . . . . . . 146--155
Gustavo Gonzalez Granadillo and   
  Hervé Débar and   
      Grégoire Jacob and   
                 Chrystel Gaber   Individual Countermeasure Selection
                                  Based on the Return On Response
                                  Investment Index . . . . . . . . . . . . 156--170
               Roland Rieke and   
            Luigi Coppolino and   
           Andrew Hutchison and   
                Elsa Prieto and   
                 Chrystel Gaber   Security and Reliability Requirements
                                  for Advanced Security Event Management   171--180
        Julian Schütte and   
               Roland Rieke and   
                 Timo Winkelvos   Model-Based Security Event Management    181--190
             Andrey Dolgikh and   
              Tomas Nykodym and   
             Victor Skormin and   
               Zachary Birnbaum   Using Behavioral Modeling and Customized
                                  Normalcy Profiles as Protection against
                                  Targeted Cyber-Attacks . . . . . . . . . 191--202
         Yosra Ben Mustapha and   
  Hervé Débar and   
          Grégoire Jacob   Limitation of Honeypot/Honeynet
                                  Databases to Enhance Alert Correlation   203--217
          Dmitry P. Zegzhda and   
           Tatiana V. Stepanova   Stochastic Model of Interaction between
                                  Botnets and Distributed Computer Defense
                                  Systems  . . . . . . . . . . . . . . . . 218--225
          Chaitanya Yavvari and   
          Arnur Tokhtabayev and   
            Huzefa Rangwala and   
                Angelos Stavrou   Malware Characterization Using
                                  Behavioral Components  . . . . . . . . . 226--239
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7532, 2012

               Stefano Ceri and   
       Emanuele Della Valle and   
             Dino Pedreschi and   
               Roberto Trasarti   Mega-modeling for Big Data Analytics . . 1--15
                    Xin Cao and   
                  Lisi Chen and   
                   Gao Cong and   
        Christian S. Jensen and   
                   Qiang Qu and   
              Anders Skovsgaard   Spatial Keyword Querying . . . . . . . . 16--29
             Umeshwar Dayal and   
               Chetan Gupta and   
           Malu Castellanos and   
                  Song Wang and   
           Manolo Garcia-Solaco   Of Cubes, DAGs and Hierarchical
                                  Correlations: a Novel Conceptual Model
                                  for Analyzing Social Media Data  . . . . 30--49
           Antonio Villegas and   
        Antoni Olivé and   
            Maria-Ribera Sancho   Understanding Constraint Expressions in
                                  Large Conceptual Schemas by Automatic
                                  Filtering  . . . . . . . . . . . . . . . 50--63
            Constantin Houy and   
               Peter Fettke and   
                     Peter Loos   Understanding Understandability of
                                  Conceptual Models --- What Are We
                                  Actually Talking about?  . . . . . . . . 64--77
            Jeannette Stark and   
                 Werner Esswein   Rules from Cognition for Conceptual
                                  Modelling  . . . . . . . . . . . . . . . 78--87
            Stefan Anderlik and   
              Bernd Neumayr and   
                Michael Schrefl   Using Domain Ontologies as Semantic
                                  Dimensions in Data Warehouses  . . . . . 88--101
         Yoones A. Sekhavat and   
                Jeffrey Parsons   Sliced Column-Store (SCS): Ontological
                                  Foundations and Practical Implications   102--115
         Alexander Albrecht and   
                  Felix Naumann   Schema Decryption for Large
                                  Extract-Transform-Load Systems . . . . . 116--125
             Eirini Ntoutsi and   
          Kostas Stefanidis and   
 Kjetil Nòrvåg and   
             Hans-Peter Kriegel   Fast Group Recommendations by Applying
                                  User Clustering  . . . . . . . . . . . . 126--140
              Jingjing Wang and   
                Haixun Wang and   
             Zhongyuan Wang and   
                   Kenny Q. Zhu   Understanding Tables on the Web  . . . . 141--155
                Sivan Yogev and   
                 Haggai Roitman   Bridging the Gaps towards Advanced Data
                                  Discovery over Semi-structured Data  . . 156--165
      Inma Hernández and   
           Carlos R. Rivero and   
                 David Ruiz and   
               Rafael Corchuelo   Towards Discovering Conceptual Models
                                  behind Web Sites . . . . . . . . . . . . 166--175
                   Sheng Li and   
                 Junhu Wang and   
                 Kewen Wang and   
                       Jiang Li   A Distance-Based Spelling Suggestion
                                  Method for XML Keyword Search  . . . . . 176--189
            David W. Embley and   
          Stephen W. Liddle and   
         Deryle W. Lonsdale and   
             Joseph S. Park and   
                 Byung-Joo Shin   Cross-Language Hybrid Keyword and
                                  Semantic Search  . . . . . . . . . . . . 190--203
              Scott Britell and   
           Lois M. L. Delcambre   Mapping Semantic Widgets to Web-Based,
                                  Domain-Specific Collections  . . . . . . 204--213
            Markus Guentert and   
             Matthias Kunze and   
                  Mathias Weske   Evaluation Measures for Similarity
                                  Search Results in Process Model
                                  Repositories . . . . . . . . . . . . . . 214--227
              Mario Cervera and   
              Manoli Albert and   
            Victoria Torres and   
              Vicente Pelechano   The MOSKitt4ME Approach: Providing
                                  Process Support in a Method Engineering
                                  Context  . . . . . . . . . . . . . . . . 228--241
           Nicolas Lumineau and   
Frédérique Laforest and   
                Yann Gripay and   
                Jean-Marc Petit   Extending Conceptual Data Model for
                                  Dynamic Environment  . . . . . . . . . . 242--251
           Lam-Son Lê and   
                   Aditya Ghose   Contracts + Goals = Roles? . . . . . . . 252--266
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7533, 2012

        Pierre-Alain Fouque and   
                 Mehdi Tibouchi   Indifferentiable Hashing to
                                  Barreto--Naehrig Curves  . . . . . . . . 1--17
                 Sihem Mesnager   Semi-bent Functions with Multiple Trace
                                  Terms and Hyperelliptic Curves . . . . . 18--36
     Rodrigo Abarzúa and   
       Nicolas Thériault   Complete Atomic Blocks for Elliptic
                                  Curves in Jacobian Coordinates over
                                  Prime Fields . . . . . . . . . . . . . . 37--55
            Duong Hieu Phan and   
          David Pointcheval and   
                 Mario Strefler   Message-Based Traitor Tracing with
                                  Optimal Ciphertext Rate  . . . . . . . . 56--77
             Michel Abdalla and   
            Jill-Jênn Vie   Leakage-Resilient Spatial Encryption . . 78--99
             Ioana Boureanu and   
      Aikaterini Mitrokotsa and   
                 Serge Vaudenay   On the Pseudorandom Function Assumption
                                  in (Secure) Distance-Bounding Protocols  100--120
             Michel Abdalla and   
             Angelo De Caro and   
                Karina Mochetti   Lattice-Based Hierarchical Inner Product
                                  Encryption . . . . . . . . . . . . . . . 121--138
     Thomas Pöppelmann and   
               Tim Güneysu   Towards Efficient Arithmetic for
                                  Lattice-Based Cryptography on
                                  Reconfigurable Hardware  . . . . . . . . 139--158
        Daniel J. Bernstein and   
                Tanja Lange and   
                  Peter Schwabe   The Security Impact of a New
                                  Cryptographic Library  . . . . . . . . . 159--176
            Diego F. Aranha and   
Armando Faz-Hernández and   
         Julio López and   
Francisco Rodríguez-Henríquez   Faster Implementation of Scalar
                                  Multiplication on Koblitz Curves . . . . 177--193
      Valérie Nachef and   
            Jacques Patarin and   
                 Emmanuel Volte   Zero-Knowledge for Multivariate
                                  Polynomials  . . . . . . . . . . . . . . 194--213
              Vanessa Dixon and   
    Michael J. Jacobson Jr. and   
               Renate Scheidler   Improved Exponentiation and Key
                                  Agreement in the Infrastructure of a
                                  Real Quadratic Field . . . . . . . . . . 214--233
                Kfir Barhum and   
                    Ueli Maurer   UOWHFs from OWFs: Trading Regularity for
                                  Efficiency . . . . . . . . . . . . . . . 234--253
              Andrew MacFie and   
                 Daniel Panario   Random Mappings with Restricted
                                  Preimages  . . . . . . . . . . . . . . . 254--270
       Aleksandar Kircanski and   
                 Amr M. Youssef   On the Sosemanuk Related Key-IV Sets . . 271--287
 Conrado P. L. Gouvêa and   
             Julio López   High Speed Implementation of
                                  Authenticated Encryption for the MSP430X
                                  Microcontroller  . . . . . . . . . . . . 288--304
         Benedikt Gierlichs and   
     Jörn-Marc Schmidt and   
               Michael Tunstall   Infective Computation and Dummy Rounds:
                                  Fault Protection for Block Ciphers
                                  without Check-before-Output  . . . . . . 305--321
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7534, 2012

             Matthias Bernt and   
               Kun-Mao Chao and   
                   Jyun-Wei Kao   Preserving Inversion Phylogeny
                                  Reconstruction . . . . . . . . . . . . . 1--13
            Daniel G. Brown and   
              Jakub Truszkowski   Fast Phylogenetic Tree Reconstruction
                                  Using Locality-Sensitive Hashing . . . . 14--29
  Constantinos Tsirogiannis and   
               Brody Sandel and   
             Dimitris Cheliotis   Efficient Computation of Popular
                                  Phylogenetic Tree Measures . . . . . . . 30--43
            Daniel G. Brown and   
                  Daniel Dexter   SibJoin: a Fast Heuristic for
                                  Half-Sibling Reconstruction  . . . . . . 44--56
                    Yun Zhu and   
                   Luay Nakhleh   Reconstructing the Evolution of
                                  Molecular Interaction Networks under the
                                  DMC and Link Dynamics Models . . . . . . 57--68
Bjarni V. Halldórsson and   
                 Dima Blokh and   
                   Roded Sharan   Estimating Population Size via Line
                                  Graph Reconstruction . . . . . . . . . . 69--80
              Akshay Deepak and   
David Fernández-Baca and   
            Michelle M. McMahon   Extracting Conflict-Free Information
                                  from Multi-labeled Trees . . . . . . . . 81--92
                  Rob Gysel and   
           Kristian Stevens and   
                   Dan Gusfield   Reducing Problems in Unrooted Tree
                                  Compatibility to Restricted
                                  Triangulations of Intersection Graphs    93--105
              Manuel Lafond and   
         Krister M. Swenson and   
               Nadia El-Mabrouk   An Optimal Reconciliation Algorithm for
                                  Gene Trees with Polytomies . . . . . . . 106--122
             Thi Hau Nguyen and   
        Jean-Philippe Doyon and   
       Stéphanie Pointet   Accounting for Gene Tree Uncertainties
                                  Improves Gene Trees and Reconciliation
                                  Inference  . . . . . . . . . . . . . . . 123--134
                Nimrod Milo and   
                 Shay Zakov and   
           Erez Katzenelson and   
                  Eitan Bachmat   RNA Tree Comparisons via Unrooted
                                  Unordered Alignments . . . . . . . . . . 135--148
           Philippe Rinaudo and   
                 Yann Ponty and   
            Dominique Barth and   
                   Alain Denise   Tree Decomposition and Parameterized
                                  Algorithms for RNA Structure-Sequence
                                  Alignment Including Tertiary
                                  Interactions and Pseudoknots . . . . . . 149--164
               Anirban Bhar and   
            Martin Haubrock and   
           Anirban Mukhopadhyay   $\delta$-TRIMAX: Extracting Triclusters
                                  and Analysing Coregulation in Time
                                  Series Gene Expression Data  . . . . . . 165--177
                 Yen-Yi Lin and   
                 Phuong Dao and   
                 Faraz Hach and   
            Marzieh Bakhshi and   
                         Fan Mo   CLIIQ: Accurate Comparative Detection
                                  and Quantification of Expressed Isoforms
                                  in a Population  . . . . . . . . . . . . 178--189
              Brad Shutters and   
             Sudheer Vakati and   
    David Fernández-Baca   Improved Lower Bounds on the
                                  Compatibility of Quartets, Triplets, and
                                  Multi-state Characters . . . . . . . . . 190--200
                    Yasuo Tabei   Succinct Multibit Tree: Compact
                                  Representation of Multibit Trees by
                                  Using Succinct Data Structures in
                                  Chemical Fingerprint Searches  . . . . . 201--213
             Anthony J. Cox and   
              Tobias Jakobi and   
                Giovanna Rosone   Comparing DNA Sequence Collections by
                                  Direct Comparison of Compressed Text
                                  Indexes  . . . . . . . . . . . . . . . . 214--224
             Alexander Bowe and   
               Taku Onodera and   
              Kunihiko Sadakane   Succinct de Bruijn Graphs  . . . . . . . 225--235
               Rayan Chikhi and   
                 Guillaume Rizk   Space-Efficient and Exact de Bruijn
                                  Graph Representation Based on a Bloom
                                  Filter . . . . . . . . . . . . . . . . . 236--248
             Nikolay Vyahhi and   
               Alex Pyshkin and   
                   Son Pham and   
               Pavel A. Pevzner   From de Bruijn Graphs to Rectangle
                                  Graphs for Genome Assembly . . . . . . . 249--261
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7535, 2012

         Andreas Björklund   The Path Taken for $k$-Path  . . . . . . 1--1
             Dániel Marx   Randomized Techniques for Parameterized
                                  Algorithms . . . . . . . . . . . . . . . 2--2
           Marcin Pilipczuk and   
              Micha\l Pilipczuk   Finding a Maximum Induced Degenerate
                                  Subgraph Faster Than $2^n$ . . . . . . . 3--12
                 Yijia Chen and   
             Kord Eickmeyer and   
                 Jörg Flum   The Exponential Time Hypothesis and the
                                  Parameterized Clique Problem . . . . . . 13--24
            Bruno Escoffier and   
 Jérôme Monnot and   
           Vangelis Th. Paschos   New Results on Polynomial
                                  Inapproximability and Fixed Parameter
                                  Approximability of edge dominating set   25--36
              Ivan Bliznets and   
             Alexander Golovnev   A New Algorithm for Parameterized
                                  MAX-SAT  . . . . . . . . . . . . . . . . 37--48
            Paola Bonizzoni and   
             Riccardo Dondi and   
                Giancarlo Mauri   Restricted and Swap Common Superstring:
                                  a Parameterized View . . . . . . . . . . 49--60
                \Lukasz Kowalik   Nonblocker in H-Minor Free Graphs:
                                  Kernelization Meets Discharging  . . . . 61--72
             Jörg Flum and   
             Moritz Müller   Some Definitorial Suggestions for
                                  Parameterized Proof Complexity . . . . . 73--84
           Petr A. Golovach and   
            Pinar Heggernes and   
                 Dieter Kratsch   An Exact Algorithm for Subset Feedback
                                  Vertex Set on Chordal Graphs . . . . . . 85--96
             Fedor V. Fomin and   
          Bart M. P. Jansen and   
              Micha\l Pilipczuk   Preprocessing Subgraph and Minor
                                  Problems: When Does a Small Vertex Cover
                                  Help?  . . . . . . . . . . . . . . . . . 97--108
            Cédric Bentz   A Polynomial-Time Algorithm for Planar
                                  Multicuts with Few Source-Sink Pairs . . 109--119
      Chiranjit Chakraborty and   
                Rahul Santhanam   Instance Compression for the Polynomial
                                  Hierarchy and beyond . . . . . . . . . . 120--134
              Abhijin Adiga and   
                Jasine Babu and   
              L. Sunil Chandran   Polynomial Time and Parameterized
                                  Approximation Algorithms for Boxicity    135--146
              Petteri Kaski and   
             Mikko Koivisto and   
                Jesper Nederlof   Homomorphic Hashing for Sparse
                                  Coefficient Extraction . . . . . . . . . 147--158
              Petteri Kaski and   
             Mikko Koivisto and   
              Janne H. Korhonen   Fast Monotone Summation over Disjoint
                                  Sets . . . . . . . . . . . . . . . . . . 159--170
         Markus Bläser and   
               Radu Curticapean   Weighted Counting of $k$-Matchings Is
                                  $\#W[1]$-Hard  . . . . . . . . . . . . . 171--181
             Kenta Kitsunai and   
          Yasuaki Kobayashi and   
                   Keita Komuro   Computing Directed Pathwidth in
                                  $O(1.89^n)$ Time . . . . . . . . . . . . 182--193
               James Abello and   
        Pavel Klavík and   
          Jan Kratochvíl   MSOL Restricted Contractibility to
                                  Planar Graphs  . . . . . . . . . . . . . 194--205
          Michael Elberfeld and   
       Christoph Stockhusen and   
                    Till Tantau   On the Space Complexity of Parameterized
                                  Problems . . . . . . . . . . . . . . . . 206--217
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7538, 2012

             Lorenzo Blanco and   
           Valter Crescenzi and   
             Paolo Merialdo and   
                  Paolo Papotti   Web Data Reconciliation: Models and
                                  Experiences  . . . . . . . . . . . . . . 1--15
              Varish Mulwad and   
                  Tim Finin and   
                   Anupam Joshi   A Domain Independent Framework for
                                  Extracting Linked Semantic Data from
                                  Tables . . . . . . . . . . . . . . . . . 16--33
        Jörg Unbehauen and   
         Sebastian Hellmann and   
            Sören Auer and   
                  Claus Stadler   Knowledge Extraction from Structured
                                  Sources  . . . . . . . . . . . . . . . . 34--52
            Marco Brambilla and   
               Stefano Ceri and   
             Nicola Cinefra and   
            Anish Das Sarma and   
                Fabio Forghieri   Extracting Information from Google
                                  Fusion Tables  . . . . . . . . . . . . . 53--67
          Alessandro Bozzon and   
               Stefano Ceri and   
              Sr\dbaran Zagorac   Materialization of Web Data Sources  . . 68--81
          Vincenzo Guerrisi and   
            Pietro La Torre and   
              Silvia Quarteroni   Natural Language Interfaces to Data
                                  Services . . . . . . . . . . . . . . . . 82--97
                Atakan Aral and   
           Ilker Zafer Akin and   
                Marco Brambilla   Mobile Multi-domain Search over
                                  Structured Web Data  . . . . . . . . . . 98--110
            Marco Brambilla and   
            Massimiliano Zanoni   Clustering and Labeling of
                                  Multi-dimensional Mixed Structured Data  111--126
     Rober Morales-Chaparro and   
       Juan Carlos Preciado and   
Fernando Sánchez-Figueroa   Visualizing Search Results: Engineering
                                  Visual Patterns Development for the Web  127--142
          Alessandro Bozzon and   
       Emanuele Della Valle and   
                Sara Magliacane   Extending SPARQL Algebra to Support
                                  Efficient Evaluation of Top-K SPARQL
                                  Queries  . . . . . . . . . . . . . . . . 143--156
            Silvana Castano and   
              Alfio Ferrara and   
             Stefano Montanelli   Thematic Clustering and Exploration of
                                  Linked Data  . . . . . . . . . . . . . . 157--175
              Marcelo Cohen and   
                 Daniel Schwabe   Support for Reusable Explorations of
                                  Linked Data in the Semantic Web  . . . . 176--190
                 Sara Cohen and   
            Benny Kimelfeld and   
               Georgia Koutrika   A Survey on Proximity Measures for
                                  Social Networks  . . . . . . . . . . . . 191--206
          Alessandro Bozzon and   
            Marco Brambilla and   
               Stefano Ceri and   
                   Andrea Mauri   Extending Search to Crowds: a
                                  Model-Driven Approach  . . . . . . . . . 207--222
             Jörn Hees and   
      Thomas Roth-Berghofer and   
               Ralf Biedert and   
            Benjamin Adrian and   
                 Andreas Dengel   BetterRelations: Collecting Association
                                  Strengths for Linked Data Triples with a
                                  Game . . . . . . . . . . . . . . . . . . 223--239
            Marco Brambilla and   
                Sofia Ceppi and   
               Nicola Gatti and   
              Enrico H. Gerding   An Incentive--Compatible
                                  Revenue--Sharing Mechanism for the
                                  Economic Sustainability of Multi--domain
                                  Search Based on Advertising  . . . . . . 240--254
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7539, 2012

               Manfred Broy and   
María Victoria Cengarle and   
                 Eva Geisberger   Cyber-Physical Systems: Imminent
                                  Challenges . . . . . . . . . . . . . . . 1--28
                 Dave Cliff and   
                 Linda Northrop   The Global Financial Markets: An
                                  Ultra-Large-Scale Systems Perspective    29--70
                    Justin Keen   What Is a Care Pathway?  . . . . . . . . 71--80
           Douglas S. Lange and   
        Phillip Verbancsics and   
       Robert S. Gutzwiller and   
                John Reeder and   
                  Cullen Sarles   Command and Control of Teams of
                                  Autonomous Systems . . . . . . . . . . . 81--93
               John A. McDermid   The Risks of LSCITS: The Odds Are
                                  Stacked against Us . . . . . . . . . . . 94--117
               Marco Autili and   
       Vittorio Cortellessa and   
           Davide Di Ruscio and   
                Paola Inverardi   Integration Architecture Synthesis for
                                  Taming Uncertainty in the Digital Space  118--131
               Bangdao Chen and   
                   A. W. Roscoe   Social Networks for Importing and
                                  Exporting Security . . . . . . . . . . . 132--147
               Jose Faleiro and   
            Sriram Rajamani and   
              Kaushik Rajan and   
              G. Ramalingam and   
                  Kapil Vaswani   CScale --- a Programming Model for
                                  Scalable and Reliable Distributed
                                  Applications . . . . . . . . . . . . . . 148--156
               David Garlan and   
             Vishal Dwivedi and   
               Ivan Ruchkin and   
                Bradley Schmerl   Foundations and Tools for End-User
                                  Architecting . . . . . . . . . . . . . . 157--182
                 Arne Haber and   
              Holger Rendel and   
             Bernhard Rumpe and   
                   Ina Schaefer   Evolving Delta-Oriented Software Product
                                  Line Architectures . . . . . . . . . . . 183--208
     Reinhard von Hanxleden and   
              Edward A. Lee and   
           Christian Motika and   
                 Hauke Fuhrmann   Multi-view Modeling and Pragmatics in
                                  2020 . . . . . . . . . . . . . . . . . . 209--223
             Rolf Hennicker and   
                Matthias Ludwig   View-Based Development of a Simulation
                                  Framework for Multi-disciplinary
                                  Environmental Modelling  . . . . . . . . 224--250
           Richard F. Paige and   
          Phillip J. Brooke and   
               Xiaocheng Ge and   
        Christopher D. S. Power   Revealing Complexity through
                                  Domain-Specific Modelling and Analysis   251--265
            Ian Sommerville and   
               Russell Lock and   
                     Tim Storer   Information Requirements for Enterprise
                                  Systems  . . . . . . . . . . . . . . . . 266--282
Étienne André and   
                  Kais Klai and   
                 Hanen Ochi and   
                 Laure Petrucci   A Counterexample-Based Incremental and
                                  Modular Verification Approach  . . . . . 283--302
             Radu Calinescu and   
             Shinji Kikuchi and   
                Kenneth Johnson   Compositional Reverification of
                                  Probabilistic Safety Properties for
                                  Large-Scale Complex IT Systems . . . . . 303--329
         Maximilien Colange and   
          Lom-Messan Hillah and   
             Fabrice Kordon and   
                 Pierre Parutto   Extreme Symmetries in Complex
                                  Distributed Systems: The Bag-Oriented
                                  Approach . . . . . . . . . . . . . . . . 330--352
          Klaus Dräger and   
              Marta Kwiatkowska   Towards Communication-Based Steering of
                                  Complex Distributed Systems  . . . . . . 353--368
                   Carlo Ghezzi   Evolution, Adaptation, and the Quest for
                                  Incrementality . . . . . . . . . . . . . 369--379
        Thomas A. Henzinger and   
             Dejan Ni\vckovi\'c   Independent Implementability of
                                  Viewpoints . . . . . . . . . . . . . . . 380--395
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7541, 2012

          Haitham Bou Ammar and   
          Matthew E. Taylor and   
                 Karl Tuyls and   
                  Gerhard Weiss   Reinforcement Learning Transfer Using a
                                  Sparse Coded Inter-task Mapping  . . . . 1--16
                      Bo An and   
                   Milind Tambe   Game Theory for Security: An Important
                                  Challenge for Multiagent Systems . . . . 17--30
                   Tim Brys and   
Yann-Michaël De Hauwere and   
            Ann Nowé and   
                   Peter Vrancx   Local Coordination in Online Distributed
                                  Constraint Optimization Problems . . . . 31--47
      Álvaro Carrera and   
             Carlos A. Iglesias   Improving Diagnosis Agents with Hybrid
                                  Hypotheses Confirmation Reasoning
                                  Techniques . . . . . . . . . . . . . . . 48--62
         Massimo Cossentino and   
             Carmelo Lodato and   
            Salvatore Lopes and   
            Patrizia Ribino and   
                Valeria Seidita   Towards a Design Process for Modeling
                                  MAS Organizations  . . . . . . . . . . . 63--79
    Chukwuemeka David Emele and   
          Timothy J. Norman and   
                  Simon Parsons   Argumentation Strategies for Task
                                  Delegation . . . . . . . . . . . . . . . 80--96
          Nicoletta Fornara and   
              Daniel Okouya and   
               Marco Colombetti   Using OWL 2 DL for Expressing ACL
                                  Content and Semantics  . . . . . . . . . 97--113
           Marie-Pierre Gleizes   Self-adaptive Complex Systems  . . . . . 114--128
            Cristian Gratie and   
             Adina Magda Florea   Argumentation Semantics for Agents . . . 129--144
            Michael Kaisers and   
           Daan Bloembergen and   
                     Karl Tuyls   Multi-agent Learning and the
                                  Reinforcement Gradient . . . . . . . . . 145--159
                Eric M. Kok and   
       John-Jules Ch. Meyer and   
       Herre van Oostendorp and   
                  Henry Prakken   A Methodology for the Generation of
                                  Multi-agent Argumentation Dialogue
                                  Scenarios  . . . . . . . . . . . . . . . 160--174
                 Peter McBurney   What Are Models for? . . . . . . . . . . 175--188
          Francisco S. Melo and   
       Matthijs T. J. Spaan and   
             Stefan J. Witwicki   QueryPOMDP: POMDP-Based Communication in
                                  Multiagent Systems . . . . . . . . . . . 189--204
            Camille Persson and   
            Gauthier Picard and   
             Fano Ramparany and   
               Olivier Boissier   A Multi-agent Based Governance of
                                  Machine-to-Machine Systems . . . . . . . 205--220
            Valeria Seidita and   
         Massimo Cossentino and   
                 Antonio Chella   A Proposal of Process Fragment
                                  Definition and Documentation . . . . . . 221--237
      Filipo Studzinski Perotto   Recognizing Internal States of Other
                                  Agents to Anticipate and Coordinate
                                  Interactions . . . . . . . . . . . . . . 238--258
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7543, 2012

            Cristian Gratie and   
             Adina Magda Florea   Fuzzy Labeling for Argumentation
                                  Frameworks . . . . . . . . . . . . . . . 1--8
                   A. Kakas and   
                  L. Amgoud and   
           G. Kern-Isberner and   
                  N. Maudet and   
                    P. Moraitis   ABA: Argumentation Based Agents  . . . . 9--27
                  Hiroyuki Kido   Practical Argumentation Semantics for
                                  Pareto Optimality and Its Relationships
                                  with Values  . . . . . . . . . . . . . . 28--45
         Yoshifumi Maruyama and   
            Taichi Hasegawa and   
           Takeshi Hagiwara and   
                Hajime Sawamura   Syncretic Argumentation for Multi-agents
                                  by Lattice Homomorphism, Fusion and Sum  46--65
           Kazuko Takahashi and   
                       Yu Nambu   A Semantics for Dynamic Argumentation
                                  Frameworks . . . . . . . . . . . . . . . 66--85
               Elise Bonzon and   
                 Nicolas Maudet   On the Outcomes of Multiparty Persuasion 86--101
          Ioan Alfred Letia and   
                   Adrian Groza   Arguing with Justifications between
                                  Collaborating Agents . . . . . . . . . . 102--116
        T. L. van der Weide and   
                      F. Dignum   Reasoning about and Discussing
                                  Preferences between Arguments  . . . . . 117--135
        T. L. van der Weide and   
                  F. Dignum and   
            J.-J. Ch. Meyer and   
                 H. Prakken and   
             G. A. W. Vreeswijk   Multi-criteria Argument Selection in
                                  Persuasion Dialogues . . . . . . . . . . 136--153
    Chukwuemeka David Emele and   
          Timothy J. Norman and   
                  Simon Parsons   Argumentation Strategies for
                                  Collaborative Plan Resourcing  . . . . . 154--173
                 Pere Pardo and   
    Sergio Pajares Ferrando and   
               Eva Onaindia and   
          Lluís Godo and   
                 Pilar Dellunde   Cooperative Dialogues for Defeasible
                                  Argumentation-Based Planning . . . . . . 174--193
              Simon Parsons and   
            Elizabeth Sklar and   
                 Peter McBurney   Using Argumentation to Reason with and
                                  about Trust  . . . . . . . . . . . . . . 194--212
            Elizabeth Sklar and   
                    M. Q. Azhar   Toward the Application of Argumentation
                                  to Interactive Learning Systems  . . . . 213--230
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7546, 2012

   Francisco V. Cipolla Ficarra   Local Tourism and Cultural Heritage
                                  Internalization: Myths and Realities
                                  from Software  . . . . . . . . . . . . . 1--14
          Susana I. Herrera and   
     Silvia del V. Zuaín   Emotion and Communicability in e-Culture
                                  Applications . . . . . . . . . . . . . . 15--24
   Francisco V. Cipolla Ficarra   The Expansion Era of the
                                  Communicability: First Nations for the
                                  Local and Global Promotion of Cultural
                                  and Natural Heritage . . . . . . . . . . 25--37
      Leda B. Digión and   
                     Mabel Sosa   Conceptual Integration of Usability and
                                  Communicability for the Interface
                                  Maintenance of E-learning Type
                                  Collaborative Systems  . . . . . . . . . 38--48
   Francisco V. Cipolla Ficarra   Trichotomic Analysis: Communicability,
                                  Distance Learning and Hypermedia Systems
                                  Off-Line . . . . . . . . . . . . . . . . 49--63
              Natalia Trejo and   
               Sandra Casas and   
                   Karim Hallar   A Feature-Oriented WSDL Extension for
                                  Describing Grid Services . . . . . . . . 64--72
   Francisco V. Cipolla Ficarra   Digital Photography and Geographical
                                  Information in the Web 2.0: a Quality
                                  Evaluation of the Contents . . . . . . . 73--88
                 Andreas Kratky   Playing Nature --- a Short History of
                                  Our Mediated Relationship to Nature  . . 89--98
Gonzalo Martín Sánchez   Virtual Reconstruction of the Wall and
                                  Alcazar of Molina de Segura  . . . . . . 99--112
     Beatriz Sainz de Abajo and   
             Lucas D. P. Mendes   eGovernment: Real Democracy in Digital
                                  Society  . . . . . . . . . . . . . . . . 113--123
Mauricio Pérez Jiménez   Reviews on the Narrative Status of Video
                                  Games  . . . . . . . . . . . . . . . . . 124--132
       Sohaila Binte Ridwan and   
           Hasan Shahid Ferdous   The State of OpenStreetMap in Bangladesh 133--143
            Luciana Benotti and   
                Alexandre Denis   Building Virtual Guides for Virtual
                                  Worlds . . . . . . . . . . . . . . . . . 144--153
        T. Cerratto-Pargman and   
                    O. Knutsson   User Centered Development of Automatic
                                  E-mail Answering for the Public Sector   154--156
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7547, 2012

   Francisco V. Cipolla Ficarra   The Argentinization of the User Centered
                                  Design . . . . . . . . . . . . . . . . . 1--14
   María M. Clusella and   
          María G. Mitre   Integrated Synergy for Cultural Contents
                                  Recursivity in e-Culture System  . . . . 15--25
           M. Claudia Buzzi and   
               Francesco Donini   Federation and Security Aspects for the
                                  Management of the EHR in Italy . . . . . 26--37
Juan Manuel Rodríguez and   
                Cristian Mateos   Are Smartphones Really Useful for
                                  Scientific Computing?  . . . . . . . . . 38--47
                Vili Podgorelec   Ontology and Rule Based Inferring on
                                  Project Teams  . . . . . . . . . . . . . 48--57
               Elina Pacini and   
              Melisa Ribero and   
                Cristian Mateos   Simulation on Cloud Computing
                                  Infrastructures of Parametric Studies of
                                  Nonlinear Solids Problems  . . . . . . . 58--70
   Francisco V. Cipolla Ficarra   New Technologies of the Information and
                                  Communication: Analysis of the
                                  Constructors and Destructors of the
                                  European Educational System  . . . . . . 71--84
         Rubén Fares and   
              Rosanna Costaguta   A Multi-agent Model That Promotes
                                  Team-Role Balance in Computer Supported
                                  Collaborative Learning . . . . . . . . . 85--91
        Virginia Yannibelli and   
           Analía Amandi   A Memetic Algorithm for Collaborative
                                  Learning Team Formation in the Context
                                  of Software Engineering Courses  . . . . 92--103
                   Saad Alharbi   Empirically Derived Guidelines for
                                  Audio-Visual E-mail Browsing . . . . . . 104--113
       Alejandro Corbellini and   
              Silvia Schiaffino   Intelligent Analysis of User
                                  Interactions in a Collaborative Software
                                  Engineering Context  . . . . . . . . . . 114--123
   Francisco V. Cipolla Ficarra   Motivation for Next Generation of Users
                                  versus Parochialism in Software
                                  Engineering  . . . . . . . . . . . . . . 124--133
          Rosanna Costaguta and   
             Elena Durán   Group and Students Profiles to Support
                                  Collaborative Learning in a Multiagent
                                  Model  . . . . . . . . . . . . . . . . . 134--139
 Guillermo Rodríguez and   
                   Alvaro Soria   Teaching Scrum to Software Engineering
                                  Students with Virtual Reality Support    140--150
Francisco V. Cipolla Ficarra and   
                 Andreas Kratky   Security of the Automatic Information
                                  On-Line: a Study of the Controls Forbid  151--164
      Leda B. Digión and   
                     Mabel Sosa   Communicability and Usability for the
                                  Interface in e-Learning  . . . . . . . . 165--175
    Matías Nicoletti and   
     J. Andrés Diaz-Pace   Towards Software Architecture Documents
                                  Matching Stakeholders' Interests . . . . 176--185
       Sergio Ariel Salinas and   
    Carlos García Garino   An Architecture for Resource Behavior
                                  Prediction to Improve Scheduling Systems
                                  Performance on Enterprise Desktop Grids  186--196
Juan Francisco Silva Logroño and   
             Luis Berdún   Discrete Sequences Analysis for
                                  Detecting Software Design Patterns . . . 197--207
               Marco Crasso and   
                Cristian Mateos   A Programming Model for the Semantic Web 208--218
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7548, 2012

             Nikola Kasabov and   
            Stefan Schliebs and   
                 Ammar Mohemmed   Modelling the Effect of Genes on the
                                  Dynamics of Probabilistic Spiking Neural
                                  Networks for Computational Neurogenetic
                                  Modelling  . . . . . . . . . . . . . . . 1--9
            Clelia Di Serio and   
              Danilo Pellin and   
         Alessandro Ambrosi and   
                Ingrid Glad and   
               Arnoldo Frigessi   Biostatistics Meets Bioinformatics in
                                  Integrating Information from
                                  Highdimensional Heterogeneous Genomic
                                  Data: Two Examples from Rare Genetic
                                  Diseases and Infectious Diseases . . . . 10--20
           Claudia Angelini and   
       Daniela De Canditiis and   
            Marianna Pensky and   
               Naomi Brownstein   Bayesian Models for the Multi-sample
                                  Time-Course Microarray Experiments . . . 21--35
             Annalisa Barla and   
            Giuseppe Jurman and   
        Roberto Visintainer and   
          Margherita Squillario   A Machine Learning Pipeline for
                                  Discriminant Pathways Identification . . 36--48
         Paulo J. G. Lisboa and   
              Ian H. Jarman and   
        Terence A. Etchells and   
              Simon J. Chambers   Discovering Hidden Pathways in
                                  Bioinformatics . . . . . . . . . . . . . 49--60
          Niccol\`o Bassani and   
           Federico Ambrogi and   
         Cristina Battaglia and   
                 Elia Biganzoli   Reliability of miRNA Microarray
                                  Platforms: An Approach Based on Random
                                  Effects Linear Models  . . . . . . . . . 61--72
           Roberta Spinelli and   
               Rocco Piazza and   
          Alessandra Pirola and   
            Simona Valletta and   
               Roberta Rostagno   A Bioinformatics Procedure to Identify
                                  and Annotate Somatic Mutations in
                                  Whole-Exome Sequencing Data  . . . . . . 73--82
Félix Fernando González-Navarro and   
Lluís A. Belanche-Muñoz   Feature Selection for the Prediction and
                                  Visualization of Brain Tumor Types Using
                                  Proton Magnetic Resonance Spectroscopy
                                  Data . . . . . . . . . . . . . . . . . . 83--97
            Vicent J. Ribas and   
Jesús Caballero López and   
 Anna Sáez de Tejada and   
Juan Carlos Ruiz-Rodríguez   On the Use of Graphical Models to Study
                                  ICU Outcome Prediction in Septic
                                  Patients Treated with Statins  . . . . . 98--111
             Arif Canakoglu and   
        Giorgio Ghisalberti and   
                Marco Masseroli   Integration of Biomolecular Interaction
                                  Data in a Genomic and Proteomic Data
                                  Warehouse to Support Biomedical
                                  Knowledge Discovery  . . . . . . . . . . 112--126
        Castrense Savojardo and   
            Piero Fariselli and   
           Damiano Piovesan and   
            Pier Luigi Martelli   Machine-Learning Methods to Predict
                                  Protein Interaction Sites in Folded
                                  Proteins . . . . . . . . . . . . . . . . 127--135
Martha Ivón Cárdenas and   
            Alfredo Vellido and   
          Iván Olier and   
              Xavier Rovira and   
           Jesús Giraldo   Complementing Kernel-Based Visualization
                                  of Protein Sequences with Their
                                  Phylogenetic Tree  . . . . . . . . . . . 136--149
              Pavol Jancura and   
       Dimitrios Mavroeidis and   
                Elena Marchiori   DEEN: a Simple and Fast Algorithm for
                                  Network Community Detection  . . . . . . 150--163
              Paolo Castiglioni   Self-similarity in Physiological Time
                                  Series: New Perspectives from the
                                  Temporal Spectrum of Scale Exponents . . 164--175
           Antonio Eleuteri and   
             Azzam F. G. Taktak   Support Vector Machines for Survival
                                  Regression . . . . . . . . . . . . . . . 176--189
   Alexandru George Floares and   
            Irina Luludachi and   
               Colin Dinney and   
                     Liana Adam   Boosted C5 Trees $i$-Biomarkers Panel
                                  for Invasive Bladder Cancer Progression
                                  Prediction . . . . . . . . . . . . . . . 190--200
          Federico Zambelli and   
                  Giulio Pavesi   A Faster Algorithm for Motif Finding in
                                  Sequences from ChIP-Seq Data . . . . . . 201--212
              Fabrice Colas and   
 Jeanine J. Houwing-Duistermaat   Case/Control Prediction from Illumina
                                  Methylation Microarray's $\beta$ and
                                  Two-Color Channels in the Presence of
                                  Batch Effects  . . . . . . . . . . . . . 213--225
       Francesco Napolitano and   
            Roberto Tagliaferri   Supporting the Design, Communication and
                                  Management of Bioinformatic Protocols
                                  through the Leaf Tool  . . . . . . . . . 226--237
              Davide Chicco and   
         Marco Tagliasacchi and   
                Marco Masseroli   Genomic Annotation Prediction Based on
                                  Integrated Information . . . . . . . . . 238--252
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7549, 2012

                   Kaisa Nyberg   ``Provable'' Security against
                                  Differential and Linear Cryptanalysis    1--8
                 Itai Dinur and   
              Orr Dunkelman and   
                     Adi Shamir   Improved Attacks on Full GOST  . . . . . 9--28
            Andrey Bogdanov and   
                    Meiqin Wang   Zero Correlation Linear Cryptanalysis
                                  with Reduced Data Complexity . . . . . . 29--48
                Meiqin Wang and   
                    Yue Sun and   
          Elmar Tischhauser and   
                   Bart Preneel   A Model for Structure Attacks, with
                                  Applications to PRESENT and Serpent  . . 49--68
                     Jiqiang Lu   A Methodology for Differential-Linear
                                  Cryptanalysis and Its Applications . . . 69--89
                     Ya Liu and   
                   Leibo Li and   
                    Dawu Gu and   
               Xiaoyun Wang and   
               Zhiqiang Liu and   
                Jiazhe Chen and   
                         Wei Li   New Observations on Impossible
                                  Differential Cryptanalysis of
                                  Reduced-Round Camellia . . . . . . . . . 90--109
  Jérémy Jean and   
María Naya-Plasencia and   
                  Thomas Peyrin   Improved Rebound Attack on the Finalist
                                  Gròstl  . . . . . . . . . . . . . . . . . 110--126
                  Shuang Wu and   
               Dengguo Feng and   
                 Wenling Wu and   
                   Jian Guo and   
                    Le Dong and   
                       Jian Zou   (Pseudo) Preimage Attack on
                                  Round-Reduced Gròstl Hash Function and
                                  Others . . . . . . . . . . . . . . . . . 127--145
María Naya-Plasencia and   
                  Thomas Peyrin   Practical Cryptanalysis of ARMADILLO2    146--162
                    Lei Wei and   
              Thomas Peyrin and   
    Przemys\law Soko\lowski and   
                   San Ling and   
             Josef Pieprzyk and   
                  Huaxiong Wang   On the (In)Security of IDEA in Various
                                  Hashing Modes  . . . . . . . . . . . . . 163--179
            Phillip Rogaway and   
               Mark Wooding and   
                   Haibin Zhang   The Security of Ciphertext Stealing  . . 180--195
           Ewan Fleischmann and   
           Christian Forler and   
                   Stefan Lucks   McOE: a Family of Almost Foolproof
                                  On-Line Authenticated Encryption Schemes 196--215
   Markku-Juhani Olavi Saarinen   Cycling Attacks on GCM, GHASH and Other
                                  Polynomial MACs and Hashes . . . . . . . 216--225
             Florian Mendel and   
               Tomislav Nad and   
          Martin Schläffer   Collision Attacks on the Reduced
                                  Dual-Stream Hash Function RIPEMD-128 . . 226--243
        Dmitry Khovratovich and   
       Christian Rechberger and   
            Alexandra Savelieva   Bicliques for Preimages: Attacks on
                                  Skein-512 and the SHA-2 Family . . . . . 244--263
                      Ji Li and   
             Takanori Isobe and   
                Kyoji Shibutani   Converting Meet-In-The-Middle Preimage
                                  Attack into Pseudo Collision Attack:
                                  Application to SHA-2 . . . . . . . . . . 264--286
         Vesselin Velichkov and   
                Nicky Mouha and   
   Christophe De Canni\`ere and   
                   Bart Preneel   UNAF: a Special Set of Additive
                                  Differences with Application to the
                                  Differential Analysis of ARX . . . . . . 287--305
        Nicolas T. Courtois and   
           Pouyan Sepehrdad and   
               Petr Su\vsil and   
                 Serge Vaudenay   ElimLin Algorithm Revisited  . . . . . . 306--325
          Long Hoang Nguyen and   
                   A. W. Roscoe   Short-Output Universal Hash Functions
                                  and Their Use in Fast and Secure Data
                                  Authentication . . . . . . . . . . . . . 326--345
               Stefan Heyse and   
                 Eike Kiltz and   
         Vadim Lyubashevsky and   
              Christof Paar and   
             Krzysztof Pietrzak   Lapin: An Efficient Authentication
                                  Protocol Based on Ring-LPN . . . . . . . 346--365
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??