Theoretical Issues Concerning the Representation of Continuous-Valued Input and Output Data in Neural Networks 1993-09-28 WASA: A Workflow-Based Architecture to Support Scientific Database Applications 1996-04-11 Query Answering in Concept-Based Knowledge Representation Systems: Algorithms, Complexity, and Semantic Issues 1994-06-21 Andrea Schaerf Language Support for Distribution in CSCW Systems 1997-07-17 Bottom-Up Induction of Oblivious Read-Once Decision Graphs: Strengths and Limitations 1997-08-25 Ron Kohavi Artificial Evolution: Modelling the Development of the Retina 1997-04-28 Evolving Optimal Populations with XCS Classifier Systems 1997-02-04 Tim Kovacs Shape Tiling 1997-12-26 Maximal Chained Networks of Given Diameter with transputer examples 1995-08-02 Parton Distributions in Nuclei: Overview and Prospect 1998-05-14 S. Kumano Invariante Kegel in Cartan-Algebren 1995-08-21 Multistep Methods Integrating Ordinary Differential Equations on Manifolds 1999-02-19 Direct Lighting Calculation by Monte Carlo Integration 1998-01-23 High-Performance Job-Shop Scheduling With A Time-Delay TDlambda Network 1995-06-01 Object-Oriented HybridSystems of Coalgebras plus Monoid Actions 1996-09-25 Bart Jacobs The Probabilistic Growing Cell Structures Algorithm 1998-10-27 Intelligent Communication Filtering for Limited Bandwidth Environments 1996-10-29 The Complexity of Concept Languages 1999-03-05 Exact Solution of the Totally Asymmetric Simple Exclusion Process: Shock Profiles 1997-04-26 Mathematical Formalization of the Messenger Paradigm 1995-11-13 Otter: The CADE-13 Competition Incarnations 1996-11-12 Concurrent Constraint Automata 1993-05-06 Nonlinear Optical Parameters for InSb at 10. 6 1994-04-28 Recognition of Printed Digits using Zernike or Orthogonal Fourier-Mellon Moments 1998-12-11 Fixed Point for Negamaxing Probability Distributions on Regular Trees 1998-01-05 Warren D. Smith Triggering And Event Building Results Using The C104 Packet Routing Chip 1996-01-30 An Experimental Comparison of Localization Methods 1998-08-19 Focusing Construction and Selection of Abductive Hypotheses 1994-06-08 David B. Leake On The Whitham Equations And X, psi Duality 1997-10-07 Robert Carroll Coordination Assistance for Mixed Human and Computational Agent Systems 1995-11-08 A Tight Lower Bound for k-Set Agreement 1994-07-20 Cluster Expansions of Brydges-Federbush Type for Quantum Lattice Systems 1970-01-01 K-transversals of parallel convex sets Nina Amenta 1996-05-06 Nina Amenta Learning of Personal Visual Impression for Image Database Systems 1997-08-25 Grate: A General Framework For Cooperative Problem Solving 1994-07-07 I. Laresgoiti Grassroots: A System Providing a Uniform Framework for Communicating, Structuring, Sharing Information, and Organizing People 1996-10-09 Probabilistic Multimedia Objects Multijects: A Novel Approach To Video Indexing And Retrieval In Multimedia Systems. 1998-09-09 Hardware Compilation, Configurable Platforms and ASICs for Self-validating Sensors 1997-06-30 Deadline Monotonic Scheduling 1993-07-20 A comparison of experimental results with an Evolution Strategy and Competitive Neural Networks for near real-time Color Quantization of image sequences 1998-07-21 Object recognition using hidden Markov models 1996-08-06 Business Issues and Potential Research Topics in Software Engineering From the Point of View of Japanese Software Industry 1996-11-13 Takeshi Hayama Top-Down, Constraint-Driven Design Methodology Based Generation of a Second Order . . . Converter 1994-12-15 Fluctuation Patterns and Conditional Reversibility in Nonequilibrium Systems 1997-04-26 Giovanni Gallavotti Knowledge Representation in the TRAINS System 1997-07-23 Suppression is Proportional to the potential Or Exchange Scattering Rate, 1997-08-21 A Formalization of a Hierarchical Model for RISC Processors 1996-06-17 ? 1996-07-01 Spatial Interaction Model Optimisation on Parallel Computers 1994-09-05 The Arnoldi-Tchebycheff method for solving large complex non hermitian generalized eigenproblems 1995-04-24 T. Braconnier Unknown 1995-02-23 R. A. Kowalski VisAll: A new Tool to Visualise Parallel Execution of Logic Programs 1997-10-16 A Discrete Dyadic Wavelet Transform for Multidimensional Feature Analysis 1997-07-09 Iztok Koren Molecular Evolution of Catalysis 1997-05-07 Christian V. Forst Analysis of Direction Selectivity Arising From Recurrent Cortical Interactions 1999-01-22 The Local Analysis and Prediction System LAPS: Analyses of Clouds, Precipitation, and Temperature 1997-10-20 On the Quantum Complexity of Majority 1998-12-14 Technical Report No. 97-412 On the Power of Some PRAM Models 1997-11-24 Approximation Algorithms for the Largest Common Subtree Problem 1997-02-02 An Evolutionary Heuristic for the Minimum Vertex Cover Problem 1996-08-02 On the Lipschitzian properties of polyhedral multifunctions 1995-10-17 Improving Climate Prediction Using Seasonal Space-Time Models 1997-08-05 Efficient Reliable Group Communication For Distributed Systems 1994-03-21 High-Performance Special-Purpose Computers in Science 1998-11-26 Motion Segmentation and Tracking Using Normalized Cuts 1998-09-04 IaDEA: A Development Environment Architecture for Building Generic IntelligentUser Interface Agents 1998-04-28 A Knowledge-Based Framework for Belief Change, Part II: Revision and Update 1999-02-11 MIME Multipurpose Internet Mail Extensions Part One: 1993-09-29 Nearest Neighbor Clutter Removal for Estimating Features in Spatial Point Processes 1996-07-23 Sequential Karhunen-Loeve Basis Extraction and its Application to Images 1999-02-10 A pragmatic approach to compilation of Erlang 1997-06-05 Towards a Statistical Approach to Testing Object-Oriented Programs 1997-03-04 H. Waeselynck Formalising the Specification of Rewards with PEPA 1998-04-21 Graham Clark Issues For Proximate User Interfaces 1998-04-08 Learning Geometric Concepts with an Evolutionary Algorithm 1996-02-26 Andreas Birk D Reconstruction of the Human Jaw from A Sequence of Images 1999-03-10 Galactic-Scale Outflow and Supersonic Ram-Pressure Stripping in the Virgo Cluster Galaxy NGC 4388 1999-01-19 Percolation on Grigorchuk groups 1999-03-20 Modern Inertial and Satellite Navigation Systems 1997-07-07 , Geoff Langdale 1996-02-28 End-to-end Evaluation in JANUS: a Speech-to-speech Translation System 1997-02-06 Style Sheet Languages and Mathematical Material 1998-05-26 Richard M. Timoney Software Sensor Design Based on Empirical Data 1998-09-28 Applications of Computational Geometry to Geographic Information Systems 1998-12-09 Phenotypic Plasticity in Evolving Neural Networks 1995-12-01 On Binary Constraint Problems 1995-04-18 On Sensitivity Of Central Solutions In Semidefinite Programming 1998-03-19 J. F. Sturm Recommended C Style and Coding Standards 1997-02-19 An Approach to Supporting Semantic Integrity of Federated Databases 1996-11-22 Can Turker Using Explicit Segmentation To Improve Hmm Phone Recognition 1999-02-03 The Generalized beta-Method in Taguchi Experiments 1998-03-11 Piotr Findeisen 1994-12-09 Piotr Findeisen A Simulated Environment of a Multimodal User Interface for a Robot 1995-11-28 Problem Solving in the DISCO Constraint Database System 1997-04-07 Peter Z. Revesz A Spreadsheet Approach to Information Visualization 1998-02-24 Towards Building Manageable Multimedia Network Services 1997-04-11 Solving Similar Problems using Genetic Algorithms and Case-Based Memory 1999-04-20 Of mice and men: Algorithms for evolutionary distances between genomes with translocation 1998-07-30 Multiresolution Video 1996-07-24 Linkability: Examining Causal Link Commitments in Partial-Order Planning 1994-04-07 Comparing Support Vector Machines with Gaussian Kernels to Radial Basis Function Classifiers 1997-03-08 Simple Usage-Based Charging of Web Cache Services 1997-07-25 The NIST Express Toolkit - Updating Existing Applications 1993-06-29 Don Libes Dynamical Recurrent Neural Networks and Pattern Recognition Methods for Time Series Prediction: Application to Seeing and Temperature Forecasting in the Context of ESO's VLT Astronomical Weather Station 1997-04-24 Automatic Generation Of Cued Speech For The Deaf: Status And Outlook 1998-10-06 Parallelizing The Qr Algorithm For The Unsymmetric Algebraic Eigenvalue Problem: Myths And Reality 1994-10-08 Differential Vector Quantization of Real-Time Video 1996-09-16 Improving the Performance of Radial Basis Function Networks by Learning Center Locations 1994-09-13 The Effect of Nonlocal Interactions on the Dynamics of the Ginzburg-Landau Equation 1995-10-19 OV Overview of Computational Science 1998-05-30 VGDS: An Object-Oriented Framework for Distributed Scientific Computing 1997-09-03 Numerical Study of a Multigrid Method with Four Smoothing Methods for the Incompressible Navier-Stokes Equations in General Coordinates 1993-08-01 Improving the Performance of Genetic Algorithms through Derandomization 1998-04-01 Ralf Salomon Attribute Grammars: a Declarative Functional Language 1995-10-06 Complexity of Sequential Pattern Matching Algorithms 1998-08-03 Divide To Coordinate: Optimization Reconsidered 1995-08-17 Statistical Properties of Qualitative Behaviors 1997-05-26 Giorgio Brajnik OASIS: Prototyping Graphical Interfaces to Networked Information 1995-12-21 Nonlinear Component Analysis as a Kernel Eigenvalue Problem 1999-02-25 Competing Predictors Segment and Identify Switching Dynamics 1995-10-23 Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking 1995-11-17 On HB-FLAT HYPERBOLIC KAEHLERIAN SPACES 1970-01-01 Zbigniew Fiedorowicz and Yongjin Song 1997-05-23 A New Value Iteration Method For The Average Cost Dynamic Programming Problem 1970-01-01 Dimitri P. Bertsekas A Sequential Sampling Procedure For Genetic Algorithms 1994-03-10 Une methode de Calibration Radiometrique de Camera a focale variable 1996-03-15 Binary Relational Algebra Applied to Software Architecture 1996-07-29 R. C. Holt From Inheritance Relation to Non-Axiomatic Logic 1998-12-25 Pei Wang Digital Watermarking of Raw and Compressed Video 1996-12-02 Recursive Prediction and Likelihood Evaluation for Periodic ARMA Models 1998-04-16 Rotation Invariant Neural Network-Based Face Detection 1999-04-08 Types, Logic, and Semantics for Nested Databases 1996-02-04 Deductive Composition of Astronomical Software from Subroutine Libraries 1994-08-26 Real-Time Wireless Communication using Splitting Protocols 1997-07-23 Completely Integrable Systems: A Generalization 1998-12-03 Learning to Model Sequences Generated By Switching Distributions 1999-02-08 A Purity Theorem For The Witt Group 1999-04-21 Weak-Consistency Group Communication and Membership 1992-12-12 Outline of the IPTES Physical Model. 1994-03-10 Storage Capacity of the Single RAM-based Neuron 1996-11-13 Space, Time And Superluminal Particles L. Gonzalez-Mestres 1997-04-26 L. Gonzalez-mestres Forms of Logic Specifications: A Preliminary Study 1996-12-10 Kung-kiu Lau Modeling Substrate Coupling Effects using a Layout-to-Circuit Extraction Program 1997-12-22 Analysis of a Correlated Queue in a Communication System 1995-12-31 Jets and Energy Flow in Photon-Proton Collisions at HERA 1997-12-19 H Collaboration A "Linear Logic" Quicksort 1994-12-07 Henry G. Baker DISCO - An HPSG-Based NLP System and its Application for Appointment Scheduling 1994-06-15 Analytic Variations on Quad--Trees 1998-11-24 Stacked Density Estimation 1997-09-02 Lagrangian Flows: The Dynamics Of Globally Minimizing Orbits - Ii 1997-09-03 Positive Solutions For Higher Order Ordinary Differential Equations 1996-12-11 Accelerating Partial Order Planners by Improving Plan and Goal Choices 1996-02-02 Contextual Information for Disambiguation in a Speech-to-Speech Translation System 1997-05-21 Maite Taboada Structural Optimization of Feedforward Networks 1997-06-18 Heikki Hyotyniemi Gallium Arsenide Process Evaluation Based on a RISC Microprocessor Example 1995-09-26 Boundary Integral Operators For Plate Bending In Domains With Corners 1997-11-19 Gunther Schmidt An Agent Communication Protocol for the Feature Interaction Problem 1999-01-15 Neural Networks 1996-03-14 Pro-Active Focus 1996-08-21 Reinforcement Learning: A Survey 1997-06-01 Error of Kernel Estimator: Monitoring Convergence of Markov Samplers 1997-02-06 Bin Yu Automatic Cross-Language Information Retrieval using Latent Semantic Indexing 1996-12-04 Endomorphisms of Stable Planes 1995-08-20 The Transition of Application Programs From COBOL to a Fourth Generation Language 1994-08-11 Rare Events Simulation for Heavy-Tailed Distributions 1998-11-06 Klemens Binswanger Dynamic Backtracking with Constraint Propagation Application to static and dynamic CSPs 1998-09-29 Updating Logic Programs 1999-01-17 Evaluating the Effect of Online Data Compression on the Disk Cache of a Mass Storage System 1996-07-12 Odysseas I. Pentakalos Finding Cuts In The TSP A preliminary report 1995-03-28 Estimation of Time-Dependent Coverage 1998-02-04 A naive Riemann solver to compute a non-conservative hyperbolic system 1998-04-08 A Decision Procedure for the Subtype Relation on Intersection Types with Bounded Variables 1996-08-18 Benjamin C. Pierce A Practical Method for Rigorously Controllable Hardware Design 1997-01-15 Direct Building of Minimal Automaton for Given List 1998-10-16 Stoyan Mihov A Light Weight Name Service and its use within a Collaborative Editor. 1995-11-30 Parity-Based Loss Recovery for Reliable Multicast Transmission 1997-03-11 An Access Protocol to Support Multimedia Traffic over Hybrid Fiber/Coax Systems 1996-04-15 Quenched Hadron Spectroscopy With Improved Staggered Quark Action 1997-12-17 Semantic Aspects of the Graph and Rule Centered Language GRACE 1997-04-10 Sabine Kuske Experiments with HPF Compilation for a Network of Workstations 1995-03-17 Fabien Coelho Accounting for Interrupt Handling Costs in Dynamic Priority Task Systems 1998-04-11 Adiabatic Response of Quantum Systems Pinching a Gap Closure 1997-09-21 An Incremental Interpreter for High-Level Programs with Sensing 1998-09-23 Hector Levesque Planning, Scheduling, and Plan Execution for Autonomous Robot Office Couriers 1999-04-21 Change Detection In Multi-Spectral, Bi-Temporal Spatial Data Using Orthogonal Transformations 1996-04-30 Allan Aasbjerg Nielsen The Differential Fixpoint of General Logic Programs 1996-09-30 Learning Search Control rules for Plan-space Planners: Factors affecting the performance 1995-09-01 On the Automation of GNY Logic 1996-09-26 Causal Multicasts in Overlapping Groups: Towards a Low Cost Approach 1993-05-25 Social Implications of Using Synthetic Characters 1997-04-26 Situation Semantics and Computational Linguistics: towards Informational Ecology. 1998-11-04 Burghard B. Rieger A Developmental Model for the Evolution of Complete Autonomous Agents 1996-05-09 Solving Diverse Image Understanding Problems Using the Image Understanding Environment 1999-02-08 Animat Navigation Using a Cognitive Graph 1998-06-10 A Formal Specification of dMARS 1998-01-16 A Hierarchy Preserving Hierarchical Bottom-Up 2-Layer Wiring Algorithm With Respect to Via Minimization 1995-11-16 Paul Molitor A Column Generation Approach to Cell Formation Problems in Cellular Manufacturing 1999-03-12 Formalizing Space Shuttle Software Requirements 1996-01-19 Complex Object Models Of Natural Systems 1995-11-19 Bohdan Durnota Voting for Schemata 1998-08-03 Thomas Haynes A Planning Model with one Million Scenarios Solved on an Affordable Parallel Machine 1998-06-29 Jacek Gondzio Comparison of Rate-Based Service Disciplines 1993-12-16 On the Integration of Learning, Logical Deduction and Probabilistic inductive Inference 1996-07-01 J Gerard Wolff Testing for Homogeneity of Variance in Time Series: Long Memory, Wavelets and the Nile River 1998-08-04 Markov Chains With Exponentially Small Transition Probabilities: First Exit Problem From A General Domain II. The General Case 1997-04-26 Interval Operations Involving NaNs 1997-04-22 Evgenija D. Popova Genetic Algorithm with Alphabet Optimization 1995-08-08 Two New Methods For Motion Planning For Controllable Systems Without Drift 1998-08-20 H'ector J. Sussmann Generating C4.5 Production Rules In Parallel 1997-07-17 Richard Kufrin I/O, Performance Analysis, and Performance Data Immersion 1998-01-06 Software Versus Hardware Shared-Memory Implementation: A Case Study 1998-08-24 Why Are PVM and MPI So Different? 1998-05-15 Ewing Lusk Modelling Water Quality for Water Distribution Systems 1999-02-19 The Last Digit of 1997-03-20 A Novel Implementation Method of Delay 1997-09-30 Neng-fa Zhou Singularities of Prolonged Group Actions on Jet Bundles 1998-10-02 Peter J. Olver An Application of Statistics to Meteorology: Estimation of Motion 1996-06-21 David R. Brillinger A New Algorithm for MPEG Video Encryption 1997-10-01 Strongly Coupled Electroweak Symmetry Breaking: Implications of Models 1998-05-15 The Recognition Problem for Linear Tree Adjoining Grammars 1998-01-13 Giorgio Satta Correlations and Pairing in Nuclear Matter within the Nozi&#x00E8;res-Schmitt-Rink Approach 1997-02-13 Z.arvasi And T.porter 1997-01-24 Transmitted Ronald Brown SCANMACS --- Scan Macros for Regularly Distributed Arrays 1998-05-05 Peter A. Dinda Provably Efficient Scheduling for Languages with Fine-Grained Parallelism 1997-02-04 Nowcasting Astronomical Seeing And Forecasting Telescope Environment For The Eso Vlt 1997-05-23 A Learning Algorithm for Applying Cohen's Models to System Identification 1997-11-10 A Multi-agent System for Distributed Resource Allocation 1998-02-12 Brinkmate Search 1997-05-19 Probabilistic Type-2 Operators and "Almost"-Classes 1999-01-24 Demand more from your SGML database! 1996-02-27 Arijit Sengupta Canonical Relativistic Quantum Mechanics Stephen Low To be published in 1997-04-26 Stephen G. Low The 1994 Abbot Hybrid Connectionist-HMM Large-Vocabulary Recognition System 1997-06-11 A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability 1998-03-30 High Speed Vision-Based Quality Grading of Oranges 1997-12-02 The Interim DynaPiano: An Integrated Computer Tool and Instrument for Composers 1995-12-02 Stephen Travis Pope Towards Operational Semantics of Contexts in Functional Languages 1995-01-18 David Sands H.S.Song 1998-12-18 M. N. Dubinin A Macroscopic Model of Neural Ensembles I: Learning-Induced Oscillations in a Cell Assembly 1996-08-12 DHCPfor Mobile Networking with TCP/IP 1995-04-13 Massimo Cotrozzi 1997-07-01 Index Structures For Temporal And Multimedia Databases 1998-05-11 Tolga Bozkaya Spreading Codes For Wireless Spread Spectrum Communications 1998-12-03 Direct Message Delivery Among Processors with Limited Capacity 1995-07-30 Critical Issues Regarding the Trace Cache Fetch Mechanism 1997-05-15 Net Comparison: An Adaptive and Effective Method for Scene Change Detection 1995-04-21 Evaluation of Numerical Applications Running With Shared Virtual Memory 1993-09-01 Towards a Model-Theoretic Characterization of Indexed Grammars 1997-08-07 Tore Langholm The Concord Algorithm for Synchronization of Networked Multimedia Streams 1996-06-27 A Computerized Approach to the New York City School Bus Routing Problem 1995-07-09 Information Chemistry 1997-06-25 Evolving non-Trivial Behaviors on Real Robots: a garbage collecting robot 1998-06-30 Stefano Nolfi Multi-Lingual Informedia: A Demonstration Of Speech Recognition And Information Retrieval Across Multiple Languages 1998-06-09 Object Oriented Specification and Incremental Evaluation of Static Semantic Constraints 1995-02-23 Sensitivity of Power Dissipation to Uncertainties in Primary Input Specification 1998-04-15 A Degree-Decreasing Lemma for MOD q - MOD p Circuits 1998-10-12 Vince Grolmusz Mapping Based Constraint Handling For Evolutionary Search; Thurston's circle packing and Grid generation 1998-07-30 Dynamic Behavior Of The Solar Atmosphere 1997-11-10 Learning Evaluation Functions for Global Optimization and Boolean Satisfiability 1998-04-05 Report on the Glasgow IR group glair4 submission 1 1997-04-14 Task Allocation Via Coalition Formation Among Autonomous Agents 1998-08-05 System Design Optimization for MCM 1995-02-09 Stochastic Observation Hidden Markov Models 1999-02-03 An Abstract Machine for Unification Grammars 1970-01-01 Intelligent Text Handling Using Default Logic 1996-10-24 Anthony Hunter Optimal Orbits of Hyperbolic Systems 1998-10-30 Brian R. Hunt Computer Aids for Decision Making in Diagnostic Radiology: A Literature Review 1999-01-25 On the Approximation Power of Splines on Triangulated Quadrangulations 1997-10-23 Mobile Agent Systems: What is Missing? 1997-08-08 Performing Tasks on Synchronous Restartable Message-passing Processors 1998-10-01 Computing the n x m Shortest Paths Efficiently 1998-12-14 Tetsuo Shibuya Feature Automata and Sets of Feature Trees 1995-04-20 Modularization and Interpolation 1999-02-03 G. Mints The Relationship Between Propagation Characteristics and Nonlinearity of Cryptographic Functions 1996-05-22 Shock Profiles And Self-Similar Fluid Dynamic Limits 1997-11-19 ATT at TREC-6 1998-01-13 Amit Singhal A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: the Two Tanks Problem 1997-07-15 Control of Linear Parameter-Varying Systems Using Dynamic Parameter Measurement 1997-08-01 Lawton H. Lee Task-dependent Learning of Attention 1998-08-19 A Global Scheduling Technique for Fine-Grained Asynchronous Parallelism 1996-12-12 The Poisson boundary of hyperbolic groups 1997-09-16 Vadim A. Kaimanovich On Object-Oriented Programming In The High-Level Design Of Numerical Software 1996-03-25 Hans Petter Langtangen Test Case For The Diamagnetic Effect: Helium Peculiarities On B Stars 1997-03-03 Default Quantifier Logic 1996-09-26 Employing EM and Pool-Based Active Learning for Text Classification 1999-01-22 Improved CLP Scheduling with Task Intervals 1998-08-18 Publications List --- KDR 1998-09-25 An Interval Framework for Process Algebras, Refinement, and Model Checking 1999-02-17 Michael Huth Database Research: Achievements and Opportunities Into the 21st Century 1996-06-26 An Architectural Study Of A Digital Signal Processor For Block Codes 1998-01-19 Using Explicit Requirements and Metrics for Interface Agent User Model Correction 1998-02-12 Measure and Dimension Functions: Measurability and Densities 1998-04-23 Visual Cryptography for General Access Structures 1998-12-16 Solving vector-valued approximation problems by semi-infinite optimization : Numerical and genericity aspects 1997-06-06 Georg J. Still On Bounding the Betti Numbers and Computing the Euler Characteristic of Semi-algebraic Sets 1999-01-21 Saugata Basu Cellular Encoding for Interactive Evolutionary Robotics 1999-01-11 Kameel Quatramaran Length Minimization For Space Curves Under Nonholonomic Constraints: The Constant Torsion Case 1998-06-23 Studies of an off-lattice model for protein folding: Sequence dependence and improved sampling at finite temperature 1996-07-15 Frank Potthast Feature Subset Selection Using the Wrapper Method: Overfitting and Dynamic Search Space Topology 1998-04-01 Binocular Visual Tracking: Integration of Perception and Control 1997-12-14 A Note on the Approximation by Continued Fractions under an Extra Condition 1998-02-26 O&#x00B3;CASE: Operational Object Oriented CASE 1996-11-23 Analog Circuit Observer Blocks 1970-01-01 Understanding the Geometry of Infeasible Perturbations of a Conic Linear System 1998-05-19 Advances in Parameterized Linear Diophantine Equations for Precise Program Analysis 1998-09-15 Dynamic Visualization of Object Execution 1997-08-11 Rok Sosic Spectral Representation of Three Point Functions at Finite Temperature 1998-07-16 T. S. Evans Multi-spectral Image Analysis of Plant Cells 1998-08-06 J-p Zryd Implementation of Saddlepoint Approximations to Bootstrap Distributions 1997-01-27 Free Energy of a Four-Dimensional Chiral Bag 1997-04-26 Evolutionary Algorithms In Robotics 1994-10-20 John Grefenstette A Flexible Architecture for Reference Resolution 1999-02-10 Dynamic Parallelization of Modifications to Directed Acyclic Graphs 1996-06-20 Lorenz Huelsbergen Tools and Techniques for Building Fast Portable Threads Packages 1993-12-28 ETAQA: An Efficient Technique for the Analysis of QBD-processes by Aggregation 1998-11-09 A C.a.e. Package For An Intuitive Approach To Microwaves 1996-04-03 Studies on the Effect of Non-coding Segments on the Genetic Algorithm 1970-01-01 Colour Gradients in the Optical and Near-IR 1998-05-25 Roelof S. De Jong Interdomain Multicast Routing Support for Integrated Services Networks 1997-03-27 Fine-grain Access Control for Distributed Shared Memory 1994-07-13 Optimal Fully Adaptive Minimal Wormhole Routing for Meshes 1997-07-14 New Methods for Competitive Coevolution 1996-08-23 Sensor Geometry for Dynamic Vergence: Characterization and Performance Analysis 1996-05-13 Re Bernardino Jos'e Santos-victor Using Genetic Algorithms to Learn Reactive Control Parameters for Autonomous Robotic Navigation 1996-01-04 Hard Real-Time Scheduling: The Deadline-Monotonic Approach 1993-07-20 Selective sampling using the Query by Committee algorithm 1997-01-07 Structuring and Visualising an IC-card Security Standard 1996-07-24 Generalized Gross--Perry--Sorkin--Like Solitons 1998-05-25 WDVV and DZM 1997-10-06 Robert Carroll Bifurcation of homoclinic orbits to a saddle-focus in reversible systems with SO2-symmetry 1998-01-23 Andrei Afendikov Performance Characteristics of Mirror Servers on the Internet 1998-12-25 A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification 1996-07-02 The Best Bounds In A Theorem Of Russell Lyons 1998-10-27 SEE Integration to Support Megaprogramming 1995-01-20 Jim Hamilton Trace Refinement of Action Systems 1994-09-22 Automatic Indexing of Software Artifacts 1994-10-22 Driving Vision by Topology 1997-09-03 Efficient Learning of Typical Finite Automata from Random Walks 1999-02-08 Object-Oriented programs and Testing 1998-09-09 Optimal Embedding of Complete Binary Trees into Lines and Grids 1998-01-29 Image Object Labelling And Classification Using An Associative Memory 1997-03-24 Competition In The Chemostat: A Distributed Delay Model And Its Global Asymptotic Behavior 1970-01-01 Efficient Verification of Symmetric Concurrent Systems 1996-06-13 An Extensible Query Optimizer for an Objectbase Management System 1999-01-14 Catastrophic Risk Evaluation 1997-11-26 Oliver M. Duschka 1996-11-28 Parallel Algorithms for the Minimum Cut and the Minimum Length Tree Layout Problems 1996-05-02 Constructing A Realistic Head Animation Mesh for a Specific Person 1999-01-24 Optimal Control Of Nonconvex Discrete And Differential Inclusions 1997-06-06 Boris S. Mordukhovich Analyzing Scheduling Policies Using Dimemas 1997-05-30 A System for Constructing Configurable High-Level Protocols 1996-08-16 Observations Of Pulsars, Psr 1509 1997-10-23 The Nearest Neighbors Of Batse Gamma-Ray Bursts: Narrowing The Possibilities 1994-03-31 An Isotopic Invariant for Planar Drawings of Connected Planar Graphs 1996-04-04 J. Hidders Tractable Induction and Classification in First Order Logic Via Stochastic Matching 1998-12-20 Integrating Multiplicative Preference Relations in a Multipurpose Decision Making Model Based on Fuzzy Preference Relations 1998-06-23 No Two-State CA for Density Classification Exists 1995-01-26 Distributed Data Management in Workflow Environments 1997-07-21 Synchronous Sessions and Fixed Priority Scheduling 1997-03-04 Improving End-to-End Performance of the Web Using Server Volumes and Proxy Filters 1998-05-21 Dynamic analysis of some Relational Data Bases parameters I: Projections 1995-03-29 Guy Louchard On Using Network RAM as a non-volatile Buffer 1998-08-19 Polynomial Acceleration for Restarted Arnoldi Iteration and its Parallelization 1998-11-06 Programming with Data Dependencies: a Comparison of Two Approaches 1995-01-18 Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems 1997-04-16 An Image Retrieval Model Based on Classical Logic 1998-05-20 Residues Of The Eta Function For An Operator Of Dirac Type 1995-01-10 A Generic Neural Network Approach For Constraint Satisfaction Problems 1994-03-03 On The Limits of Steganography 1997-07-15 Issues for a Temporal Refinement Calculus 1998-08-19 Programming Abstractions for Handling Multimedia Data in 1996-03-26 An Operational Semantics for Parallel Lazy Evaluation 1998-10-12 Cooperative and Competitive Concurrency in Fault-Tolerant Distributed Systems 1997-03-04 Cluster-Based File Replication in Large-Scale Distributed Systems 1998-01-26 `C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation 1996-06-16 Intelligent Network configuration: Tools and techniques for efficient performance analysis and optimal service mapping 1996-04-26 Alexander Ost Information Theoretical Based Design of Hierarchical Channel Coding and Modulation for Mobile Radio Channels 1999-01-20 Alexander Seeger Elaine Marsh Naval Research Laboratory, Washington, DC, USA 1992-06-08 Elaine Marsh On Readily Available Supervisory Control Policies that Enforce Liveness in a Class of Completely Controlled Petri Nets 1999-02-02 Ramavarapu S. Sreenivas Fluid Stochastic Petri Nets: Theory, Applications, and Solution Techniques 1996-12-30 Dynamic Control Models as State Abstractions 1998-11-24 Optimal Edge Detection in SLC Images with Correlated Speckle 1998-07-01 On-the-fly Analysis of Distributed Computations 1995-11-30 An End-to-End TCP-friendly Architecture for Realtime Playback Applications over the Internet 1998-12-22 Reza Rejaie Datalog with Integer Periodicity Constraints 1994-09-06 NASA Technical Paper 3522 1995-07-19 Approximation Algorithms Minicourse for the 23rd Conference on the Mathematics of Operations Research 1997-12-10 David P. Williamson Verifying Continuous Time Markov Chains 1996-06-14 Pattern Association and Retrieval in a Continuous Neural System 1995-04-04 Image Registration Based on Boundary Mapping 1995-12-13 Implicit Parallelism in Genetic Algorithms 1994-09-05 An introduction to the FIRE engine: A C++ toolkit for FInite automata and Regular Expressions 1999-01-28 Bruce W. Watson Tickertape: Notification and Communication in a Single Line 1998-02-03 Analysis And 1999-03-17 The Monodromy Matrix For A Family Of Almost Periodic Schr Odinger Equations In The Adiabatic Case 1997-09-24 Evolutionary Synthesis Modeling of Red Supergiant Features in the Near--Infrared 1998-11-05 Design of a Systolic Coprocessor for Rational Addition 1997-04-08 Tudor Jebelean Voice Input and Information Exchange in Asynchronous Group Communication 1995-01-10 Robert John Mcqueen Non-Commutative Geometry and Covariance: From the Quantum Plane to Quantum Tensors 1998-05-23 Centro Mixto RMSIM: a Serial Simulator for Reconfigurable Mesh Parallel Computers 1998-03-15 Selective Sampling In Natural Language Learning 1995-08-22 Self-Testing/Correcting for Polynomials and for Approximate Functions 1997-03-17 Exotics And 1997-07-29 C. M. Ginsburg Multibump homoclinic solutions to a centre equilibrium in a class of autonomous Hamiltonian systems 1999-02-15 B. Buffoni Toward Global Solution of MAP Image Estimation: Using Common Structure of Local Solutions 1999-02-06 Stan Z. Li New Analyses Of Distributed RC Interconnections 1996-02-14 Andrew B. Kahng A Search For Mev Gamma-Ray Emission From The Quiet-Time Sun 1997-11-19 Limits to Ground Control in Autonomous Spacecraft 1970-01-01 Analysis of Synfire Chains 1997-12-11 On Pruning and Averaging Decision Trees 1995-06-06 Characterising the Design Space for LINDA Semantics 1997-06-30 The Referential Basis of Abduction and Logic 1996-06-28 Erich Prem A General Semantics for Evaluation Logic 1993-09-26 Eugenio Moggi Randomized Algorithms for the Synthesis of Adaptive Controllers 1998-11-23 Constructing Realizers of Semantic Entity Relationship Schemes 1995-06-28 Efficient Computation of the Singular Value Decomposition with Applications to Least Squares Problems 1994-10-27 Nonmonotonic Reasoning, Argumentation and Machine Learning 1995-08-01 Peter Clark Issues in the Design of a Toolkit for Supporting Multiple Group Editors 1993-06-10 On Markov chains for independent sets 1998-03-20 Multigrid with Inexact Minimal Residual Smoothing Acceleration 1997-02-14 Jun Zhang The Wall Mesh 1997-02-13 Principles for Developing and Measuring High-performance Web Servers over ATM 1997-10-17 ANDES: Evaluating Mapping Strategies with Synthetic Programs 1996-01-11 Motion Adaptive Model-Assisted Compatible Coding With Spatio-Temporal Scalability 1996-12-02 Harmonic Analysis, Real Approximation, and the Communication Complexity of Boolean Functions 1996-06-14 Vince Grolmusz Subcontract: A Flexible Base for Distributed Programming 1996-07-02 Internet-based Desktops: Collaborative and Recordable 1997-05-22 Equationnal Semantics 1998-10-21 The Simplex Gradient and Noisy Optimization Problems 1997-10-13 A Formal Model of Security Dependency for Analysis and Testing of Secure Systems 1994-06-01 Distance-Gains By Multiple-Duplex Transmission, Coding, And Shaping For Hdsl 1996-02-19 Johannes Huber Design Issues in High Performance Media-on-Demand Servers 1995-03-22 Inversion Formula for Continuous Multifractals 1998-02-09 TCP Performance in a Geostationary Satellite Environment 1998-09-17 Persistent Linda: Linda + Transactions + Query Processing 1997-07-18 Brian G. Anderson E-Mail:Fsumiya,noda,tanakag@db.cs.kobe-U.ac.jp 1998-03-11 Towards Partial Reasoning 1998-04-21 Krzysztof Zbigniew Nowak Defining Quantum Dynamical Entropy 1997-04-26 R. Alicki Parallel Engineering and Scientific Subroutine Library Guide and Reference 1997-05-01 Document Number Gc Discretization and Localization in Successive Convex Relaxation Methods for Nonconvex Quadratic Optimization Problems 1998-07-23 Masakazu Kojima Architectural Convergence and The Granularity of Objects in Distributed Systems 1996-07-15 Robert J. Fowler Vision Based Teleoperated Cellular Robots 1997-06-12 Carlos Carreira A Fortran-to-C Converter 1995-03-22 D symbology for sensing and simulation Gregory Turner 1996-04-22 Open Loop Dynamic Control of Parts Moving on an Intelligent Motion Surface Along Paths Composed of a Sequence of Straight Line Segments 1997-05-20 Pavel Bleher and Alexander Its 1997-04-26 jc: An Efficient and Portable Sequential Implementation of Janus 1992-08-05 Active Messages: a Mechanism for Integrated Communication and Computation 1996-11-13 Parts Feeding on a Conveyor with a One Joint Robot 1998-02-20 Differential Editors 1993-02-04 An Open Dense Set Of Stably Ergodic Diffeomorphisms In A Neighborhood Of A Non-Ergodic One 1999-03-01 A Compact Task Graph Representation for Real-Time Scheduling 1996-03-13 A Service with Bounded Degradation in Quality-of-Service Networks 1995-07-22 Automatic Generation of Invariants and Intermediate Assertions 1996-06-03 A Scientific Multimedia Database System for Polymer Science Experiments 1997-04-17 Systematic Nonlinear Planning 1995-02-12 The Emergence of Phonology from the Interplay of Speech Comprehension and Production: A Distributed Connectionist Approach 1998-02-03 A Form Document Image Parser 1998-08-05 Tips for Computer Scientists 1996-02-29 Sensor-Fused Navigation and Manipulation from a Planetary Rover 1998-09-15 Programming Colonies of Biological Cells 1999-01-08 Ecosystems as Complex Systems 1998-09-24 Patrick Mcguire Experimental Evaluation of an ATM Host Interface 1996-05-23 Projective Convexity in P&#x00B3; Implies Grassmann Convexity 1998-09-27 Object Views and Updates 1996-09-13 C. Souza Dos Santos Higher-order Unification with Dependent Function Types 1994-03-18 Conal M. Elliott Generating Pitch Accent Distributions That Show Individual And Stylistic Differences 1999-03-21 Janet E. Cahn A Reactive Planner for a Model-based Executive 1997-05-01 Task Model Tracing 1997-03-10 Trade-offs Between Communication Throughput and Parallel Time 1998-02-11 Detection And Transcription Of New Words 1995-08-21 Lattice Computers for Optimally Representing Euclidean Space 1995-05-03 On the Application of Measurement Theory in Software Engineering 1995-10-10 Namespaces in XML 1998-07-02 BLAS Technical Workshop 1995-12-12 Cooperative Parallel Automated Theorem Proving 1997-07-18 Computational Complexity And Knowledge Complexity 1999-03-28 Specifying Flexible Concurrency Control Schemes: An Abstract Operational Approach 1997-03-11 Object Distribution in Orca using Compile-Time and Run-Time Techniques 1994-03-21 A More General Central Limit Theorem for 1997-07-23 An Architecture for Multimodal Information Fusion 1997-09-18 Handling Parallel Processing in Multimedia Systems 1997-11-13 Motion Analysis for Image Enhancement: Resolution, Occlusion, and Transparency 1994-01-12 Online Perfect Matching and Mobile Computing 1996-03-25 Unconditional Bases are Optimal Bases for Data Compression and for Statistical Estimation 1998-10-19 David L. Donoho Computation of Configuration-Space Obstacles Using the Fast Fourier Transform 1996-11-05 Lydia Kavraki Using Animations to Learn about Algorithms: An Ethnographic Case Study 1996-09-16 ISR3: Communication and Data Storage for an Unmanned Ground Vehicle 1999-04-21 High Performance and Scalability Through Associative Client-Side Caching 1997-08-17 Parallel Coordinate Representations of Smooth Hypersurfaces 1998-12-19 Alfred Inselberg Scalability Improvement of the Real-time Control Protocol RTCP Leading to Management Facilities in the Internet 1998-07-16 Asymptotically Tight Bounds for Performing BMMC Permutations on Parallel Disk Systems 1970-01-01 Pseudospectral Solutions for Steady Motion of a Viscous Fluid Inside a Circular Boundary 1999-04-23 The Geometry Of Mixed First And Second-Order Differential Equations With Applications To Non-Holonomic Mechanics 1996-04-11 W Sarlet Position Statement 1997-06-02 Towards a Mathematical Specification of the APE100 Architecture: The APESE Model 1996-06-24 Low Power CMOS Digital Design 1970-01-01 Alain Guyot On Topological Elementary Equivalence of Spatial Databases 1998-12-27 A Literature Review on the Quantification of Software Change 1998-10-01 A. L. Powell Concurrent Maintenance of Lists 1998-09-05 William Pugh A Framework for Consistent, Replicated Web Objects 1998-10-14 A Slow Motion Engine for the Analysis of FPGA-Based Prototypes 1996-11-11 Session Key Distribution Using Smart Cards 1996-12-04 Learning Lie Groups for Invariant Visual Perception 1998-12-23 Preliminary results of the C-STAR project at IRST 1996-12-13 An integral equation program for the planar Laplace equation 1994-10-20 Shape-based Image Retrieval Using Geometric Hashing 1997-04-08 On-Line Coarse Ore Granulometric Analyzer Using Neural Networks 1996-09-16 Potential Application Areas for Bayesian networks within Sow Production 1998-01-19 Stability And Stabilization Of A Active Surface. 1997-06-06 Lightweight Run-Time Code Generation 1994-11-25 A Learner Model Reason Maintenance System 1995-09-18 A. Paiva References 120 1997-01-29 Filament Surgery and Temporal Grid Adaptivity Extensions to a Parallel Tree Code for Simulation and Diagnosis in 3D Vortex Dynamics 1997-09-08 Shared Memory versus Message Passing for Iterative Solution of Sparse, Irregular Problems 1999-01-24 Improving the Performance of Infomax Using Statistical Signal Processing Techniques 1997-07-08 A Logical Characterization of Bisimulation for Labeled Markov Processes 1999-01-19 On The Arithmetic-Geometric Mean Inequality And Its Relationship To Linear Programming, Matrix Scaling, And Gordan's Theorem 1998-10-01 Bahman Kalantari Secure Execution of Java Applets using a Remote Playground 1998-03-25 Closed Commutants Of The Backward Shift Operator 1997-06-14 Daniel Su Arez Affine Invariants of Planar Sets 1997-05-20 Kalle Astrom Preliminary Design of JML: A Behavioral Interface Specification Language for Java 1998-06-05 Control Philosophy and Simulation of a Robotic Hand as a Model for Prosthetic Hands 1998-12-19 Ffl Ffl Ffl 1998-06-05 Formalizing Robert's Rules of Order. An Experiment in Automating Mediation of Group Decision Making 1998-02-11 Henry Prakken A Two-level World Wide Web Model with Logic Programming Links 1997-05-28 Esprit Iii 1995-05-16 Query Evaluation in Constraint Databases 1998-08-05 David Toman RNA Movies - Visualizing RNA Secondary Structure Spaces 1997-12-02 A Reliable, Adaptive Network Protocol for Video Transport 1995-07-19 The Implementation and Visualisation of a Large Spatial Individual-Based Model using Fortran 90 1997-06-06 BDDs and Automated Deduction 1994-07-05 Jean Goubault The Design of a Unicode Font 1997-10-31 From Proof Nets to Games Extended Abstract 1996-10-31 XFL: A Language For The Definition Of Fuzzy Systems 1998-04-02 Remarks on Regulated Limited ET0L Systems and Regulated Context-Free Grammars 1996-05-28 On the Calculation of Time-Varying Stability Radii 1997-10-14 Fabian Wirth Supporting IP Multicast Integrated Services in ATM Networks Status of 1998-08-14 Parallel Simulator For Abrupt Heterojunction Bipolar Transistors. 1998-11-26 Discovery of Multiple-Level Association Rules from Large Databases 1999-01-18 Slicing Programs with Arbitrary Control Flow 1992-12-23 Dieter Fox 1998-09-29 Programming Parallel Applications in Cilk 1997-12-07 Flow Visualization for Multiblock Multigrid Simulations 1997-01-28 Using A Functional Notation To Specify 1996-07-26 Half-Sync/Half-Async 1997-03-06 Multimodal Maps: An Agent-based Approach 1996-02-16 Measures With Finite Index Of Determinacy Or A Mathematical Model For Dr. Jekyll And Mr. Hyde 1997-04-29 Concurrent Timing Optimization of Latch-Based Digital Systems 1995-02-06 The "Out-Longitudinal" Cross Term and Other Model Independent Features of the Two-Particle HBT Correlation Function 1998-01-19 Exact Primitives for Smallest Enclosing Ellipses 1997-05-26 On Normalisation 1999-01-28 Egon B orger 1996-06-24 Egon B Orger Mobile Computations and Hostile Hosts 1999-01-14 Constraint Aggregation Principle in Convex Optimization 1995-11-07 Automatic 3-Language Cross-Language Information Retrieval with Latent Semantic Indexing 1998-01-08 An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming 1996-11-11 Astronomy And Astrophysics 1999-03-22 Generalization-Based Data Mining in Object-Oriented Databases Using an Object Cube Model 1999-01-18 Http://www.bsp-Worldwide.org/ 1970-01-01 Coordinated Hospital Patient Scheduling 1998-07-16 A Simple Mechanism for Improving the Accuracy and Efficiency of Instruction-level Disambiguation 1999-01-12 Achieving Dextrous Grasping By Integrating Planning and Vision Based Sensing 1998-04-09 An Experimental Perspective on Genetic Programming 1994-11-14 Linear Algebra Kernels for Parallel Domain Decomposition Methods 1995-11-14 Lutz Kettner 1994-02-18 Made-to-measure N-body systems 1996-09-10 D. Syer Off-line Algorithms for The List Update Problem 1995-10-16 Symbolic Composition 1998-01-27 General Word Sense Disambiguation Method Based on a Full Sentential Context 1998-06-30 Parking Functions and Noncrossing Partitions 1997-12-26 Richard P. Stanley Book review: Logic and Visual Information, Eric M. Hammer 1997-10-13 Normal Forms and Nonlinear Symmetries 1997-04-26 Giampaolo Cicogna Hyperfine Splitting in Bottomium as a Precise Probe of the QCD Vacuum. 1998-05-15 Architectural Issues in the Design of Future AI-Based Schedulers 1998-12-21 Claude Le Pape Application of Evolutionary Algorithms to Protein Folding Prediction 1997-09-19 A General Methodology for Characterizing Access Patterns and Analyzing Web Server Performance 1998-06-26 Optimistic Incremental Specialization: Streamlining a Commercial Operating System 1995-12-24 Evolutionary Trees can be Learned in Polynomial Time in the Two-State General Markov Model 1998-07-21 Lexical Knowledge Acquisition from Corpora 1998-05-06 SNR Mismatch and On-Line Estimation in Turbo Decoding 1997-10-10 Specifications of Knowledge Components for Reuse 1999-02-01 Steps towards Lattice Virasoro Algebras: su1,1 1998-06-19 Scheduling as a Fuzzy Multiple Criteria Optimization Problem 1997-06-21 Wolfgang Slany Multilayer Perceptron Training with Inaccurate Derivative Information 1997-01-10 The Prototype Safety System for Robots Near Flight Hardware 1998-11-17 Optimism Vs. Locking: A Study Of Concurrency Control For Client-Server Object-Oriented Databases 1997-03-03 Robert E. Gruber A Survey on Chinese Speech Recognition 1996-04-15 Some simulation results about TCP connections in ATM networks 1996-03-07 Blind Channel Estimation for Multi-user CDMA Systems 1998-04-14 Evolving Algebras: An Attempt To Discover Semantics 1996-09-10 Yuri Gurevich Timed DILL: Digital Logic in LOTOS 1970-01-01 An Evaluation of Statistical Approaches to Text Categorization 1998-10-15 Yiming Yang Lexical Discrimination with the Italian Version of WORDNET 1997-05-08 A Rigorous Analysis Of Time Domain Parallelism 1995-12-07 S. Malhotra Robust Path Choice and Vehicle Guidance in Networks With Failures 1970-01-01 Michael C. Ferris Link-sharing and Resource Management Models for Packet Networks 1997-04-23 Departamento de F'isica Te'orica, Universidad de Zaragoza, 50009 Zaragoza 1997-05-15 M. A. Del Olmo A General Technique for Implementation of Efficient Priority Queues 1994-12-04 Efficient Image Retrieval using a Network with Complex Neurons 1995-07-24 Further Facts About Input To State Stabilization 1998-01-13 Eduardo D. Sontag The V- and W-operators in Inverse Resolutions 1995-11-30 Shan-hwei Nienhuys-cheng Design and Implementation of a Soft Caching Proxy 1999-01-21 Alignment by Maximization of Mutual Information 1996-09-21 A Group Structuring Mechanism for a Distributed Object-oriented Language 1994-04-28 Brian N. Bershad Generalization Bounds via Eigenvalues of the Gram Matrix 1999-03-25 Principles of Object-Oriented Query Languages 1995-01-16 Optimal Traffic Light Control for a Single Intersection 1999-01-08 Software Engineering of Virtual Environments: Integration and Interconnection 1998-09-05 A Duality Approach in the Optimization of Beams and Plates 1998-10-19 Using Persistence Technology to Control Schema Evolution 1997-03-11 Enhancing Intra-Transaction Concurrency in Object Bases 1998-10-02 Regularity Properties Of Some Stochastic Volterra Integrals With Degenerate Kernel 1998-06-18 L. Decreusefond A Multifractal Wavelet Model with Application to Network Traffic 1999-03-01 An Efficient Architecture for Loop Based Data Preloading 1996-09-21 Management of QoS with Software Agents 1998-04-23 Resource Bounded Randomness and Weakly Complete Problems 1996-01-22 How Much Memory is Needed to Win Infinite Games? 1997-04-24 Adaptive Sentence Boundary Disambiguation 1995-03-22 A Chiral N=1 Type I Vacuum in Four Dimensions and Its Heterotic Dual 1997-06-09 Zurab Kakushadze Can Galactic Observations Be Explained by a Relativistic Gravity Theory? 1998-05-12 Three Self-Consistent Kinematics in 1+1D Special-Relativity 1998-05-25 P. Fraundorf From theory to practice: The UTEP robot in the AAAI 96 and AAAI 97 robot contests 1999-02-22 Dartmouth College Computer Science DartCVL: The Dartmouth C Vector Library 1999-02-05 A Functional Approach to External Graph Algorithms 1999-02-24 The Automatic Marking Of Prominence In Spontaneous Speech Using Duration And Part Of Speech Information 1998-08-17 A Family of Design Patterns for Application-Level Gateways 1997-04-25 Douglas C. Schmidt Defaults and Revision in Structured Theories 1992-05-13 Mark Ryan Compositionality via cut-elimination: Hennessy-Milner logic for an arbitrary GSOS 1995-03-31 Alex K. Simpson Preventing Denial and Forgery of Causal Relationships in Distributed Systems 1998-09-26 Analysis of Electromagnetic Scattering Using Arrays of Fictitious Sources 1997-03-30 Transforming CHIP Programs to KL1 - Design and Implementation of the CHUKL Preprocessor 1995-07-06 Konstantinos D. Varsamos Pyramid-Based Texture Analysis/Synthesis 1995-05-04 Discovery of Self-Replicating Structures Using A Genetic Algorithm 1995-11-15 Using Integer Sets for Data-Parallel Program Analysis and Optimization 1998-04-08 Distinguishability Condition and the Future Subsemigroup 1995-08-21 Algorithmic Aspects of Partial List Colorings 1999-03-30 An Efficient Computation of the Extended Generalized Closed World Assumption by Support-for-Negation Sets 1997-03-14 Dietmar Seipel A Generation Perspective on Speech Production in Dialogue 1997-12-19 Bounds and Approximations for Overheads in the Time to Join Parallel Forks 1995-09-01 Peter J. Downey +656: A Quadruple Lens System Found in the CLASS Gravitational Lens Survey 1995-05-05 Http://www.bsp-Worldwide.org/ 1997-06-04 Sequential Inductive Learning 1995-08-29 Jonathan Gratch The Impact of Scaling on a Multimedia Connection Architecture 1994-12-15 An Efficient Logging and Recovery Scheme for Lazy Release Consistent Distributed Shared Memory Systems 1999-05-12 April 24, 1990 1990-09-21 Don Libes Transformer Tunnels: A Framework for Providing Route-Specific Adaptations 1998-06-23 A Comparison of Multispectral Image Classifiers Using High-Dimensional Simulated Data Sets 1997-02-07 Balancing Domain Decomposition For Plates 1996-07-01 The 1st International Paderborn Computer-Othello Tournament 1999-03-26 An application of SOL-resolution: checking regulation consistency 1998-07-20 Laurence Cholvy Shape Types 1997-01-21 Bayesian Wavelet analysis with a model complexity prior 1998-09-16 Description Trees for Some Families of Planar Maps. 1998-10-21 Sequential Consistency in Distributed Systems : Theory and Implementation 1994-11-28 LPSP: A Linear Plan-level Stochastic Planner 1998-01-24 Interaction with Texts: Information Retrieval as Information-Seeking Behavior 1998-02-18 Nicholas J. Belkin Dialogue Acts in VERBMOBIL-2 1998-07-06 Confidence Measures For Spontaneous Speech Recognition 1997-05-28 Historical Links to a Lie Theory of Semigroups 1995-08-21 Games Models of Untyped lambda-Calculus 1998-12-09 On The Geometry Of 1995-11-02 Suresh Govindarajan Two Algorithms for Inducing Causal Models from Data 1994-05-24 A Multiresolution Synthetic Environment Based On Observer Viewpoint 1996-09-06 Copyright C 1997-10-13 Darren J. Wilkinson On-line Learning and the Metrical Task System Problem 1998-08-12 The Functional Side of Logic Programming 1999-03-25 Massimo Marchiori E.Olivieri 1997-04-26 Bounding the Unbounded Extended Abstract 1996-03-07 Generic Behaviors: An Approach to Modularity in Intelligent Systems Control 1998-12-29 Cryptanalysis of FROG 1998-08-16 A Parallel Programming Tool for Scheduling on Distributed Memory Multiprocessors 1992-04-17 Groebner Basis Under Composition 1997-03-10 Hoon Hong Optimal Algorithms On Reconfigurable Meshes 1998-07-14 TIGUKAT Object Management System: Initial Design and Current Directions 1994-05-06 Generating specialized C++ Code from parametrized CLAIRE pseudo-code 1996-03-13 Cole Normale Supérieure A Personal Paradigm for Computer-Aided Visualization 1996-11-04 Facilitating the Maintenance of Safety-Critical Systems 1998-09-17 No Assembly Required: Compiling Standard ML to C 1993-11-12 I IRISA Endorsement Letter 1997-03-31 Coordination Patterns for Parallel Computing 1998-08-03 An Interface for a Fragment Assembly Kernel 1996-06-18 Stress Concentrations for Straight-Shank and Countersunk Holes in Plates Subjected to Tension, Bending, and Pin Loading 1997-09-10 What You See Is What I Want: Experiences With The Virtual X Shared Window System 1993-08-26 VDM Specification of the Steam-Boiler Control using RSL Notation Appendix 1998-12-17 Christian P. Schinagl Evolutionary Neural Networks for Value Ordering in Constraint Satisfaction Problems 1994-08-21 Intermail And Commercial Mail Relay Services 1991-04-21 Production and Two-photon Decay of the MSSM Scalar Higgs Bosons at the LHC 1998-05-13 Bootstrap Goodness-of-Fit Test for the Beta-Binomial Model 1998-12-05 An Integrated Problem Solving Environment: The SCIRun Computational Steering System 1998-02-16 A Neural Model of Preattentional and Attentional Visual Search 1997-09-16 Methodologies and Systems for Heterogeneous Concurrent Computing 1993-09-16 V. S. Sunderam National HPCC Software Exchange 1995-02-13 A Family of Non-Buekenhout Unitals in the Hall Planes 1997-10-29 Jeremy M. Dover Distributed Deadlock Detection in Ada Runtime Environments 1993-09-01 A Micro Approach to the Issue of Hysteresis in Unemployment: Evidence from the 1988-1990 Labour Market Activity Survey 1997-06-18 Gordon Wilkinson Methods and Techniques of Adaptive Hypermedia 1999-01-24 Peter Brusilovsky Gradient Method Based Design Methodology for Time and Area Optimization of a Pipelined Attached Processor Architecture 1999-01-20 The Sensitivity of Communication Mechanisms to Bandwidth and Latency 1999-01-24 Algorithmic Issues on Heterogeneous Computing Platforms 1999-03-10 Automated Construction of Testing and Analysis Tools 1995-05-05 Routing-directed Placement for the TRIPTYCH FPGA 1994-12-06 The Core For Economics With Price Influence Utilities 1998-10-09 Projections for Strictness Analysis 1995-11-02 Conventionality-Governed Logical Metonymy 1996-11-18 Cornelia Maria Verspoor Algorithms and Orders for Finding Noncommutative Gröbner Bases 1970-01-01 Speech Recognition And Information Retrieval: Experiments In Retrieving Spoken Documents 1997-04-14 Optimal Storage Management of Relations for Join Operations 1995-09-07 Non-commutative logic II: sequent calculus and phase semantics 1998-12-15 Paul Ruet Penalized Likelihood Estimation: Convergence under Incorrect Model 1997-04-11 Chong Gu Probabilistic Planning in the Graphplan Framework 1998-05-13 View-based Rendering: Visualizing Real Objects from Scanned Range and Color Data 1997-05-20 Constraint-Generating Dependencies 1996-12-16 Marianne Baudinet Submodule Algebras 1995-06-01 An Rf Cavity For Barrier Bucket Experiment In The Ags 1998-04-10 Generation of Language Independent Modular Prettyprinters 1997-03-03 Incremental Cryptography: The Case of Hashing and Signing 1998-01-23 Replica Symmetry Breaking in the Random Replicant Model 1995-02-03 Forecasting The Levels Of Vector Autoregressive Log-Transformed Time Series 1996-12-09 Experience with a Graph-Based Propagation Programming Tool 1994-12-01 Limitations Of A Standard Model Higgs Boson 1997-11-13 Kurt Riesselmann Continuous Time Threshold AR1 Processes 1995-10-03 Differential Cryptanalysis of REDOC III 1998-06-13 Ken Shirriff Dynamic Load Balancing In A Message Passing Virtual Parallel Machine 1998-06-09 Advanced Program Restructuring for High-Performance Computers with Polaris 1996-03-29 Viterbi Decoding with Dual Timescale Traceback Processing 1996-02-14 Multi-rate Convolutional Codes 1998-05-07 Lattice Gauge Fields and Noncommutative Geometry 1997-04-26 Large Deviation Properties of Data Streams that Share a Buffer 1970-01-01 Global Optimization by Multilevel Coordinate Search 1997-05-03 Modularity within Neural Networks 1995-09-04 On Nested Depth First Search 1998-07-04 Analytical Performance Prediction on Multicomputers 1998-07-02 Average Profile Of The Lempel-Ziv Parsing Scheme For A Markovian Source 1998-09-07 A Complex Example of a Simplifying Rewrite System 1998-06-26 Masaharu Morimoto 1997-05-23 Masaharu Morimoto Quasi-convex Functions and Quasi-monotone Operators 1995-10-27 Vladimir L. Levin Flag-Symmetry of the Poset of Shuffles and a Local Action of the Symmetric Group 1998-03-09 On Reconstruction of Chaotic Attractor From Time Series Represented as "clusters" 1996-04-04 Interactive and Exact Collision Detection for Large-Scaled Environments 1997-06-23 An Analog Multimode Visual Feature Extraction Retina 1998-06-02 Tree-Based State Tying for High Accuracy Acoustic Modelling 1994-09-20 Exploiting Invariants In The Numerical Solution Of Multipoint Boundary Value Problems For DAE 1996-07-03 Service Interface and Replica Management Algorithm for Mobile File System Clients 1996-10-29 Optimal Interaction of Mutation and Crossover in the Breeder Genetic Algorithm 1995-01-12 BSP Modelling of Two-Tiered Parallel Architectures 1999-02-12 On Extending Some Primal-Dual Interior-Point Algorithms From Linear Programming to Semidefinite Programming 1997-04-14 Yin Zhang The RC5 Encryption Algorithm 1994-12-11 Ronald L. Rivest Matoura: Multi-Agent Tourist Advisor 1998-08-03 The XS Suite : Portable 3D Graphics with X 1997-08-25 A Fast, Affordable System for Augmented Reality 1999-01-22 David Larose SingleStepping in Event-Visualisation Tools for Distributed Applications 1996-09-03 Marc Khouzam Mobile Agent Architecture For Nomadic Computing 1999-03-09 Andrzej Duda Compile-time Inter-query Dependence Analysis 1995-11-29 Specifying Real-Time Systems in Rewriting Logic 1996-11-08 Nl Eb Fflnn 1998-03-09 Naoto Takahashi Rate-Optimality of Cyclo-Static Schedules 1997-03-19 Argument Structure, Valence, and Binding 1998-07-31 A Computational-Geometry-Based Tool for the Cellular Design of Millimeterwave Mobile Communications Systems in Urban Environments 1996-10-23 Neuromorphic Vision Sensors and Preprocessors in System Applications 1998-10-07 Queue Layouts and Staircase Covers of Matrices 1995-01-22 Recognizing Emotion In Speech 1997-02-06 The End-to-End Effects of Internet Path Selection 1999-02-17 Onera/cert 1996-04-30 Simple Algorithms for Routing on Butterfly Networks with Bounded Queues 1997-04-30 Aggregation Operators for Linguistic Weighted Information 1996-10-04 On Discrete-Time Control of Current-fed Induction Motors 1999-01-21 Typed Closure Conversion 1998-03-16 Search for the Flavor-Changing Neutral-Current Decays 1996-03-27 On Extending Some Primal-Dual Interior-Point Algorithms From Linear Programming to Semidefinite Programming 1997-04-14 Yin Zhang Quasi-periodic Motions of a Rigid Body I 1997-05-12 Parametric Models are Versatile: The Case of Model Based Optimization 1996-01-30 P. Fua Dynamic View-Dependent Partitioning of Grids with Complex Boundaries Track: Applied 1999-01-25 High Quality Audio Compression Using an Adaptive Wavelet Packet Decomposition and Psychoacoustic Modelling 1999-02-06 On-Line Q-Learning Using Connectionist Systems 1994-10-04 Multimedia Support for Databases 1998-03-06 Conventional Vs. Neuro-Conventional Segmentation Techniques for Handwriting Recognition: A Comparison 1998-08-12 Catastrophic Faults in Reconfigurable Linear Arrays of Processors 1999-05-04 Characterization Of Talker Radiation Pattern Using A Microphone Array 1996-02-15 Tradeoffs Between Size and Time in Reconfigurable Meshes 1998-04-05 Beowulf: A Parallel Workstation For Scientific Computation 1998-03-17 Some Thoughts on Distributed Recovery 1997-01-27 Nitin H. Vaidya On the Monodromies of N=2 Supersymmetric Yang-Mills Theory with Gauge Group SO2n 1998-05-13 A. Br Implementing Real Root Count with Polynomial Constraints for the Multivariate Case with one Constraint Polynomial 1995-12-01 Constructive Machine Learning: A New Neuro-Symbolic Approach 1997-04-17 Using Discourse to Aid Hypertext Navigation 1996-08-19 Automatic Differentiation of Nonlinear AMPL Models 1991-08-29 GIOTTO: an interactive program for the analysis of 2D area preserving mappings 1997-12-02 Webmap - A Graphical Hypertext Navigation Tool 1994-09-01 Peter Domel Propagation Delay Estimation in Asynchronous Direct-Sequence Code-Division Multiple Access Systems 1994-09-06 A New Approach for Blind Source Separation Using Time Frequency Distributions. 1997-04-08 Implementing a Generic Systolic Array for Genetic Algorithms 1996-11-12 Inductive and Coinductive types with Iteration and Recursion 1997-09-17 Herman Geuvers Scalability of Parallel Spatial Direct Numerical Simulations on Intel Hypercube and IBM SP1 and SP2 1995-12-13 The Procrustes Problem For Orthogonal Stiefel Matrices 1996-08-15 Quadratic Growth and Stability in Convex Programming Problems with Multiple Solutions 1995-10-27 A Suite of UNIX Filters For Fragment Assembly 1996-06-14 Gene Myers Counting Representable Sets On Simple Graphs 1997-06-17 Peter G. Jeavons Design of a Genetic-Fuzzy System for Planning Crab Gaits of a Six-legged Robot 1998-12-04 Predictive Systems for Speaker Identification: Heuristics for Model Selection. 1996-01-18 Realtime-learning on an Autonomous Mobile Robot with Neural Networks 1999-03-01 Xerox TREC-6 Site Report: Cross Language Text Retrieval 1998-11-25 Visual Navigation: Combining visual servoing and appearance based methods 1998-05-20 Logical Time Coherence Maintenance 1998-04-29 Default Logic and Autoepistemic Logic: Fixed Points and Common Semantic Framework 1996-11-05 Choh Man Teng Replication Using Group Communication Over a Partitioned Network 1996-03-19 Yair Amir ISBN 0--8186--6440--1. Copyright 1994 IEEE. All rights reserved. 1994-12-01 Andrew M. Odlyzko ATT Bell Laboratories amo@research.att.com November 6, 1994 Full version 1998-12-14 Andrew M. Odlyzko Multiple Encryption with Minimum Key 1998-10-08 Statistical Analysis and Histogramming Reference Manual 1999-03-08 Hbook Statistical Analysis Hawking Radiation Entropy and Horizon Divergences 1996-04-05 Evaluating Array Expressions on Massively Parallel Machines with Communication/Computation Overlap 1996-09-25 Word-Level Decision Diagrams, WLCDs and Division 1998-08-04 Reducing Network Latency Using Subpages in a Global Memory Environment 1998-12-10 An Engineering Approach to Formal Methods 1970-01-01 K. J. Turner Exploiting Power-up Delay for Sequential Optimization 1998-08-27 Towards Comprehensive Support for the Dynamic Analysis of Petri Net based Models 1995-07-26 Reinforcement Learning: A Survey 1996-09-18 Dynamic domain splitting for numeric CSPs 1998-09-29 Productivity of Research Groups --- Relation Between Citation Analysis and Reputation Within Research Communities 1998-04-28 Junichiro Makino Relaxation as a Platform of Cooperative Answering 1998-10-22 A Single-iteration Threshold Hamming Network 1995-04-03 I. Meilijson Where Mathematics meets the Internet 1998-10-06 Zhiqing ZHANG 1998-12-18 Zhiqing Zhang Toward Assessing Approaches to Persistence for Java 1998-11-25 Notes on PCA, Regularization, Sparsity and Support Vector Machines 1998-07-22 Source Number Estimator In Pulse Train Data 1996-12-06 Jane Perkins Numerical Simulation of The Settling of Polydisperse Suspensions of Spheres 1999-03-08 Neutron Capture Reaction Rates of Unstable Isotopes in the s--Process Branchings 1998-02-06 Some Critical Success Factors for Knowledge Based Software Engineering Applications 1999-01-18 A Fully Configurable Simulation Model for a Network of Interacting Processors 1998-04-18 The HARP Reconfigurable Computing System 1994-10-26 Evaluation and approximate evaluation of the multivariate Bernstein-B&#x00E9;zier form on a regularly partitioned simplex 1995-01-19 Jorg Peters Journal of Graph Algorithms and Applications 1997-12-08 Representations and Characterizations of Vertices of Bounded-Shape Partition Polytopes 1998-09-03 Grounding Agent Sociality: The Social World is its Own Best Model 1998-01-29 Kerstin Dautenhahn Differentiable Chromosomes 1997-08-27 On The Unique Solvability Of Some Nonlinear Stochastic Pdes Hyek Yoo 1999-04-04 Hyek Yoo On Evolving Robust Strategies for Iterated Prisoner's Dilemma 1998-12-28 Variational Problems on Flows of Diffeomorphisms for Image Matching 1970-01-01 A Geometric Criterion for the Convexity of Powell-Sabin Interpolants and its Multivariate Generalization 1998-08-20 A Complete Axiomatization of a Theory with Feature and Arity Constraints 1996-04-30 Concurrency and Recovery in Generalized Search Trees 1997-02-24 Decoherence and Dissipation in Quantum Two-State Systems 1970-01-01 M. Grigorescu Scheduling Adaptively Parallel Jobs 1970-01-01 Bin Song A Methodology for Benchmarking Java Grande Applications 1999-03-03 Learning Evolving Concepts Using Partial-Memory Approach 1998-01-24 Correctness 1997-03-11 Noisy Aerodynamic Response And Smooth Approximations In Hsct Design 1995-10-25 Mode Initialization when Simulating Switched Bond Graphs, Version II 1998-08-20 Krister Edstrom Partitioning a Lenient Parallel Language into Sequential Threads 1997-02-05 Image Guided Microscopic Surgery System Using Mutual-Information Based Registration 1996-11-12 Correlations decay for Markov maps on a countable states space. 1998-11-20 Deception Considered Harmful 1992-09-04 John J. Grefenstette Synthesis of the Hardware/Software Interface in Microcontroller-Based Systems 1997-11-12 Associative Datafields in Automotive Control 1996-03-06 LAPACK Working Note 101 A Proposal for a Fortran 90 Interface for LAPACK 1995-12-09 A Collaboration-Enabling Framework For Java Beans 1998-03-30 Graduate School---new Brunswick A Model for Chemosensory Reception 1996-05-17 Effective Search Problems 1998-09-29 Scotch 3.0 User's Guide 1995-11-23 On Some Issues Connected With Roughly Continuous Functions 1995-11-03 Zdzislaw Pawlak Multiple Fuzzy Reasoning Approach to Fuzzy Mathematical Programming Problems 1997-12-11 Robert Fuller Volume Of Riemannian Manifolds, Geometric Inequalities, And Homotopy Theory 1998-11-20 Formal Specification for Free-Form Curves and Surfaces 1998-05-05 Anonymous Atomic Transactions 1998-10-06 An Engineer's Approach to the Application of Knowledge Based Planning and Scheduling Techniques to Logistics 1995-11-06 Machine Learning From Agricultural Databases: Practice and Experience 1995-07-03 Geometric Sequences Of Discs In The Apollonian Packing 1998-04-24 The Reflectiveness Of Covering Morphisms In Algebra And Geometry 1997-06-12 Collision Graph based Communication Scheduling for Parallel Systems 1997-04-17 EdgeFlow: A Technique for Boundary Detection and Image Segmentation 1998-07-22 Hybrid Algorithms for Digital Halftoning and Their Application to Medical Imaging 1996-04-29 Taguchi and Robust Optimization 1997-03-28 Michael W. Trosset Weaker D-Complete Logics 1998-01-08 Norman D. Megill The X-tree: An Index Structure for High-Dimensional Data 1970-01-01 First-Order Conditional Logic Revisited 1999-02-11 Approximate Range Searching 1998-06-25 A New Video Noise Reduction Algorithm Using Spatial Subbands 1998-08-06 Formal Performance Modeling and Evaluation of an Adaptive Mechanism for Packetized Audio over the Internet 1998-10-06 Infrared Counterpart of the Gravitational Lens 1938+66.6 1996-04-12 Audio System For Technical Readings 1994-02-01 Design and Performance of an Object-Oriented Framework for High-Speed Electronic Medical Imaging 1996-08-08 High-level Message Sequence Charts 1999-01-28 Giovanni Gallavotti 1997-04-26 Giovanni Gallavotti Effects of Different Types of New Attribute on Constructive Induction 1997-05-30 Zijian Zheng Optimal Processor Allocation for Sort-Last Compositing under BSP-tree Ordering 1998-06-29 Implementing Network Protocols at User Level 1994-07-28 Extending The Take-Grant Protection System 1997-06-18 Complete Flat Affine And Lorentzian Manifolds 1999-02-16 a Posteriori 1996-12-16 Synthesis of Weighted Random Sequences with Application to Testing of Sequential Circuits 1997-04-09 Linear Programming Duality and Morphisms 1970-01-01 Implementation Of Bidirectional Ray Tracing Algorithm 1998-04-10 Optimal Channel Allocation for Data Dissemination in Mobile Computing Environments 1998-04-01 On Formalizing Database Updates: Preliminary Report 1997-05-19 Raymond Reiter Evolutionary Learning of Mobile Robot Behaviors 1997-02-15 Frank Hoffmann High Speed Search of Large Text Bases on theFujitsu Cellular Array Processor 1996-11-08 David Hawking Inter-Action Refinement: The Easy Way 1997-09-29 Manfred Broy Effects of Delayed Communication in Dynamic Group Formation 1995-11-08 A Semantics for Evaluation Logic extended version 1993-09-26 Eugenio Moggi Integrating Telicity, Aspect and NP Semantics: The Role of Thematic Structure 1998-08-30 Hana Filip Eliminating Traces of Spoken Language Production in Automatic Dialogue Interpreting 1997-11-25 Birte Schmitz Clustering of Galaxies in a Hierarchical Universe: I. Methods and Results at ... 1999-04-09 Error of semiclassical eigenvalues in the semiclassical limit - An asymptotic analysis of the Sinai billiard 1998-10-02 Per Dahlqvist Reservation Probabilities 1998-11-20 Satchmo: Minimal Model Generation and Compilation System Description 1996-05-15 Stack-Based Typed Assembly Language 1999-03-27 Unknown 1997-11-26 A Graph-based Transaction Model for Active Databases and its Parallel Implementation 1994-01-22 Experimental Study of Minimum Cut Algorithms 1996-12-20 Object-Oriented Modeling of Security Semantics 1995-09-19 Ernst Ellmer Towards the Automatic Acquisition of Plan Libraries 1998-07-16 Mathias Bauer Extraction of Facial Regions and Features using Color and Shape Information 1996-05-28 Plans as Situated Action: An Activity Theory Approach to Workflow Systems 1997-10-14 Jakob E. Bardram Multiple Predicate Learning in Two Inductive Logic Programming Settings 1998-01-08 Nada Lavra LDAQ-MRS Integration for the ATLAS-DAQ 1999-02-12 Adaptation and the Modular Design of Organisms 1995-10-05 Gunter P. Wagner Astrometric versus Spectroscopic Radial Velocities 1998-09-25 On the Ubiquity of Information Services and the Absence of Guaranteed Service Quality Extended Abstract 1998-03-31 Gerhard Weikum Intelligence In Modern Communication Systems 1999-05-03 Specification and Proof in Probabilistic, Prioritized, Timed CSP 1993-06-18 Gavin Lowe Analysis of Left Ventricular Wall Motion Based on Volumetric Deformable Models and MRI-SPAMM 1996-07-23 Transputer Data-flow Solution for Systems of Linear Equations 1992-10-20 Learning Invariance Manifolds 1998-05-29 Laurenz Wiskott A Globally and Superlinearly Convergent Potential Reduction Interior Point Method for Convex Programming 1992-07-24 Application-Level Measurements of Performance on the vBNS 1999-03-02 Algorithms for Constrained Molecular Dynamics 1995-01-18 Unifying Data and Control Transformations for Distributed Shared-Memory Machines 1995-07-28 A Clean Conjugate Gradient Algorithm 1997-05-23 P. R. Serrarens Mathematical Theory Of The Wetting Phenomenon In The 2d Ising Model 1996-10-10 Integrating Initialization Bias and Search Bias in Neural Network Learning 1998-06-03 Design And Implementation Of A Computational Lexicon For Turkish 1997-02-07 Abdullah Kurtuluøs Yorulmaz A Minimalist Head-Corner Parser 1995-07-28 Mettina Veenstra Combining Fossil and Sunspot Data: Committee Predictions 1996-12-09 Eric A. Wan HeNCE: A Heterogeneous Network Computing Environment 1994-02-10 Constraint Programming and Database Query Languages 1994-07-01 Statistical Generalization: Theory and Applications 1995-07-29 Mixed Finite Elements for Elliptic Problems With Tensor Coefficients as Cell-centered Finite Differences 1997-01-27 The Oz Standard Modules 1995-05-16 From Nonlinearity To Predictability 1999-02-09 M. Palus Inference and Aggregation Issues In Secure Database Management Systems 1999-04-30 Thermoelectric Interface Demarcation During Directional Solidification With Varying Gravitationally-Dependent Buoyancy Convection 1998-07-28 Efficient Solution of Coupled Lyapunov Equations via Matrix Sign Function Iteration 1997-11-28 String Techniques for the Calculation of Renormalization Constants in Field Theory 1997-12-11 Region Merging Based on Robust Statistical Testing 1998-08-06 Fabrice Moscheni Space-Efficient Inference in Dynamic Probabilistic Networks 1998-04-07 "Eigenlips" for Robust Speech Recognition 1995-07-13 Christoph Bregler A Symbolic Algorithm for Low-Power Sequential Synthesis 1998-10-08 A Temporal Extension to a Generic Object Data Model 1998-08-17 The Design of a Portable Scientific Tool: A Case Study Using 1996-10-04 Finite Element Method for Numerically Solving PDE's 1997-10-31 Stephen Roberts Reasoning About Norms Provided By Conflicting Regulations 1998-07-20 Laurence Cholvy Reasoning With Minimal Belief and Negation as Failure: Algorithms and Complexity 1998-04-09 Riccardo Rosati The Complexity of Local Dimensions for Constructible Sets 1999-01-15 Measurement Methods for Product Evaluation 1999-02-05 Kevin N. Otto The Acquist Handbook 1999-01-19 Tim Rajan Learning, Positioning, and Tracking Visual Appearance 1994-02-15 The Origins of Intelligence 1996-03-12 Gigahertz Peaked Spectrumsources As Cosmological Probes 1997-10-09 Tail-Recursive Distributed Representations and Simple Recurrent Networks 1997-11-15 The Proof-Theoretic Strength Of The Dushnik-Miller Theorem For Countable Linear Orders 1997-09-21 Rodney G. Downey Coding For Content-Based Retrieval 1998-01-26 TUT: A Tree Unification Toolkit 1997-12-25 Validity Checking for Combinations of Theories with Equality 1996-08-10 A New Approach for Delegation Using Hierarchical Delegation Tokens 1996-12-17 Yun Ding delta Holger Petersen Validation and Verification of the Remote Agent for Spacecraft Autonomy 1999-03-11 Trainable Speech Synthesis 1996-06-19 Robert Edward Donovan DemoGNG v1.5 1998-10-19 Fast Learning by Bounding Likelihoods in Sigmoid Type Belief Networks 1998-11-06 A Necessary And Sufficient Condition For Orthogonal Design On A Circular Arc 1998-06-25 Yi Zhao Ultrafast Randomized Parallel Construction- and Approximation Algorithms for Spanning Forests in Dense Graphs 1997-10-17 Boundaries of Nonpositively Curved Groups of the Form 1996-03-04 FORTH-ICS / TR-171 July 1996 1996-08-09 Aggregation of Internet Integrated Services State 1998-08-14 CPS Translations and Applications: The Cube and Beyond 1998-10-11 Rapid Prototyping of Mobile Context-Aware Applications: The Cyberguide Case Study 1996-09-04 Global Existence and Uniqueness for an Optical Fiber Laser Model 1997-12-09 Multi-level hierarchic Markov processes as a framework for herd management support 1995-12-22 Anders R. Kristensen A Timed Verification of the IEEE 1394 Leader Election Protocol 1999-03-30 Judi Romijn Comparison of Fixed-size and Variable-sized Windows for the Estimation of Tree Crown Position 1998-09-08 Scheduling Multithreaded Computations by Work Stealing 1970-01-01 "Grammarless"Phrase Structure Grammar 1998-05-28 James Rogers A Lazy Scheduling Scheme for Improving Hypercube Performance 1995-06-29 UPPAAL - Validation and Verification of Real Time Systems - Status&Developments 1997-10-27 Using Combinational Verification for Sequential Circuits 1998-05-12 Mapping Loops onto Reconfigurable Architectures 1998-12-30 Practical identifiability of finite mixtures of multivariate Bernoulli distributions 1998-06-08 Steve Renals Revisiting The Mass Of The Coma Cluster From X-Ray Observations 1997-09-26 J. P. Hughes A Model for Structuring User Documentation of ObjectOriented Frameworks Using Patterns and Hypertext 1997-05-20 A Mathematical Model of the Mach Kernel: Atomic Actions and Locks 1997-06-14 User Modeling For Spoken Dialogue System Evaluation 1997-11-17 Quality Measures and Assurance for AI Software 1994-03-14 Using Corpora to Develop Limited-Domain Speech Translation Systems 1997-03-27 Fundamental Concepts for Workflow Automation in Practice 1997-10-14 Analytic Solution of Stochastic Completion Fields 1997-08-17 Measuring the Performance of Go Programs 1998-01-21 Informatik Eth Zürich The Typed Polymorphic Label-Selective lambda-Calculus 1994-12-02 Collaborative Multimedia in Scientific Design 1998-05-18 Performance of the Canada--France--Hawaii Telescope Adaptive Optics Bonnette 1999-03-28 Continual Robot Learning with Constructive Neural Networks 1997-04-16 Riccardo Poli String Recognition On Anonymous Rings 1998-09-03 Experimental Results in Audio Indexing 1997-03-21 Distributed Objects For Real-Time Control Systems 1994-07-14 Atomic Transactions for Multiprocessor Programming: A Formal Approach 1998-12-22 Nancy Lynch An Investigation of Grain Sizes of Load Distribution in an Object Based System 1998-08-25 Christian Damsgaard Jensen Journal of Database Management 1995-02-28 A Quantitative Analysis and Performance Study for Similarity-Search Methods in High-Dimensional Spaces 1998-09-16 Intelligent Video Synthesis Using Virtual Video Prescriptions 1998-01-29 Strategic Effects in Visual Word Recognition 1996-04-11 Julie Kate Voice A Worst Case Timing Analysis Technique for Instruction Prefetch Buffers 1998-05-28 Interpreting Spread Sheet Data for Human-Agent Interactions 1995-09-28 A Discard-Free Grouping and Retrieval Scheme for Stored MPEG Video 1997-04-22 Adsmith: AnEfficient Object-Based Distributed Shared Memory System on PVM 1997-12-03 Internet Security Association and Key Management Protocol ISAKMP 1997-07-28 Building Perceptual Textures to Visualize Multidimensional Datasets 1998-09-20 Source Time Scale and Optimal Buffer/Bandwidth Trade-off for Regulated Traffic in an ATM Node 1998-08-13 Local Type Argument Synthesis with Bounded Quantification 1997-11-12 Effect of Repair Policies on Software Reliability 1998-06-19 Design and Architecture for Database Solutions in Future Telecommunication Services 1997-10-15 Kimmo Raatikainen Dynamic Camera Self-Calibration from Controlled Motion Sequences 1997-11-05 Lisa Dron Recovery with Limited Replay: Fault-Tolerant Processes in Linda 1970-01-01 Srikanth Kambhatla System-Level Exploration with SpecSyn 1998-07-28 On the Degree of Multivariate Bernstein Polynomial Operator 1996-02-08 Systematicity and Specialization in Semantics: A Computational Account of Optic Aphasia 1997-04-29 CDEV: An Object-Oriented Class Library for Developing Device Control Applications 1996-02-03 Planning with Concurrent Interacting Actions 1997-05-30 Operation Scheduling ina Reconfigurable Computing Environment 1998-11-09 Computer Immunology 1997-05-20 Therapy Plan Generation in Complex Dynamic Environments 1997-01-16 Subshift on an Infinite Alphabet 1997-05-05 Xavier Bressaud Using Qualitative Hypotheses to Identify Inaccurate Data 1995-08-15 ANCHOR - A Connectionist Architecture for Hierarchical Nesting of Multiple Heterogeneous Neural Nets 1996-05-29 Real-time Services over Packet Switching Networks 1998-03-21 Equational Term Graph Rewriting 1997-01-08 Noise and Delay Estimation for Coupled RC Interconnects 1999-03-23 A Brief History of Rewriting With Extensionality 1996-11-13 Satisfiability Coding Lemma 1998-03-31 Iterative Detection in Code-Division Multiple-Access with Error Control Coding 1999-01-03 Efficient Management of Object-Oriented Queries with Late Binding 1996-01-11 Staffan Flodin Safe and Efficient Sharing of Persistent Objects in Thor 1996-05-01 Applying Independent Verification Validation to ATE 1998-03-16 Cynthia C. Calhoun Formal Specification of a Voice Communication System used in Air Traffic Control 1999-02-19 Cauchy Integral And Calder&#x00F3;n-Zygmund Operators On Nonhomogeneous Spaces 1997-09-08 Sparse Modified Cholesky Factorization on the AP1000 1996-11-20 Inverse Toeplitz Preconditioners for Ill-Posed Problems 1970-01-01 TREC-3 Ad-Hoc, Routing Retrieval and Thresholding Experiments using PIRCS 1997-09-23 Magnetic Reconnection In Sheared Solar Magnetic Arcades 1997-03-03 G. S. Choe On the Exact Worst Case Query Complexity of Planar Point Location 1999-03-17 Towards Scaling Up Machine Learning: A Case Study with Derivational Analogy in PRODIGY 1994-09-19 The Network Audio System 1996-03-29 Machine Understanding of Human Action 1995-10-09 Alex Pentland Predicting Data Cache Misses in Non-Numeric Applications Through Correlation Profiling 1997-11-03 Minimizing Access Costs in Replicated Distributed Systems 1997-08-15 Michael Goldweber The Eulerian Representations Of Sigma n As Restrictions Of Representations Of Sigma n+1 1997-10-02 Sarah Whitehouse Wear Profiles and the Dynamical Simulation of Wheel-Rail Systems 1997-02-27 Techniques for Fast Instruction Cache Performance Evaluation 1994-07-26 David B. Whalley Undecidable theories of Lyndon algebras 1998-12-07 Developing Utility Theory To Support The Formal Design Of Safety-Critical Systems 1994-08-08 C. W. Johnson On Certificates and Lookahead in Dynamic Graph Problems 1995-08-12 Using Genetic Algorithms to Explore Pattern Recognition in the Immune System 1994-08-12 Analysis of Decision Boundaries Generated by Constructive Neural Network Learning Algorithms 1995-09-06 Quality of Service Provision in Noncooperative Network Environments 1997-08-01 The Impact of Data Communication and Control Synchronization on Coarse-Grain Task Parallelism 1997-03-19 Program Evolution for Data Mining 1997-01-15 Manuela Veloso On the role of Disjunctive Representations and Constraint Propagation in Refinement Planning 1996-08-15 Results And Status Of The Cryogenic Dark Matter Search cdms 1998-07-21 Automatic 3-Language Cross-Language Information Retrieval with Latent Semantic Indexing 1998-01-08 Random Variable Generation Using Concavity Properties of Transformed Densities 1997-11-03 Global Weak Entropy Solutions to Quasilinear Wave Equations of Klein-Gordon and Sine-Gordon Type 1996-07-02 The Gowdy T&#x00B3; Cosmologies revisited 1998-05-05 Forward Integrity For Secure Audit Logs 1998-04-17 A Polytope Based Algorithm to Compute Regions of Attraction 1997-07-03 B. G. Romanchuk Melody Language Specification 1996-06-20 Internet Commerce Authorities And Digital Cash 1998-07-07 Testing For Fault Tolerance 1999-02-24 Nonlinear Observer-Based Fault Detection 1996-03-21 A New Probabilistic LR Parsing 1997-04-17 Placing Resources on a Growing Line 1997-07-18 Petri Net Reachability Analysis meets Model-Based Diagnostic Problem Solving 1999-02-08 Luigi Portinale Protecting the Quality of Service of Existing Information Systems 1998-08-28 Statistical Syntactic Methods for High Performance OCR 1970-01-01 Atmospheric low frequency variability and its relationship to midlatitude SST variability: studies using the NCAR Climate System Model 1997-12-03 R. Saravanan Design And Implementation Of Multiple-Context Truth Maintenance System With Binary Decision Diagram 1996-05-27 Fast and Practical Approximate String Matching 1997-12-06 Fast Generation of Random Permutations via Networks Simulation 1996-06-21 Artur Czumaj Partitionen einfach zusammenhangender auflosbarer Liegruppen 1995-08-21 Learning Logic Programs with Random Classification Noise 1997-01-06 Robert H. Sloan Department of 1997-11-06 Richard Lipton On a Spector ultrapower of the Solovay model 1995-02-09 cos. We will associate an unspecified, though presumably known, 1996-10-10 High-Performance Bidirectional Signalling in VLSI Systems 1994-12-06 Type Inference with Constrained Types 1999-03-21 An ASM Specification of the Operational Semantics of 1998-11-06 Visualization of Scalar Topology for Structural Enhancement 1998-07-21 An Asymptotically Optimal Finite Element Scheme for the Arch Problem 1995-07-19 Martin Zerner A Program Behavior Model Based on Event Grammar and its Application for Debugging Automation 1995-10-12 Mikhail Auguston Design Rationale of the PURE Object-Oriented Embedded Operating System 1998-11-27 Object Oriented BeNet Programming for Data-focused Bottom-up Design of Autonomous Agents 1998-05-06 Mining Optimized Support Rules for Numeric Attributes 1999-02-23 Grobner Bases, Standard Forms of Differential Equations and Symmetry Computation 1995-08-21 Tutorial on Arithmetic Coding 1995-11-07 Harry Printz Blind Separation of Delayed and Convolved Sources. 1997-01-17 An Effective Garbage Collection Strategy for Parallel Programming Languages on Large Scale Distributed-Memory Machines 1998-02-09 Kenjiro Taura General and Specific Models in Complex Robotics Systems - a critique and a proposal 1997-04-04 Uwe R. Zimmer Pathological Lipschitz Functions in R N 1995-08-18 Xianfu Wang Complexity as a Basis for Comparing Semantic Models of Concurrency 1997-11-05 Toward High-Precision Measures Of Large-Scale Structure 1998-05-15 Michael S. Vogeley A First-Order Branching Time Logic OF MULTI-AGENT SYSTEMS 1998-07-23 A Performance Evaluation of Backtrack-Bounded Search Methods for N-ary Constraint Networks 1996-05-31 Pierre Berlandier Determining the Idle Time of a Tiling: New Results 1997-05-07 Slow and Smooth: a Bayesian theory for the combination of local motion signals in human vision 1998-05-09 Heteroclinic Orbits of Semilinear Parabolic Equations 1998-04-21 Consciousness and Complexity: The Cognitive Quest 1998-09-05 Bibliography on the Solution of Sparse Linear Systems and Related Areas of Computation 1998-08-10 Generating Reduced Order Models via PEEC for Capturing Skin and Proximity Effects 1997-08-11 On the Torus Quantization of Two Anyons with Coulomb Interaction in a Magnetic Field 1997-04-26 Luca Salasnich Experience with PARPC 1999-03-17 Dynamically Weighted Ensemble Neural Networks for Classification 1998-02-03 Daniel Jimenez The CSR approach to software reliability prediction 1995-08-08 Empirical Processes Based on Pseudo-Observations II: the Multivariate Case 1999-02-16 Kilani Ghoudi The Effect Of Correlated Variability On The Accuracy Of A Population Code 1998-08-07 Newton's Method for Quadratic Stochastic Programs with Recourse 1996-10-23 Matrix-Update for Accelerated On-line Learning in Multilayer Neural Networks 1998-03-20 ASTERIX Standard Structures and Conventions 1997-10-08 Tj Ponman On the Structure of High-level Nets 1995-03-20 Johan Lilius Modified Array Manifold for Signal Waveform Estimation in Wireless Communications 1996-11-19 S&#x00E9;mantique D&#x00E9;notationnelle 1996-10-18 Roberto Di Cosmo A more rapidly mixing Markov chain for graph colourings 1998-03-20 Formal Verification of Transformations on Dependency Graphs in Optimizing Compilers 1995-03-14 P. Sreeranga Rajan SOLUTION OF MULTI-CHANNEL CONTINUUM STATE PROBLEMS OF MANY-ELECTRON ATOMIC SYSTEMS USING THE SPLINE-GALERKIN AND INVERSE ITERATION APPROACH By Jinhua Xi 1997-04-25 Jinhua Xi Object-Oriented Components for High-speed Network Programming 1997-01-10 Explicit N-Best Formant Features fo Segment-Based Speech Recognition 1970-01-01 Superfast Solution of Linear Equations with Low Displacement Rank 1994-09-29 Thomas Huckle A Comparison of OS Extension Technologies 1995-11-14 Treewidth and Minimum Fill-in on D-Trapezoid Graphs 1996-09-02 The Network Audio System - Make Your Applications Sing As Well As Dance! 1997-09-03 Low Rank Estimation of Higher Order Statistics 1996-08-23 Performance Evaluation of the Group Two-Phase Locking Protocol 1997-12-11 Scaling Violations of the Proton Structure Function 1997-12-19 H Collaboration A Maximum Entropy Approach to Natural Language Processing 1996-07-03 Integrated Instruction Scheduling and Register Allocation Techniques 1998-07-31 SWI-Prolog 2.9 - Reference Manual 1997-11-15 State Compression in 1998-07-04 Gerard J. Holzmann Flexible Constraint Management for Autonomous Distributed Databases 1998-07-22 Feature Extraction for Low Bit Rate Image Coding Using a Generalized Wavelet Transform 1996-07-11 An Illustration of Model Structure Identification 1998-11-04 Song S. Qian Convergence Complexity of Optimistic Rate Based Flow Control Algorithms 1998-02-11 Mudding: Social Phenomena in Text-Based Virtual Realities 1994-11-16 Pavel Curtis Energy Formulations of Algebraic Splines 1997-01-07 SIR-Balanced Macro Power Control for the Reverse Link of CDMA Sectorized Distributed Antenna System 1999-02-18 Modeling and Validation of the Real-Time Mach Scheduler 1996-06-14 Characteristics of WWW Client-based Traces 1995-07-18 Journal of Graph Algorithms and Applications 1998-07-03 Modeling the Belgian gas consumption 1997-03-21 Prototype Styles of Generalization 1995-07-28 D. Randall Wilson Neural Networks 1996-11-11 Unknown 1997-08-20 Chi Keen Low Experimentelle Unterstützung einer Beweisprogrammiersprache mit dem Isabelle-System 1996-06-30 Recognizing K-rotated Segments 1996-01-25 TOP-C: A Task-Oriented Parallel C Interface 1997-06-26 Gene Cooperman Scalable Internet Resource Discovery: Research Problems and Approaches 1999-02-08 Efficient Multicast in All-Port Wormhole-Routed Hypercubes 1995-12-18 A Client-Server Tool for Image Retrieval Applications 1998-07-30 Parameters Identification of a Time-varying Stochastic Dynamic Systems Using Viterbi Algorithm 1997-02-05 Static and Dynamic Modelling of Materials Forging 1998-08-24 Jet production in high Q&#x00B2; deep-inelastic ep scattering at HERA 1998-05-15 Action Model Learning and Action Execution in a Reactive Agent 1995-03-01 Scott Benson Density of Strings Formed At a Second-Order Cosmological Phase Transition 1998-05-15 Alexander Vilenkin Building a Scalable and Accurate Copy Detection Mechanism 1996-06-08 An Investigation of Noise-Tolerant Relational Concept Learning Algorithms 1994-07-14 Using Local Trajectory Optimizers To Speed Up Global Optimization In Dynamic Programming 1995-09-16 Christopher G. Atkeson Detecting Signals In Climatological Data 1998-07-20 Richard L Smith Two-step Index Structure for Complex Multi-dimensional Objects 1998-05-11 Run-Time Correctness Checking is Algorithmically Undecidable for Pointer Data Structures 1998-01-23 Vladik Kreinovich Inference of Aggregate Relationships through Database Reverse Engineering 1998-10-02 Christian Soutou Optimal Stochastic Scheduling of Forest Networks with Switching Penalties 1998-07-09 Boundary Layers 1994-04-21 Square Root Singularity in Boundary Reflection Matrix 1998-05-14 The Reliability of ISO/IEC PDTR 15504 Assessments 1997-11-14 An Analogue Subthreshold Fuzzy Logic Controller 1998-06-26 Implementing Projection-based Strictness Analysis 1995-08-30 Issues in Visualization for the Comprehension of Parallel Programs 1994-11-19 How Much Memory is Needed to Win Infinite Games? 1998-03-23 Programming 1998-09-07 A Computational Science Manifesto 1998-10-03 D. E. Stevenson Report Documentation Page 1998-08-24 Notes on Motion Planning 1996-12-30 Bill Goodwine Metalevel Solution to Inheritance Anomaly in Concurrent Object-Oriented Languages Extended Abstract 1992-05-14 Self-Validated Numerical Methods and Applications 1997-06-02 Experimental Study of Minimum Cut Algorithms 1996-10-28 Unsupervised Clustering With Growing Cell Structures 1994-11-25 Bernd Fritzke Genetic Algorithms and Fuzzy Logic in Control Processes 1996-02-01 Consumer Criteria for an Arm Orthosis 1995-08-18 The Design of a new Persistent Object Store for PJama 1998-11-25 Reactivity in a Logic-Based Robot Programming Framework 1998-09-15 Direction Estimation in Partially Unknown Noise Fields 1995-12-14 Adaptive Finite Volume Discretization of Density Driven Flows in Porous Media 1997-10-17 The Most Completely Sampled Rotation Curves for Galaxies 1998-05-14 Yoshiaki Sofue A 3D paraxial migration method without lateral splitting 1996-04-22 M. Kern Uniform Approximation of Topological Spaces 1996-01-26 Achim Jung Online Learning versus Offline Learning 1997-10-21 Joint Source and Channel Coding for Image Transmission Over Lossy Packet Networks 1996-08-21 ASR System Comparison on New High Performance Workstations 1995-07-24 Querying ATSQL Databases with Temporal Logic 1997-05-06 Local Type Argument Synthesis with Bounded Quantification 1997-11-13 Rediscovering the FFT 1995-05-22 Matteo Frigo DSS: A Tool for Simulation of Distributed Systems and Protocols through Communicating Finite State Machines. 1996-05-08 Clustering-Based Optimization Algorithm in Zero-Skew Routings 1993-03-15 Masato Edahiro Some Error Estimates For The Numerical Approximation Of Surface Integrals 1994-09-16 Kurt Georg Visualization and Manipulation of Structured Information 1996-02-12 Detecting Mutual Consistency of Shared Objects 1995-09-22 Simulating a General Purpose Mobile Computing Environment 1998-07-28 A Study of Distributed Transaction Processing in an Internetwork 1995-10-30 A New Time Contour for Equilibrium Real-Time Thermal Field Theories 1998-04-27 T. S. Evans A stream-based mathematical model for distributed information processing systems - SysLab system mode 1997-09-29 The Shortest Single Axioms for Groups of Exponent 4 1993-04-26 Kenneth Kunen Of Graphs and Coffi Grounds: Decompiling Java 1998-11-04 Patrick Lam Implementation Of Elementary Geometric Database Operations For A 3d-Gis 1995-03-28 Searching Neural Network Structures with L Systems and Genetic Algorithms 1997-12-18 On The Optimality Of Kung's Convolution Algorithm In Some Classes Of Systolic Algorithms 1997-11-26 Juraj Hromkovic Characterization Of Eigenfunctions By Boundedness Conditions 1998-06-15 Gravitational Energy Of Conical Defects 1996-04-05 Jos'e W. Maluf Linear Soft Constraint Satisfaction 1997-09-22 Analysis of Benchmark Characteristics and Benchmark Performance Prediction 1998-12-20 Approximate Multiple String Search 1997-05-01 An Overview of Query Optimization in Relational Systems 1970-01-01 Surajit Chaudhuri Hidden Symmetries of the Principal Chiral Model and a Nonstandard Loop Algebra 1997-11-18 C. Devchand Category of Functors between Alternative Categories 1999-02-03 Robert Nieszczerzewski The Classical and Quantum Theory of Relativistic p-Branes without Constraints 1998-05-12 M. Pavsic Arquitecture Of An Expert System For The Pharmachological Treatment Of Affective Disorders 1996-10-18 Left-to-Right Constraint-based Parsing of Head-final Languages 1998-07-28 Zelal Gungordu Monitoring and Visualization in Cluster Environments 1996-04-17 Nonuniformity Correction Using the Constant-Statistics Constraint: Analog and Digital Implementations 1997-10-12 Safe Kernel Extensions Without Run-Time Checking 1999-03-27 Formalizing Composable Software Systems - A Research Agenda 1996-04-10 Information Retrieval Course Material of the Course held in the Summer Term 1993 Chapter 6: Probabilistic Models in Information Retrieval 1996-02-22 Norbert Fuhr Continuous Case-Based Reasoning 1993-09-17 A Demand Driven Computation Strategy for Lazy Narrowing 1998-04-27 LaboUr - Machine Learning for User Modeling 1998-08-13 Wolfgang Pohl An Empirical Evaluation of the Convex SPP-1000 Hierarchical Shared Memory System 1998-03-17 On Reconfiguring Query Execution Plans in Distributed Object-Relational DBMS 1998-10-20 A Constant-factor Approximation Algorithm for the 1997-07-14 An Update on 1998-05-15 Issues and Approaches in the Design of Collective Autonomous Agents 1998-09-18 Maja J Matari'c Analysis Of Defect History For A Large Commercial Software Product 1995-02-15 T. P. Rout Virtual PAT: A Virtual Personal Aerobics Trainer 1997-09-22 Dimensions Of Active Behaviour 1999-04-01 Comparing Nonsmooth Nonconvex Bundle Methods In Solving Hemivariational Inequalities 1997-09-30 Where to Look Next and What to Look for 1997-12-17 Extending Occam's Razor 1994-09-27 Propagating Covariance in Computer Vision 1998-01-09 Robert M. Haralick On the sequence of consecutive powers of a matrix in a Boolean algebra 1998-09-11 Second-Kind Integral Formulations of the Capacitance Problem 1997-10-25 Proof Complexity In Algebraic Systems And Bounded Depth Frege Systems With Modular Counting 1998-09-11 Parameter Value Characterization of Windows NT-based Applications 1998-11-09 Profile-Guided Context-Sensitive Program Analysis 1998-10-08 Saumya Debray An Operational Model for Parsing Definite Clause Grammars with Infinite Terms 1999-04-13 A One-eyed Self Learning Robot Manipulator 1994-11-29 The Internet Worm Incident Eugene H. Spafford 1994-04-19 Eugene H. Spafford A Video Conferencing Testbed on ATM: Design, Implementation and Optimizations 1996-09-18 Asymptotically Invariant Gaussianity Test ForCausal Invertible Time Series 1997-04-29 ParseTalk About Textual Ellipsis 1995-09-27 M_ijn Mutation Operator for Aerofoil Design Optimisation 1997-06-16 Symbolic Array Dataflow Analysis for Array Privatization and Program Parallelization 1997-04-03 Lie Algebra Extension Endomorphism And Derivation Coordinates 1996-10-09 A. M. Dupr E Shaping a CBR view with XML 1999-03-29 Finite Difference Methods And Spatial A Posteriori Error Estimates For Solving Parabolic Equations In Three Space Dimensions On Grids With Irregular Nodes 1999-02-11 Peter K. Moore An application of SOL-resolution: checking regulation consistency 1998-07-20 Laurence Cholvy Integrating and Accessing Heterogeneous Information Sources in TSIMMIS 1996-07-02 Dynamic Policies in Selecting a Caching Set for a Distributed Mobile Computing Environment 1995-06-12 Automatic Smoothing Spline Projection Pursuit 1995-04-19 Design, Fabrication, And Characterization Of Single Crystal Silicon Latching Snap Fasteners For Micro Assembly 1996-07-28 Remarks on the existence for the one-dimensional Fr&#x00E9;mond model of shape memory alloys 1997-11-19 Dipartimento di Informatica e Sistemistica, Universit a Di Roma la Sapienza", Via Salaria 113, I-00198 Roma, Italy, 1996-09-24 A Parallel Tree Difference Algorithm 1970-01-01 D. B. Skillicorn Compensating for Bias in the SDM Fast Activation Mechanism 1996-05-30 Roland Karlsson On the Right Hamiltonian for Singular Perturbations: General Theory 1997-04-26 Toward the Realization of an Evolving Ecosystem on Cellular Automata 1999-01-23 Hiroki Sayama Implicit Schemes And Parallel Computing In Unstructured Grid CFD 1995-05-17 V. Venkatakrishnan Aspect-Oriented Programming 1996-12-18 End-To-End Design Of Distributed Real-Time Systems 1998-02-15 Optimization of Neural Network Topology and. . . 1992-10-14 Inferencing Over Incomplete Solution Spaces with Genetic Algorithms for Probabilistic Reasoning 1996-04-22 Polynomial Invariants Of Legendrian Links And Plane Fronts 1997-02-17 Tractable Disjunctive Constraints 1997-11-17 The Design and Implementation of the ScaLAPACK LU, QR and Cholesky Factorization Routines 1997-10-01 On Weighted Subspace Estimates In System Identification 1996-04-01 Uniform Asymptotics for Orthogonal Polynomials 1998-07-21 Unknown 1997-02-04 Combining Spectral Sequencing with Simulated Annealing for the MinLA Problem: Sequential and Parallel Heuristics 1997-11-03 Jordi Petit I Silvestre Segmentation of Random Fields Via Borrowed Strength Density Estimation 1996-04-24 !<f87.03... 1998-06-05 Quadratic Optimal Control of Regular Well-Posed Linear Systems, with Applications to Parabolic Equations 1997-09-24 Olof J. Staffans Vision-Based Behaviors for Multi-Robot Cooperation 1996-02-06 A Graphics Toolkit Based on Differential Constraints 1998-12-15 Michael Gleicher Hypergraph Based Clustering in High-Dimensional Data Sets: A Summary of Results 1998-03-25 Bamshad Mobasher Detecting and Reacting to Unplanned-for World States 1998-07-29 Experiments with a Gaussian Merging-Splitting Algorithm for HMM Training for Speech Recognition 1998-03-31 Ananth Sankar The Characterisation of Predictive Accuracy and Decision Combination 1996-09-15 Kai Ming Ting Efficient Testing for a Bitonic Column Property 1998-09-23 Paul A. Tucker ITHACA: An Integrated Toolkit for Highly Advanced Computer Applications 1991-04-17 The Addition of Persistence to Ada95 and its Consequences 1998-05-08 Michael Oudshoorn Detection and Estimation in the Presence of Signals with Uncalibrated Spatial Signature 1998-03-24 A. Swindlehurst Genetic Design of Fuzzy Controllers 1994-02-23 Extending Object-Oriented Programming to Address Hard Optimization Problems 1995-03-16 Glenn Silverstein T2D, Conpack parameter 1998-08-03 A Region-based Approach to the Estimation of Local Statistics in Adaptive Speckle Filters 1998-06-01 Finite Representation of Infinite Query Answers 1992-11-09 Stable Neighbourhoods 1998-04-01 Guo Qiang Zhang Development of a Java based simulation module for a World Wide Web multimedia short course on health services management 1998-07-17 Lucas Godelmann A Performance Comparison of Competitive On-line Routing and State-Dependent Routing 1996-11-02 New Results For The Minimum Weight Triangulation Problem 1995-01-30 Efficient Hardware Fault Tolerance Using Field-Programmable Gate Arrays 1998-07-09 Generalized Iteration Space and the Parallelization of Symbolic Programs Extended Abstract 1993-05-04 Routing Through Networks with Hierarchical Topology Aggregation 1998-03-20 Component Architectures for Distributed Scientific Problem Solving 1998-06-25 Guide to the CTIO Slit Spectra Reduction Task SPECPROC 1990-09-24 Francisco Valdes A Computational Model of Spatial Hearing 1997-02-08 Population-Based Learning Of Load Balancing Policies For A Distributed Computer System 1993-08-24 A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations 1998-11-20 Arnold Neumaier George Justo 1998-04-25 Visual Interpretation of Hand Gestures for Human-Computer Interaction: A Review 1996-01-29 Communication-Efficient Parallel Sorting 1999-03-11 Michael T. Goodrich VCODE: A Data-Parallel Intermediate Language 1997-02-04 Automatic Selection Of Parameters For A Computer Simulation Of Extracellular Auditory Nerve Fibre Activity 1996-08-09 Simultaneous Representation of Interval and Interval-Containment Orders 1996-11-19 Paul J. Tanenbaum A Parallel Splitting Up Method And Its Application To Navier-Stokes Equations 1996-09-26 Optimal Adaptive Equal Allocation Rules 1996-04-14 MML and Bayesianism: Similarities and Differences 1995-08-28 Visual Cryptography II: Improving the Contrast Via the Cover Base 1998-02-09 The Photogrammetric Appendage Structural Dynamics Experiment 1995-09-07 A Prefetching Prototype for the Parallel File System on the Paragon 1996-09-22 A Hierarchy of Temporal Logics with Past 1998-08-07 F. Laroussinie Elementary Gates for Quantum Computation 1999-01-04 The Empty Space Hazard of a Spatial Pattern 1995-08-01 Conference, 1994. 109 D. Sueur. Shell h'et'ergog`ene `a parall'elisme de donn'ees. In 1995-10-09 Amalgamating Knowledge Bases, II: Algorithms, Data Structures, and Query Processing 1997-06-10 Method Transformations for Vertical Partitioning in Parallel and Distributed Object Databases 1997-09-08 Controlled Conspiracy Number Search 1996-12-10 A note on the behaviour of the process capability index C pmk with asymmetric specification limits 1998-02-24 Design of transconductance based CMOS circuits: an overview 1997-12-22 Performance Comparison Of Distributed Petri Net Simulations 1995-06-01 Worst-Case Interactive Communication I: Two Messages are Almost Optimal 1996-05-02 Alon Orlitsky Attraction Radii in Binary Hopfield Nets are Hard to Compute 1997-04-04 Pekka Orponen A Case Study In Representing A Model: To Z Or Not To Z? 1991-08-22 Relaxation Patterns For Competing Metastable States: A Nucleation And Growth Model 1997-12-12 Improving ASR Performance For Reverberant Speech 1998-02-20 Equilibrium Surface Distributions for Constant Energy Ensembles 1997-04-22 Dark Periods in a Single Radiating 1997-08-15 A Fully Game Semantics for General References 1998-04-22 High Performance Computing for Land Cover Dynamics 1995-02-23 The Application of Formal Methods to the Reverse Engineering of Imperative Program Code 1996-10-29 Gerald C. Gannod Finding Genes in Human DNA with a Hidden Markov Model 1996-02-11 A Preliminary Study About Robust Speech Recognition For A Robotics Application 1998-04-02 Taking I/O Seriously: Resolution Reconsidered for Disk 1999-01-08 Set-Serializability: A Formal Theory for Partitioned Data Extended Abstract 1993-01-12 Efficient Query Processing for Information Gathering Agents 1994-11-14 A Revolute Joint With Linear Load-Displacement Response for Precision Deployable Structures 1996-06-12 Robust Stabilization of a Class of Nonlinear Systems with an Upper-triangular Structure 1999-01-15 Characterization of Parallel Paths in Arrangement Graphs 1998-10-07 Decidable and Undecidable Second-Order Unification Problems 1998-01-13 Jordi Levy Numerical Linear Algebra Techniques for Large Scale Matrix Problems in Systems and Control 1995-11-20 Paul Van Dooren Diffracting Trees 1996-08-15 The Call-by-Need Lambda Calculus 1998-11-11 A Comparison of Models for VBR Video Traffic Sources in B-ISDN 1995-03-02 Analysis for Concurrent Objects 1970-01-01 Optimal-by-Accuracy and Optimal-by-Order Cubature Formulae in Class C&#x00B2;_1,L,N 1998-12-06 Tool Integration Issues for Parallel and Distributed Debugging 1998-04-25 Faculdade De Ciźncias E Tecnologia Multi-Stage Mathematical Programming Under Uncertainty 1995-07-27 On Varieties Generated By Boolean Clones 1970-01-01 K. Denecke Automated Conversion of 2D Triangular Mesh into Quadrilateral Mesh with Directionality Control 1998-10-30 Providing CSP-like Functionality in a Helios Environment 1994-12-02 Journal of Graph Algorithms and Applications 1998-05-18 A Scheduler-Sensitive Global Register Allocator 1998-12-04 Analysis of the Equality Relations for the Program Terms 1996-12-09 Regularization properties for Minimal Geodesics of a Potential Energy 1997-11-13 Laurent Cohen An English-to-Turkish Interlingual MT System 1998-10-27 Time Domain Correlations and Gated Detection of Quantum Solitons 1999-03-18 Animated Agents for Procedural Training in Virtual Reality: Perception, Cognition, and Motor Control 1999-02-11 The Active Camera as a Projective Pointing Device 1995-08-30 Categorical Boltzmann Machines 1998-01-12 Karl Pfleger Two-Dimensional Periodicity in Rectangular Arrays 1997-01-28 A Generalized Reinforcement-Learning Model: Convergence and Applications 1996-02-20 Michael L. Littman Time in Connectionist Models 1998-08-29 A Japanese Electronic Dictionary Project Part 1: The Dictionary Files 1994-07-21 J. W. Breen A Markov Random Field Model for Object Matching under Contextual Constraints 1999-02-06 S. Z. Li Using Concurrent Haskell to Develop Views over an Active Repository 1997-11-06 A Simulation Study of Decoupled Vector Architectures 1997-05-27 Modular Heterogeneous System Development: A Critical Analysis of Java 1998-06-01 Simultaneous speckle reduction and data compression using best wavelet packet bases with application to SAR based ATD/R 1970-01-01 Interactive Training Of Pixel Classifiers Opens New Possibilities 1998-05-18 On the Faithfulness of Formal Models 1995-09-08 A Scalable Diffusion Algorithm For Dynamic Mapping And Load Balancing On Networks Of Arbitrary Topology 1997-06-18 Homology for Operator Algebras III: Partial Isometry Homotopy and Triangular Algebras 1998-02-28 S. C. Power INSIGHT: A virtual laboratory for looking into behavior-based autonomous agents 1998-10-05 Viewing Morphology as an Inference Process 1998-04-15 Robert Krovetz Nonliner Theory Of Unstable Fluid Mixing Driven By Shock Wave 1996-12-20 Disjunctive Systems and L-Domains 1998-04-01 Guo-qiang Zhang Language and Runtime Support for Dynamic Interposition of System Code 1995-11-04 Reasoning About Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus 1997-04-23 The Development of Neural Network Techniques for the System Identification of Aircraft Dynamics 1998-07-15 Reasoning without Believing - On the Mechanization of Presuppositions and Partiality 1998-06-24 Testing C++ Libraries for Conformance to their Specifications 1996-03-20 Standardization of the Complement/Adjunct Distinction 1997-03-20 Statecharts, Transition Structures and Transformations 1995-11-28 Adriano Peron Nondeterministic Polynomial Time versus Nondeterministic Logarithmic Space 1996-12-16 Lance Fortnow On The Use Of A Pruning Prior For Neural Networks 1996-05-10 Cyril Goutte Using on-the-Fly Verification Techniques for the Generation of Test Suites 1996-09-18 Generalized Queries on Probabilistic Context-Free Grammars 1998-07-03 Multi-access Fading Channels - Part I: Polymatroid Structure, Optimal Resource Allocation and Throughput Capacities 1998-10-23 Unitary Rules for Black Hole Evaporation 1998-05-23 Andrew Strominger What Sort of Computation Mediates Best between Perception and Action? 1996-07-31 Murray Shanahan Sensor Based Planning, Part I: The Generalized Voronoi Graph 1995-02-23 Multiresolution Estimation of 2-d Disparity Using a Frequency Domain Approach 1996-07-02 Optimizing A Ring-Based Private Line Telecommunication Network Using Tabu Search 1998-08-25 An Efficient Parallel Algorithm for Matrix-Vector Multiplication 1970-01-01 * Author's current address: Xerox Palo Alto Research Center, 3333 Coyote Hill Road, Palo Alto, CA 94304 USA 1998-11-03 Neural Networks as spatial filters for image processing: Neurofilters 1996-02-21 Hierarchical Distance-Vector Multicast Routing for the MBone 1995-06-07 Learning to Model Students: Using Theory Refinement to Detect Misconceptions 1994-05-07 Paul T. Baffes Specification, CCITT Recommendation X.224 ISO 8073, Blue Book Vol. VIII, Fascicle VIII.5, Geneva, 1989 X.227 1991-08-29 Cache Performance of Garbage-Collected Programs 1994-04-01 Navigating In Unfamiliar Geometric Terrain 1996-04-30 Using Remote Access Histories for Thread Scheduling in Distributed Shared Memory Systems 1998-06-14 Markov Chain Sensitivity Measured By Mean First Passage Times 1999-03-25 Steering and Navigation Behaviours using Fixation 1996-10-06 Finite Simple Groups and Dickson Invariants 1993-10-11 The Asymptotic Method In The Novikov Conjecture 1997-05-23 T. Kato Packing Unit Squares in Squares: A Survey and New Results 1998-03-06 Erich Friedman Feature Structures and Database Theory 1997-10-12 A Model- and Method Base System for Discrete Optimization Problems 1997-09-25 Peter Becker Domain Word Translation By Space-Frequency Analysis Of Context Length Histograms 1997-05-01 Pascale Fung A Guide to Suite 1998-07-17 Prasun Dewan Problems Encountered in the Machine-assisted Proof of Hardware 1995-10-05 Paul Curzon MATLAB Implementation of W-Matrix Multiresolution Analyses 1994-09-19 Man Kam Kwong Tool Integration in Evolving Information Systems Environments 1994-05-19 The Quasi Gaussian Entropy theory: free energy calculations based on the potential energy distribution function 1998-01-13 Statistical Augmentation of a Chinese Machine-Readable Dictionary 1994-09-24 An Adaptable Generation Approach to Agenda Management 1997-09-16 High-Level Synthesis of Asynchronous Systems: Scheduling and Process Synchronization 1994-06-23 First Steps Towards An Institution of Algebra Replacement Systems 1997-07-31 A QMR-based interior-point algorithm for solving linear programs 1996-09-22 Rationalization of Choice When Preferences Are Vague 1998-07-03 Efficient and Effective Similar Shape Retrieval 1999-03-01 Matrix Optimization Result with DSP Applications 1998-02-25 Portable Software Tools for 3-D Radiation Therapy Planning 1994-05-04 Predictability and Consistency in Real-Time Database Systems 1994-09-13 The ESPRIT Project 1999-02-12 Real-Time Emulations of Bounded-Degree Networks 1997-08-19 Analyzing the nonlinear L-curve 1998-09-03 Probing New Physics from the Single-Top Production 1998-05-13 The Building Block Fallacy 1999-02-08 Designing Fuzzy Net Controllers using GA Optimization 1995-12-15 Generation of Distributed Supervisors for Parallel Compilers 1995-12-14 Information Theoretic Bounds For Data Hiding In Compressed Images 1998-09-23 Ryo: A Versatile Instruction Instrumentation Tool For Pa-Risc 1995-04-17 Vers La Synth&#x00E8;se Automatique De Programmes Signal 1993-07-12 Active Networking and End-To-End Arguments 1998-09-26 Multiple Reactivity Calculation Using Single Correlated Sampling Monte Carlo Simulation 1998-08-16 Checking Linear Temporal Logic Properties 1995-10-22 Some Issues for Single Address Space Systems 1995-03-09 A comparison of MPI performance on different MPPs 1997-09-30 Cyclically 5-Edge Connected Non-Bicritical Critical Snarks 1997-11-26 The Designer's Perspective to Noncooperative Networks 1997-03-30 Adaptive Fuzzy-Behavior Hierarchy for Autonomous Navigation 1997-04-29 Object-Oriented Programming Without Recursive Types 1996-08-18 Data Mining: An Overview from Database Perspective 1999-01-18 Practical Length-Limited Coding for Large Alphabets 1995-09-07 Maintaining Consistency of Imprecise Relations 1970-01-01 Mark Levene Journal of Graph Algorithms and Applications 1998-06-18 Dynamic Hill Climbing: Overcoming the limitations of optimization techniques 1998-03-13 Discrete Levels Control of Nonlinear Systems 1998-11-05 Statistics in Space Dimension Two 1997-04-26 Implementation of Fault-Tolerance Techniques for Real-Time Multiprocessor Scheduling 1998-01-01 Bandwidth Allocation Computations with Measured Traffic 1998-02-22 A Fair Non-repudiation Protocol 1998-08-20 A Unified Approach To Coding and Interpreting Face Images 1995-05-09 The Vertex-Exchange Graph and its use in Multi-Level Graph Layout 1970-01-01 Hierarchical Bayesian Space-Time Models 1997-11-28 Decidable Bounded Quantification 1996-08-18 Benjamin C. Pierce Human, Social and Organisational Influences on the Software Process 1996-03-06 Investigating The Use Of Asymmetric Windows In Celp Vocoders 1997-10-27 Dinei A. F. Florencio Estimating The Period Of A Pulse Train From A Set Of Sparse, Noisy Measurements 1996-12-11 The Michigan Internet AuctionBot: A Configurable Auction Server for Human and Software Agents 1998-03-10 AgentSys: A Mobile Agent System for Digital Media Access and Interaction on an Internet 1997-09-09 Application of Graph Transformation to Visual Languages 1997-05-05 Roswitha Bardohl Gardens' Autobahn: Efficient and Safe Streaming of Data Structures for High Performance Communication Architectures 1997-11-30 Computational Constraints on Associative Learning 1994-05-25 Edmund Shing A Third Order Point Process Characteristic 1998-04-27 A Connectionist Model for Context Effects in the Picture-Word Interference Task 1991-11-02 Research Plan 1998-11-28 Lars Andersson 3-D Kalman Filter for Image Motion Estimation 1997-02-25 The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties 1997-10-13 Bayesian Estimation Of Motion Vector Fields 1996-01-25 Contract-Linda: A Paradigm for Programming Heterogeneous Parallel Systems 1997-07-14 Properties of Petri Nets Modellings: the temporal way 1994-05-16 Virtual Memory Management in Chorus 1993-01-13 Structural Prediction Models for High-Performance Distributed Applications 1997-02-17 Jennifer Schopf User Interface Constraints for Immersive Virtual Environment Applications 1995-08-30 Executing Suspended Logic Programs 1999-01-18 Real-Time Monitoring of the EIVIS Distributed Video-Server on Windows NT 1997-11-26 Efficient Detection of Determinacy Races in Cilk Programs 1970-01-01 Nonlinear Wave Equations For Relativity 1996-04-05 Absolutely Continuous Invariant Measures for Multidimensional Expanding Maps 1997-10-31 Beno It Saussol The Role of the Software Engineer in Real-Time Software Development: An Introductory Course 1998-12-23 Carol L. Hoover Verifying the World Wide Web: a Position Statement 1997-10-20 Marie-christine Rousset Skinnerbots 1997-04-17 Project Specific Flows and Their Application 1 of 6 1999-02-04 A Sanctuary for Mobile Agents 1997-02-20 Bennet S. Yee Nonparametric Regression: A General Methodology 1996-09-20 Critical Behaviour of the Two Dimensional Step Model 1998-05-25 Interleaving Planning and Robot Execution for Asynchronous User Requests 1996-01-18 Is a Given Flow Uncontrollable? 1996-01-30 Tomomi Matsui Nonmember Text Search Using Database Systems Revisited - Some Experiments - 1997-02-06 by Ian H. Witten revised and updated by Janice I. Glasgow 1997-06-23 An Upper Bound for a Communication Game Related to Time-Space Tradeoffs 1997-06-10 Numerical Uncertainty Management in User and Student Modeling: An Overview of Systems and Issues 1997-06-16 Anthony Jameson Network Topologies for Scalable Multi-User Virtual Environments 1997-02-04 Thomas A. Funkhouser A Novel Differential Shape Memory Alloy Actuator for Position Control 1996-07-07 SIAM Journal on Applied Mathematics 1998-12-05 Nelson H. F. Beebe SDPT3 - a MATLAB software package for semidefinite programming 1998-12-05 A Three-Pass Establishment Protocol for Real-Time Multiparty Communication 1997-07-14 Applying Mid-level Vision Techniques for Video Data Compression and Manipulation 1994-04-15 Multimedia Object Modelling and Storage Allocation Strategies for Heterogeneous Parallel Access Storage Devices in Real Time Multimedia Computing Systems 1997-08-23 Controlled Topological Equivalence Of Maps In The Theory Of Stratified Spaces And Approximate Fibrations 1997-05-23 Bruce Hughes An Experiment to Characterize Videos Stored On The Web 1997-10-03 Impact of Program Transformation on Software Reliability Assessment 1997-11-14 A Macro Expansion Approach to Embedded Processor Code Generation 1996-09-14 Eero Lassila Distributed Versions of Linear Time Temporal Logic: A Trace Perspective 1998-05-05 Ad Hoc Vs. Planned Software Maintenance 1997-05-08 Warren Harrison Substructure: Clues to the Formation of Clusters of Galaxies 1998-05-14 Test Generation for Current Testing of Bridging Faults in CMOS VLSI Circuits 1996-03-18 Constructing Integrated Software Development Environments with MViews 1996-12-17 On Images of Algebraic Series 1970-01-01 Juha Honkala Pragmatics versus Purism - taking the best of both worlds 1996-07-19 Proximal Quasi-Newton Methods for Nondifferentiable Convex Optimization 1997-11-06 The Graph Of Linear Extensions Revisited 1999-02-11 Michael Naatz Optimally Profiling and Tracing Programs 1995-07-31 TIME-SPACE ANALYSIS OF THE CLUSTER-FORMATION IN INTERACTING DIFFUSIONS Klaus Fleischmann 1996-04-09 Le Calcul Formel : un outil pour l'ingenieur 1997-08-27 An Evaluation of Forecasting using Leading Indicators 1995-01-20 Fault Handling for Multi-Party Real-Time Communication 1998-02-23 Stochastic Completion Fields: A Neural Model of Illusory Contour Shape and Salience 1997-08-17 The Weinberg Formalism and a New Look at the Electromagnetic Theory 1970-01-01 Valeri V. Dvoeglazov -- 1-- Rare Kaon Decays 1998-06-03 G. Valencia Distributed Transitive Closure Computations: The Disconnection Set Approach 1994-01-05 Flows On Homogeneous Spaces And Diophantine Approximation On Manifolds 1997-01-22 D. Y. Kleinbock Branch Instrumentation in SUIF 1996-03-27 Generating Weakly Triangulated Graphs 1996-04-06 Ryan B. Hayward Automatic Array Privatization 1994-02-14 Abductive Consequence Relations 1995-10-10 Jorge Lobo ABLE: an Adaptive Block Lanczos Method for Non-Hermitian Eigenvalue Problems 1998-11-18 Generational garbage collection for Haskell 1994-06-07 AMatrix Key Distribution Scheme 1994-10-12 Performance Impact of Proxies in Data Intensive Client-Server Parallel Applications 1998-11-20 Principles and Implementation of Deductive Parsing 1970-01-01 Regularity Of Irregular Subdivision 1998-10-26 Product Configuration in the Framework of the Virtual Enterprise 1997-07-09 A wavelet-based constrained Preconditioned Conjugate Gradient for elliptic problems 1997-07-31 BOA: The Bayesian Optimization Algorithm 1999-01-27 The HOL Logic Extended with Quantification over Type Variables 1994-10-01 Thomas F. Melham Face Recognition Under Varying Pose 1994-01-06 David J. Beymer "If it's not on the Web, it doesn't exist at all": Electronic Information Resources -- Myth and Reality 1998-09-17 Abstraction of Formal Specifications from Program Code 1998-09-17 Compiling for Shared-Memory and Message-Passing Computer 1993-11-13 James R. Larus ASTRAL Software Development Environment User's Manual 1997-08-06 Paul Z. Kolano Binocular Receptive Field Models, Disparity Tuning, and Characteristic Disparity 1997-01-16 Outline of The Lecture: Multipole Algorithm 1995-05-18 Run-time and Compile-time Support for Adaptive Irregular Problems 1997-12-07 The Internet Worm Program: An Analysis 1990-01-28 Eugene H. Spafford An Argument for Simple COMA 1996-01-29 Un th'eor`eme de Paley-Wiener pour les groupes de Lie nilpotents 1996-03-20 L E C T R O N I C 1996-03-07 Parabolic And Gaussian White Noise Approximation For Wave Propagation In Random Media 1998-02-12 A Proposal on Extended Interthesaurus Links Semantics 1998-03-26 DISCOVERING AN ECONOMETRIC MODEL BY . GENETIC BREEDING OF A POPULATION OF MATHEMATICAL FUNCTIONS John R. Koza 1998-08-18 John R. Koza Specifying Properties of Basic LOTOS Processes Using Temporal Logic: A Tutorial 1970-01-01 Carron Kirkwood Knowledge Modelling for a Generic Refinement Framework 1998-12-23 A Packaging System For Heterogeneous Execution Environments 1998-09-05 URSA: A Unified ReSource Allocator for Registers and Functional Units in VLIW Architectures 1996-09-16 A Model for Robust Processing of Spontaneous Speech by Integrating Viable Fragments 1998-05-25 Karsten L. Worm Hardware/Software Co-Design and Digital Speech Processing 1996-05-23 Randal D. Pinkett On a problem of Erdös and Turįn and some related results 1996-05-08 Metafinite Model Theory 1997-02-22 Theory of Generalized Fractal Transforms 1996-03-12 Examples of Discrete Operators With a Pure Point Spectrum of Finite Multiplicity 1997-04-26 J. C. Guillot Modeling Visual Cortical Contrast Adaptation Effects 1997-03-04 Information Retrieval System for TREC3 1997-09-23 Practicing Q-Learning 1997-11-24 Stable Computation of High Order Gauss Quadrature Rules Using Discretization for Measures in Radiation Transfer 1998-05-23 User's Guide 1995-10-23 Towards a Property-based Testing Environment with Applications to Security-Critical Software 1995-07-06 ,1993,1994,1995 Intermetrics, Inc. 1995-01-15 A Semidefinite Bound for Mixing Rates of Markov Chains 1997-02-27 Nabil Kahale Confluence of Term Rewriting Systems under Joinability of Critical Pairs in One Step of Parallel Reduction 1997-01-24 Mauricio Ayala Rinc'on On The Fault Tolerance Of Some Popular Bounded-Degree Networks 1997-07-16 F. Thomson Leighton Firing Frequency of Leaky Integrate-and-Fire Neurons With Synaptic Current Dynamics 1998-06-29 A Temporal Description Logic for Reasoning about Actions and Plans 1998-12-24 Motion Estimation And Compensation Under Varying Illumination 1996-01-25 Under the Assumption of the Generalized Riemann Hypothesis Verifying the Class Number Belongs to NP intersect Co-NP 1996-07-04 Datalog and TwoGroups and C++ 1995-06-30 Dynamic Priorities: A Technique for Fairly and Efficiently Sharing a Resource Between Several Services 1996-09-06 Cisoid parameter estimation in the colored noise case: Asymptotic Cram&#x00E9;r-Rao bound, maximum likelihood and nonlinear least-squares 1998-10-15 Image Coding based on Mixture Modeling of Wavelet Coefficients and a Fast Estimation-Quantization Framework 1997-10-14 Fast, Sound and Precise Narrowing of the Exponential Function 1997-07-24 Timothy Hickey From Assumptions to Meaning 1997-09-12 Kinetic Roughening and Phase Ordering in the Two-Component Growth Model 1998-02-05 Joan Feigenbaum 1997-02-15 Multistrategy Data Mining via the KGL Metalanguage 1998-06-18 Optimization of Nested Queries in a Complex Object Model 1996-02-07 Knowledge-Based Programs 1996-12-11 Simple Fast Parallel Hashing by Oblivious Execution 1997-09-11 On the Convergence of a Modified Barrier Function Method for Convex Quadratic and Linear Programming 1998-04-06 Sven O. Krumke Integrating and Exploiting Large-Scale, Heterogeneous and Autonomous Databases with an Ontology for Molecular Biology 1997-07-10 Steffen Schulze-kremer Robust Exponential Stability of Time-Varying Linear Systems Under Time-Varying Parameter Perturbations 1997-07-10 A Spectral Condition For Asymptotic Controllability And Stabilization At Singular Points 1997-08-04 Lars Grune Priority Union and Generalization an Discourse Grammars 1998-10-19 A Temporal Extension to the Parsimonious Covering Theory 1996-12-05 Flexible and Adaptable Buffer Management Techniques for Database Management Systems 1997-01-04 U1 A Models of Fermion Masses Without a&#x00B5; Problem 1998-05-13 Vidyut Jain SPC-PM Po 3D V3.3 - User's Manual 1999-02-17 Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility 1998-07-31 The Geokernel LEP User Manual - Version 2.1 1998-07-08 Comparing Point Sets under Projection 1996-08-09 Models for Two-Player Games in Design: An Application to Automotive Suspensions 1996-05-07 Dynamics of Spiral Waves on Unbounded Domains Using Center-Manifold Reductions 1996-12-05 Grammatical Trigrams: A Probabilistic Model of Link Grammar 1995-09-11 A Note on Total Functions, Existence Theorems, and Computational Complexity 1995-09-22 The Munster Tagging Project - Automatic Disambiguation of German Newspaper Texts 1995-06-22 Precise High Energy Asymptotics For The Integrated Density Of States Of An Unbounded Random Jacobi Matrix 1997-12-18 Eric Klopp A user's guide to ALF 1996-03-14 Linear Phase Perfect Reconstruction Filter Bank: Lattice Structure, Design, And Application In Image Coding 1998-05-01 Global Optimization of Chemical Processes using Stochastic Algorithms 1996-03-22 Julio R. Banga Lessons Learned from IMPLEMENTING BSP 1996-11-11 Markov Games as a Framework for Multi-Agent Reinforcement Learning 1997-04-16 Michael L. Littman Non-parametric Multiple Channel Detection in Deep Ocean Noise 1997-11-12 Hugues Juill'e and Jordan B. Pollack 1996-05-08 Jordan B. Pollack Detection of Lofar Lines 1995-08-16 Linear Logic 1998-01-17 Frank Pfenning Internetworking with ATM WANs 1993-11-08 Efficient Parallel Algorithms for Closest Point Problems 1994-09-16 Bacterial Evolutionary Algorithm for Fuzzy System Design 1998-11-18 Implementing Typed Intermediate Languages 1970-01-01 FLECS: Planning with a Flexible Commitment Strategy 1995-06-27 Asymptotic Analysis of Optimal Fixed-Rate Uniform Scalar Quantization 1997-08-28 Probabilistic Noninterference in a Concurrent Language 1998-07-01 Husimi Parametric Oscillator in Frame of Symplectic Group and Q-oscillators 1998-05-12 V. I. Man'ko A Discrepancy Principle For Tikhonov Regularization With Approximately Specified Data 1998-05-13 M. Thamban Nair Convergence Results for the MATLAB ode23 Routine 1998-02-09 H. Lamba Journal of Graph Algorithms and Applications 1998-05-18 Application and User Interface Migration from BASIC to Visual C++ 1996-12-06 Hybrid I/O Automata Extended Abstract 1970-01-01 Parsing English with a Link Grammar 1995-10-12 Daniel D. Sleator Receiver-driven Bandwidth Adaptation for Light-weight Sessions 1998-07-22 The Strong Secret Key Rate of Discrete Random Triples 1995-06-21 Ueli M. Maurer A Simplified Account of Polymorphic References 1998-09-23 Robert Harper A Stochastic Approach to Solving Fuzzy Constraint Satisfaction Problems 1996-05-17 Noise-Tolerant Distribution-Free Learning of General Geometric Concepts 1996-03-27 Experimental Evaluation of Some Data Dependence Tests Extended Abstract 1994-06-06 H.263+ I-frame Coding with a Hybrid DCT/Wavelet Transform 1998-09-18 PACT: An Experiment in Integrating Concurrent Engineering Systems 1994-06-26 Two--level Method with Coarse Space Size Independent Convergence 1996-04-15 Petr Van A General Approach for Run-Time Specialization and its Application to C 1970-01-01 Charles Consel New VI CCD photometry of NGC 1851 1997-03-29 On Improving The Fairness Of Tcp Congestion Avoidance 1998-08-17 Context-Awareness in Wearable and Ubiquitous Computing 1997-07-17 Reflections on the Design of a Specification Language 1998-01-13 Exploiting Generative Models in Discriminative Classifiers 1998-11-24 A Unifying Framework for Conceptual Data Modelling Concepts 1997-04-04 Resolution-based Theorem Proving for SHn-Logics Extended Abstract 1998-12-23 Viorica Sofronie-stokkermans Order Conditions For General Two-Step Runge-Kutta Methods* 1996-06-13 !+, -./01 23456 1999-03-16 Dynamic Generation and Refinement of Concept Hierarchies for Knowledge Discovery in Databases 1995-10-13 Optimizing Large Join Queries in Mediation Systems 1999-01-07 The Primes 1995-06-22 Some Properties of Non-Orthogonal Term Graph Rewriting 1995-10-20 Presolving for Semidefinite Programs Without Constraint Qualifications 1998-07-28 An Application of a Theorem Prover 1997-10-08 Sensing Under Uncertainty For Mobile Robots 1996-12-04 Formal Methods for the Analysis of Authentication Protocols 1994-05-26 Ionization Stratification in WR Winds 1996-11-13 The Convergence Rate Of Approximate Solutions For Nonlinear Scalar Conservation Laws 1997-05-30 A Replication-Transparent Remote Invocation Protocol 1995-03-10 Service Location Protocol for Mobile Users 1998-06-16 Charles E. Perkins Tetris on Meshes and Multi-Dimensional 1997-09-20 Some Three Generation 0,2 Calabi-Yau Models 1998-05-23 Shamit Kachru Early Size Prediction for C Programs 1993-06-29 Christopher J. Lokan Operator Weak Values And Black Hole Complementarity 1998-05-12 Robotic Hand-Eye Coordination Using Multi-Resolution Linear Perceptron Representation 1994-11-28 Guaranteed 1994-06-01 QoS Monitoring for ATM-based Networks 1997-04-17 Model Checking Concurrent Systems with Unbounded Integer Variables: Symbolic Representations, Approximations and Experimental Results 1998-10-21 Small denominators and anomalous behaviour in the uncommensurate Hubbard-Holstein model 1997-12-29 V. Mastropietro A Modified Scatterplot Matrix 1999-02-15 Bibliography 1995-02-27 Equivalence in Knowledge Representation: Automata, Recurrent Neural Networks, and Dynamical Fuzzy Systems 1998-11-09 Decorrelation of Spike Trains by Synaptic Depression 1998-12-21 View Maintenance in a Warehousing Environment 1996-06-26 Combining Functional and Performance Debugging of Parallel and Distributed Systems Based on Model-driven Monitoring 1993-10-25 P. Dauphin Building Reliable Mobile-Aware Applications using the Rover Toolkit 1996-09-13 Regularity of Multivariate Refinable Functions 1998-03-06 The Mass-Temperature Relation for Clusters of Galaxies 1998-02-26 Performance and Complexity 1996-04-25 Complexity G. David Forney Brokered Collaborative Infrastructure for CSCW 1998-05-18 Why a Pure Primal Newton Barrier Step May Be Infeasible 1993-03-16 Margaret H. Wright Computation Of Coefficient Functions For An Expansion Of Parapositronium Decay Width Using Reduce 1998-05-15 A. A. Pivovarov A Multi-threaded Higher-order User Interface Toolkit 1997-08-16 Feasibility and Unfeasibility of Off-line Processing 1996-05-02 Boundary Conditions in Quantum String Cosmology 1998-05-24 Future Trends In Data Base Systems 1994-02-18 Michael Stonebraker Highest Utility First Search: a Control Method for Multi-level Stochastic Design 1998-03-11 Learning to Use Selective Attention and Short-Term Memory in Sequential Tasks 1996-06-30 Andrew Kachites Mccallum Presenting Machine-Found Proofs 1996-05-08 Quantum Cohomology of Complete Intersections 1997-01-20 Arnaud Beauville Early Delivery Totally Ordered Multicast in Asynchronous Environments 1996-08-19 Matematiqki Vesnik 1996-07-07 Visualizing the Behavior of Higher Dimensional Dynamical Systems 1997-03-29 Computational Indistinguishability: A Sample Hierarchy 1999-02-08 Optimal Emulations by Butterfly-Like Networks 1997-02-19 Coloring Away Communication in Parallel Query Optimization 1995-08-10 Sequence Matching and Learning in Anomaly Detection for Computer Security 1997-04-23 3D reconstruction from incomplete Fourier spectra: An extrapolation approach 1997-03-24 Efficient Call-by-value Evaluation of Primitive Recursive Program Schemes 1995-11-02 Reliability Analysis Using the Least Squares Method in Nonlinear Mixed-Effect Degradation Models 1997-01-28 Shuo-jye Wu Towards Fault-Tolerant Mobile Agents 1998-11-12 Lora L. Kassab Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems 1998-11-23 Adapting the Gain of an FLC with Genetic Algorithms 1996-10-22 Luis Magdalena Time-Varying System Theory for Computational Networks 1994-11-28 Shadow Volume Generation from Free Form Surfaces 1998-12-11 Implications of MIME for Internet Mail Gateways 1992-06-08 Fraction-free Method for Computing Rational Normal Forms of Polynomial Matrices 1997-07-14 Shuichi Moritsugu Simulation of Processes with Multiple Regeneration Sequences 1998-10-19 Modelling Truthmaking 1998-09-08 Universal and Non Universal New Physics Effects in a General Four-fermion Process: a Z-peak Subtracted Approach 1998-05-13 Rutgers' TREC-7 Interactive Track Experience 1999-02-08 Classification of Nonoscillatory Solutions of Higher Order Neutral Type Difference Equations 1996-02-29 The Complexity of Deterministically Observable Finite-Horizon Markov Decision Processes 1996-12-13 Learning in Neural Networks with Material Synapses 1995-12-21 MGrobner Package 1997-05-18 Peter Stadelmeyer Dynamical Interactions between Learning, Visual Attention, and Behavior: An Experiment with a Vision-Based Mobile Robot 1999-01-09 A Toolkit for Building Component Based Agents 1998-07-20 Fault Detection Using Hints from the Socket Layer 1998-07-10 Arjan B. Berkelaar 1996-11-26 Parallelization of a state-of-the-art industrial CFD package for execution on networks of workstations and massively parallel processors 1996-11-26 Querying Shapes of Histories 1996-02-21 A Stack-Based Approach to Query Languages 1995-02-17 Goal Formation and the Unselected Window Problem 1994-10-21 Using intelligent backtracking to improve Branch-and-bound methods: an application to Open-Shop problems 1999-03-24 Preliminary results from the NOMAD experiment 1997-06-19 Reasoning about Programs in Continuation-Passing Style 1995-12-08 Cluster Expansions And Iterative Scaling For Maximum Entropy Language Models 1999-01-30 Global and Local Neural Network Ensembles. 1998-09-08 Research Report 1998-05-06 Development and Implementation of Data-Parallel Compilation Techniques for Sparse Codes 1996-11-12 Wide Context Acoustic Modeling In Read Vs. Spontaneous Speech 1997-01-30 Robust Affine Flow Estimation with Controlled Computation Cost 1996-05-31 A Parallel Maximal Independent Set Algorithm 1998-03-14 Mark Adams Function Composition Tool 1998-11-03 When Hamming Meets Euclid: The Approximability of Geometric TSP and MST Extended Abstract 1997-10-04 The Uniform Memory Hierarchy Model of Computation 1994-12-13 Routing in Ad-Hoc Networks Using Minimum Connected Dominating Sets 1997-03-14 Howard Hua 1998-11-16 A lexical analysis of numeral expressions in Dutch, English and German 1997-11-03 GDR: A Visualization Tool For Graph Algorithms 1996-04-08 A Classification Method of Alternatives for Multiple Preference Ordering Criteria Based on Fuzzy Majority 1996-01-31 A Tensor Product Action on q-Clan Generalized Quadrangles with q = 2^e 1999-03-12 S. E. Payne A partial-order-based simulation and validation approach for high-level Petri nets 1998-12-27 The Grishchuk-Zeldovich Effect In The Open Universe 1998-05-12 David H. Lyth Computation, 145:437-458, November 1992. Ven87 K. N. Venkataraman. Decidability of the purely existential fragment of the theory of term algebras. 1999-02-19 Machine Learning Approaches to Power System Security Assessment 1995-05-16 Louis Wehenkel The Reliable Router: An Architecture for Fault Tolerant Interconnect 1996-05-23 Learning Disjunctions of Features 1997-06-15 Stephen Kwek Weighted and Unweighted Subspace Fitting without Eigendecomposition 1997-09-22 Self-Duality and Oblique Confinement in Planar Gauge Theories 1998-05-23 Developing Measures of Class Cohesion for Object-Oriented Software 1970-01-01 Evolutionary Telecommunications: Past, Present and Future 1999-05-06 Performance Analysis for Polaris on Distributed-Memory Multiprocessors 1997-10-10 Types and Dynamics in Partially Additive Categories 1997-06-06 A Transparent Object-Oriented Schema Change Approach Using View Evolution 1994-06-23 Two-Loop Real-Coded Genetic Algorithms with Adaptive Control of Mutation Step Sizes 1997-12-11 A Pipelined Microprocessor for Logic Programming Languages 1995-04-13 Verification of Knowledge Bases: a Unifying Logical View 1997-10-20 3D Neural Fields and Steerable Filters for Contour-based Person Localization 1998-07-09 .4 Chapter Summary 1998-03-18 Modeling Aspects Concerning THUNDER Actuators 1999-03-20 Associative Memory Based on Parametrically Coupled Chaotic Elements 1999-03-22 Learning to Model Sequences Generated by Switching Distributions 1995-10-02 Charmonium Production At Hera Using The H1 Detector 1998-12-15 P. D. Thompson Successive Continuation for Locating Connecting Orbits. 1997-05-13 Strangeness Content Of The Nucleon Within The Njl Soliton Model 1998-05-14 On Recording Virtual Environments 1993-07-22 John C. Hart Making Mobile Agents Communicate: A Flexible Approach 1996-05-07 ATLAS I: A Single-chip ATM switch for NOWs 1996-12-15 The Information Mural: Increasing Information Bandwidth in Visualizations 1997-08-29 Triangulation by Continuous Embedding 1998-08-13 User's Guide for FFSQP Version 3.7: A FORTRAN Code for Solving Constrained Nonlinear Minimax Optimization Problems, Generating Iterates Satisfying All Inequality and Linear Constraints 1999-01-15 Integrating Theory and Practice in Parallel File Systems 1993-07-12 Modeling and Control for Mobile Manipulation in Everyday Environments 1997-12-01 Demand more from your SGML database! 1996-02-27 Arijit Sengupta An Implementable Lossy Version of the Lempel-Ziv Algorithm - Part I: Optimality. . . Optimality for Memoryless Sources 1998-08-12 A Parallel Prefix Algorithm for Almost Toeplitz Tridiagonal Systems 1995-05-18 An Inherent Bottleneck in Distributed Counting 1997-05-12 Watermarking Techniques for Intellectual Property Protection 1999-03-16 On Probabilistic Model Checking 1996-08-12 Michael Huth Formal Analysis of the Cauchy Problem for a System Associated with the 2+1-Dimensional Krichever-Novikov Equation 1995-10-12 Perceptual Steps Along Color Scales 1996-11-19 Haim Levkowitz Improved Fairness Algorithms for Rings with Spatial Reuse 1997-09-08 A Banach Space Block Finitely Universal For Monotone Bases 1997-01-10 The Role of Trace Modulation in Building Mobile Computing Systems 1997-05-29 Domain Checking Z Specifications 1997-06-06 Mark Saaltink On Liveness Analysis Through Linear Algebraic Techniques 1995-11-03 Extracting Semistructured Information from the Web 1970-01-01 Biological Computing 1996-03-29 Discussion of a Statistical Channel 1995-05-18 Meeting QoS Challenges for Scalable Video Flows in Multimedia Networking 1996-02-09 Highest Utility First Search Across Multiple Levels of Stochastic Design 1998-04-09 Image Representation Based On The Affine Symmetry Group 1997-02-04 A. D. Calway Convex Grid Drawings of 3-Connected Planar Graphs 1999-01-30 The IBS-tree: A Data Structure for Finding All Intervals That Overlap a Point 1994-11-22 Automatic Software Visualization using Visual Arts Techniques 1970-01-01 Lindsey Ford A Study of Genetic Algorithms to Find Approximate Solutions to Hard 3CNF Problems 1997-06-18 Jeremy Frank Shared Memory Multiprocessor Support for SAC 1998-11-13 Clemens Grelck A Schema-based Approach to Cooperative Behavior 1996-12-09 The Use Of Recurrent Neural Networks For Classification 1996-03-21 On Iterated-Subspace Minimization Methods for Nonlinear Optimization 1997-09-30 An HI survey of the Boötes void. II. The Analysis 1995-11-29 Towards An Anthropological Approach To Agent Adaptation 1995-10-11 JdWeb: A Proxy Server for Intranet/Internet Database Application Development 1998-09-15 Convexity Problems on Meshes with Multiple Broadcasting 1997-02-12 Stochastic Modelling Hints for Neural Network Based Time Series Predictions 1995-07-25 Radu Drossu Zoran Obradovi'c Variable Structure Control of Nonholonomic Wheeled Mobile Robot 1997-01-30 Image Morphing Using Deformable Surfaces 1998-11-24 Smart: A Many-To-Many Multicast Protocol For Atm 1996-09-30 Z.arvasi And T.porter 1997-01-24 Transmitted Ronald Brown Trading of Objects in a Heterogenous Large Distributed System 1970-01-01 Hint-based Cooperative Caching 1998-02-23 Lost in Hyperspace? - Free Text Searchesin the Web 1994-05-18 Christian Neuss Evolutionary Heuristics for the Bin Packing Problem 1998-11-19 Vision-Based Behaviors for Multi-Robot Cooperation 1996-02-06 Recursive Expressions 1998-08-05 Multi-Resolution Data Processing: It is Necessary, It is Possible, It is Fundamental 1997-08-28 An Emotional Agent - The Detection and Control of Emergent Stats in Autonomous Resource-Bounded Agents 1997-10-28 Ian Wright Behavioral Equivalence in the Polymorphic Pi-Calculus 1998-07-26 Unknown 1996-01-22 Reuse of Proofs in Software Verification 1995-05-03 Optimizing Symbolic Model Checking for Constraint-Rich Models 1999-03-24 Creating a Framework for Developing High-performance Web Servers over ATM 1997-10-17 James C. Hu Surface Gridding From Discrete Data 1998-11-03 Rainald Lohner OMG White Paper on Security 1995-04-05 Belinda Fairthorne Parallelizing the Divide and Conquer Algorithm for the Symmetric Tridiagonal Eigenvalue Problem on Distributed Memory Architectures 1998-03-09 Jack Dongarra Admissible Functions and Asymptotics for Labelled Structures by Number of Components Edward A. Bender Center for Communications Research 4320 Westerra Court San Diego, CA 92121, USA 1997-12-26 Masaharu Morimoto 1997-05-23 Masaharu Morimoto Absolutely Continuous Spectrum of Perturbed Stark Operators 1997-04-26 Alexander Kiselev Leafy Spanning Trees In Hypercubes 1998-09-09 Asymptotic Results for Multiplexing Subexponential On-Off Sources 1996-12-06 Choosing among Architectures for Applied Multilingual Generation 1996-07-19 Xiaorong Huang Entropy Constrained Fractal Image Coding 1995-09-06 Kai Uwe Barthel Learning Hidden Markov Model Structure for Information Extraction 1999-03-16 Engineering Optimizations Using the Structured Genetic Algorithm. 1970-01-01 Improved Algorithms Of Illinois-Type For The Numerical Solution Of Nonlinear Equations 1995-11-01 J. A. Ford mMOD: the multicast Media-on-Demand system 1997-03-06 A PDP Approach to Processing Center-Embedded Sentences 1970-01-01 The Computation of pi to 29,360,000 Decimal Digits Using Borweins' Quartically Convergent Algorithm 1998-11-05 David H. Bailey Performance Debugging in the Enterprise Parallel Programming System 1998-08-19 Population Management for Automatic Design of Algorithms through Evolution 1998-09-26 Roland Olsson Position paper: Security in TACOMA 1998-06-15 Nils P. Sudmann Individual and Collaborative Behaviors in a Team of Homogeneous Robotic Soccer Agents 1998-04-25 An Action-Based Logic Of Causality, Knowledge, Permission And Obligation 1997-07-21 Recognizing Machining Features Through Partial Constraint Satisfaction 1997-11-28 Ming-hsuan Yang A.L. Carey 1997-04-26 A. L. Carey Sequential Decoding of Tailbiting Convolutional Codes for Hybrid ARQ on Wireless Channels 1999-03-08 Implementing Lock-Free Queues 1995-05-19 John D. Valois A Simulation Environment For Ariadne 1999-04-08 Danny Greefhorst A literate, executable, denotational semantics of simple C++ declarations 1993-06-23 Joseph Reynolds Charmed Particle Production in Hadron-Hadron Collisions 1998-05-15 Inheritance Reasoning: Psychological Plausibility, Proof Theory and Semantics 1998-05-26 Parallel Iterative Solvers and Preconditioners Using Approximate Hierarchical Methods Extended Abstract 1996-08-15 Cosmological Limits on Slightly Skew Stresses 1970-01-01 John D. Barrow Results On Lattice Vector Quantization With Dithering 1997-12-07 Gossiping on Interval Graphs 1997-07-28 Frame Relay/ATM PVC Service Interworking Implementation Agreement 1995-05-30 Drawing Directed Acyclic Graphs: An Experimental Study 1996-10-31 Stellar Mass Loss-Driven Wind Models of Elliptical Galaxies? 1994-09-26 B. K. Gibson Symbolic Analysis Techniques For Effective Automatic Parallelization 1995-06-09 William Joseph Blume Parallel Programming of Rule-Based Systems with Decomposition Abstraction 1996-11-11 Shiow-yang Wu The Performance of PVM on MPP Systems 1995-08-10 Biorthogonal Wavelets and Multigrid 1996-02-07 Using Complementation And Resequencing To Minimize Transitions 1998-08-06 Finding Initial Estimates of Human Face Location 1995-11-13 Measurement of the Inclusive Di-Jet Cross Section in Photoproduction and Determination of an Effective Parton Distribution in the Photon 1997-12-19 H Collaboration Virtual Schemas and Bases 1994-03-24 Real-Time Programming with Time-Stamped Event Histories 1996-05-18 Alan Shaw Multiresolution Representations Using the Auto-Correlation Functions of Compactly Supproted Wavelets 1998-05-06 Reverse Communication Interface for Linear Algebra Templates for Iterative Methods 1995-05-18 The VISION Digital Video Library Project 1998-10-12 Topological Quantum Groups, Star Products and their relations 1997-04-26 Daniel Sternheimer Zero Mode and Symmetry Breaking on the Light Front 1997-05-12 Sho Tsujimaru From The User Interface To The Database Management System: Application To A Geographical Information System 1998-01-21 M. Mainguenaud Pitch Determination And Speech Segmentation Using The Discrete Wavelet Transform 1970-01-01 Using Subpages for Coherency Control in Parallel Database Systems 1996-12-04 Andreas Listl Interoperability between the X.509 and EDIFACT Public Key Infrastructures: the DEDICA Project 1998-08-31 Parameterized Image Varieties And Estimation With Bilinear Constraints 1999-01-07 Software Engineering: An Emerging Profession? 1970-01-01 David Alex Lamb The CERFACS experience 1995-01-30 I. S. Duff Bayesian Testing and Estimation of Association in a Two-Way Contingency Table 1996-03-08 James H. Albert Potentialised Partial Differential Equations in Theoretical Spatial Economics: Further Theoretical and Computer Simulation Results 1995-10-17 The Evolution of Complexity and the Value of Variability 1998-10-05 Anil K Seth Abduction For Design 1996-01-19 Hideaki Takeda On Caching Search Engine Results 1999-01-13 Evangelos P. Markatos Mimetic Discretizations for Maxwell's Equations and the Equations of Magnetic Diffusion 1998-06-25 Black Hole Entropy And String Theory 1998-05-25 Sumit R. Das Design and Implementation of a Teleautonomous Hummer 1997-10-02 Performance Analysis of Concurrency Control Using Locking with Conditional Blocking 1998-01-14 A Process and Retrospection on Creating a Domain Model for Avionic Software 1995-09-18 Don Batory A Study On Hill Climbing Algorithms For Neural Network Training 1999-04-09 Monitoring Environment for Distributed Object-Based Applications 1995-02-04 Grzegorz Aksamit Automata-Theoretic Models of Mutation and Alignment 1995-08-31 Pizza into Java: Translating theory into practice 1999-03-28 On Dynamic Multi-Rigid-Body Contact Problems with Coulomb Friction 1995-08-01 Encoding Modal Logics in Logical Frameworks 1970-01-01 An Approach to Image Retrieval for Image Databases 1997-01-07 The CODE 2.0 Graphical Parallel Programming Language 1995-04-18 On Evolutionary Dynamics 1996-08-05 Christian V. Forst Minimum Cost Topology Optimisation of the COST 239 European Optical Network 1997-11-21 M. C. Sinclair Virtual Tree Path Management For Battlefield Networks 1997-07-28 Two-Stage Inflation in Supergravity 1998-04-02 G. Lazarides Making Requirements Elicitation Traceable 1995-10-27 The Cosmic Microwave Background Dipole As A Cosmological Effect 1994-11-28 Daphne: Data Parallelism Neural Network Simulator 1993-02-12 Genetic Algorithms in Computer Aided Design of Integrated Circuits 1996-08-09 A Closed-Form Solution to the Problem of Super-Replication Under Transaction Costs 1997-10-13 Unknown 1993-11-18 Efficient Precomputation of Quality-of-Service Routes 1998-04-10 Neuronal Information Processing - From Biological Data to Modelling and Applications World Scientific, 1998. REDUCING THE COMPLEXITY OF NEURAL NETS FOR INDUSTRIAL APPLICATIONS AND BIOLOGICAL MODELS 1998-05-13 Generalized Guaranteed Rate Scheduling Algorithms: A Framework 1998-06-12 Functional Integration of Parallel Counters Based on Quantum-Effect Devices 1997-10-13 The Perturbed Riemann Problem for a Balance Law 1996-12-02 Resource Control For Hard Real-Time Systems: A Review 1994-06-30 Neil C. Audsley Wavelet Threshold Estimators for Data With Correlated Noise 1996-08-22 On the Utility of Systematicity: Understanding Tradeoffs between Redundancy and Commitment in Partial-order Planning 1993-08-17 Subbarao Kambhampati Structure of Tilings of the Line by a Function 1996-05-24 Interpolatory Wavelets on the Sphere 1998-03-30 Reordering Query Execution in Tertiary Memory Databases 1996-09-22 Finger Track - A Robust and Real-Time Gesture Interface 1998-06-16 Alexander Zelinsky Active Surface Models for Brain Imaging 1997-10-15 : Real-Time Objects and Atomicity for Multiprocessors 1997-03-28 Why Cryptosystems Fail 1996-04-10 Ross Anderson Global Minimum for Active Contour Models: A Minimal Path Approach 1998-03-18 Routing on the PADAM: Degrees of Optimality 1999-04-05 Atomic Obscuring 1995-09-28 Evaluation of High Performance Fortran on some Real Applications 1994-05-26 Thomas Brandes A player for adaptive MPEG video streaming over the Internet 1999-01-07 Technical Report 1996-09-26 Adding Enrichments to Refined Interleavings: A New Model for the pi-Calculus 1999-02-18 Michael Baldamus Space Usage in Functional Query Languages 1995-12-15 Partial Likelihood For Real-Time Signal Processing With Finite Normal Mixtures 1998-06-08 Software Integration Towards Global Computing 1995-08-07 Deformable Surfaces: A Free-Form Shape Representation 1997-04-16 The Liar Paradox and Fuzzy Logic 1998-05-12 Verifiable Transaction Atomicity For Electronic Payment Protocols 1996-07-15 Lei Tang An Intensional Investigation of Parallelism 1995-09-08 Denis Dancanet A Formal Proof of Fault-Tolerant Progress 1998-08-05 Wim H. Hesselink Towards Optimal Zoom for Automatic Target Recognition 1997-09-02 A Survey of Computational Steering Environments 1998-07-13 Extending The Take-Grant Protection System 1997-06-18 Understanding Communication Faults in Parallel Computers 1994-01-01 Experiments with HPF Compilation for a Network of Workstations 1994-12-01 Fabien Coelho Kernels And Cohomology Groups For Some Finite Covers. 1998-01-13 Modeling the Effects of Prior Infection on Vaccine Efficacy 1997-08-27 Dynamic Recurrent Neural Networks 1990-12-14 Barak A. Pearlmutter Recognition of Problem-solving Plans in Dialogue Interpretation 1996-05-03 A Debugging Model for Lazy Narrowing 1998-04-27 Ana Gil-luezas A Framework for Conceptual and Interactive Modeling 1996-12-22 Sensitivity Analysis of Linear DS-CDMA Detectors to Propagation Delay Estimation Errors 1995-08-21 Congestion Control for Real-Time Traffic in High-Speed Networks 1991-07-16 Automatic Task Planning for Robot Vision 1998-04-09 Solving Alignment Using Elementary Linear Algebra 1998-01-08 Poisson Structures On Double Lie Groups 1998-12-03 The Event Handler API 1998-08-13 Analog Computers and the Iteration Functional 1999-03-17 Landesman-Lazer Type Problems At An Eigenvalue Of Odd Multiplicity 1995-11-23 Ludov It Pinda The Origin Of Large Scale Galactic Magnetic Fields 1997-03-03 K. Subramanian Smoothing Speckled Images Using an Adaptive Rational Operator 1997-08-28 Mass Splitting and Production of 1998-05-13 Coupled Map Lattices Via Transfer Operators On Functions Of Bounded Variation 1997-11-27 Gerhard Keller Automated Techniques for Designing Embedded Signal Processors on Distributed Platforms 1998-11-02 Real-Time Visual Behaviors with a Binocular Active Vision System 1997-01-20 Planning under uncertainty: Some key issues 1995-04-19 Annotation-Directed Run-Time Specialization in C 1997-06-24 A Nonparametric Test Of Serial Independence For Time Series And Residuals 1998-10-29 Building the 4 Processor SB-PRAM Prototype 1996-07-08 Approximating Continuous Markov Processes 1999-04-23 On Connectedness Of Graphs On Weyl Groups Of Type ... 1995-11-15 Person Identification Based on Multiscale Matching of Cortical Images 1995-04-27 Theory Revision in Fault Hierarchies 1997-04-13 Geometric Embeddings for Faster and Better Multi-Way Netlist Partitioning 1995-01-14 FORM GEOMETRY AND THE 'tHOOFT-PLEBANSKI ACTION 1998-05-12 Ingemar Bengtsson Cmu-Cs-95-169 1997-02-04 Multi-Destination Communication Over Tunable-Receiver Single-Hop WDM Networks 1996-06-19 Ordering And Focusing In An Architecture For Persuasive Discourse Planning 1997-04-18 A Multimedia display extension to SQL: Language Design and Architecture 1997-03-08 Towards Design Formalization to Support Reuse in ECAD Frameworks 1998-07-23 Transparently Parameterizing Synchronization into a Concurrent Distributed Application: A Case Study of C++ Design Evolution 1997-03-06 Douglas C. Schmidt Introduction to the Mathematical Theory of Kinetic Equations 1999-04-22 An Adaptive Local Grid Refinement Method For Nonlinear Filtering 1995-10-11 Correlations Without Synchrony 1999-03-12 Carlos D. Brody A high level simulator integrated with the Mirv compiler 1998-11-17 On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations 1998-10-15 Fast Convergence with a Greedy Tag-Phrase Dictionary 1998-04-22 Meson Production in proton antiproton annihilations in flight 1997-09-11 T. F. Degener T E X Version 1.2 User's Guide 1996-12-09 Software Development Risk: Opportunity, Not Problem 1996-09-19 Roger L. Van Scoy Development of Direction Selectivity Through Hebbian Modification 1996-11-04 On using Network Memory to Improve the Performance of Transaction-Based Systems 1997-04-11 A BLAS-3 Version of the QR Factorization with Column Pivoting 1996-08-06 Simulation Studies of Electrorheological Fluids under Shear, Compression, and Elongation Loading 1997-09-03 On the Complexity of Commutativity Analysis 1996-03-29 Pedro Diniz Eeg Signal Compression With Adpcm Subband Coding 1996-08-27 Managing Time in Object-Oriented Databases 1993-10-02 Hari Balakrishnan*, Venkata N. Padmanabhan*, Srinivasan Seshan+, Mark Stemm*, Randy H. Katz 1997-08-18 Generation and Solution of Markov Chains Using MOSES 1999-05-06 NetSolve: A Network Server for Solving Computational Science Problems 1995-11-30 Jack Dongarra Performance Evaluation Of Word Phrase And Noun Category Language Models For Broadcast News Speech Recognition 1998-12-07 The Structure of a Moving Vortex Lattice 1996-01-04 Exploratory Mining via Constrained Frequent Set Queries 1970-01-01 The N-Nested Simulation Equivalences Are Not Congruences for the Priority Operators 1995-07-21 A Rank-One Reduction Formula And Its Applications To Matrix Factorizations 1994-09-20 Moody T. Chu On the Time to Traverse All Edges of a Graph 1997-11-26 David Zuckerman Predicting Algorithm Performance 1998-07-09 On Scaling in Relation to Singular Spectra 1997-04-26 A. Hof Genetic algorithms in Haskell with polytypic programming 1997-03-04 Mans Vestin Integer Sorting And RoutingIn Arrays With Reconfigurable Optical Buses 1999-03-11 An Efficient Implementation of a Network Interior Point Method 1997-04-11 Reconstructing The Inflaton Potential 1970-01-01 Chemical evolution of primary elements in the Galactic disk: An analytical model 1997-12-11 Automated Software Test Data Generation for Complex Programs 1998-12-07 A Neural Based Segmentation and Recognition Technique for Handwritten Words 1999-03-29 Cimgs: An Incomplete Orthogonal Factorization Preconditioner 1995-02-13 Techniques for Extracting Instruction Level Parallelism on MIMD Architectures 1994-12-19 Transforming UML Models to Formal Specifications 1999-01-28 Fast Lossy Internet Image Transmission 1995-08-16 Beyond Associative Memories: Logics and Variables in Connectionist Models 1997-07-30 Ron Sun Performance and Portability of an Air Quality Model 1998-07-01 Computation And Maintenance Of Visibility And Shadows In The Plane 1998-03-09 Sherif Ghali A Review of Software Inspections 1997-10-07 Document Reconstruction: A Thousand Words from One Picture 1997-10-07 Jeffrey C. Reynar Precision Study of Minimal Supersymmetric Standard Model by production and decay of scalar tau lepton 1998-05-15 Comprehensive Distributed Garbage Collection by Tracking Causal Dependencies of Relevant Mutator Events. 1970-01-01 On Exact and Approximate Cut Covers of Graphs 1995-08-10 A Coordination Layer for Exploiting Task Parallelism with HPF 1998-09-09 Salvatore Orlando Producing a Top-Down Parse Order with Bottom-Up Parsing 1995-03-06 The IMPROV Meta-Tool Design Methodology for Visualization of Parallel Programs* 1994-03-24 Thomas L. Casavant Average-Case Interactive Communication 1996-05-02 Alon Orlitsky Trace-Driven Simulation of Data-Alignment and other Factors affecting Update and Invalidate Based Coherent Memory 1995-11-06 Three Cuts for Accelerated Interval Propagation 1995-08-30 Start-time Fair Queuing: A Scheduling Algorithm for Integrated Services Packet Switching Networks 1998-06-12 Optimal Subset Selection For Adaptive Signal Representation 1995-12-20 On the spectra of the higher dimensional Maxwell operators on nonsmooth domains 1994-07-20 Bjorn Jawerth Real Clock Time Animation Support for Developing Software Visualizations 1995-07-06 Learning String Edit Distance 1998-02-07 Consistent Velocity Approximation for Density Driven Flow and Transport 1998-07-27 P. Frolkovic Performance Engineering of Group Communication Protocols 1998-06-17 Ravi K. Budhia Using Predicated Execution to Improve the Performance of a Dynamically Scheduled Machine with Speculative Execution 1998-03-02 Incorporating Information on Neighboring Coefficients into Wavelet Estimation 1999-03-26 Exotica: A Project on Advanced Transaction Management and Workflow Systems 1995-10-03 Exploiting Process Integration and Composition in the Context of Active Vision 1998-02-09 Supporting Transcontinental Collaborative Work in Persistent Virtual Environments 1996-06-25 The Mathematical Basis of Molecular Phylogenetics 1995-11-02 Andreas Dress On the Relationship Between Generalization Error, Hypothesis Complexity, and Sample Complexity for Radial Basis Functions 1998-09-02 MindReader: Querying databases through multiple examples 1998-06-19 Improved Dynamic programming and Traceback for Continuous Speech Recognition 1970-01-01 Customized Plans Transmitted by Flexible Refinement 1996-09-04 Dietmar Dengler Development, Learning and Evolution in Animats 1997-09-22 Jean-arcady Meyer Design of a Reusable IR Framework 1999-03-20 The Use of Trademarks Or Names of Manufacturers in 1998-03-27 Architectural and Infrastructural Constraint in Adaptive Intelligent Systems and Behavior Network Architectures 1997-08-21 Tom Dillon Optimal Separations for Parallel versus Sequential Self-Checking: Parallelism Can Exponentially Increase Self-Checking Cost 1998-06-12 Modular Utility Representation for Decision-Theoretic Planning 1994-03-16 Reconstruction Of Photon Distribution With Positivity Constraints 1998-07-17 Reasoning About Exceptions 1997-06-04 Parallel Computation for Positron Emission Tomography with Reduced Processor Communications 1997-07-28 Soeren Peter Olesen Random Walks and the Additive Coagulation Equation 1997-10-14 Ravi K. Sheth An Analysis on Crossovers for Real Number Chromosomes in an Infinite Population Size 1997-08-08 Tatsuya Nomura Virtual PAT: A Virtual Personal Aerobics Trainer 1998-11-02 A New Method for Predicting Long-range Interactions between Amino Acid Residues Based-on Homological Correlations 1995-02-09 Hiroshi Mamitsuka An Object Specification Language Implementation with Web User Interface based on Tycoon 1998-05-25 Factors Influencing ATM Adapter Throughput 1996-07-30 Note on Two Estimators for the Polynomial Regression with Errors in the Variables 1970-01-01 Chi-lun Cheng EURIS, a Specification Method for Distributed Interlockings Extended Abstract 1998-06-22 Petal: Distributed Virtual Disks 1996-08-13 Software Reuse and Object-Oriented Software Engineering in the Undergraduate Curriculum 1995-03-27 Rajiv Tewari ProfBuilder: A Package for Rapidly Building Java Execution Profilers 1998-09-24 Exact Required Time Analysis via False Path Detection 1997-05-29 Heavy Traffic Analysis of a Storage Model with Long Range Dependent On/Off Sources. 1997-01-23 Bypassing Joins in Disjunctive Queries 1995-06-28 Generating Marked Combstruct Grammars - An introduction and some applications 1998-01-12 Marni Mishna Leveled Commitment Contracts with Myopic and Strategic Agents 1998-12-16 Multiprocessor Priority Ceiling Based Protocols 1998-09-05 Toward a Machine Assisted Software Performance Diagnosis Methodology 1996-04-17 Real-Time Performance via User Interfaces to Musical Structures 1995-12-02 Stephen Travis Pope Fuzzy Controller for Wall-Following With a Non-Holonomous Mobile Robot 1999-03-07 Leapfrogging: A Portable Technique for Implementing Efficient Futures 1996-10-01 Genetic Solutions to the Load Balancing Problem in Parallel Computers 1995-07-26 A Fast Track Architecture for High Performance, Fault-Tolerant Reliable Distributed Group Communication 1995-02-21 Employing EM in Pool-Based Active Learning for Text Classification 1998-02-28 Reuse, Parameterized Reuse, and Hierarchical Reuse of Substructures in Evolving Electrical Circuits Using Genetic Programming 1996-10-20 An Examination of an Iterative Convergence Algorithm for Lagrange Multiplier Dynamic Constraints 1997-12-17 Richard W. Devaul A Second Alternative Semantics for Verdi 1994-12-10 Mark Saaltink Reliable Broadcasting 1996-01-24 Towards a Requirements-based Information Model for Configuration Management 1998-04-30 Intercausal Independence and Heterogeneous Factorization 1994-07-09 Variable Ages In A WAM Based System 1996-09-26 Ilyas Cicekli Compiler and Hardware Support for Automatic Instruction Prefetching: A Cooperative Approach 1998-09-04 Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style Reasoning and Theorem Proving 1998-01-09 Jurgen Dingel A Computer Simulation Study And Component Evaluation For A Quaternion Filter For Sourceless Tracking Of Human Limb Segment Motion 1997-04-09 An Efficient Hierarchical Scheme for Locating Highly Mobile Users 1998-09-03 Ploxoma: Testbed for Uncertain Inference 1994-12-30 Foundations of Distributed Programming Languages 1998-07-06 Peter Sewell JAM: Java Agents for Meta-Learning over Distributed Databases 1998-06-06 Automated Hexahedral Mesh Generation by Virtual Decomposition 1998-11-03 Structured Multimedia Authoring 1995-03-13 The Hp Finite Element Method for Singularly Perturbed Problems in Non-Smooth Domains 1998-07-21 Christos Xenophontos Data Flow Analysis Across Tuplespace Process Boundaries 1997-12-16 The Integration of Financial Markets and the Conduct of Monetary Policies: The Case of Canada and the United States 1999-01-28 Geometric Stability Analysis for Periodic Solutions of the Swift-Hohenberg Equation 1997-04-26 J. -p. Eckmann Boosting and Rocchio Applied to Text Filtering 1999-02-10 On the Value of User Modeling for Improving Plan Recognition 1970-01-01 Easily Searched Encodings for Number Partitioning 1996-05-02 A Comparison of PVS and Isabelle/HOL 1998-03-30 ILLUSTRATION OF BILEVEL FORMULATIONS INCONCURRENT DESIGN MODELING K. Badhrinath J. R. Jagannatha Rao 1996-05-07 Prosody Takes Over: A Prosodically Guided Dialog System 1994-12-16 Now we can return to the proof of Lemma 1. First note that both the construction of 1997-04-19 MIME Multipurpose Internet Mail Extensions: 1992-06-11 An Implementation of Memory Sharing and File Mapping 1993-10-14 Ken Shirriff Design Error Diagnosis in Sequential Circuits 1996-10-09 Decision Fusion in a multi-modal identity verification system using a multi-linear classifier 1999-02-18 Topics In Nonhamiltonian Interaction Of Hamiltonian Dynamic Systems 1997-04-26 Denis Juriev Asymptotic Component Densities in Programmable Gate Arrays Realizing all Circuits of a Given Size 1996-03-21 DAMN: A Distributed Architecture For Mobile Navigation - Thesis Summary 1998-01-23 Julio Rosenblatt Hybrid System Behavior Specification for Multiple Robotic Mechanisms 1999-04-15 High Performance Fortran Language Specification 1996-03-31 Online Learning about Other Agents in a Dynamic Multiagent System 1998-02-19 Achieving High-Accuracy Text-to-Speech with Machine Learning 1997-05-30 Bias-Variance Trade-Offs Analysis Using Uniform Cr Bound For Images 1994-08-15 Motion Compensated Noise Reduction Brian Guenter User Interface Research Group Microsoft Research One Microsoft Way Redmond WA 98052-6399 1970-01-01 Brian Guenter Execution Characteristics of Object Oriented Programs on the UltraSPARC-II 1999-01-20 Finite Element Approximation of a Nonlinear Heat Conduction Problem in Anisotropic 1997-02-18 Liping Liu Benchmarking Implementations of Functional Languages with "Pseudoknot", a Float-Intensive Benchmark 1995-12-14 Multi-Garnet: Integrating Multi-Way Constraints with Garnet 1992-09-11 Algorithms for Polycyclic-by-finite Groups 1996-09-11 Blind Source Separation of Real World Signals 1997-03-13 On Recovery Algorithm for Chain Graphs 1997-08-28 Parameter Optimisation of a Non-linear Tanker Control System using Genetic Algorithms 1997-01-28 Relationships Between Quantum and Classical Space-Bounded Complexity Classes 1998-04-18 John Watrous Class Firewall, Test Order, and Regression Testing of Object-Oriented Programs 1970-01-01 Predicting Object Recognition Performance Under Data Uncertainty, Occlusion and Clutter 1998-12-30 On-Line Hand-Printing Recognition with Neural Networks 1996-04-12 Design of a Spreadsheet Paradigm for Network Management 1997-03-20 The Entropy Of Uniquely Ergodic Tiling Systems 1997-04-26 Jiunn-i Shieh Data Analyses Using Simulated Breeding and Inductive Learning Methods 1995-05-02 Computability of Convex Sets 1995-10-03 CP Violation in Semileptonic 1970-01-01 On the Spectrum of the GPS DD-Ambiguities 1998-06-03 Objective Function Formulation of the BCM Theory of Visual Cortical Plasticity: Statistical Connections, Stability Conditions 1998-11-13 Improving Robot's Indoor Navigation Capabilities by Integrating Visual, Sonar and Odometric Measurements 1996-11-15 Abstracting Numerical Values in CLPH,N 1999-01-24 Two Special Classes of Matrices 1970-01-01 Hsin-chu Chen Data Acquisition and Management in BEPC 1996-01-17 The Computational Complexity of Some Problems of Linear Algebra 1997-03-12 Affective Pattern Classification 1998-10-02 Deriving Structural Hylomorphisms From Recursive Definitions 1996-01-18 Direct construction of Compact Directed Acyclic Word Graphs 1997-04-21 Maintaining Digital Clocks In Step 1995-04-17 Protecting the Baryon Asymmetry in Theories with R-parity Violation 1997-02-28 Sacha Davidson Pad'e Type Approximants With Preassigned Zeros 1997-06-06 Tractable Disjunctive Constraints 1997-11-17 Models, Domains and Abstraction in Software Development 1998-08-17 Finite-Connectivity Systems as Error-Correcting Codes 1999-04-23 Lower Bounds for Computing Geometric Spanners and Approximate Shortest Paths 1996-04-30 PML-FDTD in Cylindrical and Spherical Grids 1997-07-25 GRAMMPS: A Generalized Mission Planner. . . 1997-10-16 Measurement Of The Spin-Dependent Structure Function g 1 x Of The Proton 1994-05-24 Parallelization of Explicit Finite Difference Schemes via Domain Decomposition 1998-06-22 Combinatorial analog of the Melvin-Morton conjecture 1997-02-17 S. Chmutov System Support for Mobility 1970-01-01 Neural Implementation of Psychological Spaces. 1998-07-15 Distance distributions in proteins: A six parameter representation 1996-03-08 Reconciling Transparency With Resource Awareness in Nomadic Computing 1997-09-22 Mobile Robot Localization Using Fuzzy Maps 1996-08-09 Building an Interactive Multimedia Information System: The GeoMed Case Study 1996-07-05 A Generic Approach to the Formal Specification of Requirements 1997-11-27 Supervised Competitive Learning For Finding Positions Of Radial Basis Functions 1998-01-08 LIDEX Reference Manual 1994-07-01 On using Network Memory to Improve the Performance of Transaction-Based Systems 1997-04-11 Unknown 1998-03-01 William Crawley-boevey On the Phase Structure of the 1997-12-29 Indexing Handwriting Using Word Matching 1995-12-07 Dynamic Behavior of Differential Pricing and Quality of Service Options for the Internet 1998-08-09 The SIGIR'98 Document Style 1998-03-19 Estimation ofCorrelation Properties 1998-05-04 George B. Rybicki MPCR: An Efficient and Flexible Chains of Recurrences Server 1996-08-05 Olaf Bachmann Self-Stabilizing Mutual Exclusion in the Presence of Faulty Nodes 1997-09-05 Standardizing the Querying Process with SGML - The SQL DTD 1996-09-18 Arijit Sengupta Backtrack-Free Search for Resource Allocation Problems 1995-02-02 Spacetime Quantization of BPFTW Action: Spacelike Plasmon Cut New Phase of the Thermal Vacuum 1998-05-23 Ngee-pong Chang Beyond Traditional Program Slicing 1996-07-23 Reencoding for Cycle-Time Minimization under Fixed Encoding Length 1998-08-06 Compiling Lazy Functional Programs to Java Bytecode 1999-02-17 On the Adequateness of the Connection Method 1995-05-26 Antje Beringer 1-800-CALL-ME: The myth of the passive prospect 1998-01-19 Seth Bullock Linear Algebra Research on the AP1000 1970-01-01 Symmetric Spaces and Convex Cones 1995-08-20 Norbert Dorr Adding Lateral Inhibition to a Simple Feedforward Network Enables It to Perform Exclusive--Or. 1999-02-03 Leslie S. Smith The Algebraic Structure of Pencils and Block Toeplitz Matrices 1996-08-12 Daniel L. Boley Binding Bit Patterns to Real World Entities. 1998-01-26 A Backward Slicing Algorithm for Prolog 1996-07-23 Polymorphism in Hindley/Milner Style Type Systems with Constraints 1998-10-01 Martin Sulzmann Using Value Semantic Abstractions to Guide Strongly Typed Library Design 1998-04-25 Eigenfeatures Coding of Videoconferencing Sequences 1998-02-20 Acknowledgements 1993-06-25 Ajay Mohindra Broken Symmetries in the Early Universe 1998-05-14 Alejandra Melfo A New Approach for Automatic Chinese Spelling Correction 1998-03-01 Chao-huang Chang Component Reuse and Adaptation at the Specification Level 1998-07-21 Internet Based Traffic Congestion Information for the GaryChicago -Milwaukee Priority Corridor 1997-06-25 A Minimal GB Parser 1993-11-13 Marwan Shaban The Generic Consensus Service 1998-07-07 Rachid Guerraoui A Common Currency System for Spontaneous Transactions on Public Networks - Is it feasible? 1996-10-18 Ronald Maier Equality Is a Jump 1998-06-10 Phoneme Probability Estimation with Dynamic Sparsely Connected Artificial Neural Networks 1998-06-17 A Convex Programming Approach for Exploiting Data and Functional Parallelism on Distributed Memory Multicomputers 1997-01-08 Table Of 1996-09-27 Gregory D. Hume Latency-Rate Servers: A General Model for Analysis of Traffic Scheduling Algorithms 1998-10-21 A Probabilistic Error-Correcting Scheme 1998-07-13 Telescript Programming Guide 1997-09-10 Existence of the density of states for multi-dimensional continuum Schr odinger operators with Gaussian random potentials 1997-04-28 Hierarchical Reconstruction Using Geometry And Sinogram Restoration 1996-05-09 Triplex Router: A Versatile Torus Routing Algorithm 1997-11-14 A Formal Framework for Speedup Learning from Problems and Solutions 1970-01-01 IMCE - An Integrated Multimedia Conferencing and Collaboration Environment 1998-12-14 Face Recognition in Dynamic Scenes 1997-07-09 Finite Element Approximations to the System of Shallow Water Equations, Part III: On the Treatment of Boundary Conditions 1998-09-03 Inferring Complex Plans 1995-04-12 Population Dynamics and Phase Effects in Periodic Level Crossings 1970-01-01 Dynamic Task Migration in Home-based Software DSM Systems 1999-04-24 A Comparison of Measures for Detecting Natural Shapes in Cluttered Backgrounds 1998-03-15 Scheduling Issues in High-Performance Computing 1998-12-02 Scalable Atomic Primitives for Distributed Shared Memory Multiprocessors Extended Abstract 1998-06-05 shpf: a Subset High Performance Fortran compilation 1996-07-24 The Algebraic Structure of Pencils and Block Toeplitz Matrices 1996-08-12 Daniel L. Boley Group Allocation Multiple Access with Collision Detection 1996-12-16 Gravitational Lorentz anomaly from the overlap formula in 2-dimensions 1998-05-23 Bifurcations In The Learning Of Recurrent Neural Networks 1996-11-16 Kenji Doya Probabilistic Hill-Climbing 1992-09-28 Probabilistic Planning with Information Gathering and Contingent Execution 1995-07-28 On the Correctness of a Distributed Memory Gröbner Basis Algorithm 1996-02-21 Automatic Detection of Conserved RNA Structure Elements in Complete RNA Virus Genomes 1998-02-26 An Evolutionary Heuristic for the Minimum Vertex Cover Problem 1994-10-25 A Comparison of Parallel Algorithms for Connected Components 1997-02-04 John Greiner Lattice Paths between Diagonal Boundaries 1998-06-17 Heinrich Niederhausen Orca: Alanguage For Parallel Programming Of Distributed Systems+ 1994-03-21 Achievable Bounds on Signal Transition Activity 1998-12-22 Thread-Based Software Synthesis for Embedded System Design 1996-11-29 Embedding Distributive Lattices Preserving 1 Below a Nonzero Recursively Enumerable Turing Degree 1997-10-03 On Measuring the Performance of Adaptive Wormhole Routing 1997-08-02 Porting Interactive Applications to the Web 1995-11-21 Brian R. Gaines An Event Generator For Interactions Between Hadrons And Nuclei - Fritiof Version 7 1995-08-31 Hong Pi L E C T R O N I C 1998-12-24 Zhan Shi Interprocedural Array Data-Flow Analysis for Cache Coherence 1996-05-04 Lynn Choi Decentralized Micropayment Consolidation 1998-07-07 Fast Bootstrapping Of Lvcsr Systems With Multilingual Phoneme Sets 1997-10-30 Performance of a Distributed Object-Based Internet Collaboratory 1970-01-01 TDDA, a Data Mining Tool for Text Databases: A Case History in a Lung Cancer Text Database 1999-03-20 The Standard Logic of Z is Inconsistent 1998-11-06 Martin C. Henson Cyclical Local Structural Risk Minimization with Growing Neural Networks 1997-09-30 Jan Matti Lange Two Side Bounds on the Inverses of Diagonally Dominant Tridiagonal Matrices 1998-02-11 Reinhard Nabben Security Concepts For Corporate Networks 1996-06-06 Dieter Hogrefe Saturation of the Farley-Buneman instability via nonlinear electron E 1996-03-15 Corrado Ronchi De-blocking DCT compressed images 1995-10-25 Numerical Uncertainty Management in User and Student Modeling: An Overview of Systems and Issues 1997-06-16 Anthony Jameson Equality, Type and Word Constraints 1999-01-04 A Unifying Framework for Temporal Abstraction in Stochastic Processes 1998-05-04 Ronald Parr RTCAST: Lightweight Multicast for Real-Time Process Groups 1970-01-01 Introductory Documentation: NeTraMet&NeMaC 1998-03-27 The Multinomial Distribution on Rooted Labeled Forests 1998-06-15 Jim Pitman A Protection Scheme for Mobile Agents on Java 1997-07-30 Kodaira Dimension and the Yamabe Problem 1998-05-31 Claude Lebrun Robertson's Example For Stiff Differential Equations 1998-09-04 Matthias K. Gobbert Stellar Ages Using the Chromospheric Activity of Field Binary Stars 1999-03-19 Fuzzy Astronomical Seeing Nowcasts with a Dynamical and Recurrent Connectionist Network 1997-04-24 Imprecision in Engineering Design 1997-08-05 The Software Engineering Profile at UmeåUniversity 1997-05-14 Favorable Classes of Mappings and Multimappings In Nonlinear Analysis and Optimization 1996-06-24 Jean-paul Penot I'm OK, You're OK, We're OK: Experiments in Distributed and Centralized Socially Attentive Monitoring 1999-03-03 A New Class Of Incremental Gradient Methods For Least Squares Problems 1970-01-01 Tiling for Heterogeneous Computing Platforms 1997-08-18 Decision-Theoretic Refinement Planning: A New Method for Clinical Decision Analysis 1995-08-08 Do Algorithm Animations Aid Learning? 1996-08-23 Representation, Re-Representation And Emergence In Collaborative Computer-Aided Design 1996-11-26 On Reduction via Determinization of Speech-Recognition Lattices 1997-07-08 Proving Safety of an Authentication Protocol: A Minimal Approach 1999-02-10 Chris George The Evolving Algebra Semantics of COBOL 1997-08-07 Marc Vale Extremal Infinite Overlap-Free Binary Words 1998-05-18 Specification and Verification of Dynamic Properties in Distributed Computations 1995-03-10 Light Affine Logic 1998-09-08 Scalable Compression and Transmission of Internet Multicast Video 1997-10-19 Steven Ray Mccanne Air traffic control communication at Detroit Metro Wayne County Airport August 17, 1987 1970-01-01 From Regularization Operators to Support Vector Kernels 1998-07-20 Rule Induction as Exploratory Data Analysis 1995-12-29 Jason Catlett Labelled Tableau Calculi Generating Simple Models for Substructural Logics 1999-02-17 Kazushige Terui Quantification of Local Symmetry: Application for Texture Discrimination 1995-03-30 Concurrent Cooperating Solvers over Reals 1997-06-03 An Algorithm for Group Formation and Maximal Independent Set in an Amorphous Computer 1998-11-03 Query Optimization Techniques Exploiting Class Hierarchies 1997-05-30 Comparison of Scheduling Policies for Delay-sensitive and Loss-sensitive Traffic 1998-01-30 Bo-kyoung Kim SavvySearch: A Meta-Search Engine that Learns which Search Engines to Query 1998-03-17 Aspects of Bayesian Model Choice 1998-06-07 Elinor Velasquez 1997-04-29 Elinor Velasquez Efficient Transaction Management Query Processing in Massive Digital Databases 1995-11-02 Communication of Complex Data Structures 1997-02-20 References to Model Checking -- and some Comments 1998-11-26 The Historical Origins of the "that-trace effect" 1999-03-17 Dan Jackson Optical Interconnects for Multiprocessor Architectures Using Wavelength-Division Multiplexing 1996-09-01 Enhancing Performance in Latent Semantic Indexing LSI Retrieval 1996-08-15 Susan T. Dumais Managing Heterogeneous Multi-system Tasks to Support Enterprise-wide Operations 1995-04-05 An Assume-Guarantee Rule For Checking Simulation 1998-05-05 Update By Means Of Inference Rules 1998-12-10 Noncommutative Symmetric Functions 1996-07-16 Is Evolution a good Teacher? - Genetic Algorithms Create Training Data Sets for Artificial Neural Networks 1998-01-05 Checked Transactions in an Asynchronous Message Passing Environment 1998-11-23 Fractal Approaches for Visualizing Huge Hierarchies 1998-04-08 Parametric Polymorphism in OBJ-3 1997-03-13 Martin Plumicke Aerodynamic Design Using Unstructured Meshes 1997-01-24 Jonathan Elliott Enforcing Inter-task Dependencies in Transactional Workflows 1995-06-12 Jian Tang A r/w Waitfree Protocol-Complex is an Image of a Subdivided-Simplex 1996-02-22 Statistical Reconstruction And Analysis Of Autoregressive Signals In Impulsive Noise 1997-06-02 Using Integer Programming to Verify General Safety and Liveness Properties 1996-02-22 Worst-Case Timing Analysis Of Concurrently Executing Dma I/O And Programs 1997-04-28 Low Temperature Phase Diagrams For Quantum Perturbations Of Classical Spin Systems 1997-10-01 New Parallel Sor Method By Domain Partitioning 1996-03-25 Dexuan Xie Einstein's Energy-free Gravitational Field 1996-04-05 Kenneth Dalton Language Extension via First-class Interpreters 1993-03-04 Uncertainty and Decisions in Medical Informatics 1995-05-12 Peter Szolovits Ph. D Factoring via Strong Lattice Reduction Algorithms 1998-02-23 Software Reuse in High Performance Computing 1995-05-10 Is an Isospin-0 1997-09-23 Evaluating the Cost of Boolean Query Mapping 1997-08-21 Support for Data Transformation in Machine Learning Applications 1998-05-13 Learning from a Domain Expert to Generate Good Plans 1996-04-17 M. Alicia P'erez Decentralised Process Modelling 1995-01-10 Optimal Regulation and Passivity Results for Axisymmetric Rigid Bodies Using Two Controls 1998-09-01 Panagiotis Tsiotras An Intuitionistic Interpretation of Finite and Infinite Failure 1993-05-26 Sparcle: An Evolutionary Processor Design for Large-Scale Multiprocessors 1994-03-22 An Empirical Approach To Solving The General Utility Problem In Speedup Learning 1995-08-29 Intermodal Interactions In Speech: A French Study 1998-10-06 Error Diagnosis for Language Learning Systems 1998-11-06 Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem 1996-10-04 Christoph Luth One-Pass, Optimal Tree Parsing - With Or Without Trees 1995-10-26 Application Design for Wireless Computing 1995-09-14 Terri Watson An Application of Constraint Propagation to Data-Flow Analysis 1998-07-12 Unification via Explicit Substitutions: The Case of Higher-Order Patterns 1999-03-23 Next-Generation Sweep Tool: A Method For Generating All-Hex Meshes On Two-And-One-Half Dimensional Geomtries 1998-10-30 Patrick M. Knupp Parallel Implementation of BLAS: General Techniques for Level 3 BLAS 1995-10-12 Mandarin Imperfective Zhe and Locative Inversion 1999-02-26 Haihua Pan Agents for Information Gathering 1999-03-27 Questions on Automatic Continuity 1998-05-28 H. Garth Dales VM-Based Shared Memory on Low-Latency, Remote-Memory-Access Networks 1997-03-15 Exponentially Small Splitting of Separatrices for Standard-Like Maps 1997-04-26 RCBR: A Simple and Efficient Service for Multiple Time-Scale Traffic 1996-09-04 Reduction of Symmetric Configurations 1999-04-21 Probabilistic Methods for 3--D Object Recognition 1998-02-03 Hybrid Systems in TLA 1993-10-15 Leslie Lamport Discovering Rules for Clustering and Predicting Asynchronous Events 1998-07-09 ADSMITH: A Structure-Based Heterogeneous Distributed Shared Memory on PVM 1997-12-03 Automatic Template Creation for Information Extraction, an Overview 1996-12-17 Robin Collier A Scalable Middleware Solution for Advanced Wide-Area Web Services 1998-06-04 Model Neurons: 1998-08-07 Non-Hamiltonian monodromy 1997-11-03 Spherical Environment Maps for Image-Based Rendering 1998-05-27 Consistency Of Spatial Database Query Results 1998-01-20 Mainguenaud Michel The Repton Model of Gel Electrophoresis 1997-01-09 Coordination Of Multiple Behaviors Acquired By A Vision-Based Reinforcement Learning 1994-08-11 Nonlinear Prediction of Chaotic Time Series Using Support Vector Machines 1998-08-31 Cristinel DIACONU 1998-11-03 Cristinel Diaconu Second Thoughts on an Artificial Intelligence Approach to Speech Understanding 1996-10-12 Nigel Ward Spatiotemporal Subband/Wavelet Coding of Video with Object-based Motion Information 1997-07-25 Using Informal and Formal Techniques for the Reverse Engineering of C Programs 1996-11-08 Languages and Ontologies to Structure and Access Web Knowledge 1998-09-30 Peter Eklund Similarity of Attributes by External Probes 1997-11-05 The Gemini Data Handling System 1996-07-27 A General Approach to Bottom-Up Computation of Disjunctive Semantics 1998-06-26 Lange Laube Resistance of Balanced S-boxes to Linear and Differential Cryptanalysis 1997-02-01 Gaugino Mass without Singlets 1998-11-06 Upper Limits on Poisson Processes Incorporating Uncertainties in Acceptance and Background 1998-11-09 Unification of Finite Failure Non-Homogeneous Poisson Process Models through Test Coverage 1996-11-13 Non-Monotonic Reasoning Based on Minimal Models and its Efficient Implementation 1997-08-11 Dietmar Seipel Graphical Development Tools for Network-Based Concurrent Supercomputing 1993-03-21 Experimental Studies on a Compact Storage Scheme for Wavelet-Based Multiresolution Subregion Retrieval 1996-03-29 Sorting and Order Statistics 1998-11-10 Ian Parberry Hoeffding Races: Accelerating Model Selection Search for Classification and Function Approximation 1993-11-22 Probing the Parton Densities of Virtual Photons at ep Colliders 1998-05-11 An Adaptive Full-Feedback IIR Filter 1996-02-08 Paul Syverson 1995-09-11 Design, Implementation, and Analysis of a Parallel Description Classifier 1995-05-08 Remote Enhanced Visual Inspection of Aircraft by a Mobile Robot 1998-04-16 Algorithms of Optimization of a Two-Stage Procedure for Objects Detection andRecognition 1998-08-06 Vladislav V. Myasnikov MATLAB as an Environment for Bayesian Computation 1997-07-11 Jim Albert Graphical Methods for Data with Multiple Levels of Nesting 1997-07-28 A One-Dimensional Model for Many-Electron Atoms in Extremely Strong Magnetic Fields: Maximum Negative Ionization 1997-11-30 Stream Ciphers 1997-01-09 M. J. B. Robshaw Distributed Scheduling in Finite Capacity Networks 1970-01-01 Asymptotics for Polynomials Satisfying a Certain Twin Limit Periodic Recurrence Relation 1998-07-29 W. Van Assche Probabilistic Visual Learning for Object Representation 1995-11-01 Coordinating System Development Processes 1999-04-06 Frank Maurer Semigroups in lattices of solvable Lie groups 1996-02-06 Resource-constrained Scheduling of Partitioned Algorithms on Processor Arrays 1995-10-09 Tanguy Risset Pattern-based Object-Oriented Parallel Programming 1999-01-14 An Unsupervised Neural Network for Low-Level Control of a Wheeled Mobile Robot: Noise Resistance, Stability, and Hardware Implementation 1999-02-03 Preconditioning and Parallel Preconditioning 1998-07-29 Fast Optimal Algorithms for the Minimum Rectilinear Steiner Arborescence Problem 1997-05-17 Kwok-shing Leung Construction of Minimal Cocycles Arising From Specific Differential Equations 1996-10-19 MINT: A Front End for Efficient Simulation of Shared-Memory Multiprocessors 1996-07-15 Reconstructing Surfaces and Surfaces on Surfaces from Scattered 3D Data 1995-04-29 Maturation and the Evolution of Imitative Learning in Artificial Organisms 1995-11-21 Stochastic Analysis via a Probabilistic Process Algebra 1997-06-16 A Mathematical Model for Simulating Noise Suppression of Lined Ejectors 1998-03-27 Willie R. Watson PK-tree: A Spatial Index Structure for High Dimensional Point Data 1998-09-21 A Cascadic Algorithm for Nonlinearly Perturbed Elliptic Dirichlet Problems 1998-01-30 Gisela Timmermann Dealing With Integrity Constraints During Schema Integration Extended Abstract 1999-03-23 The Internet and the Law 1997-05-01 Linda L. Lim Expanding HI shells in NGC 2403: First results from an automated object recognition package 1998-11-17 Fast, Long-Lived Renaming Improved and Simplified 1996-08-27 Packet Scheduling for Multimedia Traffic in a Resource-Partitioned Network 1996-11-26 Robert Simon Networked Virtual Worlds 1995-10-27 Progressive Simplicial Complexes 1997-04-25 Jovan Popovi C Distributed Commerce Transactions 1997-01-24 Hyperplanes and the Acquisition of Common Sense Reasoning 1970-01-01 Ajit Narayanan Larchant: A Distributed Shared Store With Persistence By Reachability 1995-11-30 Paulo Ferreira Activities: A Modeling Methodology 1997-08-24 Eugen Ardeleanu C.13 Specification of Distribution Functions 1998-10-17 Generating Facial Expressions for Speech 1994-11-10 Big Ball of Mud 1970-01-01 Pulse-Envelope Solitons on 2-D Lattices With in-Plane Displacements 1997-04-22 Scheduling Independent Tasks to Minimize the Makespan on Identical Machines 1995-09-01 Naming Guidelinesfor Directory Pilots 1993-02-08 P. Barker Prudent Engineering Practice for Cryptographic Protocols 1998-05-15 Roger Needham Automating Parallelization of Regular Computations for Distributed-Memory Multicomputers in the PARADIGM Compiler 1997-01-08 An Analysis of Multiobjective Optimization within Genetic Algorithms 1997-02-05 Automatic Speaker Clustering 1997-04-14 Implementing Global Memory Management in a Workstation Cluster 1996-04-04 Abduction as Belief Revision 1995-01-12 Fast Collective Communication Libraries, Please 1996-02-08 Narrowing Terminates for Encryption 1997-10-27 An Overview of Real-Time Database Systems 1997-05-20 Composed Reduction Systems 1995-01-18 David Sands The Diffusive Phase of a Model of Self-Interacting Walks 1997-04-26 A Perspective on ISO C++ 1998-11-10 Bjarne Stroustrup An Efficient Algorithm for Dynamic Text Indexing Extended Abstract 1995-01-04 Building Proofs by Analogy via the Curry-Howard Isomorphism 1996-11-20 Determining Single Connectivity in Directed Graphs 1992-09-21 Martin C. Carlisle Excitation And Damping Of P-Modes 1998-01-14 Bob Stein Using Remote Memory to avoid Disk Thrashing: A Simulation Study 1995-11-16 Evangelos P. Markatos Distributed Synthesis Tools for Mission-CriticalComputer Systems 1994-07-23 Recognizing Emotion In Speech 1997-02-06 Positive Commutators and Spectrum of Nonrelativistic QED 1997-05-15 A High Integrity Subset of Ada 1997-01-06 D T Jordan Digital Libraries, Value, and Productivity 1995-04-24 Gio Wiederhold Static Instruction Scheduling For Dynamic Issue Processors 1997-11-18 Ra'ul E. Silvera Mu~noz A Discrete BCG-FFT Algorithm for Solving 3D Inhomogeneous Scatterer Problems 1996-04-03 Comparing Implementation Strategies for Composite Data Flow Analysis Problems 1997-08-26 Object Replication in Spring Using Subcontracts 1996-03-20 Supporting Impact Analysis and Change Propagation in Software Engineering Environments 1996-11-19 Jun Han Database Replication based on Group Communication 1998-02-05 Two or three things that we know about the Kohonen algorithm 1994-02-11 Communities of Practice: Performance and Evolution 1996-06-21 A Summary of XSB Performance 1993-09-28 Dynamical density response of II-VI semiconductors 1970-01-01 Simulated Annealing with Extended Neighbourhood 1999-02-08 Xin Yao The Foundations of Esterel 1998-10-12 Grard Berry A Formal Methodology for Verifying Situated Agents 1998-08-10 Phan Minh Dung Machine Learning, Game Play, and Go 1998-01-02 David Stoutamire Fitting Ideals for Finitely Presented Algebraic Dynamical Systems 1970-01-01 Basic Properties of Functor Structures 1997-05-13 Optimized Partitioning of a Wavelength Distributed Data Interface Ring Network 1998-01-27 D Wavelet Transform Analysis Of Hipparcos Data 1997-09-25 E. Chereul Reasoning About and Optimizing Distributed Parameter Physical Systems Using Influence Graphs 1998-04-30 A System for Microcode Reduction 1997-01-27 Bowen--Margulis And Patterson Measures On Negatively Curved Compact Manifolds 1997-09-16 Vadim A. Kaimanovich Virtual Radios 1998-02-12 An L&#x00B2;-Estimate For The Solution To The Time-Dependent Schrödinger Equation 1997-03-18 Bj Orn Gabriel Walther Mobile Agent Technology: Current Trends And Perspectives 1998-12-07 Importance Sampling For Monte Carlo Estimation OfQuantiles 1996-03-08 Peter W. Glynn New Lower Bounds for Some Multicolored Ramsey Numbers 1998-12-30 Aaron Robertson Weak Autoepistemic Reasoning - A Study in Autoepistemic Reasoning from a Logic Programming Perspective 1996-12-05 Implementing Mathematical Morphology In Isetl-Linda 1995-11-28 Asymptotic Estimation Theory for a Finite Dimensional Pure State Model 1997-04-28 Masahito Hayashi Simplification Envelopes 1997-09-03 A Diphone-Based Digit Recognition System Using Neural Networks 1996-12-18 On the Security of Recent Protocols 1997-11-21 One to Many Links in Distributed Hyperdocuments 1996-05-23 Jason Lowder Design Of Work Jigs To Assist The Disabled In Sheltered Workshops In The Production Of Sample Display Chains 1995-05-09 Modelling and Querying Video Data 1998-01-19 From Statistics to Beliefs 1994-09-13 An Environment for Exploring and Validating Declarative Knowledge 1998-07-22 A Three-Level Analysis of a Simple Acceleration Maneuver, with Uncertainties preliminaryversion 1970-01-01 Nancy Lynch Initial Experiments in Stochastic Satisfiability 1999-02-02 Michael L. Littman Toward Automatic Generation of HyTime Applications 1994-06-09 Visual Authentication and Identification 1998-07-13 Chaotic behavior in a dynamic system related to the stationary path of the path-integral for a Brownian particle in a double-well potential 1998-11-12 L. Y. Chen Geometric Problems in Molecular Biology and Robotics 1994-06-03 A Deterministic Notation for Cooperating Processes 1994-02-06 Completeness in Robot Motion Planning 1999-03-09 An Ultimate Frustration in Classical Lattice-Gas Models 1997-06-27 Optimal Shape Description using Morphological Signature Transform via Genetic Algoritm 1997-03-05 A Generic Strategy for Dynamic Load Balancing of Distributed Memory Parallel Computational Mechanics using Unstructured Meshes 1997-09-11 Partial Deduction In Disjunctive Logic Programming 1997-04-22 Chiaki Sakama Towards Programmable Networks 1996-07-16 Representation-theoretic derivation of the Temperley-Lieb-Martin algebras 1998-05-14 The Role of Selection in Evolutionary Algorithms 1997-04-12 Dr. Krasimir Kolarov Software Scheduling in the Co-Synthesis of Reactive Real-Time Systems 1995-12-21 SvPablo: A Multi-Language Performance Analysis System 1998-10-06 Merging Monads and Folds for Functional Programming 1996-07-16 Petri Net Objects For The Design, Validation And Prototyping Of Userdriven Interfaces. 1998-02-27 Representation and Visualization of Terrain Surfaces at Variable Resolution 1998-12-09 Mathematical Morphology In ATR Algorithm Development 1995-04-14 Atrwg No A Least-Squares Approach Based On A Discrete Minus One Inner Product For First Order Systems 1997-02-04 Director, Research Development 1994-12-20 Parallel Temporal Resolution 1996-01-25 Continuous And Discrete-Time Nonlinear Gradient Descent: Relative Loss Bounds and Convergence 1997-10-01 Conditional Context-Free Languages of Finite Index 1996-12-19 Henning Fernau An Automated Approach for Identifying Potential Vulnerabilities in Software 1998-02-26 A New Hybrid Coding Method for Videoconferencing Applications 1997-02-20 Robust Adaptive Floating-Point Geometric Predicates 1996-02-17 Jonathan Richard Shewchuk Estimating CASE development size from outline specifications Sophie Cockcroft 1998-01-28 Sophie Cockcroft Using Fuzzy Logic and a Hybrid Genetic Algorithm for Metabolic Modeling 1996-08-09 The Design and Implementation of a Database For Human Genome Research 1996-08-28 Duality in Sp and SO Gauge Groups from M Theory 1998-04-04 Witold Skiba Filing, Filtering, and the First Few Found 1995-12-21 Easily Programmable Shared Objects For Peer-To-Peer Distributed Applications 1998-04-02 Polymorphism in Hindley/Milner Style Type Systems with Constraints 1998-09-07 Martin Sulzmann NASA Technical Paper 3472 1998-03-26 Unknown 1997-08-20 Chi Keen Low The DTM Protocol Specification Version 1.0 1993-02-22 Oblivious Transfer with a Memory-Bounded Receiver Extended Abstract 1998-07-15 Redundant Argument Filtering of Logic Programs 1970-01-01 Reachability is Decidable for Ground AC Rewrite Systems 1998-06-24 Experiences with Object Oriented Parallel Plasma PIC Simulations 1995-10-27 Nyquist Data Converter Testing and Yield Analysis using Behavioral Simulation 1993-09-03 Evolution of Normal Galaxies: HST Morphologies and Deep Spectroscopy 1996-08-02 Richard Ellis Using BLACS and MPI in ScaLAPACK 1995-11-10 R. Clint Whaley Approximating Large Convolutions in Digital Images 1998-08-20 A Configurable Target Architecture for Rapid Prototyping High Performance Control Systems 1997-05-15 Formation of Neural Structures 1997-04-25 Performance Limitations Of Subband Adaptive Filters 1998-04-20 Proximal Smoothness and the 1995-10-27 Bayesian Decision Theoretic Design for Group Sequential Medical Trials having Multivariate Patient Response 1996-02-27 Hereditarily Sequential Functionals 1997-09-18 Hanno Nickau Directed Cyclic Graphical Representations of Feedback Models 1999-01-22 Peter Spirtes Ramzi R. Khuri 1998-05-23 Ramzi R. Khuri Program Extraction in a Logical Framework Setting 1994-05-24 Penny Anderson VideoQ: An Automated Content Based Video Search System Using Visual Cues 1997-08-27 Transformation and synthesis of FSMs for low-power gated-clock implementation 1995-10-27 Close coupling of a MIMD system to a MAXbus pipeline -- the Kiwivision MTM multi-transputer architecture 1995-06-08 Articulatory Methods for Speech Production and Recognition 1997-02-27 Charles Simon Blackburn An Object Model for Conventional Operating Systems 1998-07-17 NATURAL LANGUAGE CALL ROUTING: A Robust, Self-Organizing Approach 1999-01-27 Integrating SDL and a configuration language 1997-11-19 J. Floch Planetary science with adaptive optics: results from the UH AO systems 1998-11-19 Design, Collection, and Analysis of Handwriting Sample Image Databases 1996-06-07 M. D. Garris Source-Level Debugging of Scalar Optimized Code 1996-03-24 Uniform Generation of NP-witnesses using an NP-oracle 1970-01-01 An ASM Macro Language for Sets 1998-05-06 Comparing methods for 3D microscopy 1998-02-26 A Research Status Report on Adaptation for Mobile Data Access 1998-08-10 The Steam Boiler, a Case Study in Proof Support 1998-08-09 Sųren T. Heilmann Audio Transmission over Best-Effort Networks 1998-08-21 Jason Neudorf Implementation and Performance of Scalable Scientific Library Subroutines on Fujitsu's VPP500 Parallel-Vector Supercomputer 1970-01-01 Online Fitted Reinforcement Learning 1995-09-16 Geoffrey J. Gordon Efficient 3x3 Median Filter Computations 1994-12-21 Werner Purgathofer LogGP: Incorporating Long Messages into the LogP Model --- 1995-04-27 Searching for Basic Properties Obtaining Robust Implication Operators in Fuzzy Control 1997-11-06 F. Herrera Exploiting Structured Data in Wide-Area Information Systems 1995-08-31 John Ockerbloom alphaPYXIS: A Name Server for Distributed Environments 1998-01-29 Some Examples of Random Process Environmental Data Analysis 1999-02-01 David R. Brillinger On Consistency Of Subspace System Identification Methods 1996-08-20 Prolix - A Text-based Participant System for VR 1995-06-07 Mark Takacs Intrinsic Stabilizers of Planar Curves 1995-01-10 H. Delingette IP Lookups using Multiway and Multicolumn Search 1999-03-04 The Bounded Retransmission Protocol must be on time! 1997-01-31 Supernovae and their Progenitors 1998-02-09 Distributed Control In Optical Wdm Networks 1996-06-04 On The Regularity Of Group Algebras 1996-07-19 Sequencing of Contract Types for Anytime Task Reallocation 1998-04-06 Dynamical Recurrent Neural Networks -- Towards Environmental Time Series Prediction 1997-04-24 Remarks on the Multiple Assignment Secret Sharing Scheme 1998-07-24 Two Possible Cosmic X-Ray Spectral Lines 1997-03-03 Discrete-Time Analysis of Adaptive Rate Control Mechanisms 1996-02-26 Eitan Altman Integrating Java-based Mobile Agents into Web Servers under Security Concerns 1997-10-21 Stefan Funfrocken Peter Benner and Heike Faßbender 1998-06-15 A Reliable Hardware Barrier Synchronization Scheme 1997-01-22 On the Robustness of the Hrm Hierarchy 1998-01-12 Dynamic Sensor Planning 1994-06-20 Choice of Thresholds for Wavelet Shrinkage Estimate of the Spectrum 1997-11-19 Hong-ye Gao Predictive Inference, Rare Events And Hierarchical Models 1998-07-20 Ground-Based High Sensitivity Radio Astronomy At Decameter Wavelengths 1997-09-23 Tool Support for Software Engineering Education 1995-06-22 Structure and Motion with Affine Cameras 1998-02-04 Mutual Information Approach to Blind Separation of Stationary Sources 1998-07-16 Dinh Tuan Pham Periodic Symmetric Functions, Serial Addition and Multiplication with Neural Networks 1998-05-25 Stamatis Vassiliadis The Role of Fuzzy Logic Control in Evolutionary Robotics 1999-03-17 Frank Hoffmann Optimal End-Case Partitioners and Placers for Standard-Cell Layout 1999-03-13 On The Two Weights Problem For The Hilbert Transform 1999-02-18 Distributed Cryptographic Function Application Protocols 1997-08-14 The Self-Organizing Desk 1998-12-07 The Cluster Distribution as a Test of Dark Matter Models. I: Clustering Properties 1998-05-12 A ROSAT Look for the Source of keV Emission following GRB 780506 1996-12-02 Predicting Multiprocessor Memory Access Patterns with Learning Models 1997-08-14 DIVA: Exploratory Data Analysis with Multimedia Streams 1998-09-17 Using Compiled Knowledge to Guide and Focus Abductive Diagnosis 1998-02-02 Threads and Input/Output in the Synthesis Kernel 1995-11-03 Using Formal Methods to Cultivate Trust in Smart Card Operating Systems 1996-12-20 Speculative Concurrency Control 1993-03-19 Azer Bestavros BDL, a language of distributed reactive objects 1998-01-30 A Perceptual Colour Segmentation Algorithm 1996-06-10 An HPSG analysis of Agreement in Danish Noun Phrases 1998-07-21 PAC Analyses of a `Similarity Learning' IBL Algorithm 1998-01-30 Implications of Self-Similarity for Providing End-to-End QOS Guarantees in High-Speed Networks: A Framework of Application Level Traffic Modeling 1995-11-27 Bong Kyun Ryu Semantic Query Optimization for Query Plans of Heterogeneous Multidatabase Systems 1999-01-25 Security and Communication in Mobile Object Systems 1997-06-11 No Provable Limits to `Scientific Knowledge'. 1995-10-26 E. Atlee Jackson Proof Verbalization as an Application of NLG 1997-05-20 Interfacing A Cdg Parser With An Hmm Word Recognizer Using Word Graphs 1999-04-14 Characterization of Prokaryotic and Eukaryotic Promoters Using Hidden Markov Models 1998-01-09 Proxy Caching Mechanism for Multimedia Playback Streams in the Internet 1970-01-01 Witness-Isomorphic Reductions and Local Search 1996-05-08 A Hybrid Genetic Algorithm-Evolution Strategy Process for Learning Fuzzy Logic Controller Knowledge Bases 1998-01-26 Francisco Herrera Empirical Risk Approximation: An Induction Principle for Unsupervised Learning 1998-04-06 Automated Synthesis of Computational Circuits Using Genetic Programming 1997-08-04 Lossy Compression of Elevation Data 1995-11-13 CORDIC Vectoring with Arbitrary Target Value 1998-05-07 On The Validity Of The Log-Sobolev Inequality For Symmetric Fleming-Viot Operators 1999-04-21 Wilhelm Stannat New self-timed Rings and their Application to Division and Square Root Extraction 1970-01-01 W3QS: A Query System for the World-Wide Web 1995-08-11 Testing Timed Automata 1997-07-31 Towards a New Massively Parallel Computational Model for Logic Programming 1997-08-04 Aperiodic Stochastic Resonance in Excitable Systems 1998-08-10 Shin'ichi NOJIRI 1998-05-13 TeD - A Language for Modeling Telecommunication Networks 1999-02-25 Internal Performance of a Nonaxisymmetric Nozzle With a Rotating Upper Flap and a Center-Pivoted Lower Flap 1998-03-27 Negotiating User-Initiated Cancellation and Interruption Requests 1996-05-08 Synthesis from Knowledge-Based Specifications Extended Abstract 1999-03-11 Decentralized Incremental Maintenance of Multi-View Data Warehouses Extended Abstract 1999-02-11 Projected Gradient Methods for Nonlinear Complementarity Problems via Normal Maps 1970-01-01 OR-SML: A Functional Database Programming Language for Disjunctive Information 1994-06-28 On Performance of Caching Proxies 1998-03-16 End-to-End Flow Control Algorithms for High Speed Data Transmission over ATM 1997-06-30 Reduction of Abductive Logic Programs to Normal Logic Programs 1995-03-31 Reasoning about Belief in Cryptographic Protocols 1994-10-12 Variational probabilistic inference and the QMR-DT database 1998-11-02 On Unifying Time and Uncertainty: The Probabilistic Temporal Network 1996-12-04 An Isolated Gravitational Dipole Moment Placed at The Center of the Two Mass Pole Model Universe 1997-08-01 Eue Jin Jeong Model-Based Diagnosis of Hardware Description Languages 1998-06-03 Uncertainty in History Matching - Model Spesification and Sampling Algorithms 1999-02-16 Fuzzy Expert System for Maintenance Interval Prediction 1997-06-21 Wolfgang Slany Applications Of Clifford Algebras In Robotics 1998-06-15 On the Number of Rounds Necessary to Disseminate Information Extended Abstract 1994-12-09 Spatio-Temporal Bifurcation Phenomena with Temporal Period doubling : Patterns in Vibrated Sand. 1997-12-01 An Algorithm for Message Delivery in a Micromobility Environment 1997-05-06 UFSC-team: A Cognitive Multi-Agent Approach to the RoboCup'98 Simulator League 1998-07-27 Traceability and Modularity in Software Design 1998-12-22 Roel Wieringa Face Recognition Using Hybrid Classifier Systems 1996-07-26 On-line Algorithms for Generalized Steiner Tree and Network Connectivity Leasing 1995-09-20 Search for 1998-06-22 Heisenberg-Limited Interferometric Measurements With Quantum Correlated Photons: Influence of Decorrelation and Photon Statistics 1970-01-01 Expanding the Domain of a Multi-lingual Speech-to-Speech Translation System 1997-08-07 Unknown 1997-04-08 On the Completeness of the Equations for the Kleene Star in Bisimulation 1995-09-25 Wan Fokkink Analog Models for Early Vision 1998-03-05 Voice and grammatical relations in Indonesian: A new perspective 1998-10-21 Benchmarking Implementations of Functional Languages with "Pseudoknot", a Float-Intensive Benchmark 1995-10-29 Generalized Subspace Correction Methods 1996-04-02 Peter Arbenz Field-Theoretic Treatment of Mixed Neutrinos in a Neutrino and Matter Background 1998-05-15 Temporal Logics for the Specification of Performance and Reliability 1998-03-19 Luca De Alfaro Review of Particle Physics: C. Caso 1998-06-05 Belief Revision: A Critique 1999-02-11 Slicing Programs with Arbitrary Control Flow 1992-12-23 Tracking With Balance 1996-10-10 Neil H. Getz Generating Effficient Code for VLIW Architectures with Partitioned Register Files 1998-12-27 Thomas Haynes, Kit Lau Sandip Sen 1997-01-19 Wearable Computers for Three Dimensional CSCW 1997-11-25 Extending The Scope Of Wavelet Regression Methods By Coefficient-Dependent Thresholding 1999-03-23 Learning Hidden Markov Model Structure for Information Extraction 1999-04-20 Web-based Metacomputing with JET 1997-08-15 Recursion from Iteration 1995-01-06 Andrzej Filinski Bounded Existentials and Minimal Typing 1996-08-19 On the discrete Conley index in the invariant subspace 1997-12-20 Andrzej Szymczak On Some Properties of Quadratic Programs With a Convex Quadratic Constraint 1970-01-01 Architectural and Communication Issues in Designing Heterogeneous Parallel Systems with Optical Interconnection 1995-07-16 Optimizing Engineering Designs Using a Combined Genetic Search 1998-12-04 Knowledge Acquisition and Learning by Experience - The Role of Case-Specific Knowledge 1995-08-17 Agnar Aamodt The Static Gravitational Field Of A Spherically Symmetric Body 1996-04-05 Functional Estimation with Respect to a Threshold Parameter via Dynamic Split-and-Merge 1997-03-17 Felisa J. V Azquez-abad Guarded Execution and Branch Prediction in Dynamic ILP Processors 1994-06-16 Reconstruction of complete 3D object model from multi-view range images. 1970-01-01 Adaptive Dynamic Balance Of An Experimental Biped Robot 1996-10-14 Simple, Proven Approaches to Text Retrieval 1997-06-20 Task Decomposition, Dynamic Role Assignment, and Low-Bandwidth Communication for Real-Time Strategic Teamwork 1998-12-06 Integrating Security and Real-Time Requirements using Covert Channel Capacity 1999-03-02 An Information Extraction System and a Customization Tool 1998-07-08 Multi-Strategy Learning and Theory Revision 1998-01-30 Sprint Voice Transport Over ATM Network: Real-Time Implementation 1997-10-10 Providing Quality for Internet Video Services 1998-09-14 G. Karlsson Spectral Theory of Some Matrix Differential Operators of Mixed Order 1999-04-21 A. Yu. Konstantinov Direct Particle Interaction As The Origin Of The Quantal Behaviours 1996-10-05 Stability in ATM Networks 1998-09-08 Probabilistic Linear-Time Model Checking: an Overview of The Automata-Theoretic Approach 1999-03-10 Moshe Y. Vardi Linear Higher-Order Pre-Unification 1997-11-15 Three-Dimensional Analysis of Scoliosis Surgery Using Stereophotogrammetry 1995-07-21 Efficient Multiscale Regularization with Applications to the Computation of Optical Flow 1993-05-12 Fractal Compression of Satellite Images: Combining Parallel Processing and Geometric Searching 1998-07-20 J. Hammerle The Parallel Problems Server: A Client-Server Model for Interactive Large Scale Scientific Computation 1998-06-01 Asynchronous Pipelined Datapaths Design Techniques. A Survey 1997-05-28 The Application of Neural Networks to Tactical and Sensor Data Fusion Problems 1996-09-26 Combining Rewrite Tools for Equational Logic Programming 1970-01-01 A Classification of Plan Modification Strategies Based on Coverage and Information Requirements 1995-02-16 Subbarao Kambhampati Publications by Erich Kaltofen 1999-03-04 A New Architecture for Packet Switched Network 1995-03-22 Recognition of Printed Digits using Zernike or Orthogonal Fourier-Mellon Moments 1998-02-25 The SecureRing Protocols for Securing Group Communication 1997-10-10 Technical Report: Learning with a Sparse Distributed Memory 1999-03-26 Customizable Descriptions of Object-Oriented Models 1997-04-30 Simulation Modelling of Parallel Systems in the EDPEPPS 1999-01-12 Local theory of projection methods for Cauchy singular integral equations on an interval 1998-10-09 Nonuniform Filterbank Design for Audio Signal Modeling 1997-01-08