close
1.

電子ブック

EB
Úlfar Erlingsson, Takeo Kanade, Roel Wieringa, Nicola Zannone, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
Security Validation of Business Processes via Model-Checking / Wihem Arsac ; Luca Compagna ; Giancarlo Pellegrino ; Serena Elisa Ponta
Tools and Mechanisms / Session 2:
On-Device Control Flow Verification for Java Programs / Arnaud Fontaine ; Samuel Hym ; Isabelle Simplot-Ryl
Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations / Ricardo Corin ; Felipe Andrés Manzano
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
2.

電子ブック

EB
Ranjit Jhala, Takeo Kanade, David Schmidt, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
3.

電子ブック

EB
Joseph A. Konstan, Ricardo Conejo, Takeo Kanade, José L. Marzo, Nuria Oliver, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
4.

電子ブック

EB
Pascal Felber, Takeo Kanade, Romain Rouvoy, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Gozar: NAT-friendly Peer Sampling with One-Hop Distributed NAT Traversal / Amir H. Payberah ; Jim Dowling ; Seif Haridi
Modeling the Performance of Ring Based DHTs in the Presence of Network Address Translators / John Ardelius ; Boris Mejías
Usurp: Distributed NAT Traversal for Overlay Networks / Salman Niazi
Kalimucho: Contextual Deployment for QoS Management / Christine Louberry ; Philippe Roose ; Marc Dalmau
Providing Context-Aware Adaptations Based on a Semantic Model / Guido Söldner ; Rüdiger Kapitza ; René Meier
Towards QoC-Aware Location-Based Services / Sophie Chabridon ; Cao-Cuong Ngo ; Zied Abid ; Denis Conan ; Chantal Taconet ; Alain Ozanne
Session-Based Role Programming for the Design of Advanced Telephony Applications / Gilles Vanwormhoudt ; Areski Flissi
Architecturing Conflict Handling of Pervasive Computing Resources / Henner Jakob ; Charles Consel ; Nicolas Loriant
Passive Network-Awareness for Dynamic Resource-Constrained Networks / Agoston Petz ; Taesoo Jun ; Nirmalya Roy ; Chien-Liang Fok ; Christine Julien
Utility Driven Elastic Services / Pablo Chacin ; Leando Navarro
Improving the Scalability of Cloud-Based Resilient Database Servers / Luís Soares ; José Pereira
An Extensible Framework for Dynamic Market-Based Service Selection and Business Process Execution / Ante Vilenica ; Kristof Hamann ; Winfried Lamersdorf ; Jan Sudeikat ; Wolfgang Renz
Beddernet: Application-Level Platform-Agnostic Manets / Rasmus Sidorovs Gohs ; Sigurður Rafn Gunnarsson ; Arne John Glenstrup
The Role of Ontologies in Enabling Dynamic Interoperability / Vatsala Nundloll ; Paul Grace ; Gordon S. Blair
A Step towards Making Local and Remote Desktop Applications Interoperable with High-Resolution Tiled Display Walls / Tor-Magne Stien Hagen ; Daniel Stødle ; John Markus Bjørndalen ; Otto Anshus
Replica Placement in Peer-Assisted Clouds: An Economic Approach / Ahmed Ali-Eldin ; Sameh El-Ansary
A Correlation-Aware Data Placement Strategy for Key-Value Stores / Ricardo Vilaça ; Rui Oliveira
Experience Report: Trading Dependability, Performance, Security through Temporal Decoupling / Lorenz Froihofer ; Guenther Starnberger ; Karl M. Goeschka
Cooperative Repair of Wireless Broadcasts / Aaron Harwood ; Spyros Voulgaris ; Maarten van Steen
ScoreTree: A Decentralised Framework for Credibility Management of User-Generated Content / Yang Liao ; Kotagiri Ramaraohanarao
Worldwide Consensus / Francisco Maia ; Miguel Matos
Transparent Scalability with Clustering for Java e-Science Applications / Pedro Sampaio ; Paulo Ferreira ; Luís Veiga
CassMail: A Scalable, Highly-Available, and Rapidly-Prototyped E-Mail Service / Lazaros Koromilas ; Kostas Magoutis
Transparent Adaptation of e-Science Applications for Parallel and Cycle-Sharing Infrastructures / João Morais ; João Nuno Silva
Author Index
Gozar: NAT-friendly Peer Sampling with One-Hop Distributed NAT Traversal / Amir H. Payberah ; Jim Dowling ; Seif Haridi
Modeling the Performance of Ring Based DHTs in the Presence of Network Address Translators / John Ardelius ; Boris Mejías
Usurp: Distributed NAT Traversal for Overlay Networks / Salman Niazi
5.

電子ブック

EB
Frank Alexander Kraemer, Peter Herrmann, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
6.

電子ブック

EB
Kishan G. Mehrotra, Moonis Ali, Takeo Kanade, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1:
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet Rodríguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-Martínez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
Comparative Behaviour of Recent Incremental and Non-incremental Clustering Methods on Text: An Extended Study / Jean-Charles Lamirel ; Raghvendra Mall ; Mumtaz Ahmad
Bayesian and Probabilistic Networks / Section 2:
Fault Diagnosis in Power Networks with Hybrid Bayesian Networks and Wavelets / Luis Eduarda Garza Castañ ón ; Deneb Robles Guillén
Learning Temporal Bayesian Networks for Power Plant Diagnosis / Pablo Hernandez-Leal ; L. Enrique Sucar ; Jesus A. Gonzalez ; Eduardo F. Morales ; Pablo H. Ibarguengoytia
On the Fusion of Probabilistic Networks / Salem Benferhat ; Faiza Titouna
Methodologies / Section 3:
Basic Object Oriented Genetic Programming / Tony White ; Jinfei Fan ; Franz Oppacher
Inferring Border Crossing Intentions with Hidden Markov Models / Gurmeet Singh ; Kishan.G. Mehrotra ; Chilukuri K. Mohan ; Thyagaraju Damarla
Multimodal Representations, Indexing, Unexpectedness and Proteins / Broderick Crawford ; Ricardo Soto ; Mauricio Montecinos ; Carlos Castro ; Eric Monfroy ; Eric Paquet ; Herna Lydia Viktor
A Generic Approach for Mining Indirect Association Rules in Data Streams / Wen-Yang Lin ; Yon-En Wei ; Chun-Hao Chen
Status Quo Bias in Configuration Systems / Monika Mandl ; Alexander Felfernig ; Juha Tiihonen ; Klaus Isak
Improvement and Estimation of Prediction Accuracy of Soft Sensor Models Based on Time Difference / Hiromasa Kaneko ; Kimito Funatsu
Network Defense Strategies for Maximization of Network Survivability / Frank Yeong-Sung Lin ; Hong-Hsu Yen ; Pei-Yu Chen ; Ya-Fang Wen
PryGuard: A Secure Distributed Authentication Protocol for Pervasive Computing Environment / Chowdhury Hasan ; Mohammad Adibuzzaman ; Ferdaus Kawsar ; Munirul Haque ; Sheikh Iqbal Ahamed
Feature Extraction, Discretization, Clustering, Quantization, and Data Refinement / Section 4:
A Global Unsupervised Data Discretization Algorithm Based on Collective Correlation Coefficient / An Zeng ; Qi-Gang Gao ; Dan Pan
A Heuristic Data-Sanitization Approach Based on TF-IDF / Tzung-Pei Hong ; Chun-Wei Lin ; Kuo-Tung Yang ; Shyue-Liang Wang
Discovering Patterns for Prognostics: A Case Study in Prognostics of Train Wheels / Chunsheng Yang ; Sylvain Létourneau
Applications of Artificial Intelligence / Section 5:
Automating the Selection of Stories for AI in the News / Liang Dong ; Reid G. Smith ; Bruce G. Buchanan
Diagnosability Study of Technological Systems / Michel Batteux ; Philippe Dague ; Nicolas Rapin ; Philippe Fiani
Using Ensembles of Regression Trees to Monitor Lubricating Oil Quality / Andres Bustillo ; Alberto Villar ; Eneko Gorritxategi ; Susana Ferreiro ; Juan J. Rodríguez
Image Processing and Other Applications / Section 6:
Image Region Segmentation Based on Color Coherence Quantization / Guang-Nan He ; Yu-Bin Yang ; Yao Zhang ; Yang Gao ; Lin Shang
Image Retrieval Algorithm Based on Enhanced Relational Graph / Ning Li
Prediction-Oriented Dimensionality Reduction of Industrial Data Sets / Maciej Grzenda
Informative Sentence Retrieval for Domain Specific Terminologies / Jia-Ling Koh ; Chin-Wei Cho
Intelligent Techniques for Document Processing / Section 7:
Factoring Web Tables / David W. Embley ; Mukkai Krishnamoorthy ; George Nagy ; Sharad Seth
Document Analysis Research in the Year 2021 / Daniel Lopresti ; Bart Lamiroy
Markov Logic Networks for Document Layout Correction / Stefano Ferilli ; Teresa M.A. Basile ; Nicola Di Mauro
Extracting General Lists from Web Documents: A Hybrid Approach / Fabio Fumarola ; Tim Weninger ; Rick Barber ; Donato Malerba ; Jiawei Han
Modeling and Support of Cognitive and Affective Human Processes / Section 8:
Towards a Computational Model of the Self-attribution of Agency / Koen Hindriks ; Pascal Wiggers ; Catholijn Jonker ; Willem Haselager
An Agent Model for Computational Analysis of Mirroring Dysfunctioning in Autism Spectrum Disorders / Yara van der Laan ; Jan Treur
Multi-modal Biometric Emotion Recognition Using Classifier Ensembles / Ludmila I. Kuncheva ; Thomas Christy ; Iestyn Pierce ; Sa'ad P. Mansoor
Towards a Fully Computational Model of Web-Navigation / Saraschandra Karanam ; Herre van Oostendorp ; Bipin Indurkhya
Robotics and Navigation / Section 9:
Stairway Detection Based on Single Camera / Motion Stereo ; Danilo Cáceres Hernández ; Taeho Kim ; Kang-Hyun Jo
Robot with Two Ears Listens to More than Two Simultaneous Utterances by Exploiting Harmonic Structures / Yasuharu Hirasawa ; Toru Takahashi ; Tetsuya Ogata ; Hiroshi G. Okuno
Author Index
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1:
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet Rodríguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-Martínez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
7.

電子ブック

EB
Kishan G. Mehrotra, Moonis Ali, Takeo Kanade, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
8.

電子ブック

EB
Mira Mezini, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
9.

電子ブック

EB
Jon Whittle, Tony Clark, Takeo Kanade, Thomas Kühne, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
10.

電子ブック

EB
Manfred Jeusfeld, Lois Delcambre, Takeo Kanade, Tok Wang Ling, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
11.

電子ブック

EB
Luis M. Camarinha-Matos, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
12.

電子ブック

EB
Chandan Singh, Vishal Goyal, Takeo Kanade, Jyotsna Sengupta, Dharam Veer Sharma, Gurpreet Singh Lehal
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
Computational Aspect of Verb Classification in Malayalam / K.G. Sulochana ; V. Jayan
Period Prediction System for Tamil Epigraphical Scripts Based on Support Vector Machine / P. Subashini ; M. Krishnaveni ; N. Sridevi
Name Entity Recognition Systems for Hindi Using CRF Approach / Rajesh Sharma ; Vishal Goyal
An N-Gram Based Method for Bengali Keyphrase Extraction / Kamal Sarkar
Feature Extraction and Recognition of Bengali Word Using Gabor Filter and Artificial Neural Network / Mahua Nandy (Pal) ; Sumit Majumdar
The Segmentation of Half Characters in Handwritten Hindi Text / Naresh Kumar Garg ; Lakhwinder Kaur ; Manish K. Jindal
Finding Influence by Cross-Lingual Blog Mining through Multiple Language Lists / Aditya Mogadala ; Vasudeva Varma
Renaissance of Opinion Mining / Ankur Rana ; Vimal K. Soni
OpenLogos Machine Translation: Exploring and Using It in Anusaaraka Platform / Sriram Chaudhury ; Sukhada ; Akshar Bharati
Role of e-Learning Models for Indian Languages to Implement e-Governance / Avinash Sharma ; Vijay Singh Rathore
A Compiler for Morphological Analyzer Based on Finite-State Transducers / Bhuvaneshwari C. Melinamath ; A. G. Math ; Sunanda D. Biradar
On Multifont Character Classification in Telugu / Venkat Rasagna ; K.J. Jinesh ; C.V. Jawahar
Parallel Implementation of Devanagari Document Image Segmentation Approach on GPU / Brijmohan Singh ; Nitin Gupta ; Rashi Tyagi ; Ankush Mittal ; Debashish Ghosh
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
13.

電子ブック

EB
Jiuyong Li, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Knowledge Representation and Reasoning
Pushing the Envelope: General Game Players Prove Theorems / Sebastian Haufe ; Michael Thielscher
Temporal Belief-Change: K-functions Approach / Armin Hezart ; Abhaya C. Nayak ; Mehmet A. Orgun
Resource-Sensitive Reasoning with Sequential Information / Norihiro Kamide ; Ken Kaneiwa
Frame-Based Dialogue Management Automated Error Recovery Approach / Tomáš Nestorovic
Characterizing Relevant Belief Revision Operators / Laurent Perrussel ; Jerusa Marchi ; Dongmo Zhang
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
Newton Trees / Fernando Martínez-Plumed ; Vicent Estruch ; César Ferri ; José Hernández-Orallo ; María José Ramírez-Quintana
Learning Parse-Free Event-Based Features for Textual Entailment Recognition / Bahadorreza Ofoghi
A Gradient-Based Metric Learning Algorithm for k-NN Classifiers / David McG. Squire ; David Suter
Statistical Learning
Dimensionality Reduction for Classification through Visualisation Using LISNE / Lennon V. Cook ; Junbin Gao
Review of Modern Logistic Regression Methods with Application to Small and Medium Sample Size Problems / Enes Makalic ; Daniel Francis Schmidt
The Behaviour of the Akaike Information Criterion When Applied to Non-nested Sequences of Models
Unbounded Knowledge Acquisition Based Upon Mutual Information in Dependent Questions / Tony C. Smith ; Chris van De Molen
Evolutionary Computation
A Comparison of Classification Strategies in Genetic Programming with Unbalanced Data / Urvesh Bhowan ; Mengjie Zhang ; Mark Johnston
An Encoding Scheme for Cooperative Coevolutionary Feedforward Neural Networks / Rohitash Chandra ; Marcus Frean
Evolving Cooperation in the Spatial N-player Snowdrift Game / Raymond Chiong ; Michael Kirley
Sampling Methods in Genetic Programming for Classification with Unbalanced Data / Rachel Hunt ; Will Browne
Evolutionary Non Photo-Realistic Animations with Triangular Brushstrokes / Ashkan Izadi ; Vic Ciesielski ; Marsha Berry
Cellular Differential Evolution Algorithm / Nasimul Noman ; Hitoshi Iba
A Comparative Study of CMA-ES on Large Scale Global Optimisation / Mohammad Nabi Omidvar ; Xiaodong Li
Particle Swarm Optimization
Hybrid Particle Swarm Optimisation Algorithms Based on Differential Evolution and Local Search / Wenlong Fu
Edge and Corner Extraction Using Particle Swarm Optimisation / Mahdi Setayesh
Fuzzy Adaptive Artificial Fish Swarm Algorithm / Danial Yazdani ; Adel Nadjaran Toosi ; Mohammad Reza Meybodi
Intelligent Agent
The Honourable Negotiator: When the Relationship Is What Matters / John Debenham ; Simeon Simoff
Tuning Java to Run Interactive Multiagent Simulations over Jason / Víctor Fernández-Bauset ; Francisco Grimaldo ; Miguel Lozano ; Juan M. Orduña
Emergence of Cooperation in a Bio-inspired Multi-agent System / Hiroyuki Ishiwata
An Efficient Approach for Ordering Outcomes and Making Social Choices with CP-Nets / Minyi Li ; Bao Quoc Bao Vo ; Ryszard Kowalczyk
Real-Time Coordination of Concurrent Multiple Bilateral Negotiations under Time Constraints / Khalid Mansour
A Logic for Reasoning about Actions and Explicit Observations / Gavin Rens ; Ivan Varzinczak ; Thomas Meyer ; Alexander Ferrein
Search and Planning
Taking Learning Out of Real-Time Heuristic Search for Video-Game Pathfinding / Ramon Lawrence ; Vadim Bulitko
Heuristic Planning with SAT: Beyond Uninformed Depth-First Search / Jussi Rintanen
Performance of Infeasibility Empowered Memetic Algorithm (IEMA) on Engineering Design Problems / Hemant K. Singh ; Tapabrata Ray ; Warren Smith
Natural Language Processing
Short-Text Similarity Measurement Using Word Sense Disambiguation and Synonym Expansion / Khaled Abdalgader ; Andrew Skabar
LEXA: Towards Automatic Legal Citation Classification / Filippo Galgani ; Achim Hoffmann
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
Maximal Matching for Double Auction / Dengji Zhao ; Md Khan
Author Index
Knowledge Representation and Reasoning
Pushing the Envelope: General Game Players Prove Theorems / Sebastian Haufe ; Michael Thielscher
Temporal Belief-Change: K-functions Approach / Armin Hezart ; Abhaya C. Nayak ; Mehmet A. Orgun
14.

電子ブック

EB
Javier Ruiz-del-Solar, Eric Chown, Takeo Kanade, Paul G. Plöger
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
15.

電子ブック

EB
Philippe Groote, Markus Egg, Laura Kallmeyer, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
16.

電子ブック

EB
Vineet Bafna, Takeo Kanade, S. Cenk Sahinalp
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
Metabolic Network Analysis Demystified / Leonid Chindelevitch ; Aviv Regev ; Bonnie Berger
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
Efficient Traversal of Beta-Sheet Protein Folding Pathways Using Ensemble Models / Solomon Shenker ; Charles W. O'Donnell ; Srinivas Devadas ; Jérôme Waldispühl
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
Algorithms for MDC-Based Multi-locus Phylogeny Inference / Yun Yu ; Tandy Warnow ; Luay Nakhleh
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
Metabolic Network Analysis Demystified / Leonid Chindelevitch ; Aviv Regev ; Bonnie Berger
17.

電子ブック

EB
Zygmunt Vetulani, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
18.

電子ブック

EB
Ricardo H. C. Takahashi, Kalyanmoy Deb, Salvatore Greco, Takeo Kanade, Elizabeth F. Wanner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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í
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
Introducing Reference Point Using g-Dominance in Optimum Design Considering Uncertainties: An Application in Structural Engineering / David Greiner ; Blas Galván ; José M. Emperador ; Máximo Méndez ; Gabriel Winter
Multiobjective Dynamic Optimization of Vaccination Campaigns Using Convex Quadratic Approximation Local Search / André R. da Cruz ; Rodrigo T.N. Cardoso ; Ricardo H.c.Takahashi
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 Cultural Algorithm Applied in a Bi-Objective Uncapacitated Facility Location Problem / Guillermo Cabrera ; José Miguel Rubio ; Daniela Díaz ; Boris Fernández ; Claudio Cubillos ; Ricardo Soto
A Bi-objective Iterated Local Search Heuristic with Path-Relinking for the p-Median Problem / José E.C. Arroyo ; André G. Santos ; Paula M. dos Santos ; Wellington G.Ribeiro
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í
19.

電子ブック

EB
Isabelle Debled-Rennesson, Eric Domenjoud, Philippe Even, Takeo Kanade, Bertrand Kerautret
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Speakers
A Probabilistic Grouping Principle to Go from Pixels to Visual Structures / Agnès Desolneux
Ball-Based Shape Processing / Jarek Rossignac
Hierarchies and Optima / Jean Serra
Models for Discrete Geometry
An Arithmetic and Combinatorial Approach to Three-Dimensional Discrete Lines / Valérie Berthé ; Sébastien Labbé
Smooth 2D Coordinate Systems on Discrete Surfaces / Colin Cartade ; Rémy Malgouyres ; Christian Mercat ; Chafik Samir
An Improved Riemannian Metric Approximation for Graph Cuts / Ondrej Danek ; Pavel Matula
Introduction to Digital Level Layers / Yan Gérard ; Laurent Provot ; Fabien Feschet
Another Definition for Digital Tangents / Thierry Monteil
Associating Cell Complexes to Four Dimensional Digital Objects / Ana Pacheco ; Pedro Real
Metric Bases for Polyhedral Gauges / Fabien Rebatel ; Édouard Thiel
Discrete and Combinatorial Topology
Completions and Simplicial Complexes / Gilles Bertrand
Hierarchic Euclidean Skeletons in Cubical Complexes / Michel Couprie
Well-Composed Cell Complexes / Rocio Gonzalez-Diaz ; Maria-Jose Jimenez ; Belen Medrano
A Unified Topological Framework for Digital Imaging / Loïc Mazo ; Nicolas Passat ; Christian Ronse
Isthmus-Based 6-Directional Parallel Thinning Algorithms / Benjamin Raynal
Geometric Transforms
Quasi-Linear Transformations, Numeration Systems and Fractals / Marie-Andrée Jacob-Da Col ; Pierre Tellier
Path-Based Distance with Varying Weights and Neighborhood Sequences / Nicolas Normand ; Robin Strand ; Pierre Evenou ; Aurore Arlicot
Sparse Object Representations by Digital Distance Functions
Discrete Shape Representation, Recognition and Analysis
Efficient Robust Digital Hyperplane Fitting with Bounded Error / Dror Aiger ; Yukiko Kenmochi ; Hugues Talbot ; Lilian Buzer
Analytical Description of Digital Circles / Eric Andres ; Tristan Roussillon
Circular Arc Reconstruction of Digital Contours with Chosen Hausdorff Error / Bertrand Kerautret ; Jacques-Olivier Lachaud ; Thanh Phuong Nguyen
Recursive Calculation of Relative Convex Hulls / Gisela Klette
An Error Bounded Tangent Estimator for Digitized Elliptic Curves / Dilip K. Prasad ; Raj Kumar Gupta ; Maylor K.H. Leung
Estimation of the Derivatives of a Digital Function with a Convergent Bounded Error
Properties and Applications of the Simplified Generalized Perpendicular Bisector / Aurélie Richard ; Gaëlle Largeteau-Skapin ; Marc Rodríguez ; Laurent Fuchs ; Jean-Serge Dimitri Ouattara
Delaunay Properties of Digital Straight Segments
Computing the Characteristics of a SubSegment of a Digital Straight Line in Logarithmic Time / Mouhammad Said
A Near-Linear Time Guaranteed Algorithm for Digital Curve Simplification under the Fréchet Distance / Isabelle Sivignon
Distance between Separating Circles and Points / Peter Veelaert
Optimal Consensus Set for Annulus Fitting / Rita Zrour
Discrete Tomography
Bounds on the Difference between Reconstructions in Binary Tomography / K. Joost Batenburg ; Wagner Fortes ; Lajos Hajdu ; Robert Tijdeman
Tiling the Plane with Permutations / Alexandre Blondin Massé ; Andrea Frosini ; Simone Rinaldi ; Laurent Vuillon
Characterization of {-1,0,+1} Valued Functions in Discrete Tomography under Sets of Four Directions / Sara Brunetti ; Paolo Dulio ; Carla Peri
Growth of Discrete Projection Ghosts Created by Iteration / Imants Svalbe ; Shekhar Chandra
Properties of Minimal Ghosts
Morphological Analysis
Mathematical Morphology on Hypergraphs: Preliminary Definitions and Results / Isabelle Bloch ; Alain Bretto
Some Morphological Operators on Simplicial Complex Spaces / Fábio Dias ; Jean Cousty ; Laurent Najman
Selection of Relevant Nodes from Component-Trees in Linear Time / Benoît Naegel
Discrete and Combinatorial Tools for Image Segmentation and Analysis
Image Denoising with a Constrained Discrete Total Variation Scale Space / Igor Ciril ; Jérôme Darbon
Smale-Like Decomposition and Forman Theory for Discrete Scalar Fields / Lidija Comic ; Mohammed Mostefa Mesmoudi ; Leila De Floriani
ACCORD: With Approximate Covering of Convex Orthogonal Decomposition / Mousumi Dutt ; Arindam Biswas ; Partha Bhowmick
Measures for Surface Comparison on Unstructured Grids with Different Density / Natalia Dyshkant
Approximate Shortest Paths in Simple Polyhedra / Fajie Li ; Reinhard Klette
Author Index
Invited Speakers
A Probabilistic Grouping Principle to Go from Pixels to Visual Structures / Agnès Desolneux
Ball-Based Shape Processing / Jarek Rossignac
20.

電子ブック

EB
Daniel Berry, Xavier Franch, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote
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
Mining Requirements Links / Vincenzo Gervasi ; Didar Zowghi
Clustering Stakeholders for Requirements Decision Making / Varsha Veerappa ; Emmanuel Letier
Author Index
Keynote
Delivering Requirements Research into Practice: A Keynote to the REFSQ'2011 Conference / Neil Maiden
Security and Sustainability / Session 1:
21.

電子ブック

EB
Jens Knoop, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
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
JIT Compilation and Code Generation
22.

電子ブック

EB
Parosh Aziz Abdulla, Takeo Kanade, K. Rustan M. Leino
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Reliable Software Development: Analysis-Aware Design (Invited Talk) / Gerard J. Holzmann
Transition Invariants and Transition Predicate Abstraction for Program Termination (Invited Talk) / Andreas Podelski ; Audrey Rybalchenko
Memory Models and Consistency
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models / Jabob Burnim ; Koushik Sen ; Christos Stergiou
Compositionality Entails Sequentializability / Pranav Garg ; P. Madhusudan
Litmus: Running Tests against Hardware / Jade Alglave ; Luc Maranget ; Susmit Sarkar ; Peter Sewell
Invariants and Termination
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories / Sylvain Conchon ; Evelyne Contejean ; Mohamed Iguernelala
Invariant Generation in Vampire / Kryaštof Hoder ; Laura Kovács ; Andrei Voronkov
Enforcing Structural Invariants Using Dynamic Frames / Diego Garbervetsky ; Daniel Gorin ; Ariel Neisen
Loop Summarization and Termination Analysis / Aliaksei Tsitovich ; Natasha Sharygina ; Christoph M. Wintersteiger ; Daniel Kroening
Timed and Probabilistic Systems
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata / Nathalie Bertrand ; Thierry Jéron ; Amelie Stainer ; Moez Krichen
Quantitative Multi-objective Verification for Probabilistic Systems / Vojt ch Forejt ; Marta Kwiatkowska ; Gethin Norman ; David Parker ; Hongyang Qu
Efficient CTMC Model Checking of Linear Real-Time Objectives / Benoît Barbot ; Taolue Chen ; Tingling Han ; Joost-Pieter Katoen ; Alexandru Mereacre
Interpolations and SAT-Solvers
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic / A erto Griggio ; Thi Thieu Hoa Le ; Roberto Sebastiani
Generailized Craig Interpolation for Stochastic Boolean Satisfiability Problems / T Teige ; Martin Fränzle
Specification-Based Program Repair Using SAT / Divya Gopinath ; Muhammad Zubair Malik ; Sarfraz Khurshid
Optimal Base Encodings for Pseudo-Boolean Constraints / Michael Codish ; Yoav Fekete ; Carsten Fuhs ; Peter Schneider-Kamp
Learning
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference / Yunybum Jung ; Wonchan Lee ; Bow- Yaw Wang ; Kwangkuen Yi
Next Generation LearnLib / Math Merten ; Bernhard Steffen ; Falk Howar ; Tiziana Margaria
Model Checking
Applying CEGAR to the Petri Net State Equation / Harro Wimmel ; Karsten Wolf
Biased Model Checking Using Flows / Muralidhar Talupur ; Byojung Han
S-TALIRO: A Tool for Temporal Logic Falsification for Hybrid Systems / Yashwanth Annapureddy ; Che Liu ; Georgios Fainekos ; Srirch Sankaranarayanan
Games and Automata
GAVS+: An Open Platform for the Research of Algorithmic Game Solving / Chih-Hong Cheng ; Alois Knoll ; Michael Luttenberger ; Christian Buckl
Büchi Store; An Open Repository of Büchi Automata / Yih-Kuen Tsay ; Ming-Hsien Tsai ; Jinn-Shu Chang ; Yi-Wen Chang
QUASY: Quantitative Synthesis Tool / Krishnendu Chatterjee ; Thomas A. Henzinger ; Barbara Jobstmann ; Rohit Singh
Unbeast: Symbolic Bounded Synthesis / Rüdiger Ehlers
Verification (I)
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy / Sebastian Kupferschmid ; Martin Wehrle
The ACL2 Sedan Theorem Proving System / Harsh Raju Chamarthi ; Peter Dillinger ; Panagiotis Manolios ; Daron Vroon
Probabilistic Systems
On Probabilistic Parallel Programs with Process Creation and Synchronisation / Stefan Kiefer ; Dominik Wojtczak
Confluence Reduction for Probabilistic Systems / Mark Timmer ; Mariëlle Stoelinga ; Jaco van de Pol
Model Repair for Probabilistic Systems / Ezio Bartocci ; Radu Grosu ; Panagiotis Katsaros ; CR. Ramakrishnan ; Scott A. Smolka
Verification (II)
Boosting Lazy Abstraction for SystemC with Partial Order Reduction / Alessandro Cimatti ; Iman Narasamdya ; Marco Roveri
Modelling and Verification of Web Services Business Activity Protocol / Anders P. Ravn ; Jirí Srba ; Saleem Vighto
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes / Hubert Garavel ; Frédéric Lang ; Radu Mateescu ; Wendelin Serwe
GameTime: A Toolkit for Timing Analysis of Software / Sanjit A. Seshia ; Jonathan Kotker
Author Index
Reliable Software Development: Analysis-Aware Design (Invited Talk) / Gerard J. Holzmann
Transition Invariants and Transition Predicate Abstraction for Program Termination (Invited Talk) / Andreas Podelski ; Audrey Rybalchenko
Memory Models and Consistency
23.

電子ブック

EB
Jim Davies, Takeo Kanade, Leila Silva, Adenilso Simao, Adenilso Simão
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Directed Model Checking for B: An Evaluation and New Techniques / Michael Leuschel ; Jens Bendisposto
Midlet Navigation Graphs in JML / Wojciech Mostowski ; Erik Poll
Runtime Verification for Generic Classes with ConGu2 / Pedro Crispim ; Antónia Lopes ; Vasco T. Vasconcelos
A High-Level Language for Modeling Algorithms and Their Properties / Sabina Akhtar ; Stephan Merz ; Martin Quinson
A Formal Environment Model for Multi-Agent Systems / Paulo Salem da Silva ; Ana C. V. de Melo
A Modal Interface Theory with Data Constraints / Sebastian S. Bauer ; Rolf Hennicker ; Michel Bidoit
Synchronizing Model and Program Refactoring / Tiago Massoni ; Rohit Gheyi ; Paulo Borba
A Type-Theoretic Framework for Certified Model Transformations / Daniel Calegari ; Carlos Luna ; Nora Szasz ; Álvaro Tasistro
Simulating Truly Concurrent CSP / Moritz Kleine ; J. W. Sanders
Statistical Verification of Probabilistic Properties with Unbounded Until / HÃ¥kan L.S. Younes ; Edmund M. Clarke ; Paolo Zuliani
Reasoning about Assignments in Recursive Data Structures / Alejandro Tamalet ; Ken Madlener
Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned / Abderrahman Matoussi ; Frédéric Gervais ; Régine Laleau
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence / Eduardo Mazza ; Marie-Laure Potet ; Daniel Le Métayer
Formal Development of a Cardiac Pacemaker: From Specification to Code / Artur O. Gomes ; Marcel V.M. Oliveira
A Decision Procedure for Bisimilarity of Generalized Regular Expressions / Marcello Bonsangue ; Georgiana Caltais ; Eugen-Ioan Goriac ; Dorel Lucanu ; Jan Rutten ; Alexandra Silva
Normalization of Linear Horn Clauses / Thomas Martin Gawlitza ; Helmut Seidl ; Kumar Neeraj Verma
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs / Zhiming Liu ; Charles Morisset ; Shuling Wang
Automating Refinement of Circus Programs / Frank Zeyda ; Ana Cavalcanti
Author Index
Directed Model Checking for B: An Evaluation and New Techniques / Michael Leuschel ; Jens Bendisposto
Midlet Navigation Graphs in JML / Wojciech Mostowski ; Erik Poll
Runtime Verification for Generic Classes with ConGu2 / Pedro Crispim ; Antónia Lopes ; Vasco T. Vasconcelos
24.

電子ブック

EB
Martin Hofmann, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
25.

電子ブック

EB
Dimitra Giannakopoulou, Takeo Kanade, Fernando Orejas
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
Verification
An Interface Theory for Service-Oriented Design / José Luiz Fiadeiro ; Antónia Lopes
rt-Inconsistency: A New Property for Real-Time Requirements / Amalinda Post ; Jochen Hoenicke ; Andreas Podelski
Automatic Flow Analysis for Event-B / Jens Bendisposto ; Michael Leuschel
Semantic Quality Attributes for Big-Step Modelling Languages / Shahram Esmaeilsabzali ; Nancy A. Day
Specification and Modelling
Formalizing and Operationalizing Industrial Standards / Dominik Dietrich ; Lutz Schröder ; Ewaryst Schulz
Modelling Non-linear Crowd Dynamics in Bio-PEPA / Mieke Massink ; Diego Latella ; Andrea Bracciali ; Jane Hillston
Reachability and Model Checking
Smart Reduction / Pepijn Crouzen ; Frédéric Lang
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
Software Development for QoS
A Step-Wise Approach for Integrating QoS throughout Software Development / Stéphanie Gatti ; Emilie Balland ; Charles Consel
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
26.

電子ブック

EB
Thomas Strang, Andreas Festag, Takeo Kanade, Rashid Mehmood, Cristina Rico Garcia, Matthias Röckl, Alexey Vinel
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Requirements for Wireless Technology on Rolling Stock / Uwe Kucharzyk
Rail Track
An Experimental Study of Multi-radio Platform Coexistence in the 5 GHz Band for Railway Applications / Jorge Higuera ; Elli Kartsakli ; Carlos Collado ; José M. González-Arbesú ; Luis Alonso ; José Luis Valenzuela ; Andres Laya ; Enrique Flores ; Isabel Navarro ; Raquel Martínez ; Jesús Gonzalez ; José Hierro ; Adrian Vlad
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
WiMaX'ble Pervasive Cloud - Empowering Next Generation Intelligent Railway Infrastructure / Subrahmanya Venkata Radha Krishna Rao ; Vivek Diwanji
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
Multiple Description Coding and Scalable Video Coding Combined with Multiple Input Multiple Output Techniques: Two Strategies to Enhance Train to wayside Video Transmissions in Tunnels / Imade Fahd Eddine Fatani ; Yann Cocheril ; Crépin Nsiaia ; Marion Berbineau ; François-Xavier Coudoux ; Marie Zwingelstein-Colin ; Patrick Corlay
Road Track
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
A Vehicular Mobility Model Based on Real Traffic Counting Data / Yoann Pigné ; Grégoire Danoy ; Pascal BoUvry
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
Rail Track
27.

電子ブック

EB
Yang Cai, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Instinctive Sensing / Part I:
Experiments with an In-Vitro Robot Brain / Kevin Warwick ; Slawomir J. Nasuto ; Victor M. Becerra ; Benjamin J. Whalley
Sound Recognition / Yang Cai ; Károly D. Pados
Texture Vision: A View from Art Conservation / Pierre Vernhes ; Paul Whitmore
Instinctive Communication / Part II:
Visual Abstraction with Culture / David Kaufer ; Emily Hart ; Yongmei Hu
Genre and Instinct / Suguru Ishizaki
Intuition as Instinctive Dialogue / Daniel Sonntag
Instinctive Environments / Part III:
Human Performance in Virtual Environments / Yvonne R. Masakowski ; Steven K. Aguiar
Exploitational Interaction / Manuel García-Herranz ; Xavier Alamán ; Pablo A. Haya
A Middleware for Implicit Interaction / M.J. O'Grady ; J. Ye ; G.M.P. O'Hare ; S. Dobson ; R. Tynan ; R. Collier ; C. Muldoon
Author Index
Instinctive Sensing / Part I:
Experiments with an In-Vitro Robot Brain / Kevin Warwick ; Slawomir J. Nasuto ; Victor M. Becerra ; Benjamin J. Whalley
Sound Recognition / Yang Cai ; Károly D. Pados
28.

電子ブック

EB
Gilles Barthe, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Verified Software Toolchain (Invited Talk) / Andrew W. Appel
Polymorphic Contracts / João Filipe Belo ; Michael Greenberg ; Atsushi Igarashi ; Benjamin C. Pierce
Proving Isolation Properties for Software Transactional Memory / Annette Bieniusa ; Peter Thiemann
Typing Copyless Message Passing / Viviana Bono ; Chiara Messa ; Luca Padovani
Measure Transformer Semantics for Bayesian Machine Learning / Johannes Borgström ; Andrew D. Gordon ; James Margetson ; Jurgen Van Gael
Transfer Function Synthesis without Quantifier Elimination / Jörg Brauer ; Andy King
Semantics of Concurrent Revisions / Sebastian Burckhardt ; Daan Leijen
Type-Based Access Control in Data-Centric Systems / Luís Caires ; Jorge A. Pérez ; João Costa Seco ; Hugo Torres Vieira ; Lúcio Ferrão
Linear Absolute Value Relation Analysis / Liqian Chen ; Antoine Miné ; Ji Wang ; Patrick Cousot
Generalizing the Template Polyhedral Domain / Michael A. Colón ; Sriram Sankaranarayanan
Dataflow Analysis for Datarace-Free Programs / Arnab De ; Deepak D'Souza ; Rupesh Nasre
Compiling Information-Flow Security to Minimal Trusted Computing Bases / Cédric Fournet ; Jérémy Planul
Improving Strategies via SMT Solving / Thomas Martin Gawlitza ; David Monniaux
Typing Local Control and State Using Flow Analysis / Arjun Guha ; Claudiu Saftoiu ; Shriram Krishnamurthi
Barriers in Concurrent Separation Logic / Aquinas Hobor ; Cristian Gherghina
From Exponential to Polynomial-Time Security Typing via Principal Types / Sebastian Hunt ; David Sands
Secure the Clones: Static Enforcement of Policies for Secure Object Copying / Thomas Jensen ; Florent Kirchner ; David Pichardie
Biochemical Reaction Rules with Constraints / Mathias John ; Cédric Lhoussaine ; Joachim Niehren ; Cristian Versari
A Testing Theory for a Higher-Order Cryptographic Language (Extended Abstract) / Vasileios Koutavas ; Matthew Hennessy
A New Method for Dependent Parsing / Trevor Jim ; Yitzhak Mandelbaum
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
Algorithmic Nominal Game Semantics / Andrzej S. Murawski ; Nikos Tzevelekos
The Relationship between Separation Logic and Implicit Dynamic Frames / Matthew J. Parkinson ; Alexander J. Summers
Precise Interprocedural Analysis in the Presence of Pointers to the Stack / Pascal Sotin ; Bertrand Jeannet
General Bindings and Alpha-Equivalence in Nominal Isabelle / Christian Urban ; Cezary Kaliszyk
Author Index
Verified Software Toolchain (Invited Talk) / Andrew W. Appel
Polymorphic Contracts / João Filipe Belo ; Michael Greenberg ; Atsushi Igarashi ; Benjamin C. Pierce
Proving Isolation Properties for Software Transactional Memory / Annette Bieniusa ; Peter Thiemann
29.

電子ブック

EB
Alberto Marchetti-Spaccamela, Takeo Kanade, Michael Segal
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Distributed Decision Problems: The Locality Angle (Invited Talk) / Shay Kutten
Managing Power Heterogeneity (Invited Talk) / Kirk Pruhs
The Mathematics of Mobility (Invited Talk) / Paolo Santi
Speed Scaling to Manage Temperature / Leon Atkins ; Guillaume Aupy ; Daniel Cole
Alternative Route Graphs in Road Networks / Roland Bader ; Jonathan Dees ; Robert Geisberger ; Peter Sanders
Robust Line Planning in Case of Multiple Pools and Disruptions / Apostolos Bessas ; Spyros Kontogiannis ; Christos Zaroliagis
Exact Algorithms for Intervalizing Colored Graphs / Hans L. Bodlaender ; Johan M. M. van Raoij
L(2,1)-Labeling of Unigraphs (Extended Abstract) / Tiziana Calamoneri ; Rossella Petreschi
Energy-Efficient Due Date Scheduling / Ho-Leung Chan ; Tak- Wah Lam ; Rongbin Li
Go with the Flow: The Direction-Based Fréchet Distance of Polygonal Curves / Mark de Berg ; Atlas F. Cook IV
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
Author Index
Distributed Decision Problems: The Locality Angle (Invited Talk) / Shay Kutten
Managing Power Heterogeneity (Invited Talk) / Kirk Pruhs
The Mathematics of Mobility (Invited Talk) / Paolo Santi
30.

電子ブック

EB
Stefano Ceri, Marco Brambilla, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
The Search Process / Part 1:
The New Frontier of Web Search Technology: Seven Challenges / Ricardo Baeza- Yates ; Andrei Z. Broder ; Yoelle Maarek
Information Exploration in Search Computing / Alessandro Bozzon ; Marco Brambilla ; Stefano Ceri ; Piero Fraternali
Trends in Search Interaction / Ricardo Baeza-Yates ; Paolo Boldi ; Gabriella Pasi
Interaction Design / Part 2:
Context and Action in Search Interfaces / Alan Dix
Desktop, Tabletop or Mobile? / Moira C. Norrie
Visualization of Multi-domain Ranked Data / Tiziana Catarci ; Maristella Matera
Semantic Description / Part 3:
Semantic Resource Framework / Alessandro Campi ; Silvia Quarteroni
Automatic Normalization and Annotation for Discovering Semantic Mappings / Sonia Bergamaschi ; Domenico Beneventano ; Laura Po ; Serena Sorrentino
Towards an Ontological Representation of Services in Search Computing / Fabian Suchanek ; Emanuele Della Valle ; Stefania Ronchi
Rank Join / Part 4:
The Rank Join Problem / Neoklis Polyzotis
Proximity Rank Join in Search Computing / Davide Martinenghi ; Marco Tagliasacchi
Uncertainty in Rank Join / Ihab F. Ilyas
Trends in Rank Join / Ihab Ilyas
Query Processing / Part 5:
Efficient Computation of Search Computing Queries / Daniele Braga ; Michael Grossniklaus ; Francesco Corcoglioniti ; Salvatore Vadacca
Run-Time Adaptivity for Search Computing / Norman W. Paton
Tools and Mashups / Part 6:
Tools Supporting Search Computing Application Development / Luca Tettamanti
Distributed User Interface Orchestration: On the Composition of Multi-User (Search) Applications / Florian Daniel ; Stefano Soi ; Fabio Casati
On Development Practices for End Users / Muhammad Imran
Bio-SeCo / Part 7:
Bio-SeCo: Integration and Global Ranking of Biomedical Search Results / Marco Masseroli ; Giorgio Ghisalberti
Workflows for Information Integration in the Life Sciences / Paolo Missier ; Norman Paton ; Peter Li
Complex Search, Ranks, and Biological Discovery: A User's Perspective / Paolo Romano ; Luciano Milanesi
Towards a Sustainable Exploitation / Part 8:
An Experience in Applying User Centered Design to Search Computing / Tommaso Buganza ; Marta Corubolo ; Elena Pellizzoni
Analysis of Business Models for Search Computing
Author Index
The Search Process / Part 1:
The New Frontier of Web Search Technology: Seven Challenges / Ricardo Baeza- Yates ; Andrei Z. Broder ; Yoelle Maarek
Information Exploration in Search Computing / Alessandro Bozzon ; Marco Brambilla ; Stefano Ceri ; Piero Fraternali
31.

電子ブック

EB
Achim Ebert, Alan Dix, Nahum D. Gershon, Takeo Kanade, Margit Pohl
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
32.

電子ブック

EB
Sharon Barner, Ian Harris, Takeo Kanade, Daniel Kroening, Orna Raz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
33.

電子ブック

EB
Mario Bravetti, Tevfik Bultan, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
34.

電子ブック

EB
Alex Biryukov, Guang Gong, Takeo Kanade, Douglas R. Stinson
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Hash Functions I
Zero-Sum Distinguishers for Iterated Permutations and Application to KECCAK-f and Hamsi-256 / Christina Boura ; Anne Canteaut
The Differential Analysis of S-Functions / Charles Bouillaguet ; Orr Dunkelrman ; Gaëtan Leurent ; Pierre-Alain Fouque ; Nicky Mouha ; Vesselin Velichkov ; Christophe De Cannière ; Bart Preneel
Stream Ciphers
Hill Climbing Algorithms and Trivium / Julia Borghoff ; Lars R. Knudsen ; Krystian Matusiewicz
Discovery and Exploitation of New Biases in RC4 / Pouyan Sepehrdad ; Serge Vaudenay ; Martin Vuagnoux
The Stafford Tavares Lecture
The Rise and Fall and Rise of Combinatorial Key Predistribution / Keith M. Martin
Efficient Implementations
A Low-Area Yet Performant FPGA Implementation of Shabal / Jérémie Detrey ; Pierrick Gaudry ; Karim Khalfallah
Implementation of Symmetric Algorithms on a Synthesizable 8-Bit Microcontroller Targeting Passive RFID Tags / Thomas Plos ; Hannes Gro? ; Martin Feldhofer
Batch Computations Revisited: Combining Key Computations and Batch Verifications / René Struik
Coding and Combinatorics
Wild McEliece / Daniel J. Bernstein ; Tanja Lange ; Christiane Peters
Parallel-CFS: Strengthening the CFS McEliece-Based Signature Scheme / Matthieu Finiasz
A Zero-Knowledge Identification Scheme Based on the q-ary Syndrome Decoding Problem / Pierre-Louis Cayrel ; Pascal Véron ; Sidi Mohamed El Yousfi Alaoui
Optimal Covering Codes for Finding Near-Collisions / Mario Lamberger ; Vincent Rijmen
Block Ciphers
Tweaking AES / Ivica Nikolic
On the Diffusion of Generalized Feistel Structures Regarding Differential and Linear Cryptanalysis / Kyoji Shibutani
A 3-Subset Meet-in-the-Middle Attack: Cryptanalysis of the Lightweight Block Cipher KTANTAN / Andrey Bogdanov ; Christian Rechberger
Side Channel Attacks
Improving DPA by Peak Distribution Analysis / Jing Pan ; Jasper G.J. van Woudenberg ; Jerry I. den Hartog ; Marc F. Witteman
Affine Masking against Higher-Order Side Channel Analysis / Guillaume Fumaroli ; Ange Martinelli ; Emmanuel Prouff ; Matthieu Rivain
Invited Talk
Search on Encrypted Data in the Symmetric-Key Setting / Alexandra Boldyreva
Mathematical Aspects
Preimages for the Tillich-Zémor Hash Function / Christophe Petit ; Jean-Jacques Quisquater
One-Time Signatures and Chameleon Hash Functions / Payman Mohassel
On the Minimum Communication Effort for Secure Group Key Exchange / Frederik Armknecht ; Jun Furukawa
Hash Functions II
Deterministic Differential Properties of the Compression Function of BMW / Jian Guo ; Søren S. Thomsen
Security Analysis of SIMD
Subspace Distinguisher for 5/8 Rounds of the ECHO-256 Hash Function / Martin Schläffer
Cryptanalysis of Luffa v2 Components / Dmitry Khovratovich ; María Naya-Plasencia ; Andrea Röck
Author Index
Hash Functions I
Zero-Sum Distinguishers for Iterated Permutations and Application to KECCAK-f and Hamsi-256 / Christina Boura ; Anne Canteaut
The Differential Analysis of S-Functions / Charles Bouillaguet ; Orr Dunkelrman ; Gaëtan Leurent ; Pierre-Alain Fouque ; Nicky Mouha ; Vesselin Velichkov ; Christophe De Cannière ; Bart Preneel
35.

電子ブック

EB
Yuval Ishai, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Hardness Amplification
Input Locality and Hardness Amplification / Andrej Bogdanov ; Alan Rosen
General Hardness Amplification of Predicates and Puzzles / Thomas Holenstein ; Grant Schoenebeck
Security Amplification for the Cascade of Arbitrarily Weak PRPs:Tight Bounds via the Interactive Hardcore Lemma / Stefano Tessaro
Invited Talk 1
Dense Model Theorems and Their Applications / Luca Trevisan
Leakage Resilience
Parallel Repetition for Leakage Resilience Amplification Revisited / Abhishek Jain ; Krzysztoj Pietrzak
Achieving Leakage Resilience through Dual System Encryption / Allison Lewko ; Yannis Rouselakis ; Brent Waters
Signatures Resilient to Continual Leakage on Memory and Computation / Tal Malkin ; Isarnu Teranishi ; Yevgeniy Vahlis ; Moti Yung
After-the-Fact Leakage in Public-Key Encryption / Shai Hale-vi ; Huijia Lin
Tamper Resilience
One-Time Computable Self-erasing Functions / Stefan Dziembowski ; Tomasz Kazana ; DanieL Wichs
Perfectly Secure Oblivious RAM without Random Oracles / Ivan Damgard ; Sigurd Meldgaard ; Jesper Buus Nielsen
Unconditional and Composable Security Using a Single Stateful Tamper-Proof Hardware Token / Nico Döttling ; Daniel Kraschewski ; Jörn Müller-Quade
Correlated-Input Secure Hash Functions / Vipul Goyal ; Adam O'Neill ; Vanishree Rao
Encryption
Black-Box Circular-Secure Encryption beyond Affine Functions / Zvika Brakerski ; Shafi Goldwasser ; Yael Tauman Kalai
Homomorphic Encryption: From Private-Key to Public-Key / Ron Rothblum
Identity-Based Encryption Secure against Selective Opening Attack / Mihir Bellare ; Scott Yilek
Functional Encryption: Definitions and Challenges / Dan Boneh ; Amit Sahai
Composable Security
Concurrent Non-Malleable Zero Knowledge with Adaptive Inputs / Rafael Pass
Round-Optimal Password-Based Authenticated Key Exchange / Jonathan Katz ; Vinod Vaikuntanathan
Bringing People of Different Beliefs Together to Do UC / Sanjam Garg
Secure Computation
Secure Two-Party Computation via Cut-and-Choose Oblivious Transfer / Yehuda Lindell ; Benny Pinkas
Practical Adaptive Oblivious Transfer from Simple Assumptions / Matthew Green ; Susan Hohenberger
Completeness Theorems with Constructive Proofs for Finite Deterministic 2-Party Functions / Daniel KraschewsKi
A Zero-One Law for Secure Multi-party Computation with Ternary Outputs / Gunnar Kreitz
Privacy
PCPs and the Hardness of Generating Private Synthetic Data / Jonathan Ullman ; Salil Vadhan
Limits of Computational Differential Privacy in the Client/Server Setting / Adam Groce ; Arkady Yerukhimovich
Towards Privacy for Social Networks: A Zero-Knowledge Based Definition of Privacy / Johannes Gehrke ; Edward Lui
Coin Tossing and Pseudorandomness
On the Black-Box Complexity of Optimally-Fair Coin Tossing / Dana Dachman-Soled ; Mohammad Mahmoody
Tight Bounds for Classical and Quantum Coin Flipping / Esther Hanggi ; Jürg Wullschleger
Exploring the Limits of Common Coins Using Frontier Analysis of Protocols / Hemanta K. Maji ; Pichayoot Ouppaphan ; Manoj Prabhakaran ; Mike Rosulek
Limits on the Stretch of Non-adaptive Constructions of Pseudo-Random Generators / Josh Bronson ; Ali Juma ; Periklis A. Papakonstantinou
On the Complexity of Non-adaptively Increasing the Stretch of Pseudorandom Generators / Eric Miles ; Emanuele Viola
Invited Talk 2
Concurrent Security and Non-malleability (Abstract)
Black-Box Constructions and Separations
(Nearly) Round-Optimal Black-Box Constructions of Commitments Secure against Selective Opening Attacks / David Xiao
Limits on the power of Zero-Knowledge Proofs in Cryptographic Constructions / Gil Segev
Towards Non-black-Box Lower Bounds in Cryptography / Wei-Lung Dustin Tseng ; Muthuramakrishnan Venkitasubramaniam
Black-Box Separations
On Black-Box Separations among Injective One-Way Functions / Takahiro Matsuda ; Kanta Matsuura
Impossibility of Blind Signatures from One-Way Permutations / Dominique Schröder
Author Index
Hardness Amplification
Input Locality and Hardness Amplification / Andrej Bogdanov ; Alan Rosen
General Hardness Amplification of Predicates and Puzzles / Thomas Holenstein ; Grant Schoenebeck
36.

電子ブック

EB
Javier Larrosa, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
37.

電子ブック

EB
Claus Vielhauer, Jana Dittmann, Andrzej Drygajlo, Michael C. Fairhurst, Niels Christian Juul, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
38.

電子ブック

EB
Andreas Koch, Tarek El-Ghazawi, Takeo Kanade, Ram Krishnamurthy, John McAllister, Roger Woods
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Plenary Talks
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
39.

電子ブック

EB
James Noble, Paris Avgeriou, Neil B. Harrison, Ralph Johnson, Takeo Kanade, Uwe Zdun
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
40.

電子ブック

EB
Ron Kimmel, Takeo Kanade, Reinhard Klette, Akihiro Sugimoto
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote
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
Analytical Dynamic Programming Tracker / Seiichi Uchida ; Ikka Fujimura ; Hiraki Kawano ; Yaokai Feng
A Multi-Scale Learning Framework for Visual Categorization / Shao-Chuan Wang ; Yu-Chiang Frank Wang
Image Sensing
Fast Spectral Reflectance Recovery Using DLP Projector / Shuai Han ; Imari Sato ; TakahirO Okabe
Hemispherical Confocal Imaging Using Turtleback Reflector / Yasuhiro Mukaigawa ; Seiichi Tagawa ; Jaewon Kim ; Ramesh Raskar ; Yasuyuki Matsushita
Image-Based and Sketch-Based Modeling of Plants and Trees / Sing Bing Kang
Segmentation and Texture
MOMI-Cosegmenta:tion: Simultaneous Segmentation of multiple Objects among Multiple Images / Wen-Sheng Chu ; Chia-Ping Chen ; Chu-Song Chen
Spatiotemporal Closure / Aiex Levinshtein ; Clistian Sminchisescu ; Sven Dickinson
Compressed Sensing for Robust Texture Classification / Li Liu ; Paul Fieguth ; Gangyao Kuang
Interactive Multi-label Segmentation / Jakob Santner ; Thomas Pock ; Horst Bischof
Four Color Theorem for Fast Early Vision / Radu Timojte
Detection and Recognition II
A Unified Approach to Segmentation and Categorization of Dynamic Textures / Avinash Ravichandran ; Paolo FavarO ; Rene Vidal
Learning Video Manifold for Segmenting Crowd Events and Abnormality Detection / Myo Thida ; How-Lung Eng ; Monekosso Dorothy ; Paolo Remagnino
A Weak Structure Model for Regular Pattern Recognition Applied to Facade Images / Radim Tylecek ; Radim Sara
Multiple Viewpoint Recognition and Localization / Scott Helmer ; David Meger ; Marius Muja ; James J. Little ; David G. Lowe
Matching and Similarity
Localized Earth Mover's Distance for Robust Histogram Comparison / Kwang Hee Won ; Soon Ki jung
Geometry Aware Local Kernels for Object Recognition / Dimitri Semenovich ; Arcot SoWmya
Author Index
Keynote
Deformable Object Modelling and Matching / Tim F. Coates
Geometry and Correspondenc
41.

電子ブック

EB
E. Michael Maximilien, Marcelo Fantinato, Takeo Kanade, Heiko Ludwig, Gustavo Rossi, Soe-Tsyr Yuan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
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
SOC-LOG 2010 Workshop
Introduction to the Second International Workshop on Service Oriented Computing in Logistics (SOC-LOG 2010) / Joerg Leukel ; André Ludwig ; Alex Norto
Coordinating Distributed Operations / Daniel Oppenheim ; Saeed Bagheri ; Krishna Ratakonda ; Yi-Min Chee
Early Model-Analysis of Logistics Systems / Freeha Azmat ; Laura Bocchi ; José Luiz Fiadeiro
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
42.

電子ブック

EB
Neil Spring, Takeo Kanade, George F. Riley
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
A Practical Approach to Portscan Detection in Very High-Speed Links / Jakub Mikians ; Pere Barlet-Ros ; Josep Sanjuàs-Cuxart ; Josep Solé-Pareta
Omnify: Investigating the Visibility and Effectiveness of Copyright Monitors / Rahul Potharaju ; Jeff Seibert ; Sonia Fahmy ; Cristina Nita-Rotaru
Internet Censorship in China: Where Does the Filtering Occur? / Xueyang Xu ; Z. Morley Mao ; J. Alex Halderman
Route Flap Damping Made Usable / Cristel Pelsser ; Olaf Maennel ; Pradosh Mohapatra ; Randy Bush ; Keyur Patel
On Reducing the Impact of Interdomain Route Changes / Kyriaki Levanti ; Sihyung Lee ; Hyong S. Kim
Inferring the Origin of Routing Changes Based on Preferred Path Changes / Masafumi Watari ; Atsuo Tachibana ; Shigehiro Ano
A Comparative Study of Handheld and Non-handheld Traffic in Campus Wi-Fi Networks / Aaron Gember ; Ashok Anand ; Aditya Akella
Unveiling the BitTorrent Performance in Mobile WiMAX Networks / Xiaofei Wang ; Seungbae Kim ; Ted "Taekyoung" Kwon ; Hyun-chul Kim ; Yanghee Choi
Peeling Away Timing Error in NetFlow Data / Brian Trammell ; Bernhard Tellenbach ; Dominik Schatzmann ; Martin Burkhart
Clockscalpel: Understanding Root Causes of Internet Clock Synchronization Inaccuracy / Chi-Yao Hong ; Chia-Chi Lin ; Matthew Caesar
FACT: Flow-Based Approach for Connectivity Tracking / Simon Leinen ; Jochen Kögel ; Wolfgang Mühlbauer
Non-cooperative Diagnosis of Submarine Cable Faults / Edmond W.W. Chan ; Xiapu Luo ; Waiting W.T. Fok ; Weichao Li ; Rocky K.C. Chang
Measuring and Characterizing End-to-End Route Dynamics in the Presence of Load Balancing / Ítalo Cunha ; Renata Teixeira ; Christophe Diot
Author Index
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
43.

電子ブック

EB
Anton Benz, Christian Ebert, Gerhard Jäger, Takeo Kanade, Robert Rooij
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Language, Games, and Evolution
Language, Games, and Evolution: An Introduction / Anton Benz ; Christian Ebert ; Gerhard Jäger ; Robert van Rooij
Non-evolutionary Approaches: Synchronic Phenomena / Part I:
How to Set Up Normal Optimal Answer Models
Strategic Vagueness, and Appropriate Contexts / Kris de Jaegher
Now That You Mention It: Awareness Dynamics in Discourse and Decisions / Michael Franke ; Tikitu de Jager
The Role of Speaker Beliefs in Determining Accent Placement / James German ; Eyal Sagi ; Stefan Kaufmann ; Brady Clark
Evolutionary Approaches: Diachronic Phenomena / Part II:
Evolutionarily Stable Communication and Pragmatics / Thomas C. Scott-Phillips
Simulating Grice: Emergent Pragmatics in Spatialized Game Theory / Patrick Grim
Signaling Games: Dynamics of Evolution and Learning / Simon M. Huttegger ; Kevin J.S. Zollman
Pragmatics, Logic and Information Processing / Brian Skyrms
Author Index
Language, Games, and Evolution
Language, Games, and Evolution: An Introduction / Anton Benz ; Christian Ebert ; Gerhard Jäger ; Robert van Rooij
Non-evolutionary Approaches: Synchronic Phenomena / Part I:
44.

電子ブック

EB
Costas S. Iliopoulos, Takeo Kanade, William F. Smyth
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
Recognition of Probe Ptolemaic Graphs(Ectended Abstract) / Maw-Shang Chang ; Ling-Ju Hung
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
45.

電子ブック

EB
Roland Kaschek, Lois Delcambre, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
46.

電子ブック

EB
Marcos K. Aguilera, Romit Roy Choudhury, Takeo Kanade, Vikram Srinivasan, Nitin H. Vaidya, Haifeng Yu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
Locality-Conscious Lock-Free Linked Lists / Anastasia Braginsky ; Erez Petrank
Specification and Constant RMR Algorithm for Phase-Fair Reader-Writer Lock / Vibhor Bhatt ; Prasad Jayanti
On the Performance of Distributed Lock-Based Synchronization / Yuval Lubowich ; Gadi Taubenfeld
Distributed Generalized Dynamic Barrier Synchronization / Shivali Agarwal ; Saurabh Joshi ; Rudrapatna K. Shyamasundar
A High-Level Framework for Distributed Processing of Large-Scale Graphs / Elzbieta Krepska ; Thilo Kielmann ; Wan Fokkink ; Henri Bal
Affinity Driven Distributed Scheduling Algorithm for Parallel Computations / Ankur Narang ; Abhinav Srivastava ; Naga Praveen Kumar
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
A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus in Symmetric Networks / Olivier Baldellon ; Achour Mostéfaoui ; Michel Raynal
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
DHCP Origin Traceback / Saugat Majumdar ; Dhananjay Kulkarni ; Chinya V. Ravishankar
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
47.

電子ブック

EB
René Leuken, Takeo Kanade, Gilles Sicard
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Design Flows / Session 1:
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
A Temperature-Aware Time-Dependent Dielectric Breakdown Analysis Framework / Dimitris Bekiaris ; Antonis Papanikolaou ; Christos Papameletis ; Dimitrios Soudris ; George Economakos ; Kiamal Pekmestzi
Low Power Circuits / Session 3:
An Efficient Low Power Multiple-Value Look-Up Table Targeting Quaternary FPGAs / Cristiano Lazzari ; Jorge Fernandas ; Paulo Flores ; José Monteiro
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
Optimizing and Comparing CMOS Implementations of the C-Element in 65nm Technology: Self-Timed Ring Case / Oussama Elissati ; Eslam Yahya ; Sébastien Rieubon ; Laurent Fesquet
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
Modeling Time Domain Magnetic Emissions of ICs / Victor Lomné ; Philippe Maurine ; Lionel Torres ; Thomas Ordas ; Mathieu Lisart ; Jérome Toublanc
High-Level Modeling of Power-Aware Heterogeneous Designs in System C-AMS (Abstracts) / Special Session 1:
Power Profiling of Embedded Analog/Mixed-Signal Systems / Jan Haase ; Christoph Grimm
Open-People: Open Power and Energy Optimization PLatform and Estimator / Daniel Chillet
Early Power Estimation in Heterogeneous Designs Using SoCLib and SystemC-AMS / François Pêcheux ; Khouloud Zine El Abidine ; Alain Greiner
Minalogic (Abstracts) / Special Session 2:
ASTEC: Asynchronous Technology for Low Power and Secured Embedded Systems / Pr. Marc Renaudin
OPENTLM and SOCKET: Creating an Open EcoSystem for Virtual Prototyping of Complex SOCs / Laurent Maillet-Contoz
Keynotes (Abstracts)
Variability-Conscious Circuit Designs for Low-Voltage Memory-Rich Nano-Scale CMOS LSIs / Kiyoo Itoh
3D Integration for Digital and Imagers Circuits: Opportunities and Challenges / Marc Belleville
Signing off Industrial Designs on Evolving Technologies / Sébastien Marchal
Author Index
Design Flows / Session 1:
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
48.

電子ブック

EB
Michael Johnson, Takeo Kanade, Dusko Pavlovic
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper / Part 1:
Structural Analysis for Stochastic Process Algebra Models (Invited Talk) / Jie Ding ; Jane Hillston
Contributed Research Papers / Part 2:
Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra / Claude Bolduc ; Béchir Ktari
On the Expressiveness of the ?-Calculus and the Mobile Ambients / Linda Brodo
Integrating Maude into Hets / Mihai Codescu ; Till Mossakowski ; Adrián Riesco ; Christian Maeder
Model Refinement Using Bisimulation Quotients / Roland Glück ; Bernhard Möller ; Michel Sintzoff
Type Fusion / Ralf Hinze
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming / Ekaterina Komendantskaya ; Guy McCusker ; John Power
Learning in a Changing World, an Algebraic Modal Logical Approach / Prakash Panangaden ; Mehrnoosh Sadrzadeh
Matching Logic: An Alternative to Hoare/Floyd Logic / Grigore Rosu ; Chucky Ellison ; Wolfram Schulte
Program Calculation in Coq / Julien Tesson ; Hideki Hashimoto ; Zhenjiang Hu ; Frédéric Loulergue ; Masato Takeichi
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming / Rafael del Vado Vírseda
System Demonstrations / Part 3:
Proving Termination Properties with MU-TERM / Beatriz Alarcón ; Raúl Gutiérrez ; Salvador Lucas ; Rafael Navarro-Marset
BAL Tool in Flexible Manufacturing Systems / Diego Pérez Leándrez ; M. Carmen Ruiz ; J. Jose Pardo ; Diego Cazorla
A Complete Declarative Debugger for Maude / Alberto Verdejo ; Narciso Martí-Oliet
An Assume Guarantee Approach for Checking Quantified Array Assertions / Mohamed Nassim Seghir
Author Index
Invited Paper / Part 1:
Structural Analysis for Stochastic Process Algebra Models (Invited Talk) / Jie Ding ; Jane Hillston
Contributed Research Papers / Part 2:
49.

電子ブック

EB
Kuo-Tien Lee, Wenxiang Cai, Tsuhan Chen, Jun-Wei Hsieh, Takeo Kanade, Hong-Yuan Mark Liao, Wen-Hsiang Tsai, Chien-Cheng Tseng
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
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
50.

電子ブック

EB
Kuo-Tien Lee, Wenxiang Cai, Tsuhan Chen, Jun-Wei Hsieh, Takeo Kanade, Hong-Yuan Mark Liao, Wen-Hsiang Tsai, Chien-Cheng Tseng
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Regular Papers
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
Incremental Multiple Classifier Active Learning for Concept Indexing in Images and Videos / Bahjat Safadi ; Yubing Tong ; Georges Quénot
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
Multimedia Signal Processing and Communications
Image Super-Resolution by Vectorizing Edges / Chia-Jung Hung ; Chun-Kat Huang ; Bing- Yu Chen
Vehicle Counting without Background Modeling / Cheng-Chang Lien ; Ya-Ting Tsai ; Ming-Hsiu Tsai ; Lih-Guong Jang
Effective Color-Difference-Based Interpolation Algorithm for CFA Image Demosaicking / Yea-Shuan Huang ; Sheng- Yi Cheng
Utility Max-Min Fair Rate Allocation for Multiuser Multimedia Communications / Qing Zhang ; Guizhong Liu ; Fan Li
Multimedia Applications
Adaptive Model for Robust Pedestrian Counting / Jingjing Liu ; Jinqiao Wang
Multi Objective Optimization Based Fast Motion Detector / Jia Su ; Xin Wei ; Xiaocong Jin ; Takeshi Ikenaga
Narrative Generation by Repurposing Digital Videos / Nick C. Tang ; Hsiao-Rong Tyan ; Chiou-Ting Hsu ; Hong- Yuan Mark Liao
A Coordinate Transformation System Based on the Human Feature Information / Shih-Ming Chang ; Joseph Tsai ; Timothy K. Shik ; Hui-Huang Hsu
An Effective Illumination Compensation Method for Face Recognition / Chu- Yung Li
Shape Stylized Face Caricatures / Nguyen Kim Hai Le ; Yong Peng Why ; Golam Askraf
i-m-Breath: The Effect of Multimedia Biofeedback on Learning Abdominal Breath / Meng-Chieh Yu ; Jin-Shing Chen ; King-Jen Chang ; Su-Chu Hsu ; Ming-Sui Lee
Author Index
Regular Papers
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
51.

電子ブック

EB
H. Jaap Herik, Hiroyuki Iida, Takeo Kanade, Aske Plaat
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Solving Hex: Beyond Humans / Broderick Arneson ; Ryan B. Hayward ; Philip Henderson
Job-Level Proof-Number Search for Connect6 / I-Chen Wu ; Hung-Hsuan Lin ; Ping-Hung Lin ; Der-Johng Sun ; Yi-Chih Chan ; Bo-Ting Chen
Evaluation-Function Based Proof-Number Search / Mark H.M. Winands ; Maarten P.D. Schadd
On the Scalability of Parallel UCT / Richard B. Segal
Scalability and Parallelization of Monte-Carlo Tree Search / Amine Bourki ; Guillaume Chaslot ; Matthieu Coulm ; Vincent Danjean ; Hassen Doghmen ; Jean-Baptiste Hoock ; Thomas Hérault ; Arpad Rimmel ; Fabien Teytaud ; Olivier Teytaud ; Paul Vayssière ; Ziqin Yu
Biasing Monte-Carlo Simulations through RAVE Values
Computational Experiments with the RAVE Heuristic / David Tom ; Martin Müller
Monte-Carlo Simulation Balancing in Practice / Shih-Chieh Huang ; Rémi Coulom ; Shun-Shii Lin
Score Bounded Monte-Carlo Tree Search / Tristan Cazenave ; Abdallah Saffidine
Improving Monte-Carlo Tree Search in Havannah / Richard J. Lorentz
Node-Expansion Operators for the UCT Algorithm / Takayuki Yajima ; Tsuyoshi Hashimoto ; Toshiki Matsui ; Junichi Hashimoto ; Kristian Spoerer
Monte-Carlo Opening Books for Amazons / Julien Kloetzer
A Principled Method for Exploiting Opening Books / Romaric Gaudel ; Julien Pérez ; Nataliya Sokolovska
A Human-Computer Team Experiment for 9×9 Go / Darren Cook
Consultation Algorithm for Computer Shogi: Move Decisions by Majority / Takuya Obata ; Takuya Sugiyama ; Kunihito Hoki ; Takeshi Ito
Optimistic Selection Rule Better Than Majority Voting System
Knowledge Abstraction in Chinese Chess Endgame Databases / Bo-Nian Chen ; Pangfeng Liu ; Shun-Chin Hsu ; Tsan-sheng Hsu
Rook Jumping Maze Design Considerations / Todd W. Neller ; Adrian Fisher ; Munyaradzi T. Choga ; Samir M. Lalvani ; Kyle D. McCarty
A Markovian Process Modeling for Pickomino / Stéphane Cardon ; Nathalie Chetcuti-Sperandio ; Fabien Delorme ; Sylvain Lagrue
New Solutions for Synchronized Domineering / Sahil Bahri ; Clyde P. Kruskal
The Lattice Structure of Three-Player Games / Alessandro Cincotti
Enhancements for Multi-Player Monte-Carlo Tree Search / J. (Pim) A.M. Nijssen
Nearly Optimal Computer Play in Multi-player Yahtzee / Jakub Pawlewicz
Extraversion in Games / Giel van Lankveld ; Sonny Schreurs ; Pieter Spronck ; Jaap van den Herik
Author Index
Solving Hex: Beyond Humans / Broderick Arneson ; Ryan B. Hayward ; Philip Henderson
Job-Level Proof-Number Search for Connect6 / I-Chen Wu ; Hung-Hsuan Lin ; Ping-Hung Lin ; Der-Johng Sun ; Yi-Chih Chan ; Bo-Ting Chen
Evaluation-Function Based Proof-Number Search / Mark H.M. Winands ; Maarten P.D. Schadd
52.

電子ブック

EB
Yongwha Chung, Takeo Kanade, Moti Yung
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Cryptosystem
Construction of Identify Based Signcryption Schemes / Sumit Kumar Pandey ; Rana Barua
Predicate-Based Authenticated Key Exchange Resilient to Ephemeral Key Leakage / Atsushi Fujioka ; Koutarou Suzuki ; Kazuki Yoneyama
A New Efficient Construction for Non-Malleable Zero-Knowledge Sets / Wenpan Jing ; Haixia Xu ; Bao Li
Distributed Paillier Cryptosystem without Trusted Dealer / Takashi Nishide ; Kouichi Sakurai
Implementation
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
Attack
Combined Side-Channel Attacks / M. Abdelaziz Elaabid ; Olivier Meynard ; Sylvain Guilley ; Jean-Luc Danger
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
Predicate-Based Authenticated Key Exchange Resilient to Ephemeral Key Leakage / Atsushi Fujioka ; Koutarou Suzuki ; Kazuki Yoneyama
53.

電子ブック

EB
João M. Fernandes, Takeo Kanade, Ralf Lämmel, João Saraiva, Joost Visser
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Long Tutorials / Part I:
An Introduction to Software Product Line Refactoring / Paulo Borba
Excerpts from the TXL Cookbook / James R. Cordy
Model Synchronization: Mappings, Tiles, and Categories / Zinovy Diskin
An Introductory Tutorial on JastAdd Attribute Grammars / Görel Hedin
Model Driven Language Engineering with Kermeta / Jean-Marc Jézéquel ; Olivier Barais ; Franck Fleurey
EASY Meta-programming with Rascal / Paul Klint ; Tijs van der Storm ; Jurgen Vinju
The Theory and Practice of Modeling Language Design for Model-Based Software Engineering-A Personal Perspective / Bran Selic
Short Tutorials / Part II:
Code Transformations for Embedded Reconfigurable Computing Architectures / Pedro C. Diniz ; João M.P. Cardoso
Model Transformation Chains and Model Management for End-to-End Performance Decision Support / Mathias Fritzsche ; Wasif Gilani
Building Code Generators with Genesys: A Tutorial Introduction / Sven Jörges ; Bernhard Steffen ; Tiziana Margaria
The Need for Early Aspects / Ana Moreira ; João Araújo
Lightweight Language Processing in Kiama / Anthony M. Sloane
Some Issues in the 'Archaeology' of Software Evolution / Michel Wermelinger ; Yijun Yu
Participants Contributions / Part III:
Teaching Computer Language Handling - From Compiler Theory to Meta-modelling / Terje Gjøsæer ; Andreas Prinz
C++ Metastring Library and Its Applications / Zalán Szugyi ; Ábel Sinkovics ; Norbert Pataki ; Zoltán Porkoláb
Language Convergence Infrastructure / Vadim Zaytsev
Author Index
Long Tutorials / Part I:
An Introduction to Software Product Line Refactoring / Paulo Borba
Excerpts from the TXL Cookbook / James R. Cordy
54.

電子ブック

EB
Mohua Banerjee, Takeo Kanade, Anil Seth
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Semantics Based on Conceptual Spaces (Invited Talk) / Peter Gärdenfors
Four Corners-East and West (Invited Talk) / Graham Priest
Infinite Games and Uniformization (Invited Talk) / Wolfgang Thomas
On Fuzzy Sets and Rough Sets from the Perspective of Indiscernibility / Mihir K. Chakraborty
The Logic of Campaigning / Walter Dean ; Rohit Parikh
A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity / Ernst-Erich Doberkat
Contextual Coalitional Games / Patrick Doherty ; Tomasz Michalak ; Jacek Sroka ; Andrzej Szatas
Sensible Semantics of Imperfect Information: On a Formal Feature of Meanings / Pietro Galliani
A Qualitative Approach to Uncertainty / Sujata Ghosh ; Fernando R. Velázquez-Quesada
The Completion of the Emergence of Modern Logic from Boole's The Mathematical Analysis of Logic to Frege's Begriffsschrift / Priyedarshi Jetli
A Modal Logic for Multiple-Source Tolerance Approximation Spaces / Md. Aquil Khan ; Minghui Ma
A Note on Nathanial's Invariance Principle in Polyadic Inductive Logic / Jeff B. Paris ; Alena Vencovská
First-Order Inquisitive Pair Logic / Katsuhiko Sano
Ultrafilter Extensions of Models / Denis I. Saveliev
Logic in the Community / Jeremy Seligman ; Fenrong Liu ; Patrick Girard
Reasoning about Protocol Change and Knowledge / Yanjing Wang
Becoming Aware of Prepositional Variables / Hans van Ditmarsch ; Tim French
Author Index
Semantics Based on Conceptual Spaces (Invited Talk) / Peter Gärdenfors
Four Corners-East and West (Invited Talk) / Graham Priest
Infinite Games and Uniformization (Invited Talk) / Wolfgang Thomas
55.

電子ブック

EB
David Riaño, Takeo Kanade, Silvia Miksch, Mor Peleg, Annette Teije
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Ontologies
Ontology-Based Retrospective and Prospective Diagnosis and Medical Knowledge Personalization / Cristina Romero-Tris ; David Riaño ; Francis Real
A Semantic Web Approach to Integrate Phenotype Descriptions and Clinical Data / María Taboada ; María Jesús Sobrido ; Verónica Colombo ; Belén Pilo
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
Linguistic and Temporal Processing for Discovering Hospital Acquired Infection from Patient Records / Caroline Hagége ; Pierre Marchal ; Quentin Gicquel ; Stefan Darmoni ; Suzanne Pereira ; Marie-Hélène Metzger
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
A Semantic Web Approach to Integrate Phenotype Descriptions and Clinical Data / María Taboada ; María Jesús Sobrido ; Verónica Colombo ; Belén Pilo
56.

電子ブック

EB
Bernhard Beckert, Takeo Kanade, Claude Marché
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
Sawja: Static Analysis Workshop for Java / Laurent Hubert ; Nicolas Barré ; Frédéric Besson ; Delphine Demange ; Thomas Jensen ; Vincent Monfort ; David Pichardie ; Tiphaine Turpin
CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties / Marieke Huisman ; Dilian Gurov
Specifying Imperative ML-Like Programs Using Dynamic Logic / Séverine Maingaud ; Vincent Balat ; Richard Bubel ; Reiner Hähnle ; Alexandre Miquel
Dynamic Frames in Java Dynamic Logic / Peter H. Schmitt ; Mattias Ulbrich ; Benjamin Wei?
A Refinement Methodology for Object-Oriented Programs / Asma Tafat ; Sylvain Boulmé ; Claude Marché
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
57.

電子ブック

EB
Wim Dam, Takeo Kanade, Vivien M. Kendon, Simone Severini
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Asymptotically Optimal Discrimination between Pure Quantum States / Michael Nussbaum ; Arleta Szkola
On Quantum Estimation, Quantum Cloning and Finite Quantum de Finetti Theorems / Giulio Chiribella
Simple Sets of Measurements for Universal Quantum Computation and Graph State Preparation / Yasuhiro Takahashi
Computational Depth Complexity of Measurement-Based Quantum Computation / Dan Browne ; Elham Kashefi ; Simon Perdrix
Local Equivalence of Surface Code States / Pradeep Sarvepalli ; Robert Raussendorf
Testing Non-isometry Is QMA-Complete / Bill Rosgen
Quantum Search with Advice / Ashley Montanaro
Simulating Sparse Hamiltonians with Star Decompositions / Andrew M. Childs ; Robin Kothari
The Polynomial Degree of Recursive Fourier Sampling / Benjamin Johnson
Generalized Self-testing and the Security of the 6-State Protocol / Matthew McKague ; Michele Mosca
A Conceptually Simple Proof of the Quantum Reverse Shannon Theorem / Mario Berta ; Matthias Christandl ; Renato Renner
Geometric Entanglement of Symmetric States and the Majorana Representation / Martin Aulbach ; Damian Markham ; Mio Murao
Monogamy of Multi-qubit Entanglement in Terms of Rényi and Tsallis Entropies / Jeong San Kim ; Barry C. Sanders
Bypassing State Initialisation in Perfect State Transfer Protocols on Spin-Chains / C. Di Franco ; M. Paternostro ; M.S. Kim
Teleportation of a Quantum State of a Spatial Mode with a Single Massive Particle / Libby Heaney
Author Index
Asymptotically Optimal Discrimination between Pure Quantum States / Michael Nussbaum ; Arleta Szkola
On Quantum Estimation, Quantum Cloning and Finite Quantum de Finetti Theorems / Giulio Chiribella
Simple Sets of Measurements for Universal Quantum Computation and Graph State Preparation / Yasuhiro Takahashi
58.

電子ブック

EB
Marian Gheorghe, Thomas Hinze, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote Presentations
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
Modeling Population Growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by Using P-Systems / Maria Angels Colomer ; Santiago Lavín ; Ignasi Marco ; Antoni Margalida ; Ignacio Pérez-Hurtado ; Mario J. Pérez-Jiménez ; Delfí Sanuy ; Emmanuel Serrano ; Luis Valencia-Cabrera
On Generalized Communicating P Systems with One Symbol / Erzsébet Csuhaj- Varjú ; György Vaszil
A Faster P Solution for the Byzantine Agreement Problem / Michael J. Dinneen ; Yun-Bum Kim ; Radu Nicolescu
Computationally Complete Spiking Neural P Systems without Delay: Two Types of Neurons Are Enough / Rudolf Freund ; Marian Kogler
P Systems and Unique-Sum Sets / Pierluigi Frisco
An Integrated Approach to P Systems Formal Verification / Raluca Lefticaru ; Ciprian Dragomir
Using the SRSim Software for Spatial and Rule-Based Modeling of Combinatorially Complex Biochemical Reaction Systems / Gerd Grünert
Depth-First Search with P Systems / Miguel A. Gutiérrez-Naranjo
Towards Modelling of Reactive, Goal-Oriented and Hybrid Intelligent Agents Using P Systems / Petros Kefalas ; Ioanna Stamatopoulou
Goldbeter's Mitotic Oscillator Entirely Modeled by MP Systems / Vincenzo Manca ; Luca Marchetti
Modelling Spatial Heterogeneity and Macromolecular Crowding with Membrane Systems / Ettore Mosca ; Luciano Milanesi
Randomized Gandy-Paun-Rozenberg Machines / Adam Obtutowicz
Feasibility of Organizations - A Refinement of Chemical Organization Theory with Application to P Systems / Stephan Peter ; Tomas Veloz
P Systems with Elementary Active Membranes: Beyond NP and coNP / Antonio E. Porreca ; Alberto Leporati ; Claudio Zandron
Polynomial Complexity Classes in Spiking Neural P Systems / Petr Sosík ; Alfonso Rodríguez-Patón ; Lucie Ciencialová
Spiking Neural P Systems with Neuron Division / Jun Wang ; Hendrik Jan Hoogeboom ; Linqiang Pan
Matrix Representation of Spiking Neural P Systems / Xiangxiang Zeng ; Henry Adorna ; Miguel Ángel Martínez-del-Amor
Author Index
Keynote Presentations
Membrane Computing at Twelve Years / Gheorghe Paun
Testing Based on P Systems - An Overview / Marian Gheorghe ; Florentin Ipate
59.

電子ブック

EB
Mike Burmester, Takeo Kanade, Spyros Magliveras, Gene Tsudik
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Attacks and Analysis
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
Privacy-Preserving ECC-Based Grouping Proofs for RFID / Lejla Batina ; Yong Ki Lee ; Stefaan Seys ; Dave Singelée ; Ingrid Verbauwhede
Malware, Crimeware and Code Injection
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
Double Spending Protection for E-Cash Based on Risk Management / Patricia Everaere ; Isabelle Simplot-Ryl ; Issa Traoré
Buffer Overflow
Integrating Offline Analysis and Online Protection to Defeat Buffer Overflow Attacks / Donghai Tian ; Xi Xiong ; Changzhen Hu ; Peng Liu
Cryptography, Theory
Deciding Recognizability under Dolev-Yao Intruder Model / Zhiwei Li ; Weichao Wang
Indifferentiable Security Reconsidered: Role of Scheduling / Kazuki Yoneyama
Author Index
Attacks and Analysis
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
60.

電子ブック

EB
Frank Dignum, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
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
61.

電子ブック

EB
Anna Esposito, Antonietta M. Esposito, Takeo Kanade, Raffaele Martone, Vincent C. Müller, Gaetano Scarpetta
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
Speech, Gaze and Head Motion in a Face-to-Face Collaborative Task / Sascha Fagel ; Gérard Bailly
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
Understanding Parent-Infant Behaviors Using Non-negative Matrix Factorization / Ammar Mahdhaoui ; Mohamed Chetouani
Learning and Knowledge-Based Sentiment Analysis in Movie Review Key Excerpts / Björn Schuller ; Tobias Knaup
Author Index
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
62.

電子ブック

EB
Raghunath Nambiar, Takeo Kanade, Meikel Poess
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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 Adaptive Indexing / Goetz Graefe ; Stratos Idreos ; Harumi Kuno ; Stefan Manegold
XWeB: The XML Warehouse Benchmark / Hadj Mahboubi ; Jérôme Darmont
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
63.

電子ブック

EB
Ranjit Jhala, Takeo Kanade, David Schmidt, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
64.

電子ブック

EB
James F. Peters, Chien-Chung Chan, Jerzy W. Grzymala-Busse, Takeo Kanade, Andrzej Skowron, Wojciech P. Ziarko
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Bit-Vector Representation of Dominance-Based Approximation Space / Chien-Chung Chan ; Gwo-Hshiung Tzeng
Approximations of Arbitrary Binary Relations by Partial Orders: Classical and Rough Set Models / Ryszard Janicki
Hybridization of Rough Sets and Statistical Learning Theory / Wojciech Jaworski
Fuzzy-Rough Nearest Neighbour Classification / Richard Jensen ; Chris Cornelis
Efficient Mining of Jumping Emerging Patterns with Occurrence Counts for Classification / Lukasz Kobylinski ; Krzysztof Walczak
Rough Entropy Hierarchical Agglomerative Clustering in Image Segmentation / Dariusz Malyszko ; Jaroslaw Stepaniuk
Software Defect Prediction Based on Source Code Metrics Time Series / Lukasz Pulawski
Risk Assessment in Granular Environments / Marcin Szczuka
Core-Generating Discretization for Rough Set Feature Selection / David Tian ; Xiao-jun Zeng ; John Keane
Perceptual Tolerance Intersection / Piotr Wasilewski ; James F. Peters ; Sheela Ramanna
Some Mathematical Structures of Generalized Rough Sets in Infinite Universes of Discourse / Wei-Zhi Wu ; Ju-Sheng Mi
Quadtree Representation and Compression of Spatial Data / Xiang Yin ; Ivo Düntsch ; Günther Gediga
Solving the Attribute Reduction Problem with Ant Colony Optimization / Hong Yu ; Guoyin Wang ; Fakuan Lan
A Note on Attribute Reduction in the Decision-Theoretic Rough Set Model / Yan Zhao ; S.K.M. Wong ; Yiyu Yao
Author Index
Bit-Vector Representation of Dominance-Based Approximation Space / Chien-Chung Chan ; Gwo-Hshiung Tzeng
Approximations of Arbitrary Binary Relations by Partial Orders: Classical and Rough Set Models / Ryszard Janicki
Hybridization of Rough Sets and Statistical Learning Theory / Wojciech Jaworski
65.

電子ブック

EB
Yasubumi Sakakibara, Takeo Kanade, Yongli Mi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
Triangular Tile Self-assembly Systems / Zhi Xu
Randomized Self Assembly of Rectangular Nano Structures / Vamsi Kundeti ; Sanguthevar Rajasekaran
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
66.

電子ブック

EB
Klaus Jansen, Takeo Kanade, Roberto Solis-Oba
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
WAOA 2010
Strategic Multiway Cut and Multicut Games / Elliot Anshelevich ; Bugra Caskurlu ; Ameya Hate
Approximating Directed Buy-at-Bulk Network Design / Spyridon Antonakopoulos
New Lower Bounds for Certain Classes of Bin Packing Algorithms / János Balogh ; József Békési ; Gábor Galambos
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
Approximate Counting for Complex-Weighted Boolean Constraint Satisfaction Problems / Tomoyuki Yamakami
Author Index
WAOA 2010
Strategic Multiway Cut and Multicut Games / Elliot Anshelevich ; Bugra Caskurlu ; Ameya Hate
Approximating Directed Buy-at-Bulk Network Design / Spyridon Antonakopoulos
67.

電子ブック

EB
Tibor Bosse, Armando Geller, Catholijn M. Jonker, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Models and Frameworks for MAS Development
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
Agent-Based Simulation Modelling of Housing Choice and Urban Regeneration Policy / René Jordan ; Mark Birkin ; Andrew Evans
Author Index
Models and Frameworks for MAS Development
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
68.

電子ブック

EB
Francisco V. Cipolla Ficarra, Carlos Castro Lozano, Miguel Cipolla-Ficarra, Takeo Kanade, Andreas Kratky, Emma Nicol
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
Usable Interface Design for Everyone / José Miguel Ramírez ; José Gabriel Zato Recellado ; Rafael Sanchez Montoya ; John Bell ; Francisco Alcantud Marin
SIeSTA: From Concept Board to Concept Desktop
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
69.

電子ブック

EB
Ricardo Rocha, Takeo Kanade, John Launchbury
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
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
Integrating XPath with the Functional-Logic Language Toy / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez
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
70.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
71.

電子ブック

EB
Hyoung-Joong Kim, Mauro Barni, Takeo Kanade, Yun Qing Shi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
72.

電子ブック

EB
Rick Nouwen, Takeo Kanade, Robert Rooij, Uli Sauerland, Hans-Christian Schmitz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
73.

電子ブック

EB
Marcin Detyniecki, Ana Garcia-Serrano, Ana García-Serrano, Takeo Kanade, Andreas Nürnberger
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
74.

電子ブック

EB
Zhigeng Pan, Adrian David Cheok, Takeo Kanade, Wolfgang Müller, Xubo Yang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Regular Papers
Innovative Integrated Architecture for Educational Games: Challenges and Merits / Rania Hodhod ; Paul Cairns ; Daniel Kudenko
Beyond Standards: Unleashing Accessibility on a Learning Content Management System / Silvia Mirri ; Paola Salomoni ; Marco Roccetti ; Gregory R. Gay
Design and Implementation of an OpenGL Based 3D First Person Shooting Game / Qiaomin Lin ; Zhen Zhao ; Dihua Xu ; Ruchuan Wang
Direct Interaction between Operator and 3D Virtual Environment with a Large Scale Haptic / Jie Huang ; Jian Li ; Rui Xiao
Modeling and Optimizing of Joint Inventory in Supply Chain Management / Min Lu ; Haibo Zhao
Vision-Based Robotic Graphic Programming System / Jianfei Mao ; Ronghua Liang ; Keji Mao ; Qig Tian
Integrating Activity Theory for Context Analysis on Large Display / Fang You ; HuiMin Luo ; JianMin Wang
Line Drawings Abstraction from 3D Models / Shujie Zhao ; Enhua Wu
Interactive Creation of Chinese Calligraphy with the Application in Calligraphy Education / Xianjun Zhang ; Qi Zhao ; Huanzhen Xue ; Jun Dong
Papers from DMDCM 2010
Outline Font Generating from Images of Ancient Chinese Calligraphy / Junsong Zhang ; Guohong Mao ; Hongwei Lin ; Jinhui Yu ; Changle Zhou
Tangible Interfaces to Digital Connections, Centralized versus Decentralized / Matthijs Kwak ; Gerrit Niezen ; Brum van der Vlist ; Jun Hu ; Loe Feijs
Research and Implementation of the Virtual Exhibit System of Historical Sites Base on Multi-touch Interactive Technology / Yi Lin ; Yue Liu
A Highly Automated Method for Facial Expression Synthesis / Nikolaos Ersotelos ; Feng Dong
Sketch Based 3D Character Deformation / Mo Li ; Golam Ashraf
Mean Laplace-Beltrami Operator for Quadrilateral Meshes / Yunhui Xiong ; Guiqing Li ; Guoqiang Han
Multi-user 3D Based Framework-for E-Commerce / Yuyong He ; Mingmin Zhang
Coordinate Model for Text Categorization / Wei Jiang ; Lei Chen
An Interface to Retrieve Personal Memories Using an Iconic Visual Language / Rui Jesus ; Teresa Romaão ; Nuno Correia
VR-Based Basketball Movement Simulation / Lin Zhang ; Ling Wang
Mixed 2D-3D Information for Face Recognition / Hengliang Tang ; Yanfeng Sun ; Baocai Yin ; Yun Ge
Research on Augmented Reality Display Method of Scientific Exhibits / Hui Yan ; Ruwei Yun ; Chun Liang ; Daning Yu ; Baoyun Zhang
Author Index
Regular Papers
Innovative Integrated Architecture for Educational Games: Challenges and Merits / Rania Hodhod ; Paul Cairns ; Daniel Kudenko
Beyond Standards: Unleashing Accessibility on a Learning Content Management System / Silvia Mirri ; Paola Salomoni ; Marco Roccetti ; Gregory R. Gay
75.

電子ブック

EB
Ivan Dimov, Stefka Dimova, Takeo Kanade, Natalia Kolkovska
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
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
Richardson Extrapolated Numerical Methods for Treatment of One-Dimensional Advection Equations / István Faragó ; Krassimir Georgiev ; ágnes Havasi ; Tzvetan Ostromsky
Grid Computing and Applications
Programming Problems with a Large Number of Objective Functions / Cornel Resteanu ; Romica Trandafir
First Results of SEE-GRID-SCI Application CCIAQ / Valery Spiridonov ; Andrey Bogachev
Metaheuristics for Optimization Problems
Genetic Algorithms Based Parameter Identification of Yeast Fed-Batch Cultivation / Maria Angelova ; Stoyan Tzonkov ; Tania Pencheva
Intuitionistic Fuzzy Interpretations of Conway's Game of Life / Lilija Atanassova ; Krassimir Atanassov
Ant Colony Optimization Approach to Tokens' Movement within Generalized Nets / Vassia Atanassova
Start Strategies of ACO Applied on Subset Problems / Stefka Fidanova ; Pencho Marinov
Sensitivity Analysis of ACO Start Strategies for Subset Problems
A Highly-Parallel TSP Solver for a GPU Computing Platform / Noriyuki Fujimoto ; Shigeyoshi Tsutsui
Metaheuristics for the Asymmetric Hamiltonian Path Problem / João Pedro Pedroso
Adaptive Intelligence Applied to Numerical Optimisation / Kalin Penev ; Anton Ruzhekov
Fed-Batch Cultivation Control Based on Genetic Algorithm PID Controller Tuning / Olympia Roeva ; Tsonyo Slavov
Perspectives of Selfish Behaviour in Mobile Ad Hoc Networks / Marcin Seredynski ; Pascal Bouvry
A Comparison of Metaheurisitics for the Problem of Solving Parametric Interval Linear Systems / Iwona Skalna ; Jerzy Duda
Parametric Approximation of Functions Using Genetic Algorithms: An Example with a Logistic Curve / Fernando Torrecilla-Pinero ; Jesús A. Torrecilla-Pinero ; Juan A. Gómez-Pulido ; Miguel A. Vega-Rodríguez ; Juan M. Sánchez-Pérez
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
76.

電子ブック

EB
Úlfar Erlingsson, Takeo Kanade, Roel Wieringa, Nicola Zannone, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
Security Validation of Business Processes via Model-Checking / Wihem Arsac ; Luca Compagna ; Giancarlo Pellegrino ; Serena Elisa Ponta
Tools and Mechanisms / Session 2:
On-Device Control Flow Verification for Java Programs / Arnaud Fontaine ; Samuel Hym ; Isabelle Simplot-Ryl
Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations / Ricardo Corin ; Felipe Andrés Manzano
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
77.

電子ブック

EB
Michael Domaratzki, Takeo Kanade, Kai Salomaa
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Using Automata to Describe Self-Assembled Nanostructures (Invited Talk) / Nataša Jonoska
A Summary of Some Discrete-Event System Control Problems (Invited Talk) / Karen Rudie
Large-Scale Training of SVMs with Automata Kernels / Cyril Allauzen ; Corinna Cortes ; Mehryar Mohri
Filters for Efficient Composition of Weighted Finite-State Transducers / Michael Riley ; Johan Schalkwyk
Incremental DFA Minimisation / Marco Almeida ; Nelma Moreira ; Rogério Reis
Finite Automata for Generalized Approach to Backward Pattern Matching / Jan Antoš ; Borivoj Melichar
Partial Derivative Automata Formalized in Coq / José Bacelar Almeida ; David Pereira ; Simão Melo de Sousa
Regular Geometrical Languages and Tiling the Plane / Jean-Marc Champarnaud ; Jean-Philippe Dubernard ; Hadrien Jeanne
COMPAS - A Computing Package for Synchronization / Krzysztof Chmiel ; Adam Roman
From Sequential Extended Regular Expressions to NFA with Symbolic Labels / Alessandro Cimatti ; Sergio Mover ; Marco Roveri ; Stefano Tonetta
State Complexity of Catenation Combined with Union and Intersection / Bo Cui ; Yuan Gao ; Lila Kari ; Sheng Yu
Complexity Results and the Growths of Hairpin Completions of Regular Languages (Extended Abstract) / Volker Diekert ; Steffen Kopecki
On Straight Words and Minimal Permutators in Finite Transformation Semigroups / Attila Egri-Nagy ; Chrystopher L. Nehaniv
On Lazy Representations and Sturmian Graphs / Chiara Epifanio ; Christiane Frougny ; Alessandra Gabriele ; Filippo Mignosi ; Jeffrey Shallit
Symbolic Dynamics, Flower Automata and Infinite Traces / Wit Forys ; Piotr Oprocha ; Slawomir Bakalarski
The Cayley-Hamilton Theorem for Noncommutative Semirings / Radu Grosu
Approximating Minimum Reset Sequences / Michael Gerbush ; Brent Heeringa
Transductions Computed by PC-Systems of Monotone Deterministic Restarting Automata / Norbert Hundeshagen ; Friedrich Otto ; Marcel Vollweiler
Uniformizing Rational Relations for Natural Language Applications Using Weighted Determinization / J. Howard Johnson
Partially Ordered Two-Way Büchi Automata / Manfred Kufleitner ; Alexander Lauser
Two-Party Watson-Crick Computations / Martin Kutrib ; Andreas Malcher
Better Hyper-minimization. Not as Fast, But Fewer Errors / Andreas Maletti
Regular Expressions on Average and in the Long Run / Manfred Droste ; Ingmar Meinecke
Reachability Games on Automatic Graphs / Daniel Neider
Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions / Satoshi Okui ; Taro Suzuki
A Polynomial Time Match Test for Large Classes of Extended Regular Expressions / Daniel Reidenbach ; Markus L. Schmid
A Challenging Family of Automata for Classical Minimization Algorithms / Giusi Castiglione ; Cyril Nicaud ; Marinella Sciortino
State of Büchi Complementation / Ming-Hsien Tsai ; Seth Fogarty ; Moshe Y. Vardi ; Yih-Kuen Tsay
Types of Trusted Information That Make DFA Identification with Correction Queries Feasible / Cristina Tîrnauca ; Catalin Ionut Tîrnauca
Compressing Regular Expressions' DFA Table by Matrix Decomposition / Yanbing Liu ; Li Guo ; Ping Liu ; Jianlong Tan
Relational String Verification Using Multi-track Automata / Fang Yu ; Tevfik Bultan ; Oscar H. Ibarra
A Note on a Tree-Based 2D Indexing / Jan Zd'árek
Regular Expressions at Their Best: A Case for Rational Design / Vincent Le Maout
Simulations of Weighted Tree Automata / Zoltán Ésik
Author Index
Using Automata to Describe Self-Assembled Nanostructures (Invited Talk) / Nataša Jonoska
A Summary of Some Discrete-Event System Control Problems (Invited Talk) / Karen Rudie
Large-Scale Training of SVMs with Automata Kernels / Cyril Allauzen ; Corinna Cortes ; Mehryar Mohri
78.

電子ブック

EB
Bjoern Menze, Antonio Criminisi, Takeo Kanade, Georg Langs, Zhuowen Tu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
79.

電子ブック

EB
Ulrik Brandes, Sabine Cornelsen, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Paper
On the Size of Graphs That Admit Polyline Drawings with Few Bends and Crossing Angles / Eyal Ackerman ; Radoslav Fulek ; Csaba D. Tóth
Monotone Drawings of Graphs / Patrizio Angelini ; Enrico Colasante ; Giuseppe Di Battista ; Fabrizio Frati ; Maurizio Patrignani
Upward Geometric Graph Embeddings into Point Sets / Markus Geyer ; Michael Kaufmann ; Tamara Mchedlidze ; Antonios Symvonis
On a Tree and a Path with No Geometric Simultaneous Embedding / Daniel Neuwirth
Difference Map Readability for Dynamic Graphs / Daniel Archambault ; Helen C. Purchase ; Bruno Pinaud
Maximizing the Total Resolution of Graphs / Evmorfia N. Argyriou ; Michael A. Bekos
Plane Drawings of Queue and Deque Graphs / hristopher Auer ; Christian Bachmaier ; Franz Josef Brandenburg ; Wolfgang Brunner ; Andreas Glei?ner
An Experimental Evaluation of Multilevel Layout Methods / Gereon Bartel ; Carsten Gutwenger ; Karsten Klein ; Petra Mutzel
Orthogonal Graph Drawing with Flexibility Constraints / Thomas Bläsius ; Marcus Krug ; Ignaz Rutter ; Dorothea Wagner
Drawing Ordered (k - 1)-Ary Trees on k-Grids / Marco Matzeder
Optimizing Regular Edge Labelings / Kevin Buchin ; Bettina Speckmann ; Sander Verdonschot
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
Triangle Contact Representations and Duality / Daniel Gonçalves ; Benjamin Lévêque ; Alexandre Pinlou
On Maximum Differential Graph Coloring / Yifan zu ; Sankar Veeramoni
Dot Product Representations of Planar Graphs / Ross J. Kang ; Tobias Müller
Drawing Planar Graphs of Bounded Degree with Few Slopes / Balázs Keszegh ; Dömötör Pálvölgyi
Complexity of Finding Non-planar Rectilinear Drawings of Graphs / Ján Manuch ; Murray Patterson ; Sheung-Hung Poon ; Chris Thachuk
Point-Set Embeddings of Plane 3-Trees (Extended Abstract) / Rahnuma Islam Nishat ; Debajyoti Mondal ; Md. Saidur Rahman
Improving Layered Graph Layouts with Edge Bundling / Sergey Pupyrev ; Lev Nachmanson
Confluent Drawing Algorithms Using Rectangular Dualization / Gianluca Quercini ; Massimo Ancona
How to Draw a Tait-Colorable Graph / David A. Richter
Universal Pointsets for 2-Coloured Trees / Mereke van Garderen ; Henk Meijer
The Quality Ratio of RAC Drawings and Planar Drawings of Planar Graphs / Marc van Kreveld
Convex Polygon Intersection Graphs / Erik Jan van Leeuwen ; Jan van Leeuwen
Posters
GraphML-Based Exploration and Evaluation of Efficient Parallelization Alternatives for Automation Firmware / Jürgen Bregenzer
Automatic Generation of Route Sketches / Andreas Gemsa ; Thomas Pajor
Visualizing Differences between Two Large Graphs / Robert Krug
Placing Edge Labels by Modifying an Orthogonal Graph Drawing / Konstantinos G. Kakoulis ; Ioannis G. Tollis
Large Crossing Angles in Circular Layouts / Quan Nguyen ; Peter Eades ; Seok-Hee Hong ; Weidong Huang
GVSR: An On-Line Guide for Choosing a Graph Visualization Software / Pascale Kuntz
IBM ILOG Multi-platform Graph Layout Technology / Georg Sander
Comparative Visualization of User Flows in Voice Portals / Björn Zimmer ; Dennie Ackermann ; Manfred Schröder ; Andreas Kerren ; Volker Ahlers
Graph Drawing Contest
Graph Drawing Contest Report
Author Index
Paper
On the Size of Graphs That Admit Polyline Drawings with Few Bends and Crossing Angles / Eyal Ackerman ; Radoslav Fulek ; Csaba D. Tóth
Monotone Drawings of Graphs / Patrizio Angelini ; Enrico Colasante ; Giuseppe Di Battista ; Fabrizio Frati ; Maurizio Patrignani
80.

電子ブック

EB
Raja Natarajan, Takeo Kanade, Adegboyega Ojo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
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
81.

電子ブック

EB
Aggelos Kiayias, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Secure Two-Party Computation
Secure Set Intersection with Untrusted Hardware Tokens / Marc Fischlin ; Benny Pinkas ; Ahmad-Reza Sadeghi ; Thomas Schneider ; Ivan Visconti
Efficient Secure Two-Party Exponentiation / Ching-Hua Yu ; Sherman S.M. Chow ; Kai-Min Chung ; Feng-Hao Liu
Cryptographic Primitives
A General, Flexible and Efficient Proof of Inclusion and Exclusion / Kun Peng
Non-interactive Confirmer Signatures / Kristiyan Haralambiev
Communication-Efficient 2-Round Group Key Establishment from Pairings / Kashi Neupane ; Rainer Steinwandt
Side Channel Attacks
Defeating RSA Multiply-Always and Message Blinding Countermeasures / Marc F. Witteman ; Jasper G.J. van Woudenberg ; Federico Menarini
Cryptanalysis of CLEFIA Using Differential Methods with Cache Trace Patterns / Chester Rebeiro ; Debdeep Mukhopadhyay
Improving Differential Power Analysis by Elastic Alignment / Bram Bakker
Invited Talk
NSA's Role in the Development of DES / Richard M. George
Authenticated Key Agreement
Designing Efficient Authenticated Key Exchange Resilient to Leakage of Ephemeral Secret Keys / Atsushi Fujioka ; Koutarou Suzuki
Contributory Password-Authenticated Group Key Exchange with Join Capability / Michel Abdalla ; Céline Chevalier ; Louis Granboulan ; David Pointcheval
Proofs of Security
Ideal Key Derivation and Encryption in Simulation-Based Security / Ralf Küsters ; Max Tuengerthal
Beyond Provable Security Verifiable IND-CCA Security of OAEP / Gilles Barthe ; Benjamin Grégoire ; Yassine Lakhnech ; Santiago Zanella Béguelin
(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
Block Ciphers
Online Ciphers from Tweakable Blockciphers / Phillip Rogaway ; Haibin Zhang
Meet-in-the-Middle Attacks on Reduced-Round XTEA / Gautham Sekar ; Nicky Mouha ; Vesselin Velichkov ; Bart Preneel
Security Notions
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
Efficient Secure Two-Party Exponentiation / Ching-Hua Yu ; Sherman S.M. Chow ; Kai-Min Chung ; Feng-Hao Liu
82.

電子ブック

EB
Naoki Katoh, Takeo Kanade, Amit Kumar
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Geometry and Topology from Point Cloud Data / Tamal Krishna Dey
The Disjoint Paths Problem: Algorithm and Structure / Ken-ichi Kawarabayashi
The Physarum Computer / Kurt Mehlhorn
Approximation Algorithms
Maximum Betweenness Centrality: Approximability and Tractable Cases / Martin Fink ; Joachim Spoerhase
Approximation Algorithms for Minimum Chain Vertex Deletion / Mrinal Kumar ; Sounaka Mishra ; N. Safina Devi ; Saket Saurabh
Oblivious Buy-at-Bulk in Planar Graphs / Srivathsan Srinivasagopalan ; Costas Busch ; S. Sitharama Iyengar
Hardness
The Complexity of Acyclic Subhypergraph Problems / David Duris ; Yann Strozecki
Inapproximability of b-Matching in k-Uniform Hypergraphs / Mourad El Ouali ; Antje Fretwurst ; Anand Srivastav
k-Level Crossing Minimization Is NP-Hard for Trees / Martin Harrigan ; Patrick Healy
Algorithm Engineering
Efficient Computation of Time-Dependent Centralities in Air Transportation Networks / Annabell Berger ; Matthias Müller-Hannemann ; Steffen Rechner ; Alexander Zock
Analysis of Gauss-Sieve for Solving the Shortest Vector Problem in Lattices / Michael Schneider
Computational Geometry
Minimum Enclosing Circle of a Set of Fixed Points and a Mobile Point / Aritra Banik ; Bhaswar B. Bhattacharya ; Sandip Das
Efficient Top-k Queries for Orthogonal Ranges / Saladi Rahul ; Prosenjit Gupta ; Ravi Janardan ; K.S. Rajan
Range-Aggregate Queries Involving Geometric Aggregation Operations / Ananda Swarup Das ; Kannan Srinathan
Multi Cover of a Polygon Minimizing the Sum of Areas / A. Karim Abu-Affash ; Paz Carmi ; Matthew J. Katz ; Gila Morgenstern
On the Discrete Unit Disk Cover Problem / Gautam K. Das ; Robert Fraser ; Alejandro Lòpez-Ortiz ; Bradford G. Nickerson
Clustering with Internal Connectedness / Neelima Gupta ; Aditya Pancholi ; Yogish Sabharwal
String Algorithms
Hashed Patricia Trie: Efficient Longest Prefix Matching in Peer-to-Peer Systems / Sebastian Kniesburges ; Christian Scheideler
De Bruijn Sequences for the Binary Strings with Maximum Density / Joe Sawada ; Brett Stevens ; Aaron Williams
Graph Algorithms
A Polynomial Time Algorithm for Longest Paths in Biconvex Graphs / Esha Ghosh ; N.S. Narayanaswamy ; C. Pandu Rangan
Counting Spanning Trees in Graphs Using Modular Decomposition / Stavros D. Nikolopoulos ; Leonidas Patios ; Charis Papadopoulos
On Graceful Labelings of Trees (Extended Abstract) / Sourabh Aryabhatta ; Tonmoy Guha Roy ; Md. Mohsin Uddin ; Md. Saidur Rahman
Minimum-Layer Drawings of Trees (Extended Abstract) / Debajyoti Mondal ; Muhammad Jawaherul Alam
Author Index
Invited Talks
Geometry and Topology from Point Cloud Data / Tamal Krishna Dey
The Disjoint Paths Problem: Algorithm and Structure / Ken-ichi Kawarabayashi
83.

電子ブック

EB
Christian Bettstetter, Carlos Gershenson, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Design and Analysis of Self-Organizing Systems
Methods for Approximations of Quantitative Measures in Self-Organizing Systems / Richard Holzer ; Hermann de Meer
Evolving Self-Organizing Cellular Automata Based on Neural Network Genotypes / Wilfried Elmenreich ; István Fehérvári
Self-Organized Middle-Out Abstraction / Sebastian von Mammen ; Jan-Philipp Steghöfer ; Jörg Denzinger ; Christian Jacob
On the Communication Range in Auction-Based Multi-agent Target Assignment / Marin Lujak ; Stefano Giordani
An Adaptive Control Technique for a Connection Weight of Agents in a Self-repairing Network / Masahiro Tokumitsu ; Yoshiteru Ishida
Internet Overlays
Finding Routing Shortcuts Using an Internet Coordinate System / François Cantin ; Guy Leduc
Cache Capacity Allocation to Overlay Swarms / Ioanna Papafili ; George D. Stamoulis ; Frank Lehrieder ; Benjamin Kleine ; Simon Oechsner
Wireless Networks
Efficient Adaptation of Modulation and Coding Schemes in High Quality Home Networks / Hendrik Koetz ; Ruediger Kays
Distributed Graph Clustering for Application in Wireless Networks / Chia-Hao Yu ; Shaomeng Qin ; Mikko Alava ; Olav Tirkkonen
Considerations on Quality Metrics for Self-localization Algorithms / Juergen Eckert ; Felix Villanueva ; Reinhard German ; Falko Dressler
Author Index
Design and Analysis of Self-Organizing Systems
Methods for Approximations of Quantitative Measures in Self-Organizing Systems / Richard Holzer ; Hermann de Meer
Evolving Self-Organizing Cellular Automata Based on Neural Network Genotypes / Wilfried Elmenreich ; István Fehérvári
84.

電子ブック

EB
Pedro José Marrón, Takeo Kanade, Kamin Whitehouse
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
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
85.

電子ブック

EB
Marie-Pierre Gleizes, Jorge J. Gomez-Sanz, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
86.

電子ブック

EB
Alain Lecomte, Takeo Kanade, Samuel Tronçon
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
87.

電子ブック

EB
Jan Camenisch, Maria Dubovitskaya, Takeo Kanade, Valentin Kisimov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
88.

電子ブック

EB
Kedar Namjoshi, Takeo Kanade, Andreas Zeller, Avi Ziv
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
89.

電子ブック

EB
Ron Kimmel, Takeo Kanade, Reinhard Klette, Akihiro Sugimoto
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
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
Earth Mover's Morphing: Topology-Free Shape Morphing Using Cluster-Based EMD Flow / Yasushi Makihara ; Yasushi Yagi
Object Detection Using Local Difference Patterns / Satoshi Yoshinaga ; Atsushi Shimada ; Hajime Nagahara ; Rin-ichiso Taniguchi
Randomised Manifold Forests for Principal Angle-Based Face Recognition / Ujwal D. Bonde ; Tae-Kyun Kim ; Kalpatti R. Ramakrishnan
Estinating Meteorological Visibility Using Cameras: A Probabilistic Model-Driven Approach / Nicolas Hautiére ; Raouf Babari ; Éric Dumont ; Roland Brérnond ; Nicolas Paparoditis
Optimizing Visual Vocabularies Using Soft Assignment Entropies / Yubin Kuang ; Kalle Åström ; Lars Kopp ; Magnus Oskarsson ; Mastin Byrod
Totally-Corrective Multi-class Boosting / Zhibui Hao ; Chunhun Shen ; Nick Barnes ; Bo Wang
Pyramid Center-Symmetric Local Binary/Trinary Patterns for Effective Pedestrain Detection / Yongbin Zheng ; Chunhua Shen ; Xinsheng Huang
Reducing Ambiguity in object Recognition Using Relational Information / Kuk-Jin Yoon ; Min-Gil Shin
Posing to the Camera: Automatic Viewpoint Selection for Human Actions / Dmitry Rudoy ; Lihi Zelnils-Manor
Orthogonality Based Stopping Condition for Iterative Image Deconvolution Methods / Dániel Szolgay ; Tamás Szirányi
Probabilistic 3D Object Recognition Based on Multiple Interpretations Generation / Zhaojin Lu ; Sukhan Lee ; Hyunwoo Kim
Planar Affine Rectification from Change of Scale / Ondrej Chum and ; Jití Matas
Sensor Measurements and Image Registration Fusion to Retrieve Variations of Satellite Attitude / Régis Perrier ; Elise Arnaud ; Mathias Ortner
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
90.

電子ブック

EB
Ron Kimmel, Takeo Kanade, Reinhard Klette, Akihiro Sugimoto
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Posters on Day 1 of ACCV 2010
Generic Object Class Detection Using Boosted Configurations of Oriented Edges / Oscar Danielsson ; Stefan Carlsson
Unsupervised Feature Selection for Salient Object Detection / Viswanath Gopalakrishnan ; Yiqun Hu ; Deepu Rajan
MRF Labeling for Multi-view Range Image Integration / Ran Song ; Yonghuai Liu ; Ralph R. Martin ; Paul L. Rosin
Wave Interference for Pattern Description / Selen Atasoy ; Diana Mateus ; Andreas Georgiou ; Nassir Navab ; Guang-Zhong Yang
Colour Dynamic Photometric Stereo for Textured Surfaces / Zsolt Jankó ; Amaël Delaunoy ; Emmanuel Prados
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
Optimal Two-View Planar Scene Triangulation / Kenichi Kanatani ; Hirotaka Niitsuma
Pursuing Atomic Video Words by Information Projection / Youdong Zhao ; Haifeng Gong ; Yunde Ji
A Sirect Method for Estimating Planar Projective Transform / Yu-Tseh Chi ; Jeffrey Ho ; Ming-Huuan Yang
Spatial-Temporal Motion Compensantion Based Video Super Resolution / Yaozu An ; Yao Lu ; Ziye Yan
Learing Rare Behaviors / Jian Li ; Timothy M. Hospedales ; Shaogang Gong ; Tao Xiang
Charater Energy and Link Energy-Based Text Extraction in Scence Images / Jing Zhang ; Rangachar Kasturi
A Novel Representation of Palm-Print for Recognition / G.S. Badrinath ; Phalguni Gupia
Real-Time Robust Image Feature Description and Matching / Stephen J. Thomas ; Bruce A. Macdonald ; Karl A. Stol
Biologically-Inspired Theory for Non-axiomatic Parametric Curve / Guy Ben- Yosef ; Ohad Ben-Shahar
Geotagged Image Recognition by Combining Three Different Kinds of Features / Keita Yaegashi ; Keiji Yanai
Modeling Urban Scenes in the Spatial-Temporal Space / Jiong Xu ; Qing Wang ; Jie Yang
Family Facial Patch Resemblance Extraction / M. Ghahramani W.Y. Yau ; E.K. Teoh
3D Line Segment Detection for Unorganized Point Clouds from Multi-view Stereo / Tinywang Chen
Multi-View Stereo Reconstruction with High Dynamic Range Texture / Feng Lu ; Xiangyang Ji ; Qionghai Dai ; Guihua Er
Feature Quarrels: The Dempster-Shafer Evidence Theory for Image Segmentation Using a Variational Framework / Bjorn Scheuermann ; Bodo Rosenhahn
Gait Analysis of Gender
Posters on Day 1 of ACCV 2010
Generic Object Class Detection Using Boosted Configurations of Oriented Edges / Oscar Danielsson ; Stefan Carlsson
Unsupervised Feature Selection for Salient Object Detection / Viswanath Gopalakrishnan ; Yiqun Hu ; Deepu Rajan
91.

電子ブック

EB
Ron Kimmel, Takeo Kanade, Reinhard Klette, Akihiro Sugimoto
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Posters on Day 2 of Accv 2010
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
Cage-Based Tracking for Performance Animation / Yann Sauoye ; Jean-Sébastien Franco
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
Stick It! Articulated Tracking Using Spatial Rigid Object Priors / SOren Hauberg ; Kirn Steenstrup Pedersen
A Method for Text Localization and Recognition in Real-World Images / Lukas Neumann ; Jiri Matas
Author Index
Posters on Day 2 of Accv 2010
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
92.

電子ブック

EB
José M. Laginha M. Palma, Michel Daydé, Takeo Kanade, João Correia Lopes, Osni Marques
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
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
93.

電子ブック

EB
Joaquin Garcia-Alfaro, Ana Cavalli, Takeo Kanade, Jean Leneutre, Guillermo Navarro-Arribas
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote Talks
Towards Knowledge Intensive Data Privacy / Vicenç Torra
Privacy in Data Publishing / Sabrina De Capitani di Vimercati ; Sara Foresti ; Giovanni Livraga
Data Privacy Management
A User-Oriented Anonymization. Mechanism for Public Data / Shinsaku Kiyomoto ; Toshiaki Tanaka
FAANST: Fast Anonymizing Algorithm for Numerical Streaming DaTa / Hessam Zakerzadeh ; Sylvia L. Osborn
Secret-Sharing Hardware Improves the Privacy of Network Monitoring / Johannes Wolkerstorfer
Non-uniform Stepping Approach to RFID Distance Bounding Problem / Ali Özhan Gürel ; Atakan Arslan ; Mete Akgün
E-Ticketing Scheme for Mobile Devices with Exculpability / Arnau Vives-Guasch ; Magdalena Payeras-Capella ; Macià Mut-Puigserver ; Jordi Castellà-Roca
Privacy Enforcement and Analysis for Functional Active Objects / Florian Kammüller
L-PEP: A Logic to Reason about Privacy-Enhancing Cryptography Protocols / Almudena Alcaide ; Ali E. Abdallah ; Ana I. González-Tablas ; José M. de Fuentes
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
MIRAGE: A Management Tool for the Analysis and Deployment of Network Security Policies / Joaquin Garcia-Alfaro ; Frédéric Cuppens ; Nora Cuppens-Boulahia ; Stere Preda
A DSL for Specifying Autonomic Security Management Strategies / Ruan He ; Marc Lacoste ; Jacques Pulou ; Jean Leneutre
Secure and Scalable RFID Authentication Protocol / Albert Fernàndez-Mir ; Alexandre Viejo
Some Ideas on Virtualized System Security, and Monitors / Hedi Benzina ; Jean Goubault-Larrecq
Author Index
Keynote Talks
Towards Knowledge Intensive Data Privacy / Vicenç Torra
Privacy in Data Publishing / Sabrina De Capitani di Vimercati ; Sara Foresti ; Giovanni Livraga
94.

電子ブック

EB
Hiroshi Sako, Katrin Y. Franke, Takeo Kanade, Shuji Saitoh
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
95.

電子ブック

EB
Dario Catalano, Nelly Fazio, Rosario Gennaro, Takeo Kanade, Antonio Nicolosi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
Attribute Based Encryption
Ciphertext-Policy Attribute-Based Encryption: An Expressive, Efficient, and Provably Secure Realization / Brent Waters
Generic Constructions for Chosen-Ciphertext Secure Attribute Based Encryption / Shota Yamada ; Goichiro Hanaoka ; Noboru Kunihiro
Expressive Key-Policy Attribute-Based Encryption with Constant-Size Ciphertexts / Elie de Panafieu
Number Theory
Faster and Lower Memory Scalar Multiplication on Supersingular Curves in Characteristic Three / Roberto Avanzi ; Clemens Heuberger
On the Correct Use of the Negation Map in the Pollard rho Method / Daniel J. Bernstein ; Tanja Lange ; Peter Schwabe
Cryptanalysis of the RSA Subgroup Assumption from TCC 2005 / Jean-Sébastien Coron ; Antoine Joux ; Avradip Mandal ; David Naccache ; Mehdi Tibouchi
Protocols
(If) Size Matters: Size-Hiding Private Set Intersection / Giuseppe Ateniese ; Emiliano De Cristofaro ; Gene Tsudik
Sub-linear, Secure Comparison with Two Non-colluding Parties / Tomas Toft
Oblivious Transfer with Hidden Access Control Policies / Jan Camenisch ; Maria Dubovitskaya ; Gregory Neven ; Gregory M. Zaverucha
Chosen-Ciphertext Security
Chosen Ciphertext Secure Encryption under Factoring Assumption Revisited / Qixiang Mei ; Bao Li ; Xianhui Lu ; Dingding Jia
Chameleon All-But-One TDFs and Their Application to Chosen-Ciphertext Security / Junzuo Lai ; Robert H. Deng ; Shengli Liu
Parallel Decryption Queries in Bounded Chosen Ciphertext Attacks / Takahiro Matsuda ; Kanta Matsuura
Secure Blind Decryption / Matthew Green
Invited Talk
New Developments in Leakage-Resilient Cryptography (Abstract) / Vinod Vaikuntanathan
Encryption
On the Security of a Bidirectional Proxy Re-encryption Scheme from PKC 2010 / Jian Weng ; Yunlei Zhao
Fully Secure Accountable-Authority Identity-Based Encryption / Amit Sahai ; Hakan Seyalioglu
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
96.

電子ブック

EB
Alexander F. Gelbukh, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Lexical Resources
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
Identification of Reduplicated Multiword Expressions Using CRF / Kishorjit Nongmeikapam ; Dhiraj Laishram ; Naorem Bikramjit Singh ; Ngariyanbam Mayekleima Chanu ; Sivaji Bandyopadhyay
Syntax and Parsing
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
Labelwise Margin Maximization for Sequence Labeling / Wenjun Gao ; Xipeng Qiu ; Xuanjing Huang
Co-related Verb Argument Selectional Preferences (Best Paper Award, First Place) / Yuji Matsumoto
Combining Diverse Word-Alignment Symmetrizations Improves Dependency Tree Projection / David Marecek
An Analysis of Tree Topological Features in Classifier-Based Unlexicalized Parsing / Samuel W.K. Chan ; Mickey W.C. Chong ; Lawrence Y.L. Cheung
Part of Speech Tagging and Morphology
Part-of-Speech Tagging from 97% to 100%: Is It Time for Some Linguistics? (Invited Paper) / Christopher D. Manning
Ripple Down Rules for Part-of-Speech Tagging / Dat Quoc Nguyen ; Dai Quoc Nguyen ; Son Bao Pham ; Dang Duc Pham
An Efficient Part-of-Speech Tagger for Arabic / Selçuk Köprü
An Evaluation of Part of Speech Tagging on Written Second Language Spanish / M. Pilar Valverde Ibañez
Onoma: A Linguistically Motivated Conjugation System for Spanish Verbs / Luz Rello ; Eduardo Basterrechea
Word Sense Disambiguation
Measuring Similarity of Word Meaning in Context with Lexical Substitutes and Translations (Invited Paper) / Diana McCarthy
A Quantitative Evaluation of Global Word Sense Induction / Marianna Apidianaki ; Tim Van de Cruys
Incorporating Coreference Resolution into Word Sense Disambiguation (Best Student Paper Award) / Shangfeng Hu ; Chengfei Liu
Semantics and Discourse
Deep Semantics for Dependency Structures / Paul Bédaride ; Claire Gardent
Combining Heterogeneous Knowledge Resources for Improved Distributional Semantic Models / György Szarvas ; Torsten Zesch ; Iryna Gurevych
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
Text Generation
Highly-Inflected Language Generation Using Factored Language Models / Eder Miranda de Novais ; Ivandré Paraboni ; Diogo Takaki Ferreira
Prenominal Modifier Ordering in Bengali Text Generation / Sumit Das ; Anupam Basu ; Sudeshna Sarkar
Bootstrapping Multiple-Choice Tests with THE-MENTOR / Ana Cristina Mendes ; Sérgio Curto ; Luísa Coheur
Author Index
Lexical Resources
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
97.

電子ブック

EB
Alexander Gelbukh, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
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
Automatic Specialized vs. Non-specialized Sentence Differentiation / Iria da Cunha ; Maria Teresa Cabré ; Eric SanJuan ; Gerardo Sierra ; Juan Manuel Torres-Moreno ; Jorge Vivaldi
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 Posteriori Agreement as a Quality Measure for Readability Prediction Systems / Philip van Oosten ; Véronique Hoste ; Dries Tanghe
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
98.

電子ブック

EB
Brian Malloy, Mark Brand, Takeo Kanade, Steffen Staab
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote / Martin Erwig
A Language for Software Variation Research (Invited Talk)
Grammarware
Automated Selective Caching for Reference Attribute Grammars / Emma Söderberg ; Görel Hedin
Reference Attribute Grammars for Metamodel Semantics / Christoff Bürger ; Sven Karol ; Christian Wende ; Uwe A?mann
Modelling GLL Parser Implementations / Adrian Johnstone ; Elizabeth Scott
Metamodeling
Metamodel Usage Analysis for Identifying Metamodel Improvements / Markus Herrmannsdoerfer ; Daniel Ratiu ; Maximilian Koegel
Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDF / Benjamin Braatz ; Christoph Brandt
Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled / Kacper Bak ; Krzysztof Czarnecki ; Andrzej Wasowski
Evolution
Support for the Evolution of C++ Generic Functions / Peter Pirkelbauer ; Damian Dechev ; Bjarne Stroustrup
Automated Co-evolution of GMF Editor Models / Davide Di Ruscio ; Ralf Lämmel ; Alfonso Pierantonio
An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models / Sander D. Vermolen ; Guido Wachsmuth
JTL: A Bidirectional and Change Propagating Transformation Language / Antonio Cicchetti ; Romina Eramo
Software Engineering and the Semantic Web: A Match Made in Heaven or in Hell? (Invited Talk) / Abraham Bernstein
Programming
A Unified Format for Language Documents / Vadim Zaytsev
Canonical Method Names for Java: Using Implementation Semantics to Identify Synonymous Verbs / Einar W. Høst ; Bjarte M. Østvold
Subjective-C: Bringing Context to Mobile Platform Programming / Sebastián González ; Nicolás Cardozo ; Kim Mens ; Alfredo Cádiz ; Jean-Christophe Libbrecht ; Julien Goffaux
Short Papers and Demos: Modeling
The Level-Agnostic Modeling Language / Colin Atkinson ; Bastian Kennel ; Björn Go?
Debugging in Domain-Specific Modelling / Raphael Mannadiar ; Hans Vangheluwe
COPE - A Workbench for the Coupled Evolution of Metamodels and Models
Short Papers and Demos: Transformations and Translations
DSLTrans: A Turing Incomplete Transformation Language / Bruno Barroca ; Levi Lúcio ; Vasco Amaral ; Roberto Félix ; Vasco Sousa
Translator Generation Using ART (Tools Paper)
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)
Grammarware
99.

電子ブック

EB
Per Stenström, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
Data Layout for Cache Performance on a Multithreaded Architecture / Subhradyuti Sarkar ; Dean M. Tullsen
Improving Branch Prediction by Considering Affectors and Affectees Correlations / Yiannakis Sazeides ; Andreas Moustakas ; Kypros Constantinides ; Marios Kleanthous
Eighth MEDEA Workshop (Selected Papers)
Introduction / Sandro Bartolini ; Pierfrancesco Foglia ; Cosimo Antonia Prete
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
Power-Aware Dynamic Cache Partitioning for CMPs / Isao Kotera ; Kenta Abe ; Ryusuke Egawa ; Hiroyuki Takizawa ; Hiroaki Kobayashi
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
100.

電子ブック

EB
Keith Cooper, Takeo Kanade, John Mellor-Crummey, Vivek Sarkar
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼