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