TOP500 Supercomputers 1996-05-19 Robust World-Modelling and Navigation in a Real World 1996-08-20 Uwe R. Zimmer The Weakest Completion Approach to the Probabilistic Semantics 1970-01-01 Multiple Sequence Comparison and Consistency on Multipartite Graphs 1995-01-25 Space- and Time-Efficient BDD Construction via Working Set Control 1997-11-21 On the Fatness of Minkowski Sums 1999-12-02 Mark Berg A Tractable Class of Disjunctive Deductive Databases 1994-07-11 More metanilpotent Fitting classes with bounded chief factor ranks 1997-07-18 Hermann Heineken Evaluation of Disk Allocation Methods for Parallelizing Spatial Queries on Grid Files 1995-05-11 Relocability for SCM 1970-01-01 Andrzej Trybulec Home Agent Based Location Update and Destination Search Schemes in Ad Hoc Wireless Networks 1999-11-09 Ivan Stojmenovic Mapping Robust Parallel Multigrid Algorithms To Scalable Memory Architectures 1995-06-13 Global Ray-bundle Tracing 2000-03-01 Current Status of Polycrystalline Thin-Film PV Technologies 1998-09-24 Weight Space Probability Densities in Stochastic Learning: I. Dynamics and Equilibria 1970-01-01 Model-Free Estimation of Some Yield Metrics in Integrated Circuit Fabrication 1996-07-29 Narrowing confidence interval width of SVM learning risk function by algorithmic inference 2000-03-24 Speech Technology in Computer-Aided Language Learning: Strengths and Limitations of a New CALL Paradigm 1998-08-25 Bibliography 1997-04-04 An Overview Of Computational Aeroacoustic Modeling At Nasa Langley 1999-09-27 Dav I D Lockard What Sort of Architecture is Required for a Human-Like Agent? 1996-09-24 Aaron Sloman The Justified User Model: A Viewable, Explained User Model* 1994-06-10 Automated Bargaining Agents Preliminary Results 1995-01-19 Voice Input vs. Keyboard Accelerators: A User Study 1992-06-18 Locality Issues in Reliable Multicasting 2000-09-06 Kov David A. Carr An Extensible Classification Model for Distribution Architectures of Synchronous Groupware 2000-06-05 Jrg Roth Claus Unger A Unified Compiler Algorithm for Optimizing Locality, Parallelism and Communication in Out-of-Core Computations 1998-05-09 Stability Of The Partitioned Inverse Method For Parallel Solution Of Sparse Triangular Systems 2000-02-03 CAVEStudy: an Infrastructure for Computational Steering in Virtual Reality Environments 1970-01-01 On Covers of Point Sets in Finite Geometries 2000-09-18 Siaw Lynn Ng A Portable Run-Time System for Object-Parallel Systems 1997-01-27 Revised 5 Report on the Algorithmic Language Scheme 1999-01-28 The Relation between Default Logic and the Well-founded Semantics 1994-01-25 Pseudo-Linear Scale-Space Theory - Towards The Integration of Linear and. . . 1997-08-11 Contribution to the ATLAS B-field 3D Model 1995-09-11 Dokumenttikuvien Sisltpohjaisen Hakujrjestelmn Toteutus 1998-10-05 W couplings measurements at LEP 1998-06-02 An Adaptive Sensitivity 1996-11-12 Tiltrotor Vibration Reduction Through Higher Harmonic Control 1997-03-21 Performance Evaluation of Multithreaded Architectures with Data Prefetching Vladimir Vlassov 1996-04-09 Vladimir Vlassov Incorporating Hypothetical Knowledge Into The Process Of Inductive Synthesis 1999-03-05 Building Systems that Flexibly Control Downloaded Executable Context 1996-08-20 Baroclinic and Barotropic Aspects of the Wind-Driven Ocean Circulation 2000-06-02 Query-Sensitive Ray Shooting 1996-02-12 Hitch hiker's Guide to ESQIMO 1999-01-27 On Goal-Directed Provability in Classical Logic 1994-11-08 Acknowledgements 1997-02-24 Ramana L. Rao A Renormalization Group Study Of Self-Organized Criticality 1997-08-19 Jeff Hasty An Improved Neural Network for Segmenting Objects' Boundaries in Real Images 1997-09-23 Architecture and Coverage of the DISCO Grammar 1994-10-13 Priority Queue Operations and Selection for the BSP* Model 1996-10-30 Noninteracting Force/Motion Control of Defective Manipulation Systems 1970-01-01 A Counting Model for Software Reliability Analysis 1994-01-11 Bibliography 1999-12-08 On The Homogeneous Ideal Of Unreduced Projective Schemes 1996-02-27 Schemes Ballico The Investigation of Consciousness Through Phenomenology and Neuroscience 1995-09-28 Bruce J. Maclennan On Sequential Monte Carlo Sampling Methods for Bayesian Filtering 1999-08-02 Parallel Sphere Rendering 1996-09-10 Photoionization, Numerical Resolution, And Galaxy Formation 1996-04-28 The End-to-End Effects of Internet Path Selection 1999-07-06 Improvements in Web-based Educational Systems for Teaching Computing 2000-03-13 Andreas Ausserhofer Work Control for Newton Type Coupling 1999-06-04 Jurgen Menck Performance of Autonomy-based Systems: Tuning Emergent Cooperation 1998-11-19 Reflection and Hyper-Programming in Persistent Programming Systems 1997-10-06 Automatic Generation of Instructions in a Multilingual Environment 1999-12-15 Peering and Provisioning of Differentiated Internet Services 1999-12-01 On Binary Relations Without Non-Identical Endomorphisms 2000-07-28 Apoloniusz Tyszka On The Space-Time Mapping Of While-Loops 1994-01-17 Provable Security for Cryptographic Protocols---Exact Analysis and Engineering Applications 1999-11-21 R n - and G n -Logics 1996-12-04 The Control Of Liquid Helium In Space 1997-08-11 Rapide: An Executable Architecture Definition Language 1996-07-26 Numerical Integration for Radiosity in the Presence of Singularities 1997-02-05 Peter Schrder Distributing Virtual Worlds in a Teleteaching Environment 1995-09-28 Optimal Prediction for Prefetching in the Worst Case 1994-04-08 Using Many-Particle Decomposition to get a Parallel Self-Organising Map 1997-08-15 Godel with User-defined Evaluable Functions 1995-11-22 TheCommonObjectRequestBroker: ArchitectureandSpecification 2000-09-05 The Direct Lighting Computation in Global Illumination Methods 1994-12-29 Wireless Ad hoc Multicast Routing with Mobility Prediction 1970-01-01 Node-to-Set and Set-to-Set Cluster Fault Tolerant Routing in Hypercubes 1998-04-15 A posteriori Error Computation for an Obstacle Problem 1999-12-22 Evaluation of Item-Based 2000-09-12 George Karypis Implementation Techniques for Efficient Reflective Languages 1998-05-26 Shigeru Chiba Navigating Hierarchies with Structure-Based Brushes 1999-07-13 How to Really Find Roots of Polynomials by Newton's Method 1998-12-17 Structuring Communication Software for Quality-of-Service Guarantees 1970-01-01 Discipline Attributes and Teaching Style: Environmental Contexts of an ITS Design for Determining Multimedia and Virtual Reality Representations 1999-05-21 Ashok Patel Pruning of Neural Networks 1997-02-24 Object-Oriented Bayesian Networks 1999-11-18 Morse Theory and Classifying Spaces 1970-01-01 Rules of Thumb in Data Engineering 2000-08-09 Technical Diagnosis of Telecommunication Equipment 1996-12-19 The Dickey-Fuller-test for exponential random walks 2000-09-07 P. Laurie Davies Category, Measure, Inductive Inference: A Triality Theorem and its Applications 1997-02-04 The Power Crust, Unions of Balls, and the Medial Axis Transform 2000-07-22 Analysis of Yeast's ORF Upstream Regions by Parallel Processing, Microarrays, and Computational Methods 2000-09-10 Multi-Stage Imperative Languages: A Conservative Extension Result 2000-07-26 Cristiano Calcagno gprof: a Call Graph Execution Profiler 1996-05-17 Metonymy And Cross Section Demand 1998-11-06 Selection in Massively Parallel Genetic Algorithms 1993-07-15 AC Losses of Prototype HTS Transmission Cables 1999-03-22 Probabilistic Inference from Arbitrary Uncertainty using Mixtures of Factorized Generalized Gaussians 1998-12-22 Truth Maintenance 1999-11-19 David Mcallester Towards a Calculus of Communicating Functions 1993-01-29 Uwe Nestmann Appearance Based Active Object Recognition 1998-11-05 Faster Searching in Tries and Quadtrees--- An Analysis of Level Compression 1995-09-11 TCP-Friendly Traffic Conditioners for Differentiated Services 1999-03-30 Message Flow Modulator Final Report 2000-04-02 Self-Contained Automated Methodology for Optimal Flow Control 1999-06-30 Programmable Kernel Analog VLSI Convolution Chip for Real Time Vision Processing 2000-09-20 Incremental grid growing: Encoding high-dimensional structure into a two-dimensional feature map 1994-08-21 Study of a Single-Bunch Instability below Transition Energy 2000-07-25 Probing Interstellar Turbulence in the Warm Ionized Medium using Emission Lines 2000-02-07 Encoding and Classification in a Model of Olfactory Cortex 1970-01-01 Transmission Power Control for Multiple Access Wireless Packet Networks 2000-07-30 Linux System Administrator's Guide 0.3 1995-08-05 Lars Wirzenius SUBSCRIBERS' LINES AND SETS Recommendation P.30 TRANSMISSION PERFORMANCE OF GROUP AUDIO TERMINALS GATs 1991-11-17 Strongly Typed Genetic Programming 1997-09-30 Applying Large Vocabulary Hybrid HMM-MLP Methods to Telephone Recognition of Digits andNatural Numbers 1998-02-23 Kristine W. Ma Appendix: A Dehn exhaustibility Lemma 2000-05-02 Louis Funar Preliminary Survey of I/O Intensive Applications 1998-10-20 Generating Functions for Generating Trees 2000-10-02 Adaptive Passification of Nonlinear Systems 1994-11-10 Computing the Median with Uncertainty 2000-03-04 The Regulation of Investigational Drugs 1998-07-11 David Kessler Bounded-Skew Clock and Steiner Routing 1999-08-02 Dexterous Manipulation: A Geometric Approach 1998-12-02 Bhubaneswar Mishra A Coupled Hyperelastic Constitutive Model for Resilient Response of Granular Materials 1999-06-30 K. Hjelmstad Stability Maximization of a Majority Perceptron Using Tabu Heuristics 1996-08-30 Eddy Mayoraz T-NORMS vs. IMPLICATION FUNCTIONS AS IMPLICATION OPERATORS IN FUZZY CONTROL 2000-07-25 User-Space Solutions to Thread Switching Overhead 1970-01-01 Group Invariance and Convex Matrix Analysis 1995-03-23 A. S. Lewis Determining Surface Orientation From Fixated Eye Position and Angular Visual Extent 2000-08-31 Nicola J. Ferrier Integrating Workflow With Interacting Agents To Support Cooperative Software Engineering 2000-09-21 A Three-stage Method for Designing Genetic Fuzzy Systems by Learning from Examples 2000-07-25 The Load, Capacity and Availability of Quorum Systems 1995-01-31 Moni Naor Scoping Constructs in Logic Programming: Implementation Problems and their Solution 1997-02-27 Practical Approximation Algorithms for Zero- and Bounded-Skew Trees 2000-09-19 Lapack++ V. 1.1 1996-05-18 ECO: Efficient Collective Operations for Communication on Heterogeneous Networks 1995-09-23 Bruce B. Lowekamp Family Involvement Perspectives Chapter 3 1999-01-10 The Asymmetry of Galaxies: Physical Morphology for Nearby and High Redshift Galaxies 1999-07-28 Particle Tracking Velocimetry Beneath Water Waves Part I: Visualization and Tracking Algorithms 1997-12-16 Mapping Linear Recurrences onto Systolic Arrays 1996-01-05 Equivalency Reasoning to Solve a Class of Hard Sat Problems 1999-08-14 Chu Min Li Properties of BiPb-2223 Precursor Powders Calcined in Reduced Oxygen Partial Pressure 1998-11-09 Implementation of a DSM-CC-Server for a DAVIC-Terminal 2000-09-23 Reinhard Baier Storage Optimization for Large Multidimensional Datasets 1999-11-05 Qualitative and Quantitative Analysis of Timed SDL Specifications 1996-03-01 DIASPORA: A Highly Distributed Web-Query Processing System 2000-08-21 A Note on Heckmann's Probabilistic Power Locale 1996-02-03 Achim Jung Improving Information Quality in Loan Approval Processes for Fair Lending and Fair Pricing 2000-09-21 Maintaining the Behavior and Consistency of Object-Oriented Systems during Evolution 1994-06-16 Office Of Inspector General 2000-07-28 June Gibbs Brown A Connectionist Central Pattern Generator for the Aquatic and Terrestrial Gaits of a Simulated Salamander 2000-09-18 Auke Jan Ijspeert Generalized Strongly Chordal Graphs 1993-05-10 Elias Dahlhaus D I G I T a L 1997-08-03 A Structured and Open Environment 1995-01-17 Probability Rules 1997-05-20 A Classification Method of Alternatives for Multiple Preference Ordering Criteria Based on Fuzzy Majority 1997-01-28 Strongly Equivalent Logic Programs 2000-09-21 Sequences of Spanning Trees and a Fixed Tree Theorem 2000-08-22 Parallel Transport Approach to Curve Framing 1995-02-23 Design, Implementation, and Performance Evaluation of a Distributed Shared Memory Server for Mach 1992-09-01 Selective Reformulation of Examples in Concept Learning 1996-12-21 CAS/PI: a Portable and Extensible Interface for Computer Algebra Systems 1993-07-14 Norbert Kajler Towards an Extensible Knowledge Refinement Tool 1997-01-15 Symbolic Computation in Nonlinear Dynamics 1994-02-28 Robert M. Corless Performance Engineering Models of CORBA-based Distributed-Object Systems 1999-02-18 Stability Investigations For Index-2 Systems 1999-04-08 Souslin Trees Which Are Hard To Specialise 1998-02-26 James Cummings Remote Seminars through Multimedia Conferencing: Experiences from the MICE project 1994-07-07 Civil Aircraft Autopilot Design Using Robust Control 1999-03-22 R. M. P. Goverde A Robust Competitive Clustering Algorithm with Applications in Computer Vision 1998-12-04 Accuracy of the Hartree-Fock Approximation for the Hubbard Model 1996-10-18 CONCHA - CONference system based on java and corba event service CHAnnels 1999-09-07