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