Scalar Field Modeling Visualization on the Intel Delta 1994-08-10 Residual SLDNF in CLP languages 1993-06-22 K J Dryllerakis Generating Executable Code From The Dynamic Model Of Omt With Concurrency 1998-09-25 Jauhar Ali Efficiency of Server Task Queueing for Dynamic Load Balancing 1994-09-23 Hypothetical Temporal Reasoning with History Encoding Extended Version 1998-01-20 Simple Subpopulation Schemes + 1998-06-03 William M. Spears Efficient Goal-Directed Exploration 1996-06-12 Moving-Target TSP and Related Problems 1998-05-26 Do Attractive Bosons Condense? 1970-01-01 Aids for Identifying Conflicts Among Quality Requirements 1995-12-15 Reactions Within The Quantum Molecular Dynamics Approach 1998-05-16 Sparse Approximate Inverses for Preconditioning of Linear Equations 1998-06-30 Parallel Shared-Memory State-Space Exploration in Stochastic Modeling 1998-01-14 Fault-Containing Self-Stabilizing Algorithms 1996-02-19 Computer mediated teaching: A case-study in discrete mathematics 1997-02-26 Mark A. Toleman Towards the Construction of Workflow Suitable Conceptual Modelling Techniques 1998-06-24 A. P. Barros Quantum Computation and Shor's Factoring Algorithm 1999-01-12 Ronald De Wolf Assembling Documents from Digital Libraries 1997-07-24 Bipartite Designs 1997-11-11 Grigor Gasparyan Automatic Synthesis of Sequential Synchronizations 1993-03-05 E787 Data Acquisition Software Architecture 1994-03-16 Constructing Permutation Representations for Large Matrix Groups 1994-06-27 Encyclopaedia of Complexity Results for Finite-Horizon Markov Decision Process Problems 1997-09-09 Multilevel preconditioning on the refined interface and optimal boundary solvers for the Laplace equation 1997-11-19 Design and Evaluation of a Window-Consistent Replication Service 1998-03-19 Inductive Logic Program Synthesis with DIALOGS 1998-01-19 Pierre Flener Towards a Reference Framework for Process Concepts 1995-02-23 Improving Instruction Throughput and Memory Latency Using Two-Dimensional Superthreading 1998-02-26 An Earlier Version of 1994-08-27 Exploiting Locality in Temporal Reasoning 1996-10-04 Supporting Co-Resident Operating Systems 1998-02-25 Resume 1999-02-05 An Enterprise Reference Scheme for Integrating Model Based Knowledge Engineering and Enterprise Modelling 1997-04-04 An Inductive Logic Programming Framework to Learn a Concept from Ambiguous Examples 1998-08-03 Solving Vehicle Routing Problems using Constraint Programming and Metaheuristics 1997-09-04 Real and Virtual Spaces: Mapping from Spatial Cognition to Hypertext 1997-01-24 Simon Shum Automating the Determination of 3D Protein Structure 1994-03-29 Managing Shared Ephemeral Teleconferencing State: Policy and Mechanism 1995-07-08 On Generalized Newton Algorithms: Quadratic Convergence, Path-Following And Error Analysis 1995-11-01 Gregorio Malajovich Discriminative Training for Continuous Speech Recognition 1996-04-18 Theoretical Views of Boosting 1999-02-10 Robert E. Schapire On the Complexity of Entailment in Propositional Multivalued Logics 1995-08-31 Multiple Parton Emission Effects In Next-To-Leading-Order Direct Photon Production 1998-05-25 Anderson Localization for Random Schrodinger Operators with Long Range Interactions 1997-05-13 The Michigan Internet AuctionBot: A Configurable Auction Server for Human and Software Agents 1998-02-18 Finding Optimal Solutions to the Twenty-Four Puzzle 1999-03-30 UTILISATION OF HIPPARCOS DATA FOR DISTANCE DETERMINATIONS: ERROR, BIAS AND ESTIMATION X. Luri 1997-06-24 X. Luri Duplex: A Distributed Collaborative Editing Environment in Large Scale 1995-03-10 Parameter-less Genetic Algorithm: A Worst-case Time and Space Complexity Analysis 1999-04-22 PolyP --- a polytypic programming language extension 1998-03-24 Decidable Bounded Quantification 1996-08-19 Benjamin C. Pierce Selection of Relevant Features in Machine Learning 1997-04-13 Pat Langley Geosat Observations of Sea Level Response to Barometric Pressure Forcing 1995-12-05 Twisted N = 2 Supersymmetry With Central Charge And Equivariant Cohomology 1998-05-25 Message Logging: Pessimistic, Optimistic, and Causal 1997-02-20 The Utility Model For Adaptive Multimedia Systems 1998-01-21 LEO - A Higher-Order Theorem Prover 1998-06-09 B. Pasquini 1998-08-10 The Double Algebra: An Effective Tool for Computing Invariants in Computer Vision 1997-01-29 Stefan Carlsson Evolving Fuzzy Prototypes for Efficient Data Clustering 1997-09-11 A Conceptual Framework for Text Filtering 1996-05-23 The Visual Motion of Curves and Surfaces 1998-07-27 Roberto Cipolla The Quasi-Cauchy Relation and Diagonal Updating 1997-12-15 M. Zhu Atypical representations of the Lie superalgebra sl1,n for n greater than 1 1995-07-24 Hartmut Schlosser Integrating WWW and Middleware 1995-03-27 Table of 1996-09-13 A New Algorithm For The Reduction Of Incompletely Specified Finite State Machines 1998-08-06 The MOVE project 1997-03-19 Henk Corporaal Augment or Push? A computational study of Bipartite Matching and Unit Capacity Flow Algorithms 1998-03-31 Formalization of Finite State Machines with Data Path for the Verification of High-Level Synthesis 1998-09-25 The Performance of Weak-consistency Replication Protocols 1992-07-09 From Entity-Relationship Models to Role-Attribute Models 1994-10-03 Memorization Learning for Object Recognition 1996-05-31 Randal C. Nelson Extensible Security Architectures for Java 1997-08-14 Stability of Learning in Classes of 1999-02-03 The Simply-Typed Theory of ...-conversion has no maximum extension 1970-01-01 Designing Distributed Algorithms for Mobile Computing Networks 1994-08-23 On the Implementation of an Efficient Performance Driven Generator for Conditional-Sum-Adders 1995-11-16 Distributed Control Algorithms Selected Topics 1995-03-26 Friedemann Mattern Competition-Based Learning 1998-12-28 WWW Proxy Traffic Characterization with Application to Caching 1997-06-02 Sharing and Protection in a Single Address Space Operating System 1994-02-10 Upper Bounds for the Domination Number of a Graph 1996-03-28 Using Reading Models For Cursive Script Recognition 1997-11-26 Knowledge Retrieval and the Word Wide Web 1999-03-10 Peter Eklund Incremental Class Learning approach and its application to Handwritten Digit Recognition 1998-06-10 Loop Distribution with Arbitrary Control Flow 1994-08-11 Quorum Systems Constructed from Combinatorial Designs 1998-05-13 Intuitionisitic Tableau Extracted 1998-12-05 James Caldwell A Compilation Framework for Languages with Dynamic Thread Creation 1996-11-20 An Efficient, Low-Complexity Audio Coder Delivering Multiple Levels of Quality for Interactive Applications 1998-10-29 Providing Configuration Management Support in Software Engineering Environments 1995-09-21 Jun Han Linear and Decision Feedback Equalization Structures for Asynchronous DS-CDMA under ICI 1998-11-06 Phil Schniter A Conceptual Framework for Internet based Intelligent Tutoring Systems 1997-07-18 Ashok Patel A Control Theoretical Model for Quality of Service Adaptations 1998-04-02 Toward Global Solution of MAP Image Estimation: Using Common Structure of Local Solutions 1999-03-23 Stan Z. Li Natural Deduction for IntuitionisticNon-Commutative Linear Logic 1999-03-23 Jeff Polakow Finer Control of Weakening and Contraction: Towards a Separated-Linear Lambda Calculus Summary 1996-09-24 John Maraist Algebraic Graph Theory Without Orientation 1995-07-31 What Should Graduate Students Know Before Joining a Large Computer Architecture Project? 1997-04-15 Shubhendu S. Mukherjee Probabilistic Communication Complexity of Boolean Relations 1997-03-17 Design and Implementation of a Multi-Threaded Xlib 1993-01-21 Reducing Conflicts In Direct-Mapped Caches With A Temporality-Based Design 1996-09-06 Satisficing Action Selection 1998-08-03 Paolo Pirjanian How to Enhance Market Liquidity 1995-04-17 Some Basic Concepts Of 1998-05-04 On the Robustness of Haptic Object Recognition Based on Polyhedral Shape Representations 1995-04-28 Performance Analysis of the Dual Cell Spacer in ATM Systems 1995-01-13 M. Ritter TOP500 Supercomputer Sites 1996-05-20 Skill reconstruction as induction of LQ controllers with subgoals 1997-11-25 Ivan Bratko Mesh Optimization 1997-04-03 The Evolutionary Self-Structuring Classifier 1970-01-01 Jamie Sherrah April Experiments in Multilingual Information Retrieval using the SPIDER system 1996-08-15 Jean Paul Ballerini Lessons Learnt From Current Statistics Packages and a Proposal for a New System for the New Millennium 1998-06-12 An Exploration of Modular Programs 1998-02-20 Simon Peyton Jones Learning To Do Without Cognition 1998-10-05 Lazy Functional State Threads 1994-03-14 Quantitative Theory Of Richtmyer-Meshkov Instability In Three Dimensions 1996-12-23 On Relative Invariants 1996-05-24 An Architecture and Communication Protocol for Picocellular Networks 1995-09-20 On the Stability of the Quenched State in Mean Field Spin Glass Models 1997-12-11 M. Aizenman The Paros Operating System Microkernel 1994-11-02 MPICH on the T3D: A Case Study of High Performance Message Passing 1997-12-26 Lyapunov Stability of Two-Dimensional Digital Filters with Overflow Nonlinearities 1998-05-04 Summary of Work Completed October '95 - March '96 1998-04-25 On The Far Field In Obstacle Scattering 1998-07-03 Techniques For Robust Recognition In Restricted Domains 1996-11-14 On Portable Macro-Cell Fpu Generators For Division And Square Root Operators Complying To The Full Ieee-754 Standard 1998-11-25 Applying Static Analysis to Software Architectures 1997-12-23 Igor Jurisica 1997-06-28 Configurational Averaging for Solid Solutions 1998-05-04 Mark Taylor Semi-Automatic Determination of Allograph Duration and Position in on-Line Handwritten Words Based on the Expected Number of Strokes 1996-09-09 Efficient Linear Re-rendering for Interactive Lighting Design 1999-01-17 Geometric Approach for Egomotion Estimation using Normal Flow 1996-06-19 Coordination Languages for Parallel Programming 1998-07-01 An Hybrid Representation for Set Constraint Satisfaction Problems 1998-10-18 Vincent Thornary XCS Classifier System Reliably Evolves Accurate, Complete, and Minimal Representations for Boolean Functions 1998-07-09 Tim Kovacs Visual Search In A Smash System 1996-09-02 School Of Computer Studies Research Report Series 1995-12-08 Hybrid Systems: Reasoning across Scales in Space and Time 1995-09-20 Natural Deduction for Intuitionistic Non-Commutative Linear Logic 1999-03-22 Jeff Polakow A Not Very Much Annotated Bibliography on Integrating Object-Oriented and Logic Programming 1993-03-27 Compiled Vladimir Alexiev Ideas and Concepts on an Approach to Ensemble Forecasting 1998-11-10 Chabot: Retrieval from a Relational Database of Images 1995-06-04 The Complexity of Approximate Optima for Greatest Common Divisor Computations 1998-02-23 Feature Subset Selection Using A Genetic Algorithm 1998-01-27 Making Design Decisions to Support Diversity in Interactive Theorem Proving 1998-09-18 Poincare' Renormalized Forms 1997-04-26 On Some Methods for Unconditionally Secure Key Distribution and Broadcast Encryption 1998-07-15 D. R. Stinson MANTRA Project - Part A: Design, Implementation and Test of a Multi-Model Systolic Neural Network Accelerator 1997-05-15 An Oscillating Cortical Model of Auditory Attention and Electrophysiology 1998-10-14 Bill Baird An Economic Approach to Adaptive Resource Management 1999-03-02 The POSTGRES Data Model + 1994-02-18 Unknown 1997-07-16 A Categorical Framework for Conceptual Data Modeling: Definition, Application, and Implementation 1995-10-31 Modeling Parallel Bandwidth: Local vs. Global Restrictions 1997-09-18 Pthreads Library Interface 1995-12-16 Frank Mueller Data-Driven Shifts of Attention in Wavelet Scale Space 1995-06-26 Ivan Marsic ADL - An Algebraic Database Language 1996-02-07 Finite Thrust Control for Satellite Formation Flying with State Constraints. 1998-09-14 Fragmentation Production of Heavy Quark States 1998-05-15 Michael A. Doncheski A New Method for Automated Finite Model Building Exploiting Failures and Symmetries 1998-09-02 Nicolas Peltier Object-Oriented Modeling of Rule-Based Programming 1998-07-25 Vision-Based Behavior Acquisition for a Shooting Robot by Using a Reinforcement Learning 1994-08-11 On the Problem of Decomposing Grasp and Manipulation Forces in Multiple Whole-Limb Manipulation 1970-01-01 Antonio Bicchi An Empirical Study of the Workload Distribution Under Static Scheduling 1996-05-13 Plan 9 from Bell Labs 1999-01-22