Table of contents for issues of Lecture Notes in Computer Science

Last update: Sat May 2 17:29:27 MDT 2020                Valid HTML 3.2!

Volume 2330, 2002
Volume 2331, 2002
Volume 2332, 2002
Volume 2333, 2002
Volume 2334, 2002
Volume 2335, 2002
Volume 2336, 2002
Volume 2337, 2002
Volume 2338, 2002
Volume 2339, 2002
Volume 2340, 2002
Volume 2342, 2002
Volume 2345, 2002
Volume 2347, 2002
Volume 2348, 2002
Volume 2349, 2002
Volume 2350, 2002
Volume 2351, 2002
Volume 2352, 2002
Volume 2353, 2002
Volume 2355, 2002
Volume 2356, 2002
Volume 2358, 2002
Volume 2359, 2002
Volume 2360, 2002
Volume 2361, 2002
Volume 2362, 2002
Volume 2363, 2002
Volume 2364, 2002
Volume 2365, 2002
Volume 2366, 2002
Volume 2367, 2002
Volume 2368, 2002
Volume 2369, 2002


Lecture Notes in Computer Science
Volume 2330, 2002

                 V. Jolivet and   
                D. Plemenos and   
                  P. Poulingeas   Inverse Direct Lighting with a Monte
                                  Carlo Method and Declarative Modelling   3
              V. A. Debelov and   
              I. M. Sevastyanov   Light Meshes --- Original Approach to
                                  Produce Soft Shadows in Ray Tracing  . . 13
                   M. Perez and   
               M. Fernandez and   
                      M. Lozano   Adding Synthetic Detail to Natural
                                  Terrain Using a Wavelet Approach . . . . 22
                  S. H. Seo and   
                 D. W. Kang and   
                 Y. S. Park and   
                     K. H. Yoon   The New Area Subdivision Methods for
                                  Producing Shapes of Colored Paper Mosaic 32
                   M. Franc and   
                       V. Skala   Fast Algorithm for Triangular Mesh
                                  Simplification Based on Vertex
                                  Decimation . . . . . . . . . . . . . . . 42
    E. Roanes-Macías and   
               E. Roanes-Lozano   Geometric Determination of the Spheres
                                  Which Are Tangent to Four Given Ones . . 52
                M. Elkouhen and   
                    D. Bechmann   Metamorphosis of Non-homeomorphic
                                  Objects  . . . . . . . . . . . . . . . . 62
            C. Cosín and   
                    J. Monterde   Bézier Surfaces of Minimal Area . . . . . 72
                     J. Ryu and   
                     Y. Cho and   
                      D.-S. Kim   Transformation of a Dynamic B-Spline
                                  Curve into Piecewise Power Basis
                                  Representation . . . . . . . . . . . . . 82
                J. J. Zhang and   
                         L. You   Rapid Generation of C Continuous
                                  Blending Surfaces  . . . . . . . . . . . 92
                  B. Wilson and   
                  E. B. Lum and   
                       K.-L. Ma   Interactive Multi-volume Visualization   102
         Ó. Belmonte and   
                 I. Remolar and   
                J. Ribelles and   
                  M. Chover and   
            M. Fernández   Efficient Implementation of
                                  Multiresolution Triangle Strips  . . . . 111
                   I. Boada and   
                      I. Navazo   The Hybrid Octree: Towards the
                                  Definition of a Multiresolution Hybrid
                                  Framework  . . . . . . . . . . . . . . . 121
                     X. Mao and   
                  K. Kashio and   
                    H. Kato and   
                     A. Imamiya   Interactive Hairstyle Modeling Using a
                                  Sketching Interface  . . . . . . . . . . 131
                 S. T. Ryoo and   
                     K. H. Yoon   Orthogonal Cross Cylinder Using
                                  Segmentation Based Environment Modeling  141
              C. Essert-Villard   Helping the Designer in Solution
                                  Selection: Applications in CAD . . . . . 151
                J. Puig-Pey and   
           A. Gálvez and   
                    A. Iglesias   Polar Isodistance Curves on Parametric
                                  Surfaces . . . . . . . . . . . . . . . . 161
               L. Antonelli and   
            L. Carracciuolo and   
              M. Ceccarelli and   
                 L. D'Amore and   
                       A. Murli   Total Variation Regularization for Edge
                                  Preserving $3$D SPECT Imaging in High
                                  Performance Computing Environments . . . 171
                    A. Iglesias   Computer Graphics Techniques for
                                  Realistic Modeling, Rendering, and
                                  Animation of Water. Part I: 1980-88  . . 181
                    A. Iglesias   Computer Graphics Techniques for
                                  Realistic Modeling, Rendering and
                                  Animation of Water. Part II: 1989-1997   191
          É. Schramm and   
                     P. Schreck   A Case Study in Geometric Constructions  201
                      F. Botana   Interactive versus Symbolic Approaches
                                  to Plane Loci Generation in Dynamic
                                  Geometry Environments  . . . . . . . . . 211
            H. Peyré and   
                    D. Bechmann   Deformations Expressed as Displacement
                                  Maps: An Easy Way to Combine
                                  Deformations . . . . . . . . . . . . . . 219
                   A. Arnal and   
                   A. Lluch and   
                    J. Monterde   A Property on Singularities of NURBS
                                  Curves . . . . . . . . . . . . . . . . . 229
                J. J. Zheng and   
                    J. J. Zhang   Interactive Deformation of Irregular
                                  Surface Models . . . . . . . . . . . . . 239
       P.-P. Vázquez and   
                       M. Sbert   Bandwidth Reduction Techniques for
                                  Remote Navigation Systems  . . . . . . . 249
                   F. Marir and   
                K. Ouazzane and   
                     K. Zerzour   OSCONVR: An Interactive Virtual Reality
                                  Interface to an Object-Oriented Database
                                  System for Construction Architectural
                                  Design . . . . . . . . . . . . . . . . . 258
                 J. Rodeiro and   
                G. Pérez   Internet Client Graphics Generation
                                  Using XML Formats  . . . . . . . . . . . 268
                  D.-S. Kim and   
                     Y. Cho and   
                         D. Kim   The Compression of the Normal Vectors of
                                  $3$D Mesh Models Using Clustering  . . . 275
                  A. Sosnov and   
             P. Macé and   
               G. Hégron   Semi-metric Formal $3$D Reconstruction
                                  from Perspective Sketches  . . . . . . . 285
                  C.-P. Alberts   Reconstruction of Surfaces from Scan
                                  Paths  . . . . . . . . . . . . . . . . . 295
       G. Echevarría and   
                A. Iglesias and   
               A. Gálvez   Extending Neural Networks for B-Spline
                                  Surface Reconstruction . . . . . . . . . 305
                   C. Otero and   
                     R. Togores   Computational Geometry and Spatial
                                  Meshes . . . . . . . . . . . . . . . . . 315
                S. Bhowmick and   
                P. Raghavan and   
                   K. Teranishi   A Combinatorial Scheme for Developing
                                  Efficient Composite Solvers  . . . . . . 325
                   D. Irony and   
               G. Shklarski and   
                      S. Toledo   Parallel and Fully Recursive
                                  Multifrontal Supernodal Sparse Cholesky  335
                     X. Cai and   
                    Y. Saad and   
                   M. Sosonkina   Parallel Iterative Methods in Modern
                                  Physical Applications  . . . . . . . . . 345
                  O. Schenk and   
                K. Gärtner   Solving Unsymmetric Sparse Systems of
                                  Linear Equations with PARDISO  . . . . . 355
               P. Guillaume and   
                   A. Huard and   
                   C. Le Calvez   A Multipole Approach for Preconditioners 364
                 H. Herrero and   
                E. Castillo and   
                  R. E. Pruneda   Orthogonal Method for Linear Systems.
                                  Preconditioning  . . . . . . . . . . . . 374
                   C. J. K. Tan   Antithetic Monte Carlo Linear Solver . . 383
               R. Boojhawon and   
                     M. Bhuruth   Restarted Simpler GMRES Augmented with
                                  Harmonic Ritz Vectors  . . . . . . . . . 393
                        H. Voss   A Projection Method for a Rational
                                  Eigenvalue Problem in Fluid-Structure
                                  Interaction  . . . . . . . . . . . . . . 403
              G. Y. Kulikov and   
              G. Y. Benderskaya   On Implementation of Vector Gauss Method
                                  for Solving Large-Scale Systems of Index
                                  1 Differential-Algebraic Equations . . . 412
                  R. Ciegis and   
                   V. Pakalnyte   One Class of Splitting Iterative Schemes 422
                  O. Kantur and   
                    V. Tsybulin   Filtration-Convection Problem:
                                  Spectral-Difference Method and
                                  Preservation of Cosymmetry . . . . . . . 432
                  M. Karnik and   
                B. Dasgupta and   
                     V. Eswaran   A Comparative Study of Dirichlet and
                                  Neumann Conditions for Path Planning
                                  through Harmonic Functions . . . . . . . 442
                  R. Naidoo and   
                    S. Baboolal   Adaptation and Assessment of a High
                                  Resolution Semi-discrete Numerical
                                  Scheme for Hyperbolic Systems with
                                  Source Terms and Stiffness . . . . . . . 452
                     D. Cox and   
               P. Klou\vcek and   
                 D. R. Reynolds   The Computational Modeling of
                                  Crystalline Materials Using a Stochastic
                                  Variational Principle  . . . . . . . . . 461
                      P. Leinen   Realization of the Finite Mass Method    470
              R. H. Marsden and   
                T. N. Croft and   
                      C.-H. Lai   Domain Decomposition Using a $2$-Level
                                  Correction Scheme  . . . . . . . . . . . 480
            R. V. N. Melnik and   
                  A. J. Roberts   Computational Models for Materials with
                                  Shape Memory: Towards a Systematic
                                  Description of Coupled Phenomena . . . . 490
                 V. A. Shevchuk   Calculation of Thermal State of Bodies
                                  with Multilayer Coatings . . . . . . . . 500
                S. Berridge and   
                  H. Schumacher   An Irregular Grid Method for Solving
                                  High-Dimensional Problems in Finance . . 510
                 P. Hu\vsek and   
            R. Pytelková   On Polynomial and Polynomial Matrix
                                  Interpolation  . . . . . . . . . . . . . 520
                    M. Mohr and   
                   B. Vanrumste   Comparing the Performance of Solvers for
                                  a Bioelectric Field Problem  . . . . . . 528
                 P. W. Pedersen   Iteration Revisited Examples from a
                                  General Theory . . . . . . . . . . . . . 538
                  J. Seguel and   
                 D. Bollman and   
                      E. Orozco   A New Prime Edge Length Crystallographic
                                  FFT  . . . . . . . . . . . . . . . . . . 548
              M. den Burger and   
                T. Kielmann and   
                      H. E. Bal   T\sc OPOM\sc ON : a Monitoring Tool for
                                  Grid Network Topology  . . . . . . . . . 558
                   A. Bassi and   
                    M. Beck and   
                 E. Fuentes and   
                   T. Moore and   
                    J. S. Plank   Logistical Storage Resources for the
                                  Grid . . . . . . . . . . . . . . . . . . 568
                J.-P. Gelas and   
                   L. Lef\`evre   Towards the Design of an Active Grid . . 578
                 M. Maimour and   
                        C. Pham   An Active Reliable Multicast Framework
                                  for the Grids  . . . . . . . . . . . . . 588
                M. Mascagni and   
                 A. Karaivanova   A Parallel Quasi-Monte Carlo Method for
                                  Solving Systems of Linear Equations  . . 598
                   B. Fathi and   
                     B. Liu and   
                  V. Alexandrov   Mixed Monte Carlo Parallel Algorithms
                                  for Matrix Computation . . . . . . . . . 609
                     B. Liu and   
                   B. Fathi and   
                  V. Alexandrov   Numerical Experiments with Monte Carlo
                                  Methods and SPAI Preconditioner for
                                  Solving System of Linear Equations . . . 619
                E. I. Atanassov   Measuring the Performance of a Power PC
                                  Cluster  . . . . . . . . . . . . . . . . 628
              A. Srinivasan and   
                    M. Mascagni   Monte Carlo Techniques for Estimating
                                  the Fiedler Vector in Graph Applications 635
                   M. G. Curley   Peer-to-Peer Computing Enabled
                                  Collaboration  . . . . . . . . . . . . . 646
               J. S. Pascoe and   
             V. S. Sunderam and   
                   R. J. Loader   Working Towards Strong Wireless Group
                                  Communications: The \em Janus
                                  Architecture . . . . . . . . . . . . . . 655
               J. S. Pascoe and   
             V. S. Sunderam and   
               R. J. Loader and   
                      G. Sibley   Towards Mobile Computational Application
                                  Steering: Visualizing the Spatial
                                  Characteristics of Metropolitan Area
                                  Wireless Networks  . . . . . . . . . . . 665
                      P. Kacsuk   Hungarian Supercomputing Grid  . . . . . 671
                   G. Stuer and   
                  F. Arickx and   
                  J. Broeckhove   The Construction of a Reliable Multipeer
                                  Communication Protocol for Distributed
                                  Virtual Environments . . . . . . . . . . 679
                    P. H. Welch   Process Oriented Design for Java:
                                  Concurrency for All  . . . . . . . . . . 687
              N. Alexandrov and   
               J. S. Pascoe and   
                  V. Alexandrov   Collaborative Computing and E-learning   688
                P. H. Welch and   
               J. R. Aldous and   
                      J. Foster   CSP Networking for Java (JCSP.net) . . . 695
               D. Kurzyniec and   
                    V. Sunderam   The MICROBE Benchmarking Toolkit for
                                  Java: a Component-Based Approach . . . . 709
               C. Engelmann and   
                S. L. Scott and   
                    G. A. Geist   Distributed Peer-to-Peer Control in
                                  Harness  . . . . . . . . . . . . . . . . 720
           Z. Németh and   
                    V. Sunderam   A Comparison of Conventional Distributed
                                  Computing Environments and Computational
                                  Grids  . . . . . . . . . . . . . . . . . 729
                  J. Taylor and   
                  M. Dvorak and   
                S. A. Mickelson   Developing Grid Based Infrastructure for
                                  Climate Modeling . . . . . . . . . . . . 739
                  E. T. Ong and   
               J. W. Larson and   
                    R. L. Jacob   A Real Application of the Model Coupling
                                  Toolkit  . . . . . . . . . . . . . . . . 748
            S. A. Mickelson and   
               J. A. Taylor and   
                      M. Dvorak   Simplifying the Task of Generating
                                  Climate Simulations and Visualizations   758
                  A. Segers and   
           P. van Velthoven and   
                 B. Bregman and   
                        M. Krol   On the Computation of Mass Fluxes for
                                  Eulerian Transport Models from Spectral
                                  Meteorological Fields  . . . . . . . . . 767
                  M. Dvorak and   
                  J. Taylor and   
                S. A. Mickelson   Designing a Flexible Grid Enabled
                                  Scientific Modeling Interface  . . . . . 777
                  J. Muylle and   
               B. H. V. Topping   Parallel Contact Detection Strategies
                                  for Cable and Membrane Structures  . . . 787
               P. K. Jimack and   
                   S. A. Nadeem   A Parallel Domain Decomposition
                                  Algorithm for the Adaptive Finite
                                  Element Solution of $3$-D
                                  Convection-Diffusion Problems  . . . . . 797
                 K. McManus and   
                   M. Cross and   
                         C. and   
                    Walshaw and   
                   N. Croft and   
                    A. Williams   Parallel Performance in Multi-physics
                                  Simulation . . . . . . . . . . . . . . . 806
              N. Weatherill and   
         K. Sòrensen and   
                  O. Hassan and   
                      K. Morgan   A Parallel Finite Volume Method for
                                  Aerodynamic Flows  . . . . . . . . . . . 816
                  D. M. Beazley   An Extensible Compiler for Creating
                                  Scriptable Scientific Software . . . . . 824
                D. Abramson and   
                  G. Watson and   
                     L. P. Dung   Guard: a Tool for Migrating Scientific
                                  Applications to the .NET Framework . . . 834
               M. Danelutto and   
                        P. Teti   Lithium: a Structured Parallel
                                  Programming Environment in Java  . . . . 844
                R. Reussner and   
                I. Poernomo and   
                  H. W. Schmidt   Using the TrustME Tool Suite for
                                  Automatic Component Protocol Adaptation  854
                   T. Wilde and   
                 J. A. Kohl and   
             R. E. Flanery, Jr.   Integrating CUMULVS into AVS/Express . . 864
                   M. Bubak and   
                  W. Funika and   
                   P. Metel and   
               R. Or\lowski and   
              R. Wismüller   Monitoring System for Distributed Java
                                  Applications . . . . . . . . . . . . . . 874
                   B. Balis and   
                   M. Bubak and   
                  W. Funika and   
              R. Wismüller   A Concept of Portable Monitoring of
                                  Multithreaded Programs . . . . . . . . . 884
                  J. Jancic and   
             C. Poellabauer and   
                  K. Schwan and   
                    M. Wolf and   
                      N. Bright   dproc --- Extensible Run-Time Resource
                                  Monitoring for Cluster Applications  . . 894
                    S. V. Moore   A Comparison of Counting and Sampling
                                  Modes of Using Performance Monitoring
                                  Hardware . . . . . . . . . . . . . . . . 904
       D. Kranzlmüller and   
                   N. Thoai and   
                     J. Volkert   Debugging Large-Scale, Long-Running
                                  Parallel Programs  . . . . . . . . . . . 913
                  V. Blanco and   
         P. González and   
            J. C. Cabaleiro and   
                D. B. Heras and   
                 T. F. Pena and   
                J. J. Pombo and   
                   F. F. Rivera   Performance Prediction for Parallel
                                  Iterative Solvers  . . . . . . . . . . . 923
                     J. Tao and   
                  M. Schulz and   
                        W. Karl   Improving Data Locality Using Dynamic
                                  Page Migration Based on Memory Access
                                  Histograms . . . . . . . . . . . . . . . 933
                 C. Walshaw and   
                   M. Cross and   
                     K. McManus   Multiphase Mesh Partitioning for
                                  Parallel Computational Mechanics Codes   943
            C. S. Ierotheou and   
                 S. Johnson and   
                 P. Leggett and   
                       M. Cross   The Shared Memory Parallelisation of an
                                  Ocean Modelling Code Using an
                                  Interactive Parallelisation Toolkit  . . 953
               S. Höfinger   Dynamic Load Equilibration for Cyclic
                                  Applications in Distributed Systems  . . 963
                       A. Marsh   3G Medicine --- The Integration of
                                  Technologies . . . . . . . . . . . . . . 972
                      B. Blobel   Architecture of Secure Portable and
                                  Interoperable Electronic Health Records  982
                       A. Emmen   Designing for Change and Reusability ---
                                  Using XML, XSL, and MPEG-7 for
                                  Developing Professional Health
                                  Information Systems  . . . . . . . . . . 995
                 M. Saarelainen   Personal LocationMessaging . . . . . . . 1003
                       A. Marsh   The E-CARE Project --- Removing the
                                  Wires  . . . . . . . . . . . . . . . . . 1012
                P. Heimbach and   
                    C. Hill and   
                     R. Giering   Automatic Generation of Efficient
                                  Adjoint Code for a Parallel
                                  Navier--Stokes Solver  . . . . . . . . . 1019
                   M. Fagan and   
                       A. Carle   Switchback: Profile-Driven Recomputation
                                  for Reverse Mode . . . . . . . . . . . . 1029
                     U. Naumann   Reducing the Memory Requirement in
                                  Reverse Mode Automatic Differentiation
                                  by Solving TBR Flow Equations  . . . . . 1039
                 U. Lehmann and   
                     A. Walther   The Implementation and Testing of
                                  Time-Minimal and Resource-Optimal
                                  Parallel Reversal Schedules  . . . . . . 1049
               K. Röbenack   Automatic Differentiation for Nonlinear
                                  Controller Design  . . . . . . . . . . . 1059
          H. M. Bücker and   
                    B. Lang and   
                   A. Rasch and   
                  C. H. Bischof   Computation of Sensitivity Information
                                  for Aircraft Design by Automatic
                                  Differentiation  . . . . . . . . . . . . 1069
             M. Tadjouddine and   
                S. A. Forth and   
                J. D. Pryce and   
                     J. K. Reid   Performance Issues for Vertex
                                  Elimination Methods in Computing
                                  Jacobians Using Automatic
                                  Differentiation  . . . . . . . . . . . . 1077
                 P. Hovland and   
                  B. Norris and   
                       B. Smith   Making Automatic Differentiation Truly
                                  Automatic: Coupling PETSc with ADIC  . . 1087
                  E. Petrov and   
                    F. Benhamou   Improved Interval Constraint Propagation
                                  for Constraints on Partial Derivatives   1097
                      Anonymous   Author Index . . . . . . . . . . . . . . 1107


Lecture Notes in Computer Science
Volume 2331, 2002

                 M. H. Overmars   Recent Developments in Motion Planning   3
              A. Dumitrescu and   
                        S. Guha   Extreme Distances in Multicolored Point
                                  Sets . . . . . . . . . . . . . . . . . . 14
               M. Andersson and   
             J. Gudmundsson and   
             C. Levcopoulos and   
                  G. Narasimhan   Balanced Partition of Minimum Spanning
                                  Trees  . . . . . . . . . . . . . . . . . 26
       J. Hungershöfer and   
                   J.-M. Wierum   On the Quality of Partitions Based on
                                  Space-Filling Curves . . . . . . . . . . 36
J. M. Díaz-Báñez and   
                 F. Hurtado and   
                  H. Meijer and   
               D. Rappaport and   
                    T. Sellares   The Largest Empty Annulus Problem  . . . 46
                  H. Bekker and   
                    K. De Raedt   Mapping Graphs on the Sphere to the
                                  Finite Plane . . . . . . . . . . . . . . 55
                      O. Daescu   Improved Optimal Weighted Links
                                  Algorithms . . . . . . . . . . . . . . . 65
           G. P. Lorenzetto and   
                       A. Datta   A Linear Time Heuristics for
                                  Trapezoidation of GIS Polygons . . . . . 75
                     P. Huybers   The Morphology of Building Structures    85
                 A. Gervois and   
                    L. Oger and   
                 P. Richard and   
                  J. P. Troadec   Voronoi and Radical Tessellations of
                                  Packings of Spheres  . . . . . . . . . . 95
            M. L. Gavrilova and   
                       J. Rokne   Collision Detection Optimization in a
                                  Multi-particle System  . . . . . . . . . 105
               M. Gavrilova and   
                   J. Rokne and   
                D. Gavrilov and   
                  O. Vinogradov   Optimization Techniques in an
                                  Event-Driven Simulation of a Shaker Ball
                                  Mill . . . . . . . . . . . . . . . . . . 115
          I. Kolingerová   Modified DAG Location for Delaunay
                                  Triangulation  . . . . . . . . . . . . . 125
               R. O. C. Tse and   
                        C. Gold   TIN Meets CAD --- Extending the TIN
                                  Concept in GIS . . . . . . . . . . . . . 135
                M. Dakowicz and   
                        C. Gold   Extracting Meaningful Slopes from
                                  Terrain Contours . . . . . . . . . . . . 144
                  J. Giesen and   
                        M. John   Duality in Disk Induced Flows  . . . . . 154
               M. A. Rajabi and   
                 J. A. R. Blais   Improvement of Digital Terrain Model
                                  Interpolation Using SFS Techniques with
                                  Single Satellite Imagery . . . . . . . . 164
                    J. E. Mower   Implementing an Augmented Scene Delivery
                                  System . . . . . . . . . . . . . . . . . 174
                   R. Wirza and   
                M. S. Bloor and   
                      J. Fisher   Inspection Strategies for Complex Curved
                                  Surfaces Using CMM . . . . . . . . . . . 184
                       A. Lyakh   The Free Form Deformation of
                                  Phytoplankton Models . . . . . . . . . . 194
                 B. Fischer and   
                 J. Modersitzki   Curvature Based Registration with
                                  Applications to MR-Mammography . . . . . 202
                A. Abubakar and   
             P. M. van den Berg   Full Scale Nonlinear Electromagnetic
                                  Inversion for Biological Objects . . . . 207
                        J. Kroc   Propagation of Excitation Waves and
                                  Their Mutual Interactions in the Surface
                                  Layer of the Ball with Fast Accessory
                                  Paths and the Pacemaker  . . . . . . . . 217
                  O. Daescu and   
                      A. Bhatia   Computing Optimal Trajectories for
                                  Medical Treatment Planning and
                                  Optimization . . . . . . . . . . . . . . 227
               J. Martyniak and   
          K. Stanisz-Wallis and   
                   L. Walczycka   CAD Recognition Using Three Mathematical
                                  Models . . . . . . . . . . . . . . . . . 234
               J. A. Schaap and   
         P. J. H. de Koning and   
              J. P. Janssen and   
        J. J. M. Westenberg and   
        R. J. van der Geest and   
                J. H. C. Reiber   $3$D Quantification Visualization of
                                  Vascular Structures in Magnetic
                                  Resonance Angiographic Images  . . . . . 242
               F. M. A. Box and   
            M. C. M. Rutten and   
           M. A. van Buchem and   
                J. Doornbos and   
        R. J. van der Geest and   
         P. J. H. de Koning and   
                  J. Schaap and   
         F. N. van de Vosse and   
                J. H. C. Reiber   Quantitative Methods for Comparisons
                                  between Velocity Encoded MR-Measurements
                                  and Finite Element Modeling in Phantom
                                  Models . . . . . . . . . . . . . . . . . 255
            R. G. Bellemann and   
                    R. Shulakov   High Performance Distributed Simulation
                                  for Interactive Simulated Vascular
                                  Reconstruction . . . . . . . . . . . . . 265
             P. R. Verdonck and   
              J. A. Vierendeels   Fluid-Structure Interaction Modelling of
                                  Left Ventricular Filling . . . . . . . . 275
                  N. Ablitt and   
                     J. Gao and   
               P. Gatehouse and   
                     G.-Z. Yang   Motion Decoupling and Registration for
                                  $3$D Magnetic Resonance Myocardial
                                  Perfusion Imaging  . . . . . . . . . . . 285
                      P. Arbenz   A Comparison of Factorization-Free
                                  Eigensolvers with Application to Cavity
                                  Resonators . . . . . . . . . . . . . . . 295
                  F. Filbet and   
              J.-L. Lemaire and   
          E. Sonnendrücker   Direct Axisymmetric Vlasov Simulations
                                  of Space Charge Dominated Beams  . . . . 305
             L. G. Vorobiev and   
                     R. C. York   Fast Poisson Solver for Space Charge
                                  Dominated Beam Simulation Based on the
                                  Template Potential Technique . . . . . . 315
                 A. Shishlo and   
                  J. Holmes and   
                     V. Danilov   Parallel Algorithms for Collective
                                  Processes in High Intensity Rings  . . . 325
                  C. Nieter and   
                     J. R. Cary   VORPAL as a Tool for the Study of Laser
                                  Pulse Propagation in LWFA  . . . . . . . 334
              R. A. Fonseca and   
                L. O. Silva and   
                F. S. Tsung and   
                V. K. Decyk and   
                      W. Lu and   
                     C. Ren and   
                 W. B. Mori and   
                    S. Deng and   
                     S. Lee and   
              T. Katsouleas and   
                     J. C. Adam   OSIRIS: a Three-Dimensional, Fully
                                  Relativistic Particle in Cell Code for
                                  Modeling Plasma Based Accelerators . . . 342
                  B. Wilson and   
                   K.-L. Ma and   
                   J. Qiang and   
                        R. Ryne   Interactive Visualization of Particle
                                  Beams for Accelerator Design . . . . . . 352
                A. Adelmann and   
                 D. Feichtinger   Generic Large Scale $3$D Visualization
                                  of Accelerators and Beam Lines . . . . . 362
                V. Biryukov and   
                   A. Drees and   
              R. P. Fliller and   
                N. Malitsky and   
                   D. Trbojevic   Tracking Particles in Accelerator Optics
                                  with Crystal Elements  . . . . . . . . . 372
                 F. Méot   Precision Dynamic Aperture Tracking in
                                  Rings  . . . . . . . . . . . . . . . . . 381
                    R. Samulyak   Numerical Simulation of Hydro- and
                                  Magnetohydrodynamic Processes in the
                                  Muon Collider Target . . . . . . . . . . 391
                    E. Zaplatin   Superconducting RF Accelerating Cavity
                                  Developments . . . . . . . . . . . . . . 401
               R. Duperrier and   
                 N. Pichoff and   
                       D. Uriot   CEA Saclay Codes Review for High
                                  Intensities Linacs Computations  . . . . 411
                 M. Baumann and   
                      U. Helmke   Diagonalization of Time Varying
                                  Symmetric Matrices . . . . . . . . . . . 419
                  P. Amodio and   
               F. Iavernaro and   
                   D. Trigiante   Conservation Properties of Symmetric
                                  BVMs Applied to Linear Hamiltonian
                                  Problems . . . . . . . . . . . . . . . . 429
             E. Chiarantoni and   
              G. Fornarelli and   
                 S. Vergura and   
                      T. Politi   A Fixed Point Homotopy Method for
                                  Efficient Time-Domain Simulation of
                                  Power Electronic Circuits  . . . . . . . 439
                   F. Diele and   
                  T. Politi and   
                       I. Sgura   A Fortran90 Routine for the Solution of
                                  Orthogonal Differential Problems . . . . 449
                 B. Paternoster   Two Step Runge--Kutta--Nyström Methods
                                  for $ y^{\prime \prime } = f(x, y) $ and
                                  $P$-Stability  . . . . . . . . . . . . . 459
               N. Del Buono and   
                        C. Elia   Some Remarks on Numerical Methods for
                                  Second Order Differential Equations on
                                  the Orthogonal Matrix Group  . . . . . . 467
                   F. Diele and   
                       S. Ragni   Numerical Comparison between Different
                                  Lie-Group Methods for Solving Linear
                                  Oscillatory ODEs . . . . . . . . . . . . 476
                A. L. Islas and   
                  C. M. Schober   Multisymplectic Spectral Methods for the
                                  Gross--Pitaevskii Equation . . . . . . . 486
               M. Sofroniou and   
                    G. Spaletta   Solving Orthogonal Matrix Differential
                                  Systems in Mathematica . . . . . . . . . 496
               M. Sofroniou and   
                    G. Spaletta   Symplectic Methods for Separable
                                  Hamiltonian Systems  . . . . . . . . . . 506
                      R. Pavani   Numerical Treatment of the Rotation
                                  Number for the Forced Pendulum . . . . . 516
               N. Del Buono and   
                    C. Elia and   
                       L. Lopez   Symplectic Method Based on the Matrix
                                  Variational Equation for Hamiltonian
                                  System . . . . . . . . . . . . . . . . . 526
                  R. Neruda and   
       A. \vSt\vedrý and   
           J. Drko\vsová   Variants of Learning Algorithm Based on
                                  Kolmogorov Theorem . . . . . . . . . . . 536
     J. J. Domínguez and   
                  S. Lozano and   
                       M. Calle   Genetic Neighborhood Search  . . . . . . 544
                    F. Hakl and   
       M. Hlavá\vcek and   
                      R. Kalous   Application of Neural Networks Optimized
                                  by Genetic Algorithms to Higgs Boson
                                  Search . . . . . . . . . . . . . . . . . 554
                 Y. Nechaev and   
               A. Degtyarev and   
                   I. Kiryukhin   Complex Situation Recognition on the
                                  Basis of Neural Networks in Shipboard
                                  Intelligence System  . . . . . . . . . . 564
                R. E. Haber and   
                R. H. Haber and   
                  A. Alique and   
                     S. Ros and   
                   J. R. Alique   Dynamic Model of the Machining Process
                                  on the Basis of Neural Networks: From
                                  Simulation to Real Time Application  . . 574
                      D. Coufal   Incremental Structure Learning of
                                  Three-Layered Gaussian RBF Networks  . . 584
                  R. Neruda and   
               P. Kudová   Hybrid Learning of RBF Networks  . . . . 594
        R. Pytelková and   
                     P. Hu\vsek   Stability Analysis of Discrete-Time
                                  Takagi-Sugeno Fuzzy Systems  . . . . . . 604
                  W.-Y. Lee and   
                  I.-S. Lim and   
                      U.-Y. Huh   Fuzzy Control System Using Nonlinear
                                  Friction Observer for the Mobile Robot   613
                  C. Pflaum and   
                      D. Seider   Efficient Implementation of Operators on
                                  Semi-unstructured Grids  . . . . . . . . 622
              R. D. Falgout and   
                  U. Meier Yang   hypre: a Library of High Performance
                                  Preconditioners  . . . . . . . . . . . . 632
              M. Kowarschik and   
               U. Rüde and   
                  C. Weiß   Data Layout Optimizations for Variable
                                  Coefficient Multigrid  . . . . . . . . . 642
          F. Hülsemann and   
                  P. Kipfer and   
               U. Rüde and   
                     G. Greiner   gridlib: Flexible and Efficient Grid
                                  Management for Simulation and
                                  Visualization  . . . . . . . . . . . . . 652
                   M. Bader and   
             H.-J. Bungartz and   
                   A. Frank and   
                     R. Mundani   Space Tree Structures for PDE Software   662
                 W. F. Mitchell   The Design of a Parallel Adaptive
                                  Multi-level Code in Fortran 90 . . . . . 672
           M. Nordén and   
                S. Holmgren and   
                M. Thuné   OpenMP versus MPI for PDE Solvers Based
                                  on Regular Sparse Numerical Operators    681
                      K. Hinsen   High-Level Scientific Programming with
                                  Python . . . . . . . . . . . . . . . . . 691
               J. Lindemann and   
                O. Dahlblom and   
                    G. Sandberg   Using CORBA Middleware in Finite Element
                                  Software . . . . . . . . . . . . . . . . 701
          K. Åhlander and   
                        K. Otto   On Software Support for Finite
                                  Difference Schemes Based on Index
                                  Notation . . . . . . . . . . . . . . . . 711
                   S. G. Parker   A Component-Based Architecture for
                                  Parallel Multi-physics PDE Simulation    719
         J. Barr von Oehsen and   
                  C. L. Cox and   
                  E. C. Cyr and   
                   B. A. Malloy   Using Design Patterns and XML to
                                  Construct an Extensible Finite Element
                                  System . . . . . . . . . . . . . . . . . 735
                       G. Berti   GrAL --- The Grid Algorithms Library . . 745
                    P. Chow and   
                     C. Addison   A Software Strategy towards Putting
                                  Domain Decomposition at the Centre of a
                                  Mesh-Based Simulation Process  . . . . . 755
           H. P. Langtangen and   
                   K.-A. Mardal   A Software Framework for Mixed Finite
                                  Element Programming  . . . . . . . . . . 764
              C. C. Douglas and   
                      J. Hu and   
                     J. Ray and   
                  D. Thorne and   
                    R. Tuminaro   Fast, Adaptively Refined Computational
                                  Elements in $3$D . . . . . . . . . . . . 774
                O. Axelsson and   
                   M. Neytcheva   Preconditioning Methods for Linear
                                  Systems with Saddle Point Matrices . . . 784
               J. Mary\vska and   
          O. Severýn and   
             M. Vohralík   Mixed-Hybrid FEM Discrete Fracture
                                  Network Model of the Fracture Flow . . . 794
                M. Pavlu\vs and   
                     E. Hayryan   Parallel Realization of Difference
                                  Schemes of Filtration Problem in a
                                  Multilayer System  . . . . . . . . . . . 804
              A. Bourchtein and   
                  L. Bourchtein   Stokes Problem for the Generalized
                                  Navier--Stokes Equations . . . . . . . . 813
                     J. Dan\vek   Domain Decomposition Algorithm for
                                  Solving Contact of Elastic Bodies  . . . 820
                 R. Blaheta and   
                    O. Jakl and   
                J. Starý   Parallel High-Performance Computing in
                                  Geomechanics with Inner/Outer Iterative
                                  Procedures . . . . . . . . . . . . . . . 830
       I. Hlavá\vcek and   
                      J. Nedoma   Reliable Solution of a Unilateral
                                  Frictionless Contact Problem in
                                  Quasi-Coupled Thermo-Elasticity with
                                  Uncertain Input Data . . . . . . . . . . 840
                       U. Ruede   Computational Engineering Programs at
                                  the University of Erlangen-Nuremberg . . 852
                    W. Wiechert   Teaching Mathematical Modeling: Art or
                                  Science? . . . . . . . . . . . . . . . . 858
                 R. Jeltsch and   
                        K. Nipp   CSE Program at ETH Zurich: Are We Doing
                                  the Right Thing? . . . . . . . . . . . . 863
                   L. Anido and   
                  J. Santos and   
        M. Fernández and   
                  M. Caeiro and   
        J. Rodríguez and   
                      M. Llamas   An Online Environment Supporting High
                                  Quality Education in Computational
                                  Science  . . . . . . . . . . . . . . . . 872
                  M. D. Lintner   Computing, Ethics and Social
                                  Responsibility: Developing Ethically
                                  Responsible Computer Users for the
                                  21$^{\rm st}$ Century  . . . . . . . . . 882
                         Y. Pan   Teaching Parallel Programming Using Both
                                  High-Level and Low-Level Languages . . . 888
                    P. Mori and   
                       L. Ricci   Computational Science in High School
                                  Curricula: The ORESPICS Approach . . . . 898
              V. Piermarini and   
                L. Pacifici and   
             S. Crocchianti and   
                    A. Lagan\`a   Parallel Approaches to the Integration
                                  of the Differential Equations for
                                  Reactive Scattering  . . . . . . . . . . 908
                D. Bellucci and   
                   S. Tasso and   
                    A. Lagan\`a   Fine Grain Parallelism for Discrete
                                  Variable Approaches to Wavepacket
                                  Calculations . . . . . . . . . . . . . . 918
               A. Riganelli and   
                 M. Memelli and   
                    A. Lagan\`a   A Molecular Dynamics Study of the
                                  Benzene\ldots Ar$_2$ Complexes . . . . . 926
                G. Marcelli and   
                 B. D. Todd and   
                    R. J. Sadus   Beyond Traditional Effective
                                  Intermolecular Potentials and Pairwise
                                  Interactions in Molecular Simulation . . 932
              M. P. Sigalas and   
              V. I. Teberekidis   Density Functional Studies of Halonium
                                  Ions of Ethylene and Cyclopentene  . . . 942
                  A. F. Sax and   
                 T. Krüger   Methodological Problems in the
                                  Calculations on Amorphous Hydrogenated
                                  Silicon, a-Si:H  . . . . . . . . . . . . 950
                 O. Gervasi and   
                A. Lagan\`a and   
                    M. Lobbiani   Towards a GRID Based Portal for an a
                                  Priori Molecular Simulation of Chemical
                                  Reactivity . . . . . . . . . . . . . . . 956
                     L. Yan and   
                 J.-b. Wang and   
                   Y.-a. Ma and   
                         J. Dou   The Enterprise Resource Planning (ERP)
                                  System and Spatial Information
                                  Integration in Tourism Industry -- Mount
                                  Emei for Example . . . . . . . . . . . . 966
                     M. Sun and   
                     Y. Xue and   
                   A.-N. Ma and   
                      S.-J. Mao   $3$D Visualization of Large Digital
                                  Elevation Model (DEM) Data Set . . . . . 975
                     M. Sun and   
                     Y. Xue and   
                   A.-N. Ma and   
                      S.-J. Mao   Dynamic Vector and Raster Integrated
                                  Data Model Based on Code-Points  . . . . 984
                 Yong Zhang and   
                 Lizhu Zhou and   
                   Jun Chen and   
                  RenLiang Zhao   K-Order Neighbor: The Efficient
                                  Implementation Strategy for Restricting
                                  Cascaded Update in Realm . . . . . . . . 994
                    R. Zhao and   
                      Z. Li and   
                    J. Chen and   
                 C. M. Gold and   
                       Y. Zhang   A Hierarchical Raster Method for
                                  Computing Voronoi Diagrams Based on
                                  Quadtrees  . . . . . . . . . . . . . . . 1004
                     Y. Xue and   
                     M. Sun and   
                   Y. Zhang and   
                        R. Zhao   The Dissection of Three-Dimensional
                                  Geographic Information Systems . . . . . 1014
     J. C. Hernández and   
               J. M. Sierra and   
                   P. Isasi and   
                   A. Ribagorda   Genetic Cryptoanalysis of Two Rounds TEA 1024
                     C. Vassell   Genetic Commerce --- Intelligent Share
                                  Trading  . . . . . . . . . . . . . . . . 1032
                J. Y. Chung and   
                         S. Kim   Efficient Memory Page Replacement on Web
                                  Server Clusters  . . . . . . . . . . . . 1042
                  B. K. Woo and   
                  D. S. Kim and   
                 S. S. Hong and   
                  K. H. Kim and   
                    T. M. Chung   Interval Weighted Load Balancing Method
                                  for Multiple Application Gateway
                                  Firewalls  . . . . . . . . . . . . . . . 1051
                     Y. Mun and   
                        H. Choo   Modeling and Performance Evaluation of
                                  Multistage Interconnection Networks with
                                  Nonuniform Traffic Pattern . . . . . . . 1061
                  E.-N. Huh and   
                L. R. Welch and   
                         Y. Mun   Real-Time Performance Estimation for
                                  Dynamic, Distributed Real-Time Systems   1071
                   J. Hwang and   
                  W. J. Lee and   
                  B. G. Lee and   
                      Y. S. Kim   A Load Balancing Algorithm Using the
                                  Circulation of A Single Message Token    1080
                     D. Lee and   
                        H. Choi   A Collaborative Filtering System of
                                  Information on the Internet  . . . . . . 1090
                    Y. Choi and   
                  S. J. Kim and   
                         S. Lee   Hierarchical Shot Clustering for Video
                                  Summarization  . . . . . . . . . . . . . 1100
              V. V. Shakhov and   
                    H. Choo and   
                     H. Y. Youn   On Detecting Unsteady Demand in Mobile
                                  Networking Environment . . . . . . . . . 1108
                  D. C. Lee and   
                  S.-K. Han and   
                      Y. S. Mun   Performance Modeling of Location
                                  Management Using Multicasting HLR with
                                  Forward Pointer in Mobile Networks . . . 1118
                         G. Cho   Using Predictive Prefetching to Improve
                                  Location Awareness of Mobile Information
                                  Service  . . . . . . . . . . . . . . . . 1128
              I. V. Morozov and   
               G. E. Norman and   
                V. V. Stegailov   Dynamic and Stochastic Properties of
                                  Molecular Systems: From Simple Liquids
                                  to Enzymes . . . . . . . . . . . . . . . 1137
                V. V. Stegailov   Determinism and Chaos in Decay of
                                  Metastable States  . . . . . . . . . . . 1147
                  E. I. Butikov   Regular and Chaotic Motions of the
                                  Parametrically Forced Pendulum: Theory
                                  and Simulations  . . . . . . . . . . . . 1154
                H. A. Posch and   
                     C. Forster   Lyapunov Instability and Collective
                                  Tangent Space Dynamics of Fluids . . . . 1170
             A. V. Bogdanov and   
            A. S. Gevorkyan and   
             E. N. Stankova and   
                  M. I. Pavlova   Deterministic Computation towards
                                  Indeterminism  . . . . . . . . . . . . . 1176
               I. A. Valuev and   
                       B. Esser   Splitting Phenomena in Wave Packet
                                  Propagation  . . . . . . . . . . . . . . 1184
                   K. Korotenko   An Automated System for Prediction of
                                  Icing on the Road  . . . . . . . . . . . 1193
               L. Dmitrieva and   
                 Y. Kuperin and   
                      I. Soroka   Neural Network Prediction of Short-Term
                                  Dynamics of Futures on Deutsche Mark,
                                  Libor, and S&P500 . . . . . . . . . . . . 1201
                     W. Ebeling   Entropies and Predictability of
                                  Nonlinear Processes and Time Series  . . 1209
                      Anonymous   Author Index . . . . . . . . . . . . . . 1219


Lecture Notes in Computer Science
Volume 2332, 2002

            Rosario Gennaro and   
             Daniele Micciancio   Cryptanalysis of a Pseudorandom
                                  Generator Based on Braid Groups  . . . . 1
               Sang Jin Lee and   
                   Eonkyung Lee   Potential Weaknesses of the Commutator
                                  Key Agreement Protocol Based on Braid
                                  Groups . . . . . . . . . . . . . . . . . 14
        Steven D. Galbraith and   
               Florian Hess and   
                 Nigel P. Smart   Extending the GHS Weil Descent Attack    29
              Ronald Cramer and   
                   Victor Shoup   Universal Hash Proofs and a Paradigm for
                                  Adaptive Chosen Ciphertext Secure
                                  Public-Key Encryption  . . . . . . . . . 45
             Yevgeniy Dodis and   
              Jonathan Katz and   
                Shouhuai Xu and   
                      Moti Yung   Key-Insulated Public Key Cryptosystems   65
                 Jee Hea An and   
             Yevgeniy Dodis and   
                      Tal Rabin   On the Security of Joint Signature and
                                  Encryption . . . . . . . . . . . . . . . 83
                Joan Daemen and   
                 Vincent Rijmen   AES and the Wide Trail Design Strategy   108
                    Ueli Maurer   Indistinguishability of Random Systems   110
          Alexander Russell and   
                      Hong Wang   How to Fool an Unbounded Adversary with
                                  a Short Key  . . . . . . . . . . . . . . 133
          David P. Woodruff and   
                Marten van Dijk   Cryptography in an Unbounded
                                  Computational Model  . . . . . . . . . . 149
             Junko Nakajima and   
                 Mitsuru Matsui   Performance Analysis and Parallel
                                  Implementation of Dedicated Hash
                                  Functions  . . . . . . . . . . . . . . . 165
              John A. Clark and   
                Jeremy L. Jacob   Fault Injection and a Timing Channel on
                                  an Analysis Technique  . . . . . . . . . 181
              Young-Ho Park and   
              Sangtae Jeong and   
                     Jongin Lim   Speeding Up Point Multiplication on
                                  Hyperelliptic Curves with
                                  Efficiently-Computable Endomorphisms . . 197
             Philippe Chose and   
               Antoine Joux and   
                  Michel Mitton   Fast Correlation Attacks: An Algorithmic
                                  Point of View  . . . . . . . . . . . . . 209
                Matthias Krause   BDD-Based Cryptanalysis of Keystream
                                  Generators . . . . . . . . . . . . . . . 222
          Jovan Dj. Goli\'c and   
            Vittorio Bagini and   
              Guglielmo Morgari   Linear Cryptanalysis of Bluetooth Stream
                                  Cipher . . . . . . . . . . . . . . . . . 238
         Ivan Damgård and   
               Maciej Koprowski   Generic Lower Bounds for Root Extraction
                                  and Signature Schemes in General Groups  256
    Jean-Sébastien Coron   Optimal Security Proofs for PSS and
                                  Other Signature Schemes  . . . . . . . . 272
              Henri Gilbert and   
                  Marine Minier   Cryptanalysis of SFLASH  . . . . . . . . 288
               Craig Gentry and   
                    Mike Szydlo   Cryptanalysis of the Revised NTRU
                                  Signature Scheme . . . . . . . . . . . . 299
           Emmanuel Bresson and   
          Olivier Chevassut and   
              David Pointcheval   Dynamic Group Diffie--Hellman Key
                                  Exchange under Standard Assumptions  . . 321
                Ran Canetti and   
                  Hugo Krawczyk   Universally Composable Notions of Key
                                  Exchange and Secure Channels . . . . . . 337
                  Donald Beaver   On Deniability in Quantum Key Exchange   352
                Anand Desai and   
            Alejandro Hevia and   
                 Yiqun Lisa Yin   A Practice-Oriented Treatment of
                                  Pseudorandom Number Generators . . . . . 368
                 John Black and   
                Phillip Rogaway   A Block-Cipher Mode of Operation for
                                  Parallelizable Message Authentication    384
                   Stephen Kent   Rethinking PKI: What's Trust Got to Do
                                  with It? . . . . . . . . . . . . . . . . 398
                 Tal Malkin and   
         Daniele Micciancio and   
                     Sara Miner   Efficient Generic Forward-Secure
                                  Signatures with an Unbounded Number Of
                                  Time Periods . . . . . . . . . . . . . . 400
             Michel Abdalla and   
                 Jee Hea An and   
              Mihir Bellare and   
           Chanathip Namprempre   From Identification to Signatures via
                                  the Fiat--Shamir Transform: Minimizing
                                  Assumptions for Security and
                                  Forward-Security . . . . . . . . . . . . 418
              Junji Shikata and   
           Goichiro Hanaoka and   
              Yuliang Zheng and   
                    Hideki Imai   Security Notions for Unconditionally
                                  Secure Signature Schemes . . . . . . . . 434
            Aggelos Kiayias and   
                      Moti Yung   Traitor Tracing with Constant
                                  Transmission Rate  . . . . . . . . . . . 450
             Jeremy Horwitz and   
                       Ben Lynn   Toward Hierarchical Identity-Based
                                  Encryption . . . . . . . . . . . . . . . 466
             Matthias Fitzi and   
              Nicolas Gisin and   
                Ueli Maurer and   
                Oliver von Rotz   Unconditional Byzantine Agreement and
                                  Multi-party Computation Secure against
                                  Dishonest Minorities from Scratch  . . . 482
                Yvo Desmedt and   
                    Yongge Wang   Perfectly Secure Message Transmission
                                  Revisited  . . . . . . . . . . . . . . . 502
              Anne Canteaut and   
                  Marion Videau   Degree of Composition of Highly
                                  Nonlinear Functions and Applications to
                                  Higher Order Differential Cryptanalysis  518
                 Serge Vaudenay   Security Flaws Induced by CBC Padding
                                  --- Applications to SSL, IPSEC, WTLS,
                                  \ldots . . . . . . . . . . . . . . . . . 534
                      Anonymous   Author Index . . . . . . . . . . . . . . 547


Lecture Notes in Computer Science
Volume 2333, 2002

       John-Jules Ch. Meyer and   
                   Milind Tambe   Introduction . . . . . . . . . . . . . . 1
         Fausto Giunchiglia and   
                Anna Perini and   
           Fabrizio Sannicol\`o   Knowledge Level Software Engineering . . 6
     Piotr J. Gmytrasiewicz and   
           Christine L. Lisetti   Emotions and Personality in Agent Design
                                  and Modeling . . . . . . . . . . . . . . 21
                    David Kinny   The \boldmath $ \Psi $ Calculus: An
                                  Algebraic Agent Language . . . . . . . . 32
              Thomas Wagner and   
                  Victor Lesser   Evolving Real-Time Local Agent Control
                                  for Large-Scale Multi-agent Systems  . . 51
         Yves Lespérance   On the Epistemic Feasibility of Plans in
                                  Multiagent Systems Specifications  . . . 69
           Alessio Lomuscio and   
                   Marek Sergot   On Multi-agent Systems Specification via
                                  Deontic Logic  . . . . . . . . . . . . . 86
                  Mark Ryan and   
          Pierre-Yves Schobbens   Agents and Roles: Refinement in
                                  Alternating-Time Temporal Logic  . . . . 100
         Michael Wooldridge and   
                  Paul E. Dunne   The Computational Complexity of Agent
                                  Verification . . . . . . . . . . . . . . 115
                Manuel Kolp and   
             Paolo Giorgini and   
                John Mylopoulos   A Goal-Based Organizational Perspective
                                  on Multi-agent Architectures . . . . . . 128
João Alexandre Leite and   
José Júlio Alferes and   
      Luís Moniz Pereira   $ \mathcal {MINERVA} $ --- A Dynamic
                                  Logic Programming Agent Architecture . . 141
            Rodrigo Machado and   
              Rafael H. Bordini   Running AgentSpeak(L) Agents on
                                  SIM\_AGENT . . . . . . . . . . . . . . . 158
               Marco Aiello and   
              Paolo Busetta and   
             Antonia Don\`a and   
               Luciano Serafini   Ontological Overhearing  . . . . . . . . 175
               Leila Amgoud and   
                  Simon Parsons   Agent Dialogues with Conflicting
                                  Preferences  . . . . . . . . . . . . . . 190
                  Pierre Bonzon   An Abstract Machine for Classes of
                                  Communicating Agents Based on Deduction  206
            Marcus J. Huber and   
              Sanjeev Kumar and   
            Philip R. Cohen and   
                 David R. McGee   A Formal Semantics for
                                  ProxyCommunicative Acts  . . . . . . . . 221
                Pinar Yolum and   
              Munindar P. Singh   Commitment Machines  . . . . . . . . . . 235
                Luke Hunsberger   Generating Bids for Group-Related
                                  Actions in the Context of Prior
                                  Commitments  . . . . . . . . . . . . . . 248
          Pragnesh Jay Modi and   
             Hyuckchul Jung and   
               Milind Tambe and   
               Wei-Min Shen and   
             Shriniwas Kulkarni   Dynamic Distributed Resource Allocation:
                                  a Distributed Constraint Satisfaction
                                  Approach . . . . . . . . . . . . . . . . 264
          Stephen W. Nuchia and   
                     Sandip Sen   Improving Optimality of $n$ Agent
                                  Envy-Free Divisions  . . . . . . . . . . 277
                    Wei Liu and   
             Mary-Anne Williams   Trustworthiness of Information Sources
                                  and Information Pedigrees  . . . . . . . 290
          David V. Pynadath and   
                   Milind Tambe   Revisiting Asimov's First Law: a
                                  Response to the Call to Arms . . . . . . 307
                   Frank Dignum   Formal Theories of Negotiation . . . . . 321
    Maria Victoria Belmonte and   
             Ricardo Conejo and   
José Luis Pérez-de-la-Cruz and   
             Francisco Triguero   A Stable and Feasible Payoff Division
                                  for Coalition Formation in a Class of
                                  Task Oriented Domains  . . . . . . . . . 324
               Felix Brandt and   
             Gerhard Weiß   Antisocial Agents and Vickrey Auctions   335
                Marc Esteva and   
              Julian Padget and   
                  Carles Sierra   Formalizing a Language for Institutions
                                  and Norms  . . . . . . . . . . . . . . . 348
             Peyman Faratin and   
                 Mark Klein and   
              Hiroki Sayama and   
                 Yaneer Bar-Yam   Simple Negotiating Agents in Complex
                                  Games  . . . . . . . . . . . . . . . . . 367
          S. Shaheen Fatima and   
         Michael Wooldridge and   
           Nicholas R. Jennings   Optimal Negotiation Strategies for
                                  Agents with Incomplete Information . . . 377
         Michael L. Littman and   
                    Peter Stone   Implicit Negotiation in Repeated Games   393
               Fariba Sadri and   
             Francesca Toni and   
                  Paolo Torroni   Dialogues for Negotiation: Agent
                                  Varieties and Dialogue Sequences . . . . 405
                      Tim Finin   Agents for Hand-Held, Mobile, or
                                  Embedded Devices . . . . . . . . . . . . 422
        Ryan L. Albuquerque and   
        Jomi F. Hübner and   
        Gustavo E. de Paula and   
           Jaime S. Sichman and   
               Geber L. Ramalho   KSACI: a Handheld Device Infrastructure
                                  for Agents Communication . . . . . . . . 423
          Federico Bergenti and   
                 Agostino Poggi   LEAP: a FIPA Platform for Handheld and
                                  Mobile Devices . . . . . . . . . . . . . 436
            Mikko Laukkanen and   
               Sasu Tarkoma and   
                  Jani Leinonen   FIPA-OS Agent Platform for
                                  Small-Footprint Devices  . . . . . . . . 447
                      Anonymous   Author Index . . . . . . . . . . . . . . 461


Lecture Notes in Computer Science
Volume 2334, 2002

     Narayanan Venkitaraman and   
          Jayanth P. Mysore and   
                   Mike Needham   A Core-Stateless Utility Based Rate
                                  Allocation Framework . . . . . . . . . . 1
              Lars Westberg and   
András Császár and   
       Georgios Karagiannis and   
Ádám Marquetant and   
              David Partain and   
               Octavian Pop and   
              Vlora Rexhepi and   
 Róbert Szabó and   
           Attila Takács   Resource Management in Diffserv (RMD): a
                                  Functionality and Performance Behavior
                                  Overview . . . . . . . . . . . . . . . . 17
              Michael Menth and   
            Rüdiger Martin   Performance Evaluation of the Extensions
                                  for Control Message Retransmissions in
                                  RSVP . . . . . . . . . . . . . . . . . . 35
               Thiemo Voigt and   
                Per Gunningberg   Handling Multiple Bottlenecks in Web
                                  Servers Using Adaptive Inbound Controls  50
               Wu-chun Feng and   
                  Mike Fisk and   
               Mark Gardner and   
                    Eric Weigle   Dynamic Right-Sizing: An Automated,
                                  Lightweight, and Scalable Technique for
                                  Enhancing Grid Performance . . . . . . . 69
               Reuven Cohen and   
                    Itai Dabran   The ``Last-Copy'' Approach for
                                  Distributed Cache Pruning in a Cluster
                                  of HTTP Proxies  . . . . . . . . . . . . 84
                 M. Garetto and   
                R. Lo Cigno and   
                     M. Meo and   
                 E. Alessio and   
               M. Ajmone Marsan   Modeling Short-Lived TCP Connections
                                  with Open Multiclass Queuing Networks    100
         Henrik Abrahamsson and   
               Olof Hagsand and   
                      Ian Marsh   TCP over High Speed Variable Capacity
                                  Links: a Simulation Study for Bandwidth
                                  Allocation . . . . . . . . . . . . . . . 117
       Luigi Alfredo Grieco and   
                Saverio Mascolo   TCP Westwood and Easy RED to Improve
                                  Fairness in High-Speed Networks  . . . . 130
            Evgueni Ossipov and   
                Gunnar Karlsson   A Simplified Guaranteed Service for the
                                  Internet . . . . . . . . . . . . . . . . 147
            Cristel Pelsser and   
             Stefaan De Cnodder   Improvements to Core Stateless Fair
                                  Queueing . . . . . . . . . . . . . . . . 164
              Pi-Chung Wang and   
              Chia-Tai Chan and   
             Wei-Chun Tseng and   
                 Yaw-Chung Chen   A Fast Packet Classification by Using
                                  Enhanced Tuple Pruning . . . . . . . . . 180
              Jianping Wang and   
              Stephen Patek and   
               Haiyong Wang and   
            Jörg Liebeherr   Traffic Engineering with AIMD in MPLS
                                  Networks . . . . . . . . . . . . . . . . 192
              Chris Blondia and   
                Olga Casals and   
             Peter De Cleyn and   
                   Gert Willems   Performance Analysis of IP
                                  Micro-mobility Handoff Protocols . . . . 211
           James P. G. Sterbenz   High-Speed Mobile and Wireless Networks  227
                Joseph D. Touch   Peer Networks --- High-Speed Solution or
                                  Challenge? . . . . . . . . . . . . . . . 228
                Karl J. Schrodi   High Speed Networks for Carriers . . . . 229
           James P. G. Sterbenz   Protocols for High-Speed Networks: a
                                  Brief Retrospective Survey of High-Speed
                                  Networking Research  . . . . . . . . . . 243
                      Anonymous   Author Index . . . . . . . . . . . . . . 267


Lecture Notes in Computer Science
Volume 2335, 2002

                  Eran Gery and   
                David Harel and   
                  Eldad Palachi   Rhapsody: a Complete Life-Cycle
                                  Model-Based Development System . . . . . 1
               Sabine Kuske and   
             Martin Gogolla and   
              Ralf Kollmann and   
        Hans-Jörg Kreowski   An Integrated Semantics for UML Class,
                                  Object and State Diagrams Based on Graph
                                  Transformation . . . . . . . . . . . . . 11
       Natalia López and   
 Manuel Núñez and   
                 Fernando Rubio   Stochastic Process Algebras Meet Eden    29
                    K. Lano and   
                   D. Clark and   
             K. Androutsopoulos   From Implicit Specifications to Explicit
                                  Designs in Reactive System Development   49
         V. A. Nepomniaschy and   
               N. V. Shilov and   
                E. V. Bodin and   
                   V. E. Kozura   Basic-REAL: Integrated Approach for
                                  Design, Specification and Verification
                                  of Distributed Systems . . . . . . . . . 69
        Mohammad Zulkernine and   
             Rudolph E. Seviora   Assume-Guarantee Algorithms for
                                  Automatic Detection of Software Failures 89
                Hung Ledang and   
           Jeanine Souqui\`eres   Contributions for Modelling UML
                                  State-Charts in B  . . . . . . . . . . . 109
            Emil Sekerinski and   
                    Rafik Zurob   Translating Statecharts to B . . . . . . 128
                Shmuel Katz and   
                  Orna Grumberg   A Framework for Translating Models and
                                  Specifications . . . . . . . . . . . . . 145
             Kirsten Winter and   
                     Roger Duke   Model Checking Object-Z Using ASM  . . . 165
           Behzad Akbarpour and   
         Abdelkader Dekdouk and   
                Sofi\`ene Tahar   Formalization of Cadence SPW Fixed-Point
                                  Arithmetic in HOL  . . . . . . . . . . . 185
               Haiyan Xiong and   
                Paul Curzon and   
            Sofi\`ene Tahar and   
                  Ann Blandford   Formally Linking MDG and HOL Based on a
                                  Verified MDG System  . . . . . . . . . . 205
            Christie Bolton and   
                     Jim Davies   Refinement in Object-Z and CSP . . . . . 225
            Jochen Hoenicke and   
     Ernst-Rüdiger Olderog   Combining Specification Techniques for
                                  Processes, Data and Time . . . . . . . . 245
                   Graeme Smith   An Integration of Real-Time Object-Z and
                                  CSP for Specifying Concurrent Real-Time
                                  Systems  . . . . . . . . . . . . . . . . 267
                    Stuart Kent   Model Driven Engineering . . . . . . . . 286
          Phillip J. Brooke and   
               Richard F. Paige   The Design of a Tool-Supported Graphical
                                  Notation for Timed CSP . . . . . . . . . 299
           Einar B. Johnsen and   
               Wenhui Zhang and   
                   Olaf Owe and   
              Demissie B. Aredo   Combining Graphical and Formal
                                  Development of Open Distributed Systems  319
         Katerina Korenblat and   
              Orna Grumberg and   
                    Shmuel Katz   Translations between Textual Transition
                                  Systems and Petri Nets . . . . . . . . . 339
Héctor Ruíz Barradas and   
                    Didier Bert   Specification and Proof of Liveness
                                  Properties under Fairness Assumptions in
                                  B Event Systems  . . . . . . . . . . . . 360
                   C. Jeske and   
                      R. Banach   Minimally and Maximally Abstract
                                  Retrenchments  . . . . . . . . . . . . . 380
                      Anonymous   Author Index . . . . . . . . . . . . . . 401


Lecture Notes in Computer Science
Volume 2336, 2002

          Minos Garofalakis and   
                 Rajeev Rastogi   Network Data Mining and Analysis: The $
                                  \mathcal {NEMESIS} $ Project . . . . . . 1
           Ramakrishnan Srikant   Privacy Preserving Data Mining:
                                  Challenges and Opportunities . . . . . . 13
         Jaideep Srivastava and   
             Jau-Hwang Wang and   
                Ee-Peng Lim and   
                  San-Yih Hwang   A Case for Analytical Customer
                                  Relationship Management  . . . . . . . . 14
         Osmar R. Za\"\iane and   
                Andrew Foss and   
               Chi-Hoon Lee and   
                    Weinan Wang   On Data Clustering Analysis:
                                  Scalability, Constraints, and Validation 28
               Jacinto Mata and   
   José-Luis Alvarez and   
 José-Cristobal Riquelme   Discovering Numeric Association Rules
                                  via Evolutionary Algorithm . . . . . . . 40
                Jochen Hipp and   
          Christoph Mangold and   
        Ulrich Güntzer and   
        Gholamreza Nakhaeizadeh   Efficient Rule Retrieval and Postponed
                                  Restrict Operations for Association Rule
                                  Mining . . . . . . . . . . . . . . . . . 52
                   Qin Ding and   
                 Qiang Ding and   
                William Perrizo   Association Rule Mining on Remotely
                                  Sensed Images Using P-trees  . . . . . . 66
                Vikram Pudi and   
              Jayant R. Haritsa   On the Efficiency of Association-Rule
                                  Mining Algorithms  . . . . . . . . . . . 80
                Jung-Yi Lin and   
           Been-Chian Chien and   
                 Tzung-Pei Hong   A Function-Based Classifier Learning
                                  Scheme Using Genetic Programming . . . . 92
                Zhipeng Xie and   
                  Wynne Hsu and   
               Zongtian Liu and   
                    Mong Li Lee   SNNB: a Selective Neighborhood Based
                                  Na\"\ive Bayes for Lazy Learning . . . . 104
                  Lili Diao and   
                   Keyun Hu and   
                 Yuchang Lu and   
                     Chunyi Shi   A Method to Boost Na\"\ive Bayesian
                                  Classifiers  . . . . . . . . . . . . . . 115
            Charles X. Ling and   
                   Huajie Zhang   Toward Bayesian Classifiers with
                                  Accurate Probabilities . . . . . . . . . 123
         Szymon Jaroszewicz and   
                Dan A. Simovici   Pruning Redundant Association Rules
                                  Using Maximum Entropy Principle  . . . . 135
               Wen-Yang Lin and   
           Ming-Cheng Tseng and   
                    Ja-Hwung Su   A Confidence-Lift Support Specification
                                  for Interesting Associations Mining  . . 148
       Marzena Kryszkiewicz and   
                   Marcin Gajek   Concise Representation of Frequent
                                  Patterns Based on Generalized
                                  Disjunction-Free Generators  . . . . . . 159
              Show-Jane Yen and   
                    Yue-Shi Lee   Mining Interesting Association Rules: a
                                  Data Mining Language . . . . . . . . . . 172
            Robert J. Hilderman   The Lorenz Dominance Order as a Measure
                                  of Interestingness in KDD  . . . . . . . 177
              Minghua Zhang and   
                    Ben Kao and   
               David Cheung and   
                    Chi-Lap Yip   Efficient Algorithms for Incremental
                                  Update of Frequent Sequences . . . . . . 186
               Ming-Yen Lin and   
                Suh-Yin Lee and   
                Sheng-Shun Wang   DELISP: Efficient Discovery of
                                  Generalized Sequential Patterns by
                                  Delimited Pattern-Growth Technology  . . 198
                Jafar Adibi and   
               Wei-Min Shen and   
               Eaman Noorbakhsh   Self-Similarity for Data Mining and
                                  Predictive Modeling --- A Case Study for
                                  Network Data . . . . . . . . . . . . . . 210
             Shun-Chieh Lin and   
         Shian-Shyong Tseng and   
                  Yao-Tsung Lin   A New Mechanism of Mining Network
                                  Behavior . . . . . . . . . . . . . . . . 218
                 Michael Ng and   
                   Joshua Huang   M-FastMap: a Modified FastMap Algorithm
                                  for Visual Cluster Validation in Data
                                  Mining . . . . . . . . . . . . . . . . . 224
              Chien-Yu Chen and   
          Shien-Ching Hwang and   
                  Yen-Jen Oyang   An Incremental Hierarchical Data
                                  Clustering Algorithm Based on Gravity
                                  Theory . . . . . . . . . . . . . . . . . 237
                Ah-Hwee Tan and   
                       Hong Pan   Adding Personality to Information
                                  Clustering . . . . . . . . . . . . . . . 251
François-Xavier Jollois and   
                  Mohamed Nadif   Clustering Large Categorical Data  . . . 257
                 Tong Zheng and   
                 Yonghe Niu and   
                   Randy Goebel   WebFrame: In Pursuit of Computationally
                                  and Cognitively Efficient Web Mining . . 264
              Bowo Prasetyo and   
             Iko Pramudiono and   
          Katsumi Takahashi and   
             Masaru Kitsuregawa   Naviz: Website Navigational Behavior
                                  Visualizer . . . . . . . . . . . . . . . 276
              Zhixiang Chen and   
            Ada Wai-Chee Fu and   
            Frank Chi-Hung Tong   Optimal Algorithms for Finding User
                                  Access Sessions from Very Large Web Logs 290
             Chia-Hui Chang and   
             Shih-Chien Kuo and   
               Kuo-Yu Hwang and   
              Tsung-Hsin Ho and   
                  Chih-Lung Lin   Automatic Information Extraction for
                                  Multiple Singular Web Pages  . . . . . . 297
                Honghua Dai and   
                        Gang Li   An Improved Approach for the Discovery
                                  of Causal Models via MML . . . . . . . . 304
                Ye-In Chang and   
                  Yu-Ming Hsieh   SETM*-MaxK: An Efficient SET-Based
                                  Approach to Find the Largest Itemset . . 316
               Sylvie Guillaume   Discovery of Ordinal Association Rules   322
                  T. Y. Lin and   
                  Y. Y. Yao and   
                       E. Louie   Value Added Association Rules  . . . . . 328
                    Ke Wang and   
                   Liu Tang and   
                 Jiawei Han and   
                   Junqiang Liu   Top Down FP-Growth for Association Rule
                                  Mining . . . . . . . . . . . . . . . . . 334
         Tetsuhiro Miyahara and   
              Yusuke Suzuki and   
          Takayoshi Shoudai and   
            Tomoyuki Uchida and   
          Kenichi Takahashi and   
                   Hiroaki Ueda   Discovery of Frequent Tag Tree Patterns
                                  in Semistructured Web Documents  . . . . 341
         Kazuyoshi Furukawa and   
            Tomoyuki Uchida and   
              Kazuya Yamada and   
         Tetsuhiro Miyahara and   
          Takayoshi Shoudai and   
               Yasuaki Nakamura   Extracting Characteristic Structures
                                  among Words in Semistructured Documents  356
               Felix Cheung and   
                    Ben Kao and   
               David Cheung and   
                    Chi-Yuen Ng   An Efficient Algorithm for Incremental
                                  Update of Concept Spaces . . . . . . . . 368
                 Cuiping Li and   
                 Shengen Li and   
                  Shan Wang and   
                    Xiaoyong Du   Efficient Constraint-Based Exploratory
                                  Mining on Large Data Cubes . . . . . . . 381
               Don-Lin Yang and   
              Man-Lin Huang and   
                Ming-Chuan Hung   Efficient Utilization of Materialized
                                  Views in a Data Warehouse  . . . . . . . 393
                 Ning Zhong and   
                    Juzhen Dong   Mining Interesting Rules in Meningitis
                                  Data by Cooperatively Using GDT-RS and
                                  RSBR . . . . . . . . . . . . . . . . . . 405
           Mukund Deshpande and   
                 George Karypis   Evaluation of Techniques for Classifying
                                  Biological Sequences . . . . . . . . . . 417
        Vincent S. M. Tseng and   
                  Ching-Pin Kao   Efficiently Mining Gene Expression Data
                                  via Integrated Clustering and Validation
                                  Techniques . . . . . . . . . . . . . . . 432
                Yulan Liang and   
                King-Ip Lin and   
                  Arpad Kelemen   Adaptive Generalized Estimation Equation
                                  with Bayes Classifier for the Job
                                  Assignment Problem . . . . . . . . . . . 438
             William W. Hsu and   
                  Ching-Chi Hsu   GEC: An Evolutionary Approach for
                                  Evolving Classifiers . . . . . . . . . . 450
               Hongjian Fan and   
         Ramamohanarao Kotagiri   An Efficient Single-Scan Algorithm for
                                  Mining Essential Jumping Emerging
                                  Patterns for Classification  . . . . . . 456
                  Lili Diao and   
                   Keyun Hu and   
                 Yuchang Lu and   
                     Chunyi Shi   A Method to Boost Support Vector
                                  Machines . . . . . . . . . . . . . . . . 463
               Xiaoming Jin and   
                 Yuchang Lu and   
                     Chunyi Shi   Distribution Discovery: Local Analysis
                                  of Temporal Rules  . . . . . . . . . . . 469
    Gabriel Pui Cheong Fung and   
              Jeffrey Xu Yu and   
                        Wai Lam   News Sensitive Stock Trend Prediction    481
              Dit-Yan Yeung and   
                     Yuxin Ding   User Profiling for Intrusion Detection
                                  Using Dynamic and Static Behavioral
                                  Models . . . . . . . . . . . . . . . . . 494
             Lee-Feng Chien and   
           Chien-Kang Huang and   
            Hsin-Chen Chiao and   
                   Shih-Jui Lin   Incremental Extraction of Keyterms for
                                  Classifying Multilingual Documents in
                                  the Web  . . . . . . . . . . . . . . . . 506
                 Maleq Khan and   
                   Qin Ding and   
                William Perrizo   $k$-nearest Neighbor Classification on
                                  Spatial Data Streams Using P-trees . . . 517
               Jianchao Han and   
                   Nick Cercone   Interactive Construction of
                                  Classification Rules . . . . . . . . . . 529
                  Jian Tang and   
              Zhixiang Chen and   
            Ada Wai-chee Fu and   
                David W. Cheung   Enhancing Effectiveness of Outlier
                                  Detections for Low Density Patterns  . . 535
         Yoshikazu Fujikawa and   
                       TuBao Ho   Cluster-Based Algorithms for Dealing
                                  with Missing Values  . . . . . . . . . . 549
                    Ki Chan and   
               Boon-Toh Low and   
                    Wai Lam and   
                    Kai-Pui Lam   Extracting Causation Knowledge from
                                  Natural Language Texts . . . . . . . . . 555
              Kok-Leong Ong and   
               Wee-Keong Ng and   
                    Ee-Peng Lim   Mining Relationship Graphs for Effective
                                  Business Objectives  . . . . . . . . . . 561
                      Anonymous   Author Index . . . . . . . . . . . . . . 567


Lecture Notes in Computer Science
Volume 2337, 2002

                   Satoru Iwata   A Faster Scaling Algorithm for
                                  Minimizing Submodular Functions  . . . . 1
              Bianca Spille and   
              Robert Weismantel   A Generalization of Edmonds' Matching
                                  and Matroid Intersection Algorithms  . . 9
                 Akihisa Tamura   A Coordinatewise Domain Scaling
                                  Algorithm for M-convex Function
                                  Minimization . . . . . . . . . . . . . . 21
             Lisa Fleischer and   
                Martin Skutella   The Quickest Multicommodity Flow Problem 36
         Oktay Günlük   A New Min-Cut Max-Flow Ratio for
                                  Multicommodity Flows . . . . . . . . . . 54
              Michael Lewin and   
                Dror Livnat and   
                      Uri Zwick   Improved Rounding Techniques for the MAX
                                  $2$-SAT and MAX DI-CUT Problems  . . . . 67
                Sylvia Boyd and   
     Genevi\`eve Labonté   Finding the Exact Integrality Gap for
                                  Small Traveling Salesman Problems  . . . 83
          Adam N. Letchford and   
                    Andrea Lodi   Polynomial-Time Separation of Simple
                                  Comb Inequalities  . . . . . . . . . . . 93
                Klaus M. Wenger   A New Approach to Cactus Construction
                                  Applied to TSP Support Graphs  . . . . . 109
              Kent Andersen and   
Gérard Cornuéjols and   
                      Yanjun Li   Split Closure and Intersection Cuts  . . 127
                   Sanjeeb Dash   An Exponential Lower Bound on the Length
                                  of Some Classes of Branch-and-Cut Proofs 145
   Jean-Philippe P. Richard and   
   Ismael R. de Farias, Jr. and   
            George L. Nemhauser   Lifted Inequalities for $0$-$1$ Mixed
                                  Integer Programming: Basic Theory and
                                  Algorithms . . . . . . . . . . . . . . . 161
                Ron Aharoni and   
           Tamás Fleiner   On a Lemma of Scarf  . . . . . . . . . . 176
                Bertrand Guenin   A Short Proof of Seymour's
                                  Characterization of the Matroids with
                                  the Max-Flow Min-Cut Property  . . . . . 188
             Jay Sethuraman and   
             Chung-Piaw Teo and   
                Rakesh V. Vohra   Integer Programming and Arrovian Social
                                  Welfare Functions  . . . . . . . . . . . 194
           Ramamoorthi Ravi and   
                  Amitabh Sinha   Integrated Logistics: Approximation
                                  Algorithms Combining Facility Location
                                  and Network Design . . . . . . . . . . . 212
            René Sitters   The Minimum Latency Problem Is NP-Hard
                                  for Weighted Trees . . . . . . . . . . . 230
               Maxim Sviridenko   An Improved Approximation Algorithm for
                                  the Metric Uncapacitated Facility
                                  Location Problem . . . . . . . . . . . . 240
              Ernst Althaus and   
                 Christian Fink   A Polyhedral Approach to Surface
                                  Reconstruction from Planar Contours  . . 258
      Andreas Eisenblätter   The Semidefinite Relaxation of the
                                  $k$-Partition Polytope Is Strong . . . . 273
   Ismael R. de Farias, Jr. and   
            George L. Nemhauser   A Polyhedral Study of the Cardinality
                                  Constrained Knapsack Problem . . . . . . 291
              Mao-Cheng Cai and   
               Xiaotie Deng and   
                 Haodi Feng and   
                  Guojun Li and   
                    Guizhen Liu   A PTAS for Minimizing Total Completion
                                  Time of Bounded Batch Scheduling . . . . 304
            Alberto Caprara and   
                Andrea Lodi and   
                 Michele Monaci   An Approximation Scheme for the
                                  Two-Stage, Two-Dimensional Bin Packing
                                  Problem  . . . . . . . . . . . . . . . . 315
               Klaus Jansen and   
                Lorant Porkolab   On Preemptive Resource Constrained
                                  Scheduling: Polynomial-Time
                                  Approximation Schemes  . . . . . . . . . 329
               Karen Aardal and   
               Arjen K. Lenstra   Hard Equality Constrained Integer
                                  Knapsacks  . . . . . . . . . . . . . . . 350
         Alexander Barvinok and   
                  Tamon Stephen   The Distribution of Values in the
                                  Quadratic Assignment Problem . . . . . . 367
                  Diego Klabjan   A New Subadditive Approach to Integer
                                  Programming  . . . . . . . . . . . . . . 384
            Gruia Calinescu and   
           Amit Chakrabarti and   
             Howard Karloff and   
                   Yuval Rabani   Improved Approximation Algorithms for
                                  Resource Allocation  . . . . . . . . . . 401
                 Ari Freund and   
            Joseph (Seffi) Naor   Approximating the Advertisement
                                  Placement Problem  . . . . . . . . . . . 415
               Rajiv Gandhi and   
              Samir Khuller and   
                 Yoo-Ah Kim and   
         Yung-Chun (Justin) Wan   Algorithms for Minimizing Response Time
                                  in Broadcast Scheduling  . . . . . . . . 425
            Chandra Chekuri and   
               Anupam Gupta and   
                 Amit Kumar and   
        Joseph (Seffi) Naor and   
                      Danny Raz   Building Edge-Failure Resilient Networks 439
             Bruce Shepherd and   
                   Adrian Vetta   The Demand Matching Problem  . . . . . . 457
                   Kunal Talwar   The Single-Sink Buy-at-Bulk LP Has
                                  Constant Integrality Gap . . . . . . . . 475
                      Anonymous   Author Index . . . . . . . . . . . . . . 487


Lecture Notes in Computer Science
Volume 2338, 2002

               Scott A. DeLoach   Modeling Organizational Rules in the
                                  Multi-agent Systems Engineering
                                  Methodology  . . . . . . . . . . . . . . 1
                 David Chen and   
                    Robin Cohen   AERO: An Outsourced Approach to
                                  Exception Handling in Multi-agent
                                  Systems  . . . . . . . . . . . . . . . . 16
                Thomas Tran and   
                    Robin Cohen   A Learning Algorithm for Buying and
                                  Selling Agents in Electronic
                                  Marketplaces . . . . . . . . . . . . . . 31
                      Peter Yap   Grid-Based Path-Finding  . . . . . . . . 44
          Akihiro Kishimoto and   
             Jonathan Schaeffer   Transposition Table Driven Work
                                  Scheduling in Distributed Game-Tree
                                  Search . . . . . . . . . . . . . . . . . 56
                   Eric Neufeld   Clue as a Testbed for Automated Theorem
                                  Proving  . . . . . . . . . . . . . . . . 69
              George V. Lashkia   A Noise Filtering Method for Inductive
                                  Concept Learning . . . . . . . . . . . . 79
           Daniel L. Silver and   
               Robert E. Mercer   The Task Rehearsal Method of Life-Long
                                  Learning: Overcoming Impoverished Data   90
                 Alan Mackworth   Recycling the Cycle of Perception: a
                                  Polemic  . . . . . . . . . . . . . . . . 102
          Michael C. Horsch and   
          William S. Havens and   
                Aditya K. Ghose   Generalized Arc Consistency with
                                  Application to MaxCSP  . . . . . . . . . 104
          Guan-Shieng Huang and   
                 Xiumei Jia and   
            Churn-Jung Liau and   
                   Jia-Huai You   Two-Literal Logic Programs and
                                  Satisfiability Representation of Stable
                                  Models: a Comparison . . . . . . . . . . 119
              Kevin Kennedy and   
               Robert E. Mercer   Using Communicative Acts to Plan the
                                  Cinematographic Structure of Animations  132
         Christie I. Ezeife and   
                         Yue Su   Mining Incremental Association Rules
                                  with Generalized FP-Tree . . . . . . . . 147
                 Hanan Ayad and   
                  Mohamed Kamel   Topic Discovery from Text Using
                                  Aggregation of Different Clustering
                                  Methods  . . . . . . . . . . . . . . . . 161
                James R. Parker   Genetic Algorithms for Continuous
                                  Problems . . . . . . . . . . . . . . . . 176
               Cory J. Butz and   
           Manon J. Sanscartier   On the Role of Contextual Weak
                                  Independence in Probabilistic Inference  185
              S. K. M. Wong and   
                     Dan Wu and   
                        Tao Lin   A Structural Characterization of
                                  DAG-Isomorphic Dependency Models . . . . 195
              S. K. M. Wong and   
                    Tao Lin and   
                         Dan Wu   Construction of a Non-redundant Cover
                                  for Conditional Independencies . . . . . 210
              Silvia Breban and   
               Julita Vassileva   Using Inter-agent Trust Relationships
                                  for Efficient Coalition Formation  . . . 221
               Alan Fedoruk and   
                   Ralph Deters   Using Agent Replication to Enhance
                                  Reliability and Availability of
                                  Multi-agent Systems  . . . . . . . . . . 237
              Richard Frost and   
                  Pierre Boulos   An Efficient Compositional Semantics for
                                  Natural-Language Database Queries with
                                  Arbitrarily-Nested Quantification and
                                  Negation . . . . . . . . . . . . . . . . 252
               Terry Copeck and   
         Nathalie Japkowicz and   
                Stan Szpakowicz   Text Summarization as Controlled Search  268
              Luc Plamondon and   
                  Leila Kosseim   QUANTUM: a Function-Based Question
                                  Answering System . . . . . . . . . . . . 281
                   Yllias Chali   Generic and Query-Based Text
                                  Summarization Using Lexical Cohesion . . 293
             Tamer S. Mahdi and   
               Robert E. Mercer   A Lexical Functional Mapping Algorithm   303
                 Christel Kemke   A Constructive Approach to Parsing with
                                  Neural Networks --- The Hybrid
                                  Connectionist Parsing Method . . . . . . 310
                  Jan Bakus and   
              Mohamed Kamel and   
                      Tom Carey   Extraction of Text Phrases Using
                                  Hierarchical Grammar . . . . . . . . . . 319
                  G. Grewal and   
                  T. Wilson and   
                        C. Nell   An Enhanced Genetic Algorithm Approach
                                  to the Channel Assignment Problem in
                                  Mobile Cellular Networks . . . . . . . . 325
              Kamran Karimi and   
             Howard J. Hamilton   RFCT: An Association-Based Causality
                                  Miner  . . . . . . . . . . . . . . . . . 334
                 Fulai Wang and   
                      Jim Greer   Retrieval of Short Documents from
                                  Discussion Forums  . . . . . . . . . . . 339
                 Yang Xiang and   
                 Chenwen Ye and   
             Deborah Ann Stacey   Application of Bayesian Networks to
                                  Shopping Assistance  . . . . . . . . . . 344
           Mathias Sallé   Electronic Contract Framework for
                                  Contractual Agents . . . . . . . . . . . 349
               Rony Abi-Aad and   
Thiruvengadam Radhakrishnan and   
                   Ahmed Seffah   User Models: Customizing E-Commerce
                                  Websites to the Context of Use . . . . . 354
              Golha Sharifi and   
           Julita Vassileva and   
                   Ralph Deters   Supporting the Needs of Mobile Home Care
                                  Workers: a Case Study for Saskatoon
                                  District Health System . . . . . . . . . 356
               E. Shakshuki and   
              P. Kajonpotisuwan   Multi-agent System Architecture for
                                  Computer-Based Tutoring Systems  . . . . 358
               Alfred I. Renaud   Word Prediction Evaluation Measures with
                                  Performance Benchmarking . . . . . . . . 361
          Tony Abou-Assaleh and   
                   Nick Cercone   Relaxed Unification --- Proposal . . . . 364
                Thomas Tran and   
                    Robin Cohen   A Learning Algorithm for Buying and
                                  Selling Agents in Electronic
                                  Marketplaces . . . . . . . . . . . . . . 366
            Diego Zapata-Rivera   cbCPT: Knowledge Engineering Support for
                                  CPTs in Bayesian Networks  . . . . . . . 368
              Laxmikanta Mishra   Query-Less Retrieval of Interesting
                                  Postings in a WebForum . . . . . . . . . 371
                      Anonymous   Author Index . . . . . . . . . . . . . . 373


Lecture Notes in Computer Science
Volume 2339, 2002

               Moses Liskov and   
                  Silvio Micali   Amortized E-Cash . . . . . . . . . . . . 1
                 Matt Blaze and   
             John Ioannidis and   
           Angelos D. Keromytis   Offline Micropayments without Trusted
                                  Hardware . . . . . . . . . . . . . . . . 21
              Nicko van Someren   The Practical Problems of Implementing
                                  MicroMint  . . . . . . . . . . . . . . . 41
                   Yair Frankel   Protecting Digital Rights  . . . . . . . 51
               David W. Kravitz   Aspects of Digital Rights Management and
                                  the Use of Hardware Security Devices . . 54
                Scott Moskowitz   A Solution to the Napster Phenomenon:
                                  Why Value Cannot Be Created Absent the
                                  Transfer of Subjective Data  . . . . . . 59
                   Tomas Sander   Golden Times for Digital Rights
                                  Management?  . . . . . . . . . . . . . . 64
                   Jeremy Wyant   Applicability of Public Key
                                  Cryptosystems to Digital Rights
                                  Management Applications  . . . . . . . . 75
            Tadayoshi Kohno and   
                  Mark McGovern   On the Global Content PMI: Improved
                                  Copy-Protected Internet Content
                                  Distribution . . . . . . . . . . . . . . 79
               L. Jean Camp and   
           Helen Nissenbaum and   
               Cathleen McGrath   Trust: a Collision of Paradigms  . . . . 91
      Éliane Jaulmes and   
              Guillaume Poupard   On the Security of Homage Group
                                  Authentication Protocol  . . . . . . . . 106
              Dahlia Malkhi and   
                    Elan Pavlov   Anonymity without `Cryptography'
                                  (Extended Abstract)  . . . . . . . . . . 117
         Dennis Kügler and   
                    Holger Vogt   Fair Tracing without Trustees  . . . . . 136
                Richard W. Rahn   Why the War on Money Laundering Should
                                  Be Aborted . . . . . . . . . . . . . . . 149
         Daniel R. L. Brown and   
             Robert Gallant and   
              Scott A. Vanstone   Provably Secure Implicit Certificate
                                  Schemes  . . . . . . . . . . . . . . . . 156
                 Ninghui Li and   
                Joan Feigenbaum   Nonmonotonicity, User Interfaces, and
                                  Risk Assessment in Certificate
                                  Revocation (Position Paper)  . . . . . . 166
           Markus Jakobsson and   
              David Pointcheval   Mutual Authentication for Low-Power
                                  Mobile Devices . . . . . . . . . . . . . 178
             Aviel D. Rubin and   
              Rebecca N. Wright   Off-Line Generation of Limited-Use
                                  Credit Card Numbers  . . . . . . . . . . 196
               Yiannis Tsiounis   A Security Framework for Card-Based
                                  Systems  . . . . . . . . . . . . . . . . 210
                     Adi Shamir   SecureClick: a Web Payment System with
                                  Disposable Credit Card Numbers . . . . . 232
                   Ed Gerck and   
             C. Andrew Neff and   
           Ronald L. Rivest and   
             Aviel D. Rubin and   
                      Moti Yung   The Business of Electronic Voting  . . . 243
          Giovanni Di Crescenzo   Privacy for the Stock Market . . . . . . 269
             Philippe Golle and   
             Stuart Stubblebine   Secure Distributed Computing in a
                                  Commercial Environment . . . . . . . . . 289
             David Naccache and   
          David Pointcheval and   
               Christophe Tymen   Monotone Signatures  . . . . . . . . . . 305
              Mihir Bellare and   
       Chanathip Namprempre and   
          David Pointcheval and   
                Michael Semanko   The Power of RSA Inversion Oracles and
                                  the Security of Chaum's RSA-Based Blind
                                  Signature Scheme . . . . . . . . . . . . 319
         Olivier Markowitch and   
              Shahrokh Saeednia   Optimistic Fair Exchange with
                                  Transparent Signature Recovery . . . . . 339
                Hiroaki Kikuchi   ( M +1)st-Price Auction Protocol . . . . 351
            Olivier Baudron and   
                  Jacques Stern   Non-interactive Private Auctions . . . . 364
                      Anonymous   Author Index . . . . . . . . . . . . . . 379


Lecture Notes in Computer Science
Volume 2340, 2002

               Thomas Hinze and   
                 Uwe Hatnik and   
                   Monika Sturm   An Object Oriented Simulation of Real
                                  Occurring Molecular Biological Processes
                                  for DNA Computing and Its Experimental
                                  Verification . . . . . . . . . . . . . . 1
        Satoshi Kashiwamura and   
        Masashi Nakatsugawa and   
          Masahito Yamamoto and   
            Toshikazu Shiba and   
                   Azuma Ohuchi   Towards Optimization of PCR Protocol in
                                  DNA Computing  . . . . . . . . . . . . . 14
               Udo Feldkamp and   
                Sam Saghafi and   
           Wolfgang Banzhaf and   
                   Hilmar Rauhe   DNASequenceGenerator: a Program for the
                                  Construction of DNA Sequences  . . . . . 23
            Danny van Noort and   
          Frank-Ulrich Gast and   
              John S. McCaskill   DNA Computing in Microreactors . . . . . 33
          Robert Penchovsky and   
              John S. McCaskill   Cascadable Hybridisation Transfer of
                                  Specific DNA between Microreactor
                                  Selection Modules  . . . . . . . . . . . 46
              Salah Hussini and   
                  Lila Kari and   
         Stavros Konstantinidis   Coding Properties of DNA Languages . . . 57
             Natasa Jonoska and   
                 Masahico Saito   Boundary Components of Thickened Graphs  70
            Yasubumi Sakakibara   Population Computation and Majority
                                  Inference in Test Tube . . . . . . . . . 82
          David Harlan Wood and   
                    Hong Bi and   
        Steven O. Kimbrough and   
                Dong-Jun Wu and   
                  Junghuei Chen   DNA Starts to Learn Poker  . . . . . . . 92
               John A. Rose and   
          Russell J. Deaton and   
              Masami Hagiya and   
                   Akira Suyama   PNA-mediated Whiplash PCR  . . . . . . . 104
              Max H. Garzon and   
                   Chris Oehmen   Biomolecular Computation in Virtual Test
                                  Tubes  . . . . . . . . . . . . . . . . . 117
             Fumiaki Tanaka and   
        Masashi Nakatsugawa and   
          Masahito Yamamoto and   
            Toshikazu Shiba and   
                   Azuma Ohuchi   Developing Support System for Sequence
                                  Design in DNA Computing  . . . . . . . . 129
               John A. Rose and   
          Russell J. Deaton and   
              Masami Hagiya and   
                   Akira Suyama   The Fidelity of the Tag-Antitag System   138
              Adam J. Ruben and   
        Stephen J. Freeland and   
             Laura F. Landweber   PUNCH: An Evolutionary Algorithm for
                                  Optimizing Bit Set Selection . . . . . . 150
Mario J. Pérez-Jiménez and   
      Fernando Sancho-Caparrini   Solving Knapsack Problems in a Sticker
                                  Based Model  . . . . . . . . . . . . . . 161
             Vincenzo Manca and   
                Claudio Zandron   A Clause String DNA Algorithm for SAT    172
            Takenaka Yoichi and   
              Hashimoto Akihiro   A Proposal of DNA Computing on Beads
                                  with Application to SAT Problems . . . . 182
                   Tom Head and   
                   Xia Chen and   
         Matthew J. Nichols and   
          Masayuki Yamamura and   
                   Susannah Gal   Aqueous Solutions of Algorithmic
                                  Problems: Emphasizing Knights on a $ 3
                                  \times 3 $ . . . . . . . . . . . . . . . 191
          Masahito Yamamoto and   
             Nobuo Matsuura and   
            Toshikazu Shiba and   
               Yumi Kawazoe and   
                   Azuma Ohuchi   Solutions of Shortest Path Problems by
                                  Concentration Control  . . . . . . . . . 203
          Masayuki Yamamura and   
              Yusuke Hiroto and   
                    Taku Matoba   Another Realization of Aqueous Computing
                                  with Peptide Nucleic Acid  . . . . . . . 213
            Yevgenia Khodor and   
               Julia Khodor and   
          Thomas F. Knight, Jr.   Experimental Confirmation of the Basic
                                  Principles of Length-only Discrimination 223
               John H. Reif and   
           Thomas H. LaBean and   
            Michael Pirrung and   
              Vipul S. Rana and   
                     Bo Guo and   
             Carl Kingsford and   
                Gene S. Wickham   Experimental Construction of Very Large
                                  Scale DNA Databases with Associative
                                  Search Capability  . . . . . . . . . . . 231
        Friedrich C. Simmel and   
                  Bernard Yurke   Operation of a Purified DNA Nanoactuator 248
          James C. Mitchell and   
                  Bernard Yurke   DNA Scissors . . . . . . . . . . . . . . 258
        Kenichi Wakabayashi and   
              Masayuki Yamamura   A Realization of Information Gate by
                                  Using Enterococcus faecalis Pheromone
                                  System . . . . . . . . . . . . . . . . . 269
        Andrzej Ehrenfeucht and   
                 Tero Harju and   
                  Ion Petre and   
             Grzegorz Rozenberg   Patterns of Micronuclear Genes in
                                  Ciliates . . . . . . . . . . . . . . . . 279
            M. Sakthi Balan and   
         Kamala Krithivasan and   
             Y. Sivasubramanyam   Peptide Computing --- Universality and
                                  Complexity . . . . . . . . . . . . . . . 290
               Julia Khodor and   
               David K. Gifford   Programmed Mutagenesis Is a Universal
                                  Model of Computation . . . . . . . . . . 300
              Hiroki Uejima and   
              Masami Hagiya and   
              Satoshi Kobayashi   Horn Clause Computation by Self-assembly
                                  of DNA Molecules . . . . . . . . . . . . 308
                 Hubert Hug and   
                 Rainer Schuler   DNA-based Parallel Computation of Simple
                                  Arithmetic . . . . . . . . . . . . . . . 321
                    Andrei Paun   On P Systems with Global Rules . . . . . 329
        Maurice Margenstern and   
  Carlos Martín-Vide and   
                  Gheorghe Paun   Computing with Membranes: Variants with
                                  an Enhanced Membrane Handling  . . . . . 340
           Angel V. Baranda and   
            Fernando Arroyo and   
           Juan Castellanos and   
                 Rafael Gonzalo   Towards an Electronic Implementation of
                                  Membrane Computing: a Formal Description
                                  of Non-deterministic Evolution in
                                  Transition P Systems . . . . . . . . . . 350
 Shankara Narayanan Krishna and   
                  Raghavan Rama   Insertion-Deletion P Systems . . . . . . 360
        Maurice Margenstern and   
                 Yurii Rogozhin   A Universal Time-Varying Distributed H
                                  System of Degree 1 . . . . . . . . . . . 371
        N. Gnanamalar David and   
          K. G. Subramanian and   
             D. Gnanaraj Thomas   A Note on Graph Splicing Languages . . . 381
                      Anonymous   Author Index . . . . . . . . . . . . . . 391


Lecture Notes in Computer Science
Volume 2342, 2002

              Dieter Fensel and   
          Christoph Bussler and   
              Alexander Maedche   Semantic Web Enabled Web Services  . . . 1
                 Carl Kesselman   The Grid, Grid Services and the Semantic
                                  Web: Technologies and Opportunities  . . 3
              Jeremy J. Carroll   Matching RDF Graphs  . . . . . . . . . . 5
   Peter F. Patel-Schneider and   
                  Dieter Fensel   Layering the Semantic Web: Problems and
                                  Directions . . . . . . . . . . . . . . . 16
                 Jaap Kamps and   
                   Maarten Marx   Notions of Indistinguishability for
                                  Semantic Web Languages . . . . . . . . . 30
          Michele Missikoff and   
            Roberto Navigli and   
                  Paola Velardi   The Usable Ontology: An Environment for
                                  Building and Assessing a Domain Ontology 39
             Jeen Broekstra and   
             Arjohn Kampman and   
             Frank van Harmelen   Sesame: a Generic Architecture for
                                  Storing and Querying RDF and RDF Schema  54
            Pascal Auillans and   
   Patrice Ossona de Mendez and   
         Pierre Rosenstiehl and   
                 Bernard Vatant   A Formal Model for Topic Maps  . . . . . 69
          Abraham Bernstein and   
                     Mark Klein   Towards High-Precision Service Retrieval 84
               Andreas Eberhart   Automatic Generation of Java/SQL Based
                                  Inference Engines from RDF Schema and
                                  RuleML . . . . . . . . . . . . . . . . . 102
                Bernd Amann and   
              Catriel Beeri and   
            Irini Fundulaki and   
                  Michel Scholl   Ontology-Based Integration of XML Web
                                  Resources  . . . . . . . . . . . . . . . 117
        Aimilia Magkanaraki and   
              Sofia Alexaki and   
     Vassilis Christophides and   
           Dimitris Plexousakis   Benchmarking RDF Schemas for the
                                  Semantic Web . . . . . . . . . . . . . . 132
   Peter F. Patel-Schneider and   
Jérôme Siméon   Building the Semantic Web on XML . . . . 147
                Yolanda Gil and   
                 Varun Ratnakar   Trusting Information Sources One Citizen
                                  at a Time  . . . . . . . . . . . . . . . 162
               Ian Horrocks and   
                Sergio Tessaris   Querying the Semantic Web: a Formal
                                  Approach . . . . . . . . . . . . . . . . 177
        Alexander Felfernig and   
          Gerhard Friedrich and   
            Dietmar Jannach and   
                  Markus Zanker   Semantic Configuration Web Services in
                                  the CAWICOMS Project . . . . . . . . . . 192
               Borys Omelayenko   Integrating Vocabularies: Discovering
                                  and Representing Vocabulary Maps . . . . 206
                  York Sure and   
            Michael Erdmann and   
             Juergen Angele and   
              Steffen Staab and   
                Rudi Studer and   
                     Dirk Wenke   OntoEdit: Collaborative Ontology
                                  Development for the Semantic Web . . . . 221
             Wolfgang Nejdl and   
              Wolf Siberski and   
                Bernd Simon and   
                    Julien Tane   Towards a Modification Exchange Language
                                  for Distributed RDF Repositories . . . . 236
             Drew McDermott and   
                     Dejing Dou   Representing Disjunction and Quantifiers
                                  in RDF . . . . . . . . . . . . . . . . . 250
            Bettina Berendt and   
              Andreas Hotho and   
                    Gerd Stumme   Towards Semantic Web Mining  . . . . . . 264
                   Joachim Peer   Bringing Together Semantic Web and Web
                                  Services . . . . . . . . . . . . . . . . 279
               Marek Hatala and   
                 Griff Richards   Global vs. Community Metadata Standards:
                                  Empowering Users for Knowledge Exchange  292
                    Ora Lassila   Taking the RDF Model Theory Out for a
                                  Spin . . . . . . . . . . . . . . . . . . 307
         Anupriya Ankolekar and   
                 Frank Huch and   
                   Katia Sycara   Concurrent Execution Semantics of DAML-S
                                  with Subtypes  . . . . . . . . . . . . . 318
           Massimo Paolucci and   
          Takahiro Kawamura and   
             Terry R. Payne and   
                   Katia Sycara   Semantic Matching of Web Services
                                  Capabilities . . . . . . . . . . . . . . 333
         Anupriya Ankolekar and   
              Mark Burstein and   
             Jerry R. Hobbs and   
                Ora Lassila and   
               David Martin and   
             Drew McDermott and   
        Sheila A. McIlraith and   
            Srini Narayanan and   
           Massimo Paolucci and   
                Terry Payne and   
                   Katia Sycara   DAML-S: Web Service Description for the
                                  Semantic Web . . . . . . . . . . . . . . 348
             Michael Sintek and   
                  Stefan Decker   \em TRIPLE --- A Query, Inference, and
                                  Transformation Language for the Semantic
                                  Web  . . . . . . . . . . . . . . . . . . 364
          Sonia Bergamaschi and   
           Francesco Guerra and   
               Maurizio Vincini   A Data Integration Framework for
                                  e-Commerce Product Classification  . . . 379
              Grigoris Antoniou   Nonmonotonic Rule Systems on Top of
                                  Ontology Layers  . . . . . . . . . . . . 394
                  Andy Seaborne   An RDF NetAPI  . . . . . . . . . . . . . 399
             Guus Schreiber and   
              Inger I. Blok and   
               Daan Carlier and   
      Wouter P. C. van Gent and   
               Jair Hokstam and   
                       Uri Roos   A Mini-experiment in Semantic Annotation 404
                D. Brickley and   
                 S. Buswell and   
             B. M. Matthews and   
                  L. Miller and   
                D. Reynolds and   
                   M. D. Wilson   SWAD-Europe: Semantic Web Advanced
                                  Development in Europe  . . . . . . . . . 409
              Steven R. Newcomb   Preemptive Reification . . . . . . . . . 414
                  Brian McBride   Four Steps Towards the Widespread
                                  Adoption of a Semantic Web . . . . . . . 419
               Libby Miller and   
              Andy Seaborne and   
               Alberto Reggiori   Three Implementations of SquishQL, a
                                  Simple RDF Query Language  . . . . . . . 423
                 Gangmin Li and   
              Victoria Uren and   
               Enrico Motta and   
      Simon Buckingham Shum and   
                  John Domingue   ClaiMaker: Weaving a Semantic Web of
                                  Research Papers  . . . . . . . . . . . . 436
          Michele Missikoff and   
              Francesco Taglino   Business and Enterprise Ontology
                                  Management with SymOntoX . . . . . . . . 442
            Stefan Haustein and   
             Jörg Pleumann   Is Participation in the Semantic Web Too
                                  Difficult? . . . . . . . . . . . . . . . 448
          Kenneth Baclawski and   
        Mieczyslaw M. Kokar and   
          Richard Waldinger and   
                  Paul A. Kogut   Consistency Checking of Semantic Web
                                  Ontologies . . . . . . . . . . . . . . . 454
            Mark A. Whiting and   
                    Nick Cramer   WebTheme $^{TM}$ : Understanding Web
                                  Information through Visual Analytics . . 460
             Terry R. Payne and   
                Rahul Singh and   
                   Katia Sycara   Browsing Schedules --- An Agent-Based
                                  Approach to Navigating the Semantic Web  469
                      Anonymous   Author Index . . . . . . . . . . . . . . 475


Lecture Notes in Computer Science
Volume 2345, 2002

                  Jon Crowcroft   Channel Islands in a Reflective Ocean:
                                  Large Scale Event Distribution in
                                  Heterogeneous Networks . . . . . . . . . 1
          Nicholas F. Maxemchuk   A Reliable Multicast Protocol with Delay
                                  Guarantees . . . . . . . . . . . . . . . 10
               Abhishek Roy and   
                   Sajal K. Das   Optimizing QoS-Based Multicast Routing
                                  in Wireless Networks: a Multi-objective
                                  Genetic Algorithmic Approach . . . . . . 28
            Susana Sargento and   
              Roger Salgado and   
               Miguel Carmo and   
             Victor Marques and   
                Rui Valadas and   
                Edward Knightly   An Experimental Study of Probing-Based
                                  Admission Control for DiffServ
                                  Architectures  . . . . . . . . . . . . . 49
           Bartek Wydrowski and   
                 Moshe Zukerman   High Performance DiffServ Mechanism for
                                  Routers and Switches: Packet Arrival
                                  Rate Based Queue Management for Class
                                  Based Scheduling . . . . . . . . . . . . 62
               Paulo Mendes and   
        Henning Schulzrinne and   
               Edmundo Monteiro   Session-Aware Popularity Resource
                                  Allocation for Assured Differentiated
                                  Services . . . . . . . . . . . . . . . . 74
                   Ilkka Norros   Most Probable Path Techniques for
                                  Gaussian Queueing Systems  . . . . . . . 86
Sándor Molnár and   
            Trang Dinh Dang and   
          István Maricza   On the Queue Tail Asymptotics for
                                  General Multifractal Traffic . . . . . . 105
                 Onno Boxma and   
              Dee Denteneer and   
                 Jacques Resing   Some Models for Contention Resolution in
                                  Cable Networks . . . . . . . . . . . . . 117
                Tomoko Itao and   
           Tetsuya Nakamura and   
              Masato Matsuo and   
               Tatsuya Suda and   
                Tomonori Aoyama   Adaptive Creation of Network
                                  Applications in the Jack-in-the-Net
                                  Architecture . . . . . . . . . . . . . . 129
       Ljubica Bla\vzevi\'c and   
            Silvia Giordano and   
            Jean-Yves Le Boudec   Anchored Path Discovery in Terminode
                                  Routing  . . . . . . . . . . . . . . . . 141
                 Lichun Bao and   
       J. J. Garcia-Luna-Aceves   Distributed Transmission Scheduling
                                  Using Code-Division Channelization . . . 154
              Gergely Seres and   
Árpád Szlávik and   
János Zátonyi and   
József Bíró   Towards Efficient Decision Rules for
                                  Admission Control Based on the Many
                                  Sources Asymptotics  . . . . . . . . . . 166
            Daniel R. Jeske and   
             Behrokh Samadi and   
              Kazem Sohraby and   
            Yung-Terng Wang and   
                  Qinqing Zhang   QoS with an Edge-Based Call Admission
                                  Control in IP Networks . . . . . . . . . 178
               Yeali S. Sun and   
              Yung-Cheng Tu and   
                Meng Chang Chen   Admission Control and Capacity
                                  Management for Advance Reservations with
                                  Uncertain Service Duration . . . . . . . 190
      Adamantia Alexandraki and   
              Michael Paterakis   Performance Evaluation of the Deadline
                                  Credit Scheduling Algorithm for
                                  Soft-Real-Time Applications in
                                  Distributed Video-on-Demand Systems  . . 202
           Elias Balafoutis and   
          Antonis Panagakis and   
         Nikolaos Laoutaris and   
            Ioannis Stavrakakis   The Impact of Replacement Granularity on
                                  Video Caching  . . . . . . . . . . . . . 214
               Parijat Dube and   
                   Eitan Altman   Utility Analysis of Simple FEC Schemes
                                  for VoIP . . . . . . . . . . . . . . . . 226
          Giuseppe Anastasi and   
                Marco Conti and   
             Enrico Gregori and   
              Andrea Passarella   A Power Saving Architecture for Web
                                  Access from Mobile Computers . . . . . . 240
             Takuya Okamoto and   
            Tatsuhiko Terai and   
                Go Hasegawa and   
                Masayuki Murata   A Resource/Connection Management Scheme
                                  for HTTP Proxy Servers . . . . . . . . . 252
            Hiroyuki Ohsaki and   
          Mitsushige Morita and   
                Masayuki Murata   Measurement-Based Modeling of Internet
                                  Round-Trip Time Dynamics Using System
                                  Identification . . . . . . . . . . . . . 264
       Micha\l Pióro and   
Gábor Malicskó and   
             Gábor Fodor   Optimal Link Capacity Dimensioning in
                                  Proportionally Fair Networks . . . . . . 277
              Mauro Brunato and   
            Roberto Battiti and   
                 Elio Salvadori   Load Balancing in WDM Networks through
                                  Adaptive Routing Table Changes . . . . . 289
              Nicolas Puech and   
          Josué Kuri and   
               Maurice Gagnaire   Models for the Logical Topology Design
                                  Problem  . . . . . . . . . . . . . . . . 301
             Halima Elbiaze and   
              Tijani Chahed and   
          Tülin Atmaca and   
 Gérard Hébuterne   Dynamic Shaping for Self-Similar Traffic
                                  Using Network Calculus . . . . . . . . . 314
           Giuseppe Bianchi and   
           Vincenzo Mancuso and   
                Giovanni Neglia   Is Admission-Controlled Traffic
                                  Self-Similar?  . . . . . . . . . . . . . 327
             R. G. Garroppo and   
                S. Giordano and   
                 S. Lucetti and   
                      M. Pagano   Analysis of CMPP Approach in Modeling
                                  Broadband Traffic  . . . . . . . . . . . 340
                 Irena Atov and   
              Richard J. Harris   A Mathematical Model for IP over ATM . . 352
              Damien Magoni and   
           Jean-Jacques Pansiot   Analysis and Comparison of Internet
                                  Topology Generators  . . . . . . . . . . 364
  Carla-Fabiana Chiasserini and   
            Imrich Chlamtac and   
                Paolo Monti and   
                  Antonio Nucci   Energy Efficient Design of Wireless Ad
                                  Hoc Networks . . . . . . . . . . . . . . 376
           Philippe Jacquet and   
               Anis Laouiti and   
              Pascale Minet and   
                Laurent Viennot   Performance of Multipoint Relaying in Ad
                                  Hoc Mobile Routing Protocols . . . . . . 387
               Zi-Tsan Chou and   
              Ching-Chi Hsu and   
                Ferng-Ching Lin   An Adaptive Location-Aware MAC Protocol
                                  for Multichannel Multihop Ad-Hoc
                                  Networks . . . . . . . . . . . . . . . . 399
                Gil Zussman and   
                  Adrian Segall   Capacity Assignment in Bluetooth
                                  Scatternets --- Analysis and Algorithms  411
        Jonathan K. Shapiro and   
                Don Towsley and   
                     Jim Kurose   Optimization-Based Congestion Control
                                  for Multicast Communications . . . . . . 423
András Császár and   
       Attila Takács and   
 Róbert Szabó and   
              Vlora Rexhepi and   
           Georgios Karagiannis   Severe Congestion Handling with Resource
                                  Management in Diffserv on Demand . . . . 443
               Supratim Deb and   
            Ayalvadi Ganesh and   
                      Peter Key   Resource Allocation with Persistent and
                                  Transient Flows  . . . . . . . . . . . . 455
             Chuan Heng Foh and   
                 Moshe Zukerman   A Novel and Simple MAC Protocol for High
                                  Speed Passive Optical LANs . . . . . . . 467
            Dajana Cassioli and   
               Andrea Detti and   
           Pierpaolo Loreti and   
            Franco Mazzenga and   
             Francesco Vatalaro   The Bluetooth Technology: State of the
                                  Art and Networking Aspects . . . . . . . 479
                 Anna Berno and   
                Nicola Laurenti   Time and Frequency Synchronization for
                                  Hiperlan/2 . . . . . . . . . . . . . . . 491
              Chris Blondia and   
                Olga Casals and   
     Llorenç Cerd\`a and   
                   Gert Willems   Performance Analysis of a Forwarding
                                  Scheme for Handoff in HAWAII . . . . . . 503
      Marcelo G. Rubinstein and   
Otto Carlos Muniz Bandeira Duarte and   
                    Guy Pujolle   Evaluating the Performance of a Network
                                  Management Application Based on Mobile
                                  Agents . . . . . . . . . . . . . . . . . 515
             Hidetoshi Ueno and   
          Norihiro Ishikawa and   
            Hideharu Suzuki and   
           Hiromitsu Sumino and   
                Osamu Takahashi   Performance Evaluation on WAP and
                                  Internet Protocol over 3G Wireless
                                  Networks . . . . . . . . . . . . . . . . 527
          Matías Freytes   Performance Evaluation of H.263-Based
                                  Video Transmission in an Experimental
                                  Ad-Hoc Wireless LAN System . . . . . . . 539
                  Markus Fidler   Differentiated Services Based Priority
                                  Dropping and Its Application to Layered
                                  Video Streams  . . . . . . . . . . . . . 551
Paulo André da Silva Gonçalves and   
JoséFerreira de Rezende and   
Otto Carlos Muniz Bandeira Duarte and   
                    Guy Pujolle   Optimal Feedback for Quality
                                  Source-Adaptive Schemes in Multicast
                                  Multi-layered Video Environments . . . . 563
             Laurent George and   
               Dana Marinca and   
                  Pascale Minet   A Fibre Channel Dimensioning for a
                                  Multimedia System with Deterministic QoS 575
         Kostas Pentikousis and   
                   Hussein Badr   On the Resource Efficiency of Explicit
                                  Congestion Notification  . . . . . . . . 588
                R. Lo Cigno and   
                G. Procissi and   
                    Mario Gerla   Sender-Side TCP Modifications: An
                                  Analytical Study . . . . . . . . . . . . 600
        Andrea De Vendictis and   
                Andrea Baiocchi   Modeling a Mixed TCP Vegas and TCP Reno
                                  Scenario . . . . . . . . . . . . . . . . 612
               Archan Misra and   
                  Teunis J. Ott   Performance Sensitivity and Fairness of
                                  ECN-Aware `Modified TCP' . . . . . . . . 624
                 Qian Huang and   
               Hui Min Chen and   
                King Tim Ko and   
                 Sammy Chan and   
                  King Sun Chan   Call Admission Control for 3G CDMA
                                  Networks with Differentiated QoS . . . . 636
              Yoshiaki Ohta and   
             Kenji Kawahara and   
            Takeshi Ikenaga and   
                       Yuji Oie   Performance Evaluation of Channel
                                  Switching Scheme for Packet Data
                                  Transmission in Radio Network Controller 648
                     Fei Hu and   
               Neeraj K. Sharma   An Optimal Reservation-Pool Approach for
                                  Guaranteeing the Call-Level QoS in
                                  Next-Generation Wireless Networks  . . . 660
                   Zhong Xu and   
               Zhenqiang Ye and   
  Srikanth V. Krishnamurthy and   
         Satish K. Tripathi and   
                     Mart Molle   A New Adaptive Channel Reservation
                                  Scheme for Handoff Calls in Wireless
                                  Cellular Networks  . . . . . . . . . . . 672
   Cédric de Launois and   
     Aurélien Bonnet and   
                   Marc Lobelle   Connection of Extruded Subnets: a
                                  Solution Based on RSIP . . . . . . . . . 685
                   Tao Peng and   
         Christopher Leckie and   
         Kotagiri Ramamohanarao   Adjusted Probabilistic Packet Marking
                                  for IP Traceback . . . . . . . . . . . . 697
                Pedro Sousa and   
             Paulo Carvalho and   
                  Vasco Freitas   Tuning Delay Differentiation in IP
                                  Networks Using Priority Queueing Models  709
                Xiaoming Fu and   
                Holger Karl and   
               Cornelia Kappler   QoS-Conditionalized Handoff for Mobile
                                  IPv6 . . . . . . . . . . . . . . . . . . 721
               Parijat Dube and   
            Omar Ait-Hellal and   
                   Eitan Altman   On Loss Probabilities in Presence of
                                  Redundant Packets with Random Drop . . . 731
           Joris Walraevens and   
              Bart Steyaert and   
                 Herwig Bruneel   Performance Analysis of a GI-G-1
                                  Preemptive Resume Priority Buffer  . . . 745
        Sabine Wittevrongel and   
             Herwig Bruneel and   
                     Bart Vinck   Analysis of the Discrete-Time G$^{(G)}$
                                  /Geom/c Queueing Model . . . . . . . . . 757
       Alexander Stepanenko and   
     Costas C. Constantinou and   
     Theodoros N. Arvanitis and   
                  Kevin Baughan   On a Theory of Interacting Queues  . . . 769
            Romano Fantacci and   
              Giovanni Giambene   Analysis of a MAC Protocol for a
                                  Time-Code Air Interface in LEO Mobile
                                  Satellite Systems  . . . . . . . . . . . 778
              A. Halim Zaim and   
            Harry G. Perros and   
              George N. Rouskas   Performance Analysis of LEO Satellite
                                  Networks . . . . . . . . . . . . . . . . 790
        Antonio Pietrabissa and   
           Cristiana Santececca   Gateway Architecture for DVB-RCS
                                  Satellite Networks . . . . . . . . . . . 802
             Rima Abi Fadel and   
             Samir Tohmé   Connection Admission Control CAC and
                                  Differentiated Resources Allocation RA
                                  in a Low Earth Orbit LEO Satellite
                                  Constellation  . . . . . . . . . . . . . 814
                      Zhong Fan   Dimensioning Bandwidth for Elastic
                                  Traffic  . . . . . . . . . . . . . . . . 826
              Abhinav Kamra and   
                Huzur Saran and   
                Sandeep Sen and   
                  Rajeev Shorey   Fair Adaptive Bandwidth Allocation: a
                                  Rate Control Based Active Queue
                                  Management Discipline  . . . . . . . . . 838
                Tiina Heikkinen   Distributed Scheduling via Pricing in a
                                  Communication Network  . . . . . . . . . 850
                  Lisong Xu and   
            Harry G. Perros and   
              George N. Rouskas   A Simulation Study of Access Protocols
                                  for Optical Burst-Switched Ring Networks 863
              Bart Rousseau and   
                  Fabrice Poppe   Capacity Efficiency of Distributed Path
                                  Restoration Mechanisms in Optical Mesh
                                  Networks . . . . . . . . . . . . . . . . 875
               Ilia Baldine and   
           Laura E. Jackson and   
                 George Rouskas   Helios: a Broadcast Optical Architecture 887
            V. Tountopoulos and   
             V. Stavroulaki and   
             P. Demestichas and   
                  N. Mitrou and   
                   M. Theologou   Service and Network Management
                                  Interworking in Future Wireless Systems  899
          Giannis F. Marias and   
                Lazaros Merakos   Scheduling Differentiated Traffic in
                                  Multicarrier Unlicensed Systems  . . . . 911
          Alexander A. Kist and   
              Richard J. Harris   A Simple Model for Calculating SIP
                                  Signalling Flows in 3GPP IP Multimedia
                                  Subsystems . . . . . . . . . . . . . . . 924
                   W. Szeto and   
                 R. Boutaba and   
                       Y. Iraqi   Dynamic Online Routing Algorithm for
                                  MPLS Traffic Engineering . . . . . . . . 936
                   C. Bruni and   
                 C. Scoglio and   
                     S. Vergari   Optimal Capacity Provisioning for Label
                                  Switched Paths in MPLS Networks  . . . . 947
              Ilias Iliadis and   
                   Daniel Bauer   A New Class of Online
                                  Minimum-Interference Routing Algorithms  959
           Takuji Tachibana and   
                 Shoji Kasahara   Performance Analysis of Dynamic
                                  Lightpath Configuration for WDM
                                  Asymmetric Ring Networks . . . . . . . . 972
            D. D. Kouvatsos and   
               K. Al-Begain and   
                        I. Awan   A Queueing Model for a Wireless GSM/GPRS
                                  Cell with Multiple Service Classes . . . 984
           Hung Nguyen Chan and   
       Belen Carro Martinez and   
           Rafa Mompo Gomez and   
         Judith Redoli Granados   Integrated Multi-purposed Testbed to
                                  Characterize the Performance of Internet
                                  Access over Hybrid Fiber Coaxial Access
                                  Networks . . . . . . . . . . . . . . . . 996
        Vladimir Vishnevsky and   
                 Andrey Lyakhov   802.11 LANs: Saturation Throughput in
                                  the Presence of Noise  . . . . . . . . . 1008
                    Jouni Karvo   Efficient Simulation of Blocking
                                  Probabilities for Multi-layer Multicast
                                  Streams  . . . . . . . . . . . . . . . . 1020
               Jun-Hong Cui and   
                 Jinkyu Kim and   
           Dario Maggiorini and   
           Khaled Boussetta and   
                    Mario Gerla   Aggregated Multicast --- A Comparative
                                  Study  . . . . . . . . . . . . . . . . . 1032
            Young-Chul Shim and   
                  Shin-Kyu Kang   New Center Location Algorithms for
                                  Shared Multicast Trees . . . . . . . . . 1045
     Maurizio A. Bonuccelli and   
                Alessandro Urpi   A Multicast FCFS Output Queued Switch
                                  without Speedup  . . . . . . . . . . . . 1057
          Giuseppe Anastasi and   
            Alberto Bartoli and   
             Flaminia L. Luccio   Fault-Tolerant Support for Reliable
                                  Multicast in Mobile Wireless Systems . . 1069
               Ilia Baldine and   
               Harry Perros and   
          George N. Rouskas and   
                  Dan Stevenson   JumpStart: a Just-in-Time Signaling
                                  Architecture for WDM Burst-Switched
                                  Networks . . . . . . . . . . . . . . . . 1081
            Stefano Basagni and   
             Raffaele Bruno and   
                Chiara Petrioli   Device Discovery in Bluetooth Networks:
                                  a Scatternet Perspective . . . . . . . . 1087
                G. Carrozzo and   
               V. Chionsini and   
                S. Giordano and   
                   S. Niccolini   QoS Evaluation of Real-Time Applications
                                  over a Multi-domain DiffServ
                                  Experimental Test-Bed  . . . . . . . . . 1093
            Hakima Chaouchi and   
                    Guy Pujolle   A New Policy Based Management of Mobile
                                  IP Users . . . . . . . . . . . . . . . . 1099
               P. Cremonese and   
                M. Esposito and   
                S. Giordano and   
                 M. Mondini and   
               S. P. Romano and   
                      G. Ventre   A Framework for Policy-Based Management
                                  of QoS Aware IP Networks . . . . . . . . 1105
                G. De Marco and   
                  S. Loreto and   
              G. Sorrentino and   
                      L. Veltri   SIP-H323: a Solution for Interworking
                                  Saving Existing Architecture . . . . . . 1111
            Christian Duret and   
          Francis Rischette and   
         Joël Lattmann and   
    Valéry Laspreses and   
             Pim Van Heuven and   
      Steven Van den Berghe and   
                 Piet Demeester   High Router Flexibility and Performance
                                  by Combining Dedicated Lookup Hardware
                                  (IFT), off the Shelf Switches and Linux  1117
            Thomas Hardjono and   
                    Hugh Harney   Group Security Policy Management for IP
                                  Multicast and Group Security . . . . . . 1123
           Yasushi Ichikawa and   
            Kensuke Arakawa and   
               Keisuke Wano and   
                  Yuko Murayama   Issues in Internet Radio . . . . . . . . 1129
Oscar-Iván Lepe-Aldama and   
      Jorge García-Vidal   I/O Bus Usage Control in PC-Based
                                  Software Routers . . . . . . . . . . . . 1135
                 Jerzy Konorski   Multiple Access in Ad-Hoc Wireless LANs
                                  with Noncooperative Stations . . . . . . 1141
                 Andrej Kos and   
             Janez Be\vster and   
                    Peter Homan   Next Generation Networks and Services in
                                  Slovenia . . . . . . . . . . . . . . . . 1147
                  Ben Liang and   
                Zygmunt J. Haas   Minimizing the Routing Delay in Ad Hoc
                                  Networks through Route-Cache TTL
                                  Optimization . . . . . . . . . . . . . . 1153
               Solange Lima and   
                Magda Silva and   
             Paulo Carvalho and   
           Alexandre Santos and   
                  Vasco Freitas   Long-Range Dependence of Internet
                                  Traffic Aggregates . . . . . . . . . . . 1159
             Valentina Lomi and   
     Gianfranco L. Pierobon and   
            Daniele Tonetto and   
             Lorenzo Vangelista   Improved Initial Synchronisation in the
                                  Presence of Frequency Offset in UMTS FDD
                                  Mode . . . . . . . . . . . . . . . . . . 1165
              Laurent Mathy and   
           Roberto Canonico and   
             Steven Simpson and   
                David Hutchison   Scalable Adaptive Hierarchical
                                  Clustering . . . . . . . . . . . . . . . 1172
                Eeva Nyberg and   
                   Samuli Aalto   How to Achieve Fair Differentiation  . . 1178
               Elena Pagani and   
               Gian Paolo Rossi   Measurement-Based Admission Control for
                                  Dynamic Multicast Groups in Diff-Serv
                                  Networks . . . . . . . . . . . . . . . . 1184
         L.-M. Papadopoulou and   
             V. Stavroulaki and   
             P. Demestichas and   
                   M. Theologou   A Framework to Service and Network
                                  Resource Management in Composite Radio
                                  Environments . . . . . . . . . . . . . . 1190
            Stephan Preuß   JESA Service Discovery Protocol  . . . . 1196
         Pertti Raatikainen and   
         Mika Wikström and   
 Timo Hämäläinen   Performance Simulations of a QoS Aware
                                  Caching Method . . . . . . . . . . . . . 1202
      Sidi-Mohammed Senouci and   
    André-Luc Beylot and   
                    Guy Pujolle   Call Admission Control for Multimedia
                                  Cellular Networks Using Neuro-dynamic
                                  Programming  . . . . . . . . . . . . . . 1208
                 Anke Speer and   
       Marcus Schöller and   
            Thomas Fuhrmann and   
             Martina Zitterbart   Aspects of AMnet Signaling . . . . . . . 1214
           Orazio Tomarchio and   
            Andrea Calvagna and   
             Giuseppe Di Modica   Virtual Home Environment for Multimedia
                                  Services in 3rd Generation Networks  . . 1221
                E. Tsolakou and   
              E. Nikolouzou and   
                    S. Venieris   On Providing End-To-End QoS Introducing
                                  a Set of Network Services in Large-Scale
                                  IP Networks  . . . . . . . . . . . . . . 1227
           Dimitris Velenis and   
         Dimitris Kalogeras and   
                 Basil Maglaris   SaTPEP: a TCP Performance Enhancing
                                  Proxy for Satellite Links  . . . . . . . 1233
              Chai Kiat Yeo and   
                Bu Sung Lee and   
                    Meng Hwa Er   An Overlay for Ubiquitous Streaming over
                                  Internet . . . . . . . . . . . . . . . . 1239
              Roland Zander and   
              Johan M. Karlsson   A Measurement-Based Dynamic Guard
                                  Channel Scheme for Handover
                                  Prioritization in Cellular Networks  . . 1245
                      Anonymous   Author Index . . . . . . . . . . . . . . 1253


Lecture Notes in Computer Science
Volume 2347, 2002

                  Jack Aaronson   Is Personalization All About Technology? 1
            Henry Lieberman and   
                       Hugo Liu   Adaptive Linking between Text and Photos
                                  Using Common Sense Reasoning . . . . . . 2
              Wolfgang Wahlster   Resource-Adaptive Interfaces to Hybrid
                                  Navigation Systems . . . . . . . . . . . 12
          Liliana Ardissono and   
                   Anna Goy and   
           Giovanna Petrone and   
              Marino Segnan and   
                 Pietro Torasso   Ubiquitous User Assistance in a Tourist
                                  Information Server . . . . . . . . . . . 14
               J. L. Arjona and   
               R. Corchuelo and   
                    A. Ruiz and   
                        M. Toro   Automatic Extraction of
                                  Semantically-Meaningful Information from
                                  the Web  . . . . . . . . . . . . . . . . 24
         Christopher Bailey and   
                 Wendy Hall and   
           David E. Millard and   
                   Mark J. Weal   Towards Open Adaptive Hypermedia . . . . 36
                Maria Barra and   
                Paul Maglio and   
              Alberto Negro and   
               Vittorio Scarano   GAS: Group Adaptive System . . . . . . . 47
           Patrick Baudisch and   
                 Lars Brueckner   TV Scout: Lowering the Entry Barrier to
                                  Personalized TV Program Recommendation   58
               Kalina Bontcheva   Adaptivity, Adaptability, and Reading
                                  Behaviour: Some Results from the
                                  Evaluation of a Dynamic Hypertext System 69
                Licia Calvi and   
              Alexandra Cristea   Towards Generic Adaptive Systems:
                                  Analysis of a Case Study . . . . . . . . 79
              Rosa M. Carro and   
               Ana M. Breda and   
            Gladys Castillo and   
            Antonio L. Bajuelos   A Methodology for Developing Adaptive
                                  Educational-Game Environments  . . . . . 90
                Owen Conlan and   
               Vincent Wade and   
            Catherine Bruen and   
                    Mark Gargan   Multi-model, Metadata Driven Approach to
                                  Adaptive Hypermedia Services for
                                  Personalized eLearning . . . . . . . . . 100
                 L. Console and   
                  S. Gioria and   
                I. Lombardi and   
                  V. Surano and   
                       I. Torre   Adaptation and Personalization on Board
                                  Cars: a Framework and Its Application to
                                  Tourist Services . . . . . . . . . . . . 112
          Alexandra Cristea and   
                     Lora Aroyo   Adaptive Authoring of Adaptive
                                  Educational Hypermedia . . . . . . . . . 122
          Flavius Frasincar and   
               Geert-Jan Houben   Hypermedia Presentation Adaptation on
                                  the Semantic Web . . . . . . . . . . . . 133
             Elena Gaudioso and   
             Jesus G. Boticario   User Data Management and Usage Model
                                  Acquisition in an Adaptive Educational
                                  Collaborative Environment  . . . . . . . 143
            Evangelia Gouli and   
     Kyparisia Papanikolaou and   
              Maria Grigoriadou   Personalizing Assessment in Adaptive
                                  Educational Hypermedia Systems . . . . . 153
               Xiao-Dong Gu and   
                Jinlin Chen and   
                Wei-Ying Ma and   
                 Guo-Liang Chen   Visual Based Content Understanding
                                  towards Web Adaptation . . . . . . . . . 164
               Nicola Henze and   
                 Wolfgang Nejdl   Knowledge Modeling for Open Adaptive
                                  Hypermedia . . . . . . . . . . . . . . . 174
       Roland Hübscher and   
            Sadhana Puntambekar   Adaptive Navigation for Learners in
                                  Hypermedia Is Scaffolded Navigation  . . 184
            Anthony Jameson and   
               Eric Schwarzkopf   Pros and Cons of Controllability: An
                                  Empirical Study  . . . . . . . . . . . . 193
                   Judy Kay and   
             Bob Kummerfeld and   
                   Piers Lauder   Personis: a Server for User Models . . . 203
                  Nora Koch and   
                 Martin Wirsing   The Munich Reference Model for Adaptive
                                  Hypermedia Applications  . . . . . . . . 213
                   Ivan Koychev   Tracking Changing User Interests through
                                  Prior-Learning of Context  . . . . . . . 223
                  Dirk Kukulenz   Prediction of Navigation Profiles in a
                                  Distributed Internet Environment through
                                  Learning of Graph Distributions  . . . . 233
             Jaakko Kurhila and   
           Miikka Miettinen and   
           Petri Nokelainen and   
                    Henry Tirri   E DUCO --- A Collaborative Learning
                                  Environment Based on Social Navigation   242
                   Hugo Liu and   
            Henry Lieberman and   
                     Ted Selker   GOOSE: a Goal-Oriented Search Engine
                                  with Commonsense . . . . . . . . . . . . 253
     Mercedes Macías and   
      Julia González and   
        Fernando Sánchez   On Adaptability of Web Sites for
                                  Visually Handicapped People  . . . . . . 264
         Lucimar C. Martins and   
       Tatiana A. S. Coelho and   
       Simone D. J. Barbosa and   
          Marco A. Casanova and   
         Carlos J. P. de Lucena   A Framework for Filtering and Packaging
                                  Hypermedia Documents . . . . . . . . . . 274
        Nuria Medina-Medina and   
 Lina García-Cabrera and   
M. José Rodríguez-Fortiz and   
      José Parets-Llorca   Adaptation in an Evolutionary Hypermedia
                                  System: Using Semantic and Petri Nets    284
          Antonija Mitrovic and   
                   Brent Martin   Evaluating the Effects of Open Student
                                  Models on Learning . . . . . . . . . . . 296
            Stefano Mizzaro and   
                    Carlo Tasso   Ephemeral and Persistent Personalization
                                  in Adaptive Information Access to
                                  Scholarly Publications on the Web  . . . 306
Miguel-Ángel Sicilia and   
         Paloma Díaz and   
               Ignacio Aedo and   
            Elena García   Fuzzy Linguistic Summaries in Rule-Based
                                  Adaptive Hypermedia Systems  . . . . . . 317
                Barry Smyth and   
                    Paul Cotter   The Plight of the Navigator: Solving the
                                  Navigation Problem for Wireless Portals  328
          Maria A. M. Souto and   
              Regina Verdin and   
             Ricardo Wainer and   
             Milton Madeira and   
       Mariusa Warpechowski and   
           Karine Beschoren and   
             Renata Zanella and   
      Juarez Sagebin Correa and   
             Rosa M. Vicari and   
José Palazzo M. de Oliveira   Towards an Adaptive Web Training
                                  Environment Based on Cognitive Style of
                                  Learning: An Empirical Approach  . . . . 338
             Aditya V. Sunderam   Automated Personalization of Internet
                                  News . . . . . . . . . . . . . . . . . . 348
            Silvia Abrah ao and   
                  Joan Fons and   
Magalí González and   
                   Oscar Pastor   Conceptual Modeling of Personalized Web
                                  Applications . . . . . . . . . . . . . . 358
          Rosa Arruabarrena and   
Tomás A. Pérez and   
   J. López-Cuadrado and   
        J. Gutiérrez and   
                  J. A. Vadillo   On Evaluating Adaptive Systems for
                                  Education  . . . . . . . . . . . . . . . 363
               Tobias Berka and   
           Wernher Behrendt and   
                 Erich Gams and   
                Siegfried Reich   Recommending Internet-Domains Using
                                  Trails and Neural Networks . . . . . . . 368
           Angela Brunstein and   
          Jacqueline Waniek and   
               Anja Naumann and   
                 Josef F. Krems   Learning Grammar with Adaptive
                                  Hypertexts: Reading or Searching?  . . . 372
           Cristina Carmona and   
                David Bueno and   
             Eduardo Guzman and   
                 Ricardo Conejo   SIGUE: Making Web Courses Adaptive . . . 376
                 John W. Coffey   An Ontology-Guided Approach to Content
                                  Adaptation in LEO: a Learning
                                  Environment Organizer  . . . . . . . . . 380
           Marek Czarkowski and   
                       Judy Kay   A Scrutable Adaptive Hypertext . . . . . 384
                Paul De Bra and   
                   Ad Aerts and   
                David Smits and   
                  Natalia Stash   AHA! Meets AHAM  . . . . . . . . . . . . 388
               Andrea Esuli and   
         Antonio Cisternino and   
            Giuliano Pacini and   
                     Maria Simi   Adaptive Real Time Comment Generation
                                  for Sail Racing Scenarios  . . . . . . . 392
           Michael Grimsley and   
                 Anthony Meehan   A Web-Based Selling Agent That Maintains
                                  Customer Loyalty through Integrative
                                  Negotiation  . . . . . . . . . . . . . . 397
            Jennifer Healey and   
                 Rafah Hosn and   
        Stéphane H. Maes   Adaptive Content for Device Independent
                                  Multi-modal Browser Applications . . . . 401
            Rushed Kanawati and   
                    Maria Malek   Behavioral Sequences: a New Log-Coding
                                  Scheme for Effective Prediction of Web
                                  User Accesses  . . . . . . . . . . . . . 406
              Cveta Martinovska   A Fuzzy-Based Approach to User Model
                                  Refinement in Adaptive Hypermedia
                                  Systems  . . . . . . . . . . . . . . . . 411
                Judith Masthoff   Towards an Authoring Coach for Adaptive
                                  Web-Based Instruction  . . . . . . . . . 415
             Susana Montero and   
               Ignacio Aedo and   
             Paloma Díaz   Generation of Personalized Web Courses
                                  Using RBAC . . . . . . . . . . . . . . . 419
             Hyeonjeong Mun and   
                   Sooho Ok and   
                    Yongtae Woo   An Automatic Rating Technique Based on
                                  XML Document . . . . . . . . . . . . . . 424
               Muan Hong Ng and   
                 Wendy Hall and   
                  Pat Maier and   
                  Ray Armstrong   Using Effective Reading Speed to
                                  Integrate Adaptivity into Web-Based
                                  Learning . . . . . . . . . . . . . . . . 428
             Teresa Roselli and   
             Enrica Gentile and   
           Paola Plantamura and   
           Veronica Rossano and   
              Vittorio Saponaro   A Non-invasive Cooperative Student Model 432
          Mikael Sollenborn and   
                     Peter Funk   Category-Based Filtering in Recommender
                                  Systems for Improved Performance in
                                  Dynamic Domains  . . . . . . . . . . . . 436
              Adrian Spalka and   
                  Hanno Langweg   Protecting the User from the Data:
                                  Security and Privacy Aspects of Public
                                  Web Access . . . . . . . . . . . . . . . 440
 Marl\`ene Villanova-Oliver and   
 Jérôme Gensel and   
            Hervé Martin   Exploiting a Progressive Access Model to
                                  Information  . . . . . . . . . . . . . . 444
         Stephan Weibelzahl and   
                  Gerhard Weber   Adapting to Prior Knowledge of Learners  448
               Seiji Yamada and   
                     Yuki Nakai   Monitoring Partial Updates in Web Pages
                                  Using Relational Learning  . . . . . . . 452
              David Abraham and   
                   Kalina Yacef   Adaptation in the Web-Based Logic-ITA    456
              Paolo Avesani and   
                Paolo Massa and   
               Michele Nori and   
                    Angelo Susi   Collaborative Radio Community  . . . . . 462
  Ricardo Azambuja Silveira and   
              Rosa Maria Vicari   Improving Interactivity in e-Learning
                                  Systems with Multi-agent Architecture    466
        François Bry and   
                  Michael Kraus   Adaptive Hypermedia Made Simple with
                                  HTML/XML Style Sheet Selectors . . . . . 472
Félix Buendía and   
             Paloma Díaz   A Framework for Educational Adaptive
                                  Hypermedia Applications  . . . . . . . . 476
                David Bueno and   
             Ricardo Conejo and   
           Cristina Carmona and   
                  Amos A. David   METIORE: a Publications Reference for
                                  the Adaptive Hypermedia Community  . . . 480
                 P. Carrara and   
                   D. Fogli and   
                  G. Fresta and   
                      P. Mussio   User-Driven Adaptation of e-Documents    484
          Lillian N. Cassel and   
                Ursula Wolz and   
                 Robert E. Beck   Server Independent Personalization for
                                  Effective Searching in the World Wide
                                  Web  . . . . . . . . . . . . . . . . . . 488
              Alison Cawsey and   
              Euan Dempster and   
               Diana Bental and   
               Daniel Pacey and   
            Howard Williams and   
          Lachlan MacKinnon and   
                  David Marwick   Preventing Misleading Presentations of
                                  XML Documents: Some Initial Proposals    492
            Alessandra Cini and   
    José Valdeni de Lima   Adaptivity Conditions Evaluation for the
                                  User of Hypermedia Presentations Built
                                  with AHA!  . . . . . . . . . . . . . . . 497
Marta Fernández de Arriba and   
José A. López Brugos   Development of Adaptive Web Sites with
                                  Usability and Accessibility Features . . 501
Francisco José García and   
            Fabio Patern\`o and   
           Ana Belén Gil   An Adaptive e-Commerce System Definition 505
                 Mohit Goel and   
                Sudeshna Sarkar   Web Site Personalization Using User
                                  Profile Information  . . . . . . . . . . 510
              J. P. McGowan and   
        Nicholas Kushmerick and   
                    Barry Smyth   Who Do You Want to Be Today? Web
                                  Personae for Personalised Information
                                  Access . . . . . . . . . . . . . . . . . 514
          Akihiro Kashihara and   
           Shinobu Hasegawa and   
                Jun'ichi Toyoda   Adaptive Navigation Path Previewing for
                                  Learning on the Web  . . . . . . . . . . 518
                Youngji Kim and   
                   Sooho Ok and   
                    Yongtae Woo   A Case-Based Recommender System Using
                                  Implicit Rating Techniques . . . . . . . 522
                Sarit Kraus and   
      Alexander Kröner and   
                     Lea Tsaban   IMAP --- Intelligent Multimedia
                                  Authoring Tools for Electronic
                                  Publishing . . . . . . . . . . . . . . . 527
                 Meehee Lee and   
             Pyungseok Choi and   
                    Yongtae Woo   A Hybrid Recommender System Combining
                                  Collaborative Filtering with Neural
                                  Network  . . . . . . . . . . . . . . . . 531
Ana María Martínez-Enríquez and   
       Dominique Decouchant and   
    Alberto L. Morán and   
                   Jesus Favela   An Adaptive Cooperative Web Authoring
                                  Environment  . . . . . . . . . . . . . . 535
               Alke Martens and   
          Adelinde M. Uhrmacher   Adapting Learner Evaluation by Plans . . 539
               Brent Martin and   
              Antonija Mitrovic   WETAS: a Web-Based Authoring System for
                                  Constraint-Based ITS . . . . . . . . . . 543
         Hiroyuki Mitsuhara and   
                 Youji Ochi and   
                     Yoneo Yano   Open-Ended Adaptive System for
                                  Facilitating Knowledge Construction in
                                  Web-Based Exploratory Learning . . . . . 547
                 Wilfred Ng and   
                      Jerry Yau   Adapting Web Interfaces by WHAT  . . . . 551
              Pedro Paredes and   
                Pilar Rodriguez   Considering Sensing-Intuitive Dimension
                                  to Exposition-Exemplification in
                                  Adaptive Sequencing  . . . . . . . . . . 556
              M. A. Redondo and   
                   C. Bravo and   
                  M. Ortega and   
                  M. F. Verdejo   PlanEdit: An Adaptive Problem Solving
                                  Tool for Design  . . . . . . . . . . . . 560
Martín González Rodríguez and   
Benjamin López Pérez and   
María del Puerto Paule Ruíz and   
Juan Ramón Pérez Pérez   Dynamic Generation of Interactive
                                  Dialogs Based on Intelligent Agents  . . 564
                 Oreste Signore   A Simple Architecture for Adaptive
                                  Hypertext  . . . . . . . . . . . . . . . 568
              Marcus Specht and   
              Milos Kravcik and   
              Roland Klemke and   
               Leonid Pesin and   
   Rüdiger Hüttenhain   Adaptive Learning Environment for
                                  Teaching and Learning in WINDS . . . . . 572
                   Elio Toppano   Adaptation through Interaction Modelling
                                  in Educational Hypermedia  . . . . . . . 576
      Mohamed Ramzy Zakaria and   
                 Adam Moore and   
               Helen Ashman and   
              Craig Stewart and   
                 Tim Brailsford   The Hybrid Model for Adaptive
                                  Educational Hypermedia . . . . . . . . . 580
                Peter Dolog and   
  Mária Bieliková   Navigation Modelling in Adaptive
                                  Hypermedia . . . . . . . . . . . . . . . 586
                 Ana B. Gil and   
    Francisco García and   
                 Zahia Guessoum   An Adaptive Agent Model for e-Commerce
                                  Architecture . . . . . . . . . . . . . . 592
               Eelco Herder and   
                 Betsy van Dijk   Personalized Adaptation to Device
                                  Characteristics  . . . . . . . . . . . . 598
                   Ilaria Torre   Users Modeling for Adaptive Call Centers 603
               Lim Tek Yong and   
                 Tang Enya Kong   The Exploratory of Personal Assistants   608
                      Anonymous   Author Index . . . . . . . . . . . . . . 613


Lecture Notes in Computer Science
Volume 2348, 2002

              Michael L. Brodie   The Grand Challenge in Information
                                  Technology and the Illusion of Validity  1
                 Matthias Jarke   Metadata and Cooperative Knowledge
                                  Management . . . . . . . . . . . . . . . 2
              Christopher Welty   Ontology-Driven Conceptual Modeling  . . 3
             Matthias Jarke and   
                    Ralf Klamma   Metadata and Cooperative Knowledge
                                  Management . . . . . . . . . . . . . . . 4
                  Jian Yang and   
            Mike. P. Papazoglou   Web Component: a Substrate for Web
                                  Service Reuse and Composition  . . . . . 21
                    Lin Liu and   
                        Eric Yu   Designing Web-Based Systems in Social
                                  Context: a Goal and Scenario Based
                                  Approach . . . . . . . . . . . . . . . . 37
               Rakesh Mohan and   
          Mitchell A. Cohen and   
                 Josef Schiefer   A State Machine Based Approach for a
                                  Process Driven Development of
                                  Web-Applications . . . . . . . . . . . . 52
       Alejandro A. Vaisman and   
       Alberto O. Mendelzon and   
               Walter Ruaro and   
             Sergio G. Cymerman   Supporting Dimension Updates in an OLAP
                                  Server . . . . . . . . . . . . . . . . . 67
                Johann Eder and   
         Christian Koncilia and   
                  Tadeusz Morzy   The COMET Metamodel for Temporal Data
                                  Warehouses . . . . . . . . . . . . . . . 83
                   Ping Liu and   
               Jayne Curson and   
                      Peter Dew   Exploring RDF for Expertise Matching
                                  within an Organizational Memory  . . . . 100
             Kari Smolander and   
      Tero Päivärinta   Describing and Communicating Software
                                  Architecture in Practice: Observations
                                  on Stakeholders and Rationale  . . . . . 117
              Magda Huisman and   
                  Juhani Iivari   The Individual Deployment of Systems
                                  Development Methodologies  . . . . . . . 134
                 Daqing Hou and   
            H. James Hoover and   
                 Eleni Stroulia   Supporting the Deployment of
                                  Object-Oriented Frameworks . . . . . . . 151
           Terje Brasethvik and   
                 Jon Atle Gulla   A Conceptual Modeling Approach to
                                  Semantic Document Retrieval  . . . . . . 167
           Yannis Stavrakas and   
           Manolis Gergatsoulis   Multidimensional Semistructured Data:
                                  Representing Context-Dependent
                                  Information on the Web . . . . . . . . . 183
          Nick Papadopoulos and   
           Dimitris Plexousakis   The Role of Semantic Relevance in
                                  Dynamic User Community Management and
                                  the Formulation of Recommendations . . . 200
           Howard F. Lipson and   
              Nancy R. Mead and   
                Andrew P. Moore   Can We Ever Build Survivable Systems
                                  from COTS Components?  . . . . . . . . . 216
               Henry M. Kim and   
                    Mark S. Fox   Towards a Data Model for Quality
                                  Management Web Services: An Ontology of
                                  Measurement for Enterprise Modeling  . . 230
            Moira C. Norrie and   
             Alexios Palinginis   A Modelling Approach to the Realisation
                                  of Modular Information Spaces  . . . . . 245
             Andrea Cal\`\i and   
            Diego Calvanese and   
        Giuseppe De Giacomo and   
             Maurizio Lenzerini   Data Integration under Integrity
                                  Constraints  . . . . . . . . . . . . . . 262
               Huaxin Zhang and   
                 Eleni Stroulia   Babel: An XML-Based Application
                                  Integration Framework  . . . . . . . . . 280
         Nasreddine Aoumeur and   
                   Gunter Saake   Integrating and Rapid-Prototyping UML
                                  Structural and Behavioural Diagrams
                                  Using Rewriting Logic  . . . . . . . . . 296
             M. Benerecetti and   
                   M. Panti and   
                L. Spalazzi and   
                     S. Tacconi   Verification of Payment Protocols via
                                  MultiAgent Model Checking  . . . . . . . 311
           Günter Gans and   
          Gerhard Lakemeyer and   
             Matthias Jarke and   
                    Thomas Vits   SNet: a Modeling and Simulation
                                  Environment for Agent Networks Based on
                                  i* and ConGolog  . . . . . . . . . . . . 328
             Hye-young Paik and   
         Boualem Benatallah and   
                  Rachid Hamadi   Usage-Centric Adaptation of Dynamic
                                  E-Catalogs . . . . . . . . . . . . . . . 344
                     Jianguo Lu   Reengineering of Database Applications
                                  to EJB Based Architecture  . . . . . . . 361
                Sangjun Lee and   
              Dongseop Kwon and   
                      Sukho Lee   Efficient Similarity Search for Time
                                  Series Data Based on the Minimum
                                  Distance . . . . . . . . . . . . . . . . 377
                 John N. Wilson   A High-Performance Data Structure for
                                  Mobile Information Systems . . . . . . . 392
            Andreas Leicher and   
                Felix Bübl   External Requirements Validation for
                                  Component-Based Systems  . . . . . . . . 404
      Maria Carmen Leonardi and   
Julio Cesar Sampaio do Prado Leite   Using Business Rules in EXtreme
                                  Requirements . . . . . . . . . . . . . . 420
            Mira Kajko-Mattsson   Evaluating CM3: Problem Management . . . 436
               Jacob Berlin and   
                   Amihai Motro   Database Schema Matching Using Machine
                                  Learning with Feature Selection  . . . . 452
      Cristina Gómez and   
            Antoni Olivé   Evolving Partitions in Conceptual
                                  Schemas in the UML . . . . . . . . . . . 467
            Peter Mc. Brien and   
        Alexandra Poulovassilis   Schema Evolution in Heterogeneous
                                  Database Architectures, A Schema
                                  Transformation Approach  . . . . . . . . 484
              Ingrid Wetzel and   
               Ralf Klischewski   Serviceflow Beyond Workflow? Concepts
                                  and Architectures for Supporting
                                  Inter-organizational Service Processes   500
                Alfred Fent and   
             Herbert Reiter and   
               Burkhard Freitag   Design for Change: Evolving Workflow
                                  Specifications in \em ULTRAflow  . . . . 516
     W. M. P. van der Aalst and   
              A. Hirnschall and   
               H. M. W. Verbeek   An Alternative Way to Analyze Workflow
                                  Graphs . . . . . . . . . . . . . . . . . 535
                 Yingjiu Li and   
                Lingyu Wang and   
               X. Sean Wang and   
                 Sushil Jajodia   Auditing Interval-Based Inference  . . . 553
                    Mengchi Liu   A Logical Foundation for XML . . . . . . 568
            Richard Vdovjak and   
               Geert-Jan Houben   Providing the Semantic Layer for WIS
                                  Design . . . . . . . . . . . . . . . . . 584
   Eva Söderström and   
           Birger Andersson and   
           Paul Johannesson and   
               Erik Perjons and   
                  Benkt Wangler   Towards a Framework for Comparing
                                  Process Modelling Languages  . . . . . . 600
                 N. Prakash and   
                M. P. S. Bhatia   Generic Models for Engineering Methods
                                  of Diverse Domains . . . . . . . . . . . 612
                  Motoshi Saeki   Role of Model Transformation in Method
                                  Engineering  . . . . . . . . . . . . . . 626
           Mohamed Dahchour and   
              Alain Pirotte and   
         Esteban Zimányi   A Generic Role Model for Dynamic Objects 643
              Dolors Costal and   
        Maria-Ribera Sancho and   
                Ernest Teniente   Understanding Redundancy in UML Models
                                  for Object-Oriented Analysis . . . . . . 659
            Antoni Olivé   Representation of Generic Relationship
                                  Types in Conceptual Modeling . . . . . . 675
               Michel Adiba and   
José-Luis Zechinelli-Martini   Building Spatio-Temporal Presentations
                                  Warehouses from Heterogeneous Multimedia
                                  Web Servers  . . . . . . . . . . . . . . 692
               J. L. Arjona and   
               R. Corchuelo and   
                    A. Ruiz and   
                        M. Toro   A Practical Agent-Based Method to
                                  Extract Semantic Information from the
                                  Web  . . . . . . . . . . . . . . . . . . 697
              Christoph Bussler   Process Inheritance  . . . . . . . . . . 701
                Zhiming Cai and   
                        Eric Yu   Addressing Performance Requirements
                                  Using a Goal and Scenario-Oriented
                                  Approach . . . . . . . . . . . . . . . . 706
                Carlo Combi and   
               Angelo Montanari   Querying Data with Multiple Temporal
                                  Dimensions . . . . . . . . . . . . . . . 711
           Ruxandra Domenig and   
              Klaus R. Dittrich   Query Explorativeness for Integrated
                                  Search in Heterogeneous Data Sources . . 715
Irna M. R. Evangelista Filha and   
       Altigran S. da Silva and   
      Alberto H. F. Laender and   
                David W. Embley   Using Nested Tables for Representing and
                                  Querying Semistructured Web Data . . . . 719
             Marcela Genero and   
                Geert Poels and   
                 Mario Piattini   Defining and Validating Measures for
                                  Conceptual Data Model Quality  . . . . . 724
                John Grundy and   
                    Wenjing Zou   An Architecture for Building
                                  Multi-device Thin-Client Web User
                                  Interfaces . . . . . . . . . . . . . . . 728
                Arne Harren and   
                   Heiko Tapken   A Framework for Tool-Independent
                                  Modeling of Data Acquisition Processes
                                  for Data Warehousing . . . . . . . . . . 733
               Cosmina Ivan and   
            Vasile Dadarlat and   
                 Kalman Pusztai   Managing Complexity of Designing Routing
                                  Protocols Using a Middleware Approach    737
              Hyunchul Kang and   
                     JaeGuk Lim   Deferred Incremental Refresh of XML
                                  Materialized Views . . . . . . . . . . . 742
             Susana Montero and   
         Paloma Díaz and   
                   Ignacio Aedo   Requirements for Hypermedia Development
                                  Methods: a Survey of Outstanding Methods 747
             Luigi Pontieri and   
            Domenico Ursino and   
                  Ester Zumpano   An Approach for Synergically Carrying
                                  out Intensional and Extensional
                                  Integration of Data Sources Having
                                  Different Formats  . . . . . . . . . . . 752
            Arijit Sengupta and   
                Mehmet Dalkilic   DSQL --- An SQL for Structured Documents 757
                Xiaomeng Su and   
                 Lars Ilebrekke   A Comparative Study of Ontology
                                  Languages and Tools  . . . . . . . . . . 761
          Vijayan Sugumaran and   
                  Mohan Tanniru   Life Cycle Based Approach for Knowledge
                                  Management: A Knowledge Organization
                                  Case Study . . . . . . . . . . . . . . . 766
                 Wenjun Sun and   
                  Kevin Lü   Parallel Query Processing Algorithms for
                                  Semi-structured Data . . . . . . . . . . 770
            Marco Torchiano and   
                  Giorgio Bruno   Domain-Specific Instance Models in UML   774
           Yannis Tzitzikas and   
           Nicolas Spyratos and   
      Panos Constantopoulos and   
              Anastasia Analyti   Extended Faceted Ontologies  . . . . . . 778
          Panos Vassiliadis and   
             Alkis Simitsis and   
            Spiros Skiadopoulos   On the Logical Modeling of ETL Processes 782
               Minhong Wang and   
                  Huaiqing Wang   Intelligent Agent Supported Flexible
                                  Workflow Monitoring System . . . . . . . 787
             Kenny Qili Zhu and   
              Andrew E. Santosa   A Meeting Scheduling System Based on
                                  Open Constraint Programming  . . . . . . 792
                      Anonymous   Author Index . . . . . . . . . . . . . . 797


Lecture Notes in Computer Science
Volume 2349, 2002

              H. Dieter Rombach   Software Quality versus Time-to-Market:
                                  How to Resolve These Conflicts?  . . . . 1
                    Mikko Terho   Mobile Web Services and Software Quality 2
        Shari Lawrence Pfleeger   Solid Software: Is It Rocket Science?    7
                    Stan Rifkin   Is Process Improvement Irrelevant to
                                  Produce New Era Software?  . . . . . . . 13
                    Einar Dehli   Model-Driven Business Operations . . . . 17
                 Juhani Anttila   Product Quality in Software Business
                                  Connection . . . . . . . . . . . . . . . 25
              Gregory H. Watson   Breakthrough in Delivering Software
                                  Quality: Capability Maturity Model and
                                  Six Sigma  . . . . . . . . . . . . . . . 36
              Wen-Kui Chang and   
          Min-Hsiang Chuang and   
                 Chao-Tung Yang   Using Mobile Agents for Security Testing
                                  in Web Environments  . . . . . . . . . . 42
          Toyohiro Kanayama and   
           Hideto Ogasawara and   
               Hiroshi Kimijima   Quality Control Techniques for
                                  Constructing Attractive Corporate
                                  Websites: Usability in Relation to the
                                  Popularity Ranking of Websites . . . . . 53
              Wen-Kui Chang and   
                  Shing-Kai Hon   Evaluating the Performance of a Web Site
                                  via Queuing Theory . . . . . . . . . . . 63
            Marjo Kauppinen and   
              Tapani Aaltio and   
                    Sari Kujala   Lessons Learned from Applying the
                                  Requirements Engineering Good Practice
                                  Guide for Process Improvement  . . . . . 73
            Masahiro Nakata and   
               Katsuyuki Yasuda   Quality Assurance Activities for ASP
                                  Based on SLM in Hitachi  . . . . . . . . 82
         Gopalakrishna Raghavan   Improving Software Quality in Product
                                  Families through Systematic
                                  Reengineering  . . . . . . . . . . . . . 90
                 Ita Richardson   SPI Models: What Characteristics Are
                                  Required for Small Software Development
                                  Companies? . . . . . . . . . . . . . . . 100
                 Kurt Schneider   Experience Based Process Improvement . . 114
           Hideto Ogasawara and   
             Atsushi Yamada and   
            Takumi Kusanagi and   
                   Mikako Arami   How to Effectively Promote the Software
                                  Process Improvement Activities in a
                                  Large-Scale Organization . . . . . . . . 124
         Yoshihiro Kitajima and   
               Hitoshi Fuji and   
            Seiichiro Satou and   
             Hitoshi Ohsugi and   
                 Isao Gotou and   
                   Hitoshi Oono   Consideration of EVMS Technique
                                  Application to Software Development  . . 135
              Esa Rosendahl and   
                  Ton Vullinghs   Performing Initial Risk Assessments in
                                  Software Acquisition Projects  . . . . . 146
            Philippe Larvet and   
Frédérique Vallée   UML Developments: Cost Estimation from
                                  Requirements . . . . . . . . . . . . . . 156
         Georg Grütter and   
                  Stefan Ferber   The Personal Software Process in
                                  Practice: Experience in Two Cases over
                                  Five Years . . . . . . . . . . . . . . . 165
          Pekka Abrahamsson and   
                Karlheinz Kautz   Personal Software Process: Classroom
                                  Experiences from Finland . . . . . . . . 175
             Thomas Gantner and   
          Tobias Häberlein   GARP --- The Evolution of a Software
                                  Acquisition Process Model  . . . . . . . 186
                 Yasuko Okazaki   Cooperation and Competition with Partner
                                  Companies: Practices for Quality Control
                                  through Competition among Teams  . . . . 197
              Robert Olesen and   
           Jòrn Johansen   Cooperate or Conquer? A Danish Survey of
                                  the Customer-Supplier Relationship . . . 207
                   Shinji Fukui   Introduction of the Software
                                  Configuration Management Team and Defect
                                  Tracking System for Global Distributed
                                  Development  . . . . . . . . . . . . . . 217
                Leah Goldin and   
                 Lilach Rochell   Software Development Bug Tracking:
                                  ``Tool Isn't User Friendly'' or ``User
                                  Isn't Process Friendly'' . . . . . . . . 226
           Nobuyuki Hashino and   
           Satoshi Kurokawa and   
              Mamoru Wakaki and   
                 Junji Nakasone   I-P-O/Multilateral Design Quality
                                  Evaluation Methods: Process Improvements
                                  and Effects  . . . . . . . . . . . . . . 236
           Letizia Jaccheri and   
                Marco Torchiano   Classifying COTS Products  . . . . . . . 246
              Nina Helander and   
         Pauliina Ulkuniemi and   
           Veikko Seppänen   Understanding Software Component
                                  Markets: The Value Creation Perspective  256
           Tuija Helokunnas and   
                     Marko Nyby   Collaboration between a COTS Integrator
                                  and Vendors  . . . . . . . . . . . . . . 267
        Kazutoshi Shimanaka and   
           Masato Matsumoto and   
                 Junji Koga and   
                 Hiroyuki Domae   Creation of a Guideline for Tailoring
                                  Development Processes Using Project
                                  Metrics Data . . . . . . . . . . . . . . 274
          Jerzy R. Nawrocki and   
             Bartosz Walter and   
             Adam Wojciechowski   Comparison of CMM Level 2 and eXtreme
                                  Programming  . . . . . . . . . . . . . . 288
               Coral Calero and   
            Houari Sahraoui and   
                 Mario Piattini   An Empirical Study with Metrics for
                                  Object-Relational Databases  . . . . . . 298
           Juichi Takahashi and   
                Yoshiaki Kakuda   Extended Model-Based Testing toward High
                                  Code Coverage Rate . . . . . . . . . . . 310
             Kwok Ping Chan and   
            Tsong Yueh Chen and   
                     Dave Towey   Restricted Random Testing  . . . . . . . 321
                 Yasuharu Nishi   Quality-Adaptive Testing: a Strategy for
                                  Testing with Focusing on Where Bugs Have
                                  Been Detected  . . . . . . . . . . . . . 331
               Jacqueline Stark   Peer Reviews as a Quality Management
                                  Technique in Open-Source Software
                                  Development Projects . . . . . . . . . . 340
              Vesa Tenhunen and   
                Jorma Sajaniemi   An Evaluation of Inspection Automation
                                  Tools  . . . . . . . . . . . . . . . . . 351
                      Anonymous   Author Index . . . . . . . . . . . . . . 363


Lecture Notes in Computer Science
Volume 2350, 2002

              A. E. C. Pece and   
                  A. D. Worrall   Tracking with the EM Contour Algorithm   3
                  A. Mittal and   
                    L. S. Davis   M2Tracker: a Multi-view Approach to
                                  Segmenting and Tracking People in a
                                  Cluttered Scene Using Region-Based
                                  Stereo . . . . . . . . . . . . . . . . . 18
              A. Srivastava and   
                     X. Liu and   
                   U. Grenander   Analytical Image Models and Their
                                  Applications . . . . . . . . . . . . . . 37
                   T. Lindeberg   Time-Recursive Velocity-Adapted
                                  Spatio-Temporal Scale-Space Filters  . . 52
                    D. Tell and   
                    S. Carlsson   Combining Appearance and Topology for
                                  Wide Baseline Matching . . . . . . . . . 68
                 B. Tordoff and   
                   D. W. Murray   Guided Sampling and Consensus for Motion
                                  Estimation . . . . . . . . . . . . . . . 82
           J.-M. Geusebroek and   
         A. W. M. Smeulders and   
               J. van de Weijer   Fast Anisotropic Gauss Filtering . . . . 99
                  M. Rivera and   
                J. L. Marroquin   Adaptive Rest Condition Potentials:
                                  Second Order Edge-Preserving
                                  Regularization . . . . . . . . . . . . . 113
             K. Mikolajczyk and   
                      C. Schmid   An Affine Invariant Interest Point
                                  Detector . . . . . . . . . . . . . . . . 128
              Arjan Kuijper and   
                    Luc Florack   Understanding and Modeling the Evolution
                                  of Critical Points under Gaussian
                                  Blurring . . . . . . . . . . . . . . . . 143
           J. J. Koenderink and   
                A. J. van Doorn   Image Processing Done Right  . . . . . . 158
                     Y. Zhu and   
               D. Comaniciu and   
                S. Schwartz and   
                      V. Ramesh   Multimodal Data Representations with
                                  Parameterized Local Structures . . . . . 173
                 A. Kuijper and   
                     L. Florack   The Relevance of Non-generic Events in
                                  Scale Space Models . . . . . . . . . . . 190
                    B. Wang and   
                 K. K. Sung and   
                       T. K. Ng   The Localized Consistency Principle for
                                  Image Matching under Non-uniform
                                  Illumination Variation and Affine
                                  Distortion . . . . . . . . . . . . . . . 205
          E. Hadjidemetriou and   
            M. D. Grossberg and   
                    S. K. Nayar   Resolution Selection Using Generalized
                                  Entropies of Multiresolution Histograms  220
                    H. Chen and   
                        P. Meer   Robust Computer Vision through Kernel
                                  Density Estimation . . . . . . . . . . . 236
             C. Chefd'hotel and   
      D. Tschumperlé and   
                 R. Deriche and   
                    O. Faugeras   Constrained Flows of Matrix-Valued
                                  Functions: Application to Diffusion
                                  Tensor Regularization  . . . . . . . . . 251
              M. Carcassoni and   
                  E. R. Hancock   A Hierarchical Framework for Spectral
                                  Correspondence . . . . . . . . . . . . . 266
                G. Carneiro and   
                   A. D. Jepson   Phase-Based Local Features . . . . . . . 282
             N. Vasconcelos and   
                    G. Carneiro   What Is the Role of Independence for
                                  Visual Recognition?  . . . . . . . . . . 297
                     X. Ren and   
                       J. Malik   A Probabilistic Multi-scale Model for
                                  Contour Completion Based on Image
                                  Statistics . . . . . . . . . . . . . . . 312
             K. S. Pedersen and   
                      A. B. Lee   Toward a Full Probability Model of Edges
                                  in Natural Images  . . . . . . . . . . . 328
                 R. Malladi and   
                       I. Ravve   Fast Difference Schemes for Edge
                                  Enhancing Beltrami Flow  . . . . . . . . 343
                     G. Loy and   
                    A. Zelinsky   A Fast Radial Symmetry Transform for
                                  Detecting Points of Interest . . . . . . 358
                M. Felsberg and   
                      G. Sommer   Image Features Based on a New Approach
                                  to $2$D Rotation Invariant Quadrature
                                  Filters  . . . . . . . . . . . . . . . . 369
              P. S. Huggins and   
                   S. W. Zucker   Representing Edge Models via Local
                                  Principal Component Analysis . . . . . . 384
                 Guy Gilboa and   
              Nir A. Sochen and   
              Yehoshua Y. Zeevi   Regularized Shock Filters and Complex
                                  Diffusion  . . . . . . . . . . . . . . . 399
           F. Schaffalitzky and   
                   A. Zisserman   Multi-view Matching for Unordered Image
                                  Sets, or ``How Do I Organize My Holiday
                                  Snaps?'' . . . . . . . . . . . . . . . . 414
                  G. Speyer and   
                      M. Werman   Parameter Estimates for a Pencil of
                                  Lines: Bounds and Estimators . . . . . . 432
         M. A. O. Vasilescu and   
                 D. Terzopoulos   Multilinear Analysis of Image Ensembles:
                                  TensorFaces  . . . . . . . . . . . . . . 447
              R. Goldenberg and   
                  R. Kimmel and   
                  E. Rivlin and   
                     M. Rudzsky   'Dynamism of a Dog on a Leash' or
                                  Behavior Classification by
                                  Eigen-Decomposition of Periodic Motions  461
                  R. Fablet and   
                    M. J. Black   Automatic Detection and Tracking of
                                  Human Motion with a View-Based
                                  Representation . . . . . . . . . . . . . 476
                J.-P. Tarel and   
                 S.-S. Ieng and   
                 P. Charbonnier   Using Robust Estimation Algorithms for
                                  Tracking Explicit Curves . . . . . . . . 492
             R. Swaminathan and   
                 S. B. Kang and   
                R. Szeliski and   
               A. Criminisi and   
                    S. K. Nayar   On the Motion and Appearance of
                                  Specularities in Image Sequences . . . . 508
                  M. Ringer and   
                     J. Lasenby   Multiple Hypothesis Tracking for
                                  Automatic Optical Motion Capture . . . . 524
                Guang Jiang and   
              Hung-tat Tsui and   
                  Long Quan and   
               Andrew Zisserman   Single Axis Geometry by Fitting Conics   537
                 K. S. Bhat and   
                S. M. Seitz and   
               J. Popovi\'c and   
                   P. K. Khosla   Computing the Physical Parameters of
                                  Rigid-Body Motion from Video . . . . . . 551
            C. Sminchisescu and   
                      B. Triggs   Building Roadmaps of Local Minima of
                                  Visual Models  . . . . . . . . . . . . . 566
                    Y. Wang and   
                      S.-C. Zhu   A Generative Method for Textured Motion:
                                  Analysis and Synthesis . . . . . . . . . 583
                    W. Zhao and   
                  H. S. Sawhney   Is Super-Resolution with Optical Flow
                                  Feasible?  . . . . . . . . . . . . . . . 599
               D. Weinshall and   
                  M.-S. Lee and   
                 T. Brodsky and   
               M. Trajkovic and   
                     D. Feldman   New View Generation with a Bi-centric
                                  Camera . . . . . . . . . . . . . . . . . 614
                J. Sullivan and   
                    S. Carlsson   Recognizing and Tracking Human Action    629
                 J. Vermaak and   
            P. Pérez and   
                 M. Gangnet and   
                       A. Blake   Towards Improved Observation Models for
                                  Visual Tracking: Selective Adaptation    645
            P. Pérez and   
                     C. Hue and   
                 J. Vermaak and   
                     M. Gangnet   Color-Based Probabilistic Tracking . . . 661
                T. Corpetti and   
     É. Mémin and   
                P. Pérez   Dense Motion Analysis in Fluid Imagery   676
               A. D. Jepson and   
                D. J. Fleet and   
                    M. J. Black   A Layered Motion Representation with
                                  Occlusion and Compact Spatial Support    692
                       M. Brand   Incremental Singular Value Decomposition
                                  of Uncertain Data with Missing Values    707
                 L. Alvarez and   
                 R. Deriche and   
             T. Papadopoulo and   
              J. Sánchez   Symmetrical Dense Optical Flow
                                  Estimation with Occlusions Detection . . 721
            Matthew J. Beal and   
               Hagai Attias and   
                  Nebojsa Jojic   Audio-Video Sensor Fusion with
                                  Probabilistic Graphical Models . . . . . 736
               E. Shechtman and   
                   Y. Caspi and   
                       M. Irani   Increasing Space-Time Resolution in
                                  Video  . . . . . . . . . . . . . . . . . 753
      Cristian Sminchisescu and   
                    Bill Triggs   Hyperdynamics Importance Sampling  . . . 769
              H. Sidenbladh and   
                M. J. Black and   
                       L. Sigal   Implicit Probabilistic Models of Human
                                  Motion for Synthesis and Tracking  . . . 784
               L. Torresani and   
                     C. Bregler   Space-Time Tracking  . . . . . . . . . . 801
                      Anonymous   Author Index . . . . . . . . . . . . . . 813


Lecture Notes in Computer Science
Volume 2351, 2002

                   J. Gomes and   
                  A. Mojsilovic   A Variational Approach to Recovering a
                                  Manifold from Sample Points  . . . . . . 3
                     H. Jin and   
                      P. Favaro   A Variational Approach to Shape from
                                  Defocus  . . . . . . . . . . . . . . . . 18
                      Y. Yu and   
                    J. T. Chang   Shadow Graphs and Surface Reconstruction 31
                O. Drbohlav and   
               R. \vSára   Specularities Reduce Ambiguity of
                                  Uncalibrated Photometric Stereo  . . . . 46
            A. Robles-Kelly and   
                  E. R. Hancock   Pairwise Clustering with Matrix
                                  Factorisation and the EM Algorithm . . . 63
                 M. Rousson and   
                    N. Paragios   Shape Priors for Level Set
                                  Representations  . . . . . . . . . . . . 78
                 D. Cremers and   
              T. Kohlberger and   
                C. Schnörr   Nonlinear Shape Statistics in
                                  Mumford--Shah Based Segmentation . . . . 93
              E. Borenstein and   
                      S. Ullman   Class-Specific, Top-Down Segmentation    109
               M. Lhuillier and   
                        L. Quan   Quasi-Dense Reconstruction from Image
                                  Sequence . . . . . . . . . . . . . . . . 125
                   C. Geyer and   
                  K. Daniilidis   Properties of the Catadioptric
                                  Fundamental Matrix . . . . . . . . . . . 140
            D. P. Robertson and   
                     R. Cipolla   Building Architectural Models from Many
                                  Views Using Map Constraints  . . . . . . 155
                 C. Strecha and   
                    L. Van Gool   Motion --- Stereo Integration for Depth
                                  Estimation . . . . . . . . . . . . . . . 170
                K. Cornelis and   
               M. Pollefeys and   
                    L. Van Gool   Lens Distortion Recovery for Accurate
                                  Sequential Structure and Motion Recovery 186
                   K. Huang and   
                  R. Fossum and   
                          Y. Ma   Generalized Rank Conditions in Multiple
                                  View Geometry with Applications to
                                  Dynamical Scenes . . . . . . . . . . . . 201
                   F. Ernst and   
                P. Wilinski and   
                K. van Overveld   Dense Structure-from-Motion: An Approach
                                  Based on Segment Matching  . . . . . . . 217
                  J. Maciel and   
                    J. Costeira   Maximizing Rigidity: Optimal Matching
                                  under Scaled-Orthography . . . . . . . . 232
           V. N. Smelyansky and   
               R. D. Morris and   
              F. O. Kuehnel and   
                D. A. Maluf and   
                   P. Cheeseman   Dramatic Improvements to Feature Based
                                  Stereo . . . . . . . . . . . . . . . . . 247
                P.-L. Bazin and   
            J.-M. Vézien   Motion Curves for Parametric Shape and
                                  Motion Estimation  . . . . . . . . . . . 262
                    G. Qian and   
                   R. Chellappa   Bayesian Self-Calibration of a Moving
                                  Camera . . . . . . . . . . . . . . . . . 277
               B. Georgescu and   
                     Peter Meer   Balanced Recovery of $3$D Structure and
                                  Camera Motion from Uncalibrated Image
                                  Sequences  . . . . . . . . . . . . . . . 294
                  C. Rother and   
                    S. Carlsson   Linear Multi View Reconstruction with
                                  Missing Data . . . . . . . . . . . . . . 309
               R. Plaenkers and   
                         P. Fua   Model-Based Silhouette Extraction for
                                  Accurate People Tracking . . . . . . . . 325
                     A. Bartoli   On the Non-linear Optimization of
                                  Projective Motion Using Minimal
                                  Parameters . . . . . . . . . . . . . . . 340
                D. Martinec and   
                      T. Pajdla   Structure from Many Perspective Images
                                  with Occlusions  . . . . . . . . . . . . 355
                    L. Wolf and   
                       A. Zomet   Sequence-to-Sequence Self Calibration    370
                   R. Vidal and   
                    J. Oliensis   Structure from Planar Motions with Small
                                  Baselines  . . . . . . . . . . . . . . . 383
                   A. Levin and   
                     A. Shashua   Revisiting Single-View Shape Tensors:
                                  Theory and Applications  . . . . . . . . 399
                  D. Cobzas and   
                   M. Jagersand   Tracking and Rendering Using Dynamic
                                  Textures on Geometric Structure from
                                  Motion . . . . . . . . . . . . . . . . . 415
              R. I. Hartley and   
                      R. Kaucic   Sensitivity of Calibration to Principal
                                  Point Position . . . . . . . . . . . . . 433
                    F. Kahl and   
                     R. Hartley   Critical Curves and Surfaces for
                                  Euclidean Reconstruction . . . . . . . . 447
                 D. Jelinek and   
                   C. J. Taylor   View Synthesis with Occlusion Reasoning
                                  Using Quasi-Sparse Feature
                                  Correspondences  . . . . . . . . . . . . 463
                    R. Yang and   
                       Z. Zhang   Eye Gaze Correction with Stereovision
                                  for Video-Teleconferencing . . . . . . . 479
                       M. Clerc   Wavelet-Based Correlation for Stereopsis 495
                     J. Sun and   
                 H.-Y. Shum and   
                    N.-N. Zheng   Stereo Matching Using Belief Propagation 510
                R. Szeliski and   
                  D. Scharstein   Symmetric Sub-Pixel Stereo Matching  . . 525
                  T. Werner and   
                   A. Zisserman   New Techniques for Automated
                                  Architectural Reconstruction from
                                  Photographs  . . . . . . . . . . . . . . 541
                   Y. Zhang and   
                 C. Kambhamettu   Stereo Matching with Segmentation-Based
                                  Cooperation  . . . . . . . . . . . . . . 556
         J. Vanden Wyngaerd and   
                    L. Van Gool   Coarse Registration of Surface Patches
                                  with Local Symmetries  . . . . . . . . . 572
                G. C. Sharp and   
                  S. W. Lee and   
                     D. K. Wehe   Multiview Registration of $3$D Scenes by
                                  Minimizing Error between Coordinate
                                  Frames . . . . . . . . . . . . . . . . . 587
                G. Kamberov and   
                   G. Kamberova   Recovering Surfaces from the Restoring
                                  Force  . . . . . . . . . . . . . . . . . 598
                  L. Noakes and   
                      R. Kozera   Interpolating Sporadic Data  . . . . . . 613
                  H. Ragheb and   
                  E. R. Hancock   Highlight Removal Using
                                  Shape-from-Shading . . . . . . . . . . . 626
                 M. Kazhdan and   
                B. Chazelle and   
                  D. Dobkin and   
             A. Finkelstein and   
                  T. Funkhouser   A Reflective Symmetry Descriptor . . . . 642
                     Y. Liu and   
                 R. Collins and   
                        Y. Tsin   Gait Sequence Analysis Using Frieze
                                  Patterns . . . . . . . . . . . . . . . . 657
                     R. Tam and   
                    W. Heidrich   Feature-Preserving Medial Axis Noise
                                  Removal  . . . . . . . . . . . . . . . . 672
                     C. Liu and   
                 H.-Y. Shum and   
                       C. Zhang   Hierarchical Shape Modeling for
                                  Automatic Face Localization  . . . . . . 687
                I. Slobodan and   
                         P. Fua   Using Dirichlet Free Form Deformation to
                                  Fit Deformable Models to Noisy $3$-D
                                  Data . . . . . . . . . . . . . . . . . . 704
                  P. Giblin and   
                    B. B. Kimia   Transitions of the $3$D Medial Axis
                                  under a One-Parameter Family of
                                  Deformations . . . . . . . . . . . . . . 718
                  P. Favaro and   
                      S. Soatto   Learning Shape from Defocus  . . . . . . 735
               J. \vZuni\'c and   
                    P. L. Rosin   A Rectilinearity Measurement for
                                  Polygons . . . . . . . . . . . . . . . . 746
                S. Savarese and   
                      P. Perona   Local Analysis for $3$D Reconstruction
                                  of Specular Surfaces --- Part II . . . . 759
                N. Paragios and   
                 M. Rousson and   
                      V. Ramesh   Matching Distance Functions: a
                                  Shape-to-Area Variational Approach for
                                  Global-to-Local Registration . . . . . . 775
                  E. Prados and   
                O. Faugeras and   
                        E. Rouy   Shape from Shading and Viscosity
                                  Solutions  . . . . . . . . . . . . . . . 790
                A. Fusiello and   
              U. Castellani and   
               L. Ronchetti and   
                      V. Murino   Model Acquisition by Registration of
                                  Multiple Acoustic Range Views  . . . . . 805
             J. Y. Kaminski and   
                     M. Teicher   General Trajectory Triangulation . . . . 823
               M. Pollefeys and   
                F. Verbiest and   
                    L. Van Gool   Surviving Dominant Planes in
                                  Uncalibrated Structure and Motion
                                  Recovery . . . . . . . . . . . . . . . . 837
                 A. R. Dick and   
              P. H. S. Torr and   
                     R. Cipolla   A Bayesian Estimation of Building Shape
                                  Using MCMC . . . . . . . . . . . . . . . 852
                       P. Sturm   Structure and Motion for Dynamic Scenes
                                  --- The Case of Points Moving in Planes  867
                   M. Irani and   
                 T. Hassner and   
                     P. Anandan   What Does the Scene Look Like from a
                                  Scene Point? . . . . . . . . . . . . . . 883
                      Anonymous   Author Index . . . . . . . . . . . . . . 899


Lecture Notes in Computer Science
Volume 2352, 2002

           Rhodri H. Davies and   
          Carole J. Twining and   
              Tim F. Cootes and   
           John C. Waterton and   
                Chris J. Taylor   $3$D Statistical Shape Models Using
                                  Direct Optimisation of Description
                                  Length . . . . . . . . . . . . . . . . . 3
            Gianluca Donato and   
                 Serge Belongie   Approximate Thin Plate Spline Mappings   21
             Stefano Soatto and   
               Anthony J. Yezzi   DEFORMOTION: Deforming Motion, Shape
                                  Average and the Joint Registration and
                                  Segmentation of Images . . . . . . . . . 32
            Alessandro Duci and   
           Anthony J. Yezzi and   
              Sanjoy Mitter and   
                 Stefano Soatto   Region Matching with Missing Parts . . . 48
        Vladimir Kolmogorov and   
                    Ramin Zabih   What Energy Functions Can Be Minimized
                                  via Graph Cuts?  . . . . . . . . . . . . 65
        Vladimir Kolmogorov and   
                    Ramin Zabih   Multi-camera Scene Reconstruction via
                                  Graph Cuts . . . . . . . . . . . . . . . 82
   Julien Sénégas   A Markov Chain Monte Carlo Approach to
                                  Stereovision . . . . . . . . . . . . . . 97
              Rahul Bhotika and   
             David J. Fleet and   
          Kiriakos N. Kutulakos   A Probabilistic Theory of Occupancy and
                                  Emptiness  . . . . . . . . . . . . . . . 112
     John Reidar Mathiassen and   
             Amund Skavhaug and   
                Ketil Bò   Texture Similarity Measure Using
                                  Kullback--Leibler Divergence between
                                  Gamma Distributions  . . . . . . . . . . 133
    Srinivasa G. Narasimhan and   
                   Chi Wang and   
                 Shree K. Nayar   All the Images of an Outdoor Scene . . . 148
              Q.-Tuan Luong and   
                 Pascal Fua and   
                   Yvan Leclerc   Recovery of Reflectances and Varying
                                  Illuminants from Multiple Views  . . . . 163
             Alexey Zalesny and   
           Vittorio Ferrari and   
               Geert Caenen and   
       Dominik Auf der Maur and   
                   Luc Van Gool   Composite Texture Descriptions . . . . . 180
            Akiko Nakashima and   
                Atsuto Maki and   
                 Kazuhiro Fukui   Constructing Illumination Image Basis
                                  from Object Motion . . . . . . . . . . . 195
                Stephen Lin and   
                Yuanzhen Li and   
             Sing Bing Kang and   
                   Xin Tong and   
               Heung-Yeung Shum   Diffuse-Specular Separation and Depth
                                  Recovery from Image Sequences  . . . . . 210
                  D. A. Forsyth   Shape from Texture without Boundaries    225
               Ying Nian Wu and   
              Song-Chun Zhu and   
                   Cheng-en Guo   Statistical Modeling of Texture Sketch   240
                Manik Varma and   
               Andrew Zisserman   Classifying Images of Materials:
                                  Achieving Viewpoint and Illumination
                                  Independence . . . . . . . . . . . . . . 255
                  Yang Wang and   
               Dimitris Samaras   Estimation of Multiple Illuminants from
                                  a Single Image of Arbitrary Known
                                  Geometry . . . . . . . . . . . . . . . . 272
                M. Chantler and   
                 M. Schmidt and   
                  M. Petrou and   
                  G. McGunnigle   The Effect of Illuminant Rotation on
                                  Texture Filters: Lissajous's Ellipses    289
          Andrew Fitzgibbon and   
               Andrew Zisserman   On Affine Invariant Clustering and
                                  Automatic Cast Listing in Movies . . . . 304
                Junhwan Kim and   
                    Ramin Zabih   Factorial Markov Random Fields . . . . . 321
               Kenichi Kanatani   Evaluation and Selection of Models for
                                  Motion Segmentation  . . . . . . . . . . 335
                    Jussi Tohka   Surface Extraction from Volumetric
                                  Images Using Deformable Meshes: a
                                  Comparative Study  . . . . . . . . . . . 350
Stéphanie Jehan-Besson and   
             Michel Barlaud and   
                  Gilles Aubert   DREAM$^2$ S: Deformable Regions Driven
                                  by an Eulerian Accurate Minimization
                                  Method for Image and Video Segmentation  365
             Benny P. L. Lo and   
               Guang-Zhong Yang   Neuro-Fuzzy Shadow Filter  . . . . . . . 381
                 Zhuowen Tu and   
                  Song-Chun Zhu   Parsing Images into Region and Curve
                                  Processes  . . . . . . . . . . . . . . . 393
               J. Freixenet and   
            X. Muñoz and   
                    D. Raba and   
            J. Martí and   
                 X. Cufí   Yet Another Survey on Image
                                  Segmentation: Region and Boundary
                                  Information Integration  . . . . . . . . 408
           Mircea Nicolescu and   
          Gérard Medioni   Perceptual Grouping from Motion Cues
                                  Using Tensor Voting in $4$-D . . . . . . 423
             Benjamin Taton and   
        Jacques-Olivier Lachaud   Deformable Model with Non-euclidean
                                  Metrics  . . . . . . . . . . . . . . . . 438
          James M. Coughlan and   
             Sabino J. Ferreira   Finding Deformable Shapes Using Loopy
                                  Belief Propagation . . . . . . . . . . . 453
                Eric Hayman and   
               Jan-Olof Eklundh   Probabilistic and Voting Approaches to
                                  Cue Integration for Figure-Ground
                                  Segmentation . . . . . . . . . . . . . . 469
                  Y. Wexler and   
              A. Fitzgibbon and   
                   A. Zisserman   Bayesian Estimation of Layers from
                                  Multiple Images  . . . . . . . . . . . . 487
                   Feng Han and   
                 Zhouwen Tu and   
                  Song-Chun Zhu   A Stochastic Algorithm for $3$D Scene
                                  Segmentation and Reconstruction  . . . . 502
                   Zeyun Yu and   
               Chandrajit Bajaj   Normalized Gradient Vector Diffusion and
                                  Image Segmentation . . . . . . . . . . . 517
             Serge Belongie and   
           Charless Fowlkes and   
                  Fan Chung and   
                 Jitendra Malik   Spectral Partitioning with Indefinite
                                  Kernels Using the Nyström Extension . . . 531
               Michael Harville   A Framework for High-Level Feedback to
                                  Adaptive, Per-Pixel, Mixture-of-Gaussian
                                  Background Models  . . . . . . . . . . . 543
            Dorin Comaniciu and   
         Visvanathan Ramesh and   
                Alessio Del Bue   Multivariate Saddle Point Detection for
                                  Statistical Clustering . . . . . . . . . 561
              Lothar Hermes and   
         Thomas Zöller and   
             Joachim M. Buhmann   Parametric Distributional Clustering for
                                  Image Segmentation . . . . . . . . . . . 577
             John W. Fisher and   
                 Trevor Darrell   Probabalistic Models and Informative
                                  Subspaces for Audiovisual Correspondence 592
                   Jonas August   Volterra Filtering of Noisy Images of
                                  Curves . . . . . . . . . . . . . . . . . 604
             Mariano Rivera and   
                      James Gee   Image Segmentation by Flexible Models
                                  Based on Robust Regularized Networks . . 621
                 Anat Levin and   
                  Amnon Shashua   Principal Component Analysis over
                                  Continuous Subspaces and Intersection of
                                  Half-Spaces  . . . . . . . . . . . . . . 635
          Svetlana Lazebnik and   
                 Amit Sethi and   
            Cordelia Schmid and   
          David J. Kriegman and   
                 Jean Ponce and   
                 Martial Hebert   On Pencils of Tangent Planes and the
                                  Recognition of Smooth $3$D Shapes from
                                  Silhouettes  . . . . . . . . . . . . . . 651
                  Greg Mori and   
                 Jitendra Malik   Estimating Human Body Configurations
                                  Using Shape Context Matching . . . . . . 666
               Shaohua Zhou and   
                 Rama Chellappa   Probabilistic Human Recognition from
                                  Video  . . . . . . . . . . . . . . . . . 681
               Philip David and   
           Daniel DeMenthon and   
          Ramani Duraiswami and   
                    Hanan Samet   SoftPOSIT: Simultaneous Pose and
                                  Correspondence Determination . . . . . . 698
         Panos Giannopoulos and   
              Remco C. Veltkamp   A Pseudo-Metric for Weighted Point Sets  715
        Thomas B. Sebastian and   
            Philip N. Klein and   
              Benjamin B. Kimia   Shock-Based Indexing into Large Shape
                                  Databases  . . . . . . . . . . . . . . . 731
                    Shai Avidan   EigenSegments: a Spatio-Temporal
                                  Decomposition of an Ensemble of Images   747
           Ali Shokoufandeh and   
             Sven Dickinson and   
          Clas Jönsson and   
              Lars Bretzner and   
                 Tony Lindeberg   On the Representation and Matching of
                                  Qualitative Shape at Multiple Scales . . 759
             Shyjan Mahamud and   
             Martial Hebert and   
                  John Lafferty   Combining Simple Discriminators for
                                  Object Discrimination  . . . . . . . . . 776
         Ulrich Hillenbrand and   
                 Gerd Hirzinger   Probabilistic Search for Object
                                  Segmentation and Recognition . . . . . . 791
      Olivier Gérard and   
           Thomas Deschamps and   
               Myriam Greff and   
               Laurent D. Cohen   Real-Time Interactive Path Extraction
                                  with on-the-Fly Adaptation of the
                                  External Forces  . . . . . . . . . . . . 807
            Andrea Torsello and   
               Edwin R. Hancock   Matching and Embedding through
                                  Edit-Union of Trees  . . . . . . . . . . 822
               Thomas M. Breuel   A Comparison of Search Strategies for
                                  Geometric Branch and Bound Algorithms    837
      Gregory Shakhnarovich and   
             John W. Fisher and   
                 Trevor Darrell   Face Recognition from Long-Term
                                  Observations . . . . . . . . . . . . . . 851
               Todd Zickler and   
         Peter N. Belhumeur and   
              David J. Kriegman   Helmholtz Stereopsis: Exploiting
                                  Reciprocity for Surface Reconstruction   869
              Chris Buehler and   
          Steven J. Gortler and   
           Michael F. Cohen and   
               Leonard McMillan   Minimal Surfaces for Stereo  . . . . . . 885
            Radim \vSára   Finding the Largest Unambiguous
                                  Component of Stereo Matching . . . . . . 900
                      Anonymous   Author Index . . . . . . . . . . . . . . 915


Lecture Notes in Computer Science
Volume 2353, 2002

                S. Romdhani and   
                   V. Blanz and   
                      T. Vetter   Face Identification by Fitting a $3$D
                                  Morphable Model Using Linear Shape and
                                  Texture Error Functions  . . . . . . . . 3
                   A. Barla and   
                   F. Odone and   
                       A. Verri   Hausdorff Kernel for $3$D Object
                                  Acquisition and Detection  . . . . . . . 20
              M. Everingham and   
                  H. Muller and   
                      B. Thomas   Evaluating Image Segmentation Algorithms
                                  Using the Pareto Front . . . . . . . . . 34
                   J. Vogel and   
                     B. Schiele   On Performance Characterization and
                                  Optimization for Image Retrieval . . . . 49
                   S. Z. Li and   
                     L. Zhu and   
                   Z. Zhang and   
                   A. Blake and   
                   H. Zhang and   
                        H. Shum   Statistical Learning of Multi-view Face
                                  Detection  . . . . . . . . . . . . . . . 67
                N. J. Adams and   
              C. K. I. Williams   Dynamic Trees: Learning to Model Outdoor
                                  Scenes . . . . . . . . . . . . . . . . . 82
                 P. Duygulu and   
                 K. Barnard and   
        J. F. G. de Freitas and   
                  D. A. Forsyth   Object Recognition as Machine
                                  Translation: Learning a Lexicon for a
                                  Fixed Image Vocabulary . . . . . . . . . 97
                 S. Agarwal and   
                        D. Roth   Learning a Sparse Representation for
                                  Object Detection . . . . . . . . . . . . 113
                 R. Manning and   
                        C. Dyer   Stratified Self Calibration from
                                  Screw-Transform Manifolds  . . . . . . . 131
                   R. B. Fisher   Self-Organization of Randomly Placed
                                  Sensors  . . . . . . . . . . . . . . . . 146
                       Z. Zhang   Camera Calibration with One-Dimensional
                                  Objects  . . . . . . . . . . . . . . . . 161
               J. Deutscher and   
                   M. Isard and   
                  J. MacCormick   Automatic Camera Calibration from a
                                  Single Manhattan Image . . . . . . . . . 175
            M. D. Grossberg and   
                    S. K. Nayar   What Can Be Known about the Radiometric
                                  Response from Images?  . . . . . . . . . 189
                    W. Zhou and   
                 C. Kambhamettu   Estimation of Illuminant Direction and
                                  Intensity of Multiple Light Sources  . . 206
             M. Wilczkowiak and   
                   E. Boyer and   
                       P. Sturm   $3$D Modelling Using Geometric
                                  Constraints: a Parallelepiped Based
                                  Approach . . . . . . . . . . . . . . . . 221
              J. P. Barreto and   
                      H. Araujo   Geometric Properties of Central
                                  Catadioptric Line Images . . . . . . . . 237
                 P. Gurdjos and   
                 A. Crouzil and   
                   R. Payrissat   Another Way of Looking at Plane-Based
                                  Calibration: The Centre Circle
                                  Constraint . . . . . . . . . . . . . . . 252
                  M. Mitran and   
                   F. P. Ferrie   Active Surface Reconstruction Using the
                                  Gradient Strategy  . . . . . . . . . . . 267
                   A. Ansar and   
                  K. Daniilidis   Linear Pose Estimation from Points or
                                  Lines  . . . . . . . . . . . . . . . . . 282
                  A. H. Kam and   
                      W. Lu and   
                      W.-Y. Yau   A Video-Based Drowning Detection System  297
                 G. Flandin and   
                   F. Chaumette   Visual Data Fusion for Objects
                                  Localization by Active Vision  . . . . . 312
                     D. DeCarlo   Towards Real-Time Cue Integration by
                                  Using Partial Results  . . . . . . . . . 327
                   O. Javed and   
                        M. Shah   Tracking and Object Classification for
                                  Automated Surveillance . . . . . . . . . 343
              H. Schweitzer and   
                 J. W. Bell and   
                          F. Wu   Very Fast Template Matching  . . . . . . 358
               N. T. Siebel and   
                     S. Maybank   Fusion of Multiple Tracking Algorithms
                                  for Robust People Tracking . . . . . . . 373
                    A. Aner and   
                   J. R. Kender   Video Summaries through Mosaic-Based
                                  Shot and Scene Clustering  . . . . . . . 388
                     T. Liu and   
                   J. R. Kender   Optimization Algorithms for the
                                  Selection of Key Frame Sequences of
                                  Variable Length  . . . . . . . . . . . . 403
                 S. Granger and   
                      X. Pennec   Multi-scale EM-ICP: a Fast and Robust
                                  Approach for Surface Registration  . . . 418
                       E. Malis   An Unified Approach to Model-Based and
                                  Model-Free Visual Servoing . . . . . . . 433
                  F. Mindru and   
                   T. Moons and   
                    L. Van Gool   Comparing Intensity Transformations and
                                  Their Invariants in the Context of Color
                                  Pattern Recognition  . . . . . . . . . . 448
               H. Greenspan and   
              J. Goldberger and   
                       A. Mayer   A Probabilistic Framework for
                                  Spatio-Temporal Video Representation &
                                  Indexing . . . . . . . . . . . . . . . . 461
        J. Ko\vsecká and   
                       W. Zhang   Video Compass  . . . . . . . . . . . . . 476
                  H. Schweitzer   Computing Content-Plots for Video  . . . 491
                  A. Osareh and   
                M. Mirmehdi and   
                  B. Thomas and   
                     R. Markham   Classification and Localisation of
                                  Diabetic-Related Eye Disease . . . . . . 502
                  M. Rogers and   
                      J. Graham   Robust Active Shape Model Search . . . . 517
                 F. Richard and   
                       L. Cohen   A New Image Registration Technique with
                                  Free Boundary Constraints: Application
                                  to Mammography . . . . . . . . . . . . . 531
               B. C. Vemuri and   
                    Y. Chen and   
                        Z. Wang   Registration Assisted Image Smoothing
                                  and Segmentation . . . . . . . . . . . . 546
            J. L. Marroquin and   
               B. C. Vemuri and   
                 S. Botello and   
                    F. Calderon   An Accurate and Efficient Bayesian
                                  Method for Automatic Segmentation of
                                  Brain MRI  . . . . . . . . . . . . . . . 560
                   A. Yezzi and   
                   J. L. Prince   A PDE Approach for Thickness,
                                  Correspondence, and Gridding of Annular
                                  Tissues  . . . . . . . . . . . . . . . . 575
                     X. Gao and   
                  V. Ramesh and   
                       T. Boult   Statistical Characterization of
                                  Morphological Operator Sequences . . . . 590
                F. Dornaika and   
                       J. Elder   Image Registration for Foveated
                                  Omnidirectional Sensing  . . . . . . . . 606
               T. F. Cootes and   
                 N. Thacker and   
                   C. J. Taylor   Automatic Model Selection by Modelling
                                  the Distribution of Residuals  . . . . . 621
                S. K. Nayar and   
               S. G. Narasimhan   Assorted Pixels: Multi-sampled Imaging
                                  with Structural Models . . . . . . . . . 636
             F. De la Torre and   
                    M. J. Black   Robust Parameterized Component Analysis  653
                      J. Ng and   
                        S. Gong   Learning Intrinsic Video Content Using
                                  Levenshtein Distance in Graph
                                  Partitioning . . . . . . . . . . . . . . 670
                 M.-H. Yang and   
                    D. Roth and   
                       N. Ahuja   A Tale of Two Classifiers: SNoW vs. SVM
                                  in Visual Recognition  . . . . . . . . . 685
                 R. Ronfard and   
                  C. Schmid and   
                      B. Triggs   Learning to Parse Pictures of People . . 700
                     C. Pal and   
                 B. J. Frey and   
                       N. Jojic   Learning Montages of Transformed Latent
                                  Images as Representations of Objects
                                  That Change in Appearance  . . . . . . . 715
             V. Krüger and   
                        S. Zhou   Exemplar-Based Face Recognition from
                                  Video  . . . . . . . . . . . . . . . . . 732
               J. Wieghardt and   
           R. P. Würtz and   
            C. von der Malsburg   Learning the Topology of Object Views    747
                D. Sko\vcaj and   
                 H. Bischof and   
                   A. Leonardis   A Robust PCA Algorithm for Building
                                  Representations from Panoramic Images    761
                 N. Shental and   
                   T. Hertz and   
               D. Weinshall and   
                       M. Pavel   Adjustment Learning and Relevant
                                  Component Analysis . . . . . . . . . . . 776
                  S.-C. Zhu and   
                  C.-e. Guo and   
                      Y. Wu and   
                        Y. Wang   What Are Textons?  . . . . . . . . . . . 793
                 S. C. Pont and   
               J. J. Koenderink   Bidirectional Texture Contrast Function  808
            G. D. Finlayson and   
              S. D. Hordley and   
                     M. S. Drew   Removing Shadows from Images . . . . . . 823
                      Anonymous   Author Index . . . . . . . . . . . . . . 837


Lecture Notes in Computer Science
Volume 2355, 2002

                   Stefan Lucks   The Saturation Attack --- A Bait for
                                  Twofish  . . . . . . . . . . . . . . . . 1
                  Eli Biham and   
              Orr Dunkelman and   
                  Nathan Keller   Linear Cryptanalysis of Reduced Round
                                  Serpent  . . . . . . . . . . . . . . . . 16
               Scott R. Fluhrer   Cryptanalysis of the Mercy Block Cipher  28
             Vincent Rijmen and   
            Bart Van Rompay and   
               Bart Preneel and   
                Joos Vandewalle   Producing Collisions for PANAMA  . . . . 37
         Christophe Debaert and   
                  Henri Gilbert   The RIPEMD and RIPEMD Improved Variants
                                  of MD4 Are Not Collision Free  . . . . . 52
               Yuriy Tarannikov   New Constructions of Resilient Boolean
                                  Functions with Maximal Nonlinearity  . . 66
             Ammar Alkassar and   
          Alexander Geraldy and   
           Birgit Pfitzmann and   
             Ahmad-Reza Sadeghi   Optimized Self-Synchronizing Mode of
                                  Operation  . . . . . . . . . . . . . . . 78
           Virgil D. Gligor and   
               Pompiliu Donescu   Fast Encryption and Authentication: XCBC
                                  Encryption and XECB Authentication Modes 92
            Enrico Buonanno and   
              Jonathan Katz and   
                      Moti Yung   Incremental Unforgeable Encryption . . . 109
                   Michael Stay   ZIP Attacks with Reduced Known Plaintext 125
               Scott R. Fluhrer   Cryptanalysis of the SEAL 3.0
                                  Pseudorandom Function Family . . . . . . 135
            Goce Jakimovski and   
               Ljup\vco Kocarev   Cryptanalysis of SBLH  . . . . . . . . . 144
               Itsik Mantin and   
                     Adi Shamir   A Practical Attack on Broadcast RC4  . . 152
     Paulo S. L. M. Barreto and   
             Vincent Rijmen and   
         Jorge Nakahara Jr. and   
               Bart Preneel and   
            Joos Vandewalle and   
                     Hae Y. Kim   Improved S QUARE Attacks against
                                  Reduced-Round H IEROCRYPT  . . . . . . . 165
                  Eli Biham and   
            Vladimir Furman and   
             Michal Misztal and   
                 Vincent Rijmen   Differential Cryptanalysis of Q  . . . . 174
                Vladimir Furman   Differential Cryptanalysis of Nimbus . . 187
    Miodrag J. Mihaljevi\'c and   
       Marc P. C. Fossorier and   
                    Hideki Imai   Fast Correlation Attack Algorithm with
                                  List Decoding and an Application . . . . 196
               Paul Crowley and   
                   Stefan Lucks   Bias in the LEVIATHAN Stream Cipher  . . 211
      Daniel Bleichenbacher and   
                    Willi Meier   Analysis of SSC2 . . . . . . . . . . . . 219
                Tetsu Iwata and   
           Tomonobu Yoshino and   
             Tomohiro Yuasa and   
                 Kaoru Kurosawa   Round Security and
                                  Super-Pseudorandomness of MISTY Type
                                  Structure  . . . . . . . . . . . . . . . 233
              Henri Gilbert and   
                  Marine Minier   New Results on the Pseudorandomness of
                                  Some Blockcipher Constructions . . . . . 248
                   Bart Preneel   NESSIE: a European Approach to Evaluate
                                  Cryptographic Algorithms . . . . . . . . 267
               Mark Blunden and   
                  Adrian Escott   Related Key Attacks on Reduced Round
                                  KASUMI . . . . . . . . . . . . . . . . . 277
             Masayuki Kanda and   
              Tsutomu Matsumoto   Security of Camellia against Truncated
                                  Differential Cryptanalysis . . . . . . . 286
                Deukjo Hong and   
               Jaechul Sung and   
               Shiho Moriai and   
                 SangjinLee and   
                     Jongin Lim   Impossible Differential Cryptanalysis of
                                  Zodiac . . . . . . . . . . . . . . . . . 300
          Takeshi Shimoyama and   
             Hitoshi Yanami and   
          Kazuhiro Yokoyama and   
          Masahiko Takenaka and   
               Kouichi Itoh and   
                 Jun Yajima and   
                Naoya Torii and   
                  Hidema Tanaka   The Block Cipher SC2000  . . . . . . . . 312
               Louis Granboulan   Flaws in Differential Cryptanalysis of
                                  Skipjack . . . . . . . . . . . . . . . . 328
              Helger Lipmaa and   
                   Shiho Moriai   Efficient Algorithms for Computing
                                  Differential Properties of Addition  . . 336
                      Anonymous   Author Index . . . . . . . . . . . . . . 351


Lecture Notes in Computer Science
Volume 2356, 2002

                Bettina Berendt   Detail and Context in Web Usage Mining:
                                  Coarsening and Visualizing Sequences . . 1
       Andreas Geyer-Schulz and   
            Michael Hahsler and   
               Maximillian Jahn   A Customer Purchase Incidence Model
                                  Applied to Recommender Services  . . . . 25
        Joshua Zhexue Huang and   
                 Michael Ng and   
               Wai-Ki Ching and   
                     Joe Ng and   
                   David Cheung   A Cube Model and Cluster Analysis for
                                  Web Access Sessions  . . . . . . . . . . 48
      Alexandros Nanopoulos and   
         Dimitrios Katsaros and   
            Yannis Manolopoulos   Exploiting Web Log Mining for Web Cache
                                  Enhancement  . . . . . . . . . . . . . . 68
              John R. Punin and   
   Mukkai S. Krishnamoorthy and   
               Mohammed J. Zaki   LOGML: Log Markup Language for Web Usage
                                  Mining . . . . . . . . . . . . . . . . . 88
              Cyrus Shahabi and   
        Farnoush Banaei-Kashani   A Framework for Efficient and Anonymous
                                  Web Usage Mining Based on Client-Side
                                  Tracking . . . . . . . . . . . . . . . . 113
              Pang-Ning Tan and   
                    Vipin Kumar   Mining Indirect Associations in Web Data 145
                      Anonymous   Author Index . . . . . . . . . . . . . . 167


Lecture Notes in Computer Science
Volume 2358, 2002

    Demetrios Michalopoulos and   
                   Chih-Kang Hu   An Error Back-Propagation Artificial
                                  Neural Networks Application in Automatic
                                  Car License Plate Recognition  . . . . . 1
                  Oleg Levinski   Use of Artificial Neural Networks for
                                  Buffet Loads Prediction  . . . . . . . . 9
               In-Cheol Kim and   
                  Sung-Il Chien   Computational Cost Reduction by
                                  Selective Attention for Fast Speaker
                                  Adaptation in Multilayer Perceptron  . . 17
                    Juliana Yim   A Comparison of Neural Networks with
                                  Time Series Models for Forecasting
                                  Returns on a Stock Market Index  . . . . 25
                 Dane Walsh and   
                Christian Omlin   Automatic Detection of Film Orientation
                                  with Support Vector Machines . . . . . . 36
                Vu Hai Quan and   
             Pham Nam Trung and   
        Nguyen Duc Hoang Ha and   
                Lam Tri Tin and   
                 Hoang Kiem and   
                   An H. Nguyen   A Generic Approach for the Vietnamese
                                  Handwritten and Speech Recognition
                                  Problems . . . . . . . . . . . . . . . . 47
                 Bae-Ho Lee and   
              Kwang-Hee Kim and   
               Yonggwan Won and   
                    Jiseung Nam   Efficient and Automatic Faces Detection
                                  Based on Skin-Tone and Neural Network
                                  Model  . . . . . . . . . . . . . . . . . 57
               Jong-Bae Kim and   
                   Hang-Joon Ki   Efficient Image Segmentation Based on
                                  Wavelet and Watersheds for Video Objects
                                  Extraction . . . . . . . . . . . . . . . 67
          Iouliia Skliarova and   
      António B. Ferrari   FPGA-Based Implementation of Genetic
                                  Algorithm for the Traveling Salesman
                                  Problem and Its Industrial Application   77
               Nadia Nedjah and   
       Luiza de Macedo Mourelle   Minimal Addition Chain for Efficient
                                  Modular Exponentiation Using Genetic
                                  Algorithms . . . . . . . . . . . . . . . 88
                Valery Sklyarov   An Evolutionary Algorithm for the
                                  Synthesis of RAM-Based FSMs  . . . . . . 108
                 K. W. Chau and   
                   F. Albermani   Genetic Algorithms for Design of Liquid
                                  Retaining Structure  . . . . . . . . . . 119
           Arjen Vollebregt and   
             Daan Hannessen and   
             Henk Hesselink and   
                 Jelle Beetstra   Modelling Crew Assistants with
                                  Multi-Agent Systems in Fighter Aircraft  129
             Ruck Thawonmas and   
         Junichiro Hirayama and   
                 Fumiaki Takeda   Learning from Human Decision-Making
                                  Behaviors --- An Application to RoboCup
                                  Software Agents  . . . . . . . . . . . . 136
             Bruce Ashfield and   
               Dwight Deugo and   
             Franz Oppacher and   
                     Tony White   Distributed Deadlock Detection in Mobile
                                  Agent Systems  . . . . . . . . . . . . . 146
       Elisabeth Ilie Zudor and   
 László Monostori   An Agent-Based Approach for Production
                                  Control Incorporating Environmental and
                                  Life-Cycle Issues, together with
                                  Sensitivity Analysis . . . . . . . . . . 157
                 Marcus Randall   Feasibility Restoration for Iterative
                                  Meta-heuristics Search Algorithms  . . . 168
       George Nyauma Nyakoe and   
                Makoto Ohki and   
           Suichiro Tabuchi and   
                 Masaaki Ohkita   Optimization of Pulse Pattern for a
                                  Multi-robot Sonar System Using Genetic
                                  Algorithm  . . . . . . . . . . . . . . . 179
            David Braendler and   
                  Tim Hentdlass   The Suitability of Particle Swarm
                                  Optimisation for Training Neural
                                  Hardware . . . . . . . . . . . . . . . . 190
             Nando Laumanns and   
             Marco Laumanns and   
               Hartmut Kitterer   Evolutionary Multi-objective Integer
                                  Programming for the Design of Adaptive
                                  Cruise Control Systems . . . . . . . . . 200
              Tim Hendtlass and   
                 Gerrard Murray   The Macronet Element: a Substitute for
                                  the Conventional Neuron  . . . . . . . . 211
                    S. Dunn and   
                     S. Peucker   Genetic Algorithm Optimisation of
                                  Mathematical Models Using Distributed
                                  Computing  . . . . . . . . . . . . . . . 220
               Alan Crispin and   
                  Paul Clay and   
              Gaynor Taylor and   
             Robert Hackney and   
                  Tom Bayes and   
                  David Reedman   Genetic Algorithm Optimisation of Part
                                  Placement Using a Connection-Based
                                  Coding Method  . . . . . . . . . . . . . 232
             Mehrdad Salami and   
                  Tim Hendtlass   A Fast Evolutionary Algorithm for Image
                                  Compression in Hardware  . . . . . . . . 241
                  Khalid Daoudi   Automatic Speech Recognition: The New
                                  Millennium . . . . . . . . . . . . . . . 253
             Gabriel H. Loh and   
                  Dana S. Henry   Applying Machine Learning for Ensemble
                                  Branch Predictors  . . . . . . . . . . . 264
                  Niall Murtagh   A Customizable Configuration Tool for
                                  Design of Multi-part Products  . . . . . 275
               Fengling Han and   
                 Xinghuo Yu and   
                  Yong Feng and   
                   Huifeng Dong   Phase-to-Phase Wave Parameters
                                  Measurement of Distribution Lines Based
                                  on BP Networks . . . . . . . . . . . . . 284
           Rameswar Debnath and   
             Haruhisa Takahashi   Learning Capability: Classical RBF
                                  Network vs. SVM with Gaussian Kernel . . 293
               Dianhui Wang and   
              Tharam Dillon and   
                Elizabeth Chang   Trading off between Misclassification,
                                  Recognition and Generalization in Data
                                  Mining with Continuous Features  . . . . 303
                  Garry Briscoe   Interacting Neural Modules . . . . . . . 314
               Zhi-Hua Zhou and   
                 Yuan Jiang and   
                  Xu-Ri Yin and   
                    Shi-Fu Chen   The Application of Visualization and
                                  Neural Network Techniques in a Power
                                  Transformer Condition Monitoring System  325
                  John Debenham   Entrepreneurial Intervention in an
                                  Electronic Market Place  . . . . . . . . 335
           Vikram Natarajan and   
                     Angela Goh   Intelligent Auto-downloading of Images   346
     Junalux Chalidabhongse and   
              Wirat Chinnan and   
       Pichet Wechasaethnon and   
    Arpakorn Tantisirithanakorn   Intelligent Facilitation Agent for
                                  Online Web-Based Group Discussion System 356
                   Sebon Ku and   
                  Bogju Lee and   
                    Dongman Lee   TWIMC: An Anonymous Recipient E-mail
                                  System . . . . . . . . . . . . . . . . . 363
                  Walid S. Saba   Mental States of Autonomous Agents in
                                  Competitive and Cooperative Settings . . 373
           Silvana Rossetto and   
Flávio M. Varejão and   
               Thomas W. Rauber   An Expert System Application for
                                  Improving Results in a Handwritten Form
                                  Recognition System . . . . . . . . . . . 383
                 K. W. Chau and   
                       M. Anson   A Knowledge-Based System for
                                  Construction Site Level Facilities
                                  Layout . . . . . . . . . . . . . . . . . 393
                Dongkon Lee and   
                Jaeyong Lee and   
                      K. H. Lee   A Decision-Support System to Improve
                                  Damage Survivability of Submarine  . . . 403
               Jorge Santos and   
                  Zita Vale and   
                   Carlos Ramos   On the Verification of an Expert System:
                                  Practical Issues . . . . . . . . . . . . 414
           J. L. Mitrpanont and   
                   T. Plengpung   DOWNSIZINGX : a Rule-Based System for
                                  Downsizing the Corporation's Computer
                                  Systems  . . . . . . . . . . . . . . . . 425
            Nabil M. Hewahi and   
                       H. Ahmad   Credit Apportionment Scheme for
                                  Rule-Based Systems: Implementation and
                                  Comparative Study  . . . . . . . . . . . 435
                   Wen Tian and   
                   Ben Choi and   
                   Vir V. Phoha   An Adaptive Web Cache Access Predictor
                                  Using Neural Network . . . . . . . . . . 450
              Tokuro Matsuo and   
                   Takayuki Ito   A Designated Bid Reverse Auction for
                                  Agent-Based Electronic Commerce  . . . . 460
                K. K. Phang and   
                  S. H. Lim and   
        Mashkuri Hj. Yaacob and   
                     T. C. Ling   Design of a Fuzzy Usage Parameter
                                  Controller for Diffserv and MPLS . . . . 470
                 Boris Galitsky   A Tool for Extension and Restructuring
                                  Natural Language Question Answering
                                  Domains  . . . . . . . . . . . . . . . . 482
              Sung-Won Jung and   
             Kyung-Hee Sung and   
               Tae-Won Park and   
                 Hyuk-chul Kwon   Effective Retrieval of Information in
                                  Tables on the Internet . . . . . . . . . 493
             Mehrdad Salami and   
                  Tim Hendtlass   A Fitness Estimation Strategy for
                                  Genetic Algorithms . . . . . . . . . . . 502
              Bian Runqiang and   
                Phoebe Chen and   
              Kevin Burrage and   
                  Jim Hanan and   
                 Peter Room and   
                   John Belward   Derivation of L-system Models from
                                  Measurements of Biological Branching
                                  Structures Using Genetic Algorithms  . . 514
                 Paul J. Darwen   Evolving a Schedule with Batching,
                                  Precedence Constraints, and
                                  Sequence-Dependent Setup Times:
                                  Crossover Needs Building Blocks  . . . . 525
           J. L. Mitrpanont and   
           Surasit Kiwprasopsak   The Development of the Feature
                                  Extraction Algorithms for Thai
                                  Handwritten Character Recognition System 536
                    Teruaki Ito   Route Planning Wizard: Basic Concept and
                                  Its Implementation . . . . . . . . . . . 547
                HaiYi Zhang and   
                   JianDong and   
                    Barbro Back   The Design and Implementation of Color
                                  Matching System Based on Back
                                  Propagation  . . . . . . . . . . . . . . 557
              Debasis Mitra and   
                 Walter P. Bond   Component-Oriented Programming as an
                                  AI-Planning Problem  . . . . . . . . . . 567
              Malek Mouhoub and   
                   Jonathan Yip   Dynamic CSPs for Interval-Based Temporal
                                  Reasoning  . . . . . . . . . . . . . . . 575
                Sangjun Lee and   
              Dongseop Kwon and   
                      Sukho Lee   Efficient Pattern Matching of Time
                                  Series Data  . . . . . . . . . . . . . . 586
           Michelle Lavagna and   
            Amalia Ercoli Finzi   A Multi-attribute Decision-Making
                                  Approach toward Space System Design
                                  Automation through a Fuzzy Logic-Based
                                  Analytic Hierarchical Process  . . . . . 596
               Simon Kravis and   
               Rosemary Irrgang   A Case Based System for Oil and Gas Well
                                  Design . . . . . . . . . . . . . . . . . 607
               Daniel Angus and   
                  Tim Hendtlass   Ant Colony Optimisation Applied to a
                                  Dynamically Changing Problem . . . . . . 618
                M. D. Salim and   
                Tim Strauss and   
                   Michael Emch   A GIS-Integrated Intelligent System for
                                  Optimization of Asset Management for
                                  Maintenance of Roads and Bridges . . . . 628
Oscar Luiz Monteiro de Farias and   
 Sueli Bandeira Teixeira Mendes   A Unified Approach for Spatial Object
                                  Modelling and Map Analysis Based on 2nd
                                  Order Many-Sorted Language . . . . . . . 638
             Zs. J. Viharos and   
               L. Monostori and   
                      T. Vincze   Training and Application of Artificial
                                  Neural Networks with Incomplete Data . . 649
               Frank Heeren and   
                  Wilfried Sihn   Message Analysis for the Recommendation
                                  of Contact Persons within Defined
                                  Subject Fields . . . . . . . . . . . . . 660
                 K. W. Chau and   
             Chuntian Cheng and   
                   Y. S. Li and   
                   C. W. Li and   
                         O. Wai   An Intelligent Knowledge Processing
                                  System on Hydrodynamics and Water
                                  Quality Modeling . . . . . . . . . . . . 670
                M. Chachoua and   
                  D. Pacholczyk   Uncertainty Management and Informational
                                  Relevance  . . . . . . . . . . . . . . . 680
              Mi-young Kang and   
                 Su-ho Park and   
                Ae-sun Yoon and   
                 Hyuk-chul Kwon   Potential Governing Relationship and a
                                  Korean Grammar Checker Using Partial
                                  Parsing  . . . . . . . . . . . . . . . . 692
                   Jungpil Shin   On-Line Handwriting Character
                                  Recognition Using Stroke Information . . 703
               Jong-Bae Kim and   
              Su-Woong Jung and   
                  Hang-Joon Kim   Face Detection by Integrating
                                  Multiresolution-Based Watersheds and a
                                  Skin-Color Model . . . . . . . . . . . . 715
           Hiroshi G. Okuno and   
           Kazuhiro Nakadai and   
                 Hiroaki Kitano   Social Interaction of Humanoid
                                  RobotBased on Audio-Visual Tracking  . . 725
               Jinyoung Kim and   
                 Joohun Lee and   
                   Seungho Choi   Hybrid Confidence Measure for
                                  Domain-Specific Keyword Spotting . . . . 736
               Franz Wotawa and   
           Markus Stumptner and   
                 Wolfgang Mayer   Model-Based Debugging or How to Diagnose
                                  Programs Automatically . . . . . . . . . 746
          Satoshi Hiratsuka and   
                  Akira Fusaoka   On a Model-Based Design Verificationfor
                                  Combinatorial Boolean Networks . . . . . 758
               Nadia Nedjah and   
       Luiza de Macedo Mourelle   Optimal Adaptive Pattern Matching  . . . 768
                    Mao Xia and   
                   Chen Bin and   
                   Zhu Gang and   
                    Muta Itsuya   Analysis of Affective Characteristics
                                  and Evaluationof Harmonious Feeling of
                                  Image Based on $ 1 / f $ Fluctuation
                                  Theory . . . . . . . . . . . . . . . . . 780
                 Tony White and   
            Bernard Pagurek and   
                   Dwight Deugo   Collective Intelligence and Priority
                                  Routing in Networks  . . . . . . . . . . 790
          Fredrik Wernstedt and   
                 Paul Davidsson   An Agent-Based Approach to Monitoring
                                  and Control of District Heating Systems  801
                Ivan Bratko and   
                   Dorian \vSuc   Using Machine Learning to Understand
                                  Operator's Skill . . . . . . . . . . . . 812
              Fakhrul Islam and   
              Baikunth Nath and   
            Joarder Kamruzzaman   Reactive Load Control of Parallel
                                  Transformer Operations Using Neural
                                  Networks . . . . . . . . . . . . . . . . 824
                      Anonymous   Author Index . . . . . . . . . . . . . . 831


Lecture Notes in Computer Science
Volume 2359, 2002

            O. Déniz and   
       M. Castrillón and   
                 J. Lorenzo and   
            M. Hernández   An Incremental Learning Algorithm for
                                  Face Recognition . . . . . . . . . . . . 1
                  Juneho Yi and   
                Jongsun Kim and   
               Jongmoo Choi and   
               Junghyun Han and   
                    Eunseok Lee   Face Recognition Based on ICA Combined
                                  with FLD . . . . . . . . . . . . . . . . 10
         Massimo Tistarelli and   
             Andrea Lagorio and   
                  Enrico Grosso   Understanding Iconic Image-Based Face
                                  Biometrics . . . . . . . . . . . . . . . 19
        Gian Luca Marcialis and   
                     Fabio Roli   Fusion of LDA and PCA for Face
                                  Verification . . . . . . . . . . . . . . 30
            Kenneth Nilsson and   
                    Josef Bigun   Complex Filters Applied to Fingerprint
                                  Images Detecting Prominent Symmetry
                                  Points Used for Alignment  . . . . . . . 39
                  Arun Ross and   
              James Reisman and   
                      Anil Jain   Fingerprint Matching Using Feature Space
                                  Correlation  . . . . . . . . . . . . . . 48
              Ruud M. Bolle and   
           Andrew W. Senior and   
            Nalini K. Ratha and   
               Sharath Pankanti   Fingerprint Minutiae: a Constructive
                                  Definition . . . . . . . . . . . . . . . 58
           Leonid Kompanets and   
            Janusz Bobulski and   
              Roman Wyrzykowski   Pseudo-entropy Similarity for Human
                                  Biometrics . . . . . . . . . . . . . . . 67
            Tetiana Valchuk and   
          Roman Wyrzykowski and   
               Leonid Kompanets   Mental Characteristics of Person as
                                  Basic Biometrics . . . . . . . . . . . . 78
M. Castrillón Santana and   
         J. Lorenzo Navarro and   
    J. Cabrera Gámez and   
F. M. Hernández Tejera and   
J. Méndez Rodríguez   Detection of Frontal Faces in Video
                                  Streams  . . . . . . . . . . . . . . . . 91
         Klaus J. Kirchberg and   
            Oliver Jesorsky and   
           Robert W. Frischholz   Genetic Model Optimization for Hausdorff
                                  Distance-Based Face Localization . . . . 103
               Hichem Sahbi and   
                 Nozha Boujemaa   Coarse to Fine Face Detection Based on
                                  Skin Color Adaption  . . . . . . . . . . 112
               Hichem Sahbi and   
                 Nozha Boujemaa   Robust Face Recognition Using Dynamic
                                  Space Warping  . . . . . . . . . . . . . 121
          Raffaele Cappelli and   
                 Dario Maio and   
                 Davide Maltoni   Subspace Classification for Face
                                  Recognition  . . . . . . . . . . . . . . 133
                     L. Lee and   
               W. E. L. Grimson   Gait Appearance for Recognition  . . . . 143
       Chiraz BenAbdelkader and   
                Ross Cutler and   
                    Larry Davis   View-invariant Estimation of Height and
                                  Stride for Gait Recognition  . . . . . . 155
            Masato Kawamoto and   
          Takayuki Hamamoto and   
               Seiichiro Hangai   Improvement of On-line Signature
                                  Verification System Robust to
                                  Intersession Variability . . . . . . . . 168
      J. Gonzalez-Rodriguez and   
  J. Fiérrez-Aguilar and   
           J. Ortega-Garcia and   
            J. J. Lucena-Molina   Biometric Identification in Forensic
                                  Cases According to the Bayesian Approach 177
           Carlos E. Thomaz and   
          Duncan F. Gillies and   
                Raul Q. Feitosa   A New Quadratic Classifier Applied to
                                  Biometric Recognition  . . . . . . . . . 186
                      Anonymous   Author Index . . . . . . . . . . . . . . 197


Lecture Notes in Computer Science
Volume 2360, 2002

        Wil M. P. van der Aalst   Making Work Flow: On the Application of
                                  Petri Nets to Business Process
                                  Management . . . . . . . . . . . . . . . 1
                Jörg Desel   Model Validation --- A Theoretical
                                  Issue? . . . . . . . . . . . . . . . . . 23
                   Ian J. Hayes   The Real-Time Refinement Calculus: a
                                  Foundation for Machine-Independent
                                  Real-Time Programming  . . . . . . . . . 44
                  Charles Lakos   The Challenge of Object Orientation for
                                  the Analysis of Concurrent Systems . . . 59
              P. S. Thiagarajan   Abstract Cyclic Communicating Processes:
                                  a Logical View . . . . . . . . . . . . . 68
                  Alex Yakovlev   Is the Die Cast for the Token Game?  . . 70
           Jordi Cortadella and   
            Alex Kondratyev and   
            Luciano Lavagno and   
          Claudio Passerone and   
              Yosinori Watanabe   Quasi-Static Scheduling of Independent
                                  Tasksfor Reactive Systems  . . . . . . . 80
       Jean-Michel Couvreur and   
        Emmanuelle Encrenaz and   
       Emmanuel Paviot-Adet and   
           Denis Poitrenaud and   
  Pierre-André Wacrenier   Data Decision Diagrams for Petri Net
                                  Analysis . . . . . . . . . . . . . . . . 101
                Juliane Dehnert   Non-controllable Choice Robustness
                                  Expressing the Controllability of
                                  Workflow Processes . . . . . . . . . . . 121
Giovanna Di Marzo Serugendo and   
             Dino Mandrioli and   
               Didier Buchs and   
                 Nicolas Guelfi   Real-Time Synchronised Petri Nets  . . . 142
           Hans Fleischhack and   
               Christian Stehno   Computing a Finite Prefix of a Time
                                  Petri Net  . . . . . . . . . . . . . . . 163
              Steven Gordon and   
    Lars Michael Kristensen and   
            Jonathan Billington   Verification of a Revised WAP Wireless
                                  Transaction Protocol . . . . . . . . . . 182
                    Li Jiao and   
              To-Yat Cheung and   
                     Weiming Lu   Characterizing Liveness of Petri Nets in
                                  Terms of Siphons . . . . . . . . . . . . 203
                 Ekkart Kindler   Petri Nets, Situations, and Automata . . 217
                Kurt Lautenbach   Reproducibility of the Empty Marking . . 237
          Louis-Marie Le Ny and   
                   Bruno Tuffin   Modeling and Analysis of Multi-class
                                  Threshold-Based Queues with Hysteresis
                                  Using Stochastic Petri Nets  . . . . . . 254
                    Lin Liu and   
            Jonathan Billington   Tackling the Infinite State Space of a
                                  Multimedia Control Protocol Service
                                  Specification  . . . . . . . . . . . . . 273
           Louise Lorentsen and   
       Antti-Pekka Tuovinen and   
                      Jianli Xu   Modelling of Features and Feature
                                  Interactions in Nokia Mobile Phones
                                  Using Coloured Petri Nets  . . . . . . . 294
                 Thomas Mailund   Analysing Infinite-State Systems by
                                  Combining Equivalence Reduction and the
                                  Sweep-Line Method  . . . . . . . . . . . 314
             Mogens Nielsen and   
              P. S. Thiagarajan   Regular Event Structures and Finite
                                  Petri Nets: The Conflict-Free Case . . . 335
                Chun Ouyang and   
    Lars Michael Kristensen and   
            Jonathan Billington   A Formal Service Specification for the
                                  Internet Open Trading Protocol . . . . . 352
                 Sibylle Peuker   Transition Refinement for Deriving a
                                  Distributed Minimum Weight Spanning Tree
                                  Algorithm  . . . . . . . . . . . . . . . 374
             David G. Stork and   
               Rob van Glabbeek   Token-Controlled Place Refinement in
                                  Hierarchical Petri Nets with Application
                                  to Active Document Workflow  . . . . . . 394
     Valentín Valero and   
     Juan José Pardo and   
              Fernando Cuartero   Translating TPAL Specifications into
                                  Timed-Arc Petri Nets . . . . . . . . . . 414
         Marko Mäkelä   Maria: Modular Reachability Analyser for
                                  Algebraic System Nets  . . . . . . . . . 434
                      Anonymous   Author Index . . . . . . . . . . . . . . 445


Lecture Notes in Computer Science
Volume 2361, 2002

                Maarten Boasson   Embedded Systems Unsuitable for Object
                                  Orientation  . . . . . . . . . . . . . . 1
                 Mehdi Jazayeri   On Architectural Stability and Evolution 13
               Assia Doudou and   
        Beno\^\it Garbinato and   
               Rachid Guerraoui   Encapsulating Failure Detection: From
                                  Crash to Byzantine Failures  . . . . . . 24
                  Alois Ferscha   Contextware: Bridging Physical and
                                  Virtual Worlds . . . . . . . . . . . . . 51
   Alexander Chatzigeorgiou and   
             George Stephanides   Evaluating Performance and Power of
                                  Object-Oriented Vs. Procedural
                                  Programming in Embedded Processors . . . 65
Jose Manuel Pérez Lobato and   
         Eva Martín Lobo   OMC-INTEGRAL Memory Management . . . . . 76
               Michael Ward and   
                Neil C. Audsley   Language Issues of Compiling Ada to
                                  Hardware . . . . . . . . . . . . . . . . 88
                     Adrian Hoe   Software Development Reengineering ---
                                  An Experience Report . . . . . . . . . . 100
         Francisco J. Ortiz and   
Alejandro S. Martínez and   
     Barbara Álvarez and   
              Andres Iborra and   
José M. Fernández   Development of a Control System for
                                  Teleoperated Robots Using UML and Ada95  113
              Walter Binder and   
           Balázs Lichtl   Using a Secure Java Micro-kernel on
                                  Embedded Devices for the Reliable
                                  Execution of Dynamically Uploaded
                                  Applications . . . . . . . . . . . . . . 125
          Mario Aldea Rivas and   
Michael González Harbour   A POSIX-Ada Interface for
                                  Application-Defined Scheduling . . . . . 136
                     Peter Amey   Closing the Loop: The Influence of Code
                                  Analysis on Design . . . . . . . . . . . 151
             Paul Parkinson and   
               Franco Gasperoni   High-Integrity Systems Development for
                                  Integrated Modular Avionics Using
                                  VxWorks and GNAT . . . . . . . . . . . . 163
             Javier Miranda and   
           Francisco Guerra and   
           Ernestina Martel and   
  José Martín and   
         Alexis González   How to Use GNAT to Efficiently
                                  Preprocess New Ada Sentences . . . . . . 179
               Robert Dewar and   
            Olivier Hainque and   
             Dirk Craeynest and   
            Philippe Waroquiers   Exposing Uninitialized Variables:
                                  Strengthening and Extending Run-Time
                                  Checks in Ada  . . . . . . . . . . . . . 193
                      Ehud Lamm   Adding Design by Contract to the Ada
                                  Language . . . . . . . . . . . . . . . . 205
             Zhenqiang Chen and   
                  Baowen Xu and   
               Jianjun Zhao and   
                    Hongji Yang   Static Dependency Analysis for
                                  Concurrent Ada 95 Programs . . . . . . . 219
        Krzysztof Czarnecki and   
            Michael Himsolt and   
              Ernst Richter and   
                Falk Vieweg and   
                Alfred Rosskopf   DataFAN: a Practical Approach to Data
                                  Flow Analysis for Ada 95 . . . . . . . . 231
                 Yuen T. Yu and   
                     Man F. Lau   Prioritization of Test Cases in MUMCUT
                                  Test Sets: An Empirical Study  . . . . . 245
               Sergey Rybin and   
              Alfred Strohmeier   About the Difficulties of Building a
                                  Pretty-Printer for Ada . . . . . . . . . 257--268
           Ernestina Martel and   
           Francisco Guerra and   
                 Javier Miranda   A Tailorable Distributed Programming
                                  Environment  . . . . . . . . . . . . . . 269
            Julio L. Medina and   
 J. Javier Gutiérrez and   
       José M. Drake and   
Michael González Harbour   Modeling and Schedulability Analysis of
                                  Hard Real-Time Distributed Systems Based
                                  on Ada Components  . . . . . . . . . . . 282
   Luís Miguel Pinho and   
              Francisco Vasques   Transparent Environment for Replicated
                                  Ravenscar Applications . . . . . . . . . 297
Marta Patiño-Martínez and   
Ricardo Jiménez-Peris and   
          Jörg Kienzle and   
          Sergio Arévalo   Concurrency Control in Transactional
                                  Drago  . . . . . . . . . . . . . . . . . 309
Agustín Espinosa Minguet and   
   Ana García Fornes and   
        Alfons Crespo i Lorente   An Ada Binding to the IEEE 1003.1q
                                  (POSIX Tracing) Standard . . . . . . . . 321
                Michael Erdmann   GNAT Ada Database Development
                                  Environment  . . . . . . . . . . . . . . 334
              Jean-Pierre Rosen   Ada, Interfaces and the Listener
                                  Paradigm . . . . . . . . . . . . . . . . 344
           Alejandro Alonso and   
       Roberto López and   
           Tullio Vardanega and   
      Juan Antonio de la Puente   Using Object Orientation in High
                                  Integrity Applications: a Case Study . . 357
                      Anonymous   Author Index . . . . . . . . . . . . . . 367


Lecture Notes in Computer Science
Volume 2362, 2002

    Peter van den Besselaar and   
              Makoto Tanabe and   
                    Toru Ishida   Introduction: Digital Cities Research
                                  and Open Issues  . . . . . . . . . . . . 1
                  Barry Wellman   Little Boxes, Glocalization, and
                                  Networked Individualism  . . . . . . . . 10
               Gary Gumpert and   
                  Susan Drucker   Privacy, Predictability or Serendipity
                                  and Digital Cities . . . . . . . . . . . 26
              Stelios Lelis and   
          Petros Kavassalis and   
            Jakka Sairamesh and   
                Seif Haridi and   
           Fredrik Holmgren and   
              Mahmoud Rafea and   
         Antonis Hatzistamatiou   Regularities in the Formation and
                                  Evolution of Information Cities  . . . . 41
        Victor V. Kryssanov and   
             Masayuki Okabe and   
                Koh Kakusho and   
                Michihiko Minoh   Communication of Social Agents and the
                                  Digital City --- A Semiotic Perspective  56
                   Doug Schuler   Digital Cities and Digital Citizens  . . 71
                      Peter Day   Designing Democratic Community Networks:
                                  Involving Communities through Civil
                                  Participation  . . . . . . . . . . . . . 86
              Ingrid Götzl   TeleCities --- Digital Cities Network    101
              Randal D. Pinkett   The Camfield Estates-MIT Creating
                                  Community Connections Project:
                                  Strategies for Active Participation in a
                                  Low- to Moderate-Income Community  . . . 110
           Karrie J. Hanson and   
                Gerald M. Karam   Community Websites as a Local
                                  Communication Network: ``Directory
                                  Westfield'', an Experience Report  . . . 125
                Helen McQuillan   Ennis Information Age Town: Virtuality
                                  Rooted in Reality  . . . . . . . . . . . 139
              Kikuko Harada and   
                Hiroshi Hoshino   Feasibility Study of Digital Community
                                  through Virtual Enterprise Network . . . 152
             Dieter Rehfeld and   
                 Ileana Hamburg   Knowledge-Based Economic Services
                                  Supported by Digital Experiments . . . . 164
           Murali Venkatesh and   
                   Donghee Shin   Community Network Development: a
                                  Dialectical View . . . . . . . . . . . . 177
                 Agneta Ranerup   The Complexity of Using Commercial
                                  Forces to Counteract the Digital Divide:
                                  a Case Study of the TUC of Sweden  . . . 191
                 Lili Cheng and   
             Shelly Farnham and   
                    Linda Stone   Lessons Learned: Social Interaction in
                                  Virtual Environments . . . . . . . . . . 203
                     Els Rommes   Worlds Apart: Exclusion-Processes in DDS 219
                Kaoru Hiramatsu   Log Analysis of Map-Based Web Page
                                  Search on Digital City Kyoto . . . . . . 233
                Toru Ishida and   
           Hiroshi Ishiguro and   
             Hideyuki Nakanishi   Connecting Digital and Physical Cities   246
               Katy Börner   Twin Worlds: Augmenting, Evaluating, and
                                  Studying Three-Dimensional Digital
                                  Cities and Their Evolving Communities    257
          Tomohiro Fukuhara and   
         Ken'ichi Matsumura and   
            Shintaro Azechi and   
          Nobuhiko Fujihara and   
            Kazunori Terada and   
             Koji Yamashita and   
                Toyoaki Nishida   Creating City Community Consanguinity:
                                  Use of Public Opinion Channel in Digital
                                  Cities . . . . . . . . . . . . . . . . . 270
           Jun-ichi Akahani and   
            Kaoru Hiramatsu and   
         Yoshikazu Furukawa and   
                 Kiyoshi Kogure   Agent-Based Coordination of Regional
                                  Information Services . . . . . . . . . . 283
               Masaya Okada and   
            Hiroyuki Tarumi and   
        Tetsuhiko Yoshimura and   
            Kazuyuki Moriya and   
                  Tetsuro Sakai   Realization of Digital Environmental
                                  Education -- A Future Style of
                                  Environmental Education in Dynamically
                                  Changing Virtual Environment --  . . . . 292
              Hiroya Tanaka and   
          Masatoshi Arikawa and   
              Ryosuke Shibasaki   A $3$-D Photo Collage System for Spatial
                                  Navigations  . . . . . . . . . . . . . . 305
                Koichi Goto and   
              Yahiko Kambayashi   Study on Mobile Passenger Support
                                  Systems for Public Transportation Using
                                  Multi-channel Data Dissemination . . . . 317
              Hiroshi Tsuji and   
              Masato Terada and   
              Yuki Kadowaki and   
           Masaaki Tanizaki and   
                Shigeru Shimada   Spatial Information Sharing for Mobile
                                  Phones . . . . . . . . . . . . . . . . . 331
                   Bernard Burg   Agents in the World of Active
                                  Web-Services . . . . . . . . . . . . . . 343
            Satoshi Koizumi and   
                Guiming Dai and   
               Hiroshi Ishiguro   Town Digitizing for Building an
                                  Image-Based Cyber Space  . . . . . . . . 357
                Itsuki Noda and   
         Tomoichi Takahashi and   
               Shuji Morita and   
             Tetsuhiko Koto and   
               Satoshi Tadokoro   Language Design for Rescue Agents  . . . 371
                  Aradhana Goel   Urban Pilot  . . . . . . . . . . . . . . 384
                      Anonymous   Author Index . . . . . . . . . . . . . . 399


Lecture Notes in Computer Science
Volume 2363, 2002

            Jeffrey M. Bradshaw   Living with Agents: From Human-Agent
                                  Teamwork to Cognitive Prostheses . . . . 1
                 Oliviero Stock   Computational Humor  . . . . . . . . . . 2
                Fred Mulder and   
                 Jos Rikers and   
                 Piet Henderikx   Large-Scale Introduction of E-learning
                                  at Universities throughout Europe  . . . 4
 Frédéric Koriche   A Roadmap of Epistemic Logics for
                                  Learning Agents  . . . . . . . . . . . . 6
              Rosa Maria Vicari   ITS, Agents, BDI, and Affection: Trying
                                  to Make a Plan Come Together . . . . . . 8
             Yusuke Hayashi and   
           Hiroyuki Tsumoto and   
              Mitsuru Ikeda and   
             Riichiro Mizoguchi   An Intellectual Genealogy Graph
                                  Affording a Fine Prospect of
                                  Organizational Learning  . . . . . . . . 10
             Niels Pinkwart and   
            H. Ulrich Hoppe and   
                Lars Bollen and   
                   Eva Fuhlrott   Group-Oriented Modelling Tools with
                                  Heterogeneous Semantics  . . . . . . . . 21
          Christophe Reffay and   
                Thierry Chanier   Social Network Analysis Used for
                                  Modelling Collaboration in Distance
                                  Learning Groups  . . . . . . . . . . . . 31
Germana M. da Nóbrega and   
           Stefano A. Cerri and   
                 Jean Sallantin   On the Social Rational Mirror: Learning
                                  E-commerce in a Web-Served Learning
                                  Environment  . . . . . . . . . . . . . . 41
       Natalia López and   
 Manuel Núñez and   
    Ismael Rodríguez and   
                 Fernando Rubio   Including Malicious Agents into a
                                  Collaborative Learning Environment . . . 51
  Dorothée Rasseneur and   
        Elisabeth Delozanne and   
            Pierre Jacoboni and   
               Brigitte Grugeon   Learning with Virtual Agents:
                                  Competition and Cooperation in AMICO . . 61
               Alke Martens and   
          Adelinde M. Uhrmacher   Adaptive Tutoring Processes and Mental
                                  Plans  . . . . . . . . . . . . . . . . . 71
            Vladan Devedzic and   
                 Andreas Harrer   Architectural Patterns in Pedagogical
                                  Agents . . . . . . . . . . . . . . . . . 81
Cássia Trojahn dos Santos and   
              Rejane Frozza and   
          Alessandra Dhamer and   
       Luciano Paschoal Gaspary   DÓRIS --- Pedagogical Agent in
                                  Intelligent Tutoring Systems . . . . . . 91
  Ricardo Azambuja Silveira and   
              Rosa Maria Vicari   Developing Distributed Intelligent
                                  Learning Environment with JADE --- Java
                                  Agents for Distance Education Framework  105
               Jim Prentzas and   
    Ioannis Hatzilygeroudis and   
               John Garofalakis   A Web-Based Intelligent Tutoring System
                                  Using Hybrid Rules as Its
                                  Representational Basis . . . . . . . . . 119
             Jaakko Kurhila and   
                Matti Lattu and   
               Anu Pietilä   Using Vector-Space Model in Adaptive
                                  Hypermedia for Learning  . . . . . . . . 129
              M. F. Verdejo and   
                  B. Barros and   
                    T. Read and   
           M. Rodriguez-Artacho   A System for the Specification and
                                  Development of an Environment for
                                  Distributed CSCL Scenarios . . . . . . . 139
               Hussein Raad and   
                 Bernard Causse   Modelling of an Adaptive Hypermedia
                                  System Based on Active Rules . . . . . . 149
               Kurt VanLehn and   
           Pamela W. Jordan and   
     Carolyn P. Rosé and   
           Dumisizwe Bhembe and   
       Michael Böttner and   
                Andy Gaydos and   
            Maxim Makatchev and   
         Umarani Pappuswamy and   
         Michael Ringenberg and   
              Antonio Roque and   
            Stephanie Siler and   
              Ramesh Srivastava   The Architecture of Why2-Atlas: a Coach
                                  for Qualitative Physics Essay Writing    158
                  L. Moreno and   
         C. González and   
            V. Muñoz and   
          J. Estévez and   
                 R. Aguilar and   
          J. Sánchez and   
                   J. Sigut and   
              J. Piñeiro   Integrating Multimedia Technology,
                                  Knowledge Based System and Speech
                                  Processing for the Diagnostic and
                                  Treatment of Developmental Dyslexia  . . 168
Jean-François Nicaud and   
            Denis Bouhineau and   
                  Thomas Huguet   The Aplusix-Editor: a New Kind of
                                  Software for the Learning of Algebra . . 178
              Khalid Rouane and   
             Claude Frasson and   
                Marc Kaltenbach   LKC: Learning by Knowledge Construction  188
             Eman El-Sheikh and   
                   Jon Sticklen   Generating Intelligent Tutoring Systems
                                  from Reusable Components and
                                  Knowledge-Based Systems  . . . . . . . . 199
Daniéle Hérin and   
                Michel Sala and   
                Pierre Pompidor   Evaluating and Revising Courses from Web
                                  Resources Educational  . . . . . . . . . 208
          Akihiro Kashihara and   
             Kunitaka Kumei and   
           Shinobu Hasegawa and   
                 Junichi Toyoda   Adaptive Postviewer for Constructive
                                  Learning in Hyperspace . . . . . . . . . 219
          Peter Brusilovsky and   
                    Hoah-Der Su   Adaptive Visualization Component of a
                                  Distributed Web-Based Adaptive
                                  Educational System . . . . . . . . . . . 229
             Jaakko Kurhila and   
           Miikka Miettinen and   
           Petri Nokelainen and   
                    Henry Tirri   Dynamic Profiling in a Real-Time
                                  Collaborative Learning Environment . . . 239
             Issam Reba\"\i and   
Brigitte de La Passardiére   Dynamic Generation of an Interface for
                                  the Capture of Educational Metadata  . . 249
        Stefan Trausan-Matu and   
           Daniele Maraschi and   
                  Stefano Cerri   Ontology-Centered Personalized
                                  Presentation of Knowledge Extracted from
                                  the Web  . . . . . . . . . . . . . . . . 259
                 Lora Aroyo and   
             Darina Dicheva and   
              Alexandra Cristea   Ontological Support for Web Courseware
                                  Authoring  . . . . . . . . . . . . . . . 270
            Cécile Meyer   Hypermedia Environment for Learning
                                  Concepts Based on Inter-Domain Analogies
                                  as an Educational Strategy . . . . . . . 281
               Claus Moebus and   
               Bernd Albers and   
            Stefan Hartmann and   
        Heinz-Juergen Thole and   
                 Jochen Zurborg   Towards a Specification of Distributed
                                  and Intelligent Web Based Training
                                  Systems  . . . . . . . . . . . . . . . . 291
Frédéric Geoffroy and   
                Esma Aimeur and   
                   Denis Gillet   A Virtual Assistant for Web-Based
                                  Training in Engineering Education  . . . 301
              Chong-woo Woo and   
               Jin-woo Choi and   
                   Martha Evens   Web-Based ITS for Training System
                                  Managers on the Computer Intrusion . . . 311
                Jack Mostow and   
                  Greg Aist and   
                Joseph Beck and   
         Raghuvee Chalasani and   
               Andrew Cuneo and   
                   Peng Jia and   
                 Krishna Kadaru   A La Recherche du Temps Perdu, or As
                                  Time Goes By: Where Does the Time Go in
                                  a Reading Tutor That Listens?  . . . . . 320
          Santosh A. Mathan and   
           Kenneth R. Koedinger   An Empirical Assessment of Comprehension
                                  Fostering Features in an Intelligent
                                  Tutoring System  . . . . . . . . . . . . 330
             Vincent Aleven and   
              Octav Popescu and   
              Kenneth Koedinger   Pilot-Testing a Tutorial Dialogue System
                                  That Supports Self-Explanation . . . . . 344
          Benjamin MacLaren and   
              Kenneth Koedinger   When and Why Does Mastery Learning Work:
                                  Instructional Experiments with ACT-R
                                  ``SimStudents''  . . . . . . . . . . . . 355
               Kurt VanLehn and   
               Collin Lynch and   
             Linwood Taylor and   
           Anders Weinstein and   
              Robert Shelby and   
                Kay Schulze and   
                 Don Treacy and   
               Mary Wintersgill   Minimally Invasive Tutoring of Complex
                                  Physics Problem Solving  . . . . . . . . 367
       Pramuditha Suraweera and   
              Antonija Mitrovic   KERMIT: a Constraint-Based Tutor for
                                  Database Modeling  . . . . . . . . . . . 377
               Brent Martin and   
              Antonija Mitrovic   Automatic Problem Generation in
                                  Constraint-Based Tutors  . . . . . . . . 388
        Jacqueline Bourdeau and   
             Riichiro Mizoguchi   Collaborative Ontological Engineering of
                                  Instructional Design Knowledge for an
                                  ITS Authoring Environment  . . . . . . . 399
             Iraklis Paraskakis   \em TeLoDe: Towards Creating an
                                  Intelligent Computer Algebra System  . . 410
               Leanna Lesta and   
                   Kalina Yacef   An Intelligent Teaching Assistant System
                                  for Logic  . . . . . . . . . . . . . . . 421
            Vania Dimitrova and   
                  Paul Brna and   
                      John Self   The Design and Implementation of a
                                  Graphical Communication Medium for
                                  Interactive Open Learner Modelling . . . 432
        Diego Zapata-Rivera and   
                   Jim E. Greer   Exploring Various Guidance Mechanisms to
                                  Support Interaction with Inspectable
                                  Learner Models . . . . . . . . . . . . . 442
             Danita Hartley and   
              Antonija Mitrovic   Supporting Learning by Opening the
                                  Student Model  . . . . . . . . . . . . . 453
              Chun Wai Liew and   
                Donald E. Smith   Reasoning about Systems of Physics
                                  Equations  . . . . . . . . . . . . . . . 463
             Robert A. Richards   Principle Hierarchy Based Intelligent
                                  Tutoring System for Common Cockpit
                                  Helicopter Training  . . . . . . . . . . 473
                 Michel Aka and   
                 Claude Frasson   ASIMIL: Overview of a Distance Learning
                                  Flight-Training System . . . . . . . . . 484
        Andreas Lüdtke and   
           Claus Möbus and   
        Heinz-Jürgen Thole   Cognitive Modelling Approach to Diagnose
                                  Over-Simplification in Simulation-Based
                                  Training . . . . . . . . . . . . . . . . 496
          Laurent Duquesnoy and   
            Jean-Luc Berger and   
Patrick Prévôt and   
Françoise Sandoz-Guermond   SIMPA: a Training Platform in Work
                                  Station Including Computing Tutors . . . 507
              Michelle Joab and   
             Odette Auzende and   
          Michel Futtersack and   
            Brigitte Bonnet and   
             Patrice Le Leydour   Computer Aided Evaluation of Trainee
                                  Skills on a Simulator Network  . . . . . 521
                Anton Minko and   
           Guy Gouard\`eres and   
                    Orest Popov   Qualitative Assessment on Aeronautical
                                  Training with Cognitive Agents . . . . . 531
                Jeff Rickel and   
                  Neal Lesh and   
               Charles Rich and   
          Candace L. Sidner and   
                Abigail Gertner   Collaborative Discourse Theory as a
                                  Foundation for Tutorial Dialogue . . . . 542
     Carolyn P. Rosé and   
           Dumisizwe Bhembe and   
              Antonio Roque and   
            Stephanie Siler and   
          Ramesh Srivastava and   
                   Kurt VanLehn   A Hybrid Language Understanding Approach
                                  for Robust Selection of Tutoring Goals   552
   Kalliopi-Irini Malatesta and   
      Peter Wiemer-Hastings and   
                 Judy Robertson   Beyond the Short Answer Question with
                                  Research Methods Tutor . . . . . . . . . 562
                 Claus Zinn and   
           Johanna D. Moore and   
                   Mark G. Core   A $3$-Tier Planning Architecture for
                                  Managing Tutorial Dialogue . . . . . . . 574
            Kevin D. Ashley and   
                 Ravi Desai and   
                 John M. Levine   Teaching Case-Based Argumentation
                                  Concepts Using Dialectic Arguments vs.
                                  Didactic Explanations  . . . . . . . . . 585
          Neil T. Heffernan and   
           Kenneth R. Koedinger   An Intelligent Tutoring System
                                  Incorporating a Model of an Experienced
                                  Human Tutor  . . . . . . . . . . . . . . 596
                Weiqin Chen and   
                 Barbara Wasson   An Instructional Assistant Agent for
                                  Distributed Collaborative Learning . . . 609
       Patricia Azevedo Tedesco   Conflicts in Group Planning: Results
                                  from the Experimental Study of MArCo . . 619
    Sébastien George and   
                  Pascal Leroux   An Approach to Automatic Analysis of
                                  Learners' Social Behavior During
                                  Computer-Mediated Synchronous
                                  Conversations  . . . . . . . . . . . . . 630
                Sandra Katz and   
               David Allbritton   Going Beyond the Problem Given: How
                                  Human Tutors Use Post-practice
                                  Discussions to Support Transfer  . . . . 641
               Johan Michel and   
     Jérôme Lehuen   Conception of a Language Learning
                                  Environment Based on the Communicative
                                  and Actional Approaches  . . . . . . . . 651
                  Jihie Kim and   
                    Yolanda Gil   Deriving Acquisition Principles from
                                  Tutoring Principles  . . . . . . . . . . 661
           Crescencio Bravo and   
          Miguel A. Redondo and   
              Manuel Ortega and   
              M. Felisa Verdejo   Collaborative Discovery Learning of
                                  Model Design . . . . . . . . . . . . . . 671
         Beverly Park Woolf and   
                  John Reid and   
             Neil Stillings and   
                Merle Bruno and   
                 Dan Murray and   
                Paula Reese and   
           Alan Peterfreund and   
                   Kenneth Rath   A General Platform for Inquiry Learning  681
                Andrea Bunt and   
                Cristina Conati   Assessing Effective Exploration in Open
                                  Learning Environments Using Bayesian
                                  Networks . . . . . . . . . . . . . . . . 698
Joséphine M. P. Tchétagni and   
                  Roger Nkambou   Hierarchical Representation and
                                  Evaluation of the Student in an
                                  Intelligent Tutoring System  . . . . . . 708
             Esma A\"\imeur and   
            Gilles Brassard and   
                Hugo Dufort and   
         Sébastien Gambs   CLARISSE: a Machine Learning Tool to
                                  Initialize Student Models  . . . . . . . 718
               Declan Kelly and   
                Brendan Tangney   Incorporating Learning Characteristics
                                  into an Intelligent Tutor  . . . . . . . 729
      Eduardo Guzmán and   
                 Ricardo Conejo   Simultaneous Evaluation of Multiple
                                  Topics in SIETTE . . . . . . . . . . . . 739
                 Tom Murray and   
                    Ivon Arroyo   Toward Measuring and Maintaining the
                                  Zone of Proximal Development in Adaptive
                                  Instructional Systems  . . . . . . . . . 749
            Rosemary Luckin and   
               Louise Hammerton   Getting to Know Me: Helping Learners
                                  Understand Their Own Learning Needs
                                  through Metacognitive Scaffolding  . . . 759
            Philippe Dessus and   
              Beno\^\it Lemaire   Using Production to Assess Learning: An
                                  ILE That Fosters Self-Regulated Learning 772
    Nathalie Guin-Duclosson and   
Stéphanie Jean-Daubias and   
                   Sandra Nogry   The Ambre ILE: How to Use Case-Based
                                  Reasoning to Teach Methods . . . . . . . 782
                Amruth N. Kumar   Model-Based Reasoning for Domain
                                  Modeling in a Web-Based Intelligent
                                  Tutoring System to Help Students Learn
                                  to Debug C++ Programs  . . . . . . . . . 792
    Jochen Büdenbender and   
           Adrian Frischauf and   
            Georgi Goguadze and   
                Erica Melis and   
             Paul Libbrecht and   
                Carsten Ullrich   Using Computer Algebra Systems as
                                  Cognitive Tools  . . . . . . . . . . . . 802
             Katerina Georgouli   The Design of a `Motivating' Intelligent
                                  Assessment System  . . . . . . . . . . . 811
             Natalie Person and   
             Arthur C. Graesser   Human or Computer? AutoTutor in a
                                  Bystander Turing Test  . . . . . . . . . 821
         Nicolas Van Labeke and   
              Shaaron Ainsworth   Representational Decisions When Learning
                                  Population Dynamics with an
                                  Instructional Simulation . . . . . . . . 831
                Aloys Mbala and   
          Christophe Reffay and   
                Thierry Chanier   Integration of Automatic Tools for
                                  Displaying Interaction Data in Computer
                                  Environments for Distance Learning . . . 841
                 Joseph E. Beck   Directing Development Effort with
                                  Simulated Students . . . . . . . . . . . 851
               Akira Nakano and   
          Tsukasa Hirashima and   
                 Akira Takeuchi   An Evaluation of Intelligent Learning
                                  Environment for Problem Posing . . . . . 861
          Shaaron Ainsworth and   
               David Clarke and   
              Robert Gaizauskas   Using Edit Distance Algorithms to
                                  Compare Alternative Approaches to ITS
                                  Authoring  . . . . . . . . . . . . . . . 873
          Shaaron Ainsworth and   
               Shirley Grimshaw   Are ITSs Created with the REDEEM
                                  Authoring Tool More Effective than
                                  ``Dumb'' Couresware? . . . . . . . . . . 883
                Petri Gerdt and   
               Piet Kommers and   
             Jarkko Suhonen and   
                  Erkki Sutinen   StoryML: An XML Extension for Woven
                                  Stories  . . . . . . . . . . . . . . . . 893
                Paola Rizzo and   
                  Erin Shaw and   
               W. Lewis Johnson   An Agent That Helps Children to Author
                                  Rhetorically-Structured Digital Puppet
                                  Presentations  . . . . . . . . . . . . . 903
                  Rui Prada and   
                  Ana Paiva and   
             Isabel Machado and   
               Catarina Gouveia   ``You Cannot Use My Broom! I'm the
                                  Witch, You're the Prince'':
                                  Collaboration in a Virtual Dramatic Game 913
             Judy Robertson and   
          Peter Wiemer-Hastings   Feedback on Children's Stories via
                                  Multiple Interface Agents  . . . . . . . 923
           Angel de Vicente and   
                     Helen Pain   Informing the Detection of the Students'
                                  Motivational State: An Empirical Study   933
            Cristina Conati and   
                  Xiaoming Zhou   Modeling Students' Emotions from
                                  Cognitive Appraisal in Educational Games 944
                 Barry Kort and   
                     Rob Reilly   An Affective Module for an Intelligent
                                  Tutoring System  . . . . . . . . . . . . 955
          Kristen N. Moreno and   
             Bianca Klettke and   
        Kiran Nibbaragandla and   
             Arthur C. Graesser   Perceived Characteristics and
                                  Pedagogical Efficacy of Animated
                                  Conversational Agents  . . . . . . . . . 963
         Arthur C. Graesser and   
                 Xiangen Hu and   
          Natalie K. Person and   
              Craig Stewart and   
                   Joe Toth and   
          G. Tanner Jackson and   
             Suresh Susarla and   
                Matthew Ventura   Learning about the Ethical Treatment of
                                  Human Subjects in Experiments on a Web
                                  Facility with a Conversational Agent and
                                  ITS Components . . . . . . . . . . . . . 972
                Judith Masthoff   Design and Evaluation of a Navigation
                                  Agent with a Mixed Locus of Control  . . 982
               Gregory Aist and   
                 Barry Kort and   
                 Rob Reilly and   
                Jack Mostow and   
                Rosalind Picard   Adding Human-Provided Emotional
                                  Scaffolding to an Automated Reading
                                  Tutor That Listens Increases Student
                                  Persistence  . . . . . . . . . . . . . . 992
               Abdellah Bennane   An Approach of Reinforcement Learning
                                  Use in Tutoring Systems  . . . . . . . . 993
            Dominique Deuff and   
         Nicole Devold\`ere and   
   Béatrice Foucault and   
          Isabelle Chanclou and   
           Delphine Mantsos and   
Cédric Gégout and   
                 Michael Picaud   An MPEG-4 Authoring Tool Dedicated to
                                  Teachers . . . . . . . . . . . . . . . . 994
         Benedict du Boulay and   
                Rosemary Luckin   Resource Reuse and Broadband User
                                  Modelling in ie-TV . . . . . . . . . . . 995
             Jessica Faivre and   
              Roger Nkambou and   
                 Claude Frasson   Integrating Adaptive Emotional Agents in
                                  ITS  . . . . . . . . . . . . . . . . . . 996
    Hél\`ene Giroire and   
 Françoise Le Calvez and   
               Jacques Duma and   
      Gérard Tisseau and   
                  Marie Urtasun   Targeted Detection: Application to Error
                                  Detection in a Pedagogical System  . . . 998
               Andrew G. Harrop   The Design of ENCAL, a Learning
                                  Environment Utilising Multiple Linked
                                  Representations  . . . . . . . . . . . . 999
                Akiko Inaba and   
               Ryoji Ohkubo and   
              Mitsuru Ikeda and   
         Riichiro Mizoguchi and   
                Jun'ichi Toyoda   Supporting Interaction Analysis for
                                  Collaborative Learning . . . . . . . . . 1000
                     Anna Lloyd   A Support Environment for Novice Web
                                  Searchers  . . . . . . . . . . . . . . . 1002
           Manolis Mavrikis and   
                       John Lee   Towards More Affective Tutoring Systems  1003
              Claude Moulin and   
             Sylvain Giroux and   
             Antonio Pintus and   
                Raffaella Sanna   Mobile Lessons Using Geo-Referenced Data
                                  in e-Learning  . . . . . . . . . . . . . 1004
              Nad\`ege Neau and   
                  Alain Derycke   Shared Scientific Argumentation for Lab
                                  Work in Physics: An Application of
                                  Ethnomethodology in the Conception
                                  Process  . . . . . . . . . . . . . . . . 1005
          Marilyne Rosselle and   
             Pierre Gillois and   
            Josette Morinet and   
         François Kohler   Student's Setup to Access a WEDS . . . . 1006
                  M. Rubens and   
                 P. Trigano and   
                       D. Lenne   Learner Evaluation in Web-Based Learning
                                  Environments . . . . . . . . . . . . . . 1007
                Ashraf Saad and   
              A. R. M. Zaghloul   A Constructivist Knowledge Base
                                  Architecture for Adaptive Intelligent
                                  Tutoring Systems . . . . . . . . . . . . 1008
               Paulo Salles and   
              Bert Bredeweg and   
              Symone Araujo and   
                    Walter Neto   Qualitative Models of Interactions
                                  between Two Populations  . . . . . . . . 1009
Hassina Seridi-Bouchelaghem and   
                Mokhtar Sellami   An Adaptive Distance Learning
                                  Architecture . . . . . . . . . . . . . . 1010
                  J. P. Spagnol   Modelisation and Automation of Reasoning
                                  in Geometry. The ARGOS System: a
                                  Learning Companion for High-School
                                  Pupils . . . . . . . . . . . . . . . . . 1011
           Joshua Underwood and   
                Rosemary Luckin   Adequate Decision Support Systems Must
                                  Also Be Good Learning Environments . . . 1012
                      Anonymous   Author Index . . . . . . . . . . . . . . 1013


Lecture Notes in Computer Science
Volume 2364, 2002

                  Joydeep Ghosh   Multiclassifier Systems: Back to the
                                  Future . . . . . . . . . . . . . . . . . 1
                     Ji Zhu and   
                  Trevor Hastie   Support Vector Machines, Kernel Logistic
                                  Regression and Boosting  . . . . . . . . 16
                 Sarunas Raudys   Multiple Classification Systems in the
                                  Context of Feature Extraction and
                                  Selection  . . . . . . . . . . . . . . . 27
             Terry Windeatt and   
            Gholamreza Ardeshir   Boosted Tree Ensembles for Solving
                                  Multiclass Problems  . . . . . . . . . . 42
               N. V. Chawla and   
                 L. O. Hall and   
               K. W. Bowyer and   
           T. E. Moore, Jr. and   
               W. P. Kegelmeyer   Distributed Pasting of Small Votes . . . 52
          Marina Skurichina and   
       Liudmila I. Kuncheva and   
              Robert P. W. Duin   Bagging and Boosting for the Nearest
                                  Mean Classifier: Effects of Sample Size
                                  on Diversity and Accuracy  . . . . . . . 62
              Bruno Caprile and   
          Cesare Furlanello and   
                 Stefano Merler   Highlighting Hard Patterns via AdaBoost
                                  Weights Evolution  . . . . . . . . . . . 72
        Ludmila I. Kuncheva and   
        Christopher J. Whitaker   Using Diversity with Three Variants of
                                  Boosting: Aggressive, Conservative, and
                                  Inverse  . . . . . . . . . . . . . . . . 81
                Shuang Yang and   
              Antony Browne and   
               Philip D. Picton   Multistage Neural Network Ensembles  . . 91
               Shimon Cohen and   
                Nathan Intrator   Forward and Backward Selection in
                                  Regression Hybrid Network  . . . . . . . 98
           Amanda J. C. Sharkey   Types of Multinet System . . . . . . . . 108
             Francesco Mola and   
              Roberta Siciliano   Discriminant Analysis and Factorial
                                  Multiple Splits in Recursive
                                  Partitioning for Data Mining . . . . . . 118
                Dymitr Ruta and   
                  Bogdan Gabrys   New Measure of Classifier Dependency in
                                  Multiple Classifier Systems  . . . . . . 127
          Elzbieta Pekalska and   
          Robert P. W. Duin and   
              Marina Skurichina   A Discussion on the Classifier
                                  Projection Space for Classifier
                                  Combining  . . . . . . . . . . . . . . . 137
               D. Windridge and   
                     J. Kittler   On the General Application of the
                                  Tomographic Classifier Fusion
                                  Methodology  . . . . . . . . . . . . . . 149
      Hakan Altinçay and   
       Mübeccel Demirekler   Post-processing of Classifier Outputs in
                                  Multiple Classifier Systems  . . . . . . 159
              K. Sirlantzis and   
                   S. Hoque and   
                M. C. Fairhurst   Trainable Multiple Classifier Schemes
                                  for Handwritten Character Recognition    169
          Simon Günter and   
                    Horst Bunke   Generating Classifier Ensembles from
                                  Multiple Prototypes and Its Application
                                  to Handwriting Recognition . . . . . . . 179
           Joseph T. Morgan and   
           Alex Henneguelle and   
          Melba M. Crawford and   
              Joydeep Ghosh and   
             Amy Neuenschwander   Adaptive Feature Spaces for Land Cover
                                  Classification with Limited Ground Truth
                                  Data . . . . . . . . . . . . . . . . . . 189
              Saso Dzeroski and   
                  Bernard Zenko   Stacking with Multi-response Model Trees 201
                 Carmen Lai and   
            David M. J. Tax and   
          Robert P. W. Duin and   
          Elzbieta Pekalska and   
            Pavel Paclík   On Combining One-Class Classifiers for
                                  Image Database Retrieval . . . . . . . . 212
          Giorgio Valentini and   
           Thomas G. Dietterich   Bias-Variance Analysis and Ensembles of
                                  SVM  . . . . . . . . . . . . . . . . . . 222
                 Fabio Roli and   
             Sarunas Raudys and   
            Gian Luca Marcialis   An Experimental Comparison of Fixed and
                                  Trained Fusion Rules for Crisp
                                  Classifier Outputs . . . . . . . . . . . 232
          Arunas Janeliunas and   
                 Sarunas Raudys   Reduction of the Boasting Bias of Linear
                                  Experts  . . . . . . . . . . . . . . . . 242
                 Fabio Roli and   
                 Giorgio Fumera   Analysis of Linear and Order Statistics
                                  Combiners for Fusion of Imbalanced
                                  Classifiers  . . . . . . . . . . . . . . 252
          Francesco Masulli and   
               Matteo Pardo and   
       Giorgio Sberveglieri and   
              Giorgio Valentini   Boosting and Classification of
                                  Electronic Nose Data . . . . . . . . . . 262
               R. Schettini and   
               C. Brambilla and   
                      C. Cusano   Content-Based Classification of Digital
                                  Photos . . . . . . . . . . . . . . . . . 272
  Juli\`a Minguillón and   
         Anne Rosemary Tate and   
         Carles Arús and   
              John R. Griffiths   Classifier Combination for In Vivo
                                  Magnetic Resonance Spectra of Brain
                                  Tumours  . . . . . . . . . . . . . . . . 282
           Emilio Benfenati and   
           Paolo Mazzatorta and   
               Daniel Neagu and   
                Giuseppina Gini   Combining Classifiers of Pesticides
                                  Toxicity through a Neuro-fuzzy Approach  293
             L. P. Cordella and   
                M. De Santo and   
             G. Percannella and   
                 C. Sansone and   
                       M. Vento   A Multi-expert System for Movie
                                  Segmentation . . . . . . . . . . . . . . 304
                 J. Kittler and   
                M. Ballette and   
                    J. Czyz and   
                    F. Roli and   
                 L. Vandendorpe   Decision Level Fusion of Intramodal
                                  Personal Identity Verification Experts   314
                 Fabio Roli and   
              Josef Kittler and   
             Giorgio Fumera and   
                Daniele Muntoni   An Experimental Comparison of Classifier
                                  Fusion Rules for Multimodal Personal
                                  Identity Verification Systems  . . . . . 325
                      Anonymous   Author Index . . . . . . . . . . . . . . 337


Lecture Notes in Computer Science
Volume 2365, 2002

                  Eli Biham and   
              Orr Dunkelman and   
                  Nathan Keller   New Results on Boomerang and Rectangle
                                  Attacks  . . . . . . . . . . . . . . . . 1
             Nikita Borisov and   
                Monica Chew and   
                Rob Johnson and   
                   David Wagner   Multiplicative Differentials . . . . . . 17
             Hitoshi Yanami and   
          Takeshi Shimoyama and   
                  Orr Dunkelman   Differential and Linear Cryptanalysis of
                                  a Reduced-Round SC2000 . . . . . . . . . 34
                Dukjae Moon and   
            Kyungdeok Hwang and   
                  Wonil Lee and   
                Sangjin Lee and   
                     Jongin Lim   Impossible Differential Cryptanalysis of
                                  Reduced Round XTEA and TEA . . . . . . . 49--61
               Ulrich Kühn   Improved Cryptanalysis of MISTY1 . . . . 61
          Takeshi Shimoyama and   
          Masahiko Takenaka and   
                Takeshi Koshiba   Multiple Linear Cryptanalysis of a
                                  Reduced Round RC6  . . . . . . . . . . . 76
               Yongjin Yeom and   
               Sangwoo Park and   
                      Iljun Kim   On the Security of CAMELLIA against the
                                  Square Attack  . . . . . . . . . . . . . 89
            Kyungdeok Hwang and   
                  Wonil Lee and   
                Sungjae Lee and   
                Sangjin Lee and   
                     Jongin Lim   Saturation Attacks on Reduced Round
                                  Skipjack . . . . . . . . . . . . . . . . 100
               Lars Knudsen and   
                   David Wagner   Integral Cryptanalysis . . . . . . . . . 112
               Taizo Shirai and   
             Shoji Kanamaru and   
                     George Abe   Improved Upper Bounds of Differential
                                  and Linear Characteristic Probability
                                  for Camellia . . . . . . . . . . . . . . 128
                Ralph Wernsdorf   The Round Functions of RIJNDAEL Generate
                                  the Alternating Group  . . . . . . . . . 143
                Tetsu Iwata and   
           Tomonobu Yoshino and   
                 Kaoru Kurosawa   Non-cryptographic Primitive for
                                  Pseudorandom Permutation . . . . . . . . 149
                 Kevin Driscoll   BeepBeep: Embedded Real-Time Encryption  164
               Dai Watanabe and   
              Soichi Furuya and   
           Hirotaka Yoshida and   
             Kazuo Takaragi and   
                   Bart Preneel   A New Keystream Generator MUGI . . . . . 179
                Shai Halevi and   
            Don Coppersmith and   
                Charanjit Jutla   Scream: a Software-Efficient Stream
                                  Cipher . . . . . . . . . . . . . . . . . 195
              Patrik Ekdahl and   
               Thomas Johansson   Distinguishing Attacks on SOBER-t16 and
                                  t32  . . . . . . . . . . . . . . . . . . 210
              Markus Dichtl and   
             Marcus Schafheutle   Linearity Properties of the \em
                                  SOBER-t32 Key Loading  . . . . . . . . . 225
   Markku-Juhani Olavi Saarinen   A Time-Memory Tradeoff Attack Against
                                  LILI-128 . . . . . . . . . . . . . . . . 231
      Éliane Jaulmes and   
               Antoine Joux and   
 Frédéric Valette   On the Security of Randomized CBC-MAC
                                  Beyond the Birthday Paradox Limit: a New
                                  Construction . . . . . . . . . . . . . . 237
                 Daewan Han and   
               Sangwoo Park and   
                 Seongtaek Chee   Cryptanalysis of the Modified Version of
                                  the Hash Function Proposed at PKC'98 . . 252
                    John Kelsey   Compression and Information Leakage of
                                  Plaintext  . . . . . . . . . . . . . . . 263--276
                      Anonymous   Author Index . . . . . . . . . . . . . . 277


Lecture Notes in Computer Science
Volume 2366, 2002

        Marie-Christine Rousset   Knowledge Representation for Information
                                  Integration  . . . . . . . . . . . . . . 1
                   Katia Sycara   Infrastructure and Interoperability for
                                  Agent-Mediated Services  . . . . . . . . 4
    Stéphane Lallich and   
         Fabrice Muhlenbach and   
               Djamel A. Zighed   Improving Classification by Removing or
                                  Relabeling Mislabeled Instances  . . . . 5
           Marcus A. Maloof and   
           Ryszard S. Michalski   Incremental Learning with Partial
                                  Instance Memory  . . . . . . . . . . . . 16
         Dominik \'Sl\cezak and   
                Piotr Synak and   
       Alicja Wieczorkowska and   
        Jakub Wróblewski   KDD-Based Approach to Musical Instrument
                                  Sound Recognition  . . . . . . . . . . . 28
               Eric Breimer and   
                  Mark Goldberg   Learning Significant Alignments: An
                                  Alternative to Normalized Local
                                  Alignment  . . . . . . . . . . . . . . . 37
             Luigi Palopoli and   
          Giorgio Terracina and   
                Domenico Ursino   A Plausibility Description Logics for
                                  Reasoning with Information Sources
                                  Having Different Formats and Structures  46
                 Ning Zhong and   
             Norichika Hayazaki   Roles of Ontologies for Web Intelligence 55
          Zbigniew W. Ra\'s and   
         Agnieszka Dardzi\'nska   Handling Semantic Inconsistencies in
                                  Distributed Knowledge Systems Using
                                  Ontologies . . . . . . . . . . . . . . . 66
               Peter Eklund and   
                   Richard Cole   Structured Ontology and Information
                                  Retrieval for Email Search and Discovery 75
              Sally McClean and   
              Bryan Scotney and   
                   Fiona Palmer   Conceptual Clustering of Heterogeneous
                                  Sequences via Schema Mapping . . . . . . 85
           Roberto Esposito and   
                 Lorenza Saitta   Is a Greedy Covering Strategy an Extreme
                                  Boosting?  . . . . . . . . . . . . . . . 94
           Shigeaki Sakurai and   
              Yumi Ichimura and   
             Akihiro Suyama and   
                 Ryohei Orihara   Acquisition of a Knowledge Dictionary
                                  from Training Examples Including
                                  Multiple Values  . . . . . . . . . . . . 103
       Mieczys\law A. K\lopotek   Mining Bayesian Network Structure for
                                  Large Sets of Variables  . . . . . . . . 114
             Matthew Merzbacher   Automatic Generation of Trivia Questions 123
            Laurence Cholvy and   
              Christophe Garion   Answering Queries Addressed to Several
                                  Databases: a Query Evaluator which
                                  Implements a Majority Merging Approach   131
             Nicola Fanizzi and   
                Stefano Ferilli   Minimal Generalizations under
                                  OI-Implication . . . . . . . . . . . . . 140
             E. Di Sciascio and   
               F. M. Donini and   
                   M. Mongiello   I-Search: a System for Intelligent
                                  Information Search on the Web  . . . . . 149
              Mounia Lalmas and   
                Thomas Roelleke   Four-Valued Knowledge Augmentation for
                                  Representing Structured Documents  . . . 158
               Tomas Kroupa and   
                 Petr Berka and   
                    Tomas Kocka   WISECON --- An Intelligent Assistant for
                                  Buying Computers on the Internet . . . . 167
   Bart\lomiej \'Snie\.zy\'nski   Basic Semantics of the Logic of
                                  Plausible Reasoning  . . . . . . . . . . 176
                  Chun Ruan and   
         Vijay Varadharajan and   
                      Yan Zhang   Logic-Based Reasoning on Delegatable
                                  Authorizations . . . . . . . . . . . . . 185
               Patrick Bosc and   
                 Olivier Pivert   Mixing Selections and Foreign Key Joins
                                  in Queries against Possibilistic
                                  Databases  . . . . . . . . . . . . . . . 194
           Shingo Kashikawa and   
                Shogo Ogura and   
               Isamu Shioya and   
                    Takao Miura   Aggregates as Meta Functions . . . . . . 203
 M. Andrea Rodríguez and   
                  Marcela Varas   A Knowledge-Based Approach to Querying
                                  Heterogeneous Databases  . . . . . . . . 213
       Czes\law Dani\lowicz and   
               Huy Cuong Nguyen   Using User Profiles in Intelligent
                                  Information Retrieval  . . . . . . . . . 223
                   Tapio Elomaa   Partition-Refining Algorithms for
                                  Learning Finite State Automata . . . . . 232
               Marc Laporte and   
          Noël Novelli and   
           Rosine Cicchetti and   
                   Lotfi Lakhal   Computing Full and Iceberg Datacubes
                                  Using Partitions . . . . . . . . . . . . 244
             Erick Alphonse and   
                    Stan Matwin   A Dynamic Approach to Dimensionality
                                  Reduction in Relational Learning . . . . 255
             Vincent Dubois and   
               Mohamed Quafafou   Incremental and Dynamic Text Mining  . . 265
            Gianluigi Greco and   
               Sergio Greco and   
                  Ester Zumpano   A Logic Framework for the Integration of
                                  Databases  . . . . . . . . . . . . . . . 274
                James J. Lu and   
             Neil V. Murray and   
             Heydar Radjavi and   
             Erik Rosenthal and   
                Peter Rosenthal   Inference for Annotated Logics over
                                  Distributive Lattices  . . . . . . . . . 285
        Stefania Costantini and   
      Ramón P. Otero and   
        Alessandro Provetti and   
                    Tran C. Son   Disjunctive Logic Programs with
                                  Inheritance Revisited  . . . . . . . . . 294
                Ahti Pietarinen   Knowledge Constructions for Artificial
                                  Intelligence . . . . . . . . . . . . . . 303
                R. Djelouah and   
                   B. Duval and   
                     S. Loiseau   Validation and Reparation of Knowledge
                                  Bases  . . . . . . . . . . . . . . . . . 312
                Shusaku Tsumoto   Automated Discovery of Decision Rule
                                  Chains Using Rough Sets and Medical
                                  Diagnostic Model . . . . . . . . . . . . 321
 María-Cristina Riff and   
                Xavier Bonnaire   Inheriting Parents Operators: a New
                                  Dynamic Strategy for Improving
                                  Evolutionary Algorithms  . . . . . . . . 333
           Hiroshi Ishikawa and   
         Toshiyuki Nakajima and   
            Tokuyo Mizuhara and   
            Shohei Yokoyama and   
             Junya Nakayama and   
                Manabu Ohta and   
                 Kaoru Katayama   An Intelligent Web Recommendation
                                  System: a Web Usage Mining Approach  . . 342
Aurélien Bénel and   
          Sylvie Calabretto and   
    Andréa Iacovella and   
               Jean-Marie Pinon   Porphyry 2001: Semantics for Scholarly
                                  Publications Retrieval . . . . . . . . . 351
   Chitra Malini Thanapandi and   
          Aranya Walairacht and   
       Thanapandi Periasamy and   
                Shigeyuki Ohara   Preprocessor to Improve Performance of
                                  GA in Determining Bending Process for
                                  Sheet Metal Industry . . . . . . . . . . 362
           Attilio Giordana and   
           Paolo Terenziani and   
                    Marco Botta   Recognizing and Discovering Complex
                                  Events in Sequences  . . . . . . . . . . 374
       Marzena Kryszkiewicz and   
                   Marcin Gajek   Why to Apply Generalized
                                  Disjunction-Free Generators
                                  Representation of Frequent Patterns? . . 383
             Donato Malerba and   
            Annalisa Appice and   
          Michelangelo Ceci and   
              Marianna Monopoli   Trading-Off Local versus Global Effects
                                  of Regression Nodes in Model Trees . . . 393
            Byungyeon Hwang and   
                Euichan Kim and   
                      Bogju Lee   An Efficient Intelligent Agent System
                                  for Automated Recommendation in
                                  Electronic Commerce  . . . . . . . . . . 403
              Elisa Bertino and   
          Giovanna Guerrini and   
                   Marco Mesiti   Matching an XML Document against a Set
                                  of DTDs  . . . . . . . . . . . . . . . . 412
            Fadila Bentayeb and   
    Jérôme Darmont   Decision Tree Modeling with Relational
                                  Views  . . . . . . . . . . . . . . . . . 423
            Sherri K. Harms and   
            Jitender Deogun and   
                Tsegaye Tadesse   Discovering Sequential Association Rules
                                  with Constraints and Time Lags in
                                  Multiple Sequences . . . . . . . . . . . 432
            Salvatore Greco and   
            Roman Slowinski and   
              Jerzy Stefanowski   Mining Association Rules in
                                  Preference-Ordered Data  . . . . . . . . 442
                     Ivan Bruha   Unknown Attribute Values Processing by
                                  Meta-learner . . . . . . . . . . . . . . 451
              Yeonseung Ryu and   
             Kyoungwoon Cho and   
                 Youjip Won and   
                       Kern Koh   Intelligent Buffer Cache Management in
                                  Multimedia Data Retrieval  . . . . . . . 462
                  Antonio Badia   A Logical Formalization of
                                  Semistructured Data Models . . . . . . . 472
              David Camacho and   
      José M. Molina and   
             Daniel Borrajo and   
                   Ricardo Aler   Solving Travel Problems by Integrating
                                  WEB Information with Planning  . . . . . 482
        Cécile Aberg and   
                Nahid Shahmehri   A Framework for Generating Task Specific
                                  Information Extraction Systems . . . . . 491
             Andrea Cal\`\i and   
            Diego Calvanese and   
        Giuseppe De Giacomo and   
             Maurizio Lenzerini   A Formal Framework for Reasoning on UML
                                  Class Diagrams . . . . . . . . . . . . . 503
                 Kevin Deeb and   
                   Steven Lewis   A Biological Approach to the Development
                                  of Computer Autoimmune Systems . . . . . 514
             Donato Malerba and   
          Floriana Esposito and   
                Oronzo Altamura   Adaptive Layout Analysis of Document
                                  Images . . . . . . . . . . . . . . . . . 526
       Berardina De Carolis and   
              Francesca A. Lisi   A NLG-Based Presentation Method for
                                  Supporting KDD End-Users . . . . . . . . 535
              R. M. Simpson and   
                T. L. McCluskey   A Tool Supported Structured Method for
                                  Planning Domain Acquisition  . . . . . . 544
                Robert Ross and   
         V. S. Subrahmanian and   
                     John Grant   Probabilistic Aggregates . . . . . . . . 553
           Fabien De Marchi and   
      Stéphane Lopes and   
                Jean-Marc Petit   Samples for Understanding Data-Semantics
                                  in Relations . . . . . . . . . . . . . . 565
          Floriana Esposito and   
            Stefano Ferilli and   
             Nicola Fanizzi and   
Teresa Maria Altomare Basile and   
                Nicola Di Mauro   Cooperation of Multiple Strategies for
                                  Automated Learning in Complex
                                  Environments . . . . . . . . . . . . . . 574
                  Eunju Kim and   
                  Wooju Kim and   
                  Yillbyung Lee   Classifier Fusion Using Local Confidence 583
             Alexey Tsymbal and   
             Seppo Puuronen and   
                David Patterson   Feature Selection for Ensembles of
                                  Simple Bayesian Classifiers  . . . . . . 592
            Shutaro Inatani and   
                Einoshin Suzuki   Data Squashing for Speeding Up
                                  Boosting-Based Outlier Detection . . . . 601
                      Anonymous   Author Index . . . . . . . . . . . . . . 613


Lecture Notes in Computer Science
Volume 2367, 2002

                   Xing Cai and   
              Glenn Terje Lines   Enabling Numerical and Software
                                  Technologies for Studying the Electrical
                                  Activity in Human Heart  . . . . . . . . 3
                  J. Cebral and   
             R. Löhner and   
               P. L. Choyke and   
                      P. J. Yim   Parallel Patient-Specific Computational
                                  Haemodynamics  . . . . . . . . . . . . . 18
                  Jack Dongarra   High Performance Computing,
                                  Computational Grid, and Numerical
                                  Libraries  . . . . . . . . . . . . . . . 35
           Gregor von Laszewski   Grid Computing: Enabling a Vision for
                                  Collaborative Research . . . . . . . . . 37
                  Jamshed Mirza   HPC --- What Might the Future Hold?  . . 53
                 R. M. Nieminen   Multi-physics and Multi-scale Modelling
                                  of Materials Processing  . . . . . . . . 55
                      John Reid   Co-array Fortran for Full and Sparse
                                  Matrices . . . . . . . . . . . . . . . . 61
               Paolo Sibani and   
               J. C. Schön   Measuring the Local Geometry of Valleys
                                  in Complex Energy Landscapes by
                                  Exhaustive Exploration: The Lid Method   62
 A. Wäänänen and   
                  M. Ellert and   
            A. Konstantinov and   
            B. Kónya and   
                    O. Smirnova   An Overview of an Architecture Proposal
                                  for a High Energy Physics Grid . . . . . 76
       Mafruz Zaman Ashrafi and   
               David Taniar and   
                  Kate A. Smith   A Data Mining Architecture for Clustered
                                  Environments . . . . . . . . . . . . . . 89
                     Tom Dhaene   Automated Fitting and Rational Modeling
                                  Algorithm for EM-Based S-Parameter Data  99
                   Zhen Liu and   
                      Minyi Guo   A Proposal of High Performance Data
                                  Mining System  . . . . . . . . . . . . . 106
             Kwok Yip Szeto and   
                      Rui Jiang   A Quasi-Parallel Realization of the
                                  Investment Frontier in Computer Resource
                                  Allocation Using Simple Genetic
                                  Algorithm on a Single Computer . . . . . 116
                 Domenico Talia   Parallelism in Knowledge Discovery
                                  Techniques . . . . . . . . . . . . . . . 127
           Susanne M. Balle and   
             Bevin R. Brett and   
             Chih-Ping Chen and   
          David LaFrance-Linden   A New Approach to Parallel Debugger
                                  Architecture . . . . . . . . . . . . . . 139
           Beniamino Di Martino   ALCOR --- An Algorithmic Concept
                                  Recognition Tool to Support High Level
                                  Parallel Program Development . . . . . . 150
            Pentti Huttunen and   
               Jouni Ikonen and   
                    Jari Porras   MPIT --- Communication/Computation
                                  Paradigm for Networks of SMP
                                  Workstations . . . . . . . . . . . . . . 160
            Norbert A. Pilz and   
                Kenneth Adamson   Code Optimization Techniques of
                                  Data-Intensive Tasks onto Statically
                                  Scheduled Architectures: Optimal
                                  Performance on the TigerSharc  . . . . . 172
           Fabrizio Baiardi and   
                 Paolo Mori and   
                    Laura Ricci   PIT: a Library for the Parallelization
                                  of Irregular Problems  . . . . . . . . . 185
                   Yoojin Chung   Parallel Information Retrieval with
                                  Query Expansion  . . . . . . . . . . . . 195
                  Minyi Guo and   
                   Zhen Liu and   
               Chengfei Liu and   
                          Li Li   Reducing Communication Cost for
                                  Parallelizing Irregular Scientific Codes 203
              Nung Kion Lee and   
               David Taniar and   
            J. Wenny Rahayu and   
           Mafruz Zaman Ashrafi   Implementation of Parallel Collection
                                  Equi-Join Using MPI  . . . . . . . . . . 217
                  Willem Vermin   Practical Experiences in Parallelizing
                                  Existent Computer Programs . . . . . . . 227
               Rocco Aversa and   
       Beniamino Di Martino and   
           Thomas Fahringer and   
          Salvatore Venticinque   On the Evaluation of the Distributed
                                  Objects and Mobile Agents Programming
                                  Models for a Distributed Optimization
                                  Application  . . . . . . . . . . . . . . 233
                 Seema Bawa and   
                   G. K. Sharma   A Parallel Transitive Closure
                                  Computation Algorithm for VLSI Test
                                  Generation . . . . . . . . . . . . . . . 243
               Keum-Sook Ha and   
              Eun-Kyung Ryu and   
                  Kee-Young Yoo   Space-Efficient First Race Detection in
                                  Shared Memory Programs with Nested
                                  Parallelism  . . . . . . . . . . . . . . 253
              Eun-Kyung Ryu and   
               Keum-Sook Ha and   
                  Kee-Young Yoo   A Practical Method for On-the-Fly Data
                                  Race Detection . . . . . . . . . . . . . 264
        Samuel Moon-Ho Song and   
                  Gunho Lee and   
               Sunghyun Kim and   
                 Manhee Lee and   
               Hyeokman Kim and   
                  Dong-Sik Jang   Parallelisms in MPEG and Its
                                  Applications to $3$-D Visualization  . . 274
         Bjarne S. Andersen and   
            John A. Gunnels and   
             Fred Gustavson and   
               Jerzy Wasniewski   A Recursive Formulation of the Inversion
                                  of Symmetric Positive Definite Matrices
                                  in Packed Storage Data Format  . . . . . 287
               Isak Jonsson and   
         Bo Kågström   Parallel Two-Sided Sylvester-Type Matrix
                                  Equation Solvers for SMP Systems Using
                                  Recursive Blocking . . . . . . . . . . . 297
          Markus Kowarschik and   
           Ulrich Rüde and   
           Nils Thürey and   
           Christian Weiß   Performance Optimization of $3$D
                                  Multigrid on Hierarchical Memory
                                  Architectures  . . . . . . . . . . . . . 307
       Björn Adlerborn and   
           Krister Dackland and   
         Bo Kågström   Parallel and Blocked Algorithms for
                                  Reduction of a Regular Matrix Pair to
                                  Hessenberg-Triangular and Generalized
                                  Schur Forms  . . . . . . . . . . . . . . 319
               Peter Benner and   
                Rafael Mayo and   
Enrique S. Quintana-Ortí and   
  Gregorio Quintana-Ortí   Enhanced Services for Remote Model
                                  Reduction of Large-Scale Dense Linear
                                  Systems  . . . . . . . . . . . . . . . . 329
               Harri Hakula and   
           Juha Ruokolainen and   
                  Jouni Malinen   HUTI: Framework for Iterative Solvers    339
                  Hsin-Chu Chen   A Block Fourier Decomposition Method . . 351
                 Kyo-Min Ku and   
              Kyeoung-Ju Ha and   
              Hyun-Sung Kim and   
                  Kee-Young Yoo   New Parallel Architecture for Modular
                                  Multiplication and Squaring Based on
                                  Cellular Automata  . . . . . . . . . . . 359
                Anssi Lensu and   
              Pasi Koikkalainen   A Parallel Implementation of the
                                  Tree-Structured Self-Organizing Map  . . 370
              Daisuke Takahashi   A Blocking Algorithm for Parallel $1$-D
                                  FFT on Shared-Memory Parallel Computers  380
            Volodymyr Beletskyy   A Technique for Parallel Loop Execution  393
            Xavier Bonnaire and   
     María-Cristina Riff   A Self-Adaptable Distributed
                                  Evolutionary Algorithm to Tackle Space
                                  Planning Problems  . . . . . . . . . . . 403
  G. Cerruela García and   
   E. López Espinosa and   
              I. Luque Ruiz and   
       M. A. Gómez-Nieto   Efficient Parallel Solution to Calculate
                                  All Cycles in Graphs . . . . . . . . . . 411
                  C. Banino and   
                O. Beaumont and   
                 A. Legrand and   
                      Y. Robert   Scheduling Strategies for Master-Slave
                                  Tasking on Heterogeneous Processor Grids 423
                 Anne C. Elster   High-Performance Computing: Past,
                                  Present, and Future  . . . . . . . . . . 433
                  Paul Sack and   
                 Anne C. Elster   Fast MPI Broadcasts through Reliable
                                  Multicasting . . . . . . . . . . . . . . 445
          Timm M. Steinbeck and   
        Volker Lindenstruth and   
        Dieter Röhrich and   
       Anders Strand Vestbo and   
                  Arne Wiebalck   A Framework for Building Distributed
                                  Data Flow Chains in Clusters . . . . . . 454
              Ulf Andersson and   
                 Fredrik Hedman   Performance of an IBM Pwr4 Node for the
                                  GEMS TD Codes and Parallacs  . . . . . . 467
José Carlos Mouriño and   
   Patricia González and   
María J. Martín and   
            Ramón Doallo   A Cluster-Based Solution for a High
                                  Performance Air Quality Simulation . . . 476
           Kirilka Nikolova and   
                Sou Pei You and   
                  Masahiro Sowa   Compiler-Controlled
                                  Parallelism-Independent Scheduling for
                                  Parallel and Distributed Systems . . . . 484
                 Xiangzhen Qiao   Optimization of Parallel Algorithms on
                                  Cluster of SMP's . . . . . . . . . . . . 494
             Nasser S. Fard and   
                  Indra Gunawan   Reliability Bounds for Large Multistage
                                  Interconnection Networks . . . . . . . . 507
               Y. P. Galyuk and   
             V. P. Memnonov and   
           S. E. Zhuravleva and   
                V. I. Zolotarev   Grid Technology with Dynamic Load
                                  Balancing for Monte Carlo Simulations    515
        Christopher Goodyer and   
                 Jason Wood and   
                 Martin Berzins   A Parallel Grid Based PSE for EHL
                                  Problems . . . . . . . . . . . . . . . . 521
    Mohammad R. Salehnamadi and   
             Mehdi N. Fesharaki   A ``Single-Box'' Re-routing Architecture
                                  for a $3$-Stage Rearrangeable CLOS
                                  Interconnection Networks . . . . . . . . 531
            Pentti Huttunen and   
               Jouni Ikonen and   
                    Jari Porras   Enhancing Load Balancing in a
                                  Data-Parallel GSM Network Simulation
                                  through Application-Specific Information 542
            Peter Diamessis and   
             William Kerney and   
             Scott B. Baden and   
                   Keiko Nomura   Automated Tracking of $3$-D Overturn
                                  Patches in Direct Numerical Simulation
                                  of Stratified Homogeneous Turbulence . . 557
             Jussi Heikonen and   
                   Kalle Eerola   Improving Load Balance in a Weather
                                  Code: Asynchronous Output in HIRLAM with
                                  MPI  . . . . . . . . . . . . . . . . . . 567
Frédéric Lhommé and   
     Delphine Wolfersberger and   
     Stéphane Vialle and   
            Nicolas Fressengeas   Parallel Simulation of Photorefractive
                                  Material for the Design of All-Optical
                                  Components . . . . . . . . . . . . . . . 578
                P. Raghavan and   
                M. A. James and   
               J. C. Newman and   
                 B. R. Seshadri   Scalable Sparse Matrix Techniques for
                                  Modeling Crack Growth  . . . . . . . . . 588
                   Tomi Suviola   Parallelization of a Lattice Boltzmann
                                  Suspension Flow Solver . . . . . . . . . 603
                      Anonymous   Author Index . . . . . . . . . . . . . . 611


Lecture Notes in Computer Science
Volume 2368, 2002

             Torben Hagerup and   
                   Rajeev Raman   An Efficient Quasidictionary . . . . . . 1
                 Heikki Mannila   Combining Pattern Discovery and
                                  Probabilistic Modeling in Data Mining    19
            Stephen Alstrup and   
Gerth Stòlting Brodal and   
       Inge Li Gòrtz and   
                    Theis Rauhe   Time and Space Efficient Multi-method
                                  Dispatching  . . . . . . . . . . . . . . 20
          John E. Augustine and   
               Steven S. Seiden   Linear Time Approximation Schemes for
                                  Vehicle Scheduling . . . . . . . . . . . 30
               Clint Hepner and   
                    Cliff Stein   Minimizing Makespan for the Lazy
                                  Bureaucrat Problem . . . . . . . . . . . 40
            Monaldo Mastrolilli   A PTAS for the Single Machine Scheduling
                                  Problem with Controllable Processing
                                  Times  . . . . . . . . . . . . . . . . . 51
              Stephan Eidenbenz   Optimum Inapproximability Results for
                                  Finding Minimum Hidden Guard Sets in
                                  Polygons and Terrains  . . . . . . . . . 60
          Partha P. Goswami and   
                 Sandip Das and   
                Subhas C. Nandy   Simplex Range Searching and $k$ Nearest
                                  Neighbors of a Line Segment in $2$D  . . 69
       Christos Levcopoulos and   
             Andrzej Lingas and   
          Joseph S. B. Mitchell   Adaptive Algorithms for Constructing
                                  Convex Hulls and Triangulations of
                                  Polygonal Chains . . . . . . . . . . . . 80
             Nissan Lev-Tov and   
                    David Peleg   Exact Algorithms and Approximation
                                  Schemes for Base Station Placement
                                  Problems . . . . . . . . . . . . . . . . 90
              Zhongping Qin and   
                     Binhai Zhu   A Factor-2 Approximation for Labeling
                                  Points with Maximum Sliding Labels . . . 100
                Sasanka Roy and   
          Partha P. Goswami and   
                 Sandip Das and   
                Subhas C. Nandy   Optimal Algorithm for a Special
                                  Point-Labeling Problem . . . . . . . . . 110
              Peter Sanders and   
          Berthold Vöcking   Random Arc Allocation and Applications   121
               Micha Sharir and   
            Shakhar Smorodinsky   On Neighbors in Geometric Permutations   131
             Geir Agnarsson and   
            Peter Damaschke and   
Magnús M. Halldórsson   Powers of Geometric Intersection Graphs
                                  and Dispersion Algorithms  . . . . . . . 140
               Jochen Alber and   
         Michael R. Fellows and   
               Rolf Niedermeier   Efficient Data Reduction for DOMINATING
                                  SET: a Linear Problem Kernel for the
                                  Planar Case  . . . . . . . . . . . . . . 150
              Hajo Broersma and   
             Fedor V. Fomin and   
      Jan Kratochvíl and   
           Gerhard J. Woeginger   Planar Graph Coloring with Forbidden
                                  Subgraphs: Why Trees and Paths Are
                                  Dangerous  . . . . . . . . . . . . . . . 160
    Miroslav Chlebík and   
 Janka Chlebíková   Approximation Hardness of the Steiner
                                  Tree Problem on Graphs . . . . . . . . . 170
                   J. Ellis and   
                     H. Fan and   
             Michael R. Fellows   The Dominating Set Problem Is Fixed
                                  Parameter Tractable for Graphs of
                                  Bounded Genus  . . . . . . . . . . . . . 180
            Harold N. Gabow and   
                    Seth Pettie   The Dynamic Vertex Minimum Problem and
                                  Its Application to Clustering-Type
                                  Approximation Algorithms . . . . . . . . 190
         Alexander Golynski and   
               Joseph D. Horton   A Polynomial Time Algorithm to Find the
                                  Minimum Cycle Basis of a Regular Matroid 200
       Jochen Könemann and   
                  Yanjun Li and   
                Ojas Parekh and   
                  Amitabh Sinha   Approximation Algorithms for
                                  Edge-Dilation $k$-Center Problems  . . . 210
                Sarnath Ramnath   Forewarned Is Fore-Armed: Dynamic
                                  Digraph Connectivity with Lookahead
                                  Speeds Up a Static Clustering Algorithm  220
                 Ron Shamir and   
                     Dekel Tsur   Improved Algorithms for the Random
                                  Cluster Graph Model  . . . . . . . . . . 230
         San Skulrattanakulchai   $ \Delta $-List Vertex Coloring in
                                  Linear Time  . . . . . . . . . . . . . . 240
            Erik D. Demaine and   
Alejandro López-Ortiz and   
                   J. Ian Munro   Robot Localization without Depth
                                  Perception . . . . . . . . . . . . . . . 249
Alejandro López-Ortiz and   
                 Sven Schuierer   Online Parallel Heuristics and Robot
                                  Searching under the Competitive
                                  Framework  . . . . . . . . . . . . . . . 260
      Marcelo O. Sztainberg and   
            Esther M. Arkin and   
          Michael A. Bender and   
          Joseph S. B. Mitchell   Analysis of Heuristics for the
                                  Freeze-Tag Problem . . . . . . . . . . . 270
            Esther M. Arkin and   
              Refael Hassin and   
          Shlomi Rubinstein and   
               Maxim Sviridenko   Approximations for Maximum
                                  Transportation Problem with Permutable
                                  Supply Vector and Other Capacitated Star
                                  Packing Problems . . . . . . . . . . . . 280
                 Yossi Azar and   
               Leah Epstein and   
              Yossi Richter and   
           Gerhard J. Woeginger   All-Norm Approximation Algorithms  . . . 288
            Cristina Bazgan and   
    W. Fernandez de la Vega and   
                Marek Karpinski   Approximability of Dense Instances of
                                  NEAREST CODEWORD Problem . . . . . . . . 298
               R. Sai Anand and   
            Thomas Erlebach and   
             Alexander Hall and   
            Stamatis Stefanakos   Call Control with $k$ Rejections . . . . 308
                   Guy Even and   
               Guy Kortsarz and   
                 Wolfgang Slany   On Network Design Problems: Fixed Cost
                                  Flows and the Covering Steiner Problem   318
        Jens S. Frederiksen and   
                  Kim S. Larsen   Packet Bundling  . . . . . . . . . . . . 328
                  Anuj Puri and   
               Stavros Tripakis   Algorithms for the Multi-constrained
                                  Routing Problem  . . . . . . . . . . . . 338
      Juha Kärkkäinen   Computing the Threshold for $q$-Gram
                                  Filters  . . . . . . . . . . . . . . . . 348
                Itsik Pe'er and   
                 Ron Shamir and   
                   Roded Sharan   On the Generality of Phylogenies from
                                  Incomplete Directed Characters . . . . . 358
               M. H. Albert and   
                 M. D. Atkinson   Sorting with a Forklift  . . . . . . . . 368
         Hans L. Bodlaender and   
                 Fedor V. Fomin   Tree Decompositions with Small Cost  . . 378
         Hans L. Bodlaender and   
                     Udi Rotics   Computing the Treewidth and the Minimum
                                  Fill-in with the Modular Decomposition   388
           Jyrki Katajainen and   
            Jeppe Nejsum Madsen   Performance Tuning an Algorithm for
                                  Compressing Relational Tables  . . . . . 398
           Jyrki Katajainen and   
                Tomi A. Pasanen   A Randomized In-Place Algorithm for
                                  Positioning the $ k^{\rm th} $ Element
                                  in a Multiset  . . . . . . . . . . . . . 408
                    Tony W. Lai   Paging on a RAM with Limited Resources   418
         A. Dal Palú and   
                E. Pontelli and   
                      D. Ranjan   An Optimal Algorithm for Finding NCA on
                                  Pure Pointer Machines  . . . . . . . . . 428
    Eljas Soisalon-Soininen and   
                 Peter Widmayer   Amortized Complexity of Bulk Updates in
                                  AVL-Trees  . . . . . . . . . . . . . . . 439
                      Anonymous   Author Index . . . . . . . . . . . . . . 449


Lecture Notes in Computer Science
Volume 2369, 2002

                Manjul Bhargava   Gauss Composition and Generalizations    1
                    John Coates   Elliptic Curves -- The Crossroads of
                                  Theory and Computation . . . . . . . . . 9
                   Antoine Joux   The Weil and Tate Pairings as Building
                                  Blocks for Public Key Cryptosystems  . . 20
                   Bjorn Poonen   Using Elliptic Curves of Rank One
                                  towards the Undecidability of Hilbert's
                                  Tenth Problem over Rings of Algebraic
                                  Integers . . . . . . . . . . . . . . . . 33
                 Takakazu Satoh   On $p$-adic Point Counting Algorithms
                                  for Elliptic Curves over Finite Fields   43
                 Wieb Bosma and   
                   Bart de Smit   On Arithmetically Equivalent Number
                                  Fields of Small Degree . . . . . . . . . 67
                Henri Cohen and   
      Francisco Diaz y Diaz and   
                 Michel Olivier   A Survey of Discriminant Counting  . . . 80
             Graham Everest and   
               Peter Rogers and   
                    Thomas Ward   A Higher-Rank Mersenne Problem . . . . . 95
             Takashi Fukuda and   
                Keiichi Komatsu   An Application of Siegel Modular
                                  Functions to Kronecker's Limit Formula   108
   Michael J. Jacobson, Jr. and   
      Alfred J. van der Poorten   Computational Aspects of NUCOMP  . . . . 120
   Stéphane R. Louboutin   Efficient Computation of Class Numbers
                                  of Real Abelian Number Fields  . . . . . 134
                 Ulrich Vollmer   An Accelerated Buchmann Algorithm for
                                  Regulator Computation in Real Quadratic
                                  Fields . . . . . . . . . . . . . . . . . 148
                Roland Auer and   
                       Jaap Top   Some Genus 3 Curves with Many Points . . 163
                 Nils Bruin and   
                 Noam D. Elkies   Trinomials $ a x^7 + b x + c $ and $ a
                                  x^8 + b x + c $ with Galois Groups of
                                  Order $ 168 $ and $ 8 \cdot 168 $  . . . 172
Enrique González-Jiménez and   
      Josep González and   
                Jordi Gu\`ardia   Computations on Modular Jacobian
                                  Surfaces . . . . . . . . . . . . . . . . 189
              Andrew Kresch and   
                 Yuri Tschinkel   Integral Points on Punctured Abelian
                                  Surfaces . . . . . . . . . . . . . . . . 198
                    Tony Shaska   Genus $2$ Curves with $ (3, 3) $-Split
                                  Jacobian and Large Automorphism Group    205
              Helena A. Verrill   Transportable Modular Symbols and the
                                  Intersection Pairing . . . . . . . . . . 219
       Jean-Marc Couveignes and   
                 Thierry Henocq   Action of Modular Correspondences around
                                  CM Points  . . . . . . . . . . . . . . . 234
                 Noam D. Elkies   Curves $ D y^2 = x^3 $ --- $x$ of Odd
                                  Analytic Rank  . . . . . . . . . . . . . 244--251
               Andreas Enge and   
         François Morain   Comparing Invariants for Class Fields of
                                  Imaginary Quadratic Fields . . . . . . . 252
           William A. Stein and   
                   Mark Watkins   A Database of Elliptic Curves --- First
                                  Report . . . . . . . . . . . . . . . . . 267
           Mireille Fouquet and   
         François Morain   Isogeny Volcanoes and the SEA Algorithm  276
              Hae Young Kim and   
             Jung Youl Park and   
             Jung Hee Cheon and   
               Je Hong Park and   
               Jae Heon Kim and   
                 Sang Geun Hahn   Fast Elliptic Curve Point Counting Using
                                  Gaussian Normal Basis  . . . . . . . . . 292
                  Jan Denef and   
           Frederik Vercauteren   An Extension of Kedlaya's Algorithm to
                                  Artin--Schreier Curves in Characteristic
                                  $2$  . . . . . . . . . . . . . . . . . . 308
        Steven D. Galbraith and   
             Keith Harrison and   
                  David Soldera   Implementing the Tate Pairing  . . . . . 324
             Carl Pomerance and   
            Igor E. Shparlinski   Smooth Orders and Cryptographic
                                  Applications . . . . . . . . . . . . . . 338
        Igor E. Shparlinski and   
                  Ron Steinfeld   Chinese Remaindering for Algebraic
                                  Numbers in a Hidden Field  . . . . . . . 349
                   Florian Hess   An Algorithm for Computing Weierstrass
                                  Points . . . . . . . . . . . . . . . . . 357
            Wen-Ching W. Li and   
              Hiren Maharaj and   
        Henning Stichtenoth and   
                 Noam D. Elkies   New Optimal Tame Towers of Function
                                  Fields over Small Finite Fields  . . . . 372
  Alfred J. van der Poorten and   
               Xuan Chuong Tran   Periodic Continued Fractions in Elliptic
                                  Function Fields  . . . . . . . . . . . . 390
                  Joshua Holden   Fixed Points and Two-Cycles of the
                                  Discrete Logarithm . . . . . . . . . . . 405
             Jeremy Horwitz and   
         Ramarathnam Venkatesan   Random Cayley Digraphs and the Discrete
                                  Logarithm  . . . . . . . . . . . . . . . 416
               Antoine Joux and   
                Reynald Lercier   The Function Field Sieve Is Quite
                                  Special  . . . . . . . . . . . . . . . . 431
               Paul Leyland and   
              Arjen Lenstra and   
               Bruce Dodson and   
               Alec Muffett and   
                   Sam Wagstaff   MPQS with Three Large Primes . . . . . . 446
              Kazuto Matsuo and   
                Jinhui Chao and   
                  Shigeo Tsujii   An Improved Baby Step Giant Step
                                  Algorithm for Point Counting of
                                  Hyperelliptic Curves over Finite Fields  461
              Peter Ebinger and   
                    Edlyn Teske   Factoring $ N = p q $ with the Elliptic
                                  Curve Method . . . . . . . . . . . . . . 475
                    Allan Steel   A New Scheme for Computing with
                                  Algebraically Closed Fields  . . . . . . 491
               J. Maurice Rojas   Additive Complexity and Roots of
                                  Polynomials over Number Fields and $
                                  \mathfrak {p} $-adic Fields  . . . . . . 506
                      Anonymous   Author Index . . . . . . . . . . . . . . 517