Lower Bounds and Parallel Algorithms for Planar Orthogonal Grid Drawings Extended Abstract 1994-11-26 Interface Agents that Learn: An Investigation of Learning Issues in a Mail Agent Interface 1997-04-14 Technical Report 1996-05-07 Quark Mass Anomalous Dimension to 1998-05-24 K. G. Chetyrkin Holcf = Hol + Lcf 1998-12-21 Incorporation of Landmark Error Ellipsoids for Image Registration Based on Approximating Thin-Plate Splines 1998-04-06 Finding Regions Fast: 1993-12-08 Active Implicit Surface for Animation 1999-04-19 Marie-paule Cani-gascuel Censored Local Likelihood 1996-10-16 Clive R. Loader New Tests For Stationarity And Parity Reversion: Evidence On New Zealand Real Exchange Rates 1998-11-30 Man Machine Service embedded in Logic Programming 1998-07-22 Average Optimality in Markov Games with General State Space 1997-06-06 Ulrich Rieder Bursty Traffic and Finite Capacity Queues 1997-10-06 Fergal Toomey Hierarchical Characterization and Flow Modeling of Computer Network Traffic Using Real-time Measurements 1994-09-19 Implementation and Performance of a Grand Challenge 3d Quasi-Geostrophic Multi-Grid code on the Cray T3D and IBM SP2 1995-03-15 Portable Performance of Data Parallel Languages 1997-09-28 The Van Den Berg-Kesten-Reimer Inequality: A Review 1999-01-21 Error ofKernel Estimator: Monitoring Convergence of Markov Samplers 1995-07-26 Bin Yu An Adaptive Protocol for Reliable Multicast in Mobile Multi-hop Radio Networks 1998-12-04 A Query Interface for Heterogenous Biological Data Sources 1994-02-28 A Case for Buffer Servers 1999-03-03 The Internet Software Visualization Laboratory 1997-05-27 Local Linear Perceptrons for Classification 1996-04-05 Aimo Tietavainen 1996-06-20 Integrated Browsing and Querying for Image Databases 1999-03-19 Efficient Signature Schemes Based on Birational Permutations 1994-05-03 Adi Shamir Discounted Linear Exponential Quadratic Gaussian Control 1999-01-18 Learning to Classify Text from Labeled and Unlabeled Documents 1999-01-22 Visualising Granularity in Parallel Programs: A Graphical Winnowing System for Haskell 1995-02-23 A General Duality Principle for the Sum of Two Operators 1996-06-24 H. Attouch Agents in Cyberspace - Towards a Framework for Multi-Agent Systems in Information Discovery 1998-02-13 The Visual Specification of Context 1998-12-16 Gated SSA Based Demand-Driven Symbolic Analysis 1994-09-19 Monte Carlo study of exact S-matrix duality in non simply laced affine Toda theories 1998-05-14 M. Beccaria An IR Approach for Translating New Words from Nonparallel, Comparable Texts 1998-07-22 On the Admissible Rules of Intuitionistic Propositional Logic 1999-03-05 Rosalie Iemhoff CMS Level 1 Calorimeter Trigger Performance Studies 1995-01-11 Evolutionary Learning of a Fuzzy Control Rule Base for an Autonomous Vehicle 1997-02-15 Stardust: an Environment for Parallel Programming on Networks of Heterogeneous Workstations 1998-03-30 A Framework for Parallel Programming in Java 1997-12-12 ___________________________________________________________ 1996-09-18 An Interior Point Method for Multifacility Location Problems with Forbidden Regions 1997-11-06 Numerical Calculation Of Singularities For Ginzburg-Landau Functionals 1997-06-18 The Computational Complexity of Abduction 1995-08-07 Spinning-current Hall plate with integrated switches 1997-12-22 Job Scheduling for Torus Connected Networks 1997-01-23 Demand-based Document Dissemination for the World-Wide Web 1995-03-03 Azer Bestavros Toolkits for Multimedia Interface Design 1994-03-02 Inferring Web Communities from Link Topology 1998-04-06 Photoproduction Results from H1 1996-01-16 Klaus Wacker Reusable Usability Analysis with Markov Models 1999-02-17 A Tool For Developing Interactive Configuration Applications 1996-08-14 Corresponding 1996-06-24 A Fuzzy-Neural Network Based on the Backpropagation Algorithm 1995-04-26 Data mining, Hypergraph Transversals, and Machine Learning 1997-06-02 Enhancement And Recognition Of Noisy Speech Within An Autoregressive Hidden Markov Model Framework Using Noise Estimates From The Noisy Signal 1998-09-28 A General Technique for Eliminating Spurious Oscillations in Conservative Schemes for Multiphase and Multispecies Euler Equations 1970-01-01 Design of Pi 1998-09-23 Optimal Portfolio Selection with Fixed Transactions Costs in the presence of Jumps and Random Drift 1996-09-23 A computer tool for simulation and analysis: the Robotics Toolbox for MATLAB 1999-02-12 Peter I. Corke Midgap Defect Modes In Dielectric And Acoustic Media 1997-10-03 A One-Dimensional Model for Many-Electron Atoms in Extremely Strong Magnetic Fields: Maximum Negative Ionization 1997-11-30 BROOM: Buffer Replacement using Online Optimization by Mining 1998-08-18 An MPI Implementation of the BLACS 1996-09-03 A PIM-aided Kalman Filter for GPS Tomography of the Ionospheric Electron Content 1998-12-15 Dark Matter Search With Thermal Detectors 1996-03-15 Local Scaling in Conceptual Data Systems 1999-01-30 Rapid Bushy Join-order Optimization with Cartesian Products 1995-12-01 Model Based Segmentation of Clinical Knee MRI 1997-12-02 Iurp0lfurvriw9lvxdo%dvlf 1999-01-08 Normalizing Strategies for Multithreaded Interpretation and Compilation of Non-Strict Languages 1995-05-04 Shail Aditya Confluently Persistent Deques via Data-Structural Bootstrapping 1993-03-20 Robert Tarjan A Transformation System for Interactive Reformulation of Design Optimization Strategies 1996-06-06 A General Purpose Shared-Memory Model For Parallel Computation 1997-10-20 Vijaya Ramachandran Experiences toward an Object-oriented Approach to Structured Parallel Programming 1996-01-29 On Dynamically Generated Parton Distribution Functions and Their Properties 1996-07-29 Ji Chla ATT at TREC-6: SDR Track 1998-03-25 Constructing Interactive Network Visual Interfaces 1998-05-28 Eugene A. Morelli 1998-06-09 Eugene A. Morelli Practical Byzantine Fault Tolerance 1999-01-14 Learning to Recognise 3D Objects from 2D Views 1996-02-06 Statistical Modelling of Transmission Holding Time in PAMR Systems 1998-11-19 Francisco Barcel Reciprocity Theorems For Holomorphic Representations Of Some Infinite-Dimensional Groups 1999-03-26 Communication Modeling of Heterogeneous Networks of Workstations for Performance Characterization of Collective Operations 1998-12-10 A High Speed Implementation of Adaptive Shaping for Dynamic Bandwidth Allocation 1997-10-10 Formally Based Profiling for Higher-Order Functional Languages 1998-10-14 Convection Enhanced Diffusion for Random Flows 1998-06-08 Efficient Shared Memory with Minimal Hardware Support 1998-06-01 Dactl: An Experimental Graph Rewriting Language 1998-02-20 Design and Evaluation of a Computation Partitioning Framework for Data-Parallel Compilers 1999-01-03 A Complete Set of Satisfaction Rules for Property Detection in Distributed Computations 1996-07-11 G-Networks With Triggered Batch State-Dependent Movement 1998-06-29 Stability and Passivity Analysis of Systems with Time Varying Parameters 1997-11-19 Variations Of The Boundary Geometry Of 3-Dimensional Hyperbolic Convex Cores 1998-08-21 Francis Bonahon A New Interface forHOL - Ideas, Issues and Implementation 1995-06-10 Donald Syme Some Properties of Riesz Means and Spectral Expansions 1997-10-07 A Guide for New Referees in Theoretical Computer Science 1993-08-04 Ian Parberry Non-Perturbative Results For High-T QCD 1998-05-23 R. Jackiw An Algoritm for Automatic Control of a High Speed Power Converter Implemeted on a Custom DSP 1998-02-03 Performance Evaluation of a Bandwidth Allocation Scheme for Guaranteeing Synchronous Messages with Arbitrary Deadlines in an FDDI Network 1996-02-09 Angewandte Mathematik und Informatik Universit at zu K oln 1970-01-01 Relativized Relation Algebras 1999-01-21 Maarten Marx High Speed Switch Scheduling for Local Area Networks 1994-10-02 Modelling Cooperative Behaviour for Resource Access in a Compositional Multi-Agent Framework 1998-05-07 Bootstrap Method for Measurement Error Model 1998-11-27 Kinetic Approach to Fractional Exclusion Statistics 1998-05-14 Hierarchically Classifying Documents Using Very Few Words 1998-01-15 Parallelization Strategies for the Ant System 1998-08-05 Probability Densities From Distances and Discrimination 1998-09-21 Multiple Paths Join for Nested Relational Databases 1995-09-07 Integrating Diverse Information Resources Into Dialogue Updates 1997-10-06 Robin Cooper A Data Mining Framework for Adaptive Intrusion Detection 1999-01-21 A Note on the Oscillator Group 1995-08-20 Norbert Dorr Breeder Genetic Algorithms for Airfoil Design Optimisation 1995-12-20 Combining Multiple Motion Estimates for Vehicle Tracking 1996-01-26 VIZ: A Data-Reactive Visualization Language 1996-03-25 Rejection of Incorrect Answers from a Neural Net Classifier 1994-08-04 Exponential Integrators For Quantum-Classical Molecular Dynamics 1998-07-24 Ploxoma: Testbed for Uncertain Inference 1995-12-29 H. Blau Splitting a Logic Program 1998-12-10 BREAKTHROUGH TO AWARENESS: A Neural Network Model of Conscious and Unconscious Perception. 1996-04-30 J. G. Taylor Anonymity Loves Company: Anonymous Web Transactions with Crowds 1998-10-23 Learning an Intersection of a Constant Number of Halfspaces over a Uniform Distribution 1994-04-15 The Complexity Of Optimal Queueing Network Control 1997-12-18 Individual Based Modelling in an Explicitly Spatio-temporal Ecosystem 1997-12-16 Overfitting Avoidance as Bias 1994-07-05 Cullen Schaffer Stability of the Iterative Process 1997-06-06 B. U. A. P. Mexico An Incompleteness Handling Methodology for Validation of Bayesian Knowledge Bases 1997-12-04 David J. Bawcom Subtopic Structuring for Full-Length Document Access 1993-04-09 Computational Problems in Strong Visibility 1997-06-24 Quo Vadis - A Framework for Intelligent Routing in Large Communication Networks 1995-12-21 Comparative Multivariate Visualization Across Conceptually Different Graphic Displays 1995-06-21 Abduction for Knowledge Assimilation in Deductive Databases 1997-12-20 Derandomized Graph Products 1997-03-17 Providing security to the building licenses delivering process in the city of Torino 1997-07-01 A Concurrent and Distributed Extension of Scheme 1996-01-22 Christian Queinnec Revisiting the Relationship Between Non-Blocking Atomic Commitment and Consensus 1996-05-17 Rachid Guerraoui High order Ito-Taylor approximations to heat kernels 1997-12-18 Arturo Kohatsu-higa Distance Based Revision Of Preferential Logics 1998-05-19 Performance Analysis of Combining Multistage Interconnection Networks 1998-09-07 Learning Parameterized Models of Image Motion 1997-06-02 Constraint Matching Retrieval in 1997-07-22 Duncan K. G. Campbell Recognizing Color Patterns Irrespective of Viewpoint and Illumination 1999-01-14 R.j. Protheroe 1996-12-22 R. J. Protheroe Qualitative Analysis of Distributed Physical Systems with Applications to Control Synthesis 1998-04-30 An Efficient Subsumption Algorithm for Inductive Logic Programming 1997-07-23 Wavelet Based SAR Speckle Reduction and Image Compression 1970-01-01 PQ-trees and maximal planarization - An approach to skewness 1970-01-01 Set Theory and Physics 1997-10-16 K. Svozil Position-Based Physics: Simulating the Motion of Many Highly Interacting Spheres and Polyhedra 1996-06-23 Victor J. Milenkovic Biased Leftist Trees and Modified Skip Lists 1999-01-18 Formal Verification in Robotics: Why and How? 1997-01-24 Serial Simulation of Reconfigurable Mesh, an Image Understanding Architecture 1998-05-05 A New Approach to Match Operating Systems to Application Needs 1997-05-21 Fractal Function Estimation via Wavelet Shrinkage 1997-10-21 Yazhen Wang Implementation Tradeoffs in Distributed Shared Memory Machines 1997-09-02 Metrics for Database Systems: An Empirical Study 1998-02-11 Sequential Circuit Synthesis at the Gate Level 1995-08-22 Ellen Marie Sentovich A Comparison of Parallel Algorithms for Multi-dimensional Integration 1998-09-08 Routing Algorithms for Torus Networks 1995-07-26 A Scalable Monitoring Architecture for Managing Distributed Multimedia Systems 1997-06-19 A Hierarchical Sensory-Motor Architecture of Oscillating Cortical Area Subnetworks 1998-08-26 Wannier-Bloch oscillators 1997-07-21 Fusion of Loops for Parallelism and Locality 1996-11-25 A New Unconstrained Differentiable Merit Function for Box Constrained Variational Inequality Problems and a Damped Gauss-Newton Method 1997-09-11 Using Predicated Execution to Improve the Performance of a Dynamically Scheduled Machine with Speculative Execution 1998-01-27 Computing System Descriptions for Systems Software 1995-10-07 A Fuzzy Approach to Pose Determination in Object Recognition 1997-11-26 Ellen L. Walker Synthesizing Customized Planners from Specifications 1998-03-31 Organizing Programs Without Classes 1999-01-15 Weak* Sequential Compactness and Bornological Limit Derivatives 1995-10-26 Local Memory Reference Behavior of Fine-Grain Multithreaded Execution 1970-01-01 Utilizing Fuzzy Data and Rules for Discrete Control of Semiconductor Manufacturing Processes 1996-07-25 The Number of Dependent Arcs in an Acyclic Orientation 1996-12-17 Logic Programming and Negation: A Survey 1970-01-01 Realization of an HPF Interface to ScaLAPACK with Redistributions 1996-05-05 An Effective Axiomatization for Real Time ACP 1999-01-13 A Multilevel Cost-Space Approach To Solving The BalancedLong Transportation Problem 1994-06-17 Applications of Quantifier Elimination Theory to Control Theory 1995-09-15 A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space 1996-10-21 Compensations in Small Divisor Problems 1998-11-02 Some Concurrency Models In A Categorical Framework Extended Abstract 1998-10-19 Measurements of Diffractive Structure Functions at HERA 1998-12-15 Fast Estimation Of Diameter And Shortest Paths without Matrix Multiplication 1998-04-10 Haruzo Hida and Yoshitaka Maeda 1998-02-01 Regularity of Interacting Nonspherical Fermi Surfaces: The Exact Self--Energy 1997-05-21 Minimum-Cost Bounded-Skew Clock Routing 1995-02-16 A Meta-Interpreter for Circuit-Extraction 1997-06-10 Krishnaprasad Thirunarayan Service Models and Pricing Policies for an Integrated Services Internet 1994-04-28 Scott Shenker An Axiomatization for Regular Processes in Timed Branching Bisimulation 1999-01-13 Wan Fokkink Revenue Equivalence of Leveled Commitment Contracts 1999-03-13 Finding Clusters in Network Link Strength Data 1998-12-21 Todd L. Graves Evaluation of the Sequence Data Assemble Software "Shotgun" 1995-02-09 Diagnostic Reasoning with Anaesthesia Knowledge 1998-01-20 An Alternative Paradigm for Data Evaluation in Remote Sensing Using Multisensor Data Fusion 1999-03-30 Olaf Hellwich Dynamic Verification of C++ Generic Algorithms 1996-10-16 Multifractals, Encoded Walks and the Ergodicity of Protein Sequences 1995-10-04 A Non-quasiconvex Subgroup of a Hyperbolic Group with an Exotic Limit Set 1995-12-19 Ilya Kapovich Mapping Tools for the Triptych FPGA 1994-12-06 Sets and Functions: A Foundation for Digital Libraries, through Streams, Spaces, Structures, and Scenarios S4 1998-06-15 A Matrix Characterization for 1998-10-16 Christoph Kreitz Comparisons of the Cosine Measure and Sub-String Indexing on Usenet News Articles 1995-11-08 Fredrik Kilander The Product of Four Hadamard Matrices 1997-03-19 Genetic Algorithm involving Coevolution Mechanism to Search for Effective Genetic Information 1999-02-08 MR Image Estimation from Sparsely Sampled Radial Scans 1997-12-22 Gravity from Dirac Eigenvalues 1997-08-22 Subsumption Algorithms for Concept Languages 1999-02-04 A Structuring Algorithm for Decompilation 1998-09-27 Cristina Cifuentes Remarks On Chiral Symmetry Breaking With Massless Fermions 1998-05-13 Rainer Dick THESIS DESCRIPTION AND EVALUATION OF A META-SEARCH AGENT Submitted by 1996-10-04 Daniel Dreilinger Computing Envelopes in Four Dimensions with Applications 1994-05-20 Integration of Concurrency Control in a Language with Subtyping and Subclassing 1998-03-11 Segmentation by Grouping Junctions 1998-04-25 Thomson Consumer Electronics Corporate Research INH 700 P.O. Box 6139, Indianapolis, IN 46206-6139 Email: 1998-02-03 Edwin A. Heredia Distributing Equational Theorem Proving 1993-06-08 J. Avenhaus delta J. Denzinger RapidSimulation of Urban Traffic using FPGAs 1995-04-28 A new analysis method for very high definition Imaging Atmospheric Cherenkov Telescopes as applied to the CAT telescope 1998-04-20 Macroscopic-Microscopic Mass Models 1998-01-19 An Algorithm for Maintaining Consistent View of Processes in Distributed Systems 1997-02-28 Dang Van Hung Design and Analysis of Turbo Codes on Rayleigh Fading Channels 1997-09-25 Transactional Client-Server Cache Consistency: Alternatives and Performance 1997-04-14 Kenji Mase 1997-04-23 Kenji Mase Duplicate Removal in Information Dissemination 1997-03-07 Many Higgs Doublet Supersymmetric Model, Flavor Changing Interactions and Spontanoeus CP Violation 1998-05-13 PICARD: The Next Generator 1996-10-04 A Framework for Temporal Data Models: Exploiting Object-Oriented Technology 1999-01-14 The TRANSPOSE Machine A Global Implementation of a Parallel Graph Reducer 1998-04-05 Memoing Evaluation for Constraint Extensions of Datalog 1997-10-10 Making Pure Object-Oriented Languages Practical 1998-11-25 On Finding the Strongly Connected Components in a Directed Graph 1995-10-08 GADGET: Goal-Oriented Application Design Guidance for Modular Visualization Environments 1998-09-29 Pursuit: Visual Programming in a Visual Domain 1994-03-22 Surgical Applications of Milli-Robots. 1995-04-10 Integrating Hands-on Work into the Formal Languages Course via Tools and Programming 1996-07-15 Susan H. Rodger Querying TSQL2 Databases with Temporal Logic 1998-08-05 White Paper On Reverse Engineering 1994-04-05 Spencer Rugaber Making a Low-Dimensional Representation Suitable for Diverse Tasks 1998-11-13 Computer Design Strategy for MCM-D/Flip-Chip Technology 1997-07-29 Learning to Adapt to Changing Environments in Evolving Neural Networks 1995-12-13 Integrating Data/Program Structure and their Visual Expressions in the Visual Programming System 1998-09-24 Adaptive Animat Navigation Based on a Flexibility Model for the Environment 1996-05-13 Solar-Powered, Formation-Enhanced Aerial Vehicle Systems for Sustained Endurance 1998-04-13 The Kaon-Photoproduction Of Nucleons In The Chiral Quark Model 1998-05-15 Zhenping Li Non-Oscillatory Boundary Treatment for Staggered Central Schemes 1997-11-05 A Symbolic Description of Punning Riddles and Its Computer Implementation 1998-04-10 Information-Conserving Object Recognition 1998-07-31 Generalised Solutions, Discrete Models And Energy Estimates For A 2d Problem Of Coupled Field Theory 1998-08-15 R. V. N. Melnik Dynamite: A flexible code generating language for dynamic programming methods used in sequence comaprison. 1998-08-14 Methodology of Time Delay Change Determination for Uneven Data Sets 1998-04-14 Extrapolation And Related Techniques For Solving Elliptic Equations 1992-04-04 U. R Ude A New Formalization for Script-based Story Understanding 1970-01-01 Scalable Parallel Implementations of List Ranking on Fine-grained Machines 1996-08-22 Spectral Properties of a Hybrid Thermal-Nonthermal Isotropic Plasma 1998-10-19 Message-Passing Algorithms for a SIMD Torus with Coteries 1997-09-28 Extracting Support Data for aGiven Task 1999-01-18 Waveform iteration and one-sided Lipschitz conditions 1997-11-25 I. Bremer Stochastic Models for DIV-CURL Optical Flow Methods 1996-06-05 Intelligent Communication Filtering for Limited Bandwidth Environments 1996-10-29 March 21, 1997 Ergodicity of Hard Spheres in a Box N'andor Sim'anyi 1997-04-26 This work was supported in part by DARPA grant number N00014-91-J-4043. The second author was supported during the final preparation of 1999-03-22 Robust Hedging of the Lookback Option 1997-06-15 David G. Hobson Implicit-Explicit Runge-Kutta Methods for Time-Dependent Partial Differential Equations 1970-01-01 A Formal Model to Support Subject-Oriented Programming 1995-08-22 From Agent Theory to Agent Construction: A Case Study 1997-09-03 Data-Oriented Language Processing An Overview 1996-12-12 Multiscale Texture Segmentation using Wavelet-Domain Hidden Markov Models 1998-10-30 Difference Sets and Computability Theory 1997-06-04 Lecture Notes in Computer Science 1999-02-10 Nelson H. F. Beebe A globality theorem for Lie-wedges that are bounded by a hyperplane-ideal 1995-08-21 Dirk Mittenhuber A Model for Coordinating Interacting Agents 1997-02-01 A Real Holomorphy Ring Without The Schmüdgen Property 1997-07-29 Murray A. Marshall An Indexed Bibliography of Genetic Programming 1998-09-03 Jarmo T. Alander Implementation of a Discretionary Access Control Model for Script-based Systems 1995-04-17 Knowledge Representation in the TRAINS-93 Conversation System 1996-08-28 Finite Axiom Systems for Testing Preorder and De Simone Process Languages 1998-10-22 Irek Ulidowski Is Skeletal Planning in Real-World, High-Frequency Domains Possible? 1997-02-14 Davis and Putnam were already checking forward 1996-05-07 Robust Recovery of Ego-Motion 1994-01-12 KnightCap: A chess program that learns by combining TDlambda with game-tree search 1998-06-16 A Framework for Parallel Adaptive Finite Element Methods and its Template Based Implementation in C++ 1998-02-12 .0 General 1993-05-24 Automatic Parameter Selection by Minimizing Estimated Error 1999-02-05 High-Speed Visual Estimation Using Preattentive Processing 1995-07-21 The Virtual Venue: User-Computer Interaction in Information-Rich Virtual Environments 1996-09-23 Software Architecture Of The Hippi To Xunet Atm Adapter 1997-10-03 David M. Putzolu Multiplexing Traffic at the Entrance to Wide-Area Networks 1993-01-29 Ramon Caceres Analytical Study of the Interplay Between Architecture and Predictability 1998-03-09 On Architecture Independent Design and Analysis of Parallel Programs 1996-08-15 The INRECA-II Methodology for Building and Maintaining CBR Applications 1998-01-14 Penalized Discriminant Analysis 1994-12-22 Applying Goals and Cases to Business Decision Making 1995-06-14 Stephen Slade Optimization of Memory Organization and Hierarchy for Decreased Size and Power in Video and Image Processing Systems 1996-02-07 Stochastic Inference of Regular Tree Languages 1998-06-09 Experience Using Design Patterns to Develop Reuseable Object-Oriented Communication Software 1995-07-04 Douglas C. Schmidt A Flexible Operation Execution Model for Shared Distributed Objects 1996-07-05 Performance of a Fully Parallel Sparse Solver 1997-04-10 A Survey of Languages Integrating Functional, Object-oriented and Logic Programming 1998-02-15 Deciding Term Aboutness Probabilistically 1995-10-02 Ioannis K. Argyros 1997-09-26 Ioannis K. Argyros A Simple Linear Time Algorithm for Embedding Maximal Planar Graphs 1996-11-05 Hermann Stamm-wilbrandt Proxy Cache Coherency and Replacement-Towards a More Complete Picture 1999-01-28 Selection Schemes, Elitist Recombination, and Selection Intensity 1999-01-25 Dirk Thierens Final Iterations in Interior Point Methods - Preconditioned Conjugate Gradients and Modified Search Directions 1998-09-05 Weichung Wang The Pessimism behind Optimistic Simulation 1996-03-07 Learning Complex, Extended Sequences Using The Principle Of History Compression 1995-08-21 Jurgen Schmidhuber Object-Oriented Specification of Coordinated Collaboration 1997-07-11 L. P. J. Groenewegen Landscape Ruggedness in Evolutionary Algorithms 1997-04-12 Krasimir Kolarov Neural Network Prediction of Disruptions in a Tokamak Plasma Markus Svensén 1996-01-29 Proofs of Soundnessand Completeness of Type Inference for HMX 1997-05-02 Martin Sulzmann A new finiteness condition for monoids presented by complete rewriting systems after Craig C. Squier 1994-08-22 Succinctness of Descriptions of SBTA-Languages 1996-07-22 A Capacitively Loaded PIFA for Compact Mobile Telephone Handsets 1997-12-09 Planning with Closed-Loop Macro Actions 1997-09-01 Solving the Linda multiple problem 1996-07-12 An English Constraint Grammar ENGCG a surface-syntactic parser of English 1997-05-26 Processing Transactions over Optimistic Atomic Broadcast Protocols 1999-05-07 Center for Biological and Computational Learning and Artificial Intelligence Laboratory MIT Cambridge, MA 02139 1999-04-06 A Study of the Fairness of the Fast Reservation Protocol 1996-06-12 Olga Casals Dealing with Vehicle/Terrain Interactions when Planning the Motions of a Rover 1998-04-09 Plan Execution in a Temporal Logic Environment 1996-09-04 D. Dengler On Models of Gaussian Reciprocal Processes and the Reconstruction of Periodic Jacobi Matrices 1998-04-22 Discovering Generalized Episodes Using Minimal Occurrences 1996-08-15 Rate-Constrained Block Matching Algorithm 1997-01-21 Processor Capacity Reserves: Operating System Support for Multimedia Applications 1994-11-26 An Interactive Image Index 1994-09-13 William F. Eddy Audris Mockus Server Operating Systems 1996-07-17 Determining Asynchronous Pipeline Execution Times 1996-12-11 Operations and Cooperations in Elliptic Cohomology, Part I: Generalized modular forms and the cooperation algebra 1995-01-09 January 6, 1997 1997-02-27 Shuzhong Zhang Polygonal Decomposition into Singular and Regular Regions 1999-03-02 Jairo Rocha Chronological Objects for Data Analysis 1996-07-29 Media Streaming Protocol: An Adaptive Protocol For The Delivery Of Audio And Video Over The Internet 1998-11-06 Are "Disks in the Air" Just Pie in the Sky? 1995-04-18 Some Results Concerning the Ends of Minimal Cuts of Simple Graphs 1998-04-15 Small Ramsey Numbers 1998-07-09 Stanisl/aw P. Radziszowski QD-Janus: A Sequential Implementation of Janus in Prolog 1993-06-30 Saumya K. Debray Modelling Operating System Structures by Timed Stream Processing Functions 1997-09-29 Some General Criteria on Equations to Guarantee Poly-time Functions 1970-01-01 Automated Interpretation of Myocardial SPECT Perfusion Images Using Artificial Neural Networks 1998-12-04 Xtoys: Cellular Automata on Xwindows 1995-08-29 Michael Creutz Terminological Cycles: Semantics and Computational Properties 1996-03-03 Designing Data Flow Graphs by Graph Grammars 1997-06-18 The Categorical Product Data Model as a Formalism for Object--Relational Databases 1997-01-24 The Capacitated K-Center Problem 1997-09-14 Instruction Set Design and Optimizations for Address Computation in DSP Architectures 1998-02-03 Singularities at infinity and their vanishing cycles, II. Monodromy 1999-01-29 Constraint Satisfaction: The Approximability of Minimization Problems 1997-09-04 Supporting Conflict Resolution in Cooperative Design Systems 1999-01-08 Mark Klein Efficient 2-Pass N-Best Decoder 1997-04-14 Linear Algebra Research on the AP1000 1970-01-01 A Comparison of ADIFOR-Generated versus Hand-Generated Derivatives for a Complicated Statistical Function 1997-01-27 IBM Research Report 1998-05-30 Data Oriented LP with Magritte 1998-07-22 Jos'e Paulo Leal Modeling Coarticulation in Synthetic Visual Speech 1999-02-03 Nonparametric Estimation Of A Generalized Additive Model With An Unknown Link Function 1998-07-06 Joel L. Horowitz A Framework for Evaluating Specification Methods for Reactive Systems 1997-01-15 Posterior Integration in Dynamic Models 1994-02-08 Peter Mueller Foundations of Object-Oriented Languages 1997-09-03 Viscoelastic Effects in 3D Microphase Separation of Block Copolymers: Dynamic Mean-Field Density Functional Approach 1998-06-08 Material Classification of Magnetic Resonance Volume Data 1992-11-19 Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra 1998-12-21 An Analysis of Dynamic Branch Prediction Schemes on System Workloads 1996-10-14 Positivity Problems and Conjectures in Algebraic Combinatorics 1999-02-10 Richard P. Stanley An Efficient Protocol for Authenticated Key Agreement 1998-09-01 Normalized Cuts and Image Segmentation 1998-09-04 Axiomatic Justifications Of The Utility Principle -- A Formal Investigation 1996-01-03 Nonstandard Set Theories and Information Management 1995-07-07 Varol Akman Parallel Implementation of a Data-Transpose Technique for the Solution of Poisson's Equation in Cylindrical Coordinates 1997-03-19 Test Case Preparation using a Prototype 1998-10-08 Task Scheduling using Block Dependency DAG of Block-Oriented Sparse Cholesky Factorization 1999-03-15 MULTIGRID TECHNIQUES FOR HIGHLY INDEFINITE EQUATIONS Yair Shapira Computer Science Department, Technion Gamma 1995-06-07 Yair Shapira Padma: An Architecture for Adaptive Multimedia Systems 1997-07-05 Choosing the Relaxation Parameter For the Solution of Nonlinear Magnetic Field Problems by the Newton-Raphson Method 1998-05-13 Multi-window FTP Systems in Java: A Network Client 1999-01-20 Bijo Thomas Technical Report 73 January, 1992 1997-04-21 A new estimate for a problem of Steinhaus 1996-09-19 Mihail N. Kolountzakis Inferring Ordered Trees from Local Constraints 1997-11-10 A Class of Composable High Level Petri Nets 1997-02-14 Conservation Laws With Vanishing Nonlinear Diffusion And Dispersion 1996-07-02 Roberto Natalini Scripted Documents: A Hypermedia Path Mechanism 1998-09-18 Polle T. Zellweger An Extensible Meta-Learning Approach for Scalable and Accurate Inductive Learning 1996-10-11 Philip Kin-wah Chan Resampling and its Avoidance in Genetic Algorithms 1998-04-14 Ralf Salomon Distribution Ray Tracing: Theory and Practice 1998-01-23 The Search For Black Holes In X-Ray Binaries: An Update 1998-05-12 Solar Neutrino Oscillations in the Moon 1998-05-15 Brian Mason Traffic Jams, Granular Flow, and Soliton Selection 1997-02-07 Checking for Race Conditions in File Accesses 1997-03-28 Approximately Learning Regular Languages with respect to Reversible Languages: A Rough Set Based Analysis 1996-05-10 On Reduction via Determinization of Speech-Recognition Lattices 1997-07-08 Fast Connected Components Algorithms For The Erew Pram 1970-01-01 Content-based Image Database Retrieval Using Variances of Gray Level Spatial Dependencies 1998-10-07 Principal Component Analysis and Large-Scale Correlations in Non-Coding Sequences of Human DNA. 1997-02-01 Simulating Threshold Circuits by Majority Circuits 1998-04-30 Some convergence results for the Newton-GMRES algorithm 1993-09-13 Implementing Distributed Real-time Control Systems in a Functional Programming Language 1996-04-04 Claes Wikstrom Treillis de Galois de donn'ees multivalu'ees et intervalles 1997-12-01 Institut for Fysik og Astronomi, Aarhus Unversitet Ny Munkegade, DK-8000 Arhus C 1996-09-05 Unknown 1996-07-01 Proceedings of the 18th International Symposium on Computer Architecture, pp. 266-275, 1991 1999-03-28 On Compact Representations of Propositional Circumscription 1996-12-18 Programming with Dynamic Predicate Logic 1998-11-14 Jan Van Eijck CCF: Collaborative Computing Frameworks 1998-04-01 Polaris: Improving the Effectiveness of Parallelizing Compilers 1995-08-24 HPMDs of type 2 1996-01-10 Time-Frequency Acoustic Processing and Recognition: Analysis and Analog VLSI Implementations 1999-04-02 Robert Timothy Edwards Compiling For Distributed Memory Multiprocessors Based On Access Region Analysis 1997-09-12 Covariant Bimodules and Differential Calculi on Quantum Groups of Type B, C, D 1995-08-21 Axel Schuler Kit Algebras 1997-03-03 Thomas Br Ustle Correctness in General Configurations of Transactional Components 1999-03-05 The BSD Packet Filter: A New Architecture for User-level Packet Capture 1992-12-20 Steven Mccanne Iterative Generation of 3-D Models from a Set of Images 1998-05-12 Automated Model Selection for Simulation 1998-04-13 Some Developments of the Blackwell-MacQueen Urn Scheme 1996-10-21 Jim Pitman -1 Addition and Related Arithmetic Operations with Threshold Logic 1997-06-10 Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently 1992-06-25 First Flights at Genetic-Algorithm Kitty Hawk 1994-11-28 David E. Goldberg Designing a BSP version of ScaLAPACK 1998-12-08 Automatic Differentiation as a Tool for Sensitivity Analysis of a Convective Storm in a 3-D Cloud Model 1996-07-24 Description Logics for Natural Language Processing 1994-07-13 Triangulations and moduli spaces of Riemann surfaces with group actions 1995-09-17 Fixing the "Broken-link" Problem: The W3Objects Approach 1997-04-23 Algorithms for Fixture Design 1996-09-12 Is It Alive Or is It a Cellular Automaton? 1999-03-31 Kari Eloranta INVESTIGATING THE BEHAVIOUR OF Qlambda 1997-11-03 Testing for Parametric Faults in Static CMOS Circuits 1996-03-19 Fast Wavelet Packet Image Compression 1997-11-20 Spatial Models of Pollen Dispersal in the Forage Grass Meadow Fescue 1997-07-29 Sorting by Parallel Insertion on a One-Dimensional Sub-Bus Array 1996-09-19 Curve Reconstruction: Connecting Dots with Good Reason 1999-03-25 A Discriminative Filter Bank Model For Speech Recognition 1995-06-22 Directing Attention to Onset and Offset of Image Events for Eye-Head Movement Control 1998-03-05 Experience Using Design Patterns to Develop Reuseable Object-Oriented Communication Software 1995-08-15 Douglas C. Schmidt On-Line New Event Detection using Single Pass Clustering 1998-04-15 Linear Concurrent Constraint Programming: Operational and Phase Semantics 1998-06-03 Recognition of Complex Objects with an Active Vision System 1998-10-13 Formal Real-Time Imagination 1995-11-12 Quantization Of A Class Of Piecewise Affine Transformations On The Torus 1997-04-26 A Congruence for Gamma Programs 1996-08-01 Priority Queues and Multi-sets 1994-08-10 A Class of Fast Methods for Processing Irregularly Sampled or Otherwise Inhomogeneous One-Dimensional Data 1998-04-29 Sampling and Reconstructing Manifolds Using Alpha-Shapes 1998-06-22 Algorithmic Representation of Visual Information 1970-01-01 Enforcing Schedulability of Multi-Task Systems by Hardware-Software Codesign 1997-02-17 ANN Based Forecasting of VBR Video Traffic for Dynamic Bandwidth Allocation in ATM Networks 1995-04-04 Representation and Management Issues for Case-Based Reasoning Systems 1993-09-18 Igor Jurisica The Digital Office: Overview 1998-05-31 Genotype by Environment variance heterogeneity in a two-stage analysis 1970-01-01 Formalizing Narratives using Nested Circumscription 1996-09-10 Quantum conductivity corrections in Si-MOS structures in the regime of high electron concentrations. 1998-12-11 Continuation Method for Total Variation Denoising Problems 1995-04-24 Data-Parallel Design of an Interval-Based Constraint Language: Analysis of Speed-Ups 1997-08-12 Modeling with Cubic A-Patches 1998-07-22 The Evolution of Sporting Strategies 1995-11-19 Power Series Expansions And Invariants Of Links 1997-09-04 Xiao-song Lin A Hybrid Nearest-Neighbor and Nearest-Hyperrectangle Algorithm 1994-11-08 Dietrich Wettschereck . . . from QCD sum rules 1998-05-13 On Quantum Statistical Mechanics On Robertson-Walker Spacetimes 1998-08-07 M. Trucks Linear Mappings And Generalized Upper Spectrum For Dimensions 1998-04-21 Arbiter Meta-Learning with Dynamic Selection of Multiple Classifiers 1998-03-28 Alexey Tsymbal Improving the Alternating Fixpoint: The Transformation Approach 1997-04-27 Ulrich Zukowski Reflections on Distributing agents 1998-10-12 Provably Correct Algorithms for Multiframe Structure from Motion: the Case of Constant Translation Direction 1995-10-06 John Oliensis Measures on Corson Compact Spaces 1995-08-24 Centering in Japanese Discourse 1997-08-12 Maxmin Fair Routing in Connection-Oriented Networks 1998-12-13 Dynamic QOS Control and Resource Reservation 1998-01-29 Tatsuo Nakajima Optimal Positioning in Derivative Securities 1998-01-28 A Synthetic View of Belief Revision with Uncertain Inputs in the Framework of Possibility Theory 1997-06-30 Stabilization of Relative Equilibria 1998-06-15 Symbolic Mathematics System Evaluators 1996-08-28 Richard J. Fateman New Approximation Algorithms for Graph Coloring 1994-03-14 Avrim Blum Dimensionality of Illumination Manifolds in Eigenspace 1996-01-02 Shree K. Nayar Simulations Between Two Reconfigurable Mesh Models 1997-11-18 Département de Mathématiques et Informatique 1996-06-14 Serge Vaudenay The Problems of Designing a Conversation Scheme for Concurrent Object Oriented Languages 1995-08-08 A. Romanovsky Trust and Partial Typing in Open Systems of Mobile Agents 1998-07-13 Applications of the Situation Calculus To Formalizing Control and Strategic Information: The Prolog Cut Operator 1997-04-25 Fangzhen Lin Regularization of Ill-Posed Problems by Envelope Guided Conjugate Gradients 1996-12-04 Complex Multiplication and Explicit Class Field Theory 1998-08-31 Kiran S. Kedlaya Exploration in Machine Learning 1994-02-25 Michael P. Frank Parallel Simulation of Transmission Line Systems on Printed Circuit Boards 1970-01-01 Key Words in Context, an example 1970-01-01 Distributed Computing On An Fddi Based Network 1998-07-09 Identifying Regular Languages over Partially-Commutative Monoids 1997-11-07 Object to Multisensor Coregistration with Eight Degrees of Freedom 1995-05-09 Object-Space Parallel Polygon Rendering On Hypercube-Connected Multicomputers 1997-05-02 S. Jeschonnek, T. W. Donnelly 1998-07-16 Joint Compression And Restoration Of Images Using Wavelets And Non-Linear Interpolative Vector Quantization 1998-02-02 INQUERY Does Battle With TREC-6 1998-02-12 Block Allocation in Video Servers for Availability and Throughput 1996-11-06 The Smart Access Memory: An Intelligent RAM for Nearest Neighbor Database Searching 1997-05-22 Independent Component Analysis of Electroencephalographic Data 1996-07-10 Copy Detection Mechanisms for Digital Documents 1995-05-03 A Structure-Based Approach to Querying Semi-Structured Data 1998-02-28 Mary Fernandez Simulating an Object-Oriented Financial System in a Functional Language 1998-08-26 Structural Operational Semantics as a Basis for Static Program Analysis 1996-12-19 Daniel Le M'etayer A Natural Language Approach To Multi-Word Term Conflation 1997-06-13 CRT-95-19 VEHICLE ROUTING WITH MULTIPLE USE OF VEHICLES by Eric D. Taillard 1996-11-27 Graphically Displaying Text 1999-01-21 Stephen G. Eick AP/Linux - A modern OS for the AP1000+ 1997-10-20 Semi-Markov Processes With Phase-Type Sojourn Times 1995-06-29 State-space Planning by Integer Optimization 1999-03-30 Optimizations for Location-aided Routing LAR in Mobile Ad Hoc Networks 1998-11-24 Krisrose@ens-Lyon.fr 1999-02-25 Kristoer H. Rose Twenty-One at TREC-7: Ad-hoc and Cross-language track 1999-01-25 To Weight or not to Weight: Where is the Question? 1997-10-04 Cyclotomic q-Schur algebras 1997-11-25 An Intelligent System for Pacemaker Reprogramming 1999-03-17 A Distributed Scaleable Real-Time Add-On for Operating Systems 1998-06-30 A Prediction--Verification Strategy for Object Recognition using Local Appearance 1999-03-02 Radio Continuum Evidence for Outflow and Absorption in the Seyfert 1 Galaxy Markarian 231 1998-12-03 TOP500 Supercomputer Sites 1970-01-01 The Investigation of a Structured Markovian Traffic Source Model 1997-03-06 Stephen Bates Characterization Results for d-Horn Formulas, 1998-09-29 Carlos Areces Specialization in Populations of Artificial Neural Networks 1995-12-01 Contextual Net Unfolding and Asynchronous System Verification 1997-06-27 Alex Semenov Anonymous RPC: Low-Latency Protection in a 64-Bit Address Space 1994-10-02 Neural Dual Extended Kalman Filtering: Applications In Speech Enhancement And Monaural Blind Signal Separation 1997-07-03 Intelligent Simulation in Designing Complex Dynamic Control Systems 1997-05-03 Feng Zhao Integro-Differential Model for Pattern Formation in Bacterial Swarm 1997-09-08 Mixed Categories as Head Sharing Constructions 1997-07-22 On MCMC Sampling in Hierarchical Longitudinal Models 1998-10-07 A Memory-Conserving Hybrid Method For Solving Linear Systems With Multiple Right Hand Sides 1970-01-01 An Efficient Accelerated Waveform Method for Parallel Transient Simulation of Semiconductor Devices 1997-03-13 Tianruo Yang Self-Delegation with Controlled Propagation -- or -- What If You Lose Your Laptop 1997-09-27 QCD at finite baryon density with t-asymmetric fermions 1998-05-12 Utilizing Scenarios in the Software Development Process 1994-05-12 Constructing Fuzzy Controllers with B-Spline Models - Principles and Applications 1998-10-10 Interior Point Methods In Semidefinite Programming With Applications To Combinatorial Optimization 1997-03-11 Farid Alizadeh Writer and Writing-Style Classification in the Recognition of Online Handwriting. 1998-05-19 Disjunction of Horn theories and their cores 1999-01-11 Symmetry Of Tilings Of The 1998-07-11 Charles Radin Equilibrium Statistical Mechanics Of Frustrated Spin Glasses: A Survey Of Mathematical Results 1997-04-26 Dimitri Petritis Enabling Synchronous Joint-Working In Java 1998-03-03 Vladimir Minenko Exploiting Constraints as Background Knowledge for Genetic Algorithms: a Case-study for Scheduling 1998-04-07 Status Report On The Nomad Experiment 1997-06-19 B. Schmidt Synthesis from Knowledge-Based Specifications 1998-06-10 Cooperation between Pronoun and Reference Resolution for Unrestricted Texts 1997-05-13 Some Decidability Results for Duration Calculus under Synchronous Interpretation 1999-03-09 LECTURE 9 Statistical mechanics of semiflexible polymers: theory and experiment 1998-08-03 Reflections on Undo 1996-11-14 A Supernova at 1995-04-07 A Programming Methodology for Dual-tier Multicomputers 1999-02-22 A Protocol for Maintaining Multidatabase Referential Integrity 1995-11-22 Peter D. Karp Localization Of Distributed Sources 1998-11-30 Composing the user interface with Haggis 1996-06-08 General Classes Of Control-Lyapunov Functions 1996-10-29 A Classification System for Credit Card Transactions 1995-11-21 Using Local-Spin 1997-06-23 Practical Multi-Resolution Source Coding: TSVQ Revisited 1998-04-23 Michelle Effros The GCHQ Protocol and its Problems 1997-03-07 Denotational Versus Declarative Semantics For Functional Programming 1998-04-27 A Reverse Engineering Methodology For Data Processing Applications 1994-04-05 A First Generation DPGA Implementation 1995-05-22 Xgobi: Interactive Dynamic Graphics In The X Window System With A Link To S 1998-11-16 Contrasting the Cognitive Effects of Graphical and Sentential Logic Teaching: Reasoning, Representation and Individual Differences 1995-01-23 Gibbs States Of The Hopfield Model With Extensively Many Patterns 1997-04-26 Anton Bovier Improving Environmental Robustness In Large Vocabulary Speech Recognition 1995-12-21 Type Extension and Efficient AST Manipulation 1995-04-19 Resource Optimization Via Structured Parallel Programming 1995-09-26 Approximately Learning Regular Languages with respect to Reversible Languages: A Rough Set Based Analysis 1996-05-10 Elisabetta Marcelli 1997-04-26 Decidability of Bisimilarity for One-Counter Processes 1999-03-04 Petr Jancar Signals, Timers, and Continuations for Multithreaded User-Level Protocols 1998-04-20 The size and growth rate of the Internet 1998-10-03 A Deterministic Linear Time Algorithm for Geometric Separators and its Applications 1998-07-11 Abductive reasoning through Filtering 1998-11-24 Chitta Baral Kin Selection and Cooperating Agents 1996-02-28 Programmable Active Memories: Reconfigurable Systems Come of Age 1998-12-21 A Quality of Service Decision Model for ATM-LAN/MAN Interconnection 1998-02-12 Physically-Based Combinations of Views: Representing Rigid and Nonrigid Motion 1994-09-13 The Automatic Classification of Outdoor Images 1997-02-08 Implementing Semantic-Based Decomposition of Transactions 1997-08-29 An Overview of the Tigger Object-Support Operating System Framework 1999-02-08 Vinny Cahill A Hardware Emulator For Binary Neural Networks 1998-12-21 Marcin Skubiszewski Computing Small Search Numbers in Linear Time 1998-12-09 Block Jacobi Preconditioning of the Conjugate Gradient Method on a Vector Processor 1970-01-01 A Neural Model Of High-Level Motion Processing: Line Motion And Formotion Dynamics 1999-01-16 Selection of Distance Metrics and Feature Subsets for k-Nearest Neighbor Classifiers 1997-05-13 PILOT:a language and a control execution system for telerobotics 1995-09-08 Hierarchical Time-Extended Petri Nets H-EPNs Based Error Identification and Recovery for Multilevel Systems 1999-03-19 Exciting Avocados and Dull Pears 1998-12-18 Floriana Grasso Status of this Memo 1993-05-03 All-or Nothing Disclosure of Secrets 1998-07-15 An Explanation-Based Approach to Improve Retrieval in Case-Based Planning 1995-09-02 Visual Imagery for Subsea Teleprogramming 1995-02-20 On the Torus Quantization of Two Anyons with Coulomb Interaction in a Magnetic Field 1997-04-26 Luca Salasnich Memory Models 1998-06-01 An Unconditionally Stable Splitting Scheme For A Class Of Nonlinear Parabolic Equations 1997-09-03 On the Generation of Alternative Explanations with Implications for Belief Revision 1996-02-20 Eugene Santos Adaptive Optimization For Self: Reconciling High Performance With Exploratory Programming 1995-01-17 Robotic Hands : Modelisation, Control and Grasping Strategies 1998-04-09 Reconstructed Intentions in Collaborative Problem Solving Dialogues 1997-01-31 Semi-Oriented Bootstrap Percolation in Three Dimensions 1997-02-12 Reinier P. Bikker Improvement of CSP resolution algorithms using partial orders on domain values 1996-05-09 Towards the Automatic Verification of Informal Proofs 1999-05-10 Claus Zinn Formulation and Spatila Aggregation of Agricultural Production Relationships . . . 1998-10-27 Models for Concurrent Constraint Programming 1999-05-07 Holey Schröder Designs of Type 2 n u 1 1997-09-30 Rigid Motion and Structure from Curves Using Scale Space 1998-05-07 Monopole and electrically charged dust thin shells in general relativity: Classical and quantum comparison of hollow and atomlike configurations 1998-05-05 Konstantin G. Zloshchastiev Probabilistic Planning in the Graphplan Framework 1998-05-13 SPACE: An Accurate Layout-to-Circuit Extractor for High-Speed MOS and Bipolar Circuits 1995-04-18 Detecting CompositeEvents in Active Database Systems Using Petri Nets 1995-12-07 Combining inference and disinference rules with enumeration for model building Extended Abstract 1998-09-02 An Approach for Quantitative Analysis of Application-Specific Dataflow Architectures 1997-08-04 A Finite Axiomatization of Inductive-Recursive Definitions 1999-01-05 Peter Dybjer Extracting Schema from Semistructured Data 1997-11-21 Bargaining by Artificial Agents in Two Coalition Games: A Study in Genetic Programming for Electronic Commerce 1997-11-13 Simplex Scheduling: More than Lifetime-Sensitive Instruction Scheduling 1998-06-29 Benoit Dupont De Dinechin Real-Image-Based Virtual Studio 1998-07-29 Simulation of DNA Solvation on a Shared-Memory Parallel Computer 1994-06-15 Gregg M. Skinner Some Bounds on the Complexity of Gradients, Jacobians, and Hessians 1993-03-23 Concurrent Reading and Writing of Clocks 1996-04-20 Leslie Lamport Two-Level Caching of Composite Object Views of Relational Databases 1994-10-26 Efficient Parallel Solutions Of Large Sparse SPD Systems On Distributed-Memory Multiprocessors 1992-08-20 Chunguang Sun Stochastic Self-Stabilization 1998-05-07 Xuerong Mao Limit Moves as Censored Observations of Equilibrium Futures Price in GARCH Processes 1997-07-21 Self Regenerative Markov Chain Monte Carlo 1998-04-27 Data Access Library for DAQ Prototype-1 Configuration Databases 1997-08-13 Supporting Real-Time Update of an Environment Representation for Autonomous Mobile Robots 1996-01-02 Jonathan Berry 1994-12-06 A Bilinear Extension of Subspace Identification for Systems Subject to White Inputs 1996-11-05 Learning from the Schema Learning System 1996-08-20 Bruce A. Draper Definitional Concurrent Constraint Programming 1993-10-14 Determination of the Point of Fixation in a Head-Fixed Coordinate System 1998-10-02 Jin Liu A Framework for Assertion-based Debugging in Constraint Logic Programming 1998-11-02 Convergence Of Solitary-Wave Solutions In A Perturbed Bi-Hamiltonian Dynamical System. I. Compactons And Peakons 1997-02-06 Maximal Sublattices And Frattini Sublattices Of Bounded Lattices 1997-01-15 Integration of Color, Edge, Shape, and Texture Features for Automatic Region-Based Image Annotation and Retrieval 1998-04-10 A. Murat Tekalp Asymptotically efficient estimation in the Wicksell problem 1970-01-01 Adaptive Grid Radiation Hydrodynamics with 1994-05-10 M. Gehmeyr A High-Performance Fast Fourier Transform Algorithm for the Cray-2 David H. Bailey July 10, 1986 Ref: 1998-11-05 David H. Bailey Generating normative rules with ILP techniques 1997-07-14 Nienke Den Haan Interactive Out-Of-Core Isosurface Extraction 1998-09-22 Determining The Gaze Of Faces In Images 1994-06-13 The Distribution of Barred Galaxies in the Virgo Cluster 1998-05-14 Victor Andersen Derandomizing and Rerandomizing Variance Estimators 1997-12-22 Hierarchical Taxonomies using Divisive Partitioning 1998-03-16 Daniel Boley Hilbert Space Representation of the Minimal Length Uncertainty Relation 1998-05-11 PARNASS: Porting Gigabit-LAN components to a workstation cluster 1997-11-25 Evolving Robot Behaviours with Diffusing Gas Networks 1998-10-08 Creating Surface Models in Virtual Reality 1998-05-25 A Matrix Dynamics Approach To Golomb's Recursion 1997-12-26 Discrete Decision Problems, Multiple Criteria Optimization Classes and Lexicographic Max-Ordering 1998-01-22 Matthias Ehrgott Gaussian Process Classification and SVM: Mean Field Results and Leave-One-Out Estimator 1999-03-22 A Bibliography of Publications in the Journal of Mathematical Physics: 1965-1969 1998-10-25 The Internal Geometry Of An Evaporating Black Hole 1994-05-11 DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases 1997-09-26 Pricing Framework for a Differential Services Internet 1999-01-07 Dependent Types with Explicit Substitutions: A meta-theoretical development 1997-09-10 Inria Rocquencourt Symmetry Results for Semilinear Elliptic Systems in the Whole Space 1998-03-20 Boyan Sirakov Quantification of Mixing and Mixing Rate from Experimental Observations 1998-03-18 Mobile Computing Architecture for a Battlefield Environment 1998-11-28 An Overview of Active Information Gathering in InfoSleuth 1999-02-17 On Interval Routing Schemes and Treewidth 1996-09-03 On Deflection Worm Routing on Meshes 1997-01-25 Multilevel Visualization of Clustered Graphs 1996-05-31 Cool Stars in TOPP. 1998-03-25 Parallelization Strategies for the VMEC Program 1998-09-01 Linear Time And Memory-Efficient Computation 1994-06-23 Kenneth W. Regan Half-Sync/Half-Async 1997-01-29 An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces 1997-02-27 A Variational Approach to Subdivision 1995-12-12 Leif Kobbelt <e-267>Merlise A. Clyde 1999-02-10 Adaptive Parallelism For Computing On Heterogeneous Clusters 1996-10-25 Kam Hong Shum Lattice Codes Can Achieve Capacity on the AWGN Channel 1997-09-11 A Random Energy Model For Size Dependence: Recurrence Vs. Transience 1997-07-18 Christof Kulske Acquisition and Maintenance of Text-based Plans 1998-09-09 Generating Plans to Succeed in Uncertain Environments 1996-03-08 Hamiltonians on Random Walk Trajectories Pablo A. Ferrari 1997-09-01 Pablo A. Ferrari The PVM Concurrent Computing System: Evolution, Experiences, and Trends 1999-01-27 Parallel Algorithms for Constructing the Convex Hull in 2-Dimensions 1996-10-08 N Asokan Automatic Extraction of Textured Vertical Facades from Pose Imagery 1998-01-25 Context in Discrete Constraint Satisfaction Problems 1996-05-06 Efficient Resolution of Singularities of Plane Curves 1996-10-11 Dexter Kozen Network Caching Resource Allocation for Multimedia Objects 1 1996-11-26 On the Dynamics of Learner Models 1995-11-29 A. Paiva Singular Hankel Matrices 1996-02-02 Theoretical And Computational Investigations Of Nonlinear Waves In Magnetohydrodynamics 1997-02-14 Random Shuffles And Group Representations 1997-05-04 A Simple Computational Market for Network Information Services 1995-05-26 Statistical Analysis Procedures for Software Complexity Assessment Data 1998-02-11 Stephen G. Macdonell Sensor Array Processing for Scattered Sources 1997-11-07 Mats Bengtsson PDS: Direct Search Methods For Unconstrained Optimization On Either Sequential Or Parallel Machines 1998-10-06 Virginia Torczon An Emperical Study of Off-Line Permutation Packet Routing on 2-Dimensional Meshes Based on the Multistage Routing Method 1994-02-02 Chameleon --- A New Kind of Stream Cipher 1997-03-01 Improved Predictability Of Two-Dimensional Turbulent Flows Using Wavelet Packet Compression 1994-10-31 A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines 1998-07-09 Zhenyu Qian Combining Databases and Knowledge Bases for Assisted Browsing 1995-01-25 Assessing Connections in Networks of Biological Neurons 1996-07-14 Intelligent Assistance for Navigating the Web 1996-10-17 Christopher A. Welty Image Registration using Multiresolution Frequency Domain Correlation 1998-11-13 Affordable Classes of Normal Logic Programs 1997-04-11 Jennifer Seitzer Compiling Java to a Typed Lambda-Calculus: A Preliminary Report 1998-10-07 A Complete Axiom System for Isomorphism of Types in Closed Categories. 1998-05-15 Design: Educational Electronic Multi-Player Games 1997-01-31 Joanna Lynn Mcgrenere High Level Parallel Programming: The Illinois Concert System 1997-10-02 Performance of Sequential SLG Evaluation 1996-02-04 Experimental Task Analysis 1998-10-02 A Calculation Method For The Three-Dimensional Boundary-Layer Equations In Integral Form 1996-12-16 Bilal Mughal Exploring the Bounds of Web Latency Reduction from Caching and Prefetching 1999-01-21 Convergence of the Natural Approximations of Piecewise Monotone Interval Maps 1997-05-13 ERROR AND COMPLEXITY ANALYSIS FOR A COLLOCATION-GRID-PROJECTION PLUS PRECORRECTED-FFT ALGORITHM FOR SOLVING POTENTIAL INTEGRAL EQUATIONS WITH LAPLACE OR HELMHOLTZ KERNELS J. R. Phillips 1995-06-01 J. R. Phillips Computing Distances Between Convex Sets and Subsets of the Positive Semidefinite Matrices 1998-11-20 Michael W. Trosset Effects of Temporal Correction on Intelligibility of Foreign-Accented English 1998-02-17 Systems Programming with C++ Wrappers 1995-10-04 Douglas C. Schmidt `Video orbits': characterizing the coordinate transformation between two images using the projective group 1995-01-05 Efficient Resumption of Interrupted Warehouse Loads 1999-02-13 Topology of Dupin hypersurfaces with six distinct principal curvatures 1996-03-06 Fuquan Fang Measuring Point Set Similarity with the Hausdorff Distance: Theory and Applications 1996-07-04 Scott D. Cohen English Error Correction: A Syntactic User Model Based on Principled "Mal-Rule" Scoring 1998-12-09 Case Studies In Performance Modelling And Simulation Of Distributed Information Systems 1999-01-12 Implementing N-body Algorithms Efficiently in Data-Parallel Languages 1997-09-04 Yu Hu Decidable Matching for Convergent Systems 1994-10-27 Look-Ahead Value Ordering for Constraint Satisfaction Problems 1996-12-06 The Path of a Triangulation 1999-03-30 Oswin Aichholzer An Environment for the Development of Numerical Programs Using MATLAB 1970-01-01 -Stability and Error Estimates for Approximate Hamilton-Jacobi Solutions. 1970-01-01 Chi-tien Lin Classifying High Dimensional Spectral Data By Neural Networks 1970-01-01 Dr. N. A. Campbell Explicit Learning in ACT-R 1997-05-13 Niels Taatgen Semantical Analysis of Perpetual Strategies in lambda-calculus 1998-04-22 Many-body systems in Einstein-Maxwell-Dilaton theory 1998-05-14 Kiyoshi Shiraishi Admissible Pruning Strategies based on plan minimality for Plan-Space Planning 1995-04-21 Subbarao Kambhampati Using a Visual Constraint Language for Data Display Specification 1993-05-10 Isabel F. Cruz Placement and Routing for Three-Dimensional FPGAs 1996-04-13 Inheritance Operations in Massively Parallel Knowledge Representation 1999-03-05 Optimizing Bioreactors by Extremum Seeking 1998-05-07 Integrating Models of Discrimination and Characterization for Learning from Examples in Open Domains 1998-08-31 Paul Davidsson Daniel Farmer 1994-07-28 The text/enriched MIME Content-type 1994-10-07 Synthesis of Verifiably Hazard-Free Asynchronous Control Circuits 1995-01-26 Cluster communication using a PCI to SCI interface 1996-10-07 Multifrontal Techniques for Chemical Process Simulation on Supercomputers 1994-03-02 An Approximate Algorithm For The Partitionable Independent Task Scheduling Problem 1997-01-08 Sparse RSA Secret Keys and Their Generation 1997-01-25 On the Spectrum of Odd Order Self Adjoint Ordinary Differential Operators on the Real Line With Quasi-Periodic Coefficients 1997-04-26 Continuous Characterizations of the Maximum Clique Problem 1996-05-13 Design, Implementation and Evaluation of SCORE a System for COntent based REtrieval of pictures 1996-07-16 Enumeration of Remarkable Families of Polyominoes 1998-10-15 Dominique Gouyou-beauchamps Simulative Performance Evaluation of the Temporary Pseudonym Method for Protecting Location Information in GSM Networks 1998-11-25 Syntactic Analysis of Convergence in Genetic Algorithms 1999-04-20 Making Stochastic Networks Deterministic 1997-07-02 Stefan M. Ruger Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems 1997-04-18 Michael Luck The First Two Rounds of MD4 are Not One-Way 1997-05-17 Hans Dobbertin Electromagnetic Corrections for Pions and Kaons : Masses and Polarizabilities 1997-12-11 Johan Bijnens Storage-Efficient Finite Field Basis Conversion 1998-07-21 Method Engineering for Multi-Perspective Software Development 1996-07-02 Is Vbr Video Non-Stationary Or Self-Similar? Implications For Atm Traffic Characterisation 1997-03-06 Complex Structures in Quantum Field Theory 1997-04-26 Rainer Dick Unknown 1993-12-08 Applying Theories of Communicative Action in Generation Using Logic Programming 1997-08-23 Matthew Stone User Interface Constraints for Immersive Virtual Environment Applications 1995-08-30 A Dialog Control Algorithm and Its Performance 1993-11-20 The Functional Transfer of Knowledge for Coronary Artery Disease Diagnosis 1998-02-05 Scheduling Sporadic Tasks with Shared Resources in Hard-Real-Time Systems 1998-02-25 Kevin Jeffay Induction of decision trees using RELIEFF 1996-05-31 Igor Kononenko Edvard Using Peer Support to Reduce Fault-Tolerant Overhead in Distributed Shared Memories 1996-06-11 RANDOM WALK ON PERIODIC TREES Christiane Takacs 1997-01-17 Christiane Takacs Fuzzy Optimization of Distribution Networks by using Genetic Algorithms 2036-02-07 Discrete-time Process Algebra and the Semantics of SDL 1997-10-20 On sensing and off-line interpreting in GOLOG 1998-09-15 Robust l1 Estimation with Applications to Robust Fault Detection Using the Popov-Tsypkin Multiplier 1999-02-26 Search Costs in Quadtrees and Singularity Perturbation Asymptotics 1996-07-05 Thomas Lafforgue Socially Emotional: Using Emotions to Ground Social Interaction 1997-11-30 Walter Van De Velde A Locally Optimal Design Algorithm for Block-Based Multi-Hypothesis Motion-Compensated Prediction 1998-02-01 New Techniques for Computing Four-Finger Force-Closure Grasps of Polyhedral Objects 1997-02-07 MPICH on the T3D: A Case Study of High Performance Message Passing 1997-12-26 Generating Functions for Shifted Plane Partitions 1995-07-18 C. Krattenthaler Model-Based Color Image Sequence Quantization 1996-10-10 A Certification Infrastructure for ATM 1995-07-24 Performance Effects of Scheduling Strategies for Master/Slave Distributed Applications 1998-10-09 Gary Shao Recognition of Printed Digits using Zernike or Orthogonal Fourier-Mellon Moments 1997-06-18 A Look at Function Symbols and Planning 1996-12-21 Eric Jacopin CYES-C++: A Concurrent Extension of C++ through Compositional Mechanisms 1996-05-01 I/O, Performance Analysis, and Performance Data Immersion 1996-10-31 MMH: Software Message Authentication in the Gbit/second Rates 1999-02-08 Superlinear Convergence Estimates for a Conjugate Gradient Method for the Biharmonic Equation 1996-06-07 Using Model-Checking for Timed Automata to Parameterize Logic Control Programs 1998-02-04 Value Prediction in VLIW Machines 1999-03-02 + Status: 1997-09-23 A Behaviour-oriented Approach to an Implicit "Object-understanding" in Visual Attention 1999-03-10 KBS Maintenance as Learning Two-Tiered Domain Representation 1997-06-18 Gennady Agre Base Polytopes of Series-Parallel Posets: Linear Description and Optimization 1996-12-21 Predicate Migration: Optimizing Queries with Expensive Predicates 1995-06-04 MIME Multipurpose Internet Mail Extensions Part One: 1993-09-30 RAIL: Road Recognition from Aerial Images Using Inductive Learning 1998-06-22 Misclassification Minimization 1970-01-01 O. L. Mangasarian Cooperation of Synthesis, Retargetable Code Generation and Test Generation in the MSS 1998-06-17 Characterization Of Time-Series By Dynamical Clustering 1996-02-22 Egorov Theorems and equidistribution of eigenfunctions for the quantized sawtooth and Baker maps. 1997-04-26 M. Degli Esposti Ground Nonmonotonic Modal Logics 1996-09-24 Triangular Lie bialgebras and matched pairs for Lie algebras of real vector fields on S 1995-05-03 Frank Leitenberger Cryptographically Resilient Functions 1997-12-07 Automatically Improving Agents Behaviors in an Urban Simulation 1998-09-17 RODAIN: A Real-Time Object-Oriented Database System for Telecommunications 1997-03-11 Extracting Microscopic Models from Kinetic Data 1995-09-26 Mark M. Millonas Combining Language Generation and Belief Modelling into a Flexible Hypertext System 1997-04-15 A Parallel Performance Study of Jacobi-like Eigenvalue Solution 1995-01-12 GSPN and SPA Compared in Practice - Modelling A Distributed Mail System 1995-10-03 An Undergraduate Course in Parallel Computing for Scientists and Engineers 1970-01-01 Manavendra Misra Experiments with FOIL to induce spatial representations 1996-06-27 Construction of an alternation-based English valency dictionary 1999-02-12 June 1997 1997-06-27 Making Maximum Entropy Computations Easier by Adding Extra Constraints Extended Abstract 1997-03-12 Using Spread-Spectrum Ranging Techniques for Position Tracking in a Virtual Environment 1997-03-13 Physical and Computational Domain Decompositions for Modeling Subsurface Flows 1998-08-10 An Evaluation of the Pavane Visualization System 1995-07-25 A Language-Independent, Data-Oriented Architecture for Grapheme-to-Phoneme Conversion 1970-01-01 Computing Lower Bounds on Functional Units before Scheduling 1995-03-24 Expressive Power of the ACLT Reaction Specification Language 1997-09-25 Discovery of Frequent Episodes in Event Sequences 1998-06-22 Modeling Interference Effects In Instructed Category Learning 1996-07-12 Evaluating the Effectiveness of Derivation Replay in Partial-order vs State-space Planning 1994-09-10 Termination Analysis based on Operational Semantics 1997-05-14 Declarative systems architecture: a quantitative approach AQUA Final Report 1997-12-17 Simon Peyton Jones Self-Interpretation and Reflection in a Statically Typed Language 1997-07-17 Martin Odersky Specifying Active Database Systems in an Object-Oriented Framework 1996-10-25 On the Castelnuovo regularity for curves 1995-02-23 Assessing Software Designs using Capture-Recapture Methods 1996-05-30 Generalized Jackson kernels in approximation theory 1999-01-26 Richard Greiner Semigroups and Scattering Theory for a Scalar Field on Curved Space-Time 1997-04-26 Edward P. Furlani Calogero-Sutherland model from excitations of Chern-Simons vortices 1998-05-26 An Efficient Optimal Solution Method for the Joint Replenishment Problem 1996-06-28 Evolution of Elliptical Galaxies 1998-02-06 Autonomous and Adaptive Agents that Gather Information 1998-01-09 Collective and Cooperative Group Behaviours: Biologically Inspired Experiments in Robotics 1997-08-12 MPI on the I-WAY: A Wide-Area, Multimethod Implementation of the Message Passing Interface 1996-05-28 The Shape of a Typical Boxed Plane Partition 1998-09-10 Design and Implementation of ET++, a Seamless Object-Oriented Application Framework 1995-01-17 Replicated Process Allocation for Load Distribution in Fault-Tolerant Multicomputers 1997-03-05 A new protocol for the integration of Voice and Data over PRMA 1998-04-07 Neometric Spaces 1997-09-10 Mechanics for Vibratory Manipulation 1997-01-30 Quantized Kronecker flows and almost periodic quantum field theory 1997-04-26 Multiple Reflections in One-Dimensional Quantum Scattering 1998-01-01 Wolf Jung A More Attractive and Interactive TV 1998-09-25 Time-Constrained Loop Pipelining 1996-03-01 Transportable Agents 1994-11-16 Research Report 1996-12-04 GRAPESPH with Fully Periodic Boundaries: Fragmentation of Molecular Clouds 1998-03-16 Ralf Klessen Dialogue Modelling in the Framework of an Interactor Model 1996-07-10 The Virtual Tricorder: A Uniform Interface for Virtual Reality 1995-07-28 Matthias M. Wloka Precise Flow-Insensitive May-Alias Analysis is NP-Hard 1996-10-16 Susan Horwitz Adaptive Spline Generation: A New Algorithm for Solving Stochastic Dynamic Programs 1996-08-28 Symbol-by-Symbol MAP Decoding of Nonbinary Codes 1999-04-13 Multimedia Authoring, Development Environments, and Digital Video Editing 1970-01-01 The Impact of Nested Agent Models in an Information Economy 1997-07-29 Optimal Routing in 2-jump Circulant Networks 1996-06-03 Borut Robic Hiding Routing Information 1996-08-05 Environmental Sound Recognition: A Statistical Approach 1997-09-18 Christophe Couvreur Telltale User Documentation 1995-10-12 Grace Crowder Distilling Reliable Information From Unreliable Theories 1995-08-22 Sean P. Engelson Rough Set Based Classification Methods and Extended Decision Tables 1996-02-05 Polygons are Anthropomorphic 1997-08-19 Godfried Toussaint Three-Dimensional Field-Programmable Gate Arrays 1995-06-03 The Application Of Word Image Matching In Text Recognition 1992-10-13 Modeling Systematic Variations in Pronunciation via a Language-Dependent Hidden Speaking Mode 1996-11-20 Application Of A Human Auditory Model To Loudness Perception And Hearing Compensation 1995-02-06 Hypertext Transfer Protocol -- HTTP/1.1 1996-09-05 On the Relationship between Logic Programs and Specifications 1999-04-14 HASSE: a Tool for Analyzing Causal Relationships in Parallel and Distributed Systems 1995-11-08 Scalable Transactional Cache Coherency: Towards Scalable Persistent Systems 1997-09-23 Stan C. Kwasny Barry L. Kalman 1997-11-15 in the Subject line: On Digital's EASYnet: CRL::TECHREPORTS On the Internet: techreports@crl.dec.com 1997-09-03 David Lomet Structure Matching And Transformation With Distributed Representations 1997-06-19 Tony A. Plate An Overview of Cost-based Optimization of Queries with Aggregates 1998-01-28 Interface Pinning And Finite Size Effects In The 2d Ising Model 1997-04-26 C. -e. Pfister Genetic Algorithms in Timetabling and Scheduling 1996-01-19 Eliminating Dead Code on Recursive Data 1998-10-13 Software Architecture of Ubiquitous Scientific Computing Environments for Mobile Platforms 1995-04-19 Monoplanar Camera Calibration - Iterative Multi-Step Approach 1995-10-13 Tool Support For Collaborative Software Prototyping 1998-09-05 How to Write awk and Perl Scripts to Enable your EDA Tools to Work Together 1970-01-01 On Convergence of Iterative Methods for a Fourth-Order Discretization Scheme 1996-08-17 Jun Zhang C++ Class Library Data Management for Scientific Visualization 1999-01-13 Tracking Targets in FLIR Images by Region Template Correlation 1997-07-15 H. S. Parry A Multi-Modal Logic for Stereotyping 1995-09-20 Ullrich Hustadt Theory and Algorithms for Plan Merging 1998-09-10 Duplication of Coding Segments in Genetic Programming 1998-08-03 Thomas Haynes Natural Language Grammatical Inference with Recurrent Neural Networks 1998-08-18 A Neural Network Approach To Routing In Multihop Radio Networks 1970-01-01 Test Suites for Quality Evaluation of NLP Products 1998-01-26 Comparison of the H.263 and H.261 Video Compression Standards 1995-11-30 Detecting Pipeline Structural Hazards Quickly 1995-10-27 Hiding More of Hidden Algebra 1999-02-18 Joseph Goguen An Improved Active Shape Model: Handling Occlusion and Outliers 1998-10-21 Second-Order Recurrent Neural Networks Can Learn Regular Grammars From Noisy Strings 1997-02-20 An Olog k-approximation algorithm for the k minimum spanning tree problem in the plane 1996-05-12 Maxwell-Chern-Simons theory in covariant and Coulomb gauges 1998-05-23 Kurt Haller A Golden Ratio Notation for the Real Numbers 1996-02-05 Pietro Di Gianantonio Programming for Fun: MUDs as a Context for Collaborative Learning 1998-01-12 Amy Bruckman Predictability Versus Responsiveness: Coordinating Problem Solvers in Dynamic Domains 1994-11-08 Perfect Simulation for Spatial Point Processes 1999-03-01 Document Identification for Copyright Protection using Centroid Detection 1998-01-27 Qualitative Reasoning about Perception and Belief 1997-10-22 Representing and Integrating Multiple Calendars 1998-09-05 A Coincidence Array Demonstrator ASIC for the RD27 Muon Trigger 1994-07-15 On Representing Salience and Reference in Multimodal Human-Computer Interaction 1998-07-10 ARIES: A Rearrangeable Inexpensive Edge-based On-line Steiner Algorithm 1996-11-15 A High-Performance, Portable Implementation of the MPI Message Passing Interface Standard 1996-07-26 An Experimental and Theoretical Comparison of Model Selection Methods 1997-12-30 Communication Protocols Verification with Esterel 1997-11-11 Open to Suggestions 1996-04-22 A Class Based Approach To Domain Adaptation And Constraint Integration For Empirical M-Gram Models 1997-05-20 Klaus Ries On Risky Methods for Local Selection under Noise 1998-07-09 Gunter Rudolph An Approach for Analyzing the Robustness of Windows NT Software 1998-07-02 Integrating Algorithm Animation into a Declarative Visual Programming Language 1995-08-14 An Inductive Logic Programming Method for Corpus-based Parser Construction 1997-03-20 Design and Evaluation of an Advance Reservation Protocol on top of RSVP 1999-02-16 Lambda! Considered Both as a Paradigmatic Language and as a Meta-Language 1997-02-05 Alberto Pravato Roversi Matematiqki Vesnik 1996-07-07 Decision-Theoretic Cooperative Sensor Planning 1997-01-15 A Randomized Fully Polynomial Time Approximation Scheme for the All Terminal Network Reliability Problem 1996-10-15 David R. Karger Efficient Markovian couplings: examples and counterexamples 1998-04-28 Krzysztof Burdzy The Value of the Four Values 1997-10-20 An Efficient Delay-Constrained Minimum Spanning Tree Heuristic 1996-05-13 Improvement of Stereo Disparity Estimation Through Balanced Filtering: The Sliding-Block Approach 1998-01-05 Abstraction as a Fundamental Concept in Teaching Computer Science 1994-03-17 G Unther G Orz Column-Based Strip Packing using Ordered and Compliant Containment 1996-09-03 On Goursat Normal Forms, Prolongations, And Control Systems 1995-01-27 D. Tilbury An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States 1996-09-07 On the Automatic Synthesis of Functional Dependency Graphs From Libraries of Component Models 1998-02-05 Simple Termination is Difficult 1998-04-02 The Physics Inside Topological Quantum Field Theories 1998-05-25 Roger Brooks A Constraint-based Spatial Extension to SQL 1998-08-17 Theory and Computation for the Microstructure Near the Interface Between Twinned Layers and a Pure Variant of Martensite 1970-01-01 Computably Categorical Structures and Expansions by Constants 1998-05-01 Merging Interactive, Modular, And Object-Oriented Programming 1992-04-23 Sho-huan Simon Tung Automated Supershell Recognition in Spiral Galaxies Employing Hydrodynamic Simulations 1998-11-24 Acceleration of Integer Programming by Siblings' Exchange of Pruning Thresholds 1995-01-18 Incorporating Invariances in Support Vector Learning Machines 1997-01-22 A Quantitative Steinitz' Theorem 1970-01-01 A Practical Time-Delay Estimator for Localizing Speech Sources with a Microphone Array 1996-02-14 August 5, 1996 Tomasz / Luczak 1996-08-24 Neural Network Design For A Natural Language Parser 1997-09-02 Theory and Practice of Vector Quantizers Trained on Small Training Sets 1993-01-05 -- a Pattern Recognition Tool for the HERA-B Main Tracking System -- Quick 1997-02-12 Naming and Addressing of Objects without Unique Identifiers 1992-03-27 Logics for Cryptographic Protocols - Virtues and Limitations 1996-10-26 On the Size of Classes with Weak Membership Properties 1998-03-26 Marius Zimand A New Scheme for Incremental Learning 1996-04-03 Partial Linearization Methods in Nonlinear Programming 1995-09-19 Some Wavelet Analyses of Point Process Data 1998-01-21 David R. Brillinger Nonstationary Flows With Viscous Heating Effects 1997-09-16 A Review of A Posteriori Error Estimation Techniques for Elasticity Problems 1997-11-14 R. Verf Urth Security&Distributed Systems 1994-05-26 Jonathan Moffett Modeling and Estimation for Doppler-shifted Random Processes 1998-04-16 Pin Assignment for Multi-FPGA Systems 1994-12-06 7 A. Kalavade, and E.A. Lee, "A Hardware/Software Codesign Methodology for DSP Applications, " 1994-12-06 J. K. Ousterhout Matematiqki Vesnik 1996-07-08 Wavelet Accelerated Regularization Methods for Hyperthermia Treatment Planning 1996-05-13 Peter Maass Agnostic Classification of Markovian Sequences 1998-01-05 Autoscheduling in a Distributed Shared-Memory Environment 1994-07-01 Compact real-time 2-D gradient-based analog VLSI motion sensor 1999-04-07 Rainer A. Deutschmann Time Out of Joint: Attractors in Asynchronous Random Boolean Networks 1999-01-09 3-D Orientation Vector Estimation for Sub-Components of Space Object Imagery 1998-04-21 Lower Bounds on Threshold and Related Circuits via Communication Complexity 1996-05-02 Mobile Ambients --Annex-- 1997-06-23 Bayesian Relevance Feedback for Image Retrieval 1996-07-31 Random Polynomials and Polynomial Factorization 1996-04-29 Delaying Variable Binding Commitments in Planning 1998-09-16 Progressive Meshes 1997-05-23 Enhancement Of The Horn And Schunck Optic Flow Algorithm By Means Of Median Filters 1999-02-03 A Probabilistic Approach To The Estimation Of The Distribution Of The Target Location Point 1996-02-20 M. A. Tabatabai Wait-freedom vs. t-resiliency and the robustness of wait-free hierarchies Extended Abstract 1998-01-13 Validating Bayesian Prediction Models: a Case Study in Genetic Susceptibility to Breast Cancer 1997-10-31 D1.7/2 POSIX-Style Parallel File Server for the GPMIMD: Final Report 1996-03-05 Agent Based Internet Database Services 1999-01-29 A System for Induction of Oblique Decision Trees 1996-07-15 Coca: A Debugger for C Based on Fine Grained Control Flow and Data Events 1998-10-14 Mireille Ducass On the Intrinsic Complexity of Language Identification 1999-02-10 SEKI Report 1998-07-17 Serge Autexier An Approach for Classification of Integrated Circuits by a Knowledge Conserving Library Concept 1970-01-01 W. Thronicke Shaken not stirred: On Permanence in Ecological Communities 1999-01-27 Local Observability of Rolling 1998-03-22 Almost Optimal Convergence of the Point Vortex Method for Vortex Sheets using Numerical Filtering 1970-01-01 -D SIMD Algorithms in the Perfect Shuffle Networks 1998-04-05 Requirements Engineering: An Integrated View of Representation, Process, and Domain 1994-12-05 Automatic Calibration For 3-D Free-Hand Ultrasound 1998-03-03 Adaptive Broadcasting With Faulty Nodes 1997-11-24 Andrzej Pelc Unavoidable Binary Patterns 1994-07-28 Julien Cassaigne Retrieving Information in Distributed Multimedia Databases 1996-11-22 The Morley rank of a Banach space 1997-04-11 Incremental Updates of Inverted Lists for Text Document Retrieval 1993-11-19 Specification of tools for Message Sequence Charts 1999-01-28 XCON - A Motif Based Toolkit for Graphical User Interface Design for Control Applications 1996-04-15 Multiagent Systems: A Survey from a Machine Learning Perspective 1997-02-17 In-Place Sorting With Fewer Moves 1998-12-30 Hilbert Series of Group Representations and Gröbner Bases for Generic Modules 1997-10-09 Shmuel Onn Reasoning about Object-Z specifications 1998-12-15 Graeme Smith On the Rank of Extreme Matrices in Semidefinite Programs and the Multiplicity of Optimal Eigenvalues 1998-02-03 Uniform Resource Locators 1993-10-15 Utopia: A Load Sharing Facility for Large, Heterogeneous Distributed Computer Systems 1997-05-20 A Randomized Heuristic Approach to Register Allocation 1996-04-17 Multiple Lesion Track Structure Model 1997-09-10 A Critical Look at Design, Verification, and Validation of Large Scale Simulations 1999-01-21 D. E. Stevenson The graph-based logic of ER-diagrams and taming heterogeneity of semantic data models 1997-11-14 ICA Mixture Models for Unsupervised Classification of Non-Gaussian Sources and Automatic Context Switching in Blind Signal Separation 1999-03-02 Motion Detection using Randomized Hough Transform Heikki Kalviainen, Erkki Oja and Lei Xu 1998-03-16 Management Tools for Distributed Interoperable Environments 1998-03-24 Asymptotic Results for Multiplexing Subexponential On-Off Processes 1998-06-26 August 27, 1996 1996-08-27 Synchronous Kahn Networks 1996-03-20 On The Nilpotency Of The Jacobson Radical Of Semigroup Rings 1998-01-27 Chain Graphs: Semantics and Expressiveness 1997-08-28 Remco R. Bouckaert Interpolative Coding Of Image Sequences Using Temporal Linking Of Motion-Based Segmentation 1996-01-25 Decision Making in Intelligent User Interfaces 1998-03-18 A Compilation System that Integrates High Performance Fortran and Fortran M 1994-02-06 Breaking the Time Complexity of Fractal Image Compression 1994-05-20 Dietmar Saupe CheckFLIP++: A knowledge acquisition tool for the fuzzy constraints-based *FLIP++ scheduling library 1997-06-22 Wolfgang Slany Unknown 1996-07-30 Guide to the HYDRA Reduction Task DOHYDRA 1998-06-27 Francisco Valdes TALx86: A Realistic Typed Assembly Language 1999-04-07 Maximum Principle And Local Mass Balance For Numerical Solutions Of Transport Equation Coupled With Variable Density Flow 1998-06-02 P. Frolkovi C A Formal Specification of GoF Design Patterns 1999-01-22 Quality Adaptation in a Multisession Multimedia System: Model, Algorithms and Architecture 1998-06-18 Md. Shahadatullah Khan Supporting Heterogeneous Network Computing: PVM 1995-10-15 Semi-Definite Relaxations for Minimum Bandwidth and other Vertex-Ordering problems 1998-12-15 Primitive and Quasi Primitive Elements in Weyl Modules for Type 1999-04-21 Nanhua Xi A Protocol Simulator for the Thunder and Lightning ATM Network 1996-03-07 Clustering Techniques for Minimizing External Path Length 1996-08-20 An Analytical Approach to File Prefetching 1996-11-26 Stability of Learning in Classes of 1995-07-05 An Empirical Evaluation of Virtual Circuit Holding Time Policies in IP-over-ATM Networks 1996-09-04 Performance Models for Exponentially Distributed Shared Memory Multiprocessor Systems 1995-06-13 The Spring Virtual Memory System 1994-06-09 Takagi/Naito's algorithm revisited 1997-05-18 Mediator Languages - a Proposal for a Standard 1996-12-21 Reasoning and Knowledge over Impossible Worlds 1999-03-16 Coordinating Human and Computer Agents 1998-12-04 Keith S. Decker Transmit Spectra Adaptive to Noise and Interference at Activation for HDSL2 1998-09-04 Inferability of Recursive Real-Valued Functions 1997-09-26 Alleviating Priority Inversion and Non-determinism in Real-time CORBA ORB Core Architectures 1998-02-25 Curved Fences For Part Alignment 1996-12-23 Kinks - Gradient Flow and Dynamics 1998-05-26 N. S. Manton Indexing and Compression in Data Warehouses 1999-04-20 Foundations of Quantum Mechanics 1998-01-14 Dr. H. Osborn On the Function of Intonation in Wee Utterances 1996-04-11 Jacqueline Kowtko An Overview of the Rialto Real-Time Architecture 1999-02-12 Block diagonal preconditioners for the Schur complement method 1998-02-17 Definiteness In The Hebrew Noun Phrase 1999-02-05 Shuly Wintner Hierarchical Concurrency in Jade 1995-05-20 Topics in Nonlinear Systems: Stability, Spectra and Optimization 1997-12-11 I.P. Brawn, R.E. Carney, J. Garvey, D. Rees, R. Staley, P. Watkins, A.T. Watson 1995-01-21 A Computer Implementation of Psychoacoustic Grouping Rules 1997-02-08 Daniel Pw Ellis Iterated Soft-Decision Interference Cancellation for CDMA 1997-09-08 An adaptive semi-Lagrangian advection scheme and its parallelization 1998-08-06 Calculation of Noise Distribution in Mesoscopic Dynamics Models for Phase-Separation of Multicomponent Complex Fluids. 1997-07-31 Tracing Protocols 1998-07-04 Gerard J. Holzmann Downward Collapse from a Weaker Hypothesis 1998-07-24 A Genetic Algorithm for the Optimisation of a Multiprocessor Computer Architecture 1995-12-14 Making Trust Explicit in Distributed Commerce Transactions 1995-10-12 Overview of 1998-11-27 Linux System Administrators' Guide 0.6 1997-11-14 Lars Wirzenius Sense extensions as Lexical Rules 1994-11-17 Mean and Variance of Implicitly Defined Biased Estimators such as Penalized Maximum Likelihood: Applications to Tomography 1997-05-27 Jeffrey A. Fessler Integrating Task and Data Parallelism with the Collective Communication Archetype 1994-06-15 Crossover in the critical behavior of the two dimensional classical XY model 1998-05-12 Jae-kwon Kim A Toolset for Program Understanding 1993-06-14 Smodels an Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs 1997-05-23 A Map Acquisition, Storage, Indexing, and Retrieval System 1995-09-20 How To Use Kyst 1995-05-22 October 1994 To be publishedinOp erationsResearch Letters 1997-06-02 Multidimensional Integrable Vacuum Cosmology With Two Curvatures 1998-05-14 Chromatic Index Critical Graphs of Orders 11 and 12 1997-09-18 Eckhard Steffen Quantum Privacy Amplification and the Security of Quantum Cryptography Over Noisy Channels 1996-04-30 Event-Based Modeling and Analysis of Distributed Workflow Executions 1996-05-30 Mathias Weske Accurate Solution of Weighted Least Squares by Iterative Methods 1997-02-07 Centre for Cognitive Science 1998-02-12 A Flexible Security System for Metacomputing Environments 1998-12-04 Scientific Computing on Bulk Synchronous Parallel Architectures 1995-11-10 Robust Information Extraction From Spoken Language Data 1999-05-03 Automatic Generation Of Detailed Pronunciation Lexicons 1997-09-01 A Re-Examination of Brute-Force Search 1995-05-29 Is Continuation-Passing Useful for Data Flow Analysis? 1995-05-04 On the Ubiquity of Information Services and the Absence of Guaranteed Service Quality 1998-09-30 Gerhard Weikum Incremental Polymorphism 1970-01-01 Hierarchical Ring Topologies and the Effect of their Bisection Bandwidth Constraints 1996-09-14 Abundance similarities between the RCrB star V854Cen and the born-again Sakurai's object 1998-01-13 Discretization of Timed Automata 1995-07-28 Interacting Learning-Goals: Treating Learning as a Planning Task 1995-04-19 The PEP Tool 1997-07-02 Bernd Grahlmann Generalized Skeleton Formation for Texture Segmentation 1996-04-25 New Features for Confidence Annotation 1999-03-02 Algorithms for Generalized Digital Images Represented by Bintrees 1991-03-20 Unknown 1995-12-18 Relational Learning of Pattern-Match Rules for Information Extraction 1999-01-28 Activity selective SPIHT coding 1998-11-25 A General Framework for Vertex Orderings, With Applications to Netlist Clustering 1996-05-01 Conservation Of Statistics And Generalized Grassmann Numbers 1998-05-14 O. W. Greenberg Image Compression via Joint Statistical Characterization in the Wavelet Domain 1998-10-16 Unknown 1995-02-27 Digital Upconversion Architecture for Quadrature Modulators 1998-08-25 Sensitivity of pp-Bremsstrahlung to Meson-Exchange Currents 1998-05-23 Norges Teknisk-Naturvitenskapelige Universitet 1999-01-13 Affine Stereo Calibration 1996-11-28 Domain Specific Languages for ad hoc Distributed Applications 1997-09-08 A Variant of the Biconjugate Gradient Method Suitable for Massively Parallel Computing 1997-09-25 Networks of Preemptible Reactive Processes: An Implementation 1999-02-25 Microprocessor Design Verification 1994-10-21 Warren A. Hunt Hierarchical Automatic Function Definition in Genetic Programming 1998-08-18 John R. Koza An Automatic Face Identification System Using Flexible Appearance Models 1995-05-11 Algorithmic Bombardment for the Iterative Solution of Linear Systems: A Poly-Iterative Approach 1997-08-03 A Simple Example for Nqthm: Modeling Locking 1997-07-04 Matt Kaufmann G. G. Batrouni 1997-12-08 Constructions of Mixed Covering Codes 1994-04-05 Patric R. J. Stergrd A Compositional Modeling Language 1997-09-12 Machine Learning for the Detection of Oil Spills in Satellite Radar Images 1997-07-17 On Simple and Secure Key Distribution 1994-12-06 Vibrational Eigenstates of Four-Atom Molecules: A Parallel Strategy Employing the Implicitly Restarted Lanczos Method 1997-10-22 A Middle Ware for Transparent Access to Multiple Spatial Object Databases 1998-03-19 Designing a Distributed Authorization Service 1994-09-01 A Storage Algorithm For Two-Layered Neural Networks 1994-07-02 R. Monasson Children's Collaborative Playcrafting 1970-01-01 Assessing Aspect-Oriented Programming: Preliminary Results 1999-04-20 Performance of Time Warp Protocols for Transaction Management in Object-Oriented Systems 1998-05-27 A Linguistic Framework for Dynamic Composition of Dependability Protocols 1998-02-02 A Method to Construct Reconfigurable Simulators from Architecture Templates 1997-12-22 Recent Advances in Feature Extraction and Acoustic Modeling for Automatic Speech Recognition 1997-07-24 Renato De Mori The Short Quartet Method 1998-10-29 Fast Simulation Methods for the Detection of Reflection - and Crosstalk Effects During the Design of Complex Printed Circuit Boards 1970-01-01 Packing Random Intervals On-Line 1998-07-28 Group Actions on Magic Squares 1970-01-01 Wolfgang Muller A Multimedia Document Retrieval System Using Partially-Ordered/Partially-Reliable Transport Service 1996-08-19 A Study on the Coding Efficiency of Block Transforms, Cosine-Modulated Perfect-Reconstruction Filter Banks and Wavelets 1995-01-31 Nuno Vasconcelos Classical and Quantum Dissipation in Non Homogeneous Environments 1995-03-28 Program Abstraction in a Higher-Order Logic Framework 1998-04-14 Automated System Monitoring and Notification With Swatch 1993-11-15 Relationlog: A Typed Extension to Datalog with Sets and Tuples 1997-02-13 Mengchi Liu Semantic Lego 1995-05-10 David A. Espinosa Optimization Schemes for Neural Networks 1993-08-25 The Impact of External Dependency in Genetic Programming Primitives 1997-11-27 . Such an amplification is either due to the anisotropy of distribution of random magnetic fields 1995-04-11 Lecture 2000: More than a course across wires 1997-09-30 Matteo Novaga 1998-12-21 Effective Continuous-Time Formulation for Short-Term Scheduling: I. Multipurpose Batch Processes 1999-03-08 Generalized Abelian Deformations: Application to Nambu Mechanics 1997-04-26 Universit'e De Bourgogne MindShape: a neurocomputer concept based on afractal architecture 1991-11-02 Beyond Neuro-Fuzzy: Perspectives And Directions 1996-11-21 Detlef Nauck Sphalerons And Electroweak Strings 1998-05-15 On-Demand Asynchronous Atomic Broadcast 1995-08-15 A User Agent Configuration Mechanism For Multimedia Mail Format Information 1992-06-11 Group N. Borenstein Anosov Actions on Non--Commutative Algebras 1997-04-26 Message-Based Bucket Brigade: An Algorithm forthe Apportionment of Credit Problem 1999-03-17 Marco Dorigo "Receiver Makes Right" Data Conversion in PVM 1995-03-24 Making Paths Explicit in the Scout Operating System 1998-10-31 Yet Another java.lang.Class 1998-09-24 Notes On Surgery And 1997-05-23 John Roe On the Complexity of the Class of Regions Computeable By a Two-Layer Perceptron 1996-12-09 Eddy N. Mayoraz Extensions to ANSAware for advanced mobile applications 1997-01-27 Red Quasars Not So Dusty 1997-08-18 What is a File Synchronizer? 1998-04-22 Parameterized Complexity Analysis in Robot Motion Planning 1996-01-16 Learning Autonomous Navigation Abilities Using Hyper Basis Functions Networks 1996-12-12 Why Use Evolving Algebras for Hardware and Software Engineering? 1996-06-24 Egon Borger Reconstruction from Three Images of Six Point Objects 1994-10-03 Anders Heyden Lightweight Transactions on Networks of Workstations 1998-04-14 A New Class Of Soliton Solutions For The modified Kadomtsev-Petviashvili Equation 1997-05-14 W. Renger Multimodality Exploration in Training an Unsupervised Projection Pursuit Neural Network 1998-01-01 Testing linear restrictions on cointegrating vectors: Sizes and powers of Wald tests in finite samples 1999-03-10 Alfred A. Haug Coordinated Exception Handling in Distributed Object Systems: from Model to System Implementation 1997-10-14 The Molecular Modeling Toolkit: a case study of a large scientific application in Python 1997-11-03 Konrad Hinsen Current Status of the Control System for the PLS 2 GeV Linac 1996-01-17 An example of a solvable Lie algebra 1995-08-20 Michael Wustner Omnipotence Without Omniscience: 1994-04-14 Learning Object-Oriented Software Development with the Demeter Method 1992-09-21 Karl J. Lieberherr Super Logic Programs 1997-05-14 A Layered Architecture for Office Delivery Robots 1997-08-28 Liquid Software: A New Paradigm for Networked Systems 1998-11-17 Ensemble Learning using Decorrelated Neural Networks 1999-02-03 Bruce E. Rosen NOMaD: Applying a genetic-algorithm/heuristic hybrid approach to optical network topology design 1997-09-06 M. C. Sinclair Self-Organizing Maps And Software Reuse 1997-12-19 Dieter Merkl An Architecture for A Wide Area Distributed System 1996-07-11 A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects 1998-12-10 Marina Lenisa Chapter for S. O'Nuallain, P. McKevitt E. MacAogain Eds, 1996-09-07 John A. Barnden On The Shintani Zeta Function For The Space Of Pairs Of Binary Hermitian Forms 1996-02-22 Akihiko Yukie Generalized Soft-Thresholding and Varying-coefficient Models 1970-01-01 Artur Klinger Pitfalls in Designing Substitution Boxes 1997-03-24 Singular Limit Of Solutions Of The Equation 1999-01-11 Kin Ming Hui M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J 1998-08-07 J. -p. Eckmann Rebetzky, 1998-05-29 Probabilistic Reliable Message Transmission 1996-01-23 A Software Engineering Approach to Neural Network Specification 1996-09-30 Erich Schikuta On the Possibility of a Tidally Excited Low-Frequency . . . 1997-07-10 Coefficients of Polynomials of Restricted Growth on the Real Line 1998-04-26 Lawrence A. Harris Turning Yahoo into an Automatic Web-Page Classifier 1998-04-15 Semi-Structured Information: A Modal Logic Approach 1997-10-31 Natasha Alechina On the Relation Between Primitive Recursion, Schematization, and Divergence 1998-04-15 Miki Hermann Formalizing New Navigation Requirements for NASA's Space Shuttle 1970-01-01 Ben L. Di Vito Central Limit Theorems For Quadratic Forms With Time Domain Conditions 1996-07-12 A Comparison of 1999-02-03 William H. Wilson Dynamic Vision System: Modeling the prey recognition of common toads 1970-01-01 Inheritance and Complementation: A Case Study of Easy Adjectives and Related Nouns 1994-11-04 Wavelets in Statistics: A Review 1999-01-09 A. Antoniadis Possible biases induced by MCMC convergence diagnostics 1997-12-18 Pact - A Fault Tolerant Parallel Programming Environment 1994-08-02 Joachim Maier Intelligent Gradient-Based Search of Incompletely Defined Design Spaces 1996-01-17 Extension of Martin-Lf's Type Theory with Record Types and Subtyping 1997-11-06 Affine Order-Statistic Filters: "Medianization" of Linear FIR Filters 1997-10-22 Fast Parallel Implementation of Lazy Languages - The EQUALS Experience 1994-06-02 A Downward Collapse Within The Polynomial Hierarchy 1999-03-28 Edith Hemaspaandra<f. E+> +<f. E Schedulability and Safety Analysis in the Graphical Communicating Shared Resources 1996-03-07 On the Mass Distribution of Planetesimals in the Early Runaway Stage 1998-07-02 C. Krattenthaler 1997-12-26 C. Krattenthaler Binary Periodic Synchronizing Sequences 1995-08-05 Marcin Skubiszewski Solving the Near-Field Problem 1998-04-08 Limits on Nuclear Gamma-Ray Emission from Orion 1996-07-10 From the book: Handbook of Intelligent Control: Neural, Fuzzy, and Adaptive Approaches, White, D. Sofge, D., eds., Van Nostrand Reinhold, 1992. 1995-11-15 The most-continuous part of the Plancherel decomposition for a reductive symmetric space 1995-08-09 A Query Language and Processor for a Web-Site Management System 1998-03-15 Kazhdan Constants Associated with Laplacian on Connected Lie Groups. 1997-11-05 Electron Conduction Along Quantizing Magnetic Fields in Neutron Star Crusts 1996-09-10 A. Y. Potekhin SENTINEL: A Multiple Engine Information Retrieval and Visualization System 1998-10-29 Modular Flow Analysis for Concurrent Software 1997-09-14 Matthew B. Dwyer A Multithreaded Message Passing Environment for ATM LAN/WAN 1998-07-09 Redefintions of Histories by Measurements - An Explanation of "Nonlocality" Observed in EPR-Bohm Experiments 1997-05-23 Yuri F. Orlov What is pragmatics? Some clues from the web 1997-10-07 Staffan Larsson A General Duality Principle for the Sum of Two Operators 1996-06-24 H. Attouch CRL: High-Performance All-Software Distributed Shared Memory 1995-03-27 A Tuner that Accelerates Parameters 1998-04-03 Proxy Servers and Databases for Managing Web-based Information 1997-04-08 Database Systems - Breaking Out of the Box 1996-10-17 NOP - a compact input format for nonlinear optimization problems 1996-05-06 A. Neumaier Nimrod Megiddo 1995-09-22 Nimrod Megiddo Performance Characteristics of Epsilon Serializability with Hierarchical Inconsistency Bounds 1995-05-01 Leveraging Mediator Cost Models with Heterogeneous Data Sources 1997-03-24 On-line Learning and the Metrical Task System Problem 1999-04-14 Extended 1998-03-16 Scalable Reliable Multicast with Layered Recovery and Low-Overhead Network Delay Estimation 1999-04-16 Optimal Parallel 2-D FIR Digital Filter with Separable Terms 1999-02-24 Formalizing Dependency Directed Backtracking and Explanation Based Learning in Refinement Search 1996-04-17 Subbarao Kambhampati Estimating Equations for Clustered Data Based on Extended Quasilikelihood 1998-11-05 Daniel B. Hall On The Pairing Of The Softmax Activation And Cross--Entropy Penalty Functions And The Derivation Of The Softmax Activation Function 1970-01-01 The Hector Distributed Run--Time Environment 1999-02-03 Eelco Visser 1999-03-16 Object Associations - A Simple and Practical Approach to Virtual 3D Manipulation 1995-05-31 Block Addressing Indicesfor Approximate Text Retrieval 1997-12-12 !schoenw@cs.utwente.nl? 1997-07-01 J. Schonwalder An Implementation of Gröbner bases in Mathematica 1995-03-16 Bruno Buchberger Independent One-Time Passwords 1997-05-08 Aviel D. Rubin Why Functional Programming Matters 1996-10-15 Multitaper Spectral Estimation of Power Law Processes 1997-08-12 Mirror Symmetry And Elliptic Curves 1997-03-18 Robbert Dijkgraaf A New Approach to Updating Beliefs 1996-09-30 Extended Aggregation Relationships for Process Specification and Enactment in Active Databases 1996-11-21 Modular Aspects of Rewrite-Based Specifications 1998-04-02 Bernhard Gramlich The Homology of Homotopy Inverse Limits 1997-01-14 Paul G. Goerss Two-Way Induction 1995-07-26 Pedro Domingos The Role of Automated Word Classification in the Summarization of the Contents of Sets of Documents 1995-06-24 A Multi-Level Hierarchical Cache Coherence Protocol for Multiprocessors 1992-12-15 On the Relativistic Structure of Logical Time in Distributed Systems 1995-05-17 Friedemann Mattern Expressing Rhetorical Relations in Instructional Text: A Case Study of the Purpose Relation 1996-08-29 On the Power of Quantum Finite State Automata 1997-08-09 Simplifying the Development of Fault-Tolerant Distributed Applications 1996-04-04 Techniques for the Power Estimation of Sequential Logic Circuits Under User-Specified Input Sequences and Programs 1995-04-07 Direct Numerical Simulation of the Developing Region of Turbulent Planar Jets 1999-03-29 Pricing Multicast Communication: A Cost-Based Approach 1999-03-18 Turbulence Effects in Planetesimal Formation 1997-10-10 Lindsay S. Hodgson Complete Controllability of Continuous-Time Recurrent Neural Networks 1996-10-19 Eduardo Sontag Transfer Of Contrast Sensitivity In Linear Visual Networks 1994-10-05 Andrew B. Watson On the Computation of Multidimensional Aggregates 1996-08-12 Explicit Rate Flow Control For Abr Services In Atmnetworks 1998-03-18 An Overview of Abduction as a General Framework for Knowledge-Based Systems 1995-11-19 Tim Menzies Verifying Temporal Properties in Discrete Event Systems 1996-04-03 Roger Germundsson Segmentation by Multiresolution Histogram Decomposition 1997-02-24 A Global Topological Map formed by Local Metric Maps 1998-12-14 Evolving Cellular Automata with Genetic Algorithms: A Review of Recent Work 1997-08-19 A Functional Approach to External Graph Algorithms 1999-02-24 High-Energy Nuclear Physics With Lorentz Symmetry Violation 1997-08-21 Luis Gonzalez-mestres Verifying a Performance Estimator for Parallel DBMSs 1998-10-12 Deictic Codes for the Embodiment of Cognition 1997-03-21 Pattern Reduction In The Paper Cutting Problem 1997-04-04 Rotation, Scale and Translation Invariant Digital Image Watermarking 1999-01-19 Joseph J. K Path Profile Guided Partial Dead Code Elimination Using Predication 1997-09-17 Automated Learning for Reducing the Configuration of a Feed-Forward Neural Network 1996-08-04 Prefetching and Caching for Query Scheduling in a Special Class of Distributed Applications 1997-08-01 Through the Labyrinth Evolution Finds a Way: A Silicon Ridge 1998-05-21 Parameterized Heuristics for Intelligent Adaptive Network Routing in Large Communication Networks 1997-07-30 Performances En S&#x00E9;paration De Sources. 1998-02-02 Virtual Wires: Overcoming Pin Limitations in FPGA-based Logic Emulation 1993-11-18 Jonathan William Babb Materialized View Maintenance and Integrity Constraint Checking: Trading Space for Time 1996-12-10 Modeling Interactions of the Rat's Place and Head Direction Systems 1996-01-09 Exploiting the Temporal Structure of MPEG Video for the Reduction of Bandwidth Requirements 1998-09-05 Prehomogeneous Vector Spaces Eisenstein Series And Invariant Theory 1996-05-21 Akihiko Yukie Nomenclator Descriptive Query Optimization for Large X.500 Environments 1992-05-15 Differential BDDs 1996-05-08 A BLAS-3 Version of the QR Factorization with Column Pivoting 1996-08-06 Radix-4 Vectoring Cordic Algorithm And Architectures 1996-11-12 On Introducing Higher Order Functions in ABEL 1995-12-22 Ole-johan Dahl Efficient enumeration of instantiations in Bayesian networks 1997-05-28 Visualization of Scalar Topology for Structural Enhancement 1998-04-26 Grammatical Trigrams: A Probabilistic Model of Link Grammar 1995-10-12 Recursive Flexible Multibody System Dynamics using Spatial Operators 1997-07-17 A. Jain Module-Based Reinforcement Learning: Experiments with a Real Robot 1998-10-12 Csaba Szepesv Ari Knowledge Based Approach To Consonant Recognition 1997-11-02 A. Samouelian Protocols for High Speed Networks: Life After ATM? 1996-10-04 Rounding Errors in Solving Block Hessenberg Systems 1998-09-05 Koszul Algebras From Graphs and Hyperplane Arrangements 1998-04-23 Flow Graph Balancing for Minimizing the Required Memory Bandwidth 1997-09-11 Implementing Parallel Shortest Paths Algorithms 1994-09-22 Undiscounted Value Iteration in Stable Markov Decision Chains with Bounded Rewards 1998-03-17 Rolando Cavazos-cadena Memory Efficient Software Synthesis from Dataflow Graph 1998-11-19 Analyzing refinements of state based specifications: the case of TB nets 1994-03-10 Manifolds With Singularities 1997-02-07 Boris Botvinnik Search for 1998-05-15 Pyungwon Ko Ultra Low Power CMOS Technology 1995-03-28 Gradient Descent: Second-Order Momentum and Saturating Error 1996-04-17 Barak Pearlmutter Using Problem Generators to Explore the Effects of Epistasis 1998-06-03 Microprocessor Design Verification by TwoPhase Evolution of Variable Length Tests 1997-06-03 A Deduction Procedure for Conditional Rewriting Systems with Built-in Predicates 1997-10-09 Mauricio Ayala Rinc'on FORSCHUNGSZENTRUM J ULICH GmbH 1994-12-22 TCP over ATM: ABR or UBR? 1997-02-21 Hypertext Transfer Protocol - HTTP/1.1 1996-04-23 Improved Algorithms and Data Structures for Solving Graph Problems in External Memory 1997-05-22 Eric J. Schwabe A Practical Soft Type System for Scheme 1998-08-25 Fault Investigation and Trial 1992-12-30 Chonchanok Viravan Simulative Inference in a Computational Model of Belief 1997-01-24 Modeling Of Time Constituents For Speech Understanding 1999-02-18 Response Properties Of A Foveated Space-Variant Cmos Image Sensor 1998-03-27 A Fast Solver Of Radiosity Equation Systems 1997-05-16 The Constraint-Based Layout Framework LayLab and Its Applications 1996-01-29 Winfried H. Graf Aspects of an object model for Mobile Information Systems 1998-07-08 Thomas Kirste Saturation and Stability in the Theory of Computation over the Reals 1997-07-21 A Methodology For Developing Agent Based Systems For Enterprise Integration 1995-09-07 Polar Varieties and Efficient Real Equation Solving: The Hypersurface Case 1996-04-29 The Mobility Workbench - A Tool for the pi-Calculus 1994-09-09 A Forbidden-Suborder Characterization Of Binarily-Composable Diagrams In Double Categories 1996-04-18 Migrating Sockets---End System Support for Networking with Quality of Service Guarantees 1999-02-02 Complexity-Theoretic Analogs of Rice's Theorem 1997-08-05 Functional Representation Of Kauppi's Concept Operations And Concept Associations 1998-11-26 Marko Junkkari Experiments in Stylistic Analysis 1996-11-08 Strategic Knowledge in Design: a Compositional Approach 1999-02-08 Efficient Compression Of Arbitrary Multi-View Video Signals 1998-03-11 Jeffrey Scott Mcveigh Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields 1997-04-26 Jan Philip Solovej An Analysis of Local Feature Extraction in Digital Mammography 1999-02-25 Proximal Minimization Methods with Generalized Bregman Functions 1995-03-28 Krzysztof C. Kiwiel The Viva File System 1993-02-02 Recurrent Multilayer Perceptrons for Identification and Control: The Road to Applications 1998-11-09 K. Tutschku Finding Best Simultaneous Diophantine Approximations Using Sequences Of Minimal Sets Of Lattice Points 1996-12-09 Meta Object Facility MOF Specification 1999-04-13 Highway Scene Analysis in Hard Real-Time 1998-09-25 PAC Learning with Simple Examples 1996-01-16 Cooperation Policies for Traders 1995-03-28 C. Burger Modelling, Analysis Synthesis of Hybrid Systems 1996-07-31 J1.10 EARTH RADIATION BUDGET EXPERIMENT ERBE DATA SETS FOR GLOBAL ENVIRONMENT AND CLIMATE CHANGE STUDIES T. Dale Bess 1996-12-05 More On Recurrence and Waiting Times 1997-08-29 Abraham J. Wyner Introspective Computer Systems 1996-10-02 Rok Sosic Approximating Unstructured Task Parallelism in Series-Parallel Form 1997-05-23 Ginzburg-Landau Dynamics With A Time-Dependent Magnetic Field 1996-11-04 Hans G. Kaper The Synchronization Mechanisms of Multimedia Information in the Distributed Hypermedia System "Harmory" 1999-01-27 Computing Bisimulations for Stochastic Process Algebras using Symbolic Representations 1998-07-17 Case Studies of SNePS 1994-10-24 Stuart C. Shapiro Testing the Robustness of the Genetic Algorithm on the Floating Building Block Representation. 1999-02-08 Methodology for Distributed Usability Evaluation in Collaborative Virtual Environments 1998-10-23 Jolanda G. Tromp Anatomy of a Message in the Alewife Multiprocessor 1993-10-09 Fast Adaptive Previewing by Ray Tracing 1996-07-31 Upcoming Numerical Linear Algebra Issues in Systems and Control Theory 1997-01-15 Paul Van Dooren Dynamic Analysis of Mobility and Graspability of General Manipulation Systems 1970-01-01 Operabotics 1995-07-17 A Survey of Routing Techniques for Mobile Communications Networks 1998-10-16 A Formal Temporal Object-Oriented Data Model 1996-04-24 CatLA - a System for Automatic Acquisition of Subcategorization Information 1999-03-04 Subcategorization Information Analysis of RNA Sequence Structure Maps by Exhaustive Enumeration - I. Neutral Networks 1995-12-06 Constraint Networks: A Survey 1999-03-25 Stochastic Nonlinear Bilevel Programming 1997-01-20 Michael Patriksson Techniques for Explicit Feedback Control of TCP 1998-12-05 A New Asynchronous Pipeline Scheme: Application To The Design Of A Self-Timed Ring Divider 1970-01-01 A Domain-Specific Language For Video Device Drivers: From Design To Implementation Scott Thibault , Renaud Marlet , Charles Consel 1997-08-06 Tales of Debugging from The Front Lines 1999-01-19 Towards a Uniform Relational Semantics for Tabular Expressions 1998-07-01 Updated Parameter Limits of the Left-Right Symmetric Model 1998-05-23 Jukka Sirkka PHC Format Description 1998-11-28 Performance of PISTON on the AP1000 1997-10-20 A Multi-Level Organization of Semantic Primitives that Enables an Autonomous Design Agent to Learn Model of Interaction with the Environment 1998-11-06 Logistica-Cfp: An Implementation Of Constraint Functional Programming 1995-06-23 David E. Leasure Deciding When to Commit To Action During Observation-based Coordination 1995-07-13 Deforming The Point Spectra Of One-Dimensional Dirac Operators 1997-05-13 Gerald Teschl The Partitioned Optical Passive Stars POPS Topology. 1996-01-15 Internal Analogy in Theorem Proving 1996-04-19 Erica Melis A Fast Selection Algorithm for Meshes with Multiple Broadcasting 1997-02-09 Problems In Low-Dimensional Topology 1997-05-23 Frank Quinn In Proceedings of the 1993 Connectionist Models Summer School, M. Mozer, P. Smolensky, D. Touretzky, J. Elman, and A. Weigend, eds., Lawrence Erlbaum Associates, pp. 11-19, 1994 1994-08-29 Use of Collateral Text in Image Interpretation 1994-08-12 The "Casual Cashmere Diaper Bag": Constraining Speech Recognition Using Examples 1999-04-09 Paul Martin Low-Dimensional Linear Representations of Aut F n , . . . 1999-04-21 A. Potapchik -Coloring Algorithm for 3-Colorable Graphs 1996-09-04 Kinematical Covariance and Dynamical Symmetry on a Net of Algebras 1996-11-11 On Proof Normalization in Linear Logic 1997-09-29 Hackers Luddites 1 1997-10-14 Rena Upitis Bounding the Expected Length of Longest Common Subsequences and Forests 1998-09-16 Nuclear Effects On The Spin-Dependent Structure Functions 1998-05-11 Jerzy Szwed Questions About Tame Algebras 1996-03-06 Collected Peter Draxler On the Behavior of the Total Variation in CWENO Methods for Conservation Laws 1999-03-16 Doron Levy Programming a Digital Watch In ESTEREL v3 1997-10-22 An Experimental Evaluation of the Parallel I/O Systems of the IBM SP and Intel Paragon Using a Production Application 1996-12-11 Endogenously Chosen Boards of Directors and Their Monitoring of the CEO 1995-11-02 Efficient Implementation of FFT-Like Algorithms on MIMD Systems 1998-08-26 Michael N Point-based Temporal Extension of SQL 1997-03-31 David Toman Overview of Quality of Service for Distributed Objects 1997-03-25 David E. Bakken Bbn Systems An Algebraic Specification of a Model Factory, Part III 1997-03-03 Application Of Machine Learning For Machine Monitoring And Diagnosis 1999-04-12 Efficient Design of Neural Networks for Time Series Prediction 1996-04-22 Radu Drossu Zoran Obradovi'c QCD Spectra and Random Matrix Models 1998-06-17 View Synchronous Communication in Large Scale Networks 1995-11-30 Economies Of Scale In Long And Short Buffers Of Large Multiplexers. 1995-03-03 GEMM--Based Level 3 BLAS: High-Performance Model Implementations and Performance Evaluation Benchmark 1995-11-27 Loop Equations and Virasoro Constraints in Non-perturbative 2-D Quantum Gravity 1997-03-18 The Schema Theorem and Price's Theorem 1994-04-15 Lee Altenberg Nonconfigurational tense in Wambaya 1997-03-04 Learning of Concepts from Visual Examples 1995-08-11 A Hardware Architecture for Gigabit Multicasting 1996-07-02 Spatial Joins Using R-trees: Breadth-First Traversal with Global Optimizations 1997-06-30 Light-Driven Global Illumination with a Wavelet Representation of Light Transport 1996-09-17 Interior Point Methods For Global Optimization 1996-01-04 Transparent Migration and Rollback for Unmodified Applications in Workstation Clusters 1998-09-02 Modification of Shared Resources in AL-1/D 1998-07-20 Accurate Interconnect Modeling: Towards Multi-million Transistor Chips As Microwave Circuits 1996-11-12 Mechanisms for System-Level Fault Tolerance in Real-Time Systems 1994-02-08 Highly Portable and Efficient Implementations of Parallel Adaptive N-Body Methods 1997-09-01 Decentralized Group Hierarchies in UNIX: An Experiment and Lessons Learned 1998-09-14 On The Forward Checking Algorithm 1998-08-12 Efficient Construction of a Small Hitting Set for Combinatorial Rectangles in High Dimension 1997-06-17 The Role of Transfer in Learning extended 1998-09-29 Sebastian Thrun The Complexity and Enumerative Geometry of Aspect Graphs of Smooth Surfaces 1995-03-24 Confidence Relations and Ordinal Information 1998-08-26 Gert De Cooman A nonlinear Lax-Milgram lemma arising in the modeling of elastomers 1996-09-17 Has to Be Given Special Consideration: 1997-04-04 Quadrics On Complex Riemannian Spaces Of Constant Curvature, Separation Of Variables And The Gaudin Magnet 1996-12-16 A Hybrid Method Based On The Multiconductor Transmission Line Equation And The Method Of Moments 1970-01-01 Electronic Structure and Resistivity of the Double Exchange Model 1999-01-22 Drawing Clustered Graphs on an Orthogonal Grid 1999-04-26 NL Interfaces and the Turing Test 1997-02-04 Garbage Collecting The Internet 1997-04-07 Shaping Space: The Possible and the Attainable in RNA Genotype-Phenotype Mapping 1998-06-20 Universality of the Tearing Phase in Matrix Models 1997-05-20 Benchmarking Active Database Systems: A Requirement Analysis 1995-11-28 A Multiobjective Optimization Approach to Urban School Bus Routing : Formulation and Solution Method 1997-01-25 Adaptive Selection Of Image Classifiers 1998-06-20 Illumination Invariant Motion Segmentation of Simply Connected Objects 1998-07-16 Martin Bichsel Plan Execution ina Temporal Logic Environment 1997-01-17 D. Dengler Parallel Algorithms For Globally Adaptive Quadrature 1998-09-08 Jonathan Mark Bull Regions of Attraction of Closed-Loop Linear Systems with Saturated Linear Feedback 1998-03-17 Channel Segregation for Slot Assignment in Integrated Voice and Data Systems 1998-06-29 Generating Polynomial Orderings for Termination Proofs 1996-11-19 Jurgen Giesl William W. Cohen and Yoram Singer ATT Research 600 Mountain Avenue Murray Hill, NJ 07974 1998-06-16 The High Resolution Accelerometer Package. . . 1998-03-10 Semi-Oriented Bootstrap Percolation in Three Dimensions 1997-04-26 Reinier P. Bikker The Sensitivity of a Spline Function to Perturbations of the Knots 1998-11-27 T. Lyche Neutral Multi-Instanton as a Bridge from Weak to Strong Coupling phase in Two Dimensional QCD 1998-05-25 Tetsuyuki Ochiai Finite Element Analysis of the High Frequency Vibrations of Contoured Crystal Plates With Higher-order Plate Theory 1998-06-24 Rapid, Accurate Optimization of Difficult Problems Using Fast Messy Genetic Algorithms 1995-11-01 -- 1-- Rare Kaon Decays 1998-06-03 G. Valencia Identifying and Communicating Expertise in Systems Reengineering: A Patterns Approach 1998-11-09 Genetic Programming for Prediction and Control 1997-12-12 PerfVisS: A Performance Visualizer for High Performance Fortran Programs on Workstation Farms 1997-09-03 Fine-grain Multithreading with Minimal Compiler Support--- A Cost Effective Approach to Implementing Efficient Multithreading Languages 1998-02-09 Kenjiro Taura Coarse-grain Parallel Computing for Very Large Scale Neural Simulations in the NEXUS Simulation Environment 1998-02-11 Non-parametric Clasification of Pixels Under Varying Outdoor Illumination 1995-05-09 Palle E.T. Jorgensen 1996-02-03 Palle E. T. Jorgensen Controlling Cooperation and Recovery in Nested Transactions 1999-03-18 Avoiding Retrieval Contention for Composite Multimedia Objects 1997-12-11 Low-power CMOS clock drivers 1998-10-29 Engagement and Construction: Education Strategies for the Post-TV Era 1997-06-14 Ben Shneiderman Reduced Motion Artifacts in Medical Imaging by Adaptive Spatio-Temporal Reconstruction. 1994-10-18 To pursue a Ph.D. requires at least a small degree of insanity. Fortunately, there are many people that a PhD candidate works with that help keep this small measure of insanity from becom... 1996-05-01 P-Wave Polarization of the 1998-05-24 B. Friman Extending RD-OPT with Global Thresholding for JPEG Optimization 1997-02-07 Interactive Segmentation and Analysis of Fetal Ultrasound Images 1997-04-14 Hierarchical mixtures of experts and the EM algorithm 1993-10-06 Distributed Multivariate Regression Using Wavelet-based Collective Data Mining 1999-04-21 A Model Inference System for Generic Specification with Application to Code Sharing 1996-06-04 Robust Preconditioning of Large, Sparse, Symmetric Eigenvalue Problems 1995-05-26 Adaptive Applications and QoS Guaranties 1995-07-17 Christophe Diot Robust Synthesis for Takagi-Sugeno Model with Uncertainty 1998-05-22 Network BasedConcurrent Computing on the PVM 1993-01-20 The Wave Equation With One Point Interaction And The Linearized Classical Electrodynamics Of A Point Particle 1997-04-26 An Evaluation of the Measurement Requirements for an In-Situ Wake Vortex Detection System 1996-06-10 A 3-Approximation Algorithm for the 1999-01-27 An Abstract Machine for Implementing Connectionist and Hybrid Systems on Multi-processor Architectures 1997-05-15 W. J. Maas Homogeneous Spaces Admitting Transitive Semigroups 1997-11-05 Lifetime Measurements in ... 1998-05-12 Packets Found on an Internet 1994-07-28 Steven M. Bellovin Ffl Ffl Ffl 1998-06-05 On Laguerre Expansions and Systolic Arrays 1970-01-01 Giridhar Mandyam A Component- and Message-Based Architectural Style for GUI Software 1998-06-05 Clinical Trial and Evaluation of a Prototype Case-Based System for Planning Medical Imaging Work-up Strategies 1995-05-17 Charles E. Kahn DNS of turbulent combustion with detailed chemistry on the Cenju-3 platform 1997-04-17 Markus Baum Knowledge Acquisition in Concept and Document Spaces by Using Self-organizing Neural Networks 1995-09-19 Lessons in Neural Network Training: Overfitting May be Harder than Expected 1998-02-04 A Proof of the Fisher Information Inequality via a Data Processing Argument 1998-01-01 Ram Zamir A Wavelet Representation of Reflectance Functions 1997-11-12 Classification and Specification ofUpdate Problems 1997-10-20 A Comparative Analysis of Evolutionary Algorithms for Function Optimisation 1996-03-02 Abundance similarities between the RCrB star V854Cen and the born-again Sakurai's object 1998-01-13 Metadata for Multimedia Documents 1998-01-19 Rigorous Results On The Hopfield Model Of Neural Networks 1997-04-26 Anton Bovier Synchronisation, Concurrent Object-Oriented Programming and the Inheritance Anomaly 1994-06-30 Group Communication In Amoeba And Its Applications 1995-10-31 Some Design-Theoretic Properties of Buekenhout Unitals 1997-10-29 Jeremy Dover A Note on Radiative Corrections to 1998-05-13 Greedy Randomized Adaptive Search Procedures 1994-07-13 Multimodal Interaction with a Map-Based Simulation System* 1997-03-04 Kenneth Wauchope DoD Legacy Systems: Reverse Engineering Data Requirements 1996-11-05 A New Dense Group Graph Discovered by an Evolutionary Approach 1998-03-06 Otto Wohlmuth An Improved Planner for Intelligent Monitoring of Sustainable Development of Forests 1998-09-08 Universal Finiteness and Satisfiability 1999-02-16 "Chaotic" knots and "wild" dynamics 1996-11-14 Robert W. Ghrist The New ASF Compiler - An exercise in self-applicability 1997-03-03 Implementation of Saddlepoint Approximations in Resampling Problems 1998-07-09 Automatic Restoration of Accents in French Text 1997-10-17 Michel Simard Towards a Logical Formalization of Responsibility 1998-07-20 Self-Similarity in World Wide Web Traffic: Evidence and Possible Causes 1999-01-12 Using NLP or NLP Resources for Information Retrieval Tasks 1997-05-21 Alan F. Smeaton Analysis of Communication Patterns for Modeling Message Passing Programs 1996-06-03 Finite Type 3-Manifold Invariants, The Mapping Class Group And Blinks 1997-01-28 Stavros Garoufalidis Applications Of Data Hiding In Digital Images 1999-01-07 Presenter Jiri Fridrich A Lazy Log-Keeping Mechanism for Comprehensive Global Garbage Detection on Amadeus 1999-02-08 Mark Horowitz, Thomas Indermaur, and Ricardo Gonzalez 1997-03-05 Analysis Of A Linear--Linear Finite Element For The Reissner--Mindlin Plate Model 1996-06-28 Robot Localization from Landmarks using Recursive Total Least Squares 1996-01-31 Numerical experiments of the formation of dwarf galaxies using Smoothed Particle Hydrodynamics Method 1998-09-22 Information Brokering 1997-05-09 Manfred A. Jeusfeld Aggregate Functions, Conservative Extension, and Linear Orders 1994-01-19 Interactive Querying and Visualisation in Temporal Databases. 1995-11-09 Propositional Logic 1996-06-11 Rebecca Thomas A Generalized Reinforcement-Learning Model: Convergence and Applications 1996-04-25 Michael L. Littman Genetic Compilers: A New Technique for Automatic Parallelisation 1996-04-20 An Investigation of Documents from the World Wide Web 1996-03-31 Computing Quantitative Characteristics of Finite-State Real-Time Systems 1997-10-24 Classification With Overlapping Feature Intervals 1995-05-30 Detection And Remediation Of Stagnation In The Nelder-Mead Algorithm UsingA Sufficient Decrease Condition 1997-07-24 C. T. Kelley The Lattice Points of an N-Dimensional Tetrahedron 1995-09-05 Andrew Granville Glove-TalkII: A neural network interface which maps gestures to parallel formant speech synthesizer controls 1997-10-27 Gryllus Bimaculatus 1999-01-08 Development of a Skeletal CSP Theory in EVES 1994-12-10 Persistent Deficits in Motor Skill for Children with Dyslexia 1995-06-14 Anomalies in diffractive electroproduction of 2S radially excited light vector mesons at HERA 1998-05-14 Laura Monroe 1995-02-11 Laura Monroe Inheritance and Object Algebra in an Object-Oriented Data Model 1998-08-03 Identifying Redundant Test Cases For Testing Parallel Language Constructs 1997-10-02 A Multiphase Software Reliability Model: From Testing to Operational Phase 1996-03-16 Supplying Instantaneous Video-on-Demand Services Using Controlled Multicast 1999-02-22 Adapting to Network and Client Variability via On-Demand Dynamic Distillation 1996-08-27 Communication and Memory Requirements as the Basis for Mapping Task and Data Parallel Programs 1998-05-05 Planckian Energy Scattering, Colliding Plane Gravitational Waves and Black Hole Creation 1998-05-23 Problems with Patterns 1995-08-04 Tim Menzies Creation of Dependent Features 1996-05-28 The Performance of Two-Phase Commit Protocols in the Presence of Site Failures 1994-04-20 Computational Content of Classical Logic 1997-08-06 Thierry Coquand Run-TimeManagementofLispParallelismandthe HierarchicalTaskGraphProgramRepresentation 1970-01-01 Constantined Polychronopoulos A Deterministic Notation for Cooperating Processes 1994-02-06 Smooth View-Dependent Level-of-Detail Control and its Application to Terrain Rendering 1998-07-13 Probabilistic Retrieval: New Insights and Experimental Results 1999-04-21 Nuno Vasconcelos Transcribing Broadcast News Shows 1997-01-03 Networks Which Learn to Store Variable-Length Sequences in a Fixed Set of Unit Activations 1995-12-05 Tony A. Plate It is long known that only moderate deviations from homogeneity in the early universe may lead to abundant production of PBH's from radiation 1. For a radiation equation of state i.e. 1999-03-04 Karsten Jedamzik Multicast Tree Generation in Networks with Asymmetric Links 1998-10-16 S. Ramanathan How to Implement A Priori Information: A Statistical Mechanics Approach 1998-12-15 Jorg C. Lemm Developing with UML - Goodies, Pitfalls, Workarounds 1998-11-25 Martin Hitz Iterated Length-Preserving Rational Transductions 1998-04-03 Unknown 1998-04-25 MPI: A Message-Passing Interface Standard 1995-02-23 A New Inductive Approach to the Lace Expansion for Self-Avoiding Walks 1997-10-27 Transistor-Level Fault Detection Based on Power Consumption 1997-05-28 Models for Supporting the Redesignof Organizational Work 1995-06-12 Eric S. K. Yu Integration of Geometric and Conceptual Reasoning for Interacting with Virtual Environments 1998-01-13 SCIP: A Secure Network Layer under Unix 1995-11-29 Eliminating Array Bound Checking Through Dependent Types 1998-08-20 Dynamic Skyscraper Broadcasts for Video-on-Demand 1998-07-17 Algorithmische Lösung von verallgemeinerten Zeit-Kosten-Optimierungsproblemen in Netzplänen - An Algorithmic Approach to Generalized Time-Cost Tradeoff Problems 1994-12-08 Karsten Weihe Pairwise Sequence Alignment 1996-05-20 An Ergodic Abelian Skeleton for Quantum Systems 1997-04-26 Heide Narnhofer Resource Management in Networked Multimedia Systems 1997-02-28 Evolving phonotaxis in a robot cricket --- an investigation in bio-robotics Laurens Jan Kortmann 1970-01-01 Laurens Jan Kortmann Lapack Working Note 64 ut Cs-93-203 Distributed Sparse Gaussian Elimination And Orthogonal Factorization 1994-10-08 Padma Raghavan Site of the NSF Science and Technology Center for Research in Cognitive Science 1970-01-01 A Variational Method For Nonlinear Eigenvalue Problems 1997-10-15 Conservative Circuit Simulation on Shared-Memory Multiprocessors 1996-01-10 Rediscovering Computational Autopoiesis 1997-02-19 DoMerge: Integrating Parallel Loops and Reductions 1998-12-19 Linearity and the Pi-Calculus 1999-01-06 A Knowledge Based Scene Analysis System for the Generation of 3-D Models 1996-05-03 Oliver Grau A Comparison of Architectural Support for Messaging in the TMC CM-5 and the Cray T3D 1995-08-09 Annotation Graphs: A Foundation for Integrating Tools, Formats and Corpora 1999-03-27 Localized Simulated Annealing in Constraint Satisfaction and Optimization 1997-11-13 Performance Benefits and Limitations of Large NUMA Multiprocessors 1993-01-26 Scratchpad's View of Algebra I: Basic Commutative Algebra 1997-08-12 Limits of Control Flow on Parallelism 1997-10-13 Structure Exploiting Tool in Algebraic Modeling Languages 1998-06-29 Unknown 1995-04-27 High Performance Principal Component Analysis with ParAL 1998-03-21 Marwan A. Jabri A Layman's Guide to a Subset of ASN.1, BER, and DER 1993-03-23 Burton S. Kaliski PRAM Models and Fundamental Parallel Algorithmic Techniques: Part II Randomized Algorithms 1998-10-26 Paul G. Spirakis History Merging as a Mechanism for Information Exchange in Cooperative and Mobile Environments 1996-11-11 Jurgen Wasch Discrete-Time Periodic Systems: A Floquet Approach 1995-11-21 Searching for Inductive Proofs in Second-Order Intuitionistic Logic Extended Abstract 1993-01-22 Bounded Solutions Of Schilling's Problem 1997-06-16 BER Analysis of a Novel Hybrid Modulation Scheme for Noncoherent DS-CDMA Systems 1997-09-05 Core-Stateless Fair Queueing: Achieving Approximately Fair Bandwidth Allocations in High Speed Networks 1999-04-29 Notes on Adaptive Quadrature on the Hemisphere 1998-01-23 Peter Shirley Background 1996-03-15 I/O Requirements of Scientific Applications: An Evolutionary View 1998-01-06 Semantics-based Reverse Engineering 1994-10-14 Object-Oriented Software Engineering: Measuring and Controlling the Development Process 1996-12-21 O Brito E Abreu inesc/iseg Adaptive Penalties for Evolutionary Graph Coloring 1997-11-28 Mars Pathfinder Microrover A Small, Low-Cost, Low-Power Spacecraft 1997-02-21 Henry W. Stone The "Session Tty" Manager 1997-11-10 Global Quiescence Detection Y Based On Credit Distribution And Recover 1995-05-17 Friedemann Mattern Lexicon Access on Parallel Machines 1994-05-01 Using a Back-Up Semantics for Revising and Updating Nonmonotonic Databases 1996-05-23 Sandro Graffi Dipartimento di Matematica, Universit`a di Bologna 40127 Bologna, Italia 1997-04-26 Sandro Graffi Intra- and Inter-Object Coordination with MESSENGERS 1996-01-15 Learning to Use Selective Attention and Short-Term Memory in Sequential Tasks 1996-05-23 Andrew Kachites Mccallum On the Generation of Alternative Explanations with Implications for Belief Revision 1998-10-23 Eugene Santos On Waves In Random Media In The Diffusion-Approximation Regime 1997-11-06 Natural Language Edit Controls: Constrained Natural Language Devices In User Interfaces 1996-06-01 Data Memory Alternatives for Multiscalar Processors 1997-07-09 On the Complexity of Commutativity Analysis 1999-01-08 A Metacomputer Architecture Based on Cooperative Resource Management 1997-09-25 AlterEgo E-Mail Filtering Agent - Using CBR as a Service 1999-01-13 Computation = Pattern Matching&Erasing 1995-04-05 Using linear logic to extend the analysis capabilities of T-invariants for manufacturing applications 1997-07-18 What online Machine Learning can do for Knowledge Acquisition - A Case Study 1993-09-08 Smoothness Within Ruggedness: The Role of Neutrality in Adaptation 1995-10-28 Applying Machine Learning for High Performance Named-Entity Extraction 1999-04-05 Goal Generation and Revision for Planning Agents in Unpredictable Environments 1970-01-01 Barbara Hayes-roth Development of Numerical Integration Methods for Hybrid Discrete-Continuous Dynamical Systems 1997-07-09 Ant Colonies for the QAP 1998-07-01 M. Dorigo Distributed Resource Monitors for Mobile Objects 1997-01-13 Monotonic Subsequences in Dimensions Higher Than One 1997-03-20 Open Outsourcing Policy Service OOPS for RSVP 1997-08-04 Raju Rajan Deliberation Scheduling for Time-Critical Sequential Decision Making 1993-07-20 Average Case-Analysis Of Priority Trees: A Structure For Priority Queue Administration 1998-01-09 Declarative Specification of Software Architectures 1998-07-21 FAST: A Framework for Automating Statistics-based Testing 1997-06-05 Sequence Learning in a Dual-Stimulus Setting 1997-02-27 Axel Cleeremans Reasoning About Web-Site Structure 1998-12-06 Second Order Phase Transition in Crystals with Long--Range Correlated Quenched Defects 1996-08-08 A Conceptual Language for the Description and Manipulation of Complex Information Models 1997-03-27 The BATmobile: Towards a Bayesian Automated Taxi 1995-11-01 Efficient Communication Strategies for Ad-Hoc Wireless Networks Extended Abstract 1998-04-08 Random Sets and Spectra of Unbounded Linear Random Operators 1997-04-27 G. Taraldsen Reconfigurable Parallel Computer Architecture Based on Wavelength-Division Multiplexed Optical Interconnection Network 1995-03-17 Memory-Based Learning: Using Similarity for Smoothing 1970-01-01 Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-emptive Systems 1994-11-09 A Location Service for Worldwide Distributed Objects 1996-09-23 A Standard Approach for Optimizing Belief Network Inference using Query DAGs 1998-11-02 On the Irrelevance of Edge Orientations on the Acyclic Directed Two Disjoint Paths Problem 1993-10-02 Massive Quantum Fields in a Conical Background 1998-05-23 On Predictable Operating System Protocol Processing 1997-04-08 Unknown 1992-10-12 Deriving models of a pre-emptable process using Petri nets 1970-01-01 Robert A Dew Dynamic Motion Planning in Low Obstacle Density Environments 1997-07-07 Has the Pascal Experiment Failed ? or Can A Good Language make Good Programmers ? 1997-10-20 Scattering of X-ray emission lines by a hydrogen molecule 1998-10-15 D. Uskov Robust Interpretation Of Neural-Network Models: A Simulation Study 1997-11-12 Linear Programming Based Approach To The Derivation Of A Contact Potential For Protein Threading 1998-01-16 Tatsuya Akutsu Support Vector Classifiers: A First Look 1998-09-24 The Semantics and Pragmatics of Presupposition 1998-03-28 A Computational and Engineering View on Open Distributed Real-Time Multimedia Exchange 1997-01-29 Peter Leydekkers A Framework for Generalized Scattered Data Interpolation 1994-04-12 Designing Fault Tolerant Manipulators: How Many Degrees-of-Freedom? 1996-05-31 Graph Connectivity and Monadic NP 1996-05-08 Thomas Schwentick On the Design Complexity of the Issue Logic of Superscalar Machines 1998-06-19 An Architecture for A Wide Area Distributed System 1996-07-12 Merging Logic Programming into Web-based technology: a Coordination-based approach 1997-06-12 Automatic Data Layout Using 0-1 Integer Programming 1996-01-05 Proposal and Empirical Comparison of a Parallelizable Distance-Based Discretization Method 1997-05-13 Ramon L'opez De M`antaras Star Products, Quantum Groups, Cyclic Cohomology and Pseudodifferential Calculus. 1997-04-26 Fast Algorithms for Generating Integer Partitions 1998-08-03 Theoretical Dimension and the Complexity of Simulated Turbulence 1996-08-15 Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems 1996-03-26 On the Complexity of Constructing Evolutionary Trees 1998-02-18 Lang's Conjectures, Fibered Powers, and Uniformity 1996-03-13 The Globus Project: A Status Report 1998-05-11 Gaussian Elimination, Perturbation Theory and Markov Chains 1996-01-25 G. W. Stewart The Design Of The Postgres Storage System 1994-02-18 Michael Stonebraker Dunja Mladeni'c 1998-03-04 Practical Implementations of Speaker-Adaptive Training 1997-04-14 Linear Approximation of Shortest Superstrings 1993-10-31 Density Estimation By Wavelet Thresholding 1994-07-21 Book Review 1997-08-25 Algorithms for Optimal Self-Simulation of Some Restricted Reconfigurable Meshes 1997-07-22 Digital Archives on the Web 1997-03-07 Final Report: Development of a Practical Computer Software Verification System 1994-12-10 Dan Craigen Errors in Cholesky and QR Downdating 1997-11-17 Michael Stewart Improving Posterior Based Confidence Measures in Hybrid HMM/ANN Speech Recognition Systems 1998-08-31 The Budapest Gambit For The Club Player 1993-07-06 Ralph Haefner Tools for Development, Test and Analysis of ASRs. 1996-11-14 Roberto Fiutem Overview of Recent Supercomputers 1996-04-25 Functional, I-Structure, and M-Structure Implementations of NAS Benchmark FT 1998-05-06 Learning Algorithms Based on Linearization 1998-10-27 Richard Hahnloser Improved Effective Capacitance Computations for Use in Logic and Layout Optimization 1999-01-25 Optimal Sequential Gossiping by Short Messages 1997-06-16 R. W. Picard and T. P. Minka 1994-10-04 A Novel Multiscale Fractal Image Coding Algorithm based on SIMD Parallel Hardware 1997-07-29 Projections in n-Dimensional Euclidean Space to Each Coordinates 1999-02-03 Roman Matuszewski Mechanism for Encryption and Key Update Synchronization in ATM Networks 1996-08-27 On the combinatorial and algebraic complexity of Quantifier Elimination 1999-01-21 Parallelization of 3-D Range Image Segmentation on a SIMD Multiprocessor 1997-01-07 Finite Resolution Aspect Graphs of Polyhedral Objects 1997-02-07 Closing the Window of Vulnerability in Multiphase Memory Transactions: The Alewife Transaction Store 1993-07-08 John David Kubiatowicz Incremental Meta-Mining from Large Temporal Data Sets 1999-02-10 HotJava - Capabilities and Its Use in Education 1995-12-27 A State of the Art Report on Legal Knowledge-Based Systems 1999-02-19 Andreas Margelisch Full Abstraction in Structural Operational Semantics 1993-10-14 Rob Van Glabbeek A Delegation-based Object Calculus with Subtyping 1999-02-05 Sums of Adjoint Orbits 1995-05-03 Visualization of Orbits and Pattern Evocation for the Double Spherical Pendulum 1995-08-04 Analog VLSI motion projects at Caltech 1996-12-11 Inducing Deterministic Prolog Parsers from Treebanks: A Machine Learning Approach 1994-09-19 HeNCE: A Users' Guide Version 2.0 1995-10-16 Journal of Graph Algorithms and Applications 1998-06-18 Switches and Jumps in Hybrid Action Systems 1997-12-19 fMRI97.no 1998-02-20 RSVP: A Geometric Toolkit for Controlled Repair of Solid Models 1998-05-18 On Product-Sum of Triangular Fuzzy Numbers 1998-11-23 Robert Fuller Object Segmentation by Attention-Induced Oscillations 1998-09-17 Score Following Using the Sung Voice 1998-09-20 Miller Puckette Comparing English and Korean Counterfactuals: the Role of Verbal Morphology and Lexical Aspect in Counterfactual Interpretation 1997-02-15 Chung-hye Han A Unified Multigrid Theory for Non-Nested Grids and/or Quadrature 1997-06-25 ... : Variations around two schemes of T. Matsumoto and H. Imai 1999-03-05 Consistent Orderings for Constraint Satisfaction Scheduling 1997-04-17 Basis Characterization in a Two-Commodity Network 1997-11-29 Spatial pump-meter quantum correlations in a vectorial Kerr medium model 1998-09-29 PROMIS IR Implementation - AST components 1997-10-17 CoD3 Optimizing Locality Of Programs Apparc Deliverable 1994-10-07 Natural Deduction for Non-Classical Logics 1997-06-10 David Basin KBS Hyperbook - A Data-Driven Information System on the Web 1998-11-27 Snaky Is An Edge-To-Edge Loser 1998-05-03 Using MultipleTime Scales In A Multi-Stream Speech Recognition System 1998-01-13 Game Chromatic Number of Graphs 1999-04-21 -- 1-- Quark Masses 1997-09-23 Computational Problems in Strong Visibility 1997-06-24 Computational Steering 1996-04-01 Efficiently Supporting Temporal Granularities in a DBMS 1995-10-10 J. Bland-Hawthorn 1998-01-06 Error Estimates for Approximations from Control Nets 1997-02-04 Robert Schaback Changes to The Rand MH Message Handling System: MH 6.5 for 4.3BSD UNIX 1990-04-11 Marshall T. Rose On Approximation Scheme Preserving Reducibility and Its Applications Extended Abstract 1997-10-04 A High-order Terminal Iterative Learning Control Scheme 1998-03-20 Heterogeneous Network Computing: The Next Generation 1998-07-21 Vaidy Sunderam Attribute-Oriented Induction and Conceptual Clustering 1996-10-13 Classical Duality Symmetries in Two Dimensions 1998-05-23 John H. Schwarz Double Dissociation Without Modularity: Evidence from Connectionist Neuropsychology 1997-07-16 David C. Plaut An English Version of the LIMSI L'ATIS System 1996-01-08 Wolfgang Minker MIMIC: Finding Optima by Estimating Probability Densities 1997-11-18 Unknown 1994-06-26 Charles Petrie Computer Science Series 1999-01-19 Coercive Subtyping 1998-10-30 Zhaohui Luo Lagrangian Stability and Global Optimality in Nonconvex Quadratic Minimization Over Euclidean Balls and Spheres 1995-10-27 Optimizing Logical ProofsWith Connectionist Networks 1995-10-05 Invariant-Based Recognition of Complex Curved 3D Objects from Image Contours 1995-11-05 On The Phase of Least-Asymmetric Scaling and Wavelet Filters 1996-01-20 Systems Research Center 1997-03-28 March 21, 1997 Ergodicity of Hard Spheres in a Box N'andor Sim'anyi 1997-04-26 A Primer On The Dickson Invariants 1992-08-23 Clarence Wilkerson Adaptive Control of a Hydraulic Crane Using On-line Identification 1994-06-01 Simple, Efficient and Robust Strategies to Traverse Streets 1999-03-16 Sven Schuierer Matematiqki Vesnik 1996-07-08 Nebojsa L. Lazeti'c Z Notation 1997-05-01 Ian Toyn Undecidability of Ground Reducibility for Word Rewriting Systems With Variables 1995-12-11 Multiple-View User Modeling in Software Reuse 1996-05-03 Mass Formulae in the Kerr and HTSC Solutions 1996-04-05 G. Oganessyan Subsumption between Queries to Object-Oriented Databases 1995-04-07 Sequential Optimality and Coordination in Multiagent Systems 1999-04-06 Craig Boutilier Monoscale Analysis of Edges/reflectors Using Fractional Differentiations/integrations 1999-04-08 Serverless Network File Systems 1996-04-04 Communication Efficient Data Structures on the BSP model with Applications in Computational Geometry 1996-07-19 N-tuple Auto-associator capacity experiments 1997-06-09 Amy J. Lee 1999-03-16 The Medusa Applications Environment 1996-11-06 Integrating ASMs into the Software Development Life Cycle 1997-05-31 Practical Applications of an Efficient Time Separation of Events Algorithm 1993-08-06 Embedding of Hypercubes into Grids 1998-07-17 Efficient Exact Geometric Computation Made Easy 1999-03-19 FPGA Prototype Queuing Module forHigh Performance ATM Switching 1994-12-22 Mate in 38: Applying Proof-Number Search to Chess 1970-01-01 Activity-Conserving Dynamics for Optimisation Networks 1970-01-01 On Singularities Of Smooth Maps To A Space With A Fixed Cone 1997-04-23 B. Z. Shapiro Periodic Comparator Networks 1997-11-21 Brigitte Oesterdiekhoff The Object Instancing Paradigm for Linear Fractal Modeling 1995-10-17 John C. Hart Asynchronous Completion Token 1997-10-17 Selective Replication: Fine-Grain Control of Replicated Files 1995-03-21 David H. Ratner Fast Arithmetic Architectures for Public-Key Algorithms over Galois Fields GF2 n m 1997-05-19 Hierarchical Triangulation for Multiresolution Surface Description 1995-10-27 Leila De Floriani Performance Benefits and Limitations of Large NUMA Multiprocessors 1993-01-26 Interoperability Issues in Heterogeneous Network Management 1997-08-04 Analysis and Solution of Non-preemptive Policies for Scheduling Readers and Writers 1998-06-02 Using GB Principles to Describe Danish, English and German in LFG 1996-11-14 Gerold Schneider Convexity, Lipschitz property and differentiability in two--stage stochastic nonlinear programming problems 1997-06-06 Impact of Switch Architectures on the Performance of Multistage Interconnection Networks 1999-01-24 A Family of Exceptional Polynomials in Characteristic Three 1997-10-30 A Formal Approach for Horizontal Fragmentation of Disjunctive Deductive Databases 1997-10-03 Invariant tori of dissipatively perturbed Hamiltonian systems under symplectic discretization 1997-11-14 Ernst Hairer Stability And Hopf Bifurcation For Fully Nonlinear Parabolic-Hyperbolic Equations 1998-10-20 Nested Loops Revisited 1997-07-22 Weakly Coupled Bound States In Quantum Waveguides 1997-04-26 Twin Peaks: The Histogram Attack to Fixed Depth Image Watermarks 1998-06-10 Maurice Maes Two Different Approaches about the Development of the Proactive Network Management 1997-04-17 Object Groups: A response to the ORB 2.0 RFI 1993-06-28 Semiempirical Fragmentation Models on Galactic Cosmic Ray Transport Calculations With Hydrogen Target 1998-01-12 A Selective Protection Scheme for the Java Environment 1997-06-29 Towards the Low Energy Effective Degrees of Freedom in N=2 SUSY Theories: Branes and Integrability 1998-12-18 Quark Cluster Model Study of Isospin-Two Dibaryons 1998-05-13 Some Remarks About the Density of Smooth Functions in Weighted Sobolev Spaces 1970-01-01 The Entropy of Scale-Space 1998-05-15 Jon Sporring Global Fourier Integral Operators and Semiclassical Asymptotics 1997-05-22 XV-15 Tiltrotor Low Noise Terminal Area Operations 1997-03-12 Seismic Velocity Inversion with Genetic Algorithms 1999-01-29 Parallel Probabilistic Neural Network PPNN 1992-03-05 An Algorithm for Labeling Edges of Hierarchical Drawings 1997-09-29 World-Wide Web Proxies 1994-05-18 Kevin Altis Intel Modal Structure and Reliable Inference 1995-10-26 A 2.5 Factor Approximation Algorithm for the k-MST Problem 1998-06-25 Design and Implementation of a Qualitative Simulation Model of lambda Phage Infection 1998-10-08 Uncalibrated 1D Projective Camera and 3D Affine Reconstruction of Lines 1998-01-20 Long Quan Active Object Recognition in Parametric Eigenspace 1998-08-10 Static Internal Performance of a TwoDimensional Convergent-Divergent Nozzle With External Shelf 1996-08-30 Page-level Affinity Scheduling for Eliminating False Sharing 1997-01-27 Intelligence, 1994-09-13 Self-maps of modules over the Steenrod algebra 1993-06-25 John H. Palmieri Debugging Storage Management Problems in Garbage-Collected Environments 1995-09-06 High-Level Synthesis for Easy Testability During Data Path Allocation 1997-12-22 Tianruo Yang Task Level Parallelization of DSO 1996-05-17 A Hybrid Multilevel/genetic Approach For Circuit Partitioning 1996-04-07 Possible Effects Of Lorentz Symmetry Violation On The Interaction Properties Of Very High-Energy Cosmic Rays 1997-06-23 L. Gonzalez-mestres Pml As An Efficient Abc For Lossy Media 1996-04-03 Synthesis And Transformation Of Logic Programs Using Unfold/Fold Proofs 1998-06-01 Strategies for Federal R&D on Heterogeneity and Information Security 1998-05-18 Efficient Use of Parallel Distributed Systems: From Theory to Practice 1995-07-05 Surface and 3D Triangular Meshes from Planar Cross Sections 1998-04-22 Jump-Keeping and Upwind Transfer in MultiGrid for Upwind Schemes 1999-03-25 Experiments with Parallel Graph Coloring Heuristics 1994-02-16 Persistent Hall Voltage and Current in the Fractional Quantum Hall Regime 1970-01-01 Stefan Kettemann Distribution in a Demand Driven Style 1999-01-07 On One-Dimensional Quantum Cellular Automata 1999-01-29 John Watrous Q Spaces of Several Real Variables 1998-12-01 Learning Indices for Schema Selection 1993-02-11 On the Novel Application of Number Theoretic Methods to Radar Detection 1996-12-06 A FAX Reader for the Blind 1998-05-08 Quasi-Toroidal Oscillations in Rotating Relativistic Stars 1998-05-05 Yasufumi Kojima Approximation Algorithms for Directed Steiner Problems 1997-11-05 On the Security of Some Cryptosystems Based on Error-Correcting Codes 1998-11-20 Florent Chabaud A Maximum Entropy Language Model with Topic Sensitive Features 1998-06-13 Lesioned Attractor Networks as Models of Neuropsychological Deficits 1997-01-02 David C. Plaut Selection Criteria for CASE Tools 1970-01-01 Geoff Beckworth The Theory of Linear Programming: Skew Symmetric Self-Dual Problems and the Central Path 1994-02-11 Performance Measurement of Dynamically Compiled Java Executions 1999-01-23 On the tensor formulation of effective vector Lagrangians and duality transformations 1997-12-11 Hierarchical Reachability State Diagrams - Implementation, Linking and States Composition 1998-02-05 L Ang Fast Construction of Irreducible Polynomials over Finite Fields 1996-12-04 Victor Shoup A Structural View Of Approximation 1997-02-02 Sanjeev Khanna A Hierarchical Model for Ageing 1998-11-12 Observing Air Showers from Cosmic Superluminal Particles 1997-12-26 Luis Gonzalez-mestres Hierarchical Partitioning 1997-06-06 Genetic Self--Learning 1993-11-26 PHYSICALLY-BASED INTERACTIVE CAMERA MOTION CONTROL USING 3D INPUT DEVICES Russell Turner, Francis Balaguer, Enrico Gobbetti, Daniel Thalmann 1995-11-02 PolyLib --- a library of polytypic functions 1998-02-17 Stability of Matter for the Hartree-Fock Functional of the Relativistic Electron-Positron Field 1999-02-24 Prioritising Preference Relations 1993-05-20 Mark Ryan Software-Only Value Speculation Scheduling 1998-07-29 User Embodiment in Collaborative Virtual Environments 1999-01-24 Dynamic Bits And Pieces 1998-08-25 Johan Van Benthem REACT Fits to Linear Models and Scatterplots 1998-10-13 Rudolf Beran LoPC: Modeling Contention in Parallel Algorithms 1997-10-13 Quantum Mechanics as a Classical Theory II: Relativistic Theory 1998-05-12 L. S. F. Olavo Component-Based Design of Large Distributed Real-Time Systems 1998-02-09 H. Kopetz Acknowledgments 1998-04-01 EPR anomalies, "photon" amplitudes and Malus' Law: an intuitive classical approach 1997-05-02 Caroline H Thompson Graphical User Interfaces for Haskell 1993-10-20 Duncan C. Sinclair 1001 Reasons for not Proving Programs Correct: A Survey 1993-06-24 D. E. Stevenson Using Ancillary Statistics in On-Line Learning Algorithms 1970-01-01 A Real-time Programming Language 1997-03-27 Fast Simulation of Discrete Time Queues with Markov Modulated Batch Arrivals and Batch Departures 1998-02-03 Ad Ridder Coping with Conflicts in an Optimistically Replicated File System 1991-04-16 Puneet Kumar Pictorial Query Trees for Query Specification in Image Databases 1999-01-24 Implementation and Performance of Cluster--Based File Replication in Large-Scale Distributed Systems 1992-08-28 GEMM--Based Level 3 BLAS: High-Performance Model Implementations and Performance Evaluation Benchmark 1995-11-27 Decoupling Synchronization and Data Transfer in Message Passing Systems of Parallel Computers 1995-06-02 Hardware/Software Codesign of the Stanford FLASH Multiprocessor 1998-06-03 A Real-World Case Study in Information Technology for Undergraduate Students 1999-04-21 An Experimental Spatio-Temporal State Transition of Coupled Magneto-Elastic System 1998-09-09 An LALR Extension for DCGs in Dynamic Programming 1997-11-11 Dummynet and Forward Error Correction 1998-06-23 Luigi Rizzo Comparing Software Architectures for Coordination Languages 1998-12-22 Crop area estimation by data-driven decomposition of mixed pixels in Landsat-TM images 1997-10-31 .2.3.1 Modeling from Physical Principles 1997-03-12 There Is No Royal Road to Programs A Trilogy on Raster Ellipses and Programming Methodology 1994-12-25 M. Douglas Mcilroy Update Propagation in Chimera, an Active DOOD Language 1996-08-19 The DalíMultimedia Software Library 1998-11-13 Competitive Analysis of Call Admission Algorithms that Allow Delay 1996-02-14 Bounds on the Zeros of a Renormalization Group Fixed Point 1997-04-26 On Design Evaluation Based on Functional Modeling 1996-11-23 Stephan Rudolph Regularization of Singular Least Squares Problems 1998-03-25 P. Carrette Wavelet Analysis of Stellar Differential Rotation I. The Sun 1999-03-19 A. Hempelmann MOVIE Model for Open Systems based High Performance Distributed Computing 1995-08-07 An Empirical Comparison of Static Concurrency Analysis Techniques 1997-07-23 Knowledge Discovery In Databases: An Attribute-Oriented Rough Set Approach 1995-09-27 Xiaohua Hu SCI Clustering through the I/O bus: A Performance and Functionality Analysis 1998-06-24 Knut Omang AToolkit for Re-configurable Distributed Scripting 1998-02-24 The Tile Model 1998-02-09 The Beauty and the Beast Algorithm 1995-08-05 Implicit Imitation in Multiagent Reinforcement Learning 1999-03-17 Reasoning about Functions with Effects 1996-08-09 Carolyn Talcott Fast Equilibrium Selection by Rational Players Living in a Changing World 1996-11-23 Explicit Bounds for the Hausdorff Dimension of Certain Self-Affine Sets 1997-07-31 Rudolf H. Riedi Communication Analysis for Shared and Distributed Memory Machines 1996-01-22 Chau-wen Tseng Using Temporal Logic to Specify and Verify Cryptographic Protocols Progress Report 1995-07-11 Speeding up Lisp-based Symbolic Mathematics 1996-05-14 Applying Patterns and Frameworks to Develop Object-Oriented Communication Software 1998-05-17 Douglas C. Schmidt Fuzzy Evolutionary Programming For Image Processing 1998-08-11 T. Van Le Motion In A Gaussian, Incompressible Flow. 1998-06-08 Componentwise Error Analysis for Stationary Iterative Methods 1994-04-19 J. D. Tygar and Bennet S. Yee 1996-10-16 Building Detection From Multiple Views 1999-02-02 Wiretap: AnExperimental Multiple-Path Routing Algorithm 1995-08-11 David L. Mills Polyhedral Tracings and their Convolution 1996-06-02 Automatic Inline Allocation of Objects 1997-03-03 Julian Dolby Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security 1997-03-11 Operator Based Composition of Structured Multimedia Presentations 1998-04-09 Andrzej Duda On the Power of Networks of Majority Functions 1992-09-01 Eddy Mayoraz Local and Global Properties of Refinable Functions 1970-01-01 Multi-Contributor Causal Structures for Planning: A Formalization and Evaluation 1997-10-22 Subbarao Kambhampati Metaphors We Surf the Web By 1998-03-03 David E. Gay CS263 project report June 17, 1997 1997-06-17 David E. Gay Efficient Symbolic Detection of Global Properties in Distributed Systems 1998-06-22 Peak and End Point of the Relic Graviton Background in String Cosmology 1997-01-13 Un th'eor`eme de Paley-Wiener pour les groupes de Lie nilpotents 1996-03-20 Some Morphological Scale-Space Filters and Their Properties 1997-10-22 PULCINELLA - A General Tool for Propagating Uncertainty in Valuation Networks 1995-04-08 State-Transition Cost Functions and an Application to Language Translation 1996-09-06 Piecemeal Learning of an Unknown Environment 1994-11-14 A Pen-based Database Interface for Mobile Computers 1994-11-11 Procedure Call Models for Distributed Parameters in Data Parallel Programs 1994-10-24 The Paprica Massively Parallel Processor 1996-07-03 A. Broggi G. Conte Analysis Via 1994-12-02 Roderick Chapman Okapi Chinese text retrieval experiments at TREC-6 1998-01-20 Using Entity Locations For The Analysis Of Authentication Protocols 1998-10-02 Riccardo Focardi Inter-communicator Extensions to MPI in the MPIX MPI eXtension Library 1999-02-12 Some Properties Of Mean Field Solutions For A Disordered Ising Model 1998-10-23 Normalization and matching in the DORO system 1998-12-18 C. H. A. Koster Foundational Calculi for Programming Languages 1998-07-26 Benjamin C. Pierce Empirical Analysis of the Factors that Affect the Baldwin Effect 1998-10-20 Programming High Performance Models of Soil Contamination by a Cellular Automata Language 1997-01-28 Tom DeDonno 1/8/96 UCSD/ECE-0408 9500 Gilman Drive 220 La Jolla, Ca 92093 619433-4170 tdedonno@sdcc3.ucsd.edu 1996-06-12 Tom Dedonno A Rado Type Theorem for p-harmonic Functions in the Plane 1996-06-15 Tero Kilpel Ainen Performance Evaluation of Parallel Programs on the Data Diffusion Machine 1995-05-23 Asynchronous Two-Stage Iterative Methods 1995-07-19 Fundamental Limits and Tradeoffs of Providing Deterministic Guarantees to VBR Video Traffic 1997-09-08 The DARPA Knowledge Sharing Effort: Progress Report 1992-08-14 Geometric Separator Theorems 1998-09-16 Coherent Structure Eduction In Wavelet-Forced Two-Dimensional Turbulent Flows 1998-07-10 Simultaneous Rigid E-Unification is Undecidable 1995-05-02 Comparison among Suffix Array Construction Algorithms 1997-11-05 Improved Estimate on the Number of Bound States of Negatively Charged Bosonic Atoms 1997-04-26 Mary Beth Ruskai Application Specific Communication Scheduling on Parallel Systems 1997-03-19 The SU2-Lattice Gauge Theory Simulation Code on the Intel Paragon Supercomputer 1994-12-22 -Durvádz* 1997-07-03 Human Strategies in Translation and Interpreting - what MT can Learn from Translators 1994-12-16 Susanne Heizmann Transistor Level Reliability Estimation Of Integrated Circuits 1995-05-23 Minimizing Cumulative Error in Discourse Context 1997-02-06 Putting More Genetics into Genetic Algorithms 1970-01-01 Towards Cooperative Advice-Giving Systems: 1995-05-15 In Proceedings IJCAI 93, pages 160-165. 1995-01-09 Murray Shanahan A Faber-Krahn-type inequality for regular trees 1997-06-07 Josef Leydold A Preliminary Evaluation of Cache-Miss-Initiated Prefetching Techniques in Scalable Multiprocessors 1994-06-14 Uses of Randomness in Computation 1995-02-14 Richard P. Brent Enhancing Wireless Internet Links 1998-04-18 Next Cache Line and Set Prediction 1996-10-01 Tight Upper Bounds for Cell Loss Probabilities in ATM Multiplexers and Required Bandwidth Estimation 1998-10-23 Path Independence for Authentication in Large-Scale Systems 1996-08-29 The Ada Compiler Validation Capability acvc Version 2.0.1 User's Guide 1996-03-12 in the Subject line: On Digital's EASYnet: CRL::TECHREPORTS On the Internet: techreports@crl.dec.com 1998-08-11 Digital color cameras - 1 - Response models 1997-04-04 RCRS: A Framework for Loop Scheduling with Limited Number of Registers 1998-02-05 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems 1996-05-14 Turbulence Simulation on Sparse Grids using the Combination Method 1998-06-30 M. Griebel Modeling the User , s Processing Resources: Pragmatic Simplicity Meets Psychological Complexity 1998-09-27 Anthony Jameson A Point-Source Method in Inverse Acoustic Scattering. 1998-03-10 Roland Potthast HARMONIC is 3-Competitive for Two Servers 1996-10-04 On some Relations between Dynamical Systems and Transition Systems 1995-07-12 Eugene Asarin Tight Comparison Bounds for the String Prefix-Matching Problem 1995-04-06 TYPE THEORY AND FUNCTIONAL PROGRAMMING A WORK PROPOSAL Gustavo Betarte 1996-08-21 Epileptic Activity Detection in EEG with Neural Networks 1997-04-29 Improving a Software Development Environment Using Object-Oriented Technology 1998-01-21 Issues in Process Architecture 1998-09-09 Dewayne E. Perry Instruction Scheduling and Executable Editing 1996-09-18 Broker Architecture 1996-05-17 Norbert Fuhr Hashing of Data Bases Based on Indirect Observations of Hamming Distances 1999-04-21 V. B. Balakirsky FP + OOP = Haskell 1992-03-17 Emery Berger A Highly Available, Scalable ITV System 1998-06-22 Hardware and Software Fault Tolerance: Adaptive Architectures in Distributed Computing Environments 1995-08-08 A Text Compression Scheme That Allows Fast Searching Directly In The Compressed File 1996-05-25 Udi Manber Exploiting the Omission of Irrelevant Data 1996-04-09 Estimation of Background from Image Sequence with Moving Objects 1999-02-26 NRT News Retrieval Tool 1994-06-11 On Strengthening Authentication Protocols to Foil Cryptanalysis 1996-10-03 On the Design of Optimal TDM Schedules for Broadcast WDM Networks with Arbitrary Transceiver Tuning Latencies 1995-10-23 Universal Plans for Reactive Robots in Unpredictable Environments 1998-09-29 A Computational Model of Human Vision Based on Visual Routines 1995-07-27 On the Reduction of Fractal Image Compression Encoding Time 1997-03-14 - Expansion and Triviality or Non - Triviality of Field Theories 1998-06-23 Dieter Gromes Integrating Intelligent Job-Scheduling Into A Real-World Production-Scheduling System 1997-12-02 An Asynchronous Multiuser CDMA Detector Based on the Kalman Filter 1999-01-05 Improved Error Bounds for Scattered Data Interpolation by Radial Basis Functions 1997-04-30 R. Schaback Characterization of the Paging Activity of NAS Benchmark Programs on the Intel Paragon 1996-05-16 A Traffic Model for Non Real-Time Data Users in a Wireless Radio Network 1998-06-29 Using Standard ML in Software Maintenance: A Promising Approach 1995-12-07 The Reconfigurable Ring of Processors: Fine-Grain Tree-Structured Computations 1995-09-23 Making Graphs Reducible with Controlled Node Splitting 1998-09-02 Adding Threads to Standard ML 1997-10-02 Schur Complements obey Lambek's Categorial Grammar: another view of Gaussian Elimination and LU Decomposition 1995-10-31 D. Stott Parker Pencil-Beam Searches for Faint Kuiper Belt Objects. 1998-11-13 A Region Based Image Segmentation Method for Multi-Channel Data. 1996-07-23 Smarajit Bose Nyu: Description Of The Japanese Ne System Used For Met-2 1998-07-08 Satoshi Sekine H1 Collaboration 1998-07-20 Database Design for Incomplete Relations 1998-08-24 CAD Tools for Managing Signal Integrity and Congestion Simultaneously 1995-02-09 BILUTM: A Domain-Based Multi-Level Block ILUT Preconditioner for General Sparse Matrices 1998-11-22 Yousef Saad GARF: A Tool for Programming Reliable Distributed Applications 1997-08-06 Segmenting Biomedical Images Through A Watershed-Based Algorithm 1996-01-27 Software Libraries For Linear Algebra Computations On High Performance Computers 1995-10-01 Recurrent back-propagation and Newton algorithms for training recurrent neural networks 1996-04-15 EPIC: An Equational Programming Language - Abstract Machine and Supporting Tools - 1999-04-02 Language Generation for Multimedia Healthcare Briefings 1998-06-25 Efficient Quorumcast Routing Algorithms 1970-01-01 Orders of GaußPeriods in Finite Fields 1997-03-07 Ontology-based Web Agents 1997-08-14 Tioga: Providing Data Management Support for Scientific Visualization Applications 1998-04-20 An ASCII Database for Fast Queries ofRelatively Stable Data 1993-11-12 Local minimal realisations of trained Hopfield networks 1997-09-22 Detecting Nonlinearity in Multivariate Time Series 1997-01-16 Milan Palus Rate of Convergence for Minimum Power Assignment Algorithms in Cellular Radio Systems 1998-04-07 On the Emergence of Cities 1998-08-28 Disk Scheduling for Mixed-Media Workloads in a Multimedia Server 1998-09-30 A Generic Query-Translation Framework for a Mediator Architecture 1997-12-16 On Some Limit Cases Of Askey-Wilson Polynomials 1997-07-01 Global Solutions to the Compressible Euler Equations with Geometrical Structure 1995-06-21 Iterative Model Construction with Regression 1996-01-26 Marjorie Moulet Improving Touchscreen Keyboards: Design issues and a comparison with other devices 1998-09-05 Andrew Sears Active Learning with Statistical Models 1998-04-27 Efficient Caching Algorithms for Two-level Disk Cache Hierarchies 1998-05-28 ROCK: A Robust Clustering Algorithm for Categorical Attributes 1999-02-23 Sequential Implementation of Parallel Narrowing 1996-09-24 Spectral Representation and Estimation for Locally Stationary Wavelet Processes 1996-08-30 Quantifying Neighbourhood Preservation in Topographic Mappings 1998-01-16 Superposition Formulas for Pseudo-Orthogonal Matrix Riccati Equations 1997-06-12 Constant Propagation: A Fresh Demand-Driven Look 1994-05-27 Stochastic Quantization of the Two-Dimensional Polymer Measure 1996-03-06 KMeD: A Knowledge-Based Multimedia Medical Distributed Database System 1998-01-27 Wesley W. Chu Optimality of Certain Uneven Parental Investment Strategies. 1997-09-03 Colin G. Johnson Supporting Information Infrastructure for Distributed, Heterogeneous Knowledge Discovery 1996-08-20 Knowledge Base Systems - A Deductive Database Approach 1998-10-22 On the Complexity of Breaking the Diffie-Hellman Protocol 1996-04-18 Modular Real-Time Resource Management in the Rialto Operating System 1995-04-03 Virgil: a database of rich links between GDB and GenBank 1997-12-15 Emmanuel Barillot Real-Time Implementation of an Adaptive Traffic Shaper for Dynamic Bandwidth Allocation in ATM Networks 1995-09-25 Incremental Learning for Vision-Based Navigation 1996-05-30 Active Part-Decomposition, Shape and Motion Estimation of Articulated Objects: A Physics-based Approach 1994-11-04 Efficient Message Passing Interface MPI for Parallel Computing on Clusters of Workstations 1998-01-26 Machine Translation with the ACQUILEX LKB 1995-08-30 Arturo Trujillo Understanding Noise : The Critical Role of Motion Error in Scene Reconstruction 1994-12-05 in the Subject line: On Digital's EASYnet: CRL::TECHREPORTS On the Internet: techreports@crl.dec.com 1997-09-03 Michael Hayward Department of Cognitive Science, UCSD December, 1998 Disclaimer: 1999-04-09 Michael Hayward Large-Sample Analysis of MUSIC and Min-Norm Direction Estimators in the Presence of Model Errors 1996-09-26 The Evolutionary Ecology of Dominance-Recessivity 1998-11-24 Search for Magnetic Monopoles Trapped in Matter 1998-05-14 A Genetic Algorithm for Inverse Problems of Flaw Detection 1996-06-05 Efficient Graph Algorithms Using Lazy Monolithic Arrays 1995-10-04 Thomas Johnsson Normal T-Cells Part 1 of 2 1996-05-24 Power Domains and Second Order Predicates 1998-09-10 An Efficient Two-Step Method for Classification of Spatial Data 1999-01-18 Twice Degenerate Equations in the Spaces of Vector-Valued Functions 1997-11-19 P. E. Kloeden Mechanical Verification of DisCo Specifications 1996-01-19 Pertti Kellomaki Confluence without Termination via Parallel Critical Pairs 1998-04-02 Bernhard Gramlich Unknown 1996-07-29 Integrating Visualization Support Into Distributed Computing Systems 1995-03-21 Weak Repetitions In Strings 1996-01-04 Using Version Control Data to Evaluate the Impact of Software Tools 1999-03-29 Interconnection network behavior on a multicomputer in the parallelization of the MPEG coding algorithm. Worm-hole vs Packet-Switching 1999-01-20 Cost/Performance Control in 1996-01-16 Implementing an Efficient Minimum Capacity Cut Algorithm 1997-10-20 Toshihide Ibaraki Consistency of Minimizers and the SLLN for Stochastic Programs 1970-01-01 Zvi Artstein Continuous Display of Video Objects Using Multi-Zone Disks 1998-12-21 A globality theorem for Lie-wedges that are bounded by a hyperplane-ideal 1995-08-20 Dirk Mittenhuber Département de Mathématiques et Informatique 1997-05-29 An Interior-Point Method For Convex Fractional Programming 1993-06-04 Multi-View Description of Software Architectures 1998-10-06 Mean field approach to learning in Boltzmann Machines 1997-08-28 F. B. Rodr'iguez Optimal Discrete Adjustments for Short Production Runs 1996-05-30 Scott A. Vander Wiel Projection: An efficient solution algorithm for a class of quasi-birth-death processes 1998-08-10 Power Estimation Techniques for the Purpose of the Architectural Synthesis of Digital Signal Processing Algorithms 1997-10-16 The GRB Rate At High Photon Energies 1996-01-23 Filtering Large Propositional Rule Sets While Retaining Classifier Performance 1999-03-14 Thomas Agotnes A Study On Hill Climbing Algorithms For Neural Network Training 1999-04-09 Some Experiments with Real-time Decision Algorithms 1970-01-01 Scott Burgess Managing simple re-entrant flow lines: I. Theoretical foundation 1997-03-07 Constraint-based Discourse Agents 1997-10-02 Aspects - Composing CSCW Applications. 1970-01-01 Published in 1996-07-23 High Performance Fortran Language Specification 1997-10-01 Interpolation Theorems for Domination Numbers of a Graph 1998-09-18 Preben Dahl Vestergaard Performance and Efficiency Issues in Distributed Enterprise Management 1998-04-11 Unknown 1995-11-17 The FL Project: The Design of a Functional Language 1994-12-11 Knowledge-Based Derivation of Document Logical Structure 1997-03-25 Type-Directed Partial Evaluation 1995-10-26 Olivier Danvy Operations and Cooperations in Elliptic Cohomology, Part I: Generalized modular forms and the cooperation algebra 1995-01-08 Programming with Variable Functions 1999-03-21 Martin Odersky On The Duality Between The Heterotic String And F-Theory In 8 Dimensions 1997-10-24 Calibration Approach and Results of the COCOMO II PostArchitecture Model 1998-06-23 Wavelet Multiresolution Analyses Adapted For The Fast Solution Of Boundary Value Ordinary Differential Equations 1995-06-13 Synthesis: An Efficient Implementation of Fundamental Operating System Services 1992-09-21 Henry Massalin Power Control In Wireless Networks With Random Interferes 1997-01-14 and Thomas Gross 1996-03-24 Teaching Horses to Whistle: An Apostate's View of Parallel Computing and the Undergraduate Computational Science Curriculum 1995-03-29 Gregory V. Wilson Formal Methods in the Classroom: The Logic of Real-Time Software Design 1998-11-09 Coordinating with Obligations 1998-07-14 M. Krishna 1997-04-26 M. Krishna Reactive Systems in Physical Environments 1996-04-13 Simin Nadjm-tehrani Toward Process-Model-based Software Environment Kernels 1997-10-23 Initial Results for Glacial Variable Analysis 1997-06-10 Quadtree-Guided Wavelet Image Coding 1996-03-06 Approximating Dense Cases of Covering Problems 1997-02-12 MEMS-Based Diffractive Optical Beam Steering Technology 1998-08-24 Diagrammatic Methods for Deriving and Relating Temporal Neural Network Algorithms 1997-11-14 Eric A. Wan A Layered Approach to Learning Client Behaviors in the RoboCup Soccer Server 1998-03-17 A Note About A Burton Keane's Theorem 1997-05-05 H. Guiol Semileptonic Decays 1996-07-23 P. R. Burchat The Theory of Vaccines 1999-03-25 Massimo Marchiori A Bit-Wise Epistasis Measure for Binary Search Spaces 1999-01-26 DDB Graph Operations for the IFS/2 1993-09-24 Theoretical Error Prediction for a Language Identification System using Optimal Phoneme Clustering 1995-12-22 Kay M. Berkling Etienne Barnard DFL - A Hybrid Integration of Descriptions and Rules, using F-Logic as an Underlying Semantics 1996-06-05 Pitfalls of Agent-Oriented Development 1998-02-23 Using Metadata to Enhance Multimedia Query Semantics 1996-11-22 Parallelizing A Model Checker 1995-11-28 Rectangular Structures From Affine Planes Over Fields 1998-02-17 Tim Boykett Discourse Marker Use in Task-Oriented Spoken Dialog 1998-03-11 Meeting the Application's Needs: A Design Study of a Highly Customized Replication Scheme 1995-09-04 Oliver Theel Effective Dynamics of Self--Gravitating Extended Objects 1997-08-01 A Reliable Multicast Framework for Light-weight Sessions and Application Level Framing 1998-01-03 Modelling Optical Pulse Propagation In Nonlinear Media Using Wavelets 1996-07-10 Learning Design Rules For Wind Bracings In Tall Buildings 1995-09-13 Monitoring and Modelling of a Distributed ISDN Test System 1994-10-20 DNA computing: the arrival of biological mathematics 1996-10-05 A Method to Find All Solutions of a System of Multivariate Polynomial Equalities and Inequalities in the Max Algebra 1998-09-11 Instructing Cooperating Assembly Robots through Situated Dialogues in Natural Language 1996-09-26 Transportation Applications of Artificial Intelligence Extended 1994-03-12 Specification and Validation of Multimedia Protocols using RT-LOTOS 1997-10-16 Efficiently Implementing SLG Resolution: 1996-02-04 Speaker-Independent Connected Letter Recognition With A Multi-State Time Delay Neural Network 1995-08-22 The Cartan formalism in field theory 1997-04-26 A Comparison of Parallel Algorithms for Connected Components 1997-02-04 John Greiner An Improved Spectral Graph Partitioning Algorithm for Mapping Parallel Computations 1994-01-26 Bruce Hendrickson Is Laziness in a Data-Parallel Language 1996-11-11 Jonathan M. D. Hill Architecture Refinement 1995-09-27 Dependence Based Prefetching for Linked Data Structures 1998-07-27 Protocol Portability through Module Encapsulation 1996-04-12 LAPACK Working Note 67 Performance Complexity of 1994-08-01 Aontas: The CaberNet Technical Abstracts Service 1997-02-27 Paul Taylor A Simple, Quadratically Convergent Interior Point Algorithm for Linear Programming and. . . 1994-09-06 Database on the structure of large ribosomal subunit RNA 1997-12-15 Genetic Algorithms in Engineering and Computer Science 1998-07-24 TR/03/95 February 95 The Application of Preprocessing and Cutting Plane Techniques for a Class of Production Planning Problems 1995-02-17 Constant-Time Tree Algorithms on Reconfigurable Meshes of size 1997-02-09 Differential Cryptanalysis of the Full 16-round DES 1999-01-18 On Combinatorics of Projective Mappings 1998-11-12 Gyorgy Elekes Guide to the HYDRA Reduction Task DOHYDRA 1992-05-08 Francisco Valdes Structure and Efficient Jacobian Calculation 1996-03-12 K Q M L a s a n a g e n t c o m m u n i c a t i o n l a n g u a g e 1997-03-11 A Candidate Set based analysis of Subgoal Interactions in conjunctive goal planning 1996-02-08 A Survey of Virtual Reality Literature 1994-07-27 Real-time holographic display: Improvements using a multichannel 1996-03-31 EUV Jets and 1998-12-22 Ring Array Processor RAP: Software Architecture 1998-02-16 A Role-Based Empirical Process Modeling Environment 1995-04-02 Optimization Over K-Set Polytopes and Efficient K-Set Enumeration 1999-01-14 Information Dissemination in Restricted Routing Networks 1996-10-04 Hall Polynomials and the Fixed Space of an Automorphism of a Finite Abelian 1999-01-03 Jason Fulman On Nonconvex Subdifferential Calculus in Banach Spaces 1995-10-27 Approximate Discounted Dynamic Programming Is Unreliable 1994-10-21 On Removing Non-degeneracy Assumptions in Computational Geometry Extended Abstract 1998-09-06 Fpga Prototype Queuing Module For High Performance Atm Switching 1994-12-22 Integrationof Interactive Interfaces with Intelligent Tutoring Systems: An Implementation 1970-01-01 Vijay Vasandani Slow Relaxation at Critical Point of Second Order Phase Transition in a Highly Chaotic Hamiltonian System 1996-11-10 Yoshiyuki Y. Yamaguchi Duality beyond Sober Spaces: Topological Spaces and Observation Frames 1997-01-08 Ff-Continuity Properties of One-Dimensional Quasicrystals 1997-04-26 Degenerate Thermal Pulses in AGB Stars 1998-01-15 A Model-Based Approach to Blame-Assignment in Design 1996-11-28 A Combined Unifrontal/Multifrontal Method for Unsymmetric Sparse Matrices 1970-01-01 Timothy A. Davis Optimal Balanced Assignments and a Parallel Database Application 1970-01-01 Massive Data Discrimination via Linear Support Vector Machines 1999-01-19 Iterative Broadening 1993-10-22 Hector: User--Transparent Resource Allocation for MPI 1998-01-26 High-Speed Distributed Data Handling for High-Energy and Nuclear Physics 1997-06-09 A Parallel Hybrid Approach to Hard Optimization Problems 1997-02-03 MACIV A DAI Based Resource Management System 1999-01-19 A Full Bayesian Approach For Inverse Problems 1997-10-29 Ali Mohammad-djafari List Edge Colourings of Some 1-Factorable Multigraphs 1996-08-28 On The Existence Of Unbiased Monte Carlo Estimators 1997-11-25 On Regularity-Preserving Functions 1996-10-11 Dexter Kozen Evolving Turing-Complete Programs for a Register Machine with Self-modifying Code 1995-05-23 The 1st International Paderborn Computer--Othello Tournament 1997-11-26 What can Grassmann, Hamilton and Clifford tell us about Computer Vision and Robotics 1998-01-15 Extraction of Rules from Discrete-Time Recurrent Neural Networks 1997-06-04 Oscillating Tableaux, 1998-08-26 Parallel Programming in Split-C 1996-02-21 Philip Wadler 1998-03-03 Two-dimensional Data Distribution with Constant Topology 1997-01-09 Jordi Garcia Issues in the Design of a Toolkit for Supporting Multiple Group Editors 1993-06-09 Hardness Results and Spectral Techniques for Combinatorial Problems on Circulant Graphs 1998-06-04 Calibration Approach and Results of the COCOMO II PostArchitecture Model 1998-01-14 On Weak Residual Error Estimation 1970-01-01 Jinn-liang Liu Ffl Ffl Ffl 1998-06-05 Developing Reusable Multi-Tasking Components Using Object-Oriented Techniques in Ada 95 1997-02-12 Structured Gamma Pascal Fradet And Daniel Le M Etayer 1998-08-31 Rational Parametrizations of Non-singular Real Cubic Surfaces 1997-09-22 Real-Time Measurements of Temperature and Velocity Profiles of Polymer Melts using Application Visualization System 1997-02-06 Piecewise Convex Estimation For Signal Processing 1996-03-25 Kurt S. Riedel On A Conjecture Of Fill And Holst Involving The Move-To-Front Rule And Cache Faults 1998-11-03 Martin Hildebrand Kinematic Calibration by Means of a Triaxial Accelerometer 1996-05-30 ARCHIVUM MATHEMATICUM BRNO Tomus 29 1993, 123 -- 133 1995-11-21 Svatoslav Gaidov An Analysis of Striping in Scalable Multi-Disk Video Servers 1998-12-19 Towards the Unification of Navigational Planning and Reactive Control 1995-01-25 Ronald C. Arkin The Rejuvenation of Materialized Views Extended Abstract 1999-02-16 Electronic Brokering for Automated Contracting of Software Applets 1996-06-04 William N. Robinson A Wavelet Optimized Adaptive Multi-Domain Method 1997-09-05 A Comparison Of Algorithms For Banded Matrix Multiplication 1997-09-02 Adaptive Parallelism with Piranha 1998-09-30 Group Management Services for Distributed Multimedia Applications 1996-02-02 On Two Forms of Structural Recursion 1998-04-22 Dan Suciu Design of Sparse and Non-Equally Spaced Arrays for Medical Ultrasound 1970-01-01 Isolation, Matching, and Counting: Uniform and Nonuniform Upper Bounds 1998-09-16 On a Voronoi Aggregative Process Related to a Bivariate Poisson Process 1996-03-05 Salo: Combining Simulated Annealing And Local Optimization For Efficient Global Optimization 1997-05-31 Ron Kohavi 1998-03-27 On the Linear-Cost Subtree-Transfer Distance between Phylogenetic Trees 1 Bhaskar DasGupta 1998-05-06 Uniqueness of Gibbs states on loop lattices 1996-12-10 Krylov Subspace for Total Least Squares Filter in Robot Navigation 1996-12-16 Quantum Transport of Composite Fermions in Narrow Constrictions 1998-12-04 D. V. Khveshchenko Reduced-Redundancy Product Codes for Burst Error Correction 1998-02-03 Polarization and Transverse Mode Selection in Quantum Well Vertical-Cavity Surface-Emitting Lasers: Index- and Gain-guided Devices. 1997-05-14 Response Of A Panel Structure Forced By The Noise From A Nearly Sonic Jet 1996-05-10 A lambda-to-CL Translation for Strong Normalization 1997-03-01 Yohji Akama Theorem Proving and Partial Proof Search for Intuitionistic Propositional Logic Using a Permutation-free Calculus with Loop Checking 1997-01-06 Jacob M. Howe Mid-Level Networks Potential Technical Services 1994-06-03 Vikas Aggarwal Chief: A Simulation Environment for Studying Parallel Systems 1970-01-01 Fast Accurate Instruction Fetch and Branch Prediction 1996-10-01 An Evaluation of Software-Based Release Consistent Protocols 1997-10-20 Temporal Logics for the Specification of Performance and Reliability: Errata Corrige 1998-03-19 Luca De Alfaro Constraint Stratification in Deductive Databases 1996-05-13 Kenneth A. Ross Quantum Learning 1995-06-21 Ronald L. Chrisley Soft particle production in QCD jets 1997-02-04 Sergio Lupia A Geometric Modeling and Animation System for Virtual Reality 1994-07-11 A Four-Valued Approach For Handling Inconsistency In Prioritized Knowledge-Bases 1997-05-27 Ofer Arieli Trust Regions and the Quadratic Assignment Problem 1996-11-04 On The Relevance Of The Regularity Constraint In Subband Image Coding 1997-11-10 Unifying Kernel-level and Language-level Approaches to Distributed Shared Data 1996-03-27 A Wavelet-Based Video Coding Scheme Using Image Warping Prediction 1998-06-22 Connectionist Theory Refinement: Genetically Searching the Space of Network Topologies 1998-04-30 Random Walks on Generating Sets for Finite Groups 1997-12-26 SKIP --- Securing the Internet 1996-07-31 The Natural Extension of the Beta-Transformation 1997-04-22 CS 360: Advanced Artificial Intelligence Lecture 14: Lisp Review 1998-10-13 Nilpotente Liealgebren und endliche Pro-p-Gruppen 1995-08-20 J Urgen Wisliceny Visibility-Based Pursuit-Evasion in a Polygonal Environment 1997-05-23 Switcherland - An Interconnect for Workstations 1997-08-19 Multimodal Interfaces 1995-08-21 Parallel Programming in Split-C 1995-04-21 The Next Frontier: Interactive and Closed Loop Performance Steering 1998-05-27 A Query Language for NC 1998-04-22 Concurrency in the lambda-calculus: Higher-order Concurrent Constraint Programming Extended Abstract 1995-11-28 Vijay A. Saraswat A Cornucopia Of Four-Dimensional Abnormal Subriemannian Minimizers 1998-07-19 H'ector J. Sussmann Wavelet Compression For 3d And Higherdimensional Objects 1997-10-28 Weak Refinement for Modal Hybrid Systems 1997-10-29 On the Scattering of Gravitons on Two Parallel D-Branes 1998-05-24 Andrea Pasquinucci Epi-Convergence in Distribution and Stochastic Equi-Semicontinuity 1999-02-09 Keith Knight Mix&Match: A Construction Kit for Visualization 1994-07-23 Effects of Periodic Communication on Distributed Decision-Making 1995-11-08 Proxy Prefix Caching for Multimedia Streams 1998-12-22 Combination and Integration of Declarative Approaches Full Paper and System Demonstration 1996-10-08 Homology Detection via Family Pairwise Search 1998-12-14 William Noble Grundy Interaction of Fluctuating River Flow with a Barotropic Tide: A Demonstration of Wavelet Tidal Analysis Methods 1998-09-16 Computing with Bayesian Multi-Networks 1996-02-20 Eugene Santos On Trace Formulas for Schr&#x00F6;dinger-Type Operators 1970-01-01 A Software Architecture for Zero-Copy RPC in Java 1999-04-07 Analyzing the Performance of Message Understanding Systems Based On Coreferencing 1997-02-20 Amit Bagga A Survey of Concurrent 1997-02-26 Michael Fisher Formal Methods and their Role in the Certification of Critical Systems 1997-11-24 John Rushby Hamiltonians on Random Walk Trajectories Pablo A. Ferrari 1997-09-01 Pablo A. Ferrari Optimal Mutation Rates in Genetic Search 1994-09-06 Thomas Back Measures For Symmetric Rank-One Updates 1993-10-19 Henry Wolkowicz Oslo IDL Software for Image Processing and Data Analysis 1994-07-12 The Crust and the Beta-Skeleton: Combinatorial Curve Reconstruction 1998-02-20 Adapting to Asynchronous Dynamic Networks 1994-02-16 Where do "Soccer Moms" Come From? : Cognitive Constraints on Noun-Noun Compounding in English 1997-01-24 Backtrackable State with Linear Affine Implication and Assumption Grammars 1997-02-19 Dynamical Symmetries of Planar Field Configurations 1998-12-18 Khazret S. Nirov Beyond Task Analysis: Exploiting Task Models in Application Implementation 1996-05-15 Efficient Policies for Carrying Web Traffic Over Flow-Switched Networks 1998-10-17 Factoring via Strong Lattice Reduction Algorithms 1998-02-23 Negatively Curved Groups And The Convergence Property Ii: Transitivity In Negatively Curved Groups 1996-03-26 Spectral Optimization for Communication in the Presence of Crosstalk 1999-03-25 PLANNING and INTELLIGENT SYSTEMS - An Introductory Overview 1998-09-01 A Linear-Time Randomized Algorithm for the Bounded Voronoi Diagram of a Simple Polygon 1994-09-15 Dynamics of Certain Nonconformal Degree-Two Maps of the Plane 1996-08-28 Applications of Machine Learning on two agricultural datasets 1996-07-26 Identifying the Semantic and Textual Differences Between Two Versions of a Program 1996-01-05 Susan Horwitz Acoustic Modeling in the Philips Hub-4 Continuous-Speech Recognition System 1998-03-25 A Tractable Walsh Analysis of SAT and its Implications for Genetic Algorithms 1998-08-28 Observability of HIP Nonlinear Dynamics 1994-09-30 MasPar Image Processing Library MPIPL Reference Manual 1992-10-20 MENTOR a Model Based Event Trace Evaluation Support System 1994-01-24 Fractional Brownian motion and data traffic modeling: The other end of the spectrum 1997-06-23 Rudolf Riedi An RBF Network Alternative for a Hybrid Architecture 1998-02-09 Do nuclear starbursts obscure the X-ray Background? 1998-03-05 Tioga-2: A Direct Manipulation Database Visualization Environment 1995-12-23 The automated generation of Web documents that are tailored to the individual reader 1997-01-18 A Note on Anisotropic Interpolation Error Estimates for Isoparametric Quadrilateral Finite Elements 1996-11-07 Thomas Apel Half-baked, Ad-hoc and Noisy: Minimal Simulations for Evolutionary Robotics 1997-03-11 Nick Jakobi Evaluating the Performance of Software Distributed Shared Memory as a Target for Parallelizing Compilers 1997-03-15 Robust Stabilization Of Discrete-Time Multi-Model Systems Using Piecewise Affine State-Feedback 1998-04-01 Bjarne A. Foss Planar Duality in SU2 WZW Models 1998-05-23 Obstacles for a Component-Based Software Industry 1997-08-30 Anders Kristensen Amenability, Hyperfiniteness and Isoperimetric Inequalities 1997-09-16 Vadim A. Kaimanovich Spacetime Constraints Revisited 1998-10-01 A neural model of biased oscillations in Aplysia head-waving behavior 1999-02-03 The Edge-Bandwidth Of Theta Graphs 1998-11-25 Privacy Amplification Secure Against Active Adversaries 1999-02-08 A New Fast and Efficient Image Codec Based on Set Partitioning in Hierarchical Trees 1970-01-01 The Kalman Filter: Intuition 1996-12-09 Carlo Tomasi Hazard Regression with Interval-Censored Data 1996-10-12 Charles Kooperberg Type Evolution and Instance Adaptation 1998-03-08 Stewart M. Clamen On Mixed Connectivity Certificates 1997-10-06 exVis: Developing A Wind Tunnel Data Visualization Tool 1998-12-15 Samuel P. Uselton How to Juggle Discourse Obligations 1997-06-16 Algorithmic Modeling for Performance Evaluation 1996-05-13 Cell Loss Analysis of Broadband Switching Systems Carrying VBR Video Traffic 1995-04-27 Logics Capturing Relativized Complexity Classes Uniformly 1996-12-17 J. A. Makowsky David L. Neuhoff and Paul C. Shields 1997-10-16 Filament Eruptions During the Period of Sept. 1991 through Sept. 1994 1997-08-08 Formalization and Application of a Unifying Model for Name Management 1996-09-26 Experimental Evaluation of Algorithms for Incremental Graph Connectivity and Biconnectivity 1998-01-16 Tool Path Generation for Freeform Surface Models 1998-12-11 Gershon Elber Bandwidth Modelling for Network-Aware Applications 1998-12-31 Selection of a Large Sum-Free Subset in Polynomial Time 1996-05-08 Mihail N. Kolountzakis An Entity-Relationship Model Extended To Describe Historical Information 1999-03-12 Formal Grammars for Intermolecular Structure 1970-01-01 David B. Searls A Discrete and Dynamic Approach to Application/Operating System QoS Resource Management 1998-06-08 The Endocategory of a Module 1999-04-21 Henning Krause Empirical Bayesian EM-based Motion Segmentation 1997-04-01 Nuno Vasconcelos Application-Level Scheduling on Distributed Heterogeneous Networks 1997-12-27 Using Term Rewriting to Verify Software 1993-12-20 Building Reliable Mobile-Aware Applications using the Rover Toolkit 1996-09-13 Combinatory Reduction Systems: introduction and survey 1997-01-08 A Generalized Vq Method For Combined Compression And Estimation 1995-12-13 Beamtests of the N-on-n Silicon Microstrip Detector with Various P-stop Structures 1998-08-30 Dynamics of Polymer "Isotope" Mixtures: Molecular Dynamics Simulation and Rouse Model Analysis 1997-08-01 A Concept for Evaluating the Accuracy of Computer Generated Images 1996-07-29 The Derivation Of The Free Energy Of The Ising Model From That Of The Eight-Vertex Model 1996-03-25 D. A. Lavis Network and Operating System Support for Multimedia Applications 1995-11-02 A Comparison of 1-D and 2-D Data Mapping for Sparse LU Factorization with Partial Pivoting 1997-03-18 Revisiting the Elimination of the Adverse Effects of Small Model Features in Automatically Generated Meshes 1998-10-30 A Generalization Of A Result Of Sinnott 1998-02-01 H. Kisilevsky Lifschitz Tail in a Magnetic Field: The Nonclassical Regime 1997-07-01 On the Relationship Between Formal Semantics and Static Analysis 1996-12-18 P. N. Benton Optical Techniques for Parallel Image Computing 1999-03-05 Some Solutions to the Missing Feature Problem in Vision 1993-01-22 On the Real-Time Service Quality of POSIX Support in Solaris and IRIX - A Preliminary Evaluation 1999-01-20 On Weaknesses of Non--surjective Round Functions 1998-09-11 Fault Tolerant Mobility Planning for Rapidly Deployable Wireless Networks 1998-02-07 A Methodology and Design Environment for DSP ASIC Fixed Point Refinement 1999-03-29 Towards a Duration Calculus Proof Assistant in PVS 1995-01-21 Jens Ulrik Skakkebaek BDDs and Automated Deduction 1997-04-17 Jean Goubault How to Use a64-Bit Virtual Address Space 1992-07-24 Resume 1998-10-14 Patrick S. Rowe Data Caches for Superscalar Processors 1998-06-29 Algorithm-Oriented Generic Libraries 1995-02-02 Algebraic Extensions Of Graded And Valued Fields 1999-03-25 Performance Evaluation of the Graph Partitioning Algorithms in PARTY Version 1.1 1999-01-15 Operators on Differential Forms for Lie Transformation Groups 1996-07-18 Expandable 1994-06-16 Particle Representations for Measure-Valued Population Models 1999-02-07 Query By Templates: A Generalized Approach for Visual Query Formulation for Text Dominated Databases 1998-06-15 A DD preconditioner for the shell problem 1996-10-29 Discrete-Time, Discrete-Valued Observable Operator Models: A Tutorial 1998-12-23 Herbert Jaeger Assignment as the Sole Means of Updating Objects 1996-03-28 Thirty years of Optimal Control: was the path unique? 1997-11-07 H. J. Sussmann The Interpolation Theorem for IL and ILP 1998-11-03 Markovian modeling of the stress contours of Brazilian and European Portuguese 1997-05-21 if all derivatives exist and are continuous - this is a concept without problems. Let 1999-01-21 Peter W. Michor Cooperation Implicite Et Antagonisme 1997-03-06 Time and Cost Trade-Offs in Gossiping 1997-11-24 AQUA: An advanced user interface for the Dienst digital library system 1999-02-09 Towards a Broader Basis for Logic Programming 1993-05-14 Bharat Jayaraman A Comprehensive Partial Scan Chain Assignment and Test Generation 1997-05-06 The New Identity for the Scattering Matrix of Exactly Solvable Models 1997-12-09 Vladimir Korepin Agents and Environments 1998-10-08 A Maximum Time Difference Pipelined Multiplier 1999-04-26 Recovering Dynamic Information from Static, Handwritten Word Images 1999-01-27 Efficient Filter Computation With Symmetric Matrix Kernels 1994-11-14 The Heavy Top Quark and Right-Handed Currents 1998-05-25 Vicente Pleitez SAGA: The First General-Purpose On-Line Arithmetic Co-Processor 1970-01-01 Storing Semistructured Data with STORED 1998-12-06 Signature Schemes Based on the Strong RSA Assumption 1999-02-09 Twistless KAM tori, quasi flat homoclinic intersections, and other cancellations in the perturbation series of certain completely integrable hamiltonian systems. A review. 1997-04-26 Giovanni Gallavotti Monads as a theoretical foundation for AOP 1997-04-21 Wolfgang De Meuter GOAL PROCESSING IN AUTONOMOUS AGENTS by LUC BEAUDOIN 1996-02-15 Luc Beaudoin Topological Queries in Spatial Databases 1997-12-22 A Recurrent Neural Network for Modelling Dynamical Systems 1998-12-10 Probabilistic Analysis of Network Flow Algorithms 1995-08-10 Predicate Classes, Promise Classes, and the Acceptance Power of Regular Languages 1996-10-30 Topological Analysis of Point Singularities in Stimulus Preference Maps of the Primary Visual Cortex 1997-02-09 UnificationOf Couplings In The Mssm 1998-05-26 M. Carena The Garbage Collection Toolkit as an Experimentation Tool 1993-09-14 Darko Stefanovic Integrated Circuit Implementation of Fuzzy Controllers 1998-04-02 Database Research: Achievements and Opportunities Into the 21st Century 1997-01-21 The Load, Capacity and Availability of Quorum Systems 1998-04-01 Parameter Estimation for Inhomogeneous Markov Random Fields Using PseudoLikelihood 1999-02-03 .2 C5.2.2 --- Characteristic rules 1970-01-01 Low-Delay Embedded 3-D Wavelet Color Video Coding with SPIHT 1997-11-04 Synchronised Multiple Views of PrologSpace 1995-11-26 Lindsey Ford Isolation-Only Transactions for Mobile Computing 1994-02-15 Learning Response Time for WebSources using Query Feedback and Application in Query Optimization 1998-11-11 DARWIN: On the Incremental Migration of Legacy Information Systems 1995-10-18 Dimensional Hausdorff Properties of Singular Continuous Spectra 1997-04-26 Analysis of the Departure Process of a Batch Service Queueing System 1998-09-22 Mathias Dummler Fuzzy multiple criteria decision making: Recent developments 1998-09-03 Investigations on Cautious Autoepistemic Reasoning 1994-12-16 Tomi Janhunen Observable operator models II: Interpretable models and model induction 1997-08-22 Formalizing Dependency Directed Backtracking and Explanation Based Learning in Refinement Search 1996-04-17 Subbarao Kambhampati Representation For 1996-07-13 Band Edge Behaviour Of The Integrated Density Of States Of Random Jacobi Matrices In Dimension 1 1997-05-28 Eric Klopp McColm's Conjecture 1996-08-07 Konrad Schmudgen 1. 1995-08-21 Konrad Schmudgen Journal of The Korean Astronomical Society 1997-03-03 Ability and Knowing How in the Situation Calculus 1997-05-19 SDP: Session Description Protocol 1995-03-28 Internet-draft Mark H Degenerations of Generalized Krichever - Novikov Algebras on Tori 1997-05-15 Martin Schlichenmaier Making CIMOSA operational 1996-11-21 Structured Sampling And Reconstruction Of Illumination For Image Synthesis 1994-01-31 Domain-Wall Fermions With 1998-05-25 From Semi-Discrete to Fully-Discrete: Stability of Runge-Kutta Schemes by the Energy Method 1997-11-18 An Approach to Constructing Modular Fault-Tolerant Protocols 1996-06-25 Reconstruction and Mapping 1997-06-15 Jeffrey T. Runner Unknown 1996-09-29 Learning Structure with Many-Take-All networks 1996-09-19 Discrete To Continuous-Time Crossover Due To Anisotropy In Diffusion-Limited Two-Particle Annihilation Reactions 1997-04-26 Vladimir Privman The Effect of Decision Surface Fitness on Dynamic Multi-layer Perceptron Networks DMP1 1996-09-30 Information Gain in Object Recognition Via Sensor Fusion 1998-07-13 A Robust Kalman Filter For Estimation And Tracking Of A Class Of Periodic Discrete Event Processes 1996-12-06 Application of Logical Analysis of Data to the TREC6 Routing Task 1998-06-01 Contradicting Conventional Wisdom in Constraint Satisfaction 1995-10-16 Bayesian inference for ion channel gating mechanisms directly from single channel recordings, using Markov chain Monte Carlo 1997-11-26 On Operators of Higher Types 1999-01-24 Process Transition Networks: What Are They For? 1996-05-13 Jacek Malec Eliminating Dead Code on Recursive Data 1998-10-13 The GNOME desktop environment 1998-06-23 Adaptive Stochastic Resonance 1998-10-07 Organizing Multicast Receivers Deterministically by Packet-Loss Correlation 1998-12-17 Interprocedural Analysis for Parallelization 1995-10-02 An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces 1997-02-27 Efficient Implementation of Sorting Algorithms on Asynchronous Distributed-Memory Machines 1995-02-14 Generating Random ElementsOf Finite Distributive Lattices 1997-12-26 James Propp Metastability and Pinning for Convection-Diffusion-Reaction Equations in Thin Domains 1998-08-28 Admissible Pruning Strategies based on plan minimality for Plan-Space Planning 1996-04-09 Subbarao Kambhampati Generalized Form Registration Using Structure-Based Techniques 1995-10-11 In-Hand Manipulation: Geometry And Algorithms 1997-10-27 Self-adjointness and spectral properties of a pseudo-relativistic Hamiltonian due to Brown and Ravenhall 1997-08-21 C. Tix A Winning Strategy for Roulette 1996-02-12 Jerome H. Klotz Coding Complexity: The Computational Complexity of Succinct Descriptions 1996-10-10 Defining and Measuring Conflicts in Optimistic Replication 1998-01-10 We have implmented many busses for evaluation and testing. Recently, an bus based upon 1997-12-17 A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method 1997-02-21 MVS-SAT : A Security Administration Tool to support SMF Protocol Data Evaluation 1997-06-30 Simultaneous Almost Minimization of Convex Functions and Duals of Results Related to Maximal Monotonicity 1995-10-27 S. Simons Gravitationally--Induced Three--Flavor Neutrino Oscillations as a Possible Solution to the Solar Neutrino Problem 1998-05-14 Algorithmic Information Evolution 1998-07-21 G. J. Chaitin Preserving State on the World Wide Web Using Dynamic Argument Embedding 1998-06-26 Arun Iyengar Hardware Mechanisms for Efficient Interprocessor Communication 1970-01-01 An Efficient Exact Algorithm for Constraint Bipartite Vertex Cover 1999-04-14 Henning Fernau Achieving High Performance on Digital AlphaServers with the SUIF Compiler 1998-08-25 Expressiveness of the logic programming language Forum in planning and concurrency 1996-04-10 Studies in HPSG 1996-06-07 Impossibility of Repeated Reliable Broadcast 1995-09-07 Aleta Ricciardi -Coloring Algorithm for 3-Colorable Graphs 1996-09-04 Interpolating Subdivision for Meshes with Arbitrary Topology 1997-12-19 An Application Centered Approach To Instruction 1998-08-05 Tuning the BLAS for the Tera 1998-01-29 Preston Briggs Increasing the Weight of Minimum Spanning Trees 1997-10-06 Stochastic Integration Rules For Infinite Regions 1970-01-01 Complete Moduli For Fibered Surfaces 1998-03-24 Dynamically Generated Variability in Plant-Pathogen Systems With Biological Control 1998-11-02 Parking Functions and Noncrossing Partitions 1999-03-08 Richard P. Stanley Connectionist Speech Recognition: Status and Prospects 1998-02-16 Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving 1998-06-29 Accessing Sections of Out-of-Core Arrays Using an Extended Two-Phase Method 1997-01-27 Active Exploration in Dynamic Environments 1998-09-29 Scaling Heterogeneous Databases and the Design of 1997-09-09 New sufficient criteria for the globality of Lie wedges 1995-07-24 Dirk Mittenhuber Improving Performance of Mesh-connected Multicomputers by Reducing Fragmentation 1998-09-07 On Jacobi-Like Algorithms for Computing the Ordinary Singular Value Decomposition 1995-05-29 Poul M. Rands Jensen Improving the Performanceof Evolutionary Optimization by Dynamically Scaling the Evaluation Function 1997-08-23 Newsgroup Exploration with WEBSOM Method and Browsing Interface 1996-02-05 On the Analysis Scheme in the Ensemble Kalman Filter 1997-05-23 Hierarchical Syntactic Representation and Processing - Abstracting item-dependent information into syntax 1998-03-22 Cristina Barbero Experimenting with technology associated with Mobile Desktops Maria H. Penedo 1998-06-05 Maria H. Penedo ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior 1997-11-19 Ideal Denoising in an orthonormal basis chosen from a library of bases 1994-09-21 Dominions In Varieties Of Nilpotent Groups 1999-01-29 Arturo Magidin Dynamic Expression Trees 1994-02-17 Basic Concepts for Distributed Sparse Linear Algebra Operations 1995-01-12 Multiagent Coordination in Tightly Coupled Task Scheduling 1997-05-23 DeterminingOmega from cluster correlation function 1998-09-16 A. Kashlinsky Exploration Of Satellite Images In The Dynamically Linked ArcView/XGobi/XploRe Environment 1998-01-30 Session 1668 1994-06-21 NEAR-INFRARED WIDE-FIELD IMAGING CAMERA WITH PtSi 1997-03-03 Reflective Interfaces 1998-07-20 Donald Liib Role-Based Access Control 1998-09-14 Ravi S. Sandhu Scheduling High-Level Tasks Among Cooperative Agents 1998-09-24 Bradley J. Clement Design Patterns in Python 1997-11-02 Vespe Savikko A Representation for Mammographic Image Processing 1996-09-10 Small denominators and anomalous behaviour in the uncommensurate Hubbard-Holstein model 1997-12-29 V. Mastropietro Reservation Probabilities 1998-07-28 Bjorn Poonen M. Hoffmann-Ostenhof 1997-08-13 A Direct Adaptive Method for Faster Backpropagation Learning: The RPROP Algorithm 1998-12-22 The Fixpoint-Analysis Machine 1998-01-09 Perfect Option Hedging for a Large Trader 1997-01-09 Rudiger Frey Advantages of COMA 1996-08-27 Half-explicit Runge--Kutta methods with explicit stages for differential-algebraic systems of index 2 1998-06-10 M. Arnold Quantum Spins in the Double Exchange Model of Manganites 1998-09-30 Stochastic Hillclimbing as a Baseline Method for Evaluating Genetic Algorithms 1994-10-24 How Representation Works is More Important Than What Representations Are 1997-03-13 Shimon Edelman Finite Dimensional Approximation of Diffusion Processes on Infinite Dimensional Spaces 1999-04-21 The Use of Hypertext in Software Development 1992-03-23 A Region Inference Algorithm 1998-10-16 An Experimental Overview Of Meson Spectroscopy Data 1998-12-17 Curtis A. Meyer Analysis of Multithreaded Multiprocessors with Distributed Shared Memory 1970-01-01 Background Memory Management for Dynamic Data Structure Intensive Processing Systems 1997-09-11 Motion planning and control for Hilare pulling a trailer: experimental issues 1997-09-23 Microwave Background Anisotropies from Scaling Seed Perturbations 1998-05-14 A Delaunay Refinement Algorithm for Quality 2-Dimensional Mesh Generation 1998-05-14 A Context-Free Language Decision Problem 1993-06-11 B. Litow An algebraic framework for the definition of compositional semantics of Normal Logic Programs 1997-12-10 A graphical MSC editor 1997-11-02 Metric Process Models 1995-04-15 Metric Calibration of a Stereo Rig 1997-09-03 Knowledge-Based Automatic Feature Extraction 1997-03-23 Towards a Meaning of LIFE 1995-04-20 Editor's Corner: The Unwinding Number 1998-11-24 Sparse Matrix Decomposition with Optimal Load Balancing 1997-10-21 Pfam: Multiple Sequence Alignments and HMM-Profiles of Protein Domains 1997-12-15 Sheared Interpolation and Gradient Estimation for Real-Time Volume Rendering 1996-07-19 Some Space Considerations of Space-Time Mappings into Systolic Arrays 1994-07-05 Autonomous Parallel Parking of a Nonholonomic Vehicle 1998-04-09 -D Local Radon power Spectra for seismic Attribute Extraction 1998-09-12 A Comparison of Dynamic Branch Predictors that use Two Levels of Branch History 1998-03-03 Adapting to Drift in Continuous Domains 1994-10-24 A Bayesian Analysis of the Doomsday Argument 1998-01-27 Fast Collective Communication by Packets in the Postal Model 1997-06-18 Elliptical Head Tracking Using Intensity Gradients and Color Histograms 1998-08-07 Stan Birchfield Virtual Instrumentation In An Undergraduate Electrical Machines Lab 1997-03-03 Thomas W. Gedra A Data Transformation System for Biological Data Sources 1995-06-13 Security in Public Mobile Communication Networks 1996-09-20 Shape Interpolations with Unions of Spheres 1995-07-21 Information Management Tool 1998-05-29 CELP Coding with Data Rates Below 4 kbit/s Using a Phonetically Oriented Excitation 1997-04-08 The Paradigm and FLMP are Alive and Well 1999-02-14 A Reliable Transmission Protocol for Myrinet 1999-03-26 Optimizing Queries over Multimedia Repositories 1996-06-27 Flexible Scheduling of Automatic Telescopes over the Internet 1995-02-24 A Genetic Algorithm To Solve The Timetable Problem 1994-06-30 Deriving Identity from Extensionality 1994-12-19 Phase separation in a binary hard-core mixture. An exact result. 1998-03-14 A General Duality Principle for the Sum of Two Operators 1996-06-24 H. Attouch Proof Theory At Work: Program Development In The Minlog System 1998-04-28 Statistics and the Sciences 1994-05-20 Curve Approximation and Constrained Shortest Path Problems 1970-01-01 A Note on Rule-Finding Abduction 1997-09-30 Kouichi Hirata Parallel Rejectionless Annealing for Discrete Combinatorial Optimisation 1996-08-27 Highly Mobile Users and Paging: optimal polling strategies 1998-04-02 Index Structures for Information Filtering Under the Vector Space Model 1995-11-08 Perfect Zero-Knowledge Arguments for NP Can Be Based on General Complexity Assumptions extended abstract 1998-02-16 Compile-time Inter-query Dependence Analysis 1997-11-20 Differential Evolution - A simple and efficient adaptive scheme for global optimization over continuous spaces 1998-02-23 A Geometric Approach to Mapping Bitext Correspondence 1996-09-30 I. Dan Melamed A Laboratory Study Of Subjective Annoyance Response To Sonic Booms And Aircraft Flyovers 1995-03-10 Design and Prototyping of Location Management and Handoff Protocols for Wireless ATM networks 1999-03-18 edited Garth A. Gibson 1998-08-05 Computation of Gohberg-Semencul Formulas for a Toeplitz Matrix 1994-09-29 Thomas Huckle The computational complexity of Marcus contextual languages 1999-03-27 Toward a Single-Cell Account of Binocular Disparity Tuning: An Energy Model May be Hiding in Your Dendrites 1970-01-01 Parallel and Configurable Protocols: Experiences with a Prototype and an Architectural Framework 1993-06-25 Monotonic Rewriting Automata with a Restart Operation 1998-01-08 Frantiek Mrz Secure Network Objects 1996-05-09 A Complexity Model For Web Queries 1998-07-16 Translation By Quasi Logical Form Transfer 1997-03-27 On Approximation Of Linear Functionals On 1995-03-02 Locales Framework: Exploring foundations for collaboration support 1996-09-02 Robust Image Composition Algorithms for Augmented Reality 1998-03-10 Finite-State Power Control For Fading Channels 1997-03-20 Wrapper Induction for Semistructured, Web-based Information Sources 1999-01-20 Multiple Integrals in Many Dimensions 1998-05-04 Ian H. Sloan Algebraic Geometry and Group Theory in Geometric Constraint Satisfaction 1995-02-13 Lyapunov Exponents and Triangulations 1997-10-30 Research Proposal: Characterizing Network Complexity by Means of Fault Diagnosis 1997-02-12 Data Replication in Mariposa 1995-12-23 Asymptotic analysis of the bifurcation diagram for symmetric one-dimensional solutions of the Ginzburg-Landau equations 1998-07-06 S. J. Chapman Solving Some Structured Linear Least-Squares Problems 1995-01-30 Linda Kaufman Naive Reverse can be Linear 1994-07-07 Parallelization of Quantifier Elimination on Workstation Network 1997-04-08 Hoon Hong Unknown 1994-06-17 Jyh-herng Chow An ACSL--Model Translator to the Neutral Fortran DSblock-Model Format 1997-03-12 Learning Curve Bounds for Markov Decision Processes with Undiscounted Rewards 1996-09-05 The Selfish Class 1970-01-01 Experimenting with Shared Generation of RSA keys 1998-10-16 Convergence of the Combination Technique for the Finite Element Solution of Poisson's Equation 1996-03-07 Christoph Pflaum Adsmith: An Efficient Object-Based Distributed Shared Memory System on PVM 1997-12-02 A Graphical Programming Environment for Message Passing Programs 1998-02-26 Digital Equipment Corporation Scotland Ltd., Mosshill Industrial Estate, Ayr, Scotland. KA6 6BE. 1998-10-27 Ross L. Armstrong A New Complex Basis for Implicit Polynomial Curves and its Simple Exploitation for Pose Estimation and Invariant Recognition 1998-04-02 David B. Cooper Histogram-Based Solutions to Diverse Database Estimation Problems 1997-11-06 Task and Environment-Sensitive Tracking 1996-06-11 Existence of Two Boundary Blow-up Solutions for Semilinear Elliptic Equations 1997-03-03 Timing Simulation Of Paragon Codes Using Workstation Clusters 1997-01-30 The Transactional Object Cache as a Basis for Persistent Java System Construction 1997-07-24 The Virtual System Model for Large Distributed Operating Systems 1992-04-01 B. Clifford Neuman Improving System Performance in Case-Based Iterative Optimization through Knowledge Filtering 1998-06-02 JaDE: Access Control in a Java-Based Object Database 1995-11-28 The Area Bisectors of a Polygon and Force Equilibria in Programmable Vector Fields 1996-12-23 Power Reduction Through Clock Gating By Symbolic Manipulation. 1998-05-19 Communication Pre-evaluation in HPF 1998-04-02 Gradient Driven Self-Organizing Systems 1996-07-10 Tight Instances of the Lonely Runner 1997-01-14 Luis Goddyn Integer Division in Residue Number Systems 1994-03-23 Ontology-based Web Agents 1997-01-07 Non-Linear Dimensionality Reduction: A Comparative Performance Analysis 1995-12-29 A Study on the Effect of Transfer of Genes for the Bacterial Evolutionary Algorithm 1998-11-18 Optimal Equi-Partition of Rectangular Domains for Parallel Computation 1970-01-01 One loop renormalization of the 4-D Quantum Dilaton Gravity in Spherically symmetric background 1998-05-14 The Implementation of Portable Programming Layers: A Case Study 1994-09-20 F. Van Der Linden BCM Network develops Orientation Selectivity and Ocular Dominance in Natural Scene Environment. 1998-11-13 Open Problems And Conjectures In Finite Fields 1996-10-03 Incorporating Explanation-Based Generalization with Analogical Reasoning 1997-09-30 Checking Proofs from Linked Tools 1996-03-08 Paul Curzon "memory Sync" 1997-10-28 Multimodal Interfaces 1995-08-21 On Merging Theorem Proving and Logic Programming Paradigms 1996-09-10 Repeated Communication and Ramsey Graphs 1996-03-20 The "CAM-Brain" Project The Genetic Programming of a Billion Neuron Artificial Brain which Grows/Evolves at Electronic Speeds in a Cellular Automata Machine 1997-08-27 Hugo De Garis Image Retrieval Using Scale-Space Matching 1997-08-11 AGS: Introducing Agents as Services Provided by Digital Libraries 1997-09-29 Invocation and Memory Management in Distributed Object-Based Operating Systems 1998-03-17 Extensive Write Caching 1995-03-10 Integrating Boosting and Stochastic Attribute Selection Committees for Further Improving the Performance of Decision Tree Learning 1998-11-11 Declarative Specialization of Object-Oriented Programs 1997-07-11 FORSCHUNGSZENTRUM JÜLICH GmbH 1998-08-12 CC-NUMA Page Table Management and Redundant Linked List Based Cache Coherence Protocol 1996-04-03 Preparing Case Retrieval Nets for Distributed Processing 1996-08-23 Mario Lenz Black Holes, Sacrificial Lambs, and a Robust Approach to Transaction Routing 1995-09-21 Evolutionary Design of Synthetic Routes in Chemistry 1996-04-02 Discovering Frequent Episodes in Sequences 1997-02-28 A Parallelizable Preconditioner for The Iterative Solution of Implicit Runge-Kutta Type Methods 1999-03-13 Laurent O. Jay On the Geometry of Diffusion Operators and Stochastic Flows 1998-06-05 Classical Limit of the Matrix Elements on. . . 1998-05-19 N. Ripamonti Structuring Textbook Proofs 1999-01-22 Claus Zinn UNH C* Compiler Internals 1995-03-31 METAFOL: Program Tactics and Logic Tactics plus Reflection 1996-06-12 Genetic Programming Bloat with Dynamic Fitness 1997-12-08 Deadlock Detection by Fair Reachability Analysis: from Cyclic to Multi-Cyclic Protocols and beyond? 1996-02-17 C H a P T E R 1997-01-28 This Way, You'll Be Forced to Declare All Your Variables With 1995-10-08 Tom Christiansen Protocols Among Computational Agents: Towards a Model based on the Success and Satisfaction 1997-08-27 Coordinating Multiple Agents in the Supply Chain 1998-07-13 Integrating the Object Transaction Service with the Web 1998-11-19 Evaluation and Ordering of Rules Extracted from Feedforward Networks 1997-03-05 Communicating Evolving Algebras 1997-05-15 Background and Motivation 1997-05-21 D R Fearn Quantum Harmonic Oscillator State Synthesis and Analysis 1997-02-26 Aggregation in a Behavior Oriented Object Model 1995-04-26 Well-Ordered Steiner Triple Systems and 1-Perfect Partitions of the N-Cube 1998-05-14 Josep Rif A Towards an Empirical Semantics ofPossibility Through Maximum Uncertainty 1995-04-21 Cliff Joslyn A Continuation-Passing Style for Prolog 1995-03-08 Thomas Lindgren Planning Motions of Polyhedral Parts by Rolling 1970-01-01 Evolving Robot Morphology 1997-01-29 Directory Structures for Scalable Internet Caches 1998-07-31 Independent Component Representations for Face Recognition 1998-11-30 Classification on Proximity Data with LP--Machines 1999-03-10 Rigidly symmetric L 1995-08-21 Detlev Poguntke Configuration Based on Simplified Functional Models 1997-11-26 Stochastic Hillclimbing as a Baseline Method for Evaluating Genetic Algorithms 1994-10-23 Heartbeat: A Timeout-Free Failure Detector for Quiescent Reliable Communication 1998-04-10 Hecke Algebras and Representations of Finite Reductive Groups 1996-12-06 Richard Dipper in the Subject line: On Digital's EASYnet: CRL::TECHREPORTS On the Internet: techreports@crl.dec.com 1997-09-03 David B. Lomet Distributed Network Control for Optical Networks 1996-07-08 Interpretation Of The Faint Galaxy Number Counts In The K Band 1994-08-21 Intrusion Detection Based on Structural Zeroes 1998-11-04 Expressing Temporal Behavior Declaratively 1996-10-25 Roger B. Dannenberg Assessing the Relevance of Identifier Names in a Legacy Software System 1998-10-01 On the Hierarchical Variable Block Size Motion Estimation Technique for Motion Sequence Coding 1998-09-03 Transfer Equations in Global Illumination 1995-12-09 James Arvo Lattice Paths between Diagonal Boundaries 1998-06-17 Heinrich Niederhausen Semantics Modifiers: An Approach To Non-Standard Semantics Of Programming Languages 1998-06-22 Case-Based Similarity Assessment: Estimating Adaptability from Experience 1997-09-14 An Efficient Implementation of Java's Remote Method Invocation 1999-02-15 Combining Dependence and Data-Flow Analyses to Optimize Communication 1997-01-27 Ken Kennedy Logic Meta-Programming Facilities in 'LOG 1994-09-20 I. Cervesato The Olympus Attitude and Orbital Control System+ A Case Study in Hard Real-time System Design and Implementation 1993-02-12 Reducing Artifacts in Volume Rendering by Higher Order Integration 1997-08-25 Reinforcement Learning and Animat Emotions 1996-01-23 Ian Wright T E X-based Production at the AMS 1995-03-04 Ralph Youngen Concurrent Update on Multiprogrammed Shared Memory Multiprocessors 1996-04-24 Results from the Macram&#x00E9; 1024 Node Switching Network 1997-04-14 A Logic for Reasoning about Time and Reliability 1995-01-15 Graphical User Interfaces for Heterogeneous Distributed Systems 1996-02-12 INRS-Telecommunications Institut national de la recherche scientifique 16 Place du Commerce, Verdun, Quebec, H3E 1H6 Canada 1998-06-25 UNIX Password Security 1994-03-10 Walter Belgers A Formal Analysis Technique for Authentication Protocols 1999-02-09 Sigrid Gurgens Ralf Jungclaus 1999-03-25 The Discrete Hough Transform: A novel technique for detecting straight lines in binary images 1998-01-23 Toward Work-Centered Digital Information Services 1995-12-29 Robert Wilensky Input-Output and Input-to-State Stabilization of Cascaded Nonlinear Systems 1995-12-21 Computing Science 1998-10-14 Patrick M. Sansom April 1993 Current version: February 10, 1994 1994-05-10 Hal R. Varian Concurrent Constraint Logic Programming on Massively Parallel SIMD Computers 1993-07-20 Techniques for Compiling Programs on Distributed Memory Multicomputers 1996-10-18 Peizong Lee Learning an Asymmetric and Anisotropic Similarity Metric for Case-Based Reasoning 1998-01-26 A Theory of Questions and Question Asking 1994-09-09 Ashwin Ram Fusion Of Likelihood Ratios In Distributed Bayesian Detection 1999-05-04 The Phase Diagram Of Three-Dimensional Su3+adjoint Higgs Theory 1998-11-24 Evaluating Software Deployment Languages and Schema 1998-10-26 Techniques for Frame Synchronization on Unknown Frequency Selective Channels 1997-10-10 Nonparametric Bayesian Clinical Trial Design for Continuous Patient Response 1996-08-20 Experiences with a Mobile Testbed 1998-01-08 Computing Occluding and Transparent Motions 1994-01-12 Fully Nonlinear Stochastic Partial Differential Equations: Non-Smooth Equations and Applications Equations 1998-11-06 On the Complexity of Breaking the Diffie-Hellman Protocol 1996-04-24 Integrity Mechanisms In Database Management Systems 1998-09-14 Consistency of Minimizers and the SLLN for Stochastic Programs 1995-10-27 Zvi Artstein Non-contiguous Processor Allocation Algorithms for Mesh-connected Multicomputers 1999-02-10 P.O.Box 1331 / Piscataway, NJ 08855-1331, USA. Telephone: + Intl. 908-562-3966. 1997-04-12 Finding Objects In Image Databases By Grouping 1996-12-07 Adjusting for Aggregation Effects in Ecological Regression 1996-09-11 Iterative Decoding and Despreading improves CDMA-Systems using M-ary Orthogonal Modulation and FEC 1997-12-16 L_0 - The First Five Years of an Automated Language Acquisition Project 1994-12-06 Distributed Patterns as Hierarchical Structures 1994-04-12 Semi-Membership Algorithms: Some Recent Advances 1994-07-25 Schwarz Analysis Of Iterative Substructuring Algorithms For Elliptic Problems In Three Dimensions 1994-04-21 Of Simple Boundary, We Need Only Examine the 1996-09-16 The Limits of Fixed-Order Computation 1999-01-08 Two Heads are Better than Two Tapes 1997-01-28 Parallel 3D Mesh Generator 1999-02-08 Issues in Commonsense Set Theory 1994-01-28 A Hybrid Reconfiguration Scheme for Real-Time Fault-Tolerant Systems 1996-11-19 Contextual Awareness, Messaging and Communication in Nomadic Audio Environments 1998-11-20 A Handbook for Creating User-Defined Functions in ROBSIM 1994-11-02 Matthew Gertz Analysis Of A Domain Decomposition Method For The Nearly Elastic Wave Equations Based On Mixed Finite Element Methods 1997-07-01 Xiaobing Fengy Architectural Considerations for Playback of Quality Adaptive Video over the Internet 1999-03-01 Distributed Dynamic Data-Structures for Parallel Adaptive Mesh-Refinement 1998-08-11 An Experimental Study of Local Search for Constraint Solving 1999-01-29 Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural Networks 1996-11-26 Escalations in Workflow Management Systems 1996-10-29 Oblivious Transfer with a Memory-Bounded Receiver 1998-09-10 Compositional Translation 1998-05-20 Bonnie J. Dorr Quantum State Manipulation Of Trapped Atomic Ions 1997-05-13 Make it! - Generating and Maintaining Makefiles Automatically 1997-11-11 yamauchi@aic.nrl.navy.mil Pat Langley 1999-02-10 A Computer Assisted Orthopaedic System for Distal Locking of Intramedullary Nails 1996-04-30 Robust Regression With Both Continuous and Binary Regressors 1970-01-01 Using default inheritance to describe LTAG 1994-11-07 Efficient Algorithms for Multiplication on Elliptic Curves 1997-04-29 Direct Triangulation of 3D Surfaces Using the Advancing Front Technique 1997-06-10 What Do We Know About Future Changes . . . 1999-03-25 Performance Analysis Of Three Text-Join Algorithms 1999-04-12 Effective Hilbert Irreducibility* 1997-04-23 Cycle Decompositions and Simulated Annealing 1994-05-03 Alain Trouv E Hierarchical network design for ACTS OPEN: Initial considerations 1997-12-16 Quadratic Dynamical Systems Preliminary Version 1997-03-17 A Variational Method for Numerical Differentiation 1995-07-19 Programming Abstractions for Handling Multimedia Data in 1996-05-10 Global Existence, Uniqueness, And Continuous Dependence For A REACTION-DIFFUSION EQUATION WITH MEMORY 1996-07-29 Georg Hetzer A Foundation for Multi-Dimensional Databases 1997-06-27 A Methodology and Modelling Technique for Systems of BDI Agents 1998-01-22 HCM project DeStijl 1997-02-03 TIL: A Type-Directed Optimizing Compiler for ML 1998-09-23 Compositional Models of Medical Concepts: Towards Use Independent Medical Terminology for Medical Records and Knowledge Based Systems 1995-04-10 Al Rector Load Sharing in a Distributed Environment 1994-02-16 Andy Bond Understanding Of Time Constituents In Spoken Language Dialogues 1999-02-18 Ordonnancement: Strat egies, D ebats et Intelligence Artificielle 1996-02-12 Berthe Y. Choueiry Parallelization of the Hoshen-Kopelman Algorithm Using a Finite State Machine 1995-08-30 PARAGON: A Paradigm for the Specification, Verification and Testing of Real-Time Systems 1998-01-21 Developing Voice-only Applications in the Absence of Speech Recognition Technology 1997-05-07 Parallel Model-Based Diagnosis using PVM 1999-02-08 Mesh Gradation Control 1998-04-22 Integrating Triggers and Declarative Constraints in SQL Database Systems 1996-08-15 Storage Alternatives for Mobile Computers 1998-01-20 Analysis of Residuals From Segmentation of Noisy Images 1998-09-22 Rasmus Waagepetersen Coping With Uncertainty in Map Learning 1995-02-14 Using Prediction to Accelerate Coherence Protocols 1998-04-02 Maximal a-Posteriori Multi-Sensor Multi-Target Neural Data Fusion 1999-03-07 Logics for Cryptographic Protocols - Virtues and Limitations 1997-10-14 Chapter 1 Parallel Computation of Steiner Minimal Trees 1995-02-08 Frederick C. Harris Numerical Evaluation Of Special Functions 1995-04-07 A General Formal Framework for Schema Transformation 1998-04-08 Walking--Through Animation In Three--Dimensional Scenes On Massively Parallel Systems 1994-07-28 Semantic and Schematic Similarities Between Database Objects: A Context-Based Approach 1997-02-07 A Deductive Approach towards Controller Synthesis 1999-02-05 A Probabilistic Logic For The Development Of Safety-Critical, Interactive Systems 1994-09-19 C. W. Johnson On Delaunay Oriented Matroids. 1996-01-01 F. Santos Webs of Archived Distributed Computations for Asynchronous Collaboration 1997-07-10 A Numerical Investigation of Steady and Unsteady Compressible Jets 1995-11-13 Department of Computing, Imperial College, London SW7 2BZ 1998-12-19 Distributed Execution Environments Forthecode 2.0 Parallel Programming System 1996-05-29 Semantic Client Caching in a Client-Server-based KDD Architecture 1998-05-29 Vera Kamp Brooks-Type Theorems for Choosability with Separation 1998-02-17 M. Voigt SIPping from the Data Firehose 1999-02-05 Learning of Resource Allocation Strategies for Game Playing 1993-05-27 Margin Distribution Bounds on Generalization 1999-04-06 Intelligent Network configuration: Tools and techniques for efficient performance analysis and optimal service mapping 1996-04-26 Alexander Ost An Architecture for Active Networking 1996-10-11 A Unified Approach to Statistical Tomography Using Coordinate Descent Optimization 1996-12-04 Efficient ResourceManagement 1997-09-25 The Denis 2 Micron Survey And Its Cosmological Applications 1995-06-15 Gary A. Mamon Polyvariant Expansion and Compiler Generators 1996-10-28 Structure Determination of Disordered Metallic Sub-Monolayers by Helium Scattering: A Theoretical and Experimental Study 1970-01-01 D. A. Lidar hamburger Dynamic Exponent-based Electronics 1997-12-22 Exploiting Stochastic Process Algebra Achievements for Generalized Stochastic Petri Nets 1997-05-30 Pomset Logic as an Alternative Categorial Grammar 1998-03-30 Does Lyapunov Relaxation Yield the Same Time Scale as Intramolecular Energy Exchange? 1997-12-09 Meishan Zhao Trains 93 Dialogues 1995-04-20 Using HYTECH to Synthesize Control Parameters for a Steam Boiler 1996-02-21 A Statistical Analysis Of Cancer Genome Variation 1998-04-30 On Identification Via Multi--Way Channels With Feedback 1998-07-08 Cilk: An Efficient Multithreaded Runtime System 1999-01-20 Composition based on Meta-Programming 1997-07-07 Ralf Lmmel Invariant Factors of Graphs associated with Hyperplane Arrangements 1998-12-10 Wai Chee Shiu A Bisimulation Method for Cryptographic Protocols 1998-01-05 Andrew D. Gordon Extending an Existing Specialized Semantic Lexicon 1998-04-28 Multiware Database: A Distributed Object Database System for Multimedia Support 1996-07-03 The PETRA Archive System 1996-01-17 Deutsches Elektronen-synchrotron Desy Supporting Ada 95 Passive Partitions in a Distributed Environment 1997-05-05 Frank Mueller A Specialisation Calculus to improve Expert Systems Communication 1996-02-21 Can neural networks improve signal processing? A criticial assessment from the ANNDEE project 1997-10-20 Georg Dorffner Computer-Generated Watercolor 1997-05-14 Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing 1996-11-11 Mixed Hodge Structures Of Configuration Spaces 1997-02-12 Using Magnetic Disk instead of Main Memory in the 1998-04-13 On the Role of Device Modelling for Autonomous Agent Control 1994-11-15 Innes A. Ferguson The Role of Commitment in Cooperative Negotiation 1994-11-08 An Experimental Evaluation of Integrating Machine Learning with Knowledge Acquisition 1998-07-31 Throughput-Competitive Admission Control for Continuous Media Databases 1998-03-06 Coordination of Distributed Fuzzy Behaviors in Mobile Robot Control 1997-04-28 Eddie Tunstel On Learning Soccer Strategies 1997-12-16 Spotting Dynamic Hand Gestures in Video Image Sequences Using Hidden Markov Models 1998-12-15 A Systolic Array for Recursive Least Squares Computations. 1998-09-14 Towards Intelligent Trainable Tools for the Automated Analysis, Cataloging, and Searching of Digital Image Libraries: A Machine Learning Approach 1994-05-15 Operational Semantics for Visual Simulation in PARAGON 1999-03-01 On the Nature of the Radial Velocity Variability of Aldebaran: A Search for Spectral Line Bisector Variations 1997-12-04 A Semantic Theory of Abstractions 1996-04-17 Evaluating the Performance of Cache-Affinity Scheduling in Shared-Memory Multiprocessors 1997-02-07 Some Recent Results on the Maximum Principle of Optimal Control Theory 1997-11-06 H'ector J. Sussmann How to Convert Any Digital Signature Scheme Into a Group Signature Scheme 1997-04-09 Holger Petersen Bounds on Mixed Binary/Ternary Codes 1997-11-01 Cryptographic Primitives Based on Hard Learning Problems 1994-09-08 General Purpose Work Flow Languages 1996-09-03 Globus: A Metacomputing Infrastructure Toolkit 1998-05-12 Analysis of Queueing Displacement Using Switch Port Speedup 1998-11-25 Survey on Controllability of Invariant Systems on Solvable Lie Groups 1998-04-07 Yuri L. Sachkov Gradients for Retinotectal Mapping 1998-01-17 Geoffrey J. Goodhill Reclaiming Storage in an Object Oriented Platform Supporting Extended C++ and Objective-C Applications 1993-07-07 The Equivariant Spivak Normal Bundle And Equivariant Surgery For Compact Lie Groups 1996-09-27 CGRO/OSSE observations of the Cassiopeia A SNR 1997-10-08 -- 1-- Quark Masses 1997-09-23 A Sticker Based Model for DNA Computation 1996-08-08 Analysis of a Space Telescope Search for Red Dwarfs David S. Graff 1998-05-14 Collective Communications on a Reconfigurable Optical Interconnect 1998-03-17 SN Combinators and Partial Combinatory Algebras 1998-01-12 Yohji Akama TSP heuristics with large domination number 1998-08-20 Newton's Method with Exact Line Search for Solving the Algebraic Riccati Equation 1998-07-16 Extension of Martin-Lf's Type Theory with Record Types and Subtyping 1997-11-06 Towards a Theory of Cost Management for Digital Libraries 1998-06-18 PenBlock 1998-09-09 Probability Density Estimation using Entropy Maximization 1998-01-30 LBNL-39413 Supersymmetry at LHC 1997-09-17 The Emergence of Cooperation in a Multi-Agent System 1997-03-06 ASM-Based Mechanized Verification of Compiler Back-Ends 1998-10-08 Management of Data Model Evolution in Object-Oriented Database Systems 1995-05-12 On the Level Sum of Two Convex Functions on Banach Spaces 1996-06-24 M. Volle CAM-Brain: A New Model for ATR's Cellular Automata Based Artificial Brain Project 1998-07-23 Beyond .STL 1996-08-05 Generalized Bottom-Up Query Evaluation 1994-10-05 Acoustic And Language Modeling Of Human And Nonhuman Noises For Human-To-Human Spontaneous Speech Recognition 1995-08-22 Unknown 1995-02-17 Many Sources Asymptotic and Effective Bandwidths: Investigation with MPEG Traffic 1997-09-04 Okapi at TREC-4 1997-09-22 Dynamics Of CVT Chain Drives: Mechanical Model And Verification 1998-09-21 Specifying Failures and Recoveries in PACSR 1998-08-06 Organization, Information System and Distribution Modeling: An Integrated Approach 1997-08-29 A Best First approach for solving over-constrained dynamic problems 1998-09-29 Stability and Independence of the Shifts of a Multivariate Refinable Function 1998-11-17 Tom Hogan Providing Haptic `Hints' to Automatic Motion Planners 1999-02-17 Termination of Constructor Systems 1996-11-19 Computation Of . . . In A Very High Radix Combined Division/square-Root Unit With Scaling And Selection By Rounding 1997-07-28 A Semantics for a Logic of Authentication 1998-05-15 Dynamics of a Spin-Exchange Model 1997-04-26 Packing, Tiling, Orthogonality and Completeness 1999-03-20 Mihail N. Kolountzakis Uniform Approximation for Period-Quadrupling Bifurcations 1997-11-01 A Graph Oriented Approach to Enhance Reusability in *-bases 1995-11-04 Two-Mode Quantum Phase 1996-02-05 Cumulative Scheduling with Task Intervals 1996-06-03 Function Optimization in Nonstationary Environment using Steady State Genetic Algorithms with Aging of Individuals 1998-02-27 Bayesian Model Averaging for Linear Regression Models 1998-10-20 Exact Sampling From Anti-Monotone Systems 1997-02-21 Towards More Flexible and Common-Sensical Reasoning about Beliefs 1995-01-29 Automatic Real-Time Analysis of Ada Tasking Programs for Embedded Systems 1995-07-12 Verification of safety properties using integer programming: Beyond the state equation 1999-01-19 Learning Problem-Oriented Decision Structures from Decision Rules: The AQDT-2 System 1999-01-26 A Method of Classification Among Spoken Languages and Dialects 1995-07-14 Automatic I/O Hint Generation through Speculative Execution 1999-02-04 Higher Bandwidth X Extended Abstract 1994-04-30 On Point Location and Motion Planning among Simplices 1999-02-16 Decomposition Methods for the Solution of Stochastic Process Algebra Models: a Proposal 1997-06-13 A Generic Simulation System for Intelligent Agent Designs 1996-02-16 Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols 1996-10-15 Modeling Temporal Primitives: Back to Basics 1999-01-14 Hot Spot Analysis in Large Scale Shared Memory Multiprocessors 1993-07-30 Mechanising Partiality without Re-Implementation 1997-08-06 Manfred Kerber Static Locality Analysis for Cache Management 1997-06-11 Mateo Valero Analysis And Finite Element Simulation Of Mhd Flows, With An Application To Seawater Drag Reduction 1998-11-19 Giambelli-Type Formula For Subbundles Of The Tangent Bundle 1997-04-23 On the Renormalization of Higher Derivative Two Dimensional Gravity 1998-05-23 Why and How Not to Use Plain Html. 1996-04-03 D. Muller A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems 1994-06-27 Theodore Johnson 1996-04-20 XDeltavg 1995-08-21 Karl H. Hofmann Ffl Ffl Ffl 1998-06-05 Superblock Formation Using Static Program Analysis 1993-10-11 Dynamic Hypertext Catalogues: Helping Users to Help Themselves 1998-04-07 Joseph Bates A. Bryan Loyall W. Scott Reilly May 1992 1995-06-16 Compton Polarimetry At A 1 Tev Linear Collider 1998-04-02 M. Woods Load Balancing for Problems with Good Bisectors, and Applications in Finite Element Simulations 1998-04-17 Classifying Facial Action 1996-08-08 Towards a Logical Formalization of Responsibility 1998-07-20 Prior Information and Generalized Questions 1998-10-27 Jorg C. Lemm Computational Complexity and Feasibility of Fuzzy Data Processing: Why Fuzzy Numbers, Which Fuzzy Numbers, Which Operations with Fuzzy Numbers 1998-03-09 Scheduling Dynamic Graphs 1998-07-10 Lagrangian Flows: The Dynamics Of Globally Minimizing Orbits 1997-09-03 Ricardo Ma Shape Tiling 1997-12-26 Steering without Representation using Active Fixation 1998-08-20 How to Add Laziness to a Strict Language Without Even Being Odd 1998-09-04 Strange Attractors in a Relaxation Oscillator Model for the Dripping Water Faucet 1996-05-17 Naming Guidelines for Directory Pilots 1993-02-08 P. Barker Impact of Sharing-Based Thread Placement on Multithreaded Architectures 1996-03-27 Multiparameter Pseudodifferential Operators And Related Spectral Asymptotics 1997-05-14 Brenner Alexander A Source Model for VBR Video Traffic Based on M/G/infinity Input Processes 1998-04-28 Bibliography 1996-12-06 On p-HARMONIC MORPHISMS 1998-04-24 E. Loubeau Three-Coloring Klein Bottle Graphs Of Girth Five 1998-12-14 Adaptive Placement of Method Executions within a Customizable Distributed Object-Based Runtime System 1995-03-10 A Lower Bound for Randomized Read-k-Times Branching Programs 1997-06-26 Martin Sauerhoff The TRADEr: Integrating Trading Into DCE 1995-03-31 Noise Enhancement in the Family of Decorrelating Detectors for Multiuser CDMA 1999-01-05 SD Software Technology Centre; 1995-06-17 Macroscopic Models for Almost Elastic Nonlinear Electron-Phonon Interaction in Semiconductors 1999-01-19 Christian Schmeiser Facilitating Worst-Case Execution Times Analysis for Optimized Code 1998-03-19 Evolving Stochastic Context-Free Grammars from Examples Using a Minimum Description Length Principle 1997-05-10 Surface Interpolation From Sparse Cross-Sections Using Region Correspondence 1999-03-09 How to Construct the Characteristic Polynomial of a Tree's Adjacency Matrix 1998-10-03 M arten Gulliksson and Per- Ake Wedin 1998-09-03 Limited-Angle Computed Tomography for Sandwich Structures using Data Fusion 1997-07-20 Jeffrey E. Boyd Topic Tracking with the PRISE Information Retrieval System 1999-02-22 Douglas W. Oard One-Dimensional Dynamic And Factors Of Finite Automata 1997-04-26 Petr Kurka Estimation Of Trajectories For Accelerated Motion From Time-Varying Imagery 1996-01-25 Jovian: A Framework for Optimizing Parallel I/O 1994-11-08 The Real-Time Graphical Interval Logic Toolset 1996-07-24 Correlation Techniques in Adaptive Template Matching With Uncalibrated Cameras 1994-10-25 Nilpotency Degree Of Cohomology Rings In Characteristic Two 1996-08-12 Parallelizing WHILE Loops for Multiprocessor Systems 1994-10-11 Models for Performance Prediction of Cache Coherence Protocols 1995-07-24 ASCA OBSERVATION OF A LONG-DURATION X-RAY FLARE FROM THE W UMa-TYPE BINARY VW CEPHEI 1997-09-26 A New Approach for Automatic Theorem Proving in Real Geometry 1996-09-30 Verifying Semantic Relations in SPIN 1995-11-20 Hakan Erdogmus Convergence Of Proximal-Like Algorithms 1970-01-01 Assessing Temporally Variable User Properties With Dynamic Bayesian Networks 1997-06-09 Implementing Large-Scale Parallel Geophysical Algorithms Using The Java Programming Language - A Feasibility Study 1997-12-19 The Utility of Feature Weighting in Nearest-Neighbor Algorithms 1997-08-25 Ron Kohavi A Parallel I/O System for High-Performance Distributed Computing 1994-07-19 Baryon Number Conservation and the Formation of Disoriented Chiral Condensates 1997-04-18 G. Holzwarth Quasi-convex Functions and Quasi-monotone Operators 1995-10-27 Vladimir L. Levin Adding Animated Presentation Agents to the Interface 1997-01-27 A Qualitative Representation of Evolving Spatial Entities in Two-dimensional Topological Spaces 1997-10-08 iKP -- AFamily of Secure Electronic Payment Protocols 1996-04-04 Computational Tractability: The View From Mars 1998-09-24 Automatic Video Pause Detection Filter 1998-12-19 Model-Based Estimation of 3D Human Motion with Occlusion Based on Active Multi-Viewpoint Selection 1997-04-24 An Empirical Study of the Reliability of UNIX Utilities 1992-05-13 On Equivalents of Well-foundedness - An experiment in Mizar 1998-10-29 A Protocol For Efficient Transfer Of Data Over Fiber/Cable Systems 1995-08-16 Register reference Cache Cache reference 1996-07-30 A Note On Multigrid Convergence 1996-12-17 Nicolas Neuss Comment on "Finite-size scaling of the 5D Ising model" 1997-01-14 Erik Luijten A Search for Galactic Black Hole Candidates at MeV Energies - Preliminary Results 1996-12-02 .25 0.5 0.75 1 1994-09-28 On the Trimmed Mean and Minimax Variance L-estimation in Kolmogorov Neighbourhoods 1998-10-19 Comparing Usage-Based Pricing Schemes For Broadband Networks 1998-02-19 On Evidence Absorption for Belief Networks 1998-06-03 Linda C. Van Der Gaag The Truth Is Out There: the Evolution of Reliability in Aggressive Communication Systems 1997-03-06 Using Configuration States for the Representation and Recognition of Gesture 1995-06-16 Bayesian Sample Size Computations in Complex Models with Application to Repeated Measures Random Effects Model Design 1997-09-03 Using Time Efficiently: Genetic-Evolutionary Algorithms and the Continuation Problem 1999-01-31 David E. Goldberg Monotone Gray Codes and the Middle Levels Problem 1999-04-16 Navigat-Soar - a path-finding agent using Soar 1994-10-16 Walter Hangartner QOSExtensions to GSMP 1997-07-18 Concurrent Constraint Programming and Non-Commutative Logic 1998-11-11 Paul Ruet A Study on Components and Assembly Primitives in B 1996-11-13 On Perturbed Iterative Linear Differential Equations Of Order n 1995-05-25 The Complexity of Recognition of Linguistically Adequate Dependency Grammars 1997-04-16 Peter Neuhaus Sampling Large Databases for Association Rules 1996-07-15 Hannu Toivonen Using Metadata to Query Passive Data Sources 1998-02-27 The Internet Worm Incident Eugene H. Spafford 1994-04-19 Eugene H. Spafford Functional Logic Programming with Real Numbers 1996-09-24 Parallel Sparse Matrix Computations Using the PINEAPL Library: A Performance Study 1998-02-02 Arnold Krommer Unknown 1994-06-06 New Island of 1998-02-17 Hierarchical Approaches to Automatic Differentiation 1996-08-20 Predicate Migration: Optimizing Queries with Expensive Predicates 1995-06-04 Explicit Polymorphism and CPS Conversion 1998-09-23 The Benefits of Clustering in Shared Address Space Multiprocessors: An Applications-Driven Investigation 1998-03-21 Countering Abuse of Name--Based Authentication 1997-02-08 Detecting Global Predicates in Distributed Systems with Clocks 1999-02-12 Scott D. Stoller Wavelet Solutions for the Dirichlet Problem 1998-12-25 Some Conjectures on the Gaps Between Consecutive Primes 1998-08-07 Marek Wolf NIST Scoring Package Certification Procedures in Conjunction with NIST Special Databases 2 and 6 1993-04-23 Michael D. Garris How I Spent Summer of 1993 at MCRC 1996-05-18 Boon S. Ang On A Class Of Kinetic Equations For Reacting Gas Mixtures 1997-05-14 Refinements of Theory Model Elimination and a Variant without Contrapositives 1995-11-22 Peter Baumgartner The Value of Intermediaries in Network Commerce 1995-02-28 Extracting Hidden Context 1999-01-16 Formally Proving a YAFL Program 1970-01-01 Security for Network Attached Storage Devices 1998-10-08 FIST: Fast Industrial-Strength Triangulation of Polygons 1998-11-30 Martin Held Jonathan Trevor, Thomas Koch and Gerd Woetzel 1997-04-16 The Recursive Neural Network 1970-01-01 Cosmological Simulation on the CRAY T3D. 1996-10-02 Genetic Programming and Emergent Intelligence 1999-02-25 Applying Tabu Search to Determine New Ramsey Graphs 1997-12-26 Konrad Piwakowski Structure Adaptation in Artificial Neural Networks through Adaptive Clustering and through Growth in State Space 1999-02-02 An Empirical Investigation Into the Exceptionally Hard Problems 1995-09-29 Multilevel k-way Hypergraph Partitioning 1998-11-23 Smallest Enclosing Cylinders 1999-03-26 Random Sampling in Cut, Flow, and Network Design Problems 1970-01-01 David R. Karger The Complexity of Set Constraints 1996-10-11 New Constructions for Perfect Hash Families and Related Structures using Combinatorial Designs 1999-01-27 Reasoning with misperception in the Features and Fluents Framework 1996-04-18 Silvia Coradeschi Emulating Write-Allocate on a No-Write-Allocate Cache 1994-06-20 From Instances to Rules: A Comparison of Biases 1996-04-18 Pedro Domingos G. Tsipolitis 1998-06-16 Parallelization in the Presence of Generalized Induction and Reduction Variables 1995-04-24 A Theory of Time and Temporal Incidence based on Instants and Periods 1996-03-17 Eddie Schwalb Progress Towards A 3d Aerodynamic Shape Optimization Tool For The Compressible, 1998-06-15 Jonathan Elliott Random perturbations of chaotic dynamical systems. Stability of the spectrum 1997-12-18 Exploring Collaborative Learning in Rensselaer's Classroom-in-the-Round 1998-04-02 Nonlinear Principal Components Analysis of Neuronal Spike Train Data 1997-07-24 David Fotheringhame External Polymorphism - An Object Structural Pattern for Transparently Extending Concrete Data Types 1996-01-28 Compilation of Associative-Commutative Normalisation with Strategies in 1998-04-07 Pierre-etienne Moreau Discourse Strategies for Conversation in Time 1995-01-03 Toward a Design Handbook for Integrating Software Components 1999-02-08 Chrysanthos Dellarocas Real-Time and Active Databases: A Survey 1998-10-16 Joakim Eriksson Discovering and Visualizing Narrative Themes 1997-07-22 Matthew Brand A Rough Comparison of the IETF and ATM Service Models 1995-07-24 Determination Of The Electroweak Chiral-Lagrangian Parameters At The Lhc 1998-05-15 The Stationary Wavelet Transform and some Statistical Applications 1996-06-28 The ExBed project - some experiences 1996-08-08 Xgobi: Interactive Dynamic Graphics In The X Window System With A Link To S 1998-11-16 Robert Tibshirani 1996-11-06 Robert Tibshirani The Structure of Supervoids - I: Void Hierarchy in the Northern Local Supervoid 1996-02-09 View Maintenance in Mobile Computing 1995-12-27 On The Complexity Of Operations On Graph Driven BDDs And Tree Driven BDDs 1997-04-04 Detlef Sieling Rigidity Checking of 3D Point Correspondences Under Perspective Projection 1997-07-17 Protein Secondary Structure Modelling with Probabilistic Networks 1995-12-05 Agents with Faces: The Effects of Personification of Agents 1996-06-21 ATLAS I: A Single-chip ATM switch for NOWs 1996-12-15 An Overview Of Reflection And Its Use In Cooperation 1995-10-11 Nuclear Shadowing and the Proton Structure Function at Small x 1998-05-15 A Proposal for a Heterogeneous Cluster ScaLAPACK Dense Linear Solvers 1999-03-10 Proof Theory For Full Intuitionistic Linear Logic, Bilinear Logic, And 1997-10-03 A Functional Extension To Lustre 1996-01-28 Marc Pouzet Collection Types for Database Programming in the BSP Model 1996-11-01 Colored Partitions and a Generalization of the Braid Arrangement 1997-12-26 Volkmar Welker EMCA --- An Optimal Synchronous Bandwidth Allocation Scheme for Guaranteeing Synchronous Message Deadlines with the Timed Token Protocol in an FDDI Network 1994-12-17 Gadgets: Lazy Functional Components for Graphical User Interfaces 1996-06-05 Lessons on Representation Design from Discovery Systems and Genetic Algorithms 1992-05-11 Mark C. Torrance Automatic Verification of a Class of Systolic Circuits 1997-11-26 Parosh Abdulla Prairie: A Rule Specification Framework for Query Optimizers 1995-03-29 Software Exploitation of a Fault-Tolerant Computer with a Large Memory 1998-06-26 On Curbing Virus Propagation 1996-05-02 A. Orlitsky Logical Predicates for Intuitionistic Linear Type Theories 1999-03-18 Masahito Hasegawa Natural Deduction for Intuitionistic Non-Commutative Linear Logic 1999-02-01 Jeff Polakow Département de Mathématiques et Informatique 1996-11-04 Kathleen Milsted Learning to count without a counter: A case study of dynamics and activation landscapes in recurrent networks 1995-05-01 What can be done with a badly calibrated Camera in Ego-Motion Estimation? 1996-12-06 Peter Sturm Transformations and Resynthesis for Testability of RT-Level Control-Data Path Specifications 1997-03-25 Stabilization of Nonholonomic Integrators via Logic-Based Switching 1999-04-21 A Novel Vector Quantizer Based Architecture for Block-Matching Motion Estimation 1997-11-25 Symmetry-Adapted Wavelet Analysis 1996-06-06 Jean-pierre Antoine Heuristic Methods For Large Centroid Clustering Problems 1998-11-23 Ric D. Taillard Performance Issues Of An Automated Visual Inspection 1995-02-20 Topologies and Metrics on Information Spaces 1998-04-07 Michiel Hazewinkel BIBT E Xing 1994-06-23 Oren Patashnik Efficient Exploration In Reinforcement Learning 1998-09-29 Sebastian B. Thrun Lexically-Generated Subject Hierarchies for Browsing Large Collections 1997-12-23 Quaquaversal Tilings And Rotations 1997-03-26 Structured Sampling And Reconstruction Of Illumination For Image Synthesis 1994-01-31 A Manual For Pyrotechnic Design, Development And Qualification 1995-07-13 Declarative Numerical Analysis: an Interval Constraint-based Approach 1999-02-16 Timothy J. Hickey Learning Belief Networks in the Presence of Missing Values and Hidden Variables 1999-02-11 Nir Friedman Preliminary Results from the Application of Automatic Adjoint Code Generation to CFL3D 1998-02-27 Power Balance and Congressional Apportionment Algorithms 1996-10-02 From Operational to Denotational Semantics 1992-09-16 Scott F. Smith A Note on the Duality of Linear Programming Bounds for Orthogonal Arrays and Codes 1997-06-26 Jeremy M. G. Taylor And Ngayee Law 1997-12-18 A Linear Programming Approach to Solving Stochastic Dynamic Programs 1996-08-28 Controllability Tests for Mechanical Systems with Symmetries and Constraints 1998-11-23 Generalization Performance Of Backpropagation Learning On A Syllabification Task 1970-01-01 Querying and Visualization of Geometric Data 1996-12-02