Scalar Field Modeling Visualization on the Intel Delta 1994-08-10 Residual SLDNF in CLP languages 1993-06-22 K J Dryllerakis Generating Executable Code From The Dynamic Model Of Omt With Concurrency 1998-09-25 Jauhar Ali Efficiency of Server Task Queueing for Dynamic Load Balancing 1994-09-23 Hypothetical Temporal Reasoning with History Encoding Extended Version 1998-01-20 Simple Subpopulation Schemes + 1998-06-03 William M. Spears Efficient Goal-Directed Exploration 1996-06-12 Moving-Target TSP and Related Problems 1998-05-26 Do Attractive Bosons Condense? 1970-01-01 Aids for Identifying Conflicts Among Quality Requirements 1995-12-15 Reactions Within The Quantum Molecular Dynamics Approach 1998-05-16 Sparse Approximate Inverses for Preconditioning of Linear Equations 1998-06-30 Parallel Shared-Memory State-Space Exploration in Stochastic Modeling 1998-01-14 Fault-Containing Self-Stabilizing Algorithms 1996-02-19 Computer mediated teaching: A case-study in discrete mathematics 1997-02-26 Mark A. Toleman Towards the Construction of Workflow Suitable Conceptual Modelling Techniques 1998-06-24 A. P. Barros Quantum Computation and Shor's Factoring Algorithm 1999-01-12 Ronald De Wolf Assembling Documents from Digital Libraries 1997-07-24 Bipartite Designs 1997-11-11 Grigor Gasparyan Automatic Synthesis of Sequential Synchronizations 1993-03-05 E787 Data Acquisition Software Architecture 1994-03-16 Constructing Permutation Representations for Large Matrix Groups 1994-06-27 Encyclopaedia of Complexity Results for Finite-Horizon Markov Decision Process Problems 1997-09-09 Multilevel preconditioning on the refined interface and optimal boundary solvers for the Laplace equation 1997-11-19 Design and Evaluation of a Window-Consistent Replication Service 1998-03-19 Inductive Logic Program Synthesis with DIALOGS 1998-01-19 Pierre Flener Towards a Reference Framework for Process Concepts 1995-02-23 Improving Instruction Throughput and Memory Latency Using Two-Dimensional Superthreading 1998-02-26 An Earlier Version of 1994-08-27 Exploiting Locality in Temporal Reasoning 1996-10-04 Supporting Co-Resident Operating Systems 1998-02-25 Resume 1999-02-05 An Enterprise Reference Scheme for Integrating Model Based Knowledge Engineering and Enterprise Modelling 1997-04-04 An Inductive Logic Programming Framework to Learn a Concept from Ambiguous Examples 1998-08-03 Solving Vehicle Routing Problems using Constraint Programming and Metaheuristics 1997-09-04 Real and Virtual Spaces: Mapping from Spatial Cognition to Hypertext 1997-01-24 Simon Shum Automating the Determination of 3D Protein Structure 1994-03-29 Managing Shared Ephemeral Teleconferencing State: Policy and Mechanism 1995-07-08 On Generalized Newton Algorithms: Quadratic Convergence, Path-Following And Error Analysis 1995-11-01 Gregorio Malajovich Discriminative Training for Continuous Speech Recognition 1996-04-18 Theoretical Views of Boosting 1999-02-10 Robert E. Schapire On the Complexity of Entailment in Propositional Multivalued Logics 1995-08-31 Multiple Parton Emission Effects In Next-To-Leading-Order Direct Photon Production 1998-05-25 Anderson Localization for Random Schrodinger Operators with Long Range Interactions 1997-05-13 The Michigan Internet AuctionBot: A Configurable Auction Server for Human and Software Agents 1998-02-18 Finding Optimal Solutions to the Twenty-Four Puzzle 1999-03-30 UTILISATION OF HIPPARCOS DATA FOR DISTANCE DETERMINATIONS: ERROR, BIAS AND ESTIMATION X. Luri 1997-06-24 X. Luri Duplex: A Distributed Collaborative Editing Environment in Large Scale 1995-03-10 Parameter-less Genetic Algorithm: A Worst-case Time and Space Complexity Analysis 1999-04-22 PolyP --- a polytypic programming language extension 1998-03-24 Decidable Bounded Quantification 1996-08-19 Benjamin C. Pierce Selection of Relevant Features in Machine Learning 1997-04-13 Pat Langley Geosat Observations of Sea Level Response to Barometric Pressure Forcing 1995-12-05 Twisted N = 2 Supersymmetry With Central Charge And Equivariant Cohomology 1998-05-25 Message Logging: Pessimistic, Optimistic, and Causal 1997-02-20 The Utility Model For Adaptive Multimedia Systems 1998-01-21 LEO - A Higher-Order Theorem Prover 1998-06-09 B. Pasquini 1998-08-10 The Double Algebra: An Effective Tool for Computing Invariants in Computer Vision 1997-01-29 Stefan Carlsson Evolving Fuzzy Prototypes for Efficient Data Clustering 1997-09-11 A Conceptual Framework for Text Filtering 1996-05-23 The Visual Motion of Curves and Surfaces 1998-07-27 Roberto Cipolla The Quasi-Cauchy Relation and Diagonal Updating 1997-12-15 M. Zhu Atypical representations of the Lie superalgebra sl1,n for n greater than 1 1995-07-24 Hartmut Schlosser Integrating WWW and Middleware 1995-03-27 Table of 1996-09-13 A New Algorithm For The Reduction Of Incompletely Specified Finite State Machines 1998-08-06 The MOVE project 1997-03-19 Henk Corporaal Augment or Push? A computational study of Bipartite Matching and Unit Capacity Flow Algorithms 1998-03-31 Formalization of Finite State Machines with Data Path for the Verification of High-Level Synthesis 1998-09-25 The Performance of Weak-consistency Replication Protocols 1992-07-09 From Entity-Relationship Models to Role-Attribute Models 1994-10-03 Memorization Learning for Object Recognition 1996-05-31 Randal C. Nelson Extensible Security Architectures for Java 1997-08-14 Stability of Learning in Classes of 1999-02-03 The Simply-Typed Theory of ...-conversion has no maximum extension 1970-01-01 Designing Distributed Algorithms for Mobile Computing Networks 1994-08-23 On the Implementation of an Efficient Performance Driven Generator for Conditional-Sum-Adders 1995-11-16 Distributed Control Algorithms Selected Topics 1995-03-26 Friedemann Mattern Competition-Based Learning 1998-12-28 WWW Proxy Traffic Characterization with Application to Caching 1997-06-02 Sharing and Protection in a Single Address Space Operating System 1994-02-10 Upper Bounds for the Domination Number of a Graph 1996-03-28 Using Reading Models For Cursive Script Recognition 1997-11-26 Knowledge Retrieval and the Word Wide Web 1999-03-10 Peter Eklund Incremental Class Learning approach and its application to Handwritten Digit Recognition 1998-06-10 Loop Distribution with Arbitrary Control Flow 1994-08-11 Quorum Systems Constructed from Combinatorial Designs 1998-05-13 Intuitionisitic Tableau Extracted 1998-12-05 James Caldwell A Compilation Framework for Languages with Dynamic Thread Creation 1996-11-20 An Efficient, Low-Complexity Audio Coder Delivering Multiple Levels of Quality for Interactive Applications 1998-10-29 Providing Configuration Management Support in Software Engineering Environments 1995-09-21 Jun Han Linear and Decision Feedback Equalization Structures for Asynchronous DS-CDMA under ICI 1998-11-06 Phil Schniter A Conceptual Framework for Internet based Intelligent Tutoring Systems 1997-07-18 Ashok Patel A Control Theoretical Model for Quality of Service Adaptations 1998-04-02 Toward Global Solution of MAP Image Estimation: Using Common Structure of Local Solutions 1999-03-23 Stan Z. Li Natural Deduction for IntuitionisticNon-Commutative Linear Logic 1999-03-23 Jeff Polakow Finer Control of Weakening and Contraction: Towards a Separated-Linear Lambda Calculus Summary 1996-09-24 John Maraist Algebraic Graph Theory Without Orientation 1995-07-31 What Should Graduate Students Know Before Joining a Large Computer Architecture Project? 1997-04-15 Shubhendu S. Mukherjee Probabilistic Communication Complexity of Boolean Relations 1997-03-17 Design and Implementation of a Multi-Threaded Xlib 1993-01-21 Reducing Conflicts In Direct-Mapped Caches With A Temporality-Based Design 1996-09-06 Satisficing Action Selection 1998-08-03 Paolo Pirjanian How to Enhance Market Liquidity 1995-04-17 Some Basic Concepts Of 1998-05-04 On the Robustness of Haptic Object Recognition Based on Polyhedral Shape Representations 1995-04-28 Performance Analysis of the Dual Cell Spacer in ATM Systems 1995-01-13 M. Ritter TOP500 Supercomputer Sites 1996-05-20 Skill reconstruction as induction of LQ controllers with subgoals 1997-11-25 Ivan Bratko Mesh Optimization 1997-04-03 The Evolutionary Self-Structuring Classifier 1970-01-01 Jamie Sherrah April Experiments in Multilingual Information Retrieval using the SPIDER system 1996-08-15 Jean Paul Ballerini Lessons Learnt From Current Statistics Packages and a Proposal for a New System for the New Millennium 1998-06-12 An Exploration of Modular Programs 1998-02-20 Simon Peyton Jones Learning To Do Without Cognition 1998-10-05 Lazy Functional State Threads 1994-03-14 Quantitative Theory Of Richtmyer-Meshkov Instability In Three Dimensions 1996-12-23 On Relative Invariants 1996-05-24 An Architecture and Communication Protocol for Picocellular Networks 1995-09-20 On the Stability of the Quenched State in Mean Field Spin Glass Models 1997-12-11 M. Aizenman The Paros Operating System Microkernel 1994-11-02 MPICH on the T3D: A Case Study of High Performance Message Passing 1997-12-26 Lyapunov Stability of Two-Dimensional Digital Filters with Overflow Nonlinearities 1998-05-04 Summary of Work Completed October '95 - March '96 1998-04-25 On The Far Field In Obstacle Scattering 1998-07-03 Techniques For Robust Recognition In Restricted Domains 1996-11-14 On Portable Macro-Cell Fpu Generators For Division And Square Root Operators Complying To The Full Ieee-754 Standard 1998-11-25 Applying Static Analysis to Software Architectures 1997-12-23 Igor Jurisica 1997-06-28 Configurational Averaging for Solid Solutions 1998-05-04 Mark Taylor Semi-Automatic Determination of Allograph Duration and Position in on-Line Handwritten Words Based on the Expected Number of Strokes 1996-09-09 Efficient Linear Re-rendering for Interactive Lighting Design 1999-01-17 Geometric Approach for Egomotion Estimation using Normal Flow 1996-06-19 Coordination Languages for Parallel Programming 1998-07-01 An Hybrid Representation for Set Constraint Satisfaction Problems 1998-10-18 Vincent Thornary XCS Classifier System Reliably Evolves Accurate, Complete, and Minimal Representations for Boolean Functions 1998-07-09 Tim Kovacs Visual Search In A Smash System 1996-09-02 School Of Computer Studies Research Report Series 1995-12-08 Hybrid Systems: Reasoning across Scales in Space and Time 1995-09-20 Natural Deduction for Intuitionistic Non-Commutative Linear Logic 1999-03-22 Jeff Polakow A Not Very Much Annotated Bibliography on Integrating Object-Oriented and Logic Programming 1993-03-27 Compiled Vladimir Alexiev Ideas and Concepts on an Approach to Ensemble Forecasting 1998-11-10 Chabot: Retrieval from a Relational Database of Images 1995-06-04 The Complexity of Approximate Optima for Greatest Common Divisor Computations 1998-02-23 Feature Subset Selection Using A Genetic Algorithm 1998-01-27 Making Design Decisions to Support Diversity in Interactive Theorem Proving 1998-09-18 Poincare' Renormalized Forms 1997-04-26 On Some Methods for Unconditionally Secure Key Distribution and Broadcast Encryption 1998-07-15 D. R. Stinson MANTRA Project - Part A: Design, Implementation and Test of a Multi-Model Systolic Neural Network Accelerator 1997-05-15 An Oscillating Cortical Model of Auditory Attention and Electrophysiology 1998-10-14 Bill Baird An Economic Approach to Adaptive Resource Management 1999-03-02 The POSTGRES Data Model + 1994-02-18 Unknown 1997-07-16 A Categorical Framework for Conceptual Data Modeling: Definition, Application, and Implementation 1995-10-31 Modeling Parallel Bandwidth: Local vs. Global Restrictions 1997-09-18 Pthreads Library Interface 1995-12-16 Frank Mueller Data-Driven Shifts of Attention in Wavelet Scale Space 1995-06-26 Ivan Marsic ADL - An Algebraic Database Language 1996-02-07 Finite Thrust Control for Satellite Formation Flying with State Constraints. 1998-09-14 Fragmentation Production of Heavy Quark States 1998-05-15 Michael A. Doncheski A New Method for Automated Finite Model Building Exploiting Failures and Symmetries 1998-09-02 Nicolas Peltier Object-Oriented Modeling of Rule-Based Programming 1998-07-25 Vision-Based Behavior Acquisition for a Shooting Robot by Using a Reinforcement Learning 1994-08-11 On the Problem of Decomposing Grasp and Manipulation Forces in Multiple Whole-Limb Manipulation 1970-01-01 Antonio Bicchi An Empirical Study of the Workload Distribution Under Static Scheduling 1996-05-13 Plan 9 from Bell Labs 1999-01-22 An Analysis of the Metric Structure of the Weight Space of Feedforward Networks and its Application to Time Series Modeling and Prediction 1998-08-27 Neural Network Analysis to Predict Treatment Outcome in Patients With Ovarian Cancer 1996-04-18 Convergence of Alternating Domain Decomposition Schemes for Kinetic and Aerodynamic Equations 1997-12-02 Axel Klar What Happened to our Document in the Shared Workspace? The Need for Groupware Conventions 1997-12-15 On a Problem of Potential Wells 1995-10-27 Faster Temporal Credit Assignment in Learning Classifier Systems 1996-07-04 A Unified Approach to Strictness Analysis and Optimising Transformations 1997-09-07 P. N. Benton Domain-Specific Languages for a Changing World 1998-09-25 Quadratic Optimal Control Through Coprime And Spectral Factorizations 1997-09-24 Olof J. Staffans Learning Coordinated Behaviors for Control of a Simulated Race Car 1996-07-30 Sparse Gaussian Elimination on High Performance Computers 1997-07-07 Analysis of Affective Musical Expression With the Conductor's Jacket 1998-10-14 Forbidding Preconditions and Ordered Abstraction Hierarchies 1995-02-18 Candidate Metrics for Object-Oriented Software within a Taxonomy Framework 1996-12-21 A Contribution to the Question of Authenticity of Rhesus Using Part-of-Speech Tagging 1999-01-15 Bernd Ludwig Persistence in the Grasshopper Kernel 1996-02-19 Robust Tracker of Small, Fast-moving Low-contrast Targets 1998-09-18 Algorithm-Based Diskless Checkpointing for Fault Tolerant Matrix Operations 1995-08-28 BlockSolve95 Users Manual: Scalable Library Software for the Parallel Solution of Sparse Linear Systems 1997-07-08 Inductive, Coinductive, and Pointed Types 1996-01-18 Brian T. Howard Poincar ' E--Invariant Markov Processes And Gaussian Random Fields On Relativistic Phase Space 1996-12-20 Managing Large Scale Computational Markets 1998-07-15 Ergodic Convergence In Subgradient Optimization 1997-09-22 Experiences with the Application of the ADIC Automatic Differentiation tool to the CSCMDO 3-D Volume Grid Generation Code 1995-11-10 Korean Grammar Using TAGs 1995-01-09 Query Processing for Knowledge Bases Using Join Indices 1995-08-12 Error Reduction through Learning Multiple Descriptions 1998-12-16 Ariadne and HOPLa: flexible coordination of collaborative processes 1998-11-30 A State Space Approach To Joint Aoa And Period Estimation For A Class Of Periodic Discrete Event Processes 1996-12-06 A Formal Methodology for Verifying Situated Agents 1998-07-28 Phan Minh Dung anti-stable Points And The Dynamics Of Extended Systems 1995-06-07 P. -m. Binder The AVIS project: a mixed communication/interactive/broadcast teleconferencing system 1998-05-26 Comparison of Fixed-size and Variable-sized Windows for the Estimation of Tree Crown Position 1998-09-08 CART and Best-Ortho-Basis: A Connection 1995-10-03 David L. Donoho Applying Optimization Principle Patterns to Design Real-time ORBs 1999-05-02 Learning of Compositional Hierarchies for the Modeling of Context Effects 1998-04-30 Karl Pfleger Inferring Linguistic Structure In Spoken Language 1999-03-02 M. Woszczyna A. Waibel An Algorithm For Locating Non-Overlapping Regions Of Maximum Alignment Score 1995-07-06 A Projection Method for Closed-loop Identification 1997-11-20 Local Dynamics And Bifurcation Consistencies Of Continuous-Time Dynamical Systems And Their Numerical Discretizations 1996-01-13 Instrumentation Of Fortran Programs For Automatic Roundoff Error Analysis And Performance Evaluation 1993-02-18 Brian Eugene Bliss Scalability Analysis of Declustering Methods for Cartesian Product Files 1998-09-05 Automatic Generation of Warehouse Mediators Using an Ontology Engine 1998-05-13 Ceramic Tile Inspection For Colour And Structural Defects 1997-09-02 A Neural Trajectory Storage 1993-09-28 From Logic to Dialectics in Legal Argument 1997-07-31 Henry Prakken A Mobile Networking System based on Internet ProtocolIP 1995-11-05 Ffl Ffl Ffl 1998-06-10 On Functional Estimates for Discrete Distributions 1999-02-10 Informatics Laboratory 2LP: Linear Programming and Logic Programming 1997-11-11 An Architecture for Post-Development Configuration Management in a Wide-Area Network 1997-06-26 A Non-Photorealistic Lighting Model For Automatic Technical Illustration 1998-04-26 Deciding Round Length and Striping Unit Size for Multimedia Servers 1998-08-05 An Evaluation of Component Adaptation Techniques 1970-01-01 Programming Communicating Distributed Reactive Automata: the Weak Synchronous Paradigm 1970-01-01 KidCode: Naming Conventions for Protecting Children on the World Wide Web and Elsewhere on the Internet Without Censorship 1995-06-06 Minimum-Cost Spanning Tree as a Path-Finding Problem 1996-02-07 Expectation Values of Observables in Time-Dependent Quantum Mechanics 1997-07-16 J. M. Barbaroux Analytical Method For 2-Channel Optimum Fir Orthonormal Filter Banks 1998-01-22 The Inverse Problem of Depth Dose Curve Estimation 1998-04-02 A New Characterization of Lambda Definability 1993-09-26 Coarse-to-Fine Least Squares Motion Estimator 1995-01-31 Nuno Vasconcelos Neural Network Technology to Support View Integration 1999-01-11 Chabot: Retrieval from a Relational Database of Images 1995-06-03 Model Elimination Without Contrapositives 1997-05-24 Computer generation of puns in Japanese 1998-04-10 Cryptanalysis of a Fast Public Key Cryptosystem Presented at SAC '97 1998-09-25 Automatic Parallelization by Pattern-Matching 1996-04-17 Lexicographical Generation of a Generalized Dyck Language 1998-08-20 Nondeterministic Space is Closed Under Complementation 1996-08-07 Neil Immerman Topological Median Filters 1998-03-31 A Code Construction Approaching Capacity 1 for Random Access With Multiplicity Feedback 1999-04-21 Peter Vanroose New Bounds for Codes Identifying Vertices in Graphs 1999-02-12 Microprocessor-based Decca Navigator Hyperbolic Radionavigation Receivers 1993-03-23 A. J. Fisher A Tracing Protocol for Optimizing Data Parallel Irregular Computations 1998-06-29 Thomas Brandes 3-D Hand Pose Estimation And Shape Model Refinement From A Monocular Image Sequence 1996-09-25 Nobutaka Shimada Semantic Analysis of a Concurrent Pascal Extended Abstract 1995-11-15 Stability analysis of singular patterns in the 1-D Gray-Scott model I: A matched asymptotics approach 1997-10-23 Experiments in Realising Cooperation between Autonomous Mobile Robots 1997-07-15 Agents for Collecting Application Usage Data Over the Internet 1997-10-30 Fuzzy Conceptual Knowledge Processing 1996-02-14 Framework for a Generic Knowledge Discovery Toolkit 1996-01-15 HADAS: A Network-Centric Framework for Interoperability Programming 1997-10-16 A Knowledge-Based System for the Diagnosis of Waste-Water Treatment Plants 1997-09-02 Pau Serra Optimal Solutions To Distance Geometry Problems Via Global Continuation 1995-06-12 On Programmable Universal Mobile Channels in a Cellular Internet 1998-08-31 Javelin: Internet-Based Parallel Computing Using Java 1998-04-16 On the Physiology of Bistable Percepts 1995-11-30 Are Parallel Workstations the Right Target for Parallelizing Compilers? 1998-12-07 Approximation of Profit-and-Loss Distributions Part II 1997-09-12 Learning Sequential Decision Rules Using Simulation Models and Competition 1998-10-27 R-Tree Based Indexing of Now-Relative Bitemporal Data 1998-09-01 The W-Network: A Low-Cost Fault-Tolerant Multistage Interconnection Network for Fine-Grain Multiprocessing 1999-02-08 Kevin B. Theobald MIME: A Portable and Robust Multimedia Format for Internet Mail 1993-12-01 Nathaniel S. Borenstein On Batcher's Merge Sorts as Parallel Sorting Algorithms 1998-10-28 Im Stadtwald Predicate Migration: 1995-06-03 Joseph M. Hellerstein Quantifying Behavioral Differences Between C and C++ Programs 1994-01-24 Formal Transducers: Models of Devices and Building Bricks for the Design of Highly Interactive Systems 1998-11-25 Johnny Accot The GIST Message Representation Framework 1996-09-27 Roger Evans On the Integration of DSP Hardware into a Microkernel-based Operating System 1996-10-21 Fast solution of confluent Vandermonde-like linear systems using polynomial arithmetic 1998-12-06 H. -j. Fischer Dataflow Parallel Database Systems and LOGFLOW 1998-02-26 Compile/Run-time Support for Threaded MPI Execution on Multiprogrammed Shared Memory Machines 1999-02-17 Time-lock puzzles and timed-release Crypto 1996-02-28 Constructing Collaborative Stories Within Virtual Learning Landscapes 1996-06-30 Motif Statistics 1999-01-20 A Collaboration-Enabling Framework for Java Beans 1998-07-20 Ivan Marsic Formality and Informality in Requirements Engineering 1996-07-01 Joseph A. Goguen Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages Extended Abstract 1998-12-07 Performance of Various Computers Using Standard Linear Equations Software 1998-07-31 Jack J. Dongarra Using Case-Based Reasoning as a Reinforcement Learning Framework for Optimization with Changing Criteria 1998-06-02 Learning by Observation and Practice: An Incremental Approach for Planning Operator Acquisition 1997-04-10 Xuemei Wang A PVM Implementation of the MCHF Atomic Structure Package 1995-03-03 OnMethods to Keep Learning Away from Intractability Extended Abstract 1999-01-06 A Rendering Algorithm for Discrete Volume Density Objects 1998-02-02 A Divide-and-Conquer Approach to Shortest Paths in Planar Layered Digraphs 1994-02-17 On the Distribution for the Duration of a Randomized Leader Election Algorithm 1996-08-20 Robust Linear Discriminant Trees 1999-02-05 George H. John The Formal Specification of Oberon 1997-05-31 Alfonso Pierantonio Energy, Matter, and Entropy in Evolutionary Computation 1997-09-24 An Advanced Course On Software Development Environments 1999-02-08 Anthony Finkelstein Effect of Numerical Integration for Elliptic Obstacle Problems 1995-07-19 Esprit BRA 6865 --- Pegasus Summary Report, Communications Work Package 1993-12-01 Derek Mcauley Sequential data assimilation with a nonlinear quasi-geostrophic model using Monte Carlo methods to forecast error statistics 1995-03-02 Ordered Binary Decision Diagrams and the Davis-Putnam Procedure 1996-05-08 Feature Replenishment for Long-Term Visual Motion Tracking 1995-10-06 Precise Positioning Using Model-Based Maps 1994-06-29 Vista: A Software Environment for Computer Vision Research 1996-03-14 Emergent Activation Functions From A Stochastic Bit-Stream Neuron 1996-11-28 Front Tracking Simulations of Shock Refractions and Shock Induced Mixing 1993-11-29 A Polymorphic Type System for Extensible Records and Variants 1970-01-01 Performance Assessment through Bootstrap 1996-10-03 Practical Selectivity Estimation through Adaptive Sampling 1992-05-07 The Control And Data Acquisition Of The Lhc Test String 1996-01-17 Experiments on Six Commercial TCP Implementations Using a Software Fault Injection Tool 1996-08-23 Cooperative Information Gathering: A Distributed Problem Solving Approach 1995-01-17 Necessary Condition and Genericity of Dynamic Feedback Linearization 1998-03-17 P. Rouchon Lazy Code Motion 1996-12-17 The Implementation of TEN-34 1997-07-01 A Bayesian Discretizer for Real-Valued Attributes 1996-01-04 Xindong Wu A Taxonomy of Finite Automata Minimization Algorithms 1999-01-28 Bruce W. Watson SDSI - A Simple Distributed SecurityInfrastructure 1997-11-25 WRL Research Report 89/1 1992-07-28 Joel F. Bartlett The Algorithm 1998-04-23 Genetic Reasoning Evolving Proofs with Genetic Search 1996-02-02 KnightCap: A chess program that learns by combining 1998-01-22 A Hybrid System Approach to Feedback Control of a Nonholonomic Car-like Vehicle 1997-11-25 Towards Semantically Meaningful Feature Spaces For The Characterization Of Video Content 1997-09-05 Nuno Vasconcelos Parallel Protein Structure Determination from Uncertain Data 1995-08-29 On the Moments of Some First Passage Times for Exponential Families of Processes 1997-08-11 The F-Logic Approach for Description Languages 1994-12-25 Mira Balaban Mixed Bundling in Duopoly 1995-02-24 Nicholas Economides Recent Results In Solving Index 2 Differential-Algebraic Equations In Circuit Simulation 1996-03-08 Componential Set-Based Analysis 1998-12-23 Thread-Safe Message Passing With P4 and MPI 1994-10-28 Graph Generated Union-closed Families of Sets 1996-04-30 Emanuel Knill Reduced Storage VQ via Secondary Quantization 1997-02-03 Towards Generative Software Composition 1998-02-27 Compositional Logic Programming 1996-09-24 A Parallel Runge-Kutta Nyström Code For y" = ft,y: Design And Evaluation 1997-11-25 Construction of Invariant Tori Around Closed Orbits 1997-12-11 Mikko Kaasalainen Hierarchical Streamarrows for the Visualization of Dynamical Systems 1997-01-28 Attribute Grammars for Genetic Representations of Neural Networks and Syntactic Constraints of Genetic Programming 1998-07-15 Logical Handling Of Inconsistent And Default Information 1997-02-04 Speaker Tracking 1997-11-10 Sue Johnson Scenario-Based Analysis of Software Architecture 1995-09-06 Constraint Satisfaction Problems 1998-08-04 Resource Management for Responsive Web Computing 1996-06-21 Analysis and Design of Multiagent Systems using MAS-CommonKADS 1998-10-13 Robust Incremental Condition Estimation 1997-10-01 A Correspondence for the Generalized Hecke Algebra of the Metaplectic Cover 1998-10-21 KEY WORDS: wavelet, sampling, interpolation, quadrature 1997-12-19 Wim Sweldens Collaboration in the Small vs. Collaboration in the Large 1994-10-14 Philip M. Johnson Translingual Information Retrieval: A Comparative Evaluation 1997-08-26 A Short Course in Computational Molecular Biology 1997-10-12 Metastable Internal Layer Dynamics For The Viscous Cahn-Hilliard Equation 1994-08-24 Contingency Selection in Plan Generation 1997-10-27 Asymptotic behavior of the nonlinear Schrodinger equation with rapidly-varying, mean-zero dispersion 1997-08-13 Production planning and control in textile industry: A case study 1997-10-30 Nikos I. Karacapilidis Optimizing Symbolic Model Checking for Constraint-Rich Models 1999-03-31 Structured Solution Methods for Non-Markovian Decision Processes 1998-08-12 Formal Approaches to Student Modelling 1994-10-19 Automatic Discovery Using Genetic Programming of an Unknown-Sized Detector of Protein Motifs Containing Repeatedly-Used Subexpressions 1998-08-15 The Resolvability Ellipsoid for Sensor Based Manipulation 1998-12-17 Unknown 1995-08-16 A New Cepstral Prefiltering Technique for Estimating Time Delay Under Reverberant Conditions 1996-11-14 Benoit Champagne Analogical Reasoning for Knowledge Discovery in a Molecular Biology Database 1970-01-01 Juergen Haas W-learning: Competition among selfish Q-learners 1996-06-13 Mark Humphrys Prediction Using Orthogonalized Model Mixing 1997-02-04 Heather Denise Desimone Solving a System of Diophantine Equations with Lower and Upper Bounds on the Variables 1998-12-05 1-Semiquasihomogeneous Singularities of Hypersurfaces in Characteristic 2 1996-04-29 Marko Roczen Analysis of V-Cycle Multigrid Algorithms for Forms Defined by Numerical Quadrature 1993-04-02 The nuclear liquid-gas phase transition within FMD 1997-01-29 The Interface Design of an Integrated System for Handling Environmental Emergencies 1998-01-26 ELFE@DESY: Slow extraction from HERA 1997-05-09 Quantitative Study of Data Caches on a Multistreamed Architecture 1998-01-29 Bounds for Disconnection Exponents 1995-11-06 Wendelin Werner Recording and Checking HOL Proofs 1996-01-29 Wai Wong Self-Testing/Correcting for Polynomials and for Approximate Functions 1997-09-04 ZLIB Compressed Data Format Specification version 3.3 1996-06-15 Applications in Quantum Mechanics of some integrability conditions of the Riccati equation 1999-04-14 Research Report AI-1994-01 An Empirically Motivated Reinterpretation of Dependency Grammar Michael A. Covington 1994-03-16 Michael A. Covington New Applications of Random Sampling in Computational Geometry 1995-02-16 LAPACK working note 66 A Characterization of Polynomial Iterative Methods 1994-10-08 Victor Eijkhout OLC: An On-Line Consulting System for UNIX 1991-01-24 Graphs and Decidable Transductions based on Edge Constraints Extended Abstract 1997-08-27 Object-Oriented Specification of Coordinated Collaboration 1996-10-18 L. P. J. Groenewegen Context Optimization for SIMD Execution 1997-01-27 The Design and Evolution of Modular Neural Network Architectures 1995-05-16 Jacob M. J. Murre On the Geometry of Graeffe Iteration 1997-09-05 Thread Migration in the Presence of Pointers 1997-01-31 Fine Spectra and Limit Laws II. First-Order 0--1 Laws 1998-01-13 Optimal Code Placement of Embedded Software for Instruction Caches 1996-10-07 XGobi Meets S: Integrating Software for Data Analysis 1998-11-16 Interleaving Planning and Robot Execution for Asynchronous User Requests 1996-07-26 A Network-Centric Design For Relationship-Based Rights Management 1997-12-06 Block-Projections Algorithms With Blocks Containing Mutually Orthogonal Rows and Columns 1997-07-01 Constantin Popa Simultaneous Multithreading: A Platform for Next-generation Processors 1997-04-05 The Design of Whole-Program Analysis Tools 1999-01-08 A Family of Interconnection Networks for Non-Uniform Traffic 1995-11-30 Early Transition Detection - A Dynamic Extension To Common Classification Methods 1999-02-08 Allocating Weighted Jobs in Parallel 1998-02-02 Incremental Data Compression Extended Abstract 1998-08-15 Johan Jeuring Force Control: A Bird's Eye View 1997-08-22 Geometric Approach to Inverse Scattering for the Schrödinger Equation with Magnetic and Electric Potentials 1997-04-28 Silke Arians Finite-Horizon Bounded Amplitude Control of Linear Parameter Varying Systems 1997-06-26 On The Virial Theorem For The Relativistic Operator Of Brown And Ravenhall, And The Absence Of Embedded Eigenvalues 1997-11-29 Querying by Color Regions using the VisualSEEk Content-Based Visual Query System 1996-06-13 New sources for Kerr and other metrics: rotating relativistic disks with pressure support. 1998-05-24 Analytic Inverse of Discrete Gaussian Blur 1996-12-10 On Nominal Delay Minimization in LUT-Based FPGA Technology Mapping 1997-01-13 Panel: The Impact of Database Research on Industrial Products Summary 1995-06-04 The Practical Application of Binary Neural Networks. 1998-06-22 Jim Austin A Note on Vertex Pancyclic Oriented Graphs 1997-05-13 Yubao Guo Diffractive Production at Collider Energies I: Soft Diffraction and Dino's Paradox 1998-09-28 Chung-i Tan Salo: Combining Simulated Annealing And Local Optimization For Efficient Global Optimization 1997-05-31 Flexible and Scalable Query Access Planning using an AI Planner 1997-11-04 A Semi-Functional Implementation of a Higher-Order Logic Programming Language 1995-10-10 A Model In Which Every Boolean Algebra Has Many Subalgebras 1998-02-26 James Cummings Feasibility of Flexible Information Modelling Support 1997-04-02 Property-Based Testing of Privileged Programs 1995-07-06 Limit Theorems for Tagged Particles 1996-12-06 P. A. Ferrari Non-planar Reslicing for Freehand 3D Ultrasound 1999-01-29 A Large Throughput High Resolution Fourier Transform Spectrometer for Submillimeter Applications 1998-12-04 Intelligent Techniques for the Extraction and Integration of Heterogeneous Information 1999-05-07 Dealing with Time Modelling Problems in Parallel Models of Asynchronous Computer Architectures 1995-12-12 Automatic Verification of Transactions on an Object-Oriented Database 1997-08-28 The Principle of Linearity: A Short Cut to Determine Dependent Angles 1996-07-17 Brian R. Stonebridge Adaptive, Best-Effort Delivery Of Audio And Video Across Packet-Switched Networks 1994-10-25 Molecular Evolution of Catalysis 1997-05-23 Christian V. Forst Lateral Spread of Hadrons in High-Energy Super-Families and Centauro Events 1997-09-04 Radiance Maps: An Image-Based Approach to Global Illumination 1998-07-30 Detecting Salient Blob-Like Image Structures and Their Scales with a Scale-Space Primal Sketch: A Method for Focus-of-Attention 1994-04-13 Tony Lindeberg A Gradual Integration Of Oodbms To Legacy Telecommunication Systems 1995-11-28 Rahav Yairi On the Foundations of Qualitative Decision Theory 1996-05-06 The free Bose gas on Robertson-Walker spacetimes 1998-08-07 A Locking Algorithm with Premature Unlocks 1970-01-01 Detlef Zimmer The Scaling of Search Cost 1997-01-22 Automatic Data Layout Using 0-1 Integer Programming 1997-01-27 Nonexistence of SBR Measures for some Diffeomorphisms that are "Almost Anosov" 1997-04-26 Epipolar Geometry and Linear Subspace Methods: A New Approach to Weak Calibration 1997-02-08 The Moduli Space of the Supersymmetric 1998-05-25 A Self-Scaling and Self-Configuring Benchmark for Web Servers 1997-11-12 SILCS -- Specification In Logic of Concurrent Systems 1996-05-07 David Gilbert Nuclear Magnetic Resonance 1998-11-30 J. A. Jones V&V Within Reuse-Based Software Engineering 1998-03-16 Edward A. Addy A Slowest-Random Algorithm for a Partial Contour Similarity Problem 1996-07-09 Interactive viewing of 3D terrain models using VRML 1998-08-04 WATCHMAN: A Data Warehouse Intelligent Cache Manager 1970-01-01 Fast Algorithms for One-Dimensional Compaction with Jog Insertion 1997-07-23 Dynamic modeling and its robotic applications The RobotPhi system 1998-04-09 A New Means of Ensuring Termination of Deforestation 1996-12-05 Morten Heine Sørensen Artificial Intelligence Techniques in the Interface to a Digital Video Library 1997-01-03 Reconstruction of Paradigm Shifts 1999-02-15 Stochastic Rendering of Density Fields 1994-05-24 Jos Stam The Volume of the GPS Ambiguity Search Space and its Relevance for Integer Ambiguity Resolution 1998-06-03 Using Rules to support Case-Based Reasoning for harmonizing melodies 1998-09-03 Algorithmic Knowledge 1996-10-10 A Graph Theoretic Approach to Feed-Through Pin Assignment 1995-10-28 On The Origins Of Speech Intelligibility In The Real World 1998-01-22 Steven Greenberg The Relation Between Systems And Associated Bundles 1998-12-03 Peter W. Michor Constrained Square-Center Problems 1998-02-11 From SPA models to programs 1998-04-21 Foundations for the Implementation of Higher-Order Subtyping 1997-10-23 Karl Craryy 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 Towards A Global Convergence Theory For Newton's Method 1998-06-01 Michael Drexler On The Minimal Distance Between Group Tables 1997-06-23 Sophie Frisch Cohomological Bousfield Classes 1994-06-08 Mark Hovey Negative Subgoals with Free Variables 1997-01-15 Matthew L. Ginsberg Concurrent Object-Oriented Languages 1996-01-26 Sugath Warnakulasuriya A Historical Application Profiler for Use by Parallel Schedulers 1996-11-29 Richard Gibbons DEPEND - Distance Education for People with Different Needs 1999-04-07 Scaling above the upper critical dimension in Ising Models 1996-04-29 Intelligent Agents in Software Reuse Repositories 1995-10-26 Proving Correctness for Balancing Networks 1999-02-15 Morphological Analysis as Classification: an Inductive-Learning Approach 1970-01-01 There are 526,915,620 nonisomorphic one-factorizations of K 12 1996-04-14 A Formalization of the Proof-Carrying Code Architecture in a Linear Logical Framework 1999-04-16 PAUL: a software engineering approach to a problem in combinatorial design 1996-05-21 Adaptive Write Detection in Home-Based Software DSMs 1999-04-24 Self-Stabilization of Wait-Free Shared Memory Objects 1996-06-12 Jaap-henk Hoepman Composition of Interstellar Clouds in the Disk and Halo IV. HD 215733 1996-10-01 Interior Point Methods In Semidefinite Programming With Applications To Combinatorial Optimization 1999-01-11 Farid Alizadeh An Astronomer's Guide to On-line Bibliographic Databases and Information Services 1994-02-21 A. C. Davenhall Layout-independent Fisheye Views of Nested Graphs 1993-06-02 Emanuel G. Noik Blind Identification Of Mixed-Phase Fir Systems With Application To Mobile Communication Channels 1997-06-03 Reformulations Of A Bicriterion Equilibrium Model 1999-01-14 A Lexicon for Underspecified Semantic Tagging 1997-02-18 Paul Buitelaar N-ary Speculative Computation of Simulated Annealing on the AP1000 Massively Parallel Multiprocessor 1996-03-13 Andrew Sohn Informatics as Cultural Development Case Studies from the Social History of Information Technology 1997-02-26 The Duration of Deliberation 1995-07-11 Fuzzy Array Dataflow Analysis 1996-03-14 Parallelization of WHAMS3D on Two Shared-Memory Multiprocessors 1994-04-22 Curbing Junk E-Mail via Secure Classification 1998-02-20 A Parallel Implementation of Tight--binding Molecular Dynamics based on Reordering of Atoms and the Lanczos Eigen-solver 1995-12-13 Coverings and Integrability of the Gauss-Mainardi-Codazzi Equations 1970-01-01 Multimedia Data Analysis using ImageTcl Extended version 1970-01-01 Is the Chiral Model equivalent to Wess-Zumino-Witten Model when coupled with Gravity? 1998-05-25 Computing Roots of Graphs is Hard 1995-08-10 Rajeev Motwani RTCAST: Lightweight Multicast for Real-Time Process Groups 1970-01-01 An Agent System for Intelligent Situation Assessment 1998-09-10 A Search Space Analysis of the Job Shop Scheduling Problem 1997-07-31 Dirk C. Mattfeld Automatic Prefetching in a WAN 1995-10-26 James Griffioen ECLiPSe 3.5 User Manual 1997-09-19 Short Times Characterisations of Stochasticity in Nonintegrable Galactic Potentials 1998-05-12 ISI Reprint Series ISI/RS--92--293 July 1992 1996-04-04 Multiagents and Pollutant Monitoring 1998-11-29 Programming Spatial Databases: A Deductive Object-Oriented Approach 1996-01-18 Prepositional Phrase Attachment through a Backed-Off Model 1997-08-13 Approximately Matching Context-Free Languages 1970-01-01 Gene Myers Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems 1997-09-17 A Recognition Network Model-Based Approach to Dynamic Image Understanding 1997-05-30 Performance Analysis and Admission Control in Multimedia Communication Networks 1998-09-07 Ioannis Ch. Paschalidis Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall Extended Abstract 1996-12-03 Divide and Conquer in Network Management Using Event-Driven Network Area Agents 1996-07-01 R. Kooijman A Guide to UNICOM, an Inductive Theorem Prover Based on Rewriting and Completion Techniques 1998-04-02 On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs 1998-07-12 Roberto Bagnara Reflective ORBs: Supporting Robust, Time-critical Distribution 1997-12-19 A Framework for Database Mining 1998-02-15 Comparison of GEANT hadronic physics packages 1996-10-05 On the Solution of Linear Algebraic Equations Involving Interval Coefficients 1997-04-22 Some Untractable Classes of Constraint Networks 1996-02-22 Christian Bessiere Evaluating Server-Assisted Cache Replacement in the Web 1999-03-05 A Continuous Media Player 1996-03-20 A Fast Hybrid Color Segmentation Method 1997-11-20 Minimal Logic Re-Synthesis For Engineering Change 1999-01-05 An Empirical Investigation of Program Spectra 1998-03-26 Compiler-Directed Early Load-Address Generation 1998-09-24 , Come From Studies of 1996-07-23 Dean Karlen Empirical Evaluation of the CRAY-T3D: A Compiler Perspective 1996-10-28 The Implementation of Newsqueak 1994-04-09 Rob Pike Multi-spectral Based Cell Segmentation and Analysis 1998-08-06 Implementation of an Automatic Semi-fluid Motion AnalysisAlgorithm on a Massively Parallel Computer 1997-07-19 Viewing Objects as Patterns of Communicating Agents 1993-07-03 Michael Papathomas Seer: Predictive File Hoarding for Disconnected Mobile Operation 1997-05-27 Specification and Coordination of Long-Running Design Activities for CAD Environments 1998-01-14 A Map Editing Kernel Implementation: Application to Multiple Scale Display 1993-07-16 Michel Scholl Binding Time Analysis for Bits 1998-05-26 Eylon Caspi Recognising Rotationally Symmetric Surfaces From Their Outlines 1998-02-10 Temporal Difference Learning in Continuous Time and Space 1996-09-30 Kenji Doya New Techniques for Regulating TCP Flow over Heterogeneous Networks 1998-08-15 Kai-yeung Siu Concurrent Constraint Logic Programming on Massively Parallel SIMD Computers 1993-07-23 Miles of Tiles 1997-04-26 Charles Radin Typed Closure Conversion 1998-09-23 On the Use of the Constructive Omega-Rule within Automated Deduction 1998-04-26 A Note on the Characterization of the Global Maxima of a Tangentially Convex Function Over a Convex Set 1996-06-23 Yuri S. Ledyaev Towards the semantics of the definitional language of MetaSoft 1996-05-20 Open Transmission and Spot Markets for Power 1997-08-13 Implications Of A Higgs Discovery At Lep 1998-05-25 Towards Scalable Compositional Analysis 1994-09-16 BER-Based Call Admission in Wavelength-Routed Optical Networks 1998-03-24 Efficient Spatio-Temporal Decomposition For Perceptual Processing Of Video Sequences 1996-06-06 Preservation of Strong Normalisation in Named Lambda Calculi with Explicit Substitution and Garbage Collection 1999-01-28 Design Aspects Of Calibration Studies In Nutrition, With Analysis Of Missing Data In Linear Measurement Error Models 1970-01-01 Parallel Sorting Algorithms for Declustered Data 1996-09-30 E. Schikuta Navigational Plans For Data Integration 1999-01-24 Origins of Internet Routing Instability 1999-01-18 George Justo S C Winter 1998-04-25 Columbia Object Image Library COIL-20 1996-02-27 Process Modelling: a critical analysis 1993-07-06 Bicron fibers: choice of the UVA concentration for the Barrel Module 0 1999-03-23 Data and Task Alignment in Distributed Memory Architectures 1994-07-25 Rock `n' Roll: Using VRML 2.0 for Visualisation 1997-08-12 Jeremy Walton Two-Dimensional Orthogonal Wavelets With Vanishing Moments 1995-08-07 Analyzing CASE Impact 1995-08-22 Tilmann Bruckhaus Term Rewriting as Interaction Nets Plus Hyperedge Replacement 1999-02-08 Markus Lohrey Precision Measurement Of The Inclusive Deep Inelastic 1998-10-28 M. Klein The LIMSI 1997 Hub-4E Transcription System 1998-07-08 On Non-Preemptive Scheduling of Periodic and Sporadic Tasks 1998-02-25 Performance Tradeoffs for Client-Server Query Processing 1996-03-06 D. J. Benford, J. W. Kooi and E. Serabyn 1998-12-04 A Correspondence for the Generalized Hecke Algebra of the Metaplectic Cover 1998-10-21 Probabilistic Indexing: A New Method of Indexing 3D Model Data from 2D Image Data 1997-09-12 Clark F. Olson Deriving Logic Programs From Observations 1996-05-07 Management of Configurable Protocols for Multimedia Applications 1995-02-16 Formal Logic and Self-Expression 1995-03-10 F. Kenton Musgrave How to Juggle Discourse Obligations 1997-06-16 A Distributed Algorithm Solving CSPs with a Low Communication Cost 1996-07-12 Nicolas Prcovic The ZPG Letter: Subjects, Definiteness, and Information-status 1996-02-07 Ellen F. Prince LATEX 2e font selection 1998-06-30 X Font Selection Copyright An Extended Volume Visualization System for Arbitrary Parallel Projection 1997-08-01 A Market Framework for Pooling Opinions 1998-11-30 Tree-Visibility Orders 1997-04-24 Quantitative Analysis of Vector Code 1997-05-27 On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints 1998-02-25 On The Propagation Properties Of Surface Waves 1997-04-26 Analyzing Failure Recovery to Improve Planner Design 1994-08-22 Adele E. Howe Convexity, Lipschitz property and differentiability in two-stage stochastic nonlinear programming problems 1997-06-06 Design Patterns in Python 1997-11-03 Vespe Savikko Live, Audio-Visual Communication Systems for Distance Learning: Experience, Heuristics and ISDN 1993-05-09 SUAVE: Object-Oriented and Genericity Extensions to VHDL for High-Level Modeling 1998-08-28 The Naive Execution of Affine Recurrence Equations 1995-09-09 Sanjay Rajopadhye Cache Interference Phenomena 1994-04-20 Automatic Synchronization Elimination in Synchronous FORALLs 1998-03-16 Ernst A. Heinz Integrating Simulation And Animation Approaches For Autonomous Articulated Bodies 1993-05-05 Rule Based Generation of . . . 1996-11-26 Parallel Implementation of Functional Languages Using Small Processes 1995-05-31 John Glauert Document Processing Group 1996-03-18 Reinforcement Learning Predicts the Site of Plasticity for Auditory Remapping in the Barn Owl 1997-05-05 The Accuracy Of Floating Point Summations For Cg-Like Methods 1997-07-03 Etsuko Mizukami A Multizone Adaptive Grid Generation Technique for Simulation of Moving and Free Boundary Problems 1998-07-28 Proc. Workshop on Strategies in Automated Deduction 1998-09-29 An Implementation of the Lattice and Spectral Tests for Multiple Recursive Linear Random Number Generators 1996-08-27 Raymond Couture Higher Order Numerical Schemes for Paraxial Approximations of the Wave Equation 1998-03-06 Secure Frameproof Codes, Key Distribution Patterns, Group Testing Algorithms and Related Structures 1998-07-30 Issues In Design And Implementation Of Simulation Systems 1996-07-09 Using Speculation to Reduce Server Load and Service Time on the WWW 1995-04-28 Azer Bestavros VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems 1997-01-08 Extraction of Data Dependencies 1970-01-01 A User-Guide to Archi - An Explicit Runge-Kutta Code for Solving Delay and Neutral Differential Equations 1996-05-10 Hierarchical Motion Planning Using a Spatial Index 1997-09-15 Principle-Based Structured Concept Generation. A contribution to knowledge-based document indexing 1998-11-19 Incremental Evaluators for Ordered Macro Attribute Grammars 1999-01-20 Two-Phase Multicast Routing Algorithms for Two-Dimensional Meshes 1996-12-09 Efficient Cooperative Caching using Hints 1996-11-07 Coordinated Checkpointing-Rollback Error Recovery for Distributed Shared Memory Multicomputers 1999-03-21 System Structuring: A Convergence of Theory and Practice? 1994-11-10 Variable Granularity Cache Coherence 1995-07-13 Planning to Gather Information 1996-04-28 July 19, 1993 1995-01-27 The Consensus Hierarchy is not Robust 1997-07-25 Eric Schenk The Moment Problem and Maximum Entropy: Numerical Investigation 1994-07-18 Efficient Parallel Solutions of Indexed Recurrences with Linear Combinations 1998-04-05 Interprocedural Register Allocation for Lazy Functional Languages 1996-10-29 Urban Boquist Efficient Broadcasting Procedures for Constrained Reconfigurable Meshes 1996-11-07 Objects, Activities and Communication 1996-03-05 Frank Schubert Time Regularity for the System of Isentropic Gas Dynamics With Gamma=3 1998-01-09 Alexis Vasseur Automatic Classification of Bacteria Culture Images 1998-06-15 Stochastic Hillclimbing as a Baseline Method for Evaluating Genetic Algorithms 1994-10-24 Hutchins86 E. Hutchins, J. Hollan, D. Norman, "Direct Manipulation Interfaces", 1970-01-01 The Distribution of Cycle Lengths in Graphical Models for Iterative Decoding 1999-03-26 Practical Stability for Systems Depending on a Small Parameter 1998-12-22 Extending a Library for Geometric Computation to Provide Network Services: A Case Study 1995-10-30 Challenges in Engineering Distributed Shipboard Control Systems 1996-11-26 Object-Scalable Dynamic Coding Of Visual Information 1998-08-06 An aperiodic set of Wang cubes 1997-09-15 Considerations for an Organizational Memory for Software Development 1996-04-16 Tractable Planning for an Assembly Line 1996-09-27 Dynamic Environmental Modeling By The C-Tree 1997-09-15 How violent are fast controls?, II 1997-01-18 Asymptotic Distribution Of Quadratic Forms I 1997-01-21 A. N. Tikhomirov Relationships between Dynamic Objects 1999-03-25 Matematiqki Vesnik 1970-01-01 The Concept of Visual Classes for Object Classification 1998-06-15 Weighting Hidden Markov Models For Maximum Discrimination 1998-05-08 Mage: Additions To The Age Algorithm For Learning In Multi-Agent Systems 1998-06-18 On the Interpretation of Anaphoric Noun Phrases: Towards a Full Understanding of Partial Matches 1999-02-02 On Metastability in Supersymmetric Models 1998-03-05 Filter design via inner-outer factorization: Comments on "Optimal deconvolution filter design based on orthogonal principle" 1996-05-07 Using Standard ML in Software Maintenance: A Promising Approach 1999-02-18 On Decomposability Of Nambu--Poisson Tensor 1996-08-15 Resource-Bounded Kolmogorov Complexity Revisited 1996-08-30 Structural Cut Elimination 1995-03-23 Frank Pfenning Determinant representation for dynamical correlation functions of the Quantum nonlinear Schrödinger equation. 1997-04-26 Onthe Limitations of Bubble Functions 1997-10-17 Measurement-Based Guidance of Software Projects Using Explicit Project Plans 1994-09-16 Inferring Reduced Ordered Decision Graphs of Minimal Description Length 1995-02-22 Continuation-Passing, Closure-Passing Style 1994-03-11 Trevor Jim A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems 1996-11-11 Dimensions of Software Evolution 1998-09-09 Dewayne E. Perry Storage Alternatives for Mobile Computers 1996-01-29 Efficiently Supporting Hard/Soft Deadline Transactions in Real-Time Database Systems 1998-05-28 The K-Property of Hamiltonian Systems with Restricted Hard Ball Interactions 1997-04-26 S. Rouhani M. Vesali 1996-10-05 Connections between the Algebraic Riccati Equation and the Hamiltonian for Riesz-Spectral Systems 1998-03-17 Allocating Fixed Costs and Resources Via Data Envelopment Analysis 1998-01-20 J. E. Beasley 3D Reconstruction of Environments for Virtual Collaboration 1999-03-03 Occlusions, Discontinuities, and Epipolar Lines in Stereo 1998-04-25 Selective Culling of Discontinuity Lines 1998-03-10 Multi-Way Partitioning Via Geometric Embeddings, Orderings, and Dynamic Programming 1995-08-01 W. Scott ReillyJoseph Bates June 1995 1995-06-16 : A Framework for Automatic Construction of Performance Prediction Models 1998-10-01 On The Rate Of Normal Approximation In D0,1 1999-04-21 M. Bloznelis Distributed Constraint Satisfaction for Formalizing Distributed Problem Solving 1995-12-05 Quantum-inspired Neural Networks 1998-12-20 Multi-class problems and discretization in ICL Extended 1996-07-09 Orthogonal Polynomials And Linear Functionals Of Second Degree 1997-06-06 ACO Algorithms for the Quadratic Assignment Problem 1999-03-17 Thomas Stutzle Learning Organizational Roles in a Heterogeneous Multi-agent System 1996-08-27 Do T Tauri stars rotate differentially? 1997-05-14 Fail-stop Signatures; Principles and Applications 1996-09-20 Birgit Pfitzmann Unconditional Byzantine Agreement for any Number of Faulty Processors 1996-09-20 Logic Programs with External Procedures 1994-08-25 The "Art of Trellis Decoding" is Computationally Hard - for Large Fields 1998-09-17 Guarded Evaluation: Pushing Power Management to Logic Synthesis/Design 1995-04-03 Serverless Network File Systems 1998-01-21 GRADE: Gibbs Reaction And Diffusion Equation 1999-02-12 Counting on Frank: Postmortem of an Edutainment Product 1997-10-14 Best-Case Results for Nearest Neighbor Learning 1995-12-05 Behavior Cooperation Based On Markers And Weighted Signals 1996-05-01 Modeling Distributed Search via Social Insects 1998-08-03 Thomas Haynes Equivariant Cohomology Of Loop Space And Frobenius Deformations Of De Rham Cohomology 1998-11-19 Jian Zhou 3D Computational Steering with Parametrized Geometric Objects 1996-04-02 Recognizing Hand Gestures Using Motion Trajectories 1998-12-03 Making Templates Rotationally Invariant: An Application to Rotated Digit . . . 1999-01-06 Shumeet Baluja An SGML-based URC Service 1995-06-23 Terry Allen The Manutec r3 Benchmark Models for the Dynamic Simulation of Robots 1997-03-12 Controllability of Pushing 1996-02-01 Rationale-Supported Mixed-Initiative Case-Based Planning 1997-04-03 Implicitly Parallel Real-Time Signal Processing 1998-01-26 A Functional Implementation of the Jacobi Eigen-Solver 1996-05-18 An Extended Weak Isomorphism for Model Simplification extended 1997-06-16 Graham Clark Effective Models of Polymorphism, Subtyping and Recursion Extended Abstract 1999-02-05 John Mitchell AL and an application program known as an 1995-04-12 New Baryons in the 1997-09-04 Learning Rules with Local Exceptions 1995-02-08 Bisimulation, Model Checking and Other Games 1997-06-26 Colin Stirling On First Order Information Exchange 1997-05-22 Paul Dekker On The Principle Of Maximum Entropy On The Mean As A Methodology For The Regularization Of Inverse Problems 1998-12-09 Pierre Mar Echal The BATmobile: Towards a Bayesian Automated Taxi 1995-05-30 Spin Networks and Recoupling in Loop Quantum Gravity 1998-12-19 Roberto De Pietri Achieving Middleware Customization in a Configuration-Based Development Environment: Experience with the Aster Prototype 1998-03-30 The Changing Nature of Network Traffic: Scaling Phenomena 1998-11-13 Efficient Dynamics Modeling for VRML and Java 1998-01-24 Multiple Interactions in Two--Photon Collisions 1998-05-22 Manuel Drees Dynamics: A Probabilistic and Geometric Perspective 1999-03-15 Marcelo Viana Size and Reflection Effects in Priming: A Test of Transfer Appropriate Processing 1997-06-23 Kavitha Srinivas Double-Checked Locking - An Object Behavioral Pattern for Initializing and Accessing Thread-safe Objects Efficiently 1996-08-14 Computing Roadmaps of Semi-algebraic Sets Extended Abstract 1996-03-21 A uniform test derivation method for Estelle, LOTOS and SDL 1995-02-20 line as a chromospheric diagnostic for M dwarfs 1997-02-11 The Hutlets - a biorthogonal wavelet family and their high speed implementation with RNS, multiplier-free, perfect reconstruction QMF 1997-01-27 Simulation Based Performance Analysis in Design/CPN 1998-06-18 Lisa Wells Matters Of Gravity 1995-04-21 Monitoring User Actions in the Hypertext System "HyperMan" 1997-03-14 Mapping Constraint Satisfaction Problems to Algorithms and Heuristics 1996-09-26 Optimum Kinematic Design for a Seven Degree of Freedom Manipulator 1998-07-10 John M. Hollerbach Some Learning Models of Visual System Based on Local Sensory Signals Integration Learning 1995-08-07 Distributional Asymptotic Expansions of Spectral Functions and of the Associated Green Kernels 1997-10-21 Extending Temporal Actiom Logic for Ramification and Concurrency 1998-11-24 Joakim Gustafsson Link Conditional and Relative Multifractal Spectra 1998-02-09 Continuous And Discrete-Time Nonlinear Gradient Descent: Relative Loss Bounds and Convergence 1997-12-15 Optimal Synthesis of Processor Arrays with Pipelined Arithmetic Units 1994-03-09 Relevance Cuts: Localizing the Search 1998-10-02 Accuracy in 3D Particle Tracing 1998-05-20 This Page Intentionally Left Blank. 1970-01-01 Generalized Notions of Mind Change Complexity 1998-08-12 The intrinsic Ly alpha to H alpha ratio in M dwarf stars 1996-09-18 Controlled Precision Volume Integration 1995-12-31 A Look at Function Symbols and Planning 1996-12-22 Eric Jacopin Entropy Regular Sets 1999-01-21 Avoiding Contention between Reads and Writes Using Dynamic Versioning 1994-03-10 Linearly Independent Divisors On Complex Manifolds 1997-03-17 Zbigniew Jelonek The Continuum Limit of 1998-05-12 C. R. Allton Simplifying Control Flow in Compiler-Generated Parallel Code 1997-07-15 Numerical conformal mapping using cross-ratios and Delaunay triangulation 1996-02-14 Orientation Radiograms for Image Retrieval: An Alternative to Segmentation 1998-02-13 The Jet Model for Sgr A* 1999-01-27 H. Falcke Generating Hard Instances of Lattice Problems Extended Abstract 1996-01-30 M. Ajtai Keyword Training Using A Single Spoken Example For Applications In Audio Document Retrieval 1995-04-28 Some Lower-Bound Results on Interval Routing in Planar Graphs 1997-04-18 Information States, Attitudes and Dialogue 1998-05-19 Robin Cooper On the Declarative and Procedural Semantics of Logic Programs 1996-05-24 Teodor C. Przymusinski Finite Geometry for a Generation 1996-06-04 William M. Kantor Atomic Resource Sharing in Noncooperative Networks 1997-03-30 Optimized contour-based segmentation of 3D medical data using genetic algorithms 1996-02-12 The Ins and Outs of Reason Maintenance 1994-07-11 Jon Doyle SINERGY: A Linear Planner Based on Genetic Programming 1997-08-30 Ion Muslea Dense Depth Maps from Epipolar Images 1997-05-24 An Infeasible Start Predictor Corrector Method for Semi-definite Linear Programming 1996-01-30 The Computational Co-op: Gathering Clusters into a Metacomputer 1999-01-28 Integrating DFM with CAD through Design Critiquing 1998-09-05 Towards Operational Measures of Computer Security 1995-08-08 SRB measures for partially hyperbolic systems whose central direction is mostly expanding 1999-03-15 The Multiple Description Rate Region at High Resolution 1998-05-20 Consequences of Melt Transport for Uranium Series Disequilibrium in Young Lavas 1996-10-06 A Calculus Of Broadcasting Systems 1994-04-07 K. V. S. Prasad Randomized Algorithms For The Separation Of Point Sets And For Solving Quadratic Programs 1995-04-19 N. D. Botkin Search For A New Gauge Boson In 1998-04-06 Resource-Efficient Policies for Information Transfer in a Mobile Environment 1999-01-19 Synthesis of Sigma-Pi Neural Networks by the Breeder Genetic Programming 1995-01-23 Exploring Scalable Schedules for IIR Filters with Resource Constraints 1996-06-05 Methods For Large Scale Total Least Squares Problems 1999-04-13 Implicit Methods For Timed Circuit Synthesis 1998-08-03 Data Management in Control Applications - A Proposal Based on Active Database Systems 1996-11-12 Network Properties Of Double And Triple Fixed Step Graphs 1998-11-02 A Conceptual Basis for Feature Engineering 1998-12-30 Feng Shui for Standard ML Programmers 1998-08-12 Stephen Gilmore An Open Architecture for Secure Interworking Services 1996-07-12 Multicast Extensions to OSPF 1993-01-29 Reactor: An Object Behavioral Pattern for Concurrent Event Demultiplexing and Event Handler Dispatching 1997-03-06 Douglas C. Schmidt On The Point Limit Of The Pauli--Fierz Model 1997-04-07 Interaction Diagrams 1993-11-16 Joachim Parrow Formal Verification of Security Properties of Privacy Enhanced Mail 1999-01-29 Beyond SGML 1998-01-10 Roger Price Programming and Interface Specification Language of JIVE - Specification and Design Rationale 1997-12-05 A Note On Matrix Refinement Equations 1997-09-15 Thomas A. Hogan Nomadic Computing - An Opportunity 1998-08-20 Leonard Kleinrock Making Views Self-Maintainable for Data Warehousing 1999-02-05 An Implementation of Distributed Mathematical Services 1998-05-08 Tango Lite: A Multiprocessor Simulation Environment 1995-04-21 Experiments In Information Retrieval From Spoken Documents 1998-04-10 Exploring Annotated 3D Environments on the World-Wide Web 1996-03-04 Enrico Gobbetti Demosaicing: Image Reconstruction from Color CCD Samples 1998-03-17 Ron Kimmel Nested Krylov Methods And Preserving The Orthogonality 1995-06-13 Partial Evaluation for Software Engineering 1998-01-15 Towards Synchronous and Asynchronous Graph Transformations 1995-12-04 Gabriele Taentzer Evaluation of a Fast Activation Mechanism for the Kanerva SDM Memory 1995-12-19 Roland Karlsson An Extended Two-Phase Method for Accessing Sections of Out-of-Core Arrays 1996-12-10 Placement of Objects in Parallel Object-Based Systems 1998-12-19 Kronecker Product and SVD Approximations for Separable Spatially Variant Blurs 1970-01-01 Deformable B-Solids and Implicit Snakes for Localization and Tracking of SPAMM MRI-Data 1996-04-28 Small denominators and anomalous behaviour in the uncommensurate Hubbard-Holstein model 1997-12-29 V. Mastropietro Satisfiability Coding Lemma 1998-10-01 Stability of Perpetuities 1997-08-19 Recovery Options in Directory Based Software Coherency Schemes 1997-09-12 Parallel versus Sequential Task-Processing: A New Performance Model in Discrete Time 1998-12-15 Dynamics, Computation, and the "Edge of Chaos": A Re-Examination 1994-09-28 Interactive Computerized Health Care Education 1998-08-17 Self-Similarity and Heavy Tails: Structural Modeling of Network Traffic 1998-10-08 Rewrite Systems 1995-01-27 PipeRench: A Coprocessor for Streaming Multimedia Acceleration 1999-03-02 SUN Elastic Rescattering in B and D Decays . 1998-08-28 Christopher Smith Language Acquisition in the Absence of Explicit Negative Evidence: How Important is Starting Small? 1999-01-25 A General Framework for Iterative Aggregation/Disaggregation Methods 1996-08-09 A Simulation Substrate for Real- Time Planning 1997-07-30 Scott D. Anderson A Hybrid Approach To Global Optimization Using A Clustering Algorithm In A Genetic Search Framework 1996-02-15 Threshold Effects in Open-String Theory 1998-05-14 C. Bachas Learning Curves of Faithful versus Unfaithful Neural Network Models 1996-05-19 RN Random Numbers 1998-05-30 33 Examples of Termination 1994-09-30 Nachum Dershowitz Integrating Planning and Execution for Information Gathering 1995-01-28 Craig A. Knoblock Non-linear Data Structure Extraction using Simple Hebbian Networks 1995-04-06 Colin Fyfe On Partitioning Dynamic Adaptive Grid Hierarchies 1995-10-05 A comparison of Q-learning and Classifier Systems 1999-03-17 Marco Dorigo Reimplementing the Synthesis Kernel on the Sony NeWS Workstation 1970-01-01 Implementation Issues in the Fourier Transform Algorithm 1996-01-28 Contrary-to-Duty Obligations 1998-10-08 About some relationships between configuration management, software process and cooperative work: the COO Environment 1995-07-11 Esstin-nancy I **iut-a Nancy Ii Reachability Verification for Hybrid Automata 1998-09-28 Thomas A. Henzinger Integrated QOS management for disk I/O 1999-03-03 DRACO: An Expert Assistant for Data Reduction and Analysis 1995-07-24 Application Of Esop Minimization In Machine Learning AndKnowledge Discovery 1999-03-20 Identification of System Behaviours by Approximation of Time Series Data 1997-05-15 Asymptotic Relations Among Fourier Coefficients Of Real-Analytic Eisenstein Series 1999-01-29 Alvaro Alvarez-parrilla Chebyshev Series Approximations for the Bessel Function Y n z of Complex Argument 1997-10-22 Server Selection using Dynamic Path Characterization in Wide-Area Networks 1998-12-11 The Application of Machine Learning Techniques to Time-Series Data 1995-11-24 On the Efficiency of Polynomial Time Approximation Schemes 1997-10-04 Compiler Algorithms for Event Variable Synchronization 1996-05-13 Zhiyuan Li Analysis of Dual-Link Networks for Real-Time Applications 1996-06-12 A Metaobject Protocol for C++ 1996-07-09 Shigeru Chiba New Results on Fault Tolerant Geometric Spanners 1999-05-04 Tamas Lukovszki Asteroseismological analysis of five delta Scuti stars in the open cluster NGC 6134 1996-03-04 Indexing for String Queries using Generalized Search Trees 1997-05-16 Prototype of the National High-Performance Software Exchange 1995-02-12 An Efficient Micropayment System Based on Probabilistic Polling 1997-03-07 Andrew Odlyzko Garbage Collection and DSM Consistency 1996-11-18 Confidence Estimation in History Matched Models 1997-11-12 A Lyapunov function for tridiagonal competitive-cooperative systems 1998-04-29 Improved Behaviour of Tries by Adaptive Branching 1999-01-27 Trim and Fill: A Simple Funnel Plot Based Method of Testing and Adjusting for Publication Bias in Meta-analysis 1998-09-24 Fixpoint 3-Valued Semantics for Autoepistemic Logic 1998-03-20 A Scale-Vector Approach For Edge Detection 1996-02-07 GRADED DERIVATIONS OF THE ALGEBRA OF DIFFERENTIAL FORMS ASSOCIATED with a Connection 1999-01-21 Peter W. Michor A Framework for Statistical Modeling of Superscalar Processor Performance 1998-09-07 Parallelisation of the SDEM Distinct Element Stress Analysis Code on the KSR-1 1994-08-16 A Java-based distributed platform for multilateral security 1999-03-16 Cue Phrase Classification Using Machine Learning 1996-09-17 Diane J. Litman Coordinating Foreign Modules with a Parallelizing Compiler 1997-06-26 OptimalInvestment Facing Possible Accidents 1998-03-09 A Parallel Ring Ordering Algorithm for Efficient One-sided Jacobi SVD Computations 1970-01-01 Hamiltonians on Random Walk Trajectories Pablo A. Ferrari 1997-09-01 Pablo A. Ferrari Transfer of Learning Across Compositions of Sequential Tasks 1996-09-05 Satinder P. Singh An OO Encapsulation of Lightweight OS Concurrency Mechanisms in the ACE Toolkit 1996-08-14 Douglas C. Schmidt DATAMAN project: Towards a Mosaic-like LocationDependant Information Service for Mobile Clients 1995-02-02 High-Concurrency Locking in R-Trees 1995-06-04 Physically-based Modeling for Graphics and Vision 1995-02-09 Client Server Computing on Message Passing Systems: Experiences with PVM-RPC 1998-07-22 Centering in-the-Large: Computing Referential Discourse Segments 1997-04-29 Addressing User Misconceptions within a Goal-oriented, Turn-taking Framework in Dialogue 1997-10-03 Cross-Address Space Dynamic Linking 1995-03-03 Transparent Result Caching 1998-06-23 Distinguishing Genotype and Phenotype in Genetic Programming 1996-06-17 A New Client-Server Architecture for Distributed Query Processing 1994-09-07 A Topologically Distributed Encoding to Facilitate Learning 1996-02-02 The Gluon Propagator in non--Abelian Weizsacker--Williams Fields 1998-05-15 Hypertext Transfer Protocol - HTTP/1.0 1970-01-01 Clitics and the Structure-Function Mapping 1998-10-07 Louisa Sadler Finite order invariants of framed knots in a solid torus and in Arnold's J+-theory of plane curves 1996-07-08 V. Goryunov Evolving Obstacle Avoidance Behavior in a Robot Arm 1997-10-29 A Design Life-Cycle for the Formal Design of User Interfaces 1998-02-27 An Improved Incomplete Cholesky Factorization 1992-09-16 H-Deformation As A Contraction Of 1996-10-05 An Efficient Anytime Algorithm For Multiple-Component Bid Selection in Automated Contracting 1998-12-29 Communication Performance OPTIMISATION REQUIRES MINIMISING VARIANCE 1997-12-02 Permissive Subsorted Partial Logic in CASL 1997-09-07 Cost-Based Optimization for Magic: Algebra and Implementation 1996-03-15 Experiments in Theorem Proving and Model Checking for Protocol Verification 1996-06-20 Klaus Havelund Fast Approximate Fourier Transform via Wavelets Transform 1997-02-05 Statistical Inference For A Computational Model Of Cognition 1998-06-22 A Multithreaded-Based Methodology to Solve Irregular Problems 1996-03-14 Joint Angle-Frequency Estimation Using Multi-Resolution Esprit 1998-02-13 Aweke N. Lemma Tight Performance Bounds on Greedy Policies Based on Imperfect Value Functions 1997-07-04 Approach to Equilibrium of Glauber Dynamics In the One Phase Region. II: The General Case 1997-04-26 Evaluation of Regular Nonlinear Recursions by Deductive Database Techniques 1970-01-01 Jiawei Han Time Issues in Active Database Systems 1995-12-07 A Characterization of GSAT's Performance on a Class of Hard Structured Problems 1998-12-01 An Optimal d-1-Fault-Tolerant Broadcasting Scheme for d-Dimensional Hypercubes 1998-08-03 Siu-cheung Chau Feasible Functions 1998-10-25 Yuri Gurevich Belief Revision in a Multi-Agent environment Recoverability vs. Priority to the Incoming Information 1998-05-10 Direct Least Squares Fitting of Ellipses 1998-04-26 Multilinear Constraints in Two-dimensional Vision and Isogonal Conjugacy 1997-05-20 Kalle A Krithi Ramamritham 1998-05-26 An Approach to Learning Mobile Robot Navigation 1998-09-29 Sebastian Thrun From Best-Effort to Predictive Service based on Microsoft Internet Information Server 1998-05-07 Co-Scheduling Hardware and Software Pipelines 1996-04-03 POS Tagging Using Relaxation Labelling 1997-09-10 Departament Llenguatges Intrinsic Interstellar Absorption in two Radio Galaxies at z=0.8 1998-05-12 Ambiguity and the Principle of Idiosyncratic Interpretation 1999-01-26 Kees Van Deemter A Stop Criterion for the Boltzmann Machine Learning Algorithm 1997-10-15 Berthold Ruf Analysis of Deterministic and Stochastic Petri Nets 1997-01-03 Refining the rules obtained by SLAVE 1996-12-18 Antonio Gonzalez On RT-LOTOS and its application to the formal design of multimedia protocols 1997-10-16 Roberto C. De Oliveira Evaluating Workflow and Process Automation in Wide-Area Software Development 1998-09-09 On Abelian Schemes 1997-01-20 Hannu Tarnanen Agile Application-Aware Adaptation for Mobility 1997-12-29 About Arc-Consistency in Semiring-Based Constraint Problems 1998-01-26 Routing Issues In The Magic Testbed 1998-06-03 Formal Derivation of Divide-and-Conquer Programs: A Case Study in the Multidimensional FFT's 1997-03-23 A Goal-Based Approach to Intelligent Information Retrieval 1993-02-11 Replica Fourier Transforms on ultrametric trees, and block-diagonalizing multi-replica matrices. 1997-04-02 A Modified BFGS Method and Its Global Convergence in Nonconvex Minimization 1998-02-06 HyperChromatic trees: a fine-grained approach to distributed algorithms on RedBlack trees 1998-03-16 Evaluating Predictive Quality Models Derived from Software Measures: Lessons Learned 1996-02-04 From Euclidean Field Theory to Quantum Field Theory 1997-11-18 Dirk Schlingemann Volume Visualization Methods for Scientific Computing 1994-07-15 On Coherence in Computer Algebra 1994-11-25 Andreas Weber Accounting for Mobile Robot Dynamics in Sensor--Based Motion Planning: Experimental Results 1998-06-24 Algorithm for Determination of Module Structure of Predicted and/or Controlled Process 1998-01-12 Ludek Berec ECHO: An Information Gathering Agent 1996-09-05 Pasting In Multiple Categories 1998-01-15 A Concurrent Object-Oriented Programming Language System for Highly Parallel Data-Driven Computers and its Applications 1998-03-09 Masahiro Yasugi Do centrally-managed RSLs or RSLs that focus on specific application areas domain-spe... 1996-10-18 Diversity with cooperation in database schemata: Semantic relativism 1970-01-01 F. Saltor Constraints as a Tool for Distributed Scheduling 1997-11-13 Mark Wallace On Tractability of Path Integration 1996-05-20 Grzegorz W. Wasilkowski Change Management in Heterogeneous Semistructured Databases Demonstration Description 1997-11-07 Interactive Error Repair for an Online Handwriting Interface 1998-04-26 Isoefficiency Function: A Scalability Metric for Parallel Algorithms and Architectures 1993-12-10 An Objective Reuse Metric: Model and Methodology 1997-10-28 Parallelization of the Multibody Simulation Package FEDEM 1995-03-03 Tuning Fuzzy Software Components With A Distributed Evolutionary Engine 1998-02-12 State in Functional Languages - An Annotated Bibliography 1995-11-13 Flat Wormholes From Straight Cosmic Strings 1998-05-24 Marie Curie Believable Advice 1994-02-02 Jim Davis Two Decentralized Algorithms for Strong Interaction Fairness for Systems with Unbounded Speed Variability 1998-07-24 Yuh-jzer Joung Architecture and Implementation of a Distributed Multimedia Annotation Environment: Practical Experiences using Java 1998-03-26 Traffic Reshaping in Packet-Switched Virtual-Circuit Fixed-Packet Networks 1996-11-26 A Redundant Hierarchical Structure for a Distributed Continuous Media Server 1999-01-16 A Computational Description of Japanese Morphology 1997-06-27 Alan W Black Portable Parallel Irregular Applications 1996-10-28 Computation, eds R. C. Milton and J. A. Nelder, pp. 427--440. New York: Academic Press. Loader, C. R. 1996 Local likelihood density estimation. 1998-09-28 The TUFF train scheduler - Two duration trip scheduling on multi directional track networks 1997-09-17 Initial Results from the CHOOZ Long Baseline Reactor Neutrino Oscillation Experiment 1997-11-17 ALAMODE: A Layered Architecture for Model Development 1995-08-23 Groups of Galaxies in the Las Campanas Redshift Survey 1997-10-31 Towards a New Concept of Software 1995-05-15 J Gerard Wolff Reaction Fluid Dynamics 1997-04-07 Receiver-driven Bandwidth Adaptation for Light-weight Sessions 1999-01-23 Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings 1995-09-07 A Refinement of Ball's Theorem on Young Measures 1997-04-30 Norbert Hungerbuhler The Larch Shared Language: Some Open Problems 1996-10-22 James J. Horning Parallel Programming with Control Abstraction 1994-06-15 Domain Decomposition For A Non-Smooth Convex Minimization Problem And Its Application To Plasticity 1996-09-03 Carsten Carstensen G. F'abi'an 1998-07-03 J. E. Rooda DX module to calculate Eigenvalues and Eigenvectors of Second-Order, Symmetric Tensor Fields 1994-01-14 Extensions of Degree 6 with Minimum Discriminant 1997-07-09 Meaning Acquisition by Semiotic Agents: Semiotic Cognitive Information Processing in a language environment 1998-04-22 Burghard B. Rieger Lag in Multiprocessor Virtual Reality 1994-09-26 Matthias M. Wloka Extending an Object-Oriented Model: Multiple Class Objects 1997-08-18 Whole-Program Optimization for Time and Space Efficient Threads 1996-11-21 Parallel Preconditioning Based on h-Hierarchical Finite Elements with Application to Acoustics 1995-05-08 Reconsidering Fragmentation and Reassembly 1998-05-12 Modeling Diagnostic Constraints with AI-ESTATE 1997-04-14 Expressing Composite Events In Infosleuth 1998-12-10 Assumptions in Model-based Diagnosis 1997-02-04 Soft Computing: the Convergence of Emerging Reasoning Technologies 1997-12-02 Piero P. Bonissone Context-Based Vision: Recognizing Objects Using Information From Both 2d And 3d Imagery 1994-08-02 Sigmetrics `96 1996-02-09 RANDOM WALK ON PERIODIC TREES Christiane Takacs 1997-01-17 Christiane Takacs Efficient Generation of Subsets with a Given Sum 1997-12-01 Overview Of The Knowledge Base Management System kappa 1997-04-18 Minimizing the Condition Number of a Positive Definite Matrix By Completion 1993-12-10 Hierarchical Duration Modelling For Speech Recognition Using The Angie Framework 1997-05-16 Robert Felderman, Annette DeSchon, Danny Cohen 1994-10-13 Modelling and Experimental Investigation of Carangiform Locomotion for Control 1998-07-26 Bio-Machines 1996-04-18 Patricio Lerena Charm Production and High Energy Atmospheric Muon and Neutrino Fluxes 1998-05-15 Ica Mixture Models For Unsupervised Classification And Automatic Context Switching 1998-09-22 Growing Grid - a self-organizing network with constant neighborhood range and adaptation strength 1998-11-20 Bernd Fritzke Archetypal Source Code Searches: A Survey of Software Developers and Maintainers 1998-06-01 Using Visualization to Foster Object-Oriented Program Understanding 1994-07-16 Guide to the Multifiber Reduction Task DOFIBERS 1992-05-08 Francisco Valdes Zen and the Art of the Internet 1994-09-29 Naming Conversion Rules Specifications Requirements 1997-07-07 Using Reflection as a Means of Achieving Cooperation 1997-05-09 ESPRIT Basic Research project Acclaim - Final Report 1996-08-08 Conceptual Analogy 1996-11-06 Katy Borner Dynamic Load Balancing for the Simulation of Granular Materials 1995-10-04 Integer and fractional charge solitons in modulated strips in the fractional quantum Hall regime 1996-09-27 Z. Hermon Protocol Mapping for a Bus-Based COMA Multiprocessor 1995-08-08 On the Exponential Map of Almost Simple Real Algebraic Groups 1996-02-07 Partitioning and Reordering Techniques for Static Test Sequence Compaction of Sequential Circuits 1998-12-08 Wavelet Approach To Accelerator Problems, III. Melnikov Functions And Symplectic Topology 1997-05-26 The Application Of Skewed-Associative Memories To Cache Only Memory Architectures 1995-08-21 How to Make Personalized Web Browsing Simple, Secure, and Anonymous 1997-07-06 Charm And Beauty In Particle Physics 1998-05-15 Jonathan L. Rosner Complex Regions in TopologicalQueries 1997-08-06 Backward Symbolic Execution of Protocols 1998-07-04 Gerard J. Holzmann An On-Line Algorithm for Checkpoint Placement 1996-09-09 On computational complexity of contextual languages Lucian Ilie 1996-05-27 Supersymmetric Toda field theories 1998-05-13 G. Papadopoulos Constraint Satisfaction with Probabilistic Preferences on Variable Values 1999-02-02 Access as a Means of Configuring CooperativeInterfaces 1994-01-13 Extracting Comprehensible Concept Representations from Trained Neural Networks 1998-12-21 Chinese Reflexive Ziji in Second Language Acquisition 1996-04-03 Dongdong Chen Unaccusativity in Polish 1998-03-22 Adam Bialy Can Habit Formation be Reconciled with Business Cycle Facts? 1970-01-01 Symmetry Breaking for Suffix Tree Construction 1999-01-03 Suleyman Cenk S LEXICALL: Lexicon Construction for Foreign Language Tutoring 1998-09-05 Bonnie J. Dorr Nowhere Weak Differentiability Of The Pettis Integral 1998-10-19 Nonlinear wavelet shrinkage with Bayes rules and Bayes factors 1997-11-19 Brani Vidakovic Predicting the Spectral Behaviour of Colour Printers for Transparent Inks on Transparent Support 1996-12-04 Simulation of Heterogeneous Networks of Workstations 1995-09-27 Zhichen Xu Self-organizing Formation of Receptive Fields and Competitive Systems 1997-01-13 High Performance and Scalability Through Associative Client-Side Caching 1997-11-26 Previewing PostScript over a Telephone in 3 Seconds Per Page 1995-01-16 John M. Danskin The Importance of Education in Future Population. Global Trends and Case . . . 1996-12-19 Plans And Resource-Bounded Practical Reasoning 1998-02-26 DCT coefficients recovery based error concealment technique and application to the MPEG-2 bit stream error 1996-06-25 Jong Won Member Automating the Refinement of Specifications for Distributed Systems via Syntactic Transformations 1998-05-14 Problems with the NHS Cryptography Strategy 1997-09-22 Ross Anderson Justin A. Boyan 1998-12-17 Justin A. Boyan Strict Archimedean t-Norms and t-Conorms as Universal Approximators 1997-09-11 Partitioning issues in DAQ/EF prototype-1 1997-10-10 Plagiarism and Questionable Appropriation of Text By Non-Native Speaker Students in Taught Postgraduate Courses: Views and Experiences of Postgraduate Staff 1996-10-21 John Philip Lesko A WWW Front End to an OODBMS 1995-02-15 Martin Sjolin Qualitative Analysis for Maintenance Process Assessment 1998-09-05 Applying Genetic Algorithms to Pronoun Resolution 1999-02-10 MAC Protocols for Multimedia Data over HFC Architecture 1996-02-07 Dolors Sala Batlle Efficient Barriers for Distributed Shared Memory Computers 1996-01-20 Improved Definition Video Frame Enhancement 1995-02-21 Implementing Adaptability in the Standard Reference Model for Intelligent Multimedia Presentation Systems 1998-11-05 2-D-S tree: An index structure for content-based retrieval of images 1998-11-03 On the Acceptance Power of Groups and Semigroups 1997-02-19 A Layer-Based Formalization of an On-Board Instrument 1998-12-14 Tommi Mikkonen A Feature-based Constraint System for Logic Programming with Entailment 1994-12-02 Possible Functional Roles of the Bipartite Dendrites of Pyramidal Cells 1998-03-23 TURBIO: A System for Extracting Information from Restricted-domain Texts 1998-06-11 Subsumption for Semantic Query Optimization in OODB 1998-02-06 Concurrent Object Based Modeling of Fuzzy Strategies 1996-07-08 High Performance support for OO traversals in Monet 1996-01-29 Oscillatory And Asymptotic Behaviour Of Solutions Of Advanced Functional Equations 1995-11-21 Jozef D Zurina Simultaneous Almost Minimization of Convex Functions and Duals of Results Related to Maximal Monotonicity 1995-10-27 S. Simons A Rule-based Algorithm for Rigid E-unification 1995-02-10 Jean Goubault On Levels of Detail in Terrains 1995-04-07 On The Position Operator For Massless Particles 1996-10-05 Combination Techniques for Non-Disjoint Equational Theories 1994-12-01 Toward High-Confidence Distributed Programming with Java: Reliable Thread Libraries 1996-06-19 Performance Debugging in the Enterprise Parallel Programming System 1999-01-14 Two-Dimensional Thick-Skeleton Morphing 1996-02-16 Process Discovery and Validation through Event-Data Analysis 1996-11-08 Jonathan E. Cook The Complexity Of Systolic Dissemination Of Information In Interconnection Networks 1994-06-16 Peierls instability for the Holstein model with rational density 1998-06-27 From AI Technology Research to Applications 1998-09-29 Multi-Agent Modelling for Autonomous but Cooperative Robots 1997-11-03 Looking at Markov Samplers through Cusum Path Plots: a simplediagnostic idea 1995-07-26 Bin Yu Cost-Based Optimization of Decision Support Queries using Transient-Views 1998-06-15 Building Your Own Wavelets at Home 1995-12-05 Non Fermi liquid renormalization of the conductivity of fermions coupled to gauge fields 1997-12-11 Learning Complex Output Representations In Connectionist Parsing Of Spoken Language 1995-08-22 Sweeping Algorithms for Inverting the Discrete Ginzburg-Landau Operator 1992-05-05 Man Kam Kwong An Earlier Version of 1998-05-07 Douglas C. Schmidt Admissible Pruning Strategies based on plan minimality for Plan-Space Planning 1996-04-09 Subbarao Kambhampati Reasoning with Qualitative Models 1994-03-10 Benjamin Kuipers Effective Perturbation Methods for One-Dimensional Schrodinger Operators 1997-10-02 Wavefront outer scale monitoring at La Silla 1999-03-03 A TLA Solution to the RPC-Memory Specification Problem 1996-01-12 Stephan Merz FunnelWeb User's Manual 1995-01-28 Probabilistic Planning with Information Gathering and Contingent Execution 1994-01-21 Modeling a Hardware Synthesis Methodology in Isabelle 1996-05-31 Pre And Post-Filtering For Low Bit-Rate Video Coding 1997-09-05 Nuno Vasconcelos The Church-Rosser Property for 1996-12-19 Herman Geuvers Right-, Left- and Multi-Linear Rule Transformations That Maintain Context Information 1998-09-01 Tone in the Bamileke Dschang Associative Construction: An Electrolaryngographic Study and Comparison with Hyman 1985 1994-10-12 Visual Speech Synthesis With Concatenative Speech. 1998-10-06 Sa Hällgren+ Bertil Lyberg Growing Layers of Perceptrons: Introducing the Extentron Algorithm 1994-05-06 The Average Distance between Nodes in the Cyclic Tower of Hanoi Digraph 1997-02-20 Paul K. Stockmeyer User-Centered Evolutionary Software Development Using Python and Java 1997-11-02 Douglas Cunningham Learning Recursive Languages with Bounded Mind Changes 1995-04-28 Unknown 1997-11-19 Tracing Protocols 1999-04-12 Gerard J. Holzmann Summability Theory for Differential-Difference Equations 1998-11-17 B. F. Faber The Bayou Architecture: Support for Data Sharing among Mobile Users 1995-12-01 Scannerless generalized-LR parsing 1999-03-16 File System Logging Versus Clustering: A Performance Comparison 1997-06-26 On A Quantitative Version Of The Oppenheim Conjecture. 1996-03-31 A Scratch Removal Method 1997-12-11 M. Haindl An Asymptotical Variational Principle Associated with the Steepest Descent Method for a Convex Function 1996-06-23 B. Lemaire A Neometric Survey 1997-09-10 H. Jerome Keisler Failure Recovery Algorithms for Multimedia Servers 1998-06-19 Double Standards: Bringing Task Parallelism to HPF Via the Message Passing Interface 1996-10-04 Pointwise Error Estimates for Scalar Conservation Laws With Piecewise Smooth Solutions 1970-01-01 Analytic Combinatorics of Non-crossing Configurations 1997-06-30 Dependency Removal for Transport Protocol Header Compression over Noisy Channels 1997-05-23 Quantum Computers and Dissipation 1998-05-24 A Higher-order Calculus and Theory Abstraction 1997-06-24 Zhaohui Luo Maximum-Likelihood Estimation of Forecast and Observation Error Covariance Parameters 1997-08-12 An Object-Oriented Graphics Kernel 1997-04-16 Gene S. Lee The Design and Performance of a Conflict-avoiding Cache 1997-07-24 Multiple-View Self-Maintenance in Data Warehousing Environments 1997-06-25 Nam Huyn A Truly Concurrent View of Linda Interprocess Communication 1997-07-22 A Unifying Review of Linear Gaussian Models 1998-10-20 Nonbinary Codes Correcting Localized Errors 1998-07-08 Integration of Python into SNiFF+ 1997-11-02 Michael Scharf Linear-Time Pointer-Machine Algorithms for Least Common Ancestors, MST Verification, and Dominators 1998-02-20 Delay, Jitter and Threshold Crossing in ATM Systems with Dispersed Messages 1996-11-11 Refinement Planning: Status and Prospectus 1996-04-14 Subbarao Kambhampati Mixing Synthesis and Video Images of Outdoor Environments: Application to the Bridges of Paris 1996-05-02 Factored Edge-Valued Binary Decision Diagrams 1997-11-25 MICROCOSM: An Open Model for Hypermedia With Dynamic Linking 1993-10-19 Fault Identification in Computer Networks: A Review and a New Approach 1997-07-30 Tim Oates Integrated Visualization Of Parallel Program Performance Data 1996-08-28 The Inclusion-Exclusion Principle and its Applications to Cryptography 1997-04-02 Resolution in the Smyth Powerdomain 1998-04-01 Formal Semantics for Expressing Optimism: The Meaning of HOPE 1999-01-24 KnittingFactory: An Infrastructure for Distributed Web Applications TR 1997--748 1997-11-18 Planning as Refinement Search: A unified framework for comparative analysis of Search Space Size and Performance 1993-09-26 Subbarao Kambhampati Using Remote Memory to avoid Disk Thrashing: A Simulation Study 1995-11-16 Evangelos P. Markatos Constructing Configurable Applications by Combining Monads 1997-06-27 Chris Angus Sorting, Selection and Routing on the Array with Reconfigurable Optical Buses 1995-11-27 S. Rajasekaran Statistical Methods for Speech Transmission Using Hidden Markov Models 1997-03-20 Comparison of Constructions of Irregular Gallager Codes 1998-08-31 Baryogenesis And Damping In Nonminimal Electroweak Models 1998-05-15 Vertex Splitting In Dags And Applications To Partial Scan Designs And Lossy Circuits 1991-10-25 An Industrial Strength Theorem Prover for a Logic Based on Common Lisp 1997-07-24 In Support Of The Equal Rights Movement For Literal And Figurative Language - A Parallel Search And Preferential Choice Model 1998-03-31 Performance of Efficient Minimization Algorithms as Applied to Models of Peptides and Proteins 1998-10-26 Partitioning and Restructuring Designs on the Behavioral Level 1995-06-08 A Wavelet Shrinkage Approach to Tomographic Image Reconstruction 1998-12-28 Eric D. Kolaczyk Gamma-Ray Observations of GRO J1655-40 1997-11-25 Annihilating Complexes Of Modules 1996-05-28 Dmitri Apassov Arrangements of Segments that Share Endpoints: Single Face Results 1997-09-17 Linguistic Modelling in Group Decision Making 1996-06-14 Elephant 2000: A Programming Language Based on Speech Acts 1998-11-07 John Mccarthy A short course on the Lie theory of Semigroups II Lie Semialgebras 1995-08-20 Anselm Eggert Hypertext Transfer Protocol -- HTTP/1.1 1996-07-08 Algebraic Foundation and Improved Methods of Induction of Ripple Down Rules 1996-12-05 Lie Generators For Semigroups Of Transformations On A Polish Space 1996-06-15 Knowledge Acquisition via Tracked Repertory Grids 1970-01-01 General Stereo Image Matching Using Symmetric Complex Wavelets 1996-08-07 He-ping Pan Performance Modeling and Analysis of Distributed Access Network System Using DEVSim++ 1994-12-01 Code Composition as an Implementation Language for Compilers 1998-03-31 Constraint Management in Loosely Coupled Distributed Databases 1998-07-22 Collaborating to Refine Knowledge 1995-06-15 Elementary Derivations of Summation and Transformation Formulas for Q-Series 1996-05-20 George Gasper A Logic for a Coordination Model With Multiple Spaces 1998-04-16 Restructuring Sequential Fortran Code into a Parallel/Distributed Application 1996-09-19 A Domain Wall Model for Ferroelectric Hysteresis 1999-02-01 Competitive Analysis of Randomized Paging Algorithms 1996-10-04 Customizable Middleware for Modular Distributed Software 1999-04-20 WKB to all orders and the accuracy of the semiclassical quantization 1997-04-26 Marko Robnik Automatic Recognition Of Intonation From F 1995-05-11 Paul Taylor Constrained Camera Parameter Estimation and 3D Points Reconstruction from a Single Image 1998-01-06 INQUERY Does Battle With TREC-6 1998-02-13 A Framework of Memory Consistency Models 1999-04-24 Domain Specific Software Architectures DSSA 1995-03-06 Bradford K. Clark Locality-Aware Request Distribution in Cluster-based Network Servers 1998-11-13 Present-Day Deductive Planning 1997-01-13 Susanne Biundo Recognition Of Spoken And Spelled Proper Names 1997-12-10 VIP: A Protocol Providing Host Mobility 1997-08-03 Massless Limits of Massive Tensor Fields 1998-05-14 Shinji Hamamoto Two Views of the Theory of Rough Sets in Finite Universes 1996-08-16 Y. Y. Yao Task Migration on top of the Mach Microkernel - Design and Implementation 1992-12-01 The Geometry of Conformal Measures for Parabolic Rational Maps 1998-09-28 B. O. Stratmann A Compiler-Directed Cache Coherence Scheme with Improved Intertask Locality 1995-04-24 COCOLOG: A Conditional Observer and Controller Logic for Finite Machines 1994-09-08 P. E. Caines XDeltavg 1995-08-20 Karl H. Hofmann Covariant-Conics Decomposition of Quartics for 2D Object Recognition and Affine Alignment 1998-07-07 Experimental Search for Chargino and Neutralino Production via Gauge-Mediated Supersymmetry Breaking Models 1970-01-01 The D Collaboration RobustPitch Period Detection Using Dynamic Programming With An Ann Cost Function 1996-08-01 Update and Repair of a Roadmap after Model Error Discovery 1998-04-09 Alistair M Software Components Enable Wide-Area Supercomputing: Takeoff of the Albatross 1998-04-15 Design and Implementation of a Distributed X-Multiplexor 1998-04-25 Fast Marching The Global Minimum Of Active Contours 1997-11-13 Accurate Scale Determinations for the Wilson Gauge Action 1997-11-10 ILA: Combining Inductive Learning with Prior Knowledge and Reasoning 1998-05-19 A Uniform Framework for Concept Definitions inDescription Logics 1997-03-25 Maurizio Lenzerini Encrypted Key Exchange: Password-Based Protocols Secure Against Dictionary Attacks 1994-07-28 A Flexible Security System for Metacomputing Environments 1998-12-04 Interactive Security Assistance for End-User Supervision of Untrusted Programs 1996-10-25 On a Gap Phenomenon for Isoperimetrically Constrained Variational Problems 1995-10-27 Victor J. Mizel Controlling Synchro-drive Robots with the Dynamic Window Approach to Collision Avoidance 1998-09-29 Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction 1994-07-08 Parallel Algorithms for Forward Elimination and Backward Substitution in Direct Solution of Sparse Linear Systems 1995-06-27 Evolutionary Dynamics and Optimization 1996-01-20 Generalized Privacy Amplification 1998-07-15 Connecting Viewpoints by Shared Phenomena 1996-09-09 Tight-Binding Hamiltonians For Carbon And Silicon 1998-04-13 A Simultaneous Maximum Likelihood Approach for Galaxy-Galaxy Lensing and Cluster Lens Reconstruction 1998-04-22 Bernhard Geiger A Posteriori Guidance for Astronomical Images 1998-04-14 Integrating Bayesian Networks into Knowledge-Intensive CBR 1998-08-19 Workload Characterization of Input/Output Intensive Parallel Applications 1998-01-06 Cohomology Rings And Nilpotent Quotients Of Real And Complex Arrangements 1999-04-03 Logic Programming with Constructor-based Type Constraints 1994-06-01 Hans-joachim Goltz Realizable Mimo Decision Feedback Equalizers 1998-09-11 Dually Chordal Graphs 1970-01-01 Optimized Error Diffusion for High Quality Image Display 1996-11-26 Active Object 1995-11-14 Cours IFT6266, Algorithmes d'apprentissage "classiques" 1998-10-03 Cours Ift A posteriori error analysis for numerical approximations of Friedrichs systems 1999-04-01 Natural Proofs 1994-12-13 Remote Control of Muon Walls in the Extended Barrel Module 0 Tilecal Beam Test July -- August 1997 1998-03-22 Heterogeneous Ontology Structures for Distributed Architectures 1998-05-28 Video Classification Using Speaker Identification 1998-06-05 Evolution of Small Scale Filaments in an Adaptive Advection Model for Idealized Tracer Transport 1998-10-06 Predicting When to Reboot "Continuously Operating" Systems 1999-03-16 Approximate Algorithms for Time Separation of Events 1997-08-09 On Approximating the Longest Path in a Graph 1995-08-10 Non-Overlapping Domain Decomposition Methods 1998-07-10 R. Verfurth A graphical MSC editor 1997-11-03 Automatic Differentiation of a Parallel Molecular Dynamics Application 1997-12-02 Observations on Time-Adaptive Self-Stabilization 1997-10-15 Ted Herman Software Engineering for Parallelism: An Exercise in Separating Design and Implementation 1994-02-23 Asymptotic Behavior Of Solutions For The Wave Equation With Damping Concentrated In Interior Curves 1994-12-27 Computing the Exact Distribution of the Extremes of Linear Combinations of Spacings 1996-03-25 Translation problems and translation strategies involved in human and machine translation: Empirical studies 1997-07-31 Unification of Active and Passive Objects in an Object-Oriented Operating System 1997-12-10 Exploiting Idle Floating-Point Resources For Integer Execution 1998-07-21 A Persistent Distributed Store for Cooperative Applications 1996-10-15 Framework Programme A Region-Level Graph Labeling Approach to Motion-Based Segmentation 1997-01-21 On Weighted Centers For Semidefinite Programming 1996-07-03 Jos F. Sturm Image Coding by Matching Pursuit and Perceptual Pruning 1997-07-31 Modern Game Theory: Deduction vs. Induction 1997-03-23 Amy Greenwald The Storage and Querying of 3D Objects for the Dynamic Composition of VRML Worlds 1998-12-07 Genetic Synthesis of Cascade Structures for Particle Classification 1998-05-02 Alexander Kosorukoff How To Prove Faithfulness Of Elementary Theory Interpretations 1997-11-22 R. A. Riemenschneider Low-Latency Communication on the IBM RISC System/6000 SP 1997-03-21 Solving Congestion Toll Pricing Models 1997-09-19 Lightweight Transactions on Networks of Workstations 1997-10-20 The Efficacy of 1996-06-27 Quantum Phase 1995-12-21 Synchronization Elimination In The Deposit Model 1996-05-24 Susan Hinrichs Experiments in Theorem Proving and Model Checking for Protocol Verification 1996-06-20 Extended Braitenberg Architectures 1999-01-11 Case-Based Sonogram Classification 1995-01-11 Using the Tools of Parallel Program Performance Evaluation to Visualize Scientific Data 1970-01-01 Correct-schema-guided Synthesis of Steadfast Programs 1997-11-20 Library Information Services:an Astronomer's Wishlist 1998-09-18 Heinz Andernach Subband-Based Speech Recognition 1998-01-13 Minimum Delay Routing In Multisatellite Networks 1995-05-31 Divide to Coordinate: Coevolutionary Problem Solving 1995-12-20 Measuring Lesion Growth from 3D Medical Images 1998-01-21 Guillaume Calmon Reduction Number Bounds On Analytic Deviation 2 Ideals And Cohen-Macaulayness Of Associated Graded Rings 1994-11-13 Colimits For The Pro Category Of Towers Of Simplicial Sets 1995-05-10 David Blanc On Langevin Updating in Multilayer Perceptrons 1993-10-25 Data Parallel Finite Element Techniques for Compressible Flow Problems 1970-01-01 Tetrahedral Grid Refinement 1997-09-10 Jurgen Bey Tubingen Hybrid Caching for Large-Scale Object Systems Think Globally, Act Locally 1996-06-27 Liuba Shrira Spectral Deformations Of Jacobi Operators 1997-05-13 Gerald Teschl A Specification of the Domain of Process Planning: Properties, Problems and Solutions 1997-02-13 Frank Weberskirch Architectural Mechanisms for Explicit Communication in Shared Memory Multiprocessors 1996-03-24 A Generalization of Intersection Formulae of Integral Geometry 1998-02-09 Stefan Glasauer On The Equitable Chromatic Number of Complete n-Partite Graphs 1996-01-19 Flick: A Flexible, Optimizing IDL Compiler 1997-03-07 Inverse Multidimensional scaling 1995-06-20 P. J. F. Groenen Optimal Model-Based Decomposition Of Powertrain System Design 1995-09-27 On Generalizing the Cut-off Phenomenon for Random Walks on Groups 1994-08-03 Jeffrey S. Rosenthal Simultaneous Driver and Wire Sizing for Performance and Power Optimization 1994-12-13 Th&#x00E9;orie de Liouville et gravitation quantique: du couplage faible au couplage fort 1998-05-23 Enhancing Project-Based Learning: Variations on Mentoring 1995-09-07 All Ramsey numbers rK 3 ,G for connected graphs of order 7 and 8 1996-05-31 Fakultat Fur Mathematik Close-Point Spatial Tests And Their Application To Random Number Generators 1998-09-09 Unknown 1996-11-19 S. J. Peale Canonical Ridge Analysis with Ridge Parameter Optimization 1998-02-02 Spline Collocation For Convolutional Parabolic Boundary Integral Equations 1999-03-30 Retargetable Code Generation For Parallel, Pipelined Processor Structures. 1998-06-17 Wolfgang Schenk An operationalistic reformulation of Einstein's equivalence principle 1998-02-09 Minimalism + Distribution = Supermodularity 1996-04-22 Efficient Learning of Typical Finite Automata from Random Walks 1996-08-12 Multiresolution Detection Of Stellate Lesions In Mammograms 1999-02-03 Supporting Transaction Design in Conceptual Modelling of Information Systems 1997-10-31 Automatically Generating Environments for Dynamic Diagram Languages 1998-11-13 Mark Minas Protocols for Providing Performance Guarantees in a Packet-Switching Internet 1991-03-26 Carlyn M. Lowery Open Microkernel Technology, Key to Evolving Telecommunication Systems and Networks 1996-09-12 On line Pixel Classification, Incremental Decision Trees, Object Recognition 1998-06-22 Interactive and Dynamic Content in Software Repositories 1997-02-26 The Simple MIME eXchange Protocol 1995-06-21 A Bootstrap Test For Comparing Performance Of Programs When Data Are Censored, And Comparisons To Etzioni's Test 1998-04-10 A New Continuous Propositional Logic 1995-06-07 Designing Hierarchical Storage Systems for Interactive On-Demand Video Services 1999-03-15 Deadlock-Free Multicast Wormhole Routing in Multicomputer Networks 1991-06-27 Drinfel'd Doubles And Ehresmann Doubles For Lie Algebroids And Lie Bialgebroids 1998-11-18 Anatomy of the Pentium Bug 1995-06-11 Vaughan Pratt The Nature of Characters in Interactive Worlds and The Oz Project 1994-04-29 Joseph Bates Cisoid parameterestimation in the colored noise case: Asymptotic Cram'er-Rao bound, maximum likelihood and nonlinear least-squares 1998-10-15 Reducing the Cost of Regression Testing by Semantics Guided Test Case Selection 1995-11-03 David Binkley The Optimal Effectiveness Metric for Parallel Application Analysis 1997-06-16 Failure and its Recovery in an Object-Oriented Distributed System 1970-01-01 Stephen Crane Teaching C in a Functional Style 1995-09-07 Andrew Davison Twenty-One at TREC-7: Ad-hoc and Cross-language track 1999-02-08 Evolutionary Trees Andris Ambainis 1998-07-06 Combining Neural Networks for Protein Secondary Structure Prediction 1995-09-13 Søren Kamaric Riis Extending SUIF for Machine-dependent Optimizations 1996-03-05 Michael D. Smith Concurrent Interactive Processes in a Pure Functional Language 1995-12-13 Equational Reasoning with 2-dimensional Diagrams 1994-07-05 Yves Lafont Neuroinformatics based on VRML 1998-02-02 Structurally Gated Pairwise Geometric Histograms for Shape Indexing 1997-07-09 Throughput Optimization in Disk-Based Real-Time Application Specific Systems 1996-07-11 A Polymorphic Calculus for Database Languages 1996-11-07 Leonidas Fegaras Message Passing In A Distributed, Object-Oriented Condition Monitoring And Maintenance Planning System 1996-03-01 Kolmogorov Entropy From Time Series Using Information-Theoretic Functionals 1997-07-03 Milan Palus Tail Bounds for Occupancy and the Satisfiability Threshold Conjecture 1995-08-10 How Natural Inputs Aid Interaction in Graphical Simulations? 1998-09-21 Objective 1998-06-13 Knowledge Representation in Process Engineering 1998-04-15 Ulrike Sattler A Clustering Approach to Explore Grain-Sizes in the Definition of Weakly Programmable Processing Elements 1997-12-22 Chain Properties of Rule Closures 1998-04-15 Miki Hermann Functional programming using Caml Light 1994-10-19 Michel Mauny Ill-Conditioning In Neural Network Training Problems 1994-06-27 The Abstraction-First Approach to Encouraging Reuse 1997-08-15 Philip Machanick Using B+-Trees in a Two-Disk Single Processor Architecture to Efficiently Process . . . 1997-11-10 Ensemble Learning For Independent Component Analysis 1998-10-05 Adaptation Asymmetry in Manual Tracking 1997-06-19 Nissan Rd Inc Approximate Analytic Matrix Factorisations As Preconditioners For Newton's Method 1998-05-26 Michael Drexler Detection of Side-Effects in Function Procedures 1995-05-27 Robert Griesemer 1st Order Logic Formal Concept Analysis: from logic programming to theory 1998-09-22 A Solver For Time Dependent Viscoelastic Fluid Flows 1995-11-08 Fredrik Olsson Uniqueness and Error Estimates in First Order Quasilinear Conservation Laws Via the Kinetic Entropy Defect Measure 1998-05-26 Benoit Perthame Better Methods for Solving Parsimony and Compatibility 1998-11-16 Large scale clustering from Non-Gaussian texture models 1997-05-06 Annotation-Directed Run-Time Specialization in C 1997-06-24 A Tutorial on Using PVS for Hardware Verification 1994-11-02 On Ito's formula for multidimensional Brownian motion 1998-11-26 Bandwidth Modelling for Network-Aware Applications 1998-12-21 Bayesian Inference for Some Mixture Problems in Quality and Reliability 1999-01-05 Evolution of the Gluon Density in 1998-05-24 Gian Paolo Vacca Improved Histograms for Selectivity Estimation of Range Predicates 1997-11-06 The Baldwin Effect in the Immune System: Learning by Somatic Hypermutation 1999-01-09 Adaptation-Guided Retrieval in EBMT: A Case-Based Approach to Machine Translation 1996-08-15 Proceedings of the Second International Workshop on PEIRCE: A Conceptual Graphs Workbench 1994-09-25 A partial solution for D-unification based on a reduction to AC1-unification 1996-02-22 A Free Boundary Problem in Rd With Both Smooth and Nonsmooth Fit 1970-01-01 Analysis of Agent Programs using Action Models 1998-03-18 Algorithms for Cluster Busting in Anchored Graph Drawing 1998-04-04 Classified Advertisement Search Agent CASA: A Knowledge-Based Information Agent for Searching Semi-Structured Text 1998-03-20 Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols 1996-07-25 Geometric Models of the Classical Relativistic Oscillator 1998-05-05 The finite element approximation of semi-linear elliptic PDEs. . . 1996-11-08 Computing 2-Dimensional Min, Median and Max Filters 1996-10-07 Autonomous Map Learning For A Multisensor Mobile Robot Using Diktiometric Representation And Negotiation Mechanism 1998-04-09 Tree-level String Cosmology 1970-01-01 A look-ahead Schur Algorithm 1995-05-11 What Do Photographs Tell Us About 3D Shape? 1998-01-29 The Application of a Distributed Genetic Algorithm to a Generic Scheduling System. 1997-03-07 Quantum Automata and Quantum Grammars 1997-07-17 Efficient On-Line Call Control Algorithms 1998-02-04 Form Factor From QCD Sum Rules 1998-05-13 T. Meissner A Statistical View on Bilingual Lexicon Extraction: From Parallel Corpora to Non-Parallel Corpora 1999-03-08 Pascale Fung Time Delay and Spatial Signature Estimation Using Known Asynchronous Signals 1998-03-24 A. Swindlehurst Improving Satisfiability Algorithms with Dominance and Partitioning 1998-08-06 Pattern Learning In A Cortical Circuit 1997-10-16 M. R. James RANDOM WALK ON PERIODIC TREES Christiane Takacs 1998-09-13 Christiane Takacs Empty Interworkings and Refinement 1996-02-09 The Power of Approximating: a Comparison of Activation Functions 1998-04-08 ANU/ACSys TREC-6 Experiments 1998-11-25 The Best Bounds In A Theorem Of Russell Lyons 1998-10-27 Building Domain-Specific Search Engines with Machine Learning Techniques 1998-11-12 The Use of Hints by Human and Computer Tutors: The Consequences of the Tutoring Protocol 1996-09-14 Cv 1997-12-31 Andrew J. Newman Efficient Search of Reliable Exceptions 1999-01-09 Processing Ipswich Data With The Local Shape Function Method And Distorted Born Iterative Method 1997-07-25 Antibracket, Antifields and Gauge-Theory Quantization 1998-05-23 Authorisation and Privacy in a Networked World 1999-05-06 Lawrie Brown A Probabilistic Framework for Perceptual Grouping of Features for Human Face Detection 1996-08-20 A Comparison of the Multiscale Retinex With Other Image Enhancement Techniques 1997-04-08 On a Theorem of Andrievskii and Ruscheweyh 1998-10-16 Richard Greiner Parallel Stochastic Finite Element Analysis on Distributed Memory Multiprocessors 1992-08-24 Registration Error Analysis for Augmented Reality 1996-08-28 Richard L. Holloway Hybrid Genetic Algorithms for Bin-packing and Related Problems 1995-11-13 Colin Reeves Temporal Texture Modeling 1996-06-01 Volunteer Computing 1996-10-04 Luis F. G. Sarmenta Envelope burning over-luminosity: a challenge to synthetic TP-AGB models 1998-05-11 Paola Marigo A Default Interpretation of Defeasible Network 1997-08-05 SAR ATR Via Pose-tagged Partial Evidence Fusion 1996-04-16 Guidelines for OSI NSAP Allocation in the Internet 1994-06-03 Ross Callon dec Symplectic Convexity Theorems 1970-01-01 On the Cohomology of Finite Groups of Lie Type 1993-03-25 Guido Mislin Towards Knowledge-Level Analysis of Motion Planning 1995-01-19 Accuracy of Multiple Sequence Alignments as Assessed By Reference to Structural Alignments 1995-12-13 O. Gotoh Modeling Cyclicity and Generalized Cost-Based Abduction Using Linear Constraint Satisfaction 1996-02-20 Eugene Santos Paralleltermgraphrewritingand Concurrent Logic Programs 1998-04-30 G. A. Papadopoulos A Tuning Aid For Discretization In Rule Induction 1996-11-18 Compiling Sequential Programs for Speculative Parallelism 1996-02-21 Infinite-Valued Logic Based on Two-Valued Logic and Probability - Part 1.3. Reference Experiments and Label Sets 1970-01-01 Ellen Hisdal LQ performance bounds for adaptive output feedback controllers for functionally uncertain nonlinear systems 1998-10-12 Dynamic Bandwidth Allocation Policies 1998-02-04 Computer Science Simultaneous Refinement of Pose and Sensor Registration 1997-01-06 A. Schwickerath Partitioning anArray onto a Mesh of Processors 1999-03-18 Fredrik Manne A Hybrid Trainable Rule-based System 1995-06-07 Fuzzy Interface with Prior Concepts and Non-convex Regularization 1998-01-26 Jorg C. Lemm Configurationality and Greek clause structure 1996-09-05 Neil Smith Super-replication under Gamma constraints 1999-03-31 Nizar Touzi PDS: A Performance Database Server 1995-02-13 ADIFOR: Fortran Source Translation for Efficient Derivatives 1997-01-27 BinProlog 7.0 Professional Edition - Internet Programming Guide 1999-03-05 Paul Tarau High PerformanceFortran and Possible Extensions to support Conjugate Gradient Algorithms 1995-04-13 Partial Characterizations of Networks Supporting Shortest-Path Interval Labeling Schemes 1997-10-20 Performance and Properties of a Class of Parallel Continuous Explicit Runge-Kutta Methods for Ordinary and Delay Differential Equations 1995-02-01 C. A. H. Paul Mathematical Derivation of Chiral Anomaly in Lattice Gauge Theory with Wilson's Action 1997-08-21 Tetsuya Hattori An Architecture for Argumentative Dialogue Planning 1997-04-18 A Framework for Customizing Coherence Protocols of Distrbuted File Caches in Lucas File System 1994-12-19 Logic Programming with Constructor-based Type Constraints 1994-06-01 Hans-joachim Goltz Power vs. Performance Tradeoffs for Reduced Resolution Adaptive Equalizers 1998-08-15 An Algorithm to Calculate the Kernel of Certain Polynomial Ring Homomorphisms 1996-08-21 Pose from Pushing 1996-03-23 Ordering and Demixing Transitions in Multicomponent Widom--Rowlinson Models 1997-08-21 Maximally Fast Recursive Algorithms 1997-04-11 Fault and Failure Tolerance 1995-10-23 Jack D. Cowan Generalized Partially Linear Single-Index Models 1995-09-11 Automatic Acquisition of Terminological Resources for Information Extraction Applications 1999-04-07 Byron Georgantopoulos Analysis of a Biologically Motivated Neural Network for Character Recognition 1992-10-14 General Dynamic Routing with Per-Packet Delay Guarantees of O distance + 1 / session rate 1997-11-26 Spontaneous Nucleation In A Reactive Lattice Gas Automaton 1995-12-20 Jorg R. Weimar Simulation Of Sparse Random Networks On A Cnaps Simd Neurocomputer 1998-03-23 Active Messages: a Mechanism for Integrated Communication and Computation 1996-09-15 The Evolution of Consciousness 1998-04-23 Flexible Network Support for Mobility 1998-09-01 On Optimal Multiversion Access Structures 1995-06-21 Bag of Words and Word Psitions 1996-07-11 William Cohen Ornl/tm-12187 1970-01-01 Legendre Functions and the Method of Random Bregman Projections 1995-03-03 A Survey of Models of Parallel Computation 1997-03-20 Duncan K. G. Campbell Induction Operators and Intermediate Forms 1998-09-11 Gamma<F1... 1998-06-05 From Sound and Complete to Approximate Deduction 1997-03-11 Fabio Massacci Views: A way for pattern matching to cohabit with data abstraction 1995-11-02 Philip Wadler An Analysis of Loop Permutation on the HP PA-RISC 1998-12-27 Translating Structured Commands Into Linear Code 1994-12-10 Mark Saaltink Force-Velocity Relations of a Two-State Crossbridge Model for Molecular Motors 1998-12-23 Probabilistic Roadmap Methods are Embarrassingly Parallel 1999-04-10 Interprocedural Analysis for Loop Scheduling and Data Allocation 1998-07-10 An Analysis of Five Depth Recovery Techniques. 1997-06-21 Claus Siggaard Andersen Technical Memo 1997-08-05 Formal Design And Testing Of Army Communication Protocols Based On Estelle 1997-06-20 Study of Scalable Declustering Algorithms for Parallel Grid Files 1997-12-07 Solving Problems with Hard and Soft Constraints Using a Stochastic Algorithm for MAX-SAT 1996-05-14 Assessor Agreement in Rating SPICE Processes 1997-03-05 Detection of spelling errors in Swedish not using a word list en clair 1998-01-16 Determining Consensus Numbers 1996-12-19 Pruning Meta-Classifiers in a Distributed Data Mining System 1998-07-31 Ontology-based Web Agents 1997-08-14 The Computational Complexity of Knot and Link Problems 1998-06-17 Improving Classification Methods via Feature Selection 1994-11-23 Steven Salzberg Algorithms For Rendering Cubic Curves 1995-04-26 3D Segmentation and Labeling Using Unsupervised Clustering For Volumetric Measurments On Brain CT Imaging 1997-11-13 Competition-Based Learning 1994-12-19 Khoa Doan, Catherine Plaisant and Ben Shneiderman 1998-09-05 Towards A More Comprehensive Picture Of The Nucleon 1998-07-15 N. Kalantar-nayestanaki A Top-10 Approach to Prefetching on the Web 1996-08-30 The CADE-14 ATP System Competition 1998-10-22 Motion of Molecular Motor Ratcheted By Internal Fluctuations and Protein Friction 1997-10-02 Fault Tolerant Design of Multimedia Servers 1994-11-02 Exploiting Commuting Operations In Parallelizing Serial Programs 1995-07-06 Pedro Diniz Task Driven Perceptual Organization for Extraction of Rooftop Polygons 1994-10-18 Cross-Application Hypertext for Qualitative Decision Making 1994-01-24 Jane M. Fritz Intelligent Mutation Rate Control in Canonical Genetic Algorithms 1996-01-26 Thomas Back Fast Recovery in Transient-Versioned Databases 1997-10-27 Decomposing Typed Lambda Calculus Into a Couple of Categorical Programming Languages 1996-12-17 Masahito Hasegawa The Probabilistic Method Yields Deterministic Parallel Algorithms 1995-08-10 Dynamic Programming Tools for Control of Telecommunication Systems 1996-08-02 Ger Koole A Model for 3D Interaction with Hierarchical Information Spaces 1995-04-19 Demand-Driven Database Integration for Biomolecular Applications 1994-08-01 Karl Aberer Disjunctive Defaults 1996-04-29 A Transmission Scheme For Twisted Pair Lines With Coding, Precoding, And Blind Equalization 1997-11-19 Evolutionary Programming-BasedOptimal Robust Locomotion Control of Autonomous Mobile Robots 1997-01-30 High Level Design Proof of a Reliable Computing Platform 1996-07-31 Automatic Creation of Sequential Control Schemes in Polynomial Time 1993-10-14 The Resource Constrained Shortest Path Problem Implemented in a Lazy Functional Language 1996-02-21 Protocols using Anonymous Connections: Mobile Applications 1999-01-18 A Logical Characterization of Bisimulation for Labeled Markov Processes 1998-02-23 Induction of First-Order Decision Lists: Results on Learning the Past Tense of English Verbs 1995-06-28 MedMaker: A Mediation System Based on Declarative Specifications 1970-01-01 Evolving non-Trivial Behaviors on Real Robots: an Autonomous Robot that Picks up Objects 1995-12-01 Validation of Voting Committees 1997-08-15 Eric Bax A Compile Time Model for Composing Parallel Programs 1995-03-07 Susan Hinrichs Self-Calibration of a Moving Camera By Pre-Calibration 1995-10-27 Peter Sturm Constraints On Stellar Interior Physics From Helioseismology 1997-02-10 Recognizing Text Genres with Simple Metrics Using Discriminant Analysis 1994-12-09 Second solution of Demkov-Ostrovsky superpotentials 1998-05-12 Parameter Estimation And Analysis Of Actuators For The Bact Wind-Tunnel Model 1997-01-17 Martin R. Waszak Convergence And Persistence Of Left-Right Political Orientations In The Netherlands 1978-1995 1997-03-14 A Systematic Software Reuse Program Based On An Architecture-Centric Domain Analysis 1996-03-21 Day Tuesday A Strong Winner--Take--All Model Based on Integration of Potential Differences 1998-03-23 Ralf Moller David S. Touretzky, Hank S. Wan 1994-05-12 An Iterative Approach to Computing a Direction of Negative Curvature 1998-03-19 Erik Boman Evaluating the Performance of OO Network Programming Toolkits 1996-08-11 Search for TeV 1996-11-11 Continuity for Multi-Type Branching Processes With Varying Environments: Example 1998-09-04 Owen Dafydd Jones Adaptive Streaming of MPEG Video over IP Networks 1998-07-30 A Spectral Bundle Method for Semidefinite Programming 1997-10-20 Typechecking and Modules for Multi-Methods 1995-08-19 Self Consistent 1998-05-25 Termination properties of spatial Datalog programs 1998-12-27 The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization 1994-11-11 DNA Sequence Classification Using Compression-Based Induction 1995-05-02 Splice site prediction in Arabidopsis thaliana pr-emRNA by combining local and global sequence information 1996-08-27 Justin A. Boyan 1998-12-17 Justin A. Boyan Essential Instability of Pulses, and Bifurcations to Modulated Travelling Waves 1998-11-05 Using C4.5 as an Induction Engine for Agent Modelling: An Experiment of Optimisation 1997-05-28 Patrick Chiu Alexander Turbiner 1997-10-22 Alexander Turbiner Scalable Non-Transactional Replication in the Internet 1998-04-16 Scalable Query Assistance for Search Engines 1998-08-27 A Parallel Approach to the Stable Marriage Problem 1997-02-05 Jesper Larsen Feed-forward Neural Nets as Models for Time Series Forecasting 1991-08-26 Refinement of Parameterized Algebraic Specifications 1997-02-14 Yellamraju V. Srinivas Benchmark of some Learning Algorithms for Single Layer and Hopfield Networks 1996-08-30 E. Mayoraz Updating Position Estimate Of Mobile Robots In Curvilinear Environments Via Range Measures 1998-04-09 Vincenzo Caglioti Bayesian Networks 1994-03-16 Reduction Of Coding Artifacts In Transform Image Coding By Using Local Statistics Of Transform Coefficients 1998-09-29 The Starburst Rule System: Language Design, Implementation, and Applications 1996-06-26 Jennifer Widom The Linear Polarization of Sagittarius A* I. VLA Spectro-polarimetry at 4.8 and 8.4 GHz 1999-01-27 Overview of Decompositional, Model-based Learning 1996-05-01 Brian C. Williams Journal of Graph Algorithms and Applications 1998-10-05 Identifying Emotion in Static Face Images 1995-11-11 Aspects Of Graphical Models Connected With Causality 1994-05-17 Judea Pearl Finding a One-Variable Pattern From Incomplete Data 1998-05-07 Differential Rigidity of Anosov Actions of Higher Rank Abelian Groups and Algebraic Lattice Actions 1997-10-03 New Developments in Lattice-Based Search Strategies in SRI's Hub4 System 1998-03-31 The Automorphism Group of an 18, 9, 8 Quaternary Code 1997-03-05 Xremote Protocol 1994-01-27 Danskin Hanrahan Bayesian Nonparametric Mixture Modeling 1995-10-31 Design of a Fast Validated Dot Product Operation 1994-05-23 H-BIND: A New Approach to Providing Statistical Performance Guarantees to VBR Traffic 1997-01-07 Edward W. Knightly Customized Dynamic Load Balancing for a Network of Workstations 1998-08-11 Singularity analysis and asymptotics of Bernoulli sums 1998-04-14 Projet Algo Mark Drummond John Bresina Keith Swanson 1997-04-20 Perturbative Oscillation Criteria And Hardy-Type Inequalities 1997-04-26 F. Gesztesy Alignment Networks and Electrical Networks 1999-02-06 Interfaces for Disk-Directed I/O 1998-12-27 David Kotz Glr* : A Robust Parser For Spontaneously Spoken Language 1997-02-06 Alon Lavie A Neural Network Architecture for High-Speed Database Query Processing 1995-09-06 On The Number Of Invariant Straight Lines For Polynomial Differential Systems 1998-05-19 Joan C. Art A Theory of "May" Testing for Asynchronous Languages 1998-10-19 Moses: An Automatic Code Generation Tool for Client-Server Applications Written in GENISAS 1998-06-18 Ron Fulbright More on Scheduling Block-Cyclic Array Redistribution 1998-03-10 Proper Time: Causal and Temporal Relations of a Distributed System 1996-04-09 A High-Performance, Portable Implementation of the MPI Message Passing Interface Standard 1997-12-26 Resolving Attribute Incompatibility in Database Integration: An Evidential Reasoning Approach 1993-12-08 Correspondences Between Valued Division Algebras And Graded Division Algebras 1999-03-25 Decision Models in Clinical Recommendations Development: the Stroke Prevention Policy Model 1995-05-26 Potentialised Partial Differential Equations in Theoretical Spatial Economics: Further Theoretical and Computer Simulation Results 1995-10-17 UNIVERSIT . . AT BONN Physikalisches Institut 1997-04-03 Existence of Feasible Potentials on Infinite Networks 1996-06-24 The MOL Project: An Open, Extensible Metacomputer 1997-10-26 A Unifying Approach to Monotonic Language Learning on Informant 1995-04-28 Bayesian Model Selection for M/G/1 Queues 1997-11-08 Domain Theory in Learning Processes 1999-01-19 A. Edalat On Determining the Congruity of Point Sets in Higher Dimensions 1998-01-16 Tatsuya Akutsu Combined LAURA-UPS Hypersonic Solution Procedure 1998-08-24 Bayesian VQ Image Filtering design with fast adaptation Competitive Neural Networks 1999-02-04 I. Echave Adaptive Learning Rate Selection for Backpropagation Networks 1995-09-06 Disequilibrium Likelihoods for Fine-Scale Mapping of a Rare Allele 1998-05-01 Jinko Graham Mechanics of Blood Vessels 1994-09-23 automorphism is Bernoulli then the 1999-01-20 Latency Time and Absence of Group Effect: Two Examples 1998-01-21 Polygon Dissections and Standard Young Tableaux 1996-07-19 Richard P. Stanley Approximation of Complex Numbers by Cyclotomic Integers 1996-08-30 Internet and the Humanities: Concepts and Techniques 1997-04-30 Graph Multidrawing: Finding Nice Drawings Without Defining Nice 1998-10-28 Shail Aditya Alejandro Caro 1993-03-29 The Recurrent Cascade-Correlation Architecture 1997-09-17 Scott E. Fahlman Specifying Distributed Software Architectures 1995-06-19 A Taxonomy of Complexity Classes of Functions 1992-06-09 Alan L. Selman A Type-Theoretic Interpretation of Standard ML 1997-11-11 Remote Load-Sensitive Caching for Multi-Server Database Systems 1997-12-13 Throughput Optimization with Design Space Exploration during Partitioning for Multi-FPGA Architectures 1999-01-26 Wavelet Interpolation Networks 1998-04-17 Entropic Repulsion For Gaussian Fields: An Alternative Proof Of The Lower Bound 1998-02-12 Giambattista Giacomin Review of Particle Physics: C. Caso 1998-06-10 On the Representational Power of Bit-Level and Word-Level Decision Diagrams 1997-11-05 Graham Denham and Phil Hanlon 1998-02-01 Reinforcement Learning of Hierarchical Fuzzy Behaviors for Autonomous Agents 1996-08-09 FERMILAB-Pub-94/???-A UMN-TH-1307/94 astro-ph/9410007 submitted to 1998-05-12 Evolving Algebras and Labelled Deductive Systems for the Semantic Network Based Reasoning 1997-12-18 The Effects of Runtime Coordination Strategies Within Static Organizations 1997-07-29 Improving Satisfiability Algorithms with Dominance and Partitioning 1997-09-15 No MatterWhere You Go, There You Are 1997-02-27 Axel Cleeremans Reliability of a Commercial Telecommunications System 1997-03-12 Karama Kanoun Tragic Loss Or Good Riddance? The Impending Demise Of Traditional Scholarly Journals 1997-02-19 Andrew M. Odlyzko Saddle point and Hamiltonian structure in excitatory-inhibitory networks 1997-10-31 Action Transducers and Timed Automata 1995-11-01 Nancy Lynch The Adaptive Network Combined for Data Compression 1997-01-31 Complete Analyticity Of The 2d Potts Model Above The Critical Temperature 1997-04-26 How Hybrid Should a Hybrid Model Be? 1994-06-23 Analysis of the Arabic Broken Plural and Diminutive 1997-04-28 George Anton Kiraz Deterministic Annealing for Topographic Vector Quantization and Self-Organizing Maps 1997-06-27 Problems in Communication Network Design and Location Planning; New Solution Procedures 1997-04-28 Rakesh Gupta Mba Exact Solution of the Quadratic Assignment Problem 1997-04-24 Mark Frazer An Architecture and Two New Research Problems in ARCS Databases 1996-12-21 Eric Anderson, Dave Patterson, and Eric Brewer 1996-09-08 Generalized Folding Algorithm For Sojourn Time Analysis of Finite QBD Processes and its Queueing Applications 1997-09-25 Estimating the Same Quantities from Different Levels of Data: Time Dependence and Aggregation Bias in Event Process Models 1998-07-07 A Fortran-90 Based Multiprecision System 1999-01-13 David H. Bailey Parallel Induction Algorithms for Data Mining 1996-11-20 Indexing Multispectral Images for Content-Based Retrieval 1994-10-31 The Auxiliary Space Method And Optimal Multigrid Preconditioning Techniques For Unstructured Grids 1995-01-30 Jinchao Xu Of Simple Boundary, We Need Only Examine the 1996-09-16 Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs 1996-12-28 Pedro Diniz Four Puzzles about Life 1999-01-12 Mark A. Bedau Recognition of Printed Digits using Zernike Moments and Gaussian Models 1997-03-25 Patrick C Hew Developing a Customisable Programming Environment for Message Passing based Systems 1995-01-27 A Method of Computational Correction for Optical Distortion in Head-Mounted Displays 1995-03-31 On the expressive power of Z 1995-12-07 Estimating Predictability: Redundancy And Surrogate Data Method 1995-06-20 Role-Based Access Control 1997-07-25 A Parallel Disk Storage System for Realtime Multimedia Applications 1998-03-27 Minimum-Risk Profiles of Protein Families Based on Statistical Decision Theory 1998-02-02 A Unified Notion of Derived and Derivation Structures in TAG 1997-07-24 Improving Specificity in PDMs using a Hierarchical Approach 1997-07-02 A Linear Logic View of Gamma Style Computations as Proof Searches 1996-04-10 Asymmetric Fingerprinting for Larger Collusions 1996-09-23 On the Measurability of the Conjugate and the Subdifferential of a Normal Integrand 1970-01-01 Christian Hess Natural Language Grammatical Inference: A Comparison of Recurrent Neural Networks and Machine Learning Methods 1997-11-07 Stability And Instability Of The Wave Equation Solutions In A Pulsating Domain 1997-05-15 Group Behaviors for Systems with Significant Dynamics 1997-12-04 Design Sheet: An Environment for . . . 1998-10-02 C-Partite Tournaments Are Vertex-Pancyclic When 1997-12-16 Anders Yeo Conflict-Oriented Requirements Restructuring 1996-10-01 Applying Machine Learning to Agricultural Data 1995-04-26 Prefetching in World Wide Web 1996-07-16 MONSTR: Term Graph Rewriting for Parallel Machines 1998-04-30 R. Banach Computer Science 449 Thesis The Phoenix Quest 1997-10-14 Steven Gribble PVS System Guide 1998-09-18 Regularized Gaussian Discriminant Analysis through Eigenvalue Decomposition 1996-07-23 Database for CAD Applications 1997-07-09 Differentiated Shift-Invariant Multivariate Integral Operators 1996-02-21 George A. Anastassiou On Kolmogorov Machines And Related Issues 1998-01-10 Yuri Gurevich Lie Theoryof Differential Equations and Computer Algebra 1995-08-21 Gunter Czichowski Time Series Prediction and the Wavelet Transform 1998-07-24 Dynamic Team Formation and Management in an Agent Structured Supply Chain 1998-07-13 Hardware generation and partitioning effects in the COSYMA system 1997-06-18 On Topological Hierarchies of Temporal Properties 1996-08-20 Energy Efficient Query Optimization 1997-01-21 Natural Language Processing for Information Retrieval 1995-05-05 A Note on a Typing System for the Higher-Order 1997-02-17 Vasco T. Vasconcelos A Compilation System that Integrates High Performance Fortran and Fortran M 1994-02-06 Comparison of Basis Selection Methods 1998-05-27 On predictive distributions and Bayesian networks 1997-08-13 Effective Bandwidth in Wireless ATM Networks 1998-09-06 Dynamic Partitioning in Different Distributed-Memory Environments 1999-01-12 Stochastic Jump-diffusion Process for Computing Medial Axes in Markov Random Fields 1999-02-21 Song Chun Zhu Parametricity and Local Variables 1996-12-01 Structuring the Process of Integrity Maintenance 1997-06-10 Self-Organizing Wide-Area Network Caches 1998-02-03 Fast CG-Based Methods for Tikhonov-Phillips Regularization 1997-10-24 Parallel Methods for Stochastic Programming and a Class of Network Problems: A Survey 1998-06-29 Laura Wynter Michael Stonebraker Paul Brown Martin Herbach Informix Software, Inc. 1998-11-03 Co--adaptation in a Team 1997-02-21 On the Linearization of Graphs and Writing Symbol Files 1996-01-12 Robert Griesemer Centering Peripheral Features in an Indoor Environment Using a Binocular Log-Polar 4DOF Camera Head 1998-03-31 Distributed Processes and Location Failures 1998-12-15 Adding Fast Interrupts to Superscalar Processors 1999-01-22 Dana S. Henry Advances in Neural Information Processing Systems 1998-11-17 ESPaDOnS: An Echelle SpectroPolarimetric Device for the Observation of Stars at CFHT 1970-01-01 Algorithms for Constraint Satisfaction Problems: A Survey 1998-08-04 Vipin Kumar Compiler Cache Optimizations for Banded Matrix Problems 1995-07-28 Wei Li A Theory of Nonmonotonic Inheritance Based on Annotated Logic 1970-01-01 How to Avoid "Thinking on Your Feet" 1996-12-02 Lloyd Greenwald Scalable Parallel SSOR Preconditioning for Lattice Computations in Gauge Theories 1997-09-22 A. Frommer A Framework for Analysis of High Order Sigma-Delta Modulators 1996-02-23 3D Modeling and Tracking of Human Lip Motions 1997-10-24 Combinatorics Of Curvature, And The Bianchi Identity 1996-11-05 Interactive Graph Drawing Algorithms 1998-09-17 Ashim Garg The Quaternionic Geometry Of 4d Conformal Field Theory 1997-08-01 Roberto Zucchini An Evaluation of Software-Based Release Consistent Protocols 1996-08-07 Additive and Multiplicative Schwarz Algorithms for Linear Ill-Posed Problems 1995-11-07 Rieder Andreas Joust: A Platform for Liquid Software 1998-04-27 A Rule-Oriented Formalism for Active Temporal Databases 1996-01-08 Learning Decision Trees for Mapping the Local Environment in Mobile Robot Navigation 1994-06-22 Reasoning with Individuals in Concept Languages 1998-02-02 Andrea Schaerf Approximation Algorithms for Feasible Cut and Multicut Problems 1995-11-22 Efficient Run-Time Monitoring of Timing Constraints 1999-02-01 Within-Speaker Variability Due to Speaking Manners 1999-01-21 Bounds and Comparisons of the Loss Ratio in Queues Driven By an 1994-06-27 N. G. Duffield Independent Component Analysis by Minimization of Mutual Information 1997-09-08 Aapo Hyvrinen Pluriharmonic Morphisms 1996-08-08 E. Loubeau Implementing an Irregular Application on a Distributed Memory Multiprocessor 1996-02-21 Tunable Formalism In Object-Oriented Systems Analysis: Meeting The Needs Of Both Theoreticians And Practitioners 1996-06-20 Shellable Nonpure Complexes And Posets, II 1996-08-23 GOP-Interlaced Coding Scheme for Enhancing Coarse-Grain Parallelism and Error Concealment 1998-10-31 Value Numbering 1998-01-01 L. Taylor Simpson Exact Risk Analysis of Wavelet Regression 1995-08-09 Querying Video Libraries 1998-02-16 Locking and Robustness in the Finite Element Method for Circular Arch Problem 1995-07-19 Zhimin Zhang Distributed Environments&Distributed Program Design 1994-07-28 Evolutionary Optimization of a Multi-location Inventory Model with Lateral Transshipments 1997-01-27 Jens Arnold Ensuring Certain Physical Properties in Black Box Models by Applying Fuzzy Techniques 1996-11-06 P. Lindskog An Efficient, Scalable, Parallel Classifier for Data Mining 1997-02-27 RAPID: Randomized Pharmacophore Identification for Drug Design 1997-08-05 L. E. Kavraki Hybrid HMM/ANN Systems For Training Independent Tasks: Experiments On Phonebook And Related Improvements 1998-01-13 A Robot Organizing Purposive Behavior by Itself 1998-03-02 A Unifying Review of Linear Gaussian Models 1997-09-22 Wellposed Problems of the Calculus of Variations for Nonconvex Integrals 1995-10-27 Tullio Zolezzi SPRINT: A Scalable Parallel Classifier for Data Mining 1996-08-15 Quadratic programs with quadratic constraint: characterization of KKT points and equivalence with an unconstrained problem 1970-01-01 Ravi K. Sheth 1998-12-18 Ravi K. Sheth Simultaneous Multi-Level Evolution 1996-03-07 Determining the Optimum Investment Pattern in Information Technology on Dairy Farms 1997-01-18 Comparison of the Asymptotic Power of Tests Based on l 2 - and . . . 1970-01-01 Desiderata for Interactive Verification Systems DRAFT 1998-04-07 The Associate Principal Astronomer Telescope Operations Model 1995-02-24 Using Fault Injection to Assess Software Engineering Standards 1996-01-12 Technical Report TR-VS-97-01 An Infrastructure for Web-Agent-based Service Providing 1997-10-22 Stefan Funfrocken Design of a Highly Reconfigurable Interconnect for Array Processors 1996-10-03 Shared Tree Wireless Network Multicast 1999-02-06 Effect Of Sonic Boom Asymmetry On Subjective Loudness 1995-03-10 Beyond Word N-Grams 1998-10-06 On Using Network Memory to Improve the Performance of Transaction-Based Systems 1998-05-25 Physics Opportunities at ELFE 1997-12-11 Paul Hoyer From ML to Ada!?!: Strongly-typed Language Interoperability via Source Translation 1998-05-14 Performance Characteristics of Epsilon Serializability with Hierarchical Inconsistency Bounds 1997-09-12 Transmissions in a Network with Capacities and Delays 1998-02-19 Learning String Edit Distance 1997-12-02 Analysing Breakdowns in Performance in ZCS 1997-07-16 L. F. Gonz'alez Hern Reducing Graph Copying Costs. Time to Wrap it Up 1997-08-14 Marco Kesseler Temporal Interpretation of Internally Headed Relative Clauses in Japanese 1970-01-01 Masaaki Fuji Performance of Algorithms for Scheduling Real-Time Systems with Overrun and Overload 1999-04-17 Bounded Delay Timing Analysis of a Class of CSP Programs 1995-05-13 A Unified Analysis of Paging and Caching 1996-08-06 Eric Torng A Co-iterative Characterization of Synchronous Stream Functions 1997-11-14 Unknown 1996-01-03 David Lubinsky A Characterization of Hard-Threshold Boolean Functions 1998-06-16 Fernanda Botelho Watermarking of Uncompressed and Compressed Video 1998-08-06 Semantics for an Actor-Based Real-Time Language 1996-11-13 Strong Restricted-Orientation Convexity 1996-12-08 Isolating The Hard Pomeron 1998-12-21 B. E. Cox Internet Video-Streaming 1998-03-30 Exponential Lower Bounds for the Towers of Hanoi with More Than Three Pegs 1998-08-08 Mario Szegedy An application of SOL-resolution: checking regulation consistency 1998-07-20 Laurence Cholvy Regular Search Spaces and Constructive Negation 1997-05-08 A Silicon Model of an Auditory Neural Representation of Spectral Shape 1993-01-25 John Lazzaro Proactive Security: Long-term protection against break-ins 1998-11-04 Faithful Ideal Models For Recursive Polymorphic Types 1996-08-18 Learning Explanation-Based Search Control Rules For Partial Order Planning 1994-04-11 Human Work as Context for Development of Object Oriented Modelling Techniques 1970-01-01 J. J. Kaasbøll Invariante Kegel in Cartan-Algebren 1995-08-21 A Novel Fault Injection Technique for Behavioral-Level Modeling using VHDL 1996-07-22 Squeak: a Language for Communicating with Mice 1997-02-12 Using C as a Compiler Target Language for Native Code Generation in Persistent Systems 1995-03-24 Methodology for the Design and Evaluation of Ontologies 1995-06-08 Parallel ocean circulation modeling on Cedar 1970-01-01 Jcc, a native Java compiler 1998-09-14 Ronald Veldema Storage Hierarchy Design in Video-On-Demand Servers 1999-02-04 Prototyping Experiences with Classical IP and ARP over Signaled ATM Connections Prototyping Experiences with IP over ATM 1997-05-31 A Performance Analysis of a Hard Real-time System 1994-02-14 On the possible failure of the Gibbs property for measures on lattice systems 1997-04-26 Aernout C. D. Van Enter Replicated Web Objects: Design and Implementation 1998-04-08 Two-Stage Multiple-Comparison Procedures For Steady-State Simulations 1998-07-15 Biology, vol. 148, pp. 129--146, 1990. 126 R. J. Full and M. S. Tu, "Mechanics of a rapid running insect: Two-, four- and six-legged locomotion," 1997-03-29 Protocol Architecture for Multimedia Applications over ATM Networks 1995-03-22 Negotiation During Intelligent Sales Support with Case-Based Reasoning 1998-01-14 Multistep Scattered Data Interpolation using Compactly Supported Radial Basis Functions 1998-07-16 A Parallel Local-Search Algorithm for the k-Partitioning Problem 1994-10-03 Robust Parameterization and Computation of the Trifocal Tensor 1997-05-06 Learning Function-Free Horn Expressions 1998-09-22 Roni Khardon Executable Object Modeling with Statecharts 1997-02-16 Copyright in Shareware Software Distributed on the Internet -- The Trumpet Winsock Case 1998-09-27 A Computerized Approach for Morphological Analysis of the Corpus Callosum 1996-06-05 Performance Evaluation and Modeling of Reduction Operations on the IBM RS/6000 SP Parallel Computer 1996-09-05 Partial Deduction for Structural Synthesis of Programs 1996-10-15 Geometric Modeling of Vehicle Paths and Confidence Regions 1996-07-05 Integration of Bottom--Up and Top--Down Cues for Visual Attention Using Non--Linear Relaxation 1994-12-19 Tabulation of Functions in Definite Clause Programs 1994-09-20 Jonas Barklund The Archimedean Assumption in Fuzzy Set Theory 1998-03-06 Taner Bilgic Separating Synchronisation and Functionality in Concurrent Logical Objects 1995-09-07 Andrew Davison What is the Search Space of the Regular Inference? 1997-10-14 On Piercing Sets of Objects 1996-05-07 A Binary Algorithm for the Jacobi Symbol 1996-11-13 Adaptive Mixture of Probabilistic Transducers 1996-04-15 Yoram Singer On the Exponential Map of Almost Simple Real Algebraic Groups 1996-02-07 Approximate Bayes Factors and Accounting for Model Uncertainty in Generalized Linear Models 1999-04-25 Adrian E. Raftery Interior Estimates For A Low Order Finite Element Method For The Reissner-Mindlin Plate Model 1996-06-28 Douglas N. Arnoldy Advanced State Space Tutorial 1998-07-02 A Game Theoretic Approach to Hybrid System Design 1998-02-02 Identification Of Dynamically Positioned Ships 1995-03-08 A Specification-based Data Model 1994-08-26 Edward L. Robertson On The Classification Of Vector Bundles On Projective Curves 1999-01-18 Tight Analyses of Two Local Load Balancing Algorithms 1995-02-28 Hybrid Connectionist and Classical Approaches in JANUS An Advanced Speech-to-Speech Translation System 1995-06-22 Proving the Correctness of Storage Representations 1998-05-05 Quantization Functionals and Regularized Principal Manifolds 1998-11-03 Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation 1996-06-20 Hierarchical Packet Fair Queueing Algorithms 1998-09-24 Http://www.cs.huji.ac.il/¸ 1996-12-01 Highly Informative Priors 1970-01-01 E. T. Jaynes Association Index Architecture for Information Brokers 1998-08-17 Mark Tranmer 1997-01-10 Mark Tranmer Synthesis and Experimental Testing of a Nonlinear Optimal Tracking Controller 1998-09-15 Spatial Reasoning about Robot Compliant Movements and Optimal Paths in Qualitatively-Modeled Environments 1997-11-22 Jiming Liu Ph. D D-Plotting Facilities 1996-10-16 Correspondence between Operational and Denotational Semantics: 1993-09-26 Stable Quasicrystalline Ground States 1997-04-26 Appendix to Gory 1998-03-09 M B Taylor New Aspects In The Weight Theory And Applications 1997-06-24 Vakhtang Kokilashvili Interactive Segmentation and Visualization of Volume Data Sets 1997-08-27 Cost Function Error in Asynchronous Parallel Simulated Annealing Algorithms 1990-03-16 M. D. Durand Classified Advertisement Search Agent CASA: A Knowledge-Based Information Agent for Searching Semi-Structured Text 1998-02-17 Software Infrastructure for the I-WAY High-Performance Distributed Computing Experiment 1999-04-07 Embedding Short Trees into the Hypercube 1994-07-26 Efficient Loop-Level Parallelism in Ada 1999-02-15 Stability of the Iterative Process 1997-06-06 B. U. A. P. Mexico On the Use of an Inverse Shortest Paths Algorithm for Recovering Linearly Correlated Costs 1998-10-26 Increasing Privacy in Mobile Communication Systems using Cryptographically Protected Objects 1998-09-03 Uwe G. Wilhelm A Substitution Operation for Constraints 1996-12-11 BeSS: Storage Support for Interactive Visualization Systems 1997-08-15 A Measure of Parallelization for the Lexicographically First Maximal Subgraph Problems 1997-07-18 Ryuhei Uehara Transient Analysis of Coupled Transmission Lines Characterized with the Frequency-Dependent Losses Using Scattering-Parameter Based Macromodel 1995-05-03 Modeling, Correctness&Systems Issues in Supporting Advanced Database Applications Using Workflow Management Systems 1995-06-28 Micropower Analogue Building Blocks for Template Matching in Implantable Devices 1997-06-03 Quantification, Aspect And Lexicon 1998-08-30 Hana Filip On-the-Fly Methods to Measure the Locality of Programs 1970-01-01 Gradient Calculation of the Travel Time Cost Function without Ray-tracing 1996-05-17 Hardware Learning in Analogue VLSI Neural Networks 1994-12-15 Multiple Design Error Diagnosis and Correction in Digital VLSI Circuits 1999-02-23 Orthogonal Polygons as Bounding Structures in Filter-Refine Query Processing Strategies 1998-10-23 Sala H The Design and Implementation of the ScaLAPACK LU, QR and Cholesky Factorization Routines 1995-01-12 JAWS: A Framework for High-performance Web Servers 1997-12-16 What is a Recursive Module? 1999-02-20 Towards Flexible Teamwork 1997-09-30 Milind Tambe Word Sense Disambiguation based on Semantic Density 1998-06-23 Order Restricted Hypothesis Testing in a Variation of the Normal Mixture Model 1998-01-09 Dan Nettleton Compact Routing Schemes With Low Stretch Factor Extended Abstract 1998-03-24 Tagless Two-level Branch Prediction Schemes 1996-12-05 Copy Emulation in Checksummed, Multiple-Packet Communication 1996-12-09 Garbage Collection, and Memory Efficiency, in Lazy Functional Languages 1995-05-31 Niklas Rjemo Automating the Application of Design Patterns 1997-10-13 Maintenance of Materialized Views: Problems, Techniques, and Applications 1996-02-14 A Hypermedia-Based Information System for the Visualization of Complex Design Processes 1997-04-01 On Generating Functions of Generating Trees 1999-04-01 What Size Neural Network Gives Optimal Generalization? Convergence Properties of Backpropagation 1997-01-24 Rational Points on Some Fano Cubic Bundles 1996-02-23 Network-aware Mobile Programs 1998-02-02 Outer Measures 1997-09-24 Comparison of Two Methods for Measurement of Horn Input Impedance 1996-10-25 Superpolynomial Lower Bounds for Monotone Span Programs 1996-09-09 Computer-Mediated Cooperative Spatial Planning 1996-11-12 Evaluation of a CFD Benchmark for Laminar Flows 1998-04-07 ALCHEMIST: A General Purpose Transformation Generator 1995-09-22 Block Reduction for Arbitrary Norms 1997-07-17 Elimination of Spurious Loss in Euler Equation Computations 1998-06-15 Unknown 1998-06-22 Jim Austin A Fast Parallel Squarer Based on Divide-and-Conquer 1995-08-04 Chapter 3<E-262>Distributed Problem Solving and Planning 1997-12-15 Edmund H. Durfee<e Classifying Recursive Predicates and Languages 1995-04-28 Routing and Multicast in Multihop, Mobile Wireless Networks 1999-02-06 Printing Floating-Point Numbers Quickly and Accurately 1996-05-28 Solving Similar Problems using Genetic Algorithms and Case-Based Memory 1997-04-24 Unifying SAT-based and Graph-based Planning 1999-04-01 Asymptotic Performance of a Buffered Shufflenet with Deflection Routing 1995-01-12 Chimera: Hypertext for Heterogeneous Software Environments 1994-11-11 APPROXIMATE TRACKING FOR SYSTEMS ON THREE-DIMENSIONAL MATRIX LIE GROUPS VIA FEEDBACK NILPOTENTIZATION Herbert Struemper, P. S. Krishnaprasad 1997-05-14 Measuring and Optimizing CORBA Latency and Scalability Over High-speed Networks 1999-01-15 A Polynomial-time Algorithm for Learning Noisy Linear Threshold Functions 1998-03-24 Unknown 1994-12-09 Methods of Encryption in Cryptography Topics in Operation Systems CS651 Spring 91 Instructor : Pradip Srimani 1994-11-15 Double-Click and Drag-and-Drop in Visual Programming Environment for CafeOBJ 1998-10-13 Convergence Of Operator Semigroups Generated By Elliptic Operators 1996-03-06 Michael R Ockner Tu--sheng Zhang A Symbolic Complexity Analysis of Connectionist Algorithms for Distributed-Memory Machines 1998-02-16 Jonathan Bachrach A Dielectric-Free Superconducting Coaxial Cable C. Rose Rutgers, M.J. Gans ATT from IEEE Trans. MTT 382:166-177 1990 August 5, 1996 1998-05-14 C. Rose rutgers Effective Use of Memory in Linear Space Best First Search 1996-06-11 Marko Robnik On finding a minimal enclosing parallelogram Abstract 1997-11-03 Nigel Daley 1997-07-10 Motion Synthesis By Example 1998-03-17 Breaking Rotational Symmetry in a Self-Organizing Map-Model for Orientation Map Development 1997-05-21 ODP View on Quality of Service for Open Distributed Multimedia Environments 1996-12-22 Peter Leydekkers Michael Joyce 1997-10-13 Michael Joyce Dynamic Resource Migration for Multiparty Real-Time Communication 1998-02-23 Riccardo Bettati An Agent-Oriented View of Artificial Intelligence Teaching Using a Modern C++ Programming Methodology 1997-10-15 Portable Multibody Simulation Using MPI 1997-03-19 Multi-Agent Coalition Formation in Power Transmission Planning: a Bilateral Shapley Value Approach 1998-03-09 On K-Word Proximity Search 1999-05-11 Generating Visual Editors for Formally Specified Languages 1997-03-03 Susan M Learning Sequential Decision Tasks 1997-10-29 Some Finiteness Issues in Differential Algebraic Systems Theory 1994-03-21 An Adaptive Approach For Extracting Texture Information And Segmentation 1998-06-22 Prepartitioning as a Way to Mesh Subdomains in Parallel 1998-04-22 Paul Louis George Two-Dimensional Datapath Regularity Extraction 1998-05-19 Non-Periodic Long-Range Order for Fast Decaying Interactions At Positive Temperatures 1997-11-20 Rijksuniversiteit Groningen Recent Results in Analysis and Simulation of Beam Halo 1997-04-02 Interfacing Sound Stream Segregation to Automatic Speech Recognition --- Preliminary Results on Listening to Several Sounds Simultaneously 1996-04-14 Formalising the Specification of Rewards with PEPA 1998-04-21 Graham Clark Volume Bounded Molecular Computation 1998-01-15 Bin Fu On the Level Sum of Two Convex Functions on Banach Spaces 1998-06-17 M. Volle Detecting Intruders in Computer Systems 1997-02-08 Teresa F. Lunt Peter P. Carr 1998-01-29 Peter P. Carr An Algebraic Specification of a Model Factory, Part III 1997-03-03 Multiple Resolution Segmentation of Textured Images 1996-03-28 -- An Overview 1998-11-02 Using Visual Attention to Recognize Human Pointing Gestures in AssemblyTasks 1998-07-08 A Study of Code Reuse and Sharing Characteristics of Java Applications 1998-11-05 Performance Prediction for the HTMT: A Programming Example 1999-02-13 The Sample ACF of a Simple Bilinear Process 1998-08-17 Learning Continous Space Navigation Heuristics in Real Time 1998-01-20 Tools for Predicting Incompressible Flows via Nonconforming Finite Element Models 1997-03-21 Stefan Turek Integrating Planning and Execution in Stochastic Domains 1994-05-31 The Ornstein-Uhlenbeck process does not reproduce spiking statistics of neurons in prefrontal cortex 1998-09-17 Large--Scale Lan 1998-03-11 Avoiding Unnecessary Updates 1994-12-08 Oracle Semantics for Prolog 1995-04-09 Compilers ASU86, Chapter 1: 1995-01-30 Impaired Speechreading Related to Arrested Development of Face Processing 1998-10-06 Construction of Population Growth Equations in the Presence of Viability Constraints 1998-09-23 Vlastimil Krivan Speeding up Irregular Applications in Shared-Memory Multiprocessors: Memory Binding and Group Prefetching 1997-02-07 Adaptive Nonlinear Approximations 1995-12-25 Parameter Estimation of 2-D Random Amplitude Polynomial Phase Signals 1998-12-23 A General Framework for Continuous Media Transmission Control 1996-10-18 Boundary And Lens Rigidity Of Lorentzian Surfaces 1998-06-18 Dual-Crosshatch Disk Array: A highly reliable hybrid-RAID architecture 1996-04-04 Context Learning with the Self-Organizing Map 1997-04-29 Best-So-Far vs. Where-You-Are: Implications for Optimal Finite-Time Annealing 1993-11-03 Partially Reliable Transport Service 1998-07-14 Transient Simulations of Three-dimensional Integrated Circuit Interconnect using a Mixed Surface-Volume approach 1996-03-04 A Rigorous Renormalization Group Method For Interfaces In Random Media 1997-04-26 Logically Rectangular Mixed Methods for Darcy Flow on General Geometry 1997-04-14 Operators With Singular Continuous Spectrum, Vii. Examples With Borderline Time Decay 1997-04-26 Barry Simon The design and implementation of the FIRE engine: A C++ toolkit for FInite automata and Regular Expressions 1999-01-28 Bruce W. Watson The Cognitive Map: Could It Have Been Any Other Way? 1996-08-27 Benjamin Kuipers Tuning OI error covariance parameters: experiments with the HIRLAM system 1995-11-28 Dick Dee Start-Synchronous Search for Large Vocabulary Continuous Speech Recognition 1999-02-19 Steve Renals Preliminary Experiences with Extrapolation Methods for Parallel Solution of Differential Algebraic Equations 1996-06-18 Claus Bendtsen The Performance of Single-Keyword and Multiple-Keyword Pattern Matching Algorithms 1999-01-28 Bruce W. Watson Fourth order difference equation for the associated Meixner and Charlier polynomials 1995-12-15 Jean Letessier Proxy Cache Design: Algorithms, Implementation and Performance 1998-08-05 O-Plan's PlanWorld Viewers 1995-08-14 The Physics And Mathematics Of The Second Law Of Thermodynamics 1997-08-26 Literaturverzeichnis 1998-07-21 Experiences of the VPP: Developing Math Libraries 1970-01-01 New Algorithms for Minimizing the Longest Wire Length During Circuit Compaction 1995-01-28 3D Aids Cooperation with Diagrams that Think 1995-12-07 David Dodson Recent Advances In Janus: A Speech Translation System 1995-08-22 Maximum Likelihood Estimation, Analysis and Applications of Exponential Polynomial Signals 1998-02-19 Adaptive Predictor for Lossless Image Compression 1998-07-08 An Explainable-Induction Approach for Diagnosing Retinal Degeneration 1996-05-28 Scalable PPPM method for long-range interactions in many particle systems 1996-10-17 Convective Effects On Mode Frequencies 1997-11-14 A Programming Model for Real-Time Applications in Open Distributed Systems 1995-06-20 Real-time Recognition with the entire Brodatz Texture Database 1994-06-25 Analytic Models of Workload Behavior and Pipeline Performance 1997-08-08 The Design and Implementation of the Ariel Active Database Rule System 1992-06-09 Eric N. Hanson Implicit Representations of Rough Surfaces 1995-10-18 John C. Hart Updating a Generalized 1997-11-17 Why Cryptosystems Fail 1996-09-26 Ross Anderson Image Object Labelling And Classification Using An Associative Memory 1998-06-22 The Angular-Metric Traveling Salesman Problem 1996-10-03 Adapting to Network and Client Variation Using Active Proxies: Lessons and Perspectives 1998-03-17 S.A. Korzh 1997-04-26 On the Facial Structure of the Set of Correlation Matrices 1998-03-27 Dynamic Service Matchmaking Among Agents in Open Information Environments 1999-02-22 How to Compare the Structure of Parsing Algorithms 1995-08-22 Klaas Sikkel On Integer Chebyshev Polynomials 1995-09-01 Generating Parallel Code from High-Level Neural Network Descriptions 1997-09-05 New Progress in Anisotropic Grid Adaptation for Inviscid and Viscous Flows Simulations 1998-11-03 A Configuration Process for a Distributed Software Development Environment 1996-01-07 REPRESENTATION OF THE LIE GROUP OF AUTOMORPHISMS OF AN ALMOST r-PARACONTACT RIEMANNIAN MANIFOLD OF P-SASAKIAN TYPE 1996-04-16 A. Bucki An Introductory User's Guide to IRAF SPP Programming 1992-10-30 Rob Seaman Tomographic reconstruction of 3-D vector fields using inner product probes 1996-05-09 Jerry L. Prince A Lower Bound for Randomized Algebraic Decision Trees 1996-11-26 The Overlay of Lower Envelopes and its Applications 1994-09-06 Ntyft/ntyxt Rules Reduce to Ntree Rules 1996-06-12 A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems 1998-09-27 Graeme Smith Visual Neglect 1998-05-20 A. Pouget Digits in LCM UpWrite Space 1997-12-02 Patrick C Hew Stochastic Process Algebras - Foundation and Relations with SPN 1997-05-30 Explanation Closure, Action Closure, and the Sandewall Test Suite for Reasoning about Change 1994-07-21 Lenhart K. Schubert Quality of Service in a Multimedia Environment 1995-01-13 Learning Single Electron Tunneling Neural Nets 1997-12-22 On the Complexity of Commutativity Analysis 1995-10-13 Generalized Search Trees for Database Systems 1995-09-07 A Practical Integration of First-Order Reasoning and Decision Procedures 1997-12-06 Automatic Model-to-Image Registration 1998-02-09 Daniel Dementhon Visual Brain And Visual Perception: How Does The Cortex Do Perceptual Grouping? 1999-01-17 A Probabilistic Poly-Time Framework for Protocol Analysis 1998-07-16 An Asynchronous Parallel Supernodal Algorithm for Sparse Gaussian Elimination 1997-12-17 A Memory Model For Reasoning Both From Experimental And From Theoretical Knowledge 1995-06-13 Isabelle Bichindaritz Smoothness of Multiple Refinable Functions and Multiple Wavelets 1997-06-20 Symplectic Spreads From Twisted Fields 1996-06-04 A New Pivoting Strategy For Gaussian Elimination 1996-01-12 Using Group Communication Technology to Implement a Reliable and Scalable Distributed IN Coprocessor 1996-04-18 Ccd Photometry Of The Galaxies Eso598-G009, Ngc1515 And Ngc7456 1997-03-03 Tae Seog Yoon Flexible Queries in Relational Databases - The example of the division operator 1997-06-30 Logic Is Not Enough: Why Reasoning About Another Person's Beliefs Is Reasoning Under Uncertainty 1997-06-16 Anthony Jameson Complexity-Seeking Ants 1994-11-11 Howard Gutowitz Specifying Navigational Transformations in Hypermedia. A temporal logic framework 1998-08-05 The Role of Trace Modulation in Building Mobile Computing Systems 1998-08-10 DPOCL: A Principled Approach to Discourse Planning 1995-01-21 Efficient Timing Analysis of a Class of Petri Nets 1995-04-17 Combined Optimisation of Baseforms and Model Parameters in Speech Recognition Based on Acoustic Subword Units 1997-12-11 Trym Holter Mean-field Ising model and low rates in neural networks 1998-03-11 Daniel J. Amit Architecture Recovery in ARES 1997-02-12 Compressing Still and Moving Images with Wavelets 1995-05-26 Checking for orthant orderings between discrete multivariate distributions: An algorithm 1998-01-06 A New Approach to Computability on Real Numbers 1997-02-07 Differential Cryptanalysis of Feal and N-Hash 1999-01-12 Embodiment in Conversational Interfaces: Rea 1999-03-01 Newsgroup Exploration with WEBSOM Method and Browsing Interface 1996-02-05 Documenting Design Patterns in Code Eases Program Maintenance 1998-03-16 The 1997 HTK Broadcast News Transcription System 1998-03-31 Hierarchical Models for Employment Decisions 1997-10-13 Nonlinear-Phase Maximally-Flat Lowpass FIR Filter Design 1998-04-09 Département de Mathématiques et Informatique 1995-11-06 Wendelin Werner Large Generalized Cycles 1998-01-13 S. Perennes + 1-Factor Containing A Given Hamiltonian Cycle 1998-12-30 Manetho: Transparent Rollback-Recovery with Low Overhead, Limited Rollback and Fast Output Commit 1997-09-29 Computationally Convincing Proofs of Knowledge 1998-07-15 An Experimental Evaluation of the Parallel I/O Systems of the IBM SP and Intel Paragon Using a Production Application 1996-07-15 Automatically Partitioning Threads Based on Remote Paths 1998-05-07 Excursion Sets of Random Fields With Applications to Human Brain Mapping 1998-02-10 Jin Cao Approximate Reachability Don't Cares for CTL Model Checking 1998-10-23 Syntactic Detection of Single-Threading using Continuations 1994-07-07 Pascal Fradet Rapid Previewing via Volume-based Solid Modeling 1994-11-30 Complete Lifts Of Harmonic Maps And Morphisms Between Euclidean Spaces 1995-11-02 Ye-lin Ou Minimum-Width Grid Drawings of Plane Graphs 1998-05-27 Climbing Up NP-Hard Hills 1996-11-15 D. Duvivier Hierarchical bit-map directory schemes on the RDT interconnection network for a massively parallel processor JUMP-1 1997-09-25 Multiple-Fault Diagnosis Using General Qualitative Models with Behavioral Modes 1995-04-08 Developing Sequence Analysis Tools on Web Server 1995-12-13 Unknown 1970-01-01 A Secure Object-Oriented Mediator: Two Challenges 1998-11-09 GUI Tools in AIPS++ 1996-07-27 Hypertext Markup Language 1993-10-15 Formal Semantics Reuse for Different Programming Languages 1996-08-18 in the Subject line: On Digital's EASYnet: CRL::TECHREPORTS On the Internet: techreports@crl.dec.com 1997-09-03 Efficient Implementations of Java Remote Method Invocation RMI 1998-08-06 Light-Cone Sum Rules 1998-01-12 V. M. Braun A Study of Concurrency in MPEG-4 Video Encoder 1999-01-14 A Compositional Proof of a Real--Time Mutual Exclusion Protocol 1997-01-14 A Framework for the Design of Effective Graphics for Scientific Visualization 1999-01-13 Kristina D. Miceli Topological Grayscale Watershed Transformation 1997-10-24 Formal, Informal, and Null Methods 1997-02-08 Kim Jong-Hun 1996-02-17 Perception Of Time As Phase: Toward An Adaptive-Oscillator Model Of Rhythmic Pattern Processing 1995-08-16 J. Devin Mcauley Dynamic Reresentation Of Musical Structure 1995-02-22 Mixing Towards Isotropization and Gravitational-Wave Relic in String Cosmology 1998-05-14 Nikolaos A. Batakis Subquadratic Zero-Knowledge 1999-01-14 A Domain-Independent Algorithm for Plan Adaptation 1997-07-01 Duplicate-free Generation of Alternatives in Transformation-based Optimizers 1997-01-06 A New Theoretical Approach to Absorbing Layers 1996-08-27 Patrick Joly Ornl/tm-12472 1995-02-27 Avner Ash and Mark McConnell 1996-11-19 Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution 1995-12-18 On Minimal Imperfect Graphs without Induced P 5 1999-03-27 Jean-luc Fouquet Semiparametric generalized linear models: Bayesian approaches 1998-08-06 The Use Of Artificial Intelligence To Improve The Numerical Optimization Of Complex Engineering Designs 1996-07-16 Partitioning a Lenient Parallel Language into Sequential Threads 1998-01-05 Fast Floating-Point Processing in Common Lisp 1995-09-15 Functional, I-Structure, and M-Structure Implementations of NAS Benchmark FT 1996-05-18 Bibliography 1998-03-28 Software for Data Analysis With Graphical Models 1995-09-21 A Preemptive Protocol for Voice-Data Integration in Ring-based LAN: Performance Analysis and Comparison 1998-12-30 Space Mapping And Navigation For A Behaviour-Based Robot Application To Mobile Robot 1995-06-26 Compact Grid Layouts of Some Multi-Level Networks 1998-12-04 Undecidability Results for low complexity degree structures Extended Abstract 1997-06-04 Linear Estimation in Krein Spaces - Part II: Applications 1996-02-08 A Discrete Event Approach to the Automatic Command Generation in a Teleprogramming System 1999-01-21 The Design of a Multicast-based Distributed File System 1999-02-19 Corpus-Based Query Translation for Translingual Information Retrieval 1997-06-24 Ralf D. Brown Trading Monotonicity Demands versus Mind Changes 1995-04-28 Journal of GraphAlgorithms and Applications 1997-11-09 SWEB: Towards a Scalable World Wide Web Server on Multicomputers 1996-07-05 Conceptual and Formal Specifications of Problem-Solving Methods 1997-07-17 Automatic Extraction of Semantic Classes from Syntactic Information in Online Resources 1998-09-05 Exploiting Isomorphism for Speeding-Up Instance-Binding in an Integrated Scheduling, Allocation and Assignment Approach to Architectural Synthesis 1998-06-17 User Signaling Servers for ATM-based PCS Networks 1998-02-18 A Feature Database for Multimedia Objects 1998-11-05 by Lorenzo Sadun 1997-04-26 A Tuning System for Distributed Multimedia Applications 1996-05-08 Internet Service Performance Failure Detection 1998-05-26 A Simultaneous Spectral Invariant Analysis of the GRB Count Distribution and Time Dilation. 1998-05-25 Tabular Formatting Problems 1996-06-27 Update 1 to: Factorizations of a 1996-04-04 Unknown 1997-10-28 A Robust Technique for Matching Two Uncalibrated Images Through the Recovery of the Unknown Epipolar Geometry 1994-06-24 Design and Evaluation of a QoS-Sensitive Communication Subsystem Architecture 1970-01-01 On Adaptive Estimation in Partial Linear Models 1997-11-19 On The Behavior Of Meromorphic Functions Around Some Nonisolated Singularities II 1995-09-13 Distributed Multimedia Databases as Component of a Teleservice for Workflow Management 1996-01-23 Stabilization of DAEs and invariant manifolds 1995-11-10 Performance Evaluation of Parallel Divide--and--Conquer Algorithms 1970-01-01 Learning to Classify Text from Labeled and Unlabeled Documents 1999-01-22 Learning to Make Rent-to-Buy Decisions with Systems Applications 1995-04-26 Is Derived From 1996-08-20 iWarp: An Integrated Solution to High-Speed Parallel Computing 1994-04-18 Superposition Refinement of Reactive Systems 1994-09-22 A Single Polymer Chain On A Lattice - Some Queries 1994-08-25 A. J. Masters State Avoidance Control for Infinite State Systems using Assignment Program Model 1996-05-28 Lucas numbers and generalized Fibonacci sequences 1995-06-22 Edouard Lucas Decomposing Matrices into Blocks 1998-12-01 Linear Programming Estimators And Bootstrapping For Heavy Tailed Phenomena 1995-04-03 Tracking Initiative in Collaborative Dialogue Interactions 1997-09-15 Combining Knowledge Sources to Reorder N-Best Speech Hypothesis Lists 1997-03-27 Measurement Error, Biases, And The Validation Of Complex Models 1970-01-01 Database Selection Techniques for Routing Bibliographic Queries 1998-10-23 Quasi-Newton Filtered-Error And Filtered-Regressor Algorithms For Adaptive Equalization And Deconvolution 1998-07-28 Rotund Norms, Clarke Subdifferentials and Extensions of Lipschitz Functions 1999-04-07 What You Always Wanted to Know About Rigid E-Unification 1997-04-07 Analysis of the SSL Protocol 1995-10-02 Using Acoustic Information to Control Visual Attention 1995-11-08 Glenn Scott Wasson Superquadrics Modeling of Multiple Objects from Shading Images Using Genetic Algorithms 1998-09-25 A Finite Frequency Method forµ-analysis 1995-03-06 Anders Helmersson An Architecture for Co-Habited Virtual Worlds 1998-11-05 On convergence rates of Gibbs samplers for uniform distributions 1998-01-28 Integration of Different Cooperation Techniques for Corporate Planning 1995-07-19 Neural Codes and Independent Component Analysis: Information Theoretic Approach and Conditions on Cumulants 1998-03-26 Data Caches for Superscalar Processors 1997-04-07 Efficient Bottom-Up Evaluation Of Logic Programs 1996-12-10 High-dimensional Proximity Joins 1997-07-16 Achieving Target-System Independence in Event Visualisation 1995-11-13 Ear Tracking: Visualizing Auditory Localization Strategies 1998-08-20 Insights and Puzzles from Branes: 4d SUSY Yang-Mills from 6d Models 1998-05-24 Computational Experience with a Dense Column Feature for Interior-Point Methods 1997-09-25 DMQL: A Data Mining Query Language for Relational Databases 1998-05-04 Architecture for Agent-Mediated Personalised News Services 1996-05-08 Fast Parallel Implementation of DFT Using Configurable Devices 1997-10-24 The Synchronous System Description Language PURR 1998-02-25 An Algebra for Cyclic Ordering of 2D Orientation 1998-08-04 Compression of Cardiac X-Ray Images Based on Acquisition Noise 1998-09-08 The Weyl group as fixed point set of smooth involutions 1996-07-17 Communicated G. Mauceri Characteristic Length Scales of Spatial Models in Ecology via Fluctuation Analysis 1997-04-02 Modeling Human Categorization By a Simple Classifier System 1996-08-09 Sandip Sen Analyzing and Measuring the Latency of the Totem Multicast Protocols 1998-12-15 High-dimensional Similarity Joins 1997-04-06 Scoring Function for Pattern Discovery Programs Taking Into Account Sequence Diversity. 1996-02-16 Discovery Planning: Multistrategy Learning in Data Mining 1998-06-18 MeshView: A Tool for Exploring 3D Unstructured Tetrahedral Meshes 1998-04-22 Which Circulant Preconditioner is Better? 1970-01-01 High-Level Synthesis of Scalable Architectures for IIR Filters Using Multichip Modules 1996-06-05 The Xerox Part-of-Speech Tagger Version 1.0 1998-02-06 Alistair Knott 1997-09-26 Exact Solution of the Totally Asymmetric Simple Exclusion Process: Shock Profiles 1997-04-26 Reference Features as Guides to Reasoning About Opportunities 1995-02-02 Essentials of Standard ML Modules 1996-08-22 Mads Tofte Distributed Simulation for Large Communication Infrastructures Across Loosely Coupled Domains 1998-03-03 Factoring by Nonsubgroup Factors 1994-12-06 Approximation Algorithms for the k-Clique Covering Problem 1999-01-28 Generic CSP Techniques for the Job-Shop Problem 1997-12-10 Javier Larrosa Molecular Dynamics Simulations of A Fully Hydrated Dipalmitoylphosphatidylcholine Bilayer With Different Macroscopic Boundary Conditions and Parameters 1997-09-22 Knowledge Discovery Via Multiple Models 1998-05-22 Pedro Domingos Exploiting Application Level Framing in Reliable Multicast for Periodic Information Dissemination 1998-08-18 TANSTAAFL with partial functions 1996-07-04 C B Jones Dynamization of the Trapezoid Method for Planar Point Location in Monotone Subdivisions 1998-09-22 Roberto Tamassia Recovery of Dynamic Scene Structure from Multiple . . . 1997-06-04 Integrated Services in the Internet Architecture: an Overview Status of this Memo 1994-08-09 S. Shenker Design Guidance In The Power Dimension 1995-10-24 Multigrid for Differential-Convolution Problems Arising from Image Processing 1997-05-01 Small Noise Asymptotics of the Bayesian Estimator in Nonidentifiable Nonlinear Regressions 1996-07-10 The Interplay of Desire and Necessity in Dialogue 1998-07-28 Jean-louis Dessalles Keywords: Distributed Computing, Multi-Agent Systems, Semantic Addressing, Adaptation. 1999-01-22 I/O-Complexity of Graph Algorithms 1998-10-26 Nilpotente Liealgebren und endliche Pro-p-Gruppen 1995-08-21 J Urgen Wisliceny A Generalization of 2-Periodic Trigonometric Interpolation 1998-05-06 Tianzi Jiang Systems Research Center 1999-02-04 Optimal Factory Scheduling using Stochastic Dominance A* 1996-05-30 Sound Polymorphic Type Inference for Objects 1995-07-28 EMRBF: A Statistical Basis for Using Radial Basis Functions for Process Control 1998-10-03 "Who Cares About Elegance?" The Role of Aesthetics in Programming Language Design 1997-01-22 Bruce J. Maclennan Gammaß<F1... 1998-06-05 A Probabilistic Analysis of Propositional STRIPS Planning 1995-08-07 Tom Bylander A Secure, Cheap, Scalable and Exportable/Importable Method for Internet Electronic Payments 1995-05-19 Wenbo Mao Negotiation in Collaborative Activity: An Implementation Experiment 1994-06-10 Interactive Cluster Visualization for Information Retrieval 1997-11-10 Nominal Structures and Structural Recursion 1996-02-06 Mermaid: Modelling and Evaluation Research in MIMD ArchItecture Design 1995-11-30 Phenomenological Evidence for the Gluon Content of 1998-05-25 Patricia Ball The PMA and Relativizing Change for Action Update 1998-06-12 The Terregator Mobile Robot 1998-11-24 Optimal Code Motion for Parallel Programs Extended Abstract 1997-09-24 Easy Instances Of The Plant Location Problem 1970-01-01 Global Spontaneous Activity and Local Structured learned Delay Period Activity in Cortex 1998-09-15 A High Performance Totally Ordered Multicast Protocol 1998-03-16 Values Suggestion in Mixed Integer Programming by Machine Learning Algorithm 1998-10-21 Darko Zupanic A Note on the Construction of Crouch-Grossman Methods 1998-09-09 -642/SDE 733 Artificial Neural Networks Lecture Notes Introductory Material 1993-01-14 Non-Linear Shrinkage Estimation with Complex Daubechies Wavelets 1997-10-22 J. -m. Lina Generating and Solving Imperfect Information Games 1999-01-22 in compressed PostScript format. Abstracts are available from the same host in the directory 1993-01-26 Error Analysis Of The Finite Volume Element Method For Elliptic And Parabolic Partial Differential Equations 1996-08-20 Constraining Lexical Selection Across Languages Using Tree Adjoining Grammars 1998-06-08 Foreword: for Special Issue on Semidefinite Programming 1999-02-12 Comparison of view--based object recognition algorithms using realistic 3D models 1997-06-10 Specification, Detection and Resolution of IN Feature Interactions with Estelle 1996-03-05 Testing Cosmological Variations Of Fundamental Physical Constants By Analysis Of Quasar Spectra 1996-09-10 High Availability in Clustered Multimedia Servers 1996-10-09 Reducing Software Overheads in Parallel Linear Algebra Libraries 1997-07-07 Peter Strazdins ACV: An Arithmetic Circuit Verifier 1997-10-21 Arithmetic Construction of Sofic Partitions of Hyperbolic Toral Automorphisms 1998-09-04 An Instruction Stream Compression Technique 1997-03-24 Model-Based Testing of a Highly Programmable System 1998-08-07 Specification and Configuration Management Framework for Multimedia Systems 1997-04-17 Algirdas Pakstas Parallel Priority Queue and List Contraction: The BSP Approach 1997-07-24 The Performance of Consistent Checkpointing 1994-02-16 GRAPHICAL CONFIGURATION PROGRAMMING "the structural description, construction and evolution of software systems using graphics" 1991-08-18 Analysis of the SSL Protocol 1997-09-23 A Front Tracking Method for Conservation Laws with Boundary Conditions 1998-05-13 Knowledgeable Schema 1996-06-05 A Prefetching IPC Mechanism for Low-Latency Transfer of Structured Data Cooperated with User Programs 1996-06-05 Lyapunov Exponents For Non-Classical Multidimensional Continued Fraction Algorithms 1997-04-26 Information modeling and management for efficient KDD-processes 1997-11-17 Numerical Determination of Flow Corrective Inserts for Granular Materials in Conical Hoppers* 1999-02-09 Algorithms for Data Locality Optimization 1993-08-29 On the Mass Distribution of Planetesimals in the Early Runaway Stage 1998-07-02 A Neural Clustering Algorithm for Estimating Visible Articulatory Trajectory 1998-03-02 Evaluation of Architectural Support for Global Address-Based Communication in Large-Scale Parallel Machines 1996-07-23 An Approach to Building Software Configuration Using Heuristic Knowledge 1997-01-10 An Octonionic Gauge Theory 1998-05-23 A Bornological Approach to Rotundity and Smoothness Applied to Approximation 1996-06-24 John Read Interactive Resource Allocation by Problem Decomposition and Temporal Abstractions 1995-11-11 Towards a Crystal Ball for Data Retrieval 1997-08-25 Joseph M. Hellerstein Principal Solutions And Transformations Of Linear Hamiltonian Systems 1996-01-04 The Use of Trademarks Or Names of Manufacturers in 1998-01-14 Cheryl L. Allen Separation of Zero/Constant Modulated Signals 1996-12-12 Connection between Different Function Theories in Clifford Analysis 1997-04-26 Vladimir V. Kisil A General Evolutionary/Neural Hybrid Approach to Learning Optimization Problems 1996-09-21 An Argument for Simple COMA 1994-12-13 The Accuracy of Floating Point Summations for CG-Like Methods 1997-07-03 Etsuko Mizukami Supporting Multiple Coherence Protocols in Programmable Shared Memory Controllers 1999-04-14 Absolute Summability Of The Trace Relation For Certain Schrödinger Operators 1997-04-26 The Quantization of Anomalous Gauge Field Theory 1998-05-26 Asymptotic Conditional Probabilities: The Non-unary Case 1996-10-03 Finding Cores of Limited Length 1997-08-21 Open Transmission and Spot Markets for Power 1997-08-13 An Electronic Commerce Paradigm for Agent-Based Information Discovery 1997-11-26 Guidelines for Preparing a Paper for the European Conference on Artificial Intelligence 1995-11-17 The Complexity of Plan Existence and Evaluation in Probabilistic Domains 1997-02-24 Practical Lineage Tracing in Data Warehouses 1999-02-23 The Effect of Network Hierarchy Structure on Performance of ATM PNNI Hierarchical Routing 1998-09-01 Hierarchical Clustering: A Structure for Scalable Multiprocessor Operating System Design 1992-03-27 CASE and 4GL Product Users' Participation in Software Engineering Research 1998-02-11 Stephen G. Macdonell Space Variant Imaging 1996-07-10 Modeling with Cubic A-Patches 1994-12-09 Fingerprinting Digital Circuits on Programmable Hardware 1999-03-16 Discovering Concepts in Raw Text: Building Semantic Relationship Graphs 1998-09-18 W3Objects: Bringing Object-Oriented Technology to the Web 1996-03-06 Measurement of the optical relevant parameters for high angular resolution astronomy with the Generalized Seeing Monitor G.S.M. 1998-11-17 Nonpolyhedral Relaxations of Graph-Bisection Problems 1995-03-22 Probabilistic Causal Structure 1998-01-06 Data Structures for Efficient Broker Implementation 1998-08-11 Ear Decompositions of Matching Covered Graphs 1998-02-12 The Pressure Problem in the Stochastic Vortex Blob Method 1996-12-14 RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems 1995-07-27 Runtime Reconfigurable Routing 1998-01-23 Using a Large Linguistic Ontology for Internet-based Retrieval of Object-Oriented Components 1998-04-27 Viewer-Centered Object Recognition in Monkeys 1994-05-04 Reconstruction of Surfaces From Planar Contours 1994-10-12 David Meyers Nonlinear Control Of A Continuously Variable Transmission Using Hyperstability Theory 1998-11-27 An Application Framework for Synchronous Collaboration using Java Beans 1998-09-29 Theory of Self-reproducing Automata and Life - Foundation for a Theoretical Biology? 1995-12-20 Improving Chinese Tokenization With Linguistic Filters On Statistical Lexical Acquisition 1996-01-05 The Coverage-Capacity Tradeoff in Cellular CDMA Systems 1999-02-23 Synchronization and Oscillatory Dynamics in Heterogeneous, Mutually Inhibited Neurons 1998-09-01 A Survey of Traffic Characterization Techniques in Telecommunication Networks 1996-07-30 A. Rueda Final Camera-Ready Paper Format for ICONIP'96 - Hong Kong 1996-05-05 A Configuration Approach to Parallel Programming 1991-08-18 Term Rewriting Systems 1997-10-30 J. W. Klop Reliable Broadband Communication Using a Burst Erasure Correcting Code A.J. McAuley, Presented at ACM SIGCOMM '90, Philadelphia, Pa, Spetember 1990 Page 1 1996-02-02 Free energy barriers for interlayer diffusion in the smectic-A phase of hard spherocylinders 1998-04-06 Constructing Scientific Meta-Computations 1995-07-18 Complexity of Two-Dimensional Patterns 1997-03-31 Type Inference for COBOL Systems 1998-08-12 The Capacity of Wireless Networks 1998-12-08 METU Object-Oriented DBMS Kernel 1998-10-21 Relational Grammars for Interactive Design 1994-02-11 Scaling in Stock Market Data: Stable Laws and Beyond 1998-02-10 Limiting State Explosion with Filter-Based Refinement 1997-09-22 Object-Oriented Queries: Equivalence And Optimization 1996-01-29 Towards Flexible Teamwork 1997-09-30 Milind Tambe Representing Preferences as 1994-04-05 Proving Correctness of Distributed Algorithms A Petri Net Approach 1998-05-04 Parallel Decomposition of Unstructured FEM-Meshes 1997-11-26 Access to the Astrophysics Science Information and Abstract System 1997-03-06 Linear Randomizing Transformations: An a Priori Alternative to Dynamic Elimination Strategies Such as Partial Pivoting 1997-01-30 Research Issues In Terminology 1997-06-12 Flexible Transcription Alignment 1997-11-18 Simulation of FEC-Based Error Control for Packet Audio on the Internet 1999-01-11 On the Integrability of Intermediate Distributions for Anosov Diffeomorphisms 1997-04-26 Tight Performance Bounds on Greedy Policies Based on Imperfect Value Functions 1999-03-12 Experiments in Gait Pattern Classification with Neural Networks of Adaptive Architecture 1998-05-27 Analysis of Dose-Response Data in the Presence of Extra-Binomial Variation 1995-05-22 Dennis D. Boos Polynomial Decomposition Algorithms 1998-01-21 Multiple Index Structures for Efficient Retrieval of 2D Objects 1970-01-01 Fast Computation of Compound Expressions in Two's Complement Notation 1998-11-03 An Evaluation of Priority Consistency in Protocol Architectures 1995-02-28 Embedding Minimal Knowledge Into Autoepistemic Logic 1998-04-09 Riccardo Rosati Toward Learning Systems That Integrate Different Strategies and Representations 1995-06-06 Vasant Honavar Hysteresis In Ferromagnets 1995-11-02 Peter B. Thomas The Infeasibility of Experimental Quantification of Life-Critical Software Reliability 1998-04-20 Parallel and Distributed Evolutionary Computation with MANIFOLD 1997-05-15 Deep Inelastic Scattering from Polarized Deuterons 1998-05-15 W. Melnitchouk Group Theoretical Perturbative Treatment Of Non Linear Hamiltonians On The Dual Of A Lie Algebra 1998-05-12 Geometric Algebra: a Framework for Computing Point and Line Correspondences and Projective Structure using an Uncalibrated Cameras 1998-01-15 The Design and Implementation of Arjuna 1995-03-10 Scattering Analysis Using Fictitious Wavelet Array Sources 1998-03-05 Robot Herds: Group Behaviors for Systems with Significant Dynamics 1994-10-06 Possibilistic Logic 1997-06-27 Coding of Still Pictures 1998-06-25 Extensions To Regularised Discriminant Analysis 1992-10-11 Standards for Non-Executable Specification Languages 1994-08-18 Escaping from the Box 1997-01-10 Edmund Furse Quality Adaptation for Congestion Controlled Video Playback over the Internet 1999-02-15 What Makes An Optimization Problem Hard? 1995-04-26 Using Multilisp for Solving Constraint Satisfaction Problems: an Application to Nucleic Acid 3D Structure Determination 1996-04-08 Piecewise Lyapunov functions for robust stability of linear time-varying systems 1997-11-19 Constructing Transaction Serialization Order for Incremental Data Warehouse Refresh 1998-03-13 Visualisation 1998-04-25 Testing Distributed Programs Containing Racing Messages 1997-08-01 Exact Results on Stationary Turbulence in 2D: Consequences of Vorticity Conservation 1997-05-14 Gregory L. Eyink The Finite Ray Element Method For The Helmholtz Equation Of Scattering: First Numerical Experiments 1998-04-10 Mariposa: A Wide-Area Distributed Database System 1996-02-28 Random Walk And Hyperplane Arrangements 1997-09-12 Toward a Model of Consolidation: The Retention and Transfer of Neural Net Task Knowledge 1995-09-11 Real Time Streaming Protocol RTSP 1997-03-27 On the Approximation of Pseudospectra of Nonnormal Operators by Discretization, Part II: the Convection-Diffusion Operator 1999-02-04 A. Harrabi Asynchronous Weighted Additive Schwarz Methods 1998-07-30 Abstracting from Robot Sensor Data using Hidden Markov Models 1999-03-11 Scorekeeping for Conversation-Construction 1997-07-15 Ta = Tb? 1999-02-02 Multi-Modal Person Authentication 1998-02-04 A Reduced Hessian Method for Large-Scale Constrained Optimization 1997-01-27 Structuring and Visualising an IC-card Security Standard 1996-07-24 Low-Rank Modification of the Unsymmetric Lanczos Algorithm 1994-09-28 Thomas Huckle Remarks on decay of correlations and Witten Laplacians III Application to logarithmic Sobolev inequalities. 1997-12-26 Laplacians Iii Detecting EUV Transients in Near Real Time with ALEXIS 1996-09-09 A Fast Iterative Nearest Point Algorithm for Support Vector Machine Classifier Design 1999-03-08 On the Use of a Mixed Integer Nonlinear Programming Model for Refrigerant Design 1998-09-20 The Complex Ginzburg-Landau Equation with Weak Initial Data 1997-04-26 Jiahong Wu About the choice of State Space Basis in Combined Deterministic-Stochastic Subspace Identification 1998-09-10 Parity Declustering for Continuous Operation in Redundant Disk Arrays 1993-10-19 Fast Set Operations Using Treaps 1998-04-09 Overview of Modelling and Analysis Techniques for Arbiters and Related Circuits 1998-01-14 Fei Xia Measurement and Modeling of EARTH-MANNA Multithreaded Architecture 1995-08-09 SIMPLE: a performance evaluation tool environment for parallel and distributed systems 1992-07-10 Bernd Mohr On Commutative Algebra Homology In Prime Characteristics 1997-10-02 Sarah Whitehouse Performance and Fluid Simulations of a Novel Shared Buffer Management System 1998-03-02 Comparison of Two Storage Models in Data-Driven Multithreaded Architectures 1996-07-30 Machine Learning Lecture Notes #3 1998-09-08 A Continuum of Minimal Pairs of Compact Convex Sets which are not Connected by Translations 1996-06-23 Diethard Pallaschke August 14, 1996 PARADIGM Bibliography 3 1997-01-08 The Sprite Network Operating System 1993-10-14 Lava: HardwareDesign in Haskell 1998-06-30 Addressing the Heterogeneity of Subject Indexing in the ADS Databases 1998-09-11 David S. Dubin 2nd IEEE Metadata Conference - Notes 1998-01-29 Helena Galhardas Analysis of Poisson Networks and Their Relation with Random Cellular Structures 1996-11-04 On-Center And Off-Center Cell Competition Generates Oriented Receptive Fields From Non-Oriented Stimuli In Kohonen'sself-Organizingmap 1996-08-30 On the Complexity of Projections of Discrete-Event Systems 1998-09-01 Kai C. Wong Ideal Stream Algebra 1998-01-28 Scheduling Policies for an On-Demand Video Server with Batching 1994-09-19 Integration With Respect To Fractal Functions And Stochastic Calculus 1998-02-03 M. Zahle '$¸ß'$ Ffifl Fflfi 1998-02-13 An Object-Based Methodology for Knowledge Representation in SGML 1998-04-02 Computing Iceberg Queries Efficiently 1998-07-08 Scale Decoherence In Inhomogeneous Potentials 1998-05-14 David A. Meyer Lattice Structures and Hierarchical COCOLOG for Finite Machines 1994-09-07 Tissue Selective Magnetic Resonance Subtraction Venography 1997-04-14 Order Parameter Equations for Front Transitions: Nonuniformly Curved Fronts 1997-07-30 Medical Knowledge Mining Using Rough Set Theory 1996-08-15 Predicate Boundedness of Linear Monadic Datalog is in PSPACE 1998-09-27 Ron Van Der Meyden Generating Quasi-Random Paths for Stochastic Processes 1970-01-01 William J. Morokoff Using Polymorphic Types to Structure Flexible Protocol Stacks 1995-03-14 R. Greg Lavender The Lynx Distributed Programming Language: Motivation, Design, and Experience 1991-06-10 Michael L. Scott X Wrappers for Non-Graphic Interactive Programs 1994-03-21 Don Libes Design of the Netmate Network Management System 1992-10-27 Dynamic Program Monitoring and Transformation Using the OMOS Object Server 1996-05-01 An Efficient Multipath Forwarding Method 1999-01-05 The TSIMMIS Approach to Mediation: Data Models and Languages 1997-04-19 Constructing Deterministic Finite-State Automata in Recurrent Neural Networks 1994-04-26 The Multimedia Multicast Channel 1995-10-12 Automatic Specification-Based Testing of Real-Time Properties 1997-01-08 Priority Based Data Flow Testing 1996-09-16 Interactive Segmentation of Three-dimensional Medical Images Extended Abstract 1996-01-18 On A Free Boundary Problem Arising In Detonation Theory: Convergence To Travelling Waves 1994-10-19 Exploiting Global Input/Output Access Pattern Classification 1997-09-30 Specification Of Dynamic Systems By Typed Gurevich Machines 1998-10-19 Alexandre Zamulin A Fast, Bottom-Up Decision Tree Pruning Algorithm with Near-Optimal Generalization 1998-03-06 Exploiting the Connections of Evolutionary Algorithms and Stochastic Approximation 1997-05-02 Maintaining Library Catalogues with an RDBMS: A Performance Study 1997-07-22 Benchmarking Database Systems A Systematic Approach 1997-07-22 Toward a Formalization of Elaboration Tolerance: Adding and Deleting Axioms 1998-05-10 Eyal Amir Partitioning and Retiming of Multi-Dimensional Systems 1997-03-19 Is 2RE J0357+283 the most coronally active star in the Galaxy? 1995-11-29 The Dynamic Servers Problem 1997-10-30 Investigation of Characteristic Measures for the Analysis and Synthesis of Precision-Machined Surfaces 1996-05-13 Ffl Ffl Ffl 1998-06-05 Information Gathering Plans With Sensing Actions 1997-07-14 Globally Optimal Image Mosaics 1999-02-10 E. T. Jaynes** St. John's College Cambridge CB2 1TP, U. K. 1970-01-01 E. T. Jaynes Recent Progress in Machine-Expert Collaboration for Knowledge Acquisition. 1998-06-16 Broadcasting on Meshes with Worm-Hole Routing 1995-10-25 Minimizing Communication while Preserving Parallelism 1998-09-05 Averaging and Finite-Size Analysis for Disorder: The Hopfield model 1996-04-01 A Self-Sorting In-Place Fast Fourier Transform Algorithm Suitable For Vector And Parallel Processing 1970-01-01 Markus Hegland SimLab: Automatically Creating Physical Systems Simulators 1995-02-20 Image Features From Phase Congruency 1998-12-26 Peter Kovesi On L&#x00B2;-Projections on a Space of Stochastic Integrals 1970-01-01 Evaluation Metrics for Knowledge-Based Machine Translation 1994-04-26 An Extension of the WAM for Cooperative Interval Solvers 1997-10-16 Laurent Granvilliers Rectilinear Steiner Trees with Minimum Elmore Delay 1994-09-09 A Knowledge-Based Configurator that Supports Sales, Engineering, and Manufacturing at ATT Network Systems 1998-10-07 Nonuniqueness Of Solutions Of Riemann Problems 1996-03-02 Multidatabase Recoverability and Recovery 1998-11-07 Dimitrios Georgakopoulos Designing for Internal vs. External Discourse in Groupware for Developing Critical Discussion Skills 1998-06-23 Daniel D. Suthers Classification Using Information 1996-06-10 A Greedy Randomized Adaptive Search Procedure For The Quadratic Assignment Problem 1997-04-11 Yong Li Digital Signcryption or How to Achieve CostSignature&Encryption<<CostSignature + CostEncryption 1997-09-30 Yuliang Zheng New Lower Bounds for Convex Hull Problems in Odd Dimensions Extended Abstract 1995-10-28 Linear-Time Binary Codes Correcting Localized Erasures 1998-12-09 Performance Bounds for Joint Source-Channel Coding of Uniform Memoryless Sources Using a Binary Decomposition 1997-07-07 _________________________ 1994-01-03 Nicola Guarino Naming: Design Pattern and Framework 1998-03-16 Shopping Models: A Flexible Architecture for Information Commerce 1997-01-24 Optimally Synchronizing DOACROSS Loops on Shared Memory Multiprocessors 1997-10-26 On Preprocessing Data for Effective Classification 1998-05-04 Lovelace: An Ada 95 Tutorial David A. Wheeler 1996-10-01 David A. Wheeler F3.733e+05>The VLDB Journal 1997 6: 26--39<F4.492e+05> 1997-02-22 Camouflaging Independent Sets in Quasi-Random Graphs 1994-07-15 A Central Issue in Neglect Dyslexia: Spatial Aspects in the Perception of Linguistic Stimuli 1998-05-28 Adam C. G. Cooper Programming a Distributed Application The TUXEDO 1970-01-01 * This research was supported in part by the Defense Advanced Research Projects Agency under contract DACA76-97-K-0001 and monitored by the Topographic Engineering Center of the U.S. Army. 1998-11-02 Sleepers and Workaholics: Caching Strategies in Mobile Environments Extended Version 1995-03-21 Eighth-order Explicit Symplectic Runge-Kutta-Nyström Integrators 1996-10-23 The Age of the Oldest Globular Clusters 1998-02-09 Performability analysis using semi-Markov reward processes 1997-01-03 Optimising Compilation - Part II: lazy functional languages 1995-01-12 An On-line Problem Database 1998-02-09 Some Results on Constraint Activity and Parameter Sensitivity in Bilevel Models of Optimal Design 1996-05-07 Infinite Iterated Function Systems 1994-06-08 Natural Scene Statistics at the Center of Gaze 1998-08-14 Threaded Multiple Path Execution 1998-05-08 Neutrino Physics And The Primordial Elemental Abundances 1998-05-24 Lapped Nonlinear Interpolative Vector Quantization and Image Super-Resolution 1998-07-28 Multiresolution Based On Weighted Averages Of The Hat Function I: Linear Reconstruction Techniques 1999-03-23 Inertial Force Feedback For A Locomotion Interface 1999-03-04 q-Algebra Representations Of The Euclidean, Pseudo-Euclidean And Oscillator Algebras, And Their Tensor Products 1997-02-10 Substructuring Domain Decomposition Method For Nonconforming Finite Element Approximations Of Elliptic Problems With Anisotropy 1996-08-07 S. Y. Maliassov Customizing Information Capture and Access 1996-07-09 Merging Separately Generated Plans with Restricted Interactions 1998-09-10 Incremental Cryptography and Memory Checkers 1997-02-19 Marc Fischlin Arc Consistency and Quasigroup Completion 1998-04-28 Reasoning with Executable Specifications 1995-01-31 Distributed System Fault Tolerance Using Message Logging and Checkpointing 1992-09-21 Using Parallel Computers To Simulate Individual--Oriented Models In Ecology: A Case Study 1995-03-29 Supercomputer Windows into the Solar Convection Zone 1996-05-20 A Study Of Crossover Operators In Genetic Programming 1998-06-03 The AARIA Agent Architecture: An Example of Requirements-Driven Agent-Based System Design 1996-11-06 Parsing English with a Link Grammar 1970-01-01 Secure Communication in FRTP 1997-08-07 Tage Stabell-kul Negotiation and Cooperation in Multi-Agent Environments 1997-09-01 Sarit Kraus Trigger System Design Requirements 1997-07-29 Nonlinear State Observers for Chaotic Systems and their Application to Communications 1994-05-28 A New Solution to the Hidden Copy Problem 1998-06-21 Discontinuity and the Lambek Calculus 1995-04-13 Error Analysis of a New Galerkin Methodto Solve the Forward Problem in MEG and EEG Using the Boundary Element Method 1998-09-29 Relations among Lie Formal Series and Construction of Symplectic Integrators 1998-03-23 P. -v. Koseleff Regularization and Smoothing for the Restoration of Hubble Space Telescope Images 1994-05-20 Error resilient decoding of randomly impaired MPEG-2 bit stream 1998-09-03 Planning, Learning and Coordination in Multiagent Decision Processes 1996-10-30 Craig Boutilier Topological Methods in Combinatorics 1997-01-25 RaDaR: A Scalable Architecture for a Global Web Hosting Service 1999-03-25 On Positive Integers<=x With Prime Factors<=t log x 1995-09-05 Andrew Granville LIDEX Reference Manual 1970-01-01 An Approach to Planning with Incomplete Information 1992-08-04 Parallel computation of dense motion fields using a Hopfield network 1996-01-25 Can Development Be Designed? What We May Learn from the Cog Project 1997-07-16 Julie C. Rutkowska Matrix Optimization Result with DSP Applications 1998-10-15 A Polytope Based Algorithm to Compute Regions of Attraction 1996-05-27 B. G. Romanchuk Computational Technology for Bayesian Inference 1999-02-16 Thomas J. Loredo Modeling Obstacles and Free Spaces for a Mobile Robot using Stereo Vision with Uncertainty 1995-06-16 The Public Shared Objects Run-Time System 1996-02-19 Hierarchies of Neural Networks for Connectionist Speech Recognition 1999-01-20 Zero Measure Spectrum for the Almost Mathieu Operator * 1997-04-26 Y. Last Base Pairing Probabilities in a Complete HIV-1 RNA 1995-04-26 On Generating Functions of Generating Trees 1999-04-01 Lattice Tilings By Cubes: Whole, Notched and Extended 1998-02-25 Mihail Kolountzakis A Schedulability Algorithm For Data Flow, Hard-Real-Time Distributed Programs 1998-03-10 Branching Random Walk: Seneta-Heyde norming 1999-05-04 A. E. Kyprianou Cooperation Patterns for process-centred Software Development Environments 1995-04-10 Stefan Wolf MobiS: A Specification Language for Mobile Systems 1999-03-04 Cecilia Mascolo July 1994 MITH 94/10 Higher Twist, Polarised Structure Functions and the Bjorken System of Equations 1998-05-15 Philip G. Ratcliffe Part II: Transitive Fuzzy Dependencies 1997-10-10 Asymptotic Throughput of Continuous Timed Petri Nets 1996-05-20 On Preserving Views In Evolving Environments 1997-08-19 Live WWW and Its Agents: the CAS-LWWW Project 1996-07-30 Efficient Query Subscription Processing in a Broadcast Environment 1998-08-23 A Connection Between Lattice and Surgery Constructions of Three-Dimensional Topological Field Theories 1998-05-14 Faster Random Generation of Linear Extensions 1997-09-08 Proving a Heine-Borel Theorem by Analogy 1998-05-07 Erica Melis by John T. Kohl 1994-05-21 John T. Kohl Observables and a Hilbert Space for Bianchi IX 1998-05-12 Donald Marolf Analysing a Basic Call Protocol using PROMELA/XSPIN 1998-11-08 Experience in Classification and Reuse of Synchronization Schemes 1997-07-28 Jean-pierre Briot The R*_a-tree: An improved R*-tree with Materialized Data for Supporting Range Queries on OLAP-Data 1999-02-15 Marcus Jurgens Extraction of Circuit Models for Substrate Cross-talk 1995-11-06 Humane Interfaces to Video 1998-11-10 Video And Image Semantics: Advanced Tools For Telecommunications 1995-01-11 ATT at TREC-7 1999-02-17 Image Recognition with Occlusions 1997-10-27 Implementing Data Cubes Efficiently 1996-01-21 Network Performance Effects of HTTP/1.1, CSS1, and PNG 1997-08-06 Defining, Computing, and Visualizing Molecular Interfaces 1995-10-26 RNA Pseudoknot Modeling Using Intersections of Stochastic Context Free Grammars with Applications to Database Search 1995-10-04 File System Performance and Transaction Support copyright 1996-07-02 Margo Ilene Seltzer Characteristic Classes and Hochschild Homology of Group Graded Algebras 1997-12-01 The Very Idea of Dynamic Semantics: An Overview from the Underground 1996-02-28 David Israel xAMp: A Protocol Suite for Group Communication 1996-09-04 L. Rodrigues Fault Tolerant Objects in Distributed Systems Using Hot Replication 1996-03-20 Algebraic Shifting and Sequentially Cohen-Macaulay Simplicial Complexes 1996-08-07 Art M. Duval Linguistic Style Improvisation for Lifelike Computer Characters 1997-08-12 Motion from Points, Lines and P-Lines on N views 1998-08-06 Jean-yves Bouguet Cyclic Weighted Reference Counting without Delay 1992-12-18 Non-Terminating Processes in the Situation Calculus 1998-07-02 Minimal and Maximal Ideals in Rings with Involution 1997-06-30 De-Clustering Objects for Multiprocessor System Software 1995-11-22 Semi--classical Limit for Random Walks 1970-01-01 A Graphical Characterization of Lattice Conditional Independence Models 1999-04-25 Neutrino Flavor Conversion in Random Magnetic Fields 1998-05-24 Characterizing Shared Memory and Communication Performance: A Case Study of the Convex SPP--1000 1996-01-09 Netlib Internal Data Flow 1995-02-23 Eric Grosse Antihomogeneous Conjugacy Operators in Convex Analysis 1995-10-27 Alexander Rubinov Evolution Strategies for Vector Optimization 1994-09-05 Frank Kursawe Computing Nonparametric Function Estimates 1996-05-30 Clive R. Loader A Nonperturbative Form of the Spectral Action Principle in Noncommutative Geometry 1997-04-26 Adjustable Flow Control Filters, Reflective Memories, and Coprocessors as Support for Distributed Real-Time Systems 1994-10-18 Protection from the Underspecified 1996-04-29 The Efficiency of Adapting Aspiration Levels 1998-12-23 M-Lattice: A Novel Non-Linear Dynamical System And Its Application To Halftoning 1994-04-15 PULC: ParaStation User-Level Communication. Design and Overview 1998-03-11 Algebraic Methods and Bounded Formulas 1996-01-15 Domenico Zambella A Comprehensive Partial Scan Chain Assignment and Test Generation 1997-05-06 Dynamic View Morphing 1998-10-01 Feature Generation for Sequence Categorization 1998-05-19 Combining a State Based Formalism With Temporal Logic 1999-03-03 Thomas Dei Duplication of Coding Segments in Genetic Programming 1998-01-12 Thomas Haynes Discrete Straight Line Segments: Parameters, Primitives and Properties 1996-02-08 Top-Induced Electroweak Breaking in the Minimal Supersymmetric Standard Model 1996-03-08 Lollipop Graphs Are Extremal for Commute Times 1999-01-14 Johan Jonasson Concept Formation in Complex Domains 1995-09-13 LEARNING THE VISUOMOTOR COORDINATION OF A MOBILE ROBOT BY USING THE INVERTIBLE KOHONEN MAP C. Versino 1995-06-16 Interactive adaptation of Intranet newsletters 1997-05-20 Annika Waern Iterative Combinational Logic Synthesis Techniques Using Spectral Data 1996-08-13 REUBEN: A Tcl--Based Reusable Environment Driven by Benchmarking Applications 1997-03-25 Using MICE to Study Intelligent Dynamic Coordination 1995-07-11 Coarse-Graining and Renormalization Group in the Einstein Universe 1996-04-05 Alfio Bonanno Fault Injection for Logic Synthesis Design using VHDL 1 of 8 1996-07-22 Authorship Analysis: Identifying The Author of a Program 1994-06-11 Ivan Krsul Quality of Service Extensions to OSPF or Quality Of Service Path First Routing QOSPF 1998-08-14 Phase Portraits of Planar Vector Fields: Computer Proofs 1996-08-21 John Guckenheimer Computational Models of White-Tailed Deer in the Florida Everglades 1996-04-16 Composition Of Transfer Rules In A Multi-Lingual Mt System 1996-07-19 Performance Enhanced Genetic Programming 1999-02-08 Multilayer Neural Networks: One Or Two Hidden Layers? 1997-05-26 Query Containment for Conjunctive Queries With Regular Expressions 1999-01-20 Pavel Bleher and Alexander Its 1997-04-26 Career Development Plan in Environmental Statistics: Curriculum Development and Uncertainty Analysis 1998-11-04 A Rule-Based CQL for 2-Dimensional Tables 1997-04-24 Similarity-Based Queries for Time Series Data 1997-03-01 The Emergence of the Unmarked Pronoun II 1998-07-13 Joan Bresnan Unknown 1995-08-07 Per-User Profile Replication in Mobile Environments: Algorithms, Analysis, and Simulation Results 1999-02-05 Integrated Planning and Execution for Satellite Tele-Communications 1998-08-21 Modeling Conditional Independence with Nonuniform Predictions 1998-02-07 The Terminological Pitfalls of Studying Emotion 1997-10-28 An Efficient Algorithm to Compute Maximum Entropy Densities 1997-02-20 A Sisal Compiler for Both Distributed- and Shared-Memory Machines 1995-02-25 Representation and Information in Dynamic Semantics 1996-03-06 Paul Dekker Generalization in an Autonomous Agent 1999-03-11 A. Lorincz Kadanoff-Baym equations with initial correlations 1999-01-20 The Propagation Models Used for Evaluation of Digital Beam Steering . . . 1996-08-11 Complete Distributional Problems, Hard Languages, and Resource-Bounded Measure 1997-02-06 Crossover of Magnetoconductance Autocorrelation for a Ballistic Chaotic Quantum Dot 1998-01-25 K. Frahm Static Analysis of Logic Programs Using CLP as a Meta-language 1996-06-26 Detection Of Eukaryotic Promoter Regions Using Stochastic Language Models 1998-10-13 Fast Algorithms for Finding Randomized Strategies in Game Trees 1997-08-05 Computing Minimum Length Paths of a Given Homotopy Class 1995-05-19 Optimal Binary Index Assignments for a Class of Equiprobable Scalar and Vector Quantizers 1996-03-06 Growth Trends in Wide-Area TCP Connections 1997-01-08 Vern Paxson Solving problems with unilateral constraints by DAE methods 1998-03-23 Ergodic Results In Subgradient Optimization 1995-11-02 Michael Patriksson Zbigniew Fiedorowicz and Yongjin Song 1997-05-23 Lexical Change as Nonlinear Interpolation 1998-09-16 Whitney Tabor Computational Aspects of Reordering Plans 1998-09-25 Christer Backstrom The Binary Exponentiated Gradient Algorithm for Learning Linear Functions 1997-04-22 Tom Bylander Synthesis of Mixed Software-Hardware Implementations from CFSM Specifications 1995-01-26 Weak Random Sources, Hitting Sets, and BPP Simulations 1997-10-04 Fast Algorithms for Fitting Multiresolution Hybrid Shape Models to Brain MRI 1996-06-13 Spectral Stability of Modulated Travelling Waves Bifurcating Near Essential Instabilities 1998-12-10 A Pair of Optimal Inequalities Related to the Error Function 1997-11-04 Contravariant Geometry Description 1998-10-16 Ilja Schmelzer Non-Perturbative Solutions For Lattice Quantum Gravity 1998-05-12 R. Loll Rational Model of Subspace Complement on Atomic Complex 1999-02-18 Sergey Yuzvinsky Learning to Order Things 1998-12-03 -- Object Modeling in 1997-08-22 Closed Form Solutions of Hybrid Systems 1999-03-11 Martin V. Mohrenschildt Real-Time Collision Avoidance: Differential Game, Numerical Solution, and Synthesis of Strategies 1998-07-16 Lachner R New Security Architectural Directions for Java Extended 1998-09-26 Usage-Based Charging Using Effective Bandwidths: Studies and Reality 1998-10-09 Ffl Ffl Ffl 1998-06-05 Formal Software Measurement For Object-Oriented Business Models 1998-10-02 Method Resolution and Virtual Classes in a Deductive Object-Oriented Database 1995-10-24 Burkhard Freitag Combinatorial Representation of Generalized Fibonacci Numbers 1993-07-21 Shmuel T. Klein Automatic Semantic Analysis of Television News Captions 1998-10-20 Image retrieval using Image Context Vectors: first results 1995-10-27 The UniForM User Interaction Manager Version 0.2 Reference Manual 1998-06-23 Einar W. Karlsen Nonuniform Multirate Filter Banks: Analysis and Design with an ... Performance Measure 1997-04-11 Tongwen Chen Maintaining the Forest and Burning out the Underbrush in XTAG 1997-11-13 Modeling Web Sources for Information Integration 1998-11-05 Minimal Realization in Bicategories of Automata 1997-01-29 Logical Specification of Bulk Updates and Sequential Updates 1996-10-01 Neron-Severi group for torus quasi bundles over curves 1994-11-21 Halo: A Windowing system for Angel 1997-04-16 Alan Messer Hardware for Speculative Reduction Parallelization and Optimization in DSM Multiprocessors 1999-04-15 A Complex-Systems Perspective on the "Computation vs. Dynamics" Debate in Cognitive Science 1998-03-19 Melanie Mitchell List Ranking and List Scan on the 1997-02-04 Design and Performance Tradeoffs in Clustered Video Servers 1998-06-12 Renu Tewariy The Universality Class Of The Electroweak Theory 1998-05-22 Analog Optimization with Wong's Stochastic Hopfield Network 1995-03-01 George Kesidis Cost-Based Abduction, Constraint Systems and Alternative Generation 1996-02-20 Eugene Santos Heuristic Search in One and Two Player Games 1992-10-05 Asynchronous Pipeline Design using GaAs PDLL Logic and new CMOS dynamic techniques 1998-09-24 Kinodynamic Motion Planning 1994-12-10 Minimal Relative Normalization in Orthogonal Expression Reduction Systems 1996-12-16 An Agent-Based Structure For Mobile Robots Using Vision And Ultrasonic Sensors 1998-02-05 Optimized Binary Search and Text Retrieval 1997-12-06 Improved MMSE-based Multi-user Detectors for Mismatched Delay Channels 1996-06-26 Scaling Properties Of Hyperbolic Measures 1999-02-10 J. Schmeling From the Modeling of Parallel Query Processing to the Query Optimization and Simulation 1997-08-25 Syntactic Control of Interference Revisited 1998-07-07 Solving Large-Scale Linear Programs by Interior-Point Methods Under the MATLAB Environment 1996-03-07 Yin Zhang Gauge Invariances in the Proca Model 1998-05-24 A S Vytheeswaran A Framework for Designing Materialized Views in Data Warehousing Environment 1997-01-31 A Parallel Algorithm for Text Inference 1997-10-14 Evolutionary Computation: An Overview 1999-01-29 Heterogeneous and Homogeneous Robot Group Behavior 1996-08-27 Dani Goldberg Detecting Stylistic Inconsistencies in Collaborative Writing 1995-08-31 Integrated Range Comparison for Data-Parallel Compilation Systems 1998-06-02 Predicate Migration: Optimizing Queries with Expensive Predicates 1995-06-03 On the Linguistic OWA Operator and Extensions 1997-01-28 A Color-Based Classifier for Region Identification in Video 1998-01-19 A Matrix-Free Interpretation OfThe Non-Local Dirichlet-To-Neumann Radiation Boundary Condition 1997-09-04 The Magnetic Collimation of Bipolar Outflows I: Adiabatic Simulations 1994-05-02 Strain Softening in Viscoelasticity of the Rate Type 1997-11-19 Implementing Dynamic Load Distribution Strategies with Orbix 1997-09-17 UM-PRS V3.0 Programmer and User Guide 1997-07-30 Separating Characters by Spikes in Projection Profiles 1997-03-25 Patrick C Hew A connected complex simple centerfree Lie group whose exponential function is not surjective 1996-02-07 Verification of Hierarchical State/Event Systems using Reusability and Compositionality 1999-03-11 A Fast Algorithm and System for the Inverse Kinematics of General Serial Manipulators 1994-06-09 Michael Strickland 1998-10-01 Michael Strickland A General Framework for Bi-Directional Translation between Abstract and Pictorial Data 1992-05-01 Statistics User Manual 1998-11-11 Release Notes 1970-01-01 An Experimental and Theoretical Comparison of Model Selection Methods 1997-12-30 Neural Control of Artificial Human Walking 1998-03-26 Dynamics of Quality-of-Service Routing with Inaccurate Link-State Information 1998-01-20 Selectivity Estimation in the Presence of Alphanumeric Correlations 1997-08-01 Unknown 1998-09-23 Mechanized Proofs of Security Protocols: Needham-Schroeder with Public Keys 1997-01-30 Lawrence C. Paulson Approximate Reasoning for Contextual Databases 1997-03-11 Fabio Massacci Quaternion-Based Coordinated Control of a Subsea Mobile Manipulator with Only Position Measurements 1996-12-20 COLA: A Coordination Language for Massive Parallelism 1995-08-11 Homoclinic and Heteroclinic Bifurcations Close to a Twisted Heteroclinic Cycle. 1997-10-27 Language and Runtime Support for Dynamic Interposition of System Code 1997-11-18 th Workshop on Parallel and Distributed Real-time 1996-06-12 Challenges in Evolving Controllers for Physical Robots 1996-02-25 Adapting Database Object Models to Knowledge Representation Needs 1996-06-05 Design Of Multi-Dimensional Derivative Filters 1997-06-04 Eero P. Simoncelli Field Boundary Detection using Multi-Temporal SAR 1998-04-08 An Alternative Approach To Algebro-Geometric Solutions Of The Akns Hierarchy 1997-04-26 F. Gesztesy Novel Techniques for Fraud Detection in Mobile Telecommunication Networks 1997-04-08 Modeling Surround Suppression in V1 Neurons with a Statistically-Derived Normalization Model 1999-01-06 Light Amplification By Gravitational Waves in Scalar-Tensor Theories of Gravity 1998-05-14 Valerio Faraoni Simple Semantic Analysis Problems for Functional Programs 1997-12-03 Lattice Chern-Simons Number Without Ultraviolet Problems Guy D. Moore 1998-05-25 High Accuracy Reconstruction From Wavelet Coefficients 1997-02-26 Fritz Keinert Active Intermediation in Overlapping Generations Economies with Production and Unsecured Debt 1998-06-14 Utterance Verification Improves Closed-Set Recognition And Out-Of-Vocabulary Rejection 1995-12-22 Research Summary of Investigations Into Optimal Design-to-time Scheduling 1994-06-20 Trust Management and Proof-Carrying Code in Secure Mobile-Code Applications 1998-06-08 Recovery of Ego-Motion Using Image Stabilization 1994-01-12 A Real-Life Experiment<E-227>in Creating an Agent Marketplace 1997-04-26 Performing Group-By before Join 1995-07-13 A Comparison of Two Systems for Down Link Communication with Antenna Arrays at the Base 1995-11-23 Cut-Elimination for Full Intuitionistic Linear Logic 1996-05-08 Improving the Parallelism and Concurrency in Decoupled Architectures 1999-01-20 Computational Linguistics Offprint Library and Bibliography 1998-07-22 Carl Vogel ed Presupposition Failure - A Comedy of Errors 1996-03-13 An Investigation of Documents from the World Wide Web 1996-03-31 Geo-Opera: Workflow Concepts for Spatial Processes 1997-07-21 Learning Action-oriented Perceptual Features for Robot Navigation 1999-02-08 About This Document 1998-07-10 A Mobile Robot Employing Insect Strategies for Navigation 1999-02-19 Garbage Collection using a Dynamic Threatening Boundary 1995-04-21 Using Parsed Corpora for Structural Disambiguation in the TRAINS Domain 1996-03-06 Trust and Partial Typing in Open Systems of Mobile Agents 1998-11-18 by G.G. Raffelt Low-mass weakly-interacting particles neutrinos, gravitons, axions, baryonic or leptonic gauge bosons, 1998-06-03 Two Algorithms for Three Dimensional Orthogonal Graph Drawing 1996-09-15 Semantics of Pointers, Referencing and Dereferencing with Intensional Logic 1996-05-30 A Recursive Temporal Algebra and Temporal Completeness 1996-03-20 Mehmet A. Orgun Effective Theories Of MSSM At High Temperature 1999-02-23 M. Laine An Equation Error Method to Recover Diffusion From the Distributed Observation 1997-04-08 Tommi Karkkainen AGENTS: An Architectural Construct to Support Distributed Simulation 1995-10-11 and Z. Basrak 1999-01-07 Selective continuous quantum measurements: Restricted path integrals and wave equations 1998-05-12 Using the Discriminability Based Transfer Algorithm to Selectively Bias Neural Network Learning Using the Results of Learning on Related Tasks 1994-03-10 Acta Math. Univ. Comenianae Vol. LXIV, 21995, pp. 247--254 1970-01-01 Stochastic calculus of generalized Dirichlet forms 1999-04-21 Gerald Trutnau Categorization-Based Diagnostic Problem Solving in the VLSI Design Domain 1996-02-16 -Spectrum Of The Bernoulli Convolutions Associated With The P.v. Numbers 1998-01-17 Elements of Trusted Multicasting 1998-09-28 Continuous Time Recursive Least Squares Estimation With Uniform Local Implementation on Networks and Arrays 1998-09-14 Hardware/Software Co-design With the HMS Framework 1997-03-31 Specification Diagrams for Actor Systems 1998-10-26 Scott F. Smith The Functorial Data Model - An Extension to Functional Databases 1997-06-27 Narrowing the Narrowing Space 1970-01-01 Optimal Randomized Parallel Algorithms for Computational Geometry 1997-04-15 Pat Morin Re-Interpreting the Modal 1999-01-08 On Calibrating Measurements of Packet Transit Times 1998-03-13 Vern Paxson Ant Colonies for the Traveling Salesman Problem 1999-03-17 Kolmogorov complexity, statistical regularization of inverse problems, and Birkhoff's formalization of beauty 1998-06-25 Simple Selection of Utile Control Rules in Speedup Learning 1995-08-29 Computing Delay with Coupling Using Timed Automata 1998-01-16 Choice of Basis for Laplace Approximation 1998-08-25 David J. C. Mackay How Can We Design Better Networks for DSM Systems? 1997-03-27 Alewife Systems Memo 21 1992-01-18 Intelligent Monitoring of Distributed, Heterogeneous Data Sources 1995-11-19 On the Complexity and Approximation of Syntenic Distance 1998-04-08 Node-Disjoint Paths on the Mesh and a New Trade-Off in VLSI Layout 1999-03-01 Dynamic cursive script recognition - A hybrid approach 1994-11-24 Simplicial Properties of the Set of Planar Binary Trees 1998-06-25 Alessandra Frabetti Deductive Verification of Real-time Systems Using STeP 1997-11-24 Data Warehouse Evolution: Consistent Metadata Management 1998-06-26 A Method of Automated Landmark Generation for Automated 3D PDM Construction 1998-07-03 The Role Of Dimensionality In The Stability Of A Confined Condensed Bose Gas 1997-12-19 Luca Salasnich Program Restructuring via Design-Level Manipulation 1994-11-16 A Comparison of Hidden Markov Model Features for the Recognition of Cursive Handwriting 1996-10-05 Scott Connell Messenger-Matter Mixing and Lepton Flavor Violation 1998-05-24 Concurrency in Functional and Logic Programming 1995-11-10 Disjunctive Chronolog 1996-09-24 Proofs with Graphs 1970-01-01 The TREC-6 Spoken Document Retrieval Track 1997-05-09 The Welch-Lynch Clock Synchronization Algorithm 1998-04-28 Bruno Dutertre DRAFT - 2/7/95 Solving Inverse Problems by Bayesian Iterative Inversion of a Forward Model with Ground Truth Incorporation 1996-02-07 Integrating Remote Procedure Calls with Virtual Memory Management for Cooperative Autonomous Systems 1999-04-09 Debugging Optimized Code with Dynamic Deoptimization 1998-11-25 Reducing Processor Power Consumption by Improving Processor Time Management in a Single-User Operating System 1996-09-09 Prototyping and Formal Requirement Validation of GPRS: A Mobile Data Packet Radio Service for GSM 1999-02-03 WIP/PPP: Knowledge-Based Methods For Automated Multimedia Authoring 1996-11-12 The XY Model in a Transverse Magnetic Field 1997-04-26 Existential Disclosure 1998-11-24 Paul Dekker Constructions of Near-Optimal Extractors Using Pseudo-Random Generators 1998-08-20 Luca Trevisan Justification of Plan Recognition Results 1996-04-25 Mathias Bauer Automatic Construction of Frame Representations for Spontaneous Speech in Unrestricted Domains 1998-09-21 Klaus Zechner Efficient Composite Data Flow Analysis Applied to Concurrent Programs 1998-07-15 Assumption/Commitment Rules for Networks of Asynchronously Communicating Agents 1997-09-29 On Termination of One Rule Rewrite Systems 1994-03-11 Pierre Lescanne The IMPROV Meta-Tool Design Methodology for Visualization of Parallel Programs* 1994-03-24 Thomas L. Casavant Measurement of the optical relevant parameters for high angular resolution astronomy with the Generalized Seeing Monitor G.S.M. 1999-03-03 Circumnuclear Starbursts in Barred Galaxies 1998-05-14 Johan H. Knapen An Infrared Network for Mobile Computers 1998-01-20 Open Problems 16 1997-01-25 Frequency Domain System Identification Toolbox for MATLAB: Improvements and New Possibilities 1997-06-06 Compiler Construction Using Scheme 1995-11-13 The Convex Analysis of Unitarily Invariant Matrix Functions 1995-10-26 A. S. Lewis STRUDEL: A Web-site Management System 1998-02-28 Are There Interactive Protocols for Co-NP Languages? 1994-04-21 Dynamic Server Selection in the Internet 1996-11-06 A Subspace Algorithm for Balanced State Space System Identification 1998-09-14 Telicity and English Verb Classes and Alternations: An Overview 1998-09-05 Mari Broman Olsen On Knowledge, Strings, and Paradoxes 1998-07-30 Manfred Kerber Deliverable R3--B4--P Task B4 : Benchmarks 1995-08-23 An Object-Oriented Compiler Construction Toolkit 1998-07-03 Timothy P. Justice A Quasi-Newton L2-Penalty Method For Minimization Subject To Nonlinear Equality Constraints 1995-02-04 Thomas F. Colemany Yuanz Software Tool Evaluation Methodology 1995-01-06 On-line Learning and the Metrical Task System Problem 1997-04-21 Ant-Q: A Reinforcement Learning approach to the traveling salesman problem 1995-06-08 Network-Based Information Brokers 1997-09-12 Residual Advantage Learning Applied to a Differential Game 1997-04-16 The Design of GrIDS: A Graph-Based Intrusion Detection System 1999-01-27 ? ? ? ! ? ? ? : Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi Fi 1995-07-24 Hartmut Schlosser An Assessment and Comparison of Common Software Cost Estimation Modeling Techniques 1998-08-28 A New Robust Operator for Computer Vision: Application to Range and Intensity Images 1994-03-23 Charles V. Stewart Some Integral Transforms of Vector Fields 1996-12-12 Kent Strhln Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems 1994-09-20 Hypermedia, Information Systems And Organizations: An Agenda For Research 1996-04-09 Parametric Cost Deployment 1995-07-14 Edwin B. Dean Mollifying The Riemann Zeta-Function 1999-02-09 J. B. Conrey Syntax-Semantics Interaction In Sentence Understanding 1995-03-16 Modelling of Coordinated Collaboration 1998-09-22 An Efficient Algorithm for Text Data Mining with Optimal String Patterns 1998-05-27 Foundations Of Temporal Query Languages 1998-08-05 David Toman Computing Bisimulations for Stochastic Process Algebras using Symbolic Representations 1998-10-06 A Brauer Algebra Theoretic Proof Of Littlewood's Restriction Rules 1998-06-25 Fabio Gavarini Spline Animator: Smooth Camera Motion for AVS Animation 1998-02-19 Consistent Effective Description Of Nucleonic Resonances In An Unitary Relativistic Field-Theoretic Way 1998-11-10 F. Kleefeld A State Space Approach To Joint Aoa And Period Estimation For A Class Of Periodic Discrete Event Processes 1996-12-06 Index Translation Schemes for Adaptive Computations on Distributed Memory Multicomputers 1970-01-01 The Necessity Of User Guidance In Case-Based Knowledge Acquisition 1997-02-28 Configuring Scientific Applications in a Heterogeneous Distributed System 1993-10-03 The Cone of Monge Matrices: Extremal Rays and Applications 1997-08-26 An Improved Algorithm for the Evaluation of Fixpoint Expressions 1999-01-15 On the Completeness of the Equations for the Kleene Star in Bisimulation 1999-01-13 Wan Fokkink Congestion-Dependent Pricing of Network Services 1998-10-14 Development of Authentication Protocols : Some Misconceptions and a New Approach 1996-10-03 : A General Framework for Implementing Calculi and Strategies 1998-09-02 The K-Property of Hamiltonian Systems with Restricted Hard Ball Interactions 1997-04-26 CC Programs with both In- and Non-determinism: A Concurrent Semantics; with an introduction to CCP 1997-10-20 Keith Wansbrough Learning Recursive Data is Intractable 1997-07-10 Barbara Hammer Learning Factorial Codes By Predictability Minimization 1995-08-21 Jurgen Schmidhuber A Security Mechanism for the Resource Management in a Web Operating System 1998-09-08 Herwig Unger Instantaneous Control of Backward-Facing Step Flows 1999-02-02 Hybrid training method for tied mixture density hidden Markov models using Learning Vector Quantization and Viterbi estimation 1995-11-02 Mikko Kurimo Survey of Error Recovery Techniques for IP-based Audio-Visual Multicast Applications 1998-06-15 Exact Description of Spectral Correlators by a Quantum One-Dimensional Model with Inverse-Square Interaction 1998-10-15 Piecewise projective and piecewise Steinberg homomorphisms, and a formula in 1999-04-21 Temporal Databases 1998-08-05 Analysis of Wake/Sleep EEG with Competing Experts 1997-07-08 Digital Software and Data Repositories for Support of Scientific Computing 1995-02-27 3-D Computer Vision UsingStructured Light: Design, Calibration and Implementation Issues 1995-11-06 SVDM: An Integrated Combination of SA and VDM 1997-10-10 Negatively Correlated Neural Networks for Classification 1998-12-28 Weighted NP Optimization Problems: Logical Definability and Approximation Properties 1995-06-05 Marius Zimand Mechanized Reasoning about Concurrent Functional Programs 1997-11-14 Sava Mintchev Situated Nonmonotonic Inference with BABY-SIT 1996-02-24 Face Recognition: A Hybrid Neural Network Approach 1997-11-07