Type Specialisation for Imperative Languages 1997-04-08 A Multiscale Approach to Integrated Volume Segmentation and Rendering 1997-03-12 The Quality Of Partitions Produced By An Iterative Load Balancer 1997-01-24 Phylogenetic Recapitulation in the Ontogeny of Artificial Neural Networks 1999-01-11 The Didactic Robots 1999-01-11 Autonomous Cross-Country Navigation Using Stereo Vision 1999-02-16 Testing Monotonicity Of Regression 1998-12-22 A QuantitativeAnalysis of Instruction Prefetching 1998-12-17 Transaural 3-D audio 1995-07-07 William G. Gardner Ccsds Global Spacecraft Identification Field: 1995-11-15 Blue Book A Finitary Version of the Calculus of Partial Inductive Definitions 1995-10-19 Lars-henrik Eriksson Software Documents, Their Relationships and Properties 1995-01-04 Jun Han On the Complexity of Sparse Elimination 1994-11-10 Ioannis Z. Emiris Relative Perturbation Theory: II Eigenspace and Singular Subspace Variations 1996-02-16 Ren-cang Li Mel 3/27 R.2 1993-09-23 Cooperative Behaviors - Discrete Event Systems based approach. 1994-11-13 Terminological Reasoning and Conceptual Modeling for Datawarehouse 1996-06-05 David Rudloff Data Mining for Automated Visual Inspection 1997-10-10 Improved Neural Network Training Of Inter-Word Context Units For Connected Digit Recognition 1999-01-10 Consortium 1998-03-11 PASSWORD - R2.5: Certification Authority Requirements 1994-05-26 Michael Roe Interval Computations On The Spreadsheet 1996-10-12 Some Polarimetry I Have Done at University of Wisconsin 1998-07-08 A. J. Weitenbeck Control of Nonholonomic Systems with Drift Terms 1996-12-22 Name Server Operations Guide for BIND 1996-05-17 WZW models of general simple groups 1998-05-13 Matthias R. Gaberdiel Diagnosis as an Integral Part of Multi-Agent Adaptability 1999-01-28 Appearance-Based Motion Recognition of Human Actions 1996-08-02 James William Davis Tracker: A Sensor Fusion Simulator For Generalised Tracking 1999-03-20 Distributed Algorithms for Multicast Path Setup in Data Networks 1995-10-28 Synchronization Trees And Fairness: A Case Study 1997-02-12 The Molecular Modeling Toolkit: a case study of a large scientific application in Python 1997-11-02 Konrad Hinsen libscheme: Scheme as a C Library 1994-11-28 Brent W. Benson Learning of Depth Two Neural Networks with Constant Fan-in at the Hidden Nodes Extended Abstract 1997-04-24 Building Intelligent Agents for Web-Based Tasks: A Theory-Refinement Approach 1998-12-21 Computation of the Semantics of Autoepistemic Belief Theories 1999-03-29 Polynomial invariants of Legendrian links and plane fronts 1996-07-08 Incremental Multi-Step Q-Learning 1998-08-21 Components, Frameworks and GKS Input 1998-07-13 Manager-Agent and Remote Operation: Two Key Patterns for Network Management Interfaces 1997-10-17 Opportunistic FTP 1999-02-05 Stage-Graph Representations 1996-10-30 Development of International Collaborative CAD/CAM 1997-07-08 On-line Avoidance of the Intrusive Effects of Monitoring on Runtime Scheduling Decisions 1996-03-06 Real-time Parallel Computation of Disparity and Optical Flow Using Phase Difference 1998-10-01 What Makes a Problem Hard for a Genetic Algorithm? Some Anomalous Results and Their Explanation 1998-03-18 Heisenberg Lie Bialgebras as Central Extensions 1998-10-07 Subtyping with Singleton Types 1997-08-21 David Aspinall Strong uniqueness for a class of infinite dimensional Dirichlet operators and applications to stochastic quantization 1999-04-21 Using Trade-off Information in Attributes' Investing 1998-05-08 Pekka Korhonen Task Decomposition and Dynamic Role Assignment for Real-Time Strategic Teamwork 1998-01-09 Planar Shape Databases With Affine Invariant Search 1996-04-02 Introduction to S-PLUS for UNIX with Exercises 1999-04-12 Integration of Constraint Reasoning, and Simulation models in Forest Harvest Scheduling 1996-11-22 Junas Adhikary On Genetic Algorithms and Lindenmayer Systems 1998-11-05 Gabriela Ochoa Information Flocking: Data Visualisation In Virtual Worlds Using Emergent Behaviours 1998-07-21 A Fully Projective Formulation to Improve the Accuracy of Lowe's Pose-Estimation Algorithm 1997-06-18 A Review of Evolutionary Artificial Neural Networks 1997-05-16 Xin Yao Efficient Labelling and Constraint Relaxation for Solving Time Tabling Problems 1998-09-29 P. Boizumault Functions and Methods for Mixed-Effects Models 1996-07-01 Pharmacodynamic Analysis of Hematologic Profiles 1994-04-12 Constant Time Per Edge is Optimal on Rooted Tree Networks 1998-07-17 Michael Mitzenmacher Semantic Query Caching for Heterogeneous Databases 1997-08-12 A Continuum of Minimal Pairs of Compact Convex Sets which are not Connected by Translations 1996-06-24 Diethard Pallaschke Estimating Continuous Distributions in Bayesian Classifiers 1999-02-05 Sensor-Based Control Architecture for a Car-Like Vehicle 1999-03-04 Bounds of the Expected Approximation Error in Optimal Inventory Policies 1997-06-06 Passive Ranging Using Image Expansion 1997-06-27 Third Year Project 1994-08-25 Matthew Bowen Scientific Workflow Management: WASA Architecture and Applications 1996-04-11 to a Sparse Set using a Constant Number of Queries Collapses 1996-02-16 Dieter Van Melkebeek Discussion 1997-10-28 Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations 1996-03-29 MultiMATLAB: Integrating MATLAB with High-Performance Parallel Computing 1997-09-04 Caching in on Sisal: Cache Performance of Sisal vs. Fortran 1998-01-26 Any-Dimension Algorithms 1995-07-12 A Maximum Likelihood Approach to Nonlinear Blind Source Separation 1997-07-04 A Point-based Temporal Extension of SQL 1998-08-05 David Toman The World Wide Web: a Web Even a Fly Would Love 1997-03-06 Elizabeth Bryson Brauer Groups of Local Elliptic and Hyperelliptic Curves and Central Division Algebras Over Their Function Fields 1999-04-21 Detection Techniques for Direct Sequence Multicarrier Variable Rate Broadband CDMA 1998-10-23 Binary Space Partitions for Fat Rectangles 1996-10-16 Discriminant Analysis by Gaussian Mixtures 1998-08-31 Evolving Optimal Populations with XCS Classifier Systems 1996-11-25 Tim Kovacs Multilevel Algorithms for Nonlinear Optimization 1997-01-27 Diagonalization of Homogeneous Linear Operators in Biorthogonal Wavelet Bases 1997-03-19 Fredrik Ekstedt Acoustic-to-Phonetic Mapping Using Recurrent Neural Networks 1996-09-16 Robust Permanent Income and Pricing 1999-01-17 A Model for Classification Structures with Evolution Control 1996-07-24 Computing within Memory Using Transforms 1997-08-08 Why Aren't Operating Systems Getting Faster As Fast as Hardware? 1993-10-29 John K. Ousterhout A Provable Time and Space Efficient Implementation of NESL 1997-02-04 A Class of Asymptotically Stable Algorithms for Learning-Rate Adaptation 1998-02-02 Stefan M. Ruger Detecting Luminous Gravitational Microlenses Using Spectroscopy 1998-08-17 Dealing with the Multimodal Distributions of Mixture Model Parameters 1996-12-04 Matthew Stephens Physical And Cosmological Implications Of A Possible Class Of Particles Able To Travel Faster Than Light 1997-04-26 L. Gonzalez-mestres File System Logging Versus Clustering: A Performance Comparison 1996-07-02 Automata Theory for Reasoning about Actions 1999-03-04 Eugenia Ternovskaia Multiresolution Signal Decomposition Schemes. Part 1: Linear and Morphological Pyramids 1998-09-22 Design, Modeling and Control of a Hopping Robot 1996-02-13 Efficient Algorithms for Predicting Requests to Web Servers 1998-09-15 Analysis and Exploration of the program FALSE 1994-04-26 Model Checking and Other Games 1997-06-23 Colin Stirling Response of the Auroral Electrojets to the Solar Wind Modeled With Neural Networks 1996-12-10 The Construction Of Single Wavelets In D-Dimensions 1999-03-15 Modelling Domain Dialogs 1997-07-31 Jens-uwe Moeller Performance Analysis of an Improved MMSE Multi-user Receiver for Mismatched Delay Channels 1998-11-16 M-Ary Orthogonalmodulation For Multi-Carrier Spread-Spectrum Uplink Transmission 1998-05-20 Analysis of Feedback-Oriented Congestion Control Mechanisms for ABR Services 1996-10-07 Michael Ritter Variational Constraints For Electrical Impedance Tomography 1995-04-24 A Bornological Approach to Rotundity and Smoothness Applied to Approximation 1996-06-23 John Read Abundances in metal-rich stars - Detailed abundance analysis of 47 G and K dwarf stars with . . . 1997-09-23 Sofia Feltzing Dimension choice for Sliced Inverse Regression based on ranks 1997-07-03 On the power of evolutionary optimization at the example of ATSP and large TSP Problems 1997-05-27 Martina Gorges-schleuter Communication Complexity In Lattices 1999-04-21 Macro-Actions in Reinforcement Learning: An Empirical Analysis 1998-08-19 Generating Decompilers 1998-10-17 Process Planner's Assistant: An Interactive And Iterative Approach To . . . 1997-06-09 High Performance Fortran Interfacing to ScaLAPACK 1999-04-07 A Hardware Implementation Of A Binary Neural Image Processor 1998-06-22 Connection between zeta and cutoff regularizations of Casimir energies 1998-05-23 A Connectonist Indexing Approach for CBR Systems 1996-04-17 Maria Malek An Efficient Algorithm for the Riemann Zeta Function 1995-09-20 P. Borwein A Parallel Genetic Algorithm for Transonic Airfoil Optimisation 1995-12-20 PolyTOIL: A type-safe polymorphic object-oriented language 1998-04-01 Interactive Simulation And Visualization Of Massless, Massed, And Evaporating Particles 1998-10-13 Learning Concepts from Sensor Data of a Mobile Robot 1996-01-08 Loop Re-Ordering and Pre-Fetching at Run-time 1997-09-28 A Change Analysis Process to Characterize Software Maintenance Projects 1994-10-13 An Approach to the Integration of File Based Systems into Database Federations 1996-11-22 Michael Hoding Efficient Resource Management 1997-08-30 General ways of constructing accelerating Newton-like iterations onpartially ordered topological spaces 1997-09-26 Ioannis K. Argyros Charm Physics With The Opal Detector 1997-06-26 Design and Implementation of a Replay Framework based on a Partial Order Planner 1996-01-24 Molecular Computing, Bounded Nondeterminism, and Efficient Recursion 1996-11-17 Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change 1996-12-09 Erik Sandewall CaseAdvisor: Supporting Interactive Problem Solving and Case Base Maintenance for Help Desk Applications 1998-09-10 Sui Generis Genericity 1998-08-30 Analysis of Switching Dynamics with Competing Neural Networks 1995-11-14 Separation Constraint Partitioning - A New Algorithm for Partitioning Non-strict Programs into Sequential Threads 1997-01-27 Supporting flexible collaborative software development with SPE-Serendipity 1996-04-18 John C. Grundy Computing Replica Placement in Distributed Systems 1995-10-17 Reducing Data Communication Overhead for 1995-02-14 The Theory of Dimensioned Matrices 1995-05-10 George W. Hart Robust Estimation Of Spectral Center-Of-Gravity Trajectories Using Mixture Spline Models 1996-05-30 Don X. Sun Software Constraint Models - A Means to Improve Maintainability and Consistency 1995-02-09 Dag I. K. Sjøberg The Didactic Robots 1996-08-12 TCP-like Congestion Control for Layered Multicast Data Transfer 1997-12-06 Flexibilty in a Blackboard System for Solving Dynamic Resource-Constrained Scheduling Problems 1997-07-14 Approach to Equilibrium of Glauber Dynamics In the One Phase Region. II: The General Case 1997-04-26 Connectionist Decision Systems for a Visual Search Problem 1999-03-01 Uwe R. Zimmer Verifying Synchronous Programs draft 1994-10-11 Jacob Kornerup Peer-to-Peer Reconciliation Based Replication for Mobile Computers 1997-02-12 Some Design Issues in the Visualization of Constraint Logic Program Execution 1998-11-02 AND/OR Reasoning Graphs for Determining Prime Implicants in Multi-Level Combinational Networks 1999-01-13 A Method for Instrumenting Software Evolution Processes and An Example Application 1995-04-11 Nazim Madhavji On the Subject Reduction Property for Algebraic Type Systems 1998-05-06 G. Barthe Providing Integrated Support for Multiple Development Notations 1995-09-14 Optimal Strategies for Incoherent Demodulation of Narrow Band FM Signals 1995-05-26 Hypercrossing Number: A New and Effective Cost Function for Cell Placement Optimization 1999-01-14 Identifier Semantics: A Matter of References 1992-11-02 Non-Bushy Trees For Gaussian Hjm And Lognormal Forward Models 1997-08-12 Alan Brace Interactive Debugging and Performance Analysis of Massively Parallel Applications 1995-12-06 Research Issues In Distributed Operating Systems 1995-10-17 A Cerebellar Approach to Adaptive Locomotion for Legged Robots 1999-01-17 Simultaneous Feature Extraction and Selection Using a Masking Genetic Algorithm 1997-02-27 A Formal Approach to Fuzzy Modeling 1998-02-02 John Lygeros Topic Adaptation For Language Modeling Using Unnormalized Exponential Models 1998-10-17 Almost k-wise Independent Sample Spaces and Their Cryptologic Applications 1997-02-11 Proof Lengths for Equational Completion 1995-06-14 EMG Control for a Robot Hand Used as a Prosthesis 1999-01-16 Quantum Computing 1998-11-10 Peter W. Shor Synthesizing proofs from programs in the Calculus of Inductive Constructions 1996-09-05 Catherine Parent Comparing Positive and Negative Alcohol Expectancies in Male and Female Social Drinkers 1996-03-04 New Limit on the P-Mode Oscillations of Procyon by Fourier Transform Seismometry 1998-11-13 Residual-Based Tests for Fractional Cointegration: A Monte Carlo Study 1998-04-01 Ingolf Dittmann Constructive Neural Network Learning Algorithms for Multi-Category Real-Valued Pattern Classification 1997-06-17 Visualizing the Simple Bayesian Classifier 1998-10-26 Changes in Web Client Access Patterns - Characteristics and Caching Implications 1999-01-13 Traffic Characterization and Switch Utilization using a Deterministic Bounding Interval Dependent Traffic Model 1998-02-23 Optimizing the Placement of Multimedia Objects on Disk Arrays 1998-06-12 EM-Cube: An Architecture for Low-Cost Real-Time Volume Rendering 1998-03-03 Computational Neuroethology: A Provisional Manifesto 1990-10-29 A New Approach for Dimensionality Reduction: Theory and Algorithms 1998-12-09 Optimal Linear Detectors for Additive Noise Channels 1995-06-01 Don H. Johnson A Treatment of the Schwinger Model within Noncommutative Geometry 1970-01-01 Profiling Parallel Functional Computations Without Parallel Machines 1999-02-08 Volumes From Overlaying 3-D Triangulations in Parallel 1996-01-13 Providing Better Support for a Class of Decision Support Queries 1997-01-20 Mutual Beliefs of Multiple Conversants: A Computational Model of Collaboration in Air Traffic Control 1994-02-17 Efficient Parallel Fir Filter Implementations Using Frequency Spectrum Characteristics 1998-08-24 High Resolution CMOS Current Comparators: Design and Applications to Current-Mode Function Generation 1998-06-30 F. Medeiro BALANCE - A Flexible Parallel Load Balancing System for Heterogeneous Computing Systems and Networks 1995-09-10 Improved Scheduling Algorithms for Minsum Criteria Extended Abstract 1996-04-19 Characterisations of Classical and Non-classical states of Quantised Radiation 1998-05-25 Model Checking TLA+ Specifications 1999-03-11 Multicast Tree Construction in Network Topologies with Asymmetric Link Loads 1970-01-01 Expressing Database Queries with Intuitionistic Logic 1995-11-05 CODE4: A Unified System for Managing Conceptual Knowledge 1995-08-02 Multi-way Netlist Partitioning into Heterogeneous FPGAs and Minimization of Total Device Cost and Interconnect 1997-03-25 Definability and Undefinability with Real Order at the Background 1999-01-22 A Kruskal-Katona Type Theorem for the Linear Lattice 1998-10-21 Submillimeter Imaging of NGC 891 with SHARC 1998-12-04 The Number-Theoretical Spin Chain and the Riemann Zeroes 1997-09-04 Andreas Knauf The Implementation of a Distributed Framework to support `Follow Me' Applications 1998-12-28 The PRESTO Application Suite 1995-01-20 The Linux Printing Usage HOWTO 1998-04-26 SPAR: A Schematic Place and Route System 1995-12-13 The Traffic Equilibrium Problem with Nonadditive Path Costs 1995-09-26 Fast Monte-Carlo Algorithms for finding low-rank approximations 1998-10-27 Cache Digests 1998-04-17 A Lyapunov Bound for Solutions of Poisson's Equation 1998-08-24 Structure from Linear or Planar Motions 1996-04-19 J Oliensis Modeling, Analysis, and Simulation of Self-Similar Traffic using the Fractal-Shot-Noise-Driven Poisson Process 1995-03-22 Integrating Database and World Wide Web Technologies 1998-04-24 Dr. Ling Feng Calculi for Mobile Processes - Bibliography and Web Pages 1998-01-22 Applications Of Cheeger's Constant To The Convergence Rate Of Markov Chains On R n 1998-02-26 Wai Kong Yuen Visual Attention in a Mobile Robot 1997-07-15 GRAPE-4 and Beyond 1996-02-11 Junichiro Makino Approximate Standing Wave Solutions in Massless ... Theory 1998-12-18 O. A. Khrustalev Common modulus attack against Lucas-based systems 1997-06-20 Marc Joye Design of the Munin Distributed Shared Memory System 1998-09-14 Two Views of High-Integrity Ada 1995-11-24 I C Wand Analytic andComputational Assessment of Locking in the hp Finite Element Method 1995-11-18 Manil Suri The OMC-1 molecular hydrogen outflow as a fragmented stellar wind bubble 1996-10-10 Generalized Streets Revisited 1999-03-16 Ro L'opez-ortiz Sven Schuierer Architecture For 1997-10-10 The ground-negative fragment of first-order logic is Pi^p_2-complete 1997-05-11 Andrei Voronkov Computationally Manageable Combinatorial Auctions 1995-04-19 Congestion Control By Traffic Shaping For Ground/Satellite Network 1997-03-22 Unknown 1994-12-21 Automatic Prosodic Analysis for Computer Aided Pronunciation Teaching 1994-09-20 Paul Christopher Bagshaw On a General Concept of Multifractality: Multifractal Spectra for Dimensions, Entropies, and Lyapunov Exponents. Multifractal Rigidity 1998-01-17 The Syntactic Processing Of Particles In Japanese Spoken Language 1999-02-06 Melanie Siegel A Constraint-Satisfaction Approach for 3-D Object Recognition by Integrating 2-D and 3-D Data 1998-07-11 CSPlib: a benchmark library for constraints 1999-04-16 Conditional Subgradient Optimization - Theory and Applications 1995-09-19 Relational Set Theory 1997-09-30 Yasuo Kawahara A Sequential Niche Technique for Multimodal Function Optimization 1994-09-05 Two-Mode Quantum Phase 1996-02-05 Formal Characterizations of Active Databases: Part II 1997-06-05 Rutherford Appleton Laboratory 1998-05-14 A Model for Worldwide Tracking of Distributed Objects 1996-06-20 Galilean Coherent States And Wavelets 1996-03-08 J-p. Antoine Weight Zero Enhancement In Speech Synthesis Using Neural Networks 1996-03-04 Verdi Compiler: Final Report 1994-12-10 Lisp and Symbolic Computation 1999-02-12 Nelson H. F. Beebe A Transformation System Combining Partial Evaluation with Term Rewriting 1996-03-12 On Efficient Markovian Modelling 1993-07-26 Markus Siegle Multiple Translational Containment Part I: An Approximate Algorithm 1996-09-17 A Simple and Unifying Approach to Subjective Objects 1996-06-28 A Comparison of Two Corpus-Based Methods for Translingual Information Retrieval 1998-01-28 A Generic Architecture for Intelligent Networked Colocation in Concurrent Engineering 1995-09-15 Dennis Bahler Key Management for Restricted Multicast using Broadcast Encryption 1999-03-11 Doppler-Based Motion Estimation For Wide-Band Sources From Single Passive Sensor Measurements 1996-12-13 Equivalence of Linear Boltzmann Chains and Hidden Markov Models 1996-05-06 David J. C. Mackay 3D FreehandUltrasound: Reconstruction and Spatial Compounding 1999-03-11 Robert Nicholas Rohling The security architecture of IRO-DB 1996-06-11 Irrational Numbers of Constant Type --- A New Characterization 1998-02-21 Thermodynamical Evolution Of Hot And Dense Hadronic Matter From Intranuclear Cascade Simulation 1998-05-16 Decomposition Of Simultaneous Analysis And Design Models 1995-06-24 Compute Server Performance Results 1999-04-15 Random I/O Performance of a Tandberg MLR1 Tape Drive 1998-11-26 RSVP: A New Resource ReSerVation Protocol 1998-01-14 A Comparison of Three Microkernels 1995-10-17 Andrew S. Tanenbaum Region of Magnetic Dominance Near a Rotating Black Hole 1998-05-24 V. Karas Nonlinear Independent Component Analysis: Existence and Uniqueness Results 1998-10-19 Aapo Hyvrinen Checking Verifications of Protocols and Distributed Systems By Computer 1998-09-16 Solving Geometric Constraint Systems 1996-12-11 Glenn A. Kramer Indigo: User-level Support for Building Distributed Shared Abstractions 1996-09-11 MIME Multipurpose Internet Mail Extensions Part One: Mechanisms for Specifying and Describing the Format of. . . 1993-12-23 QGB: A System for Querying Sequence Database Fields and Features 1970-01-01 Visual Filtering of Search Results with Document Maps 1998-05-04 Jeffrey J. Morgan Cochannel and Adjacent Channel Reuse Ratio Distributions in Dynamic Channel Assignment Microcellular Systems 1996-12-18 Bit Optimal Distributed Consensus 1995-07-07 A Lazy Calendar For Optimistic Parallel Simulation 1998-10-01 Performance of ATM Switch Fabrics Using Cross-Point Buffers 1999-01-24 The Linux Emacspeak HOWTO 1998-04-26 Steady-State Analysis Of Continuous Adaptation Systems For Hearing Aids With A Delayed Cancellation Path 1998-11-05 Visualisation By Tables 1970-01-01 Stephen W. Draper Embra: Fast and Flexible Machine Simulation 1970-01-01 Spin Symmetry Without Heavy Quarks: Hyperon Form Factors In The Large 1998-05-25 Chi-keung Chow Enriched View Synchrony: A Programming Paradigm for Partitionable Asynchronous Distributed Systems 1996-11-19 Global I/O Optimizations for Out-of-Core Computations 1997-10-21 Architectural Support for Managing Communication in Point-to-Point Distributed Systems 1994-04-08 Toward an Experimental Science of Planning 1997-04-13 Pre-logical Relations 1999-03-19 Furio Honsell Magic Sets vs. SLD-Resolution 1996-01-24 Stefan Brass Scheduling Dynamic Dataflow Graphs With Bounded Memory Using The Token Flow Model 1994-11-06 Hardware Speedups in Long Integer Multiplication 1998-12-21 Information Theoretic Neural Networks for Contextually Guided Unsupervised Learning: Mathematical and Statistical Considerations 1996-08-23 Jim Kay Fast Simulation of Wireless Systems 1998-10-20 Luiz Felipe Perrone Concurrent Semantics for Structured Design Methods 1997-01-23 Java/DSM: A Platform for Heterogeneous Computing 1997-08-18 Theoretical Estimation Of Power Consumption In Binary Adders 1998-08-24 Knowledge-based Refinement of Knowledge Based Systems 1997-03-24 Feature Subset Selection Using A Genetic Algorithm 1997-07-30 Routing In Leo-Based Satellite Networks 1999-02-25 The Evolution of Distorted Rotating Black Holes I: Methods and Tests 1996-01-20 Steven R. Brandt Polymorphic Syntax Definition 1998-01-19 Some Linear Algebra Issues in Large-Scale Optimization 1993-01-04 Margaret H. Wright The LooPo scanner and parser 1995-01-12 Frank Schuler An Approximation Scheme for Evolutive Hamilton-Jacobi Equations 1998-10-29 High-Level Views of Distributed Executions 1995-05-30 Thomas Kunz The CORD approach to Extensible Concurrency Control 1999-01-19 Algorithms for the Parallel Alternating Direction Access Machine 1999-04-05 Hierarchical Algorithms For Illumination 1993-09-28 Toward a Mechanics of Conceptual Machines 1996-03-21 David E. Goldberg Downward Collapse from a Weaker Hypothesis 1998-07-24 Towards Generalized Rule-based Updates 1970-01-01 On the Need for Multipermutations: Cryptanalysis of MD4 and SAFER 1994-11-21 Serge Vaudenay Existence Of Invariant Tori For Non Hamiltonian Perturbations Of Integrable Systems 1997-04-26 Dario Bambusi TamingGri--ths'SingularitiesinLongRange Random IsingMo dels 1997-10-03 Dedicatedtothememory Ofroland Dobrushin Multiresolutional Multisensor Target Identification 1997-04-10 Observing Self-Stabilization 1996-11-14 Provable security for block Ciphers by decorrelation 1998-06-18 Serge Vaudenay Generating specialized C++ Code from parametrized CLAIRE pseudo-code 1996-03-13 Cole Normale Supérieure Leveled Entity Relationship Model 1997-01-20 Building the 4 Processor SB-PRAM Prototype 1996-11-15 Coalitions among Computationally Bounded Agents 1997-10-29 An Approach to Machine-Independent Parallel Programming 1995-04-25 Public International Benchmarks for Parallel Computers 1994-08-26 Michael Berry secretary A Language for Manipulating Arrays 1997-06-23 Noise reduction of chaotic systems by Kalman filtering and by shadowing 1996-07-24 Profiling Parallel Functional Computations Without Parallel Machines 1997-04-23 Topographic Map Formation as Statistical Inference 1996-02-28 Roland Baddeley Spiders: A New User Interface for Rotation and Visualization of N-dimensional Point Sets 1999-02-10 A Connectionist Variation on Inheritance 1998-10-16 Approaches to Online Learning and Concept Drift for User Identification in Computer Security 1998-11-07 A Davis-Putnam Program and Its Application to Finite First-Order Model Search: Quasigroup Existence Problems 1994-10-25 William Mccune Automatic Evaluation of Spoken Dialogue Systems 1998-05-26 The Complexity of Existential Quantification in Concept Languages 1995-06-10 Disk-directed I/O for MIMD Multiprocessors 1970-01-01 David Kotz Timing Analysis of Domino Logic 1996-11-21 Meson Decay Constants in Relativistic Quark Model 1998-05-14 Stability Margins for Systems With Deterministic and Stochastic Uncertainty 1997-07-10 ANNO: a Multi-functional Flemish Text Corpus 1998-05-11 Ineke Schuurman Experiments with a Task Partitioning Model for Heterogeneous Computing 1999-02-03 David J. Lilja An Application of the Sparse Distributed Memory 1998-04-14 Frantisek Zboril Primitives of Sequential and Parallel Computation 1999-01-05 The Neural Network Loading Problem is Undecidable 1996-09-18 Herbert Wiklicky NetProf: Network-based High-level Profiling of Java Bytecode 1998-08-11 Lane Boundary Detection Using Statistical Criteria 1998-12-22 Error-Correcting Output Coding for Text Classification 1999-04-15 Adam Berger Empirical Support for Probabilistic GLR Parsing 1970-01-01 Chain Queries Expressible by Linear Datalog Programs 1997-10-20 Scientific Applications on the SB-PRAM 1996-11-26 A large-scale GenBank search of Expressed Sequence Tags using rapid identity searching program for DNA sequences 1995-12-13 A Social Reasoning Mechanism Based On Dependence Networks 1996-10-17 Tools for Printing Indexes 1997-09-29 Derandomizing Arthur-Merlin Games 1998-09-11 How good are branching rules in DPLL? 1996-09-11 Ming Ouyang Crossover, Macromutation, and Population-based Search 1995-06-02 Terry Jones Combining Situation Calculus and Event Calculus 1970-01-01 Experiences on Implementing PARMACS Macros to Run the SPLASH-2 Suite on Multiprocessors 1998-02-17 Methodical Use of Cryptographic Transformations in Authentication Protocols 1996-10-03 Message Dispatch on Pipelined Processors 1995-05-19 Karel Driesen Complex Strategies in the Iterated Prisoner's Dilemma 1996-05-10 Jean-paul Delahaye Defining and Translating Visual Schemas for Deductive Databases 1998-06-06 Categorical Completeness Results for the Simply-Typed Lambda-Calculus 1994-12-12 Alex K. Simpson Scale Influence on the Energy Dependence of Photon-Proton Cross Sections 1997-12-19 H Collaboration Computing at H1 - Experience and Future 1997-01-24 Area-Efficient Static and Incremental Graph Drawings 1997-07-25 Off-line Learning of Coordination in Functionally Structured Agents for Distributed Data Processing 1996-08-27 Multiplicative Updatings for Support-Vector Learning 1998-06-18 Temporal Entity-Relationship Models - a Survey 1997-01-24 Hybrid Probabilistic Programs 1996-12-12 On the Effective Magnetic Properties of Magnetorheological Fluids 1999-03-20 Incentives for Procrastinators 1998-01-31 Matthew Rabin New Constructs for the Description of Combinatorial Optimization Problems in Algebraic Modeling Languages 1998-07-17 Cooperating Agents Implementing Distributed Patient Management 1996-11-13 Semantics-Based Information Retrieval 1998-05-27 Implicates and Prime Implicates in Random 3SAT 1996-08-21 Equivalences Between Elliptic Curves And Real Quadratic Congruence Function Fields 1998-06-29 Andreas Stein A New Approach for Computing Multi-dimensional DFTs on Parallel Machines and its Implementation on the iPSC/860 Hypercube 1997-01-17 Exclusive Production Of Heavy Mesons 1998-05-20 A. Bruni Integration of Speech and Gesture for Multimodal Human-Computer Interaction 1997-10-01 Volume Bounded Molecular Computation 1998-01-16 Bin Fu Super Tangrams: A Child-Centered Approach to Designing a Computer Supported Mathematics Learning Environment 1997-10-14 A Critical Phenomenon in Growth Systems 1997-04-26 Andrei Toom Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs 1997-10-06 ACID/HNN: Clustering Hierarchies Of Neural Networks For Context-Dependent Connectionist Acoustic Modeling 1998-11-26 A Comparative Evaluation of Voting and Meta-learning on Partitioned Data 1995-08-02 TCP over Wireless Multi-hop Protocols: Simulation and Experiments 1999-02-22 Point Sets with Distinct Distances 1996-10-23 Specification and Proof in Membership Equational Logic 1997-11-21 New Approaches To Holographic Video 1994-06-06 A Note on Recursive Functions 1996-05-09 File System Organization - The Art of Automounting 1992-10-12 An Architecture and Object Model for Distributed Object-Oriented Real-Time Databases 1998-06-24 Using Cyclic Genetic Algorithms to Reconfigure Hardware Controllers for Robots 1997-10-21 Multilingual and Crosslingual Speech Recognition 1998-03-27 Process and measurement support in SEEs 1996-10-07 Christopher M. Lott Simulation of Spiking Neural Networks on Different Hardware Platforms 1998-09-08 A Parallel Workload Model and Its Implications for Processor Allocation 1996-11-08 Allen B. Downey Porting an Expert Database Application to an Active Database An Experience Report 1997-02-12 Hybrid Language Processing In The Spoken Language Translator 1997-03-27 Semantics and Compositional Verification of mSDL 1996-06-07 Viscous Diffusion of Vorticity Using the Diffusion Velocity Concept 1997-09-08 Versatile Advection Code 1998-01-20 Teaching Programming to the Uninitiated using Mathematica 1998-11-28 Bernhard K. Aichernig Determination Of The Weights Of An Rbf Network Using Linear Discriminant Analysis 1997-04-18 ROC Analysis of ATR from SAR images using a Model-Based Recognizer Incorporating Pose Information 1995-04-16 Image Reconstruction Of A Compact Object From A Few Number Of Projections 1997-10-29 Ali Mohammad--djafari Chaos in Static Axisymmetric Spacetimes I : Vacuum Case 1996-04-05 Where to Look Next and What to Look for 1997-12-17 Multidimensional Hyperpresentations In A Distributed Multimedia System 1995-02-10 Using Explicit Requirements and Metrics for Interface Agent User Model Correction 1998-02-12 User Customization of Virtual Network Interfaces with U-Net/SLE 1998-06-17 Matt Welsh Genetic Programming using Mutation, Reproduction and Genotype-Phenotype Mapping from linear binary Genomes into linear LALR1 Phenotypes 1996-02-02 Hierarchical Watermarking in IC Design 1998-10-06 Edoardo Charbon Mosaicing with Generalized Strips 1997-04-18 Dark Matter from an experimental point of view 1997-06-09 Charling Tao Dynamic System Evolution and Markov Chain Approximation 1998-08-15 Roderick V. Nicholas Melnik A Survey of Database Support for Process-Centered Software Development Environments 1995-12-07 Dimitrios Tombros The Standard Template Library 1996-01-26 INTEGRATED MODELING FOR CORPORATE PLANNING AND DEVELOPMENT Pravir Malik and Akash Deshpande 1996-07-15 "Tcl cures 98.3% of all known simulation configuration problems" 1995-06-09 Genomic Regulation Modeled As A Network With Basins Of Attraction 1997-11-01 A Front Tracking Approach To A Two-Phase Fluid Flow Model With Capillary Forces 1997-07-17 An Evaluation of Directory Schemes for Cache Coherence 1997-11-11 Mobile Robot Navigation and Control: A Case Study 1998-03-21 Tightness for Non-irreducible Markov Chains 1997-06-13 Handling Rotations in the Placement of Curved Convex Polygons. 1997-06-25 Making an Abox Persistent 1998-05-22 Object Interconnections 1999-04-27 An Efficient Representation For Ellipsis 1998-02-07 A Modification of the Film Model 1994-11-07 CMUnited-97: RoboCup-97 Small-Robot World Champion Team 1998-09-20 Toward Transparent Selective Sequential Consistency in Distributed Shared Memory Systems 1998-03-16 Grammatical Evolution: A Steady State approach. 1998-09-08 Implementation of PLACE Land Surface Hydrology in MM5 1996-12-27 Orthogonal Collocation in the Non-Conforming Boundary Element Method 1995-10-13 Multiresolution Surface Reconstruction For Hierarchical B-splines 1995-07-21 Benchmarking Implementations of Functional Languages with "Pseudoknot", a Float-Intensive Benchmark 1997-08-14 Hashing Lazy Numbers 1970-01-01 Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann Hypothesis 1997-03-04 RT-IPC: An IPC Extension for Real-Time Mach 1993-10-21 Wavelet Based Modeling Of Nonlinear Systems 1998-09-07 Effects of Local Information on Group Behavior 1996-08-19 High Efficient Parallel Computation of Resonant Frequencies of Waveguide Loaded Cavities on JIAJIA Software DSM System 1970-01-01 Weisong Shi Analysis of Architectures using Constraint-Based Types 1998-11-23 Fourier versus Wavelet Analysis of Solar Diameter Variability 1996-11-03 New Arithmetic Coder/Decoder Architectures Based On Pipelining 1997-09-01 A Case Study for International Remote Machining 1997-07-08 An Experiment in the Design of Software Agents 1994-10-22 Representing Inductive Inference with SOLD-Resolution 1998-01-16 Bayesian Reconstruction for Emission Tomography via Deterministic Annealing 1996-04-01 ALIEN: A Generalized Computing Model Of Active Networks 1998-12-16 Translation and Monotonic Interpretation/Generation 1997-03-27 Hiyan Alshawi Evolutionary Dynamics and Optimization - Neutral Networks as Model-Landscapes for RNA Secondary-Structure Folding-Landscapes 1995-10-16 Variable Resolution Discretization in Optimal Control 1999-02-28 Satinder Singh A Portable and Mobile Manager for Distributed System Management 1998-03-30 Semantics of First Order Belief Revision Based on Circumscription 1992-12-15 Operating System Support for Distributed Multimedia Applications; ASurvey of Current Research 1997-08-26 Tatjana M. Burkow A Framework For The Optimization Of Discrete Event Simulation Models 1996-10-24 Evolutionary Stability in the N-Person Iterated Prisoner's Dilemma 1999-02-08 Xin Yao CALVIN: an Immersimedia Design Environment Utilizing Heterogeneous Perspectives 1996-03-16 Jgraph - A Filter for Plotting Graphs in PostScript 1994-09-17 James S. Plank An Analytical Approach to File Prefetching 1996-10-29 Boundary Properties For Two-Dimensional Semiflows 1997-03-10 Krzysztof Ciesielski Linear Concurrent Constraint Programming: Operational and Phase Semantics 1998-05-25 Communication Architectures and Algorithms for Media Mixing in Multimedia Conferences 1999-01-23 The Independence Property of a Class of Set Constraints 1996-05-02 Algorithms for Equality and Unification in the Presence of Notational Definitions 1999-03-05 From Algorithm Parallelism to Instruction-Level Parallelism: An Encode-Decode Chain Using Prefix-Sum Extended Abstract 1997-07-07 Uzi Vishkin A Symmetric Family Of Yang-Mills Fields 1997-04-26 Lorenzo Sadun Adaptive SOR: A case study in automatic differentiation of algorithm parameters 1997-08-07 Integration in Real PCF 1999-01-19 Abbas Edalat Connecting Mobile Workstations to the Internet over a Digital Cellular Telephone Network 1995-01-19 From Term Rewriting to Generalised Interaction Nets 1996-07-16 Ian Mackie fi--INVARIANT MEASURES FOR LEVEL-DEPENDENT QUASI-BIRTH-AND-DEATH PROCESSES 1997-11-20 On the Virtues of Parameterized Uniform Crossover 1992-06-03 Random Early Detection Gateways for Congestion Avoidance 1997-12-03 User-mode API for Tape Libraries 1998-06-23 Aram Khalili Relevancy Of Time-Frequency Features For Phonetic Classification Measured By Mutual Information 1998-10-30 Travelling Waves in the Transport of Reactive Solutes through Porous Media: Adsorption and Binary Ion Exchange - Part 1 1996-06-17 A Framework and Prototyping Environment for a W3 Security Architecture 1997-06-25 An Augmented Lagrangean Scheme for Capacitated Traffic Assignment Problems 1995-09-19 Almost-Constant-Time Clustering of Arbitrary Corpus Subsets 1997-03-19 Further Development on the Interior Algorithm for Convex Quadratic Programming 1995-10-20 Yinyu Ye Interval Reduction through Requirements Analysis 1999-04-12 A Partial Logical Reconstruction of PLAKON/KONWERK 1996-11-19 Implementation Of A Decoupled Controller For A Magnetic Suspension System Using Electromagnets Mounted In A Planar Array 1995-04-20 First-order Logic Characterization of Program Properties 1994-05-09 An Interactive Approach to the Creation of a Multilingual Concept Ontology for Language Engineering 1997-10-12 A Microeconomic View of Data Mining 1998-06-04 Implementing Agent Teams in Dynamic Multi-agent Environments 1997-10-16 Milind Tambe MSTP Workshop 1996 - Reentry Aerothermodynamics and Ground-to-Flight Extrapolation Contributions to Hyperboloid Flare Test-cases I.c and III.b 1997-06-20 Spatial Representation of Symbolic Sequences through Iterative Function Systems 1998-07-15 Peter Tino Random Walk On Upper Triangular Matrices Mixes Rapidly 1999-01-11 Igor Pak Perfect Secret Sharing Schemes from Room Squares 1998-07-24 A Taxonomy of Keyword Pattern Matching Algorithms 1999-01-28 Debugging Aids for State-Chart-Based Systems 1992-11-30 Specification Of A Communication Protocol In Graphical Interval Logic 1993-10-28 Design of Self-Timed Circuits Using GaAs MESFETs 1970-01-01 Integrating Visualization Support Into Distributed Computing Systems 1994-10-14 The Virtual Participant: Lessons to be Learned from a Case-Based Tutor's Assistant 1997-10-03 Simon Masterton A Multimodal Computer-augmented Interface for Distributed Applications 1996-07-08 Luc Julia Designing Conversational Interfaces With Multimodal Interaction 1998-04-03 Object Recognition using Random Image-lines 1998-06-01 A New Version of Panel Clustering for the Boundary Element Method 1999-01-05 Klaus Giebermann A Strategy for Quadruped Walking on Uneven Terrain 1998-12-20 Orbifold Euler characteristics and the number of commuting m-tuples in the symmetric groups 1997-12-11 Constraints 1995-11-18 Rasiah Loganantharaj Automatic classification of targets in Synthetic Aperture Radar imagery using topographic features 1996-09-26 Reuven Meth Toward Rational Communicative Behavior 1995-11-28 Updating Knowledge Bases with Disjunctive Information 1997-08-21 Geometric Sensing of Known Planar Shapes 1996-03-23 Solving Sparse Triangular Systems on Distributed Memory Multicomputers 1997-07-28 The Application of Local Polynomial Regression to Survey Sampling Estimation 1999-04-14 Bibliography of Yale's Functional Programming Research Group aka "The Yale Haskell Project" 1994-08-24 The Application of a Parallel Genetic Algorithm to the n/m/P/C_max Flowshop Problem 1997-07-31 C. Bierwirth S-Map: A network with a simple self-organization algorithm for generative topographic mappings 1998-01-19 Appendix B 1994-08-02 Underwood Gallery Passage-Level Evidence in Document Retrieval 1998-04-07 James P. Callan Inevitable Global States: A Concept to Detect Unstable Properties of Distributed Computations in an Observer Independent Way 1995-03-10 Complete Enumeration of Equilibria for Two-Person Games in Strategic and Sequence Forms 1997-11-27 Dynamic Task Mapping For Real-Time Controller Of Distributed Cooperative Robot Systems 1997-06-27 W. Scott Reilly Joseph Bates June 1995 1995-06-16 A Taste of Crispy Squid 1998-05-26 Varieties of Helmholtz Machine 1996-12-31 Simulation Comparison of Broadband Networking Technologies 1997-10-10 Note on Kovacic's algorithm 1995-01-23 Approximate Slack Stealing Algorithms for Fixed Priority Pre-emptive Systems 1993-12-08 R. I. Davis Area Spectral Efficiency Of Cellular Systems With Nakagami Multipath Fading 1997-07-08 On the Dependence of the Queue Tail Distribution on Multiple Time Scales of ATM Multiplexers 1995-11-22 Using Optimized Multi-attribute Hash Indexes for Hash Joins 1995-09-07 From Situation Calculus To Fluent Calculus: A New Motivation 1998-05-06 Michael Thielscher Sequential Prediction of Individual Sequences Under General Loss Functions 1998-04-21 Analytic Invariants and Moduli Spaces in Dual Supersymmetric Theories 1998-02-25 FPGA-Based Stochastic Neural Networks-Implementation 1995-03-20 The Multicomputer Toolbox: Scalable Parallel Libraries forLarge-Scale Concurrent Applications 1997-12-26 Design of a Genetic-Fuzzy System for Planning Optimal Path and Gait Simultaneously of a Six-legged Robot 1999-02-08 OARnet Security Procedures 1997-07-01 Oarnet Oarnet Linear Complexity Algorithms for Bandwidth Reservations and Delay Guarantees in Input-Queued Switches with no Speedup 1998-09-24 Longitudinal Spin Fluctuations in Nearly Isotropic Ferromagnet CdCr 1998-12-15 Evolution Programs Evolved 1996-09-30 Give-N-Take - A Balanced Code Placement Framework 1997-01-27 Partitions Of Unity In Sobolev Spaces Over Infinite Dimensional State Spaces 1999-04-21 Signatures for a Network Protocol Stack: A Systems Application of Standard ML 1995-11-14 Multigrid for Finite Differences 1997-03-05 Gerhard W. Zumbusch On a Gap Phenomenon for Isoperimetrically Constrained Variational Problems 1995-10-27 Victor J. Mizel Scalable Performance Environments for Parallel Systems 1998-01-06 Toward a Methodology of Optimizing Programs for High-Performance Computers 1993-04-12 Rudolf Eigenmann Standardization of Event Traces Considered Harmful or Is an Implementation of Object-Independent Event Trace Monitoring and Analysis Systems Possible? 1994-10-12 Bernd Mohr The Design and Implementation of the Inversion File System 1994-02-18 Design, Implementation and Experiences of the OMEGA End-Point Architecture 1997-10-01 Characterizations of Embeddable 3&#x00D7;3 Stochastic Matrices with a Negative Eigenvalue 1995-06-18 VLGD, Algorithm for Drawing Very Large Graphs 1998-09-22 Robust Recovery of Camera Rotation from Three Frames 1997-06-05 Determining the Idle Time of a Tiling: New Results 1997-05-07 Nonmonotonic Consequences In Default Domain Theory 1998-04-01 On the Construction of Wavelets on a Bounded Interval 1999-03-05 Efficient Support of Parallel Sparse Computation for Array Intrinsic Functions of Fortran 90 1998-03-07 A Security Analysis of the NTP Protocol 1998-01-12 Matt Bishop Learning Characteristic Decision Trees 1998-08-31 Paul Davidsson Neural Network-Based Face Detection 1995-12-20 Modula-P - a Language for Parallel Programming and the Implementation of its Channel Communication 1997-09-24 Jurgen Vollmer Density Estimation on Delaunay Triangulations 1998-02-10 Entropy Of ATM Traffic Streams: A Tool For Estimating QoS Parameters 1998-06-04 Raymond Russell A Better Approximation Ratio for the Minimum k-edge-connected Spanning Subgraph 1997-08-11 Cristina G. Fernandes Spectrophotom&#x00E9;trie de la Croix d'Einstein dans le Proche Infrarouge 1970-01-01 Dans Le Proche Infrarouge Similarity and Affinity Hashing: A Computer Vision Solution to the Inverse Problem of Linear Fractals 1996-02-24 Ocean tides from harmonic&response analysis on TOPEX/POSEIDON altimetry 1996-09-13 Tomographie Des Oc&#x00E9;ans 1996-12-06 Modeling Caching Effect in Continuous Media Server 1999-05-12 Estimating Physical Invariant Measures and Space Averages of Dynamical Systems Indicators 1997-10-30 Gary Froyl Exceptional Planes of Percolation 1998-02-25 An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure 1995-02-28 The Unconstrained KPI Equation 1998-03-16 Dipole-Quadrupole Degeneracy in Kinematic Dynamo Models With Homogeneous Conductivity 1999-03-31 Architecture Of An Extensible Parallel Debugger 1995-12-19 A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification 1997-10-14 pi-calculus in CoInductive Type Theory 1998-10-09 Contract Types for Satisficing Task Allocation: I Theoretical Results 1998-01-17 Tuomas W. Sandholm Fast and Reliable Algorithms for Boundary Evaluation of Low-Degree Sculptured Solids 1998-08-24 Some Scaling Effects in Concurrent Algorithms 1995-06-15 Alan Heirich Maximum Likelihood Texture Classification And Bayesian Texture Segmentation Using Discrete Wavelet Frames 1998-05-12 Visualizing Information on a Sphere 1997-09-09 The Invariant Density of a Chaotic Dynamical System With Small Noise 1998-06-08 Instantiation Semantics of Temporal Defaults 1994-10-05 Learning in an Inconsistent World: Rule Selection in AQ18 1999-04-29 Hybridizing Genetic Algorithms with Sharing Scheme and Evolution Strategies for Designing Approximate Fuzzy Rule-Based Systems 1998-08-31 F. Herrera MINERVA: A Second-Generation MuseumTour-Guide Robot 1999-03-04 Biological Metaphors and the Design of Modular Artificial Neural Networks 1994-06-28 Some Results on Knots and Links in all Dimensions 1997-05-23 Eiji Ogasa A Learning Procedure for a Fuzzy System: Application to Obstacle Avoidance 1997-05-15 Internet Billing Service Design And Prototype Implementation 1994-05-03 Bitstream Neurons for Graph Colouring 1996-11-28 Behavioral Prediction of Time Petri Nets with Applications to Distributed Simulation 1998-11-11 J Orn W. Janneck External Habit and the Cyclicality of Expected Stock Returns 1999-02-18 Weak Paley-Wiener Property For Completely Solvable Lie Groups 1998-12-28 Gayatri Garimella Coroutining and the Construction of Terminating Logic Programs 1995-09-07 Lee Naish Stability Radii of Positive Discrete-Time Systems 1997-06-06 Code Scheduling for Multiple Instruction Stream Architectures 1995-01-20 Visualization of Geometric Algorithms 1997-12-08 Modeling Telecommunication Systems with Self-Similar Data Traffic 1998-09-09 Pierre M. Fiorini Graphical Methods for Data with Multiple Levels of Nesting 1997-07-28 Recurrence Relations for the Connection Coefficients of Orthogonal Polynomials of a Discrete Variable on the Lattice ... 1998-10-26 Approximate Reasoning for Contextual Databases 1997-03-11 Fabio Massacci Filled band Fermi systems 1995-07-11 V. Mastropietro Analytical Modeling Of Robotic Tape Libraries Using Stochastic Automata 1997-01-21 The Design and Experimental Analysis of Algorithms for Temporal Reasoning 1997-01-22 Adding Flexibility to a Remote Memory Pager 1995-11-06 Multiprocessor Streams for Plan 9 1991-07-16 David Leo Presotto Multipliers And Representations Of Noncommutative Disc Algebras 1997-10-30 Alvaro Arias The Role of Critical Mass in Multi-Robot Adaptive Task Division 1999-01-16 Maja J Matari'c Channel Carrying: A Novel Handoff Scheme for Mobile Cellular Networks 1996-12-18 An Experiment in the Design of Software Agents 1996-05-14 TR3 Software: A TechnicalReport 1970-01-01 R. W. Mccoll A Model-based Vision System for Manipulator Position Sensing 1998-10-02 Vision and Force Driven Sensorimotor Primitives for Robotic Assembly Skills 1998-12-17 An upper bound on the number of linear relations identified from noisy data by the Frisch scheme 1997-09-18 Keith G. Woodgate On Properties of Monoids That Are Modular for Free Products and for Certain Free Products With Amalgamated Submonoids 1997-11-11 Friedrich Otto Multi-class Support Vector Machines 1999-02-22 Teaching Powerful Ideas With Autonomous Mobile Robots 1999-01-12 The Complexity of Matrix Rank and Feasible Systems of Linear Equations 1998-10-05 Gibbs-Markov Models 1995-09-11 John D. Lafferty Probabilistic Proof Systems A Survey 1970-01-01 Oded Goldreich Adaptive Execution in Complex Dynamic Worlds 1995-06-28 Modeling Scattered Function Data On Curved Surfaces 1998-07-22 Diffraction in Charged Current DIS 1999-02-12 On a Matched Pair of Lie Groups for the . . . 1996-10-14 Andrzej Sitarz Quantifying Schema Evolution 1995-02-09 The Solution of Linear Semidefinite Ill-Posed Problems By the Conjugate Residual Method 1999-02-05 R. Plato A Simple Superscalar Architecture 1970-01-01 Unknown 1999-01-12 Developing a Delay Differential Equation Solver 1994-10-13 C. A. H. Paul A Practical Soft Type System for Scheme 1995-05-04 Unsupervised Texture Segmentation on the Basis of Scale Space Features 1996-06-13 On the Torus Quantization of Two Anyons with Coulomb Interaction in a Magnetic Field 1997-04-26 Luca Salasnich Induced fermion number, phase-shift flip, and the axial anomaly in the Aharonov-Bohm potential 1997-04-26 Alexander Moroz Programming CHIP for the IJCAI-95 Robot Competition 1997-08-15 Goal Oriented Equational Theorem Proving Using Team Work 1998-07-09 Efficient Oblivious Parallel Sorting on the MasPar MP-1 1996-10-15 An Efficient Implementation of the Patterson-Holdsworth Auditory Filter Bank 1997-12-03 Malcolm Slaney Measuring the Impact of Event Dispatching and Concurrency Models on Web Server Performance Over High-speed Networks 1997-08-08 Coordinated Display of Structured Presentations Using a Multi-Disk Architecture 1998-12-19 MIME Multipurpose Internet Mail Extensions Part One: 1993-12-23 Indicators for the Assessment of Congestion in TCP over ATM-UBR 1997-10-01 Parallel Processing Experiments on an SCI-based Workstation Cluster 1996-05-06 Timepatch: A Novel Technique for the Parallel Simulation of Multiprocessor Caches 1995-08-11 Uniform Full-Information Image Matching Using Complex Conjugate Wavelet Pyramids 1996-06-03 He-ping Pan Reflections With Respect To Submanifolds In Contact Geometry 1995-11-21 Two Gluon Exchange Model Predictions for Double Pomeron Jet Production 1998-05-15 Jon Pumplin Authentication Method with Impersonal Token Cards 1994-12-29 Minimal Continuous State-Space Parametrizations 1996-04-24 On the Semantics of Multistage Interconnection Networks 1998-10-30 Anna Gambin The Beehive Cluster System 1997-09-04 Technical Issues In Modelling The European Train Control System etcs Using Coloured Petri Nets And The Design/cpn Tools 1998-06-18 Orderings for ILU Preconditioning of Nonsymmetric Problems 1998-04-08 Geometric Construction Of The Levi-Civita Parallelism 1998-12-18 Large-Scale Parallel Geophysical Algorithms in Java: A Feasibility Study 1999-01-05 Structure and Performance of Decision Support Algorithms on Active Disks 1998-11-21 Proof of Dejean's conjecture for alphabets with 5, 6, 7, 8, 9, 10 and 11 letters 1998-09-25 Greco De Calcul Formel Daniel J. Scales 1997-07-17 Applying Techniques to Skeletons 1970-01-01 A Negotiating Agents Model for the Provision of Flexible Telephony Services 1998-10-07 Using Logging and Asynchronous Checkpointing to Implement Recoverable Distributed Shared Memory 1998-09-14 Message Passing Visualization with ATEMPT 1996-07-30 Hector - A Hierarchically Structured Shared Memory Multiprocessor 1995-11-22 How to Divide a Territory? A New Simple Differential Formalism for Optimization of Set Functions 1998-04-01 Minimal Typings in Atomic Subtyping 1998-07-24 Jakob Rehof NILE's Distributed Computing Site Architecture 1997-02-17 Proactive RSA 1998-11-04 Global Interconnect Sizing and Spacing with Consideration of Coupling Capacitance 1997-11-16 Acquiring Contextual Information for Term Disambiguation 1998-06-05 Efficient Algorithms for Computing the Nearest Polynomial with Constrained Roots 1998-09-14 The Temporal Logic of Actions 1994-07-15 Leslie Lamport Automatically Constructing a Dictionary for Information Extraction Tasks 1998-04-07 Ellen Riloff C++ Wrappers for Efficient, Portable, and Flexible Network Programming 1998-09-12 Douglas C. Schmidt Ray Tracing with Meta-Hierarchies 1996-07-25 James Arvo Discrete Morphological Size Distributions and Densities: Estimation Techniques and Applications 1996-12-15 Practical Development of Internet Prolog Applications using a Java Front End 1997-06-05 Parallel Implementations of Perceptual Grouping Tasks on Distributed Memory Machines 1998-12-20 Metastability And Typical Exit Paths In Stochastic Dynamics 1997-04-26 Constraint Logic Programming for Scheduling and Planning 1997-11-13 Class-Based N-Gram Models ofNatural Language 1997-02-24 Robert L. Mercer Adding Fast Interrupts to Superscalar Processors 1970-01-01 Dana S. Henry Towards Scalable Compositional Analysis 1996-01-23 CLAUDIEN: The Clausal Discovery Engine User's Guide 3.0 1970-01-01 Nambu Mechanics, N-Ary Operations and Their Quantization 1997-04-28 A Transputer Implementation of the ADAM Neural Network. 1998-06-22 Extending GENET for Non-Binary Constraint Satisfaction Problems 1997-07-03 An ON&#x00B2; log N Multilevel Backprojection Method 1999-02-09 Zero-forcing Electrical Filters for Direct Detection Optical Systems 1997-01-21 Performance Models Based On Petri Nets 1995-11-03 On the Application of Competitive Neural Networks to Time-Varying Clustering Problems 1998-07-21 On the design of a 55 GHz Si/SiGe HBT frequency doubler operating close to f_max 1997-08-29 Predicated Array Data-Flow Analysis for Run-Time Parallelization 1999-01-20 Authoring and Transcription Tools for Speech-Based Hypermedia Systems 1995-04-13 Barry Arons MTCP: Scalable TCP-like Congestion Control for Reliable Multicast 1998-12-23 An eXtensible Web Modeling Framework 1999-03-24 Noetherian Centralizing Hopf Algebra Extensions And Finite Morphisms Of Quantum Groups 1998-11-19 Edward S. Letzter Clustering and Geo-Spatial Mapping of Search Engine Results 1998-07-29 On The Issue Of Rank Estimation In Subspace Tracking: The Na-Csvd Solution 1999-03-16 Benoit Champagne Analysing, Profiling and Optimising Orthogonal Persistence for Java 1998-11-25 Automatic Synthesis of Interfaces between Incompatible Protocols 1998-08-27 Generalized Quantification as Substructural Logic 1995-10-16 Cv 1998-12-17 Justin A. Boyan CVS: The Complex Substitution Algorithm for View Synchronization 1999-02-08 Sample Contributed Book 1996-02-01 Guaranteed Quality of Service for Efficient Multiparty Communication 1998-04-14 Exploiting Context to Identify Lexical Atoms - A Statistical View of Linguistic Context 1997-02-15 Chengxiang Zhai Applying Efficient Techniques for Finding Nearest Neighbours in GIS Applications 1995-04-27 An Improvement of McMillan's Unfolding Algorithm 1997-03-20 Composing the user interface with Haggis 1997-11-25 Some Issues in the Automatic Classification of U.S. Patents 1998-05-14 Leah S. Larkey Towards Leakage Containment 1992-04-23 On the Stability of Sequential Updates and Downdates 1998-09-05 G. W. Stewart Second-Order Sufficient Optimality Conditions for Local and Global Nonlinear Programming 1995-12-05 Arnold Neumaier Undoing Actions in Collaborative Work 1993-06-09 On the Automatic Parallelization of the Perfect Benchmarks 1996-08-21 Neural Learning of Chaotic Dynamics: The Error Propagation Algorithm 1997-11-13 A Resolution-Based Decision Procedure for Extensions of K4 1999-03-15 Affectedness Responsibility 1996-08-28 Monitoring of the Einstein Cross with the Nordic Optical Telescope 1998-05-25 Distribution Independent Programming and the Saxpy 1970-01-01 Steve Tto Floating Point Cordic 1995-03-07 Quantum Strategies 1999-03-23 David A. Meyer The Effect of Small Scale Magnetic Fields on the Galactic Dynamo 1996-03-13 Benjamin D. G. Chandran November 30, 1996 1996-11-30 Reconstruction from Zernike and Orthogonal Fourier-Mellon Moments 1997-03-25 Patrick C Hew Efficient Simulation of Coherence Transfer Pathway Selection by Phase Cycling and Pulsed Field Gradients in NMR 1998-09-24 Alexej Jerschow Pipelined Multi-Queue Management in a VLSI ATM Switch Chip with Credit-Based Flow-Control 1997-08-19 Learning Internal Representations in an Attractor Neural Network With Analogue Neurons 1998-03-11 Daniel J. Amit Iterative Refinement and LAPACK 1995-10-18 A Note On Substructuring Preconditioning For Nonconforming Finite Element Approximations Of Second Order Elliptic Problems 1995-05-04 Serguei Maliassov Automatic Acquisition of Terminological Resources for Information Extraction Applications 1998-11-03 Byron Georgantopoulos How to Coordinate Internet Applications based on Mobile Agents 1998-11-13 Trading Packet Headers for Packet Processing 1996-02-07 Antihomogeneous Conjugacy Operators in Convex Analysis 1995-10-27 Alexander Rubinov The Berkeley 1996-05-29 On-Line Blind Signal Extraction Methods Exploiting A Priori Knowledge Of The Previously Extracted Signals 1998-12-02 The Interactive Multi-directional Information Displaying System 1970-01-01 Haruo Kimoto How Many Squares Can a String Contain? 1997-09-29 Aviezri S. Fraenkel An Algorithm For Locating Non-OverlappingRegions Of Maximum Alignment Score 1970-01-01 Real-Time Vergence and Binocular Gaze Control 1997-06-03 Face Processing: Human Perception and Principal Components Analysis 1995-08-01 Programming Methodologies in GCLA 1995-02-07 Olof Torgersson SDRP Route Construction 1995-02-28 Separating Complexity Classes using Autoreducibility 1998-10-22 On Construction of k-wise Independent Random Variables 1997-10-22 On the Convergence of Stochastic Iterative Dynamic Programming Algorithms 1997-04-16 Large Deviation Principles For The Hopfield Model And The Kac-Hopfield Model 1994-04-25 Anton Bovier A Neighborhood Map of Competing One Step Predictors for Piecewise Segmentation and Identification of Time Series 1997-09-29 Using Unicode with MIME 1994-11-15 Towards a Theory of Narrative for Interactive Fiction 1996-05-15 Commuting-Flow Symmetries and Common Solutions to Differential Equations With Common Symmetries 1997-04-26 Paola Morando The CMUnited-98 Champion Small-Robot Team 1998-12-01 ParaStation - Efficient Parallel Computing by Clustering Workstations Design and Evaluation 1998-03-11 A Linear Constraint Satisfaction Approach to Cost-Based Abduction 1996-02-16 Eugene Santos Generating F0 Contours For Speech Synthesis Using The Tilt Intonation Theory 1997-06-27 Higher-Order Functional-Logic Programming: A Systematic Development 1997-09-29 Christian Prehofer Wavelet Accelerated Regularization Methods for Hyperthermia Treatment Planning 1998-12-15 Peter Maass Hyperon-Production with Anti-protons at LEAR 1997-07-09 Jurgen Franz The Importance of Solving Formal Language Problems in Knowledge-Based Process Supervision and Control Extended Abstract 1997-11-25 Linear Group-Wise Successive Interference Cancellation in CDMA 1998-12-10 Analysis of a Finite Buffer Queue with Heterogeneous Markov Modulated Arrival Processes: A Study of Traffic Burstiness and Priority Packet Discarding 1998-04-15 Probabilistic Winner-Take-All Segmentation of Images with Application to Ship Detection 1998-10-08 Implied Costs in Wireless Networks 1998-11-18 Augment or Push? A computational study of Bipartite Matching and Unit Capacity Flow Algorithms 1998-03-31 Learning to Classify Sensor Data 1995-08-15 Stefanos Manganaris A Game Theoretic Approach to Hybrid System Design 1998-02-02 Measuring the Curvature of the Universe with Gravitational Lensing 1998-12-18 Rich Brown, John Hayes, Trevor Mudge 1997-08-09 Randomly Selected Spreading Sequences for Coded CDMA 1996-07-10 Schema Level Join Processing in Web Databases 1998-12-15 A Decision Tree System for Finding Genes in DNA 1997-11-06 ASPEN: High-Performance Hardware Support for Distributed Shared-Memory 1995-05-04 Kenneth Mark Maxham Bounded Degree Spanning Trees Extended abstract 1997-05-30 Chiral Symmetry And The Reaction ... 1998-05-25 Markov Chain Algorithms for Planar Lattice Structures Extended Abtract 1999-04-27 Partial Differential Inclusions Governing Feedback Controls 1995-10-27 Jean-pierre Aubin Protein Motif Discovery from Positive Examples by Minimal Multiple Generalization over Regular Patterns 1997-04-16 A 10 kb/s Video Coding Technique Based on Spatial Transformation 1996-11-08 Thermal simulation of the ATLAS SCT barrel module 27/5/97 1998-06-08 Travel in Immersive Virtual Environments: An Evaluation of Viewpoint Motion Control Techniques 1997-06-24 Spectrum of Cosmological Perturbations from Multiple-Stage Inflation 1998-06-25 M. Sakellariadou On The Stabilizability Of Multiple Integrators By Means Of Bounded Feedback Controls 1998-07-30 The Stable Manifold Theorem For Nonlinear Stochastic Systems With Memory I: Existence Of The Semiflow. 1999-04-20 Parallelizing Applications into Smart Memories 1998-11-11 Dealing in Real Time with A Priori Unknown Environment on Autonomous Underwater Vehicles AUVs 1996-09-05 A. Santos On The International Radio Astronomy Observatory On Plateau Suffa 1997-03-03 Design Principles for Intelligent Environments 1998-03-06 Michael H. Coen Dynamic Registration Correction in Video-Based Augmented Reality Systems 1998-12-19 Implementation Aspects and Applications of a Spelling Correction Algorithm 1998-05-07 Balancing Domain Decomposition: Theory And Performance In Two And Three Dimensions 1993-12-31 Jan Mandel Motion Regularization for Model-based Head Tracking 1998-02-25 Approaching Real-Time Processing for Fractal Compression 1997-02-24 Specifying and Developing ParameterisedPrograms: CFI Language Design Study Notes 1996-05-14 Solving Large-Scale Linear Programs by Interior-Point Methods Under the MATLAB Environment 1996-03-07 Yin Zhang Fixture Foolproofing for Polygonal Parts 1998-12-19 An Analysis of Message Sequence Charts 1992-07-15 Magnetic Lensing near Ultramagnetized Neutron Stars 1999-01-16 Linear Regression Clusters: Model Choice And Identifiability 1999-02-05 Christian Hennig Incremental Controller Networks: a comparative study between two self-organising non-linear controllers 1998-09-24 Parallel Implementation of Functional Languages Using Small Processes 1996-12-16 John Glauert A Pre-Processing Technique Based on the Wavelet Transform for Linear Autoassociators with Applications to Face Recognition 1998-02-06 Camera Viewpoint Control for the Automatic Reconstruction of 3D Objects 1996-05-22 Exotic Non-Supersymmetric Gauge Dynamics from Supersymmetric QCD 1998-05-13 Detailed Design of Avionics Control Software 1998-09-18 Convergence Properties of the Nelder-Mead Simplex Algorithm in Low Dimensions 1997-10-31 Search Algorithms in Type Theory 1997-09-30 Information Geometric Measurements of Generalisation 1970-01-01 The Design and Implementation of the Reactor: An Object-Oriented Framework for Event Demultiplexing Part 2 of 2 1997-03-06 Douglas C. Schmidt Learning Useful Horn Approximations 1997-11-21 Plasticity in cortical neuron properties: Modeling the effects of an NMDA antagonist and a GABA agonist during visual deprivation 1998-07-17 Active Interfaces for Useful Software Tools 1996-07-24 Coarse-Grained Parallel Algorithms for Multi-Dimensional Wavelet Transforms 1970-01-01 Application of Inductive Logic Programming to Discover Rules Governing the Three-Dimensional Topology of Protein Structure 1998-07-15 Monitoring of Distributed Memory Multicomputer Programs 1997-01-27 Analysis of Synfire Chains 1997-03-04 A Comparison of Two Systems for Down Link Communication with Antenna Arrays at the Base 1995-10-11 Scalable Data Parallel Implementations of Object Recognition using Geometric Hashing 1999-01-17 Towards a Better Understanding of Memory-Based Reasoning Systems 1998-08-31 Mixed-Depth Representations for Natural Language Text 1995-08-31 Part-Whole Relations in Object-Centered Systems: An Overview 1998-04-27 Time-Efficient Docking of Similar Flexible Ligands 1995-11-27 Search in a Learnable Spoken Language Parser 1997-02-06 Design Of Output Feedback Controllers For Robust Stability And Optimal Performance Of Discrete-Time Systems 1996-11-13 Constant Information Density in Zoomable Interfaces 1998-01-26 Parallel Inductive Logic Programming 1998-06-18 CARTHAGENE: Constructing and Joining Maximum Likelihood Genetic Maps 1997-03-28 Data Structures for Mobile Data 1997-01-09 Tagging Speech Repairs 1994-04-14 The Impact of Reuse Library Interoperability upon a Software Component Industry 1994-12-27 James W. Moore A Classification Scheme of 3D Interaction Techniques 1995-04-12 OSI IS-IS Intra-domain Routing Protocol 1994-06-03 Distributed Tuple Spaces in Highly Parallel Systems 1996-10-02 Arithmetic-Geometric Means Revisited 1997-03-14 An algebraic approach to discrete dilations. Application to discrete wavelet transforms 1998-12-08 Numerical Simulation Of Utility Boilers With Advanced Combustion Technologies 1997-07-11 The Wake-Sleep Algorithm for Unsupervised Neural Networks 1995-04-04 Self-Adaptation and Global Convergence: A Counter-Example 1999-02-02 Gunter Rudolph On The Geometrical Properties Of The Chromospheric Network 1997-11-12 Complexity of the Single Vehicle Scheduling Problem on Graphs 1997-03-27 Toshihide Ibaraki Kernel Support for Live Digital Audio and Video 1993-05-25 Paraexponentials, Muckenhoupt Weights, And Resolvents Of Paraproducts 1997-04-03 Logic, Modeling, and Programming 1997-07-31 Applying ILP-based Techniques to Natural Language Information Extraction: An Experiment in Relational Learning 1997-07-01 Domain Expertise vs. Validation Expertise: Essentials of Validating Intelligent Systems 1998-03-09 Klaus P. Jantke Activity-Dependent Conductances in Model and Biological Neurons 1998-08-07 Learning Curves, Model Selection and Complexity of Neural Networks 1995-11-03 The Pendubot: A Mechatronic System for Control Research and Education 1996-01-30 Exchanging Multimedia Mail Message in MIME 1998-07-08 A Syntactic Theory of Dynamic Binding 1998-07-17 Luc Moreau Additive Nonparametric Regression for Time Series 1996-07-10 On-Demand Delivery of Software in Mobile Environments 1999-03-23 Migratory Applications 1995-09-20 Fast Vlsi Binary Addition 1997-10-28 Keshab K. Parhi Of Simple Boundary, We Need Only Examine the 1996-09-16 On Simple and Secure Key Distribution 1993-12-08 Authentication in Distributed Systems: Theory and Practice 1994-05-26 The Tropical Semiring and the Theory of Automata 1998-03-15 Equivalence Is In The Eye Of The Beholder 1997-10-07 Program Analysis and Visualisation: Towards A Declarative Approach 1996-10-30 Types for Trees 1998-01-06 Reasoning about Discontinuities in the Event Calculus 1998-12-09 New Directions in Software Safety: CAUSAL MODELLING as an Aid to INTEGRATION 1994-08-19 On the Homotopy Type of the Spectrum Representing Elliptic Cohomology 1995-12-22 Andrew Baker It's Your Choice - On the Design and Implementation of a Flexible Metalevel Architecture 1997-01-23 Estimating Learning Performance Using Hints 1998-08-18 COLLAGEN: When Agents Collaborate with People 1997-04-22 Charles Rich Candace L Association With Focus Or Association With Presupposition? 1996-07-19 Mats Rooth Command Forces CFOR Program Status Report 1996-06-17 Reducing Escalation-Related Costs in WFMSs 1998-07-31 Learning Gene Linkage to Efficiently Solve Problems of Bounded Difficulty Using Genetic Algorithms 1997-07-24 Georges Raif Harik Concurrent Algorithms and Data Types Animation over the Internet 1998-05-17 Scalable Reliable Multicast Using Multiple Multicast Groups 1996-12-02 Guarded Fragments of First-Order Logic: A Perspective for New Description Logics? 1998-05-28 Chaining Multiple-Alignment Fragments in Sub-Quadratic Time 1995-07-06 Stochastic Analysis of Periodic Timed Data Flow Diagrams with Markovian Transition Times 1997-04-25 Jurgen Symanzik Building A Bridge Between Pointer Aliases And Program Dependences 1999-03-28 John L. Ross Type-Safe Session 1997-07-22 Nat Pryce FPGA-Based Sonar Processing 1998-01-15 On-the-fly Analysis of Distributed Computations 1995-11-30 Quadratically integrable geodesic flows on the torus and on the Klein bottle 1998-03-27 Vladimir Matveev Journal of Graph Algorithms and Applications 1998-05-19 Problems In Low-Dimensional Topology 1997-05-23 Frank Quinn Transport Layer Security: How much does it really cost? 1998-12-30 Reasoning about Action in First-Order Logic 1995-10-25 Charles Elkan A Tale of Three Cities: Perceptual Charting for Analyzing Destination Images 1999-01-27 Numerical Simulations of Stellar Winds 1998-12-08 J. P. Goedbloed PKCS #10: Certification Request Syntax Standard 1970-01-01 Improving Efficiency of Symbolic Model Checking for State-Based System Requirements 1998-01-24 Evolving non-trivial behavior on autonomous robots: Adaptation is more powerful than decomposition and integration 1999-04-13 Stefano Nolfi Leveraging CorporateSoftware Development 1999-03-23 User Interfaces 1998-12-13 Abduction and Change 1995-10-10 Jorge Lobo ... Design of General Multirate Sampled-Data Control Systems 1997-07-22 Fast Evolution Strategies 1999-02-08 Efficient Scaling-Invariant Checking of Timed Bisimulation 1997-10-29 Facilitating the Maintenance of Safety-Critical Systems 1994-09-13 Automatic Cross-Language Information Retrieval using Latent Semantic Indexing 1996-12-04 Atomic Decomposition by Basis Pursuit 1997-11-19 Time processes of time Petri nets 1996-09-16 Tuomas Aura The Hardness of Approximate Optima in Lattices, Codes, and Systems of Linear Equations 1996-05-26 An Architecture for Action, Emotion, and Social Behavior 1995-06-16 Combination and Integration of Declarative Approaches Full Paper and System Demonstration 1996-10-09 Equational Theories of CCS with Message Passing 1992-12-07 Zero-Accident Agile Manufacturing Systems Through Subsumptive Fault-Tolerance 1997-05-21 The Viewpoints FAQ 1999-02-08 Reconstruction of 3D Left Ventricular Motion from Planar Tagged Cardiac MR Images: an Estimation Theoretic Approach 1996-05-09 Oscillatory Associative Memories 1996-05-28 Lifschitz Tail in a Magnetic Field: The Nonclassical Regime 1997-12-11 Automated Performance Prediction of Message-Passing Parallel Programs 1995-10-05 The Differential Infectivity and Staged Progression Models for the Transmission of HIV 1998-11-05 Laboratory for Computer Science 1995-04-03 Olin Shivers Automatic Termination Analysis of Logic Programs with Detailed Experimental Results 1997-03-30 A Class library for Building Fortran 90 and 1994-09-10 A Uniform Proof Procedure for Classical and Non-Classical Logics 1996-11-20 Type II Codes, Even Unimodular Lattices and Invariant Rings 1999-03-02 Ramified Coverings Of S^2 With One Degenerate Branching Point And Enumeration Of Edge-Ordered Graphs 1997-08-11 Distal Supervised Learning for Solving Inverse Kinematic Problems 1996-02-16 A Survey on Interval Routing 1999-01-06 Cyril Gavoille Migratory Applications 1995-11-06 A Case Study of Natural Language Customisation: The Practical Effects of World Knowledge 1997-08-12 New Efficient Algorithms for Computing Effective Capacitance 1998-04-17 A Divide And Conquer Algorithm For Exact Simulation Of General Gaussian Markov Random Field 1999-03-12 Programming Language Support for Digitized Images or, The Monsters in the Closet 1970-01-01 The Uniform Memory Hierarchy Model of Computation 1994-12-12 M-RPC: A Remote Procedure Call Service for Mobile Clients 1995-04-24 Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic 1997-12-19 The application of goal-oriented heuristics for proving equational theorems via the unfailing Knuth-Bendix completion procedure A case study: lattice ordered groups 1998-07-06 Matthias Fuchs Integrating Qualitative and Quantitative Shape Recovery 1994-11-15 Parallel Gradient Distribution in Unconstrained Optimization 1999-02-10 O. L. Mangasarian Bottom-Up Computation of the Fitting Model for General Deductive Databases 1998-04-22 Selection of Nonparametric Methods for Monotonic Trend Detection in Water Quality 1997-11-24 Infrared-Regulated String Theory And Loop Corrections To Coupling Constants 1998-12-21 A q-analogue of the Wronskian and a second solution of the Hahn-Exton q-Bessel difference equation 1996-01-24 Symmetry Algebras and Normal Forms of Third Order Ordinary Differential Equations 1997-11-05 Global/Local Subtyping for a Distributed pi-calculus 1997-08-22 Peter Sewell Bandwidth Allocation Strategies For Wireless Atm Networks Using Predictive Reservation 1999-02-06 Applying Genetic Algorithms To Real-World Problems 1998-11-04 Emanuel Falkenauer A non-Gaussian fixed point for 1997-05-14 Mean Field Theory for Sigmoid Belief Networks 1996-06-14 Internet Research: Comments on Formulating the Problem 1998-02-03 Justifying Finite Resources for Adversaries in Automated Analysis of Authentication Protocols 1999-02-12 Scott D. Stoller Engineering Design Methodology as a Design Grammar and Case-Based Reasoning 1997-12-12 Even and Odd Pairs in Comparability and in P_4-Comparability Graphs 1998-12-22 Logics and Type Systems 1996-12-20 Constructing Virtual Worlds Using Dense Stereo 1998-02-12 Generic and Fully Automatic Content Based Image Retrieval Architecture 1997-08-07 The Ray Tracing Kernel 1996-02-21 Computer System for Quantitative Analysis of ICH from CT Head Images 1997-09-30 Ground Reducibility and Automata with Disequality Constraints 1995-10-09 Composing Type-Checked Programs Extended Abstract 1995-04-03 The Graph Clustering Problem has a Perfect Zero-Knowledge Proof 1999-02-08 Oded Goldreich Playing Tetris on Meshes and Multi-Dimensional SHEARSORT 1997-08-26 Some Primitive Mechanisms of Spatial Attention 1970-01-01 Zenon Pylyshyn Crystalization On A Sphere: Parallel Simulation On A Transputer Network 1994-11-04 Simultaneous Messages vs. Communication 1995-03-09 Peter Kimmel Hybridized Crossover-Based Search Techniques for Program Discovery 1995-06-07 Symmetric Monoidal Categories Model All Connective Spectra 1995-07-08 Logical Formalization of Concurrent Actions for Multi-Agent Systems 1997-12-17 Virtual Partitioning by Dynamic Priorities: Fair and Efficient Resource-Sharing by Several Services 1999-04-21 Debasis Mitra Markov Random Fields Can Bridge Levels of Abstraction 1996-06-11 Correctness Criteria and Concurrency Control for Real-Time Systems: A Survey 1996-04-05 An Integrated Compilation and Performance Analysis Environment for Data Parallel Programs 1998-01-06 Scalable Coordination in Sensor Networks 1970-01-01 The Dynamics of on-Line Principal Component Analysis 1997-12-01 Algorithm 808: ARfit - A Matlab package for the estimation of parameters and eigenmodes of multivariate autoregressive models 1997-09-06 Tapio Schneider Open Distributed Processing-Reference Model - Part 2: Foundations International Standard 10746-2 Itu-T Recommendation X.902 1998-11-10 Itu-t Recommendation X Asymptotic Expansions for Functionals of Dilation of Point Processes 1994-05-17 Riemann Problems With A Kink 1996-09-15 The Database Challenge: Retain Declarativity Generalise Programmability 1970-01-01 Design of a Genetic-Fuzzy System for Planning Crab Gaits of a Six-legged Robot 1998-12-04 A Unified Framework for Constructing Multimodal Experiments and Applications 1997-12-09 Markov Random Field Models for Pose Estimation in Object Recognition 1999-03-22 Blocks of Fully Graded Rings 1998-02-01 Ant Colonies for the QAP 1999-03-17 Optimization Of Phoneme-Based Vq Codebook In A Dhmm System 1997-03-14 Communication Using Chaos 1996-03-05 Ernest Lim Parametrization of Hankel-norm approximants of time-varying systems 1994-11-28 Cooperative Information Systems: property extraction, global scheme synthesis and WWW access 1998-11-03 Domenico Ursino Using Mobility to Make Transparent Distribution Practical 1999-02-10 Don't Stop the BIBOP: Flexible and Efficient Storage Management for Dynamically-Typed Languages 1994-05-06 Defeasible Reasoning With Structured Information 1996-10-25 Anthony Hunter Chebyshev's Bias 1996-04-12 Near-BPS-Saturated Rotating Electrically Charged Black Holes as String States 1998-05-14 Mirjam Cvetic Multibody Final States of 1995-10-30 Represented Roland Werding Computational Investigation of Drag Reduction on a Rotationally Oscillating Cylinder 1997-09-08 Proof-Checking a Data Link Protocol 1994-10-12 L. Helmink Notices Of The 1999-03-10 Bifurcation to Spiral Waves in Reaction-Diffusion Systems 1997-08-11 Arnd Scheel Alleviating Priority Inversion and Non-determinism in Real-time CORBA ORB Core Architectures 1999-01-15 A Variable Depth Search Algorithm with Branching Search for the Generalized Assignment Problem 1998-09-19 Efficient Algorithms for Parsing the DOP Model? - A Reply to Joshua Goodman 1998-03-19 Signal Detection and Classification 1996-08-30 Alfred Hero Modular Specifications with Supernormal Defaults 1994-10-27 Stefan Brass Tight Bounds on Quantum Searching 1998-06-30 Inferring Finite Transducers 1999-02-07 A Method for Identifying Topic-changing Articles in Discussion-type Newsgroups within the Intelligent Network News Reader HISHO 1970-01-01 An Extended Weak Isomorphism for Model Simplification extended 1997-06-16 Graham Clark Detecting and Resolving Inconsistency and Redundancy in Conditional Constraint Satisfaction Problems 1998-10-13 The Design of a Pretty-printing Library 1995-05-04 Effective Bayesian Inference for Stochastic Programs 1997-09-12 RTP: A Transport Protocol for Real-Time Applications 1996-07-31 Expected Impulse Rewards in Markov Regenerative Stochastic Petri Nets 1996-06-13 Experiments in Digital Video for Workstations 1994-02-25 Neural Networks and Evolutionary Algorithms for the prediction of thermodynamic properties for chemical engineering 1999-01-25 Martin Mandischer A Log-Structured Persistent Store 1995-11-16 Comparative Results on Using Inductive Logic Programming for Corpus-based Parser Construction 1996-08-28 Supporting Network Management through Declaratively Specified Data Visualizations 1993-07-14 Specification and Verification of Constraint-Based Dynamic Systems 1994-04-11 Pairing Correlations in Transport Theories 1997-01-31 R. Fauser Morphological Processing and Computer-Assisted Language Learning 1998-09-16 Space Efficient Parallel Buddy Memory Management 1970-01-01 Logical Information Modeling of Web-accessible Heterogeneous Digital Assets 1998-07-08 A Note on Mixed Graphs and Directed Splitting Off 1994-12-12 Steffen Enni Providing Multidatabase Access - an Association Approach 1998-08-31 Deriving DAP Implementations of Numerical Mathematical Software through Automated Program Transformation 1970-01-01 Structural Design Optimization and Comparative Analysis of a New High-Performance Robot Arm via Finite Element Analysis 1997-12-12 A Temporal Database with Data Dependencies: a Key to Computer Integrated Manufacturing 1996-07-05 Partial Intersection Type Assignment in Applicative Term Rewriting Systems 1997-08-14 Steffen Van Bakel Blowup for Systems of Conservation Laws 1998-05-04 Helge Kristian Jenssen Experience with EMERALD to Date 1999-02-22 A Fast Multilayer General Area Router for MCM Designs 1995-07-09 Expressiveness Revisited 1998-09-29 Constrained Discounted Dynamic Programming 1995-10-10 Tensor-Krylov Methods for Large Sparse Systems of Nonlinear Equations 1994-03-30 A Truly Concurrent View of Linda Interprocess Communication 1997-02-06 Compact High Speed Cmos Crossbar For Switching Fabrics 1996-12-22 Automatic Word Categorization: An Information-theoretic Approach 1995-06-08 Resonant Decay Near an Accumulation Point 1997-04-26 Christopher King Curvature Tensors In Dimension Four Which Do Not Belong To Any Curvature Homogeneous Space 1995-11-23 TRON: Process-Specific File Protection for the UNIX Operating System 1994-11-14 Operational Reduction Models for Functional Programming Languages 1997-06-27 Kristoffer Høgsbro Rose Completeness In Continuity Spaces 1995-11-27 Scalable Access within the Context of Digital Libraries 1998-08-18 Reflections on "Tempest and Typhoon: User-level Shared Memory" 1998-05-27 Issues in Designing a Transport Protocol for Audio and Video . . . 1993-11-08 Internet-draft H. Schulzrinne Modularity and Reusability in Attribute Grammars 1994-09-02 Performance of TCP over Multi-Hop ATM Networks: A Comparative Study of ATM-Layer Congestion Control Schemes 1995-10-28 Deadlock Avoidance Policies for Automated Manufacturing Cells 1995-02-13 Correlation-Based Visual Tracking enhanced by Affine Motion Description 1996-10-09 A Comparative analysis of Partial Order Planning and Task Reduction Planning 1998-09-16 Subbarao Kambhampati A Biased View of Perceivers - Commentary on `Observer theory, Bayes theory, and psychophysics,' by B. Bennett, et al. 1995-10-26 Managing Time and Uncertainty 1994-07-01 Beat Wuthrich Resonances for a Contact Wave in Systems of Conservation Laws 1998-05-25 Information Capacity of Binary Weights Associative Memories 1995-02-06 End-to-End Rate Control in ABR 1996-09-18 Another Look At Swedish Business Cycles, 1861-1988 1970-01-01 Joakim Skalin A Visual Query Language for Temporal Databases 1995-09-20 A Program for Simulation of QCD-Cascades Implementing the Colour Dipole Model Revision 8 1995-11-30 Leif Lonnblad Constructing Distributed Groupware Systems 1998-09-14 Resource Bounded Randomness and Weakly Complete Problems 1998-10-14 Report on the Maidanak site testing campaign in July 1998 Maidanak-98 1999-03-03 The Nonapproximability ofOBDD Minimization 1998-01-19 Detlef Sieling Ensemble Learning and Evidence Maximization 1995-05-23 David J. C. Mackay Virtual Data Space - A Universal Load Balancing Scheme 1997-06-13 Thomas Decker A Stable Integer Relation Algorithm 1998-02-23 Neuromorphic Analog VLSI Sensors for 2-D Direction of Motion 1999-03-30 On Two-Tape Real-Time Computation and Queues 1997-12-08 Paul M. B. Vitanyi Preservation of Strong Normalisation for Explicit Substitution 1999-01-28 Roel Bloo Software reuse from an external memory: The cognitive issues of support tools 1998-11-23 Fabrice Retkowsky Testing Adaptive Software During Class Evolution 1995-10-09 Biological Metaphors for Evolving Artificial Cognitive Systems 1997-06-23 Sharpening Bounds On The Time Between Events In Maximally Parallel Systems 1993-09-08 George S. Avrunin Object Replication in Arjuna 1995-03-10 A Hybrid Newton Method For Solving Box Constrained Variational Inequality Problems Via The D-Gap Function 1970-01-01 Computational Geometry Column 31 1997-06-02 Linear Quadratic Optimal Control Of A Wave Equation With Boundary Damping And Pointwise Control Input 1998-12-19 Partial Match Queries in Relaxed Multidimensional Search Trees 1998-10-20 An Available Copy Protocol Tolerating Network Partitions 1999-03-17 Jehan-franc Ois Paris Efficient Routing in Interconnection Networks Based on Cycle Prefix Graphs 1996-04-30 An Experiment on Automatic Semantic Tagging of Dictionary Senses. 1996-06-06 German Rigau An alternation-based Japanese valency dictionary architecture 1999-02-12 Timothy Baldwin Parallel Evaluation of Functional Programs: The G-machine approach 1995-10-04 Thomas Johnsson Using A Functional Notation To Specify Abstract Simulation Models 1996-07-26 Buffering of Intermediate Results in Dataflow Diagrams 1998-04-08 Extended Selection Mechanisms in Genetic Algorithms 1994-09-06 Multimodal Reasoning about Physical Systems 1999-02-26 F3.733e+05>The VLDB Journal 1997 6: 152--172<F4.492e+05> 1997-06-27 Sharad Mehrotra<f. E Testing Oz Facilities in Distributed Problem Solving 1996-04-30 European Organization For Nuclear Research 1996-12-11 Nonholonomic Motion Planning: Steering Using Sinusoids 1999-02-11 Asymptotic Formulae for the Lattice Point Enumerator 1997-07-14 Safety for Bisimulation in Monadic Second-Order Logic 1996-11-05 Marco Hollenberg An NC Algorithm for Minimum Cuts 1998-12-22 On the Smoothness of the Horizons of Multi-Black Hole Solutions 1998-05-23 Dean L. Welch Konrad Schmudgen 1. 1995-08-21 Konrad Schmudgen Structure Sharing Unification of Disjunctive Feature Descriptions 1992-08-07 Johannes Matiasek FORTRAN Subroutines for Approximate Solution of Sparse Quadratic Assignment Problems using GRASP 1997-04-11 Reusing Learned Policies Between Similar Problems 1998-03-02 What is TyCO? 1998-02-26 Faculdade De Ciencias On the Power of Quantum Computation 1995-08-28 Daniel R. Simon Applications of GPR Technology to Humanitarian Demining Operations in Cambodia: Some Lessons Learned 1998-11-09 A Performance Comparison of TCP/IP and MPI on FDDI, Fast Ethernet, and Ethernet 1997-09-19 Wireless Data Network Infrastructure at Carnegie Mellon University 1996-12-22 Fraud Detection And Management In Mobile Telecommunications Networks 1997-04-24 A Comprehensive Approach to Planning and Scheduling 1999-04-02 Run-Time Optimizations of Join Queries for Distributed Databases over the Internet 1998-07-30 Fuzzy Expert System for Edema Segmentation 1998-02-21 A Real-Time Interval Logic and Its Decision Procedure 1995-08-18 Negative Definability in Modal Logic 1997-12-11 Marco Hollenberg On Meta-Programming in CLPR 1992-12-10 Threshold Partitioning of Sparse Matrices and Applications to Markov Chains 1996-03-22 On The Unique Solvability Of Some Nonlinear Stochastic PDEs 1998-09-02 Hyek Yoo CMA-FSE Error Surface Examples 1997-07-30 A Highly Available, Scalable ITV System 1998-06-22 An Overview of Evolutionary Computation 1998-12-27 Xin Yao TRIPTYCH: A New FPGA Architecture 1994-12-06 Getting a GRIP DRAFT 1994-03-10 Kevin Hammond An Integrated Framework For Devising Optimum Generation Schedules 1996-08-30 Using Markov Chains to Analyze GAFOs 1970-01-01 A General Reduction Method for Periodic Solutions in Conservative and Reversible Systems 1998-09-24 Vision and Navigation in Man-made Environments: Looking for syrup in all the right places 1997-01-11 Robust Stochastic Parsing Using the Inside-Outside Algorithm 1994-12-09 Performance of a Genetic Algorithm with Variable Local Search Range Relative to Frequency of the Environmental Changes 1998-04-02 The Propositionalµ-Calculus and its Use in Model Checking 1993-02-08 Jeffery Zucker Convergence Properties of Minimization Algorithms for Convex Constraints Using a Structured Trust Region 1997-09-30 Proving Java Type Soundness 1997-12-16 Don Syme A Comparison Of Input Shaping And Time-Optimal Flexible-Body Control 1997-03-06 Least-Squares Temporal Difference Learning 1998-11-05 Justin A. Boyan Polylogarithmic Parallel Parsing of Pk Languages 1995-06-19 Swipp - A Multicomputer Framework For Bulk Synchronous Parallel Computing 1996-11-29 Yngvar Lundh Stable and Unstable Singularities in the Unforced Hele-Shaw Cell 1996-06-27 On The Statistical Independence of Algebras of Observables 1997-04-26 The History Heuristic and Alpha-Beta Search Enhancements in Practice 1998-08-19 Jonathan Schaeffer On Adaptation in Analogy: Tests of Pragmatic-importance and Adaptibility in Analogical Problem Solving 1996-04-22 Mark T. Keane Using Machine Learning for Defect Detection 1997-07-29 On the Approximability of Numerical Taxonomy Fitting Distances by Tree Metrics 1995-09-19 Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming Methods 1996-08-14 Language and Information Content 1996-04-12 R. C. Puetter PVMPI: An Integration of the PVM and MPI Systems 1996-05-28 Hypergraph Partitioning With Fixed Vertices 1999-04-16 On Minimally Imperfect Graphs with Circular Symmetry 1997-09-09 WAMM Wide Area Metacomputer Manager: User's Guide 1995-07-06 Heterogeneous Domain Decomposition for Singularly Perturbed Elliptic Boundary Value Problems 1995-06-21 Polynomial-Time Nested Loop Fusion With Full Parallelism 1997-03-19 Renormalization Group Pathologies and the Definition of Gibbs States 1997-04-28 Decimatable Boltzmann Machines for Diagnosis: Efficient Learning and Inference 1998-08-27 Stefan M. Ruger ATA Packet Interface for CD-ROMs Small Form Factor Committee Specification of 1996-03-04 Lifestreams: Organizing your Electronic Life 1995-09-12 Automatic Array Alignment in Parallel Matlab Scripts 1998-09-21 Artificial Neural Network Methods in Quantum Mechanics 1997-12-17 A Space-Efficient Fast Prime Number Sieve 1997-05-30 A Non--Linear Integration Process for the Selection of Visual Information 1994-10-26 Data Cylinders in Medical Image Fusion 1997-10-27 Executing Multithreaded Programs Efficiently 1996-03-27 Efficient Algorithms for Optimal Video Transmission 1996-10-11 A Theorem Prover for ASTRAL 1998-02-23 Paul Z. Kolano Galactic Fountains as Magnetic Pumps 1997-12-11 A Multi-Commodity Market Approach to Power Load Management 1998-07-15 Structural Issues in Active Rule Systems 1998-01-23 A Genetic Programming Application in Virtual Reality 1998-05-20 A Computationally Efficient Algorithm for Finding Sparse Codes 1996-07-18 Spreading Of A Pulse Travelling In Random Media 1998-12-02 A Linear Spine Calculus 1999-03-23 A Formal Approach to Reusing More General Components 1994-09-13 Coding for Computing 1998-06-25 Making Specification Design More Accountable 1996-11-26 Tight Performance Bounds on Greedy Policies Based on Imperfect Value Functions 1997-07-04 Guiding or Hiding: Explorations into the Effects of Learning on the Rate of Evolution. 1997-07-09 Giles Mayley Factoring via Strong Lattice Reduction Algorithms 1998-02-23 A Quick Overview of Larch/C++ 1994-06-16 Issues in the Design and Implementation of User-Level DMA 1997-06-23 Lexical Stratification and Ranking Invariance in Constraint-based Grammars* 1998-07-10 Partial Order Models for Quantitative Extensions of LOTOS 1997-07-28 Computing the Discrepancy with Applications to Supersampling Patterns 1997-12-09 Off-line Cursive Handwriting Recognition using Recurrent Neural Networks 1995-03-15 The Hardware/Software Balancing Act for Information Retrieval on Symmetric Multiprocessors 1998-04-21 Integrated Brownian motion, conditioned to be positive 1998-03-05 View-Invariant Regions and Mobile Robot Self-Localization 1999-01-08 A Neural Network Applied to Economic Time Series 1995-10-13 Design of a Replay Debugger for a Large Cellular Array Processor 1997-10-20 An Implementation Of A General-Purpose Parallel Sorting Algorithm 1995-02-14 Intergrid Transfer Operators and Multilevel Preconditioners for Nonconforming Discretizations 1997-10-03 Peter Oswald Object/Relational Access Layers - A Roadmap, Missing Links andMore Patterns 1998-06-25 Wolfgang Keller Generation of High Quality Tests for Robustly Untestable Path Delay Faults 1996-02-13 Hsi-chuan Chen Learning from History for Behavior-Based Mobile Robots in Non-Stationary Conditions 1998-02-03 Structural Breaks and Model Selection With Marginal Likelihoods 1999-02-03 Software Reliability Update 1997-07-29 A Motion Planning Algorithm for Convex Polyhedra in Contact under Translation and Rotation 1997-08-27 Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems 1998-05-11 QMF Filter Bank Design Using Nonlinear Optimization 1997-06-18 Ting Yu Optimality of Monotonic Policies for Two-Action Markovian Decision Processes, with Applications to Control of Queues with Delayed Information 1995-11-30 Product Unit Learning 1996-03-15 Emilio Luque 1998-04-25 Memory Scalability in Constraint-Based Multimedia Style Sheet Systems 1997-11-18 Multistage Interference Cancellation with Decision Directed Channel Estimation in Multirate DS/CDMA on a Mobile Radio Channel 1997-08-13 Dynamics of Min-Max Functions 1997-09-12 Planning for Information Gathering: A Tutorial Survey 1997-06-09 A Framework For Incremental Knowledge Base Update From Additional Data Coverages 1998-05-11 CBR for Dynamic Situation Assessment in an Agent-Oriented Setting 1998-03-16 Covering By Complements Of Subspaces 1995-12-20 A Comparative Study of Several Color Models for Color Image Invariant Retrieval 1997-01-07 Medium Knowledge-Based Macro-Segmentation of Video into Sequences 1996-04-12 GESIA: Uncertainty-Based Reasoning for a Generic Expert System Intelligent User Interface 1996-11-20 Adaptive Tracking of Linear Time-Variant Systems by Extended RLS Algorithms 1997-07-23 Integer Sorting Algorithms for Coarse-Grained Parallel Machines 1997-10-21 Reconstruction of 3D Planes with an Image-Enhanced Estimator 1995-03-01 The Practice of Logical Frameworks 1996-01-29 Frank Pfenning On the Limits of Program Parallelism and its Smoothability 1995-08-14 Representing Logic Program Schemata in lambdaProlog 1997-02-28 Timothy S. Gegg-harrison Data Structures and Amortized Complexity in a Functional Setting 1994-01-06 Berry Schoenmakers Cross-Correlation Radial Velocity Measurements of Chromospherically Active Binaries 1996-05-31 Efficiently Planning Compliant Motion In The Plane 1994-09-07 Co-Evolving Soccer Softbot Team Coordination with Genetic Programming 1997-06-11 A p-adic Study of the Partial Sums of the Harmonic Series 1996-08-21 David W. Boyd Genetic Algorithms for Graph Partitioning and Incremental Graph Partitioning 1997-01-27 Interactive Modular Programming in Scheme 1992-07-13 Sho-huan Simon Tung A Polynomial-time Query language for Hierarchilly Structured Document Databases 1997-04-01 Spectrum Estimation by Wavelet Thresholding of Multitaper Estimators 1997-02-03 On Transversals in Minimal Imperfect Graphs 1997-04-24 Predicting Worst Case Execution Times on a Pipelined RISC Processor 1995-03-22 Evaluating Response Strategies in a Web-Based Spoken Dialogue Agent 1998-09-08 Building a Scalable Geo-Spatial DBMS: Technology, Implementation, and Evaluation 1997-11-17 A Layer Architecture for the Integration of Rules, Inheritance, and Constraints 1997-07-28 BCH Convolutional Codes 1998-12-11 Implementation Of 1998-06-26 Why Cryptosystems Fail 1997-02-08 Ross Anderson Numerical Stationary Solutions for a Viscous Burgers' Equation 1999-01-20 Multimedia Authoring Tools: State of the Art and Research Challenges 1995-09-08 Large Scale Velocity Fields Present and Future: Making Sense of the 1998-05-14 Hume A. Feldmanz Convergence In Hausdorff Metric Preserves Geometric Shape 1996-07-08 Hardy approximation to L p functions on subsets of the circle 1994-11-09 Numerical Methods for Dynamic Simulation of Thermal Energy Systems: A Case Study 1997-08-31 C. Klein-robbenhaar A search for distant X-ray galaxy clusters 1997-01-31 Continuous Modelling of Real Time and Hybrid Systems: From Concepts to Tools 1998-05-20 Video and Audio: Organization and Retrieval in the WWW 1997-09-24 A Note on the Characterization of the Global Maxima of a Tangentially Convex Function Over a Convex Set 1998-06-17 Yuri S. Ledyaev Machine Learning Lecture notes 13 1970-01-01 Adaptative Decision-Making by Systems of Cooperating Intelligent Agents Organized on Rough Mereological Principles 1995-05-23 A Security Architecture for Tenet Scheme 2 1996-02-12 Sigma<... 1997-09-23 Concurrency and Recovery for Index Trees 1998-08-11 Large Combinatorial Optimization Problems: a Methodology for Hybrid Models and Solutions 1998-06-01 Carmen Gervet Max Horn SAT and Directed Hypergraphs: algorithmic enhancements and easy cases Extended Abstract 1970-01-01 Effectiveness of Weighted Searching in an Operational IR Environment 1999-04-13 Test Data Sets for Evaluating Data Visualization Techniques 1995-07-04 Implementation and Performance Evaluation of CORBA-Based Centralized Workflow Schedulers 1995-11-23 Xuzhong Wang Tridiagonally Separable Programs: Unconstrained Duals and Applications in Convex Spline Approximation 1970-01-01 Jochen W. Schmidt The star formation law in disk galaxies - a Bayesian view 1997-08-27 A Stochastic Approximation Algorithm with Markov Chain Monte-Carlo Method for Incomplete Data Estimation Problems 1998-11-30 Temporal Deductive Databases 1992-10-14 Marianne Baudinet Evidence for Non-Random Hydrophobicity Structures in Protein Chains 1997-01-13 Segmentation of Range Data into Rigid Subsets using Surface Patches 1998-08-03 Two Observations on Probabilistic Primality Testing 1998-07-15 Genetic Programming Approach to the Construction of a Neural Network for Control of a Walking Robot 1998-12-19 Stability Radii and Spectral Value Sets for Real Matrix Perturbations 1997-07-11 Efficient Cryptographic Schemes Provably as Secure as Subset Sum 1995-09-29 The Theorem of Weierstrass 1999-05-13 SYNTH User's Manual 1999-04-14 Exploring Unknown Environments with Obstacles 1999-03-07 Views of Objects and Rules 1995-03-07 Rodney Topor How Many Parameters Are Required to Describe a Star? Principal Component Analysis as an Astrophysical Tool 1997-11-04 Formalising System Structure 1996-01-18 Axioms for Weak Bialgebras 1998-07-14 Florian Nill Bayesian Classifiers are Large Margin Hyperplanes in a Hilbert Space 1999-04-06 Optimal Phase Conflict Removal for Layout of Dark Field Alternating Phase Shifting Masks 1999-04-16 Parallel Simulation of an Active Vision Model 1995-07-05 Evaluation Of A Stack Decoder On A Japanese Newspaper Dictation Task 1998-08-24 Algorithms and VLSI Architectures for Pattern Recognition Based on the Gabor Wavelets 1998-11-27 Asymmetric Conservative Processes With Random Rates 1996-12-06 High Spatial Resolution Observations of a Sunspot with an `Orphan Penumbra' 1997-08-08 Evolving Visual Routines 1994-05-26 CURE: An Efficient Clustering Algorithm for Large Databases 1998-04-04 Dictionary Learning: Performance Through Consistency 1995-08-22 Tilo Sloboda Infinite Cyclic Impartial Games 1998-05-11 Aviezri S. Fraenkel Verifying Systems with Replicated Components in Mur phi 1998-05-15 The "Ether--world" and Elementary Particles 1998-03-03 F. Jegerlehner Performance Improvement and Limitations in Extremum Seeking Control 1999-01-31 Miroslav Krsti C Motion Estimation For Region-Based Video Coding 1996-01-25 Structured and Unstructured Induction with EDAGs 1995-11-20 Brian R Gaines Uniform Representation of Recursively Enumerable Sets with Simultaneous Rigid E-Unification 1996-06-04 Margus Veanes Hierarchical Graphs for Graph Grammars Extended Abstract 1994-06-26 Backpropagation for Neural DNF- and CNF-Networks 1996-09-23 Finite State Machines from Feature Grammars 1995-12-18 Alan W Black Formalizing English 1996-05-03 Stuart C. Shapiro Modeling Linguistic Segment And Turn Boundaries For N-Best Rescoring Of Spontaneous Speech 1970-01-01 Andreas Stolcke MAGMA: An Agent-Based Virtual Market for Electronic Commerce 1997-04-14 The Multilingual design of the EuroWordNet Database 1997-07-03 Power Reduction Techniques for a Spread Spectrum Based Correlator 1997-09-10 Test Beam Results From A Very Forward Liquid Scintillator Calorimeter For The Lhc 1994-12-09 Experimental Constraints on the Pairing State of the Cuprate Superconductors: an Emerging Consensus 1999-03-28 Caching in with Multigrid Algorithms: Problems in Two Dimensions 1995-11-14 Craig C. Douglas Idle and Inter-arrival Time Statistics in Public Access Mobile Radio PAMR Systems 1998-11-19 Exact Arithmetic in Q with Applications in Celestial Mechanics 1995-02-03 Spinal Cord Simulation for Chronic Pain Management: Towards an Expert System 1997-08-13 Kenneth M. Al'o Multiscale Difference Equation Signal Modeling And Analysis Techniques 1995-11-06 A Maximum Entropy Approach to Adaptive Statistical Language Modeling 1996-07-01 Ronald Rosenfeld Excitatory-Inhibitory Network in the Visual Cortex: Psychophysical Evidence 1997-10-08 Incremental Process Support for Code Reengineering: An Update Experience Report 1996-02-15 ----- June 5, 1997-06-17 Hyperspeech: Navigating in Speech-Only Hypermedia 1995-10-24 Barry Arons An Approach to Object-Orientation in Action Systems 1997-12-19 3DSLCCA - A Highly Scalable Very Low Bit Rate Software-Only Wavelet Video Codec 1998-09-20 Integrating Multimedia Streams into a Distributed Computing System 1996-03-01 Bj Murphy Protective Interface Specifications 1996-10-14 A Question Of Stark 1997-10-08 Brett A. Tangedal Convergence Rates of Posterior Distributions 1998-07-28 A Comparison of Multithreading Implementations 1998-09-09 Scott Taylor Collective Analysis and Transformation of Loop Clusters 1995-09-05 Guang Gao Ergodic Theory and Connections with Analysis and Probability 1997-12-14 Roger L. Jones Visual Authentication and Identification 1998-07-13 Moni Naor Modeling and Rendering Architecture from Photographs: A hybrid geometry- and image-based approach 1996-06-19 Parametric Methods for Direction Finding in Hydroacoustic Applications 1995-11-13 Bo Goransson Generalization Bounds and Learning Rates for Regularized Principal Manifolds 1998-10-27 Investment Learning with hierarchical PSOM 1995-06-20 Helge Ritter Input-to-State Stabilization of Linear Systems with Positive Outputs 1998-03-15 E. D. Sontag Real-Time Active Visual Surveillance by Integrating Peripheral Motion Detection with Foveated Tracking 1997-09-24 Genetic Operators Based on Constraint Repair 1997-07-01 Mario Girsch Emacspeak - Direct Speech Access 1996-03-08 Modeling and Analysis of Hybrid Systems: A New Approach Integrating Petri Nets and Differential Equations 1997-08-05 From Early to Late Formal Requirements: a Process-Control Case Study 1998-02-11 Applications of a spatial extension to CIELAB 1997-01-17 X-m. Zhang Optimal Strategies for Spinning and Blocking 1993-01-04 A Protocol-Centric Approach to On-The-Fly Race Detection 1998-08-24 Speeding Up Constraint Propagation By Redundant Modeling 1997-07-03 Constraints to Stop Higher-Order Deforestation 1996-12-05 H. Seidl On the Geometry of Contact Formation Cells for Systems of Polygons 1996-10-16 Tabled Evaluation with Delaying for General Logic Programs 1996-09-10 Perturbation Analysis and Malliavin Calculus 1997-09-02 L. Decreusefond Address Sequence Generation for Data-Parallel Programs Using Integer Lattices 1998-05-09 TETRIS - A simulation tool for TETRA systems 1996-03-19 Kinetic Roughening in Deposition with Suppressed Screening Peter Nielaba 1997-04-26 Applied Chiral Perturbation Theory 1998-05-15 Putting the "Genetics" back into Genetic Algorithms Reconsidering the Role of Crossover in Hybrid Operators 1998-11-06 Orthogonal Arrays of Strength 3 1996-06-14 Donald L. Kreher Using Expectation to Guide Processing . . . 1998-01-03 Shumeet Baluja Comparison Of Partitioning Techniques For Two-Level Iterative Solvers On Large, Sparse Markov Chains 1998-04-29 New Classes of Lower Bounds for Bin Packing Problems 1997-11-29 Dynamic Hedging Portfolios For Derivative Securities In The Presence Of Large Transaction Costs 1997-02-09 Marco Avellaneda A Machine Vision Based Surveillance System for California Roads 1995-04-25 Discovering Auxiliary Information for Incremental Computation 1995-12-29 Eigen Mode Solver for Microwave Transmission Lines 1998-03-18 Writing a Client-Server Application in C++ 1993-01-11 IaDEA: A Development Environment Architecture for Building Generic Intelligent User Interface Agents 1998-10-23 Runtime Compilation Techniques for Data Partitioning and Communication Schedule Reuse 1993-09-14 Macroscopic and Microscopic Computation in an Artificial Chemistry 1998-10-05 ZEUS-2D: A Radiation Magnetohydrodynamics Code for Astrophysical Flows in Two Space Dimensions: I. The Hydrodynamic Algorithms and Tests 1994-05-03 Feynman Integrals for a Class of Exponentially Growing Potentials 1997-05-16 Parametric and Non-parametric Unsupervised Cluster Analysis 1996-09-30 Stephen J. Roberts Gamma Gamma 1998-06-05 Automating the Construction of Authority Files in Digital Libraries: A Case Study 1997-07-24 The Pendulum Instruction Set Architecture PISA 1996-05-05 Carlin Vieri Learning by Canonical Smooth Estimation, Part I: Simultaneous Estimation 1998-08-24 Visual Detection ofHuman Hand Motion 1995-08-11 Exploiting Dependencies to Enhance View Self-Maintainability 1996-12-03 Nam Huyn Polynomial Solvability of Cost-Based Abduction 1996-10-23 A Gradient Descent Method for a Neural Fractal Memory 1998-07-22 A Multicast Congestion Control Mechanism Using Representatives 1997-05-03 Complexity Analysis of Real-Time Reinforcement Learning Applied to Finding Shortest Paths in Deterministic Domains 1993-10-14 Large-scale Topic Detection And Language Model Adaptation 1997-06-18 Multitaper Testing of Spectral Lines and the Detection of the Solar Rotation Frequency and its Harmonics 1998-05-27 Solar Rotation Frequency Mass Extinction in a Simple Mathematical Biological Model 1970-01-01 O-Minimal Hybrid Systems 1998-06-29 Partitioning Meshes with Lines and Planes 1996-01-10 Multiple Key Distribution Maintaining User Anonymity via Broadcast Channels 1998-07-15 Decompilation: The Enumeration of Types and Grammars 1998-12-27 Completely Bounded Isomorphisms Of OperatorAlgebras 1997-02-10 Alvaro Arias Fast Nonlinear Filtering via Galerkin's Method 1997-03-31 Proof nets, Garbage, and Computations 1996-12-20 Analogical Proof Planning 1998-09-06 Toby Walsh Higgs Production: 1999-02-08 Development Of Radiation Tolerant Gb/s Optical Links For The Front-End Readout Of The Atlas Liquid Argon Calorimeter 1998-11-18 On the Convergence of Multi-Type Branching Processes With Varying Environments 1997-05-19 Owen Dafydd Jones Optimal trigonometric preconditioners for nonsymmetric Toeplitz systems 1998-03-30 What Your Computer Really Needs to Know, You Learned in Kindergarten 1994-11-08 Edmund H. Durfee Theta Delta Delta Delta Theta 1998-12-15 A New Method For The Generation Of Strong Prime Numbers 1995-06-08 Yannick Saouter Evolution of Object Systems or How to tackle the Slippage Problem in object systems 1999-04-13 Walter Bischofberger An Experimental Study on Transitive Closure Representations 1996-12-12 Esko Nuutila Anisotropic Space-Times in Homogeneous String Cosmology 1998-05-23 Implications of MIME for Internet Mail Gateways 1992-06-09 Group N. Borenstein Knowledge Creation with Evolutionary Computation Extended Abstract 1996-09-25 Galaxy Evolution, Deep Galaxy Counts and the Near-IR Cosmic Infrared Background. 1998-09-16 A. Kashlinsky Ambivalent Data Structures For Dynamic 2-Edge-Connectivity And k Smallest Spanning Trees 1999-03-18 Greg N. Frederickson Efficient and Flexible Cosimulation Environment for DSP Applications 1998-07-24 Multi-Stream Video Fusion Using Local Principal Components Analysis 1998-07-10 A Numerical Method for Modeling Time-Dependent Viscoelastic Fluid Flow 1995-11-08 Fredrik Olsson Sparse Jacobian Estimation And Factorization On A Multiprocessor 1991-11-23 Paul E. Plassmann Parallel Algorithms for Higher-Dimensional Convex Hulls 1999-03-11 Actor Based Parallel VHDL Simulation Using Time Warp 1997-01-09 On Using Network Memory to Improve the Performance of Transaction-Based Systems 1998-05-25 Combined Optimisation Of Baseforms And Subword Models For An HNN Based Speech Recogniser 1997-01-29 Trym Holter Stack-Based Typed Assembly Language 1998-12-02 Smart Links and Efficient Reconstruction for Wavelet Radiosity 1998-07-31 How to Use the Cross Ratio to Compute Projective Invariants From Two Images? 1994-05-04 Patrick Gros Inventories and Asymmetric Business Cycle Fluctuations in the UK: A Structural Approach 1970-01-01 Marianne Sensier Towards a Theory of Narrative for Interactive Fiction 1996-05-15 Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation 1995-07-18 Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures 1997-02-20 Lorenzo Alvisi Minimum Message Length Segmentation 1998-02-04 An Environment For Parallel Scientific Computing: The Spade System And Its Functional Units 1992-02-10 Karsten M. Decker Backward Error Recovery in. . . 1995-01-27 InterPay: Managing Multiple Payment Mechanisms in Digital Libraries 1995-03-21 Parallel Studies of the Invariant Subspace Decomposition Approach for Banded Symmetric Matrices 1997-09-02 Virtual Shared Memory: A Survey of Techniques and Systems 1994-10-25 Sanjay Raina The Specification and Implementation of `Commercial' Security Requirements Including Dynamic Segregation of Duties 1998-06-26 Simon N. Foley Partitioning-Based Clustering for Web Document Categorization 1998-12-29 A Multiple SIMD Approach to Radar Signal Processing 1997-10-20 A Boundary Value Problem Approach to the Optimization of Chemical Processes Described by DAE Models 1997-04-29 Predictive Analog to Digital Conversion of Doppler Ultrasound Signals 1997-05-20 Performance Evaluation of SDL/MSC-specified Systems 1996-05-03 Winfried Dulz Heuristic-Driven "Treasure Hunt" with Linear Performance Guarantees 1996-10-15 Observing Air Showers from Cosmic Superluminal Particles 1997-12-26 Luis Gonzalez-mestres A Memory System Supporting the Efficient SIMD Computation of the Two Dimensional DWT 1998-07-03 Extending NC and RNC Algorithms 1995-09-22 Nimrod Megiddo How to Determine the Expressive Power of Constraints 1998-11-10 A Measurement Study of an LRMP-based Webcasting Application 1997-05-16 XiPi Theta GammaDelta 1996-09-17 Un d&#x00E9;veloppement en 1/N intrins&#x00E8;que en physique des solides 1998-10-30 Using the Strategy Design Pattern to Compose Reliable Distributed Protocols 1997-08-06 Semiclassical Asymptotics of Orthogonal Polynomials, Riemann-Hilbert Problem, and Universality in the Matrix Model 1997-04-26 Reaction and Reflection in Tetris 1997-01-17 A Field Study of Requirements Engineering Practices in Information Systems Development 1995-04-11 Nazim Madhavji Towards Integrated Systems for Symbolic Algebra and Formal Constructive Mathematics 1998-05-13 An Integrable Flow on a Family of Hilbert Grassmannians 1996-08-26 Rodrigo P. Gomez Efficient Timestamp Input and Output 1996-04-14 Tractability of Tensor Product Linear Operators 1998-05-04 TCP/ATM Experiences in the MAGIC Testbed 1997-10-10 Computing Downwards Accumulations on Trees Quickly 1995-03-23 Jeremy Gibbons Existence of Oscillatory Solutions for Functional Differential Equations of Neutral Type 1995-05-25 Angle, Distance, Shape, and their Relationship to Projective Relations 1995-05-12 Architectural Perspectives on QoS Management in Distributed Multimedia Systems 1995-10-03 DDD - A Free Graphical Front-End for UNIX Debuggers 1995-08-07 MeshView: A Tool for Exploring 3D Unstructured Tetrahedral Meshes 1996-08-24 A Ferris-Mangasarian Technique Applied to Linear Least Squares Problems 1998-05-07 Literature Review 1 1999-01-12 dSPACE Software Environment in the ARO-DURIP Facility 1997-03-07 Xenofon D. Koutsoukos Switch-Aided Flooding Operations in ATM Networks 1997-06-09 Load Balancing in the L_p Norm 1996-03-25 The Architecture, Operation and Design of the Queue Management Block in the ATLAS I ATM Switch 1997-10-11 Interaction Regions with Increased Low-Betas for a 2-TeV Muon Collider 1970-01-01 Field Strength Prediction by Ray-Tracing for Adaptive Base Station Positioning in Mobile Communication Networks 1998-11-10 Recent Advances in Redshift Surveys of the Local Universe 1996-10-03 Higher-Order Logic Programming 1995-02-21 Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin 1970-01-01 Flow equations and the strong-coupling expansion for the Hubbard model 1998-06-15 Jurgen Stein The Scalar Glueball and the 1997-12-01 Apprenticeship: A Metaphor for Human Skill Acquisition 1997-05-16 Afzal Upal Co-Design of a Fault-Tolerant Communication Protocol - A Case Study 1997-09-17 Tragic loss or good riddance? The impending demise of traditional scholarly journals 1998-02-03 Andrew M. Odlyzko On a Visibility Representation for Graphs in Three Dimensions 1970-01-01 Synchronization Specifications for Agents with Net-based Behaviour Description 1996-11-21 Tom Holvoet Realizing Transaction Models: An Extensible Approach using ECA Rules 1995-11-21 High-Order Context Modeling and Embedded Conditional Entropy Coding of Wavelet Coefficients for Image Compression 1998-01-19 Xiaolin Wu On a Metric Generalization of Ramsey's Theorem 1996-01-16 Paul Erdos Moduli Spaces Of Decomposable Morphisms Of Sheaves And Quotients By Non-Reductive Groups 1998-05-13 Unther Trautmann Detection of Complex Coincidences Using Coupled Learning Rules 1999-03-10 Slicing in the Presence of Pointer Variables 1995-02-15 Automatic Checking of Instruction Specifications 1998-02-28 Norman Ramsey Maintaining Spatial Data Sets in Distributed-Memory Machines 1998-11-30 An Efficient and Accurate Structured Light Algorithm forDirect Measurement of Cylindrical Surface Parameters 1997-04-21 Semantic Construction from Parse Forests 1996-07-03 Michael Schiehlen Programming within VR 1996-07-19 C. M. Holt Acceleration and Stabilization Properties of Minimal Residual Smoothing Technique in Multigrid 1998-03-10 Jun Zhang Dynamics, Computation, and the "Edge of Chaos": A Re-Examination 1994-09-28 Beyond Process Modelling Languages: A Metamodelling Approach to Customizable Concepts and Enactability in MetaCASE 1997-05-07 Minna Koskinen Working Within the FGCS National Project 1993-02-28 Combining Fuzzy Logic and Neural Networks to Control an Autonomous Vehicle 1997-12-22 A New Data Structure For Fast Approximate Matching 1996-05-18 Andrew P. Berman Differential Fault Analysis of Secret Key Cryptosystems 1999-01-15 The relative distances to the Virgo, Fornax, and Coma clusters of galaxies through the 1997-03-29 Hidden Software Capabilities 1996-05-24 A language for Modular Information-passing Agents 1997-06-12 HPF and MPI Implementation of the NAS Parallel Benchmarks Supported by Integrated Program Engineering Tools 1996-11-22 Proximal Smoothness and the 1995-10-27 On Invariants of Sets of Points or Line Segments Under Projection 1996-08-09 Offine Dictionary-Based Compression 1999-01-11 A Minimax Principle For The Eigenvalues In Spectral Gaps 1997-09-15 Marcel Griesemer Efficiently Searching the Optimal Design Space 1999-01-04 Multirate Haptic Simulation Achieved by Coupling Finite Element Meshes through Norton Equivalents 1998-10-26 An executable subset of VDM-SL, in an SA/RT framework 1994-08-24 Design, Analysis and Implementation of an Adder by Ladner and Fisher 1996-08-12 Manfred Minimair Lexicality and Argument Structure 1996-04-15 Joan Bresnan Push-Up Scheduling: Optimal Polynomial-Time ResourceConstrained Scheduling for Multi-Dimensional Applications 1997-03-19 Kernel-Level Threads for Dynamic, Hard Real-Time Environments 1998-02-25 SnowNet: An Agent-Based Internet Tourist Information Service 1996-11-07 On the Level Sum of Two Convex Functions on Banach Spaces 1996-06-24 M. Volle Oriented Singular Homology 1995-04-07 The Complexity of Learning Minor Closed Graph Classes 1999-01-22 A Practical Monte Carlo Implementation of Bayesian Learning 1999-03-01 Carl Edward Rasmussen Virtual Reality: A New User Interface Paradigm for Industrial Applications 1999-02-02 What are the Quantum Mechanical Lyapunov Exponents? 1970-01-01 Kernel Support for the Wisconsin Wind Tunnel 1998-08-10 Simulation Techniques for Fire Detection Systems Chances and Limits 1996-04-24 Alexander Fischer Modeling of Emergent Ecology for Simulating Adaptive Behavior of Universal Computer Programs 1998-07-22 The Database Approach to Knowledge Representation 1998-08-13 Jeffrey D. Ullman Massive Stochastic Testing of SQL 1970-01-01 Don Slutz Teamwork in Cyberspace: Using TEAMCORE to Make Agents Team-Ready 1998-11-19 Foliations of surfaces and semi-Markovian subsets of subshifts of finite type 1998-06-25 Athanase Papadopoulos A Curvilinear Search for Systems of Nonlinear Equations 1996-05-14 Jerry Eriksson Symplectic Numerical Integrators in Constrained Hamiltonian Systems 1996-03-21 On Discrete and Hybrid Representation of Hybrid Systems 1998-06-12 Krylov Space Methods on State-Space Control Models 1998-02-06 Daniel L. Boley Gauge-boson scattering signals at the LHC 1998-05-25 Error-Resilient Coding for H.263 1997-05-06 Meta Message Recovery and Meta Blind signature schemes based on the discrete logarithm problem and their applications 1997-07-30 On Training Neural Nets through Stochastic Minimization 1995-01-24 Roberto Brunelli Study Of The Distribution Of Daily Fluctuations In Observed Solar Irradiances And Other Full Disk Indices Of Solar Activity 1996-11-03 Minimisation of Data Collection by Active Learning 1996-01-23 An Operational Approach to Combining Classical Set Theory and Functional Programming Languages 1999-02-12 Weak Behavioral Subtyping for Types with Mutable Objects 1995-04-05 Control and Data Transfer in the Distributed Editor of the ASF+SDF Meta-environment 1997-03-03 Concepts and Architecture for Loosely Coupled Integration of Hyperbases 1995-03-10 Reasoning About Concurrent Objects 1995-11-19 Priority as Extremal Probability 1994-12-01 A Fast and General Implementation of Mach IPC in a Network 1993-02-27 Approximations to pi via the Dedekind eta function 1996-05-13 An analytic study of Bondi--Hoyle--Lyttleton accretion 1998-02-09 The Notion of Trajectory in Graphical User Interfaces 1997-05-28 New Upper Bounds for Binary/Ternary Mixed Covering Codes 1994-04-05 Combining ANNs To Improve Phone Recognition 1996-12-16 Brian Mak How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems 1999-02-12 Luca De Alfaro Causality as a Key to the Frame Problem 1992-07-01 An HPSG-Analysis for Free Relative Clauses in German 1998-06-12 A Simple Approach to Parallel Functional Programming 1995-02-06 Paul Roe The Performance Impact of Flexibility in the Stanford FLASH Multiprocessor 1994-03-29 Grail: Engineering Automata in C++ 1995-03-22 Analysis of Three-Dimensional-Cavity-Backed Aperture Antennas Using a Combined Finite . . . 1996-08-09 Design Tradeoffs in Partial Order Plan Space Planning 1994-03-28 Subbarao Kambhampati An Extended Kalman Filter for frequent local and infrequent global sensor data fusion 1998-12-20 A Generalized VQ Method for Combined Compression and Estimation 1995-12-13 TCP/IP Implementation with Endsystem QoS 1998-04-29 Program Synthesis and Transformations in an Object-Oriented Environment 1993-10-13 Mihhail Matskin Minorization Conditions and Convergence Rates for Markov Chain Monte Carlo 1994-12-24 Jeffrey S. Rosenthal Adaptive MPEG video coding in the presence of failures as an example for quality of service management 1998-06-23 Interactive Resource Allocation by Problem Decomposition and Temporal Abstractions 1993-11-04 Berthe Y. Choueiry A Lower Bound for Primality 1998-11-09 Modifying Existing Annotated Corpora for General Comparative Evaluation of Parsing 1998-09-23 On Parallel versus Sequential Approximation 1997-07-22 MCPLIB: A Collection of Nonlinear Mixed Complementarity Problems 1970-01-01 PERTS: A Prototyping Environment for Real-Time Systems 1994-11-30 Typed Closure Conversion 1995-08-17 A New Consistency Protocol Implemented in the CAliF System 1997-10-21 Modelling Project Coordination in a Multi-Agent Framework 1998-05-01 The Architecture Of The Festival Speech Synthesis System 1998-11-09 Generation of Binary Patterns with Given Spatiotemporal Correlations 1997-05-24 Local Equivalence of Transversals in Matroids 1997-12-26 A Subjective Metric of Authentication 1998-07-27 MIRAGE: A Model for Latency in Communication 1993-04-06 Joseph D. Touch An Object Oriented System for Developing Distributed Applications 1999-01-20 Human Performance on Clustering Web Pages: A Preliminary Study 1998-06-08 Twistless KAM tori. 1997-04-26 Giovanni Gallavotti Length Of Polynomial Ascending Chains And Primitive Recursiveness 1996-03-13 An Agent System for Intelligent Situation Assessment 1998-09-10 Sumatra: A Language for Resource-aware Mobile Programs 1997-02-12 Interpolation Models with Multiple Hyperparameters 1997-01-04 Clocked Transition Systems 1996-05-24 Zohar Manna An Overview of Real-Time Concurrency Control with Analytic Worst-Case Latency Guarantees 1993-06-29 Towards an Ontology for Library Modalities 1998-07-24 Christopher A. Welty An Efficient, Extensible Design of a PCS Network Simulation 1998-10-03 Design and Analysis of a Scalable Cache Coherence Scheme based on Clocks and Timestamps 1998-12-17 A Detailed Description of Off++, a Distributed Adaptableµkernel 1997-12-24 Soundtracks for Computer Animation : Sound Rendering in Dynamic Environments with Occlusions 1999-02-18 On a Rule Based Management Architecture 1996-07-01 Competitive Algorithms for Distributed Data Management 1995-10-25 Architecture And Design Methodology Of The RBF-DDA Neural Network 1998-11-25 Self-Organization of Spiking Neurons Using Action Potential Timing 1997-10-15 The YAIL: An Intermediate Language for the Native Compilation of Prolog Programs 1998-11-29 Extensions Of Vector Bundles And Rationality Of Certain Moduli Spaces Of Stable Bundles 1996-07-02 Convergence Rates in Multivariate Robust Outlier Identification 1998-03-20 Claudia Becker Terminological Reasoning by Query Evaluation: A Formal Mapping of a Terminological Logic to an Object Data Model 1999-02-18 Speed of d-convergence for Markov approximations of chains with complete connections. A coupling approach 1997-11-20 Non-elementary Lower Bound for Propositional Duration Calculus 1998-03-25 A. Rabinovich Research in Automatic Profile Generation and Passage-Level Routing with LMDS 1997-09-22 Julian A. Yochum Widening the Representation Bottleneck: A Functional Implementation of Relational Programming 1997-04-21 TRAINS-95 System Evaluation 1996-07-19 Navigation in Electronic Worlds: Research Review for Depth Oral Exam David Modjeska Department of Computer Scien 1997-07-04 David Modjeska Interactive Computational Models Of Particle Dynamics Using Virtual Reality 1997-11-12 Laplace Transforms Of Probability Density Functions With Series Representations 1998-10-13 Ward Whitt Communicative Goals 1996-07-15 Multimedia Synchronization and UNIX 1992-07-10 Visual Programming and Parallel Computing 1998-11-02 On Construction of k-wise Independent Random Variables 1998-02-04 A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations 1996-06-11 Gopalan Nadathur Connected Components on Distributed Memory Machines 1996-10-28 A User Interface for Knowledge Acquisition From Video 1997-05-28 Henry Lieberman Sherman-Morrison-Woodbury Formula-based Algorithms for the Surface Smoothing Problem 1997-08-06 Teaching Mathematics to Software Engineers 1995-02-24 Jeannette M. Wing Using the Quality-Time Tradeoff in Local Optimization 1997-08-11 The&Delta;I=4 Bifurcation in Superdeformed Bands 1998-05-23 A Faster DynamicProgramming Algorithm for Exact Rectilinear Steiner Minimal Trees 1996-07-22 An Outline Of The Theory Of G-Sets 1996-11-15 Chris Hillman Partial Order and SOS Semantics for Linear Constraint Programs 1999-03-16 KAM-Renormalization Group Approach to the Break-up of Invariant Tori in Hamiltonian Systems 1997-07-15 Transformation Invariant Autoassociation with Application to Handwritten Character Recognition 1996-12-02 A Quantitative Study of Optimal Extraction 1994-02-08 F. Valdes Transition Restricted Gray Codes 1995-11-16 Census: Collecting Host Information on a Wide Area Network 1992-10-31 CAM-BRAIN - The Evolutionary Engineering of a Billion Neuron Artificial Brain by 2001 which Grows/Evolves at Electronic Speeds inside a Cellular Automata Machine CAM 1998-07-23 Hugo De Garis Suspension Analyses for Concurrent Logic Programs 1995-04-09 Learning from Neighbors 1997-06-18 Towards Intelligent Trainable Tools for the Automated Analysis, Cataloging, and Searching of Digital Image Libraries: A Machine Learning Approach 1994-05-15 Experimental Evaluation of Efficient Sparse Matrix Distributions 1996-11-12 Control of Singularly Perturbed Hybrid Stochastic Systems 1996-06-14 First-Order Learning for Web Mining 1998-02-06 A New Automatic Simulated Annealing-Type Global Optimization Scheme 1995-03-09 Scheduling in a Multi-Agent Environment -~OLXVVRQWy 1999-03-12 The New Publishing - Technology's impact on the publishing industry over the next decade 1992-03-05 Gregory J. E. Rawlins Multi-Protocol Architectures as a Paradigm for Achieving Inter-Operability 1994-02-05 Reliable Broadband Communication Using a Burst Erasure Correcting Code 1996-02-03 Databases for GIS 1995-11-30 Claudia Bauzer Medeiros A Protocol for Removing Communication Intrusion in Monitored Distributed Systems 1998-03-02 Vertical Data Migration in Large Near-Line Document Archives Based on Markov-Chain Predictions 1997-06-12 Enhancing External Consistency in Real-Time Transactions 1996-01-23 Space Deformation using Ray Deflectors 1995-06-20 Logarithmic Forms On Affine Arrangements 1998-04-23 The Multiple Strategy Process Migration Manager for RHODOS: The Logical Design 1970-01-01 Damien De Paoli Visual Motion Computation in Analog VLSI using Pulses 1994-04-22 The phase transition in random Horn satisfiability 1998-03-26 Distinguishing characteristics in underwater images of Northern and Eurasian watermilfoils 1970-01-01 Karen T. Sutherland The H-Bus: A Media Acquisition Bus Optimized for Multiple Streams 1997-01-23 Iterative Algorithms for Fixed Point Computation 1999-03-22 Implementing Distributed Shared Memory Based on DCE 1996-08-26 A Parallel Bucket Mutual Range-Join Algorithm 1998-11-18 Message-Passing Performance of Various Computers 1996-07-17 Adaptive Wavelet Coding Of Images 1995-02-19 Rapid Similarity Search Algorithm of Nucleic Acid Database 1995-02-09 General Aspects of Symmetry Breaking 1997-09-20 H. Martin Haft Face Recognition by Elastic Bunch Graph Matching 1997-08-01 On the Performance of Bursty and Modulated Sources Subject to Leaky Bucket Rate-Based Access Control Schemes 1995-12-31 Some efficiency results on Seemingly Unrelated Regression Equations 1998-06-22 K. Viraswami Domain Theoretic Techniques in an Operational Setting 1992-11-24 Transition Systems with Independence and Multi-Arcs 1996-09-08 The Effect Of The Medicare Catastrophic Coverage Act On Payor Source Changes Among Nursing Home Residents 1996-01-28 Examining Fault-Tolerance Using Unlikely Inputs: Turning the Test Distribution Up-Side Down 1995-03-27 A CPS-Translation of the lambdaµ-Calculus 1997-12-06 A Complete Bibliography of Publications in Journal of Numerical Linear Algebra with Applications and Numerical Linear Algebra with Applications 1998-03-29 Implementation of Dynamic Algebras with an Application to Prolog 1996-06-24 Lehrstuhl Informatik V Clock Analysis of Synchronous Dataflow Programs 1995-11-17 Thomas P. Jensen Parallel Tree Building on a Range of Shared Address Space Multiprocessors: Algorithms and Application Performance 1998-04-28 Self Adapting Crossover Operator for CSP 1997-10-30 Concurrency Annotations in C++ 1994-06-17 Network Related Performance Issues and Techniques for MPPs 1970-01-01 S. Lennart Johnsson A Theorem Prover for a Computational Logic 1996-08-01 A Comparison of Queueing, Cluster and Distributed Computing Systems 1995-03-01 LCM: Memory System Support for Parallel Language Implementation 1994-07-13 Features Extraction and Temporal Segmentation of Acoustic Signals 1998-08-10 Sensitivity of the Nuclear Equation of State Towards Relativistic Effects 1998-05-23 The Performance of SQL Queries to an X.500 Directory System 1970-01-01 Negative Set Constraints With Equality 1996-02-23 A Characterization of 1-Perfect Additive Codes 1997-08-03 J. Borges Instruction Cache Fetch Policies for Speculative Execution 1996-10-01 Symbolic Weak Bisimulation for Value-passing Calculi 1999-03-23 Measurement of pion showers longitudinal leakage in the TILECAL prototype 1999-03-23 Die 3D-Wasserscheidentransformation Auf Graphenebene - Eine Anwendung Für Die Hyperthermieplanung 1997-02-12 Generalization in Reinforcement Learning: Safely Approximating the Value Function 1995-02-07 Nonmonotonic Reasoning for FirstOrder Programs 1998-04-02 Vyacheslav Petukhin Dribbling Registers: A Mechanism for Reducing Context Switch Latency in Large-Scale Multiprocessors 1994-05-03 Minimal Forward Checking with Backmarking 1996-04-11 There Are No New Homometric Golomb Ruler Pairs with 12 Marks or Less 1996-08-22 Remarks on decay of correlations and Witten Laplacians III - Application to logarithmic Sobolev inequalities. 1997-12-26 Laplacians Iii A Simple and Efficient Copying Garbage Collector for Prolog 1995-03-08 Usage-based Structuralization of Relationships between Words 1997-09-29 Takashi Hashimoto Return Value Placement And Tail Call Optimization In High Level Languages 1998-01-27 A Temporal Extension to a Generic Object Data Model 1998-08-17 Adaptive Delaunay Triangulation for Attractor Image Coding 1994-12-19 Dirichlet Mixtures: A Method for Improving Detection of Weak but Significant Protein Sequence Homology 1996-01-26 Homotopy Classes for Stable Periodic and Chaotic Patterns in Fourth-Order Hamiltonian Systems 1999-03-23 The Evolution of Lisp 1995-03-14 Anais da II Oficina Nacional em Problemas Combinatórios: Teoria, Algoritmos e Aplicações 1997-06-14 Bringing Up a Quantum Baby 1997-04-26 A. P. Balachandran Marginalia on Sequent Calculi 1998-01-26 The Cascade-Correlation Learning Architecture 1991-08-30 Path Planning for Nonholonomic Systems with Drift 1998-01-08 Disparity-Space Images and Large Occlusion Stereo 1994-04-29 Quantum Function Algebras As Quantum Enveloping Algebras 1998-06-25 Fabio Gavarini An Empirical Study of Secure MPEG Video Transmission 1996-07-12 On a Simple Depth-First Search Strategy for Exploring Unknown Graphs 1997-05-20 Stephen Kwek Griffon: A Cooperative, Structured, Distributed Document Editor 1996-08-21 Stochastic Analysis of Gang Scheduling in Parallel and Distributed Systems 1997-06-28 Mark S. Squillante High Performance Speaker-Independent Phone Recognition Using CDHMM 1993-07-09 Goal-Directed Diagnosis - A Diagnostic Reasoning Framework for Exploratory-Corrective Domains. 1996-07-29 Ron Rymon Concavity Detection Using a Binary Mask-Based Approach 1998-08-31 Heuristic Optimization and Dynamical System Safety Verification 1998-01-14 Todd W. Neller Hy+ User's Manual 1993-07-14 Decision Analytic Networks in Artificial Intelligence 1995-08-16 Synthesis of Schedulers for Planned Shutdowns of Power Plants 1997-01-09 The difference between Clocks and Turing Machines 1998-05-13 Ecole Normale Supérieure The Nile Fast-Track Implementation: Fault-Tolerant Parallel Processing Of Legacy Cleo Data 1995-09-27 Incorporating Cores into System-Level Specification 1998-09-18 Computation of Highly Regular Nearby Points 1998-02-23 Contribution to Semantics of a Data-Parallel Logic Programming Language 1999-02-02 ARIADNE: A System for Constructing Mediators for Internet Sources 1998-03-09 On a duality between Kruskal and Dershowitz theorems 1998-04-16 Paul-andre Mellies Reliable Assignments of Processors to Tasks and Factoring on Matroids 1996-08-13 A General Empirically Based Micro-Instability Transport Model 1998-01-30 Adaptive Recovery for Mobile Environments 1998-07-10 The Impact of Structure Analysis on Prolog Compilation 1997-05-05 Thomas Lindgren Wavelets on Closed Subsets of the Real Line 1996-12-20 Framework for Distributed Special Needs Education Using an Agent-Based Learning Environment 1998-03-17 Jaakko Kurhila Primal-Dual Approximation Algorithms for Metric Facility Location and k-Median Problems 1999-04-29 A New Finite-Volume Approach for the Solution of Convection-Diffusion Problems 1998-01-05 Dietmar Hietel Singular Limits And String Solutions 1995-11-02 Program Adaptation based on Program Transformation 1996-11-29 Charles Consel Analysis of Shuttle Orbiter: Reliability and Maintainability Data for Conceptual Studies 1997-02-20 Exploiting Symmetry in Protocol Testing 1998-11-10 Judi Romijn Temporal Domain Parallelism: Does It Work? 1996-07-22 Linear Systems With Sign-Observations 1995-05-11 Data Memory Alternatives for Multiscalar Processors 1997-07-09 A New Dynamics Kernel For The MC2 Model II: Flexible GMRES Elliptic Solver 1997-09-02 Automatic Design of Cellular Neural Networks by means of Genetic Algorithms: Finding a Feature Detector 1996-07-16 Frank Dellaert Optimizing Instruction Cache Performance for Operating System Intensive Workloads 1997-02-07 Making Use of Population Information in Evolutionary Artificial Neural Networks 1999-02-03 On Causal Compatibility of Quantum Field Theories and Space-Times 1996-10-28 Michael Keyl Implementation Of The Conjugate Gradient Method Using Short Multiple Recursions 1996-12-10 Protein Folding in the Generalized Hydrophobic-Polar Model on the Triangular Lattice 1996-10-15 Scott E. Decatur Trace-driven Memory Simulation: A Survey 1996-03-31 Efficient Parallel Programming with Algorithmic Skeletons 1997-12-02 Laws of Generalized Prioritization Extended Abstract 1993-11-02 Time-Variant Filtering in the Time-Frequency Space: Performance Analysis and Filter Design 1999-03-26 RMM's Solution Concept and the Equilibrium Point Solution. 1995-07-12 Acknowledgments 1997-12-01 Venus: An Object-Oriented Extension of Rule-Based Programming 1998-10-19 Trust and Partial Typing in Open Systems of Mobile Agents 1998-07-13 On Nominal Delay Minimization in LUT-Based FPGA Technology 1997-01-13 Unification in the Combination of Disjoint Theories 1998-11-06 Peter Auer Collaborative Networked Communication: MUDs as Systems Tools 1998-01-12 Point Spectrum And Mixed Spectral Types For Rank One Perturbations 1997-04-26 Static Type Determination and Aliasing for C++ 1996-01-10 Generic Fault Management Techniques 1998-04-14 Compiling a Para-Functional Language to Parallel PACLIB C 1994-08-08 Wolfgang Schreiner COMSCRIPT: A New Language for Building Flexible Protocol Stacks 1995-05-05 Concurrent METATEM Processes - A Language for Distributed AI 1994-06-29 Behavior-Based Control: Examples from Navigation, Learning, and Group Behavior 1970-01-01 Maja J Matari'c Adding Service Discrimination to the Internet 1995-10-26 David D. Clark Guidelines for Preparing a Paper for IDAMAP-98 based on ECAI-98 paper preparation instructions 1998-05-05 Guided Team Selection 1997-03-07 Setting Up the Files 1994-04-01 A Hierarchical Probabilistic Model for Novelty Detection in Text 1999-03-23 Presenting Dynamically Expandable Hypermedia 1997-05-28 Unknown 1998-06-01 Patrick C. Murphy A Scalable Algorithm for Chemically Reactive Flows 1997-01-21 Solving Secular Equations Stably and Efficiently 1994-11-04 Ren-cang Li Unknown 1996-02-08 Adaptive Optics: Neural Network Wavefront Sensing, Reconstruction and Prediction 1999-01-28 Multi-client LAN/WAN Performance Analysis of Ninf: a High-Performance Global Computing System 1997-08-17 Topological Stochastic Grammars 1997-03-14 Michael Alder Language Identification Of Six Languages Based On A Common Set Of Broad Phonemes 1995-12-22 The Flag Taxonomy of Open Hypermedia Systems 1996-05-08 Application of Bayesian Probability Network to Music Scene Analysis 1995-10-12 The Triptych FPGAArchitecture 1996-03-29 An Asymptotical Variational Principle Associated with the Steepest Descent Method for a Convex Function 1996-06-23 B. Lemaire COBS: Qualitatively Constrained Smoothing via Linear Programming 1996-12-21 Fast and Effective Procedure Inlining 1998-01-28 Bayesian Methods for Interpretation and Control in Multi-Agent Vision Systems 1993-03-09 Localization and Mode Conversion for Elastic Waves in Randomly Layered Media 1998-06-08 The Global Power of Additional Queries to Random Oracles 1994-12-15 Java Multimedia Studio 1998-04-03 Giancarlo Fortino On Two-Block-Factor Sequences And One-Dependence 1998-10-13 An Annotated Bibliography on Object-Orientation and Deduction 1998-05-25 Pose Estimation using Four Corresponding Points 1998-09-11 Adaptive Time Delay and Frequency Estimation for Digital Signal Synchronization in CDMA Systems 1998-11-26 A Review of Approaches to the Measurement of Software Engineering 1996-05-22 L G Samaraweera Towards a Better Understanding of Web Resources and Server Responses for Improved Caching 1999-03-19 A World-Wide Distributed System Using Java and the Internet 1996-03-21 Nonlinear Prediction of Chaotic Time Series Using Support Vector Machines 1997-08-13 Isabelle Tutorial and User's Manual 1998-02-26 A WWW-Accessible Database for 3D Vision Research 1999-01-22 Unknown 1994-03-07 Partial Scan Design Based on Circuit State Information 1998-07-10 All-to-All Personalized Communication on Circuit Switched Hypercubes 1998-10-26 C. S. Raghavendra Space-time multi type log Gaussian Cox processes with a view to modeling weed data 1998-08-27 Anders Brix Proximity as a Scalability Measure 1998-06-08 M. Kapelevich O. Kremien Recovery and Page Coherency for a Scalable Multicomputer Object Store 1997-07-24 Discovery of General Knowledge in Large Spatial Databases 1995-10-13 Adaptive Forward-Backward Quantizer for Low Bit Rate High Quality Speech Coding 1998-10-12 Near-Critical Path Analysis of Program Activity Graphs 1995-08-17 Relevance Feedback and Term Weighting Schemes for Content-Based Image Retrieval 1999-01-19 Pyramid-based Dithering 1994-09-22 Luiz Velho Prolegomena to the Definition of Dynamic Predicate Logic with Local Assignments 1997-10-30 Albert Visser Evaluation of exon prediction tools using a long DNA sequence data 1995-12-13 Parallel State Estimation With Confidence Limit Analysis 1997-06-10 Dylan Interim Reference Manual 1995-09-01 Networks Which Learn to Store Variable-Length Sequences in a Fixed Set of Unit Activations 1995-12-06 Tony A. Plate Run-time Visualization of Program Data 1994-05-19 The Ariadne's Clew Algorithm 1999-02-10 Modeling Ant Navigation with an Autonomous Agent 1999-01-13 Pulse Propagation in Nonlinear Optical Fiber-Lines That Employ Phase-Sensitive Parametric Amplifiers 1994-12-13 The Clinical Significance of Hydration in Natural Rubber Latex Gloves 1998-07-26 J. K. Bennett Pattern-Driven Automatic Parallelization, Data Distribution and Performance Prediction 1997-03-13 Spectral Pairs, Mixed Hodge Modules, and Series of Plane Curve Singularities 1995-08-14 J. H. M. Steenbrink A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion 1997-05-21 Performance Evaluation of Barrier Synchronization in ATM Networks 1996-08-01 The Constrainedness Knife-Edge 1998-03-17 Toby Walsh Integrating Planning and Learning: The PRODIGY Architecture 1996-03-21 Causal Separators and Topological Timestamping: An Approach to Support Causal Multicast in Large-Scale Systems 1995-11-30 Lus Rodrigues Paulo Interior Point Methods With Decomposition For Linear Programs 1996-10-25 Gongyun Zhao Professional summarising: No cognitive simulation without observation 1996-05-03 Using the Grow-And-Prune Network to Solve Problems of Large Dimensionality 1999-01-17 Interoperability of Software Documents 1995-08-09 Ethan V. Munson Nonlinear Galerkin Methods For The 3D Magnetohydrodynamic Equations 1997-01-23 Calculi and Efficiency Measures for Narrowing Techniques 1995-11-03 Bag and Set Unification 1997-11-28 Fast Message Assembly Using Compact Address Relations 1996-02-19 An Evolutionary Approach to System-Level Synthesis 1998-08-19 On the Development of User Interface Systems for Object-Oriented Databases 1995-10-24 Juliano Lopes De Oliveira Mixing Mixed-Integer Inequalities 1999-03-02 Efficient Redo Processing in Main Memory Databases 1997-04-20 Complex Reflections and Polynomial Generators of Homotopy Groups 1996-07-18 A Neural Network Architecture for Syntax Analysis 1995-08-09 Piecewise Smooth Surface Reconstruction 1994-04-26 Composite Events for Network Event Correlation 1999-02-24 G. Liu Optimisation in Time-Varying environments using Structured Genetic Algorithms 1970-01-01 Dipankar Dasgupta Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts 1997-01-24 Conch: Experimenting with Enhanced Name Management for Persistent Object Systems 1994-10-26 Xavier: An Autonomous Mobile Robot on the Web 1999-03-02 A Measure for Perceived Detail in Computer-Generated Images 1998-02-27 Martin Reddy On Numerical Methods For Discrete Least-Squares Approximation By Trigonometric Polynomials 1996-01-29 Non-Transitive Transfer of Confidence: A Perfect Zero-Knowledge Interactive Protocol for SAT and Beyond 1998-07-15 Active Database Technology Supports Cancer Clustering 1998-02-08 Solving Traveling Salesman Problems Using Molecular Programming 1999-04-13 Byoung-tak Zhang Differentiability of Solutions of an Electro-Elasticity Model W.r.t. Parameters 1997-10-17 Nikolai D. Botkin Backscattering Characteristics of Finite Narrow Rectangular Loop Array 1999-01-05 Parallel Wolff Cluster Algorithms 1997-07-27 Principles for Optimizing CORBA Internet Inter-ORB Protocol Performance 1998-02-28 Final Report of the SPP Project "Hybrid Knowledge Base System" 1999-02-18 Job Management Requirements for NAS Parallel Systems and Clusters 1999-04-15 Reconciling Agent Models 1994-11-16 A Recurrence for Counting Graphical Partitions 1997-12-26 Efficient and Language-Independent Mobile Programs 1996-07-16 Real-Time Debugging by Minimal Hardware Simulation 1994-09-01 Solitonic Strings and BPS Saturated Dyonic Black Holes 1998-05-25 A Unifying Framework for Concatenation Based Grammar Formalisms 1996-01-19 Annius V. Groenink Grading On The Fly 1998-05-25 Random Walks On Finite Groups With Few Random Generators 1999-05-02 Igor Pak The Role of Evaluation in the Development of Content-Based Retrieval Techniques 1998-09-28 Arjen P. De Vries Blind Equalization By Direct Examination Of The Input Sequences 1995-09-19 Boundary Finding with Correspondence Using Statistical Shape Models 1998-12-29 Potential and Limits of Web Prefetching Between Low-Bandwidth Clients and Proxies 1998-04-14 Versioning and Consistency for Dynamically Composed Configurations 1997-09-11 Relational Instance-Based Learning - An Initial Case Study 1997-07-16 Tracing the Universe with Clusters of Galaxies 1997-12-01 Neta A. Bahcall On-Line Algorithms for Combining Language Models 1999-03-09 The USC Multiprocessor Testbed Project: Project Overview 1998-12-19 On Chromatic Sums and Distributed Resource Allocation 1998-01-23 Application of Neural Networks and Genetic Algorithms in the Classification of Endothelian Cells 1999-03-09 Real-time Error Concealment in Compressed Digital Video Streams 1970-01-01 Performance Optimization of VLSI Interconnect Layout 1997-05-06 Application-Transparent Fault Tolerance in Distributed Systems 1994-06-08 A Simplified Account of Polymorphic References 1998-09-23 Robert Harper Parka Parallel Knowledge Representation System 1998-09-05 The design and implementation of the FIRE engine: A C++ toolkit for FInite automata and Regular Expressions 1999-01-28 Bruce W. Watson Computing pix: The Meissel-Lehmer Method 1997-05-04 Numerical Uncertainty Management in User and Student Modeling: An Overview of Systems and Issues 1996-01-09 Inexact-Newton methods for semismooth systems of equations with block-angular structure 1999-03-10 NetKuang -- A Multi-Host Configuration Vulnerability Checker 1996-10-03 Evaluation of the GIST Text Drafter 1997-01-15 Polyhedra, Spectrahedra, and Semidefinite Programming 1997-06-27 Motakuri V. Ramana Low Rank Off-Diagonal Block Preconditioners For Solving Sparse Linear Systems On Parallel Computers 1996-02-02 Comparison Between Product and Mean Classifier Combination Rules 1997-05-12 Programming-in-the-Large versus Programming-in-the-Many 1997-03-07 Modeling Idealized Bounding Cases of Parallel Genetic Algorithms 1996-12-13 David E. Goldberg The Utility of Exploiting Idle Memory for Data-Intensive Computations 1998-07-22 Csim - a Simple HP48 Circuit Simulator for Educational Purposes 1996-09-26 Per Stenius An Efficient Clustering Technique For Circuit Partitioning 1996-11-13 Learning to Reason 1998-03-20 The Rise and Fall of Knapsack Cryptosystems 1997-05-04 A. M. Odlyzko Distributed Wireless Channel Allocation in Cellular Systems with Mobile Base Stations 1997-04-21 Ravi Prakash The Use of Trademarks Or Names of Manufacturers in 1998-03-26 Farhad Ghaffari Simulation Dynamique et Applications Robotiques 1998-04-09 A Deductive Database Language Supporting Modules 1994-10-19 Burkhard Freitag On Entering an Open Society 1994-12-01 Planning Referential Acts for Animated Presentation Agents 1997-04-04 The Undecidability of Mitchell's Subtyping Relationship 1996-08-22 J. B. Wells Claire Schedule 1.0 -- Reference Manual 1998-08-18 Evolution of Massive Black Hole Binaries in the Core of Galaxies 1997-01-31 Junichiro Makino Sensors for Anaerobic Digestion: An overview 1995-12-07 Peter A. Vanrolleghem Statistical Properties of Piecewise Smooth Hyperbolic Systems in High Dimensions 1997-09-28 N. Chernov Filament Surgery and Temporal Grid Adaptivity Extensions to a Parallel Tree Code for Simulation and Diagnosis in 3D Vortex Dynamics 1996-12-15 A Performance Analysis of Subspace-Based Methods in the Presence of Model Errors - Part II: Multidimensional Algorithms 1996-04-22 Preemptive Priority-Based Scheduling: An Appropriate Engineering Approach 1997-03-28 Alan Burns Extended Spectral Subtraction 1997-10-14 Hard Real-Time Scheduling: The Deadline-Monotonic Approach 1999-01-15 Schema Evolution for Real-Time Object-Oriented Databases 1994-04-08 Cyclically Presented Groups And Takahashi Manifolds As Cyclic Coverings 1999-04-21 Gardens' Autobahn: Efficient and Safe Streaming of Data Structures for High Performance Communication Architectures 1999-02-08 From recombination of genes to the estimation of distributions: II. Continuous parameters 1996-09-05 H. Muhlenbein Feature Detection in Linked Derived Spaces 1998-12-15 Chris Henze State Diagrams in UML: A Formal Semantics using Graph Transformations - or Diagrams are nice, but graphs are worth their price 1998-05-08 Image-Guided Streamline Placement 1997-10-29 Greg Turk Intuitive Counterexamples for Constructive Fallacies 1994-09-12 Michael J. O'donnell A Single Pass Heuristic Search for Segmental Speech Recognizers 1994-09-05 Generalization to Novel Images in Upright and Inverted Faces 1997-03-14 Real-Time Communication In A Packet-Switching Network 1990-11-06 Describing and Using Object Frameworks 1998-09-22 Zerotree Design for Image Compression: Toward Weighted Universal Zerotree Coding 1997-11-11 Michelle Effros Learning in Fuzzy Neural Networks 1996-02-16 Model-Based Neural Networks For Invariant Pattern Recognition 1997-02-11 David Mcgregor Squire An Explicit Solution of the BCS Model and Demonstration of Symmetry Breaking 1997-05-27 Detlef Lehmann User's Guide To A Boundary Element Package For Solving Integral Equations On Piecewise Smooth Surfaces 1994-10-20 Kendall E. Atkinson Segmentation of Monochrome and Color Textures Using Moving Average Modeling Approach 1998-06-24 Kie B. Eom Automatic Specification of Reliability Models for Fault-Tolerant Computers 1998-01-08 Linear Connections on the Quantum Plane 1998-05-23 The Utility of Exploiting Idle Memory for Data-Intensive Computations 1998-01-23 Disk Scheduling for Multimedia Data Streams 1996-06-14 A Hierarchical Approach to Wrapper Induction 1999-03-09 Measuring Point Set Similarity with the Hausdorff Distance: Theory and Applications 1996-07-04 Scott D. Cohen Integrating Affective Computing Into Animated Tutoring Agents. 1997-04-04 Classical Negation in Logic Programs and Disjunctive Databases 1996-10-25 The Effect of Client Caching on File Server Workloads 1997-08-14 Backtrackable Updates 1996-04-02 A Volumetric Iterative Approach to Stereo Matching and Occlusion Detection 1999-03-10 Electronic Publishing: The Role of a Large Scientific Society 1996-08-26 Harry Lustig Formal Methods for Broadband and MultimediaSystems 1997-11-27 HPF on Fine-Grain Distributed Shared Memory: Early Experience 1996-07-30 Applying Parallel Processing Techniques in Data Warehousing and OLAP 1999-04-15 Some Reflections on Computer Engineering: 30 Years after the IBM System 360 Model 91 1997-12-24 Michael J. Flynn Transforming Hard Problems into Linearly Separable ones with Incremental Radial Basis Function Networks 1998-11-20 B. Fritzke Translational Decomposition of Flow Fields 1993-07-27 Schedule-Independent Storage Mapping for Loops 1998-08-05 Theory of Thermodynamics of Computation 1996-03-05 Ming Li Object Recognition by Fast Hypothesis Generation and Reasoning about Object Interactions 1997-05-02 Frontiers of Astrophysics - Workshop summary 1999-01-27 Morphological Disambiguation by Voting Constraints 1997-04-16 Combinatory Logic and Natural Language Parsing 1997-09-18 Cem Bozsahin Improved Approximations for Minimum Cardinality Quadrangulations of Finite Element Meshes 1997-07-11 The Attentive Brain 1999-01-17 Stephen Grossberg Analytic Combinatorics of Non-crossing Configurations 1997-06-24 A Hierarchical Mobility Management Scheme for IPv6 1998-08-06 Claude Castelluccia From a File-Oriented View to an Object-Oriented View 1996-01-31 Parallel Approximability of MAXNP Problems 1997-06-09 The Twofold Integration of CBR in Decision Support Systems 1998-12-18 The Role of Morse-Lyapunov Functions in the Design of Nonlinear Global Feedback Dynamics 1999-03-16 Skills and Capabilities in Real-Time Team Formation 1996-02-20 Distributed Enumeration 1997-02-24 Antoni Mazurkiewicz Large Scale Classroom Scheduling 1996-11-16 How to Integrate Precedence Constraints and Shared Resources in Real-Time Scheduling 1997-02-14 Regressor Based Adaptive Infinite Impulse Response Filtering 1998-02-02 On Sinai-Bowen-Ruelle measures on horocycles of 3-D Anosov flows 1997-04-26 N. I. Chernov On the Zero Set of the Wave Function in Superconductivity 1997-10-05 Semantic Indexing and Typed Hyperlinking 1997-02-18 A parameter-free self-organizing map for the analysis of pp-reactions at COSY 1998-07-17 Using a Description Classifier to Enhance Deductive Inference 1996-09-17 Robert M. Macgregor EDPEPPS: An Environment for the Design and Performance Evaluation of Portable Parallel Software 1999-01-12 Nonlinear Predictive Rate Control For Constant Bit Rate Mpeg Video Coders 1997-03-05 Partial Constraint Satisfaction Problems and Guided Local Search 1995-09-12 Optimizing Area and Aspect Ratio in Straight-Line Orthogonal Tree Drawings 1999-03-11 Geometric aspects of Fleming-Viot and superprocesses 1996-04-16 Alexander Schied On-Line Subspace Estimation Using a Schur-Type Method 1998-03-13 Jurgen Gotze YODA: The Young Observant Discovery Agent 1997-06-25 Computer Simulation of Liquid Crystals 1998-04-06 Applications of Sequence Geometry to Visual Motion 1998-05-29 Linear Higher-Order Pre-Unification 1997-11-14 Hierarchical Defaults in Specifications 1994-10-05 Abelian Gauge Theory on Riemann Surfaces and New Topological Invariants 1999-04-14 Users Guide for the ANL IBM SPx 1995-11-30 Multi-Stream Approach In Acoustic Modeling 1997-11-08 Sangita Tibrewala Low-Temperature Phase Diagrams of Quantum Lattice Systems. III. Examples. 1996-06-13 Designing Algorithms By Sampling 1998-03-04 A Comparison of Three Numerical Methods for an Inverse Heat Conduction Problem and an Industrial Application 1997-05-04 On Hybrid Control of Nonlinear Systems under Slow Sampling: Application to Induction Machines 1999-01-21 On Representing Prior Information as an Asymmetric Prior Distribution over Weights 1998-07-10 Robert Dodier A Practical Trajectory Following of an Articulated Steering Type Vehicle. 1997-12-20 Statistical, Connectionist and Fuzzy Inference Techniques for Image Classification 1999-02-02 Quark Matter Droplet Formation In Neutron Stars 1997-12-11 H. Heiselberg On Some Computational Problems in Finite Abelian Groups 1996-10-10 Marching Cubes 33: Construction of Topologically Correct Isosurfaces 1995-12-17 Evgeni V. Chernyaev A Sequential Niche Technique for Multimodal Function Optimization 1994-09-06 Future Research Directions In Problem Solving Environments For Computational Science 1995-12-18 Self-fulfilling Bias in Multiagent Learning 1996-08-16 Technical Rational Behind Csc-Std-003-85: Computer Security Requirements Guidance For Applying The Department Of Defense Trusted Computer System Evaluation Criteria In Specified Environments 1999-04-30 Parallel Algorithms and Numerical Stability for Toeplitz Solvers 1970-01-01 Richard P. Brent Compiler Techniques For Matlab Programs 1998-10-06 Navigation for Everyday Life 1997-01-11 A Polynomial-time Algorithm for Learning Noisy Linear Threshold Functions 1998-03-24 Self-Documenting Structured Reports using Open Information Standards 1998-02-03 Charles E. Kahn Compiling Data Parallel Programs to Message Passing Programs for Massively Parallel MIMD Systems 1994-05-26 Thomas Brandes Appendix: Glish Syntax and Grammar 1993-01-14 Metadata for Digital Libraries: Architecture and Design Rationale 1997-05-19 Adaptive Digital Beamforming in Cellular CDMA Systems Using Noniterative Signal Subspace Tracking 1997-03-13 Symbolic Reasoning about Noisy Dynamic Systems 1997-01-08 On The Real Time Dynamics Of Complex Singularities For Burgers' Equation 1970-01-01 Improvements on a Heuristic Algorithm for Multiple-Query Optimization 1999-02-23 Pure Type Systems without the Pi-condition 1996-07-08 Paula Severi An Explanation-Based Approach to Improve Retrieval in Case-Based Planning 1995-09-02 SIMPLE: A Methodology for Programming High Performance Algorithms on Clusters of Symmetric Multiprocessors 1998-09-05 David A. Bader With Quasi-linear Queries EXP is not Polynomial Time Turing Reducible to Sparse Sets 1997-07-07 Bin Fu Learning Symbolic Descriptions Of Shape For Object Recognition In X-Ray Images 1998-01-24 Marcus Maloof 2-1 Addition and Related Arithmetic Operations with Threshold Logic 1996-03-06 Distributed Job Scheduling in Rings Perry Fizzano 1995-11-22 The Power of Vacillation in Language Learning 1996-07-30 Constructing Multi-View Editing Environments Using MViews 1995-01-10 Implementation Of A Parallel Processing Architecture In An Integrated Remote Monitoring System 1997-10-22 A Virtual Mirror Interface using Real-time Robust Face Tracking 1998-05-01 Estimation Of The Number Of Jumps Of The Jump Regression Functions 1997-03-20 Peihua Qiu PARCEL and MIPRAC: Parallelizers for Symbolic and Numeric Programs 1992-05-11 Effective Bayesian Inference for Stochastic Programs 1997-09-12 GeRM: Generic RTP Multiplexing 1998-11-13 Internet-draft Mark Handley On Polygonal Covers 1996-10-28 A Software Architecture-Based Human-Machine Interface For Reconfigurable Sensor-Based Control Systems 1998-12-17 Self-certified keys - Concepts and Applications 1997-07-30 The SwitchWare Active Network Implementation 1998-08-10 A Scalable Key Distribution Hierarchy 1999-01-02 Michel Theory of Symmetry Breaking and Gauge Theories 1997-01-28 Paola Morando An Implementation of Complete, Asynchronous, Distributed Garbage Collection 1999-01-07 Automating Knowledge Acquisition for Machine Translation 1997-09-04 Kevin Knight A Constraint-Based Interactive Train Rescheduling Tool 1997-07-07 ViewPoint Oriented Software Development 1995-05-23 Multi-threading and Remote Latency in Software DSMs 1998-08-24 Rocco Caliandro 1998-09-21 Efficient Methods for Isoline Extraction from a Digital Elevation Model based on Triangulated Irregular Networks 1994-07-11 Marc Van Kreveld Separating Hippocampal Maps 1997-10-22 A Simple Scheme to Make Passwords Based on One-Way Functions Much Harder to Crack 1995-06-14 Udi Manber Smooth Exact Penalty and Barrier Functions for Nonsmooth Optimization 1999-05-03 Waltraud Huyer delta Arnold Neumaier On the Approximation of Pseudospectra of Nonnormal Operators by Discretization, Part I: the First Derivative Operator 1998-09-02 A. Harrabi HIT - A Hierarchical Environment for Interactive Test Engineering 1995-05-17 Initialization and Optimization of Multilayered Perceptrons 1997-07-01 Lie Theory of Differential Equations and Computer Algebra 1995-08-21 Gunter Czichowski Source Detection And Localization Using A Multi-Mode Detector: A Bayesian Approach 1998-09-18 Algorithms for Ontological Mediation 1998-03-09 Universal Pattern in e,e'p At Large Missing Momenta: Quasi-Deuteron Or Diffractive Final State Interactions? 1998-05-13 Forschungszentrum Julich Gmbh Uniform Acceleration Expansions for Markov Chains with Time-Varying Rates 1998-05-14 A Multimedia Constraint System or: do we have it MADE 1995-05-23 Symbolic Signal Processing 1998-03-31 Don H. Johnson Latest Comptel Results Ongalactic Black Hole Candidates 1996-12-02 Epistemological and Heuristic Adequacy Revisited 1997-01-15 Matthew L. Ginsberg Controlling Risk Exposure and Dividends Pay-out Schemes: Insurance Company Example 1998-11-06 Michael Taksar "Pseudo-Random" Number Generation within Cryptographic Algorithms: the DSS Case 1998-10-08 Structural Adaptation with TOPO 1999-04-06 Learning First-Order Acyclic Horn Programs from Entailment 1998-12-31 An Architecture for Argumentative Dialogue Planning 1996-03-01 Unstructured Grids On Nurbs Surfaces 1995-03-10 Jamshid Samareh-abolhassani A Record Calculus Based on Symmetric Concatenation 1998-07-26 A New Hashing Package for UNIX 1996-02-26 A Comparison of Genetic Programming Variants for Data Classification 1999-05-12 Exactly Learning Automata of Small Cover Time 1996-07-04 Control Variations With an Increasing Number of Switchings 1998-07-04 Matthias Kawski The `crckapb' Latex Style File: Instructions For Authors 1997-10-02 A. N. Oriented Matroids in Terms of Order Functions 1997-06-30 Renate Jaritz Support For Security In Distributed Systems Using Messiahs 1996-10-03 Learning Heuristics by Evolutionary Algorithms with Variable Size Representation 1997-06-18 Current-Mode 1998-04-02 Transaction Reordering in Replicated Databases 1998-08-28 Yiddish Verb-Topicalization and the Notion 'Lexical Integrity' 1996-02-11 New Selection of the e 1998-10-08 E. Merle A Logical View Of Concurrent Constraint Programming 1996-12-08 Symbolic Performance&Learning In Continuous-valued Environments 1997-05-15 Seth Olds Rogers Views, Objects, and Databases 1995-09-23 Gio Wiederhold Subtyping Constrained Types 1996-02-01 A Declarative Approach for First-Order Built-in's of Prolog 1996-04-04 The KPI Equation with Unconstrained Initial Data 1998-03-16 DLAB - A declarative language bias for concept learning and knowledge discovery engines 1996-07-08 Relative Performance of BPSK and QPSK in the Presence of Complex Multiuser CDMA Interference 1999-02-26 Generation, Control, and Simulation of Task Level Actions Based on Discrete Event Models 1994-12-01 Distance Induction in First Order Logic 1997-05-16 M. Sebag A short course on the Lie theory of Semigroups II - Lie Semialgebras 1995-08-21 Anselm Eggert RBF's, SBF's, TreeBF's, Smoothing Spline ANOVA: Representers and pseudo-representers for a dictionary of basis functions for penalized likelihood estimates 1997-09-06 Bounds on the minimum distance of the duals of BCH codes 1996-01-31 Daniel Augot The Progressive and the Imperfective Paradox 1997-10-10 Alex Lascarides On Fixed-Point Logic With Counting 1998-10-30 Data Model and Query Evaluation in Global Information Systems 1996-12-10 Modular Verification for Shared-Variable Concurrent Programs 1998-01-09 Jurgen Dingel Modeling Viruses and Processing Data With Icosahedral Harmonics 1998-11-09 Peter C. Doerschuk High-Performance Asynchronous Pipeline Circuits 1997-03-25 Automatic Text Recognition in Digital Videos 1996-05-13 Distribution and Persistence in the IK Platform: Overview and Evaluation 1995-09-01 TREC-6 1997 Spoken Document Retrieval Track Overview and Results 1998-11-25 Multigrid Preconditioning in Hdiv on Non-convex Polygons 1997-03-03 DRAFT Specification of the KQML Agent-Communication Language 1995-07-30 Topology of COBE Microwave Background Fluctuations 1996-01-16 Critical Motion Sequences for Monocular Self-Calibration and Uncalibrated Euclidean Reconstruction 1997-06-15 Peter Sturm Progressive Search and Retrieval in Large Image Archives 1998-05-26 Factors in Conceptual Modeling Influencing Evolvability of Information Systems 1997-05-07 Development of spatiotemporal receptive fields of simple cells: I. Model formulation 1998-01-24 Measuring Unix Kernel Performance 1998-12-21 M. Shand StructWeb: Biosequence structure searching on the Web using clpFD 1997-09-22 Boundary Operators for Constrained Parameter Optimization Problems 1997-04-25 Effects of Spatial Configuration on Contrast Detection 1999-01-27 Hierarchical Concurrency in Jade 1995-05-20 Commutation Methods For Jacobi Operators 1997-04-28 F. Gesztesy Collision-Free Hashing from Lattice Problems 1998-05-15 An Improved Interior-Point Approach for Use in Reservoir Operation 1996-11-20 On Performance and Area Optimization of VLSI Systems Using Genetic Algorithms 1996-09-16 The Grafting Map Of Teichmüller Space 1998-10-13 Multiple Representation Modelling and Querying 1994-05-03 Improving the Efficiency of AC Matching and Unification 1995-02-03 Steven M. Eker A Bornological Approach to Rotundity and Smoothness Applied to Approximation 1996-06-24 John Read Termination Proofs using gpo Ordering Constraints 1997-01-20 Toeplitz Quantization Of Kähler Manifolds And glN, N->infinity Limits. 1997-04-26 Very Long Term Retention Of Knowledge 1999-01-19 Regular Synthesis And Sufficiency Conditions For Optimality 1998-12-14 State-Space Abstraction for Anytime Evaluation of Probabilistic Networks 1994-05-27 Practical Considerations for Non-Blocking Concurrent Objects 1993-03-26 Identities Of Structure Constants For Schubert Polynomials And Orders On S_n 1998-07-02 Nantel Bergeron TAU: A Portable Parallel Program Analysis Environment for pC 1994-12-29 Implicit Modeling with Procedural Techniques 1998-06-24 Towards Precision Robotic Maneuvering, Survey, and Manipulation in Unstructured Undersea Environments 1997-12-04 Functional Simulation using Binary Decision Diagrams 1997-04-18 On The Dynamics Of A General Unitary Operator 1997-04-26 Oliver Knill A Hybrid Approach to Propagation Analysis 1997-09-11 Impact of Video Scheduling on Bandwidth Allocation for Multiplexed MPEG Streams 1996-08-09 Personal Distributed Computing: The Alto and Ethernet Software 1998-10-23 Butler W. Lampson Wavelet Regression By Cross-Validation 1998-12-26 G P Nason An Application-Independent Concurrency Skeleton in Ada-95 1996-05-24 MPI++: Issuesand Features 1997-12-26 Chimera Prototyping Tool: User Manual 1996-08-12 The MetaCrawler Architecture for Resource Aggregation on the Web 1997-06-04 Adaptive Niching via Coevolutionary Sharing 1997-10-08 Resource Spackling: A Framework for Integrating Register Allocation in Local and Global Schedulers 1994-12-06 The CMUnited-97 Small Robot Team 1997-12-22 Application Performance and Flexibility on Exokernel Systems 1998-02-09 Radio on Demand 1996-01-09 A Query Language for a Web-Site Management System 1997-09-12 A CG Tool for Constructing Anthropomorphic Interface Agents 1997-04-24 Osamu Hasegawa Active Motion Detection and Object Tracking 1995-10-23 Fourier Coefficients Of Eisenstein Series Of The Exceptional Group Of Type G 2 1998-11-19 An Interactive Constraint-Based System for Drawing Graphs 1998-02-26 Fast and Efficient Cache Behavior Prediction 1997-11-11 A Review of Media Space Systems and Current Research Directions 1994-06-07 Polymer Percus-Yevick Ideal Chain Approximation For The Lennard-Jones Chain Fluid 1997-07-30 A Layer Architecture for the Integration of Rules, Inheritance, and Constraints 1994-06-01 An Improved Algorithm for Performance Optimal Technology Mapping with Retiming in LUT-Based FPGA Design 1996-07-24 Collaborative Design using WWW 1996-05-03 Wrong-Path Instruction Prefetching 1994-11-14 Jim Pierce Dynamic Bayes Net Approach to Multimodal Sensor Fusion 1997-12-18 The AppLeS Project: A Status Report 1998-12-27 Richard Wolski Folding A Stack Of Equal Width Components 1970-01-01 Model Checking Large Software Specifications 1997-11-27 A Fake Smooth CP2#RP4 1997-08-21 Reasoning About Implicit Invocation 1998-08-14 UNIX Password Security 1994-10-02 Walter Belgers The Nonhomomorphicity of Boolean Functions 1999-03-24 Xian-mo Zhang Growing Artificial Neural Networks Based on Correlation Measures, Task Decomposition and Local Attention Neurons 1997-09-30 Reduction of Second-Order Unification to Simultaneous Rigid E-Unification 1995-06-01 Value Chain Analysis as an Enabling Technology for Optimal Application of Software Engineering Standards to Business Processes in Software Development Organisations 1997-08-11 Polymorphic Types in Higher-Order Logic Programming 1993-12-20 from fine structure in the Main Sequence based on Hipparcos parallaxes 1998-05-12 L. Portinari A Marker-Propagation Algorithm for Text Coherence 1997-10-14 Dynamic Reconfiguration of Sub-Optimal Parallel Query Execution Plans 1998-09-21 Preliminary Experiments with an Actively Tuned Passive Dynamic Running Robot 1997-06-27 Experience with an Analytic Approach to Teaching Programming Languages 1997-12-16 Christopher T. Haynes Automated Packet Trace Analysis of TCP Implementations 1997-08-06 Vern Paxson Orthogonal Rational Functions on the Unit Circle: Theory, Applications and Generalizations 1997-09-26 Incremental Mature Garbage Collection 1994-08-31 Language Learning from Texts: Mind Changes, Limited Memory and Monotonicity Extended Abstract 1998-08-12 Fast Curve Estimation Using Pre-Conditioned Generalized Radon Transform 1996-12-13 Extracting Alternative Machining Features: An Algorithmic Approach 1995-02-02 Medium Access Control for Synchronous Traffic in the AMNET LAN 1999-02-10 On Syntactic versus Computational Views of Approximability 1997-02-02 Influence of Channel Estimation on the Performance of a coherent DS-CDMA System 1997-10-17 File System Support for Multimedia Applications 1998-01-30 Thirumale N. Niranjan Qualitative and Quantitative Temporal Reasoning with Points and Durations Extended Abstract 1998-08-31 Visualizing Changes In 2-D And 3-D Shapes 1999-01-08 Metamathematics Of Contexts 1995-05-01 An ACL2 Proof of Write Invalidate Cache Coherence 1998-05-06 J Strother Moore Beautiful Physics at CDF 1998-01-11 G. Bauer CS 360: Advanced Artificial Intelligence Fall 1998 Schedule 1998-10-27 Facial Feature Extraction using Deformable Graphs and Statistical Pattern Matching 1999-03-04 A Particle Migrating Randomly on a Sphere 1996-12-23 David R. Brillinger A Global Road Scene Analysis System For Autonomous Vehicles 1997-05-30 On Signature Caching of Wireless Broadcast and Filtering Services 1996-01-30 Mobile Agents - Smart Messages 1998-05-20 DNA Simulation of Boolean Circuits 1997-12-05 Efficient Symbolic Detection of Global Properties in Distributed Systems 1999-02-12 Present and Future Methods of Mine Detection Using Scattering Parameters and an Artificial Neural Network 1997-11-12 Compiler support for an RMI implementation using NexusJava 1998-08-11 Decremental Biconnectivity on Planar Graphs 1997-10-06 Willy-b. Strothmann Reengineering: An Engineering Problem 1997-05-19 Peter H. Feiler Visual Navigation Using a Single Camera 1998-08-06 Jean-yves Bouguet Towards Full Automation of Deduction: A Case Study 1996-10-10 Matthias Fuchs Two-Scale Difference Equation: Local And Global Linear Independence 1970-01-01 Qiyu Sun A Calibration-Free, Self-Adjusting Stereo Visual Control System 1997-10-23 A Study of a University Department as an Electronic Community 1997-07-23 Aspects Of The Theory Of Infinite Dimensional Manifolds 1999-01-21 Synergistic Capabilities in Believable Agents 1994-04-27 W. Scott Reilly A 2nd generation autostereoscopic 3-D display 1995-12-22 SCR*: A Toolset for Specifying and Analyzing Software Requirements 1998-11-13 Automatic Test Generation Using Genetically-Engineered Distinguishing Sequences 1997-07-29 Nucleation, Kinetics and Admissibility Criteria for Propagating Phase Boundaries 1997-01-13 A Cryptographic Solution to Discretionary Access Control in Structurally Object-Oriented Databases 1994-08-12 Brain Research 1998-06-24 The Cartesian Product Problem and Implementing Production Systems o n Reconfigurable Meshes 1998-04-05 Neural Networks in Chinese Lexical Classification 1997-03-19 A Boundary-Sensitive Approach to Qualitative Location 1970-01-01 An Empirical Study of Smoothing Techniques for Language Modeling 1998-09-28 StopWatch: A Module for Portable Measurement of Execution Time 1997-03-28 William F. Mitchell A Tabu Search Approach for Scheduling Problem Under Labour Constraints 1997-10-03 Error-Based and Entropy-Based Discretization of Continuous Features 1997-08-21 MPI-Video Infrastructure for Dynamic Environments 1998-04-11 On Ordering Strategies in a Multigrid Algorithm 1997-03-21 Stefan Turek Interactive High-Dimensional Data Visualization 1999-01-08 Coordinating Rule-Based Software Processes with ESP 1993-04-29 Paolo Ciancarini Letter To The Editors 1998-07-17 Rose-colored Ganzfeld Learning Topological Maps with Weak Local Odometric Information 1997-10-16 Content-based 3D Neuroradiologic Image Indexing and Retrieval: Preliminary Results 1999-01-22 Design and Performance Evaluation of a Cache Assist to implement Selective Caching 1996-11-08 Smart: A Many-To-Many Multicast Protocol For ATM 1996-09-09 Timed and Hybrid Statecharts and their Textual Representation 1996-02-21 Resume 1994-12-09 Safe Static Type Checking With Systems of Mutually Recursive Classes and Inheritance. 1997-10-13 Kim B. Bruce Database Requirements for CIM Applications 1997-11-12 Stefan Vieweg Watermarking Schemes and Protocols For Protecting Rightful Ownership And Customer's Rights 1998-01-17 Applying Unconventional Methods To Tune High Energy Physics Models To Data 1996-12-04 Value Function Approximations and Job-Shop Scheduling 1995-06-01 Disk System Design for Guaranteeing Quality of Service in Interactive Video-on-Demand Systems 1998-03-24 Fast Separation of Reflection Components and its Application in 3D Shape Recovery 1996-12-06 Matthias Teschner Studying the Role of Embodiment in Cognition 1997-08-05 Maja J Matari'c The Power of Team Exploration: Two Robots Can Learn Unlabeled Directed Graphs 1996-01-08 Evolving Artificial Neural Networks for Medical Applications 1998-12-28 Gamma And The Chemical Reaction Model: Ten Years After 1998-08-31 New Bounds on the Information Rate of Secret Sharing Schemes 1996-03-04 Ptopp - A Practical Toolset For The Optimization Of Parallel Programs 1992-05-13 Patrick Earl Mcclaughry Anisotropy Of Cmbr And Gauge Invariant Cosmic Perturbation Theories --- Some Ambiguities And Problems 1997-03-03 Einstein-Weyl Geometry 1999-02-23 Programs for Solving Linear Equations in the PORT Library 1993-02-11 Linda Kaufman The SwitchWare Active Network Architecture 1999-01-29 Time Abstracted Bisimulation: Implicit Specifications and Decidability 1995-01-16 Kim G. Larsen TamingGri--ths'SingularitiesinLongRange Random IsingMo dels 1997-10-03 Dedicatedtothememory Ofroland Dobrushin Filled Pauses In Spontaneous Speech 1995-11-03 Providing Scalable Web Services Using Multicast Communication 1997-11-05 Load Balancing And Data Locality Via Fractiling: An Experimental Study 1996-01-16 Reinforcement Learning with Perceptual Aliasing: The Perceptual Distinctions Approach 1994-09-05 Lonnie Chrisman Commutator Properties for Periodic Splines 1998-05-04 I. H. Sloan Improved Separators by Multigrid Methods 1996-10-29 Using Natural Language Interfaces 1998-10-29 Efficient Transient Electrothermal Simulation of CMOS VLSI Circuits under Electrical Overstress 1999-03-19 A Promising Genetic Algorithm Approach to Job-Shop Scheduling, Rescheduling, and Open-Shop Scheduling Problems 1994-10-05 Preliminary Investigation of a Bayesian Network for Mammographic Diagnosis of Breast Cancer 1996-07-19 Charles E. Kahn Nonlinear Accelerator Problems Via Wavelets: 6. Representations And Quasiclassics Via Fwt 1999-03-25 Formal Specification and Verification of Object-Based Systems in a Temporal Logic Setting 1998-01-29 A DRT-based approach for formula parsing in textbook proofs 1998-09-16 A Componentized Architecture for Dynamic Electronic Markets 1998-10-23 Deriving the Aho-Corasick Algorithms: A Case Study into the Synergy of Programming Methods 1995-12-12 Rik Van Geldrop Introduction to the SEISMED Guidelines 1996-09-20 Constructing Bayesian Networks from WordNet for Word-Sense Disambiguation: Representational and Processing Issues 1999-04-07 An Interoperability Development Environment For Intelligent Information Systems 1998-11-07 Determining Mobile Robot Actions which Require Sensor Interaction 1995-08-22 On the Stability of Source Separation Algorithms 1998-06-18 Binary Join Trees For Computing Marginals In The Shenoy-Shafer Architecture 1999-02-03 Prakash P. Shenoy Inducing Search Methods from Proofs 1997-01-23 Raul H C Lopes A CCD/CMOS Focal-Plane Array Edge Detection Processor Implementing the Multi-Scale Veto Algorithm 1997-06-05 Lisa Dron Quantum Oblivious Transfer 1998-07-15 Methods in the Theory of Quasi Periodic Motions 1997-04-26 Giovanni Gallavotti A User's Guide to MPI 1970-01-01 Peter S. Pacheco Experiencing SELF Objects: An Object-Based Artificial Reality 1998-11-25 Fairness in Electronic Commerce 1998-06-26 N. Asokan Extraction of Driver Behavior Information from Traffic Video to Support Microscopic Traffic Simulation 1997-11-17 Quality of Service Management in Distributed Systems 1997-01-28 Automatic Resource list Compilation by Analyzing Hyperlink Structure and Associated Text 1998-03-31 Natural Language Based Inference Procedures applied to Schubert's Steamroller 1996-01-12 Rare Events for Stationary Processes 1998-10-19 Reliable Belief Revision 1999-03-17 Visualizing Dense Vector Fields using Line Integral Convolution 1998-12-15 Han-wei Shen An Efficient Interactive Algorithm for Regular Language Learning 1995-02-27 Simple Recurrent Networks and Natural Language: How Important is Starting Small? 1997-08-22 Exploiting Regularity for Low-Power Design 1996-08-29 The Mobile Object Layer: A run-time substrate for mobile adaptive computations 1998-09-09 Smooth Isosurface Approximation 1996-03-08 St. Bernard: The File Retrieving Softbot 1994-04-23 Richard Segal Pricing Risky Debt: An Empirical Comparison of Longstaff and Schwartz 1995 and Merton 1974 1997-12-02 A General Approach To Removing Degeneracies 1994-10-14 Static Priority Scheduling for ATM Networks 1997-12-10 Resume 1999-04-14 Sudhakar Kalluri REMOT: A Design for Multiple Site Remote Observing 1998-04-14 Information, Adaptive Contracting, and Distributional Dynamics: Bayesian Choice, Bose-EinsteinStatistics, and the Movies 1997-11-21 Feeding a Large-scale Physics Application to Python 1997-11-03 Analysis Of The Finite Precision Bi-Conjugate Gradient Algorithm For Nonsymmetric Linear Systems 1995-11-16 Quantum Transport of Composite Fermions in Narrow Constrictions 1998-12-04 D. V. Khveshchenko Pc-Atomic 1995-06-22 Joseph D. Touch Coarse-to-Fine Least Squares Motion Estimator 1995-01-31 Nuno Vasconcelos Local Embeddings of Lines in Singular Hypersurfaces 1999-01-19 On Performance of Caching Proxies 1998-09-01 Algebraic Geometry Over Finite Fields - With A View Towards Applications 1998-12-01 A new methodology for turbulence modelers using DNS database analysis 1997-06-18 Evaluation of Multiprocessor Allocation Policies 1994-11-27 Technical Aspects of Data Protection in Health Care Informatics 1996-09-20 Ron Kimmel 1997-07-28 Ron Kimmel Integrating Situations into a Theory of Discourse Anaphora 1997-09-16 David Milward On Computing the Subset Graph of a Collection of Sets 1997-08-11 Paul Pritchard Modelling Objects in PICT 1996-03-05 Specialisation Calculus and Communication 1997-06-30 Fixed Point vs. First-Order Logic on Finite Ordered Structures with Unary Relations 1993-08-12 Warping Template Finite Element Models Into Alignment With Subject Specific Image Data 1998-06-02 Two-Dimensional Dilaton Black Holes 1998-05-25 Topological Modeling with Fuzzy Petri Nets for Autonomous Mobile Robots 1998-06-07 The Case for Commercial Software 1996-02-12 Spectral Analysis of Packet Loss Rate at a Statistical Multiplexer for Multimedia Services 1997-09-25 Factoring via Strong Lattice Reduction Algorithms 1997-05-16 Characterizing Linear Size Circuits in Terms of Privacy 1996-11-15 +1 Formulation of Non-Ideal Hydrodynamics 1997-11-04 Jochen Peitz On Heterogeneous Distributed Geoscientific Query Processing 1996-05-14 A Conceptual Modelling Formalism for Temporal Database Applications 1996-01-08 High resolution optical and infrared spectroscopic observations of Cir X-1 1999-03-24 A Knowledge Media Approach Using Associative Representation For Constructing Information Bases 1999-01-18 Evolving Control Structures with Automatically Defined Macros 1996-06-13 Lee Spector On the Spectral Theory of Dispersive N-Body Hamiltonians 1997-06-16 Mondher Damak Scenario-Based Analysis of Software Architecture 1997-08-15 The No-Arbitrage Property under a Change of Num&#x00E9;raire 1997-06-25 Adaptive non-linear Predictor for Lossless Image Compression Minimal Thesis 1997-11-24 Design Rationale of the PURE Object-Oriented Embedded Operating System 1998-09-29 Stationary Nonequilibrium States in Boundary Driven Hamiltonian Systems: Shear Flow 1997-04-26 Nonlinear Optimal Control of a Hydraulically Actuated Positioning System 1997-03-14 Exact Geometric Collision Detection 1995-06-20 A Survey of Distributed Garbage Collection Techniques 1999-02-03 Validation Of Information System Models: Petri Nets And Test Case Generation 1997-07-04 Linear Types for Higher Order Processes with First Class Directed Channels 1995-10-20 Detecting Floor Anomalies 1995-10-26 Michael R. M. Jenkin Object Construction by Deduction for a 3D-Geo-Information System of a Mine 1997-05-28 WebSeAl: Web Server Allocation 1998-03-06 The Riesz-Clifford Functional Calculus for Non-Commuting Operators and Quantum Field Theory 1997-04-26 Modeling a cooperative development environment with CLOWN 1996-10-21 Extremal Problems for Affine Cubes of Integers 1999-04-21 Adding Service Discrimination to the Internet 1995-12-27 David D. Clark A new stereotaxic multiarchitectonic atlas of the human thalamus in a 3D MRI navigation system 1998-01-31 Parallel Implementation of an Active Chart Parser in Orca 1995-08-18 A. R. Sukul How to Sign Digital Streams 1970-01-01 .3 Disparity Component Matching for Visual Correspondence 1997-04-08 Feature Replenishment for Long-Term Visual Motion Tracking 1995-10-11 A Scheme for an Internet Encapsulation Protocol: Version 1 1991-07-01 D. L. Mills Selective Visualization of Vortices in Hydrodynamic Flows 1998-11-11 Adaptable Planner Primitives for Real-World Robotic Applications 1995-04-17 Scheduling Multithreaded Computations by Work Stealing 1970-01-01 M-theory Compactification and Two-Brane/Five-Brane Duality. 1998-05-14 B. S. Acharya Parallelization of Multi-Grid Methods Based on Domain Decomposition Ideas 1999-03-25 Michael Jung Multigrid Solution OfThe Navier-Stokes Equations On Highly Stretched Grids With Defect Correction 1995-06-13 Peter M. Sockol Restoration of Isotropy on Fractals. 1997-05-14 Relevant Examples and Relevant Features: Thoughts from Computational Learning Theory 1994-12-07 Avrim L. Blum On the Khintchine Constant 1998-11-05 Compact Transition Systems 1997-11-05 Algorithms for Cluster Busting in Anchored Graph Drawing 1998-04-04 Lecture Notes on Approximation Algorithms - Volume I 1997-06-23 Rajeev Motwani 1BC: a First-Order Bayesian Classifier 1999-01-11 Tracking Number A Directed Acyclic Graphs, One-way Functions and Digital Signatures Extended Abstract 1995-06-21 Multithreaded Architectures: Principles, Projects and Issues 1998-08-24 Compilation of Constraint Systems to Procedural Parallel Programs 1998-08-11 A New Algorithm For The SVD Of A Long Product Of Matrices And The Stability Of Products 1998-07-30 David E. Stewart A Comparison of Wavelet Coding Sequences for Noisy Channels 1995-09-12 Speedup Limits for Tightly-Coupled Parallel Computations 1998-06-24 Reinhard Schwarz Journal of Graph Algorithms and Applications 1998-05-18 Modeling ATM Networks in a Parallel Simulation Environment: A Case Study 1995-03-23 Nontrivial Fermion States in Supersymmetric Minisuperspace 1998-05-12 Coherence Approach to Logic Program Revision 1997-02-26 Global Arrays: A Non-Uniform-Memory-Access Programming Model For High-Performance Computers 1996-12-17 An Algebraic Specification of a Language for Describing Financial Products 1996-02-09 A Note on Learning from Multiple-Instance Examples 1997-10-02 Similarity Metrics: A Formal Unification of Cardinal and Non-Cardinal Similarity Measures 1997-06-30 The Proteus Presentation System 1995-08-25 Reform Prolog: The Language and its Implementation 1993-04-21 Cross-language information retrieval in Twenty-One: Using one, some or all possible translations? 1999-01-26 Techniques for Handling Scale and Distribution in Virtual Worlds 1996-09-03 Stereokineopsis: A survey 1996-07-10 Ecole Polytechnique De Montr'eal Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem 1995-01-10 Patrice Godefroid Ramsey's Numbers by Stochastic Algorithms with New Heuristics 1996-01-31 Jihad Jaam Unsupervised Learning in Constraint-based Morphological Disambiguation 1996-02-12 Kemal Oflazer Automatic Cross-Language Information Retrieval using Latent Semantic Indexing 1996-10-09 A Network Interface Unit To Support Continuous Media 1996-02-09 Reconstructing Algebraic Functions from Mixed Data 1997-09-04 Determining Subspace Information from the Hessian of a Barrier Function 1992-05-18 Margaret H. Wright Mobile Processes With Local Clocks 1996-12-20 Rational Agents, Limited Knowledge, and Nash Equilibria Extended Abstract 1995-12-05 A Framework for Deterministically Interleaved Interactive Programs in the Functional Programming Language Clean 1995-12-13 Peter Achten A Robust Affine Matching Algorithm Using an Exponentially Decreasing Distance Function 1998-02-03 Secure Communication in Non-Uniform Trust Environments 1998-04-27 Human Emotion Recognition from Motion Using a Radial Basis Function Network Architecture 1995-02-15 Robust State Sharing for Wide Area Distributed Applications 1997-09-19 Disseminating Active Map Information to Mobile Hosts 1994-12-23 Cantor Sets With Complicated Geometry And Modeled By General Symbolic Dynamics 1998-01-17 Luis M. Barreira Realizing Sets by Hash Tables: How to do it in KORSO 1995-03-01 Existence of Solutions for Unilateral Problems With Multivalued Operators 1995-10-27 Anna Maria Rossi Group Representations, Error Bases and Quantum Codes 1996-08-29 E. Knill Numerical Simulation Of The Three-Dimensionalmicro-Scale Dispersion Of Air-Pollutants In Regions With Complex Topography 1998-05-05 Handling Tradeoffs between Precision and Robustness with Incremental Focus of Attention for Visual Tracking 1996-11-19 Kentaro Toyama Applications of Contour Tracking Techniques 1996-12-06 Optimizing Parameters in a Ranked Retrieval System Using Multi-Query Relevance Feedback 1998-06-16 Adaptive Multimodule Routers 1998-10-26 Suresh Chalasani CS7321 Winter 1997: Computer Vision I Notes on Shading 1998-02-24 Irfan Essa Interpolation of Non-Smooth Functions on Anisotropic Finite Element Meshes 1997-03-07 Thomas Apel A Bound on Local Minima of Arrangements that implies the Upper Bound Theorem 1995-02-16 Kenneth L. Clarkson Special-Case Techniques for the Efficient Computation of the Iteration-Period Bound in Multirate Data-Flow Graphs 1995-07-07 Cosmic Microwave Background Radiation in the Direction of a Moving Cluster of Galaxies with Hot Gas: Relativistic Corrections 1998-08-04 S. Y. Sazonov The photoproduction of hybrid mesons from CEBAF to HERA 1998-05-15 Frank E. Close Homotopy and Critical Morphological Sampling 1997-10-27 Expected Mistake Bound Model for On-Line Reinforcement Learning 1997-04-16 Claude-nicolas Fiechter Development of An Approach to Language Identification based on Language-dependent Phone Recognition 1995-12-22 Integrating Reactivity, Goals, and Emotion in a Broad Agent 1995-06-16 Cvl: A C Vector Library - Manual Version 2 1997-02-04 On the Nature of Modal Truth Criteria in Planning 1994-04-11 Cyclic Segmented Parallel Prefix 1998-11-24 Computational Complexity of Planning and Approximate Planning in Presence of Incompleteness 1999-05-01 Group Membership and View Synchrony in Partitionable Asynchronous Distributed Systems: Specifications 1996-09-10 Monte Carlo study of the growth of striped domains 1997-09-11 Serverless Network File Systems 1997-01-30 Lie Groups and Error Analysis 1997-11-06 Jeremy Schiff Three XOR-Lemmas - An Exposition 1999-02-08 Oded Goldreich Multiuser Detection Techniques: An Overview 1998-11-19 Finding Similar Time Series 1997-05-05 Gautam Das Cryptography, Statistics and Pseudo-Randomness Part I 1995-05-31 Richard Gill Ffl Ffl Ffl 1998-06-05 Sample Method for Minimization of OBDDs 1998-06-26 Christoph Meinel Specification of a Program Derivation Editor 1994-12-12 Doctrines Whose Structure Forms A Fully Faithful Adjoint String 1997-02-12 F. Marmolejo Design for Testability of On-line Multipliers 1970-01-01 Design of BATRUN Distributed Processing System DPS 1995-06-06 Reasoning about Explicit and Implicit Representations of State 1995-05-04 Conditional Variance Reduction By Measurements on Correlated Field Modes 1996-12-13 A Priori Error Analysis of Residual-Free Bubbles for Advection-Diffusion Problems 1998-12-16 The Average Case Analysis Of Algorithms - Saddle Point Asymptotics 1996-04-29 Evaluation of All-Software Conventional Distributed Shared Memory on NOWs based on High Speed Networks 1997-05-06 Arif M. Bhatti End-to-End Routing Behavior in the Internet 1999-01-03 Vern Paxson An Interactive 3D Toolkit for Constructing 3D Widgets 1993-06-08 On the Design and Security of RC2 1997-12-31 The ParaStation Project 1996-09-25 Mixing Up Nondeterminism and Probability: a preliminary report 1998-06-09 The SUIF Control Flow Graph Library 1999-01-10 Cliff Young Small Forwarding Tables for Fast Routing Lookups 1970-01-01 Dynamic Virtual Logical Processes 1998-08-16 Tidal-Shock Relaxation: A Re-Examination of Tidal Shocks in Stellar Systems 1994-10-19 Jeremiah P. Ostriker A Parallel Radiosity System for Large Data Sets 1998-04-27 Towards the Validation of Inductive Learning Systems 1998-06-16 Predicting the Performance of Software Systems 1996-03-26 Chemical Composition of Halo and Disk Stars With Overlapping Metallicities 1997-07-14 P. E. Nissen Constant Thinning Protocol for Routing h-Relations in Complete Networks 1998-05-21 Anssi Kautonen Global Linear And Local Quadratic Convergence Of A Long-Step Adaptive-Mode Interior Point Method For Some Monotone Variational Inequality Problems 1996-10-23 Hands for Dexterous Manipulation and Powerful Grasping: A Difficult Road Towards Simplicity 1970-01-01 Antonio Bicchi Bound-state asymptotic estimates for window-coupled Dirichlet strips and layers 1997-09-25 An Argument for Simple COMA 1998-06-03 Planning Spiral Motion of Nonholonomic Space Robots 1997-03-06 Design and Performance of Parallel and Distributed Approximation Algorithms for Maxcut 1999-01-29 Utilisation de Grammaires en Programmation Logique Inductive 1997-11-13 Spatial Inhomogeneity and Thermodynamic Chaos 1996-03-19 Toward a Model of Intelligence as an Economy of Idiots 1998-06-19 Eric B. Baum Fixed-point Solutions for Ground Term Rewriting Systems 1998-11-03 Dorel Lucanu A Layered Architecture for Office Delivery Robots 1997-08-28 Applying a Machine Learning Workbench: Experience with Agricultural Databases 1995-07-20 A Higher Order Rewriting Logic for Functional Logic Programming 1996-09-24 Control of Systems with Repeated Scalar Nonlinearities 1999-01-06 Yun-chung Chu Blind Estimation of Multiple Digital Signals Transmitted over FIR Channels 1995-04-23 IVEE: An Information Visualization&Exploration Environment 1995-06-14 NOEMON: An Intelligent Assistant for Classifier Selection 1999-01-22 On Representation and Querying Incomplete Information in Databases with Multisets 1995-09-27 Problem Solving with Model-Generation Approaches based on PUHR Tableaux 1998-06-29 Planning for Modular and Hybrid Fixtures 1996-02-11 Dirichlet Points, Garnett Points, And Infinite Ends Of Hyperbolic Surfaces I 1996-03-26 Symmetry Of Tilings Of The Plane 1998-07-11 Charles Radin An Architecture for WWW-based Hypercode Environments 1996-08-09 A Reinforcement Learning Approach to On-line Clustering 1998-12-20 Aristidis Likas Compiling Lazy Functional Languages: An introduction 1995-10-04 Thomas Johnsson Active Detection and Classification of Junctions by Foveation with a Head-Eye System Guided by the Scale-Space Primal Sketch 1994-04-13 Simplifying Formulas of Linear Inequalities with Boolean Connectives 1998-06-24 Threshold Amplitudes for Transition in Channel Flows 1995-12-06 Evolution of Homing Navigation in a Real Mobile Robot 1997-05-15 Integrated Voice-Data Transmission in Packet PCN's 1998-11-10 Bifurcation Analysis for Timesteppers 1998-04-23 PARDIS: A Parallel Approach to CORBA 1997-02-11 On-line Secret Sharing 1996-11-28 Christian Cachin