Last update:
Mon Oct 7 11:46:40 MDT 2019
Tao Jiang and
Ming Li and
Paul Vitányi A lower bound on the average-case
complexity of Shellsort . . . . . . . . 905--911
A. Tiskin Bulk-Synchronous Parallel Multiplication
of Boolean Matrices . . . . . . . . . . 494
Ruth Aylett Behavioural Virtual Agents . . . . . . . 1
Franz Baader Logic-Based Knowledge Representation . . 13
Maria Paola Bonacina A Taxonomy of Theorem-Proving Strategies 43
Jim Blythe An Overview of Planning Under
Uncertainty . . . . . . . . . . . . . . 85
Craig Boutilier Knowledge Representation for Stochastic
Decision Processes . . . . . . . . . . . 111
Alan Bundy A Survey of Automated Deduction . . . . 153
Paolo Ciancarini and
Robert Tolksdorf and
Fabio Vitali The World Wide Web as a Place for Agents 175
Clark Elliott and
Jeff Rickel and
James Lester Lifelike Pedagogical Agents and
Affective Computing: An Exploratory
Synthesis . . . . . . . . . . . . . . . 195
Rune M. Jensen and
Manuela M. Veloso OBDD-Based Universal Planning:
Specifying and Solving Planning Problems
for Synchronized Agents in
Non-deterministic Domains . . . . . . . 213
Alon Y. Levy Combining Artificial Intelligence and
Databases for Data Integration . . . . . 249
Carlos Martinho and
Ana Paiva ``Underwater Love'': Building Tristão and
Isolda's Personalities . . . . . . . . . 269
Michael Mateas An Oz-Centric Review of Interactive
Drama and Believable Agents . . . . . . 297
Simon Parsons and
Ola Pettersson and
Alessandro Saffiotti and
Michael Wooldridge Robots with the Best of Intentions . . . 329
Charles Petrie and
Sigrid Goldmann and
Andreas Raquet Agent-Based Project Management . . . . . 339
Henry Prakken and
Giovanni Sartor A System for Defeasible Argumentation,
with Defeasible Priorities . . . . . . . 365
Alessandro Saffiotti Handling Uncertainty in Control of
Autonomous Robots . . . . . . . . . . . 381
Murray Shanahan The Event Calculus Explained . . . . . . 409
Paul Tarau and
Veronica Dahl Towards a Logic Programming
Infrastructure for Internet Programming 431
Daniel Thalmann and
Hansrudi Noser Towards Autonomous, Perceptive, and
Intelligent Virtual Actors . . . . . . . 457
Yang Xiang Temporally Invariant Junction Tree for
Inference in Dynamic Bayesian Network 473
Anonymous Author Index . . . . . . . . . . . . . . 489
Bengt Jonsson and
Wang Yi Fully Abstract Characterization of
Probabilistic May Testing . . . . . . . 1--18
Annabelle K. McIver Quantitative Program Logic and
Performance in Probabilistic Distributed
Algorithms . . . . . . . . . . . . . . . 19--33
Christel Baier and
Bettina Engelen Establishing Qualitative Properties for
Probabilistic Lossy Channel Systems: An
Algorithmic Approach . . . . . . . . . . 34--52
Mariëlle Stoelinga and
Frits Vaandrager Root Contention in IEEE 1394 . . . . . . 53--74
Marta Kwiatkowska and
Gethin Norman and
Roberto Segala and
Jeremy Sproston Automatic Verification of Real-Time
Systems with Discrete Probability
Distributions . . . . . . . . . . . . . 75--95
Vicky Hartonas-Garmhausen and
Sergio Campos and
Ed Clarke ProbVerus: Probabilistic Symbolic Model
Checking . . . . . . . . . . . . . . . . 96--110
Suzana Andova Process Algebra with Probabilistic
Choice . . . . . . . . . . . . . . . . . 111--129
Manuel Núñez An Axiomatization of Probabilistic
Testing . . . . . . . . . . . . . . . . 130--150
Frits Vaandrager Verification of Hybrid Systems . . . . . 151
Karl Lermer A Parallel Operator for Real-Time
Processes with Predicate Transformer
Semantics . . . . . . . . . . . . . . . 152--171
Lars Jenner and
Walter Vogler Comparing the Efficiency of Asynchronous
Systems . . . . . . . . . . . . . . . . 172--191
Karl Lermer and
Colin Fidge A Formal Model of Real-Time Program
Compilation . . . . . . . . . . . . . . 192--210
Graham Clark and
Stephen Gilmore and
Jane Hillston Specifying Performance Measures for PEPA 211--227
Henrik C. Bohnenkamp and
Boudewijn R. Haverkort Semi-numerical Solution of Stochastic
Process Algebra Models . . . . . . . . . 228--243
Holger Hermanns and
Markus Siegle Bisimulation Algorithms for Stochastic
Process Algebras and Their BDD-Based
Implementation . . . . . . . . . . . . . 244--264
Moshe Y. Vardi Probabilistic Linear-Time Model
Checking: An Overview of the
Automata-Theoretic Approach . . . . . . 265--276
Klaus Havelund and
Kim Guldstrand Larsen and
Arne Skou Formal Verification of a Power
Controller Using the Real-Time Model
Checker UPPAAL . . . . . . . . . . . . . 277--298
Stavros Tripakis Verifying Progress in Timed Systems . . 299--314
Paul Z. Kolano Proof Assistance for Real-Time Systems
Using an Interactive Theorem Prover . . 315--333
Howard Bowman Modelling Timeouts without Timelocks . . 334--354
H. Fusen and
W. Jie A Parallel Implementation of the
Everglades Landscape Fire Model in
Networks of Workstations . . . . . . . . 1--15
P. Steenkiste Adaptation Models for Network-Aware
Distributed Computations . . . . . . . . 16--31
L. Yerosheva and
P. M. Kogge Prototyping Execution Models for HTMT
Petaflop Machine in Java . . . . . . . . 32--46
F. Silla and
J. Duato Is It Worth the Flexibility Provided by
Irregular Topologies in Networks of
Workstations? . . . . . . . . . . . . . 47--61
B. Caminero and
F. J. Quiles and
Y. Duato and
D. S. Love Performance Evaluation of the Multimedia
Router with MPEG-2 Video Traffic . . . . 62--76
R. Canonico and
R. Cristaldi and
G. Iannello A Scalable Flow Control Algorithm for
the Fast Messages Communication Library 77--90
H. V. Shah and
C. Pu and
R. S. Madukkarumukumana High Performance Sockets and RPC over
Virtual Interface (VI) Architecture . . 91--107
I. R. Philp and
Y.-L. Liong The Scheduled Transfer (ST) Protocol . . 108--121
P. Watson and
S. Parastatidis The NIP Parallel Object-Oriented
Computational Model . . . . . . . . . . 122--136
M. Herlihy The Aleph Toolkit: Support for Scalable
Distributed Shared Objects . . . . . . . 137--149
D. R. Kumar and
W. A. Najjar Combining Adaptive and Deterministic
Routing: Evaluation of a Hybrid Router 150--164
R. Casado and
F. J. Quiles and
J. L. Sanchez and
J. Duato Deadlock-Free Routing in Irregular
Networks with Dynamic Reconfiguration 165--180
D. Brooks and
M. Martonosi Implementing Application-Specific
Cache-Coherence Protocols in
Configurable Hardware . . . . . . . . . 181--195
W. Karl and
M. Leberecht and
M. Schulz Supporting Shared Memory and Message
Passing on Clusters of PCs with a SMiLE 196--210
M. Jacunski and
V. Moorthy and
P. P. Ware and
M. Pillai Low Latency Message-Passing for
Reflective Memory Networks . . . . . . . 211--224
V. Swarup and
J. T. Fabrega Trust: Benefits, Models, and Mechanisms 3--18
M. Abadi Protection in Programming-Language
Translations . . . . . . . . . . . . . . 19--34
M. Ancona and
W. Cazzola and
E. B. Fernandez Reflective Authorization Systems:
Possibilities, Benefits, and Drawbacks 35--50
L. Cardelli Abstractions for Mobile Computations . . 51--94
M. Hennessey and
J. Riely Type-Safe Execution of Mobile Agents in
Anonymous Networks . . . . . . . . . . . 95--116
R. De Nicola and
G. Ferrari and
R. Pugliese Types as Specifications of Access
Policies . . . . . . . . . . . . . . . . 117--146
X. Leroy and
F. Rouaix Security Properties of Typed Applets . . 147--184
M. Blaze and
J. Feigenbaum and
J. Ioannidis and
A. D. Keromytis The Role of Trust Management in
Distributed Systems Security . . . . . . 185--210
T. Aura Distributed Access-Rights Management
with Delegation Certificates . . . . . . 211--236
G. Brose A View-Based Access Control Model for
CORBA . . . . . . . . . . . . . . . . . 237--252
C. Tschudin Apoptosis --- the Programmed Death of
Distributed Services . . . . . . . . . . 253--260
B. S. Yee A Sanctuary for Mobile Agents . . . . . 261--274
V. Roth Mutual Protection of Co-operating Agents 275--288
T. Jaeger Access Control in Configurable Systems 289--316
R. Grimm and
B. N. Bershad Providing Policy-Neutral and Transparent
Access Control in Extensible Systems . . 317--338
M. B. Jones Interposition Agents: Transparently
Interposing User Code at the System
Interface . . . . . . . . . . . . . . . 339--368
T. Von Eicken and
C.-C. Chang and
G. Czajkowski and
C. Hawblitzel J-Kernel: A Capability-Based Operating
System for Java . . . . . . . . . . . . 369--394
L. Van Doorn and
M. Abadi and
M. Burrows and
E. Wobber Secure Network Objects . . . . . . . . . 395--412
G. Edjlali and
A. Acharya and
V. Chaudhary History-Based Access Control for Mobile
Code . . . . . . . . . . . . . . . . . . 413--432
D. S. Alexander and
W. A. Arbaugh and
A. D. Keromytis and
J. M. Smith Security in Active Networks . . . . . . 433--452
J. Hulaas and
A. Villazon and
J. Harms Using Interfaces to Specify Access
Rights . . . . . . . . . . . . . . . . . 453--468
U. G. Wilhelm and
S. Staamann and
L. Buttyan Introducing Trusted Third Parties to the
Mobile Agent Paradigm . . . . . . . . . 469--492
Minoru Asada and
Manuela Veloso and
Milind Tambe and
Itsuki Noda and
Hiroaki Kitano and
Gerhard K. Kraetzschmar Overview of RoboCup-98 . . . . . . . . . 1
Kim Binsted and
Sean Luke Character Design for Soccer Commentary 22
Hitoshi Matsubara and
Ian Frank and
Kumiko Tanaka-Ishii and
Itsuki Noda and
Hideyuki Nakashima and
Kôiti Hasida Automatic Soccer Commentary and RoboCup 34
Dirk Voelz and
Elisabeth André and
Gerd Herzog and
Thomas Rist Rocco: A RoboCup Soccer Commentator
System . . . . . . . . . . . . . . . . . 50
Peter Stone and
Manuela Veloso and
Patrick Riley The CMUnited-98 Champion Simulator Team 61
Manuela Veloso and
Michael Bowling and
Sorin Achim and
Kwun Han and
Peter Stone The CMUnited-98 Champion Small-Robot
Team . . . . . . . . . . . . . . . . . . 77
J.-S. Gulmann and
W. Hatzack and
I. Herrmann and
B. Nebel The CS Freiburg Robotic Soccer Team:
Reliable Self-Localization, Multirobot
Sensor Integration, and Basic Soccer
Skills . . . . . . . . . . . . . . . . . 93
Jens-Steffen Gutmann and
Wolfgang Hatzack and
Immanuel Herrmann and
Bernhard Nebel and
Frank Rittinger and
Augustinus Topor and
Thilo Weigel and
Bruno Welsch The CS Freiburg Robotic Soccer Team:
Reliable Self-localization, Multirobot
Sensor Integration, and Basic Soccer
Skills . . . . . . . . . . . . . . . . . 93
Igor M. Verner The Survey of RoboCup '98: Who, How and
Why . . . . . . . . . . . . . . . . . . 109
Silvia Coradeschi and
Jacek Malec How to Make a Challenging AI Course
Enjoyable Using the RoboCup Soccer
Simulation System . . . . . . . . . . . 120
Masahiro Fujita and
Stephane Zrehen and
Hiroaki Kitano A Quadruped Robot for RoboCup Legged
Robot Challenge in Paris '98 . . . . . . 125
Henrik Hautop Lund and
Luigi Pagliarini Robot Soccer with LEGO Mindstorms . . . 141
Kazuaki Maeda and
Akinori Kohketsu and
Tomoichi Takahashi Ball-Receiving Skill Dependent on
Centering in Soccer Simulation Games . . 152
K. Marda and
A. Kohketsu and
T. Takahashi Ball-Receiving Skill Dependent on
Centering in Soccer Simulation Games . . 152
Jan Lubbers and
Rogier R. Spaans The Priority/Confidence Model as a
Framework for Soccer Agents . . . . . . 162
Paul Scerri and
Silvia Coradeschi and
Anders Törne A User Oriented System for Developing
Behavior Based Agents . . . . . . . . . 173
Tomoichi Takahashi and
Tadashi Naruse From Play Recognition to Good Plays
Detection --- Reviewing RoboCup 97 Teams
from Logfile . . . . . . . . . . . . . . 187
Kurt Driessens and
Nico Jacobs and
Nathalie Cossement and
Patrick Monsieurs and
Luc De Raedt Inductive Verification and Validation of
the KULRoT RoboCup Team . . . . . . . . 193
Christoph G. Jung Layered and Resource-Adapting Agents in
the RoboCup Simulation . . . . . . . . . 207--220
Nobuhiro Ito and
Kouichi Nakagawa and
Xiaoyong Du and
Naohiro Ishii A Description-Processing System for
Soccer Agents and NIT Stones 98 . . . . 221
Stacy Marsella and
Jafar Adibi and
Yaser Al-Onaizan and
Ali Erdem and
Randall Hill and
Gal A. Kaminka and
Zhun Qiu and
Milind Tambe Using an Explicit Teamwork Model and
Learning in RoboCup . . . . . . . . . . 237
F. Tortcrolo and
C. Carbay A Hybrid Agent Model, Mixing Short Term
and Long Term Memory Abilities. An
Application to RoboCup Competition . . . 246
Fausto Torterolo and
Catherine Garbay A Hybrid Agent Model, Mixing Short Term
and Long Term Memory Abilities . . . . . 246
Peter Stone and
Manuela Veloso Team-Partitioned, Opaque-Transition
Reinforcement Learning . . . . . . . . . 261
Eiji Uchibe and
Masateru Nakamura and
Minoru Asada Cooperative Behavior Acquisition in a
Multiple Mobile Robot Environment by
Co-evolution . . . . . . . . . . . . . . 273
Wei-Min Shen and
Jafar Adibi and
Rogelio Adobbati and
Srini Lanksham and
Hadi Moradi and
Behnam Salemi and
Sheila Tejada Integrated Reactive Soccer Agents . . . 286
Andrew R. Price and
Trevor Jones An Innovative Approach to Vision,
Localization and Orientation Using
Omnidirectional Radial Signature
Analysis . . . . . . . . . . . . . . . . 299
Sho'ji Suzuki and
Tatsunori Kato and
Hiroshi Ishizuka and
Yasutake Takahashi and
Eiji Uchibe and
Minoru Asada An Application of Vision-Based Learning
in RoboCup for a Real Robot with an
Omnidirectional Vision System and the
Team Description of Osaka University
``Trackies'' . . . . . . . . . . . . . . 316
Takayuki Nakamura and
Kazunori Terada and
Atsushi Shibata and
Hideaki Takeda The RoboCup-NAIST: A Cheap
Multisensor-Based Mobile Robot with
Visual Learning Capability . . . . . . . 326
T. Andou Andhill-98: A RoboCup Team which
Reinforces Positioning with Observation 338
David Andre and
Astro Teller Evolving Team Darwin United . . . . . . 346
Magnus Boman and
Helena Åberg and
Åsa Åhman and
Jens Andreasen and
Mats Danielson and
Carl-Gustaf Jansson and
Johan Kummeneje and
Harko Verhagen and
Johan Walter UBU: Utility-Based Uncertainty Handling
in Synthetic Soccer . . . . . . . . . . 352
P. Gugenberger and
J. Wendler and
K. Schroeter and
H.-D. Burkhard AT Humboldt in RoboCup-98 . . . . . . . 358
Harukazu Igarashi and
Shougo Kosue and
Masatoshi Miyahara Individual Tactical Play and Pass with
Communication between Players --- Team
Descriptions of Team Miya2 . . . . . . . 364--370
A. C. P. L. Da Costa and
G. Bittencourt UFSC-team: A Cognitive Multi-Agent
Approach to the RoboCup'98 Simulator
League . . . . . . . . . . . . . . . . . 371
Takeshi Matsumura Description of Team Erika . . . . . . . 377
E. Pagello and
F. Montesello and
F. Garelli and
F. Candon and
P. Chioetto and
S. Griggio Getting Global Performance through Local
Information in PaSo-Team'98 . . . . . . 384
Daniel Polani and
Stefan Weber and
Thomas Uthmann A Direct Approach to Robot Soccer
Agents: Description for the Team MAINZ
ROLLING BRAINS Simulation League of
RoboCup'98 . . . . . . . . . . . . . . . 390
Jukka Riekki and
Jussi Pajala and
Antti Tikanmäki and
Juha Röning CAT Finland: Executing Primitive Tasks
in Parallel . . . . . . . . . . . . . . 396
Y. Zhang and
A. K. Mackworth A Multi-level Constraint-Based
Controller for the Dynamo98 Robot Soccer
Team . . . . . . . . . . . . . . . . . . 402
Andreas Birk and
Thomas Walle and
Tony Belpaeme and
Johan Parent and
Tom De Vlaminck and
Holger Kenn The Small League RoboCup Team of the VUB
AI-Lab . . . . . . . . . . . . . . . . . 410
T. Braunl CHPS Glory --- Soccer Robots with Local
Intelligence . . . . . . . . . . . . . . 416
A. Rowstron and
B. Bradshaw and
D. Crosby and
T. Edmonds and
S. Hodges and
A. Hopper and
S. Lloyd and
J. Wang and
S. Wray The Cambridge University Robot Football
Team Description . . . . . . . . . . . . 422
Gordon Wyeth and
Brett Browning and
Ashley Tews The UQ RoboRoos Small-Size League Team
Description for RoboCup '98 . . . . . . 428
Pedro Aparício and
Rodrigo Ventura and
Pedro Lima and
Carlos Pinto-Ferreira ISocRob --- Team Description . . . . . . 434
E. González and
H. Loaiza and
A. Suárez and
C. Moreno Real MagiCol 98: Team Description and
Results . . . . . . . . . . . . . . . . 440
Michael Klupsch and
Maximilian Lückenhaus and
Christoph Zierl and
Ivan Laptev and
Thorsten Bandlow and
Marc Grimme and
Ignaz Kellerer and
Fabian Schwarzer Agilo RoboCuppers: RoboCup Team
Description . . . . . . . . . . . . . . 446--451
Gerhard K. Kraetzschmar and
Stefan Enderle and
Stefan Sablatnög and
Thomas Boß and
Mark Dettinger and
Hans Braxmayer and
Heiko Folkerts and
Markus Klingler and
Dominik Maschke and
Gerd Mayer and
Markus Müller and
Alexander Neubeck and
Marcus Ritter and
Heiner Seidl and
Robert Wörz and
Günther Palm The Ulm Sparrows: Research into
Sensorimotor Integration, Agency,
Learning, and Multiagent Cooperation . . 452
Daniele Nardi and
Giorgio Clemente and
Enrico Pagello ART Azzurra Robot Team . . . . . . . . . 458
Michael Plagge and
Boris Diebold and
Richard Günther and
Jörn Ihlenburg and
Dirk Jung and
Keyan Zahedi and
Andreas Zell Design and Evaluation of the T-Team of
the University of Tuebingen for
RoboCup'98 . . . . . . . . . . . . . . . 464--472
A. Sicgberg and
A. Bredenfeld and
H. Guenther and
H. U. Kobialka Team Description of the GMD RoboCup-Team 473
A. Siegberg and
A. Bredenfeld and
H. Guenther and
H. U. Kobialka and
B. Klaassen and
U. Licht and
K. L. Paap and
P. G. Ploeger and
H. Streich and
J. Vollmer and
J. Wilberg and
R. Worst and
T. Christaller Team Description of the GMD RoboCup-Team 473
K. Yokota and
K. Ozaki and
N. Watanabe and
A. Matsumoto and
D. Koyama and
T. Ishikawa and
K. Kawabata and
H. Kaetsu and
H. Asama UTTORI United: Cooperative Team Play
Based on Communication . . . . . . . . . 479
Vincent Hugel and
Patrick Bonnin and
Jean Christophe Bouramoué and
Didier Solheid and
Pierre Blazevic and
Dominique Duhaut Quadruped Robot Guided by Enhanced
Vision System and Supervision Modules 485
Manuela Veloso and
William Uther The CMTrio-98 Sony Legged Robot Team . . 491
Noriaki Mitsunaga and
Minoru Asada and
Chizuko Mishima BabyTigers-98: Osaka Legged Robot Team 498
Anonymous Author Index . . . . . . . . . . . . . . 507
C. Capellmann and
H. Dibold and
U. Herzog Using High-Level Petri Nets in the Field
of Intelligent Networks . . . . . . . . 1
C. Lakos and
J. Lamp The Incremental Modelling of the Z39.50
Protocol with Object Petri Nets . . . . 37
G. Wheeler The Modelling and Analysis of IEEE
802.6's Configuration Control Protocol
with Coloured Petri Nets . . . . . . . . 69
A. Ben Mnaouer and
T. Sekiguchi and
Y. Fujii and
T. Ito Coloured Petri Nets Based Modelling and
Simulation of the Static and Dynamic
Allocation Policies of the Asynchronous
Bandwidth in the Fieldbus Protocol . . . 93
H.-J. Moon and
S. Y. Moon and
W. H. Kwon Parameter Region for the Proper
Operation of the IEEE 802.2 LLC Type 3
Protocol: A Petri Net Approach . . . . . 131
M. Reid and
W. M. Zuberek Timed Petri Net Models of ATM LANs . . . 150
B. R. Haverkort Performance Evaluation of Polling-Based
Communication Systems Using SPNs . . . . 176
B. R. Haverkort and
H. P. Idzenga Structural Decomposition and Serial
Solution of SPN Models of the ATM GAUSS
Switch . . . . . . . . . . . . . . . . . 210
H. De Meer and
O.-R. Duesterhoeft and
S. Fischer COSTPN for Modelling and Control of
Telecommunication Systems . . . . . . . 232
G. Franceschinis and
A. Fumagalli and
A. Silinguelli Stochastic Coloured Petri Net Models for
Rainbow Optical Networks . . . . . . . . 273
L. Augusteijn Sorting Morphisms . . . . . . . . . . . 1
R. Backhouse and
P. Jansson and
J. Jeuring and
L. Meertens Generic Programming --- An Introduction 28
O. De Moor and
G. Sittampalam Generic Program Transformation . . . . . 116
S. D. Swierstra and
P. R. A. Alcocer and
J. Saraiva Designing and Implementing Combinator
Languages . . . . . . . . . . . . . . . 150
T. Sheard Using MetaML: A Staged Programming
Language . . . . . . . . . . . . . . . . 207
L. Augustsson Cayenne --- A Language with Dependent
Types . . . . . . . . . . . . . . . . . 240
D. Leijen and
E. Meijer and
J. Hook Haskell as an Automation Controller . . 268
W. Kloesgen Applications and research problems of
subgroup mining . . . . . . . . . . . . 1
Y. Kodratoff Knowledge discovery in texts: A
definition and applications . . . . . . 16
R. A. Meersman Semantic ontology tools in IS design . . 30
V. S. Subrahmanian Heterogeneous agent systems . . . . . . 46
G. Wiederhold Information systems that really support
decision-making . . . . . . . . . . . . 56
J. Chen A class of stratified programs in
autoepistemic logic of knowledge and
belief . . . . . . . . . . . . . . . . . 67
A. Giordana and
L. Saitta On-line estimation of matching
complexity in first order logic . . . . 76
C.-M. Wu and
Y. Zhang Implementing prioritized logic
programming . . . . . . . . . . . . . . 85
A. Badia Extending description logics with
generalized quantification . . . . . . . 94
F. Esposito and
D. Malerba and
F. A. Lisi Machine learning for intelligent
document processing: The WISDOM system 103
A. H. Alsaffar and
J. S. Deogun and
V. V. Raghavan and
H. Sever Concept based retrieval by minimal term
sets . . . . . . . . . . . . . . . . . . 114
P. Lambrix and
N. Shahmehri and
S. Jacobsen Querying document bases by content,
structure and properties . . . . . . . . 123
F. Sebastiani Total knowledge and partial knowledge in
logical models of information retrieval 133
S. M. Deen and
C. A. Johnson Towards a theoretical foundation for
cooperating knowledge based systems . . 144
B. C. Desai and
R. Shinghal and
N. Shayan and
Y. Zhou CINDI: A system for cataloguing,
searching, and annotating electronic
documents in digital libraries . . . . . 154
S. Ohsuga and
T. Aida Externalization of human idea and
problem description for automatic
programming . . . . . . . . . . . . . . 163
B. Predki and
S. Wilk Rough set based data exploration using
ROSE system . . . . . . . . . . . . . . 172
D. Pacholczyk Towards an intelligent system dealing
with nuanced information expressed in
affirmative or negative forms . . . . . 181
B. Thomas Logic programs for intelligent Web
search . . . . . . . . . . . . . . . . . 190
R. Basili and
M. Di Nanni and
M. T. Pazienza Representing document content via an
object-oriented paradigm . . . . . . . . 199
G. Semeraro and
M. F. Costabile and
F. Esposito and
N. Fanizzi A learning server for inducing user
classification rules in the digital
library service . . . . . . . . . . . . 208
S. Kundu A better fitness measure of a
text-document for a given set of
keywords . . . . . . . . . . . . . . . . 217
G. P. Zarri and
E. Bertino and
B. Black and
A. Brasher CONCERTO, an environment for the
`intelligent' indexing, querying and
retrieval of digital documents . . . . . 226
H. Wang and
H. S. Nguyen Text classification using lattice
machine . . . . . . . . . . . . . . . . 235
M. Merzbacher Discovering semantic proximity for Web
pages . . . . . . . . . . . . . . . . . 244
I. Weber A declarative language bias for
levelwise search of first-order
regularities . . . . . . . . . . . . . . 253
P. Ejdys and
G. Gora The more we learn the less we know? On
inductive learning from examples . . . . 262
P. Doherty and
W. Lukaszewicz and
E. Madalinska-Bugaj Computing MPMA updates using Dijkstra's
semantics . . . . . . . . . . . . . . . 271
M. Mukaidono Several extensions of truth values in
fuzzy logic . . . . . . . . . . . . . . 282
R. Bejar and
F. Manya Phase transitions in the regular random
$3$-SAT problem . . . . . . . . . . . . 292
L. Brisoux and
E. Gregoire and
L. Saies Improving backtrack search for SAT by
means of redundancy . . . . . . . . . . 301
H. S. Nguyen and
S. H. Nguyen and
A. Skowron Decomposition of task specification
problems . . . . . . . . . . . . . . . . 310
A. An and
N. J. Cercone and
C. Chan ORTES: The design of a real-time control
expert system . . . . . . . . . . . . . 319
B. G. T. Lowden and
J. Robinson A statistical approach to rule selection
in semantic query optimisation . . . . . 330
M.-S. Hacid and
C. Rigotti Representing and reasoning on conceptual
queries over image databases . . . . . . 340
S. Tsumoto Knowledge discovery in clinical
databases --- An experiment with rule
induction and statistics . . . . . . . . 349
M. Michalewicz and
M. A. Klopotek and
S. T. Wierzchon Reasoning and acquisition of knowledge
in a system for hand wound diagnosis and
prognosis . . . . . . . . . . . . . . . 358
A. Wieczorkowska Rough Sets as a tool for audio signal
classification . . . . . . . . . . . . . 367
D. Brindle and
W. Ziarko Experiments with rough sets approach to
speech recognition . . . . . . . . . . . 376
N. Abe and
K. Tanaka and
H. Taki A system for understanding a mechanical
assembly instruction manual using
virtual space . . . . . . . . . . . . . 385
W. Skarbek Perceptual convergence of discrete
clamped fractal operator . . . . . . . . 395
W. Skarbek and
A. Pietrowcew and
R. Sikora Modified Oja-RLS algorithm ---
stochastic convergence analysis and
application for image compression . . . 402
K. A. Kaufman and
R. S. Michalski Learning from inconsistent and noisy
data: The AQ18 approach . . . . . . . . 411
J. J. Zhang and
N. J. Cercone and
H. J. Hamilton Learning English grapheme segmentation
using the iterated version space
algorithm . . . . . . . . . . . . . . . 420
L. Iwanska and
N. Mata and
K. Kruger Fully automatic acquisition of taxonomic
knowledge from large corpora of texts:
Limited-syntax knowledge representation
system based on natural language . . . . 430
F. Botana A fuzzy measure of similarity for
instance-based learning . . . . . . . . 439
R. Susmaga Computation of minimal cost reducts . . 448
J. Stepaniuk Rough set data mining of diabetes data 457
D. Michaut and
P. Baptiste Selection of a relevant feature subset
for induction tasks . . . . . . . . . . 466
J. Calmer and
P. Kullmann A data structure for subsumption-based
tabling in top-down resolution engines
for data-intensive logic applications 475
M. A. Orgun Modelling and reasoning about
multi-dimensional information . . . . . 484
M. A. Klopotek and
S. T. Wierzchon An interpretation for the conditional
belief function in the theory of
evidence . . . . . . . . . . . . . . . . 494
L. M. Sztandera and
C. Bock and
M. Trachtman and
J. Velga Artificial neural networks aid the
design of non-carcinogenic azo dyes . . 503
K. De Jong Evolving in a changing world . . . . . . 512
C. Anglano and
A. Giordana and
G. Lo Bello High-performance data mining on networks
of workstations . . . . . . . . . . . . 520
J. J. Mulawka and
P. Wasiewicz and
K. Pietak Virus-enhanced genetic algorithms
inspired by DNA computing . . . . . . . 529
K. Trojanowski and
Z. Michalewicz Evolutionary approach to non-stationary
optimization tasks . . . . . . . . . . . 538
J. Cwik and
J. Koronacki and
J. M. Zytkow On discovering functional relationships
when observations are noisy: $2$D case 547
J. F. Peters and
L. Han and
S. Ramanna Approximate time rough software cost
decision system: Multicriteria
decision-making approach . . . . . . . . 556
M. A. De Almeida and
S. Matwin Machine learning method for software
quality model building . . . . . . . . . 565
S. H. Nguyen Discovery of generalized patterns . . . 574
M. Kryszkiewicz and
H. Rybinski Incomplete database issues for
representative association rules . . . . 583
S. Puuronen and
V. Terziyan and
A. Tsymbal A dynamic integration algorithm for an
ensemble of classifiers . . . . . . . . 592
G. Fiol-Roig UIB-IK: A computer system for decision
trees induction . . . . . . . . . . . . 601
J. W. Grzymala-Busse and
L. K. Goodwin and
X. Zhang Preterm birth risk assessed by a new
method of classification using selective
partial matching . . . . . . . . . . . . 612
J. Dong and
N. Zhong and
S. Ohsuga Probabilistic rough induction: The
GDT-RS methodology and algorithms . . . 621
C. H. M. Van Kemenade and
J. N. Kok Cluster evolution strategies for
constrained numerical optimization . . . 630
F. Mansanne and
F. Carrere and
A. Ehinger and
M. Schoenauer Evolutionary algorithms as fitness
function debuggers . . . . . . . . . . . 639
M. Schmidt Solving real-life time-tabling problems 648
R. Jonsson On measures of search features . . . . . 657
J. Jelonek and
M. Komosinski Genetic algorithms in constructive
induction . . . . . . . . . . . . . . . 665
Karen Aardal and
Robert E. Bixby and
Cor A. J. Hurkens and
Arjen K. Lenstra and
Job W. Smeltink Market Split and Basis Reduction:
Towards a Solution of the
Cornuejols-Dawande Instances . . . . . . 1
Alexander A. Ageev and
Maxim I. Sviridenko Approximation Algorithms for Maximum
Coverage and Max Cut with Given Sizes of
Parts . . . . . . . . . . . . . . . . . 17
Ravindra K. Ahuja and
Dorit S. Hochbaum and
James B. Orlin Solving the Convex Cost Integer Dual
Network Flow Problem . . . . . . . . . . 31
Edoardo Amaldi and
Marc E. Pfetsch and
Leslie E. Trotter, Jr. Some Structural and Algorithmic
Properties of the Maximum Feasible
Subsystem Problem . . . . . . . . . . . 45
A. Atamtuerk and
G. L. Nemhauser and
M. W. P. Savelsbergh Valid Inequalities for Problems with
Additive Variable Upper Bounds . . . . . 60
Alper Atamtürk and
George L. Nemhauser and
Martin W. P. Savelsbergh Valid Inequalities for Problems with
Additive Variable Upper Bounds . . . . . 60
Mao-cheng Cai and
Xiaotie Deng and
Wenan Zang A Min-Max Theorem on Feedback Vertex
Sets . . . . . . . . . . . . . . . . . . 73
Alberto Caprara and
Matteo Fischetti and
Adam N. Letchford On the Separation of Maximally Violated
mod- $k$ Cuts . . . . . . . . . . . . . 87
Fabián A. Chudak and
David P. Williamson Improved Approximation Algorithms for
Capacitated Facility Location Problems 99
William H. Cunningham and
Lawrence Tang Optimal $3$-Terminal Cuts and Linear
Programming . . . . . . . . . . . . . . 114
Dragos Cvetkovic and
Mirjana Cangalovic and
Vera Kovacevic-Vujcic Semidefinite Programming Methods for the
Symmetric Traveling Salesman Problem . . 126
Friedrich Eisenbrand and
Andreas S. Schulz Bounds on the Chvatal Rank of Polytopes
in the $ 0 / 1 $-Cube . . . . . . . . . 137
Lisa Fleischer Universally Maximum Flow with
Piecewise-Constant Capacities . . . . . 151
Jean Fonlupt and
Ali Ridha Mahjoub Critical Extreme Points of the $2$-Edge
Connected Spanning Subgraph Polytope . . 166
András Frank and
Tibor Jordán and
Zoltán Szigeti An Orientation Theorem with Parity
Conditions . . . . . . . . . . . . . . . 183
András Frank and
Zoltán Király Parity Constrained $k$-Edge-Connected
Orientations . . . . . . . . . . . . . . 191
Eran Halperin and
Uri Zwick Approximation Algorithms for MAX $4$-SAT
and Rounding Procedures for Semidefinite
Programs . . . . . . . . . . . . . . . . 202
Mark Hartmann and
Maurice Queyranne and
Yaoguang Wang On the Chvátal Rank of Certain
Inequalities . . . . . . . . . . . . . . 218
David Hartvigsen The Square-Free $2$-Factor Problem in
Bipartite Graphs . . . . . . . . . . . . 234
Christoph Helmberg The $m$-Cost ATSP . . . . . . . . . . . 242
Satoru Iwata and
S. Thomas McCormick and
Maiko Shigeno A Strongly Polynomial Cut Canceling
Algorithm for the Submodular Flow
Problem . . . . . . . . . . . . . . . . 259
Tibor Jordán Edge-Splitting Problems with Demands . . 273
Kenji Kashiwabara and
Masataka Nakamura and
Takashi Takabatake Integral Polyhedra Associated with
Certain Submodular Functions Defined on
$ 012 $-Vectors . . . . . . . . . . . . 289
Gunnar W. Klau and
Petra Mutzel Optimal Compaction of Orthogonal Grid
Drawings . . . . . . . . . . . . . . . . 304
Philip Klein and
Neal Young On the Number of Iterations for
Dantzig-Wolfe Optimization and
Packing-Covering Approximation
Algorithms . . . . . . . . . . . . . . . 320
Stavros G. Kolliopoulos and
Clifford Stein Experimental Evaluation of Approximation
Algorithms for Single-Source
Unsplittable Flow . . . . . . . . . . . 328
Vardges Melkonian and
Éva Tardos Approximation Algorithms for a Directed
Network Design Problem . . . . . . . . . 345
Petra Mutzel and
René Weiskircher Optimizing over All Combinatorial
Embeddings of a Planar Graph . . . . . . 361
Hiroshi Nagamochi and
Toshihide Ibaraki A Fast Algorithm for Computing Minimum
$3$-Way and $4$-Way Cuts . . . . . . . . 377
John Noga and
Steve Seiden Scheduling Two Machines with Release
Times . . . . . . . . . . . . . . . . . 391
András Sebö An Introduction to Empty Lattice
Simplices . . . . . . . . . . . . . . . 400
A. Seboe An Introduction to Empty Lattice
Simplices . . . . . . . . . . . . . . . 400
Zoltán Szigeti On Optimal Ear-Decompositions of Graphs 415
Chung-Piaw Teo and
Jay Sethuraman and
Wee-Peng Tan Gale--Shapley Stable Marriage Problem
Revisited: Strategic Issues and
Applications . . . . . . . . . . . . . . 429
Eduardo Uchoa and
Marcus Poggi de Aragão Vertex-Disjoint Packing of Two Steiner
Trees: Polyhedra and Branch-and-Cut . . 439
F. S. C. Da Silva Formalisations of Uncertain Reasoning 1
N. R. Jennings Agent-Oriented Software Engineering . . 4
I. H. Osman A Unified-Metaheuristic Framework . . . 11
S.-L. Wang and
Y.-H. Wu A Fuzzy Knowledge Representation and
Acquisition Scheme for Diagnostic
Systems . . . . . . . . . . . . . . . . 13
G. Y. C. Wong and
H. W. Chun Modeling Fuzzy Sets Using
Object-Oriented Techniques . . . . . . . 23
H. Zreak and
M. Alwan and
M. Khaddour A Fuzzy Approach to Map Building . . . . 33
D. Pacholczyk Towards an Affirmative Interpretation of
Linguistically Denied Fuzzy Properties
in Knowledge-Based Systems . . . . . . . 43
R. Sendelj and
V. Devedzic Representational Hierarchy of Fuzzy
Logic Concepts in the OBOA Model . . . . 54
H.-K. Fan and
C. Chen and
C.-M. Hong Design of Fuzzy Sliding Controller Based
on Cerebellar Learning Model . . . . . . 64
T.-P. Hong and
T.-T. Wang A New Fuzzy Flexible Flow-Shop Algorithm
for Continuous Fuzzy Domain . . . . . . 74
Y. Dakroury and
A. A. El Al and
O. Badr Testing the Performance of a Neural
Networks-Based Adaptive Call Admission
Controller with Multimedia Traffic . . . 80
D. Manrique and
J. Rios and
A. Vilarrasa A Combined Neural Network and
Mathematical Morphology Method for
Computerized Detection of
Microcalcifications . . . . . . . . . . 92
A. Martinez and
J. Castellanos and
C. Hernandez and
F. De Mingo Study of Weight Importance in Neural
Networks Working With Colineal Variables
in Regression Problems . . . . . . . . . 101
G. Murray and
T. Hendtlass and
J. Podlena The Parallel Path Artificial Micronet 111
A. Ezzat and
N. Inuzuka and
H. Itoh A Generation Method to Produce GA with
GP Capabilities for Signal Modeling . . 118
M. Rocha and
J. Neves Preventing Premature Convergence to
Local Optima in Genetic Algorithms via
Random Offspring Generation . . . . . . 127
M. El-Beltagy and
A. Keane Using Self Organizing Maps and Genetic
Algorithms for Model Selection in
Multilevel Optimization . . . . . . . . 137
F. Guillet and
P. Kuntz and
R. Lehn A Genetic Algorithm for Visualizing
Networks of Association Rules . . . . . 145
S. Shazely and
H. Baraka and
A. Abdel-Wahab and
H. Kamal Genetic Algorithms in Solving Graph
Partitioning Problem . . . . . . . . . . 155
A. I. Baaleh and
A. F. Sakr Application of Genetic Algorithms in
Power System Stabilizer Design . . . . . 165
E. B. Mansilla and
A. Mekaouche and
J. M. G. Guiu A Study of a Genetic Classifier System
Based on the Pittsburgh Approach on a
Medical Domain . . . . . . . . . . . . . 175
C.-M. Chen and
C.-M. Hong and
H. Fan A New Gradient-Based Search Method:
Grey-Gradient Search Method . . . . . . 185
D. A. L. Piriyakumar and
P. Levi An Improvised $ A* $ Algorithm for
Mobile Robots to Find the Optimal Path
in an Unknown Environment with Minimized
Search Efforts . . . . . . . . . . . . . 195
A. R. Appas and
A. M. Darwish and
A. El-Dessouki and
S. I. Shaheen Speeding the Vector Search Algorithm for
Regional Color Channel Features Based
Indexing and Retrieval Systems . . . . . 205
S. Kato and
S. Oono and
H. Seki and
H. Itoh Cost-Based Abduction Using Binary
Decision Diagrams . . . . . . . . . . . 215
F. Wotawa New Directions in Debugging Hardware
Designs . . . . . . . . . . . . . . . . 226
G. Ligozat Reasoning with Diagrams: The Semantics
of Arrows . . . . . . . . . . . . . . . 236
H. Milde and
L. Hotz and
J. Kahl and
B. Neumann MAD: A Real World Application of
Qualitative Model-Based Decision Tree
Generation for Diagnosis . . . . . . . . 246
F. Van Harmelen and
J. Van der Meer WebMaster: Knowledge-Based Verification
of Web-Pages . . . . . . . . . . . . . . 256
G. Peter and
D. Roesner Towards Task-Oriented User Support for
Failure Mode and Effects Analysis . . . 266
P. G. Chander and
R. Shinghal and
T. Radhakrishnan Incremental and Integrated Evaluation of
Rule-Based Systems . . . . . . . . . . . 276
M. H. Ibrahim and
F. A. Cummins A Model of Reflection for Developing AI
Applications . . . . . . . . . . . . . . 286
C. M. Jonker and
J. Treur A Compositional Process Control Model
and Its Application to Biochemical
Processes . . . . . . . . . . . . . . . 296
C. M. Jonker and
R. Kremer and
P. Van Leeuwen and
D. Pan Visual and Textual Knowledge
Representation in DESIRE . . . . . . . . 306
J. Santos and
L. Faria and
C. Ramos and
Z. A. Vale Verification of Knowledge Based-Systems
for Power System Control Centers . . . . 316
M. K. Kundu and
N. R. Pal Self-Crossover and Its Application to
the Traveling Salesman Problem . . . . . 326
N. Malheiro and
Z. A. Vale and
C. Ramos and
J. Santos Enabling Client-Server Explanation
Facilities in a Real Time Expert System 333
P. Froehlich and
W. Nejdl and
M. Schroeder and
C. Damasio Using Extended Logic Programming for
Alarm-Correlation in Cellular Phone
Networks . . . . . . . . . . . . . . . . 343
V. Y. Terziyan and
S. Puuronen Knowledge Acquisition Based on Semantic
Balance of Internal and External
Knowledge . . . . . . . . . . . . . . . 353
R. N. Smith and
W. J. Frawley Alex: A Computer Aid for Treating
Alexithymia . . . . . . . . . . . . . . 362
E. Kounalis and
P. Urso Mechanizing Proofs of Integrity
Constraints in the Situation Calculus 372
G. Saward Using Cases for Process Modelling: An
Example from the Water Supply Industry 382
E. Aiemeur and
K. Boudina Financial Analysis by Case Based
Reasoning . . . . . . . . . . . . . . . 388
S. Belanger and
M. A. Thibodeau and
E. Aiemeur Training of the Learner in Criminal Law
by Case-Based Reasoning . . . . . . . . 398
B. H. Ooi and
A. K. Ghose Constraint-Based Agent Specification for
a Multi-Agent Stock Brokering System . . 409
C. Piccardi and
F. Wotawa A Communication Language and the Design
of a Diagnosis Agent --- Towards a
Framework for Mobile Diagnosis Agents 420
C. M. Jonker and
J. Treur Information Brokering Agents in
Intelligent Websites . . . . . . . . . . 430
T. Gavrilova and
A. Voinov and
I. Lescheva Learner-Model Approach to Multi-agent
Intelligent Distance Learning System for
Program Testing . . . . . . . . . . . . 440
B. Bauer and
C. Klein A Multi-agent Solution for Advanced Call
Centers . . . . . . . . . . . . . . . . 450
J. Cuena and
M. Molina A Multi-agent System for Emergency
Management in Floods . . . . . . . . . . 460
K. S. Barber and
A. Goel and
D. Han and
J. Kim Problem-Solving Frameworks for Sensible
Agents in an Electronic Market . . . . . 470
C. Bel and
W. Van Stokkum A Model for Distributed Multi-agent
Traffic Control . . . . . . . . . . . . 480
R. Gustavsson Smart Equipment Creating New Electronic
Business Opportunities . . . . . . . . . 490
S. Aknine and
S. Pinson Agent Oriented Conceptual Modeling of
Parallel Workflow Systems . . . . . . . 500
D. Deugo A Distributed Algorithm as Mobile Agents 510
F. S. C. Da Silva and
W. Weber Vasconcelos and
J. Agusti and
D. Robertson Why Ontologies are Not Enough for
Knowledge Sharing . . . . . . . . . . . 520
K. Mostafa and
S. I. Shaheen and
A. M. Darwish and
I. Farag A Novel Approach for Detecting and
Correcting Segmentation and Recognition
Errors in Arabic OCR Systems . . . . . . 530
M. E. Ragab and
A. M. Darwish and
E. M. Abed and
S. I. Shaheen Face Recognition Using Principal
Component Analysis Applied to an
Egyptian Face Database . . . . . . . . . 540
A. Verikas and
A. Gelzinis and
K. Malmqvist Using Labeled and Unlabeled Data to
Train a Multilayer Perceptron for Color
Classification in Graphic Arts . . . . . 550
M. A. Rodrigues and
Y. Liu A Novel $3$D-$2$D Computer Vision
Algorithm for Automatic Inspection of
Filter Components . . . . . . . . . . . 560
E. Zangrouba and
T. Hedidar and
A. Jaoua A Robust and Unified Algorithm for
Indoor and Outdoor Scenes Based on
Region Segmentation . . . . . . . . . . 570
F. Ramparany and
F. Sandt SAPIA: A Model Based Satellite Image
Interpretation System . . . . . . . . . 580
S. Shah and
J. K. Aggarwal Hierarchical Multifeature Integration
for Automatic Object Recognition in
Forward Looking Infrared Images . . . . 590
A. C. Kakas and
A. Michael Air-Crew Scheduling through Abduction 600
R. Salem and
K. Bsaiees Unfold/Fold Inductive Proof: An
Extension of a Folding Technique . . . . 612
B. J. Oommen and
T. D. Roberts On Solving the Capacity Assignment
Problem Using Continuous Learning
Automata . . . . . . . . . . . . . . . . 622
M. Link and
M. Ishitobi Supervised Parameter Optimization of a
Modular Machine Learning System . . . . 632
H. M. Sellami and
A. Jaoua Non-supervised Rectangular
Classification of Binary Data . . . . . 642
M. S. Hamdi and
K. Kaiser Synthesizing Intelligent Behavior: A
Learning Paradigm . . . . . . . . . . . 649
Z. J. Viharos and
L. Monostori Automatic Input-output Configuration and
Generation of ANN-based Process Models
and Their Application in Machining . . . 659
S. M. Abu-Soud and
M. R. Tolun DCL: A Disjunctive Learning Algorithm
for Rule Extraction . . . . . . . . . . 669
A. Osmani Modeling and Simulating Breakdown
Situation in Telecommunication Networks 679
S. Puuronen and
H. Kaikova Handling Context-Sensitive Temporal
Knowledge from Multiple Differently
Ranked Sources . . . . . . . . . . . . . 688
A. Osmani Introduction to Reasoning About Cyclic
Intervals . . . . . . . . . . . . . . . 698
H. W. Guesgen and
D. Mitra A Multiple-Platform Decentralized Route
Finding System . . . . . . . . . . . . . 707
H. Hamilton and
D. J. Randall Heuristic Selection of
Aggregated-Temporal Data for Knowledge
Discovery . . . . . . . . . . . . . . . 714
D. Chitchian and
S. Sariyildiz and
H. Koppelaar Architectural Knowledge Representation
Using the Galois Lattice Technique . . . 724
F. Capkovic Automated Solving of the DEDS Control
Problems . . . . . . . . . . . . . . . . 735
J. Kahl and
L. Hotz and
H. Milde and
S. Wessel A More Efficient Knowledge
Representation for Allen's Algebra and
Point Algebra . . . . . . . . . . . . . 747
H. H. Baraka and
S. Eid and
H. Kamal and
A. H. AbdelWahab Unified Chromosome Representation for
Large Scale Problems . . . . . . . . . . 753
H. A. Hefny and
A. Abdel Wahab and
A. A. Bahnasawi and
S. I. Shaheen A Novel Framework for Hybrid Intelligent
Systems . . . . . . . . . . . . . . . . 761
H. W. Chun and
S. H. C. Chan The Design of a Multi-tiered Bus
Timetabling System . . . . . . . . . . . 771
P. Van Bael and
M. Rijckaert Scheduling of a Production Unit via
Critical Block Neighborhood Structures 780
N. Tomii and
L. J. Zhou and
N. Fukumura An Algorithm for Station Shunting
Scheduling Problems Combining
Probabilistic Local Search and PERT . . 788
D. Popovic and
V. Devedzic Designing an Intelligent Tutoring
Systems in the Domain of Formal
Languages . . . . . . . . . . . . . . . 798
E. El-Sheikh and
J. Sticklen Leveraging a Task-Specific Approach for
Intelligent Tutoring System Generation:
Comparing the Generic Tasks and KADS
Frameworks . . . . . . . . . . . . . . . 809
C. Schaefer and
O. Lopez An Object-Oriented Robot Model and Its
Integration into Flexible Manufacturing
Systems . . . . . . . . . . . . . . . . 820
E. Gide and
F. Soliman The Economic Benefits of Internet-Based
Business Operations in Manufacturing . . 830
A. Elkeran and
M. A. El-Baz CNC Manufacturing of Complex Surfaces
Based on Solid Modeling . . . . . . . . 841
T. El-Fouly and
N. Zerhoini and
M. Ferney and
A. El Moundi Analysis of Manufacturing Lines Using a
Phase Space Algorithm: Open Line Case 849
B. Gargouri and
M. Jmaiel and
A. Ben Hamadou A Formal Approach to Lingware
Development . . . . . . . . . . . . . . 859
D. E. Herlea and
C. M. Jonker and
J. Treur and
N. J. E. Wijngaards A Formal Knowledge Level Process Model
of Requirements Engineering . . . . . . 869
J. Cakic and
V. Devedzic Pieces of Mind: Component-Based Software
Development of Artificial Intelligence 879
T. T. El-Midany and
A. Elkeran and
H. T. Radwan CNC Automatic Programming System for
Wire-EDM . . . . . . . . . . . . . . . . 889
R. Bergmann and
S. Breen and
M. Goeker and
M. Manago Developing Industrial Case-Based
Reasoning Applications: The INRECA
Methodology . . . . . . . . . . . . . . i--xx, 1--888
Michael F. Insana and
Larry T. Cook and
Pawan Chaturvedi Analytical Study of Bioelasticity
Ultrasound Systems . . . . . . . . . . . 1
John C. Mosher and
Richard M. Leahy and
David W. Shattuck and
Sylvain Baillet MEG Source Imaging Using Multipolar
Expansions . . . . . . . . . . . . . . . 15
Bruno M. Carvalho and
Gabor T. Herman and
Samuel Matej and
Claudia Salzberg and
Eilat Vardi Binary Tomography for Triplane
Cardiography . . . . . . . . . . . . . . 29
Oskar M. Skrinjar and
James S. Duncan Real Time $3$D Brain Shift Compensation 42
Bart M. ter Haar Romeny and
Bart Titulaer and
Stiliyan Kalitzin and
Gabriëlle Scheffer and
Frank Broekmans and
Joes Staal and
Egbert te Velde Computer Assisted Human Follicle
Analysis for Fertility Prospects with 3D
Ultrasound . . . . . . . . . . . . . . . 56
B. M. Ter Haar Romeny and
B. Titulaer and
S. Kalitzin and
G. Scheffer Computer Assisted Human Follicle
Analysis for Fertility Prospects with
$3$D Ultrasound . . . . . . . . . . . . 56
Graham Treece and
Richard Prager and
Andrew Gee and
Laurence Berman Volume Measurement in Sequential
Freehand $3$-D Ultrasound . . . . . . . 70
George D. Stetten and
Stephen M. Pizer Automated Identification and Measurement
of Objects via Populations of Medial
Primitives, with Application to Real
Time $3$D Echocardiography . . . . . . . 84
Thomas E. Nichols and
Jinyi Qi and
Richard M. Leahy Continuous Time Dynamic PET Imaging
Using List Mode Data . . . . . . . . . . 98
Yanlin Guo and
Baba C. Vemuri Hybrid Geometric Active Models for Shape
Recovery in Medical Images . . . . . . . 112
Liana M. Lorigo and
Olivier Faugeras and
W. E. L. Grimson and
Renaud Keriven and
Ron Kikinis and
Carl-Fredrik Westin Co-dimension 2 Geodesic Active Contours
for MRA Segmentation . . . . . . . . . . 126
Dzung L. Pham and
Jerry L. Prince An Adaptive Fuzzy Segmentation Algorithm
for Three-Dimensional Magnetic Resonance
Images . . . . . . . . . . . . . . . . . 140
David Rey and
Gérard Subsol and
Hervé Delingette and
Nicholas Ayache Automatic Detection and Segmentation of
Evolving Processes in $3$D Medical
Images: Application to Multiple
Sclerosis . . . . . . . . . . . . . . . 154
Haili Chui and
James Rambo and
James Duncan and
Robert Schultz and
Anand Rangarajan Registration of Cortical Anatomical
Structures via Robust $3$D Point
Matching . . . . . . . . . . . . . . . . 168
Marc Vaillant and
Christos Davatzikos Hierarchical Matching of Cortical
Features for Deformable Brain Image
Registration . . . . . . . . . . . . . . 182
A. Caunce and
C. J. Taylor Using Local Geometry to Build $3$D
Sulcal Models . . . . . . . . . . . . . 196
D. Louis Collins and
Alex P. Zijdenbos and
Wim F. C. Baaré and
Alan C. Evans ANIMAL+INSECT: Improved Cortical
Structure Segmentation . . . . . . . . . 210
Gary E. Christensen Consistent Linear-Elastic
Transformations for Image Matching . . . 224
Hava Lester and
Simon R. Arridge and
Kalvis M. Jansons and
Louis Lemieux and
Joseph V. Hajnal and
Anjela Oatridge Non-linear Registration with the
Variable Viscosity Fluid Algorithm . . . 238
Karl Rohr and
Mike Fornefett and
H. Siegfried Stiehl Approximating Thin-Plate Splines for
Elastic Registration: Integration of
Landmark Errors and Orientation
Attributes . . . . . . . . . . . . . . . 252
Jacob K. Laading and
Colin McCulloch and
Valen E. Johnson and
David R. Gilland and
Ronald J. Jaszczak A Hierarchical Feature Based Deformation
Model Applied to $4$D Cardiac SPECT Data 266
Nico Karssemeijer Local Orientation Distribution as a
Function of Spatial Scale for Detection
of Masses in Mammograms . . . . . . . . 280
Frithjof Kruggel and
D. Yves von Cramon Physiologically Oriented Models of the
Hemodynamic Response in Functional MRI 294
Elizabeth Bullitt and
Stephen Aylward and
Alan Liu and
Jeffrey Stone and
Suresh K. Mukherji and
Chris Coffey and
Guido Gerig and
Stephen M. Pizer $3$D Graph Description of the
Intracerebral Vasculature from Segmented
MRA and Tests of Accuracy by Comparison
with X-ray Angiograms . . . . . . . . . 308
T. F. Cootes and
C. Beeston and
G. J. Edwards and
C. J. Taylor A Unified Framework for Atlas Matching
Using Active Appearance Models . . . . . 322
Michael L. Goris and
Robert L. Van Uitert, Jr. An Integral Method for the Analysis of
Wall Motion in Gated Myocardial SPECT
Studies . . . . . . . . . . . . . . . . 334
Wiro Niessen and
Alexander Montauban van Swijndregt and
Bernard Elsman and
Onno Wink and
Max Viergever and
Willem Mali Enhanced Artery Visualization in Blood
Pool MRA: Results in the Peripheral
Vasculature . . . . . . . . . . . . . . 340
Jiantao Huang and
Amir A. Amini Four-Dimensional LV Tissue Tracking from
Tagged MRI with a $4$D B-Spline Model 346
Xenophon Papademetris and
Pengcheng Shi and
Donald P. Dione and
Albert J. Sinusas and
R. Todd Constable and
James S. Duncan Recovery of Soft Tissue Object
Deformation from $3$D Image Sequences
Using Biomechanical Models . . . . . . . 352
Gregory J. Klein Forward Deformation of PET Volumes Using
Non-uniform Elastic Material Constraints 358
Martin Styner and
Thomas Coradi and
Guido Gerig Brain Morphometry by Distance
Measurement in a Non-Euclidean,
Curvilinear Space . . . . . . . . . . . 364
Nicolae Duta and
Milan Sonka and
Anil K. Jain Learning Shape Models from Examples
Using Automatic Shape Clustering and
Procrustes Analysis . . . . . . . . . . 370
A. D. Brett and
C. J. Taylor A Framework for Automated Landmark
Generation for Automated $3$D
Statistical Model Construction . . . . . 376
Polina Golland and
W. Eric L. Grimson and
Ron Kikinis Statistical Shape Analysis Using Fixed
Topology Skeletons: Corpus Callosum
Study . . . . . . . . . . . . . . . . . 382
Michael E. Leventon and
Sarah F. F. Gibson Model Generation from Multiple Volumes
Using Constrained Elastic SurfaceNets 388
S. D. Olabarriaga and
A. W. M. Smeulders and
A. C. A. Marijnissen and
K. L. Vincken An Intelligent Interactive Segmentation
Method for the Joint Space in
Osteoarthritic Ankles . . . . . . . . . 394
Boudewijn P. F. Lelieveldt and
Milan Sonka and
Lizann Bolinger and
Thomas D. Scholz and
Hein W. M. Kayser and
Rob J. van der Geest and
Johan H. C. Reiber Anatomical Modeling with Fuzzy Implicit
Surfaces: Application to Automated
Localization of the Heart and Lungs in
Thoracic MR Images . . . . . . . . . . . 400
Reyer Zwiggelaar and
Christopher J. Taylor and
Caroline M. E. Rubin Detection of the Central Mass of
Spiculated Lesions --- Signature
Normalisation and Model Data Aspects . . 406
Márton Csapodi and
Ágota Petrányi and
György Liszka and
Ákos Zarándy and
Tamás Roska Noise Estimation and Measures for
Detection of Clustered
Microcalcifications . . . . . . . . . . 412
M. E. Díaz and
G. Ayala Measuring the Spatial Homogeneity in
Corneal Endotheliums by Means of a
Randomization Test . . . . . . . . . . . 418
M.-H. Horng and
Y.-N. Sun and
X.-Z. Lin The Assessment of Chronic Liver Diseases
by Sonography . . . . . . . . . . . . . 424
S. L. Hartmann and
M. H. Parks and
H. Schlack and
W. Riddle and
R. R. Price and
P. R. Martin and
B. M. Dawant Automatic Computation of Brain and
Cerebellum Volumes in Normal Subjects
and Chronic Alcoholics . . . . . . . . . 430
Arkadiusz Sitek and
Edward V. R. Di Bella and
Grant T. Gullberg Reconstruction from Slow Rotation
Dynamic SPECT Using a Factor Model . . . 436
I. Buvat and
S. Hapdey and
H. Benali and
A. Todd-Pokropek and
R. Di Paola Spectral Factor Analysis for
Multi-isotope Imaging in Nuclear
Medicine . . . . . . . . . . . . . . . . 442
Olivier Coulon and
Jean-Francois Mangin and
Jean-Baptiste Poline and
Vincent Frouin and
Isabelle Bloch Structural Group Analysis of Functional
Maps . . . . . . . . . . . . . . . . . . 448
Colin Studholme and
R. Todd Constable and
James S. Duncan Incorporating an Image Distortion Model
in Non-rigid Alignment of EPI with
Conventional MRI . . . . . . . . . . . . 454
Jay B. West and
J. Michael Fitzpatrick The Distribution of Target Registration
Error in Rigid-Body, Point-Based
Registration . . . . . . . . . . . . . . 460
Xu Meihe and
Rajagopalan Srinivasan and
Wieslaw L. Nowinski A Fast Mutual Information Method for
Multi-modal Registration . . . . . . . . 466
M. Xu and
R. Srinivasan and
W. L. Nowinski A Fast Mutual Information Method for
Multi-modal Registration . . . . . . . . 466
Mark Holden and
Derek L. G. Hill and
Erika R. E. Denton and
Jo M. Jarosz and
Tim C. S. Cox and
David J. Hawkes Voxel Similarity Measures for $3$D
Serial MR Brain Image Registration . . . 472
Robert Rohling and
Andrew Gee and
Laurence Berman and
Graham Treece Radial Basis Function Interpolation for
Freehand $3$D Ultrasound . . . . . . . . 478
Geoffrey J. M. Parker and
Julia A. Schnabel and
Gareth J. Barker Nonlinear Smoothing of MR Images Using
Approximate Entropy --- A Local Measure
of Signal Intensity Irregularity . . . . 484
László G. Nyúl and
Jayaram K. Udupa New Variants of a Method of MRI Scale
Normalization . . . . . . . . . . . . . 490
Alexei M. C. Machado and
Mario F. M. Campos and
James C. Gee Method for Estimating the Intensity
Mapping between MRI Images . . . . . . . 496
M. Leissler and
M. Hemmje and
E. J. Neuhold Supporting Image-Retrieval by Database
Driven Interactive $3$D
Information-Visualization . . . . . . . 1
R. M. Bolle and
A. Hampapur Video Libraries: From Ingest to
Distribution . . . . . . . . . . . . . . 15
S.-K. Chang and
G. Costagliola and
E. Jungert Querying Multimedia Data Sources and
Databases . . . . . . . . . . . . . . . 19
P. L. Stanchev General Image Database Model . . . . . . 29
R. Chbeir and
Y. Amghar and
A. Flory System for Medical Image Retrieval: The
MIMS Model . . . . . . . . . . . . . . . 37
J. Meddes and
E. McKenzie An Agent-Based Visualisation
Architecture . . . . . . . . . . . . . . 43
A. Ferro and
G. Gallo and
R. Giugno Error-Tolerant Database for Structured
Images . . . . . . . . . . . . . . . . . 51
A. Soffer and
H. Samet Query Processing and Optimization for
Pictorial Query Trees . . . . . . . . . 60
K. Porkaew and
S. Mehrotra and
M. Ortega and
K. Chakrabarti Similarity Search Using Multiple
Examples in MARS . . . . . . . . . . . . 68
D. Androutsos and
K. N. Plataniotis and
A. N. Venetsanopoulos Excluding Specified Colors from Image
Queries Using a Multidimensional Query
Space . . . . . . . . . . . . . . . . . 76
C. A. Lindley and
A.-M. Vercoustre Generic Viewer Interaction Semantics for
Dynamic Virtual Video Synthesis . . . . 83
H. Shiohara and
Y. Iizuka and
T. Maruyama and
S. Isobe Category Oriented Analysis for Visual
Data Mining . . . . . . . . . . . . . . 91
N. Ikonomakis and
K. N. Plataniotis and
A. N. Venetsanopoulos User Interaction in Region-Based Color
Image Segmentation . . . . . . . . . . . 99
G. Ciocca and
R. Schettini Using a Relevance Feedback Mechanism to
Improve Content-Based Image Retrieval 107
J. Malki and
N. Boujemaa and
C. Nastar and
A. Winter Region Queries without Segmentation for
Image Retrieval by Content . . . . . . . 115
E. Di Sciascio and
G. Mingolla and
M. Mongiello Content-Based Image Retrieval over the
Web Using Query by Sketch and Relevance
Feedback . . . . . . . . . . . . . . . . 123
J. M. Buijs and
M. S. Lew Visual Learning of Simple Semantics in
ImageScape . . . . . . . . . . . . . . . 131
S. L. Hibino Task Analysis for Information
Visualization . . . . . . . . . . . . . 139
J. Vendrig and
M. Worring and
A. W. M. Smeulders Filter Image Browsing: Exploiting
Interaction in Image Retrieval . . . . . 147
A. Hiroike and
Y. Musha and
A. Sugimoto and
Y. Mori Visualization of Information Spaces to
Retrieve and Browse Image Data . . . . . 155
J. I. Helfman Mandala: An Architecture for Using
Images to Access and Organize Web
Information . . . . . . . . . . . . . . 163
C. Baldi and
C. Colombo and
A. Del Bimbo A Compact and Retrieval-Oriented Video
Representation Using Mosaics . . . . . . 171
E. Paquet and
M. Rioux Crawling, Indexing and Retrieval of
Three-Dimensional Data on the Web in the
Framework of MPEG-7 . . . . . . . . . . 179
J.-R. Ohm and
F. Bunjamin and
W. Liebsch and
B. Makai A Visual Search Engine for Distributed
Image and Video Database Retrieval
Applications . . . . . . . . . . . . . . 187
B. Eberman and
B. Fidler and
R. Iannucci and
C. Joerg Indexing Multimedia for the Internet . . 195
J. Cho and
S. Mukherjea Crawling for Images on the WWW . . . . . 203
V. Konstantinou and
A. Psarrou A Dynamic JAVA-Based Intelligent
Interface for Online Image Database
Searches . . . . . . . . . . . . . . . . 211
R. Fablet and
P. Bouthemy Motion-Based Feature Extraction and
Ascendant Hierarchical Classification
for Video Indexing and Retrieval . . . . 221
A. Hanjalic and
R. L. Lagendijk and
J. Biemond Automatically Segmenting Movies into
Logical Story Units . . . . . . . . . . 229
J. M. Sanchez and
X. Binefa and
J. Vitria and
P. Radeva Local Color Analysis for Scene Break
Detection Applied to TV Commercials
Recognition . . . . . . . . . . . . . . 237
P. Bouthemy and
C. Garcia and
R. Ronfard and
G. Tziritas Scene Segmentation and Image Feature
Extraction for Video Indexing and
Retrieval . . . . . . . . . . . . . . . 245
S. Fischer and
I. Rimac and
R. Steinmetz Automatic Recognition of Camera Zooms 253
M. Gelgon and
P. Bouthemy and
T. Dubois A Region Tracking Method with Failure
Detection for an Interactive Video
Indexing Environment . . . . . . . . . . 261
S. M. Bhandarkar and
Y. S. Warke and
A. A. Khombhadia Integrated Parsing of Compressed Video 269
W. Kong and
X. Ding and
H. Lu and
S. Ma Improvement of Shot Detection Using
Illumination Invariant Metric and
Dynamic Threshold Selection . . . . . . 277
E. Ardizzone and
C. Lodato and
S. Lopes Temporal Segmentation of MPEG Video
Sequences . . . . . . . . . . . . . . . 283
H. B. Lu and
Y. J. Zhang Detecting Abrupt Scene Change Using
Neural Network . . . . . . . . . . . . . 291
U. Srinivasan and
C. Lindley Multi-Modal Feature-Map: An Approach to
Represent Digital Video Sequences . . . 299
M. Liao and
Y. Li and
S. Ma and
H. Lu Robust Tracking of Video Objects through
Topological Constraint on Homogeneous
Motion . . . . . . . . . . . . . . . . . 307
G. S. Iwerks and
H. Samet The Spatial Spreadsheet . . . . . . . . 317
M.-A. Aufure-Portier and
C. Bonhomme A High Level Visual Language for Spatial
Data Management . . . . . . . . . . . . 325
S. G. Nikolov and
D. R. Bull and
C. N. Canagarajah A Global Graph Model of Image
Registration . . . . . . . . . . . . . . 333
S. Aksoy and
R. M. Haralick A Graph-Theoretic Approach to Image
Database Retrieval . . . . . . . . . . . 341
C. Pan and
S. Ma Motion Capture of Arm from a Monocular
Image Sequence . . . . . . . . . . . . . 349
I. Gagliardi and
B. Zonta Comparing Dictionaries for the Automatic
Generation of Hypertextual Links: A Case
Study . . . . . . . . . . . . . . . . . 358
J.-H. Lim Categorizing Visual Contents by Matching
Visual ``Keywords'' . . . . . . . . . . 367
M. Katsumoto and
S.-I. Iisaku Design of the Presentation Language for
Distributed Hypermedia System . . . . . 375
H. Rehatschek and
H. Mueller A Generic Annotation Model for Video
Databases . . . . . . . . . . . . . . . 383
H. Yang and
H. Kim and
J. Yang Design and Implementation of COIRS (a
COncept-Based Image Retrieval System) 391
D. Sutanto and
C. H. C. Leung Automatic Index Expansion for
Concept-Based Image Query . . . . . . . 399
A. M. Tam and
C. H. C. Leung Structured High-Level Indexing of Visual
Data Content . . . . . . . . . . . . . . 409
M. Palhang and
A. Sowmya Feature Extraction: Issues, New
Features, and Symbolic Representation 418
S. Bres and
J.-M Jolion Detection of Interest Points for Image
Indexation . . . . . . . . . . . . . . . 427
R. Alferez and
Y.-F. Wang Highly Discriminative Invariant Features
for Image Matching . . . . . . . . . . . 435
X. Ding and
W. Kong and
C. Hu and
S. Ma Image Retrieval Using Schwarz
Representation of One-Dimensional
Feature . . . . . . . . . . . . . . . . 443
M. Do and
S. Ayer and
M. Vetterli Invariant Image Retrieval Using Wavelet
Maxima Moment . . . . . . . . . . . . . 451
D. Chetverikov Detecting Regular Structures for
Invariant Retrieval . . . . . . . . . . 459
N. Nes and
M. C. D'Ornellas Color Image Texture Indexing . . . . . . 467
S. M. Rahman and
G. C. Karmaker and
R. J. Bignall Improving Image Classification Using
Extended Run Length Features . . . . . . 475
B. A. M. Schouten and
P. M. De Zeeuw Feature Extraction Using Fractal Codes 483
T. Tuytelaars and
L. Van Gool Content-Based Image Retrieval Based on
Local Affinely Invariant Regions . . . . 493
L. Jia and
L. Kitchen A Framework for Object-Based Image
Retrieval at the Semantic Level . . . . 501
C. Carson and
M. Thomas and
S. Belongie and
J. M. Hellerstein Blobworld: A System for Region-Based
Image Indexing and Retrieval . . . . . . 509
B. A. Maxwell A Physics-Based Approach to Interactive
Segmentation . . . . . . . . . . . . . . 517
A. Dimai Assessment of Effectiveness of Content
Based Image Retrieval Systems . . . . . 525
R. Egas and
D. P. Huijsmans and
M. Lew and
N. Sebe Adapting $k$-$d$ Trees to Visual
Retrieval . . . . . . . . . . . . . . . 533
J. Laaksonen and
M. Koskela and
E. Oja Content-Based Image Retrieval Using
Self-Organizing Maps . . . . . . . . . . 541
D. Squire and
W. Mueller and
H. Mueller Relevance Feedback and Term Weighting
Schemes for Content-Based Image
Retrieval . . . . . . . . . . . . . . . 549
D. Y.-M. Chan and
I. King Genetic Algorithm for Weights Assignment
in Dissimilarity Function for Trademark
Retrieval . . . . . . . . . . . . . . . 557
F. Mokhtarian and
S. Abbasi Retrieval of Similar Shapes under Affine
Transform . . . . . . . . . . . . . . . 566
J. Vleugels and
R. Veltkamp Efficient Image Retrieval through
Vantage Objects . . . . . . . . . . . . 575
L. Schomaker and
E. De Leau and
L. Vuurpijl Using Pen-Based Outlines for
Object-Based Annotation and Image-Based
Queries . . . . . . . . . . . . . . . . 585
T. Gevers and
A. W. M. Smeulders Interactive Query Formulation for Object
Search . . . . . . . . . . . . . . . . . 593
L. Liu and
S. Sclaroff Automatic Deformable Shape Segmentation
for Image Database Search Applications 601
G. Iannizzotto and
L. Vita A Multiscale Turning Angle
Representation of Object Shapes for
Image Retrieval . . . . . . . . . . . . 609
L. J. Latecki and
R. Lakaemper Contour-Based Shape Similarity . . . . . 617
F. Banfi and
R. Ingold Computing Dissimilarity Between Hand
Drawn-Sketches and Digitized Images . . 625
K. Van Deemter Document Generation and Picture
Retrieval . . . . . . . . . . . . . . . 632
G. Van der Heijden and
G. Polder and
J. W. Van Eck FLORES: A JAVA Based Image Database for
Ornamentals . . . . . . . . . . . . . . 641
C. Saraceno and
M. Reiter and
P. Kammerer and
E. Zolda Pictorial Portrait Indexing Using
View-Based Eigen-Eyes . . . . . . . . . 649
S. H. Jeong and
J. D. Yang and
H. J. Yang and
J. H. Choi Image Retrieval Using Fuzzy Triples . . 657
S. Sahni and
B. C. Vemuri and
F. Chen and
C. Kapoor Variable-Bit-Length Coding: An Effective
Coding Method . . . . . . . . . . . . . 665
Z. Wang and
Z. Chi and
D. Deng and
Y. Yu Block-Constrained Fractal Coding Scheme
for Image Retrieval . . . . . . . . . . 673
F. Chen and
S. Sahni and
B. C. Vemuri Efficient Algorithms for Lossless
Compression of $2$D/$3$D Images . . . . 681
C. S. Pingali and
Y. Jean and
I. Carlbom Lucent Vision: A System for Enhanced
Sports Viewing . . . . . . . . . . . . . 689
R. Fraile and
S. J. Maybank Building $3$D Models of Vehicles for
Computer Vision . . . . . . . . . . . . 697
A. Biancardi and
V. Moccia Integrating Applications into
Interactive Virtual Environments . . . . 703
B. Huet and
E. R. Hancock Structural Sensitivity for Large-Scale
Line-Pattern Recognition . . . . . . . . 711
S. Bhonsle and
A. Gupta and
S. Santini and
M. Worring Complex Visual Activity Recognition
Using a Temporally Ordered Database . . 719
S. Santini and
M. Worring and
E. Hunter and
V. Kouznetsova Image Database Assisted Classification 727
U. Xu and
J. Wu and
S. Ma Visual Processing System for Facial
Prediction . . . . . . . . . . . . . . . 735
P. Androutsos and
H. E. Ruda and
A. N. Venetsanopoulos Semi-interactive Structure and Fault
Analysis of $ (111)7 x7 $ Silicon
Micrographs . . . . . . . . . . . . . . 745
R. Huele and
J. N. Ciano Using Wavelet Transforms to Match
Photographs of Individual Sperm Whales
Identified by Contour of the Trailing
Edge of the Fluke . . . . . . . . . . . 753
R. Stiefelhagen and
M. Finke and
J. Yang and
A. Waibel From Gaze to Focus of Attention . . . . 761
G. Frederix and
E. J. Pauwels Automatic Interpretation Based on Robust
Segmentation and Shape-Extraction . . . 769
S. C. Y. Chan and
P. H. Lewis A Pre-filter Enabling Fast Frontal Face
Detection . . . . . . . . . . . . . . . 777
C. Demetrescu and
I. Finocchi A Technique for Generating Graphical
Abstractions of Program Data Structures 785
R. Moreno and
R. E. Mayer Visual Presentations in Multimedia
Learning: Conditions that Overload
Visual Working Memory . . . . . . . . . 793
C. Shahabi and
A. E. Dashti and
C. Burns and
S. Ghandeharizadeh Visualization of Spatial Neuroanatomical
Data . . . . . . . . . . . . . . . . . . 801
M. C. Erie and
C. H. Chu and
R. D. Sidman Visualization of the Cortical Potential
Field by Medical Imaging Data Fusion . . 809
P. Janecek Applying Visualization Research Towards
Design . . . . . . . . . . . . . . . . . 817
G. Bell Supercomputing !D Looking Ahead . . . . 1
G. Lonsdale An Introduction to DRAMA Project . . . . 3
H. A. G. Wijshoff An Introduction to OCEANS Project . . . 5
J. Labarta An Introduction to NANOS Project . . . . 7
H. P. Zima An Introduction to HPF+ Project . . . . 9
P. F. Fluekiger and
S. Portmann and
H. P. Luethi Synchronous Communication of Molecular
and Electronic Structure Information in
a Distributed Computing Environment . . 11
T. Sato Profile-Based Selection of Load Value
and Address Predictors . . . . . . . . . 17
K. W. Cameron and
Y. Luo and
J. Scharzmeier Instruction-Level Microprocessor
Modeling of Scientific Applications . . 29
O. Hammami Neural Network Classifiers Execution on
Superscalar Microprocessors . . . . . . 41
Y. Kanoh and
M. Nakamura and
T. Hirose and
T. Hosomi Message Passing Communication in a
Parallel Computer Cenju-4 . . . . . . . 55
S. Ryan and
J. N. Amaral and
G. Gao and
Z. Ruiz Coping with very High Latencies in
Petaflop Computer Systems . . . . . . . 71
A. Cohen Parallelization via Constrained Storage
Mapping Optimization . . . . . . . . . . 83
K. Kusano and
M. Sato A Comparison of Automatic Parallelizing
Compiler and Improvements by Compiler
Directives . . . . . . . . . . . . . . . 95
M. Voss and
R. Eigenmann Dynamically Adaptive Parallel Programs 109
T. Kisuki and
P. M. W. Knijnenburg and
M. F. P. O'Boyle and
F. Bodin A Feasibility Study in Iterative
Compilation . . . . . . . . . . . . . . 121
H. Saito and
N. Stavrakos and
C. Polychronopoulos Multithreading Runtime Support for Loop
and Functional Parallelism . . . . . . . 133
A. Imparato and
M. Giordano and
M. M. Furnari Parallelization and Vectorization
Effects on a Code Simulating a Vitreous
Lattice Model with Constrained Dynamics 145
F. Xiao and
T. Ebisuzaki Multi-phase Hydrodynamic Simulations on
Parallel Computer . . . . . . . . . . . 157
F. Munz and
T. Ludwig and
S. Ziegler and
P. Bartenstein Kinetic Analysis of Functional Images:
The Case for a Practical Approach to
Performance Prediction . . . . . . . . . 169
A. Uejima and
K. Yamazaki Parallel Radiosity: Evaluation of
Parallel Form Factor Calculations and a
Static Load Balancing Algorithm . . . . 181
M. Miki and
T. Hiroyasu and
T. Ikeda Parallel Distributed Optimization by
Resource Addition and Reduction . . . . 194
O. Schenk and
K. Gaertner and
W. Fichtner Application of Parallel Sparse Direct
Methods in Semiconductor Device and
Process Simulation . . . . . . . . . . . 206
Y. Akiyama and
K. Onizuka and
T. Noguchi and
M. Ando Biological- and Chemical-Parallel
Applications on a PC Cluster . . . . . . 220
A. Chowdhury and
O. Frieder Unnoticeable Jitter in ATM Workstation
Configurations . . . . . . . . . . . . . 234
H. Gobioff and
D. Nagle and
G. Gibson Integrity and Performance in Network
Attached Storage . . . . . . . . . . . . 244
C. Kyriacou and
S. Evripidou Network Interface for a Data Driven
Network of Workstations (D02NOW) . . . . 257
M. Yokokawa and
S. Habata and
S. Kawai and
H. Ito Basic Design of the Earth Simulator . . 269
Y. Tanaka and
N. Goto and
M. Kakei and
T. Inoue Parallel Computational Design of NJR
Global Climate Models . . . . . . . . . 281
M. Iizuka and
H. Nakamura and
K. Garatani and
K. Nkajima GeoFEM: High-Performance Parallel FEM
for Geophysical Applications . . . . . . 292
A. Harwood and
H. Shen Generalized Networks . . . . . . . . . . 304
M. Giordano and
M. M. Furnari HTGviz: A Graphics Tool for the
Synthesis of Automatic and User-Driven
Program Parallelization in the
Compilation Process . . . . . . . . . . 312
Z. Nemeth and
H. Tomiyasu and
P. Kacsuk and
M. Amamiya Multithreaded LOGFLOW on KUMP\slash D 320
H. Jin and
J. He and
Q. Chen and
K. Hwang Grouped RAID Accesses to Reduce False
Sharing Effect in Cluster with Single
I/O Space . . . . . . . . . . . . . . . 328
T. Oshitani and
T. Watanabe Parallel Map Recognition by Pipeline
Control . . . . . . . . . . . . . . . . 336
K. Moriya and
T. Nodera Parallelization of ILU Decomposition for
Elliptic Boundary Value Problem of the
PDE on AP3000 . . . . . . . . . . . . . 344
T.-S. Chen Task Migration in $2$D Wormhole-Routed
Mesh Multicomputers . . . . . . . . . . 354
S. Furuyama and
T. Matsuzawa A Suitable Domain Decomposition for the
Adaptive Mesh Refinement Method . . . . 363
H. Oi and
N. Ranganathan Utilization of Cache Area in On-Chip
Multiprocessor . . . . . . . . . . . . . 373
N. Stankovic and
K. Zhang A Parallel Programming Environment for
Networks . . . . . . . . . . . . . . . . 381
T. Urata and
H. Nishikawa Emulation Facility for Data-Driven
Real-Time Multi-processing . . . . . . . 391
C. Y. Park and
J.-M. Gil and
Y.-H. Han and
C.-S. Hwang Failure Restoration for Location Server
with User Movement Learning and
Prediction . . . . . . . . . . . . . . . 399
John A. Stankovic Reflection in Real-Time Systems . . . . 1
Ian Welch and
Robert Stroud From Dalang to Kava --- the Evolution of
a Reflective Java Extension . . . . . . 2
Michael Golm and
Jürgen Kleinöder Jumping to the Meta Level: Behavioral
Reflection Can Be Fast and Flexible . . 22
H. Moessenboek and
C. Steindl The Oberon-2 Reflection Model and Its
Applications . . . . . . . . . . . . . . 40
Hanspeter Mössenböck and
Christoph Steindl The Oberon-2 Reflection Model and Its
Applications . . . . . . . . . . . . . . 40
Stéphane Demphlous and
Franck Lebastard Designing Persistence Libraries in
Reflective Models with Intercession
Property for a Client-Server Environment 54
Bert Robben and
Bart Vanhaute and
Wouter Joosen and
Pierre Verbaeten Non-functional Policies . . . . . . . . 74
Jean-Bernard Stefani On the Reflective Structure of
Information Networks . . . . . . . . . . 93
Wayne Robbins and
Nicolas D. Georganas Reflective Media Space Management Using
RASCAL . . . . . . . . . . . . . . . . . 95
Gordon S. Blair and
Fábio Costa and
Geoff Coulson and
Fabien Delpiano and
Hector Duran and
Bruno Dumant and
François Horn and
Nikos Parlavantzas and
Jean-Bernard Stefani The Design of a Resource-Aware
Reflective Middleware Architecture . . . 115
Inge M. C. Lemmens and
Peter J. Braspenning A Formal Analysis of Smithsonian
Computational Reflection . . . . . . . . 135
Noriki Amano and
Takuo Watanabe Reflection for Dynamic Adaptability: A
Linguistic Approach Using LEAD++ . . . . 138
Frank Matthijs and
Peter Kenens and
Wouter Joosen and
Pierre Verbaeten Networking and Reflection: A Strong
Combination . . . . . . . . . . . . . . 141
Petr Tuma and
Valerie Issarny and
Apostolos Zarras Towards Systematic Synthesis of
Reflective Middleware . . . . . . . . . 144
Renaud Pawlak and
Laurence Duchien and
Gérard Florin An Automatic Aspect Weaver with a
Reflective Programming Language . . . . 147
Marc-Olivier Killijian and
Juan-Carlos Ruiz-Garcia and
Jean-Charles Fabre Using Compile-Time Reflection for
Objects'State Capture . . . . . . . . . 150
Yasuhiko Yokote Past, Present, and Future of Aperios . . 153
Kenneth R. Anderson and
Timothy J. Hickey Reflecting Java into Scheme . . . . . . 154
Murat Karaorman and
Urs Hölzle and
John Bruno jContractor: A Reflective Java Library
to Support Design by Contract . . . . . 175
Thomas Ledoux OpenCorba: A Reflective Open Broker . . 197
Yukihiko Sohda and
Hirotaka Ogawa and
Satoshi Matsuoka OMPC++ --- A Portable High-Performance
Implementation of DSM using OpenC++
Reflection . . . . . . . . . . . . . . . 215
Tristan Cazenave Metaprogramming Domain Specific
Metaprograms . . . . . . . . . . . . . . 235
K. De Volder and
T. D'Hondt Aspect-Oriented Logic Meta Programming 250
Kris De Volder and
Theo D'Hondt Aspect-Oriented Logic Meta Programming 250
Anonymous Author Index . . . . . . . . . . . . . . 273
R. E. Bryant Microprocessor Verification Using
Efficient Decision Procedures for a
Logic of Equality with Uninterpreted
Functions . . . . . . . . . . . . . . . 1
F. Massacci Design and Results of the Tableaux-99
Non-classical (Modal) Systems Comparison 14
P. F. Patel-Schneider and
I. Horrocks DLP and FaCT . . . . . . . . . . . . . . 19
V. Haarslev and
R. Moeller Applying an ALC ABox Consistency Tester
to Modal Logic SAT Problems . . . . . . 24
V. Boyapati and
R. Gore KtSeqC: System Description . . . . . . . 29
F. Massacci Automated Reasoning and the Verification
of Security Protocols . . . . . . . . . 32
R. Haehnle and
B. Beckert Proof Confluent Tableau Calculi . . . . 34
M. Baaz and
C. G. Femueller Analytic Calculi for Projective Logics 36
P. Baumgartner and
J. D. Horton and
B. Spencer Merge Path Improvements for Minimal
Model Hyper Tableaux . . . . . . . . . . 51
K. Broda and
D. Gabbay CLDS for Propositional Intuitionistic
Logic . . . . . . . . . . . . . . . . . 66
J. Caldwell Intuitionisitic Tableau Extracted . . . 82
D. Cantone and
C. G. Zarba A Tableau-Based Decision Procedure for a
Fragment of Set Theory Involving a
Restricted Form of Quantification . . . 97
A. Ciabattoni Bounded Contraction in Systems with
Linearity . . . . . . . . . . . . . . . 113
P. De Groote The Non-associative Lambek Calculus with
Product in Polynomial Time . . . . . . . 128
S. Demri Sequent Calculi for Nominal Tense
Logics: A Step Towards Mechanization? 140
S. Demri and
R. Gore Cut-Free Display Calculi for Nominal
Tense Logics . . . . . . . . . . . . . . 155
M. Giese and
W. Ahrendt Hilbert's Epsilon-Terms in Automated
Theorem Proving . . . . . . . . . . . . 171
P. C. Gilmore Partial Functions in an Impredicative
Simple Theory of Types . . . . . . . . . 186
J. Goubault-Larrecq A Simple Sequent System for First-Order
Logic with Free Constructors . . . . . . 202
H. Mantel and
J. Otten linTAP: A Tableau Prover for Linear
Logic . . . . . . . . . . . . . . . . . 217
W. May A Tableau Calculus for a Temporal Logic
with Temporal Connectives . . . . . . . 232
C. Monz and
M. De Rijke A Tableaux Calculus for Pronoun
Resolution . . . . . . . . . . . . . . . 247
H. Schuetz Generating Minimal Herbrand Models Step
by Step . . . . . . . . . . . . . . . . 263
M. Tzakova Tableau Calculi for Hybrid Logics . . . 278
C.-P. Wirth Full First-Order Free Variable Sequents
and Tableaux in Implicit Induction . . . 293
U. Endriss An Interactive Theorem Proving Assistant 308
U. Endriss A Time Efficient KE Based Theorem Prover 313
A. Wolf and
J. Draeger Strategy Parallel Use of Model
Elimination with Lemmata --- System
Abstract . . . . . . . . . . . . . . . . 319
J. Bezivin and
P.-A Muller UML: The Birth and Rise of a Standard
Modeling Notation . . . . . . . . . . . 1
M. Hitz and
G. Kappel Developing with UML --- Some Pitfalls
and Workarounds . . . . . . . . . . . . 9
C. Atkinson Supporting and Applying the UML
Conceptual Framework . . . . . . . . . . 21
B. Morand Modeling: Is it Turning Informal into
Formal? . . . . . . . . . . . . . . . . 37
F. Arnold and
G. Podehl Best of Both Worlds --- A Mapping from
EXPRESS-G to UML . . . . . . . . . . . . 49
A. Olive and
M.-R Sancho Porting ROSES to UML --- An Experience
Report . . . . . . . . . . . . . . . . . 64
J. Suzuki and
Y. Yamamoto Making I. UML Models Interoperable with
UXF . . . . . . . . . . . . . . . . . . 78
M. Gogolla and
M. Richters Transformation Rules for UML Class
Diagrams . . . . . . . . . . . . . . . . 92
K. Lano and
J. Bicarregui Semantics and Transformations for UML
Models . . . . . . . . . . . . . . . . . 107
P. Desfray Automation of Design Pattern: Concepts,
Tools and Practices . . . . . . . . . . 120
I. Khriss and
M. Elkoutbi and
R. K. Keller Automating the Synthesis of UML
StateChart Diagrams from Multiple
Collaboration Diagrams . . . . . . . . . 132
A. Kleppe and
J. Warmer and
S. Cook Informal Formality? The Object
Constraint Language and Its Application
in the UML Metamodel . . . . . . . . . . 148
A. Hamie and
F. Civello and
J. Howse and
S. Kent Reflections on the Object Constraint
Language . . . . . . . . . . . . . . . . 162
Y. Ou On Using UML Class Diagrams for
Object-Oriented Database Design
Specification of Integrity Constraints 173
J. Arlow and
W. Emmerich and
J. Quinn Literate Modelling --- Capturing
Business Knowledge with the UML . . . . 189
M. Mancona Kande and
S. Mazaher and
O. Prnjat and
L. Sacks Applying UML to Design an Inter-domain
Service Management Application . . . . . 200
A. Korthaus and
S. Kuhlins BOOSTER*Process: A Software Development
Process Model Integrating Business
Object Technology and UML . . . . . . . 215
E. Bourdeau and
P. Lugagne and
P. Roques Hierarchical Context Diagram with UML:
An Experience Report on Satellite Ground
System Analysis . . . . . . . . . . . . 227
J. Seeman and
J. Wolff v. Gudenberg Extension of UML Sequence Diagrams for
Real-Time Systems . . . . . . . . . . . 240
S. Kovacevic UML and User Interface Modeling . . . . 253
B. Paech On the Role of Activity Diagrams in UML
--- A User Task Centered Development
Process for UML . . . . . . . . . . . . 267
P. Hruby Structuring UML Design Deliverables . . 278
K. Kivisto Considerations of and Suggestions for a
UML-Specific Process Model . . . . . . . 294
S. J. Mellor and
S. R. Tockey and
R. Arthaud and
P. Leblanc An Action Language for UML: Proposal for
a Precise Execution Semantics . . . . . 307
A. Lanusse and
S. Gerard and
F. Terrier Real-Time Modeling with UML: The ACCORD
Approach . . . . . . . . . . . . . . . . 319
A. Evans and
R. France and
K. Lano and
B. Rumpe The UML as a Formal Modeling Notation 336
B. Henderson-Sellers OML: Proposals to Enhance UML . . . . . 349
J.-M. Jezequel and
A. Le Guennec and
F. Pennaneac'h Validating Distributed Software Modeled
with the Unified Modeling Language . . . 365
T. Mens and
C. Lucas and
P. Steyaert Supporting Disciplined Reuse and
Evolution of UML Models . . . . . . . . 378
N. G. Lester and
F. G. Wilkie and
D. W. Bustard Applying UML Extensions to Facilitate
Software Reuse . . . . . . . . . . . . . 393
G. Oevergaard and
K. Palmkvist A Formal Approach to Use Cases and Their
Relationships . . . . . . . . . . . . . 406
P. Allen A Practical Framework for Applying UML 419
M. Saksena and
M. M. Larrondo-Petrie and
R. B. France and
M. P. Evett Extending Aggregation Constructs in UML 434
R. L. Milidiu and
A. A. Pessoa and
E. S. Laber Efficient implementation of the WARM-UP
algorithm for the construction of
length-restricted prefix codes . . . . . 1--17
M. Mueller-Hannemann and
A. Schwartz Implementing weighted $b$-matching
algorithms: Insights from a
computational study . . . . . . . . . . 18--36
D. R. Helman and
J. Jaja Designing practical efficient algorithms
for symmetric multiprocessors . . . . . 37--56
J. M. Six and
I. G. Tollis Circular drawings of biconnected graphs 57--73
M. Stallmann and
F. Brglez and
D. Gosh Heuristics and experimental design for
bigraph crossing number minimization . . 74--93
D. M. Mount and
F.-T. Pu Binary space partitions in Pluecker
space . . . . . . . . . . . . . . . . . 94--113
R. J. Walker and
J. Snoeyink Practical point-in-polygon tests using
CSG representations of polygons . . . . 114--123
M. T. Goodrich and
M. Handy and
B. Hudson and
R. Tamassia Accessing the internal organization of
data structures in the JDSL library . . 124--139
M. Pizzonia and
G. Di Battista Object-Oriented design of graph oriented
data structures . . . . . . . . . . . . 140--155
S. Schirra A case study on the cost of geometric
computing . . . . . . . . . . . . . . . 156--176
A. E. Caldwell and
A. B. Kahng and
I. L. Markov Design and implementation of the
Fiduccia-Mattheyses heuristic for VLSI
netlist partitioning . . . . . . . . . . 177--193
S. Cwilich and
M. Deng and
D. F. Lynch and
S. J. Phillips Algorithms for restoration planning in a
telecommunications network . . . . . . . 194--209
T. Shibuya Computing the $ n \times m $ shortest
paths efficiently . . . . . . . . . . . 210--225
G. L. Heileman and
C. E. Pizano and
C. T. Abdallah Image watermarking for copyright
protections . . . . . . . . . . . . . . 226--245
J. Csirik and
D. S. Johnson and
C. Kenyon and
P. W. Shor A self organizing bin packing heuristic 246--265
M. S. Levine Finding the right cutting planes for the
TSP . . . . . . . . . . . . . . . . . . 266--281
M. Zachariasen and
P. Winter Obstacle-avoiding Euclidean Steiner
Trees in the plane: An exact algorithm 282--295
A. Acharya and
H. Zhu and
K. Shen Adaptive algorithms for cache-efficient
trie search . . . . . . . . . . . . . . 296--311
P. Sanders Fast priority queues for cached memory 312--327
L. Arge and
K. H. Hinrichs and
J. Vahrenhold and
J. S. Vitter Efficient bulk operations on dynamic
$R$-trees . . . . . . . . . . . . . . . 328--348
Gianpaolo Molino From Clinical Guidelines to Decision
Support . . . . . . . . . . . . . . . . 3
M. Stefanelli Artificial Intelligence for Building
Learning Health Care Organizations . . . 13
Yuval Shahar Timing Is Everything: Temporal Reasoning
and Temporal Data Maintenance in
Medicine . . . . . . . . . . . . . . . . 30
Nada Lavrac Machine Learning for Data Mining in
Medicine . . . . . . . . . . . . . . . . 47
S. Quaglini and
C. Mossa and
C. Fassino and
M. Stefanelli and
A. Cavallini and
G. Micieli Guidelines-Based Workflow Systems . . . 65
Brigitte Séroussi and
Jacques Bouaud and
Éric-Charles Antoine Enhancing Clinical Practice Guideline
Compliance by Involving Physicians in
the Decision Process . . . . . . . . . . 76
C. Sauvagnac and
J. Stines and
A. Lesur and
P. Falzon and
P. Bey Application of Therapeutic Protocols: A
Tool to Manage Medical Knowledge . . . . 86
Benedict du Boulay and
Briony Teather and
George du Boulay and
Nathan Jeffrey and
Derek Teather and
Mike Sharples and
Lisa Cuthbert From Description to Decision: Towards a
Decision Support Training System for MR
Radiology of the Brain . . . . . . . . . 93
B. Du Boulay and
B. Teather and
G. Du Boulay and
N. Jeffrey From Description to Decision: Towards a
Decision Support Training System for MR
Radiology of the Brain . . . . . . . . . 93
H. P. Eich and
C. Ohmann Internet-Based Decision-Support Server
for Acute Abdominal Pain . . . . . . . . 103
Stefania Montani and
Riccardo Bellazzi and
Luigi Portinale and
Alberto Riva and
Mario Stefanelli Multi-modal Reasoning in Diabetic
Patient Management . . . . . . . . . . . 113
Rainer Schmidt and
Bernhard Pollwein and
Lothar Gierl Experiences with Case-Based Reasoning
Methods and Prototypes for Medical
Knowledge-Based Systems . . . . . . . . 124
Samir Aknine Exploiting Social Reasoning of Open
Multi-agent Systems to Enhance
Cooperation in Hospitals . . . . . . . . 133
Concha Bielza and
Sixto Ríos-Insua and
Manuel Gómez Influence Diagrams for Neonatal Jaundice
Management . . . . . . . . . . . . . . . 138
I. R. Clark and
B. A. McCauley and
I. M. Young and
P. G. Nightingale and
M. Peters and
N. T. Richards and
D. Adu Electronic Drug Prescribing and
Administration --- Bedside Medical
Decision Making . . . . . . . . . . . . 143
Werner Horn and
Christian Popow and
Christoph Stocker and
Silvia Miksch Neonatal Ventilation Tutor (VIE-NVT), a
Teaching Program for the Mechanical
Ventilation of Newborn Infants . . . . . 148
Ying-Lie O A Life-Cycle Based Authorisation Expert
Database System . . . . . . . . . . . . 153--157
Mauro Torchio and
Stefania Battista and
Fabrizio Bar and
Cristina Pollet and
Marina Marzuoli and
Maria Cesira Bucchi and
Roberto Pagni and
Gianpaolo Molino A Decision-Support System for the
Identification, Staging, and Functional
Evaluation of Liver Diseases (HEPASCORE) 158
G. Carrault and
M.-O. Cordier and
René Quiniou and
M. Garreau and
J. J. Bellanger and
A. Bardou A Model-Based Approach for Learning to
Identify Cardiac Arrhythmias . . . . . . 165
Peter Lucas and
Astrid Tholen and
Geeske van Oort An Model-Based System for Pacemaker
Reprogramming . . . . . . . . . . . . . 175
Jorge Cruz and
Pedro Barahona and
Frédéric Benhamou Integrating Deep Biomedical Models into
Medical Decision Support Systems: An
Interval Constraint Approach . . . . . . 185
Steen Andreassen and
Leonard Leibovici and
Henrik C. Schònheyder and
Brian Kristensen and
Christian Riekehr and
Anders Geill Kjær and
Kristian G. Olesen A Decision Theoretic Approach to
Empirical Treatment of Bacteraemia
Originating from the Urinary Tract . . . 197
E. A. Fernandez and
J. Presedo and
S. Barro An ECG Ischemic Detection System Based
on Self-Organizing Maps and a Sigmoid
Function Pre-processing Stage . . . . . 207
Martti Juhola and
Jorma Laurikkala and
Kati Viikki and
Yrjö Auramo and
Erna Kentala and
Ilmari Pyykkö Neural Network Recognition of
Otoneurological Vertigo Diseases with
Comparison of Some Other Classification
Methods . . . . . . . . . . . . . . . . 217
Georg Dorffner and
Ernst Leitgeb and
Heinz Koller A Comparison of Linear and Non-linear
Classifiers for the Detection of
Coronary Artery Disease in Stress-ECG 227
Wayne Goodridge and
Hadrian Peter and
Akin Abayomi The Case-Based Neural Network Model and
Its Use in Medical Expert Systems . . . 232
Domenico M. Pisanelli and
Aldo Gangemi and
Geri Steve A Medical Ontology Library That
Integrates the UMLS Metathesaurus\TM . . 239
Soumeya Achour and
Michel Dojat and
Jean-Marc Brethon and
Gil Blain and
Eric Lepage The Use of the UMLS Knowledge Sources
for the Design of a Domain Specific
Ontology: A Practical Experience in
Blood Transfusion . . . . . . . . . . . 249
Paolo Terenziani and
Paolo Raviola and
Oscar Bruschi and
Mauro Torchio and
Marina Marzuoli and
Gianpaolo Molino Representing Knowledge Levels in
Clinical Guidelines . . . . . . . . . . 254
R. Bellazzi and
C. Larizza and
P. Magni and
S. Montani and
G. De Nicolao Intelligent Analysis of Clinical Time
Series by Combining Structural Filtering
and Temporal Abstractions . . . . . . . 261
Jim Hunter and
Neil McIntosh Knowledge-Based Event Detection in
Complex Time Series Data . . . . . . . . 271
Silvia Miksch and
Andreas Seyfang and
Werner Horn and
Christian Popow Abstracting Steady Qualitative
Descriptions over Time from Noisy,
High-Frequency Data . . . . . . . . . . 281
Robert Kosara and
Silvia Miksch Visualization Techniques for
Time-Oriented, Skeletal Plans in Medical
Therapy Planning . . . . . . . . . . . . 291
Carlo Combi and
Luisa Portoni and
Francesco Pinciroli Visualizing Temporal Clinical Data on
the WWW . . . . . . . . . . . . . . . . 301
Matjaz Kukar and
Ciril Groselj Machine Learning in Stepwise Diagnostic
Process . . . . . . . . . . . . . . . . 315
Subramani Mani and
Malcolm B. Dick and
Michael J. Pazzani and
Evelyn L. Teng and
Daniel Kempler and
I. Maribell Taussig Refinement of Neuro-psychological Tests
for Dementia Screening in a Cross
Cultural Population Using Machine
Learning . . . . . . . . . . . . . . . . 326
A. McQuatt and
P. J. D. Andrews and
D. Sleeman and
V. Corruble and
P. A. Jones The Analysis of Head Injury Data Using
Decision Tree Techniques . . . . . . . . 336
Blaz Zupan and
Janez Demsar and
Michael W. Kattan and
J. Robert Beck and
I. Bratko Machine Learning for Survival Analysis:
A Case Study on Recurrence of Prostate
Cancer . . . . . . . . . . . . . . . . . 346
Daniel Calvelo and
Marie-C. Chambrin and
Denis Pomorski and
Pierre Ravaux ICU Patient State Characterization Using
Machine Learning in a Time Series
Framework . . . . . . . . . . . . . . . 356
Dragan Gamberger and
Nada Lavrac and
Ciril Groselj Diagnostic Rules of Increased
Reliability for Critical Medical
Applications . . . . . . . . . . . . . . 361
Basilio Sierra and
Nicolás Serrano and
Pedro Larrañaga and
Eliseo J. Plasencia and
Iñaki Inza and
Juan José Jiménez and
Jose María De la Rosa and
María Luisa Mora Machine Learning Inspired Approaches to
Combine Standard Medical Measures at an
Intensive Care Unit . . . . . . . . . . 366
Ping Wu and
Kok Liang Heng and
Shuo Wang Yang and
Yi Feng Chen and
Ravuru Subramanyam Mohan and
Peter Huat Chye Lim A Screening Technique for Prostate
Cancer by Hair Chemical Analysis and
Artificial Intelligence . . . . . . . . 372
Alison Cawsey and
Floriana Grasso and
Ray Jones A Conversational Model for Health
Promotion on the World Wide Web . . . . 379
Ehud Reiter and
Roma Robertson and
Liesl Osman Types of Knowledge Required to
Personalise Smoking Cessation Letters 389--399
Martin Romacker and
Stefan Schulz and
Udo Hahn Small Is Beautiful --- Compact Semantics
for Medical Language Processing . . . . 400
D. J. Barker and
S. C. Lynch and
D. S. Simpson and
W. A. Corbett Speech Driven Natural Language
Understanding for Hands-Busy Recording
of Clinical Information . . . . . . . . 411
Pierre Zweigenbaum and
Natalia Grabar Automatic Acquisition of Morphological
Knowledge for Medical Language
Processing . . . . . . . . . . . . . . . 416
Laurence Germond and
Michel Dojat and
Chris Taylor and
Catherine Garbay A Multi-agent System for MRI Brain
Segmentation . . . . . . . . . . . . . . 423
Gabriella Kókai and
Zoltán Tóth and
Róbert Ványi Modelling Blood Vessels of the Eye with
Parametric $L$-Systems Using
Evolutionary Algorithms . . . . . . . . 433
Peter Hammond and
Paul Wells and
Sanjay Modgil Animating Medical and Safety Knowledge 443
Tim J. Hutton and
Peter Hammond and
John C. Davenport Active Shape Models for Customised
Prosthesis Design . . . . . . . . . . . 448
D. E. O'Leary Reengineering and Knowledge Management 1
M. P. Papazoglou and
J. Hoppenbrouwers Knowledge Navigation in Networked
Digital Libraries . . . . . . . . . . . 13
V. R. Benjamins and
B. Wielinga and
J. Wielemaker and
D. Fensel Towards Brokering Problem-Solving
Knowledge on the Internet . . . . . . . 33
B. Biebow and
S. Szulman Terminae: A Linguistics-Based Tool for
the Building of a Domain Ontology . . . 49
A. Birk and
D. Surmann and
K.-D. Althoff Applications of Knowledge Acquisition in
Experimental Software Engineering . . . 67
L. Crow and
N. Shadbolt Acquiring and Structuring Web Content
with Knowledge Level Models . . . . . . 85
J. Domingue and
E. Motta A Knowledge-Based News Server Supporting
Ontology-Driven Story Enrichment and
Knowledge Retrieval . . . . . . . . . . 103
F. Goasdoue and
C. Reynaud Modeling Information Sources for
Information Integration . . . . . . . . 121
A. Gomez-Perez and
D. Rojas-Amaya Ontological Reengineering for Reuse . . 139
P. Groot and
A. Ten Teije and
F. Van Harmelen Formally Verifying Dynamic Properties of
Knowledge Based Systems . . . . . . . . 157
D. E. Herlea and
C. M. Jonker and
J. Treur and
N. J. E. Wijngaards Integration of Behavioural Requirements
Specification within Knowledge
Engineering . . . . . . . . . . . . . . 173
B. Hoefling and
T. Liebig and
D. Roesner and
L. Webel Towards an Ontology for Substances and
Related Actions . . . . . . . . . . . . 191
Y. Kalfoglou and
D. Robertson Use of Formal Ontologies to Support
Error Checking in Specifications . . . . 207
M. Oussalah and
K. Messaadia The Ontologies of Semantic and Transfer
Links . . . . . . . . . . . . . . . . . 225
T. Parmentier and
D. Ziebelin Distributed Problem Solving Environment
Dedicated to DNA Sequence Annotation . . 243
S. Puuronen and
V. Terziyan Knowledge Acquisition from Multiple
Experts Based on Semantics of Concepts 259
G. Stumme Acquiring Expert Knowledge for the
Design of Conceptual Information Systems 275
S. White and
D. Sleeman A Constraint-Based Approach to the
Description of Competence . . . . . . . 291
G. Beydoun and
A. Hoffmann Holism and Incremental Knowledge
Acquisition . . . . . . . . . . . . . . 309
J. Breuker Indexing Problem Solving Methods for
Reuse . . . . . . . . . . . . . . . . . 315
O. Cairo and
J. Barreiro and
F. Solsona Software Methodologies at Risk . . . . . 323
D. Faure and
C. Nedellec Knowledge Acquisition of Predicate
Argument Structures from Technical Texts
Using Machine Learning: The System ASIUM 329
N. Izumi and
A. Maruyama and
A. Suzuki and
T. Yamaguchi An Interoperative Environment for
Developing Expert Systems . . . . . . . 335
M. G. Jansen and
P. Beys On the Use of Meaningful Names in
Knowledge-Based Systems . . . . . . . . 341
R. Martinez-Bejar and
F. Ibañez-Cruz and
L.-G. Thong and
T. M. Cao FMR: An Incremental Knowledge
Acquisition System for Fuzzy Domains . . 349
P. Parpola Applying SeSKA to Sisyphus III . . . . . 355
R. Perkuhn Describing Similar Control Flows for
Families of Problem-Solving Methods . . 361
F. Puppe Meta Knowledge for Extending Diagnostic
Consultation to Critiquing Systems . . . 367
A. Rabarijoana and
R. Dieng and
O. Corby Exploitation of XML for Corporate
Knowledge Management . . . . . . . . . . 373
F. Schmalhofer and
L. Van Elst An Oligo-Agents System with Shared
Responsibilities for Knowledge
Management . . . . . . . . . . . . . . . 379
F. Sellini and
P.-A. Yvars Veri-KoMoD: Verification of Knowledge
Models in the Mechanical Design Field 385
H. Stuckenschmidt and
K. C. Ranze A Flexible Framework for Uncertain
Expertise . . . . . . . . . . . . . . . 391
R. P. Wolf Elicitation of Operational Track Grids 397
M. G. Harbour and
J. A. De la Puente Reliable Software Technologies
Ada-Europe '99 . . . . . . . . . . . . . i--xiii, 1--449
R. F. Albrecht Topological Theory of Fuzziness . . . . 1
S. Kovacs Similarity Based System Reconfiguration
by Fuzzy Classification and Hierarchical
Interpolate Fuzzy Reasoning . . . . . . 12
J. F. Skinner and
Y. M. Garibaldi and
E. C. Ifeachor A Fuzzy System for Fetal Heart Rate
Assessment . . . . . . . . . . . . . . . 20
N. Drechsler and
W. Guenther and
R. Drechsler Efficient Graph Coloring by Evolutionary
Algorithms . . . . . . . . . . . . . . . 30
A. Takahashi and
A. Borisov Determination of Decision Rules on the
Basis of Genetic Algorithms . . . . . . 40
R. Habtom Modeling a Refrigeration System Using
Recurrent Neural Networks . . . . . . . 47
Y. Tan and
P. Fang and
Y. Zhang and
S. Yang Evaluating Nugget Sizes of Spot Welds by
Using Artificial Neural Network . . . . 53
T. Kohonen Spotting Relevant Information in
Extremely Large Document Collections . . 59
I. Borgulya Fuzzy Controller Generation with a Fuzzy
Classification Method . . . . . . . . . 62
F. Fernandez and
J. Gutierrez Transformation and Optimization of Fuzzy
Controllers Using Signal Processing
Techniques . . . . . . . . . . . . . . . 75
K.-D. Kramer and
J. Kirschner and
S. Woehlbier Fuzzy-Control Design Tool for Low-Cost
Microcontrollers (FHFC-Tool) . . . . . . 88
J. Lacan and
P. Chatonnay Search of Optimal Error Correcting Codes
with Genetic Algorithms . . . . . . . . 93
K. Imai and
N. Kamiura and
Y. Hata An Unsupervised Clustering with
Evolutionary Strategy to Estimate the
Cluster Number . . . . . . . . . . . . . 99
N. Drechsler and
R. Drechsler and
B. Becker Multi-objective Optimization in
Evolutionary Algorithms Using
Satisfiability Classes . . . . . . . . . 108
J. Martyna Neural Network Approach to Design of
Distributed Hard Real-Time Systems . . . 118
C. Ungerer and
D. Stuebener and
C. Kirchmair and
M. Sturm Supporting Traditional Controller of
Combustion Engines by Means of Neural
Networks . . . . . . . . . . . . . . . . 132
M. Bongards Controlling Biological Wastewater
Treatment Plants Using Fuzzy Control and
Neural Networks . . . . . . . . . . . . 142
M. B. Menhaj and
F. Razzazi A New Fuzzy Character Segmentation
Algorithm for Persian \slash Arabic
Typed Texts . . . . . . . . . . . . . . 151
A. Canuto and
G. Howells and
M. Fairhurst RePART: A Modified Fuzzy ARTMAP for
Pattern Recognition . . . . . . . . . . 159
F. Farbiz and
M. B. Menhaj and
S. A. Motamedi An Adaptive $ {C} $-Average Fuzzy
Control Filter for Image Enhancement . . 169
A. F. Gomez-Skarmeta and
F. Jimenez and
J. Ibañez Pareto-optimality in Scheduling Problems 177
Y. Cao and
L. Cao Controlled Markov Chain Optimization of
Genetic Algorithms . . . . . . . . . . . 186
C. Cotta and
J. M. Troya Tackling Epistatic Problems Using
Dynastically Optimal Recombination . . . 197
N. Kopco and
P. Sincak and
H. Veregin Extended Methods for Classification of
Remotely Sensed Images Based on ARTMAP
Neural Networks . . . . . . . . . . . . 206
P. Brandstetter and
M. Skotnica Application of Artificial Neural Network
in Control of Vector Pulse-Width
Modulation Inverter . . . . . . . . . . 220
E. D. Schmitter Modeling Multiple Microstructure
Transformations in Steels with a
Boltzmann Neural Net . . . . . . . . . . 225
K. De Jong Evolutionary Computation: Where We Are
and where We're Headed . . . . . . . . . 230
M. Ivanescu and
V. Stoian Fuzzy Controllers by Unconventional
Technologies for Tentacle Arms . . . . . 232
M. Bonkovic and
D. Stipanicev and
M. Stula Control of Robot Arm Approach by Fuzzy
Pattern Comparison Technique . . . . . . 246
N. Varachiu A Fuzzy Shapes Characterization for
Robotics . . . . . . . . . . . . . . . . 253
G. Attolico and
A. Itta and
G. Cicirelli and
T. D'Orazio ART-based Automatic Generation of
Membership Functions for Fuzzy
Controllers in Robotics . . . . . . . . 259
G. Trajkovski and
B. Cukic On Two Types of L0M Fuzzy Lattices . . . 272
R. Mesiar Generated Connectives in Many Valued
Logic . . . . . . . . . . . . . . . . . 282
M. Baczynski and
J. Drewniak Conjugacy Classes of Fuzzy Implications 287
M. Baczynski Characterization of Dienes Implication 299
I. N. Aizenberg Neural Networks Based on Multi-valued
and Universal Binary Neurons: Theory,
Application to Image Processing and
Recognition . . . . . . . . . . . . . . 306
A. Shabani and
M. B. Menhaj and
H. B. Tabrizi Modeling of Thermal Two Dimensional Free
Turbulent Jet by a Three Layer Two Time
Scale Cellular Neural Network . . . . . 317
V. Neagoe and
M. Valcu and
B. Sabac A Neural Approach for Detection of Road
Direction in Autonomous Navigation . . . 324
V. Neagoe and
I. Fratila A Neural Segmentation of Multispectral
Satellite Images . . . . . . . . . . . . 334
Y. J. Cao and
N. Ireson and
L. Bull and
R. Miles Design of a Traffic Junction Controller
Using Classifier System and Fuzzy Logic 342
J. Niittymaeki Using Fuzzy Logic to Control Traffic
Signals at Multi-phase Intersections . . 354
W. Gharieb Fuzzy Control to Non-minimal Phase
Processes . . . . . . . . . . . . . . . 363
K. R. S. Kodagoda and
W. S. Wijesoma and
E. K. Teoh Robust Un-coupled Fuzzy Controller for
Longitudinal and Lateral Control of an
AGV . . . . . . . . . . . . . . . . . . 370
R.-E. Precup and
S. Preitl and
S. Solyom Center Manifold Theory Approach to the
Stability Analysis of Fuzzy Control
Systems . . . . . . . . . . . . . . . . 382
R. Knicker Stability Analysis of Fuzzy and Other
Nonlinear Systems Based on the Method of
Convex Decomposition . . . . . . . . . . 391
H. Deng and
C.-H Yeh Fuzzy Utilities Comparison in
Multicriteria Analysis . . . . . . . . . 401
E. Huellermeier A Possibilistic Formalization of
Case-Based Reasoning and Decision Making 411
M. Thomas and
C. Pacha and
K. Goser Parameter Determination for Nano-Scale
Modelling . . . . . . . . . . . . . . . 421
I. Gilsdorf and
W. Brauer Optimizing Routing Algorithms in
Telecommunication Networks with Neural
Networks and Fuzzy Logic . . . . . . . . 427
L. Nolle and
A. Armstrong and
A. Hopgood and
A. Ware Optimum Work Roll Profile Selection in
the Hot Rolling of Wide Steel Strip
Using Computational Intelligence . . . . 435
M. Reuter and
C. Zemke Analysing Epileptic Events On-Line by
Soft-Computing-Systems . . . . . . . . . 453
J. Kacprzyk and
S. Zadrozny On Interactive Linguistic Summarization
of Databases via a Fuzzy-Logic-Based
Querying Add-On to Microsoft Access[R] 462
M. Ahmed and
E. Damiani and
A. G. B. Tettamanzi A General-Purpose Fuzzy Engine for Crop
Control . . . . . . . . . . . . . . . . 473
J. Vascak Fuzzy Control of a Physical Double
Inverted Pendulum Model . . . . . . . . 482
W. S. Wijesoma and
K. R. S. Kodagoda Synthesis of Stable Fuzzy PD/PID Control
Laws for Robotic Manipulators from a
Variable Structure Systems Standpoint 495
P. Bosc and
O. Pivert and
L. Ughetto On Data Summaries Based on Gradual Rules 512
P. Marshall and
Z. Bandar Working Towards Connectionist Modeling
of Term Formation . . . . . . . . . . . 522
M. Reuter A Quantization-Model of the Neural Nets 530
B.-J. Falkowski Risk Analysis Using Perceptrons and
Quadratic Programming . . . . . . . . . 543
J. Praczyk and
H. Kiendl and
T. Slawinski Finding Relevant Process Characteristics
with a Method for Data-Based Complexity
Reduction . . . . . . . . . . . . . . . 548
J. Martyna Traffic Control in ail ATM Network Using
Rough Set Theory . . . . . . . . . . . . 556
B. S. Butkiewicz and
T. Mroczek and
M. W. Grzybek Evaluation of Characteristic
Temperatures of Materials Using an
Approximate Reasoning Method . . . . . . 569
R. Castelletti and
E. Damiani and
G. Righini and
R. Khosla A Human Centered Architecture for
Distributed Retrieval of Medical Images 578
M. Reuter and
D. P. F. Moeller Representing the Real-Time Behaviour of
Technical Processes in Neural Nets by
Using the Phase-Space-Flow of the
Degrees of Freedom of the Nets . . . . . 589
T. Kromer Spatial Neural Networks Based on Fractal
Algorithms Biomorph Nets of Nets of . . 603
L. Dafinca Adaptive Control Systems Based on Neural
Networks . . . . . . . . . . . . . . . . 615
M. Buzoianu and
F. Oltean and
A. Agapie Function Approximation Using Tensor
Product Bernstein Polynomials --- Neuro
and Evolutionary Approaches . . . . . . 625
I. Filip and
O. Prostean and
D. Curiac Tuning Considerations above a Fuzzy
Controller Used for the Synchronous
Generator . . . . . . . . . . . . . . . 632
M. T. Lamata and
J. I. Pelaez and
J. C. Sierra and
J. M. Bravo A Sectoring Genetic Algorithm for the
Urban Waste Collection Problem . . . . . 642
C. Kraeht and
H. Geyer and
P. Ulbig and
S. Schulz Parameter Optimization of Group
Contribution Methods in High Dimensional
Solution Spaces . . . . . . . . . . . . 647
R. Djamschidi and
A. Bruckner Applying Heuristic Algorithms on
Structuring Europeanwide Distribution
Networks . . . . . . . . . . . . . . . . 658
Ovidiu Grigore and
Octavian Grigore The Control of a Nonlinear System Using
Neural Networks . . . . . . . . . . . . 667
P. Krause Demonstration of the Use of
Hyperinference: Position Control Using
an Electric Disc-Motor . . . . . . . . . 671
S. V. Astanin and
T. G. Kalashnikova Synthesis of Knowledges Based on
Inductive Generalization . . . . . . . . 676
A. Halinka and
M. Szewczyk and
B. Witek ANN-Based Fault Type and Location
Identification System for Autonomous
Preventive-Restoration Control of
Complex Electrical Power System Plants 682
P. Bachiller and
R. M. Perez and
P. Martinez and
P. L. Aguilar Optimal Hidden Structure for Feedforward
Neural Networks . . . . . . . . . . . . 684
H. Uchida and
Y. Hata and
K. Suei and
H. Nakagawa Relation Between the IADL and Physical
Fitness Tests Focusing on Uncertainty of
Answering Questionnaire in Elderly Women 686
C. Doeben-Henisch and
J. P. Hasebrook A Toolbox of Artificial Brain Cells to
Simulate Classical and Operant Learning
Behavior . . . . . . . . . . . . . . . . 689
A. Halinka and
M. Szewczyk and
B. Witek Intelligent, ANN-Based Identification
System of Complex Generating Sets
Operating Mode . . . . . . . . . . . . . 692
M. De Cock and
F. Vynckier and
E. E. Kerre A Neural Network Based on Linguistic
Modifiers . . . . . . . . . . . . . . . 694
C.-D. Neagu and
V. Palade Fuzzy Computing in a MultiPurpose Neural
Network Implementation . . . . . . . . . 697
A. Yardimci and
A. S. Onural Fuzzy Logic Control of Child Blood
Pressure During Anesthesia . . . . . . . 701
A. H. Dediu and
A. Agapie and
N. Varachiu Soft Computing Genetic Tool V 3.0 ---
Applications . . . . . . . . . . . . . . 704
V. Varshavsky and
V. Marakhovsky Learning Experiments with CMOS
Artificial Neuron . . . . . . . . . . . 706
Ivar Jacobsen The Unified Process for Component-Based
Development . . . . . . . . . . . . . . 1
August-Wilhelm Scheer and
Michael Hoffmann From Business Process Model to
Application System --- Developing an
Information System with the House of
Business Engineering (HOBE) . . . . . . 2
Laurence Melloul and
Dorothea Beringer and
Neal Sample and
Gio Wiederhold CPAM, A Protocol for Software
Composition . . . . . . . . . . . . . . 11
Florian Matthes and
Holm Wegner and
Patrick Hupe A Process-Oriented Approach to Software
Component Definition . . . . . . . . . . 26
Willem-Jan van den Heuvel and
Mike Papazoglou and
Manfred A. Jeusfeld Configuring Business Objects from Legacy
Systems . . . . . . . . . . . . . . . . 41
Denis Verhoef and
Marcel Franckson Risk Management for IT in the Large . . 57
Alistair G. Sutcliffe and
Shailey Minocha Linking Business Modelling to
Socio-technical System Design . . . . . 73
Gregor Joeris and
Otthein Herzog Towards Flexible and High-Level Modeling
and Enacting of Processes . . . . . . . 88
Jolita Ralyté and
Colette Rolland and
Véronique Plihon Method Enhancement with Scenario Based
Techniques . . . . . . . . . . . . . . . 103--118
Ulrike Becker-Kornstaedt and
Dirk Hamann and
Ralf Kempkens and
Peter Rösch and
Martin Verlage and
Richard Webby and
Jörg Zettel Support for the Process Engineer: The
Spearmint Approach to Software Process
Definition and Process Guidance . . . . 119
Dirk Ansorge and
Klaus Bergner and
Bernd Deifel and
Nicolas Hawlitzky and
Christoph Maier and
Barbara Paech and
Andreas Rausch and
Marc Sihling and
Veronika Thurner and
Sascha Vogel Managing Componentware Development ---
Software Reuse and the $V$-Modell
Process . . . . . . . . . . . . . . . . 134
Frank Wietek Modelling Multidimensional Data in a
Dataflow-Based Visual Data Analysis
Environment . . . . . . . . . . . . . . 149
Panos Vassiliadis and
Mokrane Bouzeghoub and
Christoph Quix Towards Quality-Oriented Data Warehouse
Usage and Evolution . . . . . . . . . . 164
Dimitri Theodoratos and
Spyros Ligoudistianos and
Timos Sellis Designing the Global Data Warehouse with
SPJ Views . . . . . . . . . . . . . . . 180
Wasim Sadiq and
Maria E. Orlowska Applying Graph Reduction Techniques for
Identifying Structural Conflicts in
Process Models . . . . . . . . . . . . . 195
Wolfgang Hesse and
Jörg Noack A Multi-variant Approach to Software
Process Modelling . . . . . . . . . . . 210
Peter Green and
Michael Rosemann An Ontological Analysis of Integrated
Process Modelling . . . . . . . . . . . 225
Thomas Sandholm and
Stefan Tai and
Dirk Slama and
Eamon Walshe Design of Object Caching in a CORBA OTM
System . . . . . . . . . . . . . . . . . 241
Kim Jungfer and
Ulf Leser and
Patricia Rodriguez-Tomé Constructing IDL Views on Relational
Databases . . . . . . . . . . . . . . . 255
Am-suk Oh The Design of Cooperative Transaction
Model by Using Client-Server
Architecture . . . . . . . . . . . . . . 269
Myong H. Kang and
Judith N. Froscher and
Amit P. Sheth and
Krys J. Kochut and
John A. Miller A Multilevel Secure Workflow Management
System . . . . . . . . . . . . . . . . . 271
Johann Eder and
Euthimios Panagos and
Michael Rabinovich Time Constraints in Workflow Systems . . 286
Jürgen Sellentin and
Aiko Frank and
Bernhard Mitschang TOGA --- A Customizable Service for
Data-Centric Collaboration . . . . . . . 301
F. De Ferreira Rezende and
U. Hewnsen and
G. De Sa Oliveira and
R. C. G. Pereira A Practical Approach to Access
Heterogeneous and Distributed Databases 317
Fernando de Ferreira Rezende and
Ulrich Hermsen and
Georgiane de Sá Oliveira and
Renata Costa Guedes Pereira and
Jochen Rütschlin A Practical Approach to Access
Heterogeneous and Distributed Databases 317
Peter Mc. Brien and
Alexandra Poulovassilis A Uniform Approach to Inter-model
Transformations . . . . . . . . . . . . 333
P. McBrien and
A. Poulovassilis A Uniform Approach to Inter-model
Transformations . . . . . . . . . . . . 333
Franck Barbeau and
José Martinez OTHY: Object To HYpermedia . . . . . . . 349
Yves Lespérance and
Todd G. Kelley and
John Mylopoulos and
Eric S. K. Yu Modeling Dynamic Domains with ConGolog 365
Nasreddine Aoumeur and
Gunter Saake Towards an Object Petri Nets Model for
Specifying and Validating Distributed
Information Systems . . . . . . . . . . 381
Antoni Olivé Relationship Reification: A Temporal
View . . . . . . . . . . . . . . . . . . 396
Jörg Becker and
Michael zur Mühlen Towards a Classification Framework for
Application Granularity in Workflow
Management Systems . . . . . . . . . . . 411
Justus Klingemann and
Jürgen Wäsch and
Karl Aberer Adaptive Outsourcing in
Cross-Organizational Workflows . . . . . 417
Yan-Nong Huan and
Ming-Chien Shan Policy-Based Resource Management . . . . 422
Y.-N. Huang and
M.-C. Shan Policy-Based Resource Management . . . . 422
Naveen Prakash and
Ritu Sibal Modelling Method Heuristics for Better
Quality Products . . . . . . . . . . . . 429
Diego Calvanese and
Giuseppe De Giacomo and
Maurizio Lenzerini Queries and Constraints on
Semi-structured Data . . . . . . . . . . 434
Christof Bornhövd and
Alejandro P. Buchmann A Prototype for Metadata-Based
Integration of Internet Sources . . . . 439
Mathias Weske Workflow Management Through Distributed
and Persistent CORBA Workflow Objects 446
Stan Jarzabek Component Criteria for Information
System Families . . . . . . . . . . . . 451
Marianthi Svinterikou and
Babis Theodoulidis TUML: A Method for Modelling Temporal
Information Systems . . . . . . . . . . 456
Choong-ho Yi and
Paul Johannesson Beyond Goal Representation: Checking
Goal-Satisfaction by Temporal Reasoning
with Business Processes . . . . . . . . 462
Lex Wedemeijer Design the Flexibility, Maintain the
Stability of Conceptual Schemas . . . . 467
Oscar Díaz and
Mario Piattini Metrics for Active Database
Maintainability . . . . . . . . . . . . 472
Jon M. Kleinberg and
Ravi Kumar and
Prabhakar Raghavan and
Sridhar Rajagopalan and
Andrew S. Tomkins The Web as a Graph: Measurements, Models
and Methods . . . . . . . . . . . . . . 1
Jun Tarui and
Seinosuke Toda Some Observations on the Computational
Complexity of Graph Accessibility
Problem (Extended Abstract) . . . . . . 18
Hiroshi Nagamochi and
Toshihide Ibaraki An Approximation for Finding a Smallest
$2$-Edge-Connected Subgraph Containing a
Specified Spanning Tree . . . . . . . . 31
Tadao Takaoka Theory of $2$-$3$ Heaps . . . . . . . . 41
David Hutchinson and
Anil Maheshwari and
Norbert Zeh An External Memory Data Structure for
Shortest Path Queries (Extended
Abstract) . . . . . . . . . . . . . . . 51
Wing-Kai Hon and
Tak-Wah Lam Approximating the Nearest Neighbor
Interchange Distance for Evolutionary
Trees with Non-uniform Degrees . . . . . 61
Guo-Hui Lin and
Guoliang Xue Signed Genome Rearrangement by Reversals
and Transpositions: Models and
Approximations . . . . . . . . . . . . . 71
Atsuko Yamaguchi and
Akihiro Sugimoto An Approximation Algorithm for the
Two-Layered Graph Drawing Problem . . . 81
Xuemin Lin and
Peter Eades Area Minimization for Grid Visibility
Representation of Hierarchically Planar
Graphs . . . . . . . . . . . . . . . . . 92
Josep Díaz and
Mathew D. Penrose and
Jordi Petit and
María Serna Layout Problems on Lattice Graphs . . . 103
Jin-Yi Cai A New Transference Theorem in the
Geometry of Numbers . . . . . . . . . . 113
Carsten Damm and
Ki Hang Kim and
Fred Roush On Covering and Rank Problems for
Boolean Matrices and Their Applications 123
Meena Mahajan and
P. R. Subramanya and
V. Vinay A Combinatorial Algorithm for Pfaffians 134
Enrico Nardelli and
Guido Proietti and
Peter Widmayer How to Swap a Failing Edge of a Single
Source Shortest Paths Tree . . . . . . . 144
S. L. Bezrukov and
R. Elsässer and
U.-P. Schroeder On Bounds for the $k$-Partitioning of
Graphs . . . . . . . . . . . . . . . . . 154
Hiroshi Nagamochi and
Shigeki Katayama and
Toshihide Ibaraki A Faster Algorithm for Computing Minimum
$5$-way and $6$-way Cuts in Graphs . . . 164--173
Andris Ambainis and
Richard Bonner and
Rusins Freivalds and
Arnolds Kikusts Probabilities to Accept Languages by
Quantum Finite Automata . . . . . . . . 174
Lance Fortnow and
A. Pavan and
Alan L. Selman Distributionally-Hard Languages . . . . 184
Pierre McKenzie and
Klaus Reinhardt and
V. Vinay Circuits and Context-Free Languages . . 194
Kazuyuki Amano and
Akira Maruoka and
Jun Tarui On the Negation-Limited Circuit
Complexity of Merging . . . . . . . . . 204
Peter Bro Miltersen and
N. V. Vinodchandran and
Osamu Watanabe Super-Polynomial versus Half-Exponential
Circuit Size in the Exponential
Hierarchy . . . . . . . . . . . . . . . 210
Henning Fernau Efficient Learning of Some Linear Matrix
Languages . . . . . . . . . . . . . . . 221
Xiaotie Deng and
Yuzhong Zhang Minimizing Mean Response Time in Batch
Processing System . . . . . . . . . . . 231
D. Xiaotie and
Z. Yuzhong Minimizing Mean Resoponse Time in Batch
Processing System . . . . . . . . . . . 231
Piotr Krysta and
Roberto Solis-Oba Approximation Algorithms for Bounded
Facility Location . . . . . . . . . . . 241
Satoshi Tayu Scheduling Trees onto Hypercubes and
Grids Is $ \cal N P $-complete . . . . . 251
Magnús M. Halldórsson Approximations of Weighted Independent
Set and Hereditary Subset Problems . . . 261
Magnús M. Halldórsson and
Guy Kortsarz and
Andrzej Proskurowski Multi-coloring Trees . . . . . . . . . . 271
Andrea E. F. Clementi and
Pierluigi Crescenzi and
Gianluca Rossi On the Complexity of Approximating
Colored-Graph Problems . . . . . . . . . 281
Anna Bernasconi and
Carsten Damm and
Igor E. Shparlinski On the Average Sensitivity of Testing
Square-Free Numbers . . . . . . . . . . 291
Z. Xizhong Binary Enumerability of Real Numbers . . 300
Xizhong Zheng Binary Enumerability of Real Numbers . . 300
Gene Cooperman and
Sandra Feisel and
Joachim von zur Gathen and
George Havas GCD of Many Integers . . . . . . . . . . 310
Tomasz Jurdzinski and
Miros\law Kuty\lowski and
Krzysztof Lorys Multi-party Finite Computations . . . . 318
Toshio Nakata and
Hiroshi Imahayashi and
Masafumi Yamashita Probabilistic Local Majority Voting for
the Agreement Problem on Finite Graphs 330
Ambros Marzetta and
Adrian Brüngger A Dynamic Programming Bound for the
Quadratic Assignment Problem . . . . . . 339
Takeaki Uno A New Approach for Speeding Up
Enumeration Algorithms and Its
Application for Matroid Bases . . . . . 349
Jin-Yi Cai and
George Havas and
Bernard Mans and
Ajay Nerurkar and
Jean-Pierre Seifert and
Igor Shparlinski On Routing in Circulant Graphs . . . . . 360
Akira Matsubayashi and
Ryo Takasu Minimum Congestion Embedding of Complete
Binary Trees into Tori . . . . . . . . . 370
Francis Y. L. Chin and
Cao An Wang and
Fu Lee Wang Maximum Stabbing Line in $2$D Plane . . 379
Jeet Chaudhuri and
Subhas C. Nandy Generalized Shooter Location Problem . . 389
Sung-Pil Hong A Competitive Online Algorithm for the
Paging Problem with ``Shelf'' Memory . . 400
Kazuo Iwama and
Kouki Yonezawa Using Generalized Forecasts for Online
Currency Conversion . . . . . . . . . . 409
Friedrich Otto On $S$-regular Prefix-Rewriting Systems
and Automatic Structures . . . . . . . . 422
Kouichi Hirata and
Keizo Yamada and
Masateru Harao Tractable and Intractable Second-Order
Matching Problems . . . . . . . . . . . 432
Sung-Woo Lee and
Hyun-Sung Kim and
Jung-Joon Kim and
Tae-Geun Kim and
Kee-Young Yoo Efficient Fixed-Size Systolic Arrays for
the Modular Multiplication . . . . . . . 442
Ka Wong Chong and
Yijie Han and
Yoshihide Igarashi and
Tak Wah Lam Improving Parallel Computation with Fast
Integer Sorting . . . . . . . . . . . . 452
Sajal K. Das and
Bhabani P. Sinha and
Rajarshi Chaudhuri A Combinatorial Approach to Performance
Analysis of a Shared-Memory
Multiprocessor . . . . . . . . . . . . . 462
Joachim Gudmundsson and
Christos Levcopoulos A Fast Approximation Algorithm for TSP
with Neighborhoods and Red-Blue
Separation . . . . . . . . . . . . . . . 473
H. Y. Lau and
H. F. Ting The Greedier the Better: An Efficient
Algorithm for Approximating Maximum
Independent Set . . . . . . . . . . . . 483
C. A. R. Hoare and
He Jifeng A Trace Model for Pointers and Objects 1
Krzysztof Czarnecki and
Ulrich W. Eisenecker Synthesizing Objects . . . . . . . . . . 18
Viviana Bono and
Amit Patel and
Vitaly Shmatikov A Core Calculus of Classes and Mixins 43
Erik Ernst Propagating Class and Method Combination 67
Sylvia Dieckman and
Urs Hölzle A Study of the Allocation Behavior of
the SPECjvm98 Java Benchmarks . . . . . 92--115
Wim De Pauw and
Gary Sevitsky Visualizing Reference Patterns for
Solving Memory Leaks in Java . . . . . . 116
Raimondas Lencevicius and
Urs Hölzle and
Ambuj K. Singh Dynamic Query-Based Debugging . . . . . 135
Atsushi Igarashi and
Benjamin C. Pierce Foundations for Virtual Types . . . . . 161
Kresten Krab Thorup and
Mads Torgersen Unifying Genericity: Combining the
Benefits of Virtual Types and
Parameterized Classes . . . . . . . . . 186
Aaron Greenhouse and
John Boyland An Object-Oriented Effects System . . . 205
Barbara Liskov and
Miguel Castro and
Liuba Shrira and
Atul Adya Providing Persistent Objects in
Distributed Systems . . . . . . . . . . 230
David Detlefs and
Ole Agesen Inlining of Virtual Methods . . . . . . 258
Todd Millstein and
Craig Chambers Modular Statically Typed Multimethods 279
Candy Pang and
Wade Holst and
Yuri Leontiev and
Duane Szafron Multi-method Dispatch Using Multiple Row
Displacement . . . . . . . . . . . . . . 304
T. Kuehne Internal Iteration Externalized . . . . 329
Thomas Kühne Internal Iteration Externalized . . . . 329
Günther Kniesel Type-Safe Delegation for Run-Time
Component Adaptation . . . . . . . . . . 351
Ulrik Pagh Schultz and
Julia L. Lawall and
Charles Consel and
Gilles Muller Towards Automatic Specialization of Java
Programs . . . . . . . . . . . . . . . . 367
Manuel Serrano Wide Classes . . . . . . . . . . . . . . 391
Elisa Bertino and
Giovanna Guerrini and
Isabella Merlo and
Marco Mesiti An Approach to Classify Semi-Structured
Objects . . . . . . . . . . . . . . . . 416
Jim Waldo Object-Oriented Programming on the
Network . . . . . . . . . . . . . . . . 441
Raju Pandey and
Brant Hashii Providing Fine-Grained Access Control
for Java Programs . . . . . . . . . . . 449
Rémi Bastide and
Ousmane Sy and
Philippe Palanque Formal Specification and Prototyping of
CORBA Systems . . . . . . . . . . . . . 474
Mauro Gaspari and
Gianluigi Zavattaro A Process Algebraic Specification of the
New Asynchronous CORBA Messaging Service 495
Andrew P. Black Object-Oriented Programming: Regaining
the Excitement . . . . . . . . . . . . . 519
Anonymous Author Index . . . . . . . . . . . . . . 529
Robert Nieuwenhuis and
José Miguel Rivero Solved Forms for Path Ordering
Constraints . . . . . . . . . . . . . . 1
Nachum Dershowitz and
Subrata Mitra Jeopardy . . . . . . . . . . . . . . . . 16
Eelco Visser Strategic Pattern Matching . . . . . . . 30
P. De Groote On the Strong Normalization of Natural
Deduction with Permutation-Conversions 45
Philippe de Groote On the Strong Normalization of Natural
Deduction with Permutation-Conversions 45
Vincent van Oostrom Normalization in Weakly Orthogonal
Rewriting . . . . . . . . . . . . . . . 60
V. Van Oostrom Normalization in Weakly Orthogonal
Rewriting . . . . . . . . . . . . . . . 60
Roberto Di Cosmo and
Stefano Guerrini Strong Normalization of Proof Nets
Modulo Structural Congruences . . . . . 75
R. Di Cosmo and
S. Guerrini Strong Normalization of Proof Nets
Modulo Structural Congruences . . . . . 75
Bruno Courcelle Hierarchical Graph Decompositions
Defined by Grammars and Logical Formulas 90
Jerzy Marcinkowski Undecidability of the $ \exists x x
\forall x x $ Part of the Theory of
Ground Term Algebra Modulo an AC Symbol 92
Anne-Cécile Caron and
Franck Seynhaeve and
Sophie Tison and
Marc Tommasi Deciding the Satisfiability of
Quantifier Free Formulae on One-Step
Rewriting . . . . . . . . . . . . . . . 103
Sébastien Limet and
Pierre Réty A New Result about the Decidability of
the Existential One-Step Rewriting
Theory . . . . . . . . . . . . . . . . . 118
Albert Rubio A Fully Syntactic AC-RPO . . . . . . . . 133
Jürgen Stuber Theory Path Orderings . . . . . . . . . 148
Hél\`ene Touzet A Characterisation of Multiply Recursive
Functions with Higman's Lemma . . . . . 163
Franz Baader and
Cesare Tinelli Deciding the Word Problem in the Union
of Equational Theories Sharing
Constructors . . . . . . . . . . . . . . 175
L. Bachmair and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
A. Tiwari Normalization via Rewrite Closures . . . 190
Dieter Hofbauer and
Maria Huber Test Sets for the Universal and
Existential Closure of Regular Tree
Languages . . . . . . . . . . . . . . . 205
Femke van Raamsdonk Higher-Order Rewriting . . . . . . . . . 220
F. Van Raamsdonk 1Higher-Order Rewriting . . . . . . . . 220
M. Clavel and
F. Durán and
S. Eker and
P. Lincoln and
N. Martí-Oliet and
J. Meseguer and
J. F. Quesada The Maude System . . . . . . . . . . . . 240
F. J. López Fraguas and
J. Sánchez Hernández $ {\cal {TOY}} $: A Multiparadigm
Declarative System . . . . . . . . . . . 244
F. J. Lopez-Fraguas and
J. Sanchez-Hernandez TOY: A Multiparadigm Declarative System 244
Stephan Kepser and
Jörn Richts UniMoK: A System for Combining
Equational Unification Algorithms . . . 248
Rakesh Verma and
Shalitha Senanayake $ \bar {LR}^2 $: A Laboratory for Rapid
Term Graph Rewriting . . . . . . . . . . 252
Takashi Nagaya and
Yoshihito Toyama Decidability for Left-Linear Growing
Term Rewriting Systems . . . . . . . . . 256
Jürgen Giesl and
Aart Middeldorp Transforming Context-Sensitive Rewrite
Systems . . . . . . . . . . . . . . . . 271
M. C. F. Ferreira and
A. L. Ribeiro Context-Sensitive AC-Rewriting . . . . . 286
Frédéric Blanqui and
Jean-Pierre Jouannaud and
Mitsuhiro Okada The Calculus of Algebraic Constructions 301
Gilles Dowek and
Thér\`ese Hardin and
Claude Kirchner HOL-$ \lambda \sigma $: An Intentional
First-Order Expression of Higher-Order
Logic . . . . . . . . . . . . . . . . . 317
Friedrich Otto On the Connections between Rewriting and
Formal Language Theory . . . . . . . . . 332
Christiane Frougny and
Jacques Sakarovitch A Rewrite System Associated with
Quadratic Pisot Units . . . . . . . . . 356
Manfred Göbel Fast Rewriting of Symmetric Polynomials 371
M. Goebel Fast Rewriting of Symmetric Polynomials 371
Frédéric Saubion and
Igor Stéphan On Implementation of Tree Synchronized
Languages . . . . . . . . . . . . . . . 382
Anonymous Author Index . . . . . . . . . . . . . . 397
P. De Groote A Dynamic Programming Approach to
Categorial Deduction . . . . . . . . . . 1
S. Demri and
R. Gore Tractable Transformations from Modal
Provability Logics into First-Order
Logic . . . . . . . . . . . . . . . . . 16
E. Graedel Invited Talk: Decision Procedures for
Guarded Logics . . . . . . . . . . . . . 31
S. Tobies A PSpace Algorithm for Graded Modal
Logic . . . . . . . . . . . . . . . . . 52
M. Schmidt-Schauss and
K. U. Schulz Solvability of Context Equations with
Two Context Variables Is Decidable . . . 67
T. Wierzbicki Complexity of the Higher Order Matching 82
R. Pichler Solving Equational Problems Efficiently 97
A. A. Adams and
H. Gottliebsen and
S. A. Linton and
U. Martin VSDITLU: A Verifiable Symbolic Definite
Integral Table Look-Up . . . . . . . . . 112
P. Janicic and
A. Bundy and
I. Green A Framework for the Flexible Integration
of a Class of Decision Procedures into
Theorem Provers . . . . . . . . . . . . 127
H. Horacek Presenting Proofs in a Human-Oriented
Way . . . . . . . . . . . . . . . . . . 142
V. Sofronie-Stokkermans On the Universal Theory of Varieties of
Distributive Lattices with Operators:
Some Decidability and Complexity Results 157
U. Hustadt and
R. A. Schmidt Maslov's Class $K$ Revisited . . . . . . 172
C. Areces and
H. De Nivelle and
M. De Rijke Prefixed Resolution: A Resolution Method
for Modal and Description Logics . . . . 187
F. Pfenning and
C. Schuermann System Description: Twelf --- A
Meta-Logical Framework for Deductive
Systems . . . . . . . . . . . . . . . . 202
S. Autexier and
D. Hutter and
H. Mantel and
A. Schairer System Description: inka 5.0 --- A Logic
Voyager . . . . . . . . . . . . . . . . 207
M. Baaz and
A. Leitsch and
G. Moser System Description: CutRes 0.1: Cut
Elimination by Resolution . . . . . . . 212
A. Franke and
M. Kohlhase System Description: MathWeb, an
Agent-Based Communication Layer for
Distributed Automated Theorem Proving 217
E. Pascal Gribomont and
N. Salloum System Description: Using OBDD's for the
Validation of Skolem Verification
Conditions . . . . . . . . . . . . . . . 222
J. Hickey Fault-Tolerant Distributed Theorem
Proving . . . . . . . . . . . . . . . . 227
T. Hillenbrand and
A. Jaeger and
B. Loechner System Description: Waldmeister ---
Improvements in Performance and Ease of
Use . . . . . . . . . . . . . . . . . . 232
A. P. Felty and
D. J. Howe and
A. Roychoudhury Formal Metatheory Using Implicit Syntax,
and an Application to Data Abstraction
for Asynchronous Systems . . . . . . . . 237
F. Prost A Formalization of Static Analyses in
System F . . . . . . . . . . . . . . . . 252
S. N. Artemov On Explicit Reflection in Theorem
Proving and Formal Verification . . . . 267
K. Konrad and
D. A. Wolfram System Description: Kimba, A Model
Generator for Many-Valued First-Order
Logics . . . . . . . . . . . . . . . . . 282
G. Nadathur and
D. J. Mitchell System Description: Teyjus --- A
Compiler and Abstract Machine Based
Implementation of lambdaProlog . . . . . 287
A. Riazanov and
A. Voronkov Vampire . . . . . . . . . . . . . . . . 292
S. Schulz System Abstract: E0.3 . . . . . . . . . 297
R. Nieuwenhuis Invited Talk: Rewrite-Based Deduction
and Symbolic Constraints . . . . . . . . 302
C. Weidenbach Towards an Automatic Analysis of
Security Protocols in First-Order Logic 314
P. Baumgartner and
N. Eisinger and
U. Furbach A Confluent Connection Calculus . . . . 329
M. Fuchs and
D. Fuchs Abstraction-Based Relevancy Testing for
Model Elimination . . . . . . . . . . . 344
M. Bishop A Breadth-First Strategy for Mating
Search . . . . . . . . . . . . . . . . . 359
D. Hutter and
A. Bundy The Design of the CADE-16 Inductive
Theorem Prover Contest . . . . . . . . . 374
C. Weidenbach and
B. Afshordel and
U. Brahm and
C. Cohrs System Description: Spass Version 1.0.0 378
A. Voronkov KK: A Theorem Prover for K . . . . . . . 383
J. Whittle and
A. Bundy and
R. Boulton and
H. Lowe System Description: C0YNTHIA . . . . . . 388
Z. Jian System Description: MCS: Model-Based
Conjecture Searching . . . . . . . . . . 393
T. Nipkow Invited Talk: Embedding Programming
Languages in Theorem Provers . . . . . . 398
C. Benzmueller Extensional Higher-Order Paramodulation
and RUE-Resolution . . . . . . . . . . . 399
R. H. C. Lopes Automatic Generation of Proof Search
Strategies for Second-Order Logic . . . 414
D. L. Dill Alternative Approaches to Hardware
Verification . . . . . . . . . . . . . . 1
J. Sifakis The Compositional Specification of Timed
Systems --- A Tutorial . . . . . . . . . 2
R. Alur Timed Automata . . . . . . . . . . . . . 8
G. Staalmarck Staalmarck's Method with Extensions to
Quantified Boolean Formulas . . . . . . 23
Z. Manna and
H. B. Sipma Verification of Parameterized Systems by
Dynamic Induction on Diagrams . . . . . 25
E. Brinksma Formal Methods for Conformance Testing:
Theory Can Be Practical! . . . . . . . . 44
R. Hosabettu and
M. Srivas and
G. Gopalakrishnan Proof of Correctness of a Processor with
Reorder Buffer Using the Completion
Functions Approach . . . . . . . . . . . 47
A. Biere and
E. Clarke and
R. Raimi and
Y. Zhu Verifying Safety Properties of a PowerPC
Microprocessor Using Symbolic Model
Checking without BDDs . . . . . . . . . 60
J. Baumgartner and
T. Heyman and
V. Singhal and
A. Aziz Model Checking the IBM Gigahertz
Processor: An Abstraction Algorithm for
High-Performance Netlists . . . . . . . 72
S. Ramesh and
P. Bhaduri Validation of Pipelined Processor
Designs Using Esterel Tools . . . . . . 84
B. Berard and
L. Fribourg Automated Verification of a Parametric
Real-Time Program: The ABR Conformance
Protocol . . . . . . . . . . . . . . . . 96
T. Jeron and
P. Morel Test Generation Derived from
Model-Checking . . . . . . . . . . . . . 108
L. P. Carloni and
K. L. McMillan and
A. L. Sangiovanni-Vincentelli Latency Insensitive Protocols . . . . . 123
P. A. Abdulla and
A. Bouajjani and
B. Jonsson and
M. Nilsson Handling Global Conditions in
Parametrized System Verification . . . . 134
P. A. Abdulla and
A. Annichini and
S. Bensalem and
A. Bouajjani Verification of Infinite-State Systems
by Combining Abstraction and
Reachability Analysis . . . . . . . . . 146
S. Das and
D. L. Dill and
S. Park Experience with Predicate Abstraction 160
O. Kupferman and
M. Y. Vardi Model Checking of Safety Properties . . 172
R. Langerak and
E. Brinksma A Complete Finite Prefix for Process
Algebra . . . . . . . . . . . . . . . . 184
C.-T. Chou The Mathematical Foundation of Symbolic
Trajectory Evaluation . . . . . . . . . 196
T. A. Henzinger and
S. Qadeer and
S. K. Rajamani Assume-Guarantee Refinement between
Different Time Scales . . . . . . . . . 208
R. Bloem and
K. Ravi and
F. Somenzi Efficient Decision Procedures for Model
Checking of Linear Time Logic Properties 222
K. Etessami Stutter-Invariant Languages,
omega-Automata, and Temporal Logic . . . 236
M. Daniele and
F. Giunchiglia and
M. Y. Vardi Improved Automata Generation for Linear
Temporal Logic . . . . . . . . . . . . . 249
M. Bozga and
O. Maler On the Representation of Probabilities
over Structured Domains . . . . . . . . 261
G. Bruns and
P. Godefroid Model Checking Partial State Spaces with
$3$-Valued Temporal Logics . . . . . . . 274
J. Matthews and
J. Launchbury Elementary Microarchitecture Algebra . . 288
T. A. Henzinger and
S. Qadeer and
S. K. Rajamani Verifying Sequential Consistency on
Shared-Memory Multiprocessor Systems . . 301
J. Lind-Nielsen and
H. R. Andersen Stepwise CTL Model Checking of
State/Event Systems . . . . . . . . . . 316
B. Yang and
R. Simmons and
R. E. Bryant and
D. R. O'Hallaron Optimizing Symbolic Model Checking for
Constraint-Rich Models . . . . . . . . . 328
G. Behrmann and
K. G. Larsen and
J. Pearson and
C. Weise Efficient Timed Reachability Analysis
Using Clock Difference Diagrams . . . . 341
M. Glusman and
S. Katz Mechanizing Proofs of Computation
Equivalence . . . . . . . . . . . . . . 354
P. Manolios and
K. S. Namjoshi and
R. Sumners Linking Theorem Proving and
Model-Checking with Well-Founded
Bisimulation . . . . . . . . . . . . . . 369
P. Bjesse Automatic Verification of Combinational
and Pipelined FFT Circuits . . . . . . . 380
K. S. Namjoshi and
R. P. Kurshan Efficient Analysis of Cyclic Definitions 394
N. Klarlund A Theory of Restrictions for Logics and
Automata . . . . . . . . . . . . . . . . 406
V. Boppana and
S. P. Rajan and
K. Takayama and
M. Fujita Model Checking Based on Sequential ATPG 418
M. Spielmann Automatic Verification of Abstract State
Machines . . . . . . . . . . . . . . . . 431
H. Saiedi and
N. Shankar Abstract and Model Check while You Prove 443
A. Pnueli and
Y. Rodeh and
O. Shtrichman and
M. Siegel Deciding Equality Formulas by Small
Domains Instantiations . . . . . . . . . 455
R. E. Bryant and
S. German and
M. N. Velev Exploiting Positive Equality in a Logic
of Equality with Uninterpreted Functions 470
P. Buchholz and
P. Kemper A Toolbox for the Analysis of Discrete
Event Dynamic Systems . . . . . . . . . 483
H. Hermanns and
V. Mertsiotakis and
M. Siegle TIPPtool: Compositional Specification
and Analysis of Markovian Performance
Models . . . . . . . . . . . . . . . . . 487
D. Basin and
S. Friedrich and
J. Posegga and
H. Vogt Java Bytecode Verification by Model
Checking . . . . . . . . . . . . . . . . 491
A. Cimatti and
E. Clarke and
F. Giunchiglia and
M. Roveri NuSMV: A New Symbolic Model Verifier . . 495
J. Schumann PIL/SETHEO: A Tool for the Automatic
Analysis of Authentication Protocols . . 500
Daphne Koller Probabilistic Relational Models . . . . 3
Heikki Mannila Inductive Databases (Abstract) . . . . . 14
J. R. Quinlan Some Elements of Machine Learning
(Extended Abstract) . . . . . . . . . . 15
Liviu Badea and
Monica Stanciu Refinement Operators Can Be (Weakly)
Perfect . . . . . . . . . . . . . . . . 21
H. Bostroem and
L. Asker Combining Divide-and-Conquer and
Separate-and-Conquer for Efficient and
Effective Rule Induction . . . . . . . . 33
Henrik Boström and
Lars Asker Combining Divide-and-Conquer and
Separate-and-Conquer for Efficient and
Effective Rule Induction . . . . . . . . 33
Ivan Bratko Refining Complete Hypotheses in ILP . . 44
Kazuya Chiba and
Hayato Ohwada and
Fumio Mizoguchi Acquiring Graphic Design Knowledge with
Nonmonotonic Inductive Learning . . . . 56
James Cussens and
Sa\vso D\vzeroski and
Toma\vz Erjavec Morphosyntactic Tagging of Slovene Using
Progol . . . . . . . . . . . . . . . . . 68
Sa\vso D\vzeroski and
Hendrik Blockeel and
Boris Kompare and
Stefan Kramer and
Bernhard Pfahringer and
Wim Van Laer Experiments in Predicting
Biodegradability . . . . . . . . . . . . 80
Peter Flach and
Nicolas Lachiche 1BC: A First-Order Bayesian Classifier 92
Alan M. Frisch Sorted Downward Refinement: Building
Background Knowledge into a Refinement
Operator for Inductive Logic Programming 104
J. Hernández-Orallo and
M. J. Ramírez-Quintana A Strong Complete Schema for Inductive
Functional Logic Programming . . . . . . 116
Tamás Horváth and
Zoltán Alexin and
Tibor Gyimóthy and
Stefan Wrobel Application of Different Learning
Methods to Hungarian Part-of-Speech
Tagging . . . . . . . . . . . . . . . . 128
Dimitar Kazakov Combining \sc Lapis and WordNet for the
Learning of LR Parsers with Optimal
Semantic Constraints . . . . . . . . . . 140
Dimitar Kazakov and
Suresh Manandhar and
Toma\vz Erjavec Learning Word Segmentation Rules for Tag
Prediction . . . . . . . . . . . . . . . 152
Boonserm Kijsirikul and
Sukree Sinthupinyo Approximate ILP Rules by Backpropagation
Neural Network: A Result on Thai
Character Recognition . . . . . . . . . 162
Nada Lavra\vc and
Peter Flach and
Blaz Zupan Rule Evaluation Measures: A Unifying
View . . . . . . . . . . . . . . . . . . 174
Nikolaj Lindberg and
Martin Eineborg Improving Part-of-Speech Disambiguation
Rules by Adding Linguistic Knowledge . . 186
Eric Martin and
Arun Sharma On Sufficient Conditions for
Learnability of Logic Programs from
Positive Data . . . . . . . . . . . . . 198
Herman Midelfart A Bounded Search Space of Clausal
Theories . . . . . . . . . . . . . . . . 210
Tetsuhiro Miyahara and
Takayoshi Shoudai and
Tomoyuki Uchida and
Tetsuji Kuboyama and
Kenichi Takahashi and
Hiroaki Ueda Discovering New Knowledge from Graph
Data Using Inductive Logic Programming 222
Stephen Muggleton and
Michael Bain Analogical Prediction . . . . . . . . . 234
Shan-Hwei Nienhuys-Cheng and
Wim Van Laer and
Jan Ramon and
Luc De Raedt Generalizing Refinement Operators to
Learn Prenex Conjunctive Normal Forms 245
Rupert Parson and
Khalid Khan and
Stephen Muggleton Theory Recovery . . . . . . . . . . . . 257
Jan Ramon and
Luc De Raedt Instance Based Function Learning . . . . 268
Chiaki Sakama Some Properties of Inverse Resolution in
Normal Logic Programs . . . . . . . . . 279
Ashwin Srinivasan and
Ross D. King and
Douglas W. Bristol An Assessment of ILP-Assisted Models for
Toxicology and the PTE-3 Experiment . . 291
Anonymous Author Index . . . . . . . . . . . . . . 303
Scott Contini and
Ronald L. Rivest and
M. J. B. Robshaw and
Yiqun Lisa Yin Improved Analysis of Some Simplified
Variants of RC6 . . . . . . . . . . . . 1--15
Johan Borst and
Bart Preneel and
Joos Vandewalle Linear Cryptanalysis of RC5 and RC6 . . 16--30
Chae Hoon Lim A Revised Version of \sc Crypton --- \sc
Crypton V1.0 . . . . . . . . . . . . . . 31--45
Carl D'Halluin and
Gert Bijnens and
Vincent Rijmen and
Bart Preneel Attack on Six Rounds of \sc Crypton . . 46--59
Stefan Lucks On the Security of the $ 128 $-Bit Block
Cipher DEAL . . . . . . . . . . . . . . 60--70
Mitsuru Matsui and
Toshio Tokita Cryptanalysis of a Reduced Version of
the Block Cipher E2 . . . . . . . . . . 71--80
Lars R. Knudsen and
Vincent Rijmen On the Decorrelated Fast Cipher (DFC)
and Its Theory . . . . . . . . . . . . . 81--94
Markus Jakobsson and
Julien P. Stern and
Moti Yung Scramble All, Encrypt Small . . . . . . 95--111
Stefan Lucks Accelerated Remotely Keyed Encryption 112--123
Eli Biham and
Alex Biryukov and
Adi Shamir Miss in the Middle Attacks on IDEA and
Khufu . . . . . . . . . . . . . . . . . 124--138
John Kelsey and
Bruce Schneier and
David Wagner Mod $n$ Cryptanalysis, with Applications
Against RC5P and M6 . . . . . . . . . . 139--155
David Wagner The Boomerang Attack . . . . . . . . . . 156--170
Sarvar Patel and
Zulfikar Ramzan and
Ganapathy S. Sundaram Towards Making Luby-Rackoff Ciphers
Optimal and Practical . . . . . . . . . 171--185
Anne Canteaut and
Pascale Charpin and
Hans Dobbertin A New Characterization of Almost Bent
Functions . . . . . . . . . . . . . . . 186--200
Kenneth G. Paterson Imprimitive Permutation Groups and
Trapdoors in Iterated Block Ciphers . . 201--214
Helena Handschuh and
Bart Preneel On the Security of Double and $2$-key
Triple Modes of Operation . . . . . . . 215--230
Mihir Bellare and
Phillip Rogaway On the Construction of
Variable-Input-Length Ciphers . . . . . 231--244
Alex Biryukov and
David Wagner Slide Attacks . . . . . . . . . . . . . 245--259
Serge Vaudenay On the Security of CS-Cipher . . . . . . 260--274
Shiho Moriai and
Takeshi Shimoyama and
Toshinobu Kaneko Interpolation Attacks of the Block
Cipher: SNAKE . . . . . . . . . . . . . 275--289
William Aiello and
S. Rajagopalan and
Ramarathnam Venkatesan High-Speed Pseudorandom Number
Generation with Small Memory . . . . . . 290--304
Daniel Bleichenbacher and
Sarvar Patel SOBER Cryptanalysis . . . . . . . . . . 305--316
Anonymous Author Index . . . . . . . . . . . . . . 317
Grigoris Antoniou On the Dynamics of Default Reasoning . . 1
Ofer Arieli and
Arnon Avron Nonmonotonic and Paraconsistent
Reasoning: From Basic Entailments to
Plausible Relations . . . . . . . . . . 11
Ramón Béjar and
Felip Many\`a A comparison of systematic and local
search algorithms for regular CNF
formulas . . . . . . . . . . . . . . . . 22
F. Benhammadi and
P. Nicolas and
T. Schaub Query-Answering in Prioritized Default
Logic . . . . . . . . . . . . . . . . . 32
Boutheina Ben Yaghlane and
Khaled Mellouli Updating Directed Belief Networks . . . 43
Philippe Besnard and
Marie-Odile Cordier Inferring Causal Explanations . . . . . 55
Christian Borgelt and
Rudolf Kruse A Critique of Inductive Causation . . . 68
Rachel A. Bourne and
Simon Parsons Connecting lexicographic with maximum
entropy entailment . . . . . . . . . . . 80
S. Bruening and
T. Schaub Avoiding non-ground variables . . . . . 92
Stefan Brüning and
Torsten Schaub Avoiding Non-ground Variables . . . . . 92
Silvia Coradeschi and
Alessandro Saffiotti Anchoring Symbols to Vision Data by
Fuzzy Logic . . . . . . . . . . . . . . 104
Corine Cossart and
Catherine Tessier Filtering vs Revision and Update: Let Us
Debate! . . . . . . . . . . . . . . . . 116
Fabio Gagliardi Cozman Irrelevance and independence axioms in
quasi-Bayesian theory . . . . . . . . . 128
Didier Dubois and
Michel Grabisch and
Henri Prade Assessing the value of a candidate: A
qualitative possibilistic approach . . . 137
Béatrice Duval and
Pascal Nicolas Learning Default Theories . . . . . . . 148
Peter A. Flach Knowledge Representation for Inductive
Learning . . . . . . . . . . . . . . . . 160
Eric Grégoire Handling inconsistency efficiently in
the incremental construction of
stratified belief bases . . . . . . . . 168
J. W. Guan and
D. A. Bell Rough Knowledge Discovery and
Applications . . . . . . . . . . . . . . 179
Finn Verner Jensen Gradient Descent Training of Bayesian
Networks . . . . . . . . . . . . . . . . 190
Michael Kaminski Open Default Theories over Closed
Domains (Extended Abstract) . . . . . . 201
Jeffrey O. Kephart and
Amy R. Greenwald Shopbot Economics . . . . . . . . . . . 208
Fédia Khalfallah and
Khaled Mellouli Optimized algorithm for learning
Bayesian network from data . . . . . . . 221
Sébastien Konieczny and
Ramón Pino Pérez Merging with Integrity Constraints . . . 233
Ivan Kramosil Boolean-like interpretation of Sugeno
integral . . . . . . . . . . . . . . . . 245
Norbert Lehmann and
Rolf Haenni An alternative to outward propagation
for Dempster-Shafer belief functions . . 256
Thomas Linke and
Torsten Schaub On bottom-up pre-processing techniques
for automated default reasoning . . . . 268
Thomas Lukasiewicz and
Gabriele Kern-Isberner Probabilistic Logic Programming under
Maximum Entropy . . . . . . . . . . . . 279
Anders L. Madsen and
Bruce D'Ambrosio Lazy propagation and independence of
causal influence . . . . . . . . . . . . 293
Serafín Moral and
Antonio Salmerón A Monte Carlo algorithm for combining
Dempster-Shafer belief based on
approximate pre-computation . . . . . . 305
Daniel Pacholczyk An extension of a linguistic negation
model allowing us to deny nuanced
property combinations . . . . . . . . . 316
Simon Parsons and
Shaw Green Argumentation and Qualitative Decision
Making . . . . . . . . . . . . . . . . . 328
Simon Petit-Renaud and
Thierry Den\oeux Handling different forms of uncertainty
in regression analysis: A fuzzy belief
structure approach . . . . . . . . . . . 340
Mich\`ele Rombaut and
Iman Jarkass and
Thierry Den\oeux State recognition in discrete dynamical
systems using Petri nets and evidence
theory . . . . . . . . . . . . . . . . . 352
Murray Shanahan and
Mark Witkowski Robot navigation and map building with
the event calculus . . . . . . . . . . . 362
Stefan Siekmann and
Jörg Gebhardt and
Rudolf Kruse Information fusion in the context of
stock index prediction . . . . . . . . . 363
Leendert van der Torre Defeasible Goals . . . . . . . . . . . . 374
Leendert van der Torre Defeasible Goals . . . . . . . . . . . . 374
Nic Wilson and
Jérôme Mengin Logical deduction using the local
computation framework . . . . . . . . . 386
Anonymous Author Index . . . . . . . . . . . . . . 397
P. Varaiya Design, Simulation, and Implementation
of Hybrid Systems . . . . . . . . . . . 1
A. S. Miner and
G. Ciardo Efficient Reachability Set Generation
and Storage Using Decision Diagrams . . 6
E. Pastor and
J. Cortadella and
M. A. Peña Structural Methods to Improve the
Symbolic Analysis of Petri Nets . . . . 26
K. Schmidt Stubborn Sets for Standard Properties 46
R. Bastide and
P. Palanque and
O. Sy and
D.-H. Le Petri Net Based Behavioural
Specification of CORBA Systems . . . . . 66
O. Kummer and
D. Moldt and
F. Wienberg Symmetric Communication between Coloured
Petri Net Simulations and Java-Processes 86
B. H. Krogh Recent Developments in Modeling and
Analysis of Hybrid Dynamic Systems . . . 106
L. Recalde and
E. Teruel and
M. Silva Autonomous Continuous P/T Systems . . . 107
A. Tokmakoff and
J. Billington An Approach to the Analysis of
Interworking Traders . . . . . . . . . . 127
S. Allmaier and
D. Kreische Parallel Approaches to the Numerical
Transient Analysis of Stochastic Reward
Nets . . . . . . . . . . . . . . . . . . 147
L. Capra and
R. Gaeta and
O. Botti SWN Nets as a Framework for the
Specification and the Analysis of FT
Techniques Adopted in Electric Plant
Automation . . . . . . . . . . . . . . . 168
C. N. Hadjicostis and
G. C. Verghese Monitoring Discrete Event Systems Using
Petri Net Embeddings . . . . . . . . . . 188
M. Sgroi and
L. Lavagno and
Y. Watanabe and
A. Sangiovanni-Vincentelli Quasi-Static Scheduling of Embedded
Software Using Equal Conflict Nets . . . 208
S. Haddad and
D. Poitrenaud Theoretical Aspects of Recursive Petri
Nets . . . . . . . . . . . . . . . . . . 228
C. Schneider and
J. Wehler Petri Net Theory --- Problems Solved by
Commutative Algebra . . . . . . . . . . 248
P. Chrzastowski-Wachtel Testing Undecidability of the
Reachability in Petri Nets with the Help
of 10th Hilbert Problem . . . . . . . . 268
G. De Michelis Net Theory and Workflow Models . . . . . 282
W. Vogler Concurrent Implementation of
Asynchronous Transition Systems . . . . 284
J. Fanchon Trace Channel Nets . . . . . . . . . . . 304
G. Juhas Reasoning about Algebraic Generalisation
of Petri Nets . . . . . . . . . . . . . 324
E. Best and
R. Devillers and
M. Koutny The Box Algebra --- A Model of Nets and
Process Expressions . . . . . . . . . . 344
J.-M. Couvreur and
D. Poitrenaud Detection of Illegal Behaviours Based on
Unfoldings . . . . . . . . . . . . . . . 364
T.-Y. Cheung and
Y. Lu Five Classes of Invariant-Preserving
Transformations on Colored Petri Nets 384
T. Baar and
E. Kindler and
H. Voelzer Verifying Intuition --- ILF Checks DAWN
Proofs . . . . . . . . . . . . . . . . . 404
J. Sowa Conceptual Graphs: Draft Proposed
American National Standard . . . . . . . 1
G. W. Mineau Constraints on Processes: Essential
Elements for the Validation and
Execution of Processes . . . . . . . . . 66
A. Nenkova and
G. Angelova User Modeling as an Application of
Actors . . . . . . . . . . . . . . . . . 83
J. Brennan Spatial Universals as the Human Spatial
Notion . . . . . . . . . . . . . . . . . 90
K. Messaadia and
M. Oussalah Knowledge Engineering with Semantic and
Transfer Links . . . . . . . . . . . . . 97
J. Farkas and
J. Sarbo A Peircean Framework of Syntactic
Structure . . . . . . . . . . . . . . . 112
J. Hess and
W. R. Cyre A CG-Based Behavior Extraction System 127
B. Moulin and
H. Irandoust Extending the Conceptual Graph Approach
to Represent Evaluative Attitudes in
Discourse . . . . . . . . . . . . . . . 140
S. Dogru and
J. R. Slagle Implementing a Semantic Lexicon . . . . 154
B. Moulin and
M. Gouiaa and
S. Delisle Analysis of Task-Oriented Conversations
into Conceptual Graph Structures . . . . 168
J. Racky and
M. Pandit Using Conceptual Graphs as a Common
Representation for Data and
Configuration in an Active Image
Processing System . . . . . . . . . . . 176
T. Braeuner and
C. Donner and
P. Oehrstroem A Software System for Learning Peircean
Graphs . . . . . . . . . . . . . . . . . 184
A. Kabbaj Synergy: A Conceptual Graph
Activation-Based Language . . . . . . . 198
P.-W. Fun and
R. H. Kemp On Developing Case-Based Tutorial
Systems with Conceptual Graphs . . . . . 214
P. Martin and
P. Eklund Embedding Knowledge in Web Documents:
CGs Versus XML-based Metadata Languages 230
A. Kabbaj Synergy as an Hybrid Object-Oriented
Conceptual Graph Language . . . . . . . 247
F. Southey and
J. G. Linders NOTIO --- A Java API for Developing CG
Tools . . . . . . . . . . . . . . . . . 262
T. Thanitsukkarn and
A. Finkelstein Multiperspective Analysis of the
Sisyphus-I Room Allocation Task Modeled
in a CG Meta-Representation Language . . 272
S. Damianova and
K. Toutanova Using Conceptual Graphs to Solve a
Resource Allocation Task . . . . . . . . 297
P. Martin and
P. Eklund WebKB and the Sisyphus-I Problem . . . . 315
G. W. Mineau Constraints and Goals under the
Conceptual Graph Formalism: One Way to
Solve SCG-1 Problem . . . . . . . . . . 334
J. F. Baget and
D. Genest and
M. L. Mugnier A Pure Graph-Based Solution to the SCG-1
Initiative . . . . . . . . . . . . . . . 355
B. Ganter and
R. Wille Contextual Attribute Logic . . . . . . . 377
B. Groh and
P. Eklund Algorithms for Creating Relational Power
Context Families from Conceptual Graphs 389
S. Prediger and
R. Wille The Lattice of Concept Graphs of a
Relationally Scaled Context . . . . . . 401
R. Raban and
B. Garner Contexts in Information Systems
Development . . . . . . . . . . . . . . 415
G. W. Mineau and
G. Stumme and
R. Wille Conceptual Structures Represented by
Conceptual Graphs and Formal Concept
Analysis . . . . . . . . . . . . . . . . 423
J.-F. Baget A Simulation of Co-identity with Rules
in Simple and Nested Graphs . . . . . . 442
T. Braeuner and
J. F. Nilsson and
A. Rasmussen Conceptual Graphs as Algebras --- With
an Application to Analogical Reasoning 456
D. Corbett and
R. Woodbury Unification over Constraints in
Conceptual Structures . . . . . . . . . 470
F. Baader and
R. Molitor and
S. Tobies Tractable and Decidable Fragments of
Conceptual Graphs . . . . . . . . . . . 480
G. Kerdiles Dynamic Semantics for Conceptual Graphs 494
D. Corbett A Case for Variable-Arity Relations:
Definitions and Domains . . . . . . . . 508
V. Solovyev Graph Structures in Parametric Spaces
for Representation of Verbs . . . . . . 510
M. Keeler and
W. Tepfenhart PORT: Peirce Online Resource Testbed . . 511
W. Tepfenhart and
M. Holder Assuring Computer Agent Communications 513
Marc Sebban and
Gilles Richard From Theoretical Learnability to
Statistical Measures of the Learnable 3
Oscar Cordón and
Francisco Herrera ALM: A Methodology for Designing
Accurate Linguistic Models for
Intelligent Data Analysis . . . . . . . 15
Richard Nock and
Pascal Jappy A ``Top-Down and Prune'' Induction
Scheme for Constrained Decision
Committees . . . . . . . . . . . . . . . 27
Walter A. Kosters and
Elena Marchiori and
Ard A. J. Oerlemans Mining Clusters with Association Rules 39
Stephen Swift and
Allan Tucker and
Xiaohui Liu Evolutionary Computation to Search for
Strongly Correlated Variables in
High-Dimensional Time-Series . . . . . . 51
Tapio Elomaa The Biases of Decision Tree Pruning
Strategies . . . . . . . . . . . . . . . 63
Luis Talavera Feature Selection as Retrospective
Pruning in Hierarchical Clustering . . . 75
Rosaria Silipo and
Michael R. Berthold Discriminative Power of Input Features
in a Fuzzy Model . . . . . . . . . . . . 87
Laura Firoiu and
Paul Cohen Learning Elements of Representations for
Redescribing Robot Experiences . . . . . 99
Xingang Huang and
Feng Zhao ``Seeing'' Objects in Spatial Datasets 111
Kazunori Matsumoto and
Kazuo Hashimoto Intelligent Monitoring Method Using Time
Varying Binomial Distribution Models for
Pseudo-Periodic Communication Traffic 123
Arthur Flexer and
Herbert Bauer Monitoring Human Information Processing
via Intelligent Data Analysis of EEG
Recordings . . . . . . . . . . . . . . . 137
Gennady Andrienko and
Natalia Andrienko Knowledge-Based Visualization to Support
Spatial Data Mining . . . . . . . . . . 149
Thomas Hofmann Probabilistic Topic Maps: Navigating
through Large Text Collections . . . . . 161
Li Yang $3$D Grand Tour for Multidimensional
Data and Clusters . . . . . . . . . . . 173
Rob Potharst and
Jan C. Bioch A Decision Tree Algorithm for Ordinal
Classification . . . . . . . . . . . . . 187
Paola Sebastiani and
Marco Ramoni and
Paul Cohen and
John Warwick and
James Davis Discovering Dynamics Using Bayesian
Clustering . . . . . . . . . . . . . . . 199
Luis Talavera and
Javier Béjar Integrating Declarative Knowledge in
Hierarchical Clustering Tasks . . . . . 211
Mayer Aladjem Nonparametric Linear Discriminant
Analysis by Recursive Optimization with
Random Initialization . . . . . . . . . 223
Mark G. Kelly and
David J. Hand and
Niall M. Adams Supervised Classification Problems: How
to Be Both Judge and Jury . . . . . . . 235
Cen Li and
Gautam Biswas Temporal Pattern Generation Using Hidden
Markov Model Based Unsupervised
Classification . . . . . . . . . . . . . 245
E. Huellermeier Exploiting Similarity for Supporting
Data Analysis and Problem Solving . . . 257
Eyke Hüllermeier Exploiting Similarity for Supporting
Data Analysis and Problem Solving . . . 257
Susana Nascimento and
Boris Mirkin and
Fernando Moura-Pires Multiple Prototype Model for Fuzzy
Clustering . . . . . . . . . . . . . . . 269
Jeroen Eggermont and
Agoston E. Eiben and
Jano I. van Hemert A Comparison of Genetic Programming
Variants for Data Classification . . . . 281
Frank Klawonn and
Annette Keller Fuzzy Clustering Based on Modified
Distance Measures . . . . . . . . . . . 291
Petko Valtchev Building Classes in Object-Based
Languages by Automatic Clustering . . . 303
Bart J. A. Mertens and
David J. Hand Adjusted Estimation for the Combination
of Classifiers . . . . . . . . . . . . . 317
Jihoon Yang and
Rajesh Parekh and
Vasant Honavar and
Drena Dobbs Data-Driven Theory Refinement Using \em
KBDistAl . . . . . . . . . . . . . . . . 331
Matthew Easley and
Elizabeth Bradley Reasoning about Input-Output Modeling of
Dynamical Systems . . . . . . . . . . . 343
Russell Almond Undoing Statistical Advice . . . . . . . 357
Gabriela Guimarães and
Alfred Ultsch A Method for Temporal Knowledge
Conversion . . . . . . . . . . . . . . . 369
Daniele Gunetti and
Giancarlo Ruffo Intrusion Detection through Behavioral
Data . . . . . . . . . . . . . . . . . . 383
Paula E. Macrossan and
Hussein A. Abbass and
Kerry Mengersen and
Michael Towsey and
Gerard Finn Bayesian Neural Network Learning for
Prediction in the Australian Dairy
Industry . . . . . . . . . . . . . . . . 395
Doug Talbert and
Doug Fisher Exploiting Sample-Data Distributions to
Reduce the Cost of Nearest-Neighbor
Searches with $ K d $-Trees . . . . . . 407
David M. J. Tax and
Alexander Ypma and
Robert P. W. Duin Pump Failure Detection Using Support
Vector Data Descriptions . . . . . . . . 415
Thorsten Poddig and
Claus Huber Data Mining for the Detection of Turning
Points in Financial Time Series . . . . 427
Bokyung Yang-Stephens and
M. Charles Swope and
Jeffrey Locke and
Isabelle Moulinier Computer-Assisted Classification of
Legal Abstracts . . . . . . . . . . . . 437
Yoshitomo Ikkai and
Kazuhisa Ikeda and
Norihisa Komoda and
Akira Yamane and
Isao Tone Sequential Control Logic Inferring
Method from Observed Plant I/O Data . . 449
Gongxian Cheng and
Kwawen Cho and
Xiaohui Liu and
George Loizou and
John X. Wu Evaluating an Eye Screening Test . . . . 461
José M. Peña and
Sylvain Létourneau and
Fazel Famili Application of Rough Sets Algorithms to
Prediction of Aircraft Component Failure 473
J. Fuernkranz Exploiting Structural Information for
Text Classification on the WWW . . . . . 487
Johannes Fürnkranz Exploiting Structural Information for
Text Classification on the WWW . . . . . 487
Yong S. Choi and
Suk I. Yoo Multi-agent Web Information Retrieval:
Neural Network Based Approach . . . . . 499
Daniel R. Tauritz and
Ida G. Sprinkhuizen-Kuyper Adaptive Information Filtering
Algorithms . . . . . . . . . . . . . . . 513
Nastaran Fatemi and
Philippe Mulhem A Conceptual Graph Approach for Video
Data Representation and Retrieval . . . 525
Y. Frankel and
M. Yung and
P. MacKenzie Adaptively-Secure Distributed Public-Key
Systems . . . . . . . . . . . . . . . . 4
B. Korte How Long Does a Bit Live in a Computer? 28
R. Ravi and
F. S. Salman Approximation Algorithms for the
Traveling Purchaser Problem and Its
Variants in Network Design . . . . . . . 29
K. Diks and
D. Krizanc and
E. Kranakis and
A. Pelc The Impact of Knowledge on Broadcasting
Time in Radio Networks (Extended
Abstract) . . . . . . . . . . . . . . . 41
K. Iwama and
E. Miyano Multipacket Routing on $2$-D Meshes and
Its Application to Fault-Tolerant
Routing . . . . . . . . . . . . . . . . 53
P. Crescenzi and
L. Dardini and
R. Grossi IP Address Lookup Made Fast and Simple 65
A. Bar-Noy and
A. Freund and
J. Naor On-Line Load Balancing in a Hierarchical
Server Topology . . . . . . . . . . . . 77
F. M. Auf der Heide and
M. Westermann and
B. Voecking Provably Good and Practical Strategies
for Non-uniform Data Management in
Networks . . . . . . . . . . . . . . . . 89
S. J. Phillips and
J. R. Westbrook Approximation Algorithms for Restoration
Capacity Planning . . . . . . . . . . . 101
R. Bar-Yehuda and
D. Rawitz Efficient Algorithms for Integer
Programs with Two Variables per
Constraint (Extended Abstract) . . . . . 116
M. Skutella Convex Quadratic Programming Relaxations
for Network Scheduling Problems . . . . 127
R. H. Moehring and
F. Stork and
M. Uetz and
A. S. Schulz Resource-Constrained Project Scheduling:
Computing Lower Bounds by Solving
Minimum Cut Problems . . . . . . . . . . 139
L. Epstein and
J. Sgall Approximation Schemes for Scheduling on
Uniformly Related and Identical Parallel
Machines . . . . . . . . . . . . . . . . 151
Y. Azar and
O. Regev Off-Line Temporary Tasks Assignment . . 163
S. Bischof and
T. Schickinger and
A. Steger Load Balancing Using Bisectors --- A
Tight Average-Case Analysis . . . . . . 172
T. Jansen and
I. Wegener On the Analysis of Evolutionary
Algorithms --- A Proof That Crossover
Really Can Help . . . . . . . . . . . . 184
P. Nicodeme and
B. Salvy and
P. Flajolet Motif Statistics . . . . . . . . . . . . 194
V. Heun Approximate Protein Folding in the HP
Side Chain Model on Extended Cubic
Lattices (Extended Abstract) . . . . . . 212
A. Crauser and
P. Ferragina On Constructing Suffix Arrays in
External Memory . . . . . . . . . . . . 224
E. S. Laber and
R. L. Milidiu and
A. A. Pessoa Strategies for Searching with Different
Access Costs . . . . . . . . . . . . . . 236
C. Ting and
M.-Y. Kao On the Informational Asymmetry between
Upper and Lower Bounds for Ultrametric
Evolutionary Trees . . . . . . . . . . . 248
F. Cicalese and
D. Mundici Optimal Binary Search with Two
Unreliable Tests and Minimum
Adaptiveness . . . . . . . . . . . . . . 257
S. Roura Improving Mergesort for Linked Lists . . 267
G. Manzini Efficient Algorithms for On-Line Symbol
Ranking Compression (Extended Abstract) 277
E. J. Anderson and
A. R. Karlin and
K. Hildrum and
A. Rasala On List Update and Work Function
Algorithms . . . . . . . . . . . . . . . 289
W. W. Bein and
L. L. Larmore and
M. Chrobak The $3$-Server Problem in the Plane
(Extended Abstract) . . . . . . . . . . 301
V. Berry and
T. Jiang and
P. Kearney and
M. Li Quartet Cleaning: Improved Algorithms
and Simulations . . . . . . . . . . . . 313
B. Gaertner Fast and Robust Smallest Enclosing Balls 325
E. Nardelli and
M. Talamo and
P. Vocca Efficient Searching for
Multi-dimensional Data Made Simple
(Extended Abstract) . . . . . . . . . . 339
B. Chazelle Geometric Searching over the Rationals 354
D. V. Finocchiaro and
M. Pellegrini On Computing the Diameter of a Point Set
in High Dimensional Euclidean Space . . 366
S. G. Kolliopoulos and
S. Rao A Nearly Linear-Time Approximation
Scheme for the Euclidean $k$-median
Problem . . . . . . . . . . . . . . . . 378
A. Bar-Noy and
M. M. Halldorsson and
G. Kortsarz and
R. Salman Sum Multi-coloring of Graphs . . . . . . 390
P. Krysta and
K. Lorys Efficient Approximation Algorithms for
the Achromatic Number . . . . . . . . . 402
T. Ishii and
H. Nagamochi and
T. Ibaraki Augmenting a $ (k - 1)
$-Vertex-Connected Multigraph to an
$1$-Edge-Connected and
$k$-Vertex-Connected Multigraph . . . . 414
B. Verweij and
K. Aardal An Optimisation Algorithm for Maximum
Independent Set with Applications in Map
Labelling . . . . . . . . . . . . . . . 426
M.-Y. Kao and
T.-W. Lam and
W.-K. Sung and
H.-F Ting A Decomposition Theorem for Maximum
Weight Bipartite Matchings with
Applications to Evolutionary Trees . . . 438
L. Drori and
D. Peleg Faster Exact Solutions for Some NP-Hard
Problems (Extended Abstract) . . . . . . 450
L. Moura A Polyhedral Algorithm for Packings and
Designs . . . . . . . . . . . . . . . . 462
A. Akhavi Threshold Phenomena in Random Lattices
and Efficient Reduction Algorithms . . . 476
A. A. Ageev On Finding the Maximum Number of
Disjoint Cuts in Seymour Graphs . . . . 490
J. Cheriyan and
T. Jordan and
R. Ravi On $2$-Coverings and $2$-Packings of
Laminar Families . . . . . . . . . . . . 510
I. Pak Random Cayley Graphs with $ O(\log |G|)
$ Generators Are Expanders . . . . . . . 521
P. Hell and
R. Shamir and
R. Sharan A Fully Dynamic Algorithm for
Recognizing and Representing Proper
Interval Graphs . . . . . . . . . . . . 527
X. He and
M.-Y. Kao and
H.-I. Lu A Fast General Methodology for
Information Theoretically Optimal
Encodings of Graphs . . . . . . . . . . 540
Miklós Ajtai Generating Hard Instances of the Short
Basis Problem . . . . . . . . . . . . . 1
Luca Cardelli Wide Area Computation . . . . . . . . . 10
Kevin J. Compton and
Scott Dexter Proof Techniques for Cryptographic
Protocols . . . . . . . . . . . . . . . 25
Karl Crary and
Greg Morrisett Type Structure for Low-Level Programming
Languages . . . . . . . . . . . . . . . 40
Felipe Cucker Real Computations with Fake Numbers . . 55
N. G. de Bruijn A Model for Associative Memory, a Basis
for Thinking and Consciousness . . . . . 74
N. G. De Bruijn A Model for Associative Memory, a Basis
for Thinking and Consciousness . . . . . 74
Abbas Edalat and
Marko Krznari\'c Numerical Integration with Exact Real
Arithmetic . . . . . . . . . . . . . . . 90--104
Juris Hartmanis Observations about the Nature and State
of Computer Science (Keynote Address) 105
Grzegorz Rozenberg and
Arto Salomaa DNA Computing: New Ideas and Paradigms 106
Jeffrey Scott Vitter Online Data Structures in External
Memory . . . . . . . . . . . . . . . . . 119
Osamu Watanabe From Computational Learning Theory to
Discovery Science . . . . . . . . . . . 134
Eric Allender and
Andris Ambainis and
David A. Mix Barrington and
Samir Datta and
Huong LêThanh Bounded Depth Arithmetic Circuits:
Counting and Closure . . . . . . . . . . 149
Rajeev Alur and
Kousha Etessami and
Salvatore La Torre and
Doron Peled Parametric Temporal Logic for ``Model
Measuring`` . . . . . . . . . . . . . . 159
Rajeev Alur and
Sampath Kannan and
Mihalis Yannakakis Communicating Hierarchical State
Machines . . . . . . . . . . . . . . . . 169
Alexander E. Andreev and
Juri L. Baskakov and
Andrea E. F. Clementi and
José D. P. Rolim Small Pseudo-Random Sets Yield Hard
Functions: New Tight Explicit Lower
Bounds for Branching Programs (Extended
Abstract) . . . . . . . . . . . . . . . 179
Marek A. Bednarczyk and
Andrzej M. Borzyszkowski General Morphisms of Petri Nets
(Extended Abstract) . . . . . . . . . . 190
Piotr Berman and
Marek Karpinski On Some Tighter Inapproximability
Results (Extended Abstract) . . . . . . 200
Patricia Bouyer and
Antoine Petit Decomposition and Composition of Timed
Automata . . . . . . . . . . . . . . . . 210
Harry Buhrman and
Tao Jiang and
Ming Li and
Paul Vitányi New Applications of the
Incompressibility Method (Extended
Abstract) . . . . . . . . . . . . . . . 220
Luca Cardelli and
Giorgio Ghelli and
Andrew D. Gordon Mobility Types for Mobile Ambients . . . 230
Peter Clote Protein Folding, the Levinthal Paradox
and Rapidly Mixing Markov Chains . . . . 240
Veronique Cortier and
Harald Ganzinger and
Florent Jacquemard and
Margus Veanes Decidable Fragments of Simultaneous
Rigid Reachability . . . . . . . . . . . 250
M. Crochemore and
F. Mignosi and
A. Restivo and
S. Salemi Text Compression Using Antidictionaries 261
A. De Santis and
G. Di Crescenzo and
G. Persiano Non-interactive Zero-Knowledge: A
Low-Randomness Characterization of NP
(Extended Abstract) . . . . . . . . . . 271
A. De Santis and
G. Di Crescenzo and
G. Persiano Non-interactive Zero-Knowledge: A
Low-Randomness Characterization of NP 271
M. Dickhoefer and
T. Wilke Timed Alternating Tree Automata: The
Automata-Theoretic Solution to the TCTL
Model Checking Problem . . . . . . . . . 281
Martin Dickhöfer and
Thomas Wilke Timed Alternating Tree Automata: The
Automata-Theoretic Solution to the TCTL
Model Checking Problem . . . . . . . . . 281
Yevgeniy Dodis and
Sanjeev Khanna Space-Time Tradeoffs for Graph
Properties . . . . . . . . . . . . . . . 291
C. Dufourd and
P. Jan\vcar and
Ph. Schnoebelen Boundedness of Reset P/T Nets . . . . . 301
Joost Engelfriet and
Hendrik Jan Hoogeboom Two-Way Finite State Transducers and
Monadic Second-Order Logic . . . . . . . 311
Sergio Flesca and
Sergio Greco Partially Ordered Regular Languages for
Graph Queries (Extended Abstract) . . . 321
Markus Frick and
Martin Grohe Deciding First-Order Properties of
Locally Tree-Decomposable Graphs . . . . 331
Vashti Galpin Comparison of Process Algebra
Equivalences Using Formats . . . . . . . 341
Cyril Gavoille and
Nicolas Hanusse Compact Routing Tables for Graphs of
Bounded Genus (Extended Abstract) . . . 351
Georg Gottlob and
Nicola Leone and
Francesco Scarcello Computing LOGCFL Certificates . . . . . 361
Roberto Grossi and
Giuseppe F. Italiano Efficient Techniques for Maintaining
Multidimensional Keys in Linked Data
Structures (Extended Abstract) . . . . . 372
Arvind Gupta and
Damon Kaller and
Thomas Shermer On the Complements of Partial $k$-Trees 382
Mikael Hammar and
Bengt J. Nilsson Approximation Results for Kinetic
Variants of TSP . . . . . . . . . . . . 392
Yehuda Hassin and
David Peleg Distributed Probabilistic Polling and
Applications to Proportionate Agreement 402
Yu Zhang and
Alan K. Mackworth A Multi-level Constraint-Based
Controller for the Dynamo98 Robot Soccer
Team . . . . . . . . . . . . . . . . . . 402
Yoram Hirshfeld and
Mark Jerrum Bisimulation Equivalence Is Decidable
for Normed Process Algebra (Extended
Abstract) . . . . . . . . . . . . . . . 412
Yoram Hirshfeld and
Alexander Rabinovich A Framework for Decidable Metrical
Logics . . . . . . . . . . . . . . . . . 422
Juraj Hromkovi\vc and
Georg Schnitger On the Power of Las Vegas. II. Two-Way
Finite Automata . . . . . . . . . . . . 433
Kazuo Iwama and
David Manlove and
Shuichi Miyazaki and
Yasufumi Morita Stable Marriage with Incomplete Lists
and Ties . . . . . . . . . . . . . . . . 443
Tao Jiang and
Ming Li and
Paul Vitányi Average-Case Complexity of Shellsort
(Preliminary Version) . . . . . . . . . 453--462
Dong Kyue Kim and
Kunsoo Park Linear-Time Construction of
Two-Dimensional Suffix Trees (Extended
Abstract) . . . . . . . . . . . . . . . 463--472
Daniel Kirsten A Connection between the Star Problem
and the Finite Power Property in Trace
Monoids (Extended Abstract) . . . . . . 473
Daniel Kirsten and
Jerzy Marcinkowski Two Techniques in the Area of the Star
Problem . . . . . . . . . . . . . . . . 483
Matthias Krause and
Petr Savický and
Ingo Wegener Approximations by OBDDs and the Variable
Ordering Problem . . . . . . . . . . . . 493
Antonín Ku\vcera and
Richard Mayr Simulation Preorder on Simple Process
Algebras . . . . . . . . . . . . . . . . 503
Cosimo Laneve and
Björn Victor Solos in Concert . . . . . . . . . . . . 513
Mark Lanthier and
Anil Maheshwari and
Jörg-Rüdiger Sack Shortest Anisotropic Paths on Terrains 524
A. Lepistö Relations between Local and Global
Periodicity of Words . . . . . . . . . . 534
A. Lepistoe Relations Between Local and Global
Periodicity of Words (Extended Abstract) 534
Andrzej Lingas and
Hans Olsson and
Anna Östlin Efficient Merging, Construction, and
Maintenance of Evolutionary Trees . . . 544
Marino Miculan Formalizing a Lazy Substitution Proof
System for $ \mu $-Calculus in the
Calculus of Inductive Constructions . . 554--564
Codrin Nichitiu and
Eric Rémila Leader Election by $d$ Dimensional
Cellular Automata . . . . . . . . . . . 565
Rolf Niedermeier and
Peter Rossmanith New Upper Bounds for MaxSat . . . . . . 575
Vadim Olshevsky and
Victor Y. Pan Polynomial and Rational Evaluation and
Interpolation (with Structured Matrices) 585
Rasmus Pagh Low Redundancy in Static Dictionaries
with $ O(1) $ Worst Case Lookup Time . . 595
Timo Peichl and
Heribert Vollmer Finite Automata with Generalized
Acceptance Criteria . . . . . . . . . . 605
David Peleg and
Eilon Reshef A Variant of the Arrow Distributed
Directory with Low Average Complexity
(Extended Abstract) . . . . . . . . . . 615
John Power and
Hayo Thielecke Closed Freyd- and $ \kappa $-Categories 625
Jon G. Riecke and
Hayo Thielecke Typed Exceptions and Continuations
Cannot Macro-Express Each Other . . . . 635
J. J. M. M. Rutten Automata, Power Series, and Coinduction:
Taking Input Derivatives Seriously
(Extended Abstract) . . . . . . . . . . 645
Peter Sanders Accessing Multiple Sequences Through Set
Associative Caches . . . . . . . . . . . 655
Géraud Sénizergues $ T(A) = T(B) $? . . . . . . . . . . . . 665
Mario Szegedy Many-Valued Logics and Holographic
Proofs . . . . . . . . . . . . . . . . . 676
Christopher Umans On the Complexity and Inapproximability
of Shortest Implicant Problems . . . . . 687
Klaus Weihrauch and
Ning Zhong The Wave Propagator Is Turing Computable 697
Gerhard J. Woeginger An FPTAS for Agreeably Weighted Variance
on a Single Machine (Extended Abstract) 707
A. Tiskin Erratum: Bulk-Synchronous Parallel
Multiplication of Boolean Matrices . . . 717
Anonymous Author Index . . . . . . . . . . . . . . 719
Takuya Kida and
Masayuki Takeda and
Ayumi Shinohara and
Setsuo Arikawa Shift-And Approach to Pattern Matching
in LZW Compressed Text . . . . . . . . . 1
Gonzalo Navarro and
Mathieu Raffinot A General Practical Approach to Pattern
Matching over Ziv--Lempel Compressed
Text . . . . . . . . . . . . . . . . . . 14
Yusuke Shibata and
Masayuki Takeda and
Ayumi Shinohara and
Setsuo Arikawa Pattern Matching in Text Compressed by
Using Antidictionaries . . . . . . . . . 37
David Liben-Nowell On the Structure of Syntenic Distance 50
Serafim Batzoglou and
Sorin Istrail Physical Mapping with Repeated Probes:
The Hypergraph Superstring Problem . . . 66
Nadia El-Mabrouk and
David Sankoff Hybridization and Genome Rearrangement 78
Amir Ben-Dor and
Itsik Pe'er and
Ron Shamir and
Roded Sharan On the Complexity of Positional
Sequencing by Hybridization . . . . . . 88
Giuseppe Lancia and
R. Ravi GESTALT: Genomic Steiner Alignments . . 101
Daniel S. Hirschberg Bounds on the Number of String
Subsequences . . . . . . . . . . . . . . 115
Jeong Seop Sim and
Costas S. Iliopoulos and
Kunsoo Park and
William F. Smyth Approximate Periods of Strings . . . . . 123
Gerth Stòlting Brodal and
Rune B. Lyngsò and
Christian N. S. Pedersen and
Jens Stoye Finding Maximal Pairs with Bounded Gap 134
H. Yakoo A Dynamic Data Structure for Reverse
Lexicographically Sorted Prefixes . . . 150
Hidetoshi Yokoo A Dynamic Data Structure for Reverse
Lexicographically Sorted Prefixes . . . 150
Gonzalo Navarro and
Ricardo Baeza-Yates A New Indexing Method for Approximate
String Matching . . . . . . . . . . . . 163
J. Karhumaeki and
W. Plandowski and
W. Rytter The Compression of Subsegments of Images
Described by Finite Automata . . . . . . 186
Juhani Karhumäki and
Wojciech Plandowski and
Wojciech Rytter The Compression of Subsegments of Images
Described by Finite Automata . . . . . . 186
Strahil Ristov and
Eric Laporte Ziv Lempel Compression of Huge Natural
Language Data Tries Using Suffix Arrays 196
Tatsuya Akutsu and
Kyotetsu Kanaya and
Akira Ohyama and
Asao Fujiyama Matching of Spots in $2$D
Electrophoresis Images. Point Matching
Under Non-uniform Distortions . . . . . 212
Carola Wenk Applying an Edit Distance to the
Matching of Tree Ring Sequences in
Dendrochronology . . . . . . . . . . . . 223
Gonzalo Navarro and
Ricardo Baeza-Yates Fast Multi-dimensional Approximate
Pattern Matching . . . . . . . . . . . . 243
Zhuozhi Wang and
Kaizhong Zhang Finding Common RNA Secondary Structures
from RNA Sequences . . . . . . . . . . . 258
W. Zhuozhi and
Z. Kaizhong Finding Common RNA Secondary Structures
from RNA Sequences . . . . . . . . . . . 258
Patricia A. Evans Finding Common Subsequences with Arcs
and Pseudoknots . . . . . . . . . . . . 270
Z. Kaizhong and
W. Lusheng and
M. Bin Computing Similarity between RNA
Structures . . . . . . . . . . . . . . . 281
Kaizhong Zhang and
Lusheng Wang and
Bin Ma Computing Similarity between RNA
Structures . . . . . . . . . . . . . . . 281
N. R. Jennings Agent-Oriented Software Engineering . . 1--7
D. E. Herlea and
C. M. Jonker and
J. Treur and
N. J. E. Wijngaards Specification of Behavioural
Requirements within Compositional
Multi-agent System Design . . . . . . . 8--27
K. S. Barber and
T. H. Liu and
D. C. Han Agent-Oriented Design . . . . . . . . . 28--40
P. Charlton and
E. Mamdani A Developer's Perspective on Mult-agent
System Design . . . . . . . . . . . . . 41--51
F. Bergenti and
A. Poggi A Development Environment for the
Realization of Open and Scalable
Multi-agent Systems . . . . . . . . . . 52--62
V. Botti and
C. Carrascosa and
V. Julian and
J. Soler Modelling Agents in Hard Real-Time
Environments . . . . . . . . . . . . . . 63--76
M. Cremonini and
A. Omicini and
F. Zambonelli Multi-agent Systems on the Internet.
Extending the Scope of Coordination
towards Security and Topology . . . . . 77--88
Amal El Fallah-Seghrouchni and
S. Haddad and
H. Mazouzi Protocol Engineering for Multi-agent
Interaction . . . . . . . . . . . . . . 89--101
J. Pitt and
A. Mamdani Designing Agent Communication Languages
for Multi-agent Systems . . . . . . . . 102--114
T. Carron and
H. Proton and
O. Boissier A Temporal Agent Communication Language
for Dynamic Multi-agent Systems . . . . 115--127
A. Amandi and
A. Zunino and
R. Iturregui Multi-paradigm Languages Supporting
Multi-agent Development . . . . . . . . 128--139
M. Schroeder An Efficient Argumentation Framework for
Negotiating Autonomous Agents . . . . . 140--149
M. Barbuceanu Negotiating Service Provisioning . . . . 150--161
N. Griffiths and
M. Luck Cooperative Plan Selection through Trust 162--174
N. David and
J. S. Sichman and
H. Coelho Extending Social Reasoning to Cope with
Multiple Partner Coalitions . . . . . . 175--187
C. Castelfranchi and
R. Falcone Basic Mental Attitudes of a
Collaborating Agent: Cognitive
Primitives for MAS . . . . . . . . . . . 188--209
A. Moreno and
U. Cortes and
T. Sales Subjective Situations . . . . . . . . . 210--220
C. M. Jonker and
J. Treur Formal Analysis of Models for the
Dynamics of Trust Based on Experiences 221--232
Neil Daswani and
Dan Boneh Experimenting with Electronic Commerce
on the PalmPilot . . . . . . . . . . . . 1--16
Hugo Krawczyk Blinding of Credit Card Numbers in the
SET Protocol . . . . . . . . . . . . . . 17--28
Ari Juels Trustee Tokens: Simple and Practical
Anonymous Digital Coin Tracing . . . . . 29--45
Tomas Sander and
Amnon Ta-Shma Flow Control: A New Approach for
Anonymity Control in Electronic Cash
Systems . . . . . . . . . . . . . . . . 46--61
Yacov Yacobi Risk Management for E-Cash Systems with
Partial Real-Time Audit . . . . . . . . 62--71
Kazuo J. Ezawa and
Gregory Napiorkowski and
Mariusz Kossarski Assessment of Effectiveness of
Counterfeit Transaction Detection
Systems for Smart Card Based Electronic
Cash . . . . . . . . . . . . . . . . . . 72--85
Reto Kohlas and
Ueli Maurer Reasoning about Public-Key
Certification: On Bindings between
Entities and Public Keys . . . . . . . . 86--103
Barbara Fox and
Brian LaMacchia Online Certificate Status Checking in
Financial Transactions: The Case for
Re-issuance . . . . . . . . . . . . . . 104--117
Adi Shamir and
Nicko van Someren Playing ``Hide and Seek'' with Stored
Keys . . . . . . . . . . . . . . . . . . 118--124
Markus Breitbach and
Hideki Imai On Channel Capacity and Modulation of
Watermarks in Digital Still Images . . . 125--139
Michel Abdalla and
Yuval Shavitt and
Avishai Wool Towards Making Broadcast Encryption
Practical . . . . . . . . . . . . . . . 140--157
David W. Kravitz and
David M. Goldschlag Conditional Access Concepts and
Principles . . . . . . . . . . . . . . . 158--172
Jon Callas and
Joan Feigenbaum and
David Goldschlag and
Erin Sawyer Fair Use, Intellectual Property, and the
Information Economy (Panel Session
Summary) . . . . . . . . . . . . . . . . 173--183
Stuart Schechter and
Todd Parnell and
Alexander Hartemink Anonymous Authentication of Membership
in Dynamic Groups . . . . . . . . . . . 184--195
Giuseppe Ateniese and
Gene Tsudik Some Open Issues and New Directions in
Group Signatures . . . . . . . . . . . . 196--211
Philip MacKenzie and
Jeffrey Sorensen Anonymous Investing: Hiding the
Identities of Stockholders . . . . . . . 212--229
Stuart G. Stubblebine and
Paul F. Syverson Fair On-Line Auctions without Special
Trusted Parties . . . . . . . . . . . . 230--240
Yair Frankel and
Moti Yung Cryptosystems Robust against ``Dynamic
Faults'' Meet Enterprise Needs for
Organizational ``Change Control'' . . . 241--252
Markus Jakobsson and
Joy Müller Improved Magic Ink Signatures Using
Hints . . . . . . . . . . . . . . . . . 253--267
J. D. Ullman Some Advances in Data-Mining Techniques 1
Z. Bar-Yossef and
Y. Kanza and
Y. Kogan and
W. Nutt Querying Semantically Tagged Documents
on the World-WideWeb . . . . . . . . . . 2
D. Konopnicki and
O. Shmueli WWW Exploration Queries . . . . . . . . 20
P. Shoval and
B. Shapira and
U. Hanani Strategies for Filtering E-mail Messages
Combining Content-Based and Sociological
Filtering with User-Stereotypes . . . . 40
C. Oliveira and
L. G. V. Resende and
R. Lehmann Interactive Query Expansion in a
Meta-search Engine . . . . . . . . . . . 50
A. Henrich and
S. Jamin On the Optimization of Queries
Containing Regular Path Expressions . . 58
P. Baumann A Database Array Algebra for
Spatio-Temporal Data and Beyond . . . . 76
A. Sapir and
E. Gudes Dynamic Relationships and Their
Propagation and Concurrency Semantics in
Object-Oriented Databases . . . . . . . 94
O. Wolfson and
P. Sistla and
B. Xu and
J. Zhou Tracking Moving Objects Using Database
Technology in DOMINO . . . . . . . . . . 112
L. Mengchi OLOG: A Deductive Object Database
Language . . . . . . . . . . . . . . . . 120
A. Motro Multiplex: A Formal Model for
Multidatabases and Its Implementation 138
M. Golani and
O. Etzion Temporal Active Rules . . . . . . . . . 159
Y. Birk and
M. Mokryn Cost-Effective Jukebox Storage via
Hybrid File-Block Caching . . . . . . . 173
V. Christophides and
C. Houstis and
S. Lalis and
H. Tsalapata Onthology-Driven Integration of
Scientific Repositories . . . . . . . . 190
M. Schoenhoff and
M. Straessler Global Version Management for a
Federated Turbine Design Environment . . 203
M. Peleg and
D. Dori From Object-Process Diagrams to a
Natural Object-Process Language . . . . 221
O. Edelstein and
A. Yaeli and
G. Zodik e-Colabra: An Enterprise Collaboration
and Reuse Environment . . . . . . . . . 229
C. Mohan Workflow Management in the Internet Age 237
P. Koksal and
I. Cingil and
A. Dogac A Component-Based Workflow System with
Dynamic Modifications . . . . . . . . . 238
N. K. Cicekli A Temporal Reasoning Approach to Model
Workflow Activities . . . . . . . . . . 256
Y. Gidron and
I. Ben-Shaul and
Y. Aridor Dynamic Configuration and Enforcement of
Access Control for Mobile Components . . 267
J. E. Wolff and
A. B. Cremers The My VIEW Project: A Data Warehousing
Approach to Personalized Digital
Libraries . . . . . . . . . . . . . . . 277
S. Nestorov and
S. Tsur Integrating Data Mining with Relational
DBMS: A Tightly-Coupled Approach . . . . 295
D. Carmel and
Y. S. Maarek Morphological Disambiguation for Hebrew
Search Systems . . . . . . . . . . . . . 312
Josep Lluís Arcos and
Dolores Cañamero and
Ramon López de Mántaras Affect-Driven CBR to Generate Expressive
Music . . . . . . . . . . . . . . . . . 1
Enrico Blanzieri and
Francesco Ricci Probability Based Metrics for Nearest
Neighbor Classification and Case-Based
Reasoning . . . . . . . . . . . . . . . 14
L. Karl Branting Active Exploration in Instance-Based
Preference Modeling . . . . . . . . . . 29
L. Karl Branting and
Yi Tao A Multiple-Domain Evaluation of
Stratified Case-Based Reasoning . . . . 44
S. Brueninghaus and
K. D. Ashley Bootstrapping Case Base Development with
Annotated Case Summaries . . . . . . . . 59
Stefanie Brüninghaus and
Kevin D. Ashley Bootstrapping Case Base Development with
Annotated Case Summaries . . . . . . . . 59
Christina Carrick and
Qiang Yang and
Irene Abi-Zeid and
Luc Lamontagne Activating CBR Systems through
Autonomous Information Gathering . . . . 74
Juan Manuel Adán Coello and
Ronaldo Camilo dos Santos Integrating CBR and Heuristic Search for
Learning and Reusing Solutions in
Real-Time Task Scheduling . . . . . . . 89
Béatrice Fuchs and
Jean Lieber and
Alain Mille and
Amedeo Napoli Towards a Unified Theory of Adaptation
in Case-Based Reasoning . . . . . . . . 104
Béatrice Fuchs and
Alain Mille A Knowledge-Level Task Model of
Adaptation in Case-Based Reasoning . . . 118
M. Goeker and
T. Roth-Berghofer Development and Utilization of a
Case-Based Help-Desk Support System in a
Corporate Environment . . . . . . . . . 132
Mehmet Göker and
Thomas Roth-Berghofer Development and Utilization of a
Case-Based Help-Desk Support System in a
Corporate Environment . . . . . . . . . 132
Mercedes Gómez-Albarrán and
Pedro A. González-Calero and
Belén Díaz-Agudo and
Carlos Fernández-Conde Modelling the CBR Life Cycle Using
Description Logics . . . . . . . . . . . 147
Andrés Gómez de Silva Garza and
Mary Lou Maher An Evolutionary Approach to Case
Adaptation . . . . . . . . . . . . . . . 162
A. Gomez de Silva Garza and
M. L. Maher An Evolutionary Approach to Case
Adaptation . . . . . . . . . . . . . . . 162
C. Gresse von Wangenheim REMEX --- A Case-Based Approach for
Reusing Software Measurement
Experienceware . . . . . . . . . . . . . 173
Christiane Gresse von Wangenheim REMEX --- A Case-Based Approach for
Reusing Software Measurement
Experienceware . . . . . . . . . . . . . 173
James H. Lawton and
Roy M. Turner and
Elise H. Turner A Unified Long-Term Memory System . . . 188
David B. Leake and
David C. Wilson Combining CBR with Interactive Knowledge
Acquisition, Manipulation, and Reuse . . 203
David B. Leake and
David C. Wilson When Experience Is Wrong: Examining CBR
for Changing Tasks and Environments . . 218
Celestino Lei and
Otakar Babka and
Laurinda A. G. Garanito Case Library Reduction Applied to Pile
Foundations . . . . . . . . . . . . . . 233
Bruce McLaren and
Kevin D. Ashley Case Representation, Acquisition, and
Retrieval in SIROCCO . . . . . . . . . . 248
Erica Melis and
Carsten Ullrich Flexibly Interleaving Processes . . . . 263
Héctor Muñoz-Avila A Case Retention Policy Based on
Detrimental Retrieval . . . . . . . . . 276
Héctor Muñoz-Avila and
Daniel C. McFarlane and
David W. Aha and
Len Breslow and
James A. Ballas and
Dana S. Nau Using Guidelines to Constrain
Interactive Case-Based HTN Planning . . 288
Luigi Portinale and
Pietro Torasso and
Paolo Tavano Speed-Up, Quality, and Competence in
Multi-modal Case-Based Reasoning . . . . 303
Alexander Seitz A Case-Based Methodology for Planning
Individualized Case Oriented Tutoring 318
Barry Smyth and
Elizabeth McKenna Building Compact Competent Case-Bases 329
Barry Smyth and
Elizabeth McKenna Footprint-Based Retrieval . . . . . . . 343
Iréne Abi-Zeid and
Qiang Yang and
Luc Lamontagne Is CBR Applicable to the Coordination of
Search and Rescue Operations? A
Feasibility Study . . . . . . . . . . . 358
Eric Auriol and
Richard M. Crowder and
Rob MacKendrick and
Roger Rowe and
Thomas Knudsen Integrating Case-Based Reasoning and
Hypermedia Documentation: An Application
for the Diagnosis of a Welding Robot at
Odense Steel Shipyard . . . . . . . . . 372
Riccardo Bellazzi and
Stefania Montani and
Luigi Portinale and
Alberto Riva Integrating Rule-Based and Case-Based
Decision Making in Diabetic Patient
Management . . . . . . . . . . . . . . . 386
Noël Conruy and
David Grosser Managing Complex Knowledge in Natural
Sciences . . . . . . . . . . . . . . . . 401
N. Conruyt and
D. Grosser Managing Complex Knowledge in Natural
Sciences . . . . . . . . . . . . . . . . 401
Paul Cuddihy and
William Cheetham ELSI: A Medical Equipment Diagnostic
System . . . . . . . . . . . . . . . . . 415
Michael Fagan and
Konrad Bloor Case-Based Reasoning for Candidate List
Extraction in a Marketing Domain . . . . 426
Valérie Ficet-Cauchard and
Christine Porquet and
Marinette Revenu CBR for the Reuse of Image Processing
Knowledge: A Recursive
Retrieval/Adaptation Strategy . . . . . 438
Younghyun Han and
Kunwoo Lee Virtual Function Generators:
Representing and Reusing Underlying
Design Concepts in Conceptual Synthesis
of Mechanisms for Function Generation 453
Conor Hayes and
Padraig Cunningham Shaping a CBR View with XML . . . . . . 468
David B. Leake and
Larry Birnbaum and
Kristian Hammond and
Cameron Marlow and
Hao Yang Integrating Information Resources: A
Case Study of Engineering Design Support 482
Julie Main and
Tharam S. Dillon A Hybrid Case-Based Reasoner for
Footwear Design . . . . . . . . . . . . 497
Cristina Melchiors and
Liane M. R. Tarouco Fault Management in Computer Networks
Using Case-Based Reasoning: DUMBO System 510
Petra Perner An Architecture for a CBR Image
Segmentation System . . . . . . . . . . 525
Herbert Praehofer and
Josef Kerschbaummayr Supporting Reusability in a System
Design Environment by Case-Based
Reasoning Techniques . . . . . . . . . . 535
Rainer Schmidt and
Bernhard Pollwein and
Lothar Gierl Case-Based Reasoning for Antibiotics
Therapy Advice . . . . . . . . . . . . . 550
Barry Smyth and
Paul Cotter Surfing the Digital Wave: Generating
Personalised TV Listings Using
Collaborative, Case-Based Recommendation 561
Hirokazu Taki and
Satoshi Hori and
Norihjiro Abe Case-Based Quality Management System
Using Expectation Values . . . . . . . . 572
Anil Varma ICARUS: Design and Deployment of a
Case-Based Reasoning System for
Locomotive Diagnostics . . . . . . . . . 581
Christos H. Papadimitriou Topological Queries . . . . . . . . . . 3
Timos Sellis Research Issues in Spatio-temporal
Database Systems . . . . . . . . . . . . 5
O. Guenther Looking Both Ways: SSD 1999 10 . . . . . 12
Oliver Günther Looking Both Ways: SSD 1999$ \pm $10 . . 12
John G. Stell and
Michael F. Worboys Generalizing Graphs Using Amalgamation
and Selection . . . . . . . . . . . . . 19
L. De Floriani and
P. Magillo and
E. Puppo Data Structures for Simplicial
Multi-complexes . . . . . . . . . . . . 33
Leila De Floriani and
Paola Magillo and
Enrico Puppo Data Structures for Simplicial
Multi-complexes . . . . . . . . . . . . 33
M. Hoerhammer and
M. Freeston Spatial Indexing with a Scale Dimension 52
Mike Hörhammer and
Michael Freeston Spatial Indexing with a Scale Dimension 52
C. Boehm and
G. Klump and
H.-P. Kriegel XZ-Ordering: A Space-Filling Curve for
Objects with Spatial Extension . . . . . 75
Christian Böhm and
Gerald Klump and
Hans-Peter Kriegel XZ-Ordering: A Space-Filling Curve for
Objects with Spatial Extension . . . . . 75
Rupesh Choubey and
Li Chen and
Elke A. Rundensteiner GBI: A Generalized $R$-Tree
Bulk-Insertion Strategy . . . . . . . . 91
Dieter Pfoser and
Christian S. Jensen Capturing the Uncertainty of
Moving-Object Representations . . . . . 111
Eddie C. Shek and
Giovanni Giuffrida and
Suhas Joshi and
Son K. Dao Dynamic Spatial Clustering for
Intelligent Mobile Information Sharing
and Dissemination . . . . . . . . . . . 132
Yannis Theodoridis and
Jefferson R. O. Silva and
Mario A. Nascimento On the Generation of Spatiotemporal
Datasets . . . . . . . . . . . . . . . . 147
Xiaofang Zhou and
David Truffet and
Jiawei Han Efficient Polygon Amalgamation Methods
for Spatial OLAP and Spatial Data Mining 167
Xuemin Lin and
Xiaomei Zhou and
Chengfei Liu Efficiently Matching Proximity
Relationships in Spatial Databases . . . 188
L. Xuemin and
Z. Xiaomei and
L. Chengfei Efficiently Matching Proximity
Relationships in Spatial Databases . . . 188
Mihael Ankerst and
Gabi Kastenmüller and
Hans-Peter Kriegel and
Thomas Seidl $3$D Shape Histograms for Similarity
Search and Classification in Spatial
Databases . . . . . . . . . . . . . . . 207
Ho-Hyun Park and
Guang-Ho Cha and
Chin-Wan Chung Multi-way Spatial Joins Using $R$-Trees:
Methodology and Performance Evaluation 229
Antonio Corral and
Michael Vassilakopoulos and
Yannis Manolopoulos Algorithms for Joining $R$-Trees and
Linear Region Quadtrees . . . . . . . . 251
Ludger Becker and
André Giesen and
Klaus H. Hinrichs and
Jan Vahrenhold Algorithms for Performing Polygonal Map
Overlay and Spatial Join on Massive Data
Sets . . . . . . . . . . . . . . . . . . 270
Apostolos Papadopoulos and
Philippe Rigaux and
Michel Scholl A Performance Evaluation of Spatial Join
Processing Strategies . . . . . . . . . 286
Agn\`es Voisard Abduction and Deduction in Geologic
Hypermaps . . . . . . . . . . . . . . . 311
Markus Schneider Uncertainty Management for Spatial Data
in Databases: Fuzzy Spatial Data Types 330
Siva Ravada and
Jayant Sharma Oracle8i Spatial: Experiences with
Extensible Databases . . . . . . . . . . 355
Maurizio Talamo and
Franco Arcieri and
Giancarlo Conia and
Enrico Nardelli SICC: An Exchange System for Cadastral
Information . . . . . . . . . . . . . . 360
Thomas Brinkhoff Requirements of Traffic Telematics to
Spatial Databases . . . . . . . . . . . 365
W. Truszkowski and
H. Hallock and
J. Kurien Agent Technology from a NASA Perspective 1
T. Ishida and
J.-I. Akahani and
K. Hiramatsu and
K. Isbister Digital City Kyoto: Towards a Social
Information Infrastructure . . . . . . . 34
E. Gelenbe Autonomous Search for Information in an
Unknown Environment . . . . . . . . . . 47
A. Brodsky and
L. Kerschberg and
S. Varas Resource Management in Agent-based
Distributed Environments . . . . . . . . 61
C. M. Jonker and
R. A. Lam and
J. Treur A Multi-Agent Architecture for an
Intelligent Website in Insurance . . . . 86
S. Saeyor and
M. Ishizuka Formation of Cooperative Behavior among
Information Agents in Web Repository
Change Monitoring Service . . . . . . . 101
S. Staab and
C. Braun and
I. Bruder and
A. Duesterhoeft GETESS --- Searching the Web Exploiting
German Texts . . . . . . . . . . . . . . 113
C. O'Riordan and
H. Sorensen An Agent-Based System for Intelligent
Collaborative Filtering . . . . . . . . 125
H. Gomaa Inter-Agent Communication in Cooperative
Information Agent-Based Systems . . . . 137
D. G. Sullivan and
A. Glass and
B. J. Grosz and
S. Kraus Intention Reconciliation in the Context
of Teamwork: An Initial Empirical
Investigation . . . . . . . . . . . . . 149
S. Puuronen and
V. Terziyan A Similarity Evaluation Technique for
Cooperative Problem Solving with a Group
of Agents . . . . . . . . . . . . . . . 163
S. M. Deen A Computational Model for a Cooperating
Agent System . . . . . . . . . . . . . . 175
C. Hanachi and
N. Hameurlain and
C. Sibertin-Blanc Mobile Agents Behaviours: From
Declarative Specifications to
Implementation . . . . . . . . . . . . . 196
W. Theilmann and
K. Rothermel Maintaining Specialized Search Engines
through Mobile Filter Agents . . . . . . 208
W. Vieira and
L. M. Camarinha-Matos Execution Monitoring in Adaptive Mobile
Agents . . . . . . . . . . . . . . . . . 220
Y. Kitamura and
Y. Mawarimichi and
S. Tatsumi Mobile-Agent Mediated Place Oriented
Communication . . . . . . . . . . . . . 232
M. P. Wellman Agents and Electronic Commerce:
Mechanisms and Protocols . . . . . . . . 243
M. P. Papazoglou The Role of Agent Technology in Business
to Business Electronic Commerce . . . . 245
L. Kerschberg and
S. Banerjee An Agency-Based Framework for Electronic
Business . . . . . . . . . . . . . . . . 265
X. F. Wang and
X. Yi and
K. Y. Lam and
C. Q. Zhang Secure Agent-Mediated Auctionlike
Negotiation Protocol for Internet Retail
Commerce . . . . . . . . . . . . . . . . 291
A. Sheth and
V. Kashyap and
T. Lima Semantic Information Brokering: How Can
a Multi-agent Approach Help? . . . . . . 303
T. Tesch and
P. Fankhauser Arbitration and Matchmaking for Agents
with Conflicting Interests . . . . . . . 323
P. Langley and
C. Thompson and
R. Elio and
A. Haddadi An Adaptive Conversational Interface for
Destination Advice . . . . . . . . . . . 347
M. Lewis Anticipation, Delegation, and
Demonstration: Why Talking to Agents Is
Hard . . . . . . . . . . . . . . . . . . 365
L. Van Elst and
F. Schmalhofer A Cooperative Comprehension Assistant
for Intranet-Based Information
Environments . . . . . . . . . . . . . . 390
D. S. Alexander and
J. M. Smith The Architecture of ALIEN . . . . . . . 1
S. Denazis and
K. Miki and
J. Vicente and
A. Campbell Designing Interfaces for Open
Programmable Routers . . . . . . . . . . 13
P. Menage Rcane: A Resource Controlled Framework
for Active Network Services . . . . . . 25
R. Sivakumar and
N. Venkitaraman and
V. Bharghavan The Protean Programmable Network
Architecture: Design and Initial
Experience . . . . . . . . . . . . . . . 37
M. Rizzo and
B. Briscoe and
J. Tassel and
K. Damianakis A Dynamic Pricing Framework to Support a
Scalable, Usage-Based Charging Model for
Packet-Switched Networks . . . . . . . . 48
I. Marshall and
M. Fry and
L. Velasco and
A. Ghosh Active Information Networks and XML . . 60
M. Sloman and
E. Lupu Policy Specification for Programmable
Networks . . . . . . . . . . . . . . . . 73
G. Vanet and
Y. Kiriha A Self-Configuring Data Caching
Architecture Based on Active Networking
Techniques . . . . . . . . . . . . . . . 85
L. Delgrossi and
G. Di Fatta and
D. Ferrari and
G. Lo Re Interference and Communications among
Active Network Applications . . . . . . 97
C. Baeumer and
T. Magedanz The Grasshopper Mobile Agent Platform
Enabling Short-Term Active Broadband
Intelligent Network Implementation . . . 109
R. Cardoe and
J. Finney and
A. C. Scott and
W. D. Shepherd LARA: A Prototype System for Supporting
High Performance Active Networking . . . 117
A. Cohen and
S. Rangarajan A Programming Interface for Supporting
IP Traffic Processing . . . . . . . . . 132
N. Mihai and
G. Vanecek New Generation of Control Planes in
Emerging Data Networks . . . . . . . . . 144
C. Tschudin An Active Networks Overlay Network
(ANON) . . . . . . . . . . . . . . . . . 156
I. Busse and
S. Covaci and
A. Leichsenring Autonomy and Decentralization in Active
Networks: A Case Study for Mobile Agents 165
D. C. Lee and
M. T. Jones and
S. F. Midkiff and
P. M. Athanas Towards Active Hardware . . . . . . . . 180
A. Juhola and
I. Marshall and
S. Covaci and
T. Velte The Impact of AN on Established Network
Operators . . . . . . . . . . . . . . . 188
D. P. A. Greenwood and
D. Gavalas Using Active Processes as the Basis for
an Integrated Distributed Network
Management Architecture . . . . . . . . 199
S. Norden and
K. F. Wong ANMAC: An Architectural Framework for
Network Management and Control Using
Active Networks . . . . . . . . . . . . 212
D. Raz and
Y. Shavitt An Active Network Approach to Efficient
Network Management . . . . . . . . . . . 220
J.-P. Redlich and
M. Suzuki and
S. Weinstein Virtual Networks for Customizable
Traffic Treatments . . . . . . . . . . . 232
K. Sugauchi and
S. Miyazaki and
K. Yoshida and
K. Nakane Flexible Network Management Using Active
Network Framework . . . . . . . . . . . 241
A. T. Campbell and
J. Vicente and
D. A. Villela Managing Spawned Virtual Networks . . . 249
S. Willmott and
B. Faltings Active Organisations for Routing . . . . 262
J.-H. Yeh and
R. Chow and
R. Newman A Dynamic Interdomain Communication Path
Setup in Active Network . . . . . . . . 274
B. Bhushan and
J. Hall Active Network Challenges to TMN . . . . 285
A. Kulkarni and
G. Minden and
V. Frost and
J. Evans Survivability of Active Networking
Services . . . . . . . . . . . . . . . . 299
G. Hjalmtysson and
S. Bhattacharjee Control on Demand . . . . . . . . . . . 315
S. Karnouskos and
I. Busse and
S. Covaci Agent Based Security for the Active
Network Infrastructure . . . . . . . . . 330
K. Siddiqi and
A. Tannenbaum and
S. W. Zucker A Hamiltonian Approach to the Eikonal
Equation . . . . . . . . . . . . . . . . 1
P. L. Worthington and
E. R. Hancock Topographic Surface Structure from $2$D
Images Using Shape-from-Shading . . . . 14
D. Zhang and
M. Hebert Harmonic Shape Images: A Representation
for $3$D Free-Form Surfaces Based on
Energy Minimization . . . . . . . . . . 30
P. Donatini and
P. Frosini and
C. Landi Deformation Energy for Size Functions 44
M. A. T. Figueiredo and
J. M. N. Leitao and
A. K. Jain On Fitting Mixture Models . . . . . . . 54
M. A. Cazorla and
F. Escolano and
D. Gallardo and
R. Rizo Bayesian Models for Finding and Grouping
Junctions . . . . . . . . . . . . . . . 70
A. Chardin and
P. Perez Semi-iterative Inferences with
Hierarchical Energy-Based Models for
Image Analysis . . . . . . . . . . . . . 83
X. Descombes and
E. Pechersky Metropolis vs Kawasaki Dynamic for Image
Segmentation Based on Gibbs Models . . . 99
A. Jalobeanu and
L. Blanc-Feraud and
J. Zerubia Hyperparameter Estimation for Satellite
Image Restoration by a MCMCML Method . . 115
R. D. Morris Auxiliary Variables for Markov Random
Fields with Higher Order Interactions 131
P. Rostaing and
J.-N. Provost and
C. Collet Unsupervised Multispectral Image
Segmentation Using Generalized Gaussian
Noise Model . . . . . . . . . . . . . . 142
J. M. B. Dias Adaptive Bayesian Contour Estimation: A
Vector Space Representation Approach . . 157
T. Kubota Adaptive Pixel-Based Data Fusion for
Boundary Detection . . . . . . . . . . . 173
J. M. Coughlan and
A. L. Yuille Bayesian Tree Search with Expected $
O(N) $ Convergence Rates for Road
Tracking . . . . . . . . . . . . . . . . 189
Y. Boykov and
O. Veksler and
R. Zabih A New Algorithm for Energy Minimization
with Discontinuities . . . . . . . . . . 205
A. D. J. Cross and
E. R. Hancock Convergence of a Hill Climbing Genetic
Algorithm for Graph Matching . . . . . . 221
A. Rangarajan and
H. Chui and
E. Mjolsness A New Distance Measure for Non-rigid
Image Matching . . . . . . . . . . . . . 237
A. Torsello and
M. Pelillo Continuous-Time Relaxation Labeling
Processes . . . . . . . . . . . . . . . 253
L. Yin and
A. Basu Realistic Animation Using Extended
Adaptive Mesh for Model Based Coding . . 269
P. M. Q. Aguiar and
J. M. F. Moura Maximum Likelihood Inference of $3$D
Structure from Image Sequences . . . . . 285
J. Oakley and
J. Missimer and
G. Szekely Magnetic Resonance Imaging Based
Correction and Reconstruction of
Positron Emission Tomography Images . . 301
M. Svensen and
F. Kruggel and
D. Y. Von Cramon Markov Random Field Modelling of fMRI
Data Using a Mean Field EM-algorithm . . 317
Peter Aczel On Relating Type Theories and Set
Theories . . . . . . . . . . . . . . . . 1
René Ahn and
Tijn Borghuis Communication Modelling and
Context-Dependent Interpretation: An
Integrated Approach . . . . . . . . . . 19
Thierry Coquand and
Henrik Persson Gröbner Bases in Type Theory . . . . . . 33
Joëlle Despeyroux and
Pierre Leleu A Modal Lambda Calculus with Iteration
and Case Constructs . . . . . . . . . . 47
Gilles Dowek and
Benjamin Werner Proof Normalization Modulo . . . . . . . 62
Jean-Christophe Filliâtre Proof of Imperative Programs in Type
Theory . . . . . . . . . . . . . . . . . 78
Daniel Fridlender An Interpretation of the Fan Theorem in
Type Theory . . . . . . . . . . . . . . 93
Jean Goubault-Larrecq Conjunctive Types and SKInT . . . . . . 106
Florian Kammüller Modular Structures as Dependent Types in
Isabelle . . . . . . . . . . . . . . . . 121
Thomas Kleymann Metatheory of Verification Calculi in
LEGO . . . . . . . . . . . . . . . . . . 133
Luigi Liquori Bounded Polymorphism for Extensible
Objects . . . . . . . . . . . . . . . . 149
Maria Emilia Maietti About Effective Quotients in
Constructive Type Theory . . . . . . . . 164
Frank Pfenning and
Carsten Schürmann Algorithms for Equality and Unification
in the Presence of Notational
Definitions . . . . . . . . . . . . . . 179
Giovanni Sambin and
Silvia Gebellato A Preview of the Basic Picture: A New
Perspective on Formal Topology . . . . . 194
Rüdiger Wehner Large-Scale Navigation: The Insect Case 1
T. Roefer Route navigation using motion analysis 21
Thomas Röfer Route Navigation Using Motion Analysis 21
Molly E. Sorrows and
Stephen C. Hirtle The nature of landmarks for real and
electronic spaces . . . . . . . . . . . 37
Barbara Tversky and
Paul U. Lee Pictorial and Verbal Tools for Conveying
Routes . . . . . . . . . . . . . . . . . 51
Kristin L. Lovelace and
Mary Hegarty and
Daniel R. Montello Elements of good route directions in
familiar and unfamiliar environments . . 65
Sylvie Fontaine and
Michel Denis The production of route instructions in
underground and urban environments . . . 83
Andrew U. Frank One step up the abstraction ladder:
Combining algebras --- from functional
pieces to a whole . . . . . . . . . . . 95
Emilio Remolina and
Juan A. Fernandez and
Benjamin Kuipers and
Javier Gonzalez Formalizing regions in the spatial
semantic hierarchy: An AH-graphs
implementation approach . . . . . . . . 109
Sabine Timpf Abstraction, levels of detail, and
hierarchies in map series . . . . . . . 125
Stephan Winter Topological Relations in Hierarchical
Partitions . . . . . . . . . . . . . . . 141
Carola Eschenbach A predication calculus for qualitative
spatial representations . . . . . . . . 157
Gérard Ligozat Simple Models for Simple Calculi . . . . 173
R. Moeller and
M. Wessel Terminological default reasoning about
spatial information: A first step . . . 189
Ralf Möller and
Michael Wessel Terminological Default Reasoning about
Spatial Information: A First Step . . . 189
Lars Kulik and
Alexander Klippel Reasoning about cardinal directions
using grids as qualitative geographic
coordinates . . . . . . . . . . . . . . 205
Nicola Guarino The Role of Identity Conditions in
Ontology Design . . . . . . . . . . . . 221
Claudio Masolo and
Laure Vieu Atomicity vs. Infinite Divisibility of
Space . . . . . . . . . . . . . . . . . 235
Antony Galton The Mereotopology of Discrete Space . . 251
Barry Smith Agglomerations . . . . . . . . . . . . . 267
David M. Mark and
Barry Smith and
Barbara Tversky Ontology and Geographic Objects: An
Empirical Study of Cognitive
Categorization . . . . . . . . . . . . . 283
A. G. Cohn and
A. C. Varzi Modes of Connection . . . . . . . . . . 299
John S. Gero Representation and reasoning about
shapes: Cognitive and computational
studies in visual reasoning in design 315
Werner Kuhn An Algebraic Interpretation of Semantic
Networks . . . . . . . . . . . . . . . . 331
Gennady Andrienko and
Natalia Andrienko Data characterization schema for
intelligent support in visual data
analysis . . . . . . . . . . . . . . . . 349
Hanspeter A. Mallot and
Sabine Gillner and
Sibylle D. Steck and
Matthias O. Franz Recognition-triggered response and the
view-graph approach to spatial cognition 367
Martin Raubal and
Michael Worboys A formal model of the process of
wayfinding in built environments . . . . 381
Driss Kettani and
Bernard Moulin A spatial model based on the notions of
spatial conceptual map and of object's
influence areas . . . . . . . . . . . . 401
John G. Stell Granulation for Graphs . . . . . . . . . 417
Thomas Bittner On Ontology and Epistemology of Rough
Location . . . . . . . . . . . . . . . . 433
Christopher D. Ellis and
Douglas M. Johnston Qualitative spatial representation for
situational awareness and spatial
decision support . . . . . . . . . . . . 449
Alexandra Musto and
Klaus Stein and
Kerstin Schill and
Andreas Eisenkolb and
Wilfried Brauer Qualitative Motion Representation in
Egocentric and Allocentric Frames of
Reference . . . . . . . . . . . . . . . 461--476
R. Aversa and
N. Mazzocca and
U. Villano Analytical Modeling of Parallel
Application in Heterogeneous Computing
Environments: A Study of Cholesky
Factorization . . . . . . . . . . . . . 1
B. Bacci and
S. Gorlatch and
C. Lengauer and
S. Pelagatti Skeletons and Transformations in an
Integrated Parallel Programming
Environment . . . . . . . . . . . . . . 13
C.-H. Chi and
J.-L. Yuan Sequential Unification and Aggressive
Lookahead Mechanisms for Data Memory
Accesses . . . . . . . . . . . . . . . . 28
A. E. Doroshenko and
I. S. Kononenko and
A. Y. Korotun A Coordination Model and Facilities for
Efficient Parallel Computation . . . . . 42
A. Godlevsky and
M. Gazak and
L. Hluchy Parallelizing of Sequential Programs on
the Basis of Pipeline and Speculative
Features of the Operators . . . . . . . 48
K. O. Gorbunova Kinetic Model of Parallel Data
Processing . . . . . . . . . . . . . . . 54
P. Hartmann PSA Approach to Population Models for
Parallel Genetic Algorithms . . . . . . 60
V. N. Konshin and
V. A. Garanzha Highly Accurate Numerical Methods for
Incompressible $3$D Fluid Flows on
Parallel Architectures . . . . . . . . . 68
S. Maric and
Z. Jovanovic Dynamic Task Scheduling with Precedence
Constraints and Communication Delays . . 77
N. A. Likhoded Two-Dimensional Scheduling of Algorithms
with Uniform Dependencies . . . . . . . 92
A. Mostefaoui and
M. Raynal and
M. Takizawa Consistent Lamport Clocks for
Asynchronous Groups with Process Crashes 98
S. Pudov Comparative Analysis of Learning Methods
of Cellular-Neural Associative Memory 108
A. V. Selikhov Emergence and Propagation of Round
Autowave in Cellular Neural Network . . 120
I. B. Virbitskaite and
E. A. Pokozy Parametric Behaviour Analysis for Time
Petri Nets . . . . . . . . . . . . . . . 134
H. Wanek and
E. Schikuta A Blackboard Approach for the Automatic
Optimization of Parallel I/O Operations 141
C.-H. Yeh and
E. A. Varvarigos and
H. Lee Routing and Embeddings in Super Cayley
Graphs . . . . . . . . . . . . . . . . . 151
S. Bandini and
G. Erbacci and
G. Mauri Implementing Cellular Automata Based
Models on Parallel Architectures: The
CAPP Project . . . . . . . . . . . . . . 167
O. Bessonov and
D. Fougere and
K. D. Quoc and
B. Roux Methods for Achieving Peak Computational
Rates for Linear Algebra Operations on
Superscalar RISC Processors . . . . . . 180
L. Birov and
A. Prokofiev and
Y. Bartenev and
A. Vargin The Parallel Mathematical Libraries
Project (PMLP): Overview, Design
Innovations, and Preliminary Results . . 186
A. V. Bystrov and
I. B. Virbitskaite Implementing Model Checking and
Equivalence Checking for Time Petri Nets
by the RT-MEC Tool . . . . . . . . . . . 194
G. Capretti and
M. R. Lagana and
L. Ricci Learning Concurrent Programming: A
Constructionist Approach . . . . . . . . 200
D. Dalton The Speedup Performance of an
Associative Memory Based Logic Simulator 207
W. K. Giloi and
H. W. Pohl and
A. Schramm A High-Level Programming Environment for
Distributed Memory Architectures . . . . 217
A. Konovalov and
V. Samofalov and
S. Scharf Virtual Shared Files: Towards
User-Friendly Inter-Process
Communications . . . . . . . . . . . . . 223
M. Krajecki An Object Oriented Environment to Manage
the Parallelism of the FIIT Applications 229
J. Li and
J. Wang and
H. Kameda Performance Studies of Shared-Nothing
Parallel Transaction Processing Systems 235
T. Ludwig and
J. Trinitis and
R. Wismueller Synergetic Tool Environments . . . . . . 248
A. Mostefaoui and
M. Raynal and
P. Verissimo Logically Instantaneous Communication on
Top of Distributed Memory Parallel
Machines . . . . . . . . . . . . . . . . 258
K. T. Pedretti and
T. L. Casavant and
R. C. Braun and
T. E. Scheetz Three Complementary Approaches to
Parallelization of Local BLAST Service
on Workstation Clusters . . . . . . . . 271
Y. Peter and
H. Guyennet An Implementation of the Lifecycle
Service Object Mobility on CORBA . . . . 283
J. Serot and
D. Ginhac and
J.-P Derutin SKIPPER: A Skeleton-Based Parallel
Programming Environment for Real-Time
Image Processing Applications . . . . . 296
V. Vlassov and
A. Kraynikov A Queuing Model of a Multi-threaded
Architecture: A Case Study . . . . . . . 306
W. Zheng and
S. Khan and
H. Xie BSP Performance Analysis and Prediction:
Tools and Application . . . . . . . . . 313
S. Sancese and
P. Ciancarini and
A. Messina Message Passing vs Tuple Space
Coordination in an Aerodynamics
Application . . . . . . . . . . . . . . 320
S. M. Achasova Two Examples of Distributed Architecture
for Solving Combinatorial Optimization
Problems . . . . . . . . . . . . . . . . 335
F. Cappello and
O. Richard and
D. Etiemble Performance of the NAS Benchmarks on a
Cluster of SMP PCs Using a
Parallelization of the MPI Programs with
OpenMP . . . . . . . . . . . . . . . . . 339--350
M. Dorojevets COOL Approach to Petaflops Computing . . 351
B. Goossens and
H. Essafi and
M. Pic Hardware and Software Optimizations for
Multimedia Databases . . . . . . . . . . 365
V. Markova Cellular Recursive Algorithm
Architecture for Long Integers
Multiplication in Arrays of Restricted
Size . . . . . . . . . . . . . . . . . . 371
S. Bandini and
G. Mauri and
G. Pavesi and
C. Simone A Parallel Model Based on Cellular
Automata for the Simulation of Pesticide
Percolation in the Soil . . . . . . . . 383
O. L. Bandman Comparative Study of Cellular-Automata
Diffusion Models . . . . . . . . . . . . 395
K. Bolshakov and
A. Borshchev and
A. Filippoff and
Y. Karpov Creating and Running Mobile Agents with
XJ DOME . . . . . . . . . . . . . . . . 410
H. Haefner and
W. Schoenauer and
R. Weiss Parallelization and Integration of the $
L U $ and $ I L U $ Algorithm in the
LINSOL Program Package . . . . . . . . . 417
C. Hochberger and
R. Hoffman and
S. Waldschmidt CDL++ for the Description of Moving
Objects in Cellular Automata . . . . . . 428
I. E. Kaporin and
I. N. Konshin Parallel Solution of Large Sparse SPD
Linear Systems Based on Overlapping
Domain Decomposition . . . . . . . . . . 436
Y.-C. Kim and
Y.-K. Jun Restructuring Parallel Programs for
On-the-Fly Race Detection . . . . . . . 446
D. Petcu Solving Initial Value Problems with a
Multiprocessor Code . . . . . . . . . . 452
A. Ruiz-Andino and
L. Araujo and
F. Saenz and
J. Ruz Parallel Implementation of Constraint
Solving . . . . . . . . . . . . . . . . 466
R. Aversa and
B. Di Martino Experiences on Parallelization of Divide
and Conquer Algorithms with Parallel
Paradigms . . . . . . . . . . . . . . . 473
C. Cerin Differentiating Message Passing
Interface and Bulk Synchronous Parallel
Computation Models . . . . . . . . . . . 477
T. Farid and
D. Zerbino Realization of Complex Arithmetic on
Cellular Automata . . . . . . . . . . . 479
S. I. Katkov and
E. Y. Ruban Parallel Programming System Based on
Super Pascal Language . . . . . . . . . 481
O. V. Klimova Group-Theoretic Methods for Parallel
Computation of Convolution . . . . . . . 483
B. McCollum and
P. Milligan and
P. H. Corr Knowledge Exploitation for Improved Data
Distribution . . . . . . . . . . . . . . 485
P. J. P. McMullan and
P. Milligan and
P. H. Corr An Expert System Approach to Data
Distribution and Distribution Analysis 487
P. J. Parsons Automated Communication Analysis and
Code Generation for Non-contiguous
Partitions of Two-Dimensional Arrays . . 489
D. Beletkov and
M. Ostapkevich and
S. Piskunov and
I. Zhileev WinALT, a Software Tool for Fine-Grain
Algorithms and Structures Synthesis and
Simulation . . . . . . . . . . . . . . . 491
K. Bolshakov and
Y. Karpov and
A. Sintotski DEALed --- A Tool Suite for Distributed
Real-Time Systems Development . . . . . 497
C. Lang and
M. Trehel and
P. Baptiste PLATINUM: A Placement Tool Based on
Process Initiative . . . . . . . . . . . 503
A. Andrzejak and
K. Fukuda Optimization over $k$-set Polytopes and
Efficient $k$-set Enumeration . . . . . 1
G. Neyer Line Simplification with Restricted
Orientations . . . . . . . . . . . . . . 13
P. Berman and
A. B. Kahng and
D. Vidhani and
A. Zelikovsky The $T$-join Problem in Sparse Graphs:
Applications to Phase Assignment Problem
in VLSI Mask Layout . . . . . . . . . . 25
A. Brodnik and
S. Carlsson and
E. D. Demaine and
J. I. Munro Resizable Arrays in Optimal Time and
Space . . . . . . . . . . . . . . . . . 37
R. Pagh Hash and Displace: Efficient Evaluation
of Minimal Perfect Hash Functions . . . 49
C. E. Leiserson Invited Talk: Design and Analysis of
Algorithms for Shared-Memory
Multiprocessors . . . . . . . . . . . . 55
M. Patrignani On the Complexity of Orthogonal
Compaction . . . . . . . . . . . . . . . 56
G. Barequet and
P. Bose and
M. T. Dickerson Optimizing Constrained Offset and Scaled
Polygonal Annuli . . . . . . . . . . . . 62
J. Boyar and
K. S. Larsen and
M. N. Nielsen The Accommodating Function --- A
Generalization of the Competitive Ratio 74
M. A. Bender and
C. Chekuri Performance Guarantees for the TSP with
a Parameterized Triangle Inequality . . 80
X. Deng and
E. Milios and
A. Mirzaian Robot Map Verification of a Graph World 86
C. A. Broecker and
S. Schuierer Searching Rectilinear Streets Completely 98
K. Jansen and
L. Porkolab General Multiprocessor Task Scheduling:
Approximate Solutions in Linear Time . . 110
E. M. Arkin and
M. A. Bender and
J. S. B. Mitchell and
S. S. Skiena The Lazy Bureaucrat Scheduling Problem 122
N. Magnenat-Thalmann and
W. Lee and
P. Beylot and
D. Sankoff Invited Talk: Generating $3$D Virtual
Populations from Pictures of a Few
Individuals . . . . . . . . . . . . . . 134
P. Bose and
P. Morin Testing the Quality of Manufactured
Balls . . . . . . . . . . . . . . . . . 145
S. R. Kosaraju and
T. M. Przytycka and
R. Borgstrom On an Optimal Split Tree Problems . . . 157
D. Benoit and
E. D. Demaine and
J. I. Munro and
V. Raman Representing Trees of Higher Degree . . 169
A. Amir and
D. Keselman and
G. M. Landau and
M. Lewenstein Indexing and Dictionary Matching with
One Error . . . . . . . . . . . . . . . 181
T. Lukovszki New Results on Fault Tolerant Geometric
Spanners . . . . . . . . . . . . . . . . 193
M. T. Goodrich and
J. G. Kloss Tiered Vectors: Efficient Dynamic Arrays
for Rank-Based Sequences . . . . . . . . 205
U. V. Vazirani Invited Talk: Go-with-the-Winner
Heuristic . . . . . . . . . . . . . . . 217
G. Barequet and
M. T. Dickerson and
R. L. S. Drysdale $2$-Point Site Voronoi Diagrams . . . . 219
F. Chin and
D. T. Lee and
C. A. Wang A Parallel Algorithm for Finding the
Constrained Voronoi Diagram of Line
Segments in the Plane . . . . . . . . . 231
C. A. Broecker and
A. Lopez-Ortiz Position-Independent Street Searching 241
S. Chakraborty and
S. Biswas Approximation Algorithms for $3$-D
Common Substructure Identification in
Drug and Protein Molecules . . . . . . . 253
C. A. Wang and
B. Yang A Tight Bound for Beta-Skeleton of
Minimum Weight Triangulations . . . . . 265
S. Bespamyatnikh and
M. Segal Rectilinear Static and Dynamic Discrete
$2$-Center Problems . . . . . . . . . . 276
U. Stege Gene Trees and Species Trees: The
Gene-Duplication Problem is
Fixed-Parameter Tractable . . . . . . . 288
A. Czumaj and
I. Finch and
L. Gasieniec and
A. Gibbons Efficient Web Searching Using Temporal
Factors . . . . . . . . . . . . . . . . 294
C. Iturriaga and
A. Lubiw Elastic Labels Around The Perimeter of a
Map . . . . . . . . . . . . . . . . . . 306
S. Bespamyatnikh and
K. Kedem and
M. Segal Optimal Facility Location under Various
Distance Functions . . . . . . . . . . . 318
D. Gusfield and
C. Martel Thresholds for Sports Elimination
Numbers: Algorithms and Complexity . . . 330
G. S. Brodal and
R. Fagerberg Dynamic Representations of Sparse Graphs 342
J. S. Vitter Invited Talk: Online Data Structures in
External Memory . . . . . . . . . . . . 352
Jean-Sébastien Coron and
David Naccache and
Julien P. Stern On the Security of RSA Padding . . . . . 1--18
Aviad Kipnis and
Adi Shamir Cryptanalysis of the HFE Public Key
Cryptosystem by Relinearization . . . . 19--30
Phong Nguyen and
Jacques Stern The Hardness of the Hidden Subset Sum
Problem and Its Cryptographic
Implications . . . . . . . . . . . . . . 31--46
Ueli Maurer Information-Theoretic Cryptography
(Extended Abstract) . . . . . . . . . . 47--64
Yonatan Aumann and
Michael O. Rabin Information Theoretically Secure
Communication in the Limited Storage
Space Model . . . . . . . . . . . . . . 65--79
Amos Beimel and
Tal Malkin and
Silvio Micali The All-or-Nothing Nature of Two-Party
Secure Computation . . . . . . . . . . . 80--97
Ran Canetti and
Rosario Gennaro and
Stanis\law Jarecki and
Hugo Krawczyk and
Tal Rabin Adaptive Security for Threshold
Cryptosystems . . . . . . . . . . . . . 98--115
Niv Gilboa Two Party RSA Key Generation (Extended
Abstract) . . . . . . . . . . . . . . . 116--129
Masayuki Abe Robust Distributed Multiplication
without Interaction . . . . . . . . . . 130--147
Berry Schoenmakers A Simple Publicly Verifiable Secret
Sharing Scheme and Its Application to
Electronic Voting . . . . . . . . . . . 148--164
Lars R. Knudsen and
M. J. B. Robshaw and
David Wagner Truncated Differentials and Skipjack . . 165--180
Thomas Johansson and
Fredrik Jönsson Fast Correlation Attacks Based on Turbo
Code Techniques . . . . . . . . . . . . 181--197
Subhamoy Maitra and
Palash Sarkar Highly Nonlinear Resilient Functions
Optimizing Siegenthaler's Inequality . . 198--215
J. Black and
S. Halevi and
H. Krawczyk and
T. Krovetz and
P. Rogaway UMAC: Fast and Secure Message
Authentication . . . . . . . . . . . . . 216--233
Mark Etzel and
Sarvar Patel and
Zulfikar Ramzan \sc Square Hash: Fast Message
Authentication via Optimized Universal
Hash Functions . . . . . . . . . . . . . 234--251
Jee Hea An and
Mihir Bellare Constructing VIL-MACs from FIL-MACs:
Message Authentication under Weakened
Assumptions . . . . . . . . . . . . . . 252--269
Mihir Bellare and
Oded Goldreich and
Hugo Krawczyk Stateless Evaluation of Pseudorandom
Functions: Security Beyond the Birthday
Barrier . . . . . . . . . . . . . . . . 270--287
Phong Nguyen Cryptanalysis of the
Goldreich-Goldwasser-Halevi Cryptosystem
from Crypto '97 . . . . . . . . . . . . 288--304
Don Coppersmith Weakness in Quaternion Signatures . . . 305--314
D.-F. Ye and
K.-Y. Lam and
Z.-D. Dai Cryptanalysis of ``$ 2 R $'' Schemes . . 315--325
Ye Ding-Feng and
Lam Kwok-Yan and
Dai Zong-Duo Cryptanalysis of ``2R'' Schemes . . . . 315
Dan Boneh and
Glenn Durfee and
Nick Howgrave-Graham Factoring $ N = p^r q $ for Large $r$ 326--337
Dan Boneh and
Matthew Franklin An Efficient Public Key Traitor Scheme
(Extended Abstract) . . . . . . . . . . 338--353
Amos Fiat and
Tamir Tassa Dynamic Traitor Tracing . . . . . . . . 354--371
Eli Gafni and
Jessica Staddon and
Yiqun Lisa Yin Efficient Methods for Integrating
Traceability and Broadcast Encryption 372--387
Paul Kocher and
Joshua Jaffe and
Benjamin Jun Differential Power Analysis . . . . . . 388--397
Suresh Chari and
Charanjit S. Jutla and
Josyula R. Rao and
Pankaj Rohatgi Towards Sound Approaches to Counteract
Power-Analysis Attacks . . . . . . . . . 398--412
Jan Camenisch and
Markus Michels Separability and Efficiency for Generic
Group Signature Schemes (Extended
Abstract) . . . . . . . . . . . . . . . 413--430
Mihir Bellare and
Sara K. Miner A Forward-Secure Digital Signature
Scheme . . . . . . . . . . . . . . . . . 431--448
Juan A. Garay and
Markus Jakobsson and
Philip MacKenzie Abuse-Free Optimistic Contract Signing 449--466
Oded Goldreich and
Amit Sahai and
Salil Vadhan Can Statistical Zero Knowledge Be Made
Noninteractive? or On the Relationship
of SZK and NISZK . . . . . . . . . . . . 467--484
G. Di Crescenzo and
R. Ostrovsky On Concurrent Zero-Knowledge with
Pre-processing . . . . . . . . . . . . . 485--502
Giovanni Di Crescenzo and
Rafail Ostrovsky On Concurrent Zero-Knowledge with
Pre-processing (Extended Abstract) . . . 485
Victor Boyko On the Security Properties of OAEP as an
All-or-Nothing Transform . . . . . . . . 503--518
Mihir Bellare and
Amit Sahai Non-malleable Encryption: Equivalence
between Two Notions, and an
Indistinguishability-Based
Characterization . . . . . . . . . . . . 519--536
Eiichiro Fujisaki and
Tatsuaki Okamoto Secure Integration of Asymmetric and
Symmetric Encryption Schemes . . . . . . 537--554
Tomas Sander and
Amnon Ta-Shma Auditable, Anonymous Electronic Cash
(Extended Abstract) . . . . . . . . . . 555--572
Moni Naor and
Benny Pinkas Oblivious Transfer with Adaptive Queries 573--590
Niv Gilboa and
Yuval Ishai Compressing Cryptographic Resources
(Extended Abstract) . . . . . . . . . . 591--608
Ravi Kumar and
Sridhar Rajagopalan and
Amit Sahai Coding Constructions for Blacklisting
Problems without Computational
Assumptions . . . . . . . . . . . . . . 609--623
R. Poovendran and
J. S. Baras An Information Theoretic Analysis of
Rooted-Tree Based Secure Multicast Key
Distribution Schemes . . . . . . . . . . 624--638
Anonymous Author Index . . . . . . . . . . . . . . 639
Andrew V. Goldberg Selecting Problems for Algorithm
Evaluation . . . . . . . . . . . . . . . 1
Bill McColl BSP Algorithms --- ``Write Once, Run
Anywhere'' . . . . . . . . . . . . . . . 12
Kurt Mehlhorn Ten Years of LEDA: Some Thoughts . . . . 14
Victor M. Jiménez and
Andrés Marzal Computing the $ {K} $ Shortest Paths: A
New Algorithm and an Experimental
Comparison . . . . . . . . . . . . . . . 15
Robert Giegerich and
Stefan Kurtz and
Jens Stoye Efficient Implementation of Lazy Suffix
Trees . . . . . . . . . . . . . . . . . 30
Shlomit Dascal and
Uzi Vishkin Experiments with List Ranking for
Explicit Multi-Threaded (XMT)
Instruction Parallelism (Extended
Abstract) . . . . . . . . . . . . . . . 43
Renato Fonseca F. Werneck and
João Carlos Setubal and
Arlindo F. da Conceição Finding Minimum Congestion Spanning
Trees . . . . . . . . . . . . . . . . . 60
Dimitris J. Kavvadias and
Elias C. Stavropoulos Evaluation of an Algorithm for the
Transversal Hypergraph Problem . . . . . 72
Fred Glover and
Gregory Gutin and
Anders Yeo and
Alexey Zverovich Construction Heuristics and Domination
Analysis for the Asymmetric TSP . . . . 85
K. Hatzis and
G. Pentaris and
P. Spirakis and
B. Tampakas Counting in Mobile Networks: Theory and
Experimentation . . . . . . . . . . . . 95
Frank Schulz and
Dorothea Wagner and
Karsten Weihe Dijkstra's Algorithm On-Line: An
Empirical Case Study from Public
Railroad Transport . . . . . . . . . . . 110
Panagiota Fatourou and
Paul Spirakis and
Panagiotis Zarafidis and
Anna Zoura Implementation and Experimental
Evaluation of Graph Connectivity
Algorithms Using LEDA . . . . . . . . . 124
Yuval Aharoni and
Dan Halperin and
Iddo Hanniel and
Sariel Har-Peled and
Chaim Linhart On-Line Zone Construction in
Arrangements of Lines in the Plane . . . 139
Eyal Flato and
Dan Halperin and
Iddo Hanniel and
Oren Nechushtan The Design and Implementation of Planar
Maps in C GAL . . . . . . . . . . . . . 154
Jochen Comes and
Mark Ziegelmann An Easy to Use Implementation of Linear
Perturbations within C GAL . . . . . . . 169
Naila Rahman and
Rajeev Raman Analysing Cache Effects in Distribution
Sorting . . . . . . . . . . . . . . . . 183
Gonzalo Navarro and
Mathieu Raffinot Fast Regular Expression Search . . . . . 198--212
Maureen Korda and
Rajeev Raman An Experimental Evaluation of Hybrid
Data Structures for Searching . . . . . 213
Andreas Crauser and
Kurt Mehlhorn LEDA-SM: Extending LEDA to Secondary
Memory . . . . . . . . . . . . . . . . . 228
Michael L. Fredman A Priority Queue Transform . . . . . . . 243
Athanasios Bouganis and
Ioannis Caragiannis and
Christos Kaklamanis Implementation Issues and Experimental
Study of a Wavelength Routing Algorithm
for Irregular All-Optical Networks . . . 258
Daniel H. Huson and
Kelly Ann Smith and
Tandy J. Warnow Estimating Large Distances in
Phylogenetic Reconstruction . . . . . . 271
Sabine Hanke The Performance of Concurrent Red-Black
Tree Algorithms . . . . . . . . . . . . 286
Jesper Bojesen and
Jyrki Katajainen and
Maz Spork Performance Engineering Case Study: Heap
Construction . . . . . . . . . . . . . . 301
Massimiliano Caramia and
Paolo Dell'Olmo A Fast and Simple Local Search for Graph
Coloring . . . . . . . . . . . . . . . . 316
Nicolas Boghossian and
Oliver Kohlbacher and
Hans-Peter Lenhof BALL: Biochemical Algorithms Library . . 330
Klaus Brengel and
Andreas Crauser and
Paolo Ferragina and
Ulrich Meyer An Experimental Study of Priority Queues
in External Memory . . . . . . . . . . . 345
Anonymous Author Index . . . . . . . . . . . . . . 361
A. Z. Broder and
M. Mitzenmacher Completeness and Robustness Properties
of Min-Wise Independent Permutations . . 1
M. Saks and
A. Srinivasan and
S. Zhou and
D. Zuckerman Low Discrepancy Sets Yield Approximate
Min-Wise Independent Permutation
Families . . . . . . . . . . . . . . . . 11
N. Alon and
U. Arad and
Y. Azar Independent Sets in Hypergraphs with
Applications to Routing via Fixed Paths 16
J. Gudmundsson and
C. Levcopoulos and
G. Narasimhan Approximating Minimum Manhattan Networks 28
B. Doerr and
A. Srivastav Approximation of Multi-color Discrepancy 39
H. Kellerer A Polynomial Time Approximation Scheme
for the Multiple Knapsack Problem . . . 51
M. Mihail Set Cover with Requirements and Costs
Evolving over Time . . . . . . . . . . . 63
M. M. Halldorsson and
G. Kortsarz Multicoloring Planar Graphs and Partial
$k$-Trees . . . . . . . . . . . . . . . 73
M. Parnas and
D. Ron Testing the Diameter of Graphs . . . . . 85
Y. Dodis and
O. Goldreich and
E. Lehman and
S. Raskhodnikova Improved Testing Algorithms for
Monotonicity . . . . . . . . . . . . . . 97
Y. Aumann and
J. Haastad and
M. O. Rabin and
M. Sudan Linear Consistency Testing . . . . . . . 109
B. J. Morris Improved Bounds for Sampling Contingency
Tables . . . . . . . . . . . . . . . . . 121
A. Wigderson Probabilistic and Deterministic
Approximations of the Permanent . . . . 130
O. Goldreich and
A. Wigderson Improved Derandomization of BPP Using a
Hitting Set Generator . . . . . . . . . 131
A. Baltz and
T. Schoen and
A. Srivastav Probabilistic Construction of Small
Strongly Sum-Free Sets via Large Sidon
Sets . . . . . . . . . . . . . . . . . . 138
R. H. Moehring and
A. S. Schulz and
M. Uetz Stochastic Machine Scheduling:
Performance Guarantees for LP-based
Priority Policies . . . . . . . . . . . 144
D. A. Fotakis and
P. G. Spirakis Efficient Redundant Assignments under
Fault-Tolerance Constraints . . . . . . 156
C. Imreh and
J. Noga Scheduling with Machine Cost . . . . . . 168
K. Jansen and
R. Solis-Oba and
M. Sviridenko A Linear Time Approximation Scheme for
the Job Shop Scheduling Problem . . . . 177
U. Feige Randomized Rounding for Semidefinite
Programs --- Variations on the MAX CUT
Example . . . . . . . . . . . . . . . . 189
A. E. F. Clementi and
P. Penna and
R. Silvestri Hardness Results for the Power Range
Assignment Problem in Packet Radio
Networks . . . . . . . . . . . . . . . . 197
C. T. Cheng A New Approximation Algorithm for the
Demand Routing and Slotting Problem with
Unit Demands on Rings . . . . . . . . . 209
A. E. Condon and
R. M. Karp Algorithms for Graph Partitioning on the
Planted Partition Model . . . . . . . . 221
S. Pettie and
V. Ramachandran A Randomized Time-Work Optimal Parallel
Algorithm for Finding a Minimum Spanning
Forest . . . . . . . . . . . . . . . . . 233
T. Batu and
R. Rubinfeld and
P. White Fast Approximate PCPs for
Multidimensional Bin-Packing Problems 245
R. A. Martin and
D. Randall Pfaffian Algorithms for Sampling
Routings on Regions with Free Boundary
Conditions . . . . . . . . . . . . . . . 257
S. Albers and
G. Schmidt Scheduling with Unexpected Machine
Breakdowns . . . . . . . . . . . . . . . 269
F. Afrati and
E. Bampis and
C. Kenyon and
I. Mills Scheduling on a Constant Number of
Machines . . . . . . . . . . . . . . . . 281
Tomohito Andou Andhill-98: A RoboCup Team Which
Reinforces Positioning with Observation 338
Peter Sewell and
Pawe\l T. Wojciechowski and
Benjamin C. Pierce Location-Independent Communication for
Mobile Agents: A Two-Level Architecture 1
Peter Van Roy and
Per Brand and
Seif Haridi and
Raphaël Collet A Lightweight Reliable Object Migration
Protocol . . . . . . . . . . . . . . . . 32
Jan Vitek and
Giuseppe Castagna Seal: A Framework for Secure Mobile
Computations . . . . . . . . . . . . . . 47
Antony Rowstron and
Stuart Wray A Run-Time System for WCL . . . . . . . 78
J. Christopher Ramming PML: A Language Interface to Distributed
Voice-Response Units . . . . . . . . . . 97
Dominic Duggan Derivatives: A Construct for Internet
Programming . . . . . . . . . . . . . . 113
Michael Hicks and
Pankaj Kakkar and
Jonathan T. Moore and
Carl A. Gunter and
Scott Nettles Network Programming Using PLAN . . . . . 127
Augusto Cesar Pinto Loureiro da Costa and
Guilherme Bittencourt UFSC-Team: A Cognitive Multi-agent
Approach to the RoboCup '98 Simulator
League . . . . . . . . . . . . . . . . . 371
Augusto Cesar Pinto Loureiro da Costa and
Guilherme Bittencourt UFSC-Team: A Cognitive Multi-agent
Approach to the RoboCup '98 Simulator
League . . . . . . . . . . . . . . . . . 371
H. Thimbleby Design Probes for Handheld and
Ubiquitous Computing . . . . . . . . . . 1
S. P. Stenton Maintaining Context and Control in a
Digital World . . . . . . . . . . . . . 20
Ch. Schmandt Everywhere Messaging . . . . . . . . . . 22
M. Susani Mobile, Ubiquitous and the Sense of
Space . . . . . . . . . . . . . . . . . 28
B. Mikhak and
F. Martin and
M. Resnick and
R. Berg and
B. Silverman The Children's Machines: Handheld and
Wearable Computers Too . . . . . . . . . 31
A. B. Brody and
E. J. Gottsman Pocket BargainFinder: A Handheld Device
for Augmented Commerce . . . . . . . . . 44
R. José and
N. Davies Scalable and Flexible Location-Based
Services for Ubiquitous Information
Access . . . . . . . . . . . . . . . . . 52
P. Couderc and
A.-M. Kermarrec Enabling Context-Awareness from
Network-Level Location Tracking . . . . 67
A. Pentland Perceptual Intelligence . . . . . . . . 74
A. Schmidt and
K. A. Aidoo and
A. Takaluoma and
U. Tuomela and
K. Van Laerhoven and
W. Van de Velde Advanced Interaction in Context . . . . 89
M. Fjeld and
F. Voorhorst and
M. Bichsel and
K. Lauche and
M. Rauterberg and
H. Krueger Exploring Brick-Based Navigation and
Composition in an Augmented Reality . . 102
J. P. Allen Handheld Computing Predictions: What
Went Wrong? . . . . . . . . . . . . . . 117
T. Stabell-Kulò and
F. Dillema and
T. Fallmyr The Open-End Argument for Private
Computing . . . . . . . . . . . . . . . 124
M. Román and
A. Singhai and
D. Carvalho and
Ch. Hess and
R. H. Campbell Integrating PDAs into Distributed
Systems: 2K and PalmORB . . . . . . . . 137
M. J. Silva and
A. P. Afonso Designing Information Appliances Using a
Resource Replication Model . . . . . . . 150
J. F. McCarthy and
E. S. Meidel A CTIVE M AP : A Visualization Tool for
Location Awareness to Support Informal
Interactions . . . . . . . . . . . . . . 158
G. Kortuem and
Z. Segall and
Th.G. Cowan Thompson Close Encounters: Supporting Mobile
Collaboration Through Interchange of
User Profiles . . . . . . . . . . . . . 171
O. Liechti and
T. Ichikawa A Digital Photography Framework
Supporting Social Interaction and
Affective Awareness . . . . . . . . . . 186
K. Cheverst and
N. Davies and
K. Mitchell and
A. Friday The Role of Connectivity in Supporting
Context-Sensitive Applications . . . . . 193
J. Pascoe and
N. Ryan and
D. Morse Issues in Developing Context-Aware
Computing . . . . . . . . . . . . . . . 208
M. Ancona and
G. Dodero and
V. Gianuzzi RAMSES: A Mobile Computing System for
Field Archaeology . . . . . . . . . . . 222
L. E. Holmquist and
J. Redström and
P. Ljungstrand Token-Based Access to Digital
Information . . . . . . . . . . . . . . 234
N. Kohtake and
J. Rekimoto and
Y. Anzai InfoStick: An Interaction Device for
Inter-appliance Computing . . . . . . . 246
M. Beigl Using Spatial Co-location for
Coordination in Ubiquitous Computing
Environments . . . . . . . . . . . . . . 259
J. Falk and
J. Redström and
S. Björk Amplifying Reality . . . . . . . . . . . 274
S. Kristoffersen and
F. Ljungberg Designing Interaction Styles for a
Mobile Use Context . . . . . . . . . . . 281
T. Masui POBox: An Efficient Text Input Method
for Handheld and Ubiquitous Computers 289
R. J. Aiken and
A. Abramski and
J. Bates and
Th. Blackadar Middleware for Ubiquitous Computing . . 301
G. D. Abowd and
A. K. Dey and
P. J. Brown and
N. Davies and
M. Smith and
P. Steggles Towards a Better Understanding of
Context and Context-Awareness . . . . . 304
H.-W. Gellersen and
M. Beigl and
H. Krull The MediaCup: Awareness Technology
Embedded in an Everyday Object . . . . . 308
M. Beigl Point & Click --- Interaction in Smart
Environments . . . . . . . . . . . . . . 311
Ch. Baber and
D. J. Haniff and
R. Buckley Wearable Information Appliances for the
Emergency Services: HotHelmet . . . . . 314
J. Hoisko Using Wearable Computer as an
Audiovisual Memory Prosthesis . . . . . 317
M. Panayi and
W. Van de Velde and
D. Roy and
O. Cakmakci and
K. De Paepe and
N. O. Bernsen Today's Stories . . . . . . . . . . . . 320
W. Van de Velde On the Self Evaluation of a Wearable
Assistant . . . . . . . . . . . . . . . 324
S. Persa and
P. Jonker On Positioning for Augmented Reality
Systems . . . . . . . . . . . . . . . . 327
R. Oppermann and
M. Specht and
I. Jaceniak Hippie: A Nomadic Information System . . 330
R. P. O'Rafferty and
M. J. O'Grady and
G. M. P. O'Hare A Rapidly Configurable Location-Aware
Information System for an Exterior
Environment . . . . . . . . . . . . . . 334
M. Brachtl and
L. Miksícek and
P. Slavík Mobile Computing in Machine Engineering
Applications . . . . . . . . . . . . . . 337
G. J. M. Smit and
T. Bos and
P. J. M. Havinga and
S. J. Mullender and
J. Smit Chameleon --- Reconfigurability in
Hand-Held Multimedia Computers . . . . . 340
M. Jones and
G. Buchanan and
N. Mohd-Nasir An Evaluation of WebTwig --- A Site
Outliner for Handheld Web Access . . . . 343
D. J. Haniff and
Ch. Baber and
W. Edmondson Human Factors of Multi-modal Ubiquitous
Computing . . . . . . . . . . . . . . . 346
A. Donnelly and
E. Barnstedt URCP: Experimental Support for
Multi-modal Interfaces . . . . . . . . . 349
D. Wan Magic Medicine Cabinet: A Situated
Portal for Consumer Healthcare . . . . . 352
K. L. Dempski Augmented Workspace: The World as Your
Desktop . . . . . . . . . . . . . . . . 356
J. Redström and
P. Jaksetic and
P. Ljungstrand The ChatterBox . . . . . . . . . . . . . 359
N. Glance and
D. Snowdon Pollen: Virtual Networks That Use People
as Carriers . . . . . . . . . . . . . . 362
Th. Kanter and
H. Gustafsson VoIP in Context-Aware Communication
Spaces . . . . . . . . . . . . . . . . . 365
S. van der Meer and
S. Arbanowski and
R. Popescu-Zeletin A Platform for Environment-Aware
Applications . . . . . . . . . . . . . . 368
A. P. Afonso and
M. J. Silva and
J. P. Campos and
F. S. Regateiro The Design and Implementation of the
Ubidata Information Dissemination
Framework . . . . . . . . . . . . . . . 371
C. Burger and
O. Schramm Co-authoring in Dynamic Teams with
Mobile Individuals . . . . . . . . . . . 374
U. Kubach and
K. Rothermel A Universal, Location-Aware Hoarding
Mechanism . . . . . . . . . . . . . . . 377
D. Chalmers and
M. Sloman QoS and Context Awareness for Mobile
Computing . . . . . . . . . . . . . . . 380
C. Molina-Jiménez and
L. Marshall Anonymous and Confidential
Communications from an IP Addressless
Computer . . . . . . . . . . . . . . . . 383
H. Lim and
Ch. Kim Ad-hoc Network Routing for Centralized
Information Sharing Systems . . . . . . 386
Anonymous Author Index . . . . . . . . . . . . . . 389
Winand H. Dittrich Seeing Biological Motion --- Is There a
Role for Cognitive Strategies? . . . . . 3
Caroline Hummels and
Kees Overbeeke The Expressive Power of Gestures:
Capturing Scent in a Spatial Shape . . . 23
Marcelo M. Wanderley Non-obvious Performer Gestures in
Instrumental Music . . . . . . . . . . . 37
Antonella De Angeli and
Fréderic Wolff and
Laurent Romary and
Walter Gerbino The Ecological Approach to Multimodal
System Design . . . . . . . . . . . . . 49
Agn\`es Roby-Brami and
Mounir Mokhtari and
Isabelle Laffont and
Nezha Bennis and
Elena Biryukova Analysis of Trunk and Upper Limb
Synergies . . . . . . . . . . . . . . . 53
Claudia Nölker and
Helge Ritter GREFIT: Visual Recognition of Hand
Postures . . . . . . . . . . . . . . . . 61
Jochen Triesch and
Jan Wieghardt and
Eric Maël and
Christoph von der Malsburg Towards Imitation Learning of Grasping
Movements by an Autonomous Robot . . . . 73
Damian M. Lyons and
Daniel L. Pelletier A Line-Scan Computer Vision Algorithm
for Identifying Human Body Features . . 85
Sébastien Marcel and
Olivier Bernier Hand Posture Recognition in a Body-Face
Centered Space . . . . . . . . . . . . . 97
Ying Wu and
Thomas S. Huang Vision-Based Gesture Recognition: A
Review . . . . . . . . . . . . . . . . . 103
Hans-Joachim Boehme and
Ulf-Dietrich Braumann and
Andrea Corradini and
Horst-Michael Gross Person Localization and Posture
Recognition for Human-Robot Interaction 117
J. Martin and
D. Hall and
J. L. Crowley Statistical Gesture Recognition Through
Modelling of Parameter Trajectories . . 129
A. Jonathan Howell and
Hilary Buxton Gesture Recognition for Visually
Mediated Interaction . . . . . . . . . . 141
Rachid Gherbi and
Annelies Braffort Interpretation of Pointing Gesture: The
PoG System . . . . . . . . . . . . . . . 153
Jean-François Kamp and
Franck Poirier and
Philippe Doignon Control of In-vehicle Systems by
Gestures . . . . . . . . . . . . . . . . 159
Christian Cuxac French Sign Language: Proposition of a
Structural Explanation by Iconicity . . 165
Hermann Hienz and
Britta Bauer and
Karl-Friedrich Kraiss HMM-Based Continuous Sign Language
Recognition Using Stochastic Grammars 185
Hirohiko Sagawa and
Masaru Takeuchi A Method for Analyzing Spatial
Relationships Between Words in Sign
Language Recognition . . . . . . . . . . 197
Christian Vogler and
Dimitris Metaxas Toward Scalability in ASL Recognition:
Breaking Down Signs into Phonemes . . . 211
Thierry Lebourque and
Sylvie Gibet A Complete System for the Specification
and the Generation of Sign Language
Gestures . . . . . . . . . . . . . . . . 227
Olivier Losson and
Jean-Marc Vannobel Sign Specification and Synthesis . . . . 239
Shan Lu and
Seiji Igi Active Character: Dynamic Reaction to
the User . . . . . . . . . . . . . . . . 253
Frédéric Julliard and
Sylvie Gibet Reactiva'Motion Project: Motion
Synthesis Based on a Reactive
Representation . . . . . . . . . . . . . 265--268
Marc Fabri and
David J. Moore and
Dave J. Hobbs The Emotional Avatar: Non-verbal
Communication Between Inhabitants of
Collaborative Virtual Environments . . . 269
Ipke Wachsmuth Communicative Rhythm in Gesture and
Speech . . . . . . . . . . . . . . . . . 277
Timo Sowa and
Martin Fröhlich and
Marc Erich Latoschik Temporal Symbolic Integration Applied to
a Multimodal System Using Gestures and
Speech . . . . . . . . . . . . . . . . . 291
Joseph J. LaViola Jr. A Multimodal Interface Framework for
Using Hand Gestures and Speech in
Virtual Environment Applications . . . . 303
Marilyn Panayi and
David Roy and
James Richardson Stimulating Research into Gestural Human
Machine Interaction . . . . . . . . . . 317
Anonymous Author Index . . . . . . . . . . . . . . 333
Antonio Vallecillo and
Juan Hernández and
José M. Troya Object Interoperability . . . . . . . . 1
Lutz Wohlrab and
Francisco Ballesteros and
Frank Schubert and
Henning Schmidt and
Ashish Singhai Object-Orientation and Operating Systems 22
Stuart Kent and
Andy Evans and
Bernhard Rumpe UML Semantics FAQ . . . . . . . . . . . 33
Isabelle Borne and
Serge Demeyer and
Galal Hassan Galal Object-Oriented Architectural Evolution 57
Ivan Tomek and
Alicia Diaz and
Ronald Melster and
António Rito Silva and
Miguel Antunes and
Vinny Cahill and
Zi\`ed Choukair and
Alexandro Fernandez and
Mads Haahr and
Eric Jul and
Atsushi Ohnishi and
Luís Rodrigues and
Erich R. Schmidt and
Cristian \cT\uapu\cs and
Waldemar Wieczerzycki and
Daniel M. Zimmerman Multi-user Object-Oriented Environments 80
Bart Jacobs and
Gary T. Leavens and
Peter Müller and
Arnd Poetzsch-Heffter Formal Techniques for Java Programs . . 97
Awais Rashid and
David Parsons and
Alexandru Telea 9th Workshop for PhD Students in Object
Oriented Systems . . . . . . . . . . . . 116
James Noble and
Jan Vitek and
Doug Lea and
Paulo Sergio Almeida Aliasing in Object Oriented Systems . . 136
Stéphane Ducasse and
Oliver Ciupke Experiences in Object-Oriented
Re-engineering . . . . . . . . . . . . . 164
Clemens Szyperski and
Jan Bosch and
Wolfgang Weck Component-Oriented Programming . . . . . 184
Philippe Lalanda and
Jan Bosch and
Ramon Lerchundi and
Sophie Cherki Object Technology for Product-Line
Architectures . . . . . . . . . . . . . 193
Giovanna Guerrini and
Isabella Merlo and
Elena Ferrari and
Gerti Kappel and
Adoracion de Miguel Object-Oriented Databases . . . . . . . 207
Bernd Mohr and
Federico Bassetti and
Kei Davis Parallel/High-Performance
Object-Oriented Scientific Computing . . 222
Ahmed Seffah and
Cameron Hayne Integrating Human Factors into Use Cases
and Object-Oriented Methods . . . . . . 240
Frank S. de Boer Object-Oriented and Constraint
Programming for Time Critical
Applications . . . . . . . . . . . . . . 255
Nuno Jardim Nunes and
Marco Toranzo and
João Falcão e Cunha and
Jaelson Castro and
Srdjan Kovacevic and
Dave Roberts and
Jean-Claude Tarby and
Mark Collins-Cope and
Mark van Harmelen Interactive System Design and Object
Models . . . . . . . . . . . . . . . . . 267
Lodewijk Bergmans and
Cristina Videira Lopes (Editors) Aspect-Oriented Programming . . . . . . 288
Uwe Nestmann and
António Ravara Semantics of Objects as Processes (SOAP) 314
Fernando Brito e Abreu and
Horst Zuse and
Houari Sahraoui and
Walcelio Melo Quantitative Approaches in
Object-Oriented Software Engineering . . 326
Erzsébet Angster and
Joseph Bergin and
László Böszörményi Introducing OO Design and Programming
with Special Emphasis on Concrete
Examples . . . . . . . . . . . . . . . . 338
Sholom Cohen Panel Session: Object Technology and
Systematic Reuse . . . . . . . . . . . . 362
Carlos Baquero Poster Session . . . . . . . . . . . . . 371
Anonymous Author Index . . . . . . . . . . . . . . 385
Jin Yang and
Ioannis Kriaras Wireless VoIP: Opportunities and
Challenges . . . . . . . . . . . . . . . 3
Y. S. Moon and
H. C. Ho and
Kenneth Wong GSM Mobile Phone Based Communication of
Multimedia Information: A Case Study . . 14
Ionut D. Aron and
Sandeep K. S. Gupta A Witness-Aided Routing Protocol for
Mobile Ad-Hoc Networks with
Unidirectional Links . . . . . . . . . . 24
Edward Mutafungwa and
Kamugisha Kazaura Assessing Opportunities for Broadband
Optical Wireless Local Loops in an
Unbundled Access Network . . . . . . . . 34
Wang-Chien Lee and
Johnson Lee and
Karen Huff On Simulation Modeling of Information
Dissemination Systems in Mobile
Environments . . . . . . . . . . . . . . 45
Victor C. S. Lee and
Sang H. Son and
Kwok-Wa Lam On the Performance of Transaction
Processing in Broadcast Environments . . 61
Eppie Mok and
Hong Va Leong and
Antonio Si Transaction Processing in an Asymmetric
Mobile Environment . . . . . . . . . . . 71
P. Krishna Reddy and
Masaru Kitsuregawa Speculative Lock Management to Increase
Concurrency in Mobile Environments . . . 82
Victor C. S. Lee and
Kwok-wa Lam Optimistic Concurrency Control in
Broadcast Environments: Looking Forward
at the Server and Backward at the
Clients . . . . . . . . . . . . . . . . 97
Steven Gordon and
Jonathan Billington Modelling the WAP Transaction Service
Using Coloured Petri Nets . . . . . . . 109
Hui Lei and
Kang-Woo Lee and
Marion Blount and
Carl Tait Enabling Ubiquitous Database Access with
XML . . . . . . . . . . . . . . . . . . 119
Shigeaki Tagashira and
Fumitake Inada and
Keizo Saisho and
Akira Fukuda Design and Evaluation of an Information
Announcement Mechanism for Mobile
Computers . . . . . . . . . . . . . . . 135
Shiow-yang Wu and
Shih-Hsun Ho Active Rule System for Adaptive Mobile
Data Access . . . . . . . . . . . . . . 146
Se-Jin Hwang and
Myong-Soon Park Preserving Smooth Traffic and High
Presentation QoS for VBR-Encoded Video 156
David H. Ratner and
Peter L. Reiher and
Gerald J. Popek and
Richard G. Guy Peer Replication with Selective Control 169
Jianliang Xu and
Xueyan Tang and
Dik Lun Lee and
Qinglong Hu Cache Coherency in Location-Dependent
Information Services for Mobile
Environment . . . . . . . . . . . . . . 182
Masahiro Kuroda and
Takashi Sakakura and
Takashi Watanabe and
Tadanori Mizuno An Autonomous Data Coherency Protocol
for Mobile Devices . . . . . . . . . . . 194
Chao-Chun Chen and
Chiang Lee Location Management Strategies for
Reducing Both Movement Cost and Locating
Cost Simultaneously . . . . . . . . . . 209
Sufatrio and
Kwok-Yan Lam Internet Mobility Support Optimized for
Client Access and Its Scalable
Authentication Framework . . . . . . . . 220--229
Kyung-Ah Chang and
Byung-Rae Lee and
Tai-Yun Kim Proxy Agent Consistency Service Based on
CORBA . . . . . . . . . . . . . . . . . 230
Imrich Chlamtac Integrating Mobile Objects into the
Wirelessly Wired World: The Need for
Energy Efficient Algorithms . . . . . . 243
Michael Franklin Databases Unplugged: Challenges in
Ubiquitous Data Management . . . . . . . 244
Anonymous Author Index . . . . . . . . . . . . . . 245