Asynchronous Counters for Low Power Applications 1997-12-22 Top-Down Query Evaluation for Well-Founded Semantics With Explicit Negation 1970-01-01 Representing Rhythmic Patterns in a Network of Oscillators 1996-09-10 An Interprocedural Framework for Determining Efficient Data Redistributions in Distributed Memory Machines 1996-08-08 Multilevel Preconditioning 1996-02-07 Efficient Algorithms for Distributed Snapshots and Global Virtual Time Approximation 1996-03-12 Friedemann Mattern How to Present a Paper in Theoretical Computer Science: A Speaker's Guide for Students 1998-06-22 Ian Parberry An Analytical Approach to Change for the Design of Reusable Real-Time Software 1998-12-17 Stopped Markov chains with stationary occupation times 1995-12-06 The Next Big Thing: Position Statements 1997-05-23 Towards Making Broadcast Encryption Practical 1999-03-11 Global Stabilization of Linear Discrete-Time Systems with Bounded Feedback 1998-07-28 Contradicting Conventional Wisdom in Constraint Satisfaction 1994-04-11 Using Unicode with MIME 1994-11-14 The disk-outflow system around the high-mass protostar IRAS 20126+4104 1997-03-19 Non-Uniform Partitioning of Finite Difference Methods Running on SMP Clusters 1997-02-25 Analysis of Error Count Distributions for Improving the Postprocessing Performance of OCCR 1996-12-07 High Performance Programming for the KSR1 1995-12-20 Deriving Logic Programming Languages 1996-10-14 Compressed Video Processing For Cut Detection 1998-06-05 Unification in a combination of equational theories with shared constants and its application to Primal Algebras 1994-10-17 Christophe Ringeissen Viewpoints on Viewpoints 1996-09-09 K. Matthews, T. Nakajima, S. R. Kulkarni, B. R. Oppenheimer Palomar Observatory, 105-24, Caltech, Pasadena, CA 91125 Submitted to Astronomical Journal, 15 April 1996 Revised, 28 June 1996 1996-06-30 Customizable Object Recovery Pattern 1997-03-13 Formalizing the PRODIGY Planning Algorithm 1995-09-26 Sharp Estimates in Ruelle Theorems for Matrix Transfer Operators 1997-04-26 Chinese Glyph Generation Using Character Composition and Beauty Evaluation Metrics 1995-11-16 Locally Weighted Learning for Control 1999-02-08 Integrated Support for Software Reuse in Computer-Aided Software Engineering CASE 1996-10-18 Jeffrey S. Poulin Scenario-Based Analysis of Software Architecture 1995-11-01 Dynamically Adjusting Concepts to Accommodate Changing Contexts 1996-06-10 Cosmological Constant and Statistical Lensing of Giant Arcs 1998-05-25 Xiang-ping Wu Inducing Models of Human Control Skills 1998-02-06 Rui Camacho Navier-Stokes Simulation of Droplet Collision Dynamics 1997-12-23 Verification of a Distributed Algorithm due to Chu 1994-12-09 K. Sere Least Squares Image Texture Analysis and Synthesis 1995-03-06 The Mobile Robot RHINO 1996-11-10 Determinism analysis in the Mercury compiler 1998-09-01 Multistate Time-Delay Neural Networks for the recognition of POL II promoter sequences 1996-04-03 Methodological Foundations for Agent-Based Systems 1997-02-24 Virtual Trees Routing Protocol for a Wireless ATM LAN 1996-10-16 The Complexity Of Querying Indefinite Information: Defined Relations, Recursion And Linear Order 1992-10-22 Application-Driven Synthesis of Core-Based Systems 1997-07-08 HAMEV and SQRED: Fortran 77 Subroutines for Computing the Eigenvalues of Hamiltonian Matrices Using Van Loan's Square Reduced Method 1996-05-22 Information Invariants for Distributed Manipulation 1997-07-14 The Network-Enabled Optimization System NEOS Server 1998-01-15 Data Speculative Multithreaded Architecture 1998-06-03 Pedro Marcuello Modifying the Inertia of Matrices Arising in Optimization 1997-02-18 A Block Toeplitz Look-Ahead Schur Algorithm 1995-05-11 SoftLab: A virtual laboratory framework for computational science 1997-04-26 Efficient Streamline Computations on Unstructured Grids 1997-09-24 Mihai Dorobantu High Level Modelling and Design of Asynchronous Interface Logic 1995-10-13 An Asymptotic-Induced Scheme For Nonstationary Transport Equations In The Diffusive Limit 1997-12-02 Axel Klar Motion Planning with Visibility Constraints: Building Autonomous Observers 1997-08-18 Probabilistic Mapping Of An Environment By A Mobile Robot 1998-09-29 An Experiment in Mobile Robotic Cooperation 1996-05-28 Lynne E. Parker Shortest expected delay routing for Erlang servers 1999-01-28 Advanced Design and Validation Techniques for Electronic Control Units 1998-11-26 Data Types for Graph-Based Visual Pogramming 1995-08-11 Channel Routing With Constraint Logic Programming And Delay 1997-09-30 Neng-fa Zhou Evolving Hexapod Gaits Using A Cyclic Genetic Algorithm 1998-04-10 A Theory of Space, Time and Matter 1996-05-31 Rotational Polygon Containment and Minimum Enclosure 1998-04-20 Victor J. Milenkovic Simple Stochastic Temporal Constraint Networks 1995-09-28 Towards an Operational Semantics and Proof of Type Soundness for Java 1998-05-08 On Ultrametricity in Feedforward Neural Network Error Surfaces 1998-08-05 Marcus Gallagher Using a Continuation Twice and Its Implications for the Expressive Power of Call/cc 1998-11-28 Vibrational Relaxation in Hypersonic Flow Fields 1998-01-13 Systematic study of low-mass electron pair production in p--Be andp--Au collisions at 450 1997-10-03 Seeing and Hearing Dynamic Loess Surfaces 1991-06-01 Projective Hilbert 1994-09-07 Autonomous Agents: Characterization and Requirements 1996-03-25 Jose C. Brustoloni LDEF METEOROID DEBRIS SPECIAL INVESTIGATION GROUP INVESTIGATIONS AND ACTIVITIES AT THE JOHNSON SPACE CENTER Thomas H. See Michael E. Zolensky Ronald P. Bernhard 1995-03-10 Diagram-based Formalisms for the Verification of Reactive Systems 1998-03-19 Event variables and Davidson's program in semantics 1996-09-05 Barrie Evans Ordonnancement: Strat egies, D ebats et Intelligence Artificielle 1993-11-10 Berthe Y. Choueiry A Multi-level Approach to Program Synthesis 1997-12-05 Robot Vision beyond 2000 1998-01-09 Refinement in Interworkings 1998-10-15 Dynamic Resource Allocation Using Views 1998-07-08 MDL-based Decision Tree Pruning 1996-03-22 Making Distributed Applications Manageable Through Instrumentation 1998-09-13 Analyzing Logic Programs Using "Prop"-Ositional Logic Programs and a Magic Wand 1996-10-17 Michael Codish Sparse Block and Cyclic Data Distributions for Matrix Computations 1996-10-22 The Computational Complexity Of Torsion-Freeness Of Finitely Presented Groups 1997-11-17 Improved Estimation of the Switching Activity for Reliability Prediction in VLSI Circuits 1995-12-09 Farid N. Najm Embedding of Time-Varying Contractive Systems in Lossless Realizations 1994-11-28 Using if-then-else DAGs for Multi-Level Logic Minimization 1992-07-09 Kevin Karplus The Architecture of an Intelligent Virtual Mathematical Software Repository System 1994-12-14 Ronald F. Boisvert Fully Dynamic Algorithms for Maintaining Extremal Sets in A Family of Sets 1997-08-11 Hong Shen Bounding Delays in Packet-Routing Networks with Light Traffic 1996-02-12 Mor Harchol-balter On the Measurability of the Conjugate and the Subdifferential of a Normal Integrand 1995-10-27 Christian Hess Fault-Tolerant Implementation of Finite-State Automata in Recurrent Neural Networks 1997-06-04 The Number of Nucleotide Sites Needed to Accurately Reconstruct Large Evolutionary Trees 1996-07-08 ProcSimity: An Experimental Tool for Processor Allocation and Scheduling in Highly Parallel Systems 1999-02-10 An Approach to Multiply Segmented Constraint Satisfaction Problems 1999-02-03 On the Systematic Design of Web Languages 1996-07-02 Fast Computation of Compound Expressions in Two's Complement Notation 1997-06-10 Improved Time-Frequency Filtering of Signal-Averaged Electrocardiograms 1997-09-26 Parity Declustering for Continuous Operation in Redundant Disk Arrays 1998-09-10 Simple Automorphism Groups of Cycle-Free Partial Orders 1997-04-29 Type-SpecificStorage Management 1993-07-02 Daniel Ross Edelson Monitoring and Controlling Remote Parallel Computations Using Schooner 1995-06-15 Graceful Adaptation of Guaranteed Performance Service Connections 1993-11-29 Object-Oriented Specification and Stepwise Refinement 1997-08-22 Estimating the Heritability by Decomposing the Genetic Drift 1995-01-25 Automatic Verification of a Lip Synchronisation Algorithm Using UPPAAL 1998-07-08 Magnetic Impurity in a Luttinger Liquid: A Conformal Field Theory Approach 1996-10-16 A Computer Framework to Support Self-Explanation 1997-05-17 Minimal Covers of Maximal Antichains for Interval Orders 1997-08-21 Remote Building Monitoring and Control 1997-01-30 Confidence and Rejection in Automatic Speech Recognition 1970-01-01 Larry Don Colton B Acklund And Darboux Transformations For The Ablowitz--Ladik Spectral Problem 1998-03-16 Preconditioning Discrete Approximations Of The Reissner-Mindlin Plate Model 1996-06-28 Coercions and Subtyping: Some Type-theoretic Investigations between Computer Algebra and Artificial Intelligence 1994-11-25 Andreas Weber Evolving Ant Colony Optimization 1999-01-29 Conflict Analysis for Management Policies 1997-01-08 Constraints on Parallelism Beyond 10 Instructions Per Cycle 1997-11-25 Méthodes Duales Pour La Résolution De Problmes D'aoeectation Généralise En Suivi De Cellules De Pluie 1998-05-04 A Hardware Implementation of Pure Esterel 1994-10-10 G. Berry A Data Mining Methodology and Its Application to Semi-Automatic Knowledge Acquisition 1998-01-19 Waveguide Mesh Method for Low-Frequency Simulation of Room Acoustics 1996-09-05 Augmenting the User's Knowledge via Comparison 1998-06-10 Maria Milosavljevic Using Conceptual Modeling and Intelligent Agents to Integrate Semi-structured Documents in Federated Databases 1998-06-29 The Generation of Optimized Codes using Nonzero Structure Analysis 1970-01-01 Lexicon Effects on Chinese Information Retrieval 1997-07-10 K. L. Kwok Lattice Based Language Models 1997-11-19 Pierre Dupont Row Straightening via Local Interactions 1996-08-05 Ffl Ffl Ffl 1998-06-05 Network Text Editor NTE A scalable shared text editor for the MBone 1999-03-01 A Frequency Domain Approach To Anti-Windup Compensator Design 1998-02-22 Bayesian Inference with Missing Data Using Bound and Collapse 1998-03-11 A Perspective on Word Sense Disambiguation Methods and Their Evaluation 1998-03-17 Using Differential Algebra to Calculate Zero Dynamics 1994-03-21 H. Fortell A Simple Proof of a Minimum Cut Algorithm and Its Applications 1997-11-15 Hadron Collider 1995-08-14 Hadron Collider Factories Reasoning about Extensions 1994-10-05 A Historical Lexical Database of Swedish. The O.S.A Project 1999-02-09 Complexity as a Scale-Space for the Medial Axis Transform 1995-04-20 Ronald D. Chaney Simulated Annealing: A Heuristic for Parallel Stochastic Optimization 1997-05-19 On Gaps Between Squarefree Numbers II 1995-09-29 Distinguishability Condition and the Future Subsemigroup 1995-08-21 A New Improved Collage Theorem With Applications To Multiresolution Fractal Image Coding 1994-06-03 G. E. Řien Scalable, Distributed Data Mining Using An Agent Based Architecture 1997-06-23 Load Balance Properties of Distributed Data Layouts for Clustered MOD Servers 1996-11-01 A Measurement-Based CAC Strategy for ATM Networks 1997-10-10 Vhdl-Based Simulation Of Electronic Circuits And Systems 1999-01-07 D. Tavangarian PCE-QUAL-ICM: A Parallel Water Quality Model Based on CE-QUAL-ICM 1998-09-03 Task Specification and Monitoring for Uncalibrated Hand/Eye Coordination 1998-11-19 A Note on Lexicographic Breadth First Search for Chordal Graphs 1995-06-21 Klaus Simon Object Views and Updates 1998-03-12 C. Souza Dos Santos Fully Parallel Hardware/Software Codesign For Multi-Dimensional DSP Applications 1997-03-19 A General Class of Nonlinear Normalized LMS-type Adaptive Algorithms 1998-03-25 Safety criteria for the vital processor interlocking at Hoorn-Kersenboogerd 1999-01-13 Wan Fokkink Some Finite Element Computational Strategies for Large-Scale Flow Problems in High Performance Computers 1970-01-01 Hirota equation and Bethe ansatz 1998-10-15 A. Zabrodin