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é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ées: un Langage Fonctionnel Dé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