Last update:
Thu Apr 6 14:57:00 MDT 2006
Anne-Françoise Le Meur and
Charles Consel and
Beno\^\it Escrig An Environment for Building Customizable
Software Components . . . . . . . . . . 1
Nicolas Le Sommer and
Frédéric Guidec A Contract-Based Approach of
Resource-Constrained Software Deployment 15
Marija Mikic-Rakic and
Nenad Medvidovic Architecture-Level Support for Software
Component Deployment in Resource
Constrained Environments . . . . . . . . 31
Susan Eisenbach and
Chris Sadler and
Shakil Shaikh Evolution of Distributed Java Programs 51
Matthew J. Rutherford and
Kenneth Anderson and
Antonio Carzaniga and
Dennis Heimbigner and
Alexander L. Wolf Reconfiguration in the Enterprise
JavaBean Component Model . . . . . . . . 67
Xuejun Chen and
Martin Simons A Component Framework for Dynamic
Reconfiguration of Distributed Systems 82
Nils P. Sudmann and
Dag Johansen Software Deployment Using Mobile Agents 97
Scott A. Hissam and
Gabriel A. Moreno and
Judith A. Stafford and
Kurt C. Wallnau Packaging Predictable Assembly . . . . . 108
Pascal Costanza Dynamic Replacement of Active Objects in
the Gilgul Programming Language . . . . 125
Uwe Aßmann Beyond Generic Component Parameters . . 141
Günter Kniesel and
Michael Austermann CC4J --- Code Coverage for Java . . . . 155
Welf Löwe and
Markus Noga Scenario-Based Connector Optimization 170
Andrea Bracciali and
Antonio Brogi and
Carlos Canal Adapting Components with Mismatching
Behaviours . . . . . . . . . . . . . . . 185
Oscar Nierstrasz and
Gabriela Arévalo and
Stéphane Ducasse and
Roel Wuyts and
Andrew P. Black and
Peter O. Müller and
Christian Zeidler and
Thomas Genssler and
Reinier van den Born A Component Model for Field Devices . . 200
Duangdao Wichadakul and
Klara Nahrstedt A Translation System for Enabling
Flexible and Efficient Deployment of
QoS-Aware Applications in Ubiquitous
Environments . . . . . . . . . . . . . . 210
Vania Marangozova and
Daniel Hagimont An Infrastructure for CORBA Component
Replication . . . . . . . . . . . . . . 222
Iman Poernomo and
Ralf Reussner and
Heinz Schmidt Architectures of Enterprise Systems:
Modelling Transactional Contexts . . . . 233
Gregor von Laszewski and
Eric Blau and
Michael Bletzinger and
Jarek Gawor and
Peter Lane and
Stuart Martin and
Michael Russell Software, Component, and Service
Deployment in Computational Grids . . . 244
Pascal Rapicault and
Jean-Paul Rigault and
Luc Bourlier Model, Notation, and Tools for
Verification of Protocol-Based
Components Assembly . . . . . . . . . . 257
Anonymous Author Index . . . . . . . . . . . . . . 269
Robert P. Kurshan Model Checking and Abstraction . . . . . 1
Derek Long and
Maria Fox and
Muna Hamdi Reformulation in Planning . . . . . . . 18
Sridhar Mahadevan Spatiotemporal Abstraction of Stochastic
Sequential Processes . . . . . . . . . . 33
Aristide Mingozzi State Space Relaxation and Search
Strategies in Dynamic Programming . . . 51
Tristan Cazenave Admissible Moves in Two-Player Games . . 52
Berthe Y. Choueiry and
Amy M. Davis Dynamic Bundling: Less Effort for More
Solutions . . . . . . . . . . . . . . . 64
Eric Hansen and
Rong Zhou and
Zhengzhu Feng Symbolic Heuristic Search Using Decision
Diagrams . . . . . . . . . . . . . . . . 83
Michael Heymann and
Asaf Degani On the Construction of Human-Automation
Interfaces by Formal Abstraction . . . . 99
Lina Khatib and
Paul Morris and
Robert Morris Pareto Optimization of Temporal
Decisions . . . . . . . . . . . . . . . 116
T. K. Satish Kumar An Information-Theoretic
Characterization of Abstraction in
Diagnosis and Hypothesis Selection . . . 126
Daniel Miranker and
Malcolm C. Taylor and
Anand Padmanaban A Tractable Query Cache by Approximation 140
Supratik Mukhopadhyay and
Andreas Podelski An Algebraic Framework for Abstract
Model Checking . . . . . . . . . . . . . 152
Todd W. Neller Action Timing Discretization with
Iterative-Refinement . . . . . . . . . . 170
Aarati Parmar Formalizing Approximate Objects and
Theories: Some Initial Results . . . . . 178
Balaraman Ravindran and
Andrew G. Barto Model Minimization in Hierarchical
Reinforcement Learning . . . . . . . . . 196
Martin Stolle and
Doina Precup Learning Options in Reinforcement
Learning . . . . . . . . . . . . . . . . 212
Xuan-Ha Vu and
Djamila Sam-Haroud and
Marius-Calin Silaghi Approximation Techniques for Non-linear
Problems with Continuum of Solutions . . 224
Bruno Zanuttini Approximation of Relations by
Propositional Formulas: Complexity and
Semantics . . . . . . . . . . . . . . . 242
Jean-Daniel Zucker and
Nicolas Bredeche and
Lorenza Saitta Abstracting Visual Percepts to Learn
Concepts . . . . . . . . . . . . . . . . 256
Bruno Apolloni and
Fabio Baraghini and
Giorgio Palmas PAC Meditation on Boolean Formulas . . . 274
J. Christopher Beck and
Patrick Prosser and
Evgeny Selensky On the Reformulation of Vehicle Routing
Problems and Scheduling Problems . . . . 282
T. K. Satish Kumar and
Richard Dearden The Oracular Constraints Method . . . . 290
Ilya Levner and
Vadim Bulitko and
Omid Madani and
Russell Greiner Performance of Lookahead Control
Policies in the Face of Abstractions and
Approximations . . . . . . . . . . . . . 299
William T. B. Uther and
Manuela M. Veloso TTree: Tree-Based State Generalization
with Temporally Abstract Actions . . . . 308
Jun Zhang and
Adrian Silvescu and
Vasant Honavar Ontology-Driven Induction of Decision
Trees at Multiple Levels of Abstraction 316
Darse Billings Abstracting Imperfect Information Game
Trees . . . . . . . . . . . . . . . . . 324
Adi Botea Using Abstraction for Heuristic Search
and Planning . . . . . . . . . . . . . . 326
Michael Bowling Approximation Techniques in Multiagent
Learning . . . . . . . . . . . . . . . . 328
Daniel Buettner Abstraction and Reformulation in
GraphPlan . . . . . . . . . . . . . . . 330
Bradley J. Clement Abstract Reasoning for Planning and
Coordination . . . . . . . . . . . . . . 331
Irit Askira Gelman Research Summary: Abstraction
Techniques, and Their Value . . . . . . 333
Robert Glaubius Reformulation of Non-binary Constraints 335
T. K. Satish Kumar Reformulating Combinatorial Optimization
as Constraint Satisfaction . . . . . . . 336
Amy McGovern Autonomous Discovery of Abstractions
through Interaction with an Environment 338
Meeko Oishi Interface Verification: Discrete
Abstractions of Hybrid Systems . . . . . 340
Yoshiaki Okubo and
Xiaobo Li Learning Semi-Lattice Codebooks for
Image Compression . . . . . . . . . . . 342
Marc Pickett Research Summary . . . . . . . . . . . . 344
Wheeler Ruml Principled Exploitation of Heuristic
Information . . . . . . . . . . . . . . 345
Lin Xu Reformulation of Temporal Constraint
Networks . . . . . . . . . . . . . . . . 347
Anonymous Author Index . . . . . . . . . . . . . . 349
Natarajan Shankar Static Analysis for Safe Destructive
Updates in a Functional Language . . . . 1
Petros Potikas and
Panos Rondogiannis and
Manolis Gergatsoulis A Transformation Technique for Datalog
Programs Based on Non-deterministic
Constructs . . . . . . . . . . . . . . . 25
Kazuhiko Kakehi and
Robert Glück and
Yoshihiko Futamura On Deforesting Parameters of
Accumulating Maps . . . . . . . . . . . 46
Mauricio Osorio and
Juan A. Navarro and
José Arrazola Equivalence in Answer Set Programming 57
Giorgio Delzanno and
Sandro Etalle Proof Theory, Transformations, and Logic
Programming for Debugging Security
Protocols . . . . . . . . . . . . . . . 76
Michael Leuschel and
Stefan Gruner Abstract Conjunctive Partial Deduction
Using Regular Types and Its Application
to Model Checking . . . . . . . . . . . 91
Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti Verification of Sets of Infinite State
Processes Using Program Transformation 111
Wim Vanhoof and
Maurice Bruynooghe When Size Does Matter . . . . . . . . . 129
Elvira Albert and
Germán Vidal Symbolic Profiling for Multi-paradigm
Declarative Languages . . . . . . . . . 148
Kung-Kiu Lau and
Mario Ornaghi Correct Object-Oriented Systems in
Computational Logic . . . . . . . . . . 168
Sébastien Ferré and
Olivier Ridoux A Framework for Developing Embeddable
Customized Logics . . . . . . . . . . . 191
José J. Alferes and
Antonio Brogi and
João A. Leite and
Luís M. Pereira Computing Environment-Aware Agent
Behaviours with Logic Program Updates 216
James L. Caldwell Extracting General Recursive Program
Schemes in Nuprl's Type Theory . . . . . 233
Mauro Ferrari and
Camillo Fiorentini and
Mario Ornaghi Extracting Exact Time Bounds from
Logical Proofs . . . . . . . . . . . . . 245
Anonymous Author Index . . . . . . . . . . . . . . 267
Jun Ogasawara and
Shinichi Morishita Practical Software for Aligning ESTs to
Human Genome . . . . . . . . . . . . . . 1
Hiroki Arimura Efficient Text Mining with Optimized
Pattern Discovery . . . . . . . . . . . 17
Wojciech Rytter Application of Lempel-Ziv Factorization
to the Approximation of Grammar-Based
Compression . . . . . . . . . . . . . . 20
Raymond Wan and
Alistair Moffat Block Merging for Off-Line Compression 32
Jussi Rautio and
Jani Tanninen and
Jorma Tarhio String Matching with Stopper Encoding
and Code Splitting . . . . . . . . . . . 42
Stéphane Vialette Pattern Matching Problems over
$2$-Interval Sets . . . . . . . . . . . 53
Venkatesan T. Chakaravarthy and
Rajasekar Krishnamurthy The Problem of Context Sensitive String
Matching . . . . . . . . . . . . . . . . 64
Franti\vsek Franek and
Jiandong Jiang and
Weilin Lu and
William F. Smyth Two-Pattern Strings . . . . . . . . . . 76
Dana Shapira and
James A. Storer Edit Distance with Move Operations . . . 85
Jochen Alber and
Jens Gramm and
Jiong Guo and
Rolf Niedermeier Towards Optimally Solving the LONGEST
COMMON SUBSEQUENCE Problem for Sequences
with Nested Arc Annotations in Linear
Time . . . . . . . . . . . . . . . . . . 99
Veli Mäkinen and
Esko Ukkonen Local Similarity Based Point-Pattern
Matching . . . . . . . . . . . . . . . . 115
Costas S. Iliopoulos and
Christos Makris and
Spiros Sioutas and
Athanasios Tsakalidis and
Kostas Tsichlas Identifying Occurrences of Maximal Pairs
in Multiple Strings . . . . . . . . . . 133
Wing-Kai Hon and
Kunihiko Sadakane Space-Economical Algorithms for Finding
Maximal Unique Matches . . . . . . . . . 144
Shunsuke Inenaga and
Masayuki Takeda and
Ayumi Shinohara and
Hiromasa Hoshino and
Setsuo Arikawa The Minimum DAWG for All Suffixes of a
String and Its Applications . . . . . . 153
Tatsuya Akutsu and
Hideo Bannai and
Satoru Miyano and
Sascha Ott On the Complexity of Deriving Position
Specific Score Matrices from Examples 168
Maxime Crochemore and
Costas S. Iliopoulos and
Thierry Lecroq and
Wojciech Plandowski and
Wojciech Rytter Three Heuristics for
$\delta$-Matching:$\delta$-BM Algorithms 178
Brona Brejová and
Tomá\vs Vinar A Better Method for Length Distribution
Modeling in HMMs and Its Application to
Gene Finding . . . . . . . . . . . . . . 190
Heikki Hyyrö and
Gonzalo Navarro Faster Bit-Parallel Approximate String
Matching . . . . . . . . . . . . . . . . 203
Stefan Burkhardt and
Juha Kärkkäinen One-Gapped $\mathbf q$-Gram Filtersfor
Levenshtein Distance . . . . . . . . . . 225
Kimmo Fredriksson and
Gonzalo Navarro and
Esko Ukkonen Optimal Exact and Fast Approximate Two
Dimensional Pattern Matching Allowing
Rotations . . . . . . . . . . . . . . . 235
S. Cenk Sahinalp and
Evan Eichler and
Paul Goldberg and
Petra Berenbrink and
Tom Friedetzky and
Funda Ergun Statistical Identification of Uniformly
Mutated Segments within Repeats . . . . 249
S. Muthu Muthukrishnan and
S. Cenk Sahinalp Simple and Practical Sequence Nearest
Neighbors with Block Operations . . . . 262
Lucian Ilie and
Sheng Yu Constructing \em NFAs by Optimal Use of
Positions in Regular Expressions . . . . 279
Anonymous Author Index . . . . . . . . . . . . . . 289
José Meseguer and
Carolyn Talcott Semantic Models for Distributed Object
Reflection . . . . . . . . . . . . . . . 1
Jörg Kienzle and
Rachid Guerraoui AOP: Does It Make Sense? The Case of
Concurrency and Failures . . . . . . . . 37
Yuuji Ichisugi and
Akira Tanaka Difference-Based Modules: A
Class-Independent Module Mechanism . . . 62
Klaus Ostermann Dynamically Composable Collaborations
with Delegation Layers . . . . . . . . . 89
David F. Bacon and
Stephen J. Fink and
David Grove Space- and Time-Efficient Implementation
of the Java Object Model . . . . . . . . 111
David Hovemeyer and
William Pugh and
Jaime Spacco Atomic Instructions in Java . . . . . . 133
Grzegorz Czajkowski and
Laurent Dayn\`es and
Nathaniel Nystrom Code Sharing among Virtual Machines . . 155
Eli Tilevich and
Yannis Smaragdakis J-Orchestra: Automatic Java Application
Partitioning . . . . . . . . . . . . . . 178
Barry Redmond and
Vinny Cahill Supporting Unanticipated Dynamic
Adaptation of Application Behaviour . . 205
Yoonsik Cheon and
Gary T. Leavens A Simple and Practical Approach to Unit
Testing: The JML and JUnit Way . . . . . 231
Clemens Szyperski Objectively: Components versus Web
Services . . . . . . . . . . . . . . . . 256
Ran Rinat and
Scott Smith Modular Internet Programming with Cells 257
Ciarán Bryce and
Chrislain Razafimahefa and
Michel Pawlak Lana: An Approach to Programming
Autonomous Systems . . . . . . . . . . . 281
Ludger Fiege and
Mira Mezini and
Gero Mühl and
Alejandro P. Buchmann Engineering Event-Based Systems with
Scopes . . . . . . . . . . . . . . . . . 309
Jonathan Aldrich and
Craig Chambers and
David Notkin Architectural Reasoning in ArchJava . . 334
James Noble and
Robert Biddle Patterns as Signs . . . . . . . . . . . 368
Gustaf Neumann and
Uwe Zdun Pattern-Based Design and Implementation
of an XML and RDF Parser and
Interpreter: A Case Study . . . . . . . 392
Nick Benton and
Luca Cardelli and
Cédric Fournet Modern Concurrency Abstractions for
C$^{\sharp}$ . . . . . . . . . . . . . . 415
Atsushi Igarashi and
Mirko Viroli On Variance-Based Subtyping for
Parametric Types . . . . . . . . . . . . 441
Matthias Zenger Type-Safe Prototype-Based Component
Evolution . . . . . . . . . . . . . . . 470
Matthew Arnold and
Barbara G. Ryder Thin Guards: A Simple and Effective
Technique for Reducing the Penalty of
Dynamic Class Loading . . . . . . . . . 498
Neal Glew and
Jens Palsberg Type-Safe Method Inlining . . . . . . . 525
Robert E. Filman Polychotomic Encoding: A Better
Quasi-Optimal Bit-Vector Encoding of
Tree Hierarchies . . . . . . . . . . . . 545
Gregor Snelting and
Frank Tip Semantics-Based Composition of Class
Hierarchies . . . . . . . . . . . . . . 562
Suad Alagi\'c and
Svetlana Kouznetsova Behavioral Compatibility of Self-Typed
Theories . . . . . . . . . . . . . . . . 585
Davide Ancona and
Giovanni Lagorio and
Elena Zucca A Formal Framework for Java Separate
Compilation . . . . . . . . . . . . . . 609
Anonymous Author Index . . . . . . . . . . . . . . 637
Shahar Mendelson and
Robert C. Williamson Agnostic Learning Nonconvex Function
Classes . . . . . . . . . . . . . . . . 1
Shahar Mendelson and
Roman Vershynin Entropy, Combinatorial Dimensions and
Random Averages . . . . . . . . . . . . 14
Shahar Mendelson Geometric Parameters of Kernel Machines 29
Peter L. Bartlett and
Olivier Bousquet and
Shahar Mendelson Localized Rademacher Complexities . . . 44
Olivier Bousquet and
Vladimir Koltchinskii and
Dmitriy Panchenko Some Local Measures of Complexity of
Convex Hulls and Generalization Bounds 59
Eiji Takimoto and
Manfred K. Warmuth Path Kernels and Multiplicative Updates 74
Michael V. Vyugin and
Vladimir V. V'yugin Predictive Complexity and Information 90
Yuri Kalnishkan and
Michael V. Vyugin Mixability and the Existence of Weak
Complexities . . . . . . . . . . . . . . 105
Nicol\`o Cesa-Bianchi and
Alex Conconi and
Claudio Gentile A Second-Order Perceptron Algorithm . . 121
Chris Mesterharm Tracking Linear-Threshold Concepts with
Winnow . . . . . . . . . . . . . . . . . 138
Henning Fernau Learning Tree Languages from Text . . . 153
Yusuke Suzuki and
Ryuta Akanuma and
Takayoshi Shoudai and
Tetsuhiro Miyahara and
Tomoyuki Uchida Polynomial Time Inductive Inference of
Ordered Tree Patterns with Internal
Structured Variables from Positive Data 169
Colin de la Higuera and
Jose Oncina Inferring Deterministic Linear Languages 185
Sandra Zilles Merging Uniform Inductive Learners . . . 201
Jürgen Schmidhuber The Speed Prior: A New Simplicity
Measure Yielding Near-Optimal Computable
Predictions . . . . . . . . . . . . . . 216
Ke Yang New Lower Bounds for Statistical Query
Learning . . . . . . . . . . . . . . . . 229
Nader H. Bshouty and
Jeffrey C. Jackson and
Christino Tamon Exploring Learnability between Exact and
PAC . . . . . . . . . . . . . . . . . . 244
Eyal Even-Dar and
Shie Mannor and
Yishay Mansour PAC Bounds for Multi-armed Bandit and
Markov Decision Processes . . . . . . . 255
Nader H. Bshouty and
Lynn Burroughs Bounds for the Minimum Disagreement
Problem with Applications to Learning
Theory . . . . . . . . . . . . . . . . . 271
Nader H. Bshouty and
Lynn Burroughs On the Proper Learning of Axis Parallel
Concepts . . . . . . . . . . . . . . . . 287
Gábor Lugosi and
Nicolas Vayatis A Consistent Strategy for Boosting
Algorithms . . . . . . . . . . . . . . . 303
Shie Mannor and
Ron Meir and
Tong Zhang The Consistency of Greedy Algorithms for
Classification . . . . . . . . . . . . . 319
Gunnar Rätsch and
Manfred K. Warmuth Maximizing the Margin with Boosting . . 334
Sanjoy Dasgupta Performance Guarantees for Hierarchical
Clustering . . . . . . . . . . . . . . . 351
Marcus Hutter Self-Optimizing and Pareto-Optimal
Policies in General Environments Based
on Bayes-Mixtures . . . . . . . . . . . 364
Lance Fortnow and
Jack H. Lutz Prediction and Dimension . . . . . . . . 380
Christos Papadimitriou Learning the Internet . . . . . . . . . 396
Anonymous Author Index . . . . . . . . . . . . . . 397
Andreas Birk and
Silvia Coradeschi and
Satoshi Tadokoro The Tournament Results of the Different
Leagues of RoboCup-2001 . . . . . . . . 1
Yunpeng Cai and
Jiang Chen and
Jinyi Yao and
Shi Li Global Planning from Local Eyeshot: An
Implementation of Observation-Based Plan
Coordination in RoboCup Simulation Games 12
Ng Beng Kiat and
Quek Yee Ming and
Tay Boon Hock and
Yuen Suen Yee and
Simon Koh LuckyStar II --- Team Description Paper 22
Thilo Weigel and
Alexander Kleiner and
Florian Diesch and
Markus Dietl and
Jens-Steffen Gutmann and
Bernhard Nebel and
Patrick Stiegeler and
Boris Szerbakowski CS Freiburg 2001 . . . . . . . . . . . . 26
Spencer Chen and
Martin Siu and
Thomas Vogelgesang and
Tak Fai Yik and
Bernhard Hengst and
Son Bao Pham and
Claude Sammut The UNSW RoboCup 2001 Sony Legged Robot
League Team . . . . . . . . . . . . . . 39
Takeshi Morimoto and
Kenji Kono and
Ikuo Takeuchi YabAI: The First Rescue Simulation
League Champion . . . . . . . . . . . . 49
Fuminori Yamasaki and
Ken Endo and
Minoru Asada and
Hiroaki Kitano A Control Method for Humanoid Biped
Walking with Limited Torque . . . . . . 60
M. Jamzad and
B. S. Sadjad and
V. S. Mirrokni and
M. Kazemi and
H. Chitsaz and
A. Heydarnoori and
M. T. Hajiaghai and
E. Chiniforooshan A Fast Vision System for Middle Size
Robots in RoboCup . . . . . . . . . . . 71
Emanuele Menegatti and
Francesco Nori and
Enrico Pagello and
Carlo Pellizzari and
Davide Spagnoli Designing an Omnidirectional Vision
System for a Goalkeeper Robot . . . . . 81
John A. Sear and
Rupert W. Ford RoboBase: An Extensible Framework
Supporting Immediate Remote Access to
Logfiles . . . . . . . . . . . . . . . . 92
Tomoichi Takahashi and
Satoshi Tadokoro and
Masayuki Ohta and
Nobuhiro Ito Agent Based Approach in Disaster Rescue
Simulation --- From Test-Bed of
Multiagent System to Practical
Application . . . . . . . . . . . . . . 102
Sebastian Buck and
Michael Beetz and
Thorsten Schmitt Planning and Executing Joint Navigation
Tasks in Autonomous Robot Soccer . . . . 112
Jennifer Casper and
Mark Micire and
Jeff Hyams and
Robin Murphy A Case Study of How Mobile Robot
Competitions Promote Future Research . . 123
Markus Dietl and
Jens-Steffen Gutmann and
Bernhard Nebel CS Freiburg: Global View by Cooperative
Sensing . . . . . . . . . . . . . . . . 133
Carlos F. Marques and
Pedro U. Lima Multi-sensor Navigation for Soccer
Robots . . . . . . . . . . . . . . . . . 144
Noriaki Mitsunaga and
Minoru Asada Visual Attention Control by Sensor Space
Segmentation for a Small Quadruped Robot
Based on Information Criterion . . . . . 154
Itsuki Noda and
Tomoichi Takahashi and
Shuji Morita and
Tetsuhiko Koto and
Satoshi Tadokoro Language Design for Rescue Agents . . . 164
Oliver Obst Specifying Rational Agents with
Statecharts and Utility Functions . . . 173
Luis Paulo Reis and
Nuno Lau COACH UNILANG --- A Standard Language
for Coaching a (Robo)Soccer Team . . . . 183
Thorsten Schmitt and
Robert Hanek and
Sebastian Buck and
Michael Beetz Cooperative Probabilistic State
Estimation for Vision-Based Autonomous
Soccer Robots . . . . . . . . . . . . . 193
Daisuke Sekimori and
Tomoya Usui and
Yasuhiro Masutani and
Fumio Miyazaki High-Speed Obstacle Avoidance and
Self-Localization for Mobile Robots
Based on Omni-directional Imaging of
Floor Region . . . . . . . . . . . . . . 204
Peter Stone and
Richard S. Sutton Keepaway Soccer: A Machine Learning
Testbed . . . . . . . . . . . . . . . . 214
Yasutake Takahashi and
Takashi Tamura and
Minoru Asada Strategy Learning for a Team in
Adversary Environments . . . . . . . . . 224
Eiji Uchibe and
Masakazu Yanase and
Minoru Asada Evolutionary Behavior Selection with
Activation/Termination Constraints . . . 234
Giovanni Adorni and
Luca Bolognini and
Stefano Cagnoni and
Monica Mordonini Stereo Obstacle Detection Method for a
Hybrid Omni-directional/Pin-Hole Vision
System . . . . . . . . . . . . . . . . . 244
Joscha Bach and
Michael Gollin Self-Localisation Revisited . . . . . . 251
Jacky Baltes Yue-Fei: Object Orientation and Id
without Additional Markers . . . . . . . 257
Jacky Baltes Efficient Image Processing for Increased
Resolution and Color Correctness of CMOS
Image Sensors . . . . . . . . . . . . . 263
Jacky Baltes and
Yongjoo Park Comparison of Several Machine Learning
Techniques in Pursuit-Evasion Games . . 269
Ryad Benosman and
Jerome Douret and
Jean Devars A Simple and Accurate Camera Calibration
for the F180 RoboCup League . . . . . . 275
Reinaldo A. C. Bianchi and
Anna H. Reali-Costa Implementing Computer Vision Algorithms
in Hardware: An FPGA/VHDL-Based Vision
System for a Mobile Robot . . . . . . . 281
Andrea Bonarini and
Matteo Matteucci and
Marcello Restelli A Framework for Robust Sensing in
Multi-agent Systems . . . . . . . . . . 287
James Bruce and
Scott Lenser and
Manuela Veloso Fast Parametric Transitions for Smooth
Quadrupedal Motion . . . . . . . . . . . 293
Paul Buhler and
José M. Vidal Biter: A Platform for the Teaching and
Research of Multiagent Systems' Design
Using RoboCup . . . . . . . . . . . . . 299
Mark M. Chang and
Brett Browning and
Gordon F. Wyeth ViperRoos: Developing a Low Cost Local
Vision Team for the Small Size League 305
C. Castelpietra and
A. Guidotti and
L. Iocchi and
D. Nardi and
R. Rosati Design and Implementation of Cognitive
Soccer Robots . . . . . . . . . . . . . 312
Vic Ciesielski and
Dylan Mawhinney and
Peter Wilson Genetic Programming for Robot Soccer . . 319
Christian Drücker and
Sebastian Hübner and
Ubbo Visser and
Hans-Georg Weland ''As Time Goes By'' --- Using Time
Series Based Decision Tree Induction to
Analyze the Behaviour of Opponent
Players . . . . . . . . . . . . . . . . 325
Kosei Demura and
Nobuhiro Tachi and
Tetsuya Maekawa and
Tamaki Ueno KENSEI-chan: Design of a Humanoid for
Running . . . . . . . . . . . . . . . . 331
Albert Figueras and
Joan Colomer and
Thor I. Fossen and
J. Lluis de la Rosa Supervision of Robot Control . . . . . . 337
Ian Frank and
Kumiko Tanaka-Ishii and
Hitoshi Matsubara and
Eiichi Osawa Walkie-Talkie MIKE . . . . . . . . . . . 343
Takeshi Fukase and
Masahiro Yokoi and
Yuichi Kobayashi and
Ryuichi Ueda and
Hideo Yuasa and
Tamio Arai Quadruped Robot Navigation Considering
the Observational Cost . . . . . . . . . 350
Dongbing Gu and
Huosheng Hu Evolving Fuzzy Logic Controllers for
Sony Legged Robots . . . . . . . . . . . 356
Martin Haker and
André Meyer and
Daniel Polani and
Thomas Martinetz A Method for Incorporation of New
Evidence to Improve World State
Estimation . . . . . . . . . . . . . . . 362
Bernhard Hengst and
Darren Ibbotson and
Son Bao Pham and
Claude Sammut Omnidirectional Locomotion for Quadruped
Robots . . . . . . . . . . . . . . . . . 368
Felix v. Hundelshausen and
Sven Behnke and
Raúl Rojas An Omnidirectional Vision System That
Finds and Tracks Color Edges and Blobs 374
Matthew Hunter and
Huosheng Hu A Generalised Approach to Position
Selection for Simulated Soccer Agents 380
Giovanni Indiveri On the Motion Control of a Nonholonomic
Soccer Playing Robot . . . . . . . . . . 387
Guido Isekenmeier and
Bernhard Nebel and
Thilo Weigel Evaluation of the Performance of CS
Freiburg 1999 and CS Freiburg 2000 . . . 393
Stefan J. Johansson and
Alessandro Saffiotti Using the Electric Field Approach in the
RoboCup Domain . . . . . . . . . . . . . 399
Frank de Jong and
Jurjen Caarls and
Robert Bartelds and
Pieter P. Jonker A Two-Tiered Approach to
Self-Localization . . . . . . . . . . . 405
Gerhard Kraetzschmar and
Hans Utz and
Stefan Sablatnög and
Stefan Enderle and
Günther Palm Miro --- Middleware for Cooperative
Robotics . . . . . . . . . . . . . . . . 411
Yoshitaka Kuwata and
Atsushi Shinjoh Building User Models for RoboCup-Rescue
Visualization . . . . . . . . . . . . . 417
Scott Lenser and
James Bruce and
Manuela Veloso A Modular Hierarchical Behavior-Based
Architecture . . . . . . . . . . . . . . 423
Takeshi Matsuoka and
Manabu Araoka and
Tsutomu Hasegawa and
Akira Mohri and
Motoji Yamamoto and
Toshihiro Kiriki and
Nobuhiro Ushimi and
Takuya Sugimoto and
Jyun'ichi Inoue and
Yuuki Yamaguchi Localization and Obstacles Detection
Using Omni-directional Vertical Stereo
Vision . . . . . . . . . . . . . . . . . 429
A. Merke and
M. Riedmiller Karlsruhe Brainstormers --- A
Reinforcement Learning Approach to
Robotic Soccer . . . . . . . . . . . . . 435
Andrea Miene and
Ubbo Visser Interpretation of Spatio-temporal
Relations in Real-Time and Dynamic
Environments . . . . . . . . . . . . . . 441
Son Bao Pham and
Bernhard Hengst and
Darren Ibbotson and
Claude Sammut Stochastic Gradient Descent Localisation
in Quadruped Robots . . . . . . . . . . 447
Patrick Riley and
Manuela Veloso Recognizing Probabilistic Opponent
Movement Models . . . . . . . . . . . . 453
Kuo-Yang Tu Design and Implementation of a Soccer
Robot with Modularized Control Circuits 459
Hui Wang and
Han Wang and
Chunmiao Wang and
William Y. C. Soh Cooperation-Based Behavior Design . . . 465
Hui Wang and
Han Wang and
Chunmiao Wang and
William Y. C. Soh Multi-platform Soccer Robot Development
System . . . . . . . . . . . . . . . . . 471
Nobuhiro Ushimi and
Motoji Yamamoto and
Jyun'ichi Inoue and
Takuya Sugimoto and
Manabu Araoka and
Takeshi Matsuoka and
Toshihiro Kiriki and
Yuuki Yamaguchi and
Tsutomu Hasegawa and
Akira Mohri On-line Navigation of Mobile Robot Among
Moving Obstacles Using Ultrasonic
Sensors . . . . . . . . . . . . . . . . 477
Keisuke Suzuki and
Naotaka Tanaka and
Mio Yamamoto 11monkeys3 Team Description . . . . . . 484
Eslam Nazemi and
Mahmood Rahmani and
Bahman Radjabalipour 3T Architecture for the SBCe Simulator
Team . . . . . . . . . . . . . . . . . . 487
Jinyi Yao and
Jiang Chen and
Yunpeng Cai and
Shi Li Architecture of TsinghuAeolus . . . . . 491
Peter Stone ATTUnited-2001: Using Heterogeneous
Players . . . . . . . . . . . . . . . . 495
Keen Browne and
Jon McCune and
Adam Trost and
David Evans and
David Brogan Behavior Combination and Swarm
Programming . . . . . . . . . . . . . . 499
Paul Carpenter and
Patrick Riley and
Gal Kaminka and
Manuela Veloso and
Ignacio Thayer and
Robert Wang ChaMeleons-01 Team Description . . . . . 503
Mikhail Prokopenko and
Peter Wang and
Thomas Howard Cyberoos'2001: ``Deep Behaviour
Projection'' Agent Architecture . . . . 507
Huosheng Hu and
Kostas Kostiadis and
Matthew Hunter and
Nikolaos Kalyviotis Essex Wizards 2001 Team Description . . 511
Nuno Lau and
Luis Paulo Reis FC Portugal 2001 Team Description:
Flexible Teamwork and Configurable
Strategy . . . . . . . . . . . . . . . . 515
Bahador Nooraei B. and
Siavash Rahbar N. and
Omid Aladini Helli-Respina 2001 Team Description
Paper . . . . . . . . . . . . . . . . . 519
Anthony Yuen Lazarus Team Description . . . . . . . . 522
Jan Murray and
Oliver Obst and
Frieder Stolzenburg RoboLog Koblenz 2001 . . . . . . . . . . 526
A. Arnold and
F. Flentge and
Ch. Schneider and
G. Schwandtner and
Th. Uthmann and
M. Wache Team Description Mainz Rolling Brains
2001 . . . . . . . . . . . . . . . . . . 531
Tetsuya Esaki and
Taku Sakushima and
Yoshiki Asai and
Nobuhiro Ito Team Description of NITStones2001 . . . 535
Koji Nakayama and
Ikuo Takeuchi Team YowAI-2001 Description . . . . . . 539
Sean Buttinger and
Marco Diedrich and
Leo Hennig and
Angelika Hoenemann and
Philipp Huegelmeyer and
Andreas Nie and
Andres Pegam and
Collin Rogowski and
Claus Rollinger and
Timo Steffens and
Wilfried Teiken The Dirty Dozen Team and Coach
Description . . . . . . . . . . . . . . 543
Gordon Wyeth and
Mark Venz and
Helen Mayfield and
Jun Akiyama and
Rex Heathwood UQ CrocaRoos: An Initial Entry to the
Simulation League . . . . . . . . . . . 547
Remco de Boer and
Jelle Kok and
Frans Groen UvA Trilearn 2001 Team Description . . . 551
Takuya Morishita and
Hiroki Shimora and
Kouichirou Hiratsuka and
Takenori Kubo and
Kyoichi Hiroshima and
Raiko Funakami and
Junji Nishino and
Tomohiro Odaka and
Hisakazu Ogura Zeng01 Team Description: Formation
Decision Method Using Game Theory . . . 555
Jacky Baltes 4 Stooges . . . . . . . . . . . . . . . 559
Paulo Costa and
Armando Sousa and
Paulo Marques and
Pedro Costa and
Susana Gaio and
António Moreira 5dpo Team Description . . . . . . . . . 563
Brett Browning and
Michael Bowling and
James Bruce and
Ravi Balasubramanian and
Manuela Veloso CM-Dragons'01 --- Vision-Based Motion
Tracking and Heteregenous Robots . . . . 567
Raúl Rojas and
Sven Behnke and
Achim Liers and
Lars Knipping FU-Fighters 2001 (Global Vision) . . . . 571
Raúl Rojas and
Felix von Hundelshausen and
Sven Behnke and
Bernhard Frötschl FU-Fighters Omni 2001 (Local Vision) . . 575
Shinya Hibino and
Yukiharu Kodama and
Yasunori Nagasaka and
Tomoichi Takahashi and
Kazuhito Murakami and
Tadashi Naruse Owaribito --- A Team Description . . . . 579
Francis Bras and
Ryad Benosman and
André Anglade and
Seko Latidine and
Olivier Martino and
Aude Lagardere and
Alain Boun and
Alain Testa and
Gilles Cordurié RoboCup 2001 (F180) Team Description:
RoboSix UPMC-CFA (France) . . . . . . . 583
J. Ll. de la Rosa and
B. Innocenti and
M. Montaner and
A. Figueras and
I. Muñoz and
J. A. Ramon Rogi Team Description . . . . . . . . . 587
Jason Thomas and
Kenichi Yoshimura and
Andrew Peel Roobots . . . . . . . . . . . . . . . . 591
Mohammad Taghi Manzuri and
Hamid Reza Chitsaz and
Reza Ghorbani and
Pooya Karimian and
Alireza Mirazi and
Mehran Motamed and
Roozbeh Mottaghi and
Payam Sabzmeydani Sharif CESR Small Size Robocup Team . . 595
Daisuke Sekimori and
Nobuhito Mori and
Junichi Ieda and
Wataru Matsui and
Osamu Miyake and
Tomoya Usui and
Yukihisa Tanaka and
Dong Pyo Kim and
Tetsuhiro Maeda and
Hirokazu Sugimoto and
Ryouhei Fujimoto and
Masaya Enomoto and
Yasuhiro Masutani and
Fumio Miyazaki The Team Description of the Team OMNI 599
Gordon Wyeth and
David Ball and
David Cusack and
Adrian Ratnapala UQ RoboRoos: Achieving Power and Agility
in a Small Size Robot . . . . . . . . . 603
Mark M. Chang and
Gordon F. Wyeth ViperRoos 2001 . . . . . . . . . . . . . 607
Thorsten Schmitt and
Sebastian Buck and
Michael Beetz AGILO RoboCuppers 2001: Utility- and
Plan-Based Action Selection Based on
Probabilistically Estimated Game
Situations . . . . . . . . . . . . . . . 611
E. Pagello and
M. Bert and
M. Barbon and
E. Menegatti and
C. Moroni and
C. Pellizzari and
D. Spagnoli and
S. Zaffalon Artisti Veneti: An Heterogeneous Robot
Team for the 2001 Middle-Size League . . 616
M. Jamzad and
H. Chitsaz and
A. Foroughnassirai and
R. Ghorbani and
M. Kazemi and
V. S. Mirrokni and
B. S. Sadjad Basic Requirements for a Teamwork in
Middle Size RoboCup . . . . . . . . . . 621
Matthijs Spaan and
Marco Wiering and
Robert Bartelds and
Raymond Donkervoort and
Pieter Jonker and
Frans Groen Clockwork Orange: The Dutch RoboSoccer
Team . . . . . . . . . . . . . . . . . . 627
Steve Stancliff and
Ravi Balasubramanian and
Tucker Balch and
Rosemary Emery and
Kevin Sikorski and
Ashley Stroupe CMU Hammerheads 2001 Team Description 631
R. Lafrenz and
M. Becht and
T. Buchheim and
P. Burger and
G. Hetzel and
G. Kindermann and
M. Schanz and
M. Schulé and
P. Levi CoPS-Team Description . . . . . . . . . 635
Andrea Bonarini and
Giovanni Invernizzi and
Fabio Marchese and
Matteo Matteucci and
Marcello Restelli and
Domenico Sorrenti Fun2Mas: The Milan Robocup Team . . . . 639
Takeshi Matsuoka and
Motoji Yamamoto and
Nobuhiro Ushimi and
Jyun'ichi Inoue and
Takuya Sugimoto and
Manabu Araoka and
Toshihiro Kiriki and
Yuuki Yamaguchi and
Tsutomu Hasegawa and
Akira Mohri Fusion . . . . . . . . . . . . . . . . . 643
Ansgar Bredenfeld and
Vlatko Becanovic and
Thomas Christaller and
Horst Günther and
Giovanni Indiveri and
Hans-Ulrich Kobialka and
Paul-Gerhard Plöger and
Peter Schöll GMD-Robots . . . . . . . . . . . . . . . 648
Pedro Lima and
Luis Custódio and
Bruno Damas and
Manuel Lopes and
Carlos Marques and
Luis Toscano and
Rodrigo Ventura ISocRob 2001 Team Description . . . . . 653
Fernando Ribeiro and
Carlos Machado and
Sérgio Sampaio and
Bruno Martins MINHO Robot Football Team for 2001 . . . 657
Yasutake Takahashi and
Shoichi Ikenoue and
Shujiro Inui and
Kouichi Hikita and
Yutaka Katoh and
Minoru Asada Osaka University ``Trackies 2001'' . . . 661
Ryad Benosman and
Francis Bras and
Frederic Bach and
Simon Boulay and
Emmanuelle Cahn and
Sylvain Come and
Gilles Cordurié and
Jarlegan Marie Annick and
Lapied Loic and
Cyrille Potereau and
Franck Richard and
Samedi Sath and
Xavier Vasseur and
Pascal Vincent ROBOSIX UPMC-CFA: RoboCup Team
Description . . . . . . . . . . . . . . 665
Luca Iocchi and
Daniele Baldassari and
Flavio Cappelli and
Alessandro Farinelli and
Giorgio Grisetti and
Floris Maathuis and
Daniele Nardi S.P.Q.R. Wheeled Team . . . . . . . . . 669
Kazuo Yoshida and
Ryoichi Tsuzaki and
Junichi Kougo and
Takaaki Okabe and
Nobuyuki Kurihara and
Daiki Sakai and
Ryotaku Hayashi and
Hikari Fujii Team Description Eigen . . . . . . . . . 673
Hans Utz and
Gerd Mayer and
Dominik Maschke and
Alexander Neubeck and
Peter Schaeffer and
Philipp Baer and
Ingmar Baetge and
Jan Fischer and
Roland Holzer and
Markus Lauer and
Alexander Reisser and
Florian Sterk and
Günther Palm and
Gerhard Kraetzschmar The Ulm Sparrows 2001 . . . . . . . . . 677
Kentaro Oda and
Takeshi Ohashi and
Shuichi Kouno and
Kunio Gohara and
Toyohiro Hayashi and
Takeshi Kato and
Yuki Katsumi and
Toshiyuki Ishimura ASURA: Kyushu United Team in the Four
Legged Robot League . . . . . . . . . . 681
Noriaki Mitsunaga and
Yukie Nagai and
Tomohiro Ishida and
Taku Izumi and
Minoru Asada BabyTigers 2001: Osaka Legged Robot Team 685
H. Levent Akin and
Andon Topalov and
Okyay Kaynak Cerberus 2001 Team Description . . . . . 689
William Uther and
Scott Lenser and
James Bruce and
Martin Hock and
Manuela Veloso CM-Pack'01: Fast Legged Robot Walking,
Robust Localization, and Team Behaviors 693
Huosheng Hu and
Dongbing Gu and
Dragos Golubovic and
Bo Li and
Zhengyu Liu Essex Rovers 2001 Team Description . . . 697
Vincent Hugel and
Olivier Stasse and
Patrick Bonnin and
Pierre Blazevic French LRP Team's Description . . . . . 701
Ronnie Brunn and
Uwe Düffert and
Matthias Jüngel and
Tim Laue and
Martin Lötzsch and
Sebastian Petters and
Max Risler and
Thomas Röfer and
Kai Spiess and
Andreas Sztybryc GermanTeam 2001 . . . . . . . . . . . . 705
Daniel Sud and
Francois Cayouette and
Gu Jin Hua and
Jeremy Cooperstock McGill Reddogs . . . . . . . . . . . . . 709
Kate Clarke and
Stephen Dempster and
Ian Falcao and
Bronwen Jones and
Daniel Rudolph and
Alan Blair and
Chris McCarthy and
Dariusz Walter and
Nick Barnes RoboMutts ++ . . . . . . . . . . . . . . 713
D. Nardi and
V. Bonifaci and
C. Castelpietra and
U. Di Iorio and
A. Guidotti and
L. Iocchi and
M. Salerno and
F. Zonfrilli S.P.Q.R. Legged Team . . . . . . . . . . 717
D. Azari and
J. K. Burns and
K. Deshmukh and
D. Fox and
D. Grimes and
C. T. Kwok and
R. Pitkanen and
A. P. Shon and
P. Tressel Team Description: UW Huskies-01 . . . . 721
A. Saffiotti and
A. Björklund and
S. Johansson and
Z. Wasik Team Sweden . . . . . . . . . . . . . . 725
Tamio Arai and
Takeshi Fukase and
Ryuichi Ueda and
Yuichi Kobayashi and
Takanobu Kawabe The Team Description of ARAIBO . . . . . 730
Sachin Chitta and
William Sacks and
Jim Ostrowski and
Aveek Das and
P. K. Mishra The University of Pennsylvania RoboCup
Legged Soccer Team . . . . . . . . . . . 734
Xiang Li and
Zefeng Zhang and
Lei Jiang and
Xiaoping Chen Wright Eagle 2001 --- Sony Legged Robot
Team . . . . . . . . . . . . . . . . . . 739
Taku Sakushima and
Tetsuya Esaki and
Yoshiki Asai and
Nobuhiro Ito and
Koichi Wada A Design of Agents for the Disaster
Simulator on RoboCup-Rescue . . . . . . 743
Jafar Habibi and
Ali Nouri and
Mazda Ahmadi An Approach to Multi-agent Communication
Used in RobocupRescue . . . . . . . . . 747
Ranjit Nair and
Takayuki Ito and
Milind Tambe and
Stacy Marsella Task Allocation in the RoboCup Rescue
Simulation Domain: A Short Note . . . . 751
Lin Padgham and
John Thangarajah and
David Poutakidis and
Chandaka Fernando Team Description for RMIT-on-Fire:
Robocup Rescue Simulation Team 2001 . . 755
Anonymous Author Index . . . . . . . . . . . . . . 759
Natarajan Shankar and
Harald Rueß Combining Shostak Theories . . . . . . . 1
John C. Mitchell Multiset Rewriting and Security Protocol
Analysis . . . . . . . . . . . . . . . . 19
Franz Baader Engineering of Logics for the
Content-Based Representation of
Information . . . . . . . . . . . . . . 23
Paul-André Melli\`es Axiomatic Rewriting Theory VI Residual
Theory Revisited . . . . . . . . . . . . 24
Richard Kennaway and
Zurab Khasidashvili and
Adolfo Piperno Static Analysis of Modularity of
$\beta$-Reduction in the Hyperbalanced
$\lambda$-Calculus . . . . . . . . . . . 51
Germain Faure and
Claude Kirchner Exceptions in the Rewriting Calculus . . 66
Georg Struth Deriving Focused Lattice Calculi . . . . 83
Hiroyuki Seki and
Toshinori Takai and
Youhei Fujinaka and
Yuichi Kaji Layered Transducing Term Rewriting
System and Its Recognizability
Preserving Property . . . . . . . . . . 98
Hitoshi Ohsaki and
Toshinori Takai Decidability and Closure Properties of
Equational Tree Languages . . . . . . . 114
Pierre Réty and
Julie Vuotto Regular Sets of Descendants by Some
Rewrite Strategies . . . . . . . . . . . 129
Johannes Waldmann Rewrite Games . . . . . . . . . . . . . 144
Paula Severi and
Fer-Jan de Vries An Extensional Böhm Model . . . . . . . . 159
Julien Forest A Weak Calculus with Explicit Operators
for Pattern Matching and Substitution 174
Chuck Liang and
Gopalan Nadathur Tradeoffs in the Intensional
Representation of Lambda Terms . . . . . 192
David Déharbe and
Anamaria Martins Moreira and
Christophe Ringeissen Improving Symbolic Model Checking by
Rewriting Temporal Logic Formulae . . . 207
Janis Voigtländer Conditions for Efficiency Improvement by
Tree Transducer Composition . . . . . . 222
Martin Bravenboer and
Eelco Visser Rewriting Strategies for Instruction
Selection . . . . . . . . . . . . . . . 237
Olivier Bournez and
Claude Kirchner Probabilistic Rewrite Strategies.
Applications to \em ELAN . . . . . . . . 252
Alfons Geser Loops of Superexponential Lengths in
One-Rule String Rewriting . . . . . . . 267
Elias Tahhan-Bittar Recursive Derivational Length Bounds for
Confluent Term Rewrite Systems . . . . . 281
Salvador Lucas Termination of (Canonical)
Context-Sensitive Rewriting . . . . . . 296
Witold Charatonik and
Jean-Marc Talbot Atomic Set Constraints with Projection 311
Jordi Levy and
Mateu Villaret Currying Second-Order Unification
Problems . . . . . . . . . . . . . . . . 326
Dan Dougherty and
Tomasz Wierzbicki A Decidable Variant of Higher Order
Matching . . . . . . . . . . . . . . . . 340
Franz Baader and
Cesare Tinelli Combining Decision Procedures for
Positive Theories Sharing Constructors 352
Jaco van de Pol JITty: A Rewriter with Strategy
Annotations . . . . . . . . . . . . . . 367
Ir\`ene Durand Autowrite: A Tool for Checking
Properties of Term Rewriting Systems . . 371
Benoit Lecland and
Pierre Réty TTSLI: An Implementation of Tree-Tuple
Synchronized Languages . . . . . . . . . 376
Sylvain Lippi in$^2$: A Graphical Interpreter for
Interaction Nets . . . . . . . . . . . . 380
Anonymous Author Index . . . . . . . . . . . . . . 387
Lars Geyer and
Martin Becker On the Influence of Variabilities on the
Application-Engineering Process of a
Product Family . . . . . . . . . . . . . 1
Michel Jaring and
Jan Bosch Representing Variability in Software
Product Lines: A Case Study . . . . . . 15
Charles W. Krueger Variation Management for Software
Production Lines . . . . . . . . . . . . 37
Günter Böckle and
Jesús Bermejo Muñoz and
Peter Knauber and
Charles W. Krueger and
Julio Cesar Sampaio do Prado Leite and
Frank van der Linden and
Linda Northrop and
Michael Stark and
David M. Weiss Adopting and Institutionalizing a
Product Line Culture . . . . . . . . . . 49
Stefan Voget and
Martin Becker Establishing a Software Product Line in
an Immature Domain . . . . . . . . . . . 60
Jan Gerben Wijnstra Critical Factors for a Successful
Platform-Based Product Family Approach 68
Jay van Zyl Product Line Architecture and the
Separation of Concerns . . . . . . . . . 90
Dirk Muthig and
Colin Atkinson Model-Driven Product Line Architectures 110
Steffen Thiel and
Andreas Hein Systematic Integration of Variability
into Product Line Architecture Design 130
T. John Brown and
Ivor Spence and
Peter Kilpatrick and
Danny Crookes Adaptable Components for Software
Product Line Engineering . . . . . . . . 154
Mike Mannion Using First-Order Logic for Product Line
Model Validation . . . . . . . . . . . . 176
Wolfgang Pree and
Marcus Fontoura and
Bernhard Rumpe Product Line Annotations with UML-F . . 188
Dániel Fey and
Róbert Fajta and
András Boros Feature Modeling: A Meta-Model to
Enhance Usability and Usefulness . . . . 198
Arie van Deursen and
Merijn de Jonge and
Tobias Kuipers Feature-Based Product Line Instantiation
Using Source-Level Packages . . . . . . 217
Stefan Ferber and
Jürgen Haag and
Juha Savolainen Feature Interaction and Dependencies:
Modeling Features for Reengineering a
Legacy Product Line . . . . . . . . . . 235
Jan Bosch Maturity and Evolution in Software
Product Lines: Approaches, Artefacts and
Organization . . . . . . . . . . . . . . 257
Daniel Simon and
Thomas Eisenbarth Evolutionary Introduction of Software
Product Lines . . . . . . . . . . . . . 272
Truman M. Jolley and
David J. Kasik and
Conrad E. Kimball Governance Polarities of Internal
Product Lines . . . . . . . . . . . . . 284
Sherif Yacoub Performance Analysis of Component-Based
Applications . . . . . . . . . . . . . . 299
Dennis Smith and
Liam O' Brien and
John Bergey Using the Options Analysis for
Reengineering (OAR) Method for Mining
Components for a Product Line . . . . . 316
Rob van Ommering and
Jan Bosch Widening the Scope of Software Product
Lines --- From Variation to Composition 328
Tomoji Kishi and
Natsuko Noda and
Takuya Katayama A Method for Product Line Scoping Based
on a Decision-Making Framework . . . . . 348
Kyo C. Kang and
Patrick Donohoe and
Eunman Koh and
Jaejoon Lee and
Kwanwoo Lee Using a Marketing and Product Plan as a
Key Driver for Product Line Asset
Development . . . . . . . . . . . . . . 366
Frank van der Linden Engineering Software Architectures,
Processes and Platforms for System
Families --- ESAPS Overview . . . . . . 383
Anonymous Author Index . . . . . . . . . . . . . . 399
John H. Reif Molecular Assembly and Computation: From
Theory to Experimental Demonstrations 1
Madhav V. Marathe Towards a Predictive Computational
Complexity Theory . . . . . . . . . . . 22
Andrew M. Pitts Equivariant Syntax and Semantics . . . . 32
Alberto Del Lungo and
Andrea Frosini and
Maurice Nivat and
Laurent Vuillon Discrete Tomography: Reconstruction
under Periodicity Constraints . . . . . 38
Heikki Mannila Local and Global Methods in Data Mining:
Basic Techniques and Open Problems . . . 57
M. Hermenegildo and
G. Puebla and
F. Bueno and
P. López-García Program Debugging and Validation Using
Semantic Approximations and Partial
Specifications . . . . . . . . . . . . . 69
Lars Engebretsen and
Jonas Holmerin and
Alexander Russell Inapproximability Results for Equations
over Finite Groups . . . . . . . . . . . 73
Seth Pettie A Faster All-Pairs Shortest Path
Algorithm for Real-Weighted Sparse
Graphs . . . . . . . . . . . . . . . . . 85
Thomas Colcombet On Families of Graphs Having a Decidable
First Order Theory with Reachability . . 98
Alex Fabrikant and
Elias Koutsoupias and
Christos H. Papadimitriou Heuristically Optimized Trade-Offs: A
New Paradigm for Power Laws in the
Internet . . . . . . . . . . . . . . . . 110
Dimitris Fotakis and
Spyros Kontogiannis and
Elias Koutsoupias and
Marios Mavronicolas and
Paul Spirakis The Structure and Complexity of Nash
Equilibria for a Selfish Routing Game 123
Sanjeev Khanna and
Joseph (Seffi) Naor and
Dan Raz Control Message Aggregation in Group
Communication Protocols . . . . . . . . 135
Tomasz Jurdzi\'nski and
Krzysztof Lorys Church-Rosser Languages vs. UCFL . . . . 147
Sebastian Bala Intersection of Regular Languages and
Star Hierarchy . . . . . . . . . . . . . 159
Sylvain Lombardy On the Construction of Reversible
Automata for Reversible Languages . . . 170
Amr Elmasry Priority Queues, Pairing, and Adaptive
Sorting . . . . . . . . . . . . . . . . 183
Michael A. Bender and
Richard Cole and
Rajeev Raman Exponential Structures for Efficient
Cache-Oblivious Algorithms . . . . . . . 195
Russell Impagliazzo and
Nathan Segerlind Bounded-Depth Frege Systems with
Counting Axioms Polynomially Simulate
Nullstellensatz Refutations . . . . . . 208
Juan Luis Esteban and
Nicola Galesi and
Jochen Messner On the Complexity of Resolution with
Bounded Conjunctions . . . . . . . . . . 220
Aggelos Kiayias and
Moti Yung Cryptographic Hardness Based on the
Decoding of Reed-Solomon Codes . . . . . 232
Yuval Ishai and
Eyal Kushilevitz Perfect Constant-Round Secure
Computation via Perfect Randomizing
Polynomials . . . . . . . . . . . . . . 244
Dima Grigoriev and
Edward A. Hirsch and
Dmitrii V. Pasechnik Exponential Lower Bound for Static
Semi-algebraic Proofs . . . . . . . . . 257
Andreas Jakoby and
Maciej Liskiewicz Paths Problems in Symmetric Logarithmic
Space . . . . . . . . . . . . . . . . . 269
Peter Damaschke Scheduling Search Procedures . . . . . . 281
Kazuo Iwama and
Shiro Taketomi Removable Online Knapsack Problems . . . 293
Leah Epstein and
Steve Seiden and
Rob van Stee New Bounds for Variable-Sized and
Resource Augmented Online Bin Packing 306
Nicolas Ollinger The Quest for Small Universal Cellular
Automata . . . . . . . . . . . . . . . . 318
Christophe Papazian and
Eric Rémila Hyperbolic Recognition by Graph Automata 330
Farid Ablayev and
Cristopher Moore and
Christopher Pollett Quantum and Stochastic Branching
Programs of Bounded Width . . . . . . . 343
Luisa Gargano and
Pavol Hell and
Ladislav Stacho and
Ugo Vaccaro Spanning Trees with Bounded Number of
Branch Vertices . . . . . . . . . . . . 355
René Beier and
Peter Sanders and
Naveen Sivadasan Energy Optimal Routing in Radio Networks
Using Geometric Data Structures . . . . 366
Malin Christersson and
Leszek Gasieniec and
Andrzej Lingas Gossiping with Bounded Size Messages in
ad hoc Radio Networks . . . . . . . . . 377
Wolfgang Merkle The Kolmogorov-Loveland Stochastic
Sequences Are Not Closed under Selecting
Subsequences . . . . . . . . . . . . . . 390
Robert A. Hearn and
Erik D. Demaine The Nondeterministic Constraint Logic
Model of Computation: Reductions and
Applications . . . . . . . . . . . . . . 401
Víctor Dalmau Constraint Satisfaction Problems in
Non-deterministic Logarithmic Space . . 414
Gerth Stòlting Brodal and
Rolf Fagerberg Cache Oblivious Distribution Sweeping 426
Anna Östlin and
Rasmus Pagh One-Probe Search . . . . . . . . . . . . 439
Moses Charikar and
Piotr Indyk and
Rina Panigrahy New Algorithms for Subset Query, Partial
Match, Orthogonal Range Searching, and
Related Problems . . . . . . . . . . . . 451
Keye Martin and
Michael Mislove and
James Worrell Measuring the Probabilistic Powerdomain 463
C.-H. L. Ong and
P. Di Gianantonio Games Characterizing Levy-Longo Trees 476
Andrej Bauer and
Martín Hötzel Escardó and
Alex Simpson Comparing Functional Paradigms for Exact
Real-Number Computation . . . . . . . . 488
Philippe Duchon and
Philippe Flajolet and
Guy Louchard and
Gilles Schaeffer Random Sampling from Boltzmann
Principles . . . . . . . . . . . . . . . 501
Amalia Duch and
Conrado Martínez On the Average Performance of Orthogonal
Range Search in Multidimensional Data
Structures . . . . . . . . . . . . . . . 514
Marco Kick Bialgebraic Modelling of Timed Processes 525
Franck van Breugel and
Steven Shalit and
James Worrell Testing Labelled Markov Processes . . . 537
John M. Hitchcock and
Jack H. Lutz Why Computational Complexity Requires
Stricter Martingales . . . . . . . . . . 549
John M. Hitchcock Correspondence Principles for Effective
Dimensions . . . . . . . . . . . . . . . 561
José Meseguer and
Grigore Rosu A Total Approach to Partial Algebraic
Specification . . . . . . . . . . . . . 572
Markus Lohrey and
Pedro R. D'Argenio and
Holger Hermanns Axiomatising Divergence . . . . . . . . 585
Luca Cardelli and
Philippa Gardner and
Giorgio Ghelli A Spatial Logic for Querying Graphs . . 597
Tomasz Radzik Improving Time Bounds on Maximum
Generalised Flow Computations by
Contracting the Network . . . . . . . . 611
Piotr Berman and
Marek Karpinski Approximation Hardness of Bounded Degree
MIN-CSP and MIN-BISECTION . . . . . . . 623
Camil Demetrescu and
Giuseppe F. Italiano Improved Bounds and New Trade-Offs for
Dynamic All Pairs Shortest Paths . . . . 633
Thomas A. Henzinger and
Sriram C. Krishnan and
Orna Kupferman and
Freddy Y. C. Mang Synthesis of Uninitialized Systems . . . 644
Blaise Genest and
Anca Muscholl and
Helmut Seidl and
Marc Zeitoun Infinite-State High-Level MSCs:
Model-Checking and Realizability . . . . 657
Géraud Sénizergues L(A) = L(B)? Decidability Results from
Complete Formal Systems . . . . . . . . 37
Klaus Wich Universal Inherence of Cycle-Free
Context-Free Ambiguity Functions . . . . 669
Sudipto Guha and
Piotr Indyk and
S. Muthukrishnan and
Martin J. Strauss Histogramming Data Streams with Fast
Per-Item Processing . . . . . . . . . . 681
Moses Charikar and
Kevin Chen and
Martin Farach-Colton Finding Frequent Items in Data Streams 693
Thierry Cachat Symbolic Strategy Synthesis for Games on
Pushdown Graphs . . . . . . . . . . . . 704
Ji\vrí Srba Strong Bisimilarity and Regularity of
Basic Process Algebra Is PSPACE-Hard . . 716
Gerth Stòlting Brodal and
Rune B. Lyngsò and
Anna Östlin and
Christian N. S. Pedersen Solving the String Statistics Problem in
Time $\mathcal{O}(n\log n)$ . . . . . . 728
Xiaotie Deng and
Guojun Li and
Zimao Li and
Bin Ma and
Lusheng Wang A PTAS for Distinguishing (Sub)string
Selection . . . . . . . . . . . . . . . 740
Dietrich Kuske and
Markus Lohrey On the Theory of One-Step Rewriting in
Trace Monoids . . . . . . . . . . . . . 752
Micha\l Bielecki and
Jan Hidders and
Jan Paredaens and
Jerzy Tyszkiewicz and
Jan Van den Bussche Navigating with a Browser . . . . . . . 764
V. S. Anil Kumar and
Madhav V. Marathe Improved Results for Stackelberg
Scheduling Strategies . . . . . . . . . 776
Udo Adamy and
Christoph Ambuehl and
R. Sai Anand and
Thomas Erlebach Call Control in Rings . . . . . . . . . 788
Marek Chrobak and
Leah Epstein and
John Noga and
Ji\vrí Sgall and
Rob van Stee and
Tomá\vs Tichý and
Nodari Vakhania Preemptive Scheduling in Overloaded
Systems . . . . . . . . . . . . . . . . 800
J. Karhumäki and
L. P. Lisovik The Equivalence Problem of Finite
Substitutions on ab$^*$ c, with
Applications . . . . . . . . . . . . . . 812
Colin Stirling Deciding DPDA Equivalence Is Primitive
Recursive . . . . . . . . . . . . . . . 821
Miko\laj Boja\'nczyk Two-Way Alternating Automata and Finite
Models . . . . . . . . . . . . . . . . . 833
Piotr Berman and
Marek Karpinski and
Yakov Nekrich Approximating Huffman Codes in Parallel 845
Carlo Fantozzi and
Andrea Pietracaprina and
Geppino Pucci Seamless Integration of Parallelism and
Memory Hierarchy . . . . . . . . . . . . 856
Noam Nisan The Communication Complexity of
Approximate Set Packing and Covering . . 868
Benjamin Doerr Antirandomizing the Wrong Game . . . . . 876
Karhan Akcoglu and
Petros Drineas and
Ming-Yang Kao Fast Universalization of Investment
Strategies with Provably Good Relative
Returns . . . . . . . . . . . . . . . . 888
Micah Adler and
Harald Räcke and
Naveen Sivadasan and
Christian Sohler and
Berthold Vöcking Randomized Pursuit-Evasion in Graphs . . 901
J. B. Wells The Essence of Principal Typings . . . . 913
Bharat Adsul and
Milind Sohoni Complete and Tractable Local Linear Time
Temporal Logics over Traces . . . . . . 926
Paul Gastin and
Madhavan Mukund An Elementary Expressively Complete
Temporal Logic for Mazurkiewicz Traces 938
Vasco Brattka Random Numbers and an Incomplete Immune
Recursive Set . . . . . . . . . . . . . 950
Peter Hertling A Banach-Mazur Computable But Not Markov
Computable Function on the Computable
Real Numbers . . . . . . . . . . . . . . 962
Artur Czumaj and
Andrzej Lingas and
Hairong Zhao Polynomial-Time Approximation Schemes
for the Euclidean Survivable Network
Design Problem . . . . . . . . . . . . . 973
Andreas Björklund and
Thore Husfeldt Finding a Path of Superlogarithmic
Length . . . . . . . . . . . . . . . . . 985
Ryuhei Uehara Linear Time Algorithms on Chordal
Bipartite and Strongly Chordal Graphs 993
Jonas Holmerin Improved Inapproximability Results for
Vertex Cover on $k$-Uniform Hypergraphs 1005
Yoshiharu Kohayakawa and
Brendan Nagle and
Vojt\vech Rödl Efficient Testing of Hypergraphs . . . . 1017
Xiaodong Wu and
Danny Z. Chen Optimal Net Surface Problems with
Applications . . . . . . . . . . . . . . 1029
Nicolas Bonichon and
Bertrand Le Saëc and
Mohamed Mosbah Wagner's Theorem on Realizers . . . . . 1043
Vincenzo Liberatore Circular Arrangements . . . . . . . . . 1054
Anonymous Author Index . . . . . . . . . . . . . . 1067
Matthias Baaz Proof Analysis by Resolution . . . . . . 1
Dale Miller and
Elaine Pimentel Using Linear Logic to Reason about
Sequent Systems . . . . . . . . . . . . 2
Matthias Baaz and
Agata Ciabattoni A Schütte-Tait Style Cut-Elimination
Proof for First-Order Gödel Logic . . . . 24
Patrick Blackburn and
Maarten Marx Tableaux for Quantified Hybrid Logic . . 38
Nathalie Chetcuti-Sperandio Tableau-Based Automated Deduction for
Duration Calculus . . . . . . . . . . . 53
Marta Cialdea Mayer and
Carla Limongelli Linear Time Logic, Conditioned Models,
and Planning with Incomplete Knowledge 70
Anatoli Degtyarev and
Michael Fisher and
Boris Konev A Simplified Clausal Resolution
Procedure for Propositional Linear-Time
Temporal Logic . . . . . . . . . . . . . 85
Thomas Eiter and
Volker Klotz and
Hans Tompits and
Stefan Woltran Modal Nonmonotonic Logics Revisited:
Efficient Encodings for the Basic
Reasoning Tasks . . . . . . . . . . . . 100
Mauro Ferrari and
Camillo Fiorentini and
Guido Fiorino Tableau Calculi for the Logics of Finite
$k$-Ary Trees . . . . . . . . . . . . . 115
Martin Giese A Model Generation Style Completeness
Proof for Constraint Tableaux with
Superposition . . . . . . . . . . . . . 130
Jan Hladik Implementation and Optimisation of a
Tableau Algorithm for the Guarded
Fragment . . . . . . . . . . . . . . . . 145
Reinhold Letz Lemma and Model Caching in Decision
Procedures for Quantified Boolean
Formulas . . . . . . . . . . . . . . . . 160
Reinhold Letz and
Gernot Stenz Integration of Equality Reasoning into
the Disconnection Calculus . . . . . . . 176
George Metcalfe and
Nicola Olivetti and
Dov Gabbay Analytic Sequent Calculi for Abelian and
\Lukasiewicz Logics . . . . . . . . . . 191
Linh Anh Nguyen Analytic Tableau Systems for
Propositional Bimodal Logics of
Knowledge and Belief . . . . . . . . . . 206
Uwe Petermann A Confluent Theory Connection Calculus 221
Viorica Sofronie-Stokkermans On Uniform Word Problems Involving
Bridging Operators on Distributive
Lattices . . . . . . . . . . . . . . . . 235
Balder ten Cate and
Chung-chieh Shan Question Answering: From Partitions to
Prolog . . . . . . . . . . . . . . . . . 251
V. Thion and
S. Cerrito and
Marta Cialdea Mayer A General Theorem Prover for Quantified
Modal Logics . . . . . . . . . . . . . . 266
Dan E. Willard Some New Exceptions for the Semantic
Tableaux Version of the Second
Incompleteness Theorem . . . . . . . . . 281
Claus-Peter Wirth A New Indefinite Semantics for Hilbert's
Epsilon . . . . . . . . . . . . . . . . 298
Calogero G. Zarba A Tableau Calculus for Combining
Non-disjoint Theories . . . . . . . . . 315
L. Habert and
J.-M. Notin and
D. Galmiche LINK: A Proof Environment Based on Proof
Nets . . . . . . . . . . . . . . . . . . 330
Gernot Stenz DCTP 1.2 --- System Abstract . . . . . . 335
Anonymous Author Index . . . . . . . . . . . . . . 341
Arie Segev Enabling Design-Centric eBusiness
Applications . . . . . . . . . . . . . . 1
Sara Cohen and
Yaron Kanza and
Yehoshua Sagiv Select-Project Queries over XML
Documents . . . . . . . . . . . . . . . 2
Mira Balaban and
Nikolai Berezansky and
Ehud Gudes Answering Cooperative Recursive Queries
in Web Federated Databases . . . . . . . 14
Dirk Draheim and
Gerald Weber Strongly Typed Server Pages . . . . . . 29
Yuval Elovici and
Bracha Shapira and
Adlai Maschiach A New Privacy Model for Web Surfing . . 45
Demetrios Zeinalipour-Yazti and
Marios Dikaiakos Design and Implementation of a
Distributed Crawler and Filtering
Processor . . . . . . . . . . . . . . . 58
Ouri Wolfson Moving Objects Information Management:
The Database Challenge . . . . . . . . . 75
Michel Benaroch Specifying Local Ontologies in Support
of Semantic Interoperability of
Distributed Inter-organizational
Applications . . . . . . . . . . . . . . 90
Judith Kabeli and
Peretz Shoval FOOM and OPM Methodologies ---
Experimental Comparison of User
Comprehension . . . . . . . . . . . . . 107
Peter Bollen The Natural Language Modeling Procedure 123
David Bahn and
J. David Naumann and
Shawn Curley Conversation about Software Requirements
with Prototypes and Scenarios . . . . . 147
Asaf Adi and
David Botzer and
Opher Etzion The Situation Manager Component of Amit
--- Active Middleware Technology . . . . 158
Anonymous Author Index . . . . . . . . . . . . . . 169
Michael S. Lew and
Nicu Sebe and
John P. Eakins Challenges of Image and Video Retrieval 1
Qi Tian and
Baback Moghaddam and
Thomas S. Huang Visualization, Estimation and
User-Modeling for Interactive Browsing
of Image Libraries . . . . . . . . . . . 7
Nicu Sebe and
Michael Lew Robust Shape Matching . . . . . . . . . 17
Wei Wang and
Yuqing Song and
Aidong Zhang Semantics-Based Image Retrieval by
Region Saliency . . . . . . . . . . . . 29
Henning Müller and
Stephane Marchand-Maillet and
Thierry Pun The Truth about Corel --- Evaluation in
Image Retrieval . . . . . . . . . . . . 38
Alison Bosson and
Gavin C. Cawley and
Yi Chan and
Richard Harvey Non-retrieval: Blocking Pornographic
Images . . . . . . . . . . . . . . . . . 50
Gregory Cox and
Gerhard de Jager A Linear Image-Pair Model and the
Associated Hypothesis Test for Matching 61
Bogdan Smolka and
Konstantinos N. Plataniotis On the Coupled Forward and Backward
Anisotropic Diffusion Scheme for Color
Image Enhancement . . . . . . . . . . . 70
ByoungChul Ko and
Hyeran Byun Multiple Regions and Their Spatial
Relationship-Based Image Retrieval . . . 81
Mohammad F. A. Fauzi and
Paul H. Lewis Query by Fax for Content-Based Image
Retrieval . . . . . . . . . . . . . . . 91
Guoping Qiu and
Kin-Man Spectrally Layered Color Indexing . . . 100
Jürgen Wolf and
Wolfram Burgard and
Hans Burkhardt Using an Image Retrieval System for
Vision-Based Mobile Robot Localization 108
Guocan Feng and
Jianmin Jiang JPEG Image Retrieval Based on Features
from DCT Domain . . . . . . . . . . . . 120
A. Jonathan Howell and
David S. Young Image Retrieval Methods for a Database
of Funeral Monuments . . . . . . . . . . 129
Willem de Bruijn and
Michael S. Lew AtomsNet: Multimedia Peer2Peer File
Sharing . . . . . . . . . . . . . . . . 138
Mustaq Hussain and
John Eakins and
Graham Sexton Visual Clustering of Trademarks Using
the Self-Organizing Map . . . . . . . . 147
Javier Ruiz-del-Solar and
Pablo Navarrete FACERET: An Interactive Face Retrieval
System Based on Self-Organizing Maps . . 157
Man-Wai Leung and
Kwok-Leung Chan Object-Based Image Retrieval Using
Hierarchical Shape Descriptor . . . . . 165
Jeroen Vendrig and
Marcel Worring Multimodal Person Identification in
Movies . . . . . . . . . . . . . . . . . 175
F. Schaffalitzky and
A. Zisserman Automated Scene Matching in Movies . . . 186
H. Denman and
N. Rea and
A. Kokaram Content Based Analysis for Video from
Snooker Broadcasts . . . . . . . . . . . 198
Peter G. B. Enser and
Criss J. Sandom Retrieval of Archival Moving Imagery ---
CBIR Outside the Frame? . . . . . . . . 206
Alan F. Smeaton Challenges for Content-Based Navigation
of Digital Video in the Físchlár Digital
Library . . . . . . . . . . . . . . . . 215
Pedro A. de Alarcón and
Alberto D. Pascual-Montano and
José M. Carazo Spin Images and Neural Networks for
Efficient Content-Based Retrieval in
$3$D Object Databases . . . . . . . . . 225
A. Brucale and
M. d'Amico and
M. Ferri and
L. Gualandri and
A. Lovato Size Functions for Image Retrieval: A
Demonstrator on Randomly Generated
Curves . . . . . . . . . . . . . . . . . 235
Jeff Berens and
Graham D. Finlayson An Efficient Coding of Three Dimensional
Colour Distributions for Image Retrieval 245
K. Jonathan Riley and
John P. Eakins Content-Based Retrieval of Historical
Watermark Images: I-tracings . . . . . . 253
Rene Visser and
Nicu Sebe and
Erwin Bakker Object Recognition for Video Retrieval 262
Erwin M. Bakker and
Michael S. Lew Semantic Video Retrieval Using Audio
Analysis . . . . . . . . . . . . . . . . 271
Kyungsu Kim and
Junho Choi and
Namjung Kim and
Pankoo Kim Extracting Semantic Information from
Basketball Video Based on Audio-Visual
Features . . . . . . . . . . . . . . . . 278
Jeffrey Huang and
Deepa Umamaheswaran and
Mathew Palakal Video Indexing and Retrieval for
Archeological Digital Library, CLIOH . . 289
Kun Seok Oh and
Aghbari Zaher and
Pan Koo Kim Fast $k$-NN Image Search with
Self-Organizing Maps . . . . . . . . . . 299
Marcus J. Pickering and
Stefan M. Rüger and
David Sinclair Video Retrieval by Feature Learning in
Key Frames . . . . . . . . . . . . . . . 309
\vStepán Obdrzálek and
Jirí Matas Local Affine Frames for Image Retrieval 318
Gunhan Park and
Yunju Baek and
Heung-Kyu Lee A Ranking Algorithm Using Dynamic
Clustering for Content-Based Image
Retrieval . . . . . . . . . . . . . . . 328
Xavier Orriols and
Xavier Binefa Online Bayesian Video Summarization and
Linking . . . . . . . . . . . . . . . . 338
Jean Emmanuel Viallet and
Olivier Bernier Face Detection for Video Summaries . . . 348
John A. Black, Jr. and
Gamal Fahmy and
Sethuraman Panchanathan A Method for Evaluating the Performance
of Content-Based Image Retrieval Systems
Based on Subjectively Determined
Similarity between Images . . . . . . . 356
N. Sebe and
Q. Tian and
E. Loupias and
M. Lew and
T. Huang Evaluation of Salient Point Techniques 367
Mary A. Burke Personal Construct Theory as a Research
Tool for Analysing User Perceptions of
Photographs . . . . . . . . . . . . . . 378
Anonymous Author Index . . . . . . . . . . . . . . 387
Ingrid Biehl and
Tsuyoshi Takagi A New Distributed Primality Test for
Shared RSA Keys Using Quadratic Fields 1
Yanjiang Yang and
Feng Bao and
Robert H. Deng Security Analysis and Improvement of the
Global Key Recovery System . . . . . . . 17
A. Clark and
Ed Dawson and
J. Fuller and
J. Goli\'c and
H-J. Lee and
William Millan and
S-J. Moon and
L. Simpson The LILI-II Keystream Generator . . . . 25
Hartono Kurnio and
Rei Safavi-Naini and
Huaxiong Wang A Secure Re-keying Scheme with Key
Recovery Property . . . . . . . . . . . 40
Marie Henderson and
Robert Coulter and
Ed Dawson and
Eiji Okamoto Modelling Trust Structures for Public
Key Infrastructures . . . . . . . . . . 56
S. G. Barwick and
W.-A. Jackson and
Keith M. Martin and
Peter R. Wild Size of Broadcast in Threshold Schemes
with Disenrollment . . . . . . . . . . . 71
Brian King Requirements for Group Independent
Linear Threshold Secret Sharing Schemes 89
Krista Bennett and
Christian Grothoff and
Tzvetan Horozov and
Ioana Patrascu Efficient Sharing of Encrypted Data . . 107
Josef Pieprzyk and
Xian-Mo Zhang Cheating Prevention in Linear Secret
Sharing . . . . . . . . . . . . . . . . 121
Wieland Fischer and
Jean-Pierre Seifert Note on Fast Computation of Secret RSA
Exponents . . . . . . . . . . . . . . . 136
Leonid Reyzin and
Natan Reyzin Better than BiBa: Short One-Time
Signatures with Fast Signing and
Verifying . . . . . . . . . . . . . . . 144
Hongjun Wu and
Feng Bao Cryptanalysis of Stream Cipher
COS$^{(2,128)}$ Mode I . . . . . . . . . 154
David Soldera and
Jennifer Seberry and
Chengxin Qu The Analysis of Zheng-Seberry Scheme . . 159
Hongjun Wu Cryptanalysis of Stream Cipher Alpha$1$ 169
James Hughes A Linear Algebraic Attack on the AAFG1
Braid Group Cryptosystem . . . . . . . . 176
Y. Choie and
D. Yun Isomorphism Classes of Hyperelliptic
Curves of Genus $2$ over $\mathbb{F}_q$ 190
Fangguo Zhang and
Shengli Liu and
Kwangjo Kim Compact Representation of Domain
Parameters of Hyperelliptic Curve
Cryptosystems . . . . . . . . . . . . . 203
Yvonne Hitchcock and
Paul Montague A New Elliptic Curve Scalar
Multiplication Algorithm to Resist
Simple Power Analysis . . . . . . . . . 214
Lauren May and
Matt Henricksen and
William Millan and
Gary Carter and
Ed Dawson Strengthening the Key Schedule of the
AES . . . . . . . . . . . . . . . . . . 226
Ron Steinfeld and
Joonsang Baek and
Yuliang Zheng On the Necessity of Strong Assumptions
for the Security of a Class of
Asymmetric Encryption Schemes . . . . . 241
M. J. Warren and
L. M. Batten Security Management: An Information
Systems Setting . . . . . . . . . . . . 257
Chun Ruan and
Vijay Varadharajan Resolving Conflicts in Authorization
Delegations . . . . . . . . . . . . . . 271
M. Hitchens and
Vijay Varadharajan and
G. Saunders Policy Administration Domains . . . . . 286
Jianying Zhou Maintaining the Validity of Digital
Signatures in B2B Applications . . . . . 303
Francesc Sebé and
Josep Domingo-Ferrer Short 3-Secure Fingerprinting Codes for
Copyright Protection . . . . . . . . . . 316
Mitsuru Tada An Order-Specified Multisignature Scheme
Secure against Active Insider Attacks 328
Paul England and
Marcus Peinado Authenticated Operation of Open
Computing Devices . . . . . . . . . . . 346
Myungsun Kim and
Kwangjo Kim A New Identification Scheme Based on the
Bilinear Diffie-Hellman Problem . . . . 362
Bimal Roy A Brief Outline of Research on
Correlation Immune Functions . . . . . . 379
Yi Mu and
Junqi Zhang and
Vijay Varadharajan $m$ out of $n$ Oblivious Transfer . . . 395
Sangwoo Park and
Soo Hak Sung and
Seongtaek Chee and
Jongin Lim On the Security of Reduced Versions of
3-Pass HAVAL . . . . . . . . . . . . . . 406
Katsuyuki Okeya and
Kouichi Sakurai On Insecurity of the Side Channel Attack
Countermeasure Using
Addition-Subtraction Chains under
Distinguishability between Addition and
Doubling . . . . . . . . . . . . . . . . 420
Kouichi Sakurai and
Tsuyoshi Takagi On the Security of a Modified Paillier
Public-Key Primitive . . . . . . . . . . 436
Biljana Cubaleska and
Weidong Qiu and
Markus Schneider How to Play Sherlock Holmes in the World
of Mobile Agents . . . . . . . . . . . . 449
Dong-Guk Han and
Hye-Young Park and
Young-Ho Park and
Sangjin Lee and
Dong Hoon Lee and
Hyung-Jin Yang A Practical Approach Defeating
Blackmailing . . . . . . . . . . . . . . 464
Hyun-Jeong Kim and
Dong Hoon Lee and
Moti Yung Privacy against Piracy: Protecting
Two-Level Revocable P-K Traitor Tracing 482
M. V. N. Ashwin Kumar and
K. Srinathan and
C. Pandu Rangan Asynchronous Perfectly Secure
Computation Tolerating Generalized
Adversaries . . . . . . . . . . . . . . 497
Anonymous Author Index . . . . . . . . . . . . . . 513
Eugene C. Freuder Constraint Acquisition . . . . . . . . . 1
Alain Colmerauer Expressiveness and Complexity of Full
First-Order Constraints in the Algebra
of Trees . . . . . . . . . . . . . . . . 2
Eric Deplagne and
Claude Kirchner Deduction versus Computation: The Case
of Induction . . . . . . . . . . . . . . 4
Thomas Sturm Integration of Quantifier Elimination
with Constraint Logic Programming . . . 7
Madhu Chetty Towards a Hybrid Symbolic/Numeric
Computational Approach in Controller
Design . . . . . . . . . . . . . . . . . 12
Emanuel Kitzelmann and
Ute Schmid and
Martin Mühlpfordt and
Fritz Wysotzki Inductive Synthesis of Functional
Programs . . . . . . . . . . . . . . . . 26
Begoña Herrero and
Luis M. Laita and
Eugenio Roanes-Lozano and
Víctor Maojo and
Luis de Ledesma and
JoséCrespo and
Laura Laita A Symbolic Computation-Based Expert
System for Alzheimer's Disease Diagnosis 38
Marc Aiguier and
Diane Bahrami and
Catherine Dubois On a Generalised Logicality Theorem . . 51
Elena Smirnova Using Symbolic Computation in an
Automated Sequent Derivation System for
Multi-valued Logic . . . . . . . . . . . 64
Robert M. Corless and
D. J. Jeffrey The Wright $\omega$ Function . . . . . . 76
Rolf Nossum and
Luciano Serafini Multicontext Logic for Semigroups of
Contexts . . . . . . . . . . . . . . . . 90
J. A. Campbell Indefinite Integration as a Testbed for
Developments in Multi-agent Systems . . 102
Andrew Hunter Expression Inference --- Genetic
Symbolic Classification Integrated with
Non-linear Coefficient Optimisation . . 117
Li Bai and
Yihui Liu A Novel Face Recognition Method . . . . 128
Jacqueline Castaing Non-commutative Logic for Hand-Written
Character Modeling . . . . . . . . . . . 136
S. Loriette-Rougegrez From Numerical to Symbolic Data during
the Recognition of Scenarii . . . . . . 154
Regina Bernhaupt and
Jochen Pfalzgraf On Mathematical Modeling of Networks and
Implementation Aspects . . . . . . . . . 168
Stefan Ratschan Continuous First-Order Constraint
Satisfaction . . . . . . . . . . . . . . 181
Martin Charles Golumbic and
Assaf Siani Coloring Algorithms for Tolerance
Graphs: Reasoning and Scheduling with
Interval Constraints . . . . . . . . . . 196
Mohamed Tounsi A Genetic-Based Approach for
Satisfiability Problems . . . . . . . . 208
K. Subramani On Identifying Simple and Quantified
Lattice Points in the 2SAT Polytope . . 217
Gilles Audemard and
Piergiorgio Bertoli and
Alessandro Cimatti and
Artur Korni\lowicz and
Roberto Sebastiani Integrating Boolean and Mathematical
Solving: Foundations, Basic Algorithms,
and Requirements . . . . . . . . . . . . 231
Michael Beeson and
Freek Wiedijk The Meaning of Infinity in Calculus and
Computer Algebra Systems . . . . . . . . 246
Simon Colton Making Conjectures about Maple Functions 259--274
Andreas Meier and
Volker Sorge and
Simon Colton Employing Theory Formation to Guide
Proof Planning . . . . . . . . . . . . . 275
Temur Kutsia Unification with Sequence Variables and
Flexible Arity Symbols and Its Extension
with Pattern-Terms . . . . . . . . . . . 290
Silvio Ranise Combining Generic and Domain Specific
Reasoning by Using Contexts . . . . . . 305
Jürgen Zimmer and
Louise A. Dennis Inductive Theorem Proving and Computer
Algebra in the MathWeb Software Bus . . 319
Ayal Z. Pinkus and
Serge Winitzki Y ACAS: A Do-It-Yourself Symbolic
Algebra Environment . . . . . . . . . . 332
Florina Piroi and
Bruno Buchberger Focus Windows: A New Technique for Proof
Presentation . . . . . . . . . . . . . . 337
Anonymous Author Index . . . . . . . . . . . . . . 343
Robert Giegerich and
Peter Steffen Implementing Algebraic Dynamic
Programming in the Functional and the
Imperative Programming Paradigm . . . . 1
Dexter Kozen Some Results in Dynamic Model Theory . . 21
Jeannette M. Wing Mathematics in Computer Science
Curricula . . . . . . . . . . . . . . . 22
Kevin Backhouse and
Roland Backhouse Logical Relations and Galois Connections 23
Juan Eduardo Durán Transformational Derivation of Greedy
Network Algorithms from Descriptive
Specifications . . . . . . . . . . . . . 40
William Harrison and
Tim Sheard and
James Hook Fine Control of Demand in Haskell . . . 68
Ian J. Hayes Reasoning about Timeouts . . . . . . . . 94
Wim H. Hesselink Eternity Variables to Simulate
Specifications . . . . . . . . . . . . . 117
Ralf Hinze Constructing Tournament Representations:
An Exercise in Pointwise Relational
Programming . . . . . . . . . . . . . . 131
Ralf Hinze and
Johan Jeuring and
Andres Löh Type-Indexed Data Types . . . . . . . . 148
Marieke Huisman Verification of Java's
AbstractCollection Class: A Case Study 175
Yanhong A. Liu and
Fuxiang Yu Solving Regular Path Queries . . . . . . 195
Shin-Cheng Mu and
Richard Bird Inverting Functions as Folds . . . . . . 209
Joakim von Wright From Kleene Algebra to Refinement
Algebra . . . . . . . . . . . . . . . . 233
Anonymous Author Index . . . . . . . . . . . . . . 263
Gene Myers The Assembly of the Human and Mouse
Genomes . . . . . . . . . . . . . . . . 1
Sartaj Sahni Data Structures for One-Dimensional
Packet Classification Using
Most-Specific-Rule Matching . . . . . . 2
Arto Salomaa DNA Complementarity and Paradigms of
Computing . . . . . . . . . . . . . . . 3
Jin-Yi Cai and
Denis Charles and
A. Pavan and
Samik Sengupta On Higher Arthur-Merlin Classes . . . . 18
Xiaotie Deng and
C. H. Lee and
Yunlei Zhao and
Hong Zhu $(2+f(n))$-SAT and Its Properties . . . 28
Thanh Minh Hoang and
Thomas Thierauf On the Minimal Polynomial of a Matrix 37
Robert Rettinger and
Xizhong Zheng and
Burchard von Braunmühl Computable Real Functions of Bounded
Variation and Semi-computable Real
Numbers (Extended Abstract) . . . . . . 47
Hsueh-I Lu Improved Compact Routing Tables for
Planar Networks via Orderly Spanning
Trees . . . . . . . . . . . . . . . . . 57
Harold N. Gabow and
San Skulrattanakulchai Coloring Algorithms on Subcubic Graphs 67
Sun-yuan Hsieh and
Chin-wen Ho and
Tsan-sheng Hsu and
Ming-tat Ko Efficient Algorithms for the Hamiltonian
Problem on Distance-Hereditary Graphs 77
Joan Boyar and
Lene M. Favrholdt and
Kim S. Larsen and
Morten N. Nielsen Extending the Accommodating Function . . 87
Fangting Sun and
David Fernández-Baca and
Wei Yu Inverse Parametric Sequence Alignment 97
Chin Lung Lu and
Chuan Yi Tang and
Richard Chia-Tung Lee The Full Steiner Tree Problem in
Phylogeny . . . . . . . . . . . . . . . 107
Tatsuya Akutsu and
Sascha Ott Inferring a Union of Halfspaces from
Examples . . . . . . . . . . . . . . . . 117
Abdullah N. Arslan and
Ömer E\ugecio\uglu Dictionary Look-Up within Small Edit
Distance . . . . . . . . . . . . . . . . 127
Tanja Lange and
Arne Winterhof Polynomial Interpolation of the Elliptic
Curve and XTR Discrete Logarithm . . . . 137
Vince Grolmusz Co-orthogonal Codes (Extended Abstract) 144
Nam-Yeun Kim and
Won-Ho Lee and
Kee-Young Yoo Efficient Power-Sum Systolic
Architectures for Public-Key
Cryptosystems in GF($2^m$) . . . . . . . 153
Huaxiong Wang and
Josef Pieprzyk A Combinatorial Approach to Anonymous
Membership Broadcast . . . . . . . . . . 162
Evgeny Dantsin and
Alexander Wolpert Solving Constraint Satisfaction Problems
with DNA Computing . . . . . . . . . . . 171
Wu Jigang and
Heiko Schröder and
Thambipillai Srikanthan New Architecture and Algorithms for
Degradable VLSI/WSI Arrays . . . . . . . 181
Casey Carter and
Nicholas Tran Cluster: A Fast Tool to Identify Groups
of Similar Programs . . . . . . . . . . 191
Yosuke Kikuchi and
Shingo Osawa and
Yukio Shibata Broadcasting in Generalized de Bruijn
Digraphs (Extended Abstract) . . . . . . 200
William Duckworth and
Bernard Mans On the Connected Domination Number of
Random Regular Graphs . . . . . . . . . 210
L. Sunil Chandran and
L. Shankar Ram On the Number of Minimum Cuts in a Graph 220
G. L. Chia and
C. S. Gan On Crossing Numbers of 5-Regular Graphs 230
Yvo Desmedt and
Yongge Wang Maximum Flows and Critical Vertices in
AND/OR Graphs (Extended Abstract) . . . 238
Amitava Datta and
Albert Y. Zomaya New Energy-Efficient Permutation Routing
Protocol for Single-Hop Radio Networks 249
Masataka Takamura and
Yoshihide Igarashi Simple Mutual Exclusion Algorithms Based
on Bounded Tickets on the Asynchronous
Shared Memory Model . . . . . . . . . . 259
Koji Nakano Time and Energy Optimal List Ranking
Algorithms on the $k$-Channel Broadcast
Communication Model . . . . . . . . . . 269
Tomasz Jurdzi\'nski and
Miros\law Kuty\lowski and
Jan Zatopia\'nski Energy-Efficient Size Approximation of
Radio Networks with No Collision
Detection . . . . . . . . . . . . . . . 279
C. Martín-Vide and
J. Pazos and
G. P\u aun and
A. Rodríguez-Patón A New Class of Symbolic Abstract Neural
Nets: Tissue P Systems . . . . . . . . . 290
Jurek Czyzowicz and
Wojciech Fraczak and
Andrzej Pelc Transducers with Set Output . . . . . . 300
Andreas Klein and
Martin Kutrib Self-Assembling Finite Automata . . . . 310
Lucian Ilie and
Sheng Yu and
Kaizhong Zhang Repetition Complexity of Words . . . . . 320
Gopal Pandurangan and
Prabhakar Raghavan and
Eli Upfal Using PageRank to Characterize Web
Structure . . . . . . . . . . . . . . . 330
Ding Liu and
Manoj Prabhakaran On Randomized Broadcasting and Gossiping
in Radio Networks . . . . . . . . . . . 340
Tom Altman and
Yoshihide Igarashi and
Kazuhiro Motegi Fast and Dependable Communication in
Hyper-rings . . . . . . . . . . . . . . 350
Gill Barequet The On-Line Heilbronn's Triangle Problem
in Three and Four Dimensions . . . . . . 360
Marcus Schaefer and
Eric Sedgwick and
Daniel \vStefankovi\vc Algorithms for Normal Curves and
Surfaces . . . . . . . . . . . . . . . . 370
Ivaylo Ilinkin and
Ravi Janardan and
Michiel Smid Terrain Polygon Decomposition, with
Application to Layered Manufacturing . . 381
D. Chen and
O. Eulenstein and
David Fernández-Baca and
M. Sanderson Supertrees by Flipping . . . . . . . . . 391
Tak-Wah Lam and
Kunihiko Sadakane and
Wing-Kin Sung and
Siu-Ming Yiu A Space and Time Efficient Algorithm for
Constructing Compressed Suffix Arrays 401
Ming Li and
John Tromp and
Paul Vitányi Sharpening Occam's Razor (Extended
Abstract) . . . . . . . . . . . . . . . 411
Binhai Zhu Approximating $3$D Points with
Cylindrical Segments . . . . . . . . . . 420
Takehiro Ito and
Takao Nishizeki and
Xiao Zhou Algorithms for the Multicolorings of
Partial $k$-Trees . . . . . . . . . . . 430
B. Ravikumar A Fault-Tolerant Merge Sorting Algorithm 440
Ljiljana Brankovi\'s and
Jozef \vSirá\vn 2-Compromise Usability in
$1$-Dimensional Statistical Databases 448
Danny Z. Chen and
Shuang Luan and
Jinhui Xu An Experimental Study and Comparison of
Topological Peeling and Topological Walk 456
Leah Epstein and
Lene M. Favrholdt On-Line Maximizing the Number of Items
Packed in Variable-Sized Bins . . . . . 467
Satoshi Fujita On-Line Grid-Packing with a Single
Active Grid . . . . . . . . . . . . . . 476
Petra Mutzel and
René Weiskircher Bend Minimization in Orthogonal Drawings
Using Integer Programming . . . . . . . 484
Biing-Feng Wang and
Shan-Chyun Ku and
Yong-Hsian Hsieh The Conditional Location of a Median
Path . . . . . . . . . . . . . . . . . . 494
Weimin Ma and
Yinfeng Xu and
Jane You and
James Liu and
Kanliang Wang New Results on the $k$-Truck Problem . . 504
K. Srinathan and
Pranava R. Goundan and
M. V. N. Ashwin Kumar and
R. Nandakumar and
C. Pandu Rangan Theory of Equal-Flows in Networks . . . 514
Yaw-Ling Lin Minimum Back-Walk-Free Latency Problem
(Extended Abstract) . . . . . . . . . . 525
Vilhelm Dahllöf and
Peter Jonsson and
Magnus Wahlström Counting Satisfying Assignments in 2-SAT
and 3-SAT . . . . . . . . . . . . . . . 535
Ioan Tomescu On the Maximum Number of Irreducible
Coverings of an $n$-Vertex Graph by
$n-3$ Cliques . . . . . . . . . . . . . 544
Arfst Nickelsen and
Till Tantau On Reachability in Graphs with Bounded
Independence Number . . . . . . . . . . 554
Henning Fernau On Parameterized Enumeration . . . . . . 564
Marats Golovkins and
Maksim Kravtsev Probabilistic Reversible Automata and
Quantum Automata . . . . . . . . . . . . 574
Tomohiro Yamasaki and
Hirotada Kobayashi and
Hiroshi Imai Quantum versus Deterministic Counter
Automata . . . . . . . . . . . . . . . . 584
Jeffrey C. Jackson and
Christino Tamon and
Tomoyuki Yamakami Quantum DNF Learnability Revisited . . . 595
Anonymous Author Index . . . . . . . . . . . . . . 605
Neelanjan Mukherjee and
Sayan Mukherjee Predicting Signal Peptides with Support
Vector Machines . . . . . . . . . . . . 1
Ronan Collobert and
Yoshua Bengio and
Samy Bengio Scaling Large Learning Problems with
Hard Parallel Mixtures . . . . . . . . . 8
Pablo Navarrete and
Javier Ruiz del Solar On the Generalization of Kernel Machines 24
David M. J. Tax and
Piotr Juszczak Kernel Whitening for One-Class
Classification . . . . . . . . . . . . . 40
Jian-xiong Dong and
Adam Krzyzak and
Ching Y. Suen A Fast SVM Training Algorithm . . . . . 53
Giorgio Fumera and
Fabio Roli Support Vector Machines with Embedded
Reject Option . . . . . . . . . . . . . 68
Annalisa Barla and
Emanuele Franceschi and
Francesca Odone and
Alessandro Verri Image Kernels . . . . . . . . . . . . . 83
B. Caputo and
Gy. Dorkó and
H. Niemann Combining Color and Shape Information
for Appearance-Based Object Recognition
Using Ultrametric Spin Glass-Markov
Random Fields . . . . . . . . . . . . . 97
Chikahito Nakajima and
Massimiliano Pontil Maintenance Training of Electric Power
Facilities Using Object Recognition by
SVM . . . . . . . . . . . . . . . . . . 112
Roman Genov and
Gert Cauwenberghs Kerneltron: Support Vector `Machine' in
Silicon . . . . . . . . . . . . . . . . 120
Stanley M. Bileschi and
Bernd Heisele Advances in Component-Based Face
Detection . . . . . . . . . . . . . . . 135
L. Walawalkar and
Mohammad Yeasin and
Anand M. Narasimhamurthy and
Rajeev Sharma Support Vector Learning for Gender
Classification Using Audio and Visual
Cues: A Comparison . . . . . . . . . . . 144
Ming-Wei Chang and
Chih-Jen Lin and
Ruby C. Weng Analysis of Nonstationary Time Series
Using Support Vector Machines . . . . . 160
C. Chandra Sekhar and
Kazuya Takeda and
Fumitada Itakura Recognition of Consonant-Vowel (CV)
Units of Speech in a Broadcast News
Corpus Using Support Vector Machines . . 171
Mike Fugate and
James R. Gattiker Anomaly Detection Enhanced
Classification in Computer Intrusion
Detection . . . . . . . . . . . . . . . 186
Mariofanna Milanova and
Tomasz G. Smolinski and
Grzegorz M. Boratyn and
Jacek M. Zurada and
Andrzej Wrobel Sparse Correlation Kernel Analysis and
Evolutionary Algorithm-Based Modeling of
the Sensory Activity within the Rat's
Barrel Cortex . . . . . . . . . . . . . 198
Hyeran Byun and
Seong-Whan Lee Applications of Support Vector Machines
for Pattern Recognition: A Survey . . . 213
Asanobu Kitamoto Typhoon Analysis and Data Mining with
Kernel Methods . . . . . . . . . . . . . 237
Fabrizio Smeraldi and
Josef Bigun and
Wulfram Gerstner Support Vector Features and the Role of
Dimensionality in Face Authentication 249
Yong Ma and
Xiaoqing Ding Face Detection Based on Cost-Sensitive
Support Vector Machines . . . . . . . . 260
Seonghoon Kang and
Hyeran Byun and
Seong-Whan Lee Real-Time Pedestrian Detection Using
Support Vector Machines . . . . . . . . 268
Shantanu Chakrabartty and
Gert Cauwenberghs Forward Decoding Kernel Machines: A
Hybrid HMM/SVM Approach to Sequence
Recognition . . . . . . . . . . . . . . 278
Kwang In Kim and
Keechul Jung and
Jin Hyung Kim Color Texture-Based Object Detection: An
Application to License Plate
Localization . . . . . . . . . . . . . . 293
Stefan Rüping Support Vector Machines in Relational
Databases . . . . . . . . . . . . . . . 310
Zeyu Li and
Shiwei Tang and
Shuicheng Yan Multi-Class SVM Classifier Based on
Pairwise Coupling . . . . . . . . . . . 321
Jennifer Huang and
Volker Blanz and
Bernd Heisele Face Recognition Using Component-Based
SVM Classification and Morphable Models 334
Jianmin Li and
Bo Zhang and
Fuzong Lin A New Cache Replacement Algorithm in SMO 342
Nedjem-Eddine Ayat and
Mohamed Cheriet and
Ching Y. Suen Optimization of the SVM Kernels Using an
Empirical Error Minimization Scheme . . 354
Dihua Xi and
Seong-Whan Lee Face Detection Based on Support Vector
Machines . . . . . . . . . . . . . . . . 370
Björn Johansson and
Fredrik Kahl Detecting Windows in City Scenes . . . . 388
Hyun-Chul Kim and
Shaoning Pang and
Hong-Mo Je and
Daijin Kim and
Sung-Yang Bang Support Vector Machine Ensemble with
Bagging . . . . . . . . . . . . . . . . 397
Eulanda Miranda dos Santos and
Herman Martins Gomes A Comparative Study of Polynomial Kernel
SVM Applied to Appearance-Based Object
Recognition . . . . . . . . . . . . . . 408
Anonymous Author Index . . . . . . . . . . . . . . 419
Richard Sproat WordsEye: A Text-to-Scene Conversion
System . . . . . . . . . . . . . . . . . 1
Ruslan Mitkov Automatic Anaphora Resolution: Limits,
Impediments, and Ways Forward . . . . . 3
Alessandro Cucchiarelli and
Paola Velardi Feature-Based WSD: Why We Are at a
Dead-End . . . . . . . . . . . . . . . . 5
Armando Suárez and
Manuel Palomar Improving Feature Selection for Maximum
Entropy-Based Word Sense Disambiguation 15
Igor A. Bolshakov and
Alexander Gelbukh Heuristics-Based Replenishment of
Collocation Databases . . . . . . . . . 25
Matthieu Constant On the Analysis of Locative Phrases with
Graphs and Lexicon-Grammar: The
Classifier/Proper Noun Pairing . . . . . 33
Miguel Oliveira The Role of Pause Occurrence and Pause
Duration in the Signaling of Narrative
Structure . . . . . . . . . . . . . . . 43
Patricio Martínez-Barco and
Estela Saquete and
Rafael Muñoz A Grammar-Based System to Solve Temporal
Expressions in Spanish Texts . . . . . . 53
R. Muñoz and
M. Saiz-Noeda and
A. Montoyo Semantic Information in Anaphora
Resolution . . . . . . . . . . . . . . . 63
Gohsran Chung A Type of Transitive Inalienable
Possession Construction in Korean . . . 71
Krzysztof Bogacki The Treatment of Numbers in Polish by
Graphs . . . . . . . . . . . . . . . . . 75
Luísa Coheur and
Nuno Mamede From Syntax to Semantics: Taking
Advantages of 5P . . . . . . . . . . . . 79
Marcel Cori Processing Discontinuity . . . . . . . . 83
Victor Sant'Anna and
Vera L. S. de Lima Resolution of Demonstrative Anaphoric
References in Portuguese Written Texts 87
Diamantino Caseiro and
Isabel Trancoso Large Vocabulary Continuous Speech
Recognition Using Weighted Finite-State
Transducers . . . . . . . . . . . . . . 91
Nuno Souto and
Hugo Meinedo and
João P. Neto Building Language Models for Continuous
Speech Recognition Systems . . . . . . . 101
Mariem Ellouze and
Abdelmajid Ben Hamadou Relevant Information Extraction Driven
with Rhetorical Schemas to Summarize
Scientific Papers . . . . . . . . . . . 111
Daniela Giorgetti and
Irina Prodanof and
Fabrizio Sebastiani Mapping an Automated Survey Coding Task
into a Probabilistic Text Categorization
Framework . . . . . . . . . . . . . . . 115
Philipp Koehn Combining Multiclass Maximum Entropy
Text Classifiers with Neural Network
Voting . . . . . . . . . . . . . . . . . 125
Jorge Baptista and
Dolors Catal\`a Guitart Compound Temporal Adverbs in Portuguese
and in Spanish . . . . . . . . . . . . . 133
Thierry Grass and
Denis Maurel and
Odile Piton Description of a Multilingual Database
of Proper Names . . . . . . . . . . . . 137
Diamantino Freitas and
António Moura and
Daniela Braga and
Helder Ferreira and
João Paulo Teixeira and
Maria João Barros and
Paulo Gouveia and
Vagner Latsch A Project of Speech Input and Output in
an E-commerce Application . . . . . . . 141
Kerstin Bücher and
Michael Knorr and
Bernd Ludwig Ambiguity Reports for Flexible Dialog
Management . . . . . . . . . . . . . . . 151
Salvador Abreu and
Paulo Quaresma and
Luis Quintano and
Irene Rodrigues A Natural Language Dialogue Manager for
Accessing Databases . . . . . . . . . . 161
Milene Silveira and
Maria Carmelita Dias and
Violeta Quental Helping the Composition of Help Contents 171
Pedro Cardoso and
Luis Flores and
Thibault Langlois and
João Neto Meteo: A Telephone-Based Portuguese
Conversation System in Weather Domain 175
Astrid Hagen Concluding Remarks on Multi-band and
Multi-stream Research for Noise-Robust
ASR . . . . . . . . . . . . . . . . . . 179
Bento C. Dias-da-Silva and
Mirna F. de Oliveira and
Helio R. de Moraes Groundwork for the Development of the
Brazilian Portuguese Wordnet . . . . . . 189
Caroline Hag\`ege and
Ágnes Sándor and
Anne Schiller Linguistic Processing of Biomedical
Texts . . . . . . . . . . . . . . . . . 197
Diana Santos DISPARA, a System for Distributing
Parallel Corpora on the Web . . . . . . 209
Joana Lúcio Paulo and
Margarita Correia and
Nuno J. Mamede and
Caroline Hag\`ege Using Morphological, Syntactical, and
Statistical Information for Automatic
Term Acquisition . . . . . . . . . . . . 219
Paula Carvalho and
Cristina Mota and
Elisabete Ranchhod Complex Lexical Units and Automata . . . 229
Pavel Makagonov and
Mikhail Alexandrov Constructing Empirical Formulas for
Testing Word Similarity by the Inductive
Method of Model Self-Organization . . . 239
Renata Vieira and
Susanne Salmon-Alt and
Emmanuel Schang Multilingual Corpora Annotation for
Processing Definite Descriptions . . . . 249
Alexander Gelbukh and
Grigori Sidorov and
Adolfo Guzmán-Arenas Relational Data Model in Document
Hierarchical Indexing . . . . . . . . . 259
Thiago Alexandre Salgueiro Pardo and
Lucia Helena Machado Rino DMSumm: Review and Assessment . . . . . 263
Anonymous Author Index . . . . . . . . . . . . . . 275
Natarajan Shankar Little Engines of Proof . . . . . . . . 1
Bruno Legeard and
Fabien Peureux and
Mark Utting Automated Boundary Testing from Z and B 21
Gil Ratsaby and
Baruch Sterin and
Shmuel Ur Improvements in Coverability Analysis 41
Juan C. Burguillo-Rial and
Manuel J. Fernández-Iglesias and
Francisco J. González-Castaño and
Martín Llamas-Nistal Heuristic-Driven Test Case Selection
from Formal Specifications. A Case Study 57
Igor B. Bourdonov and
Alexander S. Kossatchev and
Victor V. Kuliamin and
Alexander K. Petrenko UniTesK Test Suite Architecture . . . . 77
David von Oheimb and
Tobias Nipkow Hoare Logic for NanoJava: Auxiliary
Variables, Side Effects, and Virtual
Methods Revisited . . . . . . . . . . . 89
Juan C. Bicarregui Do Not Read This . . . . . . . . . . . . 106
Niels Jòrgensen Safeness of Make-Based Incremental
Recompilation . . . . . . . . . . . . . 126
Sharon Barner and
Shoham Ben-David and
Anna Gringauze and
Baruch Sterin and
Yaron Wolfsthal An Algorithmic Approach to Design
Exploration . . . . . . . . . . . . . . 146
Alexandre Mota and
Paulo Borba and
Augusto Sampaio Mechanical Abstraction of CSP$_Z$
Processes . . . . . . . . . . . . . . . 163
Thomas Arts and
Clara Benac Earle and
John Derrick Verifying Erlang Code: A Resource Locker
Case-Study . . . . . . . . . . . . . . . 184
Michael Huber and
Steve King Towards an Integrated Model Checker for
Railway Signalling Data . . . . . . . . 204
Anthony Hall Correctness by Construction: Integrating
Formality into a Commercial Development
Process . . . . . . . . . . . . . . . . 224
Darko Marinov and
Sarfraz Khurshid VAlloy --- Virtual Functions Meet a
Relational Language . . . . . . . . . . 234
Vlad Rusu Verification Using Test Generation
Techniques . . . . . . . . . . . . . . . 252
Néstor Cataño and
Marieke Huisman Formal Specification and Static Checking
of Gemplus' Electronic Purse Using
ESC/Java . . . . . . . . . . . . . . . . 272
Ludovic Casset Development of an Embedded Verifier for
Java Card Byte Code Using Formal Methods 290
Michael Backes and
Christian Jacobi and
Birgit Pfitzmann Deriving Cryptographically Sound
Implementations Using Composition and
Formally Verified Bisimulation . . . . . 310
Claus Pahl Interference Analysis for Dependable
Systems Using Refinement and Abstraction 330
N. Henderson and
S. E. Paynter The Formal Classification and
Verification of Simpson's 4-Slot
Asynchronous Communication Mechanism . . 350
C. J. Fidge Timing Analysis of Assembler Code
Control-Flow Paths . . . . . . . . . . . 370
María Victoria Cengarle and
Alexander Knapp Towards OCL/RT . . . . . . . . . . . . . 390
Hubert Garavel and
Holger Hermanns On Combining Functional Verification and
Performance Evaluation Using CADP . . . 410
David Basin The Next 700 Synthesis Calculi . . . . . 430
Michael Whalen and
Johann Schumann and
Bernd Fischer Synthesizing Certified Code . . . . . . 431
Augusto Sampaio and
Jim Woodcock and
Ana Cavalcanti Refinement in \em Circus . . . . . . . . 451
Ana Cavalcanti and
David A. Naumann Forward Simulation for Data Refinement
of Classes . . . . . . . . . . . . . . . 471
Luke Wildman A Formal Basis for a Program Compilation
Proof Tool . . . . . . . . . . . . . . . 491
Thomas Firley and
Ursula Goltz Property Dependent Abstraction of
Control Structure for Software
Verification . . . . . . . . . . . . . . 511
Natalia Ioustinova and
Natalia Sidorova and
Martin Steffen Closing Open SDL-Systems for Model
Checking with DTSpin . . . . . . . . . . 531
Lars Michael Kristensen and
Thomas Mailund A Generalised Sweep-Line Method for
Safety Properties . . . . . . . . . . . 549
Helen Treharne Supplementing a UML Development Process
with B . . . . . . . . . . . . . . . . . 568
Jin Song Dong and
Jing Sun and
Hai Wang Semantic Web for Extending and Linking
Formalisms . . . . . . . . . . . . . . . 587
Takaaki Umedu and
Yoshiki Terashima and
Keiichi Yasumoto and
Akio Nakata and
Teruo Higashino and
Kenichi Taniguchi A Language for Describing Wireless
Mobile Applications with Dynamic
Establishment of Multi-way
Synchronization Channels . . . . . . . . 607
Anonymous Author Index . . . . . . . . . . . . . . 625
Ian Horrocks Reasoning with Expressive Description
Logics: Theory and Practice . . . . . . 1
Guoqiang Pan and
Ulrike Sattler and
Moshe Y. Vardi BDD-Based Decision Procedures for
${\mathcal K}$ . . . . . . . . . . . . . 16
Andrew Bernard and
Peter Lee Temporal Logic for Proof-Carrying Code 31
Robert R. Schneck and
George C. Necula A Gradual Approach to a More
Trustworthy, Yet Scalable,
Proof-Carrying Code . . . . . . . . . . 47
Martin Strecker Formal Verification of a Java Compiler
in Isabelle . . . . . . . . . . . . . . 63
Uwe Egly Embedding Lax Logic into Intuitionistic
Logic . . . . . . . . . . . . . . . . . 78
Dominique Larchey-Wendling Combining Proof-Search and Counter-Model
Construction for Deciding Gödel-Dummett
Logic . . . . . . . . . . . . . . . . . 94
Didier Galmiche and
Daniel Méry Connection-Based Proof Search in
Propositional BI Logic . . . . . . . . . 111
Jesper B. Mòller DDDLIB: A Library for Solving Quantified
Difference Inequalities . . . . . . . . 129
Joe Hurd An LCF-Style Interface between HOL and
First-Order Logic . . . . . . . . . . . 134
Jürgen Zimmer and
Michael Kohlhase System Description: The MathWeb Software
Bus for Distributed Mathematical
Reasoning . . . . . . . . . . . . . . . 139
Jörg Siekmann and
Christoph Benzmüller and
Vladimir Brezhnev and
Lassaad Cheikhrouhou and
Armin Fiedler and
Andreas Franke and
Helmut Horacek and
Michael Kohlhase and
Andreas Meier and
Erica Melis and
Markus Moschner and
Immanuel Normann and
Martin Pollet and
Volker Sorge and
Carsten Ullrich and
Claus-Peter Wirth and
Jürgen Zimmer Proof Development with $\Omega$MEGA . . 144
Mateja Jamnik and
Manfred Kerber and
Martin Pollet Learn${\Omega}$matic: System Description 150
Carlos Areces and
Juan Heguiabehere \em HyLoRes 1.0: Direct Resolution for
Hybrid Logics . . . . . . . . . . . . . 156
Eugene Goldberg Testing Satisfiability of CNF Formulas
by Computing a Stable Set of Points . . 161
Thierry Boy de la Tour A Note on Symmetry Heuristics in SEM . . 181
Gilles Audemard and
Piergiorgio Bertoli and
Alessandro Cimatti and
Artur Korni\lowicz and
Roberto Sebastiani A SAT Based Approach for Solving
Formulas over Boolean and Linear
Mathematical Propositions . . . . . . . 195
Wolfgang Ahrendt Deductive Search for Errors in Free Data
Type Specifications Using Model
Generation . . . . . . . . . . . . . . . 211
Gilles Audemard and
Belaid Benhamou Reasoning by Symmetry and Function
Ordering in Finite Model Generation . . 226
Bernhard Gramlich and
Reinhard Pichler Algorithmic Aspects of Herbrand Models
Represented by Ground Atoms with Ground
Equations . . . . . . . . . . . . . . . 241
Lilia Georgieva and
Ullrich Hustadt and
Renate A. Schmidt A New Clausal Class Decidable by
Hyperresolution . . . . . . . . . . . . 260
Christoph Weidenbach and
Uwe Brahm and
Thomas Hillenbrand and
Enno Keen and
Christian Theobald and
Dalibor Topi\'c S$_{PASS}$ Version 2.0 . . . . . . . . . 275
Stephan Schulz and
Geoff Sutcliffe System Description: GrAnDe 1.0 . . . . . 280
Simon Colton The HR Program for Theorem Generation 285
Michael Whalen and
Johann Schumann and
Bernd Fischer AutoBayes/CC --- Combining Program
Synthesis with Automatic Code
Certification --- System Description . . 290
Lintao Zhang and
Sharad Malik The Quest for Efficient Boolean
Satisfiability Solvers . . . . . . . . . 295
Cristina Borralleras and
Salvador Lucas and
Albert Rubio Recursive Path Orderings Can Be
Context-Sensitive . . . . . . . . . . . 314
Harald Ganzinger Shostak Light . . . . . . . . . . . . . 332
Jonathan Ford and
Natarajan Shankar Formal Verification of a Combination
Decision Procedure . . . . . . . . . . . 347
Calogero G. Zarba Combining Multisets with Integers . . . 363
Lawrence C. Paulson The Reflection Theorem: A Study in
Meta-theoretic Reasoning . . . . . . . . 377
Aaron Stump and
David L. Dill Faster Proof Checking in the Edinburgh
Logical Framework . . . . . . . . . . . 392
Chad E. Brown Solving for Set Variables in
Higher-Order Theorem Proving . . . . . . 408
Orna Kupferman and
Ulrike Sattler and
Moshe Y. Vardi The Complexity of the Graded
$\mu$-Calculus . . . . . . . . . . . . . 423
Leonardo de Moura and
Harald Rueß and
Maria Sorea Lazy Theorem Proving for Bounded Model
Checking over Infinite Domains . . . . . 438
Miquel Bofill and
Albert Rubio Well-Foundedness Is Sufficient for
Completeness of Ordered Paramodulation 456
Christopher Lynch and
Barbara Morawska Basic Syntactic Mutation . . . . . . . . 471
Thomas Hillenbrand and
Bernd Löchner The Next W ALDMEISTER Loop . . . . . . . 486
Jean Marc Andreoli Focussing Proof-Net Construction as a
Middleware Paradigm . . . . . . . . . . 501
Matthias Baaz Proof Analysis by Resolution . . . . . . 517
Anonymous Author Index . . . . . . . . . . . . . . 533
Claudio Carpineto Conceptual Structures in Modern
Information Retrieval . . . . . . . . . 1
Gerd Stumme Formal Concept Analysis on Its Way from
Mathematics to Computer Science . . . . 2
Janos Sarbo and
József Farkas A Linearly Complex Model for Knowledge
Representation . . . . . . . . . . . . . 20
Silke Pollandt Relation Graphs: A Structure for
Representing Relations in Contextual
Logic of Relations . . . . . . . . . . . 34
Grit Malik Information Transfer across Simple
Concept Graphs . . . . . . . . . . . . . 48
Joachim Hereth Relational Scaling and Databases . . . . 62
Philippe Martin Knowledge Representation in CGLF, CGIF,
KIF, Frame-CG and Formalized-English . . 77
Jiwei Zhong and
Haiping Zhu and
Jianming Li and
Yong Yu Conceptual Graph Matching for Semantic
Search . . . . . . . . . . . . . . . . . 92
Felix H. Gatzemeier and
Oliver Meyer Text Schema Mining Using Graphs and
Formal Concept Analysis . . . . . . . . 107
Manuel Montes-y-Gómez and
Alexander Gelbukh and
Aurelio López-López Text Mining at Detail Level Using
Conceptual Graphs . . . . . . . . . . . 122
Svetla Boytcheva and
Albena Strupchanska and
Galia Angelova Processing Negation in NL Interfaces to
Knowledge Bases . . . . . . . . . . . . 137
Dennis Reidsma Automatic Generation and Evaluation of
Sentence Graphs out of Word Graphs . . . 151
Henrik Schärfe CG Representations of Non-literal
Expressions . . . . . . . . . . . . . . 166
József Farkas and
Janos Sarbo A Peircean Ontology of Semantics . . . . 177
Alexandre Delteil and
Catherine Faron and
Rose Dieng Building Concept Lattices by Learning
Concepts from RDF Graphs Annotating Web
Documents . . . . . . . . . . . . . . . 191
Olivier Gerbé and
Guy W. Mineau The CG Formalism as an Ontolingua for
Web-Oriented Representation Languages 205
Myriam Ribi\`ere and
Rose Dieng-Kuntz A Viewpoint Model for Cooperative
Building of an Ontology . . . . . . . . 220
Aldo de Moor and
Mary Keeler and
Gary Richmond Towards a Pragmatic Web . . . . . . . . 235
Guy W. Mineau A First Step toward the Knowledge Web:
Interoperability Issues among Conceptual
Graph Based Software Agents Part I . . . 250
Pavlin Dobrev and
Kristina Toutanova CGWorld --- Architecture and Features 261
César F. Pimentel and
Maria R. Cravo Extending SNePSwD with Permissive Belief
Revision . . . . . . . . . . . . . . . . 271
Henrik Schärfe and
Ulrik Petersen and
Peter hrstròm On Teaching Conceptual Graphs . . . . . 285
Sébastien Ferré and
Olivier Ridoux The Use of Associative Concepts in the
Incremental Building of a Logical
Context . . . . . . . . . . . . . . . . 299
Sergei Obiedkov Modal Logic for Evaluating Formulas in
Incomplete Contexts . . . . . . . . . . 314
Frithjof Dau An Embedding of Existential Graphs into
Concept Graphs with Negations . . . . . 326
Karl Erich Wolff Interpretation of Automata in Temporal
Concept Analysis . . . . . . . . . . . . 341
Uta Priss Associative and Formal Concepts . . . . 354
Julia Klinger Semiconcept Graphs with Variables . . . 369
Rudolf Wille Existential Concept Graphs of Power
Context Families . . . . . . . . . . . . 382
Anonymous Author Index . . . . . . . . . . . . . . 397
Erika Blanc and
Paolo Giudici Sequence Rules for Web Clickstream
Analysis . . . . . . . . . . . . . . . . 1
Jochen Hipp and
Ulrich Güntzer and
Gholamreza Nakhaeizadeh Data Mining of Association Rules and the
Process of Knowledge Discovery in
Databases . . . . . . . . . . . . . . . 15
P. Perner and
G. Fiss Intelligent E-marketing with Web Mining,
Personalization, and User-Adpated
Interfaces . . . . . . . . . . . . . . . 37
Klaus-Dieter Althoff and
Ulrike Becker-Kornstaedt and
Björn Decker and
Andreas Klotz and
Edda Leopold and
Jörg Rech and
Angi Voss The indiGo Project: Enhancement of
Experience Management and Process
Learning with Moderated Discourses . . . 53
Änne Glass and
Thomas Karopka Genomic Data Explosion --- The Challenge
for Bioinformatics? . . . . . . . . . . 80
Rainer Schmidt and
Lothar Gierl Case-Based Reasoning for Prognosis of
Threatening Influenza Waves . . . . . . 99
Anonymous Author Index . . . . . . . . . . . . . . 109
Diego Macrini and
Ali Shokoufandeh and
Sven Dickinson and
Kaleem Siddiqi and
Steven Zucker Spectral Methods for View-Based $3$-D
Object Recognition Using Silhouettes . . 1
Thomas G. Dietterich Machine Learning for Sequential Data: A
Review . . . . . . . . . . . . . . . . . 15
Edwin Hancock and
Richard C. Wilson Graph-Based Methods for Vision: A
Yorkist Manifesto . . . . . . . . . . . 31
Carlos D. Martínez-Hinarejos and
Alfonso Juan and
Francisco Casacuberta and
Ramón Mollineda Reducing the Computational Cost of
Computing Approximated Median Strings 47
Jose L. Verdú-Mas and
Mikel L. Forcada and
Rafael C. Carrasco and
Jorge Calera-Rubio Tree $k$-Grammar Models for Natural
Language Modelling and Parsing . . . . . 56
Henning Fernau and
Agnes Radl Algorithms for Learning Function
Distinguishable Regular Languages . . . 64
B. J. van Wyk and
M. A. van Wyk Non-bayesian Graph Matching without
Explicit Compatibility Calculations . . 74
Bin Luo and
Richard C. Wilson and
Edwin R. Hancock Spectral Feature Vectors for Graph
Clustering . . . . . . . . . . . . . . . 83
Stefan Fischer and
Kaspar Gilomen and
Horst Bunke Identification of Diatoms by Grid Graph
Matching . . . . . . . . . . . . . . . . 94
Antonio Robles-Kelly and
Edwin R. Hancock String Edit Distance, Random Walks and
Graph Matching . . . . . . . . . . . . . 104
Andrea Torsello and
Edwin R. Hancock Learning Structural Variations in Shock
Trees . . . . . . . . . . . . . . . . . 113
H. Bunke and
P. Foggia and
C. Guidobaldi and
C. Sansone and
M. Vento A Comparison of Algorithms for Maximum
Common Subgraph on Randomly Connected
Graphs . . . . . . . . . . . . . . . . . 123
Serhiy Kosinov and
Terry Caelli Inexact Multisubgraph Matching Using
Graph Eigenspace and Clustering Models 133
Xiaoyi Jiang and
Horst Bunke Optimal Lower Bound for Generalized
Median Problems in Metric Space . . . . 143
Adnan Amin Structural Description to Recognising
Arabic Characters Using Decision Tree
Learning Techniques . . . . . . . . . . 152
Jean Duong and
Myrian Côté and
Hubert Emptoz Feature Approach for Printed Document
Image Analysis . . . . . . . . . . . . . 159
Liu Wenyin Example-Driven Graphics Recognition . . 168
Georgy Gimel'farb Estimation of Texels for Regular Mosaics
Using Model-Based Interaction Maps . . . 177
Lee Gregory and
Josef Kittler Using Graph Search Techniques for
Contextual Colour Retrieval . . . . . . 186
Ezra Tassone and
Geoff West and
Svetha Venkatesh Comparing Shape and Temporal PDMs . . . 195
Abdullah A. Al-Shaher and
Edwin R. Hancock Linear Shape Recognition with Mixtures
of Point Distribution Models . . . . . . 205
Fabio Sartori and
Edwin R. Hancock Curvature Weighted Evidence Combination
for Shape-from-Shading . . . . . . . . . 216
E. Michaelsen and
U. Stilla Probabilistic Decisions in Production
Nets: An Example from Vehicle
Recognition . . . . . . . . . . . . . . 225
Georg Langs and
Horst Bischof and
Walter G. Kropatsch Hierarchical Top Down Enhancement of
Robust PCA . . . . . . . . . . . . . . . 234
Mihai Lazarescu and
Andrew Turpin and
Svetha Venkatesh An Application of Machine Learning
Techniques for the Classification of
Glaucomatous Progression . . . . . . . . 243
Francesc Serratosa and
René Alquézar and
Alberto Sanfeliu Estimating the Joint Probability
Distribution of Random Vertices and Arcs
by Means of Second-Order Random Graphs 252
B. J. van Wyk and
M. A. van Wyk and
H. E. Hanrahan Successive Projection Graph Matching . . 263
Denis V. Popel Compact Graph Model of Handwritten
Images: Integration into
Authentification and Recognition . . . . 272
Mathieu Delalandre and
Pierre Héroux and
Sébastien Adam and
Eric Trupin and
Jean-Marc Ogier A Statistical and Structural Approach
for Symbol Recognition, Using XML
Modelling . . . . . . . . . . . . . . . 281
Adel Hlaoui and
Shengrui Wang A New Algorithm for Graph Matching with
Application to Content-Based Image
Retrieval . . . . . . . . . . . . . . . 291
Juan Humberto Sossa Azuela and
Francisco Cuevas de la Rosa and
Héctor Benitez Efficient Computation of $3$-D Moments
in Terms of an Object's Partition . . . 301
Roman M. Palenichka A Visual Attention Operator Based on
Morphological Models of Images and
Maximum Likelihood Decision . . . . . . 310
Ilkay Ulusoy and
Edwin R. Hancock and
Ugur Halici Disparity Using Feature Points in Multi
Scale . . . . . . . . . . . . . . . . . 320
Kyungjoo Cheoi and
Yillbyung Lee Detecting Perceptually Important Regions
in an Image Based on Human Visual
Attention Characteristic . . . . . . . . 329
Hassan Alam and
Ahmad Fuad Rezaur Rahman and
Timotius Tjahjadi and
Hua Cheng and
Paul Llid Aman Kumar and
Rachmat Hartono and
Yulia Tarnikova and
Che Wilcox Development of Spoken Language User
Interfaces: A Tool Kit Approach . . . . 339
Changhua Wu and
Gady Agam Document Image De-warping for
Text/Graphics Recognition . . . . . . . 348
G. S. Lehal and
Chandan Singh A Complete OCR System for Gurmukhi
Script . . . . . . . . . . . . . . . . . 358
Antoni Grau and
Joan Climent and
Francesc Serratosa and
Alberto Sanfeliu Texprint: A New Algorithm to
Discriminate Textures Structurally . . . 368
Michael Droettboom and
Ichiro Fujinaga and
Karl MacMillan Optical Music Interpretation . . . . . . 378
Juan Humberto Sossa Azuela and
Aurelio Velázquez and
Serguei Levachkine On the Segmentation of Color
Cartographic Images . . . . . . . . . . 387
Mayer Aladjem Projection Pursuit Fitting Gaussian
Mixture Models . . . . . . . . . . . . . 396
Tsuyoshi Kato and
Shinichiro Omachi and
Hirotomo Aso Asymmetric Gaussian and Its Application
to Pattern Recognition . . . . . . . . . 405
Mohammad Sadeghi and
Josef Kittler Modified Predictive Validation Test for
Gaussian Mixture Modelling . . . . . . . 414
Giorgio Fumera and
Fabio Roli Performance Analysis and Comparison of
Linear Combiners for Classifier Fusion 424
Ray Somorjai and
Arunas Janeliunas and
Richard Baumgartner and
Sarunas Raudys Comparison of Two Classification
Methodologies on a Real-World Biomedical
Problem . . . . . . . . . . . . . . . . 433
Ana Fred and
Anil K. Jain Evidence Accumulation Clustering Based
on the K-Means Algorithm . . . . . . . . 442
Andrew Webb A Kernel Approach to Metric
Multidimensional Scaling . . . . . . . . 452
Pavel Paclík and
Robert P. W. Duin and
Geert M. P. van Kempen and
Reinhard Kohlus On Feature Selection with Measurement
Cost and Grouped Features . . . . . . . 461
Naoto Abe and
Mineichi Kudo and
Masaru Shimbo Classifier-Independent Feature Selection
Based on Non-parametric Discriminant
Analysis . . . . . . . . . . . . . . . . 470
Helene Schulerud and
Fritz Albregtsen Effects of Many Feature Candidates in
Feature Selection and Classification . . 480
Elzbieta Pekalska and
Robert P. W. Duin Spatial Representation of Dissimilarity
Data via Lower-Complexity Linear and
Nonlinear Mappings . . . . . . . . . . . 488
Masakazu Iwamura and
Shinichiro Omachi and
Hirotomo Aso A Method to Estimate the True
Mahalanobis Distance from Eigenvectors
of Sample Covariance Matrix . . . . . . 498
M. Loog and
R. P. W. Duin Non-iterative Heteroscedastic Linear
Dimension Reduction for Two-Class Data 508
R. Barandela and
F. J. Ferri and
T. Nájera Some Experiments in Supervised Pattern
Recognition with Incomplete Training
Samples . . . . . . . . . . . . . . . . 518
Sang-Woon Kim and
B. J. Oommen Recursive Prototype Reduction Schemes
Applicable for Large Data Sets . . . . . 528
Daniel Keysers and
Roberto Paredes and
Hermann Ney and
Enrique Vidal Combination of Tangent Vectors and Local
Representations for Handwritten Digit
Recognition . . . . . . . . . . . . . . 538
Javier Cano and
Juan-Carlos Perez-Cortes and
Joaquim Arlandis and
Rafael Llobet Training Set Expansion in Handwritten
Character Recognition . . . . . . . . . 548
Jan Bakus and
Mohamed Kamel Document Classification Using Phrases 557
Miroslav Hamouz and
Josef Kittler and
Jiri Matas and
Petr Bílek Face Detection by Learned Affine
Correspondences . . . . . . . . . . . . 566
Hossein Ragheb and
Edwin R. Hancock Shape-from-Shading for Highlighted
Surfaces . . . . . . . . . . . . . . . . 576
Dick de Ridder and
Robert P. W. Duin and
Josef Kittler Texture Description by Independent
Components . . . . . . . . . . . . . . . 587
Josef Kittler and
Marco Ballette and
W. J. Christmas and
Edward Jaser and
Kieron Messer Fusion of Multiple Cue Detectors for
Automatic Sports Video Annotation . . . 597
Giorgio Giacinto and
Fabio Roli Query Shifting Based on Bayesian
Decision Theory for Content-Based Image
Retrieval . . . . . . . . . . . . . . . 607
Michal Haindl Recursive Model-Based Colour Image
Restoration . . . . . . . . . . . . . . 617
Javad Haddadnia and
Majid Ahmadi and
Karim Faez Human Face Recognition with Different
Statistical Features . . . . . . . . . . 627
Yea-Shuan Huang and
Yao-Hong Tsai A Transformation-Based Mechanism for
Face Recognition . . . . . . . . . . . . 636
Ginés García-Mateos and
Alberto Ruiz and
Pedro E. Lopez-de-Teruel Face Detection Using Integral Projection
Models . . . . . . . . . . . . . . . . . 644
Jaepil Ko and
Eunju Kim and
Heyran Byun Illumination Normalized Face Image for
Face Recognition . . . . . . . . . . . . 654
Javier Ruiz del Solar and
Pablo Navarrete Towards a Generalized Eigenspace-Based
Face Recognition Framework . . . . . . . 662
Jon Ander Gómez and
María José Castro Automatic Segmentation of Speech at the
Phonetic Level . . . . . . . . . . . . . 672
Tomi Kinnunen and
Ismo Kärkkäinen Class-Discriminative Weighted Distortion
Measure for VQ-based Speaker
Identification . . . . . . . . . . . . . 681
Dahbia Semani and
Christophe Saint-Jean and
Carl Frélicot and
Thierry Bouwmans and
Pierre Courtellemont Alive Fishes Species Characterization
from Video Sequences . . . . . . . . . . 689
Massimo De Santo and
Gennaro Percannella and
Carlo Sansone and
Roberto Santoro and
Mario Vento Automatic Cut Detection in MPEG Movies:
A Multi-expert Approach . . . . . . . . 699
Keith Copsey and
Andrew Webb Bayesian Networks for Incorporation of
Contextual Information in Target
Recognition Systems . . . . . . . . . . 709
Francisco Moreno-Seco and
Luisa Micó and
Jose Oncina Extending LAESA Fast Nearest Neighbour
Algorithm to Find the $k$ Nearest
Neighbours . . . . . . . . . . . . . . . 718
Eva Gómez-Ballester and
Luisa Micó and
Jose Oncina A Fast Approximated $k$-Median Algorithm 725
Antonello Panuccio and
Manuele Bicego and
Vittorio Murino A Hidden Markov Model-Based Approach to
Sequential Data Clustering . . . . . . . 734
Alberto Perez-Jimenez and
Juan-Carlos Perez-Cortes Genetic Algorithms for Exploratory Data
Analysis . . . . . . . . . . . . . . . . 743
Edgard Nyssen and
Naren Naik and
Bart Truyen Piecewise Multi-linear PDF Modelling,
Using an ML Approach . . . . . . . . . . 752
Kazuaki Aoki and
Mineichi Kudo Decision Tree Using Class-Dependent
Feature Subsets . . . . . . . . . . . . 761
Konstantinos Sirlantzis and
Sanaul Hoque and
Michael C. Fairhurst and
Ahmad Fuad Rezaur Rahman Fusion of n-Tuple Based Classifiers for
High Performance Handwritten Character
Recognition . . . . . . . . . . . . . . 770
Bruce A. Draper and
Kyungim Baek and
Jeff Boody A Biologically Plausible Approach to Cat
and Dog Discrimination . . . . . . . . . 779
David Windridge and
Josef Kittler Morphologically Unbiased Classifier
Combination through Graphical PDF
Correlation . . . . . . . . . . . . . . 789
Hitoshi Sakano and
Takashi Suenaga Classifiers under Continuous
Observations . . . . . . . . . . . . . . 798
Jing-Wein Wang Texture Classification Based on
Coevolution Approach in Multiwavelet
Feature Space . . . . . . . . . . . . . 806
Georgy Gimel'farb and
Uri Lipowezky Probabilistic Signal Models to
Regularise Dynamic Programming Stereo 814
Atsushi Imiya and
Tetsu Hada and
Ken Tatara The Hough Transform without the
Accumulators . . . . . . . . . . . . . . 823
José Manuel Iñesta and
Jorge Calera-Rubio Robust Gray-Level Histogram Gaussian
Characterisation . . . . . . . . . . . . 833
Michal Haindl and
Hynek Lauschmann Model-Based Fatique Fractographs Texture
Analysis . . . . . . . . . . . . . . . . 842
Zohreh Azimifar and
Paul Fieguth and
Ed Jernigan Hierarchical Multiscale Modeling of
Wavelet-Based Correlations . . . . . . . 850
Anonymous Author Index . . . . . . . . . . . . . . 861
George Kerscher Structured Access to Documents, Digital
Talking Books, and Beyond: The DAISY
Consortium . . . . . . . . . . . . . . . 1
Introduction to the Special Thematic Session eEurope --- eAccessibility --- User
Participation Participation of People
with Disabilities and Older People in
the Information Society . . . . . . . . 3
Introduction to the Workshop From Research to Business Improving the
Take Up of Results of Research Projects 6
Introduction to the Special Thematic Session Universal Access to Information Society
Technologies: Opportunities for People
with Disabilities . . . . . . . . . . . 8
Keith Gladstone and
Cathy Rundle and
Tara Alexander Accessibility and Usability of eCommerce
Systems . . . . . . . . . . . . . . . . 11
M. Pieper Recommending Context-Sensitive and
Process-Oriented Tourist Information to
the Disabled --- The PALIO Case . . . . 19
Denis Chêne and
Michel Hoël Web Site Accessibility Auditing Tool for
Visually Deficient Persons OCAWA . . . . 27
Andreas Holzinger User-Centered Interface Design for
Disabled and Elderly People: First
Experiences with Designing a Patient
Communication System (PACOSY) . . . . . 33
Constantine Stephanidis The Disappearing Computer: Emerging
Opportunities and Challenges for
Disabled and Elderly People . . . . . . 41
Pier Luigi Emiliani New Technologies and Services for
Disabled and Elderly People in the
Emerging Information Society . . . . . . 49
Sylvie Duchateau and
Denis Boulay and
Claudine Tchang-Ayo and
Dominique Burger A Strategy to Achieve the Accessibility
of Public Web Sites . . . . . . . . . . 58
Régis Privat and
Nadine Vigouroux and
Philippe Truillet and
Bernard Oriola Accessibility and Affordance for Voice
Interactive Systems with the VoiceXML
Technology . . . . . . . . . . . . . . . 61
Introduction to the Special Thematic Session Computer and Inclusive Education . . . . 64
Amanda Watkins and
Harald Weber National Information and Communication
Technology Policies . . . . . . . . . . 68
Walter Rainwald EUN Virtual School Special Needs
Education . . . . . . . . . . . . . . . 76
M. Pieper Tutorial Systems to Teach Standard
Applications to the Learning Disabled 83
Dominique Archambault and
Dominique Burger The Vickie Project . . . . . . . . . . . 90
Jaakko Kurhila and
Hanna Varjola Using Adaptive Hypermedia to Evaluate
Basic Arithmetic Skills in Special
Education . . . . . . . . . . . . . . . 98
Ewald Feyerer and
Klaus Miesenberger and
David Wohlhart ICT and Assistive Technology in Teachers
Education and Training . . . . . . . . . 107
Jòrgen Greve and
Harald Weber Bridging the Information Gap between IST
and SEN --- A Practical Approach on
European Level . . . . . . . . . . . . . 115
Yehya Mohamad and
S. Hammer and
F. Haverkamp and
M. Nöker and
H. Tebarth Evaluational Study: Training with
Animated Pedagogical Agents . . . . . . 117
Barbara Prazak and
Mathilde Niehaus Usage of Modern Technologies --- A
Chance for People with Special Needs?!
--- Pedagogically Relevant Criteria for
the Review of Educational Software
Exemplified by ``Step by Step 3'' . . . 125
Cordula Edler Social Innovation in the Information
Society --- Take It Easy . . . . . . . . 128
David Wohlhart ODL:Inclusive --- Improving Inclusive
Teaching through Online Training . . . . 130
Norman Coombs Accessible E-learning: Infrastructure
and Content . . . . . . . . . . . . . . 133
Giovanna Turrini and
Laura Cignoni and
Alessandro Paccosi Addizionario: Words in Your Pocket . . . 136
N. Shopland and
J. Lewis and
D. J. Brown and
H. M. Powell Virtual Travel Training for People with
Learning Disabilities Accessing
Employment Including the Introduction to
the Special Thematic Session ``Virtual
Reality'' . . . . . . . . . . . . . . . 140
F. Alcantud and
G. Herrera and
G. Labajo and
I. Dolz and
C. Gayá and
V. Avila and
A. Blanquer and
J. L. Cuesta and
J. Arnáiz Assessing Virtual Reality as a Tool for
Support Imagination . . . . . . . . . . 143
D. J. Brown and
M. Yazdanparast and
J. Lewis and
N. Shopland and
H. M. Powell Literacy and Numeracy Edutainment
Packages for Disaffected Young Learners 145
P. J. Standen and
S. Battersby and
T. L. Lannen Control of Virtual Environments for
People with Intellectual Disabilities 147
S. J. Battersby and
N. Kelly and
D. J. Brown and
H. M. Powell Online Gardening to Promote Social
Inclusion . . . . . . . . . . . . . . . 150
D. Bauer and
A. Plinge and
M. Finke Selective Phoneme Spotting for
Realization of an /s, z, C, t/
Transposer . . . . . . . . . . . . . . . 153
Flavio Oliveira and
Iwao Kobayashi and
Mitsumasa Sugawara A Multimedia Based Software for
Non-Japanese to Learn Japanese Sign
Language . . . . . . . . . . . . . . . . 162
Hiroki Minagawa and
Ichiro Naito and
Nobuko Kato and
Hiroshi Murakami and
Yasushi Ishihara The User Interface Design for the Sign
Language Translator in a Remote Sign
Language Interpretation System . . . . . 164
Tomoyuki Nishioka The See-through Head Mount Display as
the Information Offering Device for the
Hearing Impaired Students . . . . . . . 166
D. Bauer and
A. Plinge and
M. Finke Digital Speech Signal Processing to
Compensate Severe Sensory Hearing
Deficits: The /s, z, C, t/ Transposer
Module in Simulation --- An Overview and
Examples . . . . . . . . . . . . . . . . 168
Introduction to the Special Thematic Session Computers for the Development of Young
Disabled Children . . . . . . . . . . . 170
Aurélie Buaud and
Harry Svensson and
Dominique Archambault and
Dominique Burger Multimedia Games for Visually Impaired
Children . . . . . . . . . . . . . . . . 173
Paul Panek and
Christian Beck and
Stefan Mina and
Gottfried Seisenbacher and
Wolfgang L. Zagler Technical Assistance for Motor- and
Multiple Disabled Children --- Some Long
Term Experiences . . . . . . . . . . . . 181
Chi Nung Chu and
Tien Yu Li and
Ming Chung Chen The Design of an Adaptive Web Browser
for Young Children with Reading
Difficulties . . . . . . . . . . . . . . 189
Anita Hildén and
Jenny Hammarlund Can All Young Disabled Children Play at
the Computer? . . . . . . . . . . . . . 191
Antoine Dutot and
Damien Olivier and
Dominique Archambault TL a Language to Create Games for
Visually Impaired Children . . . . . . . 193
Hiroaki Kawamoto and
Yoshiyuki Sankai Power Assist System HAL-3 for Gait
Disorder Person . . . . . . . . . . . . 196
Ting-Fang Wu and
Ling-Fu Meng and
Hwa-Pey Wang and
Wu-Tien Wu and
Tien-Yu Li Computer Access Assessment for Persons
with Physical Disabilities: A Guide to
Assistive Technology Interventions . . . 204
Junji Ohyama and
Yoshiyuki Sankai A Proposal of Effective Motion Learning
Method Using Sensory Feedback for
Walk-disabled People . . . . . . . . . . 212
Masako Nozawa and
Yoshiyuki Sankai Control Method of Walking Speed and Step
Length for Hybrid Assistive Leg . . . . 220
Hidetaka Ikeuchi and
Satoshi Arakane and
Kengo Ohnishi and
Keiji Imado and
Yukio Saito and
Hiroomi Miyagawa The Development of Gait Training System
for Computer-Aided Rehabilitation . . . 228
James Gips and
Philip A. DiMattia and
Marialice Curran and
Debra Lees and
Maureen Gates Accessing Internet Courses by Eye
Movement and Head Movement . . . . . . . 236
Tien-yu Li and
Ling-Fu Meng and
Chien-Huey Sophie Chang and
Ming-Chung Chen and
Chi-Nung Chu and
Arr-Ming Chou and
Tony Yang and
Chin-Chen Hui and
Ai-Chiao Ku and
Yun-Lung Lin The Program for Improving the Working
Interfaces and Increasing the Work
Competencies of People with Severe
Physical Disabilities: The Evaluation,
Design, and Training of the Adaptive
Computer Devices . . . . . . . . . . . . 238
Introduction to the Special Thematic Session Matching Typing Persons and Intelligent
Interfaces . . . . . . . . . . . . . . . 241
Johannes Matiasek and
Marco Baroni and
Harald Trost FASTY --- A Multi-lingual Approach to
Text Prediction . . . . . . . . . . . . 243
Tim Willis and
Helen Pain and
Shari Trewin and
Stephen Clark Informing Flexible Abbreviation
Expansion for Users with Motor
Disabilities . . . . . . . . . . . . . . 251
Grigori Evreinov and
Roope Raisamo Cyclic Input of Characters through a
Single Button Manipulation . . . . . . . 259
Vidas Lauruska and
Tomas Musteikis Developing of Predictive Communication
System for the Physically Disabled
People . . . . . . . . . . . . . . . . . 267
Ming-Chung Chen and
Hwa-Pey Wang and
Tien-Yu Li Teaching Adolescents with Disabilities
to Learn Chinese Keyboarding by Using
Multimedia Computer Assisted Input
Method Learning System . . . . . . . . . 271
Shari Trewin and
Patti Slobogin and
M. G. Power Accelerating Assessment with
Self-Optimizing Devices . . . . . . . . 273
Philippe Boissi\`ere and
Daniel Dours A Proposal of an Evaluation Framework
for Writing Assistance Systems:
Application to VITIPI . . . . . . . . . 276
Dirk Clemens and
Helmut Heck and
Michael Kühn and
Olaf Perlick and
Frank Reins Individually Assisted Text Entry with
Situational and Contextual Prediction 279
Introduction to the Special Thematic Session Accessible Digital Media . . . . . . . . 282
Vera Roberts and
Deborah Fels Methods for Inclusion: Employing Think
Aloud Protocol with Individuals Who Are
Deaf . . . . . . . . . . . . . . . . . . 284
Charles Silverman and
Deborah I. Fels Emotive Captioning in a Digital World 292
Maarten Verboom and
David Crombie and
Evelien Dijk and
Mildred Theunisz Spoken Subtitles: Making Subtitled TV
Programmes Accessible . . . . . . . . . 295
Deborah I. Fels Accessible Digital Media . . . . . . . . 303
Introduction to the Special Thematic Session Electronic and Virtual Libraries: Access
for Print Disabled People . . . . . . . 308
George Kerscher Semantically Rich Markup, Should You Be
Agnostic in Your Choice of a Vocabulary 312
Thomas Kahlisch DZB --- A German Library for the Blind
Goes Digital . . . . . . . . . . . . . . 316
Ruth Hammerschmid and
Klaus Miesenberger and
Bernhard Stöger Harmonisation of the Copyright Law
throughout the European Union --- A
Challenge for All Print Disabled People 321
Claude Moulin and
Sylvain Giroux and
Dominique Archambault and
Davide Carboni and
Dominique Burger A Distributed Document Oriented
Architecture for Rendering Services to
Visually Impaired Students . . . . . . . 329
Karim Taha and
Lori Stefano Pertucci ABA's Virtual Library Services for Blind
and Visually Impaired People . . . . . . 337
Sébastien Sablé and
Dominique Archambault Libbraille: A Portable Library to Easily
Access Braille Displays . . . . . . . . 345
Mathieu Raynal and
Mathieu Serrurier CYNTHIA: An HTML Browser for Visually
Handicapped People . . . . . . . . . . . 353
Benoit Guillon and
Dominique Burger and
Bruno Marmol A Secure Internet Service for Delivering
Documents for the Blind . . . . . . . . 360
Marco Köttstorfer and
Klaus Miesenberger Virtual Libraries Initiatives with
Usable Results for Print Disabled People 366
David Crombie and
Arne Leeman and
Marian Oosting and
Maarten Verboom Unlocking Doors: Building an Accessible
Online Information Node . . . . . . . . 374
Bert Paepen and
Jan Engelen Using XML as a Reading Enabler for
Visually Impaired Persons . . . . . . . 382
Axel Schmetzke The Accessibility of Online Library
Resources for People with Print
Disabilities: Research and Strategies
for Change . . . . . . . . . . . . . . . 390
Brasseur Vincent and
Mohamed Slimane and
Nicole Vincent and
Dominique Burger Quick Access to Dictionaries for Blind
and Visually Impaired People . . . . . . 398
Gerhard Jaworek Perspectives and Possibilities for the
Automated Processing of Scientific Texts
for Blind and Visually Impaired People 401
Basawaraj Patil and
Klaus Maetzel and
Erich J. Neuhold Universal Usability Issues of Textual
Information Structures, Commands, and
Languages of Native Visually Challenged
Users: An Inclusive Design Framework . . 403
Marisa DeMeglio and
Markku T. Hakkinen and
Hiroshi Kawamura Accessible Interface Design: Adaptive
Multimedia Information System (AMIS) . . 406
Helen Petrie and
Gerhard Weber Reading Multimedia Documents . . . . . . 413
Yacine Bellik and
René Farcy Comparison of Various Interface
Modalities for a Locomotion Assistance
Device . . . . . . . . . . . . . . . . . 421
Vivien Guillet and
Beatrice Rumpler and
Jean-Marie Pinon Providing Help for Visually Impaired
People's Navigation in an Urban
Environment Using GPS . . . . . . . . . 429
AbdulMalik S. Al-Salman New Trends and Developments in Computer
and Internet Technology for Visually
Impaired People: A Survey and Usefulness
in the Arab Sub-region . . . . . . . . . 437
Harald Schwende Auditory Emotional Access to Visual
Information . . . . . . . . . . . . . . 445
Yoshihiko Nomura and
Sayuri Nishihama and
Tokuhiro Sugiura and
Hirokazu Matsui and
Norihiko Kato Auditory Sensation Aided Image
Perception: Integration of Somesthetic
Sense of Fingertip Position . . . . . . 448
Luciano Silva and
Olga Regina Pereira Bellon A Novel Application to Aid Low Vision
Computer Users . . . . . . . . . . . . . 455
Martin Jung and
Erdmuthe Meyer zu Bexten Visually Impaired Persons Using
Microsoft PowerPoint Presentations . . . 463
Deborah Gilden Using MS Office Features as Low Vision
Accessibility Tools . . . . . . . . . . 469
Introduction to the Special Thematic Session Access to Mathematics by Blind Students 471
Arthur I. Karshmer and
Gopal Gupta and
Doug Gillan Architecting an Auditory Browser for
Navigating Mathematical Expressions . . 477
Pavel Gaura REMathEx --- Reader and Editor of the
Mathematical Expressions for Blind
Students . . . . . . . . . . . . . . . . 486
D. Fitzpatrick Speaking Technical Documents: Using
Prosody to Convey Textual and
Mathematical Material . . . . . . . . . 494
John A. Gardner Access by Blind Students and
Professionals to Mainstream Math and
Science . . . . . . . . . . . . . . . . 502
Erdmuthe Meyer zu Bexten and
Martin Jung \LaTeX at the University of Applied
Sciences Giessen-Friedberg ---
Experiences at the Institute for
Visually Impaired Students . . . . . . . 508
Martina Kobolkova and
Peter Lecky Experience with Access to Mathematics
for Blind Students in Slovakia . . . . . 510
Kanahori Toshihiro and
Suzuki Masakazu Infty Alpha Test Site . . . . . . . . . 512
Ming Chung Chen and
Tien Yu Li and
Chi Nung Chu and
Ling Fu Meng and
Chien-Huey Sophie Chang and
Arr Mien Chou and
Tony Yang and
Chih Chen Hui and
Ai Chiao Ku and
Yun Lung Lin Designing an AutoMouse to Promote
Computer Accessibility for People with
Severe Physical Impairments . . . . . . 514
H. K. Ault and
J. W. Deloge and
R. W. Lapp and
M. J. Morgan and
J. R. Barnett Evaluation of Long Descriptions of
Statistical Graphics for Blind and Low
Vision Web Users . . . . . . . . . . . . 517
Makoto Kobayashi and
Tetsuya Watanabe A Tactile Display System Equipped with a
Pointing Device --- MIMIZU . . . . . . . 527
Mario Batusic and
Franz Urban Preparing Tactile Graphics for
Traditional Braille Printers with \em
BrlGraphEditor . . . . . . . . . . . . . 535
Helen Petrie and
Christoph Schlieder and
Paul Blenkhorn and
Gareth Evans and
Alasdair King and
Anne-Marie O'Neill and
George T. Ioannidis and
Blaithin Gallagher and
David Crombie and
Rolf Mager and
Maurizio Alafaci TeDUB: A System for Presenting and
Exploring Technical Drawings for Blind
People . . . . . . . . . . . . . . . . . 537
Yutaka Shimizu and
Masami Shinohara and
Hideji Nagaoka and
Yasushige Yonezawa Improvement of User Interface for Blind
PC Users . . . . . . . . . . . . . . . . 540
Helen Graupp and
Keith Gladstone and
Leanne Thompson Haptic Perception of $2$D Pictures and
$3$D Objects: Accurate Mental
Representation as a Function of Visual
Status . . . . . . . . . . . . . . . . . 543
Eniko T. Enikov and
Kalin V. Lazarov and
Gilbert R. Gonzales Microelectrical Mechanical Systems
Actuator Array for Tactile Communication 551
Ben Challis Designing Interactive Tactile Diagrams 559
Damian T. Murphy and
Michael C. Kelly and
Anthony I. Tew $3$D Audio in the 21$^{st}$ Century . . 562
Myron W. Krueger and
Deborah Gilden Going Places with ``KnowWare'': Virtual
Reality Maps for Blind People . . . . . 565
Sri Hastuti Kurniawan and
Alistair Sutcliffe Mental Models of Blind Users in the
Windows Environment . . . . . . . . . . 568
D. G. Evans and
K. Polyzoaki and
P. Blenkhorn An Approach to Producing New Languages
for Talking Applications for Use by
Blind People . . . . . . . . . . . . . . 575
Wendy Fisher and
Helen Petrie User Requirements for Technologies for
Personal Communication and Information
Use for Deafblind People . . . . . . . . 583
Danko Butorac Project IPSIS --- Web Portal and Linux
for the Blind . . . . . . . . . . . . . 585
T. Diggle and
S. Kurniawan and
D. G. Evans and
P. Blenkhorn An Analysis of Layout Errors in Word
Processed Documents Produced by Blind
People . . . . . . . . . . . . . . . . . 587
Tetsuya Watanabe and
Chuji Sashida and
Shinichi Okada Windows Screen Reader User Survey in
Japan . . . . . . . . . . . . . . . . . 589
D. G. Evans and
P. Blenkhorn Tools for Creating Documents in
`Preferred Format' for Visually Impaired
People . . . . . . . . . . . . . . . . . 591
Shunsuke Hara and
Ryoko Kawamitsu and
Kanako Kusunoki and
Hiroshi Sato and
Mamoru Fujiyoshi Braille Printing System . . . . . . . . 594
Mats Blomquist Braille Contractions in WinBraille . . . 602
Andras Arato and
Theresa Vaspori and
Gareth Evans and
Paul Blenkhorn Braille to Text Translation for
Hungarian . . . . . . . . . . . . . . . 610
Mats Blomquist and
Per Burman The WinBraille Approach to Producing
Braille Quickly and Effectively . . . . 618
Yoshiyuki Takahashi and
Takafumi Terada and
Kaoru Inoue and
Satoshi Sasada and
Takashi Komeda Haptic Device System for Upper Limb
Motor Function and Cognitive Function
Rehabilitation . . . . . . . . . . . . . 620
Sirkku Männikkö-Barbutiu Networking for Accessibility: Elderly
People and New Technology . . . . . . . 628
Paul Panek and
Christian Beck and
Andreas Hochgatterer and
Stefan Mina and
Barbara Prazak and
Gottfried Seisenbacher and
Mathijs Soede and
Wolfgang L. Zagler Tele-Help and Remote Service Provision
Using RESORT Prototype System . . . . . 635
Jutta Treviranus Making Yourself at Home --- Portable
Personal Access Preferences . . . . . . 643
Peter Mayer and
Georg Edelmayer and
Wolfgang L. Zagler EU Project SILC --- Personal Bio-Sensor
Based Alarm System . . . . . . . . . . . 649
Morten Tollefsen and
Magne Lunde Videophones: Useful Assistive Devices
for Visually Impaired Persons? . . . . . 657
Jérôme Leloup and
Pierre Gaucher HMPH --- ``Habitat Mobile pour Personnes
Handicapées'' --- Software for the Design
of an Adapted Living Area . . . . . . . 659
Diana P. James ``Bonkers''. Increasing Literacy Skills:
An Eclectic Electronic Teaching Approach
Gone ``Bonkers'' . . . . . . . . . . . . 662
Introduction to the Special Thematic Session Access Music . . . . . . . . . . . . . . 665
David Crombie and
Sijo Dijkstra and
Edmar Schut and
Natasha Lindsay Spoken Music: Enhancing Access to Music
for the Print Disabled . . . . . . . . . 667
Angelo Da Ronch and
Adriano Blason A Music Score Recogniser for the Blind 675
Tatiana Evreinova and
Roope Raisamo Visualization of Music Notation for
Partially Sighted Persons . . . . . . . 682
Damian T. Murphy and
Mark A. Hildred Accessing the Software Studio . . . . . 684
Helen Chamberlain Opening Doors to Information Technology
--- Section 508 of the US Rehabilitation
Act of 1973 . . . . . . . . . . . . . . 686
Zachariah Cameron Access: The North American Experience of
Legislating Attitudes . . . . . . . . . 692
Constantinos Viglas and
Georgios Kouroupetroglou An Open Machine Translation System for
Augmentative and Alternative
Communication . . . . . . . . . . . . . 699
Ryszard Kowalik Capabilities and Limitations of the
Disabled in Remote Access to Information 707
Charmaine Mueller Iversen IMPACT: An Example of Information,
Awareness, and Legislation, Leading
toward a More Accessible Workplace . . . 709
Introduction to the Special Thematic Session IT-Certificates to Foster the Vocational
Integration of People with Disabilities:
ECDL\reg PD . . . . . . . . . . . . . . 712
Morten Tollefsen and
Magne Lunde ECDL for Visually Impaired Persons:
Learning Materials, Individual Training,
and Distance Education . . . . . . . . . 715
Andrea Petz and
Klaus Miesenberger ECDL\reg PD --- Using a Well Known
Standard to Lift Barriers on the Labour
Market . . . . . . . . . . . . . . . . . 723
Andrea Petz KISS --- Keep It Short and Simple? . . . 731
Magne Lunde and
Morten Tollefsen Many Ways to ECDL . . . . . . . . . . . 734
Introduction to the Special Thematic Session Studying and Academic Mobility --- IT
Support for Students with Disabilities 737
Andrea Petz and
Klaus Miesenberger and
Bernhard Stöger Developing Academic Skills among Print
Disabled Students: IT Based
Austrian-Wide Network for Service
Provision . . . . . . . . . . . . . . . 739
Mirela Arion and
Radu Ciupa and
Marius Iulian Tutuianu Access to Learning for All . . . . . . . 747
Janice Hecht and
Bogdan Zamfir The Evolving Door: Providing Technology
Access for Post-secondary Students in a
Constantly Changing Technology-Based
Culture . . . . . . . . . . . . . . . . 749
Todd Schmiedl and
S. L. Dyser Taking Assistive Technology to the
Highest Degree . . . . . . . . . . . . . 751
Hiroshi Katoh and
Martin Pauly and
Shunsuke Hara and
Hideji Nagaoka and
Klaus Miesenberger Learning from Each Other: Comparing the
Service Provision for Blind and
Visually-Impaired Students in
Post-secondary Education in Japan and
Europe . . . . . . . . . . . . . . . . . 753
Sri H. Kurniawan How Accessible Are Web Information
Resources for Students with
Disabilities? . . . . . . . . . . . . . 756
Calais Roussel Providing Assistive Technology and
Alternate Media in Community Colleges: A
Case Study . . . . . . . . . . . . . . . 758
Marcia J. Scherer International Collaboration to Improve
Assistive Technology Outcomes . . . . . 761
Marcia J. Scherer The Study of Assistive Technology
Outcomes in the United States . . . . . 764
Luc P. de Witte and
G. J. Gelderblom and
R. D. Wessels Future Challenges in AT Outcome
Measurement . . . . . . . . . . . . . . 772
G. J. Gelderblom and
L. P. de Witte and
R. D. Wessels European Instruments for Assistive
Technology Outcome Assessment . . . . . 777
Gerald Craddock Implementing Outcomes Measurement in an
Assistive Technology Service Delivery
System . . . . . . . . . . . . . . . . . 782
Anonymous Author Index . . . . . . . . . . . . . . 791
André Schiper Failure Detection vs Group Membership in
Fault-Tolerant Distributed Systems:
Hidden Trade-Offs . . . . . . . . . . . 1
David Sands Probability and Timing: Challenges for
Secure Programming (Invited Talk) . . . 16
Alessandro Aldini and
Roberto Gorrieri Security Analysis of a Probabilistic
Non-repudiation Protocol . . . . . . . . 17
Henrik Bohnenkamp and
Boudewijn Haverkort The Mean Value of the Maximum . . . . . 37
Pedro R. D'Argenio and
Bertrand Jeannet and
Henrik E. Jensen and
Kim G. Larsen Reduction and Refinement Strategies for
Probabilistic Analysis . . . . . . . . . 57
Harald Fecher and
Mila Majster-Cederbaum and
Jinzhao Wu Action Refinement for Probabilistic
Processes with True Concurrency Models 77
Stefan Haar Probabilistic Unfoldings and Partial
Order Fairness in Petri Nets . . . . . . 95
Michael Huth Possibilistic and Probabilistic
Abstraction-Based Model Checking . . . . 115
Marta Kwiatkowska and
Rashid Mehmood Out-of-Core Solution of Large Linear
Systems of Equations Arising from
Stochastic Modelling . . . . . . . . . . 135
Marta Kwiatkowska and
Gethin Norman and
António Pacheco Model Checking CSL until Formulae with
Random Time Bounds . . . . . . . . . . . 152
Marta Kwiatkowska and
Gethin Norman and
Jeremy Sproston Probabilistic Model Checking of the IEEE
802.11 Wireless Local Area Network
Protocol . . . . . . . . . . . . . . . . 169
Matthias Kuntz and
Markus Siegle Deriving Symbolic Representations from
Stochastic Process Algebras . . . . . . 188
Olivier Bournez A Generalization of Equational Proof
Theory? . . . . . . . . . . . . . . . . 207
Mario Bravetti An Integrated Approach for the
Specification and Analysis of Stochastic
Real-Time Systems (Short Abstract) . . . 209
Alessandra Di Pierro and
Herbert Wiklicky Probabilistic Abstract Interpretation
and Statistical Testing (Extended
Abstract) . . . . . . . . . . . . . . . 211
Richard Lassaigne and
Sylvain Peyronnet Approximate Verification of
Probabilistic Systems . . . . . . . . . 213
Anonymous Author Index . . . . . . . . . . . . . . 215
Y.-r. Choi and
A. Garg and
S. Rai and
J. Misra and
H. Vin Orchestrating Computations on the
World-Wide Web . . . . . . . . . . . . . 1
A. Chalmers and
K. Cater Realistic Rendering in Real-Time . . . . 21
A. Benveniste Non-massive, Non-high Performance,
Distributed Computing: Selected Issues 29
D. G. Feitelson The Forgotten Factor: Facts on
Performance Evaluation and Its
Dependence on Workloads . . . . . . . . 49
P. K. Khosla Sensor Networks --- Promise and
Challenges . . . . . . . . . . . . . . . 61
A. Reinefeld and
F. Schintke Concepts and Technologies for a
Worldwide Grid Infrastructure . . . . . 62
M. Bubak and
T. Ludwig Support Tools and Environments . . . . . 73
H.-L. Truong and
T. Fahringer SCALEA: A Performance Analysis Tool for
Distributed and Parallel Programs . . . 75
P. C. Roth and
B. P. Miller Deep Start: A Hybrid Strategy for
Automated Performance Problem Searches 86
F. Freitag and
J. Caubet and
J. Labarta On the Scalability of Tracing Mechanisms 97
A. J. G. Hey and
J. Papay and
A. J. Keane and
S. J. Cox Component Based Problem Solving
Environment . . . . . . . . . . . . . . 105
J. Kovacs and
G. Kusper and
R. Lovas and
W. Schreiner Integrating Temporal Assertions into a
Parallel Debugger . . . . . . . . . . . 113
J. Nonaka and
G. H. Pfitscher and
K. Onisi and
H. Nakano Low-Cost Hybrid Internal Clock
Synchronization Mechanism for COTS PC
Cluster (Research Note) . . . . . . . . 121
A. J. Nebro and
E. Alba and
F. Luna and
J. M. Troya .NET as a Platform for Implementing
Concurrent Objects (Research Note) . . . 125
B. P. Miller and
J. Labarta and
F. Schintke and
J. Simon Performance Evaluation, Analysis and
Optimization . . . . . . . . . . . . . . 131
R. Dementiev and
M. Klein and
W. J. Paul Performance of MP3D on the SB-PRAM
Prototype (Research Note) . . . . . . . 132
A. Cohen and
D. Genius and
A. Kortebi and
Z. Chamski and
M. Duranton and
P. Feautrier Multi-periodic Process Networks:
Prototyping and Verifying
Stream-Processing Systems . . . . . . . 137
A. J. C. van Gemund Symbolic Cost Estimation of Parallel
Applications . . . . . . . . . . . . . . 147
Z. K. Baker and
V. K. Prasanna Performance Modeling and Interpretive
Simulation of PIM Architectures and
Applications (Research Note) . . . . . . 157
M. K. Bane and
G. D. Riley Extended Overhead Analysis for OpenMP
(Research Note) . . . . . . . . . . . . 162
L. DeRose and
F. Wolf CATCH --- A Call-Graph Based Automatic
Tool for Capture of Hardware Performance
Metrics for MPI and OpenMP Applications 167
E. Berg and
E. Hagersten SIP: Performance Tuning through Source
Code Interdependence . . . . . . . . . . 177
M. Drozdowski and
I. Milis and
L. Rudolph and
D. Trystram Scheduling and Load Balancing . . . . . 187
W. Löwe and
W. Zimmermann On Scheduling Task-Graphs to
LogP-Machines with Disturbances . . . . 189
D. T. Altilar and
Y. Paker Optimal Scheduling Algorithms for
Communication Constrained Parallel
Processing . . . . . . . . . . . . . . . 197
E. Krevat and
J. G. Castaños and
J. E. Moreira Job Scheduling for the BlueGene/L System
(Research Note) . . . . . . . . . . . . 207
M. Solar and
M. Inostroza An Automatic Scheduler for Parallel
Machines (Research Note) . . . . . . . . 212
E. Angel and
E. Bampis and
R. Giroudeau Non-approximability Results for the
Hierarchical Communication Problem with
a Bounded Number of Clusters . . . . . . 217
N. Fujimoto and
K. Hagihara Non-approximability of the Bulk
Synchronous Task Scheduling Problem . . 225
F. Giné and
F. Solsona and
P. Hernández and
E. Luque Adjusting Time Slices to Apply
Coscheduling Techniques in a
Non-dedicated NOW (Research Note) . . . 234
S. Fujita A Semi-dynamic Multiprocessor Scheduling
Algorithm with an Asymptotically Optimal
Competitive Ratio . . . . . . . . . . . 240
X. Yuan and
C. Roig and
A. Ripoll and
M. A. Senar and
F. Guirado and
E. Luque AMEEDA: A General-Purpose Mapping Tool
for Parallel Applications on Dedicated
Clusters (Research Note) . . . . . . . . 248
M. Griebl Compilers for High Performance
(Compilation and Parallelization
Techniques) . . . . . . . . . . . . . . 253
Y. Bouchebaba and
F. Coelho Tiling and Memory Reuse for Sequences of
Nested Loops . . . . . . . . . . . . . . 255
K. Beyls and
E. H. D'Hollander Reuse Distance-Based Cache Hint
Selection . . . . . . . . . . . . . . . 265
M. J. Martín and
D. E. Singh and
J. Touriño and
F. F. Rivera Improving Locality in the
Parallelization of Doacross Loops
(Research Note) . . . . . . . . . . . . 275
J. Thiyagalingam and
P. H. J. Kelly Is Morton Layout Competitive for Large
Two-Dimensional Arrays? . . . . . . . . 280
M. Arenaz and
J. Touriño and
R. Doallo Towards Detection of Coarse-Grain
Loop-Level Parallelism in Irregular
Computations . . . . . . . . . . . . . . 289
F. Vivien On the Optimality of Feautrier's
Scheduling Algorithm . . . . . . . . . . 299
D. Barthou and
P. Feautrier and
X. Redon On the Equivalence of Two Systems of
Affine Recurrence Equations (Research
Note) . . . . . . . . . . . . . . . . . 309
O. Diessel and
U. Malik and
K. So Towards High-Level Specification,
Synthesis, and Virtualization of
Programmable Logic Designs (Research
Note) . . . . . . . . . . . . . . . . . 314
H. Kosch and
D. Skilicorn and
D. Talia Parallel and Distributed Databases, Data
Mining and Knowledge Discovery . . . . . 319
H. Märtens and
E. Rahm and
T. Stöhr Dynamic Query Scheduling in Parallel
Data Warehouses . . . . . . . . . . . . 321
J. Smith and
P. Watson and
S. de F. Mendes Sampaio and
N. W. Paton Speeding Up Navigational Requests in a
Parallel Object Database System . . . . 332
T. Bretschneider and
O. Kao Retrieval of Multispectral Satellite
Imagery on Cluster Architectures
(Research Note) . . . . . . . . . . . . 342
R. Jin and
G. Agrawal Shared Memory Parallelization of
Decision Tree Construction Using a
General Data Mining Middleware . . . . . 346
Y. Zhang and
A. Sivasubramaniam and
J. Zhang and
S. Nagar and
H. Franke Characterizing the Scalability of
Decision-Support Workloads on Clusters
and SMP Systems . . . . . . . . . . . . 355
T. Kwok and
K. Smith and
S. Lozano and
D. Taniar Parallel Fuzzy c-Means Clustering for
Large Data Sets . . . . . . . . . . . . 365
S. Orlando and
P. Palmerini and
R. Perego and
F. Silvestri Scheduling High Performance Data Mining
Tasks on a Data Grid Environment . . . . 375
A. Boukerche and
T. Tuck A Delayed-Initiation Risk-Free
Multiversion Temporally Correct
Algorithm (Research Note) . . . . . . . 385
E. W. Mayr Complexity Theory and Algorithms . . . . 391
A. Tiskin Parallel Convex Hull Computation by
Generalised Regular Sampling . . . . . . 392
V. Niculescu Parallel Algorithms for Fast Fourier
Transformation Using PowerList, ParList
and PList Theories (Research Note) . . . 400
J. Han and
G. McMahon and
S. Sugden A Branch and Bound Algorithm for
Capacitated Minimum Spanning Tree
Problem (Research Note) . . . . . . . . 404
V. Kumar and
F.-J. Pfreundt and
H. Burkhard and
J. Laghina Palma Applications on High Performance
Computers . . . . . . . . . . . . . . . 409
T. Plachetka Perfect Load Balancing for Demand-Driven
Parallel Ray Tracing . . . . . . . . . . 410
U. Lorenz Parallel Controlled Conspiracy Number
Search . . . . . . . . . . . . . . . . . 420
A. I. Svolos and
C. Konstantopoulos and
C. Kaklamanis A Parallel Solution in Texture Analysis
Employing a Massively Parallel Processor
(Research Note) . . . . . . . . . . . . 431
M. Langlais and
G. Latu and
J. Roman and
P. Silan Stochastic Simulation of a Marine
Host-Parasite System Using a Hybrid
MPI/OpenMP Programming . . . . . . . . . 436
B. Abdalhaq and
A. Cortés and
T. Margalef and
E. Luque Optimization of Fire Propagation Model
Inputs: A Grand Challenge Application on
Metacomputers (Research Note) . . . . . 447
S. G. Webster and
M. K. Gobbert and
J.-F. Remacle and
T. S. Cale Parallel Numerical Solution of the
Boltzmann Equation for Atomic Layer
Deposition (Research Note) . . . . . . . 452
J.-L. Gaudiot Parallel Computer Architecture and
Instruction-Level Parallelism . . . . . 457
V. Desmet and
B. Goeman and
K. De Bosschere Independent Hashing as Confidence
Mechanism for Value Predictors in
Microprocessors . . . . . . . . . . . . 458
R. Sendag and
D. J. Lilja and
S. R. Kunkel Exploiting the Prefetching Effect
Provided by Executing Mispredicted Load
Instructions . . . . . . . . . . . . . . 468
J. J. Yi and
R. Sendag and
D. J. Lilja Increasing Instruction-Level Parallelism
with Instruction Precomputation
(Research Note) . . . . . . . . . . . . 481
C.- H. Chi and
J. Yuan Runtime Association of Software Prefetch
Control to Memory Access Instructions
(Research Note) . . . . . . . . . . . . 486
A. Uht and
A. Khalafi and
D. Morano and
M. de Alba and
D. Kaeli Realizing High IPC Using Time-Tagged
Resource-Flow Computing . . . . . . . . 490
K. Kailas and
M. Franklin and
K. Ebcio\uglu A Register File Architecture and
Compilation Scheme for Clustered ILP
Processors . . . . . . . . . . . . . . . 500
H. Vandierendonck and
A. Ramírez and
K. De Bosschere and
M. Valero A Comparative Study of Redundancy in
Trace Caches (Research Note) . . . . . . 512
J. C. Moure and
D. I. Rexachs and
E. Luque Speeding Up Target Address Generation
Using a Self-indexed FTB (Research Note) 517
W. J. Paul and
P. Bach and
M. Bosch and
J. Fischer and
C. Lichtenau and
J. Röhrig Real PRAM Programming . . . . . . . . . 522
P. Trancoso In-memory Parallelism for Database
Workloads . . . . . . . . . . . . . . . 532
H. Sarojadevi and
S. K. Nandy and
S. Balakrishnan Enforcing Cache Coherence at Data
Sharing Boundaries without Global
Control: A Hardware-Software Approach
(Research Note) . . . . . . . . . . . . 543
L. Verdoscia CODACS Project: A Demand-Data Driven
Reconfigurable Architecture (Research
Note) . . . . . . . . . . . . . . . . . 547
M. Mavronicolas and
A. Schiper Distributed Systems and Algorithms . . . 551
A. K. Datta and
R. Hadid and
V. Villain A Self-stabilizing Token-Based
$k$-out-of-$\ell$ Exclusion Algorithm 553
D. Ruiz and
R. Corchuelo and
J. A. Pérez and
M. Toro An Algorithm for Ensuring Fairness and
Liveness in Non-deterministic Systems
Based on Multiparty Interactions . . . . 563
M. Jelasity and
M. Preuß On Obtaining Global Information in a
Peer-to-Peer Fully Distributed
Environment (Research Note) . . . . . . 573
R. Baldoni and
C. Marchetti and
S. Tucci Piergiovanni A Fault-Tolerant Sequencer for Timed
Asynchronous Systems . . . . . . . . . . 578
P. Gallard and
C. Morin and
R. Lottiaux Dynamic Resource Management in a Cluster
for High-Availability (Research Note) 589
É. Renault and
D. Millot Progressive Introduction of Security in
Remote-Write Communications with no
Performance Sacrifice (Research Note) 593
R. Suppi and
M. Solsona and
E. Luque Parasite: Distributing Processing Using
Java Applets (Research Note) . . . . . . 598
K. Hammond Parallel Programming: Models, Methods
and Programming Languages . . . . . . . 603
L. Bougé and
V. Danjean and
R. Namyst Improving Reactivity to I/O Events in
Multithreaded Environments Using a
Uniform, Scheduler-Centric API . . . . . 605
J. Hawkins and
A. E. Abdallah An Overview of Systematic Development of
Parallel Systems for Reconfigurable
Hardware (Research Note) . . . . . . . . 615
H. Kuchen A Skeleton Library . . . . . . . . . . . 620
A. J. Field and
P. H. J. Kelly and
T. L. Hansen Optimising Shared Reduction Variables in
MPI Programs . . . . . . . . . . . . . . 630
H. Bischof and
S. Gorlatch Double-Scan: Introducing and
Implementing a New Data-Parallel
Skeleton . . . . . . . . . . . . . . . . 640
M. Pedicini and
F. Quaglia Scheduling vs Communication in PELCR . . 648
A. W. Keen and
R. A. Olsson Exception Handling during Asynchronous
Method Invocation (Research Note) . . . 656
J. L. Sobral and
A. J. Proença Designing Scalable Object Oriented
Parallel Applications (Research Note) 661
P. Liniker and
O. Beckmann and
P. H. J. Kelly Delayed Evaluation, Self-optimising
Software Components as a Programming
Model . . . . . . . . . . . . . . . . . 666
I. S. Duff and
W. Borchers and
L. Giraud and
H. A. van der Vorst Numerical Algorithms . . . . . . . . . . 675
R. Dias da Cunha and
D. Becker and
J. Carlton Patterson New Parallel (Rank-Revealing) \em QR
Factorization Algorithms . . . . . . . . 677
J. M. Badía and
P. Benner and
R. Mayo and
E. S. Quintana-Ortí Solving Large Sparse Lyapunov Equations
on Parallel Computers (Research Note) 687
D. Takahashi and
T. Boku and
M. Sato A Blocking Algorithm for Parallel $1$-D
FFT on Clusters of PCs . . . . . . . . . 691
S. H. M. Buijssen and
S. Turek Sources of Parallel Inefficiency for
Incompressible CFD Simulations (Research
Note) . . . . . . . . . . . . . . . . . 701
I. G. Graham and
A. Spence and
E. Vainikko Parallel Iterative Methods for
Navier-Stokes Equations and Application
to Stability Assessment (Distinguished
Paper) . . . . . . . . . . . . . . . . . 705
J.-P. Boufflet and
P. Breitkopf and
A. Rassineux and
P. Villon A Modular Design for a Parallel
Multifrontal Mesh Generator . . . . . . 715
M. Korch and
T. Rauber and
G. Rünger Pipelining for Locality Improvement in
RK Methods . . . . . . . . . . . . . . . 724
M. Flammini and
B. Maggs and
J. Sibeyn and
B. Vöcking Routing and Communication in
Interconnection Networks . . . . . . . . 735
Y.-C. Bang and
H. Choo On Multicasting with Minimum Costs for
the Internet Topology . . . . . . . . . 736
H.-W. Jin and
C. Yoo and
S.-K. Park Stepwise Optimizations of UDP/IP on a
Gigabit Network (Research Note) . . . . 745
Y. Chen and
A. K. Datta and
S. Tixeuil Stabilizing Inter-domain Routing in the
Internet (Research Note) . . . . . . . . 749
Y. Jégou Performance Analysis of Code Coupling on
Long Distance High Bandwidth Network
(Research Note) . . . . . . . . . . . . 753
C.-M. Wang and
Y. Hou and
L.-H. Hsu Adaptive Path-Based Multicast on
Wormhole-Routed Hypercubes . . . . . . . 757
D. Barth and
P. Berthomé and
T. Czarchoski and
J. M. Fourneau and
C. Laforest and
S. Vial A Mixed Deflection and Convergence
Routing Algorithm: Design and
Performance . . . . . . . . . . . . . . 767
M. E. Gómez and
J. Flich and
A. Robles and
P. López and
J. Duato Evaluation of Routing Algorithms for
InfiniBand Networks (Research Note) . . 775
E. Baydal and
P. López and
J. Duato Congestion Control Based on Transmission
Times . . . . . . . . . . . . . . . . . 781
Jihoon Park and
Jonggyu Park and
Ilsuk Han and
Hagbae Kim A Dual-LAN Topology with the Dual-Path
Ethernet Module (Research Note) . . . . 791
S. Fujita and
S. Tagashira A Fast Barrier Synchronization Protocol
for Broadcast Networks Based on a
Dynamic Access Control (Research Note) 795
P. Sanders and
J. Larsson Träff The Hierarchical Factor Algorithm for
All-to-All Communication (Research Note) 799
A. Uhl Architectures and Algorithms for
Multimedia Applications . . . . . . . . 805
C. Mourlas Deterministic Scheduling of CBR and VBR
Media Flows on Parallel Media Servers 807
F. Cores and
A. Ripoll and
E. Luque Double P-Tree: A Distributed
Architecture for Large-Scale
Video-on-Demand . . . . . . . . . . . . 816
S. Polak and
R. Slota and
J. Kitowski Message Passing in XML-Based Language
for Creating Multimedia Presentations
(Research Note) . . . . . . . . . . . . 826
J. C. Fernández and
M. P. Malumbres A Parallel Implementation of H.26L Video
Encoder (Research Note) . . . . . . . . 830
A. Paar and
M. L. Anido and
N. Bagherzadeh A Novel Predication Scheme for a SIMD
System-on-Chip . . . . . . . . . . . . . 834
H. Parizi and
A. Niktash and
N. Bagherzadeh and
F. Kurdahi MorphoSys: A Coarse Grain Reconfigurable
Architecture for Multimedia Applications
(Research Note) . . . . . . . . . . . . 844
D. Cheresiz and
B. Juurlink and
S. Vassiliadis and
H. Wijshoff Performance Scalability of Multimedia
Instruction Set Extensions . . . . . . . 849
M. Cosnard and
A. Merzky Meta- and Grid-Computing . . . . . . . . 861
P. H. J. Kelly and
S. Pelagatti and
M. Rossiter Instant-Access Cycle-Stealing for
Parallel Applications Requiring
Interactive Response . . . . . . . . . . 863
D. Nikolow and
R. S\lota and
M. Dziewierz and
J. Kitowski Access Time Estimation for Tertiary
Storage Systems . . . . . . . . . . . . 873
J. Pytli\'nski and
\L. Skorwider and
P. Ba\la and
M. Nazaruk and
K. Wawruch BioGRID --- Uniform Platform for
Biomoleculago Nazar Applications
(Research Note) . . . . . . . . . . . . 881
J. Stanton and
S. Newhouse and
J. Darlington Implementing a Scientific Visualisation
Capability within a Grid Enabled
Component Framework (Research Note) . . 885
V. Dialani and
S. Miles and
L. Moreau and
D. De Roure and
M. Luck Transparent Fault Tolerance for Web
Services Based Architectures . . . . . . 889
M. Alt and
H. Bischof and
S. Gorlatch Algorithm Design and Performance
Prediction in a Java-Based Grid System
with Skeletons . . . . . . . . . . . . . 899
E. Caron and
F. Desprez and
F. Lombard and
J.-M. Nicod and
L. Philippe and
M. Quinson and
F. Suter A Scalable Approach to Network Enabled
Servers (Research Note) . . . . . . . . 907
R. Feldmann and
C. Roucairol Discrete Optimization . . . . . . . . . 911
A. H. Gebremedhin and
F. Manne and
A. Pothen Parallel Distance- $k$ Coloring
Algorithms for Numerical Optimization 912
C. C. Ribeiro and
I. Rosseti A Parallel GRASP Heuristic for the
$2$-Path Network Design Problem
(Research Note) . . . . . . . . . . . . 922
E. Alba and
F. Almeida and
M. Blesa and
J. Cabeza and
C. Cotta and
M. Díaz and
I. Dorta and
J. Gabarró and
C. León and
J. Luna and
L. Moreno and
C. Pablos and
J. Petit and
A. Rojas and
F. Xhafa MALLBA: A Library of Skeletons for
Combinatorial Optimisation (Research
Note) . . . . . . . . . . . . . . . . . 927
F. Meyer auf der Heide and
M. Kumar and
S. Nikoletseas and
P. Spirakis Mobile Computing, Mobile Networks . . . 933
M. Grünewald and
T. Lukovszki and
C. Schindelhauer and
K. Volbert Distributed Maintenance of Resource
Efficient Wireless Network Topologies
(Distinguished Paper) . . . . . . . . . 935
A. Clematis and
D. D'Agostino and
V. Gianuzzi A Local Decision Algorithm for Maximum
Lifetime in ad Hoc Networks . . . . . . 947
A. Boukerche and
J. Linus and
A. Saurabha A Performance Study of Distance Source
Routing Based Protocols for Mobile and
Wireless ad Hoc Networks . . . . . . . . 957
T. Jurdzi\'nski and
M. Kutylowski and
J. Zatopia\'nski Weak Communication in Radio Networks . . 965
N. Zaini and
L. Moreau Coordination of Mobile Intermediaries
Acting on Behalf of Mobile Users
(Research Note) . . . . . . . . . . . . 973
C.-Y. Lin and
S.-C. Wang and
S.-Y. Kuo An Efficient Time-Based Checkpointing
Protocol for Mobile Computing Systems
over Wide Area Networks (Research Note) 978
S.-H. Hwang and
K.-J. Han Discriminative Collision Resolution
Algorithm for Wireless MAC Protocol
(Research Note) . . . . . . . . . . . . 983
Anonymous Author Index . . . . . . . . . . . . . . 989
Sungil Bae and
Daesik Seo and
Gilyoung Kang and
Sungho Kang A New Survival Architecture for Network
Processors . . . . . . . . . . . . . . . 1
Allan L. White Mean Time to Unsafe Failure . . . . . . 11
Youngseok Kim and
Seunghoon Hwang and
Dongkyoon Cho and
Keumchan Whang Performance of Antenna Arrays with
Reverse-Link Synchronous Transmission
Technique for DS-CDMA System in
Multipath Fading Channels . . . . . . . 21
Youngyong Kim A Noble Routing Algorithm for the
Internet Computational GRID . . . . . . 33
Sangmoon Lee and
Daekeun Moon and
Hagbae Kim and
Whie Chang A Genetic Routing Algorithm for a
$2$D-Meshed Fault-Tolerant Network
System . . . . . . . . . . . . . . . . . 39
Songun Na and
Seungwha Yoo Allowable Propagation Delay for VoIP
Calls of Acceptable Quality . . . . . . 47
Dongho Lee and
Jungsup Kim and
Sooduk Kim and
Kichang Kim and
Jaehyun Park Robustness of a Neighbor Selection
Markov Chain in Prefetching Tiled Web
Data . . . . . . . . . . . . . . . . . . 57
Sai Shankar and
Sunghyun Choi QoS Signaling for Parameterized Traffic
in IEEE 802.11e Wireless LANs . . . . . 67
Hagyoung Kim and
Sungin Jung and
Cheolhoon Lee Content-Adaptive Request Distribution
Strategy for Internet Server Cluster . . 85
Sungchul Yoon and
Sangwook Kim and
Jaeseuk Oh and
Sungho Kang A New DSP Architecture for Correcting
Errors Using Viterbi Algorithm . . . . . 95
Moonsik Kang and
Junho Lee and
Sangmin Lee An Adapting Weight Rerouting Algorithm
for Handoff Control in Wireless ATM
Networks . . . . . . . . . . . . . . . . 103
Taechul Hong and
Youngyong Kim Optimal Buffering Strategy for Streaming
Service in Time Varying Wireless
Environment . . . . . . . . . . . . . . 115
Heeyong Lee and
Gilyoung Kong and
Sihwa Kim and
Cholseong Kim and
Jaechul Lee Optimum Ship Routing and It's
Implementation on the Web . . . . . . . 125
Jongkyu Park and
Ilseok Han and
Jinhyuck Kwon and
Jun Hwang and
Hagbae Kim and
Sangtae Ahn and
Whie Chang Development of a Residential Gateway and
a Service Server for Home Automation . . 137
Uiyoung Pak and
Joonseok Maeng and
Iksoo Jin and
Keumchan Whang Performance of Multiple TCM Codes with
Transmit Antenna Diversity . . . . . . . 151
Sangyoub Kim On the Study of MAC Layer for cdma2000
Wireless Packet Data Service . . . . . . 161
Taewoong Jeon and
Sungyoung Lee and
Hyonwoo Seung Increasing the Testability of
Object-Oriented Frameworks with Built-in
Tests . . . . . . . . . . . . . . . . . 169
Sungin Jung and
Hagyoung Kim and
Cheolhoon Lee Guaranteeing the Continuous Stream
Service in Cluster Media Servers . . . . 183
Changho Lee and
Jaehyun Park and
Yoosung Kim A SOAP-Based Framework for the
Internetworked Distributed Control
Systems . . . . . . . . . . . . . . . . 195
Sangmin Bae and
Dongsup Song and
Jihye Kim and
Sungho Kang An Efficient On-Line Monitoring BIST for
Remote Service System . . . . . . . . . 205
Inho Roh and
Youngyong Kim TCP Performance Enhancement Using FG-LIW
(Fairness Guaranteed --- Larger Initial
Window) Scheme in the Wired-cum-Wireless
Network Environment . . . . . . . . . . 215
Yongchul Yun and
Jinwoo Choe and
Wonjin Sung A Comparative Study on the Performance
of Detectors and Interference Models for
OCDMA LANs . . . . . . . . . . . . . . . 223
Yuncheol Baek A Tool Measuring Operating System
Supports for Squid Proxy Cache . . . . . 239
Taewoong Jeon and
Sunghwan Roh and
Hyonwoo Seung and
Sungyoung Lee The Design and Implementation of an
Object-Oriented Process Control Loop
Framework . . . . . . . . . . . . . . . 249
Sangmoon Lee and
Sinjun Kang and
Byungseok Min and
Hagbae Kim A Personal Internet Live-Broadcasting
System . . . . . . . . . . . . . . . . . 263
Gilyoung Kong and
Chungro Lee and
Soonkap Kim and
Gilsoo Kim and
Cholseong Kim On the Development of an Information
Service System for Navigational Safety
of Seagoing Vessels . . . . . . . . . . 273
Taewon Kim and
Wonjin Sung and
Jinwoo Choe Optimal Code Weight Selection for $2$-D
Optical CDMA Systems . . . . . . . . . . 285
Sangyeob Lee and
Whoiyul Kim Robust Character Image Retrieval Method
Using Bipartite Matching and
Pseudo-bipartite Matching . . . . . . . 295
Anonymous Author Index . . . . . . . . . . . . . . 307
Keith Decker Coordinating Intelligent Agents . . . . 1
Edmund H. Durfee Strategies for Discovering Coordination
Needs in MultiAgent Systems . . . . . . 19
Carles Sierra and
Pablo Noriega Agent-Mediated Interaction. From
Auctions to Negotiation and
Argumentation . . . . . . . . . . . . . 27
Moshe Tennenholtz Game Theory and Artificial Intelligence 49
Eduardo Alonso Rights for Multi-agent Systems . . . . . 59
Ronald Ashri and
Michael Luck and
Mark d'Inverno Infrastructure Support for Agent-Based
Development . . . . . . . . . . . . . . 73
Rafael H. Bordini and
Renata Vieira and
John A. Campbell An Anthropological Approach to the
Discovery of Ontologies in Multi-agent
Societies . . . . . . . . . . . . . . . 89
Phil Buckle and
Tom Moore and
Steve Robertshaw and
Alan Treadway and
Sasu Tarkoma and
Stefan Poslad Scalability in Multi-agent Systems: The
FIPA-OS Perspective . . . . . . . . . . 110
Jim Doran Agents and MAS in STaMs . . . . . . . . 131
Rogier M. van Eijk Semantics of Agent Communication: An
Introduction . . . . . . . . . . . . . . 152
Michael Fisher and
Chiara Ghidini Agents with Bounded Temporal Resources 169
Timothy J. Norman and
Chris Reed A Model of Delegation for Multi-agent
Systems . . . . . . . . . . . . . . . . 185
Simon Parsons and
Nicholas R. Jennings and
Jordi Sabater and
Carles Sierra Agent Specification Using Multi-context
Systems . . . . . . . . . . . . . . . . 205
Chris Preist and
Siani Pearson An Adaptive Choice of Messaging Protocol
in Multi Agent Systems . . . . . . . . . 227
Martijn Schut and
Michael Wooldridge and
Simon Parsons On Partially Observable MDPs and BDI
Models . . . . . . . . . . . . . . . . . 243
Anonymous Author Index . . . . . . . . . . . . . . 261
Richard Hull and
Bharat Kumar and
Arnaud Sahuguet and
Ming Xiong Have It Your Way: Personalization of
Network-Hosted Services . . . . . . . . 1
Anastasios Gounaris and
Norman W. Paton and
Alvaro A. A. Fernandes and
Rizos Sakellariou Adaptive Query Processing: A Survey . . 11
Chris M. Giannella and
Mehmet M. Dalkilic and
Dennis P. Groth and
Edward L. Robertson Improving Query Evaluation with
Approximate Functional Dependency Based
Decompositions . . . . . . . . . . . . . 26
Michael Boyd and
Peter McBrien and
Nerissa Tong The AutoMed Schema Integration
Repository . . . . . . . . . . . . . . . 42
Edgar Jasper Global Query Processing in the AutoMed
Heterogeneous Database Environment . . . 46
Hao Fan Tracing Data Lineage Using Automed
Schema Transformation Pathways . . . . . 50
Amarnath Gupta and
Bertram Ludäscher and
Maryann E. Martone and
Xufei Qian and
Edward Ross and
Joshua Tran and
Ilya Zaslavsky A System for Managing Alternate Models
in Model-Based Mediation . . . . . . . . 54
Sudha Ram and
Jinsoo Park and
Yousub Hwang CREAM: A Mediator Based Environment for
Modeling and Accessing Distributed
Information on the Web . . . . . . . . . 58
Xiao Mang Shou and
Siobhán North An Integrated Approach to Handling
Collaborative Diagram Databases on the
WWW . . . . . . . . . . . . . . . . . . 62
Enrique Medina and
Sergio Luján-Mora and
Juan Trujillo Handling Conceptual Multidimensional
Models Using XML through DTDs . . . . . 66
Konstantina Lepinioti and
Stephen McKearney Implementing Data Mining in a DBMS . . . 70
Stefano Lodi Fully Dynamic Clustering of Metric Data
Sets . . . . . . . . . . . . . . . . . . 73
Adriano Veloso and
Bruno Rocha and
Márcio de Carvalho and
Wagner Meira Jr. Real World Association Rule Mining . . . 77
Henrik Engström and
Sharma Chakravarthy and
Brian Lings Implementation and Comparative
Evaluation of Maintenance Policies in a
Data Warehouse Environment . . . . . . . 90
Mikhaila Burgess and
W. Alex Gray and
Nick Fiddian Establishing a Taxonomy of Quality for
Use in Information Filtering . . . . . . 103
Alain Couchot Improving the Refined Triggering Graph
Method for Active Rules Termination
Analysis . . . . . . . . . . . . . . . . 114
Gaihua Fu and
Jianhua Shao and
Suzanne M. Embury and
W. Alex Gray An Algorithm for Determining Related
Constraints . . . . . . . . . . . . . . 134
Roelof van Zwol and
Peter M. G. Apers Retrieval Performance Experiment with
the Webspace Method . . . . . . . . . . 150
Dimitri Theodoratos Semantic Integration and Querying of
Heterogeneous Data Sources Using a
Hypergraph Data Model . . . . . . . . . 166
Nieves R. Brisaboa and
Miguel R. Penabad and
Ángeles S. Places and
Francisco J. Rodríguez A Document Database Query Language . . . 183
Anonymous Author Index . . . . . . . . . . . . . . 199
Carol Peters Introduction . . . . . . . . . . . . . . 1
Martin Braschler CLEF 2001 --- Overview of Results . . . 9
Jacques Savoy Report on CLEF-2001 Experiments:
Effective Combined Query-Translation
Approach . . . . . . . . . . . . . . . . 27
Aitao Chen Multilingual Information Retrieval Using
English and Chinese Queries . . . . . . 44
Gareth J. F. Jones and
Adenike M. Lam-Adesina Exeter at CLEF 2001: Experiments with
Machine Translation for Bilingual
Retrieval . . . . . . . . . . . . . . . 59
Wessel Kraaij TNO at CLEF-2001: Comparing Translation
Resources . . . . . . . . . . . . . . . 78
Nicola Bertoldi and
Marcello Federico ITC-irst at CLEF 2001: Monolingual and
Bilingual Tracks . . . . . . . . . . . . 94
Martin Braschler and
Bärbel Ripplinger and
Peter Schäuble Experiments with the Eurospider
Retrieval System for CLEF 2001 . . . . . 102
Wen-Cheng Lin and
Hsin-Hsi Chen Using Co-occurrence, Augmented
Restrictions, and C-E WordNet for
Chinese-English Cross-Language
Information Retrieval at CLEF 2001 . . . 111
Turid Hedlund and
Heikki Keskustalo and
Ari Pirkola and
Eija Airio and
Kalervo Järvelin Utaclir @ CLEF 2001 --- Effects of
Compound Splitting and N-Gram Techniques 118
Jian-Yun Nie and
Michel Simard Using Statistical Translation Models for
Bilingual IR . . . . . . . . . . . . . . 137
Monica Rogati and
Yiming Yang Cross-Lingual Pseudo-Relevance Feedback
Using a Comparable Corpus . . . . . . . 151
M. Boughanem and
C. Chrisment and
N. Nassr Investigation on Disambiguation in CLIR:
Aligned Corpus and Bi-directional
Translation-Based Strategies . . . . . . 158
Magnus Sahlgren and
Jussi Karlgren Vector-Based Semantic Analysis Using
Random Indexing for Cross-Lingual Query
Expansion . . . . . . . . . . . . . . . 169
Fatiha Sadat and
Akira Maeda and
Masatoshi Yoshikawa and
Shunsuke Uemura Query Expansion Techniques for the CLEF
Bilingual Track . . . . . . . . . . . . 177
Fernando Martínez-Santiago and
L. Alfonso Ureña-López and
M. Carlos Díaz-Galiano and
Maite Martín-Valdivia and
Manuel García-Vega Intelligent Information Access Systems
(SINAI) at CLEF 2001: Calculating
Translation Probabilities with SemCor 185
Paul McNamee and
James Mayfield JHU/APL Experiments at CLEF: Translation
Resources and Score Normalization . . . 193
Jaruskulchai Chuleerat Dictionary-Based Thai CLIR: An
Experimental Survey of Thai CLIR . . . . 209
Mirna Adriani English-Dutch CLIR Using Query
Translation Techniques . . . . . . . . . 219
Hugo Molina-Salgado and
Isabelle Moulinier and
Mark Knudson and
Elizabeth Lund and
Kirat Sekhon Thomson Legal and Regulatory at CLEF
2001: Monolingual and Bilingual
Experiments . . . . . . . . . . . . . . 226
Fredric C. Gey and
Hailing Jiang and
Natalia Perelman Working with Russian Queries for the
GIRT, Bilingual, and Multilingual CLEF
Tasks . . . . . . . . . . . . . . . . . 235
Fernando Llopis and
José L. Vicedo IR-n: A Passage Retrieval System at
CLEF-2001 . . . . . . . . . . . . . . . 244
Carlos G. Figuerola and
Raquel Gómez and
Angel F. Zazo Rodríguez and
José Luis Alonso Berrocal Spanish Monolingual Track: The Impact of
Stemming on Retrieval . . . . . . . . . 253
Christof Monz and
Maarten de Rijke Shallow Morphological Analysis in
Monolingual Information Retrieval for
Dutch, German, and Italian . . . . . . . 262
Stephen Tomlinson Stemming Evaluated in 6 Languages by
Hummingbird SearchServer$^{TM}$ at CLEF
2001 . . . . . . . . . . . . . . . . . . 278
Teresita Frizzarin and
Annius Groenink Minimalistic Test Runs of the Eidetica
Indexer . . . . . . . . . . . . . . . . 288
Eugenia Matoyo and
Tony Valsamidis Across the Bridge: CLEF 2001 ---
Non-English Monolingual Retrieval. The
French Task . . . . . . . . . . . . . . 291
Bärbel Ripplinger Mpro-IR in CLEF 2001 . . . . . . . . . . 300
Jakob Klok and
Samuel Driessen and
Marvin Brunner Some Terms Are More Interchangeable than
Others . . . . . . . . . . . . . . . . . 303
Douglas W. Oard and
Julio Gonzalo The CLEF 2001 Interactive Track . . . . 308
Fernando López-Ostenero and
Julio Gonzalo and
Anselmo Peñas and
Felisa Verdejo