Last update:
Mon Feb 16 11:17:04 MST 2004
Dieter Rombach Guaranteed Software Quality . . . . . . 1
Victor Basili Building an Experience Base for Software
Engineering: A Report on the First
CeBASE eWorkshop . . . . . . . . . . . . 3
Werner Mellis A Contingency Approach to Software
Development . . . . . . . . . . . . . . 4
Mary Shaw Career-Long Education for Software
Professionals: A US View of the
Educational Challenges in a
Rapidly-Changing Technology . . . . . . 5
Bernard Wong and
Ross Jeffery Cognitive Structures of Software
Evaluation: A Means-End Chain Analysis
of Quality . . . . . . . . . . . . . . . 6
Stuart Anderson and
Massimo Felici Requirements Evolution from Process to
Product Oriented Management . . . . . . 27
Josef Nedstam and
Martin Höst and
Björn Regnell and
Jennie Nilsson A Case Study on Scenario-Based Process
Flexibility Assessment for Risk
Reduction . . . . . . . . . . . . . . . 42
V. Seppänen and
S. Komi-Sirviö and
A. Mäntyniemi and
T. Rahikkala and
M. Pikkarainen Contexts of KM Based SPI: The Case of
Software Design Experience Reuse . . . . 57
Marion Lepasaar and
Timo Varkoi and
Hannu Jaakkola Models and Success Factors of Process
Change . . . . . . . . . . . . . . . . . 68
Karl Lebsanft Process Improvement in Turbulent Times
--- Is CMM Still an Answer ? . . . . . . 78
Macario Polo and
Mario Piattini and
Francisco Ruiz and
Mar Jiménez Assessment of Maintenance Maturity in IT
Departments of Public Entities: Two Case
Studies . . . . . . . . . . . . . . . . 86
Netta Iivari and
Timo Jokela Evaluating a Usability Capability
Assessment . . . . . . . . . . . . . . . 98
Victor Basili and
Roseanne Tesoriero and
Patricia Costa and
Mikael Lindvall and
Ioana Rus and
Forrest Shull and
Marvin Zelkowitz Building an Experience Base for Software
Engineering: A Report on the First
CeBASE eWorkshop . . . . . . . . . . . . 110
Kurt Schneider Experience Magnets: Attracting
Experiences, Not Just Storing Them . . . 126
Timo Kucza and
Minna Nättinen and
Päivi Parviainen Improving Knowledge Management in
Software Reuse Process . . . . . . . . . 141
Christof Nagel Processes and Knowledge Management: A
Symbiosis . . . . . . . . . . . . . . . 153
Torgeir Dingsòyr and
Nils Brede Moe and
Òystein Nytrò Augmenting Experience Reports with
Lightweight Postmortem Reviews . . . . . 167
Scott Henninger and
Jason Schlabach A Tool for Managing Software Development
Knowledge . . . . . . . . . . . . . . . 182
Marjo Kauppinen and
Sari Kujala Starting Improvement of Requirements
Engineering Processes: An Experience
Report . . . . . . . . . . . . . . . . . 196
Karen Allenby and
Simon Burton and
Darren Buttle and
John McDermid and
John Murdoch and
Alan Stephenson and
Mike Bardill and
Stuart Hutchesson A Family-Oriented Software Development
Process for Engine Controllers . . . . . 210
Peter Fröhlich and
Horst Lichter and
Manfred Zeller Enabling Local SPI in a Multi-national
Company . . . . . . . . . . . . . . . . 227
Ton Dekkers Project Improvement as Start-Up . . . . 240
Jörg Zettel and
Frank Maurer and
Jürgen Münch and
Les Wong LIPE: A Lightweight Process for
E-business Startup Companies Based on
Extreme Programming . . . . . . . . . . 255
M. Letizia Jaccheri and
Tor Stålhane Evaluation of the E3 Process Modelling
Language and Tool for the Purpose of
Model Creation . . . . . . . . . . . . . 271
Harald Störrle Describing Fractal Processes with UML 282
Renata Araujo and
Marcos Borges Extending the Software Process Culture
--- An Approach Based on Groupware and
Workflow . . . . . . . . . . . . . . . . 297
Ulrike Becker-Kornstaedt Towards Systematic Knowledge Elicitation
for Descriptive Software Process
Modeling . . . . . . . . . . . . . . . . 312
Michael Gnatz and
Frank Marschall and
Gerhard Popp and
Andreas Rausch and
Wolfgang Schwerin Modular Process Patterns Supporting an
Evolutionary Software Development
Process . . . . . . . . . . . . . . . . 326
Per Runeson and
Magnus C. Ohlsson and
Claes Wohlin A Classification Scheme for Studies on
Fault-Prone Components . . . . . . . . . 341
Lars Bratthall and
Erik Arisholm and
Magne Jòrgensen Program Understanding Behavior during
Estimation of Enhancement Effort on
Small Java Programs . . . . . . . . . . 356
Hikaru Fujiwara and
Shinji Kusumoto and
Katsuro Inoue and
Toshifusa Ootsubo and
Katsuhiko Yuura Evaluation of a Business Application
Framework Using Complexity and
Functionality Metrics . . . . . . . . . 371
Anonymous Author Index . . . . . . . . . . . . . . 381
Elizabeth Bradley and
Nancy Collins and
W. Philip Kegelmeyer Feature Characterization in Scientific
Datasets . . . . . . . . . . . . . . . . 1
Luis M. de Campos and
Juan M. Fernández-Luna and
Juan F. Huete Relevance Feedback in the Bayesian
Network Retrieval Model: An Approach
Based on Term Instantiation . . . . . . 13
Anne Laurent Generating Fuzzy Summaries from Fuzzy
Multidimensional Databases . . . . . . . 24
Andrew Estabrooks and
Nathalie Japkowicz A Mixture-of-Experts Framework for
Learning from Imbalanced Data Sets . . . 34
Achim Lewandowski and
Peter Protzel Predicting Time-Varying Functions with
Local Models . . . . . . . . . . . . . . 44
Cen Li and
Gautam Biswas and
Mike Dale and
Pat Dale Building Models of Ecological Dynamics
Using HMM Based Temporal Data Clustering
--- A Preliminary Study . . . . . . . . 53
Nuno C. Marques and
Gabriel Pereira Lopes Tagging with Small Training Corpora . . 63
Udo Hahn and
Martin Honeck and
Stefan Schulz A Search Engine for Morphologically
Complex Languages . . . . . . . . . . . 73
Renato Bruni and
Antonio Sassano Errors Detection and Correction in Large
Scale Data Collecting . . . . . . . . . 84
Fernando Berzal and
Ignacio Blanco and
Daniel Sánchez and
María-Amparo Vila A New Framework to Assess Association
Rules . . . . . . . . . . . . . . . . . 95
Corinna Cortes and
Daryl Pregibon and
Chris Volinsky Communities of Interest . . . . . . . . 105
Alexander K. Seewald and
Johannes Fürnkranz An Evaluation of Grading Classifiers . . 115
Frank Höppner and
Frank Klawonn Finding Informative Rules in Interval
Sequences . . . . . . . . . . . . . . . 125
Seppo Puuronen and
Alexey Tsymbal and
Iryna Skrypnyk Correlation-Based and Contextual
Merit-Based Ensemble Feature Selection 135
Michiel C. van Wezel and
Walter A. Kosters and
Peter van der Putten and
Joost N. Kok Nonmetric Multidimensional Scaling with
Neural Networks . . . . . . . . . . . . 145
João Gama Functional Trees for Regression . . . . 156
José Tomé A. S. Ferreira and
David G. T. Denison and
David J. Hand Data Mining with Products of Trees . . . 167
Masahiro Terabe and
Takashi Washio and
Hiroshi Motoda $S^3$ Bagging: Fast Classifier Induction
Method with Subsampling and Bagging . . 177--186
Rolf Backofen RNA-Sequence-Structure Properties and
Selenocysteine Insertion . . . . . . . . 187
Paul Cohen and
Niall Adams An Algorithm for Segmenting Categorical
Time Series into Meaningful Episodes . . 198
Terry Windeatt and
Gholamreza Ardeshir An Empirical Comparison of Pruning
Methods for Ensemble Classifiers . . . . 208
Paul Kellam and
Xiaohui Liu and
Nigel Martin and
Christine Orengo and
Stephen Swift and
Allan Tucker A Framework for Modelling Short,
High-Dimensional Multivariate Time
Series: Preliminary Results in Virus
Gene Expression Data Analysis . . . . . 218
José L. Triviño-Rodriguez and
Rafael Morales-Bueno Using Multiattribute Prediction Suffix
Graphs for Spanish Part-of-Speech
Tagging . . . . . . . . . . . . . . . . 228
Fuchun Peng and
Dale Schuurmans Self-Supervised Chinese Word
Segmentation . . . . . . . . . . . . . . 238
Syed Sibte Raza Abidi and
Kok Meng Hoe and
Alwyn Goh Analyzing Data Clusters: A Rough Sets
Approach to Extract Cluster-Defining
Symbolic Rules . . . . . . . . . . . . . 248
Ryohei Nakano and
Kazumi Saito Finding Polynomials to Fit Multivariate
Data Having Numeric and Nominal
Variables . . . . . . . . . . . . . . . 258
Paul R. Cohen Fluent Learning: Elucidating the
Structure of Episodes . . . . . . . . . 268
Sérgio Viademonte and
Frada Burstein An Intelligent Decision Support Model
for Aviation Weather Forecasting . . . . 278
Robert Castelo and
Ad Feelders and
Arno Siebes MAMBO: Discovering Association Rules
Based on Conditional Independencies . . 289
R. H. Glendinning Model Building for Random Fields . . . . 299
Tobias Scheffer and
Christian Decomain and
Stefan Wrobel Active Hidden Markov Models for
Information Extraction . . . . . . . . . 309
Gabriel L. Somlo and
Adele E. Howe Adaptive Lightweight Text Filtering . . 319
Zhang Hongwei and
Tian Fengzhan and
Lu Yuchang A General Algorithm for Approximate
Inference in Multiply Sectioned Bayesian
Networks . . . . . . . . . . . . . . . . 330
Dave Yearling and
David J. Hand Investigating Temporal Patterns of Fault
Behaviour within Large Telephony
Networks . . . . . . . . . . . . . . . . 340
Marzena Kryszkiewicz Closed Set Based Discovery of
Representative Association Rules . . . . 350
Matthew Easley and
Elizabeth Bradley Intelligent Sensor Analysis and Actuator
Control . . . . . . . . . . . . . . . . 360
Grace W. Rumantir and
Chris S. Wallace Sampling of Highly Correlated Data for
Polynomial Regression and Model
Discovery . . . . . . . . . . . . . . . 370
Paul Cohen and
Niall Adams and
David J. Hand The IDA'01 Robot Data Challenge . . . . 378
Anonymous Author Index . . . . . . . . . . . . . . 383
Daniel Thalmann The Foundations to Build a Virtual Human
Society . . . . . . . . . . . . . . . . 1
Jeff Rickel Intelligent Virtual Agents for Education
and Training: Opportunities and
Challenges . . . . . . . . . . . . . . . 15
Michael Li and
Ted Selker Eye Pattern Analysis in Intelligent
Virtual Agents . . . . . . . . . . . . . 23
Carlos Delgado-Mata and
Ruth Aylett Communicating Emotion in Virtual
Environments through Artificial Scents 36
Eric Aaron and
Dimitris Metaxas and
Franjo Ivan\vci\'c and
Oleg Sokolsky A Framework for Reasoning about
Animation Systems . . . . . . . . . . . 47
Matthias Scheutz and
Brigitte Römmer Autonomous Avatars? From Users to Agents
and Back . . . . . . . . . . . . . . . . 61
L. Chen and
K. Bechkoum and
G. Clapworthy Equipping a Lifelike Animated Agent with
a Mind . . . . . . . . . . . . . . . . . 72
Jeremy N. Bailenson and
Andrew C. Beall and
Jim Blascovich and
Mike Raimundo and
Max Weisbuch Intelligent Agents Who Wear Your Face:
Users' Reactions to the Virtual Self . . 86
F. Alonso Amo and
F. Fernández Velasco and
G. López Gómez and
J. P. Rojas Jiménez and
F. J. Soriano Camino Intelligent Virtual Agent Societies on
the Internet . . . . . . . . . . . . . . 100
George Anastassakis and
Themis Panayiotopoulos and
Tim Ritchings Virtual Agent Societies with the mVITAL
Intelligent Agent System . . . . . . . . 112
Gonzalo Méndez and
Pedro Pérez and
Angélica de Antonio An Overview of the Use of Mobile Agents
in Virtual Environments . . . . . . . . 126
M. Gerhard and
D. J. Moore and
D. J. Hobbs Continuous Presence in Collaborative
Virtual Environments: Towards a Hybrid
Avatar-Agent Model for User
Representation . . . . . . . . . . . . . 137
Marc Cavazza and
Fred Charles and
Steven J. Mead Agents' Interaction in Virtual
Storytelling . . . . . . . . . . . . . . 156
André Silva and
Marco Vala and
Ana Paiva Papous: The Virtual Storyteller . . . . 171
Martin Klesen and
Janek Szatkowski and
Niels Lehmann A Dramatised Actant Model for
Interactive Improvisational Plays . . . 181
Nadine Richard and
Philippe Codognet and
Alain Grumbach The InViWo Toolkit: Describing
Autonomous Virtual Agents and Avatars 195
Spyros Vosinakis and
Themis Panayiotopoulos SimHuman: A Platform for Real-Time
Virtual Agents with Planning
Capabilities . . . . . . . . . . . . . . 210
Pietro Casella and
Ana Paiva MAgentA: An Architecture for Real Time
Automatic Composition of Background
Music . . . . . . . . . . . . . . . . . 224
Juan de Lara and
Manuel Alfonseca Agent Oriented Simulation with OOCSMP.
An Example in Evolutionary Ant Colonies 233
Isabella Poggi The Lexicon and the Alphabet of Gesture,
Gaze, and Touch . . . . . . . . . . . . 235
Junichi Hoshino Extraction and Reconstruction of
Personal Characters from Human Movement 237
Ray Walshe The Origin of the Speeches: Language
Evolution through Collaborative
Reinforcement Learning . . . . . . . . . 239
Aldo Paradiso and
Fabio Zambetta and
Fabio Abbattista Fanky: A Tool for Animating Faces of
$3$D Agents . . . . . . . . . . . . . . 242
Anonymous Author Index . . . . . . . . . . . . . . 245
Robert Hanek Model-Based Image Segmentation Using
Local Self-Adapting Separation Criteria 1
Sven Siggelkow and
Marc Schael and
Hans Burkhardt SIMBA --- Search IMages By Appearance 9
Marc Schael Texture Defect Detection Using Invariant
Textural Features . . . . . . . . . . . 17
Amin Massad and
Bärbel Mertsching Segmentation of Spontaneously Splitting
Figures into Overlapping Layers . . . . 25
Anja Brakensiek and
Andreas Kosmala and
Gerhard Rigoll Writer Adaptation for Online Handwriting
Recognition . . . . . . . . . . . . . . 32
Xiaoyi Jiang and
Daniel Mojon Blood Vessel Detection in Retinal Images
by Shape-Based Multi-threshold Probing 38
Stefan Hinz and
Albert Baumgartner Vehicle Detection in Aerial Images Using
Generic Features, Grouping, and Context 45
Martin Gröger and
Wolfgang Sepp and
Tobias Ortmaier and
Gerd Hirzinger Reconstruction of Image Structure in
Presence of Specular Reflections . . . . 53
Jan Neumann and
Yiannis Aloimonos Spatio-Temporal Analysis of Human Faces
Using Multi-resolution Subdivision
Surfaces . . . . . . . . . . . . . . . . 61
Hanno Scharr and
Dietmar Uttenweiler $3$D Anisotropic Diffusion Filtering for
Enhancing Noisy Actin Filament
Fluorescence Images . . . . . . . . . . 69
J. Fieres and
J. Mattes and
R. Eils A Point Set Registration Algorithm Using
a Motion Model Based on Thin-Plate
Splines and Point Clustering . . . . . . 76
Marc Luxen and
Wolfgang Förstner Optimal Camera Orientation from Points
and Straight Lines . . . . . . . . . . . 84
Stephan Heuel Points, Lines, and Planes and Their
Optimal Estimation . . . . . . . . . . . 92
Georg von Wichert A Probabilistic Approach to Simultaneous
Segmentation, Object Recognition, $3$D
Localization, and Tracking Using Stereo 100
Manfred Alker and
Sönke Frantz and
Karl Rohr and
H. Siegfried Stiehl Improving the Robustness in Extracting
$3$D Point Landmarks Based on Deformable
Models . . . . . . . . . . . . . . . . . 108
Dimitrios Katsoulas and
Lothar Bergen Efficient $3$D Vertex Detection in Range
Images Acquired with a Laser Sensor . . 116
Michael Felsberg and
Gerald Sommer Scale Adaptive Filtering Derived from
the Laplace Equation . . . . . . . . . . 124
Sung Woo Choi and
Hans-Peter Seidel One-Sided Stability of Medial Axis
Transform . . . . . . . . . . . . . . . 132
M. Feldbach and
K. D. Tönnies Robust Line Detection in Historical
Church Registers . . . . . . . . . . . . 140
Carsten Steger Similarity Measures for Occlusion,
Clutter, and Illumination Invariant
Object Recognition . . . . . . . . . . . 148
K. Voss and
H. Suesse Affine Point Pattern Matching . . . . . 155
Hagen Spies and
Bernd Jähne and
John L. Barron Surface Expansion from Range Data
Sequences . . . . . . . . . . . . . . . 163
Rudolf Mester and
Til Aach and
Lutz Dümbgen Illumination-Invariant Change Detection
Using a Statistical Colinearity
Criterion . . . . . . . . . . . . . . . 170
Christian Bauckhage and
Jannik Fritsch and
Gerhard Sagerer Memorizing Visual Knowledge for Assembly
Process Monitoring . . . . . . . . . . . 178
Volker Krüger and
Rogerio S. Feris Wavelet Subspace Method for Real-Time
Face Tracking . . . . . . . . . . . . . 186
Christoph S. Garbe and
Bernd Jähne Reliable Estimates of the Sea Surface
Heat Flux from Image Sequences . . . . . 194
Axel Techmer Real-Time Motion Based Vehicle
Segmentation in Traffic Lanes . . . . . 202
Birgit Möller and
Stefan Posch Detection and Tracking of Moving Objects
for Mosaic Image Generation . . . . . . 208
Christian Wallraven and
Heinrich Bülthoff Acquiring Robust Representations for
Recognition from Image Sequences . . . . 216
M. Wenig and
C. Leue and
S. Kraus and
T. Wagner and
U. Platt and
B. Jähne Image Sequence Analysis of Satellite
NO$_2$ Concentration Maps . . . . . . . 223
Norbert Kirchgeßner and
Hagen Spies and
Hanno Scharr and
Uli Schurr Root Growth Measurements in Object
Coordinates . . . . . . . . . . . . . . 231
Frank Deinzer and
Joachim Denzler and
Heinrich Niemann On Fusion of Multiple Views for Active
Object Recognition . . . . . . . . . . . 239
Volker Roth Probabilistic Discriminative Kernel
Classifiers for Multi-class Problems . . 246
Michael Reinhold and
Dietrich Paulus and
Heinrich Niemann Appearance-Based Statistical Object
Recognition by Heterogeneous Background
and Occlusions . . . . . . . . . . . . . 254
Tanja Kämpfe and
Tim W. Nattkemper and
Helge Ritter Combining Independent Component Analysis
and Self-Organizing Maps for Cell Image
Classification . . . . . . . . . . . . . 262
Daniel Cremers and
Timo Kohlberger and
Christoph Schnörr Nonlinear Shape Statistics via Kernel
Spaces . . . . . . . . . . . . . . . . . 269
Arnulf B. A. Graf and
Silvio Borer Normalization in Support Vector Machines 277
Friedhelm Schwenker Solving Multi-class Pattern Recognition
Problems with Tree-Structured Support
Vector Machines . . . . . . . . . . . . 283
Frank Hülsken and
Frank Wallhoff and
Gerhard Rigoll Facial Expression Recognition with
Pseudo-$3$D Hidden Markov Models . . . . 291
Jan Böhm and
Jürgen Hefele and
Dieter Fritsch Towards Online Pose Measurement for
Robots . . . . . . . . . . . . . . . . . 298
J. Denzler and
C. M. Brown and
H. Niemann Optimal Camera Parameter Selection for
State Estimation with Applications in
Object Recognition . . . . . . . . . . . 305
Konrad Klein and
Vítor Sequeira View Planning for Unknown Indoor Scenes
Based on a Cost Benefit Analysis . . . . 313
Thorsten Schmitt and
Robert Hanek and
Sebastian Buck and
Michael Beetz Cooperative Probabilistic State
Estimation for Vision-Based Autonomous
Soccer Robots . . . . . . . . . . . . . 321
Markus Suing and
Lothar Hermes and
Joachim M. Buhmann A New Contour-Based Approach to Object
Recognition for Assembly Line Robots . . 329
E. Michaelsen and
U. Ahlrichs and
U. Stilla and
D. Paulus and
H. Niemann Where Is the Hole Punch? Object
Localization Capabilities on a Specific
Bureau Task . . . . . . . . . . . . . . 337
Uwe Soergel and
Karsten Schulz and
Ulrich Thoennessen Phenomenology-Based Segmentation of
InSAR Data for Building Detection . . . 345
Jens Keuchel and
Christian Schellewald and
Daniel Cremers and
Christoph Schnörr Convex Relaxations for Binary Image
Partitioning and Perceptual Grouping . . 353
Christian Schellewald and
Stefan Roth and
Christoph Schnörr Evaluation of Convex Optimization
Techniques for the Weighted
Graph-Matching Problem in Computer
Vision . . . . . . . . . . . . . . . . . 361
D. M. Gavrila and
J. Giebel and
H. Neumann Learning Shape Models from Examples . . 369
S. Winkelbach and
F. M. Wahl Shape from $2$D Edge Gradients . . . . . 377
Alexander Suppes and
Frank Suhling and
Michael Hötter Robust Obstacle Detection from
Stereoscopic Image Sequences Using
Kalman Filtering . . . . . . . . . . . . 385
Dietmar Saupe and
Dejan V. Vrani\'c $3$D Model Retrieval with Spherical
Harmonics and Moments . . . . . . . . . 392
Sung Joon Ahn and
Wolfgang Rauh and
Matthias Recknagel Least Squares Orthogonal Distance
Fitting of Implicit Curves and Surfaces 398
Thorsten Behrens and
Karl Rohr and
H. Siegfried Stiehl Segmentation of Tubular Structures in
$3$D Images Using a Combination of the
Hough Transform and a Kalman Filter . . 406
P. Faber and
R. B. Fisher Pros and Cons of Euclidean Fitting . . . 414
Jochen Schmidt and
Ingo Scholz and
Heinrich Niemann Placing Arbitrary Objects in a Real
Scene Using a Color Cube for Pose
Estimation . . . . . . . . . . . . . . . 421
Marina Kolesnik and
Thomas Kuleßa Detecting, Tracking, and Interpretation
of a Pointing Gesture by an Overhead
View Camera . . . . . . . . . . . . . . 429
Islam Shdaifat and
Rolf-Rainer Grigat and
Stefan Lütgert Recognition of the German Visemes Using
Multiple Feature Matching . . . . . . . 437
Nassir Navab Keynote Speech: Medical & Industrial
Augmented Reality: Challenges for
Real-Time Vision, Computer Graphics and
Mobile Computing . . . . . . . . . . . . 443
Anonymous Author Index . . . . . . . . . . . . . . 453
Renaud Pawlak and
Lionel Seinturier and
Laurence Duchien and
Gérard Florin JAC: A Flexible Solution for
Aspect-Oriented Programming in Java . . 1
Éric Tanter and
Noury M. N. Bouraqadi-Saâdani and
Jacques Noyé Reflex --- Towards an Open Reflective
Extension of Java . . . . . . . . . . . 25
John Whaley System Checkpointing Using Reflection
and Program Analysis . . . . . . . . . . 44
Eric Bruneton and
Michel Riveill Experiments with JavaPod, a Platform
Designed for the Adaptation of
Non-functional Properties . . . . . . . 52
Doug Orleans and
Karl Lieberherr DJ: Dynamic Adaptive Programming in Java 73
Jim Dowling and
Vinny Cahill The $K$-Component Architecture
Meta-model for Self-Adaptive Software 81
Naoyasu Ubayashi and
Tetsuo Tamai Separation of Concerns in Mobile Agent
Applications . . . . . . . . . . . . . . 89
Jacques Malenfant and
Maria-Teresa Segarra and
Françoise André Dynamic Adaptability: The Mol\`eNE
Experiment . . . . . . . . . . . . . . . 110
Denis Caromel and
Fabrice Huet and
Julien Vayssi\`ere A Simple Security-Aware MOP for Java . . 118
Licia Capra and
Wolfgang Emmerich and
Cecilia Mascolo Reflective Middleware Solutions for
Context-Aware Applications . . . . . . . 126
Juan Carlos Ruiz and
Jean-Charles Fabre and
Pascale Thévenod-Fosse Testing MetaObject Protocols Generated
by Open Compilers for Safety-Critical
Systems . . . . . . . . . . . . . . . . 134
Torsten Nelson and
Donald Cowan and
Paulo Alencar Supporting Formal Verification of
Crosscutting Concerns . . . . . . . . . 153
Rémi Douence and
Olivier Motelet and
Mario Südholt A Formal Definition of Crosscuts . . . . 170
James H. Andrews Process-Algebraic Foundations of
Aspect-Oriented Programming . . . . . . 187
François Pennaneac'h and
Jean-Marc Jézéquel and
Jacques Malenfant and
Gerson Sunyé UML Reflections . . . . . . . . . . . . 210
Awais Rashid A Hybrid Approach to Separation of
Concerns: The Story of SADES . . . . . . 231
William G. Griswold Coping with Crosscutting Software
Changes Using Information Transparency 250
Giuseppe Attardi and
Antonio Cisternino Template Metaprogramming an Object
Interface to Relational Tables . . . . . 266
Gordon S. Blair and
Geoff Coulson and
Michael Clarke and
Nikos Parlavantzas Performance and Integrity in the OpenORB
Reflective Middleware . . . . . . . . . 268
Stephan Gudmundson and
Gregor Kiczales Data Abstraction in AspectJ . . . . . . 270
Joon-Sang Lee and
Doo-Hwan Bae and
Ikju Han Towards Coping with Role-Binding Anomaly 272
Jung Gyu Park and
Arthur H. Lee Removing Reflection from Java Programs
Using Partial Evaluation . . . . . . . . 274
Pascal Rapicault and
Jean-Paul Rigault Open Implementation of UML Meta-model(s) 276
Karen Renaud and
Huw Evans JavaCloak: Reflecting on Java Typing for
Class Reuse Using Proxies . . . . . . . 278
Ian Welch and
Robert J. Stroud and
Alexander Romanovsky Aspects of Exceptions at the Meta-level 280
Anonymous Author Index . . . . . . . . . . . . . . 283
Thomi Pilioura and
Aphrodite Tsalgatidou E-Services: Current Technology and Open
Issues . . . . . . . . . . . . . . . . . 1
Christoph Bussler The Role of B2B Protocols in
Inter-Enterprise Process Execution . . . 16
Harumi Kuno and
Mike Lemon and
Alan Karp and
Dorothea Beringer Conversations + Interfaces = Business
Logic . . . . . . . . . . . . . . . . . 30
Massimo Mecella and
Barbara Pernici and
Paolo Craca Compatibility of e-Services in a
Cooperative Multi-platform Environment 44
Vassilis Christophides and
Richard Hull and
Gregory Karvounarakis and
Akhil Kumar and
Geliang Tong and
Ming Xiong Beyond Discrete E-Services: Composing
Session-Oriented Services in
Telecommunications . . . . . . . . . . . 58
Eleanna Kafeza and
Dickson K. W. Chiu and
Irene Kafeza View-Based Contracts in an E-Service
Cross-Organizational Workflow
Environment . . . . . . . . . . . . . . 74
Raja Krithivasan and
Abdelsalam (Sumi) Helal BizBuilder --- An E-Services Framework
Targeted for Internet Workflow . . . . . 89
Marie-Christine Fauvet and
Marlon Dumas and
Boualem Benatallah and
Hye-Young Paik Peer-to-Peer Traced Execution of
Composite Services . . . . . . . . . . . 103
Christoph Schuler and
Heiko Schuldt and
Hans-Jörg Schek Supporting Reliable Transactional
Business Processes by Publish/Subscribe
Techniques . . . . . . . . . . . . . . . 118
Kaushik Dutta and
Debra VanderMeer and
Anindya Datta and
Krithi Ramamritham User Action Recovery in Internet SAGAs
(iSAGAs) . . . . . . . . . . . . . . . . 132
Stefan Seltzsam and
Stephan Börzsöpnyi and
Alfons Kemper Security for Distributed E-Service
Composition . . . . . . . . . . . . . . 147
Guillermo Fernandez Ortiz and
Ana Sofia Caires Branco and
Paz Ruiz Sancho and
José Luis Castillo ESTIA --- Efficient Electronic Services
for Tourists in Action . . . . . . . . . 163--174
Marcus Herzog and
Georg Gottlob InfoPipes: A Flexible Framework for
$M$-Commerce Applications . . . . . . . 175
Dejan Milojicic and
Alan Messer and
Philippe Bernadat and
Ira Greenberg and
Olaf Spinczyk and
Danilo Beuche and
Wolfgang Schröder-Preikschat $\Psi$-Pervasive Services Infrastructure 187
DongChun Lee and
JeomGoo Kim Adaptive Migration Strategy for Mobile
Agents on Internet . . . . . . . . . . . 201
Anonymous Author Index . . . . . . . . . . . . . . 213
Sukumar Ghosh Cooperating Mobile Agents and
Stabilization . . . . . . . . . . . . . 1
Joffroy Beauquier and
Maria Gradinariu and
Colette Johnen Cross-Over Composition --- Enforcement
of Fairness under Unfair Adversary . . . 19
Joffroy Beauquier and
Thomas Hérault and
Elad Schiller Easy Stabilization with an Agent . . . . 35
Jorge A. Cobb and
Mohamed G. Gouda Stabilization of Routing in Directed
Networks . . . . . . . . . . . . . . . . 51
Shlomi Dolev and
Ted Herman Dijkstra's Self-Stabilizing Algorithm in
Unsupportive Environments . . . . . . . 67
Shlomi Dolev and
Elad Schiller Communication Adaptive Self-Stabilizing
Group Membership Service (Extended
Abstract) . . . . . . . . . . . . . . . 82
Felix C. Gärtner and
Stefan Pleisch (Im)Possibilities of Predicate Detection
in Crash-Affected Systems . . . . . . . 98
Mohamed G. Gouda The Theory of Weak Stabilization . . . . 114
Mohamed G. Gouda and
Chin-Tser Huang and
Anish Arora On the Security and Vulnerability of
PING . . . . . . . . . . . . . . . . . . 124
Rachid Hadid and
Vincent Villain A New Efficient Tool for the Design of
Self-Stabilizing $\ell$-Exclusion
Algorithms: The Controller . . . . . . . 136--151
Ted Herman and
Toshimitsu Masuzawa Self-Stabilizing Agent Traversal . . . . 152
Ted Herman and
Imran Pirwani A Composite Stabilizing Data Structure 167
Sandeep S. Kulkarni and
Ravikant Stabilizing Causal Deterministic Merge 183--199
Franck Petit Fast Self-Stabilizing Depth-First Token
Circulation . . . . . . . . . . . . . . 200
Sébastien Tixeuil On a Space-Optimal Distributed Traversal
Algorithm . . . . . . . . . . . . . . . 216
Anonymous Author Index . . . . . . . . . . . . . . 229
Noboru Kamijoh and
Tadanobu Inoue and
Kohichiroh Kishimoto and
Ken Tamagawa Linux Watch: Hardware Platform for
Wearable Computing Research . . . . . . 1
Ryoko Ueoka and
Michitaka Hirose and
Kengo Kuma and
Michie Sone and
Kenji Kohiyama and
Tomohiro Kawamura and
Kenichiro Hiroto Wearable Computer Application for Open
Air Exhibition in EXPO 2005 . . . . . . 8
Kiyoharu Aizawa and
Kenichiro Ishijima and
Makoto Shiina Automatic Summarization of Wearable
Video --- Indexing Subjective Interest 16
Tatsuyuki Kawamura and
Yasuyuki Kono and
Masatsugu Kidode A Novel Video Retrieval Method to
Support a User's Recollection of Past
Events Aiming for Wearable Information
Playing . . . . . . . . . . . . . . . . 24
Tetsuro Ogi and
Koji Yamamoto and
Toshio Yamada and
Michitaka Hirose Experience of Immersive Virtual World
Using Cellular Phone Interface . . . . . 32
Takeshi Kurata and
Takashi Okuma and
Masakatsu Kourogi and
Takekazu Kato and
Katsuhiko Sakaue VizWear: Toward Human-Centered
Interaction through Wearable Vision and
Visualization . . . . . . . . . . . . . 40
Haizhou Ai and
Luhong Liang and
Xipan Xiao and
Guangyou Xu Face Indexing and Retrieval in Personal
Digital Album . . . . . . . . . . . . . 48
K. Idrissi and
J. Ricard and
A. Anwander and
A. Baskurt An Image Retrieval System Based on Local
and Global Color Descriptions . . . . . 55
Dong Zhang and
Wei Qi and
Hong Jiang Zhang A New Shot Boundary Detection Algorithm 63
P. Wu and
B. S. Manjunath and
S. Chandrasekaran An Adaptive Index Structure for
High-Dimensional Similarity Search . . . 71
Wensheng Zhou and
Son K. Dao Combining Hierarchical Classifiers with
Video Semantic Indexing Systems . . . . 78
Wang Xing Guo and
Liu Ji Lin and
Wei Guo Zheng and
Ishfaq Mismatch MB Retrieval for MPEG-2 to
MPEG-4 Transcoding . . . . . . . . . . . 86--93
Dongyang Long and
Weijia Jia On the Optimal Coding . . . . . . . . . 94
Yang Yu and
Xuelong Zhu Dynamic Multi-reference Prediction in
Video Coding for Improved Error
Resilience over Internet . . . . . . . . 102
Duan-Yu Chen and
Suh-Yin Lee Motion-Based Semantic Event Detection
for Video Content Description in MPEG-7 110
Yan Lu and
Wen Gao and
Feng Wu Fast and Robust Sprite Generation for
MPEG-4 Video Coding . . . . . . . . . . 118
Shin-Wei Yang and
Chung-Neng Wang and
Chi-Min Liu and
Tihao Chiang Fast Motion Estimation Using $N$-Queen
Pixel Decimation . . . . . . . . . . . . 126
Chung-Neng Wang and
Chi-Min Liu and
Tihao Chiang Improved MPEG-4 Visual Texture Coding
Using Perceptual Dithering for
Transparent Image Coding . . . . . . . . 134
Anthony G. Nguyen and
Jenq-Neng Hwang SPEM Rate Control . . . . . . . . . . . 142
Chunli Wang and
Wen Gao and
Zhaoguo Xuan A Real-Time Large Vocabulary Continuous
Recognition System for Chinese Sign
Language . . . . . . . . . . . . . . . . 150
Dongmei Wang and
Russell M. Mersereau Object Modeling, Coding, and
Transmission for Multimedia
Communications . . . . . . . . . . . . . 158
Hideki Tanahashi and
Caihua Wang and
Yoshinori Niwa and
Kazuhiko Yamamoto Live Events Accessing for Multi-users
with Free Viewpoints Using Stereo
Omni-directional System . . . . . . . . 166
Tian-Shu Wang and
Heung-Yeung Shum and
Ying-Qing Xu and
Nan-Ning Zheng Unsupervised Analysis of Human Gestures 174
Fan Lin and
Liu Wenyin and
Zheng Chen and
Hongjiang Zhang and
Tang Long User Modeling for Efficient Use of
Multimedia Files . . . . . . . . . . . . 182
Young-Kee Jung and
Yo-Sung Ho A Feature-Based Vehicle Tracking System
in Congested Traffic Video Sequences . . 190
Ying Li and
C.-C. Jay Kuo Movie Event Detection by Using Audio
Visual Information . . . . . . . . . . . 198
Peizhong Lu and
Lide Wu Double Hierarchical Algorithm for Video
Mosaics . . . . . . . . . . . . . . . . 206
Ming-Gang Liu and
Chao-Huan Hou Automatic Segmentation and Tracking of
Moving Objects . . . . . . . . . . . . . 214
Xiangrong Chen and
Hongjiang Zhang Text Area Detection from Video Frames 222
Yong Wang and
Jiang Li and
Kun Zhou and
Heung-Yeung Shum Interacting with $3$D Graphic Objects in
an Image-Based Environment . . . . . . . 229
Yea-Shuan Huang and
Yao-Hong Tsai and
Jun-Wei Shieh Robust Face Recognition with Light
Compensation . . . . . . . . . . . . . . 237
Yao-Jen Chang and
Yung-Chang Chen Robust Head Pose Estimation Using
Textured Polygonal Model with Local
Correlation Measure . . . . . . . . . . 245
Feng Xie and
Guangyou Xu and
Eckart Hundt A Face Verification Algorithm
Integrating Geometrical and Template
Features . . . . . . . . . . . . . . . . 253
Bo Zhang and
Changbo Hu and
Qingsheng Cai and
Baining Guo and
Harry Shum E-Partner: A Photo-Realistic
Conversation Agent . . . . . . . . . . . 261
Zicheng Liu and
Zhengyou Zhang and
Dennis Adler and
Erik Hanson and
Michael Cohen A Robust and Fast Face Modeling System 269
Kwan-Ho Lin and
Baofeng Guo and
Kin-Man Lam and
Wan-Chi Siu Automatic Human Face Recognition System
Using Fractal Dimension and Modified
Hausdorff Distance . . . . . . . . . . . 277
Jiann-Jone Chen and
Cheng-Yi Liu and
Yea-Shuan Huang and
Jun-Wei Hsieh Similarity Retrieval in Image Databases
by Boosted Common Shape Features Among
Query Images . . . . . . . . . . . . . . 285
Huizhen Yu and
W. Eric L. Grimson Combining Configurational and
Statistical Approaches in Image
Retrieval . . . . . . . . . . . . . . . 293
Pei-Yuan Huang and
Long-Wen Chang Digital Image Coding with Hybrid Wavelet
Packet Transform . . . . . . . . . . . . 301
Chih-Yi Chiu and
Hsin-Chih Lin and
Shi-Nine Yang Texture Retrieval with Linguistic
Descriptions . . . . . . . . . . . . . . 308
Chi-Syan Lin Implementation of the Virtual School:
Best Cyber Academy . . . . . . . . . . . 316
Jihn-Chang J. Jehng and
Jia-Sheng Heh Applying Process Improvement Approach to
the Design and Development of a
Multimedia-Based Training Management
System . . . . . . . . . . . . . . . . . 324
Dong Wei and
Nirwan Ansari IP Traffic Monitoring: An Overview and
Future Considerations . . . . . . . . . 335
G. R. Joubert and
O. Kao Efficient Dynamic Image Retrieval Using
the Á Trous Wavelet Transformation . . . 343
Sagarmay Deb and
Yanchun Zhang Image Retrieval in Multimedia with
Emergence Index . . . . . . . . . . . . 351
Chi-wai Fung and
Qing Li Efficient Multimedia Database Indexing
Using Structural Join Index Hierarchy 359
Jiung-Yao Huang and
Lawrence Y. Deng Modeling of the HLA-Based Simulation
System . . . . . . . . . . . . . . . . . 367
Jen-Wen Ding and
Yueh-Min Huang and
Cheng-Chung Chu An End-to-End Delivery Scheme for Robust
Video Streaming . . . . . . . . . . . . 375
Jana Dittmann and
Enrico Hauer and
Claus Vielhauer and
Jörg Schwenk and
Eva Saar Customer Identification for MPEG Video
Based on Digital Fingerprinting . . . . 383
Shuichi Shimizu Performance Analysis of Data Hiding . . 391
Chaur-Chin Chen Data Encryption Using MRF with an RSA
Key . . . . . . . . . . . . . . . . . . 399
Y. J. Song and
R. Z. Liu and
T. N. Tan Digital Watermarking for Forgery
Detection in Printed Materials . . . . . 403
I. Wiseto Agung and
Peter Sweeney Improvement and Comments on Image
Watermarking Using Complementary
Modulation . . . . . . . . . . . . . . . 411
Peter Bergström An Eye-Movement Controlled Wavelet Based
Image Coder . . . . . . . . . . . . . . 418
Yuwen He and
Xuejun Zhao and
Shiqiang Yang and
Yuzhuo Zhong Variable Frame-Rate Video Coding Based
on Global Motion Analysis . . . . . . . 426
Daniel P. K. Lun and
Tommy C. L. Chan and
T. C. Hsung and
David D. Feng Efficient Blind Image Restoration Based
on $1$-D Generalized Cross Validation 434
Ta-Te Lu and
Kuo-Wei Wen and
Pao-Chi Chang Block Reordering Wavelet Packet SPIHT
Image Coding . . . . . . . . . . . . . . 442
Xinding Sun and
Ajay Divakaran and
B. S. Manjunath A Motion Activity Descriptor and Its
Extraction in Compressed Domain . . . . 450
Jian Wang and
Chang Wen Chen A Fast and Effective Block-Matching
Error Concealment Scheme . . . . . . . . 458
Shan Liu and
JongWon Kim and
C.-C. Jay Kuo Bit Allocation for Video Coding with
Temporal-Spatial Tradeoff . . . . . . . 466
Shyhwei Teng and
Guojun Lu An Evaluation of the Robustness of Image
Retrieval Based on Vector Quantization 474
Jun Yang and
Yueting Zhuang and
Qing Li Search for Multi-modality Data in
Digital Libraries . . . . . . . . . . . 482
C. M. Chew and
M. S. Kankanhalli Compressed Domain Summarization of
Digital Video . . . . . . . . . . . . . 490
Weiqiang Wang and
Wen Gao Automatic Segmentation of News Items
Based on Video and Audio Features . . . 498
Yin Xu and
Yujin Zhang Association Feedback: A Novel Tool for
Feature Elements Based Image Retrieval 506
Colin C. Venters and
Richard J. Hartley and
Matthew D. Cooper and
William T. Hewitt Query by Visual Example: Assessing the
Usability of Content-Based Image
Retrieval System User Interfaces . . . . 514
Lei Zhu and
Chung Tang and
Aidong Zhang Using Keyblock Statistics to Model Image
Retrieval . . . . . . . . . . . . . . . 522
Yongwei Zhu and
Mohan S. Kankanhalli and
Changsheng Xu Pitch Tracking and Melody Slope Matching
for Song Retrieval . . . . . . . . . . . 530
Simon Moncrieff and
Chitra Dorai and
Svetha Venkatesh Analysis of Environmental Sounds as
Indexical Signs in Film . . . . . . . . 538
H. S. Lam and
Tan Lee and
P. C. Ching A Low Missing Rate Audio Search
Technique for Cantonese Radio Broadcast
Recording . . . . . . . . . . . . . . . 546
Feng Yu and
Eric Chang and
Yingqing Xu and
Heung-Yeung Shum Emotion Detection from Speech to Enrich
Multimedia Content . . . . . . . . . . . 550
Yong Woon Park and
Keon Hyo Baek and
Ki Dong Chung Proxy Caching Based on Patching Scheme
and Prefetching . . . . . . . . . . . . 558
Hu Yan and
Zhang Guangzhao A Stateless Active Queue Management
Scheme for Approximating Fair Bandwidth
Allocation and Stabilized Buffer
Occupation . . . . . . . . . . . . . . . 566
Shinji Osada and
Hiroaki Higaki QoS-Based Checkpoint Protocol for
Multimedia Network Systems . . . . . . . 574
Chung-Ming Huang and
Pei-Chuan Liu and
Pi-Fung Shih An Interactive Audio and Video Station
over Internet . . . . . . . . . . . . . 582
Jyh-Shing Roger Jang and
Hong-Ru Lee and
Chia-Hui Yeh Query by Tapping: A New Paradigm for
Content-Based Music Retrieval from
Acoustic Input . . . . . . . . . . . . . 590
Chung-Hsien Wu and
Yu-Hsien Chiu and
Kung-Wei Cheng Multi-modal Sign Icon Retrieval for
Augmentative Communication . . . . . . . 598
Hsin-min Wang and
Berlin Chen Comparison of Word and Subword Indexing
Techniques for Mandarin Chinese Spoken
Document Retrieval . . . . . . . . . . . 606
Chien-Kang Huang and
Lee-Feng Chien and
Yen-Jen Oyang Interactive Web Multimedia Search Using
Query-Session-Based Query Expansion . . 614
Han-Chieh Chao and
Y. M. Chu and
T. G. Tsuei Codec Schemes Selection for Wireless
Voice over IP (VoIP) . . . . . . . . . . 622
T. Brandão and
M. P. Queluz and
A. Rodrigues On the Use of Error Correction Codes in
Spread Spectrum Based Image Watermarking 630
Jin S. Seo and
Chang D. Yoo Correlation Detection of Asymmetric
Watermark . . . . . . . . . . . . . . . 638
M. Monsignori and
P. Nesi and
M. B. Spinu Watermarking Music Sheets . . . . . . . 646
Shaou-Gang Miaou and
Tzung-Shian Lee and
Chih-Ming Chen BCH Coded Watermarks for Error-Prone
Transmission of MPEG Video . . . . . . . 654
Weikai Xie and
Yuanchun Shi and
Guanyou Xu and
Dong Xie Smart Classroom --- An Intelligent
Environment for Tele-education . . . . . 662
Wenli Zhang and
Yoshitomo Yaginuma and
Masao Sakauchi Movie Video Hypermedia Authoring System 669
Frank Wang and
Grace Lian and
Jeff Zheng Design Considerations for the Video
Analyzer SDK . . . . . . . . . . . . . . 677
Fang Yu and
Qian Zhang and
Wenwu Zhu and
Ya-Qin Zhang Network-Adaptive Cache Management
Schemes for Mixed Media . . . . . . . . 685
GuiJin Wang and
Xinggang Lin Robust Scalable Image Transmission over
Wireless Fading Channel . . . . . . . . 693
Hsiang-Ren Shih and
Chun-Liang Hou and
I-Chieh Lin and
Shie-Jue Lee A Dynamic Regulation with Scheduler
Feedback Information for Multimedia
Networks . . . . . . . . . . . . . . . . 700
Huadong Ma and
Kang G. Shin A New Scheduling Scheme for Multicast
True VoD Service . . . . . . . . . . . . 708
Yunnan Wu and
Anthony Vetro and
Huifang Sun and
S.-Y. Kung Intelligent Multi-hop Video
Communications . . . . . . . . . . . . . 716
Pin Liao and
Wen Gao and
Li Shen and
Xilin Chen and
Shiguang Shan and
Wenbing Zeng Classification of Facial Images Using
Gaussian Mixture Models . . . . . . . . 724
B. C. Song and
M. J. Kim and
J. B. Ra A Fast Descriptor Matching Algorithm for
Exhaustive Search in Large Databases . . 732
Fang Qian and
Lei Zhang and
Fuzong Lin and
Bo Zhang FBCC: An Image Similarity Algorithm
Based on Regions . . . . . . . . . . . . 740
Ji Hwan Park and
Sook Ee Jeong and
Young Huh A New Digital Watermarking for Text
Document Images Using Diagonal Profile 748
Hyun-Ju Lee and
Yong-Jae Lee and
Chil-Woo Lee Gesture Classification and Recognition
Using Principal Component Analysis and
HMM . . . . . . . . . . . . . . . . . . 756
Wai-Pak Choi and
Kin-Man Lam and
Wan-Chi Siu A Robust Line-Feature-Based Hausdorff
Distance for Shape Matching . . . . . . 764
Changsheng Xu and
David Dagan Feng and
Yongwei Zhu Copyright Protection for WAV-Table
Synthesis Audio Using Digital
Watermarking . . . . . . . . . . . . . . 772
Xiaochen Bo and
Lincheng Shen and
Wensen Chang Sign Correlation Detector for Blind
Image Watermarking in the DCT Domain . . 780
K. H. Leung and
Bing Zeng Wavelet-Domain Image Watermarking Based
on Statistical Metrics . . . . . . . . . 788
Yuichi Nakai Semi Fragile Watermarking Based on
Wavelet Transform . . . . . . . . . . . 796
Chin-Chen Chang and
Jyh-Chiang Yeh and
Ju-Yuan Hsiao A Novel Scheme for Securing Image
Steganography . . . . . . . . . . . . . 804
Minghua Chen and
Yun He A Synchronous Fragile Watermarking
Scheme for Erroneous Q--DCT Coefficients
Detection . . . . . . . . . . . . . . . 812
C. C. Shih and
H. R. Tyan and
H. Y. Mark Liao Shot Change Detection Based on the
Reynolds Transport Theorem . . . . . . . 819
Shui-Lung Chuang and
Lee-Feng Chien and
Hsiao-Tieh Pu Automatic Subject Categorization of
Query Terms for Filtering Sensitive
Queries in Multimedia Search . . . . . . 825
Chin-Chen Chang and
Chi-Shiang Chan and
Ju-Yuan Hsiao A Color Image Retrieval Method Based on
Local Histogram . . . . . . . . . . . . 831
Jianping Fan and
Xingquan Zhu and
Lide Wu Seeded Semantic Object Generation toward
Content-Based Video Indexing . . . . . . 837
Xingquan Zhu and
Lide Wu and
Xiangyang Xue and
Xiaoye Lu and
Jianping Fan Automatic Scene Detection in News
Program by Integrating Visual Feature
and Rules . . . . . . . . . . . . . . . 843
Hans Shui-Hua and
Lu Zheng-Ding Shape Retrieval by Hierarchical
Evolution . . . . . . . . . . . . . . . 849
Dengsheng Zhang and
Guojun Lu A Comparison of Shape Retrieval Using
Fourier Descriptors and Short-Time
Fourier Descriptors . . . . . . . . . . 855
Kathy Cheung and
Cindy Hung and
C. W. Kok and
Mansun Chan A SMIL Browser with an Enhanced Image,
Audio and Video Effect Library for
Multimedia Rich Presentations . . . . . 861
Jiayi Chen and
Tele Tan and
Philippe Mulhem A Method for Photograph Indexing Using
Speech Annotation . . . . . . . . . . . 867
WeiQiang Wang and
Wen Gao A Fast Anchor Shot Detection Algorithm
on Compressed Video . . . . . . . . . . 873
Young-tae Kim and
Jae-Gon Kim and
Hyun Sung Chang and
Kyeongok Kang and
Jinwoong Kim Content-Based News Video Retrieval with
Closed Captions and Time Alignment . . . 879
Feng Yahzong and
Zhuang Yueting and
Pan Yunhe Query Similar Music by Correlation
Degree . . . . . . . . . . . . . . . . . 885
Berna Erol and
Faouzi Kossentini Color Content Matching of MPEG-4 Video
Objects . . . . . . . . . . . . . . . . 891
Jun-Wei Hsieh and
L. W. Huang and
Yea-Shuan Huang Multiple-Person Tracking System for
Content Analysis . . . . . . . . . . . . 897
Kunio Yamada and
Kenji Mochizuki and
Kiyoharu Aizawa and
Takahiro Saito Motion Segmentation with Census
Transform . . . . . . . . . . . . . . . 903
Jong Myeon Jeong and
Young Shik Moon Efficient Algorithms for Motion Based
Video Retireval . . . . . . . . . . . . 909
G. Qiu Content-Based Retrieval on the
Compressed Domain of $2^{\rm nd}$
Generation Image Coding . . . . . . . . 915
G. Qiu and
S. Sudirman Retrieving Landscape Images Using Scene
Structural Matrix . . . . . . . . . . . 921
Chun-Shien Lu and
Hong-Yuan Mark Liao Digital Watermarking: A Communications
with Side Information Perspective . . . 927
Xiangwei Kong and
Yu Liu and
Huajian Liu Adaptive Video Watermarking Scheme . . . 933
Li Qiang and
Cui Huijuan and
Tang Kun An Error Resilience Algorithm for
H.263++ Based Video Coding . . . . . . . 939
Bin Qiu and
Xiaoxiang Guan A Predictive Connection Admission
Control Scheme for QoS Improvement . . . 945
Keun-hyeong Park and
Chul Soo Lee and
HyunWook Park A Multiresolutional Coding Method Based
on SPIHT . . . . . . . . . . . . . . . . 951
Debin Zhao and
Wen Gao and
Shiguang Shan and
Y. K. Chan LLEC: An Image Coder with Low-Complexity
and Low-Memory Requirement . . . . . . . 957
Chwei-Shyong Tsai and
Chin-Chen Chang A Generalized Secret Image Sharing and
Recovery Scheme . . . . . . . . . . . . 963
Jiaoying Shi and
Kaixiang Yi New Semi-fragile Authentication
Watermarking . . . . . . . . . . . . . . 969
Yong Hu and
Chang-sheng Xie Performance Analysis of Video Storage
Based on Clustered NAS Architecture . . 975
Weimin Liu and
Huadong Ma Modeling Video-on-Demand System in
Temporal Logic . . . . . . . . . . . . . 983
Zhiyong Wang and
Zheru Chi and
Dagan Feng and
S. Y. Cho Adaptive Processing of Tree-Structure
Image Representation . . . . . . . . . . 989
Yongwon Jang and
Intaek Kim and
Hwan Il Kang and
Kab Il Kim and
Seung-Soo Han Blind Watermarking Algorithm Using
Complex Block Selection Method . . . . . 996
P. L. Montessoro and
D. Pierattoni and
D. Cortolezzis MTEACH: A Language-Based Framework for
Didactic Multimedia Production . . . . . 1002
Siu-Ping Chan and
Chi-Wah Kok Protocol and Buffer Design for
Multimedia-on-Demand System . . . . . . 1010
Zhibo Chen and
Yun He Quality Weighted Bit Allocation for
Smoother Streaming of Stored FGS Video 1016
Guohui Li and
Jun Zhang and
Defeng Wu A Content-Based Multimedia Database
Engine: MIR . . . . . . . . . . . . . . 1024
Sofia Tzelepi and
George Pangalos A Flexible Access Control Model for
Multimedia Medical Image Security . . . 1030
Zhaohui Cai and
T. H. Cheng and
Chao Lu Joint Source/Channel Coding Using Turbo
Trellis Codes . . . . . . . . . . . . . 1036
Mei-Ling Shyu and
Shu-Ching Chen and
Hongli Luo An Adaptive Optimal Multimedia Network
Transmission Control Scheme . . . . . . 1042
Alireza Nasiri Avanaki and
Babak Hamidzadeh and
Faouzi Kossentini Effects of Sampling Rate and Pose Error
on Volume Reconstruction by Space
Carving . . . . . . . . . . . . . . . . 1048
Weijun Chen and
Fuzong Lin and
Jianmin Li and
Bo Zhang A Tree-Based Model of Prosodic Phrasing
for Chinese Text-to-Speech Systems . . . 1054
Peng Zhenyun and
Hong Wei and
Liang Luhong and
Xu Guangyou and
Zhang Hongjian Detecting Facial Features on Image
Sequences Using Cross-Verification
Mechanism . . . . . . . . . . . . . . . 1060
Hanfeng Chen and
Yiqiang Zhan and
Feihu Qi Rapid Object Tracking on Compressed
Video . . . . . . . . . . . . . . . . . 1066
Si-Yong Park and
Seung-Ho Park and
Ki-Dong Chung Design and Implementation of the
Multimedia Cluster System Based on VIA 1072
Chin-Chen Chang and
Shu-Kai Yang and
JunWei Hsieh and
Ding-Zhou Duan and
Ming-Fen Lin A Fuzzy Inference System for Simplifying
Surfaces with Color . . . . . . . . . . 1078
Suk-Han Lam and
Chi-Wah Kok Demosaic: Color Filter Array
Interpolation for Digital Cameras . . . 1084
Hua Cai and
Bing Zeng Object-Based Classification of
Mixed-Mode Images . . . . . . . . . . . 1090
Shiguang Shan and
Wen Gao and
Xilin Chen and
Bo Cao and
Wenbin Zeng A Face-Unlock Screen Saver by Using Face
Verification Based on Identity-Specific
Subspaces . . . . . . . . . . . . . . . 1096
Won-Young Yoo and
Joonwhoan Lee Analysis of Camera Operations in MPEG
Compressed Domain Based on Generalized
Hough Transform . . . . . . . . . . . . 1102
Yiqiang Chen and
Wen Gao and
Zhaoqi Wang and
Li Zuo Speech Driven MPEG-4 Based Face
Animation via Neural Network . . . . . . 1108
Kam-Fai Chan and
Chi-Wah Kok Mesh Simplification by Vertex Cluster
Contraction . . . . . . . . . . . . . . 1114
Xiujuan Gao and
Hongxun Yao and
Wen Gao and
Wei Zeng Fusion of Biometrics Based on D--S
Theory . . . . . . . . . . . . . . . . . 1120
Chenyu Wu and
Ce Liu and
Jie Zhou Eyeglasses Verification by Support
Vector Machine . . . . . . . . . . . . . 1126
K. K. Yiu and
M. W. Mak and
S. Y. Kung A GMM-Based Handset Selector for Channel
Mismatch Compensation with Applications
to Speaker Identification . . . . . . . 1132
Yan Li Liu Wenyin and
Heung-Yeung Shum Performance Evaluation of $2$D Feature
Tracking Based on Bayesian Estimation 1138
Anonymous Author Index . . . . . . . . . . . . . . 1145
Krzysztof Czarnecki Generative Programming and Software
System Families . . . . . . . . . . . . 1
Tim Sheard Accomplishments and Research Challenges
in Meta-programming . . . . . . . . . . 2
Mitchell Wand A Semantics for Advice and Dynamic Join
Points in Aspect-Oriented Programming 45
Patricia Johann Short Cut Fusion: Proved and Improved 47
Isao Sasano and
Zhenjiang Hu and
Masato Takeichi Generation of Efficient Programs for
Solving Maximum Multi-marking Problems 72
Daniel Damian and
Olivier Danvy Static Transition Compression . . . . . 92
Olivier Danvy and
Bernd Grobauer and
Morten Rhiger A Unifying Approach to Goal-Directed
Evaluation . . . . . . . . . . . . . . . 108
Kenichi Asai Integrating Partial Evaluators into
Interpreters . . . . . . . . . . . . . . 126
David Wakeling A Design Methodology for Functional
Programs . . . . . . . . . . . . . . . . 146
Bill Harrison and
Tim Sheard Dynamically Adaptable Software with
Metacomputations in a Staged Language 163
Gianluigi Ferrari and
Eugenio Moggi and
Rosario Pugliese MetaKlaim: Meta-programming for Global
Computing . . . . . . . . . . . . . . . 183
Christoph A. Herrmann and
Christian Lengauer A Transformational Approach which
Combines Size Inference and Program
Optimization . . . . . . . . . . . . . . 199
Anonymous Author Index . . . . . . . . . . . . . . 219
Eric Badiqué Under Construction in Europe: Virtual
and Mixed Reality for a Rich Media
Experience . . . . . . . . . . . . . . . 3
Jean-Christophe Nebel Generation of True $3$D Films . . . . . 10
David Murphy and
Ian Pitt Spatial Sound Enhancing Virtual Story
Telling . . . . . . . . . . . . . . . . 20
Olivier Balet and
Paul Kafno and
Fred Jordan and
Tony Polichroniadis The VISIONS Project . . . . . . . . . . 30
Pierre-Alexandre Favier and
Pierre De Loor and
Jacques Tisseau Programming Agent with Purposes:
Application to Autonomous Shooting in
Virtual Environment . . . . . . . . . . 40
Alok Nandi and
Xavier Marichal Interactive Immersive Transfiction . . . 44
Andrew Glassner Interactive Storytelling: People,
Stories, and Games . . . . . . . . . . . 51
Massimo Zancanaro and
Alessandro Cappelletti and
Claudio Signorini and
Carlo Strapparava An Authoring Tool for Intelligent
Educational Games . . . . . . . . . . . 61
Nikitas M. Sgouros and
Sophia Kousidou Generation and Implementation of
Mixed-Reality, Narrative Performances
Involving Robotic Actors . . . . . . . . 69
Andy Clarke and
Grethe Mitchell Film and the Development of Interactive
Narrative . . . . . . . . . . . . . . . 81
Clive Fencott Virtual Storytelling as Narrative
Potential: Towards an Ecology of
Narrative . . . . . . . . . . . . . . . 90
Jay Douglas and
Jonathan Gratch Adaptive Narrative: How Autonomous
Agents, Hollywood, and Multiprocessing
Operating Systems Can Live Happily Ever
After . . . . . . . . . . . . . . . . . 100
Bruce M. Blumberg Learning in Character: Building
Autonomous Animated Characters That
Learn What They Ought to Learn . . . . . 113
Isabel Machado and
Ana Paiva and
Paul Brna Real Characters in Virtual Stories . . . 127
Eric Menou Real-Time Character Animation Using
Multi-layered Scripts and Spacetime
Optimization . . . . . . . . . . . . . . 135
Marc Cavazza and
Fred Charles and
Steven J. Mead Characters in Search of an Author:
AI-Based Virtual Storytelling . . . . . 145
Eric Maffre and
Jacques Tisseau and
Marc Parenthoën Virtual Agents' Self-Perception in Story
Telling . . . . . . . . . . . . . . . . 155
Paul Kafno Reflections from a Hobby Horse . . . . . 161
Beno\^\it Labaye and
Nadia Guérin and
Sébastien Dohogne DocToon\copyright --- A Mediator in the
Hospital of the XXIst Century . . . . . 171
Maria Roussou The Interplay between Form, Story, and
History: The Use of Narrative in
Cultural and Educational Virtual Reality 181
Leonie Schäfer and
Wolfgang Prinz and
Amanda Oldroyd and
Lesley Gavin Virtual Storytelling of Cooperative
Activities in a Theatre of Work . . . . 191
Ronan Querrec and
Pierre Chevaillier Virtual Storytelling for Training: An
Application to Fire Fighting in
Industrial Environment . . . . . . . . . 201
Jean-Pierre Jessel and
Céline Jaspart and
Jean-Jacques Flores Computer Animation and Virtual Reality
for Live Art Performance . . . . . . . . 205
Jaroslav Adamec and
Jiri Cizek and
Michal Masa and
Pascal Silondi and
Pavel Smetana and
Jiri Zara Virtual House of European Culture:
e-AGORA (Electronic Arts for
Geographically Open Real Audience) . . . 208--211
Anonymous Author Index . . . . . . . . . . . . . . 213
Y. Y. Yao and
Ning Zhong and
Jiming Liu and
Setsuo Ohsuga Web Intelligence (WI) . . . . . . . . . 1
James Hendler and
Edward A. Feigenbaum Knowledge Is Power: The Semantic Web
Vision . . . . . . . . . . . . . . . . . 18
Nick Cercone From Computational Intelligence to Web
Intelligence: An Ensemble from Potpourri 30
W. Lewis Johnson Pedagogical Agents for Web-Based
Learning . . . . . . . . . . . . . . . . 43
Riichiro Mizoguchi Ontological Engineering: Foundation of
the Next Generation Knowledge Processing 44
Prabhakar Raghavan Social Networks on the Web and in the
Enterprise . . . . . . . . . . . . . . . 58
Patrick S. P. Wang $3$D Object Recognition and
Visualization on the Web . . . . . . . . 61
Jose Aguilar and
Ernst Leiss A Web Proxy Cache Coherency and
Replacement Approach . . . . . . . . . . 75
Chi-Huang Chiu and
Kai-Chih Liang and
Shyan-Ming Yuan Content Request Markup Language (CRML):
A Distributed Framework for XML-Based
Content Publishing . . . . . . . . . . . 85
Richard Jensen and
Qiang Shen A Rough Set-Aided System for Sorting WWW
Bookmarks . . . . . . . . . . . . . . . 95
Yutaka Matsuo and
Yukio Ohsawa and
Mitsuru Ishizuka Average-Clicks: A New Measure of
Distance on the World Wide Web . . . . . 106
Kwok Ching Tsui and
Jiming Liu and
Hiu Lo Liu Autonomy Oriented Load Balancing in
Proxy Cache Servers . . . . . . . . . . 115
Khoo Khyou Bun and
Mitsuru Ishizuka Emerging Topic Tracking System . . . . . 125
C. J. Butz On Axiomatizing Probabilistic
Conditional Independencies in Bayesian
Networks . . . . . . . . . . . . . . . . 131
DaeEun Kim and
Sea Woo Kim Dynamic Expert Group Models for
Recommender Systems . . . . . . . . . . 136
Robert McArthur and
Peter Bruza The ABC's of Online Community . . . . . 141
Hongjing Wu and
Paul De Bra Sufficient Conditions for Well-Behaved
Adaptive Hypermedia Systems . . . . . . 148
Vadim Doubrovski Towards Formal Specification of
Client-Server Interactions for a Wide
Range of Internet Applications . . . . . 153
Yasuyuki Sumi and
Kenji Mase Collecting, Visualizing, and Exchanging
Personal Interests and Experiences in
Communities . . . . . . . . . . . . . . 163
Alicja A. Wieczorkowska and
Zbigniew W. Ras Audio Content Description in Sound
Databases . . . . . . . . . . . . . . . 175
L. Ardissono and
A. Felfernig and
G. Friedrich and
D. Jannach and
R. Schäfer and
M. Zanker Intelligent Interfaces for Distributed
Web-Based Product and Service
Configuration . . . . . . . . . . . . . 184
Sunny S. J. Lin and
Eric Z.-F. Liu and
M. C. Cheng and
S. M. Yuan Using Networked Workshop System to
Enhance Creative Design . . . . . . . . 189
Naohiro Matsumura and
Yukio Ohsawa and
Mitsuru Ishizuka Discovering Seeds of New Interest Spread
from Premature Pages Cited by Multiple
Communities . . . . . . . . . . . . . . 195
Koichi Takeda and
Hiroshi Nomiyama Personalized Web Knowledge Management 200
Minsoo Lee and
Stanley Y. W. Su and
Herman Lam Event and Rule Services for Achieving a
Web-Based Knowledge Network . . . . . . 205
Heiner Stuckenschmidt and
Frank van Harmelen Knowledge-Based Validation, Aggregation,
and Visualization of Meta-data:
Analyzing a Web-Based Information System 217
W. Sardha Wijesoma and
K. W. Yue and
K. L Chien and
T. K. Chow Online Handwritten Signature
Verification for Electronic Commerce
over the Internet . . . . . . . . . . . 227
Vilas Wuwongse and
Kiyoshi Akama and
Chutiporn Anutariya and
Ekawit Nantajeewarawat A Data Model for XML Databases . . . . . 237
Tsunenori Mine and
Makoto Amamiya and
Teruko Mitamura Conference Information Management
System: Towards a Personal Assistant
System . . . . . . . . . . . . . . . . . 247
José Perdigao and
Anjula Garg and
Thomas Barbas and
Stefan Scheer and
Giuseppe Mastrangelo and
Giovanna Rubino Automatic Intelligence Gathering from
the Web: A Case Study in Container
Traffic . . . . . . . . . . . . . . . . 254
Won Bo Shim and
Seog Park The Work Concept RBAC Model for the
Access Control of the Distributed Web
Server Environment . . . . . . . . . . . 262
Kam Fai Wong and
Yat Fan Su and
Dongqing Yang and
Shiwei Tang A New Conceptual Graph Generated
Algorithm for Semi-structured Databases 267
Chien-Kang Huang and
Yen-Jen Oyang and
Lee-Feng Chien A Contextual Term Suggestion Mechanism
for Interactive Web Search . . . . . . . 272
Jong Ha Hwang and
Keung Hae Lee and
Soochan Hwang $3$DGML: A $3$-Dimensional Graphic
Information Retrieval System . . . . . . 282
Vincenzo Loia and
Paolo Luongo An Evolutionary Approach to Automatic
Web Page Categorization and Updating . . 292
Makoto Tsukada and
Takashi Washio and
Hiroshi Motoda Automatic Web-Page Classification by
Using Machine Learning Methods . . . . . 303
Z. W. Wang and
R. B. Maguire A Theory and Approach to Improving
Relevance Ranking in Web Retrieval . . . 314
Keiji Yanai and
Masaya Shindo and
Kohei Noshita A Fast Image-Gathering System on the
World-Wide Web Using a PC Cluster . . . 324
Hal D. Brian and
Max H. Garzon MELISSA: Mobile Electronic LSA Internet
Server Search Agent . . . . . . . . . . 335
Rowena Chau and
Chung-Hsing Yeh Construction of a Fuzzy Multilingual
Thesaurus and Its Application to
Cross-Lingual Text Retrieval . . . . . . 340
Yoojin Chung and
Hyuk-Chul Kwon and
Sang-Hwa Chung and
Kwang Ryel Ryu Declustering Web Content Indices for
Parallel Information Retrieval . . . . . 346
E. Desmontils and
C. Jacquin Indexing a Web Site to Highlight Its
Content . . . . . . . . . . . . . . . . 351
Maria Fasli and
Udo Kruschwitz Using Implicit Relevance Feedback in a
Web Search Assistant . . . . . . . . . . 356
Toru Fukumoto and
Kanji Akahori The Development and Evaluation of an
Integrated Imagery Access Engine . . . . 361
Kyung-Joong Kim and
Sung-Bae Cho Conceptual Information Extraction with
Link-Based Search . . . . . . . . . . . 367
Fang Li and
Huanye Sheng and
Wilhelm Weisweber World Wide Web --- A Multilingual
Language Resource . . . . . . . . . . . 373
Takashi Sakairi and
Hiroshi Nomiyama Query by History Tree Manipulation . . . 379
Kwang Mong Sim and
Pui Tak Wong Web-Based Information Retrieval Using
Agent and Ontology . . . . . . . . . . . 384
Chunru Wan and
Mingchun Liu and
Lipo Wang Content-Based Sound Retrieval for Web
Application . . . . . . . . . . . . . . 389
Katsuhiro Honda and
Nobukazu Sugiura and
Hidetomo Ichihashi and
Shoichi Araki Collaborative Filtering Using Principal
Component Analysis and Fuzzy Clustering 394
Raymond S. T. Lee i JADE IWShopper: A New Age of
Intelligent Mobile Web Shopping System
Based on Fuzzy-Neuro Agent Technology 403
J. F. Peters and
S. Ramanna and
A. Skowron and
M. Borkowski Wireless Agent Guidance of Remote Mobile
Robots: Rough Integral Approach to
Sensor Signal Analysis . . . . . . . . . 413
Yi-Jia Chen and
Von-Wun Soo Ontology-Based Information Gathering
Agents . . . . . . . . . . . . . . . . . 423
Seung-Ik Lee and
Chul Sung and
Sung-Bae Cho An Effective Conversational Agent with
User Modeling Based on Bayesian Network 428
Yuefeng Li Information Fusion for Intelligent
Agent-Based Information Gathering . . . 433
Myungeun Lim and
Juntae Kim An Adaptive Recommendation System with a
Coordinator Agent . . . . . . . . . . . 438
Masayuki Okabe and
Seiji Yamada Interactive Web Page Filtering with
Relational Learning . . . . . . . . . . 443
S. Vrettos and
A. Stafylopatis A Fuzzy Rule-Based Agent for Web
Retrieval-Filtering . . . . . . . . . . 448
Jianchao Han and
Nick Cercone Implementation Issues and Paradigms of
Visual KDD Systems . . . . . . . . . . . 454
Ahmad Kayed and
Robert M. Colomb Re-engineering Approach to Build Domain
Ontologies . . . . . . . . . . . . . . . 464
Naohiro Matsumura and
Yukio Ohsawa and
Mitsuru Ishizuka Discovery of Emerging Topics between
Communities on WWW . . . . . . . . . . . 473
Qiang Yang and
Henry Haining Zhang and
Ian T. Y. Li and
Ye Lu Mining Web Logs to Improve Web Caching
and Prefetching . . . . . . . . . . . . 483
V. Dubois and
M. Quafafou and
B. Habegger Mining Crawled Data and Visualizing
Discovered Knowledge . . . . . . . . . . 493
Vladimir Estivill-Castro and
Jianhua Yang Categorizing Visitors Dynamically by
Fast and Robust Clustering of Access
Logs . . . . . . . . . . . . . . . . . . 498
Rayid Ghani and
Rosie Jones and
Dunja Mladenic Online Learning for Web Query
Generation: Finding Documents Matching a
Minority Concept on the Web . . . . . . 508
Norihiro Ogata A Formal Ontology Discovery from Web
Documents . . . . . . . . . . . . . . . 514
V. Uma Maheswari and
Arul Siromoney and
K. M. Mehata The Variable Precision Rough Set Model
for Web Usage Mining . . . . . . . . . . 520
Kaoru Sumi and
Riichiro Mizoguchi Supporting Cooperative Consensus
Formation via Ontologies . . . . . . . . 525
Kyungsook Han and
Dongkyu Lee Web-Based Intelligent Call Center for an
Intensive Care Unit . . . . . . . . . . 530
Chunnian Liu and
Lei Zheng and
Junzhong Ji and
Chengzhong Yang and
Jingyue Li and
Wensheng Yang Electronic Homework on the WWW . . . . . 540
Markus Stolze and
Michael Ströbel The Shopping Gate --- Enabling Role- and
Preference-Specific E-commerce Shopping
Experiences . . . . . . . . . . . . . . 549
Paola Forcheri and
Maria Teresa Molfino and
Stefano Moretti and
Alfonso Quarati Building Reusable and Adaptable
Web-Based Courses . . . . . . . . . . . 562
Atsuo Hazeyama and
Akiko Nakako and
Sachiko Nakajima and
Keiji Osada Group Learning Support System for
Software Engineering Education ---
Web-based Collaboration Support between
the Teacher Side and the Student Groups 568
Junzhong Ji and
Lei Zheng and
Chunnian Liu The Intelligent Electronic Shopping
System Based on Bayesian Customer
Modeling . . . . . . . . . . . . . . . . 574
Sheng-Tun Li Leveraging a Web-Aware Self-Organization
Map Tool for Clustering and
Visualization . . . . . . . . . . . . . 579
Eric Zhi-Feng Liu and
Sunny S. J. Lin and
Shyan-Ming Yuan Experiencing NetPeas: Another Way of
Learning . . . . . . . . . . . . . . . . 584
Hiroyuki Mitsuhara and
Youji Ochi and
Yoneo Yano ITMS: Individualized Teaching Material
System --- Web-Based Exploratory
Learning Support System by Adaptive
Knowledge Integration . . . . . . . . . 589
Martin Molina An Intelligent Sales Assistant for
Configurable Products . . . . . . . . . 596
Ngoc Thanh Nguyen Reconciling of Disagreeing Data in
Web-Based Distributed Systems Using
Consensus Methods . . . . . . . . . . . 601
Youji Ochi and
Yoneo Yano and
Riko Wakita Web Based Digital Resource Library
Tracing Author's Quotation . . . . . . . 606
Anonymous Author Index . . . . . . . . . . . . . . 613
R. W. Brause Medical Analysis and Diagnosis by Neural
Networks . . . . . . . . . . . . . . . . 1
B. Sierra and
I. Inza and
P. Larrañaga On Applying Supervised Classification
Techniques in Medicine . . . . . . . . . 14
J. Crespo and
H. Billhardt and
J. Rodríguez-Pedrosa and
J. A. Sanandrés Methods and Criteria for Detecting
Significant Regions in Medical Image
Analysis . . . . . . . . . . . . . . . . 20
S. Acid and
L. M. de Campos and
S. Rodríguez and
J. M. Rodríguez and
J. L. Salcedo Using Bayesian Networks to Model
Emergency Medical Services . . . . . . . 28
F. Alonso and
Á. López-Illescas and
L. Martínez and
C. Montes and
J. P. Valente Analysis of Strength Data Based on
Expert Knowledge . . . . . . . . . . . . 35
V. Alves and
J. Neves and
M. Maia and
L. Nelas A Computational Environment for Medical
Diagnosis Support Systems . . . . . . . 42
J. M. Barreiro and
A. Carrascal and
D. Manrique and
J. Ríos and
A. Vilarrasa Automatic Detection of Regions of
Interest in Digitized Mammograms for
Computer-Aided Diagnosis . . . . . . . . 48
H. Billhardt and
J. Crespo and
V. Maojo and
F. Martin and
J. L. Maté A New Method for Unifying Heterogeneous
Databases . . . . . . . . . . . . . . . 54
R. Bittner and
P. Smrcka and
M. Pavelka and
P. Vysoký and
L. Pousek Fatigue Indicators of Drowsy Drivers
Based on Analysis of Physiological
Signals . . . . . . . . . . . . . . . . 62
B. Blobel and
G. Stassinopoulos and
P. Hoepner Secure and Interoperable Document
Management over the Internet --- The
Generic HARP Cross-Security Platform for
Clinical Studies . . . . . . . . . . . . 69
A. Bolotin A Generalized U. Function and Fuzzy
Modeling . . . . . . . . . . . . . . . . 75
M. Fazekas Special Time Series Models for Analysis
of Mortality Data . . . . . . . . . . . 81
J. A. F. del Pozo and
C. Bielza and
M. Gómez Knowledge Organisation in a Neonatal
Jaundice Decision Support System . . . . 88
M. Friger and
Y. Novack and
U. Ranft Quasi-Fourier Modeling for Individual
and Count Outcomes . . . . . . . . . . . 95
A. J. García de Linares and
L. de la Peña Fernández An Anatomical and Functional Model for
the Study of Cortical Functions . . . . 101
M. Grabert and
R. W. Holl and
U. Krause and
I. Melzer and
F. Schweiggert Predicting the Level of Metabolic
Control Using Collaborative Filtering 108
P. Juvan and
B. Zupan and
J. Demsar and
I. Bratko and
John A. Halter and
A. Kuspa and
G. Shaulsky Web-Enabled Knowledge-Based Analysis of
Genetic Data . . . . . . . . . . . . . . 113
E. Kaczmarek and
A. Wozniak and
W. Salwa-Zurawska Fuzzy Sets Applied to Image Processing
and Quantification of Interstitial
Fibrosis and Glomerular Size in Computer
Assisted Microscopy . . . . . . . . . . 120
E. Kordysh and
A. Bolotin and
M. Barchana and
R. Chen Cancer Epidemiology of Small
Communities: Using a Novel Approach to
Detecting Clusters . . . . . . . . . . . 126
M. Kurzynski and
E. Puchala and
J. Sas Hybrid Pattern Recognition Algorithms
with the Statistical Model Applied to
the Computer-Aided Medical Diagnosis . . 133
M. J. Lado and
A. J. Méndez and
P. G. Tahoces and
M. Souto and
J. J. Vidal Computer-Aided Diagnosis: Application of
Wavelet Transform to the Detection of
Clustered Microcalcifications in Digital
Mammograms . . . . . . . . . . . . . . . 140
L. M. Laita and
G. González-Páez and
E. Roanes-Lozano and
V. Maojo and
L. de Ledesma and
L. Laita A Methodology for Constructing Expert
Systems for Medical Diagnosis . . . . . 146
E. Lamma and
P. Mello and
A. Nanetti and
G. Poli and
F. Riguzzi and
S. Storari An Expert System for Microbiological
Data Validation and Surveillance . . . . 153
J. Laurikkala and
M. Juhola Hierarchical Clustering of Female
Urinary Incontinence Data Having Noise
and Outliers . . . . . . . . . . . . . . 161
R. Linder and
S. J. Pöppl ACMD: A Practical Tool for Automatic
Neural Net Based Learning . . . . . . . 168
J. Martí and
P. Planiol and
J. Freixenet and
J. Español and
E. Golobardes Development of a Mammographic Analysis
System Using Computer Vision Techniques 174
A. J. Méndez and
P. G. Tahoces and
C. Varela and
M. J. Lado and
M. Souto and
J. J. Vidal Improvement of a Mammographic CAD System
for Mass Detection . . . . . . . . . . . 181
H. Midelfart and
A. Lægreid and
J. Komorowski Classification of Gene Expression Data
in an Ontology . . . . . . . . . . . . . 186
M. Navío and
J. J. Aguilera and
M. J. del Jesus and
R. González and
F. Herrera and
C. Iríbar Feature Selection Algorithms Applied to
Parkinson's Disease . . . . . . . . . . 195
J. Orbe and
E. Ferreira and
V. Núñez-Antón A New Model for AIDS Survival Analysis 201
J. Paetz and
R. Brause A Frequent Patterns Tree Approach for
Rule Generation with Categorical Septic
Shock Patient Data . . . . . . . . . . . 207
J. Pereira and
A. Lamelo and
J. M. Vázquez-Naya and
M. Fernández and
J. Dorado and
A. Santos and
J. Teijeiro and
A. Pazos Analysis of Medical Diagnostic Images
via the Implementation and Access to a
Safe DICOM PACS with a Web Interface:
Analysis of Contrast-Enhanced CT Imaging
of Oral and Oropharyngeal Carcinomas . . 213
P. Perner Classification of HEp-2 Cells Using
Fluorescent Image Analysis and Data
Mining . . . . . . . . . . . . . . . . . 219
E. Puchala and
M. Kurzynski Multitask Pattern Recognition Algorithm
for the Medical Decision Support System 225
D. Riaño and
S. Prado The Analysis of Hospital Episodes . . . 231
J. Rodas and
K. Gibert and
J. E. Rojo Electroshock Effects Identification
Using Classification Based on Rules . . 238
D. Rotger and
C. Cañero and
P. Radeva and
J. Mauri and
E. Fernandez and
A. Tovar and
V. Valle Advanced Visualization of $3$D Data of
Intravascular Ultrasound Images . . . . 245
W. Sauerbrei Investigations on Stability and
Overoptimism of Classification Trees by
Using Cross-Validation . . . . . . . . . 251
A. Schlaefer and
K. Schröter and
L. Fritsche A Case-Based Approach for the
Classification of Medical Time Series 258
M. Siermala and
M. Juhola and
M. Vihinen Binary Vector or Real Value Coding for
Secondary Structure Prediction? A Case
Study of Polyproline Type II Prediction 264
M. Sprogar and
P. Kokol and
M. Zorman and
V. Podgorelec and
L. Lhotska and
J. Klema Notes on Medical Decision Model Creation 270
K. Viikki and
M. Juhola Refining the Knowledge Base of an
Otoneurological Expert System . . . . . 276
T. Walter and
J.-C. Klein Segmentation of Color Fundus Images of
the Human Retina: Detection of the Optic
Disc and the Vascular Tree Using
Morphological Techniques . . . . . . . . 282
F. Wang and
R. Quiniou and
G. Carrault and
M.-O. Cordier Learning Structural Knowledge from the
ECG . . . . . . . . . . . . . . . . . . 288
N. Wessel and
N. Marwan and
U. Meyerfeldt and
A. Schirdewan and
J. Kurths Recurrence Quantification Analysis to
Characterise the Heart Rate Variability
before the Onset of Ventricular
Tachycardia . . . . . . . . . . . . . . 295
X. Wu and
P. Lucas and
S. Kerr and
R. Dijkhuizen Learning Bayesian-Network Topologies in
Realistic Medical Domains . . . . . . . 302
Anonymous Author Index . . . . . . . . . . . . . . 309
Carlo Blundo and
Paolo D'Arco and
Vanesa Daza and
Carles Padró Bounds and Constructions for
Unconditionally Secure Distributed Key
Distribution Schemes for General Access
Structures . . . . . . . . . . . . . . . 1
Valeri Korjik and
Guillermo Morales-Luna and
Vladimir B. Balakirsky Privacy Amplification Theorem for Noisy
Main Channel . . . . . . . . . . . . . . 18
Giovanni Di Crescenzo and
Olga Kornievskaia Efficient Kerberized Multicast in a
Practical Distributed Setting . . . . . 27
Sigrid Gürgens and
Javier Lopez Suitability of a Classical Analysis
Method for E-commerce Protocols . . . . 46
Carlo Blundo and
Paolo D'Arco and
Alfredo De Santis and
Clemente Galdi Hyppocrates . . . . . . . . . . . . . . 63--80
Fumitaka Hoshino and
Masayuki Abe and
Tetsutaro Kobayashi Lenient/Strict Batch Verification in
Several Groups . . . . . . . . . . . . . 81
Dmitri Asonov and
Markus Schaal and
Johann-Christoph Freytag Absolute Privacy in Voting . . . . . . . 95
Tsan-sheng Hsu and
Churn-Jung Liau and
Da-Wei Wang A Logical Model for Privacy Protection 110
Enriquillo Valdez and
Moti Yung DISSECT: DIStribution for SECurity Tool 125
Stanley Chow and
Yuan Gu and
Harold Johnson and
Vladimir A. Zakharov An Approach to the Obfuscation of
Control-Flow of Sequential Computer
Programs . . . . . . . . . . . . . . . . 144
Mark Chapman and
George I. Davida and
Marc Rennhard A Practical and Effective Approach to
Large-Scale Automated Linguistic
Steganography . . . . . . . . . . . . . 156
David Sánchez and
Agustín Orfila and
Julio César Hernández and
José María Sierra Robust New Method in Frequency Domain
Watermarking . . . . . . . . . . . . . . 166
Diana Berbecaru and
Antonio Lioy and
Marius Marian On the Complexity of Public-Key
Certificate Validation . . . . . . . . . 183
Apol$\cdot$l\`onia Martínez-Nadal and
Josep L. Ferrer-Gomila Liability of Certification Authorities:
A Juridical Point of View . . . . . . . 204
Pawel Chodowiec and
Kris Gaj and
Peter Bellows and
Brian Schott Experimental Testing of the Gigabit
IPSec-Compliant Implementations of
Rijndael and Triple DES Using SLAAC-1V
FPGA Accelerator Board . . . . . . . . . 220
Kazumaro Aoki and
Fumitaka Hoshino and
Tetsutaro Kobayashi and
Hiroaki Oguro Elliptic Curve Arithmetic Using SIMD . . 235
Kostas Marinis and
Nikos K. Moshopoulos and
Fotis Karoubalis and
Kiamal Z. Pekmestzi On the Hardware Implementation of the
3GPP Confidentiality and Integrity
Algorithms . . . . . . . . . . . . . . . 248
Sheng-Bo Xu and
Lejla Batina Efficient Implementation of Elliptic
Curve Cryptosystems on an ARM7 with
Hardware Accelerator . . . . . . . . . . 266
Rainer Steinwandt and
Willi Geiselmann and
Thomas Beth A Theoretical DPA-Based Cryptanalysis of
the NESSIE Candidates FLASH and SFLASH 280
Routo Terada and
Paulo G. Pinheiro Quadratic Relations for S-Boxes: Their
Minimum Representations and Bounds . . . 294
Ismael Jiménez Calvo and
German Sáez Moreno Approximate Power Roots in
$\mathbb{Z}_m$ . . . . . . . . . . . . . 310
Bodo Möller Securing Elliptic Curve Point
Multiplication against Side-Channel
Attacks . . . . . . . . . . . . . . . . 324
Sofia Tzelepi and
George Pangalos A Flexible Role-Based Access Control
Model for Multimedia Medical Image
Database Systems . . . . . . . . . . . . 335
Elisa Bertino and
Barbara Carminati and
Elena Ferrari A Secure Publishing Service for Digital
Libraries of XML Documents . . . . . . . 347
Olivier Markowitch and
Steve Kremer An Optimistic Non-repudiation Protocol
with Transparent Trusted Third Party . . 363
Aris Anagnostopoulos and
Michael T. Goodrich and
Roberto Tamassia Persistent Authenticated Dictionaries
and Their Applications . . . . . . . . . 379
Josep L. Ferrer-Gomila and
Magadalena Payeras-Capell\`a and
Llorenç Huguet-Rotger Efficient Optimistic $N$-Party Contract
Signing Protocol . . . . . . . . . . . . 394
Koji Chida and
Kunio Kobayashi and
Hikaru Morita Efficient Sealed-Bid Auctions for
Massive Numbers of Bidders with Lump
Comparison . . . . . . . . . . . . . . . 408
Francesc Sebé and
Josep Domingo-Ferrer Oblivious Image Watermarking Robust
against Scaling and Geometric
Distortions . . . . . . . . . . . . . . 420
Christian D. Jensen Fingerprinting Text in Logical Markup
Languages . . . . . . . . . . . . . . . 433
Antonio Ruiz and
Gregorio Martínez and
Oscar Cánovas and
Antonio F. Gómez SPEED Protocol: Smartcard-Based Payment
with Encrypted Electronic Delivery . . . 446
Ik Rae Jeong and
Dong Hoon Lee and
Jong In Lim Efficient Transferable Cash with Group
Signatures . . . . . . . . . . . . . . . 462
Liqun Chen and
Wenbo Mao An Auditable Metering Scheme for Web
Advertisement Applications . . . . . . . 475
Jaime Delgado and
Isabel Gallego and
Xavier Perramon Broker-Based Secure Negotiation of
Intellectual Property Rights . . . . . . 486
Jae Seung Lee and
Sang Choon Kim Design of the Decision Support System
for Network Security Management to
Secure Enterprise Network . . . . . . . 497
Jia Wang and
Insup Lee Measuring False-Positive by Automated
Real-Time Correlated Hacking Behavior
Analysis . . . . . . . . . . . . . . . . 512
Kenji Masui and
Masahiko Tomoishi and
Naoki Yonezaki Design of UNIX System for the Prevention
of Damage Propagation by Intrusion and
Its Implementation Based on 4.4BSD . . . 536
Anonymous Author Index . . . . . . . . . . . . . . 553
Larry Smarr Assembling the Planetary Computer . . . 1
Fredrik Espinoza and
Per Persson and
Anna Sandin and
Hanna Nyström and
Elenor Cacciatore and
Markus Bylund GeoNotes: Social and Navigational
Aspects of Location-Based Information
Systems . . . . . . . . . . . . . . . . 2
Paul Castro and
Patrick Chiu and
Ted Kremenek and
Richard Muntz A Probabilistic Room Location Service
for Wireless Networked Environments . . 18
Hani Naguib and
George Coulouris Location Information Managment . . . . . 35
Cliff Randell and
Henk Muller Low Cost Indoor Positioning System . . . 42
W. Steven Conner and
Lakshman Krishnamurthy and
Roy Want Making Everyday Life Easier Using Dense
Sensor Networks . . . . . . . . . . . . 49
Shankar R. Ponnekanti and
Brian Lee and
Armando Fox and
Pat Hanrahan and
Terry Winograd ICrafter: A Service Framework for
Ubiquitous Computing Environments . . . 56
Radu Teodorescu and
Raju Pandey Using JIT Compilation and Configurable
Runtime Systems for Efficient Deployment
of Java Programs on Ubiquitous Devices 76
Peter Tandler Software Infrastructure for Ubiquitous
Computing Environments: Supporting
Synchronous Collaboration with
Heterogeneous Devices . . . . . . . . . 96
Lars Erik Holmquist and
Friedemann Mattern and
Bernt Schiele and
Petteri Alahuhta and
Michael Beigl and
Hans-W. Gellersen Smart-Its Friends: A Technique for Users
to Easily Establish Connections between
Smart Artefacts . . . . . . . . . . . . 116
Heather Richter and
Gregory D. Abowd and
Werner Geyer and
Ludwin Fuchs and
Shahrokh Daijavad and
Steven Poltrock Integrating Meeting Capture within a
Collaborative Team Environment . . . . . 123
Patrik Werle and
Fredrik Kilander and
Martin Jonsson and
Peter Lönnqvist and
Carl Gustaf Jansson A Ubiquitous Service Environment with
Active Documents for Teamwork Support 139
Yasuyuki Sumi and
Kenji Mase Digital Assistant for Supporting
Conference Participants: An Attempt to
Combine Mobile, Ubiquitous and Web
Computing . . . . . . . . . . . . . . . 156
Kris Nagel and
Cory D. Kidd and
Thomas O'Connell and
Anind Dey and
Gregory D. Abowd The Family Intercom: Developing a
Context-Aware Audio Communication System 176
Norbert Streitz Ubiquitous Computing and The
Disappearing Computer --- Research
Agendas, Issues, and Strategies . . . . 184
Allison Woodruff and
Margaret H. Szymanski and
Paul M. Aoki and
Amy Hurst The Conversational Role of Electronic
Guidebooks . . . . . . . . . . . . . . . 187
Khai N. Truong and
Gregory D. Abowd and
Jason A. Brotherton Who, What, When, Where, How: Design
Issues of Capture & Access Applications 209
Steve Benford and
John Bowers and
Paul Chandler and
Luigina Ciolfi and
Martin Flintham and
Mike Fraser and
Chris Greenhalgh and
Tony Hall and
Sten Olof Hellström and
Shahram Izadi and
Tom Rodden and
Holger Schnädelbach and
Ian Taylor Unearthing Virtual History: Using
Diverse Interfaces to Reveal Hidden
Virtual Worlds . . . . . . . . . . . . . 225
Thorstein Lunde and
Arve Larsen KISS the Tram: Exploring the PDA as
Support for Everyday Activities . . . . 232
Rebecca Hansson and
Peter Ljungstrand and
Johan Redström Subtle and Public Notification Cues for
Mobile Devices . . . . . . . . . . . . . 240
Ismail Haritaoglu InfoScope: Link from Real World to
Digital Information Space . . . . . . . 247
W. Keith Edwards and
Rebecca E. Grinter At Home with Ubiquitous Computing: Seven
Challenges . . . . . . . . . . . . . . . 256
Marc Langheinrich Privacy by Design --- Principles of
Privacy-Aware Ubiquitous Systems . . . . 273
Anders Kirkeby and
Rasmus Zacho and
Jock Mackinlay and
Polle Zellweger TrekTrack: A Round Wristwatch Interface
for SMS Authoring . . . . . . . . . . . 292
Joseph A. Paradiso and
Mark Feldmeier A Compact, Wireless, Self-Powered
Pushbutton Controller . . . . . . . . . 299
Brad A. Myers and
Choon Hong Peck and
Jeffrey Nichols and
Dave Kong and
Robert Miller Interacting at a Distance Using Semantic
Snarfing . . . . . . . . . . . . . . . . 305
Claudio Pinhanez The Everywhere Displays Projector: A
Device to Create Ubiquitous Graphical
Interfaces . . . . . . . . . . . . . . . 315
Joseph F. McCarthy and
Tony J. Costa and
Edy S. Liongosari UniCast, OutCast & GroupCast: Three Steps
Toward Ubiquitous, Peripheral Displays 332
Brad Johanson and
Shankar Ponnekanti and
Caesar Sengupta and
Armando Fox Multibrowsing: Moving Web Content across
Multiple Displays . . . . . . . . . . . 346
Daniel M. Russell and
Rich Gossweiler On the Design of Personal & Communal
Large Information Scale Appliances . . . 354
Oscar de Bruijn and
Robert Spence Serendipity within a Ubiquitous
Computing Environment: A Case for
Opportunistic Browsing . . . . . . . . . 362
Anonymous Author Index . . . . . . . . . . . . . . 371
GianLuigi Ferrari and
Ugo Montanari and
Emilio Tuosto A LTS Semantics of Ambients via Graph
Synchronization with Mobility . . . . . 1
Fabio Alessi and
Mariangiola Dezani-Ciancaglini and
Furio Honsell Filter Models and Easy Terms . . . . . . 17
Silvia Ghilezan and
Viktor Kuncak Confluence of Untyped Lambda Calculus
via Simple Types . . . . . . . . . . . . 38
Mario Coppo and
Daniel Hirschkoff Incremental Inference of Partial Types 50
Luca Paolini Call-by-Value Separability and
Computability . . . . . . . . . . . . . 74
Juraj Hromkovic and
Kathleen Steinhöfel and
Peter Widmayer Job Shop Scheduling with Unit Length
Tasks: Bounds and Algorithms . . . . . . 90
Klaus Jansen and
Monaldo Mastrolilli and
Roberto Solis-Oba Job Shop Scheduling Problems with
Controllable Processing Times . . . . . 107
Carlo Mereghetti and
Beatrice Palano Upper Bounds on the Size of One-Way
Quantum Finite Automata . . . . . . . . 123
Daniela Besozzi and
Claudio Zandron and
Giancarlo Mauri and
Nicoletta Sabadini $P$ Systems with Gemmation of Mobile
Membranes . . . . . . . . . . . . . . . 136
Giuseppe Prencipe Instantaneous Actions vs. Full
Asynchronicity: Controlling and
Coordinating a Set of Autonomous Mobile
Robots . . . . . . . . . . . . . . . . . 154
Alessandra Cherubini and
Stefano Crespi Reghizzi and
Pierluigi San Pietro Some Structural Properties of
Associative Language Descriptions . . . 172
Dora Giammarresi and
Rosa Montalbano and
Derick Wood Block-Deterministic Regular Languages 184
Marcella Anselmo Constructing Finite Maximal Codes from
Schützenberger Conjecture . . . . . . . . 197
Davide Ancona and
Christopher Anderson and
Ferruccio Damiani and
Sophia Drossopoulou and
Paola Giannini and
Elena Zucca An Effective Translation of Fickle into
Java . . . . . . . . . . . . . . . . . . 215
Michele Bugliesi and
Giuseppe Castagna and
Silvia Crafa Subtyping and Matching for Mobile
Objects . . . . . . . . . . . . . . . . 235
Diletta Cacciagrano and
Flavio Corradini On Synchronous and Asynchronous
Communication Paradigms . . . . . . . . 256
Lars Jacobsen and
Kim S. Larsen Complexity of Layered Binary Search
Trees with Relaxed Balance . . . . . . . 269
Jirí Fiala and
Jan Kratochvíl and
Andrzej Proskurowski Distance Constrained Labeling of
Precolored Trees . . . . . . . . . . . . 285
Lars Jacobsen and
Kim S. Larsen Exponentially Decreasing Number of
Operations in Balanced Trees . . . . . . 293
Giorgio Ausiello and
Paolo G. Franciosa and
Daniele Frigioni Directed Hypergraphs: Problems,
Algorithmic Results, and a Novel
Decremental Approach . . . . . . . . . . 312
Alexis C. Kaporis and
Lefteris M. Kirousis and
Yannis C. Stamatiou and
Malvina Vamvakari and
Michele Zito Coupon Collectors, $q$-Binomial
Coefficients and the Unsatisfiability
Threshold . . . . . . . . . . . . . . . 328
André Große and
Jörg Rothe and
Gerd Wechsung Relating Partial and Complete Solutions
and the Complexity of Computing Smallest
Solutions . . . . . . . . . . . . . . . 339
Paolo D'Arco On the Distribution of a Key
Distribution Center . . . . . . . . . . 357
Stelvio Cimato and
Annalisa De Bonis Online Advertising: Secure E-coupons . . 370
Nicola Olivetti and
Camilla B. Schwind A Calculus and Complexity Bound for
Minimal Conditional Logic . . . . . . . 384
Matteo Baldoni and
Laura Giordano and
Alberto Martelli and
Viviana Patti Reasoning about Complex Actions with
Incomplete Knowledge: A Modal Approach 405
Emanuele Viola E-unifiability via Narrowing . . . . . . 426
Anonymous Author Index . . . . . . . . . . . . . . 439
Paul Davidsson Categories of Artificial Societies . . . 1
Martin Fredriksson and
Rune Gustavsson A Methodological Perspective on
Engineering of Agent Societies . . . . . 10
Laurent Vercouter A Distributed Approach to Design Open
Multi-agent Systems . . . . . . . . . . 25
Giacomo Cabri and
Letizia Leonardi and
Marco Mamei and
Franco Zambonelli Engineering Infrastructures for Mobile
Organizations . . . . . . . . . . . . . 39
Pierangelo Dell'Acqua and
Luís Moniz Pereira Preferring and Updating in Abductive
Multi-agent Systems . . . . . . . . . . 57
László Aszalós and
Andreas Herzig Reasoning about Failure . . . . . . . . 74
Vincenzo Pallotta and
Afzal Ballim Agent-Oriented Language Engineering for
Robust NLP . . . . . . . . . . . . . . . 86
Paolo Torroni and
Francesca Toni Extending a Logic Based One-to-One
Negotiation Framework to One-to-Many
Negotiation . . . . . . . . . . . . . . 105
Bengt Carlsson The Tragedy of the Commons --- Arms Race
within Peer-to-Peer Tools . . . . . . . 119
Stanislaw Ambroszkiewicz and
Tomasz Nowak Agentspace as a Middleware for Service
Integration . . . . . . . . . . . . . . 134
Flavien Balbo and
Suzanne Pinson Toward a Multi-agent Modelling Approach
for Urban Public Transportation Systems 160
Filip Perich and
Lalana Kagal and
Harry Chen and
Sovrin Tolia and
Youyong Zou and
Tim Finin and
Anupam Joshi and
Yun Peng and
R. Scott Cost and
Charles Nicholas ITTALKS: An Application of Agents in the
Semantic Web . . . . . . . . . . . . . . 175
Anonymous Author Index . . . . . . . . . . . . . . 195
Hans-J. Bandelt Invited Presentation: Median Hulls as
Steiner Hulls in Rectilinear and
Molecular Sequence Spaces . . . . . . . 1
Friedhelm Meyer auf der Heide Invited Presentation: Data Management in
Networks . . . . . . . . . . . . . . . . 8
Sergei L. Bezrukov and
Robert Elsässer Edge-Isoperimetric Problems for
Cartesian Powers of Regular Graphs . . . 9
Ioannis Caragiannis and
Afonso Ferreira and
Christos Kaklamanis and
Stéphane Pérennes and
Pino Persiano and
Hervé Rivano Approximate Constrained Bipartite Edge
Coloring . . . . . . . . . . . . . . . . 21
Maw-Shang Chang and
Ton Kloks and
Chuan-Min Lee Maximum Clique Transversals . . . . . . 32
Maw-Shang Chang and
Haiko Müller On the Tree-Degree of Graphs . . . . . . 44
Jianer Chen and
Iyad A. Kanj On Constrained Minimum Vertex Covers of
Bipartite Graphs: Improved Algorithms 55
Serafino Cicerone and
Gianluca D'Ermiliis and
Gabriele Di Stefano ($k,+$)-Distance-Hereditary Graphs . . . 66
Derek G. Corneil and
Udi Rotics On the Relationship between Clique-Width
and Treewidth . . . . . . . . . . . . . 78
Sabine Cornelsen and
Yefim Dinitz and
Dorothea Wagner Planarity of the $2$-Level Cactus Model 91
Feodor F. Dragan Estimating All Pairs Shortest Paths in
Restricted Graph Families: A Unified
Approach . . . . . . . . . . . . . . . . 103
Wolfgang Espelage and
Frank Gurski and
Egon Wanke How to Solve NP-hard Graph Problems on
Clique-Width Bounded Graphs in
Polynomial Time . . . . . . . . . . . . 117
Haodi Feng $(g,f)$-Factorizations Orthogonal to $k$
Subgraphs . . . . . . . . . . . . . . . 129
Guillaume Fertin and
André Raspaud and
Bruce Reed On Star Coloring of Graphs . . . . . . . 140
Jirí Fiala and
Klaus Jansen and
Van Bang Le and
Eike Seidel Graph Subcolorings: Complexity and
Algorithms . . . . . . . . . . . . . . . 154
Fedor V. Fomin and
Hans L. Bodlaender Approximation of Pathwidth of
Outerplanar Graphs . . . . . . . . . . . 166
Fedor V. Fomin and
Dimitrios M. Thilikos On the Monotonicity of Games Generated
by Symmetric Submodular Functions . . . 177
Sven Fuhrmann and
Sven Oliver Krumke and
Hans-Christoph Wirth Multiple Hotlink Assignment . . . . . . 189
Cyril Gavoille and
David Peleg and
André Raspaud and
Eric Sopena Small $k$-Dominating Sets in Planar
Graphs with Applications . . . . . . . . 201
Clemens Gröpl and
Stefan Hougardy and
Till Nierhoff and
Hans Jürgen Prömel Lower Bounds for Approximation
Algorithms for the Steiner Tree Problem 217
Öjvind Johansson $\log n$-Approximative
NLC$_k$-Decomposition in $O(n^{2k+1})$
Time . . . . . . . . . . . . . . . . . . 229--240
Ekkehard Köhler and
Derek G. Corneil and
Stephan Olariu and
Lorna Stewart On Subfamilies of AT-Free Graphs . . . . 241
Daniel Král' and
Jan Kratochvíl and
Zsolt Tuza and
Gerhard J. Woeginger Complexity of Coloring Graphs without
Forbidden Induced Subgraphs . . . . . . 254
Van Bang Le and
Bert Randerath On Stable Cutsets in Line Graphs . . . . 263
Eunseuk Oh and
Jianer Chen On Strong Menger-Connectivity of Star
Graphs . . . . . . . . . . . . . . . . . 272
Maurizio Patrignani and
Maurizio Pizzonia The Complexity of the Matching-Cut
Problem . . . . . . . . . . . . . . . . 284
Rudi Pendavingh and
Petra Schuurman and
Gerhard J. Woeginger De Bruijn Graphs and DNA Graphs . . . . 296
Antonio Puricella and
Iain A. Stewart A Generic Greedy Algorithm,
Partially-Ordered Graphs and
NP-Completeness . . . . . . . . . . . . 306
Annegret Wagler Critical and Anticritical Edges in
Perfect Graphs . . . . . . . . . . . . . 317
Anonymous Author Index . . . . . . . . . . . . . . 329
Michael F. Goodchild A Geographer Looks at Spatial
Information Theory . . . . . . . . . . . 1
Barry Smith True Grid . . . . . . . . . . . . . . . 14
Thomas Bittner and
Barry Smith A Taxonomy of Granular Partitions . . . 28
Lars Kulik A Geometric Theory of Vague Boundaries
Based on Supervaluation . . . . . . . . 44
Gérard Ligozat When Tables Tell It All: Qualitative
Spatial and Temporal Reasoning Based on
Linear Orderings . . . . . . . . . . . . 60
Matt Duckham and
Michael Worboys Computational Structure in Three-Valued
Nearness Relations . . . . . . . . . . . 76
Shyamanta M. Hazarika and
Anthony G. Cohn Qualitative Spatio-Temporal Continuity 92
Brandon Bennett Application of Supervaluation Semantics
to Vaguely Defined Spatial Concepts . . 108
Andrew U. Frank and
Steffen Bittner and
Martin Raubal Spatial and Cognitive Simulation with
Multi-agent Systems . . . . . . . . . . 124
Geoffrey Edwards A Virtual Test Bed in Support of
Cognitively-Aware Geomatics Technologies 140
Sara Irina Fabrikant Evaluating the Usability of the Scale
Metaphor for Querying Semantic Spaces 156
Hartwig Hochmair and
Andrew U. Frank A Semantic Map as Basis for the Decision
Process in the www Navigation . . . . . 173--188
Susan L. Epstein and
Bernard Moulin and
Walid Chaker and
Janice Glasgow and
Jeremi Gancet Pragmatism and Spatial Layout Design . . 189
Christy R. Miller and
Gary L. Allen Spatial Frames of Reference Used in
Identifying Direction of Movement: An
Unexpected Turn . . . . . . . . . . . . 206
M. Jeanne Sholl The Role of a Self-Reference System in
Spatial Navigation . . . . . . . . . . . 217
M. E. Jefferies and
W. K. Yeap The Utility of Global Representations in
a Cognitive Map . . . . . . . . . . . . 233
Leonard Talmy How Spoken Language and Signed Language
Structure Space Differently . . . . . . 247
Christian Kray and
Jörg Baus and
Hubert Zimmer and
Harry Speiser and
Antonio Krüger Two Path Prepositions: Along and Past 263
Holly A. Taylor and
David H. Uttal and
Joan Fisher and
Marshall Mazepa Ambiguity in Acquiring Spatial
Representation from Descriptions
Compared to Depictions: The Role of
Spatial Orientation . . . . . . . . . . 278
Pierre-Emmanuel Michon and
Michel Denis When and Why Are Visual Landmarks Used
in Giving Directions? . . . . . . . . . 292
Joe Heike Steinhauer and
Tom Wiese and
Christian Freksa and
Thomas Barkowsky Recognition of Abstract Regions in
Cartographic Maps . . . . . . . . . . . 306
Christopher B. Jones and
Harith Alani and
Douglas Tudhope Geographical Information Retrieval with
Ontologies of Place . . . . . . . . . . 322
C. Schlieder and
T. Vögele and
U. Visser Qualitative Spatial Representation for
Information Retrieval by Gazetteers . . 336
Marlene Behrmann and
John Philbeck Spatial Representation and Updating:
Evidence from Neuropsychological
Investigations . . . . . . . . . . . . . 352
Thomas Barkowsky Mental Processing of Geographic
Knowledge . . . . . . . . . . . . . . . 371
Sylvie Fontaine Spatial Cognition and the Processing of
Verticality in Underground Environments 387
Clare Davies and
Eric Pederson Grid Patterns and Cultural Expectations
in Urban Wayfinding . . . . . . . . . . 400
Hedda R. Schmidtke The House Is North of the River:
Relative Localization of Extended
Objects . . . . . . . . . . . . . . . . 415
Alexander Scivos and
Bernhard Nebel Double-Crossing: Decidability and
Computational Complexity of a
Qualitative Calculus for Navigation . . 431
Markus Knauff and
Corinne Jola and
Gerhard Strube Spatial Reasoning: No Need for Visual
Information . . . . . . . . . . . . . . 447
Antony Galton A Formal Theory of Objects and Fields 458
Gilberto Câmara and
Max J. Egenhofer and
Frederico Fonseca and
Antônio Miguel Vieira Monteiro What's in an Image? . . . . . . . . . . 474
David M. Mark and
André Skupin and
Barry Smith Features, Objects, and Other Things:
Ontological Distinctions in the
Geographic Domain . . . . . . . . . . . 489
Anonymous Author Index . . . . . . . . . . . . . . 503
Hideyuki Takagi Interactive Evolutionary Computation as
Humanized Computational Intelligence
Technology . . . . . . . . . . . . . . . 1
Steffen Patzwahl and
Thomas Nacke and
Dieter Frense and
Dieter Beckmann and
Klaus-Dietrich Kramer and
Tobias Tautz and
Gerd-Rainer Vollmer Microcontroller-Based Fuzzy System to
Optimize the Anaerobic Digestion in
Biogas Reactors . . . . . . . . . . . . 2
Tatiana A. Dziouba and
Igor N. Rozenberg The Decision of Service Centres Location
Problem in Fuzzy Conditions . . . . . . 11
Minija Tamo\vsi\=unait\.e and
Erinija Prackevi\vcien\.e Application of the Biologically Inspired
Network for Electroencephalogram
Analysis . . . . . . . . . . . . . . . . 18
Jose L. Martin and
Luciano Boquete and
Carmen Diaz and
Manuel Garcia de Leon and
Manuel Mazo Discrimination between Two Mental States
(Rest and Motor Image) Using Wavelet
Transform and Neural Networks . . . . . 28
Tatiana Kiseliova and
Hajo Peters Decision Making in Diagnosis of Oral
Mucosa Lesions . . . . . . . . . . . . . 33
Janusz Kacprzyk Fuzzy Logic and the Internet: Linguistic
Summarization of Distributed Sets of
Data . . . . . . . . . . . . . . . . . . 40
Christian Leubner Adaptive Color- and Edge-Based Image
Segmentation Using Fuzzy Techniques . . 43
Yutaka Hata and
Syoji Kobashi and
Yasuhiro Tokimoto and
Makoto Ishikawa and
Hitoshi Ishikawa Computer Aided Diagnosis System of
Meniscal Tears with T1 and T2 Weighted
MR Images Based on Fuzzy Inference . . . 55
Aureli Soria-Frisch A New Paradigm for Fuzzy Aggregation in
Multisensorial Image Processing . . . . 59
Yevgeniy Bodyanskiy and
Vitaliy Kolodyazhniy and
Andreas Stephan An Adaptive Learning Algorithm for a
Neuro-fuzzy Network . . . . . . . . . . 68
Farshid Delgosha and
Mohammad B. Menhaj Fuzzy Probabilistic Neural Networks: A
Practical Approach to the Implementation
of Baysian [sic] Classifier . . . . . . 76--85
Miroslaw Bedzak Fuzzy-$\eta$ for Back Propagation
Networks . . . . . . . . . . . . . . . . 86
Andreas Rummler and
Gerd Scarbata eaLib --- A Java Framework for
Implementation of Evolutionary
Algorithms . . . . . . . . . . . . . . . 92
W. S. Wijesoma and
K. R. S. Kodagoda Experimental Evaluation of Fuzzy
Controllers for an Outdoor AGV . . . . . 103
Bernard Hugueney and
Bernadette Bouchon-Meunier Time-Series Segmentation and Symbolic
Representation, from Process-Monitoring
to Data-Mining . . . . . . . . . . . . . 118
Syoji Kobashi and
Yutaka Hata and
Yuri T. Kitamura and
Toshiaki Hayakata and
Toshio Yanagida Brain State Recognition Using Fuzzy
C-Means (FCM) Clustering with Near
Infrared Spectroscopy (NIRS) . . . . . . 124
A. Yardimci and
A. Ferikoglu and
N. Hadimioglu Microcontroller Based Fuzzy Logic
Sevofluorane Anesthesia Control System 137
Eulalia Szmidt and
Janusz Kacprzyk Intuitionistic Fuzzy Sets in some
Medical Applications . . . . . . . . . . 148
Vasile Palade and
Daniel-Ciprian Neagu and
Ron J. Patton Interpretation of Trained Neural
Networks by Rule Extraction . . . . . . 152
Héctor Allende and
Claudio Moraga and
Rodrigo Salas Neural Model Identification Using Local
Robustness Analysis . . . . . . . . . . 162
Matthias Reuter Computing with Activity Patterns . . . . 174
Navid Seifipour and
Mohammad B. Menhaj A GA-Based Algorithm with a Very Fast
Rate of Convergence . . . . . . . . . . 185
Gabriele Kern-Isberner Representing and Learning Conditional
Information in Possibility Theory . . . 194
J. Botzheim and
B. Hámori and
L. T. Kóczy Extracting Trapezoidal Membership
Functions of a Fuzzy Rule System by
Bacterial Algorithm . . . . . . . . . . 218
Didier Dubois Possibility Theory, Probability Theory
and Multiple-Valued Logics: A
Clarification . . . . . . . . . . . . . 228
Zoran M. Gacovski and
Georgi M. Dimirovski Parameterized Petri Net Reformulation of
the Fuzzy Production System . . . . . . 229
Martine De Cock and
E. E. Kerre Fuzzy Topologies Induced by Fuzzy
Relation Based Modifiers . . . . . . . . 239
H. Kiendl and
P. Krause Advanced Inference Filter
Defuzzification . . . . . . . . . . . . 249
Krzysztof Dyczkowski and
Maciej Wygralak On Cardinality and Singular Fuzzy Sets 261
Hazem El-Bakry Fast Iris Detection for Personal
Verification Using Modular Neural Nets 269
Hazem El-Bakry A Rotation Invariant Algorithm for
Recognition . . . . . . . . . . . . . . 284
Igor Aizenberg and
Ekaterina Myasnikova and
Maria Samsonova and
John Reinitz Application of the Neural Networks Based
on Multi-valued Neurons to
Classification of the Images of Gene
Expression Patterns . . . . . . . . . . 291
Gunther Heidemann A Multi-purpose Visual Classification
System . . . . . . . . . . . . . . . . . 305
Karsten Weicker Problem Difficulty in Real-Valued
Dynamic Problems . . . . . . . . . . . . 313
Gabriella Kókai GeLog --- A System Combining Genetic
Algorithm with Inductive Logic
Programming . . . . . . . . . . . . . . 326
Arita Takahashi and
Arkady Borisov Decision Strategies in Evolutionary
Optimization . . . . . . . . . . . . . . 345
István Borgulya A Cluster-Based Evolutionary Algorithm
for Multi-objective Optimization . . . . 357
Kouki Nagamune and
Yutaka Hata and
Kazuhiko Taniguchi Inherent Wave Estimation on Ultrasonic
Non-destructive Testing Using Fuzzy
Inference . . . . . . . . . . . . . . . 369
Eyke Hüllermeier Fuzzy Association Rules: Semantic Issues
and Quality Measures . . . . . . . . . . 380
Chongfu Huang and
Claudio Moraga and
Xingguang Yuan Calculation vs. Subjective Assessment
with Respect to Fuzzy Probability . . . 392
Ingo Renners and
Adolf Grauel and
Ernesto Saavedra Methodology for Optimizing Fuzzy
Classifiers Based on Computational
Intelligence . . . . . . . . . . . . . . 412
Matthias Reuter Analysing the Structure of
Poly-crystalline Materials by
$2$-Dimensional DLS-Spectra and Neural
Nets . . . . . . . . . . . . . . . . . . 420
Victor Varshavsky and
Vyacheslav Marakhovsky A Neuron-MOS Threshold Element with
Switching Capacitors . . . . . . . . . . 430
Victor Neagoe A Neural Approach to Compression of
Hyperspectral Remote Sensing Imagery . . 436
Igor Aizenberg Multi-valued and Universal Binary
Neurons: New Applications in Intelligent
Image Processing . . . . . . . . . . . . 450
Julian Dorado and
Antonino Santos and
Juan R. Rabuñal and
Nieves Pedreira and
Alejandro Pazos Hybrid Two-Population Genetic Algorithm 464
Patrick Monsieurs and
Eddy Flerackers Reducing Bloat in Genetic Programming 471
Frank Schmiedle and
Daniel Große and
Rolf Drechsler and
Bernd Becker Too Much Knowledge Hurts: Acceleration
of Genetic Programs for Learning
Heuristics . . . . . . . . . . . . . . . 479
Ernesto Saavedra and
Ingo Renners and
Adolf Grauel and
H. J. Convey and
A. Razak Gaussians-Based Hybrid System for
Prediction and Classification . . . . . 492
Leonid Bershtein and
Alexander Bozhenuk A Color Problem for Fuzzy Graph . . . . 500
Helmut Thiele On the Uniqueness of Interpretations for
Fuzzy IF--THEN Rule Bases . . . . . . . 506
Jaros\law Pykacz and
Bart D'Hooghe and
Roman R. Zapatrin Quantum Computers as Fuzzy Computers . . 526
K. W. Wong and
L. T. Kóczy and
T. D. Gedeon and
A. Chong and
D. Tikk Improvement of the Cluster Searching
Algorithm in Sugeno and Yasukawa's
Qualitative Modeling Approach . . . . . 536
B.-J. Falkowski and
J. Nietzschmann Can Perceptrons Identify Users of Body
Lotion? . . . . . . . . . . . . . . . . 550
Jerzy Martyna Reinforcement Learning for Control of
Traffic and Access Points in Intelligent
Wireless ATM Networks . . . . . . . . . 554
Sabine Bostelmann Categorization of Time Delay by Means of
Neural Networks . . . . . . . . . . . . 565
Kai Dadhe and
Volker Roßmann and
Kazim Durmus and
Sebastian Engell Neural Networks as a Tool for Gray Box
Modelling in Reactive Distillation . . . 576
Lars Nolle and
Alec Goodyear and
Adrian A. Hopgood and
Phil D. Picton and
Nicholas StJ. Braithwaite On Step Width Adaptation in Simulated
Annealing for Continuous Parameter
Optimisation . . . . . . . . . . . . . . 589--598
Marcus Gemeinder and
Michael Gerke GA-Based Search for Paths with Minimum
Energy Consumption for Mobile Robot
Systems . . . . . . . . . . . . . . . . 599
Mahrokh G. Shayesteh and
Mohammad B. Menhaj and
Babak G. Nobary A New Modified Genetic Algorithm for
Multiuser Detection in DS/CDMA Systems 608
Thomas Villmann and
Conny Albani Clustering of Categoric Data in Medicine
--- Application of Evolutionary
Algorithms . . . . . . . . . . . . . . . 619
Lotfi A. Zadeh A New Direction in AI --- Toward a
Computational Theory of Perceptions . . 628
Gero Presser Personalization of Newsletters Using
Multistage Fuzzy Inference . . . . . . . 629
Ernesto Damiani and
Barbara Oliboni and
Letizia Tanca Fuzzy Techniques for XML Data Smushing 637
Thomas Bernard and
Markoto Sajidman and
Helge-Björn Kuntze A New Fuzzy-Based Multi-objective
Optimization Concept for Process Control
Systems . . . . . . . . . . . . . . . . 653
Felipe Fernández and
Julio Gutiérrez An Improved Shape-Preserving Affine
Takagi-Sugeno Controller Using Splines 671
Juan A. Botía and
Antonio F. Gómez-Skarmeta and
Mercedes Valdés and
Antonio Padilla METALA: A Meta-learning Architecture . . 688
W. Sardha Wijesoma and
Mingming Ma and
K. W. Yue On-Line Signature Verification Using a
Computational Intelligence Approach . . 699
Michael Krödel and
Klaus-Dieter Kuhnert Autonomous Driving through Intelligent
Image Processing and Machine Learning 712
Szilveszter Kovács SVD Reduction in Continuos Environment
Reinforcement Learning . . . . . . . . . 719
Carlos Cotta and
José M. Troya Analyzing Directed Acyclic Graph
Recombination . . . . . . . . . . . . . 739
Hayato Uchida and
Yutaka Hata and
Shinro Matsuura and
Tadahiro Tsuchikawa and
Yoshio Morotomi and
Hideyasu Aoyama Rough Set Based Knowledge Discovery of
Interface for the Internet Usage among
Japanese Elderly Women . . . . . . . . . 749
Martin Kalina Fuzzy Limits and Fuzzy Nearness Relation 755
Berend-Jan van der Zwaag Handwritten Digit Recognition: A Neural
Network Demo . . . . . . . . . . . . . . 762
Thomas Kromer New Neural Nets . . . . . . . . . . . . 772
Bohdan S. Butkiewicz Inference in Fuzzy Models of Physical
Processes . . . . . . . . . . . . . . . 782
Hartmut Surmann About the Combination of Functional
Approaches and Fuzzy Reasoning . . . . . 791
Anna Slobodová Expected Utility Networks in
Transferable Belief Model . . . . . . . 800
Jonathan Corcoran and
Ian D. Wilson and
Owen M. Lewis and
J. Andrew Ware Data Clustering and Rule Abduction to
Facilitate Crime Hot Spot Prediction . . 807
Marcus Gemeinder Computing with Words: Multi-objective
GAS for Approximate Reasoning . . . . . 822
Djavvat Khadjiev and
Funda Karaçal The Description of All $\vee
$-Distributive Triangular Norms of
Lengths $2$ and $3$ . . . . . . . . . . 829
Preslav Nakov Latent Semantic Analysis for German
Literature Investigation . . . . . . . . 834
Eriks Tipans and
Arkady Borisov Some Possibilities of Improving the CORA
Classification Algorithm . . . . . . . . 842
O\uguzhan Yìlmaz and
Günseli Görür and
Türkay Dereli Computer Aided Selection of Cutting
Parameters by Using Fuzzy Logic . . . . 854
Joachim Neumann and
Görge Deerberg and
Stefan Schlüter and
Hans Fahlenkamp Process Monitoring in Chemical Plants
Using Neural Networks . . . . . . . . . 871
Mariana Dumitrescu and
Toader Munteanu Fuzzy Probability and Power System
Safety . . . . . . . . . . . . . . . . . 885
Mariana Dumitrescu and
Toader Munteanu A Fuzzy Logic System Used in Safety
Analysis . . . . . . . . . . . . . . . . 890
Zenon A. Sosnowski Chaining of Fuzzy Rules in RETE Network 895
Marius Cãlin and
Dan Gâlea A Fuzzy Relation for Comparing Intervals 904
Thomas Kromer Tomography in Fractal Neural Nets . . . 917
Eric Y. Chen AEGIS: An Active-Network-Powered Defense
Mechanism against DDoS Attacks . . . . . 1
Laurent Lef\`evre and
Cong-duc Pham and
Pascale Primet and
Bernard Tourancheau and
Benjamin Gaidioz and
Jean-Patrick Gelas and
Moufida Maimour Active Networking Support for the Grid 16
Takashi Egawa and
Koji Hino and
Yohei Hasegawa Fast and Secure Packet Processing
Environment for Per-Packet QoS
Customization . . . . . . . . . . . . . 34
Toru Hasegawa and
Shigehiro Ano and
Koji Nakao and
Fumito Kubota Programmable Remote Traffic Monitoring
Method Using Active Network Approach . . 49
Georg Carle and
Henning Sanneck and
Sebastian Zander and
Long Le Deploying an Active Voice Application on
a Three-Level Active Network Node
Architecture . . . . . . . . . . . . . . 65
Steven Simpson and
Mark Banfield and
Paul Smith and
David Hutchison Component Selection for Heterogeneous
Active Networking . . . . . . . . . . . 84
Kostas G. Anagnostakis and
Sotiris Ioannidis and
Stefan Miltchev and
Jonathan M. Smith Practical Network Applications on a
Lightweight Active Management
Environment . . . . . . . . . . . . . . 101
Seiichiro Tani and
Toshiaki Miyazaki and
Noriyuki Takahashi Adaptive Stream Multicast Based on IP
Unicast and Dynamic Commercial
Attachment Mechanism: An Active Network
Implementation . . . . . . . . . . . . . 116
Michael Hicks and
Jonathan T. Moore and
Scott Nettles Compiling PLAN to SNAP . . . . . . . . . 134
Carlos Macián The Octopus Network Model: Opening Up
the Internet to Active and Programmable
Network Implementations . . . . . . . . 152
Anonymous Author Index . . . . . . . . . . . . . . 165
Kensaku Mori and
Daisuke Deguchi and
Jun-ichi Hasegawa and
Yasuhito Suenaga and
Jun-ichiro Toriwaki and
Hirotsugu Takabatake and
Hiroshi Natori A Method for Tracking the Camera Motion
of Real Endoscope by Epipolar Geometry
Analysis and Virtual Endoscopy System 1
Atsushi Nishikawa and
Toshinori Hosoi and
Kengo Koara and
Daiji Negoro and
Ayae Hikita and
Shuichi Asano and
Fumio Miyazaki and
Mitsugu Sekimoto and
Yasuhiro Miyake and
Masayoshi Yasui and
Morito Monden Real-Time Visual Tracking of the
Surgeon's Face for Laparoscopic Surgery 9
Ofer Ron and
Leo Joskowicz and
Ariel Simkin and
Charles Milgrom Computer-Based Periaxial Rotation
Measurement for Aligning Fractured Femur
Fragments: Method and Preliminary
Results . . . . . . . . . . . . . . . . 17
Guido Gerig and
Martin Styner and
Martha E. Shenton and
Jeffrey A. Lieberman Shape versus Size: Improved
Understanding of the Morphology of Brain
Structures . . . . . . . . . . . . . . . 24
Sylvain Bouix and
Jens C. Pruessner and
Donald L. Collins and
Kaleem Siddiqi Hippocampal Shape Analysis Using Medial
Surfaces . . . . . . . . . . . . . . . . 33
C. Studholme and
V. Cardenas and
N. Schuff and
H. Rosen and
B. Miller and
M. Weiner Detecting Spatially Consistent
Structural Differences in Alzheimer's
and Fronto Temporal Dementia Using
Deformation Morphometry . . . . . . . . 41
Mark Holden and
Julia A. Schnabel and
Derek L. G. Hill Quantifying Small Changes in Brain
Ventricular Volume Using Non-rigid
Registration . . . . . . . . . . . . . . 49
Rhodri H. Davies and
Tim F. Cootes and
John C. Waterton and
Chris J. Taylor An Efficient Method for Constructing
Optimal Statistical Shape Models . . . . 57
Ghassan Hamarneh and
Tim McInerney and
Demetri Terzopoulos Deformable Organisms for Automatic
Medical Image Analysis . . . . . . . . . 66
D. Rueckert and
A. F. Frangi and
J. A. Schnabel Automatic Construction of $3$D
Statistical Deformation Models Using
Non-rigid Registration . . . . . . . . . 77
S. B. Göktürk and
C. Tomasi and
B. Acar and
D. Paik and
C. Beaulieu and
S. Napel A Learning Method for Automated Polyp
Detection . . . . . . . . . . . . . . . 85
Yasuyo Kita and
Eriko Tohno and
Ralph P. Highnam and
Michael Brady A CAD System for $3$D Locating of
Lesions in Mammogram . . . . . . . . . . 94
Y. Kawata and
N. Niki and
H. Ohmatsu and
M. Kusumoto and
R. Kakinuma and
K. Mori and
H. Nishiyama and
K. Eguchi and
M. Kaneko and
N. Moriyama Analysis of Pulmonary Nodule Evolutions
Using a Sequence of Three-Dimensional
Thoracic CT Images . . . . . . . . . . . 103
Torsten Rohlfing and
Calvin R. Maurer, Jr. Intensity-Based Non-rigid Registration
Using Adaptive Multilevel Free-Form
Deformation with an Incompressibility
Constraint . . . . . . . . . . . . . . . 111
Steven Haker and
Allen Tannenbaum and
Ron Kikinis Mass Preserving Mappings and Image
Registration . . . . . . . . . . . . . . 120
M. Kauer and
V. Vuskovic and
J. Dual and
G. Szekely and
M. Bajka Inverse Finite Element Characterization
of Soft Tissues . . . . . . . . . . . . 128
Joel Brown and
Kevin Montgomery and
Jean-Claude Latombe and
Michael Stephanides A Microsurgery Simulation System . . . . 137
Han-Wen Nienhuys and
A. Frank van der Stappen A Surgery Simulation Supporting Cuts and
Finite Element Deformation . . . . . . . 145
Juan R. Cebral and
Rainald Löhner and
Orlando Soto and
Peter L. Choyke and
Peter J. Yim Patient-Specific Simulation of Carotid
Artery Stenting Using Computational
Fluid Dynamics . . . . . . . . . . . . . 153
Elizabeth Bullitt and
Stephen Aylward Volume Rendering of Segmented Tubular
Objects . . . . . . . . . . . . . . . . 161
Roel Truyen and
Thomas Deschamps and
Laurent D. Cohen Clinical Evaluation of an Automatic Path
Tracker for Virtual Colonoscopy . . . . 169
Erik Meijering and
Wiro Niessen and
Joachim Weickert and
Max Viergever Evaluation of Diffusion Techniques for
Improved Vessel Visualization and
Quantification in Three-Dimensional
Rotational Angiography . . . . . . . . . 177
J.-F. Mangin and
C. Poupon and
C. Clark and
D. Le Bihan and
I. Bloch Eddy-Current Distortion Correction and
Robust Tensor Estimation for MR
Diffusion Imaging . . . . . . . . . . . 186
Klaus Hahn and
Sergei Prigarin and
Benno Pütz Edge Preserving Regularization and
Tracking for Diffusion Tensor Imaging 195
Koen Van Leemput and
Frederik Maes and
Dirk Vandermeulen and
Paul Suetens A Statistical Framework for Partial
Volume Segmentation . . . . . . . . . . 204
Vidya Elangovan and
Ross T. Whitaker From Sinograms to Surfaces: A Direct
Approach to the Segmentation of
Tomographic Data . . . . . . . . . . . . 213
M. Sermesant and
Y. Coudi\`ere and
H. Delingette and
N. Ayache and
J. A. Désidéri An Electro-mechanical Model of the Heart
for Cardiac Image Analysis . . . . . . . 224
Kathleen J. M. Surry and
Wendy L. Smith and
Gregory R. Mills and
Donal B. Downey and
Aaron Fenster A Mechanical, Three-Dimensional,
Ultrasound-Guided Breast Biopsy
Apparatus . . . . . . . . . . . . . . . 232
Michael Rosenthal and
Andrei State and
Joohi Lee and
Gentaro Hirota and
Jeremy Ackerman and
Kurtis Keller and
Etta D. Pisano and
Michael Jiroutek and
Keith Muller and
Henry Fuchs Augmented Reality Guidance for Needle
Biopsies: A Randomized, Controlled Trial
in Phantoms . . . . . . . . . . . . . . 240
Alexandru Patriciu and
Stephen Solomon and
Louis Kavoussi and
Dan Stoianovici Robotic Kidney and Spine Percutaneous
Procedures Using a New Laser-Based CT
Registration Method . . . . . . . . . . 249
P. Hellier and
C. Barillot and
I. Corouge and
B. Gibaud and
G. Le Goualher and
L. Collins and
A. Evans and
G. Malandain and
N. Ayache Retrospective Evaluation of
Inter-subject Brain Registration . . . . 258
Simon K. Warfield and
Jan Rexilius and
Petra S. Huppi and
Terrie E. Inder and
Erik G. Miller and
William M. Wells III and
Gary P. Zientara and
Ferenc A. Jolesz and
Ron Kikinis A Binary Entropy Measure to Assess
Nonrigid Registration Algorithms . . . . 266
Christophe Grova and
Arnaud Biraben and
Jean-Marie Scarabin and
Pierre Jannin and
Ir\`ene Buvat and
Habib Benali and
Bernard Gibaud A Methodology to Validate MRI/SPECT
Registration Methods Using Realistic
Simulated SPECT Data . . . . . . . . . . 275
Graham Treece and
Richard Prager and
Andrew Gee and
Laurence Berman Correction of Probe Pressure Artifacts
in Freehand $3$D Ultrasound . . . . . . 283
Kawal Rhode and
Gareth Ennew and
Tryphon Lambrou and
Alexander Seifalian and
David Hawkes In-Vitro Validation of a Novel
Model-Based Approach to the Measurement
of Arterial Blood Flow Waveforms from
Dynamic Digital X-ray Images . . . . . . 291
G. Behiels and
F. Maes and
D. Vandermeulen and
P. Suetens Retrospective Correction of the Heel
Effect in Hand Radiographs . . . . . . . 301
Gilles Duchemin and
Etienne Dombre and
François Pierrot and
Philippe Poignet and
Eric Dégoulange SCALPP: A Safe Methodology to Robotize
Skin Harvesting . . . . . . . . . . . . 309
Anshul Thakral and
Jeffrey Wallace and
Damian Tomlin and
Nikesh Seth and
Nitish V. Thakor Surgical Motion Adaptive Robotic
Technology (S.M.A.R.T): Taking the
Motion out of Physiological Motion . . . 317
Adriana Vilchis Gonzales and
Philippe Cinquin and
Jocelyne Troccaz and
Agn\`es Guerraz and
Bernard Hennion and
Franck Pellissier and
Pierre Thorel and
Fabien Courreges and
Alain Gourdon and
Gérard Poisson and
Pierre Vieyres and
Pierre Caron and
Olivier Mérigeaux and
Lo\"\ic Urbain and
Cédric Daimo and
Stéphane Lavallée and
Philippe Arbeille and
Marc Althuser and
Jean-Marc Ayoubi and
Bertrand Tondu and
Serge Ippolito TER: A System for Robotic
Tele-echography . . . . . . . . . . . . 326
Xin Ma and
Zhong Fan and
Chee-Kong Chui and
Yiyu Cai and
James H. Anderson and
Wieslaw L. Nowinski Digital Angioplasty Balloon Inflation
Device for Interventional Cardiovascular
Procedures . . . . . . . . . . . . . . . 335
Giuseppe Megali and
Oliver Tonet and
Cesare Stefanini and
Mauro Boccadoro and
Vassilios Papaspyropoulos and
Licinio Angelini and
Paolo Dario A Computer-Assisted Robotic
Ultrasound-Guided Biopsy System for
Video-Assisted Surgery . . . . . . . . . 343
Gang Cheng and
Haisong Liu and
Lydia Liao and
Yan Yu Dynamic Brachytherapy of the Prostate
Under Active Image Guidance . . . . . . 351
M. P. S. F. Gomes and
A. R. W. Barrett and
B. L. Davies Computer-Assisted Soft-Tissue Surgery
Training and Monitoring . . . . . . . . 360
G. Lehmann and
A. Chiu and
D. Gobbi and
Y. Starreveld and
D. Boyd and
M. Drangova and
T. Peters Towards Dynamic Planning and Guidance of
Minimally Invasive Robotic Cardiac
Bypass Surgical Procedures . . . . . . . 368
Damian Tomlin and
Jeffrey Wallace and
Ralph Etienne-Cummings and
Nitish Thakor Novel Real-Time Tremor Transduction
Technique for Microsurgery . . . . . . . 376
Julien Dutreuil and
François Goulette and
Claude Laurgeau and
Jaime Clavero Zoreda and
Stefan Lundgren Computer Assisted Dental Implantology: A
New Method and a Clinical Validation . . 384
Hongen Liao and
Susumu Nakajima and
Makoto Iwahara and
Etsuko Kobayashi and
Ichiro Sakuma and
Naoki Yahagi and
Takeyoshi Dohi Intra-operative Real-Time $3$-D
Information Display System Based on
Integral Videography . . . . . . . . . . 392
M. W. Vogel and
Suprijanto and
F. M. Vos and
H. A. Vrooman and
A. M. Vossepoel and
P. M. T. Pattynama Towards Motion-Robust Magnetic Resonance
Thermometry . . . . . . . . . . . . . . 401--408
Manuela Kunz and
Matthias Strauss and
Frank Langlotz and
Georg Deuretzbacher and
Wolfgang Rüther and
Lutz-Peter Nolte A Non-CT Based Total Knee Arthroplasty
System Featuring Complete Soft-Tissue
Balancing . . . . . . . . . . . . . . . 409
Dinggang Shen and
Zhiqiang Lao and
Jianchao Zeng and
Edward H. Herskovits and
Gabor Fichtinger and
Christos Davatzikos A Statistical Atlas of Prostate Cancer
for Optimal Biopsy . . . . . . . . . . . 416
D. Serby and
M. Harders and
G. Székely A New Approach to Cutting into Finite
Element Models . . . . . . . . . . . . . 425
James Xia and
Jaime Gateno and
John Teichgraeber and
Andrew Rosen Methodology of Precise Skull Model
Creation . . . . . . . . . . . . . . . . 434
David Dean and
Pengpeng Zhang and
Andrew K. Metzger and
Claudio Sibata and
Robert J. Maciunas Medial Axis Seeding of a Guided
Evolutionary Simulated Annealing (GESA)
Algorithm for Automated Gamma Knife
Radiosurgery Treatment Planning . . . . 441
Nathan Wilson and
Kenneth Wang and
Robert W. Dutton and
Charles Taylor A Software Framework for Creating
Patient Specific Geometric Models from
Medical Imaging Data for Simulation
Based Medical Planning of Vascular
Surgery . . . . . . . . . . . . . . . . 449
Zirui Li and
Chee-Kong Chui and
Yiyu Cai and
James H. Anderson and
Wieslaw L. Nowinski Interactive Catheter Shape Modeling in
Interventional Radiology Simulation . . 457
Yiyu Cai and
Chee-Kong Chui and
Yaoping Wang and
Zhenlan Wang and
James H. Anderson Parametric Eyeball Model for Interactive
Simulation of Ophthalmologic Surgery . . 465
Stefan Zachow and
Evgeny Gladilin and
Hans-Florian Zeilhofer and
Robert Sader Improved $3$D Osteotomy Planning in
Cranio-maxillofacial Surgery . . . . . . 473
Marie-Pierre Jolly Combining Edge, Region, and Shape
Information to Segment the Left
Ventricle in Cardiac MR Images . . . . . 482
S. Young and
V. Pekar and
J. Weese Vessel Segmentation for Visualization of
MRA with Blood Pool Contrast Agent . . . 491
Rok Bernard and
Bostjan Likar and
Franjo Pernus Segmenting Articulated Structures by
Hierarchical Statistical Modeling of
Shape, Appearance, and Topology . . . . 499
Siddharth Srivastava and
Koen Van Leemput and
Frederik Maes and
Dirk Vandermeulen and
Paul Suetens Validation of Nonlinear Spatial
Filtering to Improve Tissue Segmentation
of MR Brain Images . . . . . . . . . . . 507
Guido Gerig and
Matthieu Jomier and
Miranda Chakos Valmet: A New Validation Tool for
Assessing and Improving $3$D Object
Segmentation . . . . . . . . . . . . . . 516
Guo-Qing Wei and
JianZhong Qian and
Helmuth Schramm A Dual Dynamic Programming Approach to
the Detection of Spine Boundaries . . . 524
David Sarrut and
Sébastien Clippe Geometrical Transformation Approximation
for $2$D/$3$D Intensity-Based
Registration of Portal Images and CT
Scan . . . . . . . . . . . . . . . . . . 532
J. Lötjönen and
T. Mäkelä Elastic Matching Using a Deformation
Sphere . . . . . . . . . . . . . . . . . 541
Torsten Butz and
Jean-Philippe Thiran Affine Registration with Feature Space
Mutual Information . . . . . . . . . . . 549
Timo Mäkelä and
Patrick Clarysse and
Jyrki Lötjönen and
Outi Sipilä and
Kirsi Lauerma and
Helena Hänninen and
Esa-Pekka Pyökkimies and
Jukka Nenonen and
Juhani Knuuti and
Toivo Katila and
Isabelle E. Magnin A New Method for the Registration of
Cardiac PET and MR Images Using
Deformable Model Based Segmentation of
the Main Thorax Structures . . . . . . . 557
P. Jannin and
M. Raimbault and
X. Morandi and
B. Gibaud Modeling Surgical Procedures for
Multimodal Image-Guided Neurosurgery . . 565
Julia A. Schnabel and
Daniel Rueckert and
Marcel Quist and
Jane M. Blackall and
Andy D. Castellano-Smith and
Thomas Hartkens and
Graeme P. Penney and
Walter A. Hall and
Haiying Liu and
Charles L. Truwit and
Frans A. Gerritsen and
Derek L. G. Hill and
David J. Hawkes A Generic Framework for Non-rigid
Registration Based on Non-uniform
Multi-level Free-Form Deformations . . . 573
Manfred Alker and
Sönke Frantz and
Karl Rohr and
H. Siegfried Stiehl Improving the Robustness in Extracting
$3$D Point Landmarks from $3$D Medical
Images Using Parametric Deformable
Models . . . . . . . . . . . . . . . . . 582
Andreas Hein and
Martin Klein and
Tim C. Lueth and
Jochen Queck and
Malte Stien and
Olaf Schermeier and
Juergen Bier Integration and Clinical Evaluation of
an Interactive Controllable Robotic
System for Anaplastology . . . . . . . . 591
Albert W. Brzeczko and
Randal P. Goldberg and
Russell H. Taylor and
Peter Evans Smart Alignment Tool for Knee
MosaicPlasty Surgery . . . . . . . . . . 599
Ryoichi Nakamura and
Takeshi Oura and
Etsuko Kobayashi and
Ichiro Sakuma and
Takeyoshi Dohi and
Naoki Yahagi and
Takayuki Tsuji and
Mitsuo Shimada and
Makoto Hashizume Multi-DOF Forceps Manipulator System for
Laparoscopic Surgery --- Mechanism
Miniaturized & Evaluation of New
Interface . . . . . . . . . . . . . . . 606
Aleksandar Zivanovic and
Brian Davies The Development of a Haptic Robot to
Take Blood Samples from the Forearm . . 614
Gabriel Kiss and
Johan Van Cleynenbreugel and
Maarten Thomeer and
Paul Suetens and
Guy Marchal Computer Aided Diagnosis for Virtual
Colonography . . . . . . . . . . . . . . 621
Marius George Linguraru and
Michael Brady and
Margaret Yam Filtering h int Images for the Detection
of Microcalcifications . . . . . . . . . 629
Burak Acar and
Sandy Napel and
David Paik and
Burak Göktürk and
Carlo Tomasi and
Christopher F. Beaulieu Using Optical Flow Fields for Polyp
Detection in Virtual Colonoscopy . . . . 637
F. M. Vos and
I. W. O. Serlie and
R. E. van Gelder and
F. H. Post and
R. Truyen and
F. A. Gerritsen and
J. Stoker and
A. M. Vossepoel A New Visualization Method for Virtual
Colonoscopy . . . . . . . . . . . . . . 645
Y. Liu and
F. Dellaert and
W. E. Rothfus and
A. Moore and
J. Schneider and
T. Kanade Classification-Driven Pathological
Neuroimage Retrieval Using Statistical
Asymmetry Measures . . . . . . . . . . . 655
Jonathan Stoeckel and
Grégoire Malandain and
Octave Migneco and
Pierre Malick Koulibaly and
Philippe Robert and
Nicholas Ayache and
Jacques Darcourt Classification of SPECT Images of Normal
Subjects versus Images of Alzheimer's
Disease Patients . . . . . . . . . . . . 666
Yann Argotti and
Valerie Outters and
Larry Davis and
Ami Sun and
Jannick P. Rolland Technologies for Augmented Reality:
Calibration for Real-Time
Superimposition on Rigid and
Simple-Deformable Real Objects . . . . . 675
George Stetten and
Vikram Chib Magnified Real-Time Tomographic
Reflection . . . . . . . . . . . . . . . 683
Stijn De Buck and
Johan Van Cleynenbreugel and
Indra Geys and
Thomas Koninckx and
Philippe R. Koninck and
Paul Suetens A System to Support Laparoscopic Surgery
by Augmented Reality Visualization . . . 691
C. M. van Bemmel and
W. J. Niessen and
O. Wink and
B. Verdonck and
M. A. Viergever Blood Pool Agent CE-MRA: Improved
Arterial Visualization of the Aortoiliac
Vasculature in the Steady-State Using
First-Pass Data . . . . . . . . . . . . 699
F. Sauer and
A. Khamene and
B. Bascle and
G. J. Rubino A Head-Mounted Display System for
Augmented Reality Image Guidance:
Towards Clinical Evaluation for
iMRI-guided Neurosurgery . . . . . . . . 707
Sangyoon Lee and
Gabor Fichtinger and
Gregory S. Chirikjian Novel Algorithms for Robust Registration
of Fiducials in CT and MRI . . . . . . . 717
Margrit Betke and
Harrison Hong and
Jane P. Ko Automatic $3$D Registration of Lung
Surfaces in Computed Tomography Scans 725
Pascal Cachier and
Jean-François Mangin and
Xavier Pennec and
Denis Rivi\`ere and
Dimitri Papadopoulos-Orfanos and
Jean Régis and
Nicholas Ayache Multisubject Non-rigid Registration of
Brain MRI Using Intensity and Geometric
Features . . . . . . . . . . . . . . . . 734
S. Ourselin and
E. Bardinet and
D. Dormont and
G. Malandain and
A. Roche and
N. Ayache and
D. Tandé and
K. Parain and
J. Yelnik Fusion of Histological Sections and MR
Images: Towards the Construction of an
Atlas of the Human Basal Ganglia . . . . 743
Sébastien Granger and
Xavier Pennec and
Alexis Roche Rigid Point-Surface Registration Using
an EM Variant of ICP for Computer Guided
Oral Implantology . . . . . . . . . . . 752
G. P. Penney and
P. J. Edwards and
A. P. King and
J. M. Blackall and
P. G. Batchelor and
D. J. Hawkes A Stochastic Iterative Closest Point
Algorithm (stochastICP) . . . . . . . . 762
Michael H. F. Wilkinson and
Michel A. Westenberg Shape Preserving Filament Enhancement
Filtering . . . . . . . . . . . . . . . 770
Xujiong Ye and
J. Alison Noble and
Jerome Declerck $3$D Freehand Echocardiography for
Automatic Left Ventricle Reconstruction
and Analysis Based on Multiple Acoustic
Windows . . . . . . . . . . . . . . . . 778
William Kerwin and
Chao Han and
Baocheng Chu and
Dongxiang Xu and
Ying Luo and
Jenq-Neng Hwang and
Thomas Hatsukami and
Chun Yuan A Quantitative Vascular Analysis System
for Evaluation of Atherosclerotic
Lesions by MRI . . . . . . . . . . . . . 786
David Hattery and
Victor Chernomordik and
Amir Gandjbakhche and
Murray Loew Imaging Metabolism with Light:
Quantifying Local Fluorescence Lifetime
Perturbation in Tissue-like Turbid Media 795
Yoshinobu Sato and
Katsuyuki Nakanishi and
Hisashi Tanaka and
Takashi Nishii and
Nobuhiko Sugano and
Hironobu Nakamura and
Takahiro Ochi and
Shinichi Tamura Limits to the Accuracy of $3$D Thickness
Measurement in Magnetic Resonance Images 803
Sylvain Prima and
Nicholas Ayache and
Tom Barrick and
Neil Roberts Maximum Likelihood Estimation of the
Bias Field in MR Brain Images:
Investigating Different Modelings of the
Imaging Process . . . . . . . . . . . . 811
Abhir Bhalerao and
Elke Thönnes and
Wilfrid Kendall and
Roland Wilson Inferring Vascular Structure from $2$D
and $3$D Imagery . . . . . . . . . . . . 820
Benjamin Stein and
Dimitri Lisin and
Joseph Horowitz and
Edward Riseman and
Gary Whitten Statistical and Deformable Model
Approaches to the Segmentation of MR
Imagery and Volume Estimation of Stroke
Lesions . . . . . . . . . . . . . . . . 829
Rasmus Larsen and
Hrafnkell Eiriksson and
Mikkel B. Stegmann Q--MAF Shape Decomposition . . . . . . . 837
O. Wink and
W. J. Niessen and
B. Verdonck and
M. A. Viergever Vessel Axis Determination Using Wave
Front Propagation Analysis . . . . . . . 845
Catherine Desbleds-Mansard and
Alfred Anwander and
Linda Chaabane and
Maciej Orkisz and
Bruno Neyran and
Philippe C. Douek and
Isabelle E. Magnin Size Independent Active Contour Model
for Blood Vessel Lumen Quantification in
High-Resolution Magnetic Resonance
Images . . . . . . . . . . . . . . . . . 854
Stephen M. Pizer and
Sarang Joshi and
P. Thomas Fletcher and
Martin Styner and
Gregg Tracton and
James Z. Chen Segmentation of Single-Figure Objects by
Deformable $M$-reps . . . . . . . . . . 862
Andreas Degenhard and
Christine Tanner and
Carmel Hayes and
David J. Hawkes and
Martin O. Leach Half Fourier Acquisition Applied to Time
Series Analysis of Contrast Agent Uptake 872
Laurent Thoraval and
Jean-Paul Armspach and
Izzie Namer Analysis of Brain Functional MRI Time
Series Based on Continuous Wavelet
Transform and Stimulation-Response
Coupling Distance . . . . . . . . . . . 881
María J. Ledesma-Carbayo and
Jan Kybic and
Manuel Desco and
Andrés Santos and
Michael Unser Cardiac Motion Analysis from Ultrasound
Sequences Using Non-rigid Registration 889
A. Cachia and
J.-F. Mangin and
D. Rivi\`ere and
N. Boddaert and
A. Andrade and
F. Kherif and
P. Sonigo and
D. Papadopoulos-Orfanos and
M. Zilbovicius and
J.-B. Poline and
I. Bloch and
F. Brunelle and
J. Régis A Mean Curvature Based Primal Sketch to
Study the Cortical Folding Process from
Antenatal to Adult Brain . . . . . . . . 897
John W. Fisher III and
Eric R. Cosman, Jr. and
Cindy Wible and
William M. Wells III Adaptive Entropy Rates for fMRI
Time-Series Analysis . . . . . . . . . . 905
Tal Arbel and
Xavier Morandi and
Roch M. Comeau and
D. Louis Collins Automatic Non-linear MRI-Ultrasound
Registration for the Correction of
Intra-operative Brain Deformations . . . 913
J. Rexilius and
S. K. Warfield and
C. R. G. Guttmann and
X. Wei and
R. Benson and
L. Wolfson and
M. Shenton and
H. Handels and
R. Kikinis A Novel Nonrigid Registration Algorithm
and Applications . . . . . . . . . . . . 923
Stephen R. Aylward and
Sue Weeks and
Elizabeth Bullitt Analysis of the Parameter Space of a
Metric for Registering $3$D Vascular
Images . . . . . . . . . . . . . . . . . 932
Devin V. Amin and
Takeo Kanade and
Branislav Jaramaz and
Anthony M. DiGioia III and
Constantinos Nikou and
Richard S. LaBarca and
James E. Moody, Jr. Calibration Method for Determining the
Physical Location of the Ultrasound
Image Plane . . . . . . . . . . . . . . 940
Isabelle Corouge and
Christian Barillot and
Pierre Hellier and
Pierre Toulouse and
Bernard Gibaud Non-linear Local Registration of
Functional Data . . . . . . . . . . . . 948
E. Bardinet and
A. C. F. Colchester and
A. Roche and
Y. Zhu and
Y. He and
S. Ourselin and
B. Nailon and
S. A. Hojjat and
J. Ironside and
S. Al-Sarraj and
N. Ayache and
J. Wardlaw Registration of Reconstructed Post
Mortem Optical Data with MR Scans of the
Same Patient . . . . . . . . . . . . . . 957
Hiroyuki Kataoka and
Toshikatsu Washio and
Michel Audette and
Kazuyuki Mizuhara A Model for Relations between Needle
Deflection, Force, and Thickness on
Needle Penetration . . . . . . . . . . . 966
Mark P. Ottensmeyer and
J. Kenneth Salisbury, Jr. In Vivo Data Acquisition Instrument for
Solid Organ Mechanical Property
Measurement . . . . . . . . . . . . . . 975
Daniel Mocanu and
Joachim Kettenbach and
Michael O. Sweeney and
Bruce H. KenKnight and
Ron Kikinis and
Solomon R. Eisenberg Patient-Specific Simulation of Internal
Defibrillation . . . . . . . . . . . . . 983--990
Pieter De Groeve and
Filip Schutyser and
Johan Van Cleynenbreugel and
Paul Suetens Registration of $3$D Photographs with
Spiral CT Images for Soft Tissue
Simulation in Maxillofacial Surgery . . 991
M. Kukuk and
B. Geiger and
H. Müller TBNA-protocols . . . . . . . . . . . . . 997
Moumen T. Ahmed and
Ahmed H. Eid and
Aly A. Farag $3$D Reconstruction of the Human Jaw: A
New Approach and Improvements . . . . . 1007
Naoki Suzuki and
Asaki Hattori and
Shigeyuki Suzuki and
Max P. Baur and
Andreas Hirner and
Susumu Kobayashi and
Yoji Yamazaki and
Yoshitaka Adachi Real-Time Surgical Simulation with
Haptic Sensation as Collaborated Works
between Japan and Germany . . . . . . . 1015
Lauren O'Donnell and
Carl-Fredrik Westin and
W. Eric L. Grimson and
Juan Ruiz-Alzola and
Martha E. Shenton and
Ron Kikinis Phase-Based User-Steered Image
Segmentation . . . . . . . . . . . . . . 1022
Miguel A. Rodriguez-Florido and
Karl Krissian and
Juan Ruiz-Alzola and
Carl-Fredrik Westin Comparison of Two Restoration Techniques
in the Context of $3$D Medical Imaging 1031
Benoit M. Dawant and
Shiyan Pan and
Rui Li Robust Segmentation of Medical Images
Using Geometric Deformable Models and a
Dynamic Speed Function . . . . . . . . . 1040
Celina Imielinska and
Dimitris Metaxas and
Jayaram Udupa and
Yinpeng Jin and
Ting Chen Hybrid Segmentation of Anatomical Data 1048
Yuri Boykov and
Vivian S. Lee and
Henry Rusinek and
Ravi Bansal Segmentation of Dynamic N--D Data Sets
via Graph Cuts Using Markov Models . . . 1058
Chahin Pachai and
Yue Min Zhu and
Charles R. G. Guttmann and
Ron Kikinis and
Ferenc A. Jolesz and
Gérard Gimenez Jean-Claude Froment and
Christian Confavreux and
Simon K. Warfield Unsupervised and Adaptive Segmentation
of Multispectral $3$D Magnetic Resonance
Images of Human Brain: A Generic
Approach . . . . . . . . . . . . . . . . 1067
David Jaffray and
Marcel van Herk and
Joos Lebesque and
Alvaro Martinez Image Guided Radiotherapy of the
Prostate . . . . . . . . . . . . . . . . 1075
Karen E. Lunn and
Alex Hartov and
Eric W. Hansen and
Hai Sun and
David W. Roberts and
Keith D. Paulsen A Quantitative Comparison of Edges in
$3$D Intraoperative Ultrasound and
Preoperative MR Images of the Brain . . 1081
A. D. Castellano-Smith and
T. Hartkens and
J. Schnabel and
D. R. Hose and
H. Liu and
W. A. Hall and
C. L. Truwit and
D. J. Hawkes and
D. L. G. Hill Constructing Patient Specific Models for
Correcting Intraoperative Brain
Deformation . . . . . . . . . . . . . . 1091
Cristiano Paggetti and
Sandra Martelli and
Laura Nofrini and
Paolo Vendruscolo Interface Design and Evaluation for CAS
Systems . . . . . . . . . . . . . . . . 1099
T. Hüfner and
M. Citak and
S. Tarte and
J. Geerling and
T. Pohlemann and
H. Rosenthal and
L. P. Nolte and
C. Krettek Independent Registration and Virtual
Controlled Reduction of Pelvic Ring
Fractures . . . . . . . . . . . . . . . 1107
Ariela Sofer and
Jianchao Zeng and
Seong K. Mun Optimization in Prostate Cancer
Detection . . . . . . . . . . . . . . . 1114
S. Taivalkoski and
L. Jyrkinen and
O. Silvén Automated Identification and B-spline
Approximation of a Profiling Coil
Centerline from Magnetic Resonance
Images . . . . . . . . . . . . . . . . . 1122
Peter M. Tate and
Vladimir Lachine and
Liqun Fu and
Haniel Croitoru and
Marwan Sati Performance and Robustness of Automatic
Fluoroscopic Image Calibration in a New
Computer Assisted Surgery System . . . . 1130
Alan Liu and
Christoph Kaufmann and
Daigo Tanaka An Architecture for Simulating
Needle-Based Surgical Procedures . . . . 1137
David Voirin and
Yohan Payan and
Miriam Amavizca and
Antoine Leroy and
Christian Létoublon and
Jocelyne Troccaz Computer-Aided Hepatic Tumour Ablation 1145
Johan Van Cleynenbreugel and
Filip Schutyser and
Chantal Malevez and
Ellen Dhoore and
Charbel BouSerhal and
Reinhilde Jacobs and
Paul Suetens and
Daniel van Steenberghe Intra-operative Transfer of Planned
Zygomatic Fixtures by Personalized
Templates: A Cadaver Validation Study 1147
Kathleen J. M. Surry and
Terry M. Peters A PVA--C Brain Phantom Derived from a
High Quality $3$D MR Data Set . . . . . 1149
Yoshinobu Sato and
Masaki Miyamoto and
Masahiko Nakamoto and
Yoshikazu Nakajima and
Mitsuo Shimada and
Makoto Hashizume and
Shinichi Tamura $3$D Ultrasound Image Acquisition Using
a Magneto-optic Hybrid Sensor for
Laparoscopic Surgery . . . . . . . . . . 1151
R. E. Ellis and
D. Kerr and
J. F. Rudan and
L. Davidson Minimally Invasive Excision of Deep Bone
Tumors . . . . . . . . . . . . . . . . . 1154
K. Kansy and
A. Schmitgen and
M. Bublat and
G. Grunst and
M. Jungmann and
P. Wisskirchen and
M. Moche and
G. Strauss and
C. Trantakis and
T. Kahn A Multimodal Navigation System for
Interventional MRI . . . . . . . . . . . 1157
J. Bestel and
F. Clément and
M. Sorine A Biomechanical Model of Muscle
Contraction . . . . . . . . . . . . . . 1159
Wei-te Lin and
Richard A. Robb A Framework for Patient-Specific
Physics-Based Simulation and Interactive
Visualization of Cardiac Dynamics . . . 1162
Seemantini K. Nadkarni and
Greg Mills and
Derek R. Boughner and
Aaron Fenster A Pulsating Coronary Vessel Phantom for
Two- and Three-Dimensional Intravascular
Ultrasound Studies . . . . . . . . . . . 1164
Cameron A. Shute and
Antony J. Hodgson Repeatability and Accuracy of Ankle
Centre Location Estimates Using a
Biaxial Joint Model . . . . . . . . . . 1166
Sharif M. Qatarneh and
Simo Hyödynmaa and
Marilyn E. Noz and
Gerald Q. Maguire Jr. and
Elissa L. Kramer and
Joakim Crafoord A Whole Body Atlas Based Segmentation
for Delineation of Organs in Radiation
Therapy Planning . . . . . . . . . . . . 1168
Xuesong Chen and
Chee-Kong Chui and
Swee-Hin Teoh and
Sim-Heng Ong and
Wieslaw L. Nowinski Automatic Modeling of Anatomical
Structures for Biomechanical Analysis
and Visualization in a Virtual Spine
Workstation . . . . . . . . . . . . . . 1170
Saskia van Engeland and
Nico Karssemeijer Matching Breast Lesions in Multiple
Mammographic Views . . . . . . . . . . . 1172
C. E. Rodríguez-Carranza and
M. H. Loew Automatic Detection of Large
Misregistrations of Multimodality
Medical Images . . . . . . . . . . . . . 1174
Jason W. Trobaugh and
R. Martin Arthur Registration of the Spine Using a
Physically-Based Image Model for
Ultrasound . . . . . . . . . . . . . . . 1176
Brian Avants and
Marcelo Siqueira and
James Gee Computing Match Functions for Curves in
${\mathrm I}\!{\mathrm R}^2$ and
${\mathrm I}\!{\mathrm R}^3$ by Refining
Polyline Approximations . . . . . . . . 1178
Matthias Harders and
Gábor Székely A Multi-modal Approach to Segmentation
of Tubular Structures . . . . . . . . . 1180
Vincent Barra and
Jean-Jacques Lemaire and
Franck Durif and
Jean-Yves Boire Segmentation of the Subthalamic Nucleus
in MR Images Using Information Fusion
--- A Preliminary Study for a
Computed-Aided Surgery of Parkinson's
Disease . . . . . . . . . . . . . . . . 1183
E. G. P. Bovenkamp and
J. Dijkstra and
J. G. Bosch and
J. H. C. Reiber Collaborative Multi-agent IVUS Image
Segmentation . . . . . . . . . . . . . . 1185
A. W. Simonetti and
R. Wehrens and
L. M. C. Buydens Segmentation of Chemical Shift Images
with Mixture Modeling . . . . . . . . . 1187
Simon Duchesne and
D. Louis Collins Analysis of $3$D Deformation Fields for
Appearance-Based Segmentation . . . . . 1189
Marc Liévin and
Nils Hanssen and
Peter Zerfass and
Erwin Keeve $3$D Markov Random Fields and Region
Growing for Interactive Segmentation of
MR Data . . . . . . . . . . . . . . . . 1191
Z. Yaniv and
L. Joskowicz Long Bone Panoramas from Fluoroscopic
X-ray Images . . . . . . . . . . . . . . 1193
Heinz Wörn and
Harald Hoppe Augmented Reality in the Operating
Theatre of the Future . . . . . . . . . 1195
Shinobu Mizuta and
Ken-ichi Kanda and
Tetsuya Matsuda Volume Visualization Using
Gradient-Based Distance among Voxels . . 1197
Daigo Tanaka and
Alan Liu and
Christoph Kaufmann The Evaluation of the Color Blending
Function for the Texture Generation from
Photographs . . . . . . . . . . . . . . 1199
Tae-Young Kim and
Byeong-Seok Shin and
Yeong Gil Shin Anisotropic Volume Rendering Using
Intensity Interpolation . . . . . . . . 1201
Hayit Greenspan and
Sharon Peled and
Gal Oz and
Nahum Kiryati MRI Inter-slice Reconstruction Using
Super-Resolution . . . . . . . . . . . . 1204
Marjolein van der Glas and
Frans Vos and
Albert Vossepoel Assessment of Center of Rotation of the
Glenohumeral Joint . . . . . . . . . . . 1207
M. Nobler and
S. Yu and
B. Mensh and
S. Lisanby and
L. Alkalay and
R. Van Heertum and
E. Heyer and
H. Sackeim PET Studies of the Effects of ECT on
Cerebral Physiology . . . . . . . . . . 1210
Jeffrey Wallace and
Homayoun Mozaffari N. and
Li Pan and
Nitish V. Thakor Fuzzy C-means Clustering Analysis to
Monitor Tissue Perfusion with Near
Infrared Imaging . . . . . . . . . . . . 1213
Johan Van Cleynenbreugel and
Lars Bergmans and
Martine Wevers and
Paul Lambrechts A Method for $\mu$CT Based Assessment of
Root Canal Instrumentation in
Endodontics Research . . . . . . . . . . 1215
H. Kober and
O. Ganslandt and
Ch. Nimsky and
M. Buchfelder and
R. Fahlbusch Reconstruction of Subcortical Brain
Activity by Spatially Filtered MEG
During Epileptic Seizures . . . . . . . 1218
Eduard Solanas and
Jean-Philippe Thiran Exploiting Voxel Correlation for
Automated MRI Bias Field Correction by
Conditional Entropy Minimization . . . . 1220
M. Lyra and
K. Skouroliakou and
C. Georgosopoulos and
C. Stefanides and
J. Jordanou Single Photon Emission Computed
Tomography and $3$ Dimensional
Quantitative Evaluation in Renal
Scintigraphy . . . . . . . . . . . . . . 1222
O. Gerard and
M. Fradkin and
A. Collet Billon and
M. Jacob and
J.-M. Rouet and
S. Makram-Ebeid Automatic Analysis of the Left Ventricle
in the Time Sequences of $3$D
Echo-Cardiographic Images . . . . . . . 1224
Sabine Dippel Displacement Field Estimation from
CSPAMM Images without Segmentation of
the Myocardium . . . . . . . . . . . . . 1226
Luuk Spreeuwers and
Marcel Breeuwer Automatic Detection of Myocardial
Boundaries in MR Cardio Perfusion Images 1228
David Rey and
Jonathan Stoeckel and
Grégoire Malandain and
Nicholas Ayache Using SPM to Detect Evolving MS Lesions 1232
Edward Brian Welch and
Armando Manduca and
Roger C. Grimm and
Heidi A. Ward and
Clifford R. Jack Jr. Spherical Navigator Echoes for Full
$3$-D Rigid Body Motion Measurement in
MRI . . . . . . . . . . . . . . . . . . 1235
Suprijanto and
F. M. Vos and
M. W. Vogel and
A. M. Vossepoel and
H. M. Vrooman Phase Unwrapping for Magnetic Resonance
Thermometry . . . . . . . . . . . . . . 1237
A. Hartov and
H. Sun and
D. W. Roberts and
K. D. Paulsen A Simplified Field-of-View Calibration
Technique for an Operating Microscope 1240
David R. Holmes III and
Brian J. Davis and
Richard A. Robb Trans-urethral Ultrasound: A New Tool
for Diagnostic and Therapeutic Imaging
in Prostate Cancer . . . . . . . . . . . 1243
J. Geerling and
T. Hüfner and
R. Raab and
M. Citak and
T. Pohlemann and
H. Rosenthal and
C. Krettek Resection of Recurrent Carcinomas in the
Pelvis --- A New Field of Computer Aided
Surgery . . . . . . . . . . . . . . . . 1245
P. Hastreiter and
K. Engel and
G. Soza and
M. Bauer and
M. Wolf and
O. Ganslandt and
R. Fahlbusch and
G. Greiner and
T. Ertl and
Ch. Nimsky Remote Analysis for Brain Shift
Compensation . . . . . . . . . . . . . . 1248
Jianchao Zeng and
Ariela Sofer and
Seong K. Mun Development of a New Image-Guided
Prostate Biopsy System . . . . . . . . . 1250
Michael Rosenthal and
Susan Weeks and
Stephen Aylward and
Elizabeth Bullitt and
Henry Fuchs Intraoperative Tracking of Anatomical
Structures Using Fluoroscopy and a
Vascular Balloon Catheter . . . . . . . 1253
Marc Kessler and
Janelle Solock and
Paul Archer and
Charles Meyer Clinical Use of a Mutual
Information-Based Automated Image
Registration System for Conformal
Radiotherapy Treatment Planning . . . . 1255
Filip Schutyser and
Johan Van Cleynenbreugel and
Paul Suetens Validation Methods for Soft Tissue
Prediction in Maxillofacial Planning
Environments . . . . . . . . . . . . . . 1258
Steven Lobregt and
Ted Vuurberg and
Joost J. Schillings Dental Implant Planning in EasyVision 1261
Ullrich Meier and
Carlos Monserrat and
Nils-Christian Parr and
Francisco Javier García and
José Antonio Gil Real-Time Simulation of
Minimally-Invasive Surgery with Cutting
Based on Boundary Element Methods . . . 1263
Reza Arbab Chirani and
Jean-José Jacq and
Christian Roux and
Philippe Meriot $3$-D Reconstruction and Functional
Analysis of the Temporomandibular Joint 1265
Fred S. Azar and
Dimitris N. Metaxas and
Mitchell D. Schnall Methods for Modeling and Predicting
Mechanical Deformations of the Breast
Under External Perturbations . . . . . . 1267
Jean-Marc Schwartz and
\`Eve Langelier and
Christian Moisan and
Denis Laurendeau Non-linear Soft Tissue Deformations for
the Simulation of Percutaneous Surgeries 1271
Mark P. Wachowiak and
Adel S. Elmaghraby The Continuous Tabu Search as an
Optimizer for $2$D-to-$3$D Biomedical
Image Registration . . . . . . . . . . . 1273
Yoshitaka Masutani and
Fumihiko Kimura Modally Controlled Free Form Deformation
for Non-rigid Registration in
Image-Guided Liver Surgery . . . . . . . 1275
P. Anbeek and
K. L. Vincken and
M. J. P. van Osch and
J. P. W. Pluim and
J. van der Grond and
M. A. Viergever Two-Step Registration of Subacute to
Hyperacute Stroke MRIs . . . . . . . . . 1279
M. van Herk and
J. C. de Munck and
M. T. J. G. Groenewegen and
A. R. Peters and
A. Touw The Effect of Organ Motion and Image
Artifacts on Monomodal Volume
Registration . . . . . . . . . . . . . . 1281
Jay B. West and
Rasool Khadem and
Shao Chin and
Ramin Shahidi A Maximum Likelihood Approach for $2$-D
to $3$-D Registration . . . . . . . . . 1283
Pascal Cachier How to Trade Off between Regularization
and Image Similarity in Non-rigid
Registration ? . . . . . . . . . . . . . 1285
F. Behloul and
B. P. F. Lelieveldt and
R. J. van der Geest and
J. H. C. Reiber A Virtual Exploring Robot for Adaptive
Left Ventricle Contour Detection in
Cardiac MR Images . . . . . . . . . . . 1287
Jean-José Jacq and
Christian Roux A Mesh-Based Shape Analysis Framework 1289
Horst K. Hahn and
Markus G. Lentschig and
Burckhard Terwey and
Heinz-Otto Peitgen Clinical MRI Based Volumetry: The
Cerebral Ventricles . . . . . . . . . . 1291
Maja Pokric and
Neil Thacker and
Marietta L. J. Scott and
Alan Jackson The Importance of Partial Voluming in
Multi-dimensional Medical Image
Segmentation . . . . . . . . . . . . . . 1293
Grigoris Karangelis and
Stelios Zimeras and
Evelyn Firle and
Min Wang and
Georgios Sakas Volume Definition Tools for Medical
Imaging Applications . . . . . . . . . . 1295
Rachael I. Scahill and
William R. Crum and
Nick C. Fox Automated Hippocampal Segmentation by
Regional Fluid Registration of Serial
MRI: Validation and Application in
Alzheimer's Disease . . . . . . . . . . 1298
Hui Luo and
Thomas O'Donnell A $3$D Statistical Shape Model for the
Left Ventricle of the Heart . . . . . . 1300
R. Boesecke and
J. Brief and
J. Raczkowsky and
O. Schorr and
S. Daueber and
R. Krempien and
M. Treiber and
T. Wetter and
S. Hassfeld Robot Assistant for Dental Implantology 1302
J. P. Ruurda and
I. A. M. J. Broeders and
R. K. J. Simmermacher and
I. H. M. Borel Rinkes and
Th. J. M. V. van Vroonhoven Feasibility of Laparoscopic Surgery
Assisted by a Robotic Telemanipulation
System . . . . . . . . . . . . . . . . . 1304
Alexandre Krupa and
Michel de Mathelin and
Christophe Doignon and
Jacques Gangloff and
Guillaume Morel and
Luc Soler and
Jacques Marescaux Development of Semi-autonomous Control
Modes in Laparoscopic Surgery Using
Automatic Visual Servoing . . . . . . . 1306
Dirk Engel and
Joerg Raczkowsky and
Heinz Woern A Supervising System for Robot
Application in Surgery . . . . . . . . . 1308
Xuemin Shi and
Yi Guo and
Shogo Fukushima and
Kenshi Suzuki and
Hisashi Uchiyama and
Ichiro Fukumoto A New Diagnostic Method for Alzheimer's
Disease Using Pupillary Light Reflex . . 1310
Kiyoshi Yoshinaka and
Ryo Sakamoto and
Ken Ikeuchi Reduction of Insertion Resistance by
Means of Vibration for Catheters and
Endoscopes . . . . . . . . . . . . . . . 1312
Charlie Sim and
Ming-Yeong Teo and
Wan-Sing Ng and
Carl Yap and
Yong-Chong Loh and
Tseng-Tsai Yeo and
Shao-Ping Bai and
Charles Lo Hexapod Intervention Planning for a
Robotic Skull-Base Surgery System . . . 1314
Stephen J. Starkie and
Brian L. Davies Advances in Active Constraints and Their
Application to Minimally Invasive
Surgery . . . . . . . . . . . . . . . . 1316
Edward Brian Welch and
Armando Manduca Motion Correction of MRI from Orthogonal
$k$-Space Phase Difference . . . . . . . 1318
Fabien Mourgues and
Frédéric Devernay and
Grégoire Malandain and
\`Eve Coste-Mani\`ere $3$D+t Modeling of Coronary Artery Tree
from Standard Non Simultaneous
Angiograms . . . . . . . . . . . . . . . 1320
J. Mattes and
J. Fieres and
J. Beaudouin and
D. Gerlich and
J. Ellenberg and
R. Eils New Tools for Visualization and
Quantification in Dynamic Processes:
Application to the Nuclear Envelope
Dynamics During Mitosis . . . . . . . . 1323
Yi Su and
Armando Manduca and
Clifford R. Jack and
E. Brian Welch and
Richard L. Ehman Full $3$D Rigid Body Automatic Motion
Correction of MRI Images . . . . . . . . 1326
I. A. Kakadiaris and
A. Pednekar and
G. Zouridakis and
K. Grigoriadis Estimating the Motion of the LAD: A
Simulation-Based Study . . . . . . . . . 1328
Idith Haber and
Ron Kikinis and
Carl-Fredrik Westin Phase-Driven Finite Element Model for
Spatio-temporal Tracking in Cardiac
Tagged MRI . . . . . . . . . . . . . . . 1332
Erwin Keeve and
Thomas Jansen and
Zdzislaw Krol and
Lutz Ritter and
Bartosz von Rymon-Lipinski and
Robert Sader and
Hans-Florian Zeilhofer and
Peter Zerfass JULIUS --- An Extendable Software
Framework for Surgical Planning and
Image-Guided Navigation . . . . . . . . 1336
J. M. Blackall and
A. P. King and
G. P. Penney and
A. Adam and
D. J. Hawkes A Statistical Model of Respiratory
Motion and Deformation of the Liver . . 1338
Matthias Teschner and
Sabine Girod and
Kevin Montgomery Evaluation of Soft-Tissue Model
Parameters . . . . . . . . . . . . . . . 1341
David J. Stahl, Jr. and
Norberto Ezquerra Bag-of-Particles Model for Simulating
Tissue, Organs, and Flow . . . . . . . . 1343
Cynthia Bruyns and
Simon Wildermuth and
Kevin Montgomery Simulated Animal Dissection . . . . . . 1345
Simon Wildermuth and
Cynthia Bruyns and
Kevin Montgomery and
Borut Marincek Virtual Polypectomy . . . . . . . . . . 1347
Cynthia Bruyns and
Steven Senger and
Simon Wildermuth and
Kevin Montgomery and
Richard Boyle Real-Time Interactions Using Virtual
Tools . . . . . . . . . . . . . . . . . 1349
Matthieu Ferrant and
Olivier Cuisenaire and
Beno\^\it Macq and
Jean-Philippe Thiran and
Martha E. Shenton and
Ron Kikinis and
Simon K. Warfield Surface Based Atlas Matching of the
Brain Using Deformable Surfaces and
Volumetric Finite Elements . . . . . . . 1352
Niels Dekker and
Lennert S. Ploeger and
Marcel van Herk Evaluation of Cost Functions for Gray
Value Matching of $2$D Images in
Radiotherapy . . . . . . . . . . . . . . 1354
C. P. Behrenbruch and
T. Kadir and
M. Brady Mutual Scale . . . . . . . . . . . . . . 1356
Samson J. Timoner and
W. Eric L. Grimson and
Ron Kikinis and
William M. Wells III Fast Linear Elastic Matching Without
Landmarks . . . . . . . . . . . . . . . 1358
Rasool Khadem and
Michael R. Bax and
Jeremy A. Johnson and
Eric P. Wilkinson and
Ramin Shahidi Endoscope Calibration and Accuracy
Testing for $3$D/$2$D Image Registration 1361
B. C. Vemuri and
J. Liu Fast Non-rigid Multimodal Image
Registration Using Local Frequency Maps 1363
Yoshikazu Nakajima and
Toshihiko Sasama and
Yoshinobu Sato and
Takashi Nishii and
Nobuhiko Sugano and
Takashi Ishikawa and
Kazuo Yonenobu and
Takahiro Ochi and
Shinichi Tamura Accuracy Validation of Cone-Beam CT
Based Registration . . . . . . . . . . . 1366
Luis Ibáñez and
Chafiaâ Hamitouche and
Martial Boniou and
Christian Roux Morphogenesis-Based Deformable Models
Application to $3$D Medical Image
Segmentation and Analysis . . . . . . . 1369
Roger Hult and
Ewert Bengtsson Grey-Level Morphology Based Segmentation
of T1--MRI of the Human Cortex . . . . . 1371
Matthias Gebhard and
Julian Mattes and
Roland Eils An Active Contour Model for Segmentation
Based on Cubic B-splines and Gradient
Vector Flow . . . . . . . . . . . . . . 1373
Gabor Fichtinger and
Sheng Xu and
Attila Tanacs and
Kieran Murphy and
Lee Myers and
Jeffery Williams Approximate Volumetric Reconstruction
from Projected Images . . . . . . . . . 1376
T. S. Yoo and
K. R. Subramanian Implicit Snakes: Active Constrained
Implicit Models . . . . . . . . . . . . 1379
Casper F. Nielsen and
Peter J. Passmore Towards a Robust Path Growing Algorithm
for Semi-automatic MRI Segmentation . . 1382
J. M. Reinhardt and
J. Guo and
L. Zhang and
D. Bilgen and
S. Hu and
R. Uppaluri and
R. M. Long and
O. I. Saba and
G. McLennan and
M. Sonka and
E. A. Hoffman Integrated System for Objective
Assessment of Global and Regional Lung
Structure . . . . . . . . . . . . . . . 1384
Ichiro Fukumoto Computer Aided Diagnosis for the
Alzheimer Type Dementia . . . . . . . . 1386
M. Kubo and
T. Yamamoto and
Y. Kawata and
N. Niki and
K. Eguchi and
H. Ohmatsu and
R. Kakinuma and
M. Kaneko and
M. Kusumoto and
N. Moriyama and
K. Mori and
H. Nishiyama CAD System for the Assistance of
Comparative Reading for Lung Cancer
Using Serial Helical CT Images . . . . . 1388
Celia Varela and
Nico Karssemeijer and
Pablo G. Tahoces Classification of Breast Tumors on
Digital Mammograms Using Laws' Texture
Features . . . . . . . . . . . . . . . . 1391
Y. Kawata and
N. Niki and
H. Ohmatsu and
M. Kusumoto and
R. Kakinuma and
K. Mori and
H. Nishiyama and
K. Eguchi and
M. Kaneko and
N. Moriyama Computer-Aided Diagnosis of Pulmonary
Nodules Using Three-Dimensional Thoracic
CT Images . . . . . . . . . . . . . . . 1393
Luca Bogoni and
Jane C. Asmuth and
David Hirvonen and
Bojidar D. Madjarov and
Jeffrey W. Berger Ophthalmic Slitlamp-Based Computer-Aided
Diagnosis: Image Processing Foundations 1395
Sylvain Jaume and
Matthieu Ferrant and
Andreas Schreyer and
Lennox Hoyte and
Beno\^\it Macq and
Julia Fielding and
Ron Kikinis and
Simon K. Warfield Multiresolution Signal Processing on
Meshes for Automatic Pathological Shape
Characterization . . . . . . . . . . . . 1398
Abhir Bhalerao and
Paul Summers Interactive Visualisation of MRI Vector
and Tensor Fields . . . . . . . . . . . 1401
Abhilash Pandya and
Mohamad Siadat and
Lucia Zamorano and
Jainxing Gong and
Qinghang Li and
James Maida and
Ioannis Kakadiaris Tracking Methods for Medical Augmented
Reality . . . . . . . . . . . . . . . . 1404
S. Zhang and
Ç. Demiralp and
M. DaSilva and
D. Keefe and
D. Laidlaw and
B. D. Greenberg and
P. J. Basser and
C. Pierpaoli and
E. A. Chiocca and
T. S. Deisboeck Toward Application of Virtual Reality to
Visualization of DT--MRI Volumes . . . . 1406
O. Cuisenaire and
M. Ferrant and
Y. Vandermeeren and
E. Olivier and
B. Macq Registration and Visualization of
Transcranial Magnetic Stimulation on MR
Images . . . . . . . . . . . . . . . . . 1409
Dan Koppel and
Yuan-Fang Wang and
Hua Lee Automated Image Rectification in
Video-Endoscopy . . . . . . . . . . . . 1412
Chris A. Cocosco and
Alan C. Evans Java Internet Viewer: A WWW Tool for
Remote $3$D Medical Image Data
Visualization and Comparison . . . . . . 1415
Rajesh Kumar and
Aaron C. Barnes and
Gregory D. Hager and
Patrick S. Jensen and
Russell H. Taylor Applications of Task-Level Augmentation
for Cooperative Fine Manipulation Tasks
in Surgery . . . . . . . . . . . . . . . 1417
Shinsuk Park and
Robert D. Howe and
David F. Torchiana Virtual Fixtures for Robotic Cardiac
Surgery . . . . . . . . . . . . . . . . 1419
Alim-Louis Benabid and
Dominque Hoffmann and
Luc Court and
Vincent Robert and
Sébastien Burtin and
Patrick Pittet and
Jörg Fischer The Clinical Use of Multi-modal
Resources ($2$D/$3$D/Statistics) for
Robot Assisted Functional Neurosurgery 1421
Kim Daeyoung and
Ryoichi Nakamura and
Etsuko Kobayashi and
Ichiro Sakuma and
Takeyoshi Dohi Application of Compact Pneumatic
Actuators to Laparoscopic Manipulator 1424
Peter J. Berkelman and
Daniel L. Rothbaum and
Jaydeep Roy and
Sam Lang and
Louis L. Whitcomb and
Greg Hager and
Patrick S. Jensen and
Eugene de Juan and
Russell H. Taylor and
John K. Niparko Performance Evaluation of a Cooperative
Manipulation Microsurgical Assistant
Robot Applied to Stapedotomy . . . . . . 1426
Randal P. Goldberg and
Mazilu Dumitru and
Russell H. Taylor and
Dan Stoianovici A Modular Robotic System for Ultrasound
Image Acquisition . . . . . . . . . . . 1430
Fridun Kerschbaumer and
Juergen Wahrburg and
Stephan Kuenzler A Mechatronic System for the
Implantation of the Acetabular Component
in Total Hip Alloarthroplasty . . . . . 1433
Shaun Selha and
Pierre Dupont and
Robert Howe and
David Torchiana Optimal Port Placement in Robot-Assisted
Coronary Artery Bypass Grafting . . . . 1435
Anonymous Author Index . . . . . . . . . . . . . . 1437
Jan A. Audestad Telecommunications, Databases, and
Evolution . . . . . . . . . . . . . . . 1
Jovanka Adzic and
Valter Fiore and
Stefano Spelta Data Warehouse Population Platform . . . 9
J. E. P. Wijnands and
S. J. Dijkstra and
W. L. A. Derks and
W. Jonker Experimenting NT Cluster Technology for
Massive CDR Processing . . . . . . . . . 19
Pei-Hsin Wu and
Wen-Chih Peng and
Ming-Syan Chen Mining Sequential Alarm Patterns in a
Telecommunication Database . . . . . . . 37
Michael O. Akinde and
Michael H. Böhlen Generalized MD-Joins: Evaluation and
Reduction to SQL . . . . . . . . . . . . 52
David Toman and
Grant Weddell Query Processing in Embedded Control
Programs . . . . . . . . . . . . . . . . 68
Jan Lindström and
Tiina Niklander Benchmark for Real-Time Database Systems
for Telecommunications . . . . . . . . . 88
Anders Björnerstedt and
Helena Ketoja and
Johan Sintorn and
Martin Sköld Replication between Geographically
Separated Clusters --- An Asynchronous
Scalable Replication Mechanism for Very
High Availability . . . . . . . . . . . 102
Roger Zimmermann and
Kun Fu and
Cyrus Shahabi and
Didi Shu-Yuen Yao and
Hong Zhu Yima: Design and Evaluation of a
Streaming Media System for Residential
Broadband Services . . . . . . . . . . . 116
Nektarios Georgalas QuDAS: A QoS-Based Brokering
Architecture for Data Services . . . . . 126
Thierry Delot and
Pascal Déchamboux and
Béatrice Finance and
Yann Lepetit and
Gilles LeBrun LDAP, Databases and Distributed Objects:
Towards a Better Integration . . . . . . 140
Munir Cochinwala and
Harald Hauser and
Naveen Suri Network Convergence Using Universal
Numbers: The UPT Project . . . . . . . . 155
Jean-Philippe Martin-Flatin Toward Universal Information Models in
Enterprise Management . . . . . . . . . 167
Anonymous Author Index . . . . . . . . . . . . . . 179
J. Torresen Two-Step Incremental Evolution of a
Prosthetic Hand Controller Based on
Digital Logic Gates . . . . . . . . . . 1
J. F. Miller and
M. Hartmann Untidy Evolution: Evolving Messy Gates
for Fault Tolerance . . . . . . . . . . 14
T. Schnier and
X. Yao Evolutionary Design Calibration . . . . 26
M. Iwata and
I. Kajitani and
Y. Liu and
N. Kajihara and
T. Higuchi Implementation of a Gate-Level Evolvable
Hardware Chip . . . . . . . . . . . . . 38
J. Schemmel and
K. Meier and
F. Schürmann A VLSI Implementation of an Analog
Neural Network Suited for Genetic
Algorithms . . . . . . . . . . . . . . . 50
J. Langeheine and
J. Becker and
S. Fölling and
K. Meier and
J. Schemmel Initial Studies of a New VLSI Field
Programmable Transistor Array . . . . . 62
H. F. Restrepo and
D. Mange An Embryonics Implementation of a
Self-Replicating Universal Turing
Machine . . . . . . . . . . . . . . . . 74
A. H. Jackson and
A. M. Tyrrell Asynchronous Embryonics with
Reconfiguration . . . . . . . . . . . . 88
L. Prodan and
G. Tempesti and
D. Mange and
A. Stauffer Embryonics: Artificial Cells Driven by
Artificial DNA . . . . . . . . . . . . . 100
A. Stauffer and
D. Mange and
G. Tempesti and
C. Teuscher A Self-Repairing and Self-Healing
Electronic Watch: The BioWatch . . . . . 112
P. C. Haddow and
G. Tufte and
P. van Remortel Shrinking the Genotype: $L$-systems for
EHW? . . . . . . . . . . . . . . . . . . 128
D. W. Bradley and
A. M. Tyrrell Multi-layered Defence Mechanisms:
Architecture, Implementation and
Demonstration of a Hardware Immune
System . . . . . . . . . . . . . . . . . 140
M. R. Tamplin and
A. Hamilton Ant Circuit World: An Ant Algorithm
MATLAB\TM Toolbox for the Design,
Visualisation and Analysis of Analogue
Circuits . . . . . . . . . . . . . . . . 151
J. G. Kim and
K-g. Noh and
K. Park Human-Like Dynamic Walking for a Biped
Robot Using Genetic Algorithm . . . . . 159
Md. Monirul Islam and
S. Terao and
K. Murase Effect of Fitness for the Evolution of
Autonomous Robots in an Open-Environment 171--181
Md. Monirul Islam and
S. Terao and
K. Murase Incremental Evolution of Autonomous
Robots for a Complex Task . . . . . . . 182
K. Yanai and
H. Iba Multi-agent Robot Learning by Means of
Genetic Programming: Solving an Escape
Problem . . . . . . . . . . . . . . . . 192
F. Fernández and
J. M. Sánchez and
M. Tomassini Placing and Routing Circuits on FPGAs by
Means of Parallel and Distributed
Genetic Programming . . . . . . . . . . 204
S. E. Eklund A Massively Parallel Architecture for
Linear Machine Code Genetic Programming 216
M. Korkin Self-Organized Evolutionary Process in
Sets of Interdependent Variables near
the Midpoint of Phase Transition in
$K$-Satisfiability . . . . . . . . . . . 225
J. D. Lohn and
W. F. Kraus and
D. S. Linden and
S. P. Colombano Evolutionary Optimization of Yagi-Uda
Antennas . . . . . . . . . . . . . . . . 236
E. Islas Pérez and
C. A. Coello Coello and
A. Hernández Aguirre Extraction of Design Patterns from
Evolutionary Algorithms Using Case-Based
Reasoning . . . . . . . . . . . . . . . 244
K. S. Leung and
K. H. Lee and
S. M. Cheang Balancing Samples' Contributions on GA
Learning . . . . . . . . . . . . . . . . 256
Eduardo Sanchez and
Andrés Pérez-Uribe and
Bertrand Mesot Solving Partially Observable Problems by
Evolution and Learning of Finite State
Machines . . . . . . . . . . . . . . . . 267
A. Hernández Aguirre and
B. P. Buckles and
C. Coello Coello GA-Based Learning of $kDNF_n^s$ Boolean
Formulas . . . . . . . . . . . . . . . . 279--290
A. Stoica and
R. Zebulum and
D. Keymeulen Polymorphic Electronics . . . . . . . . 291
D. Keymeulen and
R. Zebulum and
A. Stoica and
M. Buehler Initial Experiments of Reconfigurable
Sensor Adapted by Evolution . . . . . . 303
H. Sakanashi and
M. Iwata and
T. Higuchi A Lossless Compression Method for
Halftone Images Using Evolvable Hardware 314
H. Nosato and
Y. Kasai and
T. Itatani and
M. Murakawa and
T. Furuya and
T. Higuchi Evolvable Optical Systems and Their
Applications . . . . . . . . . . . . . . 327
Anonymous Author Index . . . . . . . . . . . . . . 341
Perry Alexander and
Cindy Kong Heterogeneous Modeling Support for
Embedded Systems Design . . . . . . . . 1
R. Alur and
T. Dang and
J. Esposito and
R. Fierro and
Y. Hur and
F. Ivan\vci\'c and
V. Kumar and
I. Lee and
P. Mishra and
G. Pappas and
O. Sokolsky Hierarchical Hybrid Modeling of Embedded
Systems . . . . . . . . . . . . . . . . 14
Albert Benveniste Some Synchronization Issues When
Designing Embedded Systems from
Components . . . . . . . . . . . . . . . 32
Gérard Berry Synchronous Programming Techniques for
Embedded Systems: Present and Future . . 50
Manfred Broy and
Oscar Slotosch From Requirements to Validated Embedded
Systems . . . . . . . . . . . . . . . . 51
Ken Butts and
Dave Bostic and
Alongkrit Chutinan and
Jeffrey Cook and
Bill Milam and
Yanxin Wang Usage Scenarios for an Automated Model
Compiler . . . . . . . . . . . . . . . . 66
Paul Caspi Embedded Control: From Asynchrony to
Synchrony and Back . . . . . . . . . . . 80
Patrick Cousot and
Radhia Cousot Verification of Embedded Software:
Problems and Perspectives . . . . . . . 97
David E. Culler and
Jason Hill and
Philip Buonadonna and
Robert Szewczyk and
Alec Woo A Network-Centric Approach to Embedded
Software for Tiny Devices . . . . . . . 114
Steven M. Donahue and
Matthew P. Hampton and
Morgan Deters and
Jonathan M. Nye and
Ron K. Cytron and
Krishna M. Kavi Storage Allocation for Real-Time,
Embedded Systems . . . . . . . . . . . . 131
Luca de Alfaro and
Thomas A. Henzinger Interface Theories for Component-Based
Design . . . . . . . . . . . . . . . . . 148
Thomas A. Henzinger and
Benjamin Horowitz and
Christoph Meyer Kirsch Giotto: A Time-Triggered Language for
Embedded Programming . . . . . . . . . . 166
Walid Taha and
Paul Hudak and
Zhanyong Wan Directions in Functional Programming for
Real(-Time) Applications . . . . . . . . 185
Kevin Jeffay and
Steve Goddard Rate-Based Resource Allocation Models
for Embedded Systems . . . . . . . . . . 204
H. Kopetz The Temporal Specification of Interfaces
in Distributed Real-Time Systems . . . . 223
Edward A. Lee and
Yuhong Xiong System-Level Types for Component-Based
Design . . . . . . . . . . . . . . . . . 237
Sharad Malik Embedded Software Implementation Tools
for Fully Programmable Application
Specific Systems . . . . . . . . . . . . 254
Krishna V. Palem and
Surendranath Talla and
Weng-Fai Wong Compiler Optimizations for Adaptive EPIC
Processors . . . . . . . . . . . . . . . 257
Wolfgang Pree and
Alessandro Pasetti Embedded Software Market Transformation
through Reusable Frameworks . . . . . . 274
Ragunathan (Raj) Rajkumar An End-To-End Methodology for Building
Embedded Systems . . . . . . . . . . . . 287
William S. Beebee, Jr. and
Martin Rinard An Implementation of Scoped Memory for
Real-Time Java . . . . . . . . . . . . . 289
John Rushby Bus Architectures for Safety-Critical
Embedded Systems . . . . . . . . . . . . 306
Jerry R. Burch and
Roberto Passerone and
Alberto L. Sangiovanni-Vincentelli Using Multiple Levels of Abstractions in
Embedded Software Design . . . . . . . . 324
T. John Koo and
Judy Liebman and
Cedric Ma and
S. Shankar Sastry Hierarchical Approach for Design of
Multi-vehicle Multi-modal Embedded
Software . . . . . . . . . . . . . . . . 344
Douglas C. Schmidt Adaptive and Reflective Middleware for
Distributed Real-Time and Embedded
Systems . . . . . . . . . . . . . . . . 361
Joseph Sifakis Modeling Real-Time Systems-Challenges
and Work Directions . . . . . . . . . . 373
John A. Stankovic VEST --- A Toolset for Constructing and
Analyzing Component Based Embedded
Systems . . . . . . . . . . . . . . . . 390
Janos Sztipanovits and
Gabor Karsai Embedded Software: Challenges and
Opportunities . . . . . . . . . . . . . 403
Lothar Thiele and
Samarjit Chakraborty and
Matthias Gries and
Alexander Maxiaguine and
Jonas Greutert Embedded Software in Network Processors
--- Models and Algorithms . . . . . . . 416
Tunc Simsek and
Pravin Varaiya Design of Autonomous, Distributed
Systems . . . . . . . . . . . . . . . . 435
Pam Binns and
Steve Vestal Formalizing Software Architectures for
Embedded Systems . . . . . . . . . . . . 451
Christian Ferdinand and
Reinhold Heckmann and
Marc Langenbach and
Florian Martin and
Michael Schmidt and
Henrik Theiling and
Stephan Thesing and
Reinhard Wilhelm Reliable and Precise WCET Determination
for a Real-Life Processor . . . . . . . 469
Niklaus Wirth Embedded Systems and Real-Time
Programming . . . . . . . . . . . . . . 486
Wayne Wolf Embedded Software for Video . . . . . . 493
Anonymous Author Index . . . . . . . . . . . . . . 503
Jean-Philippe Pouzol and
Mireille Ducassé From Declarative Signatures to Misuse
IDS . . . . . . . . . . . . . . . . . . 1
Magnus Almgren and
Ulf Lindqvist Application-Integrated Data Collection
for Security Monitoring . . . . . . . . 22
Marc Welz and
Andrew Hutchison Interfacing Trusted Applications with
Intrusion Detection Systems . . . . . . 37
Alfonso Valdes and
Keith Skinner Probabilistic Alert Correlation . . . . 54
Giovanni Vigna and
Richard A. Kemmerer and
Per Blix Designing a Web of Highly-Configurable
Intrusion Detection Sensors . . . . . . 69
Hervé Debar and
Andreas Wespi Aggregation and Correlation of
Intrusion-Detection Alerts . . . . . . . 85
Robert K. Cunningham and
Craig S. Stevenson Accurately Detecting Source Code of
Attacks That Increase Privilege . . . . 104
Paul D. Williams and
Kevin P. Anchor and
John L. Bebo and
Gregg H. Gunsch and
Gary D. Lamont CDIS: Towards a Computer Immune System
for Detecting Network Intrusions . . . . 117
Dan Sterne and
Kelly Djahandari and
Brett Wilson and
Bill Babson and
Dan Schnackenberg and
Harley Holliday and
Travis Reid Autonomic Response to Distributed Denial
of Service Attacks . . . . . . . . . . . 134
Steven R. Johnston The Impact of Privacy and Data
Protection Legislation on the Sharing of
Intrusion Detection Information . . . . 150
Prem Uppuluri and
R. Sekar Experiences with Specification-Based
Intrusion Detection . . . . . . . . . . 172
Calvin Ko and
Paul Brutch and
Jeff Rowe and
Guy Tsafnat and
Karl Levitt System Health and Intrusion Monitoring
Using a Hierarchy of Constraints . . . . 190
Anonymous Author Index . . . . . . . . . . . . . . 205
Guillaume Pierre and
Maarten van Steen Globule: A Platform for Self-Replicating
Web Documents . . . . . . . . . . . . . 1
Franco Tommasi and
Simone Molendini and
Antonio Vilei and
Andrea Sponziello Architecture of QOSMIC --- A QoS Manager
for Internet Connections . . . . . . . . 12
Marcelo Bagnulo and
Alberto Garcia-Martinez and
David Larrabeiti and
Arturo Azcorra A QoS-Driven ISP Selection Mechanism for
IPv6 Multi-homed Sites . . . . . . . . . 23
Cristian Hesselman and
Henk Eertink Broadcasting Multimedia Channels in
Future Mobile Systems . . . . . . . . . 35
Jin B. Kwon and
Heon Y. Yeom Providing VCR Functionality in Staggered
Video Broadcasting . . . . . . . . . . . 44
Fernando Cores and
Ana Ripoll and
Emilio Luque A Fully Scalable and Distributed
Architecture for Video-on-Demand . . . . 59
Christos Bouras and
A. Gkamas A Mechanism for Multicast Multimedia
Data with Adaptive QoS Characteristics 74
Rui J. Lopes and
Laurent Mathy and
David Hutchison Bandwidth Measurements of ALM Trees for
Content Distribution . . . . . . . . . . 89
Michel Diaz and
Roberto Canonico and
Luis Costa and
Serge Fdida and
David Hutchison and
Laurent Mathy and
Andreas Meissner and
Stephane Owezarski and
Rolland Vida and
Lars Wolf GCAP: A New Multimedia Multicast
Architecture for QoS . . . . . . . . . . 103
Jerzy Konorski Protection of Fairness for Multimedia
Traffic Streams in a Non-cooperative
Wireless LAN Setting . . . . . . . . . . 116
Jeroen P. F. Willekens Ad Hoc Routing in Bluetooth . . . . . . 130
George Kormentzas and
D. Vergados and
J. Soldatos and
G. Stassinopoulos An Open Signaling Protocol for Wireless
Host Mobility . . . . . . . . . . . . . 145
M. Benz and
K. Feske and
U. Hatnik and
P. Schwarz TCP/IP Protocol Engine System Simulation 155
Albert K. T. Hui and
Samuel T. Chanson Design and Implementation of a
Transparent Forward Error Correction
Coding Daemon for Unreliable Transports 165
Wei Wu and
Yong Ren and
Xiuming Shan An Analytical Study on TCP-friendly
Congestion Control for Multimedia
Streams . . . . . . . . . . . . . . . . 180
Wouter B. Teeuw and
Dick A. C. Quartel Model-Based Service Creation in the
Friends Project . . . . . . . . . . . . 192
Maarten Wegdam and
Dirk-Jaap Plas and
Musa Unmehopa Validation of the Open Service Access
API for UMTS Application Provisioning 210
I. Widya and
R. E. Stap and
L. J. Teunissen and
B. F. Hopman On the End-User QoS-Awareness of a
Distributed Service Environment . . . . 222
Anonymous Author Index . . . . . . . . . . . . . . 239
Jérôme Amilhastre and
Philippe Janssen and
Marie-Catherine Vilarem FA Minimisation Heuristics for a Class
of Finite Languages . . . . . . . . . . 1
Philippe Andary and
Pascal Caron and
Jean-Marc Champarnaud and
Gérard Duchamp and
Marianne Flouret and
Éric Laugerotte SEA: A Symbolic Environment for Automata
Theory . . . . . . . . . . . . . . . . . 13
Anne Bergeron and
Riccardo Catalano Analysis of Reactive Systems with $n$
Timers . . . . . . . . . . . . . . . . . 27
Beatrix Braune and
Stephan Diehl and
Andreas Kerren and
Reinhard Wilhelm Animation of the Generation and
Computation of Finite Automata for
Learning Software . . . . . . . . . . . 39
Cristian S. Calude and
Kai Salomaa and
Sheng Yu Metric Lexical Analysis . . . . . . . . 48
C. Câmpeanu and
K. Culik and
Kai Salomaa and
Sheng Yu State Complexity of Basic Operations on
Finite Languages . . . . . . . . . . . . 60
Jan Daciuk Treatment of Unknown Words . . . . . . . 71
Mark G. Eramian Computing Entropy Maps of
Finite-Automaton-Encoded Binary Images 81
Dora Giammarresi and
Jean-Luc Ponty and
Derick Wood Thompson Digraphs: A Characterization 91
Helmut Jürgensen and
Ludwig Staiger Finite Automata Encoding Geometric
Figures . . . . . . . . . . . . . . . . 101
George Anton Kiraz Compressed Storage of Sparse
Finite-State Transducers . . . . . . . . 109
Gertjan van Noord and
Dale Gerdemann An Extendible Regular Expression
Compiler for Finite-State Approaches in
Natural Language Processing . . . . . . 122
Gheorghe P\uaun and
Gabriel Thierrin Multiset Processing by Means of Systems
of Finite State Transducers . . . . . . 140
M. Seuring and
M. Gössel A Structural Method for Output
Compaction of Sequential Automata
Implemented as Circuits . . . . . . . . 158
A. N. Trahtman An Algorithm to Verify Local Threshold
Testability of Deterministic Finite
Automata . . . . . . . . . . . . . . . . 164
Bruce W. Watson A Taxonomy of Algorithms for
Constructing Minimal Acyclic
Deterministic Finite Automata . . . . . 174
Anonymous Author Index . . . . . . . . . . . . . . 183
Luís Caires and
Luca Cardelli A Spatial Logic for Concurrency . . . . 1
Michele Bugliesi and
Giuseppe Castagna and
Silvia Crafa Boxed Ambients . . . . . . . . . . . . . 38
Daisuke Hoshina and
Eijiro Sumii and
Akinori Yonezawa A Typed Process Calculus for
Fine-Grained Resource Access Control in
Distributed Computation . . . . . . . . 64
Martín Abadi and
Jan Jürjens Formal Eavesdropping and Its
Computational Interpretation . . . . . . 82
Kazunori Ueda Resource-Passing Concurrent Programming 95
Cosimo Laneve and
Joachim Parrow and
Björn Victor Solo Diagrams . . . . . . . . . . . . . 127
Barbara König and
Ugo Montanari Observational Equivalence for
Synchronized Graph Rewriting with
Mobility . . . . . . . . . . . . . . . . 145
Hiroshi Nakano Fixed-Point Logic with the Approximation
Modality and Its Kripke Completeness . . 165
Daniel Leivant Termination Proofs and Complexity
Certification . . . . . . . . . . . . . 183
Keye Martin A Renee Equation for Algorithmic
Complexity . . . . . . . . . . . . . . . 201
Andrew M. Pitts Nominal Logic: A First Order Theory of
Names and Binding . . . . . . . . . . . 219
Makoto Hamana A Logic Programming Language Based on
Binding Algebras . . . . . . . . . . . . 243
Didier Galmiche and
Daniel Méry Proof-Search and Countermodel Generation
in Propositional BI Logic . . . . . . . 263
Mizuhito Ogawa Generation of a Linear Time Query
Processing Algorithm Based on
Well-Quasi-Orders . . . . . . . . . . . 283
Christine Paulin-Mohring Modelisation of Timed Automata in Coq 298
Javier Esparza and
Antonín Ku\vcera and
Stefan Schwoon Model-Checking LTL with Regular
Valuations for Pushdown Systems . . . . 316--339
Martin Fränzle What Will Be Eventually True of
Polynomial Hybrid Automata? . . . . . . 340
Joachim Niehren and
Tim Priesnitz Non-structural Subtype Entailment in
Automata Theory . . . . . . . . . . . . 360
Ph. Schnoebelen Bisimulation and Other Undecidable
Equivalences for Lossy Channel Systems 385
Antti Puhakka Weakest Congruence Results Concerning
``Any-Lock'' . . . . . . . . . . . . . . 400
Anindya Banerjee and
Nevin Heintze and
Jon G. Riecke Design and Correctness of Program
Transformations Based on Control-Flow
Analysis . . . . . . . . . . . . . . . . 420
Marcello M. Bonsangue and
Joost N. Kok Infinite Intersection and Union Types
for the Lazy Lambda Calculus . . . . . . 448
Yoriyuki Yamagata Strong Normalization of Second Order
Symmetric Lambda-mu Calculus . . . . . . 459
Philip Wadler The Girard-Reynolds Isomorphism . . . . 468
Daniel Jackson and
Alan Fekete Lightweight Analysis of Object
Interactions . . . . . . . . . . . . . . 492
Lennart Beringer Typing Assembly Programs with Explicit
Forwarding . . . . . . . . . . . . . . . 514
Andrei Serjantov and
Peter Sewell and
Keith Wansbrough The UDP Calculus: Rigorous Semantics for
Real Networking . . . . . . . . . . . . 535
Benjamin C. Pierce and
Jérôme Vouillon Unison: A File Synchronizer and Its
Specification . . . . . . . . . . . . . 560
Anonymous Author Index . . . . . . . . . . . . . . 561
Nagasuresh Seelam and
Pankaj Sethi and
Wu-chi Feng A Hysteresis Based Approach for Quality,
Frame Rate, and Buffer Management for
Video Streaming Using TCP . . . . . . . 1
Sunghoon Son A Transmission Scheme for Streaming
Variable Bit Rate Video over Internet 16
Naoki Wakamiya and
Masaki Miyabayashi and
Masayuki Murata and
Hideo Miyahara MPEG-4 Video Transfer with TCP-Friendly
Rate Control . . . . . . . . . . . . . . 29
John Vicente and
Andrew T. Campbell IP Radio Resource Control System . . . . 43
Youssef Iraqi and
Raouf Boutaba Is It Worth Involving Several
Cooperating Agents for Multimedia User's
Admission in Cellular Networks? . . . . 57
Jianbo Gao and
Izhak Rubin Analysis of Random Access Protocol under
Bursty Traffic . . . . . . . . . . . . . 71
Tamás Borsos A Practical Model for VBR Video Traffic
with Applications . . . . . . . . . . . 85
Vincent Lecuire and
Francis Lepage and
Khalil Kammoun Enhancing Quality of MPEG Video through
Partially Reliable Transport Service in
Interactive Application . . . . . . . . 96
Toufik Ahmed and
Guillaume Buridant and
Ahmed Mehaoua Delivering of MPEG-4 Multimedia Content
over Next Generation Internet . . . . . 110
Dan Lelescu and
Dan Schonfeld Video Skimming and Summarization Based
on Principal Component Analysis . . . . 128
Gary Molenkamp and
Michael Katchabaw and
Hanan Lutfiyya and
Michael Bauer Distributed Resource Management to
Support Distributed Application-Specific
Quality of Service . . . . . . . . . . . 142
Ibrahim Khalil and
Torsten Braun Implementation of a Bandwidth Broker for
Dynamic End-to-End Capacity Reservation
over Multiple Diffserv Domains . . . . . 160
Johnathan M. Reason and
David G. Messerschmitt The Impact of Confidentiality on Quality
of Service in Heterogeneous Voice over
IP Networks . . . . . . . . . . . . . . 175
Mingyu Zhai and
Guanqun Gu and
Yuan Yuan Queue Length Based Fair Queueing in
Core-Stateless Networks . . . . . . . . 193
Sung-Hyuck Lee and
Seung-Joon Seok and
Seung-Jin Lee and
Chul-Hee Kang Study of TCP and UDP Flows in a
Differentiated Services Network Using
Two Markers System . . . . . . . . . . . 198
Halima Elbiaze and
Tijani Chahed and
Gérard Hébuterne and
Tulin Atmaca Equation-Based Dynamic Shaping Algorithm 204
Li Zhao and
Qi Wang and
Yuwen He and
Shiqiang Yang and
Yuzhuo Zhong A Novel Content-Based Video Streaming
Algorithm for Fine Granular Scalable
Coding . . . . . . . . . . . . . . . . . 210
Izhak Rub