Last update:
Mon Feb 16 11:16:27 MST 2004
Neil D. Jones Program Analysis for Implicit
Computational Complexity . . . . . . . . 1
Wei-Ngan Chin and
Siau-Cheng Khoo and
Dana N. Xu Deriving Pre-conditions for Array Bound
Check Elimination . . . . . . . . . . . 2
Adam Fischbach and
John Hannan Type Systems for Useless-Variable
Elimination . . . . . . . . . . . . . . 25
Kevin Glynn and
Peter J. Stuckey and
Martin Sulzmann and
Harald Sòndergaard Boolean Constraints for Binding-Time
Analysis . . . . . . . . . . . . . . . . 39
Jörgen Gustavsson and
Josef Svenningsson Constraint Abstractions . . . . . . . . 63
Julia L. Lawall Implementing Circularity Using Partial
Evaluation . . . . . . . . . . . . . . . 84
Damien Massé Combining Forward and Backward Analyses
of Temporal Properties . . . . . . . . . 103
Isabella Mastroeni Numerical Power Analysis . . . . . . . . 117
Hidehiko Masuhara and
Akinori Yonezawa Run-Time Bytecode Specialization . . . . 138
Antoine Miné A New Numerical Abstract Domain Based on
Difference-Bound Matrices . . . . . . . 155
Ulrik P. Schultz Partial Evaluation for Class-Based
Object-Oriented Languages . . . . . . . 173
Jens Peter Secher Driving in the Jungle . . . . . . . . . 198
Ganesh Sittampalam and
Oege de Moor Higher-Order Pattern Matching for
Automatically Applying Fusion
Transformations . . . . . . . . . . . . 218
Gregory T. Sullivan Dynamic Partial Evaluation . . . . . . . 238
Walid Taha and
Henning Makholm and
John Hughes Tag Elimination and Jones-Optimality . . 257
Harald Ganzinger Bottom-Up Deduction with Deletion and
Priorities . . . . . . . . . . . . . . . 276
Anonymous Author Index . . . . . . . . . . . . . . 279
Ron Weiss and
Thomas F. Knight, Jr. Engineered Communications for Microbial
Robotics . . . . . . . . . . . . . . . . 1
Ken Komiya and
Kensaku Sakamoto and
Hidetaka Gouzu and
Shigeyuki Yokoyama and
Masanori Arita and
Akio Nishikawa and
Masami Hagiya Successive State Transitions with IO
Interface by Molecules . . . . . . . . . 17
Ravinderjit S. Braich and
Cliff Johnson and
Paul W. K. Rothemund and
Darryl Hwang and
Nickolas Chelyapov and
Leonard M. Adleman Solution of a Satisfiability Problem on
a Gel-Based DNA Computer . . . . . . . . 27
Pierluigi Frisco Diophantine Equations and Splicing: A
New Demonstration of the Generative
Capability of $H$ Systems . . . . . . . 43
Maurice Margenstern and
Yurii Rogozhin About Time-Varying Distributed $H$
Systems . . . . . . . . . . . . . . . . 53
Erik Winfree and
Tony Eng and
Grzegorz Rozenberg String Tile Models for DNA Computing by
Self-Assembly . . . . . . . . . . . . . 63
Masami Hagiya From Molecular Computing to Molecular
Programming . . . . . . . . . . . . . . 89
John S. McCaskill and
Ulrich Niemann Graph Replacement Chemistry for DNA
Processing . . . . . . . . . . . . . . . 103
Paola Bonizzoni and
Clelia De Felice and
Giancarlo Mauri and
Rosalba Zizza DNA and Circular Splicing . . . . . . . 117
Rudolf Freund and
Franziska Freund Molecular Computing with Generalized
Homogeneous $P$-Systems . . . . . . . . 130
John H. Reif and
Thomas H. LaBean Computationally Inspired
Biotechnologies: Improved DNA Synthesis
and Associative Search Using
Error-Correcting Codes and
Vector-Quantization . . . . . . . . . . 145
John H. Reif and
Thomas H. LaBean and
Nadrian C. Seeman Challenges and Applications for
Self-Assembled DNA Nanostructures . . . 173
Kevin Chen and
Vijay Ramachandran A Space-Efficient Randomized DNA
Algorithm for $k$-SAT . . . . . . . . . 199
Sergio Díaz and
Juan Luis Esteban and
Mitsunori Ogihara A DNA-Based Random Walk Method for
Solving $k$-SAT . . . . . . . . . . . . 209
Yasubumi Sakakibara Solving Computational Learning Problems
of Boolean Formulae on DNA Computers . . 220
John A. Rose and
Russell J. Deaton The Fidelity of Annealing-Ligation: A
Theoretical Analysis . . . . . . . . . . 231
Elizabeth Goode and
David Harlan Wood and
Junghuei Chen DNA Implementation of a Royal Road
Fitness Evaluation . . . . . . . . . . . 247
John S. McCaskill and
Robert Penchovsky and
Marlies Gohlke and
Jörg Ackermann and
Thomas Rücker Steady Flow Micro-Reactor Module for
Pipelined DNA Computations . . . . . . . 263
Anonymous Author Index . . . . . . . . . . . . . . 271
Claudio Baiocchi Three Small Universal Turing Machines 1
Asa Ben-Hur and
Hava T. Siegelmann Computation in Gene Networks . . . . . . 11
Jozef Gruska and
Hiroshi Imai Power, Puzzles and Properties of
Entanglement . . . . . . . . . . . . . . 25
Juhani Karhumäki Combinatorial and Computational Problems
on Finite Sets of Words . . . . . . . . 69
Carlos Martín-Vide and
Gheorghe P\uaun Computing with Membranes (P Systems):
Universality Results . . . . . . . . . . 82
Kenichi Morita A Simple Universal Logic Element and
Cellular Automata for Reversible
Computing . . . . . . . . . . . . . . . 102
Géraud Sénizergues Some Applications of the Decidability of
DPDA's Equivalence . . . . . . . . . . . 114
Vladimir A. Zakharov The Equivalence Problem for
Computational Models: Decidable and
Undecidable Cases . . . . . . . . . . . 133
Claudio Zandron and
Claudio Ferretti and
Giancarlo Mauri Two Normal Forms for Rewriting $P$
Systems . . . . . . . . . . . . . . . . 153
Vincent D. Blondel and
Julien Cassaigne and
Codrin Nichitiu On a Conjecture of Krka. A Turing
Machine with No Periodic Configurations 165
Didier Caucal On the Transition Graphs of Turing
Machines . . . . . . . . . . . . . . . . 177
Gabriel Ciobanu and
Mihai Rotaru JC-Nets . . . . . . . . . . . . . . . . 190
Henning Fernau Nonterminal Complexity of Programmed
Grammars . . . . . . . . . . . . . . . . 202
Rudolf Freund and
Gheorghe P\uaun On the Number of Non-terminal Symbols in
Graph-Controlled, Programmed and Matrix
Grammars . . . . . . . . . . . . . . . . 214
Pierluigi Frisco A Direct Construction of a Universal
Extended $H$ System . . . . . . . . . . 226
Chuzo Iwamoto and
Katsuyuki Tateishi and
Kenichi Morita and
Katsunobu Imai Speeding-Up Cellular Automata by
Alternations . . . . . . . . . . . . . . 240
Martin Kutrib Efficient Universal Pushdown Cellular
Automata and Their Application to
Complexity . . . . . . . . . . . . . . . 252
Salvatore La Torre and
Margherita Napoli and
Mimmo Parente Firing Squad Synchronization Problem on
Bidimensional Cellular Automata with
Communication Constraints . . . . . . . 264
Madhu Mutyam and
Kamala Krithivasan $P$ Systems with Membrane Creation:
Universality and Efficiency . . . . . . 276
Thomas J. Naughton and
Damien Woods On the Computational Power of a
Continuous-Space Optical Model of
Computation . . . . . . . . . . . . . . 288
Zenon Sadowski On a $P$-optimal Proof System for the
Set of All Satisfiable Boolean Formulas
(SAT) . . . . . . . . . . . . . . . . . 300
Petr Sosík D0L System $+$ Watson-Crick
Complementarity $=$ Universal
Computation . . . . . . . . . . . . . . 308
Anonymous Author Index . . . . . . . . . . . . . . 321
Aijun An and
Nick Cercone and
Xiangji Huang A Case Study for Learning from
Imbalanced Data Sets . . . . . . . . . . 1
Andreas Gerber and
Christian Russ A Holonic Multi-agent Infrastructure for
Electronic Procurement . . . . . . . . . 16
Zequn Zhou and
C. I. Ezeife A Low-Scan Incremental Association Rule
Maintenance Method Based on the Apriori
Property . . . . . . . . . . . . . . . . 26
Patrick Pantel and
Dekang Lin A Statistical Corpus-Based Term
Extractor . . . . . . . . . . . . . . . 36
Eric G. Berkowitz and
Peter H. Greene Body-Based Reasoning Using a
Feeling-Based Lexicon, Mental Imagery,
and an Object-Oriented Metaphor
Hierarchy . . . . . . . . . . . . . . . 47
Robert C. Holte Combinatorial Auctions, Knapsack
Problems, and Hill-Climbing Search . . . 57
Nathalie Japkowicz Concept-Learning in the Presence of
Between-Class and Within-Class
Imbalances . . . . . . . . . . . . . . . 67
Adam Beacham and
Xinguang Chen and
Jonathan Sillito and
Peter van Beek Constraint Programming Lessons Learned
from Crossword Puzzles . . . . . . . . . 78
Michael E. Bergen and
Peter van Beek and
Tom Carchrae Constraint-Based Vehicle Assembly Line
Sequencing . . . . . . . . . . . . . . . 88
Tim Menzies and
Harhsinder Singh How AI Can Help SE; or: Randomized
Search Not Considered Harmful . . . . . 100
Bob Price and
Craig Boutilier Imitation and Reinforcement Learning in
Agents with Heterogeneous Actions . . . 111
Bradley Bart and
James P. Delgrande and
Oliver Schulte Knowledge and Planning in an
Action-Based Multi-agent Framework: A
Case Study . . . . . . . . . . . . . . . 121
J. William Murdock and
Ashok K. Goel Learning about Constraints by Reflection 131
Jie Cheng and
Russell Greiner Learning Bayesian Belief Network
Classifiers: Algorithms and System . . . 141
Y. Xiang and
J. Lee Local Score Computation in Learning
Belief Networks . . . . . . . . . . . . 152
Vive S. Kumar and
Gordon I. McCalla and
Jim E. Greer Personalized Contexts in Help Systems 162
Sam Scott and
Robert Gaizauskas QA-LaSIE: A Natural Language Question
Answering System . . . . . . . . . . . . 172
Marius-C\ualin Silaghi and
Djamila Sam-Haroud and
Boi Faltings Search Techniques for Non-linear
Constraint Satisfaction Problems with
Inequalities . . . . . . . . . . . . . . 183
István T. Hernádvölgyi Searching for Macro Operators with
Automatically Generated Heuristics . . . 194
Yann Chevaleyre and
Jean-Daniel Zucker Solving Multiple-Instance and
Multiple-Part Learning Problems with
Decision Trees and Rule Sets.
Application to the Mutagenesis Problem 204
Mike Cameron-Jones and
Andrew Charman-Williams Stacking for Misclassification Cost
Performance . . . . . . . . . . . . . . 215
Mauricio Osorio and
Juan Carlos Nieves Stratified Partial-Order Logic
Programming . . . . . . . . . . . . . . 225
Gary King and
Tim Oates The Importance of Being Discrete:
Learning Classes of Actions and Outcomes
through Interaction . . . . . . . . . . 236
Philippe Langlais and
Guy Lapalme and
Sébastien Sauvé User Interface Aspects of a Translation
Typing System . . . . . . . . . . . . . 246
Shawn Grant and
Gordon I. McCalla A Hybrid Approach to Making
Recommendations and Its Application to
the Movie Domain . . . . . . . . . . . . 257
Hanh H. Pham and
Van-Hop Nguyen Agents with Genders for Inventory
Planning in E-Management . . . . . . . . 267
David Nadeau and
Nicole Tourigny Évaluation d'un Syst\`eme pour le Résumé
Automatique de Documents Électroniques 277
Maria Fasli On Obligations, Relativised Obligations,
and Bilateral Commitments . . . . . . . 287
Vlado Ke\vselj Question Answering Using
Unification-Based Grammar . . . . . . . 297
Lixin Yang and
Deborah A. Stacey Solving the Traveling Salesman Problem
Using the Enhanced Genetic Algorithm . . 307
Ali Farzan and
Ali A. Ghorbani The Bottom-Up Freezing: An Approach to
Neural Engineering . . . . . . . . . . . 317
Mario Jarmasz and
Stan Szpakowicz The Design and Implementation of an
Electronic Lexical Knowledge Base . . . 325
Rabih Neouchi and
Ahmed Y. Tawfik and
Richard A. Frost Towards a Temporal Extension of Formal
Concept Analysis . . . . . . . . . . . . 335
Stuart I. Reynolds Adaptive Representation Methods for
Reinforcement Learning . . . . . . . . . 345
Z. M. Ma and
W. J. Zhang and
W. Y. Ma Imprecise and Uncertain Engineering
Information Modeling in Databases . . . 349
Saeed Hashemi Incremental Case-Based Reasoning for
Classification . . . . . . . . . . . . . 353
Kevin Kennedy and
Robert E. Mercer Planning Animations Using Cinematography
Knowledge . . . . . . . . . . . . . . . 357
Joe MacInnes and
Omid Banyasad and
Afzal Upal Watching You, Watching Me . . . . . . . 361
Anonymous Author Index . . . . . . . . . . . . . . 365
Doron Peled and
Lenore Zuck From Model Checking to a Temporal Proof 1
Rob Gerth Model Checking if Your Life Depends on
It: A View from Intel's Trenches . . . . 15--15
Marsha Chechik and
Benet Devereux and
Arie Gurfinkel Model-Checking Infinite State-Space
Systems with Fine-Grained Abstractions
Using SPIN . . . . . . . . . . . . . . . 16
Javier Esparza and
Keijo Heljanko Implementing LTL Model Checking with Net
Unfoldings . . . . . . . . . . . . . . . 37
Stefan Edelkamp and
Alberto Lluch Lafuente and
Stefan Leue Directed Explicit Model Checking with
HSF--SPIN . . . . . . . . . . . . . . . 57
Flavio Lerda and
Willem Visser Addressing Dynamic Issues of Program
Model Checking . . . . . . . . . . . . . 80
Thomas Ball and
Sriram K. Rajamani Automatically Validating Temporal Safety
Properties of Interfaces . . . . . . . . 103
Guoping Jia and
Susanne Graf Verification Experiments on the MASCARA
Protocol . . . . . . . . . . . . . . . . 123
Muffy Calder and
Alice Miller Using SPIN for Feature Interaction
Analysis --- A Case Study . . . . . . . 143
Shin Nakajima and
Tetsuo Tamai Behavioural Analysis of the Enterprise
\bf JavaBeans\TM Component Architecture 163
Michael Baldamus and
Jochen Schröder-Babo p2b: A Translation Utility for Linking
Promela and Symbolic Model Checking
(Tool Paper) . . . . . . . . . . . . . . 183
Scott D. Stoller and
Yanhong A. Liu Transformations for Model Checking
Distributed Java Programs . . . . . . . 192
Jiri Barnat and
Lubos Brim and
Jitka St\vríbrná Distributed LTL Model-Checking in SPIN 200
Hubert Garavel and
Radu Mateescu and
Irina Smarandache Parallel State Space Construction for
Model-Checking . . . . . . . . . . . . . 217
Fabrice Derepas and
Paul Gastin Model Checking Systems of Replicated
Processes with Spin . . . . . . . . . . 235
Vivek K. Shanbhag and
K. Gopinath A SPIN-Based Model Checker for
Telecommunication Protocols . . . . . . 252
Clement Yuen and
Wei Tjioe Modeling and Verifying a Price Model for
Congestion Control in Computer Networks
Using Promela/Spin . . . . . . . . . . . 272
Leszek Holenderski A Model Checking Project at Philips
Research . . . . . . . . . . . . . . . . 288
Darren Cofer and
Eric Engstrom and
Robert Goldman and
David Musliner and
Steve Vestal Applications of Model Checking at
Honeywell Laboratories . . . . . . . . . 296
Bernhard Steffen and
Tiziana Margaria and
Volker Braun Coarse-Granular Model Checking in
Practice . . . . . . . . . . . . . . . . 304
Anonymous Author Index . . . . . . . . . . . . . . 313
Robert J. Stone Haptic Feedback: A Brief History from
Telepresence to Virtual Reality . . . . 1
Ben P. Challis and
Alistair D. N. Edwards Design Principles for Tactile
Interaction . . . . . . . . . . . . . . 17
Paul Penn and
Helen Petrie and
Chetz Colwell and
Diana Kornbrot and
Stephen Furner and
Andrew Hardwick The Haptic Perception of Texture in
Virtual Environments: An Investigation
with Two Devices . . . . . . . . . . . . 25
Frances L. Van Scoy and
Takamitsu Kawai and
Marjorie Darrah and
Connie Rash Haptic Display of Mathematical Functions
for Teaching Mathematics to Students
with Vision Disabilities: Design and
Proof of Concept . . . . . . . . . . . . 31
Wai Yu and
Ramesh Ramloll and
Stephen Brewster Haptic Graphs for Blind Computer Users 41
Evan F. Wies and
John A. Gardner and
M. Sile O'Modhrain and
Christopher J. Hasser and
Vladimir L. Bulatov Web-Based Touch Display for Accessible
Science Education . . . . . . . . . . . 52
Ian Oakley and
Stephen Brewster and
Philip Gray Communicating with Feeling . . . . . . . 61
Eva-Lotta Sallnäs Improved Precision in Mediated
Collaborative Manipulation of Objects by
Haptic Force Feedback . . . . . . . . . 69
Riku Hikiji and
Shuji Hashimoto Hand-Shaped Force Interface for
Human-Cooperative Mobile Robot . . . . . 76
Gunnar Jansson and
Anna Ivås Can the Efficiency of a Haptic Display
Be Increased by Short-Time Practice in
Exploration? . . . . . . . . . . . . . . 88
Frank E. Pollick and
Chris Chizk and
Charlotte Hager-Ross and
Mary Hayhoe Implicit Accuracy Constraints in
Two-Fingered Grasps of Virtual Objects
with Haptic Feedback . . . . . . . . . . 98
Steven A. Wall and
William S. Harwin Interaction of Visual and Haptic
Information in Simulated Environments:
Texture Perception . . . . . . . . . . . 108
Marilyn Rose McGee and
Phil Gray and
Stephen Brewster The Effective Combination of Haptic and
Auditory Textural Information . . . . . 118
Hilde Keuning-Van Oirschot and
Adrian J. M. Houtsma Cursor Trajectory Analysis . . . . . . . 127
Laroussi Bouguila and
Masahiro Ishii and
Makoto Sato What Impact Does the Haptic-Stereo
Integration Have on Depth Perception in
Stereographic Virtual Environment? A
Preliminary Study . . . . . . . . . . . 135
Arthur E. Kirkpatrick and
Sarah A. Douglas A Shape Recognition Benchmark for
Evaluating Usability of a Haptic
Environment . . . . . . . . . . . . . . 151
Andrew Crossan and
Stephen Brewster and
Stuart Reid and
Dominic Mellor A Horse Ovary Palpation Simulator for
Veterinary Training . . . . . . . . . . 157
Jan B. F. van Erp Tactile Navigation Display . . . . . . . 165
Henricus A. H. C. van Veen and
Jan B. F. van Erp Tactile Information Presentation in the
Cockpit . . . . . . . . . . . . . . . . 174
Laroussi Bouguila and
Masahiro Ishii and
Makoto Sato Scaleable SPIDAR: A Haptic Interface For
Human-Scale Virtual Environments . . . . 182
Brett Stevens and
Jennifer Jerrams-Smith The Sense of Object-Presence with
Projection-Augmented Models . . . . . . 194
Jaana Leikas and
Antti Väätänen and
Veli-Pekka Räty Virtual Space Computer Games with a
Floor Sensor Control --- Human Centred
Approach in the Design Process . . . . . 199
Patricia Dillon and
Wendy Moody and
Rebecca Bartlett and
Patricia Scully and
Roger Morgan and
Christopher James Sensing the Fabric: To Simulate
Sensation through Sensory Evaluation and
in Response to Standard Acceptable
Properties of Specific Materials when
Viewed as a Digital Image . . . . . . . 205
Alfred M. Bruckstein Invariant Recognition and Processing of
Planar Shapes . . . . . . . . . . . . . 3
Horst Bunke Recent Advances in Structural Pattern
Recognition with Applications to Visual
Form Analysis . . . . . . . . . . . . . 11
Terry Caelli and
Andrew McCabe and
Gordon Binsted On Learning the Shape of Complex Actions 24
Donald D. Hoffman Mereology of Visual Form . . . . . . . . 40
Josef Kittler and
Alireza Ahmadyfard On Matching Algorithms for the
Recognition of Objects in Cluttered
Background . . . . . . . . . . . . . . . 51
Ali Shokoufandeh and
Sven Dickinson A Unified Framework for Indexing and
Matching Hierarchical Shape Structures 67
Shimon Ullman and
Erez Sali and
Michel Vidal-Naquet A Fragment-Based Approach to Object
Representation and Classification . . . 85
Tetsuo Asano and
Yasuyuki Kawamura and
Reinhard Klette and
Koji Obokata Minimum-Length Polygons in Approximation
Sausages . . . . . . . . . . . . . . . . 103
Gunilla Borgefors and
Stina Svensson Optimal Local Distances for Distance
Transforms in $3$D Using an Extended
Neighbourhood . . . . . . . . . . . . . 113
Marco Bressan and
Jordi Vitri\`a Independent Modes of Variation in Point
Distribution Models . . . . . . . . . . 123
Virginio Cantoni and
Luca Lombardi and
Marco Porta and
Ugo Vallone Qualitative Estimation of Depth in
Monocular Vision . . . . . . . . . . . . 135
Per-Erik Danielsson and
Qingfen Lin A New Shape Space for Second Order
$3$D-Variations . . . . . . . . . . . . 145
Claudio De Stefano and
Maria Frucci Spatial Relations among Pattern Subsets
as a Guide for Skeleton Pruning . . . . 155
Petko Faber and
R. B. Fisher Euclidean Fitting Revisited . . . . . . 165
Mario Ferraro and
Giuseppe Boccignone and
Terry Caelli On the Representation of Visual
Information . . . . . . . . . . . . . . 176
Roland Glantz and
Walter G. Kropatsch Skeletons in the Framework of Graph
Pyramids . . . . . . . . . . . . . . . . 186
Ruth Grossmann and
Nahum Kiryati and
Ron Kimmel Computational Surface Flattening: A
Voxel-Based Approach . . . . . . . . . . 196
Hyo-Ju Kim and
Chang-Sung Jeong An Adaptive Image Interpolation Using
the Quadratic Spline Interpolator . . . 205
Frederic F. Leymarie and
Benjamin B. Kimia The Shock Scaffold for Representing $3$D
Shape . . . . . . . . . . . . . . . . . 216
Ingela Nyström and
Gabriella Sanniti di Baja and
Stina Svensson Curve Skeletonization by Junction
Detection in Surface Skeletons . . . . . 229
Binh Pham Representation of Fuzzy Shapes . . . . . 239
Gilles Rabatel and
Anne-Gaëlle Manh and
Marie-José Aldon and
Bernard Bonicelli Skeleton-Based Shape Models with
Pressure Forces: Application to
Segmentation of Overlapping Leaves . . . 249
Andrea Torsello and
Edwin R. Hancock A Skeletal Measure of $2$D Shape
Similarity . . . . . . . . . . . . . . . 260
Liangyin Yu and
Charles R. Dyer Perception-Based $2$D Shape Modeling by
Curvature Shaping . . . . . . . . . . . 272
Erhardt Barth and
Mario Ferraro and
Christoph Zetzsche Global Topological Properties of Images
Derived from Local Curvature Features 285
Alberto Biancardi and
Manuel Segovia-Martínez Adaptive Segmentation of MR Axial Brain
Images Using Connected Components . . . 295
David Coeurjolly and
Serge Miguet and
Laure Tougne Discrete Curvature Based on Osculating
Circle Estimation . . . . . . . . . . . 303
Koichiro Deguchi and
Tadahiro Izumitani and
Hidekata Hontani Detection and Enhancement of Line
Structures in an Image by Anisotropic
Diffusion . . . . . . . . . . . . . . . 313
Patrick S. Huggins and
Steven W. Zucker How Folds Cut a Scene . . . . . . . . . 323
Yukiko Kenmochi and
Atsushi Imiya and
Toshiaki Nomura and
Kazunori Kotani Extraction of Topological Features from
Sequential Volume Data . . . . . . . . . 333
Ron Kimmel and
Nir Sochen Using Beltrami Framework for Orientation
Diffusion in Image Processing . . . . . 346
Reinhard Klette and
Hao Jie Sun Digital Planar Segment Based
Polyhedrization for Surface Area
Estimation . . . . . . . . . . . . . . . 356
Lifeng Liu and
Stan Sclaroff Shape-Guided Split and Merge of Image
Regions . . . . . . . . . . . . . . . . 367
Cris L. Luengo Hendriks and
Lucas J. van Vliet A Rotation-Invariant Morphology for
Shape Analysis of Anisotropic Objects
and Structures . . . . . . . . . . . . . 378
Youssef Machrouh and
Jean-Sylvail Liénard and
Philippe Tarroux Multiscale Feature Extraction from the
Visual Environment in an Active Vision
System . . . . . . . . . . . . . . . . . 388
Amin Massad and
Gerard Medioni $2$-D Shape Decomposition into
Overlapping Parts . . . . . . . . . . . 398
Marco Mattavelli and
Vincent Noel and
Edoardo Amaldi Fast Line Detection Algorithms Based on
Combinatorial Optimization . . . . . . . 410
Mads Nielsen and
Ole Fogh Olsen and
Michael Sig and
M. Sigurd Koenderink Corner Points . . . . . . . . 420
Fernando Pérez Nava and
Antonio Falcón Martel Dynamic Models for Wavelet
Representations of Shape . . . . . . . . 431
Paul L. Rosin Straightening and Partitioning Shapes 440
Doron Shaked Invariant Signatures from Polygonal
Approximations of Smooth Curves . . . . 451
Walter F. Bischof and
Terry Caelli On the Learning of Complex Movement
Sequences . . . . . . . . . . . . . . . 463
Frederic Comby and
Olivier Strauss and
Marie-José Aldon Possibility Theory and Rough Histograms
for Motion Estimation in a Video
Sequence . . . . . . . . . . . . . . . . 473
L. P. Cordella and
P. Foggia and
C. Sansone and
F. Tortorella and
M. Vento Prototyping Structural Shape
Descriptions by Inductive Learning . . . 484
René Dencker Eriksen and
Ivar Balslev Training Space Truncation in
Vision-Based Recognition . . . . . . . . 494
Claudio De Stefano and
A. Della Cioppa and
A. Marcelli and
F. Matarazzo Grouping Character Shapes by Means of
Genetic Programming . . . . . . . . . . 504
Michael Elad and
Yacov Hel-Or and
Renato Keshet Pattern Detection Using a Maximal
Rejection Classifier . . . . . . . . . . 514
A. K. Gramopadhye and
Kartik Madhani Visual Search and Visual Lobe Size . . . 525
David Jacobs and
Peter Belhumeur and
Ian Jermyn Judging Whether Multiple Silhouettes Can
Come from the Same Object . . . . . . . 532
Jacques-Olivier Lachaud and
Anne Vialard Discrete Deformable Boundaries for the
Segmentation of Multidimensional Images 542
Pierre Martin-Granel and
Matthew Roach and
John Mason Camera Motion Extraction Using
Correlation for Motion-Based Video
Classification . . . . . . . . . . . . . 552
Adnan A. Y. Mustafa Matching Incomplete Objects Using
Boundary Signatures . . . . . . . . . . 563
Francesca Odone and
Emanuele Trucco and
Alessandro Verri General Purpose Matching of Grey Level
Arbitrary Images . . . . . . . . . . . . 573
Marcello Pelillo and
Kaleem Siddiqi and
Steven W. Zucker Many-to-many Matching of Attributed
Trees Using Association Graphs and Game
Dynamics . . . . . . . . . . . . . . . . 583
Antonio Robles-Kelly and
Edwin R. Hancock An Expectation-Maximisation Framework
for Perceptual Grouping . . . . . . . . 594
Thomas B. Sebastian and
Philip N. Klein and
Benjamin B. Kimia Alignment-Based Recognition of Shape
Outlines . . . . . . . . . . . . . . . . 606
Guido Tascini and
A. Montesanto and
R. Palombo and
P. Puliti Behind the Image Sequence: The Semantics
of Moving Shapes . . . . . . . . . . . . 619
June-Ho Yi Probabilistic Hypothesis Generation for
Rapid $3$D Object Recognition . . . . . 630
Djordje Brujic and
Iain Ainsworth and
Mihailo Ristic and
Vesna Brujic Efficient Shape Description Using NURBS 643
Leila De Floriani and
Paola Magillo and
Franco Morando and
Enrico Puppo Non-manifold Multi-tessellation: From
Meshes to Iconic Representations of
Objects . . . . . . . . . . . . . . . . 654
Riccardo Distasi and
Michele Nappi and
Maurizio Tucci and
Sergio Vitulano Image Indexing by Contour Analysis: A
Comparison . . . . . . . . . . . . . . . 665
Atsushi Imiya and
Kazuhiko Kawamoto Shape Reconstruction from an Image
Sequence . . . . . . . . . . . . . . . . 677
Itsuo Kumazawa and
Masayoshi Ohno $3$D Shape Reconstruction from Multiple
Silhouettes: Generalization from Few
Views by Neural Network Learning . . . . 687
Hirobumi Nishida Robust Structural Indexing through
Quasi-Invariant Shape Signatures and
Feature Generation . . . . . . . . . . . 696
Beom-Soo Oh and
Chang-Hun Kim Fast Reconstruction of $3$D Objects from
Single Free-Hand Line Drawing . . . . . 706
B. G. Prasad and
S. K. Gupta and
K. K. Biswas Color and Shape Index for Region-Based
Image Retrieval . . . . . . . . . . . . 716
Adrian G. Bors and
Lefteris Kechagias and
Ioannis Pitas Virtual Drilling in $3$-D Objects
Reconstructed by Shape-Based
Interpolation . . . . . . . . . . . . . 729
Cecilia Di Ruberto and
Andrew Dempster and
Shahid Khan and
Bill Jarra Morphological Image Processing for
Evaluating Malaria Disease . . . . . . . 739
Giovanni Garibotto A Binocular License Plate Reader for
High Precision Speed Measurement . . . . 749
George Nagy and
Tong Zhang and
W. R. Franklin and
Eric Landis and
Edwin Nagy and
Denis T. Keane Volume and Surface Area Distributions of
Cracks in Concrete . . . . . . . . . . . 759
Jan Neumann and
Hanan Samet and
Aya Soffer Integration of Local and Global Shape
Analysis for Logo Classification . . . . 769
Petra Perner Motion Tracking of Animals for Behavior
Analysis . . . . . . . . . . . . . . . . 779
Kwan-Yee K. Wong and
Paulo R. S. Mendonça and
Roberto Cipolla Head Model Acquisition from Silhouettes 787
Anonymous Author Index . . . . . . . . . . . . . . 797
Satyam Tyagi and
Paul Tarau and
Armin Mikler Multicast Protocols for Jinni Agents . . 1
Gerald Eichler and
Falk Fünfstück and
Fabio Ricciato and
Anne Thomas and
Charilaos Tsetsekas and
Martin Winter Modern Software Engineering Methods for
IP-QoS Resource Pool Management . . . . 19
Dang-Hai Hoang and
Dietrich Reschke and
Werner Horn Adaptive Quality of Service Management
Using QoS Proxy and User Feedback for
Wireless Links . . . . . . . . . . . . . 31
Tatsuo Tsuji and
Hidetatsu Kawahara and
Teruhisa Hochin and
Ken Higuchi Sharing Extendible Arrays in a
Distributed Environment . . . . . . . . 41
Steffen Deter and
Karsten Sohr Pini --- A Jini-Like Plug&Play Technology
for the KVM/CLDC . . . . . . . . . . . . 53
Wolfgang Kastner and
Markus Leupold Discovering Internet Services:
Integrating Intelligent Home Automation
Systems to Plug and Play Networks . . . 67
Stephan Lukosch and
Jörg Roth Reusing Single-User Applications to
Create Multi-user Internet Applications 79
Narsingh Deo and
Pankaj Gupta Graph-Theoretic Web Algorithms: An
Overview . . . . . . . . . . . . . . . . 91
Yoo-Sung Kim and
Ki-Chang Kim and
Soo Duk Kim Prefetching Tiled Internet Data Using a
Neighbor Selection Markov Chain . . . . 103
Jose Aguilar and
Ernst Leiss A General Adaptive Cache
Coherency-Replacement Scheme for
Distributed Systems . . . . . . . . . . 116
V. Robin Rohit and
D. Sampath Agents Based Collaborative Framework for
B2C Business Model and Related Services 126
Moritz Gmelin and
Jochen Kreuzinger and
Matthias Pfeffer and
Theo Ungerer Agent-Based Distributed Computing with
JMessengers . . . . . . . . . . . . . . 134
Armin R. Mikler and
Vivek S. Chokhani Agent-Based Wave Computation: Towards
Controlling the Resource Demand . . . . 146
Marcelo d'Amorim and
Carlos Ferraz A Design for JTrader, an Internet
Trading Service . . . . . . . . . . . . 159
Jacques Lonchamp and
Fabrice Muller Computer-Supported Deliberations for
Distributed Teams . . . . . . . . . . . 167
Igor Sedov and
Marc Haase and
Clemens Cap and
Dirk Timmermann Hardware Security Concept for
Spontaneous Network Integration of
Mobile Devices . . . . . . . . . . . . . 175
Anonymous Author Index . . . . . . . . . . . . . . 183
Christoph M. Hoffmann and
Bo Yuan On Spatial Constraint Solving Approaches 1
Xiao-Shan Gao and
Lei-Dong Huang and
Kun Jiang A Hybrid Method for Solving Geometric
Constraint Problems . . . . . . . . . . 16
Fabrice Rouillier and
Mohab Safey El Din and
Éric Schost Solving the Birkhoff Interpolation
Problem via the Critical Point Method:
An Experimental Study . . . . . . . . . 26
Lu Yang and
Ju Zhang A Practical Program of Automated Proving
for a Class of Geometric Inequalities 41
Daniela Tulone and
Chee Yap and
Chen Li Randomized Zero Testing of Radical
Expressions and Elementary Geometry
Theorem Proving . . . . . . . . . . . . 58
Pasqualina Conti and
Carlo Traverso Algebraic and Semialgebraic Proofs:
Methods and Paradoxes . . . . . . . . . 83
Laura Bazzotti and
Giorgio Dalzotto and
Lorenzo Robbiano Remarks on Geometric Theorem Proving . . 104
Michael Bulmer and
Desmond Fearnley-Sander and
Tim Stokes The Kinds of Truth of Geometry Theorems 129
Tim Stokes and
Michael Bulmer A Complex Change of Variables for
Geometrical Reasoning . . . . . . . . . 143
Philippe Aubry and
Dongming Wang Reasoning about Surfaces Using
Differential Zero and Ideal
Decomposition . . . . . . . . . . . . . 154
Jürgen Bokowski Effective Methods in Computational
Synthetic Geometry . . . . . . . . . . . 175
Ulrich Kortenkamp and
Jürgen Richter-Gebert Decision Complexity in Dynamic Geometry 193
Hongbo Li and
Yihong Wu Automated Theorem Proving in Incidence
Geometry --- A Bracket Algebra Based
Elimination Method . . . . . . . . . . . 199
Timothy F. Havel Qubit Logic, Algebra and Geometry . . . 228
Jacques D. Fleuriot Nonstandard Geometric Proofs . . . . . . 246
Ricardo Caferra and
Nicolas Peltier and
François Puitg Emphasizing Human Techniques in
Automated Geometry Theorem Proving: A
Practical Realization . . . . . . . . . 268
Christophe Dehlinger and
Jean-François Dufourd and
Pascal Schreck Higher-Order Intuitionistic
Formalization and Proofs in Hilbert's
Elementary Geometry . . . . . . . . . . 306
Anonymous Author Index . . . . . . . . . . . . . . 325
Alexander Nareyek 1. Introduction . . . . . . . . . . . . 1
Alexander Nareyek 2. Using Global Constraints for Local
Search . . . . . . . . . . . . . . . . . 25
Alexander Nareyek 3. Structural Constraint Satisfaction 47
Alexander Nareyek 4. The Planning Model . . . . . . . . . 69
Alexander Nareyek 5. Application . . . . . . . . . . . . . 97
Alexander Nareyek 6. Conclusion . . . . . . . . . . . . . 127
Alexander Nareyek 7. Future Work . . . . . . . . . . . . . 131
Alexander Nareyek A. Internet Links . . . . . . . . . . . 135
Alexander Nareyek B. The ``Send More Money'' Problem . . . 139
Alexander Nareyek C. Choice Randomization . . . . . . . . 141
Alexander Nareyek D. Ensuring the Satisfaction of
Structural Constraints . . . . . . . . . 151
Anonymous References . . . . . . . . . . . . . . . 165
Anonymous Index . . . . . . . . . . . . . . . . . 177
Paul E. Utgoff and
Richard P. Cochran A Least-Certainty Heuristic for
Selective Search . . . . . . . . . . . . 1
Thomas Thomsen Lambda-Search in Game Trees --- with
Application to Go . . . . . . . . . . . 19
Tristan Cazenave Abstract Proof Search . . . . . . . . . 39
Makoto Sakuta and
Hiroyuki Iida Solving Kriegspiel-Like Problems:
Examining Efficient Search Methods . . . 55
Thomas R. Lincke Strategies for the Automatic
Construction of Opening Books . . . . . 74
Roel van der Goot Awari Retrograde Analysis . . . . . . . 87
Haw-ren Fang and
Tsan-sheng Hsu and
Shun-chin Hsu Construction of Chinese Chess Endgame
Databases by Retrograde Analysis . . . . 96
Jack van Rijswijck Learning from Perfection. A Data Mining
Approach to Evaluation Function Learning
in Awari . . . . . . . . . . . . . . . . 115
Robert Levinson and
Ryan Weber Chess Neighborhoods, Function
Combination, and Reinforcement Learning 133
Jan Ramon and
Tom Francis and
Hendrik Blockeel Learning a Go Heuristic with \sc Tilde 151
Levente Kocsis and
Jos Uiterwijk and
Jaap van den Herik Learning Time Allocation Using Neural
Networks . . . . . . . . . . . . . . . . 170
Wolfgang Slany The Complexity of Graph Ramsey Games . . 186
Aviezri S. Fraenkel Virus Versus Mankind . . . . . . . . . . 204
Richard J. Lorentz Creating Difficult Instances of the Post
Correspondence Problem . . . . . . . . . 214
Masashi Kiyomi and
Tomomi Matsui Integer Programming Based Algorithms for
Peg Solitaire Problems . . . . . . . . . 229
Marcel Crâsmaru and
John Tromp Ladders Are PSPACE-Complete . . . . . . 241
Michael Buro Simple Amazons Endgames and Their
Connection to Hamilton Circuits in Cubic
Subgrid Graphs . . . . . . . . . . . . . 250
Ernst A. Heinz New Self-Play Results in Computer Chess 262
Jeff Rollason SUPER--SOMA --- Solving Tactical
Exchanges in Shogi without Tree
Searching . . . . . . . . . . . . . . . 277
Youhei Hori and
Minenobu Seki and
Reijer Grimbergen and
Tsutomu Maruyama and
Tsutomu Hoshino A Shogi Processor with a Field
Programmable Gate Array . . . . . . . . 297
Reijer Grimbergen Plausible Move Generation Using Move
Merit Analysis with Cut-Off Thresholds
in Shogi . . . . . . . . . . . . . . . . 315
Jiefu Shi and
Michael L. Littman Abstraction Methods for Game Theoretic
Poker . . . . . . . . . . . . . . . . . 333
Takahisa Ando and
Takao Uehara Reasoning by Agents in Computer Bridge
Bidding . . . . . . . . . . . . . . . . 346
Boris Stilman Linguistic Geometry for Solving War
Games . . . . . . . . . . . . . . . . . 365
Kei-ichi Tainaka Physics and Ecology of
Rock-Paper-Scissors Game . . . . . . . . 384
Michael L. Littman Review: Computer Language Games . . . . 396
Martin Müller Review: Computer Go 1984-2000 . . . . . 405
Alexander Nareyek Review: Intelligent Agents for Computer
Games . . . . . . . . . . . . . . . . . 414
Itsuki Noda and
Ian Frank Review: RoboCup through 2000 . . . . . . 423
Takenobu Takizawa and
Reijer Grimbergen Review: Computer Shogi through 2000 . . 433
Anonymous Author Index . . . . . . . . . . . . . . 443
Jens Blanck Effectivity of Regular Spaces . . . . . 1
Anthony J. Dunlop and
Marian Boykan Pour-El The Degree of Unsolvability of a Real
Number . . . . . . . . . . . . . . . . . 16
Paul Gowland and
David Lester A Survey of Exact Arithmetic
Implementations . . . . . . . . . . . . 30
Armin Hemmerling Standard Representations of Effective
Metric Spaces . . . . . . . . . . . . . 48
Peter Hertling Banach-Mazur Computable Functions on
Metric Spaces . . . . . . . . . . . . . 69
Namhyun Hur and
James H. Davenport A Generic Root Operation for Exact Real
Arithmetic . . . . . . . . . . . . . . . 82
Hiroyasu Kamo Effective Contraction Theorem and Its
Application . . . . . . . . . . . . . . 88
George Kapoulas Polynomially Time Computable Functions
over $p$-Adic Fields . . . . . . . . . . 101
Ulrich Kohlenbach On the Computational Content of the
Krasnoselski and Ishikawa Fixed Point
Theorems . . . . . . . . . . . . . . . . 119
Margarita V. Korovina and
Oleg V. Kudinov Formalisation of Computability of
Operators and Real-Valued Functionals
via Domain Theory . . . . . . . . . . . 146
Marko Krznari\'c Computing a Required Absolute Precision
from a Stream of Linear Fractional
Transformations . . . . . . . . . . . . 169--186
Charles Meyssonnier and
Paolo Boldi and
Sebastiano Vigna $\delta$-Approximable Functions . . . . 187--199
Takakazu Mori Computabilities of Fine-Continuous
Functions . . . . . . . . . . . . . . . 200
Norbert Th. Müller The iRRAM: Exact Arithmetic in C++ . . . 222--252
Daniel Richardson The Uniformity Conjecture . . . . . . . 253
Matthias Schröder Admissible Representations of Limit
Spaces . . . . . . . . . . . . . . . . . 273
Dimiter Skordev Characterization of the Computable Real
Numbers by Means of Primitive Recursive
Functions . . . . . . . . . . . . . . . 296
Izumi Takeuti Effective Fixed Point Theorem over a
Non-computably Separable Metric Space 310
Hideki Tsuiki Computational Dimension of Topological
Spaces . . . . . . . . . . . . . . . . . 323
Yoshiki Tsujii and
Mariko Yasugi and
Takakazu Mori Some Properties of the Effective Uniform
Topological Space . . . . . . . . . . . 336
Klaus Weihrauch On Computable Metric Spaces
Tietze-Urysohn Extension Is Computable 357
Klaus Weihrauch and
Ning Zhong Is the Linear Schrödinger Propagator
Turing Computable? . . . . . . . . . . . 369
Martin Ziegler and
Vasco Brattka A Computable Spectral Theorem . . . . . 378
Jens Blanck Exact Real Arithmetic Systems: Results
of Competition . . . . . . . . . . . . . 389
Anonymous Author Index . . . . . . . . . . . . . . 395
Can Türker Schema Evolution in SQL-99 and
Commercial (Object-)Relational DBMS . . 1
Nasreddine Aoumeur and
Gunter Saake Consistency Management in Runtime
Evolving Concurrent Information Systems:
A CO--NETS-Based Approach . . . . . . . 33
Sören Balko Adaptive Specifications of Technical
Information Systems . . . . . . . . . . 61
Kajal T. Claypool and
Elke A. Rundensteiner and
George T. Heineman Evolving the Software of a Schema
Evolution System . . . . . . . . . . . . 68
Enrico Franconi and
Fabio Grandi and
Federica Mandreoli Schema Evolution and Versioning: A
Logical and Computational
Characterisation . . . . . . . . . . . . 85
Roy Gelbard and
Asher Gilmour Temporal Branching as a Conflict
Management Technique . . . . . . . . . . 100
Ole G. Jensen and
Michael H. Böhlen Evolving Relations . . . . . . . . . . . 115
Ron McFadyen and
Fung-Yee Chan QFD Matrix for Incremental Construction
of a Warehouse via Data Marts . . . . . 133
Randal J. Peters and
Ken Barker Change Propagation in an Axiomatic Model
of Schema Evolution for Objectbase
Management Systems . . . . . . . . . . . 142
Gunter Saake and
Can Türker and
Stefan Conrad Evolving Objects: Conceptual Description
of Adaptive Information Systems . . . . 163
Hong Su and
Kajal T. Claypool and
Elke A. Rundensteiner Extending the Object Query Language for
Transparent Metadata Access . . . . . . 182
Marie-Noëlle Terrasse A Metamodeling Approach to Evolution . . 202
Lex Wedemeijer Defining Metrics for Conceptual Schema
Evolution . . . . . . . . . . . . . . . 220
Anonymous Author Index . . . . . . . . . . . . . . 245
Sa\"\id Abdedda\"\im and
Burkhard Morgenstern Speeding Up the DIALIGN Multiple
Alignment Program by Using the `Greedy
Alignment of BIOlogical Sequences
LIBrary' (GABIOS-LIB) . . . . . . . . . 1
G. Broner and
B. Spataro and
C. Gautier and
F. Rechenmann GeMCore, a Knowledge Base Dedicated to
Mapping Mammalian Genomes . . . . . . . 12
David Bryant Optimal Agreement Supertrees . . . . . . 24
Laurent Guéguen Segmentation by Maximal Predictive
Partitioning According to Composition
Biases . . . . . . . . . . . . . . . . . 32
Alain Guénoche and
Henri Garreta Can We Have Confidence in a Tree
Representation? . . . . . . . . . . . . 45
Vsevolod Makeev and
Vasily Ramensky and
Mikhail Gelfand and
Mikhail Roytberg and
Vladimir Tumanyan Bayesian Approach to DNA Segmentation
into Regions with Different Average
Nucleotide Composition . . . . . . . . . 57
Sabine Mercier and
Dominique Cellier and
François Charlot and
Jean-Jacques Daudin Exact and Asymptotic Distribution of the
Local Score of One i.i.d. Random
Sequence . . . . . . . . . . . . . . . . 74
Vincent Ranwez and
Olivier Gascuel Phylogenetic Reconstruction Algorithms
Based on Weighted $4$-Trees . . . . . . 84
Mireille Régnier Computational Complexity of Word
Counting . . . . . . . . . . . . . . . . 99
Thomas Schiex and
Annick Moisan and
Pierre Rouzé EUG\`ENE: An Eukaryotic Gene Finder That
Combines Several Sources of Evidence . . 111
Charles Semple and
Mike Steel Tree Reconstruction via a Closure
Operation on Partial Splits . . . . . . 126
Nicolas Thierry-Mieg and
Laurent Trilling InterDB, a Prediction-Oriented Protein
Interaction Database for C. elegans . . 135
Jacques van Helden and
David Gilbert and
Lorenz Wernisch and
Michael Schroeder and
Shoshana Wodak Application of Regulatory Sequence
Analysis and Metabolic Network Analysis
to the Interpretation of Gene Expression
Data . . . . . . . . . . . . . . . . . . 147
Anonymous Author Index . . . . . . . . . . . . . . 165
Stephan Merz Model Checking: A Tutorial Overview . . 3
John Rushby Theorem Proving for Verification . . . . 39
Antti Valmari Composition and Abstraction . . . . . . 58
Tobias Amnell and
Gerd Behrmann and
Johan Bengtsson and
Pedro R. D'Argenio and
Alexandre David and
Ansgar Fehnker and
Thomas Hune and
Bertrand Jeannet and
Kim G. Larsen and
M. Oliver Möller and
Paul Pettersson and
Carsten Weise and
Wang Yi UPPAAL --- Now, Next, and Future . . . . 99
Benoit Caillaud and
Philippe Darondeau and
Lo\"\ic Hélouët and
Gilles Lesventes HMSCs as Partial Specifications ... with
PNs as Completions . . . . . . . . . . . 125
Alessandro Cimatti Industrial Applications of Model
Checking . . . . . . . . . . . . . . . . 153
Dominique Bolignano and
Daniel Le Métayer and
Claire Loiseaux Formal Methods in Practice: The Missing
Links. A Perspective from the Security
Area . . . . . . . . . . . . . . . . . . 169
Javier Esparza Verification of Systems with an Infinite
State Space . . . . . . . . . . . . . . 183
Ed Brinksma and
Jan Tretmans Testing Transition Systems: An Annotated
Bibliography . . . . . . . . . . . . . . 187
Alexandre Petrenko Fault Model-Driven Test Derivation from
Finite State Models: Annotated
Bibliography . . . . . . . . . . . . . . 196
Silvano Dal Zilio Mobile Processes: A Commented
Bibliography . . . . . . . . . . . . . . 206
Anonymous Author Index . . . . . . . . . . . . . . 223
Larry Rudolph Project Oxygen: Pervasive, Human-Centric
Computing --- An Initial Experience . . 1
Peter C. Lockemann Database Systems Architecture: A Study
in Factor-Driven Software System Design 13
Markus Tresch and
Dirk Jonscher Evolution not Revolution: The Data
Warehousing Strategy at Credit Suisse
Financial Services . . . . . . . . . . . 36
Peter Bielkowicz and
Thein T. Tun A Comparison and Evaluation of Data
Requirement Specification Techniques in
SSADM and the Unified Process . . . . . 46
Juan Sánchez Díaz and
Oscar Pastor López and
Juan J. Fons From User Requirements to User
Interfaces: A Methodological Approach 60
Martin Glinz and
Stefan Berner and
Stefan Joos and
Johannes Ryser and
Nancy Schett and
Yong Xia The ADORA Approach to Object-Oriented
Modeling of Software . . . . . . . . . . 76
Roel J. Wieringa and
David N. Jansen Techniques for Reactive System Design:
The Tools in TRADE . . . . . . . . . . . 93
Jaelson Castro and
Manuel Kolp and
John Mylopoulos A Requirements-Driven Development
Methodology . . . . . . . . . . . . . . 108
Antonio L. Furtado and
Angelo E. M. Ciarlini Constructing Libraries of Typical Plans 124
Wil M. P. van der Aalst and
Mathias Weske The P2P Approach to Interorganizational
Workflows . . . . . . . . . . . . . . . 140
Juliane Dehnert and
Peter Rittgen Relaxed Soundness of Business Processes 157
Fabio Casati and
Mehmet Sayal and
Ming-Chien Shan Developing E-Services for Composing
E-Services . . . . . . . . . . . . . . . 171
Carlo Combi and
Angelo Montanari Data Models with Multiple Temporal
Dimensions: Completing the Picture . . . 187
Jianhua Shao and
Xingkun Liu and
G. Fu and
Suzanne M. Embury and
W. A. Gray Querying Data-Intensive Programs for
Data Design . . . . . . . . . . . . . . 203
Andrea Zisman and
Adamantia Athanasopoulou Consistency Management of Financial XML
Documents . . . . . . . . . . . . . . . 219
Juhani Iivari and
Magda Huisman The Relationship Between Organisational
Culture and the Deployment of Systems
Development Methodologies . . . . . . . 234
Silke Eckstein and
Peter Ahlbrecht and
Karl Neumann Increasing Reusability in Information
Systems Development by Applying Generic
Methods . . . . . . . . . . . . . . . . 251
Jolita Ralyté and
Colette Rolland An Assembly Process Model for Method
Engineering . . . . . . . . . . . . . . 267
Soeli T. Fiorini and
Julio Cesar Sampaio do Prado Leite and
Carlos José Pereira de Lucena Process Reuse Architecture . . . . . . . 284
Mark Roantree and
Jessie B. Kennedy and
Peter J. Barclay Using a Metadata Software Layer in
Information Systems Integration . . . . 299
Lieming Huang and
Ulrich Thiel and
Matthias Hemmje and
Erich J. Neuhold Distributed Information Search with
Adaptive Meta-Search Engines . . . . . . 315
Peter M\dcBrien and
Alexandra Poulovassilis A Semantic Approach to Integrating XML
and Structured Data Sources . . . . . . 330--345
Franz Pühretmair and
Wolfram Wöß XML-Based Integration of GIS and
Heterogeneous Tourism Information . . . 346
Jacky Estublier Objects Control for Software
Configuration Management . . . . . . . . 359
Luís Filipe Andrade and
José Luiz Fiadeiro Coordination Technologies for Managing
Information System Evolution . . . . . . 374
Marcela Genero and
José Olivas and
Mario Piattini and
Francisco Romero Using Metrics to Predict OO Information
Systems Maintainability . . . . . . . . 388
Régine Laleau and
Fiona Polack A Rigorous Metamodel for UML Static
Conceptual Modelling of Information
Systems . . . . . . . . . . . . . . . . 402
Antoni Olivé Taxonomies and Derivation Rules in
Conceptual Modeling . . . . . . . . . . 417
Gerson Sunyé and
François Pennaneac'h and
Wai-Ming Ho and
Alain Le Guennec and
Jean-Marc Jézéquel Using UML Action Semantics for
Executable Modeling and Beyond . . . . . 433
Rudolf K. Keller and
Jean-François Bédard and
Guy Saint-Denis Design and Implementation of a UML-Based
Design Repository . . . . . . . . . . . 448
Anne Persson and
Janis Stirna Why Enterprise Modelling? An Explorative
Study into Current Practice . . . . . . 465
Mira Kajko-Mattsson A Glimpse into CM$^3$: Problem
Management . . . . . . . . . . . . . . . 469--472
Sjaak Brinkkemper and
Motoshi Saeki and
Frank Harmsen A Method Engineering Language for the
Description of Systems Development
Methods (Extended Abstract) . . . . . . 473
John Krogstie and
Håvard D. Jòrgensen Flexible Support of Work Processes ---
Balancing the Support of Organisations
and Workers . . . . . . . . . . . . . . 477
Anonymous Author Index . . . . . . . . . . . . . . 483
Carol Peters Introduction . . . . . . . . . . . . . . 1
Donna Harman and
Martin Braschler and
Michael Hess and
Michael Kluck and
Carol Peters and
Peter Schäuble and
Páraic Sheridan CLIR Evaluation at TREC . . . . . . . . 7
Noriko Kando NTCIR Workshop: Japanese- and
Chinese-English Cross-Lingual
Information Retrieval and Multi-grade
Relevance Judgments . . . . . . . . . . 24
Julio Gonzalo Language Resources in Cross-Language
Text Retrieval: A CLEF Perspective . . . 36
Michael Kluck and
Fredric C. Gey The Domain-Specific Task of CLEF ---
Specific Evaluation Strategies in
Cross-Language Information Retrieval . . 48
Douglas W. Oard Evaluating Interactive Cross-Language
Information Retrieval: Document
Selection . . . . . . . . . . . . . . . 57
Gareth J. F. Jones New Challenges for Cross-Language
Information Retrieval: Multimedia Data
and the User Experience . . . . . . . . 72
Fredric C. Gey Research to Improve Cross-Language
Retrieval --- Position Paper for CLEF 83
Martin Braschler CLEF 2000 --- Overview of Results . . . 89
Djoerd Hiemstra and
Wessel Kraaij and
Renée Pohlmann and
Thijs Westerveld Translation Resources, Merging
Strategies, and Relevance Feedback for
Cross-Language Information Retrieval . . 102
Fredric C. Gey and
Hailing Jiang and
Vivien Petras and
Aitao Chen Cross-Language Retrieval for the CLEF
Collections --- Comparing Multiple
Methods of Retrieval . . . . . . . . . . 116
Paul McNamee and
James Mayfield and
Christine Piatko A Language-Independent Approach to
European Text Retrieval . . . . . . . . 129
Martin Braschler and
Peter Schäuble Experiments with the Eurospider
Retrieval System for CLEF 2000 . . . . . 140
Arjen P. de Vries A Poor Man's Approach to CLEF . . . . . 149
Mirna Adriani Ambiguity Problem in Multilingual
Information Retrieval . . . . . . . . . 156
Bärbel Ripplinger The Use of NLP Techniques in CLIR . . . 166
Douglas W. Oard and
Gina-Anne Levow and
Clara I. Cabezas CLEF Experiments at Maryland:
Statistical Stemming and Backoff
Translation . . . . . . . . . . . . . . 176
Jian-Yun Nie and
Michel Simard and
George Foster Multilingual Information Retrieval Based
on Parallel Texts from the Web . . . . . 188
Mohand Boughanem and
Nawel Nassr Mercure at CLEF-1 . . . . . . . . . . . 202
Turid Hedlund and
Heikki Keskustalo and
Ari Pirkola and
Mikko Sepponen and
Kalervo Järvelin Bilingual Tests with Swedish, Finnish,
and German Queries: Dealing with
Morphology, Compound Words, and Query
Structure . . . . . . . . . . . . . . . 210
Carlos G. Figuerola and
José Luis Alonso Berrocal and
Angel F. Zazo and
Raquel Gómez Díaz A Simple Approach to the Spanish-English
Bilingual Retrieval Task . . . . . . . . 224
Anne R. Diekema and
Wen-Yuan Hsiao Cross-Language Information Retrieval
Using Dutch Query Translation . . . . . 230
Norbert Gövert Bilingual Information Retrieval with
HyREX and Internet Translation Services 237
Tim Gollins and
Mark Sanderson Sheffield University CLEF 2000
Submission --- Bilingual Track: German
to English . . . . . . . . . . . . . . . 245--252
Isabelle Moulinier and
J. Andrew McCulloh and
Elizabeth Lund West Group at CLEF 2000: Non-English
Monolingual Retrieval . . . . . . . . . 253
Nicola Bertoldi and
Marcello Federico ITC-irst at CLEF 2000: Italian
Monolingual Track . . . . . . . . . . . 261--272
John A. Goldsmith and
Derrick Higgins and
Svetlana Soglasnova Automatic Language-Specific Stemming in
Information Retrieval . . . . . . . . . 273
Anonymous Appendix A --- Run Statistics . . . . . 285
Anonymous Author Index . . . . . . . . . . . . . . 389
Marcus Randall and
Elliot Tonkes Solving Network Synthesis Problems Using
Ant Colony Optimisation . . . . . . . . 1
Tim Hendtlass A Combined Swarm Differential Evolution
Algorithm for Optimization Problems . . 11
Zoltán Tóth and
Gabriella Kókai An Evolutionary Optimum Searching Tool 19
G. Ziegler and
Z. Palotai and
T. Cinkler and
P. Arató and
A. Lörincz Value Prediction in Engineering
Applications . . . . . . . . . . . . . . 25
Habiba Drias and
Mohamed Khabzaoui Scatter Search with Random Walk Strategy
for SAT and MAX--W--SAT Problems . . . . 35
Levente Kocsis and
Jos Uiterwijk and
Jaap van den Herik Move Ordering Using Neural Networks . . 45
John Debenham Why Use a Unified Knowledge
Representation? . . . . . . . . . . . . 51
Witold \Lukaszewicz and
Ewa Madalinska-Bugaj Lazy Knowledge Base Update . . . . . . . 61
Yun Bai and
Yan Zhang On the Computational Aspect of Rule
Based Database Updates . . . . . . . . . 71
Tamás Mészáros and
Zsolt Barczikay and
Ferenc Bodon and
Tadeusz P. Dobrowiecki and
György Strausz Building an Information and Knowledge
Fusion System . . . . . . . . . . . . . 82
Mark S. Levin Hierarchical Approach for Engineering
Skills Acquisition . . . . . . . . . . . 92
Setuo Ohsuga and
Naoto Ueda Dealing with Information in the
Different Styles Together --- Skill
Inheritance and Integration of
Information . . . . . . . . . . . . . . 101
Robert Kende Knowledge Modelling in Support of
Knowledge Management . . . . . . . . . . 107
Michel Page and
Jérôme Gensel and
Cécile Capponi and
Christophe Bruley and
Philippe Genoud and
Danielle Ziébelin and
Daniel Bardou and
Véronique Dupierris A New Approach in Object-Based Knowledge
Representation: The AROM System . . . . 113
Borys Omelayenko Ontology Integration Tasks in
Business-to-Business E-Commerce . . . . 119
Franz Wotawa Using Multiple Models for Debugging VHDL
Designs . . . . . . . . . . . . . . . . 125
Belarmino Pulido and
Carlos Alonso and
Felipe Acebes Lessons Learned from Diagnosing Dynamic
Systems Using Possible Conflicts and
Quantitative Models . . . . . . . . . . 135
R. Lakner and
K. M. Hangos Intelligent Assumption Retrieval from
Process Models by Model-Based Reasoning 145
Martín Molina and
Mónica Robledo A Knowledge Model for Automatic
Configuration of Traffic Messages . . . 155
Luo Xiao and
Dieter Wissmann and
Michael Brown and
Stefan Jablonski Information Extraction from HTML:
Combining XML and Standard Techniques
for IE from the Web . . . . . . . . . . 165
Dieter Bühler and
Wolfgang Küchlin Flexible Similarity Assessment for XML
Documents Based on XQL and Java
Reflection . . . . . . . . . . . . . . . 175
Luo Xiao and
Dieter Wissmann and
Michael Brown and
Stefan Jablonski Where to Position the Precision in
Knowledge Extraction from Text . . . . . 187
Benno Stein and
Oliver Niggemann Generation of Similarity Measures from
Different Sources . . . . . . . . . . . 197
Jesús S. Aguilar and
Roberto Ruiz and
José C. Riquelme and
Raúl Giráldez SNN: A Supervised Clustering Algorithm 207
Tolga Aydìn and
H. Altay Güvenir An Eager Regression Method Based on Best
Feature Projections . . . . . . . . . . 217--226
Péter Stefán and
László Monostori On the Relationship between Learning
Capability and the Boltzmann-Formula . . 227
Hasan M. Jamil and
Giovanni A. Modica A View Selection Tool for
Multidimensional Databases . . . . . . . 237
Shigeaki Sakurai and
Yumi Ichimura and
Akihiro Suyama and
Ryohei Orihara Inductive Learning of a Knowledge
Dictionary for a Text Mining System . . 247
Yannick Toussaint and
Jean-Charles Lamirel Combining Symbolic and Numeric
Techniques for DL Contents
Classification and Analysis . . . . . . 253
Hong Guo and
Yi L. Murphey Neural Learning from Unbalanced Data
Using Noise Modeling . . . . . . . . . . 259
P. Berényi and
J. Valyon and
G. Horváth Neural Modeling of an Industrial Process
with Noisy Data . . . . . . . . . . . . 269
Gerard Murray and
Tim Hendtlass Enhanced Artificial Neurons for Network
Applications . . . . . . . . . . . . . . 281
Pawan Lingras and
Paul Mountford Time Delay Neural Networks Designed
Using Genetic Algorithms for Short Term
Inter-City Traffic Forecasting . . . . . 290
Tamás Szabó and
Gábor Horváth An Efficient Hardware Implementation of
Feed-Forward Neural Networks . . . . . . 300
Evangelos Kotsakis and
Antoni Wolski MAPS: A Method for Identifying and
Predicting Aberrant Behavior in Time
Series . . . . . . . . . . . . . . . . . 314
Vojislav Kecman and
Tiru Arthanari Comparisons of QP and LP Based Learning
from Empirical Data . . . . . . . . . . 326
Jose Aguilar A Fuzzy Cognitive Map Based on the
Random Neural Model . . . . . . . . . . 333
Chung-Huei Tsai and
Deh-Shiu Hsu Synthetic Damage Assessment for RC
Structure Based on Fuzzy Logic . . . . . 339
Alexander Rotshtein and
Hanna Rakytyanska Genetic Algorithm for Fuzzy Logical
Equations Solving in Diagnostic Expert
Systems . . . . . . . . . . . . . . . . 349
Yangping Zhou and
Xiang Fang and
Bingquan Zhao Diagnosis Based on Genetic Algorithms
and Fuzzy Logic in NPPs . . . . . . . . 359
Theresa Beaubouef and
Frederick Petry Vagueness in Spatial Data: Rough Set and
Egg-Yolk Approaches . . . . . . . . . . 367
Clinton Woodward and
Tim Hendtlass Dynamic Trait Expression for Multiploid
Individuals of Evolutionary Algorithms 374
Miguel Rocha and
Filipe Pereira and
Sónia Afonso and
José Neves A Genetic and Evolutionary Programming
Environment with Spatially Structured
Populations and Built-In Parallelism . . 383
Paulo Cortez and
Miguel Rocha and
José Neves Genetic and Evolutionary Algorithms for
Time Series Forecasting . . . . . . . . 393
Rym M'hallah and
Ahlem Bouziri and
Walid Jilani Layout of Two Dimensional Irregular
Shapes Using Genetic Algorithms . . . . 403
James J. Donlon An Application of Genetic Algorithms to
Course Scheduling at the United States
Army War College . . . . . . . . . . . . 412
José C. Riquelme and
Raúl Giráldez and
Jesús S. Aguilar and
Roberto Ruiz Separation Surfaces through Genetic
Programming . . . . . . . . . . . . . . 428
Alexander Felfernig and
Gerhard Friedrich and
Dietmar Jannach and
Markus Zanker Distributed Configuration as Distributed
Dynamic Constraint Satisfaction . . . . 434
Ngoc Thanh Nguyen Representation Choice Methods as the
Tool for Solving Uncertainty in
Distributed Temporal Database Systems
with Indeterminate Valid Time . . . . . 445
Yoshinori Morita and
Hiroaki Higaki Checkpoint-Recovery for Mobile
Intelligent Networks . . . . . . . . . . 455
Andreas Kaiser and
Wolfgang Küchlin Automotive Product Documentation . . . . 465
Haiyi Zhang and
Barbro Back and
WanLei Zhou The Design and Implementation of a
Traffic Accident Analysis System . . . . 476
Honggee Jin and
Minsung Kim and
Sabum Jung and
Keymok Shon and
Hyungtae Ha and
Byungjin Ye and
Jiwon Jo Decision Support System for Shadow Mask
Development Using Rule and Case . . . . 482
Javier Tuya and
Eugenia Díaz and
Marta Hermida and
José A. L. Brugos and
Angel Neira and
Alfredo Alguero and
Faustino Obeso An Expert System for Ironmaking . . . . 488
Timót Hidvégi and
Péter Szolgay Short Circuit Detection on Printed
Circuit Boards during the Manufacturing
Process by Using an Analogic CNN
Algorithm . . . . . . . . . . . . . . . 494
András Kocsor and
László Tóth and
László Felföldi Application of Feature Transformation
and Learning Methods in Phoneme
Classification . . . . . . . . . . . . . 502
Tie Qi Chen and
Jianxin Zhang and
Youning Zhou and
Yi Lu Murphey A Smart Machine Vision System for PCB
Inspection . . . . . . . . . . . . . . . 513
Jordi Álvarez and
Victoria Arranz and
Núria Castell and
Montserrat Civit Linguistic and Logical Tools for an
Advanced Interactive Speech System in
Spanish . . . . . . . . . . . . . . . . 519
J. Turmo and
H. Rodríguez Selecting a Relevant Set of Examples to
Learn IE-Rules . . . . . . . . . . . . . 529
Bilel Gargouri and
Mohamed Jmaiel and
Abdelmajid Ben Hamadou An Environment for Formal Specification
and Verification of Lingware . . . . . . 539
Fairouz Chakkour and
Yannick Toussaint Sentence Analysis by Case-Based
Reasoning . . . . . . . . . . . . . . . 546
Yllias Chali Topic Detection Using Lexical Chains . . 552
María Isabel Alfonso Galipienso and
Federico Barber Sanchís A Mixed Closure-CSP Method to Solve
Scheduling Problems . . . . . . . . . . 559
Hidehiko Yamamoto and
Etsuo Marui Decentralized Autonomous FMS Control by
Hypothetical Reasoning Including
Discrete Simulator . . . . . . . . . . . 571
Joonki Hong and
Vittal Prabhu Distributed Learning and Control for
Manufacturing Systems Scheduling . . . . 582
L. A. García and
F. Toledo An Agent for Providing the Optimum Cycle
Length Value in Urban Traffic Areas
Constrained by Soft Temporal Deadlines 592
Debasis Mitra Interactive Modeling for Batch
Simulation of Engineering Systems: A
Constraint Satisfaction Problem . . . . 602
Botond Kádár and
László Monostori Approaches to Increase the Performance
of Agent-Based Production Systems . . . 612
B. Frankovic and
T. T. Dang Scheduling of Production Using the
Multi-agent Approach by Hierarchical
Structure . . . . . . . . . . . . . . . 622
F. Failli and
G. Dini Optimization of Disassembly Sequences
for Recycling of End-of-Life Products by
Using a Colony of Ant-Like Agents . . . 632
Hiroshi G. Okuno and
Kazuhiro Nakadai and
Tino Lourens and
Hiroaki Kitano Sound and Visual Tracking for Humanoid
Robot . . . . . . . . . . . . . . . . . 640
M. Henao and
J. Soler and
V. Botti Developing a Mobile Robot Control
Application with CommonKADS--RT . . . . 651
Dong-Ying Ju and
Satoshi Kushida Intelligent Control of Mobile Robot
during Autonomous Inspection of Welding
Damage Based on Genetic Algorithm . . . 661
Dejan Mitrovic Machine Learning for Car Navigation . . 670
Christos Stergiou and
Geert Arys Implementing Agent Management Using
Conversation Patterns and Role Theory 676
Hiromitsu Hattori and
Takayuki Ito and
Tadachika Ozono and
Toramatsu Shintani An Approach to Coalition Formation Using
Argumentation-Based Negotiation in
Multi-agent Systems . . . . . . . . . . 687
Robin Barker and
Leigh Holloway and
Anthony Meehan A Negotiation Model to Support Material
Selection in Concurrent Design . . . . . 697
Mao Weiliang and
Sheng Huanye and
Dingpeng An XML-Based Language for Coordination
Protocol Description in Multi-agent
System . . . . . . . . . . . . . . . . . 708--717
Chad Dodd and
Soundar R. T. Kumara A Distributed Multi-agent Model for
Value Nets . . . . . . . . . . . . . . . 718
Ioan Alfred Letia and
Florin Craciun and
Zoltan Köpe Norms for DLP Agents Working in a
Warehouse Scenario . . . . . . . . . . . 728
Jaime Solano-Soto and
Luis Enrique Sucar A Methodology for Reliable Systems
Design . . . . . . . . . . . . . . . . . 734
A. Felfernig and
G. Friedrich and
D. Jannach and
M. Zanker Intelligent Support for Interactive
Configuration of Mass-Customized
Products . . . . . . . . . . . . . . . . 746
Rodrigo Hermes de Araújo and
Osmar Possamai and
Luiz Dalla Valentina Knowledge Decomposition for Conceptual
Product Design: An Approach to Develop
Specific Domain Expert Systems for
Supporting Concurrent Engineering
Projects . . . . . . . . . . . . . . . . 757
Franti\vsek \vCapkovi\vc and
Peter \vCapkovi\vc Intelligent Control Synthesis of
Manufacturing Systems . . . . . . . . . 767
Giovani Pieri and
Michel R. Klein and
Mario Milanese A Knowledge Based System for the
Maintenance of Chemical Plants and Its
Implementation Using OPTRANS . . . . . . 777
L. Cser and
J. Gulyás and
L. Szücs and
A. Horváth and
L. Árvai and
B. Baross Different Kinds of Neural Networks in
Control and Monitoring of Hot Rolling
Mill . . . . . . . . . . . . . . . . . . 791
Zhi-Hua Ge and
Zhong-He Han and
Chang-Fu Ding Non-linear Prediction of Vibration
Series for Turbogenerator Unit . . . . . 797
David Riaño and
Miquel S\`anchez-Marr\`e and
Ignasi R.-Roda Autonomous Agents Architecture to
Supervise and Control a Wastewater
Treatment Plant . . . . . . . . . . . . 804
Elisabeta Zudor and
László Monostori Agent-Based Support for Handling
Environmental and Life-Cycle Issues . . 812
Wilfried Sihn and
Joachim Klink Fractal Businesses in an E-Business
World . . . . . . . . . . . . . . . . . 821
Z. J. Viharos and
L. Monostori Optimisation of Process Chains and
Production Plants by Using a Hybrid-,
AI-, and Simulation-Based Approach . . . 827
Julio Macedo A Multi-Agent Fuzzy Cognitive Tool for
Reengineering Manufacturing Systems . . 836
András Márkus and
József Váncza Product Line Design with Customer
Preferences . . . . . . . . . . . . . . 846
Sueli Bandeira Teixeira Mendes and
Oscar Luiz Monteiro de Farias Applying Logic of Information Flow and
Situation Theory to Model Agents That
Simulate the Stock Market Behaviour . . 856
Matty Leus and
Dwight Deugo and
Franz Oppacher and
Rob Cattral GAs and Financial Analysis . . . . . . . 868
Boris Galitsky Semi-structured Knowledge Representation
for the Automated Financial Advisor . . 874
Nadia Nedjah and
Luiza de Macedo Mourelle Improving Space, Time, and Termination
in Rewriting-Based Programming . . . . . 880
Mercedes Gómez-Albarrán and
Pedro A. González-Calero Knowledge Intensive Case-Based
Assistance for Framework Reuse . . . . . 891
Jonathan C. McPhail and
Dwight Deugo Deciding on a Pattern . . . . . . . . . 901
Thomas Illgen Program Modeling for Fault Definition
Based Static Analysis . . . . . . . . . 911
Fevzi Belli Goal-Driven, Scalable Generation of
Complete Interaction Sequences for
Testing Graphical User Interfaces . . . 919
Roger Nkambou and
Froduald Kabanza Planning Agents in a Multi-agents
Intelligent Tutoring System . . . . . . 921
Antonija Mitrovic and
Michael Mayo and
Pramuditha Suraweera and
Brent Martin Constraint-Based Tutors: A Success Story 931
Chunsheng Yang and
Sieu Phan and
Pikuei Kuo and
Fuhua Oscar Lin Applying Collision Avoidance Expert
System to Navigation Training Systems as
an Intelligent Tutor . . . . . . . . . . 941
Anonymous Author Index . . . . . . . . . . . . . . 949
Karl Crary Sound and Complete Elimination of
Singleton Kinds . . . . . . . . . . . . 1
Allyn Dimock and
Ian Westmacott and
Robert Muller and
Franklyn Turbak and
J. B. Wells and
Jeffrey Considine Program Representation Size in an
Intermediate Language with Intersection
and Union Types . . . . . . . . . . . . 27
Sophia Drossopoulou An Abstract Model of Java Dynamic
Linking and Loading . . . . . . . . . . 53
Dominic Duggan Sharing in Typed Module Assembly
Language . . . . . . . . . . . . . . . . 85
Dan Grossman and
Greg Morrisett Scalable Certification for Typed
Assembly Language . . . . . . . . . . . 117
Michael Hicks and
Stephanie Weirich and
Karl Crary Safe and Flexible Dynamic Linking of
Native Code . . . . . . . . . . . . . . 147
David Walker and
Greg Morrisett Alias Types for Recursive Data
Structures . . . . . . . . . . . . . . . 177
Anonymous Author Index . . . . . . . . . . . . . . 207
Charles Simonyi Language, Objects, and Intentionality 1
John Boyland and
James Noble and
William Retert Capabilities for Sharing: A
Generalisation of Uniqueness and
Read-Only . . . . . . . . . . . . . . . 2
Marina Biberstein and
Joseph (Yossi) Gil and
Sara Porat Sealing, Encapsulation, and Mutability 28
David G. Clarke and
James Noble and
John M. Potter Simple Ownership Types for Object
Containment . . . . . . . . . . . . . . 53
Isabelle Pollet and
Baudouin Le Charlier and
Agostino Cortesi Distinctness and Sharing Domains for
Static Analysis of Java Programs . . . . 77
Tiejun Wang and
Scott F. Smith Precise Constraint-Based Type Inference
for Java . . . . . . . . . . . . . . . . 99
Yasunori Harada and
Kenichi Yamazaki and
Richard Potter CCC: User-Defined Object Structure in C 118
Sophia Drossopoulou and
Ferruccio Damiani and
Mariangiola Dezani-Ciancaglini and
Paola Giannini $\mathcal {F}$ickle: Dynamic Object
Re-classification . . . . . . . . . . . 130
Erik Meijer and
Nigel Perry and
Arjan van Yzendoorn Scripting .NET Using Mondrian . . . . . 150
Olivier Raynaud and
Eric Thierry A Quasi Optimal Bit-Vector Encoding of
Tree Hierarchies. Application to
Efficient Type Inclusion Tests . . . . . 165
Martin Hirzel and
Amer Diwan and
Antony Hosking On the Usefulness of Liveness for
Garbage Collection and Leak Detection 181
David F. Bacon and
V. T. Rajan Concurrent Cycle Collection in Reference
Counted Systems . . . . . . . . . . . . 207
Michiaki Tatsubori and
Toshiyuki Sasaki and
Shigeru Chiba and
Kozo Itano A Bytecode Translator for Distributed
Execution of ``Legacy'' Java Software 236
Denis Caromel and
Julien Vayssi\`ere Reflections on MOPs, Components, and
Java Security . . . . . . . . . . . . . 256
Robert Strom and
Joshua Auerbach The Optimistic Readers Transformation 275
Alistair Cockburn People and the Limits of Methodology . . 302
Erik Ernst Family Polymorphism . . . . . . . . . . 303
Gregor Kiczales and
Erik Hilsdale and
Jim Hugunin and
Mik Kersten and
Jeffrey Palm and
William G. Griswold An Overview of AspectJ . . . . . . . . . 327
Davide Ancona and
Elena Zucca True Modules for Java-like Languages . . 354
Vu Le Hanh and
Kamel Akif and
Yves Le Traon and
Jean-Marc Jézéquel Selecting an Efficient OO Integration
Testing Strategy: An Experimental
Comparison of Actual Strategies . . . . 381
Bente Anda and
Dag Sjòberg and
Magne Jòrgensen Quality and Understandability of Use
Case Models . . . . . . . . . . . . . . 402
Anonymous Author Index . . . . . . . . . . . . . . 429
Cliff Addison Exploiting OpenMP to Provide Scalable
SMP BLAS and LAPACK Routines . . . . . . 3
Carl Edward Oliver Scientific Discovery through Advanced
Computing . . . . . . . . . . . . . . . 4
James Glimm Quantification of Uncertainty for
Numerital Simulations with Confidence
Intervals . . . . . . . . . . . . . . . 5
Chris Johnson Large-Scale Simulation and Visualization
in Medicine: Applications to Cardiology,
Neuroscience, and Medical Imaging . . . 6
Peter Kacsuk Can Parallel Programming Be Made Easy
for Scientists? . . . . . . . . . . . . 7
Ken Kennedy Software Support for High Performance
Problem-Solving on Computational Grids 8
Pierre L'Ecuyer Lattice Rules and Randomized Quasi-Monte
Carlo . . . . . . . . . . . . . . . . . 9
Jose E. Moreira Blue Gene: A Massively Parallel System 10
Edward Siedel Dynamic Grid Computing . . . . . . . . . 11
Kokichi Sugihara Robust Geometric Computation Based on
Topological Consistency . . . . . . . . 12
Vaidy Sunderam Metacomputing with the Harness and IceT
Systems . . . . . . . . . . . . . . . . 27
Stefan Unger and
Andrew Komornicki Computational Biology: IT Challenges and
Opportunities . . . . . . . . . . . . . 28
L. A. Drummond and
J. Demmel and
C. R. Mechoso and
H. Robinson and
K. Sklower and
J. A. Spahr A Data Broker for Distributed Computing
Environments . . . . . . . . . . . . . . 31
Sathish S. Vadhiyar and
Graham E. Fagg and
Jack J. Dongarra Towards an Accurate Model for Collective
Communications . . . . . . . . . . . . . 41
John A. Gunnels and
Greg M. Henry and
Robert A. van de Geijn A Family of High-Performance Matrix
Multiplication Algorithms . . . . . . . 51
M. Fikret Ercan and
Ceyda Oguz and
Yu-Fai Fung Performance Evaluation of Heuristics for
Scheduling Pipelined Multiprocessor
Tasks . . . . . . . . . . . . . . . . . 61
Dragan Mirkovi\'c and
S. Lennart Johnsson Automatic Performance Tuning in the
UHFFT Library . . . . . . . . . . . . . 71
Nick Mitchell and
Larry Carter and
Jeanne Ferrante A Modal Model of Memory . . . . . . . . 81
Markus Püschel and
Bryan Singer and
Manuela Veloso and
José M. F. Moura Fast Automatic Generation of DSP
Algorithms . . . . . . . . . . . . . . . 97
Sriram Sellappa and
Siddhartha Chatterjee Cache-Efficient Multigrid Algorithms . . 107
Richard Vuduc and
James W. Demmel and
Jeff Bilmes Statistical Models for Automatic
Performance Tuning . . . . . . . . . . . 117
Eun-Jin Im and
Katherine Yelick Optimizing Sparse Matrix Computations
for Register Reuse in SPARSITY . . . . . 127
Michelle Mills Strout and
Larry Carter and
Jeanne Ferrante Rescheduling for Locality in Sparse
Matrix Computations . . . . . . . . . . 137
Thomas Bettge and
Anthony Craig and
Rodney James and
Vincent Wayland and
Gary Strand The DOE Parallel Climate Model (PCM):
The Computational Highway and Backroads 149
George Chin and
L. Ruby Leung and
Karen Schuchardt and
Debbie Gracio Conceptualizing a Collaborative Problem
Solving Environment for Regional Climate
Modeling and Assessment of Climate
Impacts . . . . . . . . . . . . . . . . 159
Robert Jacob and
Chad Schafer and
Ian Foster and
Michael Tobis and
John Anderson Computational Design and Performance of
the Fast Ocean Atmosphere Model, Version
One . . . . . . . . . . . . . . . . . . 175
J. Walter Larson and
Robert L. Jacob and
Ian Foster and
Jing Guo The Model Coupling Toolkit . . . . . . . 185
L. Ruby Leung and
John G. Michalakes and
Xindi Bian Parallelization of a Subgrid Orographic
Precipitation Scheme in an MM5-Based
Regional Climate Model . . . . . . . . . 195
John Taylor and
Jay Larson Resolution Dependence in Modeling
Extreme Weather Events . . . . . . . . . 204
Sheri A. Voelz and
John Taylor Visualizing High-Resolution Climate Data 212
David Craig and
Steven Carroll and
Fabian Breg and
Dimitrios S. Nikolopoulos and
Constantine Polychronopoulos Improving Java Server Performance with
Interruptlets . . . . . . . . . . . . . 223
P. Geoffray and
C. Pham and
L. Prylli and
B. Tourancheau and
R. Westrelin Protocols and Software for Exploiting
Myrinet Clusters . . . . . . . . . . . . 233
Dieter F. Kvasnicka and
Helmut Hlavacs and
Christoph W. Ueberhuber Cluster Configuration Aided by
Simulation . . . . . . . . . . . . . . . 243
Zoltán Balaton and
Péter Kacsuk and
Norbert Podhorszki Application Monitoring in the Grid with
GRM and PROVE . . . . . . . . . . . . . 253
Robert Lovas and
Vaidy Sunderam Extension of Macrostep Debugging
Methodology Towards Metacomputing
Applications . . . . . . . . . . . . . . 263
Anand Natrajan and
Marty A. Humphrey and
Andrew S. Grimshaw Capacity and Capability Computing Using
Legion . . . . . . . . . . . . . . . . . 273
Ivan Tanev and
Takashi Uozumi and
Dauren Akhmetov Component Object Based Single System
Image Middleware for Metacomputer
Implementation of Genetic Programming on
Clusters . . . . . . . . . . . . . . . . 284
Michel Trehel and
Ahmed Housni The Prioritized and Distributed
Synchronization in Distributed Groups 294
P. Gray and
J. S. Pascoe On Group Communication Systems: Insight,
a Primer, and a Snapshot . . . . . . . . 307
K. Berket and
D. A. Agarwal and
P. M. Melliar-Smith and
L. E. Moser Overview of the InterGroup Protocols . . 316
R. J. Loader and
J. S. Pascoe and
V. S. Sunderam Introducing Fault-Tolerant Group
Membership into the Collaborative
Computing Transport Layer . . . . . . . 326
Kwai L. Wong and
A. Jerry Baker A Modular Collaborative Parallel CFD
Workbench . . . . . . . . . . . . . . . 336
Tomasz Tyrakowski and
Vaidy Sunderam and
Mauro Migliardi Distributed Name Service in Harness . . 345
Graham E. Fagg and
Antonin Bukovsky and
Jack J. Dongarra Fault Tolerant MPI for the HARNESS
Meta-computing System . . . . . . . . . 355
Tomasz Tyrakowski and
Vaidy Sunderam and
Mauro Migliardi A Harness Control Application for
Hand-Held Devices . . . . . . . . . . . 367
Dawid Kurzyniec and
Vaidy Sunderam Flexible Class Loader Framework: Sharing
Java Resources in Harness System . . . . 375
J. S. Pascoe and
G. Sibley and
V. S. Sunderam and
R. J. Loader Mobile Wide Area Wireless
Fault-Tolerance . . . . . . . . . . . . 385
G. Sibley and
V. S. Sunderam Tools for Collaboration in Metropolitan
Wireless Networks . . . . . . . . . . . 395
Paul A. Gray and
Srividya Chandramohan and
Vaidy S. Sunderam A Repository System with Secure File
Access for Collaborative Environments 404
Kyung-Ah Chang and
Byung-Rae Lee and
Tai-Yun Kim Authentication Service Model Supporting
Multiple Domains in Distributed
Computing . . . . . . . . . . . . . . . 413
Gunther Stuer and
Jan Broeckhove and
Frans Arickx Performance and Stability Analysis of a
Message Oriented Reliable Multicast for
Distributed Virtual Environments in Java 423
Byung-Rae Lee and
Kyung-Ah Chang and
Tai-Yun Kim A Secure and Efficient Key Escrow
Protocol for Mobile Communications . . . 433
Alexander V. Bogdanov and
Ashot S. Gevorkyan and
Elena N. Stankova High-Performance Algorithms for Quantum
Systems Evolution . . . . . . . . . . . 447
Y. Nechaev and
A. Degtyarev and
A. Boukhanovsky Complex Situations Simulation When
Testing Intelligence System Knowledge
Base . . . . . . . . . . . . . . . . . . 453
A. Boukhanovsky and
V. Rozhkov and
A. Degtyarev Peculiarities of Computer Simulation and
Statistical Representation of
Time-Spatial Metocean Fields . . . . . . 463
A. V. Bogdanov and
A. S. Gevorkyan and
A. A. Udalov Numerical Investigation of Quantum Chaos
in the Problem of Multichannel
Scattering in Three Body System . . . . 473
Y. E. Gorbachev and
M. A. Zatevakhin and
V. V. Krzhizhanovskaya and
A. A. Ignatiev and
V. K. Protopopov and
N. V. Sokolova and
A. B. Witenberg Distributed Simulation of Amorphous
Hydrogenated Silicon Films: Numerical
Experiments on a Linux Based Computing
Environment . . . . . . . . . . . . . . 483
Wolfgang Joppich and
Herrmann Mierendorff Performance Prediction for Parallel
Local Weather Forecast Programs . . . . 492
A. N. Andrianov and
K. N. Efimkin and
V. Y. Levashov and
I. N. Shishkova The NORMA Language Application to
Solution of Strong Nonequilibrium
Transfer Processes Problem with
Condensation of Mixtures on the
Multiprocessor System . . . . . . . . . 502
Alexander Vinogradov and
Vladimir Volkov and
Vladimir Gidaspov and
Alexander Muslaev and
Peter Rozovski Adaptive High-Performance Method for
Numerical Simulation of Unsteady Complex
Flows with Number of Strong and Weak
Discontinuities . . . . . . . . . . . . 511
P. M. A. Sloot and
A. G. Hoekstra Cellular Automata as a Mesoscopic
Approach to Model and Simulate Complex
Systems . . . . . . . . . . . . . . . . 518
A. P. J. Jansen and
C. G. M. Hermse and
F. Frechard and
J. J. Lukkien Ab-Initio Kinetics of Heterogeneous
Catalysis: NO $+$ N $+$ O/Rh(111) . . . 531
A. J. Markvoort and
R. Pino and
P. A. J. Hilbers Interpolating Wavelets in Kohn-Sham
Electronic Structure Calculations . . . 541
Sean McNamara and
Joel Koplik and
Jayanth R. Banavar Simulations of Surfactant-Enhanced
Spreading . . . . . . . . . . . . . . . 551
Valentina Huber Supporting Car-Parrinello Molecular
Dynamics with UNICORE . . . . . . . . . 560
Valentina Piermarini and
Leonardo Pacifici and
Stefano Crocchianti and
Antonio Lagan\`a and
Giuseppina D'Agosto and
Sergio Tasso Parallel Methods in Time Dependent
Approaches to Reactive Scattering
Calculations . . . . . . . . . . . . . . 567
Yuji Yamada and
James A. Primbs Construction of Multinomial Lattice
Random Walks for Optimal Hedges . . . . 579
Chih Jeng Kenneth Tan On Parallel Pseudo-Random Number
Generation . . . . . . . . . . . . . . . 589
Ali Lari-Lavassani and
Bradley D. Tifenbach A General Framework for Trinomial Trees 597
Christiane Lemieux and
Pierre L'Ecuyer On the Use of Quasi-Monte Carlo Methods
in Computational Finance . . . . . . . . 607
Henk Bekker and
Jos B. T. M. Roerdink An Efficient Algorithm to Calculate the
Minkowski Sum of Convex $3$D Polyhedra 619
Javier Bernal REGTET: A Program for Computing Regular
Tetrahedralizations . . . . . . . . . . 629
Sergei Bespamyatnikh and
Michael Segal Fast Maintenance of Rectilinear Centers 633
Amitava Bhattacharya and
Subir Kumar Ghosh and
Sudeep Sarkar Exploring an Unknown Polygonal
Environment with Bounded Visibility . . 640
Ovidiu Daescu Parallel Optimal Weighted Links . . . . 649
Tamal K. Dey and
Joachim Giesen and
Wulue Zhao Robustness Issues in Surface
Reconstruction . . . . . . . . . . . . . 658
M. L. Gavrilova On a Nearest-Neighbor Problem in
Minkowski and Power Metrics . . . . . . 663
M. L. Gavrilova and
J. Rokne On Dynamic Generalized Voronoi Diagrams
in the Euclidean Metric . . . . . . . . 673
Man Chung Hon and
Ravi Janardan and
Jörg Schwerdt and
Michiel Smid Computing Optimal Hatching Directions in
Layered Manufacturing . . . . . . . . . 683
Seok-Yong Hong and
Chung-Seong Hong and
Hyun-Chan Lee and
Koohyun Park Discrete Local Fairing of B-Spline
Surfaces . . . . . . . . . . . . . . . . 693
Andrés Iglesias and
Akemi Gálvez and
Jaime Puig-Pey Computational Methods for Geometric
Processing. Applications to Industry . . 698
Thomas Kämpke and
Matthias Strobel Graph Voronoi Regions for Interfacing
Planar Graphs . . . . . . . . . . . . . 708
Deok-Soo Kim and
Donguk Kim and
Kokichi Sugihara and
Joonghyun Ryu Robust and Fast Algorithm for a Circle
Set Voronoi Diagram in a Plane . . . . . 718
Deok-Soo Kim and
Donguk Kim and
Kokichi Sugihara and
Joonghyun Ryu Apollonius Tenth Problem as a Point
Location Problem . . . . . . . . . . . . 728
Kei Kobayashi and
Kokichi Sugihara Crystal Voronoi Diagram and Its
Applications to Collision-Free Paths . . 738
V. A. Luchnikov and
N. N. Medvedev and
M. L. Gavrilova The Voronoi-Delaunay Approach for
Modeling the Packing of Balls in a
Cylindrical Container . . . . . . . . . 748
T. S. Michael and
Val Pinciu Multiply Guarded Guards in Orthogonal
Art Galleries . . . . . . . . . . . . . 753
Ali Mohades and
Mohammadreza Razzazi Reachability on a Region Bounded by Two
Attached Squares . . . . . . . . . . . . 763
Csaba D. Tóth Illuminating Polygons with Vertex
$\pi$-Floodlights . . . . . . . . . . . 772
Scott B. Baden and
Daniel Shalit Performance Tradeoffs in Multi-tier
Formulation of a Finite Difference
Method . . . . . . . . . . . . . . . . . 785
Christian H. Bischof and
H. Martin Bücker and
Bruno Lang and
Arno Rasch and
Jakob W. Risch On the Use of a Differentiated Finite
Element Package for Sensitivity Analysis 795
Jaeyoung Choi Parallel Factorizations with Algorithmic
Blocking . . . . . . . . . . . . . . . . 802
Ray Gallagher and
Tony Doran Bayesian Parameter Estimation: A Monte
Carlo Approach . . . . . . . . . . . . . 812
Anshul Gupta Recent Progress in General Sparse Direct
Solvers . . . . . . . . . . . . . . . . 823
Gennady Y. Kulikov and
Alexandra A. Korneva On Efficient Application of Implicit
Runge-Kutta Methods to Large-Scale
Systems of Index $1$
Differential-Algebraic Equations . . . . 832
Songrit Maneewongvatana and
David M. Mount On the Efficiency of Nearest Neighbor
Searching with Data Clustered in Lower
Dimensions . . . . . . . . . . . . . . . 842
Sha Meng and
Xin Kai Li and
Gwynne Evans A Spectral Element Method for Oldroyd-B
Fluid in a Contraction Channel . . . . . 852
Y. F. Fung and
M. Fikret Ercan and
T. K. Ho and
W. L. Cheung SSE Based Parallel Solution for Power
Systems Network Equations . . . . . . . 862
Yanpeng Mi and
Gary F. Margrave Implementation of Symmetric
Nonstationary Phase-Shift Wavefield
Extrapolator on an Alpha Cluster . . . . 874
Dongming Peng and
Mi Lu Generalized High-Level Synthesis of
Wavelet-Based Digital Systems via
Nonlinear I/O Data Space Transformations 884
Govindan Rangarajan and
Minita Sachidanand Solvable Map Method for Integrating
Nonlinear Hamiltonian Systems . . . . . 894
I. V. Schevtschenko A Parallel ADI Method for a Nonlinear
Equation Describing Gravitational Flow
of Ground Water . . . . . . . . . . . . 904
Ioana S\^\irbu and
Harry F. King The Effect of the Cusp on the Rate of
Convergence of the Rayleigh-Ritz Method 911
Mohd Salleh Sahimi and
Norma Alias and
Elankovan Sundararajan The AGEB Algorithm for Solving the Heat
Equation in Three Space Dimensions and
Its Parallelization Using PVM . . . . . 918
Soo Bum Pyun and
Hyeong Seon Yoo A Pollution Adaptive Mesh Generation
Algorithm in $r$--$h$ Version of the
Finite Element Method . . . . . . . . . 928
Neville Yoon and
John Rose An Information Model for the
Representation of Multiple Biological
Classifications . . . . . . . . . . . . 937
Wan-Xie Zhong and
Jianping Zhu A Precise Integration Algorithm for
Matrix Riccati Differential Equations 947
Giuseppe Carenini GEA: A Complete, Modular System for
Generating Evaluative Arguments . . . . 959
Armin Fiedler and
Helmut Horacek Argumentation in Explanations to Logical
Problems . . . . . . . . . . . . . . . . 969
Serge V. Gavenko Analysis of the Argumentative Effect of
Evaluative Semantics in Natural Language 979
Michael A. Gilbert Getting Good Value. Facts, Values, and
Goals in Computational Linguistics . . . 989
Chris Reed and
Floriana Grasso Computational Models of Natural Language
Argument . . . . . . . . . . . . . . . . 999
Nancy Green An Empirical Study of Multimedia
Argumentation . . . . . . . . . . . . . 1009
Valeria Carofiglio and
Fiorella de Rosis Exploiting Uncertainty and Incomplete
Knowledge in Deceptive Argumentation . . 1019
Harvey Gould and
Jan Tobochnik Integrating Computation into the Physics
Curriculum . . . . . . . . . . . . . . . 1031
N. Giordano and
J. Roberts Musical Acoustics and Computational
Science . . . . . . . . . . . . . . . . 1041
Rubin H. Landau Developing Components and Curricula for
a Research-Rich Undergraduate Degree in
Computational Physics . . . . . . . . . 1051
Wolfgang Christian and
Mario Belloni and
Melissa Dancy Physlets: Java Tools for a Web-Based
Physics Curriculum . . . . . . . . . . . 1061
David M. Cook Computation in Undergraduate Physics:
The Lawrence Approach . . . . . . . . . 1074
Joseph D. Baum and
Hong Luo and
Eric L. Mestreau and
Dmitri Sharov and
Rainald Löhner and
Daniele Pelessone and
Charles Charman Recent Developments of a Coupled CFD/CSD
Methodology . . . . . . . . . . . . . . 1087
Julie L. McClean and
Wieslaw Maslowski and
Mathew Maltrud Towards a Coupled Environmental
Prediction System . . . . . . . . . . . 1098
Jerry Boatz and
Mark S. Gordon and
Gregory Voth and
Sharon Hammes-Schiffer and
Ruth Pachter New Materials Design . . . . . . . . . . 1108
Charles A. Rendleman and
Vincent E. Beckner and
Mike Lijewski Parallelization of an Adaptive Mesh
Refinement Method for Low Mach Number
Combustion . . . . . . . . . . . . . . . 1117
Suresh Menon and
Vaidyanathan Sankaran and
Christopher Stone Combustion Dynamics of Swirling
Turbulent Flames . . . . . . . . . . . . 1127
Hong Hu and
Edward L. Turner Parallel CFD Computing Using Shared
Memory OpenMP . . . . . . . . . . . . . 1137
Osman Ya\csar Plasma Modeling of Ignition for
Combustion Simulations . . . . . . . . . 1147
Osman Ya\csar Computational Science Education:
Standards, Learning Outcomes, and
Assessment . . . . . . . . . . . . . . . 1159
André Jaun and
Johan Hedin and
Thomas Johnson and
Michael Christie and
Lars-Erik Jonsson and
Mikael Persson and
Laurent Villard Learning Computational Methods for
Partial Differential Equations from the
Web . . . . . . . . . . . . . . . . . . 1170
Carleton DeTar and
Aaron L. Fogelson and
Christopher R. Johnson and
Christopher A. Sikorski Computational Engineering and Science
Program at the University of Utah . . . 1176
Myron Ginsberg Influences on the Solution Process for
Large, Numeric-Intensive Automotive
Simulations . . . . . . . . . . . . . . 1189
Ram Mohan and
Dale Shires and
Andrew Mark Scalable Large Scale Process Modeling
and Simulations in Liquid Composite
Molding . . . . . . . . . . . . . . . . 1199
J. Brent Spears and
Brett N. Gossage An Object-Oriented Software Framework
for Execution of Real-Time, Parallel
Algorithms . . . . . . . . . . . . . . . 1209
John Debenham A Multiagent Architecture Addresses the
Complexity of Industry Process
Re-engineering . . . . . . . . . . . . . 1219
N. Rakoto-Ravalontsalama Diagnosis Algorithms for a Symbolically
Modeled Manufacturing Process . . . . . 1228
M. A. Chappell and
B. K. Feather Time-Accurate Turbine Engine Simulation
in a Parallel Computing Environment Part
II --- Software Alpha Test . . . . . . . 1237
Ray Gallagher Finding Steady State of Safety Systems
Using the Monte Carlo Method . . . . . . 1253
Rudolf Schürer Parallel High-Dimensional Integration:
Quasi-Monte Carlo versus Adaptive
Cubature Rules . . . . . . . . . . . . . 1262
V. Filinov and
M. Bonitz and
D. Kremp and
W.-D. Kraeft and
V. Fortov Path Integral Monte Carlo Simulations
and Analytical Approximations for
High-Temperature Plasmas . . . . . . . . 1272
Chi-Ok Hwang and
Michael Mascagni A Feynman-Kac Path-Integral
Implementation for Poisson's Equation 1282
Chih Jeng Kenneth Tan and
Vassil Alexandrov Relaxed Monte Carlo Linear Solver . . . 1289
Anonymous Author Index . . . . . . . . . . . . . . 1299
Mohammad A. Rajabi and
J. A. Rod Blais Densification of Digital Terrain
Elevations Using Shape from Shading with
Single Satellite Imagery . . . . . . . . 3
Emad Boctor and
A. Saad and
Dar-Jen Chang and
K. Kamel and
A. M. Youssef PC-Based System for Calibration,
Reconstruction, Processing, and
Visualization of $3$D Ultrasound Data
Based on a Magnetic-Field Position and
Orientation Sensing System . . . . . . . 13
Christian Forlani and
Giancarlo Ferrigno Automatic Real-Time XRII Local
Distortion Correction Method for Digital
Linear Tomography . . . . . . . . . . . 23
Wolfgang Karl and
Martin Schulz and
Martin Völk and
Sibylle Ziegler Meeting the Computational Demands of
Nuclear Medical Imaging Using Commodity
Clusters . . . . . . . . . . . . . . . . 27
Joong-Jae Lee and
Gye-Young Kim and
Hyung-Il Choi An Image Registration Algorithm Based on
Cylindrical Prototype Model . . . . . . 37
Han-Suh Koo and
Chang-Sung Jeong An Area-Based Stereo Matching Using
Adaptive Search Range and Window Size 44
Vladimir Penenko and
Alexander Baklanov Methods of Sensitivity Theory and
Inverse Modeling for Estimation of
Source Parameters and Risk/Vulnerability
Areas . . . . . . . . . . . . . . . . . 57
István Lagzi and
Alison S. Tomlin and
Tamás Turányi and
László Haszpra and
Róbert Mészáros and
Martin Berzins The Simulation of Photochemical Smog
Episodes in Hungary and Central Europe
Using Adaptive Gridding Models . . . . . 67
Khoi Nguyen and
Donald Dabdub Numerical Solution of the Aerosol
Condensation/Evaporation Equation . . . 77
Zahari Zlatev Efficient Treatment of Large-Scale Air
Pollution Models on Supercomputers . . . 82
Pedro Alberto and
Fernando Nogueira and
Humberto Rocha and
Luís N. Vicente Pattern Search Methods for Use-Provided
Points . . . . . . . . . . . . . . . . . 95
M. C. Baracca and
G. Clai and
P. Ornelli In-situ Bioremediation: Advantages of
Parallel Computing and Graphical
Investigating Techniques . . . . . . . . 99
Milind Bhandarkar and
L. V. Kalé and
Eric de Sturler and
Jay Hoeflinger Adaptive Load Balancing for MPI Programs 108
Elise de Doncker and
Rodger Zanny and
Karlis Kaugars and
Laurentiu Cucos Performance and Irregular Behavior of
Adaptive Task Partitioning . . . . . . . 118
S. Mishra and
K. Sikdar and
M. Satpathy Optimizing Register Spills for Eager
Functional Languages . . . . . . . . . . 128
Kazunori Iwata and
Shingo Itabashi and
Naohiro Ishii A Protocol for Multi-Threaded Processes
with Choice in $\pi$-Calculus . . . . . 138
Mikhail S. Tarkov and
Youngsong Mun and
Jaeyoung Choi and
Hyung-Il Choi Mapping Parallel Programs onto
Distributed Computer Systems with Faulty
Elements . . . . . . . . . . . . . . . . 148
Mark C. Miller and
James F. Reus and
Robb P. Matzke and
William J. Arrighi and
Larry A. Schoof and
Ray T. Hitt and
Peter K. Espen Enabling Interoperation of High
Performance, Scientific Computing
Applications: Modeling Scientific Data
with the Sets & Fields (SAF) Modeling
System . . . . . . . . . . . . . . . . . 158
Ajith Abraham and
Baikunth Nath ALEC: An Adaptive Learning Framework for
Optimizing Artificial Neural Networks 171
Lucie P. Aarts and
Peter Van der Veer Solving Nonlinear Differential Equations
by a Neural Network Method . . . . . . . 181
Ahmet Çinar and
Ahmet Arslan Fuzzy Object Blending in $2$-D . . . . . 190
Otman M. Ahtiwash and
Mohd Zaki Abdulmuin An Adaptive Neuro-Fuzzy Approach for
Modeling and Control of Nonlinear
Systems . . . . . . . . . . . . . . . . 198
Joseph G. Billock and
Demetri Psaltis and
Christof Koch The Match Fit Algorithm: A Testbed for
the Computational Motivation of
Attention . . . . . . . . . . . . . . . 208
João Paulo Carvalho and
José Alberto Tomé Automatic Implementation and Simulation
of Qualitative Cognitive Maps . . . . . 217
Chris Cornelis and
Etienne E. Kerre Inclusion-Based Approximate Reasoning 221
Christian Storm and
Walter J. Freeman Attractor Density Models with
Application to Analyzing the Stability
of Biological Neural Networks . . . . . 231
Ajith Abraham and
Dan Steinberg MARS: Still an Alien Planet in Soft
Computing? . . . . . . . . . . . . . . . 235
Gongde Guo and
Hui Wang and
David Bell and
Qingxiang Wu Data Reduction Based on Spatial
Partitioning . . . . . . . . . . . . . . 245
Guadalupe I. Janoski and
Andrew H. Sung Alternate Methods in Reservoir
Simulation . . . . . . . . . . . . . . . 253
Eulalia Szmidt and
Janusz Kacprzyk Intuitionistic Fuzzy Sets in Intelligent
Data Analysis for Medical Diagnosis . . 263
Mehmet Karakose and
Mehmet Kaya and
Erhan Akin Design of a Fuzzy Controller Using a
Genetic Algorithm for Stator Flux
Estimation . . . . . . . . . . . . . . . 272
Gour C. Karmakar and
Syed M. Rahman and
Laurence S. Dooley Object Based Image Ranking Using Neural
Networks . . . . . . . . . . . . . . . . 281
Wee Sng Khoo and
P. Saratchandran and
N. Sundararajan A Genetic Approach for Two Dimensional
Packing with Constraints . . . . . . . . 291
Derek Harter and
Robert Kozma Task Environments for the Dynamic
Development of Behavior . . . . . . . . 300
Kok Keong Teo and
Lipo Wang and
Zhiping Lin Wavelet Packet Multi-layer Perceptron
for Chaotic Time Series Prediction:
Effects of Weight Initialization . . . . 310
S. Lozano and
J. J. Domínguez and
F. Guerrero and
K. Smith Genetic Line Search . . . . . . . . . . 318
Dominique Luzeaux and
André Dalgalarrondo HARPIC, an Hybrid Architecture Based on
Representations, Perception, and
Intelligent Control: A Way to Provide
Autonomy to Robots . . . . . . . . . . . 327
Ajith Abraham and
Baikunth Nath and
P. K. Mahanti Hybrid Intelligent Systems for Stock
Market Analysis . . . . . . . . . . . . 337
Jorge Muruzábal On the Emulation of Kohonen's
Self-Organization via Single-Map
Metropolis-Hastings Algorithms . . . . . 346
Karen Nazaryan Quasi Analog Formal Neuron and Its
Learning Algorithm Hardware . . . . . . 356
Roger Nkambou and
Yan Laporte Producing Non-verbal Output for an
Embodied Agent in an Intelligent
Tutoring System . . . . . . . . . . . . 366
Joshua A. Singer Co-evolving a Neural-Net Evaluation
Function for Othello by Combining
Genetic Algorithms and Reinforcement
Learning . . . . . . . . . . . . . . . . 377
Ai Cheo Yeo and
Kate A. Smith and
Robert J. Willis and
Malcolm Brooks Modelling the Effect of Premium Changes
on Motor Insurance Customer Retention
Rates Using Neural Networks . . . . . . 390
Ninan Sajeeth Philip and
K. Babu Joseph On the Predictability of Rainfall in
Kerala An Application of ABF Neural
Network . . . . . . . . . . . . . . . . 400
Feng-Tse Lin A Job-Shop Scheduling Problem with Fuzzy
Processing Times . . . . . . . . . . . . 409
Trandafir Moisa and
Dan Ontanu and
Adrian Horia Dediu Speech Synthesis Using Neural Networks
Trained by an Evolutionary Algorithm . . 419
Chang-Jiun Tsai and
S. S. Tseng and
Chih-Yang Lin A Two-Phase Fuzzy Mining and Learning
Algorithm for Adaptive Learning
Environment . . . . . . . . . . . . . . 429
Vincent Tam and
K. T. Ma Applying Genetic Algorithms and Other
Heuristic Methods to Handle PC
Configuration Problems . . . . . . . . . 439
Xiaodan Wu and
Ming Fung and
Andrew Flitman Forecasting Stock Market Performance
Using Hybrid Intelligent System . . . . 447
Rachel J. McCrindle The MultiMedia Maintenance Management
($M^4$) System . . . . . . . . . . . . . 459--469
Claire Knight and
Malcolm Munro Visualisations; Functionality and
Interaction . . . . . . . . . . . . . . 470
Avichal Mehra and
Jim Corbin DMEFS Web Portal: A METOC Application 476
Angela Violi and
Xiaodong Chen and
Gary Lindstrom and
Eric Eddings and
Adel F. Sarofim Validation Web Site: A Combustion
Collaboratory over the Internet . . . . 485
Vincent C. Hu and
Deborah A. Frincke and
David F. Ferraiolo The Policy Machine for Security Policy
Management . . . . . . . . . . . . . . . 494
Charles Bates and
Jeff Lucas and
Joe Robinson The Javelin Integrated Flight Simulation 507
James B. Johnson and
Jerry A. Ray A Multi-spectral Test and Simulation
Facility to Support Missile Development,
Production, and Surveillance Programs 515
John Kriz and
Tom Joyner and
Ted Wilson and
Greg McGraner Correlated, Real Time Multi-spectral
Sensor Test and Evaluation (T&E) in an
Installed Systems Test Facility (ISTF)
Using High Performance Computing . . . . 521
Mark A. Manzardo and
Brett Gossage and
J. Brent Spears and
Kenneth G. LeSueur Infrared Scene Projector Digital Model
Development . . . . . . . . . . . . . . 531
Mark A. Manzardo and
Brett Gossage and
J. Brent Spears and
Kenneth G. LeSueur Infrared Scene Projector Digital Model
Mathematical Description . . . . . . . . 540
David R. Anderson and
Ken Allred and
Kevin Dennen and
Patrick Roberts and
William R. Brown and
Ellis E. Burroughs and
Kenneth G. LeSueur and
Tim Clardy Distributed Test Capability Using
Infrared Scene Projector Technology . . 550
Jeremy R. Farris and
Marsha Drake Development of Infrared and Millimeter
Wave Scene Generators for the P3I BAT
High Fidelity Flight Simulation . . . . 558
Florian Schintke and
Jens Simon and
Alexander Reinefeld A Cache Simulator for Shared Memory
Systems . . . . . . . . . . . . . . . . 569
Gianfranco Bilardi and
Carlo Fantozzi and
Andrea Pietracaprina and
Geppino Pucci On the Effectiveness of D--BSP as a
Bridging Model of Parallel Computation 579
Frank Dehne and
Todd Eavis and
Andrew Rau-Chaplin Coarse Grained Parallel On-Line
Analytical Processing (OLAP) for Data
Mining . . . . . . . . . . . . . . . . . 589
Ananth Grama and
Vipin Kumar and
Sanjay Ranka and
Vineet Singh Architecture Independent Analysis of
Parallel Programs . . . . . . . . . . . 599
Jianer Chen and
Eunseuk Oh Strong Fault-Tolerance: Parallel Routing
in Networks with Faults . . . . . . . . 609
Vijaya Ramachandran Parallel Algorithm Design with
Coarse-Grained Synchronization . . . . . 619
Friedhelm Meyer auf der Heide and
Rolf Wanka Parallel Bridging Models and Their
Impact on Algorithm Design . . . . . . . 628
E. N. Cáceres and
S. W. Song and
J. L. Szwarcfiter A Coarse-Grained Parallel Algorithm for
Maximal Cliques in Circle Graphs . . . . 638
X. Deng and
H. Ip and
K. Law and
J. Li and
W. Zheng and
S. Zhu Parallel Models and Job Characterization
for System Scheduling . . . . . . . . . 648
M. Mostofa Akbar and
Eric G. Manning and
Gholamali C. Shoja and
Shahadat Khan Heuristic Solutions for the
Multiple-Choice Multi-dimension Knapsack
Problem . . . . . . . . . . . . . . . . 659
Mir M. Atiqullah and
S. S. Rao Tuned Annealing for Optimization . . . . 669
Chetan Offord and
\vZeljko Bajzer A Hybrid Global Optimization Algorithm
Involving Simplex and Inductive Search 680
Enrique Alba Torres and
Sami Khuri Applying Evolutionary Algorithms to
Combinatorial Optimization Problems . . 689
Brian J. d'Auriol and
Claudia V. Casas and
Pramod K. Chikkappaiah and
L. Susan Draper and
Ammar J. Esper and
Jorge López and
Rajesh Molakaseema and
Seetharami R. Seelam and
René Saenz and
Qian Wen and
Zhengjing Yang Exploratory Study of Scientific
Visualization Techniques for Program
Visualization . . . . . . . . . . . . . 701
Ian Curington Immersive Visualization Using
AVS/Express . . . . . . . . . . . . . . 711
Randy W. Heiland and
M. Pauline Baker and
Danesh K. Tafti VisBench: A Framework for Remote Data
Visualization and Analysis . . . . . . . 718
Mark Burgin and
Damon Liu and
Walter Karplus The Problem of Time Scales in Computer
Visualization . . . . . . . . . . . . . 728
James Westland Cain and
Rachel Jane McCrindle Making Movies: Watching Software Evolve
through Visualisation . . . . . . . . . 738
Holger Brunst and
Hans-Christian Hoppe and
Wolfgang E. Nagel and
Manuela Winkler Performance Optimization for Large Scale
Computing: The Scalable VAMPIR Approach 751
Mark Christiaens and
Koen De Bosschere TRaDe: Data Race Detection for Java . . 761
Michael Frumkin and
Haoqiang Jin and
Jerry Yan Automation of Data Traffic Control on
DSM Architectures . . . . . . . . . . . 771
Christian Glasner and
Roland Hügl and
Bernhard Reitinger and
Dieter Kranzlmüller and
Jens Volkert The Monitoring and Steering Environment 781
Delbert Hart and
Mihail E. Tudoreanu and
Eileen Kraemer Token Finding Using Mobile Agents . . . 791
Siegfried Höfinger Load Balancing for the Electronic
Structure Program GREMLIN in a Very
Heterogenous SSH-Connected WAN-Cluster
of UNIX-Type Hosts . . . . . . . . . . . 801
Dieter Kranzlmüller DeWiz --- Modular Debugging for
Supercomputers and Computational Grids 811
João Lourenço and
José C. Cunha Fiddle: A Flexible Distributed Debugging
Architecture . . . . . . . . . . . . . . 821
F.-G. Ottogalli and
C. Labbé and
V. Olive and
B. de Oliveira Stein and
J. Chassin de Kergommeaux and
J.-M. Vincent Visualisation of Distributed
Applications for Performance Debugging 831
Ralf Reussner and
Gunnar Hunzelmann Achieving Performance Portability with
SKaMPI for High-Performance MPI Programs 841
Michiel Ronsse and
Mark Christiaens and
Koen De Bosschere Cyclic Debugging Using Execution Replay 851
Jie Tao and
Wolfgang Karl and
Martin Schulz Visualizing the Memory Access Behavior
of Shared Memory Applications on NUMA
Architectures . . . . . . . . . . . . . 861
Torsten Wilde and
James A. Kohl and
Raymond E. Flanery, Jr. CUMULVS Viewers for the ImmersaDesk . . 871
P. M. A. Sloot and
P. F. Spinnato and
G. D. van Albada $N$-Body Simulation on Hybrid
Architectures . . . . . . . . . . . . . 883
Yun-Bo Duan and
Anne B. McCoy Quantum Mechanical Simulation of
Vibration-Torsion-Rotation Levels of
Methanol . . . . . . . . . . . . . . . . 893
Elena V. Zudilova Simulation-Visualization Complexes as
Generic Exploration Environment . . . . 903
Alexey S. Rodionov and
Hyunseung Choo and
Hee Y. Youn and
Tai M. Chung and
Kiheon Park Efficient Random Process Generation for
Reliable Simulation of Complex Systems 912
Anil Menon Replicators & Complementarity: Solving
the Simplest Complex System without
Simulation . . . . . . . . . . . . . . . 922
Roman Neruda and
Pavel Kru\vsina and
Zuzana Petrová More Autonomous Hybrid Models in Bang 935
S. Vasupongayya and
R. S. Renner and
B. A. Juliano Model Generation of Neural Network
Ensembles Using Two-Level
Cross-Validation . . . . . . . . . . . . 943
Stephen J. Sheel and
Deborah Vrooman and
R. S. Renner and
Shanda K. Dawsey A Comparison of Neural Networks and
Classical Discriminant Analysis in
Predicting Students' Mathematics
Placement Examination Scores . . . . . . 952
Michael J. Barber Neural Belief Propagation without
Multiplication . . . . . . . . . . . . . 958
A. Bogdanov and
A. Degtyarev and
Y. Nechaev Fuzzy Logic Basis in High Performance
Decision Support Systems . . . . . . . . 965
Lora J. Durak and
Alfred W. Hübler Scaling of Knowledge in Random
Conceptual Networks . . . . . . . . . . 976
Roman Neruda and
Arno\vst \vSt\vedrý and
Jitka Drko\vsová Implementation of Kolmogorov Learning
Algorithm for Feedforward Neural
Networks . . . . . . . . . . . . . . . . 986--995
Michael J. Barber and
Babette K. Dellen Noise-Induced Signal Enhancement in
Heterogeneous Neural Networks . . . . . 996
Mathieu Blanchette Evolutionary Puzzles: An Introduction to
Genome Rearrangement . . . . . . . . . . 1003
Bernard M. E. Moret and
David A. Bader and
Tandy Warnow High-Performance Algorithm Engineering
for Computational Phylogenetics . . . . 1012
Donald L. Simon and
Bret Larget Phylogenetic Inference from
Mitochondrial Genome Arrangement Data 1022
Maumita Bhattacharya and
Baikunth Nath Genetic Programming: A Review of Some
Concerns . . . . . . . . . . . . . . . . 1031
G. Y. Kryuchkyan and
H. H. Adamyan and
S. B. Manvelyan Numerical Simulation of Quantum
Distributions: Instability and Quantum
Chaos . . . . . . . . . . . . . . . . . 1041
Nirmal Singh and
Renu Vig and
J. K. Sharma Identification of MIM0 Systems by
Input-Output Takagi-Sugeno Fuzzy Models 1050
Mark Z. Jacobson Control of Black Carbon, the Most
Effective Means of Slowing Global
Warming . . . . . . . . . . . . . . . . 1060
U. Shankar and
A. L. Trayanov Comparison of Two Schemes for the
Redistribution of Moments for Modal
Aerosol Model Applications . . . . . . . 1061
Fernando Port-Agel and
Qiao Qin A Scale-Dependent Dynamic Model for
Scalar Transport in the Atmospheric
Boundary Layer . . . . . . . . . . . . . 1062
Eric Barth MDT --- The Molecular Dynamics Test Set 1065--1065
Steve D. Bond Numerical Methods for the Approximation
of Path Integrals Arising in Quantum
Statistical Mechanics . . . . . . . . . 1066
David J. Hardy The Multigrid $N$-Body Solver . . . . . 1067
Brian B. Laird Do Your Hard-Spheres Have Tails? A
Molecular Dynamics Integration Algorithm
for Systems with Mixed
Hard-Core/Continuous Potentials . . . . 1068
Benedict J. Leimkuhler An Improved Dynamical Formulation for
Constant Temperature and Pressure
Dynamics, with Application to Particle
Fluid Models . . . . . . . . . . . . . . 1069
Anonymous Author Index . . . . . . . . . . . . . . 1071
Susanna Donatelli Kronecker Algebra and (Stochastic) Petri
Nets: Is It Worth the Effort? . . . . . 1
Robin Milner The Flux of Interaction . . . . . . . . 19
Mogens Nielsen and
Vladimiro Sassone and
Ji\vrí Srba Towards a Notion of Distributed Time for
Petri Nets . . . . . . . . . . . . . . . 23
Wil M. P. van der Aalst and
Twan Basten Identifying Commonalities and
Differences in Object Life Cycles Using
Behavioral Inheritance . . . . . . . . . 32
Parosh Aziz Abdulla and
Aletta Nylén Timed Petri Nets and BQOs . . . . . . . 53
Michel Beaudouin-Lafon and
Wendy E. Mackay and
Peter Andersen and
Paul Janecek and
Mads Jensen and
Michael Lassen and
Kasper Lund and
Kjeld Mortensen and
Stephanie Munck and
Anne Ratzer and
Katrine Ravn and
Sòren Christensen and
Kurt Jensen CPN/Tools: A Post-WIMP Interface for
Editing and Simulating Coloured Petri
Nets . . . . . . . . . . . . . . . . . . 71
Slavek Bulach and
Anton Brauchle and
Hans-Jörg Pfleiderer and
Zdenek Kucerovsky Petri Net Based Design and
Implementation Methodology for Discrete
Event Control Systems . . . . . . . . . 81
Sòren Christensen and
Lars Michael Kristensen and
Thomas Mailund Condensed State Spaces for Timed Petri
Nets . . . . . . . . . . . . . . . . . . 101
Jean-Michel Couvreur and
Sébastien Grivet and
Denis Poitrenaud Unfolding of Products of Symmetrical
Petri Nets . . . . . . . . . . . . . . . 121
Peter Deussen Partial Order Verification of
Programmable Logic Controllers . . . . . 144
Serge Haddad and
Patrice Moreaux and
Matteo Sereno and
Manuel Silva Structural Characterization and
Qualitative Properties of Product Form
Stochastic Petri Nets . . . . . . . . . 164
Marian V. Iordache and
Panos J. Antsaklis Generalized Conditions for Liveness
Enforcement and Deadlock Prevention in
Petri Nets . . . . . . . . . . . . . . . 184
Hanna Klaudel and
Franck Pommereau A Concurrent Semantics of Static
Exceptions in a Parallel Programming
Language . . . . . . . . . . . . . . . . 204
Michael Köhler and
Daniel Moldt and
Heiko Rölke Modelling the Structure and Behaviour of
Petri Net Agents . . . . . . . . . . . . 224
Timo Latvala Model Checking LTL Properties of
High-Level Petri Nets with Fairness
Constraints . . . . . . . . . . . . . . 242
Glenn Lewis and
Charles Lakos Incremental State Space Construction for
Coloured Petri Nets . . . . . . . . . . 263
Marko Mäkelä Optimising Enabling Tests and Unfoldings
of Algebraic System Nets . . . . . . . . 283
Olga Marroquín Alonso and
David de Frutos Escrig Extending the Petri Box Calculus with
Time . . . . . . . . . . . . . . . . . . 303
Wojciech Penczek and
Agata Pó\lrola Abstractions and Partial Order
Reductions for Checking Branching
Properties of Time Petri Nets . . . . . 323
Carsten Rust and
Jürgen Tacken and
Carsten Böke Pr/T-Net Based Seamless Design of
Embedded Real-Time Systems . . . . . . . 343
L. Jason Steggles Rewriting Logic and Elan: Prototyping
Tools for Petri Nets with Time . . . . . 363
Walter Vogler Partial $S$-Invariants for the
Verification of Infinite Systems
Families . . . . . . . . . . . . . . . . 382
Anonymous Author Index . . . . . . . . . . . . . . 403
Christos H. Papadimitriou Algorithms, Games, and the Internet . . 1
Boris A. Trakhtenbrot Automata, Circuits, and Hybrids: Facets
of Continuous Time . . . . . . . . . . . 4
Ahmed Bouajjani Languages, Rewriting Systems, and
Verification of Infinite-State Systems 24
Martin Große-Rhode Integrating Semantics for
Object-Oriented System Models . . . . . 40
Mogens Nielsen Modelling with Partial Orders --- Why
and Why Not? . . . . . . . . . . . . . . 61
Ingo Wegener Theoretical Aspects of Evolutionary
Algorithms . . . . . . . . . . . . . . . 64
Markus Bläser Improvements of the Alder-Strassen
Bound: Algebras with Nonzero Radical . . 79
E. Boros and
K. Elbassioni and
V. Gurvich and
L. Khachiyan and
K. Makino On Generating All Minimal Integer
Solutions for a Monotone System of
Linear Inequalities . . . . . . . . . . 92
William Hesse Division Is in Uniform TC$^0$ . . . . . 104
Pankaj K. Agarwal and
Lars Arge and
Octavian Procopiuc and
Jeffrey Scott Vitter A Framework for Index Bulk Loading and
Dynamization . . . . . . . . . . . . . . 115
Gianfranco Bilardi and
Enoch Peserico A Characterization of Temporal Locality
and Its Portability across Memory
Hierarchies . . . . . . . . . . . . . . 128
Gerth Stòlting Brodal and
Rolf Fagerberg and
Christian N. S. Pedersen and
Anna Östlin The Complexity of Constructing
Evolutionary Trees Using Experiments . . 140
Philippe Flajolet and
Yves Guivarc'h and
Wojciech Szpankowski and
Brigitte Vallée Hidden Pattern Statistics . . . . . . . 152
Kunihiko Sadakane and
Nadia Takki-Chebihi and
Takeshi Tokuyama Combinatorics and Algorithms on
Low-Discrepancy Roundings of a Real
Sequence . . . . . . . . . . . . . . . . 166
Alexandre Tiskin All-Pairs Shortest Paths Computation in
the BSP Model . . . . . . . . . . . . . 178
Bernard Chazelle and
Ronitt Rubinfeld and
Luca Trevisan Approximating the Minimum Spanning Tree
Weight in Sublinear Time . . . . . . . . 190
Lars Engebretsen and
Marek Karpinski Approximation Hardness of TSP with
Bounded Metrics . . . . . . . . . . . . 201
Uriel Feige and
Michael Langberg The RPR$^2$ Rounding Technique for
Semidefinite Programs . . . . . . . . . 213
Rajiv Gandhi and
Samir Khuller and
Aravind Srinivasan Approximation Algorithms for Partial
Covering Problems . . . . . . . . . . . 225
Steven S. Seiden On the Online Bin Packing Problem . . . 237
Mikkel Thorup Quick $k$-Median, $k$-Center, and
Facility Location for Sparse Graphs . . 249
Jochen Alber and
Henning Fernau and
Rolf Niedermeier Parameterized Complexity: Exponential
Speed-Up for Planar Graph Problems . . . 261
Liming Cai and
David Juedes Subexponential Parameterized Algorithms
Collapse the W-Hierarchy . . . . . . . . 273
Amit Chakrabarti and
Subhash Khot Improved Lower Bounds on the Randomized
Complexity of Graph Properties . . . . . 285
Yevgeniy Dodis New Imperfect Random Source with
Applications to Coin-Flipping . . . . . 297
Joel Friedman and
Andreas Goerdt Recognizing More Unsatisfiable Random
$3$-SAT Instances Efficiently . . . . . 310
Martin Fürer Weisfeiler-Lehman Refinement Requires at
Least a Linear Number of Iterations . . 322
Oded Goldreich and
Salil Vadhan and
Avi Wigderson On Interactive Proofs with a Laconic
Prover . . . . . . . . . . . . . . . . . 334
Peter Hòyer and
Jan Neerbek and
Yaoyun Shi Quantum Complexities of Ordered
Searching, Sorting, and Element
Distinctness . . . . . . . . . . . . . . 346
Pranab Sen and
S. Venkatesh Lower Bounds in the Quantum Cell Probe
Model . . . . . . . . . . . . . . . . . 358
Emanuele Bandini and
Roberto Segala Axiomatizations for Probabilistic
Bisimulation . . . . . . . . . . . . . . 370
Gérard Boudol and
Ilaria Castellani Noninterference for Concurrent Programs 382
P. Madhusudan and
P. S. Thiagarajan Distributed Controller Synthesis for
Local Specifications . . . . . . . . . . 396
Davide Sangiorgi and
Andrea Valente A Distributed Abstract Machine for Safe
Ambients . . . . . . . . . . . . . . . . 408
Franck van Breugel and
James Worrell Towards Quantitative Verification of
Probabilistic Transition Systems . . . . 421
Zhangjian Li and
Shin-ichi Nakano Efficient Generation of Plane
Triangulations without Repetitions . . . 433
Guo-Hui Lin and
Zhi-Zhong Chen and
Tao Jiang and
Jianjun Wen The Longest Common Subsequence Problem
for Sequences with Nested Arc
Annotations . . . . . . . . . . . . . . 444
Sang-Min Park and
Jae-Ha Lee and
Kyung-Yong Chwa Visibility-Based Pursuit-Evasion in a
Polygonal Region by a Searcher . . . . . 456
Salvador Roura A New Method for Balancing Binary Search
Trees . . . . . . . . . . . . . . . . . 469
Graham Cormode and
S. Muthukrishnan and
Süleyman Cenk \dSahinalp Permutation Editing and Matching via
Embeddings . . . . . . . . . . . . . . . 481--492
Artur Czumaj and
Christian Sohler Testing Hypergraph Coloring . . . . . . 493
Shuji Isobe and
Xiao Zhou and
Takao Nishizeki Total Colorings of Degenerated Graphs 506
Luciano Margara and
Janos Simon Decidable Properties of Graphs of
All-Optical Networks . . . . . . . . . . 518
Nabil H. Mustafa and
Aleksandar Peke\vc Majority Consensus and the Local
Majority Rule . . . . . . . . . . . . . 530--542
Volker Diekert and
Anca Muscholl Solvability of Equations in Free
Partially Commutative Groups Is
Decidable . . . . . . . . . . . . . . . 543
Manfred Droste and
Guo-Qiang Zhang Rational Transformations of Formal Power
Series . . . . . . . . . . . . . . . . . 555
Sébastien Ferenczi and
Charles Holton and
Luca Q. Zamboni Combinatorics of Three-Interval
Exchanges . . . . . . . . . . . . . . . 567
Tero Harju and
Oscar Ibarra and
Juhani Karhumäki and
Arto Salomaa Decision Questions Concerning
Semilinearity, Morphisms, and
Commutation of Languages . . . . . . . . 579
Daniel Kirsten The Star Problem in Trace Monoids:
Reductions Beyond C4 . . . . . . . . . . 591
Michal Kunc The Trace Coding Problem Is Undecidable 603
Eric Rivals and
Sven Rahmann Combinatorics of Periods in Strings . . 615
Priti Shankar and
P. N. A. Kumar and
Harmeet Singh and
B. S. Rajan Minimal Tail-Biting Trellises for
Certain Cyclic Block Codes Are Easy to
Construct . . . . . . . . . . . . . . . 627
Parosh Aziz Abdulla and
Luc Boasson and
Ahmed Bouajjani Effective Lossy Queue Languages . . . . 639
Michael Benedikt and
Patrice Godefroid and
Thomas Reps Model Checking of Unrestricted
Hierarchical State Machines . . . . . . 652
Michele Boreale Symbolic Trace Analysis of Cryptographic
Protocols . . . . . . . . . . . . . . . 667
Hubert Comon and
Véronique Cortier and
John Mitchell Tree Automata with One Memory, Set
Constraints, and Ping-Pong Protocols . . 682
Kousha Etessami and
Thomas Wilke and
Rebecca A. Schuller Fair Simulation Relations, Parity Games,
and State Space Reduction for Büchi
Automata . . . . . . . . . . . . . . . . 694
Georg Gottlob and
Reinhard Pichler Hypergraphs in Model Checking:
Acyclicity and Hypertree-Width versus
Clique-Width . . . . . . . . . . . . . . 708
Anca Muscholl and
Doron Peled From Finite State Communication
Protocols to High-Level Message Sequence
Charts . . . . . . . . . . . . . . . . . 720
Ioannis Caragiannis and
Afonso Ferreira and
Christos Kaklamanis and
Stéphane Pérennes and
Hervé Rivano Fractional Path Coloring with
Applications to WDM Networks . . . . . . 732
Edith Cohen and
Eran Halperin and
Haim Kaplan Performance Aspects of Distributed
Caches Using TTL-Based Consistency . . . 744
Pierre Fraigniaud and
Cyril Gavoille Routing in Trees . . . . . . . . . . . . 757
Jessen T. Havill Online Packet Routing on Linear Arrays
and Rings . . . . . . . . . . . . . . . 773
Jop F. Sibeyn Faster Gossiping on Butterflies . . . . 785
Rajeev Alur and
Kousha Etessami and
Mihalis Yannakakis Realizability and Verification of MSC
Graphs . . . . . . . . . . . . . . . . . 797
P. Madhusudan Reasoning about Sequential and Branching
Behaviours of Message Sequence Graphs 809
Patrick Maier A Set-Theoretic Framework for
Assume-Guarantee Reasoning . . . . . . . 821
Mahesh Viswanathan and
Ramesh Viswanathan Foundations for Circular Compositional
Reasoning . . . . . . . . . . . . . . . 835
Chandra Chekuri and
Sanjeev Khanna A PTAS for Minimizing Weighted
Completion Time on Uniformly Related
Machines . . . . . . . . . . . . . . . . 848
Marek Chrobak and
János Csirik and
Csanád Imreh and
John Noga and
Ji í Sgall and
Gerhard J. Woeginger The Buffer Minimization Problem for
Multiprocessor Scheduling with Conflicts 862
Aleksei V. Fishkin and
Klaus Jansen and
Lorant Porkolab On Minimizing Average Weighted
Completion Time of Multiprocessor Tasks
with Release Dates . . . . . . . . . . . 875
Gerhard J. Woeginger On the Approximability of Average
Completion Time Scheduling under
Precedence Constraints . . . . . . . . . 887
Birgit Baum-Waidner Optimistic Asynchronous Multi-party
Contract Signing with Reduced Number of
Rounds . . . . . . . . . . . . . . . . . 898
Amos Beimel and
Yuval Ishai Information-Theoretic Private
Information Retrieval: A Unified
Construction . . . . . . . . . . . . . . 912
Joan Feigenbaum and
Yuval Ishai and
Tal Malkin and
Kobbi Nissim and
Martin J. Strauss and
Rebecca N. Wright Secure Multiparty Computation of
Approximations . . . . . . . . . . . . . 927
Aggelos Kiayias and
Moti Yung Secure Games with Polynomial Expressions 939
Miquel Bofill and
Guillem Godoy On the Completeness of Arbitrary
Selection Strategies for Paramodulation 951
Furio Honsell and
Marino Miculan and
Ivan Scagnetto An Axiomatic Approach to Metareasoning
on Nominal Algebras in HOAS . . . . . . 963
Konstantin Korovin and
Andrei Voronkov Knuth-Bendix Constraint Solving Is
NP-Complete . . . . . . . . . . . . . . 979
Lutz Schröder and
Till Mossakowski and
Andrzej Tarlecki Amalgamation in CASL via Enriched
Signatures . . . . . . . . . . . . . . . 993
Albert Atserias and
María Luisa Bonet and
Juan Luis Esteban Lower Bounds for the Weak Pigeonhole
Principle Beyond Resolution . . . . . . 1005
Harry Buhrman and
John Tromp and
Paul Vitányi Time and Space Bounds for Reversible
Simulation . . . . . . . . . . . . . . . 1017
Jack J. Dai and
James I. Lathrop and
Jack H. Lutz and
Elvira Mayordomo Finite-State Dimension . . . . . . . . . 1028
Lane A. Hemaspaandra and
Sven Kosub and
Klaus W. Wagner The Complexity of Computing the Size of
an Interval . . . . . . . . . . . . . . 1040
Tomasz Jurdzi\'nski and
Miros\law Kuty\lowski Communication Gap for Finite Memory
Devices . . . . . . . . . . . . . . . . 1052
Rocco A. Servedio Separating Quantum and Classical
Learning . . . . . . . . . . . . . . . . 1065
Anonymous Author Index . . . . . . . . . . . . . . 1081
Frank Leymann Web Services and Their Composition . . . 1
Pierre-Yves Cunin and
R. Mark Greenwood and
Laurent Francou and
Ian Robertson and
Brian Warboys The PIE Methodology -- Concept and
Application . . . . . . . . . . . . . . 3
R. Mark Greenwood and
Dharini Balasubramaniam and
Graham Kirby and
Ken Mayes and
Ron Morrison and
Wykeen Seet and
Brian Warboys and
Evangelos Zirintsis Reflection and Reification in Process
System Evolution: Experience and
Opportunity . . . . . . . . . . . . . . 27
Ilham Alloui and
Sorana C\^\impan and
Flavio Oquendo Monitoring Software Process
Interactions: A Logic-Based Approach . . 39
Meir M. Lehman and
Juan F. Ramil and
Goel Kahen Experiences with Behavioural Process
Modelling in FEAST, and Some of Its
Practical Implications . . . . . . . . . 47
Ulrike Becker-Kornstaedt and
Holger Neu and
Gunter Hirche Software Process Technology Transfer:
Using a Formal Process Notation to
Capture a Software Process in Industry 63
Louise Scott and
Lucila Carvalho and
Ross Jeffery and
John D'Ambra An Evaluation of the Spearmint Approach
to Software Process Modelling . . . . . 77
Volker Gruhn and
Lothar Schöpe A Software Process for an Integrated
Electronic Commerce Portal System . . . 90
Giuseppe Valetto and
Gail Kaiser and
Gaurav S. Kc A Mobile Agent Approach to Process-Based
Dynamic Adaptation of Complex Software
Systems . . . . . . . . . . . . . . . . 102
Alf Inge Wang and
Liu Chunnian Process Support for Mobile Work across
Heterogeneous Systems . . . . . . . . . 117
Simon Becker and
Dirk Jäger and
Ansgar Schleicher and
Bernhard Westfechtel A Delegation Based Model for Distributed
Software Process Management . . . . . . 130
Aaron G. Cass and
Leon J. Osterweil Applying Real-Time Scheduling Techniques
to Software Processes: A Position Paper 145
Josep M. Ribó and
Xavier Franch Building Expressive and Flexible Process
Models Using a UML-Based Approach . . . 152
Harald Störrle Describing Process Patterns with UML . . 173
Michael Gnatz and
Frank Marschall and
Gerhard Popp and
Andreas Rausch and
Wolfgang Schwerin Towards a Living Software Development
Process Based on Process Patterns . . . 182
Jin Sa and
Brian Warboys and
Mark Greenwood and
Ian Robertson Modeling a Support Framework for Dynamic
Organizations as a Process Pattern Using
UML . . . . . . . . . . . . . . . . . . 203
Christian Printzell Halvorsen and
Reidar Conradi A Taxonomy to Compare SPI Frameworks . . 217
Thomas C. Green and
Kenneth M. Anderson Configuration Management Culture as the
Kernel to Success in Software Process
Improvement Efforts . . . . . . . . . . 236
Giovanni A. Cignoni Reporting about the Mod Software Process 242
Anonymous Author Index . . . . . . . . . . . . . . 247
J.-L. Camus and
T. Le Sergent Combining SDL with Synchronous Data Flow
Modelling for Distributed Control
Systems . . . . . . . . . . . . . . . . 1
N. Mansurov and
D. Campara Using Message Sequence Charts to
Accelerate Maintenance of Existing
Systems . . . . . . . . . . . . . . . . 19
Ò. Haugen From MSC-2000 to UML 2.0 --- The Future
of Sequence Diagrams . . . . . . . . . . 38
R. Arthaud SDL and Layered Systems: Proposed
Extensions to SDL to Better Support the
Design of Layered Systems . . . . . . . 52
F. Roessler and
B. Geppert and
R. Gotzhein Collaboration-Based Design of SDL
Systems . . . . . . . . . . . . . . . . 72
J. Floch and
R. Sanders and
U. Johansen and
R. Bræk Using UML for Implementation Design of
SDL Systems . . . . . . . . . . . . . . 90
N. Bauer Deployment of SDL Systems Using UML . . 107
A. Wiles ETSI Testing Activities and the Use of
TTCN-3 . . . . . . . . . . . . . . . . . 123
J. Grabowski and
P. Graubmann and
E. Rudolph HyperMSCs with Connectors for Advanced
Visual System Modelling and Testing . . 129
P. Baker and
E. Rudolph and
I. Schieferdecker Graphical Test Specification --- The
Graphical Format of TTCN-3 . . . . . . . 148
D. Hogrefe and
B. Koch and
H. Neukirchen Some Implications of MSC, SDL and TTCN
Time Extensions for Computer-Aided Test
Generation . . . . . . . . . . . . . . . 168
I. Ober and
A. Kerbrat Verification of Quantitative Temporal
Properties of SDL Specifications . . . . 182
R. Münzenberger and
F. Slomka and
M. Dörfel and
R. Hofmann A General Approach for the Specification
of Real-Time Systems with SDL . . . . . 203
M. Bozga and
S. Graf and
L. Mounier and
I. Ober and
J.-L. Roux and
D. Vincent Timed Extensions for SDL . . . . . . . . 223
J. Larmouth ASN.1 Is Reaching Out! . . . . . . . . . 241
F. Dubois and
M. Born and
H. Böhme and
J. Fischer and
E. Holz and
O. Kath and
B. Neubauer and
F. Stoinski Distributed Systems: From Models to
Components . . . . . . . . . . . . . . . 250
A. Miga and
D. Amyot and
F. Bordeleau and
D. Cameron and
M. Woodside Deriving Message Sequence Charts from
Use Case Maps Scenario Specifications 268
J. Sipilä and
V. Luukkala An SDL Implementation Framework for
Third Generation Mobile Communications
System . . . . . . . . . . . . . . . . . 288
O. Monkewich and
I. Sales and
R. Probert OSPF Efficient LSA Refreshment Function
in SDL . . . . . . . . . . . . . . . . . 300
V. Courzakis and
M. von Löwis and
R. Schröder Using SDL in a Stateless Environment . . 316
J. C. M. Baeten and
H. M. A. van Beek and
S. Mauw An MSC Based Representation of DiCons 328
L. Hëlouët Some Pathological Message Sequence
Charts, and How to Detect Them . . . . . 348
B. Jonsson and
G. Padilla An Execution Semantics for MSC-2000 . . 365
N. Goga Comparing TorX, Autolink, TGV and UIO
Test Algorithms . . . . . . . . . . . . 379
N. Sidorova and
M. Steffen Verifying Large SDL-Specifications Using
Model Checking . . . . . . . . . . . . . 403
W. Zhang Applying SDL Specifications and Tools to
the Verification of Procedures . . . . . 421
Anonymous Author Index . . . . . . . . . . . . . . 439
M. P. Carrasco and
M. V. Pato A Multiobjective Genetic Algorithm for
the Class/Teacher Timetabling Problem 3
H. M. M. ten Eikelder and
R. J. Willemen Some Complexity Aspects of Secondary
School Timetabling Problems . . . . . . 18
K. Zervoudakis and
P. Stamatopoulos A Generic Object-Oriented
Constraint-Based Model for University
Course Timetabling . . . . . . . . . . . 28
H. Ueda and
D. Ouchi and
K. Takahashi and
T. Miyahara A Co-evolving Timeslot/Room Assignment
Genetic Algorithm Technique for
University Timetabling . . . . . . . . . 48
M. W. Carter A Comprehensive Course Timetabling and
Student Scheduling System at the
University of Waterloo . . . . . . . . . 64
G. M. White and
B. S. Xie Examination Timetables and Tabu Search
with Longer-Term Memory . . . . . . . . 85
L. Di Gaspero and
A. Schaerf Tabu Search Techniques for Examination
Timetabling . . . . . . . . . . . . . . 104
E. K. Burke and
Y. Bykov and
S. Petrovic A Multicriteria Approach to Examination
Timetabling . . . . . . . . . . . . . . 118
W. Erben A Grouping Genetic Algorithm for Graph
Colouring and Exam Timetabling . . . . . 132
P. Chan and
G. Weil Cyclical Staff Scheduling Using
Constraint Logic Programming . . . . . . 159
P. Cowling and
G. Kendall and
E. Soubeiga A Hyperheuristic Approach to Scheduling
a Sales Summit . . . . . . . . . . . . . 176
H. Meyer auf'm Hofe Solving Rostering Tasks as Constraint
Optimization . . . . . . . . . . . . . . 191
A. Meisels and
E. Ovadia Assigning Resources to Constrained
Activities . . . . . . . . . . . . . . . 213
D. Sosnowska and
J. Rolim Fleet Scheduling Optimization: A
Simulated Annealing Approach . . . . . . 227
M. A. Trick A Schedule-Then-Break Approach to Sports
Timetabling . . . . . . . . . . . . . . 242
E. K. Burke and
P. Cowling and
J. D. Landa Silva and
B. McCollum Three Methods to Automate the Space
Allocation Process in UK Universities 254
P. Brucker and
S. Knust Resource-Constrained Project Scheduling
and Timetabling . . . . . . . . . . . . 277
B. Rising and
J. Shawe-Taylor and
J. \vZerovnik Graph Colouring by Maximal Evidence Edge
Adding . . . . . . . . . . . . . . . . . 294
J. H. Kingston Modelling Timetabling Problems with STTL 309
L. P. Reis and
E. Oliveira A Language for Specifying Complete
Timetabling Problems . . . . . . . . . . 322
J. H. Kingston and
B. Y.-S. Lynn A Software Architecture for Timetable
Construction . . . . . . . . . . . . . . 342
Anonymous Other Timetabling Presentations . . . . 353
Anonymous Author Index . . . . . . . . . . . . . . 359
Ralph Bergmann Highlights of the European INRECA
Projects . . . . . . . . . . . . . . . . 1
Ramon López de Mántaras and
Josep Lluís Arcos The Synthesis of Expressive Music: A
Challenging CBR Application . . . . . . 16
Petra Perner Why Case-Based Reasoning Is Attractive
for Image Interpretation . . . . . . . . 27
Eva Armengol and
Enric Plaza Similarity Assessment for Relational CBR 44
L. Karl Branting Acquiring Customer Preferences from
Return-Set Selections . . . . . . . . . 59
Stefanie Brüninghaus and
Kevin D. Ashley The Role of Information Extraction for
Textual CBR . . . . . . . . . . . . . . 74
Edmund K. Burke and
Bart MacCarthy and
Sanja Petrovic and
Rong Qu Case-Based Reasoning in Course
Timetabling: An Attribute Graph Approach 90
Robin Burke Ranking Algorithms for Costly Similarity
Measures . . . . . . . . . . . . . . . . 105
Guoqing Cao and
Simon Shiu and
Xizhao Wang A Fuzzy-Rough Approach for Case Base
Maintenance . . . . . . . . . . . . . . 118
Susan Craw and
Jacek Jarmulak and
Ray Rowe Learning and Applying Case-Based
Adaptation Knowledge . . . . . . . . . . 131
Pádraig Cunningham and
Gabriele Zenobi Case Representation Issues for
Case-Based Reasoning from Ensemble
Research . . . . . . . . . . . . . . . . 146
Belén Díaz-Agudo and
Pedro A. González-Calero A Declarative Similarity Framework for
Knowledge Intensive CBR . . . . . . . . 158
Belén Díaz-Agudo and
Pedro A. González-Calero Classification Based Retrieval Using
Formal Concept Analysis . . . . . . . . 173
Joseph A. Giampapa and
Katia Sycara Conversational Case-Based Planning for
Agent Team Coordination . . . . . . . . 189
Christiane Gresse von Wangenheim and
Andre Bortolon and
Aldo von Wangenheim A Hybrid Approach for the Management of
FAQ Documents in Latin Languages . . . . 204
Kalyan Moy Gupta Taxonomic Conversational Case-Based
Reasoning . . . . . . . . . . . . . . . 219
Conor Hayes and
Pádraig Cunningham and
Barry Smyth A Case-Based Reasoning View of Automated
Collaborative Filtering . . . . . . . . 234
Scott Henninger and
Kurt Baumgarten A Case-Based Approach to Tailoring
Software Processes . . . . . . . . . . . 249
Ioannis Iglezakis The Conflict Graph for Maintaining
Case-Based Reasoning Systems . . . . . . 263
Gada Kadoda and
Michelle Cartwright and
Martin Shepperd Issues on the Effective Use of CBR
Technology for Software Project
Prediction . . . . . . . . . . . . . . . 276
Boris Kerkez and
Michael T. Cox Incremental Case-Based Plan Recognition
Using State Indices . . . . . . . . . . 291
Andreas Kohlmaier and
Sascha Schmitt and
Ralph Bergmann A Similarity-Based Approach to Attribute
Selection in User-Adaptive Sales Dialogs 306
David B. Leake and
Raja Sooriamurthi When Two Case Bases Are Better than One:
Exploiting Multiple Case Bases . . . . . 321
Maria Malek and
Rushed Kanawati COBRA: A CBR-Based Approach for
Predicting Users Actions in a Web Site 336
Barry Smyth and
Paul McClave Similarity vs. Diversity . . . . . . . . 347
Lorraine Mc Ginty and
Barry Smyth Collaborative Case-Based Reasoning:
Applications in Personalised Route
Planning . . . . . . . . . . . . . . . . 362
Bruce M. McLaren and
Kevin D. Ashley Helping a CBR Program Know What It Knows 377
David McSherry Precision and Recall in Interactive
Case-Based Reasoning . . . . . . . . . . 392
J. William Murdock and
Ashok K. Goel Meta-case-Based Reasoning: Using
Functional Models to Adapt Case-Based
Agents . . . . . . . . . . . . . . . . . 407
Nicoleta Neagu and
Boi Faltings Exploiting Interchangeabilities for Case
Adaptation . . . . . . . . . . . . . . . 422
Enric Plaza and
Santiago Ontañón Ensemble Case-Based Reasoning:
Collaboration Policies for Multiagent
Cooperative CBR . . . . . . . . . . . . 437
Thomas Roth-Berghofer and
Thomas Reinartz MAMA: A Maintenance Manual for
Case-Based Reasoning Systems . . . . . . 452
Maria Salamó and
Elisabet Golobardes Rough Sets Reduction Techniques for
Case-Based Reasoning . . . . . . . . . . 467
Jenngang Shih Sequential Instance-Based Learning for
Planning in the Context of an Imperfect
Information Game . . . . . . . . . . . . 483
Armin Stahl Learning Feature Weights from Case Order
Feedback . . . . . . . . . . . . . . . . 502
Haris Supic and
Slobodan Ribaric Adaptation by Applying Behavior Routines
and Motion Strategies in Autonomous
Navigation . . . . . . . . . . . . . . . 517
Flavio Tonidandel and
Márcio Rillo An Accurate Adaptation-Guided Similarity
Metric for Case-Based Planning . . . . . 531
Flavio Tonidandel and
Márcio Rillo Releasing Memory Space through a
Case-Deletion Policy with a Lower Bound
for Residual Competence . . . . . . . . 546
Yacine Zeghib and
François De Beuvron and
Martina Kullmann Using Description Logics for Designing
the Case Base in a Hybrid Approach for
Diagnosis Integrating Model and
Case-Based Reasoning . . . . . . . . . . 561
Josep Lluís Arcos T-Air: A Case-Based Reasoning System for
Designing Chemical Absorption Plants . . 576
William Cheetham Benefits of Case-Based Reasoning in
Color Matching . . . . . . . . . . . . . 589
Alexander P. Morgan and
John A. Cafeo and
Diane I. Gibbons and
Ronald M. Lesperance and
Gülcin H. Sengir and
Andrea M. Simon CBR for Dimensional Management in a
Manufacturing Plant . . . . . . . . . . 597
Hideo Shimazu and
Dai Kusui Real-Time Creation of Frequently Asked
Questions . . . . . . . . . . . . . . . 611
Anil Varma Managing Diagnostic Knowledge in Text
Cases . . . . . . . . . . . . . . . . . 622
Stefania Bandini and
Sara Manzoni CBR Adaptation for Chemical Formulation 634
Pei-Chann Chang and
Jih-Chang Hsieh and
T. Warren Liao A Case-Based Reasoning Approach for
Due-Date Assignment in a Wafer
Fabrication Factory . . . . . . . . . . 648
Gareth Hurley and
David C. Wilson DubLet: An Online CBR System for Rental
Property Recommendation . . . . . . . . 660
Christopher L. Johnson and
Larry Birnbaum and
Ray Bareiss and
Tom Hinrichs Improved Performance Support through an
Integrated Task-Based Video Case Library 675
Dai Kusui and
Hideo Shimazu Transforming Electronic Mail Folders
into Case Bases . . . . . . . . . . . . 690
Cindy Marling and
Peter Whitehouse Case-Based Reasoning in the Care of
Alzheimer's Disease Patients . . . . . . 702
Claude Mount and
T. Warren Liao Prototype of an Intelligent Failure
Analysis System . . . . . . . . . . . . 716
Timo Seuranen and
Elina Pajula and
Markku Hurme Applying CBR and Object Database
Techniques in Chemical Process Design 731
Qiang Yang and
Ian Tian-Yi Li and
Henry Haining Zhang Mining High-Quality Cases for Hypertext
Prediction and Prefetching . . . . . . . 744
Anonymous Author Index . . . . . . . . . . . . . . 757
Aaron Archer Two $O(\log* k)$-Approximation
Algorithms for the Asymmetric $k$-Center
Problem . . . . . . . . . . . . . . . . 1
Yossi Azar and
Oded Regev Strongly Polynomial Algorithms for the
Unsplittable Flow Problem . . . . . . . 15
Joseph Cheriyan and
Santosh Vempala Edge Covers of Setpairs and the
Iterative Rounding Method . . . . . . . 30
Cheng-Feng Mabel Chou and
Maurice Queyranne and
David Simchi-Levi The Asymptotic Performance Ratio of an
On-Line Algorithm for Uniform Parallel
Machine Scheduling with Release Dates 45
Fabián A. Chudak and
Tim Roughgarden and
David P. Williamson Approximate $k$-MSTs and $k$-Steiner
Trees via the Primal-Dual Method and
Lagrangean Relaxation . . . . . . . . . 60
Gérard Cornuéjols and
Yanjun Li On the Rank of Mixed $0,1$ Polyhedra . . 71
Friedrich Eisenbrand and
Günter Rote Fast $2$-Variable Integer Programming 78
Michael Elkin and
David Peleg Approximating $k$-Spanner Problems for
$k > 2$ . . . . . . . . . . . . . . . . . 90
Tamás Fleiner A Matroid Generalization of the Stable
Matching Polytope . . . . . . . . . . . 105
Lisa Fleischer A $2$-Approximation for Minimum Cost
0,1,2 Vertex Connectivity . . . . . . . 115
András Frank and
Tamás Király Combined Connectivity Augmentation and
Orientation Problems . . . . . . . . . . 130
András Frank and
László Szego An Extension of a Theorem of Henneberg
and Laman . . . . . . . . . . . . . . . 145
Satoru Fujishige and
Satoru Iwata Bisubmodular Function Minimization . . . 160
Naveen Garg and
Rohit Khandekar and
Goran Konjevod and
R. Ravi and
F. S. Salman and
Amitabh Sinha On the Integrality Gap of a Natural
Formulation of the Single-Sink
Buy-at-Bulk Network Design Problem . . . 170
Bertrand Guenin Circuit Mengerian Directed Graphs . . . 185
Bertrand Guenin Integral Polyhedra Related to Even Cycle
and Even Cut Matroids . . . . . . . . . 196
Eran Halperin and
Uri Zwick A Unified Framework for Obtaining
Improved Approximation Algorithms for
Maximum Graph Bisection Problems . . . . 210
Refael Hassin and
Asaf Levin Synthesis of $2$-Commodity Flow Networks 226
A. Hordijk and
D. A. van der Laan Bounds for Deterministic Periodic
Routing Sequences . . . . . . . . . . . 236
G. Iyengar and
M. T. Çezik Cutting Planes for Mixed $0-1$
Semidefinite Programs . . . . . . . . . 251
Bill Jackson and
Tibor Jordán Independence Free Graphs and Vertex
Connectivity Augmentation . . . . . . . 264
Murali S. Kodialam The Throughput of Sequential Testing . . 280
Jean B. Lasserre An Explicit Exact SDP Relaxation for
Nonlinear $0-1$ Programs . . . . . . . . 293
François Margot Pruning by Isomorphism in Branch-and-Cut 304
Andrew J. Miller and
George L. Nemhauser and
Martin W. P. Savelsbergh Facets, Algorithms, and Polyhedral
Characterizations for a Multi-item
Production Planning Model with Setup
Times . . . . . . . . . . . . . . . . . 318
Alantha Newman and
Santosh Vempala Fences Are Futile: On Relaxations for
the Linear Ordering Problem . . . . . . 333
Michael Perregaard and
Egon Balas Generating Cuts from Multiple-Term
Disjunctions . . . . . . . . . . . . . . 348
Maurice Queyranne and
Maxim Sviridenko A $(2+\varepsilon)$-Approximation
Algorithm for Generalized Preemptive
Open Shop Problem with Minsum Objective 361
Petra Schuurman and
Tjark Vredeveld Performance Guarantees of Local Search
for Multiprocessor Scheduling . . . . . 370
András Sebo and
Eric Tannier Connected Joins in Graphs . . . . . . . 383
René Sitters Two NP-Hardness Results for Preemptive
Minsum Scheduling of Unrelated Parallel
Machines . . . . . . . . . . . . . . . . 396
Clifford Stein and
David P. Wagner Approximation Algorithms for the Minimum
Bends Traveling Salesman Problem . . . . 406
Anonymous Author Index . . . . . . . . . . . . . . 423
Arthur E. Burgess and
Francine L. Jacobson and
Philip F. Judy On the Difficulty of Detecting Tumors in
Mammograms . . . . . . . . . . . . . . . 1
John Hoppin and
Matthew Kupinski and
George Kastis and
Eric Clarkson and
Harrison H. Barrett Objective Comparison of Quantitative
Imaging Modalities Without the Use of a
Gold Standard . . . . . . . . . . . . . 12
Craig K. Abbey and
Miguel P. Eckstein Theory for Estimating Human-Observer
Templates in Two-Alternative
Forced-Choice Experiments . . . . . . . 24
Xenophon Papademetris and
E. Turan Onat and
Albert J. Sinusas and
Donald P. Dione and
R. Todd Constable and
James S. Duncan The Active Elastic Model . . . . . . . . 36
Rhodri H. Davies and
Tim F. Cootes and
Chris J. Taylor A Minimum Description Length Approach to
Statistical Shape Modelling . . . . . . 50
Sarang Joshi and
Stephen Pizer and
P. Thomas Fletcher and
Andrew Thall and
Gregg Tracton Multi-scale $3$-D Deformable Model
Segmentation Based on Medial Description 64
Alejandro F. Frangi and
Daniel Rueckert and
Julia A. Schnabel and
Wiro J. Niessen Automatic $3$D ASM Construction via
Atlas-Based Landmarking and Volumetric
Elastic Registration . . . . . . . . . . 78
Olivier Coulon and
Daniel C. Alexander and
Simon R. Arridge A Regularization Scheme for Diffusion
Tensor Magnetic Resonance Images . . . . 92
Geoffrey J. M. Parker and
Claudia A. M. Wheeler-Kingshott and
Gareth J. Barker Distributed Anatomical Brain
Connectivity Derived from Diffusion
Tensor Imaging . . . . . . . . . . . . . 106
Philipp G. Batchelor and
Derek L. G. Hill and
Fernando Calamante and
David Atkinson Study of Connectivity in the Brain Using
the Full Diffusion Tensor from MRI . . . 121
Paul Taylor and
Eugenio Alberdi and
Richard Lee and
John Fox and
Margarita Sordo and
Andrew Todd-Pokropek Incorporating Image Processing in a
Clinical Decision Support System . . . . 134
D. Louis Collins and
Johan Montagnat and
Alex P. Zijdenbos and
Alan C. Evans and
Douglas L. Arnold Automated Estimation of Brain Volume in
Multiple Sclerosis with BICCR . . . . . 141
Caterina M. Gallippi and
Gregg E. Trahey Automatic Image Registration for MR and
Ultrasound Cardiac Images . . . . . . . 148
Andrew P. King and
Philipp G. Batchelor and
Graeme P. Penney and
Jane M. Blackall and
Derek L. G. Hill and
David J. Hawkes Estimating Sparse Deformation Fields
Using Multiscale Bayesian Priors and
$3$-D Ultrasound . . . . . . . . . . . . 155
Robert Marti and
Reyer Zwiggelaar and
Caroline Rubin Automatic Registration of Mammograms
Based on Linear Structures . . . . . . . 162
Xavier Pennec and
Pascal Cachier and
Nicholas Ayache Tracking Brain Deformations in
Time-Sequences of $3$D US Images . . . . 169
Baba C. Vemuri and
Jundong Liu and
José L. Marroquin Robust Multimodal Image Registration
Using Local Frequency Representations 176
Oskar Skrinjar and
Colin Studholme and
Arya Nabavi and
James Duncan Steps Toward a Stereo-Camera-Guided
Biomechanical Model for Brain Shift
Compensation . . . . . . . . . . . . . . 183
Jayasanka Piyaratna and
Jagath C. Rajapakse Spatiotemporal Analysis of Functional
Images Using the Fixed Effect Model . . 190
Habib Benali and
Mélanie Pélégrini-Issac and
Frithjof Kruggel Spatio-temporal Covariance Model for
Medical Images Sequences: Application to
Functional MRI Data . . . . . . . . . . 197
Philip D. Allen and
Chris J. Taylor and
Ariane L. Herrick and
Marina Anderson and
Tonia Moore Microvascular Dynamics in the Nailfolds
of Scleroderma Patients Studied Using
Na-fluorescein Dye . . . . . . . . . . . 204
Edward V. R. Di Bella and
Arkadiusz Sitek Time Curve Analysis Techniques for
Dynamic Contrast MRI Studies . . . . . . 211
Gabriele Lohmann and
D. Yves von Cramon Detecting Functionally Coherent Networks
in fMRI Data of the Human Brain Using
Replicator Dynamics . . . . . . . . . . 218
Václav Smídl and
Miroslav Kárný and
Martin Sámal and
Werner Backfrieder and
Zsolt Szabo Smoothness Prior Information in
Principal Component Analysis of Dynamic
Image Data . . . . . . . . . . . . . . . 225
François G. Meyer and
Gregory McCarthy Estimation of Baseline Drifts in fMRI 232
Frithjof Kruggel and
Martina K. Brückner and
Thomas Arendt and
Christopher J. Wiggins and
D. Yves von Cramon Analyzing the Neocortical Fine-Structure 239
Luis Freire and
Jean-François Mangin Motion Correction Algorithms of the
Brain Mapping Community Create Spurious
Functional Activations . . . . . . . . . 246
Andre Lehovich and
Harrison H. Barrett and
Eric W. Clarkson and
Arthur F. Gmitro Estimability of Spatio-temporal
Activation in fMRI . . . . . . . . . . . 259
Olivier David and
Line Garnero and
Francisco J. Varela A New Approach to the MEG/EEG Inverse
Problem for the Recovery of Cortical
Phase-Synchrony . . . . . . . . . . . . 272
Viktor K. Jirsa and
Kelly J. Jantzen and
Armin Fuchs and
J. A. Scott Kelso Neural Field Dynamics on the Folded
Three-Dimensional Cortical Sheet and Its
Forward EEG and MEG . . . . . . . . . . 286
Haili Chui and
Lawrence Win and
Robert Schultz and
James Duncan and
Anand Rangarajan A Unified Feature Registration Method
for Brain Mapping . . . . . . . . . . . 300
Pierre Hellier and
Christian Barillot Cooperation between Local and Global
Approaches to Register Brain Images . . 315
Hans J. Johnson and
Gary E. Christensen Landmark and Intensity-Based, Consistent
Thin-Plate Spline Image Registration . . 329
Julia A. Schnabel and
Christine Tanner and
Andy D. Castellano Smith and
Martin O. Leach and
Carmel Hayes and
Andreas Degenhard and
Rodney Hose and
Derek L. G. Hill and
David J. Hawkes Validation of Non-rigid Registration
Using Finite Element Methods . . . . . . 344
Calvin R. Maurer, Jr. and
Vijay Raghavan and
Rensheng Qi A Linear Time Algorithm for Computing
the Euclidean Distance Transform in
Arbitrary Dimensions . . . . . . . . . . 358
Christopher Wyatt and
Yaorong Ge An Elliptic Operator for Constructing
Conformal Metrics in Geometric
Deformable Models . . . . . . . . . . . 365
David J. Pettey and
James C. Gee Using a Linear Diagnostic Function and
Non-rigid Registration to Search for
Morphological Differences Between
Populations: An Example Involving the
Male and Female Corpus Callosum . . . . 372
Jürgen Weese and
Michael Kaus and
Christian Lorenz and
Steven Lobregt and
Roel Truyen and
Vladimir Pekar Shape Constrained Deformable Models for
$3$D Medical Image Segmentation . . . . 380
Qingfen Lin and
Per-Erik Danielsson Stenosis Detection Using a New Shape
Space for Second Order $3$D-Variations 388
Xiao Han and
Chenyang Xu and
Ulisses Braga-Neto and
Jerry L. Prince Graph-Based Topology Correction for
Brain Cortex Segmentation . . . . . . . 395
Paul Yushkevich and
Stephen M. Pizer and
Sarang Joshi and
J. S. Marron Intuitive, Localized Analysis of Shape
Variability . . . . . . . . . . . . . . 402
Kálmán Palágyi and
Erich Sorantin and
Emese Balogh and
Attila Kuba and
Csongor Halmai and
Balázs Erdohelyi and
Klaus Hausegger A Sequential $3$D Thinning Algorithm and
Its Medical Applications . . . . . . . . 409
Marc Droske and
Bernhard Meyer and
Martin Rumpf and
Carlo Schaller An Adaptive Level Set Method for Medical
Image Segmentation . . . . . . . . . . . 416
Aljaz Noe and
James C. Gee Partial Volume Segmentation of Cerebral
MRI Scans with Mixture Model Clustering 423
Bryan W. Reutter and
V. Ralph Algazi and
Ronald H. Huesman Nonlinear Edge Preserving Smoothing and
Segmentation of $4$-D Medical Images via
Scale-Space Fingerprint Analysis . . . . 431
Daniel Welti and
Guido Gerig and
Ernst-Wilhelm Radü and
Ludwig Kappos and
Gabor Székely Spatio-temporal Segmentation of Active
Multiple Sclerosis Lesions in Serial MRI
Data . . . . . . . . . . . . . . . . . . 438
Boudewijn P. F. Lelieveldt and
Steven C. Mitchell and
Johan G. Bosch and
Rob J. van der Geest and
Milan Sonka and
Johan H. C. Reiber Time-Continuous Segmentation of Cardiac
Image Sequences Using Active Appearance
Motion Models . . . . . . . . . . . . . 446
Djamal Boukerroui and
J. Alison Noble and
Michael Brady Feature Enhancement in Low Quality
Images with Application to
Echocardiography . . . . . . . . . . . . 453
Albert C. S. Chung and
J. Alison Noble and
Paul Summers and
Michael Brady $3$D Vascular Segmentation Using MRA
Statistics and Velocity Field
Information in PC--MRA . . . . . . . . . 461
Jun L. Chen and
Steve R. Gunn and
Mark S. Nixon and
Roger N. Gunn Markov Random Field Models for
Segmentation of PET Images . . . . . . . 468
Xiaodong Tao and
Xiao Han and
Maryam E. Rettmann and
Jerry L. Prince and
Christos Davatzikos Statistical Study on Cortical Sulci of
Human Brains . . . . . . . . . . . . . . 475
Paul M. Thompson and
Michael S. Mega and
Christine Vidal and
Judith L. Rapoport and
Arthur W. Toga Detecting Disease-Specific Patterns of
Brain Structure Using Cortical Pattern
Matching and a Population-Based
Probabilistic Brain Atlas . . . . . . . 488
Martin Styner and
Guido Gerig Medial Models Incorporating Object
Variability for $3$D Shape Analysis . . 502
Polina Golland and
W. Eric L. Grimson and
Martha E. Shenton and
Ron Kikinis Deformation Analysis for Shape Based
Classification . . . . . . . . . . . . . 517
Anonymous Subject Index . . . . . . . . . . . . . 531
Anonymous Author Index . . . . . . . . . . . . . . 535
Neil D. Jones Program Termination Analysis by
Size-Change Graphs (Abstract) . . . . . 1
Lawrence C. Paulson SET Cardholder Registration: The Secrecy
Proofs (Extended Abstract) . . . . . . . 5
Andrei Voronkov Algorithms, Datastructures, and other
Issues in Efficient Automated Deduction 13
Volker Haarslev and
Ralf Möller and
Michael Wessel The Description Logic
$\mathcal{ALCNH}_{R+}$ Extended with
Concrete Domains: A Practically
Motivated Approach . . . . . . . . . . . 29
Carsten Lutz \sc NExPTime-Complete Description Logics
with Concrete Domains . . . . . . . . . 45--60
Volker Haarslev and
Ralf Möller and
Anni-Yasmin Turhan Exploiting Pseudo Models for TBox and
ABox Reasoning in Expressive Description
Logics . . . . . . . . . . . . . . . . . 61
Ulrike Sattler and
Moshe Y. Vardi The Hybrid $\mu$-Calculus . . . . . . . 76
Franz Baader and
Stephan Tobies The Inverse Method Implements the
Automata Approach for Modal
Satisfiability . . . . . . . . . . . . . 92
Regimantas Pliuskevicius Deduction-Based Decision Procedure for a
Clausal Miniscoped Fragment of FTL . . . 107
Carsten Lutz and
Holger Sturm and
Frank Wolter and
Michael Zakharyaschev Tableaux for Temporal Description Logic
with Constant Domains . . . . . . . . . 121
Serenella Cerrito and
Marta Cialdea Mayer Free-Variable Tableaux for
Constant-Domain Quantified Modal Logics
with Rigid and Non-rigid Designation . . 137
Andrea Formisano and
Eugenio G. Omodeo and
Marco Temperini Instructing Equational Set-Reasoning
with Otter . . . . . . . . . . . . . . . 152
Stefan Szeider NP-Completeness of Refutability by
Literal-Once Resolution . . . . . . . . 168
Reiner Hähnle and
Neil V. Murray and
Erik Rosenthal Ordered Resolution vs. Connection Graph
Resolution . . . . . . . . . . . . . . . 182
Jürgen Stuber A Model-Based Completeness Proof of
Extended Narrowing and Resolution . . . 195
Hans de Nivelle and
Ian Pratt-Hartmann A Resolution-Based Decision Procedure
for the Two-Variable Fragment with
Equality . . . . . . . . . . . . . . . . 211
Uwe Waldmann Superposition and Chaining for Totally
Ordered Divisible Abelian Groups
(Extended Abstract) . . . . . . . . . . 226
Harald Ganzinger and
Robert Nieuwenhuis and
Pilar Nivela Context Trees . . . . . . . . . . . . . 242
Robert Nieuwenhuis and
Thomas Hillenbrand and
Alexandre Riazanov and
Andrei Voronkov On the Evaluation of Indexing Techniques
for Theorem Proving . . . . . . . . . . 257
Sylvie Doutre and
Jérôme Mengin Preferred Extensions of Argumentation
Frameworks: Query Answering and
Computation . . . . . . . . . . . . . . 272
Pablo A. Armelín and
David J. Pym Bunched Logic Programming (Extended
Abstract) . . . . . . . . . . . . . . . 289
Kewen Wang A Top-Down Procedure for Disjunctive
Well-Founded Semantics . . . . . . . . . 305
Michael Beeson A Second-Order Theorem Prover Applied to
Circumscription . . . . . . . . . . . . 318
Christian Anger and
Kathrin Konczak and
Thomas Linke NoMoRe: A System for Non-monotonic
Reasoning with Logic Programs under
Answer Set Semantics . . . . . . . . . . 325
Marco Benedetti Conditional Pure Literal Graphs . . . . 331
Enrico Giunchiglia and
Massimo Maratea and
Armando Tacchella and
Davide Zambonin Evaluating Search Heuristics and
Optimization Techniques in Propositional
Satisfiability . . . . . . . . . . . . . 347
Enrico Giunchiglia and
Massimo Narizzano and
Armando Tacchella \sc QuBE: A System for Deciding
Quantified Boolean Formulas
Satisfiability . . . . . . . . . . . . . 364--369
Stephan Schulz System Abstract: E 0.61 . . . . . . . . 370
Alexandre Riazanov and
Andrei Voronkov Vampire 1.1 (System Description) . . . . 376
Reinhold Letz and
Gernot Stenz DCTP --- A Disconnection Calculus
Theorem Prover --- System Abstract . . . 381
Marko Luther More On Implicit Syntax . . . . . . . . 386
Brigitte Pientka Termination and Reduction Checking for
Higher-Order Logic Programs . . . . . . 401
Armin Fiedler \em P.rex: An Interactive Proof
Explainer . . . . . . . . . . . . . . . 416--420
Stephan Schmitt and
Lori Lorigo and
Christoph Kreitz and
Aleksey Nogin JProver: Integrating Connection-Based
Theorem Proving into Interactive Proof
Assistants . . . . . . . . . . . . . . . 421
Gilles Audemard and
Laurent Henocque The eXtended Least Number Heuristic . . 427
Kahlil Hodgson and
John Slaney System Description: SCOTT-5 . . . . . . 443
Maria Paola Bonacina Combination of Distributed Search and
Multi-search in Peers-mcd.d . . . . . . 448
Luis Fariñas del Cerro and
David Fauthoux and
Olivier Gasquet and
Andreas Herzig and
Dominique Longin and
Fabio Massacci Lotrec: The Generic Tableau Prover for
Modal and Description Logics . . . . . . 453
Jens Happe The \sc ModProf Theorem Prover . . . . . 459
Peter F. Patel-Schneider and
Roberto Sebastiani A New System and Methodology for
Generating Random Modal Formulae . . . . 464
Jürgen Giesl and
Deepak Kapur Decidable Classes of Inductive Theorems 469
Xavier Urbain Automated Incremental Termination Proofs
for Hierarchically Defined Term
Rewriting Systems . . . . . . . . . . . 485
Christopher Lynch and
Barbara Morawska Decidability and Complexity of Finitely
Closable Linear Equational Theories . . 499
Harald Ganzinger and
David McAllester A New Meta-complexity Theorem for
Bottom-Up Logic Programs . . . . . . . . 514
Arnon Avron and
Iddo Lev Canonical Propositional Gentzen-Type
Systems . . . . . . . . . . . . . . . . 529
Martin Giese Incremental Closure of Free Variable
Tableaux . . . . . . . . . . . . . . . . 545
Uwe Egly and
Stephan Schmitt Deriving Modular Programs from Short
Proofs . . . . . . . . . . . . . . . . . 561
Nicolas Peltier A General Method for Using
Schematizations in Automated Deduction 578
Aart Middeldorp Approximating Dependency Graphs Using
Tree Automata Techniques . . . . . . . . 593
Bernard Boigelot and
Sébastien Jodogne and
Pierre Wolper On the Use of Weak Automata for Deciding
Linear Arithmetic with Integer and Real
Variables . . . . . . . . . . . . . . . 611
Bernhard Beckert and
Steffen Schlager A Sequent Calculus for First-Order
Dynamic Logic with Trace Modalities . . 626
Wolfgang Reif and
G. Schellhorn and
Andreas Thums Flaw Detection in Formal Specifications 642
Jürgen Avenhaus and
Bernd Löchner CCE: Testing Ground Joinability . . . . 658
Alessandro Armando and
Luca Compagna and
Silvio Ranise System Description: RDL: Rewrite and
Decision Procedure Laboratory . . . . . 663
Joshua S. Hodas and
Naoyuki Tamura lolliCop --- A Linear Logic
Implementation of a Lean
Connection-Method Theorem Prover for
First-Order Classical Logic . . . . . . 670
Dominique Pastre \sc Muscadet 2.3: A Knowledge-Based
Theorem Prover Based on Natural
Deduction . . . . . . . . . . . . . . . 685--689
Jörg Lücke Hilberticus --- A Tool Deciding an
Elementary Sublanguage of Set Theory . . 690
D. Larchey-Wendling and
D. Méry and
Didier Galmiche STRIP: Structural Sharing for Efficient
Proof-Search . . . . . . . . . . . . . . 696
Volker Haarslev and
Ralf Möller RACER System Description . . . . . . . . 701
Anonymous Author Index . . . . . . . . . . . . . . 707
O. Herreras and
J. M. Ibarz and
L. López-Aguado and
P. Varona Dendrites: The Last Generation Computers 1
E. Andreu and
R. Pomares and
B. Soria and
J. V. Sanchez-Andres Homogeneity in the Electrical Activity
Pattern as a Function of Intercellular
Coupling in Cell Networks . . . . . . . 14
Eduardo Sánchez and
Senén Barro and
Jorge Mariño and
Antonio Canedo A Realistic Computational Model of the
Local Circuitry of the Cuneate Nucleus 21
Ruggero Scorcioni and
Giorgio A. Ascoli Algorithmic Extraction of Morphological
Statistics from Electronic Archives of
Neuroanatomy . . . . . . . . . . . . . . 30
José Mira and
Ana E. Delgado What Can We Compute with Lateral
Inhibition Circuits? . . . . . . . . . . 38
Jianfeng Feng Neuronal Models with Current Inputs . . 47
J. M. Ferrández and
M. Bongard and
F. García de Quirós and
J. A. Bolea and
J. Ammermüller and
R. A. Normann and
E. Fernández Decoding the Population Responses of
Retinal Ganglions Cells Using
Information Theory . . . . . . . . . . . 55
Roustem Miftakov and
James Christensen Numerical Study of Effects of
Co-transmission by Substance $P$ and
Acetylcholine on Synaptic Plasticity in
Myenteric Neurons . . . . . . . . . . . 63
Reza Rajimehr and
Leila Montaser Kouhsari Neurobiological Modeling of Bursting
Response During Visual Attention . . . . 72
Konstantin A. Saltykov and
Igor A. Shevelev Sensitivity of Simulated Striate Neurons
to Cross-Like Stimuli Based on
Disinhibitory Mechanism . . . . . . . . 81
Santi Chillemi and
Michele Barbi and
Angelo Di Garbo Synchronisation Mechanisms in Neuronal
Networks . . . . . . . . . . . . . . . . 87
Tino Lourens and
Hiroshi G. Okuno and
Hiroaki Kitano Detection of Oriented Repetitive
Alternating Patterns in Color Images (A
Computational Model of Monkey Grating
Cells) . . . . . . . . . . . . . . . . . 95
Ernesto Pereda and
Joydeep Bhattacharya Synchronization in Brain --- Assessment
by Electroencephalographic Signals . . . 108
Manuel A. Sánchez-Montañés Strategies for the Optimization of Large
Scale Networks of Integrate and Fire
Neurons . . . . . . . . . . . . . . . . 117
Tetsuto Minami and
Toshio Inui A Neural Network Model of Working Memory
(Processing of ``What'' and ``Where''
Information) . . . . . . . . . . . . . . 126
Mehdi N. Shirazi Orientation Selectivity of Intracortical
Inhibitory Cells in the Striate Visual
Cortex: A Computational Theory and a
Neural Circuitry . . . . . . . . . . . . 134
Claudio Moraga and
Luis Salinas Interpreting Neural Networks in the
Frame of the Logic of Lukasiewicz . . . 142
Isabel Gonzalo and
Miguel A. Porras Time-Dispersive Effects in the J.
Gonzalo's Research on Cerebral Dynamics 150
Pedro Rodrigues and
J. Félix Costa and
Hava T. Siegelmann Verifying Properties of Neural Networks 158
J. Andrés Berzal and
Pedro J. Zufiria Algorithms and Implementation
Architectures for Hebbian Neural
Networks . . . . . . . . . . . . . . . . 166
Flávio J. de Souza and
Marley Maria R. Vellasco and
Marco Aurélio C. Pacheco The Hierarchical Neuro-Fuzzy BSP Model:
An Application in Electric Load
Forecasting . . . . . . . . . . . . . . 174
J. Barahona da Fonseca and
I. Barahona da Fonseca and
C. P. Suárez Araujo and
J. Simões da Fonseca The Chemical Metaphor in Neural
Computation . . . . . . . . . . . . . . 184
Tai-Wen Yue and
Suchen Chiang The General Neural-Network Paradigm for
Visual Cryptography . . . . . . . . . . 196
J. Santos and
R. J. Duro $\Pi$-DTB, Discrete Time Backpropagation
with Product Units . . . . . . . . . . . 207
Shunji Satoh and
Shogo Miyake and
Hirotomo Aso Neocognitron-Type Network for
Recognizing Rotated and Shifted Patterns
with Reduction of Resources . . . . . . 215
J. David Buldain Classification with Synaptic Radial
Basis Units . . . . . . . . . . . . . . 223
Naoyuki Tsuruta and
Yuichiro Yoshiki and
Tarek El. Tobely A Randomized Hypercolumn Model and
Gesture Recognition . . . . . . . . . . 235
Sergio Negri and
Lluís A. Belanche Heterogeneous Kohonen Networks . . . . . 243
J. David Buldain Divided-Data Analysis in a Financial
Case Classification with Multi-dendritic
Neural Networks . . . . . . . . . . . . 253
Ajith Abraham Neuro Fuzzy Systems: Sate-of-the-Art
Modeling Techniques . . . . . . . . . . 269
Rudy Setiono Generating Linear Regression Rules from
Neural Networks Using Local Least
Squares Approximation . . . . . . . . . 277
A. Blanco and
M. Delgado and
M. C. Pegalajar and
I. Requena Speech Recognition Using Fuzzy
Second-Order Recurrent Neural Networks 285
Enrique Castillo and
Oscar Fontenla-Romero and
Bertha Guijarro-Berdiñas and
Amparo Alonso-Betanzos A Measure of Noise Immunity for
Functional Networks . . . . . . . . . . 293
Oscar Fontenla Romero and
Bertha Guijarro Berdiñas and
Amparo Alonso Betanzos A Functional-Neural Network for
Post-Nonlinear Independent Component
Analysis . . . . . . . . . . . . . . . . 301
A. S. Cofiño and
José M. Gutiérrez Optimal Modular Feedforward Neural Nets
Based on Functional Network
Architectures . . . . . . . . . . . . . 308
Enrique Castillo and
Ali S. Hadi and
Beatriz Lacruz Optimal Transformations in Multiple
Linear Regression Using Functional
Networks . . . . . . . . . . . . . . . . 316
Shun-ichi Amari and
Tomoko Ozeki and
Hyeyoung Park Generalization Error and Training Error
at Singularities of Multilayer
Perceptrons . . . . . . . . . . . . . . 325
Vladimir Chinarov and
Michael Menzinger Bistable Gradient Neural Networks: Their
Computational Properties . . . . . . . . 333
S. Snyders and
C. W. Omlin Inductive Bias in Recurrent Neural
Networks . . . . . . . . . . . . . . . . 339
Marcelino Lázaro and
Ignacio Santamaría and
Carlos Pantaleón Accelerating the Convergence of EM-Based
Training Algorithms for RBF Networks . . 347
J. A. Gomez-Ruiz and
J. Muñoz-Perez and
E. Lopez-Rubio and
M. A. Garcia-Bernal Expansive and Competitive Neural
Networks . . . . . . . . . . . . . . . . 355
Joern Fischer and
Ralph Breithaupt and
Mathias Bode Fast Function Approximation with
Hierarchical Neural Networks and Their
Application to a Reinforcement Learning
Agent . . . . . . . . . . . . . . . . . 363
Hiroyuki Okada and
Hiroshi Yamakawa and
Takashi Omori Two Dimensional Evaluation Reinforcement
Learning . . . . . . . . . . . . . . . . 370
Hiroshi Yamakawa and
Yuji Miyamoto and
Hiroyuki Okada Comparing the Learning Processes of
Cognitive Distance Learning and Search
Based Agent . . . . . . . . . . . . . . 378
A. P. Engelbrecht Selective Learning for Multilayer
Feedforward Neural Networks . . . . . . 386
J. Molina Vilaplana and
J. Feliú Batlle and
J. López Coronado Connectionist Models of Cortico-Basal
Ganglia Adaptive Neural Networks During
Learning of Motor Sequential Procedures 394
Hyeyoung Park Practical Consideration on
Generalization Property of Natural
Gradient Learning . . . . . . . . . . . 402
Ganesh Arulampalam and
Abdesselam Bouzerdoum Novel Training Algorithm Based on
Quadratic Optimisation Using Neural
Networks . . . . . . . . . . . . . . . . 410
Jianfeng Feng Non-symmetric Support Vector Machines 418
José R. Dorronsoro and
Ana González and
Carlos Santa Cruz Natural Gradient Learning in NLDA
Networks . . . . . . . . . . . . . . . . 427
Iuri Wickert and
Felipe M. G. França AUTOWISARD: Unsupervised Modes for the
WISARD . . . . . . . . . . . . . . . . . 435
Gordon Milligan and
Michael K. Weir and
Jonathan P. Lewis Neural Steering: Diffcult and Impossible
Sequential Problems for Gradient Descent 442
Jong-Min Lee and
Dae-Jin Kim and
In-Young Kim and
Sun I. Kim Analysis of Scaling Exponents of Waken
and Sleeping Stage in EEG . . . . . . . 450
Xavier Blasco and
Miguel Martínez and
Juan Senent and
Javier Sanchis Model Based Predictive Control Using
Genetic Algorithms. Application to
Greenhouses Climate Control . . . . . . 457
X. Blasco and
J. M. Herrero and
M. Martínez and
J. Senent Nonlinear Parametric Model
Identification with Genetic Algorithms.
Application to a Thermal Process . . . . 466
Carlos Cotta and
José M. Troya A Comparison of Several Evolutionary
Heuristics for the Frequency Assignment
Problem . . . . . . . . . . . . . . . . 474
Horacio M. González Velasco and
Carlos J. García Orellana and
Miguel Macías Macías and
M. Isabel Acevedo Sotoca GA Techniques Applied to Contour Search
in Images of Bovine Livestock . . . . . 482
F. B. Rodriguez and
P. Varona and
R. Huerta and
M. I. Rabinovich and
Henry D. I. Abarbanel Richer Network Dynamics of Intrinsically
Non-regular Neurons Measured through
Mutual Information . . . . . . . . . . . 490
J. González and
I. Rojas and
H. Pomares and
J. Ortega RBF Neural Networks, Multiobjective
Optimization and Time Series Forecasting 498
V. M. Rivas and
P. A. Castillo and
J. J. Merelo Evolving RBF Neural Networks . . . . . . 506
G. Gutiérrez and
P. Isasi and
J. M. Molina and
A. Sanchís and
I. M. Galván Evolutionary Cellular Configurations for
Designing Feed-Forward Neural Networks
Architectures . . . . . . . . . . . . . 514
Enrique Mérida and
José Muñoz and
Rafaela Benítez A Recurrent Multivalued Neural Network
for the $N$-Queens Problem . . . . . . . 522
Héctor Pomares and
Ignacio Rojas and
Jesús González and
Miguel Damas A Novel Approach to Self-Adaptation of
Neuro-fuzzy Controllers in Real Time . . 530
J. González and
I. Rojas and
H. Pomares and
M. Salmerón Expert Mutation Operators for the
Evolution of Radial Basis Function
Neural Networks . . . . . . . . . . . . 538
Emilio Del Moral Hernandez Studying Neural Networks of Bifurcating
Recursive Processing Elements ---
Quantitative Methods for Architecture
Design and Performance Analysis . . . . 546
Valery Tereshko Topology-Preserving Elastic Nets . . . . 554
Mikiya Oota and
Naohiro Ishii and
Kouichiro Yamauchi and
Mayumi Nakamura Optimization with Linear Constraints in
the Neural Network . . . . . . . . . . . 561
A. J. Rivera and
J. Ortega and
I. Rojas and
A. Prieto Optimizing RBF Networks with
Cooperative/Competitive Evolution of
Units and Fuzzy Rules . . . . . . . . . 570
Jose D. Piñeiro and
Roberto L. Marichal and
Lorenzo Moreno and
Jose F. Sigut and
Evelio J. González Study of Chaos in a Simple Discrete
Recurrence Neural Network . . . . . . . 579
Habiba Drias Genetic Algorithm versus Scatter Search
and Solving Hard MAX--W--SAT Problems 586
Michael Affenzeller A New Approach to Evolutionary
Computation: Segregative Genetic
Algorithms (SEGA) . . . . . . . . . . . 594
Nadia Jacoby Evolution of Firms in Complex Worlds
Generalized NK Models . . . . . . . . . 602
Santiago Garrido and
Luis Moreno Learning Adaptive Parameters with
Restricted Genetic Optimization Method 612
Juan Castellanos and
Carlos Martín-Vide and
Victor Mitrana and
Jose M. Sempere Solving NP-Complete Problems With
Networks of Evolutionary Processors . . 621
G. Romero and
P. A. Castillo and
J. J. Merelo and
A. Prieto Using SOM for Neural Network
Visualization . . . . . . . . . . . . . 629
F. Fessant and
P. Aknin and
L. Oukhellou and
S. Midenet Comparison of Supervised Self-Organizing
Maps Using Euclidian or Mahalanobis
Distance in Classification Context . . . 637
N. García-Pedrajas and
E. Sanz-Tapia and
D. Ortiz-Boyer and
C. Hervás-Martínez Introducing Multi-objective Optimization
in Cooperative Coevolution of Neural
Networks . . . . . . . . . . . . . . . . 645
Robert Burbidge and
Matthew Trotter and
Bernard Buxton and
Sean Holden STAR --- Sparsity through Automated
Rejection . . . . . . . . . . . . . . . 653
Cecilio Angulo and
Andreu Catal\`a Ordinal Regression with $K$-SVCR
Machines . . . . . . . . . . . . . . . . 661
Sergio Bermejo and
Joan Cabestany Large Margin Nearest Neighbor
Classifiers . . . . . . . . . . . . . . 669
Winfried A. Fellenz Reduced Support Vector Selection by
Linear Programs . . . . . . . . . . . . 677
Hilario Gómez-Moreno and
Saturnino Maldonado-Bascón and
Francisco López-Ferreras Edge Detection in Noisy Images Using the
Support Vector Machines . . . . . . . . 685
Camino R. Vela and
Ramiro Varela and
Jorge Puente Initialization in Genetic Algorithms for
Constraint Satisfaction Problems . . . . 693
Jorge Muruzábal Evolving High-Posterior Self-Organizing
Maps . . . . . . . . . . . . . . . . . . 701
Rafael Nogueras and
Carlos Cotta Using Statistical Techniques to Predict
GA Performance . . . . . . . . . . . . . 709
Julian Dorado and
Antonino Santos and
Juan R. Rabuñal Multilevel Genetic Algorithm for the
Complete Development of ANN . . . . . . 717
A. M. López and
H. López and
L. Sánchez Graph Based GP Applied to Dynamical
Systems Modeling . . . . . . . . . . . . 725
Terence Kwok and
Kate A. Smith Nonlinear System Dynamics in the
Normalisation Process of a
Self-Organising Neural Network for
Combinatorial Optimisation . . . . . . . 733
Kate A. Smith and
Jatinder N. D. Gupta Continuous Function Optimisation via
Gradient Descent on a Neural Network
Approximation Function . . . . . . . . . 741
Pablo Cortés and
Fernando Guerrero and
David Canca and
José M. García An Evolutionary Algorithm for the Design
of Hybrid Fiber Optic-Coaxial Cable
Networks in Small Urban Areas . . . . . 749
Sa Li and
Lipo Wang Channel Assignment for Mobile
Communications Using Stochastic Chaotic
Simulated Annealing . . . . . . . . . . 757
Igor Aleksander and
Helen Morton and
Barry Dunmall Seeing is Believing: Depictive
Neuromodeling of Visual Awareness . . . 765
José Mira and
Rafael Martínez and
José Ramón Álvarez and
Ana E. Delgado DIAGEN-WebDB: A Connectionist Approach
to Medical Knowledge Representation and
Inference . . . . . . . . . . . . . . . 772
Janet Aisbett and
Greg Gibbon Conceptual Spaces as Voltage Maps . . . 783
Guido Bologna Determining Hyper-planes to Generate
Symbolic Rules . . . . . . . . . . . . . 791
Agapito Ledezma and
Antonio Berlanga and
Ricardo Aler Automatic Symbolic Modelling of
Co-evolutionarily Learned Robot Skills 799
J. G. Wallace and
K. Bluff ANNs and the Neural Basis for General
Intelligence . . . . . . . . . . . . . . 807
Juan Carlos Herrero Knowledge and Intelligence . . . . . . . 814
Iara M. O. Vilela and
Priscila M. V. Lima Conjecturing the Cognitive Plausibility
of an ANN Theorem-Prover . . . . . . . . 822
Anonymous Author Index . . . . . . . . . . . . . . 831
Daniel Mange and
André Stauffer and
Gianluca Tempesti and
Christof Teuscher From Embryonics to POEtic Machines . . . 1
L. M. Reyneri Design and Codesign of Neuro-Fuzzy
Hardware . . . . . . . . . . . . . . . . 14
Vincent Douence and
S. Renaud-Le Masson and
S. Sa\"\ighi and
G. Le Masson A Field-Programmable Conductance Array
IC for Biological Neurons Modeling . . . 31
Hector Fabio Restrepo and
Daniel Mange A $2$-by-$n$ Hybrid Cellular Automaton
Implementation Using a Bio-Inspired FPGA 39
J. I. Mulero and
J. Feliú Batlle and
J. López Coronado Parametric Neurocontroller for
Positioning of an Anthropomorphic Finger
Based on an Oponent Driven-Tendon
Transmission System . . . . . . . . . . 47
Emilia I. Barakova An Integration Principle for Multimodal
Sensor Data Based on Temporal Coherence
of Self-Organized Patterns . . . . . . . 55
Luis F. Lago-Fernández and
Gustavo Deco Simultaneous Parallel Processing of
Object and Position by Temporal
Correlation . . . . . . . . . . . . . . 64
Carlos J. García Orellana and
Ramón Gallardo Caballero and
Horacio M. González Velasco and
Francisco J. López Aligué NeuSim: A Modular Neural Networks
Simulator for Beowulf Clusters . . . . . 72
Paul Bourret and
Bruno Pelletier Curved Kernel Neural Network for
Functions Approximation . . . . . . . . 80
Elisa Guerrero Vázquez and
Andrés Yañez Escolano and
Pedro Galindo Riaño and
Joaquín Pizarro Junquera Repeated Measures Multiple Comparison
Procedures Applied to Model Selection in
Neural Networks . . . . . . . . . . . . 88
Patricio García Báez and
Carmen Paz Suárez Araujo and
Pablo Fernández López Extension of HUMANN for Dealing with
Noise and with Classes of Different
Shape and Size: A Parametric Study . . . 96
Evelio J. González and
Alberto F. Hamilton and
Lorenzo Moreno and
José F. Sigut and
Roberto L. Marichal Evenet 2000: Designing and Training
Arbitrary Neural Networks in Java . . . 104
Diego Andina and
José L. Sanz-González Neyman-Pearson Neural Detectors . . . . 111
Patrick Rousset and
Christiane Guinot Distance between Kohonen Classes
Visualization Tool to Use SOM in Data
Set Analysis and Representation . . . . 119
Spyros Raptis and
Spyros Tzafestas and
Hermione Karagianni Optimal Genetic Representation of
Complete Strictly-Layered Feedforward
Neural Networks . . . . . . . . . . . . 127
J. L. Bernier and
J. González and
A. Cañas and
J. Ortega Assessing the Noise Immunity of Radial
Basis Function Neural Networks . . . . . 136
Fco. Javier Salcedo and
Julio Ortega and
Alberto Prieto Analyzing Boltzmann Machine Parameters
for Fast Convergence . . . . . . . . . . 144
Joaquín Pizarro Junquera and
Pedro Galindo Riaño and
Elisa Guerrero Vázquez and
Andrés Yañez Escolano A Penalization Criterion Based on Noise
Behaviour for Model Selection . . . . . 152
M. A. Patricio Guisado and
D. Maravall Gómez-Allende Wood Texture Analysis by Combining the
Connected Elements Histogram and
Artificial Neural Networks . . . . . . . 160
Ezequiel López-Rubio and
José Muñoz-Pérez and
José Antonio Gómez-Ruiz Dynamic Topology Networks for Colour
Image Compression . . . . . . . . . . . 168
Taichi Hayasaka and
Eiichi Ohnishi and
Shigeki Nakauchi and
Shiro Usui Analysis on the Viewpoint Dependency in
$3$-D Object Recognition by Support
Vector Machines . . . . . . . . . . . . 176
Miguel Macías Macías and
F. Javier López Aligué and
Antonio Serrano Pérez and
Antonio Astilleros Vivas A Comparative Study of Two Neural Models
for Cloud Screening of Iberian Peninsula
Meteosat Images . . . . . . . . . . . . 184
K. Toscano-Medina and
G. Sanchez-Perez and
M. Nakano-Miyatake and
H. Perez-Meana A Growing Cell Neural Network Structure
for Off-Line Signature Recognition . . . 192
Kurosh Madani and
Ghislain de Trémiolles and
Pascal Tannhof ZISC-036 Neuro-processor Based Image
Processing . . . . . . . . . . . . . . . 200
P. Martínez and
P. L. Aguilar and
R. M. Pérez and
M. Linaje and
J. C. Preciado and
A. Plaza Self-Organizing Map for Hyperspectral
Image Analysis . . . . . . . . . . . . . 208
Igor Aizenberg and
Ekaterina Myasnikova and
Maria Samsonova Classification of the Images of Gene
Expression Patterns Using Neural
Networks Based on Multi-valued Neurons 219
Souheila Ghennam and
Khier Benmahammed Image Restoration Using Neural Networks 227
Pascual Campoy-Cervera and
David F. Muñoz-García and
Daniel Peña and
José A. Calderón-Martínez Automatic Generation of Digital Filters
by NN Based Learning: An Application on
Paper Pulp Inspection . . . . . . . . . 235
Miguel A. Jaramillo and
J. Álvaro Fernández and
José M. Montanero and
Fernando Zayas Image Quality Enhancement for Liquid
Bridge Parameter Estimation with DTCNN 246
Igor Aizenberg and
Naum Aizenberg and
Constantine Butakoff Neural Network Based on Multi-valued
Neurons: Application in Image
Recognition, Type of Blur and Blur
Parameters Identification . . . . . . . 254
Pedro Isasi and
Manuel Velasco and
Javier Segovia Analyzing Wavelets Components to Perform
Face Recognition . . . . . . . . . . . . 262
Nicolás J. Medrano-Marqués and
Bonifacio Martín-del-Brío Man-Machine Voice Interface Using a
Commercially Available Neural Chip . . . 271
Gustavo Hernández Ábrego and
Israel Torres Sánchez Partial Classification in Speech
Recognition Verification . . . . . . . . 279
Eric Simancas-Acevedo and
Akira Kurematsu and
Mariko Nakano Miyatake and
Hector Perez-Meana Speaker Recognition Using Gaussian
Mixtures Models . . . . . . . . . . . . 287
Ch. Ziegaus and
E. W. Lang A Comparative Study of ICA Filter
Structures Learnt from Natural and Urban
Images . . . . . . . . . . . . . . . . . 295
Kenji Suzuki and
Isao Horiba and
Noboru Sugie Neural Edge Detector --- A Good Mimi