Last update:
Fri Jan 21 10:04:41 MST 2022
E. Astesiano and G. Reggio Algebraic specification of concurrency 1 H.-D. Ehrich and M. Gogolla and A. Sernadas Objects and their specification . . . . 40 P. D. Mosses The use of sorts in algebraic specifications . . . . . . . . . . . . . 66 F. Orejas and M. Navarro and A. Sanchez Implementation and behavioural equivalence: a survey . . . . . . . . . 93 E. Astesiano and M. Cerioli Relationships between logical frameworks 126 G. Bernot and P. Le Gall Label algebras: a systematic use of terms . . . . . . . . . . . . . . . . . 144 M. Bettaz and M. Maouche How to specify non determinism and true concurrency with algebraic term nets . . 164 M. Breu Bounded implementation of algebraic specifications . . . . . . . . . . . . . 181 H. Ehrig and M. Baldamus and F. Orejas New concepts of amalgamation and extension for a general theory of specifications . . . . . . . . . . . . . 199 H. Ehrig and F. Parisi-Presicce Nonequivalence of categories for equational algebraic specifications . . 222 J. F. Fiadeiro and J. L. Costa and A. Sernadas and T. S. E. Maibaum Process semantics of temporal logic specification . . . . . . . . . . . . . 236 P. Gabriel The object-based specification language prod: concepts, syntax, and semantics 254 T. Knapik Specifications with observable formulae and observational satisfaction relation 271 G. Reggio Event logic for specifying abstract dynamic data types . . . . . . . . . . . 292 A. Salibra and G. Scollo A soft stairway to institutions . . . . 310 E. G. Wagner Generic classes in an object-based language . . . . . . . . . . . . . . . . 330
Karl Meinke Invited Talk: Algebraic Semantics of Rewriting Terms and Types . . . . . . . 1 Stefan Kahrs Context Rewriting . . . . . . . . . . . 21 Kristoffer Hogsbro Rose Explicit Cyclic Substitutions . . . . . 36 Richard Banach Simple Type Inference for Term Graph Rewriting Systems . . . . . . . . . . . 51 Valentin M. Antimirov and Anatoly I. Degtyarev Consistency and Semantics of Equational Definitions over Predefined Algebras . . 67 Aart Middeldorp Completeness of Combinations of Conditional Constructor Systems . . . . 82 Detlef Plump Collapsed Tree Rewriting: Completeness, Confluence, and Modularity . . . . . . . 97 Enno Ohlebusch Combinations of Simplifying Conditional Term Rewriting Systems . . . . . . . . . 113 Bernhard Gramlich Sufficient Conditions for Modular Termination of Conditional Term Rewriting Systems . . . . . . . . . . . 128 Carlos Loria-Saenz and Joachim Steinbach Termination of Combined (Rewrite and lambda-Calculus) Systems . . . . . . . . 143 Hans Zantema Type Removal in Term Rewriting . . . . . 148 Hans Zantema Termination of Term Rewriting by Interpretation . . . . . . . . . . . . . 155 Nachum Dershowitz and Subrata Mitra Path Orderings for Termination of Associative-Commutative Rewriting . . . 168 Peter Padawitz Invited Talk: Generic Induction Proofs 175 Claus-Peter Wirth and Bernhard Gramlich A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications . . . . . . . . . . . . . 198 Klaus Becker Semantics for Positive/Negative Conditional Rewrite Systems . . . . . . 213 Harald Ganzinger and Jurgen Stuber Inductive Theorem Proving by Consistency for First-Order Clauses . . . . . . . . 226 Francois Bronsard and Uday S. Reddy Reduction Techniques for First-Order Reasoning . . . . . . . . . . . . . . . 242 David Plaisted and Geoffrey Alexander and Chu Heng and Lee Shie-Jue Invited Talk: Conditional Term-Rewriting and First-Order Theorem Proving . . . . 257 Gregory Kucherov and Mohamed Tajine Decidability of Regularity and Related Properties of Ground Normal Form Languages . . . . . . . . . . . . . . . 272 Dieter Hofbauer and Maria Huber Computing Linearizations Using Test-Sets 287 Hantao Zhang Proving Group Isomorphism Theorems . . . 302 Nachum Dershowitz Semigroups Satisfying $x^{m + n} = x^n$ 307 Sergei Vorobyov Could Orders Be Captured By Term Rewriting Systems? . . . . . . . . . . . 315 Karel Stokkermans A Categorical Formulation for Critical-Pair/Completion Procedures . . 328 Wang Yabo and David Lorge Parnas Trace Rewriting Systems . . . . . . . . 343 Ulrich Fraus A Calculus for Conditional Inductive Theorem Proving . . . . . . . . . . . . 357 Zhang Hantao Implementing Contextual Rewriting . . . 363 Junnosuke Yamada Confluence of Terminating Membership Conditional TRS . . . . . . . . . . . . 378 Lars With Completeness and Confluence of Order-Sorted Term Rewriting . . . . . . 393 Charles Hoot Completion for Constrained Term Rewriting Systems . . . . . . . . . . . 408 Akihiko Takano Generalized Partial Computation using Disunification to Solve Constraints . . 424 Leszek Pacholski Invited Talk: Decidability of Finiteness Properties . . . . . . . . . . . . . . . 429 Harald Ganzinger and Uwe Waldmann Termination Proofs of Well-Moded Logic Programs Via Conditional Rewrite Systems 430 Staffan Bonnier and Jonas Wallgren Logic Programs with Polymorphic Types: A Condition for Static Type Checking . . . 438 Sergio Antoy Normalization by Leftmost Innermost Rewriting . . . . . . . . . . . . . . . 448 Paola Inverardi and Monica Nesi A Strategy to Deal with Divergent Rewrite Systems . . . . . . . . . . . . 458 Bertrand Delsart A New Approach to General E-Unification Based on Conditional Rewriting Systems 468 Alexander Bockmayr and Stefan Krischer and Andreas Werner An Optimal Narrowing Strategy for General Canonical Systems . . . . . . . 483 Fang Wenchang and Kao Jung-Hong Set-Of-Support Strategy for Higher-Order Logic . . . . . . . . . . . . . . . . . 498
A. Brandstadt On improved time bounds for permutation graph problems . . . . . . . . . . . . . 1 W.- L. Hsu A simple test for interval graphs . . . 11 S. Felsner Tolerance graphs and orders . . . . . . 17 K. Jansen On scheduling problems restricted to interval orders . . . . . . . . . . . . 27 H. L. Bodlaender and K. Jansen and G. J. Woeginger Scheduling with incompatible jobs . . . 37 K. Jansen and P. Scheffler Generalized coloring for tree-like graphs . . . . . . . . . . . . . . . . . 50 E. Dahlhaus Optimal (parallel) algorithms for the all-to-all vertices distance problem for certain graph classes . . . . . . . . . 60 J. Hromkovic Topology of parallel networks and computational complexity . . . . . . . . 70 W. Preilowski Parallel triangulation of nonconvex polytopes . . . . . . . . . . . . . . . 78 H. L. Bodlaender Kayles on special classes of graphs --- An application of Sprague-Grundy theory 90 J. Chen A linear time algorithm for isomorphism of graphs of bounded average genus . . . 103 D. Bhatia and T. Leighton and F. Makedon and C. H. Norton Improved algorithms for routing on two-dimensional grids . . . . . . . . . 114 E. Ihler Minimum rectilinear Steiner trees for intervals on two parallel lines . . . . 123 O. Gerstel and S. Zaks A new characterization of tree medians with applications to distributed algorithms . . . . . . . . . . . . . . . 135 E. Dinitz The 3-edge-components and a structural description of all 3-edge-cuts in a graph . . . . . . . . . . . . . . . . . 145 J. Chen and A. Kanevsky On assembly of 4-connected graphs . . . 158 B. Jamison and S. Olariu On the homogeneous decomposition of graphs . . . . . . . . . . . . . . . . . 170 S. K. Das and A. Mao Embeddings in recursive combinatorial networks . . . . . . . . . . . . . . . . 184 M. Thorup On shortcutting digraphs . . . . . . . . 205 A. Cournier and M. Habib An efficient algorithm to recognize prime undirected graphs . . . . . . . . 212 S. Felsner and D. Wagner On the complexity of partial order properties . . . . . . . . . . . . . . . 225 M. Mosbah Probabilistic graph grammars . . . . . . 236 F. Parisi-Presicce Single vs. double pushout derivations of graphs . . . . . . . . . . . . . . . . . 248 G. Kant Hexagonal grid drawings . . . . . . . . 263 M. Erwig Graph algorithms = iteration + data structures? The structure of graph algorithms and a corresponding style of programming . . . . . . . . . . . . . . 277 P. Alimonti and E. Feuerstein Petri nets, hypergraphs and conflicts 293 J. Gergov and C. Meinel Analysis and manipulation of Boolean functions in terms of decision graphs 310 U.-M. O'Reilly and N. Santoro The expressiveness of silence: Tight bounds for synchronous communication of information using bits and silence . . . 321 I. Litovsky and Y. Metivier and W. Zielonka The power and the limitations of local computations on graphs . . . . . . . . . 333
Carlo Blundo and Alfredo De Santis and Douglas R. Stinson and Ugo Vaccaro Graph Decompositions and Secret Sharing Schemes . . . . . . . . . . . . . . . . 1 Yair Frankel and Yvo Desmedt Classification of Ideal Homomorphic Threshold Schemes over Finite Abelian Groups (Extended Abstract) . . . . . . . 25 Thierry Baritaud and Henri Gilbert and Marc Girault F.F.T. Hashing Is Not Collision-Free . . 35--44 Claus P. Schnorr FFT-Hash II, Efficient Cryptographic Hashing . . . . . . . . . . . . . . . . 45--54 Xuejia Lai and James L. Massey Hash Functions Based on Block Ciphers 55--70 Thomas A. Berson Differential cryptanalysis $ \bmod 2^{32} $ with applications to MD5 . . . 71
M. Matsui Linear cryptanalysis method for DES cipher . . . . . . . . . . . . . . . . . 386--397
Mitsuru Matsui and Atsuhiro Yamagishi A new method for known plaintext attack of FEAL cipher . . . . . . . . . . . . . 81 Kaisa Nyberg On the Construction of Highly Nonlinear Permutations . . . . . . . . . . . . . . 92 Ralph Wernsdorf The one-round functions of the DES generate the alternating group . . . . . 99 Jovan Dj. Golic Correlation via linear sequential circuit approximation of combiners with memory . . . . . . . . . . . . . . . . . 113 Miodrag J. Mihaljevic and Jovan Dj. Golic Convergence of a Bayesian iterative error-correction procedure on a noisy shift register sequence . . . . . . . . 124 Luke O'Connor and Tim Snider Suffix Trees and String Complexity . . . 138 Birgit Pfitzmann and Michael Waidner Attacks on protocols for server-aided RSA computation . . . . . . . . . . . . 153 Greg Harper and Alfred Menezes and Scott A. Vanstone Public-Key Cryptosystems with Very Small Key Lengths . . . . . . . . . . . . . . 163 Jörg Sauerbrey and Andreas Dietel Resource requirements for the application of addition chains in modulo exponentiation . . . . . . . . . . . . . 174 Brandon Dixon and Arjen K. Lenstra Massively Parallel Elliptic Curve Factoring . . . . . . . . . . . . . . . 183 Anonymous Panel Report . . . . . . . . . . . . . . 194 Yvo Desmedt and Peter Landrock and Arjen K. Lenstra and Kevin S. McCurley and Andrew M. Odlyzko and Rainer A. Rueppel and Miles E. Smid Trapdoor Primes and Moduli (Panel Report) . . . . . . . . . . . . . . . . 194 Ernest F. Brickell and Daniel M. Gordon and Kevin S. McCurley and David B. Wilson Fast Exponentiation with Precomputation (Extended Abstract) . . . . . . . . . . 200--207 Michael J. Beller and Yacov Yacobi Batch Diffie--Hellman key agreement systems and their application to portable communications . . . . . . . . 208 Keiichi Iwamura and Tsutomu Matsumoto and Hideki Imai High-Speed Implementation Methods for RSA Scheme . . . . . . . . . . . . . . . 221 Ueli M. Maurer A simplified and generalized treatment of Luby-Rackoff pseudorandom permutation generators . . . . . . . . . . . . . . . 239 Jacques Patarin How to construct pseudorandom and super pseudorandom permutations from one single pseudorandom function . . . . . . 256 Babak Sadeghiyan and Józef P. Pieprzyk A Construction of Super Pseudorandom Permutations from a Single Pseudorandom Function . . . . . . . . . . . . . . . . 267 Donald Beaver How to break a ``secure'' oblivious transfer protocol . . . . . . . . . . . 285 Paul Barbaroux Uniform Results in Polynomial-Time Security . . . . . . . . . . . . . . . . 297 Donald Beaver and Stuart Haber Cryptographic protocols provably secure against dynamic adversaries . . . . . . 307 Kazuo Ohta and Tatsuaki Okamoto and Atsushi Fujioka Secure Bit Commitment Function against Divertibility . . . . . . . . . . . . . 324 Ivan Damgård Non-interactive Circuit Based Proofs and Non-interactive Perfect Zero-Knowledge with Preprocessing . . . . . . . . . . . 341 I. Damgard Non-interactive circuit based proofs and non-interactive perfect zero-knowledge with preprocessing . . . . . . . . . . . 341 Ingrid Biehl and Johannes A. Buchmann and Bernd Meyer and Christian Thiel and Christoph Thiel Tools for Proving Zero Knowledge . . . . 356 Eug\`ene van Heyst and Torben Pryds Pedersen How to Make Efficient Fail-Stop Signatures . . . . . . . . . . . . . . . 366 Eug\`ene van Heyst and Torben Pryds Pedersen How to Make Efficient Fail-Stop Signatures . . . . . . . . . . . . . . . 366 Jan-Hendrik Evertse and Eug\`ene van Heyst Which new RSA signatures can be computed from RSA signatures, obtained in a specific interactive protocol? . . . . . 378 David Chaum and Torben Pryds Pedersen Transferred Cash Grows in Size . . . . . 390 Harald Niederreiter and Claus P. Schnorr Local Randomness in Candidate One-Way Functions . . . . . . . . . . . . . . . 408 Tatsuaki Okamoto and Kouichi Sakurai and Hiroki Shizuya How intractable is the discrete logarithm for a general finite group . . 420 Ueli M. Maurer Factoring with an Oracle . . . . . . . . 429 Rafi Heiman Secure Audio Teleconferencing: A Practical Solution . . . . . . . . . . . 437 Kenji Koyama Secure Conference Key Distribution Schemes for Conspiracy Attack . . . . . 449 Rafi Heiman A Note on Discrete Logarithms with Special Structure . . . . . . . . . . . 454 Ueli M. Maurer and Yacov Yacobi A remark on a non-interactive public-key distribution system . . . . . . . . . . 458 Lidong Chen and Ivan Damgård Security Bounds for Parallel Versions of Identification Protocols (Extended Abstract) . . . . . . . . . . . . . . . 461 Andrea Sgarro Information-theoretic bounds for authentication frauds . . . . . . . . . 467 Jovan Dj. Golic and Slobodan V. Petrovic A generalized correlation attack with a probabilistic constrained edit distance 472 Keiichi Iwamura and Tsutomu Matsumoto and Hideki Imai Systolic-Arrays for Modular Exponentiation Using Montgomery Method (Extended Abstract) . . . . . . . . . . 477 Gordon B. Agnew and R. C. Mullin and Scott A. Vanstone On the development of a fast elliptic curve cryptosystem . . . . . . . . . . . 482 David Naccache A Montgomery-suitable Fiat--Shamir-like authentication scheme . . . . . . . . . 488 Anonymous Author Index . . . . . . . . . . . . . . 493
Gerd Brewka and Jurgen Dix and Kurt Konolige A Tutorial on Nonmonotonic Reasoning . . 1 Naoki Abe On the Sample Complexity of Various Learning Strategies in the Probabilistic PAC Learning Paradigms . . . . . . . . . 89 Setsuo Arikawa and Takeshi Shinohara and Satoru Miyano and Ayumi Shinohara More About Learning Elementary Formal Systems . . . . . . . . . . . . . . . . 107 Hiroki Arimura and Takeshi Shinohara and Setsuko Otsuki A Polynomial Time Algorithm for Finding Finite Unions of Tree Pattern Languages 118 Janis Barzdins and Guntis Barzdins Towards Efficient Inductive Synthesis: Rapid Construction of Local Regularities 132 Ph. Besnard and E. Gregoire Deductive Generalization in a Default Logic Setting . . . . . . . . . . . . . 141 Stefan Brass Deduction with Supernormal Defaults . . 153 Robert Daley Multi-Agent Learning: Theoretical and Empirical Studies . . . . . . . . . . . 175 Marta Franova and Yves Kodratoff Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems . . . . . . . . . . . . . . 184 Rusins Freivalds and Efim B. Kinber and Rolf Wiehagen Dual Types of Hypotheses in Inductive Inference . . . . . . . . . . . . . . . 209 Gerhard Lakemeyer All I Know About Tweety . . . . . . . . 241 Steffer Lange and Thomas Zeugmann Monotonic Versus Nonmonotonic Language Learning . . . . . . . . . . . . . . . . 254 V. Wiktor Marek and Miroslaw Truszczynski Normal Form Results for Default Logic 270 Michael Mehl Retrieval in Case-Based Reasoning Using Preferred Subtheories . . . . . . . . . 284 Yuji Takada Interactive Synthesis of Process Flowcharts . . . . . . . . . . . . . . . 298 Juris Viksna Probabilistic Inference of Approximations . . . . . . . . . . . . . 323
L. M. Pereira and L. Caires and J. Alferes SLWV --- A Theorem Prover for Logic Programming . . . . . . . . . . . . . . 1 K. Satoh and N. Iwayama A Correct Goal-Directed Proof Procedure for a General Logic Program with Integrity Constraints . . . . . . . . . 24 P. M. Dung Declarative Semantics of Hypothetical Logic Programming with Negation as Failure . . . . . . . . . . . . . . . . 45 M. J. Ramirez and M. Falaschi Conditional Narrowing with Constructive Negation . . . . . . . . . . . . . . . . 59 E. Bertino and M. Martelli and D. Montesi CLP (AD) as a Deductive Database Language with Updates . . . . . . . . . 80 H. Ait-Kaci and A. Podelski Logic Programming with Functions over Order-Sorted Feature Terms . . . . . . . 100 H. Boley A Direct Semantic Characterization of RELFUN . . . . . . . . . . . . . . . . . 120 A. Dovier and E. G. Omodeo and E. Pontelli and G. Rossi Embedding Finite Sets in a Logic Programming Language . . . . . . . . . . 150 L. Giordano and A. Martelli A Modal Framework for Structured Logic Programs . . . . . . . . . . . . . . . . 168 A. Brogi and F. Turini Metalogic for State Oriented Programming 187 M. Bugliesi On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction . . . . . . . . . . . . . . 205 A. Porto and P. Rosado The AbstrAct Scheme for Concurrent Programming . . . . . . . . . . . . . . 216 D. Miller The pi-Calculus as a Theory in Linear Logic: Preliminary Results . . . . . . . 242 S. Keronen Natural Deduction Proof Theory for Logic Programming . . . . . . . . . . . . . . 265 U. S. Reddy A Typed Foundation for Directional Logic Programming . . . . . . . . . . . . . . 282 M. Meier and J. Schimpf An Architecture for Prolog Extensions 319 E. Denti and E. Lamma and P. Mello and A. Natali and A. Omicini Techniques for Implementing Contexts in Logic Programming . . . . . . . . . . . 339 K. Kwon and G. Nadathur and D. S. Wilson Implementing a Notion of Modules in the Logic Programming Language lambda Prolog 359 M. Aronsson Implementational Issues in GCLA: A-Sufficiency and the Definiens Operation . . . . . . . . . . . . . . . 394
Y. Akama On Mints' reduction for ccc-calculus . . 1 Th. Altenkirch A formalization of the strong normalization proof for system F in LEGO 13 S. van Bakel Partial intersection type assignment in applicative term rewriting systems . . . 29 F. Barbanera and S. Berardi Extracting constructive content from classical logic via control-like reductions . . . . . . . . . . . . . . . 45 F. Barbanera and M. Fernandez Combining first and higher order rewrite systems with type assignment systems . . 60 N. Benton and G. Bierman and V. de Paiva and M. Hyland A term calculus for intuitionistic linear logic . . . . . . . . . . . . . . 75 U. Berger Program extraction from normalization proofs . . . . . . . . . . . . . . . . . 91 G. Castagna and G. Ghelli and G. Longo A semantics for lambda &-early: a calculus with overloading and early binding . . . . . . . . . . . . . . . . 107 P. Di Gianantonio and F. Honsell An abstract notion of application . . . 124 G. Dowek The undecidability of typability in the lambda-pi-calculus . . . . . . . . . . . 139 G. Ghelli Recursive types are not conservative over Flsim . . . . . . . . . . . . . . . 146 Ph. de Groote The conservation theorem revisited . . . 163 J. M. E. Hyland and C.-H. L. Ong Modified realizability toposes and strong normalization proofs . . . . . . 179 B. Jacobs Semantics of lambda-I and of other substructure lambda calculi . . . . . . 195 B. Jacobs and T. Melham Translating dependent type theory into higher order logic . . . . . . . . . . . 209 A. Jung and A. Stoughton Studying the fully abstract model of PCF within its continuous function model . . 230 A. Jung and J. Tiuryn A new characterization of lambda definability . . . . . . . . . . . . . . 245 H. Leiß Combining recursive and dynamic types 258 D. Leivant and J.-Y. Marion Lambda calculus characterizations of poly-time . . . . . . . . . . . . . . . 274 J. McKinna and R. Pollack Pure type systems formalized . . . . . . 289 T. Nipkow Orthogonal higher-order rewrite systems are confluent . . . . . . . . . . . . . 306 D. F. Otth Monotonic versus antimonotonic exponentiation . . . . . . . . . . . . . 318 Chr. Paulin-Mohring Inductive definitions in the system Coq; rules and properties . . . . . . . . . . 328 B. C. Pierce Intersection types and bounded polymorphism . . . . . . . . . . . . . . 346 G. Plotkin and M. Abadi A logic for parametric polymorphism . . 361 K. Sieber Call-by-value and nondeterminism . . . . 376 J. Springintveld Lower and upper bounds for reductions of types in lambda omega and lambda P . . . 391 M. Takahashi lambda-calculi with conditional rules 406 P. Urzyczyn Type reconstruction in $ {F}_\omega $ is undecidable . . . . . . . . . . . . . . 418
I. Castellani Causal and distributed semantics for concurrent processes . . . . . . . . . . 1 Anonymous The alternation hierarchy for sublogarithmic space: an exciting race to STACS'93 . . . . . . . . . . . . . . 2 B. von Braunmuhl Alternation for two-way machines with sublogarithmic space . . . . . . . . . . 5 M. Liskiewicz and R. Reischuk Separating the lower levels of the sublogarithmic space hierarchy . . . . . 16 J. Kobler Locating P/poly optimally in the extended low hierarchy . . . . . . . . . 28 J. H. Lutz and E. Mayordomo Measure, stochasticity, and the density of hard languages . . . . . . . . . . . 38 P. Devienne and P. Lebegue and J.-C. Routier Halting problem of one binary Horn clause is undecidable . . . . . . . . . 48 Z. Chaochen and M. R. Hansen and P. Sestoft Decidability and undecidability results for duration calculus . . . . . . . . . 58 P. de Groote Defining lambda-typed lambda-calculi by axiomatizing the typing relation . . . . 69 T. Eiter and G. Gottlob The complexity of logic-based abduction 70 T. Kloks and D. Kratsch Treewidth of chordal bipartite graphs 80 U. Huckenbeck On paths in networks with valves . . . . 90 S. Sunder and X. He Scheduling interval ordered tasks in parallel . . . . . . . . . . . . . . . . 100 A. Pietracaprina and F. P. Preparata An $ O(\sqrt n) $-worst-case-time solution to the granularity problem . . 110 J. Desel and W. Reisig The synthesis problem of Petri nets . . 120 E. Best and R. Devillers and J. Esparza General refinement and recursion operators for the Petri box calculus . . 130 M. P. Bonacina and J. Hsiang On fairness in distributed automated deduction . . . . . . . . . . . . . . . 141 E. W. Mayr and R. Werchner Divide-and-conquer algorithms on the hypercube . . . . . . . . . . . . . . . 153 E. Allender and J. Balcazar and N. Immerman A first-order isomorphism theorem . . . 163 H. Buhrman and A. Hoene and L. Torenvliet Splittings, robustness and structure of complete sets . . . . . . . . . . . . . 175 L. A. Hemachandra and S. K. Jha Defying upward and downward separation 185 A. Hoene and A. Nickelsen Counting, selecting, and sorting by query-bounded machines . . . . . . . . . 196 M. Jantzen and H. Petersen Cancellation in context-free languages: enrichment by reduction . . . . . . . . 206 J. Cassaigne Counting overlap-free binary words . . . 216 P. Narbel The limit set of recognizable substitution systems . . . . . . . . . . 226 D. Krob and P. Lalonde Partially commutative Lyndon words . . . 237 B. Monien and R. Feldmann and R. Klasing and R. Luling Parallel architectures: design and efficient use . . . . . . . . . . . . . 247 M. Formann Weighted closest pairs . . . . . . . . . 270 S. Schuierer Rectilinear path queries in a simple rectilinear polygon . . . . . . . . . . 282 A. Czumaj Parallel algorithm for the matrix chain product and the optimal triangulation problems . . . . . . . . . . . . . . . . 294 A. Dessmark and A. Lingas and A. Maheshwari Multi-list ranking: complexity and applications . . . . . . . . . . . . . . 306 L. Kucera and K. Mehlhorn and B. Preis and E. Schwarzenecker Exact algorithms for a geometric packing problem . . . . . . . . . . . . . . . . 317 O. Maler A decomposition theorem for probabilistic transition systems . . . . 323 R. Montalbano Local automata and completion . . . . . 333 K. Culik and S. Dube Efficient compression of wavelet coefficients for smooth and fractal-like data . . . . . . . . . . . . . . . . . . 343 O. H. Ibarra and T. Jiang and N. Tran and H. Wang On the equivalence of two-way pushdown automata and counter machines over bounded languages . . . . . . . . . . . 354 M. Cosnard and M. Garzon and P. Koiran Computability properties of low-dimensional dynamical systems . . . 365 K. A. Abrahamson and R. G. Downey and M. R. Fellows Fixed-parameter intractability II . . . 374 F. E. Fich and R. Impagliazzo and B. Kapron and V. King and M. Kutylowski Limits on the power of parallel random access machines with weak forms of write conflict resolution . . . . . . . . . . 386 S. Fenner and S. Ogiwara and M. Homer and A. L. Selman On using oracles that compute values . . 398 R. Gengler Multicounter automata with sublogarithmic reversal bounds . . . . . 408 A. C. Uselton Structured operational semantics for concurrency and hierarchy . . . . . . . 418 H. Hungar The complexity of verifying functional programs . . . . . . . . . . . . . . . . 428 P. J. A. Lentfert and S. D. Swierstra Towards the formal design of self-stabilizing distributed algorithms 440 W. Penczek Axiomatizations of temporal logics on trace systems . . . . . . . . . . . . . 452 K. Lurwer-Bruggemeier and F. Meyer auf der Heide Capabilities and complexity of computations with integer division . . . 463 R. Niedermeier and P. Rossmanith Extended locally definable acceptance types . . . . . . . . . . . . . . . . . 473 S. Fenner and L. Fortnow and L. Li Gap-definability as a closure property 484 C. Choffrut and L. Guerra On the logical definability of some rational trace languages . . . . . . . . 494 R. Gilleron and S. Tison and M. Tommasi Solving systems of set constraints using tree automata . . . . . . . . . . . . . 505 D. Lugiez and J. L. Moysset Complement problems and tree automata in AC-like theories . . . . . . . . . . . . 515 L. Babai Transparent (holographic) proofs . . . . 525 Z.-L. Zhang and D. A. Mix Barrington and J. Tarui Computing symmetric functions with AND/OR circuits and a single MAJORITY gate . . . . . . . . . . . . . . . . . . 535 A. Maciel and D. Therien Threshold circuits for iterated multiplication: using $ {AC}^O $ for free . . . . . . . . . . . . . . . . . . 545 M. Beaudry and P. McKenzie and P. Peladeau Circuits with monoidal gates . . . . . . 555 S. Istrail and D. Zivkovic A non-probabilistic switching lemma for the Sipser function . . . . . . . . . . 566 J. Gergov and C. Meinel Frontiers of feasible and probabilistic feasible Boolean manipulation with branching programs . . . . . . . . . . . 576 O. Maler and L. Staiger On syntactic congruences for omega-languages . . . . . . . . . . . . 586 S. Varricchio A polynomial time algorithm for the equivalence of two morphisms on omega-regular languages . . . . . . . . 595 T. Wilke Locally threshold testable languages of infinite words . . . . . . . . . . . . . 607 V. Diekert and A. Muscholl Deterministic asynchronous automata for infinite traces . . . . . . . . . . . . 617 L. Staiger Recursive automata on infinite words . . 629 S. Sairam and J. S. Vitter and R. Tamassia A complexity theoretic approach to incremental computation . . . . . . . . 640 R. Reischuk and C. Schindelhauer Precise average case complexity . . . . 650 P. B. Miltersen The bit probe complexity measure revisited . . . . . . . . . . . . . . . 662 G. Baliga and J. Case and S. Jain Language learning with some negative information . . . . . . . . . . . . . . 672 S. Lange and T. Zeugmann Language learning with a bounded number of mind changes . . . . . . . . . . . . 682 C. Blundo and A. De Santis and U. Vaccaro Efficient sharing of many secrets . . . 692 R. Drexler and W. Reif and G. Schellhorn and K. Stenzel and W. Stephan and A. Wolpers The KIV system --- a tool for formal program development . . . . . . . . . . 704 F. Hofting and E. Wanke and A. Balmosan and C. Bergmann 1st Grade --- a system for implementation, testing and animation of graph algorithms . . . . . . . . . . . . 706 T. Kaufl The program verifier Tatzelwurm . . . . 708 S. Naher LEDA --- a library of efficient data types and algorithms . . . . . . . . . . 710
R. C. Backhouse and J. P. H. W. Van den Eijnde and A. J. M. Van Gasteren Calculating path algorithms . . . . . . 3--20 P. H. B. Gardiner and C. E. Martin and O. De Moor An algebraic construction of predicate transformers . . . . . . . . . . . . . . 21--44 H. P. Hofstee Distributing a class of sequential programs . . . . . . . . . . . . . . . . 45--66 P. F. Hoogendijk and R. C. Backhouse Relational programming laws in the tree, list, bag, set hierarchy . . . . . . . . 67--106 G. Jones and M. Sheeran Designing arithmetic circuits by refinement in Ruby . . . . . . . . . . . 107--136 J. J. Lukkien Operational semantics and generalized weakest preconditions . . . . . . . . . 137--156 B. Moeller and M. Russling Shorter paths to graph algorithms . . . 157--180
D. M. Gabbay How to Construct a Logic for Your Application . . . . . . . . . . . . . . 1 Peter Baumgartner A Model Elimination Calculus with Built-in Theories . . . . . . . . . . . 30 Christoph Weidenbach A New Sorted Logic . . . . . . . . . . . 43 Huang Xiaorong An Explanatory Framework for Human Theorem Proving . . . . . . . . . . . . 55 Joachim Posegga and Bertram Ludascher Towards First-Order Deduction Based on Shannon Graphs . . . . . . . . . . . . . 67 Reinhard Bachmann and Thomas Malsch and Susanne Ziegler Success and Failure of Expert Systems in Different Fields of Industrial Application . . . . . . . . . . . . . . 77 Marc Linster Viewing Knowledge Engineering as a Symbiosis of ``Modeling to Make Sense'' and ``Modeling to Implement Systems'' 87 Sonja Branskat and Marc Linster Cases as a Basis for Knowledge Acquisition in the Pre-Formal Phases of Knowledge Engineering . . . . . . . . . 100 Carl-Helmut Coulon and Frank van Harmelen and Werner Karbach and Angi Vob Controlling Generate and Test in any Time . . . . . . . . . . . . . . . . . . 110 Achim Weigel and Rainer Bleisinger Efficient Computation of Solutions for Contradictory Time Interval Networks . . 122 Franz Baader and Philipp Hanschke Extensions of Concept Languages for a Mechanical Engineering Application . . . 132 Philipp Hanschke and Knut Hinkelmann Combining Terminological and Rule-Based Reasoning for Abstraction Processes . . 144 Knut Hinkelmann Forward Logic Evaluation: Compiling a Partially Evaluated Meta-Interpreter into the WAM . . . . . . . . . . . . . . 156 Erich Prem and Markus Mackinger and Georg Dorffner and G. Porenta and H. Sochor Concept Support as a Method for Programming Neural Networks with Symbolic Knowledge . . . . . . . . . . . 166 Jurgen Herrmann and Renate Beckmann A Heuristic Inductive Generalization Method and Its Application to VLSI-Design . . . . . . . . . . . . . . 176 Ralph Bergmann Learning Plan Abstractions . . . . . . . 187 Alexander Linden On Discontinuous Q-Functions in Reinforcement Learning . . . . . . . . . 199 Karsten Poeck and Martin Tins An Intelligent Tutoring System for Classification Problem Solving . . . . . 210 Martin Schroder Knowledge-Based Processing of Medical Language: A Language Engineering Approach . . . . . . . . . . . . . . . . 221 Heike Kranzdorf and Ulrike Griefahn Text Planning in ITEX: A Hybrid Approach 235 Marion Schulz and Daniela Schmidt Yes/No Questions with Negation: Towards Integrating Semantics and Pragmatics . . 247 Esther Konig An Efficient Decision Algorithm for Feature Logic . . . . . . . . . . . . . 255 Stefan Decker and Christoph Lingenfelder Universally Quantified Queries in Languages with Order-Sorted Logics . . . 267 Justus Meier A Semantic View of Explanation . . . . . 272 Dietmar Janetzko and Stefan Wess and Erica Melis Goal-Driven Similarity Assessment . . . 283 Jacques H. J. Lenting and Peter J. Braspenning Delegated Negotiation for Resource Re-Allocation . . . . . . . . . . . . . 299 Paul de Greef and Keith Clark and Frank McCabe Towards a Specification Language for Cooperation Methods . . . . . . . . . . 313 Martin Kramer Improving Operating System Usage . . . . 320 Matthias E. Kolln The Role of User Models for Conflicts in a Constraint-Based Model of Generation 334 Ernst Buchberger Criteria in Natural Language Generation: Minimal Criteria and Their Impacts . . . 347 Renate A. Schmidt Terminological Representation, Natural Language and Relation Algebra . . . . . 357 Andreas Lux and Michael Kolb Linking Humans and Intelligent Systems or: What Are User Agents Good for? . . . 372 H. Kindler and D. Densow and T. M. Fliedner An Advisor for the Management of the Acute Radiation Syndrome . . . . . . . . 386
Amnon Barak and Shai Guday and Richard G. Wheeler The MOSIX Distributed Operating System: Load Balancing for UNIX . . . . . . . . 1
G. Chehaibar Replacement of Open Interface Subnets and Stable State Transformation Equivalence . . . . . . . . . . . . . . 1 L. Cherkasova and R. R. Howell and L. E. Rosier Bounded Self-Stabilizing Petri Nets . . 26 J. M. Couvreur and S. Haddad and J. F. Peyre Generative Families of Positive Invariants in Coloured Nets Sub-Classes 51 R. David and H. Alla Autonomous and Timed Continuous Petri Ness . . . . . . . . . . . . . . . . . . 71 J. B. Evans The Devnet: a Petri Net for Discrete Event Simulation . . . . . . . . . . . . 91 J. Ezpeleta and J. M. Couvreur and M. Silva A New Technique for Finding a Generating Family of Siphons, Traps and ST-Components. Application to Colored Petri Nets . . . . . . . . . . . . . . . 126 R. Fehling A Concept of Hierarchical Petri Nets with Building Blocks . . . . . . . . . . 148 F. Feldbrugge Petri Net Tool Overview 1992 . . . . . . 169 A. Finkel The Minimal Coverability Graph for Petri Nets . . . . . . . . . . . . . . . . . . 210 R. Gorrieri and U. Montanari Distributed Implementation of CCS . . . 244 R. Gouet and F. Plo and M. San Miguel and B. Ycart Saturation Conditions for Stochastic Petri Nets . . . . . . . . . . . . . . . 267 S. Laftit and J. M. Proth and X. L. Xie Marking Optimization in Timed Event Graphs . . . . . . . . . . . . . . . . . 281 M. Lindqvist Parameterized Reachability Trees for Predicate/Transition Nets . . . . . . . 301 Y. Li and C. Murray Woodside Iterative Decomposition and Aggregation of Stochastic Marked Graph Petri Nets 325 G. De Michelis Constraints and Extensions in a Calculus of EN Systems . . . . . . . . . . . . . 350 E. Smith Comparability Orders and Measurement . . 371 Y. Souissi Deterministic Systems of Sequential Processes: a Class of Structured Petri Nets . . . . . . . . . . . . . . . . . . 406 A. Valmari Compositional State Space Generation . . 427
Anne Mulkers Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation . . . . . . . . . . . . . 1
Thomas H. Reiss Recognizing Planar Objects Using Invariant Image Features . . . . . . . . 1
G. S. Makanin On General Solution of Equations in a Free Semigroup . . . . . . . . . . . . . 1 C. Choffrut Conjugacy in Free Inverse Monoids . . . 6 F. Baader and K. U. Schulz General A- and AX-Unification via Optimized Combination Procedures . . . . 23 W. Charatonik and L. Pacholski Word Equations with Two Variables . . . 43 P. Dehornoy The Naming Problem for Left Distributivity . . . . . . . . . . . . . 57 P. Enjalbert and F. Clerin-Debart A Case of Termination for Associative Unification . . . . . . . . . . . . . . 79 H. Bennaceur and G. Plateau Theorem Proving by Combinatorial Optimization . . . . . . . . . . . . . . 90 P. Auer Solving String Equations with Constant Restrictions . . . . . . . . . . . . . . 103 H. Abdulrab LOP: Toward a New Implementation of Makanin's Algorithm . . . . . . . . . . 133 K. U. Schulz Word Unification and Transformation of Generalized Equations . . . . . . . . . 150 P. Auer Unification in the Combination of Disjoint Theories . . . . . . . . . . . 177 J. Neraud On the Subsets of Rank Two in a Free Monoid: A Fast Decision Algorithm . . . 187 E. Kounalis and D. Lugiez and L. Pottier A Solution of the Complement Problem in Associative-Commutative Theories . . . . 197
Leslie G. Valiant A Combining Mechanism for Parallel Computers . . . . . . . . . . . . . . . 1 Uzi Vishkin A Case for the PRAM As a Standard Programmer's Model . . . . . . . . . . . 11 Friedhelm Meyer Auf Der Heide Hashing Strategies for Simulating Shared Memory on Distributed Memory Machines 20--29 Arnold L. Rosenberg Better Parallel Architectures via Emulations . . . . . . . . . . . . . . . 30 Michel Cosnard and Pascal Koiran Relations between Models of Parallel Abstract Machines . . . . . . . . . . . 37 Franco P. Preparata Frontiers of Parallel Computing . . . . 47 Arno Formella and Werner Massonne and Wolfgang J. Paul Cost Effectiveness of Data Flow Machines and Vector Processors . . . . . . . . . 48 Charles E. Leiserson The Networks of the Connection Machine CM-5 . . . . . . . . . . . . . . . . . . 66 S. Lennart Johnsson Massively Parallel Computing: Data Distribution and Communication . . . . . 68 Burkhard Monien and Reinhard Luling and Falk Langhammer A Realizable Efficient Parallel Architecture . . . . . . . . . . . . . . 93 Larry Rudolph Hardware Support for Collective Communication Operations . . . . . . . . 110 Patrice Bertin and Didier Roncin and Jean Vuillemin Programmable Active Memories: A Performance Assessment . . . . . . . . . 119 Tom Leighton and Bruce Maggs The Role of Randomness in the Design of Interconnection Networks . . . . . . . . 131 Lawrence Snyder Chaos Router: Finally, a Practical Adaptive Router? . . . . . . . . . . . . 146 Sergio Felperin and Prabhakar Raghavan and Eli Upfal An Experimental Study of Wormhole Routing in Parallel Computers . . . . . 156 Fabrizio Luccio and Linda Pagli and Geppino Pucci Three non Conventional Paradigms of Parallel Computation . . . . . . . . . . 166 Marc Snir Scalable Parallel Computers and Scalable Parallel Codes: From Theory to Practice 176 Abhiram Ranade A Framework for Analyzing Locality and Portability Issues in Parallel Computing 185 Ernst W. Mayr and Ralph Werchner Optimal Implementation of General Divide-and-Conquer on the Hypercube and Related Networks . . . . . . . . . . . . 195 Fred S. Annexstein Parallel Implementations of Graph Embeddings . . . . . . . . . . . . . . . 207 Mohammad H. Heydari and I. Hal Sudborough On Sorting by Prefix Reversals and the Diameter of Pancake Networks . . . . . . 218
Anonymous Introduction . . . . . . . . . . . . . . 1 Anonymous Terminology . . . . . . . . . . . . . . 6 Anonymous Semantic Clash Resolution as Decision Procedure . . . . . . . . . . . . . . . 17 Anonymous Completeness of Ordering Refinements . . 60 Anonymous Semantic Tree Based Resolution Variants 93 Anonymous Deciding the Class K by an Ordering Refinement . . . . . . . . . . . . . . . 130 Anonymous A Resolution Based Method for Building Finite Models . . . . . . . . . . . . . 151 Anonymous Applications . . . . . . . . . . . . . . 180 Anonymous References . . . . . . . . . . . . . . . 198
Berthold Hoffmann and Bernd Krieg-Bruckner Program Development by Specification and Transformation. The PROSPECTRA Methodology, Language Family, and System 3
Heinrich Wansing The Logic of Information Structures . . 1--158
D. Dubois and H. Prade Possibilistic Abduction . . . . . . . . 3 C. Cayrol and V. Royer and C. Saurel Management of Preferences in Assumption-Based Reasoning . . . . . . . 13 P. Coupey Default Exclusion in a KL-ONE-Like Terminological Component . . . . . . . . 23 Y. Moinard Unifying Various Approaches to Default Logic . . . . . . . . . . . . . . . . . 33 J. Cussens and A. Hunter Using Maximum Entropy in a Defeasible Logic with Probabilistic Semantics . . . 43 N. Madani Legality in Inheritance Networks . . . . 53 M. Monserrat and F. Rossello and J. Torrens A Note on Information Systems Associated to Termal Algebras . . . . . . . . . . . 63 D. Ferney and A. Quilliot A Backward Chaining Resolution Process Involving Non-Monotonic Operators . . . 73 E. Trillas On Fuzzy Conditionals Generalising the Material Conditional . . . . . . . . . . 85 G. Tamburrini and S. Termini Integrating Resolution-Like Procedures with \Lukasiewicz Implication . . . . . 101 P. Krause and S. Ambler and J. Fox The Development of a ``Logic of Argumentation'' . . . . . . . . . . . . 109 T. Arnould and A. Ralescu From ``And'' to ``Or'' . . . . . . . . . 119 E. Eberbach and A. Trudel Representing Spatial and Temporal Uncertainty . . . . . . . . . . . . . . 129 R. V. Rodriguez and F. D. Anger An Analysis of the Temporal Relations of Intervals in Relativistic Space-Time . . 139 J. Casasnovas and J. J. Miro-Julia Accumulation and Inference over Finite-Generated Algebras for Mapping Approximations . . . . . . . . . . . . . 149 P. P. Bonissone and S. Ayub Similarity Measures for Case-Based Reasoning Systems . . . . . . . . . . . 161 A. Sutherland and R. Henery and R. Molina and C. C. Taylor and R. King Statistical Methods in Learning . . . . 173 J. Kacprzyk and C. Iwanski Learning from Erroneous Examples Using Fuzzy Logic and ``Textbook'' Knowledge 183 A. O. Arigoni and C. Furlanello and V. Maniezzo Incremental Learning of Roughly Represented Concepts . . . . . . . . . . 192 G. Nagib and W. Gharieb and Z. Binder Self-Organizing Qualitative Multimodel Control . . . . . . . . . . . . . . . . 199 F. Bordeaux and F. Forest and B. Grau MoHA, an Hybrid Learning Model: A Model Based on the Perception of the Environment by an Individual . . . . . . 209 G. Fiol and J. Miro-Nicolau and J. Miro-Julia A New Perspective in the Inductive Acquisition of Knowledge From Examples 219 I. Luque Ruiz and J. L. Cruz Soto and M. A. Gomez-Nieto Knowledge Representation Through Object in the Development of Expert System Chemical Synthesis and Reaction . . . . 229 R. R. Yager Hierarchical Representation of Fuzzy If-Then Rules . . . . . . . . . . . . . 239 A. M. Spilski-Petieau and D. Willaeys Approximate Reasoning in Expert Systems: Inference and Combination Tools . . . . 248 L. J. Kohout and W. Bandler Modes of Interval-Based Plausible Reasoning Viewed via the Checklist Paradigm . . . . . . . . . . . . . . . . 256 L. Cardona and J. Kohlas and P. A. Monney Rule-Based Systems with Unreliable Conditions . . . . . . . . . . . . . . . 265 J. Quevedo and C. Gilbert Oliveras and J. Aguilar-Martin Fuzzy Semantics in Expert Process Control . . . . . . . . . . . . . . . . 275 N. Rakoto-Ravalontsalama and A. Missier and J. S. Kikkert Qualitative Operators and Process Engineer Semantics of Uncertainty . . . 284 S. Sawadogo and A. K. Achaibou and F. Mora-Camino Facing Uncertainty in the Management of Large Irrigation Systems: Qualitative Approach . . . . . . . . . . . . . . . . 294 D. E. O'leary Semantic Ambiguity in Expert Systems: The Case of Deterministic Systems . . . 304 J. Casasnovas A Deduction Rule for the Approximated Knowledge of a Mapping . . . . . . . . . 314 G. Valiente Feruglio On Knowledge Base Redundancy Under Uncertain Reasoning . . . . . . . . . . 321 J. A. Aguilar-Crespo and E. De Pablo and X. Alaman A Fuzzy Logic Approach for Sensor Validation in Real Time Expert Systems 330 P. Y. Glorennec and C. Barret and M. Brunet Application of Neuro-Fuzzy Networks to the Identification and Control of Nonlinear Dynamical Systems . . . . . . 341 C. Hervas Martinez and E. J. Romero Soto and N. Garcia Pedrajas and R. Medina Carnicer Comparison Between Artificial Neural Networks and Classical Statistical Methods in Pattern Recognition . . . . . 351 S. Amghar and H. Paugam-Moisy and J. P. Royet Learning Methods for Odor Recognition Modeling . . . . . . . . . . . . . . . . 361
P. Poncelet and L. Lakhal Consistent Structural Updates for Object Database Design . . . . . . . . . . . . 1 C. A. Ewald and M. E. Orlowska A Procedural Approach to Schema Evolution . . . . . . . . . . . . . . . 22 Z. Bellahsene An Active Meta-Model for Knowledge Evolution in an Object-Oriented Database 39 C. Thieme and A. Siebes Schema Integration in Object-Oriented Databases . . . . . . . . . . . . . . . 54 P. Johannesson Schema Transformations as an Aid in View Integration . . . . . . . . . . . . . . 71 O. Perrin and N. Boudjlida Towards a Model for Persistent Data Integration . . . . . . . . . . . . . . 93 J. A. Gulla and G. Willumsen Using Explanations to Improve the Validation of Executable Models . . . . 118 V. Lalioti and P. Loucopoulos Visualisation for Validation . . . . . . 143 O. I. Lindland and J. Krogstie Validating Conceptual Models by Transformational Prototyping . . . . . . 165 S. Blazy and P. Facon Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs . . . . . . . . . . . . 184--198 C. B. Piprani and R. B. Morris A Multi-Model Approach for Deriving Requirements Specifications for a Mega-Project . . . . . . . . . . . . . . 199 M. Breu and G. Leonardi and B. Percie du Sert and L. Barengo and M. Pfeiffer and J.-C. Utter The BOS-Method Architecture: An Improved Structured Approach for the Development of Distributed Information Systems . . . 221 L. Chung Dealing with Security Requirements During the Development of Information Systems . . . . . . . . . . . . . . . . 234 E. Dubois and P. Du Bois and M. Petit Elicitating and Formalising Requirements for C.I.M Information Systems . . . . . 252 K. Pohl The Three Dimensions of Requirements Engineering . . . . . . . . . . . . . . 275 J. Brunet and C. Cauvet and D. Meddahi and F. Semmak Object-Oriented Analysis in Practice . . 293 A. L. Opdahl and G. Sindre Concepts for Real-World Modelling . . . 309 A. H. Seltveit An Abstraction-Based Rule Approach to Large-Scale Information Systems Development . . . . . . . . . . . . . . 328 R. Motschnig-Pitrik The Semantics of Parts Versus Aggregates in Data/Knowledge Modelling . . . . . . 352 C. Quer and A. Olive Object Interaction in Object-Oriented Deductive Conceptual Models . . . . . . 374 N. Edelweiss and J. P. M. de Oliveira and B. Pernici An Object-Oriented Temporal Model . . . 397 N. Kraiem and F. Gargouri and F. Boufares From Object-Oriented Design Towards Object-Oriented Programming . . . . . . 416 J. J. McCormack and T. A. Halpin and P. R. Ritson Automated Mapping of Conceptual Schemas to Relational Schemas . . . . . . . . . 432 E. Andonoff Normalization of Object-Oriented Conceptual Schemes . . . . . . . . . . . 449 N. Vlachantonis and R. Herzig and M. Gogolla and G. Denker and S. Conrad and H.-D. Ehrich Towards Reliable Information Systems: The KorSo Approach . . . . . . . . . . . 463 G. Spanoudakis and P. Constantopoulos Similarity for Analogical Software Reuse: A Conceptual Modelling Approach 483 V. De Antonellis and L. Vandoni Temporal Aspects in Reuse of Requirement Specifications . . . . . . . . . . . . . 504 A. Brockers and V. Gruhn Computer-Aided Verification of Software Process Model Properties . . . . . . . . 521 R. Croshere and R. Van de Riet and A. Blom An Animation Facility to Simulate an Information and Communication System . . 547 P. A. Palanque and R. Bastide and L. Dourte and C. Sibertin-Blanc Design of User-Driven Interfaces Using Petri Nets and Objects . . . . . . . . . 569 V. Prevelakis and D. Tsichritzis Perspectives on Software Development Environments . . . . . . . . . . . . . . 586 B. Wang and P. Hitchcock and T. Holden An Object-Oriented Database Approach for Supporting Hypertext . . . . . . . . . . 601 R. Puigjaner and A. Benzekri and S. Ayache and others Estimation Process of Performance Constraints During the Design of Real-Time and Embedded Systems . . . . . 629 M. Breu and S. Brinkkemper and M. Franckson and H. Habrias and T. Halpin and P. Loucopoulos Will IS Development Methods be Completely Incorporated in CASE Tools in the Future? . . . . . . . . . . . . . . 649
K. N. Leibovic Biophysics of Neural Computation (Invited Paper) . . . . . . . . . . . . 1 F. J. Corbacho and M. A. Arbib Integrated Learning in Rana Computatrix 12 A. Murciano and J. Zamora and M. Reviriego A Model for Centering Visual Stimuli Through Adaptive Value Learning . . . . 20 M. A. Andrade and F. Moran A Model for the Development of Neurons Selective to Visual Stimulus Size . . . 24 R. Moreno-Diaz and O. Bolivar Toledo An Invariant Representation Mechanism After Presynaptic Inhibition . . . . . . 30 J. V. Sanchez-Andres and B. Soria The Pancreatic B-Cell as a Voltage-Controlled Oscillator . . . . . 37 J. Hoekstra Approximation of the Solution of the Dendritic Cable Equation by a Small Series of Coupled Differential Equations 43 J. Ropero Pelaez A Neural Network Model Inspired in Global Appreciations About the Thalamic Reticular Nucleus and Cerebral Cortex Connectivity . . . . . . . . . . . . . . 49 J. Mira and A. E. Delgado and J. R. Alvarez and A. P. de Madrid and M. Santos Towards More Realistic Self Contained Models of Neurons: High-Order, Recurrence and Local Learning . . . . . 55 R. J. Scott McCulloch's Neurons Revisited . . . . . 63 N. Petkov and P. Kruizinga and T. Lourens Biologically Motivated Approach to Face Recognition . . . . . . . . . . . . . . 68 F. J. Vico and F. Sandoval and J. Almaraz Learning by Reinforcement: A Psychobiological Model . . . . . . . . . 78 I. Aleksander and H. Morton A Neural State Machine for Iconic Language Representation . . . . . . . . 84 J. Lopez-Moliner and J. M. Sopena Variable Binding Using Serial Order in Recurrent Neural Networks . . . . . . . 90 F. Castillo and J. Cabestany and J. M. Moreno Region of Influence (ROI) Networks. Model and Implementation . . . . . . . . 96 H. Huning A Node Splitting Algorithm that Reduces the Number of Connections in a Hamming Distance Classifying Network . . . . . . 102 F. J. Lopez Aligue and M. I. Acevedo Sotoca and M. A. Jaramillo Moran A High Order Neural Model . . . . . . . 108 P. Bofill and C. Torras Higher-Order Networks for the Optimization of Block Designs . . . . . 114 C. Jutten and P. Comon Neural Bayesian Classifier . . . . . . . 119 P. Gentric and H. C. A. M. Withagen Constructive Methods for a New Classifier Based on a Radial-Basis-Function Neural Network Accelerated by a Tree . . . . . . . . . 125 B. Lemarie Practical Realization of a Radial Basis Function Network for Handwritten Digit Recognition . . . . . . . . . . . . . . 131 C. Hubert Design of Fully and Partially Connected Random Neural Networks for Pattern Completion . . . . . . . . . . . . . . . 137 R. Alquezar and A. Sanfeliu Representation and Recognition of Regular Grammars by Means of Second-Order Recurrent Neural Networks 143 J. Santos and R. P. Otero Connectionist Models for Syllabic Recognition in the Time Domain . . . . . 149 D. Liu and A. N. Michel Sparsely Interconnected Artificial Neural Networks for Associative Memories 155 A. Arenas and C. J. Perez Vicente Dynamic Analysis of Networks of Neural Oscillators . . . . . . . . . . . . . . 161 A. N. Burkitt Optimised Attractor Neural Networks with External Inputs . . . . . . . . . . . . 167 K. Weigl and M. Berthod Non-Orthogonal Bases and Metric Tensors: An Application to Artificial Neural Networks . . . . . . . . . . . . . . . . 173 F. J. Marin and F. Sandoval Genetic Synthesis of Discrete-Time Recurrent Neural Network . . . . . . . . 179 J. J. Merelo and M. Paton and A. Canas and A. Prieto and F. Moran Optimization of a Competitive Learning Neural Network by Genetic Algorithms . . 185 P. A. Ligomenides Adaptive Models in Neural Networks . . . 193 C. Mannes Self-Organizing Grammar Induction Using a Neural Network Model . . . . . . . . . 198 G. Tambouratzis and T. J. Stonham The Role of Forgetting in Efficient Learning Strategies for Self-Organising Discriminator-Based Systems . . . . . . 204 M. A. Castano and F. Casacuberta and E. Vidal Simulation of Stochastic Regular Grammars Through Simple Recurrent Networks . . . . . . . . . . . . . . . . 210 M. Grana and A. D'Anjou and F. X. Albizuri and F. J. Torrealdea and M. C. Hernandez Local Stochastic Competition and Vector Quantization . . . . . . . . . . . . . . 216 J. M. Ramirez MHC --- An Evolutive Connectionist Model for Hybrid Training . . . . . . . . . . 223 N. N. Aizenberg and I. N. Aizenberg Fast-Convergence Learning Algorithms for Multi-Level and Binary Neurons and Solution of Some Image Processing Problems . . . . . . . . . . . . . . . . 230 K. Ito and M. Hamamoto and J. Kamruzzaman and Y. Kumagai Invariant Object Recognition Using Fahlman and Lebiere's Learning Algorithm 237 M. Hamamoto and K. Ito and J. Kamruzzaman and Y. Kumagai Realization of Surjective Correspondence in Artificial Neural Network Trained by Fahlman and Lebiere's Learning Algorithm 243 P. Slade and T. D. Gedeon Bimodal Distribution Removal . . . . . . 249 A. Guazzelli and D. Barone and E. C. de B. Carvalho Filho A Simplified Artmap Architecture for Real-Time Learning . . . . . . . . . . . 255 T. Langlois and S. Canu B-Learning: A Reinforcement Learning Algorithm, Comparison with Dynamic Programming . . . . . . . . . . . . . . 261 I. Cloete and J. Ludik Increased Complexity Training . . . . . 267 J. M. Moreno and F. Castillo and J. Cabestany Optimized Learning for Improving the Evolution of Piecewise Linear Separation Incremental Algorithms . . . . . . . . . 272 M. Pelillo and A. M. Fanelli A Method of Pruning Layered Feed-Forward Neural Networks . . . . . . . . . . . . 278 J. L. Crespo and E. Mora Tests of Different Regularization Terms in Small Networks . . . . . . . . . . . 284 H. Yin and N. M. Allinson On the Distribution of Feature Space in Self-Organising Mapping and Convergence Accelerating by a Kalman Algorithm . . . 291 P. Martin-Smith and F. J. Pelayo and A. Diaz and J. Ortega and A. Prieto A Learning Algorithm to Obtain Self-Organizing Maps Using Fixed Neighbourhood Kohonen Networks . . . . . 297 M. Cottrell and P. Letremy and E. Roy Analysing a Contingency Table with Kohonen Maps: A Factorial Correspondence Analysis . . . . . . . . . . . . . . . . 305 R. Der and T. Villmann Dynamics of Self-Organized Feature Mapping . . . . . . . . . . . . . . . . 312 C.-D. Wann and S. C. A. Thomopoulos Comparative Study of Self-Organizing Neural Networks . . . . . . . . . . . . 316 D. White and P. Ligomenides GANNet: A Genetic Algorithm for Optimizing Topology and Weights in Neural Network Design . . . . . . . . . 322 P. Demartines and J. Herault Vector Quantization and Projection Neural Network . . . . . . . . . . . . . 328 J.-C. Perez and E. Vidal Constructive Design of LVQ and DSM Classifiers . . . . . . . . . . . . . . 334 M. Verleysen and P. Thissen and J.-D. Legat Linear Vector Classification: An Improvement on LVQ Algorithms to Create Classes of Patterns . . . . . . . . . . 340 Z. Wang Non-Greedy Adaptive Vector Quantizers 346 P. C. Treleaven and P. V. Rocha Hybrid Programming Environments (Invited Paper) . . . . . . . . . . . . . . . . . 351 S. Dreiseitl and D. Wang Automatic Generation of C++ Code for Neural Network Simulation . . . . . . . 358 L. Fuentes and J. F. Aldana and J. M. Troya URANO: An Object-Oriented Artificial Neural Network Simulation Tool . . . . . 364 W. Beaudot and P. Palagi and J. Herault Realistic Simulation Tool for Early Visual Processing Including Space, Time and Colour Data . . . . . . . . . . . . 370 C. Burdorf Language Supported Storage and Reuse of Persistent Neural Network Objects . . . 376 J. C. Taylor and M. L. Recce and A. S. Mangat Flexible Operating Environment for Matrix Based Neurocomputers . . . . . . 382 E. Filippi and J. C. Lawson A Parallel Implementation of Kohonen's Self-Organizing Maps on the Smart Neurocomputer . . . . . . . . . . . . . 388 P. Wilke Simulation of Neural Networks in a Distributed Computing Environment Using NeuroGraph . . . . . . . . . . . . . . . 394 E. Alba and J. F. Aldana and J. M. Troya Full Automatic ANN Design: A Genetic Approach . . . . . . . . . . . . . . . . 399 D. Del Corso Hardware Implementations of Artificial Neural Networks (Invited Paper) . . . . 405 M. Chiaberge and D. Del Corso and F. Gregoretti and L. M. Reyneri A Neural Network Chip Using CPWM Modulation . . . . . . . . . . . . . . . 420 J. Carrabina and F. Lisa and V. Gaitan and L. Garrido and E. Valderrama Hardware Implementation of a Neural Network for High Energy Physics Application . . . . . . . . . . . . . . 426 J. Ortega and F. J. Pelayo and A. Prieto and B. Pino and C. G. Puntonet MapA: An Array Processor Architecture for Neural Networks . . . . . . . . . . 432 C. V. Regueiro and S. Barro and A. Yanez Limitation of Connectionism in MLP . . . 441 M. E. Nigri and P. C. Treleaven High Level Synthesis of Neural Network Chips . . . . . . . . . . . . . . . . . 448 B. G. Sumpter and R. E. Guenther and C. Halloy and C. Getino and D. W. Noid Neural Network Simulations on Massively Parallel Computers: Applications in Chemical Physics . . . . . . . . . . . . 454 D. Naylor and S. Jones A Model Based Approach to the Performance Analysis of Multi-Layer Networks Realised in Linear Systolic Arrays . . . . . . . . . . . . . . . . . 459 C. Christodoulou and G. Bugmann and T. G. Clarkson and J. G. Taylor The Temporal Noisy-Leaky Integrator Neuron with Additional Inhibitory Inputs 465 T. G. Clarkson and C. K. Ng Architectures for Self-Learning Neural Network Modules . . . . . . . . . . . . 471 M. M. B. R. Vellasco and P. C. Treleaven The Generic Neuron Architectural Framework for the Automatic Generation of ASICs . . . . . . . . . . . . . . . . 476 M. Pacheco and P. C. Treleaven A RISC Architecture to Support Neural Net Simulation . . . . . . . . . . . . . 482 S. Ruping and U. Ruckert and K. Goser Hardware Design for Self-Organizing Feature Maps with Binary Input Vectors 488 M. A. Lagunas and A. Perez-Neira and M. Najar and A. Pages The Kolmogorov Signal Processor (Invited Paper) . . . . . . . . . . . . . . . . . 494 G. Joya and F. Sandoval Projectivity Invariant Pattern Recognition with High-Order Neural Networks . . . . . . . . . . . . . . . . 513 F. J. Smieja Rejection of Incorrect Answers from a Neural Net Classifier . . . . . . . . . 519 C. J. Pantaleon-Prieto and A. R. Figueiras-Vidal Nonlinear Time Series Modeling by Competitive Segmentation of State Space 525 O. Adam and J.-L. Zarader and M. Milgram Identification and Prediction of Non-Linear Models with Recurrent Neural Network . . . . . . . . . . . . . . . . 531 M. J. Rodriguez and F. del Pozo and M. T. Arredondo Use of Unsupervised Neural Networks for Classification of Blood Pressure Time Series . . . . . . . . . . . . . . . . . 536 J. J. Fernandez-Rodriguez and A. Canas and E. Roca and F. J. Pelayo and J. Fernandez-Mena and A. Prieto Application of Artificial Neural Networks to Chest Image Classification 542 J. Tuya and E. Arias and L. Sanchez and J. A. Corrales Combination of Self-Organizing Maps and Multilayer Perceptrons for Speaker Independent Isolated Word Recognition 550 G. Yahiaoui and B. Borocco An Industrial Application of Neural Networks to Natural Textures Classification . . . . . . . . . . . . . 556 L. Garrido and V. Gaitan and M. Serra-Ricart and X. Calbet Use of a Layered Neural Nets as a Display Method for $N$-Dimensional Distributions . . . . . . . . . . . . . 563 Y. Lecourtier and B. Dorizzi and P. Sebire and A. Ennaji MLP Modular Versus YPREL Classifiers . . 569 J. Patinel and G. Leone and M. Milgram How Many Hidden Neurons are Needed to Recognize a Symmetrical Pattern? . . . . 575 S. Cavalieri and A. Di Stefano and O. Mirabella Hopfield Neural Network for Routing . . 583 A. Garcia-Lopera and A. Diaz Estrella and F. Garcia Oller and F. Sandoval Neural Network Routing Controller for Communication Parallel Multistage Interconnection Networks . . . . . . . . 593 J. Minot Adaptive Routing Using Cellular Automata 599 J. Cid-Sueiro and L. Weruaga and A. R. Figueiras-Vidal Optimal Blind Equalization of Gaussian Channels . . . . . . . . . . . . . . . . 605 G. Cammarata and S. Cavalieri and A. Fichera and L. Marletta Noise Prediction in Urban Traffic by a Neural Approach . . . . . . . . . . . . 611 H. Sako and H. J. Avi-Itzhak A Connectionist Approach to the Correspondence Problem in Computer Vision . . . . . . . . . . . . . . . . . 620 R. Natowicz and R. Sokol Self-Organizing Feature Maps for Image Segmentation . . . . . . . . . . . . . . 626 B. Freisleben and J.-H. Greve and J. Lober Recognition of Fractal Images Using a Neural Network . . . . . . . . . . . . . 632 F. Lisa and J. Carrabina and C. Perez-Vicente and N. Avellana and E. Valderrama Feed Forward Network for Vehicle License Character Recognition . . . . . . . . . 638 M. Miyauchi and M. Seki and A. Watanabe and A. Miyauchi Interpretation of Optical Flow Through Complex Neural Network . . . . . . . . . 645 D. Cabello and M. G. Penedo and S. Barro and J. M. Pardo and J. Heras CT Image Segmentation by Self-Organizing Learning . . . . . . . . . . . . . . . . 651 A. Mosquera and D. Cabello and M. J. Carreira and M. G. Penedo Texture Image Segmentation Using a Modified Hopfield Network . . . . . . . 657 B. Freisleben and M. Mengel Image Compression with Self-Organizing Networks . . . . . . . . . . . . . . . . 664 M. Bahrami Neural Networks as Direct Adaptive Controllers . . . . . . . . . . . . . . 670 C. Barret and M. Houkari and P. Meyne and J. M. Martinez and A. Garassino and P. Tormo A Neural Adaptive Controller for a Turbofan Exhaust Nozzle . . . . . . . . 676 A. Bulsari and B. Saxen and H. Saxen Feed-Forward Neural Networks for Bioreactor Control . . . . . . . . . . . 682 L. Borland and H. Haken Learning Networks for Process Identification and Associative Action 688 J. R. Pimentel and D. Gachet and L. Moreno and M. A. Salichs On-Line Performance Enhancement of a Behavioral Neural Network Controller . . 694 R. P. Palmer and P. A. Rounce An Architecture for Implementing Control and Signal Processing Neural Networks 702 J. Mrsic-Flogel Planlite: Adaptive Planning Using Weightless Systems . . . . . . . . . . . 708 S. Margarita and A. Beltratti Stock Prices and Volume in an Artificial Adaptive Stock Market . . . . . . . . . 714 L. J. de Miguel and E. Revilla and J. M. Rodriguez and J. M. Cano Application of the Fuzzy Artmap Neural Network Architecture to Bank Failure Predictions . . . . . . . . . . . . . . 720 F. Ros and A. Brons and F. Sevila and G. Rabatel and C. Touzet Combination of Neural Network and Statistical Methods for Sensory Evaluation of Biological Products: On-Line Beauty Selection of Flowers . . 726 F. Crestani An Adaptive Information Retrieval System Based on Neural Networks . . . . . . . . 732 P. Clochon and D. Clarencon and R. Caterini and V. Roman Software Pattern EEG Recognition After a Wavelet Transform by a Neural Network 738
F. L. Bookstein and W. D. K. Green A Feature Space for Derivatives of Deformations . . . . . . . . . . . . . . 1 C. Nastar and N. Ayache Non-Rigid Motion Analysis in Medical Images: a Physically Based Approach . . 17 T. F. Cootes and A. Hill and C. J. Taylor and J. Haslam The Use of Active Shape Models for Locating Structures in Medical Images 33 M. Worring and A. W. M. Smeulders and L. H. Staib and J. S. Duncan Parameterized Feasible Boundaries in Gradient Vector Fields . . . . . . . . . 48 B. C. Vemuri and A. Radisavljevic and C. M. Leonard Multi-Resolution Stochastic $3$D Shape Models for Image Segmentation . . . . . 62 B. M. ter Haar Romeny and L. M. J. Florack and A. H. Salden and M. A. Viergever Higher Order Differential Structure of Images . . . . . . . . . . . . . . . . . 77 G. Gerig and Th. Koller and G. Szekely and Ch. Brechbuhler and O. Kubler Symbolic Description of $3$-D Structures Applied to Cerebral Vessel Tree Obtained from MR Angiography Volume Data . . . . 94 B. S. Morse and S. M. Pizer and A. Liu Multiscale Medial Analysis of Medical Images . . . . . . . . . . . . . . . . . 112 H. D. Tagare and F. Vos and C. C. Jaffe and J. S. Duncan Arrangement: A Spatial Relation Comparing Part Embeddings and Its Use in Medical Image Comparisons . . . . . . . 132 R. T. Whitaker Characterizing First and Second Order Patches Using Geometry-Limited Diffusion 149 R. Schubert and K. H. Hohne and A. Pommert and M. Riemer and Th. Schiemann and U. Tiede Spatial Knowledge Representation for Visualization of Human Anatomy and Function . . . . . . . . . . . . . . . . 168 D. L. G. Hill and D. J. Hawkes and N. Harrison and C. F. Ruff A Strategy for Automated Multimodality Image Registration Incorporating Anatomical Knowledge and Imager Characteristics . . . . . . . . . . . . 182 G. P. Robinson and A. C. F. Colchester and L. D. Griffin Model-Based Recognition of Anatomical Objects from Medical Images . . . . . . 197 S. Haring and M. A. Viergever and J. N. Kok A Multiscale Approach to Image Segmentation Using Kohonen Networks . . 212 A. J. Worth and D. N. Kennedy Segmentation of Magnetic Resonance Brain Images Using Analog Constraint Satisfaction Neural Networks . . . . . . 225 K. Paulson and W. Lionheart and M. Pidcock Fast, Non-Linear Inversion for Electrical Impedance Tomography . . . . 244 S. R. Arridge and M. Schweiger Inverse Methods for Optical Tomography 259 Y. Cao and D. N. Levin Feature-Guided Acquisition and Reconstruction of MR Images . . . . . . 278 W. E. Smith and J. K. Riek and A. Murat Tekalp Reconstruction of a Three-Dimensional Volume from a Motion-Corrupted Two-Dimensional Data Set in Magnetic Resonance Imaging . . . . . . . . . . . 293 V. E. Johnson A Framework for Incorporating Structural Prior Information into the Estimation of Medical Images . . . . . . . . . . . . . 307 G. Gindi and A. Rangarajan and M. Lee and P. J. Hong and I. G. Zubal Bayesian Reconstruction for Emission Tomography via Deterministic Annealing 322 X. Pan and C.-T. Chen and J. N. Aarsvold and W. H. Wong Analytical Considerations of Photon Attenuation and System Response Function in SPECT Reconstruction . . . . . . . . 339 Z. Wu MAP Image Reconstruction Using Wavelet Decomposition . . . . . . . . . . . . . 354 J. A. Fessler Tomographic Reconstruction Using Information-Weighted Spline Smoothing 372 C. Wu and M. N. Wernick and C.-T. Chen A $3$-D Filtered-Backprojection Reconstruction Algorithm for Combined Parallel- and Cone-Beam SPECT Data . . . 387 H. Benali and I. Buvat and F. Frouin and J. P. Bazin and R. Di Paola Foundations of Factor Analysis of Medical Image Sequences: A Unified Approach and Some Practical Implications 401 M. Samal and M. Karny and D. Zahalka Bayesian Identification of a Physiological Model in Dynamic Scintigraphic Data . . . . . . . . . . . 422 K. Shields and D. C. Barber and S. B. Sherriff Image Registration for the Investigation of Atherosclerotic Plaque Movement . . . 438 T. S. Yoo and J. M. Coggins Using Statistical Pattern Recognition Techniques to Control Variable Conductance Diffusion . . . . . . . . . 459 N. Karssemeijer Adaptive Noise Equalization and Image Analysis in Mammography . . . . . . . . 472 D. Vandermeulen and R. Verbeeck and L. Berben and P. Suetens and G. Marchal Continuous Voxel Classification by Stochastic Relaxation: Theory and Application to MR Imaging and MR Angiography . . . . . . . . . . . . . . 487 R. F. Wagner and D. G. Brown and J.-P. Guedon and K. J. Myers and K. A. Wear Multivariate Gaussian Pattern Classification: Effects of Finite Sample Size and the Addition of Correlated or Noisy Features on Summary Measures of Goodness . . . . . . . . . . . . . . . . 507 R. G. Swensson Measuring Detection and Localization Performance . . . . . . . . . . . . . . 525 M. F. Insana and T. J. Hall Methods for Estimating the Efficiency of Human and Computational Observers in Ultrasonography . . . . . . . . . . . . 542 M. P. Anderson and M. H. Loew and D. G. Brown Gabor Function Based Medical Image Compression . . . . . . . . . . . . . . 553
J. Minker and C. Ruiz On Extended Disjunctive Logic Programs 1 H. Chu and D. A. Plaisted Model Finding Stategies in Semantically Guided Instance-Based Theorem Proving 19 D. R. Busch An Expressive Three-Valued Logic with Two Negations . . . . . . . . . . . . . 29 J. Posegga Compiling Proof Search in Semantic Tableaux . . . . . . . . . . . . . . . . 39 R. Hahnle Short CNF in Finetely-Valued Logics . . 49 L. Giordano Defining Variants of Default Logic: a Modal Approach . . . . . . . . . . . . . 59 L.-Y. Shue and R. Zamani An Admissible Heuristic Search Algorithm 69 S.-J. Lee and C.-H. Wu Building an Expert System Language Interpreter with the Rule Network Technique . . . . . . . . . . . . . . . 76 G. Valiente Input-Driven Control of Rule-Based Expert Systems . . . . . . . . . . . . . 86 B. Lopez and E. Plaza Case-Based Planning for Medical Diagnosis . . . . . . . . . . . . . . . 96 J. P. Klut and J. H. P. Eloff MethoDex: A Methodology for Expert Systems Development . . . . . . . . . . 106 F. Bry Towards Intelligent Databases . . . . . 116 L. Padgham and B. Nebel Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step . . . . . . . . . . . . . . . 132 H. Rasiowa and V. W. Marek Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing (Extended Abstract) . . . . . . . . . . 142 J. Chen The Logic of Only Knowing as a Unified Framework for Nonmonotonic Reasoning . . 152 P. Lambrix and R. Ronnquist Terminological Logic Involving Time and Evolution: A Preliminary Report . . . . 162 L. V. Orman Knowledge Management by Example . . . . 172 H. M. Dewan and S. J. Stolfo System Reorganization and Load Balancing of Parallel Database Rule Processing . . 186 T. Gaasterland and J. Lobo Using Semantic Information for Processing Negation and Disjunction in Logic Programs . . . . . . . . . . . . . 198 P. Bosc and L. Lietard and O. Pivert On the Interpretation of Set-Oriented Fuzzy Quantified Queries and Their Evaluation in a Database Management System . . . . . . . . . . . . . . . . . 209 M. R. Lowry Methodologies for Knowledge-Based Software Engineering . . . . . . . . . . 219 N. Leone and L. Palopoli and M. Romeo Updating Logic Programs . . . . . . . . 235 D. Robertson and J. Agusti and J. Hesketh and J. Levy Expressing Program Requirements using Refinement Lattices . . . . . . . . . . 245 R. Chadha and D. A. Plaisted Finding Logical Consequences Using Unskolemization . . . . . . . . . . . . 255 A. Rajasekar Controlled Explanation Systems . . . . . 265 N. V. Murray and E. Rosenthal Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics . . . . . . . 275 S. Tano and W. Okamoto and T. Iwatani New Design Concepts for the FLINS-Fuzzy Lingual System: Text-Based and Fuzzy-Centered Architectures . . . . . . 285 A. Skowron Boolean Reasoning for Decision Rules Generation . . . . . . . . . . . . . . . 295 C. W. R. Chau and P. Lingras and S. K. M. Wong Upper and Lower Entropies of Belief Functions Using Compatible Probability Functions . . . . . . . . . . . . . . . 306 C. J. Liau and B. I-P. Lin Reasoning About Higher Order Uncertainty in Possibilistic Logic . . . . . . . . . 316 C. M. Rauszer Approximation Methods for Knowledge Representation Systems . . . . . . . . . 326 L. Ljung Modelling of Industrial Systems . . . . 338 J.-F. Puget On the Satisfiability of Symmetrical Constrained Satisfaction Problems . . . 350 A. L. Brown and S. Mantha and T. Wakayama A Logical Reconstruction of Constraint Relaxation Hierarchies in Logic Programming . . . . . . . . . . . . . . 362 P. Berlandier A Performance Evaluation of Backtrack-Bounded Search Methods for $N$-ary Constraint Networks . . . . . . 375 M. A. Meyer and J. P. Muller Finite Domain Consistency Techniques: Their Combination and Application in Computer-Aided Process Planning . . . . 385 I. F. Imam and R. S. Michalski Should Decision Trees be Learned from Examples or from Decision Rules? . . . . 395 H. Lounis Integrating Machine-Learning Techniques in Knowledge-Based Systems Verification 405 R. Bagai and V. Shanbhogue and J. M. Zytkow and S. C. Chou Automatic Theorem Generation in Plane Geometry . . . . . . . . . . . . . . . . 415 A. Giordana and L. Saitta and C. Baroglio Learning Simple Recursive Theories . . . 425 L. De Raedt and N. Lavrac The Many Faces of Inductive Logic Programming . . . . . . . . . . . . . . 435 M. Bateman and S. Martin and A. Slade Consensus: A Method for the Development of Distributed Intelligent Systems . . . 450 H. Gan Script and Frame: Mixed Natural Language Understanding System with Default Theory 466 M. Franova and Y. Kodratoff and M. Gross Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving? . . . . . . . 476 G. Grosz and C. Rolland Representing the Knowledge Used During the Requirement Engineering Activity with Generic Structures . . . . . . . . 486 S. Caselli and A. Natali and F. Zanichelli Development of a Programming Environment for Intelligent Robotics . . . . . . . . 496 A. Schaerf On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification . . . . 508 S. Ambroszkiewicz Mutual Knowledge . . . . . . . . . . . . 518 K. Thirunarayan Expressive Extensions to Inheritance Networks . . . . . . . . . . . . . . . . 528 G. Bittencourt A Connectionist-Symbolic Cognitive Model 538 M. Di Manzo and E. Giunchiglia Multi-Context Systems as a Tool to Model Temporal Evolution . . . . . . . . . . . 548 E. Sandewall Systematic Assessment of Temporal Reasoning Methods for Use in Autonomous Agents . . . . . . . . . . . . . . . . . 558 Ch. Klauck and J. Schwagereit GGD: Graph Grammar Developer for Features in CAD/CAM . . . . . . . . . . 571 K. Wang A Knowledge-Based Approach to Group Analysis in Automated Manufacturing Systems . . . . . . . . . . . . . . . . 581 B.-T. B. Chu Center: A System Architecture for Matching Design and Manufacturing . . . 591 M. Sobolewski Knowledge-Based System Integration in a Concurrent Engineering Environment . . . 601 P. Charlton A Reflective Strategic Problem Solving Model . . . . . . . . . . . . . . . . . 612 B. Wuthrich On the Learning of Rule Uncertainties and Their Integration into Probabilistic Knowledge Bases . . . . . . . . . . . . 622 R. Zembowicz and J. M. Zytkow Recognition of Functional Dependencies in Data . . . . . . . . . . . . . . . . 632 R. Slowinski Rough Set Learning of Preferential Attitude in Multi-Criteria Decision Making . . . . . . . . . . . . . . . . . 642
Michael Freeston Begriffsverzeichnis: A Concept Index . . 1 Carlo Zaniolo On the Unification of Active Databases and Deductive Databases . . . . . . . . 23 Carole A. Goble and Andrzej Glowinski and Keith G. Jeffery Semantic Constraints in a Medical Information System . . . . . . . . . . . 40 Malu Castellanos A Methodology for Semantically Enriching Interoperable Databases . . . . . . . . 58 Daniel Ringwood and Graem Cohen Distributed Databases Tied with StrIng 76 Peter J. Barclay and Jessie B. Kennedy Viewing Objects . . . . . . . . . . . . 93 T. W. Carnduff and W. A. Gray Function Materialization Through Object Versioning in Object-Oriented Databases 111 Uwe Hohenstein and Erik Odberg A C++ Database Interface Based on the Entity-Relationship Approach . . . . . . 129 Roger Tagg and Benny Liew Object-Oriented Database Methodology --- State of the Art . . . . . . . . . . . . 147 Rajshekhar Sunderraman Deductive Databases with Conditional Facts . . . . . . . . . . . . . . . . . 162 Alvaro A. A. Fernandes and Maria L. Barja and Norman W. Paton and M. Howard Williams A Deductive Object-Oriented Database for Data Intensive Application Development 176 Paul Singleton and O. Pearl Brereton Storage and Retrieval of First-Order Terms Using a Relational Database . . . 199 Peter Mcbrien Principles of Implementing Historical Databases in RDBMS . . . . . . . . . . . 220 Swarup Reddi Integrity Constraint Enforcement in the Functional Database Language PFL . . . . 238 Barry Eaglestone and Geoff Davies and Mick Ridley and Nigel Hulley Implementation of a Version Model for Artists Using Extended Relational Technology . . . . . . . . . . . . . . . 258
Hassan Ait-Kaci and Andreas Podelski Entailment and Disentailment of Order-Sorted Feature Constraints . . . . 1 Grigoris Antoniou and Elmar Langetepe and Volker Sperschneider Computing Extensions of Default Logic --- Preliminary Report . . . . . . . . . 19 Jonas Barklund and Johan Bevemyr Prolog with Arrays and Bounded Quantifications . . . . . . . . . . . . 28 Peter Barth Linear 0-1 Inequalities and Extended Clauses . . . . . . . . . . . . . . . . 40 Stefan Bruning Search Space Pruning by Checking Dynamic Term Growth . . . . . . . . . . . . . . 52 Fai Chau Hiu A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems . . . . . . . . . . . 64 Anatoli N. Chebotarev and Marina K. Morokhovets Consistency Checking of Automata Functional Specifications . . . . . . . 76 Marc-Michel Corsini and Alain Griffault and Antoine Rauzy Yet Another Application for Toupie: Verification of Mutual Exclusion Algorithms . . . . . . . . . . . . . . . 86 Andrew Davison Parsing with DCG-Terms . . . . . . . . . 98 Uwe Egly A First Order Resolution Calculus with Symmetries . . . . . . . . . . . . . . . 110 Christian G. Fermuller and Gernot Salzer Ordered Paramodulation and Resolution as Decision Procedure . . . . . . . . . . . 122 Gilberto File and Sabina Rossi Static Analysis of Prolog with Cut . . . 134 Philippa Gardneri A New Type Theory for Representing Logics . . . . . . . . . . . . . . . . . 146 Reiner Hahnle and Werner Kernig Verification of Switch-Level Designs with Many-Valued Logic . . . . . . . . . 158 M. Hibti and H. Lombardi and B. Legeard Deciding in HFS-Theory via Linear Integer Programming . . . . . . . . . . 170 Patricia M. Hill The Completion of Typed Logic Programs and SLDNF-Resolution . . . . . . . . . . 182 Alistair Manning and Andrew Ireland and Alan Bundy Increasing the Versatility of Heuristic Based Theorem Provers . . . . . . . . . 194 Bart C. Massey and Evan Tick Sequentialization of Parallel Logic Programs with Mode Analysis . . . . . . 205 Klaus Mayr Refinements and Extensions of Model Elimination . . . . . . . . . . . . . . 217 Angelica Maria Kappel Executable Specifications Based on Dynamic Algebras . . . . . . . . . . . . 229 H. De Nivelle Generic Resolution in Propositional Modal Systems . . . . . . . . . . . . . 241 Hans Jurgen Ohlbach Optimized Translation of Multi Modal Logic into Predicate Logic . . . . . . . 253 Sven Eric Panitz Default Reasoning with a Constraint Resolution Principle . . . . . . . . . . 265 Anavai Ramesh and Neil V. Murray Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates . . . . . . . . . . . . . . . 277 Manfred Schmidt-Schaub Unification Under One-Sided Distributivity with a Multiplicative Unit . . . . . . . . . . . . . . . . . . 289 Rolf Socher-Ambrosius Unification in Order-Sorted Logic with Term Declarations . . . . . . . . . . . 301 Christine Solnon and Michel Rueher Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations . . . . . . 309 Geoff Sutcliffe A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Format Linear Deduction Systems . . . . 321 Gerd Wagner Neutralization and Preemption in Extended Logic Programs . . . . . . . . 333 Matthias Baaz and Christian G. Fermuller and Arie Ovrutcki and Richard Zach Multlog: A System for Axiomatizing Many-Valued Logics (System Description) 345 D. Galmiche and O. Hermann SKIL: A System for Programming with Proofs (System Description) . . . . . . 348 John Harrison and Laurent Thery Reasoning About the Reals: The Marriage of HOL and Maple . . . . . . . . . . . . 351 Gui Yexuan and Mitsuhiro Okada System Description of LAMBDALG --- A Higher Order Algebraic Specification Language . . . . . . . . . . . . . . . . 354 Breanndan O. Nuallain Mixing Metafor . . . . . . . . . . . . . 357 Sergei V. Soloviev A Complete Axiom System for Isomorphism of Types in Closed Categories . . . . . 360 Peter Wegner Reasoning, Modeling, and Component-Based Technology . . . . . . . . . . . . . . . 372
John F. Sowa Relating diagrams to logic . . . . . . . 1 Brian R. Gaines Representation, discourse, logic and truth: situating knowledge technology 36 Jon Barwise Heterogeneous reasoning . . . . . . . . 64 B. Biebow and G. Chaty A comparison between conceptual graphs and KL-one . . . . . . . . . . . . . . . 75 G. W. Mineau The term definition operators of ontolingua and of the conceptual graph formalism: a comparison . . . . . . . . 90 B. Bowen and P. Kocura Implementing conceptual graphs in a RDBMS . . . . . . . . . . . . . . . . . 106 P. Creasy and G. Ellis A conceptual graphs approach to conceptual schema integration . . . . . 126 C. Boksenbaum and B. Carbonneill and O. Haemmerle and T. Libourel Conceptual graphs for relational databases . . . . . . . . . . . . . . . 142 R. Basili and M. T. Pazienza Inducing a CG representation for basic-level categorization of verbs . . 162 B. Moulin The representation of linguistic information in an approach used for modelling temporal knowledge in discourses . . . . . . . . . . . . . . . 182 A. Nazarenko Representing natural language causality in conceptual graphs: the higher order conceptual relation problem . . . . . . 205 D. Lukose Executable conceptual structures . . . . 223 M. Pagnucco and N. Foo Inverting resolution with conceptual graphs . . . . . . . . . . . . . . . . . 238 R. Levinson Towards domain-independent machine intelligence . . . . . . . . . . . . . . 254 G. Ellis Efficient retrieval from hierarchies of objects using lattice operations . . . . 274 M. L. Mugnier and M. Chein Characterization and algorithmic recognition of canonical conceptual graphs . . . . . . . . . . . . . . . . . 294 M. Willems A conceptual semantics ontology for conceptual graphs . . . . . . . . . . . 312 W. Cyre Acquiring temporal knowledge from schedules . . . . . . . . . . . . . . . 328 M. Wermelinger and A. Bejan Conceptual structures for modeling in CIM . . . . . . . . . . . . . . . . . . 345 E. Aimeur and J. G. Ganascia Elicitation of taxonomies based on the use of conceptual graphs operators . . . 361 J. E. Heaton and P. Kocura Presenting a Peirce logic based inference engine and theorem prover for conceptual graphs . . . . . . . . . . . 381 B. Emond Operations on conceptual structures and Peirce's system of existential graphs 401 H. Van Den Berg Modal logics for conceptual graphs . . . 411 V. Wuwongse and M. Manzano Fuzzy conceptual graphs . . . . . . . . 430
M. Blum Program Result Checking: A New Approach to Making Programs More Reliable . . . . 1 A. Andersson and C. Mattsson Dynamic Interpolation Search in $ {O}(\log \log n) $ Time . . . . . . . . 15 G. N. Frederickson Searching Among Intervals and Compact Routing Tables . . . . . . . . . . . . . 28 C. Lund and M. Yannakakis The Approximation of Maximum Subgraph Problems . . . . . . . . . . . . . . . . 40 V. Kann Polynomially Bounded Minimization Problems Which are Hard to Approximate 52 N. Garg and V. V. Vazirani and M. Yannakakis Primal-Dual Approximation Algorithms for Integral Flow and Multicut in Trees, with Applications to Matching and Set Cover . . . . . . . . . . . . . . . . . 64 M. V. Marathe and H. B. Hunt, III and S. S. Ravi The Complexity of Approximating PSPACE-Complete Problems for Hierarchical Specifications . . . . . . 76 A. Czumaj and A. Gibbons Problems on Pairs of Trees and the Four Colour Problem of Planar Graphs . . . . 88 B. Kalyanasundaram and K. R. Pruhs Constructing Competitive Tours from Local Information . . . . . . . . . . . 102 H. Bodlaender and T. Kloks and D. Kratsch Treewidth and Pathwidth of Permutation Graphs . . . . . . . . . . . . . . . . . 114 J. W. Jaromczyk and G. Swiatek A Theory of Even Functionals and Their Algorithmic Applications . . . . . . . . 126 P. Flajolet and M. Golin Exact Asymptotics of Divide-and-Conquer Recurrences . . . . . . . . . . . . . . 137 D. Kozen and S. Zaks Optimal Bounds for the Change-Making Problem . . . . . . . . . . . . . . . . 150 J. H. Reif and S. R. Tate The Complexity of $N$-body Simulation 162 M. B. Dillencourt and W. D. Smith A Simple Method for Resolving Degeneracies in Delaunay Triangulations 177 L. A. Hemachandra Fault-Tolerance and Complexity . . . . . 189 H. Yamamoto Reversal-Space Trade-offs for Simultaneous Resource-Bounded Nondeterministic Turing Machines . . . . 203 P. Orponen On the Computational Power of Discrete Hopfield Nets . . . . . . . . . . . . . 215 M. Karpinski and R. Verbeek On Randomized Versus Deterministic Computation . . . . . . . . . . . . . . 227 F. Ablayev Lower Bounds for One-Way Probabilistic Communication Complexity . . . . . . . . 241 T. Hagerup and K. Mehlhorn and I. Munro Maintaining Discrete Probability Distributions Optimally . . . . . . . . 253 M. Franklin and M. Yung Secure and Efficient Off-Line Digital Money . . . . . . . . . . . . . . . . . 265 D. W. Juedes and J. I. Lathrop and J. H. Lutz Computational Depth and Reducibility . . 277 G. Baliga and J. Case Learnability: Admissible, Co-Finite, and Hypersimple Languages . . . . . . . . . 289 T. Jiang and A. Salomaa and K. Salomaa and S. Yu Inclusion is Undecidable for Pattern Languages . . . . . . . . . . . . . . . 301 O. H. Ibarra and T. Jiang and N. Tran and H. Wang New Decidability Results Concerning Two-Way Counter Machines and Applications . . . . . . . . . . . . . . 313 C. Michaux and R. Villemaire Cobham's Theorem Seen Through Buchi's Theorem . . . . . . . . . . . . . . . . 325 W. Ebinger and A. Muscholl Logical Definability on Infinite Traces 335 T. Wilke Algebras for Classifying Regular Tree Languages and an Application to Frontier Testability . . . . . . . . . . . . . . 347 A. Gupta Finite Automata as Characterizations of Minor Closed Tree Families . . . . . . . 359 D. Dolev and D. Malki On Distributed Algorithms in a Broadcast Domain . . . . . . . . . . . . . . . . . 371 B. S. Chlebus and K. Diks and A. Pelc Sparse Networks Supporting Efficient Reliable Broadcasting . . . . . . . . . 388 F. Meyer Auf Der Heide and B. Oesterdiekhoff and R. Wanka Strongly Adaptive Token Distribution . . 398 A. Schonhage Fast Parallel Computation of Characteristic Polynomials by Leverrier's Power Sum Method Adapted to Fields of Finite Characteristic . . . . 410 L. M. Kirousis Fast Parallel Constraint Satisfaction 418 I. Simon The Product of Rational Languages . . . 430 E. Ochmanski and P.-A. Wacrenier On Regular Compatibility of Semi-Commutations . . . . . . . . . . . 445 P. Dumas Algebraic Aspects of B-Regular Series 457 D. M. Cohen and M. L. Fredman Products of Finite State Machines with Full Coverage . . . . . . . . . . . . . 469 G. Senizergues An Effective Version of Stallings' Theorem in the Case of Context-Free Groups . . . . . . . . . . . . . . . . . 478 A. Lepisto On the Power of Periodic Iteration of Morphisms . . . . . . . . . . . . . . . 496 F. Mignosi and P. Seebold If a DOL Language is $k$-Power Free than It is Circular . . . . . . . . . . . . . 507 L. Jategaonkar and A. R. Meyer Deciding True Concurrency Equivalences on Finite Safe Nets . . . . . . . . . . 519 W. Vogler Timed Testing of Concurrent Systems . . 532 K. Havelund and K. G. Larsen The Fork Calculus . . . . . . . . . . . 544 P. Inverardi and C. Priami and D. Yankelevich Extended Transition Systems for Parametric Bisimulation . . . . . . . . 558 C. Brown and D. Gurr Temporal Logic and Categories of Petri Nets . . . . . . . . . . . . . . . . . . 570 K. Lodaya and R. Ramanujam and P. S. Thiagarajan Decidability of a Partial Order Based Temporal Logic . . . . . . . . . . . . . 582 H. Hungar and B. Steffen Local Model Checking for Context-Free Processes . . . . . . . . . . . . . . . 593 S. Abiteboul and V. Vianu Computing on Structures . . . . . . . . 606 E. Contejean A Partial Solution for D-Unification Based on a Reduction to AC1-Unification 621 M. Codish and M. Falaschi and K. Marriott and W. Winsborough Efficient Analysis of Concurrent Constraint Logic Programs . . . . . . . 633 R. Di Cosmo and D. Kesner A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and Terminal Object . . . . . . . . . . . . . . . . . 645 F. Barbanera and M. Fernandez Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda omega . . . . . . . . . . . . . . 657 F. Bracho and M. Droste From Domains to Automata with Concurrency . . . . . . . . . . . . . . 669 R. Kanneganti and R. Cartwright What Is a Universal Higher-Order Programming Language? . . . . . . . . . 682
Paolo Atzeni LOGIDATA+: Overview . . . . . . . . . . 1 Stefano Ceri and Letizia Tanca Bridging Objects with Logical Rules: Towards Object-Oriented Deductive Databases . . . . . . . . . . . . . . . 7 Paolo Atzeni and Filippo Cacace and Stefano Ceri and Letizia Tanca The LOGIDATA+ Model . . . . . . . . . . 20 Paolo Atzeni and Luca Cabibbo and Giansalvatore Mecca and Letizia Tanca The LOGIDATA+ Language and Semantics . . 30 Luca Cabibbo and Giansalvatore Mecca Travel Agency: A LOGIDATA+ Application 42 Luigi Palopoli and Riccardo Torlone Management of Extended Update Operations 60 Domenico Beneventano and Sonia Bergamaschi and Claudio Sartori and Alessandro Artale and Francesca Cesarini and Giovanni Soda Taxonomic Reasoning in LOGIDATA+ . . . . 79 Alessandro Artale and Francesca Cesarini and Giovanni Soda Introducing Taxonomic Reasoning in LOGIDATA+ . . . . . . . . . . . . . . . 85 Domenico Beneventano and Sonia Bergamaschi and Claudio Sartori Taxonomic Reasoning with Cycles in LOGIDATA+ . . . . . . . . . . . . . . . 105 Anna Formica and Michele Missikoff Modeling Semantic Integrity Constraints in Object-Oriented Database Schemas . . 129 Sergio Greco and Massimo Romeo and Domenico Sacca Evaluation of Negative Logic Programs 148 Nicola Leone and Massimo Romeo and Pasquale Rullo and Domenico Sacca Effective Implementation of Negation in Database Logic Query Languages . . . . . 159 Annalina Fabrizio and Maurizio Capaccioli and Sandra Valeri Modules in Logic Programming: A Framework for Knowledge Management . . . 176 Umberto Nanni and Silvio Salza and Mario Terranova LOA: The LOGIDATA+ Object Algebra . . . 195 Umberto Nanni and Silvio Salza and Mario Terranova The LOGIDATA+ Prototype System . . . . . 211 Marco Lugli and Luca Nini and Stefano Ceri MOODsup *: An Architecture for Object-Oriented Access to a Relational Database . . . . . . . . . . . . . . . . 233 Alessandro Artale and Jean-Pierre Ballerini and Sonia Bergamaschi and Filippo Cacace and Stefano Ceri and Francesca Cesarini and Anna Formica and Herman Lam and Sergio Greco and Giorgio Marrella Prototypes in the LOGIDATA+ Project . . 252
Stal Aanderaa A Universal Turing Machine . . . . . . . 1 Stal Aanderaa and Herman Ruge Jervell Recursive Inseparability in Linear Logic 5 Sergei Artemov and Tyko Straben The Basic Logic of Proofs . . . . . . . 14 Matthias Baaz and Richard Zach Algorithmic Structuring of Cut-Free Proofs . . . . . . . . . . . . . . . . . 29 Thomas Behrendt and Kevin Compton and Erich Gradel Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions 43 Nick Benton and Gavin Bierman and Valeria De Paiva and Martin Hyland Linear lambda-Calculus and Categorical Models Revisited . . . . . . . . . . . . 61 Alessandro Berarducci and Corrado Bohm A Self-Interpreter of Lambda Calculus Having a Normal Form . . . . . . . . . . 85 Uwe Bosse An ``Ehrenfeucht-Fraisse Game'' for Fixpoint Logic and Stratified Fixpoint Logic . . . . . . . . . . . . . . . . . 100 Nadia Creignou The Class of Problems that Are Linearly Equivalent to Satisfiability, or a Uniform Method for Proving NP-Completeness . . . . . . . . . . . . 115 Christian G. Fermuller and Alexander Leitsch Model Building by Resolution . . . . . . 134 Tim Fernando Comparative Transition System Semantics 149 Antonio Gavilanes-Franco and Francisca Lucio-Carrasco and Mario Rodriguez-Artalejo Reasoning with Higher Order Partial Functions . . . . . . . . . . . . . . . 167 Paola Glavan and Dean Rosenzweig Communicating Evolving Algebras . . . . 182 Juan Carlos Gonzalez-Moreno and Maria Teresa Hortala-Gonzalez and Mario Rodriguez-Artalejo On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming . . . . . . . . . . . 216 Erich Gradel and Martin Otto Inductive Definability with Counting on Finite Structures . . . . . . . . . . . 231 Etienne Grandjean Linear Time Algorithms and NP-Complete Problems . . . . . . . . . . . . . . . . 248 Yuri Gurevich and James K. Huggins The Semantics of the C Programming Language . . . . . . . . . . . . . . . . 274 Furio Honsell and Ian A. Mason and Scott Smith and Carolyn Talcott A Theory of Classes for a Functional Language with Effects . . . . . . . . . 309 Clemens Lautemann Logical Definability of NP-Optimization Problems with Monadic Auxiliary Predicates . . . . . . . . . . . . . . . 327 Markus Marzetta Universes in the Theories of Types and Names . . . . . . . . . . . . . . . . . 340 John C. Mitchell and Andre Scedrov Notes on Sconing and Relators . . . . . 352 Ingo Schiermeyer Solving 3-Satisfiability in Less than $ 1, 579^n $ Steps . . . . . . . . . . . . 379 Jan M. Smith Kleene's Slash and Existence of Values of Open Terms in Type Theory . . . . . . 395 Robert F. Stark Negation-Complete Logic Programs . . . . 403 Iain A. Stewart Logical Characterizations of Bounded Query Classes II: Polynomial-Time Oracle Machines . . . . . . . . . . . . . . . . 410 Jerzy Tyszkiewicz On Asymptotic Probabilities of Monadic Second Order Properties . . . . . . . . 425
Mark de Berg Ray Shooting, Depth Orders and Hidden Surface Removal . . . . . . . . . . . . 1
Frances Newbery Paulisch The Design of an Extendible Graph Editor 1
Gunter Biehl Overview of Complex Array-Based PLDs . . 1 Jouni Isoaho and Arto Nummela and Hannu Tenhunen Technologies and Utilisation of Field Programmable Gate Arrays . . . . . . . . 11 Alberto Sangiovanni-Vincentelli Some Considerations on Field-Programmable Gate Arrays and Their Impact on System Design . . . . . . . . 26 Bradly K. Fawcett SRAM-Based FPGAs Ease System Verification . . . . . . . . . . . . . . 35 Scott Hauck and Gaetano Boriello and Steven Burns and Carl Ebeling MONTAGE: An FPGA for Synchronous and Asynchronous Circuits . . . . . . . . . 44 Dwight Hill and Barry Britton and William Oswald and Woo Nam-Sung and Satwant Singh and Chen Che-Tsung and Bob Krambeck ORCA: A New Architecture for High-Performance FPGAs . . . . . . . . . 52 Masahiro Fujita and Yuji Kukimoto Patching Method for Lookup-Table Type FPGAs . . . . . . . . . . . . . . . . . 61 Dave Allen Automatic One-Hot Re-Encoding for FPGAs 71 Wu Li-Fei and Marek A. Perkowski Minimization of Permuted Reed--Muller Trees for Cellular Logic Programmable Gate Arrays . . . . . . . . . . . . . . 78 David C. Blight and Robert D. McLeod Self-Organizing Kohonen Maps for FPGA Placement . . . . . . . . . . . . . . . 88 Peter Poechmueller and Hans-Jurgen Herpel and Manfred Glesner and Fang Longsen High Level Synthesis in an FPGA-Based Computer Aided Prototyping Environment 96 Naohisa Ohta and Kazuhisa Yamada and Akihiro Tsutsui and Hiroshi Nakada New Application of FPGAs to Programmable Digital Communication Circuits . . . . . 106 Georg Kempa and Peter Jung FPGA Based Logic Synthesis of Squarers Using VHDL . . . . . . . . . . . . . . . 112 Hartmut Surmann and Ansgar Ungering and Karl Goser Optimized Fuzzy Controller Architecture for Field Programmable Gate Arrays . . . 124 Lennart Lindh and Klaus Muller-Glaser and Hans Rauch and Frank Stanischewski A Real-Time Kernel --- Rapid Prototyping with VHDL and FPGAs . . . . . . . . . . 134 Herbert Grunbacher and Alexander Jaud JAPROC --- An 8-bit Micro Controller Design and Its Test Environment . . . . 146 Beat Heeb and Cuno Pfister Chameleon: A Workstation of a Different Colour . . . . . . . . . . . . . . . . . 152 Paul Shaw and George Milne A Highly Parallel FPGA-Based Machine and its Formal Verification . . . . . . . . 162 Arno Kunzmann FPGA Based Self-Test with Deterministic Test Patterns . . . . . . . . . . . . . 174 Dzung T. Hoang and Daniel P. Lopresti FPGA Implementation of Systolic Sequence Alignment . . . . . . . . . . . . . . . 183 Eric Brunvand Using FPGAs to Prototype a Self-Timed Computer . . . . . . . . . . . . . . . . 192 Arne Linde and Tomas Nordstrom and Mikael Taveniku Using FPGAs to Implement a Reconfigurable Highly Parallel Computer 199 Andreas Ast and Reiner Hartenstein and Rainer Kress and Helmut Reinig and Karin Schmidt Novel High Performance Machine Paradigms and Fast-Turnaround ASIC Design Methods 211
Victor R. Basili Keynote: The Experimental Paradigm in Software Engineering . . . . . . . . . . 3 William W. Agresti Profile of an Artifact Assessment Capability . . . . . . . . . . . . . . . 13 Les A. Belady Experiments and Measurements for Systems Integration . . . . . . . . . . . . . . 17 Norbert Fuchs Software Engineering Still on the Way to an Engineering Discipline . . . . . . . 19 Jochen Ludewig Problems in Modeling the Software Development Process as an Adventure Game 23 Walt Scacchi Qualitative Techniques and Tools for Measuring, Analyzing, and Simulating Software Processes . . . . . . . . . . . 27 Walter F. Tichy On Experimental Computer Science . . . . 30 William Agresti Discussion Summary . . . . . . . . . . . 33 Michael A. Cusumano Keynote: Objectives and Context of Software Measurement, Analysis and Control . . . . . . . . . . . . . . . . 41 Norman Fenton Position Paper . . . . . . . . . . . . . 60 Gunter R. Koch Software Engineering as an Organisational Challenge . . . . . . . . 62 Nazim H. Madhavji and John Botsford and Tilman F. W. Bruckhaus and Khaled El Emam Quantitative Measurements Based on Process and Context Models . . . . . . . 67 Karl-Heinrich Moller Selecting, Implementing, and Measuring Methods to Improve the Software Development Process . . . . . . . . . . 73 Adam A. Porter Rethinking Measurement to Support Incremental Process Improvement . . . . 77 Norman Fenton Discussion Summary . . . . . . . . . . . 82 Richard W. Selby Keynote: Software Measurement and Experimentation Frameworks, Mechanisms, and Infrastructure . . . . . . . . . . . 89 Warren Harrison Towards Well-Defined, Shareable Product Data . . . . . . . . . . . . . . . . . . 107 Ross Jeffery A View on the Use of Three Research Philosophies to Address Empirically Determined Weaknesses of the Software Engineering Process . . . . . . . . . . 111 Chris F. Kemerer Bridging the Gap Between Research and Practice in Software Engineering Management: Reflections on the Staffing Factors Paradox . . . . . . . . . . . . 116 Barbara Kitchenham A Methodology for Evaluating Software Engineering Methods and Tools . . . . . 121 Hausi A. Muller Experimental Software Engineering Should Concentrate on Software Evolution . . . 125 Eric Sumner, Jr. Yet Another Laboratory for Software Engineering . . . . . . . . . . . . . . 129 Marvin V. Zelkowitz An Axiomatic Model for Program Complexity . . . . . . . . . . . . . . . 133 Horst Zuse Support of Experimentation by Measurement Theory . . . . . . . . . . . 137 Barbara Kitchenham Discussion Summary . . . . . . . . . . . 141 Stephen M. Thebaut and Vincent Y. Shen Keynote: Task-Specific Utility Assessment Models and their Role in the Development of Software Engineering Handbooks . . . . . . . . . . . . . . . 151 Lionel C. Briand Quantitative Empirical Modeling for Managing Software Development: Constraints, Needs and Solutions . . . . 158 Giovanni Cantone Software Business, Concurrent Engineering and Experience Factory Relationships . . . . . . . . . . . . . 164 Daniel Hoffman Establishing the Fundamentals of Software Engineering . . . . . . . . . . 171 Bev Littlewood Measurement-Based Modelling Issues --- The Problem of Assuring Ultra-High Dependability . . . . . . . . . . . . . 173 Anneliese von Mayrhauser The Role of Simulation in Software Engineering Experimentation . . . . . . 177 Markku Oivo Multiple Viewpoints of Software Models 180 Anneliese von Mayrhauser Discussion Summary . . . . . . . . . . . 183 Kevin D. Wentzel Keynote: Software Engineering Models, Using and Reusing . . . . . . . . . . . 191 Albert Endres Model Reuse and Technology Transfer . . 202 Stuart I. Feldman Packaging for Reuse and Reuse of Models 206 Claus Lewerentz A Reuse Culture for Software Construction . . . . . . . . . . . . . . 210 Frank McGarry Experimental Software Engineering; Packaging for Reuse . . . . . . . . . . 213 Norman F. Schneidewind Experimental Designs for Validating Metrics and Applying them Across Multiple Projects . . . . . . . . . . . 216 Frank McGarry Discussion Summary . . . . . . . . . . . 221 Manny M. Lehman Keynote: Position Paper . . . . . . . . 229 John J. Marciniak Technology Transfer . . . . . . . . . . 234 H. Dieter Rombach Systematic Software Technology Transfer 239 Stu Zweben Effective Use of Measurement and Experimentation in Computing Curricula 247 H. Dieter Rombach Discussion Summary . . . . . . . . . . . 252
Michael G. Lamming Intimate Computing and the Memory Prosthesis: A Challenge for Computer Systems Research? . . . . . . . . . . . 1 Mary Beth Rosson and John M. Carroll Active Programming Strategies in Reuse 4 Andreas Birrer and Thomas Eggenschwiler Frameworks in the Financial Engineering Domain: An Experience Report . . . . . . 21 Urs Hölzle Integrating Independently-Developed Components in Object-Oriented Languages 36 Andrew P. Black and Mark P. Immel Encapsulating Plurality . . . . . . . . 57 Dimitri Konstantas Object Oriented Interoperability . . . . 80 Bruno Achauer Implementation of Distributed Trellis 103 Barbara Liskov and Jeannette M. Wing A New Definition of the Subtype Relation 118 Yves Caseau and Laurent Perron Attaching Second-Order Types to Methods in an Object-Oriented Language . . . . . 142 Herman Balsters and Rolf A. De By and Roberto Zicari Typed Sets as a Basis for Object-Oriented Database Schemas . . . . 161 Colin Ashford The OSI Managed-Object Model . . . . . . 185 Patrick Steyaert and Wim Codenie and Theo D'hondt and Koen De Hondt and Carine Lucas and Marc Van Limberghen Nested Mixin-Methods in Agora . . . . . 197 José Meseguer Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming 220 Ole Agesen and Jens Palsberg and Michael I. Schwartzbach Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance . . . . . . . . . . . . . . 247 Craig Chambers Predicate Classes . . . . . . . . . . . 268 Ellen Rose and Arie Segev TOOA: A Temporal Object-Oriented Algebra 297 Ichiro Satoh and Mario Tokoro A Timed Calculus for Distributed Objects with Clocks . . . . . . . . . . . . . . 326 Svend Fròlund and Gul Agha A Language Framework for Multi-Object Coordination . . . . . . . . . . . . . . 346 Holger Assenmacher and Thomas Breitbach and Peter Buhler and Volker Hübsch and Reinhard Schwarz PANDA --- Supporting Distributed Programming in C++ . . . . . . . . . . . 361 Jean-Marc Jézéquel Transparent Parallelisation Through Reuse: Between a Compiler and a Library Approach . . . . . . . . . . . . . . . . 384 Erich Gamma and Richard Helm and Ralph Johnson and John Vlissides Design Patterns: Abstraction and Reuse of Object-Oriented Design . . . . . . . 406--431 Dipayan Gangopadhyay and Subrata Mitra ObjChart: Tangible Specification of Reactive Object Behavior . . . . . . . . 432 Eric Dubois and Philippe Du Bois and Michaël Petit O-O Requirements Analysis: An Agent Perspective . . . . . . . . . . . . . . 458 Shigeru Chiba and Takashi Masuda Designing an Extensible Distributed Language with a Meta-Level Architecture 482 Richard Johnson and Murugappan Palaniappan MetaFlex: A Flexible Metaclass Generator 502--527 Mike Banahan and L. Peter Deutsch and Boris Magnusson and Jens Palsberg Panel: Aims, Means, and Futures of Object-Oriented Languages . . . . . . . 528 Anonymous Author Index . . . . . . . . . . . . . . 531
J. D. Boissonnat and A. Cerezo and J. Leblond Shortest Paths of Bounded Curvature in the Plane . . . . . . . . . . . . . . . 3 Th. Fraichard and C. Laugier Kinodynamic Planning in a Structured and Time-Varying Workspace . . . . . . . . . 19 T. Simeon Motion Planning for a Non-holonomic Mobile Robot on $3$-Dimensional Terrains 38 A. Liegeois and C. Moignard Optimal Motion Planning of a Mobile Robot on a Triangulated Terrain Model 51 A. Lazanas and J. C. Latombe Landmark-Based Robot Motion Planning . . 69 J. M. Ahuactzin and El-Ghazali Talbi and P. Bessiere and E. Mazer Using Genetic Algorithms for Robot Motion Planning . . . . . . . . . . . . 84 R. Zapata and P. Lepinay Fast Mobile Robots in Unstructured Environments . . . . . . . . . . . . . . 94 B. Espiau and F. Chaumette and P. Rives A New Approach to Visual Servoing in Robotics . . . . . . . . . . . . . . . . 106 R. Mohr and L. Morin Geometric Solutions to some $3$D Vision Problems . . . . . . . . . . . . . . . . 139 J. M. Chassery and A. Montanvert Geometrical Representation of Shapes and Objects for Visual Perception . . . . . 163 B. Zoppis and G. Calvary and J. L. Crowley Perceptual Grouping for Scene Interpretation in an Active Vision System . . . . . . . . . . . . . . . . . 183 P. Moutarlier and R. Chatila Incremental Free-Space Modelling from Uncertain Data by an Autonomous Mobile Robot . . . . . . . . . . . . . . . . . 200 S. Lavallee and R. Szeliski and L. Brunie Matching $3$-D Smooth Surfaces with their $2$-D Projections using $3$-D Distance Maps . . . . . . . . . . . . . 217 C. Nastar and N. Ayache A New Physically Based Model for Efficient Tracking and Analysis of Deformations . . . . . . . . . . . . . . 239 F. Leitner and P. Cinquin From Splines and Snakes to SNAKE SPLINES 264
M. J. Atallah and D. Z. Chen Computing the All-Pairs Longest Chains in the Plane . . . . . . . . . . . . . . 1 A. Borodin Towards a Better Understanding of Pure Packet Routing . . . . . . . . . . . . . 14 R. Cole Tolerating Faults in Meshes and Other Networks (abstract) . . . . . . . . . . 26 R. M. Karp A Generalization of Binary Search . . . 27 A. C. Yao Groups and Algebraic Complexity (abstract) . . . . . . . . . . . . . . . 35 P. K. Agarwal and M. Van Kreveld Connected Component and Simple Polygon Intersection Searching . . . . . . . . . 36 N. M. Amato An Optimal Algorithm for Finding the Separation of Simple Polygons . . . . . 48 A. Andersson Balanced Search Trees Made Simple . . . 60 Y. Aoki and H. Imai and K. Imai and D. Rappaport Probing a Set of Hyperplanes by Lines and Related Problems . . . . . . . . . . 72 L. Arge and M. Knudsen and K. Larsen A General Lower Bound on the I/O-Complexity of Comparison-Based Algorithms . . . . . . . . . . . . . . . 83 E. M. Arkin and M. T. Goodrich and J. S. B. Mitchell and D. Mount and C. D. Piatko and S. S. Skiena Point Probe Decision Trees for Geometric Concept Classes . . . . . . . . . . . . 95 D. Armon and J. Reif A Dynamic Separator Algorithm . . . . . 107 Y. Azar and B. Kalyanasundaram and S. Plotkin and K. R. Pruhs and O. Waarts Online Load Balancing of Temporary Tasks 119 H. Balakrishnan and A. Rajaraman and C. P. Rangan Connected Domination and Steiner Set on Asteroidal Triple-Free Graphs . . . . . 131 R. Balasubramanian and V. Raman and G. Srinivasaraghavan The Complexity of Finding Certain Trees in Tournaments . . . . . . . . . . . . . 142 G. Di Battista and G. Liotta and F. Vargiu Spirality of Orthogonal Representations and Optimal Drawings of Series-Parallel Graphs and 3-Planar Graphs . . . . . . . 151 P. Beame and F. E. Fich and R. K. Sinha Separating the Power of EREW and CREW PRAMs with Small Communication Width . . 163 O. Berkman and Y. Matias and P. Ragde Triply-Logarithmic Upper and Lower Bounds for Minimum, Range Minima, and Related Problems with Integer Inputs . . 175 M. Bern and D. Eppstein and S.-H. Teng Parallel Construction of Quadtrees and Quality Triangulations . . . . . . . . . 188 P. Bose and J. F. Buss and A. Lubiw Pattern Matching for Permutations . . . 200 P. Bose and M. Van Kreveld and G. Toussaint Filling Polyhedral Molds . . . . . . . . 210 M.-S. Chang and S.-L. Peng and J.-L. Liaw Deferred-Query --- An Efficient Approach for Problems on Interval and Circular-Arc Graphs . . . . . . . . . . 222 J. Chen and S. P. Kanchi and A. Kanevsky On the Complexity of Graph Embeddings 234 K. L. Clarkson Algorithms for Polytope Covering and Approximation . . . . . . . . . . . . . 246 B. Codenotti and G. Manzini and L. Margara and G. Resta Global Strategies for Augmenting the Efficiency of TSP Heuristics . . . . . . 253 A. Datta and H.-P. Lenhof and C. Schwarz and M. Smid Static and Dynamic Algorithms for $k$-Point Clustering Problems . . . . . 265 O. Devillers and A. Fabri Scalable Algorithms for Bichromatic Line Segment Intersection Problems on Coarse Grained Multicomputers . . . . . . . . . 277 P. F. Dietz and R. Raman Persistence, Randomization and Parallelization: On Some Combinatorial Games and Their Applications . . . . . . 289 Y. Ding and M. A. Weiss The k-D Heap: An Efficient Multi-Dimensional Priority Queue . . . . 302 K. Dobrindt and K. Mehlhorn and M. Yvinec A Complete and Efficient Algorithm for the Intersection of a General and a Convex Polyhedron . . . . . . . . . . . 314 A. Efrat and M. Sharir and A. Ziv Computing the Smallest $k$-Enclosing Circle and Related Problems . . . . . . 325 R. Giancarlo An Index Data Structure for Matrices, with Applications to Fast Two-Dimensional Pattern Matching . . . . 337 T. Graf and K. Hinrichs A Plane-Sweep Algorithm for the All-Nearest-Neighbors Problem for a Set of Convex Planar Objects . . . . . . . . 349 P. Gupta and R. Janardan and M. Smid Further Results on Generalized Intersection Searching Problems: Counting, Reporting, and Dynamization 361 P. J. Heffernan Generalized Approximate Algorithms for Point Set Congruence . . . . . . . . . . 373 T. Jiang and M. Li Approximating Shortest Superstrings with Constraints . . . . . . . . . . . . . . 385 S. Kannan and T. Warnow Tree Reconstruction from Partial Orders 397 M.-Y. Kao and S.-H. Teng and K. Toyama Improved Parallel Depth-First Search in Undirected Planar Graphs . . . . . . . . 409 D. Karger and R. Motwani and G. D. S. Ramkumar On Approximating the Longest Path in a Graph . . . . . . . . . . . . . . . . . 421 S. Khuller and B. Raghavachari and N. Young Designing Multi-Commodity Flow Trees . . 433 P. N. Klein and S. Subramanian A Fully Dynamic Approximation Scheme for All-Pairs Paths in Planar Graphs . . . . 442 M. Van Kreveld On Fat Partitioning, Fat Covering, and the Union Size of Polygons . . . . . . . 452 D. Krizanc A Time-Randomness Tradeoff for Selection in Parallel . . . . . . . . . . . . . . 464 H.-I. Lu and P. N. Klein and R. H. B. Netzer Detecting Race Conditions in Parallel Programs that Use One Semaphore . . . . 471 B. M. Maggs and M. Rauch An Algorithm for Finding Predecessors in Integer Sets . . . . . . . . . . . . . . 483 R. S. Maier and R. Schott The Exhaustion of Shared Memory: Stochastic Results . . . . . . . . . . . 494 A. Mirzaian Minimum Weight Euclidean Matching and Weighted Relative Neighborhood Graphs 506 P. Mitra and B. Bhattacharya Efficient Approximate Shortest-Path Queries Among Isothetic Rectangular Obstacles . . . . . . . . . . . . . . . 518 L. Palazzi and J. Snoeyink Counting and Reporting Red/Blue Segment Intersections . . . . . . . . . . . . . 530 M. Pellegrini Repetitive Hidden-Surface-Removal for Polyhedral Scenes . . . . . . . . . . . 541 R. De Prisco and A. Monti On Reconfigurability of VLSI Linear Arrays . . . . . . . . . . . . . . . . . 553 S. S. Skiena and G. Sundaram Reconstructing Strings from Substrings 565 D. L. Souvaine and C.-K. Yap Combinatorial Complexity of Signed Discs 577 M. F. M. Stallmann and T. A. Hughes Fast Algorithms for One-Dimensional Compaction with Jog Insertion . . . . . 589 K. Swanson An Optimal Algorithm for Roundness Determination on Convex Polygons . . . . 601 J. A. Telle and A. Proskurowski Practical Algorithms on Partial $k$-Trees with an Application to Domination-Like Problems . . . . . . . . 610 J. Westbrook and D. C. K. Yan Greedy Algorithms for the On-Line Steiner Tree and Generalized Steiner Problems . . . . . . . . . . . . . . . . 622
V. Diekert Rewriting, Mobius Functions and Semi-Commutations . . . . . . . . . . . 1 M. Dietzfelbinger Simulations between Different Models of Parallel Computers . . . . . . . . . . . 16 M. Ito Dense and Disjunctive Properties of Languages . . . . . . . . . . . . . . . 31 H. Jurgensen and S. Konstantinidis The Hierarchy of Codes . . . . . . . . . 50 H.-J. Kreowski Five Facets of Hyperedge Replacement Beyond Context-Freeness . . . . . . . . 69 R. Milner An Action Structure for Synchronous pi-Calculus . . . . . . . . . . . . . . 87 R. Pudlak $ \mbox {AC}^0 $ Circuit Complexity. A Survey of Lower Bounds . . . . . . . . . 106 A. Salomaa Pattern Languages: Problems of Decidability and Generation . . . . . . 121 H. Abdulrab and M. Maksimenko General Solution of Mirror Equation . . 133 Y. Andre and F. Bossut Decidability of Equivalence for Linear Letter to Letter Top-Down Tree Transducers . . . . . . . . . . . . . . 142 J. A. Bergstra and Gh. Stefanescu Translations Between Flowchart Schemes and Process Graphs . . . . . . . . . . . 152 V. E. Cazanescu Local Equational Logic . . . . . . . . . 162 P. Chrzastowski-Wachtel and M. Raczunas Liveness of Weighted Circuits and the Diophantine Problem of Frobenius . . . . 171 B. Courcelle Context-Free Graph Grammars: Separating Vertex Replacement from Hyperedge Replacement . . . . . . . . . . . . . . 181 P. Domosi and S. Horvath and M. Ito and L. Kaszonyi and M. Katsura Formal Languages Consisting of Primitive Words . . . . . . . . . . . . . . . . . 194 B. Durand Undecidability of the Surjectivity Problem for $2$D Cellular Automata: A Simplified Proof . . . . . . . . . . . . 204 J. Ebert Efficient Interpretation of State Charts 212 H. Fassbender Implementation of a Universal Unification Algorithm for Macro Tree Transducers . . . . . . . . . . . . . . 222 P. Fischer Finding Maximum Convex Polygons . . . . 234 P. Fischer and K.-U. Hoffgen and H. Lefmann and T. Luczak Approximations with Axis-Aligned Rectangles . . . . . . . . . . . . . . . 244 M. Girkar and R. Moll Vector Sequence Analysis and Full Weak Safety for Concurrent Systems . . . . . 256 H. D. Groger Does Transitivity Help? On the Complexity of Poset Properties . . . . . 266 T. Hagerup and M. Maas Generalized Topological Sorting in Linear Time . . . . . . . . . . . . . . 279 L. A. Hemachandra and R. Silvestri Easily Checked Self-Reducibility . . . . 289 M. Holzer and K.-J. Lange On the Complexities of Linear LL(1) and LR(1) Grammars . . . . . . . . . . . . . 299 D. V. Hung and T. V. Dung On the Relation Between Firing Sequences and Processes of Petri Nets . . . . . . 309 K. Jansen and P. Scheffler and G. Woeginger Maximum Covering with D Cliques . . . . 319 R. Kemp Monotonically Labelled Ordered Trees and Multidimensional Binary Trees . . . . . 329 S. Kuske Maximum Path Length Pumping Lemma for Edge-Replacement Languages . . . . . . . 342 R. S. Maier and R. Schott Regular Approximations to Shuffle Products of Context-Free Languages, and Convergence of their Generating Functions . . . . . . . . . . . . . . . 352 E. G. Manes The Equational Theory of a Boolean Monad 363 M. Margenstern Non Erasing Turing Machines: A Frontier Between a Decidable Halting Problem and Universality . . . . . . . . . . . . . . 375 A. Mateescu On Scattered Syntactic Monoids . . . . . 386 A. Potthoff and W. Thomas Regular Tree Languages without Unary Symbols are Star-Free . . . . . . . . . 396 Z. Roka One-Way Cellular Automata on Cayley Graphs . . . . . . . . . . . . . . . . . 406 P. Ruzicka and I. Privara On Tree Pattern Unification Problems . . 418 K. Salomaa and D. Wood and S. Yu Structural Equivalence and ETOL Grammars 430 G. Slutzki and S. Vagvolgyi A Hierarchy of Deterministic Top-Down Tree Transformations . . . . . . . . . . 440 H. Wu Synthesis of $ {O}(\mbox {lg} n) $ Testable Trees . . . . . . . . . . . . . 452 J. Yin and Z. Hong On the Learnability of a Restricted Predicate Formulae . . . . . . . . . . . 462
K. R. Apt and S. Etalle Krzysztof R. Apt: On the unification free Prolog programs . . . . . . . . . . 1 A. Arnold and A. Dicky Andre Arnold: Equivalences and preorders of transition systems . . . . . . . . . 20 J. McKinna and R. Burstall Rod Burstall: Deliverables: a categorical approach to program development in type theory . . . . . . . 32 Anonymous Volker Diekert: Complex and complex-like traces . . . . . . . . . . . . . . . . . 68 Anonymous Matthew Hennessy: Symbolic bisimulations (abstract) . . . . . . . . . . . . . . . 83 F. Honsell and M. Lenisa Furio Honsell: Some results on the full abstraction problem for restricted lambda calculi . . . . . . . . . . . . . 84 Anonymous Robin Milner: Action calculi, or syntactic action structures . . . . . . 105 A. M. Pitts and I. D. B. Stark Andrew M. Pitts: Observable properties of higher order functions that dynamically create local names, or: What's new? . . . . . . . . . . . . . . 122 Anonymous Vaughan Pratt: The second calculus of binary relations . . . . . . . . . . . . 142 A. Ehrenfeucht and G. Rozenberg Grzegorz Rozenberg: An introduction to dynamic labeled 2-structures . . . . . . 156 A. Mateescu and A. Salomaa Arto K. Salomaa: Post correspondence problem: Primitivity and interrelations with complexity classes . . . . . . . . 174 Anonymous Philip Wadler: A taste of linear logic 185 L. Alonso and R. Schott On the tree inclusion problem . . . . . 211 R. Amadio On the adequacy of per models . . . . . 222 V. Arvind and J. Kobler and M. Mundhenk Hausdorff reductions to sparse sets and to sets of high information content . . 232 E. Astesiano and G. Reggio and E. Zucca Stores as homomorphisms and their transformations . . . . . . . . . . . . 242 J. W. de Bakker and F. Van Breugel and A. de Bruin Comparative semantics for linear arrays of communicating processes, a study of the UNIX fork and pipe commands . . . . 252 D. Beauquier and A. Podelski Rabin tree automata and finite monoids 262 M. Benke Efficient type reconstruction in the presence of inheritance . . . . . . . . 272 J. Berstel and P. Seebold A characterization of Sturmian morphisms 281 H. L. Bodlaender and K. Jansen On the complexity of scheduling incompatible jobs with unit-times . . . 291 M. Bonsangue and J. N. Kok Isomorphisms between predicate and state transformers . . . . . . . . . . . . . . 301 Cai Liming and Chen Jianer On the amount of nondeterminism and the power of verifying . . . . . . . . . . . 311 I. Castellani Observing distribution in processes . . 321 C. Cerin and A. Petit Speedup of recognizable trace languages 332 M. Cerioli and J. Meseguer May I borrow your logic? . . . . . . . . 342 S. Chaudhuri and T. Hagerup and R. Raman Approximate and exact deterministic parallel selection . . . . . . . . . . . 352 Chen Jian and J. Staples Defining soft sortedness by abstract interpretation . . . . . . . . . . . . . 362 Chen Liang A model for real-time process algebras 372 J. F. Costa and A. Sernadas and C. Sernadas Data encapsulation and modularity: Three views of inheritance . . . . . . . . . . 382 K. Culik II and J. Kari Image compression using weighted finite automata . . . . . . . . . . . . . . . . 392 M. Dezani-Ciancaglini and U. De'liguoro and A. Piperno Filter models for a parallel and non deterministic lambda-calculus . . . . . 403 P. di Gianantonio Real number computability and domain theory . . . . . . . . . . . . . . . . . 413 Z. B. Diskin and I. D. Beylin Lambda substitution algebras . . . . . . 423 B. Durand Global properties of $2$D cellular automata: Some complexity results . . . 433 U. Engberg and G. Winskel Completeness results for linear logic on Petri nets . . . . . . . . . . . . . . . 442 A. Fantechi and S. Gnesi and V. Perticaroli An expressive logic for basic process algebra . . . . . . . . . . . . . . . . 453 G. S. Frandsen and P. B. Miltersen and S. Skyum The complexity of finding replicas using equality tests . . . . . . . . . . . . . 463 R. J. Van Glabbeek A complete axiomatization for branching bisimulation congruence of finite-state behaviours . . . . . . . . . . . . . . . 473 E. de Haas and P. Van Emde Boas Object oriented application flow graphs and their semantics . . . . . . . . . . 485 J. Hromkovic and J. Kari and L. Kari Some hierarchies for the communication complexity measures of cooperating grammar systems . . . . . . . . . . . . 495 L. Ibarra and D. Richards Efficient parallel graph algorithms based on open ear decomposition . . . . 506 O. H. Ibarra and N. Tran On the communication complexity of parallel computation . . . . . . . . . . 517 P. Jancar and F. Mraz and M. Platek A taxonomy of forgetting automata . . . 527 Jifeng He Hybrid parallel programming and implementation of synchronised communication . . . . . . . . . . . . . 537 A. Kiehn Proof systems for cause based equivalences . . . . . . . . . . . . . . 547 B. Martin A uniform universal CREW PRAM . . . . . 557 D. Murphy Observing located concurrency . . . . . 566 P. Narbel The boundary of substitution systems . . 577 J. Neraud New algorithms for detecting morphic images of a word . . . . . . . . . . . . 588 P. P/Aczkowski Ignoring nonessential interleavings in assertional reasoning on concurrent programs . . . . . . . . . . . . . . . . 598 M. Parigot and P. Roziere Constant time reductions in lambda-calculus . . . . . . . . . . . . 608 F. Parisi-Presicce and S. Veglioni Heterogeneous unified algebra . . . . . 618 D. Pigozzi and A. Salibra A representation theorem for lambda abstraction algebras . . . . . . . . . . 629 R. Pliuskevicius On saturated calculi for a linear temporal logic . . . . . . . . . . . . . 640 H. Puhlmann The snack powerdomain for database semantics . . . . . . . . . . . . . . . 650 B. Reus and T. Streicher Verifying properties of module construction in type theory . . . . . . 660 P. Ruzicka and J. Waczulik On time-space trade-offs in dynamic graph pebbling . . . . . . . . . . . . . 671 V. Sassone and M. Nielsen and G. Winskel Deterministic behavioural models for concurrency . . . . . . . . . . . . . . 682 D. Scholefield and H. Zedan and Jifeng He Real-time refinement: Semantics and application . . . . . . . . . . . . . . 693 B. Steffen and C. Weise Deciding testing equivalence for real-time processes with dense time . . 703 W. Stephan and A. Wolpers A calculus for higher order procedures with global variables . . . . . . . . . 714 D. Stevens Variable substitution with iconic combinators . . . . . . . . . . . . . . 724 R. Treinen Feature constraints with first-class features . . . . . . . . . . . . . . . . 734 D. Wagner and F. Wagner Between Min Cut and Graph Bisection . . 744 E. Wanke Paths and cycles in finite periodic graphs . . . . . . . . . . . . . . . . . 751 Yin Jilei and Hong Zhu Learning decision lists from noisy examples . . . . . . . . . . . . . . . . 761 N. Zabel Analytic tableaux for finite and infinite Post logics . . . . . . . . . . 767
Anonymous Session 1 . . . . . . . . . . . . . . . 1 K. Jeffay and D. L. Stone and T. Talley and F. D. Smith Adaptive, Best-Effort Delivery of Digital Audio and Video Across Packet-Switched Networks . . . . . . . . 3 Gerard J. M. Smit and Paul J. M. Havinga The Architecture of Rattlesnake: A Real-Time Multimedia Network . . . . . . 15 Ralf Guido Herrtwich and Luca Delgrossi Beyond ST-II: Fulfilling the Requirements of Multimedia Communication 25 Roger Needham and Akira Nakamura An Approach to Real-Time Scheduling --- But is It Really a Problem for Multimedia? . . . . . . . . . . . . . . 32 Anonymous Session 2 . . . . . . . . . . . . . . . 40 Philip S. Yu and Chen Mon-Song and Dilip D. Kandlur Design and Analysis of a Grouped Sweeping Scheme for Multimedia Storage Management . . . . . . . . . . . . . . . 44 Harrick M. Vin and P. Venkat Rangan Admission Control Algorithms for Multimedia On-Demand Servers . . . . . . 56 Phillip Lougher and Doug Shepherd The Design and Implementation of a Continuous Media Storage Server . . . . 69 Kathleen M. Nichols Performance Studies of Digital Video in a Client/Server Environment . . . . . . 81 Anonymous Session 3 . . . . . . . . . . . . . . . 92 Luiz F. Rust Da Costa Carmo and Pierre De Saqui-Sannes and Jean-Pierre Courtiat Basic Synchronization Concepts in Muldimedia Systems . . . . . . . . . . . 94 Kurt Rothermel and Gabriel Dermler Synchronization in Joint-Viewing Environments . . . . . . . . . . . . . . 106 Dick C. A. Bulterman Synchronization of Multi-Sourced Multimedia Data for Heterogeneous Target Systems . . . . . . . . . . . . . . . . 119 T. D. C. Little and F. Kao An Intermedia Skew Control System for Multimedia Data Presentation . . . . . . 130 Anonymous Session 4 . . . . . . . . . . . . . . . 142 Mark Moran and Riccardo Gusella System Support for Efficient Dynamically-Configurable Multi-Party Interactive Multimedia Applications . . 143 Darren New and Jonathan Rosenberg and Gil Cruz and Tom Judd Requirements for Network Delivery of Stored Interactive Multimedia . . . . . 157 Rusti Baker and Alan Downing and Kate Finn and Earl Rennison and Doohyun David Kim and Hwan Lim Young Multimedia Processing Model for a Distributed Multimedia I/O System . . . 164 Mauricio Arango and Michael Kramer and Steven L. Rohall and Lillian Ruston and Abel Weinrib Enhancing the Touring Machine API to Support Integrated Digital Transport . . 176 Anonymous Session 5 . . . . . . . . . . . . . . . 183 Zhang Hui and Tom Fisher Preliminary Measurement of the RMTP/RTIP 185 Joseph C. Pasquale and George C. Plyzos and Eric W. Anderson and Vachaspathi P. Kompella The Multimedia Multicast Channel . . . . 197 Wei Liming and Liaw Fongching and Deborah Estrin and Allyn Romanow and Tom Lyon Analysis of a Resequencer Model for Multicast over ATM Networks . . . . . . 209 Anonymous Session 6 . . . . . . . . . . . . . . . 221 G. Blair and G. Coulson and P. Auzimour and L. Hazard and F. Horn and J. B. Stefani An Integrated Platform and Computational Model for Open Distributed Multimedia Applications . . . . . . . . . . . . . . 223 M. Cecelia Buchanan and Polle T. Zellweger Scheduling Multimedia Documents Using Temporal Constraints . . . . . . . . . . 237 Thomas G. Aguierre Smith and Glorianna Davenport The Stratification System: A Design Environment for Random Access Video . . 250 John F. Koegel On the Design of Multimedia Interchange Formats . . . . . . . . . . . . . . . . 262 Anonymous Session 7 . . . . . . . . . . . . . . . 272 Gerard A. Wall and James G. Hanko and J. Duane Northcutt Bus Bandwidth Management in a High Resolution Video Workstation . . . . . . 274 Peter Druschel and Mark B. Abbott and Michael Pagels and Larry L. Peterson Analysis of I/O Subsystem Design for Multimedia Workstation . . . . . . . . . 289 Roger B. Dannenberg and Tom Neuendorffer and Joseph M. Newcomer and Dean Rubine Tactus: Toolkit-Level Support for Synchronized Interactive Multimedia . . 302 Anonymous Short Paper Session I . . . . . . . . . 314 James Yee and Pravin Varaiya An Analytical Model for Real-Time Multimedia Disk Scheduling . . . . . . . 315 Tom Fisher Real-Time Scheduling Support in Ultrix-4.2 for Multimedia Communication 321 Srinivas Ramanathan and P. Venkat Rangan Continuous Media Synchronization in Distributed Multimedia Systems . . . . . 328 Anonymous Short Paper Session II . . . . . . . . . 336 Guy Cherry and Jim Nussbaum and Mayer Schwartz High Speed Networks and the Digital TV Studio . . . . . . . . . . . . . . . . . 337 Eve M. Schooler The Impact of Scaling on a Multimedia Connection Architecture . . . . . . . . 341 Anonymous Short Paper Session III . . . . . . . . 347 Sugih Jamin and Scott Shenker and Lixia Zhang and David D. Clark An Admission Control Algorithm for Predictive Real-Time Service (Extended Abstract) . . . . . . . . . . . . . . . 349 Daniel P. Ingold MEGAPHONE: A Multimedia Application Based on Object-Oriented Communication 357 Stephen T.-C. Chou and Hideyuki Tokuda System Support for Dynamic QOS Control of Continuous Media Communication . . . 363 Anonymous Short Paper Session IV . . . . . . . . . 369 Sameer Patel and Ghaleb Abdulla and Marc Abrams and Edward A. Fox NMFS: Network Multimedia File System Protocol . . . . . . . . . . . . . . . . 370 Lawrence A. Rowe and Brian C. Smith A Continuous Media Player . . . . . . . 376 Deborah Swanberg and Fe Shu Chiao and Ramesh Jain Architecture of a Multimedia Information System for Content-Based Retrieval . . . 387 Anonymous Short Paper Session V . . . . . . . . . 393 Simon Gibbs Application Construction and Component Design in an Object-Oriented Multimedia Framework . . . . . . . . . . . . . . . 394 Rei Hamakawa and Hidekazu Sakagami and Jun Rekimoto Audio and Video Extensions to Graphical User Interface Toolkits . . . . . . . . 399 Thomas Kappner and Dietmar Hehmann and Ralf Steinmetz An Introduction to HeiMAT: The Heidelberg Multimedia Application Toolkit . . . . . . . . . . . . . . . . 405
Egon Borger and Dean Rosenzweig The Mathematics of Set Predicates in Prolog . . . . . . . . . . . . . . . . . 1 Robert Cowen Some Connections Between Set Theory and Computer Science . . . . . . . . . . . . 14 Solomon Feferman Godel's Dialectica Interpretation and Its Two-Way Stretch . . . . . . . . . . 23 Petr Hajek Epistemic Entrenchment and Arithmetical Hierarchy (Abstract) . . . . . . . . . . 41 Joseph Y. Halpern A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing . . . . . . . . . . . . . . . . 43 V. Wiktor Marek Complexity Issues in Nonmonotonic Logic and Logic Programming (Abstract) . . . . 61 Grigori Mints Strategies for Resolution Method in Non-Classical Logics (Abstract) . . . . 62 Leszek Pacholski Undecidability of Implication Problems in Logic Programming, Data Base Theory and Classical Logic . . . . . . . . . . 63 Giovanni Sambin and Silvio Valentini Building up a Tool-Box for Martin-Löf's Type Theory (Abstract) . . . . . . . . . 69 Sergei Artemov and Tyko Straben The Logic of the Godel Proof Predicate 71 Leo Bachmair and Harald Ganzinger and Uwe Waldmann Superposition with Simplification as a Decision Procedure for the Monadic Class with Equality . . . . . . . . . . . . . 83 Nicholas P. Bamber Computation with Access to the Reals, but Using Only Classical Machines . . . 97 Bernhard Beckert and Reiner Hahnle and Peter H. Schmitt The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux . . . . 108 Mario R. F. Benevides Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction . . . . . . . . . . . . . . . 120 Alberto Bottoni and Giorgio Levi The Inverse of Fitting's Functional . . 132 Stefan Bruning On Loop Detection in Connection Calculi 144 Newton C. A. Da Costa and Francisco A. Doria On Arnold's Hilbert Symposium Problems 152 Vincent Danos and Jean-Baptiste Joinet and Harold Schellinx The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs . . . . . . . . . . . . . . . . . 159 Uwe Egly On Different Concepts of Function Introduction . . . . . . . . . . . . . . 172 Giovanni Faglia Double Exponential Inseparability of Robinson Subsystem $ {Q}_+ $ from the Unsatisfiable Sentences in the Language of Addition . . . . . . . . . . . . . . 184 Giovanni Faglia and Paul Young On the Meaning of Essentially Unprovable Theorems in the Presburger Theory of Addition (Abstract) . . . . . . . . . . 187 Paul C. Gilmore A Syntactic Consistency Proof for NaDSet 190 Jean Goubault A Rule-Based Algorithm for Rigid E-Unification . . . . . . . . . . . . . 202 Tomi Janhunen and Ilkka Niemela A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning 211 Jan Johannsen On the Weakness of Sharply Bounded Polynomial Induction . . . . . . . . . . 223 Adam Kolany On the Logic of Hypergraphs . . . . . . 231 Martin Kummer and Frank Stephan Recursion Theoretic Properties of Frequency Computation and Bounded Queries (Extended Abstract) . . . . . . 243 Andre Nies Interpreting True Arithmetic in Degree Structures . . . . . . . . . . . . . . . 255 Michel Parigot Classical Proofs as Programs . . . . . . 263 Uwe Petermann Completeness of the Pool Calculus with an Open Built-in Theory . . . . . . . . 277 Regimantas Pliuskevicius On the Saturation Principle for a Linear Temporal Logic . . . . . . . . . . . . . 289 Vladimir Sazonov and Andrei Voronkov A Construction of Typed Lambda Models Related to Feasible Computability . . . 301 Grigori Schwarz and Miroslaw Truszczynski Nonmonotonic Reasoning is Sometimes Simpler . . . . . . . . . . . . . . . . 313 Dan E. Willard Self-Verifying Axiom Systems . . . . . . 325 Jiri Zlatuska Committed-Choice Concurrent Logic Programming in Linear Logic . . . . . . 337
U. Kastens Executable Specifications for Language Implementation . . . . . . . . . . . . . 1 J. Boye Avoiding Dynamic Delays in Functional Logic Programs . . . . . . . . . . . . . 12 M. Hanus and B. Josephs A Debugging Model for Functional Logic Programs . . . . . . . . . . . . . . . . 28 P. Lim and J. Schimpf A Conservative Approach to Meta-Programming in Constraint Logic Programming . . . . . . . . . . . . . . 44 J. Jourdan and T. Sola The Versatility of Handling Disjunctions as Constraints . . . . . . . . . . . . . 60 M.-M. Corsini and K. Musumbu and A. Rauzy and B. L. Charlier Efficient Bottom-up Abstract Interpretation of Prolog by means of Constraint Solving over Symbolic Finite Domains . . . . . . . . . . . . . . . . 75 A. Kagedal Improvements in Compile-Time Analysis for Ground Prolog . . . . . . . . . . . 92 M.-J. Nederhof A New Top-Down Parsing Algorithm for Left-Recursive DCGs . . . . . . . . . . 108 M. Jourdan and C. L. Bellec and D. Parigot and G. Roussel Specification and Implementation of Grammar Couplings Using Attribute Grammars . . . . . . . . . . . . . . . . 123 A. Poetzsch-Heffter Programming Language Specification and Prototyping Using the MAX System . . . . 137 A. Mantsivoda Flang and Its Implementation . . . . . . 151 J. J. Moreno-Navarro and H. Kuchen and J. Marino-Carballo and S. Winkler and W. Hans Efficient Lazy Narrowing Using Demandedness Analysis . . . . . . . . . 167 R. Loogen and F. L. Fraguas and M. Rodrigues-Artalejo A Demand Driven Computation Strategy for Lazy Narrowing . . . . . . . . . . . . . 184 J. Darlington and Y. Guo and M. Kohler Functional Programming Languages with Logical Variables: A Linear Logic View 201 A. Natali and A. Omicini Objects with State in Contextual Logic Programming . . . . . . . . . . . . . . 220 K. A. M. Ali and R. Karlsson A Novel Method for Parallel Implementation of findall . . . . . . . 235 R. Moolenaar and B. Demoen A Parallel Implementation for AKL . . . 246 O. Kaser Inlining to Reduce Stack Space . . . . . 262 A. Dovier and E. Pontelli A WAM-Based Implementation of a Logic Language with Sets . . . . . . . . . . . 275 V. Benjumea and J. M. Troya An OR Parallel Prolog Model for Distributed Memory Systems . . . . . . . 291 J. Barklund and J. Bevemyr Executing Bounded Quantifications on Shared Memory Multiprocessors . . . . . 302 D. Clark and C. Hankin A Lattice of Abstract Graphs . . . . . . 318 M. Rosendahl Higher-Order Chaotic Iteration Sequences 332 G. Burn and D. L. Metayer Proving the Correctness of Compiler Optimisations Based on Strictness Analysis . . . . . . . . . . . . . . . . 346 A. Y. Dikovsky Abstract Complexity of Prolog Based on WAM . . . . . . . . . . . . . . . . . . 365 A. Letichevsky Development of Rewriting Strategies . . 378 M. Alpuente and M. Falaschi and M. J. Ramis and G. Vidal Narrowing Approximations as an Optimization for Equational Logic Programs . . . . . . . . . . . . . . . . 391 P. Canalda and L. Cognard and A. Despland and M. Mazaud PAGODE: A Back End Generator . . . . . . 410 M. Bugliesi and G. Nardiello SelfLog: Language and Implementation . . 412 M. Jourdan and F. Lagnier and F. Maraninchi and P. Raymond Embedding Declarative Subprograms into Imperative Constructs . . . . . . . . . 414 G. Hogen and R. Loogen Stack Management of Runtime Structures in Distributed Implementations . . . . . 416 C. W. Kebler and T. Rauber Efficient Register Allocation for Large Basic Blocks . . . . . . . . . . . . . . 418 M. Alt and G. Sander and R. Wilhelm Generation of Synchronization Code for Parallel Compilers . . . . . . . . . . . 420
Gerard Boudol Invited Talk: The lambda-calculus with multiplicities (extended abstract) . . . 1 Joost Engelfriet A multiset semantics for the pi-calculus with replication . . . . . . . . . . . . 7 Mads Dam Model checking mobile processes . . . . 22 Glenn Bruns A practical technique for process abstraction . . . . . . . . . . . . . . 37 Maarten Fokkinga and Mannes Poel and Job Zwiers Modular completeness for communication closed layers . . . . . . . . . . . . . 50 Rob J. Van Glabbeek The linear time --- branching time spectrum II (The semantics of sequential systems with silent moves) . . . . . . . 66 Vladimiro Sassone and Mogens Nielsen and Glynn Winskel A classification of models for concurrency . . . . . . . . . . . . . . 82 Luca Aceto and David Murphy On the ill-timed but well-caused . . . . 97 Roberto M. Amadio On the reduction of chocs bisimulation to pi-calculus bisimulation . . . . . . 112 Davide Sangiorgi A theory of bisimulation for the pi-calculus . . . . . . . . . . . . . . 127 Soren Christensen and Yoram Hirshfeld and Faron Moller Bisimulation equivalence is decidable for basic parallel processes . . . . . . 143 Cliff B. Jones Invited Talk: A pi-calculus semantics for an object-based design notation . . 158 K. V. S. Prasad Programming with broadcasts . . . . . . 173 Uno Holmer Interpreting broadcast communication in SCCS . . . . . . . . . . . . . . . . . . 188 Matthew Hennessy and Lin Huimin Proof systems for message-passing process algebras . . . . . . . . . . . . 202 Michael J. Butler Refinement and decomposition of value-passing action systems . . . . . . 217 Pierre Wolper and Patrice Godefroid Invited Talk: Partial-order methods for temporal verification . . . . . . . . . 233 Ole Hogh Jensen and Christian Jeppesen and Jarl Tuxen Lang and Kim G. Larsen Model construction for implicit specifications in modal logic . . . . . 247 Orna Bernholtz and Orna Grumberg Branching time temporal logic and amorphous tree automata . . . . . . . . 262 Jeremy Gunawardena A generalized event structure for the Muller unfolding of a safe net . . . . . 278 Eric Goubault Domains of higher-dimensional automata 293 Jos C. M. Baeten and Jan A. Bergstra Invited Talk: Non interleaving process algebra . . . . . . . . . . . . . . . . 308 Roberto Segala Quiescence, fairness, testing, and the notion of implementation . . . . . . . . 324 Rob T. Udink and Joost N. Kok Two fully abstract models for UNITY . . 339 Zhou Shengzong and Rob Gerth and Ruurd Kuiper Transformations preserving properties and properties preserved by transformations in fair transition systems . . . . . . . . . . . . . . . . 353 Marija Cubric and Prakash Panangaden Minimal memory schedules for dataflow networks . . . . . . . . . . . . . . . . 368 Robert Kim Yates Networks of real-time processes . . . . 384 Christian Lengauer Invited Talk: Loop parallelization in the polytope model . . . . . . . . . . . 398 Patrice Bremond-Gregoire and Insup Lee and Richard Gerber ACSR: An algebra of communicating shared resources with dense time and priorities 417 Willem Jan Fokkink An elimination theorem for regular behaviours with integration . . . . . . 432 Bart Vergauwen and Johan Lewi A linear local model checking algorithm for CTL . . . . . . . . . . . . . . . . 447 P. W. Hoogers and H. C. M. Kleijn and P. S. Thiagarajan Local event structures and Petri nets 462 Jos C. M. Baeten and Chris Verhoef A congruence theorem for structured operational semantics with predicates 477 Flemming Nielson and Hanne Riis Nielson From CML to process algebras . . . . . . 493 Kohei Honda Types for dyadic interaction . . . . . . 509 Vasco T. Vasconcelos and Kohei Honda Principal typing schemes in a polyadic pi--calculus . . . . . . . . . . . . . . 524 Bard Bloom Invited Talk: Structured operational semantics for process algebras and equational axiom systems (abstract) . . 539
Wolfgang Maab A Cognitive Model for the Process of Multimodal, Incremental Route Descriptions . . . . . . . . . . . . . . 1 Barbara Tversky Cognitive Maps, Cognitive Collages, and Spatial Mental Models . . . . . . . . . 14 Laure Vieu A Logical Framework for Reasoning about Space . . . . . . . . . . . . . . . . . 25 Daniel Hernandez Maintaining Qualitative Spatial Knowledge . . . . . . . . . . . . . . . 36 Gerard F. Ligozat Qualitative Triangulation for Spatial Reasoning . . . . . . . . . . . . . . . 54 Kai Zimmermann Enhancing Qualitative Spatial Reasoning --- Combining Orientation and Distance 69 Ian Pratt Map Semantics . . . . . . . . . . . . . 77 J. Raul Ramirez Development of a Cartographic Language 92 Leila de Floriani and Paola Marzano and Enrico Puppo Spatial Queries and Data Models . . . . 113 Sylvia de Hoop and Peter Van Oosterom and Martien Molenaar Topological Querying of Multiple Map Layers . . . . . . . . . . . . . . . . . 139 Jean-Paul Cheylan and Sylvie Lardon Towards a Conceptual Data Model for the Analysis of Spatio-Temporal Processes: The Example of the Search for Optimal Grazing Strategies . . . . . . . . . . . 158 Stephen C. Hirtle and Thea Ghiselli-Crippa and Michael B. Spring The Cognitive Structure of Space: An Analysis of Temporal Sequences . . . . . 177 Peter A. Whigham Hierarchies of Space and Time . . . . . 190 Geoffrey Edwards The Voronoi Model and Cultural Space: Applications to the Social Sciences and Humanities . . . . . . . . . . . . . . . 202 Gary S. Volta and Max J. Egenhofer Interaction with GIS Attribute Data Based on Categorical Coverage . . . . . 215 Dimitris Papadias and Timos Sellis The Semantics of Relations in $2$D Space Using Representative Points: Spatial Indexes . . . . . . . . . . . . . . . . 234 Leila de Floriani and Paola Magillo Computing Visibility Maps on a Digital Terrain Model . . . . . . . . . . . . . 248--269 David M. Mark Toward a Theoretical Framework for Geographic Entity Types . . . . . . . . 270 Albert Z. Guttenberg Land, Space and Spatial Planning in Three Time Regions . . . . . . . . . . . 284 Eric Pederson Geographic and Manipulable Space in Two Tamil Linguistic Systems . . . . . . . . 294 Daniel R. Montello Scale and Multiple Psychologies of Space 312 Arthur Getis GIS and Modeling Prerequisites . . . . . 322 Philippe Rigaux and Michel Scholl and Agnes Voisard A Map Editing Kernel Implementation: Application to Multiple Scale Display 341 Werner Kuhn Metaphors Create Theories for Users . . 366 Matthew Chalmers Using a Landscape Metaphor to Represent a Corpus of Documents . . . . . . . . . 377 Thomas Erickson From Interface to Interplace: The Spatial Environment as a Medium for Interaction . . . . . . . . . . . . . . 391 Peter Haunold and Werner Kuhn A Keystroke Level Analysis of Manual Map Digitizing . . . . . . . . . . . . . . . 406 Chou Yue-Hong Critical Issues in the Evaluation of Spatial Autocorrelation . . . . . . . . 421 Cixiang Zhan and Sudhakar Menon and Gao Peng A Directional Path Distance Model for Raster Distance Mapping . . . . . . . . 434 Erland Jungert Symbolic Spatial Reasoning in Object Shapes for Qualitative Reasoning . . . . 444 Claude W. Saunders Reasoning About Spatial Structure in Landscapes with Geographic Information Systems . . . . . . . . . . . . . . . . 463 Anonymous XII. Posters . . . . . . . . . . . . . . 478
J. N. Buxton On the Decline of Classical Programming 1 D. Harel Computers are not Omnipotent . . . . . . 10 C. Ghezzi and M. Felder and C. Bellettini Real-Time Systems: A Survey of Approaches to Formal Specification and Verification . . . . . . . . . . . . . . 11 E. Denert Software Engineering in Business and Academia: How Wide is the Gap? . . . . . 37 D. E. Perry and C. S. Stieg Software Faults in Evolving a Large, Real-Time System . . . . . . . . . . . . 48 V. R. Basili The Experience Factory and its Relationship to Other Improvement Paradigm . . . . . . . . . . . . . . . . 68 A. Finkelstein and D. Gabbay and A. Hunter and J. Kramer and B. Nuseibeh Inconsistency Handling in Multi-Perspective Specifications . . . . 84 M. Jarke and K. Pohl and S. Jacobs and J. Bubenko and P. Assenova and P. Holm and B. Wangler and C. Rolland and V. Plihon and J.-R. Schmitt Requirements Engineering: An Integrated View of Representation, Process and Domain . . . . . . . . . . . . . . . . . 100 D. W. Bustard and A. C. Winstanley Making Changes to Formal Specifications: Requirements and an Example . . . . . . 115 J. Hagelstein and D. Roelants and P. Wodon Formal Requirements Made Practical . . . 127 W. Emmerich and W. Schafer and J. Welsh Databases for Software Engineering Environments The Goal Has not yet Been Attained . . . . . . . . . . . . . . . . 145 L. Liu and D. J. Robson and R. Ellis A Regression Testing Database Model . . 163 A. W. Brown and E. J. Morris and P. F. Zarrella and F. W. Long and W. M. Caldwell Experiences with a Federated Environment Testbed . . . . . . . . . . . . . . . . 175 I. Thomas Observations on Object Management Systems and Process Support in Environments . . . . . . . . . . . . . . 197 H. Eggers Software Technology for a Distributed Telecommunication System . . . . . . . . 213 U. Cederling Industrial Software Development . . . . 226 A. Kuntzmann-Combelles Quantitative Approach to Software Management: The ami Method . . . . . . . 238 J. Reichardt Preventative Software Engineering . . . 251 A. Aue and M. Breu Distributed Information Systems: An Advanced Methodology . . . . . . . . . . 263 S. C. Cheung and J. Kramer Tractable Flow Analysis for Anomaly Detection in Distributed Programs . . . 283 J. Tuya and L. Sanchez and R. Zurita and J. A. Corrales A Pragmatic Task Design Approach Base on a Ward/Mellor Real-Time Structured Specification . . . . . . . . . . . . . 301 M. von Der Beeck Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification . . . . . . . 313 F. Depaoli and F. Tisato Language Constructs for Cooperative Systems Design . . . . . . . . . . . . . 329 J. Gintell and J. Arnold and M. Houde and J. Kruszelnicki and R. McKenney and G. Memmi Scrutiny: A Collaborative Inspection and Review System . . . . . . . . . . . . . 344 C. Godart COO: A Transaction Model to Support COOperating Software Developers COOrdination . . . . . . . . . . . . . . 361 R. Adams An Experiment in Software Retrieval . . 380 J.-J. Jeng and B. H. C. Cheng Using Formal Methods to Construct a Software Component Library . . . . . . . 397 H. Gall and R. Klosch Capsule Oriented Reverse Engineering for Software Reuse . . . . . . . . . . . . . 418 C. Liu and R. Conradi Automatic Replanning of Task Networks for Process Model Evolution in EPOS . . 434 B. Krishnamurthy and N. S. Barghouti Provence: A Process Visualisation and Enactment Environment . . . . . . . . . 451 C. J. Breiteneder and T. A. Mueck Process Programming with Active and Passive Components . . . . . . . . . . . 466 A. Coen-Porisini and R. A. Kemmerer and D. Mandrioli A Formal Framework for ASTRAL Intra-Level Proof Obligations . . . . . 483 F. Bourdoncle Assertion-Based Debugging of Imperative Programs by Abstract Interpretation . . 501
Y. Desmedt Threshold cryptosystems . . . . . . . . 3 L. Tombak and R. Safavi-Naini Authentication codes with perfect protection . . . . . . . . . . . . . . . 15 Y. Desmedt and J. Seberry Practical proven secure authentication with arbitration . . . . . . . . . . . . 27 R. Safavi-Naini and L. Tombak Authentication codes under impersonation attack . . . . . . . . . . . . . . . . . 35 W.-A. Jackson and K. M. Martin Cumulative arrays and geometric secret sharing schemes . . . . . . . . . . . . 48 W. Ogata and K. Kurosawa and S. Tsujii Nonperfect secret sharing schemes . . . 56 M. Bertilsson and I. Ingemarsson A construction of practical secret sharing schemes using linear block codes 67 Y. Zheng and J. Pieprzyk and J. Seberry HAVAL --- a one-way hashing algorithm with variable length of output . . . . . 83--104 B. Preneel and R. Govaerts and J. Vandewalle On the power of memory in the design of collision resistant hash functions . . . 105--121 T. Hardjono and Y. Zheng A practical digital multisignature scheme based on discrete logarithms . . 122 L. Harn and S. Yang Group-oriented undeniable signature schemes without the assistance of a mutually trusted party . . . . . . . . . 133 J. Seberry and X.-M. Zhang Highly nonlinear 0-1 balanced Boolean functions satisfying strict avalanche criterion . . . . . . . . . . . . . . . 145 C. Charnes and J. Pieprzyk Linear nonequivalence versus nonlinearity . . . . . . . . . . . . . . 156 J. Detombe and S. E. Tavares Constructing large cryptographically strong S-boxes . . . . . . . . . . . . . 165 V. Korzhik and V. Yakovlev Nonasymptotic estimates of information protection efficiency for the wire-tape channel concept . . . . . . . . . . . . 185 L. R. Knudsen Cryptanalysis of LOKI91 . . . . . . . . 196 E. Dawson Cryptanalysis of summation generator . . 209 C.-S. Laih and S.-M. Yen Secure addition sequence and its applications on the server-aided secret computation protocols . . . . . . . . . 219 K. Sakurai and T. Itoh Subliminal channels for signature transfer and their application to signature distribution schemes . . . . . 231 A. Fujioka and T. Okamoto and K. Ohta A practical secret voting scheme for large scale elections . . . . . . . . . 244 T. Satoh and K. Kurosawa and S. Tsujii Privacy for multi-party protocols . . . 252 J. C. Pailles New protocols for electronic money . . . 263 B. B. Nieh and S. E. Tavares Modelling and analyzing cryptographic protocols using Petri nets . . . . . . . 275 T. Matsumoto and H. Imai and C.-S. Laih and S.-M. Yen On verifiable implicit asking protocols for RSA computation . . . . . . . . . . 296 C. H. Lim and P. J. Lee Modified Maurer-Yacobi's scheme and its applications . . . . . . . . . . . . . . 308 A. Klapper The vulnerability of geometric sequences based on fields of odd characteristic 327 X. Lai and R. A. Rueppel and J. Woollven A fast cryptographic checksum algorithm based on stream ciphers . . . . . . . . 339 M. J. Mihaljevic An approach to the initial state reconstruction of a clock-controlled shift register based on a novel distance measure . . . . . . . . . . . . . . . . 349 J.-H. Yang and Z.-D. Dai Construction of $m$-ary de Bruijn sequences . . . . . . . . . . . . . . . 357 J. Snare Information technology security standards --- an Australian perspective 367 M. Cerecedo and T. Matsumoto and H. Imai Non-interactive generation of shared pseudorandom sequences . . . . . . . . . 385 M. Portz A generalized description of DES-based and Benes-based permutation generators 397 L. Condie Prime generation with the Demytko-Miller-Trbovich algorithm . . . 413 A. P. L. Hiltgen Construction of feebly-one-way families of permutations . . . . . . . . . . . . 422 K. Sakurai and T. Itoh On bit correlations among preimages of ``many to one'' one-way functions . . . 435 S.-M. Yen and C.-S. Laih The fast cascade exponentiation algorithm and its applications on cryptography . . . . . . . . . . . . . . 447 C.-C. Chang and T.-C. Wu and C.-P. Chen The design of a conference key distribution system . . . . . . . . . . 459 E. Zuk Remarks on ``The design of a conference key distribution system'' . . . . . . . 467 L. Harn and S. Yang Public-key cryptosystem based on the discrete logarithm problem . . . . . . . 469 A. Miyaji Elliptic curves over Fsub p suitable for cryptosystems . . . . . . . . . . . . . 479 C. P. Waldvogel and J. L. Massey The probability distribution of the Diffie--Hellman Key . . . . . . . . . . 492 J. Sauerbrey A modular exponentiation unit based on systolic arrays . . . . . . . . . . . . 505 C. M. O'Keefe A comparison of key distribution patterns constructed from circle geometries . . . . . . . . . . . . . . . 517 M. Rezny and E. Trimarchi A block cipher method using combinations of different methods under the control of the user key . . . . . . . . . . . . 531 B. Preneel and R. Govaerts and J. Vandewalle An attack on two hash functions by Zheng-Matsumoto-Imai . . . . . . . . . . 535--538 R. Lidl and W. B. Muller Primality testing with Lucas functions 539
R. M. Haralick Performance Characterization in Computer Vision . . . . . . . . . . . . . . . . . 1 G. L. Gimel'farb Low-Level Computational Mono and Stereo Vision: A Bayesian Approach . . . . . . 10 O. R. Musin Topographic Structure of Image . . . . . 24 W. G. Kropatsch and Ch. Reither and D. Willersinn and G. Wlaschitz The Dual Irregular Pyramid . . . . . . . 31 M. Vassilakopoulos and Y. Manolopoulos Analytical Results on the Quadtree Storage-Requirements . . . . . . . . . . 41 M. Kertesz and A. Kummert and F. Csillag From Pyramids to Quadtrees: Approximation of Heterogeneous Surfaces by Fixing Complexity . . . . . . . . . . 49 A. Kummert and S. Kabos Calculation and Estimation of Sample Statistics of Binary Images Using Quadtree Data Representations . . . . . 58 A. N. Evans and M. S. Nixon Temporal Speckle Reduction for Feature Extraction in Ultrasound Images . . . . 65 T. Sziranyi Noise Effects in Statistical Subpixel Pattern Recognition . . . . . . . . . . 74 H. G. Feichtinger and T. Strohmer Fast Iterative Reconstruction of Band-Limited Images from Non-Uniform Sampling Values . . . . . . . . . . . . 82 I. Bajla and M. Marusiak and M. Sramek Anisotropic Filtering of MRI Data Based upon Image Gradient Histogram . . . . . 90 L. V. Kasperovich and V. F. Babkin Fast Discrete Cosine Transform Approximation for JPEG Image Compression 98 W. Skarbek and A. Pietrowcew Error Diffusion in Block Truncation Coding . . . . . . . . . . . . . . . . . 105 Z. Bojkovic and D. Milanovic and A. Samcovic On a Bound on Signal-to-Noise Ratio in Subband Coding of Gaussian Image Process 113 B. Bundschuh A Linear Predictor as a Regularization Function in Adaptive Image Restoration and Reconstruction . . . . . . . . . . . 118 H. Suesse and K. Voss Inversion of Convolution by Small Kernels . . . . . . . . . . . . . . . . 123 V. Valev A Model-Based Image Quantization Technique for Supervised Image Recognition . . . . . . . . . . . . . . 128 K. Ottenberg Brightness-Contrast Diffusion and the Grouping of Missing Angles . . . . . . . 133 D. Ziou and J.-P. Fabre Rotation Invariance in Edge Detection 141 W. Alshatti and P. Lambert Using Eigenvectors of a Vector Field for Deriving a Second Directional Derivative Operator for Color Images . . . . . . . 149 N. Selmaoui and C. Leschi and H. Emptoz Crest Lines Detection in Grey Level Images: Studies of Different Approaches and Proposition of a New One . . . . . . 157 J.-P. Asselin de Beauville and M. C. Mraghni Contour-Detection Using the Shape of the Nearest Neighbors Set (NN-Set) . . . . . 165 J. Shen and S. Castan and J. Zhao A Comparative Study of Performance for Noisy Roof Edge Detection . . . . . . . 170 L. T. S. Lam and W. C. Y. Lam and D. N. K. Leung A Hough-Like Prediction/Correction Approach for Ellipse Detection . . . . . 175 W. C. Y. Lam and K. S. Y. Yuen and D. N. K. Leung Fourier Parameterization Provide Uniform Bounded Hough Space . . . . . . . . . . 183 H. Kalviainen Motion Estimation and the Randomized Hough Transform (RHT): New Methods with Gradient Information . . . . . . . . . . 191 M. S. Nixon Circle Extraction via Least Squares and the Kalman Filter . . . . . . . . . . . 199 G. Sanniti di Baja and E. Thiel A Multiresolution Shape Description Algorithm . . . . . . . . . . . . . . . 208 R. S. Choras Image Coding by Morphological Skeleton Transformation . . . . . . . . . . . . . 216 G. Brown and P. Forte and R. Malyan and P. Barnwell A Non-Linear Shape Abstraction Technique 223 N. Korneenko Minimum-Space Time-Optimal Convex Hull Algorithms . . . . . . . . . . . . . . . 231 J.-K. Guo and R.-L. Hsu and C.-H. Chen and Y.-N. Sun Detecting Corners of Polygonal and Polyhedral Objects . . . . . . . . . . . 237 T. Melen and T. Ozanian A Fast Algorithm for Dominant Point Detection on Chain-Coded Contours . . . 245 M. Jourlin and I. Fillere and J.-M. Becker and M.-J. Laboure Shapes and Metrics . . . . . . . . . . . 254 V. V. Starovoitov Simplified Technique of Structure Extraction from Textural Images . . . . 259 S. W. C. Lam and H. H. S. Ip Adaptive Pyramid Approach to Texture Segmentation . . . . . . . . . . . . . . 267 G. L. Gimel'farb and A. V. Zalesny Markov Random Fields with Short-and Long-Range Interaction for Modelling Gray-Scale Textured Images . . . . . . . 275 S. Fioravanti and D. D. Giusto Texture Recognition by the $q$-th Order Fractal Analysis . . . . . . . . . . . . 283 E. Tanaka and H. Awano and S. Masuda A Proximity Measure of Line Drawings for Comparison of Chemical Compounds . . . . 291 H. Bunke and G. Kaufmann Jigsaw Puzzle Solving Using Approximate String Matching and Best-First Search 299 N. Georgis and M. Petrou and J. Kittler A Morphological Approach to the Generalised 2-stage Stock-Cutting Problem . . . . . . . . . . . . . . . . 309 S. Ambroszkiewicz Primitive and Compound Patterns . . . . 317 N. Washio and E. Tanaka and S. Masuda A Similarity Measure between $3$-D Objects and its Parallel Computation . . 322 C.-E. Liedtke and Th. Schnier and A. Blomer Automated Learning of Rules Using Genetic Operators . . . . . . . . . . . 327 J. Desachy and E. H. Zahzah Symbolic and Iconic Information Combination for Satellite Imagery Interpretation . . . . . . . . . . . . . 335 C. G. Howard and P. Bock Multi-Class Classification and Symbolic Cognitive Processing with ALISA . . . . 343 H. Rios Computing Image Flow Using a Coarse-to-Fine Strategy for Spatiotemporal Filters . . . . . . . . . 355 W. Kasprzak and H. Niemann Visual Motion Estimation from Image Contour Tracking . . . . . . . . . . . . 363 M. Irani and B. Rousso and S. Peleg Robust Recovery of Ego-Motion . . . . . 371 J. Bulas-Cruz and A. T. Ali and E. L. Dagless A Temporal Smoothing Technique for Real-Time Motion Detection . . . . . . . 379 N. Nikolaidis and I. Pitas and M. G. Strintzis Combined Evaluation of Motion and Disparity Vector Fields for Stereoscopic Sequence Coding . . . . . . . . . . . . 387 J. Heikkonen Recovering Translational Motion Parameters from Image Sequences Using Randomized Hough Transform . . . . . . . 395 R. Agarwal and J. Sklansky Estimating Optical Flow for Large Interframe Displacements . . . . . . . . 403 T. Pajdla and V. Hlavac Surface Discontinuities in Range Images 412 R. Klette and V. Rodehorst Algorithms for Shape from Shading, Lighting Direction and Motion . . . . . 420 A. Jaklic and F. Solina Separating Diffuse and Specular Component of Image Irradiance by Translating a Camera . . . . . . . . . . 428 X. Hu and N. Ahuja Necessary and Sufficient Conditions for a Unique Solution of Plane Motion and Structure . . . . . . . . . . . . . . . 436 K. Schluns Photometric Stereo for Non-Lambertian Surfaces Using Color Information . . . . 444 K. Brunnstrom and J.-O. Eklundh Active Fixation for Junction Classification . . . . . . . . . . . . . 452 Z. Zhang Point Matching for Registration of Free-Form Surfaces . . . . . . . . . . . 460 J.-M. Bost and R. Milanese and T. Pun Temporal Precedence in Asynchronous Visual Indexing . . . . . . . . . . . . 468 T. P. Monks and J. N. Carter Improved Stripe Matching for Colour Encoded Structured Light . . . . . . . . 476 B. Chebaro and A. Crouzil and L. Massip-Pailhes and S. Castan Fusion of the Stereoscopic and Temporal Matching Results by an Algorithm of Coherence Control and Conflicts Management . . . . . . . . . . . . . . . 486 E. Lutton $3$D Model Based Stereo Reconstruction using Coupled Markov Random Fields . . . 494 V. Steinhage Occlusions and Special Views within the Reconstruction of Polyhedral Scenes . . 502 B. Gudmundsson and C. Tegenfeldt Fast Shadowing of Volume Data . . . . . 510 X. Guo Three-Dimensional Moment Invariants under Rigid Transformation . . . . . . . 518 M. D. Hemus and J. N. Carter Parameterisation of Simple Geometrical Lambertian Surfaces using Photometric Stereo . . . . . . . . . . . . . . . . . 523 S. Kawato Hough Transform to Extract $3$D Information from Images of Different View Points . . . . . . . . . . . . . . 528 M. I. Kolesnik Fast Algorithm for the Stereo Pair Matching with Parallel Computation . . . 533 A. Koschan Dense Stereo Correspondence Using Polychromatic Block Matching . . . . . . 538 J. Maver and A. Leonardis and F. Solina Planning the Next View Using the Max-Min Principle . . . . . . . . . . . . . . . 543 V. Shapiro Cross-Correlation with Reconstruction: A New Approach to Pattern Matching . . . . 548 W. L. Nowinski The Iterated Normalized Backprojection Method of Image Reconstruction . . . . . 556 O. Trofimov Cone Beam Reconstruction and Fourier Transform of Distributions . . . . . . . 564 J. Flusser and T. Suk Character Recognition by Affine Moment Invariants . . . . . . . . . . . . . . . 572 R. Fageth and W. G. Allen and U. Jager Ultra Fast Pattern Classification by Fuzzy Logic . . . . . . . . . . . . . . 578 B. Klauer and K. Waldschmidt An Object-Oriented Pen-Based Recognizer for Handprinted Characters . . . . . . . 586 E. V. Shchepin and G. M. Nepomnyashchii On the Method of Critical Points in Character Recognition . . . . . . . . . 594 S. Ablameyko and O. Okun Printed Text Segmentation Using Distance Transform . . . . . . . . . . . . . . . 599 S. Takamura and M. Takagi Recognition of Handwritten Layout Drawings . . . . . . . . . . . . . . . . 604 F.-L. Krause and H. Jansen and N. Luth Automatic Recognition of Scanned Technical Drawings . . . . . . . . . . . 609 T. P. Belikova Digital Image Processing in Radiology. An Experience of Development of Technology for Computer-Aided Diagnosis 614 J. R. Vargas and R. D. Appel and D. F. Hochstrasser and C. Pellegrini Modeling and Quantification of Protein Maps by Gaussian Fitting . . . . . . . . 627 V. A. Kovalev and N. V. Mytzik Computer Analysis of the Large Intestine Contours for the Recognition of Diseases 634 P. I. Radeva A Rule-Based Approach to Hand X-Ray Image Segmentation . . . . . . . . . . . 641 Chun-Han Chen and Yen-Ching Yu and Jinn-Kwei Guo and Chin-Hsing Chen and Yung-Nien Sun and C. I. Yu $3$-D Cerebral Vessel Reconstruction from Angiograms . . . . . . . . . . . . 649 J. Jan and B. Gabrhel and J. Haluzikova and P. Kilian and R. Kubak, Jr. and I. Provaznik Comparison of Different Approaches to Suppress Speckles in Ultrasonic Tomograms . . . . . . . . . . . . . . . 657 K. Mikolajczyk and J. Owczarczyk and W. Recko A Test-Bed for Computer-Assisted Fusion of Multi-Modality Medical Images . . . . 664 D. W. R. Paulus and M. Wolf Object-Oriented Volume Segmentation . . 669 V. Jankovic and E. Ruzicky and L. Niepel Smooth Morphological Transformation of CT and MR Medical Data . . . . . . . . . 674 V. Smutny and T. Dostalova and J. Duskova and V. Hlavac Evaluation of Plaque Formation --- Surface Reflectance Measurement . . . . 679 G. Szekely and G. Gerig and Th. Koller and Ch. Brechbuhler and O. Kubler Analysis of MR Angiography Volume Data Leading to the Structural Description of the Cerebral Vessel Tree . . . . . . . . 687 L. N. Wiffen and J. T. Kent The Automatic Classification of Normal and Abnormal Chromosomes Using Image Analysis . . . . . . . . . . . . . . . . 693 M. Hanajik and R. G. Van Vliet Real Time Image Processing for Fast Seam Tracking . . . . . . . . . . . . . . . . 698 G. Boccignone and L. Esposito and A. Marcelli An Experimental Vision Tool for Real Time Quality Control . . . . . . . . . . 706 J. Wen High-Tech Approaches of Computer Vision in Industry . . . . . . . . . . . . . . 711 E. Ivanov and D. Holm and W. Osten and W. Juptner An Image Processing System for Material Flow Control in Coal Mining Industry . . 716 S. Bres and H. Emptoz and G. Merle Transparency Quantification. Application to Composite Materials Quality Controls by Image Processing . . . . . . . . . . 721 H. Boulecane and N. Vincent and M. Ruffier and H. Emptoz Control of Composite Material Structure by Fractal Methods . . . . . . . . . . . 726 R. M. Palenichka and R. T. Mysak Model-Based Adaptive Preprocessing of Images in Automated Visual Inspection 732 P. Perner Application of Knowledge-Based Image Inspection System for Diagnosis of Misprints in Offsetprinting . . . . . . 738 Ch. K. Toth and T. Schenk Multiple Image Matching in an Automatic Aerotriangulation System . . . . . . . . 750 S. Simberova Digital Processing of Skylab X-Ray Images of the Solar Corona . . . . . . . 759 G. Yang and T. S. Huang Finding Human Faces in a Picture . . . . 766 Gy. Cs. Hegedus CADI: Computer Assisted Educational Package for Digital Image Processing . . 770 Y. Dobrusin and Y. Edan and I. Grinshpun and U. M. Peiper and I. Wolf and A. Hetzroni Computer Image Analysis to Locate Targets for an Agricultural Robot . . . 775 J. Berke and K. Gyorffy and G. Fischl and L. Karpati and J. Bakonyi The Application of Digital Image Processing in the Evaluation of Agricultural Experiments . . . . . . . . 780 K. Hattori and M. Yamaguchi and N. Iwama and M. Hayakawa GCV-Aided Linear Image Regularization for the Reconstruction of Wave Distribution Function of Magnetospheric VLF/ELF Waves . . . . . . . . . . . . . 788 A. S. Alekseev and V. P. Pyatkin and G. I. Salov Crater Detection in Aero-Space Imagery Using Simple Nonparametric Statistical Tests . . . . . . . . . . . . . . . . . 793 U. Honisch Digital Retina --- Simulating Dynamic Behavior of Visual Perception . . . . . 800 V. di Gesu and G. Gerardi and S. Impedovo and B. Lenzitti and G. Parodi and D. Tegolo A New Heterogeneous and Reconfigurable Architecture for Image Analysis . . . . 805 T. Roska The Analogic Single-Chip CNN Visual Supercomputer --- a Review . . . . . . . 813 C. Kotropoulos and I. Pitas A Variant of Learning Vector Quantizer Based on Split-Merge Statistical Tests 822 L. Mascarilla and E. H. Zahzah and J. Desachy Neural Networks Classifiers Based on Geocoded Data and MultiSpectral Images for Satellite Image Interpretation . . . 830 B. Michaelis and G. Krell Artificial Neural Networks for Image Improvement . . . . . . . . . . . . . . 838 A. G. Radvanyi Using Cellular Neural Network to ``See'' Random-Dot Stereograms . . . . . . . . . 846
R. Busse and A. Muller and E. J. Neuhold Information Handling --- A Challenge for Databases and Expert Systems . . . . . . 1 L. Al-Jadir and G. Falquet and M. Leonard Context Versions in an Object-Oriented Model . . . . . . . . . . . . . . . . . 24 M. Gross-Hardt and G. Vossen Towards Class-less Object Models for Engineering Design Applications . . . . 36 J. Pokorny Semantic Relativism in Conceptual Modelling . . . . . . . . . . . . . . . 48 T. Hartmann and R. Jungclaus and G. Saake Animation Support for a Conceptual Modelling Language . . . . . . . . . . . 56 T. Duong and J. Hiller and U. Srinivasan A Unifying Model of Data, Metadata and Context . . . . . . . . . . . . . . . . 68 D. Barbara and Ch. Clifton Information Brokers: Sharing Knowledge in a Heterogeneous Distributed System 80 J. Chen and O. A. Bukhres and J. Sharif-Askary A Customized Multidatabase Transaction Management Strategy . . . . . . . . . . 92 A. Danes and F. Exertier and S. Haj Houssain Interoperability between a Distributed System and a Database System . . . . . . 104 J. G. Mullen and J. Jing and J. Sharif-Askary Reservation Commitment and Its Use in Multidatabase Systems . . . . . . . . . 116 W. Meng and Ch. Liu and W. Sun and C. Yu Predict Query Processing Cost in a Distributed Database System . . . . . . 122 W. W. Chu CoBase: A Cooperative Query Answering Facility for Database Systems . . . . . 134 M. Abdelguerfi and K. Grant and E. Murphy and W. Patterson Duplicate Deletion in a Ring Connected, Shared-Nothing, Parallel Database System 146 W. Kurutach and J. Franklin On Temporal-fuzziness in Temporal Fuzzy Databases . . . . . . . . . . . . . . . 154 F. N. Springsteel Object-based Schema Integration for Heterogeneous Databases: A Logical Approach . . . . . . . . . . . . . . . . 166 J. Veijalainen Heterogeneous Multilevel Transaction Management with Multiple Substransactions . . . . . . . . . . . . 181 T. W. Ling and P. K. Teo Inheritance Conflicts in Object-Oriented Systems . . . . . . . . . . . . . . . . 189 J. L. Zhao Managing Derived Data in Intelligent Database Systems: An Implementation Study . . . . . . . . . . . . . . . . . 201 N. Zhong and S. Ohsuga An Integrated Calculation Model for Discovering Functional Relations from Databases . . . . . . . . . . . . . . . 213 N. S. Ishakbeyoglu and Z. M. Ozsoyoglu On the Maintenance of Implication Integrity Constraints . . . . . . . . . 221 W. Naqvi and M. T. Ibrahim REFLEX Active Database Model: Application of Petri-Nets . . . . . . . 233 J. Wu and L. Harbird Road Accident Analysis Using a Functional Database Language . . . . . . 241 N. Revell and M. W. Youssef Database Performance Evaluation: a Methodological Approach . . . . . . . . 253 M. L. Kersten and F. Kwakkel Design and Implementation of a DBMS Performance Assessment Tool . . . . . . 265 K. Du and G. Ozsoyoglu Modifying Database Queries and Error Constraints . . . . . . . . . . . . . . 277 F. Rabitti and R. S. Sferrazza and M. G. Tori and P. Zezula Performance Evaluation System for Object Stores . . . . . . . . . . . . . . . . . 289 A. Hameurlain and F. Morvan An Optimization Method of Data Communication and Control for Parallel Execution of SQL Queries . . . . . . . . 301 S. H. Son and D. W. George and Y.-K. Kim Developing a Database System for Time-Critical Applications . . . . . . . 313 D. A. Keim and H.-P. Kriegel and A. Miethsam Object-Oriented Querrying of Existing Relational Databases . . . . . . . . . . 325 Y. Kornatzky and S. E. Shimony A Probabilistic Spatial Data Model . . . 337 H.-P. Kriegel and S. Heep and A. Fahldiek and N. Mysliwitz Query Processing of Geometric Objects with Free Form Boundaries in Spatial Databases . . . . . . . . . . . . . . . 349 G. Anogianakis and A. Krotopoulou and P. Spirakis and D. Terpou and A. Tsakalidis Brain Data Base (BDB) . . . . . . . . . 361 G. Gardarin Integrating Classes and Relations to Model and Query Geographical Databases 365 A. S. Hemerly and A. L. Furtado and M. A. Casanova Towards Cooperativeness in Geographic Databases . . . . . . . . . . . . . . . 373 B. David and L. Raynal and G. Schorter $ {GeO}_2 $: Object-Oriented Contribution for a Geographical DBMS? 377 I.-Y. Song and H. M. Godsey and J. Newton and B. Bargmeyer GemCode: An Expert System Generating Mnemonic Codes for Data Elements and Data Items . . . . . . . . . . . . . . . 384 C. A. G. Webster and M. Weller and M. M. Sfantsikopoulos and V. D. Tsoukalas ALEXSYS --- A Prototype Knowledge Based Expert System for the Quality Assurance of High Pressure Die Castings . . . . . 396 I. Finch Viewpoints --- Facilitating Expert Systems for Multiple Users . . . . . . . 401 J. W. Guan and D. A. Bell Improving Shafer-Logan's Algorithm for Handling Hierarchical Evidence . . . . . 413 M. Popper From Low-Level to High-Level Operations in Expert Systems . . . . . . . . . . . 424 E. Wilson Corpora as Expert Knowledge Domains: the Oxford Advanced Learner's Dictionary . . 428 F. Lehner and H. F. Hofmann and R. Setzer and R. Maier Maintenance of Knowledge Bases . . . . . 436 Z. Zdrahal Using Candidate Space Structure to Propose the Next Measurement in Model Based Diagnosis . . . . . . . . . . . . 448 J. Debenham Decomposition of Four Component Items 457 M. Brayshaw Intelligent Inference for Debugging Concurrent Systems . . . . . . . . . . . 461 V. Botti and F. Barber and A. Crespo and D. Gallardo and I. Ripoll and E. Onaindia and L. Hernandez Sharing Temporal Knowledge by Multiple Agents . . . . . . . . . . . . . . . . . 470 H.-K. Hung and P. Martin and J. Glasgow and Ch. Walmsley and M. Jenkins Querying and Exploring Large Knowledge Bases . . . . . . . . . . . . . . . . . 474 S. Watt Managing Text Objectively . . . . . . . 478 E. Schweighofer and W. Winiwarter Legal Expert System KONTERM --- Automatic Representation of Document Structure and Contents . . . . . . . . . 486 J. F. Munoz and F. Galindo Matrim, Man Expert System on Marital Law 498 D. Poulin and P. St-Vincent and P. Bratley Contradiction and Confirmation . . . . . 502 D. Tiscornia Meta-Reasoning in Law: A Computational Model . . . . . . . . . . . . . . . . . 514 M. Baaz and F. Galindo and G. Quirchmayr and M. Vazqez The Application of Kripke-Type Structures to Regional Development Programs . . . . . . . . . . . . . . . . 523 V. M. Markowitz and I.-M. A. Chen Data Management Tools for Genomic Applications: A Progress Report . . . . 529 E. Rotterdam and S. Van Denneheuvel and P. Hennis and P. Van Emde Boas Resolution of Constraint Inconsistency with the Aim to Provide Support in Anaesthesia . . . . . . . . . . . . . . 541 F. Toure and M. Schneider An Object-Oriented Implementation for a Semantic System (CANDID) . . . . . . . . 553 H. Afsarmanesh and F. Tuijnman and M. Wiedijk and L. O. Hertzberger Distributed Schema Management in a Cooperation Network of Autonomous Agents 565 W. Dilger and S. Kassel A Distributed AI System for Job Shop Control . . . . . . . . . . . . . . . . 577 A. Gospodarowicz and E. Kania and S. Krawczyk and M. Rymarczyk and A. M. Tjoa Expert System for Production Planning of Perishable Goods . . . . . . . . . . . . 583 N. D. Mekras and A. G. Malama and G. P. Parnassas and I. P. Tatsiopoulos An Expert System as a Manager in the Application of Production Planning and Control Software in CIM Environments . . 593 C. Djeraba and A. A. Hssain and B. Descotes-Genon Composition and Dependency Relationships in Production Information System Design 605 M. Takizawa and S. Hamada and S. M. Deen Vehicle Transactions . . . . . . . . . . 611 T. Gevers and A. W. M. Smeulders An Approach to Image Retrieval for Image Databases . . . . . . . . . . . . . . . 615 S. Candela and C. Garcia and J. Munoz and F. Alayon Facilitatory Process for Contrast Detection . . . . . . . . . . . . . . . 627 W. Emmerich and P. Kroha and W. Schafer Object-Oriented Database Management Systems for Construction of CASE Environments . . . . . . . . . . . . . . 631 T.-L. Hwang Summary Data Representations in Application Developments . . . . . . . . 643 C. Rolland and N. Prakash Reusable Process Chunks . . . . . . . . 655 O. P. Lopez and I. Ramos and J. H. Canos From Analysis to Design in a Deductive and Object-Oriented Environment . . . . 667 N. Vlachantonis A Case Study for an Open CASE System: The TROLL light Development Environment 673 T. Welzer and J. Eder Meta Data Model for Database Design . . 677 X. Wu and J. Neuhaus Extending PCTE with Object-Oriented Capabilities . . . . . . . . . . . . . . 681 H. Maurer and N. Scherbakov and P. Srinivasan A New Hypermedia Data Model . . . . . . 685 T. J. M. Bench-Capon and P. E. S. Dunne and G. Staniford Linearisation Schemata for Hypertext . . 697 B. Amann and V. Christophides and M. Scholl HyperPATH\slash Osub 2: Integrating Hypermedia Systems with Object-Oriented Database Systems . . . . . . . . . . . . 709 J. Nanard and M. Nanard and A.-M. Massotte and A. Djemaa and A. Joubert and H. Betaille and J. Chauche Integrating Knowledge-based Hypertext and Database for Task-oriented Access to Documents . . . . . . . . . . . . . . . 721 D. Karagiannis and E. Ortwein and J. Gag Reengineering of User Interfaces for the Migration of Database Applications . . . 733 M. R. Klein and R. Traunmuller User Interface of Knowledge Based-DSS Development Environment . . . . . . . . 746 M. A. Qutaishat and W. A. Gray and N. J. Fiddian A Highly-Customisable Schema Meta-Visualisation System for Object-Oriented (O-O) Database Schemas --- Overview . . . . . . . . . . . . . . 756 S. Kuroki and K. Kikkawa and K. Kaneko and A. Makinouchi Walkthrough Using Animation Database System MOVE . . . . . . . . . . . . . . 760
B. Buchberger Mathematica: A System for Doing Mathematics by Computer? . . . . . . . . 1--1 B. Bauer and R. Hennicker Proving the Correctness of Algebraic Implementations by the ISAR System . . . 2 M. Gogolla and S. Conrad and R. Herzig Sketching Concepts and Computational Model of TROLL light . . . . . . . . . . 17 B. Yi and J. Xu Analogical Type Theory . . . . . . . . . 33 T. Jebelean Improving the Multiprecision Euclidean Algorithm . . . . . . . . . . . . . . . 45 R. Maeder Storage Allocation for the Karatsuba Integer Multiplication Algorithm . . . . 59 A. Diaz and M. Hitz and E. Kaltofen and A. Lobo and T. Valente Process Scheduling in DSC and the Large Sparse Linear Systems Challenge . . . . 66 Michael B. Monagan Gauss: A Parameterized Domain of Computation System with Support for Signature Functions . . . . . . . . . . 81--94 A. Weber On Coherence in Computer Algebra . . . . 95 P. di Blasio and M. Temperini Subtyping Inheritance in Languages for Symbolic Computation Systems . . . . . . 107 J. Calmet and I. A. Tjandra A Unified-Algebra-Based Specification Language for Symbolic Computing . . . . 122 A. C. Hearn and E. Schrufer An Order-Sorted Approach to Algebraic Computation . . . . . . . . . . . . . . 134 P. Fritzson and V. Engelson and L. Viklund Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment . . . . . . . . . . 145 G. Grivas and R. E. Maeder Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench . . . . . . . . . . . . 164 P. S. Santas A Type System for Computer Algebra . . . 177 E. G. Omodeo and A. Policriti Decision Procedures for Set/Hyperset Contexts . . . . . . . . . . . . . . . . 192 W. M. Farmer and J. D. Guttman and F. J. Thayer Reasoning with Contexts . . . . . . . . 216 R. Caferra and M. Herment GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics . . . . . . 229 O. Caprotti Extending RISC-CLP (Real) to Handle Symbolic Functions . . . . . . . . . . . 241 S. Feng and T. Sakabe and Y. Inagaki Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning . . . . . . . . . . . . . . . 256 M. P. Bonacina and J. Hsiang Distributed Deduction by Clause-Diffusion: The Aquarius Prover 272 H. Hong and A. Neubacher and W. Schreiner The Design of the SACLIB/PACLIB Kernels 288 R. Zippel The Weyl Computer Algebra Substrate . . 303 C. Limongelli and M. Temperini On the Uniform Representation of Mathematical Data Structures . . . . . . 319 A. C. Norman Compact Delivery Support for REDUCE . . 331 R. Fournier and N. Kajler and B. Mourrain IZIC: A Portable Language-Driven Tool for Mathematical Surfaces Visualization 341 S. D. Meshveliani The Algebraic Constructor CAC: Computing in Construction-Defined Domains . . . . 354 S. A. Missura Extending AlgBench with a Type System 359 A. Vantaggiato Modeling Finite Fields with Mathematica --- Applications to the Computation of Exponential Sums and to the Solution of Equations over Finite Fields . . . . . . 364--368 S. Bonamico and G. Cioni and A. Colagrossi An Enhanced Sequent Calculus for Reasoning in a Given Domain . . . . . . 369 V. A. Nepomniaschy and A. A. Sulimov Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM . . . . . . . . . . . . 374 T. Walsh General Purpose Proof Plans . . . . . . 379
Brian R. Gaines Modelling and Extending Expertise . . . 1 Guy Boy Knowledge Acquisition in Dynamic Systems: How Can Logicism and Situatedness Go Together? . . . . . . . 23 Hans Akkermans and Bob Wielinga and Guus Schreiber Steps in Constructing Problem Solving Methods . . . . . . . . . . . . . . . . 45 Joost Breuker Modelling Artificial Legal Reasoning . . 66 Manuel Zackland and Dominique Fontaine Systematic Building of Conceptual Classification Systems with C-KAT . . . 79 Karsten Gappa and Ute Poeck Making Role Limiting Shells More Flexible . . . . . . . . . . . . . . . . 103 Jerome Thomas and Philippe Laublet and Jean-Gabriel Ganascia A Machine Learning Tool Designed for a Model-Based Knowledge Acquisition Approach . . . . . . . . . . . . . . . . 123 Dean Alllemang and Gertjan Van Heijst Generic Tasks in KEW . . . . . . . . . . 139 Marc Linster A Review of Sisyphus 91 and 92: Models of Problem-Solving Knowledge . . . . . . 159 Karine Causse Heuristic Control Knowledge . . . . . . 183 Susanne Neubert Model Construction in MIKE (Model-Based and Incremental Knowledge Engineering) 200 Cecile Paris and Yolanda Gil EXPECT: Intelligent Support for Knowledge Base Refinement . . . . . . . 220 Catherine Vicat and Alain Busac and Jean-Gabriel Ganascia CERISE: A Cyclic Approach for Knowledge Acquisition . . . . . . . . . . . . . . 237 Mildred L. G. Shaw and Brian R. Gaines Personal Construct Psychology Foundations for Knowledge Acquisition and Representation . . . . . . . . . . . 256 Paul Compton and Kang Byeong and Philip Preston and Mary Mulholland Knowledge Acquisition Without Analysis 277 Ole Jakob Mengshoel and Ingeborg Solvberg Acquisition and Modelling of Uncertain, Incomplete and Time-Varying Knowledge 300 John Domingue and Enrico Motta and Stuart Watt The Emerging VITAL Workbench . . . . . . 320 Yuri Adrian Tijerino and Riichiro Mizoguchi MULTIS II: Enabling End-Users to Design Problem-Solving Engines via Two-Level Task Ontologies . . . . . . . . . . . . 340 Joel Muzard and Aziza Hanafi and Andre Dupont and Benoit Tiffou The Participatory Design of a Computer Assisted Knowledge Engineering Methodology and Tool: The ALADIN+Project 360 Tom R. Addis and David C. Goodong and Jan J. Townsend Knowledge Acquisition with Visual Functional Programming . . . . . . . . . 379 Rose Dieng and Olivier Corby and Stephane Lapalut Acquisition of Gradual Knowledge . . . . 407 Brigitte Biebow and Sylvie Szulman Acquisition and Validation: From Text to Semantic Network . . . . . . . . . . . . 427
P. Van Hentenryck and O. Degimbe and B. Le Charlier and L. Michel The impact of granularity in abstract interpretation of Prolog . . . . . . . . 1 B. Le Charlier and O. Degimbe and L. Michel and P. Van Hentenryck Optimization techniques for general purpose fixpoint algorithms: practical efficiency for the abstract interpretation of Prolog . . . . . . . . 15 N. Jorgensen Chaotic fixpoint iteration guided by dynamic dependency . . . . . . . . . . . 27 A. Ferguson and J. Hughes Fast abstract interpretation using sequential algorithms . . . . . . . . . 45 J. C. Fernandez Abstract interpretation and verification of reactive systems . . . . . . . . . . 60 R. Cridlig and E. Goubault Semantics and analysis of Linda-based languages . . . . . . . . . . . . . . . 72 J-P Talpin and P. Jouvelot Compiling FX on the CM-2 . . . . . . . . 87 O. Maffeis and P. Le Guernic Combining dependability with architectural adaptability by means of the SIGNAL language . . . . . . . . . . 99 P. Van Roy Challenges in developing useful and practical static analysis for logic programs . . . . . . . . . . . . . . . . 111 R. Gluck and A. Klimov Occam's razor in metacomputation: the notion of a perfect process tree . . . . 112 W-N. Chin and S-C. Khoo Tupling functions with multiple recursion parameters . . . . . . . . . . 124 P. Thiemann Avoiding repeated tests in pattern matching . . . . . . . . . . . . . . . . 141 M. Bruynooghe and M. Codish Freeness, sharing, linearity and correctness --- all at once . . . . . . 153 J. Boye and J. Paakki and J. Maluszynski Synthesis of directionality information for functional logic programs . . . . . 165 D. Bert and R. Echahed and B. M. Ostvold Abstract rewriting . . . . . . . . . . . 178 P. Hudak Reflections on program optimization . . 193 F. Nielson and H. R. Nielson Finiteness conditions for strictness analysis . . . . . . . . . . . . . . . . 194 P. N. Benton Strictness properties of lazy algebraic datatypes . . . . . . . . . . . . . . . 206 T. Amtoft Minimal thunkification . . . . . . . . . 218 S. Kato and H. Seki and H. Itoh An efficient abductive reasoning system based on program analysis . . . . . . . 230 L. Errington and C. Hankin and T. Jensen A congruence for Gamma programs . . . . 242 D. A. Wright and C. A. Baker-Finch Usage analysis with natural reduction types . . . . . . . . . . . . . . . . . 254 B. Monsuez Polymorphic types and widening operators 267 D. Sahlin and T. Sjoland Demonstration: static analysis of AKL 282
A. Israeli and L. Rappoport Efficient wait-free implementation of a concurrent priority queue . . . . . . . 1 J.-H. Hoepman and J. Tromp Binary snapshots . . . . . . . . . . . . 18 A. Israeli and A. Shaham and A. Shirazi Linear-time snapshot protocols for unbalanced systems . . . . . . . . . . . 26 J. H. Anderson and M. Moir Towards a necessary and sufficient condition for wait-free synchronization 39 L. M. Kirousis and A. G. Veneris Efficient algorithms for checking the atomicity of a run of read and write operations . . . . . . . . . . . . . . . 54 Y. Afek and M. Merritt and G. Taubenfeld Benign failure models for shared memory 69 J. E. Burns and R. I. Cruz and M. C. Loui Generalized agreement between concurrent fail-stop processes . . . . . . . . . . 84 P. C. Kanellakis and D. Michailidis and A. A. Shvartsman Controlling memory access concurrency in efficient fault-tolerant parallel algorithms . . . . . . . . . . . . . . . 99 M. Rabinovich and E. D. Lazowska Asynchronous epoch management in replicated databases . . . . . . . . . . 115 S. Dolev and J. L. Welch Crash resilient communication in dynamic networks . . . . . . . . . . . . . . . . 129 M. Choy and A. K. Singh Distributed job scheduling using snapshots . . . . . . . . . . . . . . . 145 S. Dolev Optimal time self stabilization in dynamic systems . . . . . . . . . . . . 160 E. Anagnostou and V. Hadzilacos Tolerating transient and permanent failures . . . . . . . . . . . . . . . . 174 P. Berman and A. A. Bharali Quick atomic broadcast . . . . . . . . . 189 H. Attiya and T. Djerassi-Shintel Time bounds for decision problems in the presence of timing uncertainty and failures . . . . . . . . . . . . . . . . 204 M. Flammini and G. Gambosi and S. Salomone Boolean routing . . . . . . . . . . . . 219 N. Hardavellas and D. Karakos and M. Mavronicolas Notes on sorting and counting networks 234 L. Higham and T. Przytycka A simple, efficient algorithm for maximum finding on rings . . . . . . . . 249 V. R. Syrotiuk and C. J. Colbourn and J. Pachl Wang tilings and distributed orientation on anonymous torus networks . . . . . . 264 C. Wu and G. V. Bochmann and M. Yao Fairness of $N$-party synchronization and its implementation in a distributed environment . . . . . . . . . . . . . . 279 F. Boniol and M. Adelantado Programming distributed reactive systems: a strong and weak synchronous coupling . . . . . . . . . . . . . . . . 294 H. V. Leong and D. Agrawal and J. R. Agre Using message semantics to reduce rollback in the time warp mechanism . . 309
S. Albers The Influence of Lookahead in Competitive Paging Algorithms . . . . . 1 M. J. Atallah and D. Z. Chen and D. T. Lee An Optimal Algorithm for Shortest Paths on Weighted Interval and Circular-Arc Graphs, with Applications . . . . . . . 13 Y. Ben-Asher and D. Gordon and A. Schuster Efficient Self Simulation Algorithms for Reconfigurable Arrays . . . . . . . . . 25 P. Bertolazzi and G. di Battista and C. Mannino and R. Tamassia Optimal Upward Planarity Testing of Single-Source Digraphs . . . . . . . . . 37 S. N. Bhatt and G. Bilardi and G. Pucci and A. Ranade and A. L. Rosenberg and E. J. Schwabe On Bufferless Routing of Variable-Length Messages in Leveled Networks . . . . . . 49 D. Breslauer Saving Comparisons in the Crochemore-Perrin String Matching Algorithm . . . . . . . . . . . . . . . 61 A. Brüggemann-Klein Unambiguity of Extended Regular Expressions in SGML Document Grammars 73--84 N. H. Bshouty On the Direct Sum Conjecture in the Straight Line Model . . . . . . . . . . 85 R. F. Cohen and R. Tamassia Combine and Conquer: a General Technique for Dynamic Algorithms . . . . . . . . . 97 A. Datta and A. Maheshwari and J.-R. Sack Optimal CREW-PRAM Algorithms for Direct Dominance Problems . . . . . . . . . . . 109 M. de Berg and M. Van Kreveld Trekking in the Alps Without Freezing or Getting Tired . . . . . . . . . . . . . 121 O. Devillers and M. Golin Dog Bites Postman: Point Location in the Moving Voronoi Diagram and Related Problems . . . . . . . . . . . . . . . . 133 J. Diaz and M. J. Serna and J. Toran Parallel Approximation Schemes for Problems on Planar Graphs . . . . . . . 145 M. R. Fellows and M. T. Hallett and H. T. Wareham DNA Physical Mapping: Three Ways Difficult . . . . . . . . . . . . . . . 157 P. Flajolet and P. Zimmermann and B. Van Cutsem A Calculus of Random Generation . . . . 169 O. Gerstel and S. Zaks The Bit Complexity of Distributed Sorting . . . . . . . . . . . . . . . . 181 J. Hagauer and G. Rote Three-Clustering of Points in the Plane 192 J. Hromkovic and R. Klasing and E. A. Stohr and H. Wagener Gossiping in Vertex-Disjoint Paths Mode in $d$-Dimensional Grids and Planar Graphs . . . . . . . . . . . . . . . . . 200 G. F. Italiano and J. A. La Poutre and M. H. Rauch Fully Dynamic Planarity Testing in Planar Embedded Graphs . . . . . . . . . 212 Z. Ivkovic and E. L. Lloyd Fully Dynamic Algorithms for Bin Packing: Being (Mostly) Myopic Helps . . 224 T. Jordan Increasing the Vertex-Connectivity in Directed Graphs . . . . . . . . . . . . 236 B. Klinz and R. Rudolf and G. J. Woeginger On the Recognition of Permuted Bottleneck Monge Matrices . . . . . . . 248 T. Kloks and H. Bodlaender and H. Muller and D. Kratsch Computing Treewidth and Minimum Fill-In: All You Need are the Minimal Separators 260 M. Kunde Block Gossiping on Grids and Tori: Deterministic Sorting and Routing Match the Bisection Bound . . . . . . . . . . 272 J. K. Lenstra and M. Veldhorst and B. Veltman The Complexity of Scheduling Trees with Communication Delays . . . . . . . . . . 284 E. W. Mayr and R. Werchner Optimal Tree Contraction on the Hypercube and Related Networks . . . . . 295 M. Paterson Evolution of an Algorithm . . . . . . . 306 S. Rajasekaran Mesh Connected Computers with Fixed and Reconfigurable Buses: Packet Routing, Sorting, and Selection . . . . . . . . . 309 V. Ramachandran and H. Yang An Efficient Parallel Algorithm for the Layered Planar Monotone Circuit Value Problem . . . . . . . . . . . . . . . . 321 J. F. Sibeyn and M. Kaufmann and R. Raman Randomized Routing on Meshes with Buses 333 K. Simon and D. Crippa and F. Collenberg On the Distribution of the Transitive Closure in a Random Acyclic Digraph . . 345 A. Schrijver Complexity of Disjoint Paths Problems in Planar Graphs . . . . . . . . . . . . . 357 A. Srivastav and P. Stangier Integer Multicommodity Flows with Reduced Demands . . . . . . . . . . . . 360 S. Subramanian A Fully Dynamic Data Structure for Reachability in Planar Digraphs . . . . 372 D. Wagner and K. Weihe A Linear-Time Algorithm for Edge-Disjoint Paths in Planar Graphs . . 384 M. S. Waterman Sequence Comparison and Statistical Significance in Molecular Biology . . . 396 E. Welzl and B. Wolfers Surface Reconstruction Between Simple Polygons via Angle Criteria . . . . . . 397 X. Zhou and S. Nakano and T. Nishizeki A Linear Algorithm for Edge-Coloring Partial $k$-Trees . . . . . . . . . . . 409
Les Gasser and Ingemar Hulthage and Brian Leverich and Jon Lieb and Ann Majchrzak Organizations as Complex, Dynamic Design Problems . . . . . . . . . . . . . . . . 1 Michael Fisher and Michael Wooldridge Specifying and Verifying Distributed Intelligent Systems . . . . . . . . . . 13 Thilo C. Horstmann A Logical Approach for Distributed Truth Maintenance . . . . . . . . . . . . . . 29 Irene Pimenta Rodrigues and Jose G. Lopes Building Text Temporal Structure . . . . 45 Luis Damas and Nelma Moreira and Sabine Broda Resolution of Constraints in Algebras of Rational Trees . . . . . . . . . . . . . 61 Gabriel David and Antonio Porto Inheritance in a Hierarchy of Theories 77 Georg Reichwein and Jose Fiadeiro Semantics of Interworking Knowledge Based Systems . . . . . . . . . . . . . 93 Klaus Schild Combining Terminological Logics with Tense Logic . . . . . . . . . . . . . . 105 Margarida Mamede and Luis Monteiro Towards Complete Answers in Concept Languages . . . . . . . . . . . . . . . 121 Grigoris Antoniou Version Space Algorithms on Hierarchies with Exceptions . . . . . . . . . . . . 136 Armando B. Matos Regular Languages and a Class of Logic Programs . . . . . . . . . . . . . . . . 150 Armando B. Matos Some Results on the Complexity of SLD-Derivations . . . . . . . . . . . . 158 Fernando M. A. Silva An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine 170 Luis Moniz Pereira and Carlos Viegas Damasio and Jose J. Alferes Diagnosis and Debugging as Contradiction Removal in Logic Programs . . . . . . . 183 Jurgen Kalinski Well-Founded Approximations of Autoepistemic Logic . . . . . . . . . . 198 Grigoris Antoniou and Elmar Langetepe A Process Model for Default Logic and its Realization in Logic Programming . . 213 Maria R. Cravo and Joao P. Martins A Unified Approach to Default Reasoning and Belief Revision . . . . . . . . . . 226 Regis Curien Second Order E-Matching as a Tool for Automated Theorem Proving . . . . . . . 242 Alois Haselbock and Markus Stumptner Attribute-Specific Interchangeability in Constraint Satisfaction Problems . . . . 258 Pierre Berlandier The Use and Interpretation of Meta Level Constraints . . . . . . . . . . . . . . 271 Francisco Menezes and Pedro Barahona Preliminary Formalization of an Incremental Hierarchical Constraint Solver . . . . . . . . . . . . . . . . . 281 Miguel Filgueiras and Ana P. Tomas Fast Methods for Solving Linear Diophantine Equations . . . . . . . . . 297 Maria Fox and Derek Long A Note on Chapman's Modal Truth Criterion . . . . . . . . . . . . . . . 307 Jose L. S. Ferreira and Ernesto J. F. Costa Learning Operators While Planning . . . 311 Michael M. Luck Evaluating Evidence for Motivated Discovery . . . . . . . . . . . . . . . 324 Eric Auriol How to Learn in an Incomplete Knowledge Environment . . . . . . . . . . . . . . 340 Jurgen Giesl and Ingrid Neumann The Semantics of Rational Contractions 356 Robert Demolombe A Uniform Framework for Deductive Database Derivation Strategies . . . . . 357 Joaquim Nunes Aparicio Assumption Set Semantics (The Procedures) . . . . . . . . . . . . . . 358 Stefan Bussmann and Jurgen Muller Bargaining Agents . . . . . . . . . . . 359 Gilles Trombettoni A Constraint Maintenance Algorithm Based on Value Propagation . . . . . . . . . . 360 Geraldo Lima de Campos and Dimas Trevisan Chbane A Text-to-Phoneme Translator for the Portuguese Language . . . . . . . . . . 361 E. Diday and P. Brito and E. Mfoumoune Learning Probabilistic Models by Conceptual Pyramidal Clustering . . . . 362
M. di Manzo and E. Giunchiglia and A. Armando and P. Pecchiari Proving formulas through reduction to decidable classes . . . . . . . . . . . 1 A. Armando and A. Cimatti and L. Vigano Building and executing proof strategies in a formal metatheory . . . . . . . . . 11 E. Lamma and P. Mello Computing 3-valued stable models by using the ATMS . . . . . . . . . . . . . 23 G. Antoniou Abstract properties for the choice provability relation in nonmonotonic logics . . . . . . . . . . . . . . . . . 35 F. Pirri and C. Pizzuti Characterizing prime implicants as projective spaces . . . . . . . . . . . 41 C. Conati and J. F. Lehman EFH-Soar: Modeling education in highly interactive microworlds . . . . . . . . 47 C. Castelfranchi and A. Cesta and R. Conte and M. Miceli Foundations for interaction: the dependence theory . . . . . . . . . . . 59 G. McGraw and D. Hofstadter Letter Spirit: an architecture for creativity in a microdomain . . . . . . 65 E. Ardizzone and A. Chella and R. Pirrone New systems for extracting $3$-D shape information from images . . . . . . . . 71 M. Gori and G. Soda Projecting sub-symbolic onto symbolic representations in artificial neural networks . . . . . . . . . . . . . . . . 84 A. Braggiotti and G. Chemello and C. Sossai and G. Trainito Integrating the symbolic and the sub-symbolic level in sonar-based navigation . . . . . . . . . . . . . . . 90 P. Terna Randomness, imitation or reason explain agents' behaviour into an artificial stock market? . . . . . . . . . . . . . 96 A. Monfroglio Neural networks for constraint satisfaction . . . . . . . . . . . . . . 102 A. Schaerf Reasoning with individuals in concept languages . . . . . . . . . . . . . . . 108 C. Bettini A family of temporal terminological logics . . . . . . . . . . . . . . . . . 120 M. Schaerf Logic programming and autoepistemic logics: new relations and complexity results . . . . . . . . . . . . . . . . 132 M. Gaspari and E. Motta and A. Stutt Inferring in Lego-land: an architecture for the integration of heterogeneous inference modules . . . . . . . . . . . 142 G. Adorni and A. Poggi MAP --- a language for the modelling of multi-agent systems . . . . . . . . . . 154 G. Vossos and J. Zeleznikow and D. Hunter Developing co-operating legal knowledge based systems . . . . . . . . . . . . . 160 F. Esposito and D. Malerba and G. Semeraro Negation as a specializing operator . . 166 S. H. Nienhuys-Cheng and P. R. J. van der Laag and L. W. N. van der Torre Constructing refinement operators by decomposing logical implication . . . . 178 F. Bergadano and D. Gunetti Learning relations: basing top-down methods on inverse resolution . . . . . 190 H. Altay Guvenir and I. Sirin Complexity of the CFP, a method for classification based on feature partitioning . . . . . . . . . . . . . . 202 P. Larranaga and M. Grana and A. D'Anjou and F. J. Torrealdea Genetic algorithms elitist probabilistic of degree 1, a generalization of simulated annealing . . . . . . . . . . 208 A. Giordana and L. Saitta and M. E. Campidoglio and G. Lo Bello Learning relations using genetic algorithms . . . . . . . . . . . . . . . 218 M. Pelillo and F. Abbattista and A. Maffione Evolutionary learning for relaxation labeling processes . . . . . . . . . . . 230 E. A. Maier and E. Not Increasing cohesion in automatically generated natural language texts . . . . 242 L. Ardissono and L. Lesmo and A. Lombardo and D. Sestero Production of cooperative answers on the basis of partial knowledge in information-seeking dialogues . . . . . 254 F. Ciravegna and E. Giorda Coping with modifiers in a restricted domain . . . . . . . . . . . . . . . . . 266 G. Ferrari and M. Carenini and P. Moreschini Explanation strategies in a tutoring system . . . . . . . . . . . . . . . . . 272 R. Cervoni and A. Cesta and A. Oddi Maintaining consistency in quantitative temporal constraint networks for planning and scheduling . . . . . . . . 278 S. Badaloni and E. Pagello and L. Stocchiero and A. Zanardi Making an autonomous robot plan temporally constrained maintenance operations . . . . . . . . . . . . . . . 290 M. Stumptner and A. Haselbock A generative constraint formalism for configuration problems . . . . . . . . . 302 L. Portinale Selecting observation time in the monitoring and interpretation of time-varying data . . . . . . . . . . . 314 A. C. Varzi Spatial Reasoning in a holey world . . . 326
R. Ayani Parallel Simulation . . . . . . . . . . 1 S. Balsamo Properties and Analysis of Queueing Network Models with Finite Capacities 21 H. Blanc Performance Analysis and Optimization with the Power-Series Algorithm . . . . 53 M. Conti and E. Gregori and L. Lenzini Metropolitan Area Networks (MANs): Protocols, Modeling and Performance Evaluation . . . . . . . . . . . . . . . 81 N. Gotz and U. Herzog and M. Rettelbach Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras . . . 121 P. G. Harrison Response Time Distributions in Queueing Network Models . . . . . . . . . . . . . 147 P. Heidelberger Fast Simulation of Rare Events in Queueing and Reliability Models . . . . 165 J. L. Hellerstein An Introduction to Modeling Dynamic Behavior with Time Series Analysis . . . 203 D. R. Kaeli Issues in Trace-Driven Simulation . . . 224 D. Kouvatsos Maximum Entropy Analysis of Queueing Network Models . . . . . . . . . . . . . 245 C. Lindemann Performance Modeling Using DSPNexpress 291 B. D. Lubachevsky Relaxation for Massively Parallel Discrete Event Simulation . . . . . . . 307 D. M. Lucantoni The BMAP/G/1 QUEUE: A Tutorial . . . . . 330 B. Melamed An Overview of Tes Processes and Modeling Methodology . . . . . . . . . . 359 C. Murray Woodside Performance Engineering of Client-Server Systems . . . . . . . . . . . . . . . . 394 R. O. Onvural Queueing Networks with Finite Capacities 411 F. Panzieri and R. Davoli Real Time Systems: A Tutorial . . . . . 435 D. A. Reed Performance Instrumentation Techniques for Parallel Systems . . . . . . . . . . 463 P. J. Schweitzer and G. Serazzi and M. Broglia A Survey of Bottleneck Analysis in Closed Networks of Queues . . . . . . . 491 C. U. Smith Software Performance Engineering . . . . 509 E. M. Thurner Performance Measurement Using System Monitors . . . . . . . . . . . . . . . . 537 D. Towsley Providing Quality of Service Packet Switched Networks . . . . . . . . . . . 560 K. S. Trivedi and G. Ciardo and M. Malhotra and R. A. Sahner Dependability and Performability Analysis . . . . . . . . . . . . . . . . 587 P. Venkat Rangan Architectures and Algorithms for Digital Multimedia On-Demand Servers . . . . . . 613 U. Yechiali Analysis and Control of Polling Systems 630 P. S. Yu Modeling and Analysis of Transaction Processing Systems . . . . . . . . . . . 651
David Maier and Jonathan Walpole and Richard Staehli Storage System Architectures for Continuous Media Data . . . . . . . . . 1 Chen Huang-Jen and T. D. C. Little Physical Storage Organizations for Time-Dependent Multimedia Data . . . . . 19 Takashi Ohtsu and Michael A. Harrison User Interface Management System Embedded in a Multimedia Document Editor Framework . . . . . . . . . . . . . . . 35 Shahram Ghandeharizadeh and Cyrus Shahabi Management of Physical Replicas in Parallel Multimedia Information Systems 51 Rakesh Agrawal and Christos Faloutsos and Arun Swami Efficient Similarity Search in Sequence Databases . . . . . . . . . . . . . . . 69 Ilsoo Ahn Filtered Hashing . . . . . . . . . . . . 85--100 Robert Devine Design and Implementation of DDH: A Distributed Dynamic Hashing Algorithm 101--114 Sam Y. Sung Performance Analysis of Superimposing-Coded Signature Files . . 115 T. H. Merrett and Heping Shang Trie Methods for Representing Text . . . 130 Hiroyuki Kitagawa and Yoshiaki Fukushima and Yoshiharu Ishikawa and Nobuo Ohbo Estimation of False Drops in Set-valued Object Retrieval with Signature Files 146 Yahiko Kambayashi and Hiroki Takakura and Shintaro Meki Data Structure and Algorithms for New Hardware Technology . . . . . . . . . . 164 Joachim Biskup and Holger Stiefeling Evaluation of Upper Bounds and Least Nodes as Database Operations . . . . . . 197 Arthur M. Keller and Catherine Hamon A C++ Binding for Penguin: a System for Data Sharing among Heterogeneous Object Models . . . . . . . . . . . . . . . . . 215 William I. Grosky and Sun Junping and Farshad Fotouhi Dynamic Selectivity Estimation for Multidimensional Queries . . . . . . . . 231 Rakesh Agrawal and Jerry Kiernan Reducing Page Thrashing in Recursive Query Processing . . . . . . . . . . . . 247 Witold Litwin and Tomasz Imielinski and David Lomet and Marie-Ann Neimat Highways and Jukeboxes: A Revolution for Data Structures? . . . . . . . . . . . . 264 Yongdon Wang and Jane Chiao and Vasu Nori The Sybase Replication Server Project 265 Shigeru Shimada and Toshihisa Aoshima and Tetsuzo Uehara Analogical Inferred Compensation Method for Heterogeneous Database Schema Mismatch and its Application to Hypermedia Cooperative Work System . . . 271 C. Mohan A Survey of DBMS Research Issues in Supporting Very Large Tables . . . . . . 279 Carsten Gerlhof and Alfons Kemper and Christoph Kilger and Guido Moerkotte Partition-Based Clustering in Object Bases: From Theory to Practice . . . . . 301 Brahma Dathan An Algorithm for the Implementation of Replicated Tables . . . . . . . . . . . 317 Cyril U. Orji and Mark A. Weiss and Jon A. Solworth Improved Traditional Mirror . . . . . . 329 Peter Scheuermann and Gerhard Weikum and Peter Zabback Adaptive Load Balancing in Disk Arrays 345 Robert Grossman and Yannis Ioannidis and Edward May and Sakti Pramanik and Ruth Pordes Scientific Databases: Challenges to the Database Community . . . . . . . . . . . 361 Hideyuki Takada and Yahiko Kambayashi An Object-Oriented Office Space Description Model and an Office View Management Mechanism for Distributed Office Environment . . . . . . . . . . . 362 Wojciech Cellary and Waldemar Wieczerzycki Stamp Locking Method for Multiversion Composite Objects . . . . . . . . . . . 378 Tatsuo Minohara and Ryuichi Watanabe and Mario Tokoro Queries on Structures in Hypertext . . . 394
M. Bever and K. Geihs and L. Heuser and M. Muhlhauser and A. Schill Distributed Systems, OSF DCE, and Beyond 1 A. Beitz and P. King and K. Raymond Comparing two Distributed Environments: DCE and ANSAware . . . . . . . . . . . . 21 R. Rabenseifner and A. Schuch Comparison of DCE RPC, DFN-RPC, ONC and PVM . . . . . . . . . . . . . . . . . . 39--46 B. Dasarathy and K. Khalil and D. E. Ruddock Some DCE Performance Analysis Results 47 J. Martinka and R. Friedrich and P. Friedenbach and T. Sienknecht A Performance Study of the DCE 1.0.1 Cell Directory Service: Implications for Application and Tool Programmers . . . . 63 R. Laifer and A. Knocke fidl --- A Tool for Using DCE from Fortran . . . . . . . . . . . . . . . . 78--88 T. M. McDonald Converting Legacy Fortran Applications to Distributed Applications . . . . . . 89--103 B. S. Hirsch Using Standard Tools to Build an Open, Client/Server Prototype . . . . . . . . 104 J. D. Narkiewicz and M. Girkar and M. Srivastava and A. S. Gaylord and M. Rahman Pilgrim's OSF DCE-based Services Architecture . . . . . . . . . . . . . . 120 Y.-H. Wei and S. S. B. Shi and D. D. H. Lin Converting Monolithic Programs for DCE Client/server Computing Given Incomplete Cutset Information . . . . . . . . . . . 135 S. Tikku and S. Vinter and S. Bertrand Managing the Transition to OSF DCE Security . . . . . . . . . . . . . . . . 147 B. Obrenic and K. S. Dibella and A. S. Gaylord DCE Cells under Megascope: Pilgrim Insight into the Resource Status . . . . 162 P. Adcock and N. Davies and G. S. Blair Supporting Continuous Media in Open Distributed Systems Architectures . . . 179 Y.-H. Wei and C. Wu Integrating RPC and Message Passing for Distributed Programming . . . . . . . . 192 C. Mittasch and S.-I. Diethmann Optimized Selection of Servers for Reduced Response Time in RPC . . . . . . 207 R. Heite and H. Eberle Extending DCE RPC by Dynamic Objects and Dynamic Typing . . . . . . . . . . . . . 214 Q. Teng and Y. Xie and B. Martin A Simple ORB Implementation on Top of DCE for Distributed Object-Oriented Programming . . . . . . . . . . . . . . 229 M. U. Mock DCE++: Distributing C++-Objects using OSF DCE . . . . . . . . . . . . . . . . 242 J. Dilley Object-Oriented Distributed Computing with C++ and OSF DCE . . . . . . . . . . 256 H.-W. Gellersen Graphical Design Support for DCE Applications . . . . . . . . . . . . . . 267 L. Svobodova Taming Heterogeneity in Networked Environments . . . . . . . . . . . . . . 282
J. Schwider and N. Streibl and K. Zurl Optoelectronic Interconnections . . . . 1 F. Hofmann and M. Dal Cin and A. Grygier and H. Hessenauer and U. Hildebrand and C.-U. Linster and T. Thiel and S. Turowski MEMSY --- A Modular Expandable Multiprocessor System . . . . . . . . . 15 M. Dal Cin and A. Grygier and H. Hessenauer and U. Hildebrand and J. Honig and W. Hohl and E. Michel and A. Pataricza Fault Tolerance in Distributed Shared Memory Multiprocessors . . . . . . . . . 31 E. Jessen and W. Ertel and Ch. Suttner Optimal Multiprogramming Control for Parallel Computations . . . . . . . . . 49 R. Hofmann The Distributed Hardware Monitor ZM4 and its Interface to MEMSY . . . . . . . . . 66 F. Hartleb Graph Models for Performance Evaluation of Parallel Programs . . . . . . . . . . 80 Th. Ludwig Load Management on Multiprocessor Systems . . . . . . . . . . . . . . . . 87 H. Hellwagner Randomized Shared Memory --- Concept and Efficiency of a Scalable Shared Memory Scheme . . . . . . . . . . . . . . . . . 102 G. Bockle and Ch. Stormann and I. Wildgruber Methods for Exploitation of Fine-Grained Parallelism . . . . . . . . . . . . . . 118 D. Gomm and E. Kindler Causality Based Proof of a Distributed Shared Memory System . . . . . . . . . . 133 J. Kleinoder Object- and Memory-Management Architecture --- A Concept for Open, Object-Oriented Operating Systems . . . 150 M. Faustle An Orthogonal Distribution Language for Uniform Object-Oriented Languages . . . 166 F. Hauck Towards the Implementation of a Uniform Object Model . . . . . . . . . . . . . . 180 F. Dederichs and C. Dendorfer and R. Weber Focus: A Formal Design Method for Distributed Systems . . . . . . . . . . 190 V. Fischer and H. Niemann Parallelism in a Semantic Network for Image Understanding . . . . . . . . . . 203 H. Spruth and F. Johannes Architectures for Parallel Slicing Enumeration in VLSI Layout . . . . . . . 219 P. Krauss and K. Antreich Application of Fault Parallelism to the Automatic Test Pattern Generation for Sequential Circuits . . . . . . . . . . 234 M. Pawlowski and R. Bayer Parallel Sorting of Large Data Volumes on Distributed Memory Multiprocessors 246 H. Fruchtl and P. Otto Quantum Mechanical Programs for Distributed Systems: Strategies and Results . . . . . . . . . . . . . . . . 265 M. Griebel and W. Huber and T. Stortkuhl and C. Zenger On the Parallel Solution of $3$D PDEs on a Network of Workstations and on Vector Computers . . . . . . . . . . . . . . . 276 M. Peric and M. Schafer and E. Schreck Numerical Simulation of Complex Fluid Flows on MIMD Computers . . . . . . . . 292
Dominik Eichelberg and Philipp Ackermann Integrating Interactive $3$D-Graphics into an Object-Oriented Application Framework . . . . . . . . . . . . . . . 3 Huang Haishan and Ernest Edmonds An Experimental Knowledge-Based User Interface Management System . . . . . . 13 Franz Penz and Luis Carrico Objects Feeling Objects in a MultiView Object Space . . . . . . . . . . . . . . 25 Kaisa Vaananen ShareME: A Metaphor-Based Authoring Tool for Multimedia Environments . . . . . . 39 H. Maurer and F. Kappe and N. Scherbakov and P. Srinivasan Structured Browsing of Hypermedia Databases . . . . . . . . . . . . . . . 51 Rainer Gotze and Helmut Eirund and Roland Claaben Object-Oriented Dialog Control for Multimedia User Interfaces . . . . . . . 63 Friedrich Strauss Contextsensitive Help-Facilities in GUIs Through Situations . . . . . . . . . . . 79 Fahri Yetim User-Adapted Hypertext Explanations . . 91 Peter W. Fach and Maria Bannert and Klaus Kunkel From Conflict to Dialogue: On Attack and Defence in On-Line Assistance . . . . . 103 A. Derder and C. Garbay Toward Deep Modelling and Control of Human Activity at the Microscope . . . . 117 Matthias Rauterberg and Christian Cachin Locating the Primary Attention Focus of the User . . . . . . . . . . . . . . . . 129 Andreas Girgensohn Modifier: Improving an End-User Modifiable System Through User Studies 141 Christian Attiogbe and Jean-Louis Durieux Handling Interaction in Software Specification . . . . . . . . . . . . . 155 Soren Lauesen and Morten Borup Harning Dialogue Design Through Modified Dataflow and Data Modelling . . . . . . 172 Raghu Kolli and Jim Hennessey Deriving the Functional Requirements for a Concept Sketching Device . . . . . . . 184 Beth Adelson Theory-Based Negotiation Frameworks for Supporting Group Work . . . . . . . . . 199 Thomas Berlage and Andreas Genau From Undo to Multi-User Applications . . 213 Stefan Edlich Software Cooperation with the Share-Kit: Influences of Semantic Levels on the Working Efficiency . . . . . . . . . . . 225 Jun Mizunashi and Kumiko Nakagawa and Kazuhito Kojima and Yutaka Matsushita Map and room: A Concept of Spatial User Interface for Accessing Network Services 235 Clark N. Quinn and Richard Preston TestIt: An Automated Evaluation Tool for Human-Computer Interaction Projects . . 249 Jochen Prumper Software-Evaluation Based upon ISO 9241 Part 10 . . . . . . . . . . . . . . . . 255 D. Cordelle and D. Bronisz Diagnosing Quality of Life in Working Environments . . . . . . . . . . . . . . 266 Soren Lauesen and Morten Borup Harning and Hans Frederik Boving Dialogue Independence Based on a Structured UIMS Interface . . . . . . . 279 Harald Reiterer A Human Factors Based User Interface Design . . . . . . . . . . . . . . . . . 291 Marja-Riitta Koivunnen and Ora Lassila and Juha Ahvo and Minna Rankinen and Sirpa Riihiaho and Bodil Riihinen ActorStudio: An Interactice User Interface Editor . . . . . . . . . . . . 303 Marita Franzke and John Rieman Natural Training Wheels: Learning and Transfer Between Two Versions of a Computer Application . . . . . . . . . . 317 Sabine Musil Beyond Bars and Hour Glasses: Designing Performance and Progress Indicators . . 329 Margit Pohl and Peter Purgathofer The Problems of Untrained Authors Creating Hypertext Documents . . . . . . 338 Sabine Sonnentag What is so Special About Exceptional Software Professionals? . . . . . . . . 353 Michael Paetau System-Adaption and Reality's own Dynamism . . . . . . . . . . . . . . . . 364 Andreas M. Heinecke Software Ergonomics for Real-Time Systems . . . . . . . . . . . . . . . . 379 Kip Canfield and Kerry Petrucci Interface Design for Clinical Information Systems: An Ecological Interface Design Approach . . . . . . . 391 Stephen Love and John C. Foster and Mervin A. Jack On the Effects of Individual Differences with Reference to Spoken Language Dialogue Systems . . . . . . . . . . . . 405 M. Al-Khonaizi and M. Al-A'ali and A. Al-Zobaidie Understanding Natural Arabic Text . . . 407 R. Schleich Structured Browsers Enhancing the Interface Concept of Graphical Editors 409 Ruth Grunfelder ``RelieF'' --- Herstellung von tastbaren Bildvorlagen fur blinde oder sehbehinderte Personen . . . . . . . . . 411 Christian Buhler and Helmut Heck and Rainer Wallbruch Adaptable User Interfaces for People with Special Needs . . . . . . . . . . . 413 Franz P. Seiler and J. Haider and P. Mayer and A. Zagler and W. Zagler VIP --- Arbeitsplatz fur blinde und sehbehinderte Studenten . . . . . . . . 415 Max M. North and Sarah M. North An Information Exploration and Visualization Approach for Direct Manipulation of Databases . . . . . . . 417 Lyn Pemberton Offices, Balconies, Doors and Corridors: An Experimental Interface Metaphor for Integrating Collaborative Design Styles 419 David Monger and Graham Leedham An Interactive Document Image Description for OCR of Handwritten Forms 423 Johannes Bumiller and Stefanie Rather Electronic Meeting Assistance . . . . . 425 Edward M. Soroko and Sergey V. Kirpich Harmonization Criterion for the Man-Machine Interaction . . . . . . . . 427 Peter Thomas and Keith Goss $3$-Dimensional Visual Representations for Graphical User Interfaces: The Art of User Involvement . . . . . . . . . . 429 François Bodart and Monique Noirhomme-Fraiture and Jean Vanderdonckt Guidelines for Choosing Interaction Objects . . . . . . . . . . . . . . . . 431 Wolfgang Hofkirchner and Peter Purgathofer and Ralf Pichler and Anton Bruno Trapp and Karl Berger and Walter Nierer Eine computergestutzte multimediale Dokumentation uber den Golfkrieg . . . . 433 Terje Grimstad and Riitta Hellman The Global Window as a Communication Mediator in Public Administration . . . 435 Kazushi Nishimoto and Kenji Mochizuki and Tsutomu Miyasato and Fumio Kishino A Supporting System for Human Creativity: Computer Aided Divergent Thinking Process by Provision of Associative Pieces of Information . . . 437 H. W. J. Borst Pauwels and J. Sousa Pinlo and B. Sousa Santos and J. A. Martins An Integrated Courseware Editor Based on OLE Technology . . . . . . . . . . . . . 439 Otto Petrovic Empirical Findings on Using Information Technology in the Creativity Stage of Problem Solving . . . . . . . . . . . . 441 Eveline Riedling Computers in Local Administrative Offices (Province of Salzburg) --- Aspects of Stress, Strain and Training 443 Peter Purgathofer and Peter Ruppel Configurable Guides for a Seasonal Database . . . . . . . . . . . . . . . . 445 Simon H. Gill and David K. Wright Offering Different Perspectives in a Learning Environment . . . . . . . . . . 447
B. Robic and J. Silc High-Performance Computing on a Honeycomb Architecture . . . . . . . . . 1 J. Schepers Refined Local Instruction Scheduling Considering Pipeline Interlocks . . . . 14 W. G. Hoover and C. G. Hoover and A. J. de Groot and T. G. Pierce Microscopic and Macroscopic Dynamics . . 26 A. G. Neto Further Results of the Relaxed Timing Model for Distributed Simulation . . . . 45 H. Elgindy Pipelining Computations on Processor Arrays with Reconfigurable Bus Systems 56 M. Lucka An Effective Algorithm for Computation of Two-Dimensional Fourier Transform for $ N \times M $ Matrices . . . . . . . . 64 C. Limongelli and H. W. Loidl Rational Number Arithmetic by Parallel P-adic Algorithms . . . . . . . . . . . 72 S. Stifter Shortest Non-Synchronized Motions --- Parallel Versions for Shared Memory CREW Models . . . . . . . . . . . . . . . . . 87 A. Spalt A Pipeline Algorithm for Interactive Volume Visualization . . . . . . . . . . 105 P. Mehrotra Data Parallel Programming: The Promises and Limitations of High Performance Fortran . . . . . . . . . . . . . . . . 114--114 L. Snyder Foundations of Practical Parallel Programming Languages . . . . . . . . . 115 W. Hasselbring Prototyping Parallel Algorithms with ProSet-Linda . . . . . . . . . . . . . . 135 S. Kalogeropulos Identifying the Available Parallelism Using Static Analysis . . . . . . . . . 151 C. W. Kebler and W. J. Paul Automatic Parallelization by Pattern-Matching . . . . . . . . . . . . 166 J. Lampe Parallelization . . . . . . . . . . . . 182 G. A. Geist PVM 3 Beyond Network Computing . . . . . 194--203 W. Schreiner and H. Hong The Design of the PACLIB Kernel for Parallel Algebraic Computation . . . . . 204 P. Fritzson and N. Andersson Generating Parallel Code from Equations in the ObjectMath Programming Environments . . . . . . . . . . . . . . 219 B. Ries and R. Anderson and W. Auld and D. Breazeal and K. Callaghan and E. Richards and W. Smith The Paragon Performance Monitoring Environment . . . . . . . . . . . . . . 233
Yu L. Ershov Theory of Domains and Nearby . . . . . . 1 J. Grundy Predicative Programming --- A Survey . . 8 J. Grundy A Three-Valued Logic for Refinement . . 26 D. Sands A Compositional Semantics of Combining Forms for Gamma Programs . . . . . . . . 43 G. Futschek Algebraic Properties of Loop Invariants 57 W. Reif An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing . . . . . . . . . . . 67 A. V. Zamulin Algebraic Modelling of Imperative Languages with Pointers . . . . . . . . 81 P. Cousot and R. Cousot Galois Connection Based Abstract Interpretations for Strictness Analysis 98 F. Bourdoncle Efficient Chaotic Iteration Strategies with Widenings . . . . . . . . . . . . . 128 F. Masdupuy Semantic Analysis of Interval Congruences . . . . . . . . . . . . . . 142 B. Monsuez Polymorphic Typing for Call-By-Name Semantics . . . . . . . . . . . . . . . 156 L. Lu and P. Greenfield Logic Program Testing Based on Abstract Interpretation . . . . . . . . . . . . . 170 V. Sabelfeld Analysis of Some Semantic Properties for Programs of the Applicative Language AL 181 Ph. Jorrand Communication as Unification in Process Algebras: Operational Semantics . . . . 190 P. Pepper and J. Exner and M. Sudholt Functional Development of Massively Parallel Programs . . . . . . . . . . . 217 I. B. Virbitskaite Observing Some Properties of Event Structures . . . . . . . . . . . . . . . 239 M. Taitslin and D. Arkhangelsky The Other Linear Logic . . . . . . . . . 251 Ch Zhou Duration Calculi: An Overview . . . . . 256 J. P. Bahsoun and C. Servieres and C. Seguin A Unique Formalism for Specifying and Designing Objects in a Parallel Environment . . . . . . . . . . . . . . 267 A. M. Haeberer and G. A. Baum and G. Schmidt On the Smooth Calculation of Relational Recursive Expression out of First-Order Non-Constructive Specifications Involving Quantifiers . . . . . . . . . 281 R. Pliuskevicius Saturation Replaces Induction for a Miniscoped Linear Temporal Logic . . . . 299 F. Nickl and M. Wirsing A Formal Approach to Requirements Engineering . . . . . . . . . . . . . . 312 G. C. Gannod and B. H. C. Cheng A Two-Phase Approach to Reverse Engineering Using Formal Methods . . . . 335 V. Levin Algebraically Provable Specification of Optimized Compilations . . . . . . . . . 349 H. Lutfiyya and B. McMillin and A. Su Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling . . . . . . . . . . . . . . . 363 V. Nepomniaschy and N. Shilov REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties . . . . . . . . . 377 B. Moller Algebraic Calculation of Graph and Sorting Algorithms . . . . . . . . . . . 394 A. P. Beltiukov Automatical Synthesis of Programs with Recursions . . . . . . . . . . . . . . . 414 E. A. Boiten Parsing in ISBES . . . . . . . . . . . . 423
R. L. Grossman and A. Nerode and A. P. Ravn and H. Rischel Introduction . . . . . . . . . . . . . . 1 Z. Manna and A. Pnueli Verifying Hybrid Systems . . . . . . . . 4 Z. Chaochen and A. P. Ravn and M. R. Hansen An Extended Duration Calculus for Hybrid Real-Time Systems . . . . . . . . . . . 36 T. A. Henzinger and Z. Manna and A. Pnueli Towards Refining Temporal Specifications into Hybrid Systems . . . . . . . . . . 60 L. Lamport Hybrid Systems in $ \mbox {TLA}^+ $ . . 77 R. Kurki-Suonio Hybrid Models with Fairness and Distributed Clocks . . . . . . . . . . . 103 J. Hooman A Compositional Approach to the Design of Hybrid Systems . . . . . . . . . . . 121 X. Nicollin and A. Olivero and J. Sifakis and S. Yovine An Approach to the Description and Analysis of Hybrid Systems . . . . . . . 149 Y. Kesten and A. Pnueli and J. Sifakis and S. Yovine Integration Graphs: A Class of Decidable Hybrid Systems . . . . . . . . . . . . . 179 R. Alur and C. Courcoubetis and T. A. Henzinger and P-H. Ho Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems . . . . . . . . . . . . . 209 A. Benveniste and M. Le Borgne and P. Le Guernic Hybrid Systems: The SIGNAL approach . . 230 A. Back and J. Guckenheimer and M. Myers A Dynamical Simulation Facility for Hybrid Systems . . . . . . . . . . . . . 255 M. Lemmon and J. A. Stiver and P. J. Antsaklis Event Identification and Intelligent Hybrid Control . . . . . . . . . . . . . 268 A. Nerode and W. Kohn Multiple Agent Hybrid Control Architecture . . . . . . . . . . . . . . 297 A. Nerode and W. Kohn Models for Hybrid Systems: Automata, Topologies, Controllability, Observability . . . . . . . . . . . . . 317 R. L. Grossman and R. G. Larson Some Remarks About Flows in Hybrid Systems . . . . . . . . . . . . . . . . 357 P. J. Antsaklis and J. A. Stiver and M. Lemmon Hybrid System Modeling and Autonomous Control Systems . . . . . . . . . . . . 366 M. Blanke and S. B. Nielsen and R. B. Jorgensen Fault Accommodation in Feedback Control Systems . . . . . . . . . . . . . . . . 393 T. Anderson and R. de Lemos and J. S. Fitzgerald and A. Saeed On Formal Support for Industrial-Scale Requirements Analysis . . . . . . . . . 426 M. Engel and M. Kubica and J. Madey and D. L. Parnas and A. P. Ravn and A. J. Van Schouwen A Formal Approach to Computer Systems Requirements Documentation . . . . . . . 452
J. Calmet and J. A. Campbell Artificial Intelligence and Symbolic Mathematical Computations . . . . . . . 1 P. Struss Qualitative Modeling of Physical Systems in AI Research . . . . . . . . . . . . . 20 J. Sellen On the Topological Structure of Configuration Spaces . . . . . . . . . . 50 P. Ladkin and A. Reinefeld A Symbolic Approach to Interval Constraint Problems . . . . . . . . . . 65 G. Schwarzler An Algebraic Approach to Knowledge-Based Modeling . . . . . . . . . . . . . . . . 85 M. E. Clarkson Intelligent User Interfaces for Symbolic and Numeric Computation . . . . . . . . 96 G. Butler The Progress Towards an Intelligent Assistant --- A Discussion Paper . . . . 107 J. Pfalzgraf On Mathematical Modeling in Robotics . . 116 E. Monfroy Gröbner Bases: Strategies and Applications . . . . . . . . . . . . . . 133 H. Hong Heuristic Search Strategies for Cylindrical Algebraic Decomposition . . 152 J. Calmet and K. Homann and I. A. Tjandra Unified Domains and Abstract Computational Structures . . . . . . . . 166 E. Ardeleanu Completion and Invariant Theory in Symbolic Computation and Artificial Intelligence . . . . . . . . . . . . . . 178 A. Weber A Type-Coercion Problem in Computer Algebra . . . . . . . . . . . . . . . . 188 W. Koepf Algorithmic Development of Power Series 195 L. Kerschberg and A. Waisanen A Cooperative Approach to Query Processing: Integrating Historical, Structural, and Behavioral Knowledge Sources . . . . . . . . . . . . . . . . 214 G. Cioni and A. Colagrossi and A. Miola A Desk-Top Sequent Calculus Machine . . 224 J. A. Plaza Gentzen-style Characterizations of Negation as Failure . . . . . . . . . . 237 R. Hahnle A New Translation from Deduction into Integer Programming . . . . . . . . . . 262 M. C. Golumbic Reasoning About Time . . . . . . . . . . 276 W. L. Roque Learning Qualitative Physics Reasoning from Regime Analysis . . . . . . . . . . 277 R. Garigliano and D. J. Nettleton Qualitative Mathematical Modeling of Genetic Algorithm . . . . . . . . . . . 294
Donald W. Davies The Transition from Mechanisms to Electronic Computers, 1940 to 1950 . . . 1 Lars Ramkilde Knudsen Cryptanalysis of LOKI . . . . . . . . . 22 Lawrence Brown and Matthew Kwan and Josef Pieprzyk and Jennifer Seberry Improving Resistance to Differential Cryptanalysis and the Redesign of LOKI 36 Hiroshi Miyano A Method to Estimate the Number of Ciphertext Pairs for Differential Cryptanalysis . . . . . . . . . . . . . 51 Kwangjo Kim Construction of DES-Like S-Boxes Based on Boolean Functions Satisfying the SAC 59 Jun-Hui Yang and Zong-Duo Dai and Ken-Cheng Zeng The Data Base of Selected Permutations 73 Joan Daemen and Rene Govaerts and Joos Vandewalle A Framework for the Design of One-Way Hash Functions Including Cryptanalysis of Damgard's One-Way Function Based on a Cellular Automaton . . . . . . . . . . . 82--96 Babak Sadeghiyan and Zheng Yuliang and Josef Pieprzyk How to Construct a Family of Strong One-Way Permutations . . . . . . . . . . 97 Wakaha Ogata and Kaoru Kurosawa On Claw Free Families . . . . . . . . . 111 Zheng Yuliang and Thomas Hardjono and Josef Pieprzyk Sibling Intractable Function Families and Their Applications . . . . . . . . . 124 Kazuo Ohta and Tatsuaki Okamoto A Digital Multisignature Scheme Based on the Fiat--Shamir Scheme . . . . . . . . 139 Hung-Yu Lin and Lein Harn A Generalized Secret Sharing Scheme with Cheater Detection . . . . . . . . . . . 149 Chi-Sung Laih and Lein Harn Generalized Threshold Cryptosystems . . 159 Reihaneh Safavi-Naini Feistel Type Authentication Codes . . . 170 Man Y. Rhee Research Activities on Cryptology in Korea . . . . . . . . . . . . . . . . . 179 Babak Sadeghiyan and Josef Pieprzyk On Necessary and Sufficient Conditions for the Construction of Super Pseudorandom Permutations . . . . . . . 194 Shimon Even and Yishay Mansour A Construction of a Cipher from a Single Pseudorandom Permutation . . . . . . . . 210 Josef Pieprzyk and Babak Sadeghiyan Optimal Perfect Randomizers . . . . . . 225 Matthew Kwan and Josef Pieprzyk A General Purpose Technique for Locating Key Scheduling Weaknesses in DES-like Cryptosystems . . . . . . . . . . . . . 237 Hikaru Morita and Kazuo Ohta and Shoji Miyaguchi Results of Switching-Closure-Test on FEAL . . . . . . . . . . . . . . . . . . 247 Jun-ichi Mizusawa IC-Cards and Telecommunication Services 253 Atsushi Shimbo and Shin-ichi Kawamura Cryptanalysis of Several Conference Key Distribution Schemes . . . . . . . . . . 265 Andrew Klapper and Mark Goresky Revealing Information with Partial Period Correlations . . . . . . . . . . 277 Joost Meijers and Johan van Tilburg Extended Majority Voting and Private-Key Algebraic-Code Encryptions . . . . . . . 288 B. Goldburg and E. Dawson and S. Sridharan A Secure Analog Speech Scrambler Using the Discrete Cosine Transform . . . . . 299 Lein Harn and Lin Hung-Yu An Oblivious Transfer Protocol and Its Application for the Exchange of Secrets 312 Takeshi Saito and Kaoru Kurosawa and Kouichi Sakurai 4 Move Perfect ZKIP of Knowledge with No Assumption . . . . . . . . . . . . . . . 321 Toshiya Itoh and Kouichi Sakurai On the Complexity of Constant Round ZKIP of Possession of Knowledge . . . . . . . 331 Lance Fortnow and Mario Szegedy On the Power of Two-Local Random Reductions . . . . . . . . . . . . . . . 346 Joan Feigenbaum and Rafail Ostrovsky A Note on One-Prover, Instance-Hiding Zero-Knowledge Proof Systems . . . . . . 352 Yvo Desmedt and Mike Burmester An Efficient Zero-Knowledge Scheme for the Discrete Logarithm Based on Smooth Numbers . . . . . . . . . . . . . . . . 360 Tatsuaki Okamoto An Extension of Zero-Knowledge Proofs and Its Applications . . . . . . . . . . 368 Toshiya Itoh and Kouichi Sakurai and Hiroki Shizuya Any Language in IP Has a Divertible ZKIP 382 Shu Chaosheng and Tsutomu Matsumoto and Hideki Imai A Multi-Purpose Proof System . . . . . . 397 Marie-Jeanne Toussaint Formal Verification of Probabilistic Properties in Cryptographic Protocols 412 Ronald L. Rivest Cryptography and Machine Learning . . . 427 Jorgen Brandt and Ivan Damgard and Peter Landrock Speeding Up Prime Number Generation . . 440 Chi-Sung Laih and Sung-Ming Yen and Lein Harn Two Efficient Server-Aided Secret Computation Protocols Based on the Addition Sequence . . . . . . . . . . . 450 Atsuko Miyaji On Ordinary Elliptic Curve Cryptosystems 460 Antoine Joux and Jacques Stern Cryptanalysis of Another Knapsack Cryptosystem . . . . . . . . . . . . . . 470 Joan Daemen and Antoon Bosselaers and Rene Govaerts and Joos Vandewalle Collisions for Schnorr's Hash Function FFT-Hash Presented at Crypto'91 . . . . 477--480 Ronald L. Rivest On NIST's Proposed Digital Signature Standard . . . . . . . . . . . . . . . . 481 Toshinobu Kaneko A Known-Plaintext Attack of FEAL-4 Based on the System of Linear Equations on Difference . . . . . . . . . . . . . . . 485 Matthew Kwan Simultaneous Attacks in Differential Cryptanalysis (Getting More Pairs Per Encryption) . . . . . . . . . . . . . . 489 Stig Fr. Mjolsnes Privacy, Cryptographic Pseudonyms, and The State of Health . . . . . . . . . . 493 Joan Daemen Limitations of the Even-Mansour Construction . . . . . . . . . . . . . . 495
Jurjen N. E. Bos and David Chaum Provably Unforgeable Signatures . . . . 1--14 Eug\`ene van Heijst and Torben Pryds Pedersen and Birgit Pfitzmann New Constructions of Fail-Stop Signatures and Lower Bounds (Extended Abstract) . . . . . . . . . . . . . . . 15--30 Eug\`ene van Heijst and Torben Pryds Pedersen and Birgit Pfitzmann New Constructions of Fail-Stop Signatures and Lower Bounds (Extended Abstract) . . . . . . . . . . . . . . . 15 Tatsuaki Okamoto Provably Secure and Practical Identification Schemes and Corresponding Signature Schemes . . . . . . . . . . . 31--53 Tatsuaki Okamoto and Atsushi Fujioka and Eiichiro Fujisaki An Efficient Digital Signature Scheme Based on an Elliptic Curve Over the Ring $ Z_n $ . . . . . . . . . . . . . . . . 54--65 Daniel M. Gordon Designing and Detecting Trapdoors for Discrete Log Cryptosystems . . . . . . . 66--75 Miles E. Smid and Dennis K. Branstad Response to Comments on the NIST Proposed Digital Signature Standard (Invited) . . . . . . . . . . . . . . . 76--88 David Chaum and Torben Pryds Pedersen Wallet Databases with Observers . . . . 89--105 Rafael Hirschfeld Making Electronic Refunds Safer . . . . 106--112 Silvio Micali Fair Public-Key Cryptosystems (Rough Draft) . . . . . . . . . . . . . . . . . 113--138 Cynthia Dwork and Moni Naor Pricing via Processing or Combatting Junk Mail . . . . . . . . . . . . . . . 139--147 C. Blundo and A. De Santis and L. Gargano and U. Vaccaro On the Information Rate of Secret Sharing Schemes . . . . . . . . . . . . 148--167 Douglas R. Stinson New General Lower Bounds on the Information Rate of Secret Sharing Schemes . . . . . . . . . . . . . . . . 168--182 Amos Beimel and Benny Chor Universally Ideal Secret Sharing Schemes (Preliminary Version) . . . . . . . . . 183--195 Moni Naor and Rafail Ostrovsky and Ramarathnam Venkatesan and Moti Yung Perfect Zero-Knowledge Arguments for NP Can Be Based on General Complexity Assumptions (Extended Abstract) . . . . 196--214 Cynthia Dwork and Uri Feige and Joe Kilian and Moni Naor and Muli Safra Low communication 2-Prover Zero-Knowledge Proofs for NP . . . . . . 215--227 Shafi Goldwasser and Rafail Ostrovsky \em Invariant Signatures and Non-interactive Zero-Knowledge Proofs Are Equivalent (Extended Abstract) . . . 228--245 Kouichi Sakurai and Toshiya Itoh On the Discrepancy between Serial and Parallel of Zero-Knowledge Protocols (Extended Abstract) . . . . . . . . . . 246--259 M. Sivabalan and S. E. Tavares and L. E. Peppard On the Design of SP Networks from an Information Theoretic Point of View . . 260--279 Claude Carlet Partially-Bent Functions . . . . . . . . 280--291 Yuliang Zheng and Jennifer Seberry Practical Approaches to Attaining Security against Adaptively Chosen Ciphertext Attacks (Extended Abstract) 292--304 Thierry Baritaud and Mireille Campana and Pascal Chauvaud and Henri Gilbert On the Security of the Permuted Kernel Identification Scheme . . . . . . . . . 305--311 Daniel M. Gordon and Kevin S. McCurley Massively Parallel Computation of Discrete Logarithms . . . . . . . . . . 312--323 René Peralta A Quadratic Sieve on the $n$-Dimensional Cube . . . . . . . . . . . . . . . . . . 324--332 Willi Meier and Othmar Staffelbach Efficient Multiplication on Certain Nonsupersingular Elliptic Curves . . . . 333--344 Kenji Koyama and Yukio Tsuruoka Speeding up Elliptic Cryptosystems by Using a Signed Binary Window Method . . 345--357 Jòrgen Brandt and Ivan Bjerre Damgård On Generation of Probable Primes by Incremental Search . . . . . . . . . . . 358--370 Michael Fellows and Neal Koblitz Kid Krypto (Invited) . . . . . . . . . . 371--389 Mihir Bellare and Oded Goldreich On Defining Proofs of Knowledge . . . . 390--420 Amir Herzberg and Michael Luby Public Randomness in Cryptography . . . 421--432 Alexander Y. Russell Necessary and Sufficient Conditions for Collision-Free Hashing . . . . . . . . . 433--441 Mihir Bellare and Moti Yung Certifying Cryptographic Tools: The Case of Trapdoor Permutations . . . . . . . . 442--460 Ueli M. Maurer Protocols for Secret Key Agreement by Public Discussion Based on Common Information . . . . . . . . . . . . . . 461--470 Carlo Blundo and Alfredo De Santis and Amir Herzberg and Shay Kutten and Ugo Vaccaro and Moti Yung Perfectly-Secure Key Distribution for Dynamic Conferences . . . . . . . . . . 471--486 Eli Biham and Adi Shamir Differential Cryptanalysis of the Full $ 16 $-Round DES . . . . . . . . . . . . . 487--496 L. R. Knudsen Iterative Characteristics of DES and S02 DES . . . . . . . . . . . . . . . . . . 497--511 Lars R. Knudsen Iterative Characteristics of DES and $ s^2 $-DES . . . . . . . . . . . . . . . 497 Keith W. Campbell and Michael J. Wiener DES Is Not a Group . . . . . . . . . . . 512--520 Hans Eberle A High-Speed DES Implementation for Network Applications . . . . . . . . . . 521--539 Bob Blakley and G. R. Blakley and Agnes Hui Chan and James L. Massey Threshold Schemes with Disenrollment . . 540--548 Yair Frankel and Yvo Desmedt and Mike V. D. Burmester Non-Existence of Homomorphic General Sharing Schemes for Some Key Spaces . . 549--557 Lein Harn and Hung-Yu Lin An $l$-Span Generalized Secret Sharing Scheme . . . . . . . . . . . . . . . . . 558--565 Kaisa Nyberg and Lars Ramkilde Knudsen Provable Security against Differential Cryptanalysis . . . . . . . . . . . . . 566--574 Peter C. Wayner Content-Addressable Search Engines and DES-like Systems . . . . . . . . . . . . 575--586 Serge Vaudenay FFT-Hash-II Is Not Yet Collision-Free 587--593
B. De Schutter Trends in the Fight Against Computer-Related Delinquency . . . . . . 3--19 J. Vandewalle and R. Govaerts and B. Preneel Technical Approaches to Thwart Computer Fraud . . . . . . . . . . . . . . . . . 20--32 M. De Soete Public Key Cryptography . . . . . . . . 33--49 D. De Waleffe and J.-J. Quisquater Better Login Protocols for Computer Networks . . . . . . . . . . . . . . . . 50--70 J. Van Tilburg Secret-Key Exchange with Authentication 71--86 B. Preneel and R. Govaerts and J. Vandewalle Information Authentication: Hash Functions and Digital Signatures . . . . 87--131 W. Funny Key Management . . . . . . . . . . . . . 132--150 D. W. Roberts Evaluation Criteria for IT Security . . 151--161 B. Preneel Standardization of Cryptographic Techniques . . . . . . . . . . . . . . . 162--173 D. Chaum Numbers Can Be a Better Form of Cash than Paper . . . . . . . . . . . . . . . 174--178 J. Verschuren and R. Govaerts and J. Vandewalle ISO-OSI Security Architecture . . . . . 179--192 K. Vedder Security Aspects of Mobile Communications . . . . . . . . . . . . . 193--210 W. Fumy (Local Area) Network Security . . . . . 211--226 A. Bosselaers and R. Govaerts and J. Vandewalle Cryptography Within Phase I of the EEC-RACE Programme . . . . . . . . . . . 227--234 G. Lennox EDI security . . . . . . . . . . . . . . 235--243 M. Geoffroy and R. Bjones and H. Cnudde AXYTRANS: Physical Funds Transport and DES . . . . . . . . . . . . . . . . . . 244--256 B. De Decker Unix Security and Kerberos . . . . . . . 257--274
John Sargeant Uniting Functional and Object-Oriented Programming . . . . . . . . . . . . . . 1 Gregor Kiczales Traces (A Cut at the ``Make Isn't Generic'' Problem) . . . . . . . . . . . 27 Xavier Pintado Gluons: a Support for Software Component Cooperation . . . . . . . . . . . . . . 43 Kenichi Yamazaki and Yoshiji Amagai and Masaharu Yoshida and Ikuo Takeuchi TAO: An Object-Orientation Kernel . . . 61 Katsuhiko Gondow and Takashi Imaizumi and Yoichi Shinoda and Takuya Katayama Change Management and Consistency Maintenance in Software Development Environments Using Object-Oriented Attribute Grammars . . . . . . . . . . . 77 Kin'ichi Mitsui and Hiroaki Nakamura and Theodore C. Law and Shahram Javey Design of an Integrated and Extensible C++ Programming Environment . . . . . . 95 Hideaki Okamura and Yutaka Ishikawa and Mario Tokoro Metalevel Decomposition in AL-1/D . . . 110 Philippe Mulet and Pierre Cointe Definition of a Reflective Kernel for a Prototype-Based Language . . . . . . . . 128 Yasuhiko Yokote Kernel Structuring of Object-Oriented Operating Systems: The Apertos Approach 145 François Bancilhon Object Database Systems: Functional Architecture . . . . . . . . . . . . . . 163 Paul L. Bergstein and Walter L. Hursch Maintaining Behavioral Consistency during Schema Evolution . . . . . . . . 176 Ling Liu An Object-Centered Approach for Manipulating Hierarchically Complex Objects . . . . . . . . . . . . . . . . 194 Kwang June Byeon and Dennis McLeod Towards the Unification of Views and Versions for Object Databases . . . . . 220 Chen Qiming and Shan Ming-Chein Abstract View Objects for Multiple OODB Integration . . . . . . . . . . . . . . 237 Jin Chang Hai and Hai Jin Chang An Object-Oriented Query Model Supporting Views . . . . . . . . . . . . 251 Ralph E. Johnson and William F. Opdyke Refactoring and Aggregation . . . . . . 264 Bent Bruun Kristensen Transverse Activities: Abstractions in Object-Oriented Programming . . . . . . 279 Jawahar Malhotra Dynamic Extensibility in a Statically-Compiled Object-Oriented Language . . . . . . . . . . . . . . . . 297 Malcolm P. Atkinson and D. I. K. Sjoberg and R. Morrison Managing Change in Persistent Object Systems . . . . . . . . . . . . . . . . 315 Marc Gemis and Jan Paredaens An Object-Oriented Pattern Matching Language . . . . . . . . . . . . . . . . 339 Siu Cheung Hui and Angela Goh and Jose Kolencheril Raphel CLOG: A Class-Based Logic Language for Object-Oriented Databases . . . . . . . 356 Alan Kaplan and Jack C. Wileden Name Management and Object Technology for Advanced Software . . . . . . . . . 371 Stefan Van Baelen and Johan Lewi and Eric Steegmans and Bart Swennen Constraints in Object-Oriented Analysis 393 Sai Peck Lee and Collette Rolland Integration of the Tool (AWB) Supporting the $ {O}^* $ Method in the PCTE-Based Software Engineering Environment . . . . 408 Karl J. Lieberherr and Cun Xiao Minimizing Dependency on Class Structures with Adaptive Programs . . . 424 Ken Wakita First Class Messages as First Class Continuations . . . . . . . . . . . . . 442 Vasco T. Vasconcelos and Mario Tokoro A Typing System for a Calculus of Objects . . . . . . . . . . . . . . . . 460 Yasunori Harada A Type Mechanism Based on Restricted CCS for Distributed Active Objects . . . . . 475 David Notkin and David Garlan and William G. Griswold and Kevin Sullivan Adding Implicit Invocation to Languages: Three Approaches . . . . . . . . . . . . 489 Sergio Bandinelli and Luciano Baresi and Alfonso Fuggetta and Luigi Lavazza Requirements and Early Experiences in the Implementation of the SPADE Repository using Object-Oriented Technology . . . . . . . . . . . . . . . 511 Amarit Laorakpong and Motoshi Saeki Object-Oriented Formal Specification Development using VDM . . . . . . . . . 529
S. Otsuki Discovery Learning in Intelligent Tutoring Systems . . . . . . . . . . . . 3 R. Wiehagen From Inductive Inference to Algorithmic Learning Theory . . . . . . . . . . . . 13 A. Konagaya A Stochastic Approach to Genetic Information Processing . . . . . . . . . 25 T. Yokomori On Learning Systolic Languages . . . . . 41 J. L. Balcazar and J. Diaz and R. Gavalda and O. Watanabe A Note on the Query Complexity of Learning DFA . . . . . . . . . . . . . . 53 K. Ito and A. Yamamoto Polynomial-Time MAT Learning of Multilinear Logic Programs . . . . . . . 63 T. Kurita Iterative Weighted Least Squares Algorithms for Neural Networks Classifiers . . . . . . . . . . . . . . 77 K. Niijima Domains of Attraction in Autoassociative Memory Networks for Character Pattern Recognition . . . . . . . . . . . . . . 87 S. Akaho Regularization Learning of Neural Networks for Generalization . . . . . . 99 R. Kamimura Competitive Learning by Entropy Minimization . . . . . . . . . . . . . . 111 Y. Mukouchi Inductive Inference with Bounded Mind Changes . . . . . . . . . . . . . . . . 125 H. Ishizaka and H. Arimura and T. Shinohara Efficient Inductive Inference of Primitive Prologs from Positive Data . . 135 S. Kapur Monotonic Language Learning . . . . . . 147 S. Jain and A. Sharma Prudence in Vacillatory Language Identification . . . . . . . . . . . . . 159 K. Ueda and S. Nagano Implementation of Heuristic Problem Solving Process Including Analogical Reasoning . . . . . . . . . . . . . . . 171 Y. Okubo and M. Haraguchi Planning with Abstraction Based on Partial Predicate Mappings . . . . . . . 183 Y. Sakai and A. Maruoka Learning $k$-Term Monotone Boolean Formulae . . . . . . . . . . . . . . . . 197 J. Takeuchi Some Improved Sample Complexity Bounds in the Probabilistic PAC Learning Model 208 M. Matsuoka An Application of Bernstein Polynomials in PAC Model . . . . . . . . . . . . . . 220 T. Akutsu and A. Takasu On PAC Learnability of Functional Dependencies . . . . . . . . . . . . . . 229 H. Mamitsuka and K. Yamanishi Protein Secondary Structure Prediction Based on Stochastic-Rule Learning . . . 240 K. Kakihara and H. Imai Notes on the PAC Learning of Geometric Concepts with Additional Information . . 252
P. Laird Identifying and Using Patterns in Sequential Data . . . . . . . . . . . . 1--18 S. Miyano Learning Theory Toward Genome Informatics . . . . . . . . . . . . . . 19--36 S. Muggleton Optimal Layered Learning: A PAC Approach to Incremental Sampling . . . . . . . . 37--44 J. Arima and H. Sawamura Reformulation of Explanation by Linear Logic --- Toward Logic for Explanation 45--58 J. Barzdins and G. Barzdins and K. Apsitis and U. Sarkans Towards Efficient Inductive Synthesis of Expressions from Input/Output Examples 59--72 M. Hagiya A Typed lambda-Calculus for Proving-by-Example and Bottom-up Generalization Procedure . . . . . . . . 73--86 K. P. Jantke and S. Lange Case-Based Representation and Learning of Pattern Languages . . . . . . . . . . 87--100 T. Sato and S. Akiba Inductive Resolution . . . . . . . . . . 101--110 A. Yamamoto Generalized Unification as Background Knowledge in Learning Logic Programs . . 111--122 Y. Mukouchi and S. Arikawa Inductive Inference Machines That Can Refute Hypothesis Spaces . . . . . . . . 123--136 R. Freivalds and C. H. Smith On the Duality Between Mechanistic Learners and What it is They Learn . . . 137--149 S. Jain and A. Sharma On Aggregating Teams of Learning Machines . . . . . . . . . . . . . . . . 150--163 J. Viksna Learning with Growing Quality . . . . . 164--172 R. Daley and B. Kalyanasundaram Use of Reduction Arguments in Determining Popperian FIN-Type Learning Capabilities . . . . . . . . . . . . . . 173--186 T. Moriyama and M. Sato Properties of Language Classes with Finite Elasticity . . . . . . . . . . . 187--196 S. Kapur Uniform Characterizations of Various Kinds of Language Learning . . . . . . . 197--208 T. Knuutila How to Invent Characterizable Inference Methods for Regular Languages . . . . . 209--222 J. R. Cuellar and H. U. Simon Neural Discriminant Analysis . . . . . . 223--236 M. Iwayama and N. Indurkhya and H. Motoda A New Algorithm for Automatic Configuration of Hidden Markov Models 237--250 A. Sakurai On the VC-Dimension of Depth Four Threshold Circuits and the Complexity of Boolean-valued Functions . . . . . . . . 251--264 E. Takimoto and A. Maruoka On the Sample Complexity of Consistent Learning with One-Sided Error . . . . . 265--278 A. Shinohara Complexity of Computing Vapnik--Chervonenkis Dimension . . . . . 279--287 S. Hasegawa and H. Imai and M. Ishiguro $ x x x $-Approximations of kappa-Label Spaces . . . . . . . . . . . . . . . . . 288--299 A. Nakamura and N. Abe Exact Learning of Linear Combinations of Monotone Terms from Function Value Queries . . . . . . . . . . . . . . . . 300--313 R. Siromoney and D. G. Thomas and K. G. Subramanian and V. R. Dare Thue Systems and DNA --- A Learning Algorithm for a Subclass . . . . . . . . 314--327 Y. Ishigami and S. Tani The VC-Dimensions of Finite Automata with $n$ States . . . . . . . . . . . . 328--341 K. Yoshida and H. Motoda and N. Indurkhya Unifying Learning Methods by Colored Digraphs . . . . . . . . . . . . . . . . 342--355 M. Suwa and H. Motoda A Perceptual Criterion for Visually Controlling Learning . . . . . . . . . . 356--369 S. Kobayashi Learning Strategies Using Decision Lists 370--383 N. Zhong and S. Ohsuga A Decomposition Based Induction Model for Discovering Concept Clusters from Databases . . . . . . . . . . . . . . . 384--397 J.-G. Ganascia Algebraic Structure of Some Learning Systems . . . . . . . . . . . . . . . . 398--409 S. Tsumoto and H. Tanaka Induction of Probabilistic Rules Based on Rough Set Theory . . . . . . . . . . 410--423
R. Luccio Gestalt Problems in Cognitive Psychology: Field Theory, Invariance, and Auto-Organisation . . . . . . . . . 2 D. Parisi and S. Nolfi Neural Network Learning in an Ecological and Evolutionary Context . . . . . . . . 20 V. Di Gesu Trends in Pattern Recognition . . . . . 41 A. Biancardi and V. Cantoni and L. Lombardi Computer Vision Systems: Functionality and Structure Integration . . . . . . . 70 P. Cosi On the Use of Auditory Models in Speech Technology . . . . . . . . . . . . . . . 85 P. Frasconi and M. Gori and G. Soda Automatic Speech Recognition with Neural Networks: beyond Nonparametric Models 104 A. Chella and S. Gaglio and R. Pirrone New Shape from Shading Methods . . . . . 122 M. Voltolina and C. Umilta Orientation-Dependent Effects in Neural Networks . . . . . . . . . . . . . . . . 137 S. Santini Identification of Pattern Dimensionality by Self-organization . . . . . . . . . . 142 V. Murino and G. L. Foresti and C. S. Regazzoni A Markovian Model for Perceptual Grouping of Different Shape Primitives 161 A. Giretti and P. Puliti and G. Tascini and P. Zingaretti Segmented Image Reduction . . . . . . . 181 A. Corazza and M. Federico and R. Gretter and G. Lazzari Design and Acquisition of a Task-Oriented Spontaneous Speech Database . . . . . . . . . . . . . . . . 196 P. Tabossi Language and Ambiguity . . . . . . . . . 211 A. Del Bimbo and E. Vicario and D. Zingoni Spatial Logic for Image Representation and Retrieval-by-Contents . . . . . . . 222 P. L. Bragato and V. Roberto Communication Among Perceiving Agents 241 A. F. Dragoni and P. Puliti Perception of Mental States from Communication . . . . . . . . . . . . . 263 B. Zoppis and O. Boissier and J. L. Crowley Perceptual Grouping for Scene Interpretation in an Active Vision System . . . . . . . . . . . . . . . . . 276 E. Trucco and A. M. Wallace Using Viewer-Centered Representations in Machine Vision . . . . . . . . . . . . . 307 R. Milanese and T. Pun and H. Wechsler A Non-Linear Integration Process for the Selection of Visual Information . . . . 322 A. Bollini Distributed Perceptive Paradigms: Preliminary Statements . . . . . . . . . 337 D. Floreano Anticipatory Tracking of a Moving Object 344 M. Romano and N. Ancona A Time-to-Crash Detector Based on Area Expansions: Example of Opto-motor Reflex 354 R. Cassinis and M. Terceros Rojas ``Intelligent'' Telepresence: Introducing Virtual Reality in Advanced Robots . . . . . . . . . . . . . . . . . 368
Z. An and M. McLeish RES: A Formalism for Reasoning with Relative-Strength Defaults . . . . . . . 1 F. Baader and K. Schlechta A Semantics for Open Normal Defaults via a Modified Preferential Approach . . . . 9 S. Benferhat and D. Dubois and H. Prade Possibilistic Logic: From Nonmonotonicity to Logic Programming . . 17 F. Bergadano and V. Cutello Learning Membership Functions . . . . . 25 G. Bittencourt and M. Marengoni and S. Sandri The Use of Possibilistic Logic PL1 in a Customizable Tool for the Generation of Production-Rule Based Systems . . . . . 33 R. R. Bouckaert Probabilistic Network Construction Using the Minimum Description Length Principle 41 R. R. Bouckaert IDAGs: a Perfect Map for Any Distribution . . . . . . . . . . . . . . 49 L. M. de Campos and J. F. Huete Learning Non Probabilistic Belief Networks . . . . . . . . . . . . . . . . 57 M. R. Cravo and J. P. Martins A Practical System for Defeasible Reasoning and Belief Revision . . . . . 65 J. C. Cubero and J. M. Medina and M. A. Vila Influence of Granularity Level in Fuzzy Functional Dependencies . . . . . . . . 73 S. K. Das and J. Fox A Logic for Reasoning About Safety in Decision Support Systems . . . . . . . . 79 M. Elvang-Goransson and P. J. Krause and J. Fox Acceptability of arguments as `logical uncertainty' . . . . . . . . . . . . . . 85 J. Engelfriet and J. Treur A Temporal Model Theory for Default Logic . . . . . . . . . . . . . . . . . 91 H. Fargier and J. Lang Uncertainty in Constraint Satisfaction Problems: a Probabilistic Approach . . . 97 L. Farinas del Cerro and A. Herzig Interference Logic = Conditional Logic + Frame Axiom . . . . . . . . . . . . . . 105 D. Fehrer A Unifying Logical Framework for Reason Maintenance . . . . . . . . . . . . . . 113 C. Fouquere and J. Vauzeilles Taxonomic Linear Theories . . . . . . . 121 D. Gabbay and A. Hunter Making Inconsistency Respectable: Part 2 --- Metal-Level Handling of Inconsistency . . . . . . . . . . . . . 129 D. Gabbay and A. Hunter Restricted Access Logics for Inconsistent Information . . . . . . . . 137 O. Gasquet and A. Herzig Translating Inaccessible Worlds Logic into Bimodal Logic . . . . . . . . . . . 145 J. Gebhardt and R. Kruse A New Approach to Semantic Aspects of Possibilistic Reasoning . . . . . . . . 151 A. Gilio Probabilistic Consistency of Knowledge Bases in Inference Systems . . . . . . . 160 S. Guiasu Weighting Independent Bodies of Evidence 168 M. Hopkins Default Logic: Orderings and Extensions 174 J. F. Huete and L. M. de Campos Learning Causal Polytrees . . . . . . . 180 J. Kohlas Symbolic Evidence, Arguments, Supports and Valuation Networks . . . . . . . . . 186 A. Kohler A Dynamic Ordering Relation for Revision 199 O. Kriz On Extensions of Marginals for Decision-Making . . . . . . . . . . . . 205 E. Laenens On the Semantics of Negations in Logic Programming . . . . . . . . . . . . . . 213 P. Larranaga and Y. Yurramendi Structure Learning Approaches in Causal Probabilistics Networks . . . . . . . . 227 F. Levy Weak Extensions for Default Theories . . 233 W. Liu and A. Bundy and D. Robertson Recovering Incidence Functions . . . . . 241 W. Liu and A. Bundy and D. Robertson On the Relations Between Incidence Calculus and ATMS . . . . . . . . . . . 249 C. Mathieu A Resolution Method for a Non Monotonic Multimodal Logic . . . . . . . . . . . . 257 J.-J. Ch. Meyer and W. van der Hoek A Default Logic Based on Epistemic States . . . . . . . . . . . . . . . . . 265 S. Moral A Formal Language for Convex Sets of Probabilities . . . . . . . . . . . . . 274 T.-H. Ngair and G. Provan A Lattice-Theoretic Analysis of ATMS Problem Solving . . . . . . . . . . . . 282 M. Noormohammadian and U. G. Oppel Examples of Causal Probabilistic Expert Systems . . . . . . . . . . . . . . . . 290 O. Papini and A. Rauzy A Mixed Approach of Revision in Propositional Calculus . . . . . . . . . 296 S. Parsons and A. Saffiotti Integrating Uncertainty Handling Formalisms in Distributed Artificial Intelligence . . . . . . . . . . . . . . 304 T. Schaub Variations of Constrained Default Logic 310 P. P. Shenoy Information Sets in Decision Theory . . 318 H. Shu The Preferential Semantics of A Multi-Modal Nonmonotonic Logic . . . . . 326 P. Smets Probability of Deductibility and Belief Functions . . . . . . . . . . . . . . . 332 M. Studeny Formal Properties of Conditional Independence in Different Calculi of AI 341 Y.-H. Tan A Proof Theory for Constructive Default Logic . . . . . . . . . . . . . . . . . 349 E. Weydert Plausible Inference for Default Conditionals . . . . . . . . . . . . . . 356 N. Wilson Decision-Making with Belief Functions and Pignistic Probabilities . . . . . . 364 N. Wilson Default Logic and Dempster-Shafer Theory 372 C. Witteveen and W. van der Hoek Belief Revision by Expansion . . . . . . 380 Anonymous Author Index . . . . . . . . . . . . . . 389
Robert H. Halstead and Takayasu Ito Overview of Papers from the U.S./Japan Workshop on Parallel Symbolic Computing 1 L. V. Kale and B. Ramkumar and V. Saletore and A. B. Sinha Prioritization in Parallel Symbolic Computing . . . . . . . . . . . . . . . 12 Yukio Kaneda and Hideo Matsuda and Shigeo Suzuka A Priority Control System for OR-Parallel Prolog and Its Performance Evaluation . . . . . . . . . . . . . . . 42 Randy B. Osborne Extending the Multilisp Sponsor Model to Deal with Intertask Synchronization Side Effects . . . . . . . . . . . . . . . . 54 Eric Mohr Distillations of Dynamic Partitioning Experience . . . . . . . . . . . . . . . 88 Marc Feeley A Message Passing Implementation of Lazy Task Creation . . . . . . . . . . . . . 94 Takayasu Ito and Tomohiro Seino P-Continuation Based Implementation of PaiLisp Interpreter . . . . . . . . . . 108 Masami Hagiya Running Higher-Order Unification in PaiLisp . . . . . . . . . . . . . . . . 155 Hidehiko Tanaka and Jun-ichi Tatemura HyperDEBU: A Multiwindow Debugger for Parallel Logic Programs . . . . . . . . 162 Robert H. Halstead and David A. Kranz and Patrick G. Sobalvarro MulTVision: A Tool for Visualizing Parallel Program Executions . . . . . . 183 Ho Kinson and Paul N. Hilfinger Managing Side Effects on Shared Data . . 205 Christian Queinnec and David De Roure Design of a Concurrent and Distributed Language . . . . . . . . . . . . . . . . 234 Suresh Jagannathan TS\slash Scheme: Distributed Data Structures in Lisp . . . . . . . . . . . 260 Taiichi Yuasa A SIMD Environment TUPLE for Parallel List Processing . . . . . . . . . . . . 268 Julian Padget and Duncan Batey and Simon Merrall Architecture Independence and Coordination . . . . . . . . . . . . . . 287 Benny Yih and Mark Swanson and Robert Kessler Persistent Immutable Shared Abstractions 300 Mario Tokoro and Ichiro Satoh Asynchrony and Real-Time in Distributed Systems . . . . . . . . . . . . . . . . 318 Naoki Kobayashi and Akinori Yonezawa Asynchronous Communication Model Based on Linear Logic . . . . . . . . . . . . 331 Takashi Chikayama and Ryozo Kiyohara Parallel Inference System Research in the Japanese FGCS Project . . . . . . . 338 David L. Waltz Massively Parallel Symbolic Computing 352 Anant Agarwal and Jonathan Babb and David Chaiken and Godfrey D'Souza and Kirk Johnson and David Kranz and John Kubiatowicz and Beng-Hong Lim and Gino Maa and Ken Mackenzie Sparcle: A Multithreaded VLSI Processor for Parallel Computing . . . . . . . . . 359 Carl Bruggeman and R. Kent Dybvig A New Architecture Design Paradigm for Parallel Computing in Scheme . . . . . . 362 James Philbin Customizable Policy Management in the Sting Operating System . . . . . . . . . 380 Kenjiro Taura and Satoshi Matsuoka and Akinori Yonezawa An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers . . . . . . . . . . 402 Takayasu Ito and Rishiyur Nikhil and Julian Padget and Norihisa Suzuki and Taiichi Yuasa Massively Parallel Architectures and Symbolic Computation . . . . . . . . . . 408 Robert H. Halstead and Takashi Chikayama and Richard Gabriel and David Waltz and Akinori Yonezawa Applications for Parallel Symbolic Computation . . . . . . . . . . . . . . 417 Anonymous List of Workshop Participants . . . . . 419
Mireille Ducasse A Pragmatic Survey of Automated Debugging . . . . . . . . . . . . . . . 1 Nahid Shahmehri and Mariam Kamkar and Peter Fritzson Usability Criteria for Automated Debugging Systems . . . . . . . . . . . 16 Gerard Ferrand The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs 40 Luis M. Pereira and Carlos Viegas Damasio and Jose J. Alferes Debugging by Diagnosing Assumptions . . 58 Lee Yuh-Jeng and Nachum Dershowitz Debugging Logic Programs Using Specifications . . . . . . . . . . . . . 75 Luca Console and Gerhard Friedrich and Daniele T. Dupre Model-Based Diagnosis Meets Error Diagnosis in Logic Programs . . . . . . 85 Markus P. J. Fromherz Towards Declarative Debugging of Concurrent Constraint Programs . . . . . 88 Sridhar Alagar and S. Venkatesan Hierarchy in Testing Distributed Programs . . . . . . . . . . . . . . . . 101 Henrik Nilsson and Peter Fritzson Lazy Algorithmic Debugging: Ideas for Practical Implementation . . . . . . . . 117 Jonathan E. Hazan and Richard G. Morgan The Location of Errors in Functional Programs . . . . . . . . . . . . . . . . 135 Visit Hirunkitti and C. J. Hogger A Generalized Query Minimization for Program Debugging . . . . . . . . . . . 153 Gerhard Tobermann and Clemens Beckstein What's in a Trace: The Box Model Revisited . . . . . . . . . . . . . . . 171 Dominic Binks Declarative Debugging of Abstract Data Types in Godel . . . . . . . . . . . . . 188 Thomas Ball and Susan Horwitz Slicing Programs with Arbitrary Control Flow . . . . . . . . . . . . . . . . . . 206 Cheng Jingde Slicing Concurrent Programs . . . . . . 223 Frank Tip Animators for Generated Programming Environments . . . . . . . . . . . . . . 241 Julio Garcia-Martin and Juan J. Moreno-Navarro Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine . . . . . . . . . . . . 255 Rickard Westman and Peter Fritzson Graphical User Interfaces for Algorithmic Debugging . . . . . . . . . 273 Rudi Lutz Towards a Plan Calculus Based Intelligent Debugging System . . . . . . 287 Steven P. Reiss Trace-Based Debugging . . . . . . . . . 305 Bogdan Korel Identifying Faulty Modifications in Software Maintenance . . . . . . . . . . 315 Anoop Goyal and Sriram Sankar The Application of Formal Specifications to Software Documentation and Debugging 333 Krzysztof Kuchcinski and Wlodzimierz Drabent and Jan Maluszynski Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging . . 350
Bernd Jahne Spatio-Temporal Image Processing. Theory and Scientific Applications . . . . . . 1
Ralph D. Semmel Discovering Context in a Conceptual Schema . . . . . . . . . . . . . . . . . 1 Jeffrey R. Bach and Santanu Paul and Ramesh Jain An Interactive Image Management System for Face Information Retrieval . . . . . 16 Reda Alhajj and M. Erol Arkun Queries in Object-Oriented Database Systems . . . . . . . . . . . . . . . . 36 Herve Martin and Michel Adiba and Bruno Defude Consistency Checking in Object-Oriented Databases: A Behavioral Approach . . . . 53 Anna Formica and Michele Missikoff Integrity Constraints Representation in Object-Oriented Databases . . . . . . . 69 Niki Pissinou and Kia Makki A Framework for Temporal Object Databases . . . . . . . . . . . . . . . 86 Debby Keen and Arcot Rajasekar Inductive Dependencies and Approximate Databases . . . . . . . . . . . . . . . 98 Il-Yeol Song and E. K. Park Object-Oriented Database Design Methodologies: A Survey . . . . . . . . 115
S. Bodker Historical Analysis and Conflicting Perspectives --- Contextualizing HCI . . 1 P. Brusilovsky and I. Burmistrov and V. Kaptelinin Structuring the Field of HCI. An Empirical Study of Experts' Representations . . . . . . . . . . . . 11 A. Kameas and S. Papadimitriou and G. Pavlides Coupling Interaction Specification with Functionality Description . . . . . . . 21 R. C. MacGregor An Extension to the Human-Computer Interaction Paradigm . . . . . . . . . . 29 M. Sh. Levin Hierarchical Components of Human-Computer Systems . . . . . . . . . 37 K. A. Mayo and H. R. Hartson Synthesis-Oriented Situational Analysis in User Interface Design . . . . . . . . 53 E. Boeve and L. Barfield and St. Pemberton WYSIWYG Editors: And What Now? . . . . . 68 F. Bodart and A.-M. Hennebert and J.-M. Leheureux and I. Sacre and J. Vanderdonckt Architecture Elements for Highly-Interactive Business-Oriented Applications . . . . . . . . . . . . . . 83 A. G. Sutcliffe and P. Faraday Designing Multimedia Interfaces . . . . 105 G. Uzilevsky and V. Andreev Iconic Signs and Languages in User Interface Development . . . . . . . . . 115 Y. K. Leung and M. D. Apperley $ {E}^3 $: Towards the Metrication of Graphical Presentation Techniques for Large Data Sets . . . . . . . . . . . . 125 H. Tolsby Navigating in a Process Landscape . . . 141 M. Chalmers Visualisation of Complex Information . . 152 U. K. Patel and A. G. Sutcliffe Three-Dimensional Visualisation of Knowledge Structures: Prototyping for Design Evaluation . . . . . . . . . . . 163 I. Ushakov and I. Velbitskiy Visual Programming in R-Technology: Concepts, Systems and Perspectives . . . 181 M. V. Springett and A. S. Grant and A. G. Sutcliffe Interface Semantics and Procedural Knowledge: A Study of Novice Understanding of MacDraw . . . . . . . . 196 L. M. Leventhal and B. M. Teasley and D. S. Rohlman and K. Instone Positive Test Bias in Software Testing Among Professionals . . . . . . . . . . 210 D. Salber and J. Coutaz Applying the Wizard of Oz Technique to the Study of Multimodal Systems . . . . 219 J. Coutaz and L. Nigay and D. Salber The MSM Framework: A Design Space for Multi-Sensori-Motor Systems . . . . . . 231 G. Antoniol and R. Fiutem and R. Flor and G. Lazzari Radiological Reporting Based on Voice Recognition . . . . . . . . . . . . . . 242 C. Hubbard and J. H. Bradford Task Interference with a Discrete Word Recognizer . . . . . . . . . . . . . . . 254 K. Yamada and R. Mizoguchi and N. Harada and A. Nukuzuma and K. Ishimaru and H. Furukawa Model of Utterance and Its Use in Cooperative Response Generation . . . . 260 A. I. Karshmer and R. L. Oliver Special Computer Interfaces for the Visually Handicapped: F.O.B. The Manufacturer . . . . . . . . . . . . . . 272 M. Subbotin and D. Subbotin INTELTEXT: Producing Coherent Linear Texts While Navigating in Large Non-Hierarchical Hypertexts . . . . . . 281 K. Instone and E. Brown and L. M. Leventhal and B. M. Teasley The Challenge of Effectively Integrating Graphics into Hypertext . . . . . . . . 290 V. M. Chelnokov and V. L. Zephyrova Coherent Navigation in Hypertext Environments: The SMIsC Conception . . . 298 A. Berthome-Montoy Generating Self-Adaptive Human-Computer Interfaces . . . . . . . . . . . . . . . 318 A. Cypher The Practical Use of Macro Recording: A Case Study . . . . . . . . . . . . . . . 327 D. Conway HyperLecture: A Self-Organizing Lecture Presentation and Revision System . . . . 334 P. Brusilovsky and L. Pesin and M. Zyryanov Towards an Adaptive Hypermedia Component for an Intelligent Learning Environment 348 E. Wilson An Intelligent Interface for Computer Assisted Language Learning . . . . . . . 359 A. Derder and C. Garbay A System to Model, Assist and Control the Human Observation of Microscopic Specimen . . . . . . . . . . . . . . . . 371 A. Chernin The ``Document-Driven Activity'' Approach to Modelling and Designing Office Automation Systems . . . . . . . 380
John W. Esch The Scope of Coreference in Conceptual Graphs . . . . . . . . . . . . . . . . . 3 Bernard Moulin and Guy W. Mineau Using World Structures for Factoring Knowledge . . . . . . . . . . . . . . . 13 Guy W. Mineau Sharing Knowledge: Starting with the Integration of Vocabularies . . . . . . 34 Linda Cambell and Peter Creasy A Conceptual Graphs Approach to Information Systems Design . . . . . . . 46 William M. Tepfenhart Representing Knowledge about Substances 59 Bernard Moulin Representing Temporal Knowledge in Discourse: an Approach Extending the Conceptual Graph Theory . . . . . . . . 72 Pavel Kocura Towards a Semantics of Inchoative and Causation Events in Conceptual Graphs 96 Jonathan C. Oh and Stephen Graham Does Every Difference Make a Difference? 113 Harry S. Delugach An Exploration into Semantic Distance 119 Jacques Bouaud and Pierre Zweigenbaum A Reconstruction of Conceptual Graphs on Top of a Production System . . . . . . . 127 Sung H. Myaeng and Christopher Khoo On Uncertainty Handling in Plausible Reasoning with Conceptual Graphs . . . . 137 Weldon Whipple Expert Humans and Expert Systems: Toward a Unity of Uncertain Reasoning . . . . . 148 Brian John Garner and Dickson Lukose Knowledge Fusion . . . . . . . . . . . . 158 Gary Berg-Cross Using Conceptual Structures to Translate Data Models: Concepts, Context and Cognitive Processes . . . . . . . . . . 171 Vilas Wuwongse and Bikash C. Gosh Towards Deductive Object-Oriented Databases Based on Conceptual Graphs . . 188 Hary S. Delugach and Thomas H. Hinke AERIE: Database Inference Modeling and Detection Using Conceptual Graphs . . . 206 Gerard Ellis and Robert Levinson The Birth of PEIRCE: A Conceptual Graphs Workbench . . . . . . . . . . . . . . . 219 M. Chein and M. L. Mugnier Specialization: Where Do the Difficulties Occur? . . . . . . . . . . 229 M. L. Mugnier and M. Chein Polynomial Algorithms for Projection and Matching . . . . . . . . . . . . . . . . 239 Yang Gi-Chul and Bae Choi Young and Jonathan C. Oh CGMA: A Novel Conceptual Graph Matching Algorithm . . . . . . . . . . . . . . . 252 Michel Wermelinger and Jose Gabriel Lopes An X-Windows Toolkit for Knowledge Acquisition and Representation Based on Conceptual Structures . . . . . . . . . 262 Graham A. Mann Assembly of Conceptual Graphs from Natural Language by Means of Multiple Knowledge Specialists . . . . . . . . . 275 Sait Dogru and James R. Slagle A System that Translates Conceptual Structures into English . . . . . . . . 283 Martin Schroeder Knowledge Based Analysis of Radiology Reports Using Conceptual Graphs . . . . 293 Timothy R. Hines Open Systems Interconnection Abstract Syntax Notation: ASN.CG . . . . . . . . 303 Simon Polovina Bridging Accounting and Business Strategic Planning Using Conceptual Graphs . . . . . . . . . . . . . . . . . 312 Zhaohui Wu and Bernardi Ansgar and Klauck Christoph Skeletal Plans Reuse: A Restricted Conceptual Graph Approach . . . . . . . 322
Bernhard Möller and Helmut Partsch and Steve Schuman Introduction . . . . . . . . . . . . . . 1 Roland Backhouse and Paul Hoogendijk Elements of a relational theory of datatypes . . . . . . . . . . . . . . . 7--42 Richard Bird and Oege de Moor From dynamic programming to greedy algorithms . . . . . . . . . . . . . . . 43--61 James Boyle and Terence Harmer Practical transformation of functional programs for efficient execution: a case study . . . . . . . . . . . . . . . . . 62--88 Martin Feather Behavior-oriented specification in Gist 89--122 Bernhard Möller Derivation of graph and pointer algorithms . . . . . . . . . . . . . . . 123--160 Carroll Morgan The refinement calculus, and literate development . . . . . . . . . . . . . . 161--182 Helmut Partsch Formal problem specification on an algebraic basis . . . . . . . . . . . . 183--224 Peter Pepper Program development in an algebraic setting . . . . . . . . . . . . . . . . 225--262 Alberto Pettorossi and Maurizio Proietti Rules and strategies for program transformation . . . . . . . . . . . . . 263--304 Michel Sintzoff Endomorphic typing . . . . . . . . . . . 305--323 Douglas Smith Automating the design of algorithms . . 324--354 Doaitse Swierstra and Oege de Moor Virtual data structures . . . . . . . . 355--371
W. Kim and G. Agha Compilation of a Highly Parallel Actor-Based Language . . . . . . . . . . 1 V. Sarkar A Concurrent Execution Semantics for Parallel Program Graphs and Program Dependence Graphs . . . . . . . . . . . 16 W. Chen and R. Bringmann and S. Mahlke and S. Anik and T. Kiyohara and N. Warter and D. Lavery and W.-M. Hwu and R. Hank and J. Gyllenhaal Using Profile Information to Assist Advanced Compiler Optimization and Scheduling . . . . . . . . . . . . . . . 31 C. Brownhill and A. Nicolau A Hierarchical Parallelizing Compiler for VLIW/MIMD Machines . . . . . . . . . 49 P. Peterson and D. Padua Dynamic Dependence Analysis: A Novel Method for Data Dependence Evaluation 64 J. Solworth On the Feasibility of Dynamic Partitioning of Pointer Structures . . . 82 R. von Hanxleden and K. Kennedy and C. Koelbel and R. Das and J. Saltz Compiler Analysis for Irregular Problems in Fortran D . . . . . . . . . . . . . . 97--111 C. Lin and L. Snyder Data Ensembles in Orca C . . . . . . . . 112 K. Mani Chandy and C. Kesselman Compositional C++: Compositional Parallel Programming . . . . . . . . . . 124 N. Carriero and D. Gelernter Data Parallelism and Linda . . . . . . . 145 A. Chien and W. Feng and V. Karamcheti and J. Plevyak Techniques for Efficient Execution of Fine-Grained Concurrent Programs . . . . 160 T. Jeremiassen and S. Eggers Computing Per-Process Summary Side-Effect Information . . . . . . . . 175 A. Rogers and J. Reppy and L. Hendren Supporting SPMD Execution for Dynamic Data Structures . . . . . . . . . . . . 192 W. Appelbe and K. Smith Determining Transformation Sequences for Loop Parallelization . . . . . . . . . . 208 M. Chen and Y. Hu Compiler Optimizations for Massively Parallel Machines: Transformations on Iterative Spatial Loops . . . . . . . . 223 B. Chapman and H. Zima and P. Mehrotra Handling Distributed Data in Vienna Fortran Procedures . . . . . . . . . . . 248--263 S. Gupta and C.-H. Huang and P. Sadayappan and R. Johnson On the Synthesis of Parallel Programs from Tensor Product Formulas for Block Recursive Algorithms . . . . . . . . . . 264 G. Gao and R. Olsen and V. Sarkar and R. Thekkath Collective Loop Fusion for Array Contraction . . . . . . . . . . . . . . 281 Y.-F. Lee and B. Ryder Parallel Hybrid Data Flow Algorithms . . 296 H. Dietz and W. Cohen A Control-Parallel Programming Model Implemented on SIMD Hardware . . . . . . 311 J. Larus $ {C}^{**} $: A Large-Grain, Object-Oriented, Data-Parallel Programming Language . . . . . . . . . . 326 C. Hankin and D. LeMetayer and D. Sands A Calculus of Gamma Programs . . . . . . 342 P. Ciancarini A Linda-Based Runtime System for a Distributed Logic Language . . . . . . . 356 O. Lempel and S. Pinter and E. Turiel Parallelizing a C Dialect for Distributed Memory MIMD Machines . . . . 369 W. Li and K. Pingali A Singular Loop Transformation Framework Based on Non-Singular Matrices . . . . . 391 L. Hendren and C. Donawa and M. Emami and G. Gao and Justiani and B. Sridharan Designing the McCAT Compiler Based on a Family of Structured Intermediate Representations . . . . . . . . . . . . 406--420 M. Wolfe Doany: Not Just Another Parallel Loop 421 D. Maydan and S. Amarsinghe and M. Lam Data Dependence and Data-Flow Analysis of Arrays . . . . . . . . . . . . . . . 434 R. Netzer and B. Miller Experience with Techniques for Refining Data Race Detection . . . . . . . . . . 449 D. Klappholz and X. Kong Extending the Banerjee-Wolfe Test to Handle Execution Conditions . . . . . . 464 T. Yasue and H. Yamana and Y. Muraoka A FORTRAN Compiling Method for Dataflow Machines and Its Prototype Compiler for the Parallel Processing System --- Harray . . . . . . . . . . . . . . . . . 482--496 E. Duesterwald and R. Gupta Distributed Slicing and Partial Re-execution for Distributed Programs 497 W. Harrison and Z. Ammarguellat A Program's Eye View of Miprac . . . . . 512 M. Haghighat and C. Polychronopoulos Symbolic Program Analysis and Optimization for Parallelizing Compilers 538 S. Hinrichs and T. Gross Utilizing New Communication Features in Compilation for Private-Memory Machines 563
Monique Teillaud Towards Dynamic Randomized Algorithms in Computational Geometry . . . . . . . . . 1
N. Gehani and H. V. Jagadish and O. Shmueli COMPOSE: A System for Composite Specification and Detection . . . . . . 3 E. Bertino and S. Jajodia and P. Samarati Access Controls in OO Database Systems --- Some Approaches and Issues . . . . . 17 K. Vadaparty and S. Naqvi The Decomposition Property of Non-Deterministic Databases . . . . . . 45 P. C.-Y. Sheu and L. Peterson The Architectures of an Object Base Environment for Simulation . . . . . . . 65 Bharat K. Bhargava and Yin-he Jiang and Jagannathan Srinivasan and Prasun Dewan Transition from a Relation to Object Model Implementation . . . . . . . . . . 87--103 S. Y. W. Su and Y. Shyy An Object-Oriented Knowledge Model for KBMS-Supported Evolutionary Prototyping of Software Systems . . . . . . . . . . 105 R. Subramanian and N. R. Adam Applying OOAD in the Design and Implementation of an Intelligent Geographic Information System . . . . . 127 J. Clifford Indexical Databases . . . . . . . . . . 153 R. Elmasri and V. Kouramajian A Temporal Query Language for a Conceptual Model . . . . . . . . . . . . 175 A. Segev and R. Chandra A Data Model for Time-Series Analysis 191 S. K. Gadia and V. Chopra A Relational Model and SQL-like Query Language for Spatial Databases . . . . . 213 P. S. Yu and M.-S. Chen and J. L. Wolf and J. Turek Parallel Query Processing . . . . . . . 229 D. W. Flater and Y. Yesha Towards Flexible Distributed Information Retrieval . . . . . . . . . . . . . . . 259 R. Tewari Efficient Parallel Recovery in Replicated Databases . . . . . . . . . . 277 H. T. Siegelmann and O. Frieder Document Allocation in Multiprocessor Information Retrieval Systems . . . . . 289 J.-C. Franchitti and R. King Amalgame: A Tool for Creating Interoperating, Persistent, Heterogeneous Components . . . . . . . . 313 G. Karabatis and M. Rusinkiewicz and A. Sheth Correctness and Enforcement of Multidatabase Interdependencies . . . . 337 M. Andersson and Y. Dupont and S. Spaccapietra and K. Yetongnon and M. Tresch and H. Ye FEMUS: A Federated Multilingual Database System . . . . . . . . . . . . . . . . . 359 S. Browne Communication and Synchronization Issues in Distributed Multimedia Database Systems . . . . . . . . . . . . . . . . 381 A. Ghafoor and P. B. Berra Multimedia Database Systems . . . . . . 397 Anonymous Bibliography . . . . . . . . . . . . . . 413
D. Maier and J. B. Cushing Treating Programs as Objects: The Computational Proxy Experience . . . . . 1 A. V. Gelder Foundations of Aggregation in Deductive Databases . . . . . . . . . . . . . . . 13 G. Kostler and W. KieBling and H. Thone and U. Guntzer The Differential Fixpoint Operator with Subsumption . . . . . . . . . . . . . . 35 L. Corciulo and F. Giannotti and D. Pedreschi Datalog with Non-Deterministic Choice Computes NDB-PTIME . . . . . . . . . . . 49 Y. Caseau and P- Y. Guillo and E. Levenez A Deductive and Object-Oriented Approach to a Complex Scheduling Problem . . . . 67 L. V. S. Lakshmanan and F. Sadri and I. N. Subramanian On the Logical Foundations of Schema Integration and Evolution in Heterogeneous Database Systems . . . . . 81 T. Arora and R. Ramakrishnan and W. G. Roth and P. Seshadri and D. Srivastava Explaining Program Execution in Deductive Systems . . . . . . . . . . . 101 N. Coburn and G. E. Weddell A Logic for Rule-Based Query Optimization in Graph-Based Data Models 120 L. Fegaras and D. Maier and T. Sheard Specifying Rule-Based Query Optimizers in a Reflective Framework . . . . . . . 146 J. P. Yoon and L. Kerschberg Semantic Query Optimization in Deductive Object-Oriented Databases . . . . . . . 169 R. Ramakrishnan Research in Deductive and Object-Oriented Databases . . . . . . . 183 K. Ramamohanarao An Implementation Overview of the Aditi Deductive Database System . . . . . . . 184 C. Zaniolo and N. Arni and K. Ong Negation and Aggregates in Recursive Rules: The LDL++Approach . . . . . . . . 204 P. Atzeni and L. Cabibbo and G. Mecca ISALOG -: A Deductive Language with Negation for Complex-Object Databases with Hierarchies . . . . . . . . . . . . 222 X. Zhang and Z. M. Ozsoyoglu On Efficient Reasoning with Implication Constraints . . . . . . . . . . . . . . 236 S. Brass and U. W. Lipeck Bottom-Up Query Evaluation with Partially Ordered Defaults . . . . . . . 253 J. Van den Bussche and G. Vossen An Extension of Path Expressions to Simplify Navigation in Object-Oriented Queries . . . . . . . . . . . . . . . . 267 M. Staudt and M. Jarke and M. A. Jeusfeld and H. W. Nissen Query Classes . . . . . . . . . . . . . 283 D. Laurent and V. Phan Luong and N. Spyratos Database Updating Revisited . . . . . . 296 S. Konomi and T. Furukawa and Y. Kambayashi Super-Key Classes for Updating Materialized Derived Classes in Object Bases . . . . . . . . . . . . . . . . . 310 S. W. Dietrich Applications of Deductive and Object-Oriented Databases . . . . . . . 327 Rainer Manthey Beyond Data Dictionaries: Towards a Reflective Architecture of Intelligent Database Systems . . . . . . . . . . . . 328--339 R. Bal and H. Balsters A Deductive and Typed Object-Oriented Language . . . . . . . . . . . . . . . . 340 I. S. Mumick and K. A. Ross Noodle: A Language for Declarative Querying in an Object-Oriented Database 360 D. Mattox and K. Smith and S. C. Y. Lu Tracking Causal Dependencies in an Active Object-Oriented Database . . . . 379 R. Elmasri and S. James and V. Kouramajian Automatic Class and Method Generation for Object-Oriented Databases . . . . . 395 E. Bertino and S. Jajodia Modeling Multilevel Entities Using Single Level Objects . . . . . . . . . . 415 T. W. Koh and B. C. Ooi and Y. S. Ho A Model Using Classes as a Basic Organization Tool . . . . . . . . . . . 429 L. Y. Yuan and J-H. You Knowledge Base Revision Using Circumscription . . . . . . . . . . . . 444 F. N. Kesim and M. Sergot Versioning of Objects in Deductive Databases . . . . . . . . . . . . . . . 459 G. Dobbie and R. Topor A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems . . . . . . . . . . . . . . . . 473
J. Hartmanis Some Observations About the Nature of Computer Science . . . . . . . . . . . . 1 S. van Bakel Essential Intersection Type Assignment 13 H. Ait-Kaci and J. Garrigue Label-Selective lambda-Calculus Syntax and Confluence . . . . . . . . . . . . . 24 E. Barendsen and S. Smetsers Conventional and Uniqueness Typing in Graph Rewrite Systems . . . . . . . . . 41 G. Castagna A Meta-Language for Typed Object-Oriented Languages . . . . . . . 52 G. Berry Preemption in Concurrent Systems . . . . 72 S. R. Kulkarni and S. K. Mitter and T. J. Richardson and J. N. Tsitsiklis Local Versus Non-Local Computation of Length of Digitized Curves . . . . . . . 94 K.-J. Lange and R. Niedermeier Data-Independences of Parallel Random Access Machines . . . . . . . . . . . . 104 G. Aguzzi and U. Modigliani Proving Termination of Logic Programs by Transforming them into Equivalent Term Rewriting Systems . . . . . . . . . . . 114 M. R. K. Krishna Rao Completeness of Hierarchical Combinations of Term Rewriting Systems 125 N. Dershowitz and S. Mitra Higher-Order and Semantic Unification 139 D. Basin and S. Matthews A Conservative Extension of First-Order Logic and Its Applications to Theorem Proving . . . . . . . . . . . . . . . . 151 P. J. Stuckey and S. Sudarshan Well-Founded Ordered Search . . . . . . 161 Y. S. Ramakrishna and L. K. Dillon and L. E. Moser and P. M. Melliar-Smith and G. Kutty A Real-Time Interval Logic and Its Decision Procedure . . . . . . . . . . . 173 F. Fages On the Semantics of Optimization Predicates in CLP Languages . . . . . . 193 V. Ramachandran and P. V. Hentenryck Incremental Algorithms for Constraint Solving and Entailment Over Rational Trees . . . . . . . . . . . . . . . . . 205 S. Guha and I. Suzuki Proximity Problems and the Voronoi Diagram on a Rectilinear Plane with Rectangular Obstacles . . . . . . . . . 218 B. Asberg and G. Blanco and P. Bose and J. Garcia-Lopez and M. Overmars and G. Toussaint and G. Wilfong and B. Zhu Feasibility of Design in Stereolithography . . . . . . . . . . . 228 V. Radhakrishnan and S. O. Krumke and M. V. Marathe and D. J. Rosenkrantz and S. S. Ravi Compact Location Problems . . . . . . . 238 M. M. Halldorsson and J. Radhakrishnan and K. V. Subrahmanyam On Some Communication Complexity Problems Related to Threshold Functions 248 F. Cucker and F. Rossello Recursiveness over the Complex Numbers is Time-Bounded . . . . . . . . . . . . 260 K. Mulmuley A Lower Bound for Solvability of Polynomial Equations . . . . . . . . . . 268 W. Reif and K. Stenzel Reuse of Proofs in Software Verification 284 T. S. Norvell Induce-Statements and Induce-Expressions: Constructs for Inductive Programming . . . . . . . . . 294 C. Antoine and B. Le Goff and J.-E. Pin A Graphic Language Based on Timing Diagrams . . . . . . . . . . . . . . . . 306 R. Narasimhan Software Technology: Integrating Theory and Practice . . . . . . . . . . . . . . 317 F. Bacchus and A. J. Grove and J. Y. Halpern and D. Koller Generating Degrees of Belief from Statistical Information: An Overview . . 318 A. Cheng and J. Esparza and J. Palsberg Complexity Results for 1-safe Nets . . . 326 D. Janin Some Results About Logical Descriptions of Non-Deterministic Behaviours . . . . 338 R. Janicki and M. Koutny Order Structures and Generalisations of Szpilrajn's Theorem . . . . . . . . . . 348 K. N. Kumar and P. K. Pandya ICSP and Its Relationship with ACSP and CSP . . . . . . . . . . . . . . . . . . 358 K. Honda and N. Yoshida On Reduction-Based Process Semantics . . 373 M. Mukund and M. Sohoni Keeping Track of the Latest Gossip: Bounded Time-Stamps Suffice . . . . . . 388 S. Aggarwal and S. Kutten Time Optimal Self-Stabilizing Spanning Tree Algorithms . . . . . . . . . . . . 400 A. K. Pujari Efficient Algorithm to Sort Linear Combinations of Arrays . . . . . . . . . 411 V. K. Vaishnavi and D. Khanna A Simple File Structure for the Weighted Dictionary Problem . . . . . . . . . . . 419 D. P. Dubhashi and K. Mehlhorn and D. Ranjan and C. Thiel Searching, Sorting and Randomised Algorithms for Central Elements and Ideal Counting in Posets . . . . . . . . 436 P. Bhattacharyya and G. Nagaraja Learning Classes of Regular and Linear Languages in Valiant's Learnability Framework . . . . . . . . . . . . . . . 444
M. De Berg and L. Guibas and D. Halperin and M. Overmars Reaching a Goal with Directional Uncertainty . . . . . . . . . . . . . . 1--10 G. Das and P. J. Heffernan Constructing Degree-3 Spanners with Other Sparseness Properties . . . . . . 11--20 K. Dobrindt and M. Yvinec Remembering Conflicts in History Yields Dynamic Algorithms . . . . . . . . . . . 21--30 M. Furer and C. R. Subramanian and C. E. Veni Madhavan Coloring Random Graphs in Polynomial Expected Time . . . . . . . . . . . . . 31--37 T. Asano Graphical Degree Sequence Problems with Connectivity Requirements . . . . . . . 38--47 Y. Dai and H. Imai and K. Iwano and N. Katoh How to Treat Delete Requests in Semi-Online Problems . . . . . . . . . . 48--57 S. Carlsson and H. Jonsson and B. J. Nilsson Finding the Shortest Watchman Route in a Simple Polygon . . . . . . . . . . . . . 58--67 X. Tan and T. Hirata Constructing Shortest Watchman Routes by Divide-and-Conquer . . . . . . . . . . . 68--77 F. Hoffmann and K. Kriegel A Graph Coloring Result and Its Consequences for Some Guarding Problems 78--87 A. Dessmark and K. Jansen and A. Lingas The Maximum $k$-Dependent and $f$-Dependent Set Problem . . . . . . . 88--97 J.-Y. Takahashi and H. Suzuki and T. Nishizeki Finding Shortest Non-Crossing Rectilinear Paths in Plane Regions . . . 98--107 T. Kloks Treewidth of Circle Graphs . . . . . . . 108--117 C. Chen A Framework for Constructing Heap-like Structures In-Place . . . . . . . . . . 118--127 C. M. Khoong and H. W. Leong Double-Ended Binomial Queues . . . . . . 128--137 R. Fleischer A Simple Balanced Search Tree with $ O(1) $ Worst-Case Update Time . . . . . 138--146 S. R. Oehring and S. K. Das Mapping Dynamic Data and Algorithm Structures into Product Networks . . . . 147--156 J. C. Cogolludo and S. Rajasekaran Permutation Routing on Reconfigurable Meshes . . . . . . . . . . . . . . . . . 157--166 M. D. Grammatikakis and D. F. Hsu and F. K. Hwang Adaptive and Oblivious Algorithms for $D$-Cube Permutation Routing . . . . . . 167--175 A. Srivastav and P. Stangier On Quadratic Lattice Approximations . . 176--184 T. Fujito A $ 2 / 3 $-Approximation of the Matroid Matching Problem . . . . . . . . . . . . 185--190 S. Dube Using Fractal Geometry for Solving Divide-and-Conquer Recurrences . . . . . 191--200 F. Ruskey Simple Combinatorial Gray Codes Constructed by Reversing Sublists . . . 201--208 A. Borodin Time-Space Tradeoffs . . . . . . . . . . 209--220 H. Leung Separating Exponentially Ambiguous NFA from Polynomially Ambiguous NFA . . . . 221--229 Y. Han and L. A. Hemaspaandra and T. Thierauf Threshold Computation and Cryptographic Security . . . . . . . . . . . . . . . . 230--239 R. Niedermeier and P. Rossmanith On the Power of Reading and Writing Simultaneously in Parallel Computations 240--249 R. V. Book Relativizing Complexity Classes with Random Oracles . . . . . . . . . . . . . 250--258 A. L. Liestman and D. Richards Perpetual Gossiping . . . . . . . . . . 259--266 T. Ikeda A Probabilistic Selection Network with Butterfly Networks . . . . . . . . . . . 267--276 S. Fujita and M. Yamashita and T. Ae Optimal Group Gossiping in Hypercubes Under Wormhole Routing Model . . . . . . 277--286 S. Bitan and S. Zaks Optimal Linear Broadcast Routing with Capacity Limitations . . . . . . . . . . 287--296 B. Awerbuch and T. Leighton A Survey of Recent Advances in Multicommodity Flow: Algorithms and Applications . . . . . . . . . . . . . . 297--302 X. He and M.-Y. Kao Parallel Construction of Canonical Ordering and Convex Drawing of Triconnected Planar Graphs . . . . . . . 303--312 T. Asano and N. Katoh Number Theory Helps Line Detection in Digital Images . . . . . . . . . . . . . 313--322 D. Z. Chen Optimally Computing the Shortest Weakly Visible Subedge of a Simple Polygon . . 323--332 K. Weihe Multicommodity Flows in Even, Planar Networks . . . . . . . . . . . . . . . . 333--342 H. Ripphausen-Lipa and D. Wagner and K. Weihe Linear Time Algorithms for Disjoint Two-Face Paths . . . . . . . . . . . . . 343--352 X. Deng and A. Mirzaian Robot Mapping: Foot-Prints vs Tokens . . 353--362 M. Yannakakis Recent Developments in the Approximability of Combinatorial Problems . . . . . . . . . . . . . . . . 363--368 T. Okamoto On the Relationship among Cryptographic Physical Assumptions . . . . . . . . . . 369--378 C. Meinel and S. Waack Separating Complexity Classes Related to Bounded Alternating $w$-Branching Programs . . . . . . . . . . . . . . . . 379--388 S. Tani and K. Hamaguchi and S. Yajima The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams . . . . . . . . . . . 389--398 D. Kavvadias and C. H. Papadimitriou and M. Sideri On Horn Envelopes and Hypergraph Transversals . . . . . . . . . . . . . . 399--405 M. Chrobak and L. L. Larmore and N. Reingold and J. Westbrook Page Migration Algorithms Using Work Functions . . . . . . . . . . . . . . . 406--415 E. Feuerstein and A. Marchetti-Spaccamela Memory Paging for Connectivity and Path Problems in Graphs . . . . . . . . . . . 416--425 L. Chi Kwong Hui and C. U. Martel Randomized Competitive Algorithms for Successful and Unsuccessful Search on Self-Adjusting Linear Lists . . . . . . 426--435 H. Koga Randomized On-Line Algorithms for the Page Replication Problem . . . . . . . . 436--445 S. E. Hambrusch and H.-Y. T. Tu New Algorithms for Minimizing the Longest Wire Length during Circuit Compaction . . . . . . . . . . . . . . . 446--455 R. I. Greenberg and S.-C. Hung and J.-D. Shih Parallel Algorithms for Single-Layer Channel Routing . . . . . . . . . . . . 456--465 A. Aggarwal and T. Tokuyama Consecutive Interval Query and Dynamic Programming on Intervals . . . . . . . . 466--475 A. Aggarwal and T. Tokuyama An Improved Algorithm for the Traveler's Problem . . . . . . . . . . . . . . . . 476--485 Y. Karuno and H. Nagamochi and T. Ibaraki Vehicle Scheduling on a Tree with Release and Handling Times . . . . . . . 486--495 Chan Chi Lok and G. Young Scheduling Algorithms for a Chain-like Task System . . . . . . . . . . . . . . 496--505 G. J. Chang and C. Pandu Rangan and S. R. Coorg Weighted Independence Perfect Domination on Cocomparability Graphs . . . . . . . 506--514 D. P. Wang and N. F. Huang and H. S. Chao and R. C. T. Lee Plane Sweep Algorithms for the Polygonal Approximation Problems with Applications 515--522 S.-W. Cheng and A. Lim and C.-T. Wu Optimal Rectilinear Steiner Tree for Extremal Point Sets . . . . . . . . . . 523--532 U. Foessmeier and M. Kaufmann and A. Zelikovsky Faster Approximation Algorithms for the Rectilinear Steiner Tree Problem . . . . 533--542