A Rule Based Schwa Deletion Algorithm for Punjabi TTS System / Parminder Singh
Clause Based Approach for Ordering in MT Using OpenLogos / Arpana Sharma ; Neha Narang ; Sonal Dixit
Comparison of Feature Extraction Methods for Recognition of Isolated Handwritten Characters in Gurmukhi Script / Dharam Veer Sharma ; Puneet Jhajj
Dewarping Machine Printed Documents of Gurmukhi Script / Shilpi Wadhwa
Developing Oriya Morphological Analyzer Using Lt-Toolbox / Itisree Jena ; Himani Chaudhry ; Dipti M. Sharma
Durational Characteristics of Indian Phonemes for Language Discrimination / B. Lakshmi kanth ; Venkatesh Keri ; Kishore S. Prahallad
A Transliteration Based Word Segmentation System for Shahmukhi Script / Tejinder Singh Saini
Optimizing Character Class Count for Devnagari Optical Character Recognition / Jasbir Singh
Multifont Oriya Character Recognition Using Curvelet Transform / Swati Nigam ; Ashish Khare
Exploiting Ontology for Concept Based Information Retrieval / Aditi Sharan ; Manju Lata Joshi ; Anupama Pandey
Parsing of Kumauni Language Sentences after Modifying Earley's Algorithm / Rakesh Pandey ; Nihar Ranjan Pande ; H.S. Dhami
Comparative Analysis of Gabor and Discriminating Feature Extraction Techniques for Script Identification / Rajneesh Rani ; Renu Dhir ; Gurpreet Singh lehal
Poster
Automatic Word Aligning Algorithm for Hindi-Punjabi Parallel Text / Karuna Jindal ; Shikha Jindal
Making Machine Translations Polite: The Problematic Speech Acts / Ritesh Kumar
Tagging Sanskrit Corpus Using BIS POS Tagset / Madhav Gopal ; Girish Nath Jha
Manipuri Transliteration from Bengali Script to Meitei Mayek: A Rule Based Approach / Kishorjit Nongmeikapam ; Ningombam Herojit Singh ; Sonia Thoudam ; Sivaji Bandyopadhyay
Online Handwriting Recognition for Malayalam Script / T.R. Indhu
Optimized Multi Unit Speech Database for High Quality FESTIVAL TTS / T. Sajini
Comparative Analysis of Printed Hindi and Punjabi Text Based on Statistical Parameters / Lalit Goyal
Participles in English to Sanskrit Machine Translation / Vimal Mishra ; R.B. Mishra
Web-Drawn Corpus for Indian Languages: A Case of Hindi / Narayan Choudhary
Handwritten Hindi Character Recognition Using Curvelet Transform / Gyanendra K. Verma ; Shitala Prasad ; Piyush Kumar
Challenges in Developing a TTS for Sanskrit / Diwakar Mishra ; Kalika Bali
A Hybrid Learning Algorithm for Handwriting Recognition / Binu P. Chacko ; P. Babu Anto
Hindi to Punjabi Machine Translation System
Cascading Style Sheet Styling Issues in Punjabi Language / Swati Mittal ; R.K. Sharma ; Parteek Bhatia
Translation of Hindi se to Tamil in a MT System / Sobha Lalitha Devi ; P. Pralayankar ; V. Kavitha ; S. Menaka
Preprocessing Phase of Punjabi Language Text Summarization / Vishal Gupta
Comparative Analysis of Tools Available for Developing Statistical Approach Based Machine Translation System / Ajit Kumar
Discriminative Techniques for Hindi Speech Recognition System / Rajesh Kumar Aggarwal ; Mayank Dave
An Experiment on Resolving Pronominal Anaphora in Hindi: Using Heuristics / Kiran Pala ; Rafiya Begum
A Novel GA Based OCR Enhancement and Segmentation Methodology for Marathi Language in Bimodal Framework / Amarjot Singh ; Ketan Bacchuwar ; Akash Choubey
Panmozhi Vaayil - A Multilingual Indie Keyboard Interface for Business and Personal Use / H.R. Shiva Kumar ; Abhinava Shivakumar ; Akshay Rao ; Sriraman Arun ; A.G. Ramakrishnan
Power Spectral Density Estimation Using Yule Walker AR Method for Tamil Speech Signal / V. Radha ; C. Vimala
Challenges in NP Case-Mapping in Sanskrit Hindi Machine Translation / Kumar Nripendra Pathak
Modeified BLEU for Measuring Performance of a Machine-Translation Software / Kalyan Joshi ; M.B. Rajarshi
Demo Abstracts
A System for Online Gurmukhi Script Recognition
Spoken Isolated Word Recognition of Punjabi Language Using Dynamic Time Warp Technique / Ravinder Kumar ; Mohanjit Singh
Text-To-Speech Synthesis System for Punjabi Language
Hand-Filled Form Processing System for Gurmukhi Script
Urdu to Hindi and Reverse Transliteration System / V.S. Kalra
iPlugin: Indian Language Web Application Development Tool / Anup Kanaskar ; Vrundesh Waghmare
An OCR System for Printed Indie Scripts / Tushar Patnaik
Gujarati Text - TO - Speech System / Samyak Bhuta ; S. Rama Mohan
Large Web Corpora for Indian Languages / Adam Kilgarriff ; Girish Duvuru
Localization of EHCPRs System in the Multilingual Domain: An Implementation / Sarika Jain ; Deepa Chaudhary ; N.K. Jain
Author Index
Oral
A Novel Method to Segment Online Gurmukhi Script / Manoj K. Sachan ; Gurpreet Singh Lehal ; Vijender Kumar Jain
Automatic Speech Segmentation and Multi Level Labeling Tool / R. Ravindra Kumar ; K. G. Sulochana ; Jose Stephen
Belief Erasure Using Partial Imaging / Raghav Ramachandran
The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi / Carl Schultz ; Robert Amor ; Hans W. Guesgen
Two Methods for Constructing Horn Contractions / Zhi Qiang Zhuang ; Maurice Pagnucco
Data Mining and Knowledge Discovery
Database Normalization as a By-product of Minimum Message Length Inference / David L. Dowe ; Nayyar Abbas Zaidi
A Heuristic on Effective and Efficient Clustering on Uncertain Objects / Edward Hung ; Lei Xu ; Chi-Cheong Szeto
A New Supervised Term Ranking Method for Text Categorization / Musa Mammadov ; John Yearwood ; Lei Zhao
A Comparative Study of a Practical Stochastic Clustering Method with Traditional Methods / Swee Chuan Tan ; Kai Ming Ting ; Shyh Wei Teng
An Effective Pattern Based Outlier Detection Approach for Mixed Attribute Data / Ke Zhang ; Huidong Jin
Incremental Projection Vector Machine: A One-Stage Learning Algorithm for High-Dimension Large-Sample Dataset / Qinghua Zheng ; Xin Wang ; Wanyu Deng ; Jun Liu ; Xiyuan Wu
Machine Learning
Model-Based Viewpoint Invariant Human Activity Recognition from Uncalibrated Monocular Video Sequence / Zaw Zaw Htike ; Simon Egerton ; Ye Chow Kuang
On Optimizing Locally Linear Nearest Neighbour Reconstructions Using Prototype Reduction Schemes / Sang-Woon Kim ; B. John Oommen
Efficient Two Stage Voting Architecture for Pairwise Multi-label Classification / Gjorgji Madjarou ; Dejan Gjorgjevikj ; Tomche Delev
Hazardous Document Detection Based on Dependency Relations and Thesaurus / Kazushi Ikeda ; Tadashi Yanagihara ; Gen Hattori ; Kazunori Matsumoto ; Yasuhiro Takisima
Improving Sentence Similarity Measurement by Incorporating Sentential Word Importance
AI Applications
Collaborative Filtering for People to People Recommendation in Social Networks / Xiongcai Cai ; Michael Bain ; Alfred Krzywicki ; Wayne Wobcke ; Yang Sok Kim ; Paul Compton ; Ashesh Mahidadia
Head X: Customizable Audiovisual Synthesis for a Multi-purpose Virtual Head / Martin Luerssen ; Trent Lewis ; David Powers
Diagnosing Component Interaction Errors from Abstract Event Traces / Wolfgang Mayer ; Xavier Pucel ; Markus Stumptner
Evaluating Sequential Single-Item Auctions for Dynamic Task Allocation / Adrian Schoenig
Bacterial Community Reconstruction Using Compressed Sensing / Amnon Amir ; Or Zuk
Constrained De Novo Sequencing of Peptides with Application to Conotoxins / Swapnil Bhatia ; Yong J. Kil ; Beatrix Ueberheide ; Brian Chait ; Lemmuel L. Tayo ; Lourdes J. Cruz ; Bingwen Lu ; John R. Yates III ; Marshall Bern
Causal Reasoning on Biological Networks: Interpreting Transcriptional Changes (Extended Abstract) / Daniel Ziemek ; Ahmed Enayetallah ; Ranjit Randhawa ; Ben Sidders ; Christoph Brockel ; Enoch Huang
Hapsembler: An Assembler for Highly Polymorphic Genomes / Nilgun Donmez ; Michael Brudno
Discovery and Characterization of Chromatin States for Systematic Annotation of the Human Genome / Jason Ernst ; Manolis Kellis
Disease Gene Prioritization Based on Topological Similarity in Protein-Protein Interaction Networks / Sinan Erten ; Gurkan Bebek ; Mehmet Koyutürk
Understanding Gene Sequence Variation in the Context of Transcription Regulation in Yeast / Irit Gat- Viks ; Renana Meller ; Martin Kupiec ; Ron Shamir
Identifying Branched Metabolic Pathways by Merging Linear Metabolic Pathways / Allison P. Heath ; George N. Bennett ; Lydia E. Kavraki
A Probabilistic Model For Sequence Alignment with Context-Sensitive Indels / Glenn Hickey ; Mathieu Blanchette
Simultaneous Structural Variation Discovery in Multiple Paired-End Sequenced Genomes / Fereydoun Hormozdiari ; Iman Hajirasouliha ; Andrew McPherson ; Evan E. Eichler ; S. Cenk Sahinalp
Variable Selection through Correlation Sifting / Jim C. Huang ; Nebojsa Jojic
Weighted Genomic Distance Can Hardly Impose a Bound on the Proportion of Transpositions / Shuai Jiang ; Max A. Alekseyev
PSAR: Measuring Multiple Sequence Alignment Reliability by Probabilistic Sampling (Extended Abstract) / Jaebum Kim ; Jian Ma
Pedigree Reconstruction Using Identity by Descent / Bonnie Kirkpatrick ; Shuai Cheng Li ; Richard M. Karp ; Eran Halperin
A Quantitative Model of Glucose Signaling in Yeast Reveals an Incoherent Feed Forward Loop Leading to a Specific, Transient Pulse of Transcription / Sooraj KuttyKrishnan ; Jeffrey Sabina ; Laura Langton ; Mark Johnston ; Michael R. Brent
Inferring Mechanisms of Compensation from E-MAP and SGA Data Using Local Search Algorithms for Max Cut / Mark D.M. Leiserson ; Diana Tatar ; Lenore J. Cowen ; Benjamin J. Hescott
IsoLasso: A LASSO Regression Approach to RNA-Seq Based Transcriptome Assembly (Extended Abstract) / Wei Li ; Jianxing Feng ; Tao Jiang
Haplotype Reconstruction in Large Pedigrees with Many Untyped Individuals / Xin Li ; Jing Li
Learning Cellular Sorting Pathways Using Protein Interactions and Sequence Motifs / Tien-ho Lin ; Ziv Bar-Joseph ; Robert F. Murphy
A Geometric Arrangement Algorithm for Structure Determination of Symmetric Protein Homo-oligomers from NOEs and RDCs / Jeffrey W. Martin ; Anthony K. Yan ; Chris Bailey-Kellogg ; Pei Zhou ; Bruce R. Donald
Paired de Bruijn Graphs: A Novel Approach for Incorporating Mate Pair Information into Genome Assemblers / Paul Medvedev ; Son Pham ; Mark Chaisson ; Glenn Tesler ; Pavel Pevzner
An Optimization-Based Sampling Scheme for Phylogenetic Trees / Navodit Misra ; Guy Blelloch ; R. Ravi ; Russell Schwartz
Multiplex De Novo Sequencing of Peptide Antibiotics / Hosein Mohimani ; Wei-Ting Liu ; Yu-Liang Yang ; Susana P. Gaudêncio ; William Fenical ; Pieter C. Dorrestein ; Pavel A. Pevzner
Fractal and Transgenerational Genetic Effects on Phenotypic Variation and Disease Risk (Invited Talk) / Joe Nadeau
AREM: Aligning Short Reads from ChIP-Sequencing by Expectation Maximization / Daniel Newkirk ; Jacob Biesinger ; Alvin Chon ; Kyoko Yokomori ; Xiaohui Xie
Blocked Pattern Matching Problem and Its Applications in Proteomics / Julio Ng ; Amihood Amir
A Three-Dimensional Model of the Yeast Genome / William Noble ; Zhi-jun Duan ; Mirela Andronescu ; Kevin Schutz ; Sean McIlwain ; Yoo Jung Kim ; Choli Lee ; Jay Shendure ; Stanley Fields ; C. Anthony Blau
Optimization of Combinatorial Mutagenesis / Andrew S. Parker ; Karl E. Griswold
Seeing More Is Knowing More: V3D Enables Real-Time 3D Visualization and Quantitative Analysis of Large-Scale Biological Image Data Sets / Hanchuan Peng ; Fuhui Long
T-IDBA: A de novo Iterative de Bruijn Graph Assembler for Transcriptome (Extended Abstract) / Yu Peng ; Henry C.M. Leung ; S.M. Yiu ; Francis Y.L. Chin
Experiment Specific Expression Patterns / Tobias Petri ; Robert Küffner ; Ralf Zimmer
Geometric Interpretation of Gene Expression by Sparse Reconstruction of Transcript Profiles / Yosef Prat ; Menachem Fromer ; Michal Linial ; Nathan Linial
A Ribosome Flow Model for Analyzing Translation Elongation (Extended Abstract) / Shlomi Reuveni ; Isaac Meilijson ; Eytan Ruppin ; Tamir Tuller
Design of Protein-Protein Interactions with a Novel Ensemble-Based Scoring Algorithm / Kyle E. Roberts ; Patrick R. Cushing ; Prisca Boisguerin ; Dean R. Madden
Computing Fragmentation Trees from Metabolite Multiple Mass Spectrometry Data / Kerstin Scheubert ; Franziska Hufsky ; Florian Rasche ; Sebastian Böcker
Metric Labeling and Semi-metric Embedding for Protein Annotation Prediction / Emre Sefer ; Carl Kingsford
Optimally Orienting Physical Networks / Dana Silverbush ; Michael Elberfeld ; Roded Sharan
Opera: Reconstructing Optimal Genomic Scaffolds with High-Throughput Paired-End Sequences / Song Gao ; Niranjan Nagarajan ; Wing-Kin Sung
Increasing Power of Groupwise Association Test with Likelihood Ratio Test / Jae Hoon Sul ; Buhm Han ; Eleazar Eskin
Conservative Extensions of Linkage Disequilibrium Measures from Pairwise to Multi-loci and Algorithms for Optimal Tagging SNP Selection / Ryan Tarpine ; Fumei Lam ; Sorin Istrail
Protein Loop Closure Using Orientational Restraints from NMR Data / Chittaranjan Tripathy ; Jianyang Zeng ; Bruce Randall Donald
De Novo Discovery of Mutated Driver Pathways in Cancer / Fabio Vandin ; Eli Upfal ; Benjamin J. Raphael
An Unbiased Adaptive Sampling Algorithm for the Exploration of RNA Mutational Landscapes under Evolutionary Pressure / Yann Ponty
Nonparametric Combinatorial Sequence Models / Fabian L. Wauthier ; Michael I. Jordan
Rich Parameterization Improves RNA Structure Prediction / Shay Zakov ; Yoav Goldberg ; Michael Elhadad ; Michal Ziv- Ukelson
A Bayesian Approach for Determining Protein Side-Chain Rotamer Conformations Using Unassigned NOE Data
Author Index
Bacterial Community Reconstruction Using Compressed Sensing / Amnon Amir ; Or Zuk
Constrained De Novo Sequencing of Peptides with Application to Conotoxins / Swapnil Bhatia ; Yong J. Kil ; Beatrix Ueberheide ; Brian Chait ; Lemmuel L. Tayo ; Lourdes J. Cruz ; Bingwen Lu ; John R. Yates III ; Marshall Bern
Automated Innovization for Simultaneous Discovery of Multiple Rules in Bi-objective Problems / Sunith Bandaru ; Kalyanmoy Deb
A Taxonomy of Online Stopping Criteria for Multi-Objective Evolutionary Algorithms / Tobias Wagner ; Heike Trautmann ; Luis MartÃ
Not All Parents Are Equal for Mo-Cma-Es / Ilya Loshchilov ; Marc Schoenauer ; Michèle Sebag
On Sequential Online Archiving of Objective Vectors / Manuel López-Ibánez ; Joshua Knowles ; Marco Laumanns
On a Stochastic Differential Equation Approach for Multiobjective Optimization up to Pareto-Criticality / Ricardo H. c. Takahashi ; Eduardo G. Carrano ; Elizabeth F. Wanner
Pareto Cone ?-Dominance: Improving Convergence and Diversity in Multiobjective Evolutionary Algorithms / Lucas S. Batista ; Felipe Campelo ; Frederico G. Guimaraes ; Jaime A. RamÃrez
Variable Preference Modeling Using Multi-Objective Evolutionary Algorithms / Christian Hirsch ; Pradyumn Kumar Shukla ; Hartmut Schmeck
On the Computation of the Empirical Attainment Function / Carlos M. Fonseca ; Andreia P. Guerreiro ; Manuel López-lbánez ; LuÃs Paquete
Computing Hypervolume Contributions in Low Dimensions: Asymptotically Optimal Algorithm and Complexity Results / Michael T.M. Emmerich
Preference-Driven Co-evolutionary Algorithms Show Promise for Many-Objective Optimisation / Robin C. Purshouse ; Cezar Jalba ; Peter J. Fleming
Adaptive Objective Space Partitioning Using Conflict Information for Many-Objective Optimization / Antonio Lopez Jaimes ; Carlos A. Coello Coello ; Hernán Aguirre ; Kiyoshi Tanaka
Effects of the Existence of Highly Correlated Objectives on the Behavior of MOEA/D / Hisao Ishibuchi ; yasuhiro Hitotsuyanagi ; Hiroyuki Ohyanagi ; Yusuke Nojima
Improved Random One-Bit Climbers with Adaptive ?-Ranking and Tabu Moves for Many-Objective Optimization / Joseph M. Pasia
Framework for Many-Objective Test Problems with Both Simple and Complicated Pareto-Set Shapes / Dhish Kumar Saxena ; Qingfu Zhang ; João A. Duro ; Ashutosh Tiwari
Algorithms / II:
A Preference Based Interactive Evolutionary Algorithm for Multi-objective Optimization: PIE / Karthik Sindhya ; Ana Belen Ruiz ; Kaisa Miettinen
Preference Ranking Schemes in Multi-Objective Evolutionary Algorithms / Marlon Alexander Braun
Interactive Multiobjective Mixed-Integer Optimization Using Dominance-Based Rough Set Approach / Salvatore Greco ; Benedetto Matarazzo ; Roman Stowinski
Very Large-Scale Neighborhood Search for Solving Multiobjective Combinatorial Optimization Problems / Thibaut Lust ; Jacques Teghem ; Daniel Tuyttens
Bilevel Multi-objective Optimization Problem Solving Using Progressively Interactive EMO / Ankur Sinha
Multi-objective Phylogenetic Algorithm: Solving Multi-objective Decomposable Deceptive Problems / Jean Paulo Martins ; Antonio Helson Mineiro Soares ; Danilo Vasconcellos Vargas ; Alexandre Cláudio Botazzo Delbem
Multi-objective Optimization with Joint Probabilistic Modeling of Objectives and Variables / Hossein Karshenas ; Roberto Santana ; Concha Bielza ; Pedro Larrañaga
A Bi-objective Based Hybrid Evolutionary-Classical Algorithm for Handling Equality Constraints / Rituparna Datta
A New Memory Based Variable-Length Encoding Genetic Algorithm for Multiobjective Optimization / LÃvia A. Moreira ; Ricardo H.C.Takahashi
A Concentration-Based Artificial Immune Network for Multi-objective Optimization / Guilherme Palermo Coelho ; Fernando J. Von Zuben
Applications / III:
Bi-objective Portfolio Optimization Using a Customized Hybrid NSGAL-II Procedure / Ralph E. Steuer ; Rajat Tewari ; Rahul Tewari
Aesthetic Design Using Multi-Objective Evolutionary Algorithms / António Gaspar-Cunha ; Dirk Loyens ; Ferrie van Hattum
Adaptive Technique to Solve Multi-objective Feeder Reconfiguration Problem in Real Time Context / Carlos Henrique N. de Resende Barbosa ; Walmir Matos Caminhas ; Joao Antonio de Vasconcelos
Variable Neighborhood Multiobjective Genetic Algorithm for the Optimization of Routes on IP Networks / Renata E.Onety ; Gladston J.P. Moreira ; Oriane M. Neto ; Ricardo H.C. Takahashi
Real-Time Estimation of Optical Flow Based on Optimized Haar Wavelet Features / Jan Salmen ; Lukas Caup ; Christian Igel
Multi-objective Genetic Algorithm Evaluation in Feature Selection / Newton Spolaôr ; Ana Carolina Lorena ; Huei Diana Lee
A Framework for Locating Logistic Facilities with Multi-Criteria Decision Analysis / Gilberto Montibeller ; Hugo Yoshizaki
Lorenz versus Pareto Dominance in a Single Machine Scheduling Problem with Rejection / Atefeh Moghaddam ; Farouk Yalaoui ; Lionel Amodeo
Grace: A Generational Randomized ACO for the Multi-objective Shortest Path Problem / Leonardo C.T. Bezerra ; Elizabeth F.G.Goldbarg ; Luciana S. Buriol ; Marco C. Goldbarg
MCDM / IV:
Modeling Decision-Maker Preferences through Utility Function Level Sets / Luciana R. Pedro ; Ricardo H. C.Takahashi
A MCDM Model for Urban Water Conservation Strategies Adapting Simos Procedure for Evaluating Alternatives Intra-criteria / Marcele Elisa Fontana ; Danielle Costa Morais ; Adiel Teixeira de Almeida
A Multicriteria Decision Model for a Combined Burn-In and Replacement Policy / Cristiano Alexandre VirgÃnio Cavalcante
Applying a MultiCriteria Decision Model So as to Analyse the Consequences of Failures Observed in RCM Methodology / Marcelo Hazin Alencar ; Adiel TeiXeira Almeida
Supplier Selection Based on the PROMETHEE VI Multicriteria Method / Luciana Alencar ; Adiel Almeida
Author Index
Theoretical Issues / I:
Automated Innovization for Simultaneous Discovery of Multiple Rules in Bi-objective Problems / Sunith Bandaru ; Kalyanmoy Deb
A Taxonomy of Online Stopping Criteria for Multi-Objective Evolutionary Algorithms / Tobias Wagner ; Heike Trautmann ; Luis MartÃ
Delivering Requirements Research into Practice: A Keynote to the REFSQ'2011 Conference / Neil Maiden
Security and Sustainability / Session 1:
Supporting Requirements Engineers in Recognising Security Issues / Eric Knauss ; Siv Houmb ; Kurt Schneider ; Shareeful Islam ; Jan Jürjens
Discovering Sustainability Requirements: An Experience Report / Martin Mahaux ; Patrick Heymans ; Germain Saval
Process Improvement and Requirements in Context / Session 2:
Requirements Engineering Process Improvement: An Industrial Case Study / Georgi A. Markov ; Anne Hoffmann ; Oliver Creighton
Requirements for a Nutrition Education Demonstrator / Ing Widya ; Richard Bults ; Rene de Wijk ; Ben Loke ; Nicole Koenderink ; Ricardo Batista ; Val Jones ; Hermie Hermens
Scaling Up Requirements Engineering - Exploring the Challenges of Increasing Size and Complexity in Market-Driven Software Development / Krzysztof Wnuk ; Björn Regnell ; Brian Berenbach
Elicitation / Session 3:
Towards a New Understanding of Small and Medium Sized Enterprises in Requirements Engineering Research / Thorsten Merten ; Kim Lauenroth ; Simone Bürsner
Research Preview: Supporting End-User Requirements Elicitation Using Product Line Variability Models / Deepak Dhungana ; Norbert Seyff ; Florian Graf
Interview Patterns for Requirements Elicitation / Lauri Ann Scheinholtz ; Ilona Wilmont
A Heuristic Approach for Supporting Product Innovation in Requirements Engineering: A Controlled Experiment / Sascha El-Sharkawy ; Klaus Schmid
Models / Session 4:
Satisfying User Needs at the Right Time and in the Right Place: A Research Preview / Nauman A. Qureshi ; Anna Perini
Flexible Sketch-Based Requirements Modeling / Dustin Wüest ; Martin Glinz
Use Cases versus Task Descriptions / Soren Laueson ; Mohammad A. Kuhail
Services / Session 5:
Is It Beneficial to Match Reusable Services Earlier? / Martin Henkel ; Erik Perjons ; Sebastian Adam ; Oezguer Uenalan ; Norman Riegel12:
Embedded and Real-Time Systems / Session 6:
Requirements Engineering for Embedded Systems: An Investigation of Industry Needs / Ernst Sikora ; Bastian Tenbergen ; Klaus Pohl
Applying Restricted English Grammar on Automotive Requirements-Does it Work? A Case Study / Amalinda Post ; Igor Menzel ; Andreas Podelski
Prioritization and Traceability / Session 7:
Agile Requirements Prioritization: What Happens in Practice and What Is Described in Literature / Zornitza Bakalova ; Maya Daneva ; Andrea Herrmann ; Roel Wieringa
Future-Proofing Collections: From Mutable to Persistent to Parallel / Martin Odersky
JIT Compilation and Code Generation
Dynamic Elimination of Overflow Tests in a Trace Compiler / Rodrigo Sol ; Christophe Guillon ; Fernando Magno Quintão Pereira ; Mariza A.S. Bigonha
Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler / Nurudeen Lameed ; Laurie Hendren
SSA-Based Register Allocation with PBQP / Sebastian Buchwald ; Andreas Zwinkau ; Thomas Bersch
Program Analysis
Probabilistic Points-to Analysis for Java / Qiang Sun ; Jianjun Zhao ; Yuting Chen
Faster Alias Set Analysis Using Summaries / Nomair A. Naeem ; Ondrej Lhoták
JPure: A Modular Purity System for Java / David J. Pearce
Tainted Flow Analysis on e-SSA-Form Programs / Andrei Rimsa ; Marcelo d'Amorim
Reversible Computing and Interpreters
Clean Translation of an Imperative Reversible Programming Language / Holger Bock Axelsen
Interpreter Instruction Scheduling / Stefan Brunthaler
Parallelism and High-Performance Computing
Actor-Based Parallel Dataflow Analysis / Jonathan Rodriguez
Using Disjoint Reachability for Parallelization / James Jenista ; Yong hun Eom ; Brian Demsky
Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures / Tom Henretty ; Kevin Stock ; Louis-Noël Pouchet ; Franz Franchetti ; J. Ramanujam ; P. Sadayappan
Subregion Analysis and Bounds Check Elimination for High Level Arrays / Mackale Joyner ; Zoran Budimlic ; Vivek Sarkar
Task and Data Distribution
Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies / Wenjing Ma ; Sriram Krishnamoorthy ; Gagan Agrawal
A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL / Dominik Grewe ; Michael F.P. O'Boyle
Author Index
Invited Talk
Future-Proofing Collections: From Mutable to Persistent to Parallel / Martin Odersky
Uniform Monte-Carlo Model Checking / Johan Oudinet ; Alain Denise ; Marie-Claude Gaudel ; Richard Lassaigne ; Sylvain Peyronnet
Model Checking Büchi Pushdown Systems / Juncao Li ; Fei Xie ; Thomas Ball ; Vladimir Levin
Model Driven Engineering
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior / Claudia Ermel ; Jürgen Gall ; Leen Lambers ; Gabriele Taentzer
Models within Models: Taming Model Complexity Using the Sub-model Lattice / Pierre Kelsen ; Qin Ma ; Christian Glodt
Type-Safe Evolution of Spreadsheets / Jácome Cunha ; Joost Visser ; Tiago Alves ; João Saraiva
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications / Hartmut Ehrig
Systematic Development of UMLsec Design Models Based on Security Requirements / Denis Hatebur ; Maritta Heisel ; Jan Jürjens ; Holger Schmidt
Testing: Theory and New Trends
Theoretical Aspects of Compositional Symbolic Execution / Dries Vanoverberghe ; Frank Piessens
Testing Container Classes: Random or Systematic? / Rohan Sharma ; Milos Gligoric ; Andrea Arcuri ; Gordon Fraser ; Darko Marinov
Seamless Testing for Models and Code / Andreas Holzer ; Visar Januzaj ; Stefan Kugele ; Boris Langer ; Christian Schallhart ; Michael Tautschnig ; Helmut Veith
Testing in Practice
Retrofitting Unit Tests for Parameterized Unit Testing / Suresh Thummalapenta ; Madhuri R. Marri ; Tao Xie ; Nikolai Tillmann ; Jonathan de Halleux
Evolving a Test Oracle in Black-Box Testing / Farn Wang ; Jung-Hsuan Wu ; Chung-Hao Huang ; Kai-Hsiang Chang
Automated Driver Generation for Analysis of Web Applications / Oksana Tkachuk ; Sreeranga Rajan
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts / Tamim Ahmed Khan ; Reiko Heckel
Code Development and Analysis
Incremental Clone Detection and Elimination for Erlang Programs / Huiqing Li ; Simon Thompson
Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? / Bashar Gharaibeh ; Hridesh Rajan ; J. Morris Chang
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity / Qirun Zhang ; Wujie Zheng ; Michael R. Lyu
Search-Based Design Defects Detection by Example / Marouane Kessentini ; Houari Sahraoui ; Mounir Boukadoum ; Manuel Wimmer
Empirical Studies
An Empirical Study on Evolution of API Documentation / Lin Shi ; Hao Zhong ; Mingshu Li
An Empirical Study of Long-Lived Code Clones / Dongxiang Cai ; Miryung Kim
Where the Truth Lies: AOP and Its Impact on Software Modularity / Adam Przybylek
Author Index
Invited Talk
The Dependability of Complex Socio-technical Systems / Ross Anderson
Automated Learning of Probabilistic Assumptions for Compositional Reasoning / Lu Feng ; Marta Kwiatkowska ; David Parker
Train Tracking and Shadowing Estimation Based on Received Signal Strength / Hadi Noureddine ; Damien Castelain ; Ramesh Pyndiah
Delivering Broadband Internet Access for High Speed Trains Passengers Using an Innovative Network Mobility Solution / Bernadette Villeforceix
Measurement and Analysis of the Direct Train to Train Propagation Channel in the 70 cm UHF-Band / Andreas Lehner ; Cristina Rico GarcÃa ; Thomas Strang ; Oliver Heirich
The MIH (Media Independent Handover) Contribution to Mobility Management in a Heterogeneous Railway Communication Context: A IEEE802.11/802.16 Case Study / Marina Aguado ; Jasone Astorga ; Jon Matias ; Maider Huarte
VANET Architectures and Protocol Stacks: A Survey / Sajjad Akbar Mohammad ; Asim Rasheed ; Amir Qayyum
Behavior Specification of a Red-Light Violation Warning Application - An Approach for Specifying Reactive Vehicle-2-X Communication Applications / Sebastian Röglinger ; Christian Facchi
Wireless ProtocoI Design for a Cooperative Pedestrian Protection System / Dirk Lill ; Manuel Schappacher ; Shohidul Islam ; Axel Sikora
Driver-Centric VANET Simulation / Pedro Gomes ; Cristina Olaverri-Monreal ; Michel Ferreira ; LuÃs Damas
Simulative Evaluation of the Potential of Car2X-Communication in Terms of Efficiency / Benno Schweiger ; Philipp Ehnert ; Johann Schlichter
Perfonnance Study of an In-Car Switched Ethernet Network without Prioritization / Hyung-Taek Lim ; Kay Weckemann ; Daniel Herrscher
Degradation of Communication Range in VANETs Caused by Interference 2.0 - Real-World Experiment / Robert K. Schmidt ; Bernhard Kloiber ; Florian Schüttler ; Thomas Sterang
Real-World Measurements of Non-Line-Of-Sight Reception Quality for 5.9GHz IEEE 802.111' at Intersections / Thomas Mangel ; Matthias Michl ; Oliver Klemp ; Hannes Hartenstein
Interoperability Testing Suite for C2X Communication Components / Fabian de Ponte Müller ; Juan MarÃa Reveriego Sierra ; Matthias Röckl
Towards Standardization of In-Cal Sensors / Zubair Nabi ; Atif Alvi ; Rashid Mehmood
Secure Automotive On-Board Protocols: A Case of Over-the-Air Firmware Updates / Muhammad Sabir Idrees ; Hendrik Schweppe ; Yues Roudier ; Marko Wolf ; Dirk Scheuermann ; Olaf Hennzger
Author Index
Keynote
Requirements for Wireless Technology on Rolling Stock / Uwe Kucharzyk
A Comparison of Three Algorithms for Approximating the Distance Distribution in Real-World Graphs / Pierluigi Crescenzi ; Roberto Grossi ; Leonardo Lanzi ; Andrea Marino
Exploiting Bounded Signal Flow for Graph Orientation Based on Cause-Effect Pairs / Britta Dorn ; Falk Hüffner ; Dominikus Krüger ; Rolf Niedermeier ; Johannes Uhlmann
On Greedy and Submodular Matrices / Ulrich Faigle ; Walter Kern ; Britta Peis
MIP Formulations for Flowshop Scheduling with Limited Buffers / Janick V. Frasch ; Sven Oliver Krumke ; Stephan Westphal
A Scenario-Based Approach for Robust Linear Optimization / Marc Goerigk ; Anita Schöbel
Conflict Propagation and Component Recursion for Canonical Labeling / Tommi Junttila ; Petteri Kaski
3-Hittting Set on Bounded Degree Hypergraphs: Upper and Lower Bounds on the Kernel Size / Iyad A. Kanj ; Fenghui Zhang
Improved Taxation Rate for Bin Packing Games / Xian Qiu
Multi-channel Assignment for Communication in Radio Networks / Dariusz R. Kowalski ; Mariusz A. Rokicki
Computing Strongly Connected Components in the Streaming Model / Luigi Laura ; Federico Santaroni
Improved Approximation Algorithms for the Max-Edge Coloring Problem / Giorgio Lucarelli ; Ionnis Milis
New Bounds for Old Algorithms: On the Average-Case Behavior of Classic Single-Source Shortest-Paths Approaches / Ulrich Meyer ; Andrei Negoescu ; Volker Weichert
An Approximative Criterion for the Potential of Energetic Reasoning / Timo Berthold ; Stefan Heinz ; Jens Schulz
Speed Scaling for*Energy and Performance with Instantaneous Parallelism / Hongyang Sun ; Yuxiong He ; Wen-Jing Hsu
Algorithms for Scheduling with Power Control in Wireless Networks / Tigran Tonoyan
Implementation of Symmetric Algorithms on a Synthesizable 8-Bit Microcontroller Targeting Passive RFID Tags / Thomas Plos ; Hannes Gro? ; Martin Feldhofer
Reconfigurable Computing for High Performance Networking Applications / Gordon Brebner
Biologically-Inspired Massively-Parallel Architectures: A Reconfigurable Neural Modelling Platform / Steve Furber
Reconfigurable Accelerators I
A Reconfigurable Audio Beamforming Multi-Core Processor / Dimitris Theodoropoulos ; Georgi Kuzmanov ; Georgi Gaydadjiev
A Regular Expression Matching Circuit Based on a Decomposed Automaton / Hiroki Nakahara ; Tsutomu Sasao ; Munehiro Matsuura
Design and Implementation of a Multi-Core Crypto-Processor for Software Defined Radios / Michael Grand ; Lilian Bossuet ; Bertrand Le Gal ; Guy Gogniat ; Dominique Dallet
Design Tools
Application Specific Memory Access, Reuse and Reordering for SDRAM / Samuel Bayliss ; George A. Constantinides
Automatic Generation of FPGA-Specific Pipelined Accelerators / Christophe Alias ; Bogdan Pasca ; Alexandru Plesco
HLS Tools for FPGA: Faster Development with Better Performance / Alexandre Cornu ; Steven Derrien ; Dominique Lavenier
Posters 1
A (Fault-Tolerant)2 Scheduler for Real-Time Hw Tasks / Xabier Iturbe ; Khaled Benkrid ; Tughrul Arslan ; Mikel Azkarate ; Imanol Martinez
A Compact Gaussian Randon Number Generator for Small Word Lengths / Subhasis Das ; Sachin Patkar
Accurate Floating Point Arithmetic through Hardware Error-Free Transformations / Manouk V. Manoulkian
Active storage Networks for Acceleratinog K-Means Data Clustering / Janardhan Singaraju ; John A. Chandy
An FPGA Implementation for Texture Analysis Considering the Real-Time Requirements of Vision-Based Systems / Mario-Alberto ; Ibarra-Manzano ; Dora-Luz ; Almanza-Ojeda
CReAMS: An Embedded Multiprocessor Platform / Mateus B. Rutzig ; Antonio Carlos S. Beck ; Luigi Carro
Dataflow Graph Partitioning for Optimal Spatio-Temporal Computation on a Coarse Grain Recofigurable Architecture / Ratna Krishnamoorthy ; Keshavan Varadarajan ; Masahiro Fujita ; Mythri Alle ; S.K. Nandy ; Ranjani Narayan
Reconfigurable Processors
A Pipeline Interleaved Heterogeneous SIMD Soft Processor Array Architecture for MIMO-OFDM / Xuezheng Chu ; John McAlister ; Roger Woods
Design Implementation, and Verification of an Adaptable Processor in Lava HDL / Stefan Schulze ; Sergei Sawitzki
Towards an Adaptable Multiple-ISA Reconfigurable Processor / Jair Fajardo Junior ; Antonio Carlos S. ; Beck
Applications
FPGA-Based Cherenkov Ring Rcognition in Nuclear and Particle Physics Experiments / Ming Liu ; Zhonghai Lu ; Wolfgang Kuehn ; Axel Jantsch
Waync Luk / Yoshiki Yamaguchi ; Hung Kuen Tsoi
Index to Constant Weight Codeword Converter / Jon T. Butler
On-Chip Ego-Motion Estimation Based on Optical Flow / Mauricio Vanegas ; Leonardo Rubio ; Matteo Tomasi ; Javier Diaz ; Eduardo Ros
Device Architecture
Comparison between Heterogeneous Mesh-Based and Tree-Based Application Specific FPGAa / Umer Farooq ; Husain Parvez ; Zied Marrakchi ; Habib Mehrez
Dynamic VDD Switching Technique and Mapping Optimization in Dynamically Reconfigurable Processor for Efficient Energy Reduction / Tatsuya Yamamoto ; Kazuei Hironaka ; Yuki Hayakawa ; Masayuki Kimura ; Hideharu Amano ; Kimiyoshi Usami
MEMS Interleaving Read Operation of a Holographic Memory for Optically Reconfigurable Gate Arrays / Hironobu Morita ; Minoru Watanabe
Posters 2
FaRM: Fast Reconfiguration Manager for Reducing Reconfiguration Time Overhead on FPGA / François Duhem ; Fabrice Muller ; Philippe Lorenzini
Feasibility Analysis of Reconfigurable Computing in Low-Power Wireless Sensor Applications / Andreas Engel ; Björn Liebig ; Andreas Koch
Hierarchical Optical Flow Estimation Architecture Using Color Cues / Francisco Barranco
Magnetic Look-Up Table (MLUT) Featuring Radiation Hardness, High Performance and Low power / Yahya Lakys ; Weisheng Zhao ; Jacques-Olivier Klein ; Claude Chappert
Reconfigurable Stream-Processing Architecture for Sparse Linear Solvers / Kevin Cunningham ; Prawat Naguajara
The Krawczyk Algorithm: Rigorous Bounds for Linear Equation Solution on an FPGA / Christophe Le Lann ; David Boland ; George Constantinides
A Dynamic Reconfigurable CPLD Architecture for Structured ASIC Technology / Traian Tulbure
Reconfigurable Accelerators II
FPGA Accelerated Parallel Sparse Matrix Factorization for Circuit Simulations / Wei Wu ; Yi Shan ; Xiaoming Chen ; Yu Wang ; Huazhong Yang
FPGA Optimizations for a Pipelined Floating-Point Exponential Unit / Nikolaos Alachiotis ; Alexandros Stamatakis
NetStage/DPR: A Self-adaptable FPGA Platform for Application-Level Network Security / Sascha Muhlbach
Methodology and Simulation
A Correlation Power Analysis Attack against Tate Pairing on FPGA / Weibo Pan ; William P. Marnane
From Plasma to BeeFarm: Design Experience of an FPGA-Based Multicore Prototype / Nehir Sonmez ; Oriol Arcas ; Gokhan Sayilar ; Osman S. Unsal ; Adrián Cristal ; Ibrahim Hur ; Satnam Singh ; Mateo Valero
System Architecture
Architectural Support for Multithreading on Reconfigurable Hardware / Pavel G. Zaykov
High Performance Programmable FPGA Overlay for Digital Signal Processing / Seamas McGettrick ; Kunjan Patel ; Chris Bleakley
Secure Virtualization within a Multi-processor Soft-Core System-en-Chip Architecture / Alexander Biedermann ; Marc Stöttinger ; Lijing Chen ; Sarin A.Huss
Author Index
Plenary Talks
Reconfigurable Computing for High Performance Networking Applications / Gordon Brebner
Biologically-Inspired Massively-Parallel Architectures: A Reconfigurable Neural Modelling Platform / Steve Furber
Lessons Learned from Using Design Patterns in Industry Projects / Dirk Riehle
"Choose Your Own Architecture" - Interactive Pattern Storytelling / James Siddle
Experiences in Using Patterns to Support Process Experts in Process Description and Wizard Creation / Birgit Zimmermann ; Christoph Reusing ; Ralf Steinmetz
Modifiers: Increasing Richness and Nuance of Design Pattern Languages / Gwendolyn L. Kolfschoten ; Robert O. Briggs ; Stephan Lukosch
Patterns for Effectively Documenting Frameworks / Ademar Aguiar ; Gabriel David
Author Index
Lessons Learned from Using Design Patterns in Industry Projects / Dirk Riehle
"Choose Your Own Architecture" - Interactive Pattern Storytelling / James Siddle
Experiences in Using Patterns to Support Process Experts in Process Description and Wizard Creation / Birgit Zimmermann ; Christoph Reusing ; Ralf Steinmetz
Deformable Object Modelling and Matching / Tim F. Coates
Geometry and Correspondenc
New Efficient Solution to the Absolute Pose Problem for Camera with Unknown Focal Length and Radial / Martin Bujnak ; Zuzana Kukelova ; Tomas Pajdla
Efficient Large-Scale Stereo Matching / Andreas Geiger ; Martin Roser ; Raquel Urtasun
Towards Full 3D Helmholtz Stereovision Algorithms / Amaël Delaunoy ; Emmanuel Prados ; Peter N. Belhumeur
Image-Based 3D Modeling via Cheeger Sets / Eno Töppe ; Martin R. Oswald ; Daniel Oremers ; Carsten Rother
Network Connectivity via Inference over Curvature-Regularizing Line Graphs / Maxwell D. Collins ; Vikas Singh ; Andrew L. Alexander
Computational Photography and Low Level Vision
Image and Video Decolorization by Fusion / Codruta O. Ancuti ; Cosmin Ancuti ; Chtis Hermans ; Philippe Bekaer
Video Temporal Super-Resolution Based on Self-similarity / Mihoko Shimano ; Takahiro Okabe ; ImaTi Sato ; Yoichi Sato
Temporal Super Resolution from a Single Quasi-periodic Image Sequence Based on Phase Registration / Yasushi Makihara ; Atsushi MoTi ; Yasushi Yagi
Solving MRFs with Higher-Order Smoothness Priors Using Hierarchical Gradient Nodes / Dongjin Kwonl Kyong Joon Lee ; Il Dong Yun ; Sang Uk Lee
An Efficient RAN SAC for 3D Object Recognition in Noisy and Occluded Scenes / Chavdar Papazov ; Darius Burschka
Detection and Recognition I
Change Detection for Temporal Texture in the Fourier Domain / Alexia Briassouli ; Loannis Kompatsiaris
Stream-Based Active Unusual Event Detection / Chen Change Loy ; Tao Xiang ; Shaogang Gang
Asymmetric Totally-Corrective Boosting for Real-Time Object / Peng Wang ; Chunhua Shen ; Nick Barnes ; Hang Zheng ; Zhang Ren
The Application of Vision Algorithms to Visual Effects Production / Sebastian System
Applied Computer Vision
Automatic Workflow Monitoring in industrial Environments / Galina Veres ; Helmut Grabner ; Lee Middleton ; Luc Van Gool
Context-Based Support Vector Machines for Interconnected Image Annotation / Hichem Sahbi ; Xi Li
Finding Human poses in Videos Using Concurrent Matching and Segmentation / Hao Jiang
Modelling Sense Disambiguation of Human Pose: Recognizing Action at a Distance by Key Poses / Snehasis Mukherjee ; Sujoy Kumar Biswas ; Dipti Prasad Mukherjee
Social Interactive Human Video Synthesis / Dumebi Okwechime ; Eng-Jon Ong ; Andrew Gilbert ; Richard Bowden
Tracking and Categorization
Efficient Visual Object Tracking with Online Nearest Neighbor Classifier / Steve Gu ; Ying Zheng ; Carlo Tomasi1:
Robust Tracking with Discriminative Ranking Lists / Ming Tang ; Xi Peng ; Duowen Chen
Introduction to the First International Workshop on Performance Assessment and Auditing in Service Computing (PAASC 2010) / Claudia-Melania Chituc
A Case Study on Optimizing Web Service Monitoring Configurations / Garth Heward ; Jun Han ; Ingo Müller ; Jean-Guy Schneider ; Steve Versteeg
Configuration Decision Making Using Simulation-Generated Data / Michael Smit ; Eleni Stroulia
On the Formal Specification of Regulatory Compliance: A Comparative Analysis / Amal Elgammal ; Oktay Turetken ; Willem-Jan van den Heuvel ; Mike Papazoglou
Performance and Cost Assessment of Cloud Services / Paul Brebner ; Anna Liu
Towards Assessing Performance in Service Computing
WESOA 2010 Workshop
Adaptation of Web Services Based on QoS Satisfaction / Christian Zirpins ; George Feuerlicht ; Winfried Lamersdorf ; Guadalupe Ortiz ; Barbara Pernici ; S. Hossein Siadat
CAGE: Customizable Large-Scale SOA Testbeds in the Cloud / Lukasz Juszczyk ; Daniel Schall ; Ralph Mietzner ; Schahram Dustdar ; Frank Leymann
Engineering High Performance Service-Oriented Pipeline Applications with MeDICi / Ian Gorton ; Adam Wynne ; Yan Liu
Facilitating Enterprise Service Discovery for Non-technical Business Users / Marcus Roy ; Basem Suleiman ; Ingo Weber
Hypermedia-Driven RESTful Service Composition / Rosa Alarcon ; Erik Wilde ; Jesus Bellido
Process Restructuring in the Presence of Message-Dependent Variables / Thomas S. Heinze ; Wolfram Amme ; Simon Moser
Simple Metric for Assessing Quality of Service Design
Wisdom-Aware Computing: On the Interactive Recommendation of Composition Knowledge / Soudip Roy Chowdhury ; Carlos RodrÃguez ; Florian Daniel ; Fabio Casati
SEE 2010 Workshop
Introduction to the First International Workshop on Services, Energy, and Ecosystem (SEE 2010) / G.R. Gangadharan ; Patricia Lago ; San Murugesan
A Dynamic Power Management Controller for Optimizing Servers' Energy Consumption in Service Centers / Tudor Cioara ; Ioan Salomie ; Ionut Anghel ; Iulian Chira ; Alexandru Cocian ; Ealan Henis ; Ronen Kat
An Energy Aware Context Model for Green IT Service Centers / Daniel Moldovan ; Georgiana Copil ; Pierluigi Plebani
Creating Environmental Awareness in Service Oriented Software Engineering / Toon Jansen
Towards Green Business Process Reengineering / Alexander Nowak
Business Process Improvement in Abnoba / Konstantin Hoesch-Klohe ; Aditya Ghose
Towards a Service-Oriented Energy Market: Current State and Trend / Giuliano Andrea Pagani ; Marco Aiello
Event-Driven Services: Integrating Production, Logistics and Transportation / A. Buchmann ; H.-Chr. Pfohl ; S. Appel ; T. Freudenreich ; S. Frischbier ; I. Petrov ; C. Zuber
Preselection of Electronic Services by Given Business Services Based on Semantic Concept Correspondence Applied for the Logistics Domain / Rolf Kluge
Realizing Process Modifications in Container Terminals with SOA - A Prototype / Thomas Will ; Thorsten Blecker
Author Index
PAASC 2010 Workshop
Introduction to the First International Workshop on Performance Assessment and Auditing in Service Computing (PAASC 2010) / Claudia-Melania Chituc
A Case Study on Optimizing Web Service Monitoring Configurations / Garth Heward ; Jun Han ; Ingo Müller ; Jean-Guy Schneider ; Steve Versteeg
Operating a Network Link at 100% / Changhyun Lee ; DK Lee ; Yung Yi ; Sue Moon
Dynamics of Prefix Usage at an Edge Router / Kaustubh Gadkari ; Daniel Massey ; Christos Papadopoulos
Evolution of Cache Replacement Policies to Track Heavy-Hitter Flows / Martin Zadnik ; Marco Canini
NAT Usage in Residential Broadband Networks / Gregor Maier ; Fabian Schneider ; Anja Feldmann
The Efficacy of Path Loss Models for Fixed Rural Wireless Links / Caleb Phillips ; Scott Raynel ; Jamie Curtis ; Sam Bartels ; Douglas Sicker ; Dirk Grunwald ; Tony McGregor
Dissecting 3G Uplink Delay by Measuring in an Operational HSPA Network / Markus Laner ; Philipp Svoboda ; Eduard Hasenleithner ; Markus Rupp
On the Potential of Fixed-Beam 60 GHz Network Interfaces in Mobile Devices / Kishore Ramachandran ; Ravi Kokku ; Rajesh Mahindra ; Kenichi Maruhashi
On the Feasibility of Prefetching and Caching for Online TV Services: A Measurement Study on Hulu / Dilip Kumar Krishnappa ; Samamon Khemmarat ; Lixin Gao ; Michael Zink
On the Feasibility of Bandwidth Detouring / Thorn Haddow ; Sing Wang Ho ; Jonathan Ledlie ; Cristian Lumezanu ; Moez Draief ; Peter Pietzuch
Can Network Characteristics Detect Spam Effectively in a Stand-Alone Enterprise? / Tu Ouyang ; Soumya Ray ; Michael Rabinovich ; Mark Allman
Detecting and Analyzing Automated Activity on Twitter / Chao Michael Zhang ; Vern Paxson
Parameterized algorithams for the independent set problem in some hereditary graph classes / Konrad Dabrowski ; Vadim Lozin ; Haiko Müller ; Dieter Routenbach
On the maximal Sum of Exponents of Runs in a String / Maxime Crochemore ; Marcin Kubica ; Jakub Radoszewski ; Wojciech Rytter ; Tomasz Walen
Path-Based Supports for Hypergraphs / Ulrik Brandes ; Sabine Cornelsen ; Barbara Pampel ; Arnaud Sallaberry
On Improved Exact Algorithms for L(2, 1)-Labeling of Graphs / Konstanty Junosza-Szaniawski ; Pawel Rz&acedil;zewski
Thread graphs, linear Rank-Width and Their Algorithmic Applications / Robert Ganian
Minimum Number of Holes in Unavoidable Sets of Partial Words of Size Three / Francine Blanchet-Sadri ; Bob Chen ; Aleksandar Chakarav
Shortest paths between shortest paths and independent sets / Marcin Kaninski ; Paul Medvedev ; Martin Milanič
Faster Bit-Parrallel Algorithams for Unordered Pseudo-tree Matching and Tree Homeomorphism / Yusaku kaneta ; Hiroki Arimura
Dichotomy for coloring of dart graphs / Martin Kochol ; Riste ˇSkrekovski
Worst case efficient single and multiple string matching in the RAM model / Djamal Belazzougui
The (2,1)-Total Labelimg Number of Outerplanar Graphs is at most Δ + 2 / Toru Hasunuma ; Toshimasa Ishn ; Hirotaka Ona ; Yushi Uno
Upper and lower I/O Bounds for Pebbling r-pyramids / Desh Ranjan ; John Savage ; Mohammad Zubair
Single Parameter FPT-Algorithms for Non-trivial Games / Vladimir Estimil-Castro ; Mahdi Parsa ; 121
The Complexity Status of Problems Related to Sparsest Cuts / Paul Bonsma ; Hajo Broersma ; Viresh Patel ; Artem Pyatkin
On Approximation Complexity of Metric Dimension Problem / Mathias Hauptmann ; Richard Schmied ; Claus Viehmann
Collision-Free Routing in Sink-Centric Sensor Networks with Coarse-Grain Coordinates / Alfredo Navarra ; Cristina M. Pinotti
Complexity of Most Vital Nodes for Independent Set in Graphs Related to Tree Structures / Cristina Bazgan ; Sonia Toubaline ; Zsolt Tuza
Computing Role Assignments of Proper Interval Graphs in Polynomial Time / Pinar Heggernes ; Pim van 't Hof ; Daniel Paulusma
Efficient Connectivity Testing of Hypercubic Networks with Faults / Tomáš Dvorák ; Jirí Fink ; Petr Gregor ; Václav Koubek ; Tomasz Radrik
Reductions of Matrices Associated with Nowhere-Zero flows / Nad'a Krivonáková ; Silvia Smejová ; Katarína Šranková
Blocks of Hypergraphs: Applied to Hypergraphs and Outerplanarity / Arnaud sallaberry
Testing the Simultaneous Embeddability of Two Graphs Whose intersection Is a Biconnected Graph or a Tree / Patrizio Angelini ; Giuseppe Di Battista ; Fabrizio Frati ; Maurizio Patrignani ; Ignaz Rutter
Skip Lift: A Probabilistic Alternative to Red-Black Trees / Prosenjit Bose ; Karim Douïeb Douieb ; Pat Morin
On a relationship between Completely Separating Systems and Antimagic labeling of Regular Graphs / Oudone Phanalasy ; Mirka Miller ; Leanne Rylands ; Paulette Lieby
Parameterized Complexity of k-Anonymity: Hardness and Tractability / Paola Bonizzoni ; Gianluca Della Vedova ; Riccardo Dondi ; Yuri Pirola
On fast Enummeration of Pseudo Bicliques / Zareen Alamgir ; Saira Karim ; Syed Husnine
Efficient Chaining of seeds in Ordered Trees / Julien Allali ; Cedric Chauue ; Pascal Ferraro ; Anne-Laure Gaillard
On the Computational Complexity of Degenerate Unit Distance Representations of Graphs / Boris Horvat ; Jan Kratochvíl ; Tomož Pisanski
Graphs of Separability at Most Two: Structural Characterizations and Their Consequences / Ferdinando Cicalese
On Antimagic Labing for Generalized Web and Flower Graphs / Joe Ryan
Chains-into-Bins processes / Tugkan Batu ; Petra Berenbrink ; Colin Cooper
Complexity of Locality Injective Homomorphism to the Theta Graphs / Bernard Lidický ; Marek Tesar
Ranking and Drawing in Suberponential Time / Henning Fernau ; Fedor V. Fomin ; Daniel Lokshtanon ; Matthias Mnich ; Geevarghese Philip ; Saket Saurabh
Efficient Reconstruction of RC-Equivalent strings / Péter L. Erdos ; Zsuzsanna Lipták
Improved Points Approximation Algorithms Based on Simplical Thickness Data Structures / Danny Z. Chen ; Haitao Wang
The Cover Time of Cartesian Product Graphs / Mohammed Abdullah ; Tomasz Radzik
Dictionary-Symbolwise Flexible Parsing / Laura Giambruno ; Alessio Langiu ; Filippo Mignosi ; Antonio Restivo
Regular Language Constrained Sequence Alignment Eevisited / Gregory Kucherov ; Tomar Pinhas ; Michal Ziv-Ukelson
Author index
Parameterized algorithams for the independent set problem in some hereditary graph classes / Konrad Dabrowski ; Vadim Lozin ; Haiko Müller ; Dieter Routenbach
On the maximal Sum of Exponents of Runs in a String / Maxime Crochemore ; Marcin Kubica ; Jakub Radoszewski ; Wojciech Rytter ; Tomasz Walen
Path-Based Supports for Hypergraphs / Ulrik Brandes ; Sabine Cornelsen ; Barbara Pampel ; Arnaud Sallaberry
The Evolution of Conceptual Modeling Techniques / Section I:
Real-World Semantics of Conceptual Models / Rod Wieringa
Templates in Domain Modeling - A Survey / Christian Kop ; Heinrich C. Mayr
Integrity Constraints in (Conceptual) Database Models / Bernhard Thalheim
Modeling Techniques for Multi-level Abstraction / Bernd Neumayr ; Michael Schrefl
Random Thoughts on Multi-level Conceptual Modelling / Brian Henderson-Sellers
On the Evolution of Quality Conceptualization Techniques / Vladimir A. Shekhovtsov
Extensions of Conceptual Modeling / Section II:
A Web of Knowledge: A Conceptual-Modeling Perspective / David W. Embley ; Stephen W. Liddle ; Cui Tao
Service-Based Semantic Collaboration in Networked Systems: A Conceptual Perspective / Devis Bianchini ; Valeria De Antonellis ; Michele Melchiori
Conceptual Modeling Approaches for Dynamic Web Service Composition / Georg Grossmann ; Rajesh Thiagarajan ; Markus Stumptner
The Dynamics of Process Modeling: New Directions for the Use of Events and Rules in Service-Oriented Computing / Susan D. Urban ; Le Gao ; Rajiv Shrestha ; Andrew Courter
Exception Handling in Web Service Processes / Dietmar Jannach ; Alexander Gut
Leveraging Model-Based Tool Integration by Conceptual Modeling Techniques / Gerti Kappel ; Manuel Wimmer ; Werner Retschitzegger ; Wieland Schwinger
New Directions for Conceptual Modeling / Section III:
Data Model for Scientific Models and Hypotheses / Fabio Porto ; Stefano Spaccapietra
Model-Based Engineering Applied to the Interpretation of the Human Genome / Oscar Pastor ; Ana M. Levin ; Matilde Celma ; Juan Carlos Casamayor ; Aremy Virrueta ; Luis E. Eraso
Author Index
The Evolution of Conceptual Modeling Techniques / Section I:
Real-World Semantics of Conceptual Models / Rod Wieringa
Templates in Domain Modeling - A Survey / Christian Kop ; Heinrich C. Mayr
The Inherent Complexity of Transactional Memory and What to Do about It (Invited Talk) / Hagit Attiya
Sustainable Ecosystems: Enabled by Supply and Demand Management (Invited Talk) and IEEE Fellow / Chandrakant D. Patel
Unclouded Vision (Invited Talk) / Jon Crowcroft ; Anil Madhavapeddy ; Malte Schwarzkopf ; Theodore Hong ; Richard Mortier
Generating Fast Indulgent Algorithms / Dan Alistarh ; Seth Gilbert ; Rachid Guerraoui ; Corentin Travers
An Efficient Decentralized Algorithm for the Distributed Trigger Counting Problem / Venkatesan T. Chakaravarthy ; Anamitra R. Choudhury ; Vijay K. Garg ; Yogish Sabharwal
Deterministic Dominating Set Construction in Networks with Bounded Degree / Roy Friedman ; Alex Kogan
PathFinder: Efficient Lookups and Efficient Search in Peer-to-Peer Networks / Dirk Bradler ; Lachezar Krumov ; Max Mühlhäuser ; Jussi Kangasharju
Single-Version STMs Can Be Multi-version Permissive (Extended Abstract) / Eshcar Hillel
Correctness of Concurrent Executions of Closed Nested Transactions in Transactional Memory Systems / Sathya Peri ; Krishnamurthy Vidyasankar
Temporal Specifications for Services with Unboundedly Many Passive Clients / Shamimuddin Sheerazuddin
Relating L-Resilience and Wait-Freedom via Hitting Sets / Eli Gafni ; Petr Kuznetsov
Load Balanced Scalable Byzantine Agreement through Quorum Building, with Full Information / Valerie King ; Steven Lonargan ; Jared Saia ; Amitabh Trehan
GoDisco: Selective Gossip Based Dissemination of Information in Social Community Based Overlays / Anwitaman Datta ; Rajesh Sharma
Mining Frequent Subgraphs to Extract Communication Patterns in Data-Centres / Maitreya Natu ; Vaishali Sadaphal ; Sangameshwar Patil ; Ankit Mehrotra
On the Hardness of Topology Inference / H.B. Acharya ; M.G. Gouda
An Algorithm for Traffic Grooming in WDM Mesh Networks Using Dynamic Path Selection Strategy / Sukanta Bhattacharya ; Tanmay De ; Ajit Pal
Analysis of a Simple Randomized Protocol to Establish Communication in Bounded Degree Sensor Networks / Bala Kalyanasundaram ; Mahendran Velauthapillai
Reliable Networks with Unreliable Sensors / Srikanth Sastry ; Tsvetomira Radeva ; Jianer Chen ; Jennifer L. Welch
Energy Aware Fault Tolerant Routing in Two-Tiered Sensor Networks / Ataul Bari ; Arunita Jaekel ; Subir Bandyopadhyay
Scheduling Randomly-Deployed Heterogeneous Video Sensor Nodes for Reduced Intrusion Detection Time / Congduc Pham
An Integrated Routing and Medium Access Control Framework for Surveillance Networks of Mobile Devices / Nicholas Martin ; Yamin Al-Mousa ; Nirmala Shenoy
Security in the Cache and Forward Architecture for the Next Generation Internet / G.C. Hadjichristofi ; C.N. Hadjicostis ; D. Raychaudhuri
Characterization of Asymmetry in Low-Power Wireless Links: An Empirical Study / Prasant Misra ; Nadeem Ahmed ; Diethelm Ostry ; Sanjay Jha
Model Based Bandwidth Scavenging for Device Coexistence in Wireless LANs / Anthony Plummer Jr. ; Mahmoud Taghizadeh ; Subir Biswas
Minimal Time Broadcasting in Cognitive Radio Networks / Chanaka J. Liyana Arachchige ; S. Venkatesan ; R. Chandrasekaran ; Neeraj Mittal
Traffic Congestion Estimation in VANETs and Its Application to Information Dissemination / Rayman Preet Singh ; Arobinda Gupta
A Tiered Addressing Scheme Based on a Floating Cloud Internetworking Model / Yoshihiro Nozaki ; Hasan Tuncer
A Realistic Framework for Delay-Tolerant Network Routing in Open Terrains with Continuous Churn / Veeramani Mahendran ; Sivaraman K. Anirudh ; C. Siva Ram Murthy
Author Index
The Inherent Complexity of Transactional Memory and What to Do about It (Invited Talk) / Hagit Attiya
Sustainable Ecosystems: Enabled by Supply and Demand Management (Invited Talk) and IEEE Fellow / Chandrakant D. Patel
Unclouded Vision (Invited Talk) / Jon Crowcroft ; Anil Madhavapeddy ; Malte Schwarzkopf ; Theodore Hong ; Richard Mortier
A Power-Aware Online Scheduling Algorithm for Streaming Applications in Embedded MPSoC / Tanguy Sassolas ; Nicolas Ventroux ; Nassima Boudouani ; Guillaume Blanc
An Automated Framework for Power-Critical Code Region Detection and Power Peak Optimization of Embedded Software / Christian Bachmann ; Andreas Genser ; Christian Steger ; Reinhold Wei? ; Josef Haid
System Level Power Estimation of System-on-Chip Interconnects in Consideration of Transition Activity and Crosstalk / Martin Gag ; Tim Wegner ; Dirk Timmermann
Residue Arithmetic for Designing Low-Power Multiply-Add Units / Ioannis Kouretas ; Vassilis Paliouras
Circuit Techniques 1 / Session 2:
An On-chip Flip-Flop Characterization Circuit / Abhishek Jain ; Andrea Veggetti ; Dennis Crippa ; Pierluigi Rolandi
A Low-Voltage Log-Domain Integrator Using MOSFET in Weak Inversion / Lida Ramezani
Physical Design Aware Comparison of Flip-Flops for High-Speed Energy-Efficient VLSI Circuits / Massimo Alioto ; Elio Consoli ; Gaetano Palumbo
On Line Power Optimization of Data Flow Multi-core Architecture Based on Vdd-Hopping for Local DVFS / Pascal Vivet ; Edith Beigne ; Hugo Labreton ; Nacer-Eddine Zergainoh
Self-Timed SRAM for Energy Harvesting Systems / Abdullah Baz ; Delong Shang ; Fei Xia ; Alex Yakovlev
L1 Data Cache Power Reduction Using a Forwarding Predictor / P. Carazo ; R. Apolloni ; F. Castro ; D. Chaver ; L. Pinuel ; F. Tirado
Self-Timed Circuits / Session 4:
Statistical Leakage Power Optimization of Asynchronous Circuits Considering Process Variations / Mohsen Raji ; Alireza Tajary ; Behnam Ghavami ; Hossein Pedram ; Hamid R. Zarandi
Hermes-A - An Asynchronous NoC Router with Distributed Routing / Julian Pontes ; Matheus Moreira ; Fernando Moraes ; Ney Galazans
Practical and Theoretical Considerations on Low-Power Probability-Codes for Networks-on-Chip / Alberto Garcia-Ortiz ; Leandro S. Indrusiak
Process Variation / Session 5:
Impact of Process Variations on Pulsed Flip-Flops: Yield Improving Circuit-Level Techniques and Comparative Analysis / Bahman Kheradmand-Boroujeni ; Christian Piguet ; Yusuf Leblebici ; Marco Lanuzza ; Raffaele De Rose ; Fabio Frustaci ; Stefania Perri ; Pasquale Corsonello
Transistor-Level Gate Modeling for Nano CMOS Circuit Verification Considering Statistical Process Variations / Qin Tang ; Amir Zjajo ; Michel Berkelaar ; Nick van der Meijs
White-Box Current Source Modeling Including Parameter Variation and Its Application in Timing Simulation / Christoph Knoth ; Irina Eichwald ; Petra Nordholz ; Ulf Schlichtmann
Circuit Techniques 2 / Session 6:
Controlled-Precision Pure-Digital Square-Wave Frequency Synthesizer / Abdelkrim Kamel Oudjida ; Ahmed Liacha ; Mohamed Lamine Berrandjia ; Rachid Tiar
An All-Digital Phase-Locked Loop with High Resolution for Local On-Chip Clock Synthesis / Oliver Schrape ; Frank Winkler ; Steffen Zeidler ; Markus Petri ; Eckhard Grass ; Ulrich Jagdhold
Clock Network Synthesis with Concurrent Gate Insertion / Jingwei Lu ; Wing-Kai Chow ; Chiu-Wing Sham
A Power-Aware Online Scheduling Algorithm for Streaming Applications in Embedded MPSoC / Tanguy Sassolas ; Nicolas Ventroux ; Nassima Boudouani ; Guillaume Blanc
An Automated Framework for Power-Critical Code Region Detection and Power Peak Optimization of Embedded Software / Christian Bachmann ; Andreas Genser ; Christian Steger ; Reinhold Wei? ; Josef Haid
Content Analysis for Human-Centered Multimedia Applications
Generative Group Activity Analysis with Quaternion Descriptor / Guangyu Zhu ; Shuicheng Yan ; Tony X. Han ; Changsheng Xu
Grid-Based Retargeting with Transformation Consistency Smoothing / Bing Li ; Ling-Yu Duan ; Jinqiao Wang ; Jie Chen ; Rongrong Ji ; Wen Gao
Understanding Video Sequences through Super-Resolution / Yu Peng ; Jesse S. Jin ; Suhuai Luo ; Mira Park
Facial Expression Recognition on Hexagonal Structure Using LBP-Based Histogram Variances / Lin Wang ; Xiangjian He ; Ruo Du ; Wenjing Jia ; Qiang Wu ; Wei-chang Yeh
Mining Social Relationship from Media Collections
Towards More Precise Social Image-Tag Alignment / Ning Zhou ; Jinye Peng ; Xiaoyi Feng ; Jianping Fan
Social Community Detection from Photo Collections Using Bayesian Overlapping Subspace Clustering / Peng Wu ; Qiang Fu ; Feng Tang
Dynamic Estimation of Family Relations from Photos / Tong Zhang ; Hui Chao ; Dan Tretter
Large Scale Rich Media Data Management
Semi-automatic Flickr Group Suggestion / Junjie Cai ; Zheng-Jun Zha ; Qi Tian ; Zengfu Wang
A Visualized Communication System Using Cross-Media Semantic Association / Xinming Zhang ; Yang Liu ; Chao Liang
Effective Large Scale Text Retrieval via Learning Risk-Minimization and Dependency-Embedded Model / Sheng Gao ; Haizhou Li
Efficient Large-Scale Image Data Set Exploration: Visual Concept Network and Image Summarization / Chunlei Yang
Multimedia Understanding for Consumer Electronics
A Study in User-Centered Design and Evaluation of Mental Tasks for BCI / Danny Plass-Oude Bos ; Mannes Poel ; Anton Nijholt
Video CooKing: Towards the Synthesis of Multimedia Cooking Recipes / Keisuke Doman ; Cheng Ying Kuai ; Tomokazu Takahashi ; Ichiro Ide ; Hiroshi Murase
Snap2Read: Automatic Magazine Capturing and Analysis for Adaptive Mobile Reading / Yu-Ming Hsu ; Yen-Liang Lin ; Winston H. Hsu ; Brian Wang
Multimodal Interaction Concepts for Mobile Augmented Reality Applications / Wolfgang Hürst ; Casper van Wezel
Image Object Recognition and Compression
Morphology-Based Shape Adaptive Compression / Jian-Jiun Ding ; Pao-Yen Lin ; Jiun-De Huang ; Tzu-Heng Lee ; Hsin-Hui Chen
People Tracking in a Building Using Color Histogram Classifiers and Gaussian Weighted Individual Separation Approaches / Che-Hung Lin ; Sheng-Luen Chung ; Jing-Ming Guo
Human-Centered Fingertip Mandarin Input System Using Single Camera / Chih-Chang Yu ; Hsu-Yung Cheng ; Bor-Shenn Jeng ; Chien-Cheng Lee ; Wei-Tyng Hong
Automatic Container Code Recognition Using Compressed Sensing Method / Chien-Cheng Tseng ; Su-Ling Lee
Combining Histograms of Oriented Gradients with Global Feature for Human Detection / Shih-Shinh Huang ; Hsin-Ming Tsai ; Pei-Yung Hsiao ; Meng-Qui Tu ; Er-Liang Jian
Interactive Image and Video Search
Video Browsing Using Object Trajectories / Felix Lee ; Werner Bailer
Size Matters! How Thumbnail Number, Size, and Motion Influence Mobile Video Retrieval / Cees G. M. Snoek ; Willem-Jan Spoel ; Mate Tomin
An Information Foraging Theory Based User Study of an Adaptive User Interaction Framework for Content-Based Image Retrieval / Haiming Liu ; Paul Mulholland ; Dawei Song ; Victoria Uren ; Stefan Rüger
Poster Session Papers
Generalized Zigzag Scanning Algorithm for Non-square Blocks
The Interaction Ontology Model: Supporting the Virtual Director Orchestrating Real-Time Group Interaction / Rene Kaiser ; Claudia Wagner ; Martin Hoeffernig ; Harald Mayer
CLUENET: Enabling Automatic Video Aggregation in Social Media Networks / Zhuhua Liao ; Jing Yang ; Chuan Fu ; Guoqing Zhang
Pedestrian Tracking Based on Hidden-Latent Temporal Markov Chain / Peng Zhang ; Sabu Emmanuel ; Mohan Kankanhalli
Motion Analysis via Feature Point Tracking Technology / Yu-Shin Lin ; Shih-Ming Chang ; Joseph C. Tsai ; Timothy K. Shih ; Hui-Huang Hsu
Traffic Monitoring and Event Analysis at Intersection Based on Integrated Multi-video and Petri Net Process / Chang-Lung Tsai ; Shih-Chao Tai
Baseball Event Semantic Exploring System Using HMM / Wei-Chin Tsai ; Hua-Tsung Chen ; Hui-Zhen Cu ; Suh-Yin Lee ; Jen-Yu Yu
Robust Face Recognition under Different Facial Expressions, Illumination Variations and Partial Occlusions / Shih-Ming Huang ; Jar-Ferr Yang
Localization and Recognition of the Scoreboard in Sports Video Based on SIFT Point Matching / Jinlin Guo ; Cathal Gurrin ; Songyang Lao ; Colum Foley ; Alan F. Smeaton
3D Model Search Using Stochastic Attributed Relational Tree Matching / Naoto Nakamura ; Shigeru Takano ; Yoshihiro Okada
A Novel Horror Scene Detection Scheme on Revised Multiple Instance Learning Model / Bin Wu ; Xinghao Jiang ; Tanfeng Sun ; Shanfeng Zhang ; Xiqing Chu ; Chuxiong Shen ; Jingwen Fan
Randomly Projected KD-Trees with Distance Metric Learning for Image Retrieval / Pengcheng Wu ; Steven C. H. Hoi ; Due Dung Nguyen ; Ying He
A SAQD-Domain Source Model Unified Rate Control Algorithm for H.264 Video Coding / Mingjing Ai ; Lili Zhao
A Bi-objective Optimization Model for Interactive Face Retrieval / Yuchun Fang ; Qiyun Cai ; Jie Luo ; Wang Dai ; Chengsheng Lou
Multi-symbology and Multiple 1D/2D Barcodes Extraction Framework / Daw-Tung Lin ; Chin-Lin Lin
Wikipedia Based News Video Topic Modeling for Information Extraction / Sujoy Roy ; Mun-Thye Mak ; Kong Wah Wan
Advertisement Image Recognition for a Location-Based Reminder System / Siying Liu ; Yiqun Li ; Aiyuan Guo ; Joo Hwee Lim
Flow of Qi: System of Real-Time Multimedia Interactive Application of Calligraphy Controlled by Breathing / Kuang-I Chang ; Mu-Yu Tsai ; Yu-Jen Su ; Jyun-Long Chen ; Shu-Min Wu
Measuring Bitrate and Quality Trade-Off in a Fast Region-of-Interest Based Video Coding / Salahuddin Azad ; Wei Song ; Dian Tjondronegoro
Image Annotation with Concept Level Feature Using PLSA+CCA / Yu Zheng ; Tetsuya Takiguchi ; Yasuo Ariki
Multi-actor Emotion Recognition in Movies Using a Bimodal Approach / Ruchir Srivastava ; Terence Sim
Demo Session Papers
RoboGene: An Image Retrieval System with Multi-Level Log-Based Relevance Feedback Scheme / Huanchen Zhang ; Haojie Li ; Shichao Dong ; Weifeng Sun
Query Difficulty Guided Image Retrieval System / Yangxi Li ; Yong Luo ; Dacheng Tao ; Chao Xu
HeartPlayer: A Smart Music Player Involving Emotion Recognition, Expression and Recommendation / Songchun Fan ; Cheng Tan ; Xin Fan ; Han Su ; Jinyu Zhang
Immersive Video Conferencing Architecture Using Game Engine Technology / Chris Poppe ; Charles-Frederik Hollemeersch ; Sarah De Bruyne ; Peter Lambert ; Rik Van de Walle
Author Index
Special Session Papers
Content Analysis for Human-Centered Multimedia Applications
Generative Group Activity Analysis with Quaternion Descriptor / Guangyu Zhu ; Shuicheng Yan ; Tony X. Han ; Changsheng Xu
Audio, Image, Video Processing, Coding and Compression
A Generalized Coding Artifacts and Noise Removal Algorithm for Digitally Compressed Video Signals / Ling Shao ; Hui Zhang ; Yan Liu
Efficient Mode Selection with BMA Based Pre-processing Algorithms for H.264/AVC Fast Intra Mode Decision / Chen-Hsien Miao ; Chih-Peng Fan
Perceptual Motivated Coding Strategy for Quality Consistency / Like Yu ; Feng Dai ; Yongdong Zhang ; Shouxun Lin
Compressed-Domain Shot Boundary Detection for H.264/AVC Using Intra Partitioning Maps / Sarah De Bruyne ; Jan De Cock ; Chris Poppe ; Charles-Frederik Hollemeersch ; Peter Lambert ; Rik Van de Walle
Adaptive Orthogonal Transform for Motion Compensation Residual in Video Compression / Zhouye Gu ; Weisi Lin ; Bu-sung Lee ; Chiew Tong Lau
Parallel Deblocking Filter for H.264/AVC on the TILERA Many-Core Systems / Chenggang Yan
Image Distortion Estimation by Hash Comparison / Li Weng ; Bart Preneel
Media Content Browsing and Retrieval
Sewing Photos: Smooth Transition between Photos / Tzu-Hao Kuo ; Chun-Yu Tsai ; Kai-Yin Cheng ; Bing-Yu Chen
Employing Aesthetic Principles for Automatic Photo Book Layout / Philipp Sandhaus ; Mohammad Rabbath ; Susanne Boll
Video Event Retrieval from a Small Number of Examples Using Rough Set Theory / Kimiaki Shirahama ; Yuta Matsuoka ; Kuniaki Uehara
Community Discovery from Movie and Its Application to Poster Generation / Yan Wang ; Tao Mei ; Xian-Sheng Hua
A BOVW Based Query Generative Model / Reede Ren ; John Collomosse ; Joemon Jose
Video Sequence Identification in TV Broadcasts / Klaus Schoeffmann ; Laszlo Boeszoermenyi
Content-Based Multimedia Retrieval in the Presence of Unknown User Preferences / Christian Beecks ; Ira Assent ; Thomas Seidl
Multi-Camera, Multi-View, and 3D Systems
People Localization in a Camera Network Combining Background Subtraction and Scene-Aware Human Detection / Tung- Ying Lee ; Tsung-Yu Lin ; Szu-llao Huang ; Shang-Hong Lai ; Shang-Chih Hung
A Novel Depth-Image Based View Synthesis Scheme for Multiview and 3DTV / Xun He ; Xin Jin ; Minghui Wang ; Satoshi Goto
Egocentric View Transition for Video Monitoring in a Distributed Camera Network / Kuan- Wen Chen ; Pei-Jyun Lee ; Yi-Ping Hung
A Multiple Camera System with Real-Time Volume Reconstruction for Articulated Skeleton Pose Tracking / Zheng Zhang ; Hock Soon Seah ; Chee Kwang Quah ; Alex Ong ; Khalid Jabbar
A New Two-Omni-Camera System with a Console Table for Versatile 3D Vision Applications and Its Automatic Adaptation to Imprecise Camera Setups / Shen-En Shih ; Wen-Hsiang Tsai
3D Face Recognition Based on Local Shape Patterns and Sparse Representation Classifier / Di Huang ; Karima Ouji ; Mohsen Ardabilian ; Yunhong Wang ; Liming Chen
An Effective Approach to Pose Invariant 3D Face Recognition / Dayong Wang ; Steven C.H. Hoi ; Ying He
Multimedia Indexing and Mining
Score Following and Retrieval Based on Chroma and Octave Representation / Wei-Ta Chu ; Meng-Luen Li
A Semantic Higher-Level Visual Representation for Object Recognition / Ismail El Sayad ; Jean Martinet ; Thierry Urruty ; Chabane Dejraba
Mining Travel Patterns from GPS-Tagged Photos / Yan-Tao Zheng ; Yiqun Li ; Zheng-Jun Zha ; Tat-Seng Chua
Augmenting Image Processing with Social Tag Mining for Landmark Recognition / Amogh Mahapatra ; Xin Wan ; Yonghong Tian ; Jaideep Srivastava
News Shot Cloud: Ranking TV News Shots by Cross TV-Channel Filtering for Efficient Browsing of Large-Scale News Video Archives / Norio Katayama ; Hiroshi Mo ; Shin'ichi Satoh
Multimedia Content Analysis (I)
Speaker Change Detection Using Variable Segments for Video Indexing / King Yiu Tam ; Jose Lay ; David Levy
Correlated PLSA for Image Clustering / Peng Li ; Jian Cheng ; Zechao Li ; Hanging Lu
Genre Classification and the Invariance of MFCC Features to Key and Tempo / Tom L.H. Li ; Antoni B. Chan
Combination of Local and Global Features for Near-Duplicate Detection / Yue Wang ; ZuJun Hou ; Karianto Leman ; Nam Trung Pham ; TeckWee Chua ; Richard Chang
Audio Tag Annotation and Retrieval Using Tag Count Information / Hung- Yi Lo ; Shou-De Lin ; Hsin-Min Wang
Similarity Measurement for Animation Movies / Alexandre Benoit ; Madalina Ciobotaru ; Patrick Lambert ; Bogdan Ionescu
Multimedia Content Analysis (II)
A Feature Sequence Kernel for Video Concept Classification / Werner Bailer
Bottom-Up Saliency Detection Model Based on Amplitude Spectrum / Yuming Fang ; Bu-Sung Lee ; Chia- Wen Lin
Generating Representative Views of Landmarks via Scenic Theme Detection / Merih Seran Uysal ; Yi-Liang Zhao ; Xiangdong Zhou
Regularized Semi-supervised Latent Dirichlet Allocation for Visual Concept Learning / Liansheng Zhuang ; Lanbo She ; Jingjing Huang ; Jiebo Luo ; Nenghai Yu
Boosted Scene Categorization Approach by Adjusting Inner Structures and Outer Weights of Weak Classifiers / Xueming Qian ; Zhe Yan ; Kaiyu Hang
A User-Centric System for Home Movie Summarisation / Saman H. Cooray ; Hyowon Lee ; Noel E. O'Connor
Fast Scalar Multiplication for ECC over GF(p) Using Division Chains / Colin D. Walter
Design of a Novel Pseudo-Random Generator Based on Vectorial FCSRs / Boufeldja Allailou ; Abdelaziz Marjane ; Abdellah Mokrane
Low-Resource Hardware Design of an Elliptic Curve Processor for Contactless Devices / Erich Wenger ; Martin Feldhofer ; Nobert Felber
A Design Procedure for Oscillator-Based Hardware Random Number Generator with Stochastic Behavior Modeling / Takehiko Amaki ; Masanori Hashimoto ; Yukio Mitsuyama ; Takao Onoye
Mobile Security/Secure Coding
Using Special Use Cases for Security in the Software Development Life Cycle / Jean-Marie Kabasele Tenday
Efficient and Optimally Secure In-Network Aggregation in Wireless Sensor Networks / Atsuko Miyaji ; Kazumasa Omote
An IP Traceback Mechanism against Mobile Attacker for IPv6 and PMIPv6 / Jae-hoon Jang ; Don-Gu Yeo ; Dong-hee Lee ; Heung-Youl Youm
Hidden Credential Retrieval without Random Oracles / Mohammad Shahriar Rahman ; Masakazu Soshi
Correlation Power Analysis Based on Switching Glitch Model / Hongying Liu ; Guoyu Qian ; Satoshi Goto ; Yukiyasu Tsunoo
Vulnerabilities of Wireless Key Exchange Based on Channel Reciprocity / Nico Döttling ; Dejan Lazich ; Jörn Müller-Quade ; Antonio Sobreira de Almeida
Collusion Attack on a Self-healing Key Distribution with Revocation in Wireless Sensor Networks / Kehua Bao ; Zhenfeng Zhang
Full-Round Differential Attact on TWIS Block Clipher / Bozhan Su ; Wenling Wu ; Lei Zhang ; Yanjun Li
Improved Trace-Driven Cache-Collision Attacks against Embedded AES Implementations / Jean-François Gallais ; Ilya Kizhvatov ; Michael Tunstall
Combination of SW Countermeasure and CPU Modification on FPGA against Power Analysis / Daisuke Nakatsu ; Yang Li ; Kazuo Sakiyama ; Kazuo Ohta
Biometrics
Face Image Retrieval Using Sparse Representation Classifier with Gabor-LBP Histogram / Hansung Lee ; Yunsu Chung ; Jeongnyeo Kim ; Daihee Park
Fingerprint Liveness Detection Based on Multiple Image Quality Features / Changlong Jin ; Shengazhe Li ; Hakil Kim ; Ensoo Park
Robust Feature Extraction for Facial Image Quality Assessment / Thi Hai Binh Nguyen ; Van Huan Nguyen
Secure Protocol
Round-Optimal Deniable Ring Authentication in the Presence of Big Brother / Rafael Dowsley ; Goichiro Hanaoka ; Hideki Imai ; Anderson C.A. Nascimento
Cross-Realm Password-Based Server Aided Key Exchange
A Two-Party Protocol with Trusted Initializer for Computing the Inner Product / Jeroen van de Graaf ; Davidson Marques
Author Index
Cryptosystem
Construction of Identify Based Signcryption Schemes / Sumit Kumar Pandey ; Rana Barua
Ontology-Based Knowledge Modeling to Provide Decision Support for Comorbid Diseases / Samina Raza Abidi
Patient Data, Records, and Guidelines
Inducing Decision Trees from Medical Decision Processes / Pere Torres ; Joan Albert López-Vallverdú
Critiquing Knowledge Representation in Medical Image Interpretation Using Structure Learning / Niels Radstake ; Peter J.F. Lucas ; Marina Velikova ; Maurice Samulski
A Markov Analysis of Patients Developing Sepsis Using Clusters / Femida Gwadry-Sridhar ; Michael Bauer ; Benoit Lewden ; Ali Hamou
Towards the Interoperability of Computerised Guidelines and Electronic Health Records: An Experiment with openEHR Archetypes and a Chronic Heart Failure Guideline / Mar Marcos ; Begoña MartÃnez-Salvador
Clinical Practice Guidelines
Identifying Treatment Activities for Modelling Computer-Interpretable Clinical Practice Guidelines / Katharina Kaiser ; Andreas Seyfang ; Silvia Miksch
Updating a Protocol-Based Decision-Support System's Knowledge Base: A Breast Cancer Case Study / Claudio Eccher ; Antonella Ferro
Toward Probabilistic Analysis of Guidelines / Arjen Hommersom
Author Index
Ontologies
Ontology-Based Retrospective and Prospective Diagnosis and Medical Knowledge Personalization / Cristina Romero-Tris ; David Riaño ; Francis Real
From a Proven Correct Microkernel to Trustworthy Large Systems / June Andronick
Static Contract Checking with Abstract Interpretation / Manuel Fähndrich ; Francesco Logozzo
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? / Davide Ancona ; Andrea Corradi ; Giovanni Lagorio ; Ferruccio Damiani
Validating Timed Models of Deployment Components with Parametric Concurrency / Einar Broch Johnsen ; Olaf Owe ; Rudolf Schlatte ; Silvia Lizeth Tapia Tarifa
Verification of Software Product Lines with Delta-Oriented Slicing / Daniel Bruns ; Vladimir Klebanov ; Ina Schaefer
Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas / Christoph D. Gladisch
A Dynamic Logic for Unstructured Programs with Embedded Assertions
JMLUnit: The Next Generation / Daniel M. Zimmerman ; Rinkesh Nagmoti
Author Index
From a Proven Correct Microkernel to Trustworthy Large Systems / June Andronick
Static Contract Checking with Abstract Interpretation / Manuel Fähndrich ; Francesco Logozzo
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? / Davide Ancona ; Andrea Corradi ; Giovanni Lagorio ; Ferruccio Damiani
Membrane Computing at Twelve Years / Gheorghe Paun
Testing Based on P Systems - An Overview / Marian Gheorghe ; Florentin Ipate
Invited Presentations
Mobility in Computer Science and in Membrane Systems / Gabriel Ciobanu
Organization Oriented Chemical Computing / Peter Dittrich
Cellular Automata and the Quest for Nontrivial Artificial Self-Reproduction / Markus Holzer ; Martin Kutrib
An Algorithmic Approach to Tilings of Hyperbolic Spaces: 10 Years Later / Maurice Margenstern
Regular Presentations
Flattening the Transition P Systems with Dissolution / Oana Agrigoroaiei
The Family of Languages Generated by Non-cooperative Membrane Systems / Artiom Alhazov ; Constantin Ciubotaru ; Sergiu Ivanov ; Yurii Rogozhin
Polymorphic P Systems
A Small Universal Splicing P System / Sergey Verlan
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings / Roberto Barbuti ; Andrea Maggiolo-Schettini ; Paolo Milazzo ; Simone Tini
BioSimWare: A Software for the Modeling, Simulation and Analysis of Biological Systems / Daniela Besozzi ; Paolo Cazzaniga ; Giancarlo Mauri ; Dario Pescini
Improved Collision Attacks on the Reduced-Round Grøstl Hash Function / Kota Ideguchi ; Elmar Tischhauser ; Bart Preneel
Improved Distinguishing Attack on Rabbit / Yi Lu ; Yvo Desmedt
Cryptanalysis of the Convex Hull Click Human Identification Protocol / Hassan Jameel Asghar ; Shujun Li ; Josef Pieprzyk ; Huaxiong Wang
An Analysis of DepenDNS / Nadhem J. AlFardan ; Kenneth G. Paterson
Analysis
Security Reductions of the Second Round SHA-3 Candidates / Elena Andreeva ; Bart Mennink
Security Analysis of the Extended Access Control Protocol for Machine Readable Travel Documents / Özgür Dagdelen ; Marc Fischlin
Revisiting the Security of the Alred Design / Marcos A. SimplÃcio ; Paulo S.L.M. Barreto ; Tereza C.M.B. Carvalho
Authentication, PIR and Content Identification
Lightweight Anonymous Authentication with TLS and DAA for Embedded Mobile Devices / Christian Wachsmann ; Liqun Chen ; Kurt Dietrich ; Hans Löhr ; Ahmad-Reza Sadeghi ; Johannes Winter
Implicit Authentication through Learning User Behavior / Elaine Shi ; Yuan Niu ; Markus Jakobsson ; Richard Chow
Efficient Computationally Private Information Retrieval from Anonymity or Trapdoor Groups / Jonathan Trostle ; Andy Parrish
Video Streaming Forensic - Content Identification with Traffic Snooping / Yali Liu ; Dipak Ghosal ; Biswanath Mukherjee
Privacy
Fair and Privacy-Preserving Multi-party Protocols for Reconciling Ordered Input Sets / Georg Neugebauer ; Ulrike Meyer ; Susanne Wetzel
Enhancing Security and Privacy in Certified Mail Systems Using Trust Domain Separation / Arne Tauber ; Thomas Rössler
Artificial Malware Immunization Based on Dynamically Assigned Sense of Self / Xinyuan Wang ; Xuxian Jiang
Misleading Malware Similarities Analysis by Automatic Data Structure Obfuscation / Zhi Xin ; Huiyv Chen ; Hao Han ; Bing Mao ; Li Xie
Crimeware Swindling without Virtual Machines / Vasilis Pappas ; Brian M. Bowen ; Angelos D. Keromytis
An Architecture for Enforcing JavaScript Randomization in Web2.0 Applications / Elias Athanasopoulos ; Antonis Krithinakis ; Evangelos P. Markatos
Intrusion Detection
Summary-Invisible Networking: Techniques and Defenses / Lei Wei ; Michael K. Reiter ; Ketan Mayer-Patel
Selective Regular Expression Matching / Natalia Stakhanova ; Hanli Ren ; Ali A. Ghorbani
Traceability of Executable Codes Using Neural Networks / Davidson R. Boccardo ; Tiago M. Nascimento ; Raphael C. Machado ; Charles B. Prado ; Luiz F.R.C. Carmo
Side Channels
On Side-Channel Resistant Block Cipher Usage / Jorge Guajardo
Security Implications of Crosstalk in Switching CMOS Gates / Geir Olav Dyrkolbotn ; Knut Wold ; Einar Snekkenes
On Privacy Leakage through Silence Suppression / Ye Zhu
Cryptography
One-Time Trapdoor One-Way Functions / Julien Cathalo ; Christophe Petit
Public Key Encryption Schemes with Bounded CCA Security and Optimal Ciphertext Length Based on the CDH Assumption / Mayana Pereira ; Rafael Dowsley ; Goichiro Hanaoka ; Anderson C.A. Nascimento
A Short Signature Scheme from the RSA Family / Ping Yu ; Rui Xue
Efficient Message Space Extension for Automorphic Signatures / Masayuki Abe ; Kristiyan Haralambiev ; Miyako Ohkubo
Smartphones
CRePE: Context-Related Policy Enforcement for Android / Mauro Conti ; Vu Thien Nga Nguyen ; Bruno Crispo
Privilege Escalation Attacks on Android / Lucas Davi ; Alexandra Dmitrienko ; Marcel Winandy
Biometrics
Walk the Walk: Attacking Gait Biometrics by Imitation / Bendik B. Mjaaland ; Patrick Bours ; Danilo Gligoroski
Cryptography, Application
Efficient Multiplicative Homomorphic E-Voting / Kun Peng ; Feng Bao
Unreal Goal Bots: Conceptual Design of a Reusable Interface / Koen V. Hindriks ; Birna van Riemsdijk ; Tristan Behrens ; Rien Korstanje ; Nick Kraayenbrink ; Wouter Pasman ; Lennard de Rijk
A Periphery of Pogamut: From Bots to Agents and Back Again / Jakub Gemrot ; Cyril Brom ; TomአPlch
Goal-Based Communication Using BDI Agents as Virtual Humans in Training: An Ontology Driven Dialogue System / Joost van Oijen ; Willem van Doesburg ; Frank Dignum
Evaluation and Comparison of Multi-agent Based Crowd Simulation Systems / Bikramjit Banerjee ; Landon Kraemer
Towards an Architecture for Collaborative Human/AI Control of Interactive Characters / James Niehaus ; Peter Weyhrauch
Training and Story Lines / Section 2:
An Architecture for Directing Value-Driven Artificial Characters / Rossana Damiano ; Vincenzo Lombardo
Implicitly and Intelligently Influencing the Interactive Experience / Michael J. 0'Grady ; Mauro Dragone ; Richard Tynan ; Gregory M.P. O'Hare ; Jie Wan ; Conor Muldoon
Creating Customized Game Experiences by Leveraging Human Creative Effort: A Planning Approach / Boyang Li ; Mark O.Riedl
Guiding User Adaptation in Serious Games / Joost Westra ; Prank Dignum ; Virginia Dignum
Using Agent Technology to Build a Real-World Training Application / Michal Cap ; Annerieke Heuvelink ; Karel van den Bosch ; Willem Van Doesburg
Social Behavior and Organization / Section 3:
Semi-Automated Dialogue Act Classification for Situated Social Agents in Games / Jeff Orkin ; Deb Roy
Using Exclusion Logic to Model Social Practices / Richard Evans
Making Games Alive: An Organisational Approach / Sergio Alvarez-Napagao ; Fernando Koch ; Ignasi Gómez-Sebastià ; Javier Vázquez-Salceda
Building Quests for Online Games with Virtual Institutions / Gustavo Aranda ; Tomas Trescak ; Marc Esteva ; Carlos Carrascosa
Author Index
Architectures / Section 1:
Unreal Goal Bots: Conceptual Design of a Reusable Interface / Koen V. Hindriks ; Birna van Riemsdijk ; Tristan Behrens ; Rien Korstanje ; Nick Kraayenbrink ; Wouter Pasman ; Lennard de Rijk
A Periphery of Pogamut: From Bots to Agents and Back Again / Jakub Gemrot ; Cyril Brom ; TomአPlch
Human-Computer Interaction: Cognitive and Computational Issues / I:
Interaction and Resistance: The Recognition of Intentions in New Human-Computer Interaction / Vincent C. Müller
Speaking without Thinking: Embodiment, Speech Technology and Social Signal Processing / Tim Rohrer
More Than Words: Inference of Socially Relevant Information from Nonverbal Vocal Cues in Speech / Alessandro Vinciarelli ; Hugues Salamin ; Gelareh Mohammadi ; Khiet Truong
A Timely Endeavor: Theoretical, Behavioral, Bioimaging, and Clinical Perspectives on Time Perception / Argiro Vatakis ; Georgios Papadelis
Instruction and Belief Effects on Sentential Reasoning / Olimpia Matarazzo ; Ivana Baldassarre
Audio-Visual Prosody: Perception, Detection, and Synthesis of Prominence / Samer Al Moubayed ; Jonas Beskow ; Björn Granström ; David House
Adaptation in Turn-Initiations / Štefan Benuš
Sentic Avatar: Multimodal Affective Conversational Agent with Common Sense / Erik Cambria ; Isabelle Hupont ; Amir Hussain ; Eva Cerezo ; Sandra Baldassarri
Patterns of Synchronization of Non-verbal Cues and Speech in ECAs: Towards a More "Natural" Conversational Agent / Nicla Rossini
Top-Down Influences on Eye-Movements during Painting Perception: The Effect of Task and Titles / Evgenia Hristova ; Severina Georgieva ; Maurice Grinberg
Visual Sociology in the Classroom: Fostering Interaction Awareness Using Video / Paolo Parmeggiani
Analysis of Interrogatives in Different Domains / Helena Moniz ; Fernando Batista ; Isabel Trancoso ; Ana Isabel Mata
Interviewers' Use of Coercive Questioning during a Midterm Period Favorable to the Opposition Party / Angiola Di Conza ; Augusto Gnisci ; Angelo Caputo
Emotions and Speech Disorders: Do Developmental Stutters Recognize Emotional Vocal Expressions? / Anna Esposito ; Alda Troncone
Representing Meaning in Mind: When Predicate Argument Structures Meet Mental Representations / Rosa Volpe
Beyond the Panopticon Framework: Privacy, Control and User Generated Content / Manuela Farinosi
Micro and Macro Spatial Dimensions of New Media in Five European Countries / Leopoldina Fortunati ; Federico de Luca
Nonverbal Expressions of Turn Management in TV Interviews: A Cross-Cultural Study between Greek and Icelandic / Maria Koutsombogera ; Sigrún MarÃa Ammendrup ; Hannes Högni Vilhjálmsson ; Harris Papageorgiou
Synchrony through Verbal and Nonverbal Signals / II:
Interpretation and Generation of Dialogue with Multidimensional Context Models / Harry Bunt
Coordination, Not Control, Is Central to Movement / Fred Cummins
Neuroelectric Methodologies for the Study of the Economic Decisions in Humans / Giovanni Vecchiato ; Fabio Babiloni
An Evaluation Study on Speech Feature Densities for Bayesian Estimation in Robust ASR / Simone Cifani ; Emanuele Principi ; Rudy Rotili ; Stefano Squartini ; Francesco Piazza
Naturalness, Adaptation and Cooperativeness in Spoken Dialogue Systems / Milan Gnjatovic ; Darko Pekar ; Vlado Delic
Towards Semantic Multimodal Video Annotation / Marco Grassi ; Christian Morbidoni
The Effect of Subharmonic Stimuli on Singing Voices / Marena Balinova ; Peter Reichl ; Inma Hernáez Rioja ; Ibon Saratxaga
Speech Modeling Using the Complex Cepstrum / Martin Vondra ; Robert VÃch
Problems of the Automatic Emotion Recognitions in Spontaneous Speech; An Example for the Recognition in a Dispatcher Center / Klára Vicsi ; Dávid Sztahó
Slovak Language Model from Internet Text Data / Ján Staš ; Daniel Hládek ; Matú š Pleva ; Jozef Juhár
Automatic Recognition of Emotional State in Polish Speech / Piotr Staroniewicz
Categorical Perception of Consonants and Vowels: Evidence from a Neurophonetic Model of Speech Production and Perception / Bernd J. Kröger ; Peter Birkholz ; Jim Kannampuzha ; Christiane Neuschaefer-Rube
The MultiLis Corpus-Dealing with Individual Differences in Nonverbal Listening Behavior / Iwan de Kok ; Dirk Heylen
Comparing the Rhythmical Characteristics of Speech and Music - Theoretical and Practical Issues / Stephan Hübler ; Rüdiger Hoffmann
The Ability of Children with Mild Learning Disabilities to Encode Emotions through Facial Expressions / Christiane El-Haddad ; Yiannis Laouris
Designing a Hungarian Multimodal Database - Speech Recording and Annotation / Kinga Papay
Conveying Directional Gaze Cues to Support Remote Participation in Hybrid Meetings / Betsy van Dijk ; Job Zwiers ; Rieks op den Akker ; Olga Kulyk ; Hendri Hondorp ; Dennis Hofs ; Anton Nijholt
Affect Recognition in Real Life Scenarios / Theodoros Kostoulas ; Todor Ganchev ; Nikos Fakotakis
Transaction Processing Performance Council (TPC): State of the Council 2010 / Raghunath Nambiar ; Nicholas Wakou ; Forrest Carman ; Michael Majdalany
Liquid Benchmarks: Towards an Online Platform for Collaborative Assessment of Computer Science Research Results / Sherif Sakr ; Fabio Casati
A Discussion on the Design of Graph Database Benchmarks / David Dominguez-Sal ; Norbert Martinez-Bazan ; Victor Muntes-Mulero ; Pere Baleta ; Josep Lluis Larriba-Pey
A Data Generator for Cloud-Scale Benchmarking / Tilmann Rabl ; Michael Frank ; Hatem Mousselly Sergieh ; Harald Kosch
How to Advance TPC Benchmarks with Dependability Aspects / Raquel Almeida ; Meikel Poess ; Indira Patil ; Marco Vieira
Price and the TPC / Karl Huppler
Impact of Recent Hardware and Software Trends on High Performance Transaction Processing and Analytics / C. Mohan
EXRT: Towards a Simple Benchmark for XML Readiness Testing / Michael J. Carey ; Ling Ling ; Matthias Nicola ; Lin Shao
Transaction Performance vs. Moore's Law: A Trend Analysis
TPC-V: A Benchmark for Evaluating the Performance of Database Applications in Virtual Environments / Priya Sethuraman ; H. Reza Taheri
First TPC-Energy Benchmark: Lessons Learned in Practice / Erik Young ; Paul Cao ; Mike Nikolaiev
Using Solid State Drives as a Mid-Tier Cache in Enterprise Database OLTP Applications / Badriddine M. Khessib ; Kushagra Vaid ; Sriram Sankar ; Chengliang Zhang
Benchmarking Using Basic DBMS Operations / Alain Crolotte ; Ahmad Ghazal
Assessing and Optimizing Microarchitectural Performance of Event Processing Systems / Marcelo R.N. Mendes ; Pedro Bizarro ; Paulo Marques
Author Index
Transaction Processing Performance Council (TPC): State of the Council 2010 / Raghunath Nambiar ; Nicholas Wakou ; Forrest Carman ; Michael Majdalany
Liquid Benchmarks: Towards an Online Platform for Collaborative Assessment of Computer Science Research Results / Sherif Sakr ; Fabio Casati
A Discussion on the Design of Graph Database Benchmarks / David Dominguez-Sal ; Norbert Martinez-Bazan ; Victor Muntes-Mulero ; Pere Baleta ; Josep Lluis Larriba-Pey
Improving Efficiency of 3-SAT-Solving Tile Systems / Yuriy Brun
Optimizing Tile Concentrations to Minimize Errors and Time for DNA Tile Self-assembly Systems / Ho-Lin Chen ; Ming-Yang Kao
Scalable, Time-Responsive, Digital, Energy-Efficient Molecular Circuits Using DNA Strand Displacement / Ehsan Chiniforooshan ; David Doty ; Lila Kari ; Shinnosuke Seki
Negative Interactions in Irreversible Self-assembly / Benoît Masson
Search and Validation of Short Genome-Wide Biomarkers for Bacterial Biological Phylogenies / Max H. Garzon ; Tit-Yee Wong
High-Fidelity DNA Hybridization Using Programmable Molecular DNA Devices / Nikhil Gopalkrishnan ; Harish Chandran ; John Reif
Synthesizing Minimal Tile Sets for Patterned DNA Self-assembly / Mika Göös ; Pekka Orponen
Operation of a DNA-Based Autocatalytic Network in Serum / Elton Graugnard ; Amber Cox ; Jeunghoon Lee ; Cheryl Jorcyk ; Bernard Yurke ; William L. Hughes
Design of a Functional Nanomaterial with Recognition Ability for Constructing Light-Driven Nanodevices / Xingguo Liang ; Toshio Mochizuki ; Taiga Fujii ; Hiromu Kashida ; Hiroyuki Asanuma
Efficient Turing-Universal Computation with DNA Polymers / Lulu Qian ; David Soloveichik ; Erik Winfree
Reversible Transition of Photonic DNA Automaton Using Hairpin-DNA Responding to a Single Kind of Photonic Signal / Hiroto Sakai ; Yusuke Ogura ; Jun Tanida
Simple Evolution of Complex Crystal Species / Rebecca Schulman
Towards Domain-Based Sequence Design for DNA Strand Displacement Reactions / David Yu Zhang
DNA-Based Fixed Gain Amplifiers and Linear Classifier Circuits / Georg Seelig
Author Index
Improving Efficiency of 3-SAT-Solving Tile Systems / Yuriy Brun
Optimizing Tile Concentrations to Minimize Errors and Time for DNA Tile Self-assembly Systems / Ho-Lin Chen ; Ming-Yang Kao
Scalable, Time-Responsive, Digital, Energy-Efficient Molecular Circuits Using DNA Strand Displacement / Ehsan Chiniforooshan ; David Doty ; Lila Kari ; Shinnosuke Seki
On the Approximation Complexity Hierarchy / Magnus Bordewich
The Power of Uncertainty: Bundle-Pricing for Unit-Demand Customers / Patrick Briest ; Heiko Röglin
Tradeoff between Energy and Throughput for Online Deadline Scheduling / Ho-Leung Chan ; Tak-Wah Lam ; Rongbin Li
New Models and Algorithms for Throughput Maximization in Broadcast Scheduling (Extended Abstract) / Chandra Chekuri ; Avigdor Gal ; Sungjin Im ; Samir Khuller ; Jian Li ; Richard McCutchen ; Benjamin Moseley ; Louiqa Raschid
Densest k-Subgraph Approximation on Intersection Graphs / Danny Z. Chen ; Rudolf Fleischer
The Train Delivery Problem - Vehicle Routing Meets Bin Packing / Aparna Das ; Claire Mathieu ; Shay Mozes
An FPTAS for Flows over Time with Aggregate Arc Capacities / Daniel Dressler ; Martin Skutella
List Factoring and Relative Worst Order Analysis / Martin R. Ehmsen ; Jens S. Kohrt ; Kim S. Larsen
Approximation Algorithms for Domination Search / Fedor V. Fomin ; Petr A. Golovach ; Dimitrios M. Thilikos
Lower Bounds for Smith's Rule in Stochastic Machine Scheduling / Caroline Jagtenberg ; Uwe Schwiegelshohn ; Marc Uetz
Approximating Survivable Networks with Minimum Number of Steiner Points / Lior Kamma ; Zeev Nutov
A 3/2-Approximation Algorithm for Rate-Monotonic Multiprocessor Scheduling of Implicit-Deadline Tasks / Andreas Karrenbauer ; Thomas Rothvo?
Online Tracking of the Dominance Relationship of Distributed Multi-dimensional Data / Chi-Man Liu ; Hing-Fung Ting
How to Play Unique Games on Expanders / Konstantin Makarychev ; Yury Makarychev
Online Ranking for Tournament Graphs / Adrian Vladu
Throughput Maximization for Periodic Packet Routing on Trees and Grids / Britta Peis ; Andreas Wiese
k-Edge-Connectivity: Approximation and LP Relaxation / David Pritchard
Minimizing Maximum Flowtime of Jobs with Arbitrary Parallelizability / Kirk Pruhs ; Julien Robert ; Nicolas Schabanel
An Improved Algorithm for Online Rectangle Filling / Rob van Stee
Situational Programming: Agent Behavior Visual Programming for MABS Novices / Fabien Michel ; Jacques Ferber ; Pierre-Alain Laur ; Florian Aleman
IRM4MLS: The Influence Reaction Model for Multi-Level Simulation / Gildas Morvan ; Alexandre Veremme ; Daniel Dupont
Toward a Myers-Briggs Type Indicator Model of Agent Behavior in Multiagent Teams / Jordan Salvit ; Elizabeth Sklar
Exploring MAS Behaviors
Pheromones, Probabilities, and Multiple Futures / H. Van Dyke Parunak
Finding Forms of Flocking: Evolutionary Search in ABM Parameter-Spaces / Forrest Stonedahl ; Uri Wilensky
Game Theory and Information Sharing
On the Profitability of Incompetence / Eugen Staab ; Martin Caminada
Mechanisms for the Self-organization of Peer Groups in Agent Societies / Sharmila Savarimuthu ; Maryam Purvis ; Martin Purvis ; Bastin Tony Roy Savarimuthu
Multigame Dynamics: Structures and Strategies / David L. Sallach ; Michael J. North ; Eric Tatara
MAS in Economics and Negotiation
Microstructure Dynamics and Agent-Based Financial Markets / Shu-Heng Chen ; Michael Kampouridis ; Edward Tsang
Computational Modeling of Culture's Consequences / Gert Jan Hofstede ; Catholijn M. Jonker ; Tim Verwaart
Re-thinking Reading in the Context of a New Wave of Electronic Reading Devices / Andreas Kratky
Electronic Commerce "in the dark" / Maria Claudia Buzzi ; Marina Buzzi ; Barbara Leporini ; Caterina Senette
The Leap of a Provincial SME into the Global Market Using E-commerce: The Success of Adequate Planning / Beatriz Sainz de Abajo ; Enrique GarcÃa Salcines ; F. Javier Burón Fernández ; Miguel López Coronado ; Carlos de Castro Lozano
Improving User Experience by Taking Advance of Semantic Information of Microformats on Municipal Websites / RocÃo RodrÃguez ; Pablo Vera ; Elsa Estevez ; Daniel Giulianelli ; León Welicki ; Artemisa Trigueros
Human-Computer Interaction, Tourism and Cultural Heritage / Francisco V. Cipolla Ficarra
Strategies for a Creative Future with Computer Science, Quality Design and Communicability / Maria Villarreal
A Trip to Rome: Physical Replicas of Historical Objects Created in a Fully Automated Way from Photos / Luigi Barazzetti
Advances in Human-Computer Interaction: Graphics and Animation Components for Interface Design / Francisco Cipolla Ficarra ; Emma Nicol ; Miguel Cipolla-Ficarra ; Lucy Richardson
Information Design in Natural Surroundings / Oriol Camacho-DÃaz
Usability, Communicability and Cultural Tourism in Interactive Systems: Trends, Economic Effects and Social Impact
Sharing e-Learning Experiences: A Personalised Approach / Andrea Clematis ; Paola Forcheri ; Maria Grazia Ierardi ; Alfonso Quarati
Building Didactic Applications for the Teaching of Practical Content in a Virtual Campus / Daniel A. Giulianelli ; Graciela S. Cruzado ; RocÃo A. RodrÃguez ; Pablo M. Vera ; Edgardo J. Moreno
Copyright for Interactive Systems: Stratagems for Tourism and Cultural Heritage Promotion / Francisco V. Cipolla-Ficarra ; Valeria M. Ficarra
Content Management System for Developing a Virtual Platform for Association of Women's Aid with Lack of Resources / Alberto Flores GarcÃa
Web 1.0 to Web 3.0 Evolution: Reviewing the Impacts on Tourism Development and Opportunities / M. Hossein Eftekhari ; Zeynab Barzegar ; M. T. Isaai
Author Index
Re-thinking Reading in the Context of a New Wave of Electronic Reading Devices / Andreas Kratky
Electronic Commerce "in the dark" / Maria Claudia Buzzi ; Marina Buzzi ; Barbara Leporini ; Caterina Senette
The Leap of a Provincial SME into the Global Market Using E-commerce: The Success of Adequate Planning / Beatriz Sainz de Abajo ; Enrique GarcÃa Salcines ; F. Javier Burón Fernández ; Miguel López Coronado ; Carlos de Castro Lozano
Intel" CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework / Roope Kaivola
Learning Language from Its Perceptual Context / Raymond J. Mooney
Message-Passing and Mobile Networks
Detection of Asynchronous Message Passing Errors Using Static Analysis / Maria Christakis ; Konstantinos Sagonas
Combinators for Message-Passing in Haskell / Neil C.C. Brown
Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog / Theofrastos Mantadelis ; Koosha Paridel ; Gerda Janssens ; Yves Vanrompay ; Yolande Berbers
Profiling and Implementation
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs / Edison Mera ; Teresa Trigo ; Pedro Lopez-GarcÃa ; Manuel Hermenegildo
Plato: A Compiler for Interactive Web Forms / Timothy L. Hinrichs
On the Portability of Prolog Applications / Jan Wielemaker ; VÃtor Santos Costa
Grammars, Merging and Constraint Programming
Explicitly Recursive Grammar Combinators: A Better Model for Shallow Parser DSLs / Dominique Devriese ; Frank Piessens
Declarative Belief Set Merging Using Merging Plans / Christoph Redl ; Thomas Eiter ; Thomas Krennwallner
Using Constraints for Intrusion Detection: The NeMODe System / Pedro Salgueiro ; Daniel Diaz ; Isabel Brito ; Salvador Abreu
Language Extensions and Tools
A Declarative API for Particle Systems / Pavel Krajcevski ; John Reppy
Sloth-A Tool for Checking Minimal-Strictness / Jan Christiansen
Concurrent and Parallel Programming
The F# Asynchronous Programming Model / Don Syme ; Tomas Petricek ; Dmitry Lomov
Kanor: A Declarative Language for Explicit Communication / Eric Holk ; William E. Byrd ; Jeremiah Willcock ; Torsten Hoefler ; Arun Chauhan ; Andrew Lumsdaine
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming
Event Processing and Reactive Programming
Results on Out-of-Order Event Processing / Paul Fodor ; Darko Anicic ; Sebastian Rudolph
Nettle: Taking the Sting Out of Programming Network Routers / Andreas Voellmy ; Paul Hudak
Determining Actual Response Time in P-FRP / Chaitanya Belwal ; Albert U.K. Cheng
Author Index
Invited Talks
Intel" CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework / Roope Kaivola
Learning Language from Its Perceptual Context / Raymond J. Mooney
Space-Time Discontinuous Galerkin Finite Element Method for Convection-Diffusion Problems and Compressible Flow / Miloslav Feistauer ; Jan Cesenek
Stochastic Algorithms in Linear Algebra - beyond the Markov Chains and von Neumann - Ulam Scheme / Karl Sabelfeld
SM Stability for Time-Dependent Problems / Petr N. Vabishchevich
Monte Carlo and Quasi-Monte Carlo Methods
Advanced Monte Carlo Techniques in the Simulation of CMOS Devices and Circuits / Asen Asenov
Monte Carlo Method for Numerical Integration Based on Sobol's Sequences / Ivan Dimov ; Rayna Georgieva
Using Monte-Carlo Simulation for Risk Assessment: Application to Occupational Exposure during Remediation Works / M.L. Dinis ; A. Fiúza
The b-adic Diaphony as a Tool to Study Pseudo-randomness of Nets / Ivan Lirkov ; Stanislava Stoilova
Scatter Estimation for PET Reconstruction / Milan Magdics ; Laszlo Szirmay-Kalos ; Balazs Tóth ; ádam Csendesi ; Anton Penzov
Modeling of the Set and Reset Process in Bipolar Resistive Oxide-Based Memory Using Monte Carlo Simulations / Alexander Makarov ; Viktor Sverdlov ; Siegfried Selberherr
Stochastic Algorithm for Solving the Wigner-Boltzmann Correction Equation / M. Nedjalkov ; S. Selberherr ; I. Dimov
Modeling Thermal Effects in Fully-Depleted SOI Devices with Arbitrary Crystallographic Orientation / K. Raleva ; D. Vasileska ; S.M. Goodnick
Particle Monte Carlo Algorithms with Small Number of Particles in Grid Cells / Stefan K. Stefanov
Is Self-Heaving Important in Nanowire FETs? / A. Hossain
Environmental Modeling
Mixed-Hybrid Formulation of Multidimensional Fracture Flow / Jan Brezina ; Milan Hokr
WRF-Fire Applied in Bulgaria / Nina Dobrinkova ; Georgi Jordanov ; Jan Mandel
Bulgarian Operative System for Chemical Weather Forecast / Iglika Etropolska ; Maria Prodanova ; Dimiter Syrakov ; Kostadih Ganev ; Nikolai Miloshev ; Kiril Slavov
Atmospheric Composition Studies for the Balkan Region / Georgi Gadzhev ; Kostadin Ganev
Specialized Sparse Matrices Solver in the Chemical Part of an Environmental Model / Krassir Georgiev ; Zahari Zlatev
A Numerical Investigation for the Optimal Contaminant Inlet Positions in Horizontal Subsurface Flow Wetlands / Konstantinos Liolios ; Vassilios Tsihrintzis ; Stefan Radev
Using Satellite Observations for Air Quality Assessment with an Inverse Model System / Achim Strunk ; Hendrik Elbern ; Adolf Ebel
Distributed Software System for Data Evaluation and Numerical Simulations of Atmospheric Processes / Atanas Terziyski ; Nikolay T. Kochev
Advanced Numerical Tools Applied to Geo-environmental Engineering - Soils Contaminated by Petroleum Hydrocarbons, a Case Study / Maria Cristina Vila ; J.M. Soeiro de Carvalho ; António Fiúza
Population-Based Metaheuristics for Tasks Scheduling in Heterogeneous Distributed Systems / Flavin Zamfirache ; Marc Frîncu ; Daniela Zaharie
Modeling and Simulation of Electrochemical Processes
Modeling of Species and Charge Transport in Li-Ion Batteries Based on Non-equilibrium Thermodynamics / Arnulf Satz ; Jochen Zausch ; Oleg Iliev
Finite Volume Discretization of Equations Describing Nonlinear Diffusion Li-Ion Batteries / P. Popov ; Y. Vutov ; S. Margenov ; O. Iliev
Contributed Papers
Numerical Study of Magnetic Flux in the LJJ Model with Double Sine-Gordon Equation / P.Kh. Atanasova ; T.L. Boyadjiev ; E.V. Zemlyanaya ; Yu.M. Shukrinov
A Simple Preconditioner for the SIPG Discretization of Linear Elasticity Equations / B. Ayuso ; I. Georgiev ; J. Kraus ; L. Zikatanov
Merger Bound States in 0 - ? Josephson Structures / Todor L. Boyadjiev ; Hristo T. Melemov
Some Error Estimates for the Discretization of Parabolic Equations on General Multidimensional Nonconforming Spatial Meshes / Abadallah Bradji ; Jürgen Fuhrmann
Finite-Volume Difference Scheme for the Black-Scholes Equation in Stochastic Volatility Models / Tatiana Chernogorova ; Radoslav Valkov
On the Numerical Simulation of Unsteady Solutions for the 2D Boussinesq Paradigm Equation / Christo I. Christov ; Natalia Kolkovska ; Daniela Vasileva
Numerical Investigation of Spiral Structure Solutions of a Nonlinear Elliptic Problem / Milena Dimova ; Stefka Dimova
Bidirectional Beam Propagation Method Applied for Lasers with Multilayer Active Medium / N.N. Elkin ; A.P. Napartovich ; D.V. Vysotsky
Analysis of the CBS Constant for Quadratic Finite Elements / Ivan Georgiev ; Maria Lymbery ; Svetozar Margenov
Sensitivity of Results of the Water Flow Problem in a Discrete Fracture Network with Large Coefficient Differences / Jirà Kopal ; Petr Rálek
Fluxon Dynamics in Stacked Josephson Junctions / Ivan Hristov
Global Convergence Properties of the SOR-Weierstrass Method / Vladimir Hristov ; Nikolay Kyurkchiev ; Anton Iliev
Numerical Solution of a Nonlinear Evolution Equation for the Risk Preference / Naoyuki Ishimura ; Miglena N. Koleva ; Lubin G. Vulkov
A Numerical Approach for the American Call Option Pricing Model / Juri D. Kandilarov ; Radoslav L. Vaslkov
A Numerical Study of a Parabolic Monge-Ampère Equation in Mathematical Finance
Convergence of Finite Difference Schemes for a Multidimensional Boussinesq Equation / Natalia T. Kolkovska
A Numerical Approach for Obtaining Fragility Curves in Seismic Structural Mechanics: A Bridge Case of Egnatia Motorway in Northern Greece / Asterios Liolios ; Panagiotis Panetsos ; Angelos Liolios ; George Hatzigeorgiou
An Efficient Numerical Method for a System of Singularly Perturbed Semilinear Reaction-Diffusion Equations / S. Chandra Sekhara Rao ; Sunil Kumar
A Comparison of Methods for Solving Parametric Interval Linear Systems with General Dependencies
Numerical Investigation of the Upper Bounds on the Convective Heat Transport in a Heated from below Rotating Fluid Layer / Nikolay Vitanov
Author Index
Invited Papers
Space-Time Discontinuous Galerkin Finite Element Method for Convection-Diffusion Problems and Compressible Flow / Miloslav Feistauer ; Jan Cesenek
Stochastic Algorithms in Linear Algebra - beyond the Markov Chains and von Neumann - Ulam Scheme / Karl Sabelfeld
Predictability of Enforcement / Nataliia Bielova ; Fabio Massacci
Web Security / Session 3:
SessionShield: Lightweight Protection against Session Hijacking / Nick Nikiforakis ; Wannes Meert ; Yves Younan ; Martin Johns ; Wouter Joosen
Security Sensitive Data Flow Coverage Criterion for Automatic Security Testing of Web Applications / Thanh Binh Dao ; Etsuya Shibayama
Middleware Support for Complex and Distributed Security Services in Multi-tier Web Applications / Philippe De Ryck ; Lieven Desmet
Model-Based Security II / Sesssion 4:
Lightweight Modeling and Analysis of Security Concepts / Jörn Eichler
A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications / Linda Ariani Gunawan ; Frank Alexander Kraemer ; Peter Herrmann
An Architecture-Centric Approach to Detecting Security Patterns in software / Michaela Bunke ; Karsten Sohr
Security Requirements Engineering / Session 5:
The Security Twin Peaks / Thomas Heyman ; Koen Yskout ; Riccardo Scandariato ; Holger Schmidt ; Yijun Yu
Evolution of Security Requirements Tests for Service-Centric Systems / Michael Felderer ; Berthold Agreiter ; Ruth Breu
After-Life Vulnerabilities: A Study on Firefox Evolution, Its Vulnerabilities, and Fixes / Stephan Neuhaus ; Viet Hung Nguyen
Authorization / Session 6:
Authorization Enforcement Usability Case Study / Steffen Bartsch
Scalable Authorization Middleware for Service Oriented Architectures / Tom Goovaerts
Adaptable Authentication Model: Exploring Security with Weaker Attacker Models / Naveed Ahmed ; Christian D. Jensen
Ideas / Session 7:
Idea: Interactive Support for Secure Software Development / Jing Xie ; Bill Chu ; Heather Richter Lipford
Idea: A Reference Platform for Systematic Information Security Management Tool Support / Ingo Müller ; Jun Han ; Jean-Guy Schneider ; Steven Versteeg
Idea: Simulation Based Security Requirement Verification for Transaction Level Models / Johannes Loinig ; Christian Steger ; Reinhold Weiss ; Ernst Haselsteiner
Author Index
Model-Based Security I / Session 1:
Model-Based Refinement of Security Policies in Collaborative Virtual Organisations / Benjamin Aziz ; Alvaro E. Arenas ; Michael Wilson
Automatic Conformance Checking of Role-Based Access Control Policies via Alloy / David Power ; Mark Slaymaker ; Andrew Simpson
Drawing Graphs in the Plane with a Prescribed Outer Face and Polynomial Area / Erin W. Chambers ; David Eppstein ; Michael T. Goodrich ; Maarten Löffler
Crossing Minimization and Layouts of Directed Hypergraphs with Port Constraints / Markus Chimani ; Miro Spönemann ; Hoi-Ming Wong
Drawing Graphs on a Smartphone / Gioldano Da Lozzo ; Francesco Ingrassia
Topology-Driven Force-Directed Algorithms / Walter Didimo ; Giuseppe Liotta ; Salvatore A. Romeo
On Graphs Supported by Line Sets / Vida Dujmovic ; William Evans ; Stephen Kobourov ; Christophe Weibel ; Stephen Wismath
Drawing Trees with Perfect Angular Resolution and Polynomial Area / Christian A. Duncan ; Stephen G. Kobourov ; Martin Nöllenburg
Lombardi Drawings of Graphs
Optimal ISD Angular Resolution for Low-Degree Graphs / Elena Mumford
Improved Lower Bounds on the Area Requirements of Series-Parallel Graphs
A Computational Approach to Conway's Thrackle Conjecture / János Pach
Optimal K-Level Planarization and Crossing Minimization / Graeme Gange ; Peter J. Stuckey ; Kim Marriott
On Touching Triangle Graphs / Emden R. Gansner ; Yifan Hu
An Overview of Membrane Computing / Shankara Narayanan Krishna
Protecting Critical Infrastructures While Preserving Each Organization's Autonomy / Yves Deswarte
Computations and Interaction / Jos C. M. Baeten ; Bas Luttik ; Paul van Tilburg
Scribbling Interactions with a Formal Foundation / Kohei Honda ; Aybek Mukhamedov ; Gary Brown ; Tzu-Chun Chen ; Nobuko Yoshida
Open Government in Policy Development: From Collaborative Scenario Texts to Formal Policy Models / Maria A. Wimmer
Linear Process Algebra / Vaughan Pratt
Distributed Computing
Jump-Start Cloud: Efficient Deployment Framework for Large-Scale Cloud Applications / Xiaoxin Wu ; Zhiming Shen ; Ryan Wu ; Yunfeng Lin
Capacity Estimation in HPC Systems: Simulation Approach / A. Anghelescu ; R.B. Lenin ; S. Ramaswamy ; K. Yoshigoe
A Multi-Granular Lock Model for Distributed Object Oriented Databases Using Semantics / V. Geetha ; N. Sreenath
Contention-Free Many-to-Many Communication Scheduling for High Performance Clusters / Satyajit Banerjee ; Atish Datta Chowdhury ; Koushik Sinha ; Subhas Kumar Ghosh
Recursive Competitive Equilibrium Approach for Dynamic Load Balancing a Distributed System / K. Shahu Chatrapati ; J. Ujwala Rekha ; A. Vinaya Babu
Sensor Networks
Smoothed Functional and Quasi-Newton Algorithms for Routing in Multi-stage Queueing Network with Constraints / K. Lakshmanan ; Shalabh Bhatnagar
An Incremental Power Greedy Heuristic for Strong Minimum Energy Topology in Wireless Sensor Networks / B.S. Panda ; D. Pushparaj Shetty
kth Order Geometric Spanners for Wireless Ad Hoc Networks / Prabhat Kiran ; S.V. Rao
Robust and Distributed Range-Free Localization Using Anchor Nodes with Varying Communication Range for Three Dimensional Wireless Sensor Networks / Manas Kumar Mishra ; M.M. Gore
Internet Technologies and Applications
Decision Support Web Service / N. Parimala ; Anu Saini
A Scalable Architecture for Real-Time Online Data Access / Ionut Rosoiu
Socially Responsive Resource Usage: A Protocol / Hrushikesha Mohanty
An Automated HSV Based Text Tracking System from Complex Color Video / C. Misra ; P.K. Swain
Security
Enhanced Insider Threat Detection Model that Increases Data Availability / Qussai Yaseen ; Brajendra Panda
Checking Anonymity Levels for Anonymized Data / V. Valli Kumari ; N. Sandeep Varma ; A. Sri Krishna ; K.V. Ramana ; K.V.S. V.N. Raju
Chaos Based Image Encryption Scheme Based on Enhanced Logistic Map / I. Shatheesh Sam ; P. Devaraj ; R.S. Bhuvaneswaran
Bio-inspired Computing
Matrix Insertion-Deletion Systems for Bio-Molecular Structures / Lakshmanan Kuppusamy ; Anand Mahendran
Artificial Bee Colony Based Sensor Deployment Algorithm for Target Coverage Problem in 3-D Terrain / S. Mini ; Siba K. Udgata ; Samrat L. Sabat
Author Index
Invited Talks
An Overview of Membrane Computing / Shankara Narayanan Krishna
Protecting Critical Infrastructures While Preserving Each Organization's Autonomy / Yves Deswarte
(Second) Preimage Attacks on Step-Reduced RIPEMD/RIPEMD-128 with a New Local-Collision Approach / Lei Wang ; Yu Sasaki ; Wataru Komatsubara ; Kazuo Ohta ; Kazuo Sakiyama
MJH: A Faster Alternative to MDC-2 / Jooyung Lee ; Martijn Stam
Expedient Non- malleability Notions for Hash Functions / Paul Baecher ; Dominique Schröder
Stronger Difficulty Notions for Client Puzzles and Denial-of-Service-Resistant Protocols / Douglas Stebila ; Lakshmi Kuppusamy ; Jothi Rangasamy ; Colin Boyd ; Juan Gonzalez Nieto
Public-Key Encryption
On Shortening Ciphertexts: New Constructions for Compact Public Key and Stateful Encryption Schemes / Joonsang Baek ; Cheng-Kang Chu ; Jianying Zhou
Better Key Sizes (and Attacks) for LWE-Based Encryption / Richard Lindner ; Chris Peikert
Crypto Tools and Parameters
Binary Huff Curves / Julien Devigne ; Marc Joye
A Variant of the F4 Algorithm / Antoine Joux ; Vanessa Vitse
Attribute-Based Signatures / Hemanta K. Maji ; Manoj Prabhakaran ; Mike Rosulek
Digital Signatures
Sub-linear Size Traceable Ring Signatures without Random Oracles / Eiichiro Fujisaki
Author Index
Secure Two-Party Computation
Secure Set Intersection with Untrusted Hardware Tokens / Marc Fischlin ; Benny Pinkas ; Ahmad-Reza Sadeghi ; Thomas Schneider ; Ivan Visconti
Prediction Accuracy of Link-Quality Estimators / Christian Renner ; Sebastian Ernst ; Christoph Weyer ; Volker Turau
The Impact of Network Topology on Collection Performance / Daniele Puccinelli ; Omprakash Gnawali ; SunHee Yoon ; Silvia Santini ; Ugo Colesanti ; Silvia Giordano ; Leonidas Guibas
An Adaptive Algorithm for Compressive Approximation of Trajectory (AACAT) for Delay Tolerant Networks / Rajib Rana ; Wen Hu ; Tim Wark ; Chun Tung Chou
Optimization Techniques
On the Accuracy of Software-Based Energy Estimation Techniques / Philipp Hurni ; Benjamin Nyffenegger ; Torsten Braun ; Anton Hergenroeder
Fast, Accurate Event Classification on Resource-Lean Embedded Sensors / Hao Jiang ; Jason O. Hallstrom
A Mobility Management Framework for Optimizing the Trajectory of a Mobile Base-Station / Madhu Mudigonda ; Trisul Kanipakam ; Adam Dutko ; Manohar Bathula ; Nigamanth Sridhar ; Srinivasan Seetharaman
MAC Protocols
Performance Evaluation of Network Coding and Packet Skipping in IEEE 802.15.4-Based Real-Time Wireless Sensor Networks / Marc Aoun ; Antonios Argyriou ; Peter van der Stok
Opportunistic Packet Scheduling in Body Area Networks / K. Shashi Prabh ; Jan-Hinrich Hauer
Algorithms for Wireless Sensor Networks
Clock Synchronization with Deterministic Accuracy Guarantee / Ryo Sugihara ; Rajesh K. Gupta
An Experimental Evaluation of Position Estimation Methods for Person Localization in Wireless Sensor Networks / Johannes Schmid ; Frederik Beutler ; Benjamin Noack ; Uwe D. Hanebeck ; Klaus D. Müller-Glaser
A Two-Way Time of Flight Ranging Scheme for Wireless Sensor Networks / Evangelos B. Mazomenos ; Dirk De Jager ; Jeffrey S. Reeve ; Neil M. White
Systems and Abstractions
Efficient Energy Balancing Aware Multiple Base Station Deployment for WSNs / Sabbir Mahmud ; Hui Wu ; Jingling Xue
BurstProbe: Debugging Time-Critical Data Delivery in Wireless Sensor Networks / James Brown ; Ben McCarthy ; Utz Roedig ; Thiemo Voigt ; Cormac J. Sreenam
The Announcement Layer: Beacon Coordination for the Sensornet Stack / Adam Dunkels ; Luca Mottola ; Nicolas Tsiftes ; Fredrik Österlind ; Joakim Eriksson ; Niclas Finne
Author Index
Routing and Mobility
Prediction Accuracy of Link-Quality Estimators / Christian Renner ; Sebastian Ernst ; Christoph Weyer ; Volker Turau
The Impact of Network Topology on Collection Performance / Daniele Puccinelli ; Omprakash Gnawali ; SunHee Yoon ; Silvia Santini ; Ugo Colesanti ; Silvia Giordano ; Leonidas Guibas
Fast Computation of a Visual Hull / Sujung Kim ; Hee-Dong Kim ; Wook-Joong Kim ; Seong-Dae Kim
Active Learning with the Furthest Nearest Neighbor Criterion for Facial Age Estimation / Jian-Gang Wang ; Eric Sung ; Wei-Yun You
Real-Time Human Detection Using Relational Depth Similarity Features / Sho Ikemura ; Hironobu Fujiyoshi
Human Tracking by Multiple Kernel Boosting with Locality Affinity Constraints / Fan Yang ; Huchvan Lu ; Yen-Wei Chen
A Temporal Latent Topic Model for Facial Expression Recognition / Lifeng Shang ; Kwok-Ping Chan
From Local Features to Global Shape Constraints: Heterogeneous Matching Scheme for Recognizing Objects under Serious Background Clutter / Martin Klinkigt ; Koichi kise
3D Structure Refinement of Nonrigid Surfaces through Efficient Image Alignment / Yinqiang Zheng ; Shigeki Sugimoto ; Masatoshi Okutomi
Local Empirical Templates and Density Rations for People Counting / Dao Huu Hung ; Sheng-Luen Chung ; Gee-Sern Hsu
Curved Reflection Symmetry Detection with Self-Validation / Jingchen Liu ; Yanxi Liu
An HMM-SVM-Based Automatic Image Annotation Approach / Yinjie Lei ; Wilson Wong ; Wei Liu ; Mohammed Bennarnoun
Video Deblurring and Super-Resolution Technique for Multiple Moving Objects / Takuma Yamaguchi ; Hisato Fukuda ; Ryo Furukawa ; Hiroshi Kawasaki ; Peter Sturm
Sparse Source Separation of Non-instantaneous Spatially Varying Single Path Mixtures / Albert Achtenberg and ; Yehoshua Y. Zeevi
Improving Gaussian Process Classification with Outlier Detection, with Applications in Image Classification / Yan Gao ; Yigun Li
Robust Tracking Based on Pixel-Wise Spatial Pyramid and Biased Fusion / Huchuan Lu ; Shipeng Lu
Compressive Evaluation in Human Motion Tracking / Yifan Lu ; Lei Wang ; Richard Hartley ; Hongdong Li ; Dan Xu
Reconstructing Mass-Conserved Water Surfaces Using Shape from Shading and Optical Flow / David Pickup ; Chuan Li ; Darren Cosker ; Peter Hall ; Phil Willis
Image Segmentation Fusion Using General Ensemble Clustering Methods / Lucas Franek ; Dainiel Duarte Abdala ; Sandro Vega-Pons ; Xiaoyi Jiang
Real Time Myocardial Strain Analysis of Tagged MR Cines Using Element Space Non-rigid Registration / Bo Li ; Brett R. Cowan ; Alistair A. Young ; p385
Extending AMCW Lider Depth-of-Field Using a Coded Aperture / John P. Godbaz ; Michael J. Cree ; Adrian A. Dorrington
Surface Extraction from Iso-disparity Contours / Chris McCarthy
Image De-fencing Revisited / Minwoo Park ; Kyle Brocklehurst ; Robert T. Collins
Feature-Assisted Dense Spatio-temporal Reconstruction from Binocular Sequences / Yihao Zhou ; Yan Qiu Chen
Improved Spatial Pyramid Matching for Image Classification / Mohammad Shakiduzzaman ; Dengsheng Zhang ; Guojun Lu
Dense Multi-frame Optic Flow for Non-rigid Objects Using Subspace Constrants / Ravi Garg ; Luis Pizarro ; Daniel Rueckert ; Lourdes Agapito
East Recovery of Weakly Textured Surfaces from Surfaces from Monocular Image Sequences / Oliver Ruepp ; Darius Burschka
Ghost-Free High Dynamic Range Imaging / Yoag Seok Heo ; Kyoung Mu Lee ; Sang UK Lee ; Youngsu Moon ; Joonhynk Chu
Pedestrian Recognition with a Learned Metric / Mert Dikmen ; Emre Akbas ; Thomas S. Huang ; Narendra Ahuja
A Color to Grayscale Conversion Considering Local and Global Contrast / Jung Gap Kuk ; Jae Hyun Ahn ; Nam Ik Cho
Affoclance Mining: Forming Preception throught Action / Liam Ellis ; Michael Felsberg ; Richard Bowden
Spatiotemporal Contour Grouping Using Abstract Part Models / Pablo Sala ; Diego Macrini ; Sven Dickinson
Efficient Multi-structure Robust Fitting with Incremental Top-k Lists Comparison / Hoi Sim Wong ; Tat-Jun Chin ; Jin Yu ; David Suter
Flexible Online Calibration for a Mobile Projector-Camera System / Daisuke Abe ; Takayuki Okatani ; Koichiro Deguchi
3D Object Recognition Based on Canonical Angles between Shape Subspaces / Yosuke Igarashi ; Kazuhiro Fukui
An Unsupervised Framework for Action Recognition Using Actemes / Kaustubh kulkarni ; Edmond Boyer ; Radu Horaud ; Amit Kale
Segmentation of Brain Tumors in Multi-parametric MR Images via Robust Statistic Information propagation / Hongming Li ; Ming Song ; Young Fan
Face Recogaition with Decision Tree-Based Local Binary Patterns / Daniel Maturana ; Domingo Mery ; Ãivaro Soto
An Approximation Algorithm for Computing Minimum-Length Polygons in 3D Images / Wei Li ; Bing Li ; Xiaogin Zhang ; Weiming Hu ; Hanzi Wang ; Guurn Luo ; Fajie Li ; Xiuxia Pan
Classifier Acceleration by Imitation / Takahiro Ota ; Toshikazu Wada ; Takayuki Nakamura
Recognizing Continuous Grammatical Marker Facial Gestures in Sigh Language Video / Tan Dat Nguyen ; Surendra Rangarath
Invariant Feature Set Generation with the Linear Manifold Self-Organizing Map / Huicheng Zheng
A Multi-level Supporting Scheme for Face Recognition Under Partial Occlusions and Disguise / Jacky S-C. Yuk ; Kwan Yee K. Wong ; Ronald H-Y. Chung
Foreground and Shadow Segmentation Based on a Homography-Correspondence Pair / Haruyuki Iwame
Author Index
Posters on Day 3 of ACCV 2010
Fast Computation of a Visual Hull / Sujung Kim ; Hee-Dong Kim ; Wook-Joong Kim ; Seong-Dae Kim
Active Learning with the Furthest Nearest Neighbor Criterion for Facial Age Estimation / Jian-Gang Wang ; Eric Sung ; Wei-Yun You
Multi-Target Tracking by Learning Class-Specific and Instance-Specific Cues / Min Li ; Wei Chen ; Kaiqi Huang ; Tieniu Tan
Modeling Complex Scenes for Accurate Moving Objects Segmentation / Jianwei Ding
Online Learning for PLSA-Based Visual Recognition / Jie Xu ; Getian Ye ; Yang Wang ; vVei Wang ; Jun Yang
Emphasizing 3D Structure Visually Using Coded Projection from Multiple Projectors / Ryo Nakamura ; Fumihiko Sakaue ; Jun Sato
Object Class Segmentation Using Reliable Regions / Vida Vakili ; Olga Veksler
Specular Surface Recovery from Reflections of a Planar Pattern undergoing an Unknown Pure Translation / Miaomiao Liu ; K wan- Yee K. Wong ; Zhenwen Dai ; Zhihu Chen
Medical Image Segmentation Based on Novel Local Order Energy / LiingFeng Wang ; Zeyun Yu ; ChunHong Pan
Geometries on Spaces of Tree like Shapes / Aasa Feragen ; Prancois Lauze ; Pechin Lo ; Marleen de Bruijine ; Mads Nielsen
Human Pose Estimation Using Exemplars and Part Based Refinemen / Yanchao Su ; Haizhou Ai ; Takayoshi ; Shihong Lao
Full-Resolution Depth Map Estimation from an Aliased Plenoptic Light Field / Tom E. Bishop ; Paolo Faavarn
Incloor Scene Classification Using Combined 3D and Gist Features / Agnes Swadzba ; Sven Wachsmuth
Closed-From Solutions to Minimal Absolute pose Problems with Known Vertical Direction / Zuzana Kukelova ; Martin Bujnak ; Thomas Pajdla
Level Set With Embedded Conditional Random Fields and Shape Priors for Segmentation of Overlapping Objects / Xuging Wu ; Shishir K. shah
Approximate and SQP Two View Triangulation / Timo Tossavainen
Adaptive Motion Segmentation Aigorithm Based on the Principal Angles Configuration / L. Zappella ; E. Provenzi ; X. Lladó ; J. Salvi
Real-Time Detection of Small Surface Objects Using Weather Effects / Baojun Qi ; Tao Wu ; Hangen He ; Tingbo Hu
Automating Snakes for multiple Objects Detection / Baidya Nath Saha ; Nilanjan Ray ; Hong Zhang
Monocular Template-Based Reconstruction of Smooth and Inextensible Surfaces / Florent Brunet ; Richard Hartley ; Adrien Bartoli ; Nassir Nauab ; Ramy Malgouyres
Multi-class Leveraged k-NN for Image Classification / Paolo Piro ; Richard Nock ; Frank Nielsen ; Michel Barlaud
Video Based Face Recognition Using Graph Matching / Gayathri Mahalingam ; Chandra Kambhamettu
A Hybrid Supervised-Unsupervised Vocabulary Generation Algorithm for Visual Concept Recognition / Alexander Binder ; Wojciech Wojcikiewicz ; Christina Müller ; Motoaki Kawanabe
Image Inpainting Based on Probabilistic Structure Estimation / Takashi Shibata ; Akihiko Iketani ; Shuji Senda
Text Localization and Recognition in Complex Scenes Using Local Features / Qi Zheng ; Kai Chen ; Yi Zhou ; Congcong Gu ; Haibing Guan
Pyramid-Based Multi-structure Local Binary Pattern for Texture Classification / Yonggang He ; Nong Sang ; Changxin Gao
Unsupervised Moving Object Detection with On-lime Generalized Hough Transform / Jie Xu ; Yang Wang ; Wei Wang ; Jun Yang ; Zhidong Li
Interactive Event Search through Transfer Learning / Antony Lam ; Amit K. Roy-Chowdhury ; Christian R. Shelton
A Compositional Exemplar-Based Model for Hair Segmentation / Nan Wang ; Haizhou Ai ; Shihong Lao
Descriptor Learning Based on Fisher Separation Criterion for Texture Calssification / Yimo Guo ; Guoying Zhao ; Matti Pielikäinen ; Zhengguang Xu
Semi-Supervised Neighborhood Preserving Discriminaut Embedding A Semi-Supervised Subspace Learning Algorithm / Maryam Mehdizadeh ; Cara MacNish ; R. Nazim Khan ; Mohammed Bemamoun
Segmentation via NCuts and Lossy Minimum Description Length A Unified Approach / Mingyang Jiang ; Chunxiao Li ; Jufu Feng ; Liwei Wang
A Phase Discrepancy Analysis of Object Motion / Bolei Zhou ; Xiaodi Hou ; Liqing Zhang
Image Classification Using Spatial Pyramid Coding and Visual Word Reweighting / Chunjie Zhang ; Jing Liu ; Jinqiao wang ; Qi Tian ; Changsheng Xu ; Hanqing Lu ; Songde Ma
Class-Specific Low-Dimensional Representation of Local Features for Viewpoint Invariant Object Recognition / sBisser Raytcheu ; yuta Kikutsugi ; Toru Tamaki ; Kazufumi Kaneda
Learning Non-coplanar Scene Models by Exploring the Height Variation of Tracked Objects / Fei Yin ; Dimitrios Makris ; James OrwellS ; Sergio A. Velastin
Optimal Regression for Robust Direct Upsampling from Raw Data of General Color Filter Array / Masayuki Tanaka ; Masatoshi Okutomi
The Large-Scale Crowd Density Estimation Based on Effective Region Feature Extsraction Method / Hang Su ; Hua Yang ; Shibao Zheng
TILT:Transform Invariant Low-Rank Textures / Zhengdong Zhang ; Xiao Liang ; Arvind Ganesh ; Yi Ma
Translation-Symetry-Based Perceptual Grouping with Applications to Urban Scenes / Minwoo Park ; Kyle Brocklehurst ; Robert T. Collins ; Yanxi Liu
Towards Hypothesis Teting and Lossy Minimum Description Length:AUnified Segmentaition Framework / Liwer Wang
A Convex Image Segmentation:Extending Graph Cuts and Closed-Form Matting / Youngjin Park ; Suk I. Yoo
Linear Solvability in the Viewing Graph / Alessandro Rudi ; Matia Pizzoli ; Fiora Pirri
Inference Scene Labeling by Incorporating Object Detection with Explicit Shape Model / Quan Zhou ; Wenyu Liu
Saliency Density Maximization for Object Detection and Localization / Ye Luo ; Junsong Yuan ; Ping Xue
Modified Hybrid Bronchoscope Tracking Based on Sequential Monte Carlo Sampler:Dynamic Phantom Validation / Xióngbiao Luó ; Tobias Reichl ; Marco Feuerstein ; Takayuki Kitasaka ; Kensaku Mori
Affine Warp Propagation for Fast Simultaneous Modelling and Tracking of Articulated Objects / Arnaud Declercq ; Justus Piater
kPose: A New Representation for Action Recognition / Zhuoli Zhou ; Mingli Song ; Lurning Zhang ; Dacheng Tao ; Jiajun Bu ; Chun Chen
Identifying Surprising Events in Videos Using Bayesian Topic Models / Auishai Hendel ; Daphna Weinshall ; Shmuel Peleg
Face Detection with Effective Feature Extraction / Sakrapee Paisitkriangkrai ; Chunhua Shen ; Jian Zhang
Multiple Order Graph Matching / Aiping Wang ; Sikun Li ; Liang Zeng
Abstraction and Generalization of 3D Structure for Recognition in Large Intra-class Variation / Gowri Somanath
Exploiting Self-similarties for Single Frame Super-Resolution / Chih-Yuan Yang ; Jia-Bin Huang ; Ming-Hsuan Yang
On Feature Combination and Multiple Kernel Learning for Object Tracking / Huchuan Lu ; Wenling Zhang ; Yen-Wei Chen
Correspondence-Free Multi Camera Calibration by Observing a Simple Reference Plane / Satoshi Kawabata ; Yoshihro Kawai
Over-Segmentation Based Background Modeling and Foreground Detection with Shadow Removal by Using Hieraechical MRFs / Te-Feng Su ; Yi-Lang Chan ; Shang-Hong Lai
MRF-Based Background Initialisation for Improved Foreground Detection in Cluttered Surveillance Videos / Vikas Reddy ; Conrad Sanderson ; Andres Sanin ; Brian C. Louell
Adaptive ?LBP for Background Subtraction / Ling Feng ; HuaiYu Wu ; ChunHong Pan
Continuous Surface-Point Distributions for 3D Object Pose Estimation and Recogition / Renaud Detry
Efficient Structured Support Vector Regression / Ke Jia ; Lei Wang ; Nianjun Liu
Modeling Dynamic Scenes Recorded with Freely Moving Cameras / Aparna Taneja ; Luca Ballan ; Mare Pollefeys
Learning Image Structures for Optimizing Disparity Estimation / M V Rohith
Image Reconstruction for High-Sensitivty Imaging by Using Combined Long/Short Exposure Type Single-Chip Image Sensor / Sanzo Ugawa ; Takeo Azurna ; Taro Imagawa ; Yusuke Okada
On the Use of Implicit Shape Models for Recognition of Object Categories in 3D Data / Samuele Salti ; Faderico Tombari ; Luigi Di Stefano
Phase Registratino of a Single Quasi-Periodic Signal Using Self Dynamic Time Warping / Yasushi Makihara ; Ngo Thanh Trung ; Hajime Negahara ; Ryusuke Sagawo ; Yasuhiro Mukaigawa ; Yasushi Yagi
Latent Gaussian Mixture Regression for Human Pose Estimation Yan Tian,Leonid Sigal,Hernán Badino / Fernando De la Torre ; Yong Liu
Top-Down Cues for Event Recognition / Li Li ; Chunfeng Yuan ; Weiming Hu ; Bing Li
Robust Photometric Stereo via Low-Rank Matrix Completion and Recovery / Lun Wu ; Aruind Ganesh ; Boxin Shi ; Yasuyuki Matsuhite ; Yongtian Wang
Robust Auxiliary Particle Filter with an Adaptive Appearance Model for Visual Tracking / Du Yong Kim ; Ehwa Yang ; Moongu Jeon ; Vladimir Shin
Sustained Observability for Salient Motion Detection / Viswanath Gopalakrishnan ; Yiqun Hu ; Deepu Rajan
Markerless and Efficient 26-DOF Hand Pose Recovery / Iasonas Oikonomidis ; Nikolaos Kyriazis ; Antonis A. Argyros
Exascale Computing Technology Challenges / John Shalf ; Sudip Dosanjh ; John Morrison
The Parallel Revolution Has Started: Are You Part of the Solution or Part of the Problem? An Overview of Research at the Berkeley Parallel Computing Laboratory / David Patterson
HPC Techniques for a Heart Simulator / Takumi Washio ; Jun-ichi Okada ; Seiryo Sugiura ; Toshiaki Hisada
Game Changing Computational Engineering Technology / Charbel Farhat
HPC in Phase Change: Towards a New Execution Model / Thomas Sterling
Linear Algebra and Solvers on Emerging Architectures
Factors Impacting Performance of Multithreaded Sparse Triangular Solve / Michael M. Wolf ; Michael A. Heroux ; Erik G. Boman
Performance and Numerical Accuracy Evaluation of Heterogeneous Multicore Systems for Krylov Orthogonal Basis Computation / Jérôme Dubois ; Christophe Calvin ; Serge Petiton
An Error Correction Solver for Linear Systems: Evaluation of Mixed Precision Implementations / Hartwig Anzt ; Vincent Heuveline ; Björn Rocker
Multifrontal Computations on GPUs and Their Multi-core Hosts / Robert F. Lucas ; Gene Wagenbreth ; Dan M. Davis ; Roger Grimes
Accelerating GPU Kernels for Dense Linear Algebra / Rajib Nath ; Stanimire Tomov ; Jack Dongarra
A Scalable High Performant Cholesky Factorization for Multicore with GPU Accelerators / Hatem Ltaief ; Peng Du
On the Performance of an Algebraic Multigrid Solver on Multicore Clusters / Allison H. Baker ; Martin Schulz ; Ulrike M. Yang
An Hybrid Approach for the Parallelization of a Block Iterative Algorithm / Carlos Balsa ; Ronan Guivarch ; Daniel Ruiz ; Mohamed Zenadi
Towards an Efficient Tile Matrix Inversion of Symmetric Positive Definite Matrices on Multicore Architectures / Emmanuel Agullo ; Henricus Bouwmeester ; Jakub Kurzak ; Julien Langou ; Lee Rosenberg
A Massively Parallel Dense Symmetric Eigensolver with Communication Splitting Multicasting Algorithm / Takahiro Katagiri ; Shoji Itoh
Large Scale Simulations in CS&E
Global Memory Access Modelling for Efficient Implementation of the Lattice Boltzmann Method on Graphics Processing Units / Christian Obrecht ; Frédéric Kuznik ; Bernard Tourancheau ; Jean-Jacques Roux
Data Structures and Transformations for Physically Based Simulation on a GPU / Perhaad Mistry ; Dana Schaa ; Byunghyun Jang ; David Kaeli ; Albert Dvornik ; Dwight Meglan
Scalability Studies of an Implicit Shallow Water Solver for the Rossby-Haurwitz Problem / Chao Yang ; Xiao-Chuan Cai
Parallel Multigrid Solvers Using OpenMP/MPI Hybrid Programming Models on Multi-Core/Multi-Socket Clusters / Kengo Nakajima
A Parallel Strategy for a Level Set Simulation of Droplets Moving in a Liquid Medium / Oliver Fortmeier ; H. Martin Bücker
Optimization of Aircraft Wake Alleviation Schemes through an Evolution Strategy / Philippe Chatelain ; Mattia Gazzola ; Stefan Kern ; Petros Koumoutsakos
Parallel and Distributed Computing
On-Line Multi-threaded Processing of Web User-Clicks on Multi-core Processors / Carolina Bonacic ; Carlos Garcia ; Mauricio Marin ; Manuel Prieto ; Francisco Tirado
Performance Evaluation of Improved Web Search Algorithms / Esteban Feuerstein ; Veronica Gil-Costa ; Michel Mizrahi
Text Classification on a Grid Environment / Valeriana G. Roncero ; Myrian C.A. Costa ; Nelson F.F. Ebecken
On the Vectorization of Engineering Codes Using Multimedia Instructions / Manoel Cunha ; Alvaro Coutinho ; J.C.F. Telles
Numerical Library Reuse in Parallel and Distributed Platforms / Nahid Emad ; Olivier Delannoy ; Makarem Dandouna
Improving Memory Affinity of Geophysics Applications on NUMA Platforms Using Minas / Christiane Pousa Ribeiro ; Márcio Castro ; Jean-François Méhaut ; Alexandre Carissimi
HPC Environment Management: New Challenges in the Petaflop Era / Jonas Dias ; Albino Aveleda
Evaluation of Message Passing Communication Patterns in Finite Element Solution of Coupled Problems / Renato N. Elias ; Jose J. Camata ; Alvaro L.G.A. Coutinho
Applying Process Migration on a BSP-Based LU Decomposition Application / Rodrigo da Rosa Righi, Laércio Lima Pilla ; Philippe Olivier Alexandre Navaux ; Hans-Ulrich Heiss
A P2P Approach to Many Tasks Computing for Scientific Workflows / Eduardo Ogasawara ; Daniel Oliveira ; Carla ; Rodrigues ; Carlos Pivotto ; Rafael Antas ; Vanessa Braganholo ; Patrick Valduriez ; Marta Mattoso
Intelligent Service Trading and Brokering for Distributed Network Services in GridSolve / Aurélie Hurault ; Asim YarKhan
Load Balancing in Dynamic Networks by Bounded Delays Asynchronous Diffusion / Jacques M. Bahi ; Sylvain Contassot-Vivier ; Arnaud Giersch
A Computing Resource Discovery Mechanism over a P2P Tree Topology / Damia Castellà ; Hector Blanco ; Francesc Giné ; Francesc Solsona
Numerical Algorithms
A Parallel Implementation of the Jacobi-Davidson Eigensolver for Unsymmetric Matrices / Eloy Romero ; Manuel B. Cruz ; Jose E. Roman ; Paulo B. Vasconcelos
The Impact of Data Distribution in Accuracy and Performance of Parallel Linear Algebra Subroutines / Mariana Kolberg
On a strategy for Spectral Clustering with Parallel Computation / Sandrine Mouysset ; Joseph Noailles
On Techniques to Improve Robustness and Scalability of a Parallel Hybrid Linear Solver / Ichitaro Yamazaki ; Xiaoye S. Li
Solving Dense Interval Linear Systems with Verified Computing on Multicore Architectures / Cleber Roberto Milani ; Luiz Gustavo Fernandes
TRACEMIN-Fiedler: A Parallel Algorithm for Computing the Fiedler Vector / Murat Manguoglu ; Eric Cox ; Faisal Saied ; Ahmed Sameh
Applying Parallel Design Techniques to Template Matching with GPUs / Robert Finis Anderson ; J. Steven Kirtzic ; Ovidiu Daescu
Author Index
Invited Talks
Exascale Computing Technology Challenges / John Shalf ; Sudip Dosanjh ; John Morrison
The Parallel Revolution Has Started: Are You Part of the Solution or Part of the Problem? An Overview of Research at the Berkeley Parallel Computing Laboratory / David Patterson
Surveillance, Privacy and the Law of Requisite Variety / Vasilios Katos ; Frank Stowell ; Peter Bednar
A Notation for Policies Using Feature Structures / Kunihiko Fujita ; Yasuyuki Tsukada
Autonomous and Spontaneous Security
Securing P2P Storage with a Self-organizing Payment Scheme / Nouha Oualha ; Yves Roudier
STARS: A Simple and Efficient Scheme for Providing Transparent Traceability and Anonymity to Reputation Systems / Zonghua Zhang ; Jingwei Liu ; Youki Kadobayashi
DualTrust: A Distributed Trust Model for Swarm-Based Autonomic Computing Systems / Wendy Maiden ; Ioanna Dionysiou ; Deborah Frincke ; Glenn Fink ; David E. Bakken
One-Pass HMQV and Asymmetric Key-Wrapping / Shai Halevi ; Hugo Krawczyk
Linear Recurring Sequences for the UOV Key Generation / Albrecht Petzoldt ; Stanislav Bulygin ; Johannes BuchmannSignatures II:
On the Impossibility of Instantiating PSS in the Standard Model / Rishiraj Bhattacharyya
On-line Non-transferable Signatures Revisited / Jacob C.N. Schuldt
Zero-Knowledge
Round-Efficient Sub-linear Zero-Knowledge Arguments for Linear Algebra / Jae Hong Seo
Signatures on Randomizable Ciphertexts / Olivier Blazy ; Georg Fuchsbauer ; David Pointcheval ; Damien Vergnaud
Revocation for Delegatable Anonymous Credentials / Tolga Acar ; Lan Nguyen
Cryptanalysis
Cryptanalysis of Multivariate and Odd-Characteristic HFE Variants / Luk Bettale ; Jean-Charles Faugère ; Ludovic Perret
Cryptanalysis of Cryptosystems Based on Non-commutative Skew Polynomials / Vivien Dubois ; Jean-Gabriel Kammerer
Practical Cryptanalysis of the Identification Scheme Based on the Isomorphism of Polynomial with One Secret Problem / Charles Bouillaguet ; Pierre-Alain Fouque
Author Index
Linearly Homomorphic Signatures over Binary Fields and New Tools for Lattice-Based Signatures / Dan Boneh ; David Mandell FreemanSignatures I:
Homomorphic Network Coding Signatures in the Standard Model / Nuttapong Attrapadung ; Benoît Libert
Efficient Attribute-Based Signatures for Non-monotone Predicates in the Standard Model / Tatsuaki Okamoto ; Katsuyuki Takashima
Influence of Treebank Design on Representation of Multiword Expressions / Eduard Bejcek ; Pavel Stranák ; Daniel Zeman
Combining Contextual and Structural Information for Supersense Tagging of Chinese Unknown Words / Likun Qiu ; Yunfang Wu ; Yanqiu Shao
Identification of Conjunct Verbs in Hindi and Its Effect on Parsing Accuracy / Rafiya Begum ; Karan Jindal ; Ashish Jain ; Samar Husain ; Dipti Misra Sharma
Computational Linguistics and Natural Language Processing (Invited Paper) / Jun'ichi Tsujii
An Unsupervised Approach for Linking Automatically Extracted and Manually Crafted LTAGs / Heshaam Faili ; Ali Basirat
Tamil Dependency Parsing: Results Using Rule Based and Corpus Based Approaches / Loganathan Ramasamy ; Zdenek Zabokrtský
Incemental Combinatory Categorial Grammar and Its Derivations / Ahmed Hefny ; Hany Hassan ; Mohamed Bahgat
Dependency Syntax Analysis Using Grammar Induction and a Lexical Categories Precedence System / Hiram Calvo ; Omar J. Gambino ; Alexander Gelbukh ; Kentaro Inui
Imbroving Text Segmentation with Non-systematic Semantic Relation (Verifiability Award) / Viet Cuong Nguyen ; Le Minh Nguyen ; Akira Shimazu
Automatic Identification of Cause-Effect Relations in Tamil Using CRFs / Menaka S. ; Pattabhi R.K. Rao ; Sobha Lalitha Devi
Comparing Approaches to Tag Discourse Relations / Shamima Mithun ; Leila Kosseim
Semi-supervised Discourse Relation Classification with Structural Learning / Hugo Hernault ; Danushka Bollegala ; Mitsuru Ishizuka
Integrating Japanese Particles Function and Information Structure / Akira Ohtani
Assessing Lexical Alignment in Spontaneous Direction Dialogue Data by Means of a Lexicon Network Model / Alexander Mehler ; Andy Lücking ; Peter Menke
Opinion Mining and Sentiment Detection
Towards Well-Gounded Phrase-Level Polarity Analysis / Robert Remus ; Christian Hänig
Implicit Feature Identification via Co-occurrence Association Rule Mining / Zhen Hai ; Kuiyu Chang ; Jung-jae Kim
Construction of Wakamono Kotoba Emotion Dictionary and Its Application / Kazuyuki Matsumoto ; Fuji Ren
Temporal Analysis of Sentiment Events - A Visual Realization and Tracking / Dipankar Das ; Anup Kumar Kolya ; Asif Ekbal
Ontology Based Interlingua Translation / Leonardo Lesmo ; Alessandro Mazzei ; Daniele P. Radicioni
Phrasal Equivalence Classes for Generalized Corpus-Based Machine Translation / Rashmi Gangadharaiah ; Ralf D. Browm ; Jaime Carbonell
A Multi-view Approach for Term Translation Spotting / Raphaël Rubino ; Georges Linarès
ICE-TEA: In-Context Expansion and Translation of English Abbreviation / Waleed Ammar ; Kareem Darwish ; Ali El Kahki ; Khaled Hafez
Word Segmentation for Dialect Translation / Michael Paul ; Andrew Finch ; Eiichiro Sumita
TEP: Tehran English-Persian Parallel Corpus / Mohammad Taher Pilevar ; Heshaam Faili ; Abdol Hamid Pilevar
Effective Use of Dependency Structure for Bilingual Lexicon Creation (Best Paper Award, Third Place) / Daniel Andrade ; Takuya Matsuzaki ; Jun'ichi Tsujii
Online Learning via Dynamic Reranking for Computer Assisted Translation / Pascual MartÃnez-Gómez ; Germán Sanchis-Trilles ; Francisco Casacuberta
Information Extraction and Information Retrieval
Learning Relation Extraction Grammars with Minimal Human Intervention: Strategy, Results, Insights and Plans (Invited Paper) / Hans Uszkoreit
Using Graph Based Method to Improve Bootstrapping Relation Extraction / Haibo Li ; Danushka Bollegala ; Yutaka Matsuo ; Mitsuru Ishizuka
A Hybrid Approach for the Extraction of Semantic Relations from MEDLINE Abstracts / Asma Ben Abacha ; Pierre Zweigenbaum
An Active Learning Process for Extraction and Standardisation of Medical Measurements by a Trainable FSA / Jon Patrick ; Mojtaba Sabbagh
Topic Chains for Understanding a News Corpus / Dongwoo Kim ; Alice Oh
From Italian Text to TimeML Document via Dependency Parsing / Livio Robaldo ; Tommaso Caselli ; Irene Russo ; Matteo Grella
Self-adjusting Bootstrapping (Best Paper Award, Second Place) / Shoji Fujiwara ; Satoshi Sekine
Story Link Detection Based on Event Words / Letian Wang ; Fang Li
Ranking Multilingual Documents Using Minimal Language Dependent Resources / G.S.K. Santosh ; N. Kiran Kumar ; Vasudeva Varma
Measuring Chinese-English Cross-Lingual Word Similarity with HowNet and Parallel Corpus / Yunqing Xia ; Taotao Zhao ; Jianmin Yao ; Peng Jin
Text Categorization and Classification
Comparing Manual Text Patterns and Machine Learning for Classification of E-Mails for Automatic Answering by a Government Agency / Hercules Dalianis ; Jonas Sjöbergh ; Eriks Sneiders
Using Thesaurus to Improve Multiclass Text Classification / Nooshin Maghsoodi ; Mohammad Mehdi Homayounpour
Adaptable Term Weighting Framework for Text Classification / Dat Huynh ; Dat Iran ; Wanli Ma ; Dharmendra Sharma
Wikipedia Vandalism Detection: Combining Natural Language, Metadata, and Reputation Features / B. Thomas Adler ; Luca de Alfaro ; Santiago M. Mola-Velasco ; Paolo Rosso ; Andrew G. West
Costco: Robust Content and Structure Constrained Clustering of Networked Documents / Su Yan ; Dongwon Lee ; Alex Hai Wang
Summarization and Recognizing Textual Entailment
Learning Predicate Insertion Rules for Document Abstracting / Horacio Saggion
Multi-topical Discussion Summarization Using Structured Lexical Chains and Cue Words / Jun Hatori ; Akiko Murakami
Multi-document Summarization Using Link Analysis Based on Rhetorical Relations between Sentences / Nik Adilah Hanin Binti Zahri ; Fumiyo Fukumoto
Co-clustering Sentences and Terms for Multi-document Summarization / Yonggang Zhang
Answer Validation Using Textual Entailment / Partha Pakray ; Alexander Gelbukh ; Sivaji Bandyopadhyay
Authoring Aid, Error Correction, and Style Analysis
SPIDER: A System for Paraphrasing in Document Editing and Revision-Applicability in Machine Translation Pre-editing / Anabela Barreiro
Providing Cross-Lingual Editing Assistance to Wikipedia Editors / Ching-man Au Yeung ; Kevin Duh ; Masaaki Nagata
Reducing Overdetections in a French Symbolic Grammar Checker by Classification / Fabrizio Gotti ; Philippe Langlais ; Guy Lapalme ; Simon Charest ; Éric Brunelle
Performance Evaluation of a Novel Technique for Word Order Errors Correction Applied to Non Native English Speakers' Corpus / Theologos Athanaselis ; Stelios Bakamidis ; Ioannis Dologlou
Correcting Verb Selection Errors for ESL with the Perceptron / Xiaohua Liu ; Bo Han ; Ming Zhou
A Method to Measure the Reading Difficulty of Japanese Words / Keiji Yasuda
Informality Judgment at Sentence Level and Experiments with Formality Score / Shibamouli Lahiri ; Prasenjit Mitra ; Xiaofei Lu
Speech Recognition and Generation
Combining Word and Phonetic-Code Representations for Spoken Document Retrieval / Alejandro Reyes-Barragán ; Manuel Montes-y-Gómez ; Luis Villaseñor-Pineda
Automatic Rule Extraction for Modeling Pronunciation Variation / Zeeshan Ahmed ; Julie Carson-Berndsen
Predicting Word Pronunciation in Japanese / Hisami Suzuki
A Minimum Cluster-Based Trigram Statistical Model for Thai Syllabification / Chonlasith Jucksriporn ; Ohm Sornil
Automatic Generation of a Pronunciation Dictionary with Rich Variation Coverage Using SMT Methods / Panagiota Karanasou ; Lori Lamel
Author Index
Machine Translation and Multilingualism
Ontology Based Interlingua Translation / Leonardo Lesmo ; Alessandro Mazzei ; Daniele P. Radicioni
Phrasal Equivalence Classes for Generalized Corpus-Based Machine Translation / Rashmi Gangadharaiah ; Ralf D. Browm ; Jaime Carbonell
Empirical Language Analysis in Software Linguistics / Jean-Marie Favre ; Dragan Gasevic ; Ekaterina Pek
Interactive Disambiguation of Meta Programs with Concrete Object Syntax / Lennart C.L. Kats, Karl T. Kalleberg ; Eelco Visser
Domain-Specific Languages
Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies / Arnaud Hubaux ; Quentin Boucher ; Herman Hartmann ; Raphaël Michel ; Patrick Heymans
Extending DMM Behavior Specifications for Visual Execution and Debugging / Nils Bandener ; Christian Soltenborn ; Gregor Engels
Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation / Nicolas Genon, Patrick Heymans ; Daniel Amyot
Featherweight TEX and Parser Correctness / Sebastian Thore Erdweg ; Klaus Ostermann
Author Index
Keynote / Martin Erwig
A Language for Software Variation Research (Invited Talk)
Exploring the Architecture of a Stream Register-Based Snoop Filter / Matthias Blumrich ; Valentina Salapura ; Alan Gara
CROB: Implementing a Large Instruction Window through Compression / Fernando Latorre ; Grigorios Magklis ; Jose González ; Pedro Chaparro ; Antonio González
A Multithreaded Multicore System for Embedded Media Processing / Jan Hoogerbrugge ; Andrei Terechko
Regular Papers
Parallelization Schemes for Memory Optimization on the Cell Processor: A Case Study on the Harris Corner Detector / Tarik Saidani ; Lionel Lacassagne ; Joel Falcou ; Claude Tadonki ; Samir Bouaziz
Constructing Application-Specific Memory Hierarchies on FPGAs / Harald Devos ; Jan Van Campenhout ; Ingrid Verbauwhede ; Dirk Stroobandt
First Workshop on Programmability Issues for Multi-core Computers (MULTIPROG)
autopin - Automated Optimization of Thread-to-Core Pinning on Multicore Systems / Tobias Klug ; Michael Ott ; Josef Weidendorfer ; Carsten Trinitis
Robust Adaptation to Available Parallelism in Transactional Memory Applications / Mohammad Ansari ; Mikel Luján ; Christos Kotselidis ; Kim Jarvis ; Chris Kirkham ; Ian Watson
Efficient Partial Roll-Backing Mechanism for Transactional Memory Systems / M.M. Waliullah
Software-Level Instruction-Cache Leakage Reduction Using Value-Dependence of SRAM Leakage in Nanometer Technologies / Maziar Goudarzi ; Tohru Ishihara ; Hamid Noori
Author Index
Third International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC)
Dynamic Cache Partitioning Based on the MLP of Cache Misses / Miquel Moreto ; Francisco J. Cazorla ; Alex Ramirez ; Mateo Valero
Cache Sensitive Code Arrangement for Virtual Machine / Chun-Chieh Lin ; Chuen-Liang Chen
McFLAT: A Profile-Based Framework for MATLAB Loop Analysis and Transformations / Amina Aslam ; Laurie Hendren
Static Analysis of Dynamic Schedules and Its Application to Optimization of Parallel Programs / Christoph M. Angerer ; Thomas R. Gross
Lowering STM Overhead with Static Analysis / Yehuda Afek ; Guy Korland ; Arie Zilberstein
A Parallel Numerical Solver Using Hierarchically Tiled Arrays / James C. Brodman ; G. Carl Evans ; Murat Manguoglu ; Ahmed Sameh ; María J. Garzarán ; David Padua
Tackling Cache-Line Stealing Effects Using Run-Time Adaptation / Stéphane Zuckerman ; William Jalby
Locality Optimization of Stencil Applications Using Data Dependency Graphs / Daniel Orozco ; Elkin Garcia ; Guang Gao
Array Regrouping on CMP with Non-uniform Cache Sharing / Yunlian Jiang ; Eddy Z. Zhang ; Xipeng Shen ; Yaoqing Gao ; Roch Archambault
Sublimation: Expanding Data Structures to Enable Data Instance Specific Optimizations / Harmen L.A. van der Spek ; Harry A.G. Wijshoff
Optimizing and Auto-tuning Belief Propagation on the GPU / Scott Grauer-Gray ; John Cavazos
A Programming Language Interface to Describe Transformations and Code Generation / Gabe Rudy ; Malik Murtaza Khan ; Mary Hall ; Chun Chen ; Jacqueline Chame
Unified Parallel C for GPU Clusters: Language Extensions and Compiler Implementation / Li Chen ; Lei Liu ; Shenglin Tang ; Lei Huang ; Zheng Jing ; Shixiong Xu ; Dingfei Zhang ; Baojiang Shou
How Many Threads to Spawn during Program Multithreading? / Alexandru Nicolau ; Arun Kejariwal
Parallelizing Compiler Framework and API for Power Reduction and Software Productivity of Real-Time Heterogeneous Multicores / Akihiro Hayashi ; Yasutaka Wada ; Takeshi Watanabe ; Takeshi Sekiguchi ; Masayoshi Mase ; Jun Shirako ; Keiji Kimura ; Hironori Kasahara
Debugging Large Scale Applications in a Virtualized Environment / Filippo Gioachin ; Gengbin Zheng ; Laxmikant V. Kalé
Optimizing the Exploitation of Multicore Processors and GPUs with OpenMP and OpenCL / Roger Ferrer ; Judit Planas ; Pieter Bellens ; Alejandro Duran ; Marc Gonzalez ; Xavier Martorell ; Rosa M. Badia ; Eduard Ayguade ; Jesus Labarta
CnC-CUDA: Declarative Programming for GPUs / Max Grossman ; Alina Simion Sbîrlea ; Zoran Budimlic ; Vivek Sarkar
Parallel Graph Partitioning on Multicore Architectures / Xin Sui ; Donald Nguyen ; Martin Burtscher ; Keshav Pingali
The STAPL pView / Antal Buss ; Adam Fidel ; Harshvardhan ; Timmie Smith ; Gabriel Tanase ; Nathan Thomas ; Xiabing Xu ; Mauro Bianco ; Nancy M. Amato ; Lawrence Rauchwerger
Author Index
McFLAT: A Profile-Based Framework for MATLAB Loop Analysis and Transformations / Amina Aslam ; Laurie Hendren
Static Analysis of Dynamic Schedules and Its Application to Optimization of Parallel Programs / Christoph M. Angerer ; Thomas R. Gross
Lowering STM Overhead with Static Analysis / Yehuda Afek ; Guy Korland ; Arie Zilberstein
An Algebraic Multigrid Solution of Large Hierarchical Markovian Models Arising in Web Information Retrieval
An Introduction to Modelling and Performance Evaluation for TCP Networks / Raffaello Secchi
Performance Modelling and Evaluation of a Mobility Management Mechanism in IMS-Based Networks / Is-Haka M. Mkwawa ; Wolfgang Brandstdtter ; Gerhard Horak ; Alfons Geier ; Christoforos Kavadias
Generalized QBD Processes, Spectral Expansion and Performance Modeling Applications / Tien Van Do ; Ram Chakka
Some New Markovian Models for Traffic and Performance Evaluation of Telecommunication Networks
Modelling and Analysis of a Dynamic Guard Channel Handover Scheme with Heterogeneous Call Arrival Processes / Lan Wang ; Geyong Min ; Xiangxiang Zuo
On the Performance Modelling and Optimisation of DOCSIS HFC Networks / Neelkamal P. Shah ; Jim Martin ; Scott Moser
Mobile, Wireless and Ad Hoc Networks
Mobility Models for Mobility Management / Vicente Casares-Giner ; Vicent Pla ; Pablo Escalle-GarcÃa
Wireless Ad Hoc Networks: An Overview David Remondo Broadcasting Methods in Manets: An Overview
ROMA: A Middleware Framework for Seamless Handover / David Erman ; Karel de Vogeleer ; Alexandra Popescu
Seamless Roaming: Developments and Challenges / Dragos Rie
Optical Networks
Optical Metropolitan Networks: Packet Format, MAC Protocols and Quality of Service / Tulin Atmaca ; Viet-Hung Nguyen
Performance Modelling and Traffic Characterisation of Optical Networks / Harry Mouchos ; Athanasios Tsokanos
QoS Metrics and Algorithms
The Search for QoS in Data Networks: A Statistical Approach / Pablo Belzarena ; MarÃa Simon
Transform-Domain Analysis of Packet Delay in Network Nodes with QoS-Aware Scheduling / Stijn De Vuyst ; Sabine Wittevrongel
All IP Convergence and Networking IP Networking and Future Evolution
Content Distribution over IP: Developments and Challenges / David Remondo ; Stefano Giordano
Network Management and Services
Implementation and Evaluation of Network Intrusion Detection Systems / Monis Akhiaq ; Faeiz Alserhani ; Irfan Aw'an ; John Mellor ; Andrea J. Cullen ; Abdullah Al-Dhelaan
Overlay Networks
Unicast QoS Routing in Overlay Networks / Dragos Hie
Overlay Networks and Graph Theoretic Concepts
Author Index
Measurement Techniques
On Kleinrock's Independence Assumption Adrian Popescu and Doru Constantinescu / Adrian Popescu ; Doru Constantinescu
Improved Approximations for Hard Optimization Problems via Problem Instance Classification / Hans-Joachim Böckenhauer ; Juraj Hromkovic ; Tobias Mömke
Counting Plane Graphs with Exponential Speed-Up / Herbert Edelsbrunner ; Michael Kerber ; Andreas Razen ; Emo Welzl
Formal Languages and Automata
Ancient Typefaces and Parametric Weighted Finite Automata / Jürgen Albert ; German Tischler
On Language Decompositions and Primality / Michael Domaratzki ; Kai Salomaa
A Unifying Kleene Theorem for Weighted Finite Automata / Zoltán Ésik ; Werner Kuich
Local Squares, Periodicity and Finite Automata / Mari Huova ; Juhani Karhumäki ; Aleksi Saarela ; Kalle Saari
Transdisciplinary Collaboration and Lifelong Learning: Fostering and Supporting New Learning Opportunities / Gitta Domik ; Gerhard Fischer
Towards an Open Learning Infrastructure for Open Educational Resources: Abundance as a Platform for Innovation / Erik Duval ; Katrien Verbert ; Joris Klerkx
Why E-Learning as It Stands Is Not Enough / Narayanan Kulathuramaiyer ; Hermann Maurer
The Practice of Informatics
Domains: Their Simulation, Monitoring and Control-A Divertimento of Ideas and Suggestions / Dines Bjørner
Roots and Stimuli to a New Perception of Informatics / Jozef Gruska
Towards a New Shape Description Paradigm Using the Generative Modeling Language / Sven Havemann ; Dieter W. Fellner
Name Resolution by Rewriting in Dynamic Networks of Mobile Entities / Jan van Leeuwen ; Jirà Wiedermann
Maintaining the Personal Style and Flair of Handwriting in Presentation Recordings / Khaireel A. Mohamed ; Thomas Ottmann
TGV-Fusion / Thomas Pock ; Lukas Zebedin ; Horst Bischof
Secure and Privacy-Preserving eGovernment-Best Practice Austria / Karl Christian Posch ; Reinhard Posch ; Arne Tauber ; Thomas Zefferer ; Bernd Zwattendorfer
The Quest for Uncertainty / Jörg Zimmermann ; Armin B. Cremers
Author Index
Algorithmics
Improved Approximations for Hard Optimization Problems via Problem Instance Classification / Hans-Joachim Böckenhauer ; Juraj Hromkovic ; Tobias Mömke
Counting Plane Graphs with Exponential Speed-Up / Herbert Edelsbrunner ; Michael Kerber ; Andreas Razen ; Emo Welzl
Virtual Doctor System (VDS): Reasoning Challenges for Simple Case Diagnosis Based on Ontologies Alignment / Hamido Fujita ; Jun Hakura ; Masaki Kurematsu
Image Similarities on the Basis of Visual Content - An Attempt to Bridge the Semantic Gap / Halina Kwasnicka ; Mariusz Paradowski ; Michal Stanek ; Michal Spytkowski ; Andrzej Sluzek
Intelligent Database Systems
Architecture for a Parallel Focused Crawler for Clickstream Analysis / Ali Selamat ; Fatemeh Ahmadi-Abkenari
A Model for Complex Tree Integration Tasks / Marcin Maleszka ; Ngoc Thanh Nguyen
Prototype of Object-Oriented Declarative Workflows / Marcin Dabrowski ; Michal Drabik ; Mariusz Drabik ; Mariusz Trzaska ; Kazimierz Subieta
Extraction of TimeER Model from a Relational Database / Quang Hoang ; Toan Van Nguyen
Certain Answers for Views and Queries Expressed as Non-recursive Datalog Programs with Negation / Victor Felea
Data Deduplication System for Supporting Multi-mode / Ho Min Jung ; Won Vien Park ; Wan Yeon Lee ; Jeong Gun Lee ; Young Woong Ko
On the Maximality of Secret Data Ratio in CPTE Schemes / Trung Huy Phan ; Hai Thanh Nguyen
A Comparative Analysis of Managing XML Data in Relational Database / Kamsuriah Ahmad
Bob-Tree: An Efficient B+-Tree Based Index Structure for Geographic-Aware Obfuscation / Quoc Cuong To ; Tran Khanh Dang ; Josef Küng
A Mutual and Pseudo Inverse Matrix - Based Authentication Mechanism for Outsourcing Service / Hue T.B. Pham ; Thuc D. Nguyen ; Van H. Dang ; Isao Echizen ; Thuy T.B. Dong
Anonymizing Shortest Paths on Social Network Graphs / Shyue-Liang Wang ; Zheng-Ze Tsai ; Tzung-Pei Hong ; I-Hsien Ting
Data Warehouses and Data Mining
Wei-Shing Chen / Fong-Jung Yu
Time series Subsequence Matching Based on a Combination of PIP and Clipping / Thanh Son Nguyen ; Tuan Anh Duong
Cloud intelligent Services for Calculating Emissions and Costs of Air Pollutants and Greenhouse Gases / Thanh Binh Nguyen ; Fabian Wagner ; Wolfgang Schoepp
Distributed Representation of Word / Jan-Chi Huang ; Wei-Chen Cheng ; Cheng-Yuan Liou
Mining Frequent Itemsets from Multidimensional Databases / Bay Vo ; Bac Le ; Thang N. Nguyen
Hybrid Fuzzy Clustering Using Lp Norms / Tomasz Przybyta ; Janusz Jewski ; Krzysztof Horoba ; Dawid Roj
Using intelligence Techniques to Predict Postoperative Morbidity of Endovascular Aneurysm Repair / Nan-Chen Hsieh ; Jui-Fa Chen ; Kuo-Chen Lee ; Hsin-Che Tsai
Using Quick Decision Tree Algorithm to Find Better RBF Networks / Hyontai Sug
To Propose Strategic Suggestions for Companies via IPC Classification and Association Analysis / Tzu-Fu Chiu ; Chao-Fu Hong ; Yu-Ting Chiu
A New Vertex Similarity Metric for Community Discovery: A Distance Neighbor Model / Yueping Li
Seat Usage Data Analysis and Its Application for Library Marketing / Toshiro Minami ; Eunja Kim
MDL: Metrics Definition Language / Jerzy BrzeziD ski ; Dariusz Dwornikowski ; Michal Kalewski ; Tomasz Pawlak ; Michai Sajkowski
Natural Language Processing and Computational Linguistics
A Statistical Global Feature Extraction Method for Optical Font Recognition / Bilal Bataineh ; Siti Norul Huda Sheikh Abdullah ; Khairudin Omar
Domain N-Gram Construction and Its Application to Text Editor / Myunggwon Hwang ; Dongjin Choi ; Hyogap Lee ; Pankoo Kim
Grounding Two Notions of Uncertainty in Modal Conditional Statements / Grzegorz Skorupa ; Radoslaw Katarzyniak
Developing a Competitive HMM Arabic POS Tagger Using Small Training Corpora / Mohammed Albared ; Nazlia Omar ; Mohd. Juzaiddin Ab Aziz
Linguistically Informed Mining Lexical Semantic Relations from Wikipedia Structure / Maciej Piasecki ; Agnieszka Indyka-Piasecka ; Roman Kurc
Heterogeneous Knowledge Sources in Graph-Based Expansion of the Polish Wordnet / Bartosz Broda
Improving Arabic Part-of-Speech Tagging through Morphological Analysis
Semantic Web, Social Networks and Recommendation Systems
Educational Services Recommendation Using Social Network Approach / Krzysztof Juszczyszyn ; Agnieszka Prusiewicz
Working with Users to Ensure Quality of Innovative Software Product Despite Uncertainties / Barbara Begier
U2Mind: Visual Semantic Relationships Query for Retrieving Photos in Social Network / Kee-Sung Lee ; Jin-Guk Jung ; Kyeong-Jin Oh ; Geun-Sik Jo
A Personalized Recommendation Method Using a Tagging Ontology for a Social E-Learning System / Hyon Hee Kim
Personalization and Content Awareness in Online Lab - Virtual Computational Laboratory / Mateusz Paprocki ; Lesiaw Sieniawski
Workflow Engine Supporting RESTful Web Services / Arkadiusz Danilecki ; Jakub FlotyD ski ; Wnna KobusiD ska ; Andrzej StroiD ski
Front- Session Guarantees to Contract Guarantees for Consistency of SO A-Compliant Processing / Anna KobusiD ska ; Michal Szychowiak
Technologies for Intelligent Information Systems
Design of a Power Scheduler Based on the Heuristic for Preemptive Appliances / Junghoon Lee ; Gyung-Leen Park ; Min-Jae Kang ; Ho- Young Kwak ; Sang Joon Lee
Intelligent Information System for Interpretation of Dynamic Perfusion Brain Maps / Tornasz Hachaj ; Marek R. Ogiela
Development of a Biologically Inspired Real-Time Spatiotemporal Visual Attention System / Byung Geun Choi ; Kyung Joo Cheoi
Knowledge Source Confidence Measure Applied to a Rule-Based Recognition System / Michal Wozniak
A New Frontier in Novelty Detection: Pattern Recognition of Stochastically Episodic Events / Colin Bellinger ; B. John Oommen
Collaborative Systems and Applications
Iteratye Translation by Monolinguists Implementation and Tests of the New Approach / Amla Pot pa ; Piotr Plonka ; Mateusz Pytel ; Dpminik Radziszowski
Attribute Mapping as a Foundation of Ontology Alignment / Marcin Pietranik
Multiagent-Based Dendritic Cell Algorithm with Applications in Computer Security / Chung-Ming Ou ; Yao-Tien Wang ; C.R. Ou
Secured Agent Platform for Wireless Sensor Networks / Jan Horacek ; Frantisek Zboril jr.
Multiagent-System Oriented Models for Efficient Power System Topology Verification / Kazimierz Wilkosz ; Zofia Kruczkiewicz
Intelligent Safety Verification for Multi-car Elevator System Based on EVALPSN / Kazumi Nakamatsu ; Toshiaki Imai ; Haruhiko Nishimura
Multi Robot Exploration Using a Modified A* Algorithm / Anshika Pal ; Ritu Tiwari ; Anupam Shukla
Fuzzy Ontology Building and Integration for Fuzzy Inference Systems in Weather Forecast Domain / Hai Bang Truong ; Phi Khu Nguyen
Cooperative Spectrum Sensing Using Individual Sensing Credibility and Hybrid Quantization for Cognitive Radio / Hiep Vu- Van ; Insoo Koo
The Application of Fusion of Heterogeneous Meta Classifiers to Enhance Protein Fold Prediction Accuracy / Abdollah Dehzangi ; Roozbeh Hojabri Foladizadeh ; Mohammad Aflaki ; Sasan Karamizadeh
E-Business and e-Commerce Systems
A Single Machine Scheduling Problem with Air Transportation Decision / P.S. You ; Y.C. Lee ; Y.C. Hsieh ; T.C. Chen
An Integrated BPM-SOA Framework for Agile Enterprises / Nan Wang ; Vincent Lee
Author Index
Keynote Speeches
Virtual Doctor System (VDS): Reasoning Challenges for Simple Case Diagnosis Based on Ontologies Alignment / Hamido Fujita ; Jun Hakura ; Masaki Kurematsu
Image Similarities on the Basis of Visual Content - An Attempt to Bridge the Semantic Gap / Halina Kwasnicka ; Mariusz Paradowski ; Michal Stanek ; Michal Spytkowski ; Andrzej Sluzek
Mining High Utility Mobile Sequential Patterns in Mobile Commerce Environments / Bai-En Shie ; Hui-Fang Hsiao ; Vincent S. Tseng
Reasoning about Dynamic Delegation in Role Based Access Control Systems / Chun Ruan ; Vijay Varadharajan
Probability and Uncertainty
Robust Ranking of Uncertain Data / Da Yan ; Wilfred Ng
Probabilistic Image Tagging with Tags Expanded By Text-Based Search / Xiaoming Zhang ; Zi Huang ; Heng Tao Shen ; Zhoujun Li
Removing Uncertainties from Overlay Network / Ye Yuan ; Deke Guo ; Guoren Wang
Probabilistic and Interactive Retrieval of Chinese Calligraphic Character Images Based on Multiple Features / Yi Zhuang ; Nan Jiang ; Hua Hu ; Haiyang Hu ; Guochang Jiang ; Chengxiang Yuan
Handling ER-topk Query on Uncertain Streams / Cheqing Jin ; Ming Gao ; Aoying Zhou
Seamless Event and Data Stream Processing: Reconciling Windows and Consumption Modes / Raman Adaikkalavan ; Sharma Chakravarthy
Querying Moving Objects with Uncertainty in Spatio-Temporal Databases / Hechen Liu ; Markus Schneider
A Novel Hash-Based Streaming Scheme for Energy Efficient Full-Text Search in Wireless Data Broadcast / Kai Yang ; Yan Shi ; Weili Wu ; Xiaofeng Gao ; Jiaofei Zhong
Graph
Efficient Topological OLAP on Information Networks / Qiang Qu ; Feida Zhu ; Xifeng Yan ; Jiawei Han ; Hongyan Li
An Edge-Based Framework for Fast Subgraph Matching in a Large Graph / Sangjae Kim ; Inchul Song ; Yoon Joon Lee
Context-Sensitive Query Expansion over the Bipartite Graph Model for Web Service Search / Rong Zhang ; Koji Zettsu ; Yutaka Kidawara ; Yasushi Kiyoki
BMC: An Efficient Method to Evaluate Probabilistic Reachability Queries / Ke Zhu ; Wenjie Zhang ; Gaoping Zhu ; Ying Zhang ; Xuemin Lin
XML
Improving XML Data Quality with Functional Dependencies / Zijing Tan ; Liyong Zhang
Identifying Relevant Matches with NOT Semantics over XML Documents / Rung-Ren Lin ; Ya-Hui Chang ; Kun-Mao Chao
Evaluatin Contained Rewritings for XPath Queries on Materialized Views / Rui Zhou ; Chengfei Liu ; Jianxin Li ; Junhu Wang ; Jixue Liu
XStreamCluster: An Efficient Algorithm for Streaming XML Data Clustering / Odysseas Papapetrou ; Ling Chen
XML and Graph
Efficient Evaluation of NOT-Twig Queries in Tree-Unaware Relational Databases / Kheng Hong Soh ; Sourav S. Bhowmick
A Hybrid Algorithm for Finding Top-k Twig Answers in Probabilistic XML / Bo Ning
Optimizing Incremental Maintenance of Minimal Bisimulation of Cyclic Graphs / Jintian Deng ; Byron Choi ; Jianliang Xu
Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case / Maria Amalfi ; Alessandro Artale ; Andrea Calì ; Alessandro Provetti
Query Processing II
Dynamic Skylines Considering Range Queries / Wen-Chi Wang ; En Tzu Wang ; Arbee L.P. Chen
EcoTop: An Economic Model for Dynamic Processing of Top-k Queries in Mobile-P2P Networks / Nilesh Padhariya ; Anirban Mondal ; Vikram Goyal ; Roshan Shankar ; Sanjay Kumar Madria
Efficient Distributed Top-K Query Processing with Caching / Norvald H. Ryeng ; Akrivi Vlachou ; Christos Doulkeridis ; Kjetil Nørvåg
Exploiting Correlation to Rank Database Query Results / Jaehui Park ; Sang-goo Lee
Indexing and High Performance
LinearDB: A Relational Approach to Make Data Warehouse Scale Like MapReduce / Huiju Wang ; Xiongpai Qin ; Yansong Zhang ; Shan Wang ; Zhanwei Wang
Genetic Algorithm Based QoS-Aware Service Compositions in Cloud Computing / Zhen Ye ; Athman Bouguettaya
Energy-Efficient Tree-Based Indexing Schemes for Information Retrieval in Wireless Data Broadcast / Jiaofei Zhong ; Weili Wu ; Yan Shi ; Xiaofeng Gao
Buffer Cache De-duplication for Query Dispatch in Replicated Databases / Takeshi Yamamuro ; Yoshiharu Suga ; Naoya Kotani ; Toshio Hitaka ; Masashi Yamamuro
Indexing for Vector Projections / Sean Chester ; Alex Thomo ; S. Venkatesh ; Sue Whitesides
Industrial Papers
Assessment of Cardiovascular Disease Risk Prediction Models: Evaluation Methods / Richi Nayak ; Ellen Pitt
Visual Analysis of Implicit Social Networks for Suspicious Behavior Detection / Amyn Bennamane ; Hakim Hacid ; Arnaud Ansiaux ; Alain Cagnati
Compositional Information Extraction Methodology from Medical Reports / Pratibha Rani ; Raghunath Reddy ; Devika Mathur ; Subhadip Bandyopadhyay ; Arijit Laha
A Framework for Semantic Recommendations in Situational Applications / Raphaël Thollot ; Marie-Aude Aufaure
Demo Papers
Storage and Use of Provenance Information for Relational Database Queries / Zhifeng Bao ; Henning Koehler ; Tok Wang Ling
MRQSim: A Moving Range Query Simulation Platform in Spatial Networks / Na Guo
DWOBS: Data Warehouse Design from Ontology-Based Sources / Selma Khouri ; Ladjel Bellatreche
AUCWeb: A Prototype for Analyzing User-Created Web Data / Weining Qian ; Feng Chen ; Juan Du ; Weiming Zhang ; Can Zhang ; Haixin Ma ; Peng Cai ; Minqi Zhou ; Aoying Zhou
AutoBayesian: Developing Bayesian Networks Based on Text Mining / Sandeep Raghuram ; Yuni Xia ; Jiaqi Ge ; Mathew Palakal ; Josette Jones ; Dave Pecenka ; Eric Tinsley ; Jean Bandos ; Jerry Geesaman
Classify Uncertain Data with Decision Tree / Biao Qin ; Rakesh Sathyesh ; Sunil Probhakar
StreamFitter: A Real Time Linear Regression Analysis System for Continuous Data Streams / Chandima Hewa Nadungodage ; Fang Li ; Jaehwan John Lee
Panel
Challenges in Managing and Mining Large, Heterogeneous Data / Haibo Hu ; Haixun Wang ; Baihua Zheng
Tutorials
Managing Social Image Tags: Methods and Applications / Aixin Sun ; Sourav S. Bhowmick
Web Search and Browse Log Mining: Challenges, Methods, and Applications / Daxin Jiang
Searching, Analyzing and Exploring Databases / Yi Chen ; Ziyang Liu
Author Index
Similarity
Efficient Histogram-Based Similarity Search in Ultra-High Dimensional Space / Jiajun Liu ; Zi Huang ; Heng Tao Shen ; Xiaofang Zhou
A Retrieval Strategy Using the Integrated Knowledge of Similarity and Associations / Yong-Bin Kang ; Shonali Krishnaswamy ; Arkady Zaslavsky