Last update: Sat May 2 17:29:27 MDT 2020
Volume 2330, 2002V. 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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