close
1.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
2.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Code Roots / Doug LeaKeynote 1:
Programming Environments and Tools
Detecting Missing Methods Calls in Object-Oriented Software / Martin Monperrus ; Marcel Bruch ; Mira Mezini
Debugging Model-Transformation Failures Using Dynamic Tainting / Pankaj Dhoolia ; Senthil Mani ; Vibha Singhal Sinha ; Saurabh Sinha
Automatically Extracting Class Diagrams from Spreadsheets / Felienne Hermans ; Martin Pinzger ; Arie van Deursen
Theoretical Foundations of Programming Languages
Adding Dynamic Types to C# / Gavin Bierman ; Erik Meijer ; Mads Torgersen
Essential AOP: The A Calculus / Bruno De Fraine ; Erik Ernst ; Mario Südholt
The Essence of JavaScript / Arjun Guha ; Claudiu Saftoiu ; Shriram Krishnamurthi
Formal Methods
Verifying Executable Object-Oriented Specifications with Separation Logic / Stephan van Staden ; Cristiano Calcagno ; Bertrand Meyer
Verifying Generics and Delegates / Kasper Svendsen ; Lars Birkedal ; Matthew Parkinson
Recency Types for Analyzing Scripting Languages / Philip Heidegger ; Peter Thiemann
Concurrency Models in Java
Correct Refactoring of Concurrent Java Code / Max Schäfer ; Julian Dolby ; Manu Sridharan ; Emina Torlak ; Frank Tip
Programming Coordinated Behavior in Java / David Harel ; Assaf Marron ; Gera Weiss
JCoBox: Generalizing Active Objects to Concurrent Components / Jan Schäfer ; Arnd Poetzsch-Heffter
Special Session: Empirical Methods
Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study / Stefan Hanenberg
Types Systems
A Type System for Data-Centric Synchronization / Mandana Vaziri ; Christian Hammer ; Jan Vitek
Type-Safe Eventful Sessions in Java / Raymond Hu ; Dimitrios Kouzapas ; Olivier Pernet ; Nobuko Yoshida ; Kohei Honda
Capabilities for Uniqueness and Borrowing / Philipp Haller ; Martin Odersky
Secret Valley / Erik ErnestKeynote 2:
Language Design and Implementation
Embedding Languages without Breaking Tools / Lukas Renggli ; Tudor Gîrba ; Oscar Nierstrasz
Modules as Objects in Newspeak / Gilad Bracha ; Peter von der Ahé ; Vassili Bykov ; Yaron Kashai ; William Maddox ; Eliot Miranda
Inline Caching Meets Quickening / Stefan Brunthaler
Concurrency Abstrations
Self-Replicating Objects for Multicore Platforms / Krzysztof Ostrowski ; Chuck Sakoda ; Ken Birman
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO / Scott Owens
Concurrent Abstract Predicates / Thomas Dinsdale-Young ; Mike Dodds ; Philippa Gardner ; Matthew J. Parkinson ; Viktor Vafeiadis
Experiences
The Use of Overloading in Java Programs / Joseph (Yossi) Gil ; Keren Lenz
Falling Back on Executable Specifications / Hesam Samimi ; Ei Darli Aung ; Todd Millstein
Contract-Based Data Structure Repair Using Alloy / Razieh Nokhbeh Zaeem ; Sarfraz Khurshid
Author Index
Code Roots / Doug LeaKeynote 1:
Programming Environments and Tools
Detecting Missing Methods Calls in Object-Oriented Software / Martin Monperrus ; Marcel Bruch ; Mira Mezini
3.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
4.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
5.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
6.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
7.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 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
8.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
Call-by-Value Solvability, Revisited / Beniamino Accattoli ; Luca Paolini
Compiling a Functional Logic Language: The Basic Scheme / Sergio Antoy ; Arthur Peters
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts / Zena M. Ariola ; Paul Downen ; Hugo Herbelin ; Keiko Nakata ; Alexis Saurin
Normal Form Bisimulations for Delimited-Control Operators / Dariusz Biernacki ; Sergueï Lenglet
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) / Gerlof Bouma
Declarative Debugging of Wrong and Missing Answers for SQL Views / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez
Improving the Performance of FD Constraint Solving in a CFLP System / Ignacio Castiñeiras
A General Implementation Framework for Tabled CLP / Pablo Chico de Guzmán ; Manuel Carro ; Manuel V. Hermenegildo ; Peter Stuckey
Extending the TOy System with the ECL PSe Solver over Sets of Integers
Sonia Estévez-Martín / Jesús Correas Fernández
Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell / Makoto Hamana
A Lambda Calculus for Gödel-Durnmett Logic Capturing Waitfreedom / Yoichi Hirai
Iteratees / Oleg Kiselyov
Mutual Exclusion by Interpolation / Jael Kriener ; Andy King
Parallel Computation Skeletons with Premature Termination Property / Oleg Lobachev
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems / Akimasa Morihata
A Data Flow Language for Hybrid Query and Programming Languages / Kristoffer H. Rose ; Lionel Villard ; Naoto Sato
Coinductive Constraint Logic Programming / Neda Saeedloei ; Gopal Gupta
A Call-by-Name CPS Hierarchy / Asami Tanaka ; Yukiyoshi Kameyama
Exact Flow Analysis by Higher-Order Model Checking / Yoshihiro Tobita ; Takeshi Tsukada ; Naoki Kobayashi
Computing in Cantor's Paradise With λZFC / Neil Toronto ; Jay McCarthy
The Finite Domain Constraint Solver of SWI-Prolog / Markus Triska
Explicit Binds: Effortless Efficiency with and without Trees / Tarmo Uustalu
Author Index
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
9.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
10.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
11.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
12.

電子ブック

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

電子ブック

EB
Luis M. Camarinha-Matos, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: 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…
目次情報: 続きを見る
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:
17.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
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…
25.

電子ブック

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

電子ブック

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

電子ブック

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
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…
目次情報: 続きを見る
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
35.

電子ブック

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
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…
51.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
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…
58.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Sustaining Informatics Education by Contests (Invited Talk) / Valentina, Dagienė
Impasse, Conflict, and Learning of CS Notions (Invited Talk) / David Ginat
K-12 Computer Science: Aspirations, Realities, and Challenges (Invited Talk) / Allen B. Tucker
Perspective on Computer Science Education (Invited Talk) / Amiram Yehudai
Didactics of Introduction to Computer Science in High School / Michal Armoni ; Tamar Benaya ; Ela Zur
Software Design Course for Leading CS In-Service Teachers / Ofra Brandes ; Tamar Vilner
The Effect of Tangible Artifacts, Gender and Subjective Technical Competence on Teaching Programming to Seventh Graders / Philipp Brauner ; Thiemo Leonhardt ; Martina Ziefle ; Ulrik Schroeder
The Difficulty of Programming Contests Increases / Michal Forišek
Didactic Games for Teaching Information Theory / Monika Steinová
Collaborative Initiatives for Promoting Computer Science in Secondary Schools / Irene Glendinning ; Margaret Low
Teaching Public-Key Cryptography in School / Lucia Keller ; Dennis Komm ; Giovanni Serafini ; Andreas Sprock ; Björn Steffen
Towards a Methodical Approach for an Empirically Proofed Competency Model / Johannes Magenheim ; Wolfgang Nelles ; Thomas Rhode ; Niclas Schaper
Having Fun with Computer Programming and Games: Teacher and Student Experiences / Clare McInerney
Showing Core-Concepts of Informatics to Kids and Their Teachers / Roland T. Mittermeir ; Ernestine Bischof ; Karin Hodnigg
Object-Oriented Modeling of Object-Oriented Concepts: A Case Study-in Structuring an Educational Domain / Michela Pedroni ; Bertrand Meyer
Programming Camps: Letting Children Discover the computer Science / Juliana Šišková
Mission to Mars - A Study on Naming and Referring / Michael Weigend
Long-Term Development of Software Projects - Students' Self-appreciation and Expectations / Cecile Yehezkel ; Bruria Haberman
Author Index
Sustaining Informatics Education by Contests (Invited Talk) / Valentina, Dagienė
Impasse, Conflict, and Learning of CS Notions (Invited Talk) / David Ginat
K-12 Computer Science: Aspirations, Realities, and Challenges (Invited Talk) / Allen B. Tucker
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…
目次情報: 続きを見る
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
61.

電子ブック

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
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…
目次情報: 続きを見る
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
64.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
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…
74.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
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…
80.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
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…
目次情報: 続きを見る
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
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…
目次情報: 続きを見る
CCPI 2011: Workshop on Cloud Computing Projects and Initiatives
Introduction / Beniamino Di Martino ; Dana Petcu
Towards Cross-Platform Cloud Computing / Magdalena Slawinska ; Jaroslaw Slawinski ; Vaidy Sunderam
QoS Monitoring in a Cloud Services Environment: The SRT-15 Approach / Giuseppe Cicotti ; Luigi Coppolino ; Rosario Cristaldi ; Salvatore D 'Antonio ; Luigi Romano
Enabling e-Science Applications on the Cloud with COMPSs / Daniele Lezzi ; Roger Rafanell ; Abel Carrión ; Ignacio Blanquer Espert ; Vicente Hernández ; Rosa M. Badia
OPTIMIS and VISION Cloud: How to Manage Data in Clouds / Spyridon V. Gogouvitis ; George Kousiouris ; George Vafiadis ; Elliot K. Kolodner ; Dimosthenis Kyriazis
Integrated Monitoring of Infrastructures and Applications in Cloud Environments / Roberto Palmieri ; Pierangelo di Sanzo ; Francesco Quaglia ; Paolo Romano ; Sebastiano Peluso ; Diego Didona
Towards Collaborative Data Management in the VPH-Share Project / Siegfried Benkner ; Jesus Bisbal ; Gerhard Engelbrecht ; Rod D. Hose ; Yuriy Kaniovskyi ; Martin Koehler ; Carlos Pedrinaci ; Steven Wood
SLM and SDM Challenges in Federated Infrastructures / Matti Heikkurinen ; Owen Appleton
Rapid Prototyping of Architectures on the Cloud Using Semantic Resource Description / Houssam Haitof
Cloud Patterns for mOSAIC-Enabled Scientific Applications / Teodor-Florin Fortis ; Gorka Esnal Lopez ; Imanol Padillo Cruz ; Gábor Ferschl ; Tamás Máhr
Enhancing an Autonomic Cloud Architecture with Mobile Agents / A. Cuomo ; M. Rak ; S. Venticinque ; U. Villano
Mapping Application Requirements to Cloud Resources / Yih Leong Sun ; Terence Harmer ; Alan Stewart ; Peter Wright
CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing - CGWS2011
A Perspective on the Core GRID Grid Component Model / Marco Danelutto ; Frédéric Desprez ; Vladimir Getov ; Wolfgang Ziegler ; Françoise Baude
Towards Scheduling Evolving Applications / Cristian Klein ; Christian Pérez
Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management / P. Kilpatrick ; C. Montangero ; L. Semini
Consistent Rollback Protocols for Autonomic ASSISTANT Applications / Carlo Bertolli ; Gabriele Mencagli ; Marco Vanneschi
A Dynamic Resource Management System for Real-Time Online Applications on Clouds / Dominik Meiländer ; Alexander Ploss ; Frank Glinka ; Sergei Gorlatch
Cloud Federations in Contrail / Emanuele Carlini ; Massimo Coppola ; Patrizio Dazzi ; Laura Ricci ; Giacomo Righetti
Semi-automatic Composition of Ontologies for ASKALON Grid Workflows / Muhammad Junaid Malik ; Thomas Fahringer ; Radu Prodan
The Chemical Machine: An Interpreter for the Higher Order Chemical Language / Vilmos Rajcsányi ; Zsolt Németh
Design and Performance of the OP2 Library for Unstructured Mesh Applications / Adam Betts ; Gihan Mudalige ; Mike Giles ; Paul Kelly
Mining Association Rules on Grid Platforms / Raja Tlili ; Yahya Slimani
5th Workshop on System-Level Virtualization for High-Performance Computing (HPCVirt 2011)
Performance Evaluation of HPC Benchmarks on VMware's ESXi Server / Stephen L. Scott ; Geoffroy Vallée ; Thomas Naughton ; Qasim Ali ; Vladimir Kiriansky ; Josh Simons ; Puneet Zaroo
Virtualizing Performance Counters / Benjamin Serebrin ; Daniel Hecht
A Case for Virtual Machine Based Fault Injection in a High-Performance Computing Environment / Christian Engelmann
HPPC 2010: 5th Workshop on Highly Parallel Processing on a Chip
Thermal Management of a Many-Core Processor under Fine-Grained Parallelism / Martti Forsell ; Jesper Larsson Träff ; Fuat Keceli ; Tali Moreshet ; Uzi Vishkin
Mainstream Parallel Array Programming on Cell / Paul Keir ; Paul W. Cockshott ; Andrew Richards
Generating GPU Code from a High-Level Representation for Image Processing Kernels / Richard Membarth ; Anton Lokhmotov ; Jürgen Teich
A Greedy Heuristic Approximation Scheduling Algorithm for 3D Multicore Processors / Thomas Canhao Xu ; Pasi Liljeberg ; Hannu Tenhunen
Algorithms and Programming Tools for Next-Generation High-Performance Scientific Software HPSS 2011
European Exascale Software Initiative: Numerical Libraries, Solvers and Algorithms / Stefania Corsaro ; Pasqua DAmbra ; Francesca Perla ; Iain S. Duff
On Reducing I/O Overheads in Large-Scale Invariant Subspace Projections / Hasan Metin Aktulga ; Chao Yang ; Ümit V. Çatalyürek ; Pieter Maris ; James P. Vary ; Esmond G. Ng
Enabling Next-Generation Parallel Circuit Simulation with Trilinos / Chris Baker ; Erik Boman ; Mike Heroux ; Eric Keiter ; Siva Rajamanickam ; Rich Schiek ; Heidi Thornquist
DAG-Based Software Frameworks for PDEs / Martin Berzins ; Qingyu Meng ; John Schmidt ; James C. Sutherland
On Partitioning Problems with Complex Objectives / Earner Kaya ; François-Henry Rouet ; Bora Ugar
A Communication-Avoiding Thick-Restart Lanczos Method on a Distributed-Memory System / Ichitaro Yamazaki ; Kesheng Wu
Spherical Harmonic Transform with GPUs / Ioan Ovidiu Hupca ; Joel Falcou ; Laura Grigori ; Radek Stompor
Design Patterns for Scientific Computations on Sparse Matrices / Davide Barbieri ; Valeria Cardellini ; Salvatore Filippone ; Damian Rouson
High-Performance Matrix-Vector Multiplication on the GPU / Hans Henrik Brandenborg Sørensen
Relaxed Synchronization with Ordered Read-Write Locks / Jens Gustedt ; Emmanuel Jeanvoine
The Parallel C++ Statistical Library 'QUESO': Quantification of Uncertainty for Estimation, Simulation and Optimization / Ernesto E. Prudencio ; Karl W. Schulz
Use of HPC-Techniques for Large-Scale Data Migration / Jan Dünnweber ; Valentin Mihaylov ; René Glettler ; Volker Maiborn ; Holger Wolff
Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms (HeteroPar 2011)
A Genetic Algorithm with Communication Costs to Schedule Workflows on a SOA-Grid / George Bosilca ; Jean-Marc Nicod ; Laurent Philippe ; Lamiel Toch
An Extension of XcalableMP PGAS Lanaguage for Multi-node GPU Clusters / Jinpil Lee ; Minh Tuan Tran ; Tetsuya Odajima ; Taisuke Boku ; Mitsuhisa Sato
Performance Evaluation of List Based Scheduling on Heterogeneous Systems / Hamid Arabnejad ; Jorge G. Barbosa
Column-Based Matrix Partitioning for Parallel Matrix Multiplication on Heterogeneous Processors Based on Functional Performance Models / David Clarke ; Alexey Lastovetsky ; Vladimir Rychkov
A Framework for Distributing Agent-Based Simulations / Gennaro Cordasco ; Rosario De Chiara ; Ada Mancuso ; Dario Mazzeo ; Vittorio Scarano ; Carmine Spagnuolo
Parallel Sparse Linear Solver GMRES for GPU Clusters with Compression of Exchanged Data / Jacques M. Bahi ; Raphaël Couturier ; Lilia Ziane Khodja
Two-Dimensional Discrete Wavelet Transform on Large Images for Hybrid Computing Architectures: GPU and CELL / Marek Blazewicz ; Milosz Ciznicki ; Piotr Kopta ; Krzysztof Kurowski ; Pawel Lichocki
Scheduling Divisible Loads on Heterogeneous Desktop Systems with Limited Memory / Aleksandar Ilic ; Leonel Sousa
Peer Group and Fuzzy Metric to Remove Noise in Images Using Heterogeneous Computing / Ma. Guadalupe Sánchez ; Vicente Vidal ; Jordi Bataller
Estimation of MPI Application Performance on Volunteer Environments / Girish Nandagudi ; Jaspal Subhlok ; Edgar Gabriel ; Judit Gimenez
Author Index
CCPI 2011: Workshop on Cloud Computing Projects and Initiatives
Introduction / Beniamino Di Martino ; Dana Petcu
Towards Cross-Platform Cloud Computing / Magdalena Slawinska ; Jaroslaw Slawinski ; Vaidy Sunderam
97.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
HiBB 2011: 2nd Workshop on High-Performance Bioinformatics and Biomedicine
Introduction / Mario Cannataro
On Parallelizing On-Line Statistics for Stochastic Biological Simulations / Marco Aldinucci ; Mario Coppo ; Ferruccio Damiani ; Maurizio Drocco ; Eva Sciacca ; Salvatore Spinella ; Massimo Torquati ; Angelo Troina
Scalable Sequence Similarity Search and Join in Main Memory on Multi-cores / Astrid Rheinländer ; Ulf Leser
Enabling Data and Compute Intensive Workflows in Bioinformatics / Gaurang Mehta ; Ewa Deelman ; James A. Knowles ; Ting Chen ; Ying Wang ; Jens Vöckler ; Steven Buyske ; Tara Matise
Homogenizing Access to Highly Time-Consuming Biomedical Applications through a Web-Based Interface / Luigi Grasso ; Nuria Medina-Medina ; Rosana Montes-Soldado ; María M. Abad-Grau
Distributed Management and Analysis of Omics Data / Pietro Hiram Guzzi
Managing and Delivering Grid Services (MDGS)
Resource Allocation for the French National Grid Initiative / Thomas Schaaf ; Adam S.Z. Belloum ; Owen Appleton ; Joan Serrat-Fernández ; Tomasz Szepieniec ; Gilles Mathieu ; Hélène Cordier
On Importance of Service Level Management in Grids / Joanna Kocot ; Matti Heikkurinen ; Martin Metzker
On-Line Monitoring of Service-Level Agreements in the Grid / Bartosz Balis ; Renata Slota ; Jacek Kitowski ; Marian Bubak
Challenges of Future e-Infrastructure Governance / Dana Petcu
Influences between Performance Based Scheduling and Service Level Agreements / Antonella Galizia ; Alfonso Quarati ; Michael Schiffers ; Mark Yampolskiy
User Centric Service Level Management in mOSAIC Applications / Massimiliano Rak ; Rocco Aversa ; Salvatore Venticinque ; Beniamino Di Martino
Service Level Management for Executable Papers / Reginald Cushing ; Spiros Koulouzis ; Rudolf Strijkers
Change Management in e-Infrastructures to Support Service Level Agreements / Silvia Knittl ; Ilya Saverchenko
PROPER 2011: Fourth Workshop on Productivity and Performance: Tools for HPC Application Development
Scout: A Source-to-Source Transformator for SIMD-Optimizations / Michael Gerndt ; Olaf Krzikalla ; Kim Feldhoff ; Ralph Müller-Pfefferkorn ; Wolfgang E. Nagel
Scalable Automatic Performance Analysis on IBM BlueGene/P Systems / Yury Oleynik
An Approach to Creating Performance Visualizations in a Parallel Profile Analysis Tool / Wyatt Spear ; Allen D. Malony ; Chee Wai Lee ; Scott Biersdorff ; Sameer Shende
INAM - A Scalable InfiniBand Network Analysis and Monitoring Tool / N. Dandapanthula ; H. Subramoni ; J. Vienne ; K. Kandalla ; S. Sur ; Dhabaleswar K. Panda ; Ron Brightwell
Auto-tuning for Energy Usage in Scientific Applications / Ananta Tiwari ; Michael A. Laurenzano ; Laura Carrington ; Allan Snavely
Automatic Source Code Transformation for GPUs Based on Program Comprehension / Pasquale Cantiello
Enhancing Brainware Productivity through a Performance Tuning Workflow / Christian Iwainsky ; Ralph Altenfeld ; Dieter an Mey ; Christian Bischof
Workshop on Resiliency in High-Performance Computing (Resilience) in Clusters, Clouds, and Grids
The Malthusian Catastrophe Is Upon Us! Are the Largest HPC Machines Ever Up? / Stephen L. Scott ; Chokchai (Box) Leangsuksun ; Patricia Kovatch ; Matthew Ezell ; Ryan Braby
Simulating Application Resilience at Exascale / Rolf Riesen ; Kurt B. Ferreira ; Maria Ruiz Varela ; Michela Taufer ; Aran Rodrigues
Framework for Enabling System Understanding / J. Brandt ; F. Chen ; A. Gentile ; J. Mayo ; P. Pebay ; D. Roe ; N. Taerat ; D. Thompson ; M. Wong
Cooperative Application/OS DRAM Fault Recovery / Patrick G. Bridges ; Mark Hoemmen ; Michael A. Heroux ; Philip Soltero
A Tunable, Software-Based DRAM Error Detection and Correction Library for HPC / David Fiala ; Frank Mueller ; Christian Engelmann
Reducing the Impact of Soft Errors on Fabric-Based Collective Communications / José Carlos Sancho ; Ana Jokanovic ; Jesus Labarta
Evaluating Application Vulnerability to Soft Errors in Multi-level Cache Hierarchy / Zhe Ma ; Trevor Carlson ; Wim Heirman ; Lieven Eeckhout
Experimental Framework for Injecting Logic Errors in a Virtual Machine to Profile Applications for Soft Error Resilience / Nathan DeBardeleben ; Sean Blanchard ; Qiang Guan ; Ziming Zhang ; Song Fu
High Availability on Cloud with HA-OSCAR / Thanadech Thanakornworakij ; Rajan Sharma ; Blaine Scroggs ; Zeno Dixon Greenwood ; Pierre Riteau ; Christine Morin
On the Viability of Checkpoint Compression for Extreme Scale Fault Tolerance / Dewan Ibtesham ; Dorian Arnold
Can Checkpoint/Restart Mechanisms Benefit from Hierarchical Data Staging? / Raghunath Rajachandrasekar ; Xiangyong Ouyang ; Xavier Besseron ; Vilobh Meshram
Impact of Over-Decomposition on Coordinated Checkpoint/Rollback Protocol / Thierry Gautier
UCHPC 2011: Fourth Workshop on UnConventional High-Performance Computing
PACUE: Processor Allocator Considering User Experience / Anders Hast ; Josef Weidendorfer ; Jan-Philipp Weiss ; Tetsuro Horikawa ; Michio Honda ; Jin Nakazawa ; Kazunori Takashio ; Hideyuki Tokuda
Workload Balancing on Heterogeneous Systems: A Case Study of Sparse Grid Interpolation / Alin Murarasu ; Arndt Bode
Performance Evaluation of a Multi-GPU Enabled Finite Element Method for Computational Electromagnetics / Tristan Cabel ; Joseph Charles ; Stéphane Lanteri
Study of Hierarchical N-Body Methods for Network-on-Chip Architectures / Thomas Canhao Xu ; Pasi Liljeberg ; Hannu Tenhunen
Extending a Highly Parallel Data Mining Algorithm to the Intel® Many Integrated Core Architecture / Alexander Heinecke ; Michael Klemm ; Dirk Pflüger ; Hans-Joachim Bungartz
VHPC 2011: 6th Workshop on Virtualization in High-Performance Cloud Computing
Group-Based Memory Deduplication for Virtualized Clouds / Michael Alexander ; Gianluigi Zanetti ; Sangwook Kim ; Hwanju Kim ; Joonwon Lee
A Smart HPC Interconnect for Clusters of Virtual Machines / Anastassios Nanos ; Nikos Nikoleris ; Stratos Psomadakis ; Elisavet Kozyri ; Nectarios Koziris
Coexisting Scheduling Policies Boosting I/O Virtual Machines / Dimitris Aragiorgis
PIGA-Virt: An Advanced Distributed MAC Protection of Virtual Systems / J. Briffaut ; E. Lefebvre ; J. Rouzaud-Cornabas ; C. Toinard
An Economic Approach for Application QoS Management in Clouds / Stefania Costache ; Nikos Parlavantzas ; Samuel Kortas
Evaluation of the HPC Challenge Benchmarks in Virtualized Environments / Piotr Luszczek ; Eric Meek ; Shirley Moore ; Dan Terpstra ; Vincent M. Weaver ; Jack Dongarra
DISCOVERY, Beyond the Clouds: Distributed and Cooperative Framework to Manage Virtual EnviRonments autonomicallY: A Prospective Study / Adrien Lèbre ; Paolo Anedda ; Massimo Gaggero ; Flavien Quesnel
Cooperative Dynamic Scheduling of Virtual Machines in Distributed Systems
Large-Scale DNA Sequence Analysis in the Cloud: A Stream-Based Approach / Romeo Kienzler ; Rémy Bruggmann ; Anand Ranganathan ; Nesime Tatbul
Author Index
HiBB 2011: 2nd Workshop on High-Performance Bioinformatics and Biomedicine
Introduction / Mario Cannataro
On Parallelizing On-Line Statistics for Stochastic Biological Simulations / Marco Aldinucci ; Mario Coppo ; Ferruccio Damiani ; Maurizio Drocco ; Eva Sciacca ; Salvatore Spinella ; Massimo Torquati ; Angelo Troina
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…
100.

電子ブック

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