Last update:
Sat Aug 31 12:36:11 MDT 2024
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??
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 . . . . . . . . . . . . . . ??