Bayesian Inversion Of Boundary Value Data 2001-03-22 Geo Nicholls Holon - Like Approach for Robotic Soccer 2000-05-04 Forms, Boards and Bleepers media and mobility in accident and emergency 2001-10-30 Combining Software-Implemented and Simulation-Based Fault Injection into a Single Fault Injection Method 2001-12-10 Recovery Proxy for Wireless Applications 2001-11-06 From Falsification to Verification 2001-05-31 Estimating End-to-End Cell Delay Variation in ATM Networks 2001-02-27 Quality of Service in Bluetooth Networking - Part I 2001-03-16 Virtual Method Resolution with Typed Alias Graphs 2001-01-17 Modelling Objects Having Quadric Surfaces Incorporating Geometric Constraints 1999-03-18 A C++ Transformation Framework 2000-11-02 ES3852/ Monetary Theory and Policy 2001-02-28 ATMS Evaluation Procedures 1998-09-08 An example of Real-Time Group Communication System 2001-06-14 An Operational Semantics for Timed RAISE 2000-07-11 The Partitioning of the Poleward Energy Transport Between the Tropical Ocean and Atmosphere 2000-09-02 Isaac M. Held Multi-Method Research: An Empirical Investigation of Object-Oriented Technology 2000-10-03 Design and Evaluation of MiMaze, a Multi-Player Game on the Internet 2001-03-30 The Interleaved Multichromatic Number of a Graph 2001-12-17 Valmir C. Barbosa II. The immune system defends the body against specific invaders: 1999-11-04 Explicit M/G/1 Waiting-Time Distributions For A Class Of Long-Tail Service-Time Distributions 2000-07-07 Ward Whitt Cooperative Computing for Distributed Embedded Systems 2001-11-16 Performance Estimation of Embedded Software with Pipeline and Cache Hazard Modeling 1999-06-07 Services for Modeling Metasystem Performance using Queueing Network Models 2000-10-26 Efficient Implementation of Adaptive Software 1994-11-27 Comments on Approximation Capability in CRn by Multilayer Feedforward Networks and Related Problems 1999-03-19 The eXtended Least Number Heuristic 2001-11-13 Algorithms for Matrix Groups and the Tits Alternative 2000-03-16 Robert Beals Distributed and Collaborative Volume Visualization 2001-02-07 Maximum Number of Different Distance Counts 2000-12-07 Dealing with One-Timer-Documents in Web Caching 1998-08-20 The Dying Fibonacci Tree 1999-10-28 Bernhard Gittenberger Deforestation of Functional Programs through Type Inference 2000-07-13 ISABEL Experimental Distributed Multimedia Application Experiments over Broadband Networks 1997-04-08 High Strong Order Explicit Runge-Kutta Methods for Stochastic Ordinary Differential Equations by K. Burrage and P. M. Burrage 1996-09-16 Accounting: Continuity and Transition 2001-05-30 QuickXPlain: Conflict Detection for Arbitrary Constraint Propagation Algorithms 2001-08-31 Ulrich Junker When Is More Not Better? 2001-01-12 Karen T. Sutherland Development of Web Interface of Image Analysis System DDGEL for 2D Gel Electrophoresis 1998-11-19 Vehicle Routing with Time Windows -- Finding optimal solutions efficiently 1999-09-15 Jesper Larsen Perturbed Turing Machines and Hybrid Systems 2001-06-08 Experimental Model-Based Control Design Using Multibody Codes 2000-08-19 Internet Traffic Modeling: Markovian Approach to Self-Similar Traffic and Prediction of Loss Probability for Finite Queues 2001-08-20 An Extensible Index for Spatial Databases 2001-04-27 Response to the Letter by Li and Cao 2000-11-09 A Parallel Unrestricted Depth Search Algorithm 2001-11-05 Invariant Features and the Registration of Rigid Bodies 1999-12-17 A Real-Time Head Nod and Shake Detector 2001-12-05 Cuppu Et Al: High-Performance Drams In Workstation Environments 1 2001-10-10 The modularity of the Barth-Nieto quintic and its relatives 2000-10-06 Elementary Derivations Of Identities For Bilateral Basic Hypergeometric Series 2001-04-05 Michael Schlosser The Sensitivity of Quantile Estimates to the Distribution Shape 2000-08-15 An Overview of the Visual Optimization Tools in JPEG 2000 2001-11-06 Answer Extraction Using A Dependency Grammar In Extrans 2001-06-14 Curriculum Vitæ 1999-12-30 Using a Text Planner to Model the Behavior 1996-10-14 Reva Freedman GRALPLA Translator Internal Report 2000-04-18 Building XML Query Forms and Reports with XQForms 2001-12-03 A Cutting Plane Approach for the Single-Product Assembly System Design Problem 2000-11-01 Database Case Tool Architecture : Principles For Flexible Design Strategies 1996-04-18 Climate Change Mitigation: Case Studies from the Czech Republic 1998-03-27 On Ringel duality for Schur algebras 2001-01-25 A Fast, Accurate Method To Segment And Retrieve Object Contours In Real Images 1999-07-13 New Methods for Studying Global Virtual Teams: Towards a Multi-Faceted Approach 2001-01-19 ORB Portability Joint Submission Final, Part 1 of 2, orbos/97-05-15 1997-10-17 Towards Multiscale Dynamic Data Reconciliation 2000-09-14 Veri cation of Erlang Processes by Dependency Pairs 2001-06-25 Generation of Virtual Reality Environments using Expert Systems 2001-03-05 Segmented Cardiac Volume Reconstruction - A Novel . . . 2001-04-09 3-D ICs: Motivation, Performance Analysis, and Technology 2001-04-11 Economic Dispatch: Applying Interval-Based Dependency Analysis to an Electric Power Problem 2001-10-05 Truncation Strategies For Optimal Krylov Subspace Methods 1999-04-28 Flip Zooming: An Alternative to DistortionBased Focus+Context Views 2001-09-16 Lars Erik Holmquist Granularity of Constraint-based Analysis for Java 2001-07-05 Building Secure Data Warehouse Schemas from Federated Information Systems 2001-11-16 Specification and Verification with References 2001-10-01 Sign-Balanced Posets 2000-02-11 A Modular Software Architecture for Real-Time Video Processing 2001-06-26 Internal Program Extraction in the Calculus of Inductive Constructions 2001-10-08 Paula Severi Search Pathways for Secondary Metabolites Based on Genome Analysis and Chemical Knowledge on Metabolism 1998-11-12 Accurate Mobile Robot Dead-reckoning With a Precision-calibrated Fiber Optic Gyroscope 2001-04-27 Observation Of The Radio Source / X-Ray Gas Interaction In The Cooling Flow Cluster Abell 2052 2001-07-13 On the Security of Homage Group Authentication Protocol 2001-08-03 Interactive Video Streaming with Proxy Servers 2001-12-04 Extinction Eect of Parasites on Host Populations 2001-11-01 ArchitecturalSupport for Parallel Reductions in Scalable Shared-Memory Multiprocessors 2001-08-02 TransparentCommunication Management in Wireless Networks 2001-08-01 David Angus Kidston Sampling Plausible Solutions to Multi-body Constraint Problems 2001-07-18 Selecting The Best System: A Decision-Theoretic Approach 2000-04-21 Stephen E. Chick Abelian Groups With Contractions II: Weak O-Minimality 1998-02-28 Franz--viktor Kuhlmann Chapter 6 The Organization of World Trade 2001-03-27 Natural Equivalences From Lattice Quasiorders To Involution Lattices Of Congruences 1999-12-14 Efficiency Of Time Segmentation Parallel Simulation Of Queueing Networks As A Function Of The Size Of The Network 2000-04-21 From States to Histories Relating State and History Views onto Systems 2001-12-05 Manfred Broy Reading Between the Lines: Lessons from the SDMI Challenge 2001-08-15 External Memory Data Structures 2001-08-13 Lars Arge Sideshow: Providing Peripheral Awareness of Important Information 2001-09-17 T10 Draft Project 1246D 1999-02-24 Sliced Configuration Spaces for Curved Planar Bodies 2001-02-07 Permutation Rewriting and Algorithmic Verification 2001-05-03 Nurture, Nature, Structure a Computational Approach to Learning 2001-10-17 Bas Rokers The Context-Based Constraint Language CCL for Components 2001-12-12 Motivation, Knowledge Transfer, and Organizational Forms 2000-12-06 A Responsiveness Approach for Scheduling Fault Recovery in Real-Time Systems 1999-05-12 Satisfiability of Systems of Equations over Finite Monoids 2000-12-09 DIME - Distributed Irregular Mesh Environment 1997-12-31 Roy Williams Highlighting pipelines offshore Norway: visualization and quantitative analysis 2001-10-17 A Minimally Informative Likelihood for Decision Analysis: Robustness and Illustration 2001-09-06 A Thread Taxonomy for MPI 1996-09-22 Augmenting the Workaday World with Elvin 2001-10-13 Combined Body Plethysmographic, Spirometric and Flow Volume Reference Values for Male and Female Children Obtained From Hospital Normals Aged 6 to 16 Years 2000-09-25 The Neutral Hydrogen Distribution In Luminous Infrared Galaxies 1995-11-04 Ftp.ecma.ch, 1998-12-06 Conformance and Mirroring for Timed System 2001-02-02 Bridging the Gap: 2001-03-12 Thomas J. Thompson The Role of Destination, Gender, and Household Composition in Explaining Remittances: An Analysis for the Dominican Sierra 2000-09-16 Adding Time to Functional Logic Programs Extended Abstract 2001-07-16 Rachid Echahed Combining Global Code and Data Compaction 2001-04-17 How to Write an IMVIP 2001 Paper 2001-11-14 A. N. Authortwo Prological Language Processing 2001-05-17 For Research 2001-12-18 David Benyon Early Practise and Integration - The Key to Teaching Difficult Subjects 1999-10-01 C Johansson An Evolutionary Approach to Fitting Constrained Degenerate Second Order Surfaces 1999-01-20 A Maximum Entropy Approach to Text Summarization 2001-09-17 Louisa Ferrier Automatic Pitch Contour Stylization Using a Model of Tonal Perception. 1999-02-22 Piet Mertens Warping Techniques for Light Fields 2000-06-06 Hartmut Schirmacher YAL2A: Yet Another LTL to Automata translator 2000-09-11 It Is A Far, Far Better Mean I Find... 2000-04-21 Susan M. Sanchez Quantum Mechanics of Neutrino Oscillations - Hand Waving for Pedestrians 1998-12-08 Harry J. Lipkin Application Support Architecture for a High-Performance, Programmable Secure Coprocessor 2000-05-25 On the Propagation of Long-Range Dependence in the Internet 2000-09-14 What is the Limit of Energy Saving by Dynamic Voltage Scaling? 2001-09-04 Typing Concurrent Objects and Actors 2000-10-18 Palm Game Design 2001-10-22 Pieter Spronck SAGE and Its Application to Inter-company EC 2000-10-15 A Cross-Decomposition Scheme for Two-Stage Stochastic Linear Programming 2001-01-05 Dennis L. Bricker Scalable Proxy Caching of Video under Storage Constraints 2001-05-13 The Case for Streaming Multimedia with TCP 2001-03-06 Weld: A Multithreading Technique Towards Latency-tolerant VLIW Processors 2001-08-13 MOOSE Crossing: Construction, Community, and Learning in a Networked Virtual World for Kids 1998-10-13 Design of a PLC Control Program for a Batch Plant - VHS Case Study 1 2001-06-05 Inga Sitzmann Peter Stuckey 2000-08-17 Combining Inclusion Polymorphism and Parametric Polymorphism 2001-02-09 Proofs of Distributed Algorithms: An Exercise 1999-04-27 A Computer-Aided Design Environment for . . . 2001-08-24 Dynamic Schedule Management: Lessons from the Air Campaign Planning Domain 2001-12-13 Fast Recovery of MPLS Paths 2001-06-23 Optimized Design of Ring-Mesh Hybrid Networks 2001-03-19 On the Verification of Coordination 2001-01-18 ANSI An Inductive Method for Software Process Improvement: Concrete Steps and Guidelines* 1999-04-03 An Exact Method for Analysis of Value-based Array Data Dependences 2001-02-27 Pseudorandom generators without the XOR Lemma 2001-05-15