close
1.

電子ブック

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

電子ブック

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
3.

電子ブック

EB
Sami Khuri, Takeo Kanade, Lenka Lhotsk?, Nadia Pisanti
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Workflow Management and Database
e-BioFlow: Improving Practical Use of Workflow Systems in Bioinformatics / Ingo Wassink ; Matthijs Ooms ; Pieter Neerincx ; Gerrit van der Veer ; Han Rauwerda ; Jack A.M. Leunissen ; Timo M. Breit ; Anton Nijholt ; Paul van der Vet
MEDCollector: Multisource Epidemic Data Collector / João Zamite ; Fabrício A.B. Silva ; Francisco Couto ; Mário J. Silva
Epidemic Marketplace: An Information Management System for Epidemiological Data / Luis F. Lopes ; Hugo Ferreira ; Carla Sousa
Decision Support and Data Management in Biomedicine
DCM Data Management Framework: A Data Warehousing Approach / Shehla Khalid ; Claire Surr ; Daniel Neagu
Automatic Classification of Intrapartal Fetal Heart-Rate Recordings - Can It Compete with Experts? / Václav Chudácek ; Jirí Spilka ; Michal Huptych ; George Georgoulas ; Petr Janku ; Michal Koucky ; Chrysostomos Stylios ; Lenka Lhotská
Clinical Informatics to Diagnose Cardiac Diseases Based on Data Mining / Sung Ho Ha ; Zhen Yu Zhang
Decision Support in Biomedicine (Short Papers)
The Case-Based Software System for Physician's Decision Support / Leonid Karpov ; Valery Yudin
SASAgent: An Agent Based Architecture for Search, Retrieval and Composition of e-Science Models and Tools / Luiz Felipe Mendes ; Regina Braga ; Fernanda Campos
Clustering of Protein Substructures for Discovery of a Novel Class of Sequence-Structure Fragments / Ivana Rudolfova ; Jaroslav Zendulka ; Matej Lexa
A Comorbidity Network Approach to Predict Disease Risk / Francesco Folino ; Clara Pizzuti ; Maria Ventura
Mining and Post-Processing of Association Rules in the Atherosclerosis Risk Domain / Petr Berka ; Jan Rauch
Medical Data Modeling and Information Retrieval
Optimized Column-Oriented Model: A Storage and Search Efficient Representation of Medical Data / Razan Paul ; Abu Sayed Md. Latiful Hoque
A Semantic Query Interface for the OGO Platform / José Antonio Miñarro-Giménez ; Mikel Egaña Aranguren ; Francisco García-Sánchez ; Jesualdo Tomás Fernández-Breis
BioMedical Information Retrieval: The BioTracer Approach / Heri Ramampiaro
Data Mining in Bioinformatics
A Self-Organizing State Space Approach to Inferring Time-Varying Causalities between Regulatory Proteins / Osamu Hirose ; Kentaro Shimizu
Knowledge Representation and Data Management in Bioinformatics
Retrieving Samples from Biobanks / Claus Dabringer ; Johann Eder
Logical Knowledge Representation of Regulatory Relations in Biomedical Pathways / Sine Zambach ; Jens Ulrik Hansen
Smooth Introduction of Semantic Tagging in Genotyping Procedures / Alessio Bechini ; Jacopo Viotto ; Riccardo Giannini
Biological Data and Signal Processing
Laboratory Kit for Oscillometry Measurement of Blood Pressure / Jan Dvorák ; Jan Havlík
Initial Analysis of the EEG Signal Processing Methods for Studying Correlations between Muscle and Brain Activity / Helena Valentová
Highlighting the Current Issues with Pride Suggestions for Improving the Performance of Real Time Cardiac Health Monitoring / Mohamed Ezzeldin A. Bashir ; Dong Gyu Lee ; Makki Akasha ; Gyeong Min Yi ; Eun-jong Cha ; Jang-whan Bae ; Myeong Chan Cho ; Keun Ho Ryu
Author Index
Workflow Management and Database
e-BioFlow: Improving Practical Use of Workflow Systems in Bioinformatics / Ingo Wassink ; Matthijs Ooms ; Pieter Neerincx ; Gerrit van der Veer ; Han Rauwerda ; Jack A.M. Leunissen ; Timo M. Breit ; Anton Nijholt ; Paul van der Vet
MEDCollector: Multisource Epidemic Data Collector / João Zamite ; Fabrício A.B. Silva ; Francisco Couto ; Mário J. Silva
4.

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Marek Sergot: A Memoir / Trevor Bench-Capon
The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor
Logic Programming / Part I:
Teleo-Reactive Abductive Logic Programs / Fariba Sadri
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties / Paolo Mancarella ; Francesca Toni
What Is Negation as Failure? / Dov M. Gabbay
Temporal Reasoning and Action Languages / Part II:
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic / Dario Delia Monica ; Angela Montanari ; Pietro Sala
Argumentation and the Event Calculus / Evgenios Hadjisoteriou
Reactive Event Calculus for Monitoring Global Computing Applications / Stefano Bragaglia ; Federico Chesani ; Paola Mello ; Marco Montali ; Paolo Torroni
Reasoning about the Intentions of Agents / Justin Blount ; Michael Gelfond
Symbolic Model Checking for Temporal-Epistemic Logic / Wojciech Penczek
GOAL Agents Instantiate Intention Logic / Koen V. Hindriks ; Wiebe van der Hoek ; John-Jules Ch. Meyer
AI and Law / Part III:
Open Texture and Argumentation: What Makes an Argument Persuasive?
Irrationality in Persuasive Argumentation / Paul E. Dunne
Some Reflections on Two Current Trends in Formal Argumentation / Henry Prakken
Deontic Logic and Norm-Governed Systems / Part IV:
On the Representation of Normative Sentences in FOL / Steven O. Kimbrough
Why Be Afraid of Identity? Comments on Sergot and Prakken's Views / Xavier Parent
Deon+: Abduction and Constraints for Normative Reasoning / Marco Alberti ; Marco Gavanelli ; Evelina Lamma
Contrary-To-Duties in Games / Paolo Turrini ; Leendert van der Torre ; Silvano Colombo Tosatto
Logical Approaches to Policies and Authorization / Part V:
Logical Approaches to Authorization Policies
Decentralized Governance of Distributed Systems via Interaction Control / Naftaly H. Minsky
Managing User-Generated Content as a Knowledge Commons / Jeremy Pitt
Author Index
Marek Sergot: A Memoir / Trevor Bench-Capon
The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor
Logic Programming / Part I:
7.

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks / Aran Prakash ; Zoltán Theisz ; Ranganai Chaparadza
Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks / Cem Safak Sahin ; M. Ümit Uyar ; Stephen Gundry ; Elkin Urrea
Data Intensive Distributed Computing in Data Aware Self-organizing Networks / Cong-Vinh Phan
Accelerated Evolution: A Biologically-Inspired Approach for Augmenting Self-star Properties in Wireless Sensor Networks / Pruet Boonma ; Junichi Suzuki
Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study / Emil Vassev ; Serguei A. Mokhov
Autonomic Nature-Inspired Eco-systems / Antonio Manzalini ; Nermin Brgulja ; Corrado Moiso ; Roberto Minerva
A Logical Approach to Data-Aware Automated Sequence Generation / Sylvain Hallé ; Roger Villemaire ; Omar Cherkaoui ; Rudy Deca
Author Index
Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks / Aran Prakash ; Zoltán Theisz ; Ranganai Chaparadza
Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks / Cem Safak Sahin ; M. Ümit Uyar ; Stephen Gundry ; Elkin Urrea
Data Intensive Distributed Computing in Data Aware Self-organizing Networks / Cong-Vinh Phan
10.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks / Murad Banaji
Modeling and Mining of Learnflows / Robin Bergenthum ; Jörg Desel ; Andreas Harrer ; Sebastian Mauser
Ten Years of Saturation: A Petri Net Perspective / Gianfranco Ciardo ; Yang Zhao ; Xiaoging Jin
Refinement and Asynchronous Composition of Model Petri Nets / Dorsaf Elhog-Benzina ; Serge Haddad ; Rolf Hennicker
Computing a Hierarchical Static Order for Decision Diagrom-Based Representation from P/T Nets / Silien Hong ; Fabrice Kordon ; Emmanuel Paviot-Adet ; Sami Evangelista
Bounded Model Checking for Parametric Timed Automata / Michat Knapik ; Wojciech Penczek
Synthesis Problem for Petri Nets with Localities / Maciej Koutny ; Marta Pietkiewicz-Koutny
A Petri Net Perspective on the Resource Allocation Problem in Software Engineering / Juan-Pablo López-Grao ; José-Manuel Colom
Nets-Within-Nets Paradigm and Grid Computing / Marco Mascheroni ; Fabio Farina
Incremental Process Discovery / Marc Solé ; Josep Carmona
Providing an Agent Flavored Integration for Workflow Management / Thomas Wagner ; José Quenum ; Daniel Moldt ; Christine Reese
A Graphical Approach to Component-Based and Extensible Model Checking Platforms / Michael Westergaard ; Lars Michael Kristensen
Author Index
Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks / Murad Banaji
Modeling and Mining of Learnflows / Robin Bergenthum ; Jörg Desel ; Andreas Harrer ; Sebastian Mauser
Ten Years of Saturation: A Petri Net Perspective / Gianfranco Ciardo ; Yang Zhao ; Xiaoging Jin
11.

電子ブック

EB
David Hutchison, Antonis M. Hadjiantonis, Takeo Kanade, Burkhard Stiller
出版情報: Springer eBooks Computer Science , Cham : Springer Berlin Heidelberg, 2012
所蔵情報: loading…
12.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
13.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Practical Attacks on a Cryptosystem Proposed in Patent WO/2009/066313 / Gautham Sekar ; Bart Preneel
Generalized Security Analysis of the Random Key Bits Leakage Attack / Jun Kogure ; Noboru Kunihiro ; Hirosuke Yamamoto
Improved Integral Attacks on Reduced-Round CLEFIA Block Cipher / Yanjun Li ; Wenling Wu ; Lei Zhang
Preimage Attacks on Full-ARIRANG: Analysis of DM-Mode with Middle Feed-Forward / Chiaki Ohtahara ; Keita Okada ; Yu Sasaki ; Takeshi Shimoyama
Known-Key Distinguisher on Round-Reduced 3D Block Cipher / Le Dong ; Shuang Wu ; Jian Zou
Identity-Based Signcryption from Identity-Based Cryptography / Woomyo Lee ; Jae Woo Seo ; Pil Joong Lee
Order-Preserving Encryption for Non-uniformly Distributed Plaintexts / Dae Hyun Yum ; Duk Soo Kim ; Jin Seok Kim ; Sung Je Hong
Solving a DLP with Auxiliary Input with the ρ-Algorithm / Yumi Sakemi ; Tetsuya Izu ; Masahiko Takenaka ; Masaya Yasuda
A General NTRU-Like Framework for Constructing Lattice-Based Public-Key Cryptosystems / Yanbin Pan ; Yingpu Deng
A Peer-to-Peer Content-Distribution Scheme Resilient to Key Leakage / Tatsuyuki Matsushita ; Shinji Yamanaka ; Fangming Zhao
Rule Indexing for Efficient Intrusion Detection Systems / Boojoong Kang ; Hye Seon Kim ; Ji Su Yang ; Eul Gyu Im
Security Data Extraction from LEC 61850 ACSI Models for Network and System Management / Chung-Hyo Kim ; Moon-Seok Choi ; Seong-Ho Ju ; Yong-Hun Lim ; Jong-Mock Baek
Lightweight Middleware-Based ZigBee Security in Building Energy Management System / Insung Hong ; Jisung Byun ; Sehyun Park
A Map-Layer-Based Access Control Model / Yingjun Zhang ; Yang Zhang ; Kai Chen
Application Authentication for Hybrid Services of Broadcasting and Communications Networks / Go Ohtake ; Kazuto Ogawa
Accelerating Multiparty Computation by Efficient Random Number Bitwise-Sharing Protocols / Naoto Kiribuchi ; Ryo Kato ; Takashi Nishide ; Tsukasa Endo ; Hiroshi Yoshiura
Biometric Based Secure Communications without Pre-deployed Key for Biosensor Implanted in Body Sensor Networks / Kwantae Cho ; Dong Hoon Lee
Mutual Private Set Intersection with Linear Complexity / Myungsun Kim ; Hyung Tae Lee ; Jung Hee Cheon
Advanced Path Selection Method for Detection of False Reports in Statistical Filtering Based WSNs / Chung Il Sun ; Tae Ho Cho
Evaluating the Security and Privacy of Near Field Communication - Case: Public Transportation / Jarno Salonen
Exploiting Routing Tree Construction in CTP / Islam Hegazy ; Reihaneh Safavi-Naini ; Carey Williamson
Author Index
Practical Attacks on a Cryptosystem Proposed in Patent WO/2009/066313 / Gautham Sekar ; Bart Preneel
Generalized Security Analysis of the Random Key Bits Leakage Attack / Jun Kogure ; Noboru Kunihiro ; Hirosuke Yamamoto
Improved Integral Attacks on Reduced-Round CLEFIA Block Cipher / Yanjun Li ; Wenling Wu ; Lei Zhang
18.

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Third International Workshop on Lightweight Composition on the Web (ComposableWeb 2011)
An Evaluation of Mashup Tools Based on Support for Heterogeneous Mashup Components / Saeed Aghaee ; Cesare Pautasso
An Approach to Construct Dynamic Service Mashups Using Lightweight Semantics / Dong Liu ; Ning Li ; Carlos Pedrinaci ; Jacek Kopecký ; Maria Maleshkova ; John Domingue
Task-Based Recommendation of Mashup Components / Vincent Tietz ; Gregor Blichmann ; Stefan Pietschmann ; Klaus Meiβner
Integration of Telco Services into Enterprise Mashup Applications / Olexiy Chudnovskyy ; Frank Weinhold ; Hendrik Gebhardt ; Martin Gaedke
Orchestrated User Interface Mashups Using W3C Widgets / Scott Wilson ; Florian Daniel ; Uwe Jugel ; Stefano Soi
Cross-Domain Embedding for Vaadin Applications / Janne Lautamäki ; Tommi Mikkonen
Web Linking-Based Protocols for Guiding RESTful M2M Interaction / Jesus Bellido ; Rosa Alarcon ; Cristian Sepulveda
Batched Transactions for RESTful Web Services / Sebastian Kochman ; Pawel T. Wojciechowski ; Milosz Kmieciak
Secure Mashup-Providing Platforms - Implementing Encrypted Wiring / Matthias Herbert ; Tobias Thieme ; Jan Zibuschka ; Heiko Roβnagel
First International Workshop on Search, Exploration and Navigation of Web Data Sources (Explore Web 2011)
A Conceptual Framework for Linked Data Exploration / Alessandro Bozzon ; Marco Brambilla ; Emanuele Della Valle ; Piero Fraternali ; Chiara Pasini
Support for Reusable Explorations of Linked Data in the Semantic Web / Marcelo Cohen ; Daniel Schwabe
Generation of Semantic Clouds Based on Linked Data for Efficient Multimedia Semantic Annotation / Han-Gyu Ko ; In-Young Ko
Ontology Based Segmentation of Geo-Referenced Queries / Mamoun Abu Helou
SimSpectrum: A Similarity Based Spectral Clustering Approach to Generate a Tag Cloud / Frederico Durao ; Peter Dolog ; Martin Leginus ; Ricardo Lage
Graph Access Pattern Diagrams (GAP-D): Towards a Unified Approach for Modeling Navigation over Hierarchical, Linear and Networked Structures / Matthias Keller ; Martin Nussbaumer
Data-Driven and User-Driven Multidimensional Data Visualization / Rober Morales-Chaparro ; Juan C. Preciado ; Fernando Sánchez-Figueroa
Second International Workshop on Enterprise Crowdsourcing (EC 2011)
Context-Aware and Adaptive Web Interfaces: A Crowdsourcing Approach / Michael Nebeling ; Moira C. Norrie
Massive Multiplayer Human Computation for Fun, Money, and Survival / Lukas Biewald
Enterprise Crowdsourcing Solution for Software Development in an Outsourcing Organization / Ranganathan Jayakanthan ; Deepak Sundararajan
Seventh Model-Driven Web Engineering Workshop (MDWE 2011)
A Model-Driven Framework for Developing Web Service Oriented Applications / Achilleas Achilleos ; Georgia M. Kapitsaki ; George A. Papadopoulos
Developing Enterprise Web Applications Using the Story Driven Modeling Approach / Christoph Eickhoff ; Nina Geiger ; Marcel Hahn ; Albert Zündorf
Aspect-Oriented Modeling of Web Applications with HiLA / Gefei Zhang ; Matthias Hölzl
Model-Driven Web Form Validation with UML and OCL / Ebon Escott ; Paul Strooper ; Paul King ; Ian J. Hayes
Modernization of Legacy Web Applications into Rich Internet Applications / Roberto Rodríguez-Echeverría ; José María Conejero ; Pedro J. Clemente
Second International Workshop on Quality in Web Engineering (QWE 2011)
Quality Models for Web [2.0] Sites: A Methodological Approach and a Proposal / Roberto Polillo
Exploring the Quality in Use of Web 2.0 Applications: The Case of Mind Mapping Services / Tihomir Orehovacki ; Andrina Granic ; Dragutin Kermek
Second Workshop on the Web and Requirements Engineering (WeRE 2011)
Detecting Conflicts and Inconsistencies in Web Application Requirements / Matias Urbieta ; Maria Jose Escalona ; Esteban Robles Luna ; Gustavo Rossi
Streamlining Complexity: Conceptual Page Re-modeling for Rich Internet Applications / Andrea Pandurino ; Davide Bolchini ; Luca Mainetti ; Roberto Paiano
Doctoral Symposium 2011
A Flexible Graph-Based Data Model Supporting Incremental Schema Design and Evolution / Katrin Braunschweig ; Maik Thiele ; Wolfgang Lehner
ProLD: Propagate Linked Data / Peter Kalchgruber
Causal Relation Detection for Activities from Heterogeneous Sources / Philipp Katz ; Alexander Schill
XML Document Versioning, Revalidation and Constraints / Jakub Malý ; Martin Necaský
A Reuse-Oriented Product-Line Method for Enterprise Web Applications / Neil Mather ; Samia Oussena
A Flexible Architecture for Client-Side Adaptation / Sergio Firmenich ; Silvia Gordillo ; Marco Winckler
Applications of Mobile Application Interface Description Language MAIDL / Prach Chaisatien ; Korawit Prutsachainimmit ; Takehiro Tokuda
A Domain-Specific Language for Do-It-Yourself Analytical Mashups / Julian Eberius
Information Extraction from Web Pages Based on Their Visual Representation / Ruslan R. Fayzrakhmanov
End-User Programming for Web Mashups: Open Research Challenges
ICWE 2011 Tutorials
Multi-dimensional Context-Aware Adaptation for Web Applications / Vivian Genaro Motti ; Jean Vanderdonckt
Engineering the Personal Social Semantic Web / Fabian Abel ; Geert-Jan Houben
Automating the Use of Web APIs through Lightweight Semantics / Guillermo Alvaro
Improving Quality in Use of Web Applications in a Systematic Way / Philip Lew ; Luis Olsina
Author Index
Third International Workshop on Lightweight Composition on the Web (ComposableWeb 2011)
An Evaluation of Mashup Tools Based on Support for Heterogeneous Mashup Components / Saeed Aghaee ; Cesare Pautasso
An Approach to Construct Dynamic Service Mashups Using Lightweight Semantics / Dong Liu ; Ning Li ; Carlos Pedrinaci ; Jacek Kopecký ; Maria Maleshkova ; John Domingue
21.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Software Architectures and Development / Part I:
Towards Decision Centric Repository of Architectural Knowledge / Bartosz Michalik ; Jerzy Nawrocki
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning / Pavol Mederly ; Marián Lekavý ; Marek Závodský ; Pavol Návrat
Integration of Application Business Logic and Business Rules with DSL and AOP / Bogumila Hnatkowska ; Krzysztof Kasprzyk
Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling / Radoslav Menkyna ; Valentino Vranic
On the Evolution of Component-Based Software / Isabelle Côté ; Maritta Heisel ; Jeanine Souquières
Query Processing Using Negative and Temporal Tuples in Stream Query Engines / Marcin Gorawski ; Aleksander Chrószcz
Scalable Store of Java Objects Using Range Partitioning / Mariusz Bedla ; Krzysztof Sapiecha
Modelling and Formal Methods in Software Development / Part II:
HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration / Slawomir Samolej ; Tomasz Szmuc
Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers / Tomasz Rak ; Jan Werewka
Information Systems Development Based on Visual Domain Specific Language BiLingva / Jana Cerina-Berzina ; Janis Bicevskis ; Ģirts Karnitis
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management / Iman Poernomo ; Timur Umarau
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach / Maxime Rebout ; Louis Féraud ; Lionel Marie-Magdeleine ; Sergei Soloviev
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge / Bozena Woźna-Szczesniak
The Semantics of Role-Based Trust Management Languages / Anna Felkner ; Krzysztof Sacha
Measurements, Testing, and Quality of Software / Part III:
Applying of Smart Technologies: Evaluation of Effectiveness / Zane Bicevska
Reducing the Class Coupling of Legacy Code by a Metrics-Based Relocation of Class Members / Marvin Ferber ; Sascha Hunold ; Björn Krellner ; Thomas Rauber ; Thomas Reichel ; Gudula Rünger
Dataflow Testing of Java Programs with DFC / Rona Bluemke ; Artur Rembiszewski
Object-Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System / Anna Derezinska ; Anna Szustek
Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles / Alireza Khalilian ; Saeed Parsa
Author Index
Software Architectures and Development / Part I:
Towards Decision Centric Repository of Architectural Knowledge / Bartosz Michalik ; Jerzy Nawrocki
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning / Pavol Mederly ; Marián Lekavý ; Marek Závodský ; Pavol Návrat
22.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
On Multiway Cut Parameterized above Lower Bounds / Marek Cygan ; Marcin Pilipczuk ; Michal Pilipczuk ; Jakub Onufry Wojtaszczyk
Parameterized Complexity of Firefighting Revisited / Fedor V. Fomin ; Erik Jan van Leeuwen
Parameterized Complexity in Multiple-Interval Graphs: Domination / Minghui Jiang ; Yong Zhang
A Faster Algorithm for Dominating Set Analyzed by the Potential Method / Yoichi Iwata
Contracting Graphs to Paths and Trees / Pinar Heggernes ; Pim van 't Hof ; Benjamin Lévêque ; Daniel Lokshtanov ; Christophe Paul
Increasing the Minimum Degree of a Graph by Contractions / Petr A. Golovach ; Marcin Kaminski ; Daniël Paulusma ; Dimitrios M. Thilikos
Planar Disjoint-Paths Completion / Isolde Adler ; Stavros G. Kolliopoulos
Sparse Solutions of Sparse Linear Systems: Fixed-Parameter Tractability and an Application of Complex Group Testing / Peter Damaschke
New Upper Bounds for MAX-2-SAT and MAX-2-CSP w.r.t. the Average Variable Degree / Alexander Golovnev
Improved Parameterized Algorithms for above Average Constraint Satisfaction / Eun Jung Kim ; Ryan Williams
On Polynomial Kernels for Structural Parameterizations of Odd Cycle Transversal / Bart M.P. Jansen ; Stefan Kratsch
Kernel Bounds for Path and Cycle Problems / Hans L. Bodlaender
On the Hardness of Losing Width / Saket Saurabh
Safe Approximation and Its Relation to Kernelization / Jiong Guo ; Iyad Kanj
Simpler Linear-Time Kernelization for Planar Dominating Set / Torben Hagerup
Linear-Time Computation of a Linear Problem Kernel for Dominating Set on Planar Graphs / René van Bevern ; Sepp Hartung ; Frank Kammer ; Rolf Niedermeier ; Mathias Weller
Tight Complexity Bounds for FPT Subgraph Problems Parameterized by Clique-Width / Hajo Broersma ; Viresh Patel
Finding Good Decompositions for Dynamic Programming on Dense Graphs / Eivind Magnus Hvidevold ; Sadia Sharmin ; Jan Arne Telle ; Martin Vatshelle
Parameterized Maximum Path Coloring / Michael Lampis
On Cutwidth Parameterized by Vertex Cover / Marcl Pilipczuk
Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics / Robert Ganian
Author Index
On Multiway Cut Parameterized above Lower Bounds / Marek Cygan ; Marcin Pilipczuk ; Michal Pilipczuk ; Jakub Onufry Wojtaszczyk
Parameterized Complexity of Firefighting Revisited / Fedor V. Fomin ; Erik Jan van Leeuwen
Parameterized Complexity in Multiple-Interval Graphs: Domination / Minghui Jiang ; Yong Zhang
23.

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Usable Mobile Security / N. Asokan ; Cynthia Kuo
Actor-Network Procedures (Extended Abstract) / Dusko Pavlovic ; Catherine Meadows
Knowledge as a Window into Distributed Coordination / Yoram Moses
Decision Making as Optimization in Multi-robot Teams / Lynne E. Parker
Mstar: A New Two Level Interconnection Network / Nibedita Adhikari ; C.R. Tripathy
An Improved Scheme for False Data Filtering in Wireless Sensor Networks / C. Anudeep ; Manik Lai Das
Anonymity and Security in Mobile Ad Hoc Networks / Jhansi Vazram Bolla ; Valli Kumari Vatsavayi ; J. V.R. Murthy
Circle Formation by Asynchronous Fat Robots with Limited Visibility / Ayan Dutta ; Sruti Gan Chaudhuri ; Suparno Datta ; Krishnendu Mukhopadhyaya
High Concurrency for Continuously Evolving OODBMS / V. Geetha ; N. Sreenath
A New Scheme for IPv6 BD-TTCS Translator / J. Hanumanthappa ; D.H. Manjaiah
Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives / Shankara Narayanan Krishna ; G. Lakshmi Manasa ; Ashish Chiplunkar
Parallelization of PageRank on Multicore Processors / Tarun Kumar ; Parikshit Sondhi ; Ankush Mittal
Cryptanalysis and Improvement of Sood et al.'s Dynamic ID-Based Authentication Scheme / Chun-Guang Ma ; Ding Wang ; Qi-Ming Zhang
An Algebra of Social Distance / Hrushikesha Mohanty
Detecting Flaws in Dynamic Hierarchical Key Management Schemes Using Specification Animation / Anil Mundra ; Anish Mathuria ; Manik Lal Das
Strong Minimum Energy Minimum Interference Topology in Wireless Sensor Networks / Bhawani S. Panda ; D. Pushparaj Shetty ; Bijaya Kishor Bhatta
Distributed Processing and Internet Technology to Solve Challenges of Primary Healthcare in India / Aran Pande ; Sanjay Kimbahune ; Nandini Bondale ; Ratnendra Shinde ; Sunita Shanbhag
Packet Forwarding Strategies for Cooperation Enforcement in Mobile Ad Hoc Wireless Networks / Nidhi Patel ; Sanjay Srivastava
A Study on Scalability of Services and Privacy Issues in Cloud Computing / R.S.M. Lakshmi Patibandla ; Santhi Sri Kurra ; Nirupama Bhat Mundukur
A Recommendation Model for Handling Dynamics in User Profile / Chhavi Rana ; Sanjay Kumar Jain
Allocation of Slotted Deadline Sensitive Leases in Infrastructure Cloud / Dhairya Vora ; Sanjay Chaudhary ; Minal Bhise ; Vikas Kumar ; Gaurav Somani
Grids Security without Public Key Settings
Concurrent HCM for Authorizing Grid Resources / Mustafa Kaiiali ; Chillarige Raghavendra Rao ; Rajeev Wankar ; Aran Agarwal
Seamless Provision of Cloud Services Using Peer-to-Peer (P2P) Architecture / Snehal Masne ; Chillarige Raghvendra Rao ; Arun Agarwal
Distributed Fault Tolerant Estimation in Wireless Sensor Network Using Robust Diffusion Adaptation / Meenakshi Panda ; Pabitra M. Khilar
Robust Distributed Block LMS over WSN in Impulsive Noise / Trilochan Panigrahi ; Ganapati Panda ; B. Mulgrew
Resource Allocation Techniques Based on Availability and Movement Reliability for Mobile Cloud Computing / JiSu Park ; Heon Chang Yu ; Eun Young Lee
Transparency Computation for Work Groups / A.B. Sagar
A New Hierarchical Structure of Star Graphs and Applications / Wei Shi ; Feng Luo ; Pradip Srimani
Incremental Discovery of Sequential Pattern from Semi-structured Document Using Grammatical Inference / Ramesh Thakur ; Suresh Jain ; Narendra S. Chaudhari
Group Associated Petri Nets in Bio Computing / K. Thirusangu ; D. Gnanaraj Thomas ; B.J. Balamurugan
Concept Map Based Service Specification and Discovery / Supriya Vaddi
Semantic Search Using Constrained Spread Activation for Semantic Digital Library / Sandeep Vasani ; Mohit Pandey
Author Index
Usable Mobile Security / N. Asokan ; Cynthia Kuo
Actor-Network Procedures (Extended Abstract) / Dusko Pavlovic ; Catherine Meadows
Knowledge as a Window into Distributed Coordination / Yoram Moses
25.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Combinatorial Optimization with Noisy Inputs: How Can We Separate the Wheat from the Chaff? / Peter Widmayer
Approximability of Stable Matching Problems / Kazuo Iwama
On Three-Dimensional Graph Drawing and Embedding / Sue Whitesides
Graph Algorithms I
Bounding the Number of Reduced Trees, Cographs, and Series-Parallel Graphs by Compression / Takeaki Uno ; Ryuhei Uehara ; Shin-ichi Nakano
Generalized Above Guarantee Vertex Cover and r-Partization / R. Krithika ; N.S. Narayanaswamy
Computational Geometry
Farthest Voronoi Diagrams under Travel Time Metrics / Sang Won Bae ; Kyung-Yong Chwa
Tight Bound for Farthest-Color Voronoi Diagrams of Line Segments
Range Aggregate Maximal Points in the Plane / Ananda Swarup Das ; Prosenjit Gupta ; Anil Kishore Kalavagattu ; Jatin Agarwal ; Kannan Srinathan ; Kishore Kothapalli
Approximation Algorithms
Approximating the Multi-level Bottleneck Assignment Problem / Trivikram Dokka ; Anastasia Kouvela ; Frits C.R. Spieksma
Reoptimization of the Maximum Weighted Pk-Free Subgraph Problem under Vertex Insertion / Nicolas Boria ; Jérôme Monnot ; Vangelis Th. Paschos
Comparing and Aggregating Partial Orders with Kendall Tau Distances / Franz J. Brandenburg ; Andreas Gleiβner ; Andreas Hofmeier
Graph Algorithms II
On the Round-Trip 1-Center and 1-Median Problems / Biing-Feng Wang ; Jhih-Hong Ye ; Pei-Jung Chen
Triangle-Free Outerplanar 3-Graphs Are Pairwise Compatibility Graphs / Sammi Abida Salma ; Md. Saidur Rahman
On Relaxing the Constraints in Pairwise Compatibility Graphs / Tiziana Calamoneri ; Rossella Petreschi ; Blerina Sinaimeri
Graph Drawing I
Universal Line-Sets for Drawing Planar 3-Trees / Md. Iqbal Hossain ; Debajyoti Mondal
On the Hardness of Point-Set Embeddability / Stephane Durocher
String and Data Structures
Linear Time Inference of Strings from Cover Arrays Using a Binary Alphabet / Tanaeem M. Moosa ; Sumaiya Nazeen ; M. Sohel Rahman ; Rezwana Reaz
Fat Heaps without Regular Counters / Amr Elmasry ; Jyrki Katajainen
Graph Drawing II
Drawing Graphs with Vertices at Specified Positions and Crossings at Large Angles / Martin Fink ; Jan-Henrik Haunert ; Tamara Mchedlidze ; Joachim Spoerhase ; Alexander Wolff
Drawing Unordered Trees on k-Grids / Christian Bachmaier ; Marco Matzeder
Heuristics for the Maximum 2-layer RAC Subgraph Problem / Emilio Di Giacomo ; Walter Didimo ; Luca Grilli ; Giuseppe Liotta ; Salvatore A. Romeo
Games and Cryptography
Nash Equilibria with Minimum Potential in Undirected Broadcast Games / Yasushi Kawase ; Kazuhisa Makino
Calculating Average Joint, Hamming Weight for Minimal Weight Conversion of d Integers / Vorapong Suppakitpaisarn ; Masato Edahiro ; Hiroshi Imai
Author Index
Invited Talks
Combinatorial Optimization with Noisy Inputs: How Can We Separate the Wheat from the Chaff? / Peter Widmayer
Approximability of Stable Matching Problems / Kazuo Iwama
26.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
The First International Workshop on Web-Based Geographic Information Management (WGIM 2011)
Enhancing the Quality of Place Resources in Geo-folksonomies / Ehab ElGindy ; Alia Abdelmoty
Generating Semantic-Based Trajectories for Indoor Moving Objects / Huaishuai Wang ; Peiquan Jin ; Lei Zhao ; Lanlan Zhang ; Lihua Yue
HTPR*-Tree: An Efficient Index for Moving Objects to Support Predictive Query and Partial History Query / Ying Fang ; Jiaheng Cao ; Junzhou Wang ; Yuwei Peng ; Wei Song
Developing Rich Web GIS Applications for Visual Analytics / Michael Meyers ; Bruce A. Ralston
Single-Source Multi-Target A* Algorithm for POI Queries on Road Network / Htoo Htoo ; Yutaka Ohsawa ; Noboru Sonehara
Combining Top-k Query in Road Networks / Weimo Liu ; Yinan Jing ; Kunjie Chen ; Weiwei Sun
Extracting Focused Locations for Web Pages / Qingqing Zhang ; Sheng Lin
Searching Similar Trajectories in Real Time: An Effectiveness and Efficiency Study / Yuchi Ma ; Chunyan Qu ; Tingling Liu ; Ning Yang ; Changjie Tang
The Third International Workshop on XML Data Management (XMLDM 2011)
Multidimensional Implementation of Stream ADT / Filip Krizka ; Michal Krátky ; Radim Baca ; Peter Chovanec
Measuring XML Structured-ness with Entropy / Ruiming Tang ; Huayu Wu ; Stéphane Bressan
Similarity Join on XML Based on k-Generation Set Distance / Yue Wang ; Hongzhi Wang ; Yang Wang ; Hong Gao
XML Query Processing Using Views / Caiyun Yao ; Jiaheng Lu ; Wei Wang ; Xiaofang Zhou
XIO-SLCA: Optimize SLCA for Effective Keyword Search in XML Documents / Xia Li ; Zhanhuai Li ; Pei Ying Wang ; Qun Chen ; Lijun Zhang ; Ning Li
The Development of XML Stored Procedures in XML Enabled Databases / Fahad Alahmari ; Eric Pardede
The First International Workshop on Social Network Analysis (SNA 2011)
A Slope One Collaborative Filtering Recommendation Algorithm Using Uncertain Neighbors Optimizing / Jingjiao Li ; Limei Sun ; Jiao Wang
A Social Reputation Management for Web Communities / Di He ; Zhiyong Peng ; Liang Hong ; Yu Zhang
A Collaborative Filtering Recommendation System by Unifying User Similarity and Item Similarity / Dongzhan Zhang ; Chao Xu
Supporting Query over Dynamic Combination of Data Sources for Social Media / Rongrong Li ; Weixiang Zhai
Detecting Opinion Leader Dynamically in Chinese News Comments / Kaisong Song ; Daling Wang ; Shi Feng ; Ge Yu
An Approach of Semi-automatic Public Sentiment Analysis for Opinion and District / Chao Yan
Author Index
The First International Workshop on Web-Based Geographic Information Management (WGIM 2011)
Enhancing the Quality of Place Resources in Geo-folksonomies / Ehab ElGindy ; Alia Abdelmoty
Generating Semantic-Based Trajectories for Indoor Moving Objects / Huaishuai Wang ; Peiquan Jin ; Lei Zhao ; Lanlan Zhang ; Lihua Yue
51.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Differential Privacy and the Power of (Formalizing) Negative Thinking (Extended Abstract) / Cynthia Dwork
Security Protocol Verification: Symbolic and Computational Models / Bruno Blanchet
Analysing Routing Protocols: Four Nodes Topologies Are Sufficient / Véronique Cortier ; Jan Degrieck ; Stéphanie Delaune
Parametric Verification of Address Space Separation / Jason Franklin ; Sagar Chaki ; Anupam Datta ; Jonathan M. McCune ; Amit Vasudevan
Verification of Security Protocols with Lists: From Length One to Unbounded Length / Miriam Paiola
Privacy Supporting Cloud Computing: ConfiChair, a Case Study / Myrto Arapinis ; Sergiu Bursuc ; Mark Ryan
A Formal Analysis of the Norwegian E-voting Protocol / Cyrille Wiedling
Provably Repairing the ISO/TEC 9798 Standard for Entity Authentication / David Basin ; Cos Cremers ; Simon Meier
Security Proof with Dishonest Keys / Hubert Comon-Lundh ; Guillaume Scerri
Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity / Mark D. Ryan
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker / Gergei Bana
Verified Indifferentiable Hashing into Elliptic Curves / Gilles Barthe ; Benjamin Grégoire ; Sylvain Heraud ; Federico Olmedo ; Santiago Zanella Béguelin
Provable De-anonymization of Large Datasets with Sparse Dimensions / Divya Sharma ; Arunesh Sinha
Revisiting Botnet Models and Their Implications for Takedown Strategies / Ting-Fang Yen ; Michael K. Reiter
A Game-Theoretic Analysis of Cooperation in Anonymity Networks / Mu Yang ; Vladimiro Sassone ; Sardaouna Hamadou
Deciding Selective Declassification of Petri Nets / Eike Best ; Philippe Darondeau
Enforceable Security Policies Revisited / Vincent Jugé ; Felix Klaedtke ; Eugen Zalinescu
Towards Incrementalization of Holistic Hyperproperties / Dimiter Milushev ; Dave Clarke
Type-Based Analysis of PKCS#11 Key Management / Matteo Centenaro ; Riccardo Focardi ; Flaminia L. Luccio
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow / Torben Amtoft ; Josiah Dodds ; Zhi Zhang ; Andrew Appel ; Lennart Beringer ; John Hatcliff ; Xinming Ou ; Andrew Cousino
PTaCL: A Language for Attribute-Based Access Control in Open Systems / Jason Crampton ; Charles Morisset
A Core Calculus for Provenance / Umut A. Acar ; Amal Ahmed ; James Cheney ; Roly Perera
Author Index
Differential Privacy and the Power of (Formalizing) Negative Thinking (Extended Abstract) / Cynthia Dwork
Security Protocol Verification: Symbolic and Computational Models / Bruno Blanchet
Analysing Routing Protocols: Four Nodes Topologies Are Sufficient / Véronique Cortier ; Jan Degrieck ; Stéphanie Delaune
52.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
GPU Optimisation
Improving Performance of OpenCL on CPUs / Ralf Karrenberg ; Sebastian Hack
Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality / Swapneela Unkule ; Christopher Shaltz ; Apan Qasem
Program Analysis
Programming Paradigm Driven Heap Analysis / Mark Marron ; Ondřej Lhotàk ; Anindya Banerjee
Parallel Replication-Based Points-To Analysis / Sandeep Putta ; Rupesh Nasre
A New Method for Program Inversion / Cong Hou ; George Vulov ; Daniel Quinlan ; David Jefferson ; Richard Fujimoto ; Richard Vuduc
Analytical Bounds for Optimal Tile Size Selection / Jun Shirako ; Kamal Sharma ; Naznin Fauzia ; Louis-Noël Pouchet ; J. Ramanujam ; P. Sadayappan ; Vivek Sarkar
Objects and Components
Static Detection of Unsafe Component Loadings / Taeho Kwon ; Zhendong Su
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis / Jing Yang ; Gogul Balakrishnan ; Naoto Maeda ; Franjo Ivancic ; Aarti Gupta ; Nishant Sinha ; Sriram Sankaranarayanan ; Naveen Sharma
GC-Safe Interprocedural Unboxing / Leaf Petersen ; Neal Glew
Dynamic Analysis and Runtime Support
Compiler Support for Value-Based Indirect Branch Prediction / Muhammad Umar Farooq ; Lei Chen ; Lizy Kurian John
Compiler Support for Fine-Grain Software-Only Checkpointing / Chuck (Chengyan) Zhao ; J. Gregory Steffan ; Cristiana Amza ; Allan Kielstra
VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework / Alexandra Jimborean ; Luis Mastrangelo ; Vincent Loechner ; Philippe Ciauss
Sambamba: A Runtime System for Online Adaptive Parallelization / Kevin Streit ; Clemens Hammacher ; Andreas Zeller
Author Index
GPU Optimisation
Improving Performance of OpenCL on CPUs / Ralf Karrenberg ; Sebastian Hack
Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality / Swapneela Unkule ; Christopher Shaltz ; Apan Qasem
53.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Market Mechanisms and Negotiation / Session A:
An Inspiration for Solving Grid Resource Management Problems Using Multiple Economic Models / Aminul Haque ; Saadat M. Alhashmi ; Rajendran Parthiban
Concurrent Negotiations in Cloud-Based Systems / Melanie Siebenhaar, The An Binh Nguyen ; Ulrich Lampe ; Dieter Schuller ; Ralf Steinmetz
A Reverse Auction Market for Cloud Resources / Joris Roovers ; Kurt Vanmechelen ; Jan Broeckhove
Cost Models, Charging, .and Trading Platforms / Session B:
A Cost Model for Hybrid Clouds / Mohammad Mahdi Kashef ; Jörn Altmann
How to Do Successful Chargeback for Cloud Services / Hristo Stefanov ; Slinger Jansen ; Ronald Batenburg ; Eugene van Heusden ; Ravi Khadka
A Marketplace Framework for Trading Cloud-Based Services / Andreas Menychtas ; Sergio Garcia Gomez ; Andrea Giessmann ; Anna Gatzioura ; Katarina Stanoevska ; Jürgen Vogel ; Vrettos Moulos
Resource Allocation, Scheduling, and Admission Control / Session C:
Client Classification Policies for SLA Negotiation and Allocation in Shared Cloud Datacenters / Mario Macías ; Jordi Guitart
Budget-Deadline Constrained Workflow Planning for Admission Control in Market-Oriented Environments / Wei Zheng ; Rizos Sakellariou
Virtual Machine Placement for Predictable and Time-Constrained Peak Loads / Wubin Li ; Johan Tordsson ; Erik Elmroth
Work in Progress: Risk Assessment and Economics of Cloud Services / Session D:
Risk Assessment in Service Provider Communities / Ioan Petri ; Omer F. Rana ; Yacine Regzui ; Gheorghe Cosmin Silaghi
A Game-Theoretical Approach to the Benefits of Cloud Computing / Jörn Künsemöller ; Holger Karl
Work in Progress: Cost-Aware Adoption of Cloud Services / Session E:
Planning for Optimal Multi-site Data Distribution for Disaster Recovery / Shubhashis Sengupta ; K.M. Annervaz
Saga: A Cost Efficient File System Based on Cloud Storage Service / Wei Shi ; Dapeng Ju ; Dongsheng Wang
Developing a Cost-Effective Virtual Cluster on the Cloud / A. Stephen McGough
Author Index
Market Mechanisms and Negotiation / Session A:
An Inspiration for Solving Grid Resource Management Problems Using Multiple Economic Models / Aminul Haque ; Saadat M. Alhashmi ; Rajendran Parthiban
Concurrent Negotiations in Cloud-Based Systems / Melanie Siebenhaar, The An Binh Nguyen ; Ulrich Lampe ; Dieter Schuller ; Ralf Steinmetz
54.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
An Efficient Robust Watermarking Method Integrated in H.264/SVC / Peter Meerwald ; Andreas Uhl
PC-Based Real-Time Video Watermark Embedding System Independent of Platform for Parallel Computing / Takaaki Yamada ; Isao Echizen ; Hiroshi Yoshiura
IR Hiding: Method for Preventing Illegal Recording of Videos Based on Differences in Sensory Perception between Humans and Devices / Takayuki Yamada ; Seiichi Gohshi
Secure Watermarking on 3D Geometry via ICA and Orthogonal Transformation / Hao-tian Wu ; Yiu-ming Cheung
Measuring the Statistical Correlation Inconsistencies in Mobile Images for Tamper Detection / Hong Cao ; Alex C. Kot
Secure Steganography Using Randomized Cropping / Arijit Sur ; Vignesh Ramanathan ; Jayanta Mukherjee
Steganography in Streaming Multimedia over Networks / Hong Zhao ; Yun Q. Shi ; Nirwan Ansari
Author Index
An Efficient Robust Watermarking Method Integrated in H.264/SVC / Peter Meerwald ; Andreas Uhl
PC-Based Real-Time Video Watermark Embedding System Independent of Platform for Parallel Computing / Takaaki Yamada ; Isao Echizen ; Hiroshi Yoshiura
IR Hiding: Method for Preventing Illegal Recording of Videos Based on Differences in Sensory Perception between Humans and Devices / Takayuki Yamada ; Seiichi Gohshi
55.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Contractual Requirements / Session 1:
Why the Electronic Land Registry Failed / Soren Lauesen
Answering a Request for Proposal - Challenges and Proposed Solutions / Barbara Paech ; Robert Heinrich ; Gabriele Zorn-Pauli ; Andreas Jung ; Siamak Tadjiky
Impediments to Requirements-Compliance / Md. Rashed Iqbal Nekvi ; Nazim H. Madhavji ; Remo Ferrari ; Brian Berenbach
Quality Requirements / Session 2:
How Architects See Non-Functional Requirements: Beware of Modifiability / Eltjo R. Poort ; Nick Martens ; Inge van de Weerd ; Hans van Vliet
Research Preview: Prioritizing Quality Requirements Based on Software Architecture Evaluation Feedback / Anne Koziolek
A Simulation Approach for Impact Analysis of Requirement Volatility Considering Dependency Change / Junjie Wang ; Juan Li ; Qing Wang ; He Zhang ; Haitao Wang
Collaboration, Complexity and Creativity / Session 3:
Collaborative Resolution of Requirements Mismatches When Adopting Open Source Components / Nguyen Due Anh ; Daniela S. Crazes ; Reidar Conradi ; Martin Höst ; Xavier Franch ; Claudia Ayala
High-Level Requirements Management and Complexity Costs in Automotive Development Projects: A Problem Statement / Tim Gülke ; Bernhard Rumpe ; Martin Jansen ; Joachim Axmann
Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People / Martin Mahaux ; Alistair Mavin ; Patrick Heymans
Requirements Analysis / Session 4:
Supporting Failure Mode and Effect Analysis: A Case Study with Failure Sequence Diagrams / Christian Raspotnig ; Andreas Opdahl
Aligning Mal-activity Diagrams and Security Risk Management for Security Requirements Definitions / Mohammad Jabed Morshed Chowdhury ; Raimundas Matulevicius ; Guttorm Sindre ; Peter Karpati
Towards a More Semantically Transparent i* Visual Syntax / Nicolas Genon ; Patrice Caire ; Hubert Toussaint ; Daniel Moody
Templates and Heuristics / Session 5:
Providing Software Product Line Knowledge to Requirements Engineers - A Template for Elicitation Instructions / Sebastian Adam
Supporting Learning Organisations in Writing Better Requirements Documents Based on Heuristic Critiques / Eric Knauss ; Kurt Schneider
Managing Implicit Requirements Using Semantic Case-Based Reasoning Research Preview / Olawande Daramola ; Thomas Moser ; Stefan Biffl
Requirements Traceability / Session 6:
Trace Queries for Safety Requirements in High Assurance Systems / Jane Cleland-Huang ; Mats Heimdahl ; Jane Huffman Hayes ; Robyn Lutz ; Patrick Maeder
Which Traceability Visualization Is Suitable in This Context? A Comparative Study / Yang Li ; Walid Maalej
Tools and Quality / Session 7:
The Case for Dumb Requirements Engineering Tools / Daniel Berry ; Ricardo Gacitua ; Pete Sawyer ; Sri Fatimah Tjong
Automatic Analysis of Multimodal Requirements: A Research Preview / Elia Bruni ; Alessio Ferrari ; Norbert Seyff ; Gabriele Tolomei
10 Myths of Software Quality / Elke Hochmüller
Empirical Analysis of the Impact of Requirements Engineering on Software Quality / Lukasz Radliñski
Services and Clouds / Session 8:
A Systematic Literature Review on Service Description Methods / Abelneh Y. Teka ; Nelly Condori-Fernandez ; Brahmananda Sapkota
A Pattern-Based Method for Identifying and Analyzing Laws / Kristian Beckers ; Stephan Faβbender ; Jan-Christoph Küster ; Holger Schmidt
Self-adaptivity / Session 9:
Towards a Requirements Modeling Language for Self-Adaptive Systems / Nauman A. Qureshi ; Ivan J. Jureta ; Anna Perini
Requirements Monitoring for Adaptive Service-Based Applications / Marc Oriol ; Jordi Marco
Industrial Case Studies / Session 10:
Release Planning with Feature Trees: Industrial Case / Samuel Fricker ; Susanne Schumacher
Goal-Oriented Requirements Engineering and Enterprise Architecture: Two Case Studies and Some Lessons Learned / Wilco Engelsman ; Roel Wieringa
Author Index
Contractual Requirements / Session 1:
Why the Electronic Land Registry Failed / Soren Lauesen
Answering a Request for Proposal - Challenges and Proposed Solutions / Barbara Paech ; Robert Heinrich ; Gabriele Zorn-Pauli ; Andreas Jung ; Siamak Tadjiky
56.

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Querying UML Class Diagrams (Invited Paper) / Andrea Calì ; Georg Gottlob ; Giorgio Orsi ; Andreas Pieris
Bicategories of Concurrent Games (Invited Paper) / Glynn Winskel
Fibrational Induction Meets Effects / Robert Atkey ; Neil Ghani ; Bart Jacobs ; Patricia Johann
A Coalgebraic Perspective on Minimization and Determinization / Jirí Adámek ; Filippo Bonchi ; Mathias Hülsbusch ; Barbara König ; Stefan Milius ; Alexandra Silva
When Is a Container a Comonad? / Danel Ahman ; James Chapman ; Tarmo Uustalu
Well-Pointed Coalgebras (Extended Abstract) / Lawrence S. Moss ; Lurdes Sousa
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs / Ana Bove ; Peter Dybjer ; Andrés Sicard-Ramírez
Applicative Bisimulations for Delimited-Control Operators / Dariusz Biernacki ; Sergueï Lenglet
Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata / Sebastian Preugschat ; Thomas Wilke
Improved Ramsey-Based Büchi Complementation / Stefan Breuers ; Christof Löding ; Jörg Olschewski
Extending H1-Clauses with Path Disequalities / Helmut Seidl ; Andreas Reuβ
Brookes Is Relaxed, Almost! / Radha Jagadeesan ; Gustavo Petri ; James Riely
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes / Marco Bernardo ; Rocco De Nicola ; Michele Loreti
Is It a "Good" Encoding of Mixed Choice? / Kirstin Peters ; Uwe Nestmann
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus / Silvia Crafa ; Daniele Varacca ; Nobuko Yoshida
Narcissists Are Easy, Stepmothers Are Hard / Daniel Gorín ; Lutz Schröder
On Nominal Regular Languages with Binders / Alexander Kurz ; Tomoyuki Suzuki ; Emilio Tuosto
Robustness of Structurally Equivalent Concurrent Parity Games / Krishnendu Chatterjee
Subgame Perfection for Equilibria in Quantitative Reachability Games / Thomas Brihaye ; Véronique Bruyère ; Julie De Pril ; Hugo Gimbert
Concurrent Games with Ordered Objectives / Patricia Bouyer ; Romain Brenguier ; Nicolas Markey ; Michael Ummels
Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators / Damiano Mazza ; Neil J. Ross
On Distributability of Petri Nets (Extended, Abstract) / Rob van Glabbeek ; Ursula Goltz ; Jens-Wolfhard Schicke-Uffmann
Functions as Session-Typed Processes / Bernardo Toninho ; Luis Caires ; Frank Pfenning
Deriving Bisimulation Congruences for Conditional Reactive Systems / Barbara Konig
First-Order, Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time / Alexander Kartzow
Model Checking Languages of Data Words / Benedikt Bollig ; Aiswarya Cyriac ; Paul Gastin ; K. Narayan Kumar
Branching-Time Model Checking of Parametric One-Counter Automata / Stefan Göller ; Christoph Haase ; Joël Ouaknine ; James Worrell
Synthesizing Probabilistic Composers / Sumit Nain ; Moshe Y. Vardi
On the Complexity of Computing Probabilistic Bisimilarity / Di Chen ; Franck van Breugel
Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation / Pedro Rubén D'Argenio ; Matias David Lee
On the Complexity of the Equivalence Problem for Probabilistic Automata / Stefan Kiefer ; Andrzej S. Murawski ; Björn Wachter
Author Index
Querying UML Class Diagrams (Invited Paper) / Andrea Calì ; Georg Gottlob ; Giorgio Orsi ; Andreas Pieris
Bicategories of Concurrent Games (Invited Paper) / Glynn Winskel
Fibrational Induction Meets Effects / Robert Atkey ; Neil Ghani ; Bart Jacobs ; Patricia Johann
58.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Invited Contribution
Quantitative Models for a Not So Dumb Grid / Holger Hermanns
SAT and SMT Based Methods
History-Aware Data Structure Repair Using SAT / Razieh Nokhbeh Zaeem ; Divya Gopinath ; Sarfraz Khurshid ; Kathryn S. McKinley
The Guardol Language and Verification System / David Hardin ; Konrad Slind ; Michael Whalen ; Tuan-Hung Pham
A Bit Too Precise? Bounded Verification of Quantized Digital Filters / Arlen Cox ; Sriram Sankaranarayanan ; Bor-Yuh Evan Chang
Numeric Bounds Analysis with Conflict-Driven Learning / Vijay D'Silva ; Leopold Haller ; Daniel Kroening ; Michael Tautschnig
Automata
Ramsey-Based Analysis of Parity Automata / Oliver Friedmann ; Martin Lange
VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata / Ondrej Lengál ; Jirí Simácek ; Tomáš Vojnar
LTL to Büchi Automata Translation: Fast and More Deterministic / Tomáš Babiak ; Mojmír Kretínský ; Vojtech Rehák ; Jan Strejcek
Model Checking
Pushdown Model Checking for Malware Detection / Fu Song ; Tayssir Touili
Aspect-Oriented Runtime Monitor Certification / Kevin W. Hamlen ; Micah M. Jones ; Meera Sridhar
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems / Frédéric Lang ; Radu Mateescu
From Under-Approximations to Over-Approximations and Back / Aws Albarghouthi ; Arie Gurfinkel ; Marsha Chechik
Case Studies
Automated Analysis of AODV Using UPPAAL / Ansgar Fehnker ; Rob van Glabbeek ; Peter Höfner ; Annabelle McIver ; Marius Portmann ; Wee Lum Tan
Modeling and Verification of a Dual Chamber Implantable Pacemaker / Zhihao Jiang ; Miroslav Pajic ; Salar Moarref ; Rajeev Alur ; Rahul Mangharam
Memory Models and Termination
Counter-Example Guided Fence Insertion under TSO / Parosh Aziz Abdulla ; Mohamed Faouzi Atig ; Yu-Fang Chen ; Carl Leonardsson ; Ahmed Rezine
Java Memory Model-Aware Model Checking / Huafeng Jin ; Tuba Yavuz-Kahveci ; Beverly A. Sanders
Compositional Termination Proofs for Multi-threaded Programs / Corneliu Popeea ; Andrey Rybalchenko
Deciding Conditional Termination / Marius Bozga ; Radu Iosif ; Filip Konecný
Internet Protocol Verification
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures / Alessandro Armando ; Wihem Arsac ; Tigran Avanesov ; Michele Barletta ; Alberto Calvi ; Alessandro Cappai ; Roberto Carbone ; Yannick Chevalier ; Luca Compagna ; Jorge Cuéllar ; Gabriel Erzse ; Simone Frau ; Marius Minea ; Sebastian Mödersheim ; David von Oheimb ; Giancarlo Pellegrino ; Serena Elisa Ponta ; Marco Rocchetto ; Michael Rusinowitch ; Mohammad Torabi Dashti ; Mathieu Turuani ; Luca Viganò
Reduction-Based Formal Analysis of BGP Instances / Anduo Wang ; Carolyn Talcott ; Alexander J.T. Gurney ; Boon Thau Loo ; Andre Scedrov
Stochastic Model Checking
Minimal Critical Subsystems for Discrete-Time Markov Models / Ralf Wimmer ; Nils Jansen ; Erika Ábrahám ; Bernd Becker ; Joost-Pieter Katoen
Automatic Verification of Competitive Stochastic Systems / Taolue Chen ; Vojtech Forejt ; Marta Kwiatkowska ; David Parker ; Aistis Simaitis
Coupling and Importance Sampling for Statistical Model Checking / Benoit Barbot ; Serge Haddad ; Claudine Picaronny
Verifying pCTL Model Checking / Johannes Hölzl ; Tobias Nipkow
Synthesis
Parameterized Synthesis / Swen Jacobs ; Roderick Bloem
QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification / Hu-Hsi Yeh ; Cheng-Yin Wu ; Chung-Yang (Ric) Huang
Template-Based Controller Synthesis for Timed Systems / Bernd Finkbeiner ; Hans-Jörg Peter
Provers and Analysis Techniques
Zeno: An Automated Prover for Properties of Recursive Data Structures / William Sonnex ; Sophia Drossopoulou ; Susan Eisenbach
A Proof Assistant for Alloy Specifications / Mattias Ulbrich ; Ulrich Geilmann ; Aboubakr Achraf El Ghazi ; Mana Taghdiri
Reachability under Contextual Locking / Rohit Chadha ; P. Madhusudan ; Mahesh Viswanathan
Bounded Phase Analysis of Message-Passing Programs / Ahmed Bouajjani ; Michael Emmi
Tool Demonstrations
Demonstrating Learning of Register Automata / Maik Merten ; Falk Howar ; Bernhard Steffen ; Sofia Cassel ; Bengt Jonsson
Symbolic Automata: The Toolkit / Margus Veanes ; Nikolaj Bjørner
McScM: A General Framework for the Verification of Communicating Machines / Alexander Heuβner ; Tristan Le Gall ; Grégoire Sutre
SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications / Luís Caires ; Hugo Torres Vieira
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets / Alexandre David ; Lasse Jacobsen ; Morten Jacobsen ; Kenneth Yrke Jørgensen ; Mikael H. Møller ; Jirí Srba
A Platform for High Performance Statistical Model Checking - PLASMA / Cyrille Jegourel ; Axel Legay ; Sean Sedwards
Competition on Software Verification
Competition on Software Verification (SV-COMP) / Dirk Beyer
Predicate Analysis with BLAST 2.7 (Competition Contribution) / Pavel Shved ; Mikhail Mandrykin ; Vadim Mutilin
CPAchecker with Adjustable Predicate Analysis (Competition Contribution) / Stefan Löwe ; Philipp Wendler
Block Abstraction Memoization for CPAchecker (Competition Contribution) / Daniel Wonisch
Context-Bounded Model Checking with ESBMC 1.17 (Competition Contribution) / Lucas Cordeiro ; Jeremy Morse ; Denis Nicole ; Bernd Fischer
Proving Reachability Using FShell (Competition Contribution) / Andreas Holzer ; Christian Schallhart ; Helmut Veith
LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation (Competition Contribution) / Carsten Sinz ; Florian Merz ; Stephan Falke
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures (Competition Contribution) / Kamil Dudka ; Petr Müller ; Petr Peringer
HSF(C): A Software Verifier Based on Horn Clauses (Competition Contribution) / Sergey Grebenshchikov ; Ashutosh Gupta ; Nuno P. Lopes
SatAbs: A Bit-Precise Verifier for C Programs (Competition Contribution) / Gérard Basler ; Alastair Donaldson ; Alexander Kaiser ; Thomas Wahl
Wolverine: Battling Bugs with Interpolants (Competition Contribution) / Georg Weissenbacher ; Sharad Malik
Author Index
Invited Contribution
Quantitative Models for a Not So Dumb Grid / Holger Hermanns
SAT and SMT Based Methods
59.

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Foundations of C++ / Bjarne Stroustrup
What's Decidable about Weak Memory Models? / Mohamed Faouzi Atig ; Ahmed Bouajjani ; Sebastian Burckhardt ; Madanlal Musuvathi
A Formally Verified SSA-Based Middle-End: Static Single Assignment Meets CompCert / Gilles Barthe ; Delphine Demange ; David Pichardie
Eventually Consistent Transactions / Daan Leijen ; Manuel Fähndrich ; Mooly Sagiv
Concurrent Library Correctness on the TSO Memory Model / Alexey Gotsman ; Hongseok Yang
Automated Verification of Equivalence Properties of Cryptographic Protocols / Rohit Chadha ; Stefan Ciobaca ; Steve Kremer
The Call-by-Need Lambda Calculus, Revisited / Stephen Chang ; Matthias Felleisen
A Compositional Specification Theory for Component Behaviours / Taolue Chen ; Chris Chilton ; Bengt Jonsson ; Marta Kwiatkowska
Probabilistic Abstract Interpretation / Patrick Cousot ; Michael Monerau
Multiparty Session Types Meet Communicating Automata / Pierre-Malo Deniélou ; Nobuko Yoshida
Complete Monitors for Behavioral Contracts / Christos Dimoulas ; Sam Tobin-Hochstadt
A Systematic Approach to Delimited Control with Multiple Prompts / Paul Downen ; Zena M. Ariola
Generate, Test, and Aggregate: A Calculation-Based Framework for Systematic Parallel Programming with MapReduce / Kento Emoto ; Sebastian Fischer ; Zhenjiang Hu
Trace Spaces: An Efficient New Technique for State-Space Reduction / Lisbeth Fajstrup ; Éric Goubault ; Emmanuel Haucourt ; Samuel Mimram ; Martin Raussen
A Process Algebra for Wireless Mesh Networks / Ansgar Fehnker ; Rob van Glabbeek ; Peter Höfner ; Annabelle McIver ; Marius Portmann ; Wee Lum Tan
On the Correctness of the SIMT Execution Model of GPUs / Axel Habermaier ; Alexander Knapp
Reasoning about Lock Placements / Peter Hawkins ; Alex Aiken ; Kathleen Fisher ; Martin Rinard
Reasoning about Multi-stage Programs / Jun Inoue ; Walid Taha
Fictional Separation Logic / Jonas Braband Jensen ; Lars Birkedal
Validating LR(1) Parsers / Jacques-Henri Jourdan ; François Pottier ; Xavier Leroy
Adding Equations to System F Types / Neelakantan R. Krishnaswami ; Nick Benton
GMeta: A Generic Formal Metatheory Framework for First-Order Representations / Gyesik Lee ; Bruno C.d.S. Oliveira ; Sungkeun Cho ; Kwangkeun Yi
Expansion for Universal Quantifiers / Sergueï Lenglet ; Joe B. Wells
Non-monotonic Self-Adjusting Computation / Ruy Ley-Wild ; Umut A. Acar ; Guy Blelloch
Java and the Java Memory Model - A Unified, Machine-Checked Formalisation / Andreas Lochbihler
A Type and Effect System for Determinism in Multithreaded Programs / Yi Lu ; John Potter ; Chenyi Zhang ; Jingling Xue
Linear Logical Relations for Session-Based Concurrency / Jorge A. Pérez ; Luís Caires ; Frank Pfenning ; Bernardo Toninho
Staged Computation with Staged Lexical Scope / Morten Rhiger
Gradual Ownership Types / Ilya Sergey ; Dave Clarke
Author Index
Foundations of C++ / Bjarne Stroustrup
What's Decidable about Weak Memory Models? / Mohamed Faouzi Atig ; Ahmed Bouajjani ; Sebastian Burckhardt ; Madanlal Musuvathi
A Formally Verified SSA-Based Middle-End: Static Single Assignment Meets CompCert / Gilles Barthe ; Delphine Demange ; David Pichardie
62.

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Keynote Address
Privacy Challenges in RFID / Gildas Avoine
Data Privacy Management
Fake Injection Strategies for Private Phonetic Matching / Alexandros Karakasidis ; Vassilios S. Verykios ; Peter Christen
A Design Phase for Data Sharing Agreements / Ilaria Matteucci ; Marinella Petrocchi ; Marco Luca Sbodio ; Luca Wiegand
A Privacy-Protecting Architecture for Collaborative Filtering via Forgery and Suppression of Ratings / Javier Parra-Arnau ; David Rebollo-Monedero ; Jordi Forné
On the Complexity of Aggregating Information for Authentication and Profiling / Christian A. Duncan ; Vir V. Phoha
Secure and Privacy-Aware Searching in Peer-to-Peer Networks / Jaydip Sen
On the Security of Mutual Authentication Protocols for RFID Systems: The Case of Wei et al.'s Protocol / Masoumeh Safkhani ; Nasour Bagheri ; Somitra Kumar Sanadhya ; Majid Naderi ; Hamid Behnam
Inference-Proof View Update Transactions with Minimal Refusals / Joachim Biskup ; Cornelia Tadros
Representation-Independent Data Usage Control / Alexander Pretschner ; Enrico Lovat ; Matthias Büchier
Using Personal Portfolios to Manage Customer Data / Aimilia Tasidou ; Pavlos S. Efraimidis
Autonomous and Spontaneous Security
Using Requirements Engineering in an Automatic Security Policy Derivation Process / Mariem Graa ; Nora Cuppens-Boulahia ; Fabien Autrel ; Hanieh Azkia ; Frédéric Cuppens ; Gouenou Coatrieux ; Ana Cavalli ; Amel Mammar
Web Services Verification and Prudent Implementation / Tigran Avanesov ; Yannick Chevalier ; Mohammed Anis Mekki ; Michaël Rusinowitch
Evolving Security Requirements in Multi-layered Service-Oriented-Architectures / Muhammad Sabir Idrees ; Gabriel Serme ; Yves Roudier ; Anderson Santana De Oliveira ; Herve Grall ; Mario Südholt
Risk-Based Auto-delegation for Probabilistic Availability / Leanid Krautsevich ; Fabio Martinelli ; Charles Morisset ; Artsiom Yautsiukhin
Intra-role Progression in RBAC: An RPG-Like Access Control Scheme / Carles Martínez-García ; Guillermo Navarro-Arribas ; Joan Borrell
Distributed Orchestration of Web Services under Security Constraints / Mathieu Turuani
On the Key Schedule Strength of PRESENT / Julio Cesar Hernandez-Castro ; Pedro Peris-Lopez ; Jean-Philippe Aumasson
A Traffic Regulation Method Based on MRA Signatures to Reduce Unwanted Traffic from Compromised End-User Machines / Enric Pujol-Gil ; Nikolaos Chatzis
Network Securing against Threatening Requests / Yulong Fu ; Ousmane Kone
Short Papers
A Workflow Checking Approach for Inherent Privacy Awareness in Network Monitoring / Maria N. Koukovini ; Eugenia I. Papagiannakopoulou ; Georgios V. Lioudakis ; Dimitra I. Kaklamani ; Iakovos S. Venieris
Controlling Data Dissemination / Helge Janicke ; Mohamed Sarrab ; Hamza Aldabbas
A Framework of Deployment Strategy for Hierarchical WSN Security Management / Christine Hennebert ; Vincent Berg
Author Index
Keynote Address
Privacy Challenges in RFID / Gildas Avoine
Data Privacy Management
64.

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
SMT-Based Model Checking / Cesare Tinelli
Verified Software Toolchain (Abstract) / Andrew W. Appel
Formal Verification by Abstract Interpretation / Patrick Cousot
Quantitative Timed Analysis of Interactive Markov Chains / Dennis Guck ; Tingting Han ; Joost-Pieter Katoen ; Martin R. Neuhäuβer
Lessons Learnt from the Adoption of Formal Model-Based Development / Alessio Ferrari ; Alessandro Fantechi ; Stefania Gnesi
Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines / Karolina Zurowska ; Juergen Dingel
Inferring Definite Counterexamples through Under-Approximation / Jörg Brauer ; Axel Simon
Modifying Test Suite Composition to Enable Effective Predicate-Level Statistical Debugging / Ross Gore ; Paul F. Reynolds
Rigorous Polynomial Approximation Using Taylor Models in COQ / Nicolas Brisebarre ; Mioara Joldes ; Érik Martin-Dorel ; Micaela Mayero ; Jean-Michel Muller ; Ioana Pasca ; Laurence Rideau ; Laurent Théry
Enhancing the Inverse Method with State Merging / Étienne André ; Laurent Friboury ; Romain Soulat
Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages / Alexander Herz ; Kalmer Apinis
Testing Static Analyzers with Randomly Generated Programs / Pascal Cuoq ; Benjamin Monate ; Anne Pacalet ; Virgile Prevosto ; John Regehr ; Boris Yakobowski ; Xuejun Yang
Compositional Verification of Architectural Models / Darren Cofer ; Andrew Gacek ; Steven Miller ; Michael W. Whalen ; Brian LaValley ; Lui Sha
A Safety Case Pattern for Model-Based Development Approach / Anaheed Ayoub ; Baek-Gyu Kim ; Insup Lee ; Oleg Sokolsky
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL / Heber Herencia-Zapana ; Romain Jobredeaux ; Sam Owre ; Pierre-Loïc Garoche ; Eric Feron ; Gilberto Perez ; Pablo Ascariz
Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements (Preliminary Results) / Wenbin Li ; Jane Huffman Hayes ; Miroslaw Truszczynski
Some Steps into Verification of Exact Real Arithmetic / Norbert Th. Müller ; Christian Uhrhan
Runtime Verification Meets Android Security / Andreas Bauer ; Jan-Christoph ; Küster ; Gil Vegliach
Specification in PDL with Recursion / Xinxin Liu ; Bingtian Xue
Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study / Aditi Tagore ; Diego Zaccai ; Bruce W. Weide
Sound Formal Verification of Linux's USB BP Keyboard Driver / Willem Penninckx ; Jan Tobias Mühlberg ; Jan Smans ; Bart Jacobs ; Frank Piessens
Learning Markov Models for Stationary System Behaviors / Yingke Chen ; Hua Mao ; Manfred Jaeger ; Thomas Dyhre Nielsen ; Kim Guldstrand Larsen ; Brian Nielsen
The Use of Rippling to Automate Event-B Invariant Preservation Proofs / Yuhui Lin ; Alan Bundy ; Gudmund Grov
Thread-Modular Model Checking with Iterative Refinement / Wenrui Meng ; Fei He ; Bow-Yaw Wang ; Qiang Liu
Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs / Jiri Barnat ; Luboš Brim ; Petr Rockai
Integrating Statechart Components in Polyglot / Daniel Balasubramanian ; Corina S. Pasareanu ; Jason Biatek ; Thomas Pressburger ; Gabor Karsai ; Michael Lowry
Using PVS to Investigate Incidents through the Lens of Distributed Cognition / Paolo Masci ; Huayi Huang ; Paul Curzon ; Michael D. Harrison
Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms / Roberto Bruttomesso ; Alessandro Carioni ; Silvio Ghilardi ; Silvio Ranise
Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems / Jason Belt ; Robby ; Patrice Chalin ; John Hatcliff ; Xianghua Deng
Generating Verifiable Java Code from Verified PVS Specifications / Leonard Lensink ; Sjaak Smetsers ; Marko van Eekelen
Belief Bisimulation for Hidden Markov Models: Logical Characterisation and Decision Algorithm / David N. Jansen ; Flemming Nielson ; Lijun Zhang
Abstract Model Repair / George Chatzieleftheriou ; Borzoo Bonakdarpour ; Scott A. Smolka ; Panagiotis Katsaros
CLSE: Closed-Loop Symbolic Execution / Rupak Majumdar ; Indranil Saha ; K. C. Shashidhar ; Zilong Wang
On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols / Michael Backes ; Alex Busenius ; Catalin Hritcu
Incremental Verification with Mode Variable Invariants in State Machines / Temesghen Kahsai ; Mike Whalen
A Semantic Analysis of Wireless Network Security Protocols / Damiano Macedonio ; Massimo Merro
Runtime Verification with Predictive Semantics / Xian Zhang ; Martin Leucker ; Wei Dong
A Case Study in Verification of Embedded Network Software / Kalyan C. Regula ; Hampton Smith ; Heather Harton Keown ; Jason O. Hallstrom ; Nigamanth Sridhar ; Murali Sitaraman
Checking and Distributing Statistical Model Checking / Peter Bulychev ; Alexandre David ; Axel Legay ; Marius Mikucionis ; Danny Bogsted Poulsen
Author Index
SMT-Based Model Checking / Cesare Tinelli
Verified Software Toolchain (Abstract) / Andrew W. Appel
Formal Verification by Abstract Interpretation / Patrick Cousot
66.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Secure Computation
Computing on Authenticated Data / Jae Hyun Ahn ; Dan Boneh ; Jan Camenisch ; Susan Hohenberger ; abhi shelat ; Brent Waters
Identifying Cheaters without an Honest Majority / Yuval Ishai ; Rafail Ostrovsky ; Hakan Seyalioglu
On the Security of the "Free-XOR" Technique / Seung Geol Choi ; Jonathan Katz ; Ranjit Kumaresan ; Hong-Sheng Zhou
Secure Two-Party Computation with Low Communication / Ivan Damgård ; Sebastian Faust ; Carmit Hazay
(Blind) Signatures and Threshold Encryption
Non-interactive CCA-Secure Threshold Cryptosystems with Adaptive Security: New Framework and Constructions / Benoît Libert ; Moti Yung
Round-Optimal Privacy-Preserving Protocols with Smooth Projective Hash Functions / Olivier Blazy ; David Pointcheval ; Damien Vergnaud
On the Instantiability of Hash-and-Sign RSA Signatures / Yevgeniy Dodis ; Iftach Haitner ; Aris Tentes
Beyond the Limitation of Prime-Order Bilinear Groups, and Round Optimal Blind Signatures / Jae Hong Seo ; Jung Hee Cheon
Zero-Knowledge and Security Models
On Efficient Zero-Knowledge PCPs / Mohammad Mahmoody ; Amit Sahai
Progression-Free Sets and Sublinear Pairing-Based Non-Interactive Zero-Knowledge Arguments / Helger Lipmaa
Point Obfuscation and 3-Round Zero-Knowledge / Nir Bitansky ; Omer Paneth
Confidentiality and Integrity: A Constructive Perspective / Ueli Maurer ; Andreas Rüedlinger ; Björn Tackmann
Leakage-Resilience
Leakage-Resilient Circuits without Computational Assumptions / Stefan Dziembowski
A Parallel Repetition Theorem for Leakage Resilience / Zvika Brakerski ; Yael Tauman Kalai
Leakage-Tolerant Interactive Protocols / Ran Canetti ; Shai Halevi
Hash Functions
On the Public Indifferentiability and Correlation Intractability of the 6-Round Feistel Construction / Avradip Mandal ; Jacques Patarin ; Yannick Seurin
Collisions Are Not Incidental: A Compression Function Exploiting Discrete Geometry / Dimitar Jetchev ; Onur Özen ; Martijn Stam
Differential Privacy
Lower Bounds in Differential Privacy / Anindya De
Iterative Constructions and Private Data Release / Anupam Gupta ; Aaron Roth ; Jonathan Ullman
Pseudorandomness I
From Non-adaptive to Adaptive Pseudorandom Functions / Itay Berman
Hardness Preserving Constructions of Pseudorandom Functions / Abhishek Jain ; Krzysztof Pietrzak
Computational Extractors and Pseudorandomness / Dana Dachman-Soled ; Rosario Gennaro ; Hugo Krawczyk ; Tal Malkin
Dedicated Encryption I
Functional Re-encryption and Collusion-Resistant Obfuscation / Nishanth Chandran ; Melissa Chase ; Vinod Vaikuntanathan
How to Delegate and Verify in Public: Verifiable Computation from Attribute-Based Encryption / Bryan Parno ; Mariana Raykova
On Black-Box Reductions between Predicate Encryption Schemes / Vipul Goyal ; Virendra Kumar ; Satya Lokam
Security Amplification
Lossy Functions Do Not Amplify Well / Alon Rosen ; Gil Segev
Counterexamples to Hardness Amplification beyond Negligible / Tal Moran ; Daniel Wichs
Resettable and Parallel Zero Knowledge
Resettable Statistical Zero Knowledge / Sanjam Garg ; Ivan Visconti ; Akshay Wadia
The Knowledge Tightness of Parallel Zero-Knowledge / Kai-Min Chung ; Rafael Pass ; Wei-Lung Dustin Tseng
Simultaneously Resettable Arguments of Knowledge / Chongwon Cho ; Alessandra Scafuro
Dedicated Encryption II
Subspace LWE
Bounded-Collusion IBE from Key Homomorphism / Shafi Goldwasser ; Allison Lewko ; David A. Wilson
A Unified Approach to Deterministic Encryption: New Constructions and a Connection to Computational Entropy / Benjamin Fuller ; Adam OÆNeill ; Leonid Reyzin
Pseudorandomness II
A Dichotomy for Local Small-Bias Generators / Benny Applebaum ; Andrej Bogdanov
Randomness Condensers for Efficiently Samplable, Seed-Dependent Sources / Thomas Ristenpart ; Salil Vadhan
Uniqueness Is a Different Story: Impossibility of Verifiable Random Functions from Trapdoor Permutations / Dario Fiore ; Dominique Schröder
Author Index
Secure Computation
Computing on Authenticated Data / Jae Hyun Ahn ; Dan Boneh ; Jan Camenisch ; Susan Hohenberger ; abhi shelat ; Brent Waters
Identifying Cheaters without an Honest Majority / Yuval Ishai ; Rafail Ostrovsky ; Hakan Seyalioglu
67.

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Special Sessions
Methods of Classifier Fusion
Hybrid Decision Tree Architecture Utilizing Local SVMs for Multi-Label Classification / Gjorgji Madjarov ; Dejan Gjorgjevikj
Ensemble Pruning Using Harmony Search / Shina Sheen ; S.V. Aishwarya ; R. Anitha ; S.V. Raghavan ; S.M. Bhaskar
A First Study on Decomposition Strategies with Data with Class Noise Using Decision Trees / José A. Sáez ; Mikel Galar ; Julián Luengo ; Francisco Herrera
Combining the Advantages of Neural Networks and Decision Trees for Regression Problems in a Steel Temperature Prediction System / Miroslaw Kordos ; Piotr Kania ; Pawel Budzyna ; Marcin Blachnik ; Tadeusz Wieczorek ; Slawomir Golak
Transfer Learning Approach to Debt Portfolio Appraisal / Tomasz Kajdanounicz ; Slawomir Plamowski ; Przemyslaw Kazienko ; Wojciech Indyk
Generalized Weighted Majority Voting with an Application to Algorithms Having Spatial Output / Henrietta Toman ; Laszlo Kovacs ; Agnes Jonas ; Lajos Hajdu ; Andras Hajdu
HAIS for Computer Security (HAISFCS)
Towards the Reduction of Data Used for the Classification of Network Flows / Maciej Grzenda
Encrypting Digital Images Using Cellular Automata / A. Martín del Rey ; G. Rodríguez Sánchez ; A. de la Villa Cuenca
Self-Organizing Maps versus Growing Neural Gas in Detecting Data Outlines for Security Applications / Zorana Banković ; David Fraga ; Juan Carlos Vallejo ; José M. Moya
Cryptographic Applications of 3x3 Block Upper Triangular Matrices / Rafael Álvarez ; Francisco Martínez ; José-Francisco Vicent ; Antonio Zamora
Digital Chaotic Noise Using Tent Map without Scaling and Discretization Process / Ruben Vazquez-Medina ; José Luis Del-Río-Correa ; César Enrigue Rojas-López ; José Alejandro Díaz-Méndez
Data Mining: Data Preparation and Analysis
Hubness-Aware Shared Neighbor Distances for High-Dimensional k-Nearest Neighbor Classification / Nenad Tomasev ; Dunja Mladenic
Comparison of Competitive Learning for SOM Used in Classification of Partial Discharge / Rubén Jaramillo-Vacio ; Alberto Ochoa-Zezzatti ; Armando Rios-Lira
Identification of Different Types of Minority Class Examples in Imbalanced Data / Krystyna Napierala ; Jerzy Stefanowski
Non-Disjoint Discretization for Aggregating One-Dependence Estimator Classifiers / Ana M. Martínez ; Geoffrey I. Webb ; M. Julia Flores ; José A. Gámez
An Adaptive Hybrid and Cluster-Based Model for Speeding Up the k-NN Classifier / Stefanos Ougiaroglou ; Georgios Evangelidis ; Dimitris A. Dervos
A Co-evolutionary Framework for Nearest Neighbor Enhancement: Combining Instance and Feature Weighting with Instance Selection / Joaquín Derrac ; Isaac Triguero ; Salvador García
Improving Multi-label Classifiers via Label Reduction with Association Rules / Francisco Charte ; Antonio Rivera ; María José del Jesús
A GA-Based Wrapper Feature Selection for Animal Breeding Data Mining / Olgierd Unold ; Maciej Dobrowolski ; Henryk Maciejewski ; Pawel Skrobanek ; Ewa Walkowicz
A Simple Noise-Tolerant Abstraction Algorithm for Fast k-NN Classification
Hybrid Artificial Intelligence Systems in Management of Production Systems
Adaptive Inventory Control in Production Systems / Balázs Lénárt ; Katarzyna Grzybowska ; Mónika Cimer
Hybrid Artificial Intelligence System in Constraint Based Scheduling of Integrated Manufacturing ERP Systems / Izabela Rojek ; Mieczyslaw Jagodizinski
Intelligent Data Processing in Recycling of Household Appliances / Edward Chlebus ; Kamil Krot ; Michal Kuliberda ; Boleslaw Jodkowski
Assessment of Risk in a Production System with the Use of the FMEA Analysis and Linguistic Variables / Anna Burduk
Hybrid Methods Aiding Organisational and Technological Production Preparation Using Simulation Models of Nonlinear Production Systems / Arkadiusz Kowalski ; Tomasz Marut
The Concept of Intelligent System for Horizontal Transport in a Copper Ore Mine / Tomasz Chlebus ; Pawel Stefaniak
Integration Production Planning and Scheduling Systems for Determination of Transitional Phases in Repetitive Production / Damian Krenczyk ; Krzysztof Kalinowski ; Cezary Crabowik
The Hybrid Method of Knowledge Representation in a CAPP Knowledge Based System / Cezary Grabowik
Hybrid Artificial Intelligent Systems for Ordinal Regression
An Experimental Study of Different Ordinal Regression Methods and Measures / P.A. Gutiérrez ; M. Pérez-Ortiz ; F. Fernández-Navarro ; J. Sánchez-Monedero ; C. Hervás-Martínez
Neural Network Ensembles to Determine Growth Multi-classes in Predictive Microbiology / Huanhuan Chen ; P. A. Gutiérrez ; Xin Yao
Ordinal Classification Using Hybrid Artificial Neural Networks with Projection and Kernel Basis Functions / M. Dorado-Moreno
Hybrid Metaheuristics for Combinatorial Optimization and Modelling Complex Systems
A Genetic Programming Approach for Solving the Linear Ordering Problem / P. C. Pop ; O. Matei
Comparison of Fuzzy Functions for Low Quality Data GAP Algorithms / Enrique de la Cal ; José R. Villar ; Marco García-Tamargo ; Javier Sedano
A Simple Artificial Chemistry Model for Nash Equilibria Detection in Large Cournot Games / Rodica Ioana Lung ; Lucian Sturzu-Nastase
Dynamics of Networks Evolved for Cellular Automata Computation / Anca Gog ; Camelia Chira
From Likelihood Uncertainty to Fuzziness: A Possibility-Based Approach for Building Clinical DSSs / Marco Pota ; Massimo Esposito ; Giuseppe De Pietro
Combining Metaheuristic Algorithms to Solve a Scheduling Problem / Ma Belén Vaquerizo ; Bruno Baruque ; Emilio Corchado
Hybrid Computational Intelligence and Lattice Computing for Image and Signal Processing
Image Analysis Pipeline for Automatic Karyotyping / Izaro Goienetxea ; Iñigo Barandiaran ; Carlos Jauquicoa ; Grégory Maclair ; Manuel Graña
A Hybrid Gradient for n-Dimensional Images through Hyperspherical Coordinates / Ramón Moreno
A Hybrid Segmentation of Abdominal CT Images / Josu Maiora
Hybrid Computational Methods for Hyperspectral Image Analysis / Miguel A. Veganzones
Image Security and Biometrics: A Review / Ion Marqués
Cocaine Dependent Classification Using Brain Magnetic Resonance Imaging / M. Termenon ; A. Barrós-Loscertales ; J.C. Bustamante ; C. Ávila
A Non-parametric Approach for Accurate Contextual Classification of LIDAR and Imagery Data Fusion / Jorge Garcia-Gutierrez ; Daniel Mateos-Garcia ; Jose C. Riquelme-Santos
Spherical CIELab QAMs: Associative Memories Based on the CIELab System and Quantales for the Storage of Color Images / Marcos Eduardo Valle ; Peter Sussner ; Estevão Esmi
Fuzzy Associative Memories Based on Subsethood and Similarity Measures with Applications to Speaker Identification / Fábio Sakuray ; Laécio Barros
A Novel Lattice Associative Memory Based on Dendritic Computing / Gerhard X. Ritter ; Darya Chyzhyk ; Gonzalo Urcid
Vascular Section Estimation in Medical Images Using Combined Feature Detection and Evolutionary Optimization / Iván Macía
Workshop
Nonstationary Models of Patterns Recognition and Classifier Combinations
Modifications of Classification Strategies in Rule Set Based Bagging for Imbalanced Data / Krystyna Napierula
Semi-supervised Ensemble Learning of Data Streams in the Presence of Concept Drift / Zahra Ahmadi ; Hamid Beigy
Continuous User Feedback Learning for Data Capture from Business Documents / Marcel Hanke ; Klemens Muthmann ; Daniel Schuster ; Alexander Schill ; Kamil Aliyev ; Michael Berger
Evolutionary Adapted Ensemble for Reoccurring Context / Konrad Jackowski
Drift Detection and Model Selection Algorithms: Concept and Experimental Evaluation / Piotr Cal ; Michal Wozniak
Decomposition of Classification Task with Selection of Classifiers on the Medical Diagnosis Example / Robert Burduk ; Marcin Zmyslony
Ensemble of Tensor Classifiers Based on the Higher-Order Singular Value Decomposition / Boguslaw Cyganek
Combining Diverse One-Class Classifiers / Bartosz Krawczyk
Author Index
Special Sessions
Methods of Classifier Fusion
Hybrid Decision Tree Architecture Utilizing Local SVMs for Multi-Label Classification / Gjorgji Madjarov ; Dejan Gjorgjevikj
69.

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Special Sessions
Agents and Multi Agents Systems
An Agent Model for Incremental Rough Set-Based Rule Induction in Customer Relationship Management / Yu-Neng Fan ; Ching-Chin Chern
Case-Based Argumentation Infrastructure for Agent Societies / Jaume Jordán ; Stella Heras ; Vicente Julián
The Application of Multi-Agent System in Monitoring and Control of Nonlinear Bioprocesses / Piotr Skupin ; Mieczyslaw Metzger
Agent Capability Taxonomy for Dynamic Environments / Jorge Agüero ; Miguel Rebollo ; Carlos Carrascosa
Modeling Internet as a User-Adapted Speech Service / David Griol ; Javier Carbó ; José Manuel Molina
HAIS Applications
Unsupervised Classification of Audio Signals by Self-Organizing Maps and Bayesian Labeling / Ricardo Cruz ; Andrés Ortiz ; Ana M. Barbancho ; Isabel Barbancho
Robust Speaker Identification Using Ensembles of Kernel Principal Component Analysis / IL-Ho Yang ; Min-Seok Kim ; Byung-Min So ; Myung-Jae Kim ; Ha-Jin Yu
Application of Genetic Algorithms to Optimize a Truncated Mean k-Nearest Neighbours Regressor for Hotel Reservation Forecasting / Andrés Sanz-García ; Julio Fernández-Ceniceros ; Fernando Antoñanzas-Torres ; F. Javier Matínez-de-Pisón-Ascacibar
A Social Network-Based Approach to Expert Recommendation System / Elnaz Davoodi ; Mohsen Afsharchi ; Keivan Kianmehr
Decentralized Multi-tasks Distribution in Heterogeneous Robot Teams by Means of Ant Colony Optimization and Learning Automata / Javier de Lope ; Darío Maravall ; Yadira Quiñonez
Lipreading Procedure for Liveness Verification in Video Authentication Systems / Agnieszka Owczarek ; Krzysztof Slot
Fuzzy Sliding Mode Control with Chattering Elimination for a Quadrotor Helicopter in Vertical Flight / S. Zeghlache ; D. Saigaa ; K. Kara ; Abdelghani Harrag ; A. Bouguerra
Ensemble of Binary Learners for Reliable Text Categorization with a Reject Option / Giuliano Armano ; Camelia Chira ; Nima Hatami
Spontaneous Facial Expression Recognition: Automatic Aggression Detection / Ewa Piatkowska ; Jerzy Martyna
A Memetic Approach to Project Scheduling That Maximizes the Effectiveness of the Human Resources Assigned to Project Activities / Virginia Yannibelli ; Analía Amandi
Hunting for Fraudsters in Random Forests / R.M. Konijn ; W. Kowalczyk
Neural Networks Ensembles Approach for Simulation of Solar Arrays Degradation Process / Vladimir Bukhtoyarov ; Eugene Semenkin ; Andrey Shabalov
Using Genetic Algorithms to Improve Prediction of Execution Times of ML Tasks / Rattan Priya ; Bruno Feres de Souza ; André L.D. Rossi ; André C.P.L.F. de Carvalho
Hybrid Artificial Intelligence Approaches on Vehicle Routing Problem in Logistics Distribution / Dragan Simic ; Svetlana Simic
Fuzzy C-Means Clustering with Bilateral Filtering for Medical Image Segmentation / Yuchen Liu ; Kai Xiao ; Alei Liang ; Haibing Guan
A Improved Clustering Analysis Method Based on Fuzzy C-Means Algorithm by Adding PSO Algorithm / Liang Pang
Cluster Analysis
k-Means Clustering of Asymmetric Data / Dominik Olszewski
A Max Metric to Evaluate a Cluster / Hosein Alizadeh ; Hamid Parvin ; Sajad Parvin ; Zahra Rezaei ; Moslem Mohamadi
Nearest Cluster Classifier / Behrouz Minaei
Diffusion Maps for the Description of Meteorological Data / Ángela Fernández ; Ana M. González ; Julia Díaz ; José R. Dorronsoro
Computational Complexity Reduction and Interpretability Improvement of Distance-Based Decision Trees / Marcin Blachnik ; Miroslaw Kordos
Data Mining and Knowledge Discovery
Improving the Generalization Capability of Hybrid Immune Detector Maturation Algorithm / Jungan Chen ; Feng Liang ; Zhaoxi Fang
White Box Classification of Dissimilarity Data / Barbara Hammer ; Bassam Mokbel ; Frank-Michael Schleif ; Xibin Zhu
On Ensemble Classifiers for Noninstrusive Appliance Load Monitoring / Oliver Kramer ; O. Wilken ; P. Beenken ; A. Hein ; A. Hüwel ; T. Klingenberg ; C. Meinecke ; T. Raabe ; M. Sonnenschein
Lee Path Replanner for Partially-Known Environments / Maciej Polanczyk ; Przemyslaw Baranski ; Michal Strzelecki
Stroke Based Handwritten Character Recognition / D. Álvarez ; R. Fernández ; L. Sánchez
KETO: A Knowledge Editing Tool for Encoding Condition - Action Guidelines into Clinical DSSs / Aniello Minutolo ; Massimo Esposito ; Giuseppe De Pietro
Integration of Intelligent Information Technologies Ensembles for Modeling and Classification / Pavel Galushin
Fusion of Modular Bayesian Networks for Context-Aware Decision Making / Seung-Hyun Lee ; Sung-Bae Cho
Evolutionary Computation
Real-World Problem for Checking the Sensitiveness of Evolutionary Algorithms to the Choice of the Random Number Generator / Miguel Cárdenas-Montes ; Miguel A. Vega-Rodríguez ; Antonio Gómez-Iglesias
Hybrid Multi-objective Machine Learning Classification in Liver Transplanation / M. Pérez-Ortiz ; M. Cruz-Ramírez ; J.C. Fernández-Caballero ; C. Hervás-Martínez
Evolutionary Optimized Forest of Regression Trees: Application in Metallurgy / Jerzy Piotrowski ; Szymon Bialka ; Slawomir Golak ; Tadeusz Wieczorek
Evolutionary Neural Networks for Product Design Tasks / Angela Bernardini ; Javier Asensio ; José Luis Olazagoitia ; Jorge Biera
An Incremental Hypersphere Learning Framework for Protein Membership Prediction / Noel Lopes ; Daniel Correia ; Carlos Pereira ; Bernardete Ribeiro ; António Dourado
An Evolutionary Approach to Generate Solutions for Conflict Scenarios / Davide Carneiro ; Cesar Analide ; Paulo Novais ; José Neves
Initialization Procedures for Multiobjective Evolutionary Approaches to the Segmentation Issue / José L. Guerrero ; Antonio Berlanga
Optimization of Neuro-coefficient Smooth Transition Autoregressive Models Using Differential Evolution / Christoph Bergmeir ; Isaac Triguero ; Francisco Velasco ; José Manuel Benítez
ReactGA - The Search Space Transformation for the Local Optimum Escaping / Radoslaw Ziembinski
Learning Algorithms
PATMAP: Polyadenylation Site Identification from Next-Generation Sequencing Data / Xiaohui Wu ; Meishuang Tang ; Junfeng Yao ; Shuiyuan Lin ; Zhe Xiang ; Guoli Ji
How to Reduce Dimension while Improving Performance / A. Bouchelaghem ; M. Drif ; N. Harrag
On How Percolation Threshold Affects PSO Performance / Blanca Cases ; Alicia D'Anjou ; Abdelmalik Moujahid
Pollen Grains Contour Analysis on Verification Approach / Norma Monzón García ; Víctor Alfonso Elizondo Chaves ; Juan Carlos Briceño ; Carlos M. Travieso
Modelling Stress Recognition in Conflict Resolution Scenarios / Marco Gomes
Multilayer-Perceptron Network Ensemble Modeling with Genetic Algorithms for the Capacity of Bolted Lap Joint / F. Javier Martínez-de-Pisón-Ascacibar
A Hybrid Classical Approach to a Fixed-Charged Transportation Problem / Camelia-M. Pintea ; Corina Pop Sitar ; Mara Hajdu-Macelaru ; Pop Petrica
Computing Optimal Solutions of a Linear Programming Problem with Interval Type-2 Fuzzy Constraints / Juan Carlos Figueroa-García ; Germán Hernandez
Systems, Man, and Cybernetics by HAIS
Supervision Strategy of a Solar Volumetric Receiver Using NN and Rule Based Techniques / Ramón Ferreiro García ; José Luis Calvo Rolle ; Francisco Javier Pérez Castelo
Modeling an Operating System Based on Agents / Javier Palanca Cámara ; Marti Navarro ; Estefania Argente ; Ana Garcia-Fornes
An Empirical Comparison of Some Approximate Methods for Graph Coloring / Israel Rebollo-Ruiz ; Manuel Graña
A Predictive Evolutionary Algorithm for Dynamic Constrained Inverse Kimematics Problems / Patryk Filipiak ; Krzysztof Michalak ; Piotr Lipinski
Non-linear Data Stream Compression: Foundations and Theoretical Results / Alfredo Cuzzocrea ; Hendrik Decker
Reasoning with Qualitative Velocity: Towards a Hybrid Approach / J. Golinska-Pilarek ; E. Muñoz-Velasco
Research of Neural Network Classifier Based on FCM and PSO for Breast Cancer Classification / Lei Zhang ; Lin Wang ; Xujiewen Wang ; Keke Liu ; Ajith Abraham
Improving Evolved Alphabet Using Tabu Set / Jan Platos ; Pavel Kromer
Rough Sets-Based Identification of Heart Valve Diseases Using Heart Sounds / Mostafa A. Salama ; Aboul Ella Hassanien ; Aly A. Fahmy ; Vaclav Snasel
A Novel Hybrid Intelligent Classifier to Obtain the Controller Tuning Parameters for Temperature Control / José Luis Calvo-Rolle ; Emilio Corchado ; Héctor Quintian-Pardo ; Jesús Ángel Román ; Pedro Antonio Hernández
SpaGRID: A Spatial Grid Framework for High Dimensional Medical Databases / Harleen Kaur ; Ritu Chauhan ; Mohd. Afshar Alam ; Syed Aljunid ; Mohd. Salleh
Author Index
Special Sessions
Agents and Multi Agents Systems
An Agent Model for Incremental Rough Set-Based Rule Induction in Customer Relationship Management / Yu-Neng Fan ; Ching-Chin Chern
71.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Query Representation
Explaining Query Modifications: An Alternative Interpretation of Term Addition and Removal / Vera Hollink ; Jiying He ; Arjen de Vries
Modeling Transactional Queries via Templates / Edward Bortnikov ; Pinar Donmez ; Amit Kagian ; Ronny Lempel
Exploring Query Patterns in Email Search / Morgan Harvey ; David Elsweiler
Interactive Search Support for Difficult Web Queries / Abdigani Diriye ; Giridhar Kumaran ; Jeff Huang
Blog and Online-Community Search
Predicting the Future Impact of News Events / Julien Gaugaz ; Patrick Siehndel ; Gianluca Demartini ; Tereza Iofciu ; Mihai Georgescu ; Nicola Henze
Detection of News Feeds Items Appropriate for Children / Tamara Polajnar ; Richard Glassey ; Leif Azzopardi
Comparing Tweets and Tags for URLs / Mark Carman
Geo-Location Estimation of Flicker Images: Social Web Based Enrichment / Claudia Hauff ; Geert-Jan Houben
Semi-structured Retrieval
A Field Relevance Model for Structured Document Retrieval / Jin Young Kim ; W. Bruce Croft
Relation Based Term Weighting Regularization / Hao Wu ; Hui Fang
A New Approach to Answer Recommendation in Community Question Answering Services / Zhenlei Yan ; Jie Zhou
On the Modeling of Entities for Ad-Hoc Entity Search in the Web of Data / Robert Neumayer ; Krisztian Balog ; Kjetil Norvåg
Result Disambiguation in Web People Search / Richard Berendsen ; Bogomil Kovachev ; Evangelia-Paraskevi Nastou ; Maarten de Rijke ; Wouter Weerkamp
Evaluation
On Smoothing Average Precision / Stephen Robertson
New Metrics for Meaningful Evaluation of Informally Structured Speech Retrieval / Maria Eskevich ; Walid Magdy ; Gareth J.F. Jones
On Aggregating Labels from Multiple Crowd Workers to Infer Relevance of Documents / Mehdi Hosseini ; Ingemar J. Cox ; Natasa Milic-Frayling ; Gabriella Kazai ; Vishwa Vinay
Applications
How Random Walks Can Help Tourism / Claudio Lucchese ; Raffaele Perego ; Fabrizio Silvestri ; Hossein Vahabi ; Rossano Venturini
Retrieving Candidate Plagiarised Documents Using Query Expansion / Rao Muhammad Adeel Nawab ; Mark Stevenson ; Paul Clough
Reliability Prediction of Webpages in the Medical Domain / Parikshit Sondhi ; V.G. Vinod Vydiswaran ; ChengXiang Zhai
Automatic Foldering of Email Messages: A Combinations Approach / Tony Tam ; Artur Ferreira ; André Lourenço
Retrieval Models
A Log-Logistic Model-Based Interpretation of TF Normalization of BM25 / Yuanhua Lu
Score Transformation in Linear Combination for Multi-criteria Relevance Ranking / Shima Gerani ; Fabio Crestani
Axiomatic Analysis of Translation Language Model for Information Retrieval / Maryam Karimzadehgan
An Information-Based Cross-Language Information Retrieval Model / Bo Li ; Eric Gaussier
Extended Expectation Maximization for Inferring Score Distributions / Keshi Dai ; Virgil Pavlu ; Evangelos Kanoulas ; Javed A. Aslam
Top-K Retrieval Using Facility Location Analysis / Guido Zuccon ; Dell Zhang ; Jun Wang
Image and Video Retrieval
An Interactive Paper and Digital Pen Interface for Query-by-Sketch Image Retrieval / Roman Kreuzer ; Michael Springmann ; Ihab Al Kabary ; Heiko Schuldt
Image Abstraction in Crossmedia Retrieval for Text Illustration / Filipe Coelho ; Cristina Ribeiro
A Latent Variable Ranking Model for Content-Based Retrieval / Ariadna Quattonia ; Xavier Carreras ; Antonio Torralba
Text and Content Classification, Categorisation, Clustering
Language Modelling of Constraints for Text Clustering / Javier Parapar ; Álvaro Barreiro
A Framework for Unsupervised Spam Detection in Social Networking Sites / Maarten Bosma ; Edgar Meij
Classification of Short Texts by Deploying Topical Annotations / Daniele Vitale ; Paolo Ferragina ; Ugo Scaiella
Cluster Labeling for Multilingual Scatter/Gather Using Comparable Corpora / Goutham Tholpadi ; Mrinal Kanti Das ; Chiranjib Bhattacharyya ; Shirish Shevade
Systems Efficiency
Adaptive Time-to-Live Strategies for Query Result Caching in Web Search Engines / Sadiye Alici ; Ismail Sengor Altingovde ; Rifat Ozcan ; B. Barla Cambazoglu ; Özgür Ulusoy
Intra-query Concurrent Pipelined Processing for Distributed Full-Text Retrieval / Simon Jonassen ; Svein Erik Bratsberg
Industry Track
Usefulness of Sentiment Analysis / Jussi Karlgren ; Magnus Sahlgren ; Fredrik Olsson ; Fredrik Espinoza ; Ola Hamfors
Modeling Static Caching in Web Search Engines / Ricardo Baeza-Yates
Posters
Integrating Interactive Visualizations in the Search Process of Digital Libraries and IR Systems / Daniel Hienert ; Frank Sawitzki ; Philipp Schaer ; Philipp Mayr
On Theoretically Valid Score Distributions in Information Retrieval / Ronan Cummins ; Colm O'Riordan
Adaptive Temporal Query Modeling / Maria-Hendrike Peetz
The Design of a Visual History Tool to Help Users Refind Information within a Website / Trien V. Do ; Roy A. Ruddle
Analyzing the Polarity of Opinionated Queries / Sergiu Chelaru ; Ismail Sengor ; Altingovde ; Stefan Siersdorfer
Semi-automatic Document Classification: Exploiting Document Difficulty / Miguel Martinez-Alvarez ; Sirvan Yahgaei ; Thomas Roelleke
Investigating Summarization Techniques for Geo-Tagged Image Indexing / Ahmet Aker ; Xin Fan ; Mark Sanderson ; Robery Gaizauskas
Handling OOV Words in Indian-language - English CLIR / Parin Chheda ; Manaal Faruqui ; Pabitra Mitra
Using a Medical Thesaurus to Predict Query Difficulty / Florian Boudin ; Jian-Yun Nie ; Martin Dawes
Studying a Personality Coreference Network in a News Stories Photo Collection / José Devezas ; Sérgio Nunes
Phrase Pair Classification for Identifying Subtopics / Sujatha Das ; Prasenjit Mitra ; C. Lee Giles
Full and Mini-batch Clustering of News Articles with Star-Em / Matthias Gallé ; Jean-Michel Renders
Assessing and Predicting Vertical Intent for Web Queries / Ke Zhou ; Martin Halvey ; Mounia Lalmas ; Joeman M. Jose
Predicting IMDB Movie Ratings Using Social Media / Andrei Oghina ; Mathias Breuss ; Manso Tsagkias
Squeezing the Ensemble Pruning: Faster and More Accurate Categorization for News Portals / Cagri Toraman ; Fazli Can
A General Framework for People Retrieval in Social Media with Multiple Roles / Amin Mantrach
Analysis of Query Reformulations in a Search Engine of a Local Web Site / M-Dyaa Albakour ; Udo Kruschwitz ; Nikolaos Nanas ; Ibrahim Adeyanju ; Dawei Song ; Maria Fasli ; Anne De Roeck
Temporal Pseudo-relevance Feedback in Microblog Retrieval / Steward Whiting ; Iraklis A. Klampanos ; Joemon M. Jose
Learning Adaptive Domain Models from Click Data to Bootstrap Interactive Web Search / Deirdre Lungley
A Little Interaction Can Go a Long Way: Enriching the Query Formulation Process / Anastasios Tombros ; Ann Blandford
Learning to Rank from Relevance Feedback for e-Discovery / Peter Lubell-Doughtie ; Katja Hofmann
When Simple is (more than) Good Enough: Effective Semantic Search with (almost) no Semantics
Evaluating Personal Information Retrieval / Liadh Kelly ; Paul Bunbury ; Gareth J. F. Jones
Applying Power Graph Analysis to Weighted Graphs / Niels Bloom
An Investigation of Term Weighting Approaches for Microblog Retrieval / Paul Ferguson ; Neil O'Hare ; James Lanagan ; Owen Phelan ; Kevin McCarthy
On the Size of Full Element-Indexes for XML Keyword Search Retrieval / Duygu Atilgan ; ÖZgür Ulusoy
Combining Probabilistic Language Models for Aspect-Based Sentiment Retrieval / Lisette García-Moya ; Henry Anaya-Sánchez ; Rafael Berlanga-Llavori
In Praise of Laziness: A Lazy Strategy for Web Information Extraction
Demos
LiveTweet: Monitoring and Predicting Interesting Microblog Posts / Arifah Che Alhadi ; Thomas Gottron ; Jérome Kunegis ; Nasir Naveed
A User Interface for Query-by-Sketch Based Image Retrieval with Color Sketches / Ivan Giangreco
Crisees: Real-Time Monitoring of Social Media Streams to Support Crisis Management / David Maxwell ; Stefan Raue ; Chris Johnson ; Sarah Oates
A Mailbox Search Enging Using Query Multi-Model Expansion and Community-Based Smoothing
EmSe: Supporting Children's Information Needs within a Hospital Environment / Doug Dowie ; Sergio Duarte ; Carsten Eickhoff ; Karl Gyllstrom ; Djoerd Hiemstra ; Franciska de Jong ; Frea Kruisinga ; Kelly Marshall ; Sien Moens|cTamara Polajnar ; Frans van der Sluis
Retro: Time-Based Exploration of Product Reviews / Jannik Strötgen ; Omar Alonso ; Michael Gertz
Querium: A Session-Based Collaborative Search System / Gene Golovchinsky
Author Index
Query Representation
Explaining Query Modifications: An Alternative Interpretation of Term Addition and Removal / Vera Hollink ; Jiying He ; Arjen de Vries
Modeling Transactional Queries via Templates / Edward Bortnikov ; Pinar Donmez ; Amit Kagian ; Ronny Lempel
72.

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Second International Workshop on Flash-Based Database Systems (FlashDB 2012)
Commercial SSD Products - Status Quo and Next (Invited Talk, Abstract) / Bumsoo Kim
Buffer Management Revisit
Improving Database Performance Using a Flash-Based Write Cache / Yi Ou ; Theo Härder
h-Buffer: An Adaptive Buffer Management Scheme for Flash-Based Storage Devices / Rui Wang ; Lihua Yue ; Peiquan Jin ; Junjie Wang
Flash Memory System Internals
A Study of Space Reclamation on Flash-Based Append-only Storage Management / Yulei Fan ; Wei Cao ; Xiaofeng Meng
A Dual-Grained FTL for Flash Memory
Flashing Up Access Methods
Impact of Storage Technology on the Efficiency of Cluster-Based High-Dimensional Index Creation / Gylfi Pór Gudmundsson ; Laurent Amsaleg ; Björn Pór Jónsson
Implementation of the Aggregated R-Tree over Flash Memory / Maciej Pawlik ; Wojciech Macyan
A Flash-Based Decomposition Storage Model / Qingling Cao ; Zhichao Liang
First International Workshop on Information Technologies for Maritime and Logistics (ITEMS 2012)
The Contribution of Bayesian Networks to Manage Risks of Maritime Piracy against Oil Offshore Fields / Xavier Chaze ; Amal Bouejla ; Aldo Napoli ; Franck Guarnieri ; Thibaut Eude ; Benjamin Alhadef
A Scalable Object Based Discovery Service for Global Tracing of RFID Products / Gihong Kim ; Bonghee Hong ; Joonho Kwon
Third International Workshop on Social Networks and Social Web Mining (SNSM 2012) Social Web and Social Media Mining
On Smart and Accurate Contextual Advertising (Invited Talk, Abstract) / Guandong Xu ; Zongda Wu
Review Summarization Based on Linguistic Knowledge / Kyung-Mi Park ; Hogun Park ; Hyoung-Gon Kim ; Heedong Ko
Finding Related Micro-blogs Based on WordNet / Lin Li ; Hifan Xiao
An Efficient Path Nearest Neighbor Query Processing Scheme for Location Based Services / Yonghun Park ; Kyoungsoo Bok ; Jaesoo Yoo
Social Community Based Blog Search Framework / Ok-Ran Jeong ; Jehwan Oh
LSA as Ground Truth for Recommending "Flickr-Aware" Representative Tags / Xian Chen ; Hyoseop Shin ; Minsoo Lee
Social Network Analysis
Adaptive Access Control Enforcement in Social Network Using Aspect Weaving / Frédéric Cuppens ; Nora Cuppens-Boulahia ; Eduardo Pena Viña
Exploring Reflection of Urban Society through Cyber-Physical Crowd Behavior on Location-Based Social Network / Shoko Wakamiya ; Ryong Lee ; Kazutoshi Sumiya
Mining Social Networks for Significant Friend Groups / Carson Kai-Sang Leung ; Syed K. Tanbeer
Ranking Structural Parameters for Social Networks / Nidhi R. Arora ; Wookey Lee ; Simon Soon-Hyoung Park
Collaborative Similarity Measure for Intra Graph Clustering / Waqas Nawaz ; Young-Koo Lee ; Sungyoung Lee
Second International Workshop on Spatial Information Modeling, Management and Mining (SIM3 2012)
Spatial Indexing
A Grid-Based Index and Queries for Large-Scale Geo-tagged Video Collections / He Ma ; Sakire Arslan Ay ; Roger Zimmermann ; Seon Ho Kim
Indexing Partial History Trajectory and Future Position of Moving Objects Using HTPR*-Tree / Ying Fang ; Jiaheng Cao ; Yuwei Peng ; Nengcheng Chen
A Linear Broadcast Indexing Scheme in Road Environments with Sensor Networks (Short Paper) / Soo Kang ; Dongkyo Hwang ; Junho Park ; Dongook Seong
Spatial Query Processing and Data Mining
Spatial Keyword Queries (Invited Talk, Abstract) / Gao Cong
Evaluating Spatial Keyword Queries under the MapReduce Framework / Wengen Li ; Weili Wang ; Ting Jin
Detection of High-Risk Zones and Potential Infected Neighbors from Infectious Disease Monitoring Data / Biying Tan ; Lei Duan ; Chi Gou ; Shuyang Huang ; Yuhao Fang ; Xing Zhao ; Changjie Tang
Fifth International Workshop on Data Quality in Data Integration System (DQDI 2012)
Bayesian Network-Based Probabilistic XML Keywords Filtering / Chenjing Zhang ; Kun Yue ; Jinghua Zhu ; Xiaoling Wang ; Aoying Zhou
Provenance Based Conflict Handling Strategies / Domenico Beneventano
Incompleted Databases: Missing Records and Missing Values / Werner Nutt ; Simon Razniewski ; Gil Vegliach
User Interface Design Guidelines Arrangement in a Recommender System with Frame Ontology / Maxim Bakaev ; Tatiana Avdeenko
Assessing Information Quality by Six Sigma Method / Sang Hyun Lee ; Abrar Haider
Author Index
Second International Workshop on Flash-Based Database Systems (FlashDB 2012)
Commercial SSD Products - Status Quo and Next (Invited Talk, Abstract) / Bumsoo Kim
Buffer Management Revisit
74.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Top-k and Skyline Query Processing
Top-k Best Probability Queries on Probabilistic Data / Trieu Minh Nhut Le ; Jinli Cao
Probabilistic Reverse Skyline Query Processing over Uncertain Data Stream / Mei Bai ; Junchang Xin ; Guoren Wang
Malleability-Aware Skyline Computation on Linked Open Data / Christoph Lofi ; Ulrich Güntzer ; Wolf-Tilo Balke
Information Retrieval and Recommendation
Effective Next-Items Recommendation via Personalized Sequential Pattern Mining / Ghim-Eng Yap ; Xiao-Li Li ; Philip S. Yu
Scalable Top-k Keyword Search in Relational Databases / Yanwei Xu ; Jihong Guan ; Yoshiharu Ishikawa
Composition and Efficient Evaluation of Context-Aware Preference Queries / Patrick Roocks ; Markus Endres ; Stefan Mandl ; Werner Kießling
Indexing and Search Systems
An Automation-Based Index Scheme for On-Demand XML Data Broadcast / Weiwei Sun ; Peng Liu ; Jingjing Wu ; Yongrui Qin ; Baihua Zheng
Colored Range Searching on Internal Memory / Haritha Bellam ; Saladi Rahul ; Krishnan Rajan
Circle of Friend Query in Geo-Social Networks / Weimo Liu ; Chunan Chen ; Yan Huang ; Yinan Jing ; Kunjie Chen
A Power Saving Storage Method That Considers Individual Disk Rotation / Satoshi Hikida ; Hieu Hanh Le ; Haruo Yokota
Cloud Computing and Scalability
ComMapReduce: An Improvement of MapReduce with Lightweight Communication Mechanisms / Linlin Ding ; Shan Huang
Halt or Continue: Estimating Progress of Queries in the Cloud / Yingjie Shi ; Xiaofeng Meng ; Bingbing Liu
Towards a Scalable, Performance-Oriented OLAP Storage Engine / Todd Eavis ; Ahmad Taleb
Industrial Papers I: Memory-Based Query Processing
Highly Scalable Speech Processing on Data Stream Management System / Shunsuke Nishii ; Toyotaro Suzumura
EVIS: A Fast and Scalable Episode Matching Engine for Massively Parallel Data Streams / Shinichiro Tago ; Tatsuya Asai ; Takashi Katoh ; Hiroaki Morikawa ; Hiroya Inakoshi
Real-Time Analysis of ECG Data Using Mobile Data Stream Management System / Seokjin Hong ; Rana Prasad Sahu ; M. R. Srikanth ; Supriya Mandal ; Kyoung-Gu Woo ; Il-Pyung Park
A Main Memory Based Spatial DBMS: Kairos / Hyeok Han ; Seong-il Jin
Industrial Papers II: Semantic and Decision Support Systems
Study on the International Standardization for the Semantic Metadata Mapping Procedure / Sungjoon Lim ; Taesul Seo ; Changhan Lee ; Soungsoo Shin
Semantics and Usage Statistics for Multi-dimensional Query Expansion / Raphaël Thollot ; Nicolas Kuchmann-Beauger ; Marie-Aude Aufaure
Hierarchy-Based Update Propagation in Decision Support Systems / Haitang Feng ; Nicolas Lumineau ; Mohand-Said Hacid ; Richard Domps
An Experiment with Asymmetric Algorithm: CPU Vs. GPU / Sujatha R. Upadhyaya ; David Toth
Demo Papers I: Social Data
Tag Association Based Graphical Password Using Image Feature Matching / Kyoji Kawagoe ; Shinichi Sakaguchi ; Yuki Sakon ; Hung-Hsuan Huang
ACARP: Author: Centric Analysis of Research Papers / Weiming Zhang ; Xueqing Gong ; Weining Qian ; Aoying Zhou
iParticipate: Automatic Tweet Generation from Local Government Data / Ralf Krestel
gRecs: A Group Recommendation System Based on User Clustering / Irene Ntoutsi ; Kostas Stefanidis ; Kjetil Norvag ; Hans-Peter Kriegel
Demo Papers II: Data Mining
PEACOD: A Platform for Evaluation and Comparison of Database Partitioning Schemes / Xiaoyan Guo ; Jidong Chen ; Yu Cao ; Mengdong Yang
Stream Data Mining Using the MOA Framework / Philipp Kranen ; Hardy Kremer ; Timm Jansen ; Thomas Seidl ; Albert Bifet ; Geoff Holmes ; Bernhard Pfahringer ; Jesse Read
Shot Classification Using Domain Specific Features for Movie Management / Muhammad Abul Hasan ; Min Xu ; Xiangjian He ; Ling Chen
PA-Miner: Process Analysis Using Retrieval, Modeling, and Prediction / Anca Maria Ivanescu ; Manfred Smieschek ; Philip Driessen
Panel
Data Management Challenges and Opportunities in Cloud Computing (Abstract) / Kyuseok Shim ; Sang Kyun Cha ; Lei Chen ; Wook-Shin Han ; Divesh Srivastava ; Katsumi Tanaka ; Hwanjo Yu ; Xiaofang Zhou
Tutorials
Detecting Clones, Copying and Reuse on the Web (DASFAA 2012 Tutorial) / Xin Luna Dong
Query Processing over Uncertain and Probabilistic Databases / Xiang Lian
Tutorial: Data Stream Mining and Its Applications (Abstract) / Latifur Khan ; Wei Fan
Storing, Querying, Summarizing, and Comparing Molecular Networks: The State-of-the-Art / Sourav S. Bhowmick ; Boon-Siew Seah
Author Index
Top-k and Skyline Query Processing
Top-k Best Probability Queries on Probabilistic Data / Trieu Minh Nhut Le ; Jinli Cao
Probabilistic Reverse Skyline Query Processing over Uncertain Data Stream / Mei Bai ; Junchang Xin ; Guoren Wang
75.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Keynote Talks
Enabling Real Time Data Analysis / Divesh Srivastava
A New Paradigm of Thinking and Architecture for Real-Time Information Processing at Fingertips / Sand Kyun Cha
Query Processing and Optimization
Improving the Accuracy of Histograms for Geographic Data Objects / Hai Thanh Mai ; Jaeho Kim ; Myoung Ho Kim
Improving Online Aggregation Performance for Skewed Data Distribution / Yuxiang Wang ; Junzhou Luo ; Aibo Song ; Jiahui Jin ; Fang Dong
A Relational-Based Approach for Aggregated Search in Graph Databases / Thanh-Huy Le ; Haytham Elghazel ; Mohand-Saíd Hacid
Data Semantics and Interoperability
Discovery of Keys from SQL Tables / Van Bao Tran Le ; Sebastian Link ; Mozhgan Memari
A Framework for Realizing Artifact-Centric Business Processes in Service-Oriented Architecture / Kan Ngamakeur ; Sira Yongchareon ; Chengfei Liu
Appearance-Order-Based Schema Matching / Guohui Ding ; Han Dong ; Guoren Wang
XML and Semi-structured Data I
Fast Result Enumeration for Keyword Queries on XML Data / Junfeng Zhou ; Zhifeng Bao ; Ziyang Chen ; Tok Wang Ling
Stars on Steroids: Fast Evaluation of Multi-source Star Twig Queries in RDBMS / Erwin Leonardi ; Sourav S. Bhowmick ; Fengrong Li
Updating Typical XML Views / Jixue Liu ; Theo Haerder ; Jeffery Xu Yu
XML and Semi-structured Data II
Partitioned Indexes for Entity Search over RDF Knowledge Bases / Fang Du ; Yueguo Chen ; Xiaoyong Du
Sinbad: Towards Structures-Independent Querying of Common Neighbors in XML Databases / Ba Quan Truong ; Curtis Dyreson
Top-Down SLCA Computation Based on List Partition / Guoxiang Lan ; Xudong Lin
Efficiently Identifying Contributors for XML Keyword Search / Ya-Hui Chang ; Po-Hsien Chein ; Yu-Kai Chang
Data Mining and Knowledge Discovery I
Semi-supervised Clustering of Graph Objects: A Subgraph Mining Approach / Xin Huang ; Hong Cheng ; Jiong Yang ; Hongliang Fei ; Jun Huan
Plink-LDA: Using Link as Prior Information in Topic Modeling / Huan Xia ; Juanzi Li ; Jie Tang ; Marie-Francine Moens
Any Out: Anytime Outlier Detection on Streaming Data / Ira Assent ; Philipp Kranen ; Corinna Baldauf ; Thomas Seidl
Data Mining and Knowledge Discovery II
Ensemble Based Positive Unlabeled Learning for Time Series Classification / Minh Nhut Nguyen ; Xiao-Li Li ; See-Kiong Ng
Efficient Mining Regularly Frequent Patterns in Transactional Databases / Md. Mamunur Rashid ; Md. Rezaul Karim ; Byeong-Soo Jeong ; Ho-Jin Choi
Fast Tree-Based Mining of Frequent Itemsets from Uncertain Data / Carson Kai-Sang Leung ; Syed K. Tanbeer
Data Mining and Knowledge Discovery III
On the Decidability and Complexity of Identity Knowledge Representation / Klaus-Dieter Schewe ; Qing Wang
Privacy Preserving Mining Maximal Frequent Patterns in Transactional Databases
Data Privacy against Composition Attack / Muzammil M. Baig ; Jiuyong Li ; Xiaofeng Ding ; Hua Wang
Privacy and Anonymity
Protecting Sensitive Relationships against Inference Attacks in Social Networks / Xiangyu Liu ; Xiaochun Yang
You Can Walk Alone: Trajectory Privacy-Preserving through Significant Stays Protection / Zheng Huo ; Xiaofeng Meng ; Haibo Hu ; Yi Huang
Semi-Edge Anonymity: Graph Publication when the Protection Algorithm Is Available / Mingxuan Yuan ; Lei Chen
Data Management in the Web
On-the-Fly Generation of Facets as Navigation Signs for Web Objects / Yu Kawano ; Hiroaki Ohshima ; Katsumi Tanaka
Searching for Quality Microblog Posts: Filtering and Ranking Based on Content Analysis and Implicit Links / Jan Vosecky ; Kenneth Wai-Ting Leung ; Wilfred Ng
HotDigg: Finding Recent Hot Topics from Digg / Younghoon Kim ; Kyuseok Shim
Assessing Web Article Quality by Harnessing Collective Intelligence / Jingyu Han ; Xeuping Chen ; Kejia Chen ; Dawei Jiang
Graphs and Data Mining Applications
Context Sensitive Tag Expansion with Information Inference / Hongyun Cai ; Zi Huang ; Jie Shao ; Xue Li
Efficient Subgraph Similarity All-Matching / Gaoping Zhu ; Ke Zhu ; Wenjie Zhang ; Xuemin Lin ; Chuan Xiao
Efficient Algorithm for Mining Correlated Protein-DNA Binding Cores / Po-Yuen Wong ; Tak-Ming Chan ; Man-Hon Wong ; Kwong-Sak Leung
A Novel Approach for Finding Alternative Clusterings Using Feature Selection / Vinh Thanh Tao ; JongHyeok Lee
Temporal and Spatial Data I
General Spatial Skyline Operator / Qianlu Lin ; Ying Zhang ; Aiping Li
Top-k Similarity Join over Multi-valued Objects / Jing Xu ; Xin Liang
Indexing Network Voronoi Diagrams / Ugur Demiryurek ; Cyrus Shahabi
Temporal and Spatial Data II
On Efficient Reverse k-Skyband Query Processing / Qing Li ; Yunjun Gao ; Gang Chen ; Tao Jiang
Co-spatial Searcher: Efficient Tag-Based Collaborative Spatial Search on Geo-social Network / Jinzeng Zhang ; Xuan Zhou ; Dongqi Liu
Traffic Aware Route Planning in Dynamic Road Networks / Jiajie Xu ; Limin Guo ; Zhiming Ding ; Xiling Sun
Author Index
Keynote Talks
Enabling Real Time Data Analysis / Divesh Srivastava
A New Paradigm of Thinking and Architecture for Real-Time Information Processing at Fingertips / Sand Kyun Cha
76.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Consensus under Constraints: Modeling the Great English Vowel Shift / Kiran Lakkaraju ; Samarth Swarup ; Les Gasser
A Study of Informational Support Exchanges in MedHelp Alcoholism Community / Katherine Y. Chuang ; Christopher C. Yang
Real-World Behavior Analysis through a Social Media Lens / Mohammad-Ali Abbasi ; Sun-Ki Chai ; Huan Liu ; Kiran Sagoo
The Mythology of Game Theory / Mathew D. McCubbins ; Mark Turner ; Nicholas Weller
Crowdsourced Cyber Defense: Lessons from a Large-Scale, Game-Based Approach to Threat Identification on a Live Network / Barton Paulhamus ; Alison Ebaugh ; C.C. Boylls ; Nathan Bos ; Sandy Hider ; Stephen Giguere
How Many Makes a Crowd? On the Evolution of Learning as a Factor of Community Coverage / Yaniv Altshuler ; Michael Fire ; Nadav Aharony ; Yuval Elovici ; Alex (Sandy) Pentland
Cultural Consensus Theory: Aggregating Signed Graphs under a Balance Constraint / Kalin Agrawal ; William H. Batchelder
Using Organizational Similarity to Identify Statistical Interactions for Improving Situational Awareness of CBRN Activities / David Melamed ; Eric Schoon ; Ronald Breiger ; Victor Asal ; R. Karl Rethemeyer
Opinion Dynamics in Gendered Social Networks: An Examination of Female Engagement Teams in Afghanistan / Thomas W. Moore ; Patrick D. Finley ; Ryan J. Hammer ; Robert J. Glass
Socio-cultural Evolution of Opinion Dynamics in Networked Societies / Subhadeep Chakraborty ; Matthew M. Mench
A Comparative Study of Smoking Cessation Intervention Programs on Social Media / Mi Zhang ; Jiexun Li
Trends Prediction Using Social Diffusion Models / Wei Pan
Towards Democratic Group Detection in Complex Networks / Michele Coscia ; Fosca Giannotti ; Dino Pedreschi
Addiction Dynamics May Explain the Slow Decline of Smoking Prevalence / Gaurav Tuli ; Madhav Marathe ; S.S. Ravi
Love All, Trust a Few: Link Prediction for Trust and Psycho-social Factors in MMOs / Muhammad Aurangzeb Ahmad ; Zoheb Borbora ; Jaideep Srivastava ; Noshir Contractor
Effect of In/Out-Degree Correlation on Influence Degree of Two Contrasting Information Diffusion Models / Kouzou Ohara ; Kazumi Saito ; Masahiro Kimura ; Hiroshi Motoda
A Computer-in-the-Loop Approach for Detecting Bullies in the Classroom / Juan F. Mancilla-Caceres ; Wen Pu ; Eyal Amir ; Dorothy Espelage
Beyond Validation: Alternative Uses and Associated Assessments of Goodness for Computational Social Models / Jessica Glicken Turnley ; Peter A. Chew ; Aaron S. Perls
Predicting Recent Links in FOAF Networks / Hung-Hsuan Chen ; Liang Gou ; Xiaolong (Luke) Zhang ; C. Lee Giles
Mapping the Twitterverse in the Developing World: An Analysis of Social Media Use in Nigeria / Clayton Fink ; Jonathon Kopecky ; Max Thomas
Modeling Infection with Multi-agent Dynamics / Wen Dong ; Katherine Heller
Dynamic Multi-chain Graphical Model for Psychosocial and Behavioral Profiles in Childhood Obesity / Edward H. Ip ; Qiang Zhang ; Don Williamson
The Imperative for Social Competency Prediction / Robert Hubal
Partitioning Signed Bipartite Graphs for Classification of Individuals and Organizations / Sujogya Banerjee ; Kaushik Sarkar ; Sedat Gokalp ; Arunabha Sen ; Hasan Davulcu
Information and Attitude Diffusion in Networks / Wai-Tat Fu ; Q. Vera Liao
Using Mixed-Mode Networks to Disentangle Multiple Sources of Social Influence / Kayo Fujimoto
Implicit Group Membership Detection in Online Text: Analysis and Applications / Jeffrey Ellen ; Joan Kaina ; Shibin Parameswaran
Automatic Crime Prediction Using Events Extracted from Twitter Posts / Xiaofeng Wang ; Matthew S. Gerber ; Donald E. Brown
Dynamic, Covert Network Simulation / Patrick O'Neil
Computing the Value of a Crowd / Manas S. Hardas ; Lisa Purvis
Mnemonic Convergence: From Empirical Data to Large-Scale Dynamics / Alin Coman ; Andreas Kolling ; Michael Lewis ; William Hirst
Sizing Strategies in Scarce Environments / Michael D. Mitchell ; Walter E. Beyeler ; Robert E. Glass ; Matthew Antognoli
Applying System Dynamics to Military Operations / Corey Lofdahl
Lessons Learned in Using Social Media for Disaster Relief - ASU Crisis Response Game / Shamanth Kumar ; Jose Augusto Andrade Filho
Intergroup Prisoner's Dilemma with Intragroup Power Dynamics and individual Power Drive / Ion Juvina ; Christian Lebiere ; Cleotilde Gonzalez ; Muniba Saleem
Modeling South African Service Protests Using the National Operational Environment Model / Chris Thron ; John Salerno ; Adam Kwiat ; Philip Dexter ; Jason Smith
Modeling and Estimating Individual and Population Obesity Dynamics / Hazhir Rahmandad ; Nasim S. Sabounchi
Creating Interaction Environments: Denning a Two-Sided Market Model of the Development and Dominance of Platforms / Andjelka Kelic ; Munaf Admir ; Alexander Outkin ; Stephen Conrad ; Vanessa Vargas
The Impact of Attitude Resolve on Population Wide Attitude Change / Craig M. Vineyard ; Joseph Collard ; Stephen J. Verzi
The Impact of Network Structure on the Perturbation Dynamics of a Multi-agent Economic Model / Marshall A. Kuypers
Robust Recommendations Using Regularized Link Analysis of Browsing Behavior Graphs / Shinya Naito ; Koji Eguchi
Whodunit? Collective Trust in Virtual Interactions / Shuyuan Mary Ho ; Issam Ahmed ; Roberto Salome
Towards Building and Analyzing a Social Network of Acknowledgments in Scientific and Academic Documents / Madian Khabsa ; Sharon Koppman
Author Index
Consensus under Constraints: Modeling the Great English Vowel Shift / Kiran Lakkaraju ; Samarth Swarup ; Les Gasser
A Study of Informational Support Exchanges in MedHelp Alcoholism Community / Katherine Y. Chuang ; Christopher C. Yang
Real-World Behavior Analysis through a Social Media Lens / Mohammad-Ali Abbasi ; Sun-Ki Chai ; Huan Liu ; Kiran Sagoo
77.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Papers from CASA 2011
Accounting for Patterns of Collective Behavior in Crowd Locomotor Dynamics for Realistic Simulations / Stéphance Bonneaud ; Kevin Rio ; Pierre Chevaillier ; William H. Warren
Human Behaviour Modelling for Simulating Evacuation of Buildings on Fire / Julien Valentin ; Florent Coudret ; Eric Gouardères ; Wilfrid Lefer
Application of Simulation and Virtual Reality to Physical Education and Athletic Training / Lin Zhang ; Qing Liu
Depth-Varying Human Video Sprite Synthesis / Wei Hua ; Wenzhuo Yang ; Zilong Dong ; Guofeng Zhang
Automating Expressive Locomotion Generation / Yejin Kim ; Michael Neff
Recovering Geometric Detail by Octree Normal Maps / Wensham Fan ; Bin Wang ; Bin Chan ; Jean-Claude Paul ; Jiaguang Sun
Quad-Tree Atlas Ray Casting: A GPU Based Framework for Terrain Visualization and Its Applications / Jianxin Luo ; Guiqiang Ni ; Ping Cui ; Jinsong Jiang ; Yifeng Duan ; Guyu Hu
Clustering Spatial Data for Aggregate Query Processing in Walkthrough: A Hypergraph Approach / Shao-Shin Hung ; Chih Ming Chiu ; Tsou Tsun Fu ; Jung-Tsung Chen ; Derchian Tsaih ; Jyh-Jong Tsay
Skin-Detached Surface for Interactive Large Mesh Editing / Yujian Gao ; Aimin Hao ; Qinping Zhao
Physically Based Simulation of Solid Objects' Burning / Shiguang Liu ; Tai An ; Zheng Gong ; Ichiro Hagiwara
Tunneling Blasting Simulation for Digital Mine / Chao Wang ; Yu Wu ; Tingting Zhu ; Hongbo Li ; Mingliang Xu
Massively Multiplayer Online Games Developed with Agents / Gustavo Aranda ; Tomas Trescak ; Marc Esteva ; Inmaculada Rodriguez ; Carlos Carrascosa
A Novel Skeletonization and Animation Approach for Point Models / Zhiying He ; Xiaohui Liang
View-Dependent Line Drawings for 3D Scenes / Xin Zhang ; Zi'ang Ding ; Chuan Zhu ; Wei Chen ; Qunsheng Peng
Propositions for Innovative Forms of Digital Interactive Storytelling Based on Narrative Theories and Practices / Nicolas Szilas ; Monica Axelrad ; Urs Richle
A Virtual Informal Learning System for Cultural Heritage / Shengnan Chen ; Zhigeng Pan ; Mingmin Zhang
Papers from DMDCM 2010
Multi-samples Texture Synthesis for Dynamic Terrain Based on Constraint Conditions / Xingquan Cai ; Jie Li ; Haiyan Sun ; Jinhong Li
PCA and FLD in DWT Domain / Zhicheng Liu ; Zhijun Fang
Area Measurement Method of Paint Bubble Based on Computer Vision / Shidu Dong ; Xiaofan Yang ; Huaqiu Wang ; Xiang Liu ; Hengyang Liu
A High Precision Fresco Scanner / Xifan Shi ; Xianghua Chen ; Tiefeng Cai
Multiwavelet Video Coding Based on DCT Time Domain Filtering / Guihua Luo ; Jucheng Yang ; Shouyuan Yang
Rendering Realistic Ocean Scenes on GPU / Baoxin Qian
Effect of Body Image Presentation Format to Female Physical Attractiveness / Lili Zhai ; Xiaoming Qian ; Rui Wang ; Jintu Fan ; Heyue Wei
Medical Image Registration Based on Wavelet Transform Using Hausdorff Distance / Jianxun Zhang ; Yu Liu
Study on Key Technology of HPSIN-Based Vector Geo-data Online Service / Jiali Feng ; Nan Jiang ; Bin Hu ; Jiagao Wu ; Zhiqiang Zou
Defection Recognition of Cold Rolling Strip Steel Based on ACO Algorithm with Quantum Action / Jinrong Zhang ; Yue Wang
Line Feature Enhancement Using a New Shift-Invariant Non-aliasing Ridgelet Transform / He Yan ; Youjia Fu ; Guangzhi Yin
Author Index
Papers from CASA 2011
Accounting for Patterns of Collective Behavior in Crowd Locomotor Dynamics for Realistic Simulations / Stéphance Bonneaud ; Kevin Rio ; Pierre Chevaillier ; William H. Warren
Human Behaviour Modelling for Simulating Evacuation of Buildings on Fire / Julien Valentin ; Florent Coudret ; Eric Gouardères ; Wilfrid Lefer
78.

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Digital Signatures
A Pre-computable Signature Scheme with Efficient Verification for RFID / Fuchun Guo ; Yi Mu ; Willy Susilo ; Vijay Varadharajan
Redactable Signatures for Independent Removal of Structure and Content / Kai Samelin ; Henrich ; C. Pöhls ; Arne Bilzhause ; Joachim Posegga ; Hermann de Meer
Public Key Cryptography
Improved Efficiency of Chosen Ciphertext Secure Encryption from Factoring / Xianhui Lu ; Bao Li ; Qixiang Mei ; Yamin Liu
Deniable Encryptions Secure against Adaptive Chosen Ciphertext Attack / Chong-zhi Gao ; Dongqing Xie ; Baodian Wei
Computational Soundness of Indistinguishability Properties without Computable Parsing / Hubert Comon-Lundh ; Masami Hagiya ; Yusuke Kawamoto ; Hideki Sakurada
Cryptanalysis I: Differential Attacks
New Impossible Differential Attacks on Camellia / Dongxia Bai ; Leibo Li
Impossible Differential Attacks on Reduced-Round LBlock / Ya Liu ; Dawu Gu ; Zhiqiang Liu ; Wei Li
New Truncated Differential Cryptanalysis on 3D Block Cipher / Takuma Koyama ; Lei Wang ; Yu Sasaki ; Kazuo Sakiyama ; Kazuo Ohta
Applications I.i: Oblivious Transfer
T-out-of-n Distributed Oblivious Transfer Protocols in Non-adaptive and Adaptive Settings / Christian L.F. Corniaux ; Hossein Ghodosi
A Code-Based 1-out-of-N Oblivious Transfer Based on McEliece Assumptions / Preetha Mathew K. ; Sachin Vasant ; Sridhar Venkatesan ; C. Pandu Rangan
Applications I.ii: Internet Security (Works-in-Progress)
Towards Fine-Grained Access Control on Browser Extensions / Ji Xiang ; Jiwu Jing ; Lingchen Zhang
Enhanced STE3D-CAP: A Novel 3D CAPTCHA Family / Yang-Wai Chow
Key Management
High-Entropy Visual Identification for Touch Screen Devices / Nathaniel Wesley Filardo ; Giuseppe Ateniese
A Framework for Security Analysis of Key Derivation Functions / Chuah Chai Wen ; Edward Dawson ; Juan Manuel González Nieto ; Leonie Simpson
Applied Cryptography
On the Equivalence of Two Definitions of Visual Cryptography Scheme / Teng Guo ; Feng Liu ; ChuanKun Wu
Key Length Estimation of Pairing-Based Cryptosystems Using ηT Pairing / Naoyuki Shinohara ; Takeshi Shimoyama ; Takuya Hayashi ; Tsuyoshi Takagi
Lightweight Intergrity for XOR Network Coding in Wireless Sensor Networks / Kazuya Izawa ; Atsuko Miyaji ; Kazumasa Omote
Applications II.i: PINs
iPIN and mTAN for Secure eID Applications / Johannes Braun ; Moritz Horsch ; Alexander Wiesmaier
Fundamentals (Works-in-Progress) / Applications II.ii:
Secure Distributed Computation of the Square Root and Applications / Manuel Liedel
Prevent Kernel Return-Oriented Programming Attacks Using Hardware Virtualization / Tian Shuo ; He Yeping ; Ding Baozeng
Fault Attacks and Key Recovery / Cryptanalysis II:
Structure-Based RSA Fault Attacks / Benjamin Michéle ; Juliane Krämer ; Jean-Pierre Seifert
Fault Analysis of the KATAN Family of Block Ciphers / Shekh Faisal Abdul-Latip ; Mohammad Reza Reyhanitabar ; Jennifer Seberry
Biclique Cryptanalysis of Reduced-Round Piccolo Block Cipher / Yanfeng Wang ; Wenling Wu ; Xiaoli Yu
On the CCA-1 Security of Somewhat Homomorphic Encryption over the Integers / Zhenfei Zhang ; Thomas Plantard
Key Recovery (Works-in-Progress) / Cryptanalysis III:
Partial Key Exposure on RSA with Private Exponents Larger Than N / Marc Joye ; Tancretde Lepoint
Linear Cryptanalysis of Reduced-Round ICEBERG / Yue Sun ; Meiqin Wang
Overcoming Significant Noise: Correlation-Template-Induction Attack / An Wang ; Man Chen ; Zongyue Wang ; Yaoling Ding
Author Index
Digital Signatures
A Pre-computable Signature Scheme with Efficient Verification for RFID / Fuchun Guo ; Yi Mu ; Willy Susilo ; Vijay Varadharajan
Redactable Signatures for Independent Removal of Structure and Content / Kai Samelin ; Henrich ; C. Pöhls ; Arne Bilzhause ; Joachim Posegga ; Hermann de Meer
80.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
DALT 2011 Papers
Control and Delegation / Wiebe van der Hoek
Plan Indexing for State-Based Plans / Louise A. Dennis
An Integrated Formal Framework for Reasoning about Goal Interactions / Michael Winikoff
Probing Attacks on Multi-Agent Systems Using Electronic Institutions / Shahriar Bijani ; David Robertson ; David Aspinall
Detecting Conflicts in Commitments / Akin Günay ; Pinar Yolum
Formalizing Commitments Using Action Languages / Tran Cao Son ; Enrico Pontelli ; Chiaki Sakama
Best of DALT
Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective
The Evolution of Interoperability / Amit K. Chopra ; Munindar P. Singh
1000 Years of Coo-BDI / Viviana Mascardi ; Davide Ancona
A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective / Andrés García-Camino ; Juan-Antonio Rodríguez-Aguilar ; Carles Sierra ; Wamberto W. Vasconcelos
Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages / Álvaro F. Moreira ; Renata Vieira ; Rafael H. Bordini
Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review / Nicoletta Fornara ; Marco Colombetti
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language / Paolo Torroni ; Federico Chesani ; Paola Mello ; Marco Montali
DALT Spring School 2011
Web Service Composition via Organisation-Based (Re)Planning / David Corsar ; Alison Chorley
Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification (Extended Abstract)
Author Index
DALT 2011 Papers
Control and Delegation / Wiebe van der Hoek
Plan Indexing for State-Based Plans / Louise A. Dennis
81.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Full Papers / Part I:
Residuated Kleene Algebras / Hajnal Andréka ; Szabolcs Mikulás ; István Németi
Brzozowski's Algorithm (Co) Algebraically / Filippo Bonchi ; Marcello M. Bonsangue ; Jan J.M.M. Rutten ; Alexandra Silva
Experimental Descriptive Complexity / Marco Carmosino ; Neil Immerman ; Charles Jordan
Meditations on Quantified Constraint Satisfaction / Hubie Chen
The Compass That Steered Robotics / Bruce R. Donald
Subtyping for F-Bounded Quantifiers and Equirecursive Types / Neal Glew
Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model / Pawel Górecki ; Jerzy Tiuryn
Capsules and Closures: A Small-Step Approach / Jean-Baptiste Jeannin
Nuprl as Logical Framework for Automating Proofs in Category Theory / Christoph Kreitz
On the Final Coalgebra of Automatic Sequences / Clemens Kupke
On Topological Completeness of Regular Tree Languages / Henryk Michalewski ; Damian Niwinski
A Complete Logical System for the Equality of Recursive Terms for Sets / Lawrence S. Moss ; Erik Wennstrom ; Glen T. Whitney
Overloading is NP-Complete: A Tutorial Dedicated to Dexter Kozen / Jens Palsberg
Combining Epistemic Logic and Hennessy-Milner Logic / Sophia Knight ; Radu Mardare ; Prakash Panangaden
Choice and Uncertainty in Games / Rohit Parikh ; Çagil Tasdemir ; Andreas Witzel
The Complexity of Inhabitation with Explicit Intersection / Jakob Rehof ; Pawel Urzyczyn
On State Sequences Defined by Reaction Systems / Arto Salomaa
On Distance Coloring: A Review Based on Work with Dexter Kozen / Alexa Sharp
Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information / Glynn Winskel
Laudatios / Part II:
Reflections on a \m/ Time with Dexter Kozen / Kamal Aboul-Hosn
Two Three Pages Papers / Krzysztof R. Apt
A Tribute from the Band / John Parker ; Joel D. Baines ; Paul Miller ; Julia Miller
Dexter Kozen: An Appreciation / Joseph Y. Halpern
Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance / David Harel
Making the World a Better Place / John Hopcroft
Timesharing Dexter / Susan Landau
A Small Tribute / Anil Nerode
Dexter Kozen's Influence on the Theory of Labelled Markov Processes
An Appreciation of Dexter Kozen
To Dexter - A Tribute from Aarhus / Erik Meineche Schmidt ; Mogens Nielsen ; Sven Skyum
Travelling with Dexter Kozen / Peter van Emde Boas
Dexter as a PhD Advisor / Brad Vander Zanden
Rock'n'Roll Computer Science / Fritz Henglein
Author Index
Full Papers / Part I:
Residuated Kleene Algebras / Hajnal Andréka ; Szabolcs Mikulás ; István Németi
Brzozowski's Algorithm (Co) Algebraically / Filippo Bonchi ; Marcello M. Bonsangue ; Jan J.M.M. Rutten ; Alexandra Silva
100.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼