A Vision System for Autonomous Ground Vehicles with a Wide Range of Maneuvering Capabilities / R. Gregor ; M. Lützeler ; M. Pellkofer ; K.-H. Siedersberger ; E.D. Dickmanns
A Framework for Generic State Estimation in Computer Vision Applications / Cristian Sminchisescu ; Alexandru Telea
MOBSY: Integration of Vision and Dialogue in Service Robots / Matthias Zobel ; Joachim Denzler ; Benno Heigl ; Elmar Nöth ; Dietrich Paulus ; Jochen Schmidt ; Georg Stemmer
Tracking
A Handwriting Recognition System Based on Visual Input / Markus Wienecke ; Gernot A. Fink ; Gerhard Sagerer
Integration of Wireless Gesture Tracking, Object Tracking, and 3D Reconstruction in the Perceptive Workbench / Bastian Leibe ; David Minnen ; Justin Weeks ; Thad Starner
Towards Robust Multi-cue Integration for Visual Tracking / Martin Spengler ; Bernt Schiele
Autonomous Driving
Real Time Visual Cues Extraction for Monitoring Driver Vigilance / Qiang Ji ; Xiaojie Yang
Radar and Vision Data Fusion for Hybrid Adaptive Cruise Control on Highways / U. Hofmann ; A. Rieder
Combining EMS-Vision and Horopter Stereo for Obstacle Avoidance of
Autonomous Vehicles / M. Lutzeler ; R. Mandelbaum ; L. Bogoni
Real-Time Vision Modules
The CardEye: A Trinocular Active Vision System / Elsayed E. Hemayed ; Moumen T. Ahmed ; Aly A. Farag
RPV-II: A Stream-Based Real-Time Parallel Vision System and Its Application to Real-Time Volume Reconstruction / Daisaku Arita ; Rin-ichiro Taniguchi
A Real-Time Vision Module for Interactive Perceptual Agents / Bruce A. Maxwell ; Nathaniel Fairfield ; Nikolas Johnson ; Pukar Malla ; Paul Dickson ; Suor Kim
A Fault-Tolerant Distributed Vision System Architecture for Object Tracking in a Smart Room / Deepak R. Karuppiah ; Zhigang Zhu ; Prashant Shenoy ; Edward M. Riseman
Identification of Shapes Using a Nonlinear Dynamic System / S. Hoque ; S. Kazadi ; A. Li ; W. Chen ; E. Sadun
Adapting Object Recognition across Domains: A Demonstration / Ulrike Ahlrichs
Exploration and Navigation
A System to Navigate a Robot into a Ship Structure / Markus Vincze ; Minu Ayromlou ; Carlos Beltran ; Antonios Gasteratos ; Simon Hoffgaard ; Ole Madsen ; Wolfgang Ponweiser ; Michael Zillich
Reconstructing Textured CAD Model of Urban Environment Using Vehicle-Borne Laser Range Scanners and Line Cameras / Huijing Zhao ; Ryosuke Shibasaki
A Stereo Vision System for Support of Planetary Surface Exploration / Maarten Vergauwen ; Marc Pollefeys ; Luc Van Gool
Author Index
Architectures for Computer Vision Systems
A Vision System for Autonomous Ground Vehicles with a Wide Range of Maneuvering Capabilities / R. Gregor ; M. Lützeler ; M. Pellkofer ; K.-H. Siedersberger ; E.D. Dickmanns
A Framework for Generic State Estimation in Computer Vision Applications / Cristian Sminchisescu ; Alexandru Telea
Grid Application Design Using Software Components and Web Services / Dennis Gannon
Object Middleware
Design and Implementation of a CORBA Commodity Grid Kit / Snigdha Verma ; Manish Parashar ; Jarek Gawor ; Gregor von Laszewski
Towards High Performance CORBA and MPI Middlewares for Grid Computing / Alexandre Denis ; Christian Perez ; Thierry Priol
An Integrated Grid Environment for Component Applications / Nathalie Furmento ; Anthony Mayer ; Stephen McGough ; Steven Newhouse ; Tony Field ; John Darlington
Resource Discovery and Management
KNOWLEDGE GRID: High Performance Knowledge Discovery on the Grid / Mario Cannataro ; Domenico Talia ; Paolo Trunio
On Fully Decentralized Resource Discovery in Grid Environments / Adriana Iamnitchi ; Ian Foster
An Adaptive Service Grid Architecture Using Dynamic Replica Management / Byoung-Dai Lee ; Jon B. Weissman
Identifying Dynamic Replication Strategies for a High-Performance Data Grid / Kavitha Ranganathan
Scheduling
Ensemble Scheduling: Resource Co-Allocation on the Computational Grid / Pramod Srinivasan
JobQueue: A Computational Grid-Wide Queuing System / Dimitrios Katramatos ; Marty Humphrey ; Andrew Grimshaw ; Steve Chapin
A Scheduling Model for Grid Computing Systems / Anuruag Sarungi ; Alok Shriram ; Avinash Shankar
Grid Architecture and Policies
Exposed Vs. Encapsulated Approaches to Grid Service Architecture / Micah Beck ; Terry Moore ; James S. Plank
A Methodology for Account Management in Grid Computing EnvironmentS / Thomas J. Hacker ; Brian D. Athey
Policy Engine: A Framework for Authorization, Accounting Policy Specification and Evaluation in Grids / Babu Sundaram ; Barbara M. Chapman
Performance and Practice
Performance Contracts: Predicting and Monitoring Grid Application Behavior / Frederik Vraalsem ; Ruth A. Aydt ; Celso L. Mendes ; Daniel A. Reed
Production-Level Distributed Parametric Study Capabilities for the Grid / Maurice Yarrow ; Karen M. McCann ; Edward Tejnil ; Adrian De Vivo
The DO Experiment Data Grid - SAM / Lee Lueking ; Luuri Loebel Carpenter ; Wyatt Merritt ; Carmenita Moore ; Ruth Pordes ; Iyor Terekhow ; Sinisa Veseli ; Matt Vranicar ; Steve White ; Vicky While
Author Index
Invited Presentation
Grid Application Design Using Software Components and Web Services / Dennis Gannon
The Non-existence of (3,1,2)-Conjugate Orthogonal Idempotent Latin Square of Order 10 / Olivier Dubois ; Gilles Dequen
Random 3-SAT and BDDs: The Plot Thickens Further / Alfonso San Miguel Aguirre ; Moshe Y. Vardi
Capturing Structure with Satisfiability / Ramón Béjar ; Alba Cabiscol ; Cèsar Fernàndez ; Felip Manyà ; Carla Gomes
Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT / Weixiong Zhang
Solving Non-binaryCSPs Using the Hidden Variable Encoding / Nikos Mamoulis ; Kostas Stergiou
A Filtering Algorithm for the Stretch Constraint / Gilles Pesant
Network Flow Problems in Constraint Programming / Alexander Bockmayr ; Nicolai Pisaruk ; Abderrahmane Aggoun
Pruning for the Minimum Constraint Familyand for the Number of Distinct Values Constraint Family / Nicolas Beldiceanu
A Constraint Programming Approach to the Stable Marriage Problem / Ian P. Gent ; Robert W. Irving ; David F. Manlove ; Patrick Prosser ; Barbara M. Smith
Components for State Restoration in Tree Search / Chiu Wo Choi ; Martin Henz ; Ka Boon Ng
Adaptive Constraint Handling with CHR in Java / Armin Wolf
Constraint-Based Verification of Client-Server Protocols / Giorgio Delzanno ; Tevfik Bultan
A Temporal Concurrent Constraint Programming Calculus / Catuscia Palamidessi ; Frank D. Valencia
Lower Bounds for Non-binaryConstraint Optimization Problems / Pedro Meseguer ; Javier Larrosa ; Martí Sánchez
New Lower Bounds of Constraint Violations for Over-Constrained Problems / Jean-Charles Régin ; Thierry Petit ; Christian Bessüère ; Jean-François Puget
A General Scheme for Multiple Lower Bound Computation in Constraint Optimization / Rina Dechter ; Kalev Kask
Solving Disjunctive Constraints for Interactive Graphical Applications / Kim Marriott ; Peter Moulder ; Peter J. Stuckey ; Alan Borning
Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint / Mats Carlsson
Non-overlapping Constraints between Convex Polytopes / Qi Guo ; Sven Thiel
Formal Models of Heavy-Tailed Behavior in Combinatorial Search / Hubie Chen ; Bart Selman
The Phase Transition of the Linear Inequalities Problem / Alessandro Armando ; Felice Peccia ; Silvio Ranise
In Search of a Phase Transition in the AC-Matching Problem / Phokion G. Kolaitis ; Thomas Raffill
Specific Filtering Algorithms for Over-Constrained Problems / Christian Bessière
Specializing Russian Doll Search
A CLP Approach to the Protein Side-Chain Placement Problem / Martin T. Swain ; Graham J.L. Kemp
Fast, Constraint-Based Threading of HP-Sequences to Hydrophobic Cores / RolfBackofen ; Sebastian Will
One Flip per Clock Cycle / Edgar Tan ; Roland Yap
Solving Constraints over Floating-Point Numbers / Claude Michel ; Michel Rueher ; Yahia Lebbah
Optimal Pruning in Parametric Differential Equations / Micha Janssen ; Pascal Van Hentenryck ; Yves Deville
Interaction of Constraint Programming and Local Search for Optimisation Problems / Francisco Azevedo ; Pedro Barahona
Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency / Hachemi Bennaceur ; Mohamed-Salah Affane
Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem / Assef Chmeiss ; Lakhdar Saïs
The Expressive Power of BinaryLinear Programming / Marco Cadoli
Constraint Generation via Automated TheoryFormation / Simon Colton ; Ian Miguel
The Traveling Tournament Problem Description and Benchmarks / Kelly Easton ; George Nemhauser ; Michael Trick
Deriving Explanations and Implications for Constraint Satisfaction Problems / Chavalit Likitvivatanavong ; Richard J. Wallace
Generating Tradeoffs for Interactive Constraint-Based Configuration / Barry O'Sullivan
Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells / Rafael M. Gasca ; Juan A. Ortega ; Miguel Toro
Composition Operators for Constraint Propagation: An Application to Choco / Laurent Granvilliers ; Eric Monfroy
Solving Boolean SatisfiabilityUsing Local Search Guided byUnit Clause Elimination / Edward A. Hirsch ; Arist Kojevnikov
GAC on Conjunctions of Constraints / George Katsirelos ; Fahiem Bacchus
Dual Models of Permutation Problems
Boosting Local Search with Artificial Ants / Christine Solnon
Fast Optimal Instruction Scheduling for Single-Issue Processors with ArbitraryLatencies / Peter van Beek ; Kent Wilken
Evaluation of Search Heuristics for Embedded System Scheduling Problems / Cecilia Ekelin ; Jan Jonsson
Interpreting SloppyStick Figures with Constraint-Based Subgraph Matching / Markus P.J. Fromherz ; James V. Mahoney
Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constrain Reasoning CommunityPoint of View / Gérard Verfaillie ; Michel Lemaître
A Dynamic Distributed Constraint Satisfaction Approach to Resource Allocation / Pragnesh Jay Modi ; Hyuckchul Jung ; Milind Tambe ; Wei-Min Shen ; Shriniwas Kulkarni
A Constraint Optimization Framework for Mapping a Digital Signal Processing Application onto a Parallel Architecture / Juliette Mattioli ; Nicolas Museux ; J. Jourdan ; Pierre Savéant ; Simon de Givry
iOpt: A Software Toolkit for Heuristic Search Methods / Christos Voudouris ; Raphael Dorne ; David Lesaint ; Anne Liret
AbsCon: A Prototype to Solve CSPs with Abstraction / Sylvain Merchez ; Christophe Lecoutre ; Frederic Boussemart
A Constraint Engine for Manufacturing Process Planning / József Váncza ; András Márkus
On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems / Amy M. Beckwith ; Berthe Y. Choueiry
Automatic Generation of Implied Clauses for SAT / Lyndon Drake
Verification of Infinite-State Systems by Specialization of CLP Programs / Fabio Fioravanti
PartiallyOrdered Constraint Optimization Problems / Marco Gavanelli
Translations for Comparing Soft Frameworks / Rosella Gennari
Counting Satisfiable k-CNF Formulas / Mitchell A. Harris
High-Level Modelling and Reformulation of Constraint Satisfaction Problems / Brahim Hnich
Distributed Constraint Satisfaction as a Computational Model of Negotiation via Argumentation
Aircraft Assignment Using Constraint Programming / Erik Kilborn
Labelling Heuristics for CSP Application Domains / Zeynep Kiziltan
Improving SAT Algorithms byUsing Search Pruning Techniques / Inês Lynce ; João Marques-Silva
Optimum Symmetry Breaking in CSPs Using Group Theory / Iain McDonald
Distributed Dynamic Backtracking / Arnold Maestre
Constraint Programming for Distributed Resource Allocation
Exploiting the CSP Structure byInterchangeability / Nicoleta Neagu
Constraint Processing Techniques for Model-Based Reasoning about Dynamic Systems / Andrea Panati
Distributed Constraint Satisfaction with Cooperating Asynchronous Solvers / Georg Ringwelski
Building Negative Reduced Cost Paths Using Constraint Programming / Louis-Martin Rousseau ; Michel Gendreau
An Incremental and Non-binaryCSP Solver: The Hyperpolyhedron Search Algorithm / Miguel A. Salido ; Federico Barber
Partial Stable Generated Models of Generalized Logic Programs with Constraints / Sibylle Schwarz
Heterogeneous Constraint Problems (An Outline of the Field of Work) / Frank Seelisch
Comparing SAT Encodings for Model Checking / Daniel Sheridan
Asynchronous Search for Numeric DisCSPs / Stefan &Scedilla;ab&abrave;u
Temporal Concurrent Constraint Programming
Author Index
Hybrid Benders Decomposition Algorithms in Constraint Logic Programming / Andrew Eremin ; Mark Wallace
Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming / Erlendur ; S. Thorsteinsson
Towards Inductive Constraint Solving / Slim Abdennadher ; Christophe Rigotti
Process BasedE-services / Amaia Lazcano ; Gustavo Alonso
Digital Rights Management - Dealmaker for E-business? / Stephan Heuser
Panel
E-services: The Next Wave of Internet-BasedApplications / Alejandro Buchmann
Trade / Markets
A New M-commerce Concept: m-Mall / Jaime GarcÆia-Reinoso ; Javier Vales-Alonso ; Francisco J. González-Castaño ; Luis Anido-Rifón ; Pedro S. RodrÆiguez-Hernández
Modules in Cardiac Modeling: Mechanics, Circulation, and Depolarization Wave / T. Arts ; P. Bovendeerd ; A. van der Toorn ; L. Geerts ; R. Kerckhoffs ; F. Prinzen
Anatomical Modeling / Session 1：
Geometrical Modeling of the Heart and Its Main Vessels / J.-L. Mari ; L. Astart ; J. Sequeira
Reconstructing 3D Boundary Element Heart Models from 2D Biplane Fluoroscopy / H. Veisterä ; J. Lötjönen
Introducing Spectral Estimation for Boundary Detection in Echographic Radiofrequency Images / I. Dydenko ; D. Friboulet ; I.E. Magnin
Geometrical Modelling of the Fibre Organization in the Human Left Ventricle / A. Mourad ; L. Biard ; D. Caillerie ; P.-S. Jouk ; A. Raoult ; N. Szafran ; Y. Usson
Challenges in Modelling Human HeartÆs Total Excitation / B.M. Horá&ccyron;ek ; K. Simelius ; R. Hren ; J. Nenonen
Motion and Deformation / Session 2：
Two-Dimensional Ultrasonic Strain Rate Measurement of the Human Heart in Vivo / J. D'hooge ; F. Jamal ; B. Bijnens ; J. Thoen ; F. Van de Werf ; G.R. Sutherland ; P. Suetens
Deformation Field Estimation for the Cardiac Wall Using Doppler Tissue Imaging / V. Moreau ; L.D. Cohen ; D. Pellerin
A New Kinetic Modeling Scheme for the Human Left Ventricle Wall Motion with MR-Tagging Imaging / C.F. Allouche ; S. Makam ; N. Ayache ; H. Delingette
Integrated Quantitative Analysis of Tagged Magnetic Resonance Images / P. Clarysse ; P. Croisille ; L. Bracoud
Measurement of Ventricular Wall Motion, Epicardial Electrical Mapping, and Myocardial Fiber Angles in the Same Heart / E. McVeigh ; O. Faris ; D. Ennis ; P. Helm ; F. Evans
Functional Imaging / Session 3：
A 3-D Model-Based Approach for the PET-Functional and MR-Anatomical Cardiac Imaging Data Fusion / T. Mäkelä ; Q.-C. Pham ; K. Lauerma ; H. Hänninen ; J. Knuuti ; T. Katila
3D Regularisation and Segmentation of Factor Volumes to Process PET H2 15O Myocardial Perfusion Studies / F. Frouin ; P. Boubacar ; V. Frouin ; A. De Cesare ; A. Todd-Pokropek ; P. Merlet ; A. Herment
In Vivo Assessment of Rat Hearts with and without Myocardial Infarction by Cine NMR - Comparison of the NMR Method to Invasive Techniques and Application to Intervention Studies / M. Nahrendorf ; K.-H. Hiller ; K. Hu ; C. Waller ; F. Wiesmann ; J. Ruff ; G. Ertl ; A. Haase ; W.R. Bauer
Dempster Shafer Approach for High Level Data Fusion Applied to the Assessment of Myocardial Viability / C. Muller ; M. Rombaut ; M. Janier
Experimental and Computational Modeling of Cardiac Electromechanical Coupling / A.D. McCulloch ; D. Sung ; M.E. Thomas ; A. Michailova
Towards Electromechanical Modeling / Session 4：
Towards Model-Based Estimation of the Cardiac Electro-Mechanical Activity from ECG Signals and Ultrasound Images / D. Chapelle ; F. Clément ; Y. Coudiere ; J.A. Désidéri ; M. Sermesant ; M. Sorine ; J.M. Urquiza
A Physiologically-Based Model for the Active Cardiac Muscle Contraction / F. Génot ; P. Le Tallec
Post-Systolic Thickening in Ischaemic Myocardium: A Simple Mathematical Model for Simulating Regional Deformation / P. Claus ; F. Weidemann ; C. Dommke ; V. Bito ; F. Heinzel ; K. Sipido ; I. De Scheerder ; F.E. Rademakers
Simulation of Anisotropic Propagation in the Myocardium with a Hybrid Bidomain Model / B.M. Horacek
Imaging of Electrical Function within the Human Atrium and Ventricle from Paced ECG Mapping Data / B. Tilg ; R. Modre ; G. Fischer ; F. Hanser ; B. Messnarz ; F.X. Roithinger
Author Index
Invited Speaker
Modules in Cardiac Modeling: Mechanics, Circulation, and Depolarization Wave / T. Arts ; P. Bovendeerd ; A. van der Toorn ; L. Geerts ; R. Kerckhoffs ; F. Prinzen
Design of Differential Space-Time Codes Using Group Theory / A. Shokrollahi
Ideal Error-Correcting Codes: Unifying Algebraic and Number-Theoretic Algorithms / M. Sudan
Block Codes
Self-dual Codes Using Image Restoration Techniques / A. Baliga ; J. Chua
Low Complexity Tail-Biting Trellises of Self-dual Codes of Length 24, 32and 40 over GF(2) and Z(4) of Large Minimum Distance / E. Cadic ; J.C. Carlach ; G. Olocco ; A. Otmani ; J.P. Tillich (Univ. Paris-Sud)
F(q)-Linear Cyclic Codes over F(q)(m) : DFT Characterization / B.K. Dey ; B.S. Rajan
Code Constructions
Cyclic Projective Reed-Muller Codes / T.P. Berger ; L. de Maximy
Codes Identifying Sets of Vertices / T. Laihonen ; S. Ranto
Duality and Greedy Weights of Linear Codes and Projective Multisets / H.G. Schaathun
Codes and Algebra: Rings and Fields
Type II Codes over F(2)(r) / K. Betsumiya ; M. Harada ; A. Munemasa
Trustworthy Paper Documents / Marshall Bern ; Jeff Breidenbach ; David Goldberg
An Implementation of Key-Based Digital Signal Steganography / Toby Sharp
Distortion-Free Data Embedding for Images / Miroslav Goljan ; Jessica J. Fridrich ; Rui Du
Information Hiding through Noisy Channels / Valeri Korjik ; Guillermo Morales-Luna
A Perceptual Audio Hashing Algorithm: A Tool for Robust Audio Identification and Information Hiding / M. Kivanç Mihçak ; Ramarathnam Venkatesan
Computational Forensic Techniques for Intellectual Property Protection / Jennifer L. Wong ; Darko Kirovski ; Miodrag Potkonjak
Intellectual Property Metering / Farinaz Koushanfar ; Gang Qu
Keyless Public Watermarking for Intellectual Property Authentication
Efficiency Improvements of the Private Message Service / Oliver Berthold ; Sebastian Clauß ; Stefan Köpsell ; Andreas Pfitzmann
A Reputation System to Increase MIX-Net Reliability / Roger Dingledine ; Michael J. Freedman ; David Hopwood ; David Molnar
Neural Networks Functions for Public Key Watermarking / Justin Picard ; Arnaud Robert
A Graph Theoretic Approach to Software Watermarking / Vijay Vazirani ; Saurabh Sinha
COiN-Video: A Model for the Dissemination of Copyrighted Video Streams over Open Networks / Dimitris Thanos
Natural Language Watermarking: Design, Analysis, and a Proof-of-Concept Implementation / Mikhail J. Atallah ; Victor Raskin ; Michael Crogan ; Christian Hempelmann ; Florian Kerschbaum ; Dina Mohamed ; Sanket Naik
Digital Watermarking of Chemical Structure Sets / Joachim J. Eggers ; Wolf-Dietrich Ihlenfeldt ; Bernd Girod
The Strong Eternity Service / Tonda BeneÜ
Real World Patterns of Failure in Anonymity Systems / Richard Clayton ; George Danezis ; Markus G. Kuhn
Traffic Analysis Attacks and Trade-Offs in Anonymity Providing Systems / Adam Back ; Ulf Möller ; Anton Stiglic
Automatic Detection of a Watermarked Document Using a Private Key / Julien P. Stern ; Jean-Pierre Tillich
Cryptanalysis of the NTRU Signature Scheme (NSS) from Eurocrypt 2001 / Craig Gentry ; Jakob Jonsson ; Jacques Stern ; Michael Szydlo
On the Insecurity of a Server-Aided RSA Protocol / Phong Q. Nguyen ; Igor E. Shparlinski
The Modular Inversion Hidden Number Problem / Dan Boneh ; Shai Halevi ; Nick Howgrave-Graham
Human Identification
Secure Human Identification Protocols / Nicholas J. Hopper ; Manuel Blum
Invited Talk
Unbelievable Security (Matching AES Security Using Public Key Systems) / Arjen K. Lenstra
Practical Public Key Cryptography
A Probable Prime Test with Very High Confidence for n ≡ 1 mod 4 / Siguna Müller
Computation of Discrete Logarithms in {op F}_{{2}^{607}}cEmmanuel Thomé
Speeding Up XTR / Martijn Stam
An Efficient Implementation of Braid Groups / Jae Choon Cha ; Ki Hyoung Ko ; Sang Jin Lee ; Jae Woo Han ; Jung Hee Cheon
Cryptography Based on Coding Theory
How to Achieve a McEliece-Based Digital Signature Scheme / Nicolas T. Courtois ; Matthieu Finiasz ; Nicolas Sendrier
Efficient Traitor Tracing Algorithms Using List Decoding / Alice Silverberg ; Jessica Staddon ; Judy L. Walker
Block Ciphers
Security of Reduced Version of the Block Cipher Camellia against Truncated and Impossible Differential Cryptanalysis / Makoto Sugita ; Kazukuni Kobara ; Hideki Imai
Known-IV Attacks on Triple Modes of Operation of Block Ciphers / Deukjo Hong ; Jaechul Sung ; Seokhie Hong ; Wonil Lee ; Sangjin Lee ; Jongin Lim ; Okyeon Yi
Generic Attacks on Feistel Schemes / Jacques Patarin
A Compact Rijndael Hardware Architecture with S-Box Optimization / Akashi Satoh ; Sumio Morioka ; Kohji Takano ; Seiji Munetoh
Provable Security
Provable Security of KASUMI and 3GPP Encryption Mode f8 / Ju-Sung Kang ; Sang-Uk Shin ; Dowon Hong
Efficient and Mutually Authenticated Key Exchange for Low Power Computing Devices / Duncan S. Wong ; Agnes H. Chan
Provably Authenticated Group Diffie-Hellman Key Exchange - The Dynamic Case / Emmanuel Bresson ; Olivier Chevassut ; David Pointcheval
Threshold Cryptography
Fully Distributed Threshold RSA under Standard Assumptions / Pierre-Alain Fouque
Adaptive Security in the Threshold Setting: From Cryptosystems to Signature Schemes / Anna Lysyanskaya ; Chris Peikert
Threshold Cryptosystems Secure against Chosen-Ciphertext Attacks
Two-Party Protocols
Oblivious Polynomial Evaluation and Oblivious Neural Learning / Yan-Cheng Chang ; Chi-Jen Lu
Mutually Independent Commitments / Moses Liskov ; Silvio Micali ; Leonid Reyzin ; Adam Smith
Zero Knowledge
Efficient Zero-Knowledge Authentication Based on a Linear Algebra Problem MinRank
Responsive Round Complexity and Concurrent Zero-Knowledge / Tzafrir Cohen ; Joe Kilian ; Erez Petrank
Cryptographic Building Blocks
Practical Construction and Analysis of Pseudo-Randomness Primitives / Johan Hastad ; Mats Näslund
Autocorrelation Coefficients and Correlation Immunity of Boolean Functions / Yuriy Tarannikov ; Peter Korolev ; Anton Botev
Elliptic Curve Cryptography
An Extension of KedlayaÆs Point-Counting Algorithm to Superelliptic Curves / Pierrick Gaudry ; Nicolas Gürel
Supersingular Curves in Cryptography / Steven D. Galbraith
Short Signatures from the Weil Pairing / Ben Lynn ; Hovav Shacham
Self-Blindable Credential Certificates from the Weil Pairing / Eric R. Verheul
Anonymity
How to Leak a Secret / Ronald L. Rivest ; Adi Shamir ; Yael Tauman
Key-Privacy in Public-Key Encryption / Mihir Bellare ; Alexandra Boldyreva ; Anand Desai
On the Robustness of Some Cryptographic Protocols for Mobile Agent Protection / Volker Roth
Trust Relationships in a Mobile Agent System / Hock Kim Tan ; Luc Moreau
Evaluating the Security of Three Java-Based Mobile Agent Systems / Sebastian Fischmeister ; Giovanni Vigna ; Richard A. Kemmerer
Models and Architectures
Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study / Xavier Hannotin ; Paolo Maggi ; Riccardo Sisto
Lime Revisited (Reverse Engineering an Agent Communication Model) / Bogdan Carbunar ; Marco Tulio Valente ; Jan Vitek
Dynamic Adaptation of Mobile Agents in Heterogenous Environments / Raimund Brandt ; Helmut Reiser
Applications
Fast File Access for Fast Agents / Eugene Gendelman ; Lubomir F. Bic ; Michael B. Dillencourt
Flying Emulator: Rapid Building and Testing of Networked Applications for Mobile Computers / Ichiro Satoh
Crawlets: Agents for High Performance Web Search Engines / Prasannaa Thati ; Po-Hao Chang ; Gul Agha
Communication
An Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems / Xinyu Feng ; Jiannong Cao ; Jian Lü ; Henry Chan
Using Predicates for Specifying Targets of Migration and Messages in a Peer-to-Peer Mobile Agent Environment / Klaus Haller ; Heiko Schuldt
A Scalable and Secure Global Tracking Service for Mobile Agents / Jan Peters
Run-Time Support
Translating Strong Mobility into Weak Mobility / Lorenzo Bettini ; Rocco De Nicola
Transparent Migration of Mobile Agents Using the Java Platform Debugger Architecture / Torsten Illmann ; Tilman Krueger ; Frank Kargl ; Michael Weber
Portable Resource Reification in Java-Based Mobile Agent Systems / Alex Villazón ; Walter Binder
Quantitative Evaluation and Benchmarking
Mobile-Agent versus Client/Server Performance: Scalability in an Information-Retrieval Task / Robert S. Gray ; David Kotz ; Ronald A. Peterson ; Joyce Barton ; Daria Chacón ; Peter Gerken ; Martin Hofmann ; Jeffrey Bradshaw ; Maggie Breedy ; Renia Jeffers ; Niranjan Suri
Performance Evaluation of Mobile-Agent Middleware: A Hierarchical Approach / Marios Dikaiakos ; Melinos Kyriakou ; George Samaras
Scheduling Multi-task Agents / Rong Xie ; Daniela Rus ; Cliff Stein
Author Index
Security
On the Robustness of Some Cryptographic Protocols for Mobile Agent Protection / Volker Roth
Trust Relationships in a Mobile Agent System / Hock Kim Tan ; Luc Moreau
A Computer Environment for Writing Ordinary Mathematical Proofs / David McMath ; Marianna Rozenfeld ; Richard Sommer
Termination / Session 15：
On Termination of Meta-programs / Alexander Serebrenik ; Danny De Schreye
A Monotonic Higher-Order Semantic Path Ordering / Cristina Borralleras ; Albert Rubio
Knowledge-Based Systems / Session 16：
The Elog Web Extraction Language / Robert Baumgartner ; Sergio Flesca ; Georg Gottlob
Census Data Repair: A Challenging Application of Disjunctive Logic Programming / Enrico Franconi ; Antonio Laureti Palma ; Nicola Leone ; Simona Perri ; Francesco Scarcello
Analysis of Logic Programs / Session 17：
Boolean Functions for Finite-Tree Dependencies / Roberto Bagnara ; Enea Zaffanella ; Roberta Gori ; Patricia M. Hill
How to Transform an Analyzer into a Verifier / Marco Comini ; Giorgio Levi
Andorra Model Revised: Introducing Nested Domain Variables and a Targeted Search / Rong Yang ; Steve Gregory
Databases and Knowledge Bases / Session 18：
Coherent Composition of Distributed Knowledge-Bases through Abduction / Ofer Arieli ; Bert Van Nuffelen ; Marc Denecker ; Maurice Bruynooghe
Tableaux for Reasoning about Atomic Updates / Georg Moser ; Richard Zach
Inference of Termination Conditions for Numerical Loops in Prolog / Session 19：
Termination of Rewriting with Strategy Annotations / Salvador Lucas
Inferring Termination Conditions for Logic Programs Using Backwards Analysis / Samir Genaim ; Michael Codish
Program Analysis and Proof Planning / Session 20：
Reachability Analysis of Term Rewriting Systems with Timbuk / Thomas Genet ; Valerie Viet Triem Tong
Binding-Time Annotations without Binding-Time Analysis / Wim Vanhoof
Concept Formation via Proof Planning Failure / Raúl Monroy
Author Index
Invited Talk / Session 1：
Monodic Fragments of First-Order Temporal Logics: 2000-2001 A.D / Ian Hodkinson ; Frank Wolter ; Michael Zakharyaschev
A Memetic Pareto Evolutionary Approach to Artificial Neural Networks / Hussein A. Abbass
Relating Defeasible and Default Logic / Grigoris Antoniou ; David Billington
Resolving Minsky's Paradox: The d-Dimensional Normal Distribution Case / Luis Rueda ; B. John Oommen
Solving Overconstrained Temporal Reasoning Problems / Matthew Beaumont ; Abdul Sattar ; Michael Maher ; John Thornton
How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search / Amy M. Beckwith ; Berthe Y. Choueiry ; Hui Zou
Towards Learning Naive Physics by Visual Observation: Qualitative Spatial Representations / Paul A. Boxer
Phased Array Sub-beam Optimisation / N. J. Bracken ; R. I. McKay
Generation of Facial Expressions from Emotion Using a Fuzzy Rule-Based System / The Duy Bui ; Dirk Heylen ; Mannes Poel ; Anton Nijholt
An Efficient Form Classification Method Using Partial Matching / Yungcheol Byun ; Sungsoo Yoon ; Yeongwoo Choi ; Gyeonghwan Kim ; Yillbyung Lee
Gradient Descent Style Leveraging of Decision Trees and Stumps for Misclassification Cost Performance / Mike Cameron-Jones
A Method for Reasoning with Ontologies Represented as Conceptual Graphs / Dan Corbett
Selection of Tasks and Delegation of Responsibility in a Multiagent System for Emergent Process Management / John Debenham
State Minimization Re-visited / Norman Foo ; Abhaya Nayak ; Maurice Pagnucco ; Dongmo Zhang153
Decidability of Quantified Propositional Branching Time Logics / Tim French
Improved Techniques for an Iris Recognition System with High Performance / Gyundo Kee ; Kwanyong Lee
An Investigation of an Adaptive Poker Player / Graham Kendall ; Mark Willdig
Acquiring Adaptation Knowledge for CBR with MIKAS / Abdus Salam Khan ; Achim Hoffmann
A Real-Time Region-Based Motion Segmentation and Tracking Using Adaptive Thresholding and K-means Clustering / Jong Bae Kim ; Hye Sun Park ; Min Ho Park ; Hang Joon Kim
Automatic Cell Classification in Human's Peripheral Blood Images Based on Morphological Image Processing / Kyungsu Kim ; Jeonghee Jeon ; Wankyoo Choi ; Pankoo Kim ; Yo-Sung Ho
Formal Concept Analysis for Domain-Specific Document Retrieval Systems / Mihye Kim ; Paul Compton
Learner's Self-Assessment: A Case Study of SVM for Information Retrieval / Adam Kowalczyk ; Bhavani Raskutti
A Semiotic Model of Communication and Its Implications for the Digital City Development / Victor V. Kryssanov ; Masayuki Okabe ; Koh Kakusho ; Michihiko Minoh
Simulations for Comparing Knowledge Acquisition and Machine Learning / Rex Kwok
Application of Genetic Algorithms to the Optimisation of Neural Network Configuration for Stock Market Forecasting / Daniel Hulme ; Shuxiang Xu
Updating Epistemic States / Jerome Lang ; Pierre Marquis ; Mary-Anne Williams
Fast Text Classification Using Sequential Sampling Processes / Michael D. Lee
Agents in a Multi-cultural World: Towards Ontological Reconciliation / Kendall Lister ; Leon Sterling
Logical Foundations for Reasoning about Trust in Secure Digital Communication / Chuchang Liu
Phe-Q : A Pheromone Based Q-Learning / Ndedi Monekosso ; Paolo Remagnino
Specification of Kansei Patterns in an Adaptive Perceptual Space / Tomoko Murakami ; Ryohei Orihara ; Naomichi Sueda
Embodying the JACK Agent Architecture / Emma Norling ; Frank E. Ritter
Towards an Ontology of Part-of / Chris Nowak ; Richard Raban
Actions Made Explicit in BDI / Vineet Padmanabhan ; Guido Governatori
Wrapping Boosters against Noise / Bernhard Pfahringer ; Geoffrey Holmes ; Gabi Schmidberger
Continuous Temporal Models / Mark Reynolds
Language and Commonsense Knowledge / Walid S. Saba
Simulation of Network Security with Collaboration among IDS Models / Hee Suk Seo ; Tae Ho Cho
Programming Spoken Dialogs Using Grammatical Inference / Bradford Starkie
Towards Genetic Programming for Texture Classification / AndySong ; Thomas Loveard ; Vic Ciesielski
Using Design Information to Identify Structural Software Faults / Markus Stumptner
The Application of AI to Automatically Generated Animation / Adam Szarowicz ; Juan Amiguet-Vercher ; Peter Forte ; Jonathon Briggs ; Petros Gelepithis
Planning with Noisy Actions (Preliminary Report) / Michael Thielscher
Getting the Job Done in a Hostile Environment / Steven Versteeg ; Alan Blair 507
Solving the Qualification Problem (In the Presence of the Frame Problem) / Quoc Bao Vo ; Norman Y. Foo
Dialogue Modeling for a Conversational Agent / Peter Wallis ; Helen Mitchard ; Jyotsna Das ; Damian O'Dea
Candidate Elimination Criteria for Lazy Bayesian Rules / GeoffreyI. Webb
Simplifying the Development of Intelligent Agents / Michael Winikoff ; Lin Padgham ; James Harland
An Operational Semantics for a PRS-like Agent Architecture / Wayne Wobcke
A Model for Unconstrained Digit Recognition Based on Hypothesis Testing and Data Reconstruction
Collecting Quality Data for Database Mining / Chengqi Zhang ; Shichao Zhang
Further Pruning for Efficient Association Rule Discovery / Songmao Zhang ; Geoffrey I. Webb
Pattern Discovery in Probabilistic Databases
The Complexity of Logic Program Updates / Yan Zhang
Reasoning with Multimedia Information Using Symbolic Projection / Zili Zhang
Invited Contribution
Confidence Relations as a Basis for Uncertainty Modeling, Plausible Reasoning, and Belief Revision / Didier Dubois
Author Index
Papers
A Memetic Pareto Evolutionary Approach to Artificial Neural Networks / Hussein A. Abbass
Relating Defeasible and Default Logic / Grigoris Antoniou ; David Billington
Branch-and-Cut Algorithms for Combinatorial Optimization and Their Implementation in ABACUS / Matthias Elf ; Carsten Gutwenger ; Michael Jünger ; Giovanni Rinaldi
Branch, Cut, and Price: Sequential and Parallel / Laszlo Ladányi ; Ted K. Ralphs ; Leslie E. Trotter, Jr.
TSP Cuts Which Do Not Conform to the Template Paradigm / David Applegate ; Robert Bixby ; VaÜek Chvátal ; William Cook
Author Index
General Mixed Integer Programming: Computational Issues for Branch-and-Cut Algorithms / Alexander Martin
Projection and Lifting in Combinatorial Optimization / Egon Balas
Mathematical Programming Models and Formulations for Deterministic Production Planning Problems / Yves Pochet
Randomized Communication Protocols (A Survey) / Juraj Hromkovič
Optimal Mutation Rate UsingBayesian Priors for Estimation of Distribution Algorithms / Thilo Mahnig ; Heinz Mühlenbein
An Experimental Assessment of a Stochastic, Anytime, Decentralized, Soft Colourer for Sparse Graphs / Stephen Fitzpatrick ; Lambert Meertens
Randomized BranchingPrograms / Martin Sauerhoff
Yet Another Local Search Method for Constraint Solving / Philippe Codognet ; Daniel Diaz
An Evolutionary Algorithm for the Sequence Coordination in Furniture Production / Carlo Meloni
Evolutionary Search for Smooth Maps in Motor Control Unit Calibration / Jan Poland ; Kosmas Knödler ; Alexander Mitterer ; Thomas Fleischhauer ; Frank Zuber-Goos ; Andreas Zell
Some Notes on Random Satisfiability / Gregory B. Sorkin
Prospects for Simulated AnnealingAlgorithms in Automatic Differentiation / Uwe Naumann ; Peter Gottschling
Optimization and Simulation: Sequential Packingof Flexible Objects Using Evolutionary Algorithms / Henning Behnke ; Michael Kolonko ; Ulrich Mertins ; Stefan Schnitter
A Statistical Decoding Algorithm for General Linear Block Codes / A. Al Jabri
On the Undetected Error Probability for Shortened Hamming Codes on Channels with Memory / Christoph Lange ; Andreas Ahrens
The Complete Weight Enumerator for Codes over <$>M_{n\times s} \ ({\rm IF}_{q})<$> / Irfan Siap
Further Improvement of Kumar-Rajagopalan-Sahai Coding Constructions for Blacklisting Problem / Maki Yoshida ; Toru Fujiwara
A Simple Soft-Input/Soft-Output Decoder for Hamming Codes / Simon Hirst ; Bahram Honary
A Technique with an Information-Theoretic Basis for Protecting Secret Data from Differential Power Attacks / Manfred von Willich
Key Recovery Attacks on MACs Based on Properties of Cryptographic APIs / Karl Brincat ; Chris J. Mitchell
The Exact Security of ECIES in the Generic Group Model / N.P. Smart
A New Ultrafast Stream Cipher Design: COS Ciphers / Eric Filiol ; Caroline Fontaine
On Rabin-Type Signatures / Marc Joye ; Jean-Jacques Quisquater
Strong Adaptive Chosen-Ciphertext Attacks with Memory Dump (or: The Importance of the Order of Decryption and Validation) / Seungjoo Kim ; Jung Hee Cheon ; Seongan Lim ; Masahiro Mambo ; Dongho Won ; Yuliang Zheng
Majority-Logic-Decodable Cyclic Arithmetic-Modular AN-Codes in 1, 2, and L Steps / F. Javier Galán-Simón ; Edgar MartÆinez-Moro ; Juan G. Tena-Ayuso
Almost-Certainly Runlength-Limiting Codes / David J.C. MacKay
Weight vs. Magnetization Enumerator for Gallager Codes / Jort van Mourik ; David Saad ; Yoshiyuki Kabashima
Graph Configurations and Decoding Performance / J.T. Paire ; P. Coulton ; P.G. Farrell
A Line Code Construction for the Adder Channel with Rates Higher than Time-Sharing / P. Benachour ; BahramHonary
The Synthesis of TD-Sequences and Their Application to Multi-functional Communication Systems / Ahmed Al-Dabbagh ; Michael Darnell
Improvement of the Delsarte Bound for t-Designs in Finite Polynomial Metric Spaces / Svetla Nikova ; Ventzislav Nikov
Statistical Properties of Digital Piecewise Linear Chaotic Maps and Their Roles in Cryptography and Pseudo-Random Coding / Shujun Li ; Qi Li ; Wenmin Li ; Xuanqin Mou ; Yuanlong Cai
The Wide Trail Design Strategy / Joan Daemen ; Vincent Rijmen
Undetachable Threshold Signatures / Niklas Borselius ; Aaron Wilson
Improving Divide and Conquer Attacks against Cryptosystems by Better Error Detection / Correction Strategies / Werner Schindler ; Francois Koeune
Key Recovery Scheme Interoperability - A Protocol for Mechanism Negotiation / Konstantinos Rantos
Generating Large Instances of the Gong-Harn Cryptosystem / Kenneth J. Giuliani ; Guang Gong
Lattice Attacks on RSA-Encrypted IP and TCP / P.A. Crouch ; J.H. Davenport
Spectrally Bounded Sequences, Codes, and States: Graph Constructions and Entanglement / Matthew G. Parker
Attacking the Affine Parts of SFLASH / Willi Geiselmann ; Rainer Steinwandt ; Thomas Beth
An Identity Based Encryption Scheme Based on Quadratic Residues / Clifford Cocks
Another Way of Doing RSA Cryptography in Hardware / Lejla Batina ; Geeke Muurling
Distinguishing TEA from a Random Permutation: Reduced Round Versions of TEA Do Not Have the SAC or Do Not Generate Random Numbers / Julio César Hernández ; José MarÆia Sierra ; Arturo Ribagorda ; Benjamín Ramos ; J.C. Mex-Perera
A New Search Pattern in Multiple Residue Method (MRM) and Its Importance in the Cryptanalysis of the RSA / Seyed J. Tabatabaian ; SamIkeshiro ; Murat Gumussoy ; Mungal S. Dhanda
A New Undeniable Signature Scheme Using Smart Cards / Lee Jongkook ; Ryu Shiryong ; Kim Jeungseop ; Yoo Keeyoung
Non-binary Block Inseparable Errors Control Codes / Alexandr Y. Lev ; Yuliy A. Lev ; Vyacheslav N. Okhrymenko
Cryptanalysis of Nonlinear Filter Generators with {0,1}-Metric Viterbi Decoding / Sabine Leveiller ; Joseph Boutros ; Philippe Guillot ; Gilles Zémor
Author Index
A Statistical Decoding Algorithm for General Linear Block Codes / A. Al Jabri
On the Undetected Error Probability for Shortened Hamming Codes on Channels with Memory / Christoph Lange ; Andreas Ahrens
The Complete Weight Enumerator for Codes over <$>M_{n\times s} \ ({\rm IF}_{q})<$> / Irfan Siap
A Note on the Higher Order Differential Attack of Block Ciphers with Two-Block Structures / Ju-Sung Kang ; Seongtaek Chee ; Choonsik Park
On the Strength of KASUMI without FL Functions against Higher Order Differential Attack / Hidema Tanaka ; Chikashi Ishii ; Toshinobu Kaneko
On MISTY1 Higher Order Differential Cryptanalysis / Steve Babbage ; Laurent Frisch
Difference Distribution Attack on DONUT and Improved DONUT / Dong Hyeon Cheon ; Seok Hie Hong ; Sang Jin Lee ; Sung Jae Lee ; Kyung Hwan Park ; Seon Hee Yoon
New Results on Correlation Immunity / Yuliang Zheng ; Xian-Mo Zhang
Elliptic Curves and Resilient Functions / Jung Hee Cheon
Fast Universal Hashing with Small Keys and No Preprocessing: The PolyR Construction / Ted Krovetz ; Phillip Rogaway
Characterization of Elliptic Curve Traces under FR-Reduction / Atsuko Miyaji ; Masaki Nakabayashi ; Shunzo Takano
A Multi-party Optimistic Non-repudiation Protocol / Olivier Markowitch ; Steve Kremer
Secure Matchmaking Protocol / Byoungcheon Lee ; Kwangjo Kim
An Improved Scheme of the Gennaro-Krawczyk-Rabin Undeniable Signature System Based on RSA / Takeru Miyazaki
Efficient and Secure Member Deletion in Group Signature Schemes / Hyun-Jeong Kim ; Jong In Lim ; Dong Hoon Lee
An Efficient and Practical Scheme for Privacy Protection in the E-Commerce of Digital Goods / Feng Bao ; Robert H. Deng ; Peirong Feng
An Internet Anonymous Auction Scheme / Yi Mu ; Vijay Varadharajan
Micropayments for Wireless Communications / DongGook Park ; Colin Boyd ; Ed Dawson
Cryptographic Applications of Sparse Polynomials over Finite Rings / William D. Banks ; Daniel Lieman ; Igor E. Shparlinski ; Van Thuong To
Efficient Anonymous Fingerprinting of Electronic Information with Improved Automatic Identification of Redistributors / Chanjoo Chung ; Seungbok Choi ; Dongho Won ; Youngchul Choi
Hash to the Rescue: Space Minimization for PKI Directories / Adam Young ; Moti Yung
A Design of the Security Evaluation System for Decision Support in the Enterprise Network Security Management / Jae Seung Lee ; Sang Choon Kim ; Seung Won Sohn
Author Index
A Note on the Higher Order Differential Attack of Block Ciphers with Two-Block Structures / Ju-Sung Kang ; Seongtaek Chee ; Choonsik Park
On the Strength of KASUMI without FL Functions against Higher Order Differential Attack / Hidema Tanaka ; Chikashi Ishii ; Toshinobu Kaneko
On MISTY1 Higher Order Differential Cryptanalysis / Steve Babbage ; Laurent Frisch
Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network / Lucia Lo Bello ; Orazio Mirabella
Complex Reactive Control with Simple Synchronous Models / Reinhard Budde ; Axel Poigne
Optimistic Secure Real-Time Concurrency Control
Using Multiple Data Version / Byeong-Soo Jeong ; Daeho Kim ; Sungyoung Lee
Compiler
Array Reference Allocation Using SSA-Form and Live Range Growth / Marcelo Cintra ; Guido Araujo
PROPAN: A Retargetable System for Postpass Optimisations and Analyses / Daniel Kastner
A Framework for Enhancing Code Quality in Limited Register Set Embedded Processors / Deepankar Bairagi ; Santosh Pande ; Dharma P. Agrawal
Tools
A Stochastic Framework for Co-synthesis of Real-Time Systems / S. Chakraverty ; C.P. Ravikumar
A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems / Gwangil Jeon ; Tae-Hyung Kim ; Seongsoo Hong ; Sunil Kim
A Real-Time Animator for Hybrid Systems / Tobias Amnell ; Alexandre David ; Wang Yi
Hardware
Reordering Memory Bus Transactions for Reduced Power Consumption / Bruce R. Childers ; Tarun Nakra
A Power Efficient Cache Structure for Embedded Processors Based on the Dual Cache Structure / Gi-Ho Park ; Kil-Whan Lee ; Jae-Hyuk Lee ; Tack-Don Han ; Shin-Dug Kim
Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems / Matteo Corti ; Roberto Brega ; Thomas Gross
Work in Progress
A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software / Kwangyong Lee ; Chaedeok Lim ; Kisok Kong ; Heung-Nam Kim
Optimizing Code Size through Procedural Abstraction / Johan Runeson ; Sven-Olof Nystrom ; Jan Sjodin
Automatic Validation of Code-Improving Transformations / Robert van Engelen ; David Whalley ; Xin Yuan
Towards Energy-Aware Iteration Space Tiling / M. Kandemir ; N. Vijaykrishnan ; M.J. Irwin ; H.S. Kim
An Integrated Push/Pull Buffer Management Method in Multimedia Communication Environments / Hyon Woo Seung ; Tae Woong Jeon
Author Index
Formal Methods and Databases
Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network / Lucia Lo Bello ; Orazio Mirabella
Complex Reactive Control with Simple Synchronous Models / Reinhard Budde ; Axel Poigne
Sensitivity Analysis of the Expected Accumulated Reward Using Uniformization and IRK3 Methods / H. Abdallah ; M. Hamza
Spectral Properties of Circulant Band Matrices Arising in ODE Methods / P. Amodio
A Parameter Robust Method for a Problem with a Symmetry Boundary Layer / A. R. Ansari ; A.F.Hegarty ; G. I.Shishkin
An Algorithm Based on Orthogonal Polynomial Vectors for Toeplitz Least Squares Problems / M. Van Barel ; G. Heinig ; P. Kravanja
From Sensitivity Analysis to Random Floating Point Arithmetics - Application to Sylvester Equations / A. Barraud ; S. Lesecq ; N. Christov
Construction of Seminumerical Schemes: Application to the Artificial Satellite Problem / R. Barrio
Stability Analysis of Parallel Evaluation of Finite Series of Orthogonal Polynomials / P. Yalamov
On Solving Large-Scale Weighted Least Squares Problems / V. Baryamureeba
A Hybrid Newton-GMRES Method for Solving Nonlinear Equations / S. Bellavia, M. Macconi ; B. Morini
Comparative Analysis of Marching Algorithms for Separable Elliptic Problems / G. Bencheva
Inexact Newton Methods and Mixed Nonlinear Complementary Problems / L. Bergamaschi ; G. Zilli
Skew-Circulant Preconditioners for Systems of LMF-Based ODE Codes / D. Bertaccini ; M. K. Ng
New Families of Symplectic Runge-Kutta-Nystrom Integration Methods / S. Blanes, F. Casas ; J. Ros
Convergence of Finite Difference Method for Parabolic Problem with Variable Operator / D. Bojović
Finite Volume Difference Scheme for a Stiff Elliptic Reaction-Diffusion Problem with a Line Interface / I. A. Braianov
Nested-Dissection Orderings for Sparse LU with Partial Pivoting / I. Brainman ; S. Toledo
Fractional Step Runge-Kutta Methods for the Resolution of Two Dimensional Time Dependent Coefficient Convection-Diffusion Problems / B. Bujanda ; J. C. Jorge
Variable Stepsizes in Symmetric Linear Multistep Methods / B. Cano
Preliminary Remarks on Multigrid Methods for Circulant Matrices / S. S. Capizzano ; C. T. Possio
Computing the Inverse Matrix Hyperbolic Sine / J. R. Cardoso ; F. S. Leite
Robust Preconditioning of Dense Problems from Electromagnetics / B. Carpentieri ; I. S. Duff ; L. Giraud
A Mathematical Model for the Limbic System / L. Cervantes ; A. F. Collar
Understanding Krylov Methods in Finite Precision / F. Chaitin-Chatelin ; E. Traviesas ; L. Plantié
A Rational Interpolation Approach to Least Squares Estimation for Band-TARs / J. Coakley ; A.-M. Fuertes ; M.-T. Pérez
Uniqueness of Solution of the Inverse Electroencephalographic Problem / J.J.O.Oliveros ; A. I. Grebénnikov
Exploiting Nonlinear Structures of Computational General Equilibrium Models / Ch. Condevaux-Lanloy ; O. Epelly ; E. Fragnière
Constitutive Equations and Numerical Modelling of Time Effects in Soft Porous Rocks / M. Datcheva ; R. Charlier ; F. Collin
Solvers for Systems of Nonlinear Algebraic Equations - Their Sensitivity to Starting Vectors / D. Dent ; M. Paprzycki ; A. Kucaba-Pietal
The Min-Max Portfolio Optimization Strategy: An Empirical Study on Balanced Portfolios / C. Diderich ; W. Marty
Convergence Rate for a Convection Parameter Identified Using Tikhonov Regularization / G. Dimitriu
Local Refinement in Non-overlapping Domain Decomposition / V. Dobrev ; P. Vassilevski
Singularly Perturbed Parabolic Problems on Non-rectangular Domains / R. K. Dunne ; E. O'Riordan ; G. I. Shishkin
Special Types of Badly Conditioned Operator Problems in Energy Spaces and Numerical Methods for Them / E. G. D yakonov
Proper Weak Regular Splitting for M-Matrices / I. Faragó
Parameter-Uniform Numerical Methods for a Class of Singularly Perturbed Problems with a Neumann Boundary Condition / P. A. Farrell ; A. F. Hegarty ; J. J. H. Miller ; E. O Riordan
Reynolds-Uniform Numerical Method for Prandtl's Problem with Suction-Blowing Based on Blasius' Approach / B. Gahan
Multigrid Methods and Finite Difference Schemes for 2D Singularly Perturbed Problems / F. Gaspar ; F. Lisbona ; C. Clavero
Recursive Version of LU Decomposition / K. Georgiev ; J. Waśniewski
Inversion of Symmetric Matrices in a New Block Packed Storage / G. Georgieva ; F. Gustavson
The Stability Boundary of Certain Two-Layer and Three-Layer Difference Schemes / A. V. Goolin
High Order &epsion;-Uniform Methods for Singularly Perturbed Reaction-Diffusion Problems / J. L. Gracia
A Grid Free Monte Carlo Algorithm for Solving Elliptic Boundary Value Problems / T. Gurov ; P.Whitlock ; I. Dimov
Newton's Method under Different Lipschitz Conditions / J. M. Gutiérrez ; M. A. Hernández
Positive Definite Solutions of the Equation X + A*X-n A = I / V. Hassanovand I. Ivanov
Fast and Superfast Algorithms for Hankel-Like Matrices Related to Orthogonal Polynomials
Acceleration by Parallel Computations of Solving High-Order Time-Accurate Difference Schemes for Singularly Perturbed Convection-Diffusion Problems / P. W. Hemker ; L. P. Shishkina
Experience with the Solution of a Finite Difference Discretization on Sparse Grids / F. Sprengel
Topology Optimization of Conductive Media Described by Maxwell s Equations / R. H. W. Hoppe ; S. I. Petrova ; V. H. Schulz
Finite Element Simulation of Residual Stresses in Thermo-coupled Wire Drawing Process / R. Iankov ; A. Van Bael and P.Van Houtte
Construction and Convergence of Difference Schemes for a Modell Elliptic Equation with Dirac-delta Function Coefficient / B. S. Jovanović ; J. D. Kandilarov ; L. G. Vulkov
Operator s Approach to the Problems with Concentrated Factors / B. S. Jovanoviać
A Method of Lines Approach to the Numerical Solution of Singularly Perturbed Elliptic Problems / A. I. Zadorin
Sobolev Space Preconditioning of Strongly Nonlinear 4th Order Elliptic Problems / J. Karátson
Numerical Techniques for the Recovery of an Unknown Dirichlet Data Function in Semilinear Parabolic Problems with Nonstandard Boundary Conditions / R. Van Keer ; M. Slodička
A Generalized GMRES Iterative Method / D. R. Kincaid ; J.-Y. Chen ; D. M. Young
AMLI Preconditioning of Pure Displacement Non-conforming Elasticity FEM Systems / T. Kolev ; S. Margenov
Computationally Efficient Methods for Solving SURE Models / E. J. Kontoghiorghes ; P. Foschi
Application of Boundary Collocation Method in Fluid Mechanics to Stokes Flow Problems
Strang-Type Preconditioners for Differential-Algebraic Equations / S.-L. Lei ; X.-Q. Jin
Solvability of Runge-Kutta and Block-BVMs Systems Applied to ScalarODEs / G. Di Lena ; F. Iavernaro
On the Local Sensitivity of the Lyapunov Equations / A.Barraud ; N.Christov
A Level Set-Boundary Element Method for Simulation of Dynamic Powder Consolidation of Metals / Z. Li ; W. Cai
Parallel Performance of a 3D Elliptic Solver / I. Lirkov
Schwarz Methods for Convection-Diffusion Problems / H. MacMullen
Matrix Computations Using Quasirandom Sequences / M. Mascagni ; A. Karaivanova
On the Stability of the Generalized Schur Algorithm / N. Mastronardi ; P. Van Dooren ; S. Van Huffel
Stability of Finite Difference Schemes on Non-uniform Spatial-Time-Grids / P. P. Matus ; V. I. Mazhukin ; I. E. Mozolevsky
Matrix Equations and Structures: Efficient Solution of Special Discrete Algebraic Riccati Equations / B. Meini
A Numerical Comparison between Multi-revolution Algorithms for First-Order and Second-Order ODE Systems / M. Begoña Melendo
A Robust Layer-Resolving Numerical Method for Plane Stagnation Point Flow / A. P. Musgrave
On the Complete Pivoting Conjecture for Hadamard Matrices of Order 16 / M. Mitrouli
Regularization Method by Rank Revealing QR Factorization and Its Optimization / S. Nakata ; T. Kitagawa ; Y. Hosoda
A Fast Algorithm for High-Resolution Color Image Reconstruction with Multisensors / W.C.Kwan ; R. H. Chan
A Performance Study on a Single Processing Node of the HITACHI SR8000 / S. Nishimura ; D. Takahashi ; T. Shigehara ; H. Mizoguchi ; T. Mishima
Estimation of the Wheat Losses Caused by the Tropospheric Ozone in Bulgaria and Denmark / T. Ostromsky ; I. Tzvetanov ; Z. Zlatev
A Homotopic Residual Correction Process / V. Y. Pan
Parallel Monte Carlo Methods for Derivative Security Pricing / G. Pauletto
Stability of a Parallel Partitioning Algorithm for Special Classes of Banded Linear Systems / V. Pavlov
Numerical Solution of ODEs with Distributed Maple / D. Petcu
The Boundary Layer Problem of Triple Deck Type / L. Plantiaé
Cellular Neural Network Model for Nonlinear Waves in Medium with Exponential Memory / P. Popivanov ; A. Slavova
Numerical Analysis of the Nonlinear Instability of One-Dimensional Compound Capillary Jet / St. Radev ; M. Kaschiev ; M. Koleva ; L. Tadrist ; F. Onofri
Modelling of Equiaxed Microstructure Formation in Solidifying Two-Component Alloys / N. Sczygiol
A Posteriori and aPriori Techniques of Local Grid Refinement for Parabolic Problems with Boundary and Transition Layers
On a Necessary Requirement for Re-Uniform Numerical Methods to Solve Boundary Layer Equations for Flow along a Flat Plate / P.A. Farrell ; A. F.Hegarty
A Godunov-Ryabenkü Instability for a Quickest Scheme / E. Sousa
Modelling Torsional Properties of Human Bones by Multipoint Padé Approximants / J. J. Telega ; S. Tokarzewski ; A. Galka
Numerical Algorithm for Studying Hydrodynamics in a Chemical Reactor with a Mixer / I. Zheleva ; A. Lecheva
A Domain Decomposition Finite Difference Method for Singularly Perturbed Elliptic Equations in Composed Domains / I. V. Tselishcheva
Numerical Analysis of Solid and Shell Models of Human Pelvic Bone / A. John
FEM in Numerical Analysis of Stress and Displacement Distributions in Planetary Wheel of Cycloidal Gear / M. Chmurawa
Author Index
Numerical Analysis and Its Applications
Sensitivity Analysis of the Expected Accumulated Reward Using Uniformization and IRK3 Methods / H. Abdallah ; M. Hamza
Spectral Properties of Circulant Band Matrices Arising in ODE Methods / P. Amodio
Control as an Embedded Technology / Manfred Morari
Optimisation of Hybrid Processes and Hybrid Controllers / Costas C. Pantelides
Embedded Software and Systems: Challenges and Approaches / Janos Sztipanovits
Panel Discussion
Hybrid Systems Applications: An Oxymoron? / Alberto Sangiovanni-Vincentelli ; Thomas A. Henzinger ; Bruce H. Krogh ; Oded Maler ; George J. Pappas ; Tunc Simsec ; Stavros Tripakis
Papers
Design of Luenberger Observers for a Class of Hybrid Linear Systems / A. Alessandri ; P. Coletta
Hybrid Modeling and Simulation of Biomolecular Networks / Rajeev Alur ; Calin Belta ; Franjo Ivan&cbreve;ić ; Vijay Kumar ; Max Mintz ; Harvey Rubin ; Jonathan Schug
Compositional Refinement for Hierarchical Hybrid Systems / Radu Grosu ; Insup Lee ; Oleg Sokolsky
Optimal Paths in Weighted Timed Automata / Salvatore La Torre
Reach Set Computations Using Real Quantifier Elimination / Hirokazu Anai ; Volker Weispfenning
On Hybrid Control of Under-Actuated Mechanical Systems / Eugene Asarin ; Sorav Bansal ; Bernard Espiau ; Thao Dang
On the Decidability of the Reachability Problem for Planar Differential Inclusions / Gerardo Schneider ; Sergio Yovine
The Substratum of Impulse and Hybrid Control Systems / Jean-Pierre Aubin
Path-Dependent Impulse and Hybrid Systems / George Haddad
Hybrid Feedback Control for Path Tracking by a Bounded-Curvature Vehicle / Andrea Balluchi ; Philippe Souères ; Antonio Bicchi
Minimum-Cost Reachability for Priced Timed Automata / Gerd Behrmann ; Ansgar Fehnker ; Thomas Hune ; Kim Larsen ; Paul Pettersson ; Judi Romijn ; Frits Vaandrager
A Hybrid Approach to Traction Control / Francesco Borrelli ; Alberto Bemporad ; Michael Fodor ; Davor Hrovat
Optimal Control Using Bisimulations: Implementation / Mireille Broucke ; Maria D. Di Benedetto ; Stefano Di Gennaro
A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems / Francesco A. Cuzzola
Accurate Event Detection for Simulating Hybrid Systems / Joel M. Esposito
A Clustering Technique for the Identification of Piecewise Affine Systems / Giancarlo Ferrari-Trecate ; Marco Muselli ; Diego Liberati
Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model / Ronojoy Ghosh ; Claire J. Tomlin
Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis / José M.E. González ; Antonio E.C. da Cunha ; José E.R. Cury
Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles / Luc C.G.J.M. Habets ; Jan H. van Schuppen
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems / Marius Minea ; Vinayak Prabhu
Hybrid Modeling of TCP Congestion Control / João P. Hespanha ; Stephan Bohacek ; Katia Obraczka ; Junsoo Lee
Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem / Jianghai Hu ; Maria Prandini ; Karl H. Johansson ; Shankar Sastry
Nonlinear Adaptive Backstepping with Estimator Resetting Using Multiple Observers / Jens Kalkkuhl ; Tor A. Johansen ; Jens Lüdemann ; Andreas Queda
Mode Switching Synthesis for Reachability Specifications / T. John Koo
Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov Functions / Xenofon D. Koutsoukos ; Panos J. Antsaklis
On a Novel Class of Bifurcations in Hybrid Dynamical Systems: The Case of Relay Feedback Systems / P. Kowalczyk ; M. di Bernardo
Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings / Ekaterina S. Lemch ; Peter E. Caines
Modeling of Continuous-Discrete Processes / Vishal Bahl ; Andreas A. Linninger
Hybrid I/O Automata Revisited / Nancy Lynch ; Roberto Segala
Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets / Ian Mitchell ; Alexandre M. Bayen
Robust Controller Synthesis for Hybrid Systems Using Modal Logic / Thomas Moor ; J.M. Davoren
Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality / Pieter J. Mosterman
Addressing Multiobjective Control: Safety and Performance through Constrained Optimization / Meeko Oishi ; Vipin Gopal ; Datta Godbole
Representation of Quantised Systems by the Frobenius-Perron Operator / Jochen Schröder ; Jan Lunze
Semi-decidable Synthesis for Triangular Hybrid Systems / Omid Shakernia
Hybrid Abstractions that Preserve Timed Languages / Paulo Tabuada
Author Index
Abstracts of Invited Presentations
Control as an Embedded Technology / Manfred Morari
Optimisation of Hybrid Processes and Hybrid Controllers / Costas C. Pantelides
Quilt: An XML Query Language for Heterogeneous Data Sources / Don Chamberlin ; Jonathan Robie ; Daniela Florescu
Information Gathering
Theme-Based Retrieval of Web News / Nuno Maria ; Mário J. Silva
Using Metadata to Enhance Web Information Gathering / Jeonghee Yi ; Neel Sundaresan ; Anita Huang
Architecting a Network Query Engine for Producing Partial Results / Jayavel Shanmugasundaram ; Kristin Tufte ; David DeWitt ; David Maier ; Jeffrey F. Naughton
Caching
Argos: Efficient Refresh in an XQL-Based Web Caching System / Luping Quan ; Li Chen ; Elke A. Rundensteiner
Active Query Caching for Database Web Servers / Qiong Luo ; Rajesekar Krishnamurthy ; Pei Cao ; Yunrui Li
Querying XML
Adding Relevance to XML / Anja Theobald ; Gerhard Weikum
Evaluating Queries on Structure with eXtended Access Support Relations / Thorsten Fiebig ; Guido Moerkotte
Efficient Relational Storage and Retrieval of XML Documents / Albrecht Schmidt ; Martin Kersten ; Menzo Windhouwer ; Florian Waas
XML Structuring and Versioning
XML and Object-Relational Database Systems - Enhancing Structural Mappings Based on Statistics / Meike Klettke ; Holger Meyer
Everything You Ever Wanted to Know About DTDs, But Were Afraid to Ask (Extended Abstract) / Arnaud Sahuguet
Version Management of XML Documents / Shu-Yao Chien ; Vassilis J. Tsotras ; Carlo Zaniolo
Web Modeling
Modeling Data Entry and Operations in WebML / Aldo Bongio ; Stefano Ceri ; Piero Fraternali ; Andrea Maurino
Query Processing
An Optimization Technique for Answering Regular Path Queries / Gösta Grahne ; Alex Thomo
XDuce: A Typed XML Processing Language (Preliminary Report) / Haruo Hosoya ; Benjamin C. Pierce
Classification and Retrieval
Automatic Classification of Text Databases through Query Probing / Panagiotis G. Ipeirotis ; Luis Gravano ; Mehran Sahami
Locating and Reconfiguring Records in Unstructured Multiple-Record Web Documents / David W. Embley ; L. Xu
Author Index
Invited Contribution
Quilt: An XML Query Language for Heterogeneous Data Sources / Don Chamberlin ; Jonathan Robie ; Daniela Florescu
Physical Programming: Beyond Mere Logic (Invited Talk) / Bran Selic
Metamodelling
Metamodelling and Conformance Checking with PVS / Richard F. Paige ; Jonathan S. Ostroff
The Metamodelling Language Calculus: Foundation Semantics for UML / Tony Clark ; Andy Evans ; Stuart Kent
Distributed Components
Compositional Checking of Communication among Observers / Ralf Pinger ; Hans-Dieter Ehrich
Combining Independent Specifications / Joy N. Reed ; Jane E. Sinclair
Proving Deadlock Freedom in Component-Based Programming / Paola Inverardi ; Sebastian Uchitel
UML
A Real-Time Execution Semantics for UML Activity Diagrams / Rik Eshuis ; Roel Wieringa
A CSP View on UML-RT Structure Diagrams / Clemens Fischer ; Ernst-Rüdiger Olderog ; Heike Wehrheim
Strengthening UML Collaboration Diagrams by State Transformations / Reiko Heckel ; Stefan Sauer
Specification of Mixed Systems in Korrigan with the Support of a UML-Inspired Graphical Notation / Christine Choppy ; Pascal Poizat ; Jean-Claude Royer
On Use Cases and Their Relationships in the Unified Modelling-Language / Perdita Stevens
On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design / Francis Bordeleau ; Jean-Pierre Corriveau
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach / Gianna Reggio ; Maura Cerioli ; Egidio Astesiano
Towards Development of Secure Systems Using UMLsec / Jan Jürjens
Testing
Grammar Testing / Ralf Lämmel
Debugging via Run-Time Type Checking / Alexey Loginov ; Suan Hsi Yong ; Susan Horwitz ; Thomas Reps
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases / Oliver Niese ; Bernhard Steffen ; Tiziana Margaria ; Andreas Hagerer ; Georg Brune ; Hans-Dieter Ide
Demonstration of an Automated Integrated Testing Environment for CTI Systems / Markus Nagelmann ; Klaus Kolodziejczyk-Strunck ; Werner Goerigk ; Andrei Erochok ; Bernhard Hammelmann
Formal Methods
Semantics of Architectural Specifications in CASL / Lutz Schröder ; Till Mossakowski ; Andrzej Tarlecki ; Bartek Klin ; Piotr Hoffman
Extending Development Graphs with Hiding / Serge Autexier ; Dieter Hutter
A Logic for the Java Modeling Language JML / Bart Jacobs ; Erik Poll
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models / Bernhard Reus ; Martin Wirsing ; Rolf Hennicker
Case Studies
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification / Natasha Sharygina ; James C. Browne ; Robert P. Kurshan
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude / Peter C. Ölveczky ; Mark Keaton ; Jose Meseguer ; Carolyn Talcott ; Steve Zabele
Author Index
Invited Paper
Physical Programming: Beyond Mere Logic (Invited Talk) / Bran Selic
SmartTools: A Generator of Interactive Environments Tools / Isabelle Attali ; Carine Courbis ; Pascal Degenne ; Alexandre Fau ; Didier Parigot ; Claude Pasquier
Visual Patterns in the VLEli System / Matthias T. Jung ; Uwe Kastens ; Christian Schindler ; Carsten Schmidt
The Asf=Sdf Meta-environment: A Component-Based Language Development Environment / M.G.J. van den Brand ; A. van Deursen ; J. Heering ; H.A. de Jong ; M. de Jonge ; T. Kuipers ; P. Klint ; L. Moonen ; P.A. Olivier ; J. Scheerder ; J.J. Vinju ; E. Visser ; J. Visser
Author Index
Invited Talk
Virtual Classes and Their Implementation / Ole Lehrman Madsen
Applications of Exception Handling Techniques / Part 4：
Experiences with Error Handling in Critical Systems / Charles Howell ; Gary Vecellio
An Architectural-Based Reflective Approach to Incorporating Exception Handling into Dependable Software / Alessandro F. Garcia ; CecÃlia M. F. Rubira
Adapting C== Exception Handling to an Extended COM Exception Model / Bjørn Egil Hansen ; Henrik Fredholm
Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling / Tatsurou Sekiguchi ; Takahiro Sakamoto ; Akinori Yonezawa
Exception Handling in Information Systems / Part 5：
Adequacy for Algebraic Effects / Gordon Plotkin ; John Power
Contributed Papers
Secrecy Types for Asymmetric Communication / MartÆin Abadi ; Bruno Blanchet
Axiomatizing Tropical Semirings / Luca Aceto ; Zoltán Ésik ; Anna Ingólfsdóttir
Type Isomorphisms and Proof Reuse in Dependent Type Theory / Gilles Barthe ; Olivier Pons
On the Duality between Observability and Reachability / Michel Bidoit ; Rolf Hennicker ; Alexander Kurz
The Finite Graph Problem for Two-Way Alternating Automata / Mikolaj Bojanczyk
High-Level Petri Nets as Type Theories in the Join Calculus / Maria Grazia Buscemi ; Vladimiro Sassone
Temporary Data in Shared Dataspace Coordination Languages / Nadia Busi ; Roberto Gorrieri ; Gianluigi Zavattaro
On Garbage and Program Logic / Cristiano Calcagno ; Peter W. O'Hearn
The Complexity of Model Checking Mobile Ambients / Witold Charatonik ; Silvano Dal Zilio ; Andrew D. Gordon ; Supratik Mukhopadhyay ; Jean-Marc Talbot
The Rho Cube / Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori
Type Inference with Recursive Type Equations / Mario Coppo
On the Modularity of Deciding Call-by-Need / Irène Durand ; Aart Middeldorp
Synchronized Tree Languages Revisited and New Applications / Valèrie Gouranton ; Pierre Rèty ; Helmut Seidl
Computational Completeness of Programming Languages Based on Graph Transformation / Annegret Habel ; Detlef Plump
Axioms for Recursion in Call-by-Value (Extended Abstract) / Masahito Hasegawa ; Yoshihiko Kakutani
Class Analysis of Object-Oriented Programs through Abstract Interpretation / Thomas Jensen ; Fausto Spoto
On the Complexity of Parity Word Automata / Valerie King ; Orna Kupferman ; Moshe Y. Vardi
Foundations for a Graph-Based Approach to the Specification of Access Control Policies / Manuel Koch ; Luigi Vincenzo Mancini ; Francesco Parisi-Presicce
Categories of Processes Enriched in Final Coalgebras / Sava Krstić ; John Launchbury ; DuÜko Pavlovič
Model Checking CTL= and FCTL Is Hard / François Laroussinie ; Nicolas Markey ; Philippe Schnoebelen
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory / Rémi Morin
Verified Bytecode Verifiers / Tobias Nipkow
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the p-Calculus and Mechanizing the Theory of Contexts / Christine Röckl ; Daniel Hirschkoff ; Stefan Berghofer
Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes / Colin Stirling
An Axiomatic Semantics for the Synchronous Language Gentzen / Simone Tini
Tool Presentation
Marrella and the Verification of an Embedded System / Dominique Ambroise ; Patrick Augé ; Kamel Bouchefra ; Brigitte Rozoy
Author Index
Invited Paper
Adequacy for Algebraic Effects / Gordon Plotkin ; John Power
Heuristic Learning Based on Genetic Programming / Nicole Drechsler ; Frank Schmiedle ; Daniel Große ; Rolf Drechsler
Evolving Color Constancy for an Artificial Retina / Marc Ebner
Adaptive Genetic Programming Applied to New and Existing Simple Regression Problems / Jeroen Eggermont ; Jano I. van Hemert
An Evolutionary Approach to Automatic Generation of VHDL Code for Low-Power Digital Filters / Massimiliano Erba ; Roberto Rossi ; Valentino Liberali ; Andrea G.B. Tettamanzi
Studying the Influence of Communication Topology and Migration on Distributed Genetic Programming / Francisco Fernández ; Marco Tomassini ; Leonardo Vanneschi
CAGE: A Tool for Parallel Genetic Programming Applications / Gianluigi Folino ; Clara Pizzuti ; Giandomenico Spezzano
Ripple Crossover in Genetic Programming / Maarten Keijzer ; Conor Ryan ; Michael O'Neill ; Mike Cattolico ; Vladin Babovic
Evolving Receiver Operating Characteristics for Data Fusion / William B. Langdon ; Bernard F. Buxton
An Adaptive Mapping for Developmental Genetic Programming / Steve Margetts ; Antonia J. Jones
A Schema Theory Analysis of the Evolution of Size in Genetic Programming with Linear Representations / Nicholas Freitag McPhee ; Riccardo Poli
Exact Schema Theorems for GP with One-Point and Standard Crossover Operating on Linear Structures and Their Application to the Study of the Evolution of Size
General Schema Theory for Genetic Programming with Subtree-Swapping Crossover
Evolving Modules in Genetic Programming by Subtree Encapsulation / Simon C. Roberts ; Daniel Howard ; John R. Koza
Evolution of Affine Transformations and Iterated Function Systems Using Hierarchical Evolution Strategy / Anargyros Sarafopoulos
Evolving Turing Machines for Biosequence Recognition and Analysis / Edgar E. Vallejo ; Fernando Ramos
Neutrality and the Evolvability of Boolean Function Landscape / Tina Yu ; Julian Miller
Polymorphism and Genetic Programming
Posters
Programmable Smart Membranes: Using Genetic Programming to Evolve Scalable Distributed Controllers for a Novel Self-Reconfigurable Modular Robotic Application / Forrest H Bennett III ; Brad Dolin ; Eleanor G. Rieffel
A GP Artificial Ant for Image Processing: Preliminary Experiments with EASEA / Enzo Bolis ; Christian Zerbi ; Pierre Collet ; Jean Louchet ; Evelyne Lutton
Feature Extraction for the k-Nearest Neighbour Classifier with Genetic Programming / Martijn C.J. Bot
An Indirect Block-Oriented Representation for Genetic Programming / Eva Brucherseifer ; Peter Bechtel ; Stephan Freyer ; Peter Marenbach
Raising the Dead: Extending Evolutionary Algorithms with a Case-Based Memory / Tom Lenaerts ; Sanna Poyhonen ; Alexandre Termier
Layered Learning in Genetic Programming for a Cooperative Robot Soccer Problem / Steven M. Gustafson ; William H. Hsu
Linear-Tree GP and Its Comparison with Other GP Structures / Wolfgang Kantschik ; Wolfgang Banzhaf
Evolving Hand-Eye Coordination for a Humanoid Robot with Machine Code Genetic Programming / Peter Nordin
Adaption of Operator Probabilities in Genetic Programming / Jens Niehaus
Crossover in Grammatical Evolution: The Search Continues
Computational Complexity, Genetic Programming, and Implications / Bart Rylander ; Terry Soule ; James Foster
Genetic Programming for Financial Time Series Prediction / Massimo Santini ; Andrea Tettamanzi
Active Handwritten Character Recognition Using Genetic Programming / Ankur Teredesai ; J. Park ; Venugopal Govindaraju
Author Index
Subject Index
Talks
Heuristic Learning Based on Genetic Programming / Nicole Drechsler ; Frank Schmiedle ; Daniel Große ; Rolf Drechsler
Evolving Color Constancy for an Artificial Retina / Marc Ebner
An Automata Based Interpretation of Live Sequence Charts|CJ. Klose|CH. Wittke
Logics and Model-Checking
Coverage Metrics for Temporal Logic Model Checking|CH. Chockler|CO. Kupferman|CM. Y. Vardi
Parallel Model Checking for the Alternation Free $$-Calculus|CB. Bollig / CM. Leucker ; M. Weber
Model Checking CTL*[DC] / P.K. Pandya
ETAPS Tool Demonstration
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS / M. Beaudomn-Lafon ; W.E. Mackay ; M. Jensen ; P. Andersen ; P. Janecek ; M. Lassen ; K. Lund ; K. Mortensen ; S. Munck ; A. Ratzer ; K. Ravn ; K. Jensen
The ASM Workbench: A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models / G. Del Castillo
The Erlang Verification Tool / T. Noll ; L. Fredlund ; D. Gurov
Author Index
Invited Contributions
Branching vs. Linear Time: Final Showdown / M.Y. Vardi
An Efficient Multiple Merchants Payment Protocol for Secure Electronic Transactions Based on Purchase Consolidation / Oda Sans ; Gordon B. Agnew
A Fair Electronic Cash Scheme / Yi Mu ; Khanh Quoc Ngugen ; Vijay Varadharajan
A Secure Payment Protocol Using Mobile Agents in an Untrusted Host Environment / Amitabha Das ; Yao Gongxuan
Trust and Security
Building Trust for E-Commerce: Collaborating Label Bureaus / Michael Shepherd ; Anil Dhonde ; Carolyn Watters
Group-Oriented (t,n) Threshold Digital Signature Schemes with Traceable Signers / Zi-Chen Li ; Jun-Mei Zhang ; Jun Luo ; William Song ; Yi-Qi Dai
The Implementation of Security Algorithm of Mobile Agent on Roblet / Ying Jie Yang ; Liang Zhu ; Fan Yuan Ma
Tools for E-Commerce Applications
Active Page Generation via Customizing XML for Data Beans In E-Commerce Applications / Li Chen ; Elke Rundensteiner ; Afshan Ally ; Rice Chen ; Weidong Kou
i-Cube: A Tool-Set for the Dynamic Extraction / Integration of Web Data Content ; Frankie Poon ; Kostas Kontogiannis
E-Commerce Frameworks and Systems
An Extensible, Human-Centric Framework That Promotes Universal Access to Electronic Commerce / Jacob Slonim ; Theodore Chiasson ; Carrie Gates ; Michael McAllister
CBR-Responder, an Automated Customer Service for E-Commerce / Yao Hui Lei ; Gang Mai ; Esma Aïmeur
A Methodology and Implementation for Analytic Modeling in Electronic Commerce Applications / H. Keith Edwards ; Michael A. Bauer ; Yumman Chan ; Michael Shields ; Peter Woo
E-Commerce Surveys
Internet Based Electronic Business Framework Applications and Business to Business Standards / Deren Chen ; Jen-Yao Chung
Online Auction Protocols: A Comparative Study / Carsten Passch ; Chung-Jen Tan
Author Index
Secure Payment
An Efficient Multiple Merchants Payment Protocol for Secure Electronic Transactions Based on Purchase Consolidation / Oda Sans ; Gordon B. Agnew
A Fair Electronic Cash Scheme / Yi Mu ; Khanh Quoc Ngugen ; Vijay Varadharajan
The Link and Node Biased Encoding Revisited: Bais and Adjustment of Parameters / Thomas Gaube ; Franz Rothlauf
An Effective Implementation of a Direct Spanning Tree Representation in GAs / Yu Li
An Evolutionary Algorithm with Stochastic Hill-Climbing for the Edge-Biconnectivity Augmentation Problem / Ivana Ljubić ; Günther R. Raidl
Application of GRASP to the Multiconstraint Knapsack Problem / Pierre Chardaire ; Geoff P. McKeown ; Jameel A. Maki
Knapsack Problems
Path Tracing in Genetic Algorithms Applied to the Multiconstrained Knapsack Problem / Jens Levenhagen ; Andreas Bortfeldt ; Hermann Gehring
On the Feasibility Problem of Penalty-Based Evolutionary Algorithms for Knapsack Problems|Jens Gottlieb
Coloured Ant System and Local Search to Design Local Telecommunication Networks / Roberto Cordone ; Francesco Maffioli
Ant Algorithms
Cooperative Ant Colonies for Optimizing Resource Allocation in Transportation / Karl Doerner ; Richard F. Hartl ; Marc Reimann
An ANTS Algorithm for Optimizing the Materialization of Fragmented Views in Data Warehouses: Preliminary Results / Vittorio Maniezzo ; Antonella Carbonaro ; Matteo Golfarelli|Stefano Rizzi
Miscellaneous Applications
A Genetic Algorithm for the Group-Technology Problem / Ingo Meents
Generation of Optimal Unit Distance Codes for Rotary Encoders through Simulated Evolution / Stefano Gregori ; Roberto Rossi ; Guido Torelli ; Valentino Liberali
On the Efficient Construction of Rectangular Grids from Given Data Points / Jan Poland ; Kosmas Knödler ; Andreas Zell
Assignment Problems
An Evolutionary Annealing Approach to Graph Coloring / Dimitris A. Fotakis ; Spiridon D. Likothanassis ; Stamatis K. Stefanakos
A Constructive Evolutionary Approach to School Timetabling / Geraldo Ribeiro Filho ; Luiz Antonio Nogueira Lorena
A Co-evolutionist Meta-Heuristic for the Assignment of the Frequencies in Cellular Networks / Benjamin Weinberg ; Vincent Bachelet ; El-Ghazali Talbi
A Simulated Annealing Algorithm for Extended Cell Assignment Proble3m in a Wireless ATM Network / Der-Rong Din ; Shian-Shyong Tseng
Analysis of Evolutionary Algorithms
On Performance Estimates for Two Evolutionary Algorithms / Pavel A. Borisousky ; Anton V. Eremeeu
A Contribution to the Study of the Fitness Landscape for a Graph Drawing Problem / Rémi Lehn ; Pascale Kuntz
Evolutionary Game Dynamics in Combinatorial Optimization: An Overview / Marcello Pelillo
Permutation Problems
A Parallel Hybrid Heuristic for the TsP / Ranieri Baraglia ; José Ignacio Hidalgo ; Raffaele Perego
Effective Local and Guided Variable Neighbourhood Search Methods for the Asymmetric Travelling Salesman Problem / Edmund K. Burke ; Peter I. Cowling ; Ralf Keuthen
Pheromone Modification Strategies for Ant Algorithms Applied to Dynamic TSP / Michael Guntsch ; Martin Middendorf
Conventional and Multirecombinative Evolutionary Algorithms for the Parallel Task Scheduling Problem / Susana Esquivel ; Claudia Gatica ; Raúl Gallard
EvoFlight Papers
Two-Sided, Genetics-Based Learning to Discover Novel Fighter Combat Maneuvers / Robert E. Smith ; Bruce A. Dike ; B. Ravichandran ; Adel El-Fallah ; Raman K. Mehra
Generation of Time-delay Algorithms for Anti-Air Missiles Using Genetic Programming / Henry O. Nyongesa
Surface Movement Radar Image Correlation Using Genetic Algorithm / Enrico Piazza
A Conceptual Approach for Simultaneous Flight Schedule Construction with Genetic Algorithms / Tobias Grosche ; Armin Heinzl
EvoIASP Papers
Genetic Snakes for Color Images Segmentation / Lucia Ballerini
A Distributed Genetic Algorithm for Parameters Optimization to Detect Microcalcifications in Digital Mammograms / Alessandro Beuilacqua ; Renato Campanini ; Nico Lanconelli
Dynamic Flies: Using Real-Time Parisian Evolution in Robotics / Amine M. Boumaza ; Jean Louchet
ARPIA: A High-Level Evolutionary Test Signal Generator / Fuluio Corno ; Gianluca Cumani ; Matteo Sonza Reorda ; Giouanni Squillero
A Pursuit Architecture for Signal Analysis / Adelino R. Ferreira da Silva
Genetic Algorithm Based Heuristic Measure for Pattern Similarity in kirlian Photographs / Mario Köppen ; Bertram Nickolay ; Hendrik Treugut
Evolutionary Signal Enhancement Based on Holder Regularity Analysis / Jacques Lévy Véhel ; Evelyne Lutton
Building ARMA Models with Genetic Algorithms / Tommaso Minerva ; Irene Poli
Evolving Market Index Trading Rules Using Grammatical Evolution / Michael O'Neill ; Anthony Brabazon ; Conor Ryan ; J.J. Collins
Autonomous Photogrammetric Network Design Using Genetic Algorithms / Gustavo Olague
The Biological Concept of Neoteny in Evolutionary Colour Image Segmentation - Simple Experiments in Simple Non-memetic Genetic Algorithms / Vitorino Ramos
Using of Evolutionary Computations in Image Processing for Quantitative Atlas of Drosophila Genes Expression / Alexander V. Spirov ; Dmitry L. Timakin ; John Reinitz ; David Kosman
EvoLearn Papers
Selection of Behavior in Social Situations / Samuel Delepoulle ; Philippe Preux ; Jean-Claude Darcheville
Clustering Moving Data with a Modified Immune Algorithm / Emma Hart ; Peter Ross
Belief Revision by Lamarckian Evolution / Evelina Lamma ; Luís M. Pereira ; Fabrizio Riguzzi
A Study on the Effect of Cooperative Evolution on Concept Learning / Filippo Neri
The Influence of Learning in the Evolution of Busy Beavers / Francisco B. Pereira ; Ernesto Costa
EvoSTIM Papers
Automated Solution of a Highly Constrained School Timetabling - Preliminary Results / Marc Bufé ; Tim Fischer ; Holger Gubbels ; Claudius Häcker ; Oliver Hasprich ; Christian Scheibel ; Karsten Weicker ; Nicole Weicker ; Michael Wenig ; Christian Wolfangel
Design of Iterated Local Search Algorithms / Matthijs den Besten ; Thomas Stützle ; Marco Dorigo
An Evolutionary Algorithm for Solving the School Time-Tabling Problem / Calogero Di Stefano ; Andrea G. B. Tettamanzi
Optimizing Employee Schedules by a Hybrid Genetic Algorithm / Matthias Gröbner ; Peter Wilke
A Genetic Algorithm for the Capacitated Arc Routing Problem and Its Extensions / Philippe Lacomme ; Christian Prins ; Wahiba Ramdane-Chérif
A New Approach to Solve Permutation Scheduling Problems with Ant Colony Optimization / Daniel Merkle
Street-Based Routing Using an Evolutionary Algorithm / Neil Urquhart ; Ben Paechter ; Kenneth Chisholm
Investigation of Different Seeding Strategies in a Genetic Planner / C. Henrik Westerberg ; John Levine
Author Index
EvoCOP Papers
Graph Problems
The Link and Node Biased Encoding Revisited: Bais and Adjustment of Parameters / Thomas Gaube ; Franz Rothlauf
Object Oriented Modeling with Object Petri Nets / C. LakosSection I：
Using Petri Nets for Specifying Active Objects and Generative Communication / T. Holvoet ; P. Verbaeten
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism / O. Biberstein ; D. Buchs ; N. Guelfi
CLOWN as a Testbed for Concurrent Object-Oriented Concepts / E. Battiston ; A. Chizzoni ; F. De Cindio
Concurrency in Communicating Object Petri Nets / R. Valk
Object Orientation in Hierarchical Predicate Transition Nets / X. He ; Y. Ding
CoOperative Objects: Principles, Use and Implementation / C. Sibertin-Blanc
OB(PN)2: An Object Based Petri Net Programming Notation / J. Lilius
On Formalizing UML with High-Level Petri Nets / L. Baresi ; M. Pezzè
Modeling a Groupware Editing Tool with Cooperative Objects / R. Bastide ; P. PalanqueSection II：
Modeling Constrained Geometric Objects with OBJSA Nets / M. A. Alberti ; P. Evi ; D. Marini
An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment / D. S. Guerrero ; J. C. A. de Figueiredo ; A. Perkusich
KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects / J. A. Bañares ; P. R. Muro-Medrano ; J. L. Villarroel ; F. J. Zarazaga
Modeling of a Library with THORNs / F. Köster ; S. Schöf ; M. Sonnenschein ; R. Wieting
Inheritance of Dynamic Behavior: Development of a Groupware Editor / T. Basten ; W. M. P. van der Aalst
Object Colored Petri Nets - A Formal Technique for Object Oriented Modeling / C. Maier ; D. Moldt
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study / M. Gaspari ; G. ZavattaroSection III：
Formal Reasoning about Actor Programs Using Temporal Logic / S. Schacht
Flexible Types for a Concurrent Model / F. Puntigam
Computational Grids, Languages, and Tools in Multiplatform Environments / Chapter 1：
Introduction
Computational Grids (Invited Talk) / Ian Foster ; Carl Kesselman
The Distributed Engineering Framework TENT / Tomas Forkert ; Hans-Peter Kersken ; Andreas Schreiber ; Martin Strietzel ; Klaus Wolf
A Parallel VRML97 Server Based on Active Objects / Thomas Rischbeck ; Paul Watson
Dynamic Load Balancing Model: Preliminary Results for a Parallel Pseudo-search Engine Indexers/Crawler Mechanisms Using MPI and Genetic Programming / Reginald L. Walker
Measuring the Performance Impact of SP-Restricted Programming in Shared-Memory Machines / Arturo González-Escribano ; Arjan J.C. van Gemund ; ValentÃn Cardeaoso-Payo ; Judith Alonso-López ; David MartÃn-GarcÃa ; Alberto Pedrosa-Calvo
A Neural Network Based Tool for Semi-automatic Code Transformation / Patrick H. Corr ; Peter Milligan ; Vaughan Purnell
A Platform Independent Parallelising Tool Based on Graph Theoretic Models / Oliver Sinnen ; Leonel Sousa
Value Prediction as a Cost-Effective Solution to Improve Embedded Processors Performance / Silvia Del Pino ; Luis Pinauel ; Rafael A. Moreno ; Francisco Tirado
Cellular Automata and Applications in Computational Physics / Chapter 2：
Cellular Automata: Applications (Invited Talk) / Dietrich Stauffer
The Role of Parallel Cellular Programming in Computational Science / Domenico Talia
Optimisation with Parallel Computing / Sourav Kundu
Power System Reliability by Sequential Monte Carlo Simulation on Multicomputer Platforms / Carmen L.T. Borges ; Djalma M. Falcao
A Novel Algorithm for the Numerical Simulation of Collision-Free Plasma-Vlasov Hybrid Simulation / David Nunn
An Efficient Parallel Algorithm for the Numerical Solution of Schrödinger Equation / Jesús Vigo-Aguiar ; Luis M. Quintales ; Srinivasan Natesan
Linear and Non-linear Algebra / Chapter 3：
Parallel Branch-and-Bound for Chemical Engineering Applications: Load Balancing and Scheduling Issues (Invited Talk) / Chao-Yang Gau ; Mark A. Stadtherr
A Parallel Implementation of an Interior-Point Algorithm for Multicommodity Network Flows / Jordi Castro ; Antonio Frangioni
A Parallel Algorithm for Solving the Toeplitz Least Square Problem / Pedro Alonso ; JoseM. Badia ; Antonio M. Vidal
An Index Domain for Adaptive Multi-grid Methods / Andreas Schramm
Parallelization of a Recursive Decoupling Method for Solving Tridiagonal Linear Systems on Distributed Memory Computer / Margarita Amor ; Francisco Arg'uello ; Juan Lipez ; Emilio L. Zapata
A New Parallel Approach to the Toeplitz Inverse Eigenproblem Using Newton-like Methods / Jesuis Peinado
An Efficient Parallel Algorithm for the Symmetric Tridiagonal Eigenvalue Problem / Maria Antionia Forjaz ; Rui Ralha
Non-stationary Parallel Newton Iterative Methods for Nonlinear Problems / Josep Arnal ; Violeta Migallin ; Jose Penades
Parallel Pole Assignment of Single-Input Systems / Maribel Castillo ; Enrique S. Quintana-Orti ; Gregorio Quintana-Orti ; Vicente Hernindez
Solving the Generalized Sylvester Equation with a Systolic Library / Gloria Martinez ; Germin Fabregat
Imaging / Chapter 4：
Thirty Years of Parallel Image Processing (Invited Talk) / Michael J.B. Duff
Parallel Image Processing System on a Cluster of Personal Computers (Best Student Paper Award: First Prize) / Jorge Barbosa ; Joao Tavares ; Armando J. Padilha
Synchronous Non-local Image Processing on Orthogonal Multiprocessor Systems
Non-determinism Analysis in a Parallel-Functional Language / Ricardo Peña ; Clara Segura
Exploiting Implicit Parallelism in Functional Programs with SLAM / John Sargeant ; Chris Kirkham ; Ian Watson
Verifying Generic Erlang Client-Server Implementations / Thomas Arts ; Thomas Noll
The Design and Implementation of Glasgow Distributed Haskell / R.F. Pointon ; P.W. Trinder ; H.-W. Loidl
Implementation Skeletons in Eden: Low-Effort Parallel Programming / Ulrike Klusik ; Rita Loogen ; Steffen Priebe ; Fernando Rubio
ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry / Michael Hanus ; Frank Huch ; Philipp Niederau
Distributed Programming in Haskell with Ports / Ulrich Norbisrath
The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour / Kevin Hammond
A Usage Analysis with Bounded Usage Polymorphism and Subtyping / Jörgen Gustavsson ; Josef Svenningsson
Polygonizing Implicit Surfaces in a Purely Functional Way / Thorsten H.-G. Zörner ; Pieter Koopman ; Marko van Eekelen ; Rinus Plasmeijer
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs / Olaf Chitil ; Colin Runciman ; Malcolm Wallace
Porting the Clean Object I/O Library to Haskell / Peter Achten ; Simon Peyton Jones
Organizing Speculative Computations in Functional Systems / Raimund Schroeder ; Werner Kluge
Improving Cache Effectiveness through Array Data Layout Manipulation in SAC / Clemens Grelck
The Collective Semantics in Functional SPMD Programming / John O'Donnell
Author Index
Non-determinism Analysis in a Parallel-Functional Language / Ricardo Peña ; Clara Segura
Exploiting Implicit Parallelism in Functional Programs with SLAM / John Sargeant ; Chris Kirkham ; Ian Watson
Verifying Generic Erlang Client-Server Implementations / Thomas Arts ; Thomas Noll
Improved Upper Bound on the Nonlinearity of High Order Correlation Immune Functions / Yuliang Zheng ; Xian-Mo Zhang
Public Key Systems
Towards Practical Non-interactive Public Key Cryptosystems Using Non-maximal Imaginary Quadratic Orders / Detlef Huhnlein ; Michael J. Jacobson, Jr. ; Damian Weber
On the Implementation of Cryptosystems Based on Real Quadratic Number Fields / Sachar Paulus
WordNet++: A Lexicon Supporting the Color-X Method / Ans A.G. Steuten ; Frank Dehne ; Reind P. van de Riet
Temporal Databases
Generating Narratives from Plots Using Schema Information / Antonio L. Furtado ; Angelo E.M. Ciarlini
Temporal Granularity Enlightened by Knowledge / Sylviane R. Schwer
Word-Sense Disambiguation
Coping with Different Types of Ambiguity Using a Uniform Context Handling Mechanism / Martin Romacker ; Udo Hahn
WSD AlgorithmApplied to a NLP System / Andres Montoyo ; Manuel Palomar
"Beijing Frowns and Washington Pays Close Attention" Computer Processing of Relations between Geographical Proper Names in Foreign Affairs / Odile Piton ; Denis Maurel
Semantic Relationships in Databases
Understanding and Representing Relationship Semantics in Database Design / Veda C. Storey
An Ontology for Classifying the Semantics of Relationships in Database Design / Harald Ullrich ; Sandeep Purao
A Very Large Database of Collocations and Semantic Links / Igor Bolshakov ; Alexander Gelbukh
Semantic and Contextual Document Retrieval, Traceability
Natural Language Analysis for Semantic Document Modeling / Terje Brasethvik ; Jon Atle Gulla
Domain Analysis and Queries in Context / Alfs T. Berztiss
Natural Language Generation for Answering E-Mail and OLAP
Using Information Extraction and Natural Language Generation to Answer E-Mail / Leila Kosseim ; Stephane Beauregard ; Guy Lapalme
Using OLAP and Data Mining for Content Planning in Natural Language Generation / Eloi L. Favero ; Jacques Robin
NLP Techniques for Information Retrieval
Toward an Enhancement of Textual Database Retrieval Using NLP Techniques / Asanee Kawtrakul ; Frederic Andres ; Kinji Ono ; Chaiwat Ketsuwan ; Nattakan Pengphon
Document Identification by Shallow Semantic Analysis / Abdelhamid Bouchachia ; Roland T. Mittermeir ; Heinz Pozewaunig
A Smart Web Query Engine for Semantic Retrieval of Web Data and Its Application to E-Trading / Roger H.L. Chiang ; Cecil Chua ; Veda C.Storey
GETESS: Constructing a Linguistic Search Index for an Internet Search Engine / Ilvio Bruder ; Antje Düsterhöft ; Markus Becker ; Jochen Bedersdorfer ; Günter Neumann
Using Semantics for Efficient Information Retrieval / Amalia Todirascu ; François de Beuvron ; Dan Gâlea ; Bernard Keith ; François Rousselot
Guidelines for NL-Based Requirements Specifications in NIBA / Günther Fliedl ; Christian Kop ; Willi Mayerthaler ; Heinrich C. Mayr ; Christian Winkler
Developing Document Analysis and Data Extraction Tools for Entity Modelling / Heather Fulford
On the Automatization of Database Conceptual Modelling through Linguistic Engineering / Paloma MartÃnez ; Ana GarcÃa-Serrano
Technical Databases
The REVERE Project: Experiments with the Application of Probabilistic NLP to Systems Engineering / Paul Rayson ; Luke Emmet ; Roger Garside ; Pete Sawyer
Presenting Mathematical Concepts as an Example for Inference-Rich Domains / Helmut Horacek
Users and Interactions in WEB Querying
Modeling Interaction and Media Objects / Klaus-Dieter Schewe ; Bernhard Thalheim
Conceptual Patterns
Validating Conceptual Models - Utilising Analysis Patterns as an Instrument for Explanation Generation / Maria Bergholtz ; Paul Johannesson
Conceptual Patterns - A Consolidation of Coad's and Wohed's Approaches / Petia Wohed
Patterns Retrieval System: A First Attempt / Catherine Berrut ; Agnès Front-Conte
Posters and Demonstrations
Ontology Learning from Text / Alexander Maedche ; Steffen Staab
ISIS: Interaction through Spèech with Information Systems / Afzal Ballim ; Vincenzo Pallotta
Effects of Hypertext Navigational Structure on Knowledge Acquisition / Mohamed Khalifa ; Rinky Lam
MEDIEVAL: A Navigation Tool Through Medieval Documents / Hatem Ghorbel
MESIA: A Web Site Assistant for Document Filtering / Pablo Sanchez Torralba
Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices / Angel Fernandez Pineda ; Enric Trillas ; Claudio Vaucheret
Reasoning about the Elementary Functions of Complex Analysis / Robert M. Corless ; James H. Davenport ; David J. Jeffrey ; Gurjeet Litt ; Stephen M. Watt
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic / Martine Ceberio ; Laurent Granvilliers
Basic Operators for Solving Constraints via Collaboration of Solvers / Carlos Castro ; Eric Monfroy
Automatic Determination of Geometric Loci.3D-Extension of Simson-Steiner Theorem / Eugenio Roanes-MacÃas
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra / MarkW. Giesbrecht ; Ilias S. Kotsireas
A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects / Jochen Pfalzgraf
A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design / Andres Iglesias ; Akemi Galvez
How Symbolic Computation Can Benefit Computer-Aided Geometric Design
CDR: A Rewriting Based Tool to Design FPLA Circuits / Zahir Maazouzi ; Nirina Andrianarivelo ; Wadoud Bousdira ; Jacques Chabin
Locally Effective Objects and Artificial Intelligence / Julio Rubio
Negotiation Algorithms for Multi-agent Interactions / Marco A. Arranz
Some Techniques of Isomorph-Free Search / Thierry Boy de la Tour
Author Index
Invited Papers
George Boole, a Forerunner of Symbolic Computation / Luis M. Laita ; Luis de Ledesma ; Eugenio Roanes-Lozano ; Alberto Brunori
Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management / Marc Knoppe
Incompleteness in Data Mining / Hosagrahar Visvesvaraya Jagadish
Mining E-Commerce Data: The Good, the Bad, and the Ugly / Ronny Kohavi
Seamless Integration of Data Mining with DBMS and Applications / Hongjun Lu
Web Mining
Applying Pattern Mining to Web Information Extraction / Chia-Hui Chang ; Shao-Chen Lui ; Yen-Chin Wu
Empirical Study of Recommender Systems Using Linear Classifiers / Vijay S. Iyengar ; Tong Zhang
iJade eMiner-A Web-Based Mining Agent Based on Intelligent Java Agent Development Environment (iJade) on Internet Shopping / Raymond S.T. Lee ; James N.K. Liu
A Characterized Rating Recommend System / Yao-Tsung Lin ; Shian-Shyong Tseng
Discovery of Frequent Tree Structured Patterns in Semistructured Web Documents / Tetsuhiro Miyahara ; Takayoshi Shoudai ; Tomoyuki Uchida ; Kenichi Takahashi ; Hiroaki Ueda
Text Mining
Text Categorization Using Weight Adjusted k -Nearest Neighbor Classification / Eui-Hong Han ; George Karypis ; Vipin Kumar
Predictive Self-Organizing Networks for Text Categorization / Ah-Hwee Tan
Meta-learning Models for Automatic Textual Document Categorization / Kwok-Yin Lai ; Wai Lam
Efficient Algorithms for Concept Space Construction / Chi Yuen Ng ; Joseph Lee ; Felix Cheung ; Ben Kao ; David Cheung
Topic Detection, Tracking, and Trend Analysis Using Self-Organizing Neural Networks / Kanagasabi Rajaraman
Automatic Hypertext Construction through a Text Mining Approach by Self-Organizing Maps / Hsin-Chang Yang ; Chung-Hong Lee
Applications and Tools
Semantic Expectation-Based Causation Knowledge Extraction: A Study on Hong Kong Stock Movement Analysis / Boon-Toh Low ; Ki Chan ; Lei-Lei Choi ; Man-Yee Chin ; Sin-Ling Lay
A Toolbox Approach to Flexible and Efficient Data Mining / Ole M. Nielsen ; Peter Christen ; Markus Hegland ; Tatiana Semenova ; Timothy Hancock
Determining Progression in Glaucoma Using Visual Fields / Andrew Turpin ; Eibe Frank ; Mark Hall ; Ian H. Witten ; Chris A. Johnson
Seabreeze Prediction Using Bayesian Networks / Russell J. Kennett ; Kevin B. Korb ; Ann E. Nicholson
Semi-supervised Learning in Medical Image Database / Chun Hung Li ; Pong Chi Yuen
On Application of Rough Data Mining Methods to Automatic Construction of Student Models / Feng-Hsu Wang ; Shiou-Wen Hung
Concept Hierarchies
Concept Approximation in Concept Lattice / Keyun Hu ; Yuefei Sui ; Yuchang Lu ; Ju Wang ; Chunyi Shi
Generating Concept Hierarchies/Networks: Mining Additional Semantics in Relational Data / T.Y. Lin
Representing Large Concept Hierarchies Using Lattice Data Structure / Yanee Kachai ; Kitsana Waiyamai
Feature Selection
Feature Selection for Temporal Health Records / Rohan A. Baxter ; Graham J. Williams ; Hongxing He
Boosting the Performance of Nearest Neighbour Methods with Feature Selection / Shlomo Geva
Feature Selection for Meta-learning / Alexandros Kalousis ; Melanie Hilario
Interestingness
Efficient Mining of Niches and Set Routines / Guozhu Dong ; Kaustubh Deshpande
Evaluation of Interestingness Measures for Ranking Discovered Knowledge / Robert J. Hilderman ; Howard J. Hamilton
Peculiarity Oriented Mining and Its Application for Knowledge Discovery in Amino-Acid Data / Ning Zhong ; Muneaki Ohshima ; Setsuo Ohsuga
Sequence Mining
Mining Sequence Patterns from Wind Tunnel Experimental Data for Flight Control / Zhenyu Liu ; Wesley W. Chu ; Adam Huang ; Chris Folk ; Chih-Ming Ho
Scalable Hierarchical Clustering Method for Sequences of Categorical Values / Tadeusz Morzy ; Marek Wojciechowski ; Maciej Zakrzewicz
Engineered Communications for Microbial Robotics / Ron Weiss ; Thomas F. Knight
Successive State Transitions with I/O Interface by Molecules / Ken Komiya ; Kensaku Sakamoto ; Hidetaka Gouzu ; Shigeyuki Yokoyama ; Masanori Arita ; Akio Nishikawa ; Masami Hagiya
Solution of a Satisfiability Problem on a Gel-Based DNA Computer / Ravinderjit S. Braich ; Cliff Johnson ; Paul W.K. Rothemund ; Darryl Hwang ; Nickolas Chelyapov ; Leonard M. Adleman
Diophantine Equations and Splicing: A New Demonstration of the Generative Capability of H Systems / Pierluigi Frisco
About Time-Varying Distributed H Systems / Maurice Margenstern ; Yurii Rogozhin
String Tile Models for DNA Computing by Self-Assembly / Erik Winfree ; Tony Eng ; Grzegorz Rozenberg
From Molecular Computing to Molecular Programming
Graph Replacement Chemistry for DNA Processing / John S. McCaskill ; Ulrich Niemann
DNA and Circular Splicing / Paola Bonizzoni ; Clelia De Felice ; Giancarlo Mauri ; Rosalba Zizza
Molecular Computing with Generalized Homogeneous P-Systems / Rudolf Freund ; Franziska Freund
Computationally Inspired Biotechnologies: Improved DNA Synthesis and Associative Search Using Error-Correcting Codes and Vector-Quantization / John H. Reif ; Thomas H. LaBean
Challenges and Applications for Self-Assembled DNA Nanostructures / Nadrian C. Seeman
A Space-Efficient Randomized DNA Algorithm for k-Sat / Kevin Chen ; Vijay Ramachandran
A DNA-Based Random Walk Method for Solving k-SAT / iaz ; Juan Luis Esteban ; Mitsunori Ogihara
Solving Computational Learning Problems of Boolean Formulae on DNA Computers / Yasubumi Sakakibara
The Fidelity of Annealing-Ligation: A Theoretical Analysis / John A. Rose ; Russell J. Deaton
DNA Implementation of a Royal Road Fitness Evaluation / Elizabeth Goode ; David Harlan Wood ; Junghuei Chen
Steady Flow Micro-Reactor Module for Pipelined DNA Computations / Jöhn S. McCaskill ; Robert Penchovsky ; Marlies Gohlke ; Jorg Ackermann ; Thomas Rücker
Author Index
Engineered Communications for Microbial Robotics / Ron Weiss ; Thomas F. Knight
Successive State Transitions with I/O Interface by Molecules / Ken Komiya ; Kensaku Sakamoto ; Hidetaka Gouzu ; Shigeyuki Yokoyama ; Masanori Arita ; Akio Nishikawa ; Masami Hagiya
Solution of a Satisfiability Problem on a Gel-Based DNA Computer / Ravinderjit S. Braich ; Cliff Johnson ; Paul W.K. Rothemund ; Darryl Hwang ; Nickolas Chelyapov ; Leonard M. Adleman
Termination Proofs by Context-Dependent Interpretations / Dieter Hofbauer
Uniform Normalisation beyond Orthogonality / Zurab Khasidashvili ; Mizuhito Ogawa ; Vincent van Oostrom
Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order / Konstantin Korovin ; Andrei Voronkov
Relating Accumulative and Non-accumulative Functional Programs / Armin Kuhnemann ; Robert Gluck ; Kazuhiko Kakehi
Context Unification and Traversal Equations / Jordi Levy ; Mateu Villaret
Weakly Regular Relations and Applications / Sebastien Limet ; Pierre Rety ; Helmut Seidl
On the Parallel Complexity of Tree Automata / Markus Lohrey
Transfinite Rewriting Semantics for Term Rewriting Systems / Salvador Lucas
Goal-Directed E-Unification / Christopher Lynch ; Barbara Morawska
The Unification Problem for Confluent Right-Ground Term Rewriting
Systems / Michio Oyamaguchi ; Yoshikatsu Ohta
On Termination of Higher-Order Rewriting / Femke van Raamsdonk
Matching with Free Function Symbols - A Simple Extension of Matching? / Christophe Ringeissen
Deriving Focused Calculi for Transitive Relations / Georg Struth
A Formalised First-Order Confluence Proof for the ?-Calculus Using One-Sorted Variable Names (Barendregt Was Right after all ... almost) / Rene Vestergaard ; James Brotherston
A Normal Form for Church-Rosser Language Systems / Jens R. Woinowski
Confluence and Termination of Simply Typed Term Rewriting Systems / Toshiyuki Yamada
System Descriptions
Parallel Evaluation of Interaction Nets with MPINE / Jorge Sousa Pinto
Stratego: A Language for Program Transformation Based on Rewriting Strategies (System Description of Stratego 0.5) / Eelco Visser
Author Index
Invited Talks
Computing and Proving / Henk Barendregt
Rewriting for Deduction / Verification ; Michael Rusinowitch
An Intelligent Decision Support System for Intrusion Detection and Response / Dipankar Dasgupta ; Fabio A. Gonzalez
Mathematical Models of the Covert Channels / Alexander Grusho
Open Issues in Formal Methods for Cryptographic Protocol Analysis / Catherine Meadows
Future Directions in Role-Based Access Control Models / Ravi Sandhu
Secure Networked Computing / Vijay Varadharajan
Network Security Systems: Foundations, Models, and Architectures Composability of Secrecy / Jan Jurjens
Agent-Based Model of Computer Network Security System: A Case Study / Vladimir I. Gorodetski ; O. Karsayev ; A. Khabalov ; I. Kotenko ; Leonard J. Popyack ; Victor A. Skormin
Security Considerations and Models for Service Creation in Premium IP Networks / Michael Smirnov
Secure Systems Design Technology / Peter D. Zegzhda ; Dmitry P. Zegzhda
A Privacy-Enhancing e-Business Model Based on Infomediaries / Dimitris Gritzalis ; Konstantinos Moulinos ; Konstantinos Kostis
Applying Practical Formal Methods to the Specification and Analysis of Security Properties / Constance Heitmeyer
Modeling Software Tools Complex for Evaluation of Information Systems Operation Quality (CEISOQ) / Andrey Kostogryzov
Analyzing Separation of Duties in Petri Net Workflows / Konstantin Knorr ; Harald Weidner
Intrusion Detection: Foundations and Models
Information Security with Formal Immune Networks / Alexander O. Tarakanov
BASIS: A Biological Approach to System Information Security / Jose G. Delgado-Frias ; Dennis L. McGee ; Joseph V. Giordano
Learning Temporal Regularities of User Behavior for Anomaly Detection / Alexandr Seleznyov ; Oleksiy Mazhelis ; Seppo Puuronen
Investigating and Evaluating Behavioural Profiling and Intrusion Detection Using Data Mining / Harjit Singh ; Steven Furnell ; Benn Lines ; Paul Dowland
Access Control, Authentication, and Authorization
Typed MSR: Syntax and Examples / Iliano Cervesato
The Set and Function Approach to Modeling Authorization in Distributed Systems / Steve Barker ; Tatyana Ryutov ; Clifford Neuman
Fenix Secure Operating System: Principles, Models, and Architecture / Pavel G. Stepanov ; Alexey D. Otavin
Cryptography and Steganography: Mathematical Basis, Protocols, and Applied Methods
Generalized Oblivious Transfer Protocols Based on Noisy Channels / Valeri Korjik ; Kirill Morozov
Controlled Operations as a Cryptographic Primitive / Boris V. Izotov ; Alexander A. Moldovyan ; Nick A. Moldovyan
Key Distribution Protocol Based on Noisy Channel and Error Detecting Codes / Viktor Yakovlev ; Valery Korjik ; Alexander Sinuk
Dynamic Group Key Management Protocol / Ghassan Chaddoud ; Isabelle Chrisment ; Andre Schaff
SVD-Based Approach to Transparent Embedding Data into Digital Images / Vladimir Samoilov
Fast Encryption Algorithm Spectr-H64 / Nick D. Goots
CVS at Work: A Report on New Failures upon Some Cryptographic Protocols / Antonio Durante ; Riccardo Focardi ; Roberto Gorrieri
On Some Cryptographic Properties of Rijndael / Selcuk Kavut ; Melek D. Yucel
Author Index
Invited Talks
An Intelligent Decision Support System for Intrusion Detection and Response / Dipankar Dasgupta ; Fabio A. Gonzalez
Mathematical Models of the Covert Channels / Alexander Grusho
Efficient Universal Pushdown Cellular Automata and Their Application to Complexity / Martin Kutrib
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints / Salvatore La Torre ; Margherita Napoli ; Mimmo Parente
P Systems with Membrane Creation: Universality and Efficiency / Madhu Mutyam ; Kamala Krithivasan
On the Computational Power of a Continuous-Space Optical Model of Computation / Thomas J. Naughton ; Damien Woods
On a P-optimal Proof System for the Set of All Satisfiable Boolean Formulas (SAT) / Zenon Sadowski
D0L System = Watson-Crick Complementarity=Universal Computation / Petr SosÃk
Author Index
Invited Lectures
Three Small Universal Turing Machines / Claudio Baiocchi
Computation in Gene Networks / Asa Ben-Hur ; Hava T. Siegelmann
図書
図書
