Titan: a High-Performance Remote-sensing Database 1970-01-01 A Conceptual Reasoning Approach to Textual Ellipsis 1996-05-13 Analysis of Practical Backoff Protocols for Contention Resolution with Multiple Servers 1996-05-21 Location-Based Multicast in Mobile Ad Hoc Networks 1998-11-24 Visualizing the Execution of Threads-based Parallel Programs 1995-01-29 Techniques for Frame Synchronization on Unknown Frequency Selective Channels 1997-10-10 A Distributed Hierarchical Storage Manager for a Video-on-Demand System 1995-03-31 Combining Generalizers Using Partitions Of The Learning Set 1993-04-09 David H. Wolpert Decision-Theoretic Semantics for Intonation 1970-01-01 Forest Tree Mortality Simulation in Uneven-Aged Stands Using Connectionist Networks 1997-07-24 High-level Modeling with THORNs 1995-07-27 Constraint Programming Based on Logic Programs with Stable Model Semantics 1997-09-13 Ilkka Niemela Effective Resource Discovery on the World Wide Web 1998-07-09 Elan Amir, Hari Balakrishnan, Srinivasan Seshan, Randy H. Katz 1995-01-24 Multiple Roles for GIS in US Global Change Research: Annotated Bibliography 1995-05-02 Ashton Shortridge London, Connecticut: Connecticut College. 1997. 1997-05-12 An Architecture for Information Agents 1997-03-11 Pruning Backpropagation Neural Networks Using Modern Stochastic Optimization Techniques 1996-04-02 Specifying Visual Languages with Conditional Set Rewrite Systems 1995-10-02 Estimating the Selectivity of Spatial Queries Using the `Correlation' Fractal Dimension 1995-05-13 Higher Order Envelope Random Variate Generators 1998-01-29 Prospects for FPGA-based Reprogrammable Systems 1996-09-07 Rajeev Barua Factoring via Strong Lattice Reduction Algorithms 1997-07-17 AHybrid Architecture for User-Adapted Information Filtering on the World Wide Web 1997-08-05 An Artificially Intelligent Jazz Performer 1998-12-31 Multigrid Methods For Nearly Singular Linear Equations And Eigenvalue Problems 1993-12-16 PAGODE: a realistic back-end generator 1996-07-23 Second- And Third-Order Wigner Distributions In Hierarchical Recognition Of Speech Phonemes 1998-01-28 Travel in Immersive Virtual Environments: An Evaluation of Viewpoint Motion Control Techniques 1997-06-24 The Asymptotic Method In The Novikov Conjecture 1997-05-23 T. Kato Routing and Admission Control of Virtual Circuits in General Topology Networks 1999-02-06 Soft Typing with Conditional Types 1998-06-30 TSF: An Object Oriented Address Translation Simulation Framework 1995-12-04 Fuzzy Hierarchical Control for Autonomous Vehicles 1995-01-06 Symbolic Arithmetical Reasoning with Qualified Number Restrictions 1995-05-02 A Multi-Steering Trailer System: Conversion Into Chained Form Using Dyanmic Feedback 1995-01-27 Henk: A Typed Intermediate Language 1998-02-20 Cooperating Runtime Systems in 1998-07-20 Notes On Mohammad Ghomi's Solution to the Illumination Problem 1999-01-09 Ralph Howard InterleavingNatural Language Parsing and Generation Through Uniform Processing 1996-09-19 On Average Case Complexity of SAT for Symmetric Distributions 1996-12-17 Maria J. Esteban Eric Sere 1997-12-04 Distributed Air Traffic Flow Management 1996-02-20 Gil Tidhar A Transformational Approach to Binary Translation of Delayed Branches 1999-02-23 A New Approach to I/O Performance Evaluation - Self-Scaling I/O Benchmarks, Predicted I/O Performance 1998-01-24 Scheduling Strategy to Improve Response Time for Web Applications 1999-02-07 Ludmila Cherkasova GIPSY: Automated Geographic Indexing of Text Documents 1995-12-21 The Minimal Number Of Solutions To 1998-10-16 Jeffrey J. Holt The Complexity of Counting Problems in Equational Matching 1995-11-02 Miki Hermann Forward and Markov Approximation: The Strong Intensity Fluctuations Regime Revisited 1998-02-12 An Empirical Approach to Temporal Reference Resolution 1998-11-11 Load Balancing Algorithms for SPMD Applications 1999-02-13 Unstructured Triangular-Quadrilateral Mesh Generation. Application to Surface Meshing. 1998-04-22 Search for the Pentaquark Via the 1998-12-18 Weighting for Godot: Learning Heuristics for GSAT 1997-06-18 Jeremy Frank Equivalence to the Sequence Dependent Setup Time Problem 1998-09-26 Jean-louis Bouquard Christophe Multigrid Methods For Fully Implicit Oil Reservoir Simulation 1995-03-31 J. Molenaar Deterministic Resource Management for the Linear Logic Programming Language Lygon 1995-09-07 A Genetic Algorithm for Finite State Automata Induction with an Application to Phonotactics 1998-06-04 For 2-D lattice spin systems Weak Mixing Implies Strong Mixing 1997-04-26 Status of this Memo 1994-10-07 The Role of Semantic Context in the Temporal Interpretation of Events 1996-11-18 Mona Singh Building Reliable Mobile-Aware Applications using the Rover Toolkit 1996-12-03 Mixtures of Local Linear Subspaces for Face Recognition 1998-11-11 HCRC Dialogue Structure Coding Manual 1997-07-31 Jean Carletta A Conceptual Model for Tables 1998-09-15 Xinxin Wang A Hardware Multicast Routing Algorithm for Two-Dimensional Meshes 1998-09-07 Second Tier for Decision Trees 1998-11-11 Miroslav Kubat Heavy Vector MesonProduction At Hera 1998-11-03 Arnd Meyer An Analytical and Experimental Investigation of a Jet Pipe Controlled Electropneumatic Actuator 1996-05-30 Naive Mixes for Word Sense Disambiguation 1997-03-20 Ted Pedersen Snitch: Augmenting Hypertext Documents With A Semantic Net 1993-04-28 Spatially Resolved Compressor Characteristics for Modeling and Control of Blade-Scale Flow Instabilities 1995-12-22 Raymond A. Adomaitis Active Object Recognition Integrating Attention and Viewpoint Control 1998-03-02 On Isospectral Sets of Jacobi Operators 1997-04-26 Symbol Ranking Text Compression with Shannon Recodings 1970-01-01 Peter Fenwick DIVE - The Distributed Interactive Virtual Environment 1997-08-11 Space, Time And Superluminal Particles L. Gonzalez-Mestres 1997-04-26 L. Gonzalez-mestres ADP-AT-94-5 Revised ELECTROMAGNETIC CASCADES AND CASCADE NUCLEOSYNTHESIS IN THE EARLY UNIVERSE R.J. Protheroe 1995-02-07 Interactive Indexing into Image Databases 1996-08-15 Michael J. Swain An Exploration of the Application of Software Reuse Techniques to the Location of Services in a Distributed Computing Environment 1999-02-08 Aoife Cox Clitics, Verb Non-Movement, and Optimality in Bulgarian 1997-01-24 Efficient Schemes for Nearest Neighbor Load Balancing 1998-06-10 Querying Structured Web Resources 1998-07-22 Towards Semantics-based Partial Evaluation of Imperative Programs 1997-09-03 Adaptive Enumeration of Implicit Surfaces with Affine Arithmetic 1995-06-22 Cellular Automata and Discrete Physics 1994-09-28 A Fast, Accurate, and Non-statistical Method for Fault Coverage Estimation 1998-11-11 Michael S. Hsiao Extinctions In Scattering From Magnetically Ordered Quasiperiodic Crystals 1997-05-20 Improved Fairness Algorithms for Rings with Spatial Reuse 1997-09-08 An Algebra for Pomsets Extended Abstract 1995-03-14 Parallel Rendering with an Actor Model 1998-01-21 Point-mass filter and Cramer-Rao bound for Terrain-Aided Navigation 1997-08-18 Metadata-Based Middleware for Integrating Information Systems: A Case Study 1999-02-26 Constructing Covering Codes by Tabu Search 1996-12-12 Patric R. J An Efficient Processor-Network Interface for Local Area Multiprocessors 1995-11-06 Rigorous Results for Random 2+p-SAT 1998-01-30 ICM 1998, Berlin, Aug. 18--27 Abstracts of Plenary and Invited Lectures 1998-07-01 Querying Composite Objects in Semistructured Data 1998-11-02 Keishi Tajima Checking Timed Automata for Some Discretisable Duration Properties 1999-03-01 Observable Clock Synchronization 1995-08-30 Template-Based Recognition of Pose and Motion Gestures On a Mobile Robot 1998-09-29 On Scaling in Relation to Singular Spectra 1997-04-26 A. Hof Plenoptic Image Editing 1997-02-20 Atmospheric Flight Mechanics Conference 1998-10-09 Zone Classification Using Texture Features 1998-03-02 .0 Reference Manual 1. 1997-05-06 Aspectual Composition and Our linguistic Interpretation of the World 1996-10-26 A Survey of Complexity Results for Planning 1995-12-05 Marco Cadoli Exploiting Parallelism Through Directives on the Nano-Threads Programming Model 1999-04-07 A short and flexible proof of Strong Normalization for the Calculus of Constructions 1996-12-20 Herman Geuvers Babies, Variables, and Connectionist Networks 1999-02-23 Eliana Colunga Optimization of Hierarchical Designs Using Partitioning and Resynthesis 1995-06-08 Transport properties and performance of CdZnTe strip detectors 1997-11-25 Markov Models 1997-07-08 On the Semantics of a Concurrency Monad with Choice and Services 1996-08-02 On Parallel Object Oriented Programming in Fortran 90 1996-08-14 Implementing MPI using Interrupts and Remote Copying for the AP1000/AP1000+ 1997-10-20 David Sitsky NMR Object Boundaries: B-Spline Modeling and Estimator Performance 1995-07-18 Location Management Strategies Increasing Privacy in Mobile Communication 1996-09-26 STABCOL: An Efficient Implementation of the Weisfeiler-Leman Algorithm 1997-11-26 Architecturing Software Using A Methodology for Language Development 1998-08-10 Degeneration For Parabolic Group Actions In General Linear Groups 1999-04-21 Utilizing Untranscribed Training Data To Improve Performance 1998-03-23 XI: A Simple Prolog-based Language for Cross-Classification and Inheritance 1997-01-22 Diversity in the Software Development Process 1997-01-08 Direct and Inverse Bioelectric Field Problems 1998-05-30 Field Problems Parallel Simulation of Pulse Coded Neural Networks 1997-05-21 The Evolutionary Unfolding of Complexity 1999-02-26 Active Memory: A New Abstraction for Memory-System Simulation 1995-02-17 Real-time Multi-resolution Modeling for Complex Virtual Environments 1998-07-30 Bilevel Models For Optimum Designs Which Are Insensitive To Perturbations In Variables And Parameters 1996-05-07 Mobile Robot Autonomy Via Hierarchical Fuzzy Behavior Control 1996-05-10 Edward Tunstel A New Interface Paradigm for Motion Capture Based Animation Systems 1997-07-07 An Overview of Recent Developments in Computational Aeroelasticity 1998-07-15 The Random Cluster Model on a General Graph and a Phase Transition Characterization of Nonamenability 1999-01-14 Johan Jonasson Triply Differential Jet Cross Sections for Hadron Collisions at Order 1998-05-23 Department of Computer Science 1993-07-07 Clustering of the Diffuse Infrared Light from the COBE DIRBE maps. I. 1997-12-11 PANEL SESSION: THE MODELING METHODOLOGICAL IMPACTS OF WEB-BASED SIMULATION Moderator: Panelists: 1997-11-04 Floating-Gate UVMOS inverter 1998-11-13 Local Liveness for Compositional Modeling of Fair Reactive Systems 1997-06-17 Access Controls for Cooperative Environments 1996-06-11 Stark's Conjectures and Hilbert's Twelfth Problem 1999-03-24 Line Based, Reduced Memory, Wavelet Image Compression 1999-01-31 A Visual Attention Network for a Humanoid Robot 1998-02-14 J. A. Driscoll On Using Network Memory to Improve the Performance of Transaction-Based Systems 1998-05-25 Evolution And Co-Evolution Of Computer Programs To Control Independently-Acting Agents 1998-08-18 John R. Koza Estimating Waveform Relaxation Convergence 1995-01-18 B. Leimkuhler An Image Reorganization Procedure For Automotive Road Following Systems 1996-07-03 Alberto Broggi Compression of Discrete Multiresolution Models 1998-05-14 Finding the Hidden Path: Time Bounds for All-Pairs Shortest Paths 1995-01-18 Quantization For Distributed Estimation With Unknown Observation Statistics 1997-10-28 Applicability of Automatic Program Comprehension to Sparse Matrix Computations 1998-07-03 Synthesis for Testability Techniques for Asynchronous Circuits 1995-01-26 Issues in the Design of Collaborative Systems: Lessons from ConversationBuilder 1995-08-02 StarT-Jr: A Parallel System from Commodity Technology 1996-10-01 Measurement Of Polarized Quark Distributions At Hermes 1999-01-27 J. W. Martin Emulating Soft Real-Time Scheduling Using Traditional Operating System Schedulers 1998-11-24 Functional Pearl: Polytypic Unification 1998-09-24 Relational Concepts and the Fourier Transform: an Empirical Study 1998-07-07 Conceptual, Semantic and Information Models for Medicine 1995-04-10 Exploration of Text Collections with Hierarchical Feature Maps 1997-04-20 Dieter Merkl Implicit Parallelism in Genetic Algorithms 1994-09-05 A Vector Quantizer for Image Restoration 1997-11-25 The Advantages of Forward Thinking in Generating Rooted and Free Trees 1998-09-01 A Frequency-Domain Analysis of Head-Motion Prediction 1996-01-03 Collecting and Employing Selectional Restrictions 1996-11-15 Numerical Study Of A Continuum Sonic Jet Interacting With A Rarefied Flow 1997-06-17 Query Optimization by Predicate Move-Around 1996-02-14 Media and Modalities Allocation in Intelligent Multimedia User Interfaces 1998-03-18