Last update:
Sat Mar 11 16:46:54 MST 2017
P. K. Agarwal and
B. Aronov and
J. Pach and
R. Pollack Quasi-Planar Graphs Have a Linear Number
of Edges . . . . . . . . . . . . . . . . 1
H. Alt and
M. Godau and
S. Whitesides Universal $3$-Dimensional Visibility
Representations for Graphs . . . . . . . 8
H. Benz KGB: A Customizable Graph Browser . . . 20
F. Bertault Adocs: a Drawing System for Generic
Combinatorial Structures . . . . . . . . 24
T. C. Biedl New Lower Bounds for Orthogonal Graph
Drawings . . . . . . . . . . . . . . . . 28
J. Blythe and
C. McGrath and
D. Krackhardt The Effect of Graph Layout on Inference
from Social Network Data . . . . . . . . 40
P. Bose and
F. Gomez and
P. Ramos and
G. Toussaint Drawing Nice Projections of Objects in
Space . . . . . . . . . . . . . . . . . 52
P. Bose and
M. McAllister and
J. Snoeyink Optimal Algorithms to Embed Trees in a
Point Set . . . . . . . . . . . . . . . 64
F. J. Brandenburg and
M. Himsolt and
C. Rohrer An Experimental Comparison of
Force-Directed and Randomized Graph
Drawing Algorithms . . . . . . . . . . . 76
H. Breu and
D. G. Kirkpatrick On the Complexity of Recognizing
Intersection and Touching Graphs of
Disks . . . . . . . . . . . . . . . . . 88
I. Bruss and
A. Frick Fast Interactive $3$-D Graph
Visualization . . . . . . . . . . . . . 99
L. Buti and
G. Di Battista and
G. Liotta and
E. Tassinari GD-Workbench: A System for Prototyping
and Testing Graph Drawing Algorithms . . 111
Y. Carbonneaux and
J.-M. Laborde and
M. Madani CABRI-Graph: A Tool for Research and
Teaching in Graph Theory . . . . . . . . 123
M. S. T. Carpendale and
D. J. Cowperthwaite and
F. D. Fracchia and
T. Shermer Graph Folding: Extending Detail and
Context Viewing into a Tool for Subgraph
Comparisons . . . . . . . . . . . . . . 127
M. Chandramouli and
A. A. Diwan Upward Numbering Testing for
Triconnected Graphs . . . . . . . . . . 140
F. J. Cobos and
J. C. Dana and
F. Hurtado and
A. Marquez On a Visibility Representation of Graphs 152
I. F. Cruz and
J. P. Twarog $3$D Graph Drawing with Simulated
Annealing . . . . . . . . . . . . . . . 162
L. Devroye and
P. Kruszewski The Botanical Beauty of Random Binary
Trees . . . . . . . . . . . . . . . . . 166
G. Di Battista and
G. Liotta and
S. Whitesides The Strength of Weak Proximity . . . . . 178
D. Dodson Information Visualization using
Cooperative $3$D Diagram Layout . . . . 190
P. Eades and
C. F. X. De Mendonca Vertex Splitting and Tension-Free Layout 202
P. Eades and
P. Garvan Drawing Stressed Planar Graphs in Three
Dimensions . . . . . . . . . . . . . . . 212
P. Eades and
J. Marks Graph-Drawing Contest Report . . . . . . 224
S. P. Fekete and
M. E. Houle and
S. Whitesides New Results on a Visibility
Representation of Graphs in $3$D . . . . 234
A. Formella and
J. Keller Generalized Fisheye Views of Graphs . . 242
U. Foessmeier and
M. Kaufmann Drawing High Degree Graphs with Low Bend
Numbers . . . . . . . . . . . . . . . . 254
H. Gropp The Drawing of Configurations . . . . . 267
S. M. Hashemi and
A. Kisielewicz and
I. Rival Upward Drawings on Planes and Spheres 277
X. He Grid Embedding of 4-Connected Plane
Graphs . . . . . . . . . . . . . . . . . 287
L. S. Heath and
S. V. Pemmaraju Recognizing Leveled-Planar Dags in
Linear Time . . . . . . . . . . . . . . 300
P. Hlineny Contact Graphs of Curves . . . . . . . . 312
J. P. Hutchinson and
T. Shermer and
A. Vince On Representations of Some Thickness-Two
Graphs . . . . . . . . . . . . . . . . . 324
J. Ignatowicz Drawing Force-Directed Graphs Using
Optigraph . . . . . . . . . . . . . . . 333
M. Juenger and
P. Mutzel Exact and Heuristic Algorithms for
2-Layer Straightline Crossing
Minimization . . . . . . . . . . . . . . 337
T. Kamps and
J. Kleinz and
J. Read Constraint-Based Spring-Model Algorithm
for Graph Layout . . . . . . . . . . . . 349
P. Kikusts and
P. Rucevskis Layout Algorithms of Graph-Like Diagrams
for GRADE Windows Graphic Editors . . . 361
J. Kratochvil and
T. Przytycka Grid Intersection and Box Intersection
Graphs on Surfaces . . . . . . . . . . . 365
W. Lenhart and
G. Liotta How to Draw Outerplanar Minimum Weight
Triangulations . . . . . . . . . . . . . 373
B. Madden and
P. Madden and
S. Powers and
M. Himsolt Portable Graph Layout and Editing . . . 385
B. Monien and
F. Ramme and
H. Salmen A Parallel Simulated Annealing Algorithm
for Generating $3$D Layouts of
Undirected Graphs . . . . . . . . . . . 396
S. C. North Incremental Layout in DynaDAG . . . . . 409
A. Papakostas and
I. G. Tollis Issues in Interactive Orthogonal Graph
Drawing . . . . . . . . . . . . . . . . 419
G. Paris Automatic Drawing of Compound Digraphs
for a Real-Time Power System Simulator 431
H. C. Purchase and
R. F. Cohen and
M. James Validating Graph Drawing Aesthetics . . 435
G. Sander A Fast Heuristic for Hierarchical
Manhattan Layout . . . . . . . . . . . . 447
G. Sander and
M. Alt and
C. Ferdinand and
R. Wilhelm CLAX --- A Visualized Compiler . . . . . 459
F. Shahrokhi and
O. Sykora and
L. A. Szekely and
I. Vrt'o Crossing Numbers of Meshes . . . . . . . 463
F.-S. Shieh and
C. L. McCreary Directed Graphs Drawing by Clan-Based
Decomposition . . . . . . . . . . . . . 472
M. Skorsky TOSCANA Management System for Conceptual
Data . . . . . . . . . . . . . . . . . . 483
M.-A. D. Storey and
H. A. Mueller Graph Layout Adjustment Strategies . . . 487
K. Sugiyama and
K. Misue A Generic Compound Graph
Visualizer/Manipulator: D-ABDUCTOR . . . 500
X. Wang and
I. Miyamoto Generating Customized Layouts . . . . . 504
R. Webber and
A. Scott GOVE: Grammar-Oriented Visualisation
Environment . . . . . . . . . . . . . . 516
J. Yang and
C. A. Shaffer and
L. S. Heath SWAN: A Data Structure Visualization
System . . . . . . . . . . . . . . . . . 520
N. R. Adam and
Y. Yesha Electronic Commerce: An Overview . . . . 5
K. Steel The Standardisation of Flexible EDI
Messages . . . . . . . . . . . . . . . . 13
F. Lehmann Machine-Negotiated, Ontology-Based EDI
(Electronic Data Interchange) . . . . . 27
A. Mitrakas Changes in the Interchange Agreements 47
H. Tewari and
M. McCourt and
D. O'Mahony Advanced Electronic Commerce Security in
a Workflow Environment . . . . . . . . . 69
I. J. Haimowitz and
J. Farley and
G. S. Fields and
J. Stillman Temporal Reasoning for Automated
Workflow in Health Care Enterprises . . 87
S. Laufmann The Information Marketplace:Achieving
Success in Commercial Applications . . . 115
W. Caelli Cryptography: Personal Freedom and Law
Enforcement --- Is it Possible to Get
Agreement? . . . . . . . . . . . . . . . 1
W. Ware Privacy and Security Policy Choices in
an NII Environment . . . . . . . . . . . 20
W. Caelli Commercial Key Escrow: An Australian
Perspective . . . . . . . . . . . . . . 40
S. Orlowski Encryption and the Global Information
Infrastructure: An Australian
Perspective . . . . . . . . . . . . . . 65
R. Anderson Crypto in Europe --- Markets, Law and
Policy . . . . . . . . . . . . . . . . . 75
M. Ames Saving Dollars Makes Sense of Crypto
Export Controls . . . . . . . . . . . . 90
N. Jefferies and
C. Mitchell and
M. Walker A Proposed Architecture for Trusted
Third Party Services . . . . . . . . . . 98
J. He and
E. Dawson A New Key Escrow Cryptosystem . . . . . 105
J. He and
E. Dawson How to Fairly Reconstruct a Shared
Secret . . . . . . . . . . . . . . . . . 115
J. D. Golic A Note on Nonuniform Decimation of
Periodic Sequences . . . . . . . . . . . 125
H. Gustafson and
E. Dawson and
J. D. Golic Randomness Measures Related to Subset
Occurrence . . . . . . . . . . . . . . . 132
W. Millan Low Order Approximation of Cipher
Functions . . . . . . . . . . . . . . . 144
I. B. Damgaard and
L. R. Knudsen Multiple Encryption with Minimum Key . . 156
M. Gysin A One-Key Cryptosystem Based on a Finite
Nonlinear Automaton . . . . . . . . . . 165
J. D. Golic and
L. O'Connor A Cryptanalysis of Clock-Controlled
Shift Registers with Multiple Steps . . 174
J. D. Golic and
M. Salmasizadeh and
A. Clark and
A. Khodkar Discrete Optimisation and Fast
Correlation Attacks . . . . . . . . . . 186
S. Bakhtiari and
R. Safavi-Naini and
J. Pieprzyk Keyed Hash Functions . . . . . . . . . . 201--214
S.-J. Hwang and
C.-C. Chang and
W.-P. Yang Some Active Attacks on Fast Server-Aided
Secret Computation Protocols for Modular
Exponentiation . . . . . . . . . . . . . 215
C.-S. Laih and
W.-C. Kuo Cryptanalysis of the Enhanced ElGamal's
Signature Scheme . . . . . . . . . . . . 228
L. Chen Access with Pseudonyms . . . . . . . . . 232
K. Chen A New Identification Algorithm . . . . . 244
A. Fuchsberger and
D. Gollmann and
P. Lothian and
K. G. Paterson Public-key Cryptography on Smart Cards 250
G. Gaskell and
M. Looi Integrating Smart Cards Into
Authentication Systems . . . . . . . . . 270
J. Hruby Smart Card with Interferometric Quantum
Cryptography Device . . . . . . . . . . 282
D. Gollmann Cryptographic APIs . . . . . . . . . . . 290
S. Russell Foiling Active Network Impersonation
Attacks Made in Collusion with an
Insider . . . . . . . . . . . . . . . . 301
G. Mohay and
H. Morarji and
Q. Le-Viet and
L. Munday The CASS Shell . . . . . . . . . . . . . 313
R. F. Albrecht On the Structure of Discrete Systems . . 3
C. Rattray Identification and Recognition through
Shape in Complex Systems . . . . . . . . 19
G. Hill A Logical Approach to System
Construction . . . . . . . . . . . . . . 30
Y. Takahara and
X. Chen Task Management System . . . . . . . . . 48
R. Sato Toward a unified theory of discrete
event systems . . . . . . . . . . . . . 62
C. P. Suarez Araujo and
R. Moreno-Diaz Intersensorial Transformations: General
Systems Description and Implications . . 73
E. M. Thurner Proving System Properties by Means of
Trigger-Graph and Petri Nets . . . . . . 88
P. B. Menezes and
J. F. Costa and
A. Sernadas Refinement Mapping for General (Discrete
Event) Systems Theory . . . . . . . . . 103
I. Sierocki A System-Theoretic Approach to Planning
and Programming . . . . . . . . . . . . 117
J. Miro and
M. Miro-Julia Equality of Functions in CAST . . . . . 129
J. Rodriguez-Millan Basins of Attraction Estimation Through
Symbolic Graphical Computing Techniques 137
M. Larnac and
J. Magnier and
E. Vandermeulen and
G. Dray Temporal and Functional Verification of
a Symbolic Representation of Complex
Systems . . . . . . . . . . . . . . . . 151
M. Brielmann Modelling Differential Equations by
Basic Information Technology Means . . . 163
F. Kapsner System Theoretic Aspects of Software
Architectures . . . . . . . . . . . . . 175
J. Parets and
J. C. Torres A Language for Describing
Complex-Evolutive Software Systems . . . 181
C. Kocourek An Architecture for Process Modeling and
Execution Support . . . . . . . . . . . 201
S. Kahlert and
T. Kruse and
D. Monjau A Formal Semantics for a Graphical Model
Representation in System Design . . . . 217
E. Meyer zu Bexten and
C. Moraga A User-Interface for a Microsystems
High-Level Simulator . . . . . . . . . . 228
C. Joslyn and
S. Henderson CAST Extensions to DASME to Support
Generalized Information Theory . . . . . 237
J. Rodriguez-Millan and
J. Cardillo Symbolic Computing Aided Design of
Nonlinear PID Controllers . . . . . . . 253
R. P. Otero and
A. Barreiro and
P. Cabalar and
D. Lorenzo Discrete Event Simulation in an
Environment for Temporal Expert Systems 271
E. M. Thurner and
C. Wincheringer TOMSPIN --- A Tool for Modeling with
Stochastic Petri Nets . . . . . . . . . 283
W. Jacak and
S. Dreiseitl Hybrid Evolutionary Programming: the
Tools for CAST . . . . . . . . . . . . . 289
R. P. Otero and
D. Lorenzo and
P. Cabalar Automatic Induction of DEVS Structures 305
G. Schweizer and
M. Voss Systems Engineering and Infrastructures
for Open Computer Based Systems . . . . 317
K. Agsteiner and
D. Monjau and
S. Schulze Object-Oriented High Level Modeling of
Complex Systems . . . . . . . . . . . . 332
H. Praehofer and
F. Pichler Multifacetted, Object Oriented Modeling
in the Transportation Domain . . . . . . 341
C. Schaffer and
R. J. Raschhofer and
A. Simma EaSy-Sim: A Tool Environment for the
Design of Complex, Real-Time Systems . . 358
U. Glaesser Systems Level Specification and
Modelling of Reactive Systems: Concepts,
Methods, and Tools . . . . . . . . . . . 375
L. Hamaidi and
P. Bourseau and
G. Muratet and
J. M. Couretas DEVS-Based Endomorphic Agents: Control
Through Deliberative and Reactive
Planning . . . . . . . . . . . . . . . . 386
G. Chroust and
W. Jacak Software Processes, Work Flow and Work
Cell Design --- Separated by a Common
Paradigm? . . . . . . . . . . . . . . . 403
A. Sydow and
T. Lux and
R.- P. Schaefer High-Performance Parallel Computing for
Analyzing Urban Air Pollution . . . . . 417
E. Roszkowska Performance Analysis of a Dual Robot
System Using a Geometric Concurrency
Model . . . . . . . . . . . . . . . . . 423
P. Vysoky and
Z. Pechal Computer Aided Rule Extraction from
Examples . . . . . . . . . . . . . . . . 437
J. C. Quevedo Losada and
O. Bolivar Toledo and
R. Moreno Diaz Cast Methods for Generation of
Non-Orthogonal Complete Transforms . . . 447
S. Candela and
C. Garcia and
F. Alayon and
J. Muthoz Cast System Approach for Visual
Inspection . . . . . . . . . . . . . . . 459
F. Pichler and
J. Scharinger Finite Dimensional Generalized Baker
Dynamical Systems for Cryptographic
Applications . . . . . . . . . . . . . . 465
D. M. Dubois Introduction of the Aristotle's Final
Causation in CAST: Concept and Method of
Incursion and Hyperincursion . . . . . . 477
D. M. Dubois A Semantic Logic for CAST Related to
Zuse, Deutsch and McCulloch and Pitts
Computing Principles . . . . . . . . . . 494
J. Barahona da Fonseca Validation of a Model of an AGVs
Scheduling Heuristic Using Radio-Taxi
Data . . . . . . . . . . . . . . . . . . 511
F. Bustio and
P. Corcuera and
E. Mora Training Simulator for Garoña Nuclear
Power Plant . . . . . . . . . . . . . . 523
R. Klempous and
B. Lysakowska and
J. Nikodem Supervisory Control and Data Acquisition
System for the Gas Flow Networks . . . . 530
J.-F. Kaufeler Ada: A Sceptical Assessment . . . . . . 1
K. Mangold Ada95 --- An Approach to Overcome the
Software Crisis? . . . . . . . . . . . . 4
M. Richard-Foy Safe Ada Executive: An Executive for Ada
Safety Critical Applications . . . . . . 11
P. David and
T. Planche and
A. Correge and
J. F. Chane Developing Fault Tolerant Software in
Ada for Real-Time Dependable Systems . . 21
R. Brown The Practical Application of Safety
Techniques on an Ada Based Project . . . 51
G. Taurisano Ada in Mixed Language Applications . . . 58
M. Kempe Heterogeneous Data Structures and
Cross-Classification of Objects with
Ada95 . . . . . . . . . . . . . . . . . 71
J. Bundgaard An ANDF Based Ada 95 Compiler System . . 81
P. I. Skinderhaug and
B. Rognes Performance Tuning of a Check-Out System
Coded in Ada . . . . . . . . . . . . . . 99
J.-N. Monfort and
V. Q. Ribal Ariane 5: Development of the On-Board
Software . . . . . . . . . . . . . . . . 111
A. Laurens PRONAOS Ground Control Center: First
Operational Ada Application in C.N.E.S 124
S. Rybin and
E. Zueff and
A. Strohmeier ASIS for GNAT: Goals, Problems and
Implementation Strategy . . . . . . . . 139
P. A. Bailes and
P. Burnim and
M. Chapman and
E. Salzman KBSE and Ada-Object and Enabling
Technology . . . . . . . . . . . . . . . 152
T. Birus and
P. Knueven and
E. Kuzemchak and
J. Rosenzweig Extending the Aria 95 Initial Conditions
for Preelaboration for use in Real-Time
Systems . . . . . . . . . . . . . . . . 164
B. Davies and
D. A. Rothwell The Use of Ada for the ENVISAT-l
Simulator . . . . . . . . . . . . . . . 170
K. Molenmaker Objects at Use in Nautical Simulators 178
P. E. Obermayer and
G. Schueer and
R. Landwehr DIS --- An Interface to Distributed
Interactive Simulation . . . . . . . . . 187
A. Gargaro and
Y. Kermarrec and
L. Pautet and
S. Tardieu PARIS --- Partitioned Ada for Remotely
Invoked Services . . . . . . . . . . . . 191
Y. Kermarrec and
L. Pautet Programming Distributed Systems with
Both Ada 95 and PVM . . . . . . . . . . 206
Z. Choukair and
Y. Kermarrec Distributed Object Oriented Programming
and Interoperability for Ada 95: An
OMG/CORBA Approach . . . . . . . . . . . 217
R. Gerlich and
M. Kerep Distributed and Parallel Systems and
HOOD 4 . . . . . . . . . . . . . . . . . 228
M. Battaglia and
G. Savoia ReverseNICE: A Re-Engineering
Methodology and Supporting Tool . . . . 244
H. Schneeweiss and
V. Amiot and
O. Vix Translating Shlaer/Mellor
Object-Oriented Analysis Models into
Ada95 . . . . . . . . . . . . . . . . . 249
R. Simoens The Introduction of an Object-Oriented
Analysis/Design Method and
Object-Oriented Metrics in the Software
Development Life-Cycle . . . . . . . . . 271
D. Buchs and
C. Buffard and
P. Racloz Modeling and Validation of Tasks with
Algebraic Structured Nets . . . . . . . 284
B. I. Sanden Design of Concurrent Software Based on
Problem Concurrency . . . . . . . . . . 298
A. Matthewman ECLIPS --- A Successful Experiment
Combining CCSDS SFDUs, X/Motif, HOOD and
Ada . . . . . . . . . . . . . . . . . . 311
A. Alapide and
S. Candia and
M. Cinnella and
S. Quaranta Applying Teamwork/Aria and RAISE for
Developing an Air Traffic Control
Application . . . . . . . . . . . . . . 331
M. Croxford and
J. Sutton Breaking Through the V and V Bottleneck 344
F. Bossard Periodic Processing in Hard Real-Time
Systems: Assessment of Different Design
Models in Ada . . . . . . . . . . . . . 355
P. Cornwell and
A. Wellings Transaction Specification for
Object-Oriented Real-Time Systems in
HRT-HOOD . . . . . . . . . . . . . . . . 365
F. Battini and
P. L. Mantovani and
M. Mattavelli Evaluation of a SPARC board equipped
with the Ada Tasking Coprocessor (ATAC) 379
L. Bjoernfot Ada and Timed Automata . . . . . . . . . 389
S. Barbey Testing Ada 95 Object-Oriented Programs 406
M. Heitz Achieving Reusable and Reliable
Client-Server Code using HOOD[TM]
automated code generation for Ada95 and
C++ targets . . . . . . . . . . . . . . 419
R. Bodik and
R. Gupta Array Data Flow Analysis for Load-Store
Optimizations in Superscalar
Architectures . . . . . . . . . . . . . 1
E. R. Altman and
G. R. Gao and
R. Govindarajan An Experimental Study of an ILP-based
Exact Solution Method for Software
Pipelining . . . . . . . . . . . . . . . 16
B. D. De Dinechin Insertion Scheduling: An Alternative to
List Scheduling for Modulo Schedulers 31
B. Creusillet and
F. Irigoin Interprocedural Array Region Analyses 46
M. W. Hall and
B. R. Murphy and
S. P. Amarasinghe and
S.-W. Liao Interprocedural Analysis for
Parallelization . . . . . . . . . . . . 61
L. Choi and
P.-C. Yew Interprocedural Array Data-Flow Analysis
for Cache Coherence . . . . . . . . . . 81
T. Nguyen and
J. Gu and
Z. Li An Interprocedural Parallelizing
Compiler and Its Support for Memory
Hierarchy Research . . . . . . . . . . . 96
P. F. G. Dechering and
J. A. Trescher and
J. P. M. De Vreught and
H. J. Sips V-cal: A Calculus for the Compilation of
Data Parallel Languages . . . . . . . . 111
W. Kelly and
W. Pugh and
E. Rosser and
T. Shpeisman Transitive Closure of Infinite Graphs
and Its Applications . . . . . . . . . . 126
W. Blume and
R. Eigenmann Demand-Driven, Symbolic Range
Propagation . . . . . . . . . . . . . . 141
K. Kennedy and
J. Mellor-Crummey and
G. Roth Optimizing Fortran 90 Shift Operations
on Distributed-Memory Multicomputers . . 161
K. Ishizaki and
H. Komatsu A Loop Parallelization Algorithm for HPF
Compilers . . . . . . . . . . . . . . . 176
A. Thirumalai and
J. Ramanujam Fast Address Sequence Generation for
Data-Parallel Programs Using Integer
Lattices . . . . . . . . . . . . . . . . 191
S. D. Kaushik and
C.-H. Huang and
P. Sadayappan Compiling Array Statements for Efficient
Execution on Distributed-Memory
Machines: Two-Level Mappings . . . . . . 209
J. M. Stichnoth and
T. Gross A Communication Backend for Parallel
Language Compilers . . . . . . . . . . . 224
S. Prakash and
R. Bagrodia Parallel Simulation of Data Parallel
Programs . . . . . . . . . . . . . . . . 239
H. G. Dietz and
T. M. Chung and
T. I. Mattox A Parallel Processing Support Library
Based on Synchronized Aggregate
Communication . . . . . . . . . . . . . 254
L. De Rose and
K. Gallivan and
E. Gallopoulos and
B. Marsolf FALCON: A MATLAB Interactive
Restructuring Compiler . . . . . . . . . 269
S. Novack and
J. Hummel and
A. Nicolau A Simple Mechanism for Improving the
Accuracy and Efficiency of
Instruction-Level Disambiguation . . . . 289
B. Appelbe and
S. Doddapaneni and
R. Harmon and
P. May Hoisting Branch Conditions --- Improving
Super-Scalar Processor Performance . . . 304
J. Radigan and
P. Chang and
U. Banerjee Integer Loop Code Generation for VLIW 318
S. P. Midkiff Dependence Analysis in Parallel Loops
with $i,k$ Subscripts . . . . . . . . . 331
D. W. Palmer and
J. F. Prins and
S. Chatterjee and
R. E. Faith Piecewise Execution of Nested
Data-Parallel Programs . . . . . . . . . 346
M. Cierniak and
W. Li Recovering Logical Structures of Data 362
T. J. Sheffler and
R. Schreiber and
W. Pugh and
J. R. Gilbert Efficient Distribution Analysis via
Graph Contraction . . . . . . . . . . . 377
D. J. Palermo and
P. Banerjee Automatic Selection of Dynamic Data
Partitioning Schemes for
Distributed-Memory Multicomputers . . . 392
E. Ayguade and
J. Garcia and
M. Girones and
M. L. Grande Data Redistribution in an Automatic Data
Distribution Tool . . . . . . . . . . . 407
T. Cheatham and
A. Fahmy and
D. C. Stefanescu General Purpose Optimization Technology 422
K. S. McKinley and
S. K. Singhai and
G. E. Weaver and
C. C. Weems Compiler Architectures for Heterogeneous
Systems . . . . . . . . . . . . . . . . 434
J. Philbin and
S. Jagannathan and
R. Mirani Virtual Topologies: A New Concurrency
Abstraction for High-Level Parallel
Languages . . . . . . . . . . . . . . . 450
V. Kotlyar and
K. Pingali and
P. Stodghill Automatic Parallelization of the
Conjugate Gradient Algorithm . . . . . . 480
A. J. C. Bik and
H. A. G. Wijshoff Annotations for a Sparse Compiler . . . 500
R. Ghiya and
L. J. Hendren Connection Analysis: A Practical
Interprocedural Heap Analysis for C . . 515
P. A. Dinda and
D. R. O'Hallaron and
J. Subhlok and
J. A. Webb Language and Run-Time Support for
Network Parallel Computing . . . . . . . 534
J. Yelon and
L. V. Kale Agents: An Undistorted Representation of
Problem Structure . . . . . . . . . . . 551
J. Plevyak and
A. A. Chien Type Directed Cloning for
Object-Oriented Programs . . . . . . . . 566
J. E. Moreira and
D. Schouten and
C. Polychronopoulos The Performance Impact of Granularity
Control and Functional Parallelism . . . 581
H. Simonis Application Development with the CHIP
System . . . . . . . . . . . . . . . . . 1
F. Afrati and
T. Andronikos and
T. G. Kavalieros On the Expressiveness of First-Order
Constraint Languages . . . . . . . . . . 22
A. Belussi and
E. Bertino and
M. Bertolotto and
B. Catania Generalized Relational Algebra: Modeling
Spatial Queries in Constraint Databases 40
J.-H. Byon and
P. Z. Revesz DISCO: A Constraint Database System with
Sets . . . . . . . . . . . . . . . . . . 68
V. Gaede and
O. Guenther Constraint-Based Query Optimization and
Processing . . . . . . . . . . . . . . . 84
M. Freeston The Application of Multi-Dimensional
Indexing Methods to Constraints . . . . 102
L. Hermosilla and
G. M. Kuper Towards the Definition of a Spatial
Object-Oriented Data Model with
Constraints . . . . . . . . . . . . . . 120
J. Reinert Ambiguity for Referentlal Integrity Is
Undecidable . . . . . . . . . . . . . . 132
M. Wallace and
S. Bressan and
T. Le Provost Magic Checking: Constraint Checking for
Database Query Optimisation . . . . . . 148
T. M. Yakhno and
G. B. Cheblakov and
V. Z. Zilberfain FISSURE: Finder of Solutions with
Subdefinite Resources . . . . . . . . . 167
R. Picard Digital Libraries: Meeting Place for
Low-Level And High-Level Vision . . . . 3
T. S. Huang and
R. Lopez Computer Vision in Next Generation Image
and Video Coding . . . . . . . . . . . . 13
A. Bobick Video Annotation: Computers Watching
Video . . . . . . . . . . . . . . . . . 23
R. Bolle and
Y. Aloimonos and
C. Fermueler Video Representations . . . . . . . . . 33
W.-H. Liao and
S. J. Aggarwal and
J. K. Aggarwal Analysis of Left Ventricular Motion . . 43
C.-H. Chien Applications of Computer Vision in Space
Robotics . . . . . . . . . . . . . . . . 59
R. Deriche and
P. Kornprobst and
G. Aubert Optical-Flow Estimation while Preserving
Its Discontinuities: A Variational
Approach . . . . . . . . . . . . . . . . 71
H.-H. Nagel and
A. Gehrke and
M. Haag and
M. Otte Space-and Time-Variant Estimation
Approaches and the Segmentation of the
Resulting Optical Flow Fields . . . . . 81
M. Bober and
J. Kittler Combining the Hough Transform and
Multiresolution MRF's for the Robust
Motion Estimation . . . . . . . . . . . 91
J.-M. Odobez and
P. Bouthemy Direct Model-Based Image Motion
Segmentation for Dynamic Scene Analysis 101
S. Shah and
J. K. Aggarwal Modeling Structured Environments Using
Robot Vision . . . . . . . . . . . . . . 113
Z. He and
M. L. Liou Design Trade-Offs for Real-Time Block
Matching Motion Estimation Algorithms 129
N. Ahuja and
R. Charan Pixel Matching and Motion Segmentation
in Image Sequences . . . . . . . . . . . 139
C.-H. Lee On the Motion Problem of a Rigid Planar
Patch and its Invariance . . . . . . . . 149
F. Kishino and
K. Ebihara and
J. Ohya Virtual-Space Teleconferencing ---
Real-Time Detection and Reproduction of
$3$D Face and Body Images . . . . . . . 159
A. Wavering and
H. Schneiderman and
J. C. Fiala High-Performance Tracking with TRICLOPS 171
J.- O. Eklundh and
T. Uhlin and
P. Nordlund and
A. Maki Developing an Active Observer . . . . . 181
Y. Kuniyoshi and
N. Kita and
S. Rougeaux and
T. Suehiro Active Stereo Vision System with
Foveated Wide Angle Lenses . . . . . . . 191
H. I. Christensen and
J. Horstmann and
T. Rasmussen A Control Theoretical Approach to Active
Vision . . . . . . . . . . . . . . . . . 201
Y. Sato Active Rangefinding and Recognition with
Cubicscope . . . . . . . . . . . . . . . 211
L. Kitchen and
T.-K. Cheng and
Z.-Q. Liu Real-Time Vision Is Not Frame-Rate Image
Analysis . . . . . . . . . . . . . . . . 219
C. Wang and
Z. Hu and
S. D. Ma Active Vision Based Stereo Vision . . . 231
Z. Zhang Motion of a Stereo Rig: Strong Weak and
Self Calibration . . . . . . . . . . . . 241
M. Xie and
L. Y. Liu Color Stereo Vision: Use of Appearance
Constraint and Epipolar Geometry for
Feature Matching . . . . . . . . . . . . 255
G. Xu Unifying Stereo, Motion and Object
Recognition via Epipolar Geometry . . . 265
J.-Y. Zheng Constructing a Visual Memory in Terms of
Uniqueness . . . . . . . . . . . . . . . 275
M. Hudson Statistical Models and Algorithms for
Tomography . . . . . . . . . . . . . . . 289
K. V. Mardia Shape Statistics and Image Analysis . . 297
J.-S. Wang Cluster Monte Carlo Algorithms and Their
Applications . . . . . . . . . . . . . . 307
C. S. Won Gibbs Sampler and Maximum Likelihood
Estimation for Unsupervised Image
Segmentations . . . . . . . . . . . . . 319
K. Kluge and
S. Lakshmanan Lane Boundary Detection Using Deformable
Templates: Effects of Image Subsampling
on Detected Lane Edge . . . . . . . . . 329
M. Pelillo Clique Finding Relaxation Labeling
Networks . . . . . . . . . . . . . . . . 343
E. R. Hancock and
R. C. Wilson Rectifying Structural Matching Errors 353
S. Z. Li Parallel Distributed Relaxation Labeling 363
B. T. Messmer and
H. Bunke Subgraph Isomorphism Detection in
Polynomial Time on Preprocessed Model
Graphs . . . . . . . . . . . . . . . . . 373
P. Papachristou and
M. Petrou and
J. Kittler Line Postprocessing Using Probabilistic
Relaxation and Relative Measurements . . 383
A. Shashua Multiple-View Geometry and Photometry 395
M. Pollefeys and
L. Van Gool and
T. Moons Euclidean $3$D Reconstruction from
Stereo Sequences with Variable Focal
Lengths . . . . . . . . . . . . . . . . 405
J. Liu and
E. Walker and
J. Mundy Characterizing the Stability of $3$D
Invariants Derived from $3$D
Translational Symmetry . . . . . . . . . 415
J. Mundy and
R. Curwen and
J. Liu and
C. Rothwell MORSE: An Architecture for $3$D Object
Recognition Based on Invariants . . . . 425
T. Poggio and
K.-K. Sung Finding Human Faces with a Gaussian
Mixture Distribution-Based Face Model 437
T. M. Breuel Handwriting Recognition . . . . . . . . 447
H. Ando $3$D Object Recognition Using
Bidirectional Modular Networks . . . . . 467
M. Hild and
Y. Shirai A Region Extension Method for Natural
Outdoor Scene Interpretation . . . . . . 479
J. H. Yin and
S. A. Velastin and
A. C. Davies Image Processing Techniques for Crowd
Density Estimation Using a Reference
Image . . . . . . . . . . . . . . . . . 489
F. Thomanek and
E. D. Dickmanns Autonomous Road Vehicle Guidance in
Normal Traffic . . . . . . . . . . . . . 499
H.-H. Nagel and
H. Kollnig Evaluation of Image Sequences from
Outdoor Scenes: Selected Problems and
Solutions . . . . . . . . . . . . . . . 509
T. N. Tan and
G. D. Sullivan and
K. Baker Vehicle Localisation and Discrimination
in Outdoor Traffic Scene . . . . . . . . 519
H.-J. Zhang SWIM: A Prototype Environment for Visual
Media Retrieval . . . . . . . . . . . . 531
J. C. M. Lee and
W. Xiong and
D. G. Shen and
R. H. Ma Video Segment Indexing through
Classification and Interactive
View-Based Query . . . . . . . . . . . . 541
M. J. Swain and
C. H. Frankel and
M. Lu View-Based Techniques for Searching for
Objects and Textures . . . . . . . . . . 551
C. Klauck Graph Grammar Based Object Recognition
for Image Retrieval . . . . . . . . . . 561
S. Santini and
R. Jain Similarity Matching . . . . . . . . . . 571
T. Amano and
K. Toyokawa and
T. Mano and
S. Toriyama A Document Image Analysis and
Recognition System for Japanese Family
Registration . . . . . . . . . . . . . . 583
T. M. Breuel Applying Handwriting Recognition to US
Census Forms . . . . . . . . . . . . . . 593
K. De Smedt and
H. Horacek and
M. Zock Architectures for Natural Language
Generation: Problems and Perspectives 17
A. Knott and
R. Dale Choosing a Set of Coherence Relations
for Text Generation: A Data-Driven
Approach . . . . . . . . . . . . . . . . 47
E. Maier Textual Relations as Part of Multiple
Links Between Text Segments . . . . . . 68
H. Dalianis and
E. Hovy Aggregation in Natural Language
Generation . . . . . . . . . . . . . . . 88
T. Daradoumis Towards a Representation of the
Rhetorical Structure of Interrupted
Exchanges . . . . . . . . . . . . . . . 106
S. J. Green and
C. DiMarco Stylistic Decision-Making in Natural
Language Generation . . . . . . . . . . 125
S. M. Haller and
S. C. Shapiro IDP --- An Interactive Discourse Planner 144
K. Jokinen Reasoning About Coherent and Cooperative
System Responses . . . . . . . . . . . . 168
J.-U. Moeller Domain Related Focus-Shifting
Constraints in Dialogues with Knowledge
Based Systems . . . . . . . . . . . . . 188
E. Pascual Integrating Text Formatting and Text
Generation . . . . . . . . . . . . . . . 205
M. Stede Lexical Options in Multilingual
Generation From a Knowledge Base . . . . 222
M. Gagnon and
G. Lapalme Pretexte: A Generator for the Expression
of Temporal Information . . . . . . . . 238
L. Kosseim and
A. Tutin and
R. Kittredge and
G. Lapalme Generating Grammatical and Lexical
Anaphora in Assembly Instructional Texts 260
B. Abb and
C. Guenther and
M. Herweg and
K. Lebeth Incremental Grammatical Encoding --- An
Outline of the Synphonics Formulator . . 277
M. Haruno and
Y. Den and
Y. Matsumoto A Chart-Based Semantic Head Driven
Generation Algorithm . . . . . . . . . . 300
S. C. Dik and
P. Kahrel Generating Sentences Using ProfGlot . . 314
E. Teich and
L. Degand and
J. Bateman Multilingual Textuality: Some
Experiences From Multilingual Text
Generation . . . . . . . . . . . . . . . 331
L. Degand A Dutch Component for a Multilingual
Systemic Text Generation System . . . . 350
C. Mellish and
E. Reiter and
J. Levine Natural Language Generation Applications
to Technical Documentation: A View
Through Idas . . . . . . . . . . . . . . 368
C. Krogh The Rights of Agents . . . . . . . . . . 1
B. Van Linder and
W. Van der Hoek and
J.-J. C. Meyer Formalising Motivational Attitudes of
Agents: On Preferences, Goals, and
Commitments . . . . . . . . . . . . . . 17
A. S. Rao Decision Procedures for Propositional
Linear-Time Belief-Desire-Intention
Logics . . . . . . . . . . . . . . . . . 33
M. P. Singh Semantical Considerations on Some
Primitives for Agent Specification . . . 49
P. Traverso and
L. Spalazzi and
F. Giunchiglia Reasoning About Acting, Sensing, and
Failure Handling: A Logic for Agents
Embedded in the Real World . . . . . . . 65
M. Wooldridge Time, Knowledge, and Choice . . . . . . 79
H. H. Hexmoor Learning Routines . . . . . . . . . . . 97
J. Chu-Carroll and
S. Carberry Conflict Detection and Resolution in
Collaborative Planning . . . . . . . . . 111
C. Bicchieri and
E. Ephrati and
A. Antonelli Games Servers Play: A Procedural
Approach . . . . . . . . . . . . . . . . 127
P. J. Gmytrasiewicz On Reasoning About Other Agents . . . . 143
M. Tambe and
P. S. Rosenbloom Architectures for Agents that Track
Other Agents in Multi-Agent Worlds . . . 156
J. M. Vidal and
E. H. Durfee Using Recursive Agent Models Effectively 171
R. P. Bonasso and
D. Kortenkamp and
D. P. Miller and
M. Slack Experiences with an Architecture for
Intelligent, Reactive Agents . . . . . . 187
K. Fischer and
J. P. Mueller and
M. Pischel A Pragmatic BDI Architecture . . . . . . 203
T. J. Norman and
D. Long Alarms: An Implementation of Motivated
Agency . . . . . . . . . . . . . . . . . 219
M. Barbuceanu and
M. S. Fox The Architecture of an Agent Building
Shell . . . . . . . . . . . . . . . . . 235
C. A. Iglesias and
J. C. Gonzalez and
J. R. Velasco MIX: A General Purpose Multiagent
Architecture . . . . . . . . . . . . . . 251
J.-F. Arcand and
S.-J. Pelletier Cognition Based Multi-Agent Architecture 267
T. Mullen and
M. P. Wellman Some Issues in the Design of
Market-Oriented Agents . . . . . . . . . 283
C. Beyssade and
P. Enjalbert and
C. Lefevre Cooperating Logical Agents . . . . . . . 299
S. Giroux Open Reflective Agents . . . . . . . . . 315
Y. Lesperance and
H. J. Levesque and
F. Lin and
D. Marcu Foundations of a Logical Approach to
Agent Programming . . . . . . . . . . . 331
J. Mayfield and
Y. Labrou and
T. Finin Evaluation of KQML as an Agent
Communication Language . . . . . . . . . 347
B. Malheiro and
E. Oliveira Consistency and Context Management in a
Multi-Agent Belief Revision Testbed . . 361
A. Sloman and
R. Poli SIM AGENT: A Toolkit for Exploring Agent
Designs . . . . . . . . . . . . . . . . 392
M. Wooldridge and
J. P. Mueller and
M. Tambe Agent Theories, Architectures, and
Languages: A Bibliography . . . . . . . 408
F. Giunchiglia and
E. Giunchiglia Ideal and Real Belief about Belief: Some
Intuitions . . . . . . . . . . . . . . . 1
M. Aube and
A. Senteni Emotions as Commitments Operators: A
Foundation for Control Structure in
Multi-Agents Systems . . . . . . . . . . 13
G. Wagner A Logical and Operational Model of
Scalable Knowledge-and Perception-Based
Agents . . . . . . . . . . . . . . . . . 26
A. S. Rao AgentSpeak(L): BDI Agents Speak Out in a
Logical Computable Language . . . . . . 42
D. Kinny and
M. Georgeff and
A. Rao A Methodology and Modelling Technique
for Systems of BDI Agents . . . . . . . 56
M. D'Inverno and
M. Luck Formalising the Contract Net as a
Goal-Directed System . . . . . . . . . . 72
A. El Fallah Seghrouchni and
S. Haddad A Coordination Algorithm for Multi-Agent
Planning . . . . . . . . . . . . . . . . 86
O. Belakhdar and
J. Ayel Modelling Approach and Tool for
Designing Protocols for Automated
Cooperation in Multi-agent Systems . . . 100
C. Gu and
T. Ishida Analyzing the Social Behavior of
Contract Net Protocol . . . . . . . . . 116
A. Cesta and
M. Miceli and
P. Rizzo Effects of Different Interaction
Attitudes on a Multi-Agent System
Performance . . . . . . . . . . . . . . 128
C. Numaoka Bacterial Evolution Algorithm for Rapid
Adaptation . . . . . . . . . . . . . . . 139
T. Ohira and
R. Sawatari and
M. Tokoro Distributed Interaction with Computon 149
C. Baeijs and
Y. Demazeau and
L. Alvares SIGMA: Application of Multi-Agent
Systems to Cartographic Generalization 163
K. Fischer and
J. Mueller A Decision-Theoretic Model for
Cooperative Transportation Scheduling 177
Z. Guessoum and
M. Dojat A Real-Time Agent Model in an
Asynchronous-Object Environment . . . . 190
M. Klusch and
O. Shehory Coalition Formation Among Rational
Information Agents . . . . . . . . . . . 204
G. Lanzola and
S. Falasconi and
M. Stefanelli Cooperating Agents Implementing
Distributed Patient Management . . . . . 218
X. Lai and
R. A. Rueppel Attacks on the HKM/HFX Cryptosystem . . 1
L. R. Knudsen and
T. A. Berson Truncated Differentials of SAFER . . . . 15
S. Vaudenay On the Weak Keys of Blowfish . . . . . . 27
M. Blaze High-Bandwidth Encryption with
Low-Bandwidth Smartcards . . . . . . . . 33
R. J. Jenkins ISAAC . . . . . . . . . . . . . . . . . 41
W. Geiselmann A Note on the Hash Function of Tillich
and Zemor . . . . . . . . . . . . . . . 51
H. Dobbertin Cryptanalysis of MD4 . . . . . . . . . . 53--69
H. Dobbertin and
A. Bosselaers and
B. Preneel RIPEMD-160: A Strengthened Version of
RIPEMD . . . . . . . . . . . . . . . . . 71
K. Nyberg Fast Accumulated Hashing . . . . . . . . 83
Ross Anderson and
Eli Biham Tiger: A fast new hash function . . . . 89--97
V. Rijmen and
J. Daemen and
B. Preneel and
A. Bosselaers The Cipher Shark . . . . . . . . . . . . 99
R. Anderson and
E. Biham Two Practical and Provably Secure Block
Ciphers: Bear and Lion . . . . . . . . . 113
B. Schneier and
J. Kelsey Unbalanced Feistel Networks and Block
Cipher Design . . . . . . . . . . . . . 121--144
A. Clark and
J. D. Golic and
E. Dawson A Comparison of Fast Correlation Attacks 145
W. T. Penzhorn Correlation Attacks on Stream Ciphers:
Computing Low-Weight Parity Checks Based
on Error-Correcting Codes . . . . . . . 159
J. D. Golic On the Security of Nonlinear Filter
Generators . . . . . . . . . . . . . . . 173
S. Lucks Faster Luby-Rackoff Ciphers . . . . . . 189
M. Matsui New Structure of Block Ciphers with
Provable Security Against Differential
and Linear Cryptanalysis . . . . . . . . 205
S. Wermter and
E. Riloff and
G. Scheler Learning approaches for natural language
processing . . . . . . . . . . . . . . . 1
N. E. Sharkey and
A. J. C. Sharkey Separating learning and representation 17
S. Lawrence and
S. Fong and
C. L. Giles Natural language grammatical inference:
a comparison of recurrent neural
networks and machine learning methods 33
R. Hayward and
A. Tickle and
J. Diederich Extracting rules for grammar recognition
from Cascade-2 networks . . . . . . . . 48
G. Scheler Generating English plural determiners
from semantic representations: a neural
network learning approach . . . . . . . 61
W. Winiwarter and
E. Schweighofer and
D. Merkl Knowledge acquisition in concept and
document spaces by using self-organizing
neural networks . . . . . . . . . . . . 75
V. Weber and
S. Wermter Using hybrid connectionist learning for
speech/language analysis . . . . . . . . 87
G. Lee and
J.-H. Lee A connectionist/symbolic architecture of
spoken Korean processing . . . . . . . . 102
P. Geutner and
B. Suhm and
F.-D. Buoe and
T. Kemp Integrating different learning
approaches into a multilingual spoken
language translation system . . . . . . 117
T. C. Smith and
I. H. Witten Learning language using genetic
algorithms . . . . . . . . . . . . . . . 132
M. Ersan and
E. Charniak A statistical syntactic disambiguation
program and what it learns . . . . . . . 146
W. R. Hogenhout and
Y. Matsumoto Training stochastic grammars on
semantical categories . . . . . . . . . 160
E. W. Fong and
D. Wu Learning restricted probabilistic link
grammars . . . . . . . . . . . . . . . . 173
A. Franz Learning PP attachment from corpus
statistics . . . . . . . . . . . . . . . 188
P. Gruenwald A minimum description length approach to
grammar inference . . . . . . . . . . . 203
M. Mast and
H. Niemann and
E. Noeth and
E. G. Schukat-Talamazzini Automatic classification of dialog acts
with semantic classification trees and
polygrams . . . . . . . . . . . . . . . 217
S. P. Engelson and
I. Dagan Sample selection in natural language
learning . . . . . . . . . . . . . . . . 230
S. B. Huffman Learning information extraction patterns
from examples . . . . . . . . . . . . . 246
P. M. Hastings Implications of an automatic lexical
acquisition system . . . . . . . . . . . 261
E. Riloff Using learned extraction patterns for
text classification . . . . . . . . . . 275
S. Soderland and
D. Fisher and
J. Aseltine and
W. Lehnert Issues in inductive learning of
domain-specific text extraction rules 290
C. Aone and
S. W. Bennett Applying machine learning to anaphora
resolution . . . . . . . . . . . . . . . 302
C. Cardie Embedded machine learning systems for
natural language processing: a general
framework . . . . . . . . . . . . . . . 315
T. Yamazaki and
M. J. Pazzani and
C. Merz Acquiring and updating hierarchical
knowledge for machine translation based
on a clustering technique . . . . . . . 329
I. Moulinier and
J.- G. Ganascia Applying an existing machine learning
algorithm to text categorization . . . . 343
J. M. Zelle and
R. J. Mooney Comparative, results on using inductive
logic programming for corpus-based
parser construction . . . . . . . . . . 355
R. J. Mooney and
M. E. Califf Learning the past tense of English verbs
using inductive logic programming . . . 370
S. Federici and
V. Pirrelli and
F. Yvon A dynamic approach to paradigm-driven
analogy . . . . . . . . . . . . . . . . 385
M. Osborne Can punctuation help learning? . . . . . 399
A. K. Joshi and
B. Srinivas Using parsed corpora for circumventing
parsing . . . . . . . . . . . . . . . . 413
C. Jacquemin A symbolic and surgical acquisition of
terms through variation . . . . . . . . 425
S. Kaneda and
H. Almuallim and
Y. Akiba and
M. Ishii A revision learner to acquire verb
selection rules from human-made rules
and examples . . . . . . . . . . . . . . 439
U. Hahn and
M. Klenner and
K. Schnattinger Learning from texts --- a terminological
metareasoning perspective . . . . . . . 453
R. C. Agarwal and
F. G. Gustavson and
S. M. Balle and
M. Joshi A High Performance Matrix Multiplication
Algorithm for MPPs . . . . . . . . . . . 1
G. Ala and
E. Francomano and
A. Tortorici Iterative Moment Method for
Electromagnetic Transients in Grounding
Systems on CRAY T3D . . . . . . . . . . 9
B. S. Andersen and
N. J. Soerensen Analysis of Crystalline Solids by Means
of a Parallel FEM Method . . . . . . . . 17
V. Antonuccio-Delogu and
U. Becciani and
F. Magugliani Parallelization Strategies for Tree
$N$-body Codes . . . . . . . . . . . . . 24
S. S. Artemiev and
S. A. Gusev and
O. G. Monakhov Numerical Solution of Stochastic
Differential Equations on Transputer
Network . . . . . . . . . . . . . . . . 33
R. Bourbonnais Development of a Stencil Compiler for
One-Dimensional Convolution Operators on
the CM-5 . . . . . . . . . . . . . . . . 38
P. Brezany and
V. Sipkova and
B. Chapman and
R. Greimel Automatic Parallelization of the AVL
FIRE Benchmark for a Distributed-Memory
System . . . . . . . . . . . . . . . . . 50
M. Bubak $2$-D Cellular Automata and Short Range
Molecular Dynamics Programs for
Simulations on Networked Workstations
and Parallel Computers . . . . . . . . . 61
M. Bubak and
W. Funika and
J. Moscinski and
D. Tasak Pablo-Based Performance Monitoring Tool
for PVM Applications . . . . . . . . . . 69
M. Bubak and
W. Owczarz and
J. Wasniewski Linear Algebra Computation on Parallel
Machines . . . . . . . . . . . . . . . . 79
T. Casinelli and
M. La Manna and
A. Starita A Neural Classifier for Radar Images . . 88
J. Choi and
J. Demmel and
I. Dhillon and
J. Dongarra and
S. Ostrouchov and
A. Petitet and
K. Stanley and
D. Walker and
R. C. Whaley ScaLAPACK: A Portable Linear Algebra
Library for Distributed Memory Computers
--- Design Issues and Performance . . . 95
Jaeyoung Choi and
J. Dongarra and
S. Ostrouchov and
A. Petitet and
D. Walker and
R. C. Whaley A Proposal for a Set of Parallel Basic
Linear Algebra Subprograms . . . . . . . 107--114
L. G. C. Crone and
H. Van Dop and
W. Lourens Parallel Implementation of a Lagrangian
Stochastic Particle Model for Turbulent
Dispersion in Fluids . . . . . . . . . . 115
K. Dackland and
B. Kaagstroem Reduction of a Regular Matrix Pair (A,
B) to Block Hessenberg Triangular Form 125
B. Di Martino Parallelization of Algorithms for Neural
Networks . . . . . . . . . . . . . . . . 134
B. Di Martino and
N. Mazzocca and
S. Russo Paradigms for the Parallelization of
Branch and Bound Algorithms . . . . . . 141
I. Dimov and
K. Georgiev and
J. Wasniewski and
Z. Zlatev Three-Dimensional Version of the Danish
Eulerian Model . . . . . . . . . . . . . 151
J. J. Dongarra and
J. Du Croz and
S. Hammarling and
J. Wasniewski A Proposal for a Fortran 90 Interface
for LAPACK . . . . . . . . . . . . . . . 158--165
J. Dongarra and
A. Petitet ScaLAPACK Tutorial . . . . . . . . . . . 166--176
Y. I. Fet and
A. P. Vazhenin Highly Parallel Concentrated
Heterogeneous Computing . . . . . . . . 177
M. R. Field Adaptive Polynomial Preconditioners for
the Conjugate Gradient Algorithm . . . . 189
S. Filippone The IBM Parallel Engineering and
Scientific Subroutine Library . . . . . 199
S. Filippone and
C. Vittoli Some Preliminary Experiences with Sparse
BLAS in Parallel Iterative Solvers . . . 207
E. Fontdecaba and
A. Gonzalez and
J. Labarta Load Balancing in a Network Flow
Optimization Code . . . . . . . . . . . 214
R. W. Ford and
A. P. Nisbet and
J. M. Bull User-Level VSM Optimization and
its.Application . . . . . . . . . . . . 223
V. Getov Benchmarking the Cache Memory Effect . . 233
D. Gimenez and
V. Hernandez and
A. M. Vidal Efficient Jacobi Algorithms on
Multicomputers . . . . . . . . . . . . . 247
J. Glimm and
J. Grove and
X. L. Li and
R. Young Front Tracking: A Parallelized Approach
for Internal Boundaries and Interfaces 257
V. V. Goldman and
G. Cats Program Generation Techniques for the
Development and Maintenance of Numerical
Weather Forecast Grid Models . . . . . . 267
M. F. Guest and
E. Apra and
D. E. Bernholdt and
H. A. Fruechtl High Performance Computational
Chemistry: NWChem and Fully Distributed
Parallel Applications . . . . . . . . . 278
B. Hammer and
O. H. Nielsen Parallel Ab-initio Molecular Dynamics 295
D. F. Hegarty and
M. T. Kechadi and
K. A. Dawson Dynamic Domain Decomposition and Load
Balancing for Parallel Simulations of
Long-Chained Molecules . . . . . . . . . 303
H. J. Holz and
M. H. Loew Concurrency in Feature Analysis . . . . 313
D. Hu and
F. Lou and
A. Sameh A Parallel Iterative Solver for Almost
Block-Diagonal Linear Systems . . . . . 323
B. Kaagstroem and
M. Raennar Distributed General Matrix Multiply and
Add for a $2$D Mesh Processor Network 333
J. Kitowski Distributed and Parallel Computing of
Short-Range Molecular Dynamics . . . . . 345
A. Krasnitz Lattice Field Theory in a Parallel
Environment . . . . . . . . . . . . . . 352
A. Lagana and
S. Crocchianti and
G. O. De Aspuru and
R. Gargano Parallel Time Independent Quantum
Calculations of Atom Diatom Reactivity 361
J. Larsen and
L. Frellesen and
J. Jansson and
F. If Parallel Oil Reservoir Simulation . . . 371
J. A. G. Lazaro Formal Specification of Multicomputers 380
P. S. Lomdahl and
D. M. Beazley Multi-Million Particle Molecular
Dynamics on MPPs . . . . . . . . . . . . 391
P. O. Luthi and
B. Chopard and
J. F. Wagen Wave Propagation in Urban Microcells: a
Massively Parallel Approach Using the
TLM Method . . . . . . . . . . . . . . . 408
K. McDonald The NAG Numerical PVM Library . . . . . 419
W. A. Masselot and
B. Chopard Cellular Automata Modeling of Snow
Transport by Wind . . . . . . . . . . . 429
O. G. Monakhov Parallel Algorithm for Mapping Parallel
Program into Pyramidal Multiprocessor 436
O. H. Nielsen Data-Parallel Molecular Dynamics with
Neighbor-Lists . . . . . . . . . . . . . 443
A. Nordlund and
K. Galsgaard and
R. F. Stein Visualizing Astrophysical $3$D MHD
Turbulence . . . . . . . . . . . . . . . 450
T. Ostromsky and
P. C. Hansen and
Z. Zlatev A Parallel Sparse QR-Factorization
Algorithm . . . . . . . . . . . . . . . 462
A. Pinar and
U. V. Catalyuerek and
C. Aykanat and
M. Pinar Decomposing Linear Programs for Parallel
Solution . . . . . . . . . . . . . . . . 473
Z. A. Sabeur A Parallel Computation of the
Navier--Stokes Equation for the
Simulation of Free Surface Flows with
the Volume of Fluid Method . . . . . . . 483
J. L. Sanchez and
J. M. Garcia and
J. Fernandez Improving the Performance of Parallel
Triangularization of a Sparse Matrix
Using a Reconfigurable Multicomputer . . 493
E. Tanin and
T. M. Kurc and
C. Aykanat and
B. Oezguec Comparison of Two Image-Space
Subdivision Algorithms for Direct Volume
Rendering on Distributed-Memory
Multicomputers . . . . . . . . . . . . . 503
O. Tingleff Communication Harnesses for Transputer
Systems with Tree Structure and Cube
Structure . . . . . . . . . . . . . . . 513
P. Valasek and
R. Hetzel A Thorough Investigation of the
Projector Quantum Monte Carlo Method
Using MPP Technologies . . . . . . . . . 524
R. Wcislo and
J. Kitowski and
J. Moscinski Distributed Simulation of a Set of
Elastic Macro Objects . . . . . . . . . 534
T. Yamasaki Parallelization of Ab Initio Molecular
Dynamics Method . . . . . . . . . . . . 540
Z. Zlatev and
I. Dimov and
K. Georgiev and
J. Wasniewski Parallel Computations with Large
Atmospheric Models . . . . . . . . . . . 550
G. Weiss Adaptation and Learning in Multi-Agent
Systems: Some Remarks and a Bibliography 1
C. Byrne and
P. Edwards Refinement in Agent Groups . . . . . . . 22
D. Carmel and
S. Markovitch Opponent Modeling in Multi-Agent Systems 40
L. Glicoes and
R. Staats and
M. Huhns A Multi-Agent Environment for Department
of Defense Distribution . . . . . . . . 53
C. V. Goldman and
J. S. Rosenschein Mutually Supervised Learning in
Multiagent Systems . . . . . . . . . . . 85
P. Gu and
A. B. Maddox A Framework for Distributed
Reinforcement Learning . . . . . . . . . 97
T. Haynes and
S. Sen Evolving Behavioral Strategies in
Predators and Prey . . . . . . . . . . . 113
A. Joshi To Learn or Not to Learn . . . . . . . . 127
B. Lenzmann and
I. Wachsmuth A User-Adaptive Interface Agency for
Interaction with a Virtual Environment 140
M. J. Mataric Learning in Multi-Robot Systems . . . . 152
Y. Mor and
C. V. Goldman and
J. S. Rosenschein Learn Your Opponent's Strategy (in
Polynomial Time)! . . . . . . . . . . . 164
T. Ohko and
K. Hiraki and
Y. Anzai Learning to Reduce Communication Cost on
Task Negotiation among Multiple
Autonomous Mobile Robots . . . . . . . . 177
T. W. Sandholm and
R. H. Crites On Multiagent Q-Learning in a
Semi-Competitive Domain . . . . . . . . 191
S. Sen and
M. Sekaran Using Reciprocity to Adapt to Others . . 206
S. Sen and
M. Sekaran Multiagent Coordination with Learning
Classifier Systems . . . . . . . . . . . 218
S. Abramsky and
S. Gay and
R. Nagarajan Specification Structures and
Propositions-as-Types for Concurrency 5
E. A. Emerson Automated Temporal Reasoning about
Reactive Systems . . . . . . . . . . . . 41
Y. Hirshfeld and
F. Moller Decidability Results in Automata and
Process Theory . . . . . . . . . . . . . 102
C. Stirling Modal and Temporal Logics for Processes 149
M. Y. Vardi An Automata-Theoretic Approach to Linear
Temporal Logic . . . . . . . . . . . . . 238
O. Crochat and
J.-Y. Le Boudec and
T. Przygienda A Path Selection Method in ATM Using
Pre-Computation . . . . . . . . . . . . 1
K. Struyve and
P. Demeester and
L. Nederlof and
L. Van Hauwermeiren Design and Evaluation of Distributed
Link and Path Restoration Algorithms for
ATM Meshed Networks . . . . . . . . . . 13
E. Gauthier and
J.-Y. Le Boudec Scalability Enhancements for
Connection-Oriented Networks . . . . . . 27
S. J. Golestani Fair Queueing Algorithms for Packet
Scheduling in BISDN . . . . . . . . . . 39
M. Hamdi and
J. W. Roberts Burstiness Bounds Based Multiplexing
Schemes for VBR Video Connections in the
B-ISDN . . . . . . . . . . . . . . . . . 53
B. K. Ryu Implications of Self-Similarity for
Providing End-to-End QOS Guarantees in
High-Speed Networks: A Framework of
Application Level Traffic Modeling . . . 65
H. Mueller Multimedia Call Control: A Centralized
Approach . . . . . . . . . . . . . . . . 81
M. Hofmann A Generic Concept for Large-Scale
Multicast . . . . . . . . . . . . . . . 95
T. Stock and
X. Garcia On the Potentials of Forward Error
Correction Mechanisms Applied to
Real-Time Services Carried over B-ISDN 107
S. Robert and
J.-Y. Le Boudec Can Self-Similar Traffic Be Modeled by
Markovian Processes? . . . . . . . . . . 119
N. Blefari-Melazzi Modeling and Analysis of MPEG Video
Sources for Performance Evaluation of
Broadband Integrated Networks . . . . . 131
P. Martini and
J. Ottensmeyer On the Scalability of the
Demand-Priority LAN --- A Performance
Comparison to FDDI for Multimedia
Scenarios . . . . . . . . . . . . . . . 149
D. H. K. Tsang and
W. K. F. Wong and
S. M. Jiang and
E. Y. S. Liu A Fast Switch Algorithm for ABR Traffic
to Achieve Max-Min Fairness . . . . . . 161
D. Mitra and
I. Ziedins Virtual Partitioning by Dynamic
Priorities: Fair and Efficient
Resource-Sharing by Several Services . . 173
G. Anastasi and
M. La Porta and
L. Lenzini A Performance Study of the Local
Fairness Algorithm for MetaRing MAC
Protocol . . . . . . . . . . . . . . . . 187
D. Felix and
E. Paolillo and
F. Mercalli and
Y.-S. Wu Experiences with Multimedia Teleshopping
Applications over a Broadband Network
--- The Project ESSAI . . . . . . . . . 209
S. Znaty and
T. Walter and
M. Brunner and
J.-P. Hubaux Multimedia Multipoint Teleteaching over
the European ATM Pilot . . . . . . . . . 225
C. M. Winkler A Universal Scaling Principle for ATM
Based Connectionless Servers . . . . . . 239
J. De Vriendt and
L. Vercauteren and
K. Georgokitsos and
A. Saidi The UMTS Mobility Server: a Solution to
Support Third Generation Mobility in ATM 251
M. H. Hadjitheodosiou VSAT Satellite Networks Providing ATM
Service . . . . . . . . . . . . . . . . 263
Y. M. Jang and
A. Ganz and
J. F. Hayes Predictive Congestion Control for
Broadband Satellite Systems . . . . . . 277
N. D. Vvedenskaya and
J. P. M. G. Linnartz Single-Frequency Packet Network Using
Stack Algorithm and Multiple Base
Stations . . . . . . . . . . . . . . . . 289
J. I. Solana and
J. Marino and
R. Caravantes Broadband Access in RECIBA B-ISDN
Experimental Platform . . . . . . . . . 299
M. Zirngibl and
C. H. Joyner and
C. R. Doerr and
L. W. Stulz LARNet, a Wavelength Division
Multiplexed Network for Broadband Local
Access . . . . . . . . . . . . . . . . . 311
S. Aryal and
J. S. Meditch Design of a Large ATM Switch with Trunk
Grouping . . . . . . . . . . . . . . . . 321
R. Vogt and
U. Killat End-to-End Performance Evaluation of
Datagram Acceptance Control in
DQDB-ATM-DQDB CL Network . . . . . . . . 335
A. Kolarov and
G. Ramamurthy Comparison of Explicit Rate and Explicit
Forward Congestion Indication Flow
Control Schemes for ABR Service . . . . 347
M. Ott and
D. Reininger and
G. Michelitsch and
V. Bansal Heidi-II: A Software Architecture for
ATM Network Based Distributed Multimedia
Systems . . . . . . . . . . . . . . . . 1
J. D. Smith and
K. Takahashi Multimedia Architecture to Support
Requirements Analysis . . . . . . . . . 15
K. Hofrichter MHEG 5 --- Standardized Presentation
Objects for the Set Top Unit Environment 33
B. Heumann and
T. Leidig and
P. Roesch GLASS-Studio: An Open Authoring
Environment for Distributed Multimedia
Applications . . . . . . . . . . . . . . 45
A. P. De Vries Television Information Filtering Through
Speech Recognition . . . . . . . . . . . 59
M. Vazirgiannis and
T. Sellis Event and Action Representation and
Composition for Multimedia Application
Scenario Modelling . . . . . . . . . . . 71
K. H. Wolf and
K. Froitzheim and
M. Weber Interactive Video and Remote Control via
the World Wide Web . . . . . . . . . . . 91
K. Reimann and
D. Rueffler Radio on Demand . . . . . . . . . . . . 105
G. Y. Georgiannakis and
P. E. Trahanias and
C. Nikolaou and
S. C. Orphanoudakis Design of an Immersive Teleconferencing
Application . . . . . . . . . . . . . . 117
E. Hinsch and
A. Jaegemann and
L. Wang and
I. C. Roper The Secure Conferencing User Agent: A
Tool to Provide Secure Conferencing with
MBone Multimedia Conferencing
Applications . . . . . . . . . . . . . . 131
H. Schulzrinne Personal Mobility for Multimedia
Services in the Internet . . . . . . . . 143
R. Oppliger and
A. Gupta and
M. Moran and
R. Bettati A Security Architecture for Tenet Scheme
2 . . . . . . . . . . . . . . . . . . . 163
L. Mathy Features of the ACCOPI Multimedia
Transport Service . . . . . . . . . . . 175
R. Hess and
T. Hutschenreuther and
A. Schill Video Communication and Media Scaling
System ``Xnetvideo'': Design and
Implementation . . . . . . . . . . . . . 195
J. Werner and
L. C. Wolf Scheduling Mechanisms Reducing
Contention Situations in Multimedia
Systems . . . . . . . . . . . . . . . . 211
N. Yeadon and
A. Mauthe and
D. Hutchison and
F. Garcia QoS Filters: Addressing the
Heterogeneity Gap . . . . . . . . . . . 227
J. Dengler and
C. Bernhardt and
E. Biersack Deterministic Admission Control
Strategies in Video Servers with
Variable Bit Rate Streams . . . . . . . 245
M. Rautenberg and
H. Rzehak A Control System for an Interactive
Video on Demand Server Handling Variable
Data Rates . . . . . . . . . . . . . . . 265
W. Geyer and
C. Bernhardt and
E. Biersack A Synchronization Scheme for Stored
Multimedia Streams . . . . . . . . . . . 277
T. Helbig and
K. Rothermel An Architecture for a Distributed Stream
Synchronization Service . . . . . . . . 297
C. Seidel COMENIUS --- The Virtual Classroom . . . 315
G. Brassard New Trends in Quantum Computing . . . . 3
H. Buhrman and
L. Longpre Compressibility and Resource Bounded
Measure . . . . . . . . . . . . . . . . 13
M. Kummer On the Complexity of Random Strings . . 25
T. Harju and
J. Karhumaeki and
D. Krob Remarks on Generalized Post
Correspondence Problem . . . . . . . . . 39
M.-P. Beal and
O. Carton and
C. Reutenauer Cyclic Languages and Strongly Cyclic
Languages . . . . . . . . . . . . . . . 49
K. Ambos-Spies and
E. Mayordomo and
Y. Wang and
X. Zheng Resource-Bounded Balanced Genericity,
Stochasticity and Weak Randomness . . . 63
H. Buhrman and
T. Thierauf The Complexity of Generating and
Checking Proofs of Membership . . . . . 75
J. H. Lutz Observations on Measures and Lowness for
cap deltaP2 . . . . . . . . . . . . . . 87
V. Arvind and
N. V. Vinodchandran Solvable Black-Box Group Problems Are
Low for PP . . . . . . . . . . . . . . . 99
M. Beaudry Languages Recognized by Finite Aperiodic
Groupoids . . . . . . . . . . . . . . . 113
F. Bassino Star-Height of an IN-Rational Series . . 125
K. Culik and
J. Kari An Aperiodic Set of Wang Cubes . . . . . 137
G. Melancon Lyndon Factorization of Infinite Words 147
V. Heun and
E. W. Mayr Embedding Graphs with Bounded Tree width
into Optimal Hypercubes . . . . . . . . 157
M. Morvan and
L. Viennot Parallel Comparability Graph Recognition
and Modular Decomposition . . . . . . . 169
P. Berenbrink and
F. Meyer Auf Der Heide and
V. Stemann Fault-Tolerant Shared Memory Simulations 181
P. Indyk On Word-Level Parallelism in
Fault-Tolerant Computing . . . . . . . . 193
J. Barzdins and
R. Freivalds and
C. H. Smith Learning with Confidence . . . . . . . . 207
E. Tateishi and
O. Maruyama and
S. Miyano Extracting Best Consensus Motifs from
Positive and Negative Examples . . . . . 219
F. Denis and
C. D'Halluin and
R. Gilleron PAC Learning with Simple Examples . . . 231
A. Ambainis and
R. Freivalds and
C. H. Smith General Inductive Inference Types Based
on Linearly-Ordered Sets . . . . . . . . 243
B. Berard and
P. Gastin and
A. Petit On the Power of Non-observable Actions
in Timed Automata . . . . . . . . . . . 257
M. Bertol and
V. Diekert Trace Rewriting: Computing Normal Forms
in Time ${O} (n \log n)$ . . . . . . . . 269
C. Duerr and
H. Le Thanh and
M. Santha A Decision Procedure for Well-Formed
Linear Quantum Cellular Automata . . . . 281
A. Jacoby and
C. Schindelhauer On the Complexity of Worst Case and
Expected Time in a Circuit . . . . . . . 295
J.-Y. Cai and
A. V. Naik and
D. Sivakumar On the Existence of Hard Sparse Sets
under Weak Reductions . . . . . . . . . 307
A. E. Andreev and
A. E. F. Clementi and
J. D. P. Rolim Optimal Bounds on the Approximation of
Boolean Functions with Consequences on
the Concept of Hardness . . . . . . . . 319
J.-Y. Cai and
A. L. Selman Fine Separation of Average Time
Complexity Classes . . . . . . . . . . . 331
J. Sifakis and
S. Yovine Compositional Specification of Timed
Systems . . . . . . . . . . . . . . . . 347
D. Bleichenbacher and
U. M. Maurer Optimal Tree-Based One-time Digital
Signature Schemes . . . . . . . . . . . 363
J. Friedman and
A. Joux and
Y. Roichman and
J. Stern The Action of a Few Random Permutations
on $r$-Tuples and an Application to
Cryptography . . . . . . . . . . . . . . 375
U. M. Maurer A Unified and Generalized Treatment of
Authentication Theory . . . . . . . . . 387
I. Walukiewicz Monadic Second Order Logic on Tree-Like
Structures . . . . . . . . . . . . . . . 401
T. Schwentick On Bijections vs. Unary Functions . . . 415
J. Marcinkowski The 3 Frenchmen Method Proves
Undecidability of the Uniform
Boundedness for Single Recursive Rule
Ternary DATALOG Programs . . . . . . . . 427
T. Hofmeister and
H. Lefmann A Combinatorial Design Approach to
MAXCUT . . . . . . . . . . . . . . . . . 441
A. Gupta and
N. Nishimura Characterizing the Complexity of
Subgraph Isomorphism for Graphs of
Bounded Path-Width . . . . . . . . . . . 453
S. A. Mitchell A Characterization of the Quadrilateral
Meshes of a Surface which Admit a
Compatible Hexahedral Mesh of Enclosed
Volume . . . . . . . . . . . . . . . . . 465
J. C. Bradfield On the Expressivity of the Modal
Mu-Calculus . . . . . . . . . . . . . . 479
B. Bollig and
I. Wegener Read-once Projections and Formal Circuit
Verification with Binary Decision
Diagrams . . . . . . . . . . . . . . . . 491
R. Giacobazzi ``Optimal'' Collecting Semantics for
Analysis in a Hierarchy of Logic Program
Semantics . . . . . . . . . . . . . . . 503
V. Schmitt Flip-Flop Nets . . . . . . . . . . . . . 517
E. Kranakis and
D. Krizanc Lower Bounds for Compact Routing . . . . 529
C. Frougny On the Successor Function in
Non-classical Numeration Systems . . . . 543
M.-P. Beal and
F. Mignosi and
A. Restivo Minimal Forbidden Words and Symbolic
Dynamics . . . . . . . . . . . . . . . . 555
M. Dietzfelbinger Universal Hashing and $k$-wise
Independent Random Variables via Integer
Arithmetic without Primes . . . . . . . 569
P. Kelsen Ranking and Unranking Trees Using
Regular Reductions . . . . . . . . . . . 581
D. Breslauer On Competitive On-Line Paging with
Lookahead . . . . . . . . . . . . . . . 593
J. Lagergren Hypothesis Testing in Perfect Phylogeny
for a Bounded Number of Characters . . . 605
C. Meinel and
S. Waack The ``log Rank'' Conjecture for Modular
Communication Complexity . . . . . . . . 619
A. Ambainis Upper Bounds on Multiparty Communication
Complexity of Shifts . . . . . . . . . . 631
C. Damm and
S. Jukna and
J. Sgall Some Bounds on Multiparty Communication
Complexity of Pointer Jumping . . . . . 643
E. Bampis and
C. Delorme and
J.- C. Koenig Optimal Schedules for d-D Grid Graphs
with Communication Delays . . . . . . . 655
B. Gaertner and
E. Welzl Linear Programming --- Randomization and
Abstract Frameworks . . . . . . . . . . 669
M. Leuschel Ecological Partial Deduction: Preserving
Characteristic Trees Without Constraints 1
J. E. Wunderwald Memoing Evaluation by Source-to-Source
Transformation . . . . . . . . . . . . . 17
A. Bossi and
N. Cocco and
S. Etalle Transformation of Left Terminating
Programs: The Reordering Problem . . . . 33
S. Gregory Derivation of Concurrent Algorithms in
Tempo . . . . . . . . . . . . . . . . . 46
F. Toni and
R. A. Kowalski An Argumentation-Theoretic Approach to
Logic Program Transformation . . . . . . 61
E. Aarts Complexity of Horn Programs . . . . . . 76
M. M. Gallardo and
J. M. Troya Studying the Cost of Logic Languages in
an Abstract Interpretation Framework for
Granularity Analysis . . . . . . . . . . 91
F. Mesnard Towards Automatic Control for CLP(chi)
Programs . . . . . . . . . . . . . . . . 106
G. Semeraro and
F. Esposito and
D. Malerba Ideal Refinement of Datalog Programs . . 120
C. Kreitz and
J. Otten and
S. Schmitt Guiding Program Development Systems by a
Connection Based Proof Strategy . . . . 137
K.-K. Lau and
M. Ornaghi Towards an Object-Oriented Methodology
for Deductive Synthesis of Logic
Programs . . . . . . . . . . . . . . . . 152
A. J. Parkes and
G. A. Wiggins Logic Program Synthesis by Induction
over Horn Clauses . . . . . . . . . . . 170
P. Flener and
Y. Deville Logic Program Transformation Through
Generalization Schemata . . . . . . . . 171
W. W. Vasconcelos and
N. E. Fuchs An Opportunistic Approach for Logic
Program Analysis and Optimisation Using
Enhanced Schema-Based Transformations 174
D. A. De Waal and
M. Thielscher Solving Deductive Planning Problems
Using Program Analysis and
Transformation . . . . . . . . . . . . . 189
S. Renault Towards a Complete Proof Procedure to
Prove Properties of Normal Logic
Programs Under the Completion . . . . . 204
T. Arts and
H. Zantema Termination of Logic Programs Using
Semantic Unification . . . . . . . . . . 219
R. Glueck On the Mechanics of Metasystem
Hierarchies in Program Transformation 234
M. Hanus Efficient Translation of Lazy Functional
Logic Programs into Prolog . . . . . . . 252
W. L. Huersch and
L. M. Seiter Automating the Evolution of
Object-Oriented Systems . . . . . . . . 2
M. VanHilst and
D. Notkin Using C++ Templates to Implement
Role-Based Designs . . . . . . . . . . . 22
T. Ledoux and
P. Cointe Explicit Metaclasses as a Tool for
Improving the Design of Class Libraries 38
B. Meyer Static Typing . . . . . . . . . . . . . 57
A. Chien and
U. Reddy and
J. Plevyak and
J. Dolby ICC++ --- A C++ Dialect for High
Performance Parallel Computing . . . . . 76
N. Sato and
S. Matsuoka and
A. Yonezawa Hierarchical Collections: an Efficient
Scheme to Build an Object-Oriented
Distributed Class Library for Massively
Parallel Computation . . . . . . . . . . 96
C. Lopes Adaptive Parameter Passing . . . . . . . 118
E. Gallesio Designing a Meta Object Protocol to Wrap
a Standard Graphical Toolkit . . . . . . 137
S. Chiba and
G. Kiczales and
J. Lamping Avoiding Confusion in Metacircularity:
The Meta-Helix . . . . . . . . . . . . . 157
Y. Tahara and
F. Kumeno and
A. Ohsuga and
S. Honiden An Algebraic Semantics of Reflective
Objects . . . . . . . . . . . . . . . . 173
Y. Tanaka A Meme Media Architecture for Fine-Grain
Component Software . . . . . . . . . . . 190
K. Nakanishi and
T. Arano A Metric for Evaluating Effectiveness of
Object-Oriented Interface Abstraction
for Promoting Software Reuse . . . . . . 215
J.-P. Briot An Experiment in Classification and
Specialization of Synchronization
Schemes . . . . . . . . . . . . . . . . 227
C. Chambers Synergies Between Object-Oriented
Programming Language Design and
Implementation Research . . . . . . . . 250
J. Nolte and
H. Konaka and
A. Hori and
Y. Ishikawa Ocore and VAST --- Integrating
Persistence into a Parallel
Object-Oriented Language . . . . . . . . 260
C. Maeda A Metaobject Protocol for Controlling
File Cache Management . . . . . . . . . 275
W. Kowarschick and
G. Koestler and
W. Kiessling Subtyping by Constraints in
Object-Oriented Databases . . . . . . . 287
M. Argenius and
A. Voronkov Semantics of Constraint Logic Programs
with Bounded Quantifiers . . . . . . . . 1
M. Baldoni and
L. Giordano and
A. Martelli Translating a Modal Language with
Embedded Implication into Horn Clause
Logic . . . . . . . . . . . . . . . . . 19
A. Brogi and
C. Guarino Pruning the Search Space of Logic
Programs . . . . . . . . . . . . . . . . 35
R. Caferra and
N. Peltier A Significant Extension of Logic
Programming by Adapting Model Building
Rules . . . . . . . . . . . . . . . . . 51
I. Cervesato and
J. S. Hodas and
F. Pfenning Efficient Resource Management for Linear
Logic Proof Search . . . . . . . . . . . 67
P. Ciancarini and
D. Fogli and
M. Gaspari A Logic Language Based on GAMMA-like
Multiset Rewriting . . . . . . . . . . . 83
C. V. Damasio and
L. M. Pereira Default Negated Conclusions: why not? 103
A. Degtyarev and
A. Voronkov Handling Equality in Logic Programming
via Basic Folding . . . . . . . . . . . 119
K. Eder and
S. Hoelldobler and
M. Thielscher An Abstract Machine for Reasoning about
Situations, Actions, and Causality . . . 137
J. Hudelmaier On the Computational Complexity of
Propositional Logic Programs with Nested
Implications . . . . . . . . . . . . . . 153
C. M. Jonker Proof-theory for Extensions of Logic
Programming . . . . . . . . . . . . . . 161
Y. Kinoshita and
A. John Power A Fibrational Semantics for Logic
Programs . . . . . . . . . . . . . . . . 177
H. Kuchen and
J. Anastasiadi Higher Order Babel: Language and
Implementation . . . . . . . . . . . . . 193
J. Lipton and
S. E. Finkelstein and
P. Freyd A New Framework for Declarative
Programming: Categorical Perspectives
(Invited paper) . . . . . . . . . . . . 209
J. J. Moreno-Navarro Extending Constructive Negation for
Partial Functions in Lazy
Functional-logic Languages . . . . . . . 213
T. C. Przymusinski Super Logic Programs and Negation as
Belief (Invited paper) . . . . . . . . . 229
R. F. Staerk Total Correctness of Logic Programs: A
Formal Approach . . . . . . . . . . . . 237
K. Stroetmann and
T. Glass A Declarative Semantics for the Prolog
Cut Operator (Invited paper) . . . . . . 255
O. Torgersson A Definitional Approach to Functional
Logic Programming . . . . . . . . . . . 273
P. Vojtas and
L. Paulik Soundness and Completeness of
Non-classical Extended SLD-resolution 289
C. Witteveen and
W. Van der Hoek Some Postulates for Nonmonotonic Theory
Revision Applied to Logic Programming 303
C. A. R. Hoare How did Software get so Reliable Without
Proof? . . . . . . . . . . . . . . . . . 1
T. Sivertsen A Case Study on the Formal Development
of a Reactor Safety System . . . . . . . 18
J. Peleska Test Automation for Safety-Critical
Systems: Industrial Application and
Future Developments . . . . . . . . . . 39
J. Bicarregui and
J. Dick and
E. Woods Quantitative Analysis of an Application
of Formal Methods . . . . . . . . . . . 60
J. Hoare and
J. Dick and
D. Neilson and
I. Soerensen Applying the B Technologies to CICS . . 74
M. Walden and
K. Sere Refining Action Systems within B-Tool 85
V. Kasurinen and
K. Sere Integrating Action Systems and Z in a
Medical System Specification . . . . . . 105
R. Groenboom and
E. Saaman and
E. Rotterdam and
G. Renardel de Lavalette Formalizing Anaesthesia: a Case Study in
Formal Specification . . . . . . . . . . 120
J. Martins and
J.-P. Hubaux A New System Engineering Methodology
Coupling Formal Specification and
Performance Evaluation . . . . . . . . . 140
B. L. Di Vito Formalizing New Navigation Requirements
for NASA's Space Shuttle . . . . . . . . 160
B. Froehlich and
P. G. Larsen Combining VDM-SL Specifications with C++
Code . . . . . . . . . . . . . . . . . . 179
T. Clement Data Reification without Explicit
Abstraction Functions . . . . . . . . . 195
T. M. Brookes and
J. S. Fitzgerald and
P. G. Larsen Formal and Informal Specifications of a
Secure System Component: Final Results
in a Comparative Study . . . . . . . . . 214
A. Valmari and
M. Setaelae Visual Verification of Safety and
Liveness . . . . . . . . . . . . . . . . 228
B. Schaetz and
H. Hussmann and
M. Broy Graphical Development of Consistent
System Specifications . . . . . . . . . 248
D. Hutter and
B. Langenstein and
C. Sengler and
J. H. Siekmann Deduction in the Verification Support
Environment (VSE) . . . . . . . . . . . 268
E. Boiten and
J. Derrick and
H. Bowman and
M. Steen Consistency and Refinement for Partial
Specification in Z . . . . . . . . . . . 287
M. Weber Combining Statecharts and Z for the
Design of Safety-Critical Control
Systems . . . . . . . . . . . . . . . . 307
C. Fidge and
M. Utting and
P. Kearney and
I. Hayes Integrating Real-time Scheduling Theory
and Program Refinement . . . . . . . . . 327
C. Seguin and
V. Wiels Using a Logical and Categorical Approach
for the Validation of Fault-Tolerant
Systems . . . . . . . . . . . . . . . . 347
F. S. De Boer and
M. Van Hulst Local Nondeterminism in Asynchronously
Communicating Processes . . . . . . . . 367
P. Chalin and
P. Grogono and
T. Radhakrishnan Identification of and Solutions to
Shortcomings of LCL, a Larch/C Interface
Specification Language . . . . . . . . . 385
B. Kannikeswaran and
R. Radhakrishnan and
P. Frey and
P. Alexander Formal Specification and Verification of
the pGVT Algorithm . . . . . . . . . . . 405
R. Pugliese and
E. Tronci Automatic Verification of a
Hydroelectric Power Plant . . . . . . . 425
D. M. Jackson Experiences in Embedded Scheduling . . . 445
B. Boigelot and
P. Godefroid Model Checking in Practice: An Analysis
of the ACCESS.bus[TM] Protocol using
SPIN . . . . . . . . . . . . . . . . . . 465
S. Kleuker and
H. Tjabben The Incremental Development of Correct
Specifications for Distributed Systems 479
C. George A Theory of Distributing Train
Rescheduling . . . . . . . . . . . . . . 499
L. Shi and
P. Nixon An Improved Translation of SA/RT
Specification Model to High-Level Timed
Petri Nets . . . . . . . . . . . . . . . 518
J. Peleska and
M. Siegel From Testing Theory to Test Driver
Implementation . . . . . . . . . . . . . 538
J. J. Comuzzi and
J. M. Hart Program Slicing using Weakest
Preconditions . . . . . . . . . . . . . 557
P. S. C. Alencar and
D. D. Cowan and
C. J. P. Lucena A Formal Approach to Architectural
Design Patterns . . . . . . . . . . . . 576
J. Zwiers and
U. Hannemann and
Y. Lakhneche and
W.-P. De Roever Modular Completeness: Integrating the
Reuse of Specified Software in Top-Down
Program Development . . . . . . . . . . 595
J. Bohn and
W. Janssen A Strategic Approach to Transformational
Design . . . . . . . . . . . . . . . . . 609
Kolyang and
T. Santen and
B. Wolff Correct and User-Friendly
Implementations of Transformation
Systems . . . . . . . . . . . . . . . . 629
A. Arnold and
D. Begay and
J.- P. Radoux An Example of use of Formal Methods to
Debug an Embedded Software . . . . . . . 649
K. Havelund and
N. Shankar Experiments in Theorem Proving and Model
Checking for Protocol Verification . . . 662
F. Wang and
C.-T. Lo Procedure-Level Verification of
Real-time Concurrent Systems . . . . . . 682
A. Mauthe and
G. Coulson and
D. Hutchison and
S. Namuye Group Support in Multimedia
Communications Systems . . . . . . . . . 1
M. I. Smirnov Object-Oriented Framework for a Scalable
Multicast Call Modelling . . . . . . . . 19
J. F. De Rezende and
S. Fdida and
A. Mauthe and
D. Hutchison M-Connection Service: A Multicast
Service for Distributed Multimedia
Applications . . . . . . . . . . . . . . 40
H. Cossmann and
C. Griwodz and
G. Grassel and
M. Puehlhoefer GLASS: A Distributed MHEG-Based
Multimedia System . . . . . . . . . . . 61
E. Klovning and
O. Bonaventure Performance Evaluation of the CSCW
Application JVTOS . . . . . . . . . . . 79
E. Van Rijssen and
I. Widya and
E. Michiels Multimedia Teleservices Modelled with
the OSI Application Layer Structure . . 99
C. Chassot and
M. Fournier and
M. Diaz and
A. Lozes Service Definition of a Multimedia
Partial Order Connection . . . . . . . . 118
F. Toutain and
L. Toutain Network Support for Multimedia
Communications Using Distributed Media
Scaling . . . . . . . . . . . . . . . . 138
L. Mathy and
O. Bonaventure The ACCOPI Multimedia Transport Service
over ATM . . . . . . . . . . . . . . . . 158
H. S. Cho and
M. R. Fry and
A. Seneviratne and
V. Witana Towards a Hybrid Scheme for Application
Adaptivity . . . . . . . . . . . . . . . 177
L. Leboucher and
J.-B. Stefani Admission Control for End-to-End
Distributed Bindings . . . . . . . . . . 192
W. Reinhardt and
D. Trossen An Enhanced Admission Control Scheme for
Deterministic and Predictive Services 209
J.-M. Boucqueau and
S. Lacroix and
B. Macq and
J.-J. Quisquater Equitable Conditional Access and
Copyright Protection for Image Based on
Trusted Third Parties . . . . . . . . . 229
M. Hamdi and
H. Afifi and
P. Rolin and
L. M. Rojas Designing Point to Point Interactive
Video Applications . . . . . . . . . . . 244
D. Lindsey and
P. F. Linington RIVUS: A Stream Template Language for
Capturing Multimedia Requirements . . . 259
P. Graf Term Indexing . . . . . . . . . . . . . 1
A. Ferreira and
P. M. Pardalos SCOOP: Solving Combinatorial
Optimization Problems in Parallel . . . 1
D. P. Bovet and
A. Clementi and
P. Crescenzi and
R. Silvestri Parallel approximation of optimization
problems . . . . . . . . . . . . . . . . 7
A. Clementi and
J. Rolim and
E. Urland Randomized parallel algorithms . . . . . 25
G. M. Megson and
L. Rapanotti and
X. Chen Automatic synthesis of parallel
algorithms . . . . . . . . . . . . . . . 51
M. Gengler An introduction to parallel dynamic
programming . . . . . . . . . . . . . . 87
R. Lueling and
B. Monien and
A. Reinefeld and
S. Tschoeke Mapping tree-structured combinatorial
optimization problems onto parallel
computers . . . . . . . . . . . . . . . 115
A. De Bruin and
G. A. P. Kindervater and
H. W. J. M. Trienekens Towards an abstract parallel branch and
bound machine . . . . . . . . . . . . . 145
R. Correa and
A. Ferreira Parallel best-first branch-and-bound in
discrete optimization: a framework . . . 171
M. Benaichouche and
V.-D. Cung and
S. Dowaji and
B. Le Cun Building a parallel branch and bound
library . . . . . . . . . . . . . . . . 201
P. M. Pardalos and
G. Xue and
P. D. Panagiotopoulos Parallel algorithms for global
optimization problems . . . . . . . . . 232
P. S. Laursen Parallel heuristic search ---
Introductions and a new approach . . . . 248
G. Holzmann Early Fault Detection Tools . . . . . . 1
D. Kozen Kleene Algebra with Tests and
Commutativity Conditions . . . . . . . . 14
L. Lamport Managing Proofs . . . . . . . . . . . . 34
R. Alur and
G. Holzmann and
D. Peled An Analyzer for Message Sequence Charts 35
R. Berghammer and
B. Von Karger and
C. Ulke Relation-Algebraic Analysis of Petri
Nets with RELVIEW . . . . . . . . . . . 49
C. Damon and
D. Jackson Efficient Search as a Means of Executing
Specifications . . . . . . . . . . . . . 70
J. Esparza and
S. Roemaer and
W. Vogler An Improvement of McMillan's Unfolding
Algorithm . . . . . . . . . . . . . . . 87
G. Bhat and
R. Cleaveland Efficient Local Model-Checking for
Fragments of the Modal --- Calculus . . 107
J. Tretmans Test Generation with Inputs, Outputs,
and Quiescence . . . . . . . . . . . . . 127
G. Lowe Breaking and Fixing the
Needham-Schroeder Public-Key Protocol
Using FDR . . . . . . . . . . . . . . . 147
R. Focardi and
R. Gorrieri Automatic Compositional Verification of
Some Security Properties . . . . . . . . 167
F. Michael and
P. Azema and
F. Vernadat Permutable Agents in Process Algebras 187
N. Buhrke and
H. Lescow and
J. Voege Strategy Construction in Infinite Games
with Streett and Rabin Chain Winning
Conditions . . . . . . . . . . . . . . . 207
S. Kowalewski and
J. Preussig Timed Condition/Event Systems: A
Framework for Modular Discrete Models of
Chemical Plants and Verification of
Their Real-Time Discrete Control . . . . 225
C.-T. Chou and
D. Peled Formal Verification of a Partial-Order
Reduction Technique for Model Checking 241
T. Margaria Fully Automatic Verification and Error
Detection for Parameterized Iterative
Sequential Circuits . . . . . . . . . . 258
B. Cleaveland and
G. Luettgen and
V. Natarajan and
S. Sims Priorities for Modeling and Verifying
Distributed Systems . . . . . . . . . . 278
C. Stirling Games and Modal Mu-Calculus . . . . . . 298
A. Ayari and
D. Basin Generic System Support for Deductive
Program Development . . . . . . . . . . 313
S. Tripakis and
C. Courcoubetis Extending Promela and Spin for Real Time 329
E. Najm and
F. Olsen Reactive EFSMs --- Reactive
Promela/RSPIN . . . . . . . . . . . . . 349
L. Moser and
P. Melliar-Smith Probabilistic Duration Automata for
Analyzing Real-Time Systems . . . . . . 369
R. Cleaveland and
P. Lewis and
S. Smolka and
O. Sokolsky The Concurrency Factory Software
Development Environment . . . . . . . . 391
A. Bouali and
A. Ressouche and
V. Roy and
R. De Simone The Fc2TOOLS Set . . . . . . . . . . . . 396
B. Grahlmann and
E. Best PEP --- More than a Petri Net Tool . . . 397
J. Cuellar and
D. Barnard and
M. Huber Rapid Prototyping for an Assertional
Specification Language . . . . . . . . . 402
C. Heyl and
A. Mester and
H. Krumm cTc --- A Tool Supporting the
Construction of cTLA-Specifications . . 407
H. Saidi A Tool for Proving Invariance Properties
of Concurrent Systems Automatically . . 412
A. Rauzy Using the Constraint Language Toupie for
``Software Cost Reduction''
Specification Analysis . . . . . . . . . 417
B. Steffen and
T. Margaria and
A. Classen and
V. Braun A Constraint-Oriented Service Creation
Environment . . . . . . . . . . . . . . 418
M. Klein and
J. Knoop and
D. Koschuetzki and
B. Steffen DFA and OPT-METAFrame: A Tool Kit for
Program Analysis and Optimization . . . 422
H. Hermanns and
V. Mertsiotakis and
M. Rettelbach A Construction and Analysis Tool Based
on the Stochastic Process Algebra TIPP 427
J. Bengtsson and
K. G. Larsen and
F. Larsson and
P. Pettersson UPPAAL in 1995 . . . . . . . . . . . . . 431
R. Srikant and
R. Agrawal Mining Sequential Patterns:
Generalizations and Performance
Improvements . . . . . . . . . . . . . . 3
M. Mehta and
R. Agrawal and
J. Rissanen SLIQ: A Fast Scalable Classifier for
Data Mining . . . . . . . . . . . . . . 18
G. Gottlob and
G. Moerkotte and
V. S. Subrahmanian The PARK Semantics for Active Rules . . 35
R. Meo and
G. Psaila and
S. Ceri Composite Events in Chimera . . . . . . 56
P. Atzeni and
R. Torlone Management of Multiple Models in an
Extensible Database Design Tool . . . . 79
U. Kelter and
D. Daeberitz An Assessment of Non-Standard DBMSs for
CASE Environments . . . . . . . . . . . 96
X. Qian Correct Schema Transformations . . . . . 114
O. Friesen and
A. Lefebvre and
L. Vieille VALIDITY: Applications of a DOOD System 131
D. Bonjour The Need for an Object Relational Model
and Its Use . . . . . . . . . . . . . . 135
A. Gupta and
H. V. Jagadish and
I. S. Mumick Data Integration Using Self-Maintainable
Views . . . . . . . . . . . . . . . . . 140
P. A. Boncz and
W. Quak and
M. L. Kersten Monet and its Geographic Extensions: A
Novel Approach to High Performance GIS
Processing . . . . . . . . . . . . . . . 147
S. Chaudhuri and
K. Shim Optimizing Queries with Aggregate Views 167
H. J. Steenhagen and
R. A. De By and
H. M. Blanken Translating OSQL Queries into Efficient
Set Expressions . . . . . . . . . . . . 183
G. Pavilion Knowledge Discovery from Epidemiological
Databases . . . . . . . . . . . . . . . 201
M. Rabinovich and
N. Gehani and
A. Kononov Scalable Update Propagation in Epidemic
Replicated Databases . . . . . . . . . . 207
B. Adelberg and
B. Kao and
H. Garcia-Molina Database Support for Efficiently
Maintaining Derived Data . . . . . . . . 223
P. Ciaccia Optimal Multi-Block Read Schedules for
Partitioned Signature Files . . . . . . 241
M. Yoshikawa and
O. Ichikawa and
S. Uemura Amalgamating SGML Documents and
Databases . . . . . . . . . . . . . . . 259--274
H. Williams and
J. Zobel Indexing Nucleotide Databases for Fast
Query Evaluation . . . . . . . . . . . . 275
I.-M. A. Chen and
V. M. Markowitz and
S. Letovsky and
P. Li Version Management for Scientific
Databases . . . . . . . . . . . . . . . 289
D. Toman and
D. Niwinski First-Order Queries over Temporal
Databases Inexpressible in Temporal
Logic . . . . . . . . . . . . . . . . . 307
M. H. Boehlen and
J. Chomicki and
R. T. Snodgrass and
D. Toman Querying TSQL2 Databases with Temporal
Logic . . . . . . . . . . . . . . . . . 325
E. Bertino and
E. Ferrari and
G. Guerrini A Formal Temporal Object-Oriented Data
Model . . . . . . . . . . . . . . . . . 342
L. Delcambre and
C. Hamon and
M. Biezunski and
R. Reddy Dynamic Development and Refinement of
Hypermedia Documents . . . . . . . . . . 359
S. Finkelstein and
E. Lemoine and
R. Lenaers MATISSE: A Multimedia Web DBMS . . . . . 363
B. Baker Doing Business with the Web: The
Informix/Illustra Approach . . . . . . . 364
C. Liu and
H. Chen A Hash Partition Strategy for
Distributed Query Processing . . . . . . 373
E. Panagos and
A. Biliris and
H. V. Jagadish and
R. Rastogi Fine-granularity Locking and
Client-Based Logging for Distributed
Architectures . . . . . . . . . . . . . 388
A. Gawecki and
F. Matthes Exploiting Persistent Intermediate Code
Representations in Open Database
Environments . . . . . . . . . . . . . . 403
M. Kamath and
G. Alonso and
R. Guenthoer and
C. Mohan Providing High Availability in Very
Large Workflow Management Systems . . . 427
F. Casati and
S. Ceri and
B. Pernici and
G. Pozzi Semantic WorkFlow Interoperability . . . 443
A. Bonner and
A. Shrufi and
S. Rozen LabFlow-1: A Database Benchmark for
High-Throughput Workflow Management . . 463
L. Bouganim and
B. Dageville and
P. Valduriez Adaptive Parallel Query Execution in
DBS3 . . . . . . . . . . . . . . . . . . 481
J. Fessy and
Y. Lepetit and
P. Pucheral Object Query Services for
Telecommunication Networks . . . . . . . 490
D. Plexousakis and
J. Mylopoulos Accommodating Integrity Constraints
During Database Design . . . . . . . . . 497
A. Y. Levy and
I. S. Mumick Reasoning with Aggregation Constraints 514
H. Decker and
E. Teniente and
T. Urpi How to Tackle Schema Validation by View
Updating . . . . . . . . . . . . . . . . 535
P. Muth and
A. Kraiss and
G. Weikum LoT: Dynamic Declustering of TSB-Tree
Nodes for Parallel Access to Temporal
Data . . . . . . . . . . . . . . . . . . 553
J. S. Karlsson and
W. Litwin and
T. Risch LH0* LH: A Scalable High Performance
Data Structure for Switched
Multicomputers . . . . . . . . . . . . . 573
N. Koudas and
C. Faloutsos and
I. Kamel Declustering Spatial Databases on a
Multi-Computer Architecture . . . . . . 592
M. Emrich Object Framework for Business
Applications . . . . . . . . . . . . . . 617
Q. Chen and
U. Dayal Commit Scope Control in Nested
Transactions . . . . . . . . . . . . . . 621
D. Simmen and
E. Shekita and
T. Malkemus Fundamental Techniques for Order
Optimization . . . . . . . . . . . . . . 625
G. Wiederhold Dealing with Asynchrony in Technology
Transfer . . . . . . . . . . . . . . . . 631
C. B. Jones Some Practical Problems and their
Influence on Semantics . . . . . . . . . 1
S. L. P. Jones Compiling Haskell by Program
Transformation: A Report from the
Trenches . . . . . . . . . . . . . . . . 18
M. Alpuente and
M. Falaschi and
G. Vidal Narrowing-Driven Partial Evaluation of
Functional Logic Programs . . . . . . . 45
R. Barbuti and
P. Mancarella A Multiple-Valued Logical Semantics for
Prolog . . . . . . . . . . . . . . . . . 62
D. Bechet Removing Value Encoding Using
Alternative Values in Partial Evaluation
of Strongly-Typed Languages . . . . . . 77
J. A. Bergstra and
T. B. Dinesh and
J. Field and
J. Heering A Complete Transformational Toolkit for
Compilers . . . . . . . . . . . . . . . 92
F. Bueno and
D. Cabeza and
M. Hermenegildo and
G. Puebla Global Analysis of Standard Prolog
Programs . . . . . . . . . . . . . . . . 108
P. Fradet and
R. Gaugne and
D. Le Metayer Static Detection of Pointer Errors: An
Axiomatisation and a Checking Algorithm 125
R. Giacobazzi and
F. Ranzato Compositional Optimization of
Disjunctive Abstract Interpretations . . 141
J. C. Gonzalez-Moreno and
M. T. Hortala-Gonzalez and
F. J. Lopez-Fraguas and
M. Rodriguez-Artalejo A Rewriting Logic for Declarative
Programming . . . . . . . . . . . . . . 156
E. Goubault Durations for Truly-concurrent
Transitions . . . . . . . . . . . . . . 173
T. P. Jensen and
I. Mackie Flow Analysis in the Geometry of
Interaction . . . . . . . . . . . . . . 188
J. Launchbury and
R. Paterson Parametricity and Unboxing with
Unpointed Types . . . . . . . . . . . . 204
S. Liang and
P. Hudak Modular Denotational Semantics for
Compiler Construction . . . . . . . . . 219
F. Maraninchi and
N. Halbwachs Compositional Semantics of
Non-Deterministic Synchronous Languages 235
S. Melzer and
J. Esparza Checking System Properties via Integer
Programming . . . . . . . . . . . . . . 250
U. Montanari and
M. Pistore and
D. Yankelevich Efficient Minimization up to Location
Equivalence . . . . . . . . . . . . . . 265
J. Palsberg and
B. Patt-Shamir and
K. Lieberherr A New Approach to Compiling Adaptive
Programs . . . . . . . . . . . . . . . . 280
E. Rohwedder and
F. Pfenning Mode and Termination Checking for
Higher-Order Logic Programs . . . . . . 296
E. Rose Linear Time Hierarchies for a Functional
Language Machine Model . . . . . . . . . 311
H. Seidl Integer Constraints to Stop
Deforestation . . . . . . . . . . . . . 326
G. Smith and
D. Volpano Towards an ML-Style Polymorphic Type
System for C . . . . . . . . . . . . . . 341
K. Stoelen Assumption/Commitment Rules for Dataflow
Networks --- With an Emphasis on
Completeness . . . . . . . . . . . . . . 356
M. Thune and
K. Aahlander Towards an Expressive Language for PDE
Solvers . . . . . . . . . . . . . . . . 373
S. Van Bakel and
F. Barbanera and
M. Fernandez Rewrite Systems with Abstraction and
??-rule: Types, Approximants and
Normalization . . . . . . . . . . . . . 387
S. Abramsky Semantics of Interaction . . . . . . . . 1
A. Bottreau and
Y. Metivier The Kronecker Product and Local
Computations in Graphs . . . . . . . . . 2
M. Madonia and
S. Varricchio Iterative Pairs and Multitape Automata 17
A. Boudet and
H. Comon Diophantine Equations, Presburger
Arithmetic and Finite Automata . . . . . 30
A. Kuehnemann A Pumping Lemma for Output Languages of
Macro Tree Transducers . . . . . . . . . 44
D. Merlini and
R. Sprugnoli and
M. C. Verri The Area Determined by Underdiagonal
Lattice Paths . . . . . . . . . . . . . 59
Y. Takayama Extraction of Concurrent Processes from
Higher Dimensional Automata . . . . . . 72
R. Kaivola Axiomatising Extended Computation Tree
Logic . . . . . . . . . . . . . . . . . 87
M. Lenisa Final Semantics for a Higher Order
Concurrent Language . . . . . . . . . . 102
F. Pfenning The Practice of Logical Framework . . . 119
L. Bachmair and
T. Chen and
C. R. Ramakrishnan and
I. V. Ramakrishnan Subsumption Algorithms Based on Search
Trees . . . . . . . . . . . . . . . . . 135
M. Fernandez and
I. Mackie Interaction Nets and Term Rewriting
Systems . . . . . . . . . . . . . . . . 149
B. Lisper Computing in Unpredictable Environments:
Semantics, Reduction Strategies, and
Program Transformations . . . . . . . . 165
J. Glauert and
Z. Khasidashvili Relative Normalization in Deterministic
Residual Structures . . . . . . . . . . 180
T. Arts Termination by Absence of Infinite
Chains of Dependency Pairs . . . . . . . 196
B. Gramlich Confluence without Termination via
Parallel Critical Pairs . . . . . . . . 211
E. A. Cichon and
H. Touzet An Ordinal Calculus for Proving
Termination in Term Rewriting . . . . . 226
M. Bidoit and
A. Tarlecki Behavioural Satisfaction and Equivalence
in Concrete Model Categories . . . . . . 241
A. Cheng and
M. Nielsen Open Maps, Behavioural Equivalences, and
Congruences . . . . . . . . . . . . . . 257
A. Rensink Denotational, Causal, and Operational
Determinism in Event Structures . . . . 272
M. H. Soerensen Effective Longest and Infinite Reduction
Paths in Untyped lambda-Calculi . . . . 287
G. Boudol and
C. Lavatelli Full Abstraction for Lambda Calculus
with Resources and Convergence Testing 302
J. Tiuryn and
M. Wand Untyped Lambda-Calculus with
Input-Output . . . . . . . . . . . . . . 317
J. Wang and
G. R. Gao Pipelining-Dovetailing: A Transformation
to Enhance Software Pipelining for
Nested Loops . . . . . . . . . . . . . . 1
P. Pfahler and
G. Piepenbrock A Comparison of Modulo Scheduling
Techniques for Software Pipelining . . . 18
M. A. Ertl and
A. Krall Removing Anti Dependences by Repairing 33
J. Janssen and
H. Corporaal Controlled Node Splitting . . . . . . . 44
J. W. Davidson and
S. Jinturkar Aggressive Loop Unrolling in a
Retargetable, Optimizing Compiler . . . 59
C. Verbrugge and
P. Co and
L. Hendren Generalized Constant Propagation: A
Study in C . . . . . . . . . . . . . . . 74
C. Cifuentes Structuring Decompiled Graphs . . . . . 91
A. Geser and
J. Knoop and
G. Luettgen and
O. Ruething Non-monotone Fixpoint Iterations to
Resolve Second Order Effects . . . . . . 106
U. Assmann How to Uniformly Specify Program
Analysis and Transformation with Graph
Rewrite Systems . . . . . . . . . . . . 121
B. Steensgaard Points-to Analysis by Type Inference of
Programs with Structures and Unions . . 136
W. M. Waite Compiler Construction: Craftsmanship or
Engineering? . . . . . . . . . . . . . . 151
A. Nymeyer and
J.-P. Katoen and
Y. Westra and
H. Alblas Code Generation = A0* + BURS . . . . . . 160
M. Pettersson A Compiler for Natural Semantics . . . . 177
D. Boucher and
M. Feeley Abstract Compilation: A New
Implementation Paradigm for Static
Analysis . . . . . . . . . . . . . . . . 192
D. J. Salomon Using Partial Evaluation in Support of
Portability, Reusability, and
Maintainability . . . . . . . . . . . . 208
J.-D. Choi and
V. Sarkar and
E. Schonberg Incremental Computation of Static Single
Assignment Form . . . . . . . . . . . . 223
Z. Li and
C. C. Kirkham Efficient Storage Reuse of Aggregates in
Single Assignment Languages . . . . . . 238
F. Chow and
S. Chan and
S.-M. Liu and
R. Lo Effective Representation of Aliases and
Indirect Memory Operations in SSA Form 253
B. M. Kadhim and
W. M. Waite Maptool --- Supporting Modular Syntax
Development . . . . . . . . . . . . . . 268
P. McLean and
R. N. Horspool A Faster Earley Parser . . . . . . . . . 281
T. A. Proebsting and
B. R. Whaley One-Pass, Optimal Tree Parsing --- With
Or Without Trees . . . . . . . . . . . . 294
J. Vitek and
R. N. Horspool Compact Dispatch Tables for Dynamically
Typed Object Oriented Languages . . . . 309
J. Bosch Delegating Compiler Objects --- An
Object-Oriented Approach to Crafting
Compilers . . . . . . . . . . . . . . . 326
P. Fritzson and
R. Wismueller and
O. Hansen and
J. Sala A Parallel Debugger with Support for
Distributed Arrays, Multiple Executables
and Dynamic Processes . . . . . . . . . 341
J.-P. Banâtre Parallel Multiset Processing: From
Explicit Coordination to Chemical
Reaction . . . . . . . . . . . . . . . . 1
U. Montanari and
F. Rossi Graph Rewriting and Constraint Solving
for Modelling Distributed Systems with
Synchronization . . . . . . . . . . . . 12
P. Wegner Coordination as Constrained Interaction 28
F. Arbab The IWIM Model for Coordination of
Concurrent Activities . . . . . . . . . 34
M. Banville Sonia: an Adaptation of Linda for
Coordination of Activities in
Organizations . . . . . . . . . . . . . 57
J. A. Bergstra and
P. Klint The ToolBus Coordination Architecture 75
S. Castellani and
P. Ciancarini Enhancing Coordination and Modularity
Mechanisms for a Language with
Objects-as-Multisets . . . . . . . . . . 89
M. Chaudron and
E. De Jong Towards a Compositional Method for
Coordinating Gamma Programs . . . . . . 107
D. Cohen and
J. Muylaert-Filho Introducing a Calculus for Higher-Order
Multiset Programming . . . . . . . . . . 124
K. De Bosschere and
J.-M. Jacquet 02Log: Towards Remote Coordination . . . 142
R. De Nicola and
R. Pugliese A Process Algebra Based on Linda . . . . 160
M. Fukuda and
L. F. Bic and
M. B. Dillencourt and
F. Merchant Intra- and Inter-Object Coordination
with MESSENGERS . . . . . . . . . . . . 179
G. Florijn and
T. Besamusca and
D. Greefhorst Ariadne and HOPLa: Flexible Coordination
of Collaborative Processes . . . . . . . 197
H. J. M. Goeman and
J. N. Kok and
K. Sere and
R. T. Udink Coordination in the ImpUnity Framework 215
D. S. Gladstein and
M. Wand Compiler Correctness for Concurrent
Languages . . . . . . . . . . . . . . . 231
A. A. Holzbacher A Software Environment for Concurrent
Coordinated Programming . . . . . . . . 249
T. Kielmann Designing a Coordination Model for Open
Systems . . . . . . . . . . . . . . . . 267
M. Mukherji and
D. Kafura CCE: A Process-Calculus Based Formalism
for Specifying Multi-Object Coordination 285
E. Denti and
A. Omicini and
A. Natali and
M. Venuti An Extensible Framework for the
Development of Coordinated Applications 305
K. V. S. Prasad Broadcasting in Time . . . . . . . . . . 321
M. Radestock and
S. Eisenbach Semantics of a Higher-Order Coordination
Language . . . . . . . . . . . . . . . . 339
A. Rowstron and
A. Wood Solving the Linda Multiple rd Problem 357
N. Singh and
M. A. Gisi Coordinating Distributed Objects with
Declarative Interfaces . . . . . . . . . 368
R. Tolksdorf Coordinating Services in Open
Distributed Systems with LAURA . . . . . 386
P. Bouvry and
F. Arbab Visifold: A Visual Environment for a
Coordination Language . . . . . . . . . 403
H. Burkhart and
R. Frank and
G. Haechler ALWAN: A Skeleton Programming Language 407
P. Ciancarini and
R. Tolksdorf and
F. Vitali Weaving the Web Using Coordination . . . 411
E.-E. Doberkat and
W. Hasselbring and
C. Pahl Investigating Strategies for Cooperative
Planning of Independent Agents Through
Prototype Evaluation . . . . . . . . . . 416
A. Hazeyama and
S. Komiya A Case Study of Integration of a
Software Process Management System with
Software Engineering Environments for
Process Monitoring and Management . . . 420
E. Horita and
K. Mano Nepi: A Network Programming Language
Based on the Pi-Calculus . . . . . . . . 424
P. Inverardi and
D. Compare Modelling Interoperability by CHAM . . . 428
O. Krone and
M. Aguilar and
B. Hirsbrunner and
V. Sunderam Integrating Coordination Features in PVM 432
P. A. Olivier A Simulator Framework for Embedded
Systems . . . . . . . . . . . . . . . . 436
P. A. Straub and
C. L. Hurtado Understanding Behavior of Business
Process Models . . . . . . . . . . . . . 440
E. Sanchez Field Programmable Gate Array (FPGA)
Circuits . . . . . . . . . . . . . . . . 1
M. Tomassini Evolutionary Algorithms . . . . . . . . 19
F. Gruau Artificial Cellular Development in
Optimization and Compilation . . . . . . 48
H. De Garis CAM-BRAIN: The Evolutionary Engineering
of a Billion Neuron Artificial Brain by
2001 Which Grows/Evolves at Electronic
Speeds Inside a Cellular Automata
Machine (CAM) . . . . . . . . . . . . . 76
H. Kitano Morphogenesis for Evolvable Systems . . 99
T. Higuchi and
M. Iwata and
I. Kajitani and
H. Iba Evolvable Hardware and Its Applications
to Pattern Recognition and
Fault-Tolerant Systems . . . . . . . . . 118
A. Thompson and
I. Harvey and
P. Husbands Unconstrained Evolution and Hard
Consequences . . . . . . . . . . . . . . 136
P. Marchal and
P. Nussbaum and
C. Piguet and
S. Durand Embryonics: The Birth of Synthetic Life 166
D. Mange and
M. Goeke and
D. Madon and
A. Stauffer Embryonics: A New Family of
Coarse-Grained Field Programmable Gate
Array with Self-Repair and
Self-Reproducing Properties . . . . . . 197
F. Mondada and
D. Floreano Evolution and Mobile Autonomous Robotics 221
H. Hemmi and
J. Mizoguchi and
K. Shimohara Development and Evolution of Hardware
Behaviors . . . . . . . . . . . . . . . 250
T. Baeck Evolution Strategies: An Alternative
Evolutionary Algorithm . . . . . . . . . 3
D. B. Fogel and
L. J. Fogel An Introduction to Evolutionary
Programming . . . . . . . . . . . . . . 21
R. Cerf An Asymptotic Theory of Genetic
Algorithms . . . . . . . . . . . . . . . 37
G. Venturini Towards a Genetic Theory of Easy and
Hard Functions . . . . . . . . . . . . . 54
M. Jelasity and
J. Dombi GAs, a Concept of Modeling Species in
Genetic Algorithms . . . . . . . . . . . 69
C. Godart and
M. Krueger A Genetic Algorithm with Parallel
Steady-State Reproduction . . . . . . . 86
C. Ravise and
M. Sebag and
M. Schoenauer Induction-Based Control of Genetic
Algorithms . . . . . . . . . . . . . . . 100
R. Viennet and
C. Fonteix and
I. Marc New Multicriteria Optimization Method
Based on the Use of a Diploid Genetic
Algorithm: Example of an Industrial
Problem . . . . . . . . . . . . . . . . 120
P. Bourgine and
D. Snyers Lotka Volterra Coevolution at the Edge
of Chaos . . . . . . . . . . . . . . . . 131
R. Dumeur Evolution Through Cooperation: The
Symbiotic Algorithm . . . . . . . . . . 145
N. Meuleau and
C. Lattaud The Artificial Evolution of Cooperation 159
S. Xanthakis and
C. Karapoulios and
R. Pajot and
A. Rozz Immune System and Fault-Tolerant
Computing . . . . . . . . . . . . . . . 181
F. Gruau Modular Genetic Neural Networks for
Six-Legged Locomotion . . . . . . . . . 201
O. Michel An Artificial Life Approach for the
Synthesis of Autonomous Agents . . . . . 220
M. Schoenauer and
E. Ronald How Long Does It Take to Evolve a Neural
Net? . . . . . . . . . . . . . . . . . . 232
G. Cretin and
E. Lutton and
J. Levy-Vehel and
P. Glevarec Mixed IFS: Resolution of the Inverse
Problem Using Genetic Programming . . . 247
J. Graf and
W. Banzhaf Interactive Evolution for Simulated
Natural Evolution . . . . . . . . . . . 259
J. Louchet and
M. Boccara and
D. Crochemore and
X. Provot Building New Tools for Synthetic Image
Animation by Using Evolutionary
Techniques . . . . . . . . . . . . . . . 273
E. Lutton and
P. Martinez A Genetic Algorithm with Sharing for the
Detection of $2$D Geometric Primitives
in Images . . . . . . . . . . . . . . . 287
J.-M. Alliot and
N. Durand A Genetic Algorithm to Improve an
Othello Program . . . . . . . . . . . . 307
T. Baeck and
M. Schuetz and
S. Khuri A Comparative Study of a Penalty
Function, a Repair Heuristic and
Stochastic Operators with the
Set-Covering Problem . . . . . . . . . . 320
J.-K. Hao and
R. Dorne Study of Genetic Search for the
Frequency Assignment Problem . . . . . . 333
V. Gorrini and
M. Dorigo An Application of Evolutionary
Algorithms to the Scheduling of Robotic
Operations . . . . . . . . . . . . . . . 345
C. Kane and
M. Schoenauer Genetic Operators for Two-Dimensional
Shape Optimization . . . . . . . . . . . 355
F. Medioni and
N. Durand and
J.-M Alliot Air Traffic Conflict Resolution by
Genetic Algorithms . . . . . . . . . . . 370
M. Slimane and
G. Venturini and
J.-P. Asselin de Beauville and
T. Brouard Optimizing Hidden Markov Models with a
Genetic Algorithm . . . . . . . . . . . 384
M. Armstrong and
A. Zisserman and
R. Hartley Self-calibration from image triplets . . 3
M. Irani and
P. Anandan Parallax geometry of pairs of points for
$3$D scene analysis . . . . . . . . . . 17
M. Pollefeys and
L. Van Cool and
M. Proesmans Euclidean $3$D reconstruction from image
sequences with variable focal lengths 31
P. N. Belhumeur and
J. P. Hespanha and
D. J. Kriegman Eigenfaces vs. Fisherfaces: recognition
using class specific linear projection 45
B. Lamiroy and
P. Gros Rapid object indexing and recognition
using enhanced geometric hashing . . . . 59
M. Pilu and
R. B. Fisher Recognition of geons by parametric
deformable contour models . . . . . . . 71
F. Bignone and
O. Henricsson and
P. Fua and
M. Stricker Automatic extraction of generic house
roofs from high resolution aerial
imagery . . . . . . . . . . . . . . . . 85
V. Caselles and
R. Kimmel and
G. Sapiro and
C. Sbert Three dimensional object modeling via
minimal surfaces . . . . . . . . . . . . 97
G. J. Fletcher and
P. J. Giblin Class based reconstruction techniques
using singular apparent contours . . . . 107
A. Hilton and
A. J. Stoddart and
J. Illingworth and
T. Windeatt Reliable surface reconstruction from
multiple range images . . . . . . . . . 117
D. R. Hougen and
N. Ahuja Shape from appearance: a statistical
approach to surface shape estimation . . 127
J.-O. Lachaud and
A. Montanvert Volumic segmentation using hierarchical
representation and triangulated surface 137
S. Laveau and
O. Faugeras Oriented projective geometry for
computer vision . . . . . . . . . . . . 147
F. Li and
J. M. Brady and
C. Wiles Fast computation of the fundamental
matrix for an active stereo vision
system . . . . . . . . . . . . . . . . . 157
J. Malik On binocularly viewed occlusion
junctions . . . . . . . . . . . . . . . 167
C. Rothwell and
J. Stern Understanding the shape properties of
trihedral polyhedra . . . . . . . . . . 175
J. A. Bangham and
R. Harvey and
P. D. Ling and
R. V. Aldridge Nonlinear scale-space from
$n$-dimensional sieves . . . . . . . . . 189
S. Casadei and
S. Mitter Hierarchical curve reconstruction. Part
I: bifurcation analysis and recovery of
smooth curves . . . . . . . . . . . . . 199
M.-H. Horng and
Y.-N. Sun and
X.-Z. Lin Texture feature coding method for
classification of liver sonography . . . 209
U. Koethe Local appropriate scale in morphological
scale-space . . . . . . . . . . . . . . 219
T. Lindeberg and
D. Fagerstroem Scale-space with causal time direction 229
A. M. Lopez and
J. Serrat Tracing crease curves by solving a
system of differential equations . . . . 241
R. Malladi and
J. A. Sethian Flows under min/max curvature flow and
mean curvature: applications in image
processing . . . . . . . . . . . . . . . 251
C. F. Olson Decomposition of the Hough Transform:
curve detection with efficient error
propagation . . . . . . . . . . . . . . 263
S. Ravela and
R. Manmatha and
E. M. Riseman Image retrieval using scale-space
matching . . . . . . . . . . . . . . . . 273
G. Taubin and
T. Zhang and
G. Golub Optimal surface smoothing as filter
design . . . . . . . . . . . . . . . . . 283
D. Vernon Segmentation in dynamic image sequences
by isolation of coherent wave profiles 293
Z.-Y. Xie and
J. M. Brady Texture segmentation using local energy
in wavelet scale space . . . . . . . . . 304
E. Bardinet and
L. Cohen and
N. Ayache Tracking medical $3$D data with a
deformable parametric model . . . . . . 317
M. J. Black and
A. D. Jepson Eigen Tracking: robust matching and
tracking of articulated objects using a
view-based representation . . . . . . . 329
M. Isard and
A. Blake Contour tracking by stochastic
propagation of conditional density . . . 343
D. Reynard and
A. Wildenberg and
A. Blake and
J. Marchant Learning dynamics of complex motions
from image sequences . . . . . . . . . . 357
A. Amir and
M. Lindenbaum Quantitative analysis of grouping
processes . . . . . . . . . . . . . . . 371
T.-J. Cham and
R. Cipolla Geometric saliency of curve
correspondences and grouping of
symmetric contours . . . . . . . . . . . 385
J. H. Elder and
S. W. Zucker Computing contour closure . . . . . . . 399
D. Geiger and
K. Kumaran Visual organization of illusory surfaces 413
J. Gaarding and
J. Porrill and
J. P. Frisby and
J. E. W. Mayhew Uncalibrated relief reconstruction and
model alignment from binocular
disparities . . . . . . . . . . . . . . 427
L. Robert and
R. Deriche Dense depth map reconstruction: a
minimization and regularization approach
which preserves discontinuities . . . . 439
C. Tomasi and
R. Manduchi Stereo without search . . . . . . . . . 452
T. Arbel and
F. P. Ferrie Informative views and sequential
recognition . . . . . . . . . . . . . . 469
P. Andrey and
P. Tarroux Unsupervised texture segmentation using
selectionist relaxation . . . . . . . . 482
T. A. Cass Robust affine structure matching for
$3$D object recognition . . . . . . . . 492
N. Costen and
L. Craw and
G. Robertson and
S. Akamatsu Automatic face recognition: what
representation? . . . . . . . . . . . . 504
A. D. J. Cross and
R. C. Wilson and
E. R. Hancock Genetic search for structural matching 514
V. Hlavac and
A. Leonardis and
T. Werner Automatic selection of reference views
for image-based scene representations 526
D. P. Huttenlocher and
R. H. Lilien and
C. F. Olson Object recognition using subspace
methods . . . . . . . . . . . . . . . . 536
T. Leung and
J. Malik Detecting, localizing and grouping
repeated scene elements from an image 546
T.- L. Liu and
M. Donahue and
D. Geiger and
R. Hummel Image recognition with occlusions . . . 556
F. Mokhtarian Silhouette-based object recognition with
occlusion through curvature scale space 566
D. Nair and
J. K. Aggarwal A focused target segmentation paradigm 579
C. Nastar and
B. Moghaddam and
A. Pentland Generalized image matching: statistical
learning of physically-based
deformations . . . . . . . . . . . . . . 589
C. Rothwell Reasoning about occlusions during
hypothesis verification . . . . . . . . 599
B. Schiele and
J. L. Crowley Object recognition using
multidimensional receptive field
histograms . . . . . . . . . . . . . . . 610
R. Schiller Normalization by optimization . . . . . 620
C. Steger Extracting curvilinear structures: a
differential geometric approach . . . . 630
L. Van Gool and
T. Moons and
D. Ungureanu Affine/photometric invariants for planar
intensity patterns . . . . . . . . . . . 642
T. Vetter and
T. Poggio Image synthesis from a single example
image . . . . . . . . . . . . . . . . . 652
M. Werman and
D. Weinshall Complexity of indexing: efficient and
learnable large database indexing . . . 660
L. F. Cheong and
C. Fermueller and
Y. Aloimonos Spatiotemporal representations for
visual navigation . . . . . . . . . . . 673
K. Daniilidis and
I. Thomas Decoupling the $3$D motion space by
fixation . . . . . . . . . . . . . . . . 685
K. Kanatani Automatic singularity test for motion
analysis by an information criterion . . 697
R. Szeliski and
S. B. Kang Shape ambiguities in structure from
motion . . . . . . . . . . . . . . . . . 709
K. Barnard and
G. Finlayson and
B. Funt Colour constancy for scenes with varying
illumination . . . . . . . . . . . . . . 3
G. D. Finlayson and
S. S. Chatterjee and
B. V. Funt Color angular indexing . . . . . . . . . 16
J. J. Koenderink and
A. J. Van Doorn and
M. Stavridi Bidirectional reflection distribution
function expressed in terms of surface
scattering modes . . . . . . . . . . . . 28
L. B. Wolff Generalizing Lambert's Law for smooth
surfaces . . . . . . . . . . . . . . . . 40
J. H. Elder and
S. W. Zucker Local scale control for edge detection
and blur estimation . . . . . . . . . . 57
M. Nielsen and
L. Florack and
R. Deriche Regularization, scale-space, and edge
detection filters . . . . . . . . . . . 70
E. P. Simoncelli and
H. Farid Direct differential range estimation
using optical masks . . . . . . . . . . 82
K. Aastroem and
R. Cipolla and
P. J. Giblin Generalised epipolar constraints . . . . 97
E. Boyer Object models from contour sequences . . 109
T. Brodsky and
C. Fermueller and
Y. Aloimonos Directions of motion fields are hardly
ever ambiguous . . . . . . . . . . . . . 119
S. Christy and
R. Horaud Euclidean reconstruction: from
paraperspective to perspective . . . . . 129
I. Cohen and
I. Herlin Optical flow and phase portrait methods
for environmental satellite image
sequences . . . . . . . . . . . . . . . 141
A. Giachetti and
V. Torre Refinement of optical flow estimation
and detection of motion edges . . . . . 151
J. M. Lawn and
R. Cipolla Reliable extraction of the camera motion
using constraints on the epipole . . . . 161
H. Liu and
T.-H. Hong and
M. Herman and
R. Chellappa Accuracy vs. efficiency trade-offs in
optical flow algorithms . . . . . . . . 174
J. Oliensis Rigorous bounds for two-frame structure
from motion . . . . . . . . . . . . . . 184
A. Shashua and
S. Avidan The rank 4 Constraint in multiple (3)
view geometry . . . . . . . . . . . . . 196
T. Vieville and
D. Lingrand Using singular displacements for
uncalibrated monocular visual systems 207
D. Weinshall and
M. Werman and
A. Shashua Duality of multi-point and multi-frame
geometry: fundamental shape matrices and
tensors . . . . . . . . . . . . . . . . 217
C. Wiles and
J. M. Brady On the appropriateness of camera models 228
C. Wiles and
J. M. Brady Ground plane motion camera models . . . 238
A. A. Amini and
R. W. Curwen and
J. C. Gore Snakes and splines for tracking
non-rigid heart motion . . . . . . . . . 251
S. Benayoun and
D. Kharitonsky and
A. Zilberman and
S. Peleg Local quantitative measurements for
cardiac motion analysis . . . . . . . . 262
M. J. Byrne and
J. Graham Application of model based image
interpretation methods to diabetic
neuropathy . . . . . . . . . . . . . . . 272
S. Fletcher and
A. Bulpitt and
D. C. Hogg Global alignment of MR images using a
scale based hierarchical model . . . . . 283
P. Hall and
M. Ngan and
P. Andreae Reconstruction of blood vessel networks
from X-ray projections and a vascular
catalogue . . . . . . . . . . . . . . . 293
S. Gil and
R. Milanese and
T. Pun Combining multiple motion estimates for
vehicle tracking . . . . . . . . . . . . 307
R. Howarth and
H. Buxton Visual surveillance monitoring and
watching . . . . . . . . . . . . . . . . 321
K. P. Ngoi and
J. Jia A robust active contour model for
natural scene contour extraction with
automatic thresholding . . . . . . . . . 335
J. Y. Siskind and
Q. Morris A maximum-likelihood approach to visual
event classification . . . . . . . . . . 347
Y. Gdalyahu and
D. Weinshall Measures for silhouettes resemblance and
representative silhouettes of curved
objects . . . . . . . . . . . . . . . . 363
R. Kaucic and
B. Dalton and
A. Blake Real-time lip tracking for audio-visual
speech recognition applications . . . . 376
H. Kollnig and
H.-H. Nagel Matching object models to segments from
an optical flow field . . . . . . . . . 388
S. Solloway and
C. J. Taylor and
C. E. Hutchinson and
J. C. Waterton Quantification of articular cartilage
from MR images using active shape models 400
M. J. Brooks and
L. De Agapito and
D. Q. Huynh and
L. Baumela Direct methods for self-calibration of a
moving stereo head . . . . . . . . . . . 415
C. Delherm and
J. M. Lavest and
M. Dhome and
J. T. Lapreste Dense reconstruction by zooming . . . . 427
M. Watanabe and
S. K. Nayar Telecentric optics for computational
vision . . . . . . . . . . . . . . . . . 439
P. Braud and
J.-T. Lapreste and
M. Dhome Recognition, pose and tracking of
modelled polyhedral objects by
multi-ocular vision . . . . . . . . . . 455
T. F. Cootes and
C. J. Taylor Locating objects of varying shape using
statistical feature detectors . . . . . 465
J. H. Fernyhough and
A. G. Cohn and
D. C. Hogg Generation of semantic regions from
image sequences . . . . . . . . . . . . 475
T. Frank and
M. Haag and
H. Kollnig and
H.-H Nagel Tracking of occluded vehicles in traffic
scenes . . . . . . . . . . . . . . . . . 485
P. Fua and
U. Brechbuehler Imposing hard constraints on soft snakes 495
G. D. Hager and
K. Toyama X vision: combining image warping and
geometric constraints for fast visual
tracking . . . . . . . . . . . . . . . . 507
F. Lerasle and
G. Rives and
M. Dhome and
A. Yassine Human body tracking by monocular vision 518
R. Mann and
A. D. Jepson and
J. M. Siskind Computational perception of scene
dynamics . . . . . . . . . . . . . . . . 528
S. J. Maybank and
A. D. Worrall and
G. D. Sullivan A filter for visual tracking based on a
stochastic model for driver behaviour 540
D. Metaxas and
I. A. Kakadiaris Elastically adaptive deformable models 550
S. Rowe and
A. Blake Statistical feature modelling for active
contours . . . . . . . . . . . . . . . . 560
B. Bascle and
A. Blake and
A. Zisserman Motion deblurring and super-resolution
from an image sequence . . . . . . . . . 573
C. Colombo and
J. L. Crowley Uncalibrated visual tasks via linear
interaction . . . . . . . . . . . . . . 583
M. M. Fleck and
D. A. Forsyth and
C. Bregler Finding naked people . . . . . . . . . . 593
A. C. Kokaram and
S. J. Godsill A system for reconstruction of missing
data in image sequences using sampled
$3$D AR models and MRF motion priors . . 613
V. Mueller Elimination of specular
surface-reflectance using polarized and
unpolarized light . . . . . . . . . . . 625
N. Ohnishi and
K. Kumaki and
T. Yamamura and
T. Tanaka Separating real and virtual objects from
their overlapping images . . . . . . . . 636
I. Reid and
A. Zisserman Goal-directed video metrology . . . . . 647
C. J. Taylor and
P. E. Debevec and
J. Malik Reconstructing polyhedral models of
architectural scenes from photographs 659
A. Heyden and
K. Aastroem Algebraic varieties in multiple view
geometry . . . . . . . . . . . . . . . . 671
P. Beardsley and
P. Torr and
A. Zisserman $3$D model acquisition from extended
image sequences . . . . . . . . . . . . 683
T. Faugeras and
O. Papadopoulo Computing structure and motion of
general $3$D curves from monocular
sequences of perspective images . . . . 696
P. Sturm and
B. Triggs A factorization based algorithm for
multi-image projective structure and
motion . . . . . . . . . . . . . . . . . 709
J. Lygeros and
D. N. Godbole and
S. Sastry A game-theoretic approach to hybrid
system design . . . . . . . . . . . . . 1
Y. Kesten and
Z. Manna and
A. Pnueli Verifying clocked transition systems . . 13
A. Benveniste Compositional and uniform modeling of
hybrid systems . . . . . . . . . . . . . 41
V. Gupta and
R. Jagadeesan and
V. Saraswat Hybrid cc, hybrid automata, and program
verification . . . . . . . . . . . . . . 52
M. K. Ghosh and
S. I. Marcus and
A. Arapostathis Controlled switching diffusions as
hybrid processes . . . . . . . . . . . . 64
X. Ge and
W. Kohn and
A. Nerode and
J. B. Remmel Hybrid systems: chattering approximation
to relaxed controls . . . . . . . . . . 76
H. B. Weinberg and
N. Lynch and
N. Delisle Verification of automated vehicle
protection systems . . . . . . . . . . . 101
R. De Lemos and
J. G. Hall Extended RTL in the specification and
verification of an industrial press . . 114
M. Sintzoff Abstract verification of structured
dynamical systems . . . . . . . . . . . 126
A. Deshpande and
D. Godbole and
A. Goellue and
P. Varaiya Design and evaluation tools for
automated highway systems . . . . . . . 138
J.-M. Godhavn and
T. Lauvdal and
O. Egeland Hybrid control in sea traffic management
systems . . . . . . . . . . . . . . . . 149
J. A. Haddon and
D. N. Godbole and
A. Deshpande and
J. Lygeros Verification of hybrid systems:
monotonicity in the AHS control system 161
Z. Artstein Examples of stabilization with hybrid
feedback . . . . . . . . . . . . . . . . 173
M. S. Branicky General hybrid dynamical systems:
modeling, analysis, and control . . . . 186
T. I. Seidman The residue of model reduction . . . . . 201
C. Daws and
A. Olivero and
S. Tripakis and
S. Yovine The tool KRONOS . . . . . . . . . . . . 208
R. Alur and
R. P. Kurshan Timing analysis in COSPAN . . . . . . . 220
J. Bengtsson and
K. G. Larsen and
F. Larsson and
P. Pettersson UPPAAL: a tool suite for automatic
verification of real-time systems . . . 232
V. D. Dimitriadis and
N. Shah and
C. C. Pantelides Optimal design of hybrid controllers for
hybrid process systems . . . . . . . . . 244
L. E. Holloway On-line fault monitoring of a class of
hybrid systems using templates with
dynamic time scaling . . . . . . . . . . 258
X. Qiwen and
H. Weidong Hierarchical design of a chemical
concentration control system . . . . . . 270
J.-E. Stroemberg and
S. Nadjm-Tehrani and
J. L. Top Switched bond graphs as front-end to
formal verification of hybrid systems 282
W. Ji and
H. Weidong Formal specification of stability in
hybrid control systems . . . . . . . . . 294
C. Heitmeyer Requirements specifications for hybrid
systems . . . . . . . . . . . . . . . . 304
D. Sinclair and
E. Holz and
D. Witaszek and
M. Wasowski Validation of hybrid systems by
co-simulation . . . . . . . . . . . . . 315
S. Narain Proofs from temporal hypotheses by
symbolic simulation . . . . . . . . . . 327
D. D. Cofer and
V. K. Garg On controlling timed discrete event
systems . . . . . . . . . . . . . . . . 340
R. Kumar and
M. A. Shayman Supervisory control of real-time systems
using prioritized synchronization . . . 350
A. Puri and
V. Borkar and
P. Varaiya ??-approximation of differential
inclusions . . . . . . . . . . . . . . . 362
T. A. Henzinger and
H. Wong-Toi Linear phase-portrait approximations for
nonlinear hybrid systems . . . . . . . . 377
K. Ceraens and
J. Viksna Deciding reachability for planar
multi-polynomial systems . . . . . . . . 389
I. Hoffmann and
K.-U Klatt Modeling hybrid dynamical systems . . . 401
M. Kourjanski and
P. Varaiya Stability of hybrid systems . . . . . . 413
H. S. Park and
Y. S. Kim and
W. H. Kwon and
S. J. Lee Model and stability of hybrid linear
systems . . . . . . . . . . . . . . . . 424
E. D. Sontag Interconnected automata and linear
systems: a theoretical framework in
discrete time . . . . . . . . . . . . . 436
N. Lynch Modeling and verification of automated
transit systems, using timed automata,
invariants, and simulations . . . . . . 449
J. A. Stiver and
P. J. Antsaklis and
M. D. Lemmon An invariant-based approach to the
design of hybrid control systems
containing clocks . . . . . . . . . . . 464
T. Niinomi and
B. H. Krogh and
J. E. R. Cury Refinements of approximating automata
for synthesis of supervisory controllers
for hybrid systems . . . . . . . . . . . 475
S. Bailey and
R. L. Grossman and
L. Gu and
D. Hanley A data-intensive computing approach to
path planning and mode management for
hybrid systems . . . . . . . . . . . . . 485
N. Lynch and
R. Segala and
F. Vaandrager and
H. B. Weinberg Hybrid I/O automata . . . . . . . . . . 496
Z. Chaochen and
W. Ji and
A. P. Ravn A formal description of hybrid systems 511
A. Bouajjani and
Y. Lakhnech Logics vs. automata: the hybrid case . . 531
C. J. Bett and
M. D. Lemmon H gain schedule synthesis of supervisory
hybrid control systems . . . . . . . . . 543
A. V. Savkin and
R. J. Evans and
I. R. Petersen A new approach to robust control of
hybrid systems . . . . . . . . . . . . . 553
J. Raisch and
S. O'Young A DES approach to control of hybrid
dynamical systems . . . . . . . . . . . 563
K. G. Larsen and
P. Pettersson and
W. Yi Diagnostic model-checking for real-time
systems . . . . . . . . . . . . . . . . 575
Y. Zhang and
A. K. Mackworth Specification and verification of hybrid
dynamic systems with timed inverted sans
serif aye-automata . . . . . . . . . . . 587
K. G. Larsen and
B. Steffen and
C. Weise Fischer's protocol revisited: a simple
proof using modal constraints . . . . . 604
P. Bjoerstad and
R. Moe and
R. Olufsen and
E. Vainikko Parallel Reservoir Simulation Based on
Domain Decomposition Techniques . . . . 3
R. Moe and
M. Talal Rahman and
O. Saevareid and
R. Teigland Porting and Parallel Performance of the
Industrial CFD Code MUSIC . . . . . . . 12
A. M. Thompson and
G. R. Bowen Parallelisation of a Oil Reservoir
Simulation . . . . . . . . . . . . . . . 20
J. A. Elliott and
S. H. Brindle and
A. Colbrook and
D. G. Green Real Industrial HPC Applications . . . . 29
A. Braathen and
J. Cook and
A. C. Damhaug and
M. T. Rahman Parallelisation of the SWAN Surface Wave
Analysis Code . . . . . . . . . . . . . 36
M. L. Hargreaves and
D. C. Spicer and
C. C. R. Jones and
S. Whittle Porting a Commercial Finite Difference
Time Domain Electromagnetic Code to a
Parallel Architecture Machine . . . . . 43
R. Pomponi and
P. D'Atanasio and
E. Rubino and
M. Busuoli Porting on Parallel Platforms of a Tool
for Simulating the Effects of Lightning
Strokes on Telecommunication Buildings:
A Comparison on Preliminary Results
about Performances and Accuracy on SIMD
and MIMD Architectures . . . . . . . . . 51
A. D. Tinniswood and
P. S. Excell On the Use of Parallel Finite-Difference
Time-Domain Methods in the Modelling of
Bioelectromagnetic Problems . . . . . . 60
D. Nicolopoulos and
G. Winkelmuller A Comparison of Parallel Paradigms
Applied to an Industrial Code: RADIOSS 66
J.-P. Delsemme and
O. Zone SAMMI: S.A.M.C.E.F. Migration onto
Parallel Platforms: Second Step . . . . 74
U. Schulz and
M. Ast and
J. Labarta and
H. Manz Experiences and Achievements with the
Parallelization of a Large Finite
Element System . . . . . . . . . . . . . 82
K. Stueben and
H. Mierendorff and
C.-A. Thole and
O. Thomas Parallel Industrial Fluid Dynamics and
Structural Mechanics Codes . . . . . . . 90
A. Stoessel and
E. Issman and
M. Loriot Towards Real CFD Simulations on Parallel
Computers in the Aeronautic and
Automotive Industry . . . . . . . . . . 99
W. Bauer and
H. Reister and
F. Ross and
D. Robinson Parallel Computing for CFD Applications
in the Automotive Industry --- First
Experiences . . . . . . . . . . . . . . 106
C. R. Forsey and
C. S. Ierotheou and
U. Block and
M. Leatham Parallelisation and Performance
Evaluation of the Aeronautical CFD Flow
Code ESAUNA . . . . . . . . . . . . . . 116
L. Giraud and
N. Maman and
P. Menegazzi and
A. Micelotta Parallel Industrial Incompressible CFD
Calculations with HPCN3S . . . . . . . . 122
E. Chaput and
C. Gacherieu and
L. Tourrette Experience with Parallel Computing for
the Design of Transport Aircrafts at
Aerospatiale . . . . . . . . . . . . . . 128
P. Allen and
R. McKendrick and
C. Scott and
M. Buonanno Interactive Anomaly Detection in Large
Transaction History Databases . . . . . 143
P. Watson and
M. Ward and
K. Hoyle The System Management of the ICL
GOLDRUSH Parallel Database Server . . . 150
A. A. Freitas and
S. H. Lavington Parallel Data Mining for Very Large
Relational Databases . . . . . . . . . . 158
M. H. Williams and
S. Zhou and
H. Taylor and
N. Tomov Decision Supporting for Management of
Parallel Database Systems . . . . . . . 164
K. Meacham and
D. Green Parallelization of the GROMOS87
Molecular Dynamics Code: An Update . . . 170
C. Addison and
E. Appiani and
R. Cook and
M. Corvi PULSAR: Parallel Noise Despeckling of
SAR Images . . . . . . . . . . . . . . . 177
A. Gill and
M. Surridge and
G. Scielzo and
R. Felici RAPT: A Parallel Radiotherapy Treatment
Planning Code . . . . . . . . . . . . . 183
B. D. Kandhai and
P. M. A. Sloot and
J. P. Huot Constrained Migration of an Atmospheric
Circulation Model . . . . . . . . . . . 193
A. Mueller Parallelization of a Mesoscale
Atmospheric Transport-Chemistry Model 200
M. B. Van Gijzen Parallel Ocean Flow Computations on a
Regular and on an Irregular Grid . . . . 207
M. Dormanns and
W. Sprangers Experiences with Asynchronous Parallel
Molecular Dynamics Simulations . . . . . 213
W. Joosen and
S. Bijnens and
J. Van Oeyen and
B. Robben Affordable Overhead in CORRELATE:
Comparing two MD Simulators . . . . . . 219
K. Boryczko and
J. Kitowski and
J. Moscinski Efficiency Comparison of Data-Parallel
Programming and Message-Passing Paradigm
for Molecular Dynamics Simulation . . . 228
J. Segers and
J. Lukkien and
P. Hilbers Parallel Monte Carlo Simulation of
Chemical Surface Reactions: A Case Study 235
M. Bubak and
J. Moscinski and
M. Pogoda Distributed $2$-D Molecular Dynamics
Simulation on Networked Workstations and
Multiprocessors . . . . . . . . . . . . 243
J. Apostolakis and
L. M. Bertolotto and
C. E. Bruschini and
P. Calafiura General-Purpose Parallel Computing in a
High-Energy Physics Experiment at CERN 251
J. Apostolakis Parallel Simulation for High Energy
Physics . . . . . . . . . . . . . . . . 258
K. S. Nikita and
A. J. Marsh Focusing of the Pulse Modulated
Radiation of a Concentric Waveguide
Array in Biological Tissues: An
Investigation Made Feasible by HPC . . . 263
A. G. Hoekstra and
M. D. Grimminck and
P. M. A. Sloot Simulating Light Scattering from
Micron-Sized Particles: A Parallel Fast
Discrete Dipole Approximation . . . . . 269
G. Fogaccia and
R. Benzi and
F. Romanelli Lattice Boltzmann Simulations of
Electrostatic Plasma Turbulence . . . . 276
M. Strietzel Parallel Turbulence Simulation Based on
MPI . . . . . . . . . . . . . . . . . . 283
G. Cabitza and
C. Nardone and
C. Bagaini and
A. Balzano Experiences with HPF for Scientific
Applications . . . . . . . . . . . . . . 290
I. Verdu and
D. Gimenez and
J. C. Torres Ray Tracing for Natural Scenes in
Parallel Processors . . . . . . . . . . 297
A. Bachem and
C. Gawron and
C. Moll and
M. Rickert MiCroscopic Traffic Simulations of Road
Networks Using High-Performance
Computers . . . . . . . . . . . . . . . 306
V. Fraysse and
L. Giraud and
V. Toumazou Parallel Computation of Spectral
Portraits on the Meiko CS2 . . . . . . . 312
T. M. Kurc and
C. Aykanat and
B. Oezguec Active Pixel Merging on Hybercube
Multicomputers . . . . . . . . . . . . . 319
T. Persson and
P. Fritzson Parallel Implementation of Image
Reconstruction for the CARABAS Long-Wave
Penetrating Radar . . . . . . . . . . . 327
M. Neschen and
F. Nuebel COGNITUS --- Fast and Reliable
Recognition of Handwritten Forms Based
on Vector Quantisation . . . . . . . . . 333
H. Rieger and
L. Fornasier and
D. Ockel and
S. Haberhauer Pilot-Implementation of an Aerospace
Design System into a Parallel User
Simulation Environment . . . . . . . . . 340
H. Wedemeijer and
H. L. H. Cox and
D. J. Verschuur and
I. L. Ritsema Parallelisation of Seismic Algorithms
Using PVM and FORGE . . . . . . . . . . 352
M. Rudgyard and
T. Schoenfeld and
I. D'Ast A Parallel Library for CFD and Other
Grid-Based Applications . . . . . . . . 358
T. J. O'Donnell and
S. G. Hotovy and
M. S. Pottle and
D. R. Ripoll Implementation of ECEPP-Based Programs
on the IBM SP2 and the SGI Power
Challenge Computers . . . . . . . . . . 365
M. T. Kechadi and
P. Kiernan and
D. Hegarty and
K. Dawson Parallel Simulation Environment for
Polymers, DNA and Protein Molecular
Chains . . . . . . . . . . . . . . . . . 373
A. I. Fet and
L. N. Romanov Prediction of Properties of Chemical
Elements and Combinations . . . . . . . 379
A. Marsh and
D. I. Kaklamani A Benchmark Comparison for Suitable HPC
Platforms to Solve Electrically Large
Planar Conducting Structures via a
Parallel Method of Moments Technique . . 387
G. Seifert and
T. Heine and
O. Knospe and
R. Schmidt Computer Simulations for the Structure
and Dynamics of Large Molecules,
Clusters and Solids . . . . . . . . . . 393
V. N. Serkin and
T. L. Belyaeva and
E. V. Samarina Simulation of Ultrafast Nonlinear
Electro-Magnetic Phenomena on the Basis
of Maxwell's Equations Solutions . . . . 402
J. Cook and
P. Bjoerstad and
J. Braekhus Multilevel Parallel Solution of Large,
Sparse Finite Element Equations from
Structural Analysis . . . . . . . . . . 404
G. Adorni and
P. Ornelli and
W. Bellettato and
F. D'Oria BLOWPAC Project: BLOWmolding modelling
by PArallel Computing Techniques . . . . 413
G. Aloisio and
M. A. Bochicchio and
M. La Scala Metacomputing for On-Line Stability
Analysis in Power Systems: A Proposal 421
R. Baraglia and
G. Faieta and
M. Formica and
D. Laforenza Metacomputing to Solve Complex
Computational Problems. A Case Study:
Evolution of Galaxies . . . . . . . . . 429
R. F. Rankin and
P. Sage Experiences Using the European ATM Pilot
Network . . . . . . . . . . . . . . . . 441
D. Dzwinel Particles Paradigm and Optimization
Problems . . . . . . . . . . . . . . . . 447
F. Corno and
P. Prinetto and
M. Rebaudengo and
M. Sonza Reorda A Parallel Genetic Algorithm for
Automatic Generation of Test Sequences
for Digital Circuits . . . . . . . . . . 454
A. B. Della Rocca and
L. La Porta and
F. Valentinotti Radiographic Process Simulation by
Integration of Boltzmann Equation on
SIMD Architecture (Quadries QH4) . . . . 460
H. X. Lin and
A. J. C. Van Gemund and
J. Meijdam and
P. Nauta TGEX: a Tool for Portable Parallel and
Distributed Execution of Unstructured
Problems . . . . . . . . . . . . . . . . 467
A. J. C. Bik and
H. A. G. Wijshoff Iteration Space Partitioning . . . . . . 475
A. Ceccolini and
M. Danelutto and
G. Orsini and
S. Pelagatti A Tool for the Development of Structured
Parallel Applications . . . . . . . . . 485
F. Pellegrini and
J. Roman SCOTCH: A Software Package for Static
Mapping by Dual Recursive Bipartitioning
of Process and Architecture Graphs . . . 493
M. Chu-Carroll and
L. L. Pollock Design and Implementation of a General
Purpose Parallel Programming System . . 499
P. Luksch and
U. Maier and
S. Rathmayer and
M. Weidmann Software Engineering Methods for
Parallel and Distributed Scientific
Computing . . . . . . . . . . . . . . . 508
S. Di Gregorio and
R. Rongo and
W. Spataro and
G. Spezzano A Parallel Cellular Environment for High
Performance Scientific Computing . . . . 514
M. Calzarossa and
L. Massari and
A. Merlo and
D. Tessera Parallel Performance Evaluation: The
MEDEA Tool . . . . . . . . . . . . . . . 522
E. Hernandez Parallelizing for a Good Node
Performance . . . . . . . . . . . . . . 530
G. Kempf and
A. Van der Steen and
C. Caremoli and
W.-Y. Thang Simulation of Scientific Programs on
Parallel Architectures . . . . . . . . . 536
X. Yuan and
B. He and
D. Balsara and
R. Melhem A Load Balancing Package for Domain
Decomposition on Distributed Memory
Systems . . . . . . . . . . . . . . . . 547
J. F. De Ronde and
A. Schoneveld and
P. M. A. Sloot and
N. Floros Load Balancing by Redundant
Decomposition and Mapping . . . . . . . 555
E. De Doncker and
P. Ealy and
A. Gupta Two Methods for Load Balanced
Distributed Adaptive Integration . . . . 562
B. Schiemann and
L. Borrmann A New Approach for Load Balancing in
High Performance Decision Support
Systems . . . . . . . . . . . . . . . . 571
R. Diekmann and
U. Dralle and
F. Neugebauer and
T. Roemke PadFEM: A Portable Parallel FEM-Tool . . 580
D. Vanderstraeten and
F.-X. Roux and
R. Keunings A Hybrid Parallel Solver for Finite
Element Computations . . . . . . . . . . 586
L. J. Van Ewijk The Finite Difference Time Domain Method
on a Massively Parallel Computer . . . . 593
E. Issman and
G. Degrez A Parallel Implicit Compressible
Multidimensional Upwind
Euler/Navier--Stokes Solver on
Unstructured Meshes . . . . . . . . . . 599
G. Brenner and
T. Schoenfeld and
N. Mangiavacchi A Multiphysics Approach to the Direct
Numerical Simulation of Turbulent Flows
on Parallel Computers . . . . . . . . . 607
J. Wu Adaptive Parallel Multigrid in
Computational Fluid Dynamics . . . . . . 613
S. Goossens and
E. Issman and
G. Degrez and
D. Roose Block ILP0-01U(0) Preconditioning for a
GMRES Based Euler/Navier--Stokes Solver 619
J. Simon and
J.-M. Wierum Sequential Performance Versus
Scalability: Optimizing Parallel
LU-Decomposition . . . . . . . . . . . . 627
C. G. Diderich and
M. Gengler Solving Traveling Salesman Problems
Using a Parallel Synchronized Branch and
Bound Algorithm . . . . . . . . . . . . 633
D. Garcia and
F. Suarez and
J. Garcia and
M. Cuervo A Parallel Hot Strip Mill Simulator for
Testing Embedded Real-Time Monitoring
System . . . . . . . . . . . . . . . . . 639
R. Doallo and
B. B. Fraguela and
J. Touriño and
E. L. Zapata Parallel Sparse Modified Gram--Schmidt
QR Decomposition . . . . . . . . . . . . 646
M. Dion Affine Data Mapping with Residual
Communication Optimization: Evaluation
of Heuristics . . . . . . . . . . . . . 654
P. Arbenz and
W. Gander and
M. Oettli The Remote Computation System . . . . . 662
N. Fornasari and
S. Rovida Conjugate-Gradients Algorithms on a
CRAY-T3D . . . . . . . . . . . . . . . . 668
C. Bates and
I. E. Jelly and
I. Forgacs and
E. Szabo Semantic Computability: A Mechanism for
the Description of Test Data Sets for
Scalable Information Systems . . . . . . 677
R. Kukla and
J. Kerridge Intelligent Storage Devices for Scalable
Information Management Systems . . . . . 683
J. A. McCann and
A. MacFarlane and
H. M. Liddell Management Tools for Distributed
Interoperable Environments . . . . . . . 689
R. Van Liere and
J. D. Mulder and
J. J. Van Wijk Computational Steering . . . . . . . . . 696
A. B. Della Rocca and
S. Ferriani and
L. La Porta Image Convolutions by Quadrics Q1 . . . 703
S. Larkin and
A. J. Grant and
W. T. Hewitt `Vipar' Libraries to Support
Distribution and Processing of
Visualization Datasets . . . . . . . . . 711
M. G. Sirbu and
D. C. Marinescu Bond --- A Parallel Virtual Environment 722
M. Bernaschi and
F. Papetti and
G. Iannello Efficient Collective Communication
Operations for Parallel Industrial Codes 729
Z. J. Czech and
W. Mikanik Randomized PRAM Simulation Using T9000
Transputers . . . . . . . . . . . . . . 736
T. Itoh and
M. Kohata Torus-Ring-Bus Connected Hierarchic
Parallel Machine . . . . . . . . . . . . 744
K. Demuynck and
J. Broeckhove and
F. Arickx The Impact of Communication Mechanisms
on the Performance in a Distributed
Virtual Reality System . . . . . . . . . 755
W. Kuhn Performance Prediction and Benchmarking:
Results from the ALPSTONE Project . . . 762
J. J. Dongarra and
T. Hey and
E. Strohmaier PARKBENCH: Methodology, Relations and
Results . . . . . . . . . . . . . . . . 770--777
P. Boulet and
T. Brandes Evaluation of Automatic Parallelization
Strategies for HPF Compilers . . . . . . 778--791
P. Boulet Bouclettes: A Fortran Loop Parallelizer 784
A. P. Nisbet and
R. W. Ford Spinning-on-Coherency: A New VSM
Optimisation for Write-Invalidate . . . 792
A. T. Krantz and
A. Zadroga and
S. E. Chodrow and
V. S. Sunderam An RPC Facility for PVM . . . . . . . . 798
D. Kranzlmueller and
S. Grabner and
J. Volkert Debugging Massively Parallel Programs
with ATEMPT . . . . . . . . . . . . . . 806
M. Polman and
M. Van Steen Design Level Support for Parallel and
Distributed Applications . . . . . . . . 812
P. Arbenz and
W. Gander and
H. P. Luethi and
U. Von Matt Sciddle 4.0, or, Remote Procedure Calls
in PVM . . . . . . . . . . . . . . . . . 820
J. J. Dongarra and
J. Du Croz and
S. Hammarling and
J. Wasniewski LAPACK for Fortran 90 Compiler . . . . . 826--833
T. Brandes and
D. Greco Realization of an HPF Interface to
ScaLAPACK with Redistributions . . . . . 834
N. Fang and
H. Burkhart Structured Parallel Programming Using
MPI . . . . . . . . . . . . . . . . . . 840
D. Caromel and
P. Dzwig and
R. Kauffman and
H. Liddell EC++ --- EUROPA Parallel C++. A Draft
Definition . . . . . . . . . . . . . . . 848
R. Ulrich and
W. Dulz OSSCAR --- Object Oriented Simulation of
Slotted Communication Architectures . . 858
H. W. Yau and
A. Leung and
W. Furmanski and
G. C. Fox Exploration of Emerging HPCN
Technologies for Web-Based Distributed
Computing . . . . . . . . . . . . . . . 869
J. J. Dongarra and
H. W. Meuer and
H. D. Simon and
E. Strohmaier Changing Technologies of HPC . . . . . . 875--879
V. Strumpen and
B. Ramkumar and
T. L. Casavant and
S. M. Reddy Perspectives for High Performance
Computing in Workstation Networks . . . 880
A. D'Acierno and
S. Palma The Back-Propagation Learning Algorithm
on the Meiko CS-2: Two Mapping Schemes 890
H. Holthoff and
W. Roensch and
H. Bleecke and
B. Eisfeld Parallelization of Large Scale
Industrial Aerodynamic Applications on
the IBM RS/6000 SP . . . . . . . . . . . 901
K. Engstroem and
E. Reitsma and
P. Fritzson Benchmarking an Intelligent Network
Prototype Implemented in Parallel Erlang 905
S. S. Anand and
D. A. Bell and
J. G. Hughes and
C. M. Shapcott A High-Performance Data Mining Server 907
P. Dechamboux and
D. Hagimont and
M. Lopez Using a Distributed Shared Memory for
Implementing Efficient Information
Mediators . . . . . . . . . . . . . . . 909
D. Walter and
J. Kerridge The Design of the IRISS Parallel
Database Machine . . . . . . . . . . . . 913
M. Feeley Lazy Remote Procedure Call and its
Implementation in a Parallel Variant of
C . . . . . . . . . . . . . . . . . . . 3
T. Ito Efficient Evaluation Strategies for
Structured Concurrency Constructs in
Parallel Scheme Systems . . . . . . . . 22
L. Moreau and
D. Ribbens The Semantics of pcall and fork in the
Presence of First-Class Continuations
and Side-Effects . . . . . . . . . . . . 53
R. H. Halstead Understanding the Performance of
Parallel Symbolic Programs . . . . . . . 81
T. Kamada and
A. Yonezawa A Debugging Scheme for Fine-Grain
Threads on Massively Parallel Processors
with a Small Amount of Log
Information-Replay and Race Detection 108
P. Cox and
H. Glaser and
B. Lanaspre Distributed Prograph: Extended Abstract 128
K. Ueda Experiences with Strong Moding in
Concurrent Logic/Constraint Programming 134
K. Yelick and
C.-P. Wen and
S. Chakrabarti and
E. Deprit Portable Parallel Irregular Applications 157
M. Raghavachari and
A. Rogers Understanding Language Support for
Irregular Parallelism . . . . . . . . . 174
L. V. Kale and
B. H. Richards and
T. D. Allen Efficient Parallel Graph Coloring with
Prioritization . . . . . . . . . . . . . 190
J. Giavitto and
O. Michel and
J. Sansonnet Group-Based Fields . . . . . . . . . . . 209
R. S. Nikhil Parallel Symbolic Computing in Cid . . . 217
Y. Ishikawa and
A. Hori and
M. Sato and
M. Matsuda An Overview of MPC++ --- Extended
Abstract . . . . . . . . . . . . . . . . 243
A. Nguyen-Tuong and
A. G. Grimshaw and
J. F. Karpovich Fault Tolerance via Replication in
Coarse Grain Data-Flow . . . . . . . . . 250
H. Bal and
K. Langendoen and
R. Bhoedjang Experience with Parallel Symbolic
Applications in Orca . . . . . . . . . . 266
T. Chikayama KLIC: A Portable Parallel Implementation
of a Concurrent Logic Programming
Language . . . . . . . . . . . . . . . . 286
C. Queinnec DMEROON, Overview of a Distributed
Class-Based Causally-Coherent Data Model 297
J. M. Piquer A Re-Implementation of TransPive:
Lessons from the Experience . . . . . . 310
D. De Roure The Role of Distributed Lisp in Open
Hypermedia Information Systems . . . . . 330
J. Padget Foundations for a Virtual Multicomputer
--- Progress Report . . . . . . . . . . 336
B. Berthomieu Process Calculi at Work --- An Account
of the LCS Project . . . . . . . . . . . 344
M. Tokoro Agents: Towards a Society in Which
Humans and Computers Cohabitate . . . . 1
F. Arlabosse ARCHON and its Environment . . . . . . . 11
E. Werner What Ants Cannot Do . . . . . . . . . . 19
M. Wooldridge and
N. Jennings Towards a Theory of Cooperative Problem
Solving . . . . . . . . . . . . . . . . 40
L. Ekenberg and
M. Danielson and
M. Boman A Tool for Handling Uncertain
Information in Multi-Agent Systems . . . 54
S. Haegg and
F. Ygge and
R. Gustavsson and
H. Ottosson DA-Soc: A Testbed for Modelling
Distribution Automation Applications
Using Agent-Oriented Programming . . . . 63
J. Masthoff and
R. Van Hoe APPEAL: A Multi-Agent Approach to
Interactive Learning Environments . . . 77
S. Bijnens and
W. Joosen and
P. Verbaeten Language Constructs for Coordination in
an Agent Space . . . . . . . . . . . . . 90
K. Ghedira A Distributed Approach to Partial
Constraint Satisfaction Problems . . . . 106
K. Matsubayashi and
M. Tokoro A Collaboration Strategy for Repetitive
Encounters . . . . . . . . . . . . . . . 123
O. Boissier and
Y. Demazeau ASIC: An Architecture for Social and
Individual Control and its Application
to Computer Vision . . . . . . . . . . . 135
B. Chaib-Draa and
P. Levesque Hierarchical Model and Communication by
Signs, Signals and Symbols in
Multi-Agent Environments . . . . . . . . 150
R. Falcone and
C. Castelfranchi Plan Recognition: from Single-Agent to
Multi-Agent Plans . . . . . . . . . . . 166
S. Hahndel and
F. Fuchs and
P. Levi Distributed Negotiation-Based Task
Planning for a Flexible Manufacturing
Environment . . . . . . . . . . . . . . 179
S. Bussman A Multi-Agent Approach to Dynamic,
Adaptive Scheduling of Material Flow . . 191
L. Overgaard and
H. Petersen and
J. Perram Motion Planning for an Articulated
Robot: A Multi-Agent Approach . . . . . 206
Don Coppersmith and
Matthew Franklin and
Jacques Patarin and
Michael Reiter Low-Exponent RSA with Related Messages 1
Daniel Bleichenbacher Generating ElGamal Signatures without
Knowing the Secret Key . . . . . . . . . 10
Bart Preneel and
Paul C. van Oorschot On the Security of Two MAC Algorithms 19
Jacques Patarin Hidden Fields Equations (HFE) and
Isomorphisms of Polynomials (IP): Two
New Families of Asymmetric Algorithms 33
Bernd Meyer and
Volker Müller A Public Key Cryptosystem Based on
Elliptic Curves over $ \mathbb {Z} / n
\mathbb {Z} $ Equivalent to Factoring 49
Jörg Schwenk and
Jörg Eisfeld Public Key Encryption and Signature
Schemes Based on Polynomials over $
\mathbb {Z}_n $ . . . . . . . . . . . . 60
Ronald Cramer and
Matthew Franklin and
Berry Schoenmakers and
Moti Yung Multi-authority Secret-Ballot Elections
with Linear Work . . . . . . . . . . . . 72
Birgit Pfitzmann and
Matthias Schunter Asymmetric Fingerprinting . . . . . . . 84
Mike V. D. Burmester Homomorphisms of Secret Sharing Schemes:
A Tool for Verifiable Signature Sharing 96
Simon R. Blackburn and
Mike V. D. Burmester and
Yvo Desmedt and
Peter R. Wild Efficient Multiplicative Sharing Schemes 107
Donald Beaver Equivocable Oblivious Transfer . . . . . 119
Joan Boyar and
René Peralta Short Discreet Proofs . . . . . . . . . 131
Markus Jakobsson and
Kazue Sako and
Russell Impagliazzo Designated Verifier Proofs and Their
Applications . . . . . . . . . . . . . . 143
Don Coppersmith Finding a Small Root of a Univariate
Modular Equation . . . . . . . . . . . . 155
Seong-Min Hong and
Sang-Yeop Oh and
Hyunsoo Yoon New Modular Multiplication Algorithms
for Fast Modular Exponentiation . . . . 166
Don Coppersmith Finding a Small Root of a Bivariate
Integer Equation; Factoring with High
Bits Known . . . . . . . . . . . . . . . 178
Markus A. Stadler Publicly Verifiable Secret Sharing . . . 190
Wakaha Ogata and
Kaoru Kurosawa Optimum Secret Sharing Scheme Secure
against Cheating . . . . . . . . . . . . 200
Keith Gibson The Security of the Gabidulin Public Key
Cryptosystem . . . . . . . . . . . . . . 212
Lars R. Knudsen and
Matthew J. B. Robshaw Non-linear Approximations in Linear
Cryptanalysis . . . . . . . . . . . . . 224
Lars R. Knudsen and
Torben P. Pedersen On the Difficulty of Software Key Escrow 237
Jean-Bernard Fischer and
Jacques Stern An Efficient Pseudo-random Generator
Provably as Secure as Syndrome Decoding 245
Andrew Klapper On the Existence of Secure Feedback
Registers . . . . . . . . . . . . . . . 256
Jovan Dj. Golic Fast Low Order Approximation of
Cryptographic Functions . . . . . . . . 268
Paul Camion and
Anne Canteaut Construction of $t$-Resilient Functions
over a Finite Alphabet . . . . . . . . . 283
Xian-Mo Zhang and
Yuliang Zheng Auto-correlations and New Bounds on the
Nonlinearity of Boolean Functions . . . 294
William Aiello and
Ramarathnam Venkatesan Foiling Birthday Attacks in
Length-Doubling Transformations . . . . 307
Victor Shoup and
Avi Rubin Session Key Distribution Using Smart
Cards . . . . . . . . . . . . . . . . . 321
Paul C. van Oorschot and
Michael J. Wiener On Diffie--Hellman Key Agreement with
Short Exponents . . . . . . . . . . . . 332
Victor Shoup On the Security of a Practical
Identification Scheme . . . . . . . . . 344
Rosario Gennaro and
Stanislaw Jarecki and
Hugo Krawczyk and
Tal Rabin Robust Threshold DSS Signatures . . . . 354
Ivan Bjerre Damgård and
Torben Pryds Pedersen New Convertible Undeniable Signature
Schemes . . . . . . . . . . . . . . . . 372
David Pointcheval and
Jacques Stern Security Proofs for Signature Schemes 387
Mihir Bellare and
Phillip Rogaway The exact security of digital signatures
--- how to sign with RSA and Rabin . . . 399
Anonymous Author Index . . . . . . . . . . . . . . 417
P. B. Andrews and
M. Bishop On sets, types, fixed points, and
checkerboards . . . . . . . . . . . . . 1
M. D'Agostino and
D. M. Gabbay Fibred tableaux for multi-implication
logics . . . . . . . . . . . . . . . . . 16
N. Alechina Interpolation for a sequent calculus of
generalized quantifiers . . . . . . . . 36
A. Avellone and
M. Ferrari Almost duplication free tableau calculi
for propositional Lax logics . . . . . . 48
M. Baaz and
C. G. Fermueller Combining many-valued and intuitionistic
tableaux . . . . . . . . . . . . . . . . 65
G. Becher Cyclic connections . . . . . . . . . . . 80
B. Beckert and
C. Pape Incremental theory reasoning methods for
semantic tableaux . . . . . . . . . . . 93
J.-P Billon The disconnection method: a confluent
integration of unification in the
analytic framework . . . . . . . . . . . 110
P. A. Bonatti Sequent calculi for default and
autoepistemic logics . . . . . . . . . . 127
F. Bry and
A. Yahya Minimal model generation with positive
unit hyper-resolution tableaux . . . . . 143
J. Pith and
J. Cunningham Distributed modal theorem proving with
KE . . . . . . . . . . . . . . . . . . . 160
S. Demri A simple tableau system for the logic of
elsewhere . . . . . . . . . . . . . . . 177
B. Fronhoefer Situational calculus, linear connection
proofs and STRIPS-like planning: an
experimental comparison . . . . . . . . 193
J.-B. Joinet and
H. Schellinx and
L. Tortora De Falco Strong normalization for all style
LK010q . . . . . . . . . . . . . . . . . 226
J. Otten and
C. Kreitz T-string-unification: unifying prefixes
in non-classical proof methods . . . . . 244
M. Mendler A timing refinement of intuitionistic
proofs and its application to the timing
analysis of combinational circuits . . . 261
I. Niemelae A tableau calculus for minimal model
reasoning . . . . . . . . . . . . . . . 278
E. Ritter and
D. Pym and
L. Wallen On the intuitionistic force of classical
search . . . . . . . . . . . . . . . . . 295
A. Voronkov Proof search in intuitionistic logic
based on constraint satisfaction . . . . 312
L. O'Gorman Basic Techniques and Symbol-Level
Recognition . . . . . . . . . . . . . . 1
L. P. Cordella and
A. Marcelli An Alternative Approach to the
Performance Evaluation of Thinning
Algorithms for Document Processing
Applications . . . . . . . . . . . . . . 13
T. Kadonaga and
K. Abe Comparison of Methods for Detecting
Corner Points from Digital Curves . . . 23
A. K. Chhabra and
V. Misra and
J. Arias Detection of Horizontal Lines in Noisy
Run Length Encoded Images: The FAST
Method . . . . . . . . . . . . . . . . . 35
M. Roeoesli and
G. Monagan Adding Geometric Constraints to the
Vectorization of Line Drawings . . . . . 49
O. Hori and
D. S. Doermann Quantitative Measurement of the
Performance of Raster-to-Vector
Conversion Algorithms . . . . . . . . . 57
E. Turolla and
Y. Belaid and
A. Belaid Form Item Extraction Based on Line
Searching . . . . . . . . . . . . . . . 69
E. A. Green and
M. S. Krishnamoorthy Model-Based Analysis of Printed Tables 80
G. Agam and
H. Luo and
I. Dinstein Morphological Approach for Dashed Lines
Detection . . . . . . . . . . . . . . . 92
D. Blostein General Diagram-Recognition
Methodologies . . . . . . . . . . . . . 106
B. T. Messmer and
H. Bunke Automatic Learning and Recognition of
Graphical Symbols in Engineering
Drawings . . . . . . . . . . . . . . . . 123
F. Cesarini and
M. Gori and
S. Marinai and
G. Soda A Hybrid System for Locating and
Recognizing Low Level Graphic Items . . 135
J. R. McDaniel and
J. R. Balmuth Automatic Interpretation of Chemical
Structure Diagrams . . . . . . . . . . . 148
J. Den Hartog and
T. Ten Kate and
J. Gerbrands Knowledge-Based Segmentation for
Automatic Map Interpretation . . . . . . 159
M.-K. Kim and
M.-K. Park and
O.-S. Kwon and
Y.-B Kwon Automatic Region Labeling of the Layered
Map . . . . . . . . . . . . . . . . . . 179
G. K. Myers and
P. G. Mulgaonkar and
C.-H. Chen and
J. L. DeCurtins Verification-Based Approach for
Automated Text and Feature Extraction
from Raster-Scanned Maps . . . . . . . . 190
A. W. M. Smeulders and
T. Ten Kate Software System Design for Paper Map
Conversion . . . . . . . . . . . . . . . 204
D. Dori and
Y. Velkovitch and
L. Wenyin Object-Process Based Segmentation and
Recognition of ANSI and ISO Standard
Dimensioning Texts . . . . . . . . . . . 212
P. D. Thomas and
J. F. Poliakoff and
S. M. Razzaq and
R. J. Whitrow A Combined High and Low Level Approach
to Interpreting Scanned Engineering
Drawings . . . . . . . . . . . . . . . . 233
M. A. Capellades and
O. I. Camps Functional Parts Detection in
Engineering Drawings: Looking for the
Screws . . . . . . . . . . . . . . . . . 246
K. Tomiyama and
K. Nakaniwa Reconstruction of $3$D Solid Model from
Three Orthographic Views --- Top-Down
Approach . . . . . . . . . . . . . . . . 260
B. Kong and
I. T. Phillips and
R. M. Haralick and
A. Prasad A Benchmark: Performance Evaluation of
Dashed-Line Detection Algorithms . . . . 270
D. Dori and
L. Wenyin and
M. Peleg How to Win a Dashed Line Detection
Contest . . . . . . . . . . . . . . . . 286
R. Alberich and
P. Burmeister and
F. Rossello and
G. Valiente A Partial Algebras Approach to Graph
Transformation . . . . . . . . . . . . . 1
R. Banach The Contractum in Algebraic Graph
Rewriting . . . . . . . . . . . . . . . 16
M. Bauderon A Category-Theoretical Approach to
Vertex Replacement: The Generation of
Infinite Graphs . . . . . . . . . . . . 27
D. Blostein and
H. Fahmy and
A. Grbavec Issues in the Practical Use of Graph
Rewriting . . . . . . . . . . . . . . . 38
A. Corradini and
H. Ehrig and
M. Loewe and
U. Montanari The Category of Typed Graph Grammars and
its Adjunctions with Categories of
Derivations . . . . . . . . . . . . . . 56
D. Plump and
A. Habel Graph Unification and Matching . . . . . 75
H.-J. Kreowski and
S. Kuske On the Interleaving Semantics of
Transformation Units --- A Step into
GRACE . . . . . . . . . . . . . . . . . 89
A. Maggiolo-Schettini and
A. Peron A Graph Rewriting Framework for
Statecharts Semantics . . . . . . . . . 107
A. Schuerr Programmed Graph Transformations and
Graph Transformation Units in GRACE . . 122
H. Ehrig and
G. Engels Pragmatic and Semantic Aspects of a
Module Concept for Graph Transformation
Systems . . . . . . . . . . . . . . . . 137
M. Nagl and
A. Schuerr Software Integration Problems and
Coupling of Graph Grammar Specifications 155
L. M. Wills Using Attributed Flow Graph Parsing to
Recognize Cliches in Programs . . . . . 170
M. D. Derk and
L. S. DeBrunner Reconfiguration Graph Grammar for
Massively Parallel, Fault Tolerant
Computers . . . . . . . . . . . . . . . 185
F. Drewes The Use of Tree Transducers to Compute
Translations Between Graph Algebras . . 196
K. Skodinis and
E. Wanke The Bounded Degree Problem for
Non-Obstructing eNCE Graph Grammars . . 211
K. Barthelmann Process Specification and Verification 225
A. Corradini and
H. Ehrig and
M. Loewe and
U. Montanari An Event Structure Semantics for Graph
Grammars with Parallel Productions . . . 240
A. Corradini and
F. Rossi Synchronized Composition of Graph
Grammar Productions . . . . . . . . . . 257
D. Janssens The Decomposition of ESM Computations 271
M. Korff and
L. Ribeiro Formal Relationship between Graph
Grammars and Petri Nets . . . . . . . . 288
G. Taentzer Hierarchically Distributed Graph
Transformation . . . . . . . . . . . . . 304
U. Assmann On Edge Addition Rewrite Systems and
their Relevance to Program Analysis . . 321
F. J. Brandenburg and
K. Skodinis Graph Automata for Linear Graph
Languages . . . . . . . . . . . . . . . 336
B. Courcelle and
G. Senizergues The Obstructions of a Minor-Closed Set
of Graphs Defined by Hyperedge
Replacement can be Constructed . . . . . 351
J. Engelfriet and
J. J. Vereijken Concatenation of Graphs . . . . . . . . 368
C. Kim and
T. E. Jeong HRNCE Grammars --- A Hypergraph
Generating System with an eNCE Way of
Rewriting . . . . . . . . . . . . . . . 383
R. Klempien-Hinrichs Node Replacement in Hypergraphs:
Simulation of Hyperedge Replacement, and
Decidability of Confluence . . . . . . . 397
J. Dassow and
A. Habel and
S. Taubenberger Chain-Code Pictures and Collages
Generated by Hyperedge Replacement . . . 412
F. Parisi-Presicce Transformations of Graph Grammars . . . 428
G. Zinssmeister and
C. L. McCreary Drawing Graphs with Attribute Graph
Grammars . . . . . . . . . . . . . . . . 443
A. Zuendorf Graph Pattern Matching in PROGRES . . . 454
S. Arnborg and
A. Proskurowski A Technique for Recognizing Graphs of
Bounded Treewidth with Application to
Subclasses of Partial 2-Paths . . . . . 469
B. Courcelle The Definition in Monadic Second-Order
Logic of Modular Decompositions of
Ordered Graphs . . . . . . . . . . . . . 487
A. Ehrenfeucht and
T. Harju and
G. Rozenberg Group Based Graph Transformations and
Hierarchical Representations of Graphs 502
F. D. Fracchia Integrating Lineage and Interaction for
the Visualization of Cellular Structures 521
J. Lueck and
H. B. Lueck Cellworks with Cell Rewriting and Cell
Packing for Plant Morphogenesis . . . . 536
P. Prusinkiewicz and
L. Kari Subapical Bracketed L-Systems . . . . . 550
J. W. Klop Term Graph Rewriting . . . . . . . . . . 1
S. Van Bakel and
M. Fernandez Approximation and Normalization Results
for Typeable Term Rewriting Systems . . 17
G. Barthe and
H. Geuvers Modular Properties of Algebraic Type
Systems . . . . . . . . . . . . . . . . 37
I. Bethke and
J. W. Klop Collapsing Partial Combinatory Algebras 57
S. Blom A Complete Proof System for Nested Term
Graphs . . . . . . . . . . . . . . . . . 74
C. Hintermeier and
H. Kirchner and
P. D. Mosses R0n- and G0n-Logics . . . . . . . . . . 90
S. Kahrs The Variable Containment Problem . . . . 109
K. Meinke Higher-Order Equational Logic for
Specification, Simulation and Testing 124
S. Mintchev and
D. Lester The Correctness of a Higher-Order Lazy
Functional Language Implementation: An
Exercise in Mechanical Theorem Proving 144
B. Moeller Assertions and Recursions . . . . . . . 163
V. Van Oostrom Development Closed Critical Pairs . . . 185
J. Van de Pol Two Different Strong Normalization
Proofs? . . . . . . . . . . . . . . . . 201
J. Springintveld Third-Order Matching in the Polymorphic
Lambda Calculus . . . . . . . . . . . . 221
L. J. Steggles Higher-Order Algebra with Transfinite
Types . . . . . . . . . . . . . . . . . 238
L.-G. Wang and
M. Mendler Abstraction of Hardware Construction . . 264
R. Baeza-Yates and
G. Navarro A Faster Algorithm for Approximate
String Matching . . . . . . . . . . . . 1
N. El-Mabrouk and
M. Crochemore Boyer--Moore Strategy to Efficient
Approximate String Matching . . . . . . 24
L. Gasieniec and
M. Karpinski and
W. Plandowski and
W. Rytter Randomized Efficient Algorithms for
Compressed Strings: The Finger-Print
Approach . . . . . . . . . . . . . . . . 39
E. Sutinen and
J. Tarhio Filtration with $q$-Samples in
Approximate String Matching . . . . . . 50
D. J. Lipman Computing Discoveries in Molecular
Biology . . . . . . . . . . . . . . . . 64
G. Stoelting Brodal and
L. Gasieniec Approximate Dictionary Queries . . . . . 65
R. Muth and
U. Manber Approximate Multiple String Search . . . 75
C. Armen and
C. Stein A 2 2/3-Approximation Algorithm for the
Shortest Superstring Problem . . . . . . 87
A. Andersson and
N. J. Larsson and
K. Swanson Suffix Trees on Words . . . . . . . . . 102
D. Breslauer The Suffix Tree of a Tree and Minimizing
Sequential Transducers . . . . . . . . . 116
M. Farach and
S. Muthukrishnan Perfect Hashing for Strings:
Forrealization and Algorithms . . . . . 130
M. S. Gelfand and
A. A. Mironov and
P. A. Pevzner Spliced Alignment: A New Approach to
Gene Recognition . . . . . . . . . . . . 141
V. Ferretti and
J. H. Nadeau and
D. Sankoff Original Synteny . . . . . . . . . . . . 159
P. Berman and
S. Hannenhalli Fast Sorting by Reversal . . . . . . . . 168
M.-F. Sagot and
A. Viari A Double Combinatorial Approach to
Discovering Patterns in Biological
Sequences . . . . . . . . . . . . . . . 186
R. Arratia and
G. Reinert Poisson Process Approximation for
Repeats in One Sequence and Its
Application to Sequencing by
Hybridization . . . . . . . . . . . . . 209
L. Wang and
D. Gusfield Improved Approximation Algorithms for
Tree Alignment . . . . . . . . . . . . . 220
C. A. Phillips and
T. J. Warnow The Asymmetric Median Tree --- A New
Model for Building Consensus Trees . . . 234
L. A. Goldberg and
P. W. Goldberg and
C. A. Phillips and
G. B. Sorkin Constructing Computer Virus Phylogenies 253
B. Sandak and
R. Nussinov and
H. J. Wolfson Docking of Conformationally Flexible
Proteins . . . . . . . . . . . . . . . . 271
W. E. Hart and
S. Istrail Invariant Patterns in Crystal Lattices:
Implications for Protein Folding
Algorithms . . . . . . . . . . . . . . . 288
D. Gusfield and
R. Karp and
L. Wang and
P. Stelling Graph Traversals, Genes, and Matroids:
An Efficient Case of the Travelling
Salesman Problem . . . . . . . . . . . . 304
A. Amir and
G. Calinescu Alphabet Independent and Dictionary
Scaled Matching . . . . . . . . . . . . 320
K. Park Analysis of Two-Dimensional Approximate
Pattern Matching Algorithms . . . . . . 335
S. R. Arikati and
A. Dessmark and
A. Lingas and
M. Marathe Approximation Algorithms for Maximum
Two-Dimensional Pattern Matching . . . . 348
K. Zhang Efficient Parallel Algorithms for Tree
Editing Problems . . . . . . . . . . . . 361
J. J. Fu Approximate Pattern Matching in Directed
Graphs . . . . . . . . . . . . . . . . . 373
H. L. Bodlaender and
P. A. Evans and
M. R. Fellows Finite-State Computability of
Annotations of Strings and Trees . . . . 384
R. Benjamins and
C. Pierret-Golbreich Assumptions of Problem-Solving Methods 1
D. Fensel and
R. Straatman Problem-Solving Methods: Making
Assumptions for Efficiency Reasons . . . 17
K. O'Hara and
N. Shadbolt The Thin End of the Wedge: Efficiency
and the Generalised Directive Model
Methodology . . . . . . . . . . . . . . 33
K. Orsvaern Principles for Libraries of Task
Decomposition Methods --- Conclusions
from a Case-study . . . . . . . . . . . 48
K. Orsvaern A Purpose Driven Method for Language
Comparison: The REVISE Project . . . . . 66--81
R. Benjamins and
M. Aben A Conceptual and Formal Model of a
Diagnostic Reasoner . . . . . . . . . . 82
J. Benjamin and
P. Borst and
H. Akkermans and
B. Wielinga Ontology Construction for Technical
Domains . . . . . . . . . . . . . . . . 98
S. Lapalut Text Clustering to Help Knowledge
Acquisition from Documents . . . . . . . 115
U. Hahn and
M. Klenner and
K. Schnattinger A Quality-Based Terminological Reasoning
Model for Text Knowledge Acquisition . . 131
P. R. Bowden and
P. Halstead and
T. G. Rose Extracting Conceptual Knowledge From
Text Using Explicit Relation Markers . . 147
C. Ghedini Ralha Structuring Information in a Distributed
Hypermedia System . . . . . . . . . . . 163
P. C.-H. Cheng Diagrammatic Knowledge Acquisition:
Elicitation, Analysis and Issues . . . . 179
E. Sommer An Approach to Measuring Theory Quality 195
F. Schmalhofer and
C. Kozieja Some Late-Breaking News from the Data
Mines and a Preview of the KOALA System:
A Prospector's Report . . . . . . . . . 213
J. J. Furtado Vasco and
C. Faucher and
E. Chouraqui A Knowledge Acquisition Tool for
Multi-Perspective Concept Formation . . 229
J. Cupit and
N. Shadbolt Knowledge Discovery in Databases:
Exploiting Knowledge-Level Redescription 245
D. Sleeman and
F. Mitchell Towards Painless Knowledge Acquisition 262
F. Brazier and
J. Treur and
N. Wijngaards The Acquisition of a Shared Task Model 278
G. Boy The Group Elicitation Method: An
Introduction . . . . . . . . . . . . . . 290
J. Efstathiou Formalising the Repair of Schedules
Through Knowledge Acquisition . . . . . 306
S. A. Chien Intelligent Tools for Planning Knowledge
Base Development and Verification . . . 321
V. Arlanzon and
A. Bernaras and
I. Laresgoiti Configuring Service Recovery Planning
with the CommonKADS Library . . . . . . 338
H. Cottam and
N. Shadbolt Domain and System Influences in Problem
Solving Models for Planning . . . . . . 354
J. M. Haake and
A. Bapat and
T. Knopik Using a Hypermedia System for Systems
Engineering . . . . . . . . . . . . . . 3
H. Maurer and
N. Scherbakov Document Linking and Embedding: A New
Hypermedia Structuring Paradigm . . . . 17
K. Andrews and
M. Pichler Hooking Up $3$-Space: Three-Dimensional
Models as Fully-Fledged Hypermedia
documents . . . . . . . . . . . . . . . 28
A. F. Smeaton and
A. Gregan Distributed Multimedia QoS Parameters
from Presentation Modelling by Coloured
Petri Nets . . . . . . . . . . . . . . . 47
J. S. Jin Image Processing in Multimedia . . . . . 61
C. Dormann Designing On-Line Animated Help for
Multimedia Applications . . . . . . . . 73
C. J. Dede and
M. Salzman and
R. B. Loftin The Development of a Virtual World for
Learning Newtonian Mechanics . . . . . . 87
C. Hand Other Faces of Virtual Reality . . . . . 107
R. Pose and
M. Regan Techniques for Reducing Virtual Reality
Latency with Architectural Support and
Consideration of Human Factors . . . . . 117
D. Tegolo Fusion of Visual Tools in Virtual Spaces 136
N. A. Streitz From Individual Work and Desktop-Based
Collaboration to Ubiquitous Meeting
Environments . . . . . . . . . . . . . . 149
T. Miah Multimedia Conferencing Architecture and
User Interfaces for Collaborative
Environment . . . . . . . . . . . . . . 164
A. V. Gershman and
S. H. Sato Multimedia Communications and Groupware 178
P. Kommers Conceptual Support by the New Media for
Co-operative Learning in the Next
Century . . . . . . . . . . . . . . . . 193
T. Boyle and
M. Davies Hypermedia Environments for Learning to
Program . . . . . . . . . . . . . . . . 216
R. Millwood and
G. Mladenova Educational Multimedia: How to Allow for
Cultural Factors . . . . . . . . . . . . 230
V. A. Petrushin HELENA: A Shell for Creating Educational
Hypermedia Applications . . . . . . . . 237
M. Morozov Multimedia Lecture Room: A New Tool for
Education . . . . . . . . . . . . . . . 246
A. S. Egov and
E. I. Podolny and
A. V. Polykakhin and
A. V. Polishjuk A Personal Information Support System
for Performing Creative Tasks . . . . . 257
J. A. Waterworth A Pattern of Islands: Exploring Public
Information Space in a Private Vehicle 265
M. Subbotin and
D. Subbotin The Concept of a ``Personal Book'' . . . 279
P. Brusilovsky Adaptive Hypermedia: An Attempt to
Analyze and Generalize . . . . . . . . . 288
M. I. Zyryanov Adaptive Local Maps in Hypermedia
Components of Intelligent Learning
Environments . . . . . . . . . . . . . . 305
D. Soni and
R. L. Nord and
L. Hsu and
P. J. Drongowski Many Faces of Software Architecture . . 6
M. Shaw Procedure Calls Are the Assembly
Language of Software Interconnection:
Connectors Deserve First-Class Status 17
T. R. Dean and
J. R. Cordy Software Structure Characterization
Using Connectivity . . . . . . . . . . . 33
N. H. Minsky Regularities in Software Systems . . . . 49
D. Garlan Formal Approaches to Software
Architecture . . . . . . . . . . . . . . 64
G. C. Murphy and
D. Notkin Difficulties with Object-Oriented
Frameworks . . . . . . . . . . . . . . . 77
P. G. Sorenson and
J.-P. Tremblay Using a Metasystem Approach to Support
and Study the Design Process . . . . . . 88
A. Ryman Constructing Software Design Theories
and Models . . . . . . . . . . . . . . . 103
J. Kramer and
A. Finkelstein and
B. Nuseibeh Method Integration and Support for
Distributed Software Development: An
Overview . . . . . . . . . . . . . . . . 115
W. G. Griswold and
R. W. Bowdidge Program Restructuring via Design-Level
Manipulation . . . . . . . . . . . . . . 127
J. L. Diaz-Herrera Hierarchical Modular Diagrams: An
Approach to Describe Architectural
Designs . . . . . . . . . . . . . . . . 140
M. G. Hinchey Structured and Formal Methods: An
Investigative Framework . . . . . . . . 151
G. Yuan and
N. Patel An Exploration of Object-Oriented
Methodologies for System Analysis and
Design . . . . . . . . . . . . . . . . . 164
M. Brodie Putting objects to work on a massive
scale . . . . . . . . . . . . . . . . . 1
D. Dubois and
H. Prade Approximate and commonsense reasoning:
From theory to practice . . . . . . . . 19
M. Jarke and
M. Jeusfeld and
P. Peters and
P. Szczurko Cooperative information systems
engineering . . . . . . . . . . . . . . 34
E. Sandewall Towards a world-wide knowledge base . . 50
G. Piatetsky-Shapiro Data mining and knowledge discovery in
business databases . . . . . . . . . . . 56
P. Lambrix and
J. Maleki Learning composite concepts in
description logics: a first step . . . . 68
R. Dieng Comparison of conceptual graphs for
modeling knowledge of multiple experts 78
Y. Zhang Semantical considerations for knowledge
base updates . . . . . . . . . . . . . . 88
A. Wrzos-Kaminska Partial evaluation in constraint logic
programming . . . . . . . . . . . . . . 98
E. Bloedorn and
R. Michalski The AQ17-DCI system for data-driven
constructive induction and its
application to the analysis of world
economics . . . . . . . . . . . . . . . 108
N. Shan and
H. Hamilton and
N. Cercone Induction of classification rules from
imperfect data . . . . . . . . . . . . . 118
S. Tsumoto and
H. Tanaka Induction of expert system rules from
databases based on rough set theory and
resampling methods . . . . . . . . . . . 128
J. Zytkow and
R. Zembowicz Mining patterns at each scale in massive
data . . . . . . . . . . . . . . . . . . 139
K. De Jong On evolving intelligence . . . . . . . . 149
T. Baeck and
M. Schuetz Intelligent mutation rate control in
canonical genetic algorithms . . . . . . 158
A. Giordana and
F. Neri and
L. Saitta A fine-grained parallel evolutionary
program for concept induction . . . . . 168
A. E. Eiben Evolutionary exploration of search
spaces . . . . . . . . . . . . . . . . . 178
Z. Michalewicz and
J. Xiao and
K. Trojanowski Evolutionary computation: one project,
many directions . . . . . . . . . . . . 189
J. Calmet and
I. Lu and
M. Rodriguez and
J. Schue Signed formula logic programming:
operational semantics and applications 202
L. Bertossi and
J. Pinto and
P. Saez and
D. Kapur Automating proofs of integrity
constraints in situation calculus . . . 212
P. Cholewinski Towards programming in default logic . . 223
J. Chen and
S. Kundu A sound and complete fuzzy logic system
using Zadeh's implication operator . . . 233
F. Dignum and
H. Weigand and
E. Verharen Meeting the deadline: on the formal
specification of temporal Deontic
constraints . . . . . . . . . . . . . . 243
R. Demolombe Validity queries and completeness
queries . . . . . . . . . . . . . . . . 253
M. J. Minock and
W. W. Chu Explanation for cooperative information
systems . . . . . . . . . . . . . . . . 264
J. Oldham and
V. Marek Toward intelligent representation of
database content . . . . . . . . . . . . 274
M. Kryszkiewicz and
H. Rybinski Reducing information systems with
uncertain attributes . . . . . . . . . . 285
A.-M. Dery and
S. Ducasse and
M. Fornarino Object and dependency oriented
programming in FLO . . . . . . . . . . . 295
J. Debenham Knowledge simplification . . . . . . . . 305
S. Bruening and
T. Schaub A model-based approach to
consistency-checking . . . . . . . . . . 315
V. Brusoni and
L. Console and
E. Lamma and
P. Mello Resource-based vs task-based approaches
for scheduling problems . . . . . . . . 325
F. G. Pin A fuzzy behaviorist approach to
sensor-based robot control . . . . . . . 335
L. Sztandera Knowledge-based fuzzy neural networks 346
F. Seredynski Coevolutionary game theoretic
multi-agent systems . . . . . . . . . . 356
N. Son and
N. Hoa and
A. Skowron Searching for features defined by
hyperplanes . . . . . . . . . . . . . . 366
H. Blockeel and
L. De Raedt Inductive database design . . . . . . . 376
G. S. Loo and
T. Dillon and
J. Zeleznikow and
K.-H Lee Enhancing query processing of
information systems . . . . . . . . . . 386
G. P. Zarri and
L. Gilardoni Structuring and retrieval of the complex
predicate arguments proper to the NKRL
conceptual language . . . . . . . . . . 398
P. Bosc and
O. Pivert On the handling of imperfect data in
relational database systems --- from
null values to possibility distributions 408
S. Wierzchon and
M. Klopotek Modified component valuations in
valuation based systems as a way to
optimize query processing . . . . . . . 418
I. F. Imam and
R. S. Michalski Learning for decision making: the FRD
approach and a comparative study . . . . 428
S. Tsumoto and
W. Ziarko The application of rough sets-based data
mining technique to differential
diagnosis of meningoenchephalitis . . . 438
T. Mollestad and
A. Skowron A rough set framework for data mining of
propositional default rules . . . . . . 448
I. F. Imam An empirical study on the incompetence
of attribute selection criteria . . . . 458
F. Esposito and
A. Laterza and
D. Malerba and
G. Semeraro Locally finite, proper, and complete
operators for refining datalog programs 468
S. J. Noronha and
S. Szpakowicz Forest fire management with Negoplan . . 479
O. Pons and
J. Medina and
J. Cubero and
A. Vila An architecture for a deductive fuzzy
relational database . . . . . . . . . . 491
N. Zhong and
S. Ohsuga A multi-step process for discovering,
managing, and refining strong functional
relations hidden in databases . . . . . 501
R. Capobianchi and
M. Mautref and
M. Van Keulen and
H. Balsters An architecture and methodology for the
design and development of technical
information systems . . . . . . . . . . 511
P. Doherty and
W. Lukaszewics and
A. Szalas Explaining explanation closure . . . . . 521
L. De Raedt PAC-learning logic programs under the
closed-world assumption . . . . . . . . 531
L. Karlsson Planning, truth criteria, and the
systematic approach to action and change 541
M. Franova Automated inductive reasoning as a
support of deductive reasoning in a
user-independent automation of inductive
theorem proving . . . . . . . . . . . . 551
P. Godfrey and
J. Gryz and
J. Minker Semantic query optimization for
bottom-up evaluation . . . . . . . . . . 561
C. Tuerker and
S. Conrad and
G. Saake Dynamically changing behavior: an
agent-oriented view to modeling
intelligent information systems . . . . 572
J. Eusterbrock A multi-layer architecture for
knowledge-based system synthesis . . . . 582
M. Ravindranathan and
R. Leitch MuRaLi: an architecture for multiple
reasoning . . . . . . . . . . . . . . . 593
B. Cadish and
Z. Diskin Heterogeneous view integration via
sketches and equations . . . . . . . . . 603
L. Dehaspe and
L. De Raedt DLAB: a declarative language bias
formalism . . . . . . . . . . . . . . . 613
W. Kloesgen Knowledge discovery in databases and
data mining . . . . . . . . . . . . . . 623
J. Bala and
P. Pachowicz and
H. Wechsler Learning with noise in engineering
domains . . . . . . . . . . . . . . . . 633
C. Vrain Hierarchical conceptual clustering in a
first order representation . . . . . . . 643
W. Ziarko and
N. Cercone and
X. Hu Rule discovery from databases with
decision matrices . . . . . . . . . . . 653
S. Kelly and
K. Lyytinen and
M. Rossi MetaEdit+: A Fully Configurable
Multi-User and Multi-Tool CASE and CAME
Environment . . . . . . . . . . . . . . 1
S. Si-Said and
C. Rolland and
G. Grosz MENTOR: A Computer Aided Requirements
Engineering Environment . . . . . . . . 22
V. C. Vescoukis and
N. Papaspyrou and
E. Skordalakis A Logic-Based Framework for Reasoning
Support in Software Evolution . . . . . 44
A. Gal and
O. Etzion and
A. Segev TALE: A Temporal Active Language and
Execution Model . . . . . . . . . . . . 60
J. Van den Akker and
A. Siebes DEGAS: Capturing Dynamics in Objects . . 82
G. Kappel and
S. Rausch-Schott and
W. Retschitzegger and
M. Sakkinen From Rules to Rule Patterns . . . . . . 99
T. Kudrass and
M. Lehmbach and
A. Buchmann Tool-Based Re-Engineering of a Legacy
MIS: An Experience Report . . . . . . . 116
M. Krone and
M. Kowsari and
P. Hartel and
G. Denker Developing an Information System Using
TROLL: An Application Field Study . . . 136
F. Kemper and
W. Wilkes and
G. Schlageter Active Relationships for Controlling the
Propagation of Information and
Activities in Databases . . . . . . . . 160
C. Nicolle and
D. Benslimane and
K. Yetongnon Multi-Data Models Translations in
Interoperable Information Systems . . . 176
H. Weigand and
E. Verharen and
F. Dignum Interoperable Transactions in Business
Models: A Structured Approach . . . . . 193
N. Tryfona and
J. Sharma On Information Modeling to Support
Interoperable Spatial Databases . . . . 210
B. W. Bates and
J.-M. Bruel and
R. B. France and
M. M. Larrondo-Petrie Guidelines for Formalizing Fusion
Object-Oriented Analysis Models . . . . 222
S. Castano and
V. De Antonellis Techniques for Process Analysis and
Unification . . . . . . . . . . . . . . 234
D. Costal and
E. Teniente and
T. Urpi and
C. Farre Handling Conceptual Model Validation by
Planning . . . . . . . . . . . . . . . . 255
J.-L. Hainaut and
J. Henrard and
J.-M. Hick and
D. Roland Database Design Recovery . . . . . . . . 272
M. Hanneghan and
M. Merabti and
G. Colquhoun The World-Wide Web as a Platform for
Supporting Interactive Concurrent
Engineering . . . . . . . . . . . . . . 301
P. Constantopoulos and
Y. Tzitzikas Context-Driven Information Base Update 319
J. Puustjaervi and
H. Tirri and
J. Veijalainen Managing Overlapping Transactional Work
flows . . . . . . . . . . . . . . . . . 345
M. Hori and
Y. Shinoda and
K. Ochimizu Shared Data Management Mechanism for
Distributed Software Development Based
on a Reflective Object-Oriented Model 362
M. C. Norrie and
M. Wunderli Agent-Based Tool Integration for
Distributed Information Systems . . . . 383
K. Siau and
Y. Wand and
I. Benbasat When Parents Need Not Have Children:
Cognitive Biases in Information Modeling 402
M. Daneva The Role of Benchmarking in Information
System Development . . . . . . . . . . . 421
N. Mehandjiev and
L. Bottaci User-Enhanceability for Organizational
Information Systems through Visual
Programming . . . . . . . . . . . . . . 432
I. Mirbel and
J.-L Cavarero An Integration Method for Design Schemas 457
P. Breche Advanced Primitives for Changing Schemas
of Object Databases . . . . . . . . . . 476
Z. Bellahsene and
P. Poncelet and
M. Teisseire Views for Information System Design
without Reorganization . . . . . . . . . 496
R. Motschnig-Pitrik and
J. Mylopoulos Semantics, Features, and Applications of
the Viewpoint Abstraction . . . . . . . 514
Y. Lahlou and
N. Mouaddib Relaxing the Instantiation Link: Towards
a Content-Based Data Model for
Information Retrieval . . . . . . . . . 540
N. Lammari and
R. Laleau and
M. Jouve and
X. Castellani Deriving Normalized Isa Hierarchies by
Using Applicability Constraints . . . . 562
J. Anderson and
M. Evans Constraint-Directed Improvisation for
Complex Domains . . . . . . . . . . . . 1
M. J. Dent and
R. E. Mercer A New Model of Hard Binary Constraint
Satisfaction Problems . . . . . . . . . 14
R. Wetprasit and
A. Sattar and
L. Khatib Reasoning with Multi-Point Events . . . 26
J. A. Allen and
S. Minton Selecting the Right Heuristic Algorithm:
Runtime Performance Predictors . . . . . 41
C. Elkan Reasoning About Unknown, Counterfactual,
and Nondeterministic Actions in
First-Order Logic . . . . . . . . . . . 54
C. Boutilier and
M. Goldszmidt The Frame Problem and Bayesian Network
Action Representations . . . . . . . . . 69
E. Hagen and
A. Stein Automatic Generation of a Complex
Dialogue History . . . . . . . . . . . . 84
F. Popowich A Chart Generator for Shake and Bake
Machine Translation . . . . . . . . . . 97
L. Ardissono and
R. Cohen Extending the Role of User Feedback in
Plan Recognition and Response Generation
for Advice-Giving Systems: An Initial
Report . . . . . . . . . . . . . . . . . 109
H. Altay Guevenir and
A. Tunc Corpus-Based Learning of Generalized
Parse Tree Rules for Translation . . . . 121
U. Hahn and
M. Strube PARSETALK About Functional Anaphora . . 133
R. C. Bodner and
F. Song Knowledge-Based Approaches to Query
Expansion in Information Retrieval . . . 146
R. C. Holte and
J. N. Yuen Yan Inferring What a User is Not Interested
In . . . . . . . . . . . . . . . . . . . 159
B. M. Kramer and
J. Mylopoulos and
M. E. Benjamin and
Q. B. Chou Developing an Expert System Technology
for Industrial Process Control: An
Experience Report . . . . . . . . . . . 172
D. Charlebois and
D. G. Goodenough and
S. Matwin and
A. S. Pal Bhogal Planning and Learning in a Natural
Resource Information System . . . . . . 187
B. Chaib-draa A Hierarchical Model of Agent Based on
Skill, Rules, and Knowledge . . . . . . 200
Y. Xiang Semantics of Multiply Sectioned Bayesian
Networks for Cooperative Multi-Agent
Distributed Interpretation . . . . . . . 213
K. Bhatia and
C. Elkan LPMEME: A Statistical Method for
Inductive Logic Programming . . . . . . 227
R. Rios and
S. Matwin Efficient Induction of Recursive Prolog
Definitions . . . . . . . . . . . . . . 240
Y.-J. Hu Constructive Induction: A Preprocessor 249
M. Pendrith and
M. Ryan Reinforcement Learning for Real-World
Control Applications . . . . . . . . . . 257
W. Lam and
S. Mukhopadhyay A Two-Level Approach to Learning in
Nonstationary Environments . . . . . . . 271
C. X. Ling and
H. Wang Learning Classifications from Multiple
Sources of Unsupervised Data . . . . . . 284
Z. Lin Paraconsistent Circumscription . . . . . 296
T. Topaloglou Efficient Algorithms for Qualitative
Reasoning About Imprecise Space . . . . 309
F. Giunchiglia and
R. Sebastiani and
A. Villafiorita and
T. Walsh A General Purpose Reasoner for
Abstraction . . . . . . . . . . . . . . 323
A. Fall Reference Constraints and Individual
Level Inheritance . . . . . . . . . . . 336
T. Koshiba Decision Tree Learning System with
Switching Evaluator . . . . . . . . . . 349
C. Thornton Parity: The Problem that Won't Go Away 362
Y. Ohsawa and
M. Ishizuka A Polynomial-Time Predicate-Logic
Hypothetical Reasoning by Networked
Bubble Propagation Method . . . . . . . 375
R. J. Wallace Enhancing Maximum Satisfiability
Algorithms with Pure Literal Strategies 388
J. C. Culberson and
J. Schaeffer Searching with Pattern Databases . . . . 402
S. Noronha and
S. Szpakowicz Negoplan: A System for Logic-Based
Decision Modelling . . . . . . . . . . . 417
B. Barber and
H. J. Hamilton Attribute Selection Strategies for
Attribute-Oriented Generalization . . . 429
S. Abu-Hakima Automating Model Acquisition by Fault
Knowledge Re-Use: Introducing the
Diagnostic Remodeler Algorithm . . . . . 442
F. Cordova Communicating NASA's Science to the
Public . . . . . . . . . . . . . . . . . 1
J. H. Billington The Library of Congress's National
Digital Library Program . . . . . . . . 17
R. Reddy The Universal Library: Intelligent
Agents and Information on Demand . . . . 27
L. Smarr Building a Scalable America . . . . . . 35
W. Wolf and
B. Liu and
A. Wolfe and
M. Yeung Video as Scholarly Material in the
Digital Library . . . . . . . . . . . . 45
M. A. Shepherd and
C. R. Watters and
F. J. Burkowski Digital Libraries for Electronic News 55
B. C. Desai and
S. Swiercz WebJournal: Visualization of a Web
Journey . . . . . . . . . . . . . . . . 63
A. Nica and
E. A. Rundensteiner Uniform Structured Document Handling
using a Constraint-based Object Approach 83
R. Boisvert and
S. Browne and
J. Dongarra and
E. Grosse Digital Software and Data Repositories
for Support of Scientific Computing . . 103--114
S. Wiesener and
W. Kowarschick and
P. Vogel and
R. Bayer Semantic Hypermedia Retrieval in Digital
Libraries . . . . . . . . . . . . . . . 115
A. Myka and
U. Guentzer Fuzzy Full-Text Searches in OCR
Databases . . . . . . . . . . . . . . . 131
A. Bouguettaya and
S. Milliner Data Discovery in Large Scale
Heterogeneous and Autonomous Databases 149
M. E. Rorvig and
M. W. Hutchison and
R. O. Shelton and
S. L. Smith An Intelligent Agent for the K--12
Educational Community . . . . . . . . . 167
R. B. Allen Interface Issues for Interactive
Multimedia Documents . . . . . . . . . . 179
N. Gershon and
W. Ruh and
J. Le Vasseur and
J. Winstead Searching and Discovery of Resources in
Digital Libraries . . . . . . . . . . . 191
D. M. Choy and
R. Dievendorff and
C. Dwork and
J. B. Lotspiech The Almaden Distributed Digital Library
System . . . . . . . . . . . . . . . . . 203
C. Fischer and
J. Frew and
M. Larsgaard and
T. R. Smith Alexandria Digital Library: Rapid
Prototype and Metadata Schema . . . . . 221
D. G. Zhao and
A. Ramsden The ELINOR Electronic Library . . . . . 243
J. R. Davis and
C. Lagoze and
D. B. Kraft Dienst: Building a Production Technical
Report Server . . . . . . . . . . . . . 259
I. Barany and
S. Onn Colourful Linear Programming . . . . . . 1
R. R. Thomas and
R. Weismantel Test Sets and Inequalities for Integer
Programs . . . . . . . . . . . . . . . . 16
C. Roessner and
C. P. Schnorr An Optimal, Stable Continued Fraction
Algorithm for Arbitrary Dimension . . . 31
S. Chopra and
I. Gilboa and
S. T. Sastry Algorithms and Extended Formulations for
One and Two Facility Network Design . . 44
C. Barnhart and
C. A. Hane and
P. H. Vance Integer Multicommodity Flow Problems . . 58
A. Caprara and
M. Fischetti and
P. Toth A Heuristic Algorithm for the Set
Covering Problem . . . . . . . . . . . . 72
P. Tseng and
D. P. Bertsekas An ??-Relaxation Method for Generalized
Separable Convex Cost Network Flow
Problems . . . . . . . . . . . . . . . . 85
S. G. Kolliopoulos and
C. Stein Finding Real-Valued Single-Source
Shortest Paths in $ o(n03) $ Expected
Time . . . . . . . . . . . . . . . . . . 94
S. P. Fekete and
S. Khuller and
M. Klemmstein and
B. Raghavachari A Network-Flow Technique for Finding
Low-Weight Bounded-Degree Spanning Trees 105
M. M. Halldorsson Approximating $k$-Set Cover and
Complementary Graph Coloring . . . . . . 118
S. Kapoor On Minimum $3$-Cuts and Approximating
$k$-Cuts Using Cut Trees . . . . . . . . 132
M. X. Goemans and
D. P. Williamson Primal-Dual Approximation Algorithms for
Feedback Problems in Planar Graphs . . . 147
G. Pataki Cone-LP's and Semidefinite Programs:
Geometry and a Simplex-Type Method . . . 162
C. Helmberg and
F. Rendl and
R. Weismantel Quadratic Knapsack Relaxations Using
Cutting Planes and Semidefinite
Programming . . . . . . . . . . . . . . 175
N. Kahale A Semidefinite Bound for Mixing Rates of
Markov Chains . . . . . . . . . . . . . 190
R. E. Burkard and
E. Cela and
G. Rote and
G. J. Woeginger The Quadratic Assignment Problem with a
Monotone Anti-Monge and a Symmetric
Toeplitz Matrix: Easy and Hard Cases . . 204
E. Cohen On Optimizing Multiplications of Sparse
Matrices . . . . . . . . . . . . . . . . 219
K. M. Anstreicher and
M. Fampa and
J. Lee and
J. Williams Continuous Relaxations for Constrained
Maximum-Entropy Sampling . . . . . . . . 234
D. Hartvigsen A Submodular Optimization Problem with
Side Constraints . . . . . . . . . . . . 249
K. Murota Convexity and Steinitz's Exchange
Property . . . . . . . . . . . . . . . . 260
B. Novick and
A. Sebo On Ideal Clutters, Metrics and
Multiflows . . . . . . . . . . . . . . . 275
M. X. Goemans A Supermodular Relaxation for Scheduling
with Release Dates . . . . . . . . . . . 288
A. S. Schulz Scheduling to Minimize Total Weighted
Completion Time: Performance Guarantees
of LP-Based Heuristics and Lower Bounds 301
N. Simonetti and
E. Balas Implementation of a Linear Time
Algorithm for Certain Generalized
Traveling Salesman Problems . . . . . . 316
D. Bertsimas and
C.-P. Teo and
R. Vohra On Dependent Randomized Rounding
Algorithms . . . . . . . . . . . . . . . 330
H. Chen and
A. Frieze Coloring Bipartite Hypergraphs . . . . . 345
C.-P. Teo and
D. Bertsimas Improved Randomized Approximation
Algorithms for Lot-Sizing Problems . . . 359
J. A. Hoogeveen and
T. Kawaguchi Minimizing Total Completion Time in a
Two-Machine Flowshop: Analysis of
Special Cases . . . . . . . . . . . . . 374
P. Martin and
D. B. Shmoys A New Approach to Computing Optimal
Schedules for the Job-Shop Scheduling
Problem . . . . . . . . . . . . . . . . 389
J. A. Hoogeveen and
A. P. A. Vestjens Optimal On-Line Algorithms for
Single-Machine Scheduling . . . . . . . 404
M. X. Goemans and
L. A. Hall The Strongest Facets of the Acyclic
Subgraph Polytope Are Unknown . . . . . 415
R. Mueller and
A. S. Schulz Transitive Packing . . . . . . . . . . . 430
M. Funke and
G. Reinelt A Polyhedral Approach to the Feedback
Vertex Set Problem . . . . . . . . . . . 445
R. Cart Separating over Classes of TSP
Inequalities Defined by 0 Node-Lifting
in Polynomial Time . . . . . . . . . . . 460
L. Fleischer and
E. Tardos Separating Maximally Violated Comb
Inequalities in Planar Graphs . . . . . 475
R. E. Burkard and
V. G. Deineko and
G. J. Woeginger The Travelling Salesman and the PQ-Tree 490
C. Van Der Acker and
J. Vanthienen Integrating Statistical Audit Evidence
with Belief Function Theory . . . . . . 1
G. Antoniou A Comparative Survey of Default Logic
Variants . . . . . . . . . . . . . . . . 15
P. Balbiani Modal Logics with Relative Accessibility
Relations . . . . . . . . . . . . . . . 29
P. Balbiani and
L. F. Del Cerro and
T. Tinchev and
D. Vakarelov Geometrical Structures and Modal Logic 43
S. Das and
J. Fox and
P. Krause A Unified Framework for Hypothetical and
Practical Reasoning (1) --- Theoretical
Foundations . . . . . . . . . . . . . . 58
J. Fox and
S. Das A Unified Framework for Hypothetical and
Practical Reasoning (2) --- Lessons from
Medical Applications . . . . . . . . . . 73
P. Doherty and
W. Lukaszewicz and
A. Szalas General Domain Circumscription and its
First-Order Reduction . . . . . . . . . 93
Ho Ngoc Duc Reasoning about Rational, but not
Logically Omniscient Agents . . . . . . 110
J. Engelfriet and
J. Treur Specification of Nonmonotonic Reasoning 111
B. Errico and
L. C. Aiello Intelligent Agents in the Situation
Calculus: An Application to User
Modelling . . . . . . . . . . . . . . . 126
L. F. Del Cerro and
A. F. Delgado and
A. Herzig Talkin'bout Consistency, or: When
Logically Possible Becomes Possible . . 141
E. T. Feteris The Analysis and Evaluation of Legal
Argumentation from a Pragma-Dialectical
Perspective . . . . . . . . . . . . . . 151
M. A. Finocchiaro Reasoning about Reasoning . . . . . . . 167
M. Fisher and
M. Wooldridge and
C. Dixon A Resolution-Based Proof Method for
Temporal Logics of Knowledge and Belief 178
D. Gabbay and
O. Rodrigues A Methodology for Iterated Theory Change 193
H. Geffner A Formal Framework for Causal Modeling
and Argumentation . . . . . . . . . . . 208
M. A. Gilbert Goals in Argumentation . . . . . . . . . 223
L. Giordano and
A. Martelli and
M. L. Sapino An Abductive Proof Procedure for
Conditional Logic Programming . . . . . 231
R. A. Girle Commands in Dialogue Logic . . . . . . . 246
E. Giunchiglia and
F. Giunchiglia Ideal and Real Belief about Belief . . . 261
H. Gotoda and
J. An and
Y. Fujiwara Analogical Reasoning of Organic
Reactions Based on the Structurized
Compound-Reaction Diagram . . . . . . . 276
M. Guarini Mind, Morals, and Reasons . . . . . . . 305
H. V. Hansen Aristotle, Whately, and the Taxonomy of
Fallacies . . . . . . . . . . . . . . . 318
J. Engelfriet and
H. Herre and
J. Treur Nonmonotonic Reasoning with Multiple
Belief Sets . . . . . . . . . . . . . . 331
G. Grosse and
C. S. Herrmann and
E. Sandner SEdit --- Graphically Validating
Technical Systems . . . . . . . . . . . 345
R. H. Johnson The Need for a Dialectical Tier in
Arguments . . . . . . . . . . . . . . . 349
M. Kerber and
E. Melis Two Kinds of Non-Monotonic Analogical
Inference . . . . . . . . . . . . . . . 361
H. Kloosterhuis The Normative Reconstruction of Analogy
Argumentation in Judicial Decisions: a
Pragma-Dialectical Perspective . . . . . 375
C. Kreitz and
K.-K. Lau and
M. Ornaghi Formal Reasoning about Modules, Reuse,
and their Correctness . . . . . . . . . 384
W. May and
P. H. Schmitt A Tableau Calculus for First-Order
Branching Time Logic . . . . . . . . . . 399
J.-J. C. Meyer and
J. C. Van Leeuwen Possible World Semantics for Analogous
Reasoning . . . . . . . . . . . . . . . 414
D. Montesi and
C. Renso and
F. Turini Using Temporary Integrity Constraints to
Optimize Databases . . . . . . . . . . . 430
I. Neumann Graded Inheritance Nets for Knowledge
Representation . . . . . . . . . . . . . 436
S. Parsons Defining Normative Systems for
Qualitative Argumentation . . . . . . . 449
J. Plug Complex Argumentation in Judicial
Decisions. Analysing Conflicting
Arguments . . . . . . . . . . . . . . . 464
W. Pohl Combining Partitions and Modal Logic for
User Modeling . . . . . . . . . . . . . 480
J. L. Pollock Reason in a Changing World . . . . . . . 495
H. Prakken and
G. Sartor A System for Defeasible Argumentation,
with Defeasible Priorities . . . . . . . 510
H. Prendinger Modal Logics for Modelling Actions and
Agents . . . . . . . . . . . . . . . . . 525
A. Radzikowska Formalization of Reasoning about Default
Action (Preliminary Report) . . . . . . 540
C. Reed and
D. Long and
M. Fox An Architecture for Argumentative
Dialogue Planning . . . . . . . . . . . 555
T. Schaub and
M. Thielscher Skeptical Query-Answering in Constrained
Default Logic . . . . . . . . . . . . . 567
S. Shiu and
Z. Luo and
R. Garigliano Type Theoretic Semantics for SemNet . . 582
C. W. Tindale From Syllogisms to Audiences: The
Prospects for Logic in a Rhetorical
Model of Argumentation . . . . . . . . . 596
C. Vogel Human Reasoning with Negative Defaults 606
S. Weber On the Semantics of the Unknown . . . . 622
E. Weydert System J --- Revision Entailment ---
Default Reasoning through Ranking
Measure Updates . . . . . . . . . . . . 637
J. Woods Deep Disagreements and Public
Demoralization . . . . . . . . . . . . . 650
M. Wooldridge Practical Reasoning with Procedural
Knowledge . . . . . . . . . . . . . . . 663
C.-H. Yi Towards the Assessment of Logics for
Concurrent Actions . . . . . . . . . . . 679
G. Antoniou and
M. A. Williams Default Reasoning and Belief Revision in
the CIN Project . . . . . . . . . . . . 691
A. Cimatti and
L. Serafini Mechanizing Multi-Agent Reasoning with
Belief Contexts . . . . . . . . . . . . 694
D. W. Green Arguments and Mental Models: A Position
Paper . . . . . . . . . . . . . . . . . 697
S. Parsons and
J. Fox Argumentation and Decision Making: A
Position Paper . . . . . . . . . . . . . 705
C. M. G. M. Oliveira The Implementation of LENA . . . . . . . 710
C. M. G. M. Oliveira The Implementation of CondLP . . . . . . 713
V. Omelyanchyk How to Reason About Akratic Action
Practically? . . . . . . . . . . . . . . 716
C. P. Bloom Promoting the Transfer of Advanced
Training Technologies . . . . . . . . . 1
G. Boy Learning Evolution and Software Agents
Emergence . . . . . . . . . . . . . . . 10
A. Collins Whither Technology and Schools:
Collected Thoughts on the Last and Next
Quarter Centuries . . . . . . . . . . . 26
M. D. Merrill Instructional Design Tools Based on
Knowledge Objects . . . . . . . . . . . 27
R. C. Schank Multi-Media Software Development and the
Tools to Support It . . . . . . . . . . 28
K. VanLehn Conceptual and Meta Learning During
Coached Problem Solving . . . . . . . . 29
X. Dubourg Une architecture logicielle fondée sur le
concept d'évenement --- logiciel: le cas
de REPERES . . . . . . . . . . . . . . . 48
C. Frasson and
T. Mengelle and
E. Aimeur and
G. Gouarderes An Actor-Based Architecture for
Intelligent Tutoring Systems . . . . . . 57
D. Gagne and
A. Trudel A Highly Flexible Student Driven
Architecture for Computer Based
Instruction . . . . . . . . . . . . . . 66
S. Leman and
P. Marcenac and
S. Giroux A Generic Architecture for ITS Based on
a Multi-Agent Approach . . . . . . . . . 75
H. Wang LearnMedia: A Co-operative Intelligent
Tutoring System for Learning Multimedia 84
T. Murray Having It All, Maybe: Design Tradeoffs
in ITS Authoring Tools . . . . . . . . . 93
M. Schoelles and
H. Hamburger Teacher-Usable Exercise Design Tools . . 102
J.-M. Charlot and
B. Marcos and
J. Lapointe Mod\`eles cognitifs pour l'apprentissage
en thermodynamique . . . . . . . . . . . 111
A. T. Corbett and
S. Knapp Plan Scaffolding: Impact on the Process
and Product of Learning . . . . . . . . 120
R. Khuwaja and
V. Patel A Model of Tutoring: Based on the
Behavior of Effective Human Tutors . . . 130
Y. Matsubara and
M. Nagamachi Motivation System and Human Model for
Intelligent Tutoring . . . . . . . . . . 139
A. Mayers and
B. Lefebvre La modelisation fine du processus
r\`'solution de probl\`eme dans MIA CE 148
G. Ayala and
Y. Yano Learner Models for Supporting Awareness
and Collaboration in a CSCL Environment 158
E. De Barros Costa and
A. Perkusich Modeling the Cooperative Interactions in
a Teaching/Learning Situation . . . . . 168
T. Fuji and
T. Tanigawa and
M. Kozeni and
M. Inui A Case-Based Approach to Collaborative
Learning for Systems Analyst Education 177
J.-S. Heh and
W.- T. Shu and
J.-C. J. Jehng and
T.-W. Chan Design and Development of a Distributed
Multi-User Visual Learning Environment 187
P. Leroux and
M. Vivet De la modelisation d'un processus de
cooperation a la conception de
syst\`emes cooperatifs d'apprentissage 197
K. Lund and
M. Baker and
M. Baron Modeling Dialogue and Beliefs as a Basis
for Generating Guidance in a CSCL
Environment . . . . . . . . . . . . . . 206
S. G. Tadie and
B. Lefebvre and
C. Frasson MONACOT: un MOd\`ele \`a NAture
COoperative pour la représentation de
Tâches cooperatives dans un STI . . . . . 215
R. Khuwaja and
M. Desmarais and
R. Cheng Intelligent Guide: Combining User
Knowledge Assessment with Pedagogical
Guidance . . . . . . . . . . . . . . . . 225
N. Matsuda and
T. Okamoto Parallel Computing Model for Problem
Solver Towards ITSs --- Epistemological
Articulation of Human Problem Solving 234
S. Millet and
G. Gouarderes Approche qualitative de la ré-ingénierie
d'un syst\`eme tuteur intelligent \`a
partir d'une méthodologie d'évaluation . . 243
L.-H. Wong and
C.-K. Looi and
H.-C. Quek Issues in Computerizing the Inquiry
Dialogue Planning Process . . . . . . . 252
P. Brusilovsky and
E. Schwarz and
G. Weber ELM-ART: An Intelligent Tutoring System
on World Wide Web . . . . . . . . . . . 261
E. Espinosa and
A. Brito and
F. Ramos Intelligent Agent-Based Virtual
Education Using the Java Technology . . 270--278
A. Kabbaj and
K. Rouane and
C. Frasson The Use of a Semantic Network Activation
Language in an ITS Project . . . . . . . 279
I. Tabak and
B. K. Smith and
W. A. Sandoval and
B. J. Reiser Combining General and Domain-Specific
Strategic Support for Biological Inquiry 288
V. Fix and
S. Wiedenbeck Using Cognition of Programming
Literature in the Design of a Tool for
Learning a Second Programming Language 297
S. X. Huang A Content-Balanced Adaptive Testing
Algorithm for Computer-Based Training
Systems . . . . . . . . . . . . . . . . 306
P. Teutsch Un mod\`ele de situation d'évaluation
pour le suivi de formation en langue
étrang\`ere . . . . . . . . . . . . . . . 315
A. K. W. Wu On the Formal Evaluation of Learning
Systems . . . . . . . . . . . . . . . . 324
D. Bouhineau and
S. Channac La programmation logique par contraintes
pour l'aide \`a l'enseignant . . . . . . 333
S. A. Cerri Computational Mathematics Toolkit:
Architectures for Modeling Dialogues . . 343
J. Folckers and
C. Moebus and
O. Schroeder and
H.-J. Thole An Intelligent Problem Solving
Environment for Designing Explanation
Models and for Diagnostic Reasoning in
Probabilistic Domains . . . . . . . . . 353
S. Giroux and
G. Paquette and
F. Pachet and
J. Girard EpiTalk --- A Platform for Epiphyte
Advisor Systems Dedicated to Both
Individual and Collaborative Learning 363
M. Paolucci and
D. Suthers and
A. Weiner Automated Advice-Giving Strategies for
Scientific Inquiry . . . . . . . . . . . 372
G. Paquette and
J. Girard AGD: A Course Engineering Support System 382
P. R. De Buen-Rodriguez and
E. F. Morales and
S. Vadera A Knowledge-Based Framework for
Learning, Applying and Consulting
Engineering Procedures . . . . . . . . . 392
J. A. Elorriaga and
I. Fernandez-Castro The HSIIP Approach. An Extension for a
Teacher's Apprentice . . . . . . . . . . 401
H. Ohnuma and
T. Watanabe The Program Tutoring Text Model . . . . 411
R. Nkambou and
G. Gauthier Un module de représentation du curriculum
dans un STI . . . . . . . . . . . . . . 420
F. N. Akhras and
J. A. Self A Process-Sensitive Learning Environment
Architecture . . . . . . . . . . . . . . 430
C. Alexe and
J. Gecsei A Learning Environment for the Surgical
Intensive Care Unit . . . . . . . . . . 439
P. Bernat and
J. Morinet-Lambert A New Way for Visual Reasoning in
Geometry Education . . . . . . . . . . . 448
R. Burow and
G. Weber Example Explanation in Learning
Environments . . . . . . . . . . . . . . 457
T. Hirashima and
A. Kashihara and
J. Toyoda Toward a Learning Environment Allowing
Learner-Directed Problem Practice ---
Helping Problem-Solving by Using Problem
Simplification . . . . . . . . . . . . . 466
J. C. Lester and
B. A. Stone and
M. A. O'Leary and
R. B. Stevenson Focusing Problem Solving in
Design-Centered Learning Environments 475
F. Blanc Une utilisation de la modelisation
qualitative pour la planification
pédagogique . . . . . . . . . . . . . . . 484
A. K. Goel and
A. G. De Silva Garza and
N. Grue and
J. W. Murdock Towards Design Learning Environments ---
I: Exploring How Devices Work . . . . . 493
D. Leclet and
G. Weidenfeld Un module de simulation basée sur une
représentation de type
``objets-r\`egles'' pour l'enseignement
des métiers de ventes . . . . . . . . . . 502
J. Liddle and
R. Leitch and
K. Brown Generic Approaches to Developing
Practical Intelligent Industrial
Training Systems . . . . . . . . . . . . 512
J. H. Obradovich and
P. J. Smith and
S. Guerlain and
S. Rudmann The Transfusion Medicine Tutor: Using
Expert Systems Technology to Teach
Domain-Specific Problem-Solving Skills 521
S. Schewe and
T. Quak and
B. Reinhardt and
F. Puppe Evaluation of a Knowledge-Based Tutorial
Program in Rheumatology --- A Part of a
Mandatory Course in Internal Medicine 531
C. Eliot and
B. P. Woolf Iterative Development and Validation of
a Simulation-Based Medical Tutor . . . . 540
C. Moebus and
O. Schroeder and
H.-J. Thole WULPUS --- An Intelligent Problem
Solving Environment Delivering Knowledge
Based Help and Explanations in Business
Management Simulation . . . . . . . . . 550
D. M. Zhang and
L. Alem Using Case-Based Reasoning for Exercice
Design in Simulation-Based Training . . 560
J. A. Collins and
J. E. Greer and
S. X. Huang Adaptive Assessment Using Granularity
Hierarchies and Bayesian Nets . . . . . 569
C. E. Dowling and
C. Hockemeyer and
A. H. Ludwig Adaptive Assessment and Training Using
the Neighbourhood of Knowledge States 578
A. Mitrovic SINT --- A Symbolic Integration Tutor 587
J. Reye A Belief Net Backbone for Student
Modeling . . . . . . . . . . . . . . . . 596
M. Stern and
J. Beck and
B. P. Woolf Adaptation of Problem Presentation and
Feedback in an Intelligent Mathematics
Tutor . . . . . . . . . . . . . . . . . 605
K. Yacef and
L. Alem Student and Expert Modeling for
Simulation-Based Training: A Cost
Effective Framework . . . . . . . . . . 614
K.-E. Chang and
B.- C. Chiao and
R.-S. Hsiao A Programming Learning System for
Beginners --- A Completion Strategy
Approach . . . . . . . . . . . . . . . . 623
R. Freedman and
M. W. Evens Generating and Revising Hierarchical
Multi-Turn Text Plans in an ITS . . . . 632
S. Katz and
A. Lesgold and
G. Eggan and
L. Greenberg Towards the Design of More Effective
Advisors for Learning-by-Doing Systems 641
E. L. Ragnemalm Collaborative Dialogue with a Learning
Companion as a Source of Information on
Student Reasoning . . . . . . . . . . . 650
S. Retalis and
H. Pain and
M. Haggith Arguing with the Devil: Teaching in
Controversial Domains . . . . . . . . . 659
B. M. Slator and
H. Chaput Learning by Learning Roles: A Virtual
Role-Playing Environment for Tutoring 668
C. Srisethanil and
N. C. Baker ITS-Engineering: A Domain Independent
ITS for Building Engineering Tutors . . 677
H. Yang and
C. Zhang Definition and Application of a
Comprehensive Framework for Distributed
Problem Solving . . . . . . . . . . . . 1
L. Cavedon and
G. Tidhar A Logical Framework for Multi-Agent
Systems and Joint Attitudes . . . . . . 16
O. Shehory and
S. Kraus A Kernel-Oriented Model for
Autonomous-Agent Coalition-Formation in
General Environments . . . . . . . . . . 31
S. Ossowski and
A. Garcia-Serrano A Knowledge-Level Model of Coordination 46
B. Carlsson An Evolutionary Model of Multi-Agent
Systems . . . . . . . . . . . . . . . . 58
M. Luck and
M. D'Inverno Engagement and Cooperation in Motivated
Agent Modelling . . . . . . . . . . . . 70
E. A. Kendall and
M. T. Malkoun and
C. H. Jiang A Methodology for Developing Agent Based
Systems . . . . . . . . . . . . . . . . 85
W. Wobcke Plans and the Revision of Intentions . . 100
M. D'Inverno and
M. Luck A Formal View of Social Dependence
Networks . . . . . . . . . . . . . . . . 115
L. Sommaruga and
N. Catenazzi From Practice to Theory in Designing
Autonomous Agents . . . . . . . . . . . 130
C. Munday and
J. Dangedej and
T. Cross and
D. Lukose Motivation and Perception Mechanisms in
Mobil Agent for Electronic Commerce . . 144
A. S. Rao Integrated Agent Architecture: Execution
and Recognition of Mental-States . . . . 159
M. Zhang and
C. Zhang Neural Network Strategies for Solving
Synthesis Problems in Non-conflict Cases
in Distributed Expert Systems . . . . . 174
P. Davidsson A Linearly Quasi-Anticipatory Autonomous
Agent Architecture: Some Preliminary
Experiments . . . . . . . . . . . . . . 189
O. Belo and
J. Neves Cooperation Among Opportunistic Agents
on a Distributed Environment . . . . . . 204
B. Moulin and
M. Brassard A Scenario-Based Design and an
Environment of Multi-Agent Systems . . . 216
S. T. Taft Programming the Internet in Ada 95 . . . 1
N. F. Schneidewind Reliability Modeling for Safety Critical
Software . . . . . . . . . . . . . . . . 17
R. Guerraoui and
A. Schiper Fault-Tolerance by Replication in
Distributed Systems . . . . . . . . . . 38
A. Burns and
A. J. Wellings Ada 95: An Effective Concurrent
Programming Language . . . . . . . . . . 58
J. A. De La Puente and
A. Alonso and
A. Alvarez Mapping HRT-HOOD Designs to Ada 95
Hierarchical Libraries . . . . . . . . . 78
H. Kim and
C. Boldyreff An Approach to Increasing Software
Component Reusability in Ada . . . . . . 89
P. Kruchten and
C. J. Thompson Iterative Software Development for Large
Ada Programs . . . . . . . . . . . . . . 101
D. Emery and
J. S. Madhur HCSD Unit Development Process: Step-Wise
Process Improvement . . . . . . . . . . 111
N. Madhav Testing Ada 95 Programs for Conformance
to Rapide Architectures . . . . . . . . 123
J. Cheng and
K. Ushijima Tasking Deadlocks in Ada 95 Programs and
Their Detection . . . . . . . . . . . . 135
Z. T. Chen and
Y. T. Yu On Some Characterisation Problems of
Subdomain Testing . . . . . . . . . . . 147
R. Fletcher and
A. S. M. Sajeev A Framework for Testing Object-Oriented
Software Using Formal Specifications . . 159
D. Craigen and
M. Saaltink and
S. Michell Ada 95 and Critical Systems: An
Analytical Approach . . . . . . . . . . 171
A. Rosskopf Use of a Static Analysis Tool for
Safety-Critical Ada Applications: A
Critical Assessment . . . . . . . . . . 183
J. Kienzle and
T. Wolf and
A. Strohmeier Secure Communication in Distributed Ada 198
K. Lundqvist and
G. Wall Using Object-Oriented Methods in Aria 95
to Implement Linda . . . . . . . . . . . 211
G. Wall and
K. Lundqvist Shared Packages Through Linda . . . . . 223
F. J. Miranda and
A. Alvarez and
S. Arevalo and
F. J. Guerra Drago: An Ada Extension to Program
Fault-Tolerant Distributed Applications 235
B. M. Brosgol The Dining Philosophers in Ada 95 . . . 247
J. Real and
A. Espinosa and
A. Crespo Using Ada 95 for Prototyping Real-Time
Systems . . . . . . . . . . . . . . . . 262
D.-I. Oh and
T. P. Baker and
S.-J Moon The GNARL Implementation of POSIX/Ada
Signal Services . . . . . . . . . . . . 275
D. Mundie and
J. Fardo and
E. Kuzemchak Implementing Protected Types on Embedded
Targets . . . . . . . . . . . . . . . . 287
S. Rybin and
A. Strohmeier and
A. Kuchumov and
V. Fofanov ASIS for GNAT: From the Prototype to the
Full Implementation . . . . . . . . . . 298
D. Sotirovski and
P. Kruchten Handling Irregular Grammars in Ada . . . 312
T. Birus and
C. Cipriani and
D. Sutherland Interprocedural Call Optimization . . . 319
J. Blieberger and
R. Lieger and
B. Burgstaller Augmenting Ada 95 with Additional
Real-Tune Features . . . . . . . . . . . 330
M. J. Oudshoorn and
S. C. Crawley Beyond Ada 95: The Addition of
Persistence and Its Consequences . . . . 342
B. Holzmueller Extending the Object-Orientedness of Ada
95 . . . . . . . . . . . . . . . . . . . 357
P. De Bondeli An Ada 95 View of Some Difficult or
Controversial Points in Object-Oriented
Programming . . . . . . . . . . . . . . 370
W. Gellerich and
M. Kosiol and
E. Ploedereder Where Does GOTO Go to? . . . . . . . . . 385
T. Millan and
P. Bazex Ada/O2 Coupling: A Solution for an
Efficient Management of Persistence in
Ada 83 . . . . . . . . . . . . . . . . . 396
B. Gliss An Ada 95 Harness for Converting Legacy
Fortran Applications . . . . . . . . . . 413
C. Bremmon The Funds Management Modernization:
Experiences with Developing an
Object-Oriented, Client-Server
Management Information System in Ada 95 427
K. Molenmaker Converting the Part Task Nautical
Simulator to Ada 95 . . . . . . . . . . 439
V. Celier Visibility Control and Migration of
Interfaces in Large Ada Systems . . . . 451
P. Waroquiers Ada Tasking and Dynamic Memory: To Use
or Not To Use, That's a Question! . . . 460
D. E. Emery and
R. F. Hilliard and
T. B. Rice Experiences Applying a Practical
Architectural Method . . . . . . . . . . 471
J. D. Smart A Decade of Development and Deployment
of Distributed Ada Systems . . . . . . . 485
R. Feith and
M. Tonndorf Planning the Transition to Ada 95 for a
Large Real-Time Project . . . . . . . . 500
G. Ramalingam Bounded Incremental Computation . . . . xi + 190
M. Andrews and
M. X. Goemans and
L. Zhang Improved Bounds for On-line Load
Balancing . . . . . . . . . . . . . . . 1
G. Xue and
D.-Z. Du An $ {O}(n \log n) $-Average-Time
Algorithm for Shortest Networks Under a
Given Topology . . . . . . . . . . . . . 11
T.-S. Hsu and
K.-H. Tsai and
D.-W. Wang and
D. T. Lee Steiner Problems on Directed Acyclic
Graphs . . . . . . . . . . . . . . . . . 21
E. Karaivazoglou and
P. Spirakis and
V. Triantafilou Wormhole Versus Deflection Routing: A
Case Study on the Mesh . . . . . . . . . 31
H. Lefmann and
P. Pudlak and
P. Savicky On Sparse Parity Check Matrices . . . . 41
Z. Chen and
C. Cunha and
S. Homer Finding a Hidden Code by Asking
Questions . . . . . . . . . . . . . . . 50
H. K. Dai and
K. E. Flannery Improved Length Lower Bounds for
Reflecting Sequences . . . . . . . . . . 56
H. Imai and
S. Iwata and
K. Sekine and
K. Yoshida Combinatorial and Geometric Approaches
to Counting Problems on Linear Matroids,
Graphic Arrangements, and Partial Orders 68
G. Di Battista and
R. Tamassia and
L. Vismara Output-Sensitive Reporting of Disjoint
Paths . . . . . . . . . . . . . . . . . 81
S. M. Rahman and
S.-I. Nakano and
T. Nishizeki Rectangular Grid Drawings of Plane
Graphs . . . . . . . . . . . . . . . . . 92
C.-S. Shin and
Sung Kwon Kim and
K.-Y. Chwa Area-Efficient Algorithms for Upward
Straight-Line Tree Drawings . . . . . . 106
O. Aichholzer and
F. Aurenhammer Straight Skeletons for General Polygonal
Figures in the Plane . . . . . . . . . . 117
E. Allender A Note on Uniform Circuit Lower Bounds
for the Counting Hierarchy . . . . . . . 127
T. Hofmeister A Note on the Simulation of Exponential
Threshold Weights . . . . . . . . . . . 136
V. Grolmusz Harmonic Analysis, Real Approximation,
and the Communication Complexity of
Boolean Functions . . . . . . . . . . . 142
G. Calinescu and
C. G. Fernandes Finding Large Planar Subgraphs and Large
Subgraphs of a Given Genus . . . . . . . 152
F. Shahrokhi and
W. Shi Efficient Deterministic Algorithms for
Embedding Graphs on Books . . . . . . . 162
T.-S. Hsu and
M.-Y. Kao Optimal Bi-Level Augmentation for
Selectivity Enhancing Graph Connectivity
with Applications . . . . . . . . . . . 169
C. Domingo Exact Learning of Subclasses of CDNF
Formulas with Membership Queries . . . . 179
S.-H. Teng Fast Separator Decomposition for
Finite-Element Meshes . . . . . . . . . 189
H. L. Bodlaender and
B. De Fluiter Reduction Algorithms for Constructing
Solutions in Graphs with Small Treewidth 199
R. Uehara and
Z.- Z. Chen and
X. He Fast RNC and NC Algorithms for Finding a
Maximal Set of Paths with an Application 209
J. Kaerkkaeinen and
E. Ukkonen Sparse Suffix Trees . . . . . . . . . . 219
C.-H. Yeh and
E. A. Varvarigos Depth-Efficient Threshold Circuits for
Multiplication and Symmetric Function
Computation . . . . . . . . . . . . . . 231
V. Arvind A Note on the Self-Witnessing Property
of Computational Problems . . . . . . . 241
D. Kavvadias and
M. Sideri The Inverse Satisfiability Problem . . . 250
L. A. Hemaspaandra and
Z. Jiang and
J. Rothe and
O. Watanabe The Join Can Lower Complexity . . . . . 260
X. Yong On the Distribution of Eigenvalues of
Graphs . . . . . . . . . . . . . . . . . 268
M. Grigni and
V. Mirelli and
C. H. Papadimitriou On the Difficulty of Designing Good
Classifiers . . . . . . . . . . . . . . 273
S. R. Kumar and
A. Russell and
R. Sundaram Approximating Latin Square Extensions 280
T. Akutsu and
F. Bao Approximating Minimum Keys and Optimal
Substructure Screens . . . . . . . . . . 290
J. Belanger and
W. Jie Reductions and Covergence Rates of
Average Time . . . . . . . . . . . . . . 300
A. Yanbe and
K. Sakurai On the Complexity of Computational
Problems Associated with Simple
Stochastic Games . . . . . . . . . . . . 310
O. Ibarra and
P. Diniz and
M. Rinard On the Complexity of Commutativity
Analysis . . . . . . . . . . . . . . . . 323
A. E. F. Clementi and
L. Trevisan Improved Non-approximability Results for
Vertex Cover Problems with Density
Constraints . . . . . . . . . . . . . . 333
M. Li and
J. Tromp and
L. Zhang Some Notes on the Nearest Neighbour
Interchange Distance . . . . . . . . . . 343
V. Shanbhogue and
M. Yung Distributed Computing in Asynchronous
Networks with Byzantine Edges . . . . . 352
S. Cho and
S. Sahni Weight Biased Leftist Trees and Modified
Skip Lists . . . . . . . . . . . . . . . 361
Hoong Chuin Lau Probabilistic Analysis of Local Search
and NP-Completeness Result for
Constraint Satisfaction . . . . . . . . 371
S. Whitesides and
N. Pei On the Reconfiguration of Chains . . . . 381
X. Tan and
B. Zhu Two-Guarding a Rectilinear Polygon . . . 391
R. Safavi-Naini Three Systems for Shared Generation of
Authenticators . . . . . . . . . . . . . 401
K.-Y. Lam and
L. San and
L. C.-K Hui Efficient Generation of Elliptic Curve
Cryptosystems . . . . . . . . . . . . . 411
J. Meng Superconnectivity for Minimal Multi-loop
Networks . . . . . . . . . . . . . . . . 417
G. Agha Modeling Concurrent Systems: Actors,
Nets, and the Problem of Abstraction and
Composition . . . . . . . . . . . . . . 1
T. Murata Temporal Uncertainty and Fuzzy-Timing
High-Level Petri Nets . . . . . . . . . 11
A. Valmari Compositionality in State Space
Verification Methods . . . . . . . . . . 29
K. Barkaoui and
J.-F. Pradat-Peyre On Liveness and Controled Siphons in
Petri Nets . . . . . . . . . . . . . . . 57
M.-L. Benalycherif and
C. Girault Behavioral and Structural Composition
Rules Preserving Liveness by
Synchronization for Colored FIFO Nets 73
K. Bilinski and
E. L. Dagless High Level Synthesis of Synchronous
Parallel Controlers . . . . . . . . . . 93
N. Busi and
G. M. Pinna Non Sequential Semantics for Contextual
P/T Nets . . . . . . . . . . . . . . . . 113
S. Donatelli and
G. Franceschinis The PSR Methodology: Integrating
Hardware and Software Models . . . . . . 133
D. J. Floreani and
J. Billington and
A. Dadej Designing and Verifying a Communications
Gateway Using Colored Petri Nets and
Design/CPN . . . . . . . . . . . . . . . 153
R. German and
A. P. A. Van Moorsel and
M. A. Qureshi and
W. H. Sanders Expected Impulse Rewards in Markov
Regenerative Stochastic Petri Nets . . . 172
S. Haddad and
P. Moreaux Asynchronous Composition of High Level
Petri Nets: A Quantitative Approach . . 192
X. He A Formal Definition of Hierarchical
Predicate Transition Nets . . . . . . . 212
K. Hiraishi Reduced State Space Representation for
Unbounded Vector State Spaces . . . . . 230
J. B. Joergensen and
K. H. Mortensen Modeling and Analysis of Distributed
Program Execution in BETA Using Colored
Petri Nets . . . . . . . . . . . . . . . 249
P. Kemper Reachability Analysis Based on
Structured Representations . . . . . . . 269
E. Kindler and
R. Walter Arc-Typed Petri Nets . . . . . . . . . . 289
B. Kleinjohann and
E. Kleinjohann and
J. Tacken The SEA Language for System Engineering
and Animation . . . . . . . . . . . . . 307
W. Knaup A New Iterative Numerical Solution
Algorithm for a Class of Stochastic
Petri Nets . . . . . . . . . . . . . . . 327
A. Kondratyev and
M. Kishinevsky and
A. Taubin and
S. Ten A Structural Approach for the Analysis
of Petri Nets by Reduced Unfoldings . . 346
A. Kovalyov An $ {O(dSd \times dTd)} $-Algorithm to
Verify if a Net is Regular . . . . . . . 366
C. Lakos The Consistent Use of Names and
Polymorphism in the Definition of Object
Petri Nets . . . . . . . . . . . . . . . 380
J. Linneberg Rasmussen and
M. Singh Designing a Security System by Means of
Colored Petri Nets . . . . . . . . . . . 400
L. Nigro and
F. Pupo Modeling and Analysing DART Systems
Through High-Level Petri Nets . . . . . 420
L. Recalde and
E. Teruel and
M. Silva 0SC0*ECS: A Class of Modular and
Hierarchical Cooperating Systems . . . . 440
K. Sunesen and
M. Nielsen Behavioral Equivalence for Infinite
Systems --- Partially Decidable! . . . . 460
J. Van Oosten Topological Aspects of Traces . . . . . 480
V. I. Varshavsky and
V. B. Marakhovsky Asynchronous Control Device Design by
Net Model Behavior simulation . . . . . 497
F. Vernadat and
P. Azema and
F. Michel Covering Step Graph . . . . . . . . . . 516
J. Yuan and
L. Liu and
Z. Dong Performance Analysis of a Connection
Management Scheme in IWU Interconnecting
LANs Across ATM Networks . . . . . . . . 536
M. Baaz and
A. Leitsch and
R. Zach Incompleteness of a First-Order Gödel
Logic and Some Temporal Logics of
Programs . . . . . . . . . . . . . . . . 1
J. Barros and
J. Goguen Semantics of Non-terminating Rewrite
Systems Using Minimal Coverings . . . . 16
G. Barthe and
H. Geuvers Congruence Types . . . . . . . . . . . . 36
B. Beckert and
R. Haehnle Deduction by Combining Semantic Tableaux
and Integer Programming . . . . . . . . 52
B. Beckert and
J. Posegga leanEA: A Lean Evolving Algebra Compiler 64
P. Blackburn and
W. Meyer-Viol and
M. De Rijke A Proof System for Finite Trees . . . . 86
J. Brown and
L. A. Wallen Representing Unification in a Logical
Framework . . . . . . . . . . . . . . . 106
R. Caferra and
N. Peltier Decision Procedures Using Model Building
Techniques . . . . . . . . . . . . . . . 130
P. Clote A Note on the Relation Between
Polynomial Time Functionals and
Constable's Class $K$ . . . . . . . . . 145
A. Dawar and
S. Lindell and
S. Weinstein First Order Logic, Fixed Point Logic and
Linear Order . . . . . . . . . . . . . . 161
A. Degtyarev and
A. Voronkov Simultaneous Rigid E-Unification Is
Undecidable . . . . . . . . . . . . . . 178
G. Del Castillo and
I. Durdanovic and
U. Glaesser An Evolving Algebra Abstract Machine . . 191
R. Di Cosmo and
D. Kesner Rewriting with Extensional Polymorphic
lambda-calculus . . . . . . . . . . . . 215
M. Droste and
D. Kuske Languages and Logical Definability in
Concurrency Monoids . . . . . . . . . . 233
S. Grumbach and
Z. Lacroix and
S. Lindell Generalized Implicit Definitions on
Finite Structures . . . . . . . . . . . 252
Y. Gurevich and
J. K. Huggins The Railroad Crossing Problem: An
Experiment with Instantaneous Actions
and Immediate Reactions . . . . . . . . 266
R. Hasegawa A Logical Aspect of Parametric
Polymorphism . . . . . . . . . . . . . . 291
A. Heuerding and
S. Schwendimann On the Modal Logic K Plus Theories . . . 308
J. Hudelmaier Inproved Decision Procedures for the
Modal Logics K,T, and S4 . . . . . . . . 320
A. Ingolfsdottir and
A. Schalk A Fully Abstract Denotational Model for
Observational Precongruence . . . . . . 335
J. Johannsen On Sharply Bounded Length Induction . . 362
M. Kummer and
M. Ott Effective Strategies for Enumeration
Games 368 . . . . . . . . . . . . . . . 368
H. Leiss Bounded Fixed-Point Definability and
Tabular Recognition of Languages . . . . 388
T. Mossakowski Equivalences among Various Logical
Frameworks of Partial Algebras . . . . . 403
P. K. Pandya Some Extensions to Propositional
Mean-Value Calculus: Expressiveness and
Decidability . . . . . . . . . . . . . . 434
A. Rubio Theorem Proving modulo Associativity . . 452
L. Vigneron Positive Deduction modulo Regular
Theories . . . . . . . . . . . . . . . . 468
J. L. Crowley Mathematical Foundations of Navigation
and Perception for an Autonomous Mobile
Robot . . . . . . . . . . . . . . . . . 9
F. Voorbraak Reasoning with Uncertainty in AI . . . . 52
A. Elfes Robot Navigation: Integrating
Perception, Environmental Constraints
and Task Execution Within a
Probabilistic Framework . . . . . . . . 93
R. Hummel Uncertainty Reasoning in Object
Recognition by Image Processing . . . . 131
L. P. Kaelbling and
M. L. Littman and
A. R. Cassandra Partially Observable Markov Decision
Processes for Artificial Intelligence 146
D. Pagac and
E. M. Nebot and
H. Durrant-Whyte An Evidential Approach to Probabilistic
Map-Building . . . . . . . . . . . . . . 164
J. Paris and
A. Vencovska Belief Formation by Constructing Models 171
G. Shafer Causal Relevance . . . . . . . . . . . . 187
G. V. Alferov and
O. A. Malafeyev The Robot Control Strategy in a Domain
with Dynamical Obstacles . . . . . . . . 211
F. Bacchus and
J. Y. Halpern and
H. J. Levesque Reasoning about Noisy Sensors (and
Effectors) in the Situation Calculus . . 218
D. L. Boley and
E. S. Steinmetz and
K. T. Sutherland Recursive Total Least Squares: An
Alternative to Using the Discrete Kalman
Filter in Robot Navigation . . . . . . . 221
B. Bouilly and
T. Simeon A Sensor-Based Motion Planner for Mobile
Robot Navigation with Uncertainty . . . 235
R. I. Brafman and
Y. Shoham Knowledge Considerations in Robotics . . 248
J. W. M. Van Dam and
B. J. A. Kroese and
F. C. A. Groen Neural Network Applications in Sensor
Fusion for an Autonomous Mobile Robot 263
T. Froehlinghaus Structuring Uncertain Knowledge with
Hierarchical Bayesian Networks . . . . . 279
E. Gonzalez and
A. Suarez and
C. Moreno and
F. Artigue Uncertainty Treatment in a Surface
Filling Mobile Robot . . . . . . . . . . 294
P. Hebert and
S. Betge-Brezetz and
R. Chatila Probabilistic Map Learning: Necessity
and Difficulties . . . . . . . . . . . . 307
S. Koenig and
R. Goodwin and
R. G. Simmons Robot Navigation with Markov Models: A
Framework for Path Planning and Learning
with Limited Computational Resources . . 322
K. Konolige A Refined Method for Occupancy Grid
Interpretation . . . . . . . . . . . . . 338
S. Kristensen Sensor Planning with Bayesian Decision
Theory . . . . . . . . . . . . . . . . . 353
A. Saffiotti and
L. P. Wesley Perception-Based Self-Localization Using
Fuzzy Locations . . . . . . . . . . . . 368
Z. Bellahsene View Mechanism for Schema Evolution in
Object-Oriented DBMS . . . . . . . . . . 18
A. Dinn and
N. W. Paton and
M. H. Williams and
A. A. A. Fernandes An Active Rule Language for ROCK and
ROLL . . . . . . . . . . . . . . . . . . 36
A. Doucet and
S. Gancarski and
G. Jomier and
S. Monties Integrity Constraints in Multiversion
Databases . . . . . . . . . . . . . . . 56
H. Ibrahim and
W. A. Gray and
N. J. Fiddian The Development of a Semantic Integrity
Constraint Subsystem for a Distributed
Database . . . . . . . . . . . . . . . . 74
X. C. Delannoy Understanding the Tension Between
Transition Rules and Confidentiality . . 92
S. Wiseman and
B. Pomeroy SPEAR: Extending ER for Dynamic
Behaviour and Refinement . . . . . . . . 107
A. A. Freitas and
S. H. Lavington Speeding up Knowledge Discovery in Large
Relational Databases by Means of a New
Discretization Algorithm . . . . . . . . 124
G. Flach and
H. Meyer Integration of Load Measurement
Parameters into the Cost Evaluation of
Database Queries . . . . . . . . . . . . 134
P. A. Boncz and
F. Kwakkel and
M. L. Kersten High Performance OO Traversals in Monet 152
S. M. Embury and
P. M. D. Gray A Modular Compiler Architecture for a
Data Manipulation Language . . . . . . . 170
R. Ayres and
P. J. H. King Querying Graph Databases Using a
Functional Language Extended with Second
Order Facilities . . . . . . . . . . . . 189
A. Griffiths and
B. Theodoulidis SQL+i: Adding Temporal Indeterminacy to
the Database Language SQL . . . . . . . 204
M. Chalmers Pearls, Swines and Sows' Ears: Interface
Research Inside a Multinational Bank . . 222
S. B. Zdonik Dissemination-Based Information Systems:
Your Data May Be Where You Least Expect
It . . . . . . . . . . . . . . . . . . . 230
N. Stanley Microsoft Database Technologies . . . . 231
M. Butterfield and
N. Caine and
S. Ross-Talbot Predicate Maintained Queries: An Active
OODBMS For Financial Applications . . . 232
A. Bailey Universal Data Management . . . . . . . 233
W. McCune and
R. Padmanabhan Automated Deduction in Equational Logic
and Cubic Curves . . . . . . . . . . . . ix + 231
T. Schael Workflow Management Systems for Process
Organisations . . . . . . . . . . . . . xii + 200
N. Alon Derandomization Via Small Sample Spaces 1
G. S. Brodal and
S. Chaudhuri and
J. Radhakrishnan The Randomized Complexity of Maintaining
the Minimum . . . . . . . . . . . . . . 4
M. Ranch Henzinger and
J. A. Telle Faster Algorithms for the Nonemptiness
of Streett Automata and for
Communication Protocol Pruning . . . . . 16
M. V. Marathe and
R. Ravi and
R. Sundaram Service-Constrained Network Design
Problems . . . . . . . . . . . . . . . . 28
P. Kelsen and
S. Mahajan and
H. Ramesh Approximate Hypergraph Coloring . . . . 41
B. Chandra and
M. M. Halldorsson Facility Dispersion and Remote Subgraphs 53
R. Ravi and
M. X. Goemans The Constrained Minimum Spanning Tree
Problem . . . . . . . . . . . . . . . . 66
H. C. Lau and
O. Watanabe Randomized Approximation of the
Constraint Satisfaction Problem . . . . 76
H. Klauck On the Hardness of Global and Local
Approximation . . . . . . . . . . . . . 88
T. Asano and
T. Ono and
T. Hirata Approximation Algorithms for the Maximum
Satisfiability Problem . . . . . . . . . 100
K. Hirata and
S. Shimozono and
A. Shinohara On the Hardness of Approximating the
Minimum Consistent OBDD Problem . . . . 112
T. W. Lam and
W. K. Sung and
H. F. Ting Computing the Unrooted Maximum Agreement
Subtree in Sub-quadratic Time . . . . . 124
Y. Asahiro and
K. Iwama and
H. Tamaki and
T. Tokuyama Greedily Finding a Dense Subgraph . . . 136
D. Fernandez-Baca and
G. Slutzki and
D. Eppstein Using Sparsification for Parametric
Minimum Spanning Tree Problems . . . . . 149
A. Gupta and
D. Kaller and
S. Mahajan and
T. Shermer Vertex Partitioning Problems On Partial
$k$-Trees . . . . . . . . . . . . . . . 161
J. R. S. Blair and
P. Heggernes and
J. A. Telle Making an Arbitrary Filled Graph Minimal
by Removing Fill Edges . . . . . . . . . 173
A. Andersson Sorting and Searching Revisited . . . . 185
T. Husfeldt and
T. Rauhe and
S. Skyum Lower Bounds for Dynamic Transitive
Closure, Planar Point Location, and
Parentheses Matching . . . . . . . . . . 198
S. Alstrup and
M. Thorup Optimal Pointer Algorithms for Finding
Nearest Common Ancestors in Dynamic
Trees . . . . . . . . . . . . . . . . . 212
P. Kelsen Neighborhood Graphs and Distributed cap
delta + 1-Coloring . . . . . . . . . . . 223
L. Gargano and
A. A. Rescigno and
U. Vaccaro Communication Complexity of Gossiping by
Packets . . . . . . . . . . . . . . . . 234
T. Przytycka and
L. Higham Optimal Cost-Sensitive Distributed
Minimum Spanning Tree Algorithm . . . . 246
V. Auletta and
A. Monti and
M. Parente and
P. Persiano A Linear Time Algorithm for the
Feasibility of Pebble Motion on Trees 259
C. Levcopoulos and
A. Oestlin Linear-Time Heuristics for Minimum
Weight Rectangulation . . . . . . . . . 271
B. Aronov and
A. R. Davis and
T. K. Dey and
S. P. Pal Visibility with Multiple Reflections . . 284
C. Levcopoulos and
D. Krznaric A Fast Heuristic for Approximating the
Minimum Weight Triangulation . . . . . . 296
A. Brodnik and
J. I. Munro Neighbours on a Grid . . . . . . . . . . 309
Y. Azar and
L. Epstein On Two Dimensional Packing . . . . . . . 321
T. C. Biedl Optimal Orthogonal Drawings of
Triconnected Plane Graphs . . . . . . . 333
A. Lopez-Ortiz and
S. Schuierer Walking Streets Faster . . . . . . . . . 345
S. Preminger and
E. Upfal Safe and Efficient Traffic Laws for
Mobile Robots . . . . . . . . . . . . . 357
M. Paterson Progress in Selection . . . . . . . . . 368
G. H. Gonnet and
S. A. Benner Probabilistic Ancestral Sequences and
Multiple Alignments . . . . . . . . . . 380
L. Gasieniec and
M. Karpinski and
W. Plandowski and
W. Rytter Efficient Algorithms for Lempel--Ziv
Encoding . . . . . . . . . . . . . . . . 392
A. Baeumker and
W. Dittrich and
A. Pietracaprina The Deterministic Complexity of Parallel
Multisearch . . . . . . . . . . . . . . 404
G. S. Brodal Priority Queues on Parallel Machines . . 416
R. Fagerberg Binary Search Trees: How Low Can You Go? 428
E. Boros and
T. Ibaraki and
K. Makino Boolean Analysis of Incomplete Examples 440
Adele Goldberg Measurement Strategies . . . . . . . . . 1
François Bancilhon Will Europe ever Produce and Sell
Objects? . . . . . . . . . . . . . . . . 2
John Boyland and
Giuseppe Castagna Type-Safe Compilation of Covariant
Specialization: A Practical Case . . . . 3
Andreas Gawecki and
Florian Matthes Integrating Subtyping, Matching and Type
Quantification: A Practical Perspective 26
Zhenyu Qian and
Bernd Krieg-Brückner Typed Object-Oriented Functional
Programming with Late Binding . . . . . 48
Dirk Bäumer and
Rolf Knoll and
Guido Gryczan and
Heinz Züllighoven Large Scale Object-Oriented
Software-Development in a Banking
Environment --- An Experience Report . . 73
Guruduth Banavar and
Gary Lindstrom An Application Framework for Module
Composition Tools . . . . . . . . . . . 91
Vadim Engelson and
Dag Fritzson and
Peter Fritzson Automatic Generation of User Interfaces
from Data Structure Specifications and
Object-Oriented Application Models . . . 114
Gerald Aigner and
Urs Hölzle Eliminating Virtual Function Calls in
C++ Programs . . . . . . . . . . . . . . 142
Eric Amiel and
Eric Dujardin Supporting Explicit Disambiguation of
Multi-methods . . . . . . . . . . . . . 167
Naftaly H. Minsky Towards Alias-Free Pointers . . . . . . 189
Bart Jacobs Inheritance and Cofree Constructions . . 210--231
Ulrike Lechner and
Christian Lengauer and
Friederike Nickl and
Martin Wirsing (Objects + Concurrency) & Reusability ---
A Proposal to Circumvent the Inheritance
Anomaly . . . . . . . . . . . . . . . . 232
Jonathan G. Rossie Jr. and
Daniel P. Friedman and
Mitchell Wand Modeling Subobject-Based Inheritance . . 248
Jean-Marc Jézéquel and
Jean-Lin Pacherie Parallel Operators . . . . . . . . . . . 275
Kenji Kono and
Kazuhiko Kato and
Takashi Masuda An Implementation Method of Migratable
Distributed Objects Using an RPC
Technique Integrated with Virtual Memory
Management . . . . . . . . . . . . . . . 295
Beno\^\it Garbinato and
Pascal Felber and
Rachid Guerraoui Protocol Classes for Designing Reliable
Distributed Environments . . . . . . . . 316
Frédérique Bullat and
Michel Schneider Dynamic Clustering in Object Databases
Exploiting Effective Use of
Relationships Between Objects . . . . . 344
Mauricio J. V. Silva and
C. Robert Carlson Conceptual Design of Active
Object-Oriented Database Applications
using Multi-level Diagrams . . . . . . . 366
Uwe Hohenstein Bridging the Gap between C++ and
Relational Databases . . . . . . . . . . 398
Sòren Brandt and
Jòrgen Lindskov Knudsen Generalising the BETA Type System . . . 421
Ran Rinat and
Menachem Magidor Metaphoric Polymorphism: Taking Code
Reuse One Step Further . . . . . . . . . 449
Bent Bruun Kristensen and
Daniel C. M. May Activities: Abstractions for Collective
Behavior . . . . . . . . . . . . . . . . 472
Anonymous Author Index . . . . . . . . . . . . . . 502
H. Ganzinger Saturation-Based Theorem Proving . . . . 1
A. Ranade Bandwidth Efficient Parallel Computation 4
V. Bruyere and
M. Latteux Variable-Length Maximal Codes . . . . . 24
A. A. Razborov Lower Bounds for Propositional Proofs
and Independence Results in Bounded
Arithmetic . . . . . . . . . . . . . . . 48
X. J. Chen and
R. De Nicola Algebraic Characterizations of Decorated
Trace Equivalences over Tree-Like
Structures . . . . . . . . . . . . . . . 63
L. Jenner and
W. Vogler Fast Asynchronous Systems in Dense Time 75
G. Lenzi A Hierarchy Theorem for the $ \lambda
(?) $-Calculus . . . . . . . . . . . . . 87
J. Bradfield and
J. Esparza and
A. Mader An Effective Tableau System for the
Linear Time $ \lambda (?) $-Calculus . . 98
Y.-J. Joung Characterizing Fairness Implementability
for Multiparty Interaction . . . . . . . 110
S. Lucas Termination of Context-Sensitive
Rewriting by Rewriting . . . . . . . . . 122
A. Cheng and
D. Kozen A Complete Gentzen-style Axiomatization
for Set Constraints . . . . . . . . . . 134
M. Billaud Fatal Errors in Conditional Expressions 146
T. Mossakowski Different Types of Arrow Between Logical
Frameworks . . . . . . . . . . . . . . . 158
J. Mitchell and
R. Viswanathan Effective Models of Polymorphism,
Subtyping and Recursion . . . . . . . . 170
D. J. B. Bosscher and
W. O. D. Griffioen Regularity for a Large Class of
Context-Free Processes is Decidable . . 182
D. Caucal On Infinite Transition Graphs Having a
Decidable Monadic Theory . . . . . . . . 194
G. Senizergues Semi-Groups Acting on Context-free
Graphs . . . . . . . . . . . . . . . . . 206
L. P. Lisovik Hard Sets Method and Semilinear
Reservoir Method with Applications . . . 219
P. Flajolet and
X. Gourdon and
D. Panario Random Polynomials and Polynomial
Factorization . . . . . . . . . . . . . 232
U. Koppenhagen and
E. W. Mayr Optimal Gröbner Base Algorithms for
Binomial Ideals . . . . . . . . . . . . 244
T. Kloks and
D. Kratsch and
C. K. Wong Minimum Fill-In on Circle and
Circular-Arc Graphs . . . . . . . . . . 256
Z.-Z Chen Practical Approximation Schemes for
Maximum Induced-Subgraph Problems on
K3,3-free or K5-free Graphs . . . . . . 268
E. Koutsoupias and
C. Papadimitriou and
M. Yannakakis Searching a Fixed Graph . . . . . . . . 280
M. Rauch Henzinger and
M. Thorup Improved Sampling with Applications to
Dynamic Graph Algorithms . . . . . . . . 290
J.-E. Pin The Expressive Power of Existential
First Order Sentences of Buechi's
Sequential Calculus . . . . . . . . . . 300
R. Kaivola Fixpoints for Rabin Tree Automata Make
Complementation Easy . . . . . . . . . . 312
K. Hashiguchi New Upper Bounds to the Limitedness of
Distance Automata . . . . . . . . . . . 324
P. Raymond Recognizing Regular Expressions by Means
of Dataflow Networks . . . . . . . . . . 336
F. Ablayev and
M. Karpinski On the Power of Randomized Branching
Programs . . . . . . . . . . . . . . . . 348
A. E. Andreev and
A. E. F. Clementi and
J. D. P. Rolim Hitting Sets Derandomize BPP . . . . . . 357
R. Book and
H. Vollmer and
K. Wagner On Type-2 Probabilistic Quantifiers . . 369
J. Wiedermann Speeding-Up Single-Tape Nondeterministic
Computations by Single Alternation, with
Separation Results . . . . . . . . . . . 381
S. Julia On omega-Generators and Codes . . . . . 393
A. De Luca On Standard Sturmian Morphisms . . . . . 403
G. Ateniese and
C. Blundo and
A. De Santis and
D. R. Stinson Constructions and Bounds for Visual
Cryptography . . . . . . . . . . . . . . 416
Y. Azar and
Y. Bartal and
E. Feuerstein and
A. Fiat On Capital Investment . . . . . . . . . 429
P. B. Miltersen Lower Bounds for Static Dictionaries on
RAMs with Bit Operations but No
Multiplication . . . . . . . . . . . . . 442
P. G. Bradford and
K. Reinert Lower Bounds for Row Minima Searching 454
S. K. Shukla and
H. B. Hunt and
D. J. Rosenkrantz and
R. E. Stearns On the Complexity of Relational Problems
for Finite State Processes . . . . . . . 466
P. Jancar and
J. Esparza Deciding Finiteness of Petri Nets up to
Bisimulation . . . . . . . . . . . . . . 478
C. Bodei and
P. Degano and
C. Priami Mobile Processes with a Distributed
Environment . . . . . . . . . . . . . . 490
R. J. Van Glabbeek The Meaning of Negative Premises in
Transition System Specifications II . . 502
S. Albers and
M. Mitzenmacher Average Case Analyses of List Update
Algorithms, with Applications to Data
Compression . . . . . . . . . . . . . . 514
F. Schulz and
E. Schoemer Self-Organizing Data Structures with
Dependent Accesses . . . . . . . . . . . 526
V. S.-N. Choi and
M. Golin Lopsided Trees: Analyses, Algorithms,
and Applications . . . . . . . . . . . . 538
M. Farach and
S. Muthukrishnan Optimal Logarithmic Time Randomized
Suffix Tree Construction . . . . . . . . 550
N. Alon and
A. Srinivasan Improved Parallel Approximation of a
Class of Integer Programming Problems 562
J.-C. Bermond and
L. Gargano and
S. Perennes and
A. A. Rescigno Efficient Collective Communication in
Optical Networks . . . . . . . . . . . . 574
B. S. Chlebus and
A. Gambin and
P. Indyk Shared-Memory Simulations on a
Faulty-Memory DMM . . . . . . . . . . . 586
K. T. Herley and
A. Pietracaprina and
G. Pucci Fast Deterministic Backtrack Search . . 598
X. Yu and
M. Yung Agent Rendezvous: A Dynamic
Symmetry-Breaking Problem . . . . . . . 610
Y. Aumann and
M. A. Bender Efficient Asynchronous Consensus with
the Value-Oblivious Adversary Scheduler 622
L. Cowen and
J. Feigenbaum and
S. Kannan A Formal Framework for Evaluating
Heuristic Programs . . . . . . . . . . . 634
S. Chakrabarti and
C. A. Phillips and
A. S. Schulz and
D. B. Shmoys Improved Scheduling Algorithms for
Minsum Criteria . . . . . . . . . . . . 646
M. Paterson and
T. Przytycka On the Complexity of String Folding . . 658
D. Fernandez-Baca and
J. Lagergren A Polynomial-Time Algorithm for
Near-Perfect Phylogeny . . . . . . . . . 670