SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Max A. Bramer, Frans Coenen, Andrew L. Tuson, British Computer Society.
Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines / Arjen Hommersom ; Perry Groot ; Peter Lucas ; Michael Balser ; Jonathan Schmitt
AI Techniques (GAs, Bio-Motivated Computing and Bayes) / Session 1：
A Discrete Particle Swarm Optimization Algorithm for the Permutation Flowshop Sequencing Problem with Makespan Criterion / Quan-Ke Pan ; M. Fatih Tasgetiren ; Yun-Chia Liang
Intialization Method for Grammar-guided Genetic Programming / Marc Garcia-Arnau ; Daniel Manrique ; Juan Rios ; Alfonso Rodriguez-Paton
Improving the Gradient Based Search Direction to Enhance Training Efficiency of Back Propagation Based Neural Network Algorithms / Nazri Mohd Nawi ; Meghana R. Ransing ; Rajesh S. Ransing
A Decision Tree-Based Attribute Weighting Filter for Naive Bayes / Mark Hall
Graphical Reasoning with Bayesian Networks / Ildiko Flesch
Two Different Approaches to Automated Mark Up of Emotions in Text / Virginia Francisco ; Raquel Hervas ; Pablo Gervas
Towards a Framework for Change Detection in Data Sets / Mirko Botthcer ; Detlef Nauck ; Dymitr Ruta ; Martin Spott
Incremental Inductive Learning in a Constructivist Agent / Filipo Studzinski Perotto ; Luis Otavio Alvares
Argumentation, Dialogue Games and Optimisation / Session 2b：
Argument Based Contract Enforcement / Nir Oren ; Alun Preece ; Timothy J. Norman
Negotiating Intelligently / John Debenham ; Simeon Simoff
Avoiding Long and Fruitless Dialogues in Critiquing / David McSherry ; David W. Aha
LSA-based Landscape Analysis for Multicast Routing / Mohammed S. Zahrani ; Martin J. Loomes ; James A. Malcolm ; Andreas A. Albrecht
Knowledge Representation and Management / Session 3：
Dependent Record Types for Dynamic Context Representation / Richard Dapoigny ; Patrick Barlatier
Adjusting game difficulty level through Formal Concept Analysis / Marco A. Gomez-Martin ; Pedro P. Gomez-Martin ; Pedro A. Gonzalez-Calero ; Belen Diaz-Agudo
Integrating Uncertain Knowledge in a Domain Ontology for Room Concept Classifications / Joana Hois ; Kerstin Schill ; John A. Bateman
Semantic Web / Session 4：
Using AI and Semantic Web Technologies to attack Process Complexity in Open Systems / Simon Thompson ; Nick Giles ; Yang Li ; Hamid Ghari ; Thuc Nguyen (BT)
A Semantic Web Blackboard System / Craig McKenzie ; Peter Gray
Planning with the Semantic Web by fusing Ontologies and Planning Domain Definitions / Marco Cioffi ; Simon Thompson (BT)
A Reusable Commitment Management Service using Semantic Web Technology / Stuart Chalmers
Model Based Systems and Simulation / Session 5：
On-Line Monitoring of Plan Execution: a Distributed Approach / Roberto Micalizio ; Pietro Torasso
Incremental Fault Isolation for Dynamic Processes / George Coghill ; Guofu Wu
Qualitative Approaches to Semantic Scene Modelling and Retrieval / Zia Ul Qayyum ; A.G. Cohn
A Platform for Simulating Language Evolution / Carl Vogel ; Justin Woods
Short Papers
Improving the Interpretability of Classification Rules in Sparse Bioinformatics Datasets / James Smaldon ; Alex A. Freitas
An Agent-Based Approach to Non-Distributed and Distributed Clustering / Ireneusz Czarnowski ; Piotr Jedrzejowicz
Transparency of Computational Intelligence Models / Peter Owotoki ; Friedrich Mayer-Lindenberg
Exploring Web Search Results Clustering / Xiaoxia Wang ; Max Bramer
Case-based Intention Selection for Autonomous Agent that Acts in Structured Synthetic Worlds / Haris Supic
On Clustering Attribute-oriented Induction / Maybin Muyeba ; M. Sulaiman Khan ; Zhiguo Gong
Chinese Text Clustering for Topic Detection Based on Word Pattern Relation / Yen-Ju Yang ; Su-Hsin Yu
Text Classification Using Language Independent Pre-processing / Yanbo J. Wang ; Frans Coenen ; Paul Leng ; Robert Sanderson
Author Index
Best Technical Paper
Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines / Arjen Hommersom ; Perry Groot ; Peter Lucas ; Michael Balser ; Jonathan Schmitt
AI Techniques (GAs, Bio-Motivated Computing and Bayes) / Session 1：
Natural Language Dialog with a Tutor System for Mathematical Proofs / Christoph Benzmuller ; Helmut Horacek ; Ivana Kruijff-Korbayova ; Manfred Pinkal ; Jorg Siekmann ; Magdalena Wolska
On the Effectiveness of Visualizations in a Theory of Computing Course / Rudolf Fleischer ; Gerhard Trippen
Some Cognitive Aspects of a Turing Test for Children / Ruqian Lu ; Hongge Liu ; Songmao Zhang ; Zhi Jin ; Zichu Wei
Challenges in Search and Usage of Multi-media Learning Objects / Erica Melis ; Ruimin Shen ; Carsten Ullrich ; Fan Yang ; Peng Han
An Intelligent Platform for Information Retrieval / Fang Li ; Xuanjing Huang
P-Terse: A Peer-to-Peer Based Text Retrieval and Search System / Weining Qian ; Feibo Chen ; Bei Du ; Aoying Zhou
Identifying Semantic Relations Between Named Entities from Chinese Texts / Tianfang Yao ; Hans Uszkoreit
Research on English-Chinese Bi-directional Cross-Language Information Retrieval / Yuejie Zhang ; Tao Zhang
Analyzing Image Texture from Blobs Perspective / Yi Yi Huang ; Cun Lu Xu ; Yan Qiu Chen
Access to Content / Dietrich Klakow
Content-Based Image and Video Indexing and Retrieval / Hong Lu ; Xiangyang Xue ; Yap-Peng Tan
Shape Recognition with Coarse-to-Fine Point Correspondence Under Image Deformations / Huixuan Tang ; Hui Wei
Towards Efficient Ranked Query Processing in Peer-to-Peer Networks / Keping Zhao ; Shuigeng Zhou
Author Index
Natural Language Dialog with a Tutor System for Mathematical Proofs / Christoph Benzmuller ; Helmut Horacek ; Ivana Kruijff-Korbayova ; Manfred Pinkal ; Jorg Siekmann ; Magdalena Wolska
On the Effectiveness of Visualizations in a Theory of Computing Course / Rudolf Fleischer ; Gerhard Trippen
Some Cognitive Aspects of a Turing Test for Children / Ruqian Lu ; Hongge Liu ; Songmao Zhang ; Zhi Jin ; Zichu Wei
Hybrid Multi-agent Systems: Integrating Swarming and BDI Agents / H. Van Dyke Parunak ; Paul Nielsen ; Sven Brueckner ; Rafael Alonso
An Analysis and Design Concept for Self-organization in Holonic Multi-agent Systems / Sebastian Rodriguez ; Nicolas Gaud ; Vincent Hilaire ; Stephane Galland ; Abderrafiaa Koukam
Design Patterns for Decentralised Coordination in Self-organising Emergent Systems / Tom De Wolf ; Tom Holvoet
Measuring Stigmergy: The Case of Foraging Ants / Laszlo Gulyas ; Laszlo Laufer ; Richard Szabo
Algorithms and Techniques
Dynamic Decentralized Any-Time Hierarchical Clustering / Richard Rohwer ; Theodore C. Belding
Behaviosites: A Novel Paradigm for Affecting Distributed Behavior / Amit Shabtay ; Zinovi Rabinovich ; Jeffrey S. Rosenschein
Applications
Programming Modular Robots with the TOTA Middleware / Marco Mamei ; Franco Zambonelli
ASOS: An Adaptive Self-organizing Protocol for Surveillance and Routing in Sensor Networks / Jorge Simao
Towards the Control of Emergence by the Coordination of Decentralized Agent Activity for the Resource Sharing Problem / Frederic Armetta ; Salima Hassas ; Simone Pimont ; Olivier Lefevre
Self-organization and Evolutionary Computing
Reinforcement Learning for Online Control of Evolutionary Algorithms / A.E. Eiben ; Mark Horvath ; Wojtek Kowalczyk ; Martijn C. Schut
Greedy Cheating Liars and the Fools Who Believe Them / Stefano Arteconi ; David Hales ; Ozalp Babaoglu
Evolution and Hypercomputing in Global Distributed Evolvable Virtual Machines Environment / Mariusz Nowostawski ; Martin Purvis
A Decentralised Car Traffic Control System Simulation Using Local Message Propagation Optimised with a Genetic Algorithm / Martin Kelly ; Giovanna Di Marzo Serugendo
Author Index
Overall Design and Fundations
Hybrid Multi-agent Systems: Integrating Swarming and BDI Agents / H. Van Dyke Parunak ; Paul Nielsen ; Sven Brueckner ; Rafael Alonso
An Analysis and Design Concept for Self-organization in Holonic Multi-agent Systems / Sebastian Rodriguez ; Nicolas Gaud ; Vincent Hilaire ; Stephane Galland ; Abderrafiaa Koukam
A Reference Architecture for Situated Multiagent Systems / Danny Weyns ; Tom Holvoet
A Unified Model for Physical and Social Environments / Jose-Antonio Baez-Barranco ; Tiberiu Stratulat ; Jacques Ferber
Exploiting the Environment for Coordinating Agent Intentions / Paul Valckenaers
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS / Alessandro Ricci ; Mirko Viroli ; Andrea Omicini
Mediated Interaction and Stigmery
Environment as Active Support of Interaction / Julien Saunier ; Flavien Balbo ; Fabien Badeig
Environmental Support for Tag Interactions / Eric Platon ; Nicolas Sabouret ; Shinichi Honiden
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts / Luca Gardelli ; Enrico Oliva
Trace Signals: The Meanings of Stigmergy / Luca Tummolini ; Cristiano Castelfranchi
Regulation Function of the Environment in Agent-Based Simulation / Stefania Bandini ; Giuseppe Vizzari
Governing Environment
Establishing Global Properties of Multi-Agent Systems Via Local Laws / Wenxuan Zhang ; Constantin Serban ; Naftaly Minsky
E4MAS Through Electronic Institutions / Josep Lluis Arcos ; Pablo Noriega ; Juan A. Rodriguez-Aguilar ; Carles Sierra
Spatially Distributed Normative Infrastructure / Fabio Y. Okuyama ; Rafael H. Bordini ; Antonio Carlos da Rocha Costa
Enhancing the Environment with a Law-Governed Service for Monitoring and Enforcing Behavior in Open Multi-Agent Systems / Rodrigo Paes ; Gustavo Carvalho ; Maira Gatti ; Carlos Lucena ; Jean-Pierre Briot ; Ricardo Choren
Applications
Urban Traffic Control with Co-Fields / Marco Camurri ; Marco Mamei ; Franco Zambonelli
Designing Self-organising MAS Environments: The Collective Sort Case / Matteo Casadei
Author Index
Models, Architecture, and Design
A Reference Architecture for Situated Multiagent Systems / Danny Weyns ; Tom Holvoet
A Unified Model for Physical and Social Environments / Jose-Antonio Baez-Barranco ; Tiberiu Stratulat ; Jacques Ferber
Semantology as Basis for Conceptual Knowledge Processing / Peter Eklund ; Rudolf Wille
A New and Useful Syntactic Restriction on Rule Semantics for Tabular Datasets / Marie Agier ; Jean-Marc Petit
A Proposal for Combining Formal Concept Analysis and Description Logics for Mining Relational Data / Mohamed Hacene Rouane ; Marianne Huchard ; Amedeo Napoli ; Petko Valtchev
Computing Intensions of Digital Library Collections / Carlo Meghini ; Nicolas Spyratos
Custom Asymmetric Page Split Generalized Index Search Trees and Formal Concept Analysis / Ben Martin
The Efficient Computation of Complete and Concise Substring Scales with Suffix Trees / Sebastien Ferre
A Parameterized Algorithm for Exploring Concept Lattices / Peggy Cellier ; Olivier Ridoux ; Mireille Ducasse
About the Lossless Reduction of the Minimal Generator Family of a Context / Tarek Hamrouni ; Sadok Ben Yahia ; Engelbert Mephu Nguifo
Some Notes on Pseudo-closed Sets / Sebastian Rudolph
Performances of Galois Sub-hierarchy-building Algorithms / Gabriela Arevalo ; Anne Berry ; Guillaume Perrot ; Alain Sigayret
Galois Connections Between Semimodules and Applications in Data Mining / Francisco J. Valverde-Albacete ; Carmen Pelaez-Moreno
On Multi-adjoint Concept Lattices: Definition and Representation Theorem / Jesus Medina ; Manuel Ojeda-Aciego ; Jorge Ruiz-Calvino
Base Points, Non-unit Implications, and Convex Geometries / Heiko Reppe
Lattices of Relatively Axiomatizable Classes / Dmitry E. Pal'chunov
A Solution of the Word Problem for Free Double Boolean Algebras / Bjorn Vormbrock
On the MacNeille Completion of Weakly Dicomplemented Lattices / Leonard Kwuida ; Branimir Seselja ; Andreja Tepavcevic
Polynomial Embeddings and Representations / Tim Becker
The Basic Theorem on Labelled Line Diagrams of Finite Concept Lattices
Bipartite Ferrers-Graphs and Planar Concept Lattices / Christian Zschalig
Author Index
Relational Galois Connections / Bernhard Ganter
Semantology as Basis for Conceptual Knowledge Processing / Peter Eklund ; Rudolf Wille
A New and Useful Syntactic Restriction on Rule Semantics for Tabular Datasets / Marie Agier ; Jean-Marc Petit
The Number of Triangulations on Planar Point Sets / Emo Welzl
The Algorithmic Beauty of Digital Nature / Oliver Deussen
Papers
Integrating Edge Routing into Force-Directed Layout / Tim Dwyer ; Kim Marriott ; Michael Wybrow
Multipole-Based Force Approximation Revisited - A Simple but Fast Implementation Using a Dynamized Enclosing-Circle-Enhanced k-d-Tree / Ulrich Lauther
SSDE: Fast Graph Drawing Using Sampled Spectral Distance Embedding / Ali Civril ; Malik Magdon-Ismail ; Eli Bocek-Rivele
Eigensolver Methods for Progressive Multidimensional Scaling of Large Data / Ulrik Brandes ; Christian Pich
Angle and Distance Constraints on Tree Drawings / Barbara Schlieper
Schematisation of Tree Drawings / Joachim Gudmundsson ; Marc van Kreveld ; Damian Merrick
Trees with Convex Faces and Optimal Angles / Josiah Carlson ; David Eppstein
Three-Dimensional Drawings of Bounded Degree Trees / Fabrizio Frati ; Giuseppe Di Battista
Simultaneous Graph Embedding with Bends and Circular Arcs / Justin Cappos ; Alejandro Estrella-Balderrama ; J. Joseph Fowler ; Stephen G. Kobourov
Embedding Graphs Simultaneously with Fixed Edges
Drawing Cubic Graphs with at Most Five Slopes / Balazs Keszegh ; Janos Pach ; Domotor Palvolgyi ; Geza Toth
Planarity Testing and Optimal Edge Insertion with Embedding Constraints / Carsten Gutwenger ; Karsten Klein ; Petra Mutzel
Open Rectangle-of-Influence Drawings of Inner Triangulated Plane Graphs / Kazuyuki Miura ; Tetsuya Matsuno ; Takao Nishizeki
Planar Decompositions and the Crossing Number of Graphs with an Excluded Minor / David R. Wood ; Jan Arne Telle
On the Crossing Number of Almost Planar Graphs / Petr Hlineny ; Gelasio Salazar
On the Decay of Crossing Numbers / Jacob Fox ; Csaba D. Toth
How Important Is the "Mental Map"? - An Empirical Investigation of a Dynamic Graph Layout Algorithm / Helen C. Purchase ; Eve Hoggan ; Carsten Gorg
Computing Geometric Minimum-Dilation Graphs Is NP-Hard / Rolf Klein ; Martin Kutz
Chordal Graphs as Intersection Graphs of Pseudosegments / Cornelia Dangelmayr ; Stefan Felsner
Parameterized st-Orientations of Graphs: Algorithms and Experiments / Charalampos Papamanthou ; Ioannis G. Tollis
Straight-Line Drawing of Quadrangulations / Eric Fusy
Visualizing Large and Clustered Networks / Katharina A. Lehmann ; Stephan Kottler
Partitioned Drawings / Martin Siebenhaller
Path Simplification for Metro Map Layout
Minimizing Intra-edge Crossings in Wiring Diagrams and Public Transportation Maps / Marc Benkert ; Martin Nollenburg ; Takeaki Uno ; Alexander Wolff
Upright-Quad Drawing of st-Planar Learning Spaces
Choosing Colors for Geometric Graphs Via Color Space Embeddings / Michael B. Dillencourt ; Michael T. Goodrich
Morphing Planar Graphs in Spherical Space / Matthew Landis
k-Colored Point-Set Embeddability of Outerplanar Graphs / Emilio Di Giacomo ; Walter Didimo ; Giuseppe Liotta ; Henk Meijer ; Francesco Trotta ; Stephen K. Wismath
Thickness of Bar 1-Visibility Graphs / Mareike Massow
A New Approximation Algorithm for Bend Minimization in the Kandinsky Model / Wilhelm Barth ; Canan Yildiz
Radial Drawings of Graphs: Geometric Constraints and Trade-Offs
Characterization of Unlabeled Level Planar Trees
Drawing Bipartite Graphs on Two Curves / Luca Grilli
Improved Circular Layouts / Emden R. Gansner ; Yehuda Koren
Controllable and Progressive Edge Clustering for Large Networks / Huamin Qu ; Hong Zhou ; Yingcai Wu
Biclique Edge Cover Graphs and Confluent Drawings / Michael Hirsch ; David Rappaport
Schnyder Woods and Orthogonal Surfaces / Florian Zickfeld
Partitions of Graphs into Trees / Therese Biedl ; Franz J. Brandenburg
Posters
The Website for Graph Visualization Software References (GVSR) / Bruno Pinaud ; Pascale Kuntz ; Fabien Picarougne
Smoother Transitions Between Breadth-First-Spanning-Tree-Based Drawings / Christopher Homan ; Andrew Pavlo ; Jonathan Schull
Corrections
Fast Node Overlap Removal-Correction / Peter J. Stuckey
Graph Drawing Contest
Graph-Drawing Contest Report / Christian A. Duncan ; Gunnar Klau ; Georg Sander|
Author Index
Invited Talks
The Number of Triangulations on Planar Point Sets / Emo Welzl
The Algorithmic Beauty of Digital Nature / Oliver Deussen
Model Checking PSL Using HOL and SMV / Thomas Tuerk ; Klaus Schneider ; Mike Gordon
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation / Amir Nahir ; Yossi Shiloach ; Avi Ziv
Extracting a Simplified View of Design Functionality Based on Vector Simulation / Onur Guzey ; Charles Wen ; Li-C. Wang ; Tao Feng ; Hillel Miller ; Magdy S. Abadir
Automatic Fault Localization for Property Checking / Stefan Staber ; Gorschwin Fey ; Roderick Bloem ; Rolf Drechsler
Verification of Data Paths Using Unbounded Integers: Automata Strike Back / Tobias Schuele
On Advantages of Scheduling Using Genetic Fuzzy Systems / Carsten Franke ; Joachim Lepping ; Uwe Schwiegelshohn
Moldable Parallel Job Scheduling Using Job Efficiency: An Iterative Approach / Gerald Sabin ; Matthew Lang ; P. Sadayappan
Adaptive Job Scheduling Via Predictive Job Resource Allocation / Lawrence Barsanti ; Angela C. Sodan
A Data Locality Aware Online Scheduling Approach for I/O-Intensive Jobs with File Sharing / Gaurav Khanna ; Umit Catalyurek ; Tahsin Kurc ; Joel Saltz
Volunteer Computing on Clusters / Deepti Vyas ; Jaspal Subhlok
Load Balancing: Toward the Infinite Network and Beyond / Javier Bustos-Jimenez ; Denis Caromel ; Jose M. Piquer
Symbiotic Space-Sharing on SDSC's DataStar System / Jonathan Weinberg ; Allan Snavely
Modeling Job Arrivals in a Data-Intensive Grid / Hui Li ; Michael Muskulus ; Lex Wolters
On Grid Performance Evaluation Using Synthetic Workloads / Alexandru Iosup ; Dick H.J. Epema ; Alexander Papaspyrou ; Lars Schley ; Baiyi Song ; Ramin Yahyapour
Author Index
Provably Efficient Two-Level Adaptive Scheduling / Yuxiong He ; Wen-Jing Hsu ; Charles E. Leiserson
Scheduling Dynamically Spawned Processes in MPI-2 / Marcia C. Cera ; Guilherme P. Pezzi ; Mauricio L. Pilla ; Nicolas Maillard ; Philippe O.A. Navaux
David Hutchison, Fran?ois Fages, Mohand-Sa?d Hacid, Takeo Kanade, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, S. Spaccapietra, Juan Trujillo, Ilya Zaihrayeu, SpringerLink (Online service)
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
Knowledge Discovery and Emergent Complexity in Bioinformatics / Ronald Westra ; Karl Tuyls ; Yvan Saeys ; Ann Nowe
Boolean Algebraic Structures of the Genetic Code: Possibilities of Applications / Ricardo Grau ; Maria del C. Chavez ; Robersy Sanchez ; Eberto Morgado ; Gladys Casas ; Isis Bonet
Discovery of Gene Regulatory Networks in Aspergillus fumigatus / Reinhard Guthke ; Olaf Kniemeyer ; Daniela Albrecht ; Axel A. Brakhage ; Ulrich Moller
Complexity Measures for Gene Assembly / Tero Harju ; Chang Li ; Ion Petre ; Grzegorz Rozenberg
Learning Relations from Biomedical Corpora Using Dependency Trees / Sophia Katrenko ; Pieter Adriaans
Advancing the State of the Art in Computational Gene Prediction / William H. Majoros ; Uwe Ohler
Enhancing Coding Potential Prediction for Short Sequences Using Complementary Sequence Features and Feature Selection / Yves Van de Peer
The Net Generator Algorithm: Reconstruction of Gene Regulatory Networks / Susanne Toepfer ; Dominik Driesch ; Dirk Woetzel ; Michael Pfaff
On the Neuronal Morphology-Function Relationship: A Synthetic Approach / Ben Torben-Nielsen ; Eric O. Postma
Analyzing Stigmergetic Algorithms Through Automata Games / Peter Vrancx ; Katja Verbeeck
The Identification of Dynamic Gene-Protein Networks / Ronald L. Westra ; Goele Hollanders ; Geert Jan Bex ; Marc Gyssens
Knowledge Discovery and Emergent Complexity in Bioinformatics / Ronald Westra ; Karl Tuyls ; Yvan Saeys ; Ann Nowe
Boolean Algebraic Structures of the Genetic Code: Possibilities of Applications / Ricardo Grau ; Maria del C. Chavez ; Robersy Sanchez ; Eberto Morgado ; Gladys Casas ; Isis Bonet
Discovery of Gene Regulatory Networks in Aspergillus fumigatus / Reinhard Guthke ; Olaf Kniemeyer ; Daniela Albrecht ; Axel A. Brakhage ; Ulrich Moller
Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques / Michael Leuschel ; Stephen-John Craig ; Dan Elphick
Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs / Gustavo Arroyo ; J. Guadalupe Ramos ; Josep Silva ; German Vidal
Towards Description and Optimization of Abstract Machines in an Extension of Prolog / Jose F. Morales ; Manuel Carro ; Manuel Hermenegildo
Security and Synthesis
Combining Different Proof Techniques for Verifying Information Flow Security / Heiko Mantel ; Henning Sudbrock ; Tina Krausser
On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors / Simon Winwood ; Gerwin Klein ; Manuel M.T. Chakravarty
Synthesis of Asynchronous Systems / Sven Schewe ; Bernd Finkbeiner
Debugging and Testing
A Comparative Study of Algorithmic Debugging Strategies
A Program Transformation for Tracing Functional Logic Computations / Bernd Brassel ; Sebastian Fischer ; Frank Huch
Termination and Analysis
Automated Termination Analysis for Logic Programs by Term Rewriting / Peter Schneider-Kamp ; Jurgen Giesl ; Alexander Serebrenik ; Rene Thiemann
Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator / Etienne Payet
Polytool: Proving Termination Automatically Based on Polynomial Interpretations / Manh Thang Nguyen ; Danny De Schreye
Grids: A Domain for Analyzing the Distribution of Numerical Values / Roberto Bagnara ; Katy Dobson ; Patricia M. Hill ; Matthew Mundell ; Enea Zaffanella
Author Index
Invited Talks
How to Talk to a Human: The Semantic Web and the Clash of the Titans / Massimo Marchiori
Overview of Awarded Papers - The 20th Annual Conference of JSAI / Hideaki Takeda
Translational Symmetry in Subsequence Time-Series Clustering / Tsuyoshi Ide
Visualization of Contents Archive by Contour Map Representation / Hidekazu Kubota ; Toyoaki Nishida ; Yasuyuki Sumi
Discussion Ontology: Knowledge Discovery from Human Activities in Meetings / Hironori Tornobe ; Katashi Nagao
Predicting Types of Protein-Protein Interactions Using a Multiple-Instance Learning Model / Hiroshi Yamakawa ; Koji Maruhashi ; Yoshio Nakao
Lattice for Musical Structure and Its Arithmetics / Keiji Hirata ; Satoshi Tojo
Viewlon: Visualizing Information on Semantic Sensor Network / Masayuki Furuyama ; Jun Mukai ; Michita Imai
Cooperative Task Achievement System Between Humans and Robots Based on Stochastic Memory Model of Spatial Environment / Tetsunari Inamura ; Tomohiro Kawaji ; Tomoyuki Sonoda ; Kei Okada ; Masayuki Inaba
Analysis on a Relation Between Enterprise Profit and Financial State by Using Data Mining Techniques / Yasuo Shinnou ; Katsutoshi Yada ; Hiroshi Motoda ; Takashi Okada
Unusual Condition Detection of Bearing Vibration in Hydroelectric Power Plants for Risk Management / Takashi Onoda ; Norihiko Ito ; Kenji Shimizu
Structural Health Assessing by Interactive Data Mining Approach in Nuclear Power Plant / Yufei Shu
Developing Mining-Grid Centric e-Finance Portals for Risk Management / Jia Hu ; Muneaki Ohshima ; Ning Zhong
Knowledge Discovery from Click Stream Data and Effective Site Management / Kosuke Ohno
Sampling-Based Stream Mining for Network Risk Management / Kenichi Yoshida
Relation Between Abductive and Inductive Types of Nursing Risk Management / Akinori Abe ; Hiromi Itoh Ozaku ; Noriaki Kuwahara ; Kiyoshi Kogure
Author Index
Awarded Papers / Part I：
Overview of Awarded Papers - The 20th Annual Conference of JSAI / Hideaki Takeda
Translational Symmetry in Subsequence Time-Series Clustering / Tsuyoshi Ide
A Decentralized, Scalable, and Autonomous Grid Monitoring System / Laurent Baduel ; Satoshi Matsuoka
A Formal Analysis of the Deferred Update Technique / Rodrigo Schmidt ; Fernando Pedone
ASAP: A Camera Sensor Network for Situation Awareness / Junsuk Shin ; Rajnish Kumar ; Dushmanta Mohapatra ; Umakishore Ramachandran ; Mostafa Ammar
Asynchronous Active Recommendation Systems / Baruch Awerbuch ; Aviv Nisgav ; Boaz Patt-Shamir
Brute-Force Determination of Multiprocessor Schedulability for Sets of Sporadic Hard-Deadline Tasks / Theodore P. Baker ; Michele Cirinei
Byzantine Consensus with Few Syncronous Links / Moumen Hamouma ; Achour Mostefaoui ; Gilles Tredan
Clock Synchronization in the Byzantine-Recovery Failure Model / Emmanuelle Anceaume ; Carole Delporte-Gallet ; Hugues Fauconnier ; Michel Hurfin ; Josef Widder
Computing Without Communicating: Ring Exploration by Asynchronous Oblivious Robots / Paola Flocchini ; David Ilcinkas ; Andrzej Pelc ; Nicola Santoro
Deterministic Communication in the Weak Sensor Model / Antonio Fernandez Anta ; Miguel A. Mosteiro ; Christopher Thraves
Deterministic Leader Election in Anonymous Sensor Networks Without Common Coordinated System / Yoann Dieudonne ; Franck Petit
Distributed Approximation Algorithms for Finding 2-Edge-Connected Subgraphs / Sven O. Krumke ; Peter Merz ; Tim Nonner ; Katharina Rupp
Does Clock Precision Influence ZigBee's Energy Consumptions? / Christian Gross ; Holger Hermanns ; Reza Pulungan
From an Intermittent Rotating Star to a Leader / Michel Raynal
Global Deadline-Monotonic Scheduling of Arbitrary-Deadline Sporadic Task Systems / Sanjoy Baruah ; Nathan Fisher
LFthreads: A Lock-Free Thread Library / Anders Gidenstam ; Marina Papatriantafilou
Making Distributed Applications Robust / Chi Ho ; Danny Dolev ; Robbert van Renesse
Maximizing the Number of Broadcast Operations in Static Random Geometric Ad-Hoc Networks / Tiziana Calamoneri ; Andrea Clementi ; Emanuele G. Fusco ; Riccardo Silvestri
N-Consensus is the Second Strongest Object for N + 1 Processes / Eli Gafni ; Petr Kuznetsov
Non-Searchability of Random Power-Law Graphs / Philippe Duchon ; Nicole Eggemann ; Nicolas Hanusse
O(log n)-Time Overlay Network Construction from Graphs with Out-Degree 1 / James Aspnes ; Yinghua Wu
On the Self-stabilization of Mobile Robots in Graphs / Lelia Blin ; Maria Gradinariu Potop-Butucaru ; Sebastien Tixeuil
Weakly-Private Secret Sharing Schemes / Amos Beimel ; Matthew Franklin
On Secret Sharing Schemes, Matroids and Polymatroids / Jaume Marti-Farre ; Carles Padro
Secure Linear Algebra Using Linearly Recurrent Sequences / Eike Kiltz ; Payman Mohassel ; Enav Weinreb
Towards Optimal and Efficient Perfectly Secure Message Transmission / Matthias Fitzi ; Juan Garay ; S. Harsha Vardhan
Signatures and Watermarking
Concurrently-Secure Blind Signatures Without Random Oracles or Setup Assumptions / Carmit Hazay ; Jonathan Katz ; Chiu-Yuen Koo
Designated Confirmer Signatures Revisited
From Weak to Strong Watermarking / Nicholas Hopper ; David Molnar ; David Wagner
Private Approximation and Black-Box Reductions
Private Approximation of Clustering and Vertex Cover / Renen Hallak ; Kobbi Nissim
Robuster Combiners for Oblivious Transfer / Remo Meier ; Bartosz Przydatek ; Jurg Wullschleger
One-Way Permutations, Interactive Hashing and Statistically Hiding Commitments
Towards a Separation of Semantic and CCA Security for Public Key Encryption / Yael Gertner ; Tal Malkin ; Steven Myers
Key Establishment
Unifying Classical and Quantum Key Distillation / Matthias Christandl ; Artur Ekert ; Michal Horodecki ; Pawel Horodecki ; Jonathan Oppenheim ; Renato Renner
Intrusion-Resilient Key Exchange in the Bounded Retrieval Model / David Cash ; Yan Zong Ding ; Wenke Lee ; Richard Lipton
(Password) Authenticated Key Establishment: From 2-Party to Group / Michel Abdalla ; Jens-Matthias Bohli ; Maria Isabel Gonzalez Vasco ; Rainer Steinwandt
Encryption II
Multi-authority Attribute Based Encryption / Melissa Chase
Conjunctive, Subset, and Range Queries on Encrypted Data / Dan Boneh ; Brent Waters
How to Shuffle in Public / Ben Adida
Evaluating Branching Programs on Encrypted Data / Yuval Ishai ; Anat Paskin
Author Index
Encryption I
Does Privacy Require True Randomness? / Carl Bosley ; Yevgeniy Dodis
Tackling Adaptive Corruptions in Multicast Encryption Protocols / Saurabh Panjwani
Performance Analysis of Wireless Multihop Data Networks / Nidhi Hegde ; Alexandre Proutiere
On the Shaping Introduced by IEEE 802.11 Nodes in Long-Range Dependent Traffic / David Rincon ; David Remondo ; Cristina Cano
Vehicular Networks
Measurements of IEEE 802.11g-Based Ad-Hoc Networks in Motion / Karin A. Hummel ; Alexander C. Adrowitzer ; Helmut Hlavacs
TrafficNet: A L2 Network Architecture for Road-to-Vehicle Communication / David Fuste-Vilella ; Jose-Miguel Pulido ; Jorge Garcia-Vidal ; Steluta Gheorghiu
WLAN and Sensor Networks Protocols
A Protocol Stack for Cooperative Wireless Networks / Jorge Garcia- Vidal ; Manel Guerrero-Zapata ; Julian Morillo-Pozo ; David Fuste- Vilella
Cross Layer Routing and Medium Access Control with Channel Dependant Forwarding in Wireless Ad-Hoc Networks / Anders Nilsson ; Per Johansson ; Ulf Korner
An Energy-Efficient Low-Latency Multi-sink MAC Protocol for Alarm-Driven Wireless Sensor Networks / Antonio Grilo ; Mario Macedo ; Mario Nunes
QoS and Routing in Ad-Hoc Networks
Adaptive QoS Reservation Scheme for Ad-Hoc Networks / Rafael Paoliello-Guimaraes ; Llorenc Cerda-Alabern
DiffServ in Ad Hoc Networks / Tor Kjetil Moseng ; Oivind Kure
Analytical Evaluation of the Overhead Generated by a Routing Scheme with Subnets for MANETs / Johann Lopez ; Jose M. Barcelo
Heterogeneous Networks
Framework for Resource Allocation in Heterogeneous Wireless Networks Using Game Theory / Mariana Dirani ; Tijani Chahed
On the Performance of Mobile IP in Wireless LAN Environments / Rastin Pries ; Andreas Mader ; Dirk Staehle ; Matthias Wiesen
Network Selection Box: An Implementation of Seamless Communication / Stefan Chevul ; Lennart Isaksson ; Markus Fiedler ; Peter Lindberg ; Roland Waltersson
Resource Management in Cellular Networks
Joint Connection and Packet Level Analysis in W-CDMA Radio Interface / Vilius Benetis ; Larissa Popova ; Villy Baek Iversen
Trunk Reservation in Multi-service Networks with BPP Traffic / Zheng He ; Qi Zhang
Feasible Load Regions for Different RRM Strategies for the Enhanced Uplink in UMTS Networks / Tuo Liu ; Hans Barth
TCP in Wireless
On the Interactions Between TCP Westwood and the AODV Routing Protocol / Rosario G. Garroppo ; Luca Tavanti ; Stefano Giordano ; Stefano Lucetti
Stability and Dynamics of TCP-NCR(DCR) Protocol in Presence of UDP Flows / Tadeusz Czachorski ; Krzysztof Grochla ; Ferhan Pekergin
Mobility Agents
Optimization Models for Application Migration to Support Mobile Thin Clients / Pieter Simoens ; Lien Deboosere ; Davy De Winter ; Filip De Turck ; Bart Dhoedt ; Piet Demeester
Author Index
WLAN Characterization
Performance Analysis of Wireless Multihop Data Networks / Nidhi Hegde ; Alexandre Proutiere
On the Shaping Introduced by IEEE 802.11 Nodes in Long-Range Dependent Traffic / David Rincon ; David Remondo ; Cristina Cano
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
ＥＢ
