Last update:
Mon May 28 12:32:21 MDT 2018
P. Feautrier Basis of Parallel Speculative Execution 3
T. Hoare and
J. He Unifying Theories for Parallel
Programming . . . . . . . . . . . . . . 15
M. Hermenegildo Automatic Parallelization of Irregular
and Pointer-Based Computations:
Perspectives from Logic and Constraint
Programming . . . . . . . . . . . . . . 31
F. Meyer auf der Heide and
B. Voecking Static and Dynamic Management in
Networks . . . . . . . . . . . . . . . . 46
U. Ruede Iterative Algorithms on High Performance
Architectures . . . . . . . . . . . . . 57
P. Stenstroem and
J. Skeppstedt A Performance Tuning Approach for
Shared-Memory Multiprocessors . . . . . 72
A. D. Malony and
B. Tourancheau Support Tools and Environments . . . . . 87
C. L. Jeffery and
S. G. Dykes and
X. Zhang and
G. H. Gonzalez Nova Visualization for Optimization of
Data-Parallel Programs . . . . . . . . . 89
F. Teodorescu and
J. Chassin de Kergommeaux On Correcting the Intrusion of Tracing
Non-deterministic Programs by Software 94
D. Kranzlmueller and
S. Grabner and
J. J. Volkert Using Control and Data Flow Analysis for
Race Evaluation . . . . . . . . . . . . 102
A. T. Krantz and
V. S. Sunderam Client Server Computing on Message
Passing Systems: Experiences with
PVM-RPC . . . . . . . . . . . . . . . . 110
R. C. Koppler and
G. K\rurka and
J. J. Volkert Exdasy --- A User-Friendly and
Extendable Data Distribution System . . 118
P. D. Medeiros and
J. C. Cunha Interconnecting Multiple Heterogeneous
Parallel Application Components . . . . 128
T. Delaitre and
P. Vekariya and
R. Bigeard and
G. R. Justo EDPEPPS: An Integrated Graphical Toolset
for the Design and Performance
Evaluation of Portable Parallel Software 140
G. Stellner and
J. Trinitis Load Balancing Based on Process
Migration for MPI . . . . . . . . . . . 150
J. Aguilar and
T. Jimenez A Processors Management System for PVM 158
H. Zhu and
I. Watson A Full Program Control Flow
Representation for Real Programs . . . . 162
E. Mayr and
C. Das Routing and Communication in
Interconnection Networks . . . . . . . . 169
F. Petrini and
M. Vanneschi Efficient Total-Exchange in
Wormhole-Routed Toroidal Cubes . . . . . 171
E. A. Varvarigos and
J. P. Lang An Analysis of Deflection-Based Wormhole
Routing with Virtual Channels . . . . . 176
M. Di Ianni Wormhole Deadlock Prediction . . . . . . 188
G. Bilardi and
B. Codenotti and
G. Del Corso and
C. Pinotti Broadcast and Associative Operations on
Fat-Trees . . . . . . . . . . . . . . . 196
S. Nikoletseas and
G. Pantziou and
P. Psycharis and
P. Spirakis On the Fault Tolerance of Fat-Trees . . 208
D. Deserable Minimal Routing in the Triangular Grid
and in a Family of Related Tori . . . . 218
J. Trdlicka and
P. Tvrdik Embedding Complete $k$-ary Trees into
$2$-Dimensional Meshes and Tori . . . . 226
M. Soch and
P. Tvrdik Optimal Gossip in Store-and-Forward
Noncombining $2$-D Tori . . . . . . . . 234
I. Vrt'o Cutwidth of the Mesh of $d$-ary Trees 242
V. Leppaenen Embedding and Emulation Results for
Static Multichannel Mesh of Optical
Buses . . . . . . . . . . . . . . . . . 246
E. Karaivazoglou and
F. Meyer auf der Heide Routing on Asynchronous Processor
Networks . . . . . . . . . . . . . . . . 250
R. Kralovic and
P. Ruzicka and
D. Stefankovic The Complexity of Shortest Path and
Dilation Bounded Interval Routing . . . 258
P. Damaschke Finding a Pair on a Mesh with Multiple
Broadcasting is Hard . . . . . . . . . . 266
B. S. Chlebus and
A. Czumaj and
J. F. Sibeyn Routing on the PADAM: Degrees of
Optimality . . . . . . . . . . . . . . . 272
Y. Robert Automatic Parallelization and
High-Performance Compilers . . . . . . . 283
P. Clauss Handling Memory Cache Policy with
Integer Points Countings . . . . . . . . 285
Y.- K. Kwok and
I. Ahmad and
M.-Y. Wu and
W. Shu A Graphical Tool for Automatic
Parallelization and Scheduling of
Programs on Multiprocessors . . . . . . 294
H. Zhu and
I. Watson Identifying Critical Loads in Real
Programs for Decoupled Virtual Shared
Memory Systems . . . . . . . . . . . . . 302
O. Beckmann and
P. H. J. Kelly Runtime Interprocedural Data Placement
Optimisation for Lazy Parallel Libraries 306
R. Wyrzykowski and
J. Kanevski A Technique for Mapping Sparse Matrix
Computations into Regular Processor
Arrays . . . . . . . . . . . . . . . . . 310
V. Kotlyar and
K. Pingali and
P. Stodghill A Relational Approach to the Compilation
of Sparse Matrix Programs . . . . . . . 318
V. Loechner and
C. Mongenet Solutions to the Communication
Minimization Problem for Affine
Recurrence Equations . . . . . . . . . . 328
M. Besch and
H. W. Pohl Dependence-Free Clustering of
Shift-Invariant Data Structures . . . . 338
W. Amine and
E. M. Zehendner Experiences in Analyzing Data
Dependences for Programs with Pointers
and Structures . . . . . . . . . . . . . 342
C. W. Kessler Applicability of Program Comprehension
to Sparse Matrix Computations . . . . . 347
C. Barrado and
J. Labarta Hamiltonian Recurrence for ILP . . . . . 352
V. Lefebvre and
P. Feautrier Optimizing Storage Size for Static
Control Programs in Automatic
Parallelizers . . . . . . . . . . . . . 356
J. Knoop and
E. Mehofer Optimal Distribution Assignment
Placement . . . . . . . . . . . . . . . 364
K. Marzullo and
C. Phillips Parallel and Distributed Algorithms . . 377
D. C. Lin and
P. W. Dymond and
X. Deng Parallel Merge Sort on Concurrent-Read,
Owner-Write PRAM . . . . . . . . . . . . 379
P. Sanders and
R. Vollmar and
T. Worsch Feasible Models of Computation:
Three-Dimensionality and Energy
Consumption . . . . . . . . . . . . . . 384
J. F. Sibeyn Sample Sort on Meshes . . . . . . . . . 389
A. Wachsmann and
R. Wanka Sorting on a Massively Parallel System
Using a Library of Basic Primitives ---
Modeling and Experimental Results . . . 399
A. V. Gerbessiotis and
C. J. Siniolakis and
A. Tiskin Parallel Priority Queue and List
Contraction: The BSP Approach . . . . . 409
M. Marin Priority Queue Operations on EREW-PRAM 417
L. Bouge and
J. Gabarro and
X. Messeguer and
N. Schabanel Concurrent Rebalancing of AVL Trees: A
Fine-Grained Approach . . . . . . . . . 421
W. Liang and
G. Havas NC Approximation Algorithms for
$2$-Connectivity Augmentation in a Graph 430
M. Serna and
F. Xhafa Approximating Scheduling Problems in
Parallel . . . . . . . . . . . . . . . . 440
Viet Hai Nguyen A New Staircase Separator Theorem . . . 450
N. Kalantery Tentative Time Warp . . . . . . . . . . 458
J. Bataller and
J. Bernabeu Synchronized DSM Models . . . . . . . . 468
F. Petit and
V. Villain A Space-Efficient and Self-Stabilizing
Depth-First Token Circulation Protocol
for Asynchronous Message-Passing Systems 476
G. Antonoiu and
P. K. Srimani Distributed Self-Stabilizing Algorithm
for Minimum Spanning Tree Construction 480
M. Skubiszewski and
N. Porteix Partly-Consistent Cuts of Databases . . 488
D. Agrawal and
G. Alonso and
A. El Abbadi and
I. Stanoi Exploiting Atomic Broadcast in
Replicated Databases . . . . . . . . . . 496
R. Perrott and
G. Agha Programming Languages and Concurrent
Object-Oriented Programming . . . . . . 507
A. Stewart and
M. Clint Synchronising Asynchronous
Communications . . . . . . . . . . . . . 511
E. Violard Typechecking of PEI Expressions . . . . 521
F. Loulergue and
G. Hains Functional Parallel Programming with
Explicit Processes: Beyond SPMD . . . . 530
L. F. Llana Diaz and
M. Nuñez Testing Semantics for Unbounded
Nondeterminism . . . . . . . . . . . . . 538
Y. Oyama and
K. Taura and
A. Yonezawa An Efficient Compilation Framework for
Languages Based on a Concurrent Process
Calculus . . . . . . . . . . . . . . . . 546
A. Ravara and
V. Vasconcelos Behavioural Types for a Calculus of
Concurrent Objects . . . . . . . . . . . 554
P. Kosiuczenko Time in Message Sequence Charts: A
Formal Approach . . . . . . . . . . . . 562
A. J. Nebro and
E. Pimentel and
J. M. Troya Integrating an Entry Consistency Memory
Model and Concurrent Object-Oriented
Programming . . . . . . . . . . . . . . 567
R. Breu and
R. Grosu Modeling the Dynamic Behavior of Objects
on Events, Messages and Methods . . . . 572
A. R. Silva A Quality Design Solution for Object
Synchronization . . . . . . . . . . . . 576
L. Moreau and
D. De Route and
I. Foster NeXeme: A Distributed Scheme Based on
Nexus . . . . . . . . . . . . . . . . . 581
J. Briat and
I. Ginzburg and
M. Pasin and
B. Plateau Athapascan Runtime: Efficiency for
Irregular Problems . . . . . . . . . . . 591
M. Kandemir and
J. Ramanujam and
A. Choudhary Optimization of Out-of-Core Computations
Using Chain Vectors . . . . . . . . . . 601
D. B. Skillicorn Programming Models and Methods . . . . . 611
J. Kornerup Parlists --- A Generalization of
Powerlists . . . . . . . . . . . . . . . 614
M. Danelutto and
F. Pasqualetti and
S. Pelagatti Skeletons for Data Parallelism in P3L 619
J. Serot Embodying Parallel Functional Skeletons:
An Experimental Implementation on Top of
MPI . . . . . . . . . . . . . . . . . . 629
M. I. Cole On Dividing and Conquering Independently 634
Q. Wu and
A. J. Field and
P. H. J. Kelly M-Tree: A Parallel Abstract Data Type
for Block-Irregular Adaptive
Applications . . . . . . . . . . . . . . 638
C. B. Jay and
M. I. Cole and
M. Sekanina and
P. Steckler A Monadic Calculus for Parallel Costing
of a Functional Language of Arrays . . . 650
J. O'Donnell and
G. Ruenger A Methodology for Deriving Parallel
Programs with a Family of Parallel
Abstract Machines . . . . . . . . . . . 662
N. Winstanley and
J. O'Donnell Parallel Distributed Programming with
Haskell+PVM . . . . . . . . . . . . . . 670
J. M. Nash and
P. M. Dew and
J. R. Davy A Parallelisation Approach for
Supporting Scalable and Portable
Computing . . . . . . . . . . . . . . . 678
H.- J. Bungartz Parallel Numerical Algorithms . . . . . 685
T. Rauber and
G. Ruenger and
C. Scholtes Scalability of Parallel Sparse Cholesky
Factorization . . . . . . . . . . . . . 688
E. E. Santos Optimal Parallel Algorithms for Solving
Tridiagonal Linear Systems . . . . . . . 700
M. Szularz and
J. Weston and
M. Clint Robust Parallel Lanczos Methods for
Clustered Eigenvalues . . . . . . . . . 710
A. Kiper A Fully Parallel Symmetric Matrix
Transformation . . . . . . . . . . . . . 718
T. Rossi and
J. Toivanen Numerical Experiments with a Parallel
Fast Direct Elliptic Solver on Cray T3E 722
G. Haase New Matrix-by-Vector Multiplications
Based on a Nonoverlapping Domain
Decomposition Data Distribution . . . . 726
W. Huber A Comparison Between Different
Parallelization Methods on Workstation
Clusters to Solve CFD-Problems . . . . . 734
A. Frommer and
T. Lippert and
K. Schilling Scalable Parallel SSOR Preconditioning
for Lattice Computations in Gauge
Theories . . . . . . . . . . . . . . . . 742
T. Steihaug and
Y. Yalcinkaya Deteriorating Convergence for
Asynchronous Methods on Linear Least
Squares Problems . . . . . . . . . . . . 750
P. Stenstroem and
P. Quinton Parallel Computer Architecture and Image
Processing . . . . . . . . . . . . . . . 763
C. J. Glossner and
S. Vassiliadis The Delft-Java Engine . . . . . . . . . 766
D. K. Arvind and
S. Sotelo-Salazar Scheduling Instructions with Uncertain
Latencies in Asynchronous Architectures 771
H. Tomiyasu and
S. Kusakabe and
T. Kawano and
M. Amamiya Co-processor System Design for
Fine-Grain Message Handling in KUMP/D 779
D. Kim and
J. Lee A Virtual-Physical On-Chip Cache for
Shared Memory Multiprocessors . . . . . 789
T. Kisuki and
M. Wakabayashi and
J. Yamamoto and
K. Inoue Shared vs. Snoop: Evaluation of Cache
Structure for Single-Chip
Multiprocessors . . . . . . . . . . . . 793
K. P. Lam and
A. Furness An Analytical Design of High-Speed Pixel
Transformation for Object Boundary
Enhancement . . . . . . . . . . . . . . 807
M. Fleury and
A. C. Downton and
A. F. Clark Karhuenen-Loeve Transform: An Exercise
in Simple Image-Processing Parallel
Pipelines . . . . . . . . . . . . . . . 815
E. D. Willink and
A. V. Shafarenko and
V. B. Muchnick Use of F-Code as a Very High Level
Intermediate Language for DSP . . . . . 820
W. Gentzsch Applications of High-Performance
Computing . . . . . . . . . . . . . . . 827
J. G. Barbosa and
A. J. Padilha and
J.-P. Madier and
T. Neubert Experiments on Using WPVM for Industrial
Visual Inspection Problems . . . . . . . 828
F. Guidec and
P. Calegari and
P. Kuonen Object-Oriented Parallel Software for
Radio Wave Propagation Simulation in
Urban Environment . . . . . . . . . . . 832
A. Bouaricha and
S. Mueller A Portable Parallel Implementation of a
$3$D Semiconductor Device Simulator . . 840
M. Hahad A Parallel Sparse LU Decomposition with
Application to Semiconductor Device
Simulation . . . . . . . . . . . . . . . 848
M. Juganaru and
I. Sakho and
C. Maurice and
F. Montheillet A Parallel Simulation of a Quantitative
Large-Strain Polycrystal Deformation . . 852
N. Marco and
S. Lanteri and
J.-A. Desideri and
B. Mantel Parallel Genetic Algorithms Applied to
Optimum Shape Design in Aeronautics . . 856
S. Muzaferija and
V. Seidl and
H. Fogt and
A. Kneer Parallel Multidimensional Calculation of
Steady-State and Time-Dependent Flows
with Combustion . . . . . . . . . . . . 864
J. W. Manke and
T. M. Wicks and
L. Dadone and
J. E. Hirsh A Two-Level Parallel Strategy for
Rotorcraft Optimization and Design . . . 872
V. Kumar and
R. Lueling and
C. Roucairol Scheduling and Load Balancing . . . . . 879
A. Corradi and
L. Leonardi and
F. Zambonelli Performance Comparison of Load Balancing
Policies Based on a Diffusion Scheme . . 882
X. Du and
Y. Dong and
X. Zhang Effectively Scheduling Parallel Tasks
and Communications on Networks of
Workstations . . . . . . . . . . . . . . 887
W. Loewe and
W. Zimmermann and
J. Eisenbiegler On Linear Schedules of Task Graphs for
Generalized LogP-Machines . . . . . . . 895
C. Boeres and
V. E. F. Rebello Versatile Task Scheduling of Binary
Trees for Realistic Machines . . . . . . 913
J. Galtier Load Balancing Issues in the
Prepartitioning Method . . . . . . . . . 922
S. K. Das and
D. J. Harvey and
R. Biswas Design of Novel Load-Balancing
Algorithms with Implementations on an
IBM SP2 . . . . . . . . . . . . . . . . 937
K. Schloegel and
G. Karypis and
V. Kumar Repartitioning of Adaptive Meshes:
Experiments with Multilevel Diffusion 945
F. D'Amore and
L. Becchetti and
S. L. Bezrukov and
A. Marchetti-Spaccamela On the Embedding of Refinements of
$2$-Dimensional Grids . . . . . . . . . 950
J. Gehring Dynamic Program Description as a Basis
for Runtime Optimization . . . . . . . . 958
A. Bode and
J. Dongarra Performance Evaluation and Prediction 969--970
J. Simon and
M. Vieth and
R. Weicker Workload Analysis of Computation
Intensive Tasks: Case Study on SPEC
CPU95 Benchmarks . . . . . . . . . . . . 971
E. Strohmaier Statistical Performance Modeling: Case
Study of the NPB 2.1 Results . . . . . . 985
C. J. Bouras and
J. D. Garofalakis and
P. G. Spirakis and
V. D. Triantafillou A General Performance Model for
Multistage Interconnection Networks . . 993
C. D. Pham and
J. Essmeyer and
S. Fdida Simulation of a Routing Algorithm Using
Distributed Simulation Techniques . . . 1001
V. Getov and
E. Hernandez and
T. Hey Message-Passing Performance of Parallel
Computers . . . . . . . . . . . . . . . 1009
E. D. Moreno and
S. T. Kofuji and
M. H. Cintra Prefetching and Multithreading
Performance in Bus-Based Multiprocessors
with Petri Nets . . . . . . . . . . . . 1017
J. Smith On Synchronisation in Fault-Tolerant
Data and Compute Intensive Programs over
a Network of Workstations . . . . . . . 1025
M. Pahud and
F. Guidec and
T. Cornu Performance Analysis of a Parallel
Program for Wave Propagation Simulation 1030
L. Lundberg Bounding the Minimal Completion Time of
Static Mappings of Multithreaded Solaris
Programs . . . . . . . . . . . . . . . . 1034
D. K. Arvind Instruction-Level Parallelism . . . . . 1041
M. H. Lipasti and
J. P. Shen The Performance Potential of Value and
Dependence Prediction . . . . . . . . . 1043
J.-B. Lee and
W. Sung and
S.-M. Moon An Enhanced Two-Level Adaptive Multiple
Branch Prediction for Superscalar
Processors . . . . . . . . . . . . . . . 1053
E. M. C. Filho and
E. S. T. Fernandes The Effect of the Speculation Depth on
the Performance of Superscalar
Architectures . . . . . . . . . . . . . 1061
D. L. Parnas Software Engineering: An Unconsummated
Marriage . . . . . . . . . . . . . . . . 1
J. Rushby Subtypes for Specifications . . . . . . 4
B. Boehm and
J. Kwan and
R. Madachy Developing Multimedia Applications with
the Win-Win Spiral Model . . . . . . . . 20
T. S. E. Maibaum What we Teach Software Engineers in the
University: Do we take engineering
seriously? . . . . . . . . . . . . . . . 40
J. Uhl What we Expect from Software Engineers
in the Industry . . . . . . . . . . . . 51
R. A. Kemmerer Security Issues in Distributed Software 52
N. Medvidovic and
R. N. Taylor A Framework for Classifying and
Comparing Architecture Description
Languages . . . . . . . . . . . . . . . 60
G. Naumovich and
G. S. Avrunin and
L. A. Clarke and
L. J. Osterweil Applying Static Analysis to Software
Architectures . . . . . . . . . . . . . 77
T. D. Meijler and
S. Demeyer and
R. Engel Making Design Patterns Explicit in FACE
--- A Framework Adaptive Composition
Environment . . . . . . . . . . . . . . 94
G. Allen and
L. Davies and
G. Lindmark and
E.- A. Karlsson TTM15 --- A Large Multi-Site Improvement
Project . . . . . . . . . . . . . . . . 111
G. Joeris Change Management Needs Integrated
Process and Configuration Management . . 125
S. M. Sutton and
L. J. Osterweil The Design of a Next-Generation Process
Language . . . . . . . . . . . . . . . . 142
A. Van Der Hoek and
R. S. Hall and
D. Heimbigner and
A. L. Wolf Software Release Management . . . . . . 159
K. Pohl and
K. Weidenhaupt A Contextual Approach for
Process-Integrated Tools . . . . . . . . 176
J. H. Jahnke and
W. Schaefer and
A. Zuendorf Generic Fuzzy Reasoning Nets as a Basis
for Reverse Engineering Relational
Database Applications . . . . . . . . . 193
A. Alborghetti and
A. Gargantini and
A. Morzenti Providing Automated Support to Deductive
Analysis of Time Critical Systems . . . 211
Shing Chi Cheung and
D. Giannakopoulou and
J. Kramer Verification of Liveness Properties
Using Compositional Reachability
Analysis . . . . . . . . . . . . . . . . 227
M. B. Dwyer and
V. Carr and
L. Hines Model Checking Graphical User Interfaces
Using Abstractions . . . . . . . . . . . 244
M. Wood and
M. Roper and
A. Brooks and
J. Miller Comparing and Combining Software Defect
Detection Techniques: A Replicated
Empirical Study . . . . . . . . . . . . 262
C. Ebert Experiences with Criticality Predictions
in Software Development . . . . . . . . 278
L. Pek Wee Land and
C. Sauer and
R. Jeffery Validating the Defect Detection
Performance Advantage of Group Designs
for Software Reviews: Report of a
Laboratory Experiment Using Program Code 294
J. Desharnais and
R. Khedri and
M. Frappier and
A. Mili Integration of Sequential Scenarios . . 310
G. Engels and
R. Heckel and
G. Taentzer and
H. Ehrig A View-Oriented Approach to System
Modelling Based on Graph Transformation 327
D. S. Rosenblum and
A. L. Wolf A Design Framework for Internet-Scale
Event Observation and Notification . . . 344
R. Bodik and
R. Gupta and
M. L. Soffa Refining Data Flow Information Using
Infeasible Paths . . . . . . . . . . . . 361
R. Forgacs and
A. Bertolino Feasible Test Path Selection by
Principal Slicing . . . . . . . . . . . 378
P. Devanbu and
S. G. Stubblebine Cryptographic Verification of Test
Coverage Claims . . . . . . . . . . . . 395
Y.-F. R. Chen and
E. R. Gansner and
E. Koutsofios A C++ Data Model Supporting Reachability
Analysis and Dead Code Detection . . . . 414
T. Reps and
T. Ball and
M. Das and
J. Larus The Use of Program Profiling for
Software Maintenance with Applications
to the Year 2000 Problem . . . . . . . . 432
M. P. E. Heimdahl and
M. W. Whalen Reduction and Slicing of Hierarchical
State Machines . . . . . . . . . . . . . 450
M. Schuetze and
J. P. Riegel and
G. Zimmermann A Pattern-Based Application Generator
for Building Simulation . . . . . . . . 468
S. Ducasse and
T. Richner Executable Connectors: Towards Reusable
Design Elements . . . . . . . . . . . . 483
G. P. Picco and
G.-C. Roman and
P. J. McCann Expressing Code Mobility in Mobile UNITY 500
E.-A. Karlsson and
L. Taxen Incremental Development for AXE 10 . . . 519
D. E. Perry and
L. G. Votta The Tale of Two Projects . . . . . . . . 521
J. H. Obbink Analysis of Software Architectures in
High and Low Volume Electronic Systems 523
A. Idri and
B. Griech and
A. El Irak Towards an Adaptation of the COCOMO Cost
Model to the Software Measurement Theory 525
P. Dini and
A. Belkhelladi and
W. L. Melo Formalizing Software Architectures: An
Industrial Experience . . . . . . . . . 527
G. Ramalingam On Sparse Evaluation Representations . . 1
M. Shapiro and
S. Horwitz The Effects of the Precision of Pointer
Analysis . . . . . . . . . . . . . . . . 16
O. Waddell and
R. K. Dybvig Fast and Effective Procedure Inlining 35
R. Bagnara and
P. M. Hill and
E. Zaffanella Set Sharing is Redundant for
Pair-Sharing . . . . . . . . . . . . . . 53
M. Codish and
V. Lagoon and
F. Bueno An Algebraic Approach to Sharing
Analysis of Logic Programs . . . . . . . 68
F. Scozzari Logical Optimality of Groundness
Analysis . . . . . . . . . . . . . . . . 83
K. Yi and
S. Ryu Toward a Cost-Effective Estimation of
Uncaught Exceptions in SML Programs . . 98
M. Faehndrich and
A. Aiken Program Analysis using Mixed Term and
Set Constraints . . . . . . . . . . . . 114
P. Devienne and
J. M. Talbot and
S. Tison Set-Based Analysis for Logic Programming
and Tree Automata . . . . . . . . . . . 127
F. Zartmann Denotational Abstract Interpretation of
Functional Logic Programs . . . . . . . 141
C. Speirs and
Z. Somogyi and
H. Sondergaard Termination Analysis for Mercury . . . . 160
B. Boigelot and
P. Godefroid and
B. Willems and
P. Wolper The Power of QDDs . . . . . . . . . . . 172
A. Igarashi and
N. Kobayashi Type-Based Analysis of Communication for
Concurrent Programming Languages . . . . 187
C. Bodei and
C. Priami True Concurrency via Abstract
Interpretation . . . . . . . . . . . . . 202
I. Mackie Static Analysis of Interaction Nets for
Distributed Implementations . . . . . . 217
S. Jagannathan and
S. Weeks and
A. Wright Type-Directed Flow Analysis for Typed
Intermediate Languages . . . . . . . . . 232
C. Mossin Exact Flow Analysis . . . . . . . . . . 250
A. Frey Satisfying Subtype Inequalities in
Polynomial Space . . . . . . . . . . . . 265
P. Granger Static Analyses of Congruence Properties
on Rational Numbers . . . . . . . . . . 278
L. Hornof and
J. Noye and
C. Consel Effective Specialization of Realistic
Programs via Use Sensitivity . . . . . . 293
G.-R. Uh and
D. B. Whalley Coalescing Conditional Branches into
Efficient Indirect Jumps . . . . . . . . 319
J. Brauburger Automatic Termination Analysis for
Partial Functions Using Polynomial
Orderings . . . . . . . . . . . . . . . 330
S. E. Panitz and
M. Schmidt-Schauss TEA: Automatically Proving Termination
of Programs in a Non-strict Higher-order
Functional Language . . . . . . . . . . 345
P. G. Emelianov and
D. E. Baburin Semantic Analyzer of Modula-Programs . . 361
D. Baldan and
G. File Abstract Interpretation for Improving
WAM Code . . . . . . . . . . . . . . . . 364
L. Correnson and
E. Duris and
D. Parigot and
G. Roussel Attribute Grammars and Functional
Programming Deforestation . . . . . . . 365
S. Tzolovski Data Dependences as Abstract
Interpretation . . . . . . . . . . . . . 366
K. Marriott Abstract Interpretation: A Theory of
Approximate Computation . . . . . . . . 367
B. Le Charlier and
P. Flener On the Desirable Link Between Theory and
Practice in Abstract Interpretation . . 379
P. Cousot Abstract Interpretation Based Static
Analysis Parameterized by Semantics . . 388
L. Harrison Can Abstract Interpretation become a
Mainstream Compiler Technology? . . . . 395
N. D. Jones Combining Abstract Interpretation and
Partial Evaluation . . . . . . . . . . . 396
B. G. Ryder Practical Compile-Time Analysis . . . . 406
A. G. Cohn Qualitative Spatial Representation and
Reasoning Techniques . . . . . . . . . . 1
K. Konolige COLBERT: A Language for Reactive Control
in Sapphira . . . . . . . . . . . . . . 31
P. Langley Machine Learning for Adaptive User
Interfaces . . . . . . . . . . . . . . . 53
S. Gerberding and
B. Pientka Structured Incremental Proof Planning 63
T. Kolbe and
S. Glesner Many-Sorted Logic in a Learning Theorem
Prover . . . . . . . . . . . . . . . . . 75
M. Kuehn Rigid Hypertableaux . . . . . . . . . . 87
W. Lu Minimal Model Generation Based on
E-hyper Tableaux . . . . . . . . . . . . 99
E. Melis and
J. Whittle External Analogy in Inductive Theorem
Proving . . . . . . . . . . . . . . . . 111
M. Kerber and
M. Kohlhase Mechanising Partiality without
Re-implementation . . . . . . . . . . . 123
E. Sandner From Linear Proofs to Direct Logic with
Exponentials . . . . . . . . . . . . . . 135
M. Strecker and
M. Sorea Integrating an Equality Prover into a
Software Development System Based on
Type Theory . . . . . . . . . . . . . . 147
P. Gruenwald Causation and Nonmonotonic Temporal
Reasoning . . . . . . . . . . . . . . . 159
D. Basin and
S. Matthews and
L. Vigano Labelled Quantified Modal Logics . . . . 171
B. Messing Defining Decision Rules in Signed Horn
Clauses . . . . . . . . . . . . . . . . 183
B. Berendt Modeling Subjective Distances . . . . . 195
C. Eschenbach and
L. Kulik An Axiomatic Approach to the Spatial
Relations Underlying ``left''-``right''
and ``in front of''-``behind'' . . . . . 207
R. Roehrig Representation and Processing of
Qualitative Orientation Knowledge . . . 219
B. Ludwig A Contribution to the Question of
Authenticity of Rhesus Using
Part-of-Speech-Tagging . . . . . . . . . 231
S. Schacht and
U. Hahn Making Objects More Knowledgeable . . . 243
K. Schnattinger and
U. Hahn Constraining the Acquisition of Concepts
by the Quality of Heterogeneous Evidence 255
S. Staab and
U. Hahn Conceptualizing Adjectives . . . . . . . 267
H. Weber and
J. Spilker and
G. Goerz Parsing $N$ Best Trees from a Word
Lattice . . . . . . . . . . . . . . . . 279
W. Burgard and
D. Fox and
D. Henning Fast Grid-Based Position Tracking for
Mobile Robots . . . . . . . . . . . . . 289
M. Haag and
W. Theilmann and
K. H. Schaefer and
H.-H. Nagel Integration of Image Sequence Evaluation
and Fuzzy Metric Temporal Logic
Programming . . . . . . . . . . . . . . 301
S. Hoelldobler and
Y. Kalinke and
H. Lehmann Designing a Counter: Another Case Study
of Dynamics and Activation Landscapes in
Recurrent Networks . . . . . . . . . . . 313
S. K. Bamberger Cooperating Diagnostic Expert Systems to
Solve Complex Diagnosis Tasks . . . . . 325
O. Steinmann and
A. Strohmaier and
T. Stfitzle Tabu Search vs. Random Walk . . . . . . 337
A. Strohmaier Multi-flip Networks: Parallelizing
GenSAT . . . . . . . . . . . . . . . . . 349
T. Weis Resource-Adaptive Action Planning in a
Dialogue System for Repair Support . . . 361
A. Artosi and
P. Cattabriga and
G. Governatori A Modal Computational Framework for
Default Reasoning . . . . . . . . . . . 373
L. Cheikhrouhou Planning Diagonalization Proofs . . . . 377
S. Edelkamp Suffix Tree Automata in State Space
Search . . . . . . . . . . . . . . . . . 381
B. Fronhoefer Connection Cutting for Contraction Free
Logic . . . . . . . . . . . . . . . . . 385
D. Gabbay and
R. Nossum and
M. Thielscher Agents in Proactive Environments . . . . 389
S. Hartrumpf and
M. Schulz Reducing Lexical Redundancy by
Augmenting Conceptual Knowledge . . . . 393
J. Nilson and
G. Koekai A Graphical User Interface for an ECG
Classifier System . . . . . . . . . . . 397
N. Stojanovic and
L. Stoiljkovic and
D. Milenovic and
V. Stoiljkovic Expert System in Additional Finishing 401
L. W. N. Van der Torre and
Y.-H. Tan Reasoning About Exceptions . . . . . . . 405
H. Walischewski Learning and Interpretation of the
Layout of Structured Documents . . . . . 409
J. Faura and
J. M. Moreno and
M. A. Aguirre and
P. Van Duong Multicontext dynamic reconfiguration and
real time probing on a novel mixed
signal programmable device with on-chip
microprocessor . . . . . . . . . . . . . 1
T. Miyazaki and
A. Takahara and
M. Katayama and
T. Murooka CAD-oriented FPGA and dedicated CAD
system for telecommunications . . . . . 11
M. Leeser and
W. M. Meleis and
M. M. Vai and
P. Zavracky Rothko: A three dimensional FPGA
architecture, its fabrication, and
design tools . . . . . . . . . . . . . . 21
G. McGregor and
P. Lysaght Extending dynamic circuit switching to
meet the challenges of new FPGA
architectures . . . . . . . . . . . . . 31
D. Robinson and
P. Lysaght and
G. McGregor and
H. Dick Performance evaluation of a full speed
PCI initiator and target subsystem using
FPGAs . . . . . . . . . . . . . . . . . 41
T.-T. Do and
H. Kropp and
M. Schwiegershausen and
P. Pirsch Implementation of pipelined multipliers
on Xilinx FPGAs . . . . . . . . . . . . 51
S. Nisbet and
S. A. Guccione The XC6200DS development system . . . . 61
E. Boemo and
S. Lopez-Buedo Thermal monitoring on FPGAs using
ring-oscillators . . . . . . . . . . . . 69
I. Kostarnov and
S. Morley and
J. Osmany and
C. Solomon A reconfigurable approach to low cost
media processing . . . . . . . . . . . . 79
P. I. Mackinlay and
P. Y. K. Cheung and
W. Luk and
R. Sandiford Riley-2: A flexible platform for
codesign and dynamic reconfigurable
computing research . . . . . . . . . . . 91
B. Kahne and
P. Athanas Stream synthesis for a wormhole run-time
reconfigurable platform . . . . . . . . 101
W. Luk and
N. Shirazi and
S. R. Guo and
P. Y. K. Cheung Pipeline morphing and virtual pipelines 111
B. Rising and
M. Van Daalen and
P. Burge and
J. Shawe-Taylor Parallel Graph colouring using FPGAs . . 121
O. Diessel and
H. ElGindy Run-time compaction of FPGA designs . . 131
J. M. Emmert and
D. Bhatia Partial reconfiguration of FPGA mapped
designs with applications to fault
tolerance and yield enhancement . . . . 141
J. Leonard and
W. H. Mangione-Smith A case study of partially evaluated
hardware circuits: Key-specific DES . . 151
R. Payne Run-time parameterised circuits for the
Xilinx XC6200 . . . . . . . . . . . . . 161
G. Brebner Automatic identification of swappable
logic units in XC6200 circuitry . . . . 173
P. Lysaght Towards an expert system for a priori
estimation of reconfiguration latency in
dynamically reconfigurable logic . . . . 183
B. L. Hutchings Exploiting reconfigurability through
domain-specific systems . . . . . . . . 193
M. Z. Servit and
K. Yi Technology mapping by binate covering 203
V. Betz and
J. Rose VPR: A new packing, placement and
routing tool for FPGA research . . . . . 213
M. K. Inuani and
J. Saul Technology mapping of heterogeneous
LUT-based FPGAs . . . . . . . . . . . . 223
K. Feske and
S. Mulka and
M. Koegst and
G. Elst Technology-driven FSM partitioning for
synthesis of large sequential circuits
targeting lookup-table based FPGAs . . . 235
X. Lin and
E. Dagless and
A. Lu Technology mapping of LUT based FPGAs
for delay optimisation . . . . . . . . . 245
S. J. B. Acock and
K. R. Dimond Automatic mapping of algorithms onto
multiple FPGA-SRAM modules . . . . . . . 255
R. B. Maunder and
Z. A. Salcic and
G. G. Coghill FPLD HDL synthesis employing high-level
evolutionary algorithm optimisation . . 265
A. V. Chichkov and
C. B. Almeida A hardware/software partitioning
algorithm for custom computing machines 274
E. Lechner and
S. A. Guccione The Java environment for reconfigurable
computing . . . . . . . . . . . . . . . 284
R. W. Hartenstein and
J. Becker and
M. Herz and
U. Nageldinger Data scheduling to increase performance
of parallel accelerators . . . . . . . . 294
R. Kress and
R. W. Hartenstein and
U. Nageldinger An operating system for custom computing
machines based on the Xputer paradigm 304
A. Dandalis and
V. K. Prasanna Fast parallel implementation of DFT
using configurable devices . . . . . . . 314
D. Greenfield and
C. Crome and
M. S. Won and
D. Amos Enhancing fixed point DSP processor
performance by adding CPLDs as
coprocessing elements . . . . . . . . . 324
M. Shand A case study of algorithm implementation
in reconfigurable hardware and software 333
A. S. Chaudhuri and
P. Y. K. Cheung and
W. Luk A reconfigurable data-localised array
for morphological algorithms . . . . . . 344
B. Bramer and
D. Chauham and
M. K. Ibrahim and
A. Aggoun Virtual radix array processors (V-RaAP) 354
T. Mathews and
S. C. Gibb and
L. E. Turner and
P. J. W. Graumann An FPGA implementation of a matched
filter detector for spread spectrum
communications systems . . . . . . . . . 364
S. Teerapanyawatt and
K. Athikulwongse An NTSC and PAL closed caption processor 374
T. Kean and
A. Duncan A 800 Mpixel/sec reconfigurable image
correlator on XC6216 . . . . . . . . . . 382
F. Lisa and
F. Cuadrado and
D. Rexachs and
J. Carrabina A reconfigurable coprocessor for a
PCI-based real time computer vision
system . . . . . . . . . . . . . . . . . 392
P. Dunn and
P. Corke Real-time stereopsis using FPGAs . . . . 400
C. C. Jong and
Y. Y. H. Lam and
L. S. Ng FPGA implementation of a digital IQ
demodulator using VHDL . . . . . . . . . 410
I. Page Hardware compilation, configurable
platforms and ASICs for self-validating
sensors . . . . . . . . . . . . . . . . 418
S. Singh and
J. Patterson and
J. Burns and
M. Dales Postscript[TM] rendering with virtual
hardware . . . . . . . . . . . . . . . . 428
I. Hadzic and
J. M. Smith P4: A platform for FPGA implementation
of protocol boosters . . . . . . . . . . 438
M. Abramovici and
D. Saab Satisfiability on reconfigurable
hardware . . . . . . . . . . . . . . . . 448
T. Jebelean Auto-configurable array for GCD
computation . . . . . . . . . . . . . . 457
B. Laurent and
G. Bosco and
G. Saucier Structural versus algorithmic approaches
for efficient adders on Xilinx 5200 FPGA 462
A. Tisserand and
M. Dimmler FPGA implementation of real-time digital
controllers using on-line arithmetic . . 472
T. Hollstein and
A. Kirschbaum and
M. Glesner A prototyping environment for fuzzy
controllers . . . . . . . . . . . . . . 482
K. Nukata and
Y. Shibata and
H. Amano and
Y. Anzai A reconfigurable sensor-data processing
system for personal robots . . . . . . . 491
S. Bedingfield and
S. Huxford and
Y. Cheung Simulating Pricing Behaviours Using a
Genetic Algorithm . . . . . . . . . . . 3
P. Devine and
R. Paton Biologically Inspired Computational
Ecologies . . . . . . . . . . . . . . . 11
B. Edmonds and
S. Moss Modelling Bounded Rationality Using
Evolutionary Techniques . . . . . . . . 31
V. L. Kalmykov The Abstract Theory of Evolution of the
Living . . . . . . . . . . . . . . . . . 43
H. P. Albright and
J. P. Ignizio An Evolutionary Algorithm for Single
Objective Nonlinear Constrained
Optimization Problems . . . . . . . . . 55
I. East On Recombinative Sampling . . . . . . . 65
T. Hirst The Evolution of Mutation, Plasticity
and Culture in Cyclically Changing
Environments . . . . . . . . . . . . . . 75
T. Hirst On the Structure and Transformation of
Landscapes . . . . . . . . . . . . . . . 91
D. Whitley and
S. Rana and
R. Heckendorn Island Model genetic Algorithms and
Linearly Separable Problems . . . . . . 109
P. Jacob and
A. Ball Empirical Validation of the Performance
of a Class of Transient Detector . . . . 129
H. Kennedy and
C. Chinniah and
P. Bradbeer and
L. Morss The Construction and Evaluation of
Decision Trees: a Comparison of
Evolutionary and Concept Learning
Methods . . . . . . . . . . . . . . . . 147--162
R. Poli Parallel Distributed Genetic Programming
Applied to the Evolution of Natural
Language Recognisers . . . . . . . . . . 163
B. Langdon Scheduling Planned Maintenance of the
South Wales Region of the National Grid 181
M. McIlhagga Solving Generic Scheduling Problems with
a Distributed Genetic Algorithm . . . . 199
P. Ross and
A. Tuson Directing the Search of Evolutionary and
Neighbourhood-Search Optimisers for the
Flowshop Sequencing Problem with an
Idle-Time Heuristic . . . . . . . . . . 213
D. Savic and
G. Walters and
M. Schwab Multiobjective Genetic Algorithms for
Pump Scheduling in Water Supply . . . . 227
J. Shaw and
P. Fleming Use of Rules and Preferences for
Schedule Builders in Genetic Algorithms
for Production Scheduling . . . . . . . 237
P. Baron and
R. Fisher and
A. Sherlock and
F. Mill A Voxel Based Approach to Evolutionary
Shape Optimisation . . . . . . . . . . . 253
A. Deakin and
D. Yates Phase Transition Networks: A Modelling
Technique Supporting the Evolution of
Autonomous Agents' Tactical and
Operational Activities . . . . . . . . . 263
I. Parmee and
M. Beck An Evolutionary, Agent-Assisted Strategy
for Conceptual Design Space
Decomposition . . . . . . . . . . . . . 275
F. Seredynski Task Scheduling with use of Classifier
Systems . . . . . . . . . . . . . . . . 287
C. H. C. Leung and
W. W. S. So Characteristics and Architectural
Components of Visual Information Systems 1
S.- K. Chang Active Visual Information Systems . . . 13
T. L. Kunii and
J. Ma and
R. Huang Towards Direct Mapping between Visual
Information Worlds and Real Worlds . . . 27
J. S. Jin and
H. Greenfield and
R. Kurniawati Visual Data Processing in Multimedia
Systems . . . . . . . . . . . . . . . . 40
H. Rehatschek Design of a Distributed Planetary Image
Data Archive Based on an ATM Network . . 66
F. Ferri and
P. Grifoni and
F. L. Ricci An Object-Oriented Model for a Visual
Information System of Patient Folders 92
N. Mirenkov and
T. Mirenkova ``Filmification'' of Methods and Film
Databases . . . . . . . . . . . . . . . 117
G. Lu Chain Code-Based Shape Representation
and Similarity Measure . . . . . . . . . 135
Z. J. Zheng and
C. H. C. Leung Content-Based Retrieval Using Random
Verification of $1$D Cellular Automata
Images . . . . . . . . . . . . . . . . . 151
Z. J. Zheng and
C. Pantelis and
C. H. C. Leung and
M. T. H. Wong Extracting Complex Tissues of MRI Brain
Images Using Conjugate Transformation
for Medical Visual Information Systems 162
M. C. Lee and
D. A. Adjeroh A Uniform Framework for Feature-Based
Indexing and Retrieval in Visual
Information Systems . . . . . . . . . . 176
L. Wegner and
S. Thelemann and
J. Thamm and
D. Wilke Navigational Exploration and Declarative
Queries in a Prototype for Visual
Information Systems . . . . . . . . . . 199
E. A. Rose Incorporating Typed Links in a Visual
Search Tool for Images on the Web . . . 219
M. Palhang and
A. Sowmya Automatic Acquisition of Object Models
by Relational Learning . . . . . . . . . 239
M. Worring and
C. Van den Berg and
L. Hardman and
A. Tam System Design for Structured Hypermedia
Generation . . . . . . . . . . . . . . . 259
G. Ehmayer and
G. Kappel and
S. Reich Connecting Databases to the Web: A
Taxonomy of Gateways (Invited Lecture at
DEXA '96) . . . . . . . . . . . . . . . 1
G. Gardarin Multimedia Federated Databases on
Intranets: Web-Enabling IRO-DB . . . . . 16
T. Branki and
B. Defude A Terminological Canonical Data Model
for Cooperating Heterogeneous
Geographical Information Systems . . . . 28
L.-C. Chan and
Q. Li An Extensible Approach to Reactive
Processing in an Advanced Object
Modelling Environment . . . . . . . . . 38
J. Debenham Constructing the Functional Model . . . 48
L. Bellatreche and
K. Karlapalem and
A. Simonet Horizontal Class Partitioning in
Object-Oriented Databases . . . . . . . 58
M. Benattou and
L. Lakhal Incremental Inheritance Model for an
OODBMS . . . . . . . . . . . . . . . . . 68
J.-Y. Gay and
L. Gruenwald A Clustering Technique for Object
Oriented Databases . . . . . . . . . . . 81
T. Bouaziz and
J. Karvonen and
A. Pesonen and
A. Wolski Design and Implementation of TEMPO Fuzzy
Triggers . . . . . . . . . . . . . . . . 91
M. S. Desouki and
A. Simonet and
M. Simonet Supporting and Maintaining Derivations:
A Declarative Active Approach . . . . . 101
M.-C. Fauvet and
J.-F. Canavaggio and
P.-C. Scholl Modelling Histories in Object DBMS . . . 112
B. Faure and
M. Teisseire and
R. Cicchetti Activity Threads: A Unified Framework
for Aiding Behavioural Modelling . . . . 122
O. Pastor and
E. Insfran and
V. Pelechano and
S. Ramirez Linking Object-Oriented Conceptual
Modelling with Object-Oriented
Implementation in Java . . . . . . . . . 132
B. Wang Toward a Unified Data Model for Large
Hypermedia Applications . . . . . . . . 142
C. Oussalah and
M. Magnan and
S. Vauttier Managing the Global Behaviour of
Composite Objects . . . . . . . . . . . 152
J. Teuhola Heuristic Clustering of Database Objects
According to Multi-valued Attributes . . 162
W. Wieczeraycki Object-Oriented Environment for
Collaborative Software Design . . . . . 172
S. Y. Lee and
T. W. Ling Refined Termination Decision in Active
Databases . . . . . . . . . . . . . . . 182
K. Zettsu and
K. Uehara and
K. Tanaka and
N. Kimura A Time-Stamped Authoring Graph for Video
Databases . . . . . . . . . . . . . . . 192
M. Aritsugi and
T. Tagashira and
T. Amagasa and
Y. Kanamori An Approach to Spatio-temporal Queries
--- Interval-Based Contents
Representation of Images . . . . . . . . 202
N. Denos and
C. Berrut and
M. Mechkour An Image Retrieval System Based on the
Visualization of System Relevance via
Documents . . . . . . . . . . . . . . . 214
Y. Park and
F. Golshani ImageRoadMap: A New Content-Based Image
Retrieval System . . . . . . . . . . . . 225
F. Buddrus and
H. Gaertner and
S.-E. Lautemann First Steps to a Formal Framework for
Multilevel Database Modifications . . . 240
A. Doucet and
S. Monties Versions of Integrity Constraints in
Multiversion Databases . . . . . . . . . 252
E. Mayol and
E. Teniente Structuring the Process of Integrity
Maintenance . . . . . . . . . . . . . . 262
J. M. Jose and
D. J. Harper A Retrieval Mechanism for
Semi-structured Photographic Collections 276
Y. Kidawara and
K. Tanaka and
K. Uehara Encapsulating Multimedia Contents and a
Copyright Protection Mechanism into
Distributed Objects . . . . . . . . . . 293
J. Park and
Y. Nah and
S. Lee A Priority-Driven Inheritance Scheme for
Temporal-Spatial Structures in
Multimedia Databases . . . . . . . . . . 303
J. Kouloumdjian and
F. Toumani Relational Database Reverse Engineering
and Terminological Reasoning . . . . . . 313
R. Sunderraman Modelling Negative and Disjunctive
Information in Relational Databases . . 337
K. Karlapalem and
N. M. Pun Query Driven Data Allocation Algorithms
for Distributed Database Systems . . . . 347
Y.-L. Lo and
K. A. Hua and
H. C. Young A General Multidimensional Data
Allocation Method for Multicomputer
Database Systems . . . . . . . . . . . . 357
F. Ravat and
M. De Michiel and
G. Zurfluh Distributed Object Oriented Databases:
An Allocation Method . . . . . . . . . . 367
C. Huemer and
G. Quirchmayr and
A. M. Tjoa A Meta Message Approach for Electronic
Data Interchange (EDI) . . . . . . . . . 377
D.-Y. Seo and
D.-H. Lee and
K.-S. Moon and
J. Chang Schemaless Representation of
Semistructured Data and Schema
Construction . . . . . . . . . . . . . . 387
I. Shimojo and
T. Tachikawa and
M. Takizawa M-ary Commitment Protocol with Partially
Ordered Domain . . . . . . . . . . . . . 397
M. J. Aramburu Cabo and
R. Berlanga Llavori Metadata for a Digital Library of
Historical Documents . . . . . . . . . . 409
H. Ahonen and
B. Heikkinen and
O. Heinonen and
P. Kilpelaeinen Assembling Documents from Digital
Libraries . . . . . . . . . . . . . . . 419
P. Grefen and
J. Vonk and
E. Boertjes and
P. Apers Two-Layer Transaction Management for
Workflow Management Applications . . . . 430
S. K. Madria and
S. N. Maheshwari and
B. Chandra and
B. Bhargava Crash Recovery in an Open and Safe
Nested Transaction Model . . . . . . . . 440
W. Winiwarter and
Y. Kambayashi A Machine Learning Workbench in a DOOD
Framework . . . . . . . . . . . . . . . 452
T. Miura and
I. Shioya Examining Complex Objects for Type
Scheme Discovery . . . . . . . . . . . . 462
I. Abbas and
O. Boucelma A Framework for Algebraic Optimization
of Object-Oriented Query Languages . . . 478
O. Balownew and
T. Bode and
A. B. Cremers and
J. Kalinski A Library Application on Top of an
RDBMS: Performance Aspects . . . . . . . 488
G.- H. Cha and
H.-H. Park and
C.-W. Chung Analysis of Nearest Neighbour Query
Performance in Multidimensional Index
Structures . . . . . . . . . . . . . . . 498
J.-L. Koh and
A. L. P. Chen and
P. C. M. Chang and
J. C. C. Chen A Query Language and Interface for
Integrated Media and Alphanumeric
Database Systems . . . . . . . . . . . . 508
K. Leilahi and
R. Souah and
N. Spyratos An Algebraic Query Language for
Object-Oriented Data Models . . . . . . 519
W. Ng and
M. Levene The Development of Ordered SQL Packages
for Modelling Advanced Applications . . 529
S.-H. Moon and
B.-H Hong Incremental Update Algorithms for
Materialized Spatial Views by Using View
Derivation Relationships . . . . . . . . 539
M. Mohania and
S. Konomi and
Y. Kambayashi Incremental Maintenance of Materialized
Views . . . . . . . . . . . . . . . . . 551
H. Afsarmanesh and
L. M. Camarinha-Matos Federated Information Management for
Cooperative Virtual Organizations . . . 561
Z. Bellahsene Extending a View Mechanism to Support
Schema Evolution in Federated Database
Systems . . . . . . . . . . . . . . . . 573
Y. Chen and
W. Benn On the Query Treatment in Federated
Systems . . . . . . . . . . . . . . . . 583
X. Wu Query Processing and Transforming for a
Federated Database System . . . . . . . 593
D. Dubois and
H. Prade Valid or Complete Information in
Databases --- A Possibility Theory-Based
Analysis . . . . . . . . . . . . . . . . 603
M. Nakata and
G. Resconi and
T. Murai Handling Imperfection in Databases: A
Modal Logic Approach . . . . . . . . . . 613
U. Hahn and
K. Schnattinger Text Knowledge Engineering by
Qualitative Terminological Learning . . 623
F. P. Coenen and
B. Beattie and
T. J. M. Bench-Capon and
B. M. Diaz Approach to a Tesseral $n$-dimensional
Spatial Reasoning . . . . . . . . . . . 633
S. Si-Said and
C. Rolland Guidance for Requirements Engineering
Processes . . . . . . . . . . . . . . . 643
A. Henrich Repository Based Software Cost
Estimation . . . . . . . . . . . . . . . 653
V. Plihon and
C. Rolland Using a Generic Approach to Support the
Construction of Methods . . . . . . . . 663
D. Costal and
M.-R. Sancho and
A. Olive and
A. Rosello The Role of Structural Events in
Behaviour Specification . . . . . . . . 673
R. Ohbuchi and
H. Masuda and
M. Aono Embedding Data in $3$D Models . . . . . 1
A. Smolic and
B. Makai and
G. Lin and
T. Sikora Estimation of Motion Parameters of a
Rigid Body from a Monocular Image
Sequence for MPEG-4 Applications . . . . 11
J. Z. Wang and
G. Wiederhold and
O. Firschein System for Screening Objectionable
Images Using Daubechies' Wavelets and
Color Histograms . . . . . . . . . . . . 20
P. Bosco and
G. Martini and
G. Reteuna MUSIC: An Interactive MUltimedia ServIce
Composition Environment for Distributed
Systems . . . . . . . . . . . . . . . . 31
M. Soto and
H. Le Van Gong Achieving Networked Virtual Environments
Interoperability . . . . . . . . . . . . 41
C. Shahabi and
M. H. Alshayeji and
S. Wang A Redundant Hierarchical Structure for a
Distributed Continuous Media Server . . 51
G. Dammicco and
U. Mocci Program Caching and Multicasting
Techniques in VoD Networks . . . . . . . 65
R. Baier and
C. Gran and
P. Hoepner and
K. Hofrichter PENGUIN: DAVIC and the WWW in
Coexistence . . . . . . . . . . . . . . 77
P. Parnes and
K. Synnes and
D. Schefstroem mTunnel: A Multicast Tunneling System
with a User Based Quality-of-Service
Model . . . . . . . . . . . . . . . . . 87
Q. Sun and
H. Langendoerfer A Distributed Delay-Constrained Dynamic
Multicast Routing Algorithm . . . . . . 97
J.-C Henrion An Efficient Software Implementation of
a FEC Code . . . . . . . . . . . . . . . 107
J. Korst and
V. Pronk and
P. Coumans Disk Scheduling for Variable-Rate Data
Streams . . . . . . . . . . . . . . . . 119
S.-L. Tsao and
Y.-M. Huang and
C.- C. Lin and
S.-C. Liou A Novel Data Placement Scheme on Optical
Discs for Near-VOD Servers . . . . . . . 133
K.-Y. Lam and
C. C. H. Ngan and
J. K. Y. Ng A Priority Feedback Mechanism for
Distributed MPEG Video Player Systems 143
H.-H. Chu and
K. Nahrstedt A Soft Real Time Scheduling Server in
UNIX Operating System . . . . . . . . . 153
S. Gumbrich and
J. Heller Stored Video Transmission Across ATM
Networks: RVBR versus RCBR Service for
Interactive Applications . . . . . . . . 163
R. Noro and
J. P. Hubaux Improving Clock Synchronization for
MPEG-2 Services over ATM Networks . . . 176
Y. Matsui and
H. Tokuda VoR: A Network System Framework for VBR
over Reserved Bandwidth . . . . . . . . 189
A. Knapp and
N. Koch and
M. Wirsing and
J. Duckeck EPK-fix: Methods and Tools for
Engineering Electronic Product
Catalogues . . . . . . . . . . . . . . . 199
S. Ferrandino and
A. Negro and
V. Scarano CHEOPS: Adaptive Hypermedia on World
Wide Web . . . . . . . . . . . . . . . . 210
H. Benz and
S. Fischer and
R. Mecklenburg and
A. Wenger Application Output Recording for Instant
Authoring in a Distributed Multimedia
Annotation Environment . . . . . . . . . 220
A. Tsukada and
T. Hata and
F. Matsuda and
K. Sato Video Data Management in Media
Controller: A Distributed Multimedia
Surveillance System . . . . . . . . . . 231
Anonymous Personalised News on Demand: The HyNoDe
Service . . . . . . . . . . . . . . . . 241--250
H. Brandt and
C. Tittel and
P. Todorova and
J. J. Tchouto Broadband Video Conference Customer
Premises Equipment . . . . . . . . . . . 251
R. Ludwig and
N. Niebert and
R. Quinet Radio Webs --- Support Architecture for
Mobile Web Access . . . . . . . . . . . 261
L. Neumann and
A. B. Raposo An Approach for an Adaptive
Visualization in a Mobile Environment 272
M. Lauff and
H.-W. Gellersen Multimedia Client Implementation on
Personal Digital Assistants . . . . . . 283
T. Helbig and
S. Tretter and
D. Trossen Combining CORBA and ITU-T.120 to an
Efficient Conferencing Service . . . . . 296
M. Bochicchio and
P. Paolini Supportive Environments for Executing
Multimedia Applications . . . . . . . . 308
E. Koerner Patterns for Constructing CSCW
Applications in TINA . . . . . . . . . . 320
L. Barolli and
K. Tanno and
A. Greca Performance Evaluation of the Fuzzy
Policing Mechanism for Still Picture in
ATM Networks . . . . . . . . . . . . . . 330
T. Braun and
A. Reisenauer Implementation of an Audio/Video
Conferencing Application over Native ATM 342
S. Dresler and
M. Hofmann and
C. Schmidt and
H. R. Wiltfang A Native ATM API Suited for Multimedia
Communication . . . . . . . . . . . . . 352
V. Hilt and
W. Geyer A Model for Collaborative Services in
Distributed Learning Environments . . . 364
O. Neumann and
S. Rennecke and
A. Schill Using Distributed Multimedia
Infrastructures for Advanced
Teleteaching Applications . . . . . . . 376
A. Hafid and
R. Boutaba A Scalable Scheme to Access Multimedia
Documents with Quality of Service
Guarantees . . . . . . . . . . . . . . . 386
S. Hollfelder and
A. Kraiss and
T. C. Rakow A Client-Controlled Adaptation Framework
for Multimedia Database Systems . . . . 397
C.-M. Huang and
C. Wang Interactive Multimedia Communications at
the Presentation Layer . . . . . . . . . 410
S. Wirag Modeling of Adaptable Multimedia
Documents . . . . . . . . . . . . . . . 420
G. Michelitsch and
M. Ott and
D. Reininger and
G. Welling QoS Aware Browsing in Distributed
Multimedia Systems . . . . . . . . . . . 430
J. Deicke and
U. Mayer and
M. Glesner An Object-Oriented Client/Server
Architecture for Video-on-Demand
Applications . . . . . . . . . . . . . . 440
W. Holfelder Interactive Remote Recording and
Playback of Multicast Videoconferences 450
D. Petkovic Challenges and Opportunities for Pattern
Recognition and Computer Vision Research
in Year 2000 and Beyond . . . . . . . . 1
O. F. Olsen and
M. Nielsen Multiscale Gradient Magnitude Watershed
Segmentation . . . . . . . . . . . . . . 6
S. Baronti and
A. Casini and
F. Lotti and
S. Porcinai Segmentation of Multispectral Images of
Works of Art through Principal Component
Analysis . . . . . . . . . . . . . . . . 14
C.-J. Sze and
H.-Y. M. Liao and
H.-L. Hung and
K.- C. Fan Multiscale Edge Detection via Normal
Changes . . . . . . . . . . . . . . . . 22
I. Bloch and
H. Maitre Extending Adjacency to Fuzzy Sets for
Coping with Imprecise Image Objects . . 30
G. Giacinto and
F. Roli Adaptive Selection of Image Classifiers 38
L. P. Cordella and
P. Foggia and
C. Sansone and
F. Tortorella Classification Reliability and Its Use
in Multi-classifier Systems . . . . . . 46
C.-Y. Kim and
Y.-S. Seo and
I.-S. Kweon Color Linear Model . . . . . . . . . . . 54
D. Marini and
A. Rizzi A Computational Approach to Color
Illusions . . . . . . . . . . . . . . . 62
A. Grau and
J. Saludes Improved Textured Images Segmentation
Using an Energy Functional . . . . . . . 70
J. Regincos Isern and
J. Batlle Grabulosa Contribution to the Colour Segmentation
by Means of an Algorithm Which Reduces
the CCDs Saturation Problems . . . . . . 79
B. Aiazzi and
L. Alparone and
S. Baronti and
V. Cappellini Pyramid-Based Multi-sensor Image Data
Fusion with Enhancement of Textural
Features . . . . . . . . . . . . . . . . 87
D. Chetverikov Texture Analysis Using Pairwise
Interaction Maps . . . . . . . . . . . . 95
P. Pujas and
M.-J. Aldon Estimation of the Color Image Gradient
with Perceptual Attributes . . . . . . . 103
M. Lalonde and
Y. Li Contour Line Extraction from Color
Images of Scanned Maps . . . . . . . . . 111
P. Androutsos and
D. Androutsos and
K. N. Plataniotis and
A. N. Venetsanopoulos Subjective Analysis of Edge Detectors in
Color Image Processing . . . . . . . . . 119
A. Carkacio\uglu and
F. T. Yarman-Vural Similarity Measures for Binary and Grey
Level Markov Random Field Textures . . . 127
C. Cafforio and
E. Di Sciascio and
C. Guaragnella and
G. Piscitelli A Simple and Effective Edge Detector . . 134
A. Biancardi and
L. Lombardi and
V. Pacaccio Improvements to Image Magnification . . 142
R. C. Wilson and
E. R. Hancock Refining Surface Curvature with
Relaxation Labeling . . . . . . . . . . 150
A. H. Salden Dynamic Scale-Space Theories . . . . . . 158
E. Barcucci and
A. Del Lungo and
M. Nivat and
R. Pinzani Reconstructing Digital Sets from X-Rays 166
L. Wendling and
J. Desachy and
A. Paries Pattern Recognition from Compressed
Labelled Trees of Fuzzy Regions . . . . 174
X. Jiang Optimality Analysis of Edge Detection
Algorithms for Range Images . . . . . . 182
F. Sloboda and
B. Zat'Ko Analysis Situs and Image Processing . . 190
P. Matsakis and
J. Gadiou and
J. Desachy Defining Cost Functions and
Profitability Measures for Digraphs
Associated with Raster Dems . . . . . . 198
J. S. Sanchez and
F. Pla and
F. J. Ferri Using Proximity and Spatial Homogeneity
in Neighbourhood-Based Classifiers . . . 206
C. Di Ruberto and
M. Nappi and
S. Vitulano Image Segmentation by Means of Fuzzy
Entropy Measure . . . . . . . . . . . . 214
A. Basman and
J. Lasenby and
R. Cipolla Efficient Region Segmentation through
``Creep-and-Merge'' . . . . . . . . . . 223
J. M. Ithesta and
P. J. Sanz and
A. P. Del Pobil An Automatic Transformation from Bimodal
to Pseudo-Binary Images . . . . . . . . 231
Z. Zhang and
M. Braun and
P. Abbott A New Deformable Model for $3$D Image
Segmentation . . . . . . . . . . . . . . 239
P. Zingaretti and
A. Carbonaro and
P. Puliti Evolutionary Image Segmentation . . . . 247
P. C. Smits and
S. G. Dellepiane and
G. Vernazza Discontinuity Adaptive MRF Model for
Synthetic Aperture Radar Image Analysis 255
O. Cuisenaire Region Growing Euclidean Distance
Transforms . . . . . . . . . . . . . . . 263
S. C. Bae and
I. S. Kweon COP: A New Method for Extracting Edges
and Corners . . . . . . . . . . . . . . 271
O. R. P. Bellon and
C. L. Tozzi An Integrated Approach for Segmentation
and Representation of Range Images . . . 279
V. Anh and
J. Maeda and
T. Ishizaka and
Y. Suzuki Two-Dimensional Fractal Segmentation of
Natural Images . . . . . . . . . . . . . 287
M. Haindl and
P. Zid Fast Segmentation of Range Images . . . 295
B. Kurt and
M. Goekmen and
A. K. Jain Image Compression Based on Centipede
Model . . . . . . . . . . . . . . . . . 303
T. Ojala and
M. Pietikaeinen Unsupervised Texture Segmentation Using
Feature Distributions . . . . . . . . . 311
T. Gevers and
A. W. M. Smeulders Color Based Object Recognition . . . . . 319
G. Van De Wouwer and
S. Livens and
P. Scheunders and
D. Van Dyck Color Texture Classification by Wavelet
Energy Correlation Signatures . . . . . 327
E. Boldrin and
R. Schettini Cross-Media Color Matching Using Neural
Networks . . . . . . . . . . . . . . . . 335
J. K. Aggarwal and
S. Shah Object Recognition and Performance
Bounds . . . . . . . . . . . . . . . . . 343
A. L. Yuille and
M. Ferraro and
T. Zhang Relating Image Warping to $3$D
Geometrical Deformations . . . . . . . . 361
G. Borgefors and
G. Ramella and
G. Sanniti Di Baja Using Top-Down and Bottom-Up Analysis
for a Multiscale Skeleton Hierarchy . . 369
L. Di Stefano and
F. Boland A New Algorithm for $3$D Profilometry
Based on Phase Measurement . . . . . . . 377
K. Pulli and
M. Cohen and
T. Duchamp and
H. Hoppe Surface Modeling and Display from Range
and Color Data . . . . . . . . . . . . . 385
N. Duta and
M. Sonka An Improved Active Shape Model: Handling
Occlusion and Outliers . . . . . . . . . 398
A. D. J. Cross and
E. R. Hancock Perspective Matching Using the EM
Algorithm . . . . . . . . . . . . . . . 406
J. Sato and
R. Cipolla Identifying Human Face Profiles with
Semi-Local Integral Invariants . . . . . 414
P. Camacho and
F. Arrebola and
F. Sandoval Adaptive Fovea Structures for
Space-Variant Sensors . . . . . . . . . 422
P. Bottoni and
L. Cinque and
S. Levialdi and
P. Mussio Structural Characterization of Image
Processing Operators . . . . . . . . . . 430
S. Spiess and
M. Li Easy Calibration of Pan/Tilt Camera
Heads and Online Computation of the
Epipolar Correspondences . . . . . . . . 438
M. Barni and
F. Bartolini and
V. Cappellini and
F. Lambardi Integration of Spatio-Temporal
Information for Motion Detection by
Means of Fuzzy Reasoning . . . . . . . . 446
Y. Malo and
F. Ferri and
J. Albert and
J. M. Artigas Adaptive Motion Estimation and Video
Vector Quantization Based on
Spatiotemporal Non-linearities of Human
Perception . . . . . . . . . . . . . . . 454
A. Nomura Integral Based Approach for Determining
Motion Vector Fields . . . . . . . . . . 462
M. Trajkovic and
M. Hedley A Practical Algorithm for Structure and
Motion Recovery from Long Sequence of
Images . . . . . . . . . . . . . . . . . 470
F. Dornaika and
C. Garcia Object Pose by Affine Iterations . . . . 478
J. Magarey and
A. Kokaram and
N. Kingsbury Robust Motion Estimation Using
Chrominance Information in Color Image
Sequences . . . . . . . . . . . . . . . 486
N. Herodotou and
A. N. Venetsanopoulos Temporal Prediction of Video Sequences
Using an Image Warping Technique Based
on Color Segmentation . . . . . . . . . 494
J. Badenas and
M. Bober and
F. Pla Motion and Intensity-Based Segmentation
and Its Application to Traffic
Monitoring . . . . . . . . . . . . . . . 502
A. Raji and
E. Petit and
J. Lemoine and
S. Djeziri A Geometrically Deformable Contour Model 510
J.-D. Durou and
L. Mascarilla and
D. Piau Non-visible Deformations . . . . . . . . 519
W. Peckar and
C. Schnoerr and
K. Rohr and
H. S. Stiehl Two-Step Parameter-Free Elastic Image
Registration with Prescribed Point
Displacements . . . . . . . . . . . . . 527
R. Cucchiara and
M. Piccardi and
M. Bariani and
P. Mello Learning for Feature Selection and Shape
Detection . . . . . . . . . . . . . . . 535
G. Anelli and
A. Broggi and
G. Destri Experiments on the Decomposition of
Arbitrarily Shaped Binary Morphological
Structuring Elements . . . . . . . . . . 543
A. Varley and
P. Rayner Bézier Modelling of Cracks . . . . . . . 551
A. R. Mirhosseini and
K.-M. Lam and
H. Yan An Adaptive Deformable Template for
Mouth Boundary Modeling . . . . . . . . 559
L. H. Tung and
I. King A Two-Stage Framework for Polygon
Retrieval Using Minimum Circular Error
Bound . . . . . . . . . . . . . . . . . 567
P. K. Saha and
D. D. Majumder Topology and Shape Preserving Parallel
Thinning for $3$D Digital Images --- A
New Approach . . . . . . . . . . . . . . 575
M. S. Lew and
M. Chaudron and
N. Huijsmans and
A. She Convergence of Model Based Shape from
Shading . . . . . . . . . . . . . . . . 582
M. Ciuc and
D. Coquin and
P. Bolon Quantitative Assessment of Two
Skeletonization Algorithms Adapted to
Rectangular Grids . . . . . . . . . . . 588
M. Falcone and
M. Sagona An Algorithm for the Global Solution of
the Shape-from-Shading Model . . . . . . 596
M. Peura A Statistical Classification Method for
Hierarchical Irregular Objects . . . . . 604
R. K. K. Yip Multi-level Dynamic Programming for
Axial Motion Stereo Line Matching . . . 612
O. Schreer and
I. Hartmann and
R. Adams Analysis of Grey-Level Features for Line
Segment Stereo Matching . . . . . . . . 620
T. Shioyama and
H. Y. Wu and
W. B. Jiang and
S. Terauchi $3$D Object Positioning from Monocular
Image Brightnesses . . . . . . . . . . . 628
X.-F. Zhang and
A. Luo and
W. Tao and
H. Burkhardt Camera Calibration Based on
$3$D-Point-Grid . . . . . . . . . . . . 636
L. Sommellier and
E. Tosan and
D. Vandorpe A Geometric Modeling Tool for
Stereo-Matching and Reconstruction of a
Model of $3$D-Scene . . . . . . . . . . 644
F. Pla and
M. Bober Estimating Translation/Deformation
Motion through Phase Correlation . . . . 653
C. Meilhac and
C. Nastar Robust Fitting of $3$D CAD Models to
Video Streams . . . . . . . . . . . . . 661
A. Fusiello and
V. Roberto and
E. Trucco Experiments with a New Area-Based Stereo
Algorithm . . . . . . . . . . . . . . . 669
C. Menard and
W. G. Kropatsch Adaptive Stereo Matching in Correlation
Scale-Space . . . . . . . . . . . . . . 677
J.-I. Park and
S. Inoue Hierarchical Depth Mapping from Multiple
Cameras . . . . . . . . . . . . . . . . 685
B. T. Messmer and
H. Bunke Fast Computation of Error-Correcting
Graph Isomorphisms Based on Model
Precompilation . . . . . . . . . . . . . 693
F. Serratosa and
A. Sanfeliu Function-Described Graphs Applied to
$3$D Object Representation . . . . . . . 701
N. Oswald and
P. Levi Cooperative Vision in a Multi-Agent
Architecture . . . . . . . . . . . . . . 709
R. Jain Content-Centric Computing in Visual
Systems . . . . . . . . . . . . . . . . 1
J. Martinez and
S. Guillaume Color Image Retrieval Fitted to
``Classical'' Querying . . . . . . . . . 14
D. P. Huijsmans and
M. S. Lew and
D. Denteneer Quality Measures for Interactive Image
Retrieval with a Performance Evaluation
of Two 3 x 3 Texel-based Methods . . . . 22
A. M. Bruckstein and
R. J. Holt and
A. N. Netravali Holographic Image Representations: The
Fourier Transform Method . . . . . . . . 30
S. Santini and
R. Jain Image Databases Are Not Databases with
Images . . . . . . . . . . . . . . . . . 38
N. Zingirian and
P. Baglietto and
M. Maresca and
M. Migliardi Customizing MPEG Video Compression
Algorithms to Specific Application
Domains: The Case of Highway Monitoring 46
B. Carpentieri A New Lossless Image Compression
Algorithm Based on Arithmetic Coding . . 54
L. Teixeira Analysis of a Two Step MPEG Video System 62
K. Wiatr Dedicated Hardware Processors for a
Real-Time Image Data Pre-processing
Implemented in FPGA Structure . . . . . 69
M. Ferretti and
D. Rizzo Wavelet Transform Architectures: A
System Level Review . . . . . . . . . . 77
S. Van Assche and
W. Philips and
I. Lemahieu Lossless Compression of Pre-press Images
Using a Novel Colour Decorrelation
Technique . . . . . . . . . . . . . . . 85
F. Marino and
E. Stella and
N. Veneziani and
A. Distante Real Time Hardware Architecture for
Visual Robot Navigation . . . . . . . . 93
R. Distasi and
M. Nappi and
S. Vitulano Speeding Up Fractal Encoding of Images
Using a Block Indexing Technique . . . . 101
A. Biancardi and
A. Merigot Adding Associative Meshes to the PACCO
I.P. Environment . . . . . . . . . . . . 109
L. Teixeira and
T. Andrade Smoothing of MPEG Multi-program Video
Coding for Packet Networks . . . . . . . 117
C. Saraceno and
R. Leonardi Audio-visual Processing for Scene Change
Detection . . . . . . . . . . . . . . . 124
E. Vicario and
W. X. He Weighted Walkthroughs in Retrieval by
Content of Pictorial Data . . . . . . . 132
F. Mokhtarian and
S. Abbasi and
J. Kittler A New Approach to Computation of
Curvature Scale Space Image for Shape
Similarity Retrieval . . . . . . . . . . 140
M. S. Lew and
D. P. Huijsmans and
D. Denteneer Optimal Keys for Image Database Indexing 148
C. Meghini and
F. Sebastiani and
U. Straccia The Terminological Image Retrieval Model 156
S.-C. Pei and
C.-M. Cheng Novel Block Truncation Coding of Image
Sequences for Limited-Color Display . . 164
S. Moss and
E. R. Hancock Image Registration with Shape Mixtures 172
A. Del Bimbo and
M. Mugnaini and
P. Pala and
F. Turco Image Retrieval by Color Regions . . . . 180
L. Cinque and
S. Levialdi and
A. Malizia and
R. Mancini Interactive Model-Based Matching
Retrieval . . . . . . . . . . . . . . . 188
Y. Seo and
S. Choi and
H. Kim and
K.-S Hong Where Are the Ball and Players? Soccer
Game Analysis with Color Based Tracking
and Image Mosaick . . . . . . . . . . . 196
C. Colombo and
A. Rizzi and
I. Genovesi Histogram Families for Color-Based
Retrieval in Image Databases . . . . . . 204
P. Pala and
S. Santini Image Retrieval by Multidimensional
Elastic Matching . . . . . . . . . . . . 212
G. G. Vass and
M. Daoudi and
F. Ghorbel Optimization Methods in Multilayer
Classifier Networks for Automatic
Control of Lamellibranch Larva Growth 220
G. Cucurachi and
G. Tascini and
F. Piazza Neural Networks for Region Detection . . 228
D. O. Gorodnichy and
A. M. Reznik Static and Dynamic Attractors of
Auto-associative Neural Networks . . . . 238
L. I. Timchenko and
Y. F. Kutaev and
M. A. Grudin and
S. V. Cepornyuk A Brain-Like Approach to Multistage
Hierarchical Image Processing . . . . . 246
A. J. Pinho and
L. B. Almeida Contextual Edge Detection Using a
Recurrent Neural Network . . . . . . . . 254
S. I. Cho and
H. Saito and
S. Ozawa A Divide-and-Conquer Strategy in
Recovering Shape of Book Surface from
Shading . . . . . . . . . . . . . . . . 262
Y. Sato and
T. Ishikawa and
M. Otsuki Reconstruction of $3$D Shape and Texture
by Active Rangefinding . . . . . . . . . 270
M. G. Albanesi and
L. Lombardi Wavelets for Multiresolution Shape
Recognition . . . . . . . . . . . . . . 276
J. Chao and
A. Karasudani and
K. Minowa Invariant Object Representation and
Recognition Using Lie Algebra of
Perceptual Vector Fields . . . . . . . . 284
N. M. Sirakov A Fast Approach for Determining of
Visibility of $3$D Object's Surfaces . . 292
M. Pontil and
A. Verri Direct Aspect-Based $3$D Object
Recognition . . . . . . . . . . . . . . 300
L. De Floriani and
P. Magillo and
E. Puppo Visualizing Parametric Surfaces at
Variable Resolution . . . . . . . . . . 308
M. Burge and
W. Burger Learning Visual Ideals . . . . . . . . . 316
J. R. Serra and
J. B. Subirana Adaptive Non-cartesian Networks for
Vision . . . . . . . . . . . . . . . . . 324
D. O. Gorodnichy and
W. W. Armstrong and
X. Li Adaptive Logic Networks for Facial
Feature Detection . . . . . . . . . . . 332
J. Martin and
J. L. Crowley An Appearance-Based Approach to
Gesture-Recognition . . . . . . . . . . 340
K. Straahlen Exponential Vector Field Tomography . . 348
S. Sarkar and
S. Chaudhuri Detection of Rib Shadows in Digital
Chest Radiographs . . . . . . . . . . . 356
J. M. Pardo and
D. Cabello and
J. Heras A Markov Random Field Model for Bony
Tissue Classification . . . . . . . . . 364
A. Garrido and
N. Perez De La Blanca and
M. Garcia-Silvente A New Methodology to Automatically
Segment Biomedical Images . . . . . . . 372
T. M. Buzug and
J. Weese and
C. Lorenz and
W. Beil Histogram-Based Image Registration for
Digital Subtraction Angiography . . . . 380
S. Loncaric and
D. Kovacevic A Method for Segmentation of CT Head
Images . . . . . . . . . . . . . . . . . 388
H. Jiang and
W. Tiu and
S. Yamamoto and
S.-I Iisaku Automatic Recognition of Spicules in
Mammograms . . . . . . . . . . . . . . . 396
V. Di Lecce and
A. Guerriero Specialized Environment for Medical
Radiological Image Visualization . . . . 404
C. R. Dance and
M. H. Syn and
R. W. Prager and
J. P. M. Gosling Interactive Segmentation of $3$D
Ultrasound Using Deformable Solid Models
and Active Contours . . . . . . . . . . 412
Y. Kawata and
K. Kanazawa and
S. Toshioka and
N. Niki Computer Aided Diagnosis System for Lung
Cancer Based on Helical CT Images . . . 420
F. Bello and
A. C. F. Colchester and
S. A. Roell A Generalized Geometry and Intensity
Based Partial Volume Correction for
Magnetic Resonance Images . . . . . . . 428
C. Bonifazzi and
G. Maino and
A. Tartari A Regularization Method for Unfolding
the Measured Data of Different X-Ray
Spectrometers in Compton Scattering
Tomography . . . . . . . . . . . . . . . 436
S. Vinitski and
T. Iwanaga and
C. Gonzalez and
D. Andrews Fast Tissue Segmentation Based on a $4$D
Feature Map: Preliminary Results . . . . 445
J. Kontinen and
J. Roening and
R. M. MacKie Texture Features in the Classification
of Melanocytic Lesions . . . . . . . . . 453
S. Rachid and
N. Niki and
H. Nishitahi and
S. Nakamura Segmentation of Sputum Color Image for
Lung Cancer Diagnosis Based on Neural
Networks . . . . . . . . . . . . . . . . 461
C.-C. Hah and
H.-Y. M. Liao and
G.-J. Yu and
L.-H. Chen Fast Face Detection via Morphology-Based
Pre-processing . . . . . . . . . . . . . 469
F. Arrebola and
P. Camacho and
F. Sandoval Generalization of Shifted Fovea
Multiresolution Geometries Applied to
Object Detection . . . . . . . . . . . . 477
C. S. Regazzoni and
A. Teschioni and
E. Stringa A Long Term Change Detection Method for
Surveillance Applications . . . . . . . 485
P. Vannoorenberghe and
C. Motamed and
J.-M. Blosseville and
J.-G. Postaire Automatic Pedestrian Recognition Using
Real-time Motion Analysis . . . . . . . 493
M. Kosugi and
K. Yamashita Person Identification System Based on a
Trapezoid Pyramid Architecture of a
Grey-Level Image . . . . . . . . . . . . 501
M. Gregori and
L. Lombardi and
M. Savini and
A. Scianna Autonomous Plant Inspection and Anomaly
Detection . . . . . . . . . . . . . . . 509
F. Hahn and
R. Mota Nobel Chile Jalapeño Sorting Using
Structured Laser and Neural Networks
Classifiers . . . . . . . . . . . . . . 517
T. Sumimoto and
K. Kuramoto and
S. Okada and
H. Miyauchi Development of Image Processing
Technique for Detection of the Rescue
Target in the Marine Casualty . . . . . 524
N. Schultz and
J. M. Carstensen Bimodal Histogram Transformation Based
on Maximum Likelihood Parameter
Estimates in Univariate Gaussian
Mixtures . . . . . . . . . . . . . . . . 532
M. H. Ghassemian Yazdi A Robust Structural Fingerprint
Restoration . . . . . . . . . . . . . . 544
X. F. Hermida and
F. M. Rodriguez and
J. L. F. Lijo and
F. P. Sande A System for the Automatic and Real Time
Recognition of V.L.P.'s (Vehicle Licence
Plate) . . . . . . . . . . . . . . . . . 552
R. Vaccaro and
S. Dellepiane Spatial Correlation Features for SAR
Images in a Small Sample Size Context 560
T. C. H. Heng and
Y. Kuno and
Y. Shirai Combination of Active Sensing and Sensor
Fusion for Collision Avoidance in Mobile
Robots . . . . . . . . . . . . . . . . . 568
R. Bozzano and
A. Siccardi Underwater Vegetation Detection in High
Frequency Sonar Images: A Preliminary
Approach . . . . . . . . . . . . . . . . 576
A. Branca and
M. G. Abbate and
F. P. Lovergine and
G. Attolico Leather Inspection through Singularities
Detection Using Wavelet Transforms . . . 584
G. Dimauro and
S. Impedovo and
G. Pirlo and
A. Salzo Zoning Design for Handwritten Numeral
Recognition . . . . . . . . . . . . . . 592
A. Chianese and
M. De Santo and
A. Picariello Improving the Use of Contours and
Skeletons for Off-Line Cursive Script
Segmentation . . . . . . . . . . . . . . 600
M. A. Oezdil and
F. T. Yarman-Vural and
N. Arica Optical Character Recognition Without
Segmentation . . . . . . . . . . . . . . 608
A. Amin and
M. Kavianifar Automatic Recognition of Printed Arabic
Text Using Neural Network Classifier . . 616
A. F. R. Rahman and
M. C. Fairhurst A Novel Pair-Wise Recognition Scheme for
Handwritten Characters in the Framework
of a Multi-expert Configuration . . . . 624
E. Del Ninno and
G. Nicchiotti and
E. Ottaviani A General and Flexible Deskewing Method
Based on Generalized Projections . . . . 632
L. Duffy and
F. Lebourgeois and
H. Emptoz Logical Structure Analysis by
Typographic Characteristics Extraction 639
J. Hu and
A. S. Rosenthal and
M. K. Brown Combining High-Level Features with
Sequential Local Features for On-Line
Handwriting Recognition . . . . . . . . 647
Y. Mizukami and
K. Koga Handwritten Chinese Character
Recognition Using Displacement
Extraction Based on Directional Features 655
D. L. Farkas and
B. T. Ballou and
C. Du and
G. W. Fisher Optical Image Acquisition, Analysis and
Processing for Biomedical Applications 663
P. Abbott and
M. Braun Segmentation of Ultrasound Image Data by
Two Dimensional Autoregressive Modelling 672
A. Neumann and
C. Lorenz Comparison and Application of Selected
Statistical Shape Models in Medical
Imaging . . . . . . . . . . . . . . . . 680
R. Van De Walle and
I. Lemahieu and
E. Achten Two Motion Detection Algorithms for
Projection-Reconstruction Magnetic
Resonance Imaging: Theory and
Experimental Verification . . . . . . . 688
N. Nagata and
T. Dobashi and
Y. Manabe and
T. Usami Image Analysis and Synthesis Using
Physics-Based Modeling for Pearl Quality
Evaluation System . . . . . . . . . . . 697
G. Garibotto and
C. Scagliola Computer Vision and Image Processing in
Postal Automation . . . . . . . . . . . 705
T. D. Kimura Adaptive Pen User Interface with
Supervised Competitive Learning . . . . 713
A. C. Kokaram and
S. J. Godsill Joint Detection, Interpolation, Motion
and Parameter Estimation for Image
Sequences with Missing Data . . . . . . 719
M. Tistarelli and
E. Grosso and
J. Bigun and
C. Sacerdoti The VIRSBS Project: Visual Intelligent
Recognition for Secure Banking Services 727
V. Pahor and
G. Ramponi and
R. Castagno The ESPRIT LTR Research Project:
``Nonlinear Model-Based Analysis and
Description of Images for Multimedia
Applications (NOBLESSE)'' . . . . . . . 735
P. C. Smits and
S. B. Serpico Analysis and Segmentation of Remote
Sensing Images for Land-Cover Mapping 743
G. G. Pieroni and
G. L. Foresti and
V. Murino Integration of Optical and Acoustical
Imaging Sensors for Underwater
Applications . . . . . . . . . . . . . . 749
L. Khoudour and
J. P. Deparis and
J. L. Bruyelle and
F. Cabestaing Project CROMATICA . . . . . . . . . . . 757
J. Austin and
G. Giacinto and
I. Kanellopoulos and
K. Lees The COMPARES Project: COnnectionist
Methods for Preprocessing and Analysis
of REmote Sensing Data . . . . . . . . . 765
A. C. Kokaram Reconstruction of Severely Degraded
Image Sequences . . . . . . . . . . . . 773
M. Mari and
C. Dambra and
D. Chetverikov and
J. Verestoy The CRASH Project: Defect Detection and
Classification in Ferrite Cores . . . . 781
P. R. F. Sampaio and
N. W. Paton Deductive Object-Oriented Database
Systems: A Survey . . . . . . . . . . . 1
W. May and
C. Schlepphorst and
G. Lausen Integrating Dynamic Aspects into
Deductive Object-Oriented Databases . . 20
E. Mayol and
J. A. Pastor and
E. Teniente and
T. Urpi FOLRE: A Deductive Database System for
the Integrated Treatment of Updates . . 35
E. N. Hanson and
S. Khosla An Introduction to the TriggerMan
Asynchronous Trigger Processor . . . . . 51
A. Geppert and
D. Tombros Logging and Post-Mortem Analysis of
Workflow Executions Based on Event
Histories . . . . . . . . . . . . . . . 67
M. Schlesinger and
G. Loerincze Rule Modelling and Simulation in ALFRED 83
S. Comai and
L. Tanca Using the Properties of Datalog to Prove
Termination and Confluence in Active
Databases . . . . . . . . . . . . . . . 100
X. Wang and
J.-H. You and
L. Y. Yuan On Confluence Property of Active
Databases with Meta-Rules . . . . . . . 118
M. K. Tschudi and
S. D. Urban and
S. W. Dietrich and
A. P. Karadimce An Implementation and Evaluation of the
Refined Triggering Graph Method for
Active Rule Termination Analysis . . . . 133
H. W. R. Chan and
S. W. Dietrich and
S. D. Urban On Control Flow Testing of Active Rules
in a Declarative Object-Oriented
Framework . . . . . . . . . . . . . . . 165
P. Fraternali and
E. Teniente and
T. Urpi Validating Active Rules by Planning . . 181
M. Bouzeghoub and
F. Fabret and
F. Llirbat and
M. Matulovic ACTIVE-DESIGN: A Generic Toolkit for
Deriving Specific Rule Execution Models 197
S. Anderson and
K. Tourlas Diagrams and Programming Languages for
Programmable Controllers . . . . . . . . 1
H. Dierks and
C. Dietz Graphical Specification and Reasoning:
Case Study Generalised Railroad Crossing 20
G. Reggio and
M. Larosa A Graphic Notation for Formal
Specifications of Dynamic Systems . . . 40
G. Smith A Semantic Integration of Object-Z and
CSP for the Specification of Concurrent
Systems . . . . . . . . . . . . . . . . 62
A. Mikhajlova and
E. Sekerinski Class Refinement and Interface
Refinement in Object-Oriented Programs 82
S. Kleuker Formalizing Requirements for Distributed
Systems with Trace Diagrams . . . . . . 102
F. Huber and
B. Schaetz and
G. Einert Consistent Graphical Specification of
Distributed Systems . . . . . . . . . . 122
K. Lano and
A. Sanchez Design of Reactive Control Systems for
Event-Driven Operations . . . . . . . . 142
H. Fleischhack and
J. Tapken An M-Net Semantics for a Real-Time
Extension of SDL . . . . . . . . . . . . 162
M. Broy and
R. Grosu and
C. Klein Reconciling Real-Time with Asynchronous
Message Passing . . . . . . . . . . . . 182
M. Schoenhoff and
M. Kowsari Specifying the Remote Controlling of
Valves in an Explosion Test Environment 201
L. Devauchelle and
P. G. Larsen and
H. Voss PICGAL: Practical Use of Formal
Specification to Develop a Complex
Critical System . . . . . . . . . . . . 221
W. D. Young and
W. R. Bevier Mathematical Modeling and Analysis of an
External Memory Manager . . . . . . . . 237
P. Mukherjee Automatic Translation of VDM-SL
Specifications into Gofer . . . . . . . 258
S. Agerholm and
J. Frost Towards an Integrated CASE and Theorem
Proving Tool for VDM-SL . . . . . . . . 278
K. Lano and
J. Bicarregui and
J. Fiadeiro and
A. Lopes Specification of Required
Non-determinism . . . . . . . . . . . . 298
H. Tej and
B. Wolff A Corrected Failure-Divergence Model for
CSP in Isabelle/HOL . . . . . . . . . . 318
B. K. Aichernig and
P. G. Larsen A Proof Obligation Generator for VDM-SL 338
M. M. Ayadi and
D. Bolignano Verification of Cryptographic Protocols:
An Experiment . . . . . . . . . . . . . 358
J.-C Gregoire TLA + PROMELA: Conjecture, Check, Proof.
Engineering New Protocols Using Methods
and Formal Notations . . . . . . . . . . 378
A. Mokkedem and
M. J. Ferguson and
R. deB. Johnston A TLA Solution to the Specification and
Verification of the RLP1 Retransmission
Protocol . . . . . . . . . . . . . . . . 398
J. M. R. Martin and
S. A. Jassim An Efficient Technique for Deadlock
Analysis of Large Scale Process Networks 418
S. Yu and
Z. Luo Implementing a Model Checker for LEGO 442
A. Dold and
F. W. Von Henke and
H. Pfeifer and
H. Ruess Formal Verification of Transformations
for Peephole Optimization . . . . . . . 459
R. F. Paige A Meta-Method for Formal Method
Integration . . . . . . . . . . . . . . 473
D. Hemer and
P. A. Lindsay Reuse of Verified Design Templates
Through Extended Pattern Matching . . . 495
F. S. De Boer and
U. Hannemann and
W.-P. De Roever A Compositional Proof System for Shared
Variable Concurrency . . . . . . . . . . 515
P. Michel and
V. Wiels A Framework for Modular Formal
Specification and Verification . . . . . 533
C. Petersohn and
L. Urbina A Timed Semantics for the STATEMATE
Implementation of Statecharts . . . . . 553
D. W. J. Stringer-Calvert and
S. Stepney and
I. Wand Using PVS to Prove a Z Refinement: A
Case Study . . . . . . . . . . . . . . . 573
P. Kellomaeki Verification of Reactive Systems Using
DisCo and PVS . . . . . . . . . . . . . 589
D. Cazier and
J.-F. Dufourd Term Rewrite Systems to Derive Set
Boolean Operations on $2$D Objects . . . 605
L. Silva and
A. Sampaio and
E. Barros A Normal Form Reduction Strategy for
Hardware/Software Partitioning . . . . . 624
E. Boiten and
H. Bowman and
J. Derrick and
M. Steen Viewpoint Consistency in Z and LOTOS: A
Case Study . . . . . . . . . . . . . . . 644
M. Charpentier A Unity Mapping Operator for Distributed
Programs . . . . . . . . . . . . . . . . 665
R. J. Mooney Inductive logic programming for natural
language processing . . . . . . . . . . 3
S. Muggleton and
D. Page and
A. Srinivasan An initial experiment into
stereochemistry-based drug design using
inductive logic programming . . . . . . 25
S. Dzeroski and
S. Schulze-Kremer and
K. R. Heidtke and
K. Sierns Applying ILP to diterpene structure
elucidation from 0103C NMR spectra . . . 41
E. Van Baelen and
L. De Raedt Analysis and prediction of piano
performances using inductive logic
programming . . . . . . . . . . . . . . 55
D. Gamberger and
N. Lavrac Noise detection and elimination applied
to noise handling in a KRK chess endgame 72
A. Srinivasan and
R. D. King Feature construction with inductive
logic programming: A study of
quantitative predictions of biological
activity aided by structural attributes 89
M. Sebag and
C. Rouveirol Polynomial-time learning in logic
programming and constraint logic
programming . . . . . . . . . . . . . . 105
G. Kokai and
Z. Alexin and
T. Gyimothy Analyzing and learning ECG waveforms . . 127
F. Mizoguchi and
H. Ohwada and
M. Daidoji and
S. Shivato Learning rules that classify ocular
fundus images for glaucoma diagnosis . . 146
H. Fujita and
N. Yagi and
T. Ozaki and
K. Furukawa A new design and implementation of
Progol by bottom-up computation . . . . 163
P. Flener Inductive logic program synthesis with
DIALOGS . . . . . . . . . . . . . . . . 175
H. Blockeel and
L. De Raedt Relational knowledge discovery in
databases . . . . . . . . . . . . . . . 199
T. Scheffer and
R. Herbrich and
F. Wysotzki Efficient theta-subsumption based on
graph algorithms . . . . . . . . . . . . 212
A. Jorge and
P. B. Brazdil Integrity Constraints in ILP using a
Monte Carlo approach . . . . . . . . . . 229
A. Rieger Restructuring chain datalog programs . . 245
N. Inuzuka and
M. Kamo and
N. Ishii and
H. Seki Top-down induction of logic programs
from incomplete samples . . . . . . . . 265
S.-H. Nienhuys-Cheng and
R. De Wolf Least generalizations under implication 285
U. Pompe Efficient proof encoding . . . . . . . . 299
T. Horvath and
R. H. Sloan and
G. Turan Learning logic programs with random
classification noise . . . . . . . . . . 315
M.- E. Goncalves Handling quantifiers in ILP . . . . . . 337
S. Muggleton Learning from positive data . . . . . . 358
Z. Markov lambda-subsumption and its application
to learning from positive-only examples 377
G. Sommer Algebraic Aspects of Designing Behaviour
Based Systems . . . . . . . . . . . . . 1
G. H. Granlund From Multidimensional Signals to the
Generation of Responses . . . . . . . . 29
A. Heyden and
G. Sparr and
K. Aastroem Perception and Action Using Multilinear
Forms . . . . . . . . . . . . . . . . . 54
J. J. Koenderink and
A. J. Van Doorn Local Image Operators and Iconic
Structure . . . . . . . . . . . . . . . 66
T. Lindeberg On Automatic Selection of Temporal
Scales in Time-Causal Scale-Space . . . 94
R. Lenz Some Applications of Representations of
Lie Algebras and Lie Groups . . . . . . 114
L. Van Gool A Systematic Approach to Geometric-Based
Grouping and Non-accidentalness . . . . 126
T. Buelow and
G. Sommer Multi-Dimensional Signal Processing
Using an Algebraically Extended Signal
Representation . . . . . . . . . . . . . 148
A. V. Chernov and
V. M. Chernov On Hestenes' Formalization for
Describing Linear Image Transforms . . . 164
W. Skarbek and
K. Ignasiak Fractal Basis Functions for Pattern
Recognition . . . . . . . . . . . . . . 176
A. Shashua Trilinear Tensor: The Fundamental
Construct of Multiple-view Geometry and
Its Applications . . . . . . . . . . . . 190
G. Csurka and
O. Faugeras Algebraic and Geometric Tools to Compute
Projective and Permutation Invariants 207
E. Bayro-Corrochano and
J. Lasenby A Unified Language for Computer Vision
and Robotics . . . . . . . . . . . . . . 219
A. Naeve Structure from Translational Observer
Motion . . . . . . . . . . . . . . . . . 235
C. Fermueller and
L. F. Cheong and
Y. Aloimonos The Geometry of Visual Space Distortion 249
T. Tuytelaars and
M. Proesmans and
L. Van Gool The Cascaded Hough Transform as Support
for Grouping and Finding Vanishing
Points and Lines . . . . . . . . . . . . 278
E. Marchand and
F. Chaumette Visual Perception Strategies for $3$D
Reconstruction . . . . . . . . . . . . . 290
K. Kanatani Statistical Optimization and Geometric
Visual Inference . . . . . . . . . . . . 306
S. J. Maybank and
A. D. Worrall Path Prediction and Classification Based
on Non-linear Filtering . . . . . . . . 323
L. Dorst Bottom-up Derivation of the
Qualitatively Different Behaviours of a
Car across Varying Spatio-Temporal
Scales: A Study in Abstraction of
Goal-Directed Motion . . . . . . . . . . 344
H. Ritter Neural Network Approaches for Perception
and Action . . . . . . . . . . . . . . . 356
E. Bayro-Corrochano and
S. Buchholz Geometric Neural Networks . . . . . . . 379
M. Blum Program error detection/correction:
Turning PAC learning into Perfect
learning . . . . . . . . . . . . . . . . 1
A. Ambainis and
K. Apsitis and
R. Freivalds and
W. Gasarch Team learning as a game . . . . . . . . 2
E. Hirowatari and
S. Arikawa Inferability of recursive real-valued
functions . . . . . . . . . . . . . . . 18
S. Jain and
S. Lange and
J. Nessel Learning of r.e. languages from good
examples . . . . . . . . . . . . . . . . 32
S. Kobayashi and
T. Yokomori Identifiability of subspaces and
homomorphic images of zero-reversible
languages . . . . . . . . . . . . . . . 48
C. Domingo and
T. Tsukiji and
O. Watanabe Partial Occam's razor and its
applications . . . . . . . . . . . . . . 85
M. Sitharam and
T. Straney Derandomized learning of Boolean
functions . . . . . . . . . . . . . . . 100
R. Parekh and
V. Honavar Learning DFA from simple examples . . . 116
F. Denis and
R. Gilleron PAC learning under helpful distributions 132
H. Qiao and
N. S. V. Rao and
V. Protopopescu PAC learning using Nadaraya-Watson
estimator based on orthonormal systems 146
E. Boros and
T. Ibaraki and
K. Makino Monotone extensions of Boolean data sets 161
M. Sato Classical Brouwer-Heyting-Kolmogorov
interpretation . . . . . . . . . . . . . 176
Y. Mukouchi Inferring a system from examples with
time passage . . . . . . . . . . . . . . 197
S. Matsumoto and
Y. Hayashi and
T. Shoudai Polynomial time inductive inference of
regular term tree languages from
positive data . . . . . . . . . . . . . 212
J. Case and
S. Jain and
A. Sharma Synthesizing noise-tolerant language
learners . . . . . . . . . . . . . . . . 228
A. Ambainis and
K. Apsitis and
C. Calude and
R. Freivalds Effects of Kolmogorov complexity present
in inductive inference as well . . . . . 244
T. Erlebach and
P. Rossmanith and
H. Stadtherr and
A. Steger Learning one-variable pattern languages
very efficiently on average, in
parallel, and by asking queries . . . . 260
J. Koebler and
W. Lindner Oracles in 0p2 are sufficient for exact
learning . . . . . . . . . . . . . . . . 277
V. Arvind and
N. V. Vinodchandran Exact learning via teaching assistants 291
A. Nakamura An efficient exact learning algorithm
for ordered binary decision diagrams . . 307
V. Vovk Probability theory for the Brier game 323
X. Zhang and
M. Numao Learning and revising theories in noisy
domains . . . . . . . . . . . . . . . . 339
L. Gurvits A note on a scale-sensitive dimension of
linear bounded functionals in Banach
spaces . . . . . . . . . . . . . . . . . 352
W. Maass On the relevance of time in neural
computation and learning . . . . . . . . 364
E. Takimoto and
K. Hirai and
A. Maruoka A simple algorithm for predicting nearly
as well as the best pruning labeled with
the best prediction values of a decision
tree . . . . . . . . . . . . . . . . . . 385
S. Kwek Learning disjunctions of features . . . 401
H. Sakamoto Leaning simple deterministic
finite-memory automata . . . . . . . . . 416
H. Arimura Learning acyclic first-order Horn
sentences from entailment . . . . . . . 432
T. Hegedues and
P. Indyk On learning disjunctions of zero-one
threshold functions with queries . . . . 446
M. Leman and
A. Schneider Origin and Nature of Cognitive and
Systematic Musicology: An Introduction 13
J. Louhivuori Systematic, Cognitive and Historical
Approaches in Musicology . . . . . . . . 30
M. Weber Empiricism, Gestalt Qualities, and
Determination of Style: Some Remarks
Concerning the Relationship of Guido
Adler to Richard Wallaschek, Alexius
Meinong, Christian von Ehrenfels, and
Robert Lach . . . . . . . . . . . . . . 42
M. Reybrouck Gestalt Concepts and Music: Limitations
and Possibilities . . . . . . . . . . . 57
R. Eichert and
L. Schmidt and
U. Seifert Logic, Gestalt Theory, and Neural
Computation in Research on Auditory
Perceptual Organization . . . . . . . . 70
R. I. Godoey Knowledge in Music Theory by Shapes of
Musical Objects and Sound-Producing
Actions . . . . . . . . . . . . . . . . 89
E. Ungeheuer Statistical Gestalts --- Perceptible
Features in Serial Music . . . . . . . . 103
A. Schneider ``Verschmelzung'', Tonal Fusion, and
Consonance: Carl Stumpf Revisited . . . 117
M. Leman and
F. Carreras Schema and Gestalt: Testing the
Hypothesis of Psychoneural Isomorphism
by Computer Simulation . . . . . . . . . 144
N. C. Petroni and
M. Tricarico Self-organizing Neural Nets and the
Perceptual Origin of the Circle of
Fifths . . . . . . . . . . . . . . . . . 169
R. Parncutt A Model of the Perceptual Root(s) of a
Chord Accounting for Voicing and
Prevailing Tonality . . . . . . . . . . 181
D. Werts `Good', `Fair', and `Bad' Chord
Progressions: A Regression-Analysis of
Some Psychological Chord Progression
Data Obtained in an Experiment by J.
Bharucha and C. Krumhansl . . . . . . . 200
J. Keuler Problems of Shape and Background in
Sounds with Inharmonic Spectra . . . . . 214
R. Eberlein A Method of Analysing Harmony, Based on
Interval Patterns or ``Gestalten'' . . . 225
E. Isaacson Neural Network Models for the Study of
Post-Tonal Music . . . . . . . . . . . . 237
M. Franek and
J. Mates Tempo Relations: Is There a
Psychological Basis for Proportional
Tempo Theory? . . . . . . . . . . . . . 253
D. Moelants A Framework for the Subsymbolic
Description of Meter . . . . . . . . . . 263
E. Cambouropoulos Musical Rhythm: A Formal Model for
Determining Local Boundaries, Accents
and Metre in a Melodic Surface . . . . . 277
C. Krumhansl Effects of Perceptual Organization and
Musical Form on Melodic Expectancies . . 294
S. Larson Continuations as Completions: Studying
Melodic, Expectation in the Creative
Microdomain Seek Well . . . . . . . . . 321
P. Toiviainen Optimizing Self-Organizing Timbre Maps:
Two Approaches . . . . . . . . . . . . . 337
M. Rusko Towards a More General Understanding of
the Nasality Phenomenon . . . . . . . . 351
C. Reuter Karl Erich Schumann's Principles of
Timbre as a Helpful Tool in Stream
Segregation Research . . . . . . . . . . 362
T. Rochebois and
G. Charbonneau Cross-Synthesis Using Interverted
Principal Harmonic Sub-Spaces . . . . . 375
D. Cohen and
S. Dubnov Gestalt Phenomena in Musical Texture . . 386
A. Tanguiane Technology of Interpretation and
Expressive Pulses . . . . . . . . . . . 409
J. Fyk Intonational Protention in the
Performance of Melodic Octaves on the
Violin . . . . . . . . . . . . . . . . . 421
G. Davida and
Y. Frankel and
Y. Tsiounis and
M. Yung Anonymity Control in E-Cash Systems . . 1
E. Gabber and
P. B. Gibbons and
Y. Matias and
A. Mayer How to Make Personalized Web Browsing
Simple, Secure, and Anonymous . . . . . 17
J. McCoy Anonymous Networking and Virtual
Intranets: Tools for Anonymous
Corporations . . . . . . . . . . . . . . 33
P. F. Syverson and
S. G. Stubblebine and
D. M. Goldschlag Unlinkable Serial Transactions . . . . . 39
C. Radu and
R. Govaerts and
J. Vandewalle Efficient Electronic Cash with
Restricted Privacy . . . . . . . . . . . 57
Y. Zheng The SPEED Cipher . . . . . . . . . . . . 71
S. L. Lelieveldt Evaluating the Security of Electronic
Money . . . . . . . . . . . . . . . . . 91
D. G. W. Birch and
N. A. McEvoy Electronic Cash --- Technology Will
Denationalise Money . . . . . . . . . . 95
D. P. Maher Fault Induction Attacks, Tamper
Resistance, and Hostile Reverse
Engineering in Perspective . . . . . . . 109
L. C. Guillou Some Critical Remarks on ``Dynamic Data
Authentication'' as Specified in EMV '96 123
N. Lange Single-Chip Implementation of a
Cryptosystem for Financial Applications 135
R. L. Rivest Perspectives on Financial Cryptography 145
M. K. Franklin and
D. Malkhi Auditable Metering with Lightweight
Security . . . . . . . . . . . . . . . . 151
J. Stem and
S. Vaudenay SVP: A Flexible Micropayment Scheme . . 161
S. Jarecki and
A. Odlyzko An Efficient Micropayment System Based
on Probabilistic Polling . . . . . . . . 173--191
Y. Yacobi On the Continuum Between On-line and
Off-line E-cash Systems --- I . . . . . 193
H. Pagnia and
R. Jansen Towards Multiple-Payment Schemes for
Digital Money . . . . . . . . . . . . . 203
M. Jakobsson and
M. Yung Applying Anti-Trust Policies to Increase
Trust in a Versatile E-Money System . . 217
P. P. Swire The Uses and Limits of Financial
Cryptography: A Law Professor's
Perspective . . . . . . . . . . . . . . 239
E. J. Radlo Legal Issues in Cryptography . . . . . . 259
A. M. Froomkin Digital Signatures Today . . . . . . . . 287
C. R. Merrill An Attorney's Roadmap to the Digital
Signature Guidelines . . . . . . . . . . 291
B. Wright Alternative Visions for Legal Signatures
and Evidence . . . . . . . . . . . . . . 299
P. C. Wayner Money Laundering: Past, Present and
Future . . . . . . . . . . . . . . . . . 301
R. L. Rivest Electronic Lottery Tickets as
Micropayments . . . . . . . . . . . . . 307
P. Lampru Strategic Tasks for Government in the
Information Age . . . . . . . . . . . . 315
I. Grigg and
C. C. Petro Using Electronic Markets to Achieve
Efficient Task Distribution . . . . . . 329
T. Goldstein The Gateway Security Model in the Java
Electronic Commerce Framework . . . . . 340
D. W. Kravitz Highly Scalable On-line Payments Via
Task Decoupling . . . . . . . . . . . . 355
B. Fox and
B. Beckman and
D. Simon GUMP: Grand Unified Meta-Protocols
Recipes for Simple, Standards-Based
Financial Cryptography . . . . . . . . . 375
B. Esslinger and
J. Schneider Secure Network Communications and Secure
Store and Forward Mechanisms with the
SAP R/3 System . . . . . . . . . . . . . 395
G. Beydoun and
A. Hoffmann Acquisition of Search Knowledge . . . . 1
P. Beys and
M. Van Someren A Systematic Approach to the
Functionality of Problem-Solving Methods 17
P. Borst and
H. Akkermans An Ontology Approach to Product
Disassembly . . . . . . . . . . . . . . 33
R. Boswell and
S. Craw and
R. Rowe Knowledge Refinement for a Design System 49
F. Cornelissen and
C. M. Jonker and
J. Treur Compositional Verification of
Knowledge-Based Systems: A Case Study
for Diagnostic Reasoning . . . . . . . . 65
S. Decker and
M. Daniel and
M. Erdmann and
R. Studer An Enterprise Reference Scheme for
Integrating Model Based Knowledge
Engineering and Enterprise Modelling . . 81
D. Fensel The Tower-of-Adapter Method for
Developing and Reusing Problem-Solving
Methods . . . . . . . . . . . . . . . . 97
D. Fensel and
E. Motta and
S. Decker and
Z. Zdrahal Using Ontologies for Defining Tasks,
Problem-Solving Methods and their
Mappings . . . . . . . . . . . . . . . . 113
U. Hahn and
K. Schnattinger An Empirical Evaluation of a System for
Text Knowledge Acquisition . . . . . . . 129
D. M. Jones and
R. C. Paton Acquisition of Conceptual Structure in
Scientific Theories . . . . . . . . . . 145
R. Martinez-Bejar and
V. R. Benjamins and
F. Martin-Rubio Designing Operators for Constructing
Domain Knowledge Ontologies . . . . . . 159
R. Perkuhn Reuse of Problem-Solving Methods and
Family Resemblances . . . . . . . . . . 174
C. Pierret-Golbreich and
X. Talon Specification of Flexible
Knowledge-Based Systems . . . . . . . . 190
A. Pos and
H. Akkermans and
R. Straatman Problem Solving for Redesign . . . . . . 205
C. Reynaud and
N. Aussenac-Gilles and
P. Tchounikine and
F. Trichet The Notion of Role in Conceptual
Modeling . . . . . . . . . . . . . . . . 221
D. Richards and
P. Compton Knowledge Acquisition First, Modelling
Later . . . . . . . . . . . . . . . . . 237
B. D. Smith and
K. Rajan and
N. Muscettola Knowledge Acquisition for the Onboard
Planner of an Autonomous Spacecraft . . 253
B. Tschaitschian and
A. Abecker and
F. Schmalhofer Information Tuning with KARAT:
Capitalizing on Existing Documents . . . 269
S. Wallis and
G. Nelson Syntactic Parsing as a Knowledge
Acquisition Problem . . . . . . . . . . 285
G. P. Zarri and
S. Azzam Building Up and Making Use of Corporate
Knowledge Repositories . . . . . . . . . 301
F. Brazier and
P. Van Eck and
J. Treur Modelling Competitive Co-operation of
Agents in a Compositional Multi-Agent
Framework . . . . . . . . . . . . . . . 317
F. M. T. Brazier and
N. J. E. Wijngaards An Instrument for a Purpose Driven
Comparison of Modelling Frameworks . . . 323
T. Breidenstein and
I. Bournaud and
F. Wolinski Knowledge Discovery in Rule Bases . . . 329
V. M. H. Coupe and
L. C. Van der Gaag Supporting Probability Elicitation by
Sensitivity Analysis . . . . . . . . . . 335
J.-M. Gabriel Towards More Collaboration Between
Machine Learning Systems and their Users 341
D. Garcia COATIS, an NLP System to Locate
Expressions of Actions Connected by
Causality Links . . . . . . . . . . . . 347
S. Kaspar and
A. Hoffmann Using Knowledge Acquisition to Build
Spoken Language Systems . . . . . . . . 353
L. Maillet-Contoz and
J. Sallantin An Assistant for a Design Project:
Application to the Design of a Mixed
Hardware/Software Architecture . . . . . 359
L. Poittevin REVINOS: An Interactive Revision Tool
Based on the Concept of Situation . . . 365
R. Straatman KIDS for KADS . . . . . . . . . . . . . 371
L. Talavera and
U. Cortes Exploiting Inductive Bias Shift in
Knowledge Acquisition from
Ill-Structured Domains . . . . . . . . . 377
J. Kingston The DARPA High Performance Knowledge
Bases Programme . . . . . . . . . . . . 383
F. B. Schneider Towards Fault-Tolerant and Secure
Agentry . . . . . . . . . . . . . . . . 1
A. Reuter Workflow Management: An Exercise in
Distributed Computing . . . . . . . . . 15
A. Pogosyants and
R. Segala and
N. Lynch Verification of the Randomized Consensus
Algorithm of Aspnes and Herlihy: A Case
Study . . . . . . . . . . . . . . . . . 22
T. Eilam and
S. Moran and
S. Zaks A Simple DFS-Based Algorithm for Linear
Interval Routing . . . . . . . . . . . . 37
M. Flammini and
E. Nardelli and
G. Proietti ATM Layouts with Bounded Hop Count and
Congestion . . . . . . . . . . . . . . . 52
K.-S. Lui and
S. Zaks Scheduling in Synchronous Networks and
the Greedy Algorithm . . . . . . . . . . 66
J. E. Gehrke and
C. G. Plaxton and
R. Rajaraman Rapid Convergence of a Local Load
Balancing Algorithm for Asynchronous
Rings . . . . . . . . . . . . . . . . . 81
B. S. Chlebus and
R. De Prisco and
A. A. Shvartsman Performing Tasks on Restartable
Message-Passing Processors . . . . . . . 96
R. De Prisco and
B. Lampson and
N. Lynch Revisiting the Paxos Algorithm . . . . . 111
M. K. Aguilera and
W. Chen and
S. Toueg Heartbeat: A Timeout-Free Failure
Detector for Quiescent Reliable
Communication . . . . . . . . . . . . . 126
R. Guerraoui and
A. Schiper Genuine Atomic Multicast . . . . . . . . 141
S. Katz and
P. Lincoln and
J. Rushby Low-Overhead Time-Triggered Group
Membership . . . . . . . . . . . . . . . 155
J.-M. Helary and
A. Mostefaoui and
M. Raynal Virtual Precedence in Asynchronous
Systems: Concept and Applications . . . 170
S. D. Stoller Detecting Global Predicates in
Distributed Systems with Clocks . . . . 185
J. James and
A. K. Singh Fault Tolerance Bounds for Memory
Consistency . . . . . . . . . . . . . . 200
V. Luchangco Precedence-Based Memory Models . . . . . 215
Y.-J. Joung and
J.-Y. Liao Strong Interaction Fairness in a Fully
Distributed System with Unbounded Speed
Variability . . . . . . . . . . . . . . 230
A. Beimel and
M. Franklin Reliable Communication over Partially
Authenticated Networks . . . . . . . . . 245
C. Johnen and
G. Alari and
J. Beauquier and
A. K. Datta Self-Stabilizing Depth-First Token
Passing on Rooted Networks . . . . . . . 260
J. A. Garay and
R. Gennaro and
C. Jutla and
T. Rabin Secure Distributed Storage and Retrieval 275
M. Inoue and
S. Moriya and
T. Masuzawa and
H. Fujiwara Optimal Wait-Free Clock Synchronization
Protocol on a Shared-Memory
Multi-processor System . . . . . . . . . 290
M. Moir Transparent Support for Wait-Free
Transactions . . . . . . . . . . . . . . 305
P. Jayanti and
S. Khanna On the Power of Multi-objects . . . . . 320
F. Neri and
L. Saitta Modeling Conceptual Change: An
Interdisciplinary Approach . . . . . . . 1
M. Botta and
A. Giordana and
R. Piola Refining Numerical Terms in Horn Clauses 13
D. Malerba and
F. Esposito and
G. Semeraro and
S. Caggese Handling Continuous Data in Top-Down
Induction of First-Order Rules . . . . . 24
P. Frasconi and
M. Gori and
M. Maggini and
E. Martinelli Inductive Inference of Tree Automata by
Recursive Neural Networks . . . . . . . 36
L. Ardissono and
G. Boella and
R. Damiano A Computational Model of
Misunderstandings in Agent Communication 48
G. Barbero and
V. Lombardo Wide-Coverage Lexicalized Grammars . . . 60
P. Barboni and
D. Sestero Flexible Response Choice Using
Problem-Solving Plans and Rethorical
Relations . . . . . . . . . . . . . . . 72
M.- J. Nederhof and
G. Satta A Variant of Earley Parsing . . . . . . 84
M. Piaggio and
A. Sgorbissa and
G. Vercelli and
R. Zaccaria Autonomous Robot Navigation Using a
Reactive Agent . . . . . . . . . . . . . 96
A. Chella and
S. Gaglio and
G. Sajeva and
F. Torterolo A Hybrid Architecture for Autonomous
Agents . . . . . . . . . . . . . . . . . 106
E. Zagrouba $3$-D Facets Construction for
Stereovision . . . . . . . . . . . . . . 116
M. Baldoni and
U. Baroglio and
D. Cavagnino and
G. Lo Bello Extraction of Discriminant Features from
Image Fractal Encoding . . . . . . . . . 127
G. Armano and
G. Fumera Learning Relational Concepts at
Different Levels of Granularity . . . . 139
C. Carpineto and
G. Romano Inferring Minimal Rule Covers from
Relations . . . . . . . . . . . . . . . 147
R. Basili and
M. T. Pazienza and
M. Vindigni Corpus-Driven Unsupervised Learning of
Verb Subcategorization Frames . . . . . 159
G. Kokai and
J. Csirik and
T. Gyimothy Learning the Syntax and Semantic Rules
of an ECG Grammar . . . . . . . . . . . 171
E. Lamma and
P. Mello and
M. Milano and
F. Riguzzi Introducing Abduction into (Extensional)
Inductive Logic Programming System . . . 183
V. Brusoni and
L. Console and
P. Terenziani and
D. Theseider Dupre An Efficient Algorithm for Temporal
Abduction . . . . . . . . . . . . . . . 195
M. Cadoli and
A. Giovanardi and
M. Schaerf Experimental Analysis of the
Computational Cost of Evaluating
Quantified Boolean Formulae . . . . . . 207
F. Massacci A Proof Theory for Tractable
Approximations of Propositional
Reasoning . . . . . . . . . . . . . . . 219
R. Rosati Embedding Minimal Knowledge into
Autoepistemic Logic . . . . . . . . . . 231
F. A. Asnicar and
M. Di Fant and
C. Tasso User Model-Based Information Filtering 242
L. Portinale and
P. Torasso A Comparative Analysis of Horn Models
and Bayesian Networks for Diagnosis . . 254
E. Sangineto Multi-agent Negotiation and Planning
Through Knowledge Contextualization . . 266
C. Castelfranchi and
R. Falcone From Task Delegation to Role Delegation 278
N. D. Monekosso and
P. Remagnino Automated Reasoning On-Board Autonomous
Spacecrafts . . . . . . . . . . . . . . 290
A. Oddi A Weakly Backjumping Strategy to Solve
Hard Scheduling Problems . . . . . . . . 302
M. Baioletti and
S. Marcugini and
A. Milani Compiling Task Networks into Partial
Order Planning Domains . . . . . . . . . 311
N. Cancedda and
G. Kamstrup and
E. Pianta and
E. Pietrosanti A Hybrid Approach to Hypertext
Generation . . . . . . . . . . . . . . . 322
B. De Carolis and
F. De Rosis and
S. Pizzutillo Generating User-Adapted Hypermedia from
Discourse Plans . . . . . . . . . . . . 334
A. Artale and
B. Magnini and
C. Strapparava WordNet for Italian and Its Use for
Lexical Discrimination . . . . . . . . . 346
M. Gaspari Efficient Support for Reactive Rules in
Prolog . . . . . . . . . . . . . . . . . 357
E. Compatangelo and
F. M. Donini and
G. Rumolo Reasoning with Behavioural Knowledge in
Application Domain Models . . . . . . . 369
E. Madalinska-Bugaj How to Solve Qualification and
Ramification Using Dijkstra's Semantics
for Programming Languages . . . . . . . 381
D. Pacholezyk Towards a Qualitative Representation of
Linguistic Negation of Nuanced
Properties . . . . . . . . . . . . . . . 393
P. Avesani and
A. Perini and
F. Ricci CBET: A Case Base Exploration Tool . . . 405
A. Bonzano and
P. Cunningham and
B. Smyth Learning Feature Weights for CBR: Global
versus Local . . . . . . . . . . . . . . 417
G. Attardi and
A. Cisternino and
M. Simi CompAss: a System for Plans of Study
Compilation . . . . . . . . . . . . . . 427
A. Balderi and
M. Solimano A Prototypal System for Data-Validation 431
S. Bergamaschi and
C. Sartori and
D. Beneventano and
M. Vincini ODB-Tools: a Description Logics Based
Tool for Schema Validation and Semantic
Query Optimization in Object Oriented
Databases . . . . . . . . . . . . . . . 435
D. Malerba and
F. Esposito and
G. Semeraro and
L. De Filippis Processing Paper Documents with WISDOM 439
F. Neri REGAL3.2: FOL Concept Learning by
Cooperative Genetic Algorithms . . . . . 443
G. Semeraro and
F. Esposito and
D. Malerba and
N. Fanizzi IDL: A Prototypical Intelligent Digital
Library Service . . . . . . . . . . . . 447
P. Bazzica and
G. Casonato and
A. Cesta An Object-Oriented Architecture for the
DRS Scheduling Problem . . . . . . . . . 451
R. Brancaleoni and
A. Cesta and
D. D'Aloisi MASMA: A Personal Assistant for Meetings
Management . . . . . . . . . . . . . . . 455
M. Fuchs Flexible Proof-Replay with Heuristics 1
M. Fuchs Flexible Re-enactment of Proofs . . . . 13
D. Fuchs Inference Rights for Controlling Search
in Generating Theorem Provers . . . . . 25
P. Gomes and
C. Bento A Retrieval Method for Exploration of a
Case Memory . . . . . . . . . . . . . . 37
U. Hahn and
M. Klenner Incremental Concept Evolution Based on
Adaptive Feature Weighting . . . . . . . 49
M. Ettaouil A $0-1$ Quadratic Knapsack Problem for
Modelizing and Solving the Constraint
Satisfaction Problems . . . . . . . . . 61
A. P. Tomas and
M. Filgueiras An Algorithm for Solving Systems of
Linear Diophantine Equations in Naturals 73
Y. Smirnov and
M. M. Veloso GenSAT: A Navigational Approach . . . . 85
P. Soares and
N. J. Mamede Timetabling Using Demand Profiles . . . 97
R. Lu and
K. Han and
Y. Ma and
W. Zhang Intelligent VR Training . . . . . . . . 111
C. Choquet and
P. Tchounikine and
F. Trichet Training Strategies and Knowledge
Acquisition: Using the same Reflective
Tools for Different Purposes . . . . . . 119
D. Pacholczyk About the Intended Meaning of a
Linguistic Negation . . . . . . . . . . 131
H. S. Pinto Integration of Inheritance in SNePS . . 143
J. Vejnarova Measures of Uncertainty and Independence
Concept in Different Calculi . . . . . . 155
G. Bittencourt and
I. Tonin A Multi-Agent Approach to First-Order
Logic . . . . . . . . . . . . . . . . . 167
M. Da Costa Mora and
G. Pereira Lopes and
H. Coelho and
R. M. Viccari Modelling Dynamic Aspects of Intentions 179
J. M. Fonseca and
E. De Oliveira and
A. Steiger-Garcao Multi-Agent Negotiation Algorithms for
Resources Cost Estimation: A Case Study 195
A. Cesar and
P. L. Da Costa and
G. Bittencourt Parla: A Cooperation Language for
Cognitive Multi-Agent Systems . . . . . 207
M. Schroeder and
I. Mora and
J. J. Alferes Vivid Agents Arguing about Distributed
Extended Logic Programs . . . . . . . . 217
H. Prendinger Approximate Reasoning . . . . . . . . . 229
H. Farreny New Results About Sub-Admissibility for
General Families of Heuristic Search
Algorithms . . . . . . . . . . . . . . . 241
M. Takac Fixed Point Classification Method for
Qualitative Simulation . . . . . . . . . 255
P. A. Matos and
J. P. Martins Contextual Logic of Change and the
Ramification Problem . . . . . . . . . . 267
S. Schacht and
U. Hahn Temporal Reasoning about Actor Systems 279
N. F. Da Fonseca Bastos Gomes A CLP Model to the Job Sequencing
Problem . . . . . . . . . . . . . . . . 291
A. L. Castellanos and
J. Castellanos and
D. Manrique and
A. Martinez A New Approach for Extracting Rules from
a Trained Neural Network . . . . . . . . 297
P. Larrañaga and
M. J. Gallego and
B. Sierra and
L. Urkola Bayesian Networks, Rule Induction and
Logistic Regression in the Prediction of
the Survival of Women Suffering from
Breast Cancer . . . . . . . . . . . . . 303
M. T. Cox and
M. M. Veloso Controlling for Unexpected Goals when
Planning in a Mixed-Initiative Setting 309
P. V. S. R. Bhanu Prasad and
D. Khemani Cooperative Memory Structures and
Commonsense Knowledge for Planning . . . 319
J. Pellegrini and
J. Wainer Diagonalization and Type Rewriting in
Clam . . . . . . . . . . . . . . . . . . 325
S. Poria and
R. Garigliano Granularity for Explanation . . . . . . 331
L. Jerinic and
V. Devedzic and
M. Lomic and
D. Radovic Object Model of Intelligent Tutoring
Shell . . . . . . . . . . . . . . . . . 337
A. Cunha and
O. Belo Resource Allocation on Agent
Meta-Societies . . . . . . . . . . . . . 343
O. Dressier Diagnostic Information at Your
Fingertips! . . . . . . . . . . . . . . 349
L. M. Pereira and
R. Li Reasoning about Actions with Abductive
Logic Programming . . . . . . . . . . . 361
F. J. Varela Dimensions of Embodiments: Possible
Futures for Cognitive Science . . . . . 389
T. Mitchell Machine Learning Meets Natural Language 391
M. Stefik and
G. Lavendel Libraries and Digital Property Rights 1
S. Abiteboul Object Database Support for Digital
Libraries . . . . . . . . . . . . . . . 11
R. Procter and
A. McKinlay and
A. Goldenberg and
E. Davenport Enhancing Community and Collaboration in
the Virtual Library . . . . . . . . . . 25
L. Slaughter and
B. Shneiderman and
G. Marchionini Comprehension and Object Recognition
Capabilities for Presentations of
Simultaneous Video Key Frame Surrogates 41
J. C. French and
A. L. Powell and
J. L. Pfaltz and
E. Schulman Automating the Construction of Authority
Files in Digital Libraries: A Case Study 55
K. Tochtermann and
W.-F. Riekert and
G. Wiest Using Semantic, Geographical, and
Temporal Relationships to Enhance Search
and Retrieval in Digital Catalogs . . . 73
R. Iannella Metadata Repositories Using PICS . . . . 87
A. F. Smeaton and
F. Crimmins Relevance Feedback and Query Expansion
for Searching the Web: A Model for
Searching a Digital Library . . . . . . 99
J. M. Ponte and
W. B. Croft Text Segmentation by Topic . . . . . . . 113
D. Hawking Scalable Text Retrieval for Large
Digital Libraries . . . . . . . . . . . 127
A. Crespo and
H. Garcia-Molina Awareness Services for Digital Libraries 147
C. Nikolaou and
M. Marazakis and
D. Papadakis and
Y. Yeorgiannakis Towards a Common Infrastructure for
Large-Scale Distributed Applications . . 173
G. Semeraro and
F. Esposito and
D. Malerba and
N. Fanizzi Machine Learning + On-line Libraries =
IDL . . . . . . . . . . . . . . . . . . 195
M. Dartois and
T. Sakaguchi and
S. Sugimoto and
K. Tabata Building a Multilingual Electronic Text
Collection of Folk Tales as a Set of
Encapsulated Document Objects: An
Approach for Casual Users to Browse
Multilingual Documents on the Fly . . . 215
R. Ferber Automated Indexing with Thesaurus
Descriptors: A Co-occurrence Based
Approach to Multilingual Retrieval . . . 233
P. Sheridan and
M. Braschler and
P. Schaeuble Cross-Language Information Retrieval in
a Multilingual Legal Domain . . . . . . 253
A. Bozzi and
S. Calabretto The Digital Library and Computational
Philology: The BAMBI Project . . . . . . 269
T. A. Phelps and
R. Wilensky Multivalent Annotations . . . . . . . . 287
V. Christophides and
M. Doerr and
I. Fundulaki A Semantic Network Approach to
Semi-structured Documents Repositories 305
C. Meghini and
F. Sebastiani and
U. Straccia Modelling the Retrieval of Structured
Documents Containing Texts and Images 325
S. M. Harding and
W. B. Croft and
C. Weir Probabilistic Retrieval of OCR Degraded
Text Using $N$-Grams . . . . . . . . . . 345
T. C. Noordermeer Deposit for Dutch Electronic
Publications: Research and Practice in
The Netherlands . . . . . . . . . . . . 361
M. Breu and
R. Weber Charging for a Digital Library --- The
Business Model and the Cost Models of
the MeDoc Digital Library . . . . . . . 375
S. Mony Biblioth\`eque Nationale de France's
Audiovisual System: Digital Audio,
Video, and Photo Consultation in a
Library . . . . . . . . . . . . . . . . 387
J. Bern and
C. Damm and
C. Meinel The Electronic Colloquium on
Computational Complexity (ECCC): A
Digital Library in Use . . . . . . . . . 405
A. W. Biermann and
C. A. Guinn and
M. Fulkerson and
G. A. Keim Goal-oriented multimedia dialogue with
variable initiative . . . . . . . . . . 1
W. W. Chu and
A. F. Cardenas and
R. K. Taira Knowledge-based image retrieval with
spatial and temporal constructs . . . . 17
M. Lowry and
K. Havelund and
J. Penix Verification and validation oral systems
that control deep-space spacecraft . . . 35
G. Piatetsky-Shapiro Data mining and knowledge discovery: The
third generation . . . . . . . . . . . . 48
J. Chen Embedding prioritized circumscription in
logic programs . . . . . . . . . . . . . 50
S. Conrad and
G. Saake Extending temporal logic for capturing
evolving behaviour . . . . . . . . . . . 60
P. Lambrix and
L. Padgham A description logic model for querying
knowledge bases for structured documents 72
M. Botta and
A. Giordana and
R. Piola Refining first order theories with
neural networks . . . . . . . . . . . . 84
N. Zhong and
C. Liu and
S. Ohsuga A way of increasing both autonomy and
versatility of a KDD system . . . . . . 94
B. Barber and
H. J. Hamilton A comparison of attribute selection
strategies for attribute-oriented
generalization . . . . . . . . . . . . . 106
H. S. Nguyen and
A. Skowron Boolean reasoning for feature extraction
problems . . . . . . . . . . . . . . . . 117
L. Saitta and
F. Neri and
A. Tiberghien Worm model construction in children
during physics learning . . . . . . . . 127
R. Feldman and
W. Kloesgen and
A. Zilberstein Document explorer: discovering knowledge
in document collections . . . . . . . . 137
T. Elomaa and
J. Rousu Well-behaved evaluation functions for
numerical attributes . . . . . . . . . . 147
J. Kacprzyk and
G. Szkatuta An improved inductive learning algorithm
with a preanalysis of data . . . . . . . 157
L. Martin and
C. Vrain Efficient induction of numerical
constraints . . . . . . . . . . . . . . 167
J. Zhang and
H. J. Hamilton Learning English syllabification for
words . . . . . . . . . . . . . . . . . 177
S. C. Yoon Towards conceptual query answering . . . 187
T. Schaub and
P. Nicolas An implementation platform for
query-answering in default logics:
theoretical underpinnings . . . . . . . 197
M. Singh and
J. Barnett and
M. P. Singh Automating spoken dialogue systems . . . 207
W. Skarbek and
K. Ignasiak Handwritten digit recognition by local
principal components analysis . . . . . 217
J. Debenham From conceptual model to internal model 227
Q. Zhang Speeding GA-based attribute selection
for image interpretation . . . . . . . . 237
B. S. Hadad and
C. F. Eick Using recurrent selection to improve GA
performance . . . . . . . . . . . . . . 247
A. Giordana and
L. Saitta and
G. Lo Bello A coevolutionary approach to concept
learning . . . . . . . . . . . . . . . . 257
F. Federman and
S. F. Dorchak Representation of music in a learning
classifier system . . . . . . . . . . . 267
W. Van Laer and
L. De Raedt and
S. Dzeroski On multi-class problems and
discretization in inductive logic
programming . . . . . . . . . . . . . . 277
K.-M. Huang and
J. M. Zytkow Discovering empirical equations from
robot-collected data . . . . . . . . . . 287
S. Tsumoto Induction of positive and negative
deterministic rules based on rough set
model . . . . . . . . . . . . . . . . . 298
L. J. Mazlack Autonomous database mining and disorder
measures . . . . . . . . . . . . . . . . 308
J. Calmet and
S. Jekutsch and
P. Kullmann and
J. Schue KOMET --- a system for the integration
of heterogeneous information sources . . 318
E. Nissan and
D. Rousseau Towards A1 formalisms for legal evidence 328
C. Capponi Type extensibility of a knowledge
representation system with powersets . . 338
D. Costal and
A. Olive Planning based on view updating in
deductive databases . . . . . . . . . . 348
S. K. Choubey and
V. V. Raghavan Generic and fully automatic
content-based image retrieval
architecture . . . . . . . . . . . . . . 360
J. Eusterbrock Program synthesis from examples by
theory formation . . . . . . . . . . . . 370
Y. Y. Yao and
S. K. M. Wong Interval approaches for uncertain
reasoning . . . . . . . . . . . . . . . 381
M. A. Klopotek and
S. T. Wierzchon Qualitative versus quantitative
interpretation of the mathematical
theory of evidence . . . . . . . . . . . 391
Q. Zhu and
Z. Chen Knowledge discovery from databases with
the guidance of a causal network . . . . 401
M. J. Donahoo and
J. W. Murdock and
A. K. Goel and
S. Navathe From data to knowledge: method-specific
transformations . . . . . . . . . . . . 411
M. Kryszkiewicz Generalized rules in incomplete
information systems . . . . . . . . . . 421
R. Cucchiara and
E. Lamma and
P. Mello and
M. Milano An interactive constraint-based system
for selective attention in visual search 431
D. A. Maluf and
G. Wiederhold Abstraction of representation for
interoperation . . . . . . . . . . . . . 441
S. Carberry and
J. R. Clarke Trauma CASE: exploiting the knowledge
base of an existing decision support
system to automatically construct
medical cases . . . . . . . . . . . . . 456
D. Pacholczyk An intelligent system dealing with
negative information . . . . . . . . . . 467
P. Bosc and
O. Pivert On representation-based querying of
databases containing ill-known values 477
D. Slezak Decision value oriented decomposition of
data tables . . . . . . . . . . . . . . 487
J. W. Grzymala-Busse and
L. J. Old A machine learning experiment to
determine part of speech from
word-endings . . . . . . . . . . . . . . 497
M. Quafafou Learning flexible concepts from
uncertain data . . . . . . . . . . . . . 507
M. Hadzikadic and
B. F. Bohren Determining attribute relevance in
decision trees . . . . . . . . . . . . . 519
J. Y. Chai and
A. W. Biermann A WordNet based rule generalization
engine in meaning extraction system . . 529
D. Calvanese and
G. De Giacomo and
M. Lenzerini Representing and reasoning on SGML
documents . . . . . . . . . . . . . . . 540
G. P. Zarri Conceptual modelling of the ``meaning''
of textual narrative documents . . . . . 550
J. D. Oldham and
V. W. Marek and
M. Truszczynski Intelligent computation of presentation
documents . . . . . . . . . . . . . . . 560
T. Andreasen Flexible database querying based on
associations of domain values . . . . . 570
F. Cuppens and
R. Demolombe A modal logical framework for security
policies . . . . . . . . . . . . . . . . 579
R. Haehnle and
N. V. Murray and
E. Rosenthal Completeness for linear regular negation
normal form inference systems . . . . . 590
X. Nie and
Q. Guo Renaming a set of non-Horn clauses . . . 600
Y. Zhang Constraints, causal rules and minimal
change in model-based update . . . . . . 609
F. Esposito and
D. Malerba and
G. Semeraro and
S. Ferilli Knowledge revision for document
understanding . . . . . . . . . . . . . 619
M. Bieber Enhancing Information Comprehension
Through Hypertext . . . . . . . . . . . 1
P. Brusilovsky Efficient Techniques for Adaptive
Hypermedia . . . . . . . . . . . . . . . 12
E. Gobbetti and
R. Turner Exploring Annotated $3$D Environments on
the World Wide Web . . . . . . . . . . . 31
J. Kay and
B. Kummerfeld User Models for Customized Hypertext . . 47
R. E. Kent and
C. Neuss Conceptual Analysis of Hypertext . . . . 70
J. Mayfield Two-Level Models of Hypertext . . . . . 90
C. Pearce and
E. Miller The TELLTALE Dynamic Hypertext
Environment: Approaches to Scalability 109
W. Wang and
C. Ghaoui and
R. Rada Domain Model Based Hypertext for
Collaborative Authoring . . . . . . . . 131
D. Rus and
D. Subramanian Information Retrieval, Information
Structure, and Information Agents . . . 145
W. Schultz Reward Responses of Dopamine Neurons: A
Biological Reinforcement Signal . . . . 3
H. Markram and
M. Tsodyks The Information Content of Action
Potential Trains --- A Synaptic Basis 13
R. Miller Cortical Cell Assemblies, Laminar
Interaction, and Thalamocortical
Interplay . . . . . . . . . . . . . . . 25
N. Brunel Cross-Correlations in Sparsely Connected
Recurrent Networks of Spiking Neurons 31
I. V. Tetko and
A. E. P. Villa A Comparative Study of Pattern Detection
Algorithm and Dynamical System Approach
Using Simulated Spike Trains . . . . . . 37
J. Rouat Spatio-Temporal Pattern Recognition with
Neural Networks: Application to Speech 43
P. Lansky and
V. Lanska Noise in Integrate-and-Fire Models of
Neuronal Dynamics . . . . . . . . . . . 49
C. W. Eurich and
H. R. Dinse and
U. Dicke and
B. Godde Coarse Coding Accounts for Improvement
of Spatial Discrimination after Plastic
Reorganization in Rats and Humans . . . 55
S. Schultz and
S. Panzeri and
A. Treves and
E. T. Rolls Analogue Resolution in a Model of the
Schaffer Collaterals . . . . . . . . . . 61
M. Mattia and
S. Fusi Modeling Networks with Linear (VLSI)
Integrate-and-Fire Neurons . . . . . . . 67
G. Deco and
B. Schuermann An Information-Theoretic Analysis of
Temporal Coding Strategies by Spiking
Central Neurons . . . . . . . . . . . . 73
R. Ritz and
T. J. Sejnowski Correlation Coding in Stochastic Neural
Networks . . . . . . . . . . . . . . . . 79
A. Hirose Two-Dimensional Hodgkin--Huxley
Equations for Investigating a Basis of
Pulse-Processing Neural Networks . . . . 85
E. Koerner and
U. Koerner Concurrent Parallel-Sequential
Processing in Gamma Controlled
Cortical-Type Networks of Spiking
Neurones . . . . . . . . . . . . . . . . 91
L. S. Smith A Noise-Robust Auditory Modeling Front
End for Voiced Speech . . . . . . . . . 97
T. V. Ho and
J. Rouat A Novelty Detector Using a Network of
Integrate and Fire Neurons . . . . . . . 103
J. Eggert and
J. L. Van Hemmen Derivation of Pool Dynamics from
Microscopic Neuronal Models . . . . . . 109
V. Steuber and
D. J. Willshaw How a Single Purkinje Cell Could Learn
the Adaptive Timing of the Classically
Conditioned Eye-Blink Response . . . . . 115
W. Senn and
M. Tsodyks and
H. Markram An Algorithm for Synaptic Modification
Based on Exact Timing of Pre- and
Post-Synaptic Action Potentials . . . . 121
L. Benuskova Modeling Plasticity in Rat Barrel Cortex
Induced by One Spared Whisker . . . . . 127
R. Kohli and
P. G. H. Clarke Mathematical Analysis of Competition
Between Sensory Ganglion Cells for Nerve
Growth Factor in the Skin . . . . . . . 133
A. Van Ooyen and
D. J. Willshaw Competition Amongst Neurons for
Neurotrophins . . . . . . . . . . . . . 139
M. Samuelides and
S. Thorpe and
E. Veneau Implementing Hebbian Learning in a
Rank-Based Neural Network . . . . . . . 145
B. Graham and
D. J. Willshaw A Model of Clipped Hebbian Learning in a
Neocortical Pyramidal Cell . . . . . . . 151
C. W. Eurich and
J. D. Cowan and
J. G. Milton Hebbian Delay Adaptation in a Network of
Integrate-and-Fire Neurons . . . . . . . 157
A. Loerincz Hippocampal Formation Trains Independent
Components via Forcing Input
Reconstruction . . . . . . . . . . . . . 163
S. Loewel and
K. E. Schmidt and
W. Singer Nature vs. Nurture in the Development of
Tangential Connections and Functional
Maps in the Visual Cortex . . . . . . . 171
M. Huebener and
D. Shoham and
S. Schulze and
G. Braendle Geometric Relationships Between Feature
Maps in Cat Visual Cortex . . . . . . . 177
S. Wimbauer and
O. Wenisch and
J. L. Van Hemmen A Linear Hebbian Model for the
Development of Spatiotemporal Receptive
Fields of Simple Cells . . . . . . . . . 183
M. Stetter and
E. W. Lang and
K. Obermayer Synapse Clustering Can Drive
Simultaneous ON-OFF and Ocular-Dominance
Segregation in a Model of Area 17 . . . 189
F. Wolf and
T. Geisel Must Pinwheels Move During Visual
Development? . . . . . . . . . . . . . . 195
F. Frisone and
L. Perico and
P. G. Morasso Extending the TRN Model in a
Biologically Plausible Way . . . . . . . 201
D. Brockmann and
H. U. Bauer and
M. Riesenhuber and
T. Geisel SOM-Model for the Development of
Oriented Receptive Fields and
Orientation Maps from Non-oriented
ON-center OFF-center Inputs . . . . . . 207
U. Bauer and
P. Adorjan and
M. Scholz and
J. B. Levitt On the Anatomical Basis of Field Size,
Contrast Sensitivity, and Orientation
Selectivity in Macaque Striate Cortex: A
Model Study . . . . . . . . . . . . . . 213
C. Ziegaus and
E. W. Lang Statistics of Natural and Urban Images 219
T. Burger and
E. W. Lang A CBL Network Model with Intracortical
Plasticity and Natural Image Stimuli . . 225
U. Ernst and
K. Pawelzik and
F. Wolf and
T. Geisel Geometry of Orientation Preference Map
Determines Nonclassical Receptive Field
Properties . . . . . . . . . . . . . . . 231
H. Bartsch and
M. Stetter and
K. Obermayer A Model for Orientation Tuning and
Contextual Effects of Orientation
Selective Receptive Fields . . . . . . . 237
L. Wiskott and
T. J. Sejnowski Objective Functions for Neural Map
Formation . . . . . . . . . . . . . . . 243
K. Kopecz and
K. Mohraz Relative Time Scales in the
Self-Organization of Pattern
Classification: From One-Shot to
Statistical Learning . . . . . . . . . . 249
J. Chao and
Y. Miyata and
S. Yoshida Realization of Geometric Illusions and
Geometry of Visual Space with Neural
Networks . . . . . . . . . . . . . . . . 255
V. N. Vapnik The Support Vector Method . . . . . . . 263
R. S. Sutton On the Significance of Markov Decision
Processes . . . . . . . . . . . . . . . 273
N. Chatenet and
H. Bersini Economical Reinforcement Learning for
Non Stationary Problems . . . . . . . . 283
T. Czernichow A Double Gradient Algorithm to Optimize
Regularization . . . . . . . . . . . . . 289
N. P. Bradshaw and
A. Duchateau and
H. Bersini Global Least-Squares vs. EM Training for
the Gaussian Mixture of Experts . . . . 295
H. J. Kappen and
F. B. Rodriguez Accelerated Learning in Boltzmann
Machines Using Mean Field Theory . . . . 301
S. Boes Adaptive Online Learning for
Nonstationary Problems . . . . . . . . . 307
M. Aboukassem and
S. Schwember and
S. Noehte and
R. Maenner Weight Discretization due to Optical
Constraints and Its Influence on the
Generalization Abilities of a Simple
Perceptron . . . . . . . . . . . . . . . 313
S. Soltani and
S. Canu and
D. Boichu and
Y. Grandvalet Wavelet Frames Based Estimator . . . . . 319
N. Mozayyani and
G. Vaucher A Spatio-temporal Perceptron for On-Line
Handwritten Character Recognition . . . 325
M. G. Weiss Learning Oscillations Using Adaptive
Control . . . . . . . . . . . . . . . . 331
P. Eggenberger Creation of Neural Networks Based on
Developmental and Evolutionary
Principles . . . . . . . . . . . . . . . 337
A. Bettoni and
P. Campadelli and
M. Parodi A Boosting Algorithm for Regression . . 343
M. Taniguchi and
V. Tresp Combining Regularized Neural Networks 349
S. M. Rueger Making Stochastic Networks Deterministic 355
B. Ruf and
M. Schmitt Unsupervised Learning in Networks of
Spiking Neurons Using Temporal Coding 361
A. Selonen and
J. Lampinen Experiments on Regularizing MLP Models
with Background Knowledge . . . . . . . 367
S. Gutjahr and
J. Feist Elliptical Basis Function Networks for
Classification Tasks . . . . . . . . . . 373
I. Galleske and
J. Castellanos Probabilistic Neural Networks with
Rotated Kernel Functions . . . . . . . . 379
N. Jankowski and
V. Kadirkamanathan Statistical Control of RBF-like Networks
for Classification . . . . . . . . . . . 385
M. Scherf and
W. Brauer Improving RBF Networks by the Feature
Selection Approach EUBAFES . . . . . . . 391
L. Graf and
U. Kressel and
J. Franke Polynomial Classifiers and Support
Vector Machines . . . . . . . . . . . . 397
M. Kimura and
R. Nakano Unique Representations of Dynamical
Systems Produced by Recurrent Neural
Networks . . . . . . . . . . . . . . . . 403
B. Hammer Generalization of Elman Networks . . . . 409
M. Ishikawa and
K. Nishino Designing Neural Networks by a
Combination of Structural Learning and
Genetic Algorithms . . . . . . . . . . . 415
M. Varsta and
J. del R. Millan and
J. Heikkonen A Recurrent Self-Organizing Map for
Temporal Sequence Processing . . . . . . 421
P. Stagge and
B. Sendhoff An Extended Elman Net for Modeling Time
Series . . . . . . . . . . . . . . . . . 427
M. Kuzmina and
E. Manykin and
I. Surina Recurrent Associative Memory Network of
Nonlinear Coupled Oscillators . . . . . 433
H. Wersing and
J. J. Steil and
H. Ritter A Layered Recurrent Neural Network for
Feature Grouping . . . . . . . . . . . . 439
K. Meert and
J. Ludik A Multilayer Real-Time Recurrent
Learning Algorithm for Improved
Convergence . . . . . . . . . . . . . . 445
A. Storkey Increasing the Capacity of a Hopfield
Network without Sacrificing
Functionality . . . . . . . . . . . . . 451
H. Wang and
D. Bell A Novel Associative Network
Accommodating Pattern Deformation . . . 457
Y. Grandvalet and
S. Canu Adaptive Noise Injection for Input
Variables Relevance Determination . . . 463
P. Van De Laar and
S. Gielen and
T. Heskes Input Selection with Partial Retraining 469
E. Mayoraz On the Complexity of Recognizing
Iterated Differences of Polyhedra . . . 475
Y. Guermeur and
F. D'Alche-Buc and
P. Gallinari Optimal Linear Regression on Classifier
Outputs . . . . . . . . . . . . . . . . 481
R. Quelavoine and
P. Nocera Learning Verification in Multilayer
Neural Networks . . . . . . . . . . . . 487
O. J. Kwon and
S. Y. Bang Design of a Fault Tolerant Multilayer
Perceptron with a Desired Level of
Robustness . . . . . . . . . . . . . . . 493
P. Moerland Mixtures of Experts Estimate A
Posteriori Probabilities . . . . . . . . 499
A. Doering and
M. Galicki and
H. Witte Admissibility and Optimality of the
Cascade-Correlation Algorithm . . . . . 505
N. P. Bradshaw The Effective VC Dimension of the
$n$-tuple Classifier . . . . . . . . . . 511
E. Oja and
J. Karhunen and
A. Hyvaerinen From Neural Principal Components to
Neural Independent Components . . . . . 519
A. Taleb and
C. Jutten Entropy Optimization --- Application to
Blind Source Separation . . . . . . . . 529
B.-U. Koehler and
T.-W. Lee and
R. Orglmeister Improving the Performance of Infomax
Using Statistical Signal Processing
Techniques . . . . . . . . . . . . . . . 535
P. Pajunen and
J. Karhunen A Maximum Likelihood Approach to
Nonlinear Blind Source Separation . . . 541
M. Mattavelli and
E. Amaldi and
J.-M. Vesin A Perceptron-Based Approach to Piecewise
Linear Modeling with an Application to
Time Series . . . . . . . . . . . . . . 547
E. Oja and
K. Valkealahti Local Independent Component Analysis by
the Self-Organizing Map . . . . . . . . 553
G. Linares and
P. Nocera and
H. Meloni Model Breaking Detection Using
Independent Component Classifier . . . . 559
A. Paraschiv-Ionescu and
C. Jutten and
G. Bouvier Neural Network Based Processing for
Smart Sensors Arrays . . . . . . . . . . 565
S. Fiori and
A. Uncini and
F. Piazza Application of the MEC Network to
Principal Component Analysis and Source
Separation . . . . . . . . . . . . . . . 571
J. Joutsensalo Semi-Blind Source Parameter Separation 577
B. Schoelkopf and
A. J. Smola and
K.-R Mueller Kernel Principal Component Analysis . . 583
T. Balachander and
R. Kothari and
H. Cualing An Empirical Comparison of
Dimensionality Reduction Techniques for
Pattern Classification . . . . . . . . . 589
J. Bruske and
G. Sommer Topology Representing Networks for
Intrinsic Dimensionality Estimation . . 595
E. Haekkinen and
P. Koikkalainen SOM Based Visualization in Data Analysis 601
G. A. Carpenter and
F. D. M. Wilson ARTMAP-DS: Pattern Discrimination by
Discounting Similarities . . . . . . . . 607
B. Fritzke A Self-Organizing Network that Can
Follow Non-stationary Distributions . . 613
M. Burger and
T. Graepel and
K. Obermayer Phase Transitions in Soft Topographic
Vector Quantization . . . . . . . . . . 619
M. Herrmann and
T. Villmann Vector Quantization by Optimal Neural
Gas . . . . . . . . . . . . . . . . . . 625
J.-C. Fort and
G. Pages Convergences of the Kohonen Maps: A
Dynamical System Approach . . . . . . . 631
J. Laaksonen Local Subspace Classifier . . . . . . . 637
J. P. Delmas Asymptotic Distributions Associated to
Unsupervised Oja's Learning Equation . . 643
N. A. Vlassis and
A. Dimopoulos and
G. Papakonstantinou The Probabilistic Growing Cell
Structures Algorithm . . . . . . . . . . 649
S. Hochreiter and
J. Schmidhuber Unsupervised Coding with LOCOCODE . . . 655
B. Dobrzewski and
D. Ruwish and
M. Bode Wave Propagation in Self-Organizing
Feature Maps as a Means for the
Representation of Temporal Sequences . . 661
N. Pican Contextual Kohonen SOM with Orthogonal
Weight Estimator Principle . . . . . . . 667
H. Ritter Self-Organizing Maps for Robot Control 675
I. Harvey Cognition is Not Computation; Evolution
is Not Optimisation . . . . . . . . . . 685
C. Scheier and
R. Pfeifer Information Theoretic Implications of
Embodiment for Neural Network Learning 691
J. Tani Visual Attention and Learning of a
Cognitive Robot . . . . . . . . . . . . 697
S. Egner and
C. Scheier Feature Binding Through Temporally
Correlated Neural Activity in a Robot
Model of Visual Perception . . . . . . . 703
S. A. Huber and
H. H. Buelthoff Modeling Obstacle Avoidance Behavior of
Flies Using an Adaptive Autonomous Agent 709
T. R. Neumann and
S. A. Huber and
H. H. Buelthoff Minimalistic Approach to $3$D Obstacle
Avoidance Behavior from Simulated
Evolution . . . . . . . . . . . . . . . 715
J. Vaario and
K. Shimohara Synthesis of Developmental and
Evolutionary Modeling of Adaptive
Autonomous Agents . . . . . . . . . . . 721
A. Buehlmeier and
P. Steiner and
M. Rossmann and
K. Goser Hebbian Multilayer Network in a
Wheelchair Robot . . . . . . . . . . . . 727
S. Nolfi and
D. Parisi Neural Networks in an Artificial Life
Perspective . . . . . . . . . . . . . . 733
J. del R. Millan Incremental Acquisition of Local
Networks for the Control of Autonomous
Robots . . . . . . . . . . . . . . . . . 739
H. H. Lund Robot-Animal Interaction . . . . . . . . 745
H. A. Mallot and
M. Franz and
B. Schoelkopf and
H. H. Buelthoff The View-Graph Approach to Visual
Navigation and Spatial Memory . . . . . 751
O. Trullier and
J.-A Meyer Place Sequence Learning for Navigation 757
A. Billard and
G. Hayes Learning to Communicate Through
Imitation in Autonomous Robots . . . . . 763
R. Salustowicz and
M. Wiering and
J. Schmidhuber On Learning Soccer Strategies . . . . . 769
K. Mizutani and
T. Omori A Model of Logic Like Inference by
Memory Model PATON . . . . . . . . . . . 775
N. Saadia and
Y. Amirat and
J. Pontnau and
A. Ramdane-Cherif Force Feedback Control of an Assembly
Robot by Neural Networks . . . . . . . . 781
M. Dapper and
R. Maass and
V. Zahn and
R. Eckmiller Neural Force Control (NFC) for Complex
Manipulator Tasks . . . . . . . . . . . 787
T. Frontzek and
N. Goerke and
R. Eckmiller A Hybrid Path Planning System Combining
the A-Method and RBF-Networks . . . . . 793
A. Chella and
S. Gaglio and
V. Mulia and
G. Sajeva An ASSOM Neural Network to Represent
Actions Performed by an Autonomous Agent 799
R. Salomon The Application of Radial Basis Function
Networks with Implicit Continuity
Constraints . . . . . . . . . . . . . . 805
G. Indiveri and
P. Vetschure Autonomous Vehicle Guidance Using Analog
VLSI Neuromorphic Sensors . . . . . . . 811
V. Ortmann and
R. Eckmiller Neural Network Visual Tracking System 817
F. Pasemann Pole-Balancing with Different Evolved
Neurocontrollers . . . . . . . . . . . . 823
I. Kokcharov Calibration of Parallel Robots by
Evolutionary Algorithm . . . . . . . . . 831
I. Duleba and
R. Muszynski On Use of ANNs to Model and to Control
Robot Manipulators . . . . . . . . . . . 837
C. Ledoux and
F. Bonnard Identification of the Electric Arc of a
Furnace . . . . . . . . . . . . . . . . 843
C. Breining and
G. Alt On Using MLPs for Step Size Control in
Echo Cancellation for Hands-Free
Telephone Sets . . . . . . . . . . . . . 849
R. Habtom and
L. Litz Neurocontrol of Nonlinear Dynamic
Systems Subject to Unmeasured
Disturbance Inputs . . . . . . . . . . . 855
Patrick Blackburn and
Marc Dymetman and
Alain Lecomte and
Aarne Ranta and
Christian Retoré and
Eric Villemonte de la Clergerie Logical Aspects of Computational
Linguistics: An Introduction . . . . . . 1
Aravind K. Joshi and
Seth Kulick Partial Proof Trees, Resource Sensitive
Logics, and Syntactic Constraints . . . 21
Marcus Kracht Inessential Features . . . . . . . . . . 43
Dale Miller Linear Logic as Logic Programming: An
Abstract . . . . . . . . . . . . . . . . 63
Edward Stabler Derivational Minimalism . . . . . . . . 68
V. Michele Abrusci and
Christophe Fouqueré and
Jacqueline Vauzeilles Tree adjoining grammars in
non-commutative linear logic . . . . . . 96
Denis Bechet and
Philippe de Groote Constructing Different Phonological
Bracketings from a Proof Net . . . . . . 118
Pascal Boldini Vagueness and Type Theory . . . . . . . 134
Yann Coscoy A Natural Language Explanation for
Formal Proofs . . . . . . . . . . . . . 149
Martin Emms Models for Polymorphic Lambek Calculus 168
Claire Gardent Sloppy Identity . . . . . . . . . . . . 188--207
Stephen J. Hegner A Family of Decidable Feature Logics
which Support HPSG-Style Set and List
Constructions . . . . . . . . . . . . . 208
Ruth Kempson and
Wilfried Meyer Viol and
Dov Gabbay Language Understanding: A Procedural
Perspective . . . . . . . . . . . . . . 228
Paul John King and
Kiril Ivanov Simov The Automatic Deduction of
Classificatory Systems from Linguistic
Theories (Abridged) . . . . . . . . . . 248
Lucia H. B. Manara and
Anne De Roeck A Belief-Centered Treatment of Pragmatic
Presupposition . . . . . . . . . . . . . 274
Jacek Marciniec Connected Sets of Types and Categorial
Consequence . . . . . . . . . . . . . . 292
Josep M. Merenciano and
Glyn Morrill Generation as Deduction on Labelled
Proof Nets . . . . . . . . . . . . . . . 310
Jens Michaelis and
Marcus Kracht Semilinearity as a Syntactic Invariant 329
Stefan Riezler Quantitative Constraint Logic
Programming for Weighted Grammar
Applications . . . . . . . . . . . . . . 346
James Rogers Strict $ \mathbf {LT}_2 $: Regular ::
Local : Recognizable . . . . . . . . . . 366
Irene Schena Pomset Logic and Variants in Natural
Languages . . . . . . . . . . . . . . . 386
Frieder Stolzenburg and
Stephan Höhne and
Ulrich Koch and
Martin Volk Constraint Logic Programming for
Computational Linguistics . . . . . . . 406
Marek Szczerba Representation Theorems for Residuated
Groupoids . . . . . . . . . . . . . . . 426
A. Galton Continuous Change in Spatial Regions . . 1
K. Hornsby and
M. J. Egenhofer Qualitative Representation of Change . . 15
M. A. Rodriguez and
M. J. Egenhofer Image-Schemata-Based Spatial Inferences:
The Container-Surface Algebra . . . . . 35
A. Dieberger A City Metaphor to Support Navigation in
Complex Information Spaces . . . . . . . 53
S. Timpf and
A. U. Frank Using Hierarchical Spatial Data
Structures for Hierarchical Spatial
Reasoning . . . . . . . . . . . . . . . 69
M. Raubal and
M. J. Egenhofer and
D. Pfoser and
N. Tryfona Structuring Space with Image Schemata:
Wayfinding in Airports as a Case Study 85
B. Smith and
A. C. Varzi Fiat and Bona Fide Boundaries: Towards
an Ontology of Spatially Extended
Objects . . . . . . . . . . . . . . . . 103
B. Plewe A Representation-Oriented Taxonomy of
Gradation . . . . . . . . . . . . . . . 121
M. V. Gray Classification as an Impediment to the
Reliable and Valid Use of Spatial
Information: A Disaggregate Approach . . 137
H. Couclelis and
J. Gottsegen What Maps Mean to People: Denotation,
Connotation, and Geographic
Visualization in Land-Use Debates . . . 151
J. G. Stell and
M. F. Worboys The Algebraic Structure of Sets of
Regions . . . . . . . . . . . . . . . . 163
V. H. Nguyen and
C. Parent and
S. Spaccapietra Complex Regions in Topological Queries 175
M. Knauff and
R. Rauh and
J. Renz A Cognitive Assessment of Topological
Spatial Relations: Results from an
Empirical Investigation . . . . . . . . 193
J.-F. Hangouet and
R. Djadri Voronoi Diagrams on Line Segments:
Measurements for Contextual
Generalization Purposes . . . . . . . . 207
T. Bittner A Qualitative Coordinate Language of
Location of Figures within the Ground 223
C. Tao and
M. Molenaar and
T. Bouloucos Identification of Fuzzy Objects from
Field Observation Data . . . . . . . . . 241
T. Federico and
N. Franklin Long-Term Spatial Representations From
Pictorial and Textual Input . . . . . . 261
B. Berendt and
P. Jansen-Osmann Feature Accumulation and Route
Structuring in Distance Estimations ---
An Interdisciplinary Approach . . . . . 279
D. R. Montello The Perception and Cognition of
Environmental Distance: Direct Source of
Information . . . . . . . . . . . . . . 297
F. Harvey Improving Multi-Purpose GIS Design:
Participative Design . . . . . . . . . . 313
J. Portugali Self-Organization, Cities, Cognitive
Maps and Information Systems . . . . . . 329
T. Barkowsky and
C. Freksa Cognitive Requirements on Making and
Interpreting Maps . . . . . . . . . . . 347
G. L. Allen From Knowledge to Words to Wayfinding:
Issues in the Production and
Comprehension of Route Directions . . . 363
S. L. Epstein Spatial Representation for Pragmatic
Navigation . . . . . . . . . . . . . . . 373
M. Erwig and
M. Schneider Partition and Conquer . . . . . . . . . 389
S. C. Chase Supporting Emergence in Spatial
Reasoning with Shape Algebras and Formal
Logic . . . . . . . . . . . . . . . . . 409
P. Haunold and
S. Grumbach and
G. Kuper and
Z. Lacroix Linear Constraints: Geometric Objects
Represented by Inequalities . . . . . . 429
M. J. Almeida An Event-Based Approach to Spatial
Information . . . . . . . . . . . . . . 441
G. Edwards Geocognostics --- A New Framework for
Spatial Information Theory . . . . . . . 455
J.-P. Cheylan and
T. Libourel and
C. Mende Graphical Modelling for Geographical
Explanation . . . . . . . . . . . . . . 473
M. Gahegan Experiments Using Context and
Significance to Enhance the Reporting
Capabilities of GIS . . . . . . . . . . 485
A. Abella and
J. R. Kender Automatic Summarization of Radiographic
Imagery . . . . . . . . . . . . . . . . 497
M. Barrault An Automated System for Name Placement
which Complies with Cartographic Quality
Criteria: The Hydrographic Network . . . 499
I. Benenson and
J. Portugali Agent-Based Simulations of a City
Dynamics in a GIS Environment . . . . . 501
B. Bennett and
A. G. Cohn and
A. Isli A Logical Approach to Incorporating
Qualitative Spatial Reasoning into GIS 503
A. D. Blaser User Interaction in a Sketch-Based GIS
User Interface . . . . . . . . . . . . . 505
U. Rupp Metrical Refinement of Topological
Relations . . . . . . . . . . . . . . . 507
F. B. Zahn Approximation of Topological Relations
Between Fuzzy Regions Satisfying a
Linguistically Described Query . . . . . 509
P. Van Hentenryck Visual Solver, a Modeling Language for
Constraint Programming . . . . . . . . . 1
N. B. Guernalec and
A. Colmerauer Narrowing a $ 2 n $-block of Sortings in
$ O(n \log n) $ . . . . . . . . . . . . 2
Y. Caseau and
F. Laburthe Solving Various Weighted Matching
Problems with Constraints . . . . . . . 17
J.-C. Regin and
J.-F. Puget A Filtering Algorithm for Global
Sequencing Constraints . . . . . . . . . 32
F. De Boer and
M. Gabbrielli and
M. C. Meo Semantics and Expressive Power of a
Timed Concurrent Constraint Language . . 47
P. Devienne and
J. M. Talbot and
S. Tison Solving Classes of Set Constraints with
Tree Automata . . . . . . . . . . . . . 62
I. P. Gent and
J. L. Underwood The Logic of Search Algorithms: Theory
and Applications . . . . . . . . . . . . 77
S. Melzer Verification of Parallel Systems Using
Constraint Programming . . . . . . . . . 92
D. Achlioptas and
L. M. Kirousis and
E. Kranakis and
D. Krizanc Random Constraint Satisfaction: A More
Accurate Picture . . . . . . . . . . . . 107
C. P. Gomes and
B. Selman and
N. Crato Heavy-Tailed Distributions in
Combinatorial Search . . . . . . . . . . 121
G. Istrate Counting, Structure Identification and
Maximum Consistency for Binary
Constraint Satisfaction Problems . . . . 136
I. Rish and
D. Frost Statistical Analysis of Backtracking on
Inconsistent CSPs . . . . . . . . . . . 150
Y. Caseau Using Constraint Propagation for Complex
Scheduling Problems: Managing Size,
Complex Resources and Travel . . . . . . 163
D. Sabin and
E. C. Freuder Understanding and Improving the MAC
Algorithm . . . . . . . . . . . . . . . 167
B. M. Smith and
S. A. Grant Modelling Exceptionally Hard Constraint
Satisfaction Problems . . . . . . . . . 182
P. Galinier and
J.-K. Hao Tabu Search for Maximal Constraint
Satisfaction Problems . . . . . . . . . 196
Y. Hamadi and
D. Merceron Reconfigurable Architectures: A New
Vision for Optimization Problems . . . . 209
K. Hirayama and
M. Yokoo Distributed Partial Constraint
Satisfaction Problem . . . . . . . . . . 222
L. Michel and
P. Van Hentenryck Localizer: A Modeling Language for Local
Search . . . . . . . . . . . . . . . . . 237
S. Abdennadher Operational Semantics and Confluence of
Constraint Propagation Rules . . . . . . 252
A. Boudet and
E. Contejean AC-Unification of Higher-Order Patterns 267
M. Hermann and
P. G. Kolaitis On the Complexity of Unification and
Disunification in Commutative Idempotent
Semigroups . . . . . . . . . . . . . . . 282
M. Mueller and
J. Niehren and
A. Podelski Ordering Constraints over Feature Trees 297
R. Debruyne and
C. Bessiere From Restricted Path Consistency to
Max-Restricted Path Consistency . . . . 312
I. P. Gent and
E. MacIntyre and
P. Prosser and
P. Shaw The Constrainedness of Arc Consistency 327
Chu Min Li and
Anbulagan Look-Ahead Versus Look-Back for
Satisfiability Problems . . . . . . . . 341--355
M. Yokoo Why Adding More Constraints Makes a
Problem Easier for Hill-Climbing
Algorithms: Analyzing Landscapes of CSPs 356
L. Michel and
J.-F Puget Interval Methods for Non-linear
Constraints . . . . . . . . . . . . . . 371
S. Minton Configurable Solvers: Tailoring General
Methods to Specific Applications . . . . 372
P. Baptiste and
C. Le Pape Constraint Propagation and Decomposition
Techniques for Highly Disjunctive and
Highly Cumulative Project Scheduling
Problems . . . . . . . . . . . . . . . . 375
J. C. Beck and
A. J. Davenport and
M. S. Fox Five Pitfalls of Empirical Scheduling
Research . . . . . . . . . . . . . . . . 390
S. De Givry and
G. Verfaillie and
T. Schiex Bounding the Optimum of Constraint
Optimization Problems . . . . . . . . . 405
G. Pesant and
M. Gendreau and
J.-M Rousseau GENIUS-CP: A Generic Single-Vehicle
Routing Algorithm . . . . . . . . . . . 420
C. Bettini and
X. Sean Wang and
S. Jajodia Satisfiability of Quantitative Temporal
Constraints with Multiple Granularities 435
S. Crumbach and
G. Kuper Tractable Recursion over Geometric Data 450
C. M. Hoffmann and
A. Lomonosov and
M. Sitharam Finding Solvable Subsets of Constraint
Graphs . . . . . . . . . . . . . . . . . 463
D. Cohen and
P. Jeavons and
M. Koubarakis Tractable Disjunctive Constraints . . . 478
W. Harvey and
P. J. Stuckey and
A. Borning Compiling Constraint Solving Using
Projection . . . . . . . . . . . . . . . 491
J.-M. Labat and
L. Mynard Oscillation, Heuristic Ordering and
Pruning in Neighborhood Search . . . . . 506
C. Schulte Programming Constraint Inference Engines 519
I. Shvetsov and
V. Telerman and
D. Ushakov NeMo+: Object-Oriented Constraint
Programming Environment Based on
Subdefinite Models . . . . . . . . . . . 534
L. Pacholski and
A. Podelski Set Constraints: A Pearl in Research on
Constraints . . . . . . . . . . . . . . 549
A. G. Merten From Conceptual Modeler to University
President . . . . . . . . . . . . . . . 1
V. C. Storey and
H. Ullrich and
S. Sundaresan An Ontology for Database Design
Automation . . . . . . . . . . . . . . . 2
K. D. Schewe Well-behaving Rule Systems for
Entity-Relationship and Object-Oriented
Models . . . . . . . . . . . . . . . . . 14
M. Lloyd-Williams Exploiting Domain Knowledge During the
Automated Design of Object-Oriented
Databases . . . . . . . . . . . . . . . 16
S. Purao and
V. C. Storey Intelligent Support for Retrieval and
Synthesis of Patterns for
Object-Oriented Design . . . . . . . . . 30
I. Petrounias A Conceptual Development Framework for
Temporal Information Systems . . . . . . 43
D. Costal and
A. Olive and
M. R. Sancho Temporal Features of Class Populations
and Attributes in Conceptual Models . . 57
I. A. Goralwalla and
D. Szafron and
M. T. Oezsu and
R. J. Peters Managing Schema Evolution Using a
Temporal Object Model . . . . . . . . . 71
S. Iyengar Distributed Object Repositories:
Concepts and Standards . . . . . . . . . 85
D. Dey and
S. Sarkar Extended SQL Support for Uncertain Data 102
A. C. Bloesch and
T. A. Halpin Conceptual Queries Using ConQuer-II . . 113
L. Baekgaard Transaction-Based Specification of
Database Evolution . . . . . . . . . . . 127
M. Schreft and
M. Stumptner Behavior Consistent Refinement of Object
Life Cycles . . . . . . . . . . . . . . 155
L. Liu and
C. Pu ActivityFlow: Towards Incremental
Specification and Flexible Coordination
of Workflow Activities . . . . . . . . . 169
M. L. Brodie Silver Bullet Shy On Legacy Mountain:
When Neat Technology Just Doesn't Work
--- or --- Miracles To Save The Realm:
Faustian Bargains Or Noble Pursuits . . 183
D. Moody A Multi-level Architecture for
Representing Enterprise Data Models . . 184
J. Sekine and
A. Kitai and
Y. Ooshima and
Y. Oohara Data Model for Customizing DB Schemas
Based on Business Policies . . . . . . . 198
H. Dalianis and
P. Johannesson Explaining Conceptual Models --- An
Architecture and Design Principles . . . 215
T. Hruska and
P. Kolencik Extending an Object-Oriented Model:
Multiple Class Objects . . . . . . . . . 229
V. B. Misic and
S. Moser Formal Approach to Metamodeling: A
Generic Object-Oriented Perspective . . 243
W. W. Chu and
G. Zhang Associations and Roles in
Object-Oriented Modeling . . . . . . . . 257
A. Analyti and
N. Spyratos and
P. Constantopoulos Property Covering: A Powerful Construct
for Schema Derivations . . . . . . . . . 271
M. M. Gammoudi and
J. D. Mendes and
W. S. Pinto Inheritance Graph Hierarchy Construction
Using Rectangular Decomposition of a
Binary Relation and Designer Feedback 285
K. Waiyamai and
R. Taouil and
L. Lakhal Towards an Object Database Approach for
Managing Concept Lattices . . . . . . . 299
C. Batini and
G. Longobardi and
S. Fornasiero An Experience of Integration of
Conceptual Schemas in the Italian Public
Administration . . . . . . . . . . . . . 313
M. Albrecht and
M. Altus and
M. Steeg Application-Oriented Design of Behavior:
A Transformational Approach Using RADD 323
D. Wu and
D. Agrawai and
A. El Abbadi and
A. Singh A Java-Based Framework for Processing
Distributed Objects . . . . . . . . . . 333
E. Malinowski and
S. Chakravarthy Fragmentation Techniques for
Distributing Object-Oriented Databases 347
N. Pissinou and
K. Makki and
M. Hong and
L. Ji An Agent Based Mobile System . . . . . . 361
S. B. Navathe Is the Future of Conceptual Modeling
Bleak or Bright? . . . . . . . . . . . . 375
P. Thompson and
J. W. Sweitzer Successful Practices in Developing a
Complex Information Model . . . . . . . 376
M. L. Lee and
T. W. Ling Resolving Constraint Conflicts in the
Integration of Entity-Relationship
Schemas . . . . . . . . . . . . . . . . 394
P. McBrien and
A. Poulovassilis A Formal Framework for ER Schema
Transformation . . . . . . . . . . . . . 408
U. Hohenstein and
V. Plesser A Generative Approach to Database
Federation . . . . . . . . . . . . . . . 422
L. Yee and
C. Hsu A Virtual Reality Interface to an
Enterprise Metadatabase . . . . . . . . 436
A. N. W. Dahanayake and
H. G. Sol and
J. L. G. Dietz A Fully Flexible CAME in a CASE
Environment . . . . . . . . . . . . . . 450
M. Gong and
L. Scott and
Y. Xiao and
R. Offen A Rapid Development Model for Meta-CASE
Tool Design . . . . . . . . . . . . . . 464
W. Gropp and
E. Lusk Why Are PVM and MPI So Different? . . . 3--10
J. Kitowski and
K. Boryczko and
J. Moscinski Comparison of PVM and MPI Performance in
Short-Range Molecular Dynamics
Simulation . . . . . . . . . . . . . . . 11--16
J. Piernas and
A. Flores and
J. M. Garcia Analyzing the Performance of MPI in a
Cluster of Workstations Based on Fast
Ethernet . . . . . . . . . . . . . . . . 17--24
M. Resch and
H. Berger and
T. Boenisch A Comparison of MPI Performance on
Different MPPs . . . . . . . . . . . . . 25--32
J. L. Roda and
C. Rodriguez and
F. Almeida and
D. Gonzalez-Morales Predicting the Performance of Injection
Communication Patterns on PVM . . . . . 33--40
L. P. Santos and
V. Castro and
A. Proenca Evaluation of the Communication
Performance on a Parallel Processing
System . . . . . . . . . . . . . . . . . 41--48
P. S. Souza and
L. J. Senger and
M. J. Santana and
R. C. Santana Evaluating Personal High Performance
Computing with PVM on Windows and LINUX
Environments . . . . . . . . . . . . . . 49--56
P. W. Uminski and
M. R. Matuszek and
H. Krawczyk Experimental Evaluation of PVM Group
Communication . . . . . . . . . . . . . 57--66
J.-M. Adamo ARCH, An Object Oriented MPI-Based
Library for Asynchronous and Loosely
Synchronous Parallel System Programming 67--74
T. Beisel and
E. Gabriel and
M. Resch An Extension to MPI for Distributed
Computing on MPPs . . . . . . . . . . . 75--82
C. Di Napoli and
M. Giordano and
M. M. Furnari Distributed and Cooperative Applications
in PVM . . . . . . . . . . . . . . . . . 83--90
G. E. Fagg and
J. J. Dongarra and
A. Geist Heterogeneous MPI Application
Interoperation and Process Management
under PVMPI . . . . . . . . . . . . . . 91--98
O. Galibert YLC, A C++ Linda System on Top of PVM 99--106
G. A. Geist Advanced Capabilities in PVM 3.4 . . . . 107--115
G. A. Geist and
J. A. Kohl and
P. M. Papadopoulos and
S. L. Scott Beyond PVM 3.4: What We've Learned,
What's Next, and Why . . . . . . . . . . 116--126
G. J. Hoyos-Rivera and
V. G. Sanchez-Arias Using PVM to Build an Interface to
Support Cooperative Work in a
Distributed Systems Environment . . . . 127--134
S. Mintchev and
V. Getov Towards Portable Message Passing in
Java: Binding MPI . . . . . . . . . . . 135--142
G. Mysliwiec and
J. Sipowicz and
R. Schaefer Control Activities in Message Passing
Environment . . . . . . . . . . . . . . 143--150
P. Theodoropoulos and
P. Tsanakas and
G. Papakonstantinou Global Semaphores in a Parallel
Programming Environment . . . . . . . . 151--158
V. Vlassov and
L.- E. Thorelli A Synchronizing Shared Memory: Model and
Programming Implementation . . . . . . . 159--166
K. Wolf and
E. Brakkee and
D. P. Ho Communication in Multi-Physics
Applications . . . . . . . . . . . . . . 167--176
M. Fischer and
J. Simon Embedding SCI into PVM . . . . . . . . . 177--184
R. Hempel and
H. Ritzdorf and
F. Zimmermann Implementation of MPI on NEC's SX-4
Multi-Node Architecture . . . . . . . . 185--193
B. J. Overeinder and
P. M. A. Sloot Breaking the Curse of Dynamics by Task
Migration: Pilot Experiments in the
Polder Metacomputer . . . . . . . . . . 194--207
J. Rough and
A. Goscinski and
D. De Paoli PVM on the RHODOS Distributed Operating
System . . . . . . . . . . . . . . . . . 208--218
F. J. Alfaro and
J. A. Gallud and
J. L. Sanchez A Function to Dynamic Workload
Allocation in Distributed Applications 219--225
R. Baraglia and
M. Cosso and
D. Laforenza and
M. Nicosia Integrating PVaniM into WAMM for
Monitoring Meta-Applications . . . . . . 226--233
M. Bubak and
W. Funika and
J. Moscinski Evaluation of Parallel Application's
Behavior in Message Passing Environment 234--241
J. Y. Cotronis Message-Passing Program Development by
Ensemble . . . . . . . . . . . . . . . . 242--249
B. Di Martino and
A. Mazzeo and
N. Mazzocca and
U. Villano Interaction Patterns Detection in PVM
Programs to Support Simulation . . . . . 250--256
W. Krotz-Vogel and
H.-C. Hoppe The PALLAS Parallel Programming
Environment . . . . . . . . . . . . . . 257--266
T. Ludwig and
R. Wismueller OMIS 2.0 --- A Universal Interface for
Monitoring Systems . . . . . . . . . . . 267--276
S. Manegold and
F. Waas and
D. Gudlat In Quest of the Bottleneck ---
Monitoring Parallel Database Systems . . 277--284
V. Sunderam and
B. Topol and
S. Moyer and
A. Krantz Tools and Auxiliary Subsystems in PVM 285--294
R. Wismueller Debugging Message Passing Programs Using
Invisible Message Tags . . . . . . . . . 295--304
V. Alexandrov and
K. Chan and
A. Gibbons and
W. Rytter On the PVM/MPI Computations of Dynamic
Programming Recurrences . . . . . . . . 305--312
J. L. Alonso and
H. Schmidt and
V. N. Alexandrov Parallel Branch and Bound Algorithms for
Integer and Mixed Integer Linear
Programming Problems under PVM . . . . . 313--320
R. Blaheta and
O. Jakl and
J. Stary PVM-Implementation of the PCG Method
with Displacement Decomposition . . . . 321--328
R. Ciegis and
R. Sablinskas and
J. Wasniewski Numerical Integration on
Distributed-Memory Parallel Systems . . 329--336
M. Derakhshan and
S. Hammarling and
A. Krommer PINEAPL: A European Project on Parallel
Industrial Numerical Applications and
Portable Libraries . . . . . . . . . . . 337--342
J. J. Dongarra and
F. Desprez and
A. Petitet and
C. Randriamaro Block-Cyclic Array Redistribution on
Networks of Workstations . . . . . . . . 343--350
M. Mazzariol and
B. A. Gennart and
V. Messerli and
R. D. Hersch Performance of CAP-Specified Linear
Algebra Algorithms . . . . . . . . . . . 351--358
G. Mysliwiec and
J. Sipowicz and
H. Burkhart Implementing Parallel SBS-Type Linear
Solvers Using ALWAN . . . . . . . . . . 359--366
M. Peinado and
R. Venkatesan Highly Parallel Cryptographic Attacks 367--374
D. Petcu Implementation of Some Multiprocessor
Algorithms for ODEs Using PVM . . . . . 375--382
M. Soch and
P. Tvrdik and
M. Volf Parallel Graph-Partitioning Using the
Mob Heuristic . . . . . . . . . . . . . 383--389
G. Zilli and
L. Bergamaschi Truncated Block Newton and Quasi-Newton
Methods for Sparse Systems of Nonlinear
Equations. Experiments on Parallel
Platforms . . . . . . . . . . . . . . . 390--400
R. Aversa and
G. Iannello and
N. Mazzocca An MPI Driven Parallelization Strategy
for Different Computing Platforms: A
Case Study . . . . . . . . . . . . . . . 401--408
P. Bala and
T. Clark and
P. Grochowski and
B. Lesyng Parallel Version of a Quantum Classical
Molecular Dynamics Code for Complex
Molecular and Biomolecular Systems . . . 409--416
C. Bendtsen and
Z. Zlatev Running Large-Scale Air Pollution Models
on Message Passing Machines . . . . . . 417--426
G. Bozas and
M. Fleischhauer and
S. Zimmermann PVM Experiences in Developing the MIDAS
Parallel Database System . . . . . . . . 427--434
A. Clematis and
A. Coda and
M. Spagnuolo and
M. Mineter Developing Non-Local Iterative Parallel
Algorithms for GIS on Cray T3D Using MPI 435--442
K. Demuynck and
J. Broeckhove and
F. Arickx Dynamic Optimization of a Distributed VR
System by Network-Balancing . . . . . . 443--450
V. Di Martino and
G. Ruocco Molecular Dynamics on Hybrid Memory
Machines . . . . . . . . . . . . . . . . 451--456
M. Exbrayat and
H. Kosch Offering Parallelism to a Sequential
Database Management System on a Network
of Workstations Using PVM . . . . . . . 457
A. S. Galaktionov and
P. D. Anderson and
G. W. M. Peters Mixing Simulations: Tracking Strongly
Deforming Fluid Volumes in $3$D Flows 463
C. Goumopoulos and
E. Housos and
O. Liljenzin Parallel Crew Scheduling on Workstation
Networks Using PVM . . . . . . . . . . . 470--477
M. Grecki and
G. Jablonski and
A. Napieralski MOPS --- Parallel Environment for
Simulation of Electronic Circuits Using
Physical Models of Semiconductor Devices 478--485
E. Reinhard and
A. Chalmers Message Handling in Parallel Radiance 486--493
R. Roy and
Z. Stankovski Parallelization of Neutron Transport
Solvers . . . . . . . . . . . . . . . . 494--501
E. Garcia Salcines and
G. Cerruela Garcia and
J. I. Benavides Benitez and
F. Muñoz Garcia Parallel Rendering of Radiance on
Distributed Memory System by PVM . . . . 502--507
M. Strietzel Parallel Turbulence Simulation:
Resolving the Inertial Subrange of
Kolmogorov's Spectra . . . . . . . . . . 508--516
R. Merker and
U. Eckhardt and
D. Fimmel and
H. Schreiber A System for Designing Parallel
Processor Arrays . . . . . . . . . . . . 3
C. Schaffer On the Role of Architectures in Systems
Engineering . . . . . . . . . . . . . . 13
M. Sveda An Approach to Safety Critical Systems
Design . . . . . . . . . . . . . . . . . 34
T. Müller-Wipperfürth Extensions and Semantics of Controller
State Diagrams for Practical
Applications . . . . . . . . . . . . . . 50
D. Auer and
H. Dobler and
G. Weishaar Design and Implementation of an Energy
Management System for an Integrated Iron
and Steel Plant . . . . . . . . . . . . 58
A. Anaya and
M. J. Rodriguez and
J. Parets Representation and Management of Memory
and Decision in Evolving Software
Systems . . . . . . . . . . . . . . . . 71
H. Mayr GEM --- A Generic Engineering Framework
for Mechanical Engineering Based Upon
Meta Models . . . . . . . . . . . . . . 83
M. Larnac and
V. Chapurlat and
J. Magnier and
B. Chenot Formal Representation and Proof of the
Interpreted Sequential Machine Model . . 95
U. Glaesser Modelling of Concurrent and Embedded
Systems . . . . . . . . . . . . . . . . 108
A. Cau and
W.-P. De Roever A Dense-Time Temporal Logic with Nice
Compositionality Properties . . . . . . 123
P. Cabalar and
R. P. Otero and
M. Cabarcos and
A. Barreiro Introducing Planning in Discrete Event
Systems . . . . . . . . . . . . . . . . 146
P. Gruenbacher Moving Towards an Agent-Based
Engineering Environment . . . . . . . . 314
L. Preucil and
P. Stepan Experiencing Modeling and Development of
an Intelligent Autonomous Robot . . . . 324
R. Probst and
P. Kopacek Latest Developments in Robotics . . . . 345
R. Moreno-Diaz and
J. Mira Mira Architectures for Complex Behaviour
Inspired in the Nervous System . . . . . 353
J. P. Neto and
H. T. Siegelmann and
J. F. Costa and
C. P. Suarez Araujo Turing Universality of Neural Nets
(Revisited) . . . . . . . . . . . . . . 361
W. Jacak and
S. Dreiseitl Lifelong Learning Approach to
Intelligent Agents Modeling . . . . . . 367
V. Marik and
O. Stepankova and
J. Lazansky Role of Qualitative Reasoning in a
Multi-Agent System . . . . . . . . . . . 380
L. Lhotska Learning in Multi-Agent Systems:
Theoretical Issues . . . . . . . . . . . 394
M. Aleman-Flores and
K. N. Leibovic and
R. Moreno-Diaz A Computational Model for Visual Size,
Location and Movement . . . . . . . . . 406
Z. Bubnicki Logic-Algebraic Method for a Class of
Knowledge Based Systems . . . . . . . . 420
J. Scharaenger Image Compression by Multilevel
Polynomial Interpolation and Wavelet
Texture Coding . . . . . . . . . . . . . 431
L. Alvarez and
J. Esclarin and
E. Gonzalez and
L. Mazorra Image Enhancement Using and Optimum
Quantizer . . . . . . . . . . . . . . . 444
A. Nueckel and
A. Klappenecker On the Parametrization of Algebraic
Discrete Fourier Transforms . . . . . . 453
M. Burge and
W. Burger Learning Visual Ideals . . . . . . . . . 464
P. Medina-Rodriguez and
E. Fernandez-Garcia Multiple Representation of Complex
Intensity Changes for Image Segmentation 473
J. Santos and
R. J. Duro Design of ANN Architectures for Handling
the Temporal Dimension in Signal
Processing . . . . . . . . . . . . . . . 486
V. M. Gulias and
J. S. Jorge and
J. J. Quintela and
J. L. Freire From Sequential to Distributed Formal
Proofs . . . . . . . . . . . . . . . . . 501
J. A. Vila and
J. Presedo and
M. F. Delgado and
R. Iglesias Improvement in the Computational
Efficiency in the Analysis of Signals by
way of Adaptive Time Frequency
Distributions . . . . . . . . . . . . . 514
M. Mauerkirchner Event Based Simulation of Software
Development Project Planning . . . . . . 527
M. Tanabu and
J.-I. Iijima and
N. Shiba Application of Intelligent Worldwide DSS
to Optimization Problems . . . . . . . . 541
W. Jacak and
G. Jahn and
J. Rozenblit System Theoretical Approach to Control
and Synchronization of Teleeducation in
Open Distributed Environment . . . . . . 549
W. Czarczynski and
R. Klempous and
J. Nikodem Multilevel Approach to Traffic Control
System . . . . . . . . . . . . . . . . . 561
J. Kueng and
R. Wagner and
W. Woess A Comparison of 4-GL Development Tools
in the Area of Metadata and Dynamic User
Interfaces . . . . . . . . . . . . . . . 567
D. Schuett and
F. Pichler and
J. Scharinger Cryptographic Permutations Based on BOOT
Decompositions of Walsh Matrices . . . . 580
M. Ceska and
V. Janousek and
T. Vojnar PNtalk --- a Computerized Tool for
Object Oriented Petri Nets Modelling . . 591
C. Schaffer and
J. Zeindl System Level Design of Microcontroller
Applications . . . . . . . . . . . . . . 611
M. Bellare and
P. Rogaway Minimizing the use of random oracles in
authenticated encryption schemes . . . . 1
G. Di Crescenzo and
K. Sakurai and
M. Yung Zero-knowledge proofs of decision power:
new protocols and optimal
round-complexity . . . . . . . . . . . . 17
T. Koshiba Computational learning theoretic
cryptanalysis of language theoretic
cryptosystems . . . . . . . . . . . . . 28
Y. Bai and
V. Varadharajan A language for specifying sequences of
authorization transformations and its
applications . . . . . . . . . . . . . . 39
H.-M. Sun and
B.-L. Chen On the decomposition constructions for
perfect secret sharing schemes . . . . . 50
I. Biehl and
S. Wetzel Traceable visual cryptography . . . . . 61
H. Ghodosi and
J. Pieprzyk and
R. Safavi-Naini Remarks on the multiple assignment
secret sharing scheme . . . . . . . . . 72
C. Charnes and
K. Martin and
J. Pieprzyk and
R. Safavi-Naini Secret sharing in hierarchical groups 81
T. Aura and
P. Nikander Stateless connections . . . . . . . . . 87
R. Choi and
J. Na and
K. Lee and
E. Kim Design of a security platform for CORBA
based application . . . . . . . . . . . 98
A. Lioy and
F. Maino and
M. Mezzalama Secure document management and
distribution in an open network
environment . . . . . . . . . . . . . . 109
S. Obana and
K. Kurosawa A02 --- code = Affine resolvable + BIBD 118
K. M. Martin and
R. Safavi-Naini Multisender authentication systems with
unconditional security . . . . . . . . . 130
K. Hayashi and
E. Okamoto and
M. Mambo Proposal of user identification scheme
using mouse . . . . . . . . . . . . . . 144
W. Millan and
A. Ckark and
E. Dawson An effective genetic algorithm for
finding highly nonlinear Boolean
Functions . . . . . . . . . . . . . . . 149
X.-M. Zhang and
Y. Zheng and
H. Imai Duality of Boolean functions and its
cryptographic significance . . . . . . . 159
E. Dawson and
C.-K Wu Construction of correlation immune
Boolean functions . . . . . . . . . . . 170
M. J. Mihaljevic An improved key stream generator based
on the programmable cellular automata 181
A. Joesang A Trust policy framework . . . . . . . . 192
L. Chang and
I. S. Moskowitz Critical analysis of security in voice
hiding techniques . . . . . . . . . . . 203
Sangjoon Park and
Sangwoo Park and
Kwangjo Kim and
Dongho Won Two efficient RSA multisignature schemes 217--222
S. Kim and
S. Park and
D. Won Proxy signatures, Revisited . . . . . . 223
J. Kelsey and
B. Schneier and
D. Wagner Related-key cryptanalysis of $3$-WAY,
Biham-DES, CAST, DES-X NewDES, RC2, and
TEA . . . . . . . . . . . . . . . . . . 233--246
F. Zhu and
B.-A. Guo A multiplication-addition structure
against differential attack . . . . . . 247
Y. Kaneko and
S. Moriai and
K. Ohta On strict estimation method of provable
security against differential . . . . . 258
T. Shimoyama and
S. Amada and
S. Moriai Improved fast software implementation of
block ciphers . . . . . . . . . . . . . 269
M. M. Alabbadi Security comments on the Hwang--Chen
algebraic-code cryptosystem . . . . . . 274
A. Miyaji and
T. Ono and
H. Cohen Efficient elliptic curve exponentiation 282
J. Chao and
N. Matsuda and
S. Tsujii Efficient construction of secure
hyperelliptic discrete logarithm
problems . . . . . . . . . . . . . . . . 292
D. Bleichenbacher and
M. Joye and
J.-J. Quisquater A new and optimal chosen-message attack
on RSA-type cryptosystems . . . . . . . 302
Y. Sakai and
K. Sakurai and
I. Ishizuka On weak RSA-keys produced from Pretty
Good Privacy . . . . . . . . . . . . . . 314
K. Kobara and
H. Imai Self-synchronized message randomization
methods for subliminal channels . . . . 325
M. Chapman and
D. Davida Hiding the Hidden: A software system for
concealing ciphertext as innocuous text 335
C. Boyd Digital signature and public key
cryptosystem in a prime order subgroup
of Zn0* . . . . . . . . . . . . . . . . 346
J. Patarin and
L. Goubin Trapdoor one-way permutations and
multivariate polynomials . . . . . . . . 356
J. Patarin and
L. Goubin Asymmetric cryptography with S-Boxes . . 369
P. Camion and
H. Chabanne On the powerline system . . . . . . . . 381
J. Traore Making unfair a ``fair'' blind signature
scheme . . . . . . . . . . . . . . . . . 386
C. Boyd Enforcing traceability in software . . . 398
W. Mao Publicly verifiable partial key escrow 409
H. Watanabe and
T. Kasami A secure code for recipient watermarking
against conspiracy attacks by all users 414
J. W. Gray and
K. F. Epsilon Protocols for issuing public-key
certificates over the Internet . . . . . 424
A. Postma and
T. Krol and
E. Molenkamp Distributed cryptographic function
application protocols . . . . . . . . . 435
W. Ogata and
K. Kurosawa and
K. Sako and
K. Takatani Fault tolerant anonymous channel . . . . 440
J. D. Ferrer and
R. X. Sanchez del Castillo An implementable scheme for secure
delegation of computing and data . . . . 445
J. Van der Merwe and
S. H. Von Solms Electronic commerce with secure
intelligent trade agent . . . . . . . . 452
H. Peterson and
G. Poupard Efficient scalable fair cash with
off-line extortion prevention . . . . . 463
L. Chen and
C. J. Mitchell An anonymous and undeniable payment
scheme . . . . . . . . . . . . . . . . . 478
D. P. Williamson Gadgets, Approximation, and Linear
Programming: Improving Hardness Results
for Cut and Satisfiability Problems . . 1
P. Alimonti Non-Oblivious Local Search for MAX
$2$-CCSP with Application to MAX DICUT 2
H. Alt and
U. Fuchs and
K. Kriegel On the Number of Simple Cycles in Planar
Graphs . . . . . . . . . . . . . . . . . 15
L. Babel and
S. Olariu On the Separable-Homogeneous
Decomposition of Graphs . . . . . . . . 25
L. Babel and
G. J. Woeginger Pseudo-Hamiltonian Graphs . . . . . . . 38
J.-C. Bermond and
M. Di Ianni and
M. Flammini and
S. Perennes Acyclic Orientations for Deadlock
Prevention in Interconnection Networks 52
K. Bertet and
J. Gustedt and
M. Morvan Weak-Order Extensions of an Order . . . 65
A. Bertoni and
P. Campadelli and
R. Posenato An Upper Bound for the Maximum Cut Mean
Value . . . . . . . . . . . . . . . . . 78
U. Brandes and
D. Handke NP-Completeness Results for Minimum
Planar Spanners . . . . . . . . . . . . 85
S. Brandt Computing the Independence Number of
Dense Triangle-Free Graphs . . . . . . . 100
H. J. Broersma and
E. Dahlhaus and
T. Kloks Algorithms for the Treewidth and Minimum
Fill-In of HHD-Free Graphs . . . . . . . 109
E. Dahlhaus Minimal Elimination Ordering Inside a
Given Chordal Graph . . . . . . . . . . 132
F. D'Amore and
F. Iacobini On-Line Algorithms for Networks of
Temporal Constraints . . . . . . . . . . 144
B. De Fluiter and
H. L. Bodlaender Parallel Algorithms for Treewidth Two 157
Y. Dinitz and
M. Feighelstein and
S. Zaks On Optimal Graphs Embedded into Paths
and Rings, with Analysis Using
l1-Spheres . . . . . . . . . . . . . . . 171
F. F. Dragan On Greedy Matching Ordering and Greedy
Matchable Graphs . . . . . . . . . . . . 184
T. Erlebach and
K. Jansen Off-Line and On-Line Call-Scheduling in
Stars and Trees . . . . . . . . . . . . 199
P. Hlineny and
J. Kratochvil Computational Complexity of the Krausz
Dimension of Graphs . . . . . . . . . . 214
T. Kloks and
D. Kratsch and
H. Mueller Asteroidal Sets in Graphs . . . . . . . 229
J. Kratochvil and
A. Proskurowski and
J. A. Telle Complexity of Colored Graph Covers I.
Colored Directed Multigraphs . . . . . . 242
M. Mosbah and
N. Saheb A Syntactic Approach to Random Walks on
Graphs . . . . . . . . . . . . . . . . . 258
E. Prisner Bicliques in Graphs II: Recognizing
$k$-Path Graphs and Underlying Graphs of
Line Digraphs . . . . . . . . . . . . . 273
M. Sampels Large Networks with Small Diameter . . . 288
K. Skodinis The Bounded Tree-Width Problem of
Context-Free Graph Languages . . . . . . 303
M. Thorup Structured Programs Have Small
Tree-Width and Good Register Allocation 318
R. Uehara A Measure of Parallelization for the
Lexicographically First Maximal Subgraph
Problems . . . . . . . . . . . . . . . . 333
T. Vos and
D. Swierstra Make Your Enemies Transparent . . . . . 342
K. Wada and
W. Chen and
Y. Luo and
K. Kawaguchi Optimal Fault-Tolerant ATM-Routings for
Biconnected Graphs . . . . . . . . . . . 354
B. A. Marsolf and
A. J. C. Bik and
K. A. Gallivan and
H. A. G. Wijshoff The Generation of Optimized Codes Using
Nonzero Structure Analysis . . . . . . . 1
G. R. Gao and
V. Sarkar On the Importance of an End-To-End View
of Memory Consistency in Future Computer
Systems . . . . . . . . . . . . . . . . 30
D. Gannon High Performance Distributed Object
Systems . . . . . . . . . . . . . . . . 42
A. V. Veidenbaum Instruction Cache Prefetching Using
Multilevel Branch Prediction . . . . . . 51
G. Cybenko High Performance Wireless Computing . . 71
H. R. Arabnia High-Performance Computing and
Applications in Image Processing and
Computer Vision . . . . . . . . . . . . 72
T. Watanabe Present and Future of HPC Technologies 73
R. J. Eickemeyer and
R. E. Johnson and
S. R. Kunkel and
B. H. Lim Evaluation of Multithreaded Processors
and Thread-Switch Policies . . . . . . . 75
P. Kacsuk and
M. Amamiya A Multithreaded Implementation Concept
of Prolog on Datarol-II Machine . . . . 91
S. Evripidou Thread Synchronization Unit (TSU): A
Building Block for High Performance
Computers . . . . . . . . . . . . . . . 107
T. Sato Data Dependence Path Reduction with
Tunneling Load Instructions . . . . . . 119
N. Imlig and
A. Tsutui Performance Estimation of Embedded
Software with Pipeline and Cache Hazard
Modeling . . . . . . . . . . . . . . . . 131
H. Nakajo and
A. Ichikawa and
Y. Kaneda An Implementation and Evaluation of a
Distributed Shared-Memory System on
Workstation Clusters Using Fast Serial
Links . . . . . . . . . . . . . . . . . 143
J. Ma and
R. Huang and
E. Tsuboi Designing and Optimizing
$3$-connectivity Communication Networks
Using a Distributed Genetic Algorithm 159
A. Funahashi and
T. Hanawa and
H. Amano and
T. Kudoh Adaptive Routing on the Recursive
Diagonal Torus . . . . . . . . . . . . . 171
C. J. Brownhill and
A. Nicolau and
S. Novack and
C. D. Polychronopoulos Achieving Multi-level Parallelization 183
A. Kubota and
S. Tatsumi and
T. Tanaka and
M. Goshima A Technique to Eliminate Redundant
Inter-Processor Communication on
Parallelizing Compiler TINPAR . . . . . 195
T. Uehara and
Y. Kunieda and
T. Tsuda An Automatic Vectorizing/Parallelizing
Pascal Compiler V-Pascal V.3 . . . . . . 205
K. Ishizaki and
H. Komatsu and
T. Nakatani An Algorithm for Automatic Detection of
Loop Indices for Communication
Overlapping . . . . . . . . . . . . . . 217
M. Sasakura and
K. Joe and
K. Araki Nara View: An Interactive $3$D
Visualization System for Parallelization
of Programs . . . . . . . . . . . . . . 231
K. Inenaga and
S. Kusakabe and
T. Morimoto and
M. Amamiya Hybrid Approach for Non-strict Dataflow
Program on Commodity Machine . . . . . . 243
Y. Nobukuni and
T. Matsumoto and
K. Hiraki Resource Management Methods for General
Purpose Massively Parallel OS SSS-Core 255
N. Uchihira and
H. Kawata and
F. Tamura Scenario-Based Hypersequential
Programming: Formulation of
Parallelization . . . . . . . . . . . . 267
Y. Akiyama and
M. Saito and
T. Noguchi and
K. Onizuka Parallelization of Space Plasma Particle
Simulation . . . . . . . . . . . . . . . 281
E. De Sturler and
D. Loher Implementing Iterative Solvers for
Irregular Sparse Matrix Problems in High
Performance Fortran . . . . . . . . . . 293
L. Mutenda and
M. Hiyama and
T. Yoshinaga and
T. Baba Parallel Navigation in an A-NETL Based
Parallel OODBMS . . . . . . . . . . . . 305
N. Shimizu and
T. Watanabe High Performance Parallel FFT on
Distributed Memory Parallel Computers 317
T. Tooyama and
S. Horiguchi Parallel Computation Model LogPQ . . . . 327
T. Nanri and
H. Sato and
M. Shimasaki Cost Estimation of Coherence Protocols
of Software Managed Cache on Distributed
Shared Memory System . . . . . . . . . . 335
H. Sato and
T. Nanri and
M. Shimasaki A Portable Distributed Shared Memory
System on the Cluster Environment:
Design and Implementation Fully in
Software . . . . . . . . . . . . . . . . 343
Y. Omori and
A. Fukuda and
K. Joe An Object-Oriented Framework for Loop
Parallelization . . . . . . . . . . . . 351
T. Ogasawara and
H. Komatsu A Method for Runtime Recognition of
Collective Communication on
Distributed-Memory Multiprocessors . . . 361
K. Nishi and
J. Cheng and
K. Ushijima Improving the Performance of Automated
Forward Deduction System EnCal . . . . . 371
H. Mizuseki and
K. Esfarjani and
Z.-Q. Li and
K. Ohno Efficiency of Parallel Machine for
Large-Scale Simulation in Computational
Physics . . . . . . . . . . . . . . . . 381
K. Onizuka and
T. Noguchi and
M. Saito and
Y. Akiyama Parallel PDB Data Retriever ``PDB Diving
Booster'' . . . . . . . . . . . . . . . 389
A. I. Cristea and
T. Okamoto A Parallelization Method for Neural
Networks with Weak Connection Design . . 397
J. Torresen and
O. Landsverk and
S. Mori and
H. Nakashima Exploiting Parallel Computers to Reduce
Neural Network Training Time of Real
Applications . . . . . . . . . . . . . . 405
F. L. Bauer The Might of Formulas and Their Limits 1
Heinz Zemanek Hardware --- Software: An Equivalence
and a Contradiction . . . . . . . . . . 9
Wolfgang Coy Defining Discipline . . . . . . . . . . 21
Dirk Siefkes Computer Science as Cultural Development
--- Toward a Broader Theory . . . . . . 37
Jozef Gruska and
Roland Vollmar Towards Adjusting Informatics Education
to Information Era . . . . . . . . . . . 49
Herbert Klaeren and
Christiane Floyd and
Friedrich Diestelmeier Informatics and Society: A Curriculum
for Distance Education . . . . . . . . . 69
Alexandru Mateescu and
Grzegorz Rozenberg and
Arto Salomaa Syntactic and Semantic Aspects of
Parallelism . . . . . . . . . . . . . . 79
Ingbert Kupka Unique Fixpoints in Complete Lattices
with Applications to Formal Languages
and Semantics . . . . . . . . . . . . . 107
Georg Karner and
Werner Kuich On Abstract Families of Languages, Power
Series, and Elements . . . . . . . . . . 117
Klaus-Jörn Lange Are There Formal Languages Complete for
SymSPACE$ (\log n) $? . . . . . . . . . 125
Matthias Jantzen On Twist-Closed Trios: A New Morphic
Characterization of r.e. Sets . . . . . 135
Javier Esparza and
Peter Rossmanith An Automata Approach to Some Problems on
Context-Free Grammars . . . . . . . . . 143
Karel Culik and
Jarkko Kari On Aperiodic Sets of Wang Tiles . . . . 153
Birgit Jenner Closure under Complementation of
Logspace Complexity Classes --- A Survey 163
Bernd Kirsig A Relation Between Sparse and Printable
Sets in NSPACE$ (\log n) $ . . . . . . . 177
Klaus Weihrauch A Foundation for Computable Analysis . . 185
Jürgen Schmidhuber A Computer Scientist's View of Life, the
Universe, and Everything . . . . . . . . 201
Manfred Kudlek Calendars and Chronologies . . . . . . . 209
Hartmut Ehrig and
Julia Padberg A Uniform Approach to Petri Nets . . . . 219
Astrid Kiehn Observing Partial Order Runs of Petri
Nets . . . . . . . . . . . . . . . . . . 233
José Meseguer and
Ugo Montanari and
Vladimir Sassone Representation Theorems for Petri Nets 239
Volker Diekert A Remark on Trace Equations . . . . . . 251--260
Ekkart Kindler and
Wolfgang Reisig Verification of Distributed Algorithms
with Algebraic Petri Nets . . . . . . . 261
Walter Vogler A Short Story on Action Refinement . . . 271
Manfred Broy Interactive and Reactive Systems:
States, Observations, Experiments,
Input, Output, Nondeterminism,
Compositionality, and all That . . . . . 279
Hans Daduna Discrete Time Analysis of a State
Dependent Tandem with Different Customer
Types . . . . . . . . . . . . . . . . . 287
Jörg Desel How Distributed Algorithms Play the
Token Game . . . . . . . . . . . . . . . 297
Rolf Walter The Asynchronous Stack Revisited: Rounds
Set the Twilight Reeling . . . . . . . . 307
B. Monien and
P. Berenbrink and
R. Lüling and
M. Riedel Online Scheduling of Continuous Media
Streams . . . . . . . . . . . . . . . . 313
Hans Langmaack Contribution to Goodenough's and
Gerhart's theory of software testing and
verification: relation between strong
compiler test and compiler
implementation verification . . . . . . 321
Günter Hotz and
Hongzhong Wu On the Arrangement Complexity of Uniform
Trees . . . . . . . . . . . . . . . . . 337
Harold Boley A Relational-Functional Integration for
Declarative Programming . . . . . . . . 351
Siegfried Kanngießer Inside and Outside the Chinese Room . . 359
Christopher Habel and
Carola Eschenbach Abstract Structures in Spatial Cognition 369
Christian Freksa Spatial and Temporal Structures in
Cognitive Processes . . . . . . . . . . 379
Daniel Hernándes Qualitative vs. Fuzzy Representations of
Spatial Distance . . . . . . . . . . . . 389
D. Hernandez Qualitative vs. fuzzy representations of
spatial distance . . . . . . . . . . . . 389
Simone Pribbenow What's a Part? --- On Formalizing
Part-Whole Relations . . . . . . . . . . 399
Claus R. Rollinger SPOCK: A Feasibility Study on the
Completeness of Parts Lists . . . . . . 407
Kerstin Schill Decision Support Systems with Adaptive
Reasoning Strategies . . . . . . . . . . 417
Katharina Morik Knowledge Discovery in Databases --- An
Inductive Logic Programming Approach . . 429
Kurt Ammon The Composition Heuristic . . . . . . . 437
Gerhard Weiß The Job Assignment Problem: A Study in
Parallel and Distributed Machine
Learning . . . . . . . . . . . . . . . . 445
Mohamed Salah Hamdi and
Karl Kaiser Self-Improving Behavior Arbitration . . 455
Margit Sturm Neural Networks for Manipulator Path
Planning . . . . . . . . . . . . . . . . 465
Martin Eldracher and
Thomas Pic Path Planning Using a Subgoal Graph . . 473
Christian Schittenkopf and
Gustavo Deco A Nonlinear Markovian Characterization
of Time Series Using Neural Networks . . 481
Gabriele Scheler Feature-Based Perception of Semantic
Concepts . . . . . . . . . . . . . . . . 489
Gerda Ruge Automatic Detection of Thesaurus
Relations for Information Retrieval
Applications . . . . . . . . . . . . . . 499
Leo Pfefferer and
Dieter Schütt InfoSphere\TM-V: A New Approach to
$3$D-Visualization of Information . . . 507
R. Feldmann Computer Chess: Algorithms and
Heuristics for a Deep Look into the
Future . . . . . . . . . . . . . . . . . 1
M. Van Kreveld Algorithms for Triangulated Terrains . . 19
K.-J Lange On the Distributed Realization of
Parallel Algorithms . . . . . . . . . . 37
J. A. Makowsky and
E. V. Ravve The Fundamental Problem of Database
Design . . . . . . . . . . . . . . . . . 53
J. Nesetril and
D. Turzik Solving and Approximating Combinatorial
Optimization Problems (Towards MAX CUT
and TSP) . . . . . . . . . . . . . . . . 70
P. Orponen The Computational Power of Continuous
Time Neural Networks . . . . . . . . . . 86
K. Weihrauch A Foundation for Computable Analysis . . 104
J. Wiedermann Towards Machines That Can Think . . . . 122
H. Wozniakowski Computational Complexity of Continuous
Problems . . . . . . . . . . . . . . . . 142
S. Zaks Path Layout in ATM Networks . . . . . . 144
S. Covaci and
T. Magedanz The Mobile Agent Technology . . . . . . 161
D. A. Duce Theory and Practice in Interactionally
Rich Distributed Systems . . . . . . . . 163
V. Issarny Configuration-Based Programming Systems 183
P. K. Muthukrishnan and
B. R. Bryant Automatic Generation of Parallelizing
Compilers for Object-Oriented
Programming Languages from Denotational
Semantics Specifications . . . . . . . . 201
D. Bjoerner A Formal Software Engineering Paradigm:
From Domains via Requirements to
Software --- Formal Specification and
Design Calculi . . . . . . . . . . . . . 219
A. Kuntzmann-Combelles The Whole Picture to Software Process
Improvement . . . . . . . . . . . . . . 249
W. Pree Object-Oriented Design Patterns . . . . 266
K. R. Dittrich and
A. Geppert Object-Oriented DBMS and Beyond . . . . 275
M. E. Orlowska and
H. Li and
C. Liu On Integration of Relational and
Object-Oriented Database Systems . . . . 295
M. H. Williams and
N. W. Paton From OO Through Deduction to Active
Databases --- ROCK, ROLL and RAP . . . . 313
J. Zara An Introduction to Virtual Reality
Modeling Language . . . . . . . . . . . 331
J. Zlatuska Stepping Stones to an Information
Society . . . . . . . . . . . . . . . . 349
L. Becchetti and
C. Gaibisso Lower Bounds for the Virtual Path Layout
Problem in ATM Networks . . . . . . . . 375
B. Dai and
D. A. Bell and
J. G. Hughes Query Processing in Temporal Evidential
Databases . . . . . . . . . . . . . . . 383
C. De Castro A First Approach to Temporal Predicate
Locking for Concurrency Detection in
Temporal Relational Databases Supporting
Schema Versioning . . . . . . . . . . . 391
C. Gaibisso and
G. Proietti Efficient Insertion of Approximately
Sorted Sequences of Items into a
Dictionary . . . . . . . . . . . . . . . 399
P. Galdamez and
F. D. Muñoz-Escoi and
J. M. Bernabeu-Auban High Availability Support in CORBA
Environments . . . . . . . . . . . . . . 407
V. Glasnak On $f$-Sparse Sets in NP--P . . . . . . 415
M. Hof and
H. Moessenboeck and
P. Pirkelbauer Zero-Overhead Exception Handling Using
Metaprogramming . . . . . . . . . . . . 423
J. Janousek and
B. Melichar The Output-Store Formal Translator
Directed by LR Parsing . . . . . . . . . 432
J. Kadlec Parallel Processing on Alphas Under
MATLAB 5 . . . . . . . . . . . . . . . . 440--447
P. Kolman PRAM Lower Bound for Element
Distinctness Revisited . . . . . . . . . 448
I. Kopecek Optimal Trees for Searching in Codebook 456
R. Kralovic Time Optimal Self-Stabilizing Algorithms 464
P. Kroha and
M. Strauss Requirements Specification Iteratively
Combined with Reverse Engineering . . . 473
A. Kucera On Finite Representations of
Infinite-State Behaviours . . . . . . . 481
S. Lucas Efficient Strong Sequentiality Using
Replacement Restrictions . . . . . . . . 489
M. Marchiori Optimal Encodings . . . . . . . . . . . 497
F. Mraz and
M. Platek and
P. Jancar and
J. Vogel Monotonic Rewriting Automata with a
Restart Operation . . . . . . . . . . . 505
S.-H. Nienhuys-Cheng and
A. De Bruin Kahn's Fixed-Point Characterization for
Linear Dynamic Networks . . . . . . . . 513
K. Pala and
P. Rychly and
P. Smrz DESAM --- Annotated Corpus for Czech . . 523
Y. Peter Mobility Management in CORBA: A Generic
Implementation of the LifeCycle Service 531
W. Pijls and
A. De Bruin A Theory of Game Trees, Based on
Solution Trees . . . . . . . . . . . . . 539
H. Schroeder and
A. E. May and
I. Vrt'o and
O. Sykora Approximation Algorithms for the Vertex
Bipartization Problem . . . . . . . . . 547
H. Schroeder and
O. Sykora and
I. Vrt'o Optical All-to-All Communication for
Some Product Graphs . . . . . . . . . . 555
D. Strupl and
R. Neruda Parallelizing Self-Organizing Maps . . . 563
G. Dimauro and
S. Impedovo and
G. Pirlo and
A. Salzo Handwriting Recognition: State of the
Art and Future Trends . . . . . . . . . 1
C. Y. Suen and
Z. C. Li Crucial Combinations for the Recognition
of Handwritten Letters . . . . . . . . . 19
A. Amin Recognition of Printed and Handwritten
Arabic Characters . . . . . . . . . . . 40
A. El-Yacoubi and
M. Gilloux and
R. Sabourin and
C. Y. Suen Objective Evaluation of the Discriminant
Power of Features in an HMM-based Word
Recognition System . . . . . . . . . . . 60
W. Guerfali and
R. Plamondon Effect of Variability on Letters
Generation with the Vectorial
Delta-Lognormal Model . . . . . . . . . 74
R. Sabourin Off-Line Signature Verification: Recent
Advances and Perspectives . . . . . . . 84
R. Kasturi and
H. Luo Research Advances in Graphics
Recognition: An Update . . . . . . . . . 99
A. Belaid Future Trends in Retrospective Document
Conversion . . . . . . . . . . . . . . . 111
G. Borgefors and
G. Ramella and
G. Sanniti di Baja A. Low Level Processing Using Binary
Pyramids to Create Multi-resolution
Shape Descriptors . . . . . . . . . . . 129
M. Frucci and
A. Marcelli Contour Pixel Classification for
Character Skeletonization . . . . . . . 141
A. Belaid and
Y. Chenevoy Constraint Propagation vs. Syntactical
Analysis for the Logical Structure
Recognition of Library References . . . 153
S. Tayeb-Bey and
A. S. Saidi Grammatical Formalism for Document
Understanding System: From Documents
towards HTML Text . . . . . . . . . . . 165
S. Diana and
E. Trupin and
Y. Lecourtier and
J. Labiche Document Modeling for Form Class
Identification . . . . . . . . . . . . . 176
L. Duffy and
F. Lebourgeois and
H. Emptoz Composite Document Analysis by Means of
Typographic Characteristics . . . . . . 188
J. Sauvola and
H. Kauniskangas and
D. Doermann and
M. Pietikaeinen Techniques for the Automated Testing of
Document Analysis Algorithms . . . . . . 201
J. Sauvola and
H. Kauniskangas and
D. Doermann and
C. Shin Graphical Tools and Techniques for
Querying Document Image Databases . . . 213
N. Rodrigues Gomes and
L. L. Lee Handwritten Numeral Recognition via
Fuzzy Logic and Local Discriminating
Features . . . . . . . . . . . . . . . . 225
A. Leroy Unsupervised Learning of Character
Prototypes . . . . . . . . . . . . . . . 237
Z. Wimmer and
S. Garcia-Salicetli and
B. Dorizzi and
P. Gallinari Off-Line Cursive Word Recognition with a
Hybrid Neural-HMM System . . . . . . . . 249
C. Simon and
E. Levrat and
R. Sabourin and
J. Bremont A Fuzzy Perception for Off-Line
Handwritten Signature Verification . . . 261
R. Martens and
L. Claesen An Evaluation of Different Handwriting
Observation Techniques from a Signature
Verification Point of View . . . . . . . 273
C. De Oliveira and
C. A. Kaestner and
F. Bortolozzi and
R. Sabourin Generation of Signatures by Deformations 283
M. Yoshimura and
I. Yoshimura An Application of the Sequential Dynamic
Programming Matching Method to Off-Line
Signature Verification . . . . . . . . . 299
T. W. Rauber and
V. B. De Souza and
S. Rossetto A System for Automatic Form Reading . . 311
A. L. Koerich and
L. L. Lee Automatic Extraction of Filled-in
Information from Bankchecks Based on
Prior Knowledge about Layout Structure 322
J. E. B. Santos and
F. Bortolozzi and
R. Sabourin A Simple Methodology to Bankcheck
Segmentation . . . . . . . . . . . . . . 334
J. Nievergelt Introduction to Geometric Computing:
From Algorithms to Software . . . . . . 1
C. M. Gold and
P. R. Remmele and
T. Roos Voronoi Methods in GIS . . . . . . . . . 21
M. Van Kreveld Digital Elevation Models and TIN
Algorithms . . . . . . . . . . . . . . . 37
M. De Berg Visualization of TINs . . . . . . . . . 79
R. Weibel Generalization of Spatial Data:
Principles and Selected Algorithms . . . 99
J. Nievergelt and
P. Widmayer Spatial Data Structures: Concepts and
Design Choices . . . . . . . . . . . . . 153
E. Bugnion and
T. Roos and
R. Wattenhofer and
P. Widmayer Space Filling Curves versus Random Walks 199
L. Arge External-Memory Algorithms with
Applications in GIS . . . . . . . . . . 213
S. Schirra Precision and Robustness in Geometric
Computations . . . . . . . . . . . . . . 255--287
H. J. Ohlbach Efficient Data Structures for Deduction
Systems . . . . . . . . . . . . . . . . 1
P. A. Flach Inductive Logic Databases: From
Extensional to Intensional Knowledge . . 3
S. Ceri and
P. Fraternali and
S. Paraboschi and
G. Psaila Sharing Software Tools on the Web: The
IDEA Web Lab . . . . . . . . . . . . . . 4
G. Vossen Transactional Workflows . . . . . . . . 20
C. Baral and
J. Lobo From Action Theories to Updates,
Transactions, Triggers and Agents . . . 26
S. Chaudhuri and
U. Dayal Data Warehousing and OLAP for Decision
Support . . . . . . . . . . . . . . . . 33
G. Dong and
K. Ramamohanarao Maintaining Constrained Transitive
Closure by Conjunctive Queries . . . . . 35
D. Gluche and
T. Grust and
C. Mainberger and
M. H. Scholl Incremental Updates for Materialized OQL
Views . . . . . . . . . . . . . . . . . 52
H. Shu View Maintenance Using Conditional
Tables . . . . . . . . . . . . . . . . . 67
A. Borgida and
G. Weddell Adding Uniqueness Constraints to
Description Logics . . . . . . . . . . . 85
D. Toman A Point-Based Temporal Extension of SQL 103
I. S. Mumick and
K. A. Ross Attribute-Oriented View Definitions in
Relational and Deductive Databases . . . 122
M. Mahoui-Guerni Exploiting Semantic of Typed Objects
Under an Optimistic Control in the
Transactional Deferred Update Model: A
Promising Approach . . . . . . . . . . . 140
D. Theodoratos Logical Updating of Object Class
Structures . . . . . . . . . . . . . . . 158
D. Costal and
E. Teniente and
T. Urpi An Approach to Obtain Intensional
Translations for Consistent View
Updating . . . . . . . . . . . . . . . . 175
E. Bertino and
G. Guerrini and
I. Merlo Trigger Inheritance and Overriding in
Active Object Database Systems . . . . . 193
A. Sundermier and
T. Ben Abdellatif and
S. W. Dietrich and
S. D. Urban Object Deltas in an Active Database
Development Environment . . . . . . . . 211
S.-E. Lautemann and
P. Eigner and
C. Woehrle The COAST Project: Design and
Implementation . . . . . . . . . . . . . 229
C. Baral and
J. Lobo and
G. Trajcevski Formal Characterizations of Active
Databases: Part II . . . . . . . . . . . 247
C. Zaniolo The Nonmonotonic Semantics of Active
Rules in Deductive Databases . . . . . . 265
F. Giannotti and
G. Manco and
M. Nanni and
D. Pedreschi Datalog++: A Basis for Active
Object-Oriented Databases . . . . . . . 283
T. Hruska and
P. Kolencik Comparison of Categorical Foundations of
Object-Oriented Database Model . . . . . 302
W. May and
B. Ludaescher and
C. Lausen Well-Founded Semantics for Deductive
Object-Oriented Database Languages . . . 320
S. Greco and
D. Sacca Deterministic Semantics for Datalog:
Complexity and Expressive Power . . . . 337
F. Neven and
J. Van den Bussche On Implementing Structured Document
Query Facilities on Top of a DOOD . . . 351
K. Jim and
J. Lai and
B. Wuethrich A Data Mining Algorithm Optimal for
Single Rules . . . . . . . . . . . . . . 368
R. Himmeroeder and
G. Lausen and
B. Ludaescher and
C. Schlepphorst On a Declarative Semantics for Web
Queries . . . . . . . . . . . . . . . . 386
K. Aberer and
D. Che and
K. Boehm Rule-Based Generation of Logical Query
Plans with Controlled Complexity . . . . 399
M.-S. Hacid and
P. Marcel and
C. Rigotti A Rule-Based Data Manipulation Language
for OLAP Systems . . . . . . . . . . . . 417
D. Zimmer and
A. Meckenstock and
R. Unland A General Model for Event Specification
in Active Database Management Systems 419
L. Fegaras Optimizing Large OODB Queries . . . . . 421
E. Nantajeewarawat and
V. Wuwongse Nonmonotonic Inheritance Through
Specialization . . . . . . . . . . . . . 423
P. Godfrey and
J. Gryz Overview of Dynamic Query Evaluation in
Intensional Query Optimization . . . . . 425
P.-T Kandzia Towards Efficient Evaluation of Methods
by Reduction . . . . . . . . . . . . . . 427
K. Tam and
J. Lloyd and
Y. Lesperance and
H. Levesque Controlling Autonomous Robots with GOLOG 1
R. M. Bolle and
B.-L. Yeo and
M. M. Yeung Video Query and Retrieval . . . . . . . 13
L. Sterling On Finding Needles in WWW Haystacks . . 25
W. S. Havens Extending Dynamic Backtracking for
Distributed Constraint Satisfaction
Problems . . . . . . . . . . . . . . . . 37
W. Pang and
S. D. Goodwin Constraint-Directed Backtracking . . . . 47
J. Thornton and
A. Sattar Applied Partial Constraint Satisfaction
Using Weighted Iterative Repair . . . . 57
N. Ritter and
R. Owens and
K. Yogesan and
P. Van Saarloos The Application of Mutual Information to
the Registration of Stereo and Temporal
Images of the Retina . . . . . . . . . . 67
J. R. Cooper and
R. O. Hastings Kalman Filtering from a Phase Based
Optical Flow Operator . . . . . . . . . 77
S. W. Perry and
L. Guan Adaptive Constraint Restoration and
Error Analysis Using a Neural Network 87
C. Grinton and
L. Sonenberg and
L. Sterling Exploring Agent Cooperation: Studies
with a Simple Pursuit Game . . . . . . . 96
M. A. Abtroun and
S. Hassas The Serializability Problem in a
Parallel Rule-Based System: A Solution
by Distributed Coordination . . . . . . 106
H. H. Bui and
D. Kieronska and
S. Venkatesh Optimal Communication Among Team Members 116
T. Schnier and
J. Gero Dominant and Recessive Genes in
Evolutionary Systems Applied to Spatial
Reasoning . . . . . . . . . . . . . . . 127
H. J. Pierrot and
R. Hinterding Using Multi-chromosomes to Solve a
Simple Mixed Integer Problem . . . . . . 137
M. Mohammadian and
M. Kingham Hierarchical and Feed-Forward Fuzzy
Logic for Financial Modelling and
Prediction . . . . . . . . . . . . . . . 147
J. Debenham A Knowledge-Based System for Workflow
Management Using the World Wide Web . . 157
R. M. Colomb and
P. Y.-P. Chen Use of Partial Functional Dependencies
to Make Practical Approximate
Translations Among Forms of
Propositional Expert Systems . . . . . . 167
G. Beydoun and
A. Hoffmann NRDR for the Acquisition of Search
Knowledge . . . . . . . . . . . . . . . 177
G. Lawson and
D. Lukose Rapid Prototyping of Executable Problem
Solving Methods Using MODEL-ECS . . . . 187
P. Peppas and
M. Pagnucco and
M. Prokopenko and
N. Foo Preferential Semantics for Causal
Fixpoints . . . . . . . . . . . . . . . 197
T. O'Neill and
N. Foo Belief Update, the Markovian Situation
Calculus, and Discrete Event Systems . . 207
R. B. H. Kwok and
A. Nayak and
N. Foo A Notion of Correctness with Theories
Containing Theoretical Terms . . . . . . 217
N. Foo and
P. Peppas and
Y. Zhang Inductive Properties of States . . . . . 227
P. Jachowicz and
R. Goebel Describing Plan Recognition as
Nonmonotonic Reasoning and Belief
Revision . . . . . . . . . . . . . . . . 236
C. K. MacNish and
G. Antoniou Specification Morphisms for Nonmonotonic
Knowledge Systems . . . . . . . . . . . 246
G. Antoniou Representation Results for Default
Logics . . . . . . . . . . . . . . . . . 255
D. Billington Proving Quantified Literals in
Defeasible Logic . . . . . . . . . . . . 265
Y. Arai and
K. Hirota Fuzzy Hierarchical Pattern Recognition
for Robotics Applications . . . . . . . 274
A. R. Pearce and
T. Caelli and
S. Goss Adaptive Curvature-Based Topography for
Learning Symbolic Descriptions of
Terrain Maps . . . . . . . . . . . . . . 282
R. Chang and
L. Guan and
J. A. Burne A Computer Assisted Image Analysis
System for Diagnosing Movement Disorders 290
B. Yin and
T. Yu Vowel Recognition for Speaker
Independent Chinese Speech Recognition 302
S. Dixon Beat Induction and Rhythm Recognition 311
H. He and
Z. Huang Boosting Neural Networks in Real World
Applications: An Empirical Study . . . . 321
H. J. Hamilton and
N. Shan and
W. Ziarko Machine Learning of Credible
Classifications . . . . . . . . . . . . 330
G. J. Williams and
Z. Huang Mining the Knowledge Mine: The Hot Spots
Methodology for Mining Large Real World
Databases . . . . . . . . . . . . . . . 340
B. C. Chiu and
C. I. Webb and
Z. Zheng Using Decision Trees for Agent
Modelling: A Study on Resolving
Confliction Predictions . . . . . . . . 349
B. Raskutti and
A. Beitz Sample Set Assessment for Providing
Personalised Recommendations . . . . . . 359
K. Min and
W. H. Wilson Integrated Correction of Ill-Formed
Sentences . . . . . . . . . . . . . . . 369
T. Hirashima and
N. Matsuda and
T. Nomoto and
J. Toyoda Information Filtering for
Context-Sensitive Browsing . . . . . . . 379
V. Sauvage The T-SOM (Tree-SOM) . . . . . . . . . . 389
N. K. Treadgold and
T. D. Gedeon Extending and Benchmarking the CasPer
Algorithm . . . . . . . . . . . . . . . 398
R. B. Thapa and
R. Sadananda Disconcepts and Fuzzy Cognitive Maps . . 407
L. Peh and
C. P. Tsang Weight Sensitive Boolean Extraction
Produces Compact Expressions . . . . . . 417
G. Briscoe and
T. Caelli Learning Temporal Sequences in Recurrent
Self-Organising Neural Nets . . . . . . 427
I. Hofman and
R. Jarvis Three-Dimensional Scene Analysis Using
Multiple Range Finders --- Data Capture,
Coordinate Transformations and Initial
Segmentation . . . . . . . . . . . . . . 436
R. Jarvis Sensor-Based Robotic Automation of
Mushroom Farming --- Preliminary
Considerations . . . . . . . . . . . . . 446
R. A. Russell Creating Adroit Mechanisms by Using
Large Numbers of Simple Homogeneous
Structures . . . . . . . . . . . . . . . 456
R. A. Russell A Nephelometric Tactile Sensor . . . . . 466
R. O'Hagan and
A. Zelinsky Finger Track --- A Robust and Real-Time
Gesture Interface . . . . . . . . . . . 475
C. Liu and
M. A. Orgun A Constraint Mechanism for Knowledge
Specification of Simulation Systems
Based on Temporal Logic . . . . . . . . 485
Y. Pisan Controlling Engineering Problem Solving 496
S. Waugh and
T. Menzies and
S. Goss Evaluating a Qualitative Reasoner . . . 505
S. J. Fink and
S. B. Baden Run-Time Support for Multi-tier
Programming of Block-Structured
Applications on SMP Clusters . . . . . . 1
N. Fujinami Automatic Run-Time Code Generation in
C++ . . . . . . . . . . . . . . . . . . 9
F. Bassetti and
K. Davis and
D. Quinlan A Comparison of Performance-Enhancing
Strategies for Parallel Numerical
Object-Oriented Frameworks . . . . . . . 17
M. Weidmann Design and Performance Improvement of a
Real-World, Object-Oriented C++ Solver
with STL . . . . . . . . . . . . . . . . 25
A. A. Chien and
J. Dolby and
B. Ganguly and
V. Karamcheti Evaluating High Level Parallel
Programming Support for Irregular
Applications in ICC++ . . . . . . . . . 33
J. Jaervi Processing Sparse Vectors During Compile
Time in C++ . . . . . . . . . . . . . . 41
T. L. Veldhuizen and
M. E. Jernigan Will C++ Be Faster than Fortran? . . . . 49
J. M. Squyres and
B. Saphir and
A. Lumsdaine The Design and Evolution of the MPI-2
C++ Interface . . . . . . . . . . . . . 57
J. W. Quittek and
B. Weissman Efficient Extensible Synchronization in
Sather . . . . . . . . . . . . . . . . . 65
W. Joosen and
B. Robben and
H. Van Wulpen and
P. Verbaeten Experiences with an Object-Oriented
Parallel Language: The CORRELATE Project 73
S. Matsuoka and
A. Nikami and
H. Ogawa and
Y. Ishikawa Towards a Parallel C++ Programming
Language Based on Commodity
Object-Oriented Technologies . . . . . . 81
T. Takahashi and
Y. Ishikawa and
M. Sato and
A. Yonezawa A Compile-Time Meta-Level Architecture
Supporting Class Specific Optimization 89
M. Besch and
H. Bi and
G. Heber and
M. Kessler An Object-Oriented Approach to the
Implementation of a High-Level Data
Parallel Language . . . . . . . . . . . 97
J. Gerlach and
M. Sato and
Y. Ishikawa A Framework for Parallel Adaptive Finite
Element Methods and Its Template Based
Implementation in CC++ . . . . . . . . . 105
M. Matsuda and
M. Sato and
Y. Ishikawa Parallel Array Class Implementation
Using C++ STL Adaptors . . . . . . . . . 113
G. Loeffler A Multithreaded Java Framework for
Solving Linear Elliptic Partial
Differential Equations in $3$D . . . . . 121
S. Mintchev and
V. Getov Automatic Binding of Native Scientific
Libraries to Java . . . . . . . . . . . 129
K. Imasaki JAPE: The Java Parallel Environment . . 137
J.-P. Ang and
Y.-T Tan An Architecture in Java for Mobile
Computation . . . . . . . . . . . . . . 145
Y. Ichisugi and
Y. Roudier The Extensible Java Preprocessor Kit and
a Tiny Data-Parallel Java . . . . . . . 153
A. Magnus Bruaset and
X. Cai and
H. P. Langtangen and
A. Tveito Numerical Solution of PDEs on Parallel
Computers Utilizing Sequential
Simulators . . . . . . . . . . . . . . . 161
C. Calvin and
P. Emonot The TR/O-Unitaire Project: A Parallel
CFD $3$-Dimensional Code . . . . . . . . 169
D. L. Brown and
W. D. Henshaw and
D. J. Quinlan Overture: An Object-Oriented Framework
for Solving Partial Differential
Equations . . . . . . . . . . . . . . . 177
W. Humphrey and
S. Karmesin and
F. Bassetti and
J. Reynders Optimization of Data-Parallel Field
Expressions in the POOMA Framework . . . 185
S. R. Lee and
J. C. Cummings and
S. D. Nolen and
N. D. Keen MC++ and a Transport Physics Framework 195
B. C. McCandless and
A. Lumsdaine The Role of Abstraction in
High-Performance Computing . . . . . . . 203
T. Ohta Design of a Data Class for Parallel
Scientific Computing . . . . . . . . . . 211
W.-M. Jeng and
C. Lin Describing Objects in Parallel ECEM
Image Reconstruction . . . . . . . . . . 218
M. E. Henderson and
S. E. Lyons Flow in Porous Media Using NAO Finite
Difference Classes . . . . . . . . . . . 225
D. Bashford An Object-Oriented Programming Suite for
Electrostatic Effects in Biological
Molecules . . . . . . . . . . . . . . . 233
C. DeLuca and
C. W. Heisey and
R. A. Bond and
J. M. Daly A Portable, Object-Based Parallel
Library and Layered Framework for
Real-Time Radar Signal Processing . . . 241
J. Irwin and
J.-M. Loingtier and
J. R. Gilbert and
G. Kiczales Aspect-Oriented Programming of Sparse
Matrix Code . . . . . . . . . . . . . . 249
R. F. Haddleton and
J. L. Pfaltz Client/Server Architecture in the ADAMS
Parallel Object-Oriented Database System 257
S. MacDonald and
J. Schaeffer and
D. Szafron Pattern-Based Object-Oriented Parallel
Programming . . . . . . . . . . . . . . 267
P. A. Gray and
V. S. Sunderam The IceT Environment for Parallel and
Distributed Computing . . . . . . . . . 275
R. Ramamoorthi and
A. Rifkin and
B. Dimitrov and
K. M. Chandy A General Resource Reservation Framework
for Scientific Computing . . . . . . . . 283
M. O. Rabin Correctness of Programs and Protocols
through Randomization . . . . . . . . . 1
N. Ayache Medical Image Analysis and Simulation 4
R. E. Bryant and
M. N. Velev Verification of Pipelined
Microprocessors by Comparing Memory
Execution Sequences in Symbolic
Simulation . . . . . . . . . . . . . . . 18
S. Merz Rules for Abstraction . . . . . . . . . 32
R. Buessow and
W. Grieskamp Combining Z and Temporal Interval Logics
for the Formalization of Properties and
Behaviors of Embedded Systems . . . . . 46
R. Ramanujam Rules for Trace Consistent Reasoning . . 57
S. Punnekkat and
R. Davis and
A. Burns Sensitivity Analysis of Real-Time Task
Sets . . . . . . . . . . . . . . . . . . 72
S.-M. Tseng and
Y. H. Chin and
W.-P. Yang Dynamic Multiprocessor Scheduling for
Supporting Real-Time Constraints . . . . 83
Z. Huang and
W.-J. Lei and
C. Sun and
A. Sattar Heuristic Diff Acquiring in Lazy Release
Consistency Model . . . . . . . . . . . 98
T. Mizutani and
S. Igarashi and
K. Tomita and
M. Shio Representation of Discretely Controlled
Continuous Systems in Software-Oriented
Formal Analysis . . . . . . . . . . . . 110
R. Wetprasit and
A. Sattar and
L. Khatib A Generalized Framework for Reasoning
with Multi-point Events . . . . . . . . 121
Y. Georget and
P. Codognet and
F. Rossi Implementing Constraint Retraction for
Finite Domains . . . . . . . . . . . . . 136
T. Plagemann and
V. Goebel INSTANCE: The Intermediate Storage Node
Concept . . . . . . . . . . . . . . . . 151
X. Li and
Dang Van Hung and
Z. Tao Checking Hybrid Automata for Linear
Duration Invariants . . . . . . . . . . 166
E. Mikk and
Y. Lakhnech and
M. Siegel Hierarchical Automata as Model for
Statecharts . . . . . . . . . . . . . . 181
M. Harao Proof Discovery in LK System by Analogy 197
N. Inuzuka and
H. Seki and
H. Itoh Efficient Induction of Executable Logic
Programs from Examples . . . . . . . . . 212
B. Le Charlier and
C. Leclere and
S. Rossi and
A. Cortesi Automated Verification of Behavioural
Properties of Prolog Programs . . . . . 225
G. Boudol Typing the Use of Resources in a
Concurrent Calculus . . . . . . . . . . 239
P. Roe An Imperative Language with Read/Write
Type Modes . . . . . . . . . . . . . . . 254
K. Ohno and
M. Ikawa and
M. Goshima and
S.-I. Mori Efficient Goal Scheduling in a
Concurrent Logic Language Using
Type-Based Dependency Analysis . . . . . 268
R. Hasegawa An Analysis of Divisibility Orderings
and Recursive Path Orderings . . . . . . 283
T. B. Dinesh and
S. M. Ueskuedarh Share-Where Maintenance in Visual
Algebraic Specifications . . . . . . . . 297
S. Fujita A Fault Tolerant Broadcast Scheme in
Star Graphs . . . . . . . . . . . . . . 312
K.- E. Fujita Calculus of Classical Proofs I . . . . . 321
R. Watson and
E. Salzman Tracing the Evaluation of Lazy
Functional Languages: A Model and Its
Implementation . . . . . . . . . . . . . 336
Y. Ben-Asher and
E. Stein Basic Results in Automatic
Transformations of Shared Memory
Parallel Programs into Sequential
Programs . . . . . . . . . . . . . . . . 351
M. Kaipainen and
P. Papadopoulos and
P. Karhu Recurrent Oscillatory Self-organizing
Map: Adapting to Complex Environmental
Periodicities . . . . . . . . . . . . . 367
C. Lursinsap and
K. Kanchanasut and
T. Siriboon Basic Binary Decision Diagram Operations
for Image Processing . . . . . . . . . . 368
T. Nakajima Adaptive Object Storage System for
Mobile Computing Environments . . . . . 371
M. Tomohiko Structure of User Interface Module for
Practical Internet Messages . . . . . . 373
M. Badonski and
M. Ivanovic and
Z. Budimac Software Specification Using LASS . . . 375
E. Horita and
K. Mano Nepi$^2$: A Two-Level Calculus for
Network Programming Based on the $ {\Pi
} $-Calculus . . . . . . . . . . . . . . 377--378
M. Lin and
J. Malec and
S. Nadjm-Tehrani On Semantics of Reactive Rule-Based
Systems . . . . . . . . . . . . . . . . 379
J.-R. Gagne and
J. Plaice The Non-standard Semantics of Esterel 381
S. Kusakabe and
K. Inenaga and
M. Amamiya Hybrid Support for Lenient
Implementation of Array-Comprehension 383
M. Bouzoubaa Solver for Hierarchical CSP Containing
Several Constraint Types and
Multi-output Constraints . . . . . . . . 385
Vijaya Ramachandran QSM: A General Purpose Shared-Memory
Model for Parallel Computation . . . . . 1
Tamal K. Dey and
Arunabha Roy and
Nimish R. Shah Approximating Geometric Domains through
Topological Triangulations . . . . . . . 6
Sanjeev Mahajan and
Edgar A. Ramos and
K. V. Subrahmanyam Solving Some Discrepancy Problems in NC 22
K. Cirino and
S. Muthukrishnan and
N. S. Narayanaswamy and
H. Ramesh Graph Editing to Bipartite Interval
Graphs: Exact and Asymptotic Bounds . . 37
Edmund M. Clarke Model Checking . . . . . . . . . . . . . 54
A. J. Kfoury Recursion Versus Iteration at
Higher-Orders . . . . . . . . . . . . . 57
A. D. Gordon and
P. D. Hankin and
S. B. Lassen Compilation and Equivalence of
Imperative Objects . . . . . . . . . . . 74
Massimo Marchiori On the Expressive Power of Rewriting . . 88
Deepak Kapur and
M. Subramaniam Mechanizing Verification of Arithmetic
Circuits: SRT Division . . . . . . . . . 103
E. Pontelli and
D. Ranjan and
G. Gupta On the Complexity of Parallel
Implementation of Logic Programs
(Extended Abstract) . . . . . . . . . . 123
Jia-Huai You and
Li Yan Yuan and
Randy Goebel An Abductive Semantics for Disjunctive
Logic Programs and its Proof Procedure 138
Swarup Mohalik and
R. Ramanujam Assumption-Commitment in Automata . . . 153
Sandeep S. Kulkarni and
Anish Arora Compositional Design of Multitolerant
Repetitive Byzantine Agreement . . . . . 169
Madhu Sudan Algorithmic Issues in Coding Theory . . 184
Anil Seth Sharper Results on the Expressive Power
of Generalized Quantifiers . . . . . . . 200
N. V. Vinodchandran Improved Lowness Results for Solvable
Black-box Group Problems . . . . . . . . 220
V. Arvind and
J. Köbler On Resource-Bounded Measure and
Pseudorandomness . . . . . . . . . . . . 235
Moshe Y. Vardi Verification of Open Systems . . . . . . 250
F. S. de Boer and
U. Hannemann and
W.-P. de Roever Hoare-Style Compositional Proof Systems
for Reactive Shared Variable Concurrency 267
F. S. De Boer and
U. Hannemann and
W.-P. De Roever Hoare-style compositional proof systems
for reactive shared variable concurrency 267
Kedar S. Namjoshi A Simple Characterization of Stuttering
Bisimulation . . . . . . . . . . . . . . 284
Raymond Devillers and
Hanna Klaudel and
Robert-C. Riemann General Refinement for High Level Petri
Nets . . . . . . . . . . . . . . . . . . 297
Catherine Dufourd and
Alain Finkel Polynomial-time Many-one Reductions for
Petri Nets . . . . . . . . . . . . . . . 312
Burkhard Graves Computing Reachability Properties Hidden
in Finite Net Unfoldings . . . . . . . . 327
T. Yung Kong Topology-Preserving Deletion of $1$'s
from $2$-, $3$- and $4$-Dimensional
Binary Images . . . . . . . . . . . . . 3
P. Gritzmann On the Reconstruction of Finite Lattice
Sets from their X- Rays . . . . . . . . 19
P. Lienhardt Aspects in Topology-Based Geometric
Modeling . . . . . . . . . . . . . . . . 33
V. Kovalevsky Applications of Digital Straight
Segments to Economical Image Encoding 51
G. D'Andrea and
C. Fiorio Maximal Superpositions of Grids and an
Application . . . . . . . . . . . . . . 63
G. Borgefors and
G. Sanniti di Baja and
S. Svensson Multiresolution Representation of Shapes
in Binary Images II: Volume Images . . . 75
J. M. Schramm Coplanar Tricubes . . . . . . . . . . . 87
J. Vitonne and
J. M. Chassery Coexistence of Tricubes in Digital Naive
Plane . . . . . . . . . . . . . . . . . 99
G. Bertrand and
M. Couprie Some Structural Properties of Discrete
Surfacess . . . . . . . . . . . . . . . 113
S. Miguet and
J. M. Nicod and
D. Sarrut A Linear Algorithm for Constructing the
Polygon Adjacency Relation in
Iso-surfaces of $3$D Images . . . . . . 125
R. Ayala and
E. Dominguez and
A. R. Frances and
A. Quintero Digital Lighting Functions . . . . . . . 139
P. Ptak and
H. Kofler and
W. Kropatsch Digital Topologies Revisited: An
Approach Based on the Topological
Point-Neighbourhood . . . . . . . . . . 151
A. Imiya and
U. Eckhardt The Euler Characteristic of Discrete
Object . . . . . . . . . . . . . . . . . 163
A. Lenoir Fast Estimation of Mean Curvature on the
Surface of a $3$D Discrete Object . . . 175
N. Sladoje and
J. Zunic Ellipses Estimation from their
Digitization . . . . . . . . . . . . . . 187
S. Marchand-Maillet and
Y. M. Sharaiha Topological Errors and Optimal Chamfer
Distance Coefficients . . . . . . . . . 199
R. Malgouyres Homotopy in $2$-dimensional Digital
Images . . . . . . . . . . . . . . . . . 213
J. Thollot Set Manipulations of Fractal Objects
Using Matrices of IFS . . . . . . . . . 223
L. Ibañez and
C. Hamitouche and
C. Roux Ray-tracing and $3$D Objects
Representation in the BCC and FCC Grids 235
E. Andres and
P. Nehlig and
J. Francon Supercover of Straight Lines, Planes and
Triangles . . . . . . . . . . . . . . . 243
Patrick Albers and
Malik Ghallab Context dependent effects in temporal
planning . . . . . . . . . . . . . . . . 1--12
Naveen Ashish and
Craig A. Knoblock and
Alon Y. Levy Information gathering plans with sensing
actions . . . . . . . . . . . . . . . . 13--25
Ruth Aylett and
Alex M. Coddington and
David P. Barnes and
Robert A. Ghanea-Hercock What does a planner need to know about
execution? . . . . . . . . . . . . . . . 26--38
Ruth Aylett and
Gary J. Petley and
Paul W. H. Chung and
James K. Soutter and
Andrew G. Rushton Planning and chemical plant operating
procedure synthesis . . . . . . . . . . 39--51
Marco Baioletti and
Stefano Marcugini and
Alfredo Milani Task planning and partial order
planning: a domain transformation
approach . . . . . . . . . . . . . . . . 52--63
Michael Beetz and
Drew V. McDermott Expressing transformations of structured
reactive plans . . . . . . . . . . . . . 64--76
Michael Beetz and
Drew V. McDermott Fast probabilistic plan debugging . . . 77--90
Andrew Burgess and
Sam Steel Quantification in generative refinement
planning . . . . . . . . . . . . . . . . 91--103
Marcos A. Castilho and
Olivier Gasquet and
Andreas Herzig Modal tableaux for reasoning about
actions and plans . . . . . . . . . . . 104--116
Amedeo Cesta and
Cristiano Stella A time and resource problem for planning
architectures . . . . . . . . . . . . . 117--129
A. Cimatti and
E. Giunchiglia and
F. Giunchiglia and
P. Traverso Planning via model checking: a decision
procedure for AR . . . . . . . . . . . . 130--142
Célia Da Costa Pereira and
Frédérick Garcia and
Jérôme Lang and
Roger Martin-Clouaire Possibilistic planning: representation
and complexity . . . . . . . . . . . . . 143--155
Giuseppe De Giacomo and
Luca Iocchi and
Daniele Nardi and
Riccardo Rosati Planning with sensing for a mobile robot 156--168
Yannis Dimopoulos and
Bernhard Nebel and
Jana Koehler Encoding planning problems in
non-monotonic logic programs . . . . . . 169--181
Tara A. Estlin and
Steve Chien and
Xuemei Wang An argument for a hybrid HTN\slash
operator-based approach to planning . . 182--194
Maria Fox Natural hierarchical planning using
operator decomposition . . . . . . . . . 195--207
Ramón García-Martínez and
Daniel Borrajo Planning, learning, and executing in
autonomous systems . . . . . . . . . . . 208--220
B. Cenk Gazen and
Craig A. Knoblock Combining the expressivity of UCPOP with
the efficiency of Graphplan . . . . . . 221--233
Robert Givan and
Sonia M. Leach and
Thomas Dean Bounded parameter Markov decision
processes . . . . . . . . . . . . . . . 234--246
Richard T. Hepplewhite and
Jeremy W. Baxter Planning and search techniques for
intelligent behaviour of battlefield
entities . . . . . . . . . . . . . . . . 247--259
Subbarao Kambhampati and
Eric Parker and
Eric Lambrecht Understanding and extending Graphplan 260--272
Jana Koehler and
Bernhard Nebel and
Jörg Hoffmann and
Yannis Dimopoulos Extending planning graphs to an ADL
subset . . . . . . . . . . . . . . . . . 273--285
Fabio Massacci Breaking security protocols as an AI
planning problem . . . . . . . . . . . . 286--298
Silvia Miksch and
Yuval Shahar and
Werner Horn and
Christian Popow and
Franz Paky and
Peter Johnson Time-oriented skeletal plans: support to
design and execution . . . . . . . . . . 299--311
Ion Muslea SINERGY: a linear planner based on
genetic programming . . . . . . . . . . 312--324
Hector Muñoz-Avila and
Frank Weberskirch A case study on the mergeability of
cases with a partial-order planner . . . 325--337
Bernhard Nebel and
Yannis Dimopoulos and
Jana Koehler Ignoring irrelevant facts and operators
in plan generation . . . . . . . . . . . 338--350
Angelo Oddi and
Amedeo Cesta A tabu search strategy to solve
scheduling problems with deadlines and
complex metric constraints . . . . . . . 351--363
Nilufer Onder and
Martha E. Pollack Contingency selection in plan generation 364--376
Marcus V. Santos and
Marcio Rillo Approaching the Plans are Programs
paradigm using transaction logic . . . . 377--389
Murray Shanahan Event calculus planning revisited . . . 390--402
J. E. Spragg and
G. Fozzard and
D. J. Tyler Constraint-based reactive rescheduling
in a stochastic environment . . . . . . 403--413
Reiko Tsuneto and
Dana S. Nau and
James A. Hendler Plan-refinement strategies and
search-space size . . . . . . . . . . . 414--426
Xuemei Wang and
Steve Chien Replanning using hierarchical task
network and operator-based planning . . 427--439
Richard Washington BI-POMDP: Bounded, incremental,
partially-observable Markov-model
planning . . . . . . . . . . . . . . . . 440--451
S. B. Lamine and
J. Plaice Software configuration with information
systems . . . . . . . . . . . . . . . . 1
Y. Bertot Head-tactics simplification . . . . . . 16
S. L. Bloom and
Z. Esik and
A. Labella and
E. G. Manes Iteration $2$-theories . . . . . . . . . 30
G. Bruns and
I. Sutherland Model checking and fault tolerance . . . 45
B. Buth and
M. Kouvaras and
J. Peleska and
H. Shi Deadlock analysis for a fault-tolerant
system . . . . . . . . . . . . . . . . . 60
P. Cenciarelli and
A. Knapp and
B. Reus and
M. Wirsing From sequential to multi-threaded Java:
An event-based operational semantics . . 75
M. Cerioli and
A. Haxthausen and
B. Krieg-Brueckner and
T. Mossakowski Permissive subsorted partial logic in
CASL . . . . . . . . . . . . . . . . . . 91
C. Antonio and
G. J. Milne Specification of timing constraints
within the Circal process algebra . . . 108
Xiao Jun Chen and
F. Corradini On the specification and verification of
performance properties for a timed
process algebra . . . . . . . . . . . . 123
P. Cousot and
R. Cousot Abstract interpretation of algebraic
polynomial systems . . . . . . . . . . . 138
M. De Groot and
K. Robinson Modular refinement and model building 155
G. Denker and
J. Ramos and
C. Caleiro and
A. Sernadas A linear temporal logic approach to
objects with transactions . . . . . . . 170
X. Du and
K. T. McDonnell and
E. Nanos and
Y. S. Ramakrishna Software design, specification, and
verification: Lessons learned from the
Rether case study . . . . . . . . . . . 185
C. J. Fidge Refinement rules for real-time
multi-tasking programs . . . . . . . . . 199
R. B. France and
J.-M. Bruel and
M. M. Larrondo-Petrie and
E. Grant Rigorous object oriented-modeling:
Integrating formal and informal
notations . . . . . . . . . . . . . . . 216
R. Giacobazzi and
F. Ranzato Completeness in abstract interpretation:
A domain perspective . . . . . . . . . . 231
J. Harrison Floating point verification in HOL
Light: The exponential function . . . . 246
J. Hooman Verification of distributed real-time
and fault-tolerant protocols . . . . . . 261
B. Jacobs Invariants, bisimulations and the
correctness of coalgebraic refinements 276
T. Janowski On bisimulation, fault-monotonicity and
provable fault-tolerance . . . . . . . . 292
P. Katis and
N. Sabadini and
R. F. C. Walters Span(Graph): A categorical algebra of
transition systems . . . . . . . . . . . 307
P. Katis and
N. Sabadini and
R. F. C. Walters Representing place/transition nets in
Span(Graph) . . . . . . . . . . . . . . 322
D. Lesens Invariants of parameterized binary tree
networks as greatest fixpoints . . . . . 337
N. Levy and
J. Souquieres Modelling specification construction by
successive approximations . . . . . . . 351
S. Limet and
F. Saubion On partial validation of logic programs 365
A. Lopes and
J. L. Fiadeiro Preservation and reflection in
specification . . . . . . . . . . . . . 380
R. F. Paige Case studies in using a meta-method for
formal method integration . . . . . . . 395
J. Parrow and
B. Victor The update calculus . . . . . . . . . . 409
F. Piessens and
E. Steegmans Selective attribute elimination for
categorical data specifications . . . . 424
S. P. Rajan and
M. Fujita ATM switch design: Parametric high-level
modeling and formal verification . . . . 437
A. Schoenegge The hidden function question revisited 451
A. Sernadas and
C. Sernadas and
C. Caleiro Synchronization of logics with mixed
rules: Completeness preservation . . . . 465
C. Shankland and
M. Thomas Symbolic bisimulation for Full LOTOS . . 479
M. Simons and
M. Sintzoff Algebraic composition and refinement of
proofs . . . . . . . . . . . . . . . . . 494
A. Telford and
D. Turner Ensuring streams flow . . . . . . . . . 509
I. Ulidowski and
S. Yuen Extending process languages with time 524
F. Wang and
P.-A Hsiung Parametric analysis of computer systems 539
J. J. Almeida and
L. S. Barbosa and
F. L. Neves and
J. N. Oliveira CAMILA: Prototyping and refinement of
constructive specifications . . . . . . 554
B. Buth Pamela+PVS . . . . . . . . . . . . . . . 560
A. Cerone and
A. J. Cowie and
G. J. Milne The Circal system . . . . . . . . . . . 563
R. Davies A refinement-type checker for Standard
ML . . . . . . . . . . . . . . . . . . . 565
J. Grundy and
T. Laangbacka Recording HOL proofs in a structured
browsable format . . . . . . . . . . . . 567--571
C. K. Low Analysing multi-agent system traces with
IDAF . . . . . . . . . . . . . . . . . . 572
M. A. Ozols and
K. A. Eastaughffe and
A. Cant DOVE: A tool for design oriented
verification and evaluation . . . . . . 574
K. Robinson The B Method and the B Toolkit . . . . . 576
T. Rus and
T. Halverson and
E. Van Wyk and
R. Kooima An algebraic language processing
environment . . . . . . . . . . . . . . 581
O. Traynor and
D. Hazel and
P. Kearney and
A. Martin The Cogito development system . . . . . 586
T. Ibaraki Solving NP-hard combinatorial problems
in the practical sense . . . . . . . . . 1
A. Tajima and
S. Misono Airline crew-scheduling problem with
many irregular flights . . . . . . . . . 2
K. Hidaka and
H. Okano Practical approach to a facility
location problem for Large-Scale
Logistics . . . . . . . . . . . . . . . 12
S. Horie and
O. Watanabe Hard instance generation for SAT . . . . 22
M. Kutylowski and
R. Wanka Playing tetris on meshes and
multi-dimensional SHEARSORT . . . . . . 32
A. Matsuura and
A. Nagoya Formulation of the
addition-shift-sequence problem and its
complexity . . . . . . . . . . . . . . . 42
T. Hayashi and
K. Nakano and
S. Olariu Weighted and unweighted selection
algorithms for k sorted sequences . . . 52
L. Bai and
H. Ebara and
H. Nakano and
H. Maeda An adaptive distributed fault-tolerant
routing algorithm for the star graph . . 62
Q.-P. Gu and
H. Tamaki Multi-color routing in the undirected
hypercube . . . . . . . . . . . . . . . 72
T.-H. Yeh and
C.-M. Kuo and
C.-L. Lei and
H.-C Yen Competitive source routing on tori and
meshes . . . . . . . . . . . . . . . . . 82
T. Uno Algorithms for enumerating all perfect,
maximum and maximal matchings in
bipartite graphs . . . . . . . . . . . . 92
T. Ishii and
H. Nagamochi and
T. Ibaraki Augmenting edge and vertex
connectivities simultaneously . . . . . 102
T. Eiter and
T. Ibaraki and
K. Makino Two-face Horn extensions . . . . . . . . 112
G. Ausiello and
P. G. Franciosa and
D. Frigioni and
R. Giaccio Decremental maintenance of reachability
in hypergraphs and minimum models of
Horn formulae . . . . . . . . . . . . . 122
C. E. Leiserson Algorithmic analysis of multithreaded
algorithms . . . . . . . . . . . . . . . 132
H. Tamaki and
T. Tokuyama A characterization of planar graphs by
pseudo-line arrangements . . . . . . . . 133
P. Panaite and
A. Pelc Optimal fault-tolerant broadcasting in
trees . . . . . . . . . . . . . . . . . 143
T. Asano and
K. Hori and
T. Ono and
T. Hirata A theoretical framework of hybrid
approaches to MAX SAT . . . . . . . . . 153
E. Dannoura and
K. Sakurai On-line versus off-line in money-making
strategies with BROKERAGE . . . . . . . 173
X. Deng and
C. Papadimitriou Decision-making by hierarchies of
discordant agents . . . . . . . . . . . 183
Khanh Quoc Nguyen and
V. Varadharajan and
Y. Mu A new efficient off-line anonymous cash
scheme . . . . . . . . . . . . . . . . . 193
Z.-Z. Chen Approximating unweighted connectivity
problems in parallel . . . . . . . . . . 202
Chung Keung Poon and
V. Ramachandran A randomized linear work EREW PRAM
algorithm to find a minimum spanning
forest . . . . . . . . . . . . . . . . . 212
M. J. Atallah and
D. Z. Chen and
O. Daescu Efficient parallel algorithms for planar
st-graphs . . . . . . . . . . . . . . . 223
B. Ravikumar Peg-solitaire, string rewriting systems
and finite automata . . . . . . . . . . 233
H. Klauck On the size of probabilistic formulae 243
B. Ryabko and
A. Fionov Homophonic coding with logarithmic
memory size . . . . . . . . . . . . . . 253
R. H. Möhring and
M. Müller-Hannemann Complexity and modeling aspects of mesh
refinement into quadrilaterals . . . . . 263
T. Minakawa and
K. Sugihara Topology oriented vs. exact arithmetic
--- experience in implementing the
three-dimensional convex hull algorithm 273
M. Ott and
F. Stephan The complexity of learning branches and
strategies from queries . . . . . . . . 283
G. Neyer and
P. Widmayer Singularities make spatial join
scheduling hard . . . . . . . . . . . . 293
H.-F. S. Chen and
D. T. Lee A faster one-dimensional topological
compaction algorithm . . . . . . . . . . 303
W.-T. Chan and
F. Y. L. Chin Algorithms for finding optimal disjoint
paths around a rectangle . . . . . . . . 314
Y. Kusakari and
T. Nishizeki An algorithm for finding a region with
the minimum total L1 distance from
prescribed terminals . . . . . . . . . . 324
P. E. Haxell and
M. Loebl On defect sets in bipartite graphs . . . 334
M.-S. Chang and
S.-Y. Hsieh and
G.-H Chen Dynamic programming on
distance-hereditary graphs . . . . . . . 344
S. Cicerone and
G. Di Stefano On the equivalence in complexity among
basic problems on bipartite and parity
graphs . . . . . . . . . . . . . . . . . 354
M.-Y. Kao and
Tak Wah Lam and
Wing Kin Sung and
Hing Fung Ting All-cavity maximum matchings . . . . . . 364
S. V. Rao and
A. Mukhopadhyay Fast algorithms for computing $ \beta
$-skeletons and their relatives . . . . 374--383
Y. Kyoda and
K. Imai and
F. Takeuchi and
A. Tajima A branch-and-cut approach for minimum
weight triangulation . . . . . . . . . . 384
H. Kellerer and
U. Pferschy and
M. G. Speranza An efficient approximation scheme for
the subset-sum problem . . . . . . . . . 394
G. E. Pantziou and
G. P. Pentaris and
P. G. Spirakis Competitive call control in mobile
networks . . . . . . . . . . . . . . . . 404
J. Oommen and
J. Dong Generalized swap-with-parent schemes for
self-organizing sequential linear lists 414
S. M. Abdallah and
E. M. Nebot and
D. C. Rye Object Recognition and Orientation via
Zernike Moments . . . . . . . . . . . . I
M. Abdellatif and
Y. Tanaka and
A. Gofuku and
I. Nagai Illumination Color from the Blurred
Inter-reflection of a Reference Nose . . I
A. Adan and
C. Cerrada and
V. Feliu A Fast Mesh Deformation Method to Build
Spherical Representation Models of $3$D
Objects . . . . . . . . . . . . . . . . I
T. Akutsu and
K. Arakawa and
H. Murase Active Viewpoint Control for Shape from
Occluding Contours . . . . . . . . . . . I
V. V. Alexandrov and
E. V. Laikov and
B. E. Frenkel Dynamic Adaptive Data Structures for
Semantic Analysis and Synthesis of Video
Information . . . . . . . . . . . . . . I
A. Bab-Hadiashar and
D. Suter Robust Total least Squares Based Optic
Flow Computation . . . . . . . . . . . . I
X. Bai and
G. Xu Improved Supervised Color Constancy for
Color Inspection . . . . . . . . . . . . I
R. M. Bolle and
N. K. Ratha and
S. Pankanti Research Issues in Biometrics . . . . . I
M. S. Brown and
W. B. Seales Fast Stereo Matching in Compressed Video II
D. Burschka and
S. A. Blum Identification of $3$D Reference
Structures for Video-Based Localization I
A. Califano and
B. Germain and
S. Colville A High-Dimensional Indexing Scheme for
Scalable Fingerprint-Based
Identification . . . . . . . . . . . . . I
S.-H Cha Fast Image Template and Dictionary
Matching Algorithms . . . . . . . . . . I
A. Chaen and
K. Yamazawa and
N. Yokoya and
H. Takemura Acquisition of Three-Dimensional
Information Using Omnidirectional Stereo
Vision . . . . . . . . . . . . . . . . . I
J. Chai and
S. Ma Robust Epipolar Geometry Estimation
Using Genetic Algorithm . . . . . . . . I
D. Chen and
C.-M. Chang and
A. Laine Detection and Enhancement of Small
Masses via Precision Multiscale Analysis I
Y. Chen and
X. Ding and
Y. Wu and
M. Chen A New Nonlinear Shape Normalization
Method for Off-line Handwritten Chinese
Character Recognition . . . . . . . . . I
S. K. Chow and
M. Gillies and
S. L. Chan Parallel Implementation of Fractal Image
Compression Using Multiple Digital
Signal Processors . . . . . . . . . . . I
J.-M. Chung and
N. Ohnishi Robust Matching and Hierarchical
Recognition of $2$-D Shapes Using
``Chain of Circles'' . . . . . . . . . . I
C. Collina and
M. Ferri and
P. Frosini and
E. Porcellini Sketch Up: Towards Qualitative Shape
Data Management . . . . . . . . . . . . I
A. Cumani Efficient Contour Extraction in Color
Images . . . . . . . . . . . . . . . . . I
M. Daum and
G. Dudek Out of the Dark: Using Shadows to
Reconstruct $3$D Surfaces . . . . . . . I
R. Deriche and
C. Bouvin and
O. Faugeras Front Propagation and Level-Set Approach
for Geodesic Active Stereovision . . . . I
J. L. Fernandes and
J. R. A. Torreao Estimating Depth Through the Fusion of
Photometric Stereo Images . . . . . . . I
M. Ferri and
P. Frosini and
A. Lovato and
C. Zambelli Point Selection: A New Comparison Scheme
for Size Functions (With an Application
to Monogram Recognition) . . . . . . . . I
T. Funahashi and
T. Miyazaki and
M. Yamada and
H. Seki A Generating Method for $3$-dimensional
Knitting Cloth Shapes . . . . . . . . . I
E. Grimson Image Guided Surgical Systems . . . . . I
A. Gross and
L. Latecki Digital Geometric Methods in Image
Analysis and Compression . . . . . . . . I
M. Hanmandlu and
V. Shantaram Contour Matching Technique for $3$D
Object Recognition Using Kalman Filter I
M. Hanmandlu and
V. Shantaram Kalman Filter Based Matching Technique
for $3$D Object Recognition . . . . . . I
M. Hauta-Kasari and
W. Wang and
S. Toyooka and
J. Parkkinen Unsupervised Filtering of Munsell
Spectra . . . . . . . . . . . . . . . . I
L. Hong and
A. Jain Integrating Faces and Fingerprints for
Personal Identification . . . . . . . . I
A. J. Howell and
H. Buxton Learning Identity and Behaviour with
Neural Networks . . . . . . . . . . . . I
W. Hu and
W. B. Seales Recognition in Wavelet-Compressed
Imagery . . . . . . . . . . . . . . . . I
Q. Huang and
Y. Cui and
S. Samarasekera and
M. Greiffenhagen Auto Cameraman Via Collaborative Sensing
Agents . . . . . . . . . . . . . . . . . I
K. Imagawa and
S. Lu and
S. Igi Real-Time Tracking of Human Hands from a
Sign-Language Image Sequence . . . . . . I
S. S. Ipson and
M. Melhi and
W. Booth A Novel Triangulation Procedure for
Thinning Cursive Text . . . . . . . . . I
Y. Iwahori and
M. Murakami and
R. J. Woodham and
N. Ishii Sign of Surface Curvature from Shading
Images Using Neural Network . . . . . . I
J. Jia and
K. Abe Learning and Recognizing $3$D Objects by
Using Partial Planar Curve Matching
Method . . . . . . . . . . . . . . . . . I
N. Katafuchi and
M. Sano and
S. Ohara and
M. Okudaira A Method of Industrial Parts Surface
Inspection Based on an Optics Model . . I
Z. Kato and
T.-C. Pong and
J. C.-M. Lee Motion Compensated Color Video
Classification Using Markov Random
Fields . . . . . . . . . . . . . . . . . I
S. Kaveti and
Eam Khwang Teoh and
H. Wang Recognition of Planar Shapes Using
Algebraic Invariants from Higher Degree
Implicit Polynomials . . . . . . . . . . I
Hyoung Seop Kim and
N. Motomura and
S. Ishikawa Finding the Center of Rotational
Symmetry from Noisy Forms . . . . . . . I
Jin Wook Kim and
Eun Yi Kim and
Se Hyun Park and
Hang Joon Kim Segmentation of MRF Based Image Using
Hierarchical Genetic Algorithm . . . . . I
R. Kimmel and
R. Malladi and
N. Sochen Image Processing via the Beltrami
Operator . . . . . . . . . . . . . . . . I
R. Kimmel A Natural Norm for Color Processing . . I
R. Krishnamoorthi and
P. Bhattacharyya Color Edge Detection Using Orthogonal
Polynomials . . . . . . . . . . . . . . I
K. F. Lai and
H. Zhou and
S. Chan Query Expansion by Raw Image Features
and Text Annotations in Image Retrieval I
Z.-D. Lan and
R. Mohr and
L. Quan Precise Matching by Robust Estimation of
Deformation and Local Coherence . . . . I
J. Lang and
M. R. M. Jenkin Actively Building Models with VIRTUE . . I
Tak Kan Lau and
I. King Montage: An Image Database for the
Fashion, Textile, and Clothing Industry
in Hong Kong . . . . . . . . . . . . . . I
F. Li and
M. Brady Dynamic Calibration of an Active Vision
System to Compute the Ground Plane
Transformation . . . . . . . . . . . . . I
S. Z. Li and
Y. H. Huang and
J. S. Fu and
K. L. Chan Edge-Preserving Smoothing by Convex
Minimization . . . . . . . . . . . . . . I
S. X. Liao and
M. Pawlak A Study of Zernike Moment Computing . . I
C.-C. Lien and
C.-L. Huang The Model-Based Dynamic Hand Posture
Identification Using Genetic Algorithm I
X. Lin and
X. Ding and
Y. Chen and
J. Liu Evaluation and Application of
Recognition Confidence in OCR . . . . . I
S. H. Maes and
H. S. M. Beigi Open Sesame! Speech, Password or Key to
Secure Your Door? . . . . . . . . . . . I
E. Marchand and
F. Chaumette A Bayes Nets-Based
Prediction/Verification Scheme for
Active Visual Reconstruction . . . . . . I
A. M. McIvor and
P. T. Waltenberg Recognition of Simple Curved Surfaces
from $3$D Surface Data . . . . . . . . . I
S. J. McKenna and
S. Gong Face Recognition from Sequences Using
Models of Identity . . . . . . . . . . . I
S. J. McKenna and
Y. Raja and
S. Gong Object Tracking Using Adaptive Color
Mixture Models . . . . . . . . . . . . . I
C. Menard Stereo Correspondences in Scale Space I
Y. Mukaigawa and
Y. Nakamura and
Y. Ohta Face Synthesis with Arbitrary Pose and
Expression from Several Images --- An
Integration of Image-Based and
Model-Based Approaches . . . . . . . . . I
V. S. Nalwa Automatic On-line Signature Verification I
K. Nathan Pen Computing --- An Overview . . . . . I
K. Nozaki and
M. Niimi and
R. O. Eason and
E. Kawaguchi A Large Capacity Steganography Using
Color BMP Images . . . . . . . . . . . . I
T. Okatani and
K. Deguchi On the Classification of Singular Points
for the Global Shape from Shading
Problem: A Study of the Constraints
Imposed by Isophotes . . . . . . . . . . I
T. Okatani and
K. Deguchi Determination of Sign of Gaussian
Curvature of Surface Having General
Reflectance Property . . . . . . . . . . I
N. Oshiro and
A. Nishikawa and
N. Maru and
F. Miyazaki Foveated Vision for Scene Exploration I
C. I. Pagliari and
T. J. Dennis Evolutionary Methods Applied to
Binocular Disparity Estimation . . . . . I
In Kyu Park and
Il Dong Yun and
Sang Uk Lee A Color Normalization Algorithm for
Image Indexing . . . . . . . . . . . . . I
A. Psarrou and
J. Tanner Using RBF Networks to Map GWT Ridge
Images to Pose . . . . . . . . . . . . . I
Z. Qi and
W. Gu Combining Camera and Laser Radar for ALV
Navigation . . . . . . . . . . . . . . . I
H. Qi and
W. E. Snyder and
G. L. Bilbro Comparison of Mean Field Annealing and
Multiresolution Analysis in Missing Data
Estimation . . . . . . . . . . . . . . . I
Z. Qi and
Z. Duric and
R. S. Michalski Detecting Targets in SAR Images: A
Machine Learning Approach . . . . . . . I
Y. Raja and
S. J. McKenna and
S. Gong Segmentation and Tracking Using Color
Mixture Models . . . . . . . . . . . . . I
R. S. Ramakrishna and
B. Vaidyanathan Error Analysis in Stereo Vision . . . . I
V. Rehrmann and
L. Priese Fast and Robust Segmentation of Natural
Color Scenes . . . . . . . . . . . . . . I
Y. Rubner and
C. Tomasi and
L. J. Guibas Adaptive Color-Image Embeddings for
Database Navigation . . . . . . . . . . I
C. Schuetz and
T. Jost and
H. Huegli Semi-automatic $3$D Object Digitizing
System Using Range Images . . . . . . . I
S. Se and
M. Brady Stereo Vision-Based Obstacle Detection
for Partially Sighted People . . . . . . I
W. Shen Automated Fingerprint Pattern
Classification Error Analysis . . . . . I
N. Shimada and
Y. Shirai and
Y. Kuno and
J. Miura $3$-D Pose Estimation and Model
Refinement of an Articulated Object from
a Monocular Image Sequence . . . . . . . I
N. Srinivasa and
N. Ahuja A Learning Approach to Fixating on $3$D
Targets with Active Cameras . . . . . . I
H. T. Tanaka and
A. Ishizawa and
H. Adachi Live Facial Expression Generation Based
on Mixed Reality . . . . . . . . . . . . I
C.-Y. Tang and
Y.-P. Hung and
Z. Chen Automatic Detection and Tracking of
Human Heads Using an Active Stereo
Vision System . . . . . . . . . . . . . I
Y.-L. Tian and
H. T. Tsui and
S. Y. Yeung Spherical and Cylindrical Light Source
Models for Shape Recovery . . . . . . . I
Y.-L. Tian and
H. T. Tsui and
S. Y. Yeung Shape Recovery from One Image under
Multiple Light Sources . . . . . . . . . I
S. Tominaga Estimation of Reflection Parameters from
a Color Image . . . . . . . . . . . . . I
W. B. Tong and
S. K. Tso and
S. Lang and
G. Z. Lu Directing Robots with Visual Primitives
for Navigation and Micro-manipulation I
Y.-F. Wang and
R.-B. O. Alferez A Unified Framework for Image-Derived
Invariants . . . . . . . . . . . . . . . I
B. Wirtz Technical Evaluation of Biometric
Systems . . . . . . . . . . . . . . . . I
M. Xie New Development of Stereo Vision: A
Solution of Motion Stereo Correspondence I
J. Yang and
D. Zhang and
N. Ohnishi and
N. Sugie Polyhedral Shape Recovery Based on
Interreflections . . . . . . . . . . . . I
Kin Choong Yow and
R. Cipolla Enhancing Human Face Detection Using
Motion and Active Contours . . . . . . . I
H. Zha and
T. Hoshide and
T. Hasegawa A Recursive Fitting-and-Splitting
Algorithm for $3$-D Object Modeling
Based on Superquadrics . . . . . . . . . I
J.-I. Hayashi and
K. Kato and
T. Endoh and
K. Murakami On Typical Implementations of Hough
Transform for Improving Its Performances 1
Y. Chen and
S. Ma Hierarchical Segmentation and
Representation with Dynamic Link
Architecture Neural Network . . . . . . 9
N. Zhang and
Wee Kheng Leow Perceptually Consistent Segmentation of
Texture Using Multiple Channel Filter 17
M. Shoaib Bhuiyan and
Y. Iwahori and
A. Iwata Optimal Edge Detection under Difficult
Imaging Conditions . . . . . . . . . . . 25
K. Ratakonda and
N. Ahuja Restoring Image Quality Through
Structure Preserving De-noising . . . . 33
M. Jenkinson and
M. Brady Feature Saliency from Noise Variations
in Invariants . . . . . . . . . . . . . 41
F. Chen and
D. Surer Multiscale Image Representation and Edge
Detection . . . . . . . . . . . . . . . 49
S. R. Fountain and
T. N. Tan Rotation Invariant Texture Features from
Gabor Filters . . . . . . . . . . . . . 57
A. Salden Euclidean Invariants of Linear
Scale-Spaces . . . . . . . . . . . . . . 65
F. Mokhtarian Segmenting Objects at Multiple Scales: A
Robust Approach . . . . . . . . . . . . 73
G. Qiu Multi-grid Edge Models for Magnifying
Digital Images . . . . . . . . . . . . . 81
T. Kurita and
K. Hotta and
T. Mishima Scale and Rotation Invariant Recognition
Method Using Higher-Order Local
Autocorrelation Features of Log-Polar
Image . . . . . . . . . . . . . . . . . 89
G. S. Peake and
T. N. Tan Script and Language Identification from
Document Images . . . . . . . . . . . . 97
H. Masai and
T. Watanabe Document Categorization for Document
Image Understanding . . . . . . . . . . 105
N. Yokokura and
T. Watanabe Recognition of Various Bar-graph
Structures Based on Layout Model . . . . 113
P.-K. Wong and
C. Chan Word-Class Bigram Statistics Language
Model for a Hand-Written Chinese
Character Recognizer . . . . . . . . . . 121
X. Wang Log Classification by Single X-ray Scans
Using Texture Features from Growth Rings 129
H. Takebe and
Y. Katsuyama and
S. Naoi Precise and Fast Form Identification
Method by Using Adaptive Base Lines for
Matching . . . . . . . . . . . . . . . . 137
J. Zheng and
X. Ding and
Y. Wu and
F. Guo Combinatorial Coarse Classification
Method for OLCCR . . . . . . . . . . . . 145
Y. Liu and
T. Yamamura and
N. Ohnishi and
N. Sugie Detecting Characters in Grey-Scale Scene
Images . . . . . . . . . . . . . . . . . 153
A. Sugimoto Conic Based Image Transfer for $2$-D
Objects: A Linear Algorithm . . . . . . 161
A. Heyden and
K. Aastroem Minimal Conditions on Intrinsic
Paramenters for Euclidean Reconstruction 169
J. H. M. Byne and
J. A. D. W. Anderson Surface Based Hypothesis Verification in
Intensity Images Using Geometric and
Appearance Data . . . . . . . . . . . . 177
H. Zha and
K. Morooka and
T. Masegawa Next Best Viewpoint (NBV) Planning for
Active Object Modeling Based on a
Learning-by-Showing Approach . . . . . . 185
T. Lourens and
R. P. Wuertz Object Recognition by Matching Symbolic
Edge Graphs . . . . . . . . . . . . . . 193
M. E. Westling and
L. S. Davis Interpretation of Complex Scenes Using
Bayesian Networks . . . . . . . . . . . 201
P. Liu and
W. Wu and
K. Ikeuchi and
M. Sakauchi Recognition of Urban Scene Using
Silhouette of Buildings and City Map
Database . . . . . . . . . . . . . . . . 209
M. Nishijima and
T. Watanabe A Cooperative Inference Mechanism for
Extracting Road Information
Automatically . . . . . . . . . . . . . 217
T. Liu and
Kap Luk Chan and
Stan Ziqing Li Model-Based Active Object Recognition
Using MRF Matching and Sensor Planning 225
W. B. Seales and
Cheng Jiun Yuan Improved Image Classification Using
Morphing . . . . . . . . . . . . . . . . 233
C.-H. Kim and
T.-J. Suh Reconstruction of Non-manifold Objects
from Two Orthographic Views . . . . . . 241
Y. Sumi and
F. Tomita $3$D Object Recognition Using
Segment-Based Stereo Vision . . . . . . 249
B. Funt The State of Color Vision Research . . . 257
S. Tominaga Color Vision and Color Media Processing
Research in Asia . . . . . . . . . . . . 258
S. J. Noronha and
R. Nevatia Recent Advances in Detection and
Description of Buildings from Multiple
Aerial Images . . . . . . . . . . . . . 259
L. Davis and
S. Fejes and
D. Harwood and
Y. Yacoob Visual Surveillance of Human Activity 267
J. K. Aggarwal and
S. Shah Bayesian Paradigm for Recognition of
Objects --- Innovative Applications . . 275
R. Bolle and
Y. Aloimonos and
C. Fermueller Toward Motion Picture Grammars . . . . . 283
P. Bajcsy and
N. Ahuja Hierarchical Texture Segmentation . . . 291
X. Jiang and
H. Bunke Range Image Segmentation: Adaptive
Grouping of Edges into Regions . . . . . 299
M. Mirmehdi and
P. L. Palmer and
J. Kittler Optimising the Complete Image Feature
Extraction Chain . . . . . . . . . . . . 307
M.-S. Lee and
G. Medioni A Unified Framework for Salient Curves,
Regions, and Junctions Inference . . . . 315
B. Perrin and
N. Ahuja and
N. Srinivasa Learning Multiscale Image Models of $2$D
Object Classes . . . . . . . . . . . . . 323
M. Minoh $3$D Model Centered Framework for CV and
VR . . . . . . . . . . . . . . . . . . . 332
Z. Zhang Image-Based Geometrically-Correct
Photorealistic Scene/Object Modeling
(IBPhM) . . . . . . . . . . . . . . . . 340
Y. Sato and
M. D. Wheeler and
K. Ikeuchi Measuring Object Surface Shape and
Reflectance Properties . . . . . . . . . 350
M.-O. Berger and
G. Simon Robust Image Composition Algorithms for
Augmented Reality . . . . . . . . . . . 360
K.-H. Jo and
Y. Kuno and
Y. Shirai Context-Based Recognition of
Manipulative Hand Gestures for Human
Computer Interaction . . . . . . . . . . 368
M. Trajkovic and
M. Hedley An Algorithm for Recursive Structure and
Motion Recovery under Affine Projection 376
Z.-Y. Zhang and
H.- T. Tsui Relative Affine Depth: Structure from
Motion by an Uncalibrated Camera . . . . 384
M. Trajkovic and
M. Hedley The Eigenspace Method for Rigid Motion
Recovery from less than Eight Point
Correspondences . . . . . . . . . . . . 392
Y.-F. Wang and
P. Liang $3$D Shape and Motion Analysis from
Image Blur and Smear: A Unified Approach 400
P. Wang and
K. Ikeuchi and
M. Sakauchi $3$D Line's Extraction from $2$D
Spatio-temporal Image Created by Sine
Slit . . . . . . . . . . . . . . . . . . 408
A. Bottino and
A. Laurentini and
P. Zuccone Toward Non-intrusive Motion Capture . . 416
K. Ohba and
Y. Sato and
K. Ikeuchi Appearance Based Visual Learning and
Object Recognition with Illumination
Invariance . . . . . . . . . . . . . . . 424
Y. Taniguchi and
Y. Shirai Evidence-Based Scene Interpretation
Considering Subjective Certainty of
Recognition . . . . . . . . . . . . . . 432
F. Jurie Robust Hypothesis Verification for Model
Based Object Recognition Using Gaussian
Error Model . . . . . . . . . . . . . . 440
S. Kirihara and
H. Saito Shape Modeling from Multiple View Images
Using GAs . . . . . . . . . . . . . . . 448
N. Jojic and
J. Gu and
H. C. Shen and
T. S. Huang $3$-D Reconstruction of Multipart
Self-Occluding Objects . . . . . . . . . 455
N. Jojic and
T. S. Huang On Analysis of Cloth Drape Range Data 463
M. Shinya and
T. Saito and
T. Mori and
N. Osumi VR Models from Epipolar Images: An
Approach to Minimize Errors in
Synthesized Images . . . . . . . . . . . 471
S. Yonemoto and
N. Tsuruta and
R.- I. Taniguchi Shape and Pose Parameter Estimation of
$3$D Multi-Part Objects . . . . . . . . 479
Jiang Yu Zheng and
A. Murata and
N. Abe Generating $3$D Models of Objects Using
Multiple Visual Cues in Image Sequences 487
T. Mita and
S. Hiura and
H. Kato and
S. Inokuchi Strategical Tracking of Polyhedral
Objects by Reactive Change of Projection
Pattern --- Reactive Range Finder . . . 495
W.-S. Hwang and
J. Weng Autonomous Vision-Guided Robot
Manipulation Control . . . . . . . . . . 503
Q. Zhang and
W. Gu and
X. Ye A New Adaptive Approach on Rapid
Obstacle Detection in Range Image . . . 511
K. Uchimura and
Z. Hu Recognition of Shape Model for General
Roads . . . . . . . . . . . . . . . . . 519
M. I. A. Lourakis and
S. C. Orphanoudakis Visual Detection of Obstacles Assuming a
Locally Planar Ground . . . . . . . . . 527
J.-H. Chuang and
C.-H. Tsai and
W.-H. Tsai and
C.-Y. Yang Potential-Based Modeling of $2$D Regions
Using Non-uniform Source Distributions 535
G. Xu and
N. Sugimoto A Linear Algorithm for Motion from Three
Weak Perspective Images Using Euler
Angles . . . . . . . . . . . . . . . . . 543
A. R. Pearce and
T. Caelli and
S. Goss On Learning Spatio-Temporal Relational
Structures in Two Different Domains . . 551
S. H. Or and
W. S. Luk and
K. H. Wong and
I. King An Efficient Iterative Pose Estimation
Algorithm . . . . . . . . . . . . . . . 559
Z. Zhang A New Multistage Approach to Motion and
Structure Estimation by Gradually
Enforcing Geometric Constraints . . . . 567
Y. Ye and
J. K. Tsotsos and
K. Bennet and
E. Harley Tracking a Person with Pre-recorded
Image Database and a Pan, Tilt, and Zoom
Camera . . . . . . . . . . . . . . . . . 575
T. Mukai and
N. Ohnishi Recovery of Motion and Structure from
Optical Flow under Perspective
Projection by Solving Linear
Simultaneous Equations . . . . . . . . . 583
F. K. H. Quek and
R. K. Bryll Vector Coherence Mapping: A
Parallelizable Approach to Image Flow
Computation . . . . . . . . . . . . . . 591
A. Bab-Hadiashar and
D. Suter Robust Motion Segmentation Using Rank
Ordering Estimators . . . . . . . . . . 599
Q. Yang and
S. Ma Optical Flow in the Scale Space . . . . 607
P. M. Ngan Motion Detection in Temporal Clutter . . 615
W. Booth and
J. M. Noras and
D. Xu A Novel Fast Three-Step Search Algorithm
for Block-Matching Motion Estimation . . 623
Y. Lu and
J. Miller and
Tie Qi Chen Moving Vehicle Detection and Tracking in
Image Sequences . . . . . . . . . . . . 631
Y. Iwai and
T. Hata and
M. Yachida Gesture Recognition from Image Motion
Based on Subspace Method and HMM . . . . 639
D. Pramadihanto and
Y. Iwai and
M. Yachida and
H. Wu Identifying Faces under Varying Pose
Using a Single Example View . . . . . . 647
A. Utsumi and
H. Mori and
J. Ohya and
M. Yachida Multiple Camera Based Human Motion
Estimation . . . . . . . . . . . . . . . 655
K. Murakami and
M. Takai and
H. Koshimizu An Autonomous Facial Caricaturing Based
on a Model of Visual
Illusion-Experimental Modeling of Visual
Illusion . . . . . . . . . . . . . . . . 663
T. Ishikawa and
H. Sera and
S. Morishima and
D. Terzopoulos $3$D Estimation of Facial Muscle
Parameter from the $2$D Marker Movement
Using Neural Network . . . . . . . . . . 671
S. Gong and
E.-J. Ong and
P. J. Loft Appearance-Based Face Recognition under
Large Head Rotations in Depth . . . . . 679
J. Yang and
W. Lu and
A. Waibel Skin-Color Modeling and Adaptation . . . 687
Y. Ariki and
N. Ishikawa and
Y. Sugiyama Human Information Retrieval by Face
Extraction and Recognition on TV News
Images Using Subspace Method . . . . . . 695
T. Otsuka and
J. Ohya Converting Facial Expressions Using
Recognition-Based Analysis of Image
Sequences . . . . . . . . . . . . . . . 703
H. Ohta and
H. Saji and
H. Nakatani Muscle-Based Feature Models for
Analyzing Facial Expressions . . . . . . 711
Y. Li and
S. Ma and
H. Lu A Morphological Method for Moving Object
Segmentation and Posture Recognition . . 719
X. Jiang and
M. Binkert and
B. Achermann and
H. Bunke Detection of Glasses in Facial Images 726
T. Nishimura and
T. Mukai and
R. Oka Non-monotonic Continuous Dynamic
Programming for Spotting Recognition of
Hesitated Gestures from Time-Varying
Images . . . . . . . . . . . . . . . . . 734
H.-Y. M. Liao and
C.-C. Han and
G.-J. Yu and
H.-R. Tyan Face Recognition Using a Face-Only
Database: A New Approach . . . . . . . . 742
W. Lenhart and
G. Liotta Drawable and Forbidden Minimum Weight
Triangulations . . . . . . . . . . . . . 1
M. Juenger and
E. K. Lee and
P. Mutzel and
T. Odenthal A Polyhedral Approach to the Multi-Layer
Crossing Minimization Problem . . . . . 13
P. Bose On Embedding an Outer-Planar Graph in a
Point Set . . . . . . . . . . . . . . . 25
F. Shahrokhi and
O. Sykora and
L. A. Szekely and
I. Vrt'o Bipartite Crossing Numbers of Meshes and
Hypercubes . . . . . . . . . . . . . . . 37
J. Pach and
T. Thiele and
G. Toth Three-dimensional Grid Drawings of
Graphs . . . . . . . . . . . . . . . . . 47
A. Papakostas and
I. G. Tollis Incremental Orthogonal Graph Drawing in
Three Dimensions . . . . . . . . . . . . 52
T. Calamoneri and
A. Massini On Three-Dimensional Layout of
Interconnection Networks . . . . . . . . 64
T. Biedl and
T. Shermer and
S. Whitesides and
S. Wismath Orthogonal $3$-D Graph Drawing . . . . . 76
P. Eades and
M. E. Houle and
R. Webber Finding the Best Viewpoints for
Three-Dimensional Graph Drawings . . . . 87
M. Saidur Rahman and
S.-I. Nakano and
T. Nishizeki A Linear Algorithm for Optimal
Orthogonal Drawings of Triconnected
Cubic Plane Graphs . . . . . . . . . . . 99
U. Foessmeier Interactive Orthogonal Graph Drawing:
Algorithms and Bounds . . . . . . . . . 111
M. A. Garrido and
A. Marquez Embedding a Graph in the Grid of a
Surface with the Minimum Number of Bends
is NP-hard . . . . . . . . . . . . . . . 124
U. Foessmeier and
M. Kaufmann Algorithms and Area Bounds for Nonplanar
Orthogonal Drawings . . . . . . . . . . 134
P. Eades and
Q.-W Feng Drawing Clustered Graphs on an
Orthogonal Grid . . . . . . . . . . . . 146
F. J. Brandenburg Graph Clustering I: Circles of Cliques 158
K. C. Kakoulis and
I. G. Tollis An Algorithm for Labeling Edges of
Hierarchical Drawings . . . . . . . . . 169
C. Iturriaga and
A. Lubiw Elastic Labels: the Two-Axis Case . . . 181
M. Juenger and
S. Leipert and
P. Mutzel Pitfalls of Using PQ-Trees in Automatic
Graph Drawing . . . . . . . . . . . . . 193
P. Valtr Graph Drawings with no k Pairwise
Crossing Edges . . . . . . . . . . . . . 205
X. Lin and
P. Eades Area Requirements for Drawing
Hierarchically Planar Graphs . . . . . . 219
H. De Fraysseix and
P. Ossona de Mendez A Short Proof of a Gauss Problem . . . . 230
U. Brandes and
D. Wagner A Bayesian Paradigm for Dynamic Graph
Layout . . . . . . . . . . . . . . . . . 236
H. Purchase Which Aesthetic has the Greatest Effect
on Human Understanding? . . . . . . . . 248
D. P. Dobkin and
E. R. Gansner and
E. Koutsofios and
S. C. North Implementing a General-Purpose Edge
Router . . . . . . . . . . . . . . . . . 262
S. P. Fekete and
M. E. Houle and
S. Whitesides The Wobbly Logic Engine: Proving
Hardness of Non-rigid Geometric Graph
Representation Problems . . . . . . . . 272
M. Patrignani and
F. Vargiu $3$DCube: A Tool for Three Dimensional
Graph Drawing . . . . . . . . . . . . . 284
T. Roxborough and
A. Sen Graph Clustering Using Multiway Ratio
Cut . . . . . . . . . . . . . . . . . . 291
C. Hundack and
P. Mutzel and
I. Pouchkarev and
S. Thome ArchE: A Graph Drawing System for
Archaeology . . . . . . . . . . . . . . 297
S. S. Bridgeman and
J. Fanto and
A. Garg and
R. Tamassia InteractiveGiotto: An Algorithm for
Interactive Orthogonal Graph Drawing . . 303
W. Didimo and
A. Leonforte GRID: An Interactive Tool for Computing
Orthogonal Drawings With the Minimum
Number of Bends . . . . . . . . . . . . 309
D. Tunkelang and
R. J. Byrd and
J. W. Cooper Lexical Navigation: Using Incremental
Graph Drawing for Query Refinement . . . 316
B. Andalman and
K. Ryall and
W. Ruml and
J. Marks Design Gallery Browsers Based on $2$D
and $3$D Graph Drawing . . . . . . . . . 322
P. Eades and
R. F. Cohen and
Mao Lin Huang Online Animated Graph Drawing for Web
Navigation . . . . . . . . . . . . . . . 330
N. S. Barghouti and
J. Mocenigo and
W. Lee Grappa: A GRAPh PAckage in Java . . . . 336
H. Lauer and
M. Ettrich and
K. Soukup GraVis --- System Demonstration . . . . 344
P. Hlineny Touching Graphs of Unit Balls . . . . . 350
J. Czyzowicz and
E. Kranakis and
D. Krizanc and
J. Urrutia Discrete Realizations of Contact and
Intersection Graphs . . . . . . . . . . 359
P. Crescenzi and
P. Penna Minimum-Area $h$-$v$ Drawings of
Complete Binary Trees . . . . . . . . . 371
T. C. Biedl and
B. P. Madden and
I. G. Tollis The Three-Phase Method: A Unified
Approach to Orthogonal Graph Drawing . . 391
G. J. Wills NicheWorks --- Interactive Visualization
of Very Large Graphs . . . . . . . . . . 403
J. Seemann Extending the Sugiyama Algorithm for
Drawing UML Class Diagrams: Towards
Automatic Layout of Object-Oriented
Software Diagrams . . . . . . . . . . . 415
J. Berry and
N. Dean and
M. Goldberg and
G. Shannon Graph Drawing and Manipulation with LINK 425
P. Eades and
J. Marks and
S. North Graph-Drawing Contest Report . . . . . . 438
Olaf Burkart 1. Introduction . . . . . . . . . . . . 1
Olaf Burkart 2. Background . . . . . . . . . . . . . 9
Olaf Burkart 3. Pushdown Processes . . . . . . . . . 33
Olaf Burkart 4. Model Checking . . . . . . . . . . . 67
Olaf Burkart 5. Equivalence Checking . . . . . . . . 115
Olaf Burkart 6. Summary and Perspectives . . . . . . 151
A. Al-Dabbagh and
M. Darnell The Theory and Application of Reciprocal
Pairs of Periodic Sequences . . . . . . 1
A. K. Al Jabri and
S. Al-Issa Zero-Error Codes for Correlated
Information Sources . . . . . . . . . . 17
P. Benachour and
G. Markarian and
B. Honary Trellis Decoding Techniques and Their
Performance in the Adder Channel for
Synchronous and Asynchronous CCMA Codes 23
S. Blake-Wilson and
D. Johnson and
A. Menezes Key Agreement Protocols and Their
Security Analysis . . . . . . . . . . . 30
J. Bond and
S. Hui and
H. Schmidt Low Density Parity Check Codes Based on
Sparse Matrices with No Small Cycles . . 46
K. Brincat and
A. Meijer On the SAFER Cryptosystem . . . . . . . 59
K. L. Brown and
M. Darnell An Adaptive Approach to $T$ of $N$ User
Multi-access Communications Channel
Using an Orthogonal Coded Multiplexer 69
F. L. Carter The Breaking of the Lorenz Cipher: An
Introduction to the Theory behind the
Operational Role of ``Colossus'' at BP 74
C. Cocks Split Knowledge Generation of RSA
Parameters . . . . . . . . . . . . . . . 89
P. Fan Analysis of Error Control in Digital
Trunked Radio Systems . . . . . . . . . 96
E. Filiol Reconstruction of Convolutional Encoders
over GF$ (q) $ . . . . . . . . . . . . . 101
S. Harari HCC: A Hash Function Using Error
Correcting Codes . . . . . . . . . . . . 110
E. Hess Public-Key Cryptosystems Based on
Elliptic Curves --- An Evolutionary
Approach . . . . . . . . . . . . . . . . 118
B. Honary and
B. Thomas and
P. Coulton and
M. Darnell Novel Application of Turbo Decoding for
Radio Channels . . . . . . . . . . . . . 119
N. Howgrave-Graham Finding Small Roots of Univariate
Modular Equations Revisited . . . . . . 131
E. Husni and
P. Sweeney Robust Reed Solomon Coded MPSK
Modulation . . . . . . . . . . . . . . . 143
M. Joye and
J. J. Quisquater and
F. Bao and
R. H. Deng RSA-type Signatures in the Presence of
Transient Faults . . . . . . . . . . . . 155
G. Kabatianskii and
E. Krouk and
B. Smeets A Digital Signature Scheme Based on
Random Error-Correcting Codes . . . . . 161
V. K. N. Lau and
M. D. Macleod Variable Rate Adaptive Trellis Coded QAM
for High Bandwidth Efficiency
Applications under Rayleigh Fading
Channel . . . . . . . . . . . . . . . . 168
V. K. N. Lau and
S. V. Maric Variable Rate Adaptive Channel Coding
for Coherent and Non-coherent Rayleigh
Fading Channel . . . . . . . . . . . . . 180
B. Lin and
S. Shepherd LABYRINTH: a New Ultra High Speed Stream
Cipher . . . . . . . . . . . . . . . . . 192
X. Liu and
P. G. Farrell and
C. A. Boyd Resisting the Bergen-Hogan Attack on
Adaptive Arithmetic Coding . . . . . . . 199
G. Markarian and
P. Benachour and
B. Honary Novel Decoding Technique for the
Synchronous and Quasi-synchronous
Multiple Access Adder Channel . . . . . 209
K. M. Martin Increasing Efficiency of International
Key Escrow in Mutually Mistrusting
Domains . . . . . . . . . . . . . . . . 221
J. Maucher Multi Dimensional Compartment Schemes 233
S. McManus and
P. G. Farrell Evaluation of Standard Approximation to
Log-likelihood Ratio Addition in the MAP
Algorithm, and its Application in Block
Code (Turbo) Iterative Decoding
Algorithms . . . . . . . . . . . . . . . 239
W. H. Mow Multiuser Coding Based on Detecting
Matrices for Synchronous-CDMA Systems 251
C. P. O'Donoghue and
C. J. Burkley Enumeration of Convolutional Codes and
Minimal Encoders . . . . . . . . . . . . 258
R. G. E. Pinch On Using Carmichael Numbers for Public
Key Encryption Systems . . . . . . . . . 265
B. Preneel Hash Functions and MAC Algorithms Based
on Block Ciphers . . . . . . . . . . . . 270
C. Radu and
R. Govaerts and
J. Vandewalle Witness Hiding Restrictive Blind
Signature Scheme . . . . . . . . . . . . 283
M. Schneider A Note on the Construction and Upper
Bounds of Correlation-Immune Functions 295
S. Sonander and
B. Honary On Generalised Concatenated Codes . . . 307
A. Tandon and
P. G. Farrell Error Performance Analysis of Different
Interleaving Strategies Applied to Eight
Track Digital Tape Systems . . . . . . . 317
A. Zuquete and
P. Guedes Efficient Error-Propagating Block
Chaining . . . . . . . . . . . . . . . . 323
C. Keramane and
A. Duda Operator Based Composition of Structured
Multimedia Presentations . . . . . . . . 1
J. Tassel and
B. Briscoe and
A. Smith An End to End Price-Based QoS Control
Component Using Reflective Java . . . . 18
V. Tschammer and
M. Mendes and
V. Ouzounis and
M. Tschichholz SECCO --- Support Environment for
Electronic Commerce . . . . . . . . . . 33
D. J. Kim and
H. Namgoong and
Y.-C. Lew A Bridge for Heterogeneous Communication
between CORBA and DCE . . . . . . . . . 45
H. Olivir and
M. Banfield and
D. Hutchison Distributed Connection Management for
Real-Time Multimedia Services . . . . . 59
T. Kunkelmann and
T. Blecher and
R. Reinema and
R. Steinmetz Evaluation of Different Video Encryption
Methods for a Secure Multimedia
Conferencing Gateway . . . . . . . . . . 75
L. Rizzo The FreeBSD Audio Driver . . . . . . . . 90
J. Mangues-Bafalluy and
J. Domingo-Pascual Cell Discarding Mechanisms with Minimum
Flow Quality . . . . . . . . . . . . . . 105
W. Ruppel Implementing the Digital Storage Media
--- Command and Control (DSM-CC)
Standard in the Framework of an On-Line
Service . . . . . . . . . . . . . . . . 122
T. Pfeifer and
S. Arbanowski and
R. Popescu-Zeletin Resource Selection in Heterogeneous
Communication Environments Using the
Teleservice Descriptor . . . . . . . . . 132
R. Wittmann and
M. Zitterbart AMnet: Active Multicasting Network . . . 154
M. Hofmann and
M. Rohrmueller Impact of Virtual Group Structure on
Multicast Performance . . . . . . . . . 165