Diffusion of Water in Swollen Polyvinyl alcohol Membranes Studied by Molecular Dynamics Simulation 1998-12-22 A Framework for Implementing Objects and Scheduling Tasks in Lock-Free Real-Time Systems 1996-09-13 Constraint Tightness and Looseness versus Local and Global Consistency 1997-05-06 Proof Verbalization in PROVERB 1997-05-20 Fast Lossy Internet Image Transmission 1995-08-21 A Scheme For Nesting Algorithmic Skeletons 1998-10-21 Iterative Feedback Tuning Of A Nonlinear Controller For An Inverted Pendulum With A Flexible Transmission 1998-04-30 The Paderborn University BSP PUB Library - Design, Implementation and Performance 1998-11-03 The WALRAS Algorithm: A Convergent Distributed Implementation of General Equilibrium Outcomes 1997-06-24 Report on the AES Candidates 1999-03-18 Triplet-Based Object Recognition Using Synthetic and Real Probability Models 1997-05-19 An Infinite Number of Monkeys 1995-06-28 David Beaver Alleviating the Latency and Bandwidth Problems in WWW Browsing 1998-12-03 Inductive Logic Programming 1999-02-03 A Short The TAMPR Program Transformation System: Design and Applications 1996-09-20 A New Methodology For Reducing Brittleness In Genetic Programming 1997-10-06 Modeling Computation and Communication Performance of Parallel Scientific Applications: A Case Study of the IBM SP2 1996-01-15 The Corrected Operator Splitting Approach Applied To A Nonlinear Advection-Diffusion Problem 1998-06-08 A Bornological Approach to Rotundity and Smoothness Applied to Approximation 1996-06-24 John Read Classical Limit Of The Quantized Hyperbolic Toral Automorphisms 1997-04-26 Hidden Markov Models and Their Mixtures 1996-08-13 SLIQ: A Fast Scalable Classifier for Data Mining 1996-03-21 The Density of States - a Measure of the Difficulty of Optimisation Problems 1998-10-16 Simple Type-Theoretic Foundations For Object-Oriented Programming 1996-08-18 JDK Versions 1999-01-08 Spring Vasant Honavar Specifying and Analyzing Dynamic Software Architectures 1998-01-15 On the power of shared object types to implement one-resilient Consensus 1997-02-05 Identifying the Information Contained in a Flawed Theory 1996-04-28 Sean P. Engelson High-Performance Asynchronous Pipeline Circuits 1996-10-25 With Them, the Equations in the Two-Dimensional Period Problem Become 1 1996-08-21 Reconstructed Intentions in Collaborative Problem Solving Dialogues 1997-08-21 XiPi Theta GammaDelta 1995-07-21 Representing Preferences as Ceteris Paribus Comparatives 1994-03-13 The Steiner Tree Problem for Terminals on the Boundary of a Rectilinear Polygon 1997-10-06 Siu-wing Cheng From Logic to Dialectics in Legal Argument 1998-10-08 Henry Prakken Admissible Pruning Strategies based on plan minimality for Plan-Space Planning 1995-04-21 Subbarao Kambhampati Distributed Object-Based Control Systems 1999-02-15 Robustness Measurement: An Approach To Assessing Simulation Program Reliability 1997-08-05 An Optimal, Stable Continued Fraction Algorithm for Arbitrary Dimension 1998-02-23 What is Wrong With Us? Improving Robustness Through Social Diagnosis 1998-04-09 Adaptive Signal Clustering Using Self-Organizing Neural Networks 1999-01-05 VSE: Formal Methods Meet Industrial Needs 1999-01-13 Singularity Detection And Processing With Wavelets 1991-03-19 Interval Computation as Deduction in CHIP 1997-07-03 Optimizing Queries over Multimedia Repositories 1996-05-27 2 Z Reference Manual 1998-12-21 Interactive Update Of Global Illumination Using A Line-Space Hierarchy 1997-05-05 Affine Toda Systems Coupled To Matter Fields 1998-05-25 Deterministic Onm Time Edge-Splitting in Undirected Graphs 1997-12-01 Learning Membership Functions in a Function-Based Object Recognition System 1995-10-23 Bayes and Pseudo-Bayes Estimates of Conditional Probabilities and Their Reliability 1999-01-04 James Cussens Convergence Analysis of Canonical Genetic Algorithms 1997-05-02 Unter Rudolph On Minimal Words With Given Subword Complexity 1998-07-22 Toward a Synthesis of Two Accounts of Discourse Structure 1997-06-16 Computer Systems Laboratory - Research Review 1995-10-05 Wavelets on the N-Sphere and Related Manifolds 1998-01-05 J. -p. Antoine Yen-Jen Lee, Wei-hsiu 1997-04-29 Abstract Data Types Are Under Full Control With Ada 9X 1995-02-13 Functional Debugging Of Systems-On-Chip 1970-01-01 A Multiagent Planning Architecture 1998-03-23 Global Search in Combinatorial Optimization using Reinforcement Learning Algorithms 1999-03-09 Experimental ATM Network Interface Performance Evaluation 1999-02-02 An Analytic Model For The Spatial Clustering Of Dark Matter Haloes 1998-05-25 New Properties For Discrete, Bilinear Time-Frequency Distributions 1996-04-09 Naive Bayesian Classifier Committees 1998-05-15 Zijian Zheng Partial Least Squares: A First-Order Analysis 1996-04-02 Petre Stoica Fast VQ Codebook Search in KLT Space 1998-11-30 Multilingual String-to-String Correction in Grif, a structured editor 1995-01-27 Patrice Frison First-Order Queries over Temporal Databases Inexpressible in Temporal Logic 1998-08-05 David Toman MultiFractal Grammars for more Complexity 1995-10-18 Infrastructure for Mobile Agents 1996-07-17 Combining Situation Calculus and Event Calculus 1995-02-09 Techniques for Simplifying the Visualization of Graph Reduction 1997-04-25 Hypertext Markup Language - 2.0 1995-09-22 Draft-ietf-html-spec-. Txt> D. Connolly Exact Learning Of Discretized Geometric Concepts 1998-10-22 Hexagonal Wavelet Processing of Digital Mammography 1996-11-01 Wavelet Radiative Transport and Surface Interaction 1996-09-17 Doctrines Whose Structure Forms A Fully Faithful Adjoint String 1997-02-12 F. Marmolejo An Efficient Algorithm for Terrain Simplification 1996-10-10 Reinforcement Learning: A Survey 1996-07-18 Analysis of Visual Information by Receptive Field Dynamics 1997-05-29 Christof Born Fluctuations in 2D reversibly-damped turbulence 1998-12-05 Layout of the Batcher Bitonic Sorter Extended Abstract 1999-01-03 Esprit Bra Iii Project Nat 7130 1996-03-28 Backward Stochastic Differential Equations with constraints on the gains-process 1997-10-13 An Asymptotical Variational Principle Associated with the Steepest Descent Method for a Convex Function 1996-06-24 B. Lemaire Self-Organized Criticality and Phase Transition in a Stochastic Sandpile Automaton 1997-03-01 Learning Texture Discrimination Rules in a Multiresolution System 1995-08-22 Unknown 1995-07-25 Dictionary-Based Order-Preserving StringCompression 1997-12-09 Document Layout by Executable Natural Semantics Specifications 1994-09-21 Pass or Fail: A New Test for Password Legitimacy 1995-08-24 Direction Weighted Shortest Path Planning 1996-12-16 Integrating Naming and Addressing of Persistent Data in Programming Language and Operating System Contexts 1995-03-10 Wavelet Methods for Radiance Computations 1994-07-07 Pat Hanrahan A Methodology for Developing an Error Taxonomy for a Computer Assisted Language Learning Tool for Second Language Learners 1998-12-09 Algorithmes Génétiques Hybrides Pour L'optimisation Combinatoire 1995-03-20 A Knowledge Based Method for Building a Software System Configuration 1997-01-10 Existence of Optimal Controls for Some Nonlinear Systems 1994-11-07 Thomas I. Seidman A Nonabstract Approach to Lattice Rule Canonical Forms 1998-03-23 Hyperflow: A Uniform Visual Language for Different Levels of Programming 1995-07-25 Takayuki Dan Kimura Hierarchical Concurrency in Jade 1994-04-19 Exokernel: An Operating System Architecture for Application-Level Resource Management 1999-01-07 Logic Programming in the LF Logical Framework 1995-05-05 Frank Pfenning Extremal Ideals of the Lattice of Multisets 1997-11-17 Syntax and Discourse: A Look at Resumptive Pronouns 1996-02-03 Ellen F. Prince A Test Case Generator for the Validation of High-Level Petri Nets 1997-07-04 Optimal, Unsupervised Learning in Invariant Object Recognition 1997-01-27 RANSAC-based DARCES: A New Approach to Fast Automatic Registration of Partially Overlapping Range Images 1970-01-01 Optimising Selection Of Units From Speech Databases For Concatenative Synthesis 1996-06-23 Union of All the Minimum Cycle Bases of a Graph 1997-12-26 Spatio-Temporal Segmentation of Video Data 1997-07-22 How Agents Do It In Stream Logic Programming 1995-04-08 A near real-time evolutive strategy for adaptive Color Quantization of image sequences 1998-07-21 Towards a Java Environment for SPMD Programming 1999-02-08 Topology B-Trees and Their Applications 1995-12-08 Decidable Theories of 1996-08-19 On Property-Like Structures 1997-10-28 Transmitted R. J. Wood A Linear Time Algorithm for Binary... 1995-12-19 On using degrees of belief in BDI agents 1998-04-16 File System Support for Search 1996-01-25 On the Number of Criteria Needed to Decide Pareto Optimality 1997-11-13 Group Extension Endomorphism Coordinates 1996-10-09 A. M. Dupr E Using Dirichlet Mixture Priors to Derive Hidden Markov Models for Protein Families 1994-10-27 Electronic Display System for Computational Holography 1996-03-30 Generalized Weighted Fairness Criterion : Formulation and Application on Prioritized ABR Service 1997-12-10 Decision Lists And Related Boolean Functions 1998-08-12 Physical Mapping of Chromosomes Using Unique Probes 1998-02-23 Magnetic Structures in a Dynamo Simulation 1998-01-29 Robust Triangular Solves for Use in Condition Estimation 1994-10-08 Edward Anderson Phase Separation Kinetics in a Model with Order-Parameter Dependent Mobility 1997-09-16 Model-based Geostatistics 1997-09-23 Integrating synchronous and asynchronous paradigms: the Fork95 parallel programming language 1996-04-17 Christoph W. Keßler Helmut Seidl Principles of Maude 1996-11-08 Building a Plan with Real-Time Execution Guarantees 1997-07-29 Daugman 1998-11-10 John Daugman On Predictable Operating System Protocol Processing 1995-02-28 Ada 9X Syntax Rules Draft 1995-12-16 Parallel Sparse Approximate Inverse Preconditioner 1999-04-07 A Methodology for Designing Correct Cache Coherence Protocols for DSM Systems 1970-01-01 Xiaowei Shen Learning to Make Rent-to-Buy Decisions with Systems Applications 1996-08-24 Successes in Logic Programs 1998-10-06 Multilevel Source Iteration Accelerators For The Linear Transport Equation In Slab Geometry 1995-01-13 C. T. Kelley An infinite-dimensional extension of a Poincaré's result concerning the continuation of periodic orbits 1997-04-26 Paolo Perfetti Inverting Onto Functions 1996-05-02 An Object-Oriented Framework For Local Search Heuristics 1998-04-02 The Dynamics Of Stellar Winds: Their Structures And oiii Line Formation 1997-03-03 The Surface Distribution Of Carbon Stars In The Galaxy 1997-03-03 A Well-formedness Checker forµCRL 1997-03-03 How to Experiment 1998-05-06 Walter F. Tichy Representing Structure and Structured Representations in Connectionist Networks 1998-10-13 Lars Niklasson A Proposal to Merge Object Orientation, Logic Programming, and Multiple Tuple Spaces 1996-04-02 Combination and Integration of Declarative Approaches Full Paper and System Demonstration 1996-10-09 Achilles, Turtle, And Undecidable Boundedness Problems For Small Datalog Programs 1998-10-05 Resource Bounds for Self-Stabilizing Message-Driven Protocols 1970-01-01 Taking Articulation Work Seriously 1970-01-01 Review of Particle Physics: C. Caso 1998-06-10 Astronomy And Astrophysics 1999-04-08 Agents with Moral Sentiments in an Iterated Prisoner's Dilemma Exercise 1997-08-21 Learning in Linear Neural Networks: a Survey 1994-07-20 Polynomial Time Algorithms for Maximization Problems in Spaces With Polyhedral Norms 1997-11-30