A Heuristic Search Algorithm for Markov Decision Problems 2000-09-05 Solar Activity Studies through Coronal X-ray Observations 2000-07-25 Louise Harra-murnion Querying Very Large Multi-dimensional Datasets in ADR 1999-11-23 A Proof of Quasi-Independence Of Sliding Window Flow Control and Go-Back-N Error Recovery Under Independent Packet Errors 2000-03-20 Amarnath Mukherjee An Infinite Number of Monkeys 1995-06-28 David Beaver Local, A Posteriori, Pointwise, Residual Based Estimation Of The Finite Element Error For The Poisson Problem With Smooth Data 2000-08-18 Jens Hugger A PSF Library of Data Types 1997-03-03 RenderMan for Poets 1995-07-22 Larry Gritz Developing a Multimedia Toolbox for the Khoros System 1995-10-02 Homogeneous Einstein--Weyl Structures On Symmetric Spaces 1999-03-01 Megan M. Kerr On Learning Algorithms and Balancing Loads in Time Warp 1999-02-17 Myongsu Choe Algorithms for Scheduling Real-Time Tasks with Input Error and End-to-End Deadlines 1999-09-16 Security of Biased Sources for Cryptographic Keys 2000-07-30 Robust Classification With Context-Sensitive Features 2000-06-12 Peter D. Turney Revista de Matem'aticas Aplicadas 2000-06-08 Context Quantization and Contextual Self-Organizing Maps 2000-07-30 Thomas Voegtlin Strategies for Positive and Negative Relevance Feedback in Image Retrieval 2000-04-03 IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics 1970-01-01 Metapredicative Subsystems of Analysis 2000-08-30 Christian Ruede Phase transition for parking blocks, Brownian excursion and coalescence 2000-08-14 Reduced Complexity Input Buffered Switches 2000-03-27 Accelerating Hindsight - Lisp as a Vehicle for Rapid Prototyping 1998-05-07 Types for Proofs and Programs 1999-07-11 Bernd Grobauer Efficient Computation of Orthogonal Polynomials in Computer Algebra 1970-01-01 Combinators and Structurally Free Logic 1997-05-26 Comparison Of Mathematical Programming Approaches To Optical Ring Network Design 2000-01-04 The Network Desktop Of The Purdue University Network Computing Hubs 1999-01-20 Generative Power of CCGs with Generalized Type-Raised Categories 1997-08-07 Nobo Komagata Physics potential of the three Ph2 beam designs 2000-04-06 David A. Petyt Gaussian Hypergeometric Series And Combinatorial Congruences 2000-05-15 Scott Ahlgren Simulation, Ramification, and Linear Logic 1999-02-09 --- A Web-Centric, Multi-Server, Computer-Assisted Testing System 1999-08-23 Relating Theories of Actions and Reactive Control 1999-07-15 Parallel Symbolic Computation in ACE 2000-01-11 Empirical Orthogonal Functions 1970-01-01 David A. Randall Decoding Speech in the Presence of Other Sound Sources 2000-07-28 Has Our Curriculum Become Math-Phobic? an American Perspective 2000-04-26 Efficient B-rep Generation of Low Degree Sculptured Solids using Exact Arithmetic 1996-11-22 WRL Research Report 98/11 2000-01-28 Formal Methods in the Classroom: The Logic of Real-Time Software Design 1999-09-16 Locality of Reference, Patterns in Program Behavior, Memory Management, and Memory Hierarchies 1996-05-07 Paul R. Wilson Using Multi-Context Systems to Engineer Executable Agents 1999-11-26 Deformable Models for Object Segmentation 1999-03-24 A Supersoft Variable Low Luminosity X-Ray Source In The Globular Cluster M3 1997-05-22 Combining System Properties: A Cautionary Example and Formal Examination 1995-06-27 John Rushby MINOS Single Plane Prototype Draft Operational Safety Procedure 1999-11-01 A Metric for Positional Games 1998-11-10 J. Mark Ettinger FSMD Functional Partitioning for Low Power Using EnergyEstimation and Bounds 1999-09-17 How Useful Are Non-blocking Loads, Stream Buffers, and Speculative Execution in Multiple Issue Processors? 1999-01-27 A Robust Algorithm for Constructing Physical Maps From Noisy Non-Unique Probes Fingerprints 1998-07-21 J. Peng, C. Roos and T. Terlaky ISSN 0922--5641 Reports of the Faculty of Technical Mathematics and Informatics 99--?? Delft January, 1999 1999-08-28 Approximation of Pathwidth of Outerplanar Graphs 2000-07-14 Meta-MEME: Motif-based Hidden Markov Models of Protein Families 1999-08-25 Comment on Isard, Laxton and Eliasson, Simple Monetary Policy Rules under Model Uncertainty 1999-04-06 Lars E. O. Svensson Minimal Sense of Direction in Regular Networks 1999-08-30 Paola Flocchini A Lightweight, Link-layer, Source-based Routing Protocol for LEO Satellite Networks 1999-08-13 Formulating Update Messages 1997-06-17 Jon Hallett Efficient Collective Communication Operations in PVMe 1970-01-01 An Instruction Scheduling Library for SUIF 1997-09-02 Convergence of Reinforcement Learning With General Function Approximators 1999-07-28 On the Burnside Semigroups ... 1998-01-09 Alair Pereira Do Lago Extracting terminologically relevant collocations from German technical texts 1999-12-20 Ulrich Heid A Replicator Equations-Based Evolutionary Algorithm for the Maximum Clique Problem 2000-05-03 Claudio Rossi Bounds on Average Weighted Depth of Decision Trees 2000-01-08 Capturing Evolving Visit Behavior in Clickstream Data 2000-03-14 Unawareness and Bankruptcy: A General Equilibrium Model 1970-01-01 ObjectStore PSE/PSE Pro for Java API User Guide 1999-06-01 Optimal Test Access Architectures for System-on-a-Chip 2000-08-22 Krishnendu Chakrabarty Compiler Optimizations for High Performance Architectures 1997-09-02 Integrating DFM with CAD through Design Critiquing 1994-10-26 The Stanford FLASH Multiprocessor 1999-05-06 Shock-Based Reaction-Diffusion Bubbles for Image Segmentation 1998-07-30 Systems Research Center 1996-04-20 Safe Constraint Queries 2000-03-23 Application-Driven Automatic Subgrammar Extraction 1999-03-24 Text Enhancement in Digital Video Using Multiple Frame Integration 1999-07-14 Competitive Learning Clustering for Information Retrieval in Image Databases 1999-08-25 Bibliography for Practical Foundations of Mathematics 1999-01-27 State-Feedback Control of Rational Systems using Linear-Fractional Representations and LMIs 1999-05-25 Laurent El Ghaoui Fast Approximation of Self-Similar Network Traffic 1999-04-08 Vern Paxson Coordination of Active Objects by Means of Explicit Connectors 1999-04-09 Drafting Extended Entity--Relationship Schemas with QUEER 2000-01-25 Unknown 1970-01-01 Andrew U. Frank Application programming with Quarks 1998-01-22 Dilip Khandekar Evolutionary Computation Teaching at Birmingham 2000-07-27 Riccardo Poli Issues in Designing the Next Generation Transport Protocol 1999-02-14 Dheeraj Sanghi The MorphoSys Parallel Reconfigurable System 2000-03-22 A Typed Functional Language Based on Sequent Calculus 2000-02-16 Mark Tarver Predicative Foundations of Arithmetic 1970-01-01 Production of Argument SubPrograms in the AXIOM - NAG link: examples involving nonlinear systems 1996-01-14 Virtual Spiders Guide Robotic Control Design 1999-09-15 Thiemo Krink PRECISE, a toolbox for assessing the quality of numerical methods and software 2000-04-11 E Traviesas Using Leases to Support Server-Driven Consistency in Large-Scale Systems 1999-02-09 Representing Knowledge within the Situation Calculus using Interval-valued Epistemic Fluents 1999-01-06 John Funge ActivityFlow: Towards Incremental Specification and Flexible Coordination of Workflow Activities 1999-10-27 A Hybrid System Investigation of Fluid-Filled Tanks 2000-03-08 Mixed Finite Element Solution of Elliptic Boundary Value Problems; A Case Study Based on DIFFPACK 1995-10-22 Workshop on Research Directions in Situated Computing: Position papers 2000-03-09 A Space Efficient Algorithm For Group Structure Computation 2000-08-29 Edlyn Teske Discrete Event Driven Simulator Manual 2000-09-10 Exploration in Machine Learning 1994-02-25 Michael P. Frank Industrial Need: Production System Engineering Integration Standards 2000-01-12 GTAPinGAMS: The Dataset and Static Model 1999-04-13 Thomas F. Rutherford Relic Neutralinos And Dark Matter 2000-01-09 Nicolao Fornengo Cv 1999-10-17 A Numerical Study on The Solidification of Liquid Metal Droplets Impacting onto a Substrate 1997-09-18 Proposed Joint 2000-09-07 Department Of Mathematics 1994-10-13 Bidding for Business: New Evidence on the Effect of Locally Offered Economic Development Incentives in a Metropolitan Area 2000-08-27 Design Guidelines for Coordination Components 2000-04-26 Optimal Adaptive Cruise Control with Guaranteed String Stability 1999-01-18 Triangular G¹interpolation by 4-splitting domain triangles 2000-01-06 Geophysics, Statistics in 1996-02-02 P. B. Stark Algorithms for Solving Linear Ordinary Differential Equations 1998-08-13 Winfried Fakler Information Integration and Red Queen Dynamics in Coevolutionary Optimization 2000-04-06 Unknown 1996-11-20 Martin Feldstein Un contre exemple `a une conjecture de Goncharov 1999-02-26 A Simple Approximation to Minimum-Delay Routing 1999-07-06 Srinivas Vutukury K. Fukuda and T. Terlaky ISSN 0922--5641 Reports of the Faculty of Technical Mathematics and Informatics 99--?? Delft January, 1999 1999-08-28 A note on "The Limited Performance Benefits of Migrating Active Processes for Load Sharing" 1996-05-30 Tara M. Madhyastha 1998-12-16 Tara M. Madhyastha Automata, Power Series, and Coinduction: taking input derivatives seriously Extended Abstract 1999-02-16 J. J. M. M. Rutten Inflation Targeting: Some Extensions 1998-08-20 Lars E. O. Svensson NiagaraCQ: A Scalable Continuous Query System for Internet Databases 2000-02-29 Simulating Facial Surgery Using Finite Element Models 1997-11-28 NIST Network Common Memory User Manual 1997-09-02 Don Libes Public Service Motivation: A Multivariate Test 1999-10-26 David J. Houston Layered Temporal DBMS's - Concepts and Techniques 2000-04-03 Weakly Constraining Multimedia Types Based on a Type Embedding Ordering 1998-08-14 Glish: A Software Bus for High-Level Control 1993-10-13 Vern Paxson Invariance Signatures: Characterizing contours by their departures from invariance 1997-10-03 A Ship without a Rudder 1999-07-16 Ranulph Glanville The Evolvability of Complex Organisms: The Quantitative Genetic Perspective. 2000-07-17 Gnter P. Wagner Dialogue Requirements for Argumentation Systems 1999-10-28 Beyond Passive Bids and Asks: Mutual Buyer and Seller Discrimination through Integrative Negotiation in Agent Based Electronic Markets 2000-05-29 Computing with Graphs and Graph Rewriting 1997-09-08 Exploiting Process Lifetime Distributions for Dynamic Load Balancing 2000-09-08 Canonical Heights On Elliptic Curves In Characteristic 1999-10-06 Matthew A. Papanikolas FT-ICR Study of Chemical Reaction of Silicon Clusters 1999-11-29 Transis: A Communication Sub-System for High Availability 1999-02-03 Strategies And String Operations 1997-11-08 Jurgen Koslowski The PVR System 1999-09-22 Automatic Key Video Object Plane Selection Using the Shape Information in the MPEG-4 Compressed Domain 2000-09-04 Sophisticated EWA Learning and Strategic Teaching in Repeated Games 2000-04-26 Flexible Reasoning Using Sensible Agent-based Systems: A Case Study in Job Flow Scheduling 2000-07-31 On the Algebraic Independence of the Values of E-Functions 2000-08-08 A. B. Shidlovskii The Emergence and Collopse of the State: A Game Theoretic Analysis with Computer Simulations 1998-12-25 An Analysis of Girard's Paradox 1999-09-10 Thierry Coquand Irreducible Linear Differential Equations of Prime Order 2000-04-15 Felix Ulmer Image Coding Based on a Morphological Representation of Wavelet Data 1999-12-02 Transformr: A Prototype STEP Exchange File Migration Tool 1994-02-10 Stephen Nowland Clark Campaign Rhetoric: a model of reputation 2000-03-09 A Comparison of Equation-Based and AIMD Congestion Control 2000-05-13 Intrinsic Stabilization of Output Rates by Spike-Time Dependent Hebbian Learning 2000-09-06 How to Solve It Automatically: Selection Among Problem-Solving Methods 1998-03-04 Eugene Fink Instructor/Teaching Assistant 1999-01-05 Optimal Availability Quorum Systems: Theory and Practice 1999-02-03 Yair Amir Extremely Metal-Poor Stars. VII. The Most Metal-Poor Dwarf, CS 22876-032 2000-09-04 Paving the Road to Business Process Automation 2000-02-25 P. Rittgen A Real-Time Algorithm for Medical Shape Recovery 1999-08-11 Some Puzzles of Predicate Possessives 2000-05-17 Semantics of Architectural Connectors 2000-05-04 J. L. Fiadeiro A. Lopes Managing change within BT's operational support systems 2000-07-17 SACE - CSCW: A Synchronous/Asynchronous Common Environment for Computer Supported Cooperative Work 1999-09-15 Dynamic Scheduling of a System with Two Parallel Servers in Heavy Traffic with Resource Pooling: Asymptotic Optimality of a Threshold Policy 2000-08-03 Polynomial Prediction of Noise Shaping Rayleigh Fading 1999-12-13 Natural Language Processing Applications of Machine Learning 2000-05-24 From Peer to Service, from Service to Peer - Object-Oriented Protocol Refinement in Kannel 1996-06-11 Damage Spreading andµ-sensitivity on CA 2000-09-01 Metacomputing: An Evaluation of Emerging Systems 2000-08-23 Elastic Material Model Mismatch Effects in Deformable Motion Estimation 2000-04-17 Fast Printed Circuit Board Routing 1999-10-29 Jeremy Dion Using Space-filling Curves for Multi-dimensional Indexing 2000-07-06 Location-Based Similarity Measures Of Regions 1970-01-01 Stephan Winter Experience Report: Using RESOLVE/C++ for Commercial Software 2000-09-06