Table of contents for issues of Lecture Notes in Computer Science

Last update: Sat Aug 31 12:36:11 MDT 2024                Valid HTML 3.2!

Volume 7550, 2012
Volume 7551, 2012
Volume 7552, 2012
Volume 7553, 2012
Volume 7554, 2012
Volume 7555, 2012
Volume 7556, 2012
Volume 7557, 2012
Volume 7558, 2012
Volume 7559, 2012
Volume 7560, 2012
Volume 7562, 2012
Volume 7563, 2012
Volume 7564, 2012
Volume 7569, 2012
Volume 7570, 2012
Volume 7572, 2012
Volume 7574, 2012
Volume 7578, 2012
Volume 7579, 2012
Volume 7580, 2012
Volume 7583, 2012
Volume 7584, 2012
Volume 7585, 2012
Volume 7590, 2012
Volume 7592, 2012
Volume 7594, 2012
Volume 7595, 2012
Volume 7596, 2012
Volume 7597, 2012
Volume 7599, 2012


Lecture Notes in Computer Science
Volume 7550, 2012

       Miko\laj Boja\'nczyk and   
               S\lawomir Lasota   Fraenkel--Mostowski Sets with
                                  Non-homogeneous Atoms  . . . . . . . . . 1--5
            Sylvain Salvati and   
               Igor Walukiewicz   Recursive Schemes, Krivine Machines, and
                                  Collapsible Pushdown Automata  . . . . . 6--20
         Joël Ouaknine and   
                  James Worrell   Decision Problems for Linear Recurrence
                                  Sequences  . . . . . . . . . . . . . . . 21--28
        Antonín Ku\vcera   Playing Games with Counter Automata  . . 29--41
                  Ingo Felscher   LTL-Model-Checking via Model Composition 42--53
            Christoph Haase and   
         Joël Ouaknine and   
                  James Worrell   On the Relationship between Reachability
                                  Problems in Timed and Counter Automata   54--65
            Stefano Brocchi and   
                 Paolo Massazza   Smooth Sand Piles  . . . . . . . . . . . 66--78
             Luca Benvenuti and   
            Davide Bresolin and   
             Pieter Collins and   
                Alberto Ferrari   Ariadne: Dominance Checking of Nonlinear
                                  Hybrid Automata Using Reachability
                                  Analysis . . . . . . . . . . . . . . . . 79--91
                  S. Akshay and   
Lo\"\ic Hélouët and   
                Claude Jard and   
           Pierre-Alain Reynier   Robustness of Time Petri Nets under
                                  Guard Enlargement  . . . . . . . . . . . 92--106
             Khalil Ghorbal and   
 Parasara Sridhar Duggirala and   
                  Vineet Kahlon   Efficient Probabilistic Model Checking
                                  of Systems with Ranged Probabilities . . 107--120
                    Rafiq Saleh   On the Length of Knot Transformations
                                  via Reidemeister Moves I and II  . . . . 121--136
           Paul Hänsch and   
              Stefan Kowalewski   Invariants for LTI Systems with
                                  Uncertain Input  . . . . . . . . . . . . 137--148
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7551, 2012

              Dieter Rautenbach   Account on Intervals . . . . . . . . . . 1--1
                    David Peleg   Constructing Resilient Structures in
                                  Graphs: Rigid vs. Competitive
                                  Fault-Tolerance  . . . . . . . . . . . . 2--2
           Amitava Bhattacharya   Alternating Reachability and Integer Sum
                                  of Closed Alternating Trails . . . . . . 3--3
    Martin Charles Golumbic and   
               Michal Stern and   
                Avivit Levy and   
               Gila Morgenstern   Student Poster Session . . . . . . . . . 4--6
                 Anne Berry and   
                Annegret Wagler   Triangulation and Clique Separator
                                  Decomposition of Claw-Free Graphs  . . . 7--21
              Flavia Bonomo and   
           Gianpaolo Oriolo and   
                  Claudia Snels   Minimum Weighted Clique Cover on
                                  Strip-Composed Perfect Graphs  . . . . . 22--33
             Stefan Kratsch and   
              Pascal Schweitzer   Graph Isomorphism for Graph Classes
                                  Characterized by Two Forbidden Induced
                                  Subgraphs  . . . . . . . . . . . . . . . 34--45
             Danny Hermelin and   
       Julián Mestre and   
                    Dror Rawitz   Optimization Problems in Dotted Interval
                                  Graphs . . . . . . . . . . . . . . . . . 46--56
          Mathew C. Francis and   
    Daniel Gonçalves and   
                   Pascal Ochem   The Maximum Clique Problem in Multiple
                                  Interval Graphs (Extended Abstract)  . . 57--68
   Péter Biró and   
           Matthijs Bomhoff and   
           Petr A. Golovach and   
                Walter Kern and   
           Daniël Paulusma   Solutions for the Stable Roommates
                                  Problem with Payments  . . . . . . . . . 69--80
              Daniel Berend and   
                     Amir Sapir   Which Multi-peg Tower of Hanoi Problems
                                  Are Exponential? . . . . . . . . . . . . 81--90
          Emilio Di Giacomo and   
              Walter Didimo and   
            Giuseppe Liotta and   
          Fabrizio Montecchiani   $h$-Quasi Planar Drawings of Bounded
                                  Treewidth Graphs in Linear Area  . . . . 91--102
           Christopher Auer and   
        Christian Bachmaier and   
       Franz J. Brandenburg and   
         Andreas Gleißner   The Duals of Upward Planar Graphs on
                                  Cylinders  . . . . . . . . . . . . . . . 103--113
               Leah Epstein and   
                 Asaf Levin and   
           Gerhard J. Woeginger   The (Weighted) Metric Dimension of
                                  Graphs: Hard and Easy Cases  . . . . . . 114--125
Konstanty Junosza-Szaniawski and   
      Jan Kratochvíl and   
           Mathieu Liedloff and   
           Pawe\l Rz\ka\.zewski   Determining the $L(2,1)$-Span in
                                  Polynomial Space . . . . . . . . . . . . 126--137
Jérôme Javelle and   
               Mehdi Mhalla and   
                  Simon Perdrix   On the Minimum Degree Up to Local
                                  Complementation: Bounds and Complexity   138--147
              Haiko Müller   On the Stable Degree of Graphs . . . . . 148--159
            \Lukasz Kowalik and   
                   Marcin Mucha   A 9 k Kernel for Nonseparating
                                  Independent Set in Planar Graphs . . . . 160--171
           Pranabendu Misra and   
            Venkatesh Raman and   
            M. S. Ramanujan and   
                  Saket Saurabh   Parameterized Algorithms for Even Cycle
                                  Transversal  . . . . . . . . . . . . . . 172--183
             Matthias Mnich and   
                 Rico Zenklusen   Bisections above Tight Lower Bounds  . . 184--193
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7552, 2012

             Claire Gerrard and   
                John McCall and   
          George M. Coghill and   
            Christopher Macleod   Temporal Patterns in Artificial Reaction
                                  Networks . . . . . . . . . . . . . . . . 1--8
          Iakov Karandashev and   
         Boris Kryzhanovsky and   
               Leonid Litinskii   Properties of the Hopfield Model with
                                  Weighted Patterns  . . . . . . . . . . . 9--16
           Farouk Chérif   Dynamics and Oscillations of GHNNs with
                                  Time-Varying Delay . . . . . . . . . . . 17--24
         Boris Durán and   
        Yulia Sandamirskaya and   
            Gregor Schöner   A Dynamic Field Architecture for the
                                  Generation of Hierarchically Organized
                                  Sequences  . . . . . . . . . . . . . . . 25--32
            Michal Matuszak and   
                Jacek Mi\kekisz   Stochastic Techniques in Influence
                                  Diagrams for Learning Bayesian Network
                                  Structure  . . . . . . . . . . . . . . . 33--40
          Iakov Karandashev and   
             Boris Kryzhanovsky   The Mix-Matrix Method in the Problem of
                                  Binary Quadratic Optimization  . . . . . 41--48
               James Austin and   
             Stephen Hobson and   
              Nathan Burles and   
                  Simon O'Keefe   A Rule Chaining Architecture Using a
                                  Correlation Matrix Memory  . . . . . . . 49--56
              Davide Bacciu and   
            Alessio Micheli and   
            Alessandro Sperduti   A Generative Multiset Kernel for
                                  Structured Data  . . . . . . . . . . . . 57--64
                   Rafal Zdunek   Spectral Signal Unmixing with
                                  Interior-Point Nonnegative Matrix
                                  Factorization  . . . . . . . . . . . . . 65--72
                   Dan Wang and   
                Donghong Ji and   
                      Wei Huang   Hybrid Optimized Polynomial Neural
                                  Networks with Polynomial Neurons and
                                  Fuzzy Polynomial Neurons . . . . . . . . 73--80
              KyungHyun Cho and   
             Alexander Ilin and   
                   Tapani Raiko   Tikhonov-Type Regularization for
                                  Restricted Boltzmann Machines  . . . . . 81--88
               Richard Wood and   
                  Ian Bruce and   
                  Peter Mascher   Modeling of Spiking Analog Neural
                                  Circuits with Hebbian Learning, Using
                                  Amorphous Semiconductor Thin Film
                                  Transistors with Silicon Oxide Nitride
                                  Semiconductor Split Gates  . . . . . . . 89--96
              Marcel Beuler and   
           Aubin Tchaptchet and   
              Werner Bonath and   
          Svetlana Postnova and   
              Hans Albert Braun   Real-Time Simulations of Synchronization
                                  in a Conductance-Based Neuronal Network
                                  with a Digital FPGA Hardware-Core  . . . 97--104
                Anand Singh and   
      Pierre J. Magistretti and   
                Bruno Weber and   
                 Renaud Jolivet   Impact of Frequency on the Energetic
                                  Efficiency of Action Potentials  . . . . 105--112
                 Kit Cheung and   
           Simon R. Schultz and   
                      Wayne Luk   A Large-Scale Spiking Neural Network
                                  Accelerator for FPGA Systems . . . . . . 113--120
          Swadesh Choudhary and   
               Steven Sloan and   
                    Sam Fok and   
           Alexander Neckar and   
             Eric Trautmann and   
                     Peiran Gao   Silicon Neurons That Compute . . . . . . 121--128
       Andres Gaona Barrera and   
        Manuel Moreno Arostegui   A Communication Infrastructure for
                                  Emulating Large-Scale Neural Networks
                                  Models . . . . . . . . . . . . . . . . . 129--136
            Nooraini Yusoff and   
  André Grüning and   
                   Scott Notley   Pair-Associate Learning with Modulated
                                  Spike-Time Dependent Plasticity  . . . . 137--144
           Everton J. Agnes and   
         Rubem Erichsen Jr. and   
            Leonardo G. Brunnet   Associative Memory in Neuronal Networks
                                  of Spiking Neurons: Architecture and
                                  Storage Analysis . . . . . . . . . . . . 145--152
             Shota Kirikawa and   
              Takashi Ogawa and   
               Toshimichi Saito   Bifurcating Neurons with Filtered Base
                                  Signals  . . . . . . . . . . . . . . . . 153--160
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7553, 2012

            Shinya Suzumura and   
                  Ryohei Nakano   Complex-Valued Multilayer Perceptron
                                  Search Utilizing Eigen Vector Descent
                                  and Reducibility Mapping . . . . . . . . 1--8
              Kazuyuki Hara and   
           Kentaro Katahira and   
              Kazuo Okanoya and   
                   Masato Okada   Theoretical Analysis of Function of
                                  Derivative Term in On-Line Gradient
                                  Descent Learning . . . . . . . . . . . . 9--16
    V\vera K\ocircurková   Some Comparisons of Networks with Radial
                                  and Kernel Units . . . . . . . . . . . . 17--24
          Geraldina Ribeiro and   
         Wouter Duivesteijn and   
              Carlos Soares and   
                    Arno Knobbe   Multilayer Perceptron for Label Ranking  25--32
            Irena Koprinska and   
                Mashud Rana and   
          Vassilios G. Agelidis   Electricity Load Forecasting: a
                                  Weekday-Based Approach . . . . . . . . . 33--41
               Michel Tokic and   
              Günther Palm   Adaptive Exploration Using Stochastic
                                  Neurons  . . . . . . . . . . . . . . . . 42--49
       Frank-Florian Steege and   
       Horst-Michael Groß   Comparison of Long-Term Adaptivity for
                                  Neural Networks  . . . . . . . . . . . . 50--57
             Franck Mamalet and   
              Christophe Garcia   Simplifying ConvNets for Fast Learning   58--65
João Fausto Lorenzato de Oliveira and   
             Teresa B. Ludermir   A Modified Artificial Fish Swarm
                                  Algorithm for the Optimization of
                                  Extreme Learning Machines  . . . . . . . 66--73
               Hiroshi Ninomiya   Robust Training of Feedforward Neural
                                  Networks Using Combined Online/Batch
                                  Quasi-Newton Techniques  . . . . . . . . 74--83
               Doris Entner and   
                Patrik O. Hoyer   Estimating a Causal Order among Groups
                                  of Variables in Linear Models  . . . . . 84--91
            Philemon Brakel and   
            Sander Dieleman and   
             Benjamin Schrauwen   Training Restricted Boltzmann Machines
                                  with Multi-tempering: Harnessing
                                  Parallelization  . . . . . . . . . . . . 92--99
          Luiz C. B. Torres and   
        Cristiano L. Castro and   
         Antônio P. Braga   A Computational Geometry Approach for
                                  Pareto-Optimal Selection of Neural
                                  Networks . . . . . . . . . . . . . . . . 100--107
          Yohannes Kassahun and   
        Hendrik Wöhrle and   
          Alexander Fabisch and   
                     Marc Tabie   Learning Parameters of Linear Models in
                                  Compressed Parameter Space . . . . . . . 108--115
              Daichi Nakano and   
            Shin-ichi Maeda and   
                     Shin Ishii   Control of a Free-Falling Cat by
                                  Policy-Based Reinforcement Learning  . . 116--123
                   Tele Hao and   
               Tapani Raiko and   
             Alexander Ilin and   
                  Juha Karhunen   Gated Boltzmann Machine in Texture
                                  Modeling . . . . . . . . . . . . . . . . 124--131
          Pavel Krömer and   
            Emilio Corchado and   
Václav Sná\vsel and   
               Jan Plato\vs and   
Laura García-Hernández   Neural PCA and Maximum Likelihood
                                  Hebbian Learning on the GPU  . . . . . . 132--139
Marta Díez-Fernández and   
Sergio Alvarez Teleña and   
                   Denise Gorse   Construction of Emerging Markets
                                  Exchange Traded Funds Using
                                  Multiobjective Particle Swarm
                                  Optimisation . . . . . . . . . . . . . . 140--147
André R. Gonçalves and   
            Rosana Veroneze and   
     Salomão Madeiro and   
           Carlos R. B. Azevedo   The Influence of Supervised Clustering
                                  for RBFNN Centers Definition: a
                                  Comparative Study  . . . . . . . . . . . 148--155
            Alessandro Ghio and   
             Davide Anguita and   
                 Luca Oneto and   
             Sandro Ridella and   
              Carlotta Schatten   Nested Sequential Minimal Optimization
                                  for Support Vector Machines  . . . . . . 156--163
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7554, 2012

            Luis Soares Barbosa   Software Components as Invariant-Typed
                                  Arrows . . . . . . . . . . . . . . . . . 1--5
       Bernhard Klaus Aichernig   The Science of Killing Bugs in a Black
                                  Box  . . . . . . . . . . . . . . . . . . 6--11
        Diogo Nunes Sampaio and   
                Elie Gedeon and   
Fernando Magno Quintão Pereira   Spill Code Placement for SIMD Machines   12--26
     Sérgio Medeiros and   
          Fabio Mascarenhas and   
          Roberto Ierusalimschy   Left Recursion in Parsing Expression
                                  Grammars . . . . . . . . . . . . . . . . 27--41
  Victor Hugo Sperle Campos and   
       Raphael Ernani Rodrigues   Speed and Precision in Range Analysis    42--56
Péricles Rafael Oliveira Alves and   
     Igor Rafael de Assis Costa   Parameter Based Constant Propagation . . 57--71
Leonardo Vieira dos Santos Reis and   
       Roberto da Silva Bigonha   Adaptable Parsing Expression Grammars    72--86
      Bruno Morais Ferreira and   
Fernando Magno Quintão Pereira   Optimizing a Geomodeling Domain Specific
                                  Language . . . . . . . . . . . . . . . . 87--101
       Maximilien de Bayser and   
               Renato Cerqueira   A System for Runtime Type Introspection
                                  in C++ . . . . . . . . . . . . . . . . . 102--116
        Jácome Cunha and   
        João Saraiva and   
                   Joost Visser   Model-Based Programming Environments for
                                  Spreadsheets . . . . . . . . . . . . . . 117--133
          Felipe Nunes Gaia and   
Gabriel Coutinho Sousa Ferreira   A Quantitative Assessment of Aspectual
                                  Feature Modules for Evolving Software
                                  Product Lines  . . . . . . . . . . . . . 134--149
               Marcos Viera and   
              Doaitse Swierstra   Attribute Grammar Macros . . . . . . . . 150--164
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7555, 2012

              Kevin Tierney and   
      Rune Mòller Jensen   The Liner Shipping Fleet Repositioning
                                  Problem with Cargo Flows . . . . . . . . 1--16
               Dario Pacino and   
            Alberto Delgado and   
  Rune Mòller Jensen and   
                 Tom Bebbington   An Accurate Model for Seaworthy
                                  Container Vessel Stowage Planning with
                                  Ballast Tanks  . . . . . . . . . . . . . 17--32
            Silvia Schwarze and   
           Stefan Voß and   
                Guohua Zhou and   
                     Guoli Zhou   Scientometric Analysis of Container
                                  Terminals and Ports Literature and
                                  Interaction with Publications on
                                  Distribution Networks  . . . . . . . . . 33--52
   João Lemos Nabais and   
          Rudy R. Negenborn and   
             Miguel Ayala Botto   A Novel Predictive Control Based
                                  Framework for Optimizing Intermodal
                                  Container Terminal Operations  . . . . . 53--71
        Jasmine Siu Lee Lam and   
                  Tsz Leung Yip   Impact of Port Disruption on Supply
                                  Chains: a Petri Net Approach . . . . . . 72--85
               Stefan Voß   Extended Mis-overlay Calculation for
                                  Pre-marshalling Containers . . . . . . . 86--91
            Igor Litvinchev and   
    Edith Lucero Ozuna Espinosa   Solving the Two-Stage Capacitated
                                  Facility Location Problem by the
                                  Lagrangian Heuristic . . . . . . . . . . 92--103
              Joachim R. Daduna   Applying Radio Frequency Identification
                                  Technology in Retail Trade from a
                                  Logistics Point of View --- An Overview
                                  over Opportunities and Limitations . . . 104--119
     Line Blander Reinhardt and   
          Simon Spoorendonk and   
                 David Pisinger   Solving Vehicle Routing with Full
                                  Container Load and Time Windows  . . . . 120--128
               Cagatay Iris and   
           Mehmet Mutlu Yenisey   Multi-item Simultaneous Lot Sizing and
                                  Storage Allocation with Production and
                                  Warehouse Capacities . . . . . . . . . . 129--141
              Kerstin Lange and   
         André Rinne and   
           Hans-Dietrich Haasis   Planning Maritime Logistics Concepts for
                                  Offshore Wind Farms: a Newly Developed
                                  Decision Support System  . . . . . . . . 142--158
                    Feng Xu and   
               Yuanbin Song and   
                         Hao Hu   Application of Cycle-Based Simulation to
                                  Estimate Loss of Logistics Productivity
                                  on Construction Sites  . . . . . . . . . 159--170
                  Branko Bubalo   Benchmarking European Airports Based on
                                  a Profitability Envelope . . . . . . . . 171--189
                     Buyang Cao   Solving Vehicle Routing Problems Using
                                  an Enhanced Clarke--Wright Algorithm: a
                                  Case Study . . . . . . . . . . . . . . . 190--205
                San-Nah Sze and   
            Ada Ng Suk-Fong and   
                Kang-Leng Chiew   An Insertion Heuristic Manpower
                                  Scheduling for In-Flight Catering
                                  Service Application  . . . . . . . . . . 206--216
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7556, 2012

         Peter-Paul de Wolf and   
                 Anco Hundepool   $p\%$ Should Dominate  . . . . . . . . . 1--10
                   Jordi Castro   A Computational Evaluation of
                                  Optimization Solvers for CTA . . . . . . 11--21
                 Sarah Giessing   Flexible Rounding Based on Consistent
                                  Post-tabular Stochastic Noise  . . . . . 22--34
                   Jordi Castro   Comparing L$_1$ and L$_2$ Distances for
                                  CTA  . . . . . . . . . . . . . . . . . . 35--46
             Mario Trottini and   
           Krish Muralidhar and   
              Rathindra Sarathy   An Investigation of Model-Based
                                  Microdata Masking for Magnitude Tabular
                                  Data Release . . . . . . . . . . . . . . 47--62
          Alexander Kowarik and   
             Matthias Templ and   
            Bernhard Meindl and   
         Francois Fonteneau and   
                 Bernd Prantner   Testing of IHSN C++ Code and Inclusion
                                  of New Methods into sdcMicro . . . . . . 63--77
         Jordi Marés and   
            Vicenç Torra   Clustering-Based Categorical Data
                                  Protection . . . . . . . . . . . . . . . 78--89
       Josep Domingo-Ferrer and   
           Krish Muralidhar and   
         Guillem Rufian-Torrell   Anonymization Methods for Taxonomic
                                  Microdata  . . . . . . . . . . . . . . . 90--102
               Anna Oganian and   
           Josep Domingo-Ferrer   Hybrid Microdata via Model-Based
                                  Clustering . . . . . . . . . . . . . . . 103--115
      Yong Ming Jeffrey Woo and   
      Aleksandra B. Slavkovi\'c   Logistic Regression with Variables
                                  Subject to Post Randomization Method . . 116--130
                   Rob Hall and   
               Stephen Fienberg   Valid Statistical Inference on
                                  Automatically Matched Files  . . . . . . 131--142
           Michael DePersio and   
              Marlow Lemons and   
       Kaleli A. Ramanayake and   
                 Julie Tsay and   
                   Laura Zayatz   $n$-Cycle Swapping for the American
                                  Community Survey . . . . . . . . . . . . 143--164
            Matthias Dorner and   
        Jörg Drechsler and   
          Peter Jacobebbinghaus   Generating Useful Test Data for Complex
                                  Linked Employer--Employee Datasets . . . 165--178
             Lara Cleveland and   
               Robert McCaa and   
             Steven Ruggles and   
                  Matthew Sobek   When Excessive Perturbation Goes Wrong
                                  and Why IPUMS-International Relies
                                  Instead on Sampling, Suppression,
                                  Swapping, and Other Minimally Harmful
                                  Methods to Protect Privacy of Census
                                  Microdata  . . . . . . . . . . . . . . . 179--187
             Luisa Franconi and   
                  Daniela Ichim   Achieving Comparability of Earnings  . . 188--199
              Flavio Foschi and   
    Maria Cristina Casciano and   
             Luisa Franconi and   
                  Daniela Ichim   Designing Multiple Releases from the
                                  Small and Medium Enterprises Survey  . . 200--215
              John M. Abowd and   
              Lars Vilhuber and   
                  William Block   A Proposed Solution to the Archiving and
                                  Curation of Confidential Scientific
                                  Inputs . . . . . . . . . . . . . . . . . 216--225
           Christine M. O'Keefe   Confidentialising Maps of Mixed Point
                                  and Diffuse Spatial Data . . . . . . . . 226--240
               Daniel Z. Zanger   Security of Random Output Perturbation
                                  for Statistical Databases  . . . . . . . 241--256
            Anne-Sophie Charest   Empirical Evaluation of Statistical
                                  Inference from Differentially-Private
                                  Contingency Tables . . . . . . . . . . . 257--272
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7557, 2012

      Yaakov HaCohen-Kerner and   
                   Aharon Tayeb   Experiments with Filtered Detection of
                                  Similar Academic Papers  . . . . . . . . 1--13
            Maciej Piasecki and   
          Rados\law Ramocki and   
                   Pawe\l Minda   Corpus-Based Semantic Filtering in
                                  Discovering Derivational Relations . . . 14--22
            Maciej Piasecki and   
                 Roman Kurc and   
          Rados\law Ramocki and   
                  Bartosz Broda   Lexical Activation Area Attachment
                                  Algorithm for Wordnet Expansion  . . . . 23--31
              \Lukasz K\lyk and   
       Pawe\l B. Myszkowski and   
              Bartosz Broda and   
            Maciej Piasecki and   
                 David Urbansky   Metaheuristics for Tuning Model
                                  Parameters in Two Natural Language
                                  Processing Applications  . . . . . . . . 32--37
              Jan \vZi\vzka and   
                Karel Burda and   
           Franti\vsek Da\vrena   Clustering a Very Large Number of
                                  Textual Unstructured Customers' Reviews
                                  in English . . . . . . . . . . . . . . . 38--47
           Svetla Boytcheva and   
                 Galia Angelova   A Workbench for Temporal Event
                                  Information Extraction from Patient
                                  Records  . . . . . . . . . . . . . . . . 48--58
                Diana Lupan and   
            Mihai Dasc\ualu and   
  \cStefan Tr\uau\csan-Matu and   
                Philippe Dessus   Analyzing Emotional States Induced by
                                  News Articles with Latent Semantic
                                  Analysis . . . . . . . . . . . . . . . . 59--68
             Mostafa Z. Ali and   
             Robert G. Reynolds   The Emergence of Cultural Hierarchical
                                  Social Networks in Complex Environments  69--78
             Udeep Tandukar and   
               Julita Vassileva   Ensuring Relevant and Serendipitous
                                  Information Flow in Decentralized Online
                                  Social Network . . . . . . . . . . . . . 79--88
         Ernest Arendarenko and   
                 Tuomo Kakkonen   Ontology-Based Information and Event
                                  Extraction for Business Intelligence . . 89--102
                Oliver Kutz and   
             Janna Hastings and   
               Till Mossakowski   Modelling Highly Symmetrical Molecules:
                                  Linking Ontologies and Graphs  . . . . . 103--111
            Samia Beldjoudi and   
Hassina Seridi-Bouchelaghem and   
         Catherine Faron-Zucker   Personalizing and Improving Tag-Based
                                  Search in Folksonomies . . . . . . . . . 112--118
           Aymeric Le Dorze and   
             Lionel Chauvin and   
             Laurent Garcia and   
               David Genest and   
        Stéphane Loiseau   Views and Synthesis of Cognitive Maps    119--124
           Aleksandra Gruca and   
                   Marek Sikora   Identification of the Compound
                                  Subjective Rule Interestingness Measure
                                  for Rule-Based Functional Description of
                                  Genes  . . . . . . . . . . . . . . . . . 125--134
            Matteo Leonetti and   
                Luca Iocchi and   
                  Fabio Patrizi   Automatic Generation and Learning of
                                  Finite-State Controllers . . . . . . . . 135--144
             Mariana Damova and   
                Kiril Simov and   
             Zdravko Tashev and   
                Atanas Kiryakov   FactForge: Data Service or the Diversity
                                  of Inferred Knowledge over LOD . . . . . 145--151
          Nouhad Amaneddine and   
  Jean-François Condotta   From Path-Consistency to Global
                                  Consistency in Temporal Qualitative
                                  Constraint Networks  . . . . . . . . . . 152--161
               Marek Sikora and   
               Adam Skowron and   
          \Lukasz Wróbel   Rule Quality Measure-Based Induction of
                                  Unordered Sets of Regression Rules . . . 162--171
              Jacek Kabzi\'nski   Swarm Capability of Finding Eigenvalues  172--177
                Farhad Nadi and   
          Ahamad Tajudin Khader   A Study on the Utility of Parametric
                                  Uniform Crossover for Adaptation of
                                  Crossover Operator . . . . . . . . . . . 178--183
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7558, 2012

           Giuliana Dettori and   
                 Simone Torsani   An Approach to Exploit Social
                                  Bookmarking to Improve Formal Language
                                  Learning . . . . . . . . . . . . . . . . 1--10
     Stefanie Andrea Hillen and   
      Tero Päivärinta   Perceived Support in E-Collaborative
                                  Learning: An Exploratory Study Which
                                  Make Use of Synchronous and Asynchronous
                                  Online-Teaching Approaches . . . . . . . 11--20
    Zuzana Kubincová and   
                  Martin Homola   How to Get Around with Wikis in Teaching 21--30
               Zoran Putnik and   
         Mirjana Ivanovi\'c and   
              Zoran Budimac and   
              Ladislav Samuelis   Wiki --- a Useful Tool to Fight
                                  Classroom Cheating?  . . . . . . . . . . 31--40
                 Elvira Popescu   Project-Based Learning with eMUSE  . . . 41--50
     Bernardo Pereira Nunes and   
             Ricardo Kawase and   
                  Stefan Dietze   Annotation Tool for Enhancing E-Learning
                                  Courses  . . . . . . . . . . . . . . . . 51--60
                  Cat Kutay and   
      Deirdre Howard-Wagner and   
              Lynette Riley and   
                   Janet Mooney   Teaching Culture as Social
                                  Constructivism . . . . . . . . . . . . . 61--68
            Evgeny Bogdanov and   
            Carsten Ullrich and   
              Erik Isaksson and   
            Matthias Palmer and   
                   Denis Gillet   From LMS to PLE: a Step Forward through
                                  OpenSocial Apps in Moodle  . . . . . . . 69--78
       Alexander Nussbaumer and   
            Marcel Berthold and   
          Daniel Dahrendorf and   
         Hans-Christian Schmitz   A Mashup Recommender for Creating
                                  Personal Learning Environments . . . . . 79--88
                   Lei Zhou and   
             Sandy El Helou and   
           Laurent Moccozet and   
           Laurent Opprecht and   
                  Omar Benkacem   A Federated Recommender System for
                                  Online Learning Environments . . . . . . 89--98
               Birgy Lorenz and   
          Kätlin Kalde and   
                   Kaido Kikkas   Trust and Security Issues in Cloud-Based
                                  Learning and Management  . . . . . . . . 99--108
           Killian Levacher and   
             Seamus Lawless and   
                   Vincent Wade   Slicepedia: Towards Long Tail Resource
                                  Production through Open Corpus Reuse . . 109--119
                   Fan Yang and   
         Frederick W. B. Li and   
               Rynson W. H. Lau   Learning Path Construction Based on
                                  Association Link Network . . . . . . . . 120--131
      Marián \vSimko and   
  Mária Bieliková   Discovering Hierarchical Relationships
                                  in Educational Content . . . . . . . . . 132--141
               Ioana Ciuciu and   
                 Yan Tang Demey   An Evaluation Methodology for C-FOAM
                                  Applied to Web-Based Learning  . . . . . 142--151
           Aggeliki Kouneli and   
            Georgia Solomou and   
        Christos Pierrakeas and   
                Achilles Kameas   Modeling the Knowledge Domain of the
                                  Java Programming Language as an Ontology 152--159
            Javier Torrente and   
    Ángel del Blanco and   
Ángel Serrano-Laguna and   
José Ángel Vallejo-Pinto   Towards Universal Game Development in
                                  Education  . . . . . . . . . . . . . . . 160--169
     Élise Lavoué   Towards Social Learning Games  . . . . . 170--179
        Sabina-Nadina Cehan and   
                Dana-Anca Cehan   Computer Games and English Language
                                  Learning . . . . . . . . . . . . . . . . 180--189
    Athanasios Staikopoulos and   
               Ian O'Keeffe and   
             Rachael Rafter and   
                Eddie Walsh and   
                   Bilal Yousuf   AMASE: a Framework for Composing
                                  Adaptive and Personalised Learning
                                  Activities on the Web  . . . . . . . . . 190--199
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7559, 2012

           Albert Ali Salah and   
      Javier Ruiz-del-Solar and   
Çetin Meriçli and   
            Pierre-Yves Oudeyer   Human Behavior Understanding for
                                  Robotics . . . . . . . . . . . . . . . . 1--16
      Oya Çeliktutan and   
             Christian Wolf and   
         Bülent Sankur and   
                  Eric Lombardi   Real-Time Exact Graph Matching with
                                  Application in Human Action Recognition  17--28
 Alexandros Andre Chaaraoui and   
   Pau Climent-Pérez and   
Francisco Flórez-Revuelta   An Efficient Approach for Multi-view
                                  Human Action Recognition Based on
                                  Bag-of-Key-Poses . . . . . . . . . . . . 29--40
                Ninghang Hu and   
          Gwenn Englebienne and   
           Ben J. A. Kröse   Bayesian Fusion of Ceiling Mounted
                                  Camera and Laser Range Finder on a
                                  Mobile Robot for People Detection and
                                  Localization . . . . . . . . . . . . . . 41--51
               Angelica Lim and   
               Hiroshi G. Okuno   Using Speech Data to Recognize Emotion
                                  in Human Gait  . . . . . . . . . . . . . 52--64
         Ali-Akbar Samadani and   
                 Rob Gorbet and   
                   Dana Kuli\'c   Gender Differences in the Perception of
                                  Affective Movements  . . . . . . . . . . 65--76
               Laura Vincze and   
             Isabella Poggi and   
             Francesca D'Errico   Vagueness and Dreams: Analysis of Body
                                  Signals in Vague Dream Telling . . . . . 77--89
           Maurizio Mancini and   
             Giovanna Varni and   
           Donald Glowinski and   
                Gualtiero Volpe   Computing and Evaluating the Body
                                  Laughter Index . . . . . . . . . . . . . 90--98
             Samira Sheikhi and   
               Jean-Marc Odobez   Recognizing the Visual Focus of
                                  Attention for Human Robot Interaction    99--112
         Daphne E. Karreman and   
Elisabeth M. A. G. van Dijk and   
                  Vanessa Evers   Contextual Analysis of Human Non-verbal
                                  Guide Behaviors to Inform the
                                  Development of FROG, the Fun Robotic
                                  Outdoor Guide  . . . . . . . . . . . . . 113--124
            Kerstin Fischer and   
                   Joe Saunders   Getting Acquainted with a Developing
                                  Robot  . . . . . . . . . . . . . . . . . 125--133
             Olivier Mangin and   
            Pierre-Yves Oudeyer   Learning the Combinatorial Structure of
                                  Demonstrated Behaviors with Inverse
                                  Feedback Control . . . . . . . . . . . . 134--147
            Guido Schillaci and   
                 Bruno Lara and   
               Verena V. Hafner   Internal Simulations for Behaviour
                                  Selection and Recognition  . . . . . . . 148--160
   Stéphane Michelet and   
                  Koby Karp and   
          Emilie Delaherche and   
           Catherine Achard and   
              Mohamed Chetouani   Automatic Imitation Assessment in
                                  Interaction  . . . . . . . . . . . . . . 161--173
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7560, 2012

              Han-Hing Dang and   
           Bernhard Möller   Transitive Separation Logic  . . . . . . 1--16
                Walter Guttmann   Unifying Lazy and Strict Computations    17--32
          Peter Höfner and   
       Bernhard Möller and   
                 Andreas Zelend   Foundations of Coloring Algebra with
                                  Consequences for Feature-Oriented
                                  Programming  . . . . . . . . . . . . . . 33--49
             Brijesh Dongol and   
               Ian J. Hayes and   
           Larissa Meinicke and   
                      Kim Solin   Towards an Algebra for Real-Time
                                  Programs . . . . . . . . . . . . . . . . 50--65
         Alasdair Armstrong and   
                   Georg Struth   Automated Reasoning in Higher-Order
                                  Regular Algebra  . . . . . . . . . . . . 66--81
                   Wolfram Kahl   Towards Certifiable Implementation of
                                  Graph Transformation via Relation
                                  Categories . . . . . . . . . . . . . . . 82--97
              Nelma Moreira and   
              David Pereira and   
     Simão Melo de Sousa   Deciding Regular Expressions
                                  (In-)Equivalence in Coq  . . . . . . . . 98--113
          Rudolf Berghammer and   
              Sebastian Fischer   Simple Rectangle-Based Functional
                                  Programs for Computing
                                  Reflexive-Transitive Closures  . . . . . 114--129
               Nikita Danilenko   Using Relations to Develop a Haskell
                                  Program for Computing Maximum Bipartite
                                  Matchings  . . . . . . . . . . . . . . . 130--145
                Nuno Macedo and   
               Hugo Pacheco and   
                   Alcino Cunha   Relations as Executable Specifications:
                                  Taming Partiality and Non-determinism
                                  Using Invariants . . . . . . . . . . . . 146--161
               Dexter Kozen and   
                Alexandra Silva   Left-Handed Completeness . . . . . . . . 162--178
        Michael R. Laurence and   
                   Georg Struth   On Completeness of Omega-Regular
                                  Algebras . . . . . . . . . . . . . . . . 179--194
                   Peter Jipsen   Categories of Algebraic Contexts
                                  Equivalent to Idempotent Semirings and
                                  Domain Semirings . . . . . . . . . . . . 195--206
             Koki Nishizawa and   
               Hitoshi Furusawa   Relational Representation Theorem for
                                  Powerset Quantales . . . . . . . . . . . 207--218
           Hitoshi Furusawa and   
                 Yasuo Kawahara   Point Axioms in Dedekind Categories  . . 219--234
              Roland Glück   Two Observations in Dioid Based Model
                                  Refinement . . . . . . . . . . . . . . . 235--247
           Francis Atampore and   
                 Michael Winter   Relation Algebras, Matrices, and
                                  Multi-valued Decision Diagrams . . . . . 248--263
               Sahar Ismail and   
                      Ali Jaoua   Incremental Pseudo Rectangular
                                  Organization of Information Relative to
                                  a Domain . . . . . . . . . . . . . . . . 264--277
                Gunther Schmidt   Relational Concepts in Social Choice . . 278--293
       Bernhard Möller and   
                 Patrick Roocks   An Algebra of Layered Complex
                                  Preferences  . . . . . . . . . . . . . . 294--309
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7562, 2012

       Antónia Lopes and   
      José Luiz Fiadeiro   A Graph-Based Design Framework for
                                  Services . . . . . . . . . . . . . . . . 1--19
           Davide Di Ruscio and   
            Ludovico Iovino and   
            Alfonso Pierantonio   Evolutionary Togetherness: How to Manage
                                  Coupled Evolution in Metamodeling
                                  Ecosystems . . . . . . . . . . . . . . . 20--37
             Rolf Drechsler and   
         Melanie Diepenbeck and   
         Daniel Große and   
          Ulrich Kühne and   
                    Hoang M. Le   Completeness-Driven Development  . . . . 38--50
             Fabio Gadducci and   
     Alberto Lluch Lafuente and   
                  Andrea Vandin   Exploiting Over- and
                                  Under-Approximations for Infinite-State
                                  Counterpart Models . . . . . . . . . . . 51--65
              Arend Rensink and   
                 Eduardo Zambon   Pattern-Based Graph Abstraction  . . . . 66--80
         Barbara König and   
             Jan Stückrath   Well-Structured Graph Transformation
                                  Systems with Negative Application
                                  Conditions . . . . . . . . . . . . . . . 81--95
               Reiko Heckel and   
              Hartmut Ehrig and   
               Ulrike Golas and   
                  Frank Hermann   Parallelism and Concurrency of
                                  Stochastic Graph Transformations . . . . 96--110
              Michael Löwe   Refined Graph Rewriting in
                                  Span-Categories  . . . . . . . . . . . . 111--125
            Fernando Orejas and   
              Artur Boronat and   
                Nikos Mylonakis   Borrowed Contexts for Attributed Graphs  126--140
               Ulrike Golas and   
               Leen Lambers and   
              Hartmut Ehrig and   
                   Holger Giese   Toward Bridging the Gap between Formal
                                  Foundations and Current Practice for
                                  Triple Graph Grammars  . . . . . . . . . 141--155
            Dominique Duval and   
             Rachid Echahed and   
   Frédéric Prost   Graph Transformation with Focus on
                                  Incident Edges . . . . . . . . . . . . . 156--171
              Takahito Aoto and   
                  Jeroen Ketema   Rational Term Rewriting Revisited:
                                  Decidability and Confluence  . . . . . . 172--186
                   Ulrike Golas   A General Attribution Concept for Models
                                  in ${\cal M}$-Adhesive Transformation
                                  Systems  . . . . . . . . . . . . . . . . 187--202
                   Reiko Heckel   DPO Transformation with Open Maps  . . . 203--217
             Annegret Habel and   
                   Detlef Plump   $\mathcal {M}, \mathcal {N}$-Adhesive
                                  Transformation Systems . . . . . . . . . 218--233
     Amir Hossein Ghamarian and   
                  Arend Rensink   Generalised Compositionality in Graph
                                  Transformation . . . . . . . . . . . . . 234--248
               Holger Giese and   
                   Leen Lambers   Towards Automatic Verification of
                                  Behavior Preservation for Model
                                  Transformation via Invariant Checking    249--263
            Christoph Blume and   
      H. J. Sander Bruggink and   
            Dominik Engelke and   
             Barbara König   Efficient Symbolic Implementation of
                                  Graph Automata with Applications to
                                  Invariant Checking . . . . . . . . . . . 264--278
           Tamim Ahmed Khan and   
                 Olga Runge and   
                   Reiko Heckel   Testing against Visual Contracts:
                                  Model-Based Coverage . . . . . . . . . . 279--293
Traian Florin \cSerb\uanu\ct\ua and   
                 Grigore Ro\csu   A Truly Concurrent Semantics for the
                                  $\mathbb{K}$ Framework Based on Graph
                                  Transformations  . . . . . . . . . . . . 294--310
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7563, 2012

                      Anonymous   Front Matter . . . . . . . . . . . . . . 1--1
                   Richard Noss   21$^{\rm st}$ Century Learning for
                                  21$^{\rm st}$ Century Skills: What Does
                                  It Mean, and How Do We Do It?  . . . . . 3--5
                      Anonymous   Front Matter . . . . . . . . . . . . . . 7--7
           Mojisola Anjorin and   
         Thomas Rodenhausen and   
Renato Domínguez García and   
              Christoph Rensing   Exploiting Semantic Information for
                                  Graph-Based Recommendations of Learning
                                  Resources  . . . . . . . . . . . . . . . 9--22
            Marcel Berthold and   
                 Adam Moore and   
       Christina M. Steiner and   
              Conor Gaffney and   
                  Declan Dagger   An Initial Evaluation of Metacognitive
                                  Scaffolding for Experiential Training
                                  Simulators . . . . . . . . . . . . . . . 23--36
            Quentin Bonnard and   
             Himanshu Verma and   
Frédéric Kaplan and   
             Pierre Dillenbourg   Paper Interfaces for Learning Geometry   37--50
             Michael Derntl and   
                    Ralf Klamma   The European TEL Projects Community from
                                  a Social Network Analysis Perspective    51--64
                Son Do-Lenh and   
            Patrick Jermann and   
               Amanda Legge and   
         Guillaume Zufferey and   
             Pierre Dillenbourg   TinkerLamp 2.0: Designing and Evaluating
                                  Orchestration Technologies for the
                                  Classroom  . . . . . . . . . . . . . . . 65--78
             Anusca Ferrari and   
                 Yves Punie and   
             Christine Redecker   Understanding Digital Competence in the
                                  21st Century: An Analysis of Current
                                  Frameworks . . . . . . . . . . . . . . . 79--92
       Andreas Gegenfurtner and   
              Koen Veermans and   
                   Marja Vauras   How CSCL Moderates the Influence of
                                  Self-efficacy on Students' Transfer of
                                  Learning . . . . . . . . . . . . . . . . 93--102
           Vera Gehlen-Baum and   
               Armin Weinberger   Notebook or Facebook? How Students
                                  Actually Use Mobile Devices in Large
                                  Lectures . . . . . . . . . . . . . . . . 103--112
Israel Gutiérrez Rojas and   
Raquel M. Crespo García and   
           Carlos Delgado Kloos   Enhancing Orchestration of Lab Sessions
                                  by Means of Awareness Mechanisms . . . . 113--125
         Julia Hadersberger and   
             Alexander Pohl and   
            François Bry   Discerning Actuality in Backstage  . . . 126--139
              Claudia Hauff and   
            Marcel Berthold and   
           Geert-Jan Houben and   
       Christina M. Steiner and   
                Dietrich Albert   Tweets Reveal More Than You Know: a
                                  Learning Style Analysis on Twitter . . . 140--152
               I.-Han Hsiao and   
              Peter Brusilovsky   Motivational Social Visualizations for
                                  Personalized E-Learning  . . . . . . . . 153--165
      Aarij Mahmood Hussaan and   
                   Karim Sehaba   Generator of Adaptive Learning
                                  Scenarios: Design and Evaluation in the
                                  Project CLES . . . . . . . . . . . . . . 166--179
            Andreas Kaschig and   
               Ronald Maier and   
           Alexander Sandow and   
                 Alan Brown and   
                     Tobias Ley   Technological and Organizational
                                  Arrangements Sparking Effects on
                                  Individual, Community and Organizational
                                  Learning . . . . . . . . . . . . . . . . 180--193
        Effie Lai-Chong Law and   
       Arunangsu Chatterjee and   
             Dominik Renzel and   
                    Ralf Klamma   The Social Requirements Engineering
                                  (SRE) Approach to Developing a
                                  Large-Scale Personal Learning
                                  Environment Infrastructure . . . . . . . 194--207
             Bertrand Marne and   
                John Wisdom and   
    Benjamin Huynh-Kim-Bang and   
                Jean-Marc Labat   The Six Facets of Serious Game Design: a
                                  Methodology Enhanced by Our Design
                                  Pattern Library  . . . . . . . . . . . . 208--221
           Bruce M. McLaren and   
               Deanne Adams and   
              Kelley Durkin and   
            George Goguadze and   
               Richard E. Mayer   To Err Is Human, to Explain and Correct
                                  Is Divine: a Study of Interactive
                                  Erroneous Examples with Middle School
                                  Math Students  . . . . . . . . . . . . . 222--235
               Florian Mehm and   
            Johannes Konert and   
          Stefan Göbel and   
                 Ralf Steinmetz   An Authoring Tool for Adaptive Digital
                                  Educational Games  . . . . . . . . . . . 236--249
           Christine Michel and   
        Elise Lavoué and   
                Laurent Pietrac   A Dashboard to Regulate Project-Based
                                  Learning . . . . . . . . . . . . . . . . 250--263
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7564, 2012

               Chiara Bodei and   
           Pierpaolo Degano and   
         Gian-Luigi Ferrari and   
              Letterio Galletta   Formalising Security in Ubiquitous and
                                  Cloud Scenarios  . . . . . . . . . . . . 1--29
                   Young Im Cho   Designing Smart Cities: Security Issues  30--40
                Tomasz Hyla and   
                  Jerzy Peja\'s   Certificate-Based Encryption Scheme with
                                  General Access Structure . . . . . . . . 41--55
        Ekawat Homsirikamol and   
          Pawe\l Morawiecki and   
            Marcin Rogawski and   
                 Marian Srebrny   Security Margin Evaluation of SHA-3
                                  Contest Finalists through SAT-Based
                                  Attacks  . . . . . . . . . . . . . . . . 56--67
                Um-e-Ghazia and   
               Rahat Masood and   
      Muhammad Awais Shibli and   
                 Muhammad Bilal   Usage Control Model Specification in
                                  XACML Policy Language  . . . . . . . . . 68--79
                Novarun Deb and   
                  Nabendu Chaki   TIDS: Trust-Based Intrusion Detection
                                  System for Wireless Ad-hoc Networks  . . 80--91
              Petr Gajdo\vs and   
                  Pavel Moravec   Intruder Data Classification Using
                                  GM-SOM . . . . . . . . . . . . . . . . . 92--100
Pavla Drá\vzdilová and   
             Alisa Babskova and   
           Jan Martinovi\vc and   
Kate\vrina Slaninová and   
        \vSt\vepán Minks   Method for Identification of Suitable
                                  Persons in Collaborators' Networks . . . 101--110
          Subhasis Dasgupta and   
                  Aditya Bagchi   A Graph-Based Formalism for Controlling
                                  Access to a Digital Library Ontology . . 111--122
      Aneta Poniszewska-Maranda   Role Approach in Access Control
                                  Development with the Usage Control
                                  Concept  . . . . . . . . . . . . . . . . 123--134
          Krzysztof Misztal and   
                Jacek Tabor and   
                   Khalid Saeed   A New Algorithm for Rotation Detection
                                  in Iris Pattern Recognition  . . . . . . 135--145
             Ryszard Kozera and   
       Jacek Tchórzewski   Outlier Removal in $2$D Leap Frog
                                  Algorithm  . . . . . . . . . . . . . . . 146--157
                Rafal Doroz and   
               Krzysztof Wrobel   Dynamic Signature Recognition Based on
                                  Modified Windows Technique . . . . . . . 158--167
           Andrea Albarelli and   
         Filippo Bergamasco and   
                Andrea Torsello   Rigid and Non-rigid Shape Matching for
                                  Mechanical Components Retrieval  . . . . 168--179
              Bogus\law Cyganek   Embedding of the Extended Euclidean
                                  Distance into Pattern Recognition with
                                  Higher-Order Singular Value
                                  Decomposition of Prototype Tensors . . . 180--190
               Piotr Porwik and   
                  Tomasz Orczyk   DTW and Voting-Based Lip Print
                                  Recognition System . . . . . . . . . . . 191--202
             Mariusz Rybnik and   
             Piotr Panasiuk and   
               Khalid Saeed and   
                Marcin Rogowski   Advances in the Keystroke Dynamics: The
                                  Practical Impact of Database Quality . . 203--214
             Marek Penhaker and   
                Petr Klimes and   
               Jakub Pindor and   
                   David Korpas   Advanced Intracardial Biosignal
                                  Processing . . . . . . . . . . . . . . . 215--223
                Hazar Mliki and   
            Mohamed Hammami and   
      Hanêne Ben-Abdallah   Multi-constraints Face Detect-Track
                                  System . . . . . . . . . . . . . . . . . 224--235
          Martin Augustynek and   
              Ondrej Adamec and   
                  David Micanik   Using a Differential Pressure Sensor as
                                  Spirometer . . . . . . . . . . . . . . . 236--241
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7569, 2012

                   Luc De Raedt   Declarative Modeling for Machine
                                  Learning and Data Mining . . . . . . . . 1--1
                   Toon Calders   Recent Developments in Pattern Mining    2--2
              Gilbert Ritschard   Exploring Sequential Data  . . . . . . . 3--6
        Nguyen Lu Dang Khoa and   
                  Sanjay Chawla   Large Scale Spectral Clustering Using
                                  Resistance Distance and Spielman--Teng
                                  Solvers  . . . . . . . . . . . . . . . . 7--21
             Pierre Alquier and   
                     Xiaoyin Li   Prediction of Quantiles by Statistical
                                  Learning and Application to GDP
                                  Forecasting  . . . . . . . . . . . . . . 22--36
               Francis Maes and   
          Raphael Fonteneau and   
             Louis Wehenkel and   
                   Damien Ernst   Policy Search in a Space of Simple
                                  Closed-form Formulas: Towards
                                  Interpretability of Reinforcement
                                  Learning . . . . . . . . . . . . . . . . 37--51
             Esther Galbrun and   
                Angelika Kimmig   Towards Finding Relational
                                  Redescriptions . . . . . . . . . . . . . 52--66
           Dragan Gamberger and   
         Dra\vzen Lu\vcanin and   
                Tomislav \vSmuc   Descriptive Modeling of Systemic Banking
                                  Crises . . . . . . . . . . . . . . . . . 67--80
            Shunsuke Makino and   
           Takaharu Shimada and   
             Kouichi Hirata and   
             Kouki Yonezawa and   
                   Kimihito Ito   A Trim Distance between Positions in
                                  Nucleotide Sequences . . . . . . . . . . 81--94
            Einoshin Suzuki and   
              Emi Matsumoto and   
                    Asuki Kouno   Data Squashing for HSV Subimages by an
                                  Autonomous Mobile Robot  . . . . . . . . 95--109
              Elise Desmier and   
             Marc Plantevit and   
     Céline Robardet and   
 Jean-François Boulicaut   Cohesive Co-evolution Patterns in
                                  Dynamic Attributed Graphs  . . . . . . . 110--124
                     Rui Li and   
                  Stefan Kramer   Efficient Redundancy Reduced Subgroup
                                  Discovery via Quadratic Programming  . . 125--138
          Bruno M. Nogueira and   
     Alípio M. Jorge and   
             Solange O. Rezende   HCAC: Semi-supervised Hierarchical
                                  Clustering Using Confidence-Based Active
                                  Learning . . . . . . . . . . . . . . . . 139--153
                  Bi-Ru Dai and   
                Chih-Heng Chung   LF-CARS: a Loose Fragment-Based
                                  Consensus Clustering Algorithm with a
                                  Robust Similarity  . . . . . . . . . . . 154--168
                Koji Tabata and   
         Atsuyoshi Nakamura and   
                  Mineichi Kudo   Fast Approximation Algorithm for the
                                  $1$-Median Problem . . . . . . . . . . . 169--183
             Tom de Ruijter and   
        Evgeni Tsivtsivadze and   
                     Tom Heskes   Online Co-regularized Algorithms . . . . 184--193
          Prem Raj Adhikari and   
          Jaakko Hollmén   Fast Progressive Training of Mixture
                                  Models for Model Selection . . . . . . . 194--208
    Mickaël Fabr\`egue and   
              Agn\`es Braud and   
             Sandra Bringay and   
            Florence Le Ber and   
           Maguelonne Teisseire   Including Spatial Relations and Scales
                                  within Sequential Pattern Extraction . . 209--223
      Carlos Abreu Ferreira and   
           João Gama and   
  Vítor Santos Costa and   
          Vladimiro Miranda and   
                 Audun Botterud   Predicting Ramp Events with a
                                  Stream-Based HMM Framework . . . . . . . 224--238
               Kazumi Saito and   
               Kouzou Ohara and   
            Masahiro Kimura and   
                 Hiroshi Motoda   Burst Detection in a Sequence of Tweets
                                  Based on Information Diffusion Model . . 239--253
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7570, 2012

            Nicolas Guizard and   
          Vladimir S. Fonov and   
Daniel García-Lorenzo and   
Béreng\`ere Aubert-Broche   Spatio-temporal Regularization for
                                  Longitudinal Registration to an Unbiased
                                  $3$D Individual Template . . . . . . . . 1--12
         Jean-Baptiste Fiot and   
             Laurent Risser and   
           Laurent D. Cohen and   
                   Jurgen Fripp   Local vs Global Descriptors of
                                  Hippocampus Shape Evolution for
                                  Alzheimer's Longitudinal Population
                                  Analysis . . . . . . . . . . . . . . . . 13--24
          Nicolas Duchateau and   
          Mathieu De Craene and   
              Xavier Pennec and   
             Beatriz Merino and   
                   Marta Sitges   Which Reorientation Framework for the
                                  Atlas-Based Comparison of Motion from
                                  Cardiac Image Sequences? . . . . . . . . 25--37
           Paul C. Pearlman and   
              Ivana I\vsgum and   
       Karina J. Kersbergen and   
         Manon J. N. L. Benders   Elastic Demons: Characterizing Cortical
                                  Development in Neonates Using an
                                  Implicit Surface Registration  . . . . . 38--49
Béreng\`ere Aubert-Broche and   
          Vladimir S. Fonov and   
Daniel García-Lorenzo and   
              Abderazzak Mouiha   A New Framework for Analyzing Structural
                                  Volume Changes of Longitudinal Brain MRI
                                  Data . . . . . . . . . . . . . . . . . . 50--62
                    Li Wang and   
                   Feng Shi and   
                    Gang Li and   
                  Dinggang Shen   4D Segmentation of Longitudinal Brain MR
                                  Images with Consistent Cortical
                                  Thickness Measurement  . . . . . . . . . 63--75
               Manasi Datar and   
      Prasanna Muralidharan and   
             Abhishek Kumar and   
           Sylvain Gouttard and   
                   Joseph Piven   Mixed-Effects Shape Models for
                                  Estimating Longitudinal Changes in
                                  Anatomy  . . . . . . . . . . . . . . . . 76--87
                Ahmed Serag and   
         Ioannis S. Gousias and   
       Antonios Makropoulos and   
               Paul Aljabar and   
               Joseph V. Hajnal   Unsupervised Learning of Shape
                                  Complexity: Application to Brain
                                  Development  . . . . . . . . . . . . . . 88--99
               Jieqing Jiao and   
           Graham E. Searle and   
          Andri C. Tziortzi and   
        Cristian A. Salinas and   
                  Roger N. Gunn   Spatial-temporal Pharmacokinetic Model
                                  Based Registration of $4$D Brain PET
                                  Data . . . . . . . . . . . . . . . . . . 100--112
              Erin Stretton and   
         Emmanuel Mandonnet and   
           Ezequiel Geremia and   
            Bjoern H. Menze and   
        Hervé Delingette   Predicting the Location of Glioma
                                  Recurrence after a Resection Surgery . . 113--123
       Nicha Chitphakdithai and   
         Veronica L. Chiang and   
                James S. Duncan   Tracking Metastatic Brain Tumors in
                                  Longitudinal Scans via Joint Image
                                  Registration and Labeling  . . . . . . . 124--136
               Xiaofeng Liu and   
                  Dirk Padfield   Motion-Based Segmentation for
                                  Cardiomyocyte Characterization . . . . . 137--146
  Arunachalam Narayanaswamy and   
             Amine Merouane and   
            Antonio Peixoto and   
                   Ena Ladi and   
                  Paul Herzmark   Multi-temporal Globally-Optimal Dense
                                  $3$-D Cell Segmentation and Tracking
                                  from Multi-photon Time-Lapse Movies of
                                  Live Tissue Microenvironments  . . . . . 147--162
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7572, 2012

              Oren Freifeld and   
               Michael J. Black   Lie Bodies: a Manifold Representation of
                                  $3$D Human Shape . . . . . . . . . . . . 1--14
                 Yunpeng Li and   
               Noah Snavely and   
           Dan Huttenlocher and   
                     Pascal Fua   Worldwide Pose Estimation Using $3$D
                                  Point Clouds . . . . . . . . . . . . . . 15--29
               Thabo Beeler and   
              Derek Bradley and   
             Henning Zimmer and   
                   Markus Gross   Improved Reconstruction of Deforming
                                  Surfaces by Cancelling Ambient Occlusion 30--43
                 Junbin Liu and   
             Clinton Fookes and   
                   Tim Wark and   
               Sridha Sridharan   On the Statistical Determination of
                                  Optimal Camera Configurations in Large
                                  Scale Surveillance Networks  . . . . . . 44--57
            Geoffrey Oxholm and   
              Prabin Bariya and   
                     Ko Nishino   The Scale of Geometric Texture . . . . . 58--71
              Jack Valmadre and   
               Yingying Zhu and   
           Sridha Sridharan and   
                    Simon Lucey   Efficient Articulated Trajectory
                                  Reconstruction Using Dynamic Programming
                                  and Filters  . . . . . . . . . . . . . . 72--85
             Sid Yingze Bao and   
                   Yu Xiang and   
                Silvio Savarese   Object Co-detection  . . . . . . . . . . 86--101
                 Shaoxin Li and   
                    Xin Liu and   
               Xiujuan Chai and   
              Haihong Zhang and   
                Shihong Lao and   
                  Shiguang Shan   Morphable Displacement Field Based Image
                                  Matching for Face Recognition across
                                  Pose . . . . . . . . . . . . . . . . . . 102--115
               Sameh Khamis and   
            Vlad I. Morariu and   
                 Larry S. Davis   Combining Per-frame and Per-track Cues
                                  for Multi-person Action Recognition  . . 116--129
            Aurelien Lucchi and   
                   Jason Weston   Joint Image and Word Sense
                                  Discrimination for Image Retrieval . . . 130--143
            Marcus Rohrbach and   
           Michaela Regneri and   
         Mykhaylo Andriluka and   
              Sikandar Amin and   
                 Manfred Pinkal   Script Data for Attribute-Based
                                  Recognition of Composite Activities  . . 144--157
              Aditya Khosla and   
               Tinghui Zhou and   
         Tomasz Malisiewicz and   
            Alexei A. Efros and   
               Antonio Torralba   Undoing the Damage of Dataset Bias . . . 158--171
               Jiongxin Liu and   
            Angjoo Kanazawa and   
               David Jacobs and   
                Peter Belhumeur   Dog Breed Classification Using Part
                                  Localization . . . . . . . . . . . . . . 172--185
                   Shu Kong and   
                   Donghui Wang   A Dictionary Learning Approach for
                                  Classification: Separating the
                                  Particularity and the Commonality  . . . 186--199
              Stefan Holzer and   
              Jamie Shotton and   
                 Pushmeet Kohli   Learning to Efficiently Detect
                                  Repeatable Interest Points in Depth Data 200--213
            Basura Fernando and   
              Elisa Fromont and   
               Tinne Tuytelaars   Effective Use of Frequent Itemset Mining
                                  for Image Classification . . . . . . . . 214--227
           Tomasz Trzcinski and   
                Vincent Lepetit   Efficient Discriminative Projections for
                                  Compact Binary Descriptors . . . . . . . 228--242
             Karen Simonyan and   
             Andrea Vedaldi and   
               Andrew Zisserman   Descriptor Learning Using Convex
                                  Optimisation . . . . . . . . . . . . . . 243--256
          Maruthi Narayanan and   
                 Benjamin Kimia   Bottom-Up Perceptual Organization of
                                  Images into Object Part Hypotheses . . . 257--271
               Kwang In Kim and   
              James Tompkin and   
            Martin Theobald and   
                  Jan Kautz and   
             Christian Theobalt   Match Graph Construction for Large Image
                                  Databases  . . . . . . . . . . . . . . . 272--285
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7574, 2012

               Jacob Hinkle and   
      Prasanna Muralidharan and   
         P. Thomas Fletcher and   
                   Sarang Joshi   Polynomial Regression on Riemannian
                                  Manifolds  . . . . . . . . . . . . . . . 1--14
            Yannis Avrithis and   
              Yannis Kalantidis   Approximate Gaussian Mixtures for Large
                                  Scale Vocabularies . . . . . . . . . . . 15--28
                 Yichen Wei and   
                   Fang Wen and   
              Wangjiang Zhu and   
                       Jian Sun   Geodesic Saliency Using Background
                                  Priors . . . . . . . . . . . . . . . . . 29--42
           Brandon M. Smith and   
                       Li Zhang   Joint Face Alignment with Non-parametric
                                  Shape Models . . . . . . . . . . . . . . 43--56
              Pedro Martins and   
                Rui Caseiro and   
   João F. Henriques and   
                  Jorge Batista   Discriminative Bayesian Active Shape
                                  Models . . . . . . . . . . . . . . . . . 57--70
            Oisin Mac Aodha and   
       Neill D. F. Campbell and   
                  Arun Nair and   
             Gabriel J. Brostow   Patch Based Synthesis for Single Depth
                                  Image Super-Resolution . . . . . . . . . 71--84
         Michael Rubinstein and   
                     Ce Liu and   
             William T. Freeman   Annotation Propagation in Large Image
                                  Databases via Dense Image Correspondence 85--99
                Yubin Kuang and   
        Kalle Åström   Numerically Stable Optimization of
                                  Polynomial Solvers for Minimal Problems  100--113
      Nataraj Jammalamadaka and   
           Andrew Zisserman and   
             Marcin Eichner and   
               Vittorio Ferrari   Has My Algorithm Succeeded? An Evaluator
                                  for Human Pose Estimators  . . . . . . . 114--128
               Genquan Duan and   
                 Haizhou Ai and   
                   Song Cao and   
                    Shihong Lao   Group Tracking: Exploring Mutual
                                  Relations for Multiple Object Tracking   129--143
        Bernhard X. Kausler and   
             Martin Schiegg and   
              Bjoern Andres and   
             Martin Lindner and   
                 Ullrich Koethe   A Discrete Chain Graph Model for $3d+t$
                                  Cell Tracking with High Misdetection
                                  Robustness . . . . . . . . . . . . . . . 144--157
                    Rui Yao and   
                Qinfeng Shi and   
               Chunhua Shen and   
              Yanning Zhang and   
           Anton van den Hengel   Robust Tracking with Weighted Online
                                  Structured Learning  . . . . . . . . . . 158--172
                 Guy Rosman and   
                    Yu Wang and   
              Xue-Cheng Tai and   
                 Ron Kimmel and   
           Alfred M. Bruckstein   Fast Regularization of Matrix-Valued
                                  Images . . . . . . . . . . . . . . . . . 173--186
       Christian J. Schuler and   
             Michael Hirsch and   
           Stefan Harmeling and   
        Bernhard Schölkopf   Blind Correction of Optical Aberrations  187--200
             Oswald Aldrian and   
            William A. P. Smith   Inverse Rendering of Faces on a Cloudy
                                  Day  . . . . . . . . . . . . . . . . . . 201--214
  Freddie Åström and   
           George Baravdish and   
               Michael Felsberg   On Tensor-Based PDEs and Their
                                  Corresponding Variational Formulations
                                  with Application to Color Image
                                  Denoising  . . . . . . . . . . . . . . . 215--228
                  Dian Gong and   
      Gérard Medioni and   
                  Sikai Zhu and   
                    Xuemei Zhao   Kernelized Temporal Cut for Online
                                  Temporal Segmentation and Recognition    229--243
                     Yu Cao and   
                    Lili Ju and   
                      Song Wang   Grain Segmentation of $3$D Superalloy
                                  Images Using Multichannel EWCVT under
                                  Human Annotation Constraints . . . . . . 244--257
      Hayko Riemenschneider and   
             Sabine Sternig and   
            Michael Donoser and   
              Peter M. Roth and   
                  Horst Bischof   Hough Regions for Joining Instance
                                  Localization and Segmentation  . . . . . 258--271
              Adarsh Kowdle and   
                    Tsuhan Chen   Learning to Segment a Video to Clips
                                  Based on Scene and Camera Motion . . . . 272--286
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7578, 2012

              Gaurav Sharma and   
            Sibt ul Hussain and   
   Frédéric Jurie   Local Higher-Order Statistics (LHS) for
                                  Texture Categorization and Facial
                                  Analysis . . . . . . . . . . . . . . . . 1--12
      Michael Van den Bergh and   
                Xavier Boix and   
                 Gemma Roig and   
       Benjamin de Capitani and   
                   Luc Van Gool   SEEDS: Superpixels Extracted via
                                  Energy-Driven Sampling . . . . . . . . . 13--26
           Rolf Köhler and   
             Michael Hirsch and   
               Betty Mohler and   
    Bernhard Schölkopf and   
               Stefan Harmeling   Recording and Playback of Camera Shake:
                                  Benchmarking Blind Deconvolution with a
                                  Real-World Database  . . . . . . . . . . 27--40
            Stavros Tsogkas and   
               Iasonas Kokkinos   Learning-Based Symmetry Detection in
                                  Natural Images . . . . . . . . . . . . . 41--54
       Nataliya Shapovalova and   
               Arash Vahdat and   
              Kevin Cannons and   
                   Tian Lan and   
                      Greg Mori   Similarity Constrained Latent Support
                                  Vector Machine: An Application to Weakly
                                  Supervised Action Classification . . . . 55--68
            Cem Direko\vglu and   
               Noel E. O'Connor   Team Activity Recognition in Sports  . . 69--83
               Eleonora Vig and   
               Michael Dorr and   
                      David Cox   Space-Variant Descriptor Sampling for
                                  Action Recognition Based on Saliency and
                                  Eye Movements  . . . . . . . . . . . . . 84--97
        Mihalis A. Nicolaou and   
          Vladimir Pavlovic and   
                    Maja Pantic   Dynamic Probabilistic CCA for Analysis
                                  of Affective Behaviour . . . . . . . . . 98--111
            Jeremy Jancsary and   
          Sebastian Nowozin and   
                 Carsten Rother   Loss-Specific Training of Non-Parametric
                                  Image Restoration Models: a New State of
                                  the Art  . . . . . . . . . . . . . . . . 112--125
                Naiyan Wang and   
              Tiansheng Yao and   
              Jingdong Wang and   
                  Dit-Yan Yeung   A Probabilistic Approach to Robust
                                  Matrix Factorization . . . . . . . . . . 126--139
           Torben Pätz and   
                Tobias Preusser   Fast Parameter Sensitivity Analysis of
                                  PDE-Based Image Processing Methods . . . 140--153
              Bjoern Andres and   
        Jörg H. Kappes and   
             Thorsten Beier and   
         Ullrich Köthe and   
              Fred A. Hamprecht   The Lazy Flipper: Efficient
                                  Depth-Limited Exhaustive Search in
                                  Discrete Graphical Models  . . . . . . . 154--166
                    Ming Du and   
                 Rama Chellappa   Face Association across Unconstrained
                                  Video Frames Using Conditional Random
                                  Fields . . . . . . . . . . . . . . . . . 167--180
         Oliver J. Woodford and   
              Minh-Tri Pham and   
                Atsuto Maki and   
          Riccardo Gherardi and   
                   Frank Perbet   Contraction Moves for Geometric Model
                                  Fitting  . . . . . . . . . . . . . . . . 181--194
                 Dennis Strelow   General and Nested Wiberg Minimization:
                                  $L_2$ and Maximum Likelihood . . . . . . 195--207
       Evgeny Strekalovskiy and   
        Claudia Nieuwenhuis and   
                 Daniel Cremers   Nonmetric Priors for Continuous
                                  Multilabel Optimization  . . . . . . . . 208--221
                Ankur Handa and   
        Richard A. Newcombe and   
              Adrien Angeli and   
              Andrew J. Davison   Real-Time Camera Tracking: When is High
                                  Frame-Rate Best? . . . . . . . . . . . . 222--235
         Marshall F. Tappen and   
                         Ce Liu   A Bayesian Approach to Alignment-Based
                                  Image Hallucination  . . . . . . . . . . 236--249
Enrique Sánchez-Lozano and   
       Fernando De la Torre and   
Daniel González-Jiménez   Continuous Regression for Non-rigid
                                  Image Alignment  . . . . . . . . . . . . 250--263
           Mohammad Rouhani and   
                 Angel D. Sappa   Non-rigid Shape Registration: a Single
                                  Linear Least Squares Framework . . . . . 264--277
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7579, 2012

           Oswin Aichholzer and   
               Thomas Hackl and   
             Birgit Vogtenhuber   On $5$-Gons and $5$-Holes  . . . . . . . 1--13
                Jin Akiyama and   
                 Ikuro Sato and   
                  Hyunwoo Seong   On Reversibility among Parallelohedra    14--28
             Prosenjit Bose and   
             Sander Verdonschot   A History of Flips in Combinatorial
                                  Triangulations . . . . . . . . . . . . . 29--44
          János Pach and   
       Rado\vs Radoi\vci\'c and   
        Géza Tóth   Tangled Thrackles  . . . . . . . . . . . 45--53
       Csaba D. Tóth and   
      Godfried T. Toussaint and   
                 Andrew Winslow   Open Guard Edges and Edge Guards in
                                  Simple Polygons  . . . . . . . . . . . . 54--64
                Joseph O'Rourke   String-Wrapped Rotating Disks  . . . . . 65--78
          Ruy Fabila-Monroy and   
                  David R. Wood   The Chromatic Number of the Convex
                                  Segment Disjointness Graph . . . . . . . 79--84
              Jin-ichi Itoh and   
                  Chie Nara and   
                Costin V\^\ilcu   Continuous Flattening of Convex
                                  Polyhedra  . . . . . . . . . . . . . . . 85--97
           Oswin Aichholzer and   
               Mario Cetina and   
          Ruy Fabila-Monroy and   
     Jesús Leaños   Convexifying Monotone Polygons while
                                  Maintaining Internal Visibility  . . . . 98--108
José M. Díaz-Báñez and   
          Ruy Fabila-Monroy and   
     Pablo Pérez-Lantero   On the Number of Radial Orderings of
                                  Colored Planar Point Sets  . . . . . . . 109--118
   Elsa Omaña-Pulido and   
           Eduardo Rivera-Campo   Notes on the Twisted Graph . . . . . . . 119--125
José Miguel Díaz-Báñez and   
              Matias Korman and   
     Pablo Pérez-Lantero   Locating a Service Facility and a Rapid
                                  Transit Line . . . . . . . . . . . . . . 126--137
          Diane L. Souvaine and   
       Csaba D. Tóth and   
                 Andrew Winslow   Simultaneously Flippable Edges in
                                  Triangulations . . . . . . . . . . . . . 138--145
              Justin Iwerks and   
          Joseph S. B. Mitchell   Spiral Serpentine Polygonization of a
                                  Planar Point Set . . . . . . . . . . . . 146--154
José Miguel Díaz-Báñez and   
              Matias Korman and   
     Pablo Pérez-Lantero   The $1$-Center and $1$-Highway Problem   155--165
 José Cáceres and   
       Carmen Cortés and   
             Clara Isabel Grima   Compact Grid Representation of Graphs    166--174
            Toshinori Sakai and   
                  Jorge Urrutia   On the Heaviest Increasing or Decreasing
                                  Subsequence of a Permutation, and Paths
                                  and Matchings on Weighted Point Sets . . 175--184
            Erik D. Demaine and   
                     Anna Lubiw   A Generalization of the Source Unfolding
                                  of Convex Polyhedra  . . . . . . . . . . 185--199
          Patrizio Angelini and   
       Giuseppe Di Battista and   
                  Walter Didimo   Large Angle Crossing Drawings of Planar
                                  Graphs in Subquadratic Area  . . . . . . 200--209
           Manuel Abellanas and   
        Antonio L. Bajuelos and   
               Santiago Canales   Connecting Red Cells in a Bicolour
                                  Voronoi Diagram  . . . . . . . . . . . . 210--219
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7580, 2012

             Johan Holmgren and   
             Linda Ramstedt and   
             Paul Davidsson and   
                 Jan A. Persson   Multi-Agent-Based Simulation for
                                  Analysis of Transport Policy and
                                  Infrastructure Measures  . . . . . . . . 1--15
Bastin Tony Roy Savarimuthu and   
              Maryam Purvis and   
                 Harko Verhagen   An Agent-Based Simulation of Employing
                                  Social Norms in Energy Conservation in
                                  Households . . . . . . . . . . . . . . . 16--31
                  Jens Pfau and   
             Michael Kirley and   
              Yoshihisa Kashima   An Agent-Based Model of Stereotype
                                  Communication  . . . . . . . . . . . . . 32--47
               Naoki Fukuta and   
                   Takayuki Ito   An Approach to Sustainable Electric
                                  Power Allocation Using a Multi-round
                                  Multi-unit Combinatorial Auction . . . . 48--63
          Satoshi Takahashi and   
              Tokuro Matsuo and   
               Takayuki Ito and   
                   Roger Y. Lee   A Co-dependent Value-Based Mechanism for
                                  the Internet Advertisement Auction . . . 64--77
               Ryo Kanamori and   
          Takayuki Morikawa and   
                   Takayuki Ito   Evaluation of Special Lanes as Incentive
                                  Policies for Promoting Electric Vehicles 78--89
          Enrique de la Hoz and   
         Ivan Marsa-Maestre and   
        Miguel A. Lopez-Carmona   Simulation of Coordinated Anticipatory
                                  Vehicle Routing Strategies on MATSim . . 90--108
                Fenghui Ren and   
               Minjie Zhang and   
                 Danny Soetanto   Agent-Based Demand Management in a Power
                                  Distribution Network by Considering
                                  Distributed Generations  . . . . . . . . 109--124
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7583, 2012

                  Or Litany and   
     Alexander M. Bronstein and   
           Michael M. Bronstein   Putting the Pieces Together: Regularized
                                  Multi-part Shape Matching  . . . . . . . 1--11
        Geert Van Eyndhoven and   
                Jan Sijbers and   
                Joost Batenburg   Combined Motion Estimation and
                                  Reconstruction in Tomography . . . . . . 12--21
        Mostafa Abdelrahman and   
           Moumen El-Melegy and   
                      Aly Farag   3D Object Classification Using Scale
                                  Invariant Heat Kernels with
                                  Collaborative Classification . . . . . . 22--31
          Federico M. Sukno and   
         John L. Waddington and   
                 Paul F. Whelan   3D Facial Landmark Localization Using
                                  Combinatorial Search and Shape
                                  Regression . . . . . . . . . . . . . . . 32--41
         Tammy Riklin Raviv and   
                     Yi Gao and   
            James J. Levitt and   
                  Sylvain Bouix   Statistical Shape Analysis for
                                  Population Studies via Level-Set Based
                                  Shape Morphing . . . . . . . . . . . . . 42--51
                 Guy Rosman and   
          Alex M. Bronstein and   
       Michael M. Bronstein and   
              Xue-Cheng Tai and   
                     Ron Kimmel   Group-Valued Regularization for Analysis
                                  of Articulated Motion  . . . . . . . . . 52--62
             Smit Marvaniya and   
     Sreyasee Bhattacharjee and   
   Venkatesh Manickavasagam and   
                  Anurag Mittal   Drawing an Automatic Sketch of
                                  Deformable Objects Using Only a Few
                                  Images . . . . . . . . . . . . . . . . . 63--72
           Stefano Berretti and   
          Alberto Del Bimbo and   
                    Pietro Pala   Superfaces: a Super-Resolution Model for
                                  $3$D Faces . . . . . . . . . . . . . . . 73--82
           Artiom Kovnatsky and   
       Michael M. Bronstein and   
         Alexander M. Bronstein   Stable Spectral Mesh Filtering . . . . . 83--91
             Seiichi Uchida and   
           Satoshi Hokahori and   
                    Yaokai Feng   Analytical Dynamic Programming Matching  92--101
                  Ying Yang and   
         David Günther and   
            Stefanie Wuhrer and   
               Alan Brunton and   
           Ioannis Ivrissimtzis   Correspondences of Persistent Feature
                                  Points on Near-Isometric Surfaces  . . . 102--112
              Antonio Agudo and   
        Begoña Calvo and   
               J. M. M. Montiel   3D Reconstruction of Non-Rigid Surfaces
                                  in Real-Time Using Wedge Elements  . . . 113--122
           Jose A. Iglesias and   
                     Ron Kimmel   Schrödinger Diffusion for Shape Analysis
                                  with Texture . . . . . . . . . . . . . . 123--132
                  Xin Cheng and   
           Sridha Sridharan and   
              Jason Saraghi and   
                    Simon Lucey   Anchored Deformable Face Ensemble
                                  Alignment  . . . . . . . . . . . . . . . 133--142
          Eleonora Bardelli and   
              Maria Colombo and   
            Andrea Mennucci and   
                  Anthony Yezzi   Multiple Object Tracking via Prediction
                                  and Filtering with a Sobolev-Type Metric
                                  on Curves  . . . . . . . . . . . . . . . 143--152
           Koichi Kinoshita and   
          Yoshinori Konishi and   
              Masato Kawade and   
                 Hiroshi Murase   Facial Model Fitting Based on
                                  Perturbation Learning and It's
                                  Evaluation on Challenging Real-World
                                  Diversities Images . . . . . . . . . . . 153--162
                 Jiejie Zhu and   
              Mayank Bansal and   
           Nick Vander Valk and   
                      Hui Cheng   Adaptive Rendering for Large-Scale
                                  Skyline Characterization and Matching    163--174
              Mayank Bansal and   
          Kostas Daniilidis and   
               Harpreet Sawhney   Ultra-wide Baseline Facade Matching for
                                  Geo-localization . . . . . . . . . . . . 175--186
               Varsha Hedau and   
           Sudipta N. Sinha and   
        C. Lawrence Zitnick and   
               Richard Szeliski   A Memory Efficient Discriminative
                                  Approach for Location Aided Recognition  187--197
             Glenn Hartmann and   
         Matthias Grundmann and   
               Judy Hoffman and   
                 David Tsai and   
               Vivek Kwatra and   
                    Omid Madani   Weakly Supervised Learning of Object
                                  Segmentations from Web-Scale Video . . . 198--208
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7584, 2012

                 Rahul Nair and   
               Frank Lenzen and   
            Stephan Meister and   
        Henrik Schäfer and   
                Christoph Garbe   High Accuracy TOF and Stereo Sensor
                                  Fusion at Interactive Rates  . . . . . . 1--11
          Benjamin Langmann and   
             Klaus Hartmann and   
                  Otmar Loffeld   A Modular Framework for $2$D/$3$D and
                                  Multi-modal Segmentation with Joint
                                  Super-Resolution . . . . . . . . . . . . 12--21
                   Zhe Wang and   
                   Hong Liu and   
              Yueliang Qian and   
                         Tao Xu   Real-Time Plane Segmentation and
                                  Obstacle Detection of $3$D Point Clouds
                                  for Indoor Scenes  . . . . . . . . . . . 22--31
     Neslihan Bayramog\uglu and   
        Janne Heikkilä and   
         Matti Pietikäinen   Combining Textural and Geometrical
                                  Descriptors for Scene Recognition  . . . 32--41
                   Jiwen Lu and   
                      Gang Wang   Human-Centric Indoor Environment
                                  Modeling from Depth Videos . . . . . . . 42--51
             Zhongwei Cheng and   
                    Lei Qin and   
                   Yituo Ye and   
             Qingming Huang and   
                        Qi Tian   Human Daily Action Analysis with
                                  Multi-view and Color-Depth Data  . . . . 52--61
             Bernhard Zeisl and   
           Kevin Köser and   
                 Marc Pollefeys   Viewpoint Invariant Matching via
                                  Developable Surfaces . . . . . . . . . . 62--71
            Carl Yuheng Ren and   
                       Ian Reid   A Unified Energy Minimization Framework
                                  for Model Fitting in Depth . . . . . . . 72--82
            David F. Fouhey and   
              Alvaro Collet and   
             Martial Hebert and   
           Siddhartha Srinivasa   Object Recognition Robust to Imperfect
                                  Depth Data . . . . . . . . . . . . . . . 83--92
              Wandi Susanto and   
            Marcus Rohrbach and   
                  Bernt Schiele   3D Object Detection with Multiple
                                  Kinects  . . . . . . . . . . . . . . . . 93--102
              Adarsh Kowdle and   
           Andrew Gallagher and   
                    Tsuhan Chen   Combining Monocular Geometric Cues with
                                  Traditional Stereo Cues for Consumer
                                  Camera Stereo  . . . . . . . . . . . . . 103--113
              Anita Sellent and   
       Jochen Wingbermühle   Quality Assessment of Non-dense Image
                                  Correspondences  . . . . . . . . . . . . 114--123
Patricia Márquez-Valle and   
                 Debora Gil and   
 Aura Hern\`andez-Sabaté   A Complete Confidence Framework for
                                  Optical Flow . . . . . . . . . . . . . . 124--133
Cevahir Çì\ugla and   
         A. Aydìn Alatan   An Improved Stereo Matching Algorithm
                                  with Ground Plane and Temporal
                                  Smoothness Constraints . . . . . . . . . 134--147
             Philippos Mordohai   On the Evaluation of Scene Flow
                                  Estimation . . . . . . . . . . . . . . . 148--157
              Ralf Haeusler and   
                Reinhard Klette   Analysis of KITTI Data for Stereo
                                  Analysis with Stereo Confidence Measures 158--167
                Jonas Wulff and   
           Daniel J. Butler and   
         Garrett B. Stanley and   
               Michael J. Black   Lessons and Insights from Creating a
                                  Synthetic Optical Flow Benchmark . . . . 168--177
               Nazre Batool and   
                 Rama Chellappa   Modeling and Detection of Wrinkles in
                                  Aging Human Faces Using Marked Point
                                  Processes  . . . . . . . . . . . . . . . 178--188
               Charles Otto and   
                     Hu Han and   
                      Anil Jain   How Does Aging Affect Facial Components? 189--198
                 Zahid Riaz and   
                  Michael Beetz   Spatio-Temporal Multifeature for Facial
                                  Analysis . . . . . . . . . . . . . . . . 199--209
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7585, 2012

             David Pfeiffer and   
             Friedrich Erbs and   
                     Uwe Franke   Pixels, Stixels, and Objects . . . . . . 1--10
           Rodrigo Benenson and   
             Markus Mathias and   
               Radu Timofte and   
                   Luc Van Gool   Fast Stixel Computation for Fast
                                  Pedestrian Detection . . . . . . . . . . 11--20
                 Subhransu Maji   Discovering a Lexicon of Parts and
                                  Attributes . . . . . . . . . . . . . . . 21--30
         Santosh K. Divvala and   
            Alexei A. Efros and   
                 Martial Hebert   How Important Are ``Deformable Parts''
                                  in the Deformable Parts Model? . . . . . 31--40
               Iasonas Kokkinos   Bounding Part Scores for Rapid Detection
                                  with Deformable Part Models  . . . . . . 41--50
                      Yu Su and   
   Frédéric Jurie   Learning Compact Visual Attributes for
                                  Large-Scale Image Classification . . . . 51--60
                  Shugao Ma and   
              Stan Sclaroff and   
           Nazli Ikizler-Cinbis   Unsupervised Learning of Discriminative
                                  Relative Visual Attributes . . . . . . . 61--70
   Dimitrios I. Kosmopoulos and   
                 Fillia Makedon   A Method for Online Analysis of
                                  Structured Processes Using Bayesian
                                  Filters and Echo State Networks  . . . . 71--80
    Konstantinos Makantasis and   
   Eftychios Protopapadakis and   
            Anastasios Doulamis   Monocular Camera Fall Detection System
                                  Exploiting $3$D Measures: a
                                  Semi-supervised Learning Approach  . . . 81--90
           Brent C. Munsell and   
           Andrew Temlyakov and   
              Chengzheng Qu and   
                      Song Wang   Person Identification Using Full-Body
                                  Motion and Anthropometric Biometrics
                                  from Kinect Videos . . . . . . . . . . . 91--100
            Manal Al Ghamdi and   
              Nouf Al Harbi and   
                Yoshihiko Gotoh   Spatio-temporal Video Representation
                                  with Locality-Constrained Linear Coding  101--110
                 Paolo Rota and   
               Nicola Conci and   
                      Nicu Sebe   Real Time Detection of Social
                                  Interactions in Surveillance Video . . . 111--120
              Karla Brki\'c and   
                  Axel Pinz and   
          Zoran Kalafati\'c and   
            Sini\vsa \vSegvi\'c   Towards Space-Time Semantics in Two
                                  Frames . . . . . . . . . . . . . . . . . 121--130
       Avinash Ravichandran and   
               Chaohui Wang and   
            Michalis Raptis and   
                 Stefano Soatto   SuperFloxels: a Mid-level Representation
                                  for Video Sequences  . . . . . . . . . . 131--140
                 Vijay John and   
          Gwenn Englebienne and   
                      Ben Krose   Relative Camera Localisation in
                                  Non-overlapping Camera Networks Using
                                  Multiple Trajectories  . . . . . . . . . 141--150
                 Yuichi Ito and   
             Kris M. Kitani and   
           James A. Bagnell and   
                 Martial Hebert   Detecting Interesting Events Using
                                  Unsupervised Density Ratio Estimation    151--161
         Stefano Pellegrini and   
           Jürgen Gall and   
               Leonid Sigal and   
                   Luc Van Gool   Destination Flow for Crowd Simulation    162--171
  Quentin Barthélemy and   
              Anthony Larue and   
    Jérôme I. Mars   3D Rotation Invariant Decomposition of
                                  Motion Signals . . . . . . . . . . . . . 172--182
            Thomas Mauthner and   
              Peter M. Roth and   
                  Horst Bischof   Learn to Move: Activity Specific Motion
                                  Models for Tracking by Detection . . . . 183--192
      Håkan Ardö and   
             Mikael Nilsson and   
             Rikard Berthilsson   Flow Counting Using Realboosted
                                  Multi-sized Window Detectors . . . . . . 193--202
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7590, 2012

            Thomas A. Henzinger   Quantitative Reactive Models . . . . . . 1--2
Jesús Sánchez-Cuadrado and   
               Juan de Lara and   
                  Esther Guerra   Bottom-Up Meta-Modelling: An Interactive
                                  Approach . . . . . . . . . . . . . . . . 3--19
             Florian Noyrit and   
Sébastien Gérard and   
                     Bran Selic   FacadeMetamodel: Masking UML . . . . . . 20--35
                Fazle Rabbi and   
                 Wendy MacCaull   T$_\Box$: a Domain Specific Language for
                                  Rapid Workflow Development . . . . . . . 36--52
          Andres J. Ramirez and   
          Betty H. C. Cheng and   
              Nelly Bencomo and   
                    Pete Sawyer   Relaxing Claims: Coping with Uncertainty
                                  While Evaluating Assumptions at Run Time 53--69
Germán H. Alférez and   
              Vicente Pelechano   Dynamic Evolution of Context-Aware
                                  Systems with Models at Runtime . . . . . 70--86
    François Fouquet and   
        Grégory Nain and   
                Brice Morin and   
              Erwan Daubert and   
                 Olivier Barais   An Eclipse Modelling Framework
                                  Alternative to Meet the Models@Runtime
                                  Requirements . . . . . . . . . . . . . . 87--101
           Markus Scheidgen and   
             Anatolij Zubow and   
            Joachim Fischer and   
                Thomas H. Kolbe   Automated and Transparent Model
                                  Fragmentation for Persisting Large
                                  Models . . . . . . . . . . . . . . . . . 102--118
           Benoit Combemale and   
            Xavier Thirioux and   
                  Benoit Baudry   Formally Defining and Iterating Infinite
                                  Models . . . . . . . . . . . . . . . . . 119--133
   Ábel Hegedüs and   
 Ákos Horváth and   
  István Ráth and   
     Dániel Varró   Query-Driven Soft Interconnection of EMF
                                  Models . . . . . . . . . . . . . . . . . 134--150
           Jean-Marie Favre and   
           Ralf Lämmel and   
              Andrei Varanovich   Modeling the Linguistic Architecture of
                                  Software Products  . . . . . . . . . . . 151--167
        Rolf-Helge Pfeiffer and   
             Andrzej W\kasowski   Cross-Language Support Mechanisms
                                  Significantly Aid Software Development   168--184
            Carmine Gravino and   
               Michele Risi and   
        Giuseppe Scanniello and   
              Genoveffa Tortora   Do Professional Developers Benefit from
                                  Design Pattern Documentation? A
                                  Replication in the Context of Source
                                  Code Comprehension . . . . . . . . . . . 185--201
            Alexander Reder and   
                Alexander Egyed   Incremental Consistency Checking for
                                  Complex Design Rules and Larger Model
                                  Changes  . . . . . . . . . . . . . . . . 202--218
            Kleinner Farias and   
          Alessandro Garcia and   
                  Carlos Lucena   Evaluating the Impact of Aspects on
                                  Inconsistency Detection Effort: a
                                  Controlled Experiment  . . . . . . . . . 219--234
                Lars Hamann and   
          Oliver Hofrichter and   
                 Martin Gogolla   On Integrating Structure and Behavior
                                  Modeling with OCL  . . . . . . . . . . . 235--251
            Julia Schroeter and   
               Malte Lochau and   
                 Tim Winkelmann   Multi-perspectives on Feature Models . . 252--268
   Martin Fagereng Johansen and   
      Òystein Haugen and   
             Franck Fleurey and   
            Anne Grete Eldegard   Generating Better Partial Covering
                                  Arrays by Modeling Weights on
                                  Sub-product Lines  . . . . . . . . . . . 269--284
             Vinay Kulkarni and   
               Souvik Barat and   
             Suman Roychoudhury   Towards Business Application Product
                                  Lines  . . . . . . . . . . . . . . . . . 285--301
               Azzam Maraee and   
                   Mira Balaban   Inter-association Constraints in UML2:
                                  Comparative Analysis, Usage
                                  Recommendations, and Modeling Guidelines 302--318
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7592, 2012

   Sung-Shik T. Q. Jongmans and   
          Francesco Santini and   
           Mahdi Sargolzaei and   
                   Farhad Arbab   Automatic Code Generation for the
                                  Orchestration of Web Services with Reo   1--16
               Lina Barakat and   
                Simon Miles and   
                   Michael Luck   Reactive Service Selection in Dynamic
                                  Service Environments . . . . . . . . . . 17--31
             Yuri Demchenko and   
                   Canh Ngo and   
Pedro Martínez-Julia and   
           Elena Torroglosa and   
               Mary Grammatikou   GEMBus Based Services Composition
                                  Platform for Cloud PaaS  . . . . . . . . 32--47
           Mila Dalla Preda and   
        Maurizio Gabbrielli and   
              Claudio Guidi and   
               Jacopo Mauro and   
               Fabrizio Montesi   Interface-Based Service Composition with
                                  Aggregation  . . . . . . . . . . . . . . 48--63
          Matthew Collinson and   
                  David Pym and   
                   Barry Taylor   A Framework for Modelling Security
                                  Architectures in Services Ecosystems . . 64--79
                 Olga Wenge and   
         Melanie Siebenhaar and   
               Ulrich Lampe and   
            Dieter Schuller and   
                 Ralf Steinmetz   Much Ado about Security Appeal: Cloud
                                  Provider Collaborations and Their Risks  80--90
           Frank S. de Boer and   
         Reiner Hähnle and   
        Einar Broch Johnsen and   
            Rudolf Schlatte and   
               Peter Y. H. Wong   Formal Modeling of Resource Management
                                  for Cloud Architectures: An Industrial
                                  Case Study . . . . . . . . . . . . . . . 91--106
                Tam Le Nhan and   
        Gerson Sunyé and   
Jean-Marc Jézéquel   A Model-Driven Approach for Virtual
                                  Machine Image Provisioning in Cloud
                                  Computing  . . . . . . . . . . . . . . . 107--121
            Christian Heike and   
            Wolf Zimmermann and   
                   Andreas Both   Protocol Conformance Checking of
                                  Services with Exceptions . . . . . . . . 122--137
                     Claus Pahl   Cloud Service Localisation . . . . . . . 138--153
Kouessi Arafat Romaric Sagbo and   
         Pélagie Houngue   Quality Architecture for Resource
                                  Allocation in Cloud Computing  . . . . . 154--168
      Miroslav \vZivkovi\'c and   
              Hans van den Berg   Analysis of Revenue Improvements with
                                  Runtime Adaptation of Service
                                  Composition Based on Conditional Request
                                  Retries  . . . . . . . . . . . . . . . . 169--183
         Manfred Dellkrantz and   
                 Maria Kihl and   
              Anders Robertsson   Performance Modeling and Analysis of a
                                  Database Server with Write-Heavy
                                  Workload . . . . . . . . . . . . . . . . 184--191
              Marvin Ferber and   
                  Thomas Rauber   Mobile Cloud Computing in 3G Cellular
                                  Networks Using Pipelined Tasks . . . . . 192--199
            Florian Fittkau and   
            Sören Frey and   
            Wilhelm Hasselbring   Cloud User-Centric Enhancements of the
                                  Simulator CloudSim to Improve Cloud
                                  Deployment Option Analysis . . . . . . . 200--207
              Claudio Guidi and   
               Paolo Anedda and   
               Tullio Vardanega   PaaSSOA: An Open PaaS Architecture for
                                  Service Oriented Applications  . . . . . 208--209
           Pierre De Vettor and   
             Michael Mrissa and   
               Carlos Pedrinaci   Context Mediation as a Linked Service    210--211
              Ming-Xue Wang and   
                     Claus Pahl   User-Customisable Policy Monitoring for
                                  Multi-tenant Cloud Architectures . . . . 212--213
                  Bin Cheng and   
             Sachin Agarwal and   
              Daniele Abbadessa   Enabling Co-browsing Service across
                                  Different Browsers and Devices . . . . . 214--229
               John Trammel and   
 Ümit Yalçinalp and   
              Andrei Kalfas and   
                 James Boag and   
                    Dan Brotsky   Device Token Protocol for Persistent
                                  Authentication Shared across
                                  Applications . . . . . . . . . . . . . . 230--243
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7594, 2012

             Muhammad Ajmal and   
    Muhammad Husnain Ashraf and   
            Muhammad Shakir and   
                Yasir Abbas and   
                  Faiz Ali Shah   Video Summarization: Techniques and
                                  Classification . . . . . . . . . . . . . 1--13
                Thierry Bay and   
              Romain Raffin and   
                    Marc Daniel   Discrete Geometric Modeling of Thick
                                  Pelvic Organs with a Medial Axis . . . . 14--21
           Marzena Bielecka and   
               Andrzej Bielecki   An Evolutionary-Neural Algorithm for
                                  Solving Inverse IFS Problem for Images
                                  in Two-Dimensional Space . . . . . . . . 22--29
              Dariusz Borkowski   Euler's Approximations to Image
                                  Reconstruction . . . . . . . . . . . . . 30--37
          Dariusz Borkowski and   
  Katarzyna Ja\'nczak-Borkowska   Application of Backward Stochastic
                                  Differential Equations to Reconstruction
                                  of Vector-Valued Images  . . . . . . . . 38--47
             M. Emre Celebi and   
                   Quan Wen and   
            Gerald Schaefer and   
                     Huiyu Zhou   Batch Neural Gas with Deterministic
                                  Initialization for Color Quantization    48--54
Eduardo E. Dávila Serrano and   
            Laurent Guigues and   
           Jean-Pierre Roux and   
Frédéric Cervenansky   CreaTools: a Framework to Develop
                                  Medical Image Processing Software:
                                  Application to Simulate Pipeline Stent
                                  Deployment in Intracranial Vessels with
                                  Aneurysms  . . . . . . . . . . . . . . . 55--62
           Diana Doma\'nska and   
             Marek Wojtylak and   
              Wies\law Kotarski   Visualization of Multidimensional Data
                                  in Explorative Forecast  . . . . . . . . 63--70
             Adam Goi\'nski and   
            Tomasz Zawadzki and   
               S\lawomir Nikiel   Automatic Shape Generation Based on
                                  Quadratic Four-Dimensional Fractals  . . 71--78
              Tomasz Grajek and   
           Damian Karwowski and   
               Adam \Luczak and   
      S\lawomir Ma\'ckowiak and   
               Marek Doma\'nski   Architecture of Algorithmically
                                  Optimized MPEG-4 AVC/H.264 Video Encoder 79--86
           Pawe\l Iwaneczko and   
          Karol J\kedrasiak and   
           Krzysztof Daniec and   
              Aleksander Nawrat   A Prototype of Unmanned Aerial Vehicle
                                  for Image Acquisition  . . . . . . . . . 87--94
              \Lukasz Janik and   
          Karol J\kedrasiak and   
       Konrad Wojciechowski and   
             Andrzej Pola\'nski   Application of a Hybrid Algorithm for
                                  Non--humanoid Skeleton Model Estimation
                                  from Motion Capture Data . . . . . . . . 95--104
              \Lukasz Jopek and   
             Laurent Babout and   
             Marcin Janaszewski   A New Method to Segment X-Ray
                                  Microtomography Images of Lamellar
                                  Titanium Alloy Based on Directional
                                  Filter Banks and Gray Level Gradient . . 105--112
                Peter Kapec and   
           Michal Papr\vcka and   
                Adam Pa\vzitnaj   Intelligent $3$D Graph Exploration with
                                  Time-Travel Features . . . . . . . . . . 113--120
               Damian Karwowski   Improved Adaptive Arithmetic Coding for
                                  HEVC Video Compression Technology  . . . 121--128
           Jacek Komorowski and   
             Przemys\law Rokita   Extrinsic Camera Calibration Method and
                                  Its Performance Evaluation . . . . . . . 129--138
             Ryszard Kozera and   
                Lyle Noakes and   
             Mariusz Rasi\'nski   Length Estimation for the Adjusted
                                  Exponential Parameterization . . . . . . 139--147
             Ryszard Kozera and   
            Mateusz \'Smietanka   Sharpness in Trajectory Estimation by
                                  Piecewise-quadratics(-cubics) and
                                  Cumulative Chords  . . . . . . . . . . . 148--155
         Robert Krupi\'nski and   
            Przemys\law Mazurek   Estimation of Electrooculography and
                                  Blinking Signals Based on Filter Banks   156--163
               Adam \Luczak and   
 S\lawomir Maákowiak and   
           Damian Karwowski and   
                  Tomasz Grajek   A Large Barrel Distortion in an
                                  Acquisition System for Multifocal Images
                                  Extraction . . . . . . . . . . . . . . . 164--171
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7595, 2012

                Twan Basten and   
           Martijn Hendriks and   
                 Lou Somers and   
                 Nikola Tr\vcka   Model-Driven Design-Space Exploration
                                  for Software-Intensive Embedded Systems  1--6
                  Kim G. Larsen   Statistical Model Checking, Refinement
                                  Checking, Optimization, \ldots for
                                  Stochastic Hybrid Systems  . . . . . . . 7--10
                  S. Akshay and   
Lo\"\ic Hélouët and   
                Claude Jard and   
                Didier Lime and   
                Olivier H. Roux   Robustness of Time Petri Nets under
                                  Architectural Constraints  . . . . . . . 11--26
              Eugene Asarin and   
             Nicolas Basset and   
   Marie-Pierre Béal and   
             Aldric Degorre and   
               Dominique Perrin   Toward a Timed Theory of Channel Coding  27--42
          Nathalie Bertrand and   
                    Sven Schewe   Playing Optimally on Timed Automata with
                                  Random Delays  . . . . . . . . . . . . . 43--58
             Rebekah Carter and   
    Eva M. Navarro-López   Dynamically-Driven Timed Automaton
                                  Abstractions for Proving Liveness of
                                  Continuous Systems . . . . . . . . . . . 59--74
              Chris Chilton and   
          Marta Kwiatkowska and   
                        Xu Wang   Revisiting Timed Specification Theories:
                                  a Linear-Time Perspective  . . . . . . . 75--90
       Andreas E. Dalsgaard and   
             Alfons Laarman and   
              Kim G. Larsen and   
           Mads Chr. Olesen and   
                Jaco van de Pol   Multi-core Reachability for Timed
                                  Automata . . . . . . . . . . . . . . . . 91--106
            Rayna Dimitrova and   
               Bernd Finkbeiner   Counterexample-Guided Synthesis of
                                  Observation Predicates . . . . . . . . . 107--122
            Christian Ellen and   
          Sebastian Gerwinn and   
            Martin Fränzle   Confidence Bounds for Statistical Model
                                  Checking of Probabilistic Hybrid Systems 123--138
            Hamed Ghasemieh and   
                 Anne Remke and   
        Boudewijn Haverkort and   
                 Marco Gribaudo   Region-Based Analysis of Hybrid Petri
                                  Nets with a Single General One-Shot
                                  Transition . . . . . . . . . . . . . . . 139--154
          Christian Herrera and   
             Bernd Westphal and   
          Sergio Feo-Arenis and   
         Marco Muñiz and   
               Andreas Podelski   Reducing Quasi-Equal Clocks in Networks
                                  of Timed Automata  . . . . . . . . . . . 155--170
          Roland Kindermann and   
             Tommi Junttila and   
             Ilkka Niemelä   SMT-Based Induction Methods for Timed
                                  Systems  . . . . . . . . . . . . . . . . 171--187
         Marco Muñiz and   
             Bernd Westphal and   
               Andreas Podelski   Timed Automata with Disjoint Activity    188--203
       Hans-Jörg Peter and   
               Bernd Finkbeiner   The Complexity of Bounded Synthesis for
                                  Timed Control with Partial Observability 204--219
               Jonas Rinast and   
                 Sibylle Schupp   Static Detection of Zeno Runs in UPPAAL
                                  Networks Based on Synchronization
                                  Matrices and Two Data-Variable
                                  Heuristics . . . . . . . . . . . . . . . 220--235
          Amélie Stainer   Frequencies in Forgetful Timed Automata  236--251
              Martin Wehrle and   
         Sebastian Kupferschmid   \sc Mcta: Heuristics and Search for
                                  Timed Systems  . . . . . . . . . . . . . 252--266
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7596, 2012

            Tomoya Takimoto and   
               Fukuhito Ooshita   Communication-Efficient
                                  Self-stabilization in Wireless Networks  1--15
           Sven Köhler and   
               Volker Turau and   
                Gerhard Mentges   Self-stabilizing Local $k$-Placement of
                                  Replicas with Minimal Variance . . . . . 16--30
             Brahim Neggazi and   
                Mohammed Haddad   Self-stabilizing Algorithm for Maximal
                                  Graph Partitioning into Triangles  . . . 31--42
            Mahyar R. Malekpour   Brief Announcement: Self-stabilizing
                                  Synchronization of Arbitrary Digraphs in
                                  Presence of Faults . . . . . . . . . . . 43--45
              Ajoy K. Datta and   
       Stéphane Devismes   Brief Announcement: Self-stabilizing
                                  Silent Disjunction in an Anonymous
                                  Network  . . . . . . . . . . . . . . . . 46--48
           Fukuhito Ooshita and   
       Sébastien Tixeuil   On the Self-stabilization of Mobile
                                  Oblivious Robots in Uniform Rings  . . . 49--63
   Stéphane Devismes and   
                  Anissa Lamani   Optimal Grid Exploration by Asynchronous
                                  Oblivious Robots . . . . . . . . . . . . 64--76
              Othon Michail and   
        Ioannis Chatzigiannakis   Terminating Population Protocols via
                                  Some Minimal Global Knowledge
                                  Assumptions  . . . . . . . . . . . . . . 77--89
       Matthias Függer and   
    Alexander Kößler   Brief Announcement: The Degrading Effect
                                  of Forgetting on a Synchronizer  . . . . 90--91
               Tomoko Izumi and   
            Yukiko Yamauchi and   
                   Sayaka Kamei   Brief Announcement: Mobile Agent
                                  Rendezvous on Edge Evolving Rings  . . . 92--94
             Yanhong A. Liu and   
           Scott D. Stoller and   
                         Bo Lin   High-Level Executable Specifications of
                                  Distributed Algorithms . . . . . . . . . 95--110
               Yosr Jarraya and   
                Arash Eghtesadi   Formal Verification of Security
                                  Preservation for Migrating Virtual
                                  Machines in the Cloud  . . . . . . . . . 111--125
              Jordan Adamek and   
             Mikhail Nesterenko   Evaluating Practical Tolerance
                                  Properties of Stabilizing Programs
                                  through Simulation: The Case of
                                  Propagation of Information with Feedback 126--132
               Shlomi Dolev and   
                 Ariel Hanemann   Self-stabilizing End-to-End
                                  Communication in (Bounded Capacity,
                                  Omitting, Duplicating and non-FIFO)
                                  Dynamic Networks . . . . . . . . . . . . 133--147
       Bertrand Ducourthial and   
     Véronique Cherfaoui   Self-stabilizing Distributed Data Fusion 148--162
                 Colette Johnen   From Self- to Self-stabilizing with
                                  Service Guarantee $1$-Hop Weight-Based
                                  Clustering . . . . . . . . . . . . . . . 163--178
                   Jingshu Chen   Brief Announcement: Verification of
                                  Stabilizing Programs with SMT Solvers    179--182
         Can Arda Muftuoglu and   
         Péter Bokor and   
                    Neeraj Suri   Brief Announcement: MP-State:
                                  State-Aware Software Model Checking of
                                  Message-Passing Systems  . . . . . . . . 183--186
          Giuseppe Ateniese and   
                Roberto Baldoni   Oblivious Assignment with m Slots  . . . 187--201
           Mohammad Alaggan and   
         Sébastien Gambs   BLIP: Non-interactive
                                  Differentially-Private Similarity
                                  Computation on Bloom filters . . . . . . 202--216
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7597, 2012

                       Tao Gong   Face Recognition by Searching Most
                                  Similar Sample with Immune Learning  . . 1--13
            Thomas Pierrard and   
        Carlos A. Coello Coello   A Multi-Objective Artificial Immune
                                  System Based on Hypervolume  . . . . . . 14--27
                Johannes Textor   A Comparative Study of Negative
                                  Selection Based Anomaly Detection in
                                  Sequence Data  . . . . . . . . . . . . . 28--41
               TiongHoo Lim and   
                HuiKeng Lau and   
                 Jon Timmis and   
                      Iain Bate   Immune-Inspired Self Healing in Wireless
                                  Sensor Networks  . . . . . . . . . . . . 42--56
     Grazziela P. Figueredo and   
          Peer-Olaf Siebers and   
               Uwe Aickelin and   
                 Stephanie Foan   A Beginner's Guide to Systems Simulation
                                  in Immunology  . . . . . . . . . . . . . 57--71
        Wilburn W. P. Tsang and   
                Henry Y. K. Lau   Clustering-Based Multi-objective Immune
                                  Optimization Evolutionary Algorithm  . . 72--85
            Anna Gogolinska and   
                  Wieslaw Nowak   Petri Nets Approach to Modeling of
                                  Immune System and Autism . . . . . . . . 86--99
Cicero Hildenberg Lima de Oliveira and   
     Thayna Baptista Moroso and   
         Fabio Hugo Souza Matos   Mathematical Implementation of
                                  Interaction between Malaria and Immune
                                  System . . . . . . . . . . . . . . . . . 100--110
              Thomas Jansen and   
               Christine Zarges   Computing Longest Common Subsequences
                                  with the B-Cell Algorithm  . . . . . . . 111--124
                     Jun Fu and   
                  Huan Yang and   
                Yiwen Liang and   
                    Chengyu Tan   Bait a Trap: Introducing Natural Killer
                                  Cells to Artificial Immune System for
                                  Spyware Detection  . . . . . . . . . . . 125--138
   Samir A. Mohamed Elsayed and   
    Sanguthevar Rajasekaran and   
                  Reda A. Ammar   AC-CS: An Immune-Inspired Associative
                                  Classification Algorithm . . . . . . . . 139--151
              Zeineb Chelly and   
                   Zied Elouedi   RC-DCA: a New Feature Selection and
                                  Signal Categorization Technique for the
                                  Dendritic Cell Algorithm Based on Rough
                                  Set Theory . . . . . . . . . . . . . . . 152--165
      Viviana Cocco Mariani and   
  Leandro dos Santos Coelho and   
                  Anderson Duck   Artificial Immune Network Approach with
                                  Beta Differential Operator Applied to
                                  Optimization of Heat Exchangers  . . . . 166--177
       Patricia Mostardinha and   
         Bruno Filipe Faria and   
André Zúquete and   
 Fernão Vistulo de Abreu   A Negative Selection Approach to
                                  Intrusion Detection  . . . . . . . . . . 178--190
            Danesh Tarapore and   
   Anders Lyhne Christensen and   
              Pedro U. Lima and   
                 Jorge Carneiro   Clonal Expansion without
                                  Self-replicating Entities  . . . . . . . 191--204
            Mahdi Mohammadi and   
               Ahmad Akbari and   
              Bijan Raahemi and   
             Babak Nassersharif   A Real Time Anomaly Detection System
                                  Based on Probabilistic Artificial Immune
                                  Based Algorithm  . . . . . . . . . . . . 205--217
                 Zixing Cai and   
                Xingbao Liu and   
                   Xiaoping Ren   CSA/IE: Novel Clonal Selection Algorithm
                                  with Information Exchange for High
                                  Dimensional Global Optimization Problems 218--231
              Pedro Pinacho and   
            Iván Pau and   
          Max Chacón and   
          Sergio Sánchez   An Ecological Approach to Anomaly
                                  Detection: The EIA Model . . . . . . . . 232--245
                 Chris Musselle   Rethinking Concepts of the Dendritic
                                  Cell Algorithm for Multiple Data Stream
                                  Analysis . . . . . . . . . . . . . . . . 246--259
         Raffaele Giancarlo and   
                   Filippo Utro   Stability-Based Model Selection for High
                                  Throughput Genomic Data: An Algorithmic
                                  Paradigm . . . . . . . . . . . . . . . . 260--270
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??


Lecture Notes in Computer Science
Volume 7599, 2012

                Noura Faraj and   
           Jean-Marc Thiery and   
             Isabelle Bloch and   
           Nad\`ege Varsier and   
                      Joe Wiart   Robust and Scalable Interactive Freeform
                                  Modeling of High Definition Medical
                                  Images . . . . . . . . . . . . . . . . . 1--11
                  Xinyi Cui and   
             Shaoting Zhang and   
               Yiqiang Zhan and   
               Mingchen Gao and   
                  Junzhou Huang   3D Anatomical Shape Atlas Construction
                                  Using Mesh Quality Preserved Deformable
                                  Models . . . . . . . . . . . . . . . . . 12--21
            Thomas Albrecht and   
                  Thomas Vetter   Automatic Fracture Reduction . . . . . . 22--29
          Tristan Whitmarsh and   
Luis M. Del Río Barquero and   
        Silvana Di Gregorio and   
            Jorge Malouf Sierra   Age-Related Changes in Vertebral
                                  Morphometry by Statistical Shape
                                  Analysis . . . . . . . . . . . . . . . . 30--39
                   Ju Zhang and   
              Duane Malcolm and   
     Jacqui Hislop-Jambrich and   
         C. David L. Thomas and   
                   Poul Nielsen   Automatic Meshing of Femur Cortical
                                  Surfaces from Clinical CT Images . . . . 40--48
           Rasmus R. Jensen and   
            Oline V. Olesen and   
          Rasmus R. Paulsen and   
          Mike van der Poel and   
                  Rasmus Larsen   Statistical Surface Recovery: a Study on
                                  Ear Canals . . . . . . . . . . . . . . . 49--58
                 Hong Zhang and   
              Yuanfeng Jiao and   
              Yongjie Zhang and   
                  Kenji Shimada   Automated Segmentation of Cerebral
                                  Aneurysms Based on Conditional Random
                                  Field and Gentle Adaboost  . . . . . . . 59--69
               Youngjun Kim and   
               Seungbin Lee and   
Frédérick Roy and   
                Deukhee Lee and   
                Laehyun Kim and   
                   Sehyung Park   Carving Mesh with Deformation for Soft
                                  Tissue Removal Simulation  . . . . . . . 70--79
                     Yi Gao and   
                  Sylvain Bouix   Synthesis of Realistic Subcortical
                                  Anatomy with Known Surface Deformations  80--88
            Boris A. Gutman and   
                Ryan McComb and   
                   Jay Sung and   
                   Won Moon and   
               Paul M. Thompson   Robust Shape Correspondence via
                                  Spherical Patch Matching for Atlases of
                                  Partial Skull Models . . . . . . . . . . 89--100
                  Max Kahnt and   
                 Heiko Ramm and   
              Hans Lamecker and   
                  Stefan Zachow   Feature-Preserving, Multi-material Mesh
                                  Generation Using Hierarchical Oracles    101--111
                    Gang Li and   
                Jingxin Nie and   
                  Dinggang Shen   Partition Cortical Surfaces into
                                  Supervertices: Method and Application    112--121
            Jeonghyung Park and   
          Suzanne M. Shontz and   
              Corina S. Drapaca   Automatic Boundary Evolution Tracking
                                  via a Combined Level Set Method and Mesh
                                  Warping Technique: Application to
                                  Hydrocephalus  . . . . . . . . . . . . . 122--133
            Antonietta Pepe and   
           Laura Brandolini and   
              Marco Piastra and   
          Juha Koikkalainen and   
                  Jarmo Hietala   Simplified Reeb Graph as Effective Shape
                                  Descriptor for the Striatum  . . . . . . 134--146
            Dominik Sibbing and   
        Hans-Christian Ebke and   
             Kai Ingo Esser and   
                   Leif Kobbelt   Topology Aware Quad Dominant Meshing for
                                  Vascular Structures  . . . . . . . . . . 147--158
          Philip Voglreiter and   
         Markus Steinberger and   
         Dieter Schmalstieg and   
                 Bernhard Kainz   Volumetric Real-Time Particle-Based
                                  Representation of Large Unstructured
                                  Tetrahedral Polygon Meshes . . . . . . . 159--168
                      Anonymous   Back Matter  . . . . . . . . . . . . . . ??
                      Anonymous   Front Matter . . . . . . . . . . . . . . ??