Diffusion of Water in Swollen Polyvinyl alcohol Membranes Studied by Molecular Dynamics Simulation 1998-12-22 A Framework for Implementing Objects and Scheduling Tasks in Lock-Free Real-Time Systems 1996-09-13 Constraint Tightness and Looseness versus Local and Global Consistency 1997-05-06 Proof Verbalization in PROVERB 1997-05-20 Fast Lossy Internet Image Transmission 1995-08-21 A Scheme For Nesting Algorithmic Skeletons 1998-10-21 Iterative Feedback Tuning Of A Nonlinear Controller For An Inverted Pendulum With A Flexible Transmission 1998-04-30 The Paderborn University BSP PUB Library - Design, Implementation and Performance 1998-11-03 The WALRAS Algorithm: A Convergent Distributed Implementation of General Equilibrium Outcomes 1997-06-24 Report on the AES Candidates 1999-03-18 Triplet-Based Object Recognition Using Synthetic and Real Probability Models 1997-05-19 An Infinite Number of Monkeys 1995-06-28 David Beaver Alleviating the Latency and Bandwidth Problems in WWW Browsing 1998-12-03 Inductive Logic Programming 1999-02-03 A Short The TAMPR Program Transformation System: Design and Applications 1996-09-20 A New Methodology For Reducing Brittleness In Genetic Programming 1997-10-06 Modeling Computation and Communication Performance of Parallel Scientific Applications: A Case Study of the IBM SP2 1996-01-15 The Corrected Operator Splitting Approach Applied To A Nonlinear Advection-Diffusion Problem 1998-06-08 A Bornological Approach to Rotundity and Smoothness Applied to Approximation 1996-06-24 John Read Classical Limit Of The Quantized Hyperbolic Toral Automorphisms 1997-04-26 Hidden Markov Models and Their Mixtures 1996-08-13 SLIQ: A Fast Scalable Classifier for Data Mining 1996-03-21 The Density of States - a Measure of the Difficulty of Optimisation Problems 1998-10-16 Simple Type-Theoretic Foundations For Object-Oriented Programming 1996-08-18 JDK Versions 1999-01-08 Spring Vasant Honavar Specifying and Analyzing Dynamic Software Architectures 1998-01-15 On the power of shared object types to implement one-resilient Consensus 1997-02-05 Identifying the Information Contained in a Flawed Theory 1996-04-28 Sean P. Engelson High-Performance Asynchronous Pipeline Circuits 1996-10-25 With Them, the Equations in the Two-Dimensional Period Problem Become 1 1996-08-21 Reconstructed Intentions in Collaborative Problem Solving Dialogues 1997-08-21 XiPi Theta GammaDelta 1995-07-21 Representing Preferences as Ceteris Paribus Comparatives 1994-03-13 The Steiner Tree Problem for Terminals on the Boundary of a Rectilinear Polygon 1997-10-06 Siu-wing Cheng From Logic to Dialectics in Legal Argument 1998-10-08 Henry Prakken Admissible Pruning Strategies based on plan minimality for Plan-Space Planning 1995-04-21 Subbarao Kambhampati Distributed Object-Based Control Systems 1999-02-15 Robustness Measurement: An Approach To Assessing Simulation Program Reliability 1997-08-05 An Optimal, Stable Continued Fraction Algorithm for Arbitrary Dimension 1998-02-23 What is Wrong With Us? Improving Robustness Through Social Diagnosis 1998-04-09 Adaptive Signal Clustering Using Self-Organizing Neural Networks 1999-01-05 VSE: Formal Methods Meet Industrial Needs 1999-01-13 Singularity Detection And Processing With Wavelets 1991-03-19 Interval Computation as Deduction in CHIP 1997-07-03 Optimizing Queries over Multimedia Repositories 1996-05-27 2 Z Reference Manual 1998-12-21 Interactive Update Of Global Illumination Using A Line-Space Hierarchy 1997-05-05 Affine Toda Systems Coupled To Matter Fields 1998-05-25 Deterministic Onm Time Edge-Splitting in Undirected Graphs 1997-12-01 Learning Membership Functions in a Function-Based Object Recognition System 1995-10-23 Bayes and Pseudo-Bayes Estimates of Conditional Probabilities and Their Reliability 1999-01-04 James Cussens Convergence Analysis of Canonical Genetic Algorithms 1997-05-02 Unter Rudolph On Minimal Words With Given Subword Complexity 1998-07-22 Toward a Synthesis of Two Accounts of Discourse Structure 1997-06-16 Computer Systems Laboratory - Research Review 1995-10-05 Wavelets on the N-Sphere and Related Manifolds 1998-01-05 J. -p. Antoine Yen-Jen Lee, Wei-hsiu 1997-04-29 Abstract Data Types Are Under Full Control With Ada 9X 1995-02-13 Functional Debugging Of Systems-On-Chip 1970-01-01 A Multiagent Planning Architecture 1998-03-23 Global Search in Combinatorial Optimization using Reinforcement Learning Algorithms 1999-03-09 Experimental ATM Network Interface Performance Evaluation 1999-02-02 An Analytic Model For The Spatial Clustering Of Dark Matter Haloes 1998-05-25 New Properties For Discrete, Bilinear Time-Frequency Distributions 1996-04-09 Naive Bayesian Classifier Committees 1998-05-15 Zijian Zheng Partial Least Squares: A First-Order Analysis 1996-04-02 Petre Stoica Fast VQ Codebook Search in KLT Space 1998-11-30 Multilingual String-to-String Correction in Grif, a structured editor 1995-01-27 Patrice Frison First-Order Queries over Temporal Databases Inexpressible in Temporal Logic 1998-08-05 David Toman MultiFractal Grammars for more Complexity 1995-10-18 Infrastructure for Mobile Agents 1996-07-17 Combining Situation Calculus and Event Calculus 1995-02-09 Techniques for Simplifying the Visualization of Graph Reduction 1997-04-25 Hypertext Markup Language - 2.0 1995-09-22 Draft-ietf-html-spec-. Txt> D. Connolly Exact Learning Of Discretized Geometric Concepts 1998-10-22 Hexagonal Wavelet Processing of Digital Mammography 1996-11-01 Wavelet Radiative Transport and Surface Interaction 1996-09-17 Doctrines Whose Structure Forms A Fully Faithful Adjoint String 1997-02-12 F. Marmolejo An Efficient Algorithm for Terrain Simplification 1996-10-10 Reinforcement Learning: A Survey 1996-07-18 Analysis of Visual Information by Receptive Field Dynamics 1997-05-29 Christof Born Fluctuations in 2D reversibly-damped turbulence 1998-12-05 Layout of the Batcher Bitonic Sorter Extended Abstract 1999-01-03 Esprit Bra Iii Project Nat 7130 1996-03-28 Backward Stochastic Differential Equations with constraints on the gains-process 1997-10-13 An Asymptotical Variational Principle Associated with the Steepest Descent Method for a Convex Function 1996-06-24 B. Lemaire Self-Organized Criticality and Phase Transition in a Stochastic Sandpile Automaton 1997-03-01 Learning Texture Discrimination Rules in a Multiresolution System 1995-08-22 Unknown 1995-07-25 Dictionary-Based Order-Preserving StringCompression 1997-12-09 Document Layout by Executable Natural Semantics Specifications 1994-09-21 Pass or Fail: A New Test for Password Legitimacy 1995-08-24 Direction Weighted Shortest Path Planning 1996-12-16 Integrating Naming and Addressing of Persistent Data in Programming Language and Operating System Contexts 1995-03-10 Wavelet Methods for Radiance Computations 1994-07-07 Pat Hanrahan A Methodology for Developing an Error Taxonomy for a Computer Assisted Language Learning Tool for Second Language Learners 1998-12-09 Algorithmes G&#x00E9;n&#x00E9;tiques Hybrides Pour L'optimisation Combinatoire 1995-03-20 A Knowledge Based Method for Building a Software System Configuration 1997-01-10 Existence of Optimal Controls for Some Nonlinear Systems 1994-11-07 Thomas I. Seidman A Nonabstract Approach to Lattice Rule Canonical Forms 1998-03-23 Hyperflow: A Uniform Visual Language for Different Levels of Programming 1995-07-25 Takayuki Dan Kimura Hierarchical Concurrency in Jade 1994-04-19 Exokernel: An Operating System Architecture for Application-Level Resource Management 1999-01-07 Logic Programming in the LF Logical Framework 1995-05-05 Frank Pfenning Extremal Ideals of the Lattice of Multisets 1997-11-17 Syntax and Discourse: A Look at Resumptive Pronouns 1996-02-03 Ellen F. Prince A Test Case Generator for the Validation of High-Level Petri Nets 1997-07-04 Optimal, Unsupervised Learning in Invariant Object Recognition 1997-01-27 RANSAC-based DARCES: A New Approach to Fast Automatic Registration of Partially Overlapping Range Images 1970-01-01 Optimising Selection Of Units From Speech Databases For Concatenative Synthesis 1996-06-23 Union of All the Minimum Cycle Bases of a Graph 1997-12-26 Spatio-Temporal Segmentation of Video Data 1997-07-22 How Agents Do It In Stream Logic Programming 1995-04-08 A near real-time evolutive strategy for adaptive Color Quantization of image sequences 1998-07-21 Towards a Java Environment for SPMD Programming 1999-02-08 Topology B-Trees and Their Applications 1995-12-08 Decidable Theories of 1996-08-19 On Property-Like Structures 1997-10-28 Transmitted R. J. Wood A Linear Time Algorithm for Binary... 1995-12-19 On using degrees of belief in BDI agents 1998-04-16 File System Support for Search 1996-01-25 On the Number of Criteria Needed to Decide Pareto Optimality 1997-11-13 Group Extension Endomorphism Coordinates 1996-10-09 A. M. Dupr E Using Dirichlet Mixture Priors to Derive Hidden Markov Models for Protein Families 1994-10-27 Electronic Display System for Computational Holography 1996-03-30 Generalized Weighted Fairness Criterion : Formulation and Application on Prioritized ABR Service 1997-12-10 Decision Lists And Related Boolean Functions 1998-08-12 Physical Mapping of Chromosomes Using Unique Probes 1998-02-23 Magnetic Structures in a Dynamo Simulation 1998-01-29 Robust Triangular Solves for Use in Condition Estimation 1994-10-08 Edward Anderson Phase Separation Kinetics in a Model with Order-Parameter Dependent Mobility 1997-09-16 Model-based Geostatistics 1997-09-23 Integrating synchronous and asynchronous paradigms: the Fork95 parallel programming language 1996-04-17 Christoph W. Keßler Helmut Seidl Principles of Maude 1996-11-08 Building a Plan with Real-Time Execution Guarantees 1997-07-29 Daugman 1998-11-10 John Daugman On Predictable Operating System Protocol Processing 1995-02-28 Ada 9X Syntax Rules Draft 1995-12-16 Parallel Sparse Approximate Inverse Preconditioner 1999-04-07 A Methodology for Designing Correct Cache Coherence Protocols for DSM Systems 1970-01-01 Xiaowei Shen Learning to Make Rent-to-Buy Decisions with Systems Applications 1996-08-24 Successes in Logic Programs 1998-10-06 Multilevel Source Iteration Accelerators For The Linear Transport Equation In Slab Geometry 1995-01-13 C. T. Kelley An infinite-dimensional extension of a Poincar&#x00E9;'s result concerning the continuation of periodic orbits 1997-04-26 Paolo Perfetti Inverting Onto Functions 1996-05-02 An Object-Oriented Framework For Local Search Heuristics 1998-04-02 The Dynamics Of Stellar Winds: Their Structures And oiii Line Formation 1997-03-03 The Surface Distribution Of Carbon Stars In The Galaxy 1997-03-03 A Well-formedness Checker forµCRL 1997-03-03 How to Experiment 1998-05-06 Walter F. Tichy Representing Structure and Structured Representations in Connectionist Networks 1998-10-13 Lars Niklasson A Proposal to Merge Object Orientation, Logic Programming, and Multiple Tuple Spaces 1996-04-02 Combination and Integration of Declarative Approaches Full Paper and System Demonstration 1996-10-09 Achilles, Turtle, And Undecidable Boundedness Problems For Small Datalog Programs 1998-10-05 Resource Bounds for Self-Stabilizing Message-Driven Protocols 1970-01-01 Taking Articulation Work Seriously 1970-01-01 Review of Particle Physics: C. Caso 1998-06-10 Astronomy And Astrophysics 1999-04-08 Agents with Moral Sentiments in an Iterated Prisoner's Dilemma Exercise 1997-08-21 Learning in Linear Neural Networks: a Survey 1994-07-20 Polynomial Time Algorithms for Maximization Problems in Spaces With Polyhedral Norms 1997-11-30 Extensible Kernels are Leading OS Research Astray 1997-04-27 On Transaction Liveness in Replicated Databases 1997-09-03 Theory and Design of Signal-Adapted FIR Paraunitary Filter Banks 1997-09-03 Pierre Moulin Routing of the Fibers in Module 0 1999-03-23 Evolution of Protean Behavior in Pursuit-Evasion Contests 1998-07-27 Matrix Factorization using Distributed Panels on the Fujitsu AP1000 1995-12-08 Peter Strazdins Wavelet packet best basis selection on moderate parallel MIMD architectures 1996-03-21 Andreas Uhl Three-Dimensional Reconstruction of Microcalcification Clusters Within Excised Breast Lesions. 1995-05-25 Predicate Invention in Inductive Program Synthesis 1995-06-02 Pierre Flener Extending the Semantics of Logic Programs to Disjunctive Logic Programs 1995-09-10 Design and Implementation of a Configurable Mixed-Media Filesystem Extended Abstract 1995-12-07 CuPit-2 - A Parallel Language for Neural Algorithms: Language Reference and Tutorial 1997-03-04 Lutz Prechelt NP-Completeness of Searches for Smallest Possible Feature Sets 1994-10-31 M.I.T Media Laboratory Perceptual Computing Section Technical Report No. 344 Motion Estimation and Segmentation Using a Recurrent Mixture of Experts Architecture 1996-10-25 Stabilization of DAEs and invariant manifolds 1995-07-19 Mixing Exact and Importance Sampling Propagation Algorithms in Dependence Graphs 1996-01-30 Luis D. Hern'andez Cryptographic Limitations on Learning One-Clause Logic Programs 1996-11-25 William W. Cohen HOONets: Hierarchical Object-Oriented Petri Nets for System Modeling and Analysis 1998-11-18 Circuit Partitioned Automatic Test Pattern Generation Constrained by Three-State Buses and Restrictors 1997-11-25 Evolutionary Algorithms for Learning of Mobile Robot Controllers 1997-02-15 Finding Order in our World: 1997-11-26 Bruce J. Maclennan n-RTL Implementation 1998-10-05 A Novel Approach Towards Automatic Data Distribution 1996-09-11 Multichannel General Order Ftf Algorithm And Its Application To The Equalization Of Mobile Communication Channels 1996-01-04 Parallel Processing For Progressive Refinement Radiosity 1994-11-03 Tolga K. C Apin Models for Automated Earthmoving 1999-03-04 A Distributed Reinforcement Learning Scheme for Network Routing 1993-10-14 Indoor-Outdoor Image Classification 1997-11-26 Modular Arithmetic 1995-06-22 ELF: From The Programmer's Perspective 1995-05-18 Hongjiu Lu Reasoning with Concrete Domains 1999-04-07 Carsten Lutz Efficient Cost Models for Spatial Queries Using R-trees 1999-01-26 Mellin Transforms and Asymptotics: The Mergesort Recurrence 1996-07-06 Mordecai Golin The Role of Network Traffic Statistics in Devising Object Migration Policies 1997-02-14 Context-Dependent Hybrid Hme/hmm Speech Recognition Using Polyphone Clustering Decision Trees 1997-01-23 Towards Inductive Constraint Logic Programming 1998-01-29 Efficient Call Graph Analysis 1997-01-27 Concerning Relationships Between Cerebral Blood Flow, Synaptic Pruning, and Early Mental Development in Animals and Humans 1998-08-26 George A. Cowan High Level Scene Interpretation using Fuzzy Belief 1995-10-06 A Practical Method for Rigorously Controllable Hardware Design 1997-01-15 Adaptive Greedy Approximations 1996-10-15 Synthetic Data for Testing in Databases 1998-11-03 A Structural-Magnetic Strain Model For Magnetostrictive Transducers 1999-03-19 Gain Dynamics of Doped-Fiber Amplifiers for Added and Dropped Signals 1998-02-13 Logical Semantics and Language for Databases with Partial and Complete Tuples and Sets Extended Abstract 1998-07-16 Optimistic Programming in PVM 1999-01-24 Crispin Cowan Loop Optimization for Aggregate Array Computations 1997-03-24 A New Distributed Reservation Multiple Access scheme for the AVPAC Channel 1999-03-29 Simulation Of Cross Flow Past A Tube Bank Employing An Adaptive Parallel / Vector Finite Element Procedure 1970-01-01 On the Knowledge Underlying Multimedia Presentations 1995-04-21 EE572 Final Report Distal Supervised Learning for Solving Inverse Kinematic Problems 1996-02-16 Robust Feature Tracking 1999-02-12 Implementation of a Data-Parallel Concurrent Constraint Programming System 1994-10-10 Bo-ming Tong Lifting Witt Subgroups to Characteristic Zero 1998-08-14 Alan Koch Web-Browser Access Through Voice Input and Page Interest Prediction 1997-06-09 A 9.5mW 330usec 1024-point FFT Processor 1998-02-06 Bevan M. Baas A Research Agenda for Multimedia Networking 1995-07-26 Aurel A. Lazar JavaNative Interface Specification 1997-05-06 Load Balancing Strategies For Distributed Memory Machines 1996-12-06 GA-based Performance Analysis of Network Protocols 1997-12-27 Resolution of seismic waveform inversion: Bayes versus Occam 1997-10-27 Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages 1995-01-18 A Contiguity-Enhanced K-Means Clustering Algorithm for Unsupervised Multispectral Image Segmentation 1998-01-20 A Connectionist Approach to Word Reading and Acquired Dyslexia: Extension to Sequential Processing 1998-09-17 David C. Plaut Stochastic Finite Element Analysis for Multiphase Flow in Heterogeneous Porous Media 1998-04-15 Planning for Change: A Reconfiguration Language for Distributed Systems 1997-12-11 Software Agents: An Overview 1997-04-11 Hyacinth S. Nwana Bounded-Skew Clock and Steiner Routing Under Elmore Delay 1995-08-31 Specification-based Test Oracles for Reactive Systems 1994-02-23 DECALS: Distributed Experiment Control and Logging System 1998-02-11 Provably Efficient Scheduling for Languages with Fine-Grained Parallelism 1998-11-12 View Maintenance in a Warehousing Environment 1999-01-18 OTERS On-Tree Efficient Recovery using Subcasting: A Reliable Multicast Protocol 1998-08-21 Likelihood-based Causal Inference 1995-12-29 Qing Yao Task Assignment on Distributed-Memory Systems with Adaptive Wormhole Routing 1994-02-07 Asymptotic Behavior of Hill's Estimator for Autoregressive Data 1996-08-15 Use Of A Theorem Prover For Transformational Synthesis 1995-10-19 The Computational Requirements of Mobile Machines 1997-12-23 The Design of the CADE-13 ATP System Competition 1996-01-30 Facial Automated Composition and Editing kit. 1995-12-18 Brian Dowd Polyhedral 1995-05-26 Applications of Time-Bounded Kolmogorov Complexity in Complexity Theory 1995-09-15 Eric Allender A Topology Based Approach For Exploiting Sparsity In Multibody Dynamics. Joint Formulation 1997-09-29 A Survey of Logging Uses 1995-03-10 Michel Ruffin Evaluation of Sampling for Data Mining of Association Rules 1996-05-08 Randomness, Interactive Proofs and Zero-Knowledge 1999-02-07 Oded Goldreich the miniature. The user 1997-05-12 The Instabilities Of Accretion Disks With Radial Advection 1997-03-03 Xue-bing Wu Persistent Store Interface: A foundation for scalable persistent system design 1998-08-13 Stephen Michael Blackburn Complexity 1998-02-07 Eric Ristad On-Line Parameter Estimation For Infinite-Dimensional Dynamical Systems 1970-01-01 CHI 96 105 Maes Wexelblat 1996-04-26 A duration model for phonetic units in isolated Dutch words 1992-05-29 Interior Point Methods in Stochastic Programming 1994-08-24 Predicate Migration: Optimizing Queries with Expensive Predicates 1995-06-04 PLinda 2.0: A Transactional/Checkpointing Approach to Fault Tolerant Linda 1997-05-28 Performance Analysis of pC++: A Portable Data-Parallel Programming System for Scalable Parallel Computers 1994-10-12 A Bibliography of Project Gutenberg 1970-01-01 Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits 1998-10-13 Data Compression and Harmonic Analysis 1998-10-29 Matching and Clustering: two Steps towards Automatic Object Modelling in Computer Vision 1995-08-29 Global Trajectory Planning for Fault Tolerant Manipulators 1998-12-17 , M. Aste, R. Cattoni B. Caprile 1997-02-17 Neighbour-Based MLPs 1970-01-01 Modeling and Verifying a Bounded Retransmission Protocol 1996-07-19 Human-Agent Communication 1998-08-21 Ian Dickinson Mobile Robot Autonomy Via Hierarchical Fuzzy Behavior Control 1996-08-09 Edward Tunstel The System for Ethiopic Representation in ASCII 1996-12-30 Coordinated Atomic Actions: from Concept to Implementation 1997-05-30 Optimal Code Motion for Parallel Programs 1997-09-24 Testing Parallel Multidimensional Integration Algorithms 1970-01-01 Sources Of Bias In Particle-Mesh Methods For Pdf Models For Turbulent Flows 1997-08-28 Partitioning an Array onto a Mesh of Processors 1996-12-02 Fredrik Manne Existence of a Solution for Generalized Vector Variational Inequalities 1996-07-02 Experimental Evaluation of SunOS IPC and TCP/IP Protocol Implementation 1996-06-03 Undecidable Verification Problems for Programs with Unreliable Channels 1997-11-26 Geometry of One-Dimensional Wave Propagation 1998-05-12 M. Kitano Multiplicative Cascade Models and Multifractality 1997-05-14 Michael Blank AssessingAgreement on Classification Tasks: The Kappa Statistic 1996-01-31 Jean Carletta On a Problem of Potential Wells 1995-10-27 WAXweb: Toward Dynamic MOO-based VRML 1995-08-01 Parallel Array Grammars as Models for the Growth of Planar Patterns 1997-04-27 A Measurement-Based CAC Strategy for ATM Networks 1997-10-10 Optimal Sampling For Genetic Algorithms 1996-09-13 An Analysis of Dynamic Branch Prediction Schemes on System Workloads 1996-10-14 The Jet-Disk Symbiosis 1999-01-27 A Comparative Study of ID3 and Backpropagation for English Text-to-Speech Mapping 1994-09-13 Optimizing Queries across Diverse Data Sources 1998-01-12 Detecting modes with nontrivial dynamics embedded in colored noise: Enhanced Monte Carlo SSA and the case of climate oscillations 1999-02-09 Milan Palus "Fractal" Types: an Attempt to Generalize Hash Table Calculation 1998-05-25 J. N. Oliveira Operations with Fuzzy Numbers Explain Heuristic Methods in Image Processing 1998-03-09 Macroscopic 1998-05-22 Modular Operads 1997-02-12 E. Getzler Truly Concurrent Constraint Programming 1997-08-21 OHP: A Draft Proposal for a Standard Open Hypermedia Protocol 1996-03-29 RTP Profile for Audio and Video Conferences with Minimal Control 1970-01-01 Internet-draft H. Schulzrinne Low Rank Off-Diagonal Block Preconditioners For Solving Sparse Linear Systems On Parallel Computers 1996-02-02 Efficient Verification and Synthesis using Design Commonalities 1999-02-15 Connecting Visual and Verbal Space: Preliminary Considerations Concerning the Concept `Mental Image' 1994-11-30 Jorg R. J. Schirra The Semantics of Behavioral VHDL'93 Descriptions 1996-06-24 A Note On the Unification of the Akaike Information Criterion 1998-02-10 Discrepancy of Matrices of Zeros and Ones 1999-02-23 Richard A. Brualdi Navigation And Retro-Traverse On A Remotely Operated Vehicle 1998-01-27 Karl Murphy Yingfeng Oh and Sang H. Son May 24, 1993-05-25 Analysis and Compilation of Constraint Solving Algorithms: A Case Study 1996-04-02 Panagiotis Tsarchopoulos Steady-State Drug Concentration Profiles Using a Numerical Model for Elimination 1970-01-01 Vacuum Structure, Lorentz Symmetry And Superluminal Particles i 1997-04-26 L. Gonzalez-mestres ALSO: A Language for Extensible Multi-user Systems 1996-08-26 Andrew C. Myers Optimal Bounds for the Change-Making Problem 1996-10-11 Dexter Kozen Propositional Lax Logic 1998-01-23 Path Dictionary: A New Approach to Query Processing in Object-Oriented Databases 1996-07-25 Mechanical Integrators Derived from a Discrete Variational Principle 1996-10-31 Donald E. Knuth 1997-12-26 Donald E. Knuth Distinguishability Condition and the Future Subsemigroup 1995-08-21 Learning by Online Gradient Descent 1994-07-07 Optimization of Instruction Fetch Mechanisms for High Issue Rates 1995-10-25 A Shape Metric for Design-for-Assembly 1998-12-19 Partition Search 1996-03-26 Matthew L. Ginsberg A Characterization Framework for Software Deployment Technologies 1998-05-29 Parallel Monte Carlo Simulation of Three-Dimensional Flow over a Flat Plate 1996-03-16 Draft of the contribution to pixel performance parts of TDR 1997-04-14 Cppm Marseille Learning in Order to Reason: The Approach 1998-03-20 Dan Roth Formalized Mathematics 1996-08-14 Improving TCP Throughput over Two-Way Asymmetric Links: Analysis and Solutions 1998-03-20 Machine-Independent Evaluation of Theorem-Proving Strategies 1998-06-06 Maria Paola Bonacina Decision-theoretic Planning for Autonomous Robotic Surveillance 1999-02-16 Development of ATM Analysis Software, 1970-01-01 Scheduling Uniform Loop Nests 1996-09-24 M. Wobisch 1998-06-02 M. Wobisch Automated Theorem Proving in a Simple Meta-Logic for LF 1998-11-24 On the Learning of Rule Uncertainties and their Integration into Probabilistic Knowledge Bases 1997-09-23 Universit'e de Montr'eal, C.P. 6128, Succ A, Montr'eal, QC H3C 3J7, CANADA Electronic-mail: 1970-01-01 SLICOT Drives Tractors! 1999-01-26 Spherical Wavelets: Texture Processing 1997-12-19 Peter Schroder Conformal field theory approach to gapless 1D fermion systems and application to the edge excitations of . . . 1998-03-10 Image Watermarking for Secure Transmission over Public Networks 1999-02-03 Programming Language Support for Digitized Images or, The Monsters in the Closet 1999-03-28 Unknown 1998-12-09 NWO-P: Parallel Simulation of the Alewife Machine 1997-09-02 Estimating from Outputs of Oversampled Delta-Sigma Modulation 1996-09-27 Structured Gamma 1996-05-14 Graph Ramsey Theory and the Polynomial Hierarchy 1998-03-31 Marcus Schaefer Naming Guidelines for Directory Pilots 1993-02-07 P. Barker Relating Clinical and Neurophysiological Assessment of Spasticity by Machine Learning 1997-06-18 On the Convergence and the Applications of the Generalized Simulated Annealing 1999-01-19 Distributed Tool Services Via the World Wide Web 1999-05-04 Bounds For Disconnection Exponents 1996-03-31 W. Werner Using Permutations in Regenerative Simulations to Reduce Variance 1997-12-03 Department of Psychology; 1202 W. Johnson Street Madison, WI 53706 USA 1997-12-30 Morton Ann Gernsbacher A Goal ascription based approach to Conversational Implicature 1995-06-15 Mark G. Lee On Stabilization Methods of Descriptor Systems 1997-03-06 Multiresolution Model Development For Overlapping Trees Via Canonical Correlation Analysis 1996-01-18 Gauge Independence of the Bubble Nucleation Rate in Theories With Radiative Symmetry Breaking 1998-05-14 Using the Modified Phong Reflectance Model for Physically Based Rendering 1996-03-27 LAPACK Working Note 2 Block Reduction of Matrices to Condensed Forms for Eigenvalue Computations 1994-10-08 A New Framework for Image Invariants using Basis Expansion 1997-03-22 Yuan-fang Wang A Ray Tracing Method for Illumination Calculation in Diffuse-Specular Scenes 1994-09-19 Peter Shirley Logic-based Plan Recognition for Intelligent Help Systems 1997-01-13 Finding Cores of Limited Length 1997-05-19 Speech Recognition Using Syllable-Like Units 1998-06-23 Machine Abstractions and Locality Issues in Studying Parallel Systems 1993-11-13 Programming Parallel Algorithms 1997-02-04 Guy E. Blelloch On the Role of Scenarios in Object-Oriented Software Design 1996-02-05 Aerodynamic Optimization Of A High Speed Civil Transport On Parallel Computers 1996-11-04 Learning Stationary Temporal Probabilistic Networks 1998-03-06 Daniel Nikovski Tickets and Currencies Revisited: Extensions to Multi-Resource Lottery Scheduling 1999-03-22 A General Conservative Extension Theorem in Process Algebra 1995-02-17 C. Verhoef Database Integration using the Open Object-Oriented Database System VODAK 1995-08-01 Variation in the Assimilation of Igbo Vowels in Hiatus 1997-01-05 Naomi Nagy P++: A Language for Software System Generators 1995-02-22 Data Allocation for Unsupervised Decomposition of Switching Time Series by Predictive Modular Neural Networks 1998-09-20 Document Retrieval In OCR-Scanned Text 1997-08-28 David Hawking Tracking Human Motion In An Indoor Environment 1995-06-29 Fast True Delay Estimation During High Level Synthesis 1997-03-25 A Note On A Profit Maximizing Location Model 1997-02-27 Shuzhong Zhang Parallel Lifts And Holonomy Along Density Operators: Computable Examples Using O3-Orbits. 1997-04-26 Armin Uhlmann Dealing With Fuzziness In Active Mobile Database Systems 1999-03-08 Expressing and Detecting Control Flow Properties of Distributed Computations 1994-11-07 Text Categorization with Support Vector Machines: Learning with Many Relevant Features 1998-12-27 Empirical Bayesian Spatial Prediction Using Wavelets 1999-03-10 Helical Strands in the Jet-like Narrow Line Region of ESO 428-G14 1999-01-27 F5.308e+05>ORTHOGONALITY OF CARDINAL B-SPLINES IN WEIGHTED SOBOLEV SPACES<F4.162e+05><F4.039e+05> 1999-03-23 Ulrich Reif<f. E+> +<f. E Correlation-Induction Techniques For Estimating Quantiles In Simulation Experiments 1998-08-18 Characterizing Temporal Abductive Diagnosis 1998-02-05 An Argument for Simple COMA 1998-02-11 Managing Very Large Scientific Data Collections 1998-10-19 Chaitanya Baru Dynamic Process Management in CLAM 1998-04-20 L'inf'erence Grammaticale R'eguli`ere Vue Comme Un Probl`eme De Coloriage Et Propagation De Contraintes Sur Un Graphe 1998-05-18 Jacques Nicolas DNA Implementation of Simple Horn Clause Computation 1997-04-09 On The Selection Of Natural Scales For Representing Gray-Level Shape 1996-01-27 Robert Fleischer 1970-01-01 Autonomous Replication in Wide-Area Internetworks 1999-02-11 James Gwertzman Closure Properties of Constraints 1997-06-12 Logic Synthesis and Optimization Benchmarks User Guide Version 3.0 1997-03-24 Saeyang Yang Spatial Division Multiple Access SDMA in Wireless Communications 1995-02-20 On Modelling Inconsistencies in Software Development Processes with Graph Based Notations 1997-06-20 FLEX: A Tool for Building Efficient and Flexible Systems 1993-06-09 Integrating Robotic Research: A Survey of Robotic Wheelchair Development 1998-01-20 Holly A. Yanco Efficient Stochastic Source Coding and an Application to a Bayesian Network Source Model 1998-08-26 Automatic Rule Induction for Unknown Word Guessing 1997-04-22 Andrei Mikheev Multireception Service for a multimedia News Application 1996-01-02 Curve Extraction in Images Using the Multiresolution Fourier Transform 1997-09-20 An Analog Interpretation of Compression for Digital Communication Systems 1995-12-13 A Survey and Experimental Evaluation of Proximity Sensors for Space Robotics 1998-11-17 MCSPARSE: A Parallel Sparse Unsymmetric Linear System Solver 1970-01-01 The Transformation Calculus 1994-05-02 Jacques Garrigue Restoration of Atmospherically Blurred Images by Symmetric Indefinite Conjugate Gradient Techniques 1970-01-01 Agent-Based Architecture Modelling for Interactive Systems 1996-01-08 L. Salber Statistical Properties of a Near-Optimal Measurement-Based CAC Algorithm 1997-08-19 The Church-Rosser Property for . . . 1996-12-19 Herman Geuvers Scene Description Issues for Computer Graphics 1996-02-13 Are Artificial Neural Networks Black Boxes? 1996-05-02 A class of Heath-Jarrow-Morton models in which the unbiased expectations hypothesis holds 1970-01-01 Experiments In Information Retrieval From Spoken Documents 1998-10-21 Lambda Definability with Sums via Grothendieck Logical Relations 1999-01-04 Marcelo Fiore Generalized Constraint Generation in the Presence of Non-Deterministic Parasitics 1996-08-21 A Study of the Use and Evaluation of Confidence Measures in Automatic Speech Recognition 1998-03-22 Gethin Williams Is Code Equivalence Easy to Decide? 1997-12-08 A New Astrophysical Constraint on Radiatively Decaying Neutrinos 1998-05-14 Shiv K. Sethi Online Network Optimization Problems 1997-09-27 The Existence of Schröder Designs with Equal-sized Holes 1995-10-23 A potential reduction variant of Renegar's short-step path-following method for linear programming 1994-02-11 Dartmouth College Computer Science Performing BMMC Permutations Efficiently on Distributed-Memory Multiprocessors with MPI 1970-01-01 Thomas H. Cormen Long-Time Behaviour And Co-Existence In A Mutually Catalytic Branching Model 1998-05-19 Classification Systems And Information Service In The Library Of Sao Ras 1997-03-06 G. S. Shvedova A STARS Case Study in Process Definition 1996-03-21 Carol Diane Klingler Decomposing Typed Lambda Calculus Into a Couple of Categorical Programming Languages 1996-12-17 Masahito Hasegawa Tableaux for Diagnosis Applications 1997-05-21 A Simulation and Optimization Environment for Models in Computational Neurobiology 1997-06-18 A Generalized Hidden Markov Model for the Recognition of Human Genes in DNA 1997-02-20 An Analysis Of A Preconditioner For The Discretized Pressure Equation Arising In Reservoir Simulation 1996-03-05 Rounding Face Lattices in 1996-06-24 Victor Milenkovic Performance of Inverted Indices in Shared-Nothing Distributed Text Document Information Retrieval Systems 1997-03-13 Probabilistic Algorithms and Complexity Classes 1998-01-20 Ryuhei Uehara Modeling Action, Knowledge and Control 1998-05-22 Models For The Single Blow Problem 1998-03-24 A "Best-Next-View" Algorithm for Three-Dimensional Scene Reconstruction Using Range Images 1970-01-01 Generalized Projections: A Powerful Approach to Aggregation 1996-06-27 Binary Search Trees: How Low Can You Go? 1996-08-09 Rolf Fagerberg Frankl-Furedi Type Inequalities for Polynomial Semi-lattices 1997-12-26 Analysis of RC Interconnections Under Ramp Input 1997-08-14 BRST Quantization of String Theories 1995-10-12 Werner M. Seiler Naive Bayesian classifier within ILP-R 1996-05-31 Ring-Based Ordering Protocols 1996-04-04 Query optimization for GIS using filters 1993-12-16 PDATS: Lossless Address Trace Compression for Reducing File Size and Access Time 1994-05-13 Improved Response-Time Analysis Calculations 1998-09-18 Galaxies And Dust At High Redshift 1997-03-03 The Hierarchical Multi-Bank DRAM: A High-Performance Architecture for Memory Integrated with Processors 1998-03-21 Real-Time Mach: Towards a Predictable Real-Time System 1993-12-20 Identifying loops using DJ graphs 1995-09-24 Implementation Experience with Building an Object-Oriented View Management System 1993-12-22 Direct Analysis of Spectra of the Type Ic Supernova 1994I 1999-02-17 The NuMesh: A Modular, Scalable Communications Substrate 1993-04-14 Web Content Adaptation to Improve Server Overload Behavior 1999-04-23 Inversion In Time 1998-09-29 Dynamic Source Routing in Ad Hoc Wireless Networks 1999-02-19 Discovering Concepts in Structural Data 1998-05-22 Yves Caseau Peter Koppstein Bellcore, 445 South Street, Bellcore, 444 Hoes Lane Morristown NJ 07962-1910 Piscataway NJ 08854-4182 caseau@bellcore.com pk@ctt.bellcore.com 1997-10-17 Improvements in Computing Multiple Phase Flows 1970-01-01 M-Lattice: A Novel Non-Linear Dynamical System And Its Application To Halftoning 1994-04-15 Missing Covariates in Time Series with Regression 1996-02-06 Op'erateurs Diff'erentiels Invariants Hyperboliques Sur Un Espace Sym'etrique Ordonn'e 1996-10-16 Jacques Faraut Rules and Representations: Chomsky and Representational Realism 1996-03-20 Zenon Pylyshyn Detecting Global Predicates in Distributed Systems with Clocks 1999-01-14 Scott D. Stoller Jump-Keeping and UpwindTransfer in MultiGrid for Upwind Schemes 1996-10-29 A Machine Learning Approach to Error Detection and Recovery in Assembly 1996-02-12 Design Of Finite Wordlength IIR Filters With Prescribed Magnitude, Group Delay And Stability Properties Using Simulated Annealing 1996-01-25 Towards Designing Artificial Neural Networks by Evolution 1998-12-28 Array Data Flow Analysis for Load-Store Optimizations in Fine-Grain Architectures 1997-06-24 Rajiv Gupta Wsjcam0: A British English Speech Corpus For Large Vocabulary Continuous Speech Recognition 1996-12-06 Conditional Studentized Survival Tests for Randomly Censored Models 1998-06-12 K A I S T Department of Computer Sci 1999-04-23 Inference in Cognitive Maps 1994-03-13 Michael P. Wellman Thermal Test and Monitoring 1996-02-11 Internet Telephony: Architecture and Protocols an IETF Perspective 1998-07-02 A Concrete Z Grammar 1998-12-27 Yoram Last and Barry Simon 1997-04-26 Eiji Ogasa 1997-05-23 Eiji Ogasa Efficient Collective Operations with ATM Network Interface Support 1996-05-16 Unknown 1997-03-06 Douglas C. Schmidt Towards a Design-Based Analysis of Emotional Episodes 1995-11-01 Polarization State Selection and Switching in VCSEL's 1996-01-26 Regular infinite dimensional Lie groups 1997-01-29 A Delay Damage Model Selection Algorithm for NARX Neural Networks 1997-11-19 New Topologies for Parallel Systems With Optical Interconnections 1997-09-30 Communication Latency Hiding - Model and. . . 1996-01-13 Middleware Support for Open Distributed Applications 1998-03-26 Radial Symmetry of Positive Solutions of Nonlinear Elliptic Equations 1998-11-01 Steven D. Taliaferro Extrapolation of Numerical Solutions for Elliptic Problems on Corner Domains 1997-09-28 Controlling Evolution by means of Machine Learning 1997-11-13 Improving the Performance of Audio-Based Similarity Queries with Clustering 1999-02-18 Creating Specifications from Code: Reverse-Engineering Techniques 1994-05-19 Average-Case Analysis of Isospeed Scalability of Parallel Computations on Multiprocessors 1998-08-26 On Resource-Bounded Instance Complexity 1995-05-09 Pronunciation Variations In Emotional Speech 1998-05-17 Dynamic Competences and Firm Performance 1997-11-26 Revisiting the decomposition of Karp, Miller and Winograd 1996-09-25 Notes On Suffix Sorting 1998-07-06 N. Jesper Larsson A Formal Specification of dMARS 1998-01-22 Using Learned Dependencies to Automatically Construct Sufficient and Sensible Editing Views 1995-01-07 Jeffrey C. Schlimmer DNA Sequence Analysis using Hierarchical ART-based Classification Networks 1996-02-05 Fast Algorithms for Wavelet Transform Computation 1997-06-24 Computation of Bifurcation Boundaries for Power Systems: a New 1998-09-08 Languages Defined With Modular Counting Quantifiers 1999-01-07 Howard Straubing Investigating Speech Quality By Homomorphic Deconvolution 1998-01-28 Hitch hiker's Guide to ESQIMO - Computational model for analogy solving in IQ-tests 1998-11-24 Object-Oriented Modeling Of Power-Electronic Circuits Using Dymola 1997-03-12 Learning logic programs with structured background knowledge Extended Abstract 1996-02-29 Real Time Asymptotic Packing 1997-12-26 Joel Spencer Distributed Object Management 1998-11-07 Finding Frequent Substructures in Chemical Compounds 1998-06-15 Utopia: A Load Sharing Facility for Large, Heterogeneous Distributed Computer Systems 1992-11-30 An Algorithm for All-du-path Testing Coverage of Shared Memory Parallel Programs 1998-06-09 Category, Measure, Inductive Inference: A Triality Theorem and its Applications 1997-02-04 Carl H. Smith An Evening with Berferd In Which a Cracker is Lured, Endured, and Studied 1993-08-08 Bill Cheswick Lygon 0.7 1996-10-14 Michael Winikoff Supporting Fine-Grained Data Lineage in a Database Visualization Environment 1997-04-11 The Bird-Meertens Formalism as a Parallel Model 1999-02-10 D. B. Skillicorn Compile-Time Schemes for Mapping Loop Parallelism 1997-09-30 Rizos Sakellariou FOOTFORM Decomposed: Using primitive constraints in OT 1997-05-29 Curiosities on Free Fock Spaces 1998-05-23 D. Minic Inertia Conditions For The Minimization Of Quadratic Forms In Indefinite Metric Spaces 1996-02-08 Formal Engineering of Software Library Systems 1999-02-03 Long time behavior of solutions to Nernst-Planck and Debye-Hückel drift-diffusion systems 1999-04-20 Safeguarding and Charging for Information on the Internet 1997-12-02 Events and Quantification 1994-03-23 Alexis Dimitriadis Biography of Instructor 1995-06-06 Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? 1997-09-12 Testing Software for LAPACK90 1998-10-01 A Taxonomy for Computing Science -- To design is to invent a formally provable statement 1997-06-02 Hans Meijer Towards an Adaptive Advancing Front Method 1998-04-22 Eric Seveno Refinement and Continuous Behaviour 1999-03-28 B-Flashsort: A High-performance Sort for the MasPar MP-1 and MP-2 - Implementation Description 1994-09-02 Jan F. Prins Rigged Non-Tangential Maximal Function Associated with Toeplitz Operators and Hankel Operators 1998-02-16 Jingbo Xia A Win32 Programming Interface for SML/NJ 1998-04-17 How to Avoid Knowing It All 1998-01-28 Antonio Moreno Learning to Act using Real-Time Dynamic Programming 1993-07-02 Speech Analysis And Coding Using A Multi-Resolution Sinusoidal Transform 1996-01-23 David V. Anderson How to Be a Good 1994-04-06 Marie Desjardins Behaviour-Based Autonomous Systems: Towards an Analysis Framework 1996-04-15 Jacek Malec Symplectic Convexity Theorems 1995-07-25 Deriving Human-Error Tolerance Requirements from Tasks 1995-10-26 Obligations in a Temporal Framework 1998-03-03 Briki: a Flexible Java Compiler 1996-06-18 Detection And Tracking Of Moving Objects In Color Outdoor Scenes 1997-11-20 Volker Rehrmann Http://www.cs.ucsb.edu/¸fmartin,pedrog 1996-12-28 Douglas E. Comer and John C. Lin 1997-02-08 Institut fur Mathematik Universitat Wien Austria 1999-01-21 Peter W. Michor Systemic Design: A Methodology For Investigating Emotional Phenomena In the process of being updated 1993-08-28 Tim Read Grammars++ for Modelling Information in Text 1998-09-21 CISE Research Instrumentation for Integration of Virtual Realityinto High Performance Computing Environment 1995-08-07 Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes 1993-03-04 Renormalization Group Approach To Field Theory At Finite Temperature 1998-05-23 Robotics 1996-10-08 Dynamic Analysis of Human Walking 1998-01-03 Singularly Perturbed Boundary Value Problems in Case of Exchange of Stablities 1998-07-14 A Fast Heuristic for Approximate String Matching 1997-01-13 Finding All The Perfect Matchings in Bipartite Graphs 1996-06-07 Higher Order Logic 1994-01-04 Daniel Leivant Quality-driven Source Selection using Data Envelopment Analysis 1970-01-01 Asymptotic Convergence of the Steepest Descent Method for the Exponential Penalty in Linear Programming 1995-10-27 Orderings for ILU Preconditioning of Nonsymmetric Problems 1998-04-08 Exchange Operators And Extended Heisenberg Algebra For The Three-Body Calogero-Marchioro-Wolfes Problem 1998-05-23 C. Quesne Comparative Evaluation of Server-push and Client-pull Architectures for Multimedia Servers 1998-06-12 A Multi-Perspective Framework for Method Integration 1996-07-01 Bashar Ahmad Nuseibeh amdb: An Access Method Debugging Tool 1998-08-12 Optimal Algorithms for Substrate Testing in Multi-Chip Modules 1997-10-22 Reliable Performance Modelling with Approximate Synchronisations 1999-03-02 Fn, 16 IF 1997-07-22 Recognition of Human Body Motion Using Phase Space Constraints 1995-10-31 A Laboratory Study Of Subjective Response To Sonic Booms Measured At White Sands Missile Range 1998-08-24 On The Power Of Underdifferencing And Overdifferencing Tests Against Nearly Nonstationary Alternatives 1998-11-30 The Elements Of Consciousness And Their Neurodynamical Correlates 1996-08-31 Bruce Maclennan Algorithm for Minimum Cuts 1995-08-10 Adverbs in the transfer module of MDS 1996-09-04 Mariana Damova ACADEMIA: An Agent-Maintained Database based on Information Extraction from Web Documents 1998-01-20 Evaluating the Effectiveness of Derivation Replay in Partial-order vs State-space Planning 1994-09-10 Gain Control of Takagi-Sugeno Fuzzy Models 1998-05-22 Acquiring Knowledge from Users in a Reflective Architecture 1995-06-21 Yolanda Gil Work Patterns in Project Scheduling 1998-05-29 Statistical Validation of Computer Vision Software 1996-08-26 Accuracy of Lattice Translates of Several Multidimensional Refinable Functions 1998-12-27 Modelling Software Inspection Methods for the Application of Tool Support 1996-02-22 A Multi-Level Task Allocation Scheme For Periodic Tasks Of A Distributed Real Time System 1999-02-22 Zehra Soysert Status of the HEGRA Experiment at La Palma 1996-07-24 Multimedia Storage Servers: A Tutorial and Survey 1997-02-06 Host Interfacing at a Gigabit 1996-05-23 C. Brendan S. Traw Synthesizing Intonation using the RFC Model 1995-05-11 Paul Taylor On the Decoding of Certain Generalized Concatenated Convolutional Codes 1997-06-03 Jung-fu Cheng CWI and Universiteit van Amsterdam 1995-06-22 Superfluid Vortex Nucleation 1995-12-06 Neil N. Carlson ICE INTARC Communication Environment Users Guide and Reference Manual Version 1.4 1997-06-19 A Permutation-Free Sequent Calculus for Intuitionistic Logic. 1996-09-17 Some Aspects of Spin Physics at RHIC 1998-05-25 Token and Notational Money in Electronic Commerce 1998-10-06 Verifying Relay Circuits using State Machines 1996-10-17 P. H. J. Van Eijk An Analysis of Internet Inter-Domain Topology and Route Stability 1996-06-26 Feasible Functions 1998-03-06 Yuri Gurevich Standard VITAL ASIC Modeling Specification 1996-08-12 Draft Ieee Middle-Agents for the Internet 1998-03-21 Predictable File Access Latency for Multimedia 1999-01-07 Pre-Fetching Tree-Structured Data in Distributed Memory 1996-03-24 Flavor: A Language for Media Representation 1997-10-17 Program Verification for Optimized Byte Copy 1970-01-01 Edoardo S. Biagioni A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems 1998-08-26 The Link Between Brain Learning, Attention, And Consciousness 1999-01-17 Stephen Grossbergy Implementing the Rewriting Computational Model of Escher 1998-11-02 Kerstin Eder A Linear Spine Calculus 1997-11-14 A Multi-Level Data Fusion Approach for Gradually Upgrading the Performances of Identity Verification Systems 1999-01-27 Trapped Modes in CESR Sliding Joints 1997-05-16 Low-Power Encodings for Global Communication in CMOS VLSI 1998-03-24 An Investigation into Fault Recovery in Guaranteed Performance Service Connections+ 1993-11-29 Lessons from Characterizing Input/OutputBahavior of Parallel Scientific Applications 1998-04-20 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems 1999-03-16 Local and Global Relational Consistency 1997-05-06 LVDCSL: A High Fan-in, High Performance Low Voltage Differential Current Switch Logic Family 1998-05-06 Metric Entropy of Homogeneous Spaces 1998-01-14 Stanislaw J. Szarek The Evolution of Communication Schemes Over Continuous Channels 1997-01-06 Fast and Efficient Algorithms for Text and Video Compression 1997-05-27 Dzung Tien Hoang A Rate-Splitting Approach to the Gaussian Multiple-Access Channel 1996-11-06 System Implementations of Analog VLSI Velocity Sensors 1998-10-07 Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs 1995-11-11 Transforming Predicates or Updating States? Total Correctness in Dynamic Logic and Structured Programming 1997-09-24 Marc Pauly Determining The Nonlinearity In A Parabolic Equation From Boundary Measurements 1994-11-07 Thomas I. Seidman PMC: A Programming Language for Embedded Systems 1999-05-03 Taxation And The Location Of Foreign Direct Investment In Central Europe 1997-12-04 Approximate Minimum-Cost Multicommodity Flows In 1995-06-01 Extending the Higgs Boson Reach at Upgraded Tevatron 1999-05-16 An Interpretive Framework for Application Performance Prediction 1994-12-09 New Results on Deterministic Pricing of Financial Derivatives 1996-07-31 On the Solution of Traveling Salesman Problems 1998-07-27 Discovering Association Rules with High Predictive Power 1998-03-13 Tobias Scheffer Evolution of Object Behavior using Context Relations 1997-07-21 Travelling waves in forced Korteweg-de Vries systems 1998-06-29 Pearu Peterson Q-Structure Of Conformal Field Theory With Gauge Symmetries 1994-11-21 Kenji Ueno Fsoltau,tanja,westphal,waibelg@ira.uka.de 1998-02-13 Asymptotic Limit Law For The Close Approach Of Two Trajectories In Expanding Maps Of The Circle 1995-12-21 Zaqueu Coelho Lapped Nonlinear Interpolative Vector Quantization and Image Super-Resolution 1998-01-05 A Complete Classification of the Approximability of Maximization Problems Derived from Boolean Constraint Satisfaction 1999-03-01 Application of an Environment for International Collaborative CAD/CAM 1997-07-08 A System for Wireless Data Services 1997-09-05 Structured Arc Reversal and Simulation of Dynamic Probabilistic Networks 1997-05-30 Automatic Shape Interpolation for Glyph-based Information Visualization 1997-08-27 Reinforcement Learning for Selfish Load Balancing in a Distributed Memory Environment 1997-01-07 Decidability Results of PLOT and MASS 1997-01-30 Integrating Rules and Cases for the Classification Task 1997-08-22 A Parallel RDBMS Approach to Implement Relevance Feedback 1998-02-02 t-Particle Random Walks and Recycling Random Bits in Parallel 1994-07-11 Kernel Principal Component Analysis 1998-07-20 Asymptotic Analysis of Linear Feedback Nash Equilibria in Nonzero-Sum Linear-Quadratic Differential Games 1998-02-06 Integrating Syntactic and Prosodic Information for the Efficient Detection of Empty Categories 1997-02-05 Towards a Theory of Population-Based Incremental Learning 1997-03-26 Analysis of a Soft Real-Time Random Access Protocol 1996-04-17 Michael J. Markowski Performance Analysis Of A Www Server 1997-09-13 Viewing Morphology as an Inference Process 1997-03-22 Robert Krovetz Minimum Circulation of Railway Stock 1994-02-28 Alexander Schrijver Redundancy in Collaborative Dialogue 1997-08-12 Marilyn A. Walker The Flood-Gate Principle - a Hybrid Approach to a High Security Solution 1998-12-03 Multi-level Logic Synthesis Based on Kronecker Decision Diagrams and Boolean Ternary Decision Diagrams for Incompletely Specified Functions 1997-05-12 On Finite Type 3-Manifold Invariants IV: Comparison of Definitions 1997-01-28 Stavros Garoufalidis Learning by Scaffolding 1999-02-06 Cynthia Breazeal An Intrinsic 1/N Expansion for Many Fermion Systems 1998-10-30 Dynamical Recurrent Neural Networks -- Towards Environmental Time Series Prediction 1997-04-24 A Study of the MGBi-CGSTAB Method and its Parallelization 1996-11-20 Kazuho Maeda Towards A Flexible Software Architecture of Interactive Systems 1997-07-22 Volterra Filter Structure for DS-CDMA 1997-03-05 Reconstructing the Evolutionary History of Natural Languages 1995-06-09 Structural Semigraphoids 1994-06-07 NOW-Sort: A Scalable, Commodity-Workstation Sort 1996-10-31 On Goursat Normal Forms, Prolongations, and Control Systems 1995-08-31 Multistrategy Learning for Information Extraction 1998-05-13 Dayne Freitag A Recursive Neural Network for Reflexive Reasoning 1998-10-26 Formally Specified Monitoring of Temporal Properties 1999-04-07 Hypothetical-Reasoning and Radical Non-Constituent Coordination in Categorial Logic 1998-11-25 Nissim Francez HPFIT: A SET OF INTEGRATED TOOLS FOR THE PARALLELIZATION OF APPLICATIONS USING HIGH PERFORMANCE FORTRAN - Part II: Data-Structures Visualization And HPF Support For Irregular Data Structures With Hierarchical Scheme 1996-08-23 Relational Bayesian Networks 1998-01-08 Manfred Jaeger Constraint Satisfaction Using Interval Analysis: Static Performance Verification of VLSI Systems 1994-10-13 Performance Measurement and Trace Driven Simulation of Parallel CAD and Numeric Applications on a Hypercube Multicomputer * 1997-01-09 Entropy of Non-Extreme Charged Rotating Black Holes in String Theory 1998-05-25 Mirjam Cvetic A Robust Image Authentication Method Distinguishing JPEG Compression from Malicious Manipulation 1970-01-01 Diagram Editing with Hypergraph Parser Support 1998-08-18 Integrated Architectures for Artificial Intelligence 1996-07-19 Yolanda Gil Analysis of Evolutionary Trends in Astronomical Literature using a Knowledge-Discovery System: T&#x00E9;tralogie 1998-09-18 Model Combination in the multiple-data-batches scenario 1997-10-07 An Evaluation of the Validity of the Dexter Hypertext Reference Model: A Case Study 1994-07-06 Supporting Machine Independent Parallel Programming on Diverse Architectures 1995-09-11 Ashwin Ram 1993-02-11 On Nonconvex Subdifferential Calculus in Banach Spaces 1995-10-26 + Inventory Topology Sections 1+ {ordered}, 3+ Axis Geometry Geometry Geometry {ordered} {ordered} 1997-05-28 Minimum Description Length Based 2D Shape Description 1997-01-29 Mengxiang Li Structural Filtering with Texture Feature Based Interaction Maps: Fast Algorithm and Applications 1998-03-02 Dmitry Chetverikov A Comparison and Integration of Capture-Recapture Models and the Detection Profile Method 1998-12-07 Theta Delta Delta Delta Theta 1999-02-07 Sergey K. Bagdasarov A Performance Study on Bounteous Transfer in Multiprocessor Sectored Caches 1998-01-09 MAP: Mobile Assistant Programming for Large Scale Communication Networks 1995-11-02 Michel Theory of Symmetry Breaking and Gauge Theories 1997-01-28 Paola Morando Exploiting Enterprise Models for the Automatic Distribution of Corporate Information 1997-08-01 Michael Wolverton Deterministically Annealed Mixture Of Experts Models For Statistical Regression 1996-12-09 Fully Embodied Conversational Avatars: Making Communicative Behaviors Autonomous 1999-03-12 J. Cassell Combining Reverse With Forward Database Engineeringa Step Forward to Solve the Legacy System Dilemma 1996-11-14 Hubert Hasenauer Grouping Techniques for Update Propagation in Intermittently Connected Databases 1998-02-26 Parallel Programming with Multiparty Interactions 1998-08-19 Peiyi Tang IGTree: Using Trees for Compression and Classification in Lazy Learning Algorithms 1970-01-01 Mobile Robot Navigation: Issues in Implementating the Generalized Voronoi Graph in the Plane 1997-08-12 Timeliness via Speculation for Real-Time Databases 1994-05-09 Efficient Prototyping System Based on Incremental Design and Module-by-Module Verification 1996-10-14 A Modular Software System for Distributed Telerobotics 1994-08-25 Fitting a Woven Cloth Model to a Curved Surface: Dart Insertion 1996-07-18 Advanced P2 System Manual 1994-11-17 Masaharu Morimoto 1997-05-23 Masaharu Morimoto Computationally-Based 1997-03-28 Redundant Addition with Threshold Logic 1997-06-10 Emulating Soft Real-Time Scheduling Using Traditional Operating System Schedulers 1996-06-26 Independent Component Analysis for Time-dependent Stochastic Processes 1998-05-22 Aapo Hyvrinen A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics 1995-03-06 Andrew Butterfield Performance Measurement of SDL Specifications - The New SDL Probe Symbol 1998-01-06 A study of Coppersmith's block Wiedemann algorithm using matrix polynomials 1997-05-13 Root Contention in IEEE 1394 1999-01-01 Frits Va FEM -- Finite Element CFD Collaborator: Clark M. Mobarry, NASA Goddard Space Flight Center Description of Application 1995-10-04 September 27, 1994 MIT-CTP-2350 hep-ph/9409419 1998-05-15 Efficient Treatment of Failures in RPC Systems 1995-03-10 Network Resource Control in the Tandem ServerNet Router 1996-03-25 Reduced Decompositions Of Permutations In Terms Of Star Transpositions, Generalized Catalan Numbers And 1998-08-25 Igor Pak Improved Inclusion-Exclusion Identities and Inequalities Based on a Particular Class of Abstract Tubes 1999-04-08 Multilevel Circuit Partitioning 1997-06-25 I-TCP: Indirect TCP for Mobile Hosts 1994-10-12 The Load and Availability of Byzantine Quorum Systems 1998-09-22 BOA: The Bayesian Optimization Algorithm 1999-01-27 Performance Evaluation of the Graph Partitioning Algorithms in ParMETIS Version 1.0 1999-01-15 Sparse Serial Tests of Uniformity for Random Number Generators 1998-11-05 Richard Simard . PROPERTIES OF THE SOLVER 1.1. Operating Requirements 1997-09-25 Using Cue Phrases to Determine a Set of Rhetorical Relations 1996-12-03 Alistair Knott A Comparison of Implicit and Explicit Parallel Programming 1995-12-14 Vincent W. Freeh Time-Frequency Analysis Of Seismic Reflection Signals 1996-12-17 Guy Drijkoningen The Omnipresence of Case-Based Reasoning in Science and Application 1997-12-09 David W. Aha Fuzzy recombination for the Breeder Genetic Algorithm 1997-09-30 Esprit Iii 1995-05-16 The Pole Placement Problem via PI Feedback Controllers. 1996-12-24 Implementing a Low Cost, Low Latency Parallel Platform 1996-09-17 MARC: A Tool for Automatic Configuration of Parallel Programs 1991-02-04 Kinodynamic Planning in a Structured and Time-Varying Workspace 1998-04-09 Neural Network Reference Compensation Technique for Position Control of Robot Manipulators 1997-08-07 Healthcare Knowledge Mining in a Decentralized, Web-Based Environment 1998-04-01 Gale Martin High-Level Synthesis of Scalable Architectures for IIR Filters Using Multichip Modules 1996-06-05 Optimal Bounds In Non-Gaussian Limit Theorems For U-Statistics 1999-04-21 A Collision Model for Deformable Bodies 1998-11-10 A Parallel Relational Database Management System Approach to Relevance Feedback in Information Retrieval 1998-05-28 An AI-based Design of a Driver Information Unit 1996-05-13 Assessing Neural Networks as Guides for Testing Activities 1995-12-06 Error Bounds of Finite Difference Schemes for Two-Dimensional Scalar Conservation Laws With Source Term 1996-08-02 Wen Shen Verification of Real-Time Systems Using PVS 1994-11-05 N. Shankar Using EM to Classify Text from Labeled and Unlabeled Documents 1999-01-22 Sorting on a Massively Parallel System Using a Library of Basic Primitives: Modeling and Experimental Results 1996-09-12 Dirac Observables and Spin Bases for 1998-12-19 A. Lucenti The Influence of Lamination Angles on the Interior Noise Levels of an Aircraft 1996-12-04 An improved incremental algorithm for constructing restricted Delaunay triangulations 1997-10-31 Carl F. Ollivier-gooch Exploiting Redundancy of Purposive Modules in the Context of Active Vision 1997-08-06 The Geometrical Representation of Path Planning Problems 1996-01-02 Borel's Paradox and Sensitivity Analysis 1995-12-01 Conceptual Clustering in Information Retrieval 1998-02-26 Inferring Web Communities from Link Topology 1998-06-22 TETRIS -- A simulation tool for TETRA systems 1996-03-19 Fragmentation of Multidimensional Databases 1970-01-01 A Metadata Based Approach to Improving Query Responsiveness 1998-09-29 A Tutor for Teaching English as a Second Language for Deaf Users of American Sign Language 1998-10-20 .6 System Implementation For U.s. Air Force Global Theater Weather Analysis And Prediction System gtwaps 1997-03-07 An Inter-pattern Distance-based Constructive Learning Algorithm 1998-02-10 Globally Convergent Algorithms for Maximum a Posteriori Transmission Tomography 1995-02-02 An Approach for the Mapping of Jacobi Algorithms onto a Jacobi Specific Dataflow Processor 1997-12-22 On Ramanujan's Q--Function 1996-04-29 An Overview of Larch/C++: Behavioral Specifications for C++ Modules 1996-02-26 Gary T. Leavens Automated Learning of Load-Balancing Strategies For A Distributed Computer System 1993-08-23 An Online Handwriting-Recognition System Based On Unreliable Modules 1996-12-09 Theorem Proving in Cancellative Abelian Monoids 1996-01-15 Comparative Study of Electronic Mail Systems 1999-03-25 Analysis of Muon Events Recorded with the NT-36 Detector in Lake Baikal 1995-04-29 Constraints on Constraints, Or the Limits of Functional Adaptation 1996-08-29 Simon Kirby A Systematic and Comprehensive Tool for Software Reliability Modeling and Measurement 1997-01-08 Hamiltonians on Random Walk Trajectories Pablo A. Ferrari 1997-09-01 Pablo A. Ferrari Acting in Service of Inference and 1998-08-27 The Land-Use Change Analysis System LUCAS for Evaluating Landscape Management Decisions 1995-06-14 RADIO OBSERVATIONS AT 232 MHz AND MULTIFREQUENCY SPECTRAL STUDIES OF SNR HB21 1997-03-03 Timed Models for Protocol Security 1998-10-06 Nonlinear Autoregressive Moving Average Signal Modeling using the Multilayer Perceptron 1996-04-24 Alexander Fischer Rapports de Recherche 1999-02-03 An Investigation on the Optimal Implementation of Processes 1996-01-15 Cosimo Laneve A Candidate Set based analysis of Subgoal Interactions in conjunctive goal planning 1996-02-08 The Design of a QR42 Interface using the ECS Methodology 1998-09-24 Shannon V. Morton Distributed Logic Objects: A Fragment of Rewriting Logic and its Implementation 1999-03-21 In this Issue 1994-12-21 Stochastic Scheduling of Parallel Queues with Set-Up Costs 1998-07-09 Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging 1994-06-15 An Architecture-Independent Approach to FPGA Routing Based on Multi-Weighted Graphs 1996-07-22 High-Resolution Non-Oscillatory Central Schemes for Hamilton-Jacobi Equations 1998-09-14 Chi-tien Lin A Compiler for Silage 1994-10-09 Edward Wang Robustness Of Nonlinear Filters Over The Infinite Time Interval 1999-02-08 Code Compression 1997-06-25 Steven Lucco Microsoft Pegasus Project Description 1994-10-26 A new Approach to the Perfect Matching Problem 1997-03-27 Scalability Issues Affecting The Design Of A Dense Linear Algebra Library 1994-05-13 The Chirplet Transform:Physical Considerations 1995-03-05 Modeling Web Sources for Information Integration 1998-11-05 Phantom: A Simple and Effective Flow Control Scheme 1998-02-11 A Methodology for Constructing Portable and Simple Global Garbage Collectors 1996-11-20 Geodesic Active Contours 1997-06-09 Fuzzy Logic and Probability 1995-05-29 Francesc Esteva The design and implementation of a Socca Editor 1998-09-04 Predictive Image Coding With Adaptive Wavelet Transform 1997-07-23 Using Case-Based Reasoning for Argumentation with Multiple Viewpoints 1997-06-06 Benchmarking Implementations of Functional Languages with "Pseudoknot", a Float-Intensive Benchmark 1998-03-11 Feature Weighting for Lazy Learning Algorithms 1998-02-12 David W. Aha Segmentation of Rigidly Moving Objects using Multiple Kalman Filters 1996-01-24 Text Categorization and Relational Learning 1997-04-14 William W. Cohen Revenue Equivalence of Leveled Commitment Contracts 1999-02-03 Arbitrary View Generation For Three-Dimensional Scenes From Uncalibrated Video Cameras 1995-12-06 Circuits and Expressions with Non-Associative Gates Extended Abstract 1997-10-07 Non-associative Gates Graphical Explanation in Belief Networks 1996-07-23 A Generalization Of An Irreducibility Theorem Of I. Schur 1996-01-05 Asymmetric Dynamics in Optimal Variance Adaptation 1997-11-28 Vertical Decompositions for Triangles in 3-Space 1994-07-12 Exchange Algorithms for Constructing Large Spatial Designs 1997-11-04 J. A. Royle Static and Dynamic Location Management in Distributed Mobile Environments 1997-01-27 Identifying Pan-European Value Segments With a Clusterwise Rank-Logit Model 1997-11-12 A complete biblopgraphy of publications in Higher-Order Symbolic Computation 1999-02-12 Nelson H. F. Beebe A Nonlinear Two-Phase Stefan Problem with Melting Point Gradient: A Constructive Approach 1995-05-27 Conjunctive Types and SKInT 1999-03-30 Jean Goubault-larrecq Distributed Logic Programming 1998-07-14 Sorting in Linear Time? 1996-03-28 Market-based Resource Control for Mobile Agents 1999-02-08 Interference Minimization Using Automatic Design of Cellular Communication Networks 1998-03-21 Kurt Tutschku An Adaptive Hidden Markov Model Approach to FM and M-ary DPSK Demodulation in Noisy Fading Channels 1996-07-05 Time and Area Optimization in Processor Architecture 1997-10-23 M. J. Flynn Transcription Of New Speaking Styles - Voicemail 1998-03-23 The Transformation Calculus and its Typing 1998-03-09 Jacques Garrigue On Constructing 1-1 One-Way Functions 1999-02-08 Sparsified And Incomplete Sparse Factored Inverse Preconditioners 1970-01-01 O Alvarado Hasan Da~g Statistical Modelling of Time Series Using Non-Decimated Wavelet Representations 1997-09-17 A new Subband Audio CELP coder 1997-12-22 Experiments in stepsize control for Adams linear multistep methods 1995-01-03 David R. Will'e Property Testing in Bounded Degree Graphs 1999-02-10 A Graded Approach for Shape Representation 1997-11-23 Two-Layer Planarization in Graph Drawing Extended Abstract 1997-11-28 Petra Mutzel Regular Types for Active Objects 1995-04-06 The Value of Intermediaries in Network Commerce 1970-01-01 Program Slicing-Based Regression Testing Techniques+ 1996-05-13 Compactly Supported Wavelets and Their Generalizations: An Algebraic Approach 1999-02-08 Rndr Radka Turcajov'a Indexing Valid Time Databases Via B 1997-05-27 Recovery in Distributed Systems Using Optimistic Message Logging and Checkpointing 1995-06-19 Laboratoire d'Astrophysique - Observatoire de Grenoble, Universit'e Joseph Fourier, BP 53, F-38041 Grenoble Cedex 9 1970-01-01 Stochastic programming: Approximation via scenarios 1997-06-06 Robust Linear Quadratic Control of Systems with Integral Quadratic Constraints 1997-03-02 Performance Analysis of Parallel Systems: Approaches and Open Problems 1998-06-26 Discretization of a Model for the Formation of Longshore Sand Ridges 1994-03-30 Rudimentary Reductions Revisited 1997-04-23 A Craniofacial Surgery Simulation Testbed 1997-04-16 FDTs for ODP 1997-06-06 A Note on the Asymptotics and Computational Complexity of Graph Distinguishability 1998-04-27 The Java Language Specification 1995-11-29 Software Pipelining of Nested Loops 1998-05-09 J. Ramanujam A new resolution calculus for the infinite-valued propositional logic of Lukasiewicz 1998-12-23 Improved Approximate Reachability using Auxiliary State Variables 1999-03-19 Estimation Of Unobserved Counts From Partially Observed Multinomial Distributions 1997-08-28 An Empirical Comparison of Radiosity Algorithms 1997-05-21 Feature Extraction for Low Bit Rate Image Coding Using a Generalized Wavelet Transform 1996-07-11 Transaction model vs Virtual Synchrony model: bridging the gap 1995-11-30 Learning in neural networks with Bayesian prototypes 1995-01-09 Fuzzy Classification of Contact Formations from Sensor Patterns 1996-10-10 On Balls and Bins with Deletions 1998-06-24 he process ... at LEP and NLC 1998-05-23 Thermal Fission Rate Around Super-Normal Phase Transition 1998-05-14 Combining LVQ with continuous density hidden Markov models in speech recognition 1995-11-02 About the Theory of Tree Embedding 1997-11-10 Reducing Overhead in Flow-Switched Networks: An Empirical Study of Web Traffic 1998-02-11 Posting Paper on the Web 1999-02-25 OSCAR: Optimum Simultaneous Scheduling, Allocation and Resource Binding Based on Integer Programming 1998-06-17 The 1996 Broadcast News Speech And Language-Model Corpus 1997-04-14 David Graff Renormalon Contributions to 1998-05-15 An Architecture for Optimal All-to-All Personalized Communication 1994-07-22 Low Density Parity Check Codes over 1998-07-28 Multiplicationsof Ternary Complementary Pairs 1996-10-09 The Generalized Lapped Biorthogonal Transform 1998-05-01 Surface Microstructure Extraction from Multiple Aerial Images 1997-04-10 :$5'6$57,,,$/0,1'6 1996-02-09 Boosting And Naive Bayesian Learning 1997-11-03 Charles Elkan Frequency Analysis of Classical Preisach Model 1999-03-10 Marten Sjostrom DoMerge: Integrating Parallel Loops and Reductions 1998-12-19 Networking Implementation Notes 4.3BSD Edition 1996-05-29 Dynamic loadbalancing in a lightweight adaptive parallel multigrid PDE solver. 1999-01-07 Gerhard W. Zumbusch Honesty in Partial Logic 1995-02-28 Wiebe Van Der Hoek Interactive Exploration as a Formal Text Retrieval Method: How Well can Interactivity Compensate for Unsophisticated Retrieval Algorithms 1997-09-23 Entropy-Driven Adaptive Representation 1996-06-06 Justinian P. Rosca Mostly-Copying Collection: A Viable Alternative to Conservative Mark-Sweep 1999-02-02 Future Hypermedia Retrieval Systems and their Impact on Transfer Systems 1998-02-20 A Remark on the Decay of Superconducting Correlations in One and Two Dimensional Hubbard Models 1997-04-26 Nicolas Macris Dual Objects -- An Object Model for Distributed System Programming 1998-11-09 Adaptive Real-Time Resource Management Supporting Composition of Independently Authored Time-Critical Services 1993-07-30 Michael B. Jones Comparative Study of Unstructured Meshes Made of Triangles and Quadrilaterals 1998-04-22 Feasibility and Performance Region Modeling of Analog and Digital Circuits 1996-02-13 Massimo Poesio 1997-09-04 An Analysis of Latency in Dataflow Execution 1995-08-08 An Evidence-Theoretic Neural Network Classifier 1997-05-02 Thierry Denoeux Turning the Web Into a Computer 1997-01-17 Migration in Object-Oriented Database Systems - A Practical Approach 1995-04-23 Locomotion Versatility through Self-reconfiguration 1998-12-07 Infrastructure for Building Parallel Database Systems for Multi-dimensional Data 1998-04-02 Communication-Minimal Partitioning of Parallel Loops and Data Arrays for Cache-Coherent Distributed-Memory Multiprocessors 1996-07-30 Random Walks in Weyl Chambers and the Decomposition of Tensor Powers 1998-12-15 Embedding of Hypercubes into Grids 1998-07-17 Monte Carlo Simulation and Bottleneck-Centered Heuristics for Time-Critical Scheduling in Stochastic Domains 1996-12-02 Data Fitting with Rule-Based Regression 1995-07-31 Luis Torgo Information Theory versus Complexity Theory: Another Test Case 1998-05-15 Crowded Collaborative Virtual Environments 1999-01-24 Generating Polynomial Orderings for Termination Proofs 1996-11-19 Jurgen Giesl Addressing Partitioned Arrays in Distributed Memory Multiprocessors -- the Software Virtual Memory Approach 1996-08-01 Rajeev Barua An Asynchronous Distributed Systems Platform For Heterogeneous Environments 1998-08-14 Experiences with Tripwire: Using Integrity Checkers for Intrusion Detection 1994-03-11 Multi-Agent Meeting Scheduling: Preliminary Experimental Results 1997-05-01 A Parallel Simulated Annealing Algorithm for Generating 3D Layouts of Undirected Graphs 1996-11-13 Resolution Enhancement Of Images Using Wavelet Transform Extrema Extrapolation 1995-08-11 -- 1-- Invisible 1997-09-23 Implementation Notes on bdes1 1994-08-06 Matt Bishop Application Design for Wireless Computing 1998-03-27 Terri Watson Learning High-Level Navigation Strategies from Sensor Information and Planner Experience 1997-02-21 Adaptive Optimization For Self: Reconciling High Performance With Exploratory Programming 1998-11-25 Latency Tolerance through Multithreading in Large-Scale Multiprocessors 1991-11-19 A Toolkit for Constraint Management in Heterogeneous Information Systems 1998-12-28 Human Postural Control: Force Plate Experiments and Modelling 1998-03-03 Methodological Foundations of Keats, The Knowledge Engineers' Assistant 1999-01-19 Visualizing High-Dimensional Structure with the Incremental Grid Growing Neural Network 1997-05-07 Robust Designs for Approximately Polynomial Regression 1998-10-19 A Version Of A Linear Spine Calculus 1999-03-23 Co-Evolution Of Language-Size And The Critical Period 1997-11-18 Learning part of speech disambiguation rules using Inductive Logic Programming 1998-07-30 Abstraction and concretizing in information systems and problem domains: Implications for system descriptions and theoretical frameworks 1995-02-17 The 2dF QSO redshift survey 1998-04-30 MetaML: Multi-Stage Programming with Explicit Annotations 1998-03-17 A Comparison of Projective Reconstruction Methods for Pairs of Views 1995-05-19 Morphology in MiMo2 1997-01-08 Gertjan Van Noord Data Logging: A Method for Efficient Data Updates in Constantly Active RAIDs 1998-06-09 Monotone Multigrid Methods for Elliptic Variational Inequalities I 1994-04-16 Ralf Kornhuber A model for Formal Parametric Polymorphism 1995-07-10 A Local Regularization Operator For Triangular And Quadrilateral Finite Elements 1999-03-23 Revision History 1995-03-21 A Continuum of Minimal Pairs of Compact Convex Sets which are not Connected by Translations 1996-06-24 Diethard Pallaschke Adapting the Energy Landscape for MFA 1997-04-08 Compiler Technology for Future Microprocessors 1997-10-16 A Route Server Architecture for Inter-Domain Routing 1997-01-23 Transparent Migration of Java-based Mobile Agents 1998-07-07 Stefan Funfrocken Answering Queries Using Views 1996-12-10 Nuprl-Light: An Implementation Framework for Higher-Order Logics 1999-01-19 Jason J. Hickey Design Of MEMS Via Efficient Simulation Of Fabrication 1997-06-30 The Tunneling Algorithm for Partial CSPs and Combinatorial Optimization Problems 1995-03-28 Electroproduction: Light-Cone Wave Functions and Electromagnetic Form Factors of Mesons. 1998-05-15 Geometric Integration Using Discrete Gradients 1998-08-27 Average-Case Quantum Query Complexity 1999-04-23 Ronald De Wolf A Fuzzy Perceptron as a Generic Model for Neuro-Fuzzy Approaches 1996-11-21 Detlef Nauck Observation of the Decay 1998-03-18 Cleo Collaboration Progressive Image Coding Using Trellis Coded Quantization 1997-12-09 Existence and Stability of Propagating Fronts for an Autocatalytic Reaction-Diffusion System 1997-05-16 Using a Goal-driven Approach to Generate Test Cases for GUIs 1998-12-18 An Experiment to Assess Cost-Benefits of Inspection Meetings and their Alternatives 1998-09-05 Polymorphic Typing of an Algorithmic Language 1995-10-30 Diffusive Algorithms for Dynamic Load Balancing in Massively Parallel Architectures 1996-07-04 On Shintani Zeta Functions For GL2 1997-01-14 Akihiko Yukie Local Estimation for an Integral Equation of First Kind with Analytic Kernel 1998-10-16 A Parallel Solver for Extreme Eigenpairs 1998-10-12 Blind Source Separation of More Sources Than Mixtures Using Overcomplete Representations 1998-12-23 Peter Dittrich, Wolfgang Banzhaf, Hilmar Rauhe and Jens Ziegler 1998-10-15 Unknown 1995-06-05 Induction of First-Order Decision Lists: Results on Learning the Past Tense of English Verbs 1995-06-28 A Model for Adaptive Fault-Tolerant Systems 1996-06-25 Demand-driven Computation of Interprocedural Data Flow 1998-10-08 A Comparison of Mechanisms for Improving TCP Performance over Wireless Links 1998-10-01 Prototyping Compiler and Simulation Tools with PCCTS 1994-08-05 A DWT-based technique for spatio-frequency masking of digital signatures 1999-02-03 Modular Forms and Instanton Numbers in N=2 Dual String Pairs 1997-10-24 Specifying Active Database Systems in an Object-Oriented Framework 1999-04-01 Lorentz Covariance, Higher-Spin Superspaces and Self-Duality 1998-07-03 A Structural Linearization Principle for Processes 1995-05-31 Ffl Ffl Ffl 1997-09-23 Improving the Efficiency of Parallel Fractal Compression using Localized Domain-pools 1998-04-20 Acknowledgements 1998-09-04 Einat Amitay Design of Multi-Parameter Steerable Functions Using Cascade Basis Reduction 1996-04-03 Constraint Databases and Program Analysis using Abstract Interpretation 1996-11-21 Optimal Power Dispatch via Multistage Stochastic Programming 1996-10-11 M. P. Nowak A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics 1999-03-17 Real-Time Case-Based Reasoning in a Complex World 1996-02-22 Mark J. Fasciano Real-time Gesture Recognition with the Perseus System 1997-08-15 Equational Unification, Word Unification, and 2-Order Equational Unification 1997-11-11 Training Algorithms for Linear Text Classifiers 1999-01-18 Data Resource Selection in Distributed Visual Information Systems 1998-07-28 An Overview of the AURORA Gigabit Testbed 1992-10-23 Bayesian Inference for Time series with Infinite Variance Stable Innovations 1997-03-07 Parallel Progressive Radiosity with Adaptive Meshing 1998-05-19 Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions 1998-02-18 Recognition Performance Of A Large-Scale Dependency Grammar Language Model 1998-08-21 Topology of Visual Cortical Maps 1997-01-22 Shigeru Tanaka An Agent Based Simulation Environment For Public Order Management Training 1994-06-04 Roderick J. Williams Motion-Compensated Interpolation Using Trajectories With Acceleration 1998-02-02 Modular Key Management Protocol MKMP 1994-11-29 Haskell Tutorial 1998-10-02 Some Initial Performance Characteristics of Three Architectural Styles 1998-08-06 Jan Bosch Linear and Incremental Acquisition of Invariant Shape Models from Image Sequences 1996-05-24 Progress in Proof Planning: Planning Limit Theorems Automatically 1998-07-17 Erica Melis Average waiting times in a tree network of ATM multiplexers. 1997-07-17 Reconstruction of Character Skeletons using Gabor filter features 1996-08-06 A Linear Constraint Satisfaction Approach to Cost-Based Abduction 1996-02-16 Eugene Santos Considering Collaborative Filtering as Groupware: Experiences and Lessons Learned 1998-10-02 Christopher Lueg A Device For Automatic Speech Recognition* 1995-09-25 Developing CASE tools which support integrated development notations 1995-09-14 Human-Style Theorem Proving Using PVS 1998-09-02 Believing Change and Changing Belief 1995-04-02 Peter Haddawy A Signaling and Control Architecture for Mobility Support in Wireless ATM Networks 1998-09-10 An Abstraction-Based Approach to Interleaving Planning and Execution in . . . 1996-10-08 Confluence without Termination via Parallel Critical Pairs 1998-04-02 Bernhard Gramlich Tiger: A Fast New Hash Function 1998-02-19 Ross Anderson Application Of Correlation MemoryMatrices In High Frequency Asset Allocation 1998-06-22 An Infeasible-Interior-Point Algorithm for Linear Complementarity Problems 1993-01-17 Stephen Wright Progressive Multiple Alignment with Constraints 1996-06-18 Iteration Abstraction in Sather 1998-01-02 On the Strong Maximum Principle for Fully Nonlinear Degenerate Elliptic Equations 1998-10-20 The Performance of the Cedar Multistage Switching Network 1995-12-19 Digital Implementation of SISC Fuzzy Controllers 1998-04-02 A Short Note on Functions of Bounded Semivariation and Countably Additive Vector Measures 1997-08-19 P. Vieten Gerhard Weiß1995. Distributed Machine Learning. Sankt Augustin, Germany: infix Verlag. ISBN 3-929037-75-0. 1996-03-22 An Algorithm for Labeling Edges of Hierarchical Drawings 1998-10-28 Sumer Measurements Of Non-Thermal Motions: Constraints On Coronal Heating Mechanisms 1998-05-20 Jongchul Chae .1 Outline 1995-12-06 Dynamic Parameter Encoding for Genetic Algorithms 1994-09-06 Dynamic analysis of some Relational Data Bases parameters II: Equijoin and semijoin 1995-03-29 Guy Louchard A New Class of Fast Shape-Adaptive Orthogonal Transforms and Their Application to Region-Based Image Compression 1998-09-21 Real-Time Case-Based Reasoning in a Complex World 1996-02-22 Mark J. Fasciano Clique Detection via Genetic Programming 1998-08-03 Thomas Haynes A Three-Valued Declarative Debugging Scheme 1997-05-30 Lee Naish Slow and Smooth: a Bayesian theory for the combination of local motion signals in human vision 1998-05-09 Making Multimedia Networks Programmable 1996-07-13 Andrew T. Campbell The MIT Alewife Machine: Architecture and Performance 1996-10-07 HyperContext: A Model for Adaptive Hypertext 1997-08-05 Christopher Staff Functional, I-Structure, and M-Structure Implementations of NAS Benchmark FT 1995-08-10 The Case For Prediction-based Best-effort Real-time Systems 1999-02-03 Partitioning Complexity Issue for Iterated Functions Systems based Image Coding 1995-06-28 Emmanuel Reusens On the Interaction of Lazy Evaluation and Backtracking 1995-11-10 Dimensionality Reduction of Electropalatographic Data Using Latent Variable Models 1999-01-13 Steve Renals Simulations of Large Telecommunication Networks Based on Probabilistic Modeling 1996-02-09 Global Rebuilding of OBDDs - Avoiding Memory Requirement Maxima 1995-04-21 Model-Free Estimation of Defect Clustering in Integrated Circuit Fabrication 1996-07-27 A Markup Language For Text-To-Speech Synthesis 1997-05-23 A Method of Spatial Reasoning Based on Qualitative Trigonometry 1997-11-22 Jiming Liu Labels Transformations and New Distance Measures 1997-11-07 Learning Fine Motion by Using the Hierarchical Extended Kohonen Map 1996-08-05 Consistency and Automation in Multi-User Rule-Based Development Environments 1990-11-02 Matrix Chain Ordering in Polylog Time with n/lg n Processors 1993-02-19 Two Algorithms For Symmetric Linear Systems With Multiple Right-Hand Sides 1998-06-18 Hua Dai The Role of the Software Engineer in Real-Time Software Development: An Introductory Course 1998-12-17 Carol L. Hoover OCEANS: Optimizing Compilers for Embedded Applications 1997-09-05 Using Interval Arithmetic To Model Finite Domain CSPs Where Domain Generation Is Expensive 1997-02-28 Using Finite State Automata to Produce Self-Optimization and Self-Control 1998-02-09 Structuration d'un jeu de donn'ees `a l'aide de techniques d'apprentissage: Application au test de robots mobiles. 1997-09-16 Semidefinite programs and combinatorial optimization Lecture notes 1996-01-11 On the Expressive Power of the Unary Transformation Model 1998-09-14 QUATERMAN vs. QUATERNICA: A Comparative Implementation of Quaternions in Maple and Mathematica 1997-08-27 Yves Papegay Improved Approximation Algorithms for Uniform Connectivity Problems 1998-09-05 Abduction and Induction From a Non-Monotonic Reasoning Perspective 1998-08-14 Nicolas Lachiche Automated Reasoning about Cubic Curves 1994-04-07 Plotting and Scheming with Wavelets 1997-02-27 Colm Mulcahy An Analytical Study of Object Identifier Indexing 1998-06-03 Kjell Bratbergsengen Topology of energy surfaces and existence of transversal Poincar&#x00E9; sections 1997-11-06 Domination and Total Domination on Asteroidal Triple-Free Graphs 1997-04-23 Dieter Kratsch Implementation and Performance of the MPI Message Passing Interface on the Fujitsu AP1000 Multicomputer 1994-10-04 Linguistic Support for Agent Migration Extended Abstract 1995-06-04 Computer Aided Training For Cooperating Emergency Managers: Some Results Of MUSTER Project 1999-03-24 Using Constrained Snakes for Feature Spotting in Off-line Cursive Script 1993-11-19 A. W. Senior F. Fallside On the Use and Performance of Explicit Communication Primitives in Cache-coherent Multiprocessor Systems 1996-07-18 Modelling The Galactic Bar Using Red Clump Giants 1996-05-26 Testability Analysis and Behavioral Testing of the Hopfield Neural Paradigm 1970-01-01 Blind Equalization Of Multiuser CDMA Channels: A Frequency-Domain Approach 1970-01-01 Combining Words and Speech Prosody for Automatic Topic Segmentation 1970-01-01 Learning and development in neural networks: The importance of starting small 1994-11-30 Jeffrey L. Elman Archon: A Distributed Artificial Intelligence System For Industrial Applications 1994-07-07 The simulation of pantograph and catenary: a PDAE approach 1998-09-21 M. Arnold Unknown 1997-03-05 Dp Structure, Hpsg And The Chinese Np 1997-05-26 The troubles with using a logical model of IR on a large collection of documents 1995-10-17 Single Assignment C - Functional Programming Using Imperative Style 1998-11-13 Sven-bodo Scholz Reduction of Cache Conflicts in Loop Nests 1995-03-20 A Study on the Discovery of Relevant Fuzzy Rules Using Pseudo-Bacterial Genetic Algorithm 1998-11-19 Quasi-Monte Carlo Methods in Computer Graphics: The Global Illumination Problem 1996-06-27 Alexander Keller Document Categorization and Query Generation on the World Wide Web Using WebACE 1998-12-29 Multi-Domain Multi-Model Formulation for Compressible Flows: Conservative Interface Coupling and Parallel Implicit Solvers for 3D Unstructured Meshes 1999-02-07 Recursive Blind Symbol Estimation of Convolutionally Coded Co-channel Signals 1998-03-25 A Parallel Inexact Newton Method for Stochastic Programs with Recourse 1997-11-06 Cross-Language Information Retrieval Bibliography 1997-08-26 Douglas W. Oard May 24, 1993 1993-05-24 Don Libes Logics For Context-Free Languages 1995-08-29 Symbolic Composition: Opportunities For Program Specialization 1995-06-19 Lance Paavola A Trainable View-Based Object Detection System Thesis Proposal 1997-03-01 Henry A. Rowley CS442 Project Report: MAP Decomposition of a Mixture of AR Signals Using Multilayer Perceptrons 1996-01-09 Christophe Couvreur On The Lieb-Thirring Constants 1997-04-26 Complexity Measures for Assembly Sequences 1996-12-17 Useful Characteristics for Identifying Analogous Specifications 1995-11-13 Mechanisms For Mixed-Initiative Human-Computer Collaborative Discourse 1995-01-24 Curry I. Guinn 3-D recognition via 2-stage associative memory 1995-04-14 Randal C. Nelson The Average Length of Keys and Functional Dependencies in Random Databases 1997-03-03 Guidelines for OSI NSAP Allocation in the Internet 1991-07-22 Ross Callon dec Application of Ensemble Integrations for Predictability Studies and Data Assimilation 1998-03-07 Geir Evensen WWW: http://www.cs.colorado.edu/home/mcbryan/Home.html 1994-04-26 Oliver A. Mcbryan Geometric ergodicity of Metropolis algorithms 1998-12-21 Transition Restricted Gray Codes 1997-12-26 Method Dispatch for Multi-Method Object-Oriented Languages 1998-10-14 Digital Software and Data Repositories for Support of Scientific Computing 1995-02-27 On New Families of Supplementary Difference Sets over Rings with Short Orbits 1998-11-25 Domain Name Server Operations Guide 1993-06-07 John Bignucolo Generating F 1996-05-13 More robust J-RASTA processing using spectral subtraction and harmonic sieving 1998-02-23 Hiroaki Ogawa A Tutorial Survey of Reinforcement Learning 1994-11-14 Empirical estimators for semi-Markov processes 1996-05-31 Towards a Comprehensive Distributed Systems Management 1996-07-01 Selective Value Prediction 1999-03-11 Data/Knowledge Bases for Biological Papers and Techniques 1994-04-21 MAP DSM Overview 1997-04-17 Darren Sanders A Clock Distribution Scheme for Large RSFQ Circuits 1998-02-09 Anaphoric Dependencies in Ellipsis 1997-11-19 Genetic Programming and Redundancy 1998-09-06 Compiling Causality into Action Theories 1995-12-05 Yan Zhang Customized Information Extraction as a Basis for Resource Discovery 1998-06-30 FACE: A Flexible Approach for Constraint Enforcement and Compensation of Constraint Violations in Federated Databases 1997-01-28 Myra Spiliopoulou Extending the random level shift AR RL-AR model 1999-02-03 Fractal Coding Performance for First Order Gauss-Markov Models 1997-03-14 The Advantages of Machine-Dependent Global Optimization 1993-11-17 Complex Optimal Sequences with Constant Magnitude for Fast Channel Estimation Initialization 1997-12-15 Complex Spatio-Temporal Dynamics in the Near-Field of a Broad Area Semiconductor Laser 1998-08-14 Performance-Driven Interconnect Design Based on Distributed RC Delay Model 1995-04-23 Representational Eclecticism - A Foundation Stone for the New AI? 1999-02-08 Chris Thornton Video Retrieval by Still Image Analysis with ImageMiner 1999-01-24 ASTER - Towards Modality-Independent Electronic Documents 1995-03-10 T. V. Raman Transcribing Multilingual Broadcast News Using Hypothesis Driven Lexical Adaptation 1998-03-03 Lattice Based Language Models 1997-11-20 Pierre Dupont A Self-Organizing Map that Learns the Semantic Similarity of Reusable Software Components 1998-09-10 Chiral transition and monopole percolation in lattice scalar QED with quenched fermions 1997-08-06 High-Level Constructs in the READY Event Notification System 1998-10-07 Tailor-made Operating Systems for Embedded Parallel Applications 1999-01-26 Antonio Augusto Frohlich Control Knowledge to Improve Plan Quality 1995-11-21 Encoding HTN Planning in Propositional Logic 1998-06-13 Positioning An Autonomous Off-Road Vehicle By Using Fused Dgps And Inertial Navigation 1998-12-15 Journal of Graph Algorithms and Applications 1998-05-18 Guessing, Ballot Numbers, And Refining Pascal's Triangle 1995-10-29 Robert A. Sulanke G-Matrices of order 19 1997-03-20 Xian-mo Zhang Canonical Relativistic Quantum Mechanics: Representations of the Unitary Semidirect Heisenberg Group, . . . 1997-04-26 Stephen G. Low Inner Diagonals Of Convex Polytopes 1998-09-15 On Inferring Linear Single-Tree Languages 1998-11-13 Selective Crossover in Genetic Algorithms: An Empirical Study 1998-07-01 A Robust Parsing Algorithm For Link Grammars 1995-10-13 The Design, Implementation, And Evaluation Of Cryptographic Distributed Applications: Secure PVM 1997-04-01 Wavelength Division Multiple Access Channel Hypercube Processor Interconnection 1995-03-17 Patrick W. Dowd Design of Virtual Three-dimensional Instruments for Sound Control 1999-03-24 Path Optimization for Graph Partitioning Problems 1995-08-07 Transverse Activities: Abstractions in Object-Oriented Programming 1996-09-13 Bent Bruun Kristensen Evolutionary Design of Neural Architectures 1995-02-07 Interactive Audio Documents 1994-09-20 Understanding Function Behaviors through Program Slicing 1997-10-20 Fast Algorithms for MiningAssociation Rules 1996-02-21 Ordered And Shared, Linearly-Independent, Variable-Pair Decision Diagrams For Incompletely Specified Functions 1997-04-01 Iterators: Signs of Weakness in Object-Oriented Languages 1994-12-07 Henry G. Baker Motion and Color Analysis for Animat Perception 1996-06-26 The Weakest Precondition Calculus: Recursion and Duality 1999-01-08 The Complex Ginzburg-Landau Equation with Weak Initial Data 1997-04-26 Jiahong Wu All Structured Programs have Small Tree-Width and Good Register Allocation 1996-12-12 Mikkel Thorup Tool Support for Planning the Restructuring of Data Abstractions in Large Systems 1997-11-25 Recognition can be Harder than Parsing 1998-01-28 Bernard Lang Games with Imperfectly Observable Commitment 1998-07-01 Extension Theory for Local Groupoids 1997-10-29 Anders Kock Physical Based Toolkit For Real-Time Distributed Virtual World 1995-10-27 Henry Tong Ong The Ant System: Optimization by a colony of cooperating agents 1999-01-28 On the Existence of Sign Changing Solutions for Semilinear Dirichlet Problems 1996-06-28 Coherent Demodulation with FPGAs 1996-09-21 U. Meyer--base Dynamics of Training 1996-11-20 Single Frequency Network Planning For Dab/dvb With Individual Data Services 1998-11-06 Agnes Ligeti Empirical Bayes approaches to mixture problems and wavelet regression 1998-10-30 Managing Software with New Visual Representations 1999-01-21 erschien in: Computers Security 9/8 1990 715-721 1996-09-20 Andreas Pfitzmann Completion and Invariant Theory in Symbolic Computation and Artificial Intelligence 1994-09-02 Eugen E. Ardeleanu On Debugging Real-Time Applications 1994-08-19 Complex Structures in Quantum Field Theory 1997-04-26 Rainer Dick Knowledge-Intensive Query Processing 1998-05-13 Using An MDL-Based Cost Function With Neural Networks 1998-05-19 Identifying Speakers With Support Vector Networks 1996-06-17 Michael S. Schmidt On the Number of Metastable States in Spin Glasses 1995-06-13 Total Acknowledgements: A Robust Feedback Mechanism for End-to-End Congestion Control 1998-04-12 A Study on Retrospective and On-Line Event Detection 1998-06-15 Constraints on Constraints, Or the Limits of Functional Adaptation 1996-04-13 Simon Kirby Geometric Models in Stereoscopic Video 1996-01-25 Cheng Hong Yang A Sufficiently Fast Algorithm for Finding Close to Optimal Junction Trees 1997-03-20 Steering Three-Input Chained Form Nonholonomic Systems Using Sinusoids: The Fire Truck Example 1995-01-27 Front Tracking And Operator Splitting For Nonlinear Degenerate Convection--Diffusion Equations 1998-05-03 About Hölder Condition Numbers and the Stratification diagram for Defective Eigenvalues 1999-05-12 Variational Calculation of the Temperature Jump for a Polyatomic Gas 1994-09-28 The Discrete Wavelet Transform in S 1997-11-19 An Efficient Iterative Method For Stokes And Lam&#x00E9; Equations For Nearly Incompressible Media With Highly Discontinuous Coefficients 1998-09-24 N. S. Bakhvalov Path Constraints on Deterministic Graphs 1999-03-31 A Migration-friendly Tasking Environment for Gardens 1997-10-22 Improved Bottom-Up Query Evaluation in Positive Disjunctive Databases 1994-10-05 Stefan Brass Visual Logic Programming through Set Inclusion and Chaining 1996-06-20 Issues for the Commercial Distribution of Electronic Documents 1997-07-21 Comparison of Hardware and Software Cache Coherence Schemes 1992-07-15 Classified Larch Bibliography 1993-05-09 Lively Linear Lisp - 'Look Ma, No Garbage!' 1994-12-07 Henry G. Baker Functional Optimisation of Online Algorithms in Multilayer Neural Networks. 1997-06-09 A Note on Worst Case Efficient Meldable Priority Queues 1996-06-12 Rolf Fagerberg On the Markov Equivalence of Chain Graphs, Undirected Graphs, and Acyclic Digraphs 1999-04-25 Compiler Techniques for Determining Data Distribution and Generating Communication Sets on Distributed-Memory Machines 1996-10-18 Criteria Used for the Evaluation of Software System Requirements Models 1996-10-24 Elizabeth Haywood On the Use of Destination Set Grouping to Improve Fairness in Multicast Video Distribution 1995-07-19 Weak Long Distance Contributions to the Neutron and Proton Electric Dipole Moments 1997-12-11 Sfg Approach To The Sensitivity Determination Of Dynamic Recurrent Systems 1998-11-30 Ergodic Convergence In Subgradient Optimization 1997-09-22 On the Algorithmics of Higraphs 1997-09-03 A Prototype Study of an Autonomous Robot Platform for Sewerage System Maintenance 1997-04-16 Constructing Solvers For Radiosity Equation Systems 1997-05-16 A New Hashing Package for UNIX 1998-12-17 Computation and Data Partitioning on Scalable Shared Memory Multiprocessors 1996-11-25 Symbol-level Requirements for Agent-level Programming 1994-02-14 in Lagrangian. However, CP invariance is broken if 1997-09-23 GAP - Groups, Algorithms and Programming: version 3 release 4 patchlevel 4 1999-02-19 Linear Machine Decision Trees 1993-09-21 Local Spectral Theory for Operators on Banach Spaces and Applications to Convolution Operators on Group Algebras 1999-03-19 Michael M. Neumann Mass Degeneracy of the Higgsinos 1998-06-23 Gian F. Giudice On the Expressive Power of Graphical Query Languages 1970-01-01 T. Catarci New Approximation Methods for Planar Offset and Convolution Curves 1997-10-13 Type Specialisation for the lambda-calculus, or A New Paradigm for Partial Evaluation based on Type Inference 1996-03-29 John Hughes Robust Frequency Estimation Using Elemental Sets 1997-08-08 Parallel OPS5 User's Manual 1995-02-21 Combined Execution and Monitoring for Control of Autonomous Agents 1996-11-15 The Call-By-Value Lambda-Calculus: A Semantic Investigation 1997-02-05 A Finite-Difference Sieve to Count Paths and Cycles by Length 1997-12-11 Eric Bax A Refinement Logic for the Fork Calculus 1996-06-20 Unification, Rewriting, and Narrowing on Term Graphs 1997-02-13 Annegret Habel A Hardware Multicast Routing Algorithm for Two-Dimensional Meshes 1996-07-20 Comparing Flow and Context Sensitivity on the Modification-side-effects Problem 1997-08-07 A Concurrent Logic Programming Encoding of Petri Nets 1995-09-07 Andrew Davison Architecture-Independent Request-Scheduling with Tight Waiting-Time Estimations 1997-02-14 Fast Hierarchical Codebook Search for Fractal Coding of Still Images 1995-10-31 A Fixed-Point Recursive Digital Oscillator For Additive Synthesis Of Audio 1998-09-10 Shape from Shading: Provably Convergent Algorithms and Uniqueness Results 1994-11-05 Paul Dupuis The Design and Implementation of a Sequence Database System 1996-08-01 Modeling Interactive 3D and Multimedia Animation with an Embedded Language 1997-08-14 Conal Elliott GOLEX - Bridging the Gap between Logic GOLOG and a Real Robot 1998-05-26 Runtime Array Redistribution in HPF Programs 1994-12-08 L2Act: User Manual 1998-03-26 Roni Khardon Scalable Algorithms for Large-Scale Temporal Aggregation 1998-11-03 Using Chunk Based Partial Parsing of Spontaneous Speech in Unrestricted Domains for Reducing Word Error Rate in Speech Recognition 1998-09-20 How to Build Evidence in a Public-Key Infrastructure for Multi-Domain Environments 1997-11-26 Bruno Crispo Constraint Maintenance using Generated Methods in the P/FDM Object-Oriented Database 1998-02-11 Ants don't have Friends - Thoughts on Socially IntelligentAgents 1997-09-03 Kerstin Dautenhahn Supporting IP Multicast Integrated Services in ATM Networks 1997-08-05 German Gis/lis Standards 1994-11-23 The Fate of the Reformulated Binding Theory 1998-06-04 Charlotte Koster High-Level Planning and Control with Incomplete Information Using POMDPs 1998-06-09 Blai Bonet Issues in Designing a Transport Protocol for Audio and Video Conferences and other. . . 1993-05-27 Multiresolution Modeling and Visualization of Volume Data based on Simplicial Complexes 1997-02-03 Control of Visually Guided Behaviors 1994-05-09 Ieee Transactions On Information Theory, Vol. 43, No. 1, January 1997 1997-11-04 On The Creation Of Conjugate Points For Hamiltonian Systems 1997-09-12 Minimal Geodesics on Groups of Volume-preserving Maps and Generalized Solutions of the Euler Equations 1997-06-23 Yann Brenier High-dimensional Similarity Joins 1997-04-06 A C++ Data Model Supporting Reachability Analysis and Dead Code Detection 1997-04-15 Dodo: A User-level System for Exploiting Idle Memory in Workstation Clusters 1998-12-10 Clustering Noisy Data with Deterministic Annealing 1995-10-25 Mattias Ohlsson Building User Interfaces: Organizing Software Agents 1970-01-01 Automatic Re-Tuning of PI Controllers in Oscillating Control Loops 1997-08-25 Locality, Independence and the Pro-Liberty Bell 1996-02-27 Huw Price A Matrix-Algebraic Approach to Successive Interference Cancellation in CDMA 1999-01-05 Towards Automatic Specialization of Java Programs 1998-12-17 Parallelisierte Anfrageoptimierung für parallele Datenbanksysteme 1996-10-02 Data Partitioning and Load Balancing in Parallel Disk Systems 1996-06-27 General Bounds on Statistical Query Learning and PAC Learning with Noise via Hypothesis Boosting 1994-09-20 IP Switching: ATM Under IP 1998-04-23 Circumscribing Embedded Implications Without Stratifications 1994-10-04 L. Thorne Mccarty Set-Theoretic Reconstructability of Elementary Cellular Automata 1996-01-29 Stavanger College, Department of Electrical and Computer Technology P. O. Box 2557 Ullandhaug, 4004 Stavanger Phone: +47 51 83 10 51 Fax: +47 51 83 17 50 e-mail: ranveig@hsr.no 1998-01-30 Static and Adaptive Location Management in Mobile Wireless Networks 1998-12-23 OMG RFP Submission Smalltalk Language Mapping Specification 1995-04-05 A Network which Performs Orthonormalized Principal Subspace Extraction 1994-07-29 Mark D. Plumbley Instruction-Set Modelling for ASIP Code Generation 1998-06-17 Customizing Adaptive Software to Object-Oriented Software Using Grammars 1994-05-26 Euclidean Structure and Motion From Image Sequences 1998-12-05 A Recursive Log-MAP Algorithm for Binary Linear Block Codes 1998-04-07 Metastates In Disordered Mean Field Models II: The Superstates 1997-08-31 Christof Kulske Vector Compaction Using Dynamic Markov Models 1998-01-13 On Bayesian Analysis Of Multi-Rater Ordinal Data: An Application To Automated Essay Grading 1994-02-03 Valen E. Johnson Unknown 1994-12-09 Dealing With Disaster: Surviving Misbehaved Kernel Extensions 1996-09-17 Scalable Parallel List Ranking of Image Edges on Fine-grained Machines 1999-02-05 Diphone Synthesis For Welsh 1995-06-14 Briony Williams Learning for Question Answering and Text Classification: Integrating Knowledge-Based and Statistical Techniques 1998-05-15 Patterns arising from the interaction between scalar and vectorial instabilities in two-photon resonant Kerr cavities 1999-01-27 Application of Neural Networks to Load-Frequency Control in Power Systems. 1997-11-14 Signal Detection In Non-Gaussian Noise By A Kurtosis-Based Probability Density Function Model 1997-04-15 A. Tesei Modeling from Physical Principles 1997-03-12 KUMANO, Tadashi TOKUNAGA, Takenobu INUI, Kentaro TANAKA, Hozumi 1996-04-01 A comment on the efficiency of secret sharing scheme over any finite Abelian group 1998-06-08 The Inviscid Limit of the Complex Ginzburg-Landau Equation 1997-04-26 Jiahong Wu Optimality and Inefficiency : What Isn't a Cost Model of the Lambda Calculus? 1996-01-29 Analysis Of Comptel Gamma-Ray Burst Locations And Spectra 1996-12-02 Design and Evaluation of Data Storage and Retrieval Strategies in a Distributed Memory Continuous Media Server 1997-01-20 Error-Driven Learning of Chinese Word Segmentation 1998-08-20 Visual Tools for Verifying Real-Time Systems 1996-02-21 Jonathan S. Ostroff Porting The Well-Posed Topographical Meteorological Model To The Ksr Parallel Supercomputer 1994-08-09 Constraint Handling in Evolutionary Search: A Case Study of the Frequency Assignment 1999-01-29 Optimizing Proof Search in Model Elimination John Harrison 1999-03-27 Maximum Principle and Local Mass Balance for Numerical Solutions ofTransport Equation Coupled With Variable Density Flow 1998-07-27 P. Frolkovic VCR 2.0 RPC Support and Run-Time Library 1992-11-03 A Layman's Guide to a Subset of ASN.1, BER, and DER 1995-06-13 Burton S. Kaliski Nonoverlapping Domain Decomposition Methods for Inverse Problems 1997-11-21 Karl Kunisch Charge collection response of SI GaAs p-i-n detectors 1997-06-12 From Micro-Soft to Bio-Soft: Computing with DNA 1999-02-03 Lila Kari Traffic Action Effect Reduction Factors 1999-03-28 Simon F. Bailey SPE 35518 Optimisation of Production Strategies using Stochastic Search Methods 1996-06-18 A Scaling Limit of the Glauber Dynamics for a Class of Neural Network Models 1997-04-26 Hans Koch Scalable Access within the Context of Digital Libraries 1997-03-17 Wulff Droplets And The Metastable Relaxation Of Kinetic Ising Models 1997-05-15 A Groenewold-Van Hove Theorem for S&#x00B2; 1997-04-26 Wireless LANs: The DECT Approach 1999-01-05 Anthony Lo Acknowledgments 1997-02-11 David Mcgregor Squire Representing Time in Multimedia Systems 1996-03-26 Alignment Across Oriental and Indo-European Languages 1996-07-17 Practical Issues in Graphical Constraints 1996-12-01 Michael Gleicher B-Trees with Relaxed Balance 1995-10-04 Consistency Driven Planning 1997-05-30 An On&#x00B3; Algorithm for Frobenius Normal Form 1998-04-28 Arne Storjohann Tracking a Moving Object by an Active Vision System: PANTHER-VZ 1995-02-13 Robust Construction of the Voronoi Diagram of a Polyhedron 1996-06-23 Victor Milenkovic The Sequoia 2000 Architecture And Implementation Strategy 1997-07-08 Unknown 1998-11-13 Dibyendu Nandy English Alphabet Recognition with Telephone Speech 1995-12-22 The Axiomatic Approach for Theory Development in IR 1996-02-05 Blind Source Separation Of Nonlinear Mixing Models 1997-05-10 Quick Compilers Using Peephole Optimization 1999-04-03 Loop Distribution with Multiple Exits 1996-11-30 On Social Attitudes: A Preliminary Report 1995-10-25 An Efficient Implementation of Sequentially Consistent Distributed Shared Memories 1995-03-10 A Metastable Spike Solution For A Non-Local Reaction-Diffusion Model 1998-08-28 The Scale-Space Aspect Graph 1992-05-21 Construction of Symbolic Dynamics from Experimental Time Series 1999-01-07 Distributed Simulation with a Transputer Version of the Time Warp Operating System 1998-12-20 An Exploration of Nonprehensile Two-Palm Manipulation: Planning and Execution 1996-10-24 Michael Erdmann HyTech: A Model Checker for Hybrid Systems 1999-03-16 Multi-Channel Remote Sensing Data And Orthogonal Transformations For Change Detection 1998-05-12 Allan Aasbjerg Nielsen Asc - An Associative Computing Paradigm 1994-09-20 What Sort Of Control System Is Able To Have A Personality? 1997-10-28 Aaron Sloman Implementing the BPG Neural Network Algorithm on MP-1216 / MP-2216 Massive Parallel SIMD Machines 1995-03-23 L. Larsson A Non-Local Model for a Swarm 1998-10-05 A Measurement Study of an LRMP-based Webcasting Application 1999-03-24 On Using Network RAM as a non-volatile Buffer 1998-08-19 On Automorphism Groups of Graphs and Distributive Lattices 1997-11-14 Stephan Foldes Formal Verification of an Asynchronous Transfer Mode Network: Final Report 1995-04-07 There Is No Polynomial Deterministic Space Simulation of Probabilistic Space with a Two-Way Random-Tape Generator 1999-04-09 Parallel Simulation Of Large-Scale Water Distribution 1995-07-25 Belief Revision in Multi-Agent Systems 1994-06-10 Efficient Analyses and Models of VLSI and MCM Interconnects 1996-06-12 Agreeing on Processor Group Membership in Timed Asynchronous Distributed Systems 1997-08-04 LIFE - A Natural Language for Natural Language 1994-12-02 Concurrent Rule Execution In Active Databases 1997-04-23 Trends in Cooperative Distributed Problem Solving 1995-07-12 A Distributed Object Platform for Multimedia Applications 1998-11-19 Analytical Solution to the Constant Modulus Factorization Problem 1994-11-28 A New Approach of Vector Quantization Applied to Image Data Compression and Texture Detection. 1995-07-18 Laurent D. Cohen Analysis and Improvement of the Variable Binding Scheme in LOGFLOW 1998-11-20 Computing Performance Bounds for Fork-Join Queueing Models 1995-02-28 Selective Attention for Handwritten Digit Recognition 1996-01-16 Ethem Alpaydin Decomposition Theorems in Differential Geometry 1998-01-26 Pitfalls of Agent-Oriented Development 1998-07-23 k-Variable Pattern Languages Efficiently Stochastically Finite on Average from Positive Data 1998-11-12 Interoperable Query Processing among Heterogeneous Databases 1994-06-01 Yahui Chang TestTube: A System for Selective Regression Testing 1997-10-28 A High-Performance PVM for Alpha Clusters 1999-03-30 A Life's Work on Hadamard Matrices, Statistical Designs, Bent Functions and their Application to Computer and Information Security in Networks and Telecommunications 1997-07-15 Jennifer Seberry Product Form Solution for Stochastic Automata Networks with synchronizations 1997-06-13 Matching Micro-Kernels to Modern Applications using Fine-Grained Memory Protection 1995-11-30 Scalable Multimedia-On-Demand via World-Wide-Web WWW with QOS Guarantees 1996-10-09 Structured Multimedia Authoring 1995-03-13 Testing Inheritance Hierarchies in the ClassBench Framework 1998-09-27 Design Of Polar-Separable Fir Filters By Radial Slice Approximations 1997-10-27 Static Semantics of Message Sequence Charts 1998-10-15 M. A. Reniers Domination Numbers Of Q-Analogues Of Kneser Graphs 1995-12-20 Word Sense Disambiguation and Text Segmentation Based on Lexical Cohesion 1997-05-15 Integrated Support for Task and Data Parallelism 1994-03-31 By Chin-Yu Lin and Michael R. Kosorok 1997-09-23 Experimental Models For Software Diagnosis 1996-09-25 Modeling Distributed Software Systems with Object Coordination Nets 1998-02-27 The Relaxation of Non-Quasiconvex Variational Integrals 1998-01-15 Petr Kloucek Effect of Force Perturbation on Elbow Joint Pulse Response in Posture 1996-05-30 Event Prediction: Learning from Ambiguous Examples 1998-12-11 Gary M. Weiss Access Control and Signatures via Quorum Secret Sharing Extended Abstract 1997-01-11 Exploiting Intermediate Sparsity in Computing Derivatives for a Leapfrog Scheme 1997-03-06 Computation of Best Bounds of Probabilities from Uncertain Data 1995-09-10 Projekt Operatorsverktyg, delprojekt 4: Modeller for massatransport och berakning av uppehallstid i fiberlinjen. Slutrapport. 1994-05-30 A Comparative Study of Vision-Based Lateral Control Strategies for Autonomous HighwayDriving 1999-01-27 Porting UNIX to Windows NT 1998-10-01 David G. Korn Mellin Transforms And Asymptotics: Digital Sums 1996-04-29 Overriding Operators in a Mixin-Based Framework 1997-05-27 A Time Efficient KE Based Theorem Prover 1998-10-05 Ulrich Endriss Note on Algol and Conservatively Extending Functional Programming 1996-03-04 Peter W. O'hearny TCP over Wireless Networks Using Multiple Acknowledgements 1997-01-30 Distributed Data Layout, Scheduling and Playout Control in a Large Scale Multimedia Storage Server 1995-11-07 Web SlideShow: a Virtual Auditorium for . . . 1999-02-04 An Adaptive Object-oriented Approach to Integration and Access of Heterogeneous Information Sources 1997-09-16 An Integrated Approach to Evaluating Text Coherence and its Application to the Prevention of Reader Misconceptions 1997-10-03 Implementing the Evaluation Transformer Model of Reduction on Parallel Machines 1993-07-27 G. L. Burn What is a MUD? 1998-01-12 Lynn Cherny Integrating Concept Networks and HyperMedia 1995-06-14 Peter J Scott Supporting Continuous Media Applications In A Micro-Kernel Environment 1994-05-26 Polynomial first integrals of the Lotka-Volterra system 1998-09-25 Jean Moulin Ollagnier Generation of Broadband Noise-Like Signals for Measurement and Location Purposes 1998-10-07 Linear Discriminant Analysis of MPF for Face Recognition 1998-06-10 Focusing Search in Hierarchical Structures with Directory Sets 1998-09-21 A Fuzzy Logic Based Extension to Payton and Rosenblatt's Command Fusion Method for Mobile Robot Navigation 1996-08-21 Exploring the Importance of Preprocessing Operations in Real-Time Multiprocessor Scheduling 1997-11-26 Jan Jonsson Monadic Parser Combinators 1997-11-25 Efficient Analysis of Logic Programs with Dynamic Scheduling 1996-08-13 Applying the Theory-Model Paradigm 1970-01-01 A Model for Distributed Management of Dynamic Changes 1996-04-21 Markus Endler Driving Saccade to Pursuit using Image Motion 1995-04-29 Status and prospects of MSW and vacuum oscillation solutions of the solar neutrino problem 1997-09-29 Best-First and Depth-First Minimax Search in Practice 1998-04-16 Adaptation Using Cases in Cooperative Groups 1997-01-19 DDD: A System for Mechanized Digital Design Derivation 1997-03-17 Design Tools That Learn: A Possible Cad Future 1996-11-26 John S Gero Parallel I/O from the User's Perspective 1995-01-26 Quantized Kronecker flows and almost periodic quantum field theory 1997-04-26 Comparison of Path Selection Algorithms for ATM Networks 1998-12-10 Mark Wodrich Parallel Term Graph Rewriting and Concurrent Logic Programs 1997-04-11 G. A. Papadopoulos RTCVD Model Reduction: A Collocation on Empirical Eigenfunctions Approach 1995-12-22 Raymond A. Adomaitis Absence Of Greisen-Zatsepin-Kuzmin Cutoff And Stability Of Unstable Particles At Very High Energy, As A Consequence Of Lorentz Symmetry Violation 1997-05-26 L. Gonzalez-mestres Ordering, Slicing And Splitting Monte Carlo Markov Chains 1998-10-14 Kamal Nigam 1999-01-22 Boundary Stabilization of a Hyperbolic Equation with Viscosity 1998-10-02 M. M. Cavalcanti Improved Quasi-Maximum Likelihood Estimation for Stochastic Volatility Models 1995-12-11 Index Structures for Structured Documents 1998-08-15 Low-loss TCP/IP Header Compression for Wireless Networks 1970-01-01 Simulation Levels of Detail for Real-time Animation 1997-03-28 Translucent Cryptography - An Alternative to Key Escrow, and its Implementation via Fractional Oblivious Transfer 1997-11-02 Periodic Sequence Patterns in Human Exons 1996-08-27 Multilayer Perceptrons May Learn Simple Rules Quickly 1998-05-12 R. Urbanczik A Semantic Copying Model For Understanding Comparatives 1997-11-23 Flat Minima 1997-03-13 On Building a Planning Tool Box 1997-04-16 Joachim Hertzberg -- 1-- Production And Decay Of 1998-09-17 propropro-Drop Languages Don't: On Overt Pronominal Subjects in Greek 1996-02-08 Alexis Dimitriadis Load Balancing in Software Distributed Shared Memory Systems 1998-05-16 A System Software Structure for Distributed Multimedia Systems 1998-07-24 Genetic Programming for Pedestrians 1995-01-31 Wolfgang Banzhaf Encapsulation and Composition of Ontologies 1998-05-17 Some Methods Of Erdös Applied To Finite Arithmetic Progressions 1994-10-27 The Influence of Neural Activity and Intracortical Connections on the Periodicity of Ocular Dominance Stripes 1998-07-24 Geoffrey J. Goodhill Asymptotic Properties Of Data Compression And Suffix Trees 1996-06-17 Wojciech Szpankowski An Efficient Distribution of Labor in a Two Stage Robust Interpretation Process 1997-06-16 Some thoughts about the animation of formal specifications written in the AlbertII language 1998-08-31 Queries and Computation on the Web 1996-10-26 Serge Abiteboul Does Each Symmetric Operator Have a Stability Domain? 1997-04-26 V. A. Zagrebnov Register Communication Strategies for the Multiscalar Architecture 1998-03-25 Looking at Full Looking Ahead 1996-12-06 Improved Penalized Likelihood Reconstruction Of Anatomically Correlated Emission Data 1996-05-31 Real Time Fractal Video For Personal Communications 1995-08-22 Two And Higher Dimensional Pattern Matching In Optimal Expected Time 1997-09-26 Infrared Behaviour of Systems With Goldstone Bosons 1998-05-24 Promising Directions in Active Vision 1993-12-07 Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for lambda-calculi 1998-04-22 Marina Lenisa Telecommunications Issues of Intelligent Database Management For Ground Processing Systems in the EOS Era 1995-06-21 Joseph D. Touch Statistical Properties of the Spectrum of Light Pulses in Fast Pseudo Random Word Modulation of a Single-Mode Semiconductor Laser 1998-11-12 VSDITLU: a verified symbolic definite integral table look-up 1999-01-21 On the Detection and Estimation of Long Memory in Stochastic Volatility 1996-07-23 Theory of point defects in GaN, AlN and BN: Relaxation and pressure effects 1999-01-14 The Canonical Class and the C infinity Properties of Kähler Surfaces 1996-12-30 A Numerical Method For Solving Inverse Eigenvalue Problems 1998-08-10 Hua Dai Smooth Low Degree Approximations of Polyhedra 1996-03-30 Anisotropy in Fitness Landscapes 1998-09-25 Peter F. Stadler Larchant: A Distributed Shared Store With Persistence By Reachability 1995-11-30 Paulo Ferreira On a Distributed Anytime Architecture for Probabilistic Reasoning 1996-02-20 An Investigation of the Use of High Performance Computing for Multiscale Color Image Smoothing Using Mathematical Morphology 1999-02-03 The Complexity of Obtaining Solutions for Problems in NP and NL 1997-03-13 Birgit Jenner Dynamic Itemset Counting and Implication Rules for Market Basket Data 1999-02-08 On the Measurability of the Conjugate and the Subdifferential of a Normal Integrand 1995-10-27 Christian Hess Spatial and Temporal Refinement of Typed Graph Transformation Systems 1998-05-18 Temporal Patterns And Modal Structure 1998-08-28 Johan Van Benthem Smarter Corpus-based Syntactic Disambiguation 1998-12-16 Packet Loss Correlation in the MBone Multicast Network 1996-07-12 Branko J. Gerovac and David C. Carver 1997-07-10 MacroSplit 1997-10-20 X. Messeguer Interface Pinning And Finite Size Effects In The 2d Ising Model 1997-04-26 C. -e. Pfister On-line Scheduling with Hard Deadlines 1999-01-27 Simultaneous Place and Route for Wire-Constrained FPGAs 1995-03-04 Darren C. Cronquist A Family of Dynamic Models for Large-Eddy Simulation 1997-06-18 Perceptual Grouping of Continuation: Application for Satellite Images 1998-03-11 W2-hardness of Precedence Constrained K-processor Scheduling 1994-03-22 WKB expansion for the angular momentum and the Kepler problem: from the torus quantization to the exact one 1997-04-26 Marko Robnik The Weapon-Target Assignment Problem 1999-01-28 Vision-Based 6-dof Robot End-effector Positioning Using Neural Networks 1997-02-14 Parallel Solutions to Geometric Problems in the Scan Model of Computation 1997-02-04 Verb Sense and Verb Subcategorization Probabilities 1999-03-31 Tango Lite: A Multiprocessor Simulation Environment - Introduction and User's Guide 1995-04-21 Performance of Quantizers on Noisy Channels using Structured Families of Codes 1999-01-09 Kenneth Zeger Efficient DES Key Search 1994-10-04 Michael J. Wiener Combining Linguistic Information in a Distributed Intelligent Agent Model for Information Gathering on the Internet 1998-09-15 Estimatable Linear Systems 1997-03-31 Separating Hippocampal Maps 1997-10-22 `Elementary flatness' on a symmetry axis 1998-11-20 Consequences of Nuclear Shadowing for Heavy Quarkonium Production in Hadron-Nucleus Interactions 1998-05-15 Multigrid for Locally Refined Meshes 1996-12-03 Yair Shapira An Annotated Bibliography of the COMAL Language 1999-01-20 J. John O'gorman Equational Reasoning with 2-dimensional Diagrams 1994-07-05 Yves Lafont Online Scheduling with Lookahead: Multipass Assembly Lines 1997-08-04 IACAS: an Implementation of Chisholm's Principles of Knowledge Extended Abstract 1970-01-01 Gerard Vreeswijk Color Image Processing for Space Shuttle Main Engine SSME Flaw Detection 1995-08-17 Architectural Implications of a Family of Irregular Applications 1998-02-25 A Control Variable Perspective for the Optimal Combination of Truncated Corrected Returns 1995-01-18 Michael O. Duff Geometry of Semiparametric Models and Applications 1998-03-14 Shun-ichi Amari Experiments in Process Interface Descriptions, Visualizations and Analyses 1998-09-09 Equilibrium Measures for Coupled Map Lattices: Existence, Uniqueness and Finite-Dimensional Approximations 1997-05-05 User Assisted Modeling of Buildings 1998-11-19 System Support for Mobile Multimedia Applications 1999-01-19 Hector: An Agent--Based Architecture for 1999-01-20 A Step-Frequency Radar Imaging System for Microwave Nondestructive Evaluation 1997-07-25 Complete Removal of Redundant Expressions 1999-02-14 Modelling Intonational Structure Using Hidden Markov Models 1997-06-25 On Relating Some Models for Concurrency 1993-11-25 Transaction Support in Read Optimized and Write Optimized File Systems 1996-07-02 Michael Stonebraker Consecutive Tree Search for Dynamic Road Scene Analysis 1998-07-28 Dirk Wetzel The Complexity of Reasoning with Concrete Domains 1999-04-08 Hierarchical Triangulation for Multiresolution Surface Description 1995-10-27 Leila De Floriani Toward Protected Tagged Types in Ada 95 1995-12-20 Learning Range Restricted Horn Expressions 1998-12-21 Roni Khardon Adaptation of Partitioning and High-Level Synthesis in Hardware/Software Co-Synthesis 1997-06-18 GammaDeltaTheta 1997-11-25 Specification of the prototype language SimPvm 1.0b 1999-01-12 Wavelet Quantization Of Noisy Speech Using Constrained Wiener Filtering 1998-06-29 Nonrigid Registration of Medical Images Based on Anatomical Point Landmarks and Approximating Thin-Plate Splines 1996-10-23 Specification of Graph Translators with Triple Graph Grammars 1995-05-31 Implementing State Machines in Smalltalk 1995-06-17 Trevor P. Hopkins Typed Concurrent Objects 1995-02-03 Vasco T. Vasconcelos Simulation Of Database Transaction Management Protocols: Hybrids And Variants Of Time Warp 1998-02-03 John A. Miller Triangulation 1996-12-19 Richard I. Hartley Solitonic Baryons in a Chiral Quark Meson Model 1998-12-18 M. S. Sriram The External Storage Facility in SICStus Prolog 1995-10-19 On Self-Similar Traffic in ATM Queues: Definitions, Overflow Probability Bound and Cell Delay Distribution 1997-11-11 Exploration in Active Learning 1998-09-29 Sebastian Thrun Global Gevrey Regularity for the B&#x00E9;nard Convection in Porous Medium with Zero Darcy-Prandtl Number. 1998-04-23 Population Heuristics 1999-03-15 J. E. Beasley A Language for Describing Predictors and its Application to Automatic Synthesis 1997-06-25 Simultaneous Sequential Confidence Intervals Of Fixed Widths For Several Means Using Bonferroni Inequality 1995-03-17 Kimmo E. E. Raatikainen A Petri-Net-Based Approach to Real-Time Program Analysis 1995-07-12 Robert Sloan A Linear Time Algorithm For DNA Sequencing 1996-01-31 Shih Ping Tung The Ortho-Para Transition Rate in Muonic Molecular Hydrogen 1996-11-01 Data Mining The Search for Knowledge in Databases 1995-02-07 The StarTech Massively Parallel Chess Program 1999-02-12 Bradley C. Kuszmaul Bifocal Sampling for Skew-Resistant Join Size Estimation 1997-06-20 Plans Should Abstractly Describe Intended Behavior 1997-01-14 Asymptotic Forms and Algebraic Differential Equations 1995-02-20 Primitive CoRecursion and Course-of-Value CoIteration, Categorically 1998-04-03 Performance Prediction Using Intervals Extended Abstract 1997-12-22 Decomposition of Domains 1994-01-19 Heat-Kernel Asymptotics With Generalized Boundary Conditions 1998-05-24 Invariante Kegel in Cartan-Algebren 1995-08-20 Integrating Abduction and Induction in Machine Learning 1997-04-29 Raymond J. Mooney UNIX Password Security 1994-03-10 Walter Belgers Reinforcement Learning with Replacing Eligibility Traces 1996-09-05 HP Laboratories UNIX disk access patterns 1997-04-26 Nowcasting Astronomical Seeing: Towards an Operational Approach 1997-04-24 Congruence Types 1996-12-19 Gilles Barthe Automatic Evaluation of Spoken Dialogue Systems 1998-05-26 From the Process of Instruction to the Process of Learning: Constructivist Implications for the Design of Intelligent Learning Environments 1997-02-20 Incidence and Lattice Calculus with Applications to Stochastic Geometry and Image Analysis 1993-06-30 Parallel Implementation through Object Graph Rewriting 1996-12-16 John Glauert Spectroscopic Methods for Liquid Mirror Telescopes 1997-06-17 Kjetil Dohlen PVM: Parallel Virtual Machine 1995-10-16 Quantum Chaos in a Yang--Mills--Higgs System 1997-06-13 Luca Salasnich The European Large Area 1998-12-15 A Linear Logical Framework 1996-04-26 Dense Nonrigid Motion Tracking from a Sequence of Velocity Fields 1996-03-22 Universal Profinite Domains 1994-05-13 Carl A. Gunter Electrically Charged Black-Holes For The Heterotic String Compactified On A 1998-05-15 Pablo M. Llatas An Evaluation of Pricing Schemes that are based on Effective Usage 1998-02-17 Global/Local Subtyping and Capability Inference for a Distributed pi Calculus 1998-05-29 Peter Sewell On Model Checking for Real-Time Properties with Durations 1993-11-08 DIEGO, Another Step Towards a Module Concept for Graph Transformation Systems 1999-03-28 Gabriele Taentzer Evolutionary Design and Multi-objective Optimisation 1999-01-13 A Surrogate Approach To The Experimental Optimization Of Multielement Airfoils 1996-11-04 On RAM priority queues 1995-11-24 Mikkel Thorup Data Retrieval through Virtual Experimentation 1995-03-13 Convection in Stellar Envelopes: A Changing Paradigm 1996-07-07 H. C. Spruit Holding Intruders Accountable on the Internet 1995-05-13 L. Todd Heberlein Illumination-Invariant Face Recognition with a Contrast Sensitive Silicon Retina 1996-05-28 MESSENGERS System Library 1998-01-22 Munehiro Fukuda Newton: Constraint Programming over Nonlinear Real Constraints 1995-08-30 Reliability Simulation of Fault-Tolerant Software and Systems 1998-06-19 Efficient Detection of Incompleteness Errorsin the Abstract Debugging of Logic Programs 1997-03-13 Mobile Objects in Distributed Oz 1999-02-10 Fair Simulation 1999-01-05 The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model 1994-10-22 The midpoint scheme and variants for Hamiltonian systems: advantages and pitfalls 1998-05-25 Integration Of AI-, Database- And Telecommunicationtechniques For The Plant Protection Expert System Pro_plant 1998-03-06 An Optimality Criterion For Arithmetic Of Complex Sets 1999-03-30 Classical Solutions for Some Higher Order Semilinear Elliptic Equations under Weak Growth Conditions 1998-12-17 Proving Confluence Without Termination 1997-05-08 Jordi Levy Neuro-Fuzzy Techniques under MATLAB/SIMULINK Applied to a Real Plant 1998-06-15 Rudolf Kruse Modeling Techniques for PCS Networks 1996-10-12 Yi-bing Lin Stochastic Biasing and the Forest of Merger History Trees 1999-02-10 Ravi K. Sheth Information Needs in Technical Work Settings and their Implications for the Design of Computer Tools 1997-08-21 Andreas Paepcke Recent Developments Concerning Entropy And Approximation Numbers 1997-06-26 David E. Edmunds Simple Type Inference For Term Graph Rewriting Systems 1998-04-30 R. Banach Finite Element Approximation of Solutions to a Class of Nonlinear Hyperbolic-Parabolic Equations 1999-03-07 Plan 9 from Bell Labs 1995-12-16 Coverings, Heat Kernels and Spanning Trees 1999-02-12 Smallest Enclosing Ellipses - Fast and Exact 1997-05-26 Enterprise Modelling with FUNSOFT Nets 1998-01-27 Augmenting Paper Documents with Digital Information in a Mobile Environment 1996-09-17 Self-Organizing Neurocontrol 1995-05-08 Dynamic Load Balancing in Geographically Distributed Heterogeneous Web Servers 1999-03-26 Computing the Spanish Medium Electrical Line Maintenance Costs by means of Evolution-Based Learning Processes 1998-02-04 Francisco Herrera A Calculus Of Broadcasting Systems 1994-04-07 K. V. S. Prasad Typing and Subtyping for Mobile Processes 1996-08-18 Compound Constructions of Minimal Broadcast Networks 1998-10-05 The Galley Parallel File System 1970-01-01 Flexible Extraction of Practical Knowledge from Bridge Databases 1995-02-09 The Importance of Using Multiple Styles of Generalization 1995-07-26 A Wave Propagation Method for Three-Dimensional Hyperbolic Conservation Laws 1997-01-28 Compositionally Modular Scheme 1996-01-02 Local Diagnosis for Real-Time Network Traffic Management 1997-08-11 IPDS, Sept. 4-6, 1996. 1996-07-22 On Gr¨obner Bases for Two-Sided Ideals in Nilpotent Group Rings 1995-05-16 Automatic Visual to Tactile Translation, Part II: Evaluation of the TACTile Image Creation System 1997-10-24 Virtual Musical Instruments: Accessing the Sound Synthesis Universe as a Performer. 1998-04-10 Axel Mulder Degenerations of nilpotent Lie algebras 1998-12-22 Truncated Temporal Differences with Function Approximation: Successful Examples Using CMAC 1996-02-09 Pawe Cichosz The Complexity of Approximate Optima for Greatest Common Divisor Computations 1998-02-23 A Taxonomy of Distributed Debuggers Based on Execution Replay 1997-03-21 Study Of Linear Independence And Accuracy Of Scaling Vectors Via Two-Scale Factors 1998-02-26 Jianzhong Wang Explaining Predictions in Bayesian Networks and Influence Diagrams 1998-06-18 The Confluent System Formalism: Ii. The Growth History Of Objects 1997-06-12 Alberto Manrique A Stable Integer Relation Algorithm 1998-02-23 Probabilistic Verification of Proofs 1998-06-25 Madhu Sudan Decremental Biconnectivity on Planar Graphs 1997-06-17 Willy-b. Strothmann Worst-Case Timing Analysis of Cycle-Stealing DMA I/O Tasks 1998-02-05 The Preliminary Cosmic Diffuse 1996-12-02 On the Apparent Diffusion of Water Waves Propagating in Channels with Disordered Topography 1998-05-25 Clitics and the Structure-Function Mapping 1998-10-07 User-Level Protocol Servers with Kernel-Level Performance 1998-10-05 Scheduling Strategies for Mixed Workloads in Multimedia Information Servers* 1997-12-17 Scenario Analysis - an Approach to Organisational Learning 1997-05-07 Automatic Verification of a Class of Symmetric Parallel Programs 1994-06-20 Elimination of Constants from Machines over Algebraically Closed Fields 1996-09-17 Pascal Koiran Optimal Rectilinear Steiner Minimal Trees in On&#x00B2;2.62&#x00B2; Time 1996-07-22 Automatic Language Identification Using A Segment-Based Approach 1994-11-18 The permutation classes equinumerous to the Smooth class 1998-06-17 The text/enriched MIME Content-type 1994-01-07 Distributed Artificial Intelligence 1994-11-08 Edmund H. Durfee Adaptive Parallel Algorithms for the Synthesis of Real-Time Computer Systems 1996-10-17 An Investigation Into the Use of Machine Learning for Determining Oestrus in Cows 1996-07-26 Deterministic Delay Bounds for VBR Video in Packet-Switching Networks: Fundamental Limits and Practical Tradeoffs 1996-07-03 Generating Analyzers with 1996-01-12 New Types of Cryptanalytic Attacks using Related Keys 1999-01-18 On The n-Cohomology Of Limits Of Discrete Series Representations 1997-04-22 Wolfgang Soergel Curve Extraction in Images Using the Multiresolution Fourier Transform 1997-09-19 A Robot Laboratory for Teaching Artificial Intelligence 1998-08-27 3D Object Recognition Using Unsupervised Feature Extraction 1992-01-15 A Memory Model for Case Retrieval by Activation Passing 1995-06-17 Michael Brown A Modal Logic for Reasoning about Belief 1998-05-27 Face Processing: Human Perception and Principal Components Analysis 1998-05-27 PEXlib Specification and C Language Binding 1995-07-12 Jeff Stevenson Estimating the J function without edge correction 1997-12-01 Design and Evaluation of an Auditory Glance at Algebra for Blind Readers 1997-06-19 Detecting Bars in CEDAR digit images 1998-03-11 Patrick C Hew Speeding up the Memory Hierarchy in Flat COMA Multiprocessors 1997-02-07 Justin A. Boyan 1998-12-17 Justin A. Boyan Equilibrium Foreclosure and Complementary Products 1970-01-01 Strong Minimax Lower Bounds for Learning 1997-09-30 Temporal Structures For Fast And Slow Speech Rate 1999-03-12 Brigitte Zellner Automatic Line Matching across Views 1998-02-24 Performance of Data-Parallel Primitives on the EM-4 Dataflow Parallel Supercomputer 1996-04-02 Head Automata and Bilingual Tiling: Translation with Minimal Representations 1997-03-28 Evolutionary Algorithms for Fuzzy Logic: A Brief Overview 1996-08-02 Kernel Principal Component Analysis 1999-01-18 Methods To Estimate Areas And Perimeters Of Blob-Like Objects: A Comparison 1970-01-01 IDENTIFIED: Software Authorship Analysis with Case-Based Reasoning 1998-02-11 A Delay-Line Based Motion Detection Chip 1992-01-20 A Syntactical Analysis of Reversible PEPA Models 1998-10-06 W-Matrices, Nonorthogonal Multiresolution Analysis, and Finite Signals of Arbitrary Length 1994-10-12 Scripting COM components in Haskell 1998-04-06 Automated Assessment of Geometric Scanner Resolution 1996-07-01 Detour: a Case for Informed Internet Routing and Transport 1999-01-05 Quasi-State Decompositions For Quantum Spin Sytems 1997-04-26 Bruno Nachtergaele A Real-Life Experiment<E-227>in Creating an Agent Marketplace 1997-12-11 Up--dating for the paper "The mass of the Higgs boson in the Standard Model from precision tests" MPI--Ph/95--39, hep--ph/9505304. 1998-05-13 A Note on Deflection Routing on Undirected Graphs 1994-11-14 Antonios Symvonis Observers for Linear Types 1999-03-23 Martin Odersky Parallel Algorithms for Computing Temporal Aggregates 1998-08-31 What Makes Patterns Interesting in Knowledge Discovery Systems 1998-09-01 A Genetic Approach to Finding a Controller to Back Up a Tractor-Trailer Truck 1998-08-18 John R. Koza Evolution of Learning Robot Team via Local Mating Strategy 1997-07-10 A Finite Dimensional Attractor Of The Moore-Greitzer PDE Model 1999-04-30 Type-Safe Execution of Mobile Agents in Anonymous Networks 1998-12-15 Application of a neural network simulation to the modelling of the COMPTEL background 1997-11-24 Hypersonic Lateral and Directional Stability Characteristics of Aeroassist Flight Experiment Configuration in Air and CF 1998-01-13 Approximate Analytic Matrix Factorisations As Preconditioners For Newton's Method 1998-06-01 Michael Drexler The Multigraded Nijenhuis-Richardson Algebra, Its Universal Property And Applications 1999-01-21 Finite-Element Lattice Hamiltonian Matrix Elements. Anharmonic Oscillators 1998-05-23 A System Identification Software Tool for General MISO ARX-type of Model Structures 1996-12-17 P. Lindskog Solving Sparse Triangular Systems on the AP1000 Multicomputer 1996-11-20 Smoothing Newton and Quasi-Newton Methods for Mixed Complementarity Problems 1999-02-09 Growth Rates Of Sample Covariances Of Stationary Symmetric alpha-Stable Processes Associated With Null Recurrent Markov Chains 1998-10-08 Architecture Support for Global Business Objects: Requirements and Solutions 1999-03-22 An Enhancer For Reactive Plans 1993-07-28 Diana F. Gordon Verifying Out-of-Order Executions 1998-01-25 Dipole Anisotropy from an Entropy Gradient 1995-07-24 David Langlois Nonequilibrium Real-Gas Effects On Disturbance/bow Shock Interaction In Hypersonic Flow Past A Cylinder 1996-06-27 Super-Key Classes for Updating Materialized Derived Classes in Object Bases 1995-03-06 Tetsuya Furukawa A New Proof for the Monte Carlo Constructibility of log log n 1996-09-16 Ryuhei Uehara Analysis of Document Structures for Element Type Classification 1999-04-20 Fuzzy Logic for controlling call admission in ATM networks 1997-04-17 Representations of Infinitesimal Group Schemes 1998-08-10 Interpolatory And Orthonormal Trigonometric Wavelets 1997-06-19 Jurgen Prestin A Token Based Distributed Mutual Exclusion Algorithm based on Quorum Agreements 1996-08-06 Real-Time Kernel Interfaces 1997-01-24 Synthesis of a Systolic Array Genetic Algorithm 1998-01-28 A Machine Learning Approach to Musical Style Recognition 1997-05-07 Analytic Variations on Redundancy Rates of Renewal Processes 1998-12-29 Dynamic Load Balancing on Heterogeneous Workstation Clusters with Irregularly Fluctuating Capacity 1998-11-24 Christoph W. Ueberhuber Adiabatic Curvature And The S-Matrix 1997-04-26 Automaticity IV: Sequences, Sets, and Diversity 1996-06-09 Jeffrey Shallit Pre-Historic to Post-modern Symbolic Model Checking 1998-07-21 A Fast Parallel Implementation of the Wavelet Packet Best Basis Algorithm on the MP-2 for Real-Time MRI 1970-01-01 Adiabatic Equation of State and Ionization Equilibrium of Dense Plasma 1996-12-10 Technology for Robotic Surface Inspection in Space 1998-11-17 Introducing Prosody-Related Pronunciation Variants in Spontaneous Speech Recognition 1998-01-15 M. Adda-decker Layout Extraction of 3D Models for Interconnect and Substrate Parasitics 1995-11-06 JTool: Accessing Warehoused Collections of Objects with Java 1999-03-30 An Algorithm for Single-item Capacitated Economic Lot Sizing with Piecewise Linear Production Costs and General Holding Costs 1997-06-09 Lamarckian Learning in Multi-agent Environments 1992-05-26 John J. Grefenstette Cognitive Models of Spatial Navigation from a Robot Builder's Perspective 1998-01-14 Information Invariants for Distributed Manipulation 1996-06-26 Out-of-Core FFTs with Parallel Disks 1997-09-24 Robust Text-Independent Speaker Identification over Telephone Channels 1997-12-09 Geometric Tomography - Corrections And Update 1999-02-18 MPI on the I-WAY: A Wide-Area, Multimethod Implementation of the Message Passing Interface 1996-05-19 Generalized Rough Sets In Contextual Spaces 1995-11-03 On Stabilization Methods of Descriptor Systems 1997-03-06 Instrumentation and Optimization of Win32/Intel Executables Using Etch 1997-08-08 Long Sequences and Neocompact Sets 1997-09-10 Self-Stabilizing Universal Algorithms 1997-06-10 Performance Evaluation of Latency Tolerant Architectures 1996-01-16 The Hyperboloid as Ordered Symmetric Space 1995-08-20 Joachim Hilgert Closed-form Analytic Maps in One and Two Dimensions Can Simulate Turing Machines 1997-07-26 Efficient Striping Techniques for Multimedia File Servers 1998-06-12 Quantifying the Local Reliability of a Sequence Alignment 1999-02-06 Generation of Transfer Functions with Stochastic Search Techniques 1997-08-01 Software-Managed Address Translation 1996-03-31 System Support for Automatic Profiling and Optimization 1998-01-09 A General Graphic Editor for Complex Simulation Models 1996-04-25 Using Protocols to Model Mixed Initiative Interaction 1999-04-19 Scientific Problem Solving in a Distributed and Collaborative Multimedia Environment 1998-06-05 Journal of Graph Algorithms and Applications 1997-11-09 Software Radios for Wireless Networking 1998-02-12 Characterizing the Learnability of Kolmogorov Easy Circuit Expressions 1995-12-19 Harry Buhrman Homological Reduction Of Constrained Poisson Algebras 1996-03-24 Jim Stasheff Application Level QoS Modeling for A Distributed Multimedia System 1999-01-27 Generation of Synchronous Code for Automatic Parallelization of while Loops 1995-10-06 Martin Griebl Kamal Lodaya 1998-12-11 An Experiment of Dependability and Performance of GSM Access to Fixed Data Network 1995-11-24 Heimo Laamanen Visual Parallel Programming in Monads-DPV 1996-04-15 Real-time Upcalls: A Mechanism to Provide Real-time Processing Guarantees Raman Gopalakrishna Guru M. Parulkar 1996-07-02 Guru M. Parulkar Consonant Duration And Stress Effects On The P-Centers Of English Disyllables 1970-01-01 A Compilation System That Integrates High Performance Fortran and Fortran M 1994-07-08 JavaTM Applications Using NCSA HDF Files 1997-08-15 IP Integrated Services with RSVP over ATM 1997-03-28 Loading Deep Networks Is Hard 1997-04-14 J. Ma Structure-directed Genericity in Functional Programming and Attribute Grammars 1997-02-11 Ring-oriented Block Matrix Factorization Algorithms for Shared and Distributed Memory Architectures 1995-08-10 Genericity and Upgradability in Ultra-Dependable Real-Time Architectures 1997-02-13 Nd International Conference On Metaheuristics - Mic97 1999-02-05 Sensing Polygon Poses by Inscription 1996-03-23 Software Approach To Hazard Detection Using On-Line Analysis Of Safety Constraints 1998-01-07 Beth A. Plale Linear term reduction, recursion and the Girard translations 1999-02-19 The Semantics Of Fair Recursion With Divergence 1996-04-30 Michael Huth Auricle: An Experiment in Networked Digital Audio for the Distributed Conferencing System 1993-07-27 Steven J. Greenwald Shift Covariant Time-Frequency Distributions of Discrete Signals 1997-01-26 Jeffrey C. O'neill Global Max-Min Fairness Guarantee for ABR Flow Control 1997-07-24 Suppressing Random Walks in Markov Chain Monte Carlo Using Ordered Overrelaxation 1995-06-22 Radford M. Neal Breaking the I/O Bottleneck at the National Radio Astronomy Observatory NRAO 1995-07-07 The Emergence of Cooperation in a Multi-Agent System 1997-03-06 On Behaviors of Cellular Automata with Rule 14 and 142 1999-02-17 Shuichi Inokuchi Recurrent neural networks with Iterated Function Systems dynamics 1998-07-13 Adapting Function Points to contemporary software systems: A review of proposals 1995-11-19 Tim Hastings Predicative Polymorphism in pi-Calculus 1996-01-31 Vasco T. Vasconcelos Limits On Quark-Lepton Compositeness And Studies Of W Asymmetry At The Tevatron Collider 1998-07-24 Arie Bodek Query Processing in the SIMS Information Mediator 1997-05-05 A Case-Based Reasoning System Involving A Quantized Method For Gait Disorder Diagnosis 1998-04-29 A Generalized Class of Fractal-Wavelet Transforms for Image Representation and Compression 1998-01-15 Edward R. Vrscay A Parallel Block Implementation of Level 3 BLAS for MIMD Vector Processors 1995-01-30 Characterization of Cavity Flow Fields Using Pressure Data Obtained in the Langley 0.3-Meter Transonic Cryogenic Tunnel 1998-01-13 Representing and Reasoning on Conceptual Queries over Image Databases 1999-02-05 Extracting Representative Tree Models From a Forest. 1998-07-20 Applicability of the Fuzzy Operators in the Design of Fuzzy Logic Controllers 1998-03-06 F. Herrera Study of Delay Jitter With and Without Peak Rate Enforcement 1997-07-28 Surface Modeling and Display From Range and Color Data 1997-10-14 Mathpad: A System for On-Line Preparation of Mathematical Documents 1996-09-16 Worst-Case Identification of Nonlinear Fading Memory Systems 1996-12-09 PKCS #9: Selected Attribute Types 1970-01-01 TileBars: Visualization of Term Distribution Information in Full Text Information Access 1995-03-17 Marti A. Hearst A Mobile Component Environment Based on CORBA Service Extensions for Mobile-Aware Network Computing 1998-06-11 Practical Refinement-Type Checking 1997-07-23 Preliminary Results From A Search For Disoriented Chiral Condensates At Minimax 1997-04-18 J. Streets A System for Reasoning with Fuzzy Predicates 1994-09-27 Bayesian Information Criterion for Censored Survival Models 1999-04-25 Polling Watchdog: Combining Polling and Interrupts for Efficient Message Handling 1996-04-25 Chromatic-IndexCritical Multigraphs of Order 20 1999-04-21 Stefan Grunewald Complete Memory Structures for Approximating Nonlinear Discrete-Time Mappings 1997-06-06 A CMOS Delayed Locked Loop DLL for Reducing Clock Skew to Under 500ps 1996-10-24 Checking Subsystem Safety Properties in Compositional Reachability Analysis 1996-08-06 Fundamentals and Pragmatics of an Entity-Relationship Approach 1998-05-25 Slicing Objects Using System Dependence Graphs 1998-09-02 Average Optimality in Markov Games with General State Space 1997-06-06 Ulrich Rieder Performance Of Stochastic Rendezvous Networks With Priority Tasks 1998-02-18 Natural Language Information Retrieval: TREC-3 Report 1997-09-23 Automatic Indexing in Operation: The Rule-Based System AIR/X for Large Subject Fields 1993-06-24 A Typed Functional Calculus with State 1997-09-05 Arend Rensink Playback Restart in Interactive Streaming Video Applications 1999-04-12 Flexible Modular Architecture For Changing Environments 1996-08-12 Transformation of Divide Conquer to Nested Parallel Loops 1997-10-15 Resolving PP attachment Ambiguities with Memory-Based Learning 1999-02-20 New Jersey Machine-Code Toolkit Reference Manual Version 0.1 1994-10-19 Intelligent Agents for System Management 1997-05-02 Technical Note: A Frequency Response Estimation Method Based On Smoothing And Thresholding 1997-11-24 P. Bodin Efficient Perturbations for Handling Geometric Degeneracies 1970-01-01 Zero-One Permanent is #P-Complete, ASimpler Proof 1999-02-07 Decomposition of Domains 1996-02-04 When Robots Meet People: Research Directions In Mobile Robotics 1998-09-29 Sebastian Thrun Typed Higher-order Narrowing without Higher-order Strategies 1998-04-10 How to compose an Object-Oriented Business Process Model? 1996-05-20 Analysis of a Local Search Heuristic for Facility Location Problems 1998-01-16 A Formalization of the Strong Normalization Proof for System F in LEGO 1994-11-24 Thorsten Altenkirch Evolving Fuzzy Prototypes for Efficient Data Clustering 1997-09-12 Probabilistically Checkable Debate Systems and Nonapproximability of PSPACE-Hard Functions 1997-02-15 Warm Backup using Snooping 1996-08-19 Assessment Analysis in Criteria 2000 1998-03-12 Discourse and Dialogue 1996-12-17 Barbara Grosz The Application of Circular Statistics to Specific Radar Pulse Train Detection 1996-12-06 Entwurf und Realisierung eines Informationssystems zur Prozeßdatenverwaltung und -verarbeitung im durchgängigen Halbleitertechnologieprozeß 1999-02-03 Mammalyzer II - A Decision Support System for Early Detection of Breast Cancer in Contrast-Enhanced MRI 1998-01-30 The ECCE Partial Deduction System 1997-09-17 Michael Leuschel A Framework for Part-of Hierarchies in Terminological Logics 1995-11-07 Promondia: A Java-Based Framework for Real-Time Group Communication in the Web 1998-11-08 Estimation of Depth Dose Curves With Sparse Non-Equally Spaced Measurements 1998-04-02 Modeling Cost/Performance of a Parallel Computer Simulator 1998-08-10 Integrating ASMs into the Software Development Life Cycle 1997-05-31 Hierarchical Pairwise Data Clustering by Mean-Field Annealing 1996-05-28 COOL: system support for distributed object-oriented programming 1994-06-09 Detecting Redundant Accesses to Array Data Extended Version 1970-01-01 Non-Parametric Classes of Weight Functions to Model Publication Bias 1995-09-14 Nancy Paul A Contact Problem In Elasticity Related To Weighted Polynomials On The Real Line 1996-10-17 Type-Directed Flow Analysis for Typed Intermediate Languages 1997-08-18 Unitary Designs with a Common Collection of Blocks 1997-10-29 Jeremy M. Dover Space-Time Tradeoffs for Graph Properties 1999-01-09 Yevgeniy Dodis Adaptable Traffic Masking Techniques for Traffic Flow Confidentiality on Internetworks 1998-12-19 Brenda Timmerman LM3: a Larch Interface Language for Modula-3 - A Definition and Introduction 1995-06-20 Hierarchical Conferencing Architectures for Inter-Group Multimedia Collaboration 1993-02-03 Complexity of Collective Decision Making Explained by Neural Network Universal Approximation Theorem 1998-02-08 Large Object Support in POSTGRES 1994-02-18 Data Selection Mechanisms for Object Recognition 1994-10-27 Lock-Free Transactions for Real-Time Systems 1997-03-12 ProbView: A Flexible Probabilistic Database System 1997-02-20 Optimal Routing in Trivalent Cayley Graph Network 1996-05-02 Virtual MemorySupport for Multiple Pages 1999-01-04 The Combinatorics of Overlapping Convex Polygons in Contact 1994-11-01 On first integrals of linear systems, Frobenius integrability theorem and linear representations of Lie algebras 1998-09-25 Jean Moulin Ollagnier Throwing More Light on Image Watermarks 1998-01-22 An Analysis of Banyan Networks Offered Traffic With Geometrically Distributed Message Lengths 1995-06-27 I-pyen Lyaw MPI: A Message-Passing Interface Standard 1994-06-08 Time-Frequency Analysis of Seismic Sequences 1999-03-04 Guy Drijkoningen Flexible Discriminant Analysis by Optimal Scoring 1996-05-30 Bott-Samelson Varieties and Configuration Spaces 1998-12-15 Peter Magyar An Approach to Computational Semiotics 1997-07-09 On the Qualitative Representation of Spatial Knowledge in 2D Space 1997-09-09 The MBASE Life Cycle Architecture Milestone Package - No Architecture Is An Island 1999-02-05 Mixed-Mode Control of Navigation for a Lunar Rover 1996-03-04 Mobile Computing - DataMan Project Perspective 1996-05-06 Tomasz Imielinski Publicly Verifiable Lotteries: Applications of Delaying Functions 1998-12-23 Characterizing Concurrency Control Performance for the PIOUS Parallel File System 1970-01-01 A Kohonen Map for Temporal Sequences 1995-11-30 Airfoil Design by an All-At-Once Method 1997-12-02 Finding Structure in Time 1998-11-17 Jeffrey Elman New Collapse Consequences Of NP Having Small Circuits 1998-05-18 Spatial and Temporal Frequency Estimation of Uncorrelated Signals Using Subspace Fitting 1996-04-16 The Early Evaluation of the Intel Paragon XP/S 5 and XP/S 35: an experimental log 1995-04-10 Extensible Markup Language - Version 1.0 - Part 1: Syntax 1997-07-03 Tim Bray Textuality An Implementation of the Behavioral Verilog Simulator in Ptolemy 1995-09-17 Pai Chou Xlib -- C Language X Interface 1996-12-22 Results and Discussion 1995-12-14 Register Allocation Using Lazy Saves, Eager Restores, and Greedy Shuffling 1995-04-27 A Model for Multimedia Information Retrieval 1997-01-30 The Homfly Polynomial For Links In Rational Homology 3-Spheres 1997-09-04 K2: An Estimator for Peak Sustainable Power of VLSI Circuits 1997-08-25 A comment on non-Abelian duality and the strong 1998-05-24 Jakov Pfaudler Project for First-Year Undergraduate Computer Science Students: The Shotgun Method of DNA Sequencing 1996-02-29 Mads Tofte How to Find Big-Oh in Your Data Set and How Not To 1996-11-19 Semantic Cardinality Estimation for Queries over Objects 1996-12-19 Integrating Structured Data and Text: A relational approach 1998-02-02 General Combinatorial Schemas: Gaussian Limit Distributions and Exponential Tails 1997-02-07 Aviezri S. Fraenkel Modeling the History of Diabetic Retinopathy 1996-07-15 Bruce A. Craig Timed Bisimulation and Open Maps 1998-07-10 Disjoint Paths 1998-09-18 Jens Vygen Fitness Landscapes and Inductive Genetic Programming 1998-02-17 Conjunctive Partial Deduction in Practice 1997-01-13 Automatic Code Generation from the OMT-based Dynamic Model 1998-09-25 Jauhar Ali Fresnel Zones on the Screen 1996-08-23 Pierre Goetgheluck Modelling Network Protocols with Object Petri Nets 1970-01-01 Programmable Arithmetic Devices for High Speed Digital Signal Processing 1996-03-01 Devereaux C. Chen Face Recognition by Dynamic Link Matching 1996-12-16 Sparse Code Generation for Imperfectly Nested Loops With Dependences 1997-10-14 Memory Organization and Management for Linear Algebra Computations 1995-03-06 Characterization of Integrated Process and Product Management 1999-01-24 Gregor Joeris Locating Facial Features in Image Sequences using Neural Networks 1996-08-28 On the bit complexity of minimum link paths: Superquadratic algorithms for problems solvable in linear time 1998-09-01 Logarithmic Multifractal Spectrum Of Stable Occupation Measure 1997-10-03 An Analysis of Swizzling Costs in an OODBMS 1995-05-15 Vivek R. Narasayya Smart Interfaces + Safe Mechanisms = Human Friendly Robots 1998-10-13 A Robust Adaptive Metric for Deadline Assignment in Heterogeneous Distributed Real-Time Systems 1998-02-12 Jan Jonsson Minimizing Makespan In Flowshops With Pallet Requirements 1996-02-07 The Tomato Salad Problem In Spherical Stereology 1996-11-14 R. Gorenflo Theoretical Methods for Planning and Control in Mobile Robotics 1997-03-25 Real-Time Software Synthesis on Superscalar Architectures 1996-10-24 A note on a polynomial method for two-stage stochastic linear programs proposed by Bertsimas and Orlin 1996-11-07 The Recti-Blob: A conformal shape-changing robot for robust locomotion over rough terrain 1996-09-24 Convergence Complexity of Optimistic Rate Based Flow Control Algorithms 1996-10-22 From Coloured Petri Nets to Object Petri Nets 1999-01-18 Charles Lakos Sufficient Conditions for Self-Scheduled Bounded Amplitude Control 1997-10-14 On the Undecidability of Partial Polymorphic Type Reconstruction 1995-05-05 Frank Pfenning Suffix Trees on Words 1999-01-28 Self-similar periodic tilings on the Heisenberg group 1995-05-07 Safety and Liveness Properties: A Survey 1998-05-04 The Effect of Observations on the Complexity of Model-Based Diagnosis 1997-11-06 Implementing a Parallel List on the SB-PRAM 1998-09-22 Experiments in the Heuristic Use of Past Proof Experience 1995-11-29 Matthias Fuchs Performance and Optimization Issues in Polylingual Object-Oriented Databases Position Paper 1995-11-28 Kan Extensions Along Promonoidal Functors 1995-06-15 Transmitted R. J. Wood Applications of Simplicial Decomposition with Nonlinear Column Generation to Nonlinear Network Flows 1996-09-02 Language and Pronunciation Modeling in the CMU 1996 Hub 4 Evaluation 1997-04-04 Equal Binomial Coefficients: Some Elementary Considerations 1995-10-13 Benjamin M. M. De Weger Hybrid Weak-Perspective and Full-Perspective Matching. 1995-05-09 Partial Evaluation and the Generation of Program Generators 1994-10-20 Neil D. Jones What is a Purely Functional Language? 1997-06-27 Amr Sabry Computational Study Of The Effect Of Unstructured Mesh Quality On Solution Efficiency 1997-08-11 Reduced Motion Artifacts in Medical Imaging by Adaptive Spatio-Temporal Reconstruction. 1994-10-18 Signal and Image Denoising via Wavelet Thresholding: Orthogonal and Biorthogonal, Scalar and Multiple Wavelet Transforms 1998-03-09 On the Expressive Power of the Unary Transformation Model 1998-09-01 On the Integration of Ensembles of Neural Networks: Application to Seismic Signal Classification 1996-05-29 Restrictions of Minimum Spanner Problems 1996-12-17 On the Complexity of Commutativity Analysis 1996-03-29 Pedro Diniz An Agent Architecture for Dynamic Re-design of Agents 1998-07-10 An Architecture for Vision and Action 1996-09-19 Approximability and Nonapproximability Results for Minimizing Total Flow Time on a Single Machine 1999-01-28 Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem 1993-12-01 Paul W. P. J. Grefen A Web-based Animator for Validating Object Specifications 1998-05-25 The Supersymmetry Representation for Correlation Functions of Disordered Systems 1970-01-01 V. M. Tkachuk Node Subsumption in a Propositional Semantic Network with Structured Variables 1997-12-01 Syed S. Ali Motion-Synthesis Techniques for 2D Articulated Figures 1998-12-24 betaeta-Equality for Coproducts 1996-09-07 Neil Ghani Continuous-time Relaxation Labeling Processes 1998-05-20 Design and Analysis of Fast Text Compression Based on Quasi-Arithmetic Coding 1994-03-24 Acknowledgements 1993-06-25 Ajay Mohindra Applications of Generalized Radial Basis Functions in Speaker Normalization and Identification 1995-09-06 On the Power of Two-Local Random Reductions 1994-04-21 The Evolution of Multiagent Coordination Strategies 1997-02-23 Sticky State Banyan Analysis Sticky States in Banyan Network Queues and Their Application to Analysis 1996-11-11 Maintenance of Binary Topological Constraints through Active Databases 1998-09-24 Shape Representation: Comparison Between The Morphological Skeleton And Morphological Shape Decomposition 1997-03-05 Automatic Target Recognition in Laser Radar Imagery 1999-01-19 Single Spin Superconductivity: Formulation and Ginzburg-Landau Theory 1997-06-09 Exokernel: An Operating System Architecture for Application-Level Resource Management 1995-10-18 Effects Of Source Distributions And Correlation On Fractionally Spaced Blind Constant Modulus Algorithm Equalizers 1997-07-31 Belief Revision in Probability Theory 1995-12-21 Pei Wang Peter J. Angeline 1997-08-26 A Machine Learning Approach to POS Tagging 1998-10-08 Departament Llenguatges Browsing Large Satellite And Aerial Photographs 1997-06-20 DOVE: A Distributed Object Visualization Environment - Applying CORBA, Java Beans, and C++ to Monitor and Visualize Distributed Systems and Applications 1999-01-29 On the Effectiveness of Distributed Checkpoint Algorithms for Domino-free Recovery 1998-11-13 Franco Zambonelli Space and Time Improvements for Indexing in Information Retrieval 1998-07-28 Task Parallelism and High-Performance Languages 1994-06-22 Ian Foster Searching for Planning Operators with Context-Dependent and Probabilistic Effects 1996-06-29 A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes 1995-06-13 Henri Korver A Bayesian Analysis of Algorithms for Learning Finite Functions 1998-03-30 James Cussens A Matrix Commuting with the Square of the Almost Mathieu Operator 1997-04-26 I. V. Krasovsky Temporal Models in Blind Source Separation 1998-04-30 Lucas C. Parra A Scalable Substructuring Method By Lagrange Multipliers For Plate Bending Problems 1998-07-29 The Graves Theorem Revisited 1996-06-24 Asen L. Dontchev Timing and Causality in Process Algebra 1993-11-24 Well-posedness of the Cauchy problem for n&#x00D7; n Systems of Conservation Laws 1997-01-25 Blind Source Separation Of Nonlinear Mixing Models 1997-05-10 Orthogonal Polygons as Bounding Structures in Filter-Refine Query Processing Strategies 1997-05-19 Sala H A Comparison of the Effectiveness of a Dichotomous Key and a Multi-Access Key to Woodlice 1997-06-06 Small Ramsey Numbers 1998-07-09 Stanisl/aw P. Radziszowski Sequential Auctions for the Allocation of Resources with Complementarities 1999-04-06 Adapting Distributed Applications Using Extensible Networks 1999-03-30 A Hidden Herbrand Theorem: Combining the Object, Logic and Functional Paradigms 1999-01-03 Experiments For An Approach To Language Identification With Conversational Telephone Speech 1996-04-18 Acyclic Complexes Related to Noncommutative Symmetric Functions 1996-07-16 A Knowledge Representation Formalism Generated From Feedforward Neural Network 1999-01-25 Relative Chebyshev Centers in Hilbert Space 1998-09-24 On Adaptive Resource Allocation for Complex Real-Time Applications 1998-02-03 Naming Speed in Children With Dyslexia 1995-06-14 Experimental Studies on a Compact Storage Scheme for Wavelet-Based Multiresolution Subregion Retrieval 1997-05-15 Knowledge Representation with Logic Programs 1998-09-18 Persistence in E Revisited --- Implementation Experiences 1992-10-29 Unknown 1994-06-27 Improving Protocol Performance by Dynamic Control of Communication Resources 1998-02-03 On the Use and Implementation of Message Logging 1994-08-18 On Resolvent Estimates For Abel Integral Operators And The Regularization Of Associated First Kind Integral Equations 1996-07-26 R. Plato Interaction Paradigms for Human-Computer Cooperation in Graphical-Object Modeling 1994-03-22 Including Group-By in Query Optimization 1998-01-28 On Deadlocks in Interconnection Networks 1997-03-06 Approximation algorithms for MaxSAT 1997-06-06 On the Agreement of Many Trees 1995-02-17 On the Treatment of Energy Loss in Track Fitting 1998-01-21 R. Fruhwirth H1 Collaboration 1998-07-10 H Collaboration Service Supplier Relations for the Outsourcing of Information Processing Services 1998-07-16 Distributed Problem Solving and Multi-Agent Systems: Comparisons and Examples 1995-07-12 Certificate Revocation and Certificate Update 1998-02-09 Statistical Computing 1997-02-17 This Is Sallie Keller-mcnulty's Last Using Declarative Descriptions to Model User Interfaces with ASTERMIND 1997-04-30 Analysing a pi-calculus Specification of a Cache-Coherence Protocol 1995-11-17 3-D Orientation Vector Estimation for Sub-Components of Space Object Imagery 1998-04-21 Robust Reductions 1997-12-12 Multipath FEC Scheme for the ATM Adaptation Layer AAL5 1998-06-15 Geographically 1995-06-22 Implementing Memoization for Partial Evaluation 1996-07-16 Peter Thiemann Solving Partial Differential Equations by Collocation with Radial Basis Functions 1996-11-08 Gregory E. Fasshauer Torsional Mhd Oscillations Of The Sun 1997-03-03 Adaptive State Representation and Estimation Using Recurrent Connectionist Networks 1998-03-09 Ronald J. Williams An Exact Logic Minimizer Using Implicit Binary Decision Diagram Based Methods 1996-06-10 Gitanjali M. Swamy Some New Results on Possibilistic Measurement 1996-01-23 Cliff Joslyn Alleviating Consumption Channel Bottleneck in Wormhole-Routed k-ary n-cube Systems 1995-09-07 A Direct Algorithm for Type Inference in the Rank 2 Fragment of the Second-Order lambda -Calculus 1993-12-02 Steve: An Animated Pedagogical Agent for Procedural Training in Virtual Environments Extended Abstract 1997-04-04 Remote Operation Pattern 1997-04-26 On Finding Primal- and Dual-Optimal Bases 1995-09-22 Nimrod Megiddo Style-Shifting in Oral Interlanguage: Quantification and Definition 1995-01-20 A new Ambient Noise Imaging system for ANI, passive and bistatic active acoustic imaging in shallow water. 1997-03-25 John R. Potter Security Problems in the TCP/IP Protocol Suite 1997-11-10 S. M. Bellovin IDL Mathematics 1995-03-29 Recognition of Handprinted Digits using Optimal Bounded Error Matching 1996-05-23 Thomas M. Breuel Some Remarks on Adaptive Neuro-Fuzzy Systems 1999-01-21 Genie Informatique An Exact Constraint Logic Programming Algorithm for the Traveling Salesman Problem with Time Windows 1996-11-23 Understanding The Kauffman Bracket Skein Module 1996-06-01 Confirmation Report: Generating Test Oracles From Formal Object-Oriented Specifications 1998-09-27 The Formal Reconstruction and Speedup Of The Linear Time Fragment Of Willard's Relational Calculus Subset 1997-01-31 Immersed Spheres In 4-Manifolds And The Immersed Thom Conjecture 1997-08-21 Higher-Order Distributed Objects 1996-01-16 Cooperation in Distributed Medical Care 1994-08-17 N. R. Jennings Multi-agent Coordination through Coalition Formation 1997-06-24 Proactive RSA 1999-02-08 The Number of Bistellar Neighbors 1999-01-29 A General Feed-Forward Algorithm for Gradient Descent in Connectionist Networks 1998-09-29 Sebastian Thrun delta Frank A Comparative Study Of Five Parallel Programming Languages 1994-03-21 Henri E. Bal Remarks On The Cosmological Constant And The 1998-05-15 Semi-algebraic multi-level methods based on wavelet decompositions I: Application to two-point boundary value problems 1998-12-25 Andreas Rieder Table of 1997-09-17 Optimising a Rule Based Agent using a Genetic Algorithm 1998-05-03 Evaggelos Nonas Improved Approximation Bounds for the Group Steiner Problem 1998-06-19 Application des Syst`emes Multi-Agents `a la G'en'eralisation Cartographique 1996-10-17 On Computation of the Compositional Rule of Inference Under Triangular Norms 1997-12-12 R. Fuller Fixed Points and Extensionality in Typed Functional Programming Languages 1996-01-18 Brian T. Howard Locating Shadows in Aerial Photographs Using Imprecise Elevation Data 1995-05-26 Adaptive Extensions to a Multi-Branch Run-to-Run Controller for Plasma Etching 1998-03-05 Causal Diagrams For Empirical Research 1994-12-17 Judea Pearl Axiomatizations of Interval Logics 1994-03-11 Parallel Algorithms for Series Parallel Graphs 1997-11-28 Minimum Encoding Approaches for Predictive Modeling 1998-05-07 Generation of Formatters for Context-free Languages 1997-03-03 E. Visser Sliced Configuration Spaces for Curved Planar Bodies 1998-06-22 Heuristics for Multiway Partitioning in Hexagonal Cellular Systems 1970-01-01 The effect of adding a scalar D-cache to the Cray-4 vector processor 1997-10-19 The Linux Kernel 1999-01-29 Networked Virtual Worlds 1995-10-27 Relation-Based Similarity 1997-09-17 Gabor Analysis And Linear System Identification 1999-03-31 Replication Heuristics and Polling Algorithms for Object Replication and a Replicating File Transfer Protocol 1995-12-07 The Security of DESX 1997-01-13 Phillip Rogaway Exact Results for 1D Conserved Order Parameter Model Vladimir Privman 1997-04-26 Vladimir Privman Generating Bayesian Networks from Probability Logic Knowledge Bases 1993-11-09 Peter Haddawy Single Heavy Lepton Production in High Energy Electron-Positron Collisions 1998-05-23 An Optimal, Stable Continued Fraction Algorithm for Arbitrary Dimension 1998-02-23 A Redundant Disk Array Architecture for Efficient Small Writes 1994-07-29 Intelligent Agents in Software Reuse Repositories 1995-10-02 Incompressible Flows Based upon . . . 1996-07-01 Leopoldo P. Franca Evolution of a Computer Program for Classifying Protein Segments as Transmembrane Domains Using Genetic Programming 1998-08-15 John R. Koza A parameterizable methodology for Internet traffic flow profiling 1995-03-08 Bernstein Type Theorems for Higher Codimension 1998-10-04 Pseudodifferential Operators With Homogeneous Symbols 1997-06-02 Calibration Radiometrique de Camera 1995-03-21 Technologies For Robust Agile Manufacturing 1998-08-04 The AQUA Approach to Querying Lists and Trees in Object-Oriented Databases 1996-01-21 Fast Hybrid Solution Of Algebraic Systems 1997-06-25 From I/O Automata to Timed I/O Automata - A solution to the `Generalized Railroad Crossing' in Isabelle/HOLCF 1999-05-06 Bernd Grobauer Approximable Sets 1996-11-17 On the Representation of Objects with Polymorphic Shape and Behavior 1997-05-13 Trade-Offs in HW/SW Codesign 1996-11-06 Nonlinearity and Propagation Characteristics of Balanced Boolean Functions 1999-02-21 Corpus-Based Acquisition Of Relative Pronoun Disambiguation Heuristics 1997-10-02 Claire Cardie An Optimal Control Theory For Discrete Event Systems 1999-03-28 Faithful representation of similarities among 3D shapes in human vision 1996-03-21 The Formal Theory of Birth-and-Death Processes, Lattice Path Combinatorics, and Continued Fractions 1999-04-28 Construction of Biorthogonal Multiwavelets Using the Lifting Scheme 1970-01-01 Modifications of the Burrows and Wheeler Data Compression Algorithm 1999-01-07 The Process of Discovery 1997-01-28 Wei-min Shen An Anytime Protocol for Speech Parsing 1994-07-12 Visual Tracking of An End-Effector by Adaptive Kinematic Prediction 1997-10-07 A Formal Embedding of AgentSpeakL in 3APL 1998-05-11 Text Chunking Using Transformation-Based Learning 1997-04-18 Brief overview of T-TREE: the TROPES Taxonomy building Tool 1996-07-17 Wavelet Analysis of Potential Fields 1997-04-26 Dominique Giberty A Formalization of Service Independent Building Blocks 1996-03-04 Flexible Speaker Adaptation Using Maximum Likelihood Linear Regression 1998-03-30 What Can SPECT Learn from Autoradiography? 1970-01-01 Gene Gindi TC/REP/UT/D4-2/025 2 May 1995 Language features for co-operation 1995-05-23 Contrast Enhancement by Multiscale and Nonlinear Operators 1995-09-10 March 21, 1996 1970-01-01 Lionel Ferette A Subspace Preconditioning Algorithm For Eigenvector/Eigenvalue Computation 1995-11-06 Synchronizing Clipboards of Multiple Computers 1999-05-11 Instability of Solitons in imaginary coupling affine Toda Field Theory 1998-05-13 InterNetNews: Usenet transport for Internet sites 1997-03-28 New Combinatorial Bounds for Authentication Codes and Key Predistribution Schemes 1998-07-15 Large deviations in the van der Waals limit 1997-05-16 GRAS: An Adaptive Personalization Scheme for Hypermedia Databases 1997-10-14 ANDS: A Second Generation Neural Network Development System 1996-09-26 Compiling Sequential Programs for Speculative Parallelism 1995-05-11 Run--Time Methods for Parallelizing Partially Parallel Loops 1997-06-10 Directory Structures for Scalable Internet Caches 1997-11-13 Predicting Error in Rigid-body, Point-based Registration 1998-11-18 A Hypertext approach to Database Manipulation and Visualization M. Borges 1995-10-25 Appeared in 32nd ACM Southeast Conference, Tuscaloosa Alabama, March 1994, pp. 157-161. Copying approved for non-commercial use by permission of the ACM Copyright 1994 ACM 0-89791-637-9/94/0003 1996-05-13 Analysing Movement and World Transitions in Virtual Reality Tele-Conferencing 1999-01-24 Chris Greenhalgh Resource Management in Wide-Area ATM Networks using Effective Bandwidths 1997-07-14 A New Metric for Grey-Scale Image Comparison 1995-10-26 Optimizing Symbolic Model Checking for Constraint-Rich Models 1999-03-24 Simulation-Based Optimization of Markov Reward Processes: Implementation Issues 1999-03-01 On Chromatic Sums and Distributed Resource Allocation 1996-12-11 Finding Real-Valued Single-Source Shortest Paths in on&#x00B3; Expected Time 1998-06-17 * Aerospace engineer. Member AIAA ** Aerospace engineer. Member AIAA. Copyright 1997-09-17 A Non-quasiconvex Subgroup of a HyperbolicGroup with an Exotic Limit Set 1995-12-19 Ilya Kapovich Cycletrees: Flexible Interconnection Graphs for Parallel Computing 1995-04-25 The Adaptive Cross Validation Method - applied to the Control of Circuit Switched Networks 1998-03-02 Anders Svensson Using FIX to Handle Errors Without Exceptions, and Other Programming Tricks 1997-11-28 Bruce Mcadam Lattice-Based Enforcement of Chinese Walls 1998-09-14 Ravi S. Sandhu Understanding Planner Behavior 1994-10-11 How to Respond to Student Initiatives in Tutoring Systems 1996-04-22 A Deductive and Object-Oriented Approach to a Complex Scheduling Problem 1997-10-17 SINAN: An Argument Forwarding Multithreaded Architecture 1995-06-26 Rajiv Gupta Mathematical Models of Interactive Computing 1999-01-17 Proteus: An Adaptable Presentation System for a Software Development and Multimedia Document Environment 1995-08-27 Ethan Vincent Munson A Wave Propagation Method for Three-Dimensional Hyperbolic Conservation Laws 1997-01-28 A Comparison of Event Models for Naive Bayes Text Classification 1998-05-15 A General Duality Principle for the Sum of Two Operators 1996-06-23 H. Attouch New Euler-Mahonian statistics on permutations and words 1995-11-16 A Logic for Concurrent Events and Action Failure 1998-01-22 Draft of 11 September 1990 1992-08-18 Resolving Message Complexity of Byzantine Agreement and Beyond 1997-04-07 Ambiguous Noun Phrases in Logical Form 1999-02-07 Mary P. Harper The Offset Cube: An Optoelectronic Interconnection Network 1997-12-03 Finitely Generated Connected Locally Compact Groups 1995-08-21 Genetic Camera Calibration For 3D Machine Vision 1999-01-19 A Linear Time Algorithm for the Feasibility of Pebble Motion on Trees 1998-01-05 Towards Accessible Human-Computer Interaction 1997-03-17 Optimizing Primary Data Caches for Parallel Scientific Applications: The Pool Buffer Approach 1997-02-07 A Stack-Based Approach to Query Languages 1995-08-16 Supporting Object Oriented Languages On The Comandos Platform 1993-01-13 Extending Object-Oriented Programming to Address Hard Optimization Problems 1998-08-18 Glenn Silverstein IDebug: An Advanced Debugging Framework for Java 1999-02-24 Joseph R. Kiniry Integrating Software Pipelining and Graph Scheduling for Iterative Scientific Computations 1995-08-02 On the Power of DNA-Computers 1999-02-08 Application of Case Based Reasoning to Legacy System Migration 1997-01-31 Chapter 3 Second-Moment Statistics 3.1. Climatological Importance of Second-Moment Statistics 1999-01-19 Quantum Methods For Interacting Particle Systems Ii, Glauber Dynamics For Ising Spin Systems 1997-10-23 M. Gianfelice Abstracting Graph-Based Specifications of Object-Oriented Programs 1993-12-09 Ignacio Silva-lepe Evolving Optimal Populations with XCS Classifier Systems 1997-02-04 Tim Kovacs Incomparability And Intersection Properties Of Boolean Interval Lattices And Chain Posets 1999-04-21 Using Speculative Retirement and Larger Instruction Windows to Narrow the Performance Gap between Memory Consistency Models 1998-02-11 Gardens: High Performance Objects, Tasking and Migration for Cluster Computing 1997-05-20 Logic For A Lifetime 1998-09-05 The 11th White House Papers Graduate Research in Cognitive and Computing Sciences at Sussex 1998-11-23 Improved Parallel Integer Sorting without Concurrent Writing 1999-03-07 X-Ray Emission From PSR 0355+54 1995-01-18 Patrick Slane When Will a Genetic Algorithm Outperform Hill Climbing? 1998-03-19 Automatic Segmentation And Classification Of Outdoor Images Using Neural Networks 1997-08-01 On Syntactic Congruences for omega-languages 1998-01-27 ADescriptive Language for Information Object Reuse through Virtual Documents 1997-10-30 Anne-marie Vercoustre A New Approach to Qualitative Stereo 1994-08-29 Path Constraints in the Presence of Types 1999-01-04 Stratum Approaches to TemporalDBMS Implementation 1997-03-28 Error Estimates For Numerical Identification Of Distributed Parameters 1996-09-26 Data-Oriented Language Processing An Overview 1996-12-12 Techniques for Process Model Evolution in EPOS 1995-02-23 Dominance, Precedence and C-Commandin Description-based Parsing 1997-08-06 Parallel Hash-Based Join Algorithms for a Shared-Everything Environment 1970-01-01 A Corpus-Based Approach to Text Partition 1996-07-17 Cortex: A Framework for Communication Support in Object Oriented Distributed Systems 1998-01-17 An Adaptive Model for Vision-Based Localisation 1998-10-10 Connectionist Speaker Normalization with Generalized Resource Allocating Networks 1995-02-10 Logics for Databases and Information Systems 1998-05-27 Component Coordination in Middleware Systems 1998-11-06 Indefinite Information with a Data Model Based on Algebraic Datatypes 1998-01-14 Color-Calibration of a Robot Vision System Using Self-Organizing Feature Maps 1997-03-03 Simulation of Three-Dimensional Internal Flows by the Random Vortex and Boundary Element Methods 1996-12-14 RULEX&CEBP Networks As the Basis for a Rule Refinement System 1996-10-25 Organizational Learning and Experience Documentation in Industrial Software Projects 1998-08-17 Parallel Lifts And Holonomy Along Density Operators: Computable Examples Using O3-Orbits. 1997-04-26 Armin Uhlmann Using Value Semantic Abstractions to Guide Strongly Typed Library Design 1999-03-01 SAFER Specification in VDM-SL 1997-10-07 On the Complexity of Semidefinite Programs 1996-11-08 Mining Sequential Patterns: Generalizations and Performance Improvements 1996-02-21 Ramakrishnan Srikant HPP: HTML Macro-Preprocessing to Support Dynamic Document Caching 1998-07-31 Thermal Flipping and Thermal Trapping -- New Elements in Dust Grain Dynamics 1999-01-03 The Case For Reliable Concurrent Multicasting Using Shared Ack Trees 1997-02-13 Approximating Dominant Singular Triplets of Large Sparse Matrices via Modified Moments 1996-09-02 A Geometric Framework for time-dependent Billiards 1997-05-15 Models for Interacting Populations of Memes: Competition and Niche Behavior 1997-04-29 Michael L. Best Holomorphic rank-2 vector bundles on primary Kodaira surfaces 1999-04-28 Constructive Asymptotic Equivalence of Density Estimation and Gaussian White Noise 1998-10-09 Uniform Knowledge Representation for Language Processing in the B2 System 1997-04-29 The Braid Monodromy Of Plane Algebraic Curves And Hyperplane Arrangements 1998-02-17 One-Time Password System 1997-03-28 Neil M. Haller Jacobi-Davidson Methods for Symmetric Eigenproblems 1998-03-23 Henk Van Der Vorst Augmented Inherited Multi-Index Structure for Maintenance of Materialized Path Query Views 1996-01-10 On the Hardness of Approximating 1997-02-02 Tail-Recursive Stack Disciplines for an Interpreter 1993-03-09 Richard A. Kelsey How To Remove A Class In An Object Database System 1998-03-12 M. Worner A T B R I G H T O N 1996-10-23 Reduction of Materialized View Staleness Using Online Updates 1998-09-05 Neural Encoding of Binocular Disparity: Energy Models, Position Shifts and Phase Shifts 1995-11-10 Extending the Object-Orientedness of Ada 95 1997-02-20 Model Comparison For Monthly Forecasts Of The Cac 40 1998-10-19 A Logic for Concurrent Programming 1994-11-18 Jayadev Misra Using Dialectical Argumentation for User Modelling in Decision Support Systems 1997-05-22 Floriana Grasso Learning Sequential Decision Rules Using Simulation Models and Competition 1994-12-01 Model Fabrication using Surface Layout Projection 1997-05-09 Gershon Elber Projection Method in Closed Loop System Identification 1998-05-13 P. Carrette Formalising LPOs and Invariants in Coq 1995-11-08 Prosody to Improve Usability of a Speech-Based Interface 1997-06-19 Built-in Chaining: Introducing Complex Components into Architectural Synthesis 1997-04-15 Efficient Run-Time Monitoring of Timing Constraints 1997-05-03 Imperative Functional Programming 1998-10-14 Genetically Evolved Fdnr And Leap-Frog Active Filters Using Preferred Component Values 1996-08-09 Lattices with Few Distances 1997-03-05 Properties of Edge-Tough Graphs 1996-10-10 Gyula Y. Katona An Analysis of Pay, Performance, and Draft Position in the NBA 1996-04-05 Andrew Shaw Super Viscosity And Spectral Approximations Of Nonlinear Conservation Laws 1997-05-30 Eitan Tadmor Genetic Algorithms and Heuristic Search 1995-05-18 Identification Of Parameters For Heat Conductivity Equations 1995-06-23 N. D. Botkin Evolving algebras and labelled deductive systems for the semantic network based reasoning Home Correcting: Evolving algebras and labelled deductive systems for the semantic network based reasoning Extended Abstract 1997-12-18 A Device For Automatic Speech Recognition* 1995-09-29 Parka-DB: Integrating knowledge- and data-based technologies 1996-09-16 Optimal Sampled-Data Control Systems 1997-09-02 Tomomichi Hagiwara * Chief, Propulsion Branch. Associate Fellow AIAA. + Aerospace Engineer. Aerospace Engineer. Member AIAA. Copyright 1998-02-09 Some Topics in Regenerative Steady State Simulation 1995-08-28 Peter W. Glynn Applying GSAT to Non-Clausal Formulas 1995-07-27 Roberto Sebastiani A Framework for Requirements Elicitation through Mixed-Initiative Dialogue 1997-07-24 A Smalltalk/V Example 1997-09-11 Gary T. Leavens Modeling of Quasi-Static and Dynamic Load Responses of Filled Viscoelastic Materials 1999-03-20 A First Semantic Check based on linguistic Information for State Transition Diagrams 1995-02-02 MP Hydra: A Parallel P 1998-01-27 Cosmological Simulations Logo Detection in Document Images 1997-06-30 Quantum Physics and Computers 1996-04-02 Adriano Barenco Internet Security Association and Key Management Protocol ISAKMP 1995-03-23 Effective Sample Size In A Dichotomous Process With Noise 1996-03-08 James Cussens Distribution and Persistence in the 1998-07-13 Observations 1998-06-15 Rational Parametrizations of Non-singular Real Cubic Surfaces 1997-08-29 Overloading Intentions for Efficient Practical Reasoning 1994-06-27 Martha E. Pollack Solitons Of Axion--Dilaton Gravity 1998-05-14 Ioannis Bakas Logic Programming in the LF Logical Framework 1995-05-05 Frank Pfenning Experimental Study of the Effect of Hadron Shower Leakage on the Energy Response and Resolution of ATLAS Hadron Barrel Prototype Calorimeter 1996-06-03 Integer Groups Of Coinvariants Associated To Octagonal Tilings 1996-10-18 Johannes Kellendonk A. David Redish 1994-08-29 Genetic L-System Programming 1996-05-09 Christian Jacob SOM-Model for the Development of Oriented Receptive Fields and Orientation Maps from Non-Oriented ON-center OFF-center Inputs 1997-05-21 Proof Theory For Full Intuitionistic Linear Logic, Bilinear Logic, And 1997-03-27 The asymptotic convergence rates of Fourier path integral methods 1998-10-09 Dilepton Production in High Luminosity Multi-GeV Electron Scattering 1998-05-15 Decidable Hybrid Systems 1998-06-29 The GOODSTEP Project Final Report 1998-03-12 Optimal Power Dispatch via Multistage Stochastic Programming 1997-01-29 M. P. Nowak Provable Security Against a Differential Attack 1998-05-13 Global Training of Document Processing Systems using Graph Transformer Networks. 1998-07-18 Runtime Support for Multi-Tier Programming of Block-Structured Applications on SMP Clusters 1997-06-28 The PATH Solver: A Non-Monotone Stabilization Scheme for Mixed Complementarity Problems 1993-11-10 Mungi: A Distributed Single Address-Space Operating System 1999-02-10 Preemptive Priority Based Scheduling: An Appropriate Engineering Approach+ 1993-11-18 Alan Burns Reconstruction From Contour Data And Sculpting 3d Objects 1997-03-25 A Globally Convergent Version of the Polak-Ribi&#x00E8;re Conjugate Gradient Method 1970-01-01 Design Principles and Error Analysis for Reduced-Shear Plate-Bending Finite Elements 1995-06-17 Improving the efficiency of UNIX file buffer caches 1997-08-29 Fast Decoding For Statistical Machine Translation 1999-01-20 User-defined Reductions for Efficient Communication in Data-Parallel Languages 1997-01-02 Optimal Output Feedback Control: A Multi-Model Approach 1997-03-06 Werkgroep 7: PC-zaken 1994-04-21 Multithreading Runtime Support for Loop and Functional Parallelism 1998-06-06 Hideki Saito Properties of a Family of Parallel Finite Element Simulations 1997-01-02 Modularity in the LF Logical Framework 1995-05-05 On Large Deviations in Load Sharing Networks 1997-12-28 Murat Alanyali Design and Implementation of a User-interactive Parallel Programming Environment 1997-01-03 Design and Implementation of a Real-Time Switch for Segmented Ethernets 1998-01-30 More on Strengthening the Guard 1994-03-07 Jayadev Misra An Integrated Spoken Language/Graphical Interface for Human-Computer Dialogue 1993-05-17 Kenneth Wauchope Interoperability among Heterogeneous Software Agents on the Internet 1998-12-17 Weyl groups of disconnected Lie groups 1995-08-20 Karl-hermann Neeb Project Synopsis: Evaluating STRIP 1996-10-30 Support Varieties For The Steenrod Algebra 1995-01-16 NCSF, A MaplePackage for Noncommutative Symmetric Functions 1998-11-06 Bun-chan-vorac Ung Consistent Solid and Boundary Representations from Arbitrary Polygonal Data 1997-02-04 Velocity and Disparity Cues for Robust Real-Time Binocular Tracking 1997-06-23 Improving Fault Tolerance and Supporting Partial Writes in Structured Coterie Protocols for Replicated Objects 1996-10-29 Dynamic Influences in Multi-Component Maintenance 1996-09-13 Compiling for Efficient Memory Utilization 1996-02-04 Sally A. Mckee Scattering on a Finite Chain of Vortices 1997-04-26 Buffer Management in Shared-Memory Time Warp Systems 1996-01-30 Parallelizing the Phylogeny Problem 1996-02-21 Jeff A. Jones Computing Types During Partial Evaluation 1998-02-08 Determining Redundancy Levels for Fault Tolerant Real-Time Systems 1998-04-07 An Approach to Adaptive Self-Localization 1995-09-07 Andreas Buhlmeier Tcl: An Embeddable Command Language 1993-10-21 John K. Ousterhout Enhancing Digital Documents by including 3D-Models 1998-08-14 Electron densities above a polar coronal hole based on improved Si 1999-05-06 TIGUKAT Object Management System: Initial Design and Current Directions 1999-01-14 Extended States In The Anderson Model On The Bethe Lattice 1997-04-26 Abel Klein H. Lu, C.N. Pope and K.W. Xu 1998-05-23 Unknown 1998-05-11 Stability of Matter in Magnetic Fields 1997-04-26 Pseudocleft connectedness: Implications for the LF interface level 1998-07-01 On Reduction Algorithms for Graphs With Small Treewidth 1995-03-08 Hans L. Bodlaender Observability of Saturated Systems With an Offset 1999-01-28 M. L. J. Hautus Programming with Logical Queries, Bulk Updates and Hypothetical Reasoning 1995-07-11 Weidong Chen /4/96 4:49 Pm 1997-09-20 Yasusi Kanada Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions Extended Abstract 1996-02-14 Kontrolltheorie auf Lie-Gruppen 1995-08-21 Dirk Mittenhuber A Probabilistic Analysis of the Rocchio Algorithm with TFIDF for Text Categorization 1998-04-19 Thorsten Joachims A Survey of QoS Architectures 1996-07-13 High Performance BDD Package By Exploiting Memory Hierarchy 1996-04-30 Time-Series Similarity Problems and Well-Separated Geometric Sets 1997-05-05 A Unified Characterization of Nonunique Response in Elastic/Perfectly-Plastic and Elastic/Locking Structures Using Constraint Qualifications 1996-05-07 Physical Properties of the Benchmark Models Program Supercritical Wing 1998-01-14 The SwitchWare Active Network Implementation 1999-01-13 Parameterised Compression for Sparse Bitmaps 1995-09-07 SuperWeb: Research Issues in Java-Based Global Computing 1997-02-16 DDD-FM9001: Derivation of a Verified Microprocessor 1996-04-05 Field Theory of Open and Closed Strings with Discrete Target Space 1998-05-23 On Modeling The Tissue Response From Ultrasonic B-scan Images 1970-01-01 Using Temporal Reasoning for Genome Map Assembly 1996-07-17 Olivier Schmeltzer Sampling Under Adverse Conditions With Applications to Distributed Computing 1999-04-01 Marius Zimand LiLFeS---Practical Unification-Based Programming System for Typed Feature Structures 1999-02-10 Minimizing The Number Of Transitions With Respect To Observation Equivalence 1998-05-06 Jaana Eloranta Multiscale shape description of MR brain images using active contour models 1996-12-09 A Network of FitzHugh-Nagumo Oscillators for Object Segmentation 1997-10-21 Architecture of an Autonomous System: . . . 1998-03-23 Fuzzy Based Rate Control for Real-Time MPEG Video 1998-09-01 The Effects of Communication Overhead on the Speedup of Parallel 3-D Finite Element Applications 1998-09-10 Tool Support for Software Engineering Education 1995-08-28 Adaptive IIR Filter Theory 1996-02-08 Virtual Reality Modeling Language Version 2 1998-04-15 Juraj Sofranko Right Triangular Irregular Networks 1999-03-16 Statistical Inference For Gravity Models In Transportation Flow Forecasting 1997-09-17 Mike West Dynamic Coupling Of Underactuated Manipulators 1994-08-02 Lie Theory of Differential Equations and Computer Algebra 1995-08-21 Gunter Czichowski A Spectral Technique for Coloring Random 3-Colorable Graphs 1997-02-27 On-line filtering for nonlinear/ non-Gaussian state space models 1998-06-26 Neil Gordon The Omega Test: a fast and practical integer programming algorithm for dependence analysis 1999-02-08 William Pugh Bulk Loading Techniques for Object Databases and an Application to Relational Data 1998-05-11 Applying ILP to Diterpene Structure Elucidation from&sup1;&#x00B3;C NMR Spectra 1996-06-14 Multiple View Consistency for Data Warehousing 1999-01-20 Technical Report Security in Client-Server Communication using DCE-RPC 1999-03-25 Gerald Volkmann Computer Viruses - A Form of Artificial Life? 1994-04-19 Eugene H. Spafford A New Approach to Possibilistic Independence 1998-08-26 Image Segmentation based on Active Contours using Discrete Time Cellular Neural Networks 1998-04-02 Assessment Of A Renewal Process Experimented On The Field 1997-07-10 An IQC-Based Stability Criterion for Systems with Slowly Varying Parameters 1997-09-16 Harvest: A Scalable, Customizable Discovery and Access System 1995-03-12 Update Logging for Persistent Programming Languages: A Comparative Performance Evaluation 1996-09-25 Bead: Explorations in Information Visualization 1998-11-12 Neural Networks for Nonlinear Discriminant Analysis in Continuous Speech Recognition 1996-04-18 Minimal Models in Propositional Logics: Approximation Results 1996-09-24 Research Report Design and Evaluation of Incremental Data Structures and Algorithms for Dynamic Query Interfaces 1998-11-16 Caching and Writeback Policies in Parallel File Systems 1970-01-01 A Review of Soil Pore Models 1997-06-18 Graham W. Horgan Integrable Smooth Planar Billiards and Evolutes 1997-04-20 Edoh Y. Amiran Approximation And Numerical Experiments For Control Of Time Periodic Parabolic Distributed Parameter Systems 1998-12-19 Getting Started with ADIFOR 1994-11-30 Case-Based Support for Design of DynamicSystem Requirements 1996-11-26 Heuristic Joins to Integrate Structured Heterogeneous Data 1997-11-23 Game Search Trees 1996-01-05 Eyal Amir New Bounds for Codes Identifying Vertices in Graphs 1999-02-12 Integrating Program Optimizations and Transformations with the Scheduling of Instruction Level Parallelism 1996-10-15 An Efficient Architecture for Implementation of a Multiplier and . . . 1997-02-19 Covariant Bimodules and Differential Calculi on Quantum Groups of Type B, C, D 1995-08-20 Axel Schuler On the Role of Time in Distributed Systems 1999-03-03 Pointwise Convergence Of The Combination Technique For Laplace's Equation 1998-06-30 The Use of Genetic Algorithms for the Development of Sensorimotor Control Systems 1999-01-11 CADP - A Protocol Validation and Verification Toolbox 1998-09-01 On the Learnability of Discrete Distributions 1999-02-08 A Parallel Programming Model for Irregular Dynamic Neural Networks 1995-10-16 Essential Features of a Compiler Target Language for Parallel Machines 1998-02-20 George A. Papadopoulos A Fast Deterministic Algorithm for Formulas That Have Many Satisfying Assignments 1998-01-08 ICD - Edit's Client-Server Protocol: ADI Version 1.7.1 1997-08-13 David Dodson On the Validity and Identifiability of Spatial Deformation Models for Heterogeneous Spatial Correlation Structure 1997-09-16 Reasoning with Aggregation Constraints 1998-04-13 Ergodic Properties of Classical Dissipative Systems I 1996-05-29 V. Jaksic Reasoning With Characteristic Models 1996-05-14 An Estimate For The Gauss Curvature Of Minimal Surfaces In R^m Whose Gauss Map Omits A Set Of Hyperplanes 1998-01-14 Robert Osserman An Architecture for Action, Emotion, and Social Behavior 1996-07-16 On Parallel Retrievals Using Distributed Memory Computers 1996-05-13 Availability of CodingBased Replication Schemes 1995-10-16 Gagan Agrawal A Graphical Environment for Temporal Reasoning 1994-04-25 Nonlinear Predictive Vector Quantization of Speech Spectral Parameters 1998-11-30 James H. Y. Loo Hyper Least General Generalization and its Application to Higher-Order Concept Learning 1995-05-19 Spare Capacity Assignment in Telecom Networks using Path Restoration 1995-02-04 Jeyakesavan Veerasamy S. Venkatesan Imprecise Task Schedule Optimization 1997-03-19 NIW: A Simple Superscalar Architecture 1994-04-15 Crispin Cowan Executable Formal Models Of Distributed Transaction Systems Based On Event Processing 1996-06-28 John Jerome Kenney What's New with PUEO ? 1970-01-01 Jean-luc Beuzit Operators With Singular Continuous Spectrum, VI. Graph Laplacians And Laplace-Beltrami Operators 1997-04-26 Barry Simon Dynamic Multimethod Communication 1998-09-02 End-host Architecture for QoS-Adaptive Communication 1998-02-03 A Cooperative Database System CoBase for Query Relaxation 1998-05-06 Approximate Reachability with BDDs using Overlapping Projections 1998-09-18 A Methodology For Integrated System Identification And Pid Controller Design 1996-09-12 Integrating Different Learning Approaches into a Multilingual Spoken Language Translation System 1996-01-11 High-Performance Cluster Computing Using Scalable Coherent Interface 1997-03-29 Mounting Human Entities To Control And Interact With Networked Ship Entities In A Virtual Environment 1996-03-19 Bryan Christopher Stewart Existence And Uniqueness Of Solutions Of Nonlinear Systems Of Conductive-Radiative Heat Transfer Equations 1995-02-20 C. T. Kelley An Experimental Study of N-Person Iterated Prisoner's Dilemma Games 1997-11-21 A Secure Quorum Protocol 1996-08-06 Comprehensive and Robust Garbage Collection in a Distributed System 1998-09-29 Speaker Adaptation of Hidden Markov Models using Maximum Likelihood Linear Regression. 1999-01-01 EROS VARIABLE STARS : Discovery of Beat Cepheids in the Small Magellanic Cloud and the effect ofmetallicity on pulsation. 1998-08-17 Parallel Transient Time of One-Dimensional Sand Pile 1998-10-29 Deliverable R3--B1--P Task B1 : Databases 1995-08-31 Stabilization of constrained mechanical systems with DAEs and invariant manifolds 1997-12-11 Design of a Generic and Reusable Scheduler for Smalltalk-80 1997-07-28 Constraint Satisfaction Problems with Order-Sorted Domains 1996-09-04 Visually-Guided Obstacle Avoidance in Unstructured Environments 1998-04-22 Using Aggregation To Improve The Performance Of Mixture Gaussian Acoustic Models 1998-02-04 Explanation Based Learning: A Comparison of Symbolic and Neural Network Approaches 1998-09-29 A Deductive Account of Scope 1999-01-26 Bob Carpenter Complete Sets under Non-Adaptive Reductions are Scarce 1997-05-23 Reprinted from Proc. of The European Design and Test Conf., Paris, France, Feb. 28-March 03, 1994 1997-03-25 Practical Expressive Types for Active Objects 1996-03-11 Franz Puntigam Unknown 1996-02-29 Post-Compaction Register Assignment in a Retargetable Compiler 1997-10-19 Packing Lines, Planes, etc.: Packings in Grassmannian Spaces 1996-08-20 Domain-General Simulation and Planning With Physical Schemas 1999-03-11 Finite Cyclicity Of Elementary Polycycles 1995-06-30 Symmetric Subgroups of Rational Groups of Hermitian Type 1995-05-29 Bruce Hunt On The Laws Of Homogeneous Functionals Of The Brownian Bridge. 1998-10-21 Plan Recognition for a Purpose 1995-07-05 Annika Waern Compositional Constructive Induction: Discovering Topological Features of Environmental Changes from Vision Data 1999-01-27 Sattiraju Prabhakar On Termination of Single-Pushout Graph Rewriting 1996-10-29 Jurgen Muller Analysis of Imperative Programs through Analysis of Constraint Logic Programs 1998-08-28 XDeltavg 1995-08-21 Karl H. Hofmann Non-Linear Responses of the Hard Spheroid Fluid Under Shear Flow 1998-04-06 Galerkin Methods In Age And Space For A Population Model With Nonlinear Diffusion 1998-09-11 A Query Language and Optimization Techniques for Unstructured Data 1996-06-03 Affine-by-Statement Scheduling of Uniform and Affine Loop Nests over Parametric Domains 1996-09-25 Software Tools for Evaluating the Usability of User Interfaces 1998-02-17 Sandrine Balbo Bandwidth Routing in Multi-hop Packet Radio Environment 1997-06-27 Interactive Solid Animation Using Linearized Displacement Constraints 1998-09-16 Francois Faure lasers cascade quantum in electrons Hot 1997-08-01 Luryi Serge Adventures in the Evolution of a HighBandwidth Network for Central Servers 1994-08-08 An optimized algorithm for Data Oriented Parsing 1997-04-17 A Study of Distributed Real-Time Active Database Applications 1996-01-26 Near and Mid Infrared Imaging Polarimetry of NGC1068 1998-04-27 A New Paradox in Type Theory 1997-11-18 Thierry Coquand On Automated Discovery of Models Using Genetic Programming in Game-Theoretic Contexts 1995-01-14 On The Equivariant Homotopy Of Free Abelian Groups On G-Spaces And G-Spectra 1996-12-10 Paulo Lima-filho Lattice Dislocations in a 1-Dimensional Model 1970-01-01 Evgeni Korotyaev Efficient sparse Cholesky factorization on a parallel SIMD computer 1996-02-26 Fredrik Manne Harmonic Analysis Of Fractal Processes Via C*-Algebras 1996-01-23 Palle E. T. Jorgensen Implementation of a Portable Nested Data-Parallel Language 1997-02-04 The Phase Structure of the Gross-Neveu Model with Thirring Interaction at the Next to Leading Order of 1997-01-30 Takashi Dateki A Bornological Approach to Rotundity and Smoothness Applied to Approximation 1996-06-24 John Read Using Genetic Algorithms for Scheduling Engineering Missions 1995-08-22 Julian Eugene Boggess Soft vs. Hard Bounds in Probabilistic Robustness Analysis 1997-04-01 Performance of Data-Parallel Primitives on the EM-4 Dataflow Parallel Supercomputer 1996-04-02 Image Based Recognition of Gaze Direction Using Adaptive Methods 1998-03-09 A Comparative Study of Automatic Vectorizing Compilers 1992-02-15 Stable Marriage with Incomplete Lists and Ties Extended Abstract 1999-04-15 A Study of Wavelets for the Solution of Electromagnetic Integral Equations 1996-04-03 Behavior Matching by Observation for Multi-Robot Cooperation 1996-02-06 Yasuo Kuniyoshi T. Rauscher, F.-K. Thielemann 1997-01-28 Higher-Order and Reflexive Action Calculi: Their Type Theory and Models 1998-05-14 Masahito Hasegawa E S E a R C H 1999-01-12 Schema-Based Transformations of Logic Programs 1995-12-07 Uniform Traversal Combinators: Definition, Use and Properties 1996-09-23 An Algorithm for Optimal Spare Allocation - Parallel Implementation for Distributed Shared Memory Machine using Treadmarks 1998-09-01 Michail G. Lagoudakis Process Design for Operability: A Styrene Polymerization Application 1998-04-06 Correction to the 1998-05-23 Bernd A. Kniehl A Non-deterministic Tokeniser for Finite-State Parsing 1998-11-09 The Power of Multi-objects 1998-02-11 The Mobile Robot RHINO 1998-09-29 Long-Chord-Free and Fence-Free Tours for the Travelling Salesman Problem 1999-01-28 Evaluation of KQML as an Agent Communication Language 1998-09-18 Computational Sample Complexity 1998-02-10 Communication-Optimal Parallel Minimum Spanning Tree Algorithms Extended Abstract 1998-08-24 Digital Libraries Based on Full-Text Retrieval 1996-07-31 What to Infer from a Description 1996-07-19 USeg: A Retargetable Word Segmentation Procedure for Information Retrieval 1996-01-16 Synthesizing Translation Agents For Multi-Disciplinary Data Integration 1994-06-29 The Multimedia Multicast Channel 1995-11-02 Lexicons for Feature-Based Systems 1994-07-15 An Agent-based Telecooperation Framework 1998-03-26 New Constraints for Canonical General Relativity 1996-04-05 Michael P. Reisenberger Automatic Detection of Discourse Structure for Speech Recognition and Understanding 1999-02-09 SL: A Subjective, Intensional Logic of Belief 1999-04-09 A Deep-Submicron Steiner Tree 1998-05-04 A Theory of Culture 1995-10-05 Stefan Maier Section 10. Logic, Mathematics and Computer Science FORMALIZATION OF GRAPHICAL SCHEMAS: 1997-04-22 Z. Diskin On Equilibrium Finite Elements In Three-Dimentional Case 1997-02-19 Definability in Functional Analysis 1997-04-11 Improved Numerical Methods for the Simulation of Microwave Circuits 1997-11-27 Deriving Partial Correctness Logics From Evolving Algebras 1996-09-26 Arnd Poetzsch--heffter Towards Integrating Partial Evaluation in a Specialization Framework based on Generic Abstract Interpretation Extended Abstract 1997-09-15 Space-Time Domain Decomposition for Parabolic Problems 1997-12-02 Finding an Approximate Minimum-Link Visibility Path Inside a Simple Polygon 1995-03-15 A Framework to Support Multiple Security Policies 1995-10-31 Winfried E. Kuhnhauser Metamorphosis Networks: An Alternative to Constructive Methods 1995-02-08 Feature Generation for Sequence Categorization 1998-12-09 A Penalized Identification Criterion for Securing Controllability in Adaptive Control 1998-08-18 Decoupled Vector Architectures 1997-11-07 -- 1-- Invisible 1997-09-23 Collocation Methods For Distillation Design 1995-05-26 Analysis Of 1998-02-25 Quadratic Optimal Control of a Parabolic Equation 1998-07-13 Olof J. Staffans Classifying Spaces 1992-08-23 Some Examples Of Problem Solving By Using The Symbolic Viewpoint When Dealing With Polynomial Systems Of Equations 1998-06-17 Microstructure Analysis of Reconstructed Porous Media 1998-09-18 B. Biswal Transparent Process Rollback Recovery: Some New Techniques And A Portable Implementation 1997-01-27 Constraint Based Event Recognition for Information Extraction 1997-04-17 Geometric Modeling Using Six Degrees of Freedom Input Devices 1994-11-23 An Efficient Solution of Tridiagonal Linear Systems on A Dataflow Architecture 1998-08-24 Software Reuse Metrics for an Industrial Project 1997-10-28 Exotica/FMDC: Handling Disconnected Clients in a Workflow Management System 1995-10-16 MCMC control spreadsheets for exponential mixture estimation 1998-02-10 FINDING AND EXPLOITING PARALLELISM IN A PRODUCTION COMBUSTION SIMULATION PROGRAM BY GREGG MACLEAN SKINNER B.A., Goshen College, 1990 1994-06-15 Gregg Maclean Skinner Reducing Overhead in Flow-Switched Networks: An Empirical Study of Web Traffic 1998-02-09 High-Concurrency Locking in R-Trees 1995-09-07 Cluster-Based Parallel Image Processing 1996-03-27 Data Mining at CALD-CMU: Tools, Experiences and Research Directions 1998-09-29 Unknown 1994-09-26 Studying Evolution with Self-Replicating Computer Programs 1999-01-10 On the Linearization of Graphs and Writing Symbol Files 1995-03-06 Robert Griesemer Magnetic Properties of Epitaxial and Polycrystalline Fe/Si Multilayers 1995-12-10 Proton Structure Functions from HERA - Low 1998-12-17 Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization 1994-11-05 Natarajan Shankar Wave-pipelining: A tutorial and survey of recent research 1998-01-08 Optimal and Superoptimal Matrix Algebra Operators 1998-05-19 An example of a solvable Lie algebra 1995-08-21 Michael Wustner Some Issues On Control Of Discrete Event Systems Using Model Specifications 1996-11-04 Kripke Models and the inequational Logic of the Second-Order Lambda-Calculus 1995-12-12 Jean Gallier Wavelet Coding With Region Classification Using Low-Complexity Prediction Model 1996-09-16 Chien-chih Chen Fermionic Molecular Dynamics: Ensembles and Fluctuations therein 1996-10-08 Efficient Run-Time Monitoring of Timing Constraints 1999-02-01 Inversion of k-plane Transforms and Applications in Computer Tomography 1995-05-27 Fritz Keinert Parallel Tree Operations 1998-02-27 Jesper Larsson Traff Workstations and the Virtual System Model 1993-12-11 B. Clifford Neuman Algorithms for Equality and Unification in the Presence of Notational Definitions 1999-03-05 Analysis of Electromagnetic Scattering Using Arrays of Fictitious Sources 1998-03-05 A Quadratic Optimiser in a Constraint Logic Programming Paradigm 1998-06-11 Typing and Subtyping for Mobile Processes 1996-08-18 H-learning: A Reinforcement Learning Method to Optimize Undiscounted Average Reward 1996-02-29 A Strategy for Implementing Single-Cycle Store Instructions in Write-through, Write-back and Set Associative Caches using Store Buffering 1996-10-03 Conical Open Mapping Theorems and Regularity 1998-11-10 Subexponential Distributions 1997-08-19 Charles M. Goldie On the Circumradius of Acute Point Sets 1996-04-30 Michiel Smid Numerical Regularization for SDEs: Construction of Nonnegative Solutions 1997-11-19 Henri Schurz DynamicPVM: Task Migration in PVM 1994-11-17 Leen Dikken A Lower Bound for Integer Multiplication on Randomized Read-Once Branching Programs 1998-02-23 Describing Linguistic Information in a Behavioural Framework: Possible Or Not? 1998-08-26 Growing Neural Networks 1995-12-01 Software Approach to Hazard Detection Using On-line Analysis of Safety Constraints 1998-01-07 Beth A. Plale Limit Behaviour Of The Partition Function Of Spin Glasses Via Stochastic Calculus 1997-07-31 Gap-Languages and Log-Time Complexity Classes 1970-01-01 An Efficient Technique For The Blind Separation Of Complex Sources. 1993-11-29 Antoine Souloumiac Quality-Based Learning 1998-05-26 A New Universality of Lyapunov Spectra in Hamiltonian Systems 1997-05-22 Yoshiyuki Y. Yamaguchi Towards an Architecture for WAVE Interpretation in Open Distributed Systems 1997-03-27 Distributed Systems Management Architectures 1996-12-18 Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using 1997-10-23 Interpolation, Preservation, and Pebble Games 1996-08-19 Simulation and Analysis of Business Processes Using GOLOG 1995-11-28 Dimitris Plexousakis Relearning after Damage in Connectionist Networks: Implications for Patient Rehabilitation 1997-01-02 David C. Plaut Simulation for ARPI and the Air Campaign Simulator 1996-08-05 Publication Reprints 1997-06-04 Applications of Partial Inductive Definitions: Conclusions from some projects run at SICS KBS-lab 1986-1992 1995-01-11 Per Kreuger Quo Vadis - A Framework for Intelligent Routing in Large Communication Networks 1998-03-03 Performance Measures for Haptic Interfaces 1999-04-09 Adaptation and the Modular Design of Organisms 1995-10-05 Gunter P. Wagner sGA: A Structured Genetic Algorithm. 1970-01-01 Storageless Value Prediction Using Prior Register Values 1999-03-11 Temperature and Relativity 1996-04-05 Cohesion and Reuse in an Object-Oriented System 1970-01-01 Fusing Autonomy and Sociability in Robots 1997-02-26 Yasuo Kuniyoshi Adaptive User Models For Intelligent Information Filtering 1995-11-09 Bringing up Robots or - The Psychology of Socially Intelligent Robots: From Theory to Implementation 1999-04-28 Kristin/Homer, /and/William/Raymond 1970-01-01 A Fast Recursive Algorithm to Compute Local Axial Moments 1997-10-07 Some Monoidal Closed Categories of Stable Domains and Event Structures 1998-04-01 Guo-qiang Zhang Some lengthening factors in English speech combine additively at most rates 1998-09-30 Fred Cummins Contours Actifs Pour La Lecture Labiale En Combinant "snakes" Et "templates" 1995-06-14 Stefan Horbelt On Integrating Domain Knowledge into Reinforcement Learning 1997-07-29 An Agent Architecture That Combines Backward and Forward Reasoning 1998-07-31 A Process Algebra for Hybrid Systems 1999-01-28 Jan Joris Vereijken Safe and Efficient Active Network Programming 1998-08-04 Projective Hilbert 1994-09-06 Elimination Ordering Characterizations of Digraphs with Interval and Chordal Competition Graphs 1996-07-01 Constraint Programming Approaches to A Scheduling Problem in Steelmaking 1997-10-02 heterostructure in transport minority of theory thermionic-diffusion the On transistors bipolar 1997-08-20 Sequential Distributed Coordination 1995-05-09 Aleta Ricciardi Fast Barrier Synchronization on Shared Fast Ethernet 1998-09-15 Programming Languages for Distributed Applications 1999-02-11 The Logic of Propagation in The Inscape Environment 1998-09-09 Dewayne E. Perry Schurian Vector Space Categories of Polynomial Growth 1999-04-21 Viktor Bekkert Cooperative Intelligent Software Agents 1998-11-24 Internet-based Workflows: A Paradigm For Dynamically Reconfigurable Desktop Environments 1997-05-22 On The Nesterov-Todd Direction In Semidefinite Programming 1998-10-12 M. J. Todd Controlling Bottom-Up Chart Parsers through Text Chunking 1999-03-30 Using EM to Classify Text from Labeled and Unlabeled Documents 1998-07-06 Efficient Flow-Insensitive Alias Analysis in the Presence of Pointers 1996-04-03 Time-Adaptive Self Stabilization 1997-05-29 Transpose-Free Formulations Of Lanczos-Type Methods For Nonsymmetric Linear Systems 1998-01-05 Asymptotic Component Densities in Programmable Gate Arrays Realizing all Circuits of a Given Size 1996-05-02 Preprocessing Of Visual Speech Under Real World Conditions 1997-12-18 Breaking Security Protocols as an AI Planning Problem 1997-09-04 Fabio Massacci Efficient Estimation and Model Selection in Large Graphical Models 1997-03-06 Dag Wedelin The Brightest Carbon Stars 1997-10-06 Camouflaging Independent Sets in Quasi-Random Graphs 1995-03-31 An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs 1998-07-17 A Neural Memory Architecture for Content as well as Address-Based Storage and Recall: Theory and Applications 1995-02-27 Automated Symbolic Timing Analysis for Distributed Systems 1998-05-18 Scott D. Stoller Domain Decomposition Algorithms For Mixed Methods For Second Order Elliptic Problems 1994-12-23 Implementation of Technical Languages by Extensible Translation 1996-05-15 D Model Acquisition from Extended Image Sequences 1996-06-24 On Goursat Normal Forms, Prolongations, And Control Systems 1996-09-23 D. Tilbury Galaxy Kinematics with Integral Field Spectroscopy 1998-11-06 Anderson Model with decaying randomness: Mobility Edge 1997-10-22 Gaussian Multiple-Access Channels with Weighted Energy Constraint 1998-07-10 On Smooth Statistical Tail Functionals 1997-06-03 Sorting in Linear Time? 1999-01-22 Quasi-Newton Methods for Nonlinear Least Squares Focusing on Curvatures 1998-04-30 Jerry Eriksson Ontology Development for Machine Translation: Ideology and Methodology 1997-06-09 Kavi Mahesh Characterizations of Embeddable 1995-06-18 L^p Norms of the Borel Transform and the Decomposition of Measures 1997-04-26 B. Simon Secrecy by Typing in Security Protocols 1997-10-08 Two Queries 1998-08-16 Affine Permutations And Inversion Multigraphs 1997-12-26 Paolo Papi Continuation Passing Style and Self-Adjointness 1997-08-15 Hayo Thielecke Problem Decomposition for Reuse 1998-08-25 Microsystems 1994-02-16 On the Optimality of Parsing in Dynamic Dictionary Based Data Compression 1998-05-19 Vertex Operators - From a Toy Model to Lattice Algebras 1996-11-25 Documentation for 1996-11-27 J. Scott Berg Indexes for User Access to Large Video Databases 1996-04-03 A Machine Learning Approach to Building Domain-Specific Search Engines 1999-04-05 Generalized Linear Models in Lisp-Stat 1996-05-02 Luke Tierney Characterizing and Mechanizing Abductive Reasoning 1998-01-30 Experimental Analyses of the Life Span Method for the Quadratic Assignment Problem 1998-05-16 Tim: A Timing Package for Two-Phase, Level-Clocked Circuitry 1997-06-28 Dynamics of Arithmetic - A Connectionist View of Arithmetic Skills 1994-03-02