Last update: Thu Aug 29 06:28:19 MDT 2024
Volume 954, 1995J. F. Sowa Syntax, Semantics, and Pragmatics of Contexts . . . . . . . . . . . . . . . . 1 N. Foo Ontology Revision . . . . . . . . . . . 16 F. Lehmann and R. Wille A Triadic Approach to Formal Concept Analysis . . . . . . . . . . . . . . . . 32 R. Y. Kamath and W. R. Cyre Automatic Integration of Digital System Requirements using Schemata . . . . . . 44 A. Puder and S. Markwitz and F. Gudermann Service Trading Using Conceptual Structures . . . . . . . . . . . . . . . 59 N. Nicolov and C. Mellish and G. Ritchie Sentence Generation from Conceptual Graphs . . . . . . . . . . . . . . . . . 74 B. Moulin Discourse Spaces: A Pragmatic Interpretation of Contexts . . . . . . . 89 B. Moulin A Pragmatic Representational Approach of Context and Reference in Discourses . . 105 J. C. Wagner and R. H. Baud and J.-R. Scherrer Using the Conceptual Graphs Operations for Natural Language Generation in Medicine . . . . . . . . . . . . . . . . 115 T. Amghar and F. Gayral and B. Levrat Table 10 left without paying the bill! A Good Reason to Treat Metonymy with Conceptual Graphs . . . . . . . . . . . 129 G. Ellis Object-Oriented Conceptual Graphs . . . 144 Bikash Chandra Ghosh and V. Wuwongse A Direct Proof Procedure for Definite Conceptual Graph Programs . . . . . . . 158 I. Bournaud and J.-G. Ganascia Conceptual Clustering of Complex Objects: A Generalization Space based Approach . . . . . . . . . . . . . . . . 173 M. Champesme Using Empirical Subsumption to Reduce the Search Space in Learning . . . . . . 188 J. D. Roberts A New Parallelization of Subgraph Isomorphism Refinement for Classification and Retrieval of Conceptual Structures . . . . . . . . . 202 A. Chan and P. Kocura Transputer Network Implementation of a Parallel Projection Algorithm for Conceptual Graphs . . . . . . . . . . . 217 A. Fall Spanning Tree Representations of Graphs and Orders in Conceptual Structures . . 232 J. Esch and R. Levinson An Implementation Model for Contexts and Negation in Conceptual Graphs . . . . . 247 O. Cogis and O. Guinaldo A Linear Descriptor for Conceptual Graphs and a Class for Polynomial Isomorphism Test . . . . . . . . . . . . 263 M. Willems Projection and Unification for Conceptual Graphs . . . . . . . . . . . 278 J. Poole and J. A. Campbell A Novel Algorithm for Matching Conceptual and Related Graphs . . . . . 293 C. Hoede On the Ontology of Knowledge Graphs . . 308 M. Wermelinger Conceptual Graphs and First-Order Logic 323 H. Van den Berg Existential Graphs and Dynamic Predicate Logic . . . . . . . . . . . . . . . . . 338
G. Bilardi and F. P. Preparata Lower Bounds to Processor-Time Tradeoffs Under Bounded Speed Message Propagation 1 J. W. Jaromczyk and M. Kowaluk The Two-Line Center Problem from a Polar View: a New Algorithm and Data Structure 13 A. Glozman and K. Kedem and G. Shpitalnik On some Geometric Selection and Optimization Problems via Sorted Matrices . . . . . . . . . . . . . . . . 26 R. Holzman and Y. Marcus and D. Peleg Load Balancing in Quorum Systems . . . . 38 B. Kroell and P. Widmayer Balanced Distributed Search Trees Do Not Exist . . . . . . . . . . . . . . . . . 50 V. Estivill-Castro and J. Urrutia Two-Floodlight Illumination of Convex Polygons . . . . . . . . . . . . . . . . 62 G. Das and M. T. Goodrich On the Complexity of Approximating and Illuminating Three-Dimensional Convex Polyhedra . . . . . . . . . . . . . . . 74 C. Phillips and C. Stein and J. Wein Scheduling Jobs that Arrive Over Time 86 Gudmund Skovbjerg Frandsen and T. Husfeldt and P. Bro Miltersen and T. Rauhe Dynamic Algorithms for the Dyck Languages . . . . . . . . . . . . . . . 98 M. Sharir Arrangements in Higher Dimensions: Voronoi Diagrams, Motion Planning, and Other Applications . . . . . . . . . . . 109 S. Carlsson and H. Jonsson Computing a Shortest Watchman Path in a Simple Polygon in Polynomial Time . . . 122 A. Lopez-Ortiz and S. Schuierer Going Home Through an Unknown Street . . 135 S. Albers and H. Koga Page Migration with Limited Local Memory Capacity . . . . . . . . . . . . . . . . 147 S. Irani and S. Seiden Randomized Algorithms for Metrical Task Systems . . . . . . . . . . . . . . . . 159 P. Gupta and R. Janardan and J. Majhi and T. Woo Efficient Geometric Algorithms for Workpiece Orientation in 4- and 5 Axis NC Machining . . . . . . . . . . . . . . 171 D. Kirkpatrick and J. Snoeyink Computing Common Tangents Without a Separating Line . . . . . . . . . . . . 183 E. F. Grove and M.-Y. Kao and P. Krishnan and J. Scott Vitter Online Perfect Matching and Mobile Computing . . . . . . . . . . . . . . . 194 G. Ausiello and E. Feuerstein and S. Leonardi and L. Stougie Competitive Algorithms for the On-line Traveling Salesman . . . . . . . . . . . 206 G. Toussaint Quadrangulations of Planar Sets . . . . 218 A. Lingas and A. Mukhopadhyay A Linear-time Construction of the Relative Neighborhood Graph within a Histogram . . . . . . . . . . . . . . . 228 G. Liotta and G. Di Battista Computing Proximity Drawings of Trees in the $3$-Dimensional Space . . . . . . . 239 A. Roberts and A. Symvonis and L. Zhang Routing on Trees via Matchings . . . . . 251 F. S. Annexstein and E. A. Kuchko A Ranking Algorithm for Hamilton Paths in Shuffle-Exchange Graphs . . . . . . . 263 J. Boyar and R. Fagerberg and K. S. Larsen Amortization Results for Chromatic Search Trees, with an Application to Priority Queues . . . . . . . . . . . . 270 Gerth Stoelting Brodal Fast Meldable Priority Queues . . . . . 282 D. Kagaris and G. E. Pantziou and S. Tragoudas and C. D. Zaroliagis On the Computation of Fast Data Transmissions in Networks with Capacities and Delays . . . . . . . . . 291 S. Baruah and G. Pruesse Routing with Delays when Storage is Costly . . . . . . . . . . . . . . . . . 303 P. Vitanyi and M. Li Algorithmic Arguments in Physics of Computation . . . . . . . . . . . . . . 315 L. Arge The Buffer Tree: A New Technique for Optimal I/O-Algorithms . . . . . . . . . 334 Y.-J. Chiang Experiments on the Practical I/O Efficiency of Geometric Algorithms: Distribution Sweep vs. Plane Sweep . . . 346 D. G. Corneil and S. Olariu and L. Stewart Computing a Dominating Pair in an Asteroidal Triple-free Graph in Linear Time . . . . . . . . . . . . . . . . . . 358 H. N. Djidjev A Linear Algorithm for the Maximal Planar Subgraph Problem . . . . . . . . 369 P. Callahan and M. T. Goodrich and K. Ramaiyer Topology B-Trees and their Applications 381 A. Moffat and J. Katajainen In-Place Calculation of Minimum-Redundancy Codes . . . . . . . . 393 D. Kaller and A. Gupta and T. Shermer Regular-Factors in the Complements of Partial $k$-Trees . . . . . . . . . . . 403 K. Cattell and M. J. Dinneen and M. R. Fellows Obstructions to Within a Few Vertices or Edges of Acyclic . . . . . . . . . . . . 415 R. Hariharan and S. Kapoor and V. Kumar Faster Enumeration of All Spanning Trees of a Directed Graph . . . . . . . . . . 428 V. King A Simpler Minimum Spanning Tree Verification Algorithm . . . . . . . . . 440 P. Berman and T. Fujito On Approximation Properties of the Independent Set Problem in Degree 3 Graphs . . . . . . . . . . . . . . . . . 449 Hoong Chuin Lau Approximation of Constraint Satisfaction via Local Search . . . . . . . . . . . . 461 A. Andersson and K. Swanson On the Difficulty of Range Searching . . 473 F. Fich and P. Bro Miltersen Tables Should Be Sorted (on random access machines) . . . . . . . . . . . . 482 C. Armen and C. Stein Improved Length Bounds for the Shortest Superstring Problem . . . . . . . . . . 494 V. Bafna and B. Narayanan and R. Ravi Non-Overlapping Local Alignments . . . . 506 K. Mehlhorn Experiences with the Implementation of Geometric Algorithms . . . . . . . . . . 518
J. Y. B. Lee and P. C. Wong The effect of function noise, on GP efficiency . . . . . . . . . . . . . . . 1 P. A. Whigham and R. I. McKay Genetic approaches to learning recursive relations . . . . . . . . . . . . . . . 17 T. Aytekin and E. E. Korkmaz and H. A. Guevennir An application of genetic programming to the 4-OP problem using map-trees . . . . 28 J. Rowe and I. East Direct replacement: a genetic algorithm without mutation which avoids deception 41 Q. Tuan Pham Competitive evolution: a natural approach to operator selection . . . . . 49 Z. Zhang and S. Bai and G.- J. Li Emergent collective computational abilities in interacting particle systems . . . . . . . . . . . . . . . . 61 Z. Michalewicz A perspective on evolutionary computation . . . . . . . . . . . . . . 73 X. Yao and P. Darwen An experimental study of $N$-person iterated prisoner's dilemma games . . . 90 H. Chan and P. Mazumder A systolic architecture for high speed hypergraph partitioning using genetic algorithms . . . . . . . . . . . . . . . 109 K. P. Wong and S. Y. W. Wong Development of hybrid optimisation techniques based on genetic algorithms and simulated annealing . . . . . . . . 127 K. P. Wong and S. Y. W. Wong Development of parallel hybrid optimisation techniques based on genetic algorithms and simulated annealing . . . 155 R. Hinterding and L. Khan Genetic algorithms for cutting stock problems: with and without contiguity 166 J. Lienig and K. Thulasiraman GASBOR: A genetic algorithm for switchbox routing in integrated circuits 187 D. Seunarine and E. Eberbach The calculus of self-modifiable algorithm based evolutionary computer network routing . . . . . . . . . . . . 201 T. Sugiyama and T. Kido and M. Nakanishi Evolving robot strategy for open ended game . . . . . . . . . . . . . . . . . . 225 Z. Pan and L. Kang and J. He and Y. Liu An evolutionary approach to adaptive model-building . . . . . . . . . . . . . 236 A. M. C. Machado and M. F. M. Campos Training neural networks with influence diagrams . . . . . . . . . . . . . . . . 245 C. A. Lindley A behavioural theory of intelligent machines as a framework for the analysis of adaptation . . . . . . . . . . . . . 257 P. J. Darwen and X. Yao On evolving robust strategies for iterated prisoner's dilemma . . . . . . 276 P. Piggott and F. Suraweera Encoding graphs for genetic algorithms: an investigation using the minimum spanning tree problem . . . . . . . . . 305
A. Drogoul When Ants Play Chess (Or Can Strategies Emerge from Tactical Behaviours?) . . . 13 H.-D. Burkhard How to Define Agent Properties --- Or: What is a Fair Agent? . . . . . . . . . 28 K. Nagao and K. Hasida and T. Miyata Emergent Planning: A Computational Architecture for Situated Behaviour . . 42 O. Shehory and S. Kraus Coalition Formation Among Autonomous Agents: Strategies and Complexity . . . 56 S. P. Ketchpel Coalition Formation Among Autonomous Agents . . . . . . . . . . . . . . . . . 73 N. S. Glance and B. A. Huberman Organizational Fluidity and Sustainable Cooperation . . . . . . . . . . . . . . 89 J. Liu and K. Sycara Emergent Constraint Satisfaction Through Multi-Agent Coordinated Interaction . . 107 K. Fischer and N. Kuhn and H. J. Mueller and J. P. Mueller Sophisticated and Distributed: The Transportation Domain . . . . . . . . . 122 E. Ephrati and J. S. Rosenschein A Framework for the Interleaving of Execution and Planning for Dynamic Tasks by Multiple Agents . . . . . . . . . . . 139 B. Burmeister and A. Haddadi and K. Sundermeyer Generic, Configurable, Cooperation Protocols for Multi-Agent Systems . . . 157 M. Correa and H. Coelho Around the Architectural Agent Approach to Model Conversations . . . . . . . . . 172 R. Conte and C. Castelfranchi Norms as Mental Objects --- From Normative Beliefs to Normative Goals . . 186 P. Bourgine The Hedonic Agent: A Constructivist Approach of Abductive Capacities . . . . 199 D. Steiner and A. Burt and M. Kolb and C. Leri The Conceptual Framework of MAI02L . . . 217 M. Manela and J. A. Campbell Designing Good Pursuit Problems as Testbeds for Distributed . . . . . . . . 231
J. Ueberberg Interactive Theorem Proving and Computer Algebra . . . . . . . . . . . . . . . . 1 A. Rege and J. Canny A Practical Algorithm for Geometric Theorem Proving . . . . . . . . . . . . 10 K. Homann and J. Calmet Combining Theorem Proving and Symbolic Mathematical Computing . . . . . . . . . 18 Y. V. Kapitonova and A. A. Letichevsky and V. A. Volkov and M. S. L'vov Tools for Solving Problems in the Scope of Algebraic Programming . . . . . . . . 30 M. Chippendale Planning a Proof of the Intermediate Value Theorem . . . . . . . . . . . . . 48 P. Madden and I. Green A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans . . . . . . . . . . . . . . 64 G. Butler Datalog and Two Groups and C++ . . . . . 80 P. Jumpertz Linear Logic and Real Closed Fields: a Way to Handle Situations Dynamically . . 93 S. Baker and A. Smaill A Proof Environment for Arithmetic with the Omega Rule . . . . . . . . . . . . . 115 S. A. Missura and A. Weber Using Commutativity Properties for Controlling Coercions . . . . . . . . . 131 S. A. Missura Theories = Signatures + Propositions Used as Types . . . . . . . . . . . . . 144 S. Collart and D. Mall The Ideal Structure of Gröbner Base Computations . . . . . . . . . . . . . . 156 J. Pfalzgraf and K. Stokkermans and U. C. Sigmund Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings . . . . . . . . . . . . . . . 167 V. Telerman Propagation of Mathematical Constraints in Subdefinite Models . . . . . . . . . 191 R. Buendgen Combining Computer Algebra and Rule Based Reasoning . . . . . . . . . . . . 209 S. Tsumoto and H. Tanaka Algebraic Specification of Empirical Inductive Learning Methods based on Rough Sets and Matroid Theory . . . . . 224 D. J. Nettleton and R. Garigliano Subsymbolic Processing using Adaptive Algorithms . . . . . . . . . . . . . . . 244 L. M. Laita and L. De Ledesma and E. Roanes-Lozano and E. Roanes-Macias An Interpretation of the Propositional Boolean Algebra as a $k$-algebra Effective Calculus . . . . . . . . . . . 255 A. Semenov and A. Babichev and A. Leshchenko Subdefinite Computations and Symbolic Transformations in the UniCalc Solver 264
U. Zwick and M. S. Paterson The Complexity of Mean Payoff Games . . 1 K. Iwama and S. Miyazaki Approximation of coNP Sets by NP-Complete Sets . . . . . . . . . . . . 11 Q.-W. Feng and R. F. Cohen and P. Eades How to Draw a Planar Clustered Graph . . 21 T. Calamoneri and R. Petreschi An Efficient Orthogonal Grid Drawing Algorithm for Cubic Graphs . . . . . . . 31 S.-W. Cheng and Y.-F. Xu Constrained Independence System and Triangulations of Planar Point Sets . . 41 C. Wang and B. Zhu Three Dimensional Weak Visibility: Complexity and Applications . . . . . . 51 Sung Kwon Kim Rectangulating Rectilinear Polygons in Parallel . . . . . . . . . . . . . . . . 61 V. Kamakoti and K. Krithivasan and C. Pandu Rangan Efficient Randomized Incremental Algorithm for the Closest Pair Problem Using Leafary Trees . . . . . . . . . . 71 E. P. F. Chan and R. Van der Meyden Testing Containment of Object-Oriented Conjunctive Queries Is 0p2-Hard . . . . 81 R. Zhang Computing Infinite Relations Using Finite Expressions: a New Approach to the Safety Issue in Relational Databases 91 Seung Jin Lima and Y.-K. Ng Set-Term Unification in a Logic Database Language . . . . . . . . . . . . . . . . 101 M. Wild Computations with Finite Closure Systems and Implications . . . . . . . . . . . . 111 A. Lingas Maximum Tree-Packing in Time O(n050/02) 121 W. Shi and D. B. West Optimal Algorithms for Finding Connected Components of an Unknown Graph . . . . . 131 J. L. Ganley and M. J. Golin and J. S. Salowe The Multi-Weighted Spanning Tree Problem 141 J. Chen Algorithmic Graph Embeddings . . . . . . 151 D. Agrawal and O. Egecioglu and A. El Abbadi Analysis of Quorum-Based Protocols for Distributed (k + 1)- Exclusion . . . . . 161 X. Lin and M. E. Orlowska A Highly Fault-Tolerant Quorum Consensus Method for Managing Replicated Data . . 171 G. Huang Constructing Craig Interpolation Formulas . . . . . . . . . . . . . . . . 181 Y. Kawabe and N. lshii Currying of Order-Sorted Term Rewriting Systems . . . . . . . . . . . . . . . . 191 S. Rengarajan and C. E. Veni Madhavan Stack and Queue Number of 2-Trees . . . 203 S. K. Walley and H. H. Tan Shortest Paths in Random Weighted Graphs 213 X. Zhou and T. Nishizeki Simple Reduction of $f$-Colorings to Edge-Colorings . . . . . . . . . . . . . 223 K. Hayase and K. Sadakane and S. Tani Output-Size Sensitivities of OBDD. Construction Through Maximal Independent Set Problem . . . . . . . . . . . . . . 229 J. Tromp and L. Zhang and Y. Zhao Small Weight Bases for Hamming Codes . . 235 J. Cassaigne and J. Karhumaeki Toeplitz Words, Generalized Periodicity and Periodically Iterated Morphisms . . 244 E. Barcucci and A. Del Lungo and E. Pergola and R. Pinzani A Construction for Enumerating $k$-Coloured Motzkin Paths . . . . . . . 254 V. A. Oleshchuk On Public-Key Cryptosystem Based on Church--Rosser String-Rewriting Systems 264 J. E. Savage Extending the Hong-Kung Model to Memory Hierarchies . . . . . . . . . . . . . . 270 L. Cai and J. Chen On Log-Time Alternating Turing Machines of Alternating Depth $ \kappa $ . . . . 282 K. Kurosawa and S. Kageyama New Bound for Affine Resolvable Designs and Its Application to Authentication Codes . . . . . . . . . . . . . . . . . 292 B. D. Lubachevsky and R. L. Graham Dense Packings of 3kappa(kappa + 1) + 1 Equal Disks in a Circle for kappa = 1,2,3,4, alibi 5 . . . . . . . . . . . . 303 J. Diaz and A. Gibbons and G. Pantziou and M. Serna Efficient Parallel Algorithms for Some Tree Layout Problems . . . . . . . . . . 313 Y. Han and X. Shen Conservative Algorithms for Parallel and Sequential Integer Sorting . . . . . . . 324 Z. Chen An Optimal Algorithm for Proper Learning of Unions of Two Rectangles with Queries 334 Z. Chen Disjunctions of Negated Counting Functions Are Efficiently Learnable with Equivalence Queries . . . . . . . . . . 344 S. Wu Non-empty Cross-3-intersection Theorems of Subsets . . . . . . . . . . . . . . . 350 Y. Bo Convexity of Minimal Total Dominating Functions in Graphs . . . . . . . . . . 357 J. H. Duparc and P. Rolland Transformations for Maximal Planar Graphs with Minimum Degree Five . . . . 366 Z. You and C. Wang An Asynchronous Parallel Method for Linear Systems . . . . . . . . . . . . . 372 X. Zhang On a Kind of Sequence of Polynomials . . 379 J. Meng Hamiltonian Cycles in $2$-generated Cayley Digraphs of Abelian Groups . . . 384 C.-X. Xu and Z.-W. Lu Pandiagonal Magic Squares . . . . . . . 388 H. Wang and Z.-Y. You PFFM and Quasi-Morishima Matrices . . . 392 C. F. Chang and J. X. Chang and X. C. Liu and P. C. B. Lam Edge-Face Total Chromatic Number of Outerplanar Graphs with cap delta(G) = 6 396 R. Schuler and T. Yamakami Sets Computable in Polynomial Time on Average . . . . . . . . . . . . . . . . 400 J. Belanger and J. Wang Rankable Distributions Do Not Provide Harder Instances Than Uniform Distributions . . . . . . . . . . . . . 410 K. Kobayashi Transformations That Preserve Malignness of Universal Distributions . . . . . . . 420 L. A. Hemaspaandra and J. Rothe Intersection Suffices for Boolean Hierarchy Equivalence . . . . . . . . . 430 D. Kelley and P.-J. Wan and Q. Yang A 3/2 log 3-Competitive Algorithm for the Counterfeit Coin Problem . . . . . . 436 S. Carlsson and J. Chen Searching Rigid Data Structures . . . . 446 B.-T. Yang A Better Subgraph of the Minimum Weight Triangulation . . . . . . . . . . . . . 452 W. Gao and B. Yin Sequence Decomposition Method for Computing a Gröbner Basis and Its Application to Bivariate Splines . . . . 456 L. Bai and P. M. Yamakawa and H. Ebara and H. Nakano A Broadcasting Algorithm oil tile Arrangement Graph . . . . . . . . . . . 462 S.-H. Shiau and C.-B. Fang A Fast Maximum Finding Algorithm on Broadcast Communication . . . . . . . . 472 A. Shastri Broadcasting in General Networks I: Trees . . . . . . . . . . . . . . . . . 482 S.-C. Chern and T.-C. Tuan and J.-S. Jwo Uni-Directional Alternating Group Graphs 490 K. Sakurai On Separating Proofs of Knowledge from Proofs of Membership of Languages and Its Application to Secure Identification Schemes . . . . . . . . . . . . . . . . 496 S. O. Krumke and H. Noltemeier and S. S. Ravi and M. V. Marathe Compact Location Problems with Budget and Communication Constraints . . . . . 510 S.-W. Cheng and M. Kaminski and S. Zaks Minimum Dominating Sets of Intervals on Lines . . . . . . . . . . . . . . . . . 520 Y. Choi and T. W. Lam Two-Dimensional Pattern Matching on a Dynamic Library of Texts . . . . . . . . 530 P. Crescenzi and V. Kann and R. Silvestri and L. Trevisan Structure in Approximation Classes . . . 539 M. Peinado Improved Lower Bounds for the Randomized Boppana-Halldorsson Algorithm for MAXCLIQUE . . . . . . . . . . . . . . . 549 Q. Cheng and H. Zhu MNP: A Class of NP Optimization Problems 559 R. Bacik and S. Mahajan Semidefinite Programming and Its Applications to NP Problems . . . . . . 566 L. C.-K. Hui and K.-Y. Lam Analysis and Experimentation on List Update Algorithms . . . . . . . . . . . 576 B. N. Khoury and P. M. Pardalos An Exact Branch and Bound Algorithm for the Steiner Problem in Graphs . . . . . 582 W. Huang and W. Li and W. Lu and Y. Zhang A Physical Model for the Satisfiability Problem . . . . . . . . . . . . . . . . 591 Sam Myo Kim and R. McNaughton An Efficient Algorithm for Local Testability Problem of Finite State Automata . . . . . . . . . . . . . . . . 597 X. Yu and M. Yung Scheduling Task-Tree with Additive Scales on Parallel/Distributed Machines 607 C.-I. Chan and G. H. Young Single-Vehicle Scheduling Problem on a Straight Line with Time Window Constraints . . . . . . . . . . . . . . 617 R. Li and L. Shi An On-Line Algorithm for Some Uniform Processor Scheduling . . . . . . . . . . 627 P. Jeavons and D. Cohen An Algebraic Characterization of Tractable Constraints . . . . . . . . . 633 J. Ding and C. Qing and G. Song Limit Property of Unbalanced Development in Economic Network . . . . . . . . . . 643 T. Jiang Matching and Comparing Sequences in Molecular Biology . . . . . . . . . . . 648 V. V. Vazirani Primal-Dual Schema Based Approximation Algorithms . . . . . . . . . . . . . . . 650
F. Cardone Strict Finitism and Feasibility . . . . 1 R. Parikh Logical Omniscience . . . . . . . . . . 22 V. Y. Sazonov On Feasible Numbers . . . . . . . . . . 30 S. Bloch On Parallel Hierarchies and R0ik . . . . 52 U. Berger and H. Schwichtenberg Program Extraction from Classical Proofs 77 P. Clote Computational Models and Function Algebras . . . . . . . . . . . . . . . . 98 R. L. Constable Expressing Computational Complexity in Constructive Type Theory . . . . . . . . 131 J.-Y Girard Light Linear Logic . . . . . . . . . . . 145 D. Leivant Intrinsic Theories and Computational Complexity . . . . . . . . . . . . . . . 177 S. R. Buss On Herbrand's Theorem . . . . . . . . . 195 J. Krajicek and P. Pudlak Some Consequences of Cryptographical Conjectures for S012 and EF . . . . . . 210 G. Takeuti Frege Proof System and TNC . . . . . . . 221 S. J. Bellantoni Characterizing Parallel Time by Type 2 Recursions With Polynomial Output Length 253 A. Seth Type 2 Polynomial Hierarchies . . . . . 269 S. S. Wainer The Hierarchy of Terminating Recursive Programs over $N$ . . . . . . . . . . . 281 D. Cenzer and J. B. Remmel Feasibly Categorical Models . . . . . . 300 E. Graedel and Y. Gurevich Metafinite Model Theory . . . . . . . . 313 B. Khoussainov and A. Nerode Automatic Presentations of Structures 367 A. Dawar A Restricted Second Order Logic for Finite Structures . . . . . . . . . . . 393 R. Fagin Comparing the Power of Monadic NP Games 414 S. Grumbach and J. Su and C. Tollu Linear Constraint Query Languages: Expressive Power and Complexity . . . . 426 S. Lindell A Constant-Space Sequential Model of Computation for First-Order Logic . . . 447 J. A. Makowsky and Y. B. Pnueli Logics Capturing Relativized Complexity Classes Uniformly . . . . . . . . . . . 463 E. Rosen and S. Weinstein Preservation Theorems in Finite Model Theory . . . . . . . . . . . . . . . . . 480 D. Suciu and V. Breazu-Tannen A Query Language for NC . . . . . . . . 503
R. Wiehagen and T. Zeugmann Learning and Consistency . . . . . . . . 1 R. Freivalds and E. B. Kinber and R. Wiehagen Error Detecting in Inductive Inference 25 R. Freivalds and E. B. Kinber and R. Wiehagen Learning from Good Examples . . . . . . 49 R. Daley and B. Kalyanasundaram Towards Reduction Arguments for FINite Learning . . . . . . . . . . . . . . . . 63 J. Case and M. Suraj and S. Jain Not-So-Nearly-Minimal-Size Program Inference . . . . . . . . . . . . . . . 76 A. Ambainis Optimization Problem in Inductive Inference . . . . . . . . . . . . . . . 96 S. Jain and A. Sharma On Identification by Teams and Probabilistic Machines . . . . . . . . . 108 K. Apsitis Topological Considerations in Composing Teams of Learning Machines . . . . . . . 146 R. Freivalds and E. B. Kinber and C. H. Smith Probabilistic versus Deterministic Memory Limited Learning . . . . . . . . 155 W. I. Gasarch and M. G. Pleszkoch and M. Velauthapillai Classification Using Information . . . . 162 R. Wiehagen and C. H. Smith and T. Zeugmann Classifying Recursive Predicates and Languages . . . . . . . . . . . . . . . 174 T. Zeugmann and S. Lange A Guided Tour Across the Boundaries of Learning Recursive Languages . . . . . . 190 T. Shinohara and S. Arikawa Pattern Inference . . . . . . . . . . . 259 P. Watson Inductive Learning of Recurrence-Term Languages from Positive Data . . . . . . 292 Y. Takada Learning Formal Languages Based on Control Sets . . . . . . . . . . . . . . 316 C. Globig and S. Wess Learning in Case-Based Classification Algorithms . . . . . . . . . . . . . . . 340 C. Posthoff and M. Schlosser Optimal Strategies --- Learning from Examples --- Boolean Equations . . . . . 363 G. Mehlsam and H. Kaindl and W. Barth Feature Construction during Tree Learning . . . . . . . . . . . . . . . . 391 A. Albrecht On Lower Bounds for the Depth of Threshold Circuits with Weights from $ 0 - 1, 0, + 1 $ . . . . . . . . . . . . . 404 E. Pippig Structuring Neural Networks and PAC-Learning . . . . . . . . . . . . . . 417 U. Goldammer Inductive Synthesis of Rewrite Programs 435 G. Grieser TLP0S --- a Term Rewriting Laboratory (not only) for Experiments in Automatic Program Synthesis . . . . . . . . . . . 467 H.-R. Beick and V. Stankov GoslerP --- A Logic Programming Tool for Inductive Inference . . . . . . . . . . 482
C. Stirling Local Model Checking Games . . . . . . . 1 M. Dam Compositional Proof Systems for Model Checking Infinite State Processes . . . 12 F. Laroussinie and K. G. Larsen Compositional Model Checking of Real Time Systems . . . . . . . . . . . . . . 27 U. Montanari and M. Pistore Checking Bisimilarity for Finitary $ \pi $-Calculus . . . . . . . . . . . . . . . 42--56 G.-L. Ferrari and U. Montanari and P. Quaglia The Weak Late $ \pi $-Calculus Semantics as Observation Equivalence . . . . . . . 57--71 B. Steffen and A. Classen and M. Klein and J. Knoop The Fixpoint-Analysis Machine . . . . . 72 H. Lin Unique Fixpoint Induction for Mobile Processes . . . . . . . . . . . . . . . 88 X. Liu and D. Walker A Polymorphic Type System for the Polyadic $ \pi $-Calculus . . . . . . . 103--116 C. Hermida and J. Power Fibrational Control Structures . . . . . 117 F. Corradini and R. De Nicola and A. Labella Fully Abstract Models for Nondeterministic Regular Expressions . . 130 N. Busi and R. Gorrieri A Petri Net Semantics for $ \pi $-Calculus . . . . . . . . . . . . . . . 145--159 A. Rensink A Complete Theory of Deterministic Event Structures . . . . . . . . . . . . . . . 160 M. Nielsen and L. Priese and V. Sassone Characterising Behavioural Congruences for Petri Nets . . . . . . . . . . . . . 175 F. Vaandrager Verification of a Distributed Summation Algorithm . . . . . . . . . . . . . . . 190 J. F. Groote and M. P. A. Sellink Confluence for Process Verification . . 204 I. Ulidowski Axiomatisations of Weak Equivalences for De Simone Languages . . . . . . . . . . 219 R. Segala A Compositional Trace-Based Semantics for Probabilistic Automata . . . . . . . 234 M. Nuthez and D. De Frutos and L. Llana Acceptance Trees for Probabilistic Processes . . . . . . . . . . . . . . . 249 D. Harel Will I be Pretty, Will I be Rich?: Some Thoughts on Theory vs. Practice in Systems Engineering . . . . . . . . . . 264 J. Bryans and J. Davies and S. Schneider Towards a Denotational Semantics for ET-LOTOS . . . . . . . . . . . . . . . . 269 F. Wang Reachability Analysis at Procedure Level through Timing Coincidence . . . . . . . 284 W. Vogler Faster Asynchronous Systems . . . . . . 299 E. Brinksma and A. Rensink and W. Vogler Fair Testing . . . . . . . . . . . . . . 313 D. Craigen Formal Methods Technology Transfer: Impediments and Innovation . . . . . . . 328 P. A. Abdulla and M. Kindahl Decidability of Simulation and Bisimulation between Loss Channel Systems and Finite State Systems . . . . 333 P. Jancar and F. Moller Checking Regular Properties of Petri Nets . . . . . . . . . . . . . . . . . . 348 M. M. Bonsangue and J. N. Kok and E. De Vink Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency . . 363 M. Siegel A Refinement Theory that Supports both ``Decrease of Nondeterminism'' and ``Increase of Parallelism'' . . . . . . 378 E. A. Emerson Model Checking and Efficient Automation of Temporal Reasoning . . . . . . . . . 393 E. M. Clarke and O. Grumberg and S. Jha Verifying Parameterised Networks using Abstraction and Regular Languages . . . 395 O. Kupferman and M. Y. Vardi On the Complexity of Branching Modular Model Checking . . . . . . . . . . . . . 408 R. Kaivola Axiomatising Linear Time Mu-Calculus . . 423 P. S. Thiagarajan A Trace Consistent Subset of PTL . . . . 438 G. J. Holzmann Proving Properties of Concurrent Systems with SPIN . . . . . . . . . . . . . . . 453 A. Philippou and D. Walker On Sharing and Determinacy in Concurrent Systems . . . . . . . . . . . . . . . . 456 S. Brock and G. Ostheimer Process Semantics of Graph Reduction . . 471 M. Hennessy and J. Rathke Bisimulations for a Calculus of Broadcasting Systems . . . . . . . . . . 486 P. R. D'Argenio and S. Mauw Delayed Choice for Process Algebra with Abstraction . . . . . . . . . . . . . . 501 K. Ceraens CTR: A Calculus of Timed Refinement . . 516 A. Bouajjani and Y. Lakhnech Temporal Logic + Timed Automata: Expressiveness and Decidability . . . . 531
Bart Preneel and Paul C. van Oorschot MDx-MAC and Building Fast MACs from Hash Functions . . . . . . . . . . . . . . . 1--14 Mihir Bellare and Roch Guérin and Phillip Rogaway XOR MACs: New Methods for Message Authentication Using Finite Pseudorandom Functions . . . . . . . . . . . . . . . 15 Phillip Rogaway Bucket Hashing and its Application to Fast Message Authentication . . . . . . 29 Richard Schroeppel and Hilarie Orman and Sean O'Malley and Oliver Spatscheck Fast Key Exchange with Elliptic Curve Systems . . . . . . . . . . . . . . . . 43 Philippe Béguin and Jean-Jacques Quisquater Fast Server-Aided RSA Signatures Secure Against Active Attacks . . . . . . . . . 57 Chae Hoon Lim and Pil Joong Lee Security and Performance of Server-Aided RSA Computation Protocols . . . . . . . 70 Shai Halevi Efficient Commitment Schemes with Bounded Sender and Unbounded Receiver 84 Donald Beaver Precomputing Oblivious Transfer . . . . 97 Claude Crépeau and Jeroen van de Graaf and Alain Tapp Committed Oblivious Transfer and Private Multi-Party Computation . . . . . . . . 110 Dominic Mayers On the Security of the Quantum Oblivious Transfer and Key Distribution Protocols 124 Thorsten Theobald How to Break Shamir's Asymmetric Basis 136 Sang-Joon Park and Sang-Jin Lee and Seung-Cheol Goh On the Security of the Gollmann Cascades 148 Kazuo Ohta and Shiho Moriai and Kazumaro Aoki Improving the Search Algorithm for the Best Linear Expression . . . . . . . . . 157 Burton S. Kaliski Jr. and Yiqun Lisa Yin On Differential and Linear Cryptanalysis of the RC5 Encryption Algorithm . . . . 171--183 Silvio Micali and Ray Sidney A Simple Method for Generating and Sharing Pseudo-Random Functions, with Applications to Clipper-like Key Escrow Systems . . . . . . . . . . . . . . . . 185 Arjen K. Lenstra and Peter Winkler and Yacov Yacobi A Key Escrow System with Warrant Bounds 197 Joe Kilian and Tom Leighton Fair Cryptosystems, Revisited . . . . . 208 Yair Frankel and Moti Yung Escrow Encryption Systems Visited: Attacks, Analysis and Designs . . . . . 222 Ross Anderson and Roger Needham Robustness Principles for Public Key Protocols . . . . . . . . . . . . . . . 236 Jacques Patarin Cryptanalysis of the Matsumoto and Imai Public Key Scheme of Eurocrypt '88 . . . 248 Andrew Klapper and Mark Goresky Cryptanalysis Based on 2-Adic Rational Approximation . . . . . . . . . . . . . 262 Lars R. Knudsen A Key-Schedule Weakness in SAFER K-64 274 Yair Frankel and Moti Yung Cryptanalysis of the Immunized LL Public Key Systems . . . . . . . . . . . . . . 287 Ronald Cramer and Ivan Bjerre Damgård Secure Signature Schemes based on Interactive Protocols . . . . . . . . . 297 Joe Kilian Improved Efficient Arguments . . . . . . 311 Ivan Bjerre Damgård and Oded Goldreich and Tatsuaki Okamoto and Avi Wigderson Honest Verifier vs. Dishonest Verifier in Public Coin Zero-Knowledge Proofs . . 325 Amir Herzberg and Stanislaw Jarecki and Hugo Krawczyk and Moti Yung Proactive Secret Sharing Or: How to Cope With Perpetual Leakage . . . . . . . . . 339 Amos Beimel and Benny Chor Secret Sharing with Public Reconstruction . . . . . . . . . . . . . 353 G. R. Blakley and Gregory A. Kabatianski On General Perfect Secret Sharing Schemes . . . . . . . . . . . . . . . . 367 Bruce Dodson and Arjen K. Lenstra NFS with Four Large Primes: An Explosive Experiment . . . . . . . . . . . . . . . 372 Daniel Bleichenbacher and Wieb Bosma and Arjen K. Lenstra Some Remarks on Lucas-Based Cryptosystems . . . . . . . . . . . . . 386 Susan K. Langford Threshold DSS Signatures without a Trusted Party . . . . . . . . . . . . . 397 Kaoru Kurosawa and Satoshi Obana and Wakaha Ogata $t$-Cheater Identifiable $ (k, n) $ Threshold Secret Sharing Schemes . . . . 410 Dan Boneh and Richard J. Lipton Quantum Cryptanalysis of Hidden Linear Functions . . . . . . . . . . . . . . . 424--437 Tatsuaki Okamoto An Efficient Divisible Electronic Cash Scheme . . . . . . . . . . . . . . . . . 438 Dan Boneh and James Shaw Collusion-Secure Fingerprinting for Digital Data . . . . . . . . . . . . . . 452 Anonymous Author Index . . . . . . . . . . . . . . 467
S. M. Achasova Synchronous-Asynchronous Cellular Computations . . . . . . . . . . . . . . 1 G. P. Agibalov Parallel Computations and Finite Automata on Semilattices . . . . . . . . 7 A. V. Anisimov Linear Fibonacci Forms and Parallel Algorithms for High Dimension Arithmetic 16 O. L. Bandman Cellular-Neural Computations. Formal Model and Possible Applications . . . . 21 A. Bianchi and S. Coluccini and P. Degano and C. Priami An Efficient Verifier of Truly Concurrent Properties . . . . . . . . . 36 F. Gasperoni and U. Schwiegelshohn and J. Turek Optimal Loop Scheduling on Multiprocessors: A Pumping Lemma for $p$-Processor Schedules . . . . . . . . 51 P. Hartmann Parallel and Distributed Processing of Cellular Hypergraphs . . . . . . . . . . 57 V. Markova and S. Piskunov Computer Models of $3$D Cellular Structures . . . . . . . . . . . . . . . 70 A. S. Nepomniaschaya Comparison of Two MST Algorithms for Associative Parallel Processors . . . . 85 V. A. Nepomniaschy and G. I. Alekseev and A. V. Bystrov and T. G. Churina Petri Net Modelling of Estelle-specified Communication Protocols . . . . . . . . 94 B. Schnor Dynamic Scheduling of Parallel Applications . . . . . . . . . . . . . . 109 G. Vesselovski and M. Kupriyanova A Method for Analyzing Combinatorial Properties of Static Connecting Topologies . . . . . . . . . . . . . . . 117 A. I. Adamovich cT: An Imperative Language with Parallelizing Features Supporting the Computation Model ``Autotransformation of the Evaluation Network'' . . . . . . 127 S. Benkner Vienna Fortran 90 --- An Advanced Data Parallel Language . . . . . . . . . . . 142 A. E. Doroshenko Programming Abstracts for Synchronization and Communication in Parallel Programs . . . . . . . . . . . 157 V. A. Evstigneev and V. N. Kasyanov A Program Manipulation System for Fine-grained Architectures . . . . . . . 163 C. Hochberger and R. Hoffmann and S. Waldschmidt Compilation of CDL for Different Target Architectures . . . . . . . . . . . . . 169 A. Hondroudakis and R. Procter and K. Shanmugam Performance Evaluation and Visualization with VISPAT . . . . . . . . . . . . . . 180 R. Huesler and H. Vonder Muehll and A. Gunzinger and G. Troester Dataparallel Programming with Intelligent Communication . . . . . . . 186 A. R. Hurson and B.-U. Jun Optimization Scheme on Execution of Logic Program in a Dataflow Environment 204 A. V. Borshchev and Y. G. Karpov and V. V. Roudakov COVERS --- A Tool for the Design of Real-time Concurrent Systems . . . . . . 219 R. Klar and P. Dauphin Status and Prospect of ZM4/SIMPLE/PEPP: an Event-oriented Evaluation Environment for Parallel and Distributed Programs 234 O. V. Klimova The Separating Decomposition of Discrete Fourier Transform and Vectorization of its Calculation . . . . . . . . . . . . 241 T. Ludwig and S. Lamberts PFSLib --- A Parallel File System for Workstation Clusters . . . . . . . . . . 246 Y. Saad and A. V. Malevsky Data Structures, Computational, and Communication Kernels for Distributed Memory Sparse Iterative Solvers . . . . 252 A. Oezerdim and M. O. Uenalir and O. Dikenelli and E. Ozkarahan PARMA: A Multiattribute File Structure for Parallel Database Machines . . . . . 258 M. M. Pic and H. Essafi and M. Viala and L. Nicolas T++: An Object-Oriented Language to Express Task and Data Parallelism on Multi-SIMD Computers . . . . . . . . . . 273 V. Vlassov and H. Ahmed and L.-E. Thorelli mEDA-2: An Extension of PVM . . . . . . 288--293 A. Vazhenin and V. Morozov Parallel Iterative Solution of Systems of Linear Equations with Dynamically Changed Length of Operands . . . . . . . 294 M. Royak and E. Shurina and Y. Soloveichik and V. Malyshkin Parallelization of Computer Code MASTAC Three-Dimensional Finite Elements Method Implementing . . . . . . . . . . . . . . 304 L. Barriga and R. Ayani New Trends in Simulation of Distributed Shared Memory Architectures . . . . . . 314 D. Etiemble and C. Germain Standard Microprocessors Versus Custom Processing Elements for Massively Parallel Architectures . . . . . . . . . 320 B. Goossens and D. T. Vu Further Pipelining and Multithreading to Improve RISC Processor Speed. A Proposed Architecture and Simulation Results . . 326 A. V. Zabrodin and V. K. Levin and V. V. Korneev The Massively Parallel Computer System MBC-100 . . . . . . . . . . . . . . . . 341 V. P. Srini DFS-Super MPx: Low-cost Parallel Processing System for Machine Vision and Image Processing . . . . . . . . . . . . 356 C. Bussler and S. Jablonski and T. Kirsche and H. Schuster Architectural Issues of Distributed Workflow Management Systems . . . . . . 370 O. Bessonov and V. Brailovskaya and V. Polezhaev and B. Roux Parallelization of the Solution of $3$D Navier--Stokes Equations for Fluid Flow in a Cavity with Moving Covers . . . . . 385 P. Ciancarini and P. Mancini Distributing Search and Knowledge Using a Coordination Language . . . . . . . . 400 F. Caudal and B. Lecussan Design and Evaluation of a Multi-Threaded Architecture for Parallel Graph Reduction . . . . . . . . . . . . 411 I. G. Mamedova Implementation of the Multigrid Method for Solving the Boundary-Value Problems for the Poisson and Helmholtz Equations on the Massively Parallel Computers . . 427 A. Kremlev and O. Monakhov and T. Thiel Parallel Seismic Data Processing Method for MEMSY Multiprocessor System . . . . 434 E. Ozkarahan Hardware and Software Platform for Information Processing . . . . . . . . . 439 E. Kessy and A. Stoukov and D. Vandromme Numerical Simulation of Reacting Mixing Layer with a Parallel Implementation . . 453 Y. I. Fet and D. A. Pospelov Parallel Computing in Russia . . . . . . 464 W. Haendler Early Approaches to Parallel Processing: Increasing Performance and Dependability 477
J. C. M. Baeten and J. A. Bergstra Discrete Time Process Algebra with Abstraction . . . . . . . . . . . . . . 1 Z. Chaochen and D. V. Hung and L. Xiaoshan A Duration Calculus with Infinite Intervals . . . . . . . . . . . . . . . 16 K. Fisher and J. C. Mitchell A Delegation-Based Object Calculus with Subtyping . . . . . . . . . . . . . . . 42 K. G. Larsen and P. Pettersson and W. Yi Model-Checking for Real-Time Systems . . 62 E. W. Mayr On Polynomial Ideals, Their Complexity, and Applications . . . . . . . . . . . . 89 R. M. Amadio and L. Leth and B. Thomsen From a Concurrent $ \lambda $-Calculus to the $ \pi $-Calculus . . . . . . . . 106--115 V. Antimirov Rewriting Regular Inequalities . . . . . 116 G. Barthe A Simple Abstract Semantics for Equational Theories . . . . . . . . . . 126 J. A. Bergstra and G. Stefanescu Processes with Multiple Entries and Exits . . . . . . . . . . . . . . . . . 136 M. Bertol Efficient Rewriting in Cograph Trace Monoids . . . . . . . . . . . . . . . . 146 C. Calude and M. Zimand Effective Category and Measure in Abstract Complexity Theory . . . . . . . 156 T. Chaboud About Planar Cayley Graphs . . . . . . . 171 V. D. Chepoi and F. F. Dragan On Condorcet and Median Points of Simple Rectilinear Polygons . . . . . . . . . . 181 H. N. Djidjev and G. E. Pantziou and C. D. Zaroliagis Fast Algorithms for Maintaining Shortest Paths in Outerplanar and Planar Digraphs 191 F. F. Dragan and F. Nicolai $r$-Domination Problems on Homogeneously Orderable Graphs . . . . . . . . . . . . 201 B. Durand and J. Mazoyer Growing Patterns in $1$D Cellular Automata . . . . . . . . . . . . . . . . 211 J. Esparza Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes 221 H. Fassbender Implementation of a UU-Algorithm for Primitive Recursive Tree Functions . . . 233 M. C. F. Ferreira and H. Zantema Dummy Elimination: Making Termination Easier . . . . . . . . . . . . . . . . . 243 A. Gronewold and H. Fleischhack Computing Petri Net Languages by Reductions . . . . . . . . . . . . . . . 253 E. De Haas Categorial Graphs . . . . . . . . . . . 263 J. Hromkovic and R. Klasing and D. Pardubska and W. Unger Effective Systolic Algorithms for Gossiping in Cycles and Two-Dimensional Grids . . . . . . . . . . . . . . . . . 273 P. Jancar and F. Mraz and M. Platek and J. Vogel Restarting Automata . . . . . . . . . . 283 C. W. Kessler and T. Rauber Optimal Contiguous Expression DAG Evaluations . . . . . . . . . . . . . . 293 H. Klaudel and E. Pelz Communication as Unification in the Petri Box Calculus . . . . . . . . . . . 303 M. Kudlek and A. Mateescu Distributed Catenation and Chomsky Hierarchy . . . . . . . . . . . . . . . 313 M. Kummer and F. Stephan The Power of Frequency Computation . . . 323 N.-M. Le Randomized Incremental Construction of Simple Abstract Voronoi Diagrams in 3-Space . . . . . . . . . . . . . . . . 333 I. I. Macarie and M. Ogihara Properties of Probabilistic Pushdown Automata . . . . . . . . . . . . . . . . 343 G. S. Makanin and H. Abdulrab and M. N. Maksimenko Formal Parametric Equations . . . . . . 353 R. Niedermeier and P. Rossmanith PRAM's Towards Realistic Parallelism: BRAM's . . . . . . . . . . . . . . . . . 363 H. Petersen Some Results Concerning Two-Dimensional Turing Machines and Finite Automata . . 374 G. Pighizzini How Hard is to Compute the Edit Distance 383 K. Reinhardt On the Synchronization of Semi-Traces 393 E. Remila Tiling with Bars and Satisfaction of Boolean Formulas . . . . . . . . . . . . 404 K.-D. Schewe Functional Sorts in Data Type Specifications; A Geometric Approach to Semantics . . . . . . . . . . . . . . . 424
G. Papadopoulos Mainstream Parallelism: Taking Sides on the SMP/MPP\slash Cluster Debate . . . . 3 G. Smolka The Oz Programming Model . . . . . . . . 5 B. Engquist Parallelism in Computational Algorithms and the Physical World . . . . . . . . . 9 P. Caspi and A. Girault Execution of Distributed Reactive Systems . . . . . . . . . . . . . . . . 15 M. V. Hermenegildo and M. Carro Relating Data-Parallelism and (And-) Parallelism in Logic Programs . . . . . 27 E. Pontelli and G. Gupta On the Duality Between Or-parallelism and And-parallelism in Logic Programming 43 J. Darlington and Y.-K. Guo and Hing Wing To and J. Yang Functional Skeletons for Parallel Coordination . . . . . . . . . . . . . . 55 R. C. Unrau and M. Stumm and O. Krieger On the Scalability of Demand-Driven Parallel Systems . . . . . . . . . . . . 69 S. A. McKee and W. A. Wulf and T. C. Landon Bounds on Memory Bandwidth in Streamed Computations . . . . . . . . . . . . . . 83 D. Chiou and B. S. Ang and R. Greiner and Arvind StarT-NG: Delivering Seamless Parallel Computing . . . . . . . . . . . . . . . 101 O. C. Maquelin and H. H. J. Hum and G. R. Gao Costs and Benefits of Multithreading with Off-the-Shelf RISC Processors . . . 117 S. Genaud and E. Violard and G.-R. Perrin Transformation Techniques in Pei . . . . 131 L. Bouge and D. Cachera On the Completeness of a Proof System for a Simple Data-parallel Programming Language . . . . . . . . . . . . . . . . 143 C. Clemencon and J. Fritscher and M. J. Meehan and R. Ruehl An Implementation of Race Detection and Deterministic Replay with MPI . . . . . 155--166 A. Fagot and J. Chassin de Kergommeaux Formal and Experimental Validation of a Low Overhead Execution Replay Mechanism 167 T. Roemke and M. Roettger and U.-P. Schroeder and J. Simon On Efficient Embeddings of Grids into Grids in PARIX . . . . . . . . . . . . . 181 A.-C. Achilles Optimal Emulation of Meshes on Meshes of Trees . . . . . . . . . . . . . . . . . 193 S. K. Das and A. Mao Optimal Embeddings in the Hamming Cube Networks . . . . . . . . . . . . . . . . 205 Z. Liu Hierarchical Adaptive Routing Under Hybrid Traffic Load . . . . . . . . . . 217 S. N. Bhatt and G. Bilardi and K. T. Herley and G. Pucci Tight Bounds on Parallel List Marking 231 W. Loewe Optimization of PRAM-Programs with Input-Dependent Memory Access . . . . . 243 L. Chen Optimal Circular Arc Representations . . 255 A. Nowatzyk and G. Aybay and M. Browne and E. Kelly Exploiting Parallelism in Cache Coherency Protocol Engines . . . . . . . 269 F. Pong and A. Nowatzyk and G. Aybay and M. Dubois Verifying Distributed Directory-based Cache Coherence Protocols: S3.mp, a Case Study . . . . . . . . . . . . . . . . . 287 S.-J. Hwang and M.-S. Park Efficient Software Data Prefetching for a Loop with Large Arrays . . . . . . . . 301 M. Griebl and J.-F. Collard Generation of Synchronous Code for Automatic Parallelization of while Loops 315 D. Kulkarni and M. Stumm and R. C. Unrau Implementing Flexible Computation Rules with Subexpression-level Loop Transformations . . . . . . . . . . . . 327 M. Le Fur and J.-L. Pazat and F. Andre An Array Partitioning Analysis for Parallel Loop Distribution . . . . . . . 351 A. Erzmann and M. Hadeler and C. Mueller-Schloer A Model for Efficient Programming of Dynamic Applications on Distributed Memory Multiprocessors . . . . . . . . . 367 P. Bouvry and J. Chassin de Kergommeaux and D. Trystram Efficient Solutions for Mapping Parallel Programs . . . . . . . . . . . . . . . . 379 T. Rauber and G. Ruenger Optimal Data Distributions for LU Decomposition . . . . . . . . . . . . . 391 M. Minas Detecting Quantified Global Predicates in Parallel Programs . . . . . . . . . . 403 C.-T. Yang and S.-S. Tseng and C.-D. Chuang and W.-C. Shih Using Knowledge-Based Techniques for Parallelization on Parallelizing Compilers . . . . . . . . . . . . . . . 417 C. Germain and F. Delaplace Automatic Vectorization of Communications for Data-Parallel Programs . . . . . . . . . . . . . . . . 429 M. Pouzet The Program Compaction Revisited: the Functional Framework . . . . . . . . . . 441 B. Sloman and T. Lake Featherweight Threads and ANDF Compilation of Concurrency . . . . . . . 457 J. W. Romein and H. E. Bal Parallel $N$-Body Simulation on a Large-Scale Homogeneous Distributed System . . . . . . . . . . . . . . . . . 473 E. Rahm and T. Stoehr Analysis of Parallel Scan Processing in Shared Disk Database Systems . . . . . . 485 A. R. Nolan and B. Everding Polynomial Time Scheduling of Low Level Computer Vision Algorithms on Networks of Heterogeneous Machines . . . . . . . 501 B. Girau Mapping Neural Network Back-Propagation onto Parallel Computers with Computation/Communication Overlapping 513 J. S. Larson and B. C. Massey and E. Tick Super Monaco: Its Portable and Efficient Parallel Runtime System . . . . . . . . 527 K. Rokusawa and A. Nakase and T. Chikayama Quiescence Detection in a Distributed KLIC Implementation . . . . . . . . . . 539 T. Lindgren and J. Bevemyr and H. Millroth Compiler Optimizations in Reform Prolog: Experiments on the KSR-1 multiprocessor 553 M. Jaseemuddin and Z. G. Vranesic Bidirectional Ring: An Alternative to the Hierarchy of Unidirectional Rings 567 N. K. Singhvi and K. Ghose A Formal Study of the Mcube Interconnection Network . . . . . . . . 579 S. Shionoya and T. Aoki and T. Higuchi Multiwave Interconnection Networks for MCM-Based Parallel Processing . . . . . 593 S. Sahni Scheduling Master-Slave Multiprocessor Systems . . . . . . . . . . . . . . . . 611 A. Hori and Y. Ishikawa and J. Nolte and H. Konaka Time Space Sharing Scheduling: A Simulation Analysis . . . . . . . . . . 623 J. Rost and F.-J. Markus and L. Yan-Hua ``Agency Scheduling'' --- A Model for Dynamic Task Scheduling . . . . . . . . 635 M. Johannesson FFTs on a Linear SIMD Array . . . . . . 649 J.-P. Sheu and Y.- S. Chen Tolerating Faults in Faulty Hypercubes Using Maximal Fault-Free Subcube-Ring 661 S. Chalasani and R. V. Boppana Communication in Multicomputers with Nonconvex Faults . . . . . . . . . . . . 673 A. E. Doroshenko and A. B. Godlevsky Parallelising Programs with Algebraic Programming Tools . . . . . . . . . . . 687 K. Molnar Parallel Prolog with Uncertainty Handling . . . . . . . . . . . . . . . . 691 G. Friedl and M. Platzner and B. Rinner A Special-Purpose Coprocessor for Qualitative Simulation . . . . . . . . . 695 C. Barnes and C. Wadsworth Portable Software Tools for Parallel Architectures . . . . . . . . . . . . . 699 C. Siegelin and U. Finger and C. O'Donnell Boosting the Performance of Workstations through WARPmemory . . . . . . . . . . . 703 A. Laurentowski and J. Szymaszek and A. Uszok and K. Zielinski A Monitoring System for Software-Heterogeneous Distributed Environments . . . . . . . . . . . . . . 707 G. Hains and J. Mullins A Metacircular Data-Parallel Functional Language . . . . . . . . . . . . . . . . 711 J. Silc and B. Robic Efficient Run-Time Program Allocation on a Parallel Coprocessor . . . . . . . . . 715 V. A. Evstigneev and V. N. Kasyanov A Program Manipulation System for Fine-Grained Architectures . . . . . . . 719 P. Moravie and H. Essafi and C. Lambert-Nebout and J.-L. Basille Real-Time Image Compression Using Data-Parallelism . . . . . . . . . . . . 723 A.-H. Smai Congestion Control in Wormhole Networks: First Results . . . . . . . . . . . . . 727
D. L. Parnas Language-Free Mathematical Methods for Software Design . . . . . . . . . . . . 3 P. Ciaccia and P. Ciancarini and W. Penzo A Formal Approach to Software Design: The Clepsydra Methodology . . . . . . . 5 D. Edmond Refining Database Systems . . . . . . . 25 M. Luck and M. D'Inverno Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems . . . . . . . . . . . . . . . . 47 P. D. De Lima Machado and S. L. Meira On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networks . . . . . . . . . . . . 63 M. D'Inverno and M. Priestley Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems . . . . . . . . . . . . . . . . 83 J. Rushby Mechanizing Formal Methods: Opportunities and Challenges . . . . . . 105 A. P. Hughes and A. A. Donnelly An Algebraic Proof in VDM . . . . . . . 114 S. Stepney Testing as Abstraction . . . . . . . . . 137 H.-M. Hoercher Improving Software Tests Using Z Specifications . . . . . . . . . . . . . 152 E. Mikk Compilation of Z Specifications into C for Automatic Test Result Evaluation . . 167 S. H. Valentine Equal Rights for Schemas in Z . . . . . 183 A. MacDonald and D. Carrington Structuring Z Specifications: Some Choices . . . . . . . . . . . . . . . . 203 D. M. German and D. D. Cowan Experiments with the Z Interchange Format and SGML . . . . . . . . . . . . 224--236 (or 224--233??) J. A. Hall and D. L. Parnas and N. Plat and J. Rushby The Future of Formal Methods in Industry 237 B. Liskov and J. M. Wing Specifications and Their Use in Defining Subtypes . . . . . . . . . . . . . . . . 245 B. Strulo How Firing Conditions Help Inheritance 264 G. Smith Extending W for Object-Z . . . . . . . . 276 P. Bancroft and I. Hayes A Formal Semantics for a Language with Type Extension . . . . . . . . . . . . . 299 J. Jacky and J. Unger From Z to Code: A Graphical User Interface for a Radiation Therapy Machine . . . . . . . . . . . . . . . . 315 P. Bernard and G. Laffitte The French Population Census for 1990 334 I. Kraan and P. Baumann Implementing Z in Isabelle . . . . . . . 355 H. S. Goodman The Z-into-Haskell Tool-Kit: An Illustrative Case Study . . . . . . . . 374 M. M. West Types and Sets in Goedel and Z . . . . . 389 C. Reilly Exploring Specifications with Mathematica . . . . . . . . . . . . . . 408--422 T. Bryant and A. Evans and L. Semmens and R. Milovanovic Using Z to Rigorously Review a Specification of a Network Management System . . . . . . . . . . . . . . . . . 423 R. B. France and M. M. Larrondo-Petrie A Two-Dimensional View of Integrated Formal and Informal Specification Techniques . . . . . . . . . . . . . . . 434 H. Bowman and J. Derrick and M. Steen Viewpoints and Objects . . . . . . . . . 449 D. L. Parnas Teaching Programming as Engineering . . 471 P. Ciaccia and P. Ciancarini A Course on Formal Methods in Software Engineering: Matching Requirements with Design . . . . . . . . . . . . . . . . . 482 J. M. Wing Hints for Writing Specifications . . . . 497 N. Dean Mental Models of Z: I --- Sets and Logic 498 D. Gries Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic . . . 508 L. Mikusiak and V. Vojtek and J. Hasaralejko and J. Hanzelova Z Browser --- A Tool for Visualization of Z Specifications . . . . . . . . . . 510
L. Bachmair and H. Ganzinger Associative-Commutative Superposition 1 D. A. Basin and T. Walsh A Calculus for Rippling . . . . . . . . 15 P. Balbiani Equation Solving in Geometrical Theories 31 A. Bockmayr and A. Werner LSE Narrowing for Decreasing Conditional Term Rewrite Systems . . . . . . . . . . 51 R. Buendgen Preserving Confluence for Rewrite Systems with Built-in Operations . . . . 71 N. Dershowitz Hierarchical Termination . . . . . . . . 89 M. C. F. Ferreira and H. Zantema Well-foundedness of Term Orderings . . . 106 J.-M. Gelis A New Characterisation of AC-Termination and Application . . . . . . . . . . . . 124 J. Glauert and Z. Khasidashvili Relative Normalization in Orthogonal Expression Reduction Systems . . . . . . 144 B. Gramlich On Termination and Confluence of Conditional Rewrite Systems . . . . . . 166 C. Hintermeier How to Transform Canonical Decreasing HCTRs into Equivalent Canonical TRSs . . 186 C. Hoot Termination for Restricted Derivations and Conditional Rewrite Systems . . . . 206 P. Inverardi Rewriting for Preorder Relations . . . . 223 J.-P. Jouannaud and W. Sadfi Strong Sequentiality of Left-Linear Overlapping Rewrite Systems . . . . . . 235 R. Kennaway A Conflict Between Call-by-Need Computation and Parallelism . . . . . . 247 G. Kucherov and M. Rusinowitch The Complexity of Testing Ground Reducibility for Linear Word Rewriting Systems with Variables . . . . . . . . . 262 A. Mori and Y. Matsumoto Coherence for Cartesian Closed Categories: A Sequential Approach . . . 276 E. Ohlebusch Modular Properties of Constructor-Sharing Conditional Term Rewriting Systems . . . . . . . . . . . 296 Y. Toyama and M. Oyamaguchi Church--Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems . . . . . . . . . 316 J. C. Verheul and P. G. Kluit The Transformation of Term Rewriting Systems Based on Well-formedness Preserving Mappings . . . . . . . . . . 332 C.-P. Wirth and K. Becker Abstract Notions and Inference Systems for Proofs by Mathematical Induction . . 353
M. Adler and J. W. Byers and R. M. Karp Scheduling Parallel Communication: The $h$-Relation Problem . . . . . . . . . . 1 S. Arnborg Decomposable Structures, Boolean Function Representations, and Optimization . . . . . . . . . . . . . . 21 M. Flammini and J. Van Leeuwen and A. Marchetti-Spaccamela The Complexity of Interval Routing on Random Graphs . . . . . . . . . . . . . 37 V. Geffert Bridging Across the log(n) Space Frontier . . . . . . . . . . . . . . . . 50 G. Gottlob and N. Leone and H. Veith Second Order Logic and the Weak Exponential Hierarchies . . . . . . . . 66 J. Hartmanis On the Computing Paradigm and Computational Complexity . . . . . . . . 82 D. Lehmann Ranked Structures in Nonmonotonic Reasoning and Belief Revision . . . . . 93 D. Perrin Symbolic Dynamics and Finite Automata 94 A. A. Razborov Lower Bounds for Propositional Proofs and Independence Results in Bounded Arithmetic . . . . . . . . . . . . . . . 105 P. Vitanyi Physics and the New Computation . . . . 106 E. Allender and M. Strauss Measure on P: Robustness of the Notion 129 H.-J. Burtschick Comparing Counting Classes for Logspace, One-Way Logspace, and First-Order . . . 139 C. Damm and M. Holzer Automata That Take Advice . . . . . . . 149 S. Homer and S. Mocas Nonuniform Lower Bounds for Exponential Time Classes . . . . . . . . . . . . . . 159 S. Kaufmann and M. Kummer On a Quantitative Notion of Uniformity 169 W. Merkle and Y. Wang Separations by Random Oracles and ``Almost'' Classes for Generalized Reducibilities . . . . . . . . . . . . . 179 D. Beauquier and D. Burago and A. Slissenko On the Complexity of Finite Memory Policies for Markov Decision Processes 191--200 T. Hofmeister and H. Lefmann Derandomization for Sparse Approximations and Independent Sets . . 201 J. Katajainen and T. Pasanen and G. Titan Asymptotically Efficient In-Place Merging . . . . . . . . . . . . . . . . 211 P. Heusch The Complexity of the Falsifiability Problem for Pure Implicational Formulas 221 V. Kann Strong Lower Bounds on the Approximability of Some NPO PB-complete Maximization Problems . . . . . . . . . 227 H. Lefmann and P. Savicky Some Typical Properties of Large AND/OR Boolean Formulas . . . . . . . . . . . . 237 M. Huehne The Hedge: An Efficient Storage Device for Turing Machines with One Head . . . 247 O. Maruyama and S. Miyano Graph Inference from a Walk for Trees of Bounded Degree 3 is NP-complete . . . . 257 I. Stojmenovic Honeycomb Networks . . . . . . . . . . . 267 S. Fischer and L. Hemaspaandra and L. Torenvliet Witness-Isomorphic Reductions and the Local Search Problem . . . . . . . . . . 277 C. Bertram-Kretzberg and T. Hofmeister Multiple Product Modulo Arbitrary Numbers . . . . . . . . . . . . . . . . 288 C. Meinel and S. Waack Lower Bounds for the Majority Communication Complexity of Various Graph Accessibility Problems . . . . . . 299 A. Bertoni and C. Mereghetti and G. Pighizzini Strong Optimal Lower Bounds for Turing Machines that Accept Nonregular Languages . . . . . . . . . . . . . . . 309 S. Zak A Superpolynomial Lower Bound for $ (1, + k(n)) $-Branching Programs . . . . . . 319 L. Breveglieri and A. Cherubini and S. Crespi-Reghizzi Deterministic Parsing for Augmented Context-Free Grammars . . . . . . . . . 326 F. Mignosi and A. Restivo and S. Salemi A Periodicity Theorem on Words and Applications . . . . . . . . . . . . . . 337 G. Hotz and G. Pitsch A New Approach to Analyse Coupled-Context-Free Languages . . . . . 349 M. Hermann and P. G. Kolaitis Computational Complexity of Simultaneous Elementary Matching Problems . . . . . . 359 M. R. K. Krishna Rao Graph Reducibility of Term Rewriting Systems . . . . . . . . . . . . . . . . 371 P. Urzyczyn Positive Recursive Type Assignment . . . 382 E. Kranakis and D. Krizanc and F. L. Luccio String Recognition on Anonymous Rings 392 Z. Roka The Firing Squad Synchronization Problem on Cayley Graphs . . . . . . . . . . . . 402 J. F. Sibeyn and M. Kaufmann Solving Cheap Graph Problems on Meshes 412 O. Burkart and D. Caucal and B. Steffen An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes . . . . . . . . . . . . . . . 423 S. Bauget and P. Gastin On Congruences and Partial Orders . . . 434 F. Corradini and R. Gorrieri and M. Roccetti Performance Preorder: Ordering Processes with Respect to Speed . . . . . . . . . 444 W. Ferreira and M. Hennessy Towards a Semantic Theory of CML (Extended Abstract) . . . . . . . . . . 454 S. Huguet and A. Petit Modular Constructions of Distributing Automata . . . . . . . . . . . . . . . . 467 D. Sangiorgi On the Proof Method for Bisimulation . . 479 C. Martin Towards a Calculus of Predicate Transformers . . . . . . . . . . . . . . 489 M. Abadi and S. Merz An Abstract Account of Composition . . . 499 R. Van der Goot and A. De Bruin Syntax and Semantics of Procol . . . . . 509 J. C. Godskesen and K. G. Larsen Synthesizing Distinguishing Formulae for Real Time Systems . . . . . . . . . . . 519 F. Laroussinie and K. G. Larsen and C. Weise From Timed Automata to Logic --- and Back . . . . . . . . . . . . . . . . . . 529 J. A. Makowsky and E. V. Ravve Incremental Model Checking for Decomposable Structures . . . . . . . . 540 D. Janin and I. Walukiewicz Automata for the Modal $ \mu $-calculus and Related Results . . . . . . . . . . 552--562 P. Niebert A $v$-calculus with Local Views for Systems of Sequential Agents . . . . . . 563 P. Feinsilver and R. Schott An Operator Calculus Approach to the Evolution of Dynamic Data Structures . . 574
L. Van Gool and T. Moons and M. Proesmans Groups for Grouping: A Strategy for the Exploitation of Geometrical Constraints 1--8 H. Suesse and K. Voss and I. Rothe Invariant Standard Positions of Ordered Sets of Points . . . . . . . . . . . . . 9--16 A. M. Bruckstein and D. Shaked Skew Symmetry Detection via Invariant Signatures . . . . . . . . . . . . . . . 17--24 T. Pajdla and L. Van Gool Efficient Matching of Space Curves . . . 25--32 B. Dubuc and S. W. Zucker A Complexity Space for Curve Grouping 33--40 R. D. Henkel Segmentation in Scale Space . . . . . . 41--48 F. Chiavetta and V. Di Gesu An Unsupervised Region Growing Method for $3$-D Image Segmentation . . . . . . 49--56 G. Gimel'farb and N. Kovalevskaya Segmentation of Images for Environmental Studies Using a Simple Markov/Gibbs Random Field Model . . . . . . . . . . . 57--64 K. Daniilidis and V. Krueger Optical Flow Computation in the Log-Polar Plane . . . . . . . . . . . . 65--72 Y. Ricquebourg and P. Bouthemy A Statistical Regularization Framework for Estimating Normal Displacements along Contours with Subpixel Accuracy 73--81 K. Daniilidis Computation of $3$-D-Motion Parameters Using the Log-Polar Transform . . . . . 82--89 M. Stricker and A. Leonardis ExSel++: A General Framework to Extract Parametric Models . . . . . . . . . . . 90--97 X. Shen and D. Hogg Generic $3$-D Shape Model: Acquisitions and Applications . . . . . . . . . . . . 98--105 O. V. Larsen and P. Radeva and E. Marti Guidelines for Choosing Optimal Parameters of Elasticity for Snakes . . 106--113 A. Bray Tracking Surfaces via Texture-Mapping: A Boot-Strapping Approach . . . . . . . . 114--121 C. Schnoerr and W. Peckar Motion-Based Identification of Deformable Templates . . . . . . . . . . 122--129 T. Heap and D. Hogg Extending the Point Distribution Model Using Polar Coordinates . . . . . . . . 130--137 M. S. Lew and A. C. She and T. S. Huang Intermediate Views for Face Recognition 138--145 T. Werner and R. D. Hersch and V. Hlavac Rendering Real-World Objects without $3$-D Model . . . . . . . . . . . . . . 146--153 P. A. R. Cole and M. S. Khan Modelling $3$-D Rigid Solid Objects Using The View Signature II Representation Scheme . . . . . . . . . 154--161 J. Matas and J. Kittler Spatial and Feature Space Clustering: Applications in Image Analysis . . . . . 162--173 Z. Zhang An Automatic and Robust Algorithm for Determining Motion and Structure from Two Perspective Images . . . . . . . . . 174--181 H. V. Nguyen and M. Hanajik $3$-D Scene Reconstruction from Image Sequences . . . . . . . . . . . . . . . 182--189 R. I. Hartley and P. Sturm Triangulation . . . . . . . . . . . . . 190--197 E. Boyer and M. O. Berger $3$-D Surface Reconstruction Using Occluding Contours . . . . . . . . . . . 198--205 E. Volden and G. Giraudon and M. Berthod Image Redundancy and Classification . . 206--213 V. V. Starovoitov Towards a Measure of Diversity between Grey-Scale Images . . . . . . . . . . . 214--221 D. Chetverikov Pattern Orientation and Texture Symmetry 222--229 J. Weickert Multiscale Texture Enhancement . . . . . 230--237 B. Duc and P. Schroeter and J. Biguen Spatio-Temporal Robust Motion Estimation and Segmentation . . . . . . . . . . . . 238--245 A. Caplier and F. Luthon A New Spatiotemporal Approach for Image Analysis Application to Motion Detection 246--253 S. Benayoun and N. Ayache Dense Non-Rigid Motion Estimation in Sequences of Medical Images Using Differential Constraints . . . . . . . . 254--261 L. Najman and R. Vaillant Topological and Geometrical Corners by Watershed . . . . . . . . . . . . . . . 262--269 E. Piegay and N. Selmaoui and C. Leschi Crest Lines Detection by Valleys Spreading . . . . . . . . . . . . . . . 270--277 T. P. Pridmore and S. V. Ablameyko The Distance Transform for Line Patterns: Generalisation and Development 278--285 D. Maravall and J. A. Sanandres and L. Baumela Mobile Detection Based on Histogram Difference . . . . . . . . . . . . . . . 286--293 F. Hering and D. Wierzimok and B. Jaehne Particle Tracking in Space Time Sequences . . . . . . . . . . . . . . . 294--301 J. M. Sanchiz and F. Pla and J. A. Marchant and R. Brivot Plant Tracking-Based Motion Analysis in a Crop Field . . . . . . . . . . . . . . 302--309 L. M. Zouhal and T. Denoeux An Adaptive $k$-$ N N $ Rule Based on Dempster-Shafer Theory . . . . . . . . . 310--317 J. Elder and S. W. Zucker Shadows, Defocus and Reliable Estimation 318--325 C.-K. Kwoh and D. F. Gillies Estimating the Initial Values of Unobservable Variables in Visual Probabilistic Networks . . . . . . . . . 326--333 R. C. Wilson and E. R. Hancock Relational Matching with Active Graphs 334--341 B. Melichar Approximate String Matching by Finite Automata . . . . . . . . . . . . . . . . 342--349 A. M. Finch and R. C. Wilson and E. R. Hancock Matching Delaunay Triangulations by Probabilistic Relaxation . . . . . . . . 350--358 A. Pinz and M. Prantl and H. Ganster Affine Matching of Intermediate Symbolic Representations . . . . . . . . . . . . 359--367 T. Ross and H. Handels and J. Kreusch and H. Busche Automatic Classification of Skin Tumours with High Resolution Surface Profiles 368--375 E. Strauss and P. Burger $4$ Dimensional Modelling of the Human Heart . . . . . . . . . . . . . . . . . 376--383 G. Z. Yang and P. Burger and D. N. Firmin and S. R. Underwood Structure Adaptive Anisotropic Filtering for Magnetic Resonance Image Enhancement 384--391 T. Scholz and B. Jaehne and H. Suhr and G. Wehnert In Situ Determination of Cell Concentration in Bioreactors with a new Depth from Focus Technique . . . . . . . 392--399 P. Nordlund and T. Uhlin Closing the Loop: Pursuing a Moving Object by a Moving Observer . . . . . . 400--407 R. Kozera An Algorithm for a Linear Shape-from-Shading Problem . . . . . . . 408--415 R. Sara Isophotes: the Key to Tractable Local Shading Analysis . . . . . . . . . . . . 416--423 R. Foltyniewicz Efficient High Order Neural Network for Rotation, Translation and Distance Invariant Recognition of Gray Scale Images . . . . . . . . . . . . . . . . . 424--431 K.-K. Sung and T. Poggio Learning Human Face Detection in Cluttered Scenes . . . . . . . . . . . . 432--439 R. Lopez and T. S. Huang Head Pose Computation for Very Low Bit-Rate Video Coding . . . . . . . . . 440--447 L. Quan and R. Mohr Self-Calibration of an Affine Camera . . 448--455 A. Polanski and K. Wojciechowski and A. Borek Stereo Calibration by Planar Grid Lines 456--463 R. Neubauer and K. Voss Monocular Pose Estimation of Circular Primitives . . . . . . . . . . . . . . . 464--471 G. Lohmann A New Method of Extracting Closed Contours Using Maximal Discs . . . . . . 472--479 J. M. I. Quereda and M. B. Gomez A Simple Algorithm to Evaluate the Local Symmetry at each Point of a Closed Contour . . . . . . . . . . . . . . . . 480--487 F. Sloboda and B. Zat'ko On Boundary Approximation . . . . . . . 488--495 F. Albregtsen and H. Schulerud and L. Yang Texture Classification of Mouse Liver Cell Nuclei Using Invariant Moments of Consistent Regions . . . . . . . . . . . 496--502 K. Aas and L. Eikvil and T. Andersen Text Recognition from Grey Level Images Using Hidden Markov Models . . . . . . . 503 A. Grigorian New Models of Image Restoration . . . . 509--514 P. Radeva and E. Marti An Improved Model of Snakes for Model-Based Segmentation . . . . . . . . 515--520 I. Kazantsev The Weighted Backprojection Techniques of Image Reconstruction . . . . . . . . 521--525 Y. V. Shkvarko and A. S. Netjukhailo Fusion of Bayesian Estimation and MTF Inversion Techniques for Improved Array Imaging in Scattering Media . . . . . . 526--531 P. Perner Case Based Reasoning for Image Interpretation . . . . . . . . . . . . . 532--537 S. Livens and P. Scheunders and G. Van de Wouwer and D. Van Dyck Classification of Corrosion Images by Wavelet Signatures and LVQ Networks . . 538--543 B. Balev and A. Bloemer and O. Dehning Knowledge Acquisition for Image Analysis using Hypermedia Interface . . . . . . . 544--549 T. Ihle and H. Schirmer and S. Fuchs Interpretation of Printed Forms for Blind People . . . . . . . . . . . . . . 550--555 G. Schmid and L. Altamirano Robles and W. Eckstein Automatic Segmentation of Boundaries in Line Segments and Circular Arcs . . . . 556--561 K. Voss and H. Suesse and R. Neubauer Moment-Based Invariant Fitting of Elliptical Segments . . . . . . . . . . 562--567 V. Di Gesu and S. Mantaci and G. Tortorici Compression of Binary Images Based on Covering . . . . . . . . . . . . . . . . 568--573 V. Gustin and M. Cufer Motion Detection with Fuzzy Logic in Real Time . . . . . . . . . . . . . . . 574--579 C.-E. Liedtke and O. Grau and S. Growe Use of Explicit Knowledge for the Reconstruction of $3$-D Object Geometry 580--587 Y. Gofman and N. Kiryati Detecting Grey Level Symmetry: The Frequency Domain Approach . . . . . . . 588--593 L. Luchowski A New Method to Threshold Images of Flat Binary Scenes under Uneven Lighting . . 594--599 S. R. Gunn and M. S. Nixon Improving Snake Performance via a Dual Active Contour . . . . . . . . . . . . . 600--605 R. P. W. Duin and E. T. G. Hoek SMD Position Measurement by a Kohonen Network Compared with Image Processing 606--611 I. Gracia and F. Pla and F. J. Ferri and P. Garcia Estimating Feature Discriminant Power in Decision Tree Classifiers . . . . . . . 612--617 N. G. Sharp and E. R. Hancock Statistical Surface Tracking . . . . . . 618--624 L. I. Kuncheva and R. K. Kounchev On Feature Selection via Rough Sets . . 625--630 J. Voracek Tree Neural Classifier for Character Recognition . . . . . . . . . . . . . . 631--636 M. Fidrich and J.-P. Thirion Multiscale Extraction of Features from Medical Images . . . . . . . . . . . . . 637--642 M. Frucci and A. Marcelli Line Representation of Elongated Shapes 643--648 L. Yang and F. Albregtsen and T. Taxt Fast Computation of $3$-D Geometric Moments Using a Discrete Gauss' Theorem 649--654 V. M. Chernov On the Group Algebras' Hierarchy Pertaining to the Parametrization of Fast Algorithms of Discrete Orthogonal Transforms . . . . . . . . . . . . . . . 655--660 S. Chinveeraphan and R. Takamatsu and M. Sato Understanding of Ridge-Valley Lines on Image-Intensity Surfaces in Scale-Space 661--667 L. Fainzilberg and T. Potapova Computer Analysis and Recognition of Cognitive Phase Space Electrocardiographic Image . . . . . . . 668--673 A. J. Stoddart and M. Petrou and J. Kittler A New Algorithm for Probabilistic Relaxation based on the Baum Eagon Theorem . . . . . . . . . . . . . . . . 674--679 A. G. Bors and I. Pitas Segmentation and Estimation of the Optical Flow . . . . . . . . . . . . . . 680--685 W. Boecker and H.-W. Gantenberg and W.-U. Mueller and C. Streffer Automated Detection of Fluorescent Cells and Measurement of their DNA-Content . . 686--691 R. Cucchiara and F. Filicori A Highly Selective HT Based Algorithm for Detecting Extended, Almost Rectilinear Shapes . . . . . . . . . . . 692--698 E. Bayro-Corrochano and G. Sommer Object Modelling and Collision Avoidance Using Clifford Algebra . . . . . . . . . 699--704 F. Veillon and L. Quan and P. Sturm Joint Invariants of a Triplet of Coplanar Conics: Stability and Discriminating Power for Object Recognition . . . . . . . . . . . . . . 705--710 J. Arnspang and H. Nielsen and M. Christensen and K. Henriksen Using Mirror Cameras for Estimating Depth . . . . . . . . . . . . . . . . . 711--716 C. Colombo and A. Del Bimbo and S. De Magistris Combining Head Tracking and Pupil Monitoring in Vision-Based Human-Computer Interaction . . . . . . . 717--722 W. Brent Seales and D. Eggert Active-Camera Calibration Using Iterative Image Feature Localization . . 723--728 T. Suk and J. Flusser The Projective Invariants for Polygons 729--734 M. Haindl and S. Simberova A Multi-Model Image Line Reconstruction 735--740 L. Eikvil and K. Aas and M. Holden Tools for Automatic Recognition of Character Strings in Maps . . . . . . . 741--746 W. G. Kropatsch Towards Higher Decimation Ratios . . . . 747--752 R. Klette and I. Stojmenovic and J. Zunic A Representation of Digital Planes by Least Square Fits . . . . . . . . . . . 753--758 L. Yang and F. Albregtsen and T. Loennestad and P. Groettum A Supervised Approach to the Evaluation of Image Segmentation Methods . . . . . 759--765 L. I. Kuncheva and Y. K. Yotzov Experimental Investigation on Editing for the $k$-$ N N $ Rule through a Genetic Algorithm . . . . . . . . . . . 766--771 V. Jankovic and E. Ruzicky and E. Groeller Heterogeneous Morphing of Multimodal Medical Information . . . . . . . . . . 772--777 A. Leonardis and S. Kovacic and F. Pernus Recognition and Pose Determination of $3$-D Objects Using Multiple Views . . . 778--783 A. Meijster and J. B. T. M. Roerdink A Proposal for the Implementation of a Parallel Watershed Algorithm . . . . . . 790--795 M. Turner and E. R. Hancock Bayesian Extraction of Differential Surface Structure . . . . . . . . . . . 790--795 T. Law and H. Itoh and H. Seki A Neural Network Energy Minimization Approach to Approximation of $2$-Dimensional Shapes . . . . . . . . . 796--801 A. Anzalone and A. Machi Visual Detection of Defects in Moulded Plastic Drippers . . . . . . . . . . . . 802--807 A. Hoogs and R. Bajcsy Segmentation Modeling . . . . . . . . . 808--813 F. Faure Inverting the Reflectance Map with Binary Search . . . . . . . . . . . . . 814--819 P. L. Palmer and N. Fatemi-Ghomi and M. Petrou Feature Selection for the Tree-Wavelet Transform . . . . . . . . . . . . . . . 820--825 S. Yu and K. Weigl Performance Comparison of a Deterministic and a Stochastic Method for Image Classification . . . . . . . . 826--831 P. Pudil and J. Novovicova and F. Ferri and J. Kittler Advances in the Statistical Methodology for the Selection of Image Descriptors for Visual Pattern Representation and Classification . . . . . . . . . . . . . 832--837 P. Sturm and L. Quan Affine Stereo Calibration . . . . . . . 838--843 A. Kadyrov Triple Features for Linear Distorted Images . . . . . . . . . . . . . . . . . 844--849 L. Chmielewski and E. Chmielewska and M. Sklodowski and W. Cudny Finding Postirradiation Reaction in Lungs from Digitized X-rays . . . . . . 850--855 J. Arnspang and K. Henriksen and R. Stahr Estimating Time to Contact with Curves, Avoiding Calibration and Aperture Problem . . . . . . . . . . . . . . . . 856--861 M. Hatef and J. Kittler Constraining Probabilistic Relaxation with Symbolic Attributes . . . . . . . . 862--867 A. Maki and L. Bretzner and J.-O. Eklundh Local Fourier Phase and Disparity Estimates: An Analytical Study . . . . . 868--873 P. Fornland Direct Obstacle Detection and Motion from Spatio-Temporal Derivatives . . . . 874--879 S. Roy and I. J. Cox Direct Estimation of Rotation from Two Frames via Epipolar Search . . . . . . . 880--887 F. Andrianasy and M. Milgram Dynamic Character Recognition Using an Elastic Matching . . . . . . . . . . . . 888--893 D. Ungureanu and L. Van Gool and T. Moons Visual Robot Guidance for an Insertion Task . . . . . . . . . . . . . . . . . . 894--899 D. Janova and J. Jan Robust Surface Reconstruction from Stereo SEM Images . . . . . . . . . . . 900--905 J. Kautsky and R. Turcajova Adaptive Wavelets for Signal Analysis 906--911 M. Michaelis and R. Herpers and G. Sommer A Common Framework for Preattentive and Attentive Vision using Steerable Filters 912--919 C. Lee and Y.-F. Wang and T. Yang Static Global Scheduling for Optimal Computer Vision and Image Processing Operations on Distributed-Memory Multiprocessors . . . . . . . . . . . . 920--925 C. Herwig and H.-O. Carmesin Robust Patch Concept for Egomotion Estimation . . . . . . . . . . . . . . . 926--931 F. Xia Parallel Thinning Algorithm Based on the Wave Propagation Model . . . . . . . . . 932--937 J. M. Corridoni and A. Del Bimbo Film Editing Reconstruction and Semantic Analysis . . . . . . . . . . . . . . . . 938--943 W. Brent Seales Measuring Time-To-Contact Using Active Camera Control . . . . . . . . . . . . . 944--949 R. Wiemker The Color Constancy Problem: An Illumination Invariant Mapping Approach 950--955
Otmane Ait Mohamed Mechanizing $a$-Calculus Equivalence within HOL . . . . . . . . . . . . . . . 1 S. Agerholm Non-Primitive Recursive Function Definitions . . . . . . . . . . . . . . 17 S. Agerholm and M. Gordon Experiments with ZF Set Theory in HOL and Isabelle . . . . . . . . . . . . . . 32 P. E. Black and P. J. Windley Automatically Synthesized Term Denotation Predicates: A Proof Aid . . . 46 J.-P. Bodeveiz and M. Filali On the Refinement of Symmetric Memory Protocols . . . . . . . . . . . . . . . 58 R. J. Boulton Combining Decision Procedures in the HOL System . . . . . . . . . . . . . . . . . 75 S. H. Brackin Deciding Cryptographic Protocol Adequacy with HOL . . . . . . . . . . . . . . . . 90 H. Busch A Practical Method for Reasoning About Distributed Systems in a Theorem Prover 106 G. Collins and D. Syme A Theory of Finite Maps . . . . . . . . 122 P. Curzon Virtual Theories . . . . . . . . . . . . 138 D. Eisenbiegler and R. Kumar An Automata Theory Dedicated Towards Formal Circuit Synthesis . . . . . . . . 154 E. L. Gunter and L. Libkin Interfacing HOL90 with a Functional Database Query Language . . . . . . . . 170 J. Harrison Floating Point Verification in HOL . . . 186 J. Harrison Inductive Definitions: Automation and Application . . . . . . . . . . . . . . 200 S. Kalvala A Formulation of TLA in Isabelle . . . . 214 Jang Dae Kim and S.-K. Chin Formal Verification of Serial Pipeline Multipliers . . . . . . . . . . . . . . 229 T. Laangbacka and R. Ruksenas and J. Von Wright TkWinHOL: A Tool for Window Inference in HOL . . . . . . . . . . . . . . . . . . 245 P. N. Loewenstein Formal Verification of Counterflow Pipeline Architecture . . . . . . . . . 261 R. Reetz Deep Embedding VHDL . . . . . . . . . . 277 F. Regensburger HOLCF: Higher Order Logic of Computable Functions . . . . . . . . . . . . . . . 293 T. Schubert and S. Mocas A Mechanized Logic for Secure Key Escrow Protocol Verification . . . . . . . . . 308 D. Syme A New Interface for HOL --- Ideas, Issues and Implementation . . . . . . . 324 M. Welinder Very Efficient Conversions . . . . . . . 340 W. Wong Recording and Checking HOL Proofs . . . 353 M. Yamamoto and S.-Y. Nishizaki and M. Hagiya and Y. Toda Formalization of Planar Graphs . . . . . 369 Z. Cui and B. R. Becker and M. R. Heckman and K. Levitt A Hierarchical Method for Reasoning About Distributed Programming Languages 385
M. G. Gouda The Triumph and Tribulation of System Stabilization . . . . . . . . . . . . . 1 P. Jayanti Wait-Free Computing . . . . . . . . . . 19 G. Le Lann On Real-Time and Non Real-Time Distributed Computing . . . . . . . . . 51 D. Dolev Theory and Practice in Distributed Systems . . . . . . . . . . . . . . . . 71 O. Babaoglu and R. Davoli and L. Giachini and P. Sabattini The Inherent Cost of Strong-Partial View-Synchronous Communication . . . . . 72 R. Guerraoui Revisiting the Relationship Between Non-Blocking Atomic Commitment and Consensus . . . . . . . . . . . . . . . 87 A. Ricciardi Dissecting Distributed Coordination . . 101 B. Awerbuch and S. Kutten and Y. Mansour and D. Peleg Optimal Broadcast with Partial Knowledge 116 M. Flammini and G. Gambosi and U. Nanni and R. B. Tan Multi-Dimensional Interval Routing Schemes . . . . . . . . . . . . . . . . 131 A. Jakoby and R. Reischuk Data Transmission in Processor Networks 145 P. Spirakis and B. Tampakas and H. Antonopoulou Distributed Protocols Against Mobile Eavesdroppers . . . . . . . . . . . . . 160 J. H. Anderson and M. Moir Universal Constructions for Large Objects . . . . . . . . . . . . . . . . 168 A. Arora and M. G. Gouda Load Balancing: an Exercise in Constrained Convergence . . . . . . . . 183 M. Shapiro and P. Ferreira Larchant-RDOSS: a Distributed Shared Persistent Memory and Its Garbage Collector . . . . . . . . . . . . . . . 198 F. Bao and Y. Igarashi and K. Katano Broadcasting in Hypercubes with Randomly Distributed Byzantine Faults . . . . . . 215 M. Borcherding On the Number of Authenticated Rounds in Byzantine Agreement . . . . . . . . . . 230 L. E. Moser and P. M. Melliar-Smith Total Ordering Algorithms for Asynchronous Byzantine Systems . . . . . 242 F. Butelle and C. Lavault and M. Bui A Uniform Self-Stabilizing Minimum Diameter Tree Algorithm . . . . . . . . 257 J.-H. Hoepman and M. Papatriantafilou and P. Tsigas On Self-Stabilization in Wait-Free Shared Memory Objects . . . . . . . . . 273 G. Itkis and C. Lin and J. Simon Deterministic, Constant Space, Self-Stabilizing Leader Election on Uniform Rings . . . . . . . . . . . . . 288 C. M. Chase and V. K. Garg Efficient Detection of Restricted Classes of Global Predicates . . . . . . 303 S. D. Stoller and F. B. Schneider Faster Possibility Detection by Combining Two Approaches . . . . . . . . 318
P. Kroha Shortcomings and Extensions of Relational DBMS . . . . . . . . . . . . 50 C. Heumer and G. Kappel and S. Rausch-Schott and W. Retschitzegger Evaluation of Object-Oriented Database Systems . . . . . . . . . . . . . . . . 70 K. G. Rausch-Schott and W. Retschitzegger and A. M. Tjoa and S. Vieweg Active Object-Oriented Database Systems for CIM Applications . . . . . . . . . . 96 P. Kroha Databdrige between RDBMS and OODBMS . . 132 G. Kappel and S. Vieweg Database Requirements of CIM Applications . . . . . . . . . . . . . . 136 G. Finke Planning and Scheduling . . . . . . . . 165 M. Widmer Operational Research Models and Methods in CIM . . . . . . . . . . . . . . . . . 179 V. Sriharan and J. J. Kanet Production Planning and Control Systems --- State of the Art and New Directions 195 H. H. Adelsberger and C. Hohendorf Simulation --- A Tool for Developing Advanced Production Strategies . . . . . 217 W. Conen Dynamic Modeling of CIM Systems . . . . 237 P. Horacek Fuzzy Modeling and Control . . . . . . . 257 V. Matousek Foundations of Computer Communications 289 R. Traunmueller Information Management and Information Systems Planning . . . . . . . . . . . . 325 F. Joergensen Overview of Function Modelling --- IDEFO 340 H. H. Adelsberger and F. Koerner Data Modeling with IDEFIX . . . . . . . 355 W. Jacak and B. Kapsammer Automatic Programming in CIM Based on Intelligent Tools . . . . . . . . . . . 392 P. J. Drazan Model Based Decision Support Systems . . 418 Z. Kouba and T. Vlcek Man --- Machine Interface for CIM . . . 427 J. Hensgens Designing for Evolutionary Systems . . . 439 I. Preucil Active Subsystems for CIM Environments 454 P. Slavik CAD Systems: Trends and Developments . . 478 S. M. Fohn and A. Greef and R. E. Young and P. O'Grady Concurrent Engineering . . . . . . . . . 493 D. Specht and F. Fehler Groupwork in the Shop-Floor-Area Needs Decentral CIM-Structures and Components 506 V. Marik and J. Lazansky and O. Stepankova Does CIM Need AI? . . . . . . . . . . . 517 K.-P. Keilmann Multi-Agent Systems: A Natural Trend in CIM . . . . . . . . . . . . . . . . . . 548 M. Neubauer Production Scheduling and Genetic Algorithms . . . . . . . . . . . . . . . 563 J. Csonto Implementation of Systems with Declarative Constraints . . . . . . . . 583 I. Marvan and O. Stepankova Qualitative Reasoning and CIM . . . . . 594 P. Starzacher and G. Quirchmayr and R. Wagner Comparison and Analysis of Selected CIM-Laboratory Concepts and their Importance for the Improvement of Staff Training . . . . . . . . . . . . . . . . 613 A. M. Tjoa and R. R. Wagner and C. Gierlinger and C. Kaiser The Use of the Active Database SIMON for a Short Term Production Planning System in the Automotive Industry . . . . . . . 638
A. K. Jain and K. Karu Texture Analysis: Representation and Matching . . . . . . . . . . . . . . . . 3 C. Rouquet and P. Bonton Region-Based Segmentation of Textured Images . . . . . . . . . . . . . . . . . 11 A. Succi and V. Torre A New Approach to Image Segmentation . . 17 P. Campadelli and D. Medici and R. Schettini Using Hopfield Networks to Segment Color Images . . . . . . . . . . . . . . . . . 25 S. Wegner and T. Harms and J. H. Builtjes and H. Oswald The Watershed Transformation for Multiresolution Image Segmentation . . . 31 O. V. Larsen and P. Radeva and E. Marti Bounds on the Optimal Elasticity Parameters for a Snake . . . . . . . . . 37 H. Bunke and B. T. Messmer Efficient Attributed Graph Matching and Its Application to Image Analysis . . . 45 A. M. Finch and E. R. Hancock Matching Delaunay Graphs . . . . . . . . 56 R. C. Wilson and E. R. Hancock An Integrated Approach to Grouping and Matching . . . . . . . . . . . . . . . . 62 L. P. Cordella and C. De Stefano and C. Sansone and M. Vento An Adaptive Reject Option for LVQ Classifiers . . . . . . . . . . . . . . 68 T. Blaszka and R. Deriche A Model Based Method for Characterization and Location of Curved Image Features . . . . . . . . . . . . . 77 J. Matas and Z. Shao and J. Kittler Estimation of Curvature and Tangent Direction by Median Filtered Differencing . . . . . . . . . . . . . . 83 D. Ziou and S. Tabbone Adaptive Elimination of False Edges for First Order Detectors . . . . . . . . . 89 D. Koelma and A. Smeulders An Image Processing Library Based on Abstract Image Data-Types in C++ . . . . 97 M. Maruyama and T. Teraoka and T. Tamada and S. Nishida Spatio-Temporal Data Management for a $3$D Graphical Information System . . . 103 A. A. Souza Sol and A. De Albuquerque Araujo PhotoPix: an Object-Oriented Framework for Digital Image Processing Systems . . 109 A. Broggi Data Packing vs. Processing Speed on Low-Cost Massively Parallel Systems . . 115 A. Kutics and M. Date A New Parallel Method Based on a Genetic Approach for Determination and Classification of Skin Spots . . . . . . 121 P. Baglietto and M. Maresca and A. Migliaro and M. Migliardi A VLSI Scalable Processor Array for Motion Estimation . . . . . . . . . . . 127 V. Cantoni and L. Cinque and S. Levialdi and L. Lombardi Evaluating Digital Angles by a Parallel Diffusion Process . . . . . . . . . . . 133 M. G. Albanesi and M. Ferretti and L. Zangrandi A Pyramidal Approach to Convex Hull and Filling Algorithms . . . . . . . . . . . 139 A. Biancardi and M. Pini A Code Based Approach to Image-Processing Teaching . . . . . . . 145 H. H. Bothe A Visual Speech Model Based on Fuzzy-Neuro Methods . . . . . . . . . . 153 A. J. Pinho and L. B. Almeida Edge Detection Filters Based on Artificial Neural Networks . . . . . . . 159 N. Petkov Use of Cortical Filters and Neural Networks in a Self-Organising Image Classification System . . . . . . . . . 165 J.-S. Lee and C.-H. Chen and Y.-N. Sun and G.-S. Tseng Occluded Objects Recognition Using Multiscale Features and Hopfield Neural Networks . . . . . . . . . . . . . . . . 171 J. M. Corridoni and A. Del Bimbo Automatic Video Segmentation Through Editing Analysis . . . . . . . . . . . . 179 A. Del Bimbo and P. Pala Image Retrieval by Elastic Matching of User Sketches . . . . . . . . . . . . . 185 P. Ranefall and B. Nordin and E. Bengtsson Finding Facial Features Using an HLS Colour Space . . . . . . . . . . . . . . 191 J. Jiang A New and Fast Real-Time Implementation of $2$-D DCT . . . . . . . . . . . . . . 197 S. Takamura and M. Takagi A Hybrid Lossless Compression of Still Images Using Markov Models and Linear Prediction . . . . . . . . . . . . . . . 203 C. Stiller The Impact of Aliasing and Quantization on Motion Compensation . . . . . . . . . 209 V. A. Kovalev Rule-Based Method for Tumor Recognition in Liver Ultrasonic Images . . . . . . . 217 C. C. Taylor and M. R. Faghihi and I. L. Dryden An Understanding of Muscle Fibre Images 223 G. Fernandez and M. Kunt and J.-P. Zryd A New Plant Cell Image Segmentation Algorithm . . . . . . . . . . . . . . . 229 J. Batista and R. Kitney Extraction of Tumours from MR Images of the Brain by Texture and Clustering . . 235 F. Bello and R. Kitney Automatic Identification of Brain Contours in Magnetic Resonance Images of the Head . . . . . . . . . . . . . . . . 241 V. Della Mea and C. A. Beltrami Analysis of the Spatial Arrangement of Cells in the Proliferative Breast Lesions . . . . . . . . . . . . . . . . 247 Y. Chitti Application of Image Processing in Neurobiology: Detection of Low Signals with High Spatial Resolution and a Non-Uniform Variance . . . . . . . . . . 253 A. Giachetti and M. Cappello and G. Gigli and V. Torre Computer Assisted Analysis of Echocardiographic Image Sequences . . . 258 S. Vinitski and C. Gonzalez and C. Burnett and F. Mohamed Tissue Segmentation in MRI as an Informative Indicator of Disease Activity in the Brain . . . . . . . . . 265 M. S. Costa and L. G. Shapiro Analysis of Scenes Containing Multiple Non-Polyhedral $3$D Objects . . . . . . 273 P. Dherete and L. Wendling and J. Desachy Fuzzy Segmentation and Astronomical Images Interpretation . . . . . . . . . 281 W. F. Bischof and T. Caelli Learning How to Find Patterns or Objects in Complex Scenes . . . . . . . . . . . 287 G. Bellaire and K. Schluens and A. Mitritz and K. Gwinner Adaptive Matching Using Object Models Generated from Photometric Stereo Images 293 V. Roberto and E. Trucco Sensor Planning Techniques and Active Visual Inspection . . . . . . . . . . . 301 R. Enciso and T. Vieville Experimental Self-Calibration from Four Views . . . . . . . . . . . . . . . . . 307 G. Garibotto and M. Ilic and S. Masciangelo Vision-Based Navigation in Service Robotics . . . . . . . . . . . . . . . . 313 K. Wu and M. D. Levine Segmenting $3$D Objects into Geons . . . 321 C. Arcelli and G. Ramella Delineation of Elongated Sub-Patterns in a Piecewise Constant Foreground . . . . 335 F. Xia On a New Basic Concept and Topological Invariant . . . . . . . . . . . . . . . 341 G. Lambert and H. Gao Line Moments and Invariants for Real Time Processing of Vectorized Contour Data . . . . . . . . . . . . . . . . . . 347 V. Murino and E. Frumento and F. Gabino Restoration of Noisy Underwater Acoustic Images Using Markov Random Fields . . . 355 B. Krebs and B. Korn and F. M. Wahl Plausibilistic Preprocessing of Sparse Range Images . . . . . . . . . . . . . . 361 E. Puppo Segmentation/Reconstruction of Range Images Based on Piecewise-Linear Approximation . . . . . . . . . . . . . 367 T. Caelli and M. Ollila In-Place Covariance Operators for Computer Vision . . . . . . . . . . . . 375 M. Salotti and M. Hatimi A New Heuristic Search for Boundary Detection . . . . . . . . . . . . . . . 381 Y. Nakazawa and T. Komatsu and T. Saito Sub-Pixel Registration for Super High Resolution Image Acquisition Based on Temporal Integration . . . . . . . . . . 387 C. Ottonello and S. Pagnan and V. Murino Robust Features for Textures in Additive Noise . . . . . . . . . . . . . . . . . 393 V. Caglioti Decomposing Contours into Curves of Different Families . . . . . . . . . . . 399 D. G. Sorrenti A Proposal on Local and Adaptive Determination of Filter Scale for Edge Detection . . . . . . . . . . . . . . . 405 A. Larre and E. Montseny On the Detection of Step Edges in Algorithms Based on Gradient Vector Analysis . . . . . . . . . . . . . . . . 411 S. Bres and H. Emptoz Directions Analysis in Grey-level Images 417 M. Zribi and F. Ghorbel An Unsupervised and Non-Parametric Bayesian Image Segmentation . . . . . . 423 S. Vitulano and C. Di Ruberto and M. Nappi A.I. Based Image Segmentation . . . . . 429 F. Marino and G. Mastronardi Quality Enhancement in Image Enlargement 435 I. Nystroem and G. Borgefors Synthesising Objects and Scenes Using the Reverse Distance Transformation in $2$D and $3$D . . . . . . . . . . . . . 441 A. M. Landraud and S. Oh Yum Texture Segmentation Using Local Phase Differences in Gabor Filtered Images . . 447 M. Accame and F. De Natale Disparity Estimation for Stereo Sequences Based on Adaptive Size Hierarchical Block Matching . . . . . . 453 Y. Zhang and J. J. Gerbrands Matching of Stereo Curves --- A Closed Form Solution . . . . . . . . . . . . . 459 G. Tascini and P. Puliti and P. Zingaretti Multi-Polygonal Object Tracking . . . . 465 Y. Cui and J. Weng and H. Reynolds Optimal Parameter Estimation of Ellipses 471 J. A. F. Leite and E. R. Hancock A Linear Discriminator of Width . . . . 477 V. V. Kindratenko and B. A. Treiger and P. J. M. Van Espen Binarization of Inhomogeneously Illuminated Images . . . . . . . . . . . 483 D. Attali and G. Sanniti di Baja and E. Thiel Pruning Discrete and Semicontinuous Skeletons . . . . . . . . . . . . . . . 488 Y. B. Karasik On Commutative Properties of Halftoning and Their Applications . . . . . . . . . 494 P. Bottoni and L. Cinque and S. Levialdi and L. Lombardi Combining Resolution and Granularity for Pattern Recognition . . . . . . . . . . 503 E. Turolla and Y. Belaid and A. Belaid Line and Cell Searching in Tables or Forms . . . . . . . . . . . . . . . . . 509 G. Congedo and G. Dimauro and S. Impedovo and G. Pirlo Describing Words by Graphs . . . . . . . 515 G. Congedo and G. Dimauro and A. M. Forte and S. Impedovo Selecting Reference Signatures for On-Line Signature Verification . . . . . 521 A. Zramdini and R. Ingold ApOFIS: an A priori Optical Font Identification System . . . . . . . . . 527 M. Burge and G. Monagan Extracting Words and Multi-Part Symbols in Graphics Rich Documents . . . . . . . 533 S. Bussi and F. Mangili A Semi-Automatic Method for Form Layout Description . . . . . . . . . . . . . . 539 G. Boccignone and M. De Santo and A. Chianese and A. Picariello Improving the Use of Contours for Off-line Cursive Script Segmentation . . 545 T. Tsuchiya and N. Nakajima and T. Kamimura A Method for Determining Address Format in the Automated Sorting of Japanese Mail . . . . . . . . . . . . . . . . . . 551 A. B. C. Zidouri and S. Chinveeraphan and M. Sato Structural Features by MCR Expression for Printed Arabic Character Recognition 557 T. Shioyama and A. Okumura and Y. Aoki Genetic Algorithm for Thinning Gray-Scale Images of Characters . . . . 563 G. Marcu and S. Abe Blue-Print Document Analysis for Color Classification . . . . . . . . . . . . . 569 G. Nagy Document Image Analysis: What is Missing? . . . . . . . . . . . . . . . . 577 J. Hu and M. K. Brown and W. Turin Invariant Features for HMM Based On-Line Handwriting Recognition . . . . . . . . 588 G. Congedo and G. Dimauro and S. Impedovo and G. Pirlo A Robust Analytical Approach for Handwritten Word Recognition . . . . . . 594 L. Cinque and S. Di Zenzo and S. Levialdi Recognition of Rotated Characters by Inexact Matching . . . . . . . . . . . . 600 M. Chan and G. T. Herman and E. Levitan Bayesian Image Reconstruction Using a High-Order Interacting MRF Model . . . . 609 H.-K. Choi and E. Bengtsson and T. Jarkrans and J. Vasko Minimum Spanning Trees (MST) as a Tool for Describing Tissue Architecture when Grading Bladder Carcinoma . . . . . . . 615 M. Baroni and G. Congiu and A. Del Bimbo and A. Evangelisti Symbolic Indexing of Cardiological Sequences Through Dynamic Curve Representations . . . . . . . . . . . . 621 A. N. Netravali Visual Communication . . . . . . . . . . 629 D. C. Popescu and A. Dimca and H. Yan Generalized Square Isometries --- An Improvement for Fractal Image Coding . . 637 C. Braccini and F. Cocurullo and F. Lavagetto A Fast Algorithm for High Quality Vector Quantization Codebook Design . . . . . . 643 H. Lin and A. N. Venetsanopoulos Fast Fractal Image Coding Using Pyramids 649 A. Kurianski and M. Nieniewski Hidden MRF Detection of Motion of Objects with Uniform Brightness . . . . 657 T. Saito and T. Komatsu Motion Analysis and Segmentation for Object-Oriented Mid-Level Image Representation . . . . . . . . . . . . . 663 L. Boeroeczky and R. Fioravanti and S. Fioravanti and D. D. Giusto Speckle Noise Filtering in SAR Images Using Wavelets . . . . . . . . . . . . . 671 R. Bolla and M. Marchese and C. Nobile and S. Zappatore Prediction of Short-Term Evolution of Cloud Formations Based on Meteosat Image Sequences . . . . . . . . . . . . . . . 677 S. Praud and P. Germain and J. Plantier Prototyping of Interactive Satellite Image Analysis Tools Using a Real-Time Data-Flow Computer . . . . . . . . . . . 683 F. Marti and M. Naldi Simulation of Aircraft Images for Airport Surface Traffic Control . . . . 689 J.-C. Ossola and M. Thonnat Cooperation of Knowledge Based Systems for Galaxy Classification . . . . . . . 697 L. Wendling and M. Zehana and J. Desachy Fuzzy Segmentation and Structural Knowledge for Satellite Image Analysis 703 J.- C. Di Martino and S. Tabbone Detection of Lofar Lines . . . . . . . . 709 A. Tesei and A. Trucco and D. Zambonini A Fast Object Orientation Estimation and Recognition Technique for Underwater Acoustic Imaging . . . . . . . . . . . . 715 N. Semmar Applying Contextual Constraints to Extract Symbolic Representation for Image Understanding . . . . . . . . . . 721 A. R. Greig Application of the Hough Transform for Weld Inspection Underwater . . . . . . . 731 M. Darboux and J.-M. Dinten Development of an Automated Bond Verification System for Advanced Electronic Packages . . . . . . . . . . 737 L. Bruzzone and F. Roli and S. B. Serpico Crack Detection by a Mesure of Texture Anisotropy . . . . . . . . . . . . . . . 743 M. Barni and V. Cappellini and A. Mecocci A Vision System for Automatic Inspection of Meat Quality . . . . . . . . . . . . 748
A. Stansfield and I. Page The Design of a New FPGA Architecture 1 R. Payne Self-Timed FPGA Systems . . . . . . . . 21 S. Churcher and T. Kean and B. Wilkie XC6200 Fastmap[TM] Processor Interface 36 G. Snider and P. Kuekes and W. B. Culbertson and R. J. Carter The Teramac Configurable Computer Engine 44 T. Miyazaki and K. Yamada and A. Tsutsui and H. Nakada Telecommunication-Oriented FPGA and Dedicated CAD System . . . . . . . . . . 54 P. Dunn A Configurable Logic Processor for Machine Vision . . . . . . . . . . . . . 68 P. Schulz Extending DSP-Boards with FPGA-Based Structures of Interconnection . . . . . 78 R. V. Rachakonda and P. M. Athanas and A. L. Abbott High-Speed Region Detection and Labeling Using an FPGA Based Custom Computing Platform . . . . . . . . . . . . . . . . 86 C. Beaumont Using FPGAs as Control Support in MIMD Executions . . . . . . . . . . . . . . . 94 F. Guerrero and J. M. Noras Customised Hardware Based on the REDOC III Algorithm for High-Performance Date Ciphering . . . . . . . . . . . . . . . 104 A. Lawrence and A. Kay and W. Luk and T. Nomura Using Reconfigurable Hardware to Speed up Product Development and Performance 111 S. Casselman and M. Thornburg and J. Schewel Creation of Hardware Objects in a Reconfigurable Computer . . . . . . . . 119 L. E. Turner and P. J. W. Graumann Rapid Hardware Prototyping of Digital Signal Processing Systems Using FPGAs 129 A. R. Naseer and M. Balakrishnan and A. Kumar Delay Minimal Mapping of RTL Structures onto LUT Based FPGAs . . . . . . . . . . 139 E. I. Boemo and G. Gonzalez de Rivera and S. Lopez-Buedo and J. M. Meneses Some Notes on Power Management on FPGA-Based Systems . . . . . . . . . . . 149 K. Dimond An Automatic Technique for Realising User Interaction Processing in PLD Based Systems . . . . . . . . . . . . . . . . 158 C. A. Fields The Proper Use of Hierarchy in HDL-Based High Density FPGA Design . . . . . . . . 168 W. P. Marnane and C. N. Jordan and F. J. O'Reilly Compiling Regular Arrays onto FPGAs . . 178 S. Guo and W. Luk Compiling Ruby into FPGAs . . . . . . . 188 D. Greaves The CSYN Verilog Compiler and Other Tools . . . . . . . . . . . . . . . . . 198 M. Gschwind and V. Salapura A VHDL Design Methodolgy for FPGAs . . . 208 M. Khosravipour and H. Gruenbacker VHDL-Based Rapid Hardware Prototyping Using FPGA Technology . . . . . . . . . 218 M. Weinhardt Integer Programming for Partitioning in Software Oriented Codesign . . . . . . . 227 K. Ahrens Test Standard Serves Dual Role as On-Board Programming Solution . . . . . 235 U. Zahm and T. Hollstein and H.-J. Herpel and N. Wehn Advanced Method for Industry Related Education with an FPGA Design Self-Learning Kit . . . . . . . . . . . 241 T. Jebelean FPGA Implementation of a Rational Adder 251 A. Klindworth FPLD Implementation of Computation over Finite Fields GF(20m) with Applications to Error Control Coding . . . . . . . . 261 G. Panneerselvam and P. J. W. Graumann and L. E. Turner Implementation of Fast Fourier Transforms and Discrete Cosine Transforms in FPGAs . . . . . . . . . . 272 N. Shirazi and P. M. Athanas and A. L. Abbott Implementation of a $2$-D Fast Fourier Transform on an FPGA-Based Custom Computing Machine . . . . . . . . . . . 282 R. J. Petersen and B. L. Hutchings An Assessment of the Suitability of FPGA-Based Systems for Use in Digital Signal Processing . . . . . . . . . . . 293 P. Lee An FPGA Prototype for a Multiplierless FIR Filter Built Using the Logarithmic Number System . . . . . . . . . . . . . 303 L. E. Turner and P. J. W. Graumann and S. G. Gibb BIT-Serial FIR Filters with CSD Coefficients for FPGAs . . . . . . . . . 311 M. Atia and J. Bowles and D. W. Clarke and M. P. Henry A Self-Validating Temperature Sensor Implemented in FPGAs . . . . . . . . . . 321 A. Wenban and G. Brown and J. O'Leary Developing Interface Libraries for Reconfigurable Data Acquisition Boards 331 H.-J. Herpel and U. Ober and M. Glesner Prototype Generation of Application-Specific Emedded Controllers for Microsystems . . . . . . . . . . . . 341 P. Graham and B. Nelson A Hardware Genetic Algorithm for the Travelling Salesman Problem on SPLASH 2 352 M. Corba and Z. Ninkov Modular Architecture for Real-Time Astronomical Image Processing with FPGAs 362 D. R. Woodward and I. Page and D. C. Levy and R. G. Harley A Programmable I/O System for Real-Time AC Drive Control Applications . . . . . 370 R. Cuddapah and M. Corba Reconfigurable Logic for Fault-Tolerance 380 S. A. Guccione and M. J. Gonzalez Supercomputing with Reconfigurable Architectures . . . . . . . . . . . . . 389 M. Gokhale and A. Marks Automatic Synthesis of Parallel Programs Targeted to Dynamically Reconfigurable Logic Arrays . . . . . . . . . . . . . . 399 P. Lysaght and H. Dick and G. McGregor and D. McConnell Prototyping Environment for Dynamically Reconfigurable Logic . . . . . . . . . . 409 B. L. Hutchings and M. J. Wirthlin Implementation Approaches for Reconfigurable Logic Applications . . . 419 G. Brebner and J. Gray Use of Reconfigurability in Variable-Length Code Detection at Video Rates . . . . . . . . . . . . . . . . . 429 S. A. Guccione and M. Gonzalez Classification and Performance of Reconfigurable Architectures . . . . . . 439
F. Ajili and E. Contejean Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables . . . . . . . . . . . . . . . 1--17 E. Domenjoud and A. P. Tomas From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals . . . . . . . . . . . . . . . . 18--35 B. M. Smith and S. C. Brailsford and P. M. Hubbard and H. P. Williams The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared . . . . . . . . . . 36--52 M. Koubarakis From Local to Global Consistency in Temporal Constraint Networks . . . . . . 53--69 I. P. Gent and E. MacIntyre and P. Prosser and T. Walsh Scaling Effects in the CSP Phase Transition . . . . . . . . . . . . . . . 70--87 M. Yokoo Asynchronous Weak-Commitment Search for Solving Distributed Constraint Satisfaction Problems . . . . . . . . . 88--102 J. Larrosa and P. Meseguer Optimization-Based Heuristics for Maximal Constraint Satisfaction . . . . 103--120 S. Grumbach and J. Su First-Order Definability over Constraint Databases . . . . . . . . . . . . . . . 121--136 D. Q. Goldin and P. C. Kanellakis On Similarity Queries for Time-Series Data: Constraint Specification and Implementation . . . . . . . . . . . . . 137--153 P. Z. Revesz Safe Stratified Datalog with Integer Order Programs . . . . . . . . . . . . . 154--169 M. J. Maher Constrained Dependencies . . . . . . . . 170--185 P. Girodias and E. Cerny and W. J. Older Solving Linear, Min and Max Constraint Systems Using CLP Based on Relational Interval Arithmetic . . . . . . . . . . 186--203 M. Meier Debugging Constraint Programs . . . . . 204--221 A. D. Kelly and A. Macdonald and K. Marriott and H. Soendergaard An Optimizing Compiler for CLP(R) . . . 222--239 R. Dechter and P. Van Beek Local and Global Relational Consistency 240--257 F. Bacchus and P. Van Run Dynamic Variable Ordering in CSPs . . . 258--275 P. Jeavons and D. Cohen and M. Gyssens A Unifying Framework for Tractable Constraints . . . . . . . . . . . . . . 276--291 F. Bacchus and A. Grove On the Forward Checking Algorithm . . . 292--309 K. Marriott and M. Odersky A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice . . . . . . . . . . . . . . . . . 310--327 A. Podelski and G. Smolka Situated Simplification . . . . . . . . 328--344 C. Codognet and P. Codognet Guarded Constructive Disjunction: Angel or Demon? . . . . . . . . . . . . . . . 345--361 E. Zaffanella Domain Independent Ask Approximation in CCP . . . . . . . . . . . . . . . . . . 362--379 F. Baader and K. U. Schulz On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers . . . . . . . . . . . 380--397 J. Zhang and H. Zhang Constraint Propagation in Model Generation . . . . . . . . . . . . . . . 398--414 A. Werner Normalizing Narrowing for Weakly Terminating and Confluent Systems . . . 415--430 L. Colussi and E. Marchiori and M. Marchiori On Termination of Constraint Logic Programs . . . . . . . . . . . . . . . . 431--448 H. Simonis and T. Cornelissens Modelling Producer/Consumer Constraints 449--462 D. Sabin and M. C. Sabin and R. D. Russell and E. C. Freuder A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks . . . . . . . . . . . . . . . . 463--480 N. Guerinik and M. Van Caneghem Solving Crew Scheduling Problems by Constraint Programming . . . . . . . . . 481--498 M. Paltrinieri A Visual Constraint-Programming Environment . . . . . . . . . . . . . . 499--514 A. Rauzy Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure? . . 515--532 S. Prestwich and S. Mudambi Improved Branch and Bound in Constraint Logic Programming . . . . . . . . . . . 533--548 H.-J. Goltz Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling . . . . . . . . . . . . . . . 549--562 B. Buchberger What is Symbolic Computation? . . . . . 563 P. Van Hentenryck Constraint Solving for Combinatorial Search Problems: A Tutorial . . . . . . 564--587 V. Saraswat The Concurrent Constraint Programming Research Programmes . . . . . . . . . . 588 N. Bjoerner and A. Browne and Z. Manna Automatic Generation of Invariants and Intermediate Assertions . . . . . . . . 589--623 A. Borning and B. N. Freeman-Benson The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces . . . . . . . 624--628 M. P. J. Fromherz and V. A. Saraswat Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation . . . . . . . . . . . 629--635 M. Meier and A. Herold CLP in ECRC . . . . . . . . . . . . . . 636--639 Toura\"\ivane Constraint Programming and Industrial Applications . . . . . . . . . . . . . . 640--642 H. Simonis The CHIP System and Its Applications . . 643--646 J.-F. Puget Applications of Constraint Programming 647--650
R. Steinmetz and L. C. Wolf Evaluation of a CPU Scheduling Mechanism for Synchronized Multimedia Streams . . 1 J. Boulos and D. Boudigue An Application of SMART2: A Tool for Performance Evaluation of Relational DataBase Programs . . . . . . . . . . . 11 T. K. Tsai and R. K. Iyer Measuring Fault Tolerance with the FTAPE Fault Injection Tool . . . . . . . . . . 26 B. Vinck and H. Bruneel Queueing Analysis of Discrete-Time Buffer Systems with Compound Arrival Process and Variable Service Capacity 41 M. Paterok and P. Dauphin and U. Herzog The Method of Moments for Higher Moments and the Usefulness of Formula Manipulation Systems . . . . . . . . . . 56 U. Langer Integration of Performance Evaluations in the Design Process of CPUs and Computer Systems . . . . . . . . . . . . 71 L. G. Williams and C. U. Smith Information Requirements for Software Performance Engineering . . . . . . . . 86 R. Pooley Integrating Behavioural and Simulation Modelling . . . . . . . . . . . . . . . 102 J. Dunlop Assessment of 3rd Generation Mobile Systems by Simulation . . . . . . . . . 117 C. Herrmann How Good is Stationary Analysis for the Transient Phenomena of Connection Admission in ATM? . . . . . . . . . . . 135 P. Buchholz On the Exact and Approximate Analysis of Hierarchical Discrete Time Queueing Networks . . . . . . . . . . . . . . . . 150 M. Telek and A. Bobbio and L. Jereb and A. Puliafito Steady State Analysis of Markov Regenerative SPN with Age Memory Policy 165 A. Touzene A New Iterative Method for Solving Large-Scale Markov Chains . . . . . . . 180 R. German and J. Mitzlaff Transient Analysis of Deterministic and Stochastic Petri Nets with TimeNET . . . 209 F. Bause and P. Buchholz and P. Kemper QPN-Tool for the Specification and Analysis of Hierarchically Combined Queueing Petri Nets . . . . . . . . . . 224 B. R. Haverkort Approximate Analysis of Networks of PHdPHd1dK Queues: Theory and Tool Support . . . . . . . . . . . . . . . . 239 B. W. Mohr and A. D. Malony and K. Shanmugam Speedy: An Integrated Performance Extrapolation Tool for pC++ Programs . . 254 P. Dauphin and R. Hofmann Hasse: a Tool for Analyzing Causal Relationships in Parallel and Distributed Systems . . . . . . . . . . 269 J. Brehm and M. Madhukar and E. Smirni and L. Dowdy PerPreT --- A Performance Prediction Tool for Massively Parallel Systems . . 284 A. J. C. Van Gemund Compile-Time Performance Prediction of Parallel Systems . . . . . . . . . . . . 299 S. V. Raghavan and P. J. Joseph and G. Haring Workload Models for Multiwindow Distributed Environments . . . . . . . . 314 M. Lang and M. Stuempfle and H. Kocher Building a Hierarchical CAN-Simulator Using an Object-Oriented Environment . . 327 A. Ferscha and A. D. Malony Performance-Oriented Development of Irregular, Unstructured and Unbalanced Parallel Applications in the N-MAP Environment . . . . . . . . . . . . . . 340 G. Hills and J. Rolia and G. Serazzi Performance Engineering of Distributed Software Process Architectures . . . . . 357 O. Hermanns Performance Evaluation of Connectionless Multicast Protocols for Cooperative Multimedia Applications . . . . . . . . 372 C. Lindemann and F. Schoen Modeling Relaxed Memory Consistency Protocols . . . . . . . . . . . . . . . 385 A. Fasbender and P. Davids Measurement, Modelling and Emulation of Internet Round-Trip Delays . . . . . . . 401
B. Bhargava and M. Annamalai Communication Costs in Digital Library Databases . . . . . . . . . . . . . . . 1 A. Dogac and M. Altinel and C. Ozkan and B. Arpinar METU Object-Oriented DBMS Kernel . . . . 14 Y. S. Jun and S. I. Yoo Design and Implementation of the spareC++ OODBPL . . . . . . . . . . . . 28 J. Kusch and P. Hartel and T. Hartmann and G. Saake Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment . . . . . . . . . . . . . . 38 J. Yang and M. Papazoglou A Frame-Based Approach for Interoperation Support in Multidatabase Systems . . . . . . . . . . . . . . . . 48 F. P. Coenen and I. Finch and M. J. R. Shave and T. J. M. Bench-Capon Developing Distributed Database Applications Using TSL . . . . . . . . . 58 C. Boehm and A. Oppitz and P. Vogel and S. Wiesener Prints of the 17th Century in a Distributed Digital Library System . . . 68 O. Pastor Lopez and I. Ramos Salavert and J. H. Canos Cerda OASIS v2: A Class Definition Language 79 C. Souza dos Santos Design and Implementation of Object-Oriented Views . . . . . . . . . 91 F. Di Loreto and F. Ferri and F. Massari and M. Rafanelli A Visual Object-Oriented Query Language for Geographic Information Systems . . . 103 O. Kagawa and K. Katayama and S. Konomi and Y. Kambayashi Capturing Essential Questions Using Question Support Facilities in the VIEW Classroom . . . . . . . . . . . . . . . 114 A. De Korvin and G. Quirchmayr and S. Hashemi A Fuzzy Model of Managerial Decision Making Incorporating Risk and Ambiguity Aversion . . . . . . . . . . . . . . . . 124 T. Krueger and G. Kurian and A. Nair and G. Neumann People Oriented Software Technology, and Its Use in Environmental Reporting . . . 136 A. Hameurlain and F. Morvan A Cost Evaluator for Parallel Database Systems . . . . . . . . . . . . . . . . 146 K.-L. Tan and J. X. Yu A Performance Study of Declustering Strategies for Parallel Spatial Databases . . . . . . . . . . . . . . . 157 J. Kempe and W. Kowarschick and W. Kiessling and R. Hitzelberger Benchmarking Object-Oriented Database Systems for CAD . . . . . . . . . . . . 167 G. Pernul and H. Hasenauer Combining Reverse with Forward Database Engineering --- a Step Forward to Solve the Legacy System Dilemma . . . . . . . 177 J. Darmont and A. Attoui and M. Gourgand Performance Evaluation for Clustering Algorithms in Object-Oriented Database Systems . . . . . . . . . . . . . . . . 187 W. Naqvi and S. Panyiotou Applied Active Databases for Evolving Image Processing Algorithms . . . . . . 197 B. Beattie and F. Coenen and T. J. M. Bench-Capon and B. M. Diaz Spatial Reasoning for GIS Using a Tesseral Data Representation . . . . . . 207 J.-K. Kim and J.-W. Chang A New Dynamic Signature File Method in Parallel Processing Environment . . . . 217 C. Yahata and M. Takizawa General Protocols for Consensus in Distributed Systems . . . . . . . . . . 227 H. Naja and N. Mouaddib The Multiple Representation in an Architectural Application . . . . . . . 237 P. Breche and F. Ferrandina and M. Kuklok Simulation of Schema Change Using Views 247 P. François and P. Bazex SGML/HyTime Repositories: Requirements and Data Modelling Using Object-Oriented Database Concepts . . . . . . . . . . . 259--271 I. A. Macleod and D. Narine A Depository for Structured Text Objects 272 O. Signore Issues on Hypertext Design . . . . . . . 283 P. Becker A Temporal Logic Based Approach for Querying Lists, Trees, and DAG's in Databases . . . . . . . . . . . . . . . 293 F. Buccafurri and N. Leone and L. Palopoli and P. Rullo Disjunctive Ordered Logic . . . . . . . 303 X. Du and N. Ishii An Algebraic Rewriting Theorem of Multiple Linear Recursions and Its Applications . . . . . . . . . . . . . . 313 B. Bhargava and S. Goel A Layered Architecture for Supporting Objects in a Relational System: A Performance Study . . . . . . . . . . . 323 G. Bellavia and D. Maio and S. Rizzi An SQL Extension Supporting User Viewpoints . . . . . . . . . . . . . . . 334 C. Boucher and C. Daul and P. Graebling and E. Hirsch KBED: a Knowledge-Based Edge Detection System . . . . . . . . . . . . . . . . . 344 J. Debenham Understanding Expert Systems Maintenance 354 M. Abel and E. B. Reategui and J. M. V. De Castilho and J. Campbell Evaluating Case-Based Reasoning in a Geological Domain . . . . . . . . . . . 364 L. Bardis and G. Grigoropoulos and S. Kokkotos and T. Loukakis An Expert Loading System for Chemical and Product Carriers . . . . . . . . . . 374 D. Gazzotti and L. Piancastelli and C. Sartori and D. Beneventano FuzzyBase: A Fuzzy Logic Aid for Relational Database Queries . . . . . . 385 M. Mechkour EMIR02: An Extended Model for Image Representation and Retrieval . . . . . . 395 L. Fleury and C. Djeraba and H. Briand and J. Philippe Rule Evaluations in a KDD System . . . . 405 A. M. J. Miller and W. A. Gray and N. J. Fiddian Object-Oriented Knowledge Based Imputation . . . . . . . . . . . . . . . 415 A. Motro and S. Goullioud Knowledge Organization for Exploration 426 F. Cesarini and M. Gori and S. Marinai and G. Soda Data Extraction from Form Images . . . . 438 M. Choquette and D. Poulin and P. Bratley Compiling Legal Hypertexts . . . . . . . 449 B. Eaglestone Composition Tools Integration with a Music Database System . . . . . . . . . 459 C. Soutou Relational Database Reverse Engineering: Extraction of an IFO2 Schema . . . . . . 469 E. Suekan and Z. M. Oezsoyoglu Extended Set Operators for Nested Relations and Complex Objects . . . . . 479 M. Aritsugi and K. Teramoto and G. Bai and A. Makinouchi Several Implementations of Persistent Pointers in a Memory-Mapped I/O Environment . . . . . . . . . . . . . . 490 S. Choenni and H. Wagterveld and H. M. Blanken and T. Chang TOPYDE: A Tool for Physical Database Design . . . . . . . . . . . . . . . . . 502 Y. Sohn and S. Moon Tightly Secure Transaction Scheduler in Multi-Level Secure Database Management Systems . . . . . . . . . . . . . . . . 512 C. Ozkan and A. Dogac and C. Evrendilek A Heuristic Approach for Optimization of Path Expressions . . . . . . . . . . . . 522 T. Gross and R. Traunmueller Problem Dimensions in Design of CSCW Systems . . . . . . . . . . . . . . . . 535 J. Kueng and R. Wagner and W. Woess A Rule-Driven Transformation Processor for Bill of Material Data . . . . . . . 545 S.-H. Lee and Y. Kambayashi Functions of VIEW Conf to Support Dynamic Features of Meetings . . . . . . 554 D. Maio and S. Rizzi CICERO: An Assistant for Planning Visits to a Museum . . . . . . . . . . . . . . 564 C. Bauzer-Medeiros and G. Vossen and M. Weske WASA: A Workflow-Based Architecture to Support Scientific Database Applications 574 W. Winiwarter MIDAS --- The Morphological Component of the IDA System for Efficient Natural Language Interface Design . . . . . . . 584 Y. Manolopoulos and A. Vakali Partial Match Retrieval in Two-Headed Disks . . . . . . . . . . . . . . . . . 594 F. De Ferreira Rezende and T. Haerder Concurrency Control in Nested Transactions with Enhanced Lock Modes for KBMSs . . . . . . . . . . . . . . . 604 M. W. Youssef and N. Revell A Measure for Measure . . . . . . . . . 614 S. Teufel and J. H. P. Eloff and K. Bauknecht and D. Karagiannis Information Security Concepts in Computer Supported Cooperative Work . . 621 L. Preucil and P. Stepan An Intelligent Self-Guided Vehicle for CIM Systems . . . . . . . . . . . . . . 632 V. Campr and Z. Kouba and T. Vlcek Information System for Onco-Pathology: From an Expert System to WWW . . . . . . 642
S. Even and G. Itkis and S. Rajsbaum On Mixed Connectivity Certificates . . . 1 A. Baeumker and W. Dittrich and F. Meyer auf der Heide Truly Efficient Parallel Algorithms: $c$-Optimal Multisearch for an Extension of the BSP Model . . . . . . . . . . . . 17 S. Chaudhuri and C. D. Zaroliagis Optimal Parallel Shortest Paths in Small Treewidth Digraphs . . . . . . . . . . . 31 A. Czumaj and F. Meyer auf der Heide and V. Stemann Shared Memory Simulations with Triple-Logarithmic Delay . . . . . . . . 46 K. T. Herley and A. Pietracaprina and G. Pucci Implementing Shared Memory on Multi-Dimensional Meshes and on the Fat-Tree . . . . . . . . . . . . . . . . 60 M. Kaufmann and J. F. Sibeyn and T. Suel Beyond the Worst-Case Bisection Bound: Fast Sorting and Ranking on Meshes . . . 75 B. S. Chlebus and L. Gasieniec and A. Pelc Fast Deterministic Simulation of Computations on Faulty Parallel Machines 89 B. Codenotti and P. Gemmell and J. Simon Average Circuit Depth and Average Communication Complexity . . . . . . . . 102 J. Gil and A. Itai Packing Trees . . . . . . . . . . . . . 113 V. G. Deineko and R. Rudolf and G. J. Woeginger Sometimes Travelling is Easy: The Master Tour Problem . . . . . . . . . . . . . . 128 I. Pe'er and R. Shamir Interval Graphs with Side (and Size) Constraints . . . . . . . . . . . . . . 142 A. V. Goldberg and A. V. Karzanov Maximum Skew-Symmetric Flows . . . . . . 155 M. R. Henzinger and H. La Poutre Certificates and Fast Algorithms for Biconnectivity in Fully-Dynamic Graphs 171 K. Mehlhorn and V. Priebe On the All-Pairs Shortest Path Algorithm of Moffat and Takaoka . . . . . . . . . 185 T. Husfeldt Fully Dynamic Transitive Closure in Plane Dags with One Source and One Sink 199 Q.-W. Feng and R. F. Cohen and P. Eades Planarity for Clustered Graphs . . . . . 213 B. Chor and M. Sudan A Geometric Approach to Betweenness . . 227 E. Papadopoulou and D. T. Lee Efficient Computation of the Geodesic Voronoi Diagram of Points in a Simple Polygon . . . . . . . . . . . . . . . . 238 M. De Berg Linear Size Binary Space Partitions for Fat Objects . . . . . . . . . . . . . . 252 L. P. Chew and D. Dor and A. Efrat and K. Kedem Geometric Pattern Matching in $d$-Dimensional Space . . . . . . . . . 264 Cao An Wang and F. Chin Finding the Constrained Delaunay Triangulation and Constrained Voronoi Diagram of a Simple Polygon in Linear-Time . . . . . . . . . . . . . . 280 L. Arge and D. E. Vengroff and J. S. Vitter External-Memory Algorithms for Processing Line Segments in Geographic Information Systems . . . . . . . . . . 295 E. Fernandes Barbosa and G. Navarro and R. Baeza-Yates and C. Perleberg Optimized Binary Search and Text Retrieval . . . . . . . . . . . . . . . 311 E. Sutinen and J. Tarhio On Using $q$-Gram Locations in Approximate String Matching . . . . . . 327 F. Meyer auf der Heide and C. Scheideler Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks . . . . . . . . . . . . . . . . 341 J. Westbrook Load Balancing for Response Time . . . . 355 P. Berthome and T. Duboux and T. Hagerup and I. Newman Self-Simulation for the Passive Optical Star Model . . . . . . . . . . . . . . . 369 M. Farach and T. M. Przytycka and M. Thorup Computing the Agreement of Trees with Bounded Degrees . . . . . . . . . . . . 381 B. Yu and J. Cheriyan Approximation Algorithms for Feasible Cut and Multicut Problems . . . . . . . 394 M. Serna and F. Xhafa On Parallel versus Sequential Approximation . . . . . . . . . . . . . 409 F. Wagner and A. Wolff An Efficient and Effective Approximation Algorithm for the Map Labeling Problem 420 T. Kloks and D. Kratsch and H. Mueller Approximating the Bandwidth for Asteroidal Triple-free Graphs . . . . . 434 D. Dubhashi and A. Panconesi Near-Optimal Distributed Edge Coloring 448 M. Bern and D. Eppstein and L. Guibas and J. Hershberger The Centroid of Points with Approximate Weights . . . . . . . . . . . . . . . . 460 A. S. Schulz and R. Weismantel and G. M. Ziegler 0/1-Integer Programming: Optimization and Augmentation are Equivalent . . . . 473 B. Kalyanasundaram and K. R. Pruhs The Online Transportation Problem . . . 484 P. Mutzel A Polyhedral Approach to Planar Augmentation and Related Problems . . . 494 O. Gerstel and A. Wool and S. Zaks Optimal Layouts on a Chain ATM Network 508 N. Alou and Z. Galil and M. Yung Efficient Dynamic-Resharing ``Verifiable Secret Sharing'' Against Mobile Adversary . . . . . . . . . . . . . . . 523 S. Aggarwal and J. A. Garay and A. Herzberg Adaptive Video On Demand . . . . . . . . 538 P. V. Poblete and J. I. Munro and T. Papadakis The Binomial Transform and its Application to the Analysis of Skip Lists . . . . . . . . . . . . . . . . . 554 P. Damaschke An Optimal Parallel Algorithm for Digital Curve Segmentation Using Hough Polygons and Monotone Function Search 570 R. Klein and A. Lingas Fast Skeleton Construction . . . . . . . 582
T. Gautier and J. L. Roch and G. Villard Regular Versus Irregular Problems and Algorithms . . . . . . . . . . . . . . . 1 G. H. Botorog and H. Kuchen Algorithmic Skeletons for Adaptive Multigrid Methods . . . . . . . . . . . 27 M. Ujaldon and S. D. Sharma and J. Saltz and E. L. Zapata Run-Time Techniques for Parallelizing Sparse Matrix Problems . . . . . . . . . 43 V. Auletta and A. Negro and V. Scarano Fast Execution of Irregularly Structured Programs with Low Communication Frequency on the Hypercube . . . . . . . 59 V. P. Krothapalli and T. Jeyaraman and M. Giesbrecht Run-Time Parallelization of Irregular DOACROSS Loops . . . . . . . . . . . . . 75 B. Hao and D. Pearson Instruction Scheduling and Global Register Allocation for SIMD Multiprocessors . . . . . . . . . . . . 81 S. Manoharan General Bounds for the Assignment of Irregular Dependency Graphs . . . . . . 87 R. K. Sen A New Scheme for Dynamic Processor Assignment for Irregular Problems . . . 99 C. Aykanat and I. Haritaoglu An Efficient Mean Field Annealing Formulation for Mapping Unstructured Domains to Hypercubes . . . . . . . . . 115 C. Walshaw and M. Cross and M. G. Everett and S. Johnson Partitioning and Mapping of Unstructured Meshes to Parallel Machine Topologies 121 C. Fu and T. Yang and A. Gerasoulis Integrating Software Pipelining and Graph Scheduling for Iterative Scientific Computations . . . . . . . . 127 K. Jansen and S. Oehring Approximation Algorithms for Time Constrained Scheduling . . . . . . . . . 143 C. Boeres and G. Chochia and P. Thanisch On the Scope of Applicability of the ETF Algorithm . . . . . . . . . . . . . . . 159 F. M. G. Franca and L. Faria Optimal Mapping of Neighbourhood-Constrained Systems . . . 165 C. R. Cantor and T. Sano and N. E. Broude and C. L. Smith Parallel Processing in DNA Analysis . . 171 P. W. Grant and M. F. Webster and X. Zhang Solving Computational Fluid Dynamics Problems on Unstructured Grids with Distributed Parallel Processing . . . . 187 R. Diekmann and D. Meyer and B. Monien Parallel Decomposition of Unstructured FEM-Meshes . . . . . . . . . . . . . . . 199 M. A. Garcia Massively Parallel Approximation of Irregular Triangular Meshes with G01 Parametric Surfaces . . . . . . . . . . 217 T. Bubeck and M. Hiller and W. Kuechlin and W. Rosenstiel Distributed Symbolic Computations with DTS . . . . . . . . . . . . . . . . . . 231 A. Das and L. E. Moser and P. M. Melliar-Smith A Parallel Processing Paradigm for Irregular Applications . . . . . . . . . 249 S. Miguet and J.-M. Pierson Load Balancing Strategies for a Parallel System of Particles . . . . . . . . . . 255 A. Benaini and D. Laiymani and G. R. Perrin A Reconfigurable Parallel Algorithm for Sparse Cholesky Factorization . . . . . 261 A. Uhl Adapted Wavelet Analysis on Moderate Parallel Distributed Memory MIMD Architectures . . . . . . . . . . . . . 275 S. Tschoeke and N. Holthoefer A New Parallel Approach to the Constrained Two-Dimensional Cutting Stock Problem . . . . . . . . . . . . . 285 W. Hasselbring and R. B. Fisher Using the ProSet-Linda Prototyping Language for Investigating MIMD Algorithms for Model Matching in $3$-D Computer Vision . . . . . . . . . . . . 301 P. M. Pardalos and L. Pitsoulis and T. Mavridou and M. G. C. Resende Parallel Search for Combinatorial Optimization: Genetic Algorithms, Simulated Annealing, Tabu Search and GRASP . . . . . . . . . . . . . . . . . 317 P. Sanders Better Algorithms for Parallel Backtracking . . . . . . . . . . . . . . 333 H. Hopp and P. Sanders Parallel Game Tree Search on SIMD Machines . . . . . . . . . . . . . . . . 349 A. De Bruin and G. A. P. Kindervater and H. W. J. M. Trienekens Asynchronous Parallel Branch and Bound and Anomalies . . . . . . . . . . . . . 363 P. Sanders Fast Priority Queues for Parallel Branch-and-Bound . . . . . . . . . . . . 379 R. Correa A Parallel Formulation for General Branch-and-Bound Algorithms . . . . . . 395
L. P. Kaelbling and M. L. Littman and A. R. Cassandra Partially Observable Markov Decision Processes for Artificial Intelligence 1 W. Menzel Robust Processing of Natural Language 19 W. Bricken Distinction Networks . . . . . . . . . . 35 R. Bajcsy and J. Kosecka The Problem of Signal and Symbol Integration: A Study of Cooperative Mobile Autonomous Agent Behaviors . . . 49 S. Schroedl An Extension of Explanation-Based Generalization to Negation as Failure 65 R. Englert Inducing Integrity Constraints from Knowledge Bases . . . . . . . . . . . . 77 W. Hoetker Dynamic Structuring of Lexical Knowledge in a Reusability Scenario . . . . . . . 89 J. Eckerle and S. Schuierer Efficient Memory-Limited Graph Search 101 K. Schnattinger and U. Hahn and M. Klenner Quality-Based Terminological Reasoning for Concept Learning . . . . . . . . . . 113 F. W. Bergmann and J. J. Quantz Parallelizing Description Logics . . . . 137 J. Giesl Automated Termination Proofs with Measure Functions . . . . . . . . . . . 149 M. Thielscher What Is A Skeptical Proof? . . . . . . . 161 E. Weydert Default Entailment --- A Preferential Construction Semantics for Defeasible Inference . . . . . . . . . . . . . . . 173 B. Van Linder and W. Van der Hoek and J.-J. C. Meyer Actions that Make you Change your Mind 185 A. Radzikowska Reasoning about Action with Typical and Atypical Effects . . . . . . . . . . . . 197 W. Lukaszewicz and E. Madalinska-Bugaj Reasoning about Action and Change: Actions with Abnormal Effects . . . . . 209 M. Bouzid and A. Ligeza Temporal Logic Based on Characteristic Functions . . . . . . . . . . . . . . . 221 B. Nebel Computational Properties of Qualitative Spatial Reasoning: First Results . . . . 233 K.-P. Gapp An Empirically Validated Model for Computing Spatial Relations . . . . . . 245 G. Herzog Integrating Vision and Language: Towards Automatic Description of Human Movements 257
O. De Moor A Generic Program for Sequential Decision Processes . . . . . . . . . . . 1--23 K. Marriott Parsing Visual Languages with Constraint Multiset Grammars . . . . . . . . . . . 24--25 M. P. Jones Programming with Constructor Classes . . 26 R. Douence and P. Fradet Towards a Taxonomy of Functional Language Implementations . . . . . . . . 27--44 F. Kamareddine and A. Rios A lambda-Calculus \`a la De Bruijn with Explicit Substitutions . . . . . . . . . 45--62 H. Fassbender A Verified Implementation of Narrowing 63--80 B. Buetow and R. Giegerich and E. Ohlebusch and S. Thesing A New Calculus for Semantic Matching . . 81--96 K. Nakahara and A. Middeldorp and T. Ida A Complete Narrowing Calculus for Higher-Order Functional Logic Programming . . . . . . . . . . . . . . 97--114 J. Freire and R. Hu and T. Swift and D. S. Warren Exploiting Parallelism in Tabled Evaluations . . . . . . . . . . . . . . 115--132 S. Dawson and C. R. Ramakrishnan and I. V. Ramakrishnan Design and Implementation of Jump Tables for Fast Indexing of Logic Programs . . 133--150 M. Mehl and R. Scheidhauer and C. Schulte An Abstract Machine for Oz . . . . . . . 151--168 A. Mycroft and K. L. Solberg Uniform PERs and Comportment Analysis 169--188 E. Barendsen and S. Smetsers Uniqueness Type Inference . . . . . . . 189--206 B. C. Massey and E. Tick Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions . . . . 207--222 W.-N. Chin and S.-C. Khoo Better Consumers for Deforestation . . . 223--240 M. Mohnen Efficient Compile: Time Garbage Collection for Arbitrary Data Structures 241--258 R. Glueck and J. Joergensen Efficient Multi-level Generating Extensions . . . . . . . . . . . . . . . 259--278 J. Hatcliff Mechanically Verifying the Correctness of an Offline Partial Evaluator . . . . 279--298 F. Henglein and D. Sands A Semantic Model of Binding Times for Safe Partial Evaluation . . . . . . . . 299--320 R. Noble and C. Runciman Gadgets: Lazy Functional Components for Graphical User Interfaces . . . . . . . 321--340 T. Vullinghs and D. Tuijnman and W. Schulte Lightweight GUIs for Functional Programming . . . . . . . . . . . . . . 341--356 H. McEvoy and P. H. Hartel Local Linear Logic for Locality Consciousness in Multiset Transformation 357--379 J.-H. Rety The Notion of Floundering for SLDNF-Resolution Revisited . . . . . . . 380--396 P. Arenas-Sanchez and A. Dovier Minimal Set Unification . . . . . . . . 397--414 Y. Shimajiri and H. Seki and H. Itoh Goal-Directed Query Processing in Disjunctive Logic Databases . . . . . . 415--430 L. Colussi and E. Marchiori and M. Marchiori A Dataflow Semantics for Constraint Logic Programs . . . . . . . . . . . . . 431--450 P. Achten A Functional Framework for Deterministically Interleaved Interactive Programs . . . . . . . . . . 451--452 P. Arenas-Sanchez and A. Gil-Luezas A Debugging Model for Lazy Narrowing . . 453--454 X. Burgues and X. Franch Evaluation of Expressions in a Multiparadigm Framework . . . . . . . . 455--456 W. Hans and F. Saenz and S. Winkler An Expression-Or-Parallel Implementation for a Functional Logic Language . . . . 457--458 M. Meriste and J. Penjam Attributed Models of Executable Specifications . . . . . . . . . . . . . 459--460 H. Saglam and J. P. Gallagher Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions . . . . . . . . . . . . . . 461--462 B.-M. Tong and H.-F. Leung Performance of a Data-Parallel Concurrent Constraint Programming System 463--464 J. E. Wunderwald A Portable Implementation of Memoing Evaluation . . . . . . . . . . . . . . . 465--466
D. A. Schmidt Natural-Semantics-Based Abstract Interpretation . . . . . . . . . . . . . 1 M. Tofte Region Inference for Higher-Order Functional Languages . . . . . . . . . . 19 P. Wolper and B. Boigelot An Automata-Theoretic Approach to Presburger Arithmetic Constraints . . . 21 M. Alt and F. Martin Generation of Efficient Interprocedural Analyzers with PAG . . . . . . . . . . . 33 R. Cleaveland and P. Iyer and D. Yankelevich Optimality in Abstractions of Model Checking . . . . . . . . . . . . . . . . 51 C. Colby Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data . . . . . 64 S. R. Coorg Partitioning Non-Strict Functional Languages for Multi-Threaded Code Generation . . . . . . . . . . . . . . . 82 A. Cortesi and G. File and R. Giacobazzi and C. Palamidessi Complementation in Abstract Interpretation . . . . . . . . . . . . . 100 D. Dussart and F. Henglein and C. Mossin Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time . . . . . . 118 K.-F. Faxen Optimizing Lazy Functional Programs Using Flow Inference . . . . . . . . . . 136 J. Giesl Termination Analysis for Functional Programs Using Term Orderings . . . . . 154 J. Hannan A Type-Based Analysis for Stack Allocation in Functional Languages . . . 172 N. Heintze Control-Flow Analysis and Type Systems 189 S. Jagannathan and A. Wright Effective Flow Analysis for Avoiding Run-Time Checks . . . . . . . . . . . . 207 N. Kobayashi and M. Nakade and A. Yonezawa Static Analysis of Communication for Asynchronous Concurrent Programming Languages . . . . . . . . . . . . . . . 225 M. R. K. Krishna Rao and R. K. Shyamasundar Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs . . . . . 243 M. Mohnen Efficient Closure Utilisation by Higher-Order Inheritance Analysis . . . 261 B. Monsuez System F and Abstract Interpretation . . 279 K. Nielsen and M. H. Soerensen Call-By-Name CPS-Translation as a Binding-Time Improvement . . . . . . . . 296 Jens Palsberg and Peter Òrbæk Trust in the Lambda Calculus . . . . . . 314--330 V. Ramachandran and P. Van Hentenryck LSign Reordered . . . . . . . . . . . . 330 M. Schmidt-Schauss and S. E. Panitz and M. Schuetz Strictness Analysis by Abstract Reduction Using a Tableau Calculus . . . 348 M. Serrano and P. Weis Bigloo: a Portable and Optimizing Compiler for Strict Functional Languages 366 J. Seward Beyond Prototype Implementations: Polymorphic Projection Analysis for Glasgow Haskell . . . . . . . . . . . . 382 F. Vedrine Binding-Time Analysis and Strictness Analysis by Abstract Interpretation . . 400 C. Fecht GENA --- a Tool for Generating Prolog Analyzers from Specifications . . . . . 418 M. Nordin and T. Lindgren and H. Millroth IGOR: A Tool for Developing Prolog Dataflow Analyzers . . . . . . . . . . . 420
E. Armengol and E. Plaza Integrating Induction in a Case-Based Reasoner . . . . . . . . . . . . . . . . 3--17 E. Auriol and M. Manago and K.-D. Althoff and S. Wess Integrating Induction and Case-Based Reasoning: Methodological Approach and First Evaluations . . . . . . . . . . . 18--32 C. Bento and J. Exposto and V. Francisco and E. Costa Experimental Study of an Evaluation Function for Cases Imperfectly Explained 33--44 C. Bento and L. Macedo and E. Costa Reasoning with Cases Imperfectly Described and Explained . . . . . . . . 45--59 M. T. Cox and A. Ram Interacting Learning-Goals: Treating Learning as a Planning Task . . . . . . 60--74 P. Cunningham and B. Smyth and T. Veale On the Limitations of Memory Based Reasoning . . . . . . . . . . . . . . . 75--86 J. Lieber A Criterion of Comparison Between two Case Bases . . . . . . . . . . . . . . . 87--100 S. Okamoto and K. Satoh An Average Predictive Accuracy of the Nearest Neighbor Classifier . . . . . . 101--112 C. Reiser and H. Kaindl Case-Based Reasoning for Multi-Step Problems and Its Integration with Heuristic Search . . . . . . . . . . . . 113--125 B. L. Richards Qualitative Models as a Basis for Case Indices . . . . . . . . . . . . . . . . 126--135 J. W. Schaaf and M. Nowak and A. Voss Using Gestalten to Retrieve Cases . . . 136--150 B. Smyth and P. Cunningham A Comparison of Incremental Case-Based Reasoning and Inductive Learning . . . . 151--164 G. Weber Examples and Remindings in a Case-Based Help System . . . . . . . . . . . . . . 165--180 K. D. Ashley and B. M. McLaren A CBR Knowledge Representation for Practical Ethics . . . . . . . . . . . . 181--197 B. Dave and G. Schmitt and S.-G. Shih and L. Bendel Case-Based Spatial Design Reasoning . . 198--210 P. J. Funk and D. Robertson Case-Based Support for the Design of Dynamic System Requirements . . . . . . 211--222 Byeong Ho Kang and P. Compton A Maintenance Approach to Case-Based Reasoning . . . . . . . . . . . . . . . 223--239 Y. Kerner Case-Based Evaluation in Computer Chess 240--254 M. Malek and V. Rialle Design of a Case-Based Reasoning System Applied to Neuropathy Diagnosis . . . . 255--265 H. Muñoz and J. Paulokat and S. Wess Controlling a Nonlinear Hierarchical Planner Using Case Replay . . . . . . . 266--279 E. B. Reategui and J. A. Campbell A Classification System for Credit Card Transactions . . . . . . . . . . . . . . 280--291 S.-A. Yang and D. Robertson and J. Lee Use of Case-Based Reasoning in the Domain of Building Regulations . . . . . 292--306
K. R. Dittrich and S. Gatziu and A. Geppert The Active Database Management System Manifesto: A Rulebase of ADBMS Features 3 N. W. Paton and J. Campin and A. A. A. Fernandes and M. H. Williams Formal Specification of Active Database Functionality: A Survey . . . . . . . . 21 T. Coupaye and C. Collet Denotational Semantics for an Active Rule Execution Model . . . . . . . . . . 36 C. Tawbi and G. Jaber and M. Dalmau Activity Specification Using Rendezvous 51 R. Fernandez and O. Diaz Reactive Behaviour Support: Themes and Variations . . . . . . . . . . . . . . . 69 O. Etzion Reasoning About the Behavior of Active Databases Applications . . . . . . . . . 86 S. Reddi and A. Poulovassilis and C. Small Extending a Functional DBPL with ECA-Rules . . . . . . . . . . . . . . . 101 M. Skoeld and E. Falkenroth and T. Risch Rule Contexts in Active Databases --- A Mechanism for Dynamic Rule Grouping . . 119 R. Sturm and J. A. Muelle and P. C. Lockemann Temporized and Localized Rule Sets . . . 131 I. S. Thomas and A. C. Jones Design and Implementation of an Active Object-Oriented Database Supporting Construction of Database Tools . . . . . 147 E. Baralis and S. Ceri and S. Paraboschi Improved Rule Analysis by Means of Triggering and Activation Graphs . . . . 165 E. Benazet and H. Guehl and M. Bouzeghoub VITAL: A Visual Tool for Analysis of Rules Behaviour in Active Databases . . 182 S. Chakravarthy and Z. Tamizuddin and J. Zhou A Visualization and Explanation Tool for Debugging ECA Rules in Active Databases 197 T. Zurek and P. Thanisch Strategies for Parallel Linear Recursive Query Processing . . . . . . . . . . . . 213 S. M. Embury and P. M. D. Gray Planning Complex Updates to Satisfy Constraint Rules Using a Constraint Logic Search Engine . . . . . . . . . . 230 M. P. Consens and A. O. Mendelzon and D. Vista and P. T. Wood Constant Propagation Versus Join Reordering in Datalog . . . . . . . . . 245 D. Plexousakis Compilation and Simplification of Temporal Integrity Constraints . . . . . 260 M. L. Kersten An Active Component for a Parallel Database Kernel . . . . . . . . . . . . 277 E. Baralis and J. Widom Using Delta Relations to Optimize Condition Evaluation in Active Databases 292 A. Geppert and S. Gatziu and K. R. Dittrich A Designer's Benchmark for Active Database Management Systems: 007 Meets the BEAST . . . . . . . . . . . . . . . 309 A. Geppert and M. Kradolfer and D. Tombros Realization of Cooperative Agents Using an Active Object-Oriented Database Management System . . . . . . . . . . . 327 J. Bailey and M. Georgeff and D. B. Kemp and D. Kinny Active Databases and Agent Systems --- A Comparison . . . . . . . . . . . . . . . 342 O. Zukunft Recovering Active Databases . . . . . . 357
P. R. Wilson and M. S. Johnstone and M. Neely and D. Boles Dynamic Storage Allocation: A Survey and Critical Review . . . . . . . . . . . . 1 P. Wadler Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation . . . . . . . . . . . . . . . 117 G. W. Hamilton Compile-Time Garbage Collection for Lazy Functional Languages . . . . . . . . . . 119 N. Roejemo Generational Garbage Collection without Temporary Space Leaks for Lazy Functional Languages . . . . . . . . . . 145 S. Matsui and Y. Tanaka and A. Maeda and M. Nakanishi Complementary Garbage Collector . . . . 163 G. Attardi and T. Flagella and P. Iglio Performance Tuning in a Customizable Collector . . . . . . . . . . . . . . . 179 M. Suzuki and H. Koide and M. Terashima MOA --- A Fast Sliding Compaction Scheme for a Large Storage Space . . . . . . . 197 D. Plainfosse and M. Shapiro A Survey of Distributed Garbage Collection Techniques . . . . . . . . . 211 M. Fuchs Garbage Collection on an Open Network 251 J. M. Piquer Indirect Mark and Sweep: A Distributed GC . . . . . . . . . . . . . . . . . . . 267 M. Maeda and H. Konaka and Y. Ishikawa and T. Tomokiyo On-the-fly Global Garbage Collection Based on Partly Mark-Sweep . . . . . . . 283 D. C. J. Matthews and T. Le Sergent LEMMA: A Distributed Shared Memory with Global and Local Garbage Collection . . 297 J. Armstrong and R. Virding One Pass Real-Time Generational Mark-Sweep Garbage Collection . . . . . 313 B. Magnusson and R. Henriksson Garbage Collection for Control Systems 323 R. Virding A Garbage Collector for the Concurrent Real-Time Language Erlang . . . . . . . 343 K. Nilsen Progress in Hardware-Assisted Real-Time Garbage Collection . . . . . . . . . . . 355 V. Phalke and B. Gopinath A Miss History-Based Architecture for Cache Prefetching . . . . . . . . . . . 381 M. Kjelsoe and S. Jones Memory Management in Flash-Memory Disks with Data Compression . . . . . . . . . 399
H. Hungar and O. Grumberg and W. Damm What if model checking must be truly symbolic . . . . . . . . . . . . . . . . 1 U. Stern and D. L. Dill Automatic verification of the SCI cache coherence protocol . . . . . . . . . . . 21 L. Pierre Describing and verifying synchronous circuits with the Boyer--Moore theorem prover . . . . . . . . . . . . . . . . . 35 P. Curzon Problems encountered in the machine-assisted proof of hardware . . . 56 D. Eisenbiegler and R. Kumar Formally embedding existing high level synthesis algorithms . . . . . . . . . . 71 L. G. Wang and M. Mendler Formal design of a class of computers 84 M. C. McFarland and T. J. Kowalski Symbolic analysis and verification of CPA descriptions . . . . . . . . . . . . 103 A. C. V. De Melo and H. Barringer A foundation for formal reuse of hardware . . . . . . . . . . . . . . . . 124 F. Corella and M. Langevin and E. Cerny and Z. Zhou State enumeration with abstract descriptions of state machines . . . . . 146 G. Cabodi and S. Quer and P. Camurati Transforming Boolean relations by symbolic encoding . . . . . . . . . . . 161 A. Wahba and D. Borrione Design error diagnosis in sequential circuits . . . . . . . . . . . . . . . . 171 O. Maler and A. Pnueli Timing analysis of asynchronous circuits using timed automata . . . . . . . . . . 189 U. Stern and D. L. Dill Improved probabilistic verification by hash compaction . . . . . . . . . . . . 206--224 H. Barringer and G. Gough and B. Monahan and A. Williams Formal support for the ELLA hardware description language . . . . . . . . . . 225 R. De Nicola and A. Fantechi and S. Gnesi and S. Larosa Verifying hardware components within JACK . . . . . . . . . . . . . . . . . . 246 S. Tasiran and R. Hojati and R. K. Brayton Language containment of non-deterministic omega-automata . . . . 261 D. Bolignano A partial-order approach to the verification of concurrent systems: checking liveness properties . . . . . . 278 D. Deharbe and D. Borrione Semantics of a verification-oriented subset of VHDL . . . . . . . . . . . . . 293 K. G. W. Goossens Reasoning about VHDL using operational and observational semantics . . . . . . 311 E. Encrenaz A Symbolic Relation for a Subset of VHDL'87 Descriptions and its Application to Symbolic Model Checking . . . . . . . 328
M. J. Egenhofer and D. M. Mark Naive Geography . . . . . . . . . . . . 1 B. Faltings Qualitative Spatial Reasoning Using Algebraic Topology . . . . . . . . . . . 17 M. Gahegan Proximity Operators for Qualitative Spatial Reasoning . . . . . . . . . . . 31 D. Hernandez and E. Clementini and P. Di Felice Qualitative Distances . . . . . . . . . 45 K. Zimmermann Measuring Without Measures: The Delta-Calculus . . . . . . . . . . . . . 59 E. Rennison and L. Strausfeld The Millennium Project: Constructing a Dynamic $ 3 + $D Virtual Environment for Exploring Geographically, Temporally, and Categorically Organized Historical Information . . . . . . . . . . . . . . 69 A. Dieberger Providing Spatial Navigation for the World Wide Web . . . . . . . . . . . . . 93 M. Yuan and J. Albrecht Structural Analysis of Geographic Information and GIS Operations: from a User's Perspective . . . . . . . . . . . 107 J.-P. Peloux and P. Rigaux A Loosely Coupled Interface to an Object-Orientated Geographic Database 123 E. Fritsch and J. P. Lagrange Spectral Representations of Linear Features for generalisation . . . . . . 157 J. M. Ware and C. B. Jones and G. L. Bundy A Triangulated Spatial Model for Cartographic Generalisation of Areal Objects . . . . . . . . . . . . . . . . 173 M.-A. Amorim and S. Glasauer and K. Corpinot and A. Berthoz Object-Orientation and Location Updating During Nonvisual Navigation: The Characteristics and Effects of Object- versus Trajectory-Centered Processing Modes . . . . . . . . . . . . . . . . . 193 R. G. Golledge Path Selection and Route Preference in Human Navigation: A Progress Report . . 207 W. Maass How Spatial Information Connects Visual Information and Natural Language Generation in Dynamic Environments: Towards a Computational Model . . . . . 223 E. Stefanakis and M. Kavouras On the Determination of the Optimum Path in Space . . . . . . . . . . . . . . . . 241 M. Bertolotto and L. De Floriani and P. Marzano A Unifying Framework for Multilevel Description of Spatial Data . . . . . . 259 P. Magillo and L. De Floriani and E. Bruzzone Updating Visibility Information on Multiresolution Terrain Models . . . . . 279 B. P. Bruegger Theory for the Integration of Scale and Representation Formats: Major Concepts and Practical Implications . . . . . . . 297 A. G. Cohn A Hierarchical Representation of Qualitative Shape Based on Connection and Convexity . . . . . . . . . . . . . 311 S. C. Hirtle Representational Structures for Cognitive Space: Trees, Ordered Trees and Semi-Lattices . . . . . . . . . . . 327 C. Schlieder Reasoning about Ordering . . . . . . . . 341 F. Bucher and A. Vckovski Improving the Selection of Appropriate Spatial Interpolation Methods . . . . . 351 Y.-H. Chou Spatial Patterns and Spatial Autocorrelation . . . . . . . . . . . . 365 E. Allen and G. Edwards and Y. Bedard Qualitative Causal Modeling in Temporal GIS . . . . . . . . . . . . . . . . . . 397 P. A. Story and M. F. Worboys A design support environment for spatio-temporal database applications 413 I. Benenson and J. Portugali Internal vs. External Spatial Information and Cultural Emergence in a self-organising City . . . . . . . . . . 431 J. Broschart The Social Perception of Space: Non-Spatial Determinants of the Use of Directionals in Tongan (Polynesia) . . . 443 E. Keating Spatial Conceptualizations of Social Hierarchy in Pohnpei, Micronesia . . . . 463 B. Smith On Drawing Lines on a Map . . . . . . . 475 D. R. Montello How Significant are Cultural Differences in Spatial Cognition? . . . . . . . . . 485 J. Glasgow A Formalism for Model-Based Spatial Planning . . . . . . . . . . . . . . . . 501 K.-P. Gapp Object Localization: Selection of Optimal Reference Objects . . . . . . . 519 Y. Theodoridis and D. Papadias Range Queries Involving Spatial Relations: A Performance Analysis . . . 537 D. M. Mark and D. Comas and M. J. Egenhofer and S. M. Freundschuh Evaluating and Refining Computational Models of Spatial Relations Through Cross-Linguistic Human-Subjects Testing 553
H. Schwaertzel Demands and Perspectives for Future Software Engineers: An Industrial Viewpoint . . . . . . . . . . . . . . . 1 F. Bancilhon Why We Need Object Databases . . . . . . 3 W. S. Humphrey A Personal Commitment to Software Quality . . . . . . . . . . . . . . . . 5 G. Graw and V. Gruhn Distributed Modeling and Distributed Enaction of Business Processes . . . . . 8 N. S. Barghouti and E. Koutsofios and E. Cohen Improvise: Interactive Multimedia Process Visualization Environment . . . 28 L. G. Votta and M. L. Zajac Design Process Improvement Case Study Using Process Waiver Data . . . . . . . 44 J. Tuya and L. Sanchez and J. A. Corrales Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models 59 A. Valderruten Vidal and M. Vilares Ferro and J. Gratha Gil Instrumentation of Synchronous Reactive Models for Performance Engineering . . . 76 A. Coen-Porisini and R. A. Kemmerer and D. Mandrioli A Formal Framework for ASTRAL Inter-level Proof Obligations . . . . . 90 Y.-F. Chen and B. Krishnamurthy and K.-P. Vo An Objective Reuse Metric: Model and Methodology . . . . . . . . . . . . . . 109 M. Hitz and B. Montazeri Measuring Product Attributes of Object-Oriented Systems . . . . . . . . 124 J. Magee and N. Dulay and S. Eisenbach and J. Kramer Specifying Distributed Software Architectures . . . . . . . . . . . . . 137 K.-C. Tai and R. H. Carver A Specification-Based Methodology for Testing Concurrent Programs . . . . . . 154 I. Warren and I. Sommerville Dynamic Configuration Abstraction . . . 173 A. Zeller and G. Snelting Handling Version Sets Through Feature Logic . . . . . . . . . . . . . . . . . 191 T. A. Wagner and S. L. Graham Integrating Incremental Analysis with Version Management . . . . . . . . . . . 205 A. Schuerr and A. J. Winter and A. Zuendorf Graph Grammar Engineering with PROGRES 219 C. Gaskell and R. Phillips A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation . . . . . . . . . . 235 M. Glinz An Integrated Formal Model of Scenarios Based on Statecharts . . . . . . . . . . 254 M. Heisel and T. Santen and D. Zimmermann Tool Support for Formal Software Development: A Generic Architecture . . 272 D. Landes and R. Studer The Treatment of Non-Functional Requirements in MIKE . . . . . . . . . . 294 S. Monk and I. Sommerville and J. M. Pendaries and B. Durin Supporting Design Rationale for System Evolution . . . . . . . . . . . . . . . 307 S. Jarzabek PQL: A Language for Specifying Abstract Program Views . . . . . . . . . . . . . 324 A. T. Chamillard An Exploratory Study of Program Metrics as Predictors of Reachability Analysis Performance . . . . . . . . . . . . . . 343 A. W. Brown and D. J. Carney and P. C. Clements and B. C. Meyers Assessing the Quality of Large, Software-Intensive Systems . . . . . . . 384 P. Hsia and C.-T. Hsu and D. C. Kung and A. T. Yaung The Impact of Incremental Delivery on Maintenance Effort: An Analytical Study 405 N. Castell and O. Slavkova Metrics for Quality Factors in the LESD Project . . . . . . . . . . . . . . . . 423 M. J. Matsumoto Quantitative Evaluations of Software Quality Built in with Domain-specific Disciplines . . . . . . . . . . . . . . 438 M. Jazayeri Component Programming --- a Fresh Look at Software Components . . . . . . . . . 457 K. Koskimies and H. Moessenboeck Designing a Framework by Stepwise Generalization . . . . . . . . . . . . . 479 H. Gall and R. Kloesch and R. Mittermeir Object-Oriented Re-Architecturing . . . 498
K. Schnattinger and U. Hahn and M. Klenner Terminological Meta-Reasoning by Reification and Multiple Contexts . . . 1 R. Poli and M. Ryan and A. Sloman A New Continuous Propositional Logic . . 17 U. Egly Super-Polynomial Speed-Ups in Proof Length by New Tautologies . . . . . . . 29 J. Alferes and L. M. Pereira and T. Przymusinski and U. Evora Belief Revision in Non-Monotonic Reasoning . . . . . . . . . . . . . . . 41 T. Q. Dung A New Representation of JTMS . . . . . . 57 A. Vitoria and M. Mamede and L. Monteiro The Retrieval Problem in a Concept Language with Number Restrictions . . . 69 G. Trombettoni Formalizing Local Propagation in Constraint Maintenance Systems . . . . . 83 J.-H. Lee and G. Lee A Dependency Parser of Korean Based on Connectionist/Symbolic Techniques . . . 95 P. Berlandier A Symbiotic Approach to Arc and Path Consistency Checking . . . . . . . . . . 107 G. Gaspar and H. Coelho Where Do Intentions Come From?: A Framework for Goals and Intentions Adoption, Derivation and Evolution . . . 115 H. Coelho and A. Eusebio and E. Costa A Closer Look to Artificial Learning Environments . . . . . . . . . . . . . . 129 H. Coelho and L. Antunes and L. Moniz Building Multi-Agent Societies from Descriptions to Systems: Inter-Layer Translations . . . . . . . . . . . . . . 143 J. R. Zubizarreta Aizpuru and J. A. Usunariz GA/TS: A Hybrid Approach for Job Shop Scheduling in a Production System . . . 153 A. Teller and M. Veloso A Controlled Experiment: Evolution for Learning Difficult Image Classification 165 C. McConnell Minimal Model Complexity Search . . . . 177 J. Gama and P. Brazdil Characterization of Classification Algorithms . . . . . . . . . . . . . . . 189 J. G. Wallace and K. Bluff Neurons, Glia and the Borderline Between Subsymbolic and Symbolic Processing . . 201 B. Verheij Arguments and Defeat in Argument-Based Nonmonotonic Reasoning . . . . . . . . . 213 D. Nardi and R. Rosati A Preference Semantics for Ground Nonmonotonic Modal Logics . . . . . . . 225 Ho Ngoc Duc Logical Omniscience vs. Logical Ignorance On a Dilemma of Epistemic Logic . . . . . . . . . . . . . . . . . 237 C. Bento and P. Machado and E. Costa On the Role of Splitting and Merging Past Cases for Generation of a New Solution . . . . . . . . . . . . . . . . 249 E. Melis Theorem Proving by Analogy --- A Compelling Example . . . . . . . . . . . 261 J. J. Alferes and R. Li and L. M. Pereira Non-Atomic Actions in the Situation Calculus . . . . . . . . . . . . . . . . 273 N. I. Karacapilidis Planning Under Uncertainty: A Qualitative Approach . . . . . . . . . . 285 D. Pacholczyk Qualitative Reasoning Under Uncertainty 297 J. Reifman and T. Y. C. Wei Systematic Construction of Qualitative Physics-Based Rules for Process Diagnostics . . . . . . . . . . . . . . 311 C. Quek and P. W. Ng and M. Pasquier Integrated Process Supervision: A Structured Approach to Expert Control 323 P. U. Lima and G. N. Saridis Using Stochastic Grammars to Learn Robotic Tasks . . . . . . . . . . . . . 335 L. Damas and N. Moreira Constraint Categorial Grammars . . . . . 347 S. Broda and L. Damas A New Translation Algorithm from Lambda Calculus into Combinatory Logic . . . . 359
B. Kipper Interlocking Multi-Agent and Blackboard Architectures . . . . . . . . . . . . . 371 C. V. Damasio and L. M. Pereira A Model Theory for Paraconsistent Logic Programming . . . . . . . . . . . . . . 377 C. Fernandez-Chamizo and P. A. Gonzalez-Calero and M. Gomez-Albarran Promoting Software Reuse Through Explicit Knowledge Representation . . . 387 G. Cherruel and B. Solaiman and Y. Autret Efficient Learning in Multi-Layered Perceptron Using the Grow-And-Learn Algorithm . . . . . . . . . . . . . . . 397
I. De Almeida Mora and J. J. Alferes Modelling Diagnosis Systems with Logic Programming . . . . . . . . . . . . . . 409
L. M. M. Custodio and C. A. Pinto-Ferreira Agreement: A Logical Approach to Approximate Reasoning . . . . . . . . . 419 M. Wolverton Presenting Significant Information in Expert System Explanation . . . . . . . 435 N. Chaignaud A Cognitive Model of Problem Solving with Incomplete Information . . . . . . 441 N. Castell and A. Hernandez Filtering Software Specifications Written In Natural Language . . . . . . 447
P. A. De Matos and J. P. Martins Parsimonious Diagnosis in SNePS . . . . 457
S. Bhattacharyya and S. L. Lytinen Syntactic and Semantic Filtering in a Chart Parser . . . . . . . . . . . . . . 465
W. Stephan and S. Biundo Multilevel Refinement Planning in an Interval-Based Temporal Logic . . . . . 482
G. Fischer Rethinking and Reinventing Artificial Intelligence from the Perspective of Human-Centered Computational Artifacts 1 C. L. Paris Automatic Documentation Generation: Including Examples . . . . . . . . . . . 12 M. P. Wellman Market Oriented Programming . . . . . . 26 M. Alvarado and G. Nuthez Belief Increasing in SKL Model Frames 28 A. V. Joshi and S. C. Sahasrabudhe and K. Shankar Sensitivity of Combination Schemes under Conflicting Conditions and a New Method 39 V. Becher Two Conditional Logics for Defeasible Inference: A Comparison Preliminary Version . . . . . . . . . . . . . . . . 49 T. Bedrax-Weiss and L. E. Bertossi Underlying Semantics for the Assessment of Reiter's Solution to the Frame Problem . . . . . . . . . . . . . . . . 59 M. Da Costa Mora and J. G. Lopes and H. Coelho Modeling Intentions with Extended Logic Programming . . . . . . . . . . . . . . 69 C. M. G. M. Oliveira Labelled Theorem Proving for Substructural Logics . . . . . . . . . . 79 N. C. Rocha Riccio and R. J. G. B. De Queiroz Labelled Abduction . . . . . . . . . . . 91 O. Rodrigues and M. Benevides PROMAL: Programming in Modal Action Logic . . . . . . . . . . . . . . . . . 101 G. Zaverucha and S. R. M. Veloso A Goal Directed Reasoning for Semi-Normal Default Theories . . . . . . 112 E. Aimeur and C. Frasson and C. Alexe Towards New Learning Strategies in Intelligent Tutoring Systems . . . . . . 121 E. De Barros Costa and M. A. Lopes and E. Ferneda Mathema: A Learning Environment Based on a Multi-Agent Architecture . . . . . . . 141 A. I. Direne A General Model of Dialogue Interpretation for Concept Tutoring Systems . . . . . . . . . . . . . . . . 151 M. L. Campagnolo and H. Coelho and J. H. Capelo Knowledge Based Clustering of Partially Characterized Objects . . . . . . . . . 161 M. C. Nicoletti and M. C. Monard Constructing the Extensional Representation of an Intentional Domain Theory in Inductive Logic Programming 171 T. Scheffer A Generic Algorithm for Learning Rules with Hierarchical Exceptions . . . . . . 181 L. A. V. De Carvalho and V. L. Roitman A Neural Model for the Visual Attention Phenomena . . . . . . . . . . . . . . . 191 L. Ohno-Machado and M. A. Musen Learning Rare Categories in Backpropagation . . . . . . . . . . . . 201 E. Passos and R. Valente An Automatic Adaptative Neurocomputing Algorithm for Time Series Prediction . . 210 M. Correa and S. Mendes A Computational Approach to Situation Theory Based on Logic Programming to Design Cognitive Agents . . . . . . . . 219 F. M. De Oliveira Measuring Agreement and Harmony in Multi-Agent Societies: A First Approach 232 M. A. H. Shmeil and E. Oliveira Detecting the Opportunities of Learning from the Interactions in a Society of Organizations . . . . . . . . . . . . . 242 J. S. Sichman and Y. Demazeau Exploiting Social Reasoning to Enhance Adaptation in Open Multi-Agent Systems 253 E. Ferneda and M. E. De Souza e. Silva and H. De Menezes Silva A System for Aiding Discovery: Mechanisms for Knowledge Generation . . 262 M. M. Fonkam On a Composite Formalism and Approach to Presenting the Knowledge Content of a Relational Database . . . . . . . . . . 272 S. Labidi and M. M. Gammoudi Method for Knowledge Acquisition from Multiple Experts . . . . . . . . . . . . 283 E. Passos and A. Sade and C. Garcez and A. Tanaka A Conceptual Model for a Knowledge Base Homogeneously Stored in a Database Environment . . . . . . . . . . . . . . 293 P. McFetridge and A. Villavicencio A Hierarchical Description of the Portuguese Verb . . . . . . . . . . . . 300 M.-H. Stefanini and Y. Demazeau Talisman: A Multi-Agent System for Natural Language Processing . . . . . . 310 A. Villavicencio and N. M. C. Marques and J. G. P. Lopes and F. Villavicencio Part-of-Speech Tagging for Portuguese Texts . . . . . . . . . . . . . . . . . 321 W. S. Saba and J.-P. Corriveau Quantification and Cognitive Constraints in Natural Language Understanding . . . 331 G. Trombettoni and B. Neveu and P. Berlandier and M.-C. Riff An Non-Diffident Combinatorial Optimization Algorithm . . . . . . . . . 403 I. Mora and J. Alferes Modelling Diagnosis Systems with Logic Programming . . . . . . . . . . . . . . 409 M. Nadia Constructing Extensions by Resolving a System of Linear Equations . . . . . . . 429 P. A. Matos and J. P. Martins Parsimonious Diagnosis in SNePS . . . . 457 S. Krajcar and D. Skrlec and B. Pribicevic and S. Blagajac GA Approach to solving Multiple Vehicle Routing Problem . . . . . . . . . . . . 473 W. Stephan and S. Biundo Multilevel Refinement Planning in an Interval-Based Temporal Logic . . . . . 483
N. Lenke Natural Language Generation as Constraint-Based Configuration . . . . . 1 E. Not and E. Pianta Issues of Multilinguality in the Automatic Generation of Administrative Instructional Texts . . . . . . . . . . 13 A. Bonarini Extending Q-learning to Fuzzy Classifier Systems . . . . . . . . . . . . . . . . 25 P. Camargo Silva Fuzzy Cognitive Maps in Multi-Agent Environments . . . . . . . . . . . . . . 37 C. Baroglio and M. Botta Multiple Predicate Learning with RTL . . 44 T. Humphrey and A. Bramanti-Gregor and H. W. Davis Learning While Solving Problems in Single Agent Search: Preliminary Results 56 C. Carpineto and G. Romano Automatic Construction of Navigable Concept Networks Characterizing Text Databases . . . . . . . . . . . . . . . 67 M. Gazza and P. Torasso Temporal Prediction: Dealing with Change and Interactions within a Causal Framework . . . . . . . . . . . . . . . 79 F. M. Donini and D. Nardi and R. Rosati Non-first-order Features in Concept Languages . . . . . . . . . . . . . . . 91 G. De Giacomo and M. Lenzerini PDL-based Framework for Reasoning about Actions . . . . . . . . . . . . . . . . 103 C. Barbero and V. Lombardo Dependency Graphs in Natural Language Processing . . . . . . . . . . . . . . . 115 F. Ciravegna and N. Cancedda Integrating Shallow and Linguistic Techniques for Information Extraction from Text . . . . . . . . . . . . . . . 127 L. Ardissono and G. Boella and D. Sestero Recognizing Preliminary Sentences in Dialogue Interpretation . . . . . . . . 139 I. Kanellos and V. H. Zaldivar-Carrillo Contextuality and Non-extensional Identity: the Inescapable Symbiosis in NLP . . . . . . . . . . . . . . . . . . 145 G. Antoniou Priorities in Default Logic Revisited 152 H. Bennaceur Boolean Approach for Representing and Solving Constraint-satisfaction Problems 163 M. Di Manzo and P. Pecchiari Composing Decision Procedures: The Approach and a Case Study . . . . . . . 175 F. Orilia Knowledge Representation, Exemplification, and the Gupta-Belnap Theory of Circular Definitions . . . . . 187 G. Rumolo and E. Compatangelo TRDL: A Language for Conceptual Modelling in Information Systems Engineering . . . . . . . . . . . . . . 199 D. Thesieder Dupre and M. Rossotto The Different Roles of Abstraction in Abductive Reasoning . . . . . . . . . . 211 A. Carassa and A. Valpiani and G. Geminiani and S. Bandini A Cognitive Model of Causal Reasoning about the Physical World . . . . . . . . 217 A. F. Dragoni and F. Mascaretti and P. Puliti A Generalized Approach to Consistency Based Belief Revision . . . . . . . . . 231 C. Castelfranchi and D. D'Aloisi and F. Giacomelli A framework for Dealing with Belief-Goal Dynamics . . . . . . . . . . . . . . . . 237 S. Nolfi and D. Parisi Evolving non-Trivial Behaviors on Real Robots: An Autonomous Robot that Picks up Objects . . . . . . . . . . . . . . . 243 A. Cesta and A. Oddi A Formal Domain Description Language for a Temporal Planner . . . . . . . . . . . 255 C. Ferrari and E. Pagello and J. Ota and T. Arai A Method for Solving Multiple Autonomous Robots Collisions Problem Using Space and Time Representation . . . . . . . . 261 E. Blanzieri and A. Giordana Mapping Symbolic Knowledge into Locally Receptive Field Networks . . . . . . . . 267 A. Chella and M. Frixione and S. Gaglio Knowledge Representation for Robotic Vision Based on Conceptual Spaces and Attentive Mechanisms . . . . . . . . . . 279 M. Baioletti and S. Marcugini and A. Milani A Weakest Precondition Semantics for Conditional Planning . . . . . . . . . . 291 M. Frixione and M. Piaggio and G. Vercelli and R. Zaccaria A Cognitive Hybrid Model for Autonomous Navigation . . . . . . . . . . . . . . . 303 A. D'Angelo Using a Chemical Metaphor to Implement Autonomous Systems . . . . . . . . . . . 315 P. Pogliano and L. Riccardi Modeling Process Diagnostic Knowledge Through Causal Networks . . . . . . . . 323 J. Gamper and W. Nejdl Formalizing Reasoning About Change: A Temporal Diagnosis Approach . . . . . . 335 G. Guida and M. Zanella Preventive Diagnosis: Definition and Logical Model . . . . . . . . . . . . . 347 L. W. Man and S. L. Kwong Learning Programs in Different Paradigms Using Genetic Programming . . . . . . . 353 G. Semeraro and F. Esposito and N. Fanizzi and D. Malerba Revision of Logical Theories . . . . . . 365 J.-D. Zucker Reformulation of Examples in Concept Learning of Structural Descriptions . . 377 J. P. Guerreiro Neto and F. J. G. Moura Pires Integrated Model --- a proposal to Handle Noise . . . . . . . . . . . . . . 389 G. Armano Exceptions-Based Synthesis of Boolean Functions as a Core Mechanism to Perform Concept Learning . . . . . . . . . . . . 395 B. Van Linder and W. Van der Hoek and J.-J. C. Meyer Seeing is Believing --- And so are Hearing and Jumping . . . . . . . . . . 402 E. Giunchiglia and F. Giunchiglia and L. Serafini Agents as Reasoners, Observers or Believers . . . . . . . . . . . . . . . 414 M. Gaspari Modelling Interactions in Agent System 426 A. Omicini and E. Denti and A. Natali Agent Coordination and Control through Logic Theories . . . . . . . . . . . . . 439
D. Corne and P. Ross Some Combinatorial Landscapes on which a Genetic Algorithm Outperforms Other Stochastic Iterative Methods . . . . . . 1--13 J. L. Shapiro and A. Pruegel-Bennett Maximum Entropy Analysis of Genetic Algorithm Operators . . . . . . . . . . 14--24 G. Bilchev and I. C. Parmee The Ant Colony Metaphor for Searching Continuous Design Spaces . . . . . . . . 25--39 S. Mikami and Y. Kakazu and T. C. Fogarty Broadcast Based Fitness Sharing GA for Conflict Resolution Among Autonomous Robots . . . . . . . . . . . . . . . . . 40--47 J. Smith and T. C. Fogarty An Adaptive Poly-Parental Recombination Strategy . . . . . . . . . . . . . . . . 48--61 A. J. Swann Neighbourhood Seeding to Reduce Problem Modality . . . . . . . . . . . . . . . . 62--74 E. Burke and D. Elliman and R. Weare Specialised Recombinative Operators for Timetabling Problems . . . . . . . . . . 75--85 B. Paechter and A. Cumming and H. Luchian The Use of Local Search Suggestion Lists for Improving the Solution of Timetable Problems with Evolutionary Algorithms 86--93 P. Ross and D. Corne Comparing Genetic Algorithms, Simulated Annealing, and Stochastic Hillclimbing on Timetabling Problems . . . . . . . . 94--102 B. Carse and T. C. Fogarty and A. Munro Evolutionary Learning in Computational Ecologies: an Application to Adaptive, Distributed Routing in Communication Networks . . . . . . . . . . . . . . . . 103--116 W. B. Langdon Scheduling Planned Maintenance of the National Grid . . . . . . . . . . . . . 132--153 D. A. Savic and G. A. Walters Genetic Operators and Constraint Handling for Pipe Network Optimization 154--165 P. D. Surry and N. J. Radcliffe and I. D. Boyd A Multi-objective Approach to Constrained Optimisation of Gas Supply Networks: the COMOGA Method . . . . . . 166--180 J. F. Miller and P. Thomson and P. V. G. Bradbeer Ternary Decision Diagram Optimisation of Reed--Muller Logic Functions using a Genetic Algorithm for Variable and Simplification Rule Ordering . . . . . . 181--190 D. Yang and S. Flockton An Evolutionary Algorithm for Parametric Array Signal Processing . . . . . . . . 191--199 M. J. Patel Constraints on Task and Search Complexity in GA + NN Models of Learning and Adaptive Behaviour . . . . . . . . . 200--223 F. Vavak and T. C. Fogarty and P. Cheng Load Balancing Application of the Genetic Algorithm in a Nonstationary Environment . . . . . . . . . . . . . . 224--233 G. Robinson and P. McIlroy Exploring some Commercial Applications of Genetic Programming . . . . . . . . . 234--262
J. L. Mundy Object Recognition: The Search for Representation . . . . . . . . . . . . . 19--50 L. G. Shapiro and M. S. Costa Appearance-Based $3$D Object Recognition 51--64 P. Gros Using Quasi-Invariants for Automatic Model Building and Object Recognition: an Overview . . . . . . . . . . . . . . 65--76 G. Stockman Object Representation for Recognition-By-Alignment . . . . . . . . 77--88 D. Forsyth and A. Zisserman and J. Malik Distinctive Representations for the Recognition of Curved Surfaces Using Outlines and Markings . . . . . . . . . 89--100 R. S. Weiss The Epipolar Parametrization . . . . . . 101--108 D. Huttenlocher Using Two-Dimensional Models to Interact with the Three-Dimensional World . . . . 109--124 D. Kriegman and J. Ponce Representations for Recognizing Complex Curved $3$D Objects . . . . . . . . . . 125--138 D. B. Cooper and Z. Lei On Representation and Invariant Recognition of Complex Objects Based on Patches and Parts . . . . . . . . . . . 139--154 S. Petitjean Algebraic Geometry and Object Representation in Computer Vision . . . 155--166 G. Taubin Discrete Surface Signal Processing: The Polygon as the Surface Element . . . . . 167--176 V. Koivunen and R. Bajcsy Spline Representations in $3$-D Vision 177--190 P. J. Besl Triangles as a Primary Representation 191--206 T. O. Binford Body-Centered Representation and Perception . . . . . . . . . . . . . . . 207--216 M. Zerroug and G. Medioni The Challenge of Generic Object Recognition . . . . . . . . . . . . . . 217--232 D. Metaxas A Physics-Based Framework for Segmentation, Shape and Motion Estimation . . . . . . . . . . . . . . . 233--248 A. Pentland and S. Sclaroff Modal Representations . . . . . . . . . 249--262 C. Nastar and N. Ayache Time Representation of Deformations: Combining Vibration Modes and Fourier Analysis . . . . . . . . . . . . . . . . 263--276 T. Boult and S. D. Fenster and T. O'Donnell Physics in a Fantasy World vs. Robust Statistical Estimation . . . . . . . . . 277--296 O. I. Camps Towards a Robust Physics-Based Object Recognition System . . . . . . . . . . . 297--312 A. Gross and L. Latecki Toward Non-Parametric Digital Shape Representation and Recovery . . . . . . 313--326 K. Ikeuchi and M. Hebert Spherical Representations: from EGI to SAI . . . . . . . . . . . . . . . . . . 327--346 D. Terzopoulos From Physics-Based Representation to Functional Modeling of Highly Complex Objects . . . . . . . . . . . . . . . . 347--359
R. Ahn Communicating Contexts: a Pragmatic Approach to Information Exchange . . . . 1--13 H. Geuvers A Short and Flexible Proof of Strong Normalization for the Calculus of Constructions . . . . . . . . . . . . . 14--38 E. Gimenez Codifying Guarded Definitions with Recursive Schemes . . . . . . . . . . . 39--59 H. Goguen The Metatheory of UTT . . . . . . . . . 60--82 P. Manoury A User's Friendly Syntax to Define Recursive Functions as Typed lambda-Terms . . . . . . . . . . . . . . 83--100 T. Nipkow and K. Slind I/O Automata in Isabelle/HOL . . . . . . 101--119 L. C. Paulson A Concrete Final Coalgebra Theorem for ZF Set Theory . . . . . . . . . . . . . 120--139 R. Pollack On Extensibility of Proof Checkers . . . 140--161 A. Ranta Syntactic Categories in the Language of Mathematics . . . . . . . . . . . . . . 162--182 A. Saibi Formalization of a lambda-Calculus with Explicit Substitutions in Coq . . . . . 183--202
Y. Sakakibara Grammatical inference: An old and new paradigm . . . . . . . . . . . . . . . . 1 A. F. Fahmy and R. Roos Efficient learning of real time one-counter automata . . . . . . . . . . 25 T. Koshiba and E. Maekinen and Y. Takada Learning strongly deterministic even linear languages from positive examples 41 H. Sakamoto Language learning from membership queries and characteristic examples . . 55 H. Arimura and H. Ishizaka and T. Shinohara Learning unions of tree patterns using queries . . . . . . . . . . . . . . . . 66 L. De Raedt and W. Van Laer Inductive constraint logic . . . . . . . 80 M. R. K. K. Rao Incremental learning of logic programs 95 A. Miyashiro and E. Takimoto and Y. Sakai and A. Maruoka Learning orthogonal F-Horn formulas . . 110 P. Auer Learning nested differences in the presence of malicious noise . . . . . . 123 A. Nakamura and S. Miura Learning sparse linear combinations of basis functions over a finite domain . . 138 J. Kececioglu and M. Li and J. Tromp Inferring a DNA sequence from erroneous copies . . . . . . . . . . . . . . . . . 151 J. Case and S. Jain and A. Sharma Machine induction without revolutionary paradigm shifts . . . . . . . . . . . . 153 L. Meyer Probabilistic language learning under monotonicity constraints . . . . . . . . 169 F. Stephan Noisy inference and oracles . . . . . . 185 B. Kalyanasundaram and M. Velauthapillai Simulating teams with many conjectures 201 C. C. Pinter Complexity of network training for classes of neural networks . . . . . . . 215 R. Gavalda and D. Guijarro Learning ordered binary decision diagrams . . . . . . . . . . . . . . . . 228 J. Castro and J. L. Balcazar Simple PAC learning of simple decision lists . . . . . . . . . . . . . . . . . 239 C. Domingo and J. Shawe-Taylor The complexity of learning minor closed graph classes . . . . . . . . . . . . . 249 Y. Kodratoff Technical and scientific issues of KDD 261 K. Sadohara and M. Haraguchi Analogical logic program synthesis algorithm that can refute inappropriate similarities . . . . . . . . . . . . . . 266 K. P. Jantke Reflecting and self-confident inductive inference machines . . . . . . . . . . . 282 S. Kobayashi and T. Yokomori On approximately identifying concept classes in the limit . . . . . . . . . . 298
J. P. Chester and B. V. Dentskevich Requirements for Rapid Technological Deployment and Exploitation . . . . . . 3 G. Pavlou and D. Griffin Issues in the Integration of IN and TMN 12 R. Popp and M. Froehlich and N. Jefferies Security Services for Telecommunications Users . . . . . . . . . . . . . . . . . 28 G. Endersz and T. Gabrielsson and F. Morast and A. Bertsch TMN Security: An Evolutionary Approach 40 D. Maillot and J. Olnes and P. Spilling A TTP-based Architecture for TMN Security and Privacy . . . . . . . . . . 52 G. Karjoth Integrated Access Control Management . . 64 I. Denley and B. Hill and A. Whitefield An Experimental Evaluation of a Normative User Interface Design for the Configuration of Telecommunication Services . . . . . . . . . . . . . . . . 77 T. J. Hewson and G. Allison and A. M. Clarke Providing Future Telecommunication Services to Naive Users . . . . . . . . 92 R. Marom and M. Bolzoni and M. Goldberg and D. Rotondi Usability, an Effective Methodology for Designing Services in the Agricultural Sector . . . . . . . . . . . . . . . . . 104 C. Condon and S. Keuneke Counting the Costs and Benefits of Metaphor . . . . . . . . . . . . . . . . 119 L. A. De la Fuente ASTERIX: The TINA-C Architecture Applied to ATM Connection Management . . . . . . 134 M. Bocci and E. Scharf and P. Georgatsos and M. Hansen ATM Network Simulation Support for TMN Systems . . . . . . . . . . . . . . . . 146 R. Larsson and D. Cochrane Engineering a TMN in an Open Distributed Processing Environment . . . . . . . . . 159 D. Lewis and T. Tiropanis and L. H. Bjerring and L. M. Ericsson Experiences in Multi-domain Management Service Development . . . . . . . . . . 174 J. May and A. Maia The Relationship between IOs and COs in VPN Charging Management . . . . . . . . 185 S. Sartzetakis and C. Stathopoulos and V. Kalogeraki and D. Griffin Managing the TMN . . . . . . . . . . . . 200 S. Kleier and C. Goerg Personal Communication System Realizations: Performance and Quality of Service Aspects on SS-No. 7 . . . . . . 213 A. O. Mahajan and K. V. Lever A Self-Organisation Plane for Distributed Mobile Wireless Networks . . 225 R. Karabek and W. Reinhardt Future Hypermedia Retrieval Systems and their Impact on Transfer Systems . . . . 237 J.-P. Gaspoz and C. Gbaguidi and J. Meinkoehn VPN on DCE: From Reference Configuration to Implementation . . . . . . . . . . . 249 W. Kisker and J. M. Schneider ATM Public Network Management in PREPARE 261 P. Georgatsos and D. Griffin Management Services for Performance Verification in Broadband Multi-Service Networks . . . . . . . . . . . . . . . . 275 C. Morris and J. Nelson An SDL Based Realisation of an IN Service Development Environment . . . . 292 A. Ritterbecks and D. Lawniczak and N. Niebert Performance Evaluation of Database Concepts for Personal Communication Systems . . . . . . . . . . . . . . . . 309 V. Goebel and B. H. Johansen and H. C. Lochsen and T. Plagemann Next Generation Database Technologies for Advanced Communication Services . . 320 A. Olsen and B. B. Noerbaek Using SDL for Targeting Services to CORBA . . . . . . . . . . . . . . . . . 334 M. Tag and A. Lesch and P. Fisher and A. Gallis An Engineering Approach for Open Multimedia Services Management . . . . . 347 P. Coates and J. Ellman An Approach to User Management of Broadband Services . . . . . . . . . . . 360 K. Milsted OMT Object Models of Telecommunications Services . . . . . . . . . . . . . . . . 369 J. De Meer and A. Hafid QoS Modelling of Distributed Teleoperating Services . . . . . . . . . 380 T. Magedanz On the Impacts of Intelligent Agent Concepts on Future Telecommunication Environments . . . . . . . . . . . . . . 396 A. Vassila and G. J. Knight Introducing Active Managed Objects for Effective and Autonomous Distributed Management . . . . . . . . . . . . . . . 415 G. Pavlou and K. McCarthy and G. Mykoniatis and J. Sanchez Intelligent Remote Monitoring . . . . . 430 F. Ruano and C. Aurrecoechea Session Control Model for TINA Multimedia Services . . . . . . . . . . 447 J. Huelamo and E. Carrera and H. Zuidweg TINA based Advanced UPT Service Prototype: Early Introduction of TINA through the IN Domain . . . . . . . . . 458 G. Reyniers and P. Hellemans Use of Atomic Action Principles to Co-ordinate the Interaction between TINA Service Managers . . . . . . . . . . . . 468 H. Berndt and M. Chapman and P. Schoo and I. Toennby A Comparison of Architectures for future Telecommunication Services . . . . . . . 476 M. D'Aurelio and M. Peirgigli External Access to TMN: an ODP Specification . . . . . . . . . . . . . 490 H. Bakker and J. H. Heilesen and G. Schapeler and M. Anagnostou The Implementation of PSCS Features in a RACE ATM Demonstrator . . . . . . . . . 492 M. Ostrowski and R. Coutts Simulation Model for Intelligent Network Based Personal Communication Services 495 P. SantAna and O. Bravo and A. Martin Integration Path of IN and TMN Architectures --- Using UPT as a Case Study . . . . . . . . . . . . . . . . . 497 H. R. Sharobim Dedicated Server Multicast Routing for Large Scale ATM Networks . . . . . . . . 500 F. Arnold Application of IS and N for Efficient Aircraft Pre-Design . . . . . . . . . . 501 C. Stephanidis and C. Karagiannidis and A. Koumpis Developing Alternative Metaphors for Special B-ISDN Services . . . . . . . . 504 C. Stephanidis and Y. Mitsopoulos and A. Stergiou and A. Koumpis Tool Based User Interface Construction Facilitating Access to Users with Disabilities . . . . . . . . . . . . . . 506
E. Asarin and O. Maler and A. Pnueli Symbolic Controller Synthesis for Discrete and Timed Systems . . . . . . . 1 J. D. Birdwell and B. C. Moore Condensation of Information from Signals for Process Modeling and Control . . . . 15 A. Benvenisbe and B. C. Levy and E. Fabre and P. Le Guernie A Calculus of Stochastic Systems for the Specification Simulation and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems . . . 21 A. Bouajjani and R. Echahed and R. Robbana On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures . . . . . . . . 61 P. E. Caines and Y.-J. Wei On Dynamically Consistent Hybrid Systems 86 N. De Claris and M.-C. Su A Self-learning Neuro-Fuzzy System . . . 106 M. Dogruel and U. Oezguener Modeling and Stability Issues in Hybrid Systems . . . . . . . . . . . . . . . . 118 A. Deshpande and P. Varaiya Viable Control of Hybrid Systems . . . . 128 D. N. Godbole and J. Lygeros and S. Sastry Hierarchical Hybrid Control . . . . . . 166 R. L. Grossman and M. Sweedler Hybrid Systems and Quantum Automata: Preliminary Announcement . . . . . . . . 191 J. Guekenheimer and S. Johnson Planar Hybrid Systems . . . . . . . . . 202 V. Gupta and R. Jagadeesan and V. Saraswat and D. G. Bobrow Programming in Hybrid Constraint Languages . . . . . . . . . . . . . . . 226 T. A. Henzinger and P.-H. Ho A Note on Abstract Interpretation Strategies for Hybrid Automata . . . . . 252 T. A. Henzinger and P.-H. Ho HYTECH: The Cornell HYbrid TECHnology Tool . . . . . . . . . . . . . . . . . . 265 W. Kohn and A. Nerode and J. B. Remmel Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections . . . . . . . . . . . . . . 291 A. Nerode and J. B. Remmel and A. Yakhnis Controllers as Fixed Points of Set-Valued Operators . . . . . . . . . . 311 M. Lemmon and C. Bett and P. Szymanski and P. Antsaklis Constructing Hybrid Control Systems from Robust Linear Control Agents . . . . . . 322 A. Puri and P. Varaiya Verification of Hybrid Systems Using Abstractions . . . . . . . . . . . . . . 359 J. Ruisch Control of Continuous Plants by Symbolic Output Feedback . . . . . . . . . . . . 370 A. P. Raon and H. Rischel and M. Holdgaard and T. J. Eriksen Hybrid Control of a Robot . . . . . . . 391 O. Roux and V. Rusu Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata . . . . . . . . . . . . . . . . 405 H. S. Sarjoughian and B. Zeigler Inductive Modeling: A Framework Marrying Systems Theory and Non-monotonic Reasoning . . . . . . . . . . . . . . . 417 R. K. Shyamasundar and S. Ramesh Semantics and Verification of Hierarchical CRP Programs . . . . . . . 436 J. A. Sliver and P. J. Antsaklis and M. D. Lemmon Interface and Controller Design for Hybrid Control Systems . . . . . . . . . 462 M. Tiltus and B. Egardt Hybrid Objects . . . . . . . . . . . . . 493 Y. Y. Yang and D. A. Linkens and S. P. Banks Modeling of Hybrid Systems Based on Extended Coloured Petri Nets . . . . . . 509 B. P. Zeigler and H. S. Song and T. G. Kim and H. Praehofer DEVS Framework for Modeling, Simulation, Analysis, and Design of Hybrid Systems 529 Y. Zhang and A. K. Mackworth Synthesis of Hybrid Constraint-Based Controllers . . . . . . . . . . . . . . 552
G. Brassard A Quantum Jump in Computer Science . . . 1 L. Steels and M. Tokoro Artificial Life and Real World Computing 15 H. T. Siegelmann Recurrent Neural Networks . . . . . . . 29 W. F. McColl Scalable Computing . . . . . . . . . . . 46 B. Monien and R. Diekmann and R. Feldmann and R. Klasing Efficient Use of Parallel and Distributed Systems: From Theory to Practice . . . . . . . . . . . . . . . . 62 L. Snyder Experimental Validation of Models of Parallel Computation . . . . . . . . . . 78 J. Wiedermann Quo Vadetis, Parallel Machine Models? 101 Z. Bai and D. Day and J. Demmel and J. Dongarra Templates for Linear Algebra Problems 115 T. Beth and A. Klappenecker and T. Minkwitz and A. Nueckel The ART behind IDEAS . . . . . . . . . . 141 L. M. Adleman Algorithmic Number Theory and Its Relationship to Computational Complexity 159 S. Nakano and X. Zhou and T. Nishizeki Edge-Coloring Algorithms . . . . . . . . 172 S. Hannenhalli and P. A. Pevzner Towards a Computational Theory of Genome Rearrangements . . . . . . . . . . . . . 184 M. Herlihy and S. Rajsbaum Algebraic Topology and Distributed Computing --- A Primer . . . . . . . . . 203 A. Anuchitanukul and Z. Manna and T. E. Uribe Differential BDDs . . . . . . . . . . . 218 P. K. Agarwal and M. Sharir Algorithmic Techniques for Geometric Optimization . . . . . . . . . . . . . . 234 J. Nievergelt and R. Gasser and F. Maeser and C. Wirth All the Needles in a Haystack: Can Exhaustive Search Overcome Combinatorial Chaos? . . . . . . . . . . . . . . . . . 254 N. J. Radcliffe and P. D. Surry Fundamental Limitations on Search Algorithms: Evolutionary Computing in Perspective . . . . . . . . . . . . . . 275 M. Broy Mathematical System Models as a Basis of Software Engineering . . . . . . . . . . 292 M. Shaw and D. Garlan Formulations and Formalisms in Software Architecture . . . . . . . . . . . . . . 307 G. Smolka The Oz Programming Model . . . . . . . . 324 D. Wood Standard Generalized Markup Language: Mathematical and Philosophical Issues 344 D. Gries and F. B. Schneider Avoiding the Undefined by Underspecification . . . . . . . . . . . 366 D. Harel Towards a Theory of Recursive Structures 374 V. Pratt Chu Spaces and Their Interpretation as Concurrent Objects . . . . . . . . . . . 392 M. Bruynooghe and M. Codish and A. Mulkers Abstracting Unification: A Key Step in the Design of Logic Program Analyses . . 406 R. Anderson and R. Needham Programming Satan's Computer . . . . . . 426 W. Reisig Petri Net Models of Distributed Algorithms . . . . . . . . . . . . . . . 441 E. M. Clarke and S. Jha Symmetry and Induction in Model Checking 455 M. Y. Vardi Alternating Automata and Program Verification . . . . . . . . . . . . . . 471 E. Sandewall Reasoning about Actions and Change with Ramification . . . . . . . . . . . . . . 486 J.-O Eklundh Trends in Active Vision . . . . . . . . 505 M. Li and P. Vitanyi Computational Machine Learning in Theory and Praxis . . . . . . . . . . . . . . . 518 R. R. Yager Fuzzy Sets as a Tool for Modeling . . . 536 C. J. Van Rijsbergen Information Retrieval and Informative Reasoning . . . . . . . . . . . . . . . 549 G. Vossen Database Transaction Models . . . . . . 560 D. C. A. Bulterman and L. Hardman Multimedia Authoring Tools: State of the Art and Research Challenges . . . . . . 575 T. Kaeppner and R. Steinmetz Computational Models for Distributed Multimedia Applications . . . . . . . . 592 H. Maurer Hypermedia Systems as Internet Tools . . 608
S. Miyano Algorithmic Problems Arising from Genome Informatics . . . . . . . . . . . . . . 1 S. Shimozono An Approximation Algorithm for Alphabet Indexing Problem . . . . . . . . . . . . 2 J. Katajainen and A. Moffat and A. Turpin A Fast and Space-Economical Algorithm for Length-Limited Coding . . . . . . . 12 B. K. Bhattacharya and A. Mukhopadhyay Computing in Linear Time a Chord from which a Simple Polygon is Weakly Internally Visible . . . . . . . . . . . 22 A. Datta and C. A. Hipke and S. Schuierer Competitive Searching in Polygons-Beyond Generalised Streets . . . . . . . . . . 32 S. V. Lokam and M. Mahajan and V. Vinay Logspace Verifiers, NC, and NP . . . . . 52 C. Karg and R. Schuler Structure in Average Case Complexity . . 62 H. Chien and W. Steiger Some Geometric Lower Bounds . . . . . . 72 L. Arge The I/O-Complexity of Ordered Binary-Decision Diagram Manipulation . . 82 A. Frank and T. Ibaraki and H. Nagamochi Two Arc Disjoint Paths in Eulerian Digraphs . . . . . . . . . . . . . . . . 92 Y. Asahiro and K. Iwama Finding Dense Subgraphs . . . . . . . . 102 A. Gupta and N. Nishimura Finding Smallest Supertrees . . . . . . 112 M.-S. Chang Weighted Domination of Cocomparability Graphs . . . . . . . . . . . . . . . . . 122 A. E. Andreev and A. Clementi and P. Crescenzi and E. Dahlhaus The Parallel Complexity of Approximating the High Degree Subgraph Problem . . . . 132 V. Bafna and P. Berman and T. Fujito Constant Ratio Approximations of the Weighted Feedback Vertex Set Problem for Undirected Graphs . . . . . . . . . . . 142 M. M. Halldorsson and K. Yoshihara Greedy Approximations of Independent Sets in Low Degree Graphs . . . . . . . 152 J. N. Crossley Practical Logic . . . . . . . . . . . . 162 T. Ono and T. Hirata and T. Asano An Approximation Algorithm for MAX 3-SAT 163 S. Tani and K. Yamazaki Learning of Restricted RNLC Graph Languages . . . . . . . . . . . . . . . 171 C. H. Papadimitriou and S. Ramanathan and P. V. Rangan Optimal Information Delivery . . . . . . 181 N. Santoro and J. Ren and A. Nayak On the Complexity of Testing for Catastrophic Faults . . . . . . . . . . 188 O.-H. Kwon and K.-Y. Chwa Scheduling Parallel Tasks with Individual Deadlines . . . . . . . . . . 198 J. Von zur Gathen and I. Shparlinski Orders of Gauss Periods in Finite Fields 208 G. Havas and B. S. Majewski A Hard Problem that is Almost Always Easy . . . . . . . . . . . . . . . . . . 216 K. Sekine and H. Imai and S. Tani Computing the Tutte Polynomial of a Graph of Moderate Size . . . . . . . . . 224 J. Dedorath and J. Gergov and T. Hagerup More Efficient Parallel Flow Algorithms 234 S. Carlsson and M. Sundstroem Linear-time In-Place Selection in Less than 3n Comparisons . . . . . . . . . . 244 S. Carlsson and J. Chen Heap Construction: Optimal in Both Worst and Average Cases? . . . . . . . . . . . 254 F. Shi Fast Approximate Dictionary Matching . . 264 T.-S. Hsu Undirected Vertex-Connectivity Structure and Smallest Four-Vertex-Connectivity Augmentation . . . . . . . . . . . . . . 274 P. Damaschke Searching for a Monotone Function by Independent Threshold Queries . . . . . 284 K. Makino and T. Ibaraki A Fast and Simple Algorithm for Identifying 2-Monotonic Positive Boolean Functions . . . . . . . . . . . . . . . 291 H.-C. Yen and S.-T. Jian and T.-P. Lao Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes . . . . . . . . . . 301 F. P. Preparata Should Amdahl's Law be Repealed? . . . . 311 Y. Hamada and A. Mei and Y. Nishitani and Y. Igarashi Embeddings of Hyper-Rings in Hypercubes 312 S.-W. Cheng and C.-K. Tang A Fast Algorithm for Computing Optimal Rectilinear Steiner Trees for Extremal Point Sets . . . . . . . . . . . . . . . 322 X. Zhou and T. Nishizeki Algorithms for Finding $f$-Colorings of Partial $k$-Trees . . . . . . . . . . . 332 H.-G. Cho and A. Zelikovsky Spanning Closed Trail and Hamiltonian Cycle in Grid Graphs . . . . . . . . . . 342 W.-L. Hsu A Linear Time Algorithm for Finding Maximal Planar Subgraphs . . . . . . . . 352 J. Abello and V. Estivill-Castro and T. Shermer and J. Urrutia Illumination with Orthogonal Floodlights 362 P. Bose and G. Toussaint No Quadrangulation is Extremely Odd . . 372 F. Chin and J. Snoeyink and Cao An Wang Finding the Medial Axis of a Simple Polygon in Linear Time . . . . . . . . . 382 D. Krznaric and C. Levcopoulos The First Subquadratic Algorithm for Complete Linkage Clustering . . . . . . 392 P. G. Bradford and R. Fleischer Matching Nuts and Bolts Faster . . . . . 402 J. J. Fu Linear Matching-Time Algorithm for the Directed Graph Isomorphism Problem . . . 409 S. Fujita and T. Kameda and M. Yamashita A Resource Assignment Problem on Graphs 418 Z.-Z. Chen NC Algorithms for Partitioning Sparse Graphs into Induced Forests with an Application . . . . . . . . . . . . . . 428
P. Adams and M. Solomon An Overview of the CAPITL Software Development Environment . . . . . . . . 1--34 M. Cagan Untangling Configuration Management . . 35--52 D. B. Leblang and P. H. Levine Software Configuration Management: Why Is It Needed and What Should It Do? . . 53--60 C. Reichenberger VOODOO --- A Tool for Orthogonal Version Management . . . . . . . . . . . . . . . 61--79 P. Brereton and P. Singleton Deductive Software Building . . . . . . 81--87 B. R. Schmerl and C. D. Marlin Designing Configuration Management Facilities for Dynamically Bound Systems 88--100 Y.-J. Lin and S. P. Reiss Configuration Management in Terms of Modules . . . . . . . . . . . . . . . . 101--117 J. Estublier and R. Casallas Three Dimensional Versioning . . . . . . 118--135 J. Viskari A Rationale for Automated Configuration Status Accounting . . . . . . . . . . . 138--144 P. Lago and R. Conradi Transaction Planning to Support Coordination . . . . . . . . . . . . . . 145--151 J. Buffenbarger Syntactic Software Merging . . . . . . . 153--172 C. Godart and G. Canals and F. Charoy and P. Molli About Some Relationships Between Configuration Management, Software Process and Cooperative Work: The COO Environment . . . . . . . . . . . . . . 173--178 S. A. MacKay The State-of-the-Art in Concurrent, Distributed Configuration Management . . 180--193 L. Allen and G. Fernandez and K. Kane and D. Leblang ClearCase MultiSite: Supporting Geographically-Distributed Software Development . . . . . . . . . . . . . . 194--214 E. Tryggeseth and B. Gulla and R. Conradi Modelling Systems with Variability Using the PROTEUS Configuration Language . . . 216--240 G. M. Clemm The Odin System . . . . . . . . . . . . 241--262 A. Christensen and T. Egge Store --- A System for Handling Third-Party Applications in a Heterogeneous Computer Environment . . . 263--276 C. Adams Why Can't I Buy an SCM Tool? . . . . . . 278--287 R. J. Ray Experiences with a Script-Based Software Configuration Management System . . . . 282--287 K. Parker Customization of a Commercial CM System to Provide Better Management Mechanisms 289--292 A. Persson Experiences of Customization and Introduction of a CM Model . . . . . . . 293--303 A. Van der Hoek and D. Heimbigner and A. L. Wolf Does Configuration Management Research Have a Future? . . . . . . . . . . . . . 305--309
L. Ekenberg and P. Johannesson Conflictfreeness as a Basis for Schema Integration . . . . . . . . . . . . . . 1 J. Biskup Database Schema Design Theory: Achievements and Challenges . . . . . . 14 B. Panda and W. Perrizo Maintaining Surrogate Data for Query Acceleration in Multilevel Secure Database Systems . . . . . . . . . . . . 45 F. Andres and F. Kwakkel and M. L. Kersten Calibration of a DBMS Cost Model with the Software Testpilot . . . . . . . . . 58 R. Poenighaus ``Favourite'' SQL-Statements --- An Empirical Analysis of SQL-Usage in Commercial Applications . . . . . . . . 75 S. Bhar and K. Barker Static Allocation in Distributed Objectbase Systems: A Graphical Approach 92 M. P. Reddy and R. Y. Wang Estimating Data Accuracy in a Federated Database Environment . . . . . . . . . . 115 B. Bhargava and Y. Zhang and S. Goel A Study of Distributed Transaction Processing in an Internetwork . . . . . 135 W. Harris and R. McClatchey and N. Baker The Use of an Object Repository in the Configuration of Control Systems at CERN 153 K. Furuse and K. Asada and A. Iizawa Implementation and Performance Evaluation of Compressed Bit-Sliced Signature Files . . . . . . . . . . . . 164 K. Sako and T. Nemoto and M. Kitsuregawa and M. Takagi Partial Migration in an 8mm Tape Based Tertiary Storage File System and its Performance Evaluation through Satellite Image Processing Applications . . . . . 178 L. Fleury and C. Djeraba and H. Briand and J. Philippe Some Aspect of Rule Discovery in Data Bases . . . . . . . . . . . . . . . . . 192 N. Terashima Telesensation --- Fusion of Multi-media Information and Information Highways . . 206 M. Kolp and E. Zimanyi Relational Database Design Using an ER Approach and Prolog . . . . . . . . . . 214 M. Saeki and S. Sureerat and K. Yoshida Supporting Distributed Individual Work in Cooperative Specification Development 232 N. Parimala Handling Changes in Dynamic Specifications in Object Oriented Systems . . . . . . . . . . . . . . . . 248 I. S. Mumick The Rejuvenation of Materialized Views 258 X. Du and N. Ishii Normalization of Linear Recursions Based on Graph Transformations . . . . . . . . 265 Y.-K. Ng and N. Qaraeen Data Retrieval and Aggregates in SQL0*/NR . . . . . . . . . . . . . . . . 283 S. Ganguly and A. Gerasoulis and W. Wang Partitioning Pipelines with Communication Costs . . . . . . . . . . 302
U. Baum and S. Blackburn Clock-controlled pseudorandom generators on finite groups . . . . . . . . . . . . 6 W. G. Chambers On random mappings and random permutations . . . . . . . . . . . . . . 22 C. Ding Binary cyclotomic generators . . . . . . 29 H. Dobbertin Construction of bent functions and balanced Boolean functions with high nonlinearity . . . . . . . . . . . . . . 61 X. Lai Additive and linear structures of cryptographic functions . . . . . . . . 75 R. L. Rivest The RC5 encryption algorithm . . . . . . 86--96 M. Blaze and B. Schneier The MacGuffin block cipher algorithm . . 97--110 K. Nyberg S-boxes and round functions with controllable linearity and differential uniformity . . . . . . . . . . . . . . . 111 L. O'Connor Properties of linear approximation tables . . . . . . . . . . . . . . . . . 131 R. Anderson Searching for the optimum correlation attack . . . . . . . . . . . . . . . . . 137 E. Biham and P. C. Kocher A known plaintext attack on the PKZIP stream cipher . . . . . . . . . . . . . 144 J. D. Golic Linear cryptanalysis of stream ciphers 154 A. Klapper Feedback with carry shift registers over finite fields . . . . . . . . . . . . . 170 D. J. C. MacKay A free energy minimization framework for inference problems in modulo 2 arithmetic . . . . . . . . . . . . . . . 179 L. R. Knudsen Truncated and higher order differentials 196 J. L. Massey SAFER K-64: One year later . . . . . . . 212 V. Rijmen and B. Preneel Improved characteristics for differential cryptanalysis of hash functions based on block ciphers . . . . 242 B. S. Kaliski and M. J. B. Robshaw Linear cryptanalysis using multiple approximations and FEAL . . . . . . . . 249 U. Bloecher and M. Dichtl Problems with the linear cryptanalysis of DES using more than one active S-box per round . . . . . . . . . . . . . . . 265 J. Daemen and R. Govaerts and J. Vandewalle Correlation matrices . . . . . . . . . . 275 S. Vaudenay On the need for multipermutations: Cryptanalysis of MD4 and SAFER . . . . . 286--297 S. Lucks How to exploit the intractability of exact TSP for cryptography . . . . . . . 298 M. Roe How to reverse engineer an EES device 305 W. T. Penzhorn A fast homophonic coding algorithm based on arithmetic coding . . . . . . . . . . 329 R. Anderson On Fibonacci keystream generators . . . 346 V. Rijmen and B. Preneel Cryptanalysis of McGuffin . . . . . . . 353 M. Roe Performance of block ciphers and hash functions --- one year later . . . . . . 359 David J. Wheeler and Roger M. Needham TEA, a tiny encryption algorithm . . . . 363--366
M. Broy and M. Wirsing Correct Software: From Experiments to Applications . . . . . . . . . . . . . . 1 P. Pepper and M. Wirsing A Method for the Development of Correct Software . . . . . . . . . . . . . . . . 27 P. Pepper and R. Betschko and S. Dick and K. Didrich Realizing Sets by Hash Tables . . . . . 58 M. Pinna and A. Poigne Event Automata as a Generic Model of Reactive Systems . . . . . . . . . . . . 74 C. Lewerentz and T. Lindner and A. Rueping and E. Sekerinski On Object-Oriented Design and Verification . . . . . . . . . . . . . . 92 S. Gastinger and R. Hennicker and R. Stabl Design of Modular Software Systems with Reuse . . . . . . . . . . . . . . . . . 112 R. Hettler and D. Nazareth and F. Regensburger and O. Slotosch AVL Trees Revisited: A Case Study in SPECTRUM . . . . . . . . . . . . . . . . 128 H.-D. Ehrich Korso Reference Languages --- Concepts and Application Domains . . . . . . . . 150 U. Wolter and K. Didrich and F. Cornelius and M. Klar How to Cope with the Spectrum of SPECTRUM . . . . . . . . . . . . . . . . 173 J. Burghardt A Fine-Grain Sort Discipline and Its Application to Formal Program Construction . . . . . . . . . . . . . . 190 M. Gogolla and S. Conrad and G. Denker and R. Herzig TROLL light --- The Language and its Development Environment . . . . . . . . 205 T. Santen and F. Kammueller and S. Jaehnichen and M. Beyer Formalization of Algebraic Specification in the Development Language DEVA . . . . 223 F. Von Henke and A. Dold and H. Ruess and D. Schwier Construction and Deduction Methods for the Formal Development of Software . . . 239 J. Loeckx and J. Zeyer Experiences with a Specification Environment . . . . . . . . . . . . . . 255 B. Krieg-Brueckner and J. Liu and H. Shi and B. Wolff Towards Correct, Efficient and Reusable Transformational Developments . . . . . 270 P. Deussen and A. Hansmann and T. Kaeufl and S. Klingenbeck The Verification System Tatzelwurm . . . 285 K. Stroetmann Seduct --- A Proof Compiler for First Order Logic . . . . . . . . . . . . . . 299 J. Bohn and H. Hungar Traverdi --- Transformation and Verification of Distributed Systems . . 317 W. Reif The KIV-Approach to Software Verification . . . . . . . . . . . . . . 339 T. Fuchss and W. Reif and G. Schellhorn and K. Stenzel Three Selected Case Studies in Verification . . . . . . . . . . . . . . 371 C. Lewerentz and T. Lindner ``Production Cell'': A Comparative Study in Formal Specification and Verification 388 F. Cornelius and H. Hussmann and M. Loewe The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System . . . . . . . 417
J. R. C. Allen and D. W. R. Patterson and M. D. Mulvenna and J. G. Hughes Integration of case based retrieval with a relational database system in aircraft technical support . . . . . . . . . . . 1--10 R. Bisio and F. Malabocchia Cost estimation of software projects through case base reasoning . . . . . . 11--22 B. Fuchs and A. Mille and B. Chiron Operator decision aiding by adaptation of supervision strategies . . . . . . . 23--32 F. Geffraye and J. L. Wybo and A. Russeil PROFIL: A decision support tool for metallic sections design using a CBR approach . . . . . . . . . . . . . . . . 33--42 R. T. Macura and K. J. Macura MacRad: Radiology image resource with a case-based retrieval system . . . . . . 43--54 F. Marir and I. Watson Representing and indexing building refurbishment cases for multiple retrieval of adaptable pieces of cases 55--66 B. D. Netten and R. A. Vingerhoeds Large-scale fault diagnosis for on-board train systems . . . . . . . . . . . . . 67--76 E. T. O. Opiyo Case-based reasoning for expertise relocation in support of rural health workers in developing countries . . . . 77--87 J. Stehr CBR and machine learning for combustion system design . . . . . . . . . . . . . 98--108 G. Agre KBS maintenance as learning two-tiered domain representation . . . . . . . . . 109--120 S. M. Aluisio and O. N. Oliveira A case-based approach for developing writing tools aimed at non-native English users . . . . . . . . . . . . . 121--132 K. D. Ashley and B. M. McLaren Reasoning with reasons in case-based comparisons . . . . . . . . . . . . . . 133--144 B. Bartsch-Spoerl Towards the integration of case-based, schema-based and model-based reasoning for supporting complex design tasks . . 145--156 M. Brown and I. Watson and N. Filer Separating the cases from the data: Towards more flexible case-based reasoning . . . . . . . . . . . . . . . 157--168 K. Z. Haigh and M. Veloso Route planning by analogy . . . . . . . 169--180 J. D. Hastings and L. K. Branting and J. A. Lockwood Case adaptation using an incomplete causal model . . . . . . . . . . . . . . 181--192 N. Hurley Evaluating the application of CBR in mesh design for simulation problems . . 193--204 J. E. Hunt and D. E. Cooke and H. Holstein Case memory and retrieval based on the immune system . . . . . . . . . . . . . 205--216 N. Indurkhya and S. M. Weiss Using case data to improve on rule-based function approximation . . . . . . . . . 217--228 D. B. Leake and A. Kinley and D. Wilson Learning to improve case adaptation by introspective reasoning and CBR . . . . 229--240 H. Muthoz-Avila and J. Huellen Retrieving cases in structured domains by using goal dependencies . . . . . . . 241--252 S. Okamoto and K. Satoh An average-case analysis of $k$-nearest neighbor classifier . . . . . . . . . . 253--264 E. Plaza Cases as terms: A feature term approach to the structured representation of cases . . . . . . . . . . . . . . . . . 265--276 L. Portinale and P. Torasso ADAPtER: An integrated diagnostic system combining case-based and abductive reasoning . . . . . . . . . . . . . . . 277--288 L. Purvis and P. Pu Adaptation using constraint satisfaction techniques . . . . . . . . . . . . . . . 289--300 F. Ricci and P. Avesani Learning a local similarity metric for case-based reasoning . . . . . . . . . . 301--312 B. Smyth and M. T. Keane Experiments on adaptation-guided retrieval in case-based design . . . . . 313--324 J. Surma and K. Vanhoof Integrating rules and cases for the classification task . . . . . . . . . . 325--334 W. Visser Reuse of knowledge: Empirical studies 335--346 D. Wettschereck and D. W. Aha Weighting features . . . . . . . . . . . 347--358 M. Wolverton An investigation of marker-passing algorithms for analogue retrieval . . . 359--370 E. Auriol and S. Wess and M. Manago and K.-D. Althoff INRECA: A seamlessly integrated system based on inductive inference and case-based reasoning . . . . . . . . . . 371--380 S. Bakhtari and W. Oertel DOM-ArC: An active decision support system for quality assessment of cases 381--390 I. Bichindaritz A case-based reasoner adaptive to different cognitive tasks . . . . . . . 391--400 P. Cunningham and B. Smyth and N. Hurley On the use of CBR in optimisation problems such as the TSP . . . . . . . . 401--410 R. Deters Case-based diagnosis of multiple faults 411--420 S. Flinter and M. T. Keane On the automatic generation of case libraries by chunking chess games . . . 421--430 S. Fox and D. B. Leake Learning to refine indexing by introspective reasoning . . . . . . . . 431--440 M. H. Goeker and H. Birkhofer Problem solving with ``The incredible machine'': An experiment in case-based reasoning . . . . . . . . . . . . . . . 441--450 S. Grolimund and J.-G. Ganascia Integrating case-based reasoning and tabu search for solving optimisation problems . . . . . . . . . . . . . . . . 451--460 K. Hanney and M. T. Keane and B. Smyth and P. Cunningham Systems, tasks and adaptation knowledge: Revealing some revealing dependencies 461--470 T. R. Hinrichs Some limitations of feature-based recognition in case-based design . . . . 471--480 Y. Huang and R. Miles A case based method for solving relatively stable dynamic constraint satisfaction problems . . . . . . . . . 481--490 Y. Kerner Learning strategies for explanation patterns: Basic game patterns with applications to chess . . . . . . . . . 491--500 D. Khemani and P. V. S. R. Bhanu Prasad A memory-based hierarchical planner . . 501--509 R. W. Lee and R. M. Barcia and S. K. Khator Case-based reasoning for cash flow forecasting using fuzzy retrieval . . . 510--519 M. Malek A connectionist indexing approach for CBR systems . . . . . . . . . . . . . . 520--527 E. Reategui and J. A. Campbell and S. Borghetti Using a neural network to learn general knowledge in a case-based system . . . . 528--537 J. W. Schaaf ``Fish and sink'': An anytime-algorithm to retrieve adequate cases . . . . . . . 538--547 G. Strube and A. Enzinger and D. Janetzko and M. Knauff Knowledge engineering for CBR systems from a cognitive science perspective . . 548--558 Kai Ming Ting Towards using a single uniform metric in instance-based learning . . . . . . . . 559--568
H. Ushida and T. Sato and T. Yamaguchi and T. Takagi Fuzzy Associative Memory System and Its Application to Multi-Modal Interface . . 1 N. K. Kasabov Hybrid Connectionist Fuzzy Systems for Speech Recognition and the Use of Connectionist Production Systems . . . . 19 M. Teshnehlab and K. Watanabe Fuzzy Gaussian Potential Neural Networks Using a Functional Reasoning . . . . . . 34 E. Khan and F. Unal Recurrent Fuzzy Logic Using Neural Network . . . . . . . . . . . . . . . . 48 K.-M. Lee and H. Lee-Kwang Information Aggregating Networks based on Extended Sugeno's Fuzzy Integral . . 56 S.-B. Cho A Neuro-Fuzzy Architecture for High Performance Classification . . . . . . . 67 C. Schuster and T. Schmitz and M. Hiller Investigation of Stability and Robustness of a Fuzzy Traction Control System . . . . . . . . . . . . . . . . . 85 H. Honda and T. Hanai and Y. Nishida and I. Fukaya Knowledge-Based Rules for Control of the Sake (Ginjoshu) Making Process and Their Application in Fuzzy Control . . . . . . 101 M. A. Lee and H. Takagi A Framework for Studying the Effects of Dynamic Crossover, Mutation. and Population Sizing in Genetic Algorithms 111 K. Shimojima and Y. Hasegawa and T. Fukuda Unsupervised/Supervised Learning for RBF-Fuzzy System --- Adaptive Rules, Membership Functions and Hierarchical Structure by Genetic Algorithm . . . . . 127 D. Leitch and P. Probert Genetic Algorithms for the Development of Fuzzy Controllers for Mobile Robots 148 T. Furuhashi and Y. Miyata and K. Nakaoka and Y. Uchikawa A New Approach to Genetic Based Machine Learning and an Efficient Finding of Fuzzy Rules --- Proposal of Nagoya Approach . . . . . . . . . . . . . . . . 173 F. Takeda and S. Omatu A Neuro-Money Recognition Using Optimized Masks by GA . . . . . . . . . 190 S. Goonatilake and J. A. Campbell and N. Ahmad Genetic-Fuzzy Systems for Financial Decision Making . . . . . . . . . . . . 202
J. Wiedermann Parallel Machine Models: How They Are and Where Are They Going . . . . . . . . 1 P. Hajek Fuzzy Logic From the Logical Point of View . . . . . . . . . . . . . . . . . . 31 G. Tel Sense of Direction in Processor Networks 50 H. T. Siegelmann Welcoming the Super Turing Theories . . 83 B. G. Horne and H. T. Siegelmann and C. L. Giles What NARX Networks Can Compute . . . . . 95 K. G. Jeffery Database: Introduction to Problems . . . 103 J. Grimson Distributed Information Systems . . . . 120 N. W. Paton Extending Database Technology . . . . . 146 A. J. G. Betts Introducing SSADM4+ and PRINCE . . . . . 166 J. C. Bicarregui and B. M. Matthews Formal Methods in Practice: A Comparison of two Support Systems for Proof . . . . 184 H. Rischel and J. Cuellar and S. Moerk and A. P. Ravn Development of Safety-Critical Real-Time Systems . . . . . . . . . . . . . . . . 206 E. Boerger Why Use Evolving Algebras for Hardware and Software Engineering? . . . . . . . 236 C. Bac and G. Bernard and D. Conan and Q. H. Nguyen Experience with Chorus . . . . . . . . . 272 B. Chapman and P. Mehrotra and H. P. Zima High-Level Languages for Parallel Scientific Computing . . . . . . . . . . 292 H. Maurer On Some New Aspects of Networked Multimedia Systems . . . . . . . . . . . 315 A. Limpouch and K. Charvat Quo Vadis GIS: From GIS to GIMS and Open GIS . . . . . . . . . . . . . . . . . . 334 V. A. Marshall WWW --- The World Wide Web . . . . . . . 350 P. Borovansky Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution . . . . . . . . . 363 A. Cappelli and C. De Castro and M. R. Scalas A Modular History-Oriented Access Structure for Bitemporal Relational Databases . . . . . . . . . . . . . . . 369 H.-W. Gellersen Software Engineering Meets Human-Computer Interaction: Integrating User Interface Design in an Object-Oriented Methodology . . . . . . 375 T. Holan and V. Kubon and M. Platek Parsing of Free-Word-Order Languages . . 379 E. Jennings Distributed Algorithm for Finding a Core of a Tree Network . . . . . . . . . . . 385 P. Kozak Stepwise Synthesis of Reactive Programs 391 W. X. Li A Simple and Efficient Incremental LL(1) Parsing . . . . . . . . . . . . . . . . 399 S. Lucas Fundamentals of Contex-Sensitive Rewriting . . . . . . . . . . . . . . . 405 L. Matyska and H. Bures Constraint Logic Programming with Fuzzy Sets . . . . . . . . . . . . . . . . . . 413 F. Meunier and P. Zemanek Parallel Processing of Image Database Queries . . . . . . . . . . . . . . . . 419 L. Motyckova Maximum Flow Problem in Distributed Environment . . . . . . . . . . . . . . 425 N. H. Phuong Fuzzy Set Theory and Medical Expert Systems: Survey and Model . . . . . . . 431 A. Pirotte and T. Van den Berghe and E. Zimanyi The Fusion Object-Oriented Method: an Evaluation . . . . . . . . . . . . . . . 437 Z. Repaska Integration of Object-Oriented Analysis and Algebraic Specifications . . . . . . 443 M. Rozloznik and Z. Strakos On the Implementation of Some Residual Minimizing Krylov Space Methods . . . . 449 C. Smith and C. A. Tau A Formal Lazy Replication Regime for Spreading Conversion Functions Over Objectbases . . . . . . . . . . . . . . 455 J. Sima Hopfield Languages . . . . . . . . . . . 461 J. Stuller Inconsistency Conflict Resolution . . . 469 E. Tambouris and P. Van Santen A Methodology for Performance and Scalability Analysis . . . . . . . . . . 475 M. Tuma and M. Rozloznik On the Efficiency of Superscalar and Vector Computer for Some Problems in Scientific Computing . . . . . . . . . . 481 P. Vojtas and L. Paulik Logic Programming in RPL and RQL . . . . 487 J. Zizka and I. Snajdarkova Recognition of Handwritten Characters Using Instance-Based Learning Algorithms 493
S. Ceri and E. Baralis and P. Fraternali and S. Paraboschi Design of Active Rule Applications: Issues and Approaches . . . . . . . . . 1 I. Motakis and C. Zaniolo Composite Temporal Events in Active Database Rules: A Logic-Oriented Approach . . . . . . . . . . . . . . . . 19 E. Baralis and S. Ceri and S. Paraboschi Run-time Detection of Non-Terminating Active Rule Systems . . . . . . . . . . 38 C. Zaniolo Active Database Rules with Transaction-Conscious Stable-Model Semantics . . . . . . . . . . . . . . . 55 K. A. Ross Efficiently Following Object References for Large Object Collections and Small Main Memory . . . . . . . . . . . . . . 73 D. B. Kemp and K. Ramamohanarao and P. J. Stuckey ELS-Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS . . . . . . . . . 91 S. Lifschitz and R. N. Melo and E. Pacitti Practical Behavior of Parallelization Strategies for Datalog . . . . . . . . . 109 C. Robles and J. Lobo and T. Gaasterland An Experimental Distributed Deductive Database System . . . . . . . . . . . . 128 A. Dinn and N. W. Paton and M. H. Williams and A. A. A. Fernandes The Implementation of a Deductive Query Language over an OODB . . . . . . . . . 143 Y. Papakonstantinou and A. Gupta and H. Garcia-Molina and J. Ullman A Query Translation Scheme for Rapid Implementation of Wrappers . . . . . . . 161 M. Kifer Deductive and Object Data Languages: A Quest for Integration . . . . . . . . . 187 S. Abiteboul and J. Van Den Bussche Deep Equality Revisited . . . . . . . . 213 D. Calvanese and G. De Giacomo and M. Lenzerini Structured Objects: Modeling and Reasoning . . . . . . . . . . . . . . . 229 M. Tsukamoto and S. Nishio Inheritance Reasoning by Regular Sets in Knowledge-Bases with Dot Notation . . . 247 G. Dobbie and R. Topor Resolving Ambiguities Caused by Multiple Inheritance . . . . . . . . . . . . . . 265 V. Gaede and O. Guenther Efficient Processing of Queries Containing User-Defined Predicates . . . 281 B. Finance and V. Smahi and J. Fessy Query Processing in IRO-DB . . . . . . . 299 D. Quass and A. Rajaraman and Y. Sagiv and J. Ullman Querying Semistructured Heterogeneous Information . . . . . . . . . . . . . . 319 Y. Yanagisawa and M. Tsukamoto and S. Nishio Deductive Object-Oriented Programming for Knowledge-Base Independence . . . . 345 G. Specht and S. Seeberger Montague Grammars as Deductive Databases 363 V. Phan Luong A Mixed Approach to Negation in General Datalog Programs . . . . . . . . . . . . 378 M. Lawley Transaction Safety in Deductive Object-Oriented Databases . . . . . . . 395 M. Guerni and J. Ferrie and J.-F. Pons Concurrency and Recovery for Typed Objects Using a New Commutativity Relation . . . . . . . . . . . . . . . . 411 C. Fahrner and G. Vossen Transforming Relational Database Schemas into Object-Oriented Schemas according to ODMG-93 . . . . . . . . . . . . . . . 429 M.-S. Hacid and C. Rigotti Combining Resolution and Classification for Semantic Query Optimization in DOOD 447 Y.-W. Lee and S. I. Yoo Semantic Query Optimization for Object Queries . . . . . . . . . . . . . . . . 467 Z. Xie and J. Han Normalization and Compilation of Deductive and Object-Oriented Database Programs for Efficient Query Evaluation 485 A. Baraani-Dastjerdi and J. Pieprzyk and R. Safavi-Naini and J. R. Getta A Model of Authorization for Object-Oriented Databases Based on Object Views . . . . . . . . . . . . . . 503 H. Seki and Y. Ishihara and M. Ito Authorization Analysis of Queries in Object-Oriented Databases . . . . . . . 521 X. Ye and C. Parent and S. Spaccapietra On the Specification of Views in DOOD Systems . . . . . . . . . . . . . . . . 539
B. Blumenthal Industrial Design and Activity Theory: A New Direction for Designing Computer-Based Artifacts . . . . . . . . 1 Gerhard Viehstaedt and Mark Minas Generating Editors for Direct Manipulation of Diagrams . . . . . . . . 17--25 B. H. Thomas and P. R. Calder Animating Widgets in the InterViews Toolkit . . . . . . . . . . . . . . . . 26 A. Moerch Application Units: Basic Building Blocks of Tailorable Applications . . . . . . . 45 M. Linard and R. Zeiliger Designing Navigational Support for Educational Software . . . . . . . . . . 63 J. E. Bardram and O. W. Bertelsen Supporting the Development of Transparent Interaction . . . . . . . . 79 C. Carpineto and G. Romano ULYSSES: A Lattice-Based Multiple Interaction Strategy Retrieval Interface 91 V. M. Chelnokov and V. L. Zephyrova Hypertext Macrodynamics . . . . . . . . 105 K. Andrews and H. Maurer and N. Scherbakov Semantic Modeling of Object-Oriented Hypermedia Databases . . . . . . . . . . 121 V. V. Prokhorov PYTHAGORAS: Multienvironment Software 135 N. Koshizuka and K. Sakamura The Shared Interaction Objects Architecture: Integration of Advanced GUI Techniques in Distributed Environments . . . . . . . . . . . . . . 149 V. B. Valkovsky and D. L. Krechman and I. S. Nikiforov and D. S. Chenosov The Processing of Recursive Generalization in the Construction of Hypermedia Macrostructure . . . . . . . 166 D. Nitsche-Ruhland and G. Zimmermann CritiGUI --- Knowledge-Based Support for the User Interface Design Process in Smalltalk . . . . . . . . . . . . . . . 179 V. Kaptelinin and K. Kuutti and L. Bannon Activity Theory: Basic Concepts and Applications . . . . . . . . . . . . . . 189
E. Kranakis and D. Krizanc and B. Ruf and J. Urrutia VC-Dimensions for Graphs . . . . . . . . 1 T. Kloks and D. Kratsch and H. Mueller Finding and Counting Small Induced Subgraphs Efficiently . . . . . . . . . 14 L. Babel and S. Olariu On the Isomorphism of Graphs with Few P4s . . . . . . . . . . . . . . . . . . 24 D. G. Degiorgi and K. Simon A Dynamic Algorithm for Line Graph Recognition . . . . . . . . . . . . . . 37 F. D'Amore and R. Giaccio Incremental Hive Graph . . . . . . . . . 49 H. N. Djidjev and S. M. Venkatesan Planarization of Graphs Embedded on Surfaces . . . . . . . . . . . . . . . . 62 S. O. Krumke and H. Noltemeier and S. S. Ravi and M. V. Marathe Complexity and Approximability of Certain Bicriteria Location Problems . . 73 D. Plump On Termination of Graph Rewriting . . . 88 M. Bauderon A Uniform Approach to Graph Rewriting: The Pullback Approach . . . . . . . . . 101 F. D. Fracchia Visualizing Two- and Three-Dimensional Models of Meristematic Growth . . . . . 116 S. Hartmann Graph-Theoretical Methods to Construct Entity-Relationship Databases . . . . . 131 I. Schiermeyer An Approximation Algorithm for 3-Colourability . . . . . . . . . . . . 146 S. Fischer and L. Torenvliet The Malleability of TSP2Opt . . . . . . 152 P. Alimonti Non-Oblivious Local Search for Graph and Hypergraph Coloring Problems . . . . . . 167 H. L. Bodlaender and R. B. Tan and D. M. Thilikos and J. Van Leeuwen On Interval Routing Schemes and Treewidth . . . . . . . . . . . . . . . 181 K. Wada and T. Ikeo and K. Kawaguchi and W. Chen Highly Fault-Tolerant Routings and Diameter Vulnerability for Generalized Hypercube Graphs . . . . . . . . . . . . 197 F. Meyer auf der Heide and M. Westermann Hot-Potato Routing on Multi-Dimensional Tori . . . . . . . . . . . . . . . . . . 209 M. Flammini and G. Gambosi and S. Salomone On Devising Boolean Routing Schemes . . 222 B. D. Birchler and A.-H. Esfahanian and E. Torng Toward a General Theory of Unicast-Based Multicast Communication . . . . . . . . 237 J. Rolim and O. Sykora and I. Vrt'o Optimal Cutwidths and Bisection Widths of $2$- and $3$-Dimensional Meshes . . . 252 P. Damaschke Searching for Faulty Leaves in Binary Trees . . . . . . . . . . . . . . . . . 265 Z.-Z. Chen and X. He NC Algorithms for Partitioning Planar Graphs into Induced Forests and Approximating NP-Hard Problems . . . . . 275 E. Dahlhaus Efficient Parallel Modular Decomposition 290 P. Bonizzoni and G. Della Vedova Modular Decomposition of Hypergraphs . . 303 J. L. Pfaltz Partition Coefficients of Acyclic Graphs 318 T. Takaoka Sub-Cubic Cost Algorithms for the All Pairs Shortest Path Problem . . . . . . 333 J. S. Deogun and D. Kratsch Diametral Path Graphs . . . . . . . . . 344 P. Galinier and M. Habib and C. Paul Chordal Graphs and their Clique Graphs 358 J. Gustedt and M. Morvan and L. Viennot A Compact Data Structure and Parallel Algorithms for Permutation Graphs . . . 372 A. Brandstaedt and F. F. Dragan and F. Nicolai Homogeneously Orderable Graphs and the Steiner Tree Problem . . . . . . . . . . 381
M. Degermark and T. Koehler and S. Pink and O. Schelen Advance Reservations for Predicted Service . . . . . . . . . . . . . . . . 3 D. Ferrari and A. Gupta and G. Ventre Distributed Advance Reservation of Real-Time Connections . . . . . . . . . 16 L. C. Wolf and L. Delgrossi and R. Steinmetz and S. Schaller Issues of Reserving Resources in Advance 28 P. Leydekkers and V. Gay and L. Franken A Computational and Engineering View on Open Distributed Real-Time Multimedia Exchange . . . . . . . . . . . . . . . . 41 M. B. Jones and P. J. Leach and R. P. Draves and J. S. Barrera Support for User-Centric Modular Real-Time Resource Management in the Rialto Operating System . . . . . . . . 53 G. K. Jeffay and D. Bennett A Rate-Based Execution Abstraction for Multimedia Computing . . . . . . . . . . 64 C. J. Lindblad VuSystem Performance Measurements . . . 76 C. D. Cranor and G. M. Parulkar Design of Universal Continuous Media I/O 80 H. Kitamura and K. Taniguchi and H. Sakamoto and T. Nishida A New OS Architecture for High Performance Communication over ATM Networks-Zero-Copy Architecture- . . . . 84 A. Eleftheriadis and D. Anastassiou Meeting Arbitrary QoS Constraints Using Dynamic Rate Shaping of Coded Digital Video . . . . . . . . . . . . . . . . . 89 A. Campbell and D. Hutchinson and C. Aurrecoechea Dynamic QoS Management for Scalable Video Flows . . . . . . . . . . . . . . 101 K. Kawachiya and M. Ogata and N. Nishio and H. Tokuda Evaluation of QoS-Control Servers on Real-Time Mach . . . . . . . . . . . . . 117 L. C. Schreier and M. B. Davis System-Level Resource Management for Network-Based Multimedia Applications 121 N. Chaddha and G. A. Wall and B. Schmidt An End to End Software Only Scalable Video Delivery System . . . . . . . . . 130 S. Cen and C. Pu and R. Staehli and C. Cowan A Distributed Real-Time MPEG Audio Player . . . . . . . . . . . . . . . . . 142 J.-C. Bolot and H. Crepin and A. V. Garcia Analysis of Audio Packet Loss in the Internet . . . . . . . . . . . . . . . . 154 H. C. Lauer and C. Shen and R. Osborne and J. Howard Digital Audio and Video in Industrial Systems . . . . . . . . . . . . . . . . 166 K. Fall and J. Pasquale and S. McCanne Workstation Video Playback Performance with Competitive Process Load . . . . . 170 H. Schulzrinne When Can We Unplug the Radio and Telephone? . . . . . . . . . . . . . . . 174 K. Rothermel and T. Helbig An Adaptive Stream Synchronization Protocol . . . . . . . . . . . . . . . . 178 B. K. Schmidt and J. D. Northcutt and M. S. Lam A Method and Apparatus for Measuring Media Synchronization . . . . . . . . . 190 J. Nieh and M. S. Lam Integrated Processor Scheduling for Multimedia . . . . . . . . . . . . . . . 202 A. Mauthe and G. Coulson Scheduling and Admission Testing for Jitter Constrained Periodic Threads . . 206 R. Yavatkar and K. Lakshman A CPU Scheduling Algorithm for Continuous Media Applications . . . . . 210 H. Schulzrinne Dynamic Configuration of Conferencing Applications Using Pattern-Matching Multicast . . . . . . . . . . . . . . . 216 E. Biersack and J. Nonnenmacher WAVE: A New Multicast Routing Algorithm for Static and Dynamic Multicast Groups 228 R. Bettati and D. Ferrari and A. Gupta and W. Heffner Connection Establishment for Multi-Party Real-Time Communication . . . . . . . . 240 K. C. Almeroth and M. H. Ammar The Role of Multicast Communication in the Provision of Scalable and Interactive Video-on-Demand Service . . 251 H. Zhang and E. W. Knightly RED-VBR: A New Approach to Support Delay-Sensitive VBR Video in Packet-Switched Networks . . . . . . . . 258 P. Goyal and S. S. Lam and H. M. Vin Determining End-to-End Delay Bounds in Heterogeneous Networks . . . . . . . . . 273 V. Bansal and R. J. Siracusa and J. P. Hearn and G. Ramamurthy Adaptive QoS-Based API for ATM Networking . . . . . . . . . . . . . . . 285 S. S. Lam and G. G. Xie Burst Scheduling Networks: Flow Specification and Performance Guarantees 289 S. W. Lau and J. C. S. Lui A Novel Video-on-Demand Storage Architecture for Supporting Constant Frame Rate with Variable Bit Rate Retrieval . . . . . . . . . . . . . . . 294 A. J. Chaney and I. D. Wilson and A. Hopper The Design and Implementation of a RAID-3 Multimedia File Server . . . . . 306 M. M. Buddhikot and G. M. Parulkar Efficient Data Layout, Scheduling and Playout Control in MARS . . . . . . . . 318 S. D. Stoller and J. D. DeTreville Storage Replication and Layout in Video-on-Demand Servers . . . . . . . . 330 S. Paek and P. Bocheck and S.-F. Chang Scalable MPEG2 Video Servers with Heterogeneous QoS on Parallel Disk Arrays . . . . . . . . . . . . . . . . . 342 G. Neufeld and D. Makaroff and N. Hutchinson The Design of a Variable Bit Rate Continuous Media Server . . . . . . . . 354
O. Mueller and T. Nipkow Combining model checking and deduction for I/O-automata . . . . . . . . . . . . 1 K. G. Larsen and B. Steffen and C. Weise A constraint oriented proof methodology based on modal transition systems . . . 17 T. H. Henzinger and P.-H. Ho and H. Wong-Toi A user guide to HyTech . . . . . . . . . 41 A. Mader Modal-calculus, model checking and Gauss elimination . . . . . . . . . . . . . . 72 J. G. Henriksen and J. Jensen and M. Joergensen and N. Klarlund MONA: Monadic second-order logic in practice . . . . . . . . . . . . . . . . 89 U. H. Engberg and K. S. Larsen Efficient simplification of bisimulation formulas . . . . . . . . . . . . . . . . 111 A. W. Roscoe and P. H. B. Gardiner and M. H. Goldsmith and J. R. Hulance Hierarchical compression for model-checking CSP or How to check 100200 dining philosophers for deadlock 133 R. Cleaveland and E. Madelaine and S. Sims A front-end generator for verification tools . . . . . . . . . . . . . . . . . 153 C. Tofts Analytic and locally approximate solutions to properties of probabilistic processes . . . . . . . . . . . . . . . 174 N. De Francesco and A. Fantechi and S. Gnesi and P. Inverardi Model checking of non-finite state processes by finite approximations . . . 195 J. Bohn and S. Roessig On automatic and interactive design of communicating systems . . . . . . . . . 216 W. Janssen Layers as knowledge transitions in the design of distributed systems . . . . . 238 J. Knoop and B. Steffen and J. Vollmer Parallelism for free: bitvector analyses => no state explosion! . . . . . . . . . 264
J. Hunt Evolutionary Case Based Design . . . . . 17 A. D. Griffiths and D. G. Bridge Formalising the Knowledge Content of Case Memory Systems . . . . . . . . . . 32 M. Brown and N. Filer Beauty vs. the Beast: The Case Against Massively Parallel Retrieval . . . . . . 42 R. Oehlmann and P. Edwards and D. Sleeman Self-Questioning and Experimentation: An Index Vocabulary of Situated Interaction 59 A. M. Dearden Improving the Interfaces to Interactive Case Memories . . . . . . . . . . . . . 73 P. J. Funk and D. Robertson Capturing and Matching Dynamic Behaviour in Case-Based Reasoning . . . . . . . . 85 I. Bichindaritz Incremental Concept Learning and Case-Based Reasoning: For a Co-Operative Approach . . . . . . . . . . . . . . . . 91 F. Marir and I. Watson Can CBR Imitate Human Intelligence and are such Systems easy to Design and Maintain? A Critique . . . . . . . . . . 107 C. J. Price and I. S. Pegler Deciding Parameter Values with Case-Based Reasoning . . . . . . . . . . 121 J. Ellman An Application of Case Based Reasoning to Object Oriented Database Retrieval 134 I. Dattani and M. Bramer Case-Based Reasoning: A Technique for``Decision Support Systems'' in Residential Valuation and the Construction of Residential Housing . . 142 K. Pal and J. A. Campbell A Hybrid System For Decision-Making About Assets In English Divorce Cases 152 P. Maguire and V. Shankararaman and R. Szegfue and L. Morss Application of Case-Based Reasoning (CBR) to Software Reuse . . . . . . . . 166 E. Georgin and F. Bordin and S. Loesel and J. R. McDonald CBR Applied to Fault Diagnosis on Steam Turbines . . . . . . . . . . . . . . . . 175 S. Perera and I. Watson Nirmani: An Integrated Case-Based System for Strategic Design and Estimating . . 185 T. Khan and Yau Jim Yip Case-based Curriculum Planning for Computer-Aided Instruction . . . . . . . 201
G. Wiederhold Modeling and System Maintenance . . . . 1 L. Liu Adaptive Schema Design and Evaluation in an Object-Oriented Information System 21 S. Thelemann Assertion of Consistency Within a Complex Object Database Using a Relationship Construct . . . . . . . . . 32 A. Baraani-Dastjerdi and J. Pieprzyk and R. Safavi-Naini and J. Getta A Cryptographic Mechanism for Object-Instance-Based Authorization in Object-Oriented Database Systems . . . . 44 S. Liddle and D. Embley and S. Woodfield Unifying Modeling and Programming Through an Active,. Object-Oriented, Model-Equivalent Programming Language 55 M. Gogolla A Declarative Query Approach to Object Identification . . . . . . . . . . . . . 65 C. Fung and Q. Li Versatile Querying Facilities for a Dynamic Object Clustering Model . . . . 77 M. Vermeer and P. Apers Reverse Engineering of Relational Database Applications . . . . . . . . . 89 V. Vidal and M. Winslett A Rigorous Approach to Schema Restructuring . . . . . . . . . . . . . 101 M. Bouneffa and N. Boudjlida Managing Schema Changes in Object-Relationship Databases . . . . . 113 M. Teisseire Behavioural Constraints: Why Using Events Instead of States . . . . . . . . 123 M. Schreft and M. Stumptner Behavior Consistent Extension of Object Life Cycles . . . . . . . . . . . . . . 133 J. Burg and R. Van de Riet COLOR-X Even Model: Integrated Specification of the Dynamics of Individual Objects . . . . . . . . . . . 146 P. Srinivasan Hands and G. Vignes and A. Srinivasan Database Design with Behavior and Views Using Parameterized Petri Nets . . . . . 158 Y.-C. Oh and S. Navathe SEER: Security Enhanced Entity-Relationship Model for Secure Relational Databases . . . . . . . . . . 170 E. Ellmer and C. Huemer and D. Merkl and G. Pernul Neural Network Technology to Support View Integration . . . . . . . . . . . . 181 T. Halpin and H. Proper Database Schema Transformation and Optimization . . . . . . . . . . . . . . 191 R. Missaoui and J.-M. Gagnon and R. Godin Mapping an Extended Entity-Relationship Schema into a Schema of Complex Objects 204 T. Jones and I.-Y. Song Binary Representation of Ternary Relationships in ER Conceptual Modeling 216 Z. Diskin and B. Cadish Variable Sets and Functions Framework for Conceptual Modeling: Integrating ER and OO via Sketches with Dynamic Markers 226 O. De Troyer and R. Meersman A Logic Framework for a Semantics of Object Oriented Data Modeling . . . . . 238 M. Saeki Object-Oriented Meta Modeling . . . . . 250 S. Jarzabek and T. W. Ling A Conceptual Model for Business Re-engineering Methods and Tools . . . . 260 V. Gruhn and C. Pahl and M. Wever Data Model Evolution as a Business Process Management . . . . . . . . . . . 270 S. Castano and V. De Antonellis Re-engineering Processess in Public Administrations . . . . . . . . . . . . 282 J. Knapp Uniqueness Conditions for ER Representations . . . . . . . . . . . . 296 I. Mitchell and I. Ferguson and N. Parrington Rapid Prototyping: An Integrated CASE Based Approach . . . . . . . . . . . . . 308 J. Venable and J. Grundy Integrating and Supporting Entity Relationship and Object Role Models . . 318 G. Saake and S. Conrad and C. Tuerker From Objects Specification Towards Agent Design . . . . . . . . . . . . . . . . . 329 F. Casati and S. Ceri and B. Pernici and G. Pozzi Conceptual Modeling of Work Flows . . . 341 I. Hawryszkiewycz An Object Oriented Approach for CSCW System Design . . . . . . . . . . . . . 355 C. Jensen and R. Snodgrass Semantics of Time-Varying Attributes and Their Use for Temporal Database Design 366 A. Gal and O. Etzion Handling Change Management Using Temporal Active Repositories . . . . . . 378 V. Kouramajian and M. Gertz A Graphical Query Language for Temporal Databases . . . . . . . . . . . . . . . 388 I. Schmitt and G. Saake Managing Object Identity in Federated Database Systems . . . . . . . . . . . . 400 J. R. Getta and L. A. Maciaszek Management of Inconsistent Information in Federated Systems . . . . . . . . . . 412 M.-L. Lee and T. W. Ling Resolving Structural Conflicts in the Integration of Entity-Relationship Schemas . . . . . . . . . . . . . . . . 424 H. E. Michelsen Use and Control of Data Models: A Repository Approach . . . . . . . . . . 434 D. Moody The Seven Habits of Highly Effective Data Modelers (and Object Modelers?) . . 436 D. Tasker Object Responsibility Categories in Support of Top-Down Object Discovery . . 438 D. Tonkin Denormalisation as an OO Extension . . . 439 B. Unhelkar Development of Financial Markets Analytical Products: a MOSES Case study 441 J. Ha and K. Jeong and S. Kim and S. Choi The Practice of Nuclear Integrated Design and Engineering Database Establishment Using OO DBMS . . . . . . 444 K. Dampney and M. Johnson Application of ``Consistent Dependency'' to Corporate and Project Information Models . . . . . . . . . . . . . . . . . 445 C. Atkins The Use of Agglomerative Categorisation to Build a Conceptual View of Statistical Data . . . . . . . . . . . . 447
D. A. Turner Invited paper: Elementary strong functional programming . . . . . . . . . 1 E. T. Keravnou Introducing computer science undergraduates to principles of programming through a functional language . . . . . . . . . . . . . . . . 15 A. Davison Teaching C after Miranda . . . . . . . . 35 J.-P. Jacquot and J. Guyard Requirements for an ideal first language 51 M. Nuthez and P. Palao and R. Petha A second year course on data structures based on functional programming . . . . 65 S. Thompson and S. Hill Functional programming through the curriculum . . . . . . . . . . . . . . . 85 S. Jarvis and S. Poria and R. Morgan Understanding LOLITA: Experiences in teaching large scale functional programming . . . . . . . . . . . . . . 103 J. Karczmarczuk Functional programming and mathematical objects . . . . . . . . . . . . . . . . 121 J. Fokker Explaining algebraic theory with functional programs . . . . . . . . . . 139 D. Lester and S. Mintchev Inducing students to induct . . . . . . 159 C. T. P. Burton Conceptual structures for recursion . . 179 J. O'Donnell From transistors to computer architecture: Teaching functional circuit specification in Hydra . . . . . 195 P. Koopman and V. Zweije Functional programming in a basic database course . . . . . . . . . . . . 215 W. E. Kluge and C. Rathsack and S.-B. Scholz Using -RED as a teaching tool for functional programming and program execution . . . . . . . . . . . . . . . 231 E. Hilsdale and J. M. Ashley and R. K. Dybvig and D. P. Friedman Compiler construction using Scheme . . . 251 P. H. Hartel and B. Van Es and D. Tromp Basic proof skills of computer science students . . . . . . . . . . . . . . . . 269 C. Clack and C. Myers The dys-functional student . . . . . . . 289
E. A. Albacea Leapfrogging Samplesort . . . . . . . . 1 L. Cai Spanning 2-Trees . . . . . . . . . . . . 10 M.-Y Kao Minimal Linear Invariants . . . . . . . 23 L. Baffi and R. Petreschi Parallel Maximal Matching on Minimal Vertex Series Parallel Digraphs . . . . 34 Tak Wah Lam and Ka Hing Lee Efficient Equality-Testing and Updating of Sets . . . . . . . . . . . . . . . . 48 Viet Hai Nguyen and P. Widmayer Binary Space Partitions for Sets of Hyperrectangles . . . . . . . . . . . . 59 S. Byun and R. Kennaway and R. Sleep Transformation of Orthogonal Term Rewriting Systems . . . . . . . . . . . 73 M. Satpathy and A. Sanyal and G. Venkatesh An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness 88 M. Gandhe and G. Venkatesh and A. Sanyal Labeled lambda-Calculus and a Generalised Notion of Strictness . . . . 103 S. Pinchinat and E. Rutten and R. Shyamasundar Preemption Primitives in Reactive Languages . . . . . . . . . . . . . . . 111 W. Fraczak Multi-Action Process Algebra . . . . . . 126 A. Mycroft and P. Degano and C. Priami Complexity as a Basis for Comparing Semantic Models of Concurrency . . . . . 141 N. Raja and R. K. Shyamasundar Combinatory Formulations of Concurrent Languages . . . . . . . . . . . . . . . 156 J. Niehren and M. Mueller Constraints for Free in Concurrent Computation . . . . . . . . . . . . . . 171 P. Jalote Formalizing Inductive Proofs of Message Recovery in Distributed Systems . . . . 187 X. Ye and J. Keane Detecting Distributed Termination in the Presence of Node Failure . . . . . . . . 195 F. Liu and T. Peinkenkamp and W. Damm An Extended Gradient Model for NUMA Multiprocessor Systems . . . . . . . . . 210 Shao Dong Chen and H. Shen and R. Topor Efficient Parallel Permutation-Based Range-Join Algorithms on Mesh-Connected Computers . . . . . . . . . . . . . . . 225 H. Lu and K.-L. Tan Pipelined Band Join in Shared-Nothing Systems . . . . . . . . . . . . . . . . 239 K. Yamamoto and S. Naito and M. Itoh Inductive Logic Programming Based on Genetic Algorithm . . . . . . . . . . . 254 S.-H. Nienhuys-Cheng and R. De Wolf The Equivalence of the Subsumption Theorem and the Refutation-completeness for Unconstrained Resolution . . . . . . 269 L. Ngo and P. Haddawy Probabilistic Logic Programming and Bayesian Networks . . . . . . . . . . . 286 P. Anderson and D. Basin Deriving and Applying Logic Program Transformers . . . . . . . . . . . . . . 301 B.-M. Tong and H.-F. Leung Performance of a Data-Parallel Concurrent Constraint Programming System 319 R. Bharadwaj and A. Felty and F. Stomp Formalizing Inductive Proofs of Network Algorithms . . . . . . . . . . . . . . . 335 R. Achuthan and V. S. Alagar and T. Radhakrishnan TROM --- An Object Model for Reactive System Development . . . . . . . . . . . 350 P. Chan and D. Van Hung Duration Calculus Specification of Scheduling for Tasks with Shared Resources . . . . . . . . . . . . . . . 365 M. Iglewski and M. Kubica and J. Madey Trace Specifications of Non-deterministic Multi-object Modules 381 X. Chen and P. Inverardi and C. Montangero ESP-MC: An Experiment in the Use of Verification Tools . . . . . . . . . . . 396
T. S. Huang and L.-A. Tang $3$D Model-Based Video Coding: Computer Vision Meets Computer Graphics . . . . . 1 S. Shah and J. K. Aggarwal Autonomous Mobile Robot Navigation Using Fish-Eye Lenses . . . . . . . . . . . . 9 J. Huang and J.-Z. Wang High-Performance Tracking System . . . . 17 Y.-P. Hung and C.-Y. Tang and Z. Chen and S.-W. Shih A $3$D Predictive Visual Tracker for Tracking Multiple Moving Objects with a Stereo Vision System . . . . . . . . . . 25 N. Barnes and Z.-Q. Liu Vision Guided Circumnavigating Autonomous Robots . . . . . . . . . . . 33 W. H. Wong and H. H. S. Ip Force-Driven Optimization for Correspondence Establishment . . . . . . 43 X. Liang and B. Li and S. Liu The Deformed Cube: A Visualization Technique for $3$D Velocity Vector Field 51 J. Ren and G. Zeng and S. Liu Interactive Particle Tracing Algorithm for Unstructured Grids . . . . . . . . . 59 P. C. Teo and C. D. Garfinkle Fast Resampling Using Vector Quantization . . . . . . . . . . . . . . 66 M. Xu and Z. Tang and J. Deng A B-Spline Surface Interpolation Technique for Reconstructing $3$D Objects from Serial Arbitrary Shaped Planar Contours . . . . . . . . . . . . 74 R. Lengagne and O. Monga and C. Ge and Ma Song De Two Methods for a Reliable Comer Detection in $2$D Images . . . . . . . . 83 R. Watzel and K. Braun and A. Hess and H. Scheich On the Deletability of Points in $3$D Thinning . . . . . . . . . . . . . . . . 91 J. You and W. P. Zhu and H. A. Cohen and E. Pissaloux Real-Time Textured Object Recognition on Distributed Systems . . . . . . . . . . 99 N. A. Murshed and F. Bortolozzi and R. Sabourin Off-Line Signature Verification without Requiring Random Forgeries for Training 107 B. J. Oommen and R. K. S. Loke Noisy Subsequence Recognition Using Constrained String Editing Involving Substitutions, Insertions, Deletions and Generalized Transpositions . . . . . . . 116 H. N. Ng and R. L. Grimsdale GEOFF --- A Geometrical Editor for Fold Formation . . . . . . . . . . . . . . . 124 E. Nakamae and J. Chai and H. Inuyama and F. Kato Simplification of Polygonal Surface with Attributes . . . . . . . . . . . . . . . 132 D. Nishioka and M. Nagasawa Reducing Polygonal Data by Structural Grouping Algorithm . . . . . . . . . . . 140 I. S. B. Wong and A. C. Naiman An Object-Oriented Architecture for Chinese Character Composition . . . . . 152 V. Anisimov and N. Gorski and D. Price and O. Baret Bank Check Reading: Recognizing the Courtesy Amount . . . . . . . . . . . . 161 M. Nishijima and T. Watanabe An Automatic Extraction Approach of Road Information on the Basis of Recognition of Character Regions . . . . . . . . . . 173 W. B. Seales and A. Rajasekar Interpreting Music Manuscripts: A Logic-Based, Object-Oriented Approach 181 J. Liu and M. M. Y. Chang and W. K. Chain On-Line Chinese Character Recognition with Attributed Relational Graph Matching . . . . . . . . . . . . . . . . 189 X. Li and D.-Y. Yeung On-Line Handwritten Alphanumeric Character Recognition Using Feature Sequences . . . . . . . . . . . . . . . 197 R. W. H. Lau An Adaptive Supersampling Method . . . . 205 C. M. Ng Dynamic Memory Mapping for Window Based Display System . . . . . . . . . . . . . 215 Y. Zhou and Z. Tang Convert Non-Convex Meshes to Convex Meshes for Depth Sorting in Volume Rendering . . . . . . . . . . . . . . . 223 H. Yuen and L. Hanzo A New Chain Coding Scheme for Cursive Script and Line Drawings . . . . . . . . 233 G. Bellaire and M. Luebbe Adaptive Hierarchical Indexing and Constrained Localization: Matching Characteristic Views . . . . . . . . . . 241 C.-N. Lee and R. M. Haralick Statistical Estimation for Exterior Orientation from Line-to-Line Correspondences . . . . . . . . . . . . 250 S. Dance and Z.-Q. Liu High Level Scene Interpretation using Fuzzy Belief . . . . . . . . . . . . . . 258 Y. Tian and H. Tsui Estimating Shape and Reflectance of Surfaces by Color Image Analysis . . . . 266 C. Pudney and P. Kovesi and B. Robbins Feature Detection Using Oriented Local Energy for $3$D Confocal Microscope Images . . . . . . . . . . . . . . . . . 274 G. Baciu and R. K. W. Tsang Advancing Front Meshing for Radiosity Solutions . . . . . . . . . . . . . . . 283 K. Myszkowski and T. L. Kunii An Efficient Cluster-Based Hierarchical Progressive Radiosity Algorithm . . . . 292 E. Nakamae and G. Jiao and K. Tadamura and F. Kato A Model of Skylight and Calculation of Its Illuminance . . . . . . . . . . . . 304 G. K. P. Fung and H. H. S. lp and K. C. K. Law Ray Tracing Stereoscopic Images . . . . 313 J. Lasseter Creating Memorable Characters with Computers . . . . . . . . . . . . . . . 322 K. Kanazawa and M. Kubo and N. Niki and H. Satoh Computer Assisted Lung Cancer Diagnosis Based on Helical Images . . . . . . . . 323 M. J. Carreira and D. Cabello and M. G. Penedo and J. M. Pardo Computer-Aided Lung Nodule Detection in Chest Radiography . . . . . . . . . . . 331 R. Sammouda and N. Niki and H. Nishitani Neural Networks for the Segmentation of Magnetic Resonance Images . . . . . . . 339 B. C. Vemuri and S. Rahman and J. Li Multiresolution Adaptive K-means Algorithm for Segmentation of Brain MRI 347 Y. Kawata and N. Niki and T. Kumazaki Computer-Assisted Analysis and $3$D Visualization of Blood Vessels Based on Cone-Beam CT Images . . . . . . . . . . 355 G. Baciu and B. P. W. Lee An Interface for Synthesizing $3$D Multibody Structures . . . . . . . . . . 363 P. Fearing Importance Ordering for Real-Tune Depth of Field . . . . . . . . . . . . . . . . 372 C. S. N. Ho and R. L. Grimsdale A Behavioural Control Framework for Computer Animation using AI Techniques 381 H. Z. Hel-Or Time-Space Weighting for Image Sequence Quantization . . . . . . . . . . . . . . 389 N. Ahuja A Nonfrontal Imaging Camera . . . . . . 397 L. Ma and Q. Peng Modifying and Controlling of Smooth Closed Surfaces . . . . . . . . . . . . 398 M. Sarfraz Designing of $3$D Rectangular Objects 411 J. Chun and I. R. Greenshields Classification Algorithm for Multi-Echo Magnetic Resonance Image Using Gibbs Distributions . . . . . . . . . . . . . 419 F. Luo and L. Lu and Z. Houkes Parameter Estimation for SAR Image by a Model Based Approach . . . . . . . . . . 427 C. Wang and H. Lu and S. Ma A Synthesized Computer Recognition System for Human Hands . . . . . . . . . 435 W. Gao and S. Wang Independent Hand Gesture Recognition in HandTalker . . . . . . . . . . . . . . . 443 J. Dehmeshki and M. F. Daemi and B. P. Atkin and N. J. Miles An Adaptive Estimation and Segmentation Technique for Determination of Major Maceral Groups in Coal . . . . . . . . . 451 M. Ando and S. Morishima Expression and Motion Control of Hair using Fast Collision Detection Methods 463 F. Kawakami and M. Ohkura and H. Yamada and H. Harashima $3$-D Emotion Space for Interactive Communication . . . . . . . . . . . . . 471 A. Peng and M. H. Hayes Iterative Human Facial Expression Modeling . . . . . . . . . . . . . . . . 479 S.-L. Kao and C.-S. Fuh Shape from Shading Using Near Point Light Sources . . . . . . . . . . . . . 487 Tak Keung Cheng and L. Kitchen and Z.-Q. Liu Feature Replenishment for Long-Term Visual Motion Tracking . . . . . . . . . 489 A. M. K. Cheng and X. Huang An Imprecise Real-Tune Video Transmission Algorithm . . . . . . . . . 491 D. Adjeroh and Moon Chuen Lee Mechanisms for Automatic Extraction of Primary Features for Video Indexing . . 493 H. Li and Q. Yao and J.-H. Choi and H.-S. Kwak An Estimation of Low Bound for Two-Dimensional Image Compression Coding 495 D. K. Y. Chiu and D. A. Gadishev Texture Comparison Based on Selected Texture Primitives . . . . . . . . . . . 497 J. A. Parikh and J. DaPonte and M. Damodaran Texture Analysis of Ultrasonic Images Using Backpropagation Neural Networks 499 G. Cong and S. Ma B-Spline Based Multiscale Signal Derivative Filtering . . . . . . . . . . 501 P. C. Yuen and S. D. Ma and J. Liu and Y. S. Yeung Contour Decomposition Using Dominant Points and Moment Difference Method . . 503 Z. Hu and S. Ma An Inherent Probabilistic Aspect of the Hough Transform . . . . . . . . . . . . 505 R. Buse and Z.-Q. Liu A Fuzzy Structural Approach to Handwritten Word Recognition . . . . . . 507 H. Raafat and G. Auda An Arabic OCR Using Neural Network Classifiers . . . . . . . . . . . . . . 510 A. Zidouri and S. Chinveeraphan and M. Sato Arabic Characters Recognition Based on MCR . . . . . . . . . . . . . . . . . . 512 R. Mariani and M. P. Deseilligny and J. Labiche and Y. Lecourtier Geographic Map Understanding. Algorithms for Hydrographic Network Reconstruction 514 K. Ohta and Y. Nonaka and F. Miyawaki Automatic Analyzing of a Weaving Design with the Spatial Frequency Components 516 R. Sablatnig Visual Inspection of Watermeters Used for Automatic Calibration . . . . . . . 518 S. Vitulano and C. Di Ruberto and M. Nappi Computer Aided Diagnosis in Radiology 520 E. Wenger and V. N. Karnaukhov and A. Haidinger and N. S. Merzlyakov Image Analysis for Dating of Old Manuscripts . . . . . . . . . . . . . . 522 M. Yamaoka and O. lwaki Document Layout Analysis Using Pattern Classification Method . . . . . . . . . 524 Y. Xu and D. Yi Recognition of Engineering Drawings Based on Frame Structure Theory . . . . 526 P. A. Griffin and H. Noot FERSA: Lip-Synchronous Animation . . . . 528
P. C. Van Oorschot Design Choices and Security Implications in Implementing Diffie--Hellman Key Agreement . . . . . . . . . . . . . . . 1 V. Korjik and M. Ivkov and Y. Merinovich and A. Barg A Broadcast Key Distribution Scheme Based on Block Designs . . . . . . . . . 2 A. Ashikhmin and A. Barg Minimal Supports in Linear Codes . . . . 13 Sooyoung Kim Shin and P. Sweeney Sequential Decoding for a Subcode of Reed Solomon Codes . . . . . . . . . . . 14 P. Caballero-Gil and A. Fuster-Sabater Linear Span Analysis of a Set of Periodic Sequence Generators . . . . . . 22 Y. Han and D. Gollmann and C. Mitchell Minimal Weight k-SR Representations . . 34 J. W. P. Hirschfeld The Main Conjecture for MDS Codes . . . 44 G. Norton Some Decoding Applications of Minimal Realization . . . . . . . . . . . . . . 53 P. Z. Fan and M. Darnell The Synthesis of Perfect Sequences . . . 63 W. T. Penzhorn and G. J. Kuehn Computation of Low-Weight Parity Checks for Correlation Attacks on Stream Ciphers . . . . . . . . . . . . . . . . 74 C. J. Mitchell A Storage Complexity Based Analogue of Maurer Key Esablishment Using Public Channels . . . . . . . . . . . . . . . . 84 H. P. Ho and P. Sweeney Soft Decision Decoding of Reed Solomon Codes Using the Dorsch Algorithm . . . . 94 D. J. C. MacKay and R. M. Neal Good Codes Based on Very Sparse Matrices 100 S. J. D. Phoenix and P. D. Townsend Quantum Cryptography: Protecting our Future Networks with Quantum Mechanics 112 C. Radu and R. Govaerts and J. Vandewalle Prepaid Electronic Cheques Using Public-Key Certificates . . . . . . . . 132 S. Lucks How Traveling Salespersons Prove Their Identity . . . . . . . . . . . . . . . . 142 A. Smith and C. Boyd An Elliptic Curve Analogue of McCurley's Key Agreement Scheme . . . . . . . . . . 150 M. Ahmadian-Attari and P. G. Farrell Multi-Dimensional Ring TCM Codes for Fading Channels . . . . . . . . . . . . 158 H. C. A. Van Tilborg Authentication Codes: an Area where Coding and Cryptology Meet . . . . . . . 169 N. Sendrier Efficient Generation of Binary Words of Given Weight . . . . . . . . . . . . . . 184 R. G. E. Pinch Distribution of Recurrent Sequences Modulo Prime Powers . . . . . . . . . . 188 C. Cachin On-Line Secret Sharing . . . . . . . . . 190 V. A. Oleshchuk Church--Rosser Codes . . . . . . . . . . 199 A. Canteaut A New Algorithm for Finding Minimum-Weight Words in Large Linear Codes . . . . . . . . . . . . . . . . . 205 E. V. Stansfield and M. Walker Coding and Cryptography for Speech and Vision . . . . . . . . . . . . . . . . . 213 V. Zyablov and S. Shavgulidze and J. Justesen Some Constructions of Generalised Concatenated Codes Based on Unit Memory Codes . . . . . . . . . . . . . . . . . 237 W. Geiselmann A Note on the Hash Function of Tillich and Zemor . . . . . . . . . . . . . . . 257--263 P. Veron Cryptanalysis of Harari's Identification Scheme . . . . . . . . . . . . . . . . . 264 T. M. Quirke and M. Darnell Analysis of Sequence Segment Keying as a Method of CDMA Transmission . . . . . . 270 V. Buttigieg and P. G. Farrell Constructions for Variable-Length Error-Correcting Codes . . . . . . . . . 282
M. Paterson and S. Tassa and U. Zwick Looking for MUM and DAD: text-text comparisons do help . . . . . . . . . . 1 S. Jain Branch and Bound on the Network Model 11 P. Dasgupta and P. P. Chakrabarti and S. C. DeSarkar A Near Optimal Algorithm for the Extended Cow-Path Problem in the Presence of Relative Errors . . . . . . 22 A. Roychoudhury and S. Sur-Kolay Efficient Algorithms for Vertex Arboricity of Planar Graphs . . . . . . 37 A. A. Diwan and N. Usharani A Condition for the Three Colourability of Planar Locally Path Graphs . . . . . 52 P. Baumann and K. Lermer A Framework for the Specification of Reactive and Concurrent Systems in Z . . 62 J. Zwiers and U. Hannemann and Y. Lakhneche and W.-P. De Roever Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems . . . . . . . . . . . . . . . . 80 J. Hooman Verifying Part of the ACCESS.bus Protocol Using PVS . . . . . . . . . . . 96 L. Petrone Reusing Batch Parsers as Incremental Parsers . . . . . . . . . . . . . . . . 111 P. Panangaden The Expressive Power of Indeterminate Primitives in Asynchronous Computation 124 J. Garrigue The Transformation Calculus . . . . . . 151 J. Tiuryn Equational Axiomatization of Bicoercibility for Polymorphic Types . . 166 M. Raynal and A. Schiper From Causal Consistency to Sequential Consistency in Shared Memory Systems . . 180 A. I. Tomlinson and V. K. Garg Observation of Software for Distributed Systems with RCL . . . . . . . . . . . . 195 N. D. Dendris and L. M. Kirousis and Y. C. Stamatiou and D. M. Thilikos Partiality and Approximation Schemes for Local Consistency in Networks of Constraints . . . . . . . . . . . . . . 210 D. Kapur and G. Sivakumar Maximal Extensions of Simplification Orderings . . . . . . . . . . . . . . . 225 R. Schuler Average Polynomial Time Is Hard for Exponential Time Under sn-Reductions . . 240 S. Ravikumar and D. Sivakumar On Self-Testing without the Generator Bottleneck . . . . . . . . . . . . . . . 248 M. Nielsen and A. Cheng Observing Behaviour Categorically . . . 263 P. Caspi and J.-C. Fernandez and A. Girault An Algorithm for Reducing Binary Branchings . . . . . . . . . . . . . . . 279 M. Boreale and L. Trevisan On the Complexity of Bisimilarity for Value-Passing Processes . . . . . . . . 294 A. Dsouza and B. Bloom On the Expressive Power of CCS . . . . . 309 M. Odersky Polarized Name Passing . . . . . . . . . 324 R. Balasubramanian and V. Raman Path Balance Heuristic for Self-Adjusting Binary Search Trees . . . 338 S. Rao Kosaraju Pattern Matching in Compressed Texts . . 349 S. R. Arikati and S. Chaudhuri and C. D. Zaroliagis All-Pairs Min-Cut in Sparse Networks . . 363 S. K. Biswas and S. Kannan Minimizing Space Usage in Evaluation of Expression Trees . . . . . . . . . . . . 377 H. Edelsbrunner Smooth Surfaces for Multi-Scale Shape Representation . . . . . . . . . . . . . 391 C. Levcopoulos and A. Lingas and C. Wang On Parallel Complexity of Planar Triangulations . . . . . . . . . . . . . 413 F. Follert and E. Schoemer and J. Sellen and M. Smid Computing a Largest Empty Anchored Cylinder, and Related Problems . . . . . 428 D. Krznaric and C. Levcopoulos Computing Hierarchies of Clusters from the Euclidean Minimum Spanning Tree in Linear Time . . . . . . . . . . . . . . 443 N. Klarlund and M. Mukund and M. Sohoni Determinizing Buechi Asynchronous Automata . . . . . . . . . . . . . . . . 456 E. Asarin and O. Maler Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy . . . . . . . 471 I. A. Browne and Z. Manna and H. B. Sipma Generalized Temporal Verification Diagrams . . . . . . . . . . . . . . . . 484 A. Bianco and L. De Alfaro Model Checking of Probabilistic and Nondeterministic Systems . . . . . . . . 499