Last update:
Sat Oct 14 16:15:17 MDT 2017
J. F. Sowa Syntax, Semantics, and Pragmatics of
Contexts . . . . . . . . . . . . . . . . 1
N. Foo Ontology Revision . . . . . . . . . . . 16
F. Lehmann and
R. Wille A Triadic Approach to Formal Concept
Analysis . . . . . . . . . . . . . . . . 32
R. Y. Kamath and
W. R. Cyre Automatic Integration of Digital System
Requirements using Schemata . . . . . . 44
A. Puder and
S. Markwitz and
F. Gudermann Service Trading Using Conceptual
Structures . . . . . . . . . . . . . . . 59
N. Nicolov and
C. Mellish and
G. Ritchie Sentence Generation from Conceptual
Graphs . . . . . . . . . . . . . . . . . 74
B. Moulin Discourse Spaces: A Pragmatic
Interpretation of Contexts . . . . . . . 89
B. Moulin A Pragmatic Representational Approach of
Context and Reference in Discourses . . 105
J. C. Wagner and
R. H. Baud and
J.-R. Scherrer Using the Conceptual Graphs Operations
for Natural Language Generation in
Medicine . . . . . . . . . . . . . . . . 115
T. Amghar and
F. Gayral and
B. Levrat Table 10 left without paying the bill! A
Good Reason to Treat Metonymy with
Conceptual Graphs . . . . . . . . . . . 129
G. Ellis Object-Oriented Conceptual Graphs . . . 144
Bikash Chandra Ghosh and
V. Wuwongse A Direct Proof Procedure for Definite
Conceptual Graph Programs . . . . . . . 158
I. Bournaud and
J.-G. Ganascia Conceptual Clustering of Complex
Objects: A Generalization Space based
Approach . . . . . . . . . . . . . . . . 173
M. Champesme Using Empirical Subsumption to Reduce
the Search Space in Learning . . . . . . 188
J. D. Roberts A New Parallelization of Subgraph
Isomorphism Refinement for
Classification and Retrieval of
Conceptual Structures . . . . . . . . . 202
A. Chan and
P. Kocura Transputer Network Implementation of a
Parallel Projection Algorithm for
Conceptual Graphs . . . . . . . . . . . 217
A. Fall Spanning Tree Representations of Graphs
and Orders in Conceptual Structures . . 232
J. Esch and
R. Levinson An Implementation Model for Contexts and
Negation in Conceptual Graphs . . . . . 247
O. Cogis and
O. Guinaldo A Linear Descriptor for Conceptual
Graphs and a Class for Polynomial
Isomorphism Test . . . . . . . . . . . . 263
M. Willems Projection and Unification for
Conceptual Graphs . . . . . . . . . . . 278
J. Poole and
J. A. Campbell A Novel Algorithm for Matching
Conceptual and Related Graphs . . . . . 293
C. Hoede On the Ontology of Knowledge Graphs . . 308
M. Wermelinger Conceptual Graphs and First-Order Logic 323
H. Van den Berg Existential Graphs and Dynamic Predicate
Logic . . . . . . . . . . . . . . . . . 338
G. Bilardi and
F. P. Preparata Lower Bounds to Processor-Time Tradeoffs
Under Bounded Speed Message Propagation 1
J. W. Jaromczyk and
M. Kowaluk The Two-Line Center Problem from a Polar
View: a New Algorithm and Data Structure 13
A. Glozman and
K. Kedem and
G. Shpitalnik On some Geometric Selection and
Optimization Problems via Sorted
Matrices . . . . . . . . . . . . . . . . 26
R. Holzman and
Y. Marcus and
D. Peleg Load Balancing in Quorum Systems . . . . 38
B. Kroell and
P. Widmayer Balanced Distributed Search Trees Do Not
Exist . . . . . . . . . . . . . . . . . 50
V. Estivill-Castro and
J. Urrutia Two-Floodlight Illumination of Convex
Polygons . . . . . . . . . . . . . . . . 62
G. Das and
M. T. Goodrich On the Complexity of Approximating and
Illuminating Three-Dimensional Convex
Polyhedra . . . . . . . . . . . . . . . 74
C. Phillips and
C. Stein and
J. Wein Scheduling Jobs that Arrive Over Time 86
Gudmund Skovbjerg Frandsen and
T. Husfeldt and
P. Bro Miltersen and
T. Rauhe Dynamic Algorithms for the Dyck
Languages . . . . . . . . . . . . . . . 98
M. Sharir Arrangements in Higher Dimensions:
Voronoi Diagrams, Motion Planning, and
Other Applications . . . . . . . . . . . 109
S. Carlsson and
H. Jonsson Computing a Shortest Watchman Path in a
Simple Polygon in Polynomial Time . . . 122
A. Lopez-Ortiz and
S. Schuierer Going Home Through an Unknown Street . . 135
S. Albers and
H. Koga Page Migration with Limited Local Memory
Capacity . . . . . . . . . . . . . . . . 147
S. Irani and
S. Seiden Randomized Algorithms for Metrical Task
Systems . . . . . . . . . . . . . . . . 159
P. Gupta and
R. Janardan and
J. Majhi and
T. Woo Efficient Geometric Algorithms for
Workpiece Orientation in 4- and 5 Axis
NC Machining . . . . . . . . . . . . . . 171
D. Kirkpatrick and
J. Snoeyink Computing Common Tangents Without a
Separating Line . . . . . . . . . . . . 183
E. F. Grove and
M.-Y. Kao and
P. Krishnan and
J. Scott Vitter Online Perfect Matching and Mobile
Computing . . . . . . . . . . . . . . . 194
G. Ausiello and
E. Feuerstein and
S. Leonardi and
L. Stougie Competitive Algorithms for the On-line
Traveling Salesman . . . . . . . . . . . 206
G. Toussaint Quadrangulations of Planar Sets . . . . 218
A. Lingas and
A. Mukhopadhyay A Linear-time Construction of the
Relative Neighborhood Graph within a
Histogram . . . . . . . . . . . . . . . 228
G. Liotta and
G. Di Battista Computing Proximity Drawings of Trees in
the $3$-Dimensional Space . . . . . . . 239
A. Roberts and
A. Symvonis and
L. Zhang Routing on Trees via Matchings . . . . . 251
F. S. Annexstein and
E. A. Kuchko A Ranking Algorithm for Hamilton Paths
in Shuffle-Exchange Graphs . . . . . . . 263
J. Boyar and
R. Fagerberg and
K. S. Larsen Amortization Results for Chromatic
Search Trees, with an Application to
Priority Queues . . . . . . . . . . . . 270
Gerth Stoelting Brodal Fast Meldable Priority Queues . . . . . 282
D. Kagaris and
G. E. Pantziou and
S. Tragoudas and
C. D. Zaroliagis On the Computation of Fast Data
Transmissions in Networks with
Capacities and Delays . . . . . . . . . 291
S. Baruah and
G. Pruesse Routing with Delays when Storage is
Costly . . . . . . . . . . . . . . . . . 303
P. Vitanyi and
M. Li Algorithmic Arguments in Physics of
Computation . . . . . . . . . . . . . . 315
L. Arge The Buffer Tree: A New Technique for
Optimal I/O-Algorithms . . . . . . . . . 334
Y.-J. Chiang Experiments on the Practical I/O
Efficiency of Geometric Algorithms:
Distribution Sweep vs. Plane Sweep . . . 346
D. G. Corneil and
S. Olariu and
L. Stewart Computing a Dominating Pair in an
Asteroidal Triple-free Graph in Linear
Time . . . . . . . . . . . . . . . . . . 358
H. N. Djidjev A Linear Algorithm for the Maximal
Planar Subgraph Problem . . . . . . . . 369
P. Callahan and
M. T. Goodrich and
K. Ramaiyer Topology B-Trees and their Applications 381
A. Moffat and
J. Katajainen In-Place Calculation of
Minimum-Redundancy Codes . . . . . . . . 393
D. Kaller and
A. Gupta and
T. Shermer Regular-Factors in the Complements of
Partial $k$-Trees . . . . . . . . . . . 403
K. Cattell and
M. J. Dinneen and
M. R. Fellows Obstructions to Within a Few Vertices or
Edges of Acyclic . . . . . . . . . . . . 415
R. Hariharan and
S. Kapoor and
V. Kumar Faster Enumeration of All Spanning Trees
of a Directed Graph . . . . . . . . . . 428
V. King A Simpler Minimum Spanning Tree
Verification Algorithm . . . . . . . . . 440
P. Berman and
T. Fujito On Approximation Properties of the
Independent Set Problem in Degree 3
Graphs . . . . . . . . . . . . . . . . . 449
Hoong Chuin Lau Approximation of Constraint Satisfaction
via Local Search . . . . . . . . . . . . 461
A. Andersson and
K. Swanson On the Difficulty of Range Searching . . 473
F. Fich and
P. Bro Miltersen Tables Should Be Sorted (on random
access machines) . . . . . . . . . . . . 482
C. Armen and
C. Stein Improved Length Bounds for the Shortest
Superstring Problem . . . . . . . . . . 494
V. Bafna and
B. Narayanan and
R. Ravi Non-Overlapping Local Alignments . . . . 506
K. Mehlhorn Experiences with the Implementation of
Geometric Algorithms . . . . . . . . . . 518
J. Y. B. Lee and
P. C. Wong The effect of function noise, on GP
efficiency . . . . . . . . . . . . . . . 1
P. A. Whigham and
R. I. McKay Genetic approaches to learning recursive
relations . . . . . . . . . . . . . . . 17
T. Aytekin and
E. E. Korkmaz and
H. A. Guevennir An application of genetic programming to
the 4-OP problem using map-trees . . . . 28
J. Rowe and
I. East Direct replacement: a genetic algorithm
without mutation which avoids deception 41
Q. Tuan Pham Competitive evolution: a natural
approach to operator selection . . . . . 49
Z. Zhang and
S. Bai and
G.- J. Li Emergent collective computational
abilities in interacting particle
systems . . . . . . . . . . . . . . . . 61
Z. Michalewicz A perspective on evolutionary
computation . . . . . . . . . . . . . . 73
X. Yao and
P. Darwen An experimental study of $N$-person
iterated prisoner's dilemma games . . . 90
H. Chan and
P. Mazumder A systolic architecture for high speed
hypergraph partitioning using genetic
algorithms . . . . . . . . . . . . . . . 109
K. P. Wong and
S. Y. W. Wong Development of hybrid optimisation
techniques based on genetic algorithms
and simulated annealing . . . . . . . . 127
K. P. Wong and
S. Y. W. Wong Development of parallel hybrid
optimisation techniques based on genetic
algorithms and simulated annealing . . . 155
R. Hinterding and
L. Khan Genetic algorithms for cutting stock
problems: with and without contiguity 166
J. Lienig and
K. Thulasiraman GASBOR: A genetic algorithm for
switchbox routing in integrated circuits 187
D. Seunarine and
E. Eberbach The calculus of self-modifiable
algorithm based evolutionary computer
network routing . . . . . . . . . . . . 201
T. Sugiyama and
T. Kido and
M. Nakanishi Evolving robot strategy for open ended
game . . . . . . . . . . . . . . . . . . 225
Z. Pan and
L. Kang and
J. He and
Y. Liu An evolutionary approach to adaptive
model-building . . . . . . . . . . . . . 236
A. M. C. Machado and
M. F. M. Campos Training neural networks with influence
diagrams . . . . . . . . . . . . . . . . 245
C. A. Lindley A behavioural theory of intelligent
machines as a framework for the analysis
of adaptation . . . . . . . . . . . . . 257
P. J. Darwen and
X. Yao On evolving robust strategies for
iterated prisoner's dilemma . . . . . . 276
P. Piggott and
F. Suraweera Encoding graphs for genetic algorithms:
an investigation using the minimum
spanning tree problem . . . . . . . . . 305
A. Drogoul When Ants Play Chess (Or Can Strategies
Emerge from Tactical Behaviours?) . . . 13
H.-D. Burkhard How to Define Agent Properties --- Or:
What is a Fair Agent? . . . . . . . . . 28
K. Nagao and
K. Hasida and
T. Miyata Emergent Planning: A Computational
Architecture for Situated Behaviour . . 42
O. Shehory and
S. Kraus Coalition Formation Among Autonomous
Agents: Strategies and Complexity . . . 56
S. P. Ketchpel Coalition Formation Among Autonomous
Agents . . . . . . . . . . . . . . . . . 73
N. S. Glance and
B. A. Huberman Organizational Fluidity and Sustainable
Cooperation . . . . . . . . . . . . . . 89
J. Liu and
K. Sycara Emergent Constraint Satisfaction Through
Multi-Agent Coordinated Interaction . . 107
K. Fischer and
N. Kuhn and
H. J. Mueller and
J. P. Mueller Sophisticated and Distributed: The
Transportation Domain . . . . . . . . . 122
E. Ephrati and
J. S. Rosenschein A Framework for the Interleaving of
Execution and Planning for Dynamic Tasks
by Multiple Agents . . . . . . . . . . . 139
B. Burmeister and
A. Haddadi and
K. Sundermeyer Generic, Configurable, Cooperation
Protocols for Multi-Agent Systems . . . 157
M. Correa and
H. Coelho Around the Architectural Agent Approach
to Model Conversations . . . . . . . . . 172
R. Conte and
C. Castelfranchi Norms as Mental Objects --- From
Normative Beliefs to Normative Goals . . 186
P. Bourgine The Hedonic Agent: A Constructivist
Approach of Abductive Capacities . . . . 199
D. Steiner and
A. Burt and
M. Kolb and
C. Leri The Conceptual Framework of MAI02L . . . 217
M. Manela and
J. A. Campbell Designing Good Pursuit Problems as
Testbeds for Distributed . . . . . . . . 231
J. Ueberberg Interactive Theorem Proving and Computer
Algebra . . . . . . . . . . . . . . . . 1
A. Rege and
J. Canny A Practical Algorithm for Geometric
Theorem Proving . . . . . . . . . . . . 10
K. Homann and
J. Calmet Combining Theorem Proving and Symbolic
Mathematical Computing . . . . . . . . . 18
Y. V. Kapitonova and
A. A. Letichevsky and
V. A. Volkov and
M. S. L'vov Tools for Solving Problems in the Scope
of Algebraic Programming . . . . . . . . 30
M. Chippendale Planning a Proof of the Intermediate
Value Theorem . . . . . . . . . . . . . 48
P. Madden and
I. Green A General Technique for Automatically
Optimizing Programs Through the Use of
Proof Plans . . . . . . . . . . . . . . 64
G. Butler Datalog and Two Groups and C++ . . . . . 80
P. Jumpertz Linear Logic and Real Closed Fields: a
Way to Handle Situations Dynamically . . 93
S. Baker and
A. Smaill A Proof Environment for Arithmetic with
the Omega Rule . . . . . . . . . . . . . 115
S. A. Missura and
A. Weber Using Commutativity Properties for
Controlling Coercions . . . . . . . . . 131
S. A. Missura Theories = Signatures + Propositions
Used as Types . . . . . . . . . . . . . 144
S. Collart and
D. Mall The Ideal Structure of Gröbner Base
Computations . . . . . . . . . . . . . . 156
J. Pfalzgraf and
K. Stokkermans and
U. C. Sigmund Modeling Cooperating Agents Scenarios by
Deductive Planning Methods and Logical
Fiberings . . . . . . . . . . . . . . . 167
V. Telerman Propagation of Mathematical Constraints
in Subdefinite Models . . . . . . . . . 191
R. Buendgen Combining Computer Algebra and Rule
Based Reasoning . . . . . . . . . . . . 209
S. Tsumoto and
H. Tanaka Algebraic Specification of Empirical
Inductive Learning Methods based on
Rough Sets and Matroid Theory . . . . . 224
D. J. Nettleton and
R. Garigliano Subsymbolic Processing using Adaptive
Algorithms . . . . . . . . . . . . . . . 244
L. M. Laita and
L. De Ledesma and
E. Roanes-Lozano and
E. Roanes-Macias An Interpretation of the Propositional
Boolean Algebra as a $k$-algebra
Effective Calculus . . . . . . . . . . . 255
A. Semenov and
A. Babichev and
A. Leshchenko Subdefinite Computations and Symbolic
Transformations in the UniCalc Solver 264
U. Zwick and
M. S. Paterson The Complexity of Mean Payoff Games . . 1
K. Iwama and
S. Miyazaki Approximation of coNP Sets by
NP-Complete Sets . . . . . . . . . . . . 11
Q.-W. Feng and
R. F. Cohen and
P. Eades How to Draw a Planar Clustered Graph . . 21
T. Calamoneri and
R. Petreschi An Efficient Orthogonal Grid Drawing
Algorithm for Cubic Graphs . . . . . . . 31
S.-W. Cheng and
Y.-F. Xu Constrained Independence System and
Triangulations of Planar Point Sets . . 41
C. Wang and
B. Zhu Three Dimensional Weak Visibility:
Complexity and Applications . . . . . . 51
Sung Kwon Kim Rectangulating Rectilinear Polygons in
Parallel . . . . . . . . . . . . . . . . 61
V. Kamakoti and
K. Krithivasan and
C. Pandu Rangan Efficient Randomized Incremental
Algorithm for the Closest Pair Problem
Using Leafary Trees . . . . . . . . . . 71
E. P. F. Chan and
R. Van der Meyden Testing Containment of Object-Oriented
Conjunctive Queries Is 0p2-Hard . . . . 81
R. Zhang Computing Infinite Relations Using
Finite Expressions: a New Approach to
the Safety Issue in Relational Databases 91
Seung Jin Lima and
Y.-K. Ng Set-Term Unification in a Logic Database
Language . . . . . . . . . . . . . . . . 101
M. Wild Computations with Finite Closure Systems
and Implications . . . . . . . . . . . . 111
A. Lingas Maximum Tree-Packing in Time O(n050/02) 121
W. Shi and
D. B. West Optimal Algorithms for Finding Connected
Components of an Unknown Graph . . . . . 131
J. L. Ganley and
M. J. Golin and
J. S. Salowe The Multi-Weighted Spanning Tree Problem 141
J. Chen Algorithmic Graph Embeddings . . . . . . 151
D. Agrawal and
O. Egecioglu and
A. El Abbadi Analysis of Quorum-Based Protocols for
Distributed (k + 1)- Exclusion . . . . . 161
X. Lin and
M. E. Orlowska A Highly Fault-Tolerant Quorum Consensus
Method for Managing Replicated Data . . 171
G. Huang Constructing Craig Interpolation
Formulas . . . . . . . . . . . . . . . . 181
Y. Kawabe and
N. lshii Currying of Order-Sorted Term Rewriting
Systems . . . . . . . . . . . . . . . . 191
S. Rengarajan and
C. E. Veni Madhavan Stack and Queue Number of 2-Trees . . . 203
S. K. Walley and
H. H. Tan Shortest Paths in Random Weighted Graphs 213
X. Zhou and
T. Nishizeki Simple Reduction of $f$-Colorings to
Edge-Colorings . . . . . . . . . . . . . 223
K. Hayase and
K. Sadakane and
S. Tani Output-Size Sensitivities of OBDD.
Construction Through Maximal Independent
Set Problem . . . . . . . . . . . . . . 229
J. Tromp and
L. Zhang and
Y. Zhao Small Weight Bases for Hamming Codes . . 235
J. Cassaigne and
J. Karhumaeki Toeplitz Words, Generalized Periodicity
and Periodically Iterated Morphisms . . 244
E. Barcucci and
A. Del Lungo and
E. Pergola and
R. Pinzani A Construction for Enumerating
$k$-Coloured Motzkin Paths . . . . . . . 254
V. A. Oleshchuk On Public-Key Cryptosystem Based on
Church--Rosser String-Rewriting Systems 264
J. E. Savage Extending the Hong-Kung Model to Memory
Hierarchies . . . . . . . . . . . . . . 270
L. Cai and
J. Chen On Log-Time Alternating Turing Machines
of Alternating Depth $ \kappa $ . . . . 282
K. Kurosawa and
S. Kageyama New Bound for Affine Resolvable Designs
and Its Application to Authentication
Codes . . . . . . . . . . . . . . . . . 292
B. D. Lubachevsky and
R. L. Graham Dense Packings of 3kappa(kappa + 1) + 1
Equal Disks in a Circle for kappa =
1,2,3,4, alibi 5 . . . . . . . . . . . . 303
J. Diaz and
A. Gibbons and
G. Pantziou and
M. Serna Efficient Parallel Algorithms for Some
Tree Layout Problems . . . . . . . . . . 313
Y. Han and
X. Shen Conservative Algorithms for Parallel and
Sequential Integer Sorting . . . . . . . 324
Z. Chen An Optimal Algorithm for Proper Learning
of Unions of Two Rectangles with Queries 334
Z. Chen Disjunctions of Negated Counting
Functions Are Efficiently Learnable with
Equivalence Queries . . . . . . . . . . 344
S. Wu Non-empty Cross-3-intersection Theorems
of Subsets . . . . . . . . . . . . . . . 350
Y. Bo Convexity of Minimal Total Dominating
Functions in Graphs . . . . . . . . . . 357
J. H. Duparc and
P. Rolland Transformations for Maximal Planar
Graphs with Minimum Degree Five . . . . 366
Z. You and
C. Wang An Asynchronous Parallel Method for
Linear Systems . . . . . . . . . . . . . 372
X. Zhang On a Kind of Sequence of Polynomials . . 379
J. Meng Hamiltonian Cycles in $2$-generated
Cayley Digraphs of Abelian Groups . . . 384
C.-X. Xu and
Z.-W. Lu Pandiagonal Magic Squares . . . . . . . 388
H. Wang and
Z.-Y. You PFFM and Quasi-Morishima Matrices . . . 392
C. F. Chang and
J. X. Chang and
X. C. Liu and
P. C. B. Lam Edge-Face Total Chromatic Number of
Outerplanar Graphs with cap delta(G) = 6 396
R. Schuler and
T. Yamakami Sets Computable in Polynomial Time on
Average . . . . . . . . . . . . . . . . 400
J. Belanger and
J. Wang Rankable Distributions Do Not Provide
Harder Instances Than Uniform
Distributions . . . . . . . . . . . . . 410
K. Kobayashi Transformations That Preserve Malignness
of Universal Distributions . . . . . . . 420
L. A. Hemaspaandra and
J. Rothe Intersection Suffices for Boolean
Hierarchy Equivalence . . . . . . . . . 430
D. Kelley and
P.-J. Wan and
Q. Yang A 3/2 log 3-Competitive Algorithm for
the Counterfeit Coin Problem . . . . . . 436
S. Carlsson and
J. Chen Searching Rigid Data Structures . . . . 446
B.-T. Yang A Better Subgraph of the Minimum Weight
Triangulation . . . . . . . . . . . . . 452
W. Gao and
B. Yin Sequence Decomposition Method for
Computing a Gröbner Basis and Its
Application to Bivariate Splines . . . . 456
L. Bai and
P. M. Yamakawa and
H. Ebara and
H. Nakano A Broadcasting Algorithm oil tile
Arrangement Graph . . . . . . . . . . . 462
S.-H. Shiau and
C.-B. Fang A Fast Maximum Finding Algorithm on
Broadcast Communication . . . . . . . . 472
A. Shastri Broadcasting in General Networks I:
Trees . . . . . . . . . . . . . . . . . 482
S.-C. Chern and
T.-C. Tuan and
J.-S. Jwo Uni-Directional Alternating Group Graphs 490
K. Sakurai On Separating Proofs of Knowledge from
Proofs of Membership of Languages and
Its Application to Secure Identification
Schemes . . . . . . . . . . . . . . . . 496
S. O. Krumke and
H. Noltemeier and
S. S. Ravi and
M. V. Marathe Compact Location Problems with Budget
and Communication Constraints . . . . . 510
S.-W. Cheng and
M. Kaminski and
S. Zaks Minimum Dominating Sets of Intervals on
Lines . . . . . . . . . . . . . . . . . 520
Y. Choi and
T. W. Lam Two-Dimensional Pattern Matching on a
Dynamic Library of Texts . . . . . . . . 530
P. Crescenzi and
V. Kann and
R. Silvestri and
L. Trevisan Structure in Approximation Classes . . . 539
M. Peinado Improved Lower Bounds for the Randomized
Boppana-Halldorsson Algorithm for
MAXCLIQUE . . . . . . . . . . . . . . . 549
Q. Cheng and
H. Zhu MNP: A Class of NP Optimization Problems 559
R. Bacik and
S. Mahajan Semidefinite Programming and Its
Applications to NP Problems . . . . . . 566
L. C.-K. Hui and
K.-Y. Lam Analysis and Experimentation on List
Update Algorithms . . . . . . . . . . . 576
B. N. Khoury and
P. M. Pardalos An Exact Branch and Bound Algorithm for
the Steiner Problem in Graphs . . . . . 582
W. Huang and
W. Li and
W. Lu and
Y. Zhang A Physical Model for the Satisfiability
Problem . . . . . . . . . . . . . . . . 591
Sam Myo Kim and
R. McNaughton An Efficient Algorithm for Local
Testability Problem of Finite State
Automata . . . . . . . . . . . . . . . . 597
X. Yu and
M. Yung Scheduling Task-Tree with Additive
Scales on Parallel/Distributed Machines 607
C.-I. Chan and
G. H. Young Single-Vehicle Scheduling Problem on a
Straight Line with Time Window
Constraints . . . . . . . . . . . . . . 617
R. Li and
L. Shi An On-Line Algorithm for Some Uniform
Processor Scheduling . . . . . . . . . . 627
P. Jeavons and
D. Cohen An Algebraic Characterization of
Tractable Constraints . . . . . . . . . 633
J. Ding and
C. Qing and
G. Song Limit Property of Unbalanced Development
in Economic Network . . . . . . . . . . 643
T. Jiang Matching and Comparing Sequences in
Molecular Biology . . . . . . . . . . . 648
V. V. Vazirani Primal-Dual Schema Based Approximation
Algorithms . . . . . . . . . . . . . . . 650
F. Cardone Strict Finitism and Feasibility . . . . 1
R. Parikh Logical Omniscience . . . . . . . . . . 22
V. Y. Sazonov On Feasible Numbers . . . . . . . . . . 30
S. Bloch On Parallel Hierarchies and R0ik . . . . 52
U. Berger and
H. Schwichtenberg Program Extraction from Classical Proofs 77
P. Clote Computational Models and Function
Algebras . . . . . . . . . . . . . . . . 98
R. L. Constable Expressing Computational Complexity in
Constructive Type Theory . . . . . . . . 131
J.-Y Girard Light Linear Logic . . . . . . . . . . . 145
D. Leivant Intrinsic Theories and Computational
Complexity . . . . . . . . . . . . . . . 177
S. R. Buss On Herbrand's Theorem . . . . . . . . . 195
J. Krajicek and
P. Pudlak Some Consequences of Cryptographical
Conjectures for S012 and EF . . . . . . 210
G. Takeuti Frege Proof System and TNC . . . . . . . 221
S. J. Bellantoni Characterizing Parallel Time by Type 2
Recursions With Polynomial Output Length 253
A. Seth Type 2 Polynomial Hierarchies . . . . . 269
S. S. Wainer The Hierarchy of Terminating Recursive
Programs over $N$ . . . . . . . . . . . 281
D. Cenzer and
J. B. Remmel Feasibly Categorical Models . . . . . . 300
E. Graedel and
Y. Gurevich Metafinite Model Theory . . . . . . . . 313
B. Khoussainov and
A. Nerode Automatic Presentations of Structures 367
A. Dawar A Restricted Second Order Logic for
Finite Structures . . . . . . . . . . . 393
R. Fagin Comparing the Power of Monadic NP Games 414
S. Grumbach and
J. Su and
C. Tollu Linear Constraint Query Languages:
Expressive Power and Complexity . . . . 426
S. Lindell A Constant-Space Sequential Model of
Computation for First-Order Logic . . . 447
J. A. Makowsky and
Y. B. Pnueli Logics Capturing Relativized Complexity
Classes Uniformly . . . . . . . . . . . 463
E. Rosen and
S. Weinstein Preservation Theorems in Finite Model
Theory . . . . . . . . . . . . . . . . . 480
D. Suciu and
V. Breazu-Tannen A Query Language for NC . . . . . . . . 503
R. Wiehagen and
T. Zeugmann Learning and Consistency . . . . . . . . 1
R. Freivalds and
E. B. Kinber and
R. Wiehagen Error Detecting in Inductive Inference 25
R. Freivalds and
E. B. Kinber and
R. Wiehagen Learning from Good Examples . . . . . . 49
R. Daley and
B. Kalyanasundaram Towards Reduction Arguments for FINite
Learning . . . . . . . . . . . . . . . . 63
J. Case and
M. Suraj and
S. Jain Not-So-Nearly-Minimal-Size Program
Inference . . . . . . . . . . . . . . . 76
A. Ambainis Optimization Problem in Inductive
Inference . . . . . . . . . . . . . . . 96
S. Jain and
A. Sharma On Identification by Teams and
Probabilistic Machines . . . . . . . . . 108
K. Apsitis Topological Considerations in Composing
Teams of Learning Machines . . . . . . . 146
R. Freivalds and
E. B. Kinber and
C. H. Smith Probabilistic versus Deterministic
Memory Limited Learning . . . . . . . . 155
W. I. Gasarch and
M. G. Pleszkoch and
M. Velauthapillai Classification Using Information . . . . 162
R. Wiehagen and
C. H. Smith and
T. Zeugmann Classifying Recursive Predicates and
Languages . . . . . . . . . . . . . . . 174
T. Zeugmann and
S. Lange A Guided Tour Across the Boundaries of
Learning Recursive Languages . . . . . . 190
T. Shinohara and
S. Arikawa Pattern Inference . . . . . . . . . . . 259
P. Watson Inductive Learning of Recurrence-Term
Languages from Positive Data . . . . . . 292
Y. Takada Learning Formal Languages Based on
Control Sets . . . . . . . . . . . . . . 316
C. Globig and
S. Wess Learning in Case-Based Classification
Algorithms . . . . . . . . . . . . . . . 340
C. Posthoff and
M. Schlosser Optimal Strategies --- Learning from
Examples --- Boolean Equations . . . . . 363
G. Mehlsam and
H. Kaindl and
W. Barth Feature Construction during Tree
Learning . . . . . . . . . . . . . . . . 391
A. Albrecht On Lower Bounds for the Depth of
Threshold Circuits with Weights from $ 0
- 1, 0, + 1 $ . . . . . . . . . . . . . 404
E. Pippig Structuring Neural Networks and
PAC-Learning . . . . . . . . . . . . . . 417
U. Goldammer Inductive Synthesis of Rewrite Programs 435
G. Grieser TLP0S --- a Term Rewriting Laboratory
(not only) for Experiments in Automatic
Program Synthesis . . . . . . . . . . . 467
H.-R. Beick and
V. Stankov GoslerP --- A Logic Programming Tool for
Inductive Inference . . . . . . . . . . 482
C. Stirling Local Model Checking Games . . . . . . . 1
M. Dam Compositional Proof Systems for Model
Checking Infinite State Processes . . . 12
F. Laroussinie and
K. G. Larsen Compositional Model Checking of Real
Time Systems . . . . . . . . . . . . . . 27
U. Montanari and
M. Pistore Checking Bisimilarity for Finitary $ \pi
$-Calculus . . . . . . . . . . . . . . . 42--56
G.-L. Ferrari and
U. Montanari and
P. Quaglia The Weak Late $ \pi $-Calculus Semantics
as Observation Equivalence . . . . . . . 57--71
B. Steffen and
A. Classen and
M. Klein and
J. Knoop The Fixpoint-Analysis Machine . . . . . 72
H. Lin Unique Fixpoint Induction for Mobile
Processes . . . . . . . . . . . . . . . 88
X. Liu and
D. Walker A Polymorphic Type System for the
Polyadic $ \pi $-Calculus . . . . . . . 103--116
C. Hermida and
J. Power Fibrational Control Structures . . . . . 117
F. Corradini and
R. De Nicola and
A. Labella Fully Abstract Models for
Nondeterministic Regular Expressions . . 130
N. Busi and
R. Gorrieri A Petri Net Semantics for $ \pi
$-Calculus . . . . . . . . . . . . . . . 145--159
A. Rensink A Complete Theory of Deterministic Event
Structures . . . . . . . . . . . . . . . 160
M. Nielsen and
L. Priese and
V. Sassone Characterising Behavioural Congruences
for Petri Nets . . . . . . . . . . . . . 175
F. Vaandrager Verification of a Distributed Summation
Algorithm . . . . . . . . . . . . . . . 190
J. F. Groote and
M. P. A. Sellink Confluence for Process Verification . . 204
I. Ulidowski Axiomatisations of Weak Equivalences for
De Simone Languages . . . . . . . . . . 219
R. Segala A Compositional Trace-Based Semantics
for Probabilistic Automata . . . . . . . 234
M. Nuthez and
D. De Frutos and
L. Llana Acceptance Trees for Probabilistic
Processes . . . . . . . . . . . . . . . 249
D. Harel Will I be Pretty, Will I be Rich?: Some
Thoughts on Theory vs. Practice in
Systems Engineering . . . . . . . . . . 264
J. Bryans and
J. Davies and
S. Schneider Towards a Denotational Semantics for
ET-LOTOS . . . . . . . . . . . . . . . . 269
F. Wang Reachability Analysis at Procedure Level
through Timing Coincidence . . . . . . . 284
W. Vogler Faster Asynchronous Systems . . . . . . 299
E. Brinksma and
A. Rensink and
W. Vogler Fair Testing . . . . . . . . . . . . . . 313
D. Craigen Formal Methods Technology Transfer:
Impediments and Innovation . . . . . . . 328
P. A. Abdulla and
M. Kindahl Decidability of Simulation and
Bisimulation between Loss Channel
Systems and Finite State Systems . . . . 333
P. Jancar and
F. Moller Checking Regular Properties of Petri
Nets . . . . . . . . . . . . . . . . . . 348
M. M. Bonsangue and
J. N. Kok and
E. De Vink Metric Predicate Transformers: Towards a
Notion of Refinement for Concurrency . . 363
M. Siegel A Refinement Theory that Supports both
``Decrease of Nondeterminism'' and
``Increase of Parallelism'' . . . . . . 378
E. A. Emerson Model Checking and Efficient Automation
of Temporal Reasoning . . . . . . . . . 393
E. M. Clarke and
O. Grumberg and
S. Jha Verifying Parameterised Networks using
Abstraction and Regular Languages . . . 395
O. Kupferman and
M. Y. Vardi On the Complexity of Branching Modular
Model Checking . . . . . . . . . . . . . 408
R. Kaivola Axiomatising Linear Time Mu-Calculus . . 423
P. S. Thiagarajan A Trace Consistent Subset of PTL . . . . 438
G. J. Holzmann Proving Properties of Concurrent Systems
with SPIN . . . . . . . . . . . . . . . 453
A. Philippou and
D. Walker On Sharing and Determinacy in Concurrent
Systems . . . . . . . . . . . . . . . . 456
S. Brock and
G. Ostheimer Process Semantics of Graph Reduction . . 471
M. Hennessy and
J. Rathke Bisimulations for a Calculus of
Broadcasting Systems . . . . . . . . . . 486
P. R. D'Argenio and
S. Mauw Delayed Choice for Process Algebra with
Abstraction . . . . . . . . . . . . . . 501
K. Ceraens CTR: A Calculus of Timed Refinement . . 516
A. Bouajjani and
Y. Lakhnech Temporal Logic + Timed Automata:
Expressiveness and Decidability . . . . 531
Bart Preneel and
Paul C. van Oorschot MDx-MAC and Building Fast MACs from Hash
Functions . . . . . . . . . . . . . . . 1--14
Mihir Bellare and
Roch Guérin and
Phillip Rogaway XOR MACs: New Methods for Message
Authentication Using Finite Pseudorandom
Functions . . . . . . . . . . . . . . . 15
Phillip Rogaway Bucket Hashing and its Application to
Fast Message Authentication . . . . . . 29
Richard Schroeppel and
Hilarie Orman and
Sean O'Malley and
Oliver Spatscheck Fast Key Exchange with Elliptic Curve
Systems . . . . . . . . . . . . . . . . 43
Philippe Béguin and
Jean-Jacques Quisquater Fast Server-Aided RSA Signatures Secure
Against Active Attacks . . . . . . . . . 57
Chae Hoon Lim and
Pil Joong Lee Security and Performance of Server-Aided
RSA Computation Protocols . . . . . . . 70
Shai Halevi Efficient Commitment Schemes with
Bounded Sender and Unbounded Receiver 84
Donald Beaver Precomputing Oblivious Transfer . . . . 97
Claude Crépeau and
Jeroen van de Graaf and
Alain Tapp Committed Oblivious Transfer and Private
Multi-Party Computation . . . . . . . . 110
Dominic Mayers On the Security of the Quantum Oblivious
Transfer and Key Distribution Protocols 124
Thorsten Theobald How to Break Shamir's Asymmetric Basis 136
Sang-Joon Park and
Sang-Jin Lee and
Seung-Cheol Goh On the Security of the Gollmann Cascades 148
Kazuo Ohta and
Shiho Moriai and
Kazumaro Aoki Improving the Search Algorithm for the
Best Linear Expression . . . . . . . . . 157
Burton S. Kaliski Jr. and
Yiqun Lisa Yin On Differential and Linear Cryptanalysis
of the RC5 Encryption Algorithm . . . . 171--183
Silvio Micali and
Ray Sidney A Simple Method for Generating and
Sharing Pseudo-Random Functions, with
Applications to Clipper-like Key Escrow
Systems . . . . . . . . . . . . . . . . 185
Arjen K. Lenstra and
Peter Winkler and
Yacov Yacobi A Key Escrow System with Warrant Bounds 197
Joe Kilian and
Tom Leighton Fair Cryptosystems, Revisited . . . . . 208
Yair Frankel and
Moti Yung Escrow Encryption Systems Visited:
Attacks, Analysis and Designs . . . . . 222
Ross Anderson and
Roger Needham Robustness Principles for Public Key
Protocols . . . . . . . . . . . . . . . 236
Jacques Patarin Cryptanalysis of the Matsumoto and Imai
Public Key Scheme of Eurocrypt '88 . . . 248
Andrew Klapper and
Mark Goresky Cryptanalysis Based on 2-Adic Rational
Approximation . . . . . . . . . . . . . 262
Lars R. Knudsen A Key-Schedule Weakness in SAFER K-64 274
Yair Frankel and
Moti Yung Cryptanalysis of the Immunized LL Public
Key Systems . . . . . . . . . . . . . . 287
Ronald Cramer and
Ivan Bjerre Damgård Secure Signature Schemes based on
Interactive Protocols . . . . . . . . . 297
Joe Kilian Improved Efficient Arguments . . . . . . 311
Ivan Bjerre Damgård and
Oded Goldreich and
Tatsuaki Okamoto and
Avi Wigderson Honest Verifier vs. Dishonest Verifier
in Public Coin Zero-Knowledge Proofs . . 325
Amir Herzberg and
Stanislaw Jarecki and
Hugo Krawczyk and
Moti Yung Proactive Secret Sharing Or: How to Cope
With Perpetual Leakage . . . . . . . . . 339
Amos Beimel and
Benny Chor Secret Sharing with Public
Reconstruction . . . . . . . . . . . . . 353
G. R. Blakley and
Gregory A. Kabatianski On General Perfect Secret Sharing
Schemes . . . . . . . . . . . . . . . . 367
Bruce Dodson and
Arjen K. Lenstra NFS with Four Large Primes: An Explosive
Experiment . . . . . . . . . . . . . . . 372
Daniel Bleichenbacher and
Wieb Bosma and
Arjen K. Lenstra Some Remarks on Lucas-Based
Cryptosystems . . . . . . . . . . . . . 386
Susan K. Langford Threshold DSS Signatures without a
Trusted Party . . . . . . . . . . . . . 397
Kaoru Kurosawa and
Satoshi Obana and
Wakaha Ogata $t$-Cheater Identifiable $ (k, n) $
Threshold Secret Sharing Schemes . . . . 410
Dan Boneh and
Richard J. Lipton Quantum Cryptanalysis of Hidden Linear
Functions . . . . . . . . . . . . . . . 424--437
Tatsuaki Okamoto An Efficient Divisible Electronic Cash
Scheme . . . . . . . . . . . . . . . . . 438
Dan Boneh and
James Shaw Collusion-Secure Fingerprinting for
Digital Data . . . . . . . . . . . . . . 452
Anonymous Author Index . . . . . . . . . . . . . . 467
S. M. Achasova Synchronous-Asynchronous Cellular
Computations . . . . . . . . . . . . . . 1
G. P. Agibalov Parallel Computations and Finite
Automata on Semilattices . . . . . . . . 7
A. V. Anisimov Linear Fibonacci Forms and Parallel
Algorithms for High Dimension Arithmetic 16
O. L. Bandman Cellular-Neural Computations. Formal
Model and Possible Applications . . . . 21
A. Bianchi and
S. Coluccini and
P. Degano and
C. Priami An Efficient Verifier of Truly
Concurrent Properties . . . . . . . . . 36
F. Gasperoni and
U. Schwiegelshohn and
J. Turek Optimal Loop Scheduling on
Multiprocessors: A Pumping Lemma for
$p$-Processor Schedules . . . . . . . . 51
P. Hartmann Parallel and Distributed Processing of
Cellular Hypergraphs . . . . . . . . . . 57
V. Markova and
S. Piskunov Computer Models of $3$D Cellular
Structures . . . . . . . . . . . . . . . 70
A. S. Nepomniaschaya Comparison of Two MST Algorithms for
Associative Parallel Processors . . . . 85
V. A. Nepomniaschy and
G. I. Alekseev and
A. V. Bystrov and
T. G. Churina Petri Net Modelling of Estelle-specified
Communication Protocols . . . . . . . . 94
B. Schnor Dynamic Scheduling of Parallel
Applications . . . . . . . . . . . . . . 109
G. Vesselovski and
M. Kupriyanova A Method for Analyzing Combinatorial
Properties of Static Connecting
Topologies . . . . . . . . . . . . . . . 117
A. I. Adamovich cT: An Imperative Language with
Parallelizing Features Supporting the
Computation Model ``Autotransformation
of the Evaluation Network'' . . . . . . 127
S. Benkner Vienna Fortran 90 --- An Advanced Data
Parallel Language . . . . . . . . . . . 142
A. E. Doroshenko Programming Abstracts for
Synchronization and Communication in
Parallel Programs . . . . . . . . . . . 157
V. A. Evstigneev and
V. N. Kasyanov A Program Manipulation System for
Fine-grained Architectures . . . . . . . 163
C. Hochberger and
R. Hoffmann and
S. Waldschmidt Compilation of CDL for Different Target
Architectures . . . . . . . . . . . . . 169
A. Hondroudakis and
R. Procter and
K. Shanmugam Performance Evaluation and Visualization
with VISPAT . . . . . . . . . . . . . . 180
R. Huesler and
H. Vonder Muehll and
A. Gunzinger and
G. Troester Dataparallel Programming with
Intelligent Communication . . . . . . . 186
A. R. Hurson and
B.-U. Jun Optimization Scheme on Execution of
Logic Program in a Dataflow Environment 204
A. V. Borshchev and
Y. G. Karpov and
V. V. Roudakov COVERS --- A Tool for the Design of
Real-time Concurrent Systems . . . . . . 219
R. Klar and
P. Dauphin Status and Prospect of ZM4/SIMPLE/PEPP:
an Event-oriented Evaluation Environment
for Parallel and Distributed Programs 234
O. V. Klimova The Separating Decomposition of Discrete
Fourier Transform and Vectorization of
its Calculation . . . . . . . . . . . . 241
T. Ludwig and
S. Lamberts PFSLib --- A Parallel File System for
Workstation Clusters . . . . . . . . . . 246
Y. Saad and
A. V. Malevsky Data Structures, Computational, and
Communication Kernels for Distributed
Memory Sparse Iterative Solvers . . . . 252
A. Oezerdim and
M. O. Uenalir and
O. Dikenelli and
E. Ozkarahan PARMA: A Multiattribute File Structure
for Parallel Database Machines . . . . . 258
M. M. Pic and
H. Essafi and
M. Viala and
L. Nicolas T++: An Object-Oriented Language to
Express Task and Data Parallelism on
Multi-SIMD Computers . . . . . . . . . . 273
V. Vlassov and
H. Ahmed and
L.-E. Thorelli mEDA-2: An Extension of PVM . . . . . . 288--293
A. Vazhenin and
V. Morozov Parallel Iterative Solution of Systems
of Linear Equations with Dynamically
Changed Length of Operands . . . . . . . 294
M. Royak and
E. Shurina and
Y. Soloveichik and
V. Malyshkin Parallelization of Computer Code MASTAC
Three-Dimensional Finite Elements Method
Implementing . . . . . . . . . . . . . . 304
L. Barriga and
R. Ayani New Trends in Simulation of Distributed
Shared Memory Architectures . . . . . . 314
D. Etiemble and
C. Germain Standard Microprocessors Versus Custom
Processing Elements for Massively
Parallel Architectures . . . . . . . . . 320
B. Goossens and
D. T. Vu Further Pipelining and Multithreading to
Improve RISC Processor Speed. A Proposed
Architecture and Simulation Results . . 326
A. V. Zabrodin and
V. K. Levin and
V. V. Korneev The Massively Parallel Computer System
MBC-100 . . . . . . . . . . . . . . . . 341
V. P. Srini DFS-Super MPx: Low-cost Parallel
Processing System for Machine Vision and
Image Processing . . . . . . . . . . . . 356
C. Bussler and
S. Jablonski and
T. Kirsche and
H. Schuster Architectural Issues of Distributed
Workflow Management Systems . . . . . . 370
O. Bessonov and
V. Brailovskaya and
V. Polezhaev and
B. Roux Parallelization of the Solution of $3$D
Navier--Stokes Equations for Fluid Flow
in a Cavity with Moving Covers . . . . . 385
P. Ciancarini and
P. Mancini Distributing Search and Knowledge Using
a Coordination Language . . . . . . . . 400
F. Caudal and
B. Lecussan Design and Evaluation of a
Multi-Threaded Architecture for Parallel
Graph Reduction . . . . . . . . . . . . 411
I. G. Mamedova Implementation of the Multigrid Method
for Solving the Boundary-Value Problems
for the Poisson and Helmholtz Equations
on the Massively Parallel Computers . . 427
A. Kremlev and
O. Monakhov and
T. Thiel Parallel Seismic Data Processing Method
for MEMSY Multiprocessor System . . . . 434
E. Ozkarahan Hardware and Software Platform for
Information Processing . . . . . . . . . 439
E. Kessy and
A. Stoukov and
D. Vandromme Numerical Simulation of Reacting Mixing
Layer with a Parallel Implementation . . 453
Y. I. Fet and
D. A. Pospelov Parallel Computing in Russia . . . . . . 464
W. Haendler Early Approaches to Parallel Processing:
Increasing Performance and Dependability 477
J. C. M. Baeten and
J. A. Bergstra Discrete Time Process Algebra with
Abstraction . . . . . . . . . . . . . . 1
Z. Chaochen and
D. V. Hung and
L. Xiaoshan A Duration Calculus with Infinite
Intervals . . . . . . . . . . . . . . . 16
K. Fisher and
J. C. Mitchell A Delegation-Based Object Calculus with
Subtyping . . . . . . . . . . . . . . . 42
K. G. Larsen and
P. Pettersson and
W. Yi Model-Checking for Real-Time Systems . . 62
E. W. Mayr On Polynomial Ideals, Their Complexity,
and Applications . . . . . . . . . . . . 89
R. M. Amadio and
L. Leth and
B. Thomsen From a Concurrent $ \lambda $-Calculus
to the $ \pi $-Calculus . . . . . . . . 106--115
V. Antimirov Rewriting Regular Inequalities . . . . . 116
G. Barthe A Simple Abstract Semantics for
Equational Theories . . . . . . . . . . 126
J. A. Bergstra and
G. Stefanescu Processes with Multiple Entries and
Exits . . . . . . . . . . . . . . . . . 136
M. Bertol Efficient Rewriting in Cograph Trace
Monoids . . . . . . . . . . . . . . . . 146
C. Calude and
M. Zimand Effective Category and Measure in
Abstract Complexity Theory . . . . . . . 156
T. Chaboud About Planar Cayley Graphs . . . . . . . 171
V. D. Chepoi and
F. F. Dragan On Condorcet and Median Points of Simple
Rectilinear Polygons . . . . . . . . . . 181
H. N. Djidjev and
G. E. Pantziou and
C. D. Zaroliagis Fast Algorithms for Maintaining Shortest
Paths in Outerplanar and Planar Digraphs 191
F. F. Dragan and
F. Nicolai $r$-Domination Problems on Homogeneously
Orderable Graphs . . . . . . . . . . . . 201
B. Durand and
J. Mazoyer Growing Patterns in $1$D Cellular
Automata . . . . . . . . . . . . . . . . 211
J. Esparza Petri Nets, Commutative Context-Free
Grammars, and Basic Parallel Processes 221
H. Fassbender Implementation of a UU-Algorithm for
Primitive Recursive Tree Functions . . . 233
M. C. F. Ferreira and
H. Zantema Dummy Elimination: Making Termination
Easier . . . . . . . . . . . . . . . . . 243
A. Gronewold and
H. Fleischhack Computing Petri Net Languages by
Reductions . . . . . . . . . . . . . . . 253
E. De Haas Categorial Graphs . . . . . . . . . . . 263
J. Hromkovic and
R. Klasing and
D. Pardubska and
W. Unger Effective Systolic Algorithms for
Gossiping in Cycles and Two-Dimensional
Grids . . . . . . . . . . . . . . . . . 273
P. Jancar and
F. Mraz and
M. Platek and
J. Vogel Restarting Automata . . . . . . . . . . 283
C. W. Kessler and
T. Rauber Optimal Contiguous Expression DAG
Evaluations . . . . . . . . . . . . . . 293
H. Klaudel and
E. Pelz Communication as Unification in the
Petri Box Calculus . . . . . . . . . . . 303
M. Kudlek and
A. Mateescu Distributed Catenation and Chomsky
Hierarchy . . . . . . . . . . . . . . . 313
M. Kummer and
F. Stephan The Power of Frequency Computation . . . 323
N.-M. Le Randomized Incremental Construction of
Simple Abstract Voronoi Diagrams in
3-Space . . . . . . . . . . . . . . . . 333
I. I. Macarie and
M. Ogihara Properties of Probabilistic Pushdown
Automata . . . . . . . . . . . . . . . . 343
G. S. Makanin and
H. Abdulrab and
M. N. Maksimenko Formal Parametric Equations . . . . . . 353
R. Niedermeier and
P. Rossmanith PRAM's Towards Realistic Parallelism:
BRAM's . . . . . . . . . . . . . . . . . 363
H. Petersen Some Results Concerning Two-Dimensional
Turing Machines and Finite Automata . . 374
G. Pighizzini How Hard is to Compute the Edit Distance 383
K. Reinhardt On the Synchronization of Semi-Traces 393
E. Remila Tiling with Bars and Satisfaction of
Boolean Formulas . . . . . . . . . . . . 404
K.-D. Schewe Functional Sorts in Data Type
Specifications; A Geometric Approach to
Semantics . . . . . . . . . . . . . . . 424
G. Papadopoulos Mainstream Parallelism: Taking Sides on
the SMP/MPP\slash Cluster Debate . . . . 3
G. Smolka The Oz Programming Model . . . . . . . . 5
B. Engquist Parallelism in Computational Algorithms
and the Physical World . . . . . . . . . 9
P. Caspi and
A. Girault Execution of Distributed Reactive
Systems . . . . . . . . . . . . . . . . 15
M. V. Hermenegildo and
M. Carro Relating Data-Parallelism and (And-)
Parallelism in Logic Programs . . . . . 27
E. Pontelli and
G. Gupta On the Duality Between Or-parallelism
and And-parallelism in Logic Programming 43
J. Darlington and
Y.-K. Guo and
Hing Wing To and
J. Yang Functional Skeletons for Parallel
Coordination . . . . . . . . . . . . . . 55
R. C. Unrau and
M. Stumm and
O. Krieger On the Scalability of Demand-Driven
Parallel Systems . . . . . . . . . . . . 69
S. A. McKee and
W. A. Wulf and
T. C. Landon Bounds on Memory Bandwidth in Streamed
Computations . . . . . . . . . . . . . . 83
D. Chiou and
B. S. Ang and
R. Greiner and
Arvind StarT-NG: Delivering Seamless Parallel
Computing . . . . . . . . . . . . . . . 101
O. C. Maquelin and
H. H. J. Hum and
G. R. Gao Costs and Benefits of Multithreading
with Off-the-Shelf RISC Processors . . . 117
S. Genaud and
E. Violard and
G.-R. Perrin Transformation Techniques in Pei . . . . 131
L. Bouge and
D. Cachera On the Completeness of a Proof System
for a Simple Data-parallel Programming
Language . . . . . . . . . . . . . . . . 143
C. Clemencon and
J. Fritscher and
M. J. Meehan and
R. Ruehl An Implementation of Race Detection and
Deterministic Replay with MPI . . . . . 155--166
A. Fagot and
J. Chassin de Kergommeaux Formal and Experimental Validation of a
Low Overhead Execution Replay Mechanism 167
T. Roemke and
M. Roettger and
U.-P. Schroeder and
J. Simon On Efficient Embeddings of Grids into
Grids in PARIX . . . . . . . . . . . . . 181
A.-C. Achilles Optimal Emulation of Meshes on Meshes of
Trees . . . . . . . . . . . . . . . . . 193
S. K. Das and
A. Mao Optimal Embeddings in the Hamming Cube
Networks . . . . . . . . . . . . . . . . 205
Z. Liu Hierarchical Adaptive Routing Under
Hybrid Traffic Load . . . . . . . . . . 217
S. N. Bhatt and
G. Bilardi and
K. T. Herley and
G. Pucci Tight Bounds on Parallel List Marking 231
W. Loewe Optimization of PRAM-Programs with
Input-Dependent Memory Access . . . . . 243
L. Chen Optimal Circular Arc Representations . . 255
A. Nowatzyk and
G. Aybay and
M. Browne and
E. Kelly Exploiting Parallelism in Cache
Coherency Protocol Engines . . . . . . . 269
F. Pong and
A. Nowatzyk and
G. Aybay and
M. Dubois Verifying Distributed Directory-based
Cache Coherence Protocols: S3.mp, a Case
Study . . . . . . . . . . . . . . . . . 287
S.-J. Hwang and
M.-S. Park Efficient Software Data Prefetching for
a Loop with Large Arrays . . . . . . . . 301
M. Griebl and
J.-F. Collard Generation of Synchronous Code for
Automatic Parallelization of while Loops 315
D. Kulkarni and
M. Stumm and
R. C. Unrau Implementing Flexible Computation Rules
with Subexpression-level Loop
Transformations . . . . . . . . . . . . 327
M. Le Fur and
J.-L. Pazat and
F. Andre An Array Partitioning Analysis for
Parallel Loop Distribution . . . . . . . 351
A. Erzmann and
M. Hadeler and
C. Mueller-Schloer A Model for Efficient Programming of
Dynamic Applications on Distributed
Memory Multiprocessors . . . . . . . . . 367
P. Bouvry and
J. Chassin de Kergommeaux and
D. Trystram Efficient Solutions for Mapping Parallel
Programs . . . . . . . . . . . . . . . . 379
T. Rauber and
G. Ruenger Optimal Data Distributions for LU
Decomposition . . . . . . . . . . . . . 391
M. Minas Detecting Quantified Global Predicates
in Parallel Programs . . . . . . . . . . 403
C.-T. Yang and
S.-S. Tseng and
C.-D. Chuang and
W.-C. Shih Using Knowledge-Based Techniques for
Parallelization on Parallelizing
Compilers . . . . . . . . . . . . . . . 417
C. Germain and
F. Delaplace Automatic Vectorization of
Communications for Data-Parallel
Programs . . . . . . . . . . . . . . . . 429
M. Pouzet The Program Compaction Revisited: the
Functional Framework . . . . . . . . . . 441
B. Sloman and
T. Lake Featherweight Threads and ANDF
Compilation of Concurrency . . . . . . . 457
J. W. Romein and
H. E. Bal Parallel $N$-Body Simulation on a
Large-Scale Homogeneous Distributed
System . . . . . . . . . . . . . . . . . 473
E. Rahm and
T. Stoehr Analysis of Parallel Scan Processing in
Shared Disk Database Systems . . . . . . 485
A. R. Nolan and
B. Everding Polynomial Time Scheduling of Low Level
Computer Vision Algorithms on Networks
of Heterogeneous Machines . . . . . . . 501
B. Girau Mapping Neural Network Back-Propagation
onto Parallel Computers with
Computation/Communication Overlapping 513
J. S. Larson and
B. C. Massey and
E. Tick Super Monaco: Its Portable and Efficient
Parallel Runtime System . . . . . . . . 527
K. Rokusawa and
A. Nakase and
T. Chikayama Quiescence Detection in a Distributed
KLIC Implementation . . . . . . . . . . 539
T. Lindgren and
J. Bevemyr and
H. Millroth Compiler Optimizations in Reform Prolog:
Experiments on the KSR-1 multiprocessor 553
M. Jaseemuddin and
Z. G. Vranesic Bidirectional Ring: An Alternative to
the Hierarchy of Unidirectional Rings 567
N. K. Singhvi and
K. Ghose A Formal Study of the Mcube
Interconnection Network . . . . . . . . 579
S. Shionoya and
T. Aoki and
T. Higuchi Multiwave Interconnection Networks for
MCM-Based Parallel Processing . . . . . 593
S. Sahni Scheduling Master-Slave Multiprocessor
Systems . . . . . . . . . . . . . . . . 611
A. Hori and
Y. Ishikawa and
J. Nolte and
H. Konaka Time Space Sharing Scheduling: A
Simulation Analysis . . . . . . . . . . 623
J. Rost and
F.-J. Markus and
L. Yan-Hua ``Agency Scheduling'' --- A Model for
Dynamic Task Scheduling . . . . . . . . 635
M. Johannesson FFTs on a Linear SIMD Array . . . . . . 649
J.-P. Sheu and
Y.- S. Chen Tolerating Faults in Faulty Hypercubes
Using Maximal Fault-Free Subcube-Ring 661
S. Chalasani and
R. V. Boppana Communication in Multicomputers with
Nonconvex Faults . . . . . . . . . . . . 673
A. E. Doroshenko and
A. B. Godlevsky Parallelising Programs with Algebraic
Programming Tools . . . . . . . . . . . 687
K. Molnar Parallel Prolog with Uncertainty
Handling . . . . . . . . . . . . . . . . 691
G. Friedl and
M. Platzner and
B. Rinner A Special-Purpose Coprocessor for
Qualitative Simulation . . . . . . . . . 695
C. Barnes and
C. Wadsworth Portable Software Tools for Parallel
Architectures . . . . . . . . . . . . . 699
C. Siegelin and
U. Finger and
C. O'Donnell Boosting the Performance of Workstations
through WARPmemory . . . . . . . . . . . 703
A. Laurentowski and
J. Szymaszek and
A. Uszok and
K. Zielinski A Monitoring System for
Software-Heterogeneous Distributed
Environments . . . . . . . . . . . . . . 707
G. Hains and
J. Mullins A Metacircular Data-Parallel Functional
Language . . . . . . . . . . . . . . . . 711
J. Silc and
B. Robic Efficient Run-Time Program Allocation on
a Parallel Coprocessor . . . . . . . . . 715
V. A. Evstigneev and
V. N. Kasyanov A Program Manipulation System for
Fine-Grained Architectures . . . . . . . 719
P. Moravie and
H. Essafi and
C. Lambert-Nebout and
J.-L. Basille Real-Time Image Compression Using
Data-Parallelism . . . . . . . . . . . . 723
A.-H. Smai Congestion Control in Wormhole Networks:
First Results . . . . . . . . . . . . . 727
D. L. Parnas Language-Free Mathematical Methods for
Software Design . . . . . . . . . . . . 3
P. Ciaccia and
P. Ciancarini and
W. Penzo A Formal Approach to Software Design:
The Clepsydra Methodology . . . . . . . 5
D. Edmond Refining Database Systems . . . . . . . 25
M. Luck and
M. D'Inverno Structuring a Z Specification to Provide
a Formal Framework for Autonomous Agent
Systems . . . . . . . . . . . . . . . . 47
P. D. De Lima Machado and
S. L. Meira On the Use of Formal Specifications in
the Design and Simulation of Artificial
Neural Networks . . . . . . . . . . . . 63
M. D'Inverno and
M. Priestley Structuring Specification in Z to Build
a Unifying Framework for Hypertext
Systems . . . . . . . . . . . . . . . . 83
J. Rushby Mechanizing Formal Methods:
Opportunities and Challenges . . . . . . 105
A. P. Hughes and
A. A. Donnelly An Algebraic Proof in VDM . . . . . . . 114
S. Stepney Testing as Abstraction . . . . . . . . . 137
H.-M. Hoercher Improving Software Tests Using Z
Specifications . . . . . . . . . . . . . 152
E. Mikk Compilation of Z Specifications into C
for Automatic Test Result Evaluation . . 167
S. H. Valentine Equal Rights for Schemas in Z . . . . . 183
A. MacDonald and
D. Carrington Structuring Z Specifications: Some
Choices . . . . . . . . . . . . . . . . 203
D. M. German and
D. D. Cowan Experiments with the Z Interchange
Format and SGML . . . . . . . . . . . . 224--236 (or 224--233??)
J. A. Hall and
D. L. Parnas and
N. Plat and
J. Rushby The Future of Formal Methods in Industry 237
B. Liskov and
J. M. Wing Specifications and Their Use in Defining
Subtypes . . . . . . . . . . . . . . . . 245
B. Strulo How Firing Conditions Help Inheritance 264
G. Smith Extending W for Object-Z . . . . . . . . 276
P. Bancroft and
I. Hayes A Formal Semantics for a Language with
Type Extension . . . . . . . . . . . . . 299
J. Jacky and
J. Unger From Z to Code: A Graphical User
Interface for a Radiation Therapy
Machine . . . . . . . . . . . . . . . . 315
P. Bernard and
G. Laffitte The French Population Census for 1990 334
I. Kraan and
P. Baumann Implementing Z in Isabelle . . . . . . . 355
H. S. Goodman The Z-into-Haskell Tool-Kit: An
Illustrative Case Study . . . . . . . . 374
M. M. West Types and Sets in Goedel and Z . . . . . 389
C. Reilly Exploring Specifications with
Mathematica . . . . . . . . . . . . . . 408--422
T. Bryant and
A. Evans and
L. Semmens and
R. Milovanovic Using Z to Rigorously Review a
Specification of a Network Management
System . . . . . . . . . . . . . . . . . 423
R. B. France and
M. M. Larrondo-Petrie A Two-Dimensional View of Integrated
Formal and Informal Specification
Techniques . . . . . . . . . . . . . . . 434
H. Bowman and
J. Derrick and
M. Steen Viewpoints and Objects . . . . . . . . . 449
D. L. Parnas Teaching Programming as Engineering . . 471
P. Ciaccia and
P. Ciancarini A Course on Formal Methods in Software
Engineering: Matching Requirements with
Design . . . . . . . . . . . . . . . . . 482
J. M. Wing Hints for Writing Specifications . . . . 497
N. Dean Mental Models of Z: I --- Sets and Logic 498
D. Gries Equational Logic: A Great Pedagogical
Tool for Teaching a Skill in Logic . . . 508
L. Mikusiak and
V. Vojtek and
J. Hasaralejko and
J. Hanzelova Z Browser --- A Tool for Visualization
of Z Specifications . . . . . . . . . . 510
L. Bachmair and
H. Ganzinger Associative-Commutative Superposition 1
D. A. Basin and
T. Walsh A Calculus for Rippling . . . . . . . . 15
P. Balbiani Equation Solving in Geometrical Theories 31
A. Bockmayr and
A. Werner LSE Narrowing for Decreasing Conditional
Term Rewrite Systems . . . . . . . . . . 51
R. Buendgen Preserving Confluence for Rewrite
Systems with Built-in Operations . . . . 71
N. Dershowitz Hierarchical Termination . . . . . . . . 89
M. C. F. Ferreira and
H. Zantema Well-foundedness of Term Orderings . . . 106
J.-M. Gelis A New Characterisation of AC-Termination
and Application . . . . . . . . . . . . 124
J. Glauert and
Z. Khasidashvili Relative Normalization in Orthogonal
Expression Reduction Systems . . . . . . 144
B. Gramlich On Termination and Confluence of
Conditional Rewrite Systems . . . . . . 166
C. Hintermeier How to Transform Canonical Decreasing
HCTRs into Equivalent Canonical TRSs . . 186
C. Hoot Termination for Restricted Derivations
and Conditional Rewrite Systems . . . . 206
P. Inverardi Rewriting for Preorder Relations . . . . 223
J.-P. Jouannaud and
W. Sadfi Strong Sequentiality of Left-Linear
Overlapping Rewrite Systems . . . . . . 235
R. Kennaway A Conflict Between Call-by-Need
Computation and Parallelism . . . . . . 247
G. Kucherov and
M. Rusinowitch The Complexity of Testing Ground
Reducibility for Linear Word Rewriting
Systems with Variables . . . . . . . . . 262
A. Mori and
Y. Matsumoto Coherence for Cartesian Closed
Categories: A Sequential Approach . . . 276
E. Ohlebusch Modular Properties of
Constructor-Sharing Conditional Term
Rewriting Systems . . . . . . . . . . . 296
Y. Toyama and
M. Oyamaguchi Church--Rosser Property and Unique
Normal Form Property of Non-Duplicating
Term Rewriting Systems . . . . . . . . . 316
J. C. Verheul and
P. G. Kluit The Transformation of Term Rewriting
Systems Based on Well-formedness
Preserving Mappings . . . . . . . . . . 332
C.-P. Wirth and
K. Becker Abstract Notions and Inference Systems
for Proofs by Mathematical Induction . . 353
M. Adler and
J. W. Byers and
R. M. Karp Scheduling Parallel Communication: The
$h$-Relation Problem . . . . . . . . . . 1
S. Arnborg Decomposable Structures, Boolean
Function Representations, and
Optimization . . . . . . . . . . . . . . 21
M. Flammini and
J. Van Leeuwen and
A. Marchetti-Spaccamela The Complexity of Interval Routing on
Random Graphs . . . . . . . . . . . . . 37
V. Geffert Bridging Across the log(n) Space
Frontier . . . . . . . . . . . . . . . . 50
G. Gottlob and
N. Leone and
H. Veith Second Order Logic and the Weak
Exponential Hierarchies . . . . . . . . 66
J. Hartmanis On the Computing Paradigm and
Computational Complexity . . . . . . . . 82
D. Lehmann Ranked Structures in Nonmonotonic
Reasoning and Belief Revision . . . . . 93
D. Perrin Symbolic Dynamics and Finite Automata 94
A. A. Razborov Lower Bounds for Propositional Proofs
and Independence Results in Bounded
Arithmetic . . . . . . . . . . . . . . . 105
P. Vitanyi Physics and the New Computation . . . . 106
E. Allender and
M. Strauss Measure on P: Robustness of the Notion 129
H.-J. Burtschick Comparing Counting Classes for Logspace,
One-Way Logspace, and First-Order . . . 139
C. Damm and
M. Holzer Automata That Take Advice . . . . . . . 149
S. Homer and
S. Mocas Nonuniform Lower Bounds for Exponential
Time Classes . . . . . . . . . . . . . . 159
S. Kaufmann and
M. Kummer On a Quantitative Notion of Uniformity 169
W. Merkle and
Y. Wang Separations by Random Oracles and
``Almost'' Classes for Generalized
Reducibilities . . . . . . . . . . . . . 179
D. Beauquier and
D. Burago and
A. Slissenko On the Complexity of Finite Memory
Policies for Markov Decision Processes 191--200
T. Hofmeister and
H. Lefmann Derandomization for Sparse
Approximations and Independent Sets . . 201
J. Katajainen and
T. Pasanen and
G. Titan Asymptotically Efficient In-Place
Merging . . . . . . . . . . . . . . . . 211
P. Heusch The Complexity of the Falsifiability
Problem for Pure Implicational Formulas 221
V. Kann Strong Lower Bounds on the
Approximability of Some NPO PB-complete
Maximization Problems . . . . . . . . . 227
H. Lefmann and
P. Savicky Some Typical Properties of Large AND/OR
Boolean Formulas . . . . . . . . . . . . 237
M. Huehne The Hedge: An Efficient Storage Device
for Turing Machines with One Head . . . 247
O. Maruyama and
S. Miyano Graph Inference from a Walk for Trees of
Bounded Degree 3 is NP-complete . . . . 257
I. Stojmenovic Honeycomb Networks . . . . . . . . . . . 267
S. Fischer and
L. Hemaspaandra and
L. Torenvliet Witness-Isomorphic Reductions and the
Local Search Problem . . . . . . . . . . 277
C. Bertram-Kretzberg and
T. Hofmeister Multiple Product Modulo Arbitrary
Numbers . . . . . . . . . . . . . . . . 288
C. Meinel and
S. Waack Lower Bounds for the Majority
Communication Complexity of Various
Graph Accessibility Problems . . . . . . 299
A. Bertoni and
C. Mereghetti and
G. Pighizzini Strong Optimal Lower Bounds for Turing
Machines that Accept Nonregular
Languages . . . . . . . . . . . . . . . 309
S. Zak A Superpolynomial Lower Bound for $ (1,
+ k(n)) $-Branching Programs . . . . . . 319
L. Breveglieri and
A. Cherubini and
S. Crespi-Reghizzi Deterministic Parsing for Augmented
Context-Free Grammars . . . . . . . . . 326
F. Mignosi and
A. Restivo and
S. Salemi A Periodicity Theorem on Words and
Applications . . . . . . . . . . . . . . 337
G. Hotz and
G. Pitsch A New Approach to Analyse
Coupled-Context-Free Languages . . . . . 349
M. Hermann and
P. G. Kolaitis Computational Complexity of Simultaneous
Elementary Matching Problems . . . . . . 359
M. R. K. Krishna Rao Graph Reducibility of Term Rewriting
Systems . . . . . . . . . . . . . . . . 371
P. Urzyczyn Positive Recursive Type Assignment . . . 382
E. Kranakis and
D. Krizanc and
F. L. Luccio String Recognition on Anonymous Rings 392
Z. Roka The Firing Squad Synchronization Problem
on Cayley Graphs . . . . . . . . . . . . 402
J. F. Sibeyn and
M. Kaufmann Solving Cheap Graph Problems on Meshes 412
O. Burkart and
D. Caucal and
B. Steffen An Elementary Bisimulation Decision
Procedure for Arbitrary Context-Free
Processes . . . . . . . . . . . . . . . 423
S. Bauget and
P. Gastin On Congruences and Partial Orders . . . 434
F. Corradini and
R. Gorrieri and
M. Roccetti Performance Preorder: Ordering Processes
with Respect to Speed . . . . . . . . . 444
W. Ferreira and
M. Hennessy Towards a Semantic Theory of CML
(Extended Abstract) . . . . . . . . . . 454
S. Huguet and
A. Petit Modular Constructions of Distributing
Automata . . . . . . . . . . . . . . . . 467
D. Sangiorgi On the Proof Method for Bisimulation . . 479
C. Martin Towards a Calculus of Predicate
Transformers . . . . . . . . . . . . . . 489
M. Abadi and
S. Merz An Abstract Account of Composition . . . 499
R. Van der Goot and
A. De Bruin Syntax and Semantics of Procol . . . . . 509
J. C. Godskesen and
K. G. Larsen Synthesizing Distinguishing Formulae for
Real Time Systems . . . . . . . . . . . 519
F. Laroussinie and
K. G. Larsen and
C. Weise From Timed Automata to Logic --- and
Back . . . . . . . . . . . . . . . . . . 529
J. A. Makowsky and
E. V. Ravve Incremental Model Checking for
Decomposable Structures . . . . . . . . 540
D. Janin and
I. Walukiewicz Automata for the Modal $ \mu $-calculus
and Related Results . . . . . . . . . . 552--562
P. Niebert A $v$-calculus with Local Views for
Systems of Sequential Agents . . . . . . 563
P. Feinsilver and
R. Schott An Operator Calculus Approach to the
Evolution of Dynamic Data Structures . . 574
L. Van Gool and
T. Moons and
M. Proesmans Groups for Grouping: A Strategy for the
Exploitation of Geometrical Constraints 1--8
H. Suesse and
K. Voss and
I. Rothe Invariant Standard Positions of Ordered
Sets of Points . . . . . . . . . . . . . 9--16
A. M. Bruckstein and
D. Shaked Skew Symmetry Detection via Invariant
Signatures . . . . . . . . . . . . . . . 17--24
T. Pajdla and
L. Van Gool Efficient Matching of Space Curves . . . 25--32
B. Dubuc and
S. W. Zucker A Complexity Space for Curve Grouping 33--40
R. D. Henkel Segmentation in Scale Space . . . . . . 41--48
F. Chiavetta and
V. Di Gesu An Unsupervised Region Growing Method
for $3$-D Image Segmentation . . . . . . 49--56
G. Gimel'farb and
N. Kovalevskaya Segmentation of Images for Environmental
Studies Using a Simple Markov/Gibbs
Random Field Model . . . . . . . . . . . 57--64
K. Daniilidis and
V. Krueger Optical Flow Computation in the
Log-Polar Plane . . . . . . . . . . . . 65--72
Y. Ricquebourg and
P. Bouthemy A Statistical Regularization Framework
for Estimating Normal Displacements
along Contours with Subpixel Accuracy 73--81
K. Daniilidis Computation of $3$-D-Motion Parameters
Using the Log-Polar Transform . . . . . 82--89
M. Stricker and
A. Leonardis ExSel++: A General Framework to Extract
Parametric Models . . . . . . . . . . . 90--97
X. Shen and
D. Hogg Generic $3$-D Shape Model: Acquisitions
and Applications . . . . . . . . . . . . 98--105
O. V. Larsen and
P. Radeva and
E. Marti Guidelines for Choosing Optimal
Parameters of Elasticity for Snakes . . 106--113
A. Bray Tracking Surfaces via Texture-Mapping: A
Boot-Strapping Approach . . . . . . . . 114--121
C. Schnoerr and
W. Peckar Motion-Based Identification of
Deformable Templates . . . . . . . . . . 122--129
T. Heap and
D. Hogg Extending the Point Distribution Model
Using Polar Coordinates . . . . . . . . 130--137
M. S. Lew and
A. C. She and
T. S. Huang Intermediate Views for Face Recognition 138--145
T. Werner and
R. D. Hersch and
V. Hlavac Rendering Real-World Objects without
$3$-D Model . . . . . . . . . . . . . . 146--153
P. A. R. Cole and
M. S. Khan Modelling $3$-D Rigid Solid Objects
Using The View Signature II
Representation Scheme . . . . . . . . . 154--161
J. Matas and
J. Kittler Spatial and Feature Space Clustering:
Applications in Image Analysis . . . . . 162--173
Z. Zhang An Automatic and Robust Algorithm for
Determining Motion and Structure from
Two Perspective Images . . . . . . . . . 174--181
H. V. Nguyen and
M. Hanajik $3$-D Scene Reconstruction from Image
Sequences . . . . . . . . . . . . . . . 182--189
R. I. Hartley and
P. Sturm Triangulation . . . . . . . . . . . . . 190--197
E. Boyer and
M. O. Berger $3$-D Surface Reconstruction Using
Occluding Contours . . . . . . . . . . . 198--205
E. Volden and
G. Giraudon and
M. Berthod Image Redundancy and Classification . . 206--213
V. V. Starovoitov Towards a Measure of Diversity between
Grey-Scale Images . . . . . . . . . . . 214--221
D. Chetverikov Pattern Orientation and Texture Symmetry 222--229
J. Weickert Multiscale Texture Enhancement . . . . . 230--237
B. Duc and
P. Schroeter and
J. Biguen Spatio-Temporal Robust Motion Estimation
and Segmentation . . . . . . . . . . . . 238--245
A. Caplier and
F. Luthon A New Spatiotemporal Approach for Image
Analysis Application to Motion Detection 246--253
S. Benayoun and
N. Ayache Dense Non-Rigid Motion Estimation in
Sequences of Medical Images Using
Differential Constraints . . . . . . . . 254--261
L. Najman and
R. Vaillant Topological and Geometrical Corners by
Watershed . . . . . . . . . . . . . . . 262--269
E. Piegay and
N. Selmaoui and
C. Leschi Crest Lines Detection by Valleys
Spreading . . . . . . . . . . . . . . . 270--277
T. P. Pridmore and
S. V. Ablameyko The Distance Transform for Line
Patterns: Generalisation and Development 278--285
D. Maravall and
J. A. Sanandres and
L. Baumela Mobile Detection Based on Histogram
Difference . . . . . . . . . . . . . . . 286--293
F. Hering and
D. Wierzimok and
B. Jaehne Particle Tracking in Space Time
Sequences . . . . . . . . . . . . . . . 294--301
J. M. Sanchiz and
F. Pla and
J. A. Marchant and
R. Brivot Plant Tracking-Based Motion Analysis in
a Crop Field . . . . . . . . . . . . . . 302--309
L. M. Zouhal and
T. Denoeux An Adaptive $k$-$ N N $ Rule Based on
Dempster-Shafer Theory . . . . . . . . . 310--317
J. Elder and
S. W. Zucker Shadows, Defocus and Reliable Estimation 318--325
C.-K. Kwoh and
D. F. Gillies Estimating the Initial Values of
Unobservable Variables in Visual
Probabilistic Networks . . . . . . . . . 326--333
R. C. Wilson and
E. R. Hancock Relational Matching with Active Graphs 334--341
B. Melichar Approximate String Matching by Finite
Automata . . . . . . . . . . . . . . . . 342--349
A. M. Finch and
R. C. Wilson and
E. R. Hancock Matching Delaunay Triangulations by
Probabilistic Relaxation . . . . . . . . 350--358
A. Pinz and
M. Prantl and
H. Ganster Affine Matching of Intermediate Symbolic
Representations . . . . . . . . . . . . 359--367
T. Ross and
H. Handels and
J. Kreusch and
H. Busche Automatic Classification of Skin Tumours
with High Resolution Surface Profiles 368--375
E. Strauss and
P. Burger $4$ Dimensional Modelling of the Human
Heart . . . . . . . . . . . . . . . . . 376--383
G. Z. Yang and
P. Burger and
D. N. Firmin and
S. R. Underwood Structure Adaptive Anisotropic Filtering
for Magnetic Resonance Image Enhancement 384--391
T. Scholz and
B. Jaehne and
H. Suhr and
G. Wehnert In Situ Determination of Cell
Concentration in Bioreactors with a new
Depth from Focus Technique . . . . . . . 392--399
P. Nordlund and
T. Uhlin Closing the Loop: Pursuing a Moving
Object by a Moving Observer . . . . . . 400--407
R. Kozera An Algorithm for a Linear
Shape-from-Shading Problem . . . . . . . 408--415
R. Sara Isophotes: the Key to Tractable Local
Shading Analysis . . . . . . . . . . . . 416--423
R. Foltyniewicz Efficient High Order Neural Network for
Rotation, Translation and Distance
Invariant Recognition of Gray Scale
Images . . . . . . . . . . . . . . . . . 424--431
K.-K. Sung and
T. Poggio Learning Human Face Detection in
Cluttered Scenes . . . . . . . . . . . . 432--439
R. Lopez and
T. S. Huang Head Pose Computation for Very Low
Bit-Rate Video Coding . . . . . . . . . 440--447
L. Quan and
R. Mohr Self-Calibration of an Affine Camera . . 448--455
A. Polanski and
K. Wojciechowski and
A. Borek Stereo Calibration by Planar Grid Lines 456--463
R. Neubauer and
K. Voss Monocular Pose Estimation of Circular
Primitives . . . . . . . . . . . . . . . 464--471
G. Lohmann A New Method of Extracting Closed
Contours Using Maximal Discs . . . . . . 472--479
J. M. I. Quereda and
M. B. Gomez A Simple Algorithm to Evaluate the Local
Symmetry at each Point of a Closed
Contour . . . . . . . . . . . . . . . . 480--487
F. Sloboda and
B. Zat'ko On Boundary Approximation . . . . . . . 488--495
F. Albregtsen and
H. Schulerud and
L. Yang Texture Classification of Mouse Liver
Cell Nuclei Using Invariant Moments of
Consistent Regions . . . . . . . . . . . 496--502
K. Aas and
L. Eikvil and
T. Andersen Text Recognition from Grey Level Images
Using Hidden Markov Models . . . . . . . 503
A. Grigorian New Models of Image Restoration . . . . 509--514
P. Radeva and
E. Marti An Improved Model of Snakes for
Model-Based Segmentation . . . . . . . . 515--520
I. Kazantsev The Weighted Backprojection Techniques
of Image Reconstruction . . . . . . . . 521--525
Y. V. Shkvarko and
A. S. Netjukhailo Fusion of Bayesian Estimation and MTF
Inversion Techniques for Improved Array
Imaging in Scattering Media . . . . . . 526--531
P. Perner Case Based Reasoning for Image
Interpretation . . . . . . . . . . . . . 532--537
S. Livens and
P. Scheunders and
G. Van de Wouwer and
D. Van Dyck Classification of Corrosion Images by
Wavelet Signatures and LVQ Networks . . 538--543
B. Balev and
A. Bloemer and
O. Dehning Knowledge Acquisition for Image Analysis
using Hypermedia Interface . . . . . . . 544--549
T. Ihle and
H. Schirmer and
S. Fuchs Interpretation of Printed Forms for
Blind People . . . . . . . . . . . . . . 550--555
G. Schmid and
L. Altamirano Robles and
W. Eckstein Automatic Segmentation of Boundaries in
Line Segments and Circular Arcs . . . . 556--561
K. Voss and
H. Suesse and
R. Neubauer Moment-Based Invariant Fitting of
Elliptical Segments . . . . . . . . . . 562--567
V. Di Gesu and
S. Mantaci and
G. Tortorici Compression of Binary Images Based on
Covering . . . . . . . . . . . . . . . . 568--573
V. Gustin and
M. Cufer Motion Detection with Fuzzy Logic in
Real Time . . . . . . . . . . . . . . . 574--579
C.-E. Liedtke and
O. Grau and
S. Growe Use of Explicit Knowledge for the
Reconstruction of $3$-D Object Geometry 580--587
Y. Gofman and
N. Kiryati Detecting Grey Level Symmetry: The
Frequency Domain Approach . . . . . . . 588--593
L. Luchowski A New Method to Threshold Images of Flat
Binary Scenes under Uneven Lighting . . 594--599
S. R. Gunn and
M. S. Nixon Improving Snake Performance via a Dual
Active Contour . . . . . . . . . . . . . 600--605
R. P. W. Duin and
E. T. G. Hoek SMD Position Measurement by a Kohonen
Network Compared with Image Processing 606--611
I. Gracia and
F. Pla and
F. J. Ferri and
P. Garcia Estimating Feature Discriminant Power in
Decision Tree Classifiers . . . . . . . 612--617
N. G. Sharp and
E. R. Hancock Statistical Surface Tracking . . . . . . 618--624
L. I. Kuncheva and
R. K. Kounchev On Feature Selection via Rough Sets . . 625--630
J. Voracek Tree Neural Classifier for Character
Recognition . . . . . . . . . . . . . . 631--636
M. Fidrich and
J.-P. Thirion Multiscale Extraction of Features from
Medical Images . . . . . . . . . . . . . 637--642
M. Frucci and
A. Marcelli Line Representation of Elongated Shapes 643--648
L. Yang and
F. Albregtsen and
T. Taxt Fast Computation of $3$-D Geometric
Moments Using a Discrete Gauss' Theorem 649--654
V. M. Chernov On the Group Algebras' Hierarchy
Pertaining to the Parametrization of
Fast Algorithms of Discrete Orthogonal
Transforms . . . . . . . . . . . . . . . 655--660
S. Chinveeraphan and
R. Takamatsu and
M. Sato Understanding of Ridge-Valley Lines on
Image-Intensity Surfaces in Scale-Space 661--667
L. Fainzilberg and
T. Potapova Computer Analysis and Recognition of
Cognitive Phase Space
Electrocardiographic Image . . . . . . . 668--673
A. J. Stoddart and
M. Petrou and
J. Kittler A New Algorithm for Probabilistic
Relaxation based on the Baum Eagon
Theorem . . . . . . . . . . . . . . . . 674--679
A. G. Bors and
I. Pitas Segmentation and Estimation of the
Optical Flow . . . . . . . . . . . . . . 680--685
W. Boecker and
H.-W. Gantenberg and
W.-U. Mueller and
C. Streffer Automated Detection of Fluorescent Cells
and Measurement of their DNA-Content . . 686--691
R. Cucchiara and
F. Filicori A Highly Selective HT Based Algorithm
for Detecting Extended, Almost
Rectilinear Shapes . . . . . . . . . . . 692--698
E. Bayro-Corrochano and
G. Sommer Object Modelling and Collision Avoidance
Using Clifford Algebra . . . . . . . . . 699--704
F. Veillon and
L. Quan and
P. Sturm Joint Invariants of a Triplet of
Coplanar Conics: Stability and
Discriminating Power for Object
Recognition . . . . . . . . . . . . . . 705--710
J. Arnspang and
H. Nielsen and
M. Christensen and
K. Henriksen Using Mirror Cameras for Estimating
Depth . . . . . . . . . . . . . . . . . 711--716
C. Colombo and
A. Del Bimbo and
S. De Magistris Combining Head Tracking and Pupil
Monitoring in Vision-Based
Human-Computer Interaction . . . . . . . 717--722
W. Brent Seales and
D. Eggert Active-Camera Calibration Using
Iterative Image Feature Localization . . 723--728
T. Suk and
J. Flusser The Projective Invariants for Polygons 729--734
M. Haindl and
S. Simberova A Multi-Model Image Line Reconstruction 735--740
L. Eikvil and
K. Aas and
M. Holden Tools for Automatic Recognition of
Character Strings in Maps . . . . . . . 741--746
W. G. Kropatsch Towards Higher Decimation Ratios . . . . 747--752
R. Klette and
I. Stojmenovic and
J. Zunic A Representation of Digital Planes by
Least Square Fits . . . . . . . . . . . 753--758
L. Yang and
F. Albregtsen and
T. Loennestad and
P. Groettum A Supervised Approach to the Evaluation
of Image Segmentation Methods . . . . . 759--765
L. I. Kuncheva and
Y. K. Yotzov Experimental Investigation on Editing
for the $k$-$ N N $ Rule through a
Genetic Algorithm . . . . . . . . . . . 766--771
V. Jankovic and
E. Ruzicky and
E. Groeller Heterogeneous Morphing of Multimodal
Medical Information . . . . . . . . . . 772--777
A. Leonardis and
S. Kovacic and
F. Pernus Recognition and Pose Determination of
$3$-D Objects Using Multiple Views . . . 778--783
A. Meijster and
J. B. T. M. Roerdink A Proposal for the Implementation of a
Parallel Watershed Algorithm . . . . . . 790--795
M. Turner and
E. R. Hancock Bayesian Extraction of Differential
Surface Structure . . . . . . . . . . . 790--795
T. Law and
H. Itoh and
H. Seki A Neural Network Energy Minimization
Approach to Approximation of
$2$-Dimensional Shapes . . . . . . . . . 796--801
A. Anzalone and
A. Machi Visual Detection of Defects in Moulded
Plastic Drippers . . . . . . . . . . . . 802--807
A. Hoogs and
R. Bajcsy Segmentation Modeling . . . . . . . . . 808--813
F. Faure Inverting the Reflectance Map with
Binary Search . . . . . . . . . . . . . 814--819
P. L. Palmer and
N. Fatemi-Ghomi and
M. Petrou Feature Selection for the Tree-Wavelet
Transform . . . . . . . . . . . . . . . 820--825
S. Yu and
K. Weigl Performance Comparison of a
Deterministic and a Stochastic Method
for Image Classification . . . . . . . . 826--831
P. Pudil and
J. Novovicova and
F. Ferri and
J. Kittler Advances in the Statistical Methodology
for the Selection of Image Descriptors
for Visual Pattern Representation and
Classification . . . . . . . . . . . . . 832--837
P. Sturm and
L. Quan Affine Stereo Calibration . . . . . . . 838--843
A. Kadyrov Triple Features for Linear Distorted
Images . . . . . . . . . . . . . . . . . 844--849
L. Chmielewski and
E. Chmielewska and
M. Sklodowski and
W. Cudny Finding Postirradiation Reaction in
Lungs from Digitized X-rays . . . . . . 850--855
J. Arnspang and
K. Henriksen and
R. Stahr Estimating Time to Contact with Curves,
Avoiding Calibration and Aperture
Problem . . . . . . . . . . . . . . . . 856--861
M. Hatef and
J. Kittler Constraining Probabilistic Relaxation
with Symbolic Attributes . . . . . . . . 862--867
A. Maki and
L. Bretzner and
J.-O. Eklundh Local Fourier Phase and Disparity
Estimates: An Analytical Study . . . . . 868--873
P. Fornland Direct Obstacle Detection and Motion
from Spatio-Temporal Derivatives . . . . 874--879
S. Roy and
I. J. Cox Direct Estimation of Rotation from Two
Frames via Epipolar Search . . . . . . . 880--887
F. Andrianasy and
M. Milgram Dynamic Character Recognition Using an
Elastic Matching . . . . . . . . . . . . 888--893
D. Ungureanu and
L. Van Gool and
T. Moons Visual Robot Guidance for an Insertion
Task . . . . . . . . . . . . . . . . . . 894--899
D. Janova and
J. Jan Robust Surface Reconstruction from
Stereo SEM Images . . . . . . . . . . . 900--905
J. Kautsky and
R. Turcajova Adaptive Wavelets for Signal Analysis 906--911
M. Michaelis and
R. Herpers and
G. Sommer A Common Framework for Preattentive and
Attentive Vision using Steerable Filters 912--919
C. Lee and
Y.-F. Wang and
T. Yang Static Global Scheduling for Optimal
Computer Vision and Image Processing
Operations on Distributed-Memory
Multiprocessors . . . . . . . . . . . . 920--925
C. Herwig and
H.-O. Carmesin Robust Patch Concept for Egomotion
Estimation . . . . . . . . . . . . . . . 926--931
F. Xia Parallel Thinning Algorithm Based on the
Wave Propagation Model . . . . . . . . . 932--937
J. M. Corridoni and
A. Del Bimbo Film Editing Reconstruction and Semantic
Analysis . . . . . . . . . . . . . . . . 938--943
W. Brent Seales Measuring Time-To-Contact Using Active
Camera Control . . . . . . . . . . . . . 944--949
R. Wiemker The Color Constancy Problem: An
Illumination Invariant Mapping Approach 950--955
Otmane Ait Mohamed Mechanizing $a$-Calculus Equivalence
within HOL . . . . . . . . . . . . . . . 1
S. Agerholm Non-Primitive Recursive Function
Definitions . . . . . . . . . . . . . . 17
S. Agerholm and
M. Gordon Experiments with ZF Set Theory in HOL
and Isabelle . . . . . . . . . . . . . . 32
P. E. Black and
P. J. Windley Automatically Synthesized Term
Denotation Predicates: A Proof Aid . . . 46
J.-P. Bodeveiz and
M. Filali On the Refinement of Symmetric Memory
Protocols . . . . . . . . . . . . . . . 58
R. J. Boulton Combining Decision Procedures in the HOL
System . . . . . . . . . . . . . . . . . 75
S. H. Brackin Deciding Cryptographic Protocol Adequacy
with HOL . . . . . . . . . . . . . . . . 90
H. Busch A Practical Method for Reasoning About
Distributed Systems in a Theorem Prover 106
G. Collins and
D. Syme A Theory of Finite Maps . . . . . . . . 122
P. Curzon Virtual Theories . . . . . . . . . . . . 138
D. Eisenbiegler and
R. Kumar An Automata Theory Dedicated Towards
Formal Circuit Synthesis . . . . . . . . 154
E. L. Gunter and
L. Libkin Interfacing HOL90 with a Functional
Database Query Language . . . . . . . . 170
J. Harrison Floating Point Verification in HOL . . . 186
J. Harrison Inductive Definitions: Automation and
Application . . . . . . . . . . . . . . 200
S. Kalvala A Formulation of TLA in Isabelle . . . . 214
Jang Dae Kim and
S.-K. Chin Formal Verification of Serial Pipeline
Multipliers . . . . . . . . . . . . . . 229
T. Laangbacka and
R. Ruksenas and
J. Von Wright TkWinHOL: A Tool for Window Inference in
HOL . . . . . . . . . . . . . . . . . . 245
P. N. Loewenstein Formal Verification of Counterflow
Pipeline Architecture . . . . . . . . . 261
R. Reetz Deep Embedding VHDL . . . . . . . . . . 277
F. Regensburger HOLCF: Higher Order Logic of Computable
Functions . . . . . . . . . . . . . . . 293
T. Schubert and
S. Mocas A Mechanized Logic for Secure Key Escrow
Protocol Verification . . . . . . . . . 308
D. Syme A New Interface for HOL --- Ideas,
Issues and Implementation . . . . . . . 324
M. Welinder Very Efficient Conversions . . . . . . . 340
W. Wong Recording and Checking HOL Proofs . . . 353
M. Yamamoto and
S.-Y. Nishizaki and
M. Hagiya and
Y. Toda Formalization of Planar Graphs . . . . . 369
Z. Cui and
B. R. Becker and
M. R. Heckman and
K. Levitt A Hierarchical Method for Reasoning
About Distributed Programming Languages 385
M. G. Gouda The Triumph and Tribulation of System
Stabilization . . . . . . . . . . . . . 1
P. Jayanti Wait-Free Computing . . . . . . . . . . 19
G. Le Lann On Real-Time and Non Real-Time
Distributed Computing . . . . . . . . . 51
D. Dolev Theory and Practice in Distributed
Systems . . . . . . . . . . . . . . . . 71
O. Babaoglu and
R. Davoli and
L. Giachini and
P. Sabattini The Inherent Cost of Strong-Partial
View-Synchronous Communication . . . . . 72
R. Guerraoui Revisiting the Relationship Between
Non-Blocking Atomic Commitment and
Consensus . . . . . . . . . . . . . . . 87
A. Ricciardi Dissecting Distributed Coordination . . 101
B. Awerbuch and
S. Kutten and
Y. Mansour and
D. Peleg Optimal Broadcast with Partial Knowledge 116
M. Flammini and
G. Gambosi and
U. Nanni and
R. B. Tan Multi-Dimensional Interval Routing
Schemes . . . . . . . . . . . . . . . . 131
A. Jakoby and
R. Reischuk Data Transmission in Processor Networks 145
P. Spirakis and
B. Tampakas and
H. Antonopoulou Distributed Protocols Against Mobile
Eavesdroppers . . . . . . . . . . . . . 160
J. H. Anderson and
M. Moir Universal Constructions for Large
Objects . . . . . . . . . . . . . . . . 168
A. Arora and
M. G. Gouda Load Balancing: an Exercise in
Constrained Convergence . . . . . . . . 183
M. Shapiro and
P. Ferreira Larchant-RDOSS: a Distributed Shared
Persistent Memory and Its Garbage
Collector . . . . . . . . . . . . . . . 198
F. Bao and
Y. Igarashi and
K. Katano Broadcasting in Hypercubes with Randomly
Distributed Byzantine Faults . . . . . . 215
M. Borcherding On the Number of Authenticated Rounds in
Byzantine Agreement . . . . . . . . . . 230
L. E. Moser and
P. M. Melliar-Smith Total Ordering Algorithms for
Asynchronous Byzantine Systems . . . . . 242
F. Butelle and
C. Lavault and
M. Bui A Uniform Self-Stabilizing Minimum
Diameter Tree Algorithm . . . . . . . . 257
J.-H. Hoepman and
M. Papatriantafilou and
P. Tsigas On Self-Stabilization in Wait-Free
Shared Memory Objects . . . . . . . . . 273
G. Itkis and
C. Lin and
J. Simon Deterministic, Constant Space,
Self-Stabilizing Leader Election on
Uniform Rings . . . . . . . . . . . . . 288
C. M. Chase and
V. K. Garg Efficient Detection of Restricted
Classes of Global Predicates . . . . . . 303
S. D. Stoller and
F. B. Schneider Faster Possibility Detection by
Combining Two Approaches . . . . . . . . 318
P. Kroha Shortcomings and Extensions of
Relational DBMS . . . . . . . . . . . . 50
C. Heumer and
G. Kappel and
S. Rausch-Schott and
W. Retschitzegger Evaluation of Object-Oriented Database
Systems . . . . . . . . . . . . . . . . 70
K. G. Rausch-Schott and
W. Retschitzegger and
A. M. Tjoa and
S. Vieweg Active Object-Oriented Database Systems
for CIM Applications . . . . . . . . . . 96
P. Kroha Databdrige between RDBMS and OODBMS . . 132
G. Kappel and
S. Vieweg Database Requirements of CIM
Applications . . . . . . . . . . . . . . 136
G. Finke Planning and Scheduling . . . . . . . . 165
M. Widmer Operational Research Models and Methods
in CIM . . . . . . . . . . . . . . . . . 179
V. Sriharan and
J. J. Kanet Production Planning and Control Systems
--- State of the Art and New Directions 195
H. H. Adelsberger and
C. Hohendorf Simulation --- A Tool for Developing
Advanced Production Strategies . . . . . 217
W. Conen Dynamic Modeling of CIM Systems . . . . 237
P. Horacek Fuzzy Modeling and Control . . . . . . . 257
V. Matousek Foundations of Computer Communications 289
R. Traunmueller Information Management and Information
Systems Planning . . . . . . . . . . . . 325
F. Joergensen Overview of Function Modelling --- IDEFO 340
H. H. Adelsberger and
F. Koerner Data Modeling with IDEFIX . . . . . . . 355
W. Jacak and
B. Kapsammer Automatic Programming in CIM Based on
Intelligent Tools . . . . . . . . . . . 392
P. J. Drazan Model Based Decision Support Systems . . 418
Z. Kouba and
T. Vlcek Man --- Machine Interface for CIM . . . 427
J. Hensgens Designing for Evolutionary Systems . . . 439
I. Preucil Active Subsystems for CIM Environments 454
P. Slavik CAD Systems: Trends and Developments . . 478
S. M. Fohn and
A. Greef and
R. E. Young and
P. O'Grady Concurrent Engineering . . . . . . . . . 493
D. Specht and
F. Fehler Groupwork in the Shop-Floor-Area Needs
Decentral CIM-Structures and Components 506
V. Marik and
J. Lazansky and
O. Stepankova Does CIM Need AI? . . . . . . . . . . . 517
K.-P. Keilmann Multi-Agent Systems: A Natural Trend in
CIM . . . . . . . . . . . . . . . . . . 548
M. Neubauer Production Scheduling and Genetic
Algorithms . . . . . . . . . . . . . . . 563
J. Csonto Implementation of Systems with
Declarative Constraints . . . . . . . . 583
I. Marvan and
O. Stepankova Qualitative Reasoning and CIM . . . . . 594
P. Starzacher and
G. Quirchmayr and
R. Wagner Comparison and Analysis of Selected
CIM-Laboratory Concepts and their
Importance for the Improvement of Staff
Training . . . . . . . . . . . . . . . . 613
A. M. Tjoa and
R. R. Wagner and
C. Gierlinger and
C. Kaiser The Use of the Active Database SIMON for
a Short Term Production Planning System
in the Automotive Industry . . . . . . . 638
A. K. Jain and
K. Karu Texture Analysis: Representation and
Matching . . . . . . . . . . . . . . . . 3
C. Rouquet and
P. Bonton Region-Based Segmentation of Textured
Images . . . . . . . . . . . . . . . . . 11
A. Succi and
V. Torre A New Approach to Image Segmentation . . 17
P. Campadelli and
D. Medici and
R. Schettini Using Hopfield Networks to Segment Color
Images . . . . . . . . . . . . . . . . . 25
S. Wegner and
T. Harms and
J. H. Builtjes and
H. Oswald The Watershed Transformation for
Multiresolution Image Segmentation . . . 31
O. V. Larsen and
P. Radeva and
E. Marti Bounds on the Optimal Elasticity
Parameters for a Snake . . . . . . . . . 37
H. Bunke and
B. T. Messmer Efficient Attributed Graph Matching and
Its Application to Image Analysis . . . 45
A. M. Finch and
E. R. Hancock Matching Delaunay Graphs . . . . . . . . 56
R. C. Wilson and
E. R. Hancock An Integrated Approach to Grouping and
Matching . . . . . . . . . . . . . . . . 62
L. P. Cordella and
C. De Stefano and
C. Sansone and
M. Vento An Adaptive Reject Option for LVQ
Classifiers . . . . . . . . . . . . . . 68
T. Blaszka and
R. Deriche A Model Based Method for
Characterization and Location of Curved
Image Features . . . . . . . . . . . . . 77
J. Matas and
Z. Shao and
J. Kittler Estimation of Curvature and Tangent
Direction by Median Filtered
Differencing . . . . . . . . . . . . . . 83
D. Ziou and
S. Tabbone Adaptive Elimination of False Edges for
First Order Detectors . . . . . . . . . 89
D. Koelma and
A. Smeulders An Image Processing Library Based on
Abstract Image Data-Types in C++ . . . . 97
M. Maruyama and
T. Teraoka and
T. Tamada and
S. Nishida Spatio-Temporal Data Management for a
$3$D Graphical Information System . . . 103
A. A. Souza Sol and
A. De Albuquerque Araujo PhotoPix: an Object-Oriented Framework
for Digital Image Processing Systems . . 109
A. Broggi Data Packing vs. Processing Speed on
Low-Cost Massively Parallel Systems . . 115
A. Kutics and
M. Date A New Parallel Method Based on a Genetic
Approach for Determination and
Classification of Skin Spots . . . . . . 121
P. Baglietto and
M. Maresca and
A. Migliaro and
M. Migliardi A VLSI Scalable Processor Array for
Motion Estimation . . . . . . . . . . . 127
V. Cantoni and
L. Cinque and
S. Levialdi and
L. Lombardi Evaluating Digital Angles by a Parallel
Diffusion Process . . . . . . . . . . . 133
M. G. Albanesi and
M. Ferretti and
L. Zangrandi A Pyramidal Approach to Convex Hull and
Filling Algorithms . . . . . . . . . . . 139
A. Biancardi and
M. Pini A Code Based Approach to
Image-Processing Teaching . . . . . . . 145
H. H. Bothe A Visual Speech Model Based on
Fuzzy-Neuro Methods . . . . . . . . . . 153
A. J. Pinho and
L. B. Almeida Edge Detection Filters Based on
Artificial Neural Networks . . . . . . . 159
N. Petkov Use of Cortical Filters and Neural
Networks in a Self-Organising Image
Classification System . . . . . . . . . 165
J.-S. Lee and
C.-H. Chen and
Y.-N. Sun and
G.-S. Tseng Occluded Objects Recognition Using
Multiscale Features and Hopfield Neural
Networks . . . . . . . . . . . . . . . . 171
J. M. Corridoni and
A. Del Bimbo Automatic Video Segmentation Through
Editing Analysis . . . . . . . . . . . . 179
A. Del Bimbo and
P. Pala Image Retrieval by Elastic Matching of
User Sketches . . . . . . . . . . . . . 185
P. Ranefall and
B. Nordin and
E. Bengtsson Finding Facial Features Using an HLS
Colour Space . . . . . . . . . . . . . . 191
J. Jiang A New and Fast Real-Time Implementation
of $2$-D DCT . . . . . . . . . . . . . . 197
S. Takamura and
M. Takagi A Hybrid Lossless Compression of Still
Images Using Markov Models and Linear
Prediction . . . . . . . . . . . . . . . 203
C. Stiller The Impact of Aliasing and Quantization
on Motion Compensation . . . . . . . . . 209
V. A. Kovalev Rule-Based Method for Tumor Recognition
in Liver Ultrasonic Images . . . . . . . 217
C. C. Taylor and
M. R. Faghihi and
I. L. Dryden An Understanding of Muscle Fibre Images 223
G. Fernandez and
M. Kunt and
J.-P. Zryd A New Plant Cell Image Segmentation
Algorithm . . . . . . . . . . . . . . . 229
J. Batista and
R. Kitney Extraction of Tumours from MR Images of
the Brain by Texture and Clustering . . 235
F. Bello and
R. Kitney Automatic Identification of Brain
Contours in Magnetic Resonance Images of
the Head . . . . . . . . . . . . . . . . 241
V. Della Mea and
C. A. Beltrami Analysis of the Spatial Arrangement of
Cells in the Proliferative Breast
Lesions . . . . . . . . . . . . . . . . 247
Y. Chitti Application of Image Processing in
Neurobiology: Detection of Low Signals
with High Spatial Resolution and a
Non-Uniform Variance . . . . . . . . . . 253
A. Giachetti and
M. Cappello and
G. Gigli and
V. Torre Computer Assisted Analysis of
Echocardiographic Image Sequences . . . 258
S. Vinitski and
C. Gonzalez and
C. Burnett and
F. Mohamed Tissue Segmentation in MRI as an
Informative Indicator of Disease
Activity in the Brain . . . . . . . . . 265
M. S. Costa and
L. G. Shapiro Analysis of Scenes Containing Multiple
Non-Polyhedral $3$D Objects . . . . . . 273
P. Dherete and
L. Wendling and
J. Desachy Fuzzy Segmentation and Astronomical
Images Interpretation . . . . . . . . . 281
W. F. Bischof and
T. Caelli Learning How to Find Patterns or Objects
in Complex Scenes . . . . . . . . . . . 287
G. Bellaire and
K. Schluens and
A. Mitritz and
K. Gwinner Adaptive Matching Using Object Models
Generated from Photometric Stereo Images 293
V. Roberto and
E. Trucco Sensor Planning Techniques and Active
Visual Inspection . . . . . . . . . . . 301
R. Enciso and
T. Vieville Experimental Self-Calibration from Four
Views . . . . . . . . . . . . . . . . . 307
G. Garibotto and
M. Ilic and
S. Masciangelo Vision-Based Navigation in Service
Robotics . . . . . . . . . . . . . . . . 313
K. Wu and
M. D. Levine Segmenting $3$D Objects into Geons . . . 321
C. Arcelli and
G. Ramella Delineation of Elongated Sub-Patterns in
a Piecewise Constant Foreground . . . . 335
F. Xia On a New Basic Concept and Topological
Invariant . . . . . . . . . . . . . . . 341
G. Lambert and
H. Gao Line Moments and Invariants for Real
Time Processing of Vectorized Contour
Data . . . . . . . . . . . . . . . . . . 347
V. Murino and
E. Frumento and
F. Gabino Restoration of Noisy Underwater Acoustic
Images Using Markov Random Fields . . . 355
B. Krebs and
B. Korn and
F. M. Wahl Plausibilistic Preprocessing of Sparse
Range Images . . . . . . . . . . . . . . 361
E. Puppo Segmentation/Reconstruction of Range
Images Based on Piecewise-Linear
Approximation . . . . . . . . . . . . . 367
T. Caelli and
M. Ollila In-Place Covariance Operators for
Computer Vision . . . . . . . . . . . . 375
M. Salotti and
M. Hatimi A New Heuristic Search for Boundary
Detection . . . . . . . . . . . . . . . 381
Y. Nakazawa and
T. Komatsu and
T. Saito Sub-Pixel Registration for Super High
Resolution Image Acquisition Based on
Temporal Integration . . . . . . . . . . 387
C. Ottonello and
S. Pagnan and
V. Murino Robust Features for Textures in Additive
Noise . . . . . . . . . . . . . . . . . 393
V. Caglioti Decomposing Contours into Curves of
Different Families . . . . . . . . . . . 399
D. G. Sorrenti A Proposal on Local and Adaptive
Determination of Filter Scale for Edge
Detection . . . . . . . . . . . . . . . 405
A. Larre and
E. Montseny On the Detection of Step Edges in
Algorithms Based on Gradient Vector
Analysis . . . . . . . . . . . . . . . . 411
S. Bres and
H. Emptoz Directions Analysis in Grey-level Images 417
M. Zribi and
F. Ghorbel An Unsupervised and Non-Parametric
Bayesian Image Segmentation . . . . . . 423
S. Vitulano and
C. Di Ruberto and
M. Nappi A.I. Based Image Segmentation . . . . . 429
F. Marino and
G. Mastronardi Quality Enhancement in Image Enlargement 435
I. Nystroem and
G. Borgefors Synthesising Objects and Scenes Using
the Reverse Distance Transformation in
$2$D and $3$D . . . . . . . . . . . . . 441
A. M. Landraud and
S. Oh Yum Texture Segmentation Using Local Phase
Differences in Gabor Filtered Images . . 447
M. Accame and
F. De Natale Disparity Estimation for Stereo
Sequences Based on Adaptive Size
Hierarchical Block Matching . . . . . . 453
Y. Zhang and
J. J. Gerbrands Matching of Stereo Curves --- A Closed
Form Solution . . . . . . . . . . . . . 459
G. Tascini and
P. Puliti and
P. Zingaretti Multi-Polygonal Object Tracking . . . . 465
Y. Cui and
J. Weng and
H. Reynolds Optimal Parameter Estimation of Ellipses 471
J. A. F. Leite and
E. R. Hancock A Linear Discriminator of Width . . . . 477
V. V. Kindratenko and
B. A. Treiger and
P. J. M. Van Espen Binarization of Inhomogeneously
Illuminated Images . . . . . . . . . . . 483
D. Attali and
G. Sanniti di Baja and
E. Thiel Pruning Discrete and Semicontinuous
Skeletons . . . . . . . . . . . . . . . 488
Y. B. Karasik On Commutative Properties of Halftoning
and Their Applications . . . . . . . . . 494
P. Bottoni and
L. Cinque and
S. Levialdi and
L. Lombardi Combining Resolution and Granularity for
Pattern Recognition . . . . . . . . . . 503
E. Turolla and
Y. Belaid and
A. Belaid Line and Cell Searching in Tables or
Forms . . . . . . . . . . . . . . . . . 509
G. Congedo and
G. Dimauro and
S. Impedovo and
G. Pirlo Describing Words by Graphs . . . . . . . 515
G. Congedo and
G. Dimauro and
A. M. Forte and
S. Impedovo Selecting Reference Signatures for
On-Line Signature Verification . . . . . 521
A. Zramdini and
R. Ingold ApOFIS: an A priori Optical Font
Identification System . . . . . . . . . 527
M. Burge and
G. Monagan Extracting Words and Multi-Part Symbols
in Graphics Rich Documents . . . . . . . 533
S. Bussi and
F. Mangili A Semi-Automatic Method for Form Layout
Description . . . . . . . . . . . . . . 539
G. Boccignone and
M. De Santo and
A. Chianese and
A. Picariello Improving the Use of Contours for
Off-line Cursive Script Segmentation . . 545
T. Tsuchiya and
N. Nakajima and
T. Kamimura A Method for Determining Address Format
in the Automated Sorting of Japanese
Mail . . . . . . . . . . . . . . . . . . 551
A. B. C. Zidouri and
S. Chinveeraphan and
M. Sato Structural Features by MCR Expression
for Printed Arabic Character Recognition 557
T. Shioyama and
A. Okumura and
Y. Aoki Genetic Algorithm for Thinning
Gray-Scale Images of Characters . . . . 563
G. Marcu and
S. Abe Blue-Print Document Analysis for Color
Classification . . . . . . . . . . . . . 569
G. Nagy Document Image Analysis: What is
Missing? . . . . . . . . . . . . . . . . 577
J. Hu and
M. K. Brown and
W. Turin Invariant Features for HMM Based On-Line
Handwriting Recognition . . . . . . . . 588
G. Congedo and
G. Dimauro and
S. Impedovo and
G. Pirlo A Robust Analytical Approach for
Handwritten Word Recognition . . . . . . 594
L. Cinque and
S. Di Zenzo and
S. Levialdi Recognition of Rotated Characters by
Inexact Matching . . . . . . . . . . . . 600
M. Chan and
G. T. Herman and
E. Levitan Bayesian Image Reconstruction Using a
High-Order Interacting MRF Model . . . . 609
H.-K. Choi and
E. Bengtsson and
T. Jarkrans and
J. Vasko Minimum Spanning Trees (MST) as a Tool
for Describing Tissue Architecture when
Grading Bladder Carcinoma . . . . . . . 615
M. Baroni and
G. Congiu and
A. Del Bimbo and
A. Evangelisti Symbolic Indexing of Cardiological
Sequences Through Dynamic Curve
Representations . . . . . . . . . . . . 621
A. N. Netravali Visual Communication . . . . . . . . . . 629
D. C. Popescu and
A. Dimca and
H. Yan Generalized Square Isometries --- An
Improvement for Fractal Image Coding . . 637
C. Braccini and
F. Cocurullo and
F. Lavagetto A Fast Algorithm for High Quality Vector
Quantization Codebook Design . . . . . . 643
H. Lin and
A. N. Venetsanopoulos Fast Fractal Image Coding Using Pyramids 649
A. Kurianski and
M. Nieniewski Hidden MRF Detection of Motion of
Objects with Uniform Brightness . . . . 657
T. Saito and
T. Komatsu Motion Analysis and Segmentation for
Object-Oriented Mid-Level Image
Representation . . . . . . . . . . . . . 663
L. Boeroeczky and
R. Fioravanti and
S. Fioravanti and
D. D. Giusto Speckle Noise Filtering in SAR Images
Using Wavelets . . . . . . . . . . . . . 671
R. Bolla and
M. Marchese and
C. Nobile and
S. Zappatore Prediction of Short-Term Evolution of
Cloud Formations Based on Meteosat Image
Sequences . . . . . . . . . . . . . . . 677
S. Praud and
P. Germain and
J. Plantier Prototyping of Interactive Satellite
Image Analysis Tools Using a Real-Time
Data-Flow Computer . . . . . . . . . . . 683
F. Marti and
M. Naldi Simulation of Aircraft Images for
Airport Surface Traffic Control . . . . 689
J.-C. Ossola and
M. Thonnat Cooperation of Knowledge Based Systems
for Galaxy Classification . . . . . . . 697
L. Wendling and
M. Zehana and
J. Desachy Fuzzy Segmentation and Structural
Knowledge for Satellite Image Analysis 703
J.- C. Di Martino and
S. Tabbone Detection of Lofar Lines . . . . . . . . 709
A. Tesei and
A. Trucco and
D. Zambonini A Fast Object Orientation Estimation and
Recognition Technique for Underwater
Acoustic Imaging . . . . . . . . . . . . 715
N. Semmar Applying Contextual Constraints to
Extract Symbolic Representation for
Image Understanding . . . . . . . . . . 721
A. R. Greig Application of the Hough Transform for
Weld Inspection Underwater . . . . . . . 731
M. Darboux and
J.-M. Dinten Development of an Automated Bond
Verification System for Advanced
Electronic Packages . . . . . . . . . . 737
L. Bruzzone and
F. Roli and
S. B. Serpico Crack Detection by a Mesure of Texture
Anisotropy . . . . . . . . . . . . . . . 743
M. Barni and
V. Cappellini and
A. Mecocci A Vision System for Automatic Inspection
of Meat Quality . . . . . . . . . . . . 748
A. Stansfield and
I. Page The Design of a New FPGA Architecture 1
R. Payne Self-Timed FPGA Systems . . . . . . . . 21
S. Churcher and
T. Kean and
B. Wilkie XC6200 Fastmap[TM] Processor Interface 36
G. Snider and
P. Kuekes and
W. B. Culbertson and
R. J. Carter The Teramac Configurable Computer Engine 44
T. Miyazaki and
K. Yamada and
A. Tsutsui and
H. Nakada Telecommunication-Oriented FPGA and
Dedicated CAD System . . . . . . . . . . 54
P. Dunn A Configurable Logic Processor for
Machine Vision . . . . . . . . . . . . . 68
P. Schulz Extending DSP-Boards with FPGA-Based
Structures of Interconnection . . . . . 78
R. V. Rachakonda and
P. M. Athanas and
A. L. Abbott High-Speed Region Detection and Labeling
Using an FPGA Based Custom Computing
Platform . . . . . . . . . . . . . . . . 86
C. Beaumont Using FPGAs as Control Support in MIMD
Executions . . . . . . . . . . . . . . . 94
F. Guerrero and
J. M. Noras Customised Hardware Based on the REDOC
III Algorithm for High-Performance Date
Ciphering . . . . . . . . . . . . . . . 104
A. Lawrence and
A. Kay and
W. Luk and
T. Nomura Using Reconfigurable Hardware to Speed
up Product Development and Performance 111
S. Casselman and
M. Thornburg and
J. Schewel Creation of Hardware Objects in a
Reconfigurable Computer . . . . . . . . 119
L. E. Turner and
P. J. W. Graumann Rapid Hardware Prototyping of Digital
Signal Processing Systems Using FPGAs 129
A. R. Naseer and
M. Balakrishnan and
A. Kumar Delay Minimal Mapping of RTL Structures
onto LUT Based FPGAs . . . . . . . . . . 139
E. I. Boemo and
G. Gonzalez de Rivera and
S. Lopez-Buedo and
J. M. Meneses Some Notes on Power Management on
FPGA-Based Systems . . . . . . . . . . . 149
K. Dimond An Automatic Technique for Realising
User Interaction Processing in PLD Based
Systems . . . . . . . . . . . . . . . . 158
C. A. Fields The Proper Use of Hierarchy in HDL-Based
High Density FPGA Design . . . . . . . . 168
W. P. Marnane and
C. N. Jordan and
F. J. O'Reilly Compiling Regular Arrays onto FPGAs . . 178
S. Guo and
W. Luk Compiling Ruby into FPGAs . . . . . . . 188
D. Greaves The CSYN Verilog Compiler and Other
Tools . . . . . . . . . . . . . . . . . 198
M. Gschwind and
V. Salapura A VHDL Design Methodolgy for FPGAs . . . 208
M. Khosravipour and
H. Gruenbacker VHDL-Based Rapid Hardware Prototyping
Using FPGA Technology . . . . . . . . . 218
M. Weinhardt Integer Programming for Partitioning in
Software Oriented Codesign . . . . . . . 227
K. Ahrens Test Standard Serves Dual Role as
On-Board Programming Solution . . . . . 235
U. Zahm and
T. Hollstein and
H.-J. Herpel and
N. Wehn Advanced Method for Industry Related
Education with an FPGA Design
Self-Learning Kit . . . . . . . . . . . 241
T. Jebelean FPGA Implementation of a Rational Adder 251
A. Klindworth FPLD Implementation of Computation over
Finite Fields GF(20m) with Applications
to Error Control Coding . . . . . . . . 261
G. Panneerselvam and
P. J. W. Graumann and
L. E. Turner Implementation of Fast Fourier
Transforms and Discrete Cosine
Transforms in FPGAs . . . . . . . . . . 272
N. Shirazi and
P. M. Athanas and
A. L. Abbott Implementation of a $2$-D Fast Fourier
Transform on an FPGA-Based Custom
Computing Machine . . . . . . . . . . . 282
R. J. Petersen and
B. L. Hutchings An Assessment of the Suitability of
FPGA-Based Systems for Use in Digital
Signal Processing . . . . . . . . . . . 293
P. Lee An FPGA Prototype for a Multiplierless
FIR Filter Built Using the Logarithmic
Number System . . . . . . . . . . . . . 303
L. E. Turner and
P. J. W. Graumann and
S. G. Gibb BIT-Serial FIR Filters with CSD
Coefficients for FPGAs . . . . . . . . . 311
M. Atia and
J. Bowles and
D. W. Clarke and
M. P. Henry A Self-Validating Temperature Sensor
Implemented in FPGAs . . . . . . . . . . 321
A. Wenban and
G. Brown and
J. O'Leary Developing Interface Libraries for
Reconfigurable Data Acquisition Boards 331
H.-J. Herpel and
U. Ober and
M. Glesner Prototype Generation of
Application-Specific Emedded Controllers
for Microsystems . . . . . . . . . . . . 341
P. Graham and
B. Nelson A Hardware Genetic Algorithm for the
Travelling Salesman Problem on SPLASH 2 352
M. Corba and
Z. Ninkov Modular Architecture for Real-Time
Astronomical Image Processing with FPGAs 362
D. R. Woodward and
I. Page and
D. C. Levy and
R. G. Harley A Programmable I/O System for Real-Time
AC Drive Control Applications . . . . . 370
R. Cuddapah and
M. Corba Reconfigurable Logic for Fault-Tolerance 380
S. A. Guccione and
M. J. Gonzalez Supercomputing with Reconfigurable
Architectures . . . . . . . . . . . . . 389
M. Gokhale and
A. Marks Automatic Synthesis of Parallel Programs
Targeted to Dynamically Reconfigurable
Logic Arrays . . . . . . . . . . . . . . 399
P. Lysaght and
H. Dick and
G. McGregor and
D. McConnell Prototyping Environment for Dynamically
Reconfigurable Logic . . . . . . . . . . 409
B. L. Hutchings and
M. J. Wirthlin Implementation Approaches for
Reconfigurable Logic Applications . . . 419
G. Brebner and
J. Gray Use of Reconfigurability in
Variable-Length Code Detection at Video
Rates . . . . . . . . . . . . . . . . . 429
S. A. Guccione and
M. Gonzalez Classification and Performance of
Reconfigurable Architectures . . . . . . 439
F. Ajili and
E. Contejean Complete Solving of Linear Diophantine
Equations and Inequations without Adding
Variables . . . . . . . . . . . . . . . 1--17
E. Domenjoud and
A. P. Tomas From Elliott-MacMahon to an Algorithm
for General Linear Constraints on
Naturals . . . . . . . . . . . . . . . . 18--35
B. M. Smith and
S. C. Brailsford and
P. M. Hubbard and
H. P. Williams The Progressive Party Problem: Integer
Linear Programming and Constraint
Programming Compared . . . . . . . . . . 36--52
M. Koubarakis From Local to Global Consistency in
Temporal Constraint Networks . . . . . . 53--69
I. P. Gent and
E. MacIntyre and
P. Prosser and
T. Walsh Scaling Effects in the CSP Phase
Transition . . . . . . . . . . . . . . . 70--87
M. Yokoo Asynchronous Weak-Commitment Search for
Solving Distributed Constraint
Satisfaction Problems . . . . . . . . . 88--102
J. Larrosa and
P. Meseguer Optimization-Based Heuristics for
Maximal Constraint Satisfaction . . . . 103--120
S. Grumbach and
J. Su First-Order Definability over Constraint
Databases . . . . . . . . . . . . . . . 121--136
D. Q. Goldin and
P. C. Kanellakis On Similarity Queries for Time-Series
Data: Constraint Specification and
Implementation . . . . . . . . . . . . . 137--153
P. Z. Revesz Safe Stratified Datalog with Integer
Order Programs . . . . . . . . . . . . . 154--169
M. J. Maher Constrained Dependencies . . . . . . . . 170--185
P. Girodias and
E. Cerny and
W. J. Older Solving Linear, Min and Max Constraint
Systems Using CLP Based on Relational
Interval Arithmetic . . . . . . . . . . 186--203
M. Meier Debugging Constraint Programs . . . . . 204--221
A. D. Kelly and
A. Macdonald and
K. Marriott and
H. Soendergaard An Optimizing Compiler for CLP(R) . . . 222--239
R. Dechter and
P. Van Beek Local and Global Relational Consistency 240--257
F. Bacchus and
P. Van Run Dynamic Variable Ordering in CSPs . . . 258--275
P. Jeavons and
D. Cohen and
M. Gyssens A Unifying Framework for Tractable
Constraints . . . . . . . . . . . . . . 276--291
F. Bacchus and
A. Grove On the Forward Checking Algorithm . . . 292--309
K. Marriott and
M. Odersky A Confluent Calculus for Concurrent
Constraint Programming with Guarded
Choice . . . . . . . . . . . . . . . . . 310--327
A. Podelski and
G. Smolka Situated Simplification . . . . . . . . 328--344
C. Codognet and
P. Codognet Guarded Constructive Disjunction: Angel
or Demon? . . . . . . . . . . . . . . . 345--361
E. Zaffanella Domain Independent Ask Approximation in
CCP . . . . . . . . . . . . . . . . . . 362--379
F. Baader and
K. U. Schulz On the Combination of Symbolic
Constraints, Solution Domains, and
Constraint Solvers . . . . . . . . . . . 380--397
J. Zhang and
H. Zhang Constraint Propagation in Model
Generation . . . . . . . . . . . . . . . 398--414
A. Werner Normalizing Narrowing for Weakly
Terminating and Confluent Systems . . . 415--430
L. Colussi and
E. Marchiori and
M. Marchiori On Termination of Constraint Logic
Programs . . . . . . . . . . . . . . . . 431--448
H. Simonis and
T. Cornelissens Modelling Producer/Consumer Constraints 449--462
D. Sabin and
M. C. Sabin and
R. D. Russell and
E. C. Freuder A Constraint-Based Approach to
Diagnosing Software Problems in Computer
Networks . . . . . . . . . . . . . . . . 463--480
N. Guerinik and
M. Van Caneghem Solving Crew Scheduling Problems by
Constraint Programming . . . . . . . . . 481--498
M. Paltrinieri A Visual Constraint-Programming
Environment . . . . . . . . . . . . . . 499--514
A. Rauzy Polynomial Restrictions of SAT: What Can
Be Done with an Efficient Implementation
of the Davis and Putnam's Procedure? . . 515--532
S. Prestwich and
S. Mudambi Improved Branch and Bound in Constraint
Logic Programming . . . . . . . . . . . 533--548
H.-J. Goltz Reducing Domains for Search in CLP(FD)
and Its Application to Job-Shop
Scheduling . . . . . . . . . . . . . . . 549--562
B. Buchberger What is Symbolic Computation? . . . . . 563
P. Van Hentenryck Constraint Solving for Combinatorial
Search Problems: A Tutorial . . . . . . 564--587
V. Saraswat The Concurrent Constraint Programming
Research Programmes . . . . . . . . . . 588
N. Bjoerner and
A. Browne and
Z. Manna Automatic Generation of Invariants and
Intermediate Assertions . . . . . . . . 589--623
A. Borning and
B. N. Freeman-Benson The OTI Constraint Solver: A Constraint
Library for Constructing Interactive
Graphical User Interfaces . . . . . . . 624--628
M. P. J. Fromherz and
V. A. Saraswat Model-Based Computing: Using Concurrent
Constraint Programming for Modeling and
Model Compilation . . . . . . . . . . . 629--635
M. Meier and
A. Herold CLP in ECRC . . . . . . . . . . . . . . 636--639
Toura\"\ivane Constraint Programming and Industrial
Applications . . . . . . . . . . . . . . 640--642
H. Simonis The CHIP System and Its Applications . . 643--646
J.-F. Puget Applications of Constraint Programming 647--650
R. Steinmetz and
L. C. Wolf Evaluation of a CPU Scheduling Mechanism
for Synchronized Multimedia Streams . . 1
J. Boulos and
D. Boudigue An Application of SMART2: A Tool for
Performance Evaluation of Relational
DataBase Programs . . . . . . . . . . . 11
T. K. Tsai and
R. K. Iyer Measuring Fault Tolerance with the FTAPE
Fault Injection Tool . . . . . . . . . . 26
B. Vinck and
H. Bruneel Queueing Analysis of Discrete-Time
Buffer Systems with Compound Arrival
Process and Variable Service Capacity 41
M. Paterok and
P. Dauphin and
U. Herzog The Method of Moments for Higher Moments
and the Usefulness of Formula
Manipulation Systems . . . . . . . . . . 56
U. Langer Integration of Performance Evaluations
in the Design Process of CPUs and
Computer Systems . . . . . . . . . . . . 71
L. G. Williams and
C. U. Smith Information Requirements for Software
Performance Engineering . . . . . . . . 86
R. Pooley Integrating Behavioural and Simulation
Modelling . . . . . . . . . . . . . . . 102
J. Dunlop Assessment of 3rd Generation Mobile
Systems by Simulation . . . . . . . . . 117
C. Herrmann How Good is Stationary Analysis for the
Transient Phenomena of Connection
Admission in ATM? . . . . . . . . . . . 135
P. Buchholz On the Exact and Approximate Analysis of
Hierarchical Discrete Time Queueing
Networks . . . . . . . . . . . . . . . . 150
M. Telek and
A. Bobbio and
L. Jereb and
A. Puliafito Steady State Analysis of Markov
Regenerative SPN with Age Memory Policy 165
A. Touzene A New Iterative Method for Solving
Large-Scale Markov Chains . . . . . . . 180
R. German and
J. Mitzlaff Transient Analysis of Deterministic and
Stochastic Petri Nets with TimeNET . . . 209
F. Bause and
P. Buchholz and
P. Kemper QPN-Tool for the Specification and
Analysis of Hierarchically Combined
Queueing Petri Nets . . . . . . . . . . 224
B. R. Haverkort Approximate Analysis of Networks of
PHdPHd1dK Queues: Theory and Tool
Support . . . . . . . . . . . . . . . . 239
B. W. Mohr and
A. D. Malony and
K. Shanmugam Speedy: An Integrated Performance
Extrapolation Tool for pC++ Programs . . 254
P. Dauphin and
R. Hofmann Hasse: a Tool for Analyzing Causal
Relationships in Parallel and
Distributed Systems . . . . . . . . . . 269
J. Brehm and
M. Madhukar and
E. Smirni and
L. Dowdy PerPreT --- A Performance Prediction
Tool for Massively Parallel Systems . . 284
A. J. C. Van Gemund Compile-Time Performance Prediction of
Parallel Systems . . . . . . . . . . . . 299
S. V. Raghavan and
P. J. Joseph and
G. Haring Workload Models for Multiwindow
Distributed Environments . . . . . . . . 314
M. Lang and
M. Stuempfle and
H. Kocher Building a Hierarchical CAN-Simulator
Using an Object-Oriented Environment . . 327
A. Ferscha and
A. D. Malony Performance-Oriented Development of
Irregular, Unstructured and Unbalanced
Parallel Applications in the N-MAP
Environment . . . . . . . . . . . . . . 340
G. Hills and
J. Rolia and
G. Serazzi Performance Engineering of Distributed
Software Process Architectures . . . . . 357
O. Hermanns Performance Evaluation of Connectionless
Multicast Protocols for Cooperative
Multimedia Applications . . . . . . . . 372
C. Lindemann and
F. Schoen Modeling Relaxed Memory Consistency
Protocols . . . . . . . . . . . . . . . 385
A. Fasbender and
P. Davids Measurement, Modelling and Emulation of
Internet Round-Trip Delays . . . . . . . 401
B. Bhargava and
M. Annamalai Communication Costs in Digital Library
Databases . . . . . . . . . . . . . . . 1
A. Dogac and
M. Altinel and
C. Ozkan and
B. Arpinar METU Object-Oriented DBMS Kernel . . . . 14
Y. S. Jun and
S. I. Yoo Design and Implementation of the
spareC++ OODBPL . . . . . . . . . . . . 28
J. Kusch and
P. Hartel and
T. Hartmann and
G. Saake Gaining a Uniform View of Different
Integration Aspects in a Prototyping
Environment . . . . . . . . . . . . . . 38
J. Yang and
M. Papazoglou A Frame-Based Approach for
Interoperation Support in Multidatabase
Systems . . . . . . . . . . . . . . . . 48
F. P. Coenen and
I. Finch and
M. J. R. Shave and
T. J. M. Bench-Capon Developing Distributed Database
Applications Using TSL . . . . . . . . . 58
C. Boehm and
A. Oppitz and
P. Vogel and
S. Wiesener Prints of the 17th Century in a
Distributed Digital Library System . . . 68
O. Pastor Lopez and
I. Ramos Salavert and
J. H. Canos Cerda OASIS v2: A Class Definition Language 79
C. Souza dos Santos Design and Implementation of
Object-Oriented Views . . . . . . . . . 91
F. Di Loreto and
F. Ferri and
F. Massari and
M. Rafanelli A Visual Object-Oriented Query Language
for Geographic Information Systems . . . 103
O. Kagawa and
K. Katayama and
S. Konomi and
Y. Kambayashi Capturing Essential Questions Using
Question Support Facilities in the VIEW
Classroom . . . . . . . . . . . . . . . 114
A. De Korvin and
G. Quirchmayr and
S. Hashemi A Fuzzy Model of Managerial Decision
Making Incorporating Risk and Ambiguity
Aversion . . . . . . . . . . . . . . . . 124
T. Krueger and
G. Kurian and
A. Nair and
G. Neumann People Oriented Software Technology, and
Its Use in Environmental Reporting . . . 136
A. Hameurlain and
F. Morvan A Cost Evaluator for Parallel Database
Systems . . . . . . . . . . . . . . . . 146
K.-L. Tan and
J. X. Yu A Performance Study of Declustering
Strategies for Parallel Spatial
Databases . . . . . . . . . . . . . . . 157
J. Kempe and
W. Kowarschick and
W. Kiessling and
R. Hitzelberger Benchmarking Object-Oriented Database
Systems for CAD . . . . . . . . . . . . 167
G. Pernul and
H. Hasenauer Combining Reverse with Forward Database
Engineering --- a Step Forward to Solve
the Legacy System Dilemma . . . . . . . 177
J. Darmont and
A. Attoui and
M. Gourgand Performance Evaluation for Clustering
Algorithms in Object-Oriented Database
Systems . . . . . . . . . . . . . . . . 187
W. Naqvi and
S. Panyiotou Applied Active Databases for Evolving
Image Processing Algorithms . . . . . . 197
B. Beattie and
F. Coenen and
T. J. M. Bench-Capon and
B. M. Diaz Spatial Reasoning for GIS Using a
Tesseral Data Representation . . . . . . 207
J.-K. Kim and
J.-W. Chang A New Dynamic Signature File Method in
Parallel Processing Environment . . . . 217
C. Yahata and
M. Takizawa General Protocols for Consensus in
Distributed Systems . . . . . . . . . . 227
H. Naja and
N. Mouaddib The Multiple Representation in an
Architectural Application . . . . . . . 237
P. Breche and
F. Ferrandina and
M. Kuklok Simulation of Schema Change Using Views 247
P. François and
P. Bazex SGML/HyTime Repositories: Requirements
and Data Modelling Using Object-Oriented
Database Concepts . . . . . . . . . . . 259--271
I. A. Macleod and
D. Narine A Depository for Structured Text Objects 272
O. Signore Issues on Hypertext Design . . . . . . . 283
P. Becker A Temporal Logic Based Approach for
Querying Lists, Trees, and DAG's in
Databases . . . . . . . . . . . . . . . 293
F. Buccafurri and
N. Leone and
L. Palopoli and
P. Rullo Disjunctive Ordered Logic . . . . . . . 303
X. Du and
N. Ishii An Algebraic Rewriting Theorem of
Multiple Linear Recursions and Its
Applications . . . . . . . . . . . . . . 313
B. Bhargava and
S. Goel A Layered Architecture for Supporting
Objects in a Relational System: A
Performance Study . . . . . . . . . . . 323
G. Bellavia and
D. Maio and
S. Rizzi An SQL Extension Supporting User
Viewpoints . . . . . . . . . . . . . . . 334
C. Boucher and
C. Daul and
P. Graebling and
E. Hirsch KBED: a Knowledge-Based Edge Detection
System . . . . . . . . . . . . . . . . . 344
J. Debenham Understanding Expert Systems Maintenance 354
M. Abel and
E. B. Reategui and
J. M. V. De Castilho and
J. Campbell Evaluating Case-Based Reasoning in a
Geological Domain . . . . . . . . . . . 364
L. Bardis and
G. Grigoropoulos and
S. Kokkotos and
T. Loukakis An Expert Loading System for Chemical
and Product Carriers . . . . . . . . . . 374
D. Gazzotti and
L. Piancastelli and
C. Sartori and
D. Beneventano FuzzyBase: A Fuzzy Logic Aid for
Relational Database Queries . . . . . . 385
M. Mechkour EMIR02: An Extended Model for Image
Representation and Retrieval . . . . . . 395
L. Fleury and
C. Djeraba and
H. Briand and
J. Philippe Rule Evaluations in a KDD System . . . . 405
A. M. J. Miller and
W. A. Gray and
N. J. Fiddian Object-Oriented Knowledge Based
Imputation . . . . . . . . . . . . . . . 415
A. Motro and
S. Goullioud Knowledge Organization for Exploration 426
F. Cesarini and
M. Gori and
S. Marinai and
G. Soda Data Extraction from Form Images . . . . 438
M. Choquette and
D. Poulin and
P. Bratley Compiling Legal Hypertexts . . . . . . . 449
B. Eaglestone Composition Tools Integration with a
Music Database System . . . . . . . . . 459
C. Soutou Relational Database Reverse Engineering:
Extraction of an IFO2 Schema . . . . . . 469
E. Suekan and
Z. M. Oezsoyoglu Extended Set Operators for Nested
Relations and Complex Objects . . . . . 479
M. Aritsugi and
K. Teramoto and
G. Bai and
A. Makinouchi Several Implementations of Persistent
Pointers in a Memory-Mapped I/O
Environment . . . . . . . . . . . . . . 490
S. Choenni and
H. Wagterveld and
H. M. Blanken and
T. Chang TOPYDE: A Tool for Physical Database
Design . . . . . . . . . . . . . . . . . 502
Y. Sohn and
S. Moon Tightly Secure Transaction Scheduler in
Multi-Level Secure Database Management
Systems . . . . . . . . . . . . . . . . 512
C. Ozkan and
A. Dogac and
C. Evrendilek A Heuristic Approach for Optimization of
Path Expressions . . . . . . . . . . . . 522
T. Gross and
R. Traunmueller Problem Dimensions in Design of CSCW
Systems . . . . . . . . . . . . . . . . 535
J. Kueng and
R. Wagner and
W. Woess A Rule-Driven Transformation Processor
for Bill of Material Data . . . . . . . 545
S.-H. Lee and
Y. Kambayashi Functions of VIEW Conf to Support
Dynamic Features of Meetings . . . . . . 554
D. Maio and
S. Rizzi CICERO: An Assistant for Planning Visits
to a Museum . . . . . . . . . . . . . . 564
C. Bauzer-Medeiros and
G. Vossen and
M. Weske WASA: A Workflow-Based Architecture to
Support Scientific Database Applications 574
W. Winiwarter MIDAS --- The Morphological Component of
the IDA System for Efficient Natural
Language Interface Design . . . . . . . 584
Y. Manolopoulos and
A. Vakali Partial Match Retrieval in Two-Headed
Disks . . . . . . . . . . . . . . . . . 594
F. De Ferreira Rezende and
T. Haerder Concurrency Control in Nested
Transactions with Enhanced Lock Modes
for KBMSs . . . . . . . . . . . . . . . 604
M. W. Youssef and
N. Revell A Measure for Measure . . . . . . . . . 614
S. Teufel and
J. H. P. Eloff and
K. Bauknecht and
D. Karagiannis Information Security Concepts in
Computer Supported Cooperative Work . . 621
L. Preucil and
P. Stepan An Intelligent Self-Guided Vehicle for
CIM Systems . . . . . . . . . . . . . . 632
V. Campr and
Z. Kouba and
T. Vlcek Information System for Onco-Pathology:
From an Expert System to WWW . . . . . . 642
S. Even and
G. Itkis and
S. Rajsbaum On Mixed Connectivity Certificates . . . 1
A. Baeumker and
W. Dittrich and
F. Meyer auf der Heide Truly Efficient Parallel Algorithms:
$c$-Optimal Multisearch for an Extension
of the BSP Model . . . . . . . . . . . . 17
S. Chaudhuri and
C. D. Zaroliagis Optimal Parallel Shortest Paths in Small
Treewidth Digraphs . . . . . . . . . . . 31
A. Czumaj and
F. Meyer auf der Heide and
V. Stemann Shared Memory Simulations with
Triple-Logarithmic Delay . . . . . . . . 46
K. T. Herley and
A. Pietracaprina and
G. Pucci Implementing Shared Memory on
Multi-Dimensional Meshes and on the
Fat-Tree . . . . . . . . . . . . . . . . 60
M. Kaufmann and
J. F. Sibeyn and
T. Suel Beyond the Worst-Case Bisection Bound:
Fast Sorting and Ranking on Meshes . . . 75
B. S. Chlebus and
L. Gasieniec and
A. Pelc Fast Deterministic Simulation of
Computations on Faulty Parallel Machines 89
B. Codenotti and
P. Gemmell and
J. Simon Average Circuit Depth and Average
Communication Complexity . . . . . . . . 102
J. Gil and
A. Itai Packing Trees . . . . . . . . . . . . . 113
V. G. Deineko and
R. Rudolf and
G. J. Woeginger Sometimes Travelling is Easy: The Master
Tour Problem . . . . . . . . . . . . . . 128
I. Pe'er and
R. Shamir Interval Graphs with Side (and Size)
Constraints . . . . . . . . . . . . . . 142
A. V. Goldberg and
A. V. Karzanov Maximum Skew-Symmetric Flows . . . . . . 155
M. R. Henzinger and
H. La Poutre Certificates and Fast Algorithms for
Biconnectivity in Fully-Dynamic Graphs 171
K. Mehlhorn and
V. Priebe On the All-Pairs Shortest Path Algorithm
of Moffat and Takaoka . . . . . . . . . 185
T. Husfeldt Fully Dynamic Transitive Closure in
Plane Dags with One Source and One Sink 199
Q.-W. Feng and
R. F. Cohen and
P. Eades Planarity for Clustered Graphs . . . . . 213
B. Chor and
M. Sudan A Geometric Approach to Betweenness . . 227
E. Papadopoulou and
D. T. Lee Efficient Computation of the Geodesic
Voronoi Diagram of Points in a Simple
Polygon . . . . . . . . . . . . . . . . 238
M. De Berg Linear Size Binary Space Partitions for
Fat Objects . . . . . . . . . . . . . . 252
L. P. Chew and
D. Dor and
A. Efrat and
K. Kedem Geometric Pattern Matching in
$d$-Dimensional Space . . . . . . . . . 264
Cao An Wang and
F. Chin Finding the Constrained Delaunay
Triangulation and Constrained Voronoi
Diagram of a Simple Polygon in
Linear-Time . . . . . . . . . . . . . . 280
L. Arge and
D. E. Vengroff and
J. S. Vitter External-Memory Algorithms for
Processing Line Segments in Geographic
Information Systems . . . . . . . . . . 295
E. Fernandes Barbosa and
G. Navarro and
R. Baeza-Yates and
C. Perleberg Optimized Binary Search and Text
Retrieval . . . . . . . . . . . . . . . 311
E. Sutinen and
J. Tarhio On Using $q$-Gram Locations in
Approximate String Matching . . . . . . 327
F. Meyer auf der Heide and
C. Scheideler Routing with Bounded Buffers and
Hot-Potato Routing in Vertex-Symmetric
Networks . . . . . . . . . . . . . . . . 341
J. Westbrook Load Balancing for Response Time . . . . 355
P. Berthome and
T. Duboux and
T. Hagerup and
I. Newman Self-Simulation for the Passive Optical
Star Model . . . . . . . . . . . . . . . 369
M. Farach and
T. M. Przytycka and
M. Thorup Computing the Agreement of Trees with
Bounded Degrees . . . . . . . . . . . . 381
B. Yu and
J. Cheriyan Approximation Algorithms for Feasible
Cut and Multicut Problems . . . . . . . 394
M. Serna and
F. Xhafa On Parallel versus Sequential
Approximation . . . . . . . . . . . . . 409
F. Wagner and
A. Wolff An Efficient and Effective Approximation
Algorithm for the Map Labeling Problem 420
T. Kloks and
D. Kratsch and
H. Mueller Approximating the Bandwidth for
Asteroidal Triple-free Graphs . . . . . 434
D. Dubhashi and
A. Panconesi Near-Optimal Distributed Edge Coloring 448
M. Bern and
D. Eppstein and
L. Guibas and
J. Hershberger The Centroid of Points with Approximate
Weights . . . . . . . . . . . . . . . . 460
A. S. Schulz and
R. Weismantel and
G. M. Ziegler 0/1-Integer Programming: Optimization
and Augmentation are Equivalent . . . . 473
B. Kalyanasundaram and
K. R. Pruhs The Online Transportation Problem . . . 484
P. Mutzel A Polyhedral Approach to Planar
Augmentation and Related Problems . . . 494
O. Gerstel and
A. Wool and
S. Zaks Optimal Layouts on a Chain ATM Network 508
N. Alou and
Z. Galil and
M. Yung Efficient Dynamic-Resharing ``Verifiable
Secret Sharing'' Against Mobile
Adversary . . . . . . . . . . . . . . . 523
S. Aggarwal and
J. A. Garay and
A. Herzberg Adaptive Video On Demand . . . . . . . . 538
P. V. Poblete and
J. I. Munro and
T. Papadakis The Binomial Transform and its
Application to the Analysis of Skip
Lists . . . . . . . . . . . . . . . . . 554
P. Damaschke An Optimal Parallel Algorithm for
Digital Curve Segmentation Using Hough
Polygons and Monotone Function Search 570
R. Klein and
A. Lingas Fast Skeleton Construction . . . . . . . 582
T. Gautier and
J. L. Roch and
G. Villard Regular Versus Irregular Problems and
Algorithms . . . . . . . . . . . . . . . 1
G. H. Botorog and
H. Kuchen Algorithmic Skeletons for Adaptive
Multigrid Methods . . . . . . . . . . . 27
M. Ujaldon and
S. D. Sharma and
J. Saltz and
E. L. Zapata Run-Time Techniques for Parallelizing
Sparse Matrix Problems . . . . . . . . . 43
V. Auletta and
A. Negro and
V. Scarano Fast Execution of Irregularly Structured
Programs with Low Communication
Frequency on the Hypercube . . . . . . . 59
V. P. Krothapalli and
T. Jeyaraman and
M. Giesbrecht Run-Time Parallelization of Irregular
DOACROSS Loops . . . . . . . . . . . . . 75
B. Hao and
D. Pearson Instruction Scheduling and Global
Register Allocation for SIMD
Multiprocessors . . . . . . . . . . . . 81
S. Manoharan General Bounds for the Assignment of
Irregular Dependency Graphs . . . . . . 87
R. K. Sen A New Scheme for Dynamic Processor
Assignment for Irregular Problems . . . 99
C. Aykanat and
I. Haritaoglu An Efficient Mean Field Annealing
Formulation for Mapping Unstructured
Domains to Hypercubes . . . . . . . . . 115
C. Walshaw and
M. Cross and
M. G. Everett and
S. Johnson Partitioning and Mapping of Unstructured
Meshes to Parallel Machine Topologies 121
C. Fu and
T. Yang and
A. Gerasoulis Integrating Software Pipelining and
Graph Scheduling for Iterative
Scientific Computations . . . . . . . . 127
K. Jansen and
S. Oehring Approximation Algorithms for Time
Constrained Scheduling . . . . . . . . . 143
C. Boeres and
G. Chochia and
P. Thanisch On the Scope of Applicability of the ETF
Algorithm . . . . . . . . . . . . . . . 159
F. M. G. Franca and
L. Faria Optimal Mapping of
Neighbourhood-Constrained Systems . . . 165
C. R. Cantor and
T. Sano and
N. E. Broude and
C. L. Smith Parallel Processing in DNA Analysis . . 171
P. W. Grant and
M. F. Webster and
X. Zhang Solving Computational Fluid Dynamics
Problems on Unstructured Grids with
Distributed Parallel Processing . . . . 187
R. Diekmann and
D. Meyer and
B. Monien Parallel Decomposition of Unstructured
FEM-Meshes . . . . . . . . . . . . . . . 199
M. A. Garcia Massively Parallel Approximation of
Irregular Triangular Meshes with G01
Parametric Surfaces . . . . . . . . . . 217
T. Bubeck and
M. Hiller and
W. Kuechlin and
W. Rosenstiel Distributed Symbolic Computations with
DTS . . . . . . . . . . . . . . . . . . 231
A. Das and
L. E. Moser and
P. M. Melliar-Smith A Parallel Processing Paradigm for
Irregular Applications . . . . . . . . . 249
S. Miguet and
J.-M. Pierson Load Balancing Strategies for a Parallel
System of Particles . . . . . . . . . . 255
A. Benaini and
D. Laiymani and
G. R. Perrin A Reconfigurable Parallel Algorithm for
Sparse Cholesky Factorization . . . . . 261
A. Uhl Adapted Wavelet Analysis on Moderate
Parallel Distributed Memory MIMD
Architectures . . . . . . . . . . . . . 275
S. Tschoeke and
N. Holthoefer A New Parallel Approach to the
Constrained Two-Dimensional Cutting
Stock Problem . . . . . . . . . . . . . 285
W. Hasselbring and
R. B. Fisher Using the ProSet-Linda Prototyping
Language for Investigating MIMD
Algorithms for Model Matching in $3$-D
Computer Vision . . . . . . . . . . . . 301
P. M. Pardalos and
L. Pitsoulis and
T. Mavridou and
M. G. C. Resende Parallel Search for Combinatorial
Optimization: Genetic Algorithms,
Simulated Annealing, Tabu Search and
GRASP . . . . . . . . . . . . . . . . . 317
P. Sanders Better Algorithms for Parallel
Backtracking . . . . . . . . . . . . . . 333
H. Hopp and
P. Sanders Parallel Game Tree Search on SIMD
Machines . . . . . . . . . . . . . . . . 349
A. De Bruin and
G. A. P. Kindervater and
H. W. J. M. Trienekens Asynchronous Parallel Branch and Bound
and Anomalies . . . . . . . . . . . . . 363
P. Sanders Fast Priority Queues for Parallel
Branch-and-Bound . . . . . . . . . . . . 379
R. Correa A Parallel Formulation for General
Branch-and-Bound Algorithms . . . . . . 395
L. P. Kaelbling and
M. L. Littman and
A. R. Cassandra Partially Observable Markov Decision
Processes for Artificial Intelligence 1
W. Menzel Robust Processing of Natural Language 19
W. Bricken Distinction Networks . . . . . . . . . . 35
R. Bajcsy and
J. Kosecka The Problem of Signal and Symbol
Integration: A Study of Cooperative
Mobile Autonomous Agent Behaviors . . . 49
S. Schroedl An Extension of Explanation-Based
Generalization to Negation as Failure 65
R. Englert Inducing Integrity Constraints from
Knowledge Bases . . . . . . . . . . . . 77
W. Hoetker Dynamic Structuring of Lexical Knowledge
in a Reusability Scenario . . . . . . . 89
J. Eckerle and
S. Schuierer Efficient Memory-Limited Graph Search 101
K. Schnattinger and
U. Hahn and
M. Klenner Quality-Based Terminological Reasoning
for Concept Learning . . . . . . . . . . 113
F. W. Bergmann and
J. J. Quantz Parallelizing Description Logics . . . . 137
J. Giesl Automated Termination Proofs with
Measure Functions . . . . . . . . . . . 149
M. Thielscher What Is A Skeptical Proof? . . . . . . . 161
E. Weydert Default Entailment --- A Preferential
Construction Semantics for Defeasible
Inference . . . . . . . . . . . . . . . 173
B. Van Linder and
W. Van der Hoek and
J.-J. C. Meyer Actions that Make you Change your Mind 185
A. Radzikowska Reasoning about Action with Typical and
Atypical Effects . . . . . . . . . . . . 197
W. Lukaszewicz and
E. Madalinska-Bugaj Reasoning about Action and Change:
Actions with Abnormal Effects . . . . . 209
M. Bouzid and
A. Ligeza Temporal Logic Based on Characteristic
Functions . . . . . . . . . . . . . . . 221
B. Nebel Computational Properties of Qualitative
Spatial Reasoning: First Results . . . . 233
K.-P. Gapp An Empirically Validated Model for
Computing Spatial Relations . . . . . . 245
G. Herzog Integrating Vision and Language: Towards
Automatic Description of Human Movements 257
O. De Moor A Generic Program for Sequential
Decision Processes . . . . . . . . . . . 1--23
K. Marriott Parsing Visual Languages with Constraint
Multiset Grammars . . . . . . . . . . . 24--25
M. P. Jones Programming with Constructor Classes . . 26
R. Douence and
P. Fradet Towards a Taxonomy of Functional
Language Implementations . . . . . . . . 27--44
F. Kamareddine and
A. Rios A lambda-Calculus \`a la De Bruijn with
Explicit Substitutions . . . . . . . . . 45--62
H. Fassbender A Verified Implementation of Narrowing 63--80
B. Buetow and
R. Giegerich and
E. Ohlebusch and
S. Thesing A New Calculus for Semantic Matching . . 81--96
K. Nakahara and
A. Middeldorp and
T. Ida A Complete Narrowing Calculus for
Higher-Order Functional Logic
Programming . . . . . . . . . . . . . . 97--114
J. Freire and
R. Hu and
T. Swift and
D. S. Warren Exploiting Parallelism in Tabled
Evaluations . . . . . . . . . . . . . . 115--132
S. Dawson and
C. R. Ramakrishnan and
I. V. Ramakrishnan Design and Implementation of Jump Tables
for Fast Indexing of Logic Programs . . 133--150
M. Mehl and
R. Scheidhauer and
C. Schulte An Abstract Machine for Oz . . . . . . . 151--168
A. Mycroft and
K. L. Solberg Uniform PERs and Comportment Analysis 169--188
E. Barendsen and
S. Smetsers Uniqueness Type Inference . . . . . . . 189--206
B. C. Massey and
E. Tick Modes of Comprehension: Mode Analysis of
Arrays and Array Comprehensions . . . . 207--222
W.-N. Chin and
S.-C. Khoo Better Consumers for Deforestation . . . 223--240
M. Mohnen Efficient Compile: Time Garbage
Collection for Arbitrary Data Structures 241--258
R. Glueck and
J. Joergensen Efficient Multi-level Generating
Extensions . . . . . . . . . . . . . . . 259--278
J. Hatcliff Mechanically Verifying the Correctness
of an Offline Partial Evaluator . . . . 279--298
F. Henglein and
D. Sands A Semantic Model of Binding Times for
Safe Partial Evaluation . . . . . . . . 299--320
R. Noble and
C. Runciman Gadgets: Lazy Functional Components for
Graphical User Interfaces . . . . . . . 321--340
T. Vullinghs and
D. Tuijnman and
W. Schulte Lightweight GUIs for Functional
Programming . . . . . . . . . . . . . . 341--356
H. McEvoy and
P. H. Hartel Local Linear Logic for Locality
Consciousness in Multiset Transformation 357--379
J.-H. Rety The Notion of Floundering for
SLDNF-Resolution Revisited . . . . . . . 380--396
P. Arenas-Sanchez and
A. Dovier Minimal Set Unification . . . . . . . . 397--414
Y. Shimajiri and
H. Seki and
H. Itoh Goal-Directed Query Processing in
Disjunctive Logic Databases . . . . . . 415--430
L. Colussi and
E. Marchiori and
M. Marchiori A Dataflow Semantics for Constraint
Logic Programs . . . . . . . . . . . . . 431--450
P. Achten A Functional Framework for
Deterministically Interleaved
Interactive Programs . . . . . . . . . . 451--452
P. Arenas-Sanchez and
A. Gil-Luezas A Debugging Model for Lazy Narrowing . . 453--454
X. Burgues and
X. Franch Evaluation of Expressions in a
Multiparadigm Framework . . . . . . . . 455--456
W. Hans and
F. Saenz and
S. Winkler An Expression-Or-Parallel Implementation
for a Functional Logic Language . . . . 457--458
M. Meriste and
J. Penjam Attributed Models of Executable
Specifications . . . . . . . . . . . . . 459--460
H. Saglam and
J. P. Gallagher Approximating Constraint Logic Programs
Using Polymorphic Types and Regular
Descriptions . . . . . . . . . . . . . . 461--462
B.-M. Tong and
H.-F. Leung Performance of a Data-Parallel
Concurrent Constraint Programming System 463--464
J. E. Wunderwald A Portable Implementation of Memoing
Evaluation . . . . . . . . . . . . . . . 465--466
D. A. Schmidt Natural-Semantics-Based Abstract
Interpretation . . . . . . . . . . . . . 1
M. Tofte Region Inference for Higher-Order
Functional Languages . . . . . . . . . . 19
P. Wolper and
B. Boigelot An Automata-Theoretic Approach to
Presburger Arithmetic Constraints . . . 21
M. Alt and
F. Martin Generation of Efficient Interprocedural
Analyzers with PAG . . . . . . . . . . . 33
R. Cleaveland and
P. Iyer and
D. Yankelevich Optimality in Abstractions of Model
Checking . . . . . . . . . . . . . . . . 51
C. Colby Determining Storage Properties of
Sequential and Concurrent Programs with
Assignment and Structured Data . . . . . 64
S. R. Coorg Partitioning Non-Strict Functional
Languages for Multi-Threaded Code
Generation . . . . . . . . . . . . . . . 82
A. Cortesi and
G. File and
R. Giacobazzi and
C. Palamidessi Complementation in Abstract
Interpretation . . . . . . . . . . . . . 100
D. Dussart and
F. Henglein and
C. Mossin Polymorphic Recursion and Subtype
Qualifications: Polymorphic Binding-Time
Analysis in Polynomial Time . . . . . . 118
K.-F. Faxen Optimizing Lazy Functional Programs
Using Flow Inference . . . . . . . . . . 136
J. Giesl Termination Analysis for Functional
Programs Using Term Orderings . . . . . 154
J. Hannan A Type-Based Analysis for Stack
Allocation in Functional Languages . . . 172
N. Heintze Control-Flow Analysis and Type Systems 189
S. Jagannathan and
A. Wright Effective Flow Analysis for Avoiding
Run-Time Checks . . . . . . . . . . . . 207
N. Kobayashi and
M. Nakade and
A. Yonezawa Static Analysis of Communication for
Asynchronous Concurrent Programming
Languages . . . . . . . . . . . . . . . 225
M. R. K. Krishna Rao and
R. K. Shyamasundar Unification-Free Execution of Well-Moded
and Well-Typed Prolog Programs . . . . . 243
M. Mohnen Efficient Closure Utilisation by
Higher-Order Inheritance Analysis . . . 261
B. Monsuez System F and Abstract Interpretation . . 279
K. Nielsen and
M. H. Soerensen Call-By-Name CPS-Translation as a
Binding-Time Improvement . . . . . . . . 296
Jens Palsberg and
Peter Òrbæk Trust in the Lambda Calculus . . . . . . 314--330
V. Ramachandran and
P. Van Hentenryck LSign Reordered . . . . . . . . . . . . 330
M. Schmidt-Schauss and
S. E. Panitz and
M. Schuetz Strictness Analysis by Abstract
Reduction Using a Tableau Calculus . . . 348
M. Serrano and
P. Weis Bigloo: a Portable and Optimizing
Compiler for Strict Functional Languages 366
J. Seward Beyond Prototype Implementations:
Polymorphic Projection Analysis for
Glasgow Haskell . . . . . . . . . . . . 382
F. Vedrine Binding-Time Analysis and Strictness
Analysis by Abstract Interpretation . . 400
C. Fecht GENA --- a Tool for Generating Prolog
Analyzers from Specifications . . . . . 418
M. Nordin and
T. Lindgren and
H. Millroth IGOR: A Tool for Developing Prolog
Dataflow Analyzers . . . . . . . . . . . 420
E. Armengol and
E. Plaza Integrating Induction in a Case-Based
Reasoner . . . . . . . . . . . . . . . . 3--17
E. Auriol and
M. Manago and
K.-D. Althoff and
S. Wess Integrating Induction and Case-Based
Reasoning: Methodological Approach and
First Evaluations . . . . . . . . . . . 18--32
C. Bento and
J. Exposto and
V. Francisco and
E. Costa Experimental Study of an Evaluation
Function for Cases Imperfectly Explained 33--44
C. Bento and
L. Macedo and
E. Costa Reasoning with Cases Imperfectly
Described and Explained . . . . . . . . 45--59
M. T. Cox and
A. Ram Interacting Learning-Goals: Treating
Learning as a Planning Task . . . . . . 60--74
P. Cunningham and
B. Smyth and
T. Veale On the Limitations of Memory Based
Reasoning . . . . . . . . . . . . . . . 75--86
J. Lieber A Criterion of Comparison Between two
Case Bases . . . . . . . . . . . . . . . 87--100
S. Okamoto and
K. Satoh An Average Predictive Accuracy of the
Nearest Neighbor Classifier . . . . . . 101--112
C. Reiser and
H. Kaindl Case-Based Reasoning for Multi-Step
Problems and Its Integration with
Heuristic Search . . . . . . . . . . . . 113--125
B. L. Richards Qualitative Models as a Basis for Case
Indices . . . . . . . . . . . . . . . . 126--135
J. W. Schaaf and
M. Nowak and
A. Voss Using Gestalten to Retrieve Cases . . . 136--150
B. Smyth and
P. Cunningham A Comparison of Incremental Case-Based
Reasoning and Inductive Learning . . . . 151--164
G. Weber Examples and Remindings in a Case-Based
Help System . . . . . . . . . . . . . . 165--180
K. D. Ashley and
B. M. McLaren A CBR Knowledge Representation for
Practical Ethics . . . . . . . . . . . . 181--197
B. Dave and
G. Schmitt and
S.-G. Shih and
L. Bendel Case-Based Spatial Design Reasoning . . 198--210
P. J. Funk and
D. Robertson Case-Based Support for the Design of
Dynamic System Requirements . . . . . . 211--222
Byeong Ho Kang and
P. Compton A Maintenance Approach to Case-Based
Reasoning . . . . . . . . . . . . . . . 223--239
Y. Kerner Case-Based Evaluation in Computer Chess 240--254
M. Malek and
V. Rialle Design of a Case-Based Reasoning System
Applied to Neuropathy Diagnosis . . . . 255--265
H. Mu~noz and
J. Paulokat and
S. Wess Controlling a Nonlinear Hierarchical
Planner Using Case Replay . . . . . . . 266--279
E. B. Reategui and
J. A. Campbell A Classification System for Credit Card
Transactions . . . . . . . . . . . . . . 280--291
S.-A. Yang and
D. Robertson and
J. Lee Use of Case-Based Reasoning in the
Domain of Building Regulations . . . . . 292--306
K. R. Dittrich and
S. Gatziu and
A. Geppert The Active Database Management System
Manifesto: A Rulebase of ADBMS Features 3
N. W. Paton and
J. Campin and
A. A. A. Fernandes and
M. H. Williams Formal Specification of Active Database
Functionality: A Survey . . . . . . . . 21
T. Coupaye and
C. Collet Denotational Semantics for an Active
Rule Execution Model . . . . . . . . . . 36
C. Tawbi and
G. Jaber and
M. Dalmau Activity Specification Using Rendezvous 51
R. Fernandez and
O. Diaz Reactive Behaviour Support: Themes and
Variations . . . . . . . . . . . . . . . 69
O. Etzion Reasoning About the Behavior of Active
Databases Applications . . . . . . . . . 86
S. Reddi and
A. Poulovassilis and
C. Small Extending a Functional DBPL with
ECA-Rules . . . . . . . . . . . . . . . 101
M. Skoeld and
E. Falkenroth and
T. Risch Rule Contexts in Active Databases --- A
Mechanism for Dynamic Rule Grouping . . 119
R. Sturm and
J. A. Muelle and
P. C. Lockemann Temporized and Localized Rule Sets . . . 131
I. S. Thomas and
A. C. Jones Design and Implementation of an Active
Object-Oriented Database Supporting
Construction of Database Tools . . . . . 147
E. Baralis and
S. Ceri and
S. Paraboschi Improved Rule Analysis by Means of
Triggering and Activation Graphs . . . . 165
E. Benazet and
H. Guehl and
M. Bouzeghoub VITAL: A Visual Tool for Analysis of
Rules Behaviour in Active Databases . . 182
S. Chakravarthy and
Z. Tamizuddin and
J. Zhou A Visualization and Explanation Tool for
Debugging ECA Rules in Active Databases 197
T. Zurek and
P. Thanisch Strategies for Parallel Linear Recursive
Query Processing . . . . . . . . . . . . 213
S. M. Embury and
P. M. D. Gray Planning Complex Updates to Satisfy
Constraint Rules Using a Constraint
Logic Search Engine . . . . . . . . . . 230
M. P. Consens and
A. O. Mendelzon and
D. Vista and
P. T. Wood Constant Propagation Versus Join
Reordering in Datalog . . . . . . . . . 245
D. Plexousakis Compilation and Simplification of
Temporal Integrity Constraints . . . . . 260
M. L. Kersten An Active Component for a Parallel
Database Kernel . . . . . . . . . . . . 277
E. Baralis and
J. Widom Using Delta Relations to Optimize
Condition Evaluation in Active Databases 292
A. Geppert and
S. Gatziu and
K. R. Dittrich A Designer's Benchmark for Active
Database Management Systems: 007 Meets
the BEAST . . . . . . . . . . . . . . . 309
A. Geppert and
M. Kradolfer and
D. Tombros Realization of Cooperative Agents Using
an Active Object-Oriented Database
Management System . . . . . . . . . . . 327
J. Bailey and
M. Georgeff and
D. B. Kemp and
D. Kinny Active Databases and Agent Systems --- A
Comparison . . . . . . . . . . . . . . . 342
O. Zukunft Recovering Active Databases . . . . . . 357
P. R. Wilson and
M. S. Johnstone and
M. Neely and
D. Boles Dynamic Storage Allocation: A Survey and
Critical Review . . . . . . . . . . . . 1
P. Wadler Static Analysis Refuses to Stay Still:
Prospects of Static Analysis for Dynamic
Allocation . . . . . . . . . . . . . . . 117
G. W. Hamilton Compile-Time Garbage Collection for Lazy
Functional Languages . . . . . . . . . . 119
N. Roejemo Generational Garbage Collection without
Temporary Space Leaks for Lazy
Functional Languages . . . . . . . . . . 145
S. Matsui and
Y. Tanaka and
A. Maeda and
M. Nakanishi Complementary Garbage Collector . . . . 163
G. Attardi and
T. Flagella and
P. Iglio Performance Tuning in a Customizable
Collector . . . . . . . . . . . . . . . 179
M. Suzuki and
H. Koide and
M. Terashima MOA --- A Fast Sliding Compaction Scheme
for a Large Storage Space . . . . . . . 197
D. Plainfosse and
M. Shapiro A Survey of Distributed Garbage
Collection Techniques . . . . . . . . . 211
M. Fuchs Garbage Collection on an Open Network 251
J. M. Piquer Indirect Mark and Sweep: A Distributed
GC . . . . . . . . . . . . . . . . . . . 267
M. Maeda and
H. Konaka and
Y. Ishikawa and
T. Tomokiyo On-the-fly Global Garbage Collection
Based on Partly Mark-Sweep . . . . . . . 283
D. C. J. Matthews and
T. Le Sergent LEMMA: A Distributed Shared Memory with
Global and Local Garbage Collection . . 297
J. Armstrong and
R. Virding One Pass Real-Time Generational
Mark-Sweep Garbage Collection . . . . . 313
B. Magnusson and
R. Henriksson Garbage Collection for Control Systems 323
R. Virding A Garbage Collector for the Concurrent
Real-Time Language Erlang . . . . . . . 343
K. Nilsen Progress in Hardware-Assisted Real-Time
Garbage Collection . . . . . . . . . . . 355
V. Phalke and
B. Gopinath A Miss History-Based Architecture for
Cache Prefetching . . . . . . . . . . . 381
M. Kjelsoe and
S. Jones Memory Management in Flash-Memory Disks
with Data Compression . . . . . . . . . 399
H. Hungar and
O. Grumberg and
W. Damm What if model checking must be truly
symbolic . . . . . . . . . . . . . . . . 1
U. Stern and
D. L. Dill Automatic verification of the SCI cache
coherence protocol . . . . . . . . . . . 21
L. Pierre Describing and verifying synchronous
circuits with the Boyer--Moore theorem
prover . . . . . . . . . . . . . . . . . 35
P. Curzon Problems encountered in the
machine-assisted proof of hardware . . . 56
D. Eisenbiegler and
R. Kumar Formally embedding existing high level
synthesis algorithms . . . . . . . . . . 71
L. G. Wang and
M. Mendler Formal design of a class of computers 84
M. C. McFarland and
T. J. Kowalski Symbolic analysis and verification of
CPA descriptions . . . . . . . . . . . . 103
A. C. V. De Melo and
H. Barringer A foundation for formal reuse of
hardware . . . . . . . . . . . . . . . . 124
F. Corella and
M. Langevin and
E. Cerny and
Z. Zhou State enumeration with abstract
descriptions of state machines . . . . . 146
G. Cabodi and
S. Quer and
P. Camurati Transforming Boolean relations by
symbolic encoding . . . . . . . . . . . 161
A. Wahba and
D. Borrione Design error diagnosis in sequential
circuits . . . . . . . . . . . . . . . . 171
O. Maler and
A. Pnueli Timing analysis of asynchronous circuits
using timed automata . . . . . . . . . . 189
U. Stern and
D. L. Dill Improved probabilistic verification by
hash compaction . . . . . . . . . . . . 206--224
H. Barringer and
G. Gough and
B. Monahan and
A. Williams Formal support for the ELLA hardware
description language . . . . . . . . . . 225
R. De Nicola and
A. Fantechi and
S. Gnesi and
S. Larosa Verifying hardware components within
JACK . . . . . . . . . . . . . . . . . . 246
S. Tasiran and
R. Hojati and
R. K. Brayton Language containment of
non-deterministic omega-automata . . . . 261
D. Bolignano A partial-order approach to the
verification of concurrent systems:
checking liveness properties . . . . . . 278
D. Deharbe and
D. Borrione Semantics of a verification-oriented
subset of VHDL . . . . . . . . . . . . . 293
K. G. W. Goossens Reasoning about VHDL using operational
and observational semantics . . . . . . 311
E. Encrenaz A Symbolic Relation for a Subset of
VHDL'87 Descriptions and its Application
to Symbolic Model Checking . . . . . . . 328
M. J. Egenhofer and
D. M. Mark Naive Geography . . . . . . . . . . . . 1
B. Faltings Qualitative Spatial Reasoning Using
Algebraic Topology . . . . . . . . . . . 17
M. Gahegan Proximity Operators for Qualitative
Spatial Reasoning . . . . . . . . . . . 31
D. Hernandez and
E. Clementini and
P. Di Felice Qualitative Distances . . . . . . . . . 45
K. Zimmermann Measuring Without Measures: The
Delta-Calculus . . . . . . . . . . . . . 59
E. Rennison and
L. Strausfeld The Millennium Project: Constructing a
Dynamic $ 3 + $D Virtual Environment for
Exploring Geographically, Temporally,
and Categorically Organized Historical
Information . . . . . . . . . . . . . . 69
A. Dieberger Providing Spatial Navigation for the
World Wide Web . . . . . . . . . . . . . 93
M. Yuan and
J. Albrecht Structural Analysis of Geographic
Information and GIS Operations: from a
User's Perspective . . . . . . . . . . . 107
J.-P. Peloux and
P. Rigaux A Loosely Coupled Interface to an
Object-Orientated Geographic Database 123
E. Fritsch and
J. P. Lagrange Spectral Representations of Linear
Features for generalisation . . . . . . 157
J. M. Ware and
C. B. Jones and
G. L. Bundy A Triangulated Spatial Model for
Cartographic Generalisation of Areal
Objects . . . . . . . . . . . . . . . . 173
M.-A. Amorim and
S. Glasauer and
K. Corpinot and
A. Berthoz Object-Orientation and Location Updating
During Nonvisual Navigation: The
Characteristics and Effects of Object-
versus Trajectory-Centered Processing
Modes . . . . . . . . . . . . . . . . . 193
R. G. Golledge Path Selection and Route Preference in
Human Navigation: A Progress Report . . 207
W. Maass How Spatial Information Connects Visual
Information and Natural Language
Generation in Dynamic Environments:
Towards a Computational Model . . . . . 223
E. Stefanakis and
M. Kavouras On the Determination of the Optimum Path
in Space . . . . . . . . . . . . . . . . 241
M. Bertolotto and
L. De Floriani and
P. Marzano A Unifying Framework for Multilevel
Description of Spatial Data . . . . . . 259
P. Magillo and
L. De Floriani and
E. Bruzzone Updating Visibility Information on
Multiresolution Terrain Models . . . . . 279
B. P. Bruegger Theory for the Integration of Scale and
Representation Formats: Major Concepts
and Practical Implications . . . . . . . 297
A. G. Cohn A Hierarchical Representation of
Qualitative Shape Based on Connection
and Convexity . . . . . . . . . . . . . 311
S. C. Hirtle Representational Structures for
Cognitive Space: Trees, Ordered Trees
and Semi-Lattices . . . . . . . . . . . 327
C. Schlieder Reasoning about Ordering . . . . . . . . 341
F. Bucher and
A. Vckovski Improving the Selection of Appropriate
Spatial Interpolation Methods . . . . . 351
Y.-H. Chou Spatial Patterns and Spatial
Autocorrelation . . . . . . . . . . . . 365
E. Allen and
G. Edwards and
Y. Bedard Qualitative Causal Modeling in Temporal
GIS . . . . . . . . . . . . . . . . . . 397
P. A. Story and
M. F. Worboys A design support environment for
spatio-temporal database applications 413
I. Benenson and
J. Portugali Internal vs. External Spatial
Information and Cultural Emergence in a
self-organising City . . . . . . . . . . 431
J. Broschart The Social Perception of Space:
Non-Spatial Determinants of the Use of
Directionals in Tongan (Polynesia) . . . 443
E. Keating Spatial Conceptualizations of Social
Hierarchy in Pohnpei, Micronesia . . . . 463
B. Smith On Drawing Lines on a Map . . . . . . . 475
D. R. Montello How Significant are Cultural Differences
in Spatial Cognition? . . . . . . . . . 485
J. Glasgow A Formalism for Model-Based Spatial
Planning . . . . . . . . . . . . . . . . 501
K.-P. Gapp Object Localization: Selection of
Optimal Reference Objects . . . . . . . 519
Y. Theodoridis and
D. Papadias Range Queries Involving Spatial
Relations: A Performance Analysis . . . 537
D. M. Mark and
D. Comas and
M. J. Egenhofer and
S. M. Freundschuh Evaluating and Refining Computational
Models of Spatial Relations Through
Cross-Linguistic Human-Subjects Testing 553
H. Schwaertzel Demands and Perspectives for Future
Software Engineers: An Industrial
Viewpoint . . . . . . . . . . . . . . . 1
F. Bancilhon Why We Need Object Databases . . . . . . 3
W. S. Humphrey A Personal Commitment to Software
Quality . . . . . . . . . . . . . . . . 5
G. Graw and
V. Gruhn Distributed Modeling and Distributed
Enaction of Business Processes . . . . . 8
N. S. Barghouti and
E. Koutsofios and
E. Cohen Improvise: Interactive Multimedia
Process Visualization Environment . . . 28
L. G. Votta and
M. L. Zajac Design Process Improvement Case Study
Using Process Waiver Data . . . . . . . 44
J. Tuya and
L. Sanchez and
J. A. Corrales Using a Symbolic Model Checker for
Verify Safety Properties in SA/RT Models 59
A. Valderruten Vidal and
M. Vilares Ferro and
J. Gratha Gil Instrumentation of Synchronous Reactive
Models for Performance Engineering . . . 76
A. Coen-Porisini and
R. A. Kemmerer and
D. Mandrioli A Formal Framework for ASTRAL
Inter-level Proof Obligations . . . . . 90
Y.-F. Chen and
B. Krishnamurthy and
K.-P. Vo An Objective Reuse Metric: Model and
Methodology . . . . . . . . . . . . . . 109
M. Hitz and
B. Montazeri Measuring Product Attributes of
Object-Oriented Systems . . . . . . . . 124
J. Magee and
N. Dulay and
S. Eisenbach and
J. Kramer Specifying Distributed Software
Architectures . . . . . . . . . . . . . 137
K.-C. Tai and
R. H. Carver A Specification-Based Methodology for
Testing Concurrent Programs . . . . . . 154
I. Warren and
I. Sommerville Dynamic Configuration Abstraction . . . 173
A. Zeller and
G. Snelting Handling Version Sets Through Feature
Logic . . . . . . . . . . . . . . . . . 191
T. A. Wagner and
S. L. Graham Integrating Incremental Analysis with
Version Management . . . . . . . . . . . 205
A. Schuerr and
A. J. Winter and
A. Zuendorf Graph Grammar Engineering with PROGRES 219
C. Gaskell and
R. Phillips A Structured Analysis Formalism with
Execution Semantics to Allow Unambiguous
Model Interpretation . . . . . . . . . . 235
M. Glinz An Integrated Formal Model of Scenarios
Based on Statecharts . . . . . . . . . . 254
M. Heisel and
T. Santen and
D. Zimmermann Tool Support for Formal Software
Development: A Generic Architecture . . 272
D. Landes and
R. Studer The Treatment of Non-Functional
Requirements in MIKE . . . . . . . . . . 294
S. Monk and
I. Sommerville and
J. M. Pendaries and
B. Durin Supporting Design Rationale for System
Evolution . . . . . . . . . . . . . . . 307
S. Jarzabek PQL: A Language for Specifying Abstract
Program Views . . . . . . . . . . . . . 324
A. T. Chamillard An Exploratory Study of Program Metrics
as Predictors of Reachability Analysis
Performance . . . . . . . . . . . . . . 343
A. W. Brown and
D. J. Carney and
P. C. Clements and
B. C. Meyers Assessing the Quality of Large,
Software-Intensive Systems . . . . . . . 384
P. Hsia and
C.-T. Hsu and
D. C. Kung and
A. T. Yaung The Impact of Incremental Delivery on
Maintenance Effort: An Analytical Study 405
N. Castell and
O. Slavkova Metrics for Quality Factors in the LESD
Project . . . . . . . . . . . . . . . . 423
M. J. Matsumoto Quantitative Evaluations of Software
Quality Built in with Domain-specific
Disciplines . . . . . . . . . . . . . . 438
M. Jazayeri Component Programming --- a Fresh Look
at Software Components . . . . . . . . . 457
K. Koskimies and
H. Moessenboeck Designing a Framework by Stepwise
Generalization . . . . . . . . . . . . . 479
H. Gall and
R. Kloesch and
R. Mittermeir Object-Oriented Re-Architecturing . . . 498
K. Schnattinger and
U. Hahn and
M. Klenner Terminological Meta-Reasoning by
Reification and Multiple Contexts . . . 1
R. Poli and
M. Ryan and
A. Sloman A New Continuous Propositional Logic . . 17
U. Egly Super-Polynomial Speed-Ups in Proof
Length by New Tautologies . . . . . . . 29
J. Alferes and
L. M. Pereira and
T. Przymusinski and
U. Evora Belief Revision in Non-Monotonic
Reasoning . . . . . . . . . . . . . . . 41
T. Q. Dung A New Representation of JTMS . . . . . . 57
A. Vitoria and
M. Mamede and
L. Monteiro The Retrieval Problem in a Concept
Language with Number Restrictions . . . 69
G. Trombettoni Formalizing Local Propagation in
Constraint Maintenance Systems . . . . . 83
J.-H. Lee and
G. Lee A Dependency Parser of Korean Based on
Connectionist/Symbolic Techniques . . . 95
P. Berlandier A Symbiotic Approach to Arc and Path
Consistency Checking . . . . . . . . . . 107
G. Gaspar and
H. Coelho Where Do Intentions Come From?: A
Framework for Goals and Intentions
Adoption, Derivation and Evolution . . . 115
H. Coelho and
A. Eusebio and
E. Costa A Closer Look to Artificial Learning
Environments . . . . . . . . . . . . . . 129
H. Coelho and
L. Antunes and
L. Moniz Building Multi-Agent Societies from
Descriptions to Systems: Inter-Layer
Translations . . . . . . . . . . . . . . 143
J. R. Zubizarreta Aizpuru and
J. A. Usunariz GA/TS: A Hybrid Approach for Job Shop
Scheduling in a Production System . . . 153
A. Teller and
M. Veloso A Controlled Experiment: Evolution for
Learning Difficult Image Classification 165
C. McConnell Minimal Model Complexity Search . . . . 177
J. Gama and
P. Brazdil Characterization of Classification
Algorithms . . . . . . . . . . . . . . . 189
J. G. Wallace and
K. Bluff Neurons, Glia and the Borderline Between
Subsymbolic and Symbolic Processing . . 201
B. Verheij Arguments and Defeat in Argument-Based
Nonmonotonic Reasoning . . . . . . . . . 213
D. Nardi and
R. Rosati A Preference Semantics for Ground
Nonmonotonic Modal Logics . . . . . . . 225
Ho Ngoc Duc Logical Omniscience vs. Logical
Ignorance On a Dilemma of Epistemic
Logic . . . . . . . . . . . . . . . . . 237
C. Bento and
P. Machado and
E. Costa On the Role of Splitting and Merging
Past Cases for Generation of a New
Solution . . . . . . . . . . . . . . . . 249
E. Melis Theorem Proving by Analogy --- A
Compelling Example . . . . . . . . . . . 261
J. J. Alferes and
R. Li and
L. M. Pereira Non-Atomic Actions in the Situation
Calculus . . . . . . . . . . . . . . . . 273
N. I. Karacapilidis Planning Under Uncertainty: A
Qualitative Approach . . . . . . . . . . 285
D. Pacholczyk Qualitative Reasoning Under Uncertainty 297
J. Reifman and
T. Y. C. Wei Systematic Construction of Qualitative
Physics-Based Rules for Process
Diagnostics . . . . . . . . . . . . . . 311
C. Quek and
P. W. Ng and
M. Pasquier Integrated Process Supervision: A
Structured Approach to Expert Control 323
P. U. Lima and
G. N. Saridis Using Stochastic Grammars to Learn
Robotic Tasks . . . . . . . . . . . . . 335
L. Damas and
N. Moreira Constraint Categorial Grammars . . . . . 347
S. Broda and
L. Damas A New Translation Algorithm from Lambda
Calculus into Combinatory Logic . . . . 359
B. Kipper Interlocking Multi-Agent and Blackboard
Architectures . . . . . . . . . . . . . 371
C. V. Damasio and
L. M. Pereira A Model Theory for Paraconsistent Logic
Programming . . . . . . . . . . . . . . 377
C. Fernandez-Chamizo and
P. A. Gonzalez-Calero and
M. Gomez-Albarran Promoting Software Reuse Through
Explicit Knowledge Representation . . . 387
G. Cherruel and
B. Solaiman and
Y. Autret Efficient Learning in Multi-Layered
Perceptron Using the Grow-And-Learn
Algorithm . . . . . . . . . . . . . . . 397
I. De Almeida Mora and
J. J. Alferes Modelling Diagnosis Systems with Logic
Programming . . . . . . . . . . . . . . 409
L. M. M. Custodio and
C. A. Pinto-Ferreira Agreement: A Logical Approach to
Approximate Reasoning . . . . . . . . . 419
M. Wolverton Presenting Significant Information in
Expert System Explanation . . . . . . . 435
N. Chaignaud A Cognitive Model of Problem Solving
with Incomplete Information . . . . . . 441
N. Castell and
A. Hernandez Filtering Software Specifications
Written In Natural Language . . . . . . 447
P. A. De Matos and
J. P. Martins Parsimonious Diagnosis in SNePS . . . . 457
S. Bhattacharyya and
S. L. Lytinen Syntactic and Semantic Filtering in a
Chart Parser . . . . . . . . . . . . . . 465
W. Stephan and
S. Biundo Multilevel Refinement Planning in an
Interval-Based Temporal Logic . . . . . 482
G. Fischer Rethinking and Reinventing Artificial
Intelligence from the Perspective of
Human-Centered Computational Artifacts 1
C. L. Paris Automatic Documentation Generation:
Including Examples . . . . . . . . . . . 12
M. P. Wellman Market Oriented Programming . . . . . . 26
M. Alvarado and
G. Nuthez Belief Increasing in SKL Model Frames 28
A. V. Joshi and
S. C. Sahasrabudhe and
K. Shankar Sensitivity of Combination Schemes under
Conflicting Conditions and a New Method 39
V. Becher Two Conditional Logics for Defeasible
Inference: A Comparison Preliminary
Version . . . . . . . . . . . . . . . . 49
T. Bedrax-Weiss and
L. E. Bertossi Underlying Semantics for the Assessment
of Reiter's Solution to the Frame
Problem . . . . . . . . . . . . . . . . 59
M. Da Costa Mora and
J. G. Lopes and
H. Coelho Modeling Intentions with Extended Logic
Programming . . . . . . . . . . . . . . 69
C. M. G. M. Oliveira Labelled Theorem Proving for
Substructural Logics . . . . . . . . . . 79
N. C. Rocha Riccio and
R. J. G. B. De Queiroz Labelled Abduction . . . . . . . . . . . 91
O. Rodrigues and
M. Benevides PROMAL: Programming in Modal Action
Logic . . . . . . . . . . . . . . . . . 101
G. Zaverucha and
S. R. M. Veloso A Goal Directed Reasoning for
Semi-Normal Default Theories . . . . . . 112
E. Aimeur and
C. Frasson and
C. Alexe Towards New Learning Strategies in
Intelligent Tutoring Systems . . . . . . 121
E. De Barros Costa and
M. A. Lopes and
E. Ferneda Mathema: A Learning Environment Based on
a Multi-Agent Architecture . . . . . . . 141
A. I. Direne A General Model of Dialogue
Interpretation for Concept Tutoring
Systems . . . . . . . . . . . . . . . . 151
M. L. Campagnolo and
H. Coelho and
J. H. Capelo Knowledge Based Clustering of Partially
Characterized Objects . . . . . . . . . 161
M. C. Nicoletti and
M. C. Monard Constructing the Extensional
Representation of an Intentional Domain
Theory in Inductive Logic Programming 171
T. Scheffer A Generic Algorithm for Learning Rules
with Hierarchical Exceptions . . . . . . 181
L. A. V. De Carvalho and
V. L. Roitman A Neural Model for the Visual Attention
Phenomena . . . . . . . . . . . . . . . 191
L. Ohno-Machado and
M. A. Musen Learning Rare Categories in
Backpropagation . . . . . . . . . . . . 201
E. Passos and
R. Valente An Automatic Adaptative Neurocomputing
Algorithm for Time Series Prediction . . 210
M. Correa and
S. Mendes A Computational Approach to Situation
Theory Based on Logic Programming to
Design Cognitive Agents . . . . . . . . 219
F. M. De Oliveira Measuring Agreement and Harmony in
Multi-Agent Societies: A First Approach 232
M. A. H. Shmeil and
E. Oliveira Detecting the Opportunities of Learning
from the Interactions in a Society of
Organizations . . . . . . . . . . . . . 242
J. S. Sichman and
Y. Demazeau Exploiting Social Reasoning to Enhance
Adaptation in Open Multi-Agent Systems 253
E. Ferneda and
M. E. De Souza e. Silva and
H. De Menezes Silva A System for Aiding Discovery:
Mechanisms for Knowledge Generation . . 262
M. M. Fonkam On a Composite Formalism and Approach to
Presenting the Knowledge Content of a
Relational Database . . . . . . . . . . 272
S. Labidi and
M. M. Gammoudi Method for Knowledge Acquisition from
Multiple Experts . . . . . . . . . . . . 283
E. Passos and
A. Sade and
C. Garcez and
A. Tanaka A Conceptual Model for a Knowledge Base
Homogeneously Stored in a Database
Environment . . . . . . . . . . . . . . 293
P. McFetridge and
A. Villavicencio A Hierarchical Description of the
Portuguese Verb . . . . . . . . . . . . 300
M.-H. Stefanini and
Y. Demazeau Talisman: A Multi-Agent System for
Natural Language Processing . . . . . . 310
A. Villavicencio and
N. M. C. Marques and
J. G. P. Lopes and
F. Villavicencio Part-of-Speech Tagging for Portuguese
Texts . . . . . . . . . . . . . . . . . 321
W. S. Saba and
J.-P. Corriveau Quantification and Cognitive Constraints
in Natural Language Understanding . . . 331
G. Trombettoni and
B. Neveu and
P. Berlandier and
M.-C. Riff An Non-Diffident Combinatorial
Optimization Algorithm . . . . . . . . . 403
I. Mora and
J. Alferes Modelling Diagnosis Systems with Logic
Programming . . . . . . . . . . . . . . 409
M. Nadia Constructing Extensions by Resolving a
System of Linear Equations . . . . . . . 429
P. A. Matos and
J. P. Martins Parsimonious Diagnosis in SNePS . . . . 457
S. Krajcar and
D. Skrlec and
B. Pribicevic and
S. Blagajac GA Approach to solving Multiple Vehicle
Routing Problem . . . . . . . . . . . . 473
W. Stephan and
S. Biundo Multilevel Refinement Planning in an
Interval-Based Temporal Logic . . . . . 483
N. Lenke Natural Language Generation as
Constraint-Based Configuration . . . . . 1
E. Not and
E. Pianta Issues of Multilinguality in the
Automatic Generation of Administrative
Instructional Texts . . . . . . . . . . 13
A. Bonarini Extending Q-learning to Fuzzy Classifier
Systems . . . . . . . . . . . . . . . . 25
P. Camargo Silva Fuzzy Cognitive Maps in Multi-Agent
Environments . . . . . . . . . . . . . . 37
C. Baroglio and
M. Botta Multiple Predicate Learning with RTL . . 44
T. Humphrey and
A. Bramanti-Gregor and
H. W. Davis Learning While Solving Problems in
Single Agent Search: Preliminary Results 56
C. Carpineto and
G. Romano Automatic Construction of Navigable
Concept Networks Characterizing Text
Databases . . . . . . . . . . . . . . . 67
M. Gazza and
P. Torasso Temporal Prediction: Dealing with Change
and Interactions within a Causal
Framework . . . . . . . . . . . . . . . 79
F. M. Donini and
D. Nardi and
R. Rosati Non-first-order Features in Concept
Languages . . . . . . . . . . . . . . . 91
G. De Giacomo and
M. Lenzerini PDL-based Framework for Reasoning about
Actions . . . . . . . . . . . . . . . . 103
C. Barbero and
V. Lombardo Dependency Graphs in Natural Language
Processing . . . . . . . . . . . . . . . 115
F. Ciravegna and
N. Cancedda Integrating Shallow and Linguistic
Techniques for Information Extraction
from Text . . . . . . . . . . . . . . . 127
L. Ardissono and
G. Boella and
D. Sestero Recognizing Preliminary Sentences in
Dialogue Interpretation . . . . . . . . 139
I. Kanellos and
V. H. Zaldivar-Carrillo Contextuality and Non-extensional
Identity: the Inescapable Symbiosis in
NLP . . . . . . . . . . . . . . . . . . 145
G. Antoniou Priorities in Default Logic Revisited 152
H. Bennaceur Boolean Approach for Representing and
Solving Constraint-satisfaction Problems 163
M. Di Manzo and
P. Pecchiari Composing Decision Procedures: The
Approach and a Case Study . . . . . . . 175
F. Orilia Knowledge Representation,
Exemplification, and the Gupta-Belnap
Theory of Circular Definitions . . . . . 187
G. Rumolo and
E. Compatangelo TRDL: A Language for Conceptual
Modelling in Information Systems
Engineering . . . . . . . . . . . . . . 199
D. Thesieder Dupre and
M. Rossotto The Different Roles of Abstraction in
Abductive Reasoning . . . . . . . . . . 211
A. Carassa and
A. Valpiani and
G. Geminiani and
S. Bandini A Cognitive Model of Causal Reasoning
about the Physical World . . . . . . . . 217
A. F. Dragoni and
F. Mascaretti and
P. Puliti A Generalized Approach to Consistency
Based Belief Revision . . . . . . . . . 231
C. Castelfranchi and
D. D'Aloisi and
F. Giacomelli A framework for Dealing with Belief-Goal
Dynamics . . . . . . . . . . . . . . . . 237
S. Nolfi and
D. Parisi Evolving non-Trivial Behaviors on Real
Robots: An Autonomous Robot that Picks
up Objects . . . . . . . . . . . . . . . 243
A. Cesta and
A. Oddi A Formal Domain Description Language for
a Temporal Planner . . . . . . . . . . . 255
C. Ferrari and
E. Pagello and
J. Ota and
T. Arai A Method for Solving Multiple Autonomous
Robots Collisions Problem Using Space
and Time Representation . . . . . . . . 261
E. Blanzieri and
A. Giordana Mapping Symbolic Knowledge into Locally
Receptive Field Networks . . . . . . . . 267
A. Chella and
M. Frixione and
S. Gaglio Knowledge Representation for Robotic
Vision Based on Conceptual Spaces and
Attentive Mechanisms . . . . . . . . . . 279
M. Baioletti and
S. Marcugini and
A. Milani A Weakest Precondition Semantics for
Conditional Planning . . . . . . . . . . 291
M. Frixione and
M. Piaggio and
G. Vercelli and
R. Zaccaria A Cognitive Hybrid Model for Autonomous
Navigation . . . . . . . . . . . . . . . 303
A. D'Angelo Using a Chemical Metaphor to Implement
Autonomous Systems . . . . . . . . . . . 315
P. Pogliano and
L. Riccardi Modeling Process Diagnostic Knowledge
Through Causal Networks . . . . . . . . 323
J. Gamper and
W. Nejdl Formalizing Reasoning About Change: A
Temporal Diagnosis Approach . . . . . . 335
G. Guida and
M. Zanella Preventive Diagnosis: Definition and
Logical Model . . . . . . . . . . . . . 347
L. W. Man and
S. L. Kwong Learning Programs in Different Paradigms
Using Genetic Programming . . . . . . . 353
G. Semeraro and
F. Esposito and
N. Fanizzi and
D. Malerba Revision of Logical Theories . . . . . . 365
J.-D. Zucker Reformulation of Examples in Concept
Learning of Structural Descriptions . . 377
J. P. Guerreiro Neto and
F. J. G. Moura Pires Integrated Model --- a proposal to
Handle Noise . . . . . . . . . . . . . . 389
G. Armano Exceptions-Based Synthesis of Boolean
Functions as a Core Mechanism to Perform
Concept Learning . . . . . . . . . . . . 395
B. Van Linder and
W. Van der Hoek and
J.-J. C. Meyer Seeing is Believing --- And so are
Hearing and Jumping . . . . . . . . . . 402
E. Giunchiglia and
F. Giunchiglia and
L. Serafini Agents as Reasoners, Observers or
Believers . . . . . . . . . . . . . . . 414
M. Gaspari Modelling Interactions in Agent System 426
A. Omicini and
E. Denti and
A. Natali Agent Coordination and Control through
Logic Theories . . . . . . . . . . . . . 439
D. Corne and
P. Ross Some Combinatorial Landscapes on which a
Genetic Algorithm Outperforms Other
Stochastic Iterative Methods . . . . . . 1--13
J. L. Shapiro and
A. Pruegel-Bennett Maximum Entropy Analysis of Genetic
Algorithm Operators . . . . . . . . . . 14--24
G. Bilchev and
I. C. Parmee The Ant Colony Metaphor for Searching
Continuous Design Spaces . . . . . . . . 25--39
S. Mikami and
Y. Kakazu and
T. C. Fogarty Broadcast Based Fitness Sharing GA for
Conflict Resolution Among Autonomous
Robots . . . . . . . . . . . . . . . . . 40--47
J. Smith and
T. C. Fogarty An Adaptive Poly-Parental Recombination
Strategy . . . . . . . . . . . . . . . . 48--61
A. J. Swann Neighbourhood Seeding to Reduce Problem
Modality . . . . . . . . . . . . . . . . 62--74
E. Burke and
D. Elliman and
R. Weare Specialised Recombinative Operators for
Timetabling Problems . . . . . . . . . . 75--85
B. Paechter and
A. Cumming and
H. Luchian The Use of Local Search Suggestion Lists
for Improving the Solution of Timetable
Problems with Evolutionary Algorithms 86--93
P. Ross and
D. Corne Comparing Genetic Algorithms, Simulated
Annealing, and Stochastic Hillclimbing
on Timetabling Problems . . . . . . . . 94--102
B. Carse and
T. C. Fogarty and
A. Munro Evolutionary Learning in Computational
Ecologies: an Application to Adaptive,
Distributed Routing in Communication
Networks . . . . . . . . . . . . . . . . 103--116
W. B. Langdon Scheduling Planned Maintenance of the
National Grid . . . . . . . . . . . . . 132--153
D. A. Savic and
G. A. Walters Genetic Operators and Constraint
Handling for Pipe Network Optimization 154--165
P. D. Surry and
N. J. Radcliffe and
I. D. Boyd A Multi-objective Approach to
Constrained Optimisation of Gas Supply
Networks: the COMOGA Method . . . . . . 166--180
J. F. Miller and
P. Thomson and
P. V. G. Bradbeer Ternary Decision Diagram Optimisation of
Reed--Muller Logic Functions using a
Genetic Algorithm for Variable and
Simplification Rule Ordering . . . . . . 181--190
D. Yang and
S. Flockton An Evolutionary Algorithm for Parametric
Array Signal Processing . . . . . . . . 191--199
M. J. Patel Constraints on Task and Search
Complexity in GA + NN Models of Learning
and Adaptive Behaviour . . . . . . . . . 200--223
F. Vavak and
T. C. Fogarty and
P. Cheng Load Balancing Application of the
Genetic Algorithm in a Nonstationary
Environment . . . . . . . . . . . . . . 224--233
G. Robinson and
P. McIlroy Exploring some Commercial Applications
of Genetic Programming . . . . . . . . . 234--262
J. L. Mundy Object Recognition: The Search for
Representation . . . . . . . . . . . . . 19--50
L. G. Shapiro and
M. S. Costa Appearance-Based $3$D Object Recognition 51--64
P. Gros Using Quasi-Invariants for Automatic
Model Building and Object Recognition:
an Overview . . . . . . . . . . . . . . 65--76
G. Stockman Object Representation for
Recognition-By-Alignment . . . . . . . . 77--88
D. Forsyth and
A. Zisserman and
J. Malik Distinctive Representations for the
Recognition of Curved Surfaces Using
Outlines and Markings . . . . . . . . . 89--100
R. S. Weiss The Epipolar Parametrization . . . . . . 101--108
D. Huttenlocher Using Two-Dimensional Models to Interact
with the Three-Dimensional World . . . . 109--124
D. Kriegman and
J. Ponce Representations for Recognizing Complex
Curved $3$D Objects . . . . . . . . . . 125--138
D. B. Cooper and
Z. Lei On Representation and Invariant
Recognition of Complex Objects Based on
Patches and Parts . . . . . . . . . . . 139--154
S. Petitjean Algebraic Geometry and Object
Representation in Computer Vision . . . 155--166
G. Taubin Discrete Surface Signal Processing: The
Polygon as the Surface Element . . . . . 167--176
V. Koivunen and
R. Bajcsy Spline Representations in $3$-D Vision 177--190
P. J. Besl Triangles as a Primary Representation 191--206
T. O. Binford Body-Centered Representation and
Perception . . . . . . . . . . . . . . . 207--216
M. Zerroug and
G. Medioni The Challenge of Generic Object
Recognition . . . . . . . . . . . . . . 217--232
D. Metaxas A Physics-Based Framework for
Segmentation, Shape and Motion
Estimation . . . . . . . . . . . . . . . 233--248
A. Pentland and
S. Sclaroff Modal Representations . . . . . . . . . 249--262
C. Nastar and
N. Ayache Time Representation of Deformations:
Combining Vibration Modes and Fourier
Analysis . . . . . . . . . . . . . . . . 263--276
T. Boult and
S. D. Fenster and
T. O'Donnell Physics in a Fantasy World vs. Robust
Statistical Estimation . . . . . . . . . 277--296
O. I. Camps Towards a Robust Physics-Based Object
Recognition System . . . . . . . . . . . 297--312
A. Gross and
L. Latecki Toward Non-Parametric Digital Shape
Representation and Recovery . . . . . . 313--326
K. Ikeuchi and
M. Hebert Spherical Representations: from EGI to
SAI . . . . . . . . . . . . . . . . . . 327--346
D. Terzopoulos From Physics-Based Representation to
Functional Modeling of Highly Complex
Objects . . . . . . . . . . . . . . . . 347--359
R. Ahn Communicating Contexts: a Pragmatic
Approach to Information Exchange . . . . 1--13
H. Geuvers A Short and Flexible Proof of Strong
Normalization for the Calculus of
Constructions . . . . . . . . . . . . . 14--38
E. Gimenez Codifying Guarded Definitions with
Recursive Schemes . . . . . . . . . . . 39--59
H. Goguen The Metatheory of UTT . . . . . . . . . 60--82
P. Manoury A User's Friendly Syntax to Define
Recursive Functions as Typed
lambda-Terms . . . . . . . . . . . . . . 83--100
T. Nipkow and
K. Slind I/O Automata in Isabelle/HOL . . . . . . 101--119
L. C. Paulson A Concrete Final Coalgebra Theorem for
ZF Set Theory . . . . . . . . . . . . . 120--139
R. Pollack On Extensibility of Proof Checkers . . . 140--161
A. Ranta Syntactic Categories in the Language of
Mathematics . . . . . . . . . . . . . . 162--182
A. Saibi Formalization of a lambda-Calculus with
Explicit Substitutions in Coq . . . . . 183--202
Y. Sakakibara Grammatical inference: An old and new
paradigm . . . . . . . . . . . . . . . . 1
A. F. Fahmy and
R. Roos Efficient learning of real time
one-counter automata . . . . . . . . . . 25
T. Koshiba and
E. Maekinen and
Y. Takada Learning strongly deterministic even
linear languages from positive examples 41
H. Sakamoto Language learning from membership
queries and characteristic examples . . 55
H. Arimura and
H. Ishizaka and
T. Shinohara Learning unions of tree patterns using
queries . . . . . . . . . . . . . . . . 66
L. De Raedt and
W. Van Laer Inductive constraint logic . . . . . . . 80
M. R. K. K. Rao Incremental learning of logic programs 95
A. Miyashiro and
E. Takimoto and
Y. Sakai and
A. Maruoka Learning orthogonal F-Horn formulas . . 110
P. Auer Learning nested differences in the
presence of malicious noise . . . . . . 123
A. Nakamura and
S. Miura Learning sparse linear combinations of
basis functions over a finite domain . . 138
J. Kececioglu and
M. Li and
J. Tromp Inferring a DNA sequence from erroneous
copies . . . . . . . . . . . . . . . . . 151
J. Case and
S. Jain and
A. Sharma Machine induction without revolutionary
paradigm shifts . . . . . . . . . . . . 153
L. Meyer Probabilistic language learning under
monotonicity constraints . . . . . . . . 169
F. Stephan Noisy inference and oracles . . . . . . 185
B. Kalyanasundaram and
M. Velauthapillai Simulating teams with many conjectures 201
C. C. Pinter Complexity of network training for
classes of neural networks . . . . . . . 215
R. Gavalda and
D. Guijarro Learning ordered binary decision
diagrams . . . . . . . . . . . . . . . . 228
J. Castro and
J. L. Balcazar Simple PAC learning of simple decision
lists . . . . . . . . . . . . . . . . . 239
C. Domingo and
J. Shawe-Taylor The complexity of learning minor closed
graph classes . . . . . . . . . . . . . 249
Y. Kodratoff Technical and scientific issues of KDD 261
K. Sadohara and
M. Haraguchi Analogical logic program synthesis
algorithm that can refute inappropriate
similarities . . . . . . . . . . . . . . 266
K. P. Jantke Reflecting and self-confident inductive
inference machines . . . . . . . . . . . 282
S. Kobayashi and
T. Yokomori On approximately identifying concept
classes in the limit . . . . . . . . . . 298
J. P. Chester and
B. V. Dentskevich Requirements for Rapid Technological
Deployment and Exploitation . . . . . . 3
G. Pavlou and
D. Griffin Issues in the Integration of IN and TMN 12
R. Popp and
M. Froehlich and
N. Jefferies Security Services for Telecommunications
Users . . . . . . . . . . . . . . . . . 28
G. Endersz and
T. Gabrielsson and
F. Morast and
A. Bertsch TMN Security: An Evolutionary Approach 40
D. Maillot and
J. Olnes and
P. Spilling A TTP-based Architecture for TMN
Security and Privacy . . . . . . . . . . 52
G. Karjoth Integrated Access Control Management . . 64
I. Denley and
B. Hill and
A. Whitefield An Experimental Evaluation of a
Normative User Interface Design for the
Configuration of Telecommunication
Services . . . . . . . . . . . . . . . . 77
T. J. Hewson and
G. Allison and
A. M. Clarke Providing Future Telecommunication
Services to Naive Users . . . . . . . . 92
R. Marom and
M. Bolzoni and
M. Goldberg and
D. Rotondi Usability, an Effective Methodology for
Designing Services in the Agricultural
Sector . . . . . . . . . . . . . . . . . 104
C. Condon and
S. Keuneke Counting the Costs and Benefits of
Metaphor . . . . . . . . . . . . . . . . 119
L. A. De la Fuente ASTERIX: The TINA-C Architecture Applied
to ATM Connection Management . . . . . . 134
M. Bocci and
E. Scharf and
P. Georgatsos and
M. Hansen ATM Network Simulation Support for TMN
Systems . . . . . . . . . . . . . . . . 146
R. Larsson and
D. Cochrane Engineering a TMN in an Open Distributed
Processing Environment . . . . . . . . . 159
D. Lewis and
T. Tiropanis and
L. H. Bjerring and
L. M. Ericsson Experiences in Multi-domain Management
Service Development . . . . . . . . . . 174
J. May and
A. Maia The Relationship between IOs and COs in
VPN Charging Management . . . . . . . . 185
S. Sartzetakis and
C. Stathopoulos and
V. Kalogeraki and
D. Griffin Managing the TMN . . . . . . . . . . . . 200
S. Kleier and
C. Goerg Personal Communication System
Realizations: Performance and Quality of
Service Aspects on SS-No. 7 . . . . . . 213
A. O. Mahajan and
K. V. Lever A Self-Organisation Plane for
Distributed Mobile Wireless Networks . . 225
R. Karabek and
W. Reinhardt Future Hypermedia Retrieval Systems and
their Impact on Transfer Systems . . . . 237
J.-P. Gaspoz and
C. Gbaguidi and
J. Meinkoehn VPN on DCE: From Reference Configuration
to Implementation . . . . . . . . . . . 249
W. Kisker and
J. M. Schneider ATM Public Network Management in PREPARE 261
P. Georgatsos and
D. Griffin Management Services for Performance
Verification in Broadband Multi-Service
Networks . . . . . . . . . . . . . . . . 275
C. Morris and
J. Nelson An SDL Based Realisation of an IN
Service Development Environment . . . . 292
A. Ritterbecks and
D. Lawniczak and
N. Niebert Performance Evaluation of Database
Concepts for Personal Communication
Systems . . . . . . . . . . . . . . . . 309
V. Goebel and
B. H. Johansen and
H. C. Lochsen and
T. Plagemann Next Generation Database Technologies
for Advanced Communication Services . . 320
A. Olsen and
B. B. Noerbaek Using SDL for Targeting Services to
CORBA . . . . . . . . . . . . . . . . . 334
M. Tag and
A. Lesch and
P. Fisher and
A. Gallis An Engineering Approach for Open
Multimedia Services Management . . . . . 347
P. Coates and
J. Ellman An Approach to User Management of
Broadband Services . . . . . . . . . . . 360
K. Milsted OMT Object Models of Telecommunications
Services . . . . . . . . . . . . . . . . 369
J. De Meer and
A. Hafid QoS Modelling of Distributed
Teleoperating Services . . . . . . . . . 380
T. Magedanz On the Impacts of Intelligent Agent
Concepts on Future Telecommunication
Environments . . . . . . . . . . . . . . 396
A. Vassila and
G. J. Knight Introducing Active Managed Objects for
Effective and Autonomous Distributed
Management . . . . . . . . . . . . . . . 415
G. Pavlou and
K. McCarthy and
G. Mykoniatis and
J. Sanchez Intelligent Remote Monitoring . . . . . 430
F. Ruano and
C. Aurrecoechea Session Control Model for TINA
Multimedia Services . . . . . . . . . . 447
J. Huelamo and
E. Carrera and
H. Zuidweg TINA based Advanced UPT Service
Prototype: Early Introduction of TINA
through the IN Domain . . . . . . . . . 458
G. Reyniers and
P. Hellemans Use of Atomic Action Principles to
Co-ordinate the Interaction between TINA
Service Managers . . . . . . . . . . . . 468
H. Berndt and
M. Chapman and
P. Schoo and
I. Toennby A Comparison of Architectures for future
Telecommunication Services . . . . . . . 476
M. D'Aurelio and
M. Peirgigli External Access to TMN: an ODP
Specification . . . . . . . . . . . . . 490
H. Bakker and
J. H. Heilesen and
G. Schapeler and
M. Anagnostou The Implementation of PSCS Features in a
RACE ATM Demonstrator . . . . . . . . . 492
M. Ostrowski and
R. Coutts Simulation Model for Intelligent Network
Based Personal Communication Services 495
P. SantAna and
O. Bravo and
A. Martin Integration Path of IN and TMN
Architectures --- Using UPT as a Case
Study . . . . . . . . . . . . . . . . . 497
H. R. Sharobim Dedicated Server Multicast Routing for
Large Scale ATM Networks . . . . . . . . 500
F. Arnold Application of IS and N for Efficient
Aircraft Pre-Design . . . . . . . . . . 501
C. Stephanidis and
C. Karagiannidis and
A. Koumpis Developing Alternative Metaphors for
Special B-ISDN Services . . . . . . . . 504
C. Stephanidis and
Y. Mitsopoulos and
A. Stergiou and
A. Koumpis Tool Based User Interface Construction
Facilitating Access to Users with
Disabilities . . . . . . . . . . . . . . 506
E. Asarin and
O. Maler and
A. Pnueli Symbolic Controller Synthesis for
Discrete and Timed Systems . . . . . . . 1
J. D. Birdwell and
B. C. Moore Condensation of Information from Signals
for Process Modeling and Control . . . . 15
A. Benvenisbe and
B. C. Levy and
E. Fabre and
P. Le Guernie A Calculus of Stochastic Systems for the
Specification Simulation and Hidden
State Estimation of Hybrid
Stochastic/Non-stochastic Systems . . . 21
A. Bouajjani and
R. Echahed and
R. Robbana On the Automatic Verification of Systems
with Continuous Variables and Unbounded
Discrete Data Structures . . . . . . . . 61
P. E. Caines and
Y.-J. Wei On Dynamically Consistent Hybrid Systems 86
N. De Claris and
M.-C. Su A Self-learning Neuro-Fuzzy System . . . 106
M. Dogruel and
U. Oezguener Modeling and Stability Issues in Hybrid
Systems . . . . . . . . . . . . . . . . 118
A. Deshpande and
P. Varaiya Viable Control of Hybrid Systems . . . . 128
D. N. Godbole and
J. Lygeros and
S. Sastry Hierarchical Hybrid Control . . . . . . 166
R. L. Grossman and
M. Sweedler Hybrid Systems and Quantum Automata:
Preliminary Announcement . . . . . . . . 191
J. Guekenheimer and
S. Johnson Planar Hybrid Systems . . . . . . . . . 202
V. Gupta and
R. Jagadeesan and
V. Saraswat and
D. G. Bobrow Programming in Hybrid Constraint
Languages . . . . . . . . . . . . . . . 226
T. A. Henzinger and
P.-H. Ho A Note on Abstract Interpretation
Strategies for Hybrid Automata . . . . . 252
T. A. Henzinger and
P.-H. Ho HYTECH: The Cornell HYbrid TECHnology
Tool . . . . . . . . . . . . . . . . . . 265
W. Kohn and
A. Nerode and
J. B. Remmel Hybrid Systems as Finsler Manifolds:
Finite State Control as Approximation to
Connections . . . . . . . . . . . . . . 291
A. Nerode and
J. B. Remmel and
A. Yakhnis Controllers as Fixed Points of
Set-Valued Operators . . . . . . . . . . 311
M. Lemmon and
C. Bett and
P. Szymanski and
P. Antsaklis Constructing Hybrid Control Systems from
Robust Linear Control Agents . . . . . . 322
A. Puri and
P. Varaiya Verification of Hybrid Systems Using
Abstractions . . . . . . . . . . . . . . 359
J. Ruisch Control of Continuous Plants by Symbolic
Output Feedback . . . . . . . . . . . . 370
A. P. Raon and
H. Rischel and
M. Holdgaard and
T. J. Eriksen Hybrid Control of a Robot . . . . . . . 391
O. Roux and
V. Rusu Verifying Time-bounded Properties for
ELECTRE Reactive Programs with Stopwatch
Automata . . . . . . . . . . . . . . . . 405
H. S. Sarjoughian and
B. Zeigler Inductive Modeling: A Framework Marrying
Systems Theory and Non-monotonic
Reasoning . . . . . . . . . . . . . . . 417
R. K. Shyamasundar and
S. Ramesh Semantics and Verification of
Hierarchical CRP Programs . . . . . . . 436
J. A. Sliver and
P. J. Antsaklis and
M. D. Lemmon Interface and Controller Design for
Hybrid Control Systems . . . . . . . . . 462
M. Tiltus and
B. Egardt Hybrid Objects . . . . . . . . . . . . . 493
Y. Y. Yang and
D. A. Linkens and
S. P. Banks Modeling of Hybrid Systems Based on
Extended Coloured Petri Nets . . . . . . 509
B. P. Zeigler and
H. S. Song and
T. G. Kim and
H. Praehofer DEVS Framework for Modeling, Simulation,
Analysis, and Design of Hybrid Systems 529
Y. Zhang and
A. K. Mackworth Synthesis of Hybrid Constraint-Based
Controllers . . . . . . . . . . . . . . 552
G. Brassard A Quantum Jump in Computer Science . . . 1
L. Steels and
M. Tokoro Artificial Life and Real World Computing 15
H. T. Siegelmann Recurrent Neural Networks . . . . . . . 29
W. F. McColl Scalable Computing . . . . . . . . . . . 46
B. Monien and
R. Diekmann and
R. Feldmann and
R. Klasing Efficient Use of Parallel and
Distributed Systems: From Theory to
Practice . . . . . . . . . . . . . . . . 62
L. Snyder Experimental Validation of Models of
Parallel Computation . . . . . . . . . . 78
J. Wiedermann Quo Vadetis, Parallel Machine Models? 101
Z. Bai and
D. Day and
J. Demmel and
J. Dongarra Templates for Linear Algebra Problems 115
T. Beth and
A. Klappenecker and
T. Minkwitz and
A. Nueckel The ART behind IDEAS . . . . . . . . . . 141
L. M. Adleman Algorithmic Number Theory and Its
Relationship to Computational Complexity 159
S. Nakano and
X. Zhou and
T. Nishizeki Edge-Coloring Algorithms . . . . . . . . 172
S. Hannenhalli and
P. A. Pevzner Towards a Computational Theory of Genome
Rearrangements . . . . . . . . . . . . . 184
M. Herlihy and
S. Rajsbaum Algebraic Topology and Distributed
Computing --- A Primer . . . . . . . . . 203
A. Anuchitanukul and
Z. Manna and
T. E. Uribe Differential BDDs . . . . . . . . . . . 218
P. K. Agarwal and
M. Sharir Algorithmic Techniques for Geometric
Optimization . . . . . . . . . . . . . . 234
J. Nievergelt and
R. Gasser and
F. Maeser and
C. Wirth All the Needles in a Haystack: Can
Exhaustive Search Overcome Combinatorial
Chaos? . . . . . . . . . . . . . . . . . 254
N. J. Radcliffe and
P. D. Surry Fundamental Limitations on Search
Algorithms: Evolutionary Computing in
Perspective . . . . . . . . . . . . . . 275
M. Broy Mathematical System Models as a Basis of
Software Engineering . . . . . . . . . . 292
M. Shaw and
D. Garlan Formulations and Formalisms in Software
Architecture . . . . . . . . . . . . . . 307
G. Smolka The Oz Programming Model . . . . . . . . 324
D. Wood Standard Generalized Markup Language:
Mathematical and Philosophical Issues 344
D. Gries and
F. B. Schneider Avoiding the Undefined by
Underspecification . . . . . . . . . . . 366
D. Harel Towards a Theory of Recursive Structures 374
V. Pratt Chu Spaces and Their Interpretation as
Concurrent Objects . . . . . . . . . . . 392
M. Bruynooghe and
M. Codish and
A. Mulkers Abstracting Unification: A Key Step in
the Design of Logic Program Analyses . . 406
R. Anderson and
R. Needham Programming Satan's Computer . . . . . . 426
W. Reisig Petri Net Models of Distributed
Algorithms . . . . . . . . . . . . . . . 441
E. M. Clarke and
S. Jha Symmetry and Induction in Model Checking 455
M. Y. Vardi Alternating Automata and Program
Verification . . . . . . . . . . . . . . 471
E. Sandewall Reasoning about Actions and Change with
Ramification . . . . . . . . . . . . . . 486
J.-O Eklundh Trends in Active Vision . . . . . . . . 505
M. Li and
P. Vitanyi Computational Machine Learning in Theory
and Praxis . . . . . . . . . . . . . . . 518
R. R. Yager Fuzzy Sets as a Tool for Modeling . . . 536
C. J. Van Rijsbergen Information Retrieval and Informative
Reasoning . . . . . . . . . . . . . . . 549
G. Vossen Database Transaction Models . . . . . . 560
D. C. A. Bulterman and
L. Hardman Multimedia Authoring Tools: State of the
Art and Research Challenges . . . . . . 575
T. Kaeppner and
R. Steinmetz Computational Models for Distributed
Multimedia Applications . . . . . . . . 592
H. Maurer Hypermedia Systems as Internet Tools . . 608
S. Miyano Algorithmic Problems Arising from Genome
Informatics . . . . . . . . . . . . . . 1
S. Shimozono An Approximation Algorithm for Alphabet
Indexing Problem . . . . . . . . . . . . 2
J. Katajainen and
A. Moffat and
A. Turpin A Fast and Space-Economical Algorithm
for Length-Limited Coding . . . . . . . 12
B. K. Bhattacharya and
A. Mukhopadhyay Computing in Linear Time a Chord from
which a Simple Polygon is Weakly
Internally Visible . . . . . . . . . . . 22
A. Datta and
C. A. Hipke and
S. Schuierer Competitive Searching in Polygons-Beyond
Generalised Streets . . . . . . . . . . 32
S. V. Lokam and
M. Mahajan and
V. Vinay Logspace Verifiers, NC, and NP . . . . . 52
C. Karg and
R. Schuler Structure in Average Case Complexity . . 62
H. Chien and
W. Steiger Some Geometric Lower Bounds . . . . . . 72
L. Arge The I/O-Complexity of Ordered
Binary-Decision Diagram Manipulation . . 82
A. Frank and
T. Ibaraki and
H. Nagamochi Two Arc Disjoint Paths in Eulerian
Digraphs . . . . . . . . . . . . . . . . 92
Y. Asahiro and
K. Iwama Finding Dense Subgraphs . . . . . . . . 102
A. Gupta and
N. Nishimura Finding Smallest Supertrees . . . . . . 112
M.-S. Chang Weighted Domination of Cocomparability
Graphs . . . . . . . . . . . . . . . . . 122
A. E. Andreev and
A. Clementi and
P. Crescenzi and
E. Dahlhaus The Parallel Complexity of Approximating
the High Degree Subgraph Problem . . . . 132
V. Bafna and
P. Berman and
T. Fujito Constant Ratio Approximations of the
Weighted Feedback Vertex Set Problem for
Undirected Graphs . . . . . . . . . . . 142
M. M. Halldorsson and
K. Yoshihara Greedy Approximations of Independent
Sets in Low Degree Graphs . . . . . . . 152
J. N. Crossley Practical Logic . . . . . . . . . . . . 162
T. Ono and
T. Hirata and
T. Asano An Approximation Algorithm for MAX 3-SAT 163
S. Tani and
K. Yamazaki Learning of Restricted RNLC Graph
Languages . . . . . . . . . . . . . . . 171
C. H. Papadimitriou and
S. Ramanathan and
P. V. Rangan Optimal Information Delivery . . . . . . 181
N. Santoro and
J. Ren and
A. Nayak On the Complexity of Testing for
Catastrophic Faults . . . . . . . . . . 188
O.-H. Kwon and
K.-Y. Chwa Scheduling Parallel Tasks with
Individual Deadlines . . . . . . . . . . 198
J. Von zur Gathen and
I. Shparlinski Orders of Gauss Periods in Finite Fields 208
G. Havas and
B. S. Majewski A Hard Problem that is Almost Always
Easy . . . . . . . . . . . . . . . . . . 216
K. Sekine and
H. Imai and
S. Tani Computing the Tutte Polynomial of a
Graph of Moderate Size . . . . . . . . . 224
J. Dedorath and
J. Gergov and
T. Hagerup More Efficient Parallel Flow Algorithms 234
S. Carlsson and
M. Sundstroem Linear-time In-Place Selection in Less
than 3n Comparisons . . . . . . . . . . 244
S. Carlsson and
J. Chen Heap Construction: Optimal in Both Worst
and Average Cases? . . . . . . . . . . . 254
F. Shi Fast Approximate Dictionary Matching . . 264
T.-S. Hsu Undirected Vertex-Connectivity Structure
and Smallest Four-Vertex-Connectivity
Augmentation . . . . . . . . . . . . . . 274
P. Damaschke Searching for a Monotone Function by
Independent Threshold Queries . . . . . 284
K. Makino and
T. Ibaraki A Fast and Simple Algorithm for
Identifying 2-Monotonic Positive Boolean
Functions . . . . . . . . . . . . . . . 291
H.-C. Yen and
S.-T. Jian and
T.-P. Lao Deciding Bisimulation and Trace
Equivalences for Systems with Many
Identical Processes . . . . . . . . . . 301
F. P. Preparata Should Amdahl's Law be Repealed? . . . . 311
Y. Hamada and
A. Mei and
Y. Nishitani and
Y. Igarashi Embeddings of Hyper-Rings in Hypercubes 312
S.-W. Cheng and
C.-K. Tang A Fast Algorithm for Computing Optimal
Rectilinear Steiner Trees for Extremal
Point Sets . . . . . . . . . . . . . . . 322
X. Zhou and
T. Nishizeki Algorithms for Finding $f$-Colorings of
Partial $k$-Trees . . . . . . . . . . . 332
H.-G. Cho and
A. Zelikovsky Spanning Closed Trail and Hamiltonian
Cycle in Grid Graphs . . . . . . . . . . 342
W.-L. Hsu A Linear Time Algorithm for Finding
Maximal Planar Subgraphs . . . . . . . . 352
J. Abello and
V. Estivill-Castro and
T. Shermer and
J. Urrutia Illumination with Orthogonal Floodlights 362
P. Bose and
G. Toussaint No Quadrangulation is Extremely Odd . . 372
F. Chin and
J. Snoeyink and
Cao An Wang Finding the Medial Axis of a Simple
Polygon in Linear Time . . . . . . . . . 382
D. Krznaric and
C. Levcopoulos The First Subquadratic Algorithm for
Complete Linkage Clustering . . . . . . 392
P. G. Bradford and
R. Fleischer Matching Nuts and Bolts Faster . . . . . 402
J. J. Fu Linear Matching-Time Algorithm for the
Directed Graph Isomorphism Problem . . . 409
S. Fujita and
T. Kameda and
M. Yamashita A Resource Assignment Problem on Graphs 418
Z.-Z. Chen NC Algorithms for Partitioning Sparse
Graphs into Induced Forests with an
Application . . . . . . . . . . . . . . 428
P. Adams and
M. Solomon An Overview of the CAPITL Software
Development Environment . . . . . . . . 1--34
M. Cagan Untangling Configuration Management . . 35--52
D. B. Leblang and
P. H. Levine Software Configuration Management: Why
Is It Needed and What Should It Do? . . 53--60
C. Reichenberger VOODOO --- A Tool for Orthogonal Version
Management . . . . . . . . . . . . . . . 61--79
P. Brereton and
P. Singleton Deductive Software Building . . . . . . 81--87
B. R. Schmerl and
C. D. Marlin Designing Configuration Management
Facilities for Dynamically Bound Systems 88--100
Y.-J. Lin and
S. P. Reiss Configuration Management in Terms of
Modules . . . . . . . . . . . . . . . . 101--117
J. Estublier and
R. Casallas Three Dimensional Versioning . . . . . . 118--135
J. Viskari A Rationale for Automated Configuration
Status Accounting . . . . . . . . . . . 138--144
P. Lago and
R. Conradi Transaction Planning to Support
Coordination . . . . . . . . . . . . . . 145--151
J. Buffenbarger Syntactic Software Merging . . . . . . . 153--172
C. Godart and
G. Canals and
F. Charoy and
P. Molli About Some Relationships Between
Configuration Management, Software
Process and Cooperative Work: The COO
Environment . . . . . . . . . . . . . . 173--178
S. A. MacKay The State-of-the-Art in Concurrent,
Distributed Configuration Management . . 180--193
L. Allen and
G. Fernandez and
K. Kane and
D. Leblang ClearCase MultiSite: Supporting
Geographically-Distributed Software
Development . . . . . . . . . . . . . . 194--214
E. Tryggeseth and
B. Gulla and
R. Conradi Modelling Systems with Variability Using
the PROTEUS Configuration Language . . . 216--240
G. M. Clemm The Odin System . . . . . . . . . . . . 241--262
A. Christensen and
T. Egge Store --- A System for Handling
Third-Party Applications in a
Heterogeneous Computer Environment . . . 263--276
C. Adams Why Can't I Buy an SCM Tool? . . . . . . 278--287
R. J. Ray Experiences with a Script-Based Software
Configuration Management System . . . . 282--287
K. Parker Customization of a Commercial CM System
to Provide Better Management Mechanisms 289--292
A. Persson Experiences of Customization and
Introduction of a CM Model . . . . . . . 293--303
A. Van der Hoek and
D. Heimbigner and
A. L. Wolf Does Configuration Management Research
Have a Future? . . . . . . . . . . . . . 305--309
L. Ekenberg and
P. Johannesson Conflictfreeness as a Basis for Schema
Integration . . . . . . . . . . . . . . 1
J. Biskup Database Schema Design Theory:
Achievements and Challenges . . . . . . 14
B. Panda and
W. Perrizo Maintaining Surrogate Data for Query
Acceleration in Multilevel Secure
Database Systems . . . . . . . . . . . . 45
F. Andres and
F. Kwakkel and
M. L. Kersten Calibration of a DBMS Cost Model with
the Software Testpilot . . . . . . . . . 58
R. Poenighaus ``Favourite'' SQL-Statements --- An
Empirical Analysis of SQL-Usage in
Commercial Applications . . . . . . . . 75
S. Bhar and
K. Barker Static Allocation in Distributed
Objectbase Systems: A Graphical Approach 92
M. P. Reddy and
R. Y. Wang Estimating Data Accuracy in a Federated
Database Environment . . . . . . . . . . 115
B. Bhargava and
Y. Zhang and
S. Goel A Study of Distributed Transaction
Processing in an Internetwork . . . . . 135
W. Harris and
R. McClatchey and
N. Baker The Use of an Object Repository in the
Configuration of Control Systems at CERN 153
K. Furuse and
K. Asada and
A. Iizawa Implementation and Performance
Evaluation of Compressed Bit-Sliced
Signature Files . . . . . . . . . . . . 164
K. Sako and
T. Nemoto and
M. Kitsuregawa and
M. Takagi Partial Migration in an 8mm Tape Based
Tertiary Storage File System and its
Performance Evaluation through Satellite
Image Processing Applications . . . . . 178
L. Fleury and
C. Djeraba and
H. Briand and
J. Philippe Some Aspect of Rule Discovery in Data
Bases . . . . . . . . . . . . . . . . . 192
N. Terashima Telesensation --- Fusion of Multi-media
Information and Information Highways . . 206
M. Kolp and
E. Zimanyi Relational Database Design Using an ER
Approach and Prolog . . . . . . . . . . 214
M. Saeki and
S. Sureerat and
K. Yoshida Supporting Distributed Individual Work
in Cooperative Specification Development 232
N. Parimala Handling Changes in Dynamic
Specifications in Object Oriented
Systems . . . . . . . . . . . . . . . . 248
I. S. Mumick The Rejuvenation of Materialized Views 258
X. Du and
N. Ishii Normalization of Linear Recursions Based
on Graph Transformations . . . . . . . . 265
Y.-K. Ng and
N. Qaraeen Data Retrieval and Aggregates in
SQL0*/NR . . . . . . . . . . . . . . . . 283
S. Ganguly and
A. Gerasoulis and
W. Wang Partitioning Pipelines with
Communication Costs . . . . . . . . . . 302
U. Baum and
S. Blackburn Clock-controlled pseudorandom generators
on finite groups . . . . . . . . . . . . 6
W. G. Chambers On random mappings and random
permutations . . . . . . . . . . . . . . 22
C. Ding Binary cyclotomic generators . . . . . . 29
H. Dobbertin Construction of bent functions and
balanced Boolean functions with high
nonlinearity . . . . . . . . . . . . . . 61
X. Lai Additive and linear structures of
cryptographic functions . . . . . . . . 75
R. L. Rivest The RC5 encryption algorithm . . . . . . 86--96
M. Blaze and
B. Schneier The MacGuffin block cipher algorithm . . 97--110
K. Nyberg S-boxes and round functions with
controllable linearity and differential
uniformity . . . . . . . . . . . . . . . 111
L. O'Connor Properties of linear approximation
tables . . . . . . . . . . . . . . . . . 131
R. Anderson Searching for the optimum correlation
attack . . . . . . . . . . . . . . . . . 137
E. Biham and
P. C. Kocher A known plaintext attack on the PKZIP
stream cipher . . . . . . . . . . . . . 144
J. D. Golic Linear cryptanalysis of stream ciphers 154
A. Klapper Feedback with carry shift registers over
finite fields . . . . . . . . . . . . . 170
D. J. C. MacKay A free energy minimization framework for
inference problems in modulo 2
arithmetic . . . . . . . . . . . . . . . 179
L. R. Knudsen Truncated and higher order differentials 196
J. L. Massey SAFER K-64: One year later . . . . . . . 212
V. Rijmen and
B. Preneel Improved characteristics for
differential cryptanalysis of hash
functions based on block ciphers . . . . 242
B. S. Kaliski and
M. J. B. Robshaw Linear cryptanalysis using multiple
approximations and FEAL . . . . . . . . 249
U. Bloecher and
M. Dichtl Problems with the linear cryptanalysis
of DES using more than one active S-box
per round . . . . . . . . . . . . . . . 265
J. Daemen and
R. Govaerts and
J. Vandewalle Correlation matrices . . . . . . . . . . 275
S. Vaudenay On the need for multipermutations:
Cryptanalysis of MD4 and SAFER . . . . . 286--297
S. Lucks How to exploit the intractability of
exact TSP for cryptography . . . . . . . 298
M. Roe How to reverse engineer an EES device 305
W. T. Penzhorn A fast homophonic coding algorithm based
on arithmetic coding . . . . . . . . . . 329
R. Anderson On Fibonacci keystream generators . . . 346
V. Rijmen and
B. Preneel Cryptanalysis of McGuffin . . . . . . . 353
M. Roe Performance of block ciphers and hash
functions --- one year later . . . . . . 359
David J. Wheeler and
Roger M. Needham TEA, a tiny encryption algorithm . . . . 363--366
M. Broy and
M. Wirsing Correct Software: From Experiments to
Applications . . . . . . . . . . . . . . 1
P. Pepper and
M. Wirsing A Method for the Development of Correct
Software . . . . . . . . . . . . . . . . 27
P. Pepper and
R. Betschko and
S. Dick and
K. Didrich Realizing Sets by Hash Tables . . . . . 58
M. Pinna and
A. Poigne Event Automata as a Generic Model of
Reactive Systems . . . . . . . . . . . . 74
C. Lewerentz and
T. Lindner and
A. Rueping and
E. Sekerinski On Object-Oriented Design and
Verification . . . . . . . . . . . . . . 92
S. Gastinger and
R. Hennicker and
R. Stabl Design of Modular Software Systems with
Reuse . . . . . . . . . . . . . . . . . 112
R. Hettler and
D. Nazareth and
F. Regensburger and
O. Slotosch AVL Trees Revisited: A Case Study in
SPECTRUM . . . . . . . . . . . . . . . . 128
H.-D. Ehrich Korso Reference Languages --- Concepts
and Application Domains . . . . . . . . 150
U. Wolter and
K. Didrich and
F. Cornelius and
M. Klar How to Cope with the Spectrum of
SPECTRUM . . . . . . . . . . . . . . . . 173
J. Burghardt A Fine-Grain Sort Discipline and Its
Application to Formal Program
Construction . . . . . . . . . . . . . . 190
M. Gogolla and
S. Conrad and
G. Denker and
R. Herzig TROLL light --- The Language and its
Development Environment . . . . . . . . 205
T. Santen and
F. Kammueller and
S. Jaehnichen and
M. Beyer Formalization of Algebraic Specification
in the Development Language DEVA . . . . 223
F. Von Henke and
A. Dold and
H. Ruess and
D. Schwier Construction and Deduction Methods for
the Formal Development of Software . . . 239
J. Loeckx and
J. Zeyer Experiences with a Specification
Environment . . . . . . . . . . . . . . 255
B. Krieg-Brueckner and
J. Liu and
H. Shi and
B. Wolff Towards Correct, Efficient and Reusable
Transformational Developments . . . . . 270
P. Deussen and
A. Hansmann and
T. Kaeufl and
S. Klingenbeck The Verification System Tatzelwurm . . . 285
K. Stroetmann Seduct --- A Proof Compiler for First
Order Logic . . . . . . . . . . . . . . 299
J. Bohn and
H. Hungar Traverdi --- Transformation and
Verification of Distributed Systems . . 317
W. Reif The KIV-Approach to Software
Verification . . . . . . . . . . . . . . 339
T. Fuchss and
W. Reif and
G. Schellhorn and
K. Stenzel Three Selected Case Studies in
Verification . . . . . . . . . . . . . . 371
C. Lewerentz and
T. Lindner ``Production Cell'': A Comparative Study
in Formal Specification and Verification 388
F. Cornelius and
H. Hussmann and
M. Loewe The KORSO Case Study for Software
Engineering with Formal Methods: A
Medical Information System . . . . . . . 417
J. R. C. Allen and
D. W. R. Patterson and
M. D. Mulvenna and
J. G. Hughes Integration of case based retrieval with
a relational database system in aircraft
technical support . . . . . . . . . . . 1--10
R. Bisio and
F. Malabocchia Cost estimation of software projects
through case base reasoning . . . . . . 11--22
B. Fuchs and
A. Mille and
B. Chiron Operator decision aiding by adaptation
of supervision strategies . . . . . . . 23--32
F. Geffraye and
J. L. Wybo and
A. Russeil PROFIL: A decision support tool for
metallic sections design using a CBR
approach . . . . . . . . . . . . . . . . 33--42
R. T. Macura and
K. J. Macura MacRad: Radiology image resource with a
case-based retrieval system . . . . . . 43--54
F. Marir and
I. Watson Representing and indexing building
refurbishment cases for multiple
retrieval of adaptable pieces of cases 55--66
B. D. Netten and
R. A. Vingerhoeds Large-scale fault diagnosis for on-board
train systems . . . . . . . . . . . . . 67--76
E. T. O. Opiyo Case-based reasoning for expertise
relocation in support of rural health
workers in developing countries . . . . 77--87
J. Stehr CBR and machine learning for combustion
system design . . . . . . . . . . . . . 98--108
G. Agre KBS maintenance as learning two-tiered
domain representation . . . . . . . . . 109--120
S. M. Aluisio and
O. N. Oliveira A case-based approach for developing
writing tools aimed at non-native
English users . . . . . . . . . . . . . 121--132
K. D. Ashley and
B. M. McLaren Reasoning with reasons in case-based
comparisons . . . . . . . . . . . . . . 133--144
B. Bartsch-Spoerl Towards the integration of case-based,
schema-based and model-based reasoning
for supporting complex design tasks . . 145--156
M. Brown and
I. Watson and
N. Filer Separating the cases from the data:
Towards more flexible case-based
reasoning . . . . . . . . . . . . . . . 157--168
K. Z. Haigh and
M. Veloso Route planning by analogy . . . . . . . 169--180
J. D. Hastings and
L. K. Branting and
J. A. Lockwood Case adaptation using an incomplete
causal model . . . . . . . . . . . . . . 181--192
N. Hurley Evaluating the application of CBR in
mesh design for simulation problems . . 193--204
J. E. Hunt and
D. E. Cooke and
H. Holstein Case memory and retrieval based on the
immune system . . . . . . . . . . . . . 205--216
N. Indurkhya and
S. M. Weiss Using case data to improve on rule-based
function approximation . . . . . . . . . 217--228
D. B. Leake and
A. Kinley and
D. Wilson Learning to improve case adaptation by
introspective reasoning and CBR . . . . 229--240
H. Muthoz-Avila and
J. Huellen Retrieving cases in structured domains
by using goal dependencies . . . . . . . 241--252
S. Okamoto and
K. Satoh An average-case analysis of $k$-nearest
neighbor classifier . . . . . . . . . . 253--264
E. Plaza Cases as terms: A feature term approach
to the structured representation of
cases . . . . . . . . . . . . . . . . . 265--276
L. Portinale and
P. Torasso ADAPtER: An integrated diagnostic system
combining case-based and abductive
reasoning . . . . . . . . . . . . . . . 277--288
L. Purvis and
P. Pu Adaptation using constraint satisfaction
techniques . . . . . . . . . . . . . . . 289--300
F. Ricci and
P. Avesani Learning a local similarity metric for
case-based reasoning . . . . . . . . . . 301--312
B. Smyth and
M. T. Keane Experiments on adaptation-guided
retrieval in case-based design . . . . . 313--324
J. Surma and
K. Vanhoof Integrating rules and cases for the
classification task . . . . . . . . . . 325--334
W. Visser Reuse of knowledge: Empirical studies 335--346
D. Wettschereck and
D. W. Aha Weighting features . . . . . . . . . . . 347--358
M. Wolverton An investigation of marker-passing
algorithms for analogue retrieval . . . 359--370
E. Auriol and
S. Wess and
M. Manago and
K.-D. Althoff INRECA: A seamlessly integrated system
based on inductive inference and
case-based reasoning . . . . . . . . . . 371--380
S. Bakhtari and
W. Oertel DOM-ArC: An active decision support
system for quality assessment of cases 381--390
I. Bichindaritz A case-based reasoner adaptive to
different cognitive tasks . . . . . . . 391--400
P. Cunningham and
B. Smyth and
N. Hurley On the use of CBR in optimisation
problems such as the TSP . . . . . . . . 401--410
R. Deters Case-based diagnosis of multiple faults 411--420
S. Flinter and
M. T. Keane On the automatic generation of case
libraries by chunking chess games . . . 421--430
S. Fox and
D. B. Leake Learning to refine indexing by
introspective reasoning . . . . . . . . 431--440
M. H. Goeker and
H. Birkhofer Problem solving with ``The incredible
machine'': An experiment in case-based
reasoning . . . . . . . . . . . . . . . 441--450
S. Grolimund and
J.-G. Ganascia Integrating case-based reasoning and
tabu search for solving optimisation
problems . . . . . . . . . . . . . . . . 451--460
K. Hanney and
M. T. Keane and
B. Smyth and
P. Cunningham Systems, tasks and adaptation knowledge:
Revealing some revealing dependencies 461--470
T. R. Hinrichs Some limitations of feature-based
recognition in case-based design . . . . 471--480
Y. Huang and
R. Miles A case based method for solving
relatively stable dynamic constraint
satisfaction problems . . . . . . . . . 481--490
Y. Kerner Learning strategies for explanation
patterns: Basic game patterns with
applications to chess . . . . . . . . . 491--500
D. Khemani and
P. V. S. R. Bhanu Prasad A memory-based hierarchical planner . . 501--509
R. W. Lee and
R. M. Barcia and
S. K. Khator Case-based reasoning for cash flow
forecasting using fuzzy retrieval . . . 510--519
M. Malek A connectionist indexing approach for
CBR systems . . . . . . . . . . . . . . 520--527
E. Reategui and
J. A. Campbell and
S. Borghetti Using a neural network to learn general
knowledge in a case-based system . . . . 528--537
J. W. Schaaf ``Fish and sink'': An anytime-algorithm
to retrieve adequate cases . . . . . . . 538--547
G. Strube and
A. Enzinger and
D. Janetzko and
M. Knauff Knowledge engineering for CBR systems
from a cognitive science perspective . . 548--558
Kai Ming Ting Towards using a single uniform metric in
instance-based learning . . . . . . . . 559--568
H. Ushida and
T. Sato and
T. Yamaguchi and
T. Takagi Fuzzy Associative Memory System and Its
Application to Multi-Modal Interface . . 1
N. K. Kasabov Hybrid Connectionist Fuzzy Systems for
Speech Recognition and the Use of
Connectionist Production Systems . . . . 19
M. Teshnehlab and
K. Watanabe Fuzzy Gaussian Potential Neural Networks
Using a Functional Reasoning . . . . . . 34
E. Khan and
F. Unal Recurrent Fuzzy Logic Using Neural
Network . . . . . . . . . . . . . . . . 48
K.-M. Lee and
H. Lee-Kwang Information Aggregating Networks based
on Extended Sugeno's Fuzzy Integral . . 56
S.-B. Cho A Neuro-Fuzzy Architecture for High
Performance Classification . . . . . . . 67
C. Schuster and
T. Schmitz and
M. Hiller Investigation of Stability and
Robustness of a Fuzzy Traction Control
System . . . . . . . . . . . . . . . . . 85
H. Honda and
T. Hanai and
Y. Nishida and
I. Fukaya Knowledge-Based Rules for Control of the
Sake (Ginjoshu) Making Process and Their
Application in Fuzzy Control . . . . . . 101
M. A. Lee and
H. Takagi A Framework for Studying the Effects of
Dynamic Crossover, Mutation. and
Population Sizing in Genetic Algorithms 111
K. Shimojima and
Y. Hasegawa and
T. Fukuda Unsupervised/Supervised Learning for
RBF-Fuzzy System --- Adaptive Rules,
Membership Functions and Hierarchical
Structure by Genetic Algorithm . . . . . 127
D. Leitch and
P. Probert Genetic Algorithms for the Development
of Fuzzy Controllers for Mobile Robots 148
T. Furuhashi and
Y. Miyata and
K. Nakaoka and
Y. Uchikawa A New Approach to Genetic Based Machine
Learning and an Efficient Finding of
Fuzzy Rules --- Proposal of Nagoya
Approach . . . . . . . . . . . . . . . . 173
F. Takeda and
S. Omatu A Neuro-Money Recognition Using
Optimized Masks by GA . . . . . . . . . 190
S. Goonatilake and
J. A. Campbell and
N. Ahmad Genetic-Fuzzy Systems for Financial
Decision Making . . . . . . . . . . . . 202
J. Wiedermann Parallel Machine Models: How They Are
and Where Are They Going . . . . . . . . 1
P. Hajek Fuzzy Logic From the Logical Point of
View . . . . . . . . . . . . . . . . . . 31
G. Tel Sense of Direction in Processor Networks 50
H. T. Siegelmann Welcoming the Super Turing Theories . . 83
B. G. Horne and
H. T. Siegelmann and
C. L. Giles What NARX Networks Can Compute . . . . . 95
K. G. Jeffery Database: Introduction to Problems . . . 103
J. Grimson Distributed Information Systems . . . . 120
N. W. Paton Extending Database Technology . . . . . 146
A. J. G. Betts Introducing SSADM4+ and PRINCE . . . . . 166
J. C. Bicarregui and
B. M. Matthews Formal Methods in Practice: A Comparison
of two Support Systems for Proof . . . . 184
H. Rischel and
J. Cuellar and
S. Moerk and
A. P. Ravn Development of Safety-Critical Real-Time
Systems . . . . . . . . . . . . . . . . 206
E. Boerger Why Use Evolving Algebras for Hardware
and Software Engineering? . . . . . . . 236
C. Bac and
G. Bernard and
D. Conan and
Q. H. Nguyen Experience with Chorus . . . . . . . . . 272
B. Chapman and
P. Mehrotra and
H. P. Zima High-Level Languages for Parallel
Scientific Computing . . . . . . . . . . 292
H. Maurer On Some New Aspects of Networked
Multimedia Systems . . . . . . . . . . . 315
A. Limpouch and
K. Charvat Quo Vadis GIS: From GIS to GIMS and Open
GIS . . . . . . . . . . . . . . . . . . 334
V. A. Marshall WWW --- The World Wide Web . . . . . . . 350
P. Borovansky Implementation of Higher-Order
Unification Based on Calculus of
Explicit Substitution . . . . . . . . . 363
A. Cappelli and
C. De Castro and
M. R. Scalas A Modular History-Oriented Access
Structure for Bitemporal Relational
Databases . . . . . . . . . . . . . . . 369
H.-W. Gellersen Software Engineering Meets
Human-Computer Interaction: Integrating
User Interface Design in an
Object-Oriented Methodology . . . . . . 375
T. Holan and
V. Kubon and
M. Platek Parsing of Free-Word-Order Languages . . 379
E. Jennings Distributed Algorithm for Finding a Core
of a Tree Network . . . . . . . . . . . 385
P. Kozak Stepwise Synthesis of Reactive Programs 391
W. X. Li A Simple and Efficient Incremental LL(1)
Parsing . . . . . . . . . . . . . . . . 399
S. Lucas Fundamentals of Contex-Sensitive
Rewriting . . . . . . . . . . . . . . . 405
L. Matyska and
H. Bures Constraint Logic Programming with Fuzzy
Sets . . . . . . . . . . . . . . . . . . 413
F. Meunier and
P. Zemanek Parallel Processing of Image Database
Queries . . . . . . . . . . . . . . . . 419
L. Motyckova Maximum Flow Problem in Distributed
Environment . . . . . . . . . . . . . . 425
N. H. Phuong Fuzzy Set Theory and Medical Expert
Systems: Survey and Model . . . . . . . 431
A. Pirotte and
T. Van den Berghe and
E. Zimanyi The Fusion Object-Oriented Method: an
Evaluation . . . . . . . . . . . . . . . 437
Z. Repaska Integration of Object-Oriented Analysis
and Algebraic Specifications . . . . . . 443
M. Rozloznik and
Z. Strakos On the Implementation of Some Residual
Minimizing Krylov Space Methods . . . . 449
C. Smith and
C. A. Tau A Formal Lazy Replication Regime for
Spreading Conversion Functions Over
Objectbases . . . . . . . . . . . . . . 455
J. Sima Hopfield Languages . . . . . . . . . . . 461
J. Stuller Inconsistency Conflict Resolution . . . 469
E. Tambouris and
P. Van Santen A Methodology for Performance and
Scalability Analysis . . . . . . . . . . 475
M. Tuma and
M. Rozloznik On the Efficiency of Superscalar and
Vector Computer for Some Problems in
Scientific Computing . . . . . . . . . . 481
P. Vojtas and
L. Paulik Logic Programming in RPL and RQL . . . . 487
J. Zizka and
I. Snajdarkova Recognition of Handwritten Characters
Using Instance-Based Learning Algorithms 493
S. Ceri and
E. Baralis and
P. Fraternali and
S. Paraboschi Design of Active Rule Applications:
Issues and Approaches . . . . . . . . . 1
I. Motakis and
C. Zaniolo Composite Temporal Events in Active
Database Rules: A Logic-Oriented
Approach . . . . . . . . . . . . . . . . 19
E. Baralis and
S. Ceri and
S. Paraboschi Run-time Detection of Non-Terminating
Active Rule Systems . . . . . . . . . . 38
C. Zaniolo Active Database Rules with
Transaction-Conscious Stable-Model
Semantics . . . . . . . . . . . . . . . 55
K. A. Ross Efficiently Following Object References
for Large Object Collections and Small
Main Memory . . . . . . . . . . . . . . 73
D. B. Kemp and
K. Ramamohanarao and
P. J. Stuckey ELS-Programs and the Efficient
Evaluation of Non-Stratified Programs by
Transformation to ELS . . . . . . . . . 91
S. Lifschitz and
R. N. Melo and
E. Pacitti Practical Behavior of Parallelization
Strategies for Datalog . . . . . . . . . 109
C. Robles and
J. Lobo and
T. Gaasterland An Experimental Distributed Deductive
Database System . . . . . . . . . . . . 128
A. Dinn and
N. W. Paton and
M. H. Williams and
A. A. A. Fernandes The Implementation of a Deductive Query
Language over an OODB . . . . . . . . . 143
Y. Papakonstantinou and
A. Gupta and
H. Garcia-Molina and
J. Ullman A Query Translation Scheme for Rapid
Implementation of Wrappers . . . . . . . 161
M. Kifer Deductive and Object Data Languages: A
Quest for Integration . . . . . . . . . 187
S. Abiteboul and
J. Van Den Bussche Deep Equality Revisited . . . . . . . . 213
D. Calvanese and
G. De Giacomo and
M. Lenzerini Structured Objects: Modeling and
Reasoning . . . . . . . . . . . . . . . 229
M. Tsukamoto and
S. Nishio Inheritance Reasoning by Regular Sets in
Knowledge-Bases with Dot Notation . . . 247
G. Dobbie and
R. Topor Resolving Ambiguities Caused by Multiple
Inheritance . . . . . . . . . . . . . . 265
V. Gaede and
O. Guenther Efficient Processing of Queries
Containing User-Defined Predicates . . . 281
B. Finance and
V. Smahi and
J. Fessy Query Processing in IRO-DB . . . . . . . 299
D. Quass and
A. Rajaraman and
Y. Sagiv and
J. Ullman Querying Semistructured Heterogeneous
Information . . . . . . . . . . . . . . 319
Y. Yanagisawa and
M. Tsukamoto and
S. Nishio Deductive Object-Oriented Programming
for Knowledge-Base Independence . . . . 345
G. Specht and
S. Seeberger Montague Grammars as Deductive Databases 363
V. Phan Luong A Mixed Approach to Negation in General
Datalog Programs . . . . . . . . . . . . 378
M. Lawley Transaction Safety in Deductive
Object-Oriented Databases . . . . . . . 395
M. Guerni and
J. Ferrie and
J.-F. Pons Concurrency and Recovery for Typed
Objects Using a New Commutativity
Relation . . . . . . . . . . . . . . . . 411
C. Fahrner and
G. Vossen Transforming Relational Database Schemas
into Object-Oriented Schemas according
to ODMG-93 . . . . . . . . . . . . . . . 429
M.-S. Hacid and
C. Rigotti Combining Resolution and Classification
for Semantic Query Optimization in DOOD 447
Y.-W. Lee and
S. I. Yoo Semantic Query Optimization for Object
Queries . . . . . . . . . . . . . . . . 467
Z. Xie and
J. Han Normalization and Compilation of
Deductive and Object-Oriented Database
Programs for Efficient Query Evaluation 485
A. Baraani-Dastjerdi and
J. Pieprzyk and
R. Safavi-Naini and
J. R. Getta A Model of Authorization for
Object-Oriented Databases Based on
Object Views . . . . . . . . . . . . . . 503
H. Seki and
Y. Ishihara and
M. Ito Authorization Analysis of Queries in
Object-Oriented Databases . . . . . . . 521
X. Ye and
C. Parent and
S. Spaccapietra On the Specification of Views in DOOD
Systems . . . . . . . . . . . . . . . . 539
B. Blumenthal Industrial Design and Activity Theory: A
New Direction for Designing
Computer-Based Artifacts . . . . . . . . 1
Gerhard Viehstaedt and
Mark Minas Generating Editors for Direct
Manipulation of Diagrams . . . . . . . . 17--25
B. H. Thomas and
P. R. Calder Animating Widgets in the InterViews
Toolkit . . . . . . . . . . . . . . . . 26
A. Moerch Application Units: Basic Building Blocks
of Tailorable Applications . . . . . . . 45
M. Linard and
R. Zeiliger Designing Navigational Support for
Educational Software . . . . . . . . . . 63
J. E. Bardram and
O. W. Bertelsen Supporting the Development of
Transparent Interaction . . . . . . . . 79
C. Carpineto and
G. Romano ULYSSES: A Lattice-Based Multiple
Interaction Strategy Retrieval Interface 91
V. M. Chelnokov and
V. L. Zephyrova Hypertext Macrodynamics . . . . . . . . 105
K. Andrews and
H. Maurer and
N. Scherbakov Semantic Modeling of Object-Oriented
Hypermedia Databases . . . . . . . . . . 121
V. V. Prokhorov PYTHAGORAS: Multienvironment Software 135
N. Koshizuka and
K. Sakamura The Shared Interaction Objects
Architecture: Integration of Advanced
GUI Techniques in Distributed
Environments . . . . . . . . . . . . . . 149
V. B. Valkovsky and
D. L. Krechman and
I. S. Nikiforov and
D. S. Chenosov The Processing of Recursive
Generalization in the Construction of
Hypermedia Macrostructure . . . . . . . 166
D. Nitsche-Ruhland and
G. Zimmermann CritiGUI --- Knowledge-Based Support for
the User Interface Design Process in
Smalltalk . . . . . . . . . . . . . . . 179
V. Kaptelinin and
K. Kuutti and
L. Bannon Activity Theory: Basic Concepts and
Applications . . . . . . . . . . . . . . 189
E. Kranakis and
D. Krizanc and
B. Ruf and
J. Urrutia VC-Dimensions for Graphs . . . . . . . . 1
T. Kloks and
D. Kratsch and
H. Mueller Finding and Counting Small Induced
Subgraphs Efficiently . . . . . . . . . 14
L. Babel and
S. Olariu On the Isomorphism of Graphs with Few
P4s . . . . . . . . . . . . . . . . . . 24
D. G. Degiorgi and
K. Simon A Dynamic Algorithm for Line Graph
Recognition . . . . . . . . . . . . . . 37
F. D'Amore and
R. Giaccio Incremental Hive Graph . . . . . . . . . 49
H. N. Djidjev and
S. M. Venkatesan Planarization of Graphs Embedded on
Surfaces . . . . . . . . . . . . . . . . 62
S. O. Krumke and
H. Noltemeier and
S. S. Ravi and
M. V. Marathe Complexity and Approximability of
Certain Bicriteria Location Problems . . 73
D. Plump On Termination of Graph Rewriting . . . 88
M. Bauderon A Uniform Approach to Graph Rewriting:
The Pullback Approach . . . . . . . . . 101
F. D. Fracchia Visualizing Two- and Three-Dimensional
Models of Meristematic Growth . . . . . 116
S. Hartmann Graph-Theoretical Methods to Construct
Entity-Relationship Databases . . . . . 131
I. Schiermeyer An Approximation Algorithm for
3-Colourability . . . . . . . . . . . . 146
S. Fischer and
L. Torenvliet The Malleability of TSP2Opt . . . . . . 152
P. Alimonti Non-Oblivious Local Search for Graph and
Hypergraph Coloring Problems . . . . . . 167
H. L. Bodlaender and
R. B. Tan and
D. M. Thilikos and
J. Van Leeuwen On Interval Routing Schemes and
Treewidth . . . . . . . . . . . . . . . 181
K. Wada and
T. Ikeo and
K. Kawaguchi and
W. Chen Highly Fault-Tolerant Routings and
Diameter Vulnerability for Generalized
Hypercube Graphs . . . . . . . . . . . . 197
F. Meyer auf der Heide and
M. Westermann Hot-Potato Routing on Multi-Dimensional
Tori . . . . . . . . . . . . . . . . . . 209
M. Flammini and
G. Gambosi and
S. Salomone On Devising Boolean Routing Schemes . . 222
B. D. Birchler and
A.-H. Esfahanian and
E. Torng Toward a General Theory of Unicast-Based
Multicast Communication . . . . . . . . 237
J. Rolim and
O. Sykora and
I. Vrt'o Optimal Cutwidths and Bisection Widths
of $2$- and $3$-Dimensional Meshes . . . 252
P. Damaschke Searching for Faulty Leaves in Binary
Trees . . . . . . . . . . . . . . . . . 265
Z.-Z. Chen and
X. He NC Algorithms for Partitioning Planar
Graphs into Induced Forests and
Approximating NP-Hard Problems . . . . . 275
E. Dahlhaus Efficient Parallel Modular Decomposition 290
P. Bonizzoni and
G. Della Vedova Modular Decomposition of Hypergraphs . . 303
J. L. Pfaltz Partition Coefficients of Acyclic Graphs 318
T. Takaoka Sub-Cubic Cost Algorithms for the All
Pairs Shortest Path Problem . . . . . . 333
J. S. Deogun and
D. Kratsch Diametral Path Graphs . . . . . . . . . 344
P. Galinier and
M. Habib and
C. Paul Chordal Graphs and their Clique Graphs 358
J. Gustedt and
M. Morvan and
L. Viennot A Compact Data Structure and Parallel
Algorithms for Permutation Graphs . . . 372
A. Brandstaedt and
F. F. Dragan and
F. Nicolai Homogeneously Orderable Graphs and the
Steiner Tree Problem . . . . . . . . . . 381
M. Degermark and
T. Koehler and
S. Pink and
O. Schelen Advance Reservations for Predicted
Service . . . . . . . . . . . . . . . . 3
D. Ferrari and
A. Gupta and
G. Ventre Distributed Advance Reservation of
Real-Time Connections . . . . . . . . . 16
L. C. Wolf and
L. Delgrossi and
R. Steinmetz and
S. Schaller Issues of Reserving Resources in Advance 28
P. Leydekkers and
V. Gay and
L. Franken A Computational and Engineering View on
Open Distributed Real-Time Multimedia
Exchange . . . . . . . . . . . . . . . . 41
M. B. Jones and
P. J. Leach and
R. P. Draves and
J. S. Barrera Support for User-Centric Modular
Real-Time Resource Management in the
Rialto Operating System . . . . . . . . 53
G. K. Jeffay and
D. Bennett A Rate-Based Execution Abstraction for
Multimedia Computing . . . . . . . . . . 64
C. J. Lindblad VuSystem Performance Measurements . . . 76
C. D. Cranor and
G. M. Parulkar Design of Universal Continuous Media I/O 80
H. Kitamura and
K. Taniguchi and
H. Sakamoto and
T. Nishida A New OS Architecture for High
Performance Communication over ATM
Networks-Zero-Copy Architecture- . . . . 84
A. Eleftheriadis and
D. Anastassiou Meeting Arbitrary QoS Constraints Using
Dynamic Rate Shaping of Coded Digital
Video . . . . . . . . . . . . . . . . . 89
A. Campbell and
D. Hutchinson and
C. Aurrecoechea Dynamic QoS Management for Scalable
Video Flows . . . . . . . . . . . . . . 101
K. Kawachiya and
M. Ogata and
N. Nishio and
H. Tokuda Evaluation of QoS-Control Servers on
Real-Time Mach . . . . . . . . . . . . . 117
L. C. Schreier and
M. B. Davis System-Level Resource Management for
Network-Based Multimedia Applications 121
N. Chaddha and
G. A. Wall and
B. Schmidt An End to End Software Only Scalable
Video Delivery System . . . . . . . . . 130
S. Cen and
C. Pu and
R. Staehli and
C. Cowan A Distributed Real-Time MPEG Audio
Player . . . . . . . . . . . . . . . . . 142
J.-C. Bolot and
H. Crepin and
A. V. Garcia Analysis of Audio Packet Loss in the
Internet . . . . . . . . . . . . . . . . 154
H. C. Lauer and
C. Shen and
R. Osborne and
J. Howard Digital Audio and Video in Industrial
Systems . . . . . . . . . . . . . . . . 166
K. Fall and
J. Pasquale and
S. McCanne Workstation Video Playback Performance
with Competitive Process Load . . . . . 170
H. Schulzrinne When Can We Unplug the Radio and
Telephone? . . . . . . . . . . . . . . . 174
K. Rothermel and
T. Helbig An Adaptive Stream Synchronization
Protocol . . . . . . . . . . . . . . . . 178
B. K. Schmidt and
J. D. Northcutt and
M. S. Lam A Method and Apparatus for Measuring
Media Synchronization . . . . . . . . . 190
J. Nieh and
M. S. Lam Integrated Processor Scheduling for
Multimedia . . . . . . . . . . . . . . . 202
A. Mauthe and
G. Coulson Scheduling and Admission Testing for
Jitter Constrained Periodic Threads . . 206
R. Yavatkar and
K. Lakshman A CPU Scheduling Algorithm for
Continuous Media Applications . . . . . 210
H. Schulzrinne Dynamic Configuration of Conferencing
Applications Using Pattern-Matching
Multicast . . . . . . . . . . . . . . . 216
E. Biersack and
J. Nonnenmacher WAVE: A New Multicast Routing Algorithm
for Static and Dynamic Multicast Groups 228
R. Bettati and
D. Ferrari and
A. Gupta and
W. Heffner Connection Establishment for Multi-Party
Real-Time Communication . . . . . . . . 240
K. C. Almeroth and
M. H. Ammar The Role of Multicast Communication in
the Provision of Scalable and
Interactive Video-on-Demand Service . . 251
H. Zhang and
E. W. Knightly RED-VBR: A New Approach to Support
Delay-Sensitive VBR Video in
Packet-Switched Networks . . . . . . . . 258
P. Goyal and
S. S. Lam and
H. M. Vin Determining End-to-End Delay Bounds in
Heterogeneous Networks . . . . . . . . . 273
V. Bansal and
R. J. Siracusa and
J. P. Hearn and
G. Ramamurthy Adaptive QoS-Based API for ATM
Networking . . . . . . . . . . . . . . . 285
S. S. Lam and
G. G. Xie Burst Scheduling Networks: Flow
Specification and Performance Guarantees 289
S. W. Lau and
J. C. S. Lui A Novel Video-on-Demand Storage
Architecture for Supporting Constant
Frame Rate with Variable Bit Rate
Retrieval . . . . . . . . . . . . . . . 294
A. J. Chaney and
I. D. Wilson and
A. Hopper The Design and Implementation of a
RAID-3 Multimedia File Server . . . . . 306
M. M. Buddhikot and
G. M. Parulkar Efficient Data Layout, Scheduling and
Playout Control in MARS . . . . . . . . 318
S. D. Stoller and
J. D. DeTreville Storage Replication and Layout in
Video-on-Demand Servers . . . . . . . . 330
S. Paek and
P. Bocheck and
S.-F. Chang Scalable MPEG2 Video Servers with
Heterogeneous QoS on Parallel Disk
Arrays . . . . . . . . . . . . . . . . . 342
G. Neufeld and
D. Makaroff and
N. Hutchinson The Design of a Variable Bit Rate
Continuous Media Server . . . . . . . . 354
O. Mueller and
T. Nipkow Combining model checking and deduction
for I/O-automata . . . . . . . . . . . . 1
K. G. Larsen and
B. Steffen and
C. Weise A constraint oriented proof methodology
based on modal transition systems . . . 17
T. H. Henzinger and
P.-H. Ho and
H. Wong-Toi A user guide to HyTech . . . . . . . . . 41
A. Mader Modal-calculus, model checking and Gauss
elimination . . . . . . . . . . . . . . 72
J. G. Henriksen and
J. Jensen and
M. Joergensen and
N. Klarlund MONA: Monadic second-order logic in
practice . . . . . . . . . . . . . . . . 89
U. H. Engberg and
K. S. Larsen Efficient simplification of bisimulation
formulas . . . . . . . . . . . . . . . . 111
A. W. Roscoe and
P. H. B. Gardiner and
M. H. Goldsmith and
J. R. Hulance Hierarchical compression for
model-checking CSP or How to check
100200 dining philosophers for deadlock 133
R. Cleaveland and
E. Madelaine and
S. Sims A front-end generator for verification
tools . . . . . . . . . . . . . . . . . 153
C. Tofts Analytic and locally approximate
solutions to properties of probabilistic
processes . . . . . . . . . . . . . . . 174
N. De Francesco and
A. Fantechi and
S. Gnesi and
P. Inverardi Model checking of non-finite state
processes by finite approximations . . . 195
J. Bohn and
S. Roessig On automatic and interactive design of
communicating systems . . . . . . . . . 216
W. Janssen Layers as knowledge transitions in the
design of distributed systems . . . . . 238
J. Knoop and
B. Steffen and
J. Vollmer Parallelism for free: bitvector analyses
=> no state explosion! . . . . . . . . . 264
J. Hunt Evolutionary Case Based Design . . . . . 17
A. D. Griffiths and
D. G. Bridge Formalising the Knowledge Content of
Case Memory Systems . . . . . . . . . . 32
M. Brown and
N. Filer Beauty vs. the Beast: The Case Against
Massively Parallel Retrieval . . . . . . 42
R. Oehlmann and
P. Edwards and
D. Sleeman Self-Questioning and Experimentation: An
Index Vocabulary of Situated Interaction 59
A. M. Dearden Improving the Interfaces to Interactive
Case Memories . . . . . . . . . . . . . 73
P. J. Funk and
D. Robertson Capturing and Matching Dynamic Behaviour
in Case-Based Reasoning . . . . . . . . 85
I. Bichindaritz Incremental Concept Learning and
Case-Based Reasoning: For a Co-Operative
Approach . . . . . . . . . . . . . . . . 91
F. Marir and
I. Watson Can CBR Imitate Human Intelligence and
are such Systems easy to Design and
Maintain? A Critique . . . . . . . . . . 107
C. J. Price and
I. S. Pegler Deciding Parameter Values with
Case-Based Reasoning . . . . . . . . . . 121
J. Ellman An Application of Case Based Reasoning
to Object Oriented Database Retrieval 134
I. Dattani and
M. Bramer Case-Based Reasoning: A Technique
for``Decision Support Systems'' in
Residential Valuation and the
Construction of Residential Housing . . 142
K. Pal and
J. A. Campbell A Hybrid System For Decision-Making
About Assets In English Divorce Cases 152
P. Maguire and
V. Shankararaman and
R. Szegfue and
L. Morss Application of Case-Based Reasoning
(CBR) to Software Reuse . . . . . . . . 166
E. Georgin and
F. Bordin and
S. Loesel and
J. R. McDonald CBR Applied to Fault Diagnosis on Steam
Turbines . . . . . . . . . . . . . . . . 175
S. Perera and
I. Watson Nirmani: An Integrated Case-Based System
for Strategic Design and Estimating . . 185
T. Khan and
Yau Jim Yip Case-based Curriculum Planning for
Computer-Aided Instruction . . . . . . . 201
G. Wiederhold Modeling and System Maintenance . . . . 1
L. Liu Adaptive Schema Design and Evaluation in
an Object-Oriented Information System 21
S. Thelemann Assertion of Consistency Within a
Complex Object Database Using a
Relationship Construct . . . . . . . . . 32
A. Baraani-Dastjerdi and
J. Pieprzyk and
R. Safavi-Naini and
J. Getta A Cryptographic Mechanism for
Object-Instance-Based Authorization in
Object-Oriented Database Systems . . . . 44
S. Liddle and
D. Embley and
S. Woodfield Unifying Modeling and Programming
Through an Active,. Object-Oriented,
Model-Equivalent Programming Language 55
M. Gogolla A Declarative Query Approach to Object
Identification . . . . . . . . . . . . . 65
C. Fung and
Q. Li Versatile Querying Facilities for a
Dynamic Object Clustering Model . . . . 77
M. Vermeer and
P. Apers Reverse Engineering of Relational
Database Applications . . . . . . . . . 89
V. Vidal and
M. Winslett A Rigorous Approach to Schema
Restructuring . . . . . . . . . . . . . 101
M. Bouneffa and
N. Boudjlida Managing Schema Changes in
Object-Relationship Databases . . . . . 113
M. Teisseire Behavioural Constraints: Why Using
Events Instead of States . . . . . . . . 123
M. Schreft and
M. Stumptner Behavior Consistent Extension of Object
Life Cycles . . . . . . . . . . . . . . 133
J. Burg and
R. Van de Riet COLOR-X Even Model: Integrated
Specification of the Dynamics of
Individual Objects . . . . . . . . . . . 146
P. Srinivasan Hands and
G. Vignes and
A. Srinivasan Database Design with Behavior and Views
Using Parameterized Petri Nets . . . . . 158
Y.-C. Oh and
S. Navathe SEER: Security Enhanced
Entity-Relationship Model for Secure
Relational Databases . . . . . . . . . . 170
E. Ellmer and
C. Huemer and
D. Merkl and
G. Pernul Neural Network Technology to Support
View Integration . . . . . . . . . . . . 181
T. Halpin and
H. Proper Database Schema Transformation and
Optimization . . . . . . . . . . . . . . 191
R. Missaoui and
J.-M. Gagnon and
R. Godin Mapping an Extended Entity-Relationship
Schema into a Schema of Complex Objects 204
T. Jones and
I.-Y. Song Binary Representation of Ternary
Relationships in ER Conceptual Modeling 216
Z. Diskin and
B. Cadish Variable Sets and Functions Framework
for Conceptual Modeling: Integrating ER
and OO via Sketches with Dynamic Markers 226
O. De Troyer and
R. Meersman A Logic Framework for a Semantics of
Object Oriented Data Modeling . . . . . 238
M. Saeki Object-Oriented Meta Modeling . . . . . 250
S. Jarzabek and
T. W. Ling A Conceptual Model for Business
Re-engineering Methods and Tools . . . . 260
V. Gruhn and
C. Pahl and
M. Wever Data Model Evolution as a Business
Process Management . . . . . . . . . . . 270
S. Castano and
V. De Antonellis Re-engineering Processess in Public
Administrations . . . . . . . . . . . . 282
J. Knapp Uniqueness Conditions for ER
Representations . . . . . . . . . . . . 296
I. Mitchell and
I. Ferguson and
N. Parrington Rapid Prototyping: An Integrated CASE
Based Approach . . . . . . . . . . . . . 308
J. Venable and
J. Grundy Integrating and Supporting Entity
Relationship and Object Role Models . . 318
G. Saake and
S. Conrad and
C. Tuerker From Objects Specification Towards Agent
Design . . . . . . . . . . . . . . . . . 329
F. Casati and
S. Ceri and
B. Pernici and
G. Pozzi Conceptual Modeling of Work Flows . . . 341
I. Hawryszkiewycz An Object Oriented Approach for CSCW
System Design . . . . . . . . . . . . . 355
C. Jensen and
R. Snodgrass Semantics of Time-Varying Attributes and
Their Use for Temporal Database Design 366
A. Gal and
O. Etzion Handling Change Management Using
Temporal Active Repositories . . . . . . 378
V. Kouramajian and
M. Gertz A Graphical Query Language for Temporal
Databases . . . . . . . . . . . . . . . 388
I. Schmitt and
G. Saake Managing Object Identity in Federated
Database Systems . . . . . . . . . . . . 400
J. R. Getta and
L. A. Maciaszek Management of Inconsistent Information
in Federated Systems . . . . . . . . . . 412
M.-L. Lee and
T. W. Ling Resolving Structural Conflicts in the
Integration of Entity-Relationship
Schemas . . . . . . . . . . . . . . . . 424
H. E. Michelsen Use and Control of Data Models: A
Repository Approach . . . . . . . . . . 434
D. Moody The Seven Habits of Highly Effective
Data Modelers (and Object Modelers?) . . 436
D. Tasker Object Responsibility Categories in
Support of Top-Down Object Discovery . . 438
D. Tonkin Denormalisation as an OO Extension . . . 439
B. Unhelkar Development of Financial Markets
Analytical Products: a MOSES Case study 441
J. Ha and
K. Jeong and
S. Kim and
S. Choi The Practice of Nuclear Integrated
Design and Engineering Database
Establishment Using OO DBMS . . . . . . 444
K. Dampney and
M. Johnson Application of ``Consistent Dependency''
to Corporate and Project Information
Models . . . . . . . . . . . . . . . . . 445
C. Atkins The Use of Agglomerative Categorisation
to Build a Conceptual View of
Statistical Data . . . . . . . . . . . . 447
D. A. Turner Invited paper: Elementary strong
functional programming . . . . . . . . . 1
E. T. Keravnou Introducing computer science
undergraduates to principles of
programming through a functional
language . . . . . . . . . . . . . . . . 15
A. Davison Teaching C after Miranda . . . . . . . . 35
J.-P. Jacquot and
J. Guyard Requirements for an ideal first language 51
M. Nuthez and
P. Palao and
R. Petha A second year course on data structures
based on functional programming . . . . 65
S. Thompson and
S. Hill Functional programming through the
curriculum . . . . . . . . . . . . . . . 85
S. Jarvis and
S. Poria and
R. Morgan Understanding LOLITA: Experiences in
teaching large scale functional
programming . . . . . . . . . . . . . . 103
J. Karczmarczuk Functional programming and mathematical
objects . . . . . . . . . . . . . . . . 121
J. Fokker Explaining algebraic theory with
functional programs . . . . . . . . . . 139
D. Lester and
S. Mintchev Inducing students to induct . . . . . . 159
C. T. P. Burton Conceptual structures for recursion . . 179
J. O'Donnell From transistors to computer
architecture: Teaching functional
circuit specification in Hydra . . . . . 195
P. Koopman and
V. Zweije Functional programming in a basic
database course . . . . . . . . . . . . 215
W. E. Kluge and
C. Rathsack and
S.-B. Scholz Using -RED as a teaching tool for
functional programming and program
execution . . . . . . . . . . . . . . . 231
E. Hilsdale and
J. M. Ashley and
R. K. Dybvig and
D. P. Friedman Compiler construction using Scheme . . . 251
P. H. Hartel and
B. Van Es and
D. Tromp Basic proof skills of computer science
students . . . . . . . . . . . . . . . . 269
C. Clack and
C. Myers The dys-functional student . . . . . . . 289
E. A. Albacea Leapfrogging Samplesort . . . . . . . . 1
L. Cai Spanning 2-Trees . . . . . . . . . . . . 10
M.-Y Kao Minimal Linear Invariants . . . . . . . 23
L. Baffi and
R. Petreschi Parallel Maximal Matching on Minimal
Vertex Series Parallel Digraphs . . . . 34
Tak Wah Lam and
Ka Hing Lee Efficient Equality-Testing and Updating
of Sets . . . . . . . . . . . . . . . . 48
Viet Hai Nguyen and
P. Widmayer Binary Space Partitions for Sets of
Hyperrectangles . . . . . . . . . . . . 59
S. Byun and
R. Kennaway and
R. Sleep Transformation of Orthogonal Term
Rewriting Systems . . . . . . . . . . . 73
M. Satpathy and
A. Sanyal and
G. Venkatesh An Automaton-Driven Frame Disposal
Algorithm and its Proof of Correctness 88
M. Gandhe and
G. Venkatesh and
A. Sanyal Labeled lambda-Calculus and a
Generalised Notion of Strictness . . . . 103
S. Pinchinat and
E. Rutten and
R. Shyamasundar Preemption Primitives in Reactive
Languages . . . . . . . . . . . . . . . 111
W. Fraczak Multi-Action Process Algebra . . . . . . 126
A. Mycroft and
P. Degano and
C. Priami Complexity as a Basis for Comparing
Semantic Models of Concurrency . . . . . 141
N. Raja and
R. K. Shyamasundar Combinatory Formulations of Concurrent
Languages . . . . . . . . . . . . . . . 156
J. Niehren and
M. Mueller Constraints for Free in Concurrent
Computation . . . . . . . . . . . . . . 171
P. Jalote Formalizing Inductive Proofs of Message
Recovery in Distributed Systems . . . . 187
X. Ye and
J. Keane Detecting Distributed Termination in the
Presence of Node Failure . . . . . . . . 195
F. Liu and
T. Peinkenkamp and
W. Damm An Extended Gradient Model for NUMA
Multiprocessor Systems . . . . . . . . . 210
Shao Dong Chen and
H. Shen and
R. Topor Efficient Parallel Permutation-Based
Range-Join Algorithms on Mesh-Connected
Computers . . . . . . . . . . . . . . . 225
H. Lu and
K.-L. Tan Pipelined Band Join in Shared-Nothing
Systems . . . . . . . . . . . . . . . . 239
K. Yamamoto and
S. Naito and
M. Itoh Inductive Logic Programming Based on
Genetic Algorithm . . . . . . . . . . . 254
S.-H. Nienhuys-Cheng and
R. De Wolf The Equivalence of the Subsumption
Theorem and the Refutation-completeness
for Unconstrained Resolution . . . . . . 269
L. Ngo and
P. Haddawy Probabilistic Logic Programming and
Bayesian Networks . . . . . . . . . . . 286
P. Anderson and
D. Basin Deriving and Applying Logic Program
Transformers . . . . . . . . . . . . . . 301
B.-M. Tong and
H.-F. Leung Performance of a Data-Parallel
Concurrent Constraint Programming System 319
R. Bharadwaj and
A. Felty and
F. Stomp Formalizing Inductive Proofs of Network
Algorithms . . . . . . . . . . . . . . . 335
R. Achuthan and
V. S. Alagar and
T. Radhakrishnan TROM --- An Object Model for Reactive
System Development . . . . . . . . . . . 350
P. Chan and
D. Van Hung Duration Calculus Specification of
Scheduling for Tasks with Shared
Resources . . . . . . . . . . . . . . . 365
M. Iglewski and
M. Kubica and
J. Madey Trace Specifications of
Non-deterministic Multi-object Modules 381
X. Chen and
P. Inverardi and
C. Montangero ESP-MC: An Experiment in the Use of
Verification Tools . . . . . . . . . . . 396
T. S. Huang and
L.-A. Tang $3$D Model-Based Video Coding: Computer
Vision Meets Computer Graphics . . . . . 1
S. Shah and
J. K. Aggarwal Autonomous Mobile Robot Navigation Using
Fish-Eye Lenses . . . . . . . . . . . . 9
J. Huang and
J.-Z. Wang High-Performance Tracking System . . . . 17
Y.-P. Hung and
C.-Y. Tang and
Z. Chen and
S.-W. Shih A $3$D Predictive Visual Tracker for
Tracking Multiple Moving Objects with a
Stereo Vision System . . . . . . . . . . 25
N. Barnes and
Z.-Q. Liu Vision Guided Circumnavigating
Autonomous Robots . . . . . . . . . . . 33
W. H. Wong and
H. H. S. Ip Force-Driven Optimization for
Correspondence Establishment . . . . . . 43
X. Liang and
B. Li and
S. Liu The Deformed Cube: A Visualization
Technique for $3$D Velocity Vector Field 51
J. Ren and
G. Zeng and
S. Liu Interactive Particle Tracing Algorithm
for Unstructured Grids . . . . . . . . . 59
P. C. Teo and
C. D. Garfinkle Fast Resampling Using Vector
Quantization . . . . . . . . . . . . . . 66
M. Xu and
Z. Tang and
J. Deng A B-Spline Surface Interpolation
Technique for Reconstructing $3$D
Objects from Serial Arbitrary Shaped
Planar Contours . . . . . . . . . . . . 74
R. Lengagne and
O. Monga and
C. Ge and
Ma Song De Two Methods for a Reliable Comer
Detection in $2$D Images . . . . . . . . 83
R. Watzel and
K. Braun and
A. Hess and
H. Scheich On the Deletability of Points in $3$D
Thinning . . . . . . . . . . . . . . . . 91
J. You and
W. P. Zhu and
H. A. Cohen and
E. Pissaloux Real-Time Textured Object Recognition on
Distributed Systems . . . . . . . . . . 99
N. A. Murshed and
F. Bortolozzi and
R. Sabourin Off-Line Signature Verification without
Requiring Random Forgeries for Training 107
B. J. Oommen and
R. K. S. Loke Noisy Subsequence Recognition Using
Constrained String Editing Involving
Substitutions, Insertions, Deletions and
Generalized Transpositions . . . . . . . 116
H. N. Ng and
R. L. Grimsdale GEOFF --- A Geometrical Editor for Fold
Formation . . . . . . . . . . . . . . . 124
E. Nakamae and
J. Chai and
H. Inuyama and
F. Kato Simplification of Polygonal Surface with
Attributes . . . . . . . . . . . . . . . 132
D. Nishioka and
M. Nagasawa Reducing Polygonal Data by Structural
Grouping Algorithm . . . . . . . . . . . 140
I. S. B. Wong and
A. C. Naiman An Object-Oriented Architecture for
Chinese Character Composition . . . . . 152
V. Anisimov and
N. Gorski and
D. Price and
O. Baret Bank Check Reading: Recognizing the
Courtesy Amount . . . . . . . . . . . . 161
M. Nishijima and
T. Watanabe An Automatic Extraction Approach of Road
Information on the Basis of Recognition
of Character Regions . . . . . . . . . . 173
W. B. Seales and
A. Rajasekar Interpreting Music Manuscripts: A
Logic-Based, Object-Oriented Approach 181
J. Liu and
M. M. Y. Chang and
W. K. Chain On-Line Chinese Character Recognition
with Attributed Relational Graph
Matching . . . . . . . . . . . . . . . . 189
X. Li and
D.-Y. Yeung On-Line Handwritten Alphanumeric
Character Recognition Using Feature
Sequences . . . . . . . . . . . . . . . 197
R. W. H. Lau An Adaptive Supersampling Method . . . . 205
C. M. Ng Dynamic Memory Mapping for Window Based
Display System . . . . . . . . . . . . . 215
Y. Zhou and
Z. Tang Convert Non-Convex Meshes to Convex
Meshes for Depth Sorting in Volume
Rendering . . . . . . . . . . . . . . . 223
H. Yuen and
L. Hanzo A New Chain Coding Scheme for Cursive
Script and Line Drawings . . . . . . . . 233
G. Bellaire and
M. Luebbe Adaptive Hierarchical Indexing and
Constrained Localization: Matching
Characteristic Views . . . . . . . . . . 241
C.-N. Lee and
R. M. Haralick Statistical Estimation for Exterior
Orientation from Line-to-Line
Correspondences . . . . . . . . . . . . 250
S. Dance and
Z.-Q. Liu High Level Scene Interpretation using
Fuzzy Belief . . . . . . . . . . . . . . 258
Y. Tian and
H. Tsui Estimating Shape and Reflectance of
Surfaces by Color Image Analysis . . . . 266
C. Pudney and
P. Kovesi and
B. Robbins Feature Detection Using Oriented Local
Energy for $3$D Confocal Microscope
Images . . . . . . . . . . . . . . . . . 274
G. Baciu and
R. K. W. Tsang Advancing Front Meshing for Radiosity
Solutions . . . . . . . . . . . . . . . 283
K. Myszkowski and
T. L. Kunii An Efficient Cluster-Based Hierarchical
Progressive Radiosity Algorithm . . . . 292
E. Nakamae and
G. Jiao and
K. Tadamura and
F. Kato A Model of Skylight and Calculation of
Its Illuminance . . . . . . . . . . . . 304
G. K. P. Fung and
H. H. S. lp and
K. C. K. Law Ray Tracing Stereoscopic Images . . . . 313
J. Lasseter Creating Memorable Characters with
Computers . . . . . . . . . . . . . . . 322
K. Kanazawa and
M. Kubo and
N. Niki and
H. Satoh Computer Assisted Lung Cancer Diagnosis
Based on Helical Images . . . . . . . . 323
M. J. Carreira and
D. Cabello and
M. G. Penedo and
J. M. Pardo Computer-Aided Lung Nodule Detection in
Chest Radiography . . . . . . . . . . . 331
R. Sammouda and
N. Niki and
H. Nishitani Neural Networks for the Segmentation of
Magnetic Resonance Images . . . . . . . 339
B. C. Vemuri and
S. Rahman and
J. Li Multiresolution Adaptive K-means
Algorithm for Segmentation of Brain MRI 347
Y. Kawata and
N. Niki and
T. Kumazaki Computer-Assisted Analysis and $3$D
Visualization of Blood Vessels Based on
Cone-Beam CT Images . . . . . . . . . . 355
G. Baciu and
B. P. W. Lee An Interface for Synthesizing $3$D
Multibody Structures . . . . . . . . . . 363
P. Fearing Importance Ordering for Real-Tune Depth
of Field . . . . . . . . . . . . . . . . 372
C. S. N. Ho and
R. L. Grimsdale A Behavioural Control Framework for
Computer Animation using AI Techniques 381
H. Z. Hel-Or Time-Space Weighting for Image Sequence
Quantization . . . . . . . . . . . . . . 389
N. Ahuja A Nonfrontal Imaging Camera . . . . . . 397
L. Ma and
Q. Peng Modifying and Controlling of Smooth
Closed Surfaces . . . . . . . . . . . . 398
M. Sarfraz Designing of $3$D Rectangular Objects 411
J. Chun and
I. R. Greenshields Classification Algorithm for Multi-Echo
Magnetic Resonance Image Using Gibbs
Distributions . . . . . . . . . . . . . 419
F. Luo and
L. Lu and
Z. Houkes Parameter Estimation for SAR Image by a
Model Based Approach . . . . . . . . . . 427
C. Wang and
H. Lu and
S. Ma A Synthesized Computer Recognition
System for Human Hands . . . . . . . . . 435
W. Gao and
S. Wang Independent Hand Gesture Recognition in
HandTalker . . . . . . . . . . . . . . . 443
J. Dehmeshki and
M. F. Daemi and
B. P. Atkin and
N. J. Miles An Adaptive Estimation and Segmentation
Technique for Determination of Major
Maceral Groups in Coal . . . . . . . . . 451
M. Ando and
S. Morishima Expression and Motion Control of Hair
using Fast Collision Detection Methods 463
F. Kawakami and
M. Ohkura and
H. Yamada and
H. Harashima $3$-D Emotion Space for Interactive
Communication . . . . . . . . . . . . . 471
A. Peng and
M. H. Hayes Iterative Human Facial Expression
Modeling . . . . . . . . . . . . . . . . 479
S.-L. Kao and
C.-S. Fuh Shape from Shading Using Near Point
Light Sources . . . . . . . . . . . . . 487
Tak Keung Cheng and
L. Kitchen and
Z.-Q. Liu Feature Replenishment for Long-Term
Visual Motion Tracking . . . . . . . . . 489
A. M. K. Cheng and
X. Huang An Imprecise Real-Tune Video
Transmission Algorithm . . . . . . . . . 491
D. Adjeroh and
Moon Chuen Lee Mechanisms for Automatic Extraction of
Primary Features for Video Indexing . . 493
H. Li and
Q. Yao and
J.-H. Choi and
H.-S. Kwak An Estimation of Low Bound for
Two-Dimensional Image Compression Coding 495
D. K. Y. Chiu and
D. A. Gadishev Texture Comparison Based on Selected
Texture Primitives . . . . . . . . . . . 497
J. A. Parikh and
J. DaPonte and
M. Damodaran Texture Analysis of Ultrasonic Images
Using Backpropagation Neural Networks 499
G. Cong and
S. Ma B-Spline Based Multiscale Signal
Derivative Filtering . . . . . . . . . . 501
P. C. Yuen and
S. D. Ma and
J. Liu and
Y. S. Yeung Contour Decomposition Using Dominant
Points and Moment Difference Method . . 503
Z. Hu and
S. Ma An Inherent Probabilistic Aspect of the
Hough Transform . . . . . . . . . . . . 505
R. Buse and
Z.-Q. Liu A Fuzzy Structural Approach to
Handwritten Word Recognition . . . . . . 507
H. Raafat and
G. Auda An Arabic OCR Using Neural Network
Classifiers . . . . . . . . . . . . . . 510
A. Zidouri and
S. Chinveeraphan and
M. Sato Arabic Characters Recognition Based on
MCR . . . . . . . . . . . . . . . . . . 512
R. Mariani and
M. P. Deseilligny and
J. Labiche and
Y. Lecourtier Geographic Map Understanding. Algorithms
for Hydrographic Network Reconstruction 514
K. Ohta and
Y. Nonaka and
F. Miyawaki Automatic Analyzing of a Weaving Design
with the Spatial Frequency Components 516
R. Sablatnig Visual Inspection of Watermeters Used
for Automatic Calibration . . . . . . . 518
S. Vitulano and
C. Di Ruberto and
M. Nappi Computer Aided Diagnosis in Radiology 520
E. Wenger and
V. N. Karnaukhov and
A. Haidinger and
N. S. Merzlyakov Image Analysis for Dating of Old
Manuscripts . . . . . . . . . . . . . . 522
M. Yamaoka and
O. lwaki Document Layout Analysis Using Pattern
Classification Method . . . . . . . . . 524
Y. Xu and
D. Yi Recognition of Engineering Drawings
Based on Frame Structure Theory . . . . 526
P. A. Griffin and
H. Noot FERSA: Lip-Synchronous Animation . . . . 528
P. C. Van Oorschot Design Choices and Security Implications
in Implementing Diffie--Hellman Key
Agreement . . . . . . . . . . . . . . . 1
V. Korjik and
M. Ivkov and
Y. Merinovich and
A. Barg A Broadcast Key Distribution Scheme
Based on Block Designs . . . . . . . . . 2
A. Ashikhmin and
A. Barg Minimal Supports in Linear Codes . . . . 13
Sooyoung Kim Shin and
P. Sweeney Sequential Decoding for a Subcode of
Reed Solomon Codes . . . . . . . . . . . 14
P. Caballero-Gil and
A. Fuster-Sabater Linear Span Analysis of a Set of
Periodic Sequence Generators . . . . . . 22
Y. Han and
D. Gollmann and
C. Mitchell Minimal Weight k-SR Representations . . 34
J. W. P. Hirschfeld The Main Conjecture for MDS Codes . . . 44
G. Norton Some Decoding Applications of Minimal
Realization . . . . . . . . . . . . . . 53
P. Z. Fan and
M. Darnell The Synthesis of Perfect Sequences . . . 63
W. T. Penzhorn and
G. J. Kuehn Computation of Low-Weight Parity Checks
for Correlation Attacks on Stream
Ciphers . . . . . . . . . . . . . . . . 74
C. J. Mitchell A Storage Complexity Based Analogue of
Maurer Key Esablishment Using Public
Channels . . . . . . . . . . . . . . . . 84
H. P. Ho and
P. Sweeney Soft Decision Decoding of Reed Solomon
Codes Using the Dorsch Algorithm . . . . 94
D. J. C. MacKay and
R. M. Neal Good Codes Based on Very Sparse Matrices 100
S. J. D. Phoenix and
P. D. Townsend Quantum Cryptography: Protecting our
Future Networks with Quantum Mechanics 112
C. Radu and
R. Govaerts and
J. Vandewalle Prepaid Electronic Cheques Using
Public-Key Certificates . . . . . . . . 132
S. Lucks How Traveling Salespersons Prove Their
Identity . . . . . . . . . . . . . . . . 142
A. Smith and
C. Boyd An Elliptic Curve Analogue of McCurley's
Key Agreement Scheme . . . . . . . . . . 150
M. Ahmadian-Attari and
P. G. Farrell Multi-Dimensional Ring TCM Codes for
Fading Channels . . . . . . . . . . . . 158
H. C. A. Van Tilborg Authentication Codes: an Area where
Coding and Cryptology Meet . . . . . . . 169
N. Sendrier Efficient Generation of Binary Words of
Given Weight . . . . . . . . . . . . . . 184
R. G. E. Pinch Distribution of Recurrent Sequences
Modulo Prime Powers . . . . . . . . . . 188
C. Cachin On-Line Secret Sharing . . . . . . . . . 190
V. A. Oleshchuk Church--Rosser Codes . . . . . . . . . . 199
A. Canteaut A New Algorithm for Finding
Minimum-Weight Words in Large Linear
Codes . . . . . . . . . . . . . . . . . 205
E. V. Stansfield and
M. Walker Coding and Cryptography for Speech and
Vision . . . . . . . . . . . . . . . . . 213
V. Zyablov and
S. Shavgulidze and
J. Justesen Some Constructions of Generalised
Concatenated Codes Based on Unit Memory
Codes . . . . . . . . . . . . . . . . . 237
W. Geiselmann A Note on the Hash Function of Tillich
and Zemor . . . . . . . . . . . . . . . 257--263
P. Veron Cryptanalysis of Harari's Identification
Scheme . . . . . . . . . . . . . . . . . 264
T. M. Quirke and
M. Darnell Analysis of Sequence Segment Keying as a
Method of CDMA Transmission . . . . . . 270
V. Buttigieg and
P. G. Farrell Constructions for Variable-Length
Error-Correcting Codes . . . . . . . . . 282
M. Paterson and
S. Tassa and
U. Zwick Looking for MUM and DAD: text-text
comparisons do help . . . . . . . . . . 1
S. Jain Branch and Bound on the Network Model 11
P. Dasgupta and
P. P. Chakrabarti and
S. C. DeSarkar A Near Optimal Algorithm for the
Extended Cow-Path Problem in the
Presence of Relative Errors . . . . . . 22
A. Roychoudhury and
S. Sur-Kolay Efficient Algorithms for Vertex
Arboricity of Planar Graphs . . . . . . 37
A. A. Diwan and
N. Usharani A Condition for the Three Colourability
of Planar Locally Path Graphs . . . . . 52
P. Baumann and
K. Lermer A Framework for the Specification of
Reactive and Concurrent Systems in Z . . 62
J. Zwiers and
U. Hannemann and
Y. Lakhneche and
W.-P. De Roever Synthesizing Different Development
Paradigms: Combining Top-Down with
Bottom-Up Reasoning About Distributed
Systems . . . . . . . . . . . . . . . . 80
J. Hooman Verifying Part of the ACCESS.bus
Protocol Using PVS . . . . . . . . . . . 96
L. Petrone Reusing Batch Parsers as Incremental
Parsers . . . . . . . . . . . . . . . . 111
P. Panangaden The Expressive Power of Indeterminate
Primitives in Asynchronous Computation 124
J. Garrigue The Transformation Calculus . . . . . . 151
J. Tiuryn Equational Axiomatization of
Bicoercibility for Polymorphic Types . . 166
M. Raynal and
A. Schiper From Causal Consistency to Sequential
Consistency in Shared Memory Systems . . 180
A. I. Tomlinson and
V. K. Garg Observation of Software for Distributed
Systems with RCL . . . . . . . . . . . . 195
N. D. Dendris and
L. M. Kirousis and
Y. C. Stamatiou and
D. M. Thilikos Partiality and Approximation Schemes for
Local Consistency in Networks of
Constraints . . . . . . . . . . . . . . 210
D. Kapur and
G. Sivakumar Maximal Extensions of Simplification
Orderings . . . . . . . . . . . . . . . 225
R. Schuler Average Polynomial Time Is Hard for
Exponential Time Under sn-Reductions . . 240
S. Ravikumar and
D. Sivakumar On Self-Testing without the Generator
Bottleneck . . . . . . . . . . . . . . . 248
M. Nielsen and
A. Cheng Observing Behaviour Categorically . . . 263
P. Caspi and
J.-C. Fernandez and
A. Girault An Algorithm for Reducing Binary
Branchings . . . . . . . . . . . . . . . 279
M. Boreale and
L. Trevisan On the Complexity of Bisimilarity for
Value-Passing Processes . . . . . . . . 294
A. Dsouza and
B. Bloom On the Expressive Power of CCS . . . . . 309
M. Odersky Polarized Name Passing . . . . . . . . . 324
R. Balasubramanian and
V. Raman Path Balance Heuristic for
Self-Adjusting Binary Search Trees . . . 338
S. Rao Kosaraju Pattern Matching in Compressed Texts . . 349
S. R. Arikati and
S. Chaudhuri and
C. D. Zaroliagis All-Pairs Min-Cut in Sparse Networks . . 363
S. K. Biswas and
S. Kannan Minimizing Space Usage in Evaluation of
Expression Trees . . . . . . . . . . . . 377
H. Edelsbrunner Smooth Surfaces for Multi-Scale Shape
Representation . . . . . . . . . . . . . 391
C. Levcopoulos and
A. Lingas and
C. Wang On Parallel Complexity of Planar
Triangulations . . . . . . . . . . . . . 413
F. Follert and
E. Schoemer and
J. Sellen and
M. Smid Computing a Largest Empty Anchored
Cylinder, and Related Problems . . . . . 428
D. Krznaric and
C. Levcopoulos Computing Hierarchies of Clusters from
the Euclidean Minimum Spanning Tree in
Linear Time . . . . . . . . . . . . . . 443
N. Klarlund and
M. Mukund and
M. Sohoni Determinizing Buechi Asynchronous
Automata . . . . . . . . . . . . . . . . 456
E. Asarin and
O. Maler Achilles and the Tortoise Climbing Up
the Arithmetical Hierarchy . . . . . . . 471
I. A. Browne and
Z. Manna and
H. B. Sipma Generalized Temporal Verification
Diagrams . . . . . . . . . . . . . . . . 484
A. Bianco and
L. De Alfaro Model Checking of Probabilistic and
Nondeterministic Systems . . . . . . . . 499