Network Management Architectures 1995-09-13 Linking ArcView 3.0 and XGobi: Insight Behind the Front End 1997-06-03 Querying TSQL2 Databases with Temporal Logic 1996-01-25 A General Duality Principle for the Sum of Two Operators 1996-06-24 H. Attouch Power Conscious Fixed Priority Scheduling for Hard Real-Time Systems 1999-03-18 A Geometric Framework for time-dependent Billiards 1997-05-15 The Systematic Improvement of Fault Tolerance in the Rio File Cache 1999-01-06 The Use of Constraint Systems for Musical Composition 1998-06-08 Geraint A. Wiggins SodaBot: A Software Agent Environment and Construction System 1994-11-14 Michael H. Coen The Network RamDisk : Using Remote Memory on Heterogeneous NOWs 1998-09-17 A Distributed-Integrated Medical Imaging System 1993-10-21 An Event Service Framework for Distributed Real-Time Systems 1998-07-07 Three-Dimensional Finite-Element Analyses: Implications for Computer Architectures 1998-09-10 Relative to a random oracle, P/poly is not measurable in EXP 1998-03-26 Marius Zimand Context Free Attentional Operators: the Generalized Symmetry Transform 1995-03-30 Modeling Supply Chain Dynamics: A Multiagent Approach 1998-08-28 Learning High Utility Rules by Incorporating Search Control 1998-12-20 Jihie Kim On the Grammaticalization of Negative Polarity Items 1998-06-05 Jack Hoeksema Finding Points on Curves over Finite Fields 1996-10-22 Differential Games and Symbolic Programming to Calculate a Guaranteed Aircraft Evasion in Modern Aerial Duels 1994-03-02 On the Capacity of Cellular CDMA with Controlled Power Disparities 1998-11-21 Support for the File System Security Requirements of Computational E-Mail Systems 1994-08-25 Dynamic Fault Grouping for PROOFS: A Win for Large Sequential Circuits 1999-04-20 Applying Super-Resolution to Panoramic Mosaics 1998-11-06 Egon B orger 1998-10-25 ZEUS-2D: A Radiation Magnetohydrodynamics Code for Astrophysical Flows in Two Space Dimensions: II. The Magnetohydrodynamic Algorithms and Tests 1994-05-03 Understanding Partitions and the "No Partition" Assumption 1998-08-28 Clin d'Oeil on L_1-Embeddable Planar Graphs 1996-07-05 Cheating with Imperfect Transcripts 1997-07-30 Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment 1997-08-22 Metadata For Integrating Speech Documents In A Text Retrieval System 1995-06-21 The Software Architecture and Interprocess Communications of IRI: an Internet-based Interactive Distance Learning System 1996-04-19 Split Mode Method For The Elliptic 2-D Sine-Gordon Equation: Application To Josephson Junction In Overlap Geometry 1996-11-21 Integrating Multiple Cues in Word Segmentation: A Connectionist Model using Hints 1997-05-01 The Decidability of Simultaneous Rigid E-Unification with One Variable 1997-04-10 High Performance Fortran Language Specification 1996-04-01 Generating Abstractors from Abstraction Functions 1970-01-01 TR-96-02 March 1996-07-08 Polygon Area Decomposition for Multiple-Robot Workspace Division 1999-03-22 Small-Signal Circuit Analysis and Sensitivity Computations with the PVL Algorithm 1995-08-09 Resource-Limited Index Construction for Large Texts 1995-09-07 Alistair Moffat Large Grain Parallel Sparse System Solver 1994-06-06 Bret Andrew Marsolf The Effect Of Sampling And Quantization On Frequency Estimation 1999-01-12 Peter H Andel Building Virtual Cities: applying urban planning principles to the design of virtual environments 1999-01-24 A Logical Model for Metadata in Web Bases 1998-08-10 Performance Study of RAID-5 Disk Arrays with Data and Parity Cache 1998-09-07 On the convergence of certain Gauss-type quadrature formulas for unbounded intervals 1998-07-02 Efficient Persistent Haskell 1998-11-03 Simulation Based Planning in Support of Multi-Agent Scenarios 1997-06-02 Using Introspective Reasoning to Select Learning Strategies 1993-02-11 Density Dependent Hadron Field Theory 1998-05-14 Specification Composition for the Verification of Message Passing Program Composition 1997-02-10 An Agent Infrastructure for Knowledge Discovery and Event Detection 1999-04-06 A Simulation Study of Switching Mechanisms for ABR Service in ATM Networks 1996-06-12 Olga Casals Karl J. Runge 1995-05-01 Edge Linking and Junction Preservation 1995-02-22 Empirical Bayesian Spatial Prediction Using Wavelets 1998-12-27 Hybrid B&#x00E9;zier Patches on Sphere-like Surfaces 1995-12-05 Collecting Trash: A Test of Purposive Vision 1995-05-16 Intentional Agents and Goal Formation 1998-03-03 Lifshitz Asymptotics and Localization for Random Quantum Waveguides 1997-12-10 Modelling Unknown Words In Spontaneous Speech 1997-02-06 Characterizing Abstraction Hierarchies for Planning 1997-11-27 On General Results For All-To-All Broadcast 1996-07-19 A Logic-based Framework for Shape Representation 1995-10-06 Minimal Acceptable Measurement Durations for Reference Traffic Determination 1992-09-21 The Well-founded Semantics Is the Principle of Inductive Definition 1998-06-30 Marc Denecker RTL Calls Generator 1999-02-12 Development of a Secure Electronic Marketplace for Europe 1996-10-18 Michael Waidner A 1-S,T-Edge-Connectivity Augmentation Algorithm 1995-01-26 Steffen Enni Quality Of Service Support For Protocol Processing Within Endsystems 1996-06-03 Character Segmentation Using Visual Inter-word Constraints in a Text Page 1995-06-28 Jet Structure In Deep-Inelastic Scattering 1998-11-17 Temporal Golog with Execution Monitoring 1998-09-15 Mikhail Soutchanski Evolving Algebras: An Attempt To Discover Semantics 1996-09-10 Yuri Gurevich A Matrix Key Distribution Scheme 1994-10-12 These lecture notes are based on the work of Neal 1996, Williams and Rasmussen 1996 and Gibbs 1997. My lectures feature a sequence of computer demonstrations written in the free language 1998-05-04 David J. C. Mackay Report Documentation Page 1998-08-24 Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem 1997-04-17 Voice Communication Across the Internet: A Network Voice Terminal 1996-09-18 Henning Schulzrinne Comparison of Chemical Evolution Models for the Galactic Disk 1998-05-25 Monica Tosi DIFFERENTIAL GEOMETRY OF g-Manifolds 1998-12-03 Reasoning With Qualitative Representations: Exploiting The Structure Of Space 1993-06-23 Fakultat Fur Informatik A New Method Fo Solving The Image Irradiance Equation Using Characteristics 1997-11-17 Per-gunnar Martinsson Colored Partitions and a Generalization of the Braid Arrangement 1997-12-26 Volkmar Welker Randex, A Bridge Over The Internet 1997-02-05 Visual Schemas in Neural Networks for Object Recognition and Scene Analysis 1997-02-14 A General Duality Principle for the Sum of Two Operators 1996-06-24 H. Attouch Analysis Of Phoneme-Based Features For Language Identification 1995-12-22 Occam: Specification and Compiler Correctness - Part I: The Primary Model 1996-06-24 Parallel Least Squares Problems On Massively Distributed Memory Computers 1996-09-26 Tianruo Yang Isospin Violation in Pion-Nucleon Interaction 1998-07-17 Sven Steininger Partial Proof Trees as Building Blocks for a Categorial Grammar 1997-02-13 An Efficient Conditional-knowledge based Optimistic Simulation Scheme 1994-09-02 Runge-Kutta-Nyström-type parallel block predictor-corrector methods 1999-04-08 Algorithmic Information Theory 1998-07-21 G. J. Chaitin Simulation For The EPPP Project 1995-03-23 Upward Extension Of The Jacobi Matrix For Orthogonal Polynomials 1998-07-29 A Study on Channel Allocation for Data Dissemination in Mobile Computing Environments 1998-11-05 Probabilistic Modeling for Face Orientation Discrimination: Learning from. . . 1999-01-06 Shumeet Baluja ADIC: An Extensible Automatic Differentiation Tool for ANSI-C 1997-02-04 Applying the Hungarian Method to Stereo Matching 1997-12-02 Computer-Aided Design of Free-Space Optoelectronic Interconnection FSOI Systems 1996-01-15 Eiji Ogasa 1997-05-23 Eiji Ogasa A Problem-Solving Environment for Generating Certifiably Correct Programs to Solve Evolution Equations 1998-02-10 A Probabilistic Model For Simulating Magnetoacoustic Emission Responses In Ferromagnets 1995-03-10 Initial Results on Wrapping Semistructured Web Pages with Finite-State Transducers and Contextual Rules 1998-07-16 Chun-nan Hsu A Market Protocol for Decentralized Task Allocation 1998-04-24 Matematiqki Vesnik 1996-07-08 Numerical Analysis Of Abrupt Heterojunction Bipolar Transistors. 1998-09-09 On Supervisory Control of Sequential Behaviors 1996-12-13 Implementing a Zooming User Interface: Experience Building Pad++ 1998-04-06 Knowledge-Based Task Analysis for Human-Computer Systems 1997-05-28 On Kernel Support for Real-Time Multimedia Applications 1997-04-11 Kevin Jeffay Enhancement Of Mammographic Images For Detection Of Microcalcifications 1998-09-08 Revision History 1996-03-11 Affine Elimination Theory 1998-10-14 J. Maurice Rojas Generalized Emulation Services for Mach 3.0 Overview, Experiences and Current Status 1993-10-05 Minkowski Decomposition of Convex Polygons into their Symmetric and Asymmetric Parts 1998-06-23 On Strong Separations from AC 0* 1995-09-15 Learning and Upgrading Rules for an OCR System Using Genetic Programming 1998-01-23 David Andre Evolutionary Module Acquisition 1996-08-02 What is wrong with CAE and can it be fixed? 1995-02-06 Yoram Reich MacFS: A Portable Macintosh File System Library 1998-05-05 Les Grammaires Attribu&#x00E9;es: un Langage Fonctionnel D&#x00E9;claratif 1996-10-28 Response Analysis for the Early Stages of Sedimentation Processes 1999-01-26 Spatially and Scale Adaptive Total Variation Based Regularization and Anisotropic Diffusion in Image Processing 1970-01-01 MDG Algorithms 1996-01-23 Study of Iterative Processes in Computer Graphic's Problems 1996-10-22 An Integrable Flow on a Family of Hilbert Grassmannians 1996-08-25 Rodrigo P. Gomez Bayou: Replicated Database Services for World-wide Applications 1996-07-12 Weak* Sequential Compactness and Bornological Limit Derivatives 1995-10-27 Weak Bisimulation and Model Checking for Basic Parallel Processes 1997-03-04 Richard Mayr A Mutation Spectra Database for Bacterial and Mammalian Genes: 1998 1997-12-15 Outline of an Information-Flow Model of Generics 1995-12-12 Optimal Efficiency of Optimistic Contract Signing 1998-10-15 Parameter Estimation in DS-CDMA Systems 1998-06-19 Compression of Image Data and Performance Tradeoffs for Client/Server Systems 1998-01-24 ATLAS I: A Single-chip ATM switch for NOWs 1996-12-15 Scheduling Transmissions in WDM Optical Networks 1998-04-17 Anytime Influence Diagrams 1996-11-08 Analysis and Visualization of Nonlinear Time Sequences 1996-01-31 Anton M. Kirchsteiger Perturbing the Representation, Decoding, and Evaluation of Chromosomes 1998-08-03 Thomas Haynes Machine Vision Sensing for Meat Processing Automation 1996-02-26 Towards A General Theory Of Representations 1997-10-28 Aaron Sloman W3Gate - The Service 1997-07-01 Detc98/mech-5840 1999-02-02 Tests Based on Sum-Functions of Spacings for Uniform Random Numbers 1997-03-14 Template-Based Rendering of Run-Length Encoded Volumes 1998-12-11 A Bottom-Up Approach for Visualizing Program Behavior 1998-04-08 Quality of Service Support in High-Speed, Wormhole Routing Networks 1996-09-14 Using an Object-Oriented Predicative Style to Solve the Invoicing Case Study 1998-03-03 Richard F. Paige Interacting Hot Dark Matter 1997-02-28 High Performance Fortran Language Specification 1996-04-02 Issues in Supporting Event-based Architectural Styles 1998-08-31 An Asynchronous Microprocessor in Gallium Arsenide 1993-11-11 Tak Kwan Lee Trapped Modes In Acoustic Waveguides 1997-04-26 L. Parnovski DoMerge: Integrating Parallel Loops and Reductions 1998-12-19 RD27 notes 1995-12-20 Application of Explanation-based Learning for Efficient Processing of Constraint-based Grammars 1994-06-16 Gunter Neumann Dfki The Importance of Proof Maintenance and Reengineering 1995-08-07 Paul Curzon PLOTS: pattern language of transport systems - Point and Route Patterns - 1997-10-17 Resonant Excitation of Plasma Wakefields using Multiple Electron Bunches 1998-10-08 Voltage Scheduling Problem for Dynamically Variable Voltage Processors 1998-08-16 Learning by a population of Perceptrons 1996-08-28 Pipelined Implementation of the Multiresolution Hough Transform in a Pyramid Multiprocessor 1999-01-24 M. Atiquzzaman PLAN: A Programming Language forActive Networks 1997-11-10 Improving Automated Land Cover Mapping by Identifying and Eliminating Mislabeled Observations from Training Data 1996-03-07 On the Measurability of the Conjugate and the Subdifferential of a Normal Integrand 1995-10-27 Christian Hess NETCICATS: Network-Conscious Image Compression and Transmission System 1998-07-29 Evaluating Virtual Channels for Cache-Coherent Shared-Memory Multiprocessors 1996-02-21 Environment Centered Analysis and Design of Coordination Mechanisms 1995-03-11 Keith S. Decker The Widest Practicable Dissemination: The NASA Technical Report Server 1995-03-10 Human-Agent Interaction and Machine Learning 1999-02-08 The GENESIS Distributed-Memory Benchmarks 1994-01-16 Bayesian Methods for Mixtures of Experts 1996-04-03 Design Error Diagnosis in Logic Circuits using Ternary Test Sets 1996-10-09 Ayman Wahba Unknown 1996-12-24 Replication Requirements in Mobile Environments 1997-07-04 Model Checking Algorithms for theµ-Calculus 1999-01-15 The Thin Plate as a Regularizer in Bayesian SPECT Reconstruction 1999-02-03 On Indeterminacy and Defeasible Reasoning 1996-07-05 On-Line q-adic Covering by the Method of the n-th Segment and its Application to On-Line Covering by Cubes 1996-05-22 Using Action-Based Hierarchies for Real-Time Diagnosis 1970-01-01 Cases as Structured Indexes for Full-Length Documents 1993-02-09 Marti A. Hearst Implementation and Analysis of Software Based Fault Isolation 1970-01-01 Scott M. Silver Cache Awareness in Blocking Techniques 1996-08-18 Making Stochastic Networks Deterministic 1998-08-27 Stefan M. Ruger A Model of Visual Recognition and Categorization 1997-09-01 The MACHO Data Pipeline 1998-05-25 Raman@adobe.com 1999-01-26 T. V. Raman Basic Observables for Processes 1998-09-23 Map Learning and High-Speed Navigation in RHINO 1996-11-10 Nikos Karacapilidis 1997-06-26 Results Of The Analysis Of The Blood Lymphocyte Proliferation Test Data From The National Jewish Center 1997-11-13 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance 1995-06-01 An Operational Semantics for Probabilistic Concurrent Constraint Programming 1998-03-26 Extracting Constructive Content from Classical Logic via Control-like Reductions 1970-01-01 A Projection Method for the Solution of Rectangular Systems 1996-07-05 Iain S. Duff Perceptual Optimization Of Image Coding Algorithms 1995-06-16 Programming in Standard ML '97: A Tutorial Introduction 1998-04-23 TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory 1996-06-20 Visualizing Complex Hypermedia Networks through Multiple Hierarchical Views 1995-04-04 Maximum-Entropy Remote Sampling 1998-10-09 On Applying Or-Parallelism to Tabled Evaluations 1997-06-25 X-Ray Emission, Stellar Populations and Determination of IMF 1998-10-16 Annotation of Fine Art Images Using Adaptive Color Segmentation 1996-11-04 By-her Wang Lexical Acquisition as Constraint Satisfaction 1994-01-19 Jeffrey Mark Siskind Fault Diagnosis Solutions: Storage, Reuse and Parallelism 1996-10-07 Matematiqki Vesnik 1996-07-07 High-order Iterative Learning Control of Functional Neuromuscular Stimulation Systems 1998-03-20 Non-Volatile Memory for Fast, Reliable File Systems 1992-10-27 Decoder Complexity And Performance Comparison Of Matching Pursuit And Dct-Based Mpeg-4 Video Codecs 1998-11-09 Split Convolutional Approach to 3D Depth Extrapolation 1995-07-14 A Parallel Branch And Bound Algorithm For Test Generation 1997-01-09 VC Dimension Bounds for Networks of Spiking Neurons 1999-01-29 Michael Schmitt Simulating Galaxy Formation 1998-05-25 M Steinmetz Exploratory Study Of The Acoustic Performance Of Piezoelectric Actuators 1995-05-11 Unknown 1997-08-25 Tracking Context Changes through Meta-Learning 1996-06-28 Gerhard Widmer Query Order and Self-Specifying Machines 1995-10-27 Preparing Students for Software Engineering 1997-02-24 An Extensible Interpreter for Value-Passing CCS 1995-09-08 Specification and Proof of Prioritized, Timed CSP Processes 1993-06-18 Gavin Lowe Rigidly symmetric L 1995-08-21 Detlev Poguntke Sampling Implicit Objects With Physically-Based Particle Systems 1995-12-12 Low-level and High-level CSCW Support in the Serendipity Process ModellingEnvironment 1998-08-12 A d-Dimensional Extension Of A Lemma Of Huneke's And Formulas For The Hilbert Coefficients 1994-11-15 Sam Huckaba Separating Words with Small Grammars 1999-02-16 Implementing a Parallel C++ Runtime System for Scalable Parallel Systems 1994-09-10 Untwisted Moduli and Internal Fermions in Free Fermionic Strings 1998-05-23 Learning Robust Plans for Mobile Robots From A Single Trial 1996-04-28 Sean P. Engelson Unknown 1997-05-31 Means Of SHADE: Technology for Knowledge-Based Collaborative Engineering 1994-03-08 A Generic ATMS 1996-01-31 S. K. Godunov Symmetric form of the equations of magnetohydrodynamics 1998-06-23 S. K. Godunov A Tangled Web of Deceit 1994-05-05 Learning Grouping Strategies for 2D and 3D Object Recognition 1996-11-13 Bruce A. Draper Signature Hiding Techniques for FPGA Intellectual Property Protection 1999-03-16 Shaping Space: The Possible and the Attainable in RNA Genotype-Phenotype Mapping 1998-06-20 Large Kinematic Dynamo And Intermittence In A Turbulent Flow 1998-12-19 Comparison-Sorting and Selecting in Totally Monotone Matrices 1996-03-12 Are Lexical Meaning and Context Sufficient for Determining Indexical Reference? 1996-03-18 Lawrence D. Roberts Debugging Standard ML Without Reverse Engineering 1995-09-15 Andrew P. Tolmach A New Concept for Active Fusion in Image Understanding applying Fuzzy Set Theory 1996-07-01 Axel Pinz FIAT: A Framework for Interprocedural Analysis and Transformation 1997-01-27 Procedure Call Models for Distributed Parameters in Data Parallel Programs 1994-10-24 Large graphs with small degree and diameter: A voltage assignment approach 1997-03-25 High-Concurrency Locking in R-Trees 1995-06-03 An Empirical Study of Algorithms for Point-Feature Label Placement 1996-05-02 Computationalism is Dead; Now What? - Response to Fetzer's "Minds Are Not Computers: Most Thought Processes Are Not Computational" 1996-05-21 Selmer Bringsjord Copyright 1996 Sun Microsystems, Inc. All Rights Reserved 1998-05-23 Robust Point Location in Approximate Polygons 1996-09-30 A. James Stewart Applying Testability to Reliability Estimation 1998-08-11 Modelling Evolving Populations 1997-12-11 Adam Prugel-bennett Metric Entropy and Minimax Risk in Classification 1997-11-11 David Haussler Cauchy--Szego kernels for Hardy spaces on simple Lie groups 1996-02-06 Agent Oriented Programming for Group Performance Support Systems 1996-05-10 A Framework for Undoing Actions in Collaborative Systems 1996-07-25 Michael J. Knister An Extensible Protocol Architecture for Application-Specific Networking 1996-05-29 1996-07-08 1996-07-08 CCHIME: A Cache Coherent Hybrid Interconnected Memory Extension 1995-05-11 An Interactive Model of the Human Thigh for Simulating Surgical Procedures in Virtual Environments 1997-03-13 Long-Lived Renaming Made Fast 1996-08-27 Multi-Carrier CDMA with Iterative Decoding and Soft-Interference Cancellation 1997-08-15 Stefan Kaiser Issues in Building General Letter to Sound Rules 1998-10-22 A Scaled Conjugate Gradient Algorithm for Fast Supervised Learning 1990-11-28 Martin F. Møller Augmented Lagrangian and Total Variation Methods for Recovering Discontinuous Coefficients from Elliptic Equations 1997-08-27 Tony F. Chan Understanding the Power of the Virtually-Synchronous Model 1995-03-10 Adaptive Obstacle Avoidance With a Neural Network for Operant Conditioning: Experiments With Real Robots 1997-07-30 Structural Adaptation of Parsimonious Higher Order Neural Classifiers 1995-02-15 COMPOSER: A Case Based Reasoning System for Engineering Design 1998-04-15 Learning Situation-specific Coordination in Generalized Partial Global Planning 1995-12-12 Using Predicated Execution to Improve the Performance of a Dynamically Scheduled Machine with Speculative Execution 1998-05-30 Model Selection and the Principle of Minimum Description Length 1998-09-30 Commensurate Scale Relations: Precise Tests Of Quantum Chromodynamics Without Scale Or Scheme Ambiguity 1998-05-15 Precision and Recall of Ranking Information-Filtering Systems 1996-06-08 FRST - An Interactive Revision System for Forward Chaining Rule Bases 1994-10-24 Ronen Feldman Sparse Suffix Trees 1996-03-29 Gray-level Object Segmentation with a Network of FitzHugh-Nagumo Oscillators 1997-10-21 Practical Use of Ada-95 Real-Time Features 1998-10-29 Exact Black-Hole Solution With Self-Interacting Scalar Field 1998-05-12 Communication complexity of the Hamming distance 1998-04-03 Ulrich Tamm Multiple Authentications With a Nonce-Based Protocol Using Generalized Timestamps 1997-07-09 Visual Servoing For Robotic Assembly 1998-12-17 Brad Nelson Parallel Algorithms 1998-01-28 The Independence Number of Graphs With Large Odd Girth 1996-04-10 Tristan Denley Micro Stereolithography Using A Liquid Crystal Display As Exposure Mask 1998-11-03 Real-Time Recognition Of Broadcast Radio Speech 1996-01-19 Applications Of Cayley Graphs 1995-01-15 Proof of the De Gennes Formula for the Superheating Field in the Weak k Limit 1995-07-06 The Taming of the Cut. Classical Refutations with Analytic Cut 1997-12-03 Marco Mondadori Bayesian Comparison of Models for Images 1994-11-25 Fast Multipole Method Solution Of Combined Field Integral Equation 1996-04-03 LBV Outbursts: The Effects of Rotation 1996-12-02 Video Shot Detection and Characterization for Video Databases 1998-06-05 Naive Drell-Yan and Its Successor 1998-10-06 T-m. Yan A Quality of Service based Allocation and Routing Algorithm for Distributed, Heterogeneous Real Time Systems* 1997-03-14 Saurav Chatterjee On Certificates and Lookahead in Dynamic Graph Problems 1997-02-02 Using a Vector Quantization Approach for Robust Text-Independent Speaker Identification 1995-10-17 Gauge Symmetries and Percolation in 1997-12-11 Christian Mazza A Recursive Filter for Phase Velocity Assisted Shape-based Tracking of Cardiac Non-rigid Motion 1995-08-09 Optimal Play Against Best Defence: Complexity and Heuristics 1998-11-20 Ian Frank Tracking Eyes and Monitoring Eye Gaze 1998-05-20 Modeling Sharing and Recursion for Weak Reduction Strategies using Explicit Substitution 1998-03-20 Preprocessing of Intractable Problems 1998-10-20 Enhancing the Nuprl Proof Development System and Applying it to Computational Abstract Algebra 1995-04-15 Decidable Reasoning in Terminological Knowledge Representation Systems 1998-02-02 Loop Scheduling Algorithm for Timing and Memory Operation Minimization with Register Constraint 1998-10-21 Computation of the Least Significant Set Bit 1996-05-30 Andrej Brodnik A Digital Fountain Approach to Reliable Distribution of Bulk Data 1998-10-15 Standard ML of New Jersey 1995-03-03 David B. Macqueen On the topology of deformation spaces of Kleinian groups 1998-06-09 Plan Execution for Autonomous Spacecraft 1996-11-05 Global Error Control For The Continuous Galerkin Finite Element Method For Ordinary Differential Equations 1994-10-03 Stochastic Cycle Period Analysis in Timed Circuits 1999-04-07 Constructing Variationally Optimal Curves using Subdivision 1997-05-27 An Action-Based Formal Model for Concurrent, Real-Time Systems 1995-02-07 C. J. Fidge The Energy Efficiency of IRAM Architectures 1997-03-04 Mawl: Integrated Web and Telephone Service Creation 1999-03-29 Estimating the Probability of Approximate Matches 1997-08-14 Stefan Kurtz Extreme K-Families 1996-04-30 SPIE: Sparse Partial Inductance Extraction 1997-05-29 The Utility of Embedded Communications: Toward the Emergence of Protocols 1995-07-12 Berkeley, CA 94720 email: 1997-11-03 A NN Algorithm for Boolean Satisfiability Problems 1998-06-03 William M. Spears Finitely Generated Magari Algebras and Arithmetic 1994-08-29 An Analysis of Ontology Mismatches; Heterogeneity Versus Interoperability 1997-08-08 Brad Tonkes 1998-09-27 Brad Tonkes Optimally Rotation-Equivariant Directional Derivative Kernels 1997-06-11 Dialogue as Knowledge Editing 1999-03-23 Query Evaluation in the Object-Oriented GIS GODOT 1997-12-07 Advanced Solving Techniques in Optimization of Machine Components 1999-04-20 Adaptive Wavelet Methods for Saddle Point Problems 1999-02-23 Using Agent-based Software for Scientific Computing in the NetSolve System 1998-06-29 Jack Dongarra Functional topography: Multidimensional scaling and functional connectivity in the brain. 1995-05-31 Poincar&#x00E9;-Invariant Markov Processes And Gaussian Random Fields On Relativistic Phase Space 1996-12-20 A Fuzzified Nested Generalized Exemplar Theory 1997-10-22 Nicoletti Flávia Oliveira Santos Explorations in Design Space 1994-04-20 A Procedure for Mediation of Queries to Sources in Disparate Contexts 1997-07-30 Modelling Activities In Information Systems Using The Coordination Language Manifold 1998-02-20 Applications of Machine Learning: Notes from the Panel Members 1995-07-17 Efficient TCP over Networks with Wireless Links 1997-07-23 Wiener Tauberian Theorems For 1998-11-17 Rudra P. Sarkar Implementing a Low Cost, Low Latency Parallel Platform 1996-11-07 A Simple Balanced Search Tree With O1 Worst-Case Update Time 1996-01-15 Rudolf Fleischer Similarity and Affine Invariant Distances between 2D Point Sets 1997-01-31 ADAPTOR Users Guide Version 6.1 1998-12-21 Agents And Software Engineering 1998-09-14 Michael Wooldridge A Log N Distributed Mutual Exclusion Algorithm Based on the Path Reversal 1998-10-30 Markovian modeling of the stress contours of Brazilian and European Portuguese 1997-05-21 Predicting Individual Book Use for Off-Site Storage Using Decision Trees 1996-05-02 The Object-Oriented Database System Manifesto 1993-04-13 Einstein's Energy-Free Gravitational Field 1970-01-01 Entropy and Dyadic Equivalence of Random Walks on a Random Scenery 1999-01-20 Flexible Mapping for Retrieval from Federated Schemas with Modelling Variations 1970-01-01 Radhika Reddy Meroon V3: A Small, Efficient and Enhanced Object System 1997-12-29 Christian Queinnec The Geometry and Statistics of Mixing in Aperiodic Flows 1999-03-29 prodigy/analogy: Analogical Reasoning in General Problem Solving 1995-01-16 Manuela M. Veloso Dynamic ML without Dynamic Types 1998-04-23 A Users' Guide To Pstswm 1995-07-02 Neural Network Applications As Inverse Transform Method Of The Acoustic Speech Signal 1996-06-25 Propulsion and Control of Deformable Bodies in an Ideal Fluid 1998-11-18 David Karger 1997-04-16 Final February1993 1994-04-17 Indexing Compressed Text 1997-09-02 On Diophantine systems coming from AC-unification of higher-order patterns: exploiting symmetries 1998-01-16 A Constraint-Based Induction Algorithm in FOL 1995-04-14 Chaotic cascades with Kolmogorov 1941 scaling 1997-04-26 Embedding Revision Programs in Logic Programming Situation Calculus 1998-09-22 Chitta Baral Goal-Based Business Process Models: Creation and Evaluation 1997-11-05 Hydrodynamic Screening And Nonequilibrium Phase Transitions In Stokesian Fluidised Beds 1998-04-19 A Common Framework for Distributed Representation Schemes for Compositional Structure 1997-11-30 Tony A. Plate Exponential Approximations In Completely Regular Topological Spaces And Extensions Of Sanov's Theorem 1997-03-03 Peter Eichelsbacher Statistical Inference of a Bivariate Proportional Hazard Model with Grouped Data 1998-07-03 Mark Yuying An A Point-based Temporal Extension of SQL 1998-08-05 David Toman A Four-Color Theorem for Periodic Tilings 1996-09-10 D. H. Huson Internet Engineering Task Force M. Handley/J. Crowcroft/C. Bormann INTERNET-DRAFT UCL/UCL/Bremen 22 Feb 1996 1999-02-08 Information Retrieval Issues 1995-05-03 Approximable Sets 1998-09-29 On-line New Event Detection and Tracking 1998-06-15 Adding a Temporal Dimension to a Logic System 1994-03-22 Automatic Differentiation, Tangent Linear Models, and PseudoAdjoints 1997-01-27 Christian H. Bischof Octree-Based Decimation of Marching Cubes Surfaces 1996-07-11 Randomized Load Balancing for Tree-structured Computation 1996-02-21 Defining the IEEE-854 Floating-Point Standard in PVS 1970-01-01 Paul S. Miner A Hierarchical Bayesian Model To Predict The Duration Of Immunity Against Hib 1998-02-11 Verification and Validation of Temporal Business Rules 1996-01-05 Clustering and Outlier Identification: Fixed Point Cluster Analysis 1998-11-19 C. Hennig On the Usefulness of Re-using Diagnostic Solutions 1999-04-06 Using Semantic Differencing to Reduce the Cost of Regression Testing 1995-11-03 David Binkley On the non-existence of homoclinic orbits for a class of infinite dimensional Hamiltonian systems 1996-05-20 Georgia Tech--atlanta On the Effect of Analog Noise in Discrete-Time Analog Computations 1997-05-28 A Comparative Study of Divergence Control Algorithms 1994-12-13 Rationale in Planning: Causality, Dependencies, and Decisions 1997-11-03 A Survey of Basic Issues of Parallel Execution on a Distributed System 1970-01-01 Linear Approximation Versus Nonlinearity 1994-06-02 A Caching Relay for the World Wide Web 1994-06-03 Steven Glassman A Novel Self-Organising Speech Production System Using Pseudo-Articulators 1997-02-27 Preprocessing Images Of Faces: Correlations With Human Perceptions Of Distinctiveness And Familiarity 1998-05-27 P. J. B. Hancock A Neural Network Model for Prognostic Prediction 1998-08-04 W. Nick Street The Entropy of Traffic Streams in ATM Virtual Circuits 1999-03-11 Lange and Wiehagen's Pattern Language Learning Algorithm: An Average-Case Analysis with respect to its Total Learning Time 1997-04-16 Thomas Zeugmann Emc Test And Measurement On Printed Circuit Boards 1970-01-01 Input buffering requirements of a Systolic Array for the Inverse Discrete Wavelet Transform 1995-09-05 Self-Checking Prover Study - Final Report 1995-04-24 The HTK Hidden Markov Model Toolkit: Design and Philosophy 1994-09-09 Sj Young Learning to Fly 1996-09-06 What Can Near Synonyms Tell Us 1998-10-06 FADBAD, a flexible C++ package for automatic differentiation - using the forward and backward methods 1996-08-15 Automatic Differentiation For PDEs - Unsaturated Flow Case Study 1997-10-10 Tables As a Paradigm for Querying and Restructuring 1996-03-04 Path Integrals, Black Holes and Configuration Space Topology 1998-02-12 M. E. Ortiz Maps Of The Molecular Emission Around 18 Evolved Stars 1994-12-02 Parts Feeding on a Conveyor with a One Joint Robot 1998-02-20 Definite Descriptions, Focus Shift, and a Theory of Discourse Interpretation 1994-07-28 Massimo Poesio CENTAUR: the system 1994-03-14 A Distributed Multimedia Architecture for Intent-Based Video Authoring and Presentation 1996-02-09 New Algorithms for the Disk Scheduling Problem 1996-05-17 Parallel Application Scheduling on Networks of Workstations 1996-02-26 Stergios Anastasiadis Hydrodynamic Screening And Nonequilibrium Phase Transitions In Stokesian Fluidised Beds 1998-04-19 The OPENET Architecture 1996-04-02 Evaluating Multimedia Interactive Arguments in the Context of Data Exploration Tasks 1998-08-14 A Note on Redundancy in Encrypted Messages 1994-10-12 Li Gong Implementation Techniques for Efficient Reflective Languages 1997-09-03 Shigeru Chiba Computing Quantitative Characteristics of Finite State Real-Time Systems 1999-01-15 A Parallel Adaptive Finite-Element Semi-Lagrangian Advection Scheme for the Shallow Water Equations 1997-10-24 Preliminary Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems 1998-04-28 Efficient Self-Maintenance of Materialized Views 1997-04-28 Nam Huyn Computing Physical Invariant Measures 1997-10-30 Gary Froyland Models for Two-Player Games in Design: An Application to Automotive Suspensions 1996-05-07 Theoretical Considerations On The Variability Of Active Galactic Nuclei 1997-03-03 Seok Jae Park Karen Zita Haigh 1996-10-30 A Sampling Semantics of Duration Calculus 1999-03-09 Improved Bounds for Acyclic Job Shop Scheduling 1998-04-07 Unique Continuation For A Class Of Higher Order Elliptic Operators 1997-05-20 Laura De Carli Trace2au Audio Monitoring Tools for Parallel Programs 1994-02-18 Finite Precision Decorrelating Receivers for Multi-User CDMA Communication Systems 1995-03-14 Bernd-peter Paris A Calculus of Substitutions for Incomplete-Proof Representation in Type Theory 1997-11-27 Learning While Filtering Documents 1998-05-12 Jamie Callan A Replication-Transparent Remote Invocation Protocol 1995-03-10 D Spin Glass and 2D Ferromagnetic XY Model: a Comparison 1997-07-04 Noise-Constrained Performance Optimization by Simultaneous Gate and Wire Sizing Based on Lagrangian Relaxation 1999-02-13 Splitting of separatrices in Hamiltonian systems with one and a half degrees of freedom 1997-04-28 Kermit: Specification and Verification 1996-06-24 James K. Huggins Security of World Wide Web Search Engines 1999-01-14 Massimo Marchiori Extraction of Rules from Discrete-Time Recurrent Neural Networks 1995-06-22 Optimization-Based Design In High-Speed Flows 1996-02-16 Trigger System Design Requirements 1997-07-31 Fitness Distance Correlation as a Measure of Problem Difficulty for Genetic Algorithms 1996-04-30 System Description: Verification of Distributed Erlang Programs 1998-04-27 Behaviour Specification of Active Objects in Open Generative Communication Environments 1996-11-21 Finding and Counting Given Length Cycles 1995-07-04 Some Applications Of The Extrinsic DistanceTo Immersed And Embedded Submanifolds 1996-04-10 Vicente Miquel On a problem of Rubel concerning the set of functions satisfying all the algebraic differential equations satisfied by a given function 1970-01-01 John Shackell The Restart/LRE Method for Rare Event Simulation 1997-03-06 Application Driven Variable Reordering and an Example Implementation in Reachability Analysis 1998-12-15 Kinodynamic Planning in a Structured and Time-Varying 2D Workspace 1998-04-09 Hadronization of 1998-05-14 Distributed Application Configuration 1997-12-17 Visual Rule Language for Active Database Modelling 1997-05-20 Potential Uses of Case-Based Reasoning in Experience Based Construction of Software Systems and Business Process Support 1996-12-09 Nonlinear Filtering Models Of Attentive Vision 1998-09-12 Accessibility in 5-Axis Milling Environment 1998-12-11 Gershon Elber Flavor-Changing Magnetic Dipole Moment and Oscillation of a Neutrino in a Degenerate Electron Plasma 1998-05-25 Hisashi Kikuchi Similarity Pyramids for Browsing and Organization of Large Image Databases 1998-08-25 Query Restart Strategies for Web Agents 1998-04-10 Prasad Chalasani Proceedings Of The Second Workshop On Logical Frameworks, Edinburgh, May 1991 1996-04-04 A Framework for Modeling Appearance Change in Image Sequences 1997-09-16 Learning Proof Heuristics By Adapting Parameters 1998-06-03 Matthias Fuchs Domain Decomposition for Kinetic and Aerodynamic Equations 1997-03-13 Klar Axel NYU/BBN 1994 CSR Evaluation 1996-01-26 Proofs of Properties about HMX 1998-07-11 Martin Sulzmann The "Conductor's Jacket": A Device For Recording Expressive Musical Gestures 1998-10-14 Causation, Explanation and Persistence 1997-02-27 Peter Grunwald Virtual Gateways: Performing Distributed Simulations in the Totem Protocol Development Environment 1994-09-18 J. Chun Multilevel Preconditioned Augmented Lagrangian Techniques for 2nd Order Mixed Problems 1997-03-05 Dowsing: A Tool Framework for Domain-Oriented Browsing of Software Artifacts 1998-06-11 Steering Three-Input Nonholonomic Systems: The Fire Truck Example 1995-01-27 Localization Near Band Edges For Random Schrödinger Operators 1997-04-26 Invertibility of Higher-Order Moment Matrices 1998-04-09 An Architecture for Optimal All-to-All Personalized Communication 1994-10-28 Coordinated Exception Handling in Distributed Object-Oriented Systems: Improved Algorithm, Correctness and Implementation 1997-05-29 Alternative Approaches for Cross-Language Text Retrieval 1997-02-03 Douglas W. Oard Murphy's Law and Computer Security 1999-03-25 Wietse Venema Parallel Raytracing: A Case Study on Partitioning and Scheduling on Workstation Clusters 1998-08-03 Experience Report: Using Formal Methods for Requirements Analysis of Critical Spacecraft Software 1996-07-26 Higher-Order Value Flow Graphs 1997-09-19 Christian Mossin On Relations Between Arrays of Processing Elements of Different Dimensionality 1997-03-12 A Business Process Driven Multidatabase Integration Methodology 1999-04-13 Dealing with the complexity of state space exploration algorithms for SDL systems 1996-05-14 Strategies for Polyhedral Surface Decomposition: An Experimental Study 1997-12-10 Astronomy And Astrophysics 1997-11-01 Structuring the Kernel as a Toolkit of Extensible, Reusable Components 1995-12-09 Asymptotic Bounds on Optimal Noisy Channel Quantization Via Random Coding 1994-07-07 Possible and Guaranteed Concurrency in CSP 1996-04-11 Virtual Reality Visualization of Accelerator Magnets 1998-05-20 Mechanized Formal Reasoning about Programs and Computing Machines 1996-09-05 Factorization And Reflexivity On Fock Spaces 1997-02-11 Real-Time Analysis-Synthesis and Intelligibility of Talking Faces 1970-01-01 HighLight: Using a Log-structured File System for Tertiary Storage Management 1994-05-21 John T. Kohl Forecasting The Levels Of Vector Autoregressive Log-Transformed Time Series 1996-12-09 Computing Spatio-Temporal Representations of Human Faces 1995-02-15 XmMol User's Manual 1998-01-14 Methodologies for the Creation of Interactive Software 1996-05-03 Judy Brown Petri Charts: an Alternative Technique for Hierarchical Net Construction 1996-11-21 Tom Holvoet Self-replication in a 2D von Neumann architecture 1997-05-16 Florent De Dinechin End-to-End Routing Behavior in the Internet 1996-06-04 Vern Paxson 2-Tangles 1998-05-14 SNOWBALL: Scalable Storage on Networks of Workstations with Balanced Load 1996-01-16 Confluence by Decreasing Diagrams 1994-03-12 Vincent Van Oostrom A Non-Homogeneous Markov Software Reliability Model with Imperfect Repair 1996-06-21 Adversarial Queueing Theory 1998-09-23 The Expressive Power of Voting Polynomials 1995-01-06 ________________________________________________________________________ 1995-10-17 High-Performance Local Area Communication With Fast Sockets 1998-02-02 SVR4UNIX Scheduler Unacceptable for Multimedia Applications 1994-12-14 Automatically Clustering Similar Units For Unit Selection In Speech Synthesis. 1997-05-27 A Hierarchical Illumination Algorithm for Surfaces with Glossy Reflection 1993-02-05 Belief Propagation and Revision in Networks with Loops 1997-11-09 Yair Weiss Ok with alignment of sentences. What about clauses? 1999-04-07 Empirical Learning of Boolean Functions Using Two-Level Logic Synthesis 1998-09-22 A Study of Two Chinese Translations of "Syntactic Structures" 1995-12-08 Doug Jones Moscow ML Owner's Manual 1998-04-20 Transfer Of Contrast Sensitivity In Linear Visual Networks 1994-10-05 Andrew B. Watson Free-Form Surface Signatures: A representation scheme for Object Registration and Recognition 1999-03-09 The Evolution of Lisp 1994-03-31 Objective Quality Estimation for Digital Images and Video Streams 1996-04-30 Norbert Gerfelder A Fuzzy-Neural Network Based on the Backpropagation Algorithm 1995-04-26 Formalization of OODB Models 1994-10-18 Gottfried Vossen Object-Oriented Specification of Information Systems: The T ROLL Language Version 0.01 1999-03-25 C-Trace: A new algorithm for reinforcement learning of robotic control. 1998-07-11 Adaptive Quadrature - Revisited 1998-09-07 Thermal and Electric Conductivities of Coulomb Crystals in Neutron Stars and White Dwarfs 1996-09-10 Project Description 1991-07-18 Reference and Representation 1996-10-17 Paul Dekker Object-based Distributed Systems - CORBA, ORBIX and Java RMI 1998-08-25 Department Of Computer Science A Natural Term Language 1995-12-07 Integrating time into Discourse Representation Theory: A computational approach 1996-11-21 Diego Moll'a Aliod Load Balancing in Large Networks: A Comparative Study 1994-08-01 Designated Verifier Proofs and Their Applications 1997-08-13 On the Complexity of Protein Folding 1998-04-20 Optimization Issues in Multimedia Systems 1997-05-24 A Formal Specification of the PVM Architecture 1996-06-24 Egon Borger Performance Analysis of Communication Systems Formally Specified in SDL 1998-02-24 Priority Queues and Multisets 1997-12-26 Improving Timeliness in Real-Time Secure Database Systems 1996-01-23 On Maximum Norm Estimates for Ritz-Volterra Projection With Applications to Some Time Dependent Problems 1998-06-09 Yanping Lin Learning an Intersection of a Constant Number of Halfspaces over a Uniform Distribution 1994-04-15 Multiprocessor Sparse Svd Algorithms And Applications 1994-06-03 Michael Waitsel Berry Machine Learning 1995-12-06 On Intelligent Access to Heterogeneous Information 1970-01-01 Formalizing Multimedia QoS Constraints Using Actors 1997-04-15 A Note on Fairness in I/O Automata 1996-07-19 Locking and Latching in a Memory-Resident Database System 1995-03-09 Apollonian Tiling, the Lorentz Group and Regular Trees 1995-11-03 Testing Linear Forms of Variance Components By Generalized Fixed-Level Tests 1998-12-16 Boris Weimann Measuring Memory's Resistance to Operating System Crashes 1998-02-05 Flexible and Recoverable Interaction Between Applications and Active Databases 1994-09-28 A Priori Error Estimates For Numerical Methods For Scalar Conservation Laws. Part III: Multidimensional Flux-Splitting Monotone Schemes On Non-Cartesian Grids 1997-05-20 Practical Parsing of Generalised Phrase Structure Grammars 1995-04-17 J. Fisher Long-Term Stability In Hadron Colliders In Presence Of Synchrotron Oscillations And Tune Ripple 1998-06-29 Partial Inlining 1997-11-05 Simulation of Coupled Transmission Lines by Multidimensional Wave Digital Filters 1998-12-22 Herbert Krauss Review of Particle Physics: C. Caso 1998-06-05 Taking connectionism seriously: The Vague Promise of Subsymbolism and an Alternative. 1995-12-07 Paul F. M. J. Verschure Static and Runtime Algorithms for All-to-Many Personalized Communication on Permutation Networks 1997-01-27 Performance Gains Using Subpages for Cache Coherency Control 1997-09-29 Unknown 1998-01-13 A Gentle Hypercube Vs. Cube-Connected Cycles: A Topological Evaluation 1970-01-01 Srikanth Kambhatla Team-Oriented Programming: Preliminary Report 1996-02-20 Gil Tidhar Transparent Adaptive Parallelism on NOWs using OpenMP 1999-01-27 Bayesian Calibration of Complex Computer Models 1998-09-15 Marc C. Kennedy Anthony O'hagan Parameter Estimation For Periodic Discrete Event Processes 1996-12-06 Modeling Property Intercorrelations in Conceptual Memory 1997-01-31 Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation 1999-04-03 Passage-Based Refinement MultiText Experiments for TREC-6 1998-11-25 Parallel Transport Approach to Curve Framing 1995-02-23 Testing Environment For Innovative Transport Protocols 1999-04-14 Packet-Pair Flow Control 1996-09-04 Srinivasan Keshav On Weak Circular Squares in Binary Words 1997-12-18 An Abstract Object Model of an Animal's Environment 1995-11-19 Bohdan Durnota Numerical Evaluation of SDPA SemiDefinite Programming Algorithm. 1998-10-17 ET++SwapsManager: Using Object Technology in the Financial Engineering Domain 1999-04-13 Subsorting and Higher-order Functions CFI Language Design Study Note 1996-05-14 On Using Network Memory to Improve the Performance of Transaction-Based Systems 1998-05-25 On the Power of Bio-Computers 1995-08-28 Ascending And Descending Conditional Independence Relations 1995-08-15 Dynamic Management Of Heterogenous Resources 1998-01-14 Modeling the Behaviour of Interacting Autonomous Intelligent Agents 1998-07-01 J. J. Collins Visualization, Execution Control and Replay of Massively Parallel Programs within Annai's Debugging Tool 1996-05-02 Topology Optimization Of Sheets In Contact By A Subgradient Method 1995-11-02 Object Oriented Parallel Computation for Plasma Simulation 1995-09-13 Collaborative Interface Agents 1997-04-03 Randomized Wait-Free Concurrent Objects Extended Abstract 1997-09-03 Maurice Herlihy Relic Gravitational Waves from String Cosmology 1998-05-13 Molecular Dynamics For 400 Million Particles With Short-Range Interactions 1996-03-29 Performance of TCP extensions on noisy high BDP networks 1998-09-20 Study of a Simulation Tool To Determine Achievable Control Dynamics and Control Power Requirements With Perfect Tracking 1998-08-24 Aaron J. Ostroff Performance of a Simple Cooperative Individual Situation Assessment CISA with Respect to Information Sharing Strategy Metrics 1997-07-23 A Semantic Characterization of Locative PPs 1997-09-04 3D-Graphics for Iterated Integrals 1998-07-04 Supporting Combined Human and Machine Planning: The Prodigy 4.0 User Interface Version 2.0* 1997-09-16 Optimum Design Of Serial Measurement Trees 1999-02-26 Heuristic and Randomized Optimization for the Join Ordering Problem 1997-12-09 A Multiresolutional Region Based Segmentation Scheme for Stereoscopic Image Compression 1995-02-23 An Efficient and Provably Correct Algorithm for the Multiscale Estimation of Image Contours By Means of Polygonal Lines 1998-12-01 Adaptive Probabilistic Networks with Hidden Variables 1997-04-09 Design and Evaluation of a System for Vision-Based Vehicle Convoying 1998-01-26 Task and Spatial Frequency Effects on Face Specialization 1998-01-05 Differential Flatness of Mechanical Control Systems: A Catalog of Prototype Systems 1970-01-01 A Geometry Of Real Polynomial Mappings Of The Plane And The Pinchuk Example 1998-12-02 Shapely Types and Shape Polymorphism 1998-03-11 C. Barry Jay Report on the 5 1997-07-24 Continuity Of The Hausdorff Dimension For Invariant Subsets Of Interval Maps 1998-01-27 P. Raith Support for Network-Wide Synchronous Communication via the Active Reconfiguration of Transputer Links 1996-05-22 Alan Murta An Introduction to Variational Methods for Graphical Models 1998-11-06 Vector Meson Masses in Chiral Perturbation Theory 1997-12-11 Re-quantization Two-Layer MPEG-I Coding Algorithm 1992-09-22 A Column Generation Based Decomposition Algorithm for a Parallel Machine Just-In-Time Scheduling Problem 1998-03-31 The Improved Iterative Scaling Algorithm: A Gentle Introduction 1998-01-13 A Gentle Quality of Service and Scientific Workflows 1996-09-20 Characteristic Cycles Of Local Cohomology Modules Of Monomial Ideals 1998-03-20 Josep Alvarez Montaner Towards a Society of Affect-driven Agents 1998-08-26 Hierarchies of Autoassociators 1996-05-28 Modeling Multi-Dimensional Data and Control flow 1994-06-08 Parameterized Heuristics for Intelligent Adaptive Network Routing in Large Communication Networks 1998-04-29 Automating Mission Scheduling for Space-Based Observatories 1998-06-27 First-Order Future Interval Logic 1995-12-05 Cosmic Rays At Extreme Energies 1997-04-10 K. G. Gibbs Rigidity Of Tame Rational Functions 1998-10-29 Fast Polygonal Approximation of Terrains and Height Fields 1995-09-19 On the Approximability of Minimizing Nonzero Variables Or Unsatisfied Relations in Linear Systems 1997-12-15 Towards A Size Measurement Framework For Object-Oriented Specifications 1998-10-02 Geert Poels Cooperation by Observation - The Framework and Basic Task Patterns 1996-02-06 Making Systems Sensitive to the User , s Time and Working Memory Constraints 1998-10-30 Recursive Definitions Revisited 1995-10-10 Intersection graphs of noncrossing arc-connected sets in the plane Extended Abstract 1996-09-15 Weight Averaging for Neural Networks and Local Resampling Schemes 1996-05-29 Joachim Utans Quantized chaotic dynamics and non-commutative KS entropy 1997-04-26 An Argument for Simple COMA 1994-12-13 Fast Computation of Sparse Datacubes 1997-09-18 Robust Computation of Optical Flow in a Multi-Scale Differential Framework 1997-02-25 Learning Internal Representations in an Attractor Neural Network With Analogue Neurons 1995-12-21 Daniel J. Amit Involving Fuzzy Concepts In Active Mobile Databases 1998-07-04 Effective Continuous-Time Formulation for Short-TermScheduling: II: Continuous and Semi-continuous Processes 1999-03-08 Columbia Digital News System An Environment for Briefing and Search over Multimedia Information 1997-05-01 A New Parallel Chasing Algorithm For Transforming Arrowhead Matrices To Tridiagonal Form 1998-09-30 Suely Oliveira Efficient Techniques for Maintaining Multidimensional Keys in Linked Data Structures Extended Abstract 1999-04-16 A Case Study of Code Generator Generation for Embedded SIMD Computers 1996-03-09 A modified structured central scheme for 2D hyperbolic conservation laws 1998-06-11 Spline Wavelets Of Small Support 1996-12-20 Debao Chen A Database Server Architecture for Agile Manufacturing 1998-08-31 Designing a Video Rate Edge Detection ASIC 1999-02-10 Type Checking Classes in Object-Z to Promote Quality of Specifications 1995-11-19 Finite Limits and Lower Bounds for Circuits Size 1996-08-23 Stasys Jukna Effective Strategies for Enumeration Games 1998-11-23 A Flexible Meta-Wrapper Interface for Autonomous Distributed Information Sources 1998-09-05 DISTRIBUTED BLAS User's Guide 1997-05-26 MIME Multipurpose Internet Mail Extensions Part One: 1993-12-21 On the Moduli Space of a Spherical Polygonal Linkage 1998-03-18 A Change Detection and Segmentation Toolbox for Matlab 1996-03-14 Fredrik Gustafsson Dynamic Graphics in a GIS: A Link between ARC/INFO and XGobi 1996-06-27 Locomotion Control Cycles Adapted For Disabilities In Hexapod Robots 1998-04-10 Centre-Frequency Adaptive Iir Temporal Filters For Phase-Based Image Velocity Estimation 1999-01-15 A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications 1998-03-19 Robust Shape from Shading 1995-05-02 A Case Study of Multi-Threaded Gröbner Basis Completion 1996-05-22 Probabilistic Modelling of a Bio-Inspired Collective Experiment with Real Robots 1998-01-22 Density Enhancement of a Neural Network Using FPGAs and Run-Time Reconfiguration 1995-03-20 A Memory Model for an Intelligent System for the 21st Century 1995-07-25 Isabelle Bichindaritz Khazana: An Infrastructure for Building Distributed Services 1998-03-21 Fast Fluid Registration of Medical Images 1996-12-03 Morten Bro-nielsen Run-time Code Generation and Modal-ML 1998-05-13 Brain-Structured Connectionist Networks That Perceive And Learn 1998-04-29 Qcd Equations For Generating Functionals And Multiparticle Correlations 1998-05-15 Approximation Techniques for Average Completion Time Scheduling 1996-10-03 Explicit Substitution: on the Edge of Strong Normalization 1997-11-11 A Technique for High-Speed, Fine-Resolution Pattern Generation and its CMOS Implementation 1995-02-06 Exact Risk Analysis of Wavelet Regression 1995-08-09 Joint Design of Fixed-Rate Source Codes and Multiresolution Channel Codes 1998-05-04 Network-Based Multicomputers: An Emerging Parallel Architecture 1998-01-23 Two Generalizations of Koml'os' Theorem with Lower Closure-Type Applications 1996-06-24 Poincar ' E--Invariant Markov Processes And Gaussian Random Fields On Relativistic Phase Space 1997-04-26 Clustering Properties of 1997-08-25 Renormalization Group results for lattice surface models. 1997-05-20 Emilio N. M. Cirillo A System for Parallel Media Processing 1998-09-07 Access Order to Avoid Inter-Vector-Conflicts in Complex Memory System 1995-03-03 Nonlinear Wavelet Estimation of Time-Varying Autoregressive Processes 1997-08-13 REDLOG: Computer Algebra Meets Computer Logic 1997-11-07 A Theoretical Model for Routing Complexity 1998-11-23 Analysing Inconsistent Specifications 1996-08-13 An Active Database Framework for Adaptive Mobile Data Access 1999-04-20 Asymptotic Properties Of Schweppe's Likelihood Ratio Detector 1999-05-04 Optimal Linear Regression on Classifier Outputs 1997-09-27 Shape-based Illustration Indexing and Retrieval Some First Steps 1996-07-04 Autonomous Probing Robots for the detection of abandoned landmines 1997-06-05 Transparent Process Migration: Design Alternatives and the Sprite Implementation 1994-07-14 Fast Incremental Planarity Testing 1996-04-05 Jeffery Westbrook An Algorithm for Rate Allocation in a Packet-Switching Network with Feedback 1995-09-19 Anna Charny Machine Vision for Obstacle Detection and Ordnance Recognition 1996-10-09 Larry Matthies Incorporating Knowledge in Natural Language Learning: A Case Study 1998-06-23 Mesoscopic Analysis of Self-Evolution in an Artificial Chemistry 1998-04-22 Magnetic Confinement And Screening Masses 1998-05-14 MAPS: Multiresolution Adaptive Parameterization of Surfaces 1998-05-14 New Mechanism of Magnetoresistance in Bulk Semiconductors: Boundary Condition Effects 1996-03-13 Learning with Regularizers in Multi-layer Neural Networks 1999-02-18 Scheduled Hot-Potato Routing 1998-06-18 Probabilistic Algorithms for Efficient Grasping and Fixturing 1996-12-18 QUICK - A Graphical User Interface to Multiple Databases 1996-05-24 A Fast Solution Method For Three-Dimensional Many-Particle Problems Of Linear Elasticity 1997-10-24 Architectural and Communication Issues in Designing Heterogeneous Parallel Systems with Optical Interconnection 1995-07-19 Amplification of Incoherent Light With Wide Spectrum 1998-02-12 Quantifying the Multi-Level Nature of Tiling Interactions 1998-08-04 From Ukkonen to McCreight and Weiner: A Unifying View of Linear-Time Suffix Tree Construction 1996-04-18 On Superspherical Graphs 1997-11-18 Coalgebraic Theories of Sequences in PVS 1997-07-03 Proteus: An Adaptable Presentation System for a Software Development and Multimedia Document Environment 1995-08-27 Ethan Vincent Munson A Unifying Framework for ALP, CLP and SQO 1997-10-27 A Menagerie of Non-Finitely Based Process Semantics over BPA - From Ready Simulation to Completed Traces 1999-01-13 Time and Space Profiling for Non-Strict, Higher-Order Functional Languages 1996-11-13 CLASSIC: A Structural Data Model for Objects 1997-09-25 Mapping Class Groups, Characteristic Classes and Bernoulli Numbers 1994-04-08 Guido Mislin A Pattern for Separating Assembly and Processing 1998-04-20 Stephen P. Berczuk Global Trajectory Planning for Fault Tolerant Manipulators 1995-11-20 Approximation Algorithms for the Fixed-Topology Phylogenetic Number Problem 1970-01-01 A Note On High Order Schemes For The One Dimensional Wave Equation 1996-08-27 Jukka Tuomela State Space Orderings For Gauss-Seidel In Markov Chains Revisited 1999-03-28 Tu Grul Dayar Cross-Language Text Retrieval Research in the USA 1997-06-13 Douglas W. Oard Predicting Software Reliability from Testing Taking into Account Other Knowledge about a Program 1997-03-12 Chebyshev Pseudospectral Collocation for Parabolic Problems With Nonconstant Coefficients 1970-01-01 Symbolic Exploration of Transition Hierarchies 1999-01-05 Compositional Verification by Model Checking for Counter-Examples 1998-09-05 Structural Shifts Deterministic Regime Switching in Aggregate Data Analysis 1999-02-07 Wendy K. Tam Cho Load Balancing and Resource Management in the ADAM Machine 1995-01-30 Olivier C. Maquelin Efficient computation of full Lucas sequences 1998-11-27 A Faster Algorithm for Approximate String Matching Extended Abstract 1997-12-06 Recent Developments Concerning Entropy And Approximation Numbers 1997-06-26 David E. Edmunds Ion Diode Simulation with a Finite-Volume PIC Approach for the Numerical Solution of the Maxwell-Lorentz System 1997-02-20 Model Checking Generic Container Implementations 1998-11-23 HPF: A Comparison of Performance and Programming Style 1995-12-05 Monte Carlo Localization: Efficient Position Estimation for Mobile Robots 1999-04-23 The Abc Conjecture Implies Roth's Theorem And Mordell's Conjecture 1999-03-08 Machiel Van Frankenhuysen The Text Encoding Initiative: Flexible and Extensible Document Encoding 1996-01-02 On Key Agreement and Conference Key Agreement 1997-07-21 Colin Boyd On the Composition Problem for OBDDs With Multiple Variable Orders 1998-06-26 Quantum Methods For Interacting Particle Systems Ii, Glauber Dynamics For Ising Spin Systems 1997-05-27 M. Gianfelice Neuro-Genetic Truck Backer-Upper Controller 1997-04-25 Microscopic Reversibility And Macroscopic Behavior: Physical Explanations And Mathematical Derivations 1997-04-26 Joel L. Lebowitz Deliberate Robbery, or the Calculating Samaritan 1998-05-19 The Design and Evaluation of a High-Performance Earth Science Database 1970-01-01 Recognizing Text Plans to Use 1994-06-10 Susan M. Haller Wavelets Applied to Lossless Compression and Progressive Transmission of Floating Point Data in 3-D Curvilinear Grids 1996-07-10 Effects of Misconception on Reciprocative Agents 1998-06-12 Robust Real-Time Face Tracking and Gesture Recognition 1997-04-21 Discriminant Analysis by Gaussian Mixtures 1996-05-30 A Counterexample to the 0-1 Law for Existential Monadic Second-Order Logic 1996-02-21 Matt Kaufmann Clause-Logical Aspects of the Smyth Powerdomain Extended Abstract 1998-10-23 Writing Positive/Negative-Conditional Equations Conveniently 1998-07-06 A Probabilistic Poly-Time Framework for Protocol Analysis 1998-07-16 A Multistage Stereo Method Giving Priority to Reliable Matching 1997-06-04 Object-Oriented Interfaces in the Mach 3.0 Multi-Server System 1992-03-31 Simulating Expansions Without Expansions 1995-11-22 Making Meta-Object Protocols Practical for Operating Systems 1996-04-23 Unifying the User and Kernel Environments 1997-11-04 An Application of Machine Learning to Anomaly Detection 1997-06-19 The Necessity For Check-On-Commit In The Protection Of The Integrity Of A Database 1995-12-11 File System Logging Versus Clustering: A Performance Comparison 1994-12-02 State-Based Paging/Registration: A Greedy Technique 1999-03-16 C. Rose Subdivision Tree Representation of Arbitrary Triangle Meshes 1998-01-19 Optimal Deterministic Sorting and Routing on Grids and Tori with Diagonals 1998-12-14 First-Order Signals in Compact QED with Monopole Suppressed Boundaries 1998-05-12 Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints 1970-01-01 Michael Leuschel The Inherent Cost of Strong-Partial View-Synchronous Communication 1995-11-30 A Programmer's Reduction Semantics for Classes and Mixins 1998-03-28 M.I.S.H.U.N.N. - Multiple Integration of Sensors with a Hybrid Architecture Utilizing Neural Networks 1993-10-30 Model-Based Techniques For Noise Robust Speech Recognition 1995-12-07 Predictions of Two- and Three-Body Negative Ion States 1970-01-01 F. Robicheaux Alternative N = 4,0 Superstring and sigma-Models 1998-05-23 Hitoshi Nishino Passive Smoking in the Workplace:Classical and Bayesian Meta-analyses 1995-10-03 - Extendible Hashing in a Distributed Environment 1997-11-14 Verifying Process Algebra Proofs in Type Theory 1994-10-12 M. P. A. Sellink Next-Generation Multimedia Messaging 1998-05-08 Fixation Behavior in Observation and Imitation of Human Movement 1999-02-06 Hub4 Language Modeling Using Domain Interpolation and Data Clustering 1999-02-05 Fast, Randomized Join-Order Selection - Why Use Transformations? 1996-02-15 How Reductions to Sparse Sets Collapse the Polynomial-time Hierarchy: A Primer 1994-10-08 Paul Young A Kleene Theorem for Timed Automata 1997-04-30 Sciddle Version 4.0 - User's Guide 1999-04-07 Intelligent Caching for Information Mediators: A KR Based Approach 1998-05-13 Weakly Complete Problems are Not Rare 1994-09-07 David W. Juedes An Efficient Multiaccess Protocol For Wireless Networks 1998-03-27 Some analytical properties of the multidimensional continuous Mroz model of plasticity. 1998-01-26 Subspace Identification of Bilinear Systems Subject to White Inputs 1996-09-27 M. P. Owen 1997-07-25 M. P. Owen Simulating Wide-area Replication 1996-09-12 Sape J. Mullender On the Efficient Discretization of Integral Equations of the Third Kind 1998-01-20 Compilation of Recursive Two-Literal Clausesinto Unification Algorithms 1998-01-08 Hans Jürgen Ohlbach Ffl Ffl Ffl 1998-06-05 The RBSE Spider - Balancing Effective Search Against Web Load 1994-06-17 David Eichmann Institut d'Informatique, Universit'e de Fribourg, Chemin du Mus'ee 3 CH-1700 Fribourg, Suisse T'el. +41/37/826550, FAX +41/37/826551 e-mail: 1996-03-26 Local Properties of Query Languages 1997-03-30 Performance Measurement and Modeling with the Lost Cycles Toolkit 1995-06-30 -Periodic Homotopy Groups of 1998-10-22 Donald M. Davis Formulation and Solution of Structured Total Least Norm Problems for Parameter Estimation 1999-01-07 The Use of Lemmas in the Model Elimination Procedure 1997-02-27 Retrieval as Exploration of Large Multimedia Document Bases 1998-11-30 A Simulation-Intensive Approach for Checking Hierarchical Models 1996-03-06 On Programming Atomic Actions in Ada 95 1997-03-04 The Recursive Aggregate Interaction Matrix Algorithm for Multiple Scatterers 1996-04-03 The Call-by-Need Lambda Calculus Unabridged 1999-02-19 Penina Michlin Prof. Jerry Cowen Physics and Astronomy Room 1 MSU 517-349-3708 Summer of 1998 August 13, 1970-01-01 Architecture and Implementation of a Single-Board Desktop Supercomputer 1997-07-08 The Turing Closure of an Archimedean Field 1998-03-18 Fully Adaptive Multigrid Methods 1992-02-18 Gamma Gamma 1998-06-05 An Algorithm for the Stochastic User Equilibrium Problem 1995-09-19 Electronic Mathematics Journals 1995-10-20 Mark Steinberger Modeling Skewed Distributions Using Multifractals and the `80-20 Law' 1997-09-11 A Semantics of Introspection in a Reflective Prototype-Based Language 1998-06-10 Jacques Malenfant On-Line Learning with Restricted Training Sets: Exact Solution as Benchmark for General Theories 1998-12-18 Ubiquitous Devices United: Enabling Distributed Computing Through Mobile Code 1998-11-24 Cluster-Based Probability Model and Its Application to Image and Texture Processing 1997-03-19 Towards Database Optimization by Evolution 1994-05-02 A Brief Comparison Of Some Evolutionary Optimization Methods 1996-02-21 A. J. Keane P-Selective Sets and Reducing Search to Decision vs. Self-Reducibility 1994-12-29 Connecting Scientific Programs and Data Using Object Databases 1994-03-17 Using Stochastic Methods to Guide Search in CLP: a Preliminary Report 1997-07-03 Non-bicritical Critical Snarks 1999-04-21 Eckhard Steffen An Animation Tool for Supporting Specification-Based Software Architectures 1996-06-28 Application Of Temporal Neural Networks To Source Localisation 1995-01-31 Brigitte Colnet Behavioural Theories 1996-02-14 Michel Bidoit Type Inference for Recursively Constrained Types and its Application to OOP 1996-04-04 MARS: WWW based Scalable, Interactive Multimedia Recording and Playback Services 1997-03-24 On the Dimension of Multivariate Piecewise Polynomials 1997-12-07 Peter Alfeld Octonions: E 8 Lattice to Lambda 16 1998-05-23 Geoffrey Dixon Particles in Liquids 1998-03-10 Stefan Schwarzer Behaviour Of Interfaces In A Diffusion-Absorption Equation With Critical Exponents 1999-05-06 Behaviour Specification of Parallel Active Objects 1997-06-05 Space-time dimension, Euclidean action and signature change 1998-05-14 Franz Embacher Task-Oriented Generation of Visual Sensing Strategies in Assembly Tasks 1995-03-02 Jean-Eric Pin and Pascal Weil LIAFA, CNRS, Universit'e Paris VII, 2 place Jussieu, 75251 Paris Cedex 05, FRANCE 1998-02-23 Automatic Audio Content Analysis 1996-05-13 Survey of Selected Groupware Applications and Supporting Platforms 1995-03-10 A Globally Valid Continuous-Time GPC Through Successive System Linearisations 1998-09-24 Logic and Fuzzy Petri Nets 1997-07-18 Janette Cardoso A Generalization of Binomial Queues 1994-11-22 Rolf Fagerberg Fractional Step Methods Applied to a Chemotaxis Model 1997-01-29 Explicit Maintenance of Genetic Diversity on Genospaces 1997-02-13 Crystalline Computation 1998-04-10 Rotation, Scale And Translation Invariant Digital Image Watermarking 1999-01-19 Synthesizing Control Code for Achieving State Targets in Composed Systems 1997-03-14 Characterising Plans as a Set of Constraints - the I-N-OVA Model - A Framework for Comparative Analysis 1995-05-25 Austin Tate Problem-solving Method Reuse and Assembly: From Clinical Monitoring to Traffic Control 1998-05-26 Martin Molina Meta-ElGamal signature schemes using a composite module 1995-02-17 MGCG Method: A Robust And Highly Parallel Iterative Method 1998-11-05 Osamu Tatebe Critical Scattering and Two Photon Spectra for a Quark/Meson Plasma 1997-05-12 Charmonium production at the LHC 1998-05-25 K. Sridhar Alternating Strategies for Sequential Circuit ATPG 1999-04-20 Toward a Virtual Marketplace: Architectures and Strategies 1998-02-04 Power and Area Estimation/Optimization in Behavioral Synthesis 1999-03-25 Jun Dong Cho Using an Explicit Teamwork Model and Learning in RoboCup: An Extended Abstract 1998-07-11 Discrete Pattern Matching Over Sequences And Interval Sets 1996-05-01 Efficient Debugging with Slicing and Backtracking 1996-04-05 Abductive Completion of Plan Sketches 1997-04-02 Karen L. Myers Multidisciplinary scenarios in Software/Hardware Engineering, Object oriented co-specification of complex systems 1997-12-22 Generation of Conflict Resolution Maneuvers for Air Traffic Management 1997-01-22 Allocation Policies for Application-Controlled File Cache Management 1997-06-27 Pei Cao Generating Specialised Update Procedures Through Partial Deduction of the Ground Representation 1970-01-01 Nonmonotonic Reasoning with Multiple Belief Sets 1996-05-15 A Contextual Blind Separation Of Delayed And Convolved Sources 1997-02-05 Discretization And Weak Invariants 1995-01-18 B. Leimkuhler The Internet Worm Program: An Analysis 1988-11-29 Eugene H. Spafford Camera Calibration In A Hazardous Environment Performed In Situ With Automated Analysis And Verification * 1995-10-13 Analysis and Numerical Solution of Control Problems in Descriptor Form 1999-02-04 ADAPTOR Users Guide Version 6.0 1998-06-25 A Continuum of Minimal Pairs of Compact Convex Sets which are not Connected by Translations 1996-06-24 Diethard Pallaschke Integrated Delay Analysis of Regulated ATM Switch for Real-Time Applications 1998-07-29 Joseph Kee-yin Approximate Dictionary Queries 1996-03-21 Gerth Stølting Brodal Some New Aspects Of Bimodal Fission In 1998-05-25 Maintaining Behavioral Consistency during Schema Evolution 1998-11-13 A Monte Carlo Approach for Power Estimation 1995-12-08 Robust Stabilization of Tone Reproduction Curves for the Xerographic Process 1998-06-17 Computing the Largest Inscribed Isothetic Rectangle 1995-04-10 Type Directed Cloning for Object-Oriented Programs 1995-08-16 Querying Semistructured Heterogeneous Information 1996-06-27 GATE: An Environment to Support Research and Development in Natural Language Engineering 1998-09-23 Receptive Fields for Vision: from Hyperacuity to Object Recognition 1995-09-28 Shimon Edelman A Layered Architecture for Office Delivery Robots 1997-08-28 Beyond Interface Builders: Model-Based Interface Tools 1994-02-11 Efficient On-Line Trace Driven Simulation of Parallel Computer Architectures 1997-09-24 Probabilities in Action Systems 1997-02-24 Ramsey-Type Results for Geometric Graphs 1997-04-17 The Use of Fuzzy Connectives to Design Real-Coded Genetic Algorithms 1996-02-01 Analysis of n-dimensional Quadtrees Using the Hausdorff Fractal Dimension 1996-05-10 The Linux Emacspeak HOWTO 1998-04-26 Detection of Complex Coincidences Using Coupled Learning Rules 1998-03-23 On the Equivalence Between the Support Vector Machine for Classification and Sparsified Fisher's Linear Discriminant 1998-07-16 A. Amnon Shashua Implementation and validation methods applied to SSCOP 1998-12-17 Dynamics of Synaptic Transfer in Living and Simulated Neurons 1995-02-13 Derivation of a thermodynamic closure relation in the isothermal-isobaric ensemble using the quasi-Gaussian entropy theory 1998-01-13 Evolutionary Artificial Neural Networks 1970-01-01 Xin Yao Com S476/576X Notes 2 Basic Path Planning for a Point Robot 1998-02-27 Steve Lavalle Speech Processing Using Artificial Neural Networks 1997-03-14 Analysis of a simple, effective frequency estimator based on Prony's method 1999-01-12 Self-Stabilization for Network Protocols 1997-02-12 A New Robust Operator for Computer Vision: Theoretical Analysis 1996-02-13 Charles V. Stewart An Analytical and Experimental Investigation of a Jet Pipe Controlled Electropneumatic Actuator 1998-07-28 Dynamic Backtracking 1995-07-27 Matthew L. Ginsberg Equivariant Resolution Of Singularities In Characteristic 0 1997-03-07 The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning 1998-01-30 Alan M. Frisch An Overview of the Exotica Research Project on Workflow Management Systems 1995-10-03 The OSPF Specification 1989-10-31 Speech Recognition using Neural Networks 1995-08-21 Joe Tebelskis Fast Estimation of Diameter and Shortest Paths without Matrix Multiplication 1998-04-10 On-Line Warehouse View Maintenance 1997-03-10 Variable Length Path Branch Prediction 1998-07-17 Robust Image Communication Using Subband Coding and Multilevel Modulation 1996-06-27 A Causal Calculus for Statistical Research 1996-01-11 Mathematical study of very high voltage power networks I: The optimal DC power flow problem 1994-11-29 Weyl groups of disconnected Lie groups 1995-08-21 Karl-hermann Neeb Eigenvalues and Bands Imbedded in the Continuous Spectrum for the System of Resonators and Waveguide: Solvable Model 1997-05-05 The Influence of Dynamic Shadows on Presence in Immersive Virtual Environments 1999-05-09 On Finding Optimal Discretizations for Two Attributes 1999-04-05 Higher Dimensional Continued Fractions 1998-12-03 V. I. Arnold Note on a Generalized Sylvester Equation 1998-09-05 G. W. Stewart An Efficient Algorithm for the Optimal Linear Schedule of Uniform Dependence Algorithms 1998-04-14 A Linear Algebraic Reconstruction of Majorization 1997-09-18 Database Programming in Transaction Logic 1993-07-13 Survey: Practical Applications of Constraint Programming 1997-11-13 On-Line Rankings of Graphs 1997-11-19 WebWiseTclTk: A Safe-Tcl/Tk-based Toolkit Enhanced for the World Wide Web 1998-06-22 Genetic Algorithms Applications to Fuzzy Logic Based Systems 1996-02-01 Program Optimization for Concurrent Multithreaded Architectures 1997-12-19 Operating System Support for Easy Development of Distributed File Systems 1998-08-20 Optimal Entropy Coding in Image Subband Coders 1995-06-06 The APHID Parallel alpha beta Search Algorithm 1996-08-21 Nonlinear S-transform 1997-05-15 Kiosks for Tourists: Heterogeneous Distributed Database Access for Multimedia Information Presentation 1997-07-14 Michael Wilson Instructions for the Preparation of a Camera-Ready Manuscript 1997-04-29 Nomen Nescio Medically Motivated Testbed for Reinforcement Learning in Neural Architectures 1998-02-05 The Difference All-Difference Makes 1999-04-21 InterNetNews: Usenet transport for Internet sites 1997-03-27 Linking ArcView 3.0 and XGobi: Insight Behind the Front End 1998-07-24 Distributed Center Location Algorithm for Fault-Tolerant Multicast in Wide-Area Networks 1998-11-30 k-k Sorting on the Multi-Mesh 1999-04-09 Symbolic Computation in System Simulation and Design 1995-05-04 Variational Methods 1997-04-10 A Fast Descent Method for the Hydro Storage Subproblem in Power Generation 1996-12-16 Matthias Peter Nowak A Hybrid Method for Low Reynolds Number Flow Past an Asymmetric Cylindrical Body 1999-04-20 Robust Control Approaches for a Two-Link Flexible Manipulator 1998-04-30 Toward Scalability in ASL Recognition: Breaking Down Signs into Phonemes 1998-11-17 Internal Type Theory 1996-10-14 Peter Dybjer A Partial Linearization Method for the Traffic Assignment Problem 1995-09-19 Parallelizing I/O Intensive Applications for a Workstation Cluster: a Case Study 1994-02-14 Detecting Nonlinearities In Speech Sounds Using The Bicoherence 1997-02-26 Unification for Infinite Sets of Equations Between Finite Terms 1997-04-10 Wan Fokkink Text-Independent Speaker Identification Based on Small Training Data and Fast Search Algorithms 1997-01-01 Making a Dataparallel Language Portable for Massively Parallel Array Computers 1997-09-26 Unconstrained Handprint Recognition Using a Limited Lexicon 1994-04-09 Michael D. Garris A Temporal Foundation of Video Databases 1996-07-07 Determination of 1997-08-27 Lab Exercise: Artificial Life as a Means of Learning About Biological Systems or "Bird Brains" 1997-11-09 Third AMAST Workshop on Real-Time Systems Proceedings 1997-01-15 Amast Workshop Heap Management in Hardware 1998-07-13 Ioannis Mavroidis Computation by `While' Programs on Topological Partial Algebras 1998-02-04 in grace, and in the knowledge of our Lord and Saviour Jesus Christ. Peter 2, 3:18a 1994-07-06 Implementation of Monetary Policy in a Regime with Zero Reserve Requirements 1998-07-13 Kevin Clinton The Search for 1998-01-22 S. Frandsen High Performance Fortran Language Specification 1996-04-01 Towards a Grand Unified Framework For Mobile Objects Extended Abstract 1998-08-27 Quasilocality of Projected Gibbs Measures through Analyticity Techniques 1997-04-26 J'ozsef Lorinczi Syntactic Analysis of Hebrew Sentences 1998-01-09 Induced Isomorphisms Of Certain Ternary Semigroups 1995-11-16 Planning and Reacting in Uncertain and Dynamic Environments 1994-12-08 Towards Intelligent Virtual Environment for Training Medical Doctors in Surgical Pain Relief 1999-03-27 Vladik Kreinovich Design Considerations for Integrated Proxy Servers 1999-04-02 Behaviour Specification of Parallel Active Objects 1998-08-03 Hyperbolic Planes 1997-09-26 Bruce Hunt MIME Multipurpose Internet Mail Extensions: 1992-06-09 Polution Emissions Optimization Of Hydro-Thermal Systems 1997-06-06 Alvarez Vigil A Feature Subset Selection Using A Genetic Algorithm 1998-01-27 Motion Recovery From Image Sequences: Discrete Viewpoint vs. Differential Viewpoint 1998-04-01 E-Unification for Subsystems of S4 1999-03-29 Renate A. Schmidt Using Multiple Cues for Controlling an Agile Camera Head 1996-10-21 Acid/hnn: Clustering Hierarchies Of Neural Networks For Context-Dependent Connectionist Acoustic Modeling 1998-11-26 The Load Distribution Problem in a Ring of Processors 1998-03-09 Francis C. M. Lau GAMMA: Architecture, Programming Interface and Preliminary Benchmarking 1997-02-09 Giovanni Chiola Critical Technology, pp. 545-552 Printed in Korea, all rights reserved. ISBN-882345-04-5, $ 10.00+00 Copyright c 1997-12-03 A Formal Approach to Parallelizing Compilers 1997-04-15 Multiuser Detector Based On Maximum Signal-Interference And Noise Ratio For Synchronous Cdma System 1998-10-20 An Annotated Bibliography on Real-Time Database Systems 1996-03-20 Ozgur Ulusoy Spiking Your Caches 1994-03-10 Integration of Existing Programs into CORBA 1997-08-12 Ansgar Radermacher Customizing Distributed Search Among Agents with Heterogeneous Knowledge 1994-04-22 Augment or Push? A computational study of Bipartite Matching and Unit Capacity Flow Algorithms 1998-10-08 An Architecture For Distributed Cooperative-Planning In A Behaviour-Based Multi-Robot System 1998-10-01 Information Theory And An Extension Of The Maximum Likelihood Principle By Hirotogu Akaike 1994-01-29 Jan De Leeuw An Equational Axiomatization for Multi-Exit Iteration 1999-01-13 Fast Polygonal Approximation of Terrains and Height Fields 1995-09-19 A General Reasoning Scheme for Underspecified Representations 1997-03-06 System Resource Accounting in a Heterogeneous Distributed Computing Environment 1999-01-20 Using Remote Memory to avoid Disk Thrashing: A Simulation Study 1995-11-16 Evangelos P. Markatos Efficient Orthonormality Testing for Synthesis with Pass-Transistor Selectors 1998-05-19 Michel Berkelaar A Model for the Growth of Gadoid Larvae 1998-06-11 Rune Johansen Correction of a Memory Management Method for Lock-Free Data Structures 1996-02-28 AAAI Fall Symposium: Plan Execution - Problems and Issues Extended 1996-06-24 An Inductive Logic Programming Framework to Learn a Concept from Ambiguous Examples 1999-03-17 Supporting Document 1998-06-05 Load Balancing Strategy and Priority of Tasks in Distributed Environments 1995-06-16 Massively Parallel Computing: Data distribution and communication 1970-01-01 S. Lennart Johnsson Results of Parallel Implementations of the Selection Problem Using Sisal 1994-08-13 The Formal Verification of the Fairisle ATM Switching Element: An Overview 1994-07-27 Black Holes And Sphalerons In Low Energy Effective String Theory 1998-05-23 George Lavrelashvili Three Semantics of the Output Operation for Generative Communication 1997-05-28 TR-96-07 April 1999-04-07 Computation of Essential Molecular Dynamics by Subdivision Techniques I: Basic Concept 1970-01-01 Modelling Customer Retention with Statistical Techniques, Rough Data Models, and Genetic Programming 1997-11-28 DECLARE: A Prototype Declarative Proof System for Higher Order Logic 1997-02-13 Donald Syme Trust and Partial Typing in Open Systems of Mobile Agents 1998-11-02 Guaranteeing Application-to-Application Deadlines in Distributed Real-Time Systems 1995-12-15 FCG: a Code Generator for Lazy Functional Languages 1996-07-26 Voronoi Diagrams and Morse Theory of the Distance Function 1996-08-09 Dirk Siersma Manual V0.2 1997-04-21 Bags: A Parallel ADT for Functional Languages 1995-02-06 Paul Roe Conceptual Modelling of Mode Switching Physical Systems 1995-03-22 BER-Based Call Admission in Wavelength-Routed Optical Networks 1998-09-28 A Cognitive Approach to Aspectual Composition 1997-06-14 Nancy Chang Incremental Table-Based Method Dispatch for Reflective Object-Oriented Languages 1999-01-14 Image Coding Using Overlapping Fractal Transform In The Wavelet Domain 1996-11-02 B. Simon Defining a similarity threshold for a functional protein sequence pattern: The signal peptide cleavage site 1996-08-27 An Integrated System For Quality Inspection Of Tiles 1997-09-02 Threshold Resummation for QCD Hard Scattering 1997-06-14 Nikolaos Kidonakis New Notions of Reduction and Non-Semantic Proofs of Strong beta-Normalization in Typed lambda-Calculi 1995-09-11 A Comparison of Parallel Solvers for Diagonally Dominant and General Narrow-Banded Linear Systems 1999-02-09 Box, G. E. P., and G. M. Jenkins, 1970: 1998-08-11 Active Learning with Statistical Models 1995-02-26 Neural Network Adaptive Modeling of Battery Discharge Behavior 1997-10-27 Olivier Grard Mutation by Imitation in Boolean Evolution Strategies 1997-04-25 Structural Cut Elimination in Linear Logic 1994-12-28 Frank Pfenning Hyper-Rendering of Hyper-Textured Surfaces 1997-10-23 Learning of Position Evaluation in the Game of Othello 1996-08-28 Anton Leouski Grain Destruction In Interstellar Shock Waves 1995-08-16 B. T. Draine New Self-Similar Solutions of the Nonlinear Schrödinger Equation with Moving Mesh Computations 1998-12-03 Approximating Layout Problems on Geometric Random Graphs Extended abstract 1998-11-23 How to Get Rid of Projection Rules in Context-free Tree Grammars 1995-11-07 Network control and usage-based charging: Is charging for volume adequate? 1998-07-30 Functional Pearls: Proof-Directed Debugging 1998-09-23 Robert Harper Performance of a Cluster of PCI Based UltraSPARC Workstations Interconnected with SCI 1998-02-17 Knut Omang An Algorithm for Best Approximation of a Line by Lattice Points in Three Dimensions 1996-12-12 A Sparse Representation for Function Approximation 1998-09-02 Systems and Applications of Linear Threshold Gates and their Implementation with Quantum Functional Devices 1997-10-13 Christian Pacha Interpreter Prototypes From Formal Language Definitions 1996-11-20 Learning in the 'Real World' 1998-04-27 A Comparison of Workload Traces from Two Production Parallel Machines 1999-02-10 Compressing TCP/IP Headers for Low-Speed Serial Links 1990-02-28 A Hierarchical Partition Model for Adaptive Finite Element Computation 1998-06-18 Non-Hydrostatic Acoustically Filtered Equations Of Atmospheric Dynamics In Pressure Coordinates 1997-09-04 Om Anu Scalable Network Architectures Using The Optical Transpose Interconnection System OTIS 1996-09-15 A Non-Linear Model Transformation for Ml Stochastic Matching in Additive Noise 1998-12-17 A Human-Machine Interface To Support Reconfigurable Software Assembly For Virtual Laboratories* 1998-12-17 Evolving Soccer Strategies 1997-12-16 Towards Flexible Teamwork 1997-10-09 Milind Tambe Optimizing Over All Combinatorial Embeddings of a Planar Graph 1999-01-01 On Some Applications of Computational Geometry in Manufacturing and Virtual Environments Extended Abstract 1996-07-21 Mobile Objects in Distributed Oz 1999-02-11 Minimizing the Number of Optical Amplifiers Needed to Support a Multi-Wavelength Optical LAN/MAN 1997-03-19 Improving Cache Performance through Tiling and Data Alignment 1997-04-09 Maximum Entropy Models For Natural Language Ambiguity Resolution 1998-08-10 Adwait Ratnaparkhi Time-Space Analysis Of The Cluster-Formation In Interacting Diffusions 1996-04-10 A Note on High Precision Solutions of Two Fourth Order Eigenvalue Problems 1998-05-25 Conjugate Gradient Algorithms in Fortran 90 and High Performance Fortran 1995-02-22 Finite Element Analysis Of Human Joints: Image Processing And Meshing Issues 1997-06-30 Exploring Syllable Structure In Connectionist Networks 1999-04-05 Marc F. Joanisse On the Hardness of Approximating Shortest Integer Relations among Rational Numbers 1998-02-23 The Space of Lines in R&#x00B2; is Isomorphic to the Mo&#x00EB;bius Strip. 1998-08-06 Patrick C Hew Appropriate-scale Local Centers: a Foundation for Parts-based Recognition 1997-03-15 Information Fusion in Logic: A Brief Overview 1997-04-11 Laurence Cholvy Systematic Anti-Windup Compensator Design for Multivariable Systems 1996-04-29 Mikael Sternad A Note On Regular Points For Solutions Of Nonlinear Elliptic Systems 1996-07-19 A Survey of Advanced Interactive 3-D Graphics Techniques 1997-03-11 Dieter Schmalstieg A Theoretical and Empirical Study of a Noise-Tolerant Algorithm to Learn Geometric Patterns 1997-04-04 GTU - A workbench for the development of natural language grammars 1994-10-10 Stable Models Are Generated by a Stable Chain 1970-01-01 GLB-Closures in Directed Acyclic Graphs and their Applications 1994-12-05 Volker Turau Automatic Reclustering of Objects in Very Large Databases for High Energy Physics 1998-07-14 Counting Representable Sets On Simple Graphs 1997-06-17 Peter G. Jeavons The Many Faces Of Defeasibility In Defeasible Deontic Logic 1997-03-21 I Ntroduct I On Some Non-Selfadjoint Problems on the Circle 1999-01-19 Designing a Partially Reconfigured System 1995-11-17 Recognizing Circulant Graphs of Prime Order in Polynomial Time 1998-05-08 Experiences with HPF for Scientific Applications 1997-04-03 The Relative Order and Inverses of Recurrent Networks 1997-09-22 A Delagado Riveray Constraint-Fusion for Interpretation of Articulated Objects 1994-07-08 Interpolation for Polygon Texture Mapping and Shading 1997-07-08 Facilitating Teamwork of Autonomous Systems with a Distributed Real-Time Knowledge Base 1998-01-27 Johann Schweiger Neural Network Implementation in SAS 1995-12-04 A Compiler-Directed Cache Coherence Scheme Using Data Prefetching 1997-01-21 Labelled Tableau Calculi Generating Simple Models for Substructural Logics 1999-02-17 Kazushige Terui Odin: Design and Evaluation of a Single Address Space Multiprocessor. 1998-09-11 A. N. Pears Upholding The Maxim Of Relevance During Patient-Centered Activities 1994-07-27 Constacyclic Codes and Cocycles 1998-03-27 G. Hughes Scheduled Routing for the Numesh 1994-04-27 Operational Semantics for Visual Simulation in PARAGON 1998-01-21 Murat Gunaydin 1998-05-23 Expressiveness Revisited 1998-09-29 In-Memory Directories: Eliminating the Cost of Directories in CC-NUMAs 1998-04-28 Compiling Data Parallel Programs to Message Passing Programs for Massively Parallel MIMD Systems 1994-05-27 Thomas Brandes Theorem 4.1. 1997-09-24 A Thread Taxonomy for MPI 1996-09-22 A Reflection on Call-by-Value 1997-09-29 System-Level Synthesis of Low-Power Hard Real-Time Systems 1970-01-01 Neural Maps and Topographic Vector Quantization 1997-05-15 On the Right Hamiltonian for Singular Perturbations: General Theory 1997-04-26 CLEO Results on Tau Michel Parameters 1998-11-25 Alan J. Weinstein RWC-1 Linker Manual 1995-02-27 Linear Sifting of Decision Diagrams 1997-04-21 Extended Selection Mechanisms in Genetic Algorithms 1994-09-06 Searching for Optimal Polygon - Remarks About a General Construction and Application to Heptagon and Nonagon 1997-10-06 FORTH-ICS / TR-212 November 1997 An Approach to Pricing and Resource Sharing for Available Bit Rate ABR Services 1998-02-19 Signalling in ATM Networks: Experiences With an Object-Oriented Solution 1996-09-18 Super-State Automata and Rational Trees 1997-12-15 Dominique Perrin Maximum Likelihood Source Separation By the Expectation-Maximization Technique: Deterministic and Stochastic Implementation. 1995-10-21 Adel Belouchrani Fast Direct Methods for Real-Time Optimization of Chemical Processes 1997-04-29 Hadamard-Based Soft Decoding for Vector Quantization over Noisy Channels 1999-03-02 Do Web Authors Use HTML Tags to Flag Semantic Content? 1998-12-02 J. P. E. Hodgson An Agent-Based Architecture for a Multimodal Interface 1996-07-08 Fast, Robust Total Variation-Based Reconstruction of Noisy, Blurred Images 1997-09-05 Lambda-Calculus, Combinators and the Comprehension Scheme 1997-07-07 Active Disks: Programming Model, Algorithms and Evaluation 1998-09-10 -- 1-- Rare Kaon Decays 1997-09-23 MEROON: A Small, Efficient and Enhanced Object System 1993-01-25 Christian Queinnec Waves In Random Media And Two-Parameter Diffusions 1998-02-12 Jean-pierre Fouque Sorting with Fixed-Length Reversals 1995-09-30 A Compiler-Assisted Data Prefetch Controller 1998-07-06 Safe Implementations of Supervisory Commands 1997-01-30 An Architecture for Mobile BDI Agents 1997-09-22 Mesh Routing Topologies for Multi-FPGA Systems 1995-12-21 Modeling Light Sources for Accurate Simulations 1995-07-25 Programming in Alma-0, or Imperative and Declarative Programming Reconciled 1998-09-30 Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic. 1997-03-24 Roy Dyckhoff A Rule-Based Language for Ordered Multidimensional Databases 1997-06-13 On the bounds for the curvature and higher derivatives of the Isgur-Wise function 1998-05-24 Indoor Wideband Time/Angle of Arrival Multipath Propagation Results 1997-05-20 Implementing Global Memory Management in a Workstation Cluster 1998-09-16 Generating Random Elements Of Finite Distributive Lattices 1997-03-20 James Propp Cyberguide: A Mobile Context-Aware Tour Guide 1997-10-01 Reordering Query Execution in Tertiary Memory Databases 1996-09-22 Analysing Crossover Operators by Search Step Size 1999-02-11 A Dynamic Bayesian Intelliegent Interface Agent 1997-12-18 Backpropagation Can Give Rise To Spurious Local Minima Even For Networks Without Hidden Layers 1997-09-23 Inheritance and Synchronization in Concurrent OOP 1997-07-28 Akinori Yonezawa Analytic Fourier Integral Operators, Monge-Amp&#x00E8;re Equation and Holomorphic Factorization 1998-03-20 Michael Ruzhansky On Markov chains for independent sets 1997-12-18 Spectroastrometry: A New Approach to Astronomy on Small Spatial Scales 1998-03-26 Jeremy Bailey Fast Routing On The Reconfigurable Mesh 1996-12-01 Accelerating Markovian Analysis of Asynchronous Systems using State Compression 1999-02-05 Performance Evaluation of Connection Rerouting Schemes for ATM-based Wireless Networks 1999-02-04 Near-Far Resistant Propagation Delay Estimators for Asynchronous Direct-Sequence Code Division Multiple Access Systems 1994-07-27 Bipartite Embeddings of Trees in the Plane 1996-09-15 Fault tolerant mapping onto VLSI/WSI processor arrays 1997-11-12 Borut Robic The Search for an Empirical and Theoretical Foundation for Algorithm Visualization 1996-03-25 Christopher D. Hundhausen Rutgers' TREC-6 Interactive Track Experience 1998-11-25 Symmetry-based Indexing of Image Databases 1998-09-24 Unknown 1999-04-30 Squarefree Values Of Polynomials All Of Whose Coefficients Are 0 And 1 1995-08-05 A Hierarchical Approach to Graph Automata and Monadic Second-Order Logic over Graphs 1998-10-15 Ina Schiering Software Visualization in the Large 1997-08-11 Ordinal Optimization Approach To Rare Event Probability Problems 1997-06-08 Functional Integrals and their Applications 1997-04-26 David C. Brydges Change-oriented version descriptions in EPOS 1995-02-20 Serializability Improves Parallel Execution of Production System 1996-02-16 Modeling Parallel Computers as Memory Hierarchies 1997-06-28 A User's Manual for GNU Emacs' Web-mode 1998-10-05 Embedded Minimal Ends of Finite Type 1999-02-15 Modeling Information-Passing within the LFG-Workbench 1997-03-06 A few logs suffice to build almost all trees: Part I 1997-10-28 The Problem 1997-10-02 Integrity Constraint Checking Optimization Based on Databases Generation and Program Analysis 1997-12-13 Analog VLSI Architecture for Computing Heading Direction 1998-10-07 A Location Service for Worldwide Distributed Objects 1996-09-13 A Motor- and Image-Schematic Analysis of Aspectual Composition 1998-03-05 Nancy Chang Babel, a multilingual package for use with LATEX's standard document classes 1996-01-11 Johannes Braams A New Approach for Stochastic Optimization Problems 1996-08-09 Removing Noise from 3-D Radar Images using Networks of Analogue Neurons 1995-04-25 Andrew Wilson An Efficient Uniform-Cost Normalized Edit Distance Algorithm 1999-04-25 ODB-QOPTIMIZER: a tool for semantic query optimization in OODB 1998-01-14 Relative Debugging: A New Debugging Paradigm 1997-08-11 GE/ECE 489, Spring 1999 Assignment 1 1999-02-05 Prof Francesco Bullo Dependency, Licensing and the Nature of Grammatical Relations 1996-08-22 A Freely Available Morphological Analyzer, Disambiguator and Context Sensitive Lemmatizer for German 1998-08-22 Schur-Like Forms for Matrix Lie Groups, Lie Algebras and Jordan Algebras 1997-11-21 Minimizing the Flow Time for Parallelizable Task Systems 1993-11-11 Refinement and Continuous Behaviour 1998-12-09 Framework for the Analysis of Crash Avoidance Systems 1998-07-02 On Helping by Parity-like Languages 1994-12-16 Mitsunori Ogihara Weak Semistable Reduction In Characteristic 0 1997-07-22 Dan Abramovich Texture Synthesis and Unsupervised Recognition with Nonparametric Multiscale Markov Random Field Models 1998-01-30 Solving Linear Arithmetic Constraints for User Interface Applications 1997-10-19 Klowudqvihuuhsruw 1997-05-22 Vasilios S. Lazarou Hypertext Transfer Protocol - HTTP/1.0 1996-02-19 Transformations between HCLP and PCSP 1996-05-07 Hierarchical Linear Combinations for Face Recognition 1999-02-06 On the Combination of Partial Action Descriptions 1998-10-05 Pattern Matchingin a Digitized Image 1997-07-07 Using Analytical Performance Prediction for Architectural Scaling 1998-08-19 Efficient Global Illumination Using Compactly supported Overlapping Bases 1999-01-02 Srinadh Godavarthy Relevant Examples and Relevant Features: Thoughts from Computational Learning Theory 1994-12-07 Avrim L. Blum Order Statistics Combiners For Neural Classifiers 1995-05-09 Generalized Threshold Replenishment: An Adaptive Vector Quantization Algorithm for the Coding of Nonstationary Sources 1996-11-30 James E. Fowler Multiple Effects and Error Resistance: A Longitudinal Case Study 1998-02-09 Low Power SOI CMOS Multipliers : 2D vs. 3D 1970-01-01 Collaborative Computing Frameworks for Natural Sciences Research 1998-01-06 Presuppositions as anaphors: Towards a full understanding of partial matches 1998-09-15 Social Implications of Using Synthetic Characters: An Examination of a Role-Specific Intelligent Agent 1970-01-01 Towards a Unified Model of Untyped Object Stores: Experience with the Tycoon Store Protocol 1996-10-28 Masking the Interiors of NIST Special Database 1 Box Images 1997-11-20 Patrick C Hew ___________________________________________________ 1994-11-23 Barbara P. Buttenfield Guide to the ARGUS Reduction Task DOARGUS 1990-09-25 Francisco Valdes Recursive Deadbeat Controller Design 1997-08-07 Performance Measures for the Next Generation of Spoken Natural Language Dialog Systems 1999-02-08 Ronnie W. Smith Splitting Property in Infinite Posets 1999-04-21 P'eter L. Erdos Sequential Regularization Methods For Nonlinear Higher Index Daes 1995-11-17 Integrated Shared-Memory and Message-Passing Communication in the Alewife Multiprocessor 1997-12-21 Phase Transition in Finding Multiple Solutions in Constraint Satisfaction Problems 1995-09-14 Object-based Mapping Automata - Reference Manual 1998-11-11 Jorn W. Janneck Evolution Strategies: An Alternative Evolutionary Algorithm 1996-09-04 Double Buffer Extension Library Protocol Version 1.0 X Consortium Standard 1996-12-19 Verifying Operating System Security 1998-06-22 A B S T R a C T 1998-05-23 Forschungszentrum Julich Gmbh Relative Utility of EBG based Plan Reuse in Partial Ordering vs. Total Ordering Planning 1993-08-17 Subbarao Kambhampati Creation Of A Computer Generated Semi-Autonomous Entity Able To Function In An Amphibious Environment 1995-10-27 Efficient Scalable Fair Cash with Off-line Extortion Prevention 1997-07-31 Upper Bound on the Communication Complexity of Private Information Retrieval 1999-02-03 Andris Ambainis Multi-Triangulations for Managing the Level-of-Detail of Polygonal Surfaces 1998-01-29 Controllability Of Nonlinear Discrete Time Systems: A Lie-Algebraic Approach 1995-04-12 -- 1-- Pseudoscalar-Meson Decay Constants 1997-09-23 Sectional Curvature of Projective Invariant Metrics on a Strictly Convex Domain 1995-04-20 Percolation 1997-09-15 Geoffrey R. Grimmett Transportation Applications of Artificial Intelligence Extended Abstract 1994-03-13 On Two Conjecture About Practical Numbers 1998-03-03 Exact Solutions of 1+1 Dimensional Dilaton Gravity Coupled to Matter 1998-05-14 GLU for Multidimensional Signal Processing 1995-08-01 Iskender Agi Soccer Team based on Agent-Oriented Programming 1997-01-15 Shrinking Lambda Expressions in Linear Time 1997-12-03 Trevor Jim An Integrated Modal Approach to Rational Agents 1997-03-03 algorithm, extends the DME algorithm for exact zero-skew trees via the concept of a 1997-11-16 Error checking in the Process Interchange FormatPIF Ontology 1998-03-03 Tabu Search for Frequency Assignment in Mobile Radio Networks 1999-01-29 The identification of objects and roles - Object identifiers revisited 1993-11-06 Expectation Values of Observables in Time-Dependent Quantum Mechanics 1997-07-16 J. M. Barbaroux A Node as a Real-Time Object 1997-03-04 Dissemination of Information in Vertex-Disjoint Paths Mode, Part 2: Gossiping in d-Dimensional Grids and Planar Graphs 1994-06-16 A Parallel Lauritzen-Spiegelhalter Algorithm for Probabilistic Inference 1997-09-02 Mechanisms for Flexible Representation and Use of Knowledge in User Modeling Shell Systems 1997-06-09 The Role of Test Cases inAutomated Knowledge Refinement 1997-01-05 PiSMA: An Upgradeable Fault Tolerant Approach to Parallel Processing 1997-10-21 Safety, Translation and Evaluation of Alignment Calculus 1997-10-29 Subexponential Distributions 1997-08-24 Charles M. Goldie Multiple Threads Template Library 1997-11-06 Yutaka Ishikawa Improving the Data Cache Performance of Multiprocessor Operating Systems 1997-02-07 On the Centre of Gravity and Width of Lattice-constrained Convex Sets in the Plane 1997-06-30 Behaviour Analysis And Training - A Methodology for. . . 1998-04-09 Discriminant Analysis by Gaussian Mixtures 1995-02-23 Text Segmentation Using Exponential Models 1997-11-04 Connection between Different Function Theories in Clifford Analysis 1997-04-26 Vladimir V. Kisil A General Approximation Technique For Constrained Forest Problems 1998-12-22 Analyzing differences between Internet information system software architectures 1996-07-22 Cellular Automata Workshop 1996 1998-08-12 Regularization Tools For Training Feed-Forward Neural Networks Part I: Theory and basic algorithms 1996-08-07 The Linux CD-ROM HOWTO 1998-04-26 On the Drag and Heat Transfer Coefficients in Free-Molecular Flow 1994-09-28 Efficient Failure Recovery in Multi-Disk Multimedia Servers 1995-09-11 DNA-EC: A Model of DNA-Computing Based on Equality Checking 1997-08-26 Neural Observer for the Hot Isostatic Pressing Nonlinear System 1994-09-30 Andrew J. Newman Projective ML 1994-01-29 User-Adaptable Prettyprinting 1995-05-19 Comparative Experiments on Disambiguating Word Senses: An Illustration of the Role of Bias in Machine Learning 1996-08-28 Raymond J. Mooney Approximating the stretch factor of Euclidean paths, cycles and trees 1999-04-23 Integration of Analog and Discrete Synchronous Design 1999-01-05 Simin Nadjm-tehrani Guiding and Refining Simulation using Temporal Logic 1996-09-26 Iterative Algorithms For Optimal State Estimation Of Jump Markov Linear Systems 1999-03-25 A Proposal for Refining Case Libraries 1997-01-29 David W. Aha From Processor Timing Specifications to Static Instruction Scheduling 1994-11-02 Enumeration of Full Graphs: Onset of the Asymptotic Region 1996-09-01 Optimal Approximability Of Solutions Of Singularly Perturbed Two-Point Boundary Value Problems 1996-12-20 Automated Deduction: A Technological Point of View 1998-08-25 Autoepistemic Logic of Knowledge and Beliefs 1997-05-13 Teodor C. Przymusinski Spoken Document Retrieval: 1998 Evaluation and Investigation of New Metrics 1999-03-20 Users and the UNIX Operating System 1992-04-28 Weak* Sequential Compactness and Bornological Limit Derivatives 1995-10-27 On The Determination Of A Potential From Three Spectra 1997-08-21 Fritz Gesztesy Crypto in Europe --- Markets, Law and Policy 1995-07-28 Ross J Anderson Diagnostic Screening of Digital Mammograms Using Wavelets and Neural Networks to Extract Structure 1998-07-07 Metabroker: A Generic Broker for Electronic Commerce 1998-02-25 On the Computational Power of Faulty and Asynchronous Neural Networks 1993-12-01 Hava T. Siegelmann Implementation of a Parallel Hough Transform Processor 1995-11-21 The PARAMAT Project: Current Status and Plans for the Future 1996-08-26 On Point-based Temporal Disjointness 1994-04-12 Alfonso Gerevini Mining in the Phrasal Frontier 1997-04-15 Status of this Memo 1993-05-02 Explanation-based Similarity: A Unifying Approach for Integrating Domain Knowledge into Case-based Reasoning for Diagnosis and Planning Tasks 1999-03-22 Gamma ray modulation in AGN by interaction with X-rays from an accretion disk hot spot 1997-07-23 W. Bednarek Computational isomorphisms in classical logic Extended Abstract 1996-10-31 A High-Level Visual Language for Generating Web Structures 1998-11-10 Memory Hierarchy Considerations for Fast Transpose and Bit-Reversals 1998-11-13 Landmark Recognition of the Docking Behavior 1994-03-10 Robin R. Murphy Assessing the business value of E-commerce: Evidence from emerging electronic markets 1998-11-16 Antreas D. Athanassopoulos Rigidly symmetric L 1995-08-20 Detlev Poguntke Fault Diagnosis in Heterogeneous Complex Systems 1996-12-16 Closure and Convergence: A Foundation of Fault-Tolerant Computing 1994-08-17 Generalized Measures for Reconfigurable Hexagonal Systolic Arrays 1994-11-09 Theodore C. Bossart A System For Specialising Logic Programs 1994-07-22 J. P. Gallagher Evolution and Development of Neural Networks Controlling Locomotion, Gradient-Following, and Obstacle-Avoidance in Artificial Insects 1997-03-20 PVM and MPI: a Comparison of Features 1998-04-30 Images Of Semistable Galois Representations 1998-02-01 Kenneth A. Ribet A Uniform Approach to Graph Rewriting: The Pullback Approach 1998-03-09 Michel Bauderon Scaling WDM Slotted Ring Networks 1998-03-12 Alberto Bononi Symmetry Properties of Confined Convective States 1995-09-19 John Guckenheimer English Specification of the CORBA Repository Service. 1997-03-21 Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment 1995-03-10 Survey of the research conducted at ENST in the domain of automatic extraction of knowledge from textual and lexical databases 1998-02-05 A CMOS High Speed Data Recovery Circuit Using the Matched Delay Sampling Technique 1995-11-21 Interest-Focused Tutoring: A Tractable Approach to Modeling in Intelligent Tutoring Systems 1996-03-15 Eigenfaces for Familiarity 1998-06-11 Implementation and Extension of a Stereo Vision System 1998-08-18 Daniel E. Stevenson Video-on-Demand Metadata Query Interfaces 1996-03-03 David Berger Open Sesame!: A Look at Personal Assistants 1997-04-28 Gnus5.4.56 Manual 1997-06-08 Lars Magne Ingebrigtsen Continuous Assessment of a Unix Configuration: Integrating Intrusion Detection and Configuration Analysis 1996-11-25 in the Subject line: On Digital's EASYnet: CRL::TECHREPORTS On the Internet: techreports@crl.dec.com 1997-07-01 Overview 1995-06-29 A Gray Code for Combinations of a Multiset 1996-05-28 An Object-Oriented Framework for Developing Network Server Daemons 1997-03-06 Douglas C. Schmidt Randomized Online Scheduling with Delivery Times 1998-06-15 Steven S. Seiden THE ONTOLOGY OF CYBERSPACE: Questions and Comments 1995-08-01 Design and Implementation of a Database Environment for the Manipulation of Structured Documents 1996-04-22 Arijit Sengupta The Levering Scheme Of Biorthogonal Wavelets 1999-01-03 Learning Domain Theories using Abstract Background Knowledge 1995-06-01 The Konstanz Hypertext System: Progress Report 1996-06-12 Marc Rittberger Département de Mathématiques et Informatique 1996-10-28 Page Replacement Using Marginal Loss Functions 1997-09-01 Planning with an Adaptive World Model 1998-09-29 Multidestination Message Passing Mechanism Conforming to Base Wormhole Routing Scheme 1995-02-03 Synchronization in Joint-Viewing Environments 1996-05-10 A Real-time 3D Motion Tracking System 1994-03-01 Compiling the lambda-calculus into Interaction Combinators 1998-07-02 Routing and Scheduling File Transfers in Packet-Switched Networks 1998-04-15 Unconditional Byzantine Agreement for any Number of Faulty Processors Extended Abstract 1996-09-20 Progressive Refinement Radiosity on Ring-Connected Multicomputers 1994-11-03 Generalized Subspace Correction Methods Extended Abstract 1996-04-01 Peter Arbenz Programming Language Semantics in Foundational Type Theory 1998-03-05 K. Crary The Sequoia 2000 Architecture And Implementation Strategy 1997-07-09 BT Exempt Anaphors: an Argument from Idiom Interpretation 1997-06-11 Jeffrey Runner Inferring Acceptance and Rejection in Dialogue by Default Rules of Inference 1997-08-12 Marilyn A. Walker On Telecommunication Network Management 1996-04-08 A Generic Multicast Primitive to Support Transactions on Replicated Objects in Distributed Systems 1998-08-28 Rachid Guerraoui Pengi: An Implementation of A Theory of Activity 1998-04-21 An Empirical Study Evaluating Depth of Inheritance on the Maintainability of Object-Oriented Software 1995-11-07 Increasing Java's expressiveness with ThisType and match-bounded polymorphism 1997-10-13 Kim B. Bruce CORBA: Integrating Diverse Applications Within Distributed Heterogeneous Environments 1998-04-09 Steve Vinoski Application-Transparent Fault Tolerance In Distributed Systems 1998-06-24 Asymptotic-Induced Domain Decomposition Methods for Kinetic Equations with the Diffusion Scaling 1997-12-02 Axel Klar Biologically Inspired Robotic Experiments on Interaction and Dynamic Agent-Environment Couplings 1997-07-01 Kerstin Dautenhahn On Computable Beliefs Of Rational Machines 1995-09-22 Nimrod Megiddo The Detection of Duplicates in Document Image Databases 1997-05-27 Vermittlung und Verwaltung von Diensten in offenen verteilten Systemen 1998-03-26 Nesl: A Nested Data-Parallel Language 1997-02-04 Guy E. Blelloch The QoS Broker 1997-10-01 Generating Random Regular Graphs Quickly 1998-11-23 Parsing as Resolution 1997-11-11 Banach spaces with the Daugavet property 1997-08-25 Estimating Functions Of Probability Distributions From A Finite Set Of Samples 1995-10-12 Modeling of Real-Time Dynamic Effects 1995-10-27 Dynamic Simulation of Power Grasp with Elliptical Objects 1997-02-05 Proceedings 1996-08-13 Michael Walther Artificial Associative Memory Using Quantum Processes 1998-11-05 Dan Ventura Weakly Bounded Probabilistic Polytime is Contained in POLYSIZE 1996-03-22 Quantum Mechanical Propagators In Terms Of Hida Distributions 1997-05-15 A Portable Subroutine Library for Solving Linear Control Problems on Distributed Memory Computers 1999-01-13 A Lyapunov Approach to Exponential Stabilization of Nonholonomic Systems in Power Form 1996-12-05 Design of a Resolution Multiprocessor for the Parallel Virtual Machine 1996-04-02 Hamish Taylor Locally Simultaneous Constraint Satisfaction 1994-08-17 XSB: A System for Efficiently Computing Well-Founded Semantics 1999-01-08 An analysis of strictly visual codes in programming<E-302>environments from a semiotic perspective 1996-09-10 A Parallel Multigrid Method Using The Full Domain Partition 1998-02-12 William F. Mitchell Categorical Models of Explicit Substitutions 1998-07-02 Studies on Extremal Segments in Random Sequences 1998-10-20 Yacov Kantor Incidence and Lattice Calculus with Applications to Stochastic Geometry and Image Analysis 1993-06-30 A Description Logic with Concrete Domains and a Role-forming Predicate Operator 1999-03-29 A Review of Parallel Processing Approaches to Robot Kinematics and Jacobian 1997-05-09 Correlation of Radiation Damage Effects in High Rsistivity Silicon . . . 1996-11-28 Key Concepts For Parallel Out-Of-Core LU Factorization 1996-04-17 Executing Reactive Behavior for Autonomous Navigation Extended Abstract 1994-10-21 A Characterization of Functions that Generate Wavelet and Related Expansions 1999-03-04 Compression and Coding of Large CAD Models 1998-11-17 Contexts on Trajectories 1998-11-23 Anti-Predictable Sequences: Harder to Predict Than A Random Sequence 1997-08-01 A High-level Derivation of Global Search Algorithms with Constraint Propagation 1996-06-01 Douglas R. Smith Asymptotic Properties Of The Mle In Hidden Markov Models 1997-03-31 Programming Parallel Algorithms 1997-02-04 Guy E. Blelloch Fast Synthetic Vision, Memory, and Learning Models for Virtual Humans 1999-03-22 How to Write F-Logic Programs in FLORID - A Tutorial for the Database Language F-logic Version 2.0 1997-11-13 A Critical Look at Three of Parallel Computing's Maxims 1996-03-10 Bruce M. Maggs For Authors 1995-11-10 Point-based Temporal Extension of SQL 1998-08-05 David Toman Finding Hard Instances of the Satisfiability Problem: A Survey 1998-07-14 Death and Lightness: Using a Demographic Model to Find Support Verbs 1997-02-15 On Some Compositional Petri Net Semantics 1995-12-18 Predictable Automatic Memory Management for Embedded Systems 1998-05-25 Roger Henriksson Browsing and Querying in Object-Oriented Databases 1992-12-03 Fourier Transforms On A Semisimple Symmetric Space 1995-07-07 Combining the EID and FSA for Computing the Minimum Volume Ellipsoid 1998-02-19 On the power of 1-tape off-line ATMs runninig in bounded number of reversals 1995-02-16 Instytut Informatyki 2D BubbleUp: Managing Parallel Disks for Media Servers 1998-03-03 Parallelizing the 1997-04-10 Sound Signals Decomposition Using a High Resolution Matching Pursuit 1997-06-27 Communicative Actions in a Dialogue Model for Cooperative Discourse: an initial report 1997-09-01 Foundations for Native C++ Styles 1997-01-19 A High Galactic Latitude Pulsar Survey of the Arecibo Sky 1995-06-05 Design, Implementation, and Analysis of a Parallel Description Classifier 1995-05-08 An Overview of Larch/C++: Behavioral Specifications for C++ Modules 1999-01-14 Gary T. Leavens ParC - An Extension of C for Shared Memory Parallel Processing 1996-04-21 Investigating Age Effects on Ultimate Attainment in Second Language Acquisition 1996-10-21 Catherine Rice A Genetic Algorithm for Best Subset . . . 1996-05-15 Automatic Detection of Feature Interactions in Temporal Logic 1995-08-14 Localizer 1998-03-19 Devs Formalism And Methodology: Unity Of Conception/Diversity Of Application 1997-04-04 +656: A Quadruple Lens System Found In The Class Gravitational Lens Survey 1999-04-14 Steven T. Myers Solving vector-valued approximation problems by semi-infinite optimization : Numerical and genericity aspects 1997-06-06 Georg J. Still Symmetries and the Antibracket 1998-05-23 Phase Uncertainty of a Sampled Quantizer 1997-12-22 B. E. Sarroukh The Pandemonium System of Reflective Agents 1996-09-26 Accommodating FMS Operational Contingencies through Routing Flexibility 1998-06-19 Spyros A. Reveliotis The Tricky User and other causes of dependence between ATM streams 1999-03-26 Ilkka Norros Image Enhancement and Understanding for Remote Visual Inspection of Aircraft Surface. Priyan Gunatilake 1996-11-07 Symbiotic Systems Software: Fast Operating Systems for Fast Applications 1996-02-01 Relative Undecidability in Term Rewriting 1999-03-16 Wellposed Problems of the Calculus of Variations for Nonconvex Integrals 1995-10-26 Tullio Zolezzi Soft Decoding for Vector Quantization over Noisy Channels with Memory 1999-04-27 The Prevalent Dimension Of Graphs 1970-01-01 Falcon: On-line Monitoring and Steering of Large-Scale Parallel Programs 1994-12-06 Bibliography 1996-12-06 Moving Up the Information Food Chain: Deploying Softbots on the World Wide Web 1997-06-03 Oren Etzioni Design Strategies for Evolutionary Robotics 1997-03-26 Andrew Murray QoS Support for Video&Audio Multipeer Communications 1998-01-06 A Graphical Tool for Specification of . . . 1994-05-24 Dynamic Dependency Grammar 1997-09-16 A GA-based approach to solve simultaneous linear equations 1998-07-21 Learning to Eliminate Background Effects in Object Recognition 1994-03-10 Robin R. Murphy Bambi Meets Godzilla: Object Databases for Scientific Computing 1994-07-12 On List Size Exponents in Rate-Distortion Coding 1998-07-23 Neri Merhav Impact of Load Imbalance on the Design of Software Barriers 1997-03-19 Cauchy-Szegökernels for Hardy spaces on simple Lie groups 1996-02-07 Fast Practical Multi-Pattern Matching 1996-10-22 Multivariate Decision Trees 1993-09-08 Nonmonotonic Reasoning: from Complexity to Algorithms 1996-03-12 C. Cayrol Vector Multiplets and the Phases of N = 2 Theories in 2D Through the Looking Glass 1998-05-23 Minimal Paths on Ordered Graphs 1997-06-26 Motion Analysis by the RHT Method in Computer Vision 1996-05-09 Heikki Kalviainen Representations and Solutions for Game-Theoretic Problems 1997-09-12 hp FEM for Reaction-Diffusion Equations I: Robust Exponential Convergence 1997-10-20 A Posteriori Error Estimation For The Finite Element Method-Of-Lines Solution Of Parabolic Problems 1998-10-07 A Performance Study on Load Balancing Algorithms with Task Migration 1996-03-05 Conditions For The Applicability Of The Regenerative Method 1995-08-28 Extraction-Based Text Categorization: Generating Domain-Specific Role Relationships Automatically 1997-10-24 Ellen Riloff Fault Tolerant Circuits and Probabilistically Checkable Proofs 1994-11-03 Mario Szegedy SUPERCLUSTER-VOID NETWORK J. Einasto 1996-01-14 J. Einasto The Alloc Stream Facility: A Redesign of Application-Level Stream I/O 1994-03-30 Learning Maximal Structure Rules in Fuzzy Logic for Knowledge Acquisition in Expert Systems 1997-09-24 Generalizations of the Sethi-Ullman algorithm for register allocation 1994-03-11 Kenneth J. Supowit Managing Server Load in Global Memory Systems 1997-04-03 Usability of ATM Connections for Sensitive Real-Time Systems 1994-11-25 Lecture Notes in Computer Science 1999-01-14 Nelson H. F. Beebe A Practical Method for the Sparse Resultant Extended Abstract 1970-01-01 Security Characterisation and Integrity Assurance for Software Components and Component-Based Systems 1998-09-18 Inferring Finite Automata with Stochastic Output Functions and an Application to Map Learning 1995-08-11 by H. Quinn, SLAC The neutral 1997-09-23 H. Quinn Optimization Of Automotive Valve Train Components With Implict Filtering 1998-12-09 Rigid Body Motion, Interacting Billiards, and Billiards on Curved Manifolds 1997-04-28 Secure Information Flow in a Multi-threaded Imperative Language 1997-10-22 Towards Support for Heterogenous Multipeer across ATM Networks 1998-10-02 Pseudocomplemented Ordered Sets 1970-01-01 Radom Ir Hala S Astronomy Education In Korean Earth Science Curriculum: From Elementary School To College 1997-03-03 Seung-urn Choe Thue Trees 1998-10-12 Evaluation of Two Load-Balancing Primary-Backup Process Allocation Schemes 1997-10-21 New Approximation Algorithms for the Steiner Tree Problems 1998-02-23 Optimized Binary Search and Text Retrieval 1997-01-13 Design and Performance Evaluation of a Multithreaded Architecture 1995-05-28 OOLP: A Translation Approach to Object-Oriented Logic Programming Deductive and Object-Oriented Databases 1995-04-13 A Neuro-Fuzzy Model for Missing Data Reconstruction 1998-04-08 Effective actions for finite temperature Lattice Gauge Theories. 1997-12-11 Typing of Selective lambda-Calculus 1994-04-01 Finding Structure in Streams 1995-07-14 Learning Abductive Inference by Analogy in ACT-R 1997-09-01 Groningen Centre For Behavioural A Model for Generalization based on Confirmatory Induction 1998-02-18 Nicolas Lachiche The Baldwin Effect in the Immune System: Learning by Somatic Hypermutation 1994-08-11 Field Computation: A Theoretical Framework for Massively Parallel Analog Computation Parts I - IV 1994-11-24 Bruce Maclennan Extracting and Visualizing Ocean Eddies in Time-Varying Flow Fields 1995-06-23 Default Reasoning about Probabilities 1998-01-08 Parallel Wavelet Transforms for Image Proccessing 1970-01-01 Unsupervised Learning of Distributions on Binary Vectors Using Two Layer Networks 1994-06-23 Single Step Undirected Reconfigurable Networks 1997-10-29 A Translation of the Pi-Calculus Into MONSTR 1995-07-13 A Singular Loop Transformation Framework Based on Non-singular Matrices 1992-08-24 Cache Sensitive Pre-Runtime Scheduling 1998-03-09 OE-scan with pions and muons - Analysis of TILECAL test beam data 1996-09-12 PKCS #6: Extended-Certificate Syntax Standard 1996-05-28 A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths 1999-01-28 Journal of Graph Algorithms and Applications 1997-12-05 Hoong Chuin Lau Agentsim: A Simulation Of A Petri Net Based Hardware Description Language 1994-06-20 Jonathan E. Cook On entropy rates of dynamical systems and Gaussian processes 1997-01-27 Milan Palus A Discussion on Mixed Longest-Side Midpoint Insertion Delaunay Techniques for the Triangulation Refinement Problem 1998-11-03 Patricio Inostroza Unknown 1998-11-03 Dialogue as Knowledge Editing 1999-04-08 Automatic Text Summarization by Paragraph Extraction 1998-03-25 On the Expected Depth of Random Circuits 1998-11-23 A New Family of Algorithms for Manipulating Compressed Images 1991-10-29 Fast Routing Table Lookup Using CAMs 1996-02-02 Generalized, Robust, End-User Programmable, Multiple-Window Coordination 1998-01-12 Chris North Partial Dead Code Elimination using Slicing Transformations 1997-06-23 Rajiv Gupta Orthonormal Polynomial Vectors 1999-02-23 On Lattice Quantization Noise 1997-12-17 The Use of Semantics in Instance-Based Proof Procedures 1994-12-08 Design of the Configuration and Diagnostic Units of the MAP Chip 1999-01-14 Keith Klayman Design and Performance Evaluation of a Cache Assist to implement Selective Caching 1999-03-11 Modelling heterogeneity with and without the Dirichlet process 1999-01-26 Quick Installation Guide for LAPACK on Unix Systems 1999-01-27 The Design and Implementation of Tripwire: A File System Integrity Checker 1997-02-08 Constructing Cliques Using Restricted Backtracking 1995-04-13 Universiteit-Utrecht * 1997-12-18 Building Grounded Symbols for Localization Using Motivations 1999-01-09 Stephane Zrehen Maximization of Mutual Information in a Linear Noisy Network: a Detailed Study 1997-04-16 Geocasting in Mobile Ad Hoc Networks: Location-Based Multicast Algorithms 1999-01-22 LifeLines: Using Visualization to Enhance Navigation and Analysis of Patient Records 1998-11-18 CORBA-Based Run-Time Architectures for Workflow Management Systems 1995-12-01 Performing Concurrent Robot Path Execution and Computation in Real-Time 1998-04-21 John S. Zelek Combinator Shared Reduction and Infinite Objects in Type Theory 1996-03-23 Catarina Coquand FORTH-ICS / TR-050 June 1992 1995-11-06 Panagiota Vatsolaki Compiling Fortran 90D/HPF For Distributed Memory Mimd Computers 1995-07-26 A Flexible Object-Oriented Database Model and Implementation for Capacity-Augmenting Views 1994-06-07 Two New Methods for Speaker Recognition Using Cepstral Analysis 1998-06-01 Sandeep Bajaj Lee Breslau Scott Shenker 1998-07-28 Determining Visibility between Extended Objects 1998-04-03 Biologically Motivated Approach to Face Recognition 1999-01-19 Good Error-Correcting Codes based on Very Sparse Matrices 1998-08-31 David J. C. Mackay Visualizing Geometric Uncertainty of Surface Interpolants 1998-11-02 Second-Order Cyclic Statistics Based Blind Channel Identification And Equalization 1997-10-21 Complex Aggregation at Multiple Granularities 1998-03-02 Place Learning in Dynamic Real-World Environments 1997-04-13 RSIM: An Execution-Driven Simulator for ILP-Based Shared-Memory Multiprocessors and Uniprocessors 1998-11-14 Intermail And Commercial Mail Relay Services 1990-07-17 Spar: A Programming Language for Semi-Automatic Compilation of Parallel Programs 1997-08-15 A Formal Study Of The Mcube Interconnection Network 1995-06-27 Randomized Query Processing in Robot Path Planning Extended Abstract 1995-08-10 Probabilistic Knowledge Base Validation 1998-10-23 Howard Terrance Gleason Totem: A Fault-Tolerant Multicast Group Communication System 1996-02-11 Heap Profiling of a Lazy Functional Compiler 1993-03-08 Improving Reliable Transport and Handoff Performance in Cellular Wireless Networks 1996-01-06 N.D.Botkin and J.Stoer 1995-04-20 Very Low Bit Rate Wavelet-Based Scalable Video Compression 1999-02-03 The complexity of policy evaluation for finite-horizon partially-observable Markov decision processes 1997-03-10 On multi-directional search in Optimization 1997-06-06 Recursive Estimation of Time-Varying Motion and Structure Parameters 1997-12-15 Sorting n Objects With a k-Sorter 1995-01-05 On Intersection Product of Analytic Cycles 1998-01-06 Imuj Preprint Genetic Algorithms, Problem Difficulty, and the Modality of Fitness Landscapes 1995-10-30 Jeffrey Horn Integrating Natural Semantics and Attribute Grammars: the Minotaur System 1995-03-23 Caching in with Multigrid Algorithms: Problems in Two Dimensions 1997-06-25 Craig C. Douglas On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras 1998-05-13 Marina Ribaudo Forming Neural Networks through Efficient and Adaptive Coevolution 1998-10-22 Correctness in System Engineering 1995-04-22 Peter B. Ladkin Query Planning for Range Queries with User-defined Aggregation on Multi-dimensional Scientific Datasets 1999-02-23 RTCAST: Lightweight Multicast for Real-Time Process Groups 1998-06-22 Unbiased Assessment of Learning Algorithms 1997-07-18 Protocol Failure in the Escrowed Encryption Standard 1994-09-05 Terminological logics for schema design and query processing in OODBs 1994-10-18 Automatic Cross-Language Retrieval Using Latent Semantic Indexing 1997-03-08 Smoothness Analysis For Trajectory Features 1998-06-24 SWAN: An Indoor Wireless ATM Network 1995-11-07 PAUL: a software engineering approach to a problem in combinatorial design a user manual with examples 1996-05-21 Spatial Scope and Multicast in Large Virtual Environments 1970-01-01 Chris Greenhalgh PERFUSE A medical expert system User Interface prototype 1997-07-01 Visual Tools for Temporal Reasoning 1993-10-28 The Multiple Dimensions of Action-Oriented Robotic Perception: Fission, Fusion, and Fashion 1995-01-25 Ronald C. Arkin A Model-Based Approach to Blame-Assignment in Design 1997-10-29 The Bigraded Homotopy Groups Of A Pointed Simplicial Space 1993-03-01 Computer-Simulation Surrogates For Optimization: Application To Trapezoidal Ducts And Axisymmetric Bodies 1998-04-02 Accounting for Memory Bank Contention and Delay in High-Bandwidth Multiprocessors 1997-02-04 On Causal Scheduling Of Multiclass Traffic With Deadlines 1997-07-16 Field Computation in Natural and Artificial Intelligence 1998-11-12 Bruce J. Maclennan Berezin-Toeplitz Quantization Of Compact Kähler Manifolds 1997-04-26 SUSY Gauge Dynamics and Singularities of 4d N=1 StringVacua 1998-05-11 An Algebra and Calculus for Multidatabases with Integrity Constraints 1995-02-16 Fault Tolerance Bounds for Memory Consistency 1997-07-10 ANTLR: A Predicated-LLk Parser Generator 1997-06-27 R. W. Quong Tomohiro Kawakami 1997-05-23 Tomohiro Kawakami Analytical Models of Adaptive Routing Strategies 1994-03-03 Inner and outer iterations for the Chebyshev algorithm 1997-01-27 Divesh Srivastava 1996-12-10 A Type Checker for a Polymorphic Functional Language 1995-08-25 Matthias Kindler Notes on Concurrency Control in Groupware 1996-03-18 Tim Kindberg Application of Evolutionary Algorithms to Protein Folding Prediction 1997-09-19 Estimating the Absolute Position of a Mobile Robot Using Position Probability Grids 1996-02-05 Parallel Programming of Rule-based Systems in PARULEL 1995-04-17 Why Not Consider Closed Universes? 1998-05-25 Compositional Verification of Real-time Systems 1995-08-25 User Lenses -- Achieving 100% Precision on Frequently Asked Questions 1997-03-20 Unification Factoring for Efficient Execution of Logic Programs 1994-09-02 A Metrics Suite for Concurrent Logic Programs 1998-01-06 Keyword Search In Handwritten Documents 1970-01-01 An Algebraic Specification of a Language for Describing Financial Products 1996-02-09 A KDD Framework for Database Audit 1998-12-09 Robust State Sharing for Wide Area Distributed Applications 1997-09-19 Sampling to Provide or to Bound: With Applications to Fully Dynamic Graph Algorithms 1997-06-28 An On-Line Algorithm for Improving Performance in Navigation 1998-06-29 Charge - Vortex Duality in Double-Layered Josephson Junction Arrays 1995-12-21 On the Stability of Fuzzy Systems 1996-04-15 M A L Thathachar A Hybrid Power Model for RTL Power Estimation 1997-11-20 A Hermite Subdivision Scheme for the Evaluation of the Powell-Sabin 12-Split Element 1998-09-22 Snap-Stabilizing PIF Algorithm in Tree Networks Without Sense of Direction 1999-04-21 Implementation of Derived Programs Almost for Free 1998-02-24 Constructing Transition Models of AI Planner Behavior 1996-08-15 .1 Outline 1995-12-06 Understanding "Why" in Software Process Modelling, Analysis, and Design 1994-03-11 Stock Price Prediction using Neural Networks 1997-09-11 F. W. Op 't L The Acquisition of a Lexicon from Paired Phoneme Sequences and Semantic Representations 1994-07-15 Carl De Marcken Assumption/Commitment Rules for Data-flow Networks -- with an Emphasis on Completeness 1997-09-29 Demonstration of the COntext INterchange Mediator Prototype 1998-01-27 Multilingual Lexical Representation 1994-11-17 Ann Copestake An Annotated Bibliography on Object--Orientation and Deduction 1997-08-22 The intersection of Finite State Automata and Definite Clause Grammars 1995-04-28 Quark Masses and the Chiral Condensate With a Non-Perturbative Renormalization Procedure 1998-09-15 Binding of Multivalent Ligands to Cells: Effects of Cell and Receptor Density 1994-12-08 A First-order Conditional Logic with Qualitative Statistical Semantics 1996-06-07 Ronen I. Brafman DiGraph/Occam: Users Guide 1995-04-07 On the Semantic Readings of Proof-Nets 1997-12-06 The Nomad Collaboration 1997-06-19 Boris A. Popov A Benchmark For Classifier Learning 1995-05-17 Zijian Zheng Automatic PID Tuning: An Application of Unfalsified Control 1999-02-04 An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus 1997-12-21 Feature Selection and Hypothesis Selection Models of Induction 1994-07-08 Numerical Simulation of Shock Wave Generation with KALIF 1996-10-04 Forschungszentrum Kalrsruhe Inr Eigentransforms for Region-Based Image Processing 1996-01-25 Bayesian Integration Using Multivariate Student Importance Sampling 1996-02-14 On the Nature of Modal Truth Criteria in Planning 1994-04-11 Efficient Average-Case Algorithms for the Modular Group 1996-10-11 New Coverings of T-Sets With t+1-Sets 1998-01-28 Global Register Allocation Based on Graph Fusion 1996-03-27 Building Diverse Computer Systems 1997-01-17 A Sieve Auxiliary Function 1996-04-13 David Bradley Adding Animated Presentation Agents to the Interface 1997-04-22 Lower Bounds On Sequence Lengths Required To Recover The Evolutionary Tree Extended Abstract 1998-10-09 Active Mobile Robot Localization 1997-10-31 A Calculus for Boxing Analysis of Polymorphically Typed Languages 1997-02-20 An Annealed `Neural Gas' Network for Robust Vector Quantization 1996-05-29 Referral Whois Protocol RWhois 1994-12-13 WebWatcher: A Learning Apprentice for the World Wide Web 1997-04-15 Convergent Normal Forms of Symmetric Dynamical Systems G. Cicogna 1997-04-26 G. Cicogna Three-Dimensional Object Recognition is Viewpoint-Dependent 1999-01-18 Extravehicular Activity Compatibility Evaluation of Developmental Hardware . . . 1998-08-24 A Diagnosis Algorithm for Bridging Faults in Combinational Circuits 1996-01-10 Parameterized Spectral Distributions for Meson Production in Proton-Proton Collisions 1995-07-03 Agent-based Configuration Management 1996-10-17 Diagnostic Test Pattern Generation For Sequential Circuits 1998-07-13 On the Completeness of Object-Creating Database Transformation Languages 1999-02-03 An Orthographic Facet Image Library for Supporting Site Model Refinement and Visualization 1995-11-22 A Resource Allocation Model for QoS Management 1997-10-20 Faster Deterministic Sorting and Searching in Linear Space 1995-12-18 Arne Andersson Modules, Macros and Lisp 1994-09-09 Scattering of X-ray emission lines by a helium atom 1998-02-27 Evolving Robot Consciousness: The Easy Problems and the Rest 1999-01-13 Inman Harvey Characterization of Feasible Controls for Petri Nets with Unobservable Transitions 1997-10-27 Functional Programming and Linear Logic 1994-01-26 Yves Lafont Towards Object-based Wide Area Distributed Systems 1996-05-23 The Lattice of Data Refinement 1994-04-15 J. Von Wright State Space Reconstruction: Method of Delays vs Singular Spectrum Approach 1997-02-20 Solving Highly Constrained Search Problems with Quantum Computers 1999-02-09 Tad Hogg User Interfaces for Symbolic Computation: a Case Study 1994-06-23 Norbert Kajler Logic Programming as Quantum Measurement 1998-05-13 Roman R. Zapatrin Evolutionary versus Inductive Construction of Neurofuzzy Systems for Bioprocess Modelling 1998-02-04 P. Marenbach Managing Trust in Medical Information Systems 1997-03-28 A New Location Technique for the Active Office 1997-11-26 Exactly What is Stellar `Radial Velocity'? 1998-09-25 Using Complex Substitution Strategies for View Synchronization 1970-01-01 Efficient solvers for incompressible flow problems: An algorithmic approach . . . 1998-10-29 On an Approach to Optimization Problems with a Probabilistic Cost and or Constraints 1999-03-16 The Ricci Identity For General Connections 1996-04-11 Antonella Cabras Overview of the Core Language Engine 1997-03-27 S. G. Pulman Vacuum-Logic 1995-04-26 Using SNMP for creating Distributed Diagnostic Tools 1996-01-17 Comparing Interactive and Automated Proof: A Knowledge-modelling Approach 1996-01-09 James Stuart Aitken TROY: A Tree Oriented Approach to Logic Synthesis and Technology Mapping 1997-02-20 An Optimal Contracting Strategy in a Digital Library 1997-07-29 Random Sampling from Databases 1997-05-05 Frank Olken Towards a Framework for Hypermedia Scenarios 1998-07-06 On Using Network RAM as a non-volatile Buffer 1998-08-19 Civil Law and the Development of Software Engineering 1996-09-26 Martina Shapiro Modalities in Knowledge Representation 1995-09-20 Shortest Paths In R^3 With a Prescribed Curvature Bound 1997-11-07 H'ector J. Sussmann A Machine Learning Architecture for Optimizing Web Search Engines 1997-10-31 Widening Resources: A Cost-effective Technique for Aggressive ILP Architectures 1999-02-10 Speech Synthesis 1997-02-28 OASIS: An Open Architecture Scientific Information System 1996-01-11 Hamilton And Jacobi Meet Again: Quaternions And The Eigenvalue Problem 1993-10-14 Niloufer Mackey Library-Based Image Coding 1994-02-25 Nuno Vasconcelos Alternative Fetch and Issue Policies for the Trace Cache Fetch Mechanism 1998-01-27 :49. Due acknowledgement must always be made of the use of any material contained in, or derived from, this thesis. c 1998-10-22 Fraser Macdonald Unification via Explicit Substitutions: The Case of Higher-Order Patterns 1996-08-02 An Algebraic Perspective of Constraint Logic Programming 1996-02-17 Ra Di Pierro Composite Schemes For Conservation Laws 1997-07-11 Lampson et al, Authentication in Distributed Systems 1 1997-10-24 Teleportation - Seminar on Quantum Computation 1997-11-11 Lazy Wheel Sieves and Spirals of Primes 1997-04-23 Colin Runciman Representation of Spatial Frequency and Orientation in the Visual Cortex 1998-03-18 E. Kaplan Improving Cooperation Support in the EPOS CM System 1996-03-19 Robust Methods for EMC-Driven Routing 1997-05-23 Using reference counters in Update Based Coherent Memory 1995-11-06 Scratchpad's View of Algebra II: A Categorical View of Factorization 1997-08-12 The Global Brain as a Modeling Paradigm for Crisis Management 1994-05-16 A Mixed Finite Element/TVD Finite Volume Scheme for Saturated Flow and Transport in Groundwater 1998-03-20 Mixed-Mode Control of Navigation for a Lunar Rover 1996-03-04 Providing Quality of Service in Packet Switched Networks 1993-11-16 Don Towsley Transient Versioning for Consistency and Concurrency in Client-Server Systems 1997-10-27 Similar Classifiers and VC Error Bounds 1998-10-22 Eric Bax Blind Separation of Delayed and Convolved Sources. 1997-01-17 Unknown 1998-02-20 Duality Between the Local Spectrum of a Signal and its Inverse Fourier Transform, the Local Signal 1998-06-12 Expressive Power of Declarative Programming Languages 1999-03-10 Tatsuru Matsushita System for Accessing Astronomical Data 1998-04-14 Francois Ochsenbein Convergence Estimates For Solution Of Integral Equations With GMRES 1996-01-17 Formalizing a Spectrum of Plan Generalizations Based on Modal Truth Criteria 1994-03-02 Subbarao Kambhampati Loop Optimization for Dataflow Machines 1998-08-24 G. R. Gao Is Consistency Harmful? 1998-06-03 An Integrated Approach to Evaluating Text Coherence and its Application to the Prevention of Reader Misconceptions or The Joy of Detecting Incoherence in Texts 1997-10-03 Packets Found on an Internet 1992-09-15 Steven M. Bellovin View-Based Techniques for Searching for Objects and Textures 1995-10-20 Target Shooting with Programmed Random Variables 1999-04-16 Optimization of Thinned Phased Arrays using Evolutionary Programming 1998-02-16 Fast Parallel Sorting under LogP: from theory to practice 1994-10-16 Lower Bounds for Sampling Algorithms for Estimating the Average 1995-12-10 Anderson Localization for the Almost Mathieu Equation, III. Semi-Uniform Localization, Continuity of Gaps, and Measure of the Spectrum 1997-07-31 A Class of Robust Adaptive Controllers for Infinite Dimensional Dynamical Systems 1996-01-17 A Formal Graphical Based Process Modeling Methodology 1997-04-17 Making a Success out of Early Failures 1997-09-19 Formal Development and Verification of a Distributed Railway Control System 1998-06-20 Anne E. Haxthausen Toward Case-Based Preference Elicitation: Similarity Measures on Preference Structures 1999-02-05 KEIM: A Toolkit for Automated Deduction 1994-07-11 Approximation Algorithms For The Orthogonal Z-Oriented 3-D Packing Problem 1998-10-10 Evolving Sensors In Environments of Controlled Complexity 1995-01-05 The Challenges in Automated Testing of Multithreaded Programs 1997-10-02 Interactive Compilation and Performance Analysis with Ursa Minor 1998-12-07 The Logical Modelling of Computational Multi-Agent Systems 1997-10-22 Michael Wooldridge PALO: A Probabilistic Hill-Climbing Algorithm 1997-10-23 Russell Greiner Summary of Research 1994-1997 1998-01-05 Florian A. Potra Non-Clairvoyant Scheduling 1997-02-28 Essential Norms Of Composition Operators And Aleksandrov Measures 1997-05-20 Is it a Tree, a DAG, or a Cyclic Graph? 1999-02-08 On P-selective Sets and EXP Hard Sets 1997-07-07 Bin Fu CG Type Algorithm for Indefinite Linear Systems 1995-02-02 Renormalization and Transition to Chaos in Area Preserving Nontwist Maps 1997-04-26 Scenario-Based Analysis of Software Architecture 1995-10-18 Modeling Those F-Conditions -- Or Not 1997-04-14 Instruction Statistics in Array Signal Processing 1997-10-20 Mikael Taveniku Optimal Prefetching via Data Compression 1996-08-24 Code acquisition for LEO satellite mobile communication using a serial-parallel correlator with FFT for Doppler estimation 1998-02-09 Finding All Periods and Initial Palindromes of a String in Parallel 1995-04-03 Allophone Synthesis Using A Neural Network 1996-03-04 Server Ranking for Distributed Text Retrieval Systems on the Internet 1997-01-27 A Calibration Mechanism Identifying the Optimization Technique of a Multidatabase Participant 1996-08-05 Myra Spiliopoulou Generational garbage collection for Haskell 1993-03-19 The Design Of The Postgres Storage System 1994-02-17 Michael Stonebraker Combining Unreliable Pieces of Evidence 1996-03-15 Frans Voorbraak A Pure Reasoning Engine for Programming by Demonstration 1994-07-27 Case-Based Similarity Assessment: Estimating Adaptability from Experience 1997-09-14 A Linux-based Lab for Operating Systems and Network Courses 1997-05-20 On the Admissible Rules of Intuitionistic Propositional Logic 1999-03-05 Rosalie Iemhoff Unitary Equivalence: A New Twist On Signal Processing 1998-04-09 A Compile-Time Partitioning Strategy for Non-Rectangular Loop Nests 1997-11-06 Rizos Sakellariou A Situation Theoretic Approach to Computational Semantics PhD Thesis 1996-11-18 Alan W Black Cut Times for Simple Random Walk 1996-10-21 Gregory F. Lawler On The Fly Testing Of Regular Patterns In Distributed Computations 1997-12-19 Duration Calculus of Weakly Monotonic Time 1999-03-09 Topological Quantum Groups, Star Products and their relations 1997-04-26 Daniel Sternheimer Modeling Space Shuttle Software Failures at Varying Criticality Levels 1997-10-25 Experiences With an Environment Generation System 1998-09-09 A Core Language for Rewriting 1999-03-16 Department of Computer Science 1998-12-27 Darrell Whitley On the Concept of Concept in the Context of Autonomous Agents 1998-08-31 Paul Davidsson The Nimrod Computational Workbench: A Case Study in Desktop Metacomputing 1996-12-09 A Unix Implementation of the Comandos Virtual Machine 1995-09-01 Design And Implementation Of An Interpolator Using Wave Digital Filters 1997-04-09 The Biology of Eukaryotic Promoter Prediction - a Review 1999-01-21 Nomadic Threads: A Runtime Approach for Managing Remote Memory Accesses in Multiprocessors 1998-12-19 The Mechanics of Fine Manipulation by Pushing 1998-03-25 Kevin M. Lynch Implementing Garbage Collection in the PerDiS system 1998-03-31 A Text Understander That Learns 1998-06-03 Reciprocal Relations, Bounds and Size Effects for Composites with Highly Conducting Interface 1997-02-10 Robert Lipton Signal Processing Using Mhdl 1997-03-17 Mark Kahrs The Reactor: An Object-Oriented Wrapper for Event-Driven Port Monitoring and Service Multiplexing Part 1 of 2 1996-09-28 Balancedness of Permutation Games and Envy-free Allocations in Indivisible Good Economies 1999-03-04 Study Of The Motion Schedule For Iter Remote Handling Transport Casks 1998-11-03 Simulation of Acoustic Fields from Medical Ultrasound Transducers of Arbitrary Shape 1970-01-01 Sverre Holm Lower Bounds for Interval Routing on 3-Regular Networks 1997-01-31 Changing the System Style of Expert Systems 1998-12-28 Kim Sneppen 1997-12-11 M. E. J. Newman An Object-Oriented Functional Approach to Information Systems Engineering 1997-06-27 Reference Manual 1997-09-14 A Hierarchical Model of Binocular Rivalry 1997-07-11 Peter Dayan A Unified Framework for Hypothetical and Practical Reasoning 1: Theoretical Foundations 1997-11-13 Growing Radial Basis Function Networks 1995-11-25 P. Katenkamp Comparison of Iterative Improvement Techniques for Schedule Optimization 1997-06-21 An Integrated Shared Memory / Message Passing Api For Cluster-Based Multicomputing 1998-10-09 Syntactic Abstraction in Scheme 1992-07-03 Automatic Recognition Of Intonation From F 1994-08-01 Paul Taylor Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi 1997-04-30 Masahito Hasegawa Use and Meaning of Open Terms in Interactive Formal Problem Solving 1998-11-17 Using the SimOS Machine Simulator to Study Complex Computer Systems 1997-07-10 On a Volume Constrained Variational Problem 1998-07-21 Fusing Human Knowledge With Neural Networks in Machine Condition Monitoring Systems 1995-03-23 Clns 96/1452 Cleo 96-22 1998-03-18 Application Development and Execution in a Virtual Computing Environment 1998-07-09 Building a Framework for Successful Information Technology Transfer to Developing Countries: Requirements and Effective Integration to a Viable IT Transfer 1997-11-13 Goel Kahen Optical Character Recognition and Parsing of Typeset Mathematics 1997-02-04 Evolving Legged Locomotion in Virtual Creatures 1996-02-16 Daniel Nikovski A Lossless Version of the Hadamard Transform 1997-12-22 The Sampled-Data 1997-02-04 Decision Trees for Error Concealment in Video Decoding 1999-01-20 Ulfniida.liu.se Httpwww.ida.liu.selabslogproulfni 1997-06-13 Ulf Nilsson New Aspects of Field Theory 1997-04-26 Attaining High Confidence in Software Reliability Assessment 1997-11-14 The Ecology of Echo 1999-01-11 Enabling Department-Scale Supercomputing 1970-01-01 The Tempest, a Framework for Safe, Resource Assured, Programmable Networks 1999-03-11 Regularization of birational group operations in sense of Weil. 1996-02-06 Boundedness of Oriented Walks Generated By Substitutions 1997-09-05 De Bordeaux Optimistic Parallel Computation: An Example from Computational Chemistry 1997-10-27 Monotonicity Of Primal And Dual Objective Values In Primal-Dual Interior-Point Algorithms 1996-12-04 Michael J. Todd Levent Tunc¸el Computing Many Faces In Arrangements Of Lines And Segments 1998-02-04 Musings on the Roles of Logical and Non-Logical Representations in Intelligence. 1994-10-17 Numerical Study of Single-Electron Effects in Systems of Small Tunnel Junctions 1996-05-14 On the Stability of Residual-Free Bubbles for Convection-Diffusion Problems and Their Approximation By a Two-Level Finite Element Method 1998-02-13 Computational Issues in Secure Interoperation 1997-10-14 A Path-Planning Algorithm for Image-Guided Neurosurgery 1996-12-13 Forschungsbericht Nr. 98--28 1998-12-15 H1 Collaboration 1998-07-20 H Collaboration Non-Volatile Memory for Fast, Reliable File Systems 1996-07-02 A General Theory of Sharing Graphs 1997-03-18 Stefano Guerrini Object-Oriented Formal Specification for Spatial Representation: A Terrain Model its Channel Network 1995-11-19 Bohdan Durnota A Limit Set Trichotomy for Order-Preserving Random Systems 1970-01-01 G3.11 Evolutionary planner/navigator in a mobile robot environment 1996-06-10 Jing Xiao On Indexed Data Broadcast 1998-07-21 Lattice Formulation of the Standard Model 1997-06-04 Improved Evaluation Of The Nnlo Qcd Effects In The Tau Decay, 1998-05-13 Piotr A. R¸aczka Constructing Reliable Distributed Communication Systems with CORBA 1997-01-26 Adaptive Information Filtering using Evolutionary Computation 1997-11-07 A Lower Bound for Primality 1999-04-02 Managing Operations Research Models for Decision Support Systems Applications in a Database Environment 1996-06-05 An Exponential Open Hashing Function Based on Dynamical Systems Theory 1996-11-02 On Multirate DS-CDMA Schemes with Interference Cancellation 1998-12-10 Second-Order Methods in Boltzmann Learning: An Application to Speechreading 1997-06-03 A Survey of Logging Uses 1995-03-10 Michel Ruffin A Model of Visual Contrast Gain Control and Pattern Masking 1997-06-20 WESCANEX `93 - 1 - Sk, CANADA; 1993; 1/9/96, v 1.0 revised 1996-02-13 A Neural Network Second Level Trigger for the H1-Experiment at HERA 1995-08-22 What are the Characteristics of Emotional Metaphors? 1996-12-18 Cornelia M. Verspoor Programming by Contract in a Distributed Object Environment 1997-06-24 Unavailable Data Sources in Mediator Based Applications 1998-09-25 Anthony Tomasic Gain Adaptation Beats Least Squares? 1995-08-15 Richard S. Sutton Enforceable Security Policies 1999-03-15 Fred B. Schneider Anti-extensive Connected Operators for Image and Sequence Processing 1998-05-25 How To Steal Code or Inventing The Wheel Only Once 1991-03-19 YARTOS Kernel support for efficient, predictable real-time systems 1992-12-14 Bounded-Independence Derandomization of Geometric Partitioning with Applications to Parallel Fixed-Dimensional Linear Programming 1999-03-11 Large Scale Experience with Industrial Stepping Motor Controllers and Resolver Read-out Systems at SPS and LEP 1996-04-15 Improving Execution Costs of Iterative Algorithms: a Method to Generate Adaptive Equivalents 1991-11-18 Performance Prediction Tools for Parallel Discrete-Event Simulation 1999-03-04 Effective Stability for Periodically Perturbed Hamiltonian Systems 1997-04-26 On-Line Real-Time Task Scheduling on Partitionable Multiprocessors 1998-09-07 Performance of an Occam/transputer implementation of interval arithmetic 1998-02-02 SLEDs: Storage Latency Estimation Descriptors 1998-07-02 Rodney Van Meter Product Data Management Systems: State-Of-The-Art And The Future 1998-03-06 Dennis Rock Recent Methods for RNA Modeling Using Stochastic Context-Free Grammars 1994-08-02 Internet Telephony: Architecture and Protocols an IETF Perspective 1998-07-02 Detecting Interleaving 1995-08-03 A Classification System for Credit Card Transactions 1995-11-21 Form Approved OMB No. 0704-0188 1998-04-09 Gary L. Farley Multiresolution Analysis And Wavelets On S<sup>2</sup>and S<sup>3</sup> 1996-02-07 Demand-driven Computation of Interprocedural Data Flow 1995-06-22 Low Latency Rendering on Pixel-Planes 5 1999-02-12 Bounds of the Expected Approximation Error in Optimal Inventory Policies 1997-06-06 Efficient Implementation of High-Level Parallel Programs 1995-03-24 F Boelter Hall Querying Semistructured Heterogeneous Information 1999-02-05 Weak Convergence and Linear Systems Duality 1999-01-20 Design Guidelines of a VHDL-based Simulation Tool for the Validation of Fault Tolerance 1995-08-04 Analytical Comparison of two Spatial Data Structures 1999-04-22 Optimal Graph Orientation with Storage Applications 1997-03-12 The Error-Reject Tradeoff 1999-03-12 Cooperative QoS Management for Multimedia Applications 1997-12-02 An Overview of Reflection and Its Use in Cooperation 1997-05-09 Designing a Program Multiviewer 1996-11-04 Dynamic Assessment for Operator Training 1997-06-09 Peak Power Reduction for Multicarrier Transmission 1998-09-23 John M. Cioffi Termination Proofs using gpo Ordering Constraints 1997-06-10 Oracles and Confluence - A Fixpoint Semantics for Concurrent Constraint Programming 1996-02-22 Sven-olof Nystrom The Competitiveness of On-Line Assignments 1995-03-23 Ramifications and Sufficient Causes 1997-10-13 Peter Grunwald A multi-level, Higher-Order Unification approach to ellipsis 1997-02-13 Non Interference: Past, Present and Future 1998-10-06 Adaptive Covariance Estimation Of Locally Stationary Processes 1998-06-08 Supporting Fine-Grained Data Lineage in a Database Visualization Environment 1997-04-12 Efficient Modeling of MemoryArrays in Symbolic Simulation 1997-07-31 Path Coupling, Dobrushin Uniqueness, and Approximate Counting 1997-02-11 Towards Practical Machine Learning Techniques 1995-02-09 Yoram Reich Acknowledgments 1996-03-10 The Text Encoding Initiative: Flexible and Extensible Document Encoding 1970-01-01 On Feature Selection and Effective Classifiers 1997-08-18 Chapter 1 Some Results in the Control of Flexible Mechanical Systems 1997-05-20 A Tracker for Broken and Closely-Spaced Lines 1997-12-04 Dynamic Attribute Grammars 1996-05-28 Feature Recognition for Interactive Applications: Exploiting Distributed Resources 1998-09-05 Replicated Invocations in Wide-Area Systems: A Possible Solution 1998-05-01 User Guide to the 1995-10-25 Derived Bedrock Elevations, Strain Rates, and Stresses from Measured Surface Elevations and Velocities: Jakobshavns Isbrae, Greenland 1995-06-08 Instructions for Authors Coding with L 1997-07-09 Predicate Migration: Optimizing Queries with Expensive Predicates 1995-06-04 Joseph M. Hellerstein Hyperscalar Processor Architecture 1995-06-17 Verification of a Biphase Mark Protocol 1998-09-29 Dynamic Belief Modeling 1996-06-25 Best Approximation and Cyclic Variation Diminishing Kernels 1996-07-31 Thinking Adaptively: the Demeter System 1994-06-22 A Methodology for Decompilation 1995-04-13 PROVERB - A System Explaining Machine-Found Proofs 1998-05-07 Xiaorong Huang Pruning, Interpreting and Evaluating Multi--Layer Perceptron Models Applied to Multi--Spectral Image Data 1970-01-01 Improving the Ant System: A Detailed Report on the 1998-06-04 Holger Hoos Positive mass theorem for hypersurface in 5-dimensional Lorentzian manifolds 1998-11-16 Xiao Zhang An Empirical Comparison of Interprocedural Pointer Alias Analyses 1997-12-17 Reliable Phase Stability Analysis for Cubic Equation of State Models 1997-08-19 The OpenGL Utility Toolkit GLUT Programming Interface 1996-04-19 Mark J. Kilgard Quasi-periodic Motions of a Rigid Body I 1997-05-12 A Bound For The Mordell-Weil Rank Of An EllipticSurface After A Cyclic Base Extension 1998-04-17 Joseph H. Silverman Recursive 3D Visual Motion Estimation Using Subspace Constraints 1999-01-22 Mid-Level Networks Potential Technical Services 1992-02-23 Vikas Aggarwal Optimizing Fortran90D/HPF for Distributed-Memory Computers 1997-06-02 Gerald H. Roth Factoring Integers and Computing Discrete Logarithms via Diophantine Approximation 1997-07-17 C. P. Schnorr Coreference and Modality 1998-01-07 Switch Cache: A Framework for Improving the Remote Memory Access Latency of CC-NUMA Multiprocessors 1998-11-11 Karin Golde 1998-12-07 Karin Golde Charge Reversal in Electrical Double Layers - a Balance between Energy and Entropy 1998-06-16 Visual Semantics Emergence To Support Creative Designing: A Computational View 1995-10-06 Data Integration using Self-Maintainable Views 1999-02-16 Scheduled Hot-Potato Routing 1997-03-30 On the Word, Subsumption, and Complement Problem for Recurrent Term Schematizations 1998-05-26 Miki Hermann The Use of Name Spaces in Plan 9 1994-06-12 Exotic Multiplications On Morava K-Theories And Their Liftings 1997-03-03 Andrew Baker Versioning Models 1996-02-12 Shrinkage Estimation and Direct Marketing Scoring Models 1998-08-16 Edward C. Malthouse Recovering from Bit Errors in Scalar-Quantized Discrete Wavelet Transformed Images 1998-11-18 Progressive versus Interlaced Coding 1996-03-11 Monotone Multigrid Methods for Elliptic Variational Inequalities II 1994-04-16 Ralf Kornhuber Pipelined Multi-Queue Management in a VLSI ATM Switch Chip with Credit-Based Flow-Control 1997-08-19 Existence and Uniqueness of the Entropy Solution to a Nonlinear Hyperbolic Equation 1997-11-19 Euclidean TSP part I 1996-11-07 Problem Solving in M0, Scheduling and Resource Allocation with VAD-heuristic 1997-08-29 Pierre-antoine Queloz Result Verification Algorithms for Optimization Problems 1995-05-17 Himanshu Gupta Char_align: A Program for Aligning Parallel Texts at the Character Level 1995-11-24 Kenneth Ward Church Network Performance Effects of HTTP/1.1, CSS1, and PNG 1999-01-04 Booster: A WWW-based. . . 1997-10-11 High Performance Ship Autopilot With Wave Filter 1995-02-15 Thor I. Fossen Collaborative Networked Communication: MUDs as Systems Tools 1997-02-28 Distributed Adaptive Integration: Algorithms and Analysis 1997-03-27 An Algebraic Framework for Physical OODB Design 1970-01-01 Blind Source Separation of Real World Signals 1997-03-13 Séparation Aveugle Au Second Ordre De Sources Corrélées. 1995-11-21 De Sources Corr Modeling constraints with the fuzzy logic inference processor FLIP++ 1996-04-02 Piecewise Polynomial Collocation For Boundary Integral Equations 1994-10-20 Profile-Assisted Instruction Scheduling 1995-09-11 High-Performance Sorting on Networks of Workstations 1997-04-12 All-to-all Broadcast on the CNS-1 1993-12-09 Silvia M. Muller Nonperfect Secret Sharing Schemes and Matroids 1997-06-26 Decomposition Of A Mixture Of Gaussian Ar Processes 1996-04-11 Natural Ranges of Supersymmetric Signals 1998-11-19 Asymptotically Achievable Performance in ATM Networks 1999-04-21 Extraction of Coherent Information from Non-Overlapping Receptive Fields 1998-01-13 Dario Floreano SPARSEIT++ User Guide 1998-05-31 P. A. Forsyth BER Performance of OFDM System in Frequency-Selective Rician Fading with Diversity Reception 1999-01-05 A Probe-based Algorithm for QoS Specification and Adaptation 1997-10-01 Interpolation Approach to Polynomial Matrix Triangularization 1997-03-13 Didier Henrion Spectral Analysis Of Large Finite Element Problems By Optimization Methods 1998-03-20 Translated by Eric Conrad. This draft copy was produced June 28, 1998. Typset with 1998-06-28 C. G. J. Jacobi Logarithmic Sobolev Inequality for Lattice Gases with Mixing Conditions 1997-04-26 Horng-tzer Yau Connection Semantics in MHDL 1997-03-17 Resve A. Saleh The Convenient Setting of Global Analysis 1996-09-11 The Thickness of a Minor-Excluded Class of Graphs 1995-10-17 Determination of the Stable Microstates of a Peptide from NOE Distance Constraints and Optimization of Atomic Solvation Parameters 1997-11-08 Uniqueness Theorems In Inverse Spectral Theory For One-Dimensional Schrödinger Operators 1997-04-26 F. Gesztesy Recent Advances in Visualization for Fluid Dynamics 1998-12-15 Feature-Based Shape Transformation for Polyhedral Objects 1998-11-03 On the stable implementation of the Generalized minimal error method 1998-08-17 Rudiger Weiss Chapter 13: From formal models to empirical evaluation and back again 1997-05-15 Inductive Database Design 1996-02-19 Characterization of Properties and Relations defined in Monadic Second Order Logic on the Nodes of Trees 1997-09-10 Roderick Bloem On States of Exit Measures for Some Superdiffusions : The Critical Case. 1998-02-27 A Performance Prediction Framework for Data Intensive Applications on Large Scale Parallel Machines 1998-07-13 Accurate Discretization of Gradients on Non-Uniform Curvilinear Staggered Grids 1994-06-28 P. Wesseling Reasoning with Logical Bilattices 1998-04-21 A Cooperative-Architecture Expert System for Solving Large Time/Travel Assignment Problems 1997-10-17 Compilation Techniques for Fair Execution of Shared Memory Parallel Programs over a Network of Workstations 1998-04-05 Branching Time Temporal Logic and Tree Automata 1996-04-15 Radial Symmetry Of Positive Solutions Of Nonlinear Elliptic Equations In 1996-12-06 Local Maximum Intensity Projection LMIP: A New Rendering Method for Vascular Visualization 1999-01-05 Profiling scheduling strategies on the GRIP parallel reducer 1992-04-03 Upwriting Strokes as Functionals 1997-08-29 Patrick C Hew Efficient Synaptic Pruning with Neuronal Regulation 1998-01-23 Design and Implementation of a Replay Framework based on a Partial Order Planner 1996-04-14 MaxPar Extensions for Isolating Performance Problems 1992-06-29 Samuel Ho SAR Phase Unwrapping Using Adaptive Recursive Smoothing 1998-07-01 Why Experimentation can be better than "Perfect Guidance" 1997-04-16 Task Resource Models and max,+ Automata 1995-11-07 A Polycyclic Quotient Algorithm 1996-09-07 Accounting for Context in Plan Recognition, with Application to Traffic Monitoring 1995-08-14 Are we better off without Counter-Examples? 1999-02-24 Nathalie Japkowicz Query Optimization for Selections using Bitmaps 1999-01-29 Ming-chuan Wu A Viewpoint-based Framework for Software Development Environments 1996-07-01 On the stability of the incomplete LU-factorizations and characterizations of H-matrices 1995-07-19 A. Messaoudi Sensor Planning in 3D Object Search: its Formulation and Complexity 1995-11-11 Interorganizational Workflow Management with Mobile Agents in COSM 1998-03-26 Obtaining Information from Heterogeneous Systems 1994-10-11 Gio Wiederhold Orienting Polygonal Parts without Sensors 1998-12-20 Kenneth Y. Goldberg Real-Time Recognition Of Broadcast Radio Speech 1996-01-10 On the Zero Set of the Wave Function in Superconductivity 1997-10-05 Sequential Scalar Quantization of Color Images 1997-01-17 Curriculum development in Informatics in Lithuania 1996-05-07 David Gilbert Lazy vs. Strict 1996-04-18 Philip Wadler Speaker Normalization Based On Frequency Warping 1997-01-17 An adaptive Chebyshev iterative method for nonsymmetric linear systems based on modified moments 1995-07-19 Support for Re-engineering-in-the-large 1970-01-01 Jean Marie Favre Generalized Support Vector Machines 1999-02-10 O. L. Mangasarian Categorical Modeling of a State Oriented Version of Linear Logic 1998-03-22 Alex Tucker Distributed Dynamic Data-Structures for Parallel Adaptive Mesh-Refinement 1997-11-07 Map Validation and Robot Self-Location in a Graph-Like World 1996-10-31 On The Adjoint Of The Maximal Function 1997-06-24 Alberto De La Torre Paraflow: A Dataflow Distributed Data-Computing System From Browsing to Teraflops 1998-11-03 Maximum Likelihood Methods in Radar Array Signal Processing 1998-03-24 On Interactive Evolutionary Algorithms and Stochastic Mealy Automata 1997-03-26 Gunter Rudolph Transportable Information Agents 1996-11-04 Unknown 1995-06-06 Using a Type Hierarchy to Characterize Reliability of Coding Schemas for Dialogue Moves 1998-03-18 Staffan Larsson Binary Relational Algebra Applied to Software Architectural 1996-04-26 R. C. Holt Grap --- A Language for Typesetting Graphs Tutorial and User Manual 1997-09-29 On the Power of Arrays with Reconfigurable Optical Buses 1970-01-01 On the Learnability of Discrete Distributions 1998-02-11 CLAIRE: a brief overview 1996-03-13 Cosine Transform Preconditioners for High Resolution Image Reconstruction 1999-03-08 An Array Data Flow Analysis based Communication Optimizer 1997-10-07 Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling 1996-07-23 Martin Adelantado The ORL Active Floor 1998-01-14 SUMMA: Scalable Universal Matrix Multiplication Algorithm 1995-05-12 Towards Situated Explanation 1994-12-30 GSAT and Simulated Annealing - a comparison 1997-03-13 Hidden Markov Model Analysis of Motifs in Steroid Dehydrogenases and their Homologs 1998-10-05 STiNG: A CC-NUMA Computer System for the Commercial Marketplace 1996-04-21 Tom Lovett An Architectural Model of the Non-linear Subunits of Complex Cells of Visual Cortex Based on Gated Intracortical Interactions 1996-05-10 Systematic Acquisition of Generic 3D Building Model Knowledge 1997-12-29 Roman Englert Let Them Fall Where They May: Capture Regions of Curved Objects and Polyhedra 1997-09-24 David J. Kriegman Gue Eigenvalues And Riemann Zeta Function Zeros: A Non-Linear Equation For A New Statistic 1997-02-19 P. J. Forrester Multiprocessor Scheduling for High-Variability Service Time Distributions 1995-06-15 Principles and a Preliminary Design for ML2000 1999-03-27 Smart Recompilation in the XE Compiler Extended Abstract 1996-08-08 Backward Error Recovery in Redundant Disk Arrays 1994-09-24 The Application of Neural Networks to Industrial Spectral Analysis, Identification and Classification 1996-09-26 The SIMODULA/OBJECTR Query Driven Simulation Support Environment 1996-01-26 Parallelization of an Evolutionary Neural Network Optimizer Based on PVM 1997-01-13 Thomas Ragg A Software Engineering Experiment in Software Component Generation 1970-01-01 Cryogenic Ultra Low Power CMOS 1995-10-03 James B. Burr Performance of a Data-Parallel Concurrent Constraint Programming System 1996-04-02 Bo-ming Tong Object-Oriented Database Systems for Geographic Applications: an Experiment with O_2 1995-07-17 Michel Scholl Investigating the Maintenance Implications of the Replication of Code 1997-07-09 Using Path Information for Query Processing in Object-Oriented Database Systems 1996-01-17 Cooperative Information Gathering: A Distributed Problem Solving Approach 1994-09-27 A Representation for the Binding of RT-Component Functionality to HDL Behavior 1996-10-10 Automated Discovery of Protein Functional Units from Amino-acid sequences using Rough-Sets-based Comparative Analysis 1995-12-13 A Taxonomy of Correctness Criteria in Database Applications 1997-09-12 Universal Distribution of Saliencies for Pruning in Layered Neural Networks 1998-09-25 Topological Parameters for time-space tradeoff 1996-12-06 Rina Dechter An Experimental Comparison of Appearance and Geometric Model Based Recognition 1996-06-19 A semidefinite bound for mixing rates of Markov chains 1995-10-10 Nabil Kahale Bisimulation Respecting First-Order Operations. 1996-02-20 Marco Hollenberg Security and Privacy for Partial Order Time 1998-10-06 Reliable Multicast Transport Protocol RMTP 1997-09-05 Regular Polygons are Most Tolerant 1997-05-28 William Evans Dynamic Maintenance of Kinematic Structures 1996-06-21 High Performance Image Processing using TTAs 1997-03-19 On Semantics of Algorithms with Continuous Time 1998-03-06 Anatol Slissenko An Analysis of Shorts in CMOS Standard Cell Circuits 1994-11-16 Learning One-Variable Pattern Languages Very Efficiently on Average, in Parallel, and by Asking Queries 1997-06-13 Conservation Laws With A Random Source 1996-06-12 Peculiar Velocities of Galaxy Clusters 1998-05-11 A Class of Flexible and Efficient Key Management Protocols 1996-05-30 Colin Boyd Validation of Object-Oriented Analysis Models using Informal Language 1996-06-25 Interior Point Methods for Nondifferentiable Optimization 1998-06-25 Augmented Encrypted Key Exchange: a Password-Based Protocol Secure Against Dictionary Attacks and Password File Compromise 1994-07-28 Large Heterogeneous Knowledge Bases 1993-10-20 Enn Tyugu Linguistics as Data Mining: Dutch Diminutives 1970-01-01 On The Classification Of Quadratic Harmonic Morphisms Between Euclidean Spaces 1995-11-02 Product Trader 1999-04-13 Dirk Riehle Incremental Semantics for Propositional Texts 1994-10-20 C. F. M. Vermeulen Diffractive 1997-12-03 Improved time domain equalization for ADSL 1997-12-22 Cutting Stock by Iterated Matching 1994-10-13 Parallel Solvers for Almost-Tridiagonal Linear Systems 1996-09-17 Tzu-yi Chen Replay and Distributed Breakpoints in an OSF DCE Environment 1995-06-05 Yuh Ming Yong Scientific Problem Solving in a Distributed and Collaborative Multimedia Environment 1998-05-18 SIMD Computing Performance 1996-07-09 Computable bounds for geometric convergence rates of Markov chains 1995-09-27 Dynamic Model of Visual Memory Predicts Neural Response Properties in the Visual Cortex 1995-12-19 Finger Tracking as an Input Device for Augmented Reality 1998-06-15 James L. Crowley Iso/iec Jtc1/sc22/wg5 1996-11-29 Finite Set Constraints in Oz 1997-08-29 A Model Elimination Calculus with Built-in Theories 1997-05-26 Peter Baumgartner IPTES SA/SD-RT Heterogeneous Model Toolset---High Level Functional Specification 1994-03-10 Pattern Classification As An Ill-Posed, Inverse Problem: A Regularization Approach 1997-12-01 A Comparison of Software Refinery and ASF+SDF 1998-07-08 Arie Van Deursen Multi-layered Image Representation: Application to Image Compression 1998-07-10 A Remark On The Instability Of The Bartnik-Mckinnon Solutions 1998-05-23 Equationnal Semantics 1998-10-21 Binomial-Beta Hierarchical Models for Ecological Inference 1998-10-27 An Overview of Production Rules in Database Systems 1999-02-05 Scalable Session Messages in SRM 1998-02-05 Tempering Backpropagation Networks: Not All Weights are Created Equal 1996-01-09 Toward Movement-Invariant Automatic Lip-Reading And Speech Recognition 1995-03-07 An Evaluation of an Automatic Markup System 1995-04-26 Non-Linguistic Influences On Rates Of Disfluency In Spontaneous Speech 1999-03-10 Interface Pinning And Finite Size Effects In The 2d Ising Model 1997-04-26 C. -e. Pfister A Fast Gibbs Sampler for Synthesizing Constrained Fractals 1998-08-11 Secure File Transfer Over Tcp/ip 1999-05-06 Achieving Reuse with Software System Generators 1995-02-21 Linearity, Sharing and State: a fully game semantics for Idealized Algol with active expressions 1997-04-21 OMG CORBA Scripting Language RFP Initial Submission 1997-12-09 Towards an Extensible Knowledge Refinement Tool 1997-01-15 Weighted Parameters in 1998-02-18 Life After Planning and Reaction 1994-05-29 Obtaining the Robot Path Using Automatically Acquired Models 1994-12-05 Window Systems Should Be Transparent 1994-06-12 Rob Pike Wavelet Transforms Using the Lifting Scheme 1997-04-28 Squeezed Condensate of Gluons and the Mass of the. . . 1997-07-01 New Methods For Adaptive Noise Suppression 1999-04-28 Object Identification: A Bayesian Analysis with Application to Traffic Surveillance 1998-06-10 How Large Does n Have to Be for Z and t Intervals? 1998-02-24 Lazy Depth-First Search and Linear Graph Algorithms in Haskell 1993-12-15 Techniques To Improve Maneuver Stability Characteristics of a Nonlinear Wide-Body Transport Airplane in Cruise Flight 1998-03-27 The "Out-Longitudinal" Cross Term and Other Model Independent Features of the Two-Particle HBT Correlation Function 1998-05-13 Compressing Cube-Connected Cycles and Butterfly Networks 1997-11-26 DSMC Grid Methodologies for Computing Low-Density, Hypersonic Flows About Reusable Launch Vehicles 1996-05-04 Accurate Geometric and Physical Response Modelling for Statistical Image Reconstruction in High Resolution PET 1970-01-01 Performance Evaluation of a Parallel I/O Subsystem for Hypercube Multicomputers 1995-04-04 Block-structured Recurrent Neural Networks 1999-03-17 Three Results on Interactive Communication 1996-03-21 Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules 1996-07-29 Masahiko Sato Recent Developments in Spoken Language Sytems for Information Retrieval 1995-06-24 Data Warehousing and Data Mining: Are we working on the right things? 1999-02-10 John F. Roddick<e Two Ant Colony Algorithms For Best-Effort Routing In Datagram Networks 1998-10-01 Deriving Formulae to Count Solutions to Parameterized Linear Systems using Ehrhart Polynomials: Applications to the Analysis of Nested-Loop Programs 1997-09-09 by Johannes Plass plass@thep.physik.uni-mainz.de Edition 1.9, June 1997 1997-06-21 Prehomogeneous Vector Spaces And Ergodic Theory I 1997-02-04 Akihiko Yukie CompuNet subgroup on Program Development, Analysis and Transformation 1995-11-03 A New Multi-Finger Tactual Display 1996-11-07 ERTL: an Extension to RTL for the Specification, Analysis and Verification of Hybrid Systems 1996-03-13 Generalization of higher order SAC to vector output Boolean functions 1999-04-23 Robust Estimation of Three-Dimensional Motion and Structure of Multiple Objects from Image Sequences 1997-08-01 How bad are Hankel matrices? 1995-07-19 Evgenij E. Tyrtyshnikov Copyright in Shareware Software Distributed on the Internet -- The Trumpet Winsock Case 1998-09-27 Inferring Web Communities from Link Topology 1998-09-24 An efficient representation in V1 1996-08-05 Roland Baddeley Characterization and Parameterized Generation of Synthetic Combinational Benchmark Circuits 1998-06-11 On the Power of Two-Local Random Reductions 1999-03-23 Dynamics, Dependency Grammar And Incremental Interpretation 1997-09-16 David Milward A Prettier Printer 1998-06-09 Philip Wadler Demeter and Aspect-Oriented Programming 1998-02-05 Karl J. Lieberherr On the Second Adjunction Mapping and the Very Ampleness of the Triadjoint Bundle 1996-12-16 Antihomogeneous Conjugacy Operators in Convex Analysis 1995-10-27 Alexander Rubinov Expressing Uniformity via Oracles 1998-07-23 Approximate Computation of Multidimensional Aggregates of Sparse Data Using Wavelets 1999-03-15 Th&#x00E9;mis: a Database Programming Language Handling Integrity Constraints 1996-07-18 Development of Oriented Ocular Dominance Bands as a Consequence of Areal Geometry 1997-05-15 H. -u. Bauer Statistical Ideas for Selecting Network Architectures 1995-07-06 B. D. Ripley Quasi-classical Logic: Non-trivializable classical reasoning from inconsistent information 1996-10-25 Numerical Simulation Of Surface Water Waves On The Sphere 1997-08-28 Panayotis Panayotaros Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations 1994-10-20 Maurizio Lenzerini Using Artificial Neural Networks and Image Segmentation to Assist in Mobile Robot Navigation 1994-10-05 Mark Stemm A Controlled Experiment Measuring the Effect of Procedure Argument Type Checking on Programmer Productivity 1996-07-10 The Input Output Timed Automaton - A model for real-time parallel computation 1997-04-06 Azer Bestavros Reinforcement Learning: A Survey 1997-10-15 An Efficient Solution to the Cache Thrashing Problem Caused by True Data Sharing 1998-08-14 Computing Swept Volumes for Sensor Planning Tasks 1994-08-15 Transaction Datalog: a Compositional Language for Transaction Programming 1998-05-15 Anthony J. Bonner How Far Away Are Gamma--Ray Bursters? 1995-05-18 High Performance Computing Algorithms for Land Cover Dynamics Using Remote Sensing Data 1999-02-04 Post's Program and incomplete recursively enumerable sets 1995-11-29 The MobyDick architecture 1997-07-14 Efficient Support for Interactive Operations in Multi-resolution Video Servers 1998-06-19 Performance of Parallel Schedulers for Distributed Graph Reduction 1993-11-22 James S. Mattson Caching and Prefetching Techniques for the Web 1996-12-17 Hany Saleeb A General Approach to Dual Characterizations of Solvability of Inequality Systems with Applications 1995-10-27 Distributed Advance Reservation of Real-Time Connections 1999-02-03 Over Words, Two Variables Are as Powerful as One Quantifier Alternation: FO&sup2=Sigma_2cap Pi_2 1998-02-16 Thomas Wilke Adjusting For Time Trends When Estimating The Relationship Between Dietary Intake Obtained From A Food Frequency Questionnaire And True Average Intake 1996-03-28 Organisational Learning using Method Engineering and Evolution Patterns 1997-05-07 J. P. Kolind Audio Support for an Object-Oriented Database Management System 1995-07-31 Thomas C. Rakow Efficient Type Inference Using Monads DRAFT 1994-01-17 Kevin Hammond Ongoing Research in CHIC-2: Decision making under uncertainty 1997-10-13 Carmen Gervet Using screend to Implement IP/TCP Security Policies 1994-04-19 Jeffrey Mogul N'eel Order in the Ground State of Spin-1/2 Heisenberg Antiferromagnetic Multilayer Systems 1997-04-26 Variable Window Gabor Filters and Their Use in Focus and Correspondence 1995-11-03 Characterizing Reference Locality in the WWW 1997-04-06 Performance Evaluation of a Distributed Architecture for Information Retrieval 1996-07-11 Worker-Checker --- A Framework for Run-time Parallelization on Multiprocessors 1998-08-26 A Representation and Learning Mechanisms for Mental States 1995-01-29 Scope and contents of generic functional protocol Page 5 1994-09-12 Architecture of a Neuroprocessor Chip for Pulse-Coded Neural Networks 1998-11-06 PREENS Tutorial How to use tools and NN simulations 1999-01-06 Louis Vuurpijl Analysis and Efficient Implementation of Functional Programs 1994-12-09 Peter Sestoft Mnesia - A Distributed Robust DBMS for Telecommunications Applications 1997-02-06 Investigating Structural Breaks in UK Manufacturing Trade 1970-01-01 Surface Reconstruction from Unorganized Points 1994-06-11 SGML and Exceptions 1996-07-03 Progress in Computer Vision at the University of Massachusetts 1995-12-20 On-line Load Balancing of Temporary Tasks 1995-10-11 Severe Withdrawal and Recovery 1998-08-21 A Rough Logic Formalism for Fuzzy Controllers: A Hard and Soft Computing View 1996-08-16 T. Y. Lin Data Mining In Temporal Databases 1998-12-07 Constrained Maximum Likelihood 1997-09-12 The Trading Function in Action 1997-10-22 NEULA: A hybrid neural-symbolic expert system shell 1995-01-09 Classification Trees 1998-11-25 Dissertation Proposal: Time-Critical Graphics 1994-02-17 Matthias M. Wloka On the Bounded-Skew Clock and Steiner Routing Problems 1995-03-17 Scalable Monte Carlo Image Synthesis 1997-06-18 Alan Heirich Autoepistemic Logic of Knowledge and Beliefs 1997-05-13 Teodor C. Przymusinski From Total Equational to Partial First Order Logic 1998-11-02 Testing the LAESA Algorithm in Handwritten Character Recognition Tasks 1996-09-12 A Parallel Interval Method Implementation for Global Optimization using Dynamic Load Balancing 1996-05-14 Examples of Convex Functions and Classifications of Normed Spaces 1996-03-02 Lower Bounds for Resolution and Cutting Plane Proofs and Monotone Computations 1998-03-03 On the Difficulty of Software Key Escrow 1996-11-04 Comparison of Precoding Schemes for Digital Subscriber Lines 1997-05-13 A Representational Analysis of Relational Information Displays 1996-02-22 Jiajie Zhang On the Construction of Hölder and Proximal Subderivatives 1997-03-24 Metadata Update Performance in File Systems 1995-08-02 Abstracting from Robot Sensor Data using Hidden Markov Models 1999-02-02 Resource Management in the Mungi Single-Address-Space Operating System 1999-02-11 Rigidity Of Coxeter Groups 1998-12-08 Stratos Prassidis Using SQL primitives and parallel DB servers to speed up knowledge discovery in large relational databases. 1998-09-28 An Empirical Analysis of C Preprocessor Use 1997-04-23 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 Combining Formal Techniques and Prototyping in User Interface Construction and Verification 1995-04-06 Multiple Concentric Annuli for Characterizing Spatially Nonuniform Backgrounds 1998-06-19 Implementing Cooperative Prefetching and Caching in a Globally-Managed Memory System 1999-01-04 Lepton-Flavor Violation in the Supersymmetric Standard Model with Seesaw-Induced Neutrino Masses 1998-05-15 Propagating Topological Tolerances for Rapid Prototyping 1996-08-05 General Bounds on the Mutual Information Between a Parameter and n Conditionally Independent Observations 1995-10-06 David Haussler Moufang loops and Malcev algebras 1995-07-25 P'eter T. Nagy On a Distributed Temporal Logic for Modular Object Systems 1998-06-22 A Performance Study of BDD-Based Model Checking 1998-12-19 Computable Real Functions: Type 1 Computability Versus Type 2 Computability 1997-04-11 Peter Hertling Automatic Motion Synthesis for 3D Mass-Spring Models 1998-02-26 Performance of Various Computers Using Standard Linear Equations Software 1999-02-07 Jack J. Dongarra Analysis and Transformations of Parallel Programs for Fast Data Sharing 1995-12-08 BiCG-FFT T-Matrix Method for Solving for the Scattering Solution from Inhomogeneous Bodies 1997-07-25 There Be Dragons 1994-04-19 Steven M. Bellovin Thai Generation System: Technical Report 1970-01-01 Using HTML Formatting to Aid in Natural Language Processing on the World Wide Web 1998-06-23 Dan Dipasquo Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis 1999-03-26 Balanced Gray Codes 1997-12-26 Analysis and Improvement of Task Schedulability in Hardware/Software Codesign 1995-04-18 Jakob Axelsson A New Look At Linguistic Importance Weighted Aggregations 1998-07-24 Semantics for Null Extended Nested Relations 1970-01-01 Simulation-Based Re-Synthesis of Sequential Circuits for Peak Sustainable Power Reduction 1998-10-08 Using Write Protected Data Structures To Improve Software Fault Tolerance in Highly Available Database Management Systems 1994-02-18 A Classification Based Similarity Metric for 3D Image Retrieval 1998-04-09 Every Niching Method has its Niche: Fitness Sharing and Implicit Sharing Compared 1997-11-21 Measuring the Effectiveness of a Simple Strictness Analyser 1995-05-17 Extending the Message Passing Interface MPI 1995-05-28 A connected complex simple centerfree Lie group whose exponential function is not surjective 1996-02-06 Non Linear Neurons in the Low Noise Limit: A Factorial Code Maximizes Information Transfer 1997-07-23 Object Recognition using Multidimensional Receptive Field Histograms and its Robustness to View Point Changes 1997-12-17 Three-dimensional Hydrodynamic Bondi-Hoyle Accretion. IV. 1998-02-09 M. Ruffert Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail 1998-11-29 Incremental Testing of Object-Oriented Class Structures 1998-08-05 Noncanonical Links in Generalized Linear Models - When is the Effort Justified? 1998-09-09 Non-Volatile Memory for Fast, Reliable File Systems 1995-07-12 The complexity of understanding line drawings of Origami scenes 1996-02-20 P. Parodi A Dependency Parser for Variable-Word-Order Languages 1999-04-12 Michael A. Covington Evolutionary Algorithms with Local Search for Combinatorial Optimization 1998-12-14 Implementing Constraint Imperative Programming Languages: The Kaleidoscope'93 Virtual Machine 1994-08-09 Unboxing using Specialisation 1996-11-13 µCode: A Lightweight and Flexible Mobile Code Toolkit 1998-06-26 Gian Pietro Picco RTP Profile for Audio and Video Conferences with Minimal Control 1996-06-17 Internet-draft H. Schulzrinne Signal-to-noise, Crosstalk and Long Range Problem Difficulty in Genetic Algorithms 1996-01-13 Hillol Kargupta A Simple Algorithm for Nearest Neighbor Search in High Dimensions 1996-11-22 Facility Location with Dynamic Distance Functions 1997-09-14 List Processing Primitives for Parallel Computation 1993-10-28 Three-Dimensional Projection Pursuit 1996-11-02 Guy Nason Assertions for Dynamic Shape Analysis of List Data Structures 1997-09-11 Adaptive Flow Orientation Based Feature Extraction in Fingerprint Images 1995-07-04 An HPSG Account of Relativization in Turkish Using Relational Constraints 1998-07-28 Attractor Switching by Neural Control of Chaotic Neurodynamics 1998-03-11 Estimating Normalizing Constants and Reweighting Mixtures in Markov Chain Monte Carlo 1996-11-26 Charles J. Geyer Multi-directional Multi-lingual Script Processing 1997-06-19 Approximate Load Balancing on Dynamic and Asynchronous Networks 1996-02-14 Dynamic Finite Element Methods for Second Order Parabolic Equations 1997-07-01 Daoqi Yang `Optimal Filtering' for some ill-posed problems 1994-11-07 Thomas I. Seidman Substitution: A formal methods case study using monads and transformations 1996-03-06 James Hook CONTROL: Continuous Output and Navigation Technology with Refinement On-Line 1998-08-12 A Habituation Based Neural Network for Spatio-Temporal Classification 1996-04-09 Theoretical Foundations for Abstraction-Based Probabilistic Planning Vu Ha and Peter Haddawy 1996-03-06 Elf: A Meta-Language for Deductive Systems System Description 1995-05-05 Frank Pfenning Protocol Support Fordistributed Multimedia Applications 1993-05-27 Pronunciation Variations In Emotional Speech 1998-05-18 Open Outsourcing Policy Service OOPS for RSVP 1997-08-05 Raju Rajan Object-Oriented 1996-08-23 Johannes Sametinger Computer Arithmetic: Principles, Architectures, and VLSI Design 1999-03-16 Two-Body Branching Ratios; an Experimental Review 1998-11-25 C. J. Batty M.J. Sawar, A.J. Cole, B.M. Smith 1993-07-20 Bit Error Probability of a Rapidly-Adapting Rake Receiver as a Function of Dwell Time 1996-06-18 Incremental Testing of Adaptive Software 1994-11-29 Monte Carlo Methods on Bayesian Analysis of Constrained Parameter Problems with Normalizing Constants 1996-10-11 Parallel Mining Algorithms for Generalized Association Rules with Classification Hierarchy 1998-06-08 A Survey on z_2 -Approximation Order 1999-03-05 Computational Geometry I 1997-12-09 D. T. Lee An Open Architecture Object Store System for Persistent Abstract Syntax Trees 1998-09-27 A Resource-Based Prioritized Bisimulation for Real-Time Systems 1995-06-12 Localization in a Coupled Standard Map Lattice 1998-01-13 S-I-R Epidemic Models with Directed Diffusion 1994-10-18 Using Signature and Caching Techniques for Information Filtering in Wireless and Mobile Environments 1995-12-15 Soundness and Completeness of Partial Deductions for Well-Founded Semantics 1996-05-24 Towards a Mathematical Specification of a Graph-Narrowing Machine 1996-12-21 The BNS Lower Bound for Multi-Party Protocols is Nearly Optimal 1995-10-20 Vince Grolmusz The Perception of Shading and Reflectance 1997-07-22 A Survey of Real-Time Operating Systems 1997-01-28 Cliques and Clustering: A Combinatorial Approach 1997-07-28 Relationlog: A Typed Extension to Datalog with Sets and Tuples 1998-09-02 Mengchi Liu tau-angelic choice: An operator to reduce irrelevant internal activity in process algebra 1996-06-26 Pedro R. D'argenio Multimedia Storage Servers: A Tutorial 1998-04-14 DFUP 112-95, gr-qc/9512040 1998-05-25 Giorgio Immirzi The Data Diffusion Machine with a Scalable Point-to-Point Network 1995-05-18 Multiple alarms, Major Goals and Implementation. 1996-01-17 B. Lublinsky Using Rapide to model and specify inter-object behavior 1995-03-30 Doug Bryan A Review Of Consistency And Convergence Of Posterior Distribution 1998-07-27 Subhashis Ghosal The Complexity of PDL with Interleaving 1997-04-07 PhosphoBase: a database of phosphorylation sites 1997-12-15 Learning With Unreliable Boundary Queries 1997-06-26 Learning From Examples With Unspecified Attribute Values Extended 1997-05-01 Statistical Evaluation of Neural Network Experiments: Minimum Requirements and Current Practice 1995-12-12 Arthur Flexer Non-Commutative Arithmetic Circuits: Depth Reduction and Size Lower Bounds 1998-01-02 How to preserve the benefits of Design Patterns 1998-07-07 Generalized Redundancies for Time Series Analysis 1995-05-26 Gray Codes for 1997-12-26 Matthew B. Squire New Results for the Analysis of Deterministic and Stochastic Petri Nets 1996-06-13 Reinhard German Combining Neural Network Regression Estimates with Regularized Linear Weights 1996-09-19 Getting to Know Each Other - Artificial Social Intelligence for Autonomous Robots 1996-11-21 Kerstin Dautenhahn An Introduction to Landin's "A Generalization of Jumps and Labels " 1998-11-12 Finding an Unpredictable Target in a Workspace with Obstacles 1997-01-31 Multimodal Maps: An Agent-based Approach 1996-07-08 The Design and Performance of a Real-time I/O Subsystem 1999-04-12 The Renaissance Distributed Object System 1995-01-12 Distributed Data Management: Unsolved Problems And New Issues 1995-02-19 Comparison of Demodulation Techniques for MSK 1996-04-12 Responsive Interaction for a Large Web Application 1997-08-21 Logarithmic-Time Updates and Queries in Probabilistic Networks 1996-02-29 JRes: A Resource Accounting Interface for Java 1998-09-16 Dynamic Programming via Static Incrementalization 1999-02-12 Adaptive Execution in Complex Dynamic Worlds 1995-06-29 Object Interconnections 1998-11-24 PRAGMA - the specification language for linking and executing modular specifications in LDL 1995-12-10 An Adaptive Method for Rendering of Curved Surfaces 1994-06-07 Sequentiality, Second Order Monadic Logic and Tree Automata 1998-08-05 H. Comon Estimates of the Rate of Convergence for Certain Quadrature Formulas on the Half-Line 1999-01-04 Adhemar Bultheel Automatic Design of Hierarchical Fuzzy Controllers Using Genetic Algorithms 1997-02-15 The Homotopy Method Applied to. . . 1996-01-13 Adaptive Fractal Coding of Still Pictures 1995-10-30 The Evaluation Dependence Tree: An Execution Record for Lazy Functional Debugging 1996-08-21 Henrik Nilsson Monte Carlo Simulation of Radiation in Gases with a Narrow-Band Model and a Net-Exchange Formulation 1996-07-16 Four text classification algorithms compared on a Dutch corpus 1998-12-18 Demonstrating Coherent Design: A Data Structure Catalogue 1995-04-03 Boolean Circuit Complexity of Algebraic Interpolation Problems 1999-04-09 Marek Karpinski High Level Design Proof of a Reliable Computing Platform 1970-01-01 Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation 1996-09-08 Exploiting Choice: Instruction Fetch and Issue on an Implementable Simultaneous Multithreading Processor 1996-02-27 Look-Ahead Techniques For Improved Beam Search 1996-12-02 A Note on the Characterization of the Global Maxima of a Tangentially Convex Function Over a Convex Set 1996-06-24 Yuri S. Ledyaev Contracts in Context 1992-09-08 Meta-Scripts as a Mechanism for Complex Web Services 1996-03-20 Automatic Parallel Parking and Returning to Traffic Maneuvers 1998-04-09 Accuracy of Memory Reference Traces of Parallel Computations in Trace-Driven Simulation 1991-06-07 Michel Theory of Symmetry Breaking and Gauge Theories 1997-04-26 Paola Morando Perceptual Grouping of Contour Segments Using Markov Random Fields 1999-02-25 Tool Support for Planning the Restructuring of Data Abstractions in Large Systems 1996-08-02 Superior performance in protein homology detection with the Blocks Database servers 1997-12-15 Applying a General-Purpose Planning and Learning Architecture to Process Planning 1995-11-21 The FeedBack Compiler 1998-04-13 Non-linear Goal Programming Using Multi-Objective Genetic Algorithms 1999-02-08 Kalyanmoy Deb How Much More Doa Information In Higher-Order Statistics? 1994-06-14 Eric Moulines Computational Issues in Secure Interoperation 1997-10-14 Machine Learning: Progress and Prospects 1998-01-16 Alexander Gammerman Convolutional Codes with Optimum Distance Spectrum 1998-03-10 A Fine-Grained Solution to the Mutual Exclusion Problem 1995-07-14 James H. Anderson Information Extraction from HTML: Application of a General Machine Learning Approach 1998-04-29 Dayne Freitag Quasar Populations in a Cosmological Constant Dominated Flat Universe 1994-11-19 Parallel and Distributed Simulation of Discrete Event Systems 1996-07-02 C++ Objects in DB2 1996-05-07 Segment Boundary Estimation Using Recurrent Neural Networks 1999-03-30 Specifying Concurrent Systems with TLA+ 1999-03-11 Learning to Plan Probabilistically From Neural Networks 1998-04-28 Ron Sun Designing Asynchronous Parallel Process Networks for Desirable Autonomous Robot Behaviors 1996-11-01 Fsck - The UNIX File System Check Program 1996-05-17 Multilevel Formulations In The Limit Analysis And Design Of Structures With Bilateral Contact Constraints 1996-05-07 Sprite Position Statement: Use Distributed State for Failure Recovery 1993-10-14 Conference, San Diego, CA, July 1996 1996-09-19 Numerical Integration for Multivariable Functions with Point Singularities 1994-06-30 Beyond Predictive Accuracy: What? 1998-05-18 Christophe Giraud-carrier Human Behavior, Computation, and the Design of Manufacturing Systems 1995-10-18 On Bunched Predicate Logic 1999-04-26 Closed-form solutions of the Schrodinger equation for a class of smoothed Coulomb potentials 1997-04-26 Charles W. Clark Learning with Graphical Models 1994-07-29 Wray L. Buntine The Principal Components of Natural Images 1997-08-18 Active Object Recognition By View Integration and Reinforcement Learning 1998-11-05 Classification Of Spatio-Temporal Patterns With Applications To Recognition Of Sonar Sequences 1995-04-04 Joydeep Ghosh Integrating Temporal, Real-Time, and Active Databases 1996-01-23 Feedback Stabilization of Nonholonomic Systems in Presence of Obstacles 1996-12-20 Combining Rewrite Tools for Equational Logic Programming 1996-09-24 String Rewriting and Gröbner Bases - A General Approach to Monoid and Group Rings 1999-02-04 Fibre Crowding, Fibre Contacts and Fibre Flocculation 1996-01-07 C. T. J. Dodson ARMADA Middleware and Communication Services 1999-01-08 Integrating External and Internal Clock Synchronization 1996-06-05 Michel Gien 1993-01-13 Michel Gien Improving Robot Plans During Their Execution 1994-11-15 Communication Protocols for SCM-WDM Networks 1997-11-11 Polynomial Time-Marching for Three-Dimensional Wave Equations 1999-03-12 Yong Luo A Visual Interface for Human-Robot Interaction 1999-01-22 Ten Unsolved Problems in Rendering 1994-06-15 Paul S. Heckbert Complexity Results for 1-safe Nets 1997-07-21 Characterization of Prokaryotic and Eukaryotic Promoters Using Hidden Markov Models 1996-08-27 Active Self-calibration of Hand-mounted Laser Range Finders 1998-11-09 Visual Behaviors for Docking 1995-05-23 Jos'e Santos-victor Giulio S Designing An Ecology Of Distributed Agents 1998-08-28 State Space Reconstruction Parameters in the Analysis of Chaotic Time Series - the Role of the Time Window Length 1996-03-14 D. Kugiumtzis An Open Visual Model For Object-Oriented Operating Systems 1996-06-28 How to ScaleTransactional Storage Systems 1996-07-15 Automatically Exploiting Implicit Parallelism in Multi-way Recursive Methods in Java 1997-01-14 Inference and Learning in Hybrid Bayesian Networks 1998-10-15 Kevin P. Murphy Concurrent Objects in a Process Calculus 1996-08-19 Scheduling Independent Tasks to Minimize the Makespan on Identical Machines 1995-09-02 ordering in scalable shared-memory multiprocessors. In 1997-08-30 Crooked Functions, Bent Functions, and Distance Regular Graphs 1998-07-02 Phase Transition in the Passive Scalar Advection 1999-01-23 Artificial Neural Networks and Artificial Immune Systems: Similarities and Differences 1970-01-01 Dipankar Dasgupta Cost-Based Optimization of Decision Support Queries using Transient-Views 1998-03-08 Mobile Computing with the Rover Toolkit 1996-12-03 HPF Array Statements: Communication Generation and Optimization 1998-05-09 Recursive 3D Visual Motion Estimation Using Subspace Constraints 1996-12-30 Defined Topological Relations in Description Logics Carsten Lutz and Ralf Moller 1997-09-09 Design of Modular Fault Tolerant Manipulators 1994-05-27 Parallel Programming on a Distributed System 1994-09-20 Joep Vesseur Geometric Saliency of Curve Correspondences and Grouping of Symmetric Contours 1998-07-27 Bounded Space On-Line Bin Packing: Best is Better than First 1998-11-25 An Adaptive Poly-Parental Recombination Strategy 1996-05-02 Jim Smith T. C. Fogarty A Strong Normalization Result for Classical Logic 1970-01-01 A Large-Step Infeasible-Interior-Point Method For The P * -Matrix LCP 1999-03-28 GeoSheet: A Distributed Visualization Tool for Geometric Algorithms 1994-12-04 Trust in the Lambda-Calculus 1995-06-15 Jens Palsberg Peter Ørbaek A quick introduction to Banach space model theory 1997-04-11 Integrating Reactive and Deliberative Planning in a Household Robot 1993-11-05 Constructive Design of a Hierarchy of Semantics of a Transition System by 1997-10-17 Scheduling Strategies for Mixed Workloads in Multimedia Information Servers 1998-03-31 A Framework For Gesture Generation And Interpretation 1999-01-29 Justine Cassell Learning Bayesian belief networks with neural network estimators 1997-03-24 Record-Boundary Discovery in Web Documents 1998-11-02 Genetic Programming and Data Structures 1996-12-05 William Benjamin Langdon Ordinal Measures for Visual Correspondence 1997-04-18 A Study of Maximum Matching on Boltzmann Machines 1999-02-11 Performance Guarantees on ATM Networks 1994-02-15 Mid-Level Networks Potential Technical Services 1992-02-25 Vikas Aggarwal Utilizing Behavioral Abstractions to Facilitate Maintenance during Class Evolution 1994-02-25 Linda M. Keszenheimer On the Evaluation of Microcalcification Detection Algorithms 1997-08-28 Unsupervised Classification Learning from Cross-Modal Environmental Structure 1994-11-23 Virginia Ruth De Sa Solution of Shifted Linear Systems by Quasi-Minimal Residual Iterations 1992-10-31 Roland W. Freund Constructive Algebraic Geometry in Nonlinear Control. 1993-10-14 Borel Normality and Algorithmic Randomness 1996-02-05 Sheaves over Right Sided Idempotent Quantales 1998-06-04 Francisco Miraglia Deformable Surface Techniques for Field Visualization 1998-07-09 Blind Separation And Blind Deconvolution: An Information-Theoretic Approach 1995-08-01 Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems 1999-04-17 Some Pieces Of French Poetry 1997-10-29 Our Paper for the PUI Workshop 1998-06-03 The Concept of Visual Classes for Object Classification 1998-06-15 Issues and Experiences in Implementing a Distributed Tuplespace 1997-10-02 Robustness in Linguistic Formalisms 1998-05-20 Frederik Fouvry Diffpack: A Software Environment for Rapid Protoptying of PDE Solvers 1998-01-31 Higher Order Local Autocorrelation Features of PARCOR images for Gesture Recognition 1997-08-25 Takio Kurita Implementing Bit-addressing with Specialization 1997-04-24 Scott Draves Comparing Refinement in Z and TAM 1995-05-03 Simon Atkinson Case-Based Probability and Case-Based Decision Making 1998-02-16 Eyke Hullermeier Climate Change Science and Policy: Lessons form India 1997-11-26 Galois Theory of Commutative Rings Revisited 1997-06-30 An Architecture for Homogenizing Federated Databases 1994-11-14 Correlations of cortical Hebbian reverberations: theory vs experiment 1996-01-15 The Economics of Large-Memory Computations 1997-03-17 Clark D. Thomborson Fast Programs for Finding Maximum Planar Subgraphs 1995-08-03 Set Theory Is Interpretable In The Automorphism Group Of An Infinitely Generated Free Group 1997-12-01 Vladimir Tolstykh MAP: Mobile Assistant Programming for Large Scale Communication Networks 1999-03-09 Andrzej Duda Discussion of "The EM algorithm - An old folk songsung to a fast new tune" by Xiao-Li Meng and David van Dyk in JRSSB 593 1997 1997-08-20 Analysis, Interpretation and Synthesis of Facial Expressions 1995-02-25 Irfan Aziz Essa Position-Independent Near Optimal Searching and On-line Recognition in Star Polygons 1999-03-16 An Industrial Strength Theorem Prover for a Logic Based on Common Lisp 1997-07-17 Constraint-Based Queries In A Geographical Database For Network Facilities 1998-01-20 Mainguenaud Michel Emerging Opportunities for Theoretical Computer Science 1996-10-16 On the Security of Interactive DSA Batch Verification 1997-03-20 Typing and Subtyping for Mobile Processes 1996-08-18 The Fast Steepest Descent Path Algorithm For Analyzing Scattering From Two-Dimensional Objects 1997-07-25 Lightweight Closure Conversion 1996-12-19 Paul A. Steckler Asymptotics Beyond All Orders For A Low Reynolds Number Flow 1995-05-29 Supersymmetric Electroweak Cosmic Strings 1998-05-14 mCWEB, an Extension of CWEB for Teams 1998-11-26 Generalized Digital Trees and theirDifference--differential Equations 1996-04-29 Bruce Richmond User Manual for the IPTES SA/RT Logical Model Toolset 1994-03-10 Deriving Programs that Develop Programs 1997-06-04 Christoph Kreitz Lightweight Active Router-Queue Management for Multimedia Networking 1999-02-03 Schumacher's Quantum Coding Revisited 1999-03-22 Andreas Winter A Scheme for Adaptive Biasing in Importance Sampling 1998-02-12 Poul E. Heegaard Mariposa: A Wide-Area Distributed Database System 1997-04-12 Multicast Extensions to OSPF 1994-03-23 Discrete Filtering Using Branching and Interacting Particle Systems 1999-02-17 Efficient Declarative Programs: Experience in Implementing NAS Benchmark FT 1993-10-21 Concurrent Shadow Paging: A New Direction for Database Research 1993-12-19 Tatu Ylonen The QuickRing ATM Switches 1996-03-07 Danchi,bester,hale,2 1999-02-10 PREview: Tackling the Real Concerns of Requirements Engineering 1997-02-24 Parsing Techniques - A Practical Guide 1998-09-18 Evolution of Object Behavior using Context Relations 1996-08-20 Relative Undecidability in Term Rewriting 1997-04-18 Schwinger Particle-Production Mechanism for a Finite-Length Flux Tube with Transverse Confinement 1998-05-23 A Derivation Formula for Convex Integral Functionals Defined on 1995-10-27 Minimum Mean Square Error Transform Coders 1998-12-15 Tor A. Ramstad Recycling Lingware in a Multilingual MT System 1997-05-07 Towards the Generation of Hypermedia Structure 1995-07-25 Bernstein-Walsh Theorems For Elliptic Operators 1997-03-10 J Ozef Siciak On the use of fractional Brownian motion in the theory of connectionless networks 1994-10-07 Ilkka Norros Animat Navigation Using a Cognitive Graph 1998-06-10 Minimizing Cumulative Error in Discourse Context 1997-02-06 Coherent laser radar for vibrometry: Robust design and adaptive signal processing 1995-06-09 Implementing the Meta-Theory of Deductive Systems 1995-05-05 SurfaceGeometry From Cusps of Apparent Contours 1995-05-11 Some Useful Lisp Algorithms: Part 2 1998-02-13 Richard Waters Liouville Field Theory and 2d Gravity 1998-12-18 George Jorjadze A Codebook Generation Algorithm for Document Image Compression 1997-01-14 Coherent Structures in Deforming Granular Materials 1997-03-19 John R. Williams An Empirical Study: Adding Voice Input to a Graphical Editor 1997-05-10 Automating Most Parts of Hardware Proofs in HOL 1997-12-19 The HealthDoc Sentence Planner 1997-09-11 DLX Simulator Directed Profiling 1995-09-10 Sumithra Jagannath Optimized Nearest-Neighbor Classifiers Using Generated Instances 1999-03-03 CFHT Capabilities for Mid-Infrared Observations: A Bonus for ISO 1970-01-01 with lattice NRQCD including 1998-05-25 Buying, Sharing and Renting Information Goods 1995-11-19 Hal R. Varian The Fractional Fourier Transform and Applications 1998-11-05 Lindstedt series, ultraviolet divergences and Moser's theorem 1996-01-05 Scalability of the Cedar System 1994-07-30 Standards And Reference Architectures : Their Purpose And Establishment 1999-03-15 Michael Wilson Polymorph: An Algorithm For Morphing Among Multiple Images 1997-09-17 Dead Code Elimination 1995-07-06 Examples of Fuzziness in Compilers and Runtime Systems 1997-11-11 A. C. Sodan Fixed-Priority Scheduling of Periodic Tasks on Multiprocessor Systems 1998-01-26 Interactive Multimedia Systems 1998-08-06 Isaac Kokkinidis Closeness, Prominence, and Binding Theory 1999-02-26 Haihua Pan A Fast Average Case Algorithm For Lyndon Decomposition 1996-01-04 Quantifying the Performance Potential of a Data Prefetch Mechanism for Pointer-Intensive and Numeric Programs 1970-01-01 Using Networks of Workstations for Database Query Operations 1997-11-12 Unsatisfied Variables in Local Search 1995-01-04 A Parallel Algorithm For Hierarchical Circuit Extraction 1997-01-09 Tools for Implementing Groupware: Survey and Evaluation 1994-06-28 Unifying Time and Uncertainty for Diagnosis 1996-04-09 Eugene Santos Evolution Semigroups And Robust Stability Of Evolution Operators On Banach Spaces 1997-04-26 Experimental Surface Pressure Data Obtained on 1996-08-07 Fusion Via Linear Combination for the Routing Problem 1998-11-25 Parallelisation of Tomographic Reconstruction Methods 1997-02-24 Fault Investigation and Trial 1992-12-30 Chonchanok Viravan An Efficient Checkpointing Method for Multicomputers with Wormhole Routing 1994-08-26 Measurement of Simulation Variance in Parameter Estimation 1996-01-30 Error Estimation and Adaptivity in Linear Static Finite Element Analysis 1998-05-02 Wavelet Coefficients, Quadrature Mirror Filters And The Group 1996-12-10 Stephen D. Howard Hap A Reactive, Adaptive Architecture for Agents 1995-06-16 A Unified Factorization Algorithm for Points, Line Segments and Planes with Uncertainty Models 1998-01-20 Journal of Graph Algorithms and Applications 1997-11-07 Unbounded Searching Algorithms 1995-01-05 Richard Beigel Increasing the capacity of a Hopfield network without sacrificing functionality 1997-07-24 Amos Storkey Data Replication in Mariposa 1995-06-14 Lower and upper bounds of the maximum number of Slater's orders of tournaments 1996-01-31 Improved Gaussian Mixture Density Estimates Using Bayesian Penalty Terms and Network Averaging 1995-07-06 Star Free Expressions over the Reals 1997-12-30 Alexander Rabinovich Generators of Seismic Events . . . 1998-10-07 Multicast Virtual Topologies for Collective Communication in MPCs and ATM Clusters 1996-01-30 Flexible Dynamic Models for User Interfaces 1997-01-15 Global Optimization for Neural Network Training 1996-06-24 A Bundle Method for Minimizing a Sum of Convex Functions With Smooth Weights 1994-09-09 Krzysztof C. Kiwiel Spin 3/2 Interacting Fields And Heavy Baryon Chiral Perturbation Theory 1998-05-14 Application of Piecewise Smooth Bivariate Interpolation to Multiphase Tabular Equation of States 1992-10-19 A Comparative Study of Reaching-definitions Analyses 1998-10-28 Multiple Sequence Comparison - A Peptide Matching Approach 1997-06-05 Decision-Making Under Ordinal Preferences and Uncertainty 1997-06-27 WWW Server System Configuration Tool 1997-09-24 Block Orthogonal Systems for Symmetric 1995-10-07 Finger Track - A Robust and Real-Time Gesture Interface 1998-06-16 Alexander Zelinsky Evaluating The Performance Of Active Contour Models For Real-Time Object Tracking