Asynchronous Counters for Low Power Applications 1997-12-22 Top-Down Query Evaluation for Well-Founded Semantics With Explicit Negation 1970-01-01 Representing Rhythmic Patterns in a Network of Oscillators 1996-09-10 An Interprocedural Framework for Determining Efficient Data Redistributions in Distributed Memory Machines 1996-08-08 Multilevel Preconditioning 1996-02-07 Efficient Algorithms for Distributed Snapshots and Global Virtual Time Approximation 1996-03-12 Friedemann Mattern How to Present a Paper in Theoretical Computer Science: A Speaker's Guide for Students 1998-06-22 Ian Parberry An Analytical Approach to Change for the Design of Reusable Real-Time Software 1998-12-17 Stopped Markov chains with stationary occupation times 1995-12-06 The Next Big Thing: Position Statements 1997-05-23 Towards Making Broadcast Encryption Practical 1999-03-11 Global Stabilization of Linear Discrete-Time Systems with Bounded Feedback 1998-07-28 Contradicting Conventional Wisdom in Constraint Satisfaction 1994-04-11 Using Unicode with MIME 1994-11-14 The disk-outflow system around the high-mass protostar IRAS 20126+4104 1997-03-19 Non-Uniform Partitioning of Finite Difference Methods Running on SMP Clusters 1997-02-25 Analysis of Error Count Distributions for Improving the Postprocessing Performance of OCCR 1996-12-07 High Performance Programming for the KSR1 1995-12-20 Deriving Logic Programming Languages 1996-10-14 Compressed Video Processing For Cut Detection 1998-06-05 Unification in a combination of equational theories with shared constants and its application to Primal Algebras 1994-10-17 Christophe Ringeissen Viewpoints on Viewpoints 1996-09-09 K. Matthews, T. Nakajima, S. R. Kulkarni, B. R. Oppenheimer Palomar Observatory, 105-24, Caltech, Pasadena, CA 91125 Submitted to Astronomical Journal, 15 April 1996 Revised, 28 June 1996 1996-06-30 Customizable Object Recovery Pattern 1997-03-13 Formalizing the PRODIGY Planning Algorithm 1995-09-26 Sharp Estimates in Ruelle Theorems for Matrix Transfer Operators 1997-04-26 Chinese Glyph Generation Using Character Composition and Beauty Evaluation Metrics 1995-11-16 Locally Weighted Learning for Control 1999-02-08 Integrated Support for Software Reuse in Computer-Aided Software Engineering CASE 1996-10-18 Jeffrey S. Poulin Scenario-Based Analysis of Software Architecture 1995-11-01 Dynamically Adjusting Concepts to Accommodate Changing Contexts 1996-06-10 Cosmological Constant and Statistical Lensing of Giant Arcs 1998-05-25 Xiang-ping Wu Inducing Models of Human Control Skills 1998-02-06 Rui Camacho Navier-Stokes Simulation of Droplet Collision Dynamics 1997-12-23 Verification of a Distributed Algorithm due to Chu 1994-12-09 K. Sere Least Squares Image Texture Analysis and Synthesis 1995-03-06 The Mobile Robot RHINO 1996-11-10 Determinism analysis in the Mercury compiler 1998-09-01 Multistate Time-Delay Neural Networks for the recognition of POL II promoter sequences 1996-04-03 Methodological Foundations for Agent-Based Systems 1997-02-24 Virtual Trees Routing Protocol for a Wireless ATM LAN 1996-10-16 The Complexity Of Querying Indefinite Information: Defined Relations, Recursion And Linear Order 1992-10-22 Application-Driven Synthesis of Core-Based Systems 1997-07-08 HAMEV and SQRED: Fortran 77 Subroutines for Computing the Eigenvalues of Hamiltonian Matrices Using Van Loan's Square Reduced Method 1996-05-22 Information Invariants for Distributed Manipulation 1997-07-14 The Network-Enabled Optimization System NEOS Server 1998-01-15 Data Speculative Multithreaded Architecture 1998-06-03 Pedro Marcuello Modifying the Inertia of Matrices Arising in Optimization 1997-02-18 A Block Toeplitz Look-Ahead Schur Algorithm 1995-05-11 SoftLab: A virtual laboratory framework for computational science 1997-04-26 Efficient Streamline Computations on Unstructured Grids 1997-09-24 Mihai Dorobantu High Level Modelling and Design of Asynchronous Interface Logic 1995-10-13 An Asymptotic-Induced Scheme For Nonstationary Transport Equations In The Diffusive Limit 1997-12-02 Axel Klar Motion Planning with Visibility Constraints: Building Autonomous Observers 1997-08-18 Probabilistic Mapping Of An Environment By A Mobile Robot 1998-09-29 An Experiment in Mobile Robotic Cooperation 1996-05-28 Lynne E. Parker Shortest expected delay routing for Erlang servers 1999-01-28 Advanced Design and Validation Techniques for Electronic Control Units 1998-11-26 Data Types for Graph-Based Visual Pogramming 1995-08-11 Channel Routing With Constraint Logic Programming And Delay 1997-09-30 Neng-fa Zhou Evolving Hexapod Gaits Using A Cyclic Genetic Algorithm 1998-04-10 A Theory of Space, Time and Matter 1996-05-31 Rotational Polygon Containment and Minimum Enclosure 1998-04-20 Victor J. Milenkovic Simple Stochastic Temporal Constraint Networks 1995-09-28 Towards an Operational Semantics and Proof of Type Soundness for Java 1998-05-08 On Ultrametricity in Feedforward Neural Network Error Surfaces 1998-08-05 Marcus Gallagher Using a Continuation Twice and Its Implications for the Expressive Power of Call/cc 1998-11-28 Vibrational Relaxation in Hypersonic Flow Fields 1998-01-13 Systematic study of low-mass electron pair production in p--Be andp--Au collisions at 450 1997-10-03 Seeing and Hearing Dynamic Loess Surfaces 1991-06-01 Projective Hilbert 1994-09-07 Autonomous Agents: Characterization and Requirements 1996-03-25 Jose C. Brustoloni LDEF METEOROID DEBRIS SPECIAL INVESTIGATION GROUP INVESTIGATIONS AND ACTIVITIES AT THE JOHNSON SPACE CENTER Thomas H. See Michael E. Zolensky Ronald P. Bernhard 1995-03-10 Diagram-based Formalisms for the Verification of Reactive Systems 1998-03-19 Event variables and Davidson's program in semantics 1996-09-05 Barrie Evans Ordonnancement: Strat egies, D ebats et Intelligence Artificielle 1993-11-10 Berthe Y. Choueiry A Multi-level Approach to Program Synthesis 1997-12-05 Robot Vision beyond 2000 1998-01-09 Refinement in Interworkings 1998-10-15 Dynamic Resource Allocation Using Views 1998-07-08 MDL-based Decision Tree Pruning 1996-03-22 Making Distributed Applications Manageable Through Instrumentation 1998-09-13 Analyzing Logic Programs Using "Prop"-Ositional Logic Programs and a Magic Wand 1996-10-17 Michael Codish Sparse Block and Cyclic Data Distributions for Matrix Computations 1996-10-22 The Computational Complexity Of Torsion-Freeness Of Finitely Presented Groups 1997-11-17 Improved Estimation of the Switching Activity for Reliability Prediction in VLSI Circuits 1995-12-09 Farid N. Najm Embedding of Time-Varying Contractive Systems in Lossless Realizations 1994-11-28 Using if-then-else DAGs for Multi-Level Logic Minimization 1992-07-09 Kevin Karplus The Architecture of an Intelligent Virtual Mathematical Software Repository System 1994-12-14 Ronald F. Boisvert Fully Dynamic Algorithms for Maintaining Extremal Sets in A Family of Sets 1997-08-11 Hong Shen Bounding Delays in Packet-Routing Networks with Light Traffic 1996-02-12 Mor Harchol-balter On the Measurability of the Conjugate and the Subdifferential of a Normal Integrand 1995-10-27 Christian Hess Fault-Tolerant Implementation of Finite-State Automata in Recurrent Neural Networks 1997-06-04 The Number of Nucleotide Sites Needed to Accurately Reconstruct Large Evolutionary Trees 1996-07-08 ProcSimity: An Experimental Tool for Processor Allocation and Scheduling in Highly Parallel Systems 1999-02-10 An Approach to Multiply Segmented Constraint Satisfaction Problems 1999-02-03 On the Systematic Design of Web Languages 1996-07-02 Fast Computation of Compound Expressions in Two's Complement Notation 1997-06-10 Improved Time-Frequency Filtering of Signal-Averaged Electrocardiograms 1997-09-26 Parity Declustering for Continuous Operation in Redundant Disk Arrays 1998-09-10 Simple Automorphism Groups of Cycle-Free Partial Orders 1997-04-29 Type-SpecificStorage Management 1993-07-02 Daniel Ross Edelson Monitoring and Controlling Remote Parallel Computations Using Schooner 1995-06-15 Graceful Adaptation of Guaranteed Performance Service Connections 1993-11-29 Object-Oriented Specification and Stepwise Refinement 1997-08-22 Estimating the Heritability by Decomposing the Genetic Drift 1995-01-25 Automatic Verification of a Lip Synchronisation Algorithm Using UPPAAL 1998-07-08 Magnetic Impurity in a Luttinger Liquid: A Conformal Field Theory Approach 1996-10-16 A Computer Framework to Support Self-Explanation 1997-05-17 Minimal Covers of Maximal Antichains for Interval Orders 1997-08-21 Remote Building Monitoring and Control 1997-01-30 Confidence and Rejection in Automatic Speech Recognition 1970-01-01 Larry Don Colton B Acklund And Darboux Transformations For The Ablowitz--Ladik Spectral Problem 1998-03-16 Preconditioning Discrete Approximations Of The Reissner-Mindlin Plate Model 1996-06-28 Coercions and Subtyping: Some Type-theoretic Investigations between Computer Algebra and Artificial Intelligence 1994-11-25 Andreas Weber Evolving Ant Colony Optimization 1999-01-29 Conflict Analysis for Management Policies 1997-01-08 Constraints on Parallelism Beyond 10 Instructions Per Cycle 1997-11-25 Méthodes Duales Pour La Résolution De Problmes D'aoeectation Généralise En Suivi De Cellules De Pluie 1998-05-04 A Hardware Implementation of Pure Esterel 1994-10-10 G. Berry A Data Mining Methodology and Its Application to Semi-Automatic Knowledge Acquisition 1998-01-19 Waveguide Mesh Method for Low-Frequency Simulation of Room Acoustics 1996-09-05 Augmenting the User's Knowledge via Comparison 1998-06-10 Maria Milosavljevic Using Conceptual Modeling and Intelligent Agents to Integrate Semi-structured Documents in Federated Databases 1998-06-29 The Generation of Optimized Codes using Nonzero Structure Analysis 1970-01-01 Lexicon Effects on Chinese Information Retrieval 1997-07-10 K. L. Kwok Lattice Based Language Models 1997-11-19 Pierre Dupont Row Straightening via Local Interactions 1996-08-05 Ffl Ffl Ffl 1998-06-05 Network Text Editor NTE A scalable shared text editor for the MBone 1999-03-01 A Frequency Domain Approach To Anti-Windup Compensator Design 1998-02-22 Bayesian Inference with Missing Data Using Bound and Collapse 1998-03-11 A Perspective on Word Sense Disambiguation Methods and Their Evaluation 1998-03-17 Using Differential Algebra to Calculate Zero Dynamics 1994-03-21 H. Fortell A Simple Proof of a Minimum Cut Algorithm and Its Applications 1997-11-15 Hadron Collider 1995-08-14 Hadron Collider Factories Reasoning about Extensions 1994-10-05 A Historical Lexical Database of Swedish. The O.S.A Project 1999-02-09 Complexity as a Scale-Space for the Medial Axis Transform 1995-04-20 Ronald D. Chaney Simulated Annealing: A Heuristic for Parallel Stochastic Optimization 1997-05-19 On Gaps Between Squarefree Numbers II 1995-09-29 Distinguishability Condition and the Future Subsemigroup 1995-08-21 A New Improved Collage Theorem With Applications To Multiresolution Fractal Image Coding 1994-06-03 G. E. Øien Scalable, Distributed Data Mining Using An Agent Based Architecture 1997-06-23 Load Balance Properties of Distributed Data Layouts for Clustered MOD Servers 1996-11-01 A Measurement-Based CAC Strategy for ATM Networks 1997-10-10 Vhdl-Based Simulation Of Electronic Circuits And Systems 1999-01-07 D. Tavangarian PCE-QUAL-ICM: A Parallel Water Quality Model Based on CE-QUAL-ICM 1998-09-03 Task Specification and Monitoring for Uncalibrated Hand/Eye Coordination 1998-11-19 A Note on Lexicographic Breadth First Search for Chordal Graphs 1995-06-21 Klaus Simon Object Views and Updates 1998-03-12 C. Souza Dos Santos Fully Parallel Hardware/Software Codesign For Multi-Dimensional DSP Applications 1997-03-19 A General Class of Nonlinear Normalized LMS-type Adaptive Algorithms 1998-03-25 Safety criteria for the vital processor interlocking at Hoorn-Kersenboogerd 1999-01-13 Wan Fokkink Some Finite Element Computational Strategies for Large-Scale Flow Problems in High Performance Computers 1970-01-01 Hirota equation and Bethe ansatz 1998-10-15 A. Zabrodin A Security Framework Supporting Domain Based Access Control in Distributed Systems 1998-06-17 Genetic Algorithms for Planarization Problems 1996-05-25 F. Comellas Grobner Bases, Standard Forms of Differential Equations and Symmetry Computation 1995-08-21 Genetic Algorithms In Software and In Hardware - A Performance Analysis Of Workstation and Custom Computing Machine Implementations 1996-05-10 Narrowing Terminates for Encryption 1997-02-07 On The Use Of Kernel Structure For Blind Equalization 1998-01-09 Representation of Behavioral History for Learning in Nonstationary Conditions 1999-02-12 Maja J Matari'c A Comparative Evaluation of Active Appearance Model Algorithms 1999-03-02 Shock Profiles for the Partially Asymmetric Simple Exclusion Process 1997-03-08 Cellular Encoding: Review and Critique 1998-10-04 Talib Hussain Bound--state asymptotic estimates for window--coupled Dirichlet strips and layers 1997-09-25 Extracting Kozak Consensus Sequence Using Kleisli 1998-05-11 Unknown 1997-12-31 Unobservable Heterogeneity and Rational Learning: Pool Specific vs. Generic Mortgage-Backed Security Prices. 1997-02-11 Richard Stanton Fast Computation of the Smith Normal Form of an Integer Matrix 1995-09-21 Mark Giesbrecht The Average Case Analysis of Algorithms: Mellin Transform Asymptotics 1996-08-05 Approximation of Convex Figures by Pairs of Rectangles 1998-05-26 Constrained And Regularized System Identification 1997-04-04 Tor A. Johansen Apparent Opacity affects Perception of Structure from Motion 1996-01-05 Benutzerunterstützung eines KDD-Prozesses anhand von Datencharakteristiken 1998-07-23 Canonical Frames for Planar Object Recognition 1997-09-03 The JUMP-machine: a Generic Basis for the Integration of Declarative Paradigms 1994-06-01 Are Computer Hacker Break-ins Ethical? 1997-02-08 Eugene H. Spafford On Hamiltonian Triangulations in Simple Polygons 1997-05-18 RING: A Client-Server System for Multi-User Virtual Environments 1997-02-04 Thomas A. Funkhouser Automatic Concept Formation in Pure Mathematics 1999-04-21 Tool Support for Logics of Programs 1996-08-12 Lawrence C Paulson Minimizing Queuing Delays and Number of Messages in Mobile Phone Location 1996-04-01 David Goodman The BMAP/G/1 queue with level dependent arrivals and its stationary distribution 1998-12-15 A Way to Separate Knowledge From Program in Structured Document Analysis: Application to Optical Music Recognition 1998-04-16 Calculation and Visualization of Orthogonal Rational Functions 1998-11-13 Telephone Voice Interfaces on the Cheap 1999-04-13 Thomas Hornstein A Comparison Study of Static Mapping Heuristics for a Class of Meta-tasks on Heterogeneous Computing Systems 1999-02-14 RIVUS: A Template Language for Modelling Multimedia Streams 1997-06-06 Donna Lindsey Documentation of PAREST - A Multiple Shooting Code For Optimization Problems in Differential-Algebraic Equations 1997-01-05 Development of Crystallization Strategies Using the Biological Macromolecule Crystallization Database 1997-04-03 Searching For Antiproton Decay At The Fermilab Antiproton Accumulator 1995-09-05 S. Geer Short Paths in Expander Graphs 1996-08-09 Multiresolution Curves 1994-06-14 Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems 1997-08-18 Alfons Geser Algebraic Non-Integrability of the Cohen Map 1998-04-11 The Framework Approach for Constraint Satisfaction 1997-10-22 Checking Computations in Polylogarithmic Time 1994-04-21 Good Quantum Error-Correcting Codes Exist. 1996-01-18 A Preliminary Evaluation of the DEC Alpha Workstation 1995-07-03 Resource and Knowledge Discovery in Global Information Systems: A Preliminary Design and Experiment 1996-02-13 TCP and UDP with Bigger Addresses TUBA, A Simple Proposal for Internet Addressing and Routing 1994-06-02 Some Sets of Type 1998-05-07 L. M. Batten Imprecise Probabilities: A Bibliography 1998-12-14 A Multi-Resolution Relational Data Model 1998-04-04 Efficiently Updating References During On-line Reorganization 1996-03-08 Designing and Implementing Asynchronous Collaborative Applications with Bayou 1998-02-26 It is of interest to compare the results of this Bayesian approach applied to the three real data sets with those obtained working in a frequentist framework. Consequently, we fitted 1998-09-03 Evolution Of The Galactic Disk: Focus On The Solar Neighbourhood 1997-03-03 Understanding Integration in a Software Development Environment 1996-09-18 Simulating Boolean Circuits on a DNA Computer 1996-08-19 Differential Geometry Of Cartan Connections 1998-12-03 Dark Matter And Big Bang Nucleosynthesis 1998-05-12 Arnon Dar On Motion Modeling and Estimation for Very Low Bit Rate Video Coding 1996-01-25 Delta Delta Delta 1996-03-27 Olavi Nevanlinna Efficient Execution of Parallel Applications in Multiprogrammed Multiprocessor Systems 1995-09-25 The Symbolic Generation of Finite-Difference Formulas 1996-10-07 Hypergeometric Filters For Optical Flow and Affine Matching 1995-11-03 Internal Performance Characteristics of Thrust-Vectored Axisymmetric Ejector Nozzles 1995-05-01 Text Segmentation with Multiple Surface Linguistic Cues 1998-08-28 An Empirical Study of a Highly Available File System 1994-02-23 Reasoning about Continuous Change 1970-01-01 Norman Foo Generalized Local Propagation: A Framework for Solving Constraint Hierarchies 1996-05-14 Satoshi Matsuoka The Conway Polynomial Of An Algebraically Split Link 1997-01-28 Jerome Levine Unknown 1997-06-11 Some Notes on Two-Scale Difference Equations 1999-03-05 Supporting Secure Canonical Upgrade Policies in Multilevel Secure Object Stores 1998-06-26 Simon N. Foley CACAO - A 64 bit JavaVM Just-in-Time Compiler 1997-08-15 Aggregate-Query Processing in Data Warehousing Environments 1995-08-11 Design Issues for a High-Performance Distributed Shared Memory on Symmetrical Multiprocessor Clusters 1999-03-31 Finding Surface Correspondence for Object Recognition and Registration using Pairwise Geometric Histograms 1998-08-06 On the Power of Circular Splicing Systems and DNA Computability 1998-08-10 A comparison of statistical learning methods on the GUSTO database 1998-08-31 Optimal Backward Perturbation Bounds for the Linear Least Squares Problem of Deficient Rank 1999-03-22 A. N. Malyshev Self-Learning Techniques for Grapheme-to-Phoneme Conversion 1995-11-09 Telecom Paris Diophantine Approximation of a Plane 1998-02-23 Implementation and Evaluation of a Remote Memory Pager 1995-11-06 Channel-Based Blind Multichannel Identification Without Order Overestimation Problems 1997-08-26 The Monitoring Facilities of the Graphical Parallel Programming Environment TRAPPER 1995-01-11 Daimler-benz Ag Bayesian Analysis of Mixture Models with an Unknown Number of Components -- an alternative to reversible jump methods 1999-02-23 Matthew Stephens Parallel Sparse Modified Gram-Schmidt QR Decomposition 1997-02-19 Selecting Input Variables Using Mutual Information and Nonparametric Density Estimation 1995-02-08 Managing Interference 1999-02-08 Force Control in Locomotion of Legged Vehicle and Body Movement for Mounting Operations 1996-07-23 A Customized Logic Paradigm for Reasoning about Models 1996-06-04 A Nonperturbative Form of the Spectral Action Principle in Noncommutative Geometry 1997-04-26 On a Problem of Potential Wells 1995-10-27 Adaptive Recognition of Online, Cursive Handwriting 1999-04-07 Where to Bisect a Box? A Theoretical Explanation of the Experimental Results 1997-11-28 Sequential Procedure for Simultaneous Estimation of Several Percentiles 1994-04-20 Kimmo E. E. Raatikainen Unknown 1999-01-26 A Discourse Processing Account of Gapping and Causal Implicature 1995-08-09 Andrew Kehler Correlation Matrices 1997-09-19 Conceptual Data Model with Structured Objects for Statistical Databases 1996-05-07 Giacomo Paolo Naggar Designing Genetic Algorithms for the State Assignment Problem 1970-01-01 Electron Conduction Along Quantizing Magnetic Fields in Neutron Star Crusts 1996-09-10 A. Y. Potekhin Garbage Collection in the Larchant Persistent Distributed Shared Store 1996-11-18 Paulo Ferreira Replication Is Not Needed: Single Database, Computationally-Private Information Retrieval 1997-10-26 Analysis and Decomposition of Spatial Variation in Integrated Circuit Processes and Devices 1996-12-05 Multipol: A Distributed Data Structure Library 1996-10-28 Interpretive Debugging of Optimised Code 1995-04-09 Analyzing the Need for Meta-Level Communication 1995-05-01 Specification and Synthesis of Plans Using the Features and Fluents Framework 1995-03-21 Lars Karlsson Program Optimization Based on Compile-Time Cache Performance Prediction 1997-04-15 Context Institutions 1996-05-17 Prototyping A Process Monitoring Experiment 1998-09-09 A Determination of the CKM-angle 1998-05-14 Unsupervised Segmentation Applied on Sonar Images 1998-05-24 Groupe De Traitement Implementing VCODE with static processes 1996-11-20 Mostafa Bamha A Formalisation of Evolving Algebras 1997-12-19 A Neural Net Model for Mapping Hierarchically Structured Analogs 1999-04-05 Facet-Breaking for Three-Dimensional Crystals Evolving By Mean Curvature 1998-12-21 A Probabilistic Approach to Parallel System Performance Modelling 1994-10-07 Executing Parallel Plans Faster by Adding Actions 1994-06-02 Christer Backstrom Approximation Algorithms for the Largest Common Subtree Problem 1995-08-12 On The Temperature Dependence Of The Impact Ionization In Hfet And The Corresponding Rf- And Noise Performance 1998-08-28 Sets in Context and Related Issues 1994-01-28 C++??: A Critique of C++ and Programming and Language Trends of the 1990s 1996-10-25 Ian Joyner What Your Computer Really Needs to Know, You Learned in Kindergarten 1994-11-08 Edmund H. Durfee Dynamic Maintenance of Majority Information in Constant Time per Update 1997-04-15 Means of Achieving Cross-Program Focus, Coordination, and Technology Transfer 1995-06-09 Squeezed Condensate of Gluons and 1997-02-13 Internet Routing Instability 1997-06-24 Horus: A Flexible Group Communications System 1998-09-26 An Agreement Service for Implementing Fault Tolerant Distributed Software 1998-04-10 Manipulation of Polyhedral Parts by Rolling 1970-01-01 A Vision Based Robot System for Arranging Technical Objects 1997-11-27 CAPM, Risk and Portfolio Selection in "Stable" Markets 1996-12-18 Reduction of Cache Conflicts in Loop Nests 1995-03-20 Optimal shapes for Gears 1998-01-05 Warren D. Smith Implicit Imitation in Multiagent Reinforcement Learning 1999-02-02 The Problem of Trusted Third Party in Authentication and Digital Signature Protocols 1998-01-21 The Fraction of Subspaces of GFq n with a Specified Number of Minimal Weight Vectors is Asymptotically Poisson 1997-12-26 Robust Neural Force Control with Robot Dynamic Uncertainties under Totally Unknown Environment 1996-12-03 A Tabular Method of Finding the Optimal Word String Together with Its Dependency Structure 1998-05-06 Kazuhiko Ozeki Segmented Operations for Sparse Matrix Computation on Vector Multiprocessors 1997-02-04 An Information-Maximization Approach to Blind Separation and Blind Deconvolution 1995-08-17 Enhancing Interactivity of Software and Data Repositories with Java 1997-09-02 Xlisp-Stat: A Statistical Environment Based on the XLISP Language 1997-11-05 Luke Tierney Object Oriented Programming Techniques And Fac Method In Numerical Reservoir Simulation 1997-03-28 Linearly Combined Suboptimal Mixed ... Controllers 1997-10-14 Frame-rate Up-conversion Using Transmitted Motion and Segmentation Fields for Very Low Bit-rate Video Coding 1997-07-25 Automated Reasoning With Nonmonotonic Logics 1997-05-20 Simmons' Protocol is Not Free of Subliminal Channels 1996-10-17 Yvo Desmedt A Probabilistic ApproachTo The Estimation Of The Distribution Of The Target Location Point 1996-02-21 M. A. Tabatabai Distributed Repositories of Highly Expressive Reusable Ontologies 1998-04-30 Characterizing PAC-learnability of Semilinear Sets 1998-11-20 Naoki Abe Analyzing the Real-Time Properties of a Dataflow Execution Paradigm using a Synthetic Aperture Radar Application 1998-01-22 A Statistical Model for Discourse Act Recognition in Dialogue Interactions 1998-01-28 Jennifer Chu-carroll A Linearization Of The Lambda-Calculus And Consequences 1997-09-25 A. J. Kfoury A Genetic Algorithm For Training Recurrent A Genetic Algorithm For Training Recurrent Neural Networks Neural Networks 1996-04-09 Sequential Allocation With Minimal Switching 1996-04-14 Expressing Object Residency Optimizations Using Pointer Type Annotations 1996-09-25 Douglas W. Oard 1998-02-19 Douglas W. Oard Numerical Representations of Acceptance 1997-06-30 The Robustness of Some Scale-Spaces 1997-10-27 Passivity Based Control Of The Compass Gait Biped 1999-01-13 Mark W. Spong PHYSICS OF HEAVY QUARKS Kacper Zalewski 1998-05-25 Kacper Zalewski Support for Constructing Environments with Multiple Views 1996-07-25 Hopf Galois Structures on Degree p^2 Cyclic Extensions of Local Fields 1996-12-04 Lindsay N. Childs Recognition of Chinese Characters by Moment Feature Extraction 1996-11-13 On The Long Step Path-Following Method For Semidefinite Programming 1996-07-03 Jos F. Sturm Optimal p-cyclic SOR 1995-07-19 Mathematical Theory Of The Wetting Phenomenon In The 2D Ising Model 1998-09-02 Generating heavy quarkonia in a perturbative QCD cascade 1997-12-11 DEFLATE Compressed Data Format Specification version 1.3 1996-06-08 Scalable Networked Information Processing Environment SNIPE 1997-09-28 Guillotine subdivisions approximate polygonal subdivisions: Part II - A simple polynomial-time approximation scheme for geometric k-MST, TSP, and related problems 1997-01-09 Joseph S. B. Mitchell Modeling the Effect of Feeding on Health and Production in Dairy Cattle 1997-01-18 Multi-Color Photometry of Nearby Galaxies 1997-03-03 MTI Radar For Airline Operations 1997-06-26 Yair Barniv Path-Based Production Rules 1998-05-27 Using Continuations to Implement Thread Management and Communication in Operating Systems 1993-04-26 Models for the Length Distributions of Actin Filaments: I. Simple Polymerization and Fragmentation 1997-07-21 Bounds on Pairs of Families with Restricted Intersections 1999-03-01 Characterizing the Behavior of Sparse Algorithms on Caches 1995-09-26 Comparison Of Various Periodograms For Single Tone Detection And Frequency Estimation 1998-06-19 PT-PVM: Using PVM in a multi-threaded environment 1996-03-26 OPTICAL LOGO-THERAPY - OLT A computer based speech training system for the visualization of articulation using connectionist techniques. 1996-12-16 Relative Utility of EBG based Plan Reuse in Partial Ordering vs. Total Ordering Planning 1993-08-17 Subbarao Kambhampati A Line Search Method In Lagrangian Relaxation Algorithms 1996-10-23 Classes as Assertions 1996-08-27 Neelam Soundarajan S. Della Pietra, V. Della Pietra, and J. Lafferty 1995-11-21 An Overview of Head driven Bottom-up Generation 1994-11-24 Gertjan Van Noord Petri Net Based Modeling of Parallel Programs Executing on Distributed Memory Multiprocessor Systems 1995-06-01 Fold-Unfold Transformations On State Monadic Interpreters 1995-06-07 Thomas Johnsson Collaborative Virtual Environments Used in the Design of Pollution Control Systems 1996-03-20 Groupie -- An Environment supporting Group-Oriented Architecture Development 1994-03-08 Modal Types as Staging Specifications for Run-time Code Generation 1998-03-24 Fuzzy Prototypes for Fuzzy Data Mining 1998-05-18 Periodic Orbit Expansions for Classical Smooth Flows 1995-11-26 Bruno Eckhardt Numerical Convergence of the Random Vortex Method for Complex Flows 1997-09-08 Program Verification Using Abstraction Compositionally 1998-09-24 Proceedings, Annual Conference Series, 1997 1998-09-01 Throughput-Competitive On-Line Routing 1993-10-06 A Decision Procedure for the Subtype Relation on Intersection Types with Bounded Variables 1996-08-18 Benjamin C. Pierce Reaction Rates for 1998-02-06 VHDL-Based Rapid System Prototyping 1997-10-27 Becoming An Expert Case-Based Reasoner: Learning To Adapt Prior Cases 1995-05-20 David B. Leake Quadric Reconstruction from Dual-Space Geometry 1997-09-16 Nonlinearities Enhance Parameter Convergence: the Strict-Feedback Case 1997-12-29 HODFA: An Architectural Framework for Homogenizing Heterogeneous Legacy Databases 1995-07-12 Variable Resolution Triangulations 1998-09-21 A Survey of Evolution Strategies 1994-09-06 Multidimensional Access Methods 1997-08-04 A Declarative Query Approach to Object Identification 1998-05-25 Martin Gogolla Probing for Ultraheavy Quanta at LHC 1998-05-15 Michael S. Chanowitz Probing and Fault Injection of Dependable Distributed Protocols 1970-01-01 A Note on Differential Corner Measures 1998-05-15 An Efficient Multi-Dimensional Searching Technique and its Applications 1997-02-27 Lower Bounds for Randomized Mutual Exclusion 1996-09-12 Unsupervised Classification of Sensory-Motor states in a Real World Artifact Using a Temporal Kohonen Map 1999-01-11 Compactness Properties of Locally Compact Groups 1999-04-21 Generating Finite-State Abstractions of Reactive Systems using Decision Procedures 1998-11-17 Linear Sequential Arrays: Pipelining Arithmetic Data Paths 1994-03-25 The Innovation Cumulative Sum Chart 1996-01-18 Alex J. Koning DAJ - A Toolkit for the Simulation ofDistributed Algorithms in Java 1998-10-01 Wolfgang Schreiner Sceptical logic programming based default reasoning - Defeasible logic rehabilitated 1997-11-18 A linear system solver for Mathematica that uses the SACLIB 1997-02-17 Erhard Aichinger Efficient Bayesian Local Computation for Dynamic Forecasting of Competitive Markets 1998-06-19 QoS-Based Transport 1998-12-28 Automated Segmentation of Coronary Vessels in Angiographic Image Sequences Utilizing Temporal, Spatial and Structural Constraints 1994-09-15 Full Abstraction and Expressive Completeness for FP 1996-10-02 General-to-Specific Model Selection for Subcategorization Preference 1998-05-21 Tioga-2: A Direct Manipulation Database Visualization Environment 1995-12-23 Dualities Associated To Binary Operations On 1995-10-27 Ivan Singer Using the Amsterdam Hypermedia Model for Abstracting Presentation Behavior 1995-07-17 Parsing English with a Link Grammar 1995-10-13 Daniel D. Sleator Three Results on Mixing Shapes 1997-11-06 T. Ward An Extensible Protocol Architecture for Application-Specific Networking 1996-03-14 Interfaces and Implementations of Random Number Generators for Java Grande Applications 1999-02-16 A New Merit Function and a Descent Method for Semidefinite Complementarity Problems 1998-01-17 Higher Order Operationational Techniques in Semantics - Introduction 1997-11-19 Parallel Branch Bound Algorithm for Makespan Optimal Scheduling in Flow Shops With Multiple Processors 1997-12-03 Determining Optimal Few-Stage Allocation Procedures 1996-04-14 Revised December 1997 by H. Quinn SLAC There are two neutral 1998-06-03 Protective Interface Specifications 1997-09-16 Joint Source and Channel Coding for Image Transmission Over Lossy Packet Networks 1996-08-21 Security Problems in the TCP/IP Protocol Suite 1996-11-23 S. M. Bellovin The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-Calculus 1993-04-09 Analyzing Communication Latency using the Nectar Communication Processor 1998-01-23 Peter Steenkiste Algorithm XXX: Fortran Subroutines for Computing the Eigenvalues and Eigenvectors of a General Matrix by Reduction to General Tridiagonal Form 1993-10-08 Dominoes and Storyboards: Beyond "Icons on Strings" 1997-05-28 Henry Lieberman Symmetry Breaking Perturbations and Strange Attractors. 1996-11-28 Surface-Based Observations of Contrail Occurrence Over the U.S. . . . 1997-12-15 Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs 1994-04-05 Linear Spaces for Index 2 Differential-Algebraic Equations 1995-10-25 Thomas Petry Safety Analysis versus Type Inference 1997-07-21 Extraction of a "Good" Subsequence From a Bounded Sequence of Integrable Functions 1995-10-27 C²Surfaces Built From Zero Sets of the 7-Direction Box Spline 1995-05-18 Jorg Peters The Role of Trace Modulation in Building Mobile Computing Systems 1997-05-29 Recursively Indefinite Databases 1998-08-09 Ron Van Der Meyden Fast Recovery of Evolutionary Trees through Harmonic Greedy Triplets 1999-01-08 Ming-yang Kao An Analytical Framework for Local Feedforward Networks 1997-07-15 A Note on the Augmented Hessian Whenthe Reduced Hessian is Semidefinite 1999-01-25 Parameterized verification of Linear networks using Automata as Invariants 1999-04-05 A. Prasad Sistla Bubble Chain Resummation and Universality 1998-05-25 Lawrence Chilton Manil Suri 1996-12-17 Lifestreams: A Storage Model for Personal Data 1996-01-22 Writing, Supporting, and Evaluating Tripwire: A Publically Available Security Tool 1998-05-15 Deductive Systems of Fuzzy Logic a Tutorial 1998-05-12 Lluis Godo M. P. Owen 1997-07-25 M. P. Owen Deriving Partial Correctness Logics From Evolving Algebras 1996-09-26 Arnd Poetzsch--heffter Wavelet De-Noised Financial Time Series 1998-10-05 Enrico Capobianco Combining Semidefinite and Polyhedral Relaxations for Integer Programs 1995-05-08 Automatic Program Parallelization 1994-02-16 Refining Logical Characterizations of Advice Complexity Classes 1997-07-25 Albert Atserias Improving Big Plans 1998-04-07 Trace Cache: a Low Latency Approach to High Bandwidth Instruction Fetching 1996-10-08 Dimensionality reduction - A Primer 1995-12-12 Leonid Peshkin Jet Shapes And Determinations Of 1998-05-26 Marc Weber Proving Properties of Real-Time Semaphores 1994-03-16 David Scholefield Duality Theorems for Partial Orders, Semilattices, Galois Connections and Lattices IULG Preprint 1993-10-14 A Stochastic Model Of Intonation For French Text-To-Speech Synthesis 1997-10-13 Fabienne Courtois A Fully Magnetizing Phase Transition 1999-01-23 Augmenting the User's Knowledge via Comparison 1997-06-09 Maria Milosavljevic Nonlinear Dynamics in the EEG Analysis: Disappointments and Perspectives 1999-02-11 Milan Palus The Spectrum of the Kinematic Dynamo Operator for an Ideally Conducting Fluid 1997-04-26 Automated Reverse Engineering of Legacy 4GL Information System Applications using the ITOC Workbench 1998-09-27 Passive Real-World Interface Props for Neurosurgical Visualization 1997-06-02 On the Existence of Hard Sparse Sets under Weak Reductions 1995-12-26 Conformal Invariance and the exact solution of BFKL equations 1998-05-24 Stop-and-Go Service Using Hierarchical Round Robin 1995-06-09 S. Keshav Key Preassigned Traceability Schemes for Broadcast Encryption Extended Abstract 1998-05-20 Approximately Matching Context-Free Languages 1995-07-06 Gene Myers Proving Performance Properties even Probabilistic Ones 1999-02-03 Nancy Lynch Cost-Sensitive Specialization 1998-09-30 Geoffrey I. Webb Asynchronous Reactive Objects : An Attempt to Control the Object Behavior 1998-01-14 Software Approach to Hazard Detection Using On-line Analysis of Safety Constraints 1997-11-06 FLOATING-POINT EXCEPTION HANDLING Example 4: 1997-03-22 Architectural Support for Single Address Space Operating Systems 1997-04-03 Motion Estimation And Dct Pruning: A Combined Approach To Video Coding 1997-02-27 Towards a Robot Learning Architecture 1997-07-17 Precision Normals Beyond Phong 1999-02-12 A Clearinghouse for Astronomy Librarians: the PAM Web Site 1998-09-11 A. Kathleen Robertson An Organizational Self-Design Model for Organizational Change 1995-07-12 A Comparison of Data Sources for Machine Learning in a Telephone Trouble Screening Expert System 1995-05-02 Andrea Pohoreckyj Danyluk Communication-Efficient Parallel Algorithms for Distributed Random-Access Machines 1996-02-07 The Weakest Precondition Calculus: Recursion and Duality 1997-01-08 Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP 1998-04-04 Rajeev Motwani 1995-05-13 Rajeev Motwani Local Area Network Traffic Characteristics, with Implications for Broadband Network Congestion Management 1993-12-14 Operational and Axiomatic Semantics of PCF 1996-01-18 Faster MUSE CSP Arc Consistency Algorithms 1998-12-14 /2. Model 5 long dashes; 1994-06-14 A New Krylov-Subspace Method For Symmetric Indefinite Linear Systems 1994-06-20 Formal Methods: State of the Art and Future Directions 1996-09-28 Algorithmic and Practical Considerations for Dense Matrix Computations on the BSP Model 1998-06-08 Alexandros V. Gerbessiotis Renesting Single Appearance Schedules to Minimize Buffer Memory 1995-09-19 New Advances in Alpha-Beta Searching 1997-03-07 Two Novel Lossless Algorithms To Exploit Index Redundancy In Vq Speech Compression 1998-02-06 Sridha Sridharan Grid Modification for the Wave Equation With Attenuation 1995-07-19 Daoqi Yang Pseudorandom generators without the XOR Lemma Extended Abstract 1999-02-20 A Genetic Algorithm-Based Approach to Data Mining 1996-05-28 Implementing a Performance Forecasting System for Metacomputing: The Network Weather Service 1997-09-01 Exploratory Study Of The Acoustic Performance Of Piezoelectric Actuators 1998-08-24 Diderot Information Extraction System 1994-11-15 Optimization of Out-of-Core Computations Using Chain Vectors 1998-05-09 Skeleton-Space: a Multiscale Shape Description Combining Region and Boundary Information 1994-12-08 R. L. Ogniewicz Auctions without Common Knowledge 1999-02-01 Towards a Computational Theory of Genome Rearrangements 1996-06-03 The Two-Point Function and the Effective Magnetic Field in Diluted Ising Models on the Cayley Tree 1997-04-26 A Variation Of The Schwarz Alternating Method: The Domain Reduction Method 1997-06-25 Craig C. Douglas A Comparative Study of Knowledge-Based Approaches for Cross-Language Information Retrieval 1998-09-05 Hand-Eye Calibration Using Dual Quaternions 1998-08-20 Konstantinos Daniilidis A One-Key Cryptosystem Based on a Finite Nonlinear Automaton 1996-03-26 Marc Gysin Effectiveness of Timer-Based Connection Management Mechanisms for IP/ATM Networks 1999-01-24 Interleavers For Punctured Turbo Codes. 1998-11-17 A Test Bed for Modelling the Liberation of Silica from Feldspar Using Parallel Computing Techniques 1994-10-26 Crosslinguistic Disfluency Modeling: A Comparative Analysis of Swedish and American English Human-Human and Human-Machine Dialogs 1970-01-01 MPI as a Coordination Layer for Communicating HPF Tasks 1996-05-19 On the Convergence of Mixed Integer Pattern Search Algorithms 1999-02-17 On-Line Portfolio Selection Using Multiplicative Updates 1999-01-18 A Ray-Propagation Fast Multipole Algorithm 1996-04-03 On the Complexity and Approximation of Syntenic Distance 1998-12-15 Combining Automatic and Manual Index Representations in Probabilistic Retrieval 1995-08-18 Command And Control Simulation Interface Language ccsil: Status Update 1996-06-17 Marnie R. Salisbury Infinitesimal Symmetries Of Hall Effect On Riemann Surfaces 1996-04-11 Demand more from your SGML database! 1996-02-27 Arijit Sengupta No Future for Comprehensive Models of Intonation 1996-05-10 Grard Bailly The Axial Anomaly Revisted 1997-04-26 Paul Federbush Metadata: Standards for Retrieving WWW Documents and Other Digitized and Non-Digitized Resources 1998-09-18 Diann Rusch-feja On the Epistemic Entrenchment of Different Types of Knowledge Expressed as Conditionals in Belief Revision Tasks 1997-05-23 One-sided Mullins-Sekerka Flow Does Not Preserve Convexity 1996-06-14 Uwe F. Mayer A Guide to the Literature on Learning Probabilistic Networks From Data 1997-01-15 Wray Buntine A Modular Text Planning Architecture For A Multilingual Setting 1997-08-21 Tropical Thermostats and Low Cloud Cover 1996-09-26 R. L. Miller Active multicast service architecture for user customized multimedia data transmission over ATM networks 1997-10-02 Modelling Rational Inquiry in Non-Ideal Agents 1998-01-28 Antonio Moreno NOEMON: An Intelligent Assistant for Classifier Selection 1998-06-01 Interaction Systems II: The Practice of Optimal Reductions 1997-04-15 The Capacity of Monotonic Functions 1998-08-26 Joseph Sill Image Matching under Affine Deformations 1996-10-22 R. Manmatha CONVIS: Action Oriented Control and Visualization of Neural Networks 1995-12-15 On Characterizations of Input-to-State Stability with Respect to Compact Sets 1996-06-12 Eduardo D. Sontag Algorithmic Redistribution Methods for Block Cyclic Decompositions 1997-07-09 Such calculations enable the molecular-based design of new synthetic lubricants of importance in the automotive engines of the future. 3 Chain molecule Monte Carlo simulations in the G... 1997-01-21 H. D. Cochran A hardware supported system for Kohonen's Selforganizing Map 1994-08-19 Canonical Quantization of Yang Mills on a Circle 1997-04-26 J. Dimock The Expected Lifetime of "Single-Address-Space" Operating Systems 1970-01-01 D Photography on Your Desk 1999-01-18 Jean-yves Bouguet Residual Algorithms: Reinforcement Learning with Function Approximation 1997-07-04 Leemon Baird Self-Similarity in File Systems 1998-03-16 Cooperation Contracts 1997-02-22 Michael Schrefl Storage Estimation for Multidimensional Aggregates in the Presence of Hierarchies 1996-09-17 Conclusions and Future Work 1998-08-17 Run-Time Statistical Estimation of Task Execution Times for Heterogeneous Distributed Computing 1996-08-17 Type-based Analysis of Communication for Concurrent Programming Languages 1998-01-06 Atsushi Igarashi Complexity and Approximability of Certain Bicriteria Location Problems 1998-05-14 On Nonconvex Subdifferential Calculus in Banach Spaces 1995-10-27 Measurement-Driven Quality Improvement in the MVS/ESA Operating System 1996-10-18 On the Foundations and Applications of Similarity Theory to Case-Based Reasoning 1997-06-02 Stephan Rudolph One-Way Functions and Balanced NP Extended Abstract 1996-09-30 Simulation Modelling of Parallel Systems 1999-01-12 Computational capabilities of recurrent NARX neural networks 1998-09-05 Benchmarking Implementations of Functional Languages with "Pseudoknot", a Float-Intensive Benchmark 1995-10-29 New Methods For Reducing Size Graphs 1998-05-13 SELEX in a Nutshell 1998-07-03 Cracking an Egg: An Exercise in Commonsense Reasoning 1998-01-05 Vladimir Lifschitz Adaptively Wavelet-smoothed Wigner Estimates of Evolutionary Spectra 1997-09-29 The Composition of the Diffuse Interstellar Medium 1996-10-01 Edward L. Fitzpatrick Partial Gates and the Identification of their Solution Sets 1996-09-16 Calculation and Visualization of Orthogonal Rational Functions 1998-11-13 Managing Global Information in the CORDS Multidatabase System 1970-01-01 A Declarative Approach to Run-Time Code Generation 1996-02-03 Directional Mixture Models and Optimal Estimation of the Mixing Density 1998-05-11 Design and Performance Tradeoffs in Clustered Video Servers 1998-06-16 Renu Tewariy Finding Periodicity in Space and Time 1997-09-17 Bounded Quantification with Bottom 1997-11-12 Benjamin C. Pierce Supersymmetry At Linear Colliders: The Importance Of Being 1998-03-13 Jonathan L. Feng Rate Allocation for Spotlight SAR Phase History Data Compression 1997-12-09 The Dynamical Structure of the 1998-06-24 A Framework for Assertion-based Debugging in Constraint Logic Programming 1998-11-02 Similarity Inheritance: A New Model of Inheritance for Spreadsheet VPLs 1998-07-05 Preconditioning Complex-Symmetric Layered Systems Arising in Electrical Power Modeling 1998-06-04 Intonation and Dialogue Context as Constraints for Speech Recognition 1997-10-23 Robust Object Tracking Based On Spatial Characterization Of Objects By Additive Invariants 1998-08-06 Spatio-Temporal Database Support for Legacy Applications 1997-07-09 Alignment of Shared Forests for Bilingual Corpora 1997-03-20 Hidden Markov models for sequence analysis: extension and analysis of the basic method 1996-05-03 Richard Hughey On the Contrast in Visual Cryptography Schemes 1970-01-01 Applying Control Theory To Discrete Event Systems Modeled By Object Oriented Principles 1996-08-23 sdpsol: A Parser/Solver for Semidefinite Programs with Matrix Structure 1997-03-19 Sharing Learned Models among Remote Database Partitions by Local Meta-learning 1996-05-17 Skeletal Reconstruction of Branching Shapes 1997-03-24 The Dynamics of Russian Industrial Enterprises' Financial Situation 1992-1994 1996-06-27 Igor Lipsitz Dialogue Games and Innocent Strategies: An Approach to Intensional Full Abstraction for PCF 1999-02-05 Using Genetic Engineering to Find Modular Structures and Activation Functions for Architectures of Artificial Neural Networks 1997-05-02 Christoph M. Friedrich Broadcasting in Time 1995-12-29 K. V. S. Prasad Efficient Schemes for Broadcasting Popular Videos 1998-05-29 Integrating Planning and Learning: The PRODIGY Architecture 1995-01-25 Sorted Unification and its Applications to Automated Theorem Proving Extended Abstract 1996-07-24 General Game-Playing and Reinforcement Learning 1995-05-09 Robert Levinson Data Exploration with Reflective Adaptive Models 1996-09-24 Uwe Beyer Frank LAFTER: Lips and Face Real Time Tracker with Facial Expression Recognition 1998-08-28 Efficient Convertible Undeniable Signature Schemes Extended Abstract 1999-04-13 New Prescription in light-cone gauge theories 1998-05-13 D. K. Park Notices Of The 1998-07-01 Book Review CWI Quarterly - Introduction 1996-11-19 Tioga: Providing Data Management Support for Scientific Visualization Applications 1995-06-04 Integrating Reactivity, Goals, and Emotion in a Broad Agent 1994-03-15 Packing And Covering Triangles In Tripartite Graphs 1998-12-08 A Novel Approach to Multiprogrammed Multiprocessor Synchronization for Real-Time Kernels 1997-10-01 Producing a Top-Down Parse Order with Bottom-Up Parsing 1995-03-06 3-D Catheter Path Reconstruction from Biplane Angiograms 1998-04-16 Analysis of Restraints to Translational and Rotational Motion from the Geometry of Contact 1998-12-17 Planning Robot Motion Strategies under Geometric Uncertainty Constraints 1998-04-09 Coordinated Static and Dynamic Voltage Control in Large Power Systems 1998-07-02 A Theoretical Formulation for Degrees of Isolation in Databases 1997-09-09 Voice Activity Detection Using Source Separation Techniques 1999-01-14 On the Computation of Quadratic 2-Class Groups 1997-09-16 Hierarchical Clustering: A Structure for Scalable Multiprocessor Operating System Design 1995-11-22 Xerox TREC-5 Site Report: Routing, Filtering, NLP, and Spanish Tracks 1997-09-23 Workflow History Management in Virtual Enterprises using a Light-Weight Workflow Management System 1999-02-15 Natural Niching for Cooperative Learning in Classifier Systems 1996-02-27 The Architecture, Operation and Design of the Queue Management Block in the ATLAS I ATM Switch 1996-07-29 Graphical Interpretation of Variance Ination Factors 1996-07-22 An Interesting Application of Separation of Variables to an Inverse Problem. 1998-11-10 C. Maeve Mccarthy Towards A Computer Model of Memory Search Strategy Learning 1994-06-15 David B. Leake Complete Suboptimal Folding of RNA and the Stability of Secondary Structures 1998-05-09 A Correlation Estimate With Applications To Quantum Systems With Coulomb Interactions 1997-04-26 Discovering and Reconciling Semantic Conflicts: A Data Mining Perspective 1997-12-09 Global Teleporting with Java: Towards ubiquitous personalised computing 1998-03-13 Admissible Functions and Asymptotics for Labelled Structures by Number of Components 1996-12-05 Fast modelling of 3D electromagnetic problems using potentials 1999-04-07 Retrieval of Trade Mark Images By Shape Feature 1995-05-11 J P Eakins Initial Segments Of Recursive Linear Orders 1997-02-14 Lamda_S: an ImplicitlyParallel Lambda-Calculus with Letrec, Synchronization and Side-Effects 1970-01-01 PVS Prover Guide - Version 2.2 1998-09-18 Semantics and Expressiveness Issues in Active Databases Extended Abstract 1996-02-06 An Asymptotically Exact, Pointwise, A Posteriori Error Estimator For The Finite Element Method With Super Convergence Properties 1995-09-25 Jens Hugger On Enumeration of Near to Best Solutions in Discrete and Dynamic Programming 1970-01-01 Joseph V. Romanovsky : Jet Production in DIS at NLO Including 1970-01-01 Gradnja Cad Modelov Iz Globinskih Slik 1998-10-20 A Nonconvex Scalar Conservation Law with Trilinear Flux 1998-10-05 Applying Program Visualization Techniques to Aid Parallel and Distributed Program Development 1993-11-08 On the Dimensions of Anisotropic Quadratic Forms With Trivial Invariants 1999-04-21 Detlev W. Hoffmann Perceptual Quality Metric as a Performance Tool for ATM Adaptation of MPEG-2 based Multimedia Applications 1996-08-18 From Interactive Applications to Distributed Laboratories 1998-09-29 Theorem Proving Modulo 1998-11-24 Causative Forces in Multi-Agent Planning 1994-07-13 Fuzzy Behavior-based Navigation for Planetary Microrovers 1996-12-20 Heuristic Diff Acquiring in Lazy Release Consistency Model 1997-09-08 Active by Accident: Relevance Feedback in Information Retrieval 1996-11-26 David D. Lewis Interprocedural Array Data-Flow Analysis for Cache Coherence 1970-01-01 Lynn Choi An Architectural Study of a Massively Parallel Processor for Convolution-Type Operations in Complex Vision Tasks 1999-03-17 Martin Franz A Note on the Characterization of the Global Maxima of a Tangentially Convex Function Over a Convex Set 1996-06-24 Yuri S. Ledyaev Wonderful Models Of Subspace Arrangements 1995-10-09 Revision History 1999-02-11 Logical Embeddings for Minimum Congestion Routing in Lightwave Networks 1999-05-04 DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases 1999-02-05 Impact of Multimedia Data on Workflows 1996-08-13 Aidong Zhang ICSM'94 proceedings - 1994-12-01 Dropping the Mainframe Without Crushing the Users: Mainframe to Distributed UNIX in Nine Months 1992-12-11 NoWait-RPC: Extending ONC RPC to a fully compatibleMessage Passing System 1998-01-24 On the use of Smalltalk for Concurrent and Distributed Programming 1998-09-01 Rachid Guerraoui Il Senso Coune, Fondamento Di Ogni . . . 1997-02-10 Giancarlo Cavalleri Correctly Rounded Binary-Decimal and Decimal-Binary Conversions 1991-03-25 David M. Gay A Geometrical-Mechanical Interpretation Of Gradient-Weighted Moving Finite Elements 1999-03-23 Keith Miller Partitioning and Retiming of Multi-Dimensional Systems 1997-03-19 Extensible Cluster-Based Scalable Network Services 1998-01-14 Asymptotics for L1 regression estimators under general conditions 1998-01-22 Keith Knight Maps Of Process Dynamics 1998-03-16 Software Radios for Wireless Networking 1998-02-12 J. D. Tygar and Bennet S. Yee 1998-10-06 Coding Discourse Structure in Dialogue Version 1.0 1999-03-19 Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: a Case Study 1998-05-11 O-Plan: A Situated Planning Agent 1995-08-14 Factorization of the Tenth and Eleventh Fermat Numbers 1970-01-01 Richard P. Brent Estimates for the Stokes Operator in Lipschitz Domains 1996-09-03 Coding-Oriented Video Segmentation Inspired By Mrf Models 1996-11-19 by R. Peschanski and S. Wallon Service de Physique Th'eorique, CEA-Saclay F-91191 Gif-sur-Yvette Cedex, FRANCE 1998-05-23 Photobook: Content-Based Manipulation of Image Databases 1995-07-05 A Matrix Dynamics Approach To Golomb's Recursion 1997-12-26 Automated Parameter Tuning In Stereo Vision Under Time Constraints 1995-01-17 Enhancements of Branch and Bound Methods for the Maximal Constraint Satisfaction Problem 1995-10-18 Richard J. Wallace Consistency and Correction of Line-Drawings, Obtained by Projections of Piecewise Planar Objects 1995-04-28 Anders Heyden The Migraine Project Knowledge Base Documentation 1993-12-16 Query Order in the Polynomial Hierarchy 1997-08-20 Feature Extraction and Learning Vector Quantization for Data Structures 1999-03-09 Guidelines for Mapping the IPTES Physical Model onto HLTPNs 1994-03-10 Open Problems in the Combinatorics of Visibility and Illumination 1999-01-05 Dynamically Controlling False Sharing in Distributed Shared Memory 1996-06-11 Why Optimistic Message Logging Has Not Been Used In Telecommunications Systems 1997-08-25 The Ontology Level 1998-04-27 Nicola Guarino An Evolutionary Approach to Combinatorial Optimization Problems 1994-09-06 GAPS++: An Internet-Based Petri Net Modeling And Simulation Architecture 1997-10-08 Results on Reasoning about Updates in Transaction Logic 1998-06-29 Anthony J. Bonner Optimal Early Stopping in Distributed Consensus Extended Abstract 1998-02-06 Integrable Smooth Planar Billiards and Evolutes 1997-04-19 Edoh Y. Amiran A Bottom-up Semantics for Constructive Negation 1998-07-12 Parallel Implementation of QRD Algorithms on the Fujitsu AP1000 1995-02-14 Cellular structures for E_n-operads 1999-02-26 Clemens Berger A Network Of Oscillating Neurons For Image Segmentation 1996-11-07 Metrics for Temporal Difference Learning Mance E. Harmon 1999-01-15 How to Improve Safety Critical Systems Standards 1997-03-04 Norman Fenton Extending consistent domains of numeric CSP 1999-04-06 Michel Rueher Variational Theory for Interpolation on Spheres 1997-08-01 First-Order Conditional Logic Revisited 1998-08-31 Composition and Structure of Protoneutron Stars 1998-05-25 Interactive Physically-Based Manipulation of Discrete/Continuous Models 1995-06-02 Notes on ERNE space instrument development: why not to use QFD next time? 1995-12-18 Antti Auer Critical Analysis Of A Stereo Vision-Based Guidance System 1999-02-25 Professor Alberto Broggi The Object-Oriented Database System Manifesto 1993-04-13 Techniques for Reducing Consistency-Related Communication in Distributed Shared Memory Systems 1994-06-29 Verb Movement and the Status of Subjects: Implications for the Theory of Licensing 1993-10-04 Grid Transfer Operators for Highly Variable Coefficient Problems 1995-01-30 A Fast Algorithm for the Computation and Enumeration of Perfect Phylogenies 1996-11-12 Resonance for 1998-05-14 Wellposed Problems of the Calculus of Variations for Nonconvex Integrals 1995-10-27 Tullio Zolezzi Stochastic Modelling and Analysis of Sub-pixel Edge Detection 1996-08-05 File System Organization 1993-03-05 A Uniform Tableaux Method for Nonmonotonic Modal Logics 1997-03-11 On the Power of Finite Automata with both Nondeterministic and Probabilistic States 1998-01-19 Genetic Drift in Sharing Methods 1994-07-30 Samir W. Mahfoud Tabu Search for Multiobjective Optimization: MOTS 1997-06-24 Michael Pilegaard Hansen Improving the Performance of Boosting for Naive Bayesian Classification 1999-01-14 An Analysis of Wide-Area Name Server Traffic 1992-05-11 Matematiqki Vesnik 1996-07-08 Building Consensual Knowledge Bases: Context and Architecture 1996-07-17 Topological Dilatonic SUPERGRAVITY THEORIES 1998-05-23 Structural Cut Elimination in Linear Logic 1994-12-28 Frank Pfenning Proximity Operators - So Near And Yet So Far 1997-03-10 Model-Based Matching of Line Drawings by Linear Combinations of Prototypes 1996-01-19 Charged Mesons 1996-07-23 Agent-Based Computing 1998-07-23 Michael Wooldridge Background 1998-03-16 Bettina Buth Foundational Calculi for Programming Languages 1996-08-18 Benjamin C. Pierce Blind Source Separation Of Nonlinear Mixing Models 1997-05-10 Bio-Molecular Shapes and Algebraic Structures 1996-08-08 Bound States and Scattering in Quantum Waveguides Coupled Laterally Through a Boundary Window 1997-04-26 A Generic, Peer-to-Peer Repository for Distributed Configuration Management 1996-04-14 will Be Inserted By Hand Later 1996-04-19 Multicluster, Mobile, Multimedia Radio Network 1999-02-06 On the Four Terms in the Middle Theorem for almost split sequences 1999-04-21 Henning Krause An Argument for a Runtime Layer in SPARTA Design 1994-03-14 Résolution D'Équations Dans Le Système T De Gödel 1996-05-23 A Genetic Algorithm for the Construction of Small and Highly Testable OKFDD-Circuits 1998-09-07 Newton-Type Methods With Generalized Distances For Constrained Optimization 1997-10-21 Load-Balancing Algorithms for the Parallel Community Climate Model 1995-02-15 Talking about AI: Socially-Defined Linguistic Subcontexts in AI 1995-01-05 An Analysis of two Compact Steep Spectrum Sources 1998-04-20 Compact elements in solvable real Lie algebras 1995-08-20 Karl H. Hofmann LU-Decomposition on a Massively Parallel Transputer System 1996-02-19 Memory-Based Learning: Using Similarity for Smoothing 1997-11-20 Representation and Computation for Crossed Modules 1995-11-23 Ronald Brown Restoration and Enhancement of Fingerprint Images Using M-Lattice - A Novel Non-Linear Dynamical System 1994-04-15 Logical Specification of Bulk Updates and Sequential Updates 1970-01-01 Centralized Arbitration in a Behavior-Based Architecture 1997-10-27 Julio K. Rosenblatt IDA-based Disk Arrays 1997-04-05 Azer Bestavros omTroll - Object Modeling in TROLL 1999-03-25 Adaptive Wormhole Routing in Hypercube Multicomputers 1994-08-09 A Bornological Approach to Rotundity and Smoothness Applied to Approximation 1996-06-24 John Read A Cost Evaluator for Parallel Database Systems 1997-07-07 On Randomized One-Round Communication Complexity 1995-03-05 Non-Coherent Sequence Detection of M-ary PSK 1998-11-19 Circle In The Round: State Space Attractors for Evolved Sighted Robots 1999-01-11 The Structures of Dislocations in GaAs and their Modification by Impurities 1995-03-24 On the approximation by Lüroth Series 1997-04-22 . The Relativity Principle: A Basic Physics Issue Behind A Debate On Priority 1997-12-02 Purely Infinite, Simple C*-Algebras Arising from Free Product Constructions, III 1998-11-04 Tests of Spatial and Temporal Parameters in a Sea Mine Detection Technique Based on Seismic Exploration Methods 1995-05-03 Consensus Based on Fuzzy Coincidence for Group Decision Making in Linguistic Setting 1996-02-23 A Methodology for Generating Efficient Disk-Based Algorithms from Tensor Product Formulas 1995-07-15 Two-Loop Renormalization Group Profile of the Standard Model and a New Generation 1998-12-18 Polar Varieties and Efficient Real Equation Solving: The Hypersurface Case 1997-06-06 Z Base Standard, Verson 1.0 1993-07-01 John Nicholls Relational Methods in Logic, Language and Information 1995-09-21 On the Size of the First Factor of the Class Number of a Cyclotomic Field 1995-09-05 Andrew Granville Rotating Dust Solutions Of Einstein's Equations With 3-Dimensional Symmetry Groups Part 3: All Killing Fields Linearly Independent Of 1997-08-01 Exposing the Skeleton in the Coordination Closet 1997-05-14 Hydra - Resolving a Parallel Nightmare 1995-11-16 Construction of Efficient Generalized LR Parsers 1997-11-11 Heisenberg Lie Bialgebras as Central Extensions 1998-10-06 Study of Light Yield of Scintillation Detector for Different Fibre Layouts 1998-03-31 Md. Azizur Rahaman Computation Of The Inner-Outer Factorization For Time-Varying Systems 1994-11-28 Alle-jan Van Der Veen Belief Ascription in Mixed Initiative Dialogue 1997-01-24 Mark Lee Therapy Plans as Hierarchically Structured Graphs 1997-01-16 Maintenance of a Minimum Spanning Forest in a Dynamic Plane Graph 1996-04-05 A Summary of Research on Parallel Genetic Algorithms 1995-07-12 Generalization 1998-08-20 Benjamin W. Wah The Parallel Approximability of the Fals True Gates Problems for Nor Circuits 1998-03-26 Unknown 1994-08-18 Dirac operators and Clifford analysis on manifolds with boundary 1998-01-06 David M. J. Calderbank Stochastic Finite Elements For Heterogeneous Media with Multiple Random Non-Gaussian Properties 1998-08-23 Roger Ghanem member A Grammar-based Approach to Design and its Application to Electronics and Logic Programming 1998-01-21 Fredrik Holmgren A Partial Logical Reconstruction of PLAKON/KONWERK 1998-04-08 A Scalable Paradigm for Effectively-Dense Matrix Formulated Applications 1995-06-22 Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks 1999-01-28 1 RECURSIVE DYNAMIC PROGRAMMING: HEURISTIC RULES, BOUNDING AND STATE SPACE REDUCTION Henrik Kure 1995-12-21 Henrik Kure An Evaluation of Storage Systems based on Network-attached Disks 1999-04-07 Issues For Proximate User Interfaces 1994-04-19 Realizations Of Causal Manifolds By Quantum Fields 1997-07-11 Heinrich Saller Key-Exchange in Real Quadratic Congruence Function Fields 1996-10-28 Disconnected Vertex Sets and Equidistant Code Pairs 1997-12-26 Willem H. Haemers Workshop on Adaptable and Adaptive Software 1995-12-06 Rapid Reinforcement Learning for Reactive Control Policy Design in Autonomous Robots 1998-12-19 Contributions of Ronald V. Book to the Theory of String-Rewriting Systems 1998-02-20 Robert Mcnaughton On the Fault Tolerance of Some Popular Bounded-Degree Networks 1997-07-16 F. Thomson Leighton SELECTIVE TRAINING FOR HIDDEN MARKOV MODELS with APPLICATIONS to SPEECH CLASSIFICATION 1999-04-28 Feature Selection vs Theory Reformulation: a Study of Genetic Refinement of Knowledge-based Neural Networks 1999-02-28 This work was sponsored by NSF under grants IRI-9400773 and IRI-9411334. 1997-11-29 Multivariate Statistical Techniques for Parallel Performance Prediction 1998-07-02 Indexing Multispectral Images for Content-Based Retrieval 1994-10-28 Power Analysis and Low-Power Scheduling Techniques for Embedded DSP Software 1995-10-20 Decision Trees for Automated Identification of Cosmic Ray Hits in Hubble Space Telescope Images 1995-02-16 A Framework for Prototyping and Mechanically Verifying User Interfaces 1995-04-06 A non linear stochastic differential equation involving Hilbert transform 1999-03-03 Method Integration for Experience-Based Learning 1992-07-09 A Fast Write Barrier for Generational Garbage Collectors 1998-11-25 Breaking Knapsack Cryptosystems by l_infinity norm Enumeration 1997-07-17 An Effective Additive Basis for the Integers 1996-05-08 Mihail N. Kolountzakis On the Information Content of Semi-Structured Databases 1970-01-01 Mark Levene Four-Dimensional Data Assimilation: Parallelization of an Optimal Interpolation Algorithm 1995-12-27 Cooperative Autonomous Low-cost Robots for exploring Unkown Enviroments 1995-07-20 Josep Amat Mixed Initiative Interaction in O-Plan 1998-12-23 Austin Tate Non-Determinism in a Functional Setting Extended Abstract 1995-12-20 The Program Understanding Problem: Analysis and A Heuristic Approach 1998-09-10 Dynamo: A Staged Compiler Architecture for Dynamic Program Optimization 1997-09-09 Evolution of the Topology and the Weights of Neural Networks using Genetic Programming with a Dual Representation 1997-02-14 General Purpose Optimistic Parallel Computing 1998-12-20 M.I.T. Media Lab Vision and Modeling Analyzing and Recognizing Walking Figures in XYT 1994-04-15 Case Studies on The Development of ScaLAPACK and the NAG Numerical PVM Library 1996-09-03 J. J. Dongarra Alignment and distribution is NOT always NP-hard 1998-07-11 Stochastic Simulation Algorithms for Dynamic Probabilistic Networks 1995-07-20 Nonlinear Volterra integro-differential equations - Stability and numerical stability of theta methods 1998-12-16 A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths 1996-09-16 Self-Organization of Distributed Document Archives 1999-04-26 Teaching an Agent to Test Students 1998-06-23 Galaxy Formation In A 1994-10-19 Nickolay Y. Gnedin Some Intricate Invariant Manifolds of Simple Dynamical Systems --- a Maple Story 1995-08-03 Using Verb Semantic Role Information to Extend Partial Parses via a Co-reference Mechanism 1998-09-23 Wavelets for Computer Graphics: A Primer - Part 2 1996-05-29 Techniques and Optimizations for Developing Irregular Out-of-Core Applications on Distributed-Memory Systems 1996-12-09 Peter Brezany Isotropic Clustering for Hierarchical Radiosity -- Implementation and Experiences 1998-08-05 A Category Based Approach for Recognition of Out-of-Vocabulary Words 1999-01-18 A Practical Method for Rigorously Controllable Hardware Design 1997-01-15 A Hierarchic World Model Supporting Video-Based Localization, Exploration and Object Identification 1996-01-12 Join Algorithm Costs Revisited 1997-12-09 Architectures for wireless ATM access 1998-02-20 Visualizing High-Dimensional Structure with the Incremental Grid Growing Neural Network 1995-04-24 Overcoming the myopia of inductive learning algorithms with RELIEFF 1996-06-11 Computing on Riemann Surfaces 1996-04-01 Patterns for Metamodeling 1998-09-22 Hafedh Mili An Efficient Cache-based Access Anomaly Detection Scheme 1998-05-28 The Electroweak Phase Transition in the MSSM 1998-12-18 Marta Losada Areas of Expertise 1994-06-22 Jonathan S. Kay Doing FLIPS: FLexible Interactive Presentation Synchronization 1994-09-07 Simple COMA Shared Memory and the RS/6000 SP 1998-12-14 Dean A. Liberty Polynomials, Constructivity And Randomness 1998-02-04 Generalized Multiresolution Analyses, And A Construction Procedure For All Wavelet Sets In 1998-01-22 Dynamic Server Selection using Bandwidth Probing in Wide-Area Networks 1996-03-21 Defining the Search Space for Query Optimization in a Heterogeneous Database Management System 1994-12-08 Cooperative Concurrency Control on the Web 1997-07-24 Symbolic Computation Of And With Offset Curves 1997-07-17 Symbolic User Model Representation in User Modeling Shell Systems 1996-05-06 Wolfgang Pohl Finite Dimensional Representations of Quantum Affine Algebras 1997-04-26 Blind Beamforming For Non Gaussian Signals. 1997-01-25 Antoine Souloumiac Some Issues in the Design of Market-Oriented Agents 1996-06-20 Configuration Management For Distributed Software Services 1996-06-17 The Hebbian paradigm reintegrated: Local reverberations as internal representations 1998-09-15 Daniel J. Amit The SwitchWare Active Network Architecture 1998-07-07 A Simple, Extendible ATM Switch with Load-balanced Rounding Copy Network 1998-01-06 An Optimal Multiedge Detector for SAR Image Segmentation 1998-09-27 Algorithmic Techniques in Verification by Explicit State Enumeration 1997-11-07 Ulrich Stern An Abductive Articulatory Recognition System 1970-01-01 HyperScribe: A Data Management Facility for the Dataflow Visualization Pipeline 1997-08-12 H. Wright A Toolkit and Methods for Internet Firewalls 1997-02-08 Asterix Data Analysis ASTERIX Programming Note 012 1997-10-08 Tj Ponman RECENT RESULTS FROM WA89 IN THE DOUBLE AND Xi 1994-08-16 COVARIANCE AND CONTRAVARIANCE:CONFLICT WITHOUT A CAUSE Giuseppe CASTAGNA 1996-05-23 Distributed Processes and Location Failures 1998-12-15 Robot Navigation with Online Control 1998-08-29 On Encouraging Coupled Views for Visualization Exploration 1999-02-11 Jonathan C. Roberts Towards a standard for an Agent Communication Language 1997-11-02 Numerical Experiments With An Overlapping Additive Schwarz Solver For 3-D Parallel Reservoir Simulation 1997-01-27 The Computational Complexity of Cartographic Label Placement 1999-02-11 Compiler-Controlled Multithreading for Lenient Parallel Languages 1995-01-25 A Multimedia Database Supporting a Generic Computer Based Quality Management System 1996-04-15 On Selecting Parametric Link Transformation Families in Generalized Linear Models 1996-09-11 Claudia Czado Visual Emotive Communication in Lifelike Pedagogical Agents 1998-08-26 Tactical Generation in a Free Constituent Order Language 1996-07-19 Finding the Best Viewpoints for Three-Dimensional Graph Drawings 1998-09-06 Daily Prediction of the Foreign Exchange Rate Between the US Dollar and the German Mark Using Neural Networks 1997-05-02 A Combinatorial Problem in Database Security 1997-12-09 Completeness for Nondeterministic Complexity Classes 1996-01-08 Consistent Checkpoints of PVM Applications 1994-10-25 Georg Stellner Unknown 1993-07-27 The Application of Program Slicing to Regression Testing 1998-12-11 David Binkley Outsourcing Software Applications Development: Issues, Implications, And Impact 1997-12-23 Ground States and Flux Configurations of the Two-dimensional Falicov-Kimball Model 1997-10-01 Spontaneous Interaction in Virtual Multimedia Space: EuroPARC's RAVE System 1998-09-17 Wendy E. Mackay An Evening with Berferd In Which a Cracker is Lured, Endured, and Studied 1996-10-03 Bill Cheswick An Example of 2-Dimensional Hyperbolic Group Which Can't Act on 2-Dimensional Negatively Curved Complexes 1999-03-25 Michael Kapovich Scaling Processors to 1 Billion Transistors and Beyond: IRAM 1997-02-10 Analysis of Software System Requirements Models 1996-03-19 Elizabeth Haywood Compressed Differences: An Algorithm for Fast Incremental Checkpointing 1998-02-02 Modeling Substrate Coupling Effects using a Layout-to-Circuit Extraction Program 1997-12-22 Real Theorem Provers Deserve Real User-Interfaces 1994-09-21 WebSPN: A WEB-accessible Petri Net Tool 1997-09-16 Worst-Case Identification of Nonlinear Fading Memory Systems 1995-06-14 Hierarchical Design of a Chemical Concentration Control System 1997-01-27 Unsupervised segmentation of Markov random field modeled textured images using selectionist relaxation 1997-11-10 Small group language tuition using multimedia conferencing over the JANET Mbone Service. 1997-06-06 Task Planning Agents in the UMDL 1997-07-29 Data Types, Infinity and Equality in System AF2 1970-01-01 Christophe Raffalli Context Preserving Crossover in Genetic Programming. 1994-06-17 Neural Nets with Superlinear VC-Dimension 1993-06-19 Wolfgang Maass Comparison of Discrete Subsample Time Delay Estimation Methods Applied to Narrowband Signals 1998-05-26 S R Dooley Computation of the Monodromy of the Generalized Hypergeometric Function 1996-06-25 Katsuyoshi Ohara by H. Quinn, SLAC The neutral 1996-07-23 H. Quinn An Empirical Study of Cross-loop Reuse in the NAS benchmarks 1995-12-11 Description and Use of Animal Breeding Data for Large Least Squares Problems 1970-01-01 Interaction Protocols in Agentis 1998-11-18 Modélisationà L'aide De Systèmes max,+ Linéaires 1995-11-07 Jean Mairesse Enhancing the Adoption of Formal Methods to Design Real-Time Systems 1996-09-11 On The Reduction Of Concatenation Artefacts In Diphone Synthesis 1998-08-25 Esther Klabbers Quantitative Methods for Design of Benchmark Suites 1998-12-22 Jozo J. Dujmovi'c The TDRBF: A Shift Invariant Radial Basis Function Network 1995-02-01 Fail-Stop Protocols: An Approach to Designing Secure Protocols 1997-10-14 An Attentional Prototype for Early Visoin 1993-03-05 The Amulet Environment: New Models for Effective User Interface Software Development 1996-11-11 Document Image Clean-Up And Binarization 1998-02-05 FTAG: A Functional and Attribute Based Model for Writing Fault-Tolerant Software 1996-05-22 Richard D. Schlichting The Image Shape Spectrum for Image Retrieval 1997-07-10 Chahab Nastar A New Presentation Language for Structured Documents 1996-06-28 Ethan V. Munson A Proposed Mobile Architecture for Distributed Database Environment 1998-11-28 Effecting Database Transformations Using Morphase 1996-02-24 Specification and Verification of Controlled Systems 1999-02-05 Specifying properties of Basic LOTOS processes using temporal logic 1970-01-01 Carron Kirkwood From Theory of Optimal Search to Sequential Paging in Cellular Networks 1996-07-01 Unknown 1997-07-26 Modelling a Business through Soft Systems Methodology in End-User Development: a Claim and an Approach 1995-06-21 Estimating the Inherent Parallelism in Prolog Programs 1992-11-24 Characterization of Narrow Band Filters for Infrared Astronomy. The Brgamma and H2 filters 1997-06-27 Optimal Folding Of Bit Sliced Stacks+ 1991-10-25 Using Continuations to Implement Thread Management and Communication in Operating Systems 1991-11-04 Circumstellar shells and mass loss rates: Clues to the evolution of S stars 1997-10-17 A. Jorissen Stereo Image Compression with Disparity Compensation Using the MRF Model 1999-02-08 Investigation Of Feel For 6dof Inputs: Isometric And Elastic Rate Control For Manipulation In 3d Environments 1998-01-19 Shumin Zhai Achieving Multigauge Behavior in Bit-Serial SIMD Architectures via Emulation 1997-09-28 Applications of the Linguistic OWA Operator in Group Decision Making 1996-10-31 Estimation of Propagation Delay considering Short-Circuit Current for Static CMOS Gates 1998-12-05 Restoration Of Spiky Signals : A New Optimal Estimate And A Comparison 1997-10-29 Combining Classical and Reactive Planning: the ABC² Model 1998-06-09 Daniel Borrajo Analogical Replay for Efficient Conditional Planning 1997-04-02 Point-based Temporal Extension of SQL 1997-04-17 David Toman Optimal Control Sequence For Underactuated Manipulators 1996-09-30 Boosting in the limit: Maximizing the margin of learned ensembles 1998-10-02 On Human Perception of Regular Repetitive Textures 1992-07-15 Leonard G. C. Hamey Technical Diagnosis of Telecommunication Equipment - An Implementation of a Task Specific Problem Solving Method TDFL using GCLA II 1995-04-12 Jonas Warnby A Theory Of Manipulation And Control For Microfabricated Actuator Arrays 1998-10-09 The Detection And Elimination Of Useless Misses In Multiprocessors 1995-09-14 War Games: Programming and Objects for Beginners - A Case Study Using C++ 1993-12-03 Owen Astrachan Probabilistic Duration Automata for Analyzing Real-Time Systems 1996-07-24 Inclusive Semileptonic Decays And The Structure Of B Mesons 1998-05-15 Tidy Animations of Tree Algorithms 1993-11-08 Demand-based Document Dissemination to Reduce Traffic and Balance Load in Distributed Information Systems 1997-04-06 Azer Bestavros Formal Specification and Verification of a Real-Time Kernel 1997-09-23 One-Third-Integrality in the Max-Cut Problem 1998-03-27 Handprinted Digit Triples in Lim Angle Space 1997-10-29 Patrick C Hew Accurate Projective Reconstruction 1994-12-22 Revised^4 Report on the Algorithmic Language Scheme 1991-11-12 Synthesis of Communicating Controllers for Concurrent Hardware/Software Systems 1998-06-17 Orchestrating Quartets: Approximation and Data Correction 1998-08-14 Onconvergence Of The Sequential Joint Maximization Method For Applied Equilibrium Problems 1996-12-10 Improving Data Locality with Loop Transformations 1997-02-14 Assessing Software Review Meetings: Results of a Comparative Analysis of Two Experimental Studies 1997-05-17 Hidden Algebra for Software Engineering 1998-11-09 Joseph A. Goguen The Theory of Fexprs is Trivial 1998-05-28 New Digital Magnetograph at Big Bear Solar Observatory 1997-08-08 A Retargetable Technique for Predicting Execution Time of Code Segments 1995-03-15 Real-Time Incremental Visualization of Dynamic Ultrasound Volumes Using Parallel BSP Trees 1996-04-26 Location-Aided Routing LAR in Mobile Ad Hoc Networks 1998-09-28 Elastic Labels: The Two-axis Case 1997-10-05 Detecting and Correcting Speech Repairs 1994-06-02 Structured Objects: Modeling and Reasoning 1996-01-11 Nonlinear Oscillations Of A Submarine Via Computer, Melnikov And Wavelet Approaches 1997-02-12 Exokernel: An Operating System Architecture for Application-Level Resource Management 1999-01-04 Multiple Inheritance via Intersection Types 1996-02-09 Measure, Stochasticity, and the Density of Hard Languages 1995-06-06 Independence Diagrams: A Technique for Visual Data Mining 1998-06-11 The Proton and the Photon, Who is Probing Who? 1998-05-24 Aharon Levy Perturbation Theory and Backward Error for AX - XB = C 1994-10-08 Distributed Systems Technology Survey 1996-10-01 Eric C. Cooper Tcl and the Tk Toolkit 1995-12-20 John K. Ousterhout Optimal Parametric Search on Graphs of Bounded Tree-width 1995-04-05 David Fern Andez-baca Distribution of Matrix Elements and Level Spacings for Classically Chaotic Systems 1997-04-26 Combining Process Algebras and Petri Nets for the Specification and Synthesis of Asynchronous Circuits 1996-10-23 Coreference and Modality 1998-01-07 A Scheme for Integrating Concrete Domains into Concept Languages 1995-12-04 Franz Baader Using Prolog for Biological Descriptions 1998-12-28 Andrew Taylor Bayesian Belief Update in Antiair Defense 1998-10-12 Users and Intermediaries in Information Retrieval: What Are They Talking About? 1997-08-05 Optimisation of Active Rule Agents using a Genetic Algorithm approach 1998-05-03 Excess of Pions With Chiral Symmetry Restoration 1998-05-24 Bridging The Gap Between The Design and Implementation of Hard Real-Time Systems 1996-09-14 Temporal Sequence Learning and Data Reduction for Anomaly Detection 1998-11-23 Observation of Resonances in the Reaction 1998-07-28 A Dynamic Disk Spin-Down Technique for Mobile Computing 1998-08-05 Active Documents as a Paradigm for Human-Computer Interaction 1996-08-21 Vincent Quint inria Presented by D. Pantea at ATLAS-Physics Workshop, Trest Castle, Czech Republic, 11-16 June 1995. 1995-09-14 Modeling Incremental Learning from Positive Data 1997-09-30 A Comparison Of Approximation Modeling Techniques: Polynomial Versus Interpolating Models 1998-12-15 Symbolic Computation in System Simulation and Design 1995-05-03 The Activity Image in Image Enhancement and Segmentation 1998-02-18 Adaptively Growing Hierarchical Mixtures of Experts 1997-02-06 Causal Deliveries In Unreliable Networks With Real-Time Delivery Constraints 1994-12-12 Staticand Adaptive Location Management in Mobile Wireless Networks 1996-05-08 Absolutely continuous spectrum for one-dimensional Schrodinger operators with slowly decaying potentials: some optimal results. 1997-06-21 Parallel Algorithm Fundamentals and Analysis 1993-07-15 YARTOS Kernel support for efficient, predictable real-time systems 1998-02-25 On Minimizing the Number of Test Points Needed to Achieve Complete Robust Path Delay Fault Testability 1997-01-28 Automatic Extraction and Measurement of Leukocyte Motion in Microvessels Using Spatiotemporal Image Analysis 1998-09-14 Incremental Clustering and Dynamic Information Retrieval 1997-02-24 White Noise Driven Stochastic Partial Differential Equations: Triviality and Non-Triviality 1970-01-01 Novel On-line Adaptive Learning Algorithms for Blind Deconvolution using the Natural Gradient Approach 1998-07-28 Routing in Regular Networks Using Rewriting 1994-10-27 Sharp Energy Estimates for Finite Element Approximations of Non-Convex Problems 1997-12-30 Model-Checking of Correctness Conditions for Concurrent Objects 1997-06-17 Pad'e Type Approximants With Preassigned Zeros 1997-06-06 Parallel Model-Based Diagnosis using PVM 1997-12-17 Workflow Modeling 1995-12-29 Invariance in Radial Basis Function Neural Networks in Human Face Classification 1995-02-02 Unknown 1999-01-07 The Multiprocessor as a General-Purpose Processor: A Software Perspective 1996-02-09 Map Data Layout. 1996-05-14 Vertex-To-Vertex Parallel Radiosity on Clusters of PCs 1997-08-25 Examples of Discrete Operators With a Pure Point Spectrum of Finite Multiplicity 1997-04-26 J. C. Guillot SIP Security Using Public Key Algorithms 1998-08-14 Conditional Subgradient Optimization --- Theory and Applications 1995-09-19 Partial Re-Execution: Complex Reconciliation of Transactions to Increase Concurrency in Objectbases 1998-10-02 Symbolic Integration Tutorial 1999-02-18 Existence of Solutions for Unilateral Problems With Multivalued Operators 1995-10-27 Anna Maria Rossi Webs of Archived Distributed Computations for Asynchronous Collaboration 1997-06-02 Visualizing Poincaré Maps Together With the Underlying Flow 1997-09-24 Aerodynamic Characteristics of an Aerospace Vehicle During a Subsonic Pitch-Over Maneuver 1995-11-02 William L. Kleb Quality Of Service Negotiation For Distributed Multimedia Applications 1995-09-11 A. Hafid Molecular dynamics for full QCD simulations with an improved action 1998-05-14 Xiang-qian Luo Algorithms for Quadratic Orders 1996-07-04 Ingrid Biehl Compactness Of Isospectral Compact Manifolds With Bounded Curvatures 1997-11-07 Gengqiang Zhou Control Uniqueness in Reconstructability Analysis 1996-12-20 Martin Zwick Rate-Controlled Static-Priority Queueing 1997-04-30 Addressing Partitioned Arrays in Distributed Memory Multiprocessors - the Software Virtual Memory Approach 1996-08-01 Rajeev Barua Legion - The next logical step toward the world-wide virtual computer 1997-02-10 Property Orientation in the Model Oriented Vienna Development Method VDM 1999-02-17 Automating Parallel Runtime Optimizations Using Post-Mortem Analysis 1996-03-08 Learning Probabilistic Subcategorization Preference and its Application to Syntactic Disambiguation 1997-05-12 Automatic Detection of Discourse Structure for Speech Recognition and Understanding 1997-11-03 Type-Based Decompilation 1998-11-02 Alan Mycroft Tarskian Set Constraints 1996-06-03 Event-by-Event Physics at the CERN SPS 1997-04-21 Thomas A. Trainor Lattice Gas Superfluid 1998-05-22 Jeffrey Yepez Non-Abelian Cohomology and Supermanifolds 1998-11-27 A. L. Onishchik History of "Church's theses" and a manifesto on converting physics into a rigorous algorithmic discipline 1999-03-08 Warren D. Smith A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP 1996-01-17 Proof of a Determinant Evaluation Conjectured by Bombieri, Hunt and van der Poorten 1997-11-16 Effects Of Smoothing On End-To-End Performance Guarantees For Vbr Video 1995-11-03 Edward W. Knightly Generally Applicable Heuristics for Global Optimisation: An Investigation of Algorithm Performance for the Euclidean Traveling Salesman Problem 1998-05-26 Grant Telfar Natural Gradient Works Efficiently in Learning 1997-05-10 Shun-ichi Amari The Social Aspect of Communication: A Case Study in the Use and Usefulness of Communication for Embodied Agents 1997-02-27 Logged Virtual Memory 1995-10-11 Conjunctive Query Containment Revisited 1998-06-03 P-CLASSIC: A tractable probabilistic description logic 1997-09-12 Building a Scalable and Efficient Component Oriented System using CORBA - Active Badge System Case Study 1998-09-30 XML, Java, and the future of the Web 1997-03-11 Integration of 2D and 3D Reasoning for Building Reconstruction Using a Generic Hierarchical Model 1997-05-28 Thomas H. Kolbe INQUERY at TREC-5 1997-05-05 A New Heuristic Layout Algorithm for Directed Acyclic Graphs 1997-11-10 Stefan Dresbach Dynamic Processor Scheduling with Client Resources for Fast Multi-resolution WWW Image Browsing 1997-05-14 Evolution of Mixed Maturation Strategies in Semelparous Life Histories: The Crucial Role of Dimensionality of Feedback Environment 1998-08-18 Efficient Implementation of Parallel Image Reconstruction Algorithms for 3D X-Ray Tomography 1996-03-21 The Finite Element Method With Anisotropic Mesh Grading for Elliptic Problems in Domains With Corners and Edges 1997-04-18 Circuit Evaluation: Thoughts on a Killer Application in DNA Computing 1998-06-25 A graphical MSC editor 1997-11-03 Non-Disjoint Unions of Theories and Combinations of Satisfiability Procedures: First Results 1998-04-17 Towards a Modeling Framework for Geoscientific Data 1994-09-07 Uniformly Hard Languages 1996-05-10 Reliable Audio for Use over the Internet 1997-01-10 A Representation of Media for Multimedia Authoring and Browsing Systems 1998-08-15 Evolutionary Programming and Evolution Strategies: Similarities and Differences 1994-09-06 Local Search Strategies for Satisfiability Testing 1996-08-30 Admissibility of Memorization Learning with Respect to Projection Learning in the Presence of Noise 1996-04-22 Reducing the Space Requirement of Suffix Trees 1998-12-28 Stefan Kurtz Compact Location Problems Extended Abstract 1998-04-06 On Queues with Interarrival Times Proportional to Service Times 1997-07-30 Summary, Dis 97 1997-08-20 George Sterman Disco: Running Commodity Operating Systems on Scalable Multiprocessors 1998-02-05 Connectionist Unification with a distributed Representation 1994-08-23 V. Weber Finding the Medial Axis of a Simple Polygon in Linear Time 1995-08-28 Parallel Algorithms for Computing Temporal Aggregates 1998-08-31 An Asynchronous Model of Locality, Failure, and Process Mobility 1999-02-03 Cosmological solutions of the Vlasov-Einstein system with spherical, plane, and hyperbolic symmetry 1998-05-12 Gerhard Rein Testing Software Suffering From Hardware 1997-12-22 An Excursion Set Model for the Distribution of Dark Matter and Dark Matter Haloes 1998-05-26 Ravi K. Sheth Non-Linear Multiresolution Relaxation for Alerting 1995-01-24 Almost every unit matrix is a ULU 1998-04-03 Tommaso Toffoli Cube-3: A Real-Time Architecture for High-Resolution Volume Visualization 1996-07-19 A Dynamic Coherence Protocol for Distributed Shared Memory Enforcing High Data Availability at Low Costs 1998-09-18 Theodore C. Belding 1995-05-06 Theodore C. Belding On the Measurability of the Conjugate and the Subdifferential of a Normal Integrand 1995-10-27 Christian Hess Interconnect Delay and Area Estimation for Multiple-Pin Nets 1999-04-23 Autonomous Learning of Sequential Tasks: Experiments and Analyses 1998-08-28 Linear Models For Spatial Or Temporal Multivariate Data 1996-07-15 Approximations Of Quasistationary Distributions For Markov Chains 1997-04-25 Notes On "Open" Addressing 1997-11-10 Don Knuth A Complete Bibliography of Publications in Mathematics of Computation, 1960-1969 1998-11-07 Arithmetic of a certain Calabi-Yau threefold 1997-09-29 H. A. Verrill Scalable Image and Video Coding Using Wavelet Decomposition 1996-05-23 Wen-hung Liao The Future for Weightless Systems 1997-06-06 Nick Bradshaw On Semi-Completeness of Term Rewriting Systems 1998-04-02 Bernhard Gramlich An Assume-Guarantee Rule For Checking Simulation 1998-05-05 Belief Propagation and Revision in Networks with Loops 1997-11-14 Yair Weiss Program Speedups in Theory and Practice 1995-04-06 Neil D. Jones Design of an Embedded Video Compression System - A Quantitative Approach 1994-11-04 Raul Camposano Non-nested and non-structured multigrid methods applied to elastic problems. Part II: The three-dimensional case 1998-07-29 Resolving File Conflicts in the Ficus File System 1994-04-08 On-line Addendum to Sequential Inductive Learning 1995-08-29 Jonathan Gratch An efficient algorithm for finding the M most probable configurations in probabilistic expert systems 1998-01-14 D. Nilsson Avoiding Overfitting with BP-SOM 1998-02-17 Queueing Delays in Rate Controlled ATM Networks 1997-11-03 Planification Et Contrôle D'exécution D'opérations De Manipulation De Pi`eces M'ecaniques Par Un Robot Mobile/manipulateur Dans Un Contexte De Maintenance. 1998-04-09 Model-Based Object Recognition - A Survey of Recent Research 1994-04-09 Arthur R. Pope The Impact of Self-Similarity on Network Performance Analysis 1998-08-13 Modeling Beliefs In Dynamic Systems 1999-02-11 Nir Friedman Eye Movements in Visual Cognition: A Computational Study 1997-03-21 Reversibility in Optimally Scalable Computer Architectures 1997-09-05 Automatically Acquiring Rules for Event Correlation From Event Logs 1997-12-11 Adaptive Passive Velocity Field Control 1999-03-05 Perry Y. Li Facilitators: A Networked Computing Infrastructure for Distributed Software Interoperation 1995-10-14 On Computing Local and Global Similarity in Images 1998-02-05 Invariant Fourier-Wavelet Descriptor For Pattern Recognition 1998-06-08 Decoding Choice Encodings 1997-03-05 June 24, 1996 1996-06-23 Fukui Rei The Role of Video in Broadband Communications: Enabler and Enhancer of Applications, or Hype? 1995-05-18 Gunnar Karlsson D. J. Allan 1996-07-27 Barriers to Effective Process Architecture --- An Experience Report 1998-09-09 The Role of Trace Modulation in Building Mobile Computing Systems 1997-05-29 Variational Computation of Homoclinic Orbits for Twist Maps 1994-10-13 Eduardo Tabacman Hive: Operating System Fault Containment For Shared-Memory Multiprocessors 1997-12-01 John Chapin ILP and Automatic Programming: Towards Three Approaches 1998-01-19 Pierre Flener A Diagnostic Reasoning Model Based On The Criticality Of Assumptions 1999-03-12 A Knowledge-Based Approach for Searching Semi-Structured Documents 1998-03-20 Xiaoying sharon Gao From TLT modules to stream processing functions 1996-02-14 Stephan Merz Some Preliminary Experiments with the Financial "Toy-Room" 1999-01-05 Visual Gesture Recognition 1998-08-11 Constraint-Based Type Inference and Parametric Polymorphism 1998-11-25 Ole Agesen On 2-armed Gaussian Bandits and Optimization 1996-06-07 Real-life Application of TEX and Adobe Acrobat for Electronic Publishing: a Handbook of Algebra and a Journal Archive 1998-02-21 Proving Properties of States in the Situation Calculus 1994-04-18 Raymond Reiter Computational Pragmatics in HCI: Using Dialog Context in a MultiModal Interface 1996-04-10 Manuel A. Pérez-quiñones Robot Localization using a Computer Vision Sextant 1997-06-22 A Simply Constrained Optimization Reformulation Of Kkt Systems Arising From Variational Inequalities 1970-01-01 StarT-Voyager: A Flexible Platform for Exploring Scalable SMP Issues 1970-01-01 Dynamic Linear Time Temporal Logic 1998-04-02 Compton Observatory Osse Observations Of Supernova 1991t 1997-10-08 Allan Jepson 1995-10-26 Allan Jepson Dialog Act Modeling for Conversational Speech 1970-01-01 On Schappert's characterization of strictly unimodal plane curve singularities 1998-02-03 Input Segmentation of Spontaneous Speech in JANUS: a Speech-to-speech Translation System 1997-02-06 Parallel Rejectionless Annealing for Discrete Combinatorial Optimisation 1997-02-20 Connecting Test Coverage to Software Dependability 1994-07-25 Dick Hamlet Wavelet Threshold Estimators for Data With Correlated Noise 1996-08-21 Asymptotic Stability of a 9-point Multigrid Algorithm for the Convection-Diffusion Equations 1997-03-22 Jules Kouatchou The Computational Complexity Column 1999-03-18 The Accommodating Function - a generalization of the competitive ratio 1998-12-22 ? 1995-01-09 FORTH-ICS / TR-214 February 1998 An Evaluation of Pricing Schemes that are based on Effective Usage 1998-02-19 Database Systems for Efficient Access to Tertiary Memory 1995-12-23 Sunita Sarawagi A Critique of C++ and Programming and Language Trends of the 1990s 1996-11-06 Ian Joyner Addressing User Misconceptions within a Goal-oriented, Turn-taking Framework in Dialogue 1997-10-03 A Case Study of Shared Memory and Message Passing: The Triangle Puzzle 1995-05-20 Kevin Lew Negation And Minimality In Disjunctive Databases 1995-08-31 Fundamental Tensor: On the Geometry of Three Perspective Views 1994-11-06 The Ada Compiler Validation Capability acvc Version 2.0 User's Guide 1995-02-10 High-Performance All-Software Distributed Shared Memory 1996-02-27 Symbolic Distributed Representations 1970-01-01 Semantics and Compilation of Recursive Sequential Streams in 8½ 1997-06-10 Classes vs. Prototypes - Some Philosophical and Historical Observations 1996-09-27 Antero Taivalsaari Efficient Variable Ordering Heuristics for Shared ROBDD 1996-02-22 A Connectionist Parser with Recursive Sentence Structure and Lexical Disambiguation 1992-09-16 George Berg A Convex Programming Approach for Exploiting Data and Functional Parallelism on Distributed Memory Multicomputers 1994-09-01 The Network RamDisk : Using Remote Memory on Heterogeneous NOWs 1998-09-17 Configuration Management: Introducing procedures in two industrial companies 1997-04-03 Making the future safe for the past: Adding Genericity to the Java 1998-08-05 Probabilistic Object Recognition using Multidimensional Receptive Field Histograms 1997-12-17 Non-Heuristic Optimization and Synthesis of Parallel-Prefix Adders 1997-07-28 Reto Zimmermann Parallel Functional Programming withSkeletons: the ocamlp3l experiment 1998-09-20 Lemma and Cut Strategies for Propositional Model Elimination 1997-12-15 Many Faces of the Correlation Coefficient 1997-11-24 Benefits of Speedup Knowledge in Memory-Constrained Multiprocessor Scheduling 1996-07-09 Context-Specific Independence in Bayesian Networks 1996-06-13 Theoretical Analysis of the Heterogeneous Dynamic Load Balancing Problem Using a Hydro-Dynamic Approach 1996-03-05 Performance Visualisation in a Portable Parallel Programming Environment 1994-02-09 Dealing With Expected and Unexpected Obstacles 1997-01-13 Reflections With Respect To Submanifolds In Contact Geometry 1995-11-22 Improving the Effectiveness of Software Prefetching With Adaptive Execution 1996-08-22 A Framework for Structuring Group Support in LSDCs 1995-03-10 A Semantic View On Distributed Computability And Complexity 1996-12-21 E. Goubault Large automorphism groups of 16-dimensional planes are Lie groups 1997-11-05 Python and Java: The Best of Both Worlds 1997-11-06 Jim Hugunin On The Rapid Computation Of Various Polylogarithmic Constants 1996-02-16 Adi Methods For Cubic Spline Collocation Discretizations Of Elliptic Pdes 1997-02-12 P. Tsombanopoulou An Investigation of Noise-Tolerant Relational Concept Learning Algorithms 1998-12-29 Linkage Identification by Non-monotonicity Detection for Overlapping Functions 1999-02-04 2-Categorical Specification of Partial Algebras 1997-09-24 Uwe Wolter Negative Thinking by Incremental Problem Solving: Application to Unate Covering 1997-10-31 Unsymmetric-pattern multifrontal methods for parallel sparse LU factorization 1991-09-06 Effects of Sonic Line Transition on Aerothermodynamics of the Mars Pathfinder Probe 1995-04-20 On the Misuses of Artificial Neural Networks for Prognostic and Diagnostic Classification in Oncology 1997-06-25 Developing Open Systems Using Theories and Models of the World 1999-01-05 Recursive Least Squares with stabilized inverse factorization. 1998-09-14 Convergence Analysis of Canonical Genetic Algorithms 1994-09-08 Unter Rudolph Critical behaviour of the three-dimensional gonihedric Ising Model 1997-10-03 A Geometrical Approach to Super 1998-05-25 A new version of Toom's proof 1995-04-20 AConceptual Approach to the Integration of Agent Technology in System Management 1996-11-05 Eric Leung 1997-04-29 Semantic and Schematic Similarities between Database Objects: A Context-based approach 1995-10-22 Bayesian Network Models of Subcategorization and Their MDL-Based Learning from Corpus 1997-10-13 Real-Time Emulations of Bounded-Degree Networks 1998-03-05 A Homogenized Model for Vortex Sheets 1995-06-09 Yann Brenier Optimistic Parallel Simulation of Reliable Multicast Protocols 1997-12-11 Efficient Layering for High Speed Communication: the MPI over Fast Messages FM Experience 1999-02-16 Computation of Structural Invariants of Generalized State Space Systems 1997-03-06 Superexponential Stability Of Kam Tori 1997-04-26 Lineal Measures of Clustering in Overlapping Particle Systems 1997-08-25 J. Quintanilla A Propositional Modal Logic of Time Intervals 1996-10-02 A Generic Approach to the Formal Specification of Requirements 1999-03-04 Evolving Sorting Networks using Genetic Programming and the Rapidly Reconfigurable Xilinx 6216 Field-Programmable Gate Array 1998-08-14 Expanding the Domain of a Multi-lingual Speech-to-Speech Translation System 1997-08-07 On the Implementation of an Asymmetric Hyperspace in Linear Memory: Implementing Tuple Spaces 1996-12-02 Duncan K. G. Campbell Automatic Data Layout With Read-Only Replication and Memory Constraints 1997-11-20 Ulrich Kremer A Hardware Implementation Of A Binary Neural Image Processor 1997-03-24 A molecular dynamics study of the pores formed by Escherichia coli OmpF porin in a fully hydrated Palmitoyloleoylphosphatidylcholine bilayer 1998-06-12 Reasoning With Cause And Effect 1999-03-27 Strong Points of Weak Convergence: A Study Using RPA Gradient Estimation for Automatic Learning 1999-03-12 Felisa J. V'azquez-abad The Design and Implementation of Arjuna 1995-03-10 Using a Conceptual Graph Framework for Image Retrieval 1995-09-12 Computation And Bifurcation Analysis Of Periodic Solutions Of Large-Scale Systems 1999-01-26 Secure Electronic MarketPlace for Europe 1997-12-11 A Practical Version of the Generalized Lagrange Algorithm 1996-08-22 Curvatures Of Conflict Surfaces In Euclidean 3-Space 1999-03-12 Evolving Neural Networks to Focus Minimax Search 1994-03-10 ECWA Made Easy 1995-09-05 Vladimir Lifschitz An Alternative Proof That the Fibonacci Group 1996-08-21 Derek F. Holt Deconstructing the Digit Recognition Problem 1994-07-05 Cullen Schaffer A Simple Subexponential Time Algorithm for Hamiltonian Circuit 1999-03-17 CLPR and Some Electrical Engineering Problems 1992-12-10 Asynchronous Software Inspection 1997-12-16 Robustness Measurement: An Approach To Assessing Simulation Program Reliability 1997-08-05 Global Self Organization of All Known Protein Sequences Reveals Inherent Biological Signatures 1997-12-01 See Me, Hear Me: Integrating Automatic Speech Recognition And Lip-Reading 1995-08-22 Virtual Theories 1995-08-07 Paul Curzon Modelling Interactions in Agent System 1995-08-22 Mauro Gaspari The discrete algebraic Riccati equation and linear matrix inequality 1999-01-28 Spectral Deformations of Jacobi Operators 1997-05-13 Gerald Teschl Aesthetics of Newspaper Layout - and a Survey on Architecture Determining Algorithms 1995-12-18 Morten Buhr Providing Reliable Agents for Electronic Commerce 1998-03-25 Kurt Rothermel The Internet Worm Incident 1993-11-30 Eugene H. Spafford A Secure, Robust Watermark for Multimedia 1997-04-09 Amalgamating Knowledge Bases, II: Distributed Mediators 1998-09-05 Sibel Adali A Wavelet Approach to Compressed Image Quality Measurement 1996-11-11 First-Order Future Interval Logic 1994-04-20 Integrating Energy Planning and Techno-Economic Development: A Solid Basis for the . . . 1997-11-13 A Variational Approach to Subdivision 1995-12-12 Leif Kobbelt On Checking Timed Automata for Linear Duration Invariants 1998-05-20 Multi-Agent Simulation of Complex Heterogeneous Models in Scientific Computing 1997-02-23 Singular Integral Transforms and Fast Numerical Algorithms 1998-05-20 Gibbs States Of The HopfieldModel In The Regime Of Perfect Memory 1993-05-18 Anton Bovier A Performance Evaluation of Text Analysis Technologies 1998-03-06 Head-driven Parsing for Lexicalist Grammars: Experimental Results 1994-11-24 A Curry-Howard foundation for functional computation with control 1996-10-28 Higher-order Unification with Dependent Function Types 1994-03-18 Conal M. Elliott Branch Instrumentation in SUIF 1996-01-04 A Survey of Methods for Computing Large Sparse Matrix Exponentials Arising in Markov Chains 1996-04-02 Coupling Evaluators for Attribute Coupled Grammars 1995-02-15 Learning Algebraic Structures from Text 1998-10-27 Practical Bounded-Skew Clock Routing 1997-10-21 Discrete Coefficients Filter Banks and Applications in Image Coding 1995-11-22 Programmable Reverse Engineering 1999-02-09 A Computational Market Model for Distributed Configuration Design 1994-04-11 Michael P. Wellman Disoriented Chiral Condensates: A Dynamical Simulation In The 2+1-Dimensional Gross-Neveu Model 1998-05-14 Canonical Forms and Conservation Laws in Linear Elastostatics 1998-01-05 Specifying Visual Languages with Conditional Set Rewrite Systems 1995-10-02 Learning Compliant Motions by Task-Demonstration in Virtual Environments 1998-04-23 G. Hirzinger Global Asymptotic Stabilization of a Spinning Top With Torque Actuators Using Stereographic Projection 1998-09-01 Transaction Reordering in Replicated Databases 1998-08-28 Some New Features In Genetic Solution Of The Traveling Salesman Problem. 1996-11-01 Deriving the Interpretation of Rhetorical Questions 1997-05-18 Preliminary Design of JML: A Behavioral Interface Specification Language for Java 1998-07-09 Exploiting Parallelism in Knowledge Discovery Systems to Improve Scalability 1998-02-17 Tools and Techniques for Automatic Data Layout: A Case Study 1997-09-12 Multiscale Air Quality Modeling of the Northeastern United States 1996-11-04 Armistead G. Russell An Overview of Temporal Backpropagation 1997-08-15 R. Timothy Edwards The RX Document Version 1.0 X11 Release 6.3 1996-12-18 Force and Vision Resolvability for Assimilating Disparate Sensory Feedback 1998-12-17 Shell Effects in Neutron Capture on Pb 1998-02-06 An End-to-End Reliable Multicast Protocol Using Polling for Scaleability 1998-02-26 Cartan algebras in symmetric Lie algebras 1995-08-21 Norbert D Orr Two Controlled Experiments Assessing the Usefulness of Design Pattern Information During Program Maintenance 1998-03-16 Modelling the Perception of Illusory Contours: Linking Gestalt-Laws and cortical Oscillations 1997-01-21 Winfried A. Fellenz Improving Responsiveness for Wide-Area Data Access 1997-07-31 Mass Transfer and Accretion in the Eccentric Neutron-Star Binary Circinus X-1 1998-06-22 Ultraviolet dominance of power corrections in QCD? 1997-12-11 Integrating Referring and Informing in NP Planning 1998-06-11 The Evolution of Viscous Inclined Disks in Axisymmetric and Triaxial Galaxies 1995-12-19 Fast Density and Probability Estimation Using CF-Kernel Method for Very Large Databases 1996-09-26 One-To-Many Mappings, Continuity Constraints And Latent Variable Models 1999-04-16 Miguel A. Carreira-perpinan Solving Linear Recurrences with Loop Raking 1997-02-04 Improving Goodput by Co-scheduling CPU and Network Capacity 1999-02-22 Blue Straggler Stars In The Globular Cluster M53 1997-03-03 The Optimal Effectiveness Metric for Parallel Application Analysis 1998-08-14 Multimedia Information Disclosure in a Distributed Environment 1996-10-08 Daan Velthausz What is in a Statechart: On the Semantics of Steps 1995-01-12 Andrew C. Uselton Gemmw: A Portable Level 3 Blas Winograd Variant Of Strassen's Matrix--Matrix Multiply Algorithm 1997-06-25 Simple Multireader Registers using Time-Stamp Schemes Extended Abstract 1997-12-08 Management and Delivery of Multimedia Traffic 1995-05-14 Panos K. Chrysanthis Learning to Schedule Straight-Line Code 1997-09-12 An Approach to Quality of Service Control in Telecommunication Networks 1996-07-30 A. Rueda Gamma-Accurate Failure Detectors 1996-07-22 Mixing of Random Walks and Other Diffusions on a Graph 1997-02-07 FromTo/JK: A Japanese-Korean Machine Translation System 1999-02-13 Graph Decompositions and Factorizing Permutations 1997-09-11 A BDD-based Verification Engine for Combinational Equivalence Checking 1997-12-22 C. A. J. Van Eijk Domain Decomposition for Kinetic and Aerodynamic Equations 1997-03-13 Klar Axel A Blind Frequency Domain Method For Ds-Cdma Synchronization Using Antenna Arrays 1998-10-15 The Raw Compiler Project 1997-10-13 Are the Field Strength Tensors for the Hypercharge 1998-06-03 On Fast Array Data Dependence Tests 1999-01-28 Digital Dynamic Telepathology -- the Virtual Microscope 1998-09-05 Experimental Investigation of Generic Three-Dimensional Sidewall-Compression Scramjet Inlets at Mach 6 in Tetrafluoromethane 1998-01-14 Envelope Solitons on Two-Dimensional Lattices With in-Plane Displacements 1970-01-01 Parallel Multilevel And Multigrid Methods 1997-06-25 Craig C. Douglas Exon Shuffling in Protein Evolution: Evidence from Reading Frame Statistics 1997-11-06 Adaptive Models for Input Data Compaction for Power Simulators 1998-10-07 W. Scott Reilly Joseph Bates June 1995 1995-06-06 Analysis of pure PROLOG programs 1998-07-13 A Propositional Logic With 4 Values: True, False, Divergent and Meaningless 1997-03-03 Rewriting Aggregate Queries Using Views 1999-03-01 The ISOLET Spoken Letter Database 1995-12-22 ... Corrections to Current Correlators 1997-11-25 Matthias Steinhauser On the Role of Vector Supersymmetry in Topological Field Theory 1998-05-23 Optimizing Circuits with Confidence Probability Using Probabilistic Retiming 1998-03-06 Joining and Rotating Data with Molecules 1998-08-10 Confluence properties of Weak and Strong Calculi of Explicit Substitutions 1998-11-24 Pierre-louis Curien Implementing Voice Recognition And Natural Language Processing In The Npsnet Networked Virtual Environment 1996-11-16 Parallel Dynamic Programming 1992-09-22 Zvi Galil Toward Practical Applications of Software Synthesis 1997-01-04 Semantic Verb Classes in the Analysis of Head Gapping in Japanese Relative Clauses 1997-11-05 Pure Type Systems with definitions 1996-07-08 Syntax-Based Default Reasoning as Probabilistic Model-Based Diagnosis 1994-11-02 A Model for Worldwide Tracking of Distributed Objects 1996-07-04 A Lagrangian Relaxation Method for Approximating the Analytic Center of a Polytope 1995-09-22 SoftSound Limited 1998-01-13 Tony Robinson Small Forbidden Configurations 1996-11-06 Consistent yet Anonymous Web Access with LPWA 1998-12-11 A Concurrent Architecture for Serializable Production Systems 1970-01-01 Jos'e Nelson Amaral Increasing Effective IPC by Exploiting Distant Parallelism 1999-01-04 Large scale renormalisation of Fourier transforms of self-similar measures and self-similarity of Riesz measures 1998-02-18 Cnrs Luminy Sales Forecasting Using Neural Networks 1998-03-16 GATE -- a General Architecture for Text Engineering 1996-04-28 The HEGRA 1996-07-23 Achieving Dependability in Mission-Critical Operating Systems Through Adaptability and Large-Scale Functional Integration 1997-10-21 Texture Analysis Using Feature Based Pairwise Interaction Maps 1998-03-03 Dmitry Chetverikov parcPlan: a Planning Architecture with Parallel Actions, Resources and Constraints 1997-11-13 Finer Control of Weakening and Contraction: Towards a Separated-Linear Lambda Calculus Summary 1996-09-24 John Maraist A Hybrid Agent Architecture For Reactive Sequential Decision Making 1998-10-28 Complete Contingency Planners 1995-10-10 Ad Insertion At Proxies to Improve Cache Hit Rates 1999-03-25 TR-511-96 Purely Functional Representations of Catenable Sorted Lists. 1996-02-08 A Note on Sums of Primes 1995-09-05 Andrew Granville Image Denoising Via Lossy Compression And Wavelet Thresholding 1997-08-01 Mobile Agents for Adaptive Routing 1998-10-01 An Active Resistor Mesh for Image Processing Based on Cortical Perceptual Processing 1996-05-10 A Semantics of Compile-time Reflection 1970-01-01 Published in 1996-09-27 Wolfgang Broll Combining State Space Caching and Hash Compaction 1996-07-09 Performance of Muse on Switch-Based Multiprocessor Machines 1995-10-19 Non-Intrusive Gaze Tracking Using. . . 1998-07-14 Stochastic Complexity Measures for Physiological Signal Analysis 1999-01-20 An Efficient Transient Versioning Method 1997-10-27 A Discussion on Explicit Knowledge 1998-12-11 A Comment on a Paper by Dadhich and Patel Alan 1970-01-01 Alan Barnesy Gnus 5.4.56 Manual 1997-06-08 Lars Magne Ingebrigtsen Zurich iKP Prototype ZiP Cryptographic Library Specification 1996-03-20 Fyi M. Steiner Divisibility Properties of Functions Counting Subgroups of Finite Index in Virtually Free Groups 1999-04-21 Anja Gabriele Meyer Blocks Of Fully Graded Rings 1999-02-16 fl-Ray Emission in Solar Flares 1997-11-24 Supporting Highly Manageable Web Services 1997-03-06 Parallel Matrix Transpose Algorithms On Distributed Memory Concurrent Computers 1994-10-08 PHYSICAL MODELLING OF MUSICAL INSTRUMENTS: analysis-synthesis by means of state space representations 1998-01-23 Optimal Time Broadcasting in Faulty Star Networks 1998-12-25 An Introduction to Disk Drive Modeling 1995-04-29 The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages 1997-11-11 Asymmetry in the Diurnal Variation of Surface Albedo 1997-11-26 Fast Deterministic Parallel Branch-and-Bound 1999-03-12 Wavelet-based Texture Analysis 1998-07-15 A General Duality Principle for the Sum of Two Operators 1996-06-24 H. Attouch Coordination of Distributed Knowledge Networks Using Contract Net Protocol 1998-10-22 Separation-Sensitive Collision Detection for Convex Objects 1998-10-01 Wellposed Problems of the Calculus of Variations for Nonconvex Integrals 1995-10-27 Tullio Zolezzi Anonymous Secret Sharing Schemes 1998-07-15 Two Np-Complete Augmentation Problems 1997-03-14 Some New Results On The Initial Transient Problem 1995-08-28 Peter W. Glynn ADA's Virtual Node based Water System Simulator 1995-07-25 A Digital Fountain Approach to Reliable Distribution of Bulk Data 1998-07-17 A New Class of ENO Schemes Based on Unlimited Data-Dependent Least-Squares Reconstruction 1998-08-24 Carl F. Ollivier-gooch BENEDICT: An Algorithm for Learning Probabilistic Belief Networks 1996-07-08 Luis M. De Campos Tutte's 5-Flow Conjecture for Graphs of Nonorientable Genus 5 1999-04-21 Eckhard Steffen Message Handling System: User's Manual UCI Version November 30, 1993 6.8.3 1UCI 1993-11-29 A Case Study in Approximate Linearization: The Acrobot Example 1992-07-14 Query Translation Using Evolutionary Programming for Multi-lingual Information Retrieval 1996-10-11 Rate of Change and other Metrics: a Live Study of the World Wide Web 1998-06-12 Slow stochastic Hebbian learning of classes of stimuli in a recurrent neural network 1998-03-11 Constructing the real numbers in HOL 1995-05-18 John Harrison Using Student Modelling To Determine When And How To Hint In An Intelligent Tutoring System 1996-10-14 Gregory D. Hume Foreign Event Handlers to Maintain Information Consistency and System Adequacy 1999-04-01 Policy-Driven Fault Management in Distributed Systems 1997-12-04 Finding Free Registers 1998-05-29 Temporal Adaptation in a Silicon Auditory Nerve 1992-01-20 John Lazzaro Indexing and Retrieval of MPEG Compressed Video 1998-05-11 The Constrainedness of Arc Consistency 1997-07-14 Artificial Neural Nets Applied to Strategic Games 1996-05-15 Peer Sommerlund Weak homogenization of anisotropic diffusion on pre-Sierpi'nski carpets. 1997-09-15 Mean oscillation of functions and the Paley-Wiener space 1997-05-01 Rodolfo H. Torres PACLIB User Manual 1997-04-08 Size Separation Spatial Join 1997-02-19 Sparse Connection And Pruning In Large Dynamic Artificial Neural Networks 1997-05-20 Knowledge and 1998-06-08 Hierarchical Ring Topologies and the Effect of their Bisection Bandwidth Constraints 1996-08-28 Use Approximation Hardness to Achieve Dependable Computation 1998-07-26 Information Technology - Open Systems Interconnection, Data Management And Open Distributed Processing- Basic Reference Model Of Open Distributed Processing - Part 2: 1998-11-10 Paraphrasing and Aggregating Argumentative Text Using Text Structure 1998-05-07 MPEG Processing and Machine Organization: Finding A Long-Term Architectural Solution for Desktop Multimedia Systems 1995-08-30 Peter Soderquist Greedy Randomized Adaptive Search Procedures For The Steiner Problem In Graphs 1998-06-19 Process Scheduling and Program Monitoring on Transputers 1998-12-20 Asynchronous Optimistic Rollback Recovery Using Secure Distributed Time 1998-10-06 Enhancing the Visualization of Characteristic Structures in Dynamical Systems 1998-02-02 alpha-Hölder linearization 1997-09-23 Victoria Rayskin A Note On Computational Indistinguishability 1999-02-07 Oded Goldreich Soccer Server: a tool for research on multi-agent systems 1997-08-13 Stochastic programming: Approximation via scenarios 1997-06-06 Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization 1995-11-15 Techniques for Empirical Testing of Parallel Random Number Generators 1998-03-30 A Contextual Blind Separation Of Delayed And Convolved Sources 1997-02-05 The Expressiveness of a Family of Finite Set Languages 1996-08-07 Security Issues in Mobile Database Access 1998-07-06 Astrid Lubinski Texture-Based Image Segmentation and MMAP for Digital Libraries 1997-09-23 A Methodology for High-Level Synthesis of Communication on Multicomputers 1997-01-08 Evaluation of a Semi-Autonomous Assistant for Exploratory Data Analysis 1997-05-01 Automated Hexahedral Mesh Generation by Virtual Decomposition 1996-04-06 Design of a Thinwire Real-Time Multiprocessor Operating System 1994-12-19 Charles-antoine Gauthier A Fuzzy Logic Approach to Computer Software Source Code Authorship Analysis 1998-02-11 Evaluation of Alternative Data Speculation Approaches for Superscalar Processors 1998-01-30 Jos González Frobenius's degree formula and Toda's polynomials 1995-08-10 Jin-yi Cai A Clinician's Tool for Analyzing Non-compliance 1997-05-24 David Maxwell Chickering Generalized Standard Bases With Applications To Control 1994-02-04 Equipe De Calcul Formel Bayesian seismic waveform inversion: Parameter estimation and uncertainty analysis 1997-12-08 The Design of Real-Time Extensions To The Open Object-Oriented Database System 1996-06-24 New Bounds for Codes Identifying Vertices in Graphs 1999-02-12 Performance Analysis of Data Parallel Programs 1997-01-27 On Generative Parallel Composition 1998-05-20 Machine-Level Class Representation For An Adaptive Object-Oriented Operating System 1996-03-06 Exploring Load Balancing in Parallel Processing of Recursive Queries 1997-10-03 Commit Processing in Distributed Real-Time Database Systems 1996-09-12 Nonstationary Iterated Tikhonov Regularization 1996-07-25 VC Dimension of an Integrate-and-Fire Neuron Model 1996-11-07 Abstraction and the CSP Phase Transition Boundary 1997-05-02 Robert Schrag Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering 1998-12-15 Mixing and Radiative Corrections at LEP I 1998-05-14 A. Leike A Generalized Analysis Technique for Queueing Networks with Mixed Priority Strategy and Class Switching 1999-05-06 Concrete Domains 1994-09-20 The Discrete Wavelet Transform in S 1994-07-11 Inductive Proofs with Sets, and some Applications in Process Algebra 1997-03-03 Jos Van Wamel Seeing Behind Occlusions 1994-02-10 Constraint Programming in Constraint Nets 1993-05-10 Operational Profile Specification, Test Case Generation, and Reliability Estimation for Modules 1970-01-01 Denise M. Woit On-line Generalized Steiner Problem 1996-03-12 Recent Advances In Video Compression 1997-07-08 An Agent and an Environment: A View on "Having Bodies" - A Case Studyon Behavior Learning for Vision-Based Mobile Robot - 1996-11-21 Minoru Asada Learning Knowledge-Based Systems and Control of Complex Systems 1997-05-16 Dominique Luzeaux Rectilinear Path Problems Among Rectilinear Obstacles Revisited 1994-08-05 Chung-do Yang Analogy Makes Proofs Feasible 1995-04-25 On the Gravity Renormalization Off Shell. 1998-05-05 Calculation Rule for Aoyama-Tamra's Prescription for Path Integral with Quantum Tunnelling 1998-05-14 Concepts of Object-Orientation 1999-03-25 Optimizing Queries for Coarse Grain Parallelism 1994-03-01 Representation, Similarity, and the Chorus of Prototypes 1995-06-04 Shimon Edelman Adept - A task based design environment 1995-06-19 CLAM Specification for Provably Correct Compilation of CLPR Programs 1996-06-24 Kazhdan--Lusztig Polynomials For Certain Varieties Of Incomplete Flags 1997-04-23 A. Vainshtein Random Sampling from Databases 1997-05-05 Frank Olken Assumptions for Fault Tolerant Quantum Computing 1996-08-06 Mean-Field Equations for Spin Models with Orthogonal Interaction Matrices 1995-03-08 Evaluation of Gallager Codes for Short Block Length and High Rate Applications 1999-01-06 Decomposition Of Block Toeplitz Matrices Into A Sum Of Kronecker Products With Applications In Image Restoration. 1970-01-01 James G. Nagy Performance Issues of Enterprise Level Web Proxies 1997-03-07 On the Attainable Order of an s-stage, Continuous, Symplectic Nyström Method 1994-06-27 Arne Marthinsen On the Level Sum of Two Convex Functions on Banach Spaces 1996-06-23 M. Volle Entropy Tests for Random Number Generators 1997-03-12 Aaldert Compagner Incremental Collection of Mature Objects 1992-06-25 Chain-Split Evaluation in Deductive Databases 1970-01-01 Jiawei Han Analysis for a Molten Carbonate Fuel Cell 1996-06-14 Efficient Estimation of Multipath Channels 1999-03-25 Alex J. Grant Experiences With Super, A Database Visual Environment 1997-02-08 Matrix Algorithms using Quadtrees Invited Talk, ATABLE-92 1993-02-19 David S. Wise The Sequential Probability Ratio Test 1998-02-17 Robert L. Pihl An Information-theoretic Approach for Statistical Regression with Model Growth by Bifurcations 1995-12-10 Inference in the Resolution of Ellipsis. 1997-05-07 Reinforcement Learning: A Survey 1996-05-14 BEAST: A fast block cipher for arbitrary blocksizes 1997-03-06 Georg--august--universitat Gottingen Architecture-Independent Parallelism for Both Sharedand Distributed-Memory Machines using the Filaments Package 1999-03-05 A Possibilistic Assumption-based Truth Maintenance System with Uncertain Justification and its Application to Belief Revision 1997-06-27 An Application of Klop's Counterexample to a Higher-Order Rewrite System 1998-07-06 Dan Nesmith Conditions for the Joint Emergence of Orientation and Ocular Dominance in a High-Dimensional Self-Organizing Map 1997-05-21 Pattern Recognition System with Top-Down Process of Mental Rotation 1999-02-26 On the QR algorithm and updating the SVD and URV decomposition in Parallel 1997-01-15 Mining Knowledge at Multiple Concept Levels 1998-05-04 Jiawei Han An Information-theoretic Approach for Statistical Regression with Model Growth by Bifurcations 1995-12-10 Similarity Measures for Convex Polyhedra Based on Minkowski Addition 1997-10-24 A Teaching Strategy for Memory-Based Control 1995-12-06 Steven L. Salzberg NSK, an Object-Oriented Simulator Kernel for Arbitrary Feedforward Neural Networks 1996-03-25 Machine Learning of Computer Vision Algorithms 1994-03-10 X3H7 Technical Committee Object Information Mnagement Interim Report 1998-11-07 Frank Manola Basis for a Consensus Model in Group Decision Making with Linguistic Preferences 1996-01-31 Finding Optimum Wavefront of Parallel Computation 1994-07-25 Evaluation of KQML as an Agent Communication Language 1995-11-07 Understanding Manipulation in Video 1996-08-28 Matthew Brand A Direct Manipulation Interface to an Extensible Object-Oriented 1995-03-10 Vibration Control of Structures Utilizing Architectural Walls 1997-04-09 Visualization Of Rule Behaviour In Active Databases 1998-10-16 Tomas Fors Representing Systems of Interacting Components in EUCLID Extended Abstract 1995-11-28 Mechanics for Vibratory Manipulation 1997-01-30 Overview of F-logic from Database Transformation Perspective 1996-09-19 Patrick Van Bommel Implementation of the RASSP SAR Benchmark on the Intel Paragon 1995-12-06 Typed Logics With States 1997-07-08 Jan Van Eijck Cv 1999-02-17 Learning With Unreliable Boundary Queries 1997-06-26 Bernhard Gramlich 1997-01-14 Bernhard Gramlich A Semantics for a Class of Stratified . . . 1994-06-28 Louiqa Raschid Wavelet Approach to Nonlinear Problems, III. Symplectic Topology and Symplectic Scales 1997-05-31 Symplectic Scales On the Declarative and Procedural Semantics of Definite Metalogic Programs 1997-08-11 Detecting and Resolving Inconsistency and Redundancy in Conditional Constraint Satisfaction Problems 1998-10-13 Using Graph Transformation Techniques for Integrating Information from the WWW 1998-10-21 Lukas C. Faulstich A Communication Kernel for Parallel Programming Support on a Massively Parallel Processor System 1995-06-22 The Covers Of A Circular Fibonacci String 1995-12-30 Colour Model Selection and Adaptation in Dynamic Scenes 1998-10-09 Thermal Simulation of Pipeline Flow 1997-01-27 A Fast Hill-Climbing Approach Without an Energy Function for Probabilistic Reasoning 1996-02-20 Eugene Santos Car-Like Robots and Moving Obstacles 1998-04-09 Fault-Tolerant Wormhole Routing in Meshes 1993-05-29 InterPay: Managing Multiple Payment Mechanisms in Digital Libraries 1996-03-02 Capacity Planning With Phased Workloads 1998-10-16 PROPOSAL TO CONTINUE THE STUDY OF CHARMONIUM SPECTROSCOPY IN PROTON-ANTIPROTON ANNIHILATIONS Revised proposal P-835 1997-12-09 Fusion of Audio and Video Information for Multi Modal Person Authentication 1998-05-05 NONLINEAR HYDRODYNAMICS OF COSMOLOGICAL SHEETS I. NUMERICAL TECHNIQUES AND TESTS Wenbo Y. Anninos and Michael L. Norman 1994-05-03 A Comparison of two Energy Minimization Methods for Graph Matching 1970-01-01 Workflow Applications to Research Agenda: Scalable and Dynamic Work Coordination and Collaboration Systems 1997-07-10 Type-Theoretic Methodology For Practical Programming Languages 1998-09-24 SOM PAK: The Self-Organizing Map Program Package 1996-11-02 On the Use of Perceptual Cues and Data Mining for Effective Visualization of Scientific Datasets 1998-09-20 Christopher G. Healey Heuristic Search for Distributed Constraint Satisfaction Problems 1970-01-01 Software Reengineering Patterns 1998-03-12 A Maximum Entropy Model for Prepositional Phrase Attachment 1997-12-07 Analyticity for the Kuramoto-Sivashinsky Equation 1992-10-23 Stacked Generalization: when does it work? 1997-10-07 The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite 1999-02-09 Probabilistic Kernel Regression Models 1998-11-03 Augmenting the Human-Machine Interface: Improving Manual Accuracy 1998-12-17 Lock-Free Distributed Objects: A Shared Spreadsheet 1998-02-20 Towards a notion of Personal Ontology 1998-12-07 Optimal Combined Task and Message Scheduling in Distributed Real-Time Systems 1970-01-01 Generalized Schur algorithm 1995-05-11 A Formal Framework for Linguistic Annotation 1999-03-02 Minimal Cycle Bases of Outerplanar Graphs 1998-01-14 Peter F. Stadler Implicit Object Constructions and the Intransitivity Continuum 1997-04-24 An Experimental Comparison of Recurrent Neural Networks 1996-03-14 Canonical Forms in Dag Algebras Extended Version 1998-11-03 Dorel Lucanu Arithmetic properties of the Nörlund polynomial B n x 1997-12-23 Futures for Partitioning in Physical Design 1998-02-26 Andrew B. Kahng From ALPHA to Imperative Alpha to Imperative Code: A Transformational Compiler for an Array Based Functional Language 1998-08-10 Doran K. Wilde ASM Description with LIDEX 1994-07-01 Run-Time Parallelization: A Framework For Parallel Computation 1995-09-21 Lawrence Rauchwerger Hidden Coinduction: Behavioral Correctness Proofs for Objects 1999-01-31 Joseph A. Goguen Astronomy And Astrophysics 1998-12-14 V. Thorsson Of Elephants and Men 1994-12-02 Transformation Systems at NASA Ames 1999-04-03 DL Techniques for Intensional Query Answering in OODBs 1995-11-22 User's Guide to AMSFonts Version 2.2 1995-02-15 Glueball Masses in 1998-05-15 Shuo-hong Guo An Empirical Study of Fortran Programs for Parallelizing Compilers Zhiyu Shen i P Zhiyuan L en-Chung Yew 1970-01-01 Parallel Algorithms for Higher-Dimensional Convex Hulls 1995-04-06 Reasoning About Oject-Oriented Programs That Use Subtypes 1992-02-17 Gary T. Leavens Unknown 1999-01-21 Agent Theories, Architectures, and Languages: A Survey. : References 1998-02-20 A Method For The Fast Learning Of Efficient Reaching Movements 1995-11-25 Etienne Burdet Probabilistic Resource Failure in Real-Time Process Algebra 1998-08-06 Integrating Semantic and Neural Networks for Active Robot Vision 1997-03-03 Georg Hartmann Predictive Role Taking in Dialog: Global Anticipation Feedback Based on Transmutability 1996-05-06 Architectural Issues in Adopting Distributed Shared Memory for Distributed Object Management Systems 1998-06-11 An Improved Hash-based Join Algorithm in the Presence of Double Skew on a Hypercube Computer 1997-08-11 Manipulator Control with Superquadric Artificial Potential Functions: Theory and Experiments 1999-02-08 Richard Volpe Formalising Design Exploration As Co-Evolution: A Combined Gene Approach 1995-06-28 Developing an Interactive Illustration: Using Java and the Web to Make It Worthwhile 1999-01-20 A Wire Basket Based Method for Spectral Elements in Three Dimensions 1993-12-16 Luca F. Pavarino The Impact of Synchronization and Granularity on Parallel Systems 1970-01-01 Hidden Time Model for Specification and Verification of Embedded Systems 1998-11-04 Noise Amplification in a stochastic Ikeda model 1996-10-11 A Design Study of the EARTH Multiprocessor 1995-11-16 Dynamics and Controllability of a Planar Rigid Body with a Thruster 1998-09-01 Stochastic Simulation of Event Structures 1996-11-13 Quality Of Service In Multimedia Networks 1999-01-13 Separation and Composition of Concerns 1996-12-05 Mehmet Aksit Relaxation to equilibrium for two dimensional disordered Ising systems in the Griffiths phase 1997-04-28 Intersheet Spacing Control and Controllability of a Copier Paperpath 1998-01-22 Tomohiro Kawakami 1997-05-23 Tomohiro Kawakami The Formal Theory of Birth-and-Death Processes, Lattice Path Combinatorics, and Continued Fractions 1999-05-03 Free Profinite Semigroups Over Semidirect Products 1999-04-16 A Point-based Temporal Extension of SQL 1998-08-05 David Toman Programming Language Semantics in Foundational Type Theory 1998-03-05 Karl Crary On Simple and Secure Key Distribution 1994-12-29 Robust Adaptive Flow Control in High Speed Telecommunication Networks 1996-08-13 Some Recent Results on Feedback Regularization of Navier-Stokes Equations 1998-08-30 Context-sensitive Conditional Expression Reduction Systems 1997-05-01 Plasticity-Mediated Competitive Learning 1995-01-25 Yes/No Questions and Answers in the Map Task Corpus 1997-07-12 Guidelines for Preparing a Paper for the European Conference on Artificial Intelligence 1995-09-01 Self-Similarity and Finite Time Intermittent Effects in Turbulent Sequences 1996-03-26 Algorithms for Arbitrary Precision Floating Point Arithmetic 1998-05-14 Douglas M. Priest Cyclostationarity in Rotating Machine Vibrations 1998-04-14 A C Mccormick Effective Clustering of Records for Fast Query Processing 1996-11-15 Efficient Parallelism via Hierarchical Tiling 1994-10-01 Metaprogramming in Oberon 1995-06-21 Metaprogramming In Oberon Predictor-corrector algorithms for solving P*-matrix Lcp from arbitrary positive starting points 1995-02-17 Whitehead Graphs on Handlebodies 1996-12-13 On the Exclusion of Forest Minors: A Short Proof of the Path-Width Theorem 1999-04-21 Buildings and Non-positively Curved Polygons of Finite Groups 1998-11-10 Paul R. Brown A Neural Network Model of Causality 1998-10-28 Ron Sun Causality in Dense Matter 1998-05-11 Image Retrieval Using Scale-Space Matching 1996-01-06 Improved Approximation Algorithms for Maximum Cut and Satisfiability Problems Using Semidefinite Programming 1997-10-02 A Cascadable VLSI Design For GENET 1994-07-12 Text Structure Modelling and Language Comprehension Processes 1998-11-06 Phase Transitions in Hierarchical Models: The Role of Coupling Coefficients 1997-04-26 J. Rodrigo Parreira A Computational Theory of Vocabulary Acquisition 1998-05-26 Application of Network Calculus to Guaranteed Service Networks 1997-11-13 Jean-yves Le Boudec LogicBase: A Deductive Database System Prototype 1970-01-01 Versatility for Unknown Worlds: Mobile Sensors and Self-reconfiguring Robots 1998-12-07 Two Complementary Course Sequences on the Design and Implementation of Software Products 1997-01-20 Generating Fractals from Voronoi Diagrams 1998-06-13 Ken Shirriff Some Combinatorial Aspects of Reduced Words in Finite Coxeter Groups 1996-03-28 John R. Stembridge An Implementation Of The Qmr Method Based On Coupled Two-Term Recurrences 1995-10-24 Journal of Graph Algorithms and Applications 1999-02-02 A Study On Natural Language Call Routing 1999-01-27 A Programmed Graph Rewriting System for Software Process Management 1996-07-02 Toward Computing Systems for the 2000's 1991-12-10 Mario Tokoro On Querying Spreadsheets 1998-01-28 Image Warping Using few Anchor Points and Radial Functions 1995-01-23 Self-Testing Polynomial Functions Efficiently and over Rational Domains 1997-09-04 Iconic-Symbolic Interfaces 1996-02-02 Communication Sensitive Rotation Scheduling 1998-09-24 Gender Swapping on the Internet 1998-01-12 Amy S. Bruckman An Energy-Minimizing Interpolation For Multigrid Methods 1997-01-30 W. L. Wan Wavelets And Local Regularity 1997-10-23 Patrik Andersson The Rate of Error Growth In Hamiltonian-Conserving Integrators 1994-09-15 Exploiting Scheduling Freedom in Controller Synthesis 1995-06-02 Asymptotic error expansion of wavelet approximations of smooth functions II 1995-07-19 Wim Sweldens Optimal Exploration of the Unrolling Degree for Software Pipelining 1996-10-09 Ontology Construction and Natural Language 1998-01-19 John A. Bateman Modeling And Comparison Of Wormhole Routed Mesh And Torus Networks 1997-10-30 The Lazer Mckenna Conjecture for Radial Solutions in the 1996-06-15 A Volume Estimate For Piecewise Smooth Metrics On Simplicial Complexes 1997-08-13 Werner Ballmann Faulty RSA encryption 1997-12-02 Evaluation of 3D Reconstruction Algorithms for a Small Animal PET Camera 1997-06-05 ACL - Eliminating Parameter Aliasing with Dynamic Dispatch 1999-02-10 Developing a Practical Projection-Based Parallel Delaunay Algorithm 1997-02-04 Tracking Multiple Talkers Using Microphone-Array Measurements 1996-12-12 Training Neural Networks Using a Genetic Algorithm and an Iterated Pseudo-Inverse 1970-01-01 Time Out of Joint: Attractors in Asynchronous Random Boolean Networks 1997-05-08 The Next 700 Slicing Criteria 1997-10-20 Representation With ReceptiveFields: Gearing Up for Recognition 1993-08-04 Efficient Decision-Theoretic Planning: Techniques and Empirical Analysis 1995-05-24 A Lower Bound for Schur Numbers and Multicolor Ramsey Numbers of 1997-12-26 Geoffrey Exoo Runtime Support for Virtual BSP Computer 1998-03-21 Noodle: A Language for Declarative Querying in an Object-Oriented Database 1999-02-16 Is the Neocognitron Capable of State-of-the-art Digit Recognition? 1997-01-23 From Queueing Networks to Markov Chains: The XMARCA Interface. 1996-08-09 Smooth Low Degree Approximations of Polyhedra 1998-07-22 An Architectural Framework for Domain-Oriented Software Generators 1998-08-20 S. Vicente Multimedia information processing in the SWAN mobile networked computing system 1996-11-06 Algebraic Multigrid Solver for Discrete Elliptic Second Order Problems 1970-01-01 Ferdinand Kickinger Integrable Majorant Of The Partial Sums For Multiple Haar Series 1997-06-24 Computational Questions of Equilibrium Calculation with Application to Nonlinear Aircraft Dynamics 1998-02-27 Linear Prediction: Mathematics and Engineering 1997-09-26 The Wavelet Variance, Allan Variance and Leakage 1997-01-03 The Role of Network Traffic Statistics in Devising Object Migration Policies 1996-11-26 Weblint: Just Another Perl Hack 1998-06-15 Neil Bowers On the Existence of Schedules that are Near-Optimal for both Makespan and Total Weighted Completion Time 1997-07-28 Modular Operational Semantic Specification of Transport Triggered Architectures 1996-12-20 Proof of Heteroclinic Orbit in One-Dimensional Arrays of Discretely-Coupled Cells 1997-12-22 Uncertainty in the Modelling Process 1995-06-01 Andrew J. G. Cairns Hearing Beyond the Spectrum 1995-11-09 Learning of Resource Allocation Strategies for Game Playing 1996-08-19 The Complexity of LocalProof Search in Linear Logic Extended Abstract 1996-10-31 Modelling Multimedia and Hypermedia Applications using an E-LOTOS/MHEG-5 Approach 1997-11-12 Sirocco: Cost-Effective Fine-Grain Distributed . . . 1998-08-10 Perspectives of Multimedia Systems 1995-07-28 A Bayesian Analysis of the Threshold ARMA Model 1995-12-01 Pedro A. Morettin Scale-based Clustering using the Radial Basis Function Network 1995-04-04 Utilising Past Event Histories in a Process-Centred Software Engineering Environment 1998-08-12 A Retina-like Image Representation of Primal Sketch Features Extracted using a Neural Network Approach 1998-08-06 Scheduler Activations on BSD: Sharing Thread Management Between Kernel and Application 1970-01-01 Model-Free Estimation of Some Yield Metrics in Integrated Circuit Fabrication 1996-05-30 Test Case Generation as an AI Planning Problem 1996-03-08 Nonlinear Prediction of Chaotic Time Series Using Support Vector Machines 1997-05-13 {keith,margo}@eecs.harvard.edu 1997-06-26 Parsing Spontaneous Speech: A Hybrid Approach 1994-06-23 Thomas S. Polzin Query Processing in a Parallel Object-Relational Database System 1997-05-09 A State Space Approach for Constructing MDS Rate 1/n Convolutional Codes 1998-04-20 Efficient Prolog: A Practical Guide 1994-02-01 Michael A. Covington Comparing the Performance and Programmability of the DASH and Cedar Multiprocessors for Scientific Loads 1995-12-13 PASSION: Parallel And Scalable Software for Input-Output 1997-01-27 Partial Derivatives of Regular Expressions and Finite Automata Constructions 1995-02-15 Valentin Antimirov Image Retrieval Using Linear Greyscale Granulometries 1998-05-12 D'ornellas M. C A Parallel Implementation of the Nonsymmetric 1997-10-01 Information Science Research Institute 1994 Annual Research Report 1995-04-26 Parametric Partially Exchangeable Models for Multiple Binary Sequences 1997-09-25 Weak Semistable Reduction In Characteristic 0 Preliminary Version 1997-07-22 Dan Abramovich Avoiding Confusion in Metacircularity: The Meta-Helix 1996-07-09 Planning Persuasive Argument 1997-04-18 A Strategic Metagame Player for General Chess-Like Games 1993-09-06 Barney Pell .5 1 1998-05-06 Program Dependence Graphs for the Rest of Us 1993-12-13 Status of the Control System for the CLAS Detector at Jefferson Lab 1998-04-01 Effective Bandwidths in Wireless Networks with Multiuser Receivers 1998-04-02 Observation of Open Charm Production in e-p Collisions at HERA 1995-09-14 Y. Eisenberg An Implemented Model of Punning Riddles 1998-04-09 Kim Binsted Integrated PVM Framework Supports Heterogeneous Network Computing 1996-12-13 Gravitational Microlensing, The Distance Scale, And The Ages 1995-08-01 Bohdan Paczy AudioFile: A Network-Transparent System for Distributed Audio Applications 1997-09-03 A Natural Definition of Random Language 1997-10-20 Keith Wansbrough Automated Stream-Based Analysis of Fault-Tolerance 1999-02-12 Analysis of a Scheduler for a CAD Framework 1999-04-30 On the power of shared object types to implement one-resilient Consensus 1997-02-05 Piecemeal Graph Exploration by a Mobile Robot 1998-09-25 Online Learning From Finite Training Sets and Robustness to Input Bias 1998-07-14 The Axial Anomaly Revisted 1997-04-26 Paul Federbush Low-Power Logic Styles: CMOS vs CPL 1997-07-28 Reto Zimmermann Simultaneous Multithreading: Maximizing On-Chip Parallelism 1998-03-30 CLAIRE: a brief overview 1998-08-18 A Global Dynamical Model of M87 1998-11-05 Aaron J. Romanowsky Comparison of the Layout Synthesis of Radix-2 and Pseudo-Radix-4 Dividers 1970-01-01 T.g. O'neill 1999-02-17 T. G. O'neill Lost Intuitions and Forgotten Intentions 1998-08-20 Minimum Mean Square Estimation And Neural Networks 1998-09-08 Capacities: From Information Theory to Extremal Set Theory 1995-12-21 The Simultaneous Spectrum Of Sgr A* From 1999-01-27 A Mathematical Analysis Of Actor-Critic Architectures For Learning Optimal Controls Through Incremental Dynamic Programming 1997-07-04 A Deterministic Particle Method For One-Dimensional Reaction-Diffusion Equations 1997-02-20 Michael Mascagni A Transparent Light-Weight Group Service 1997-06-19 Data Movement in Kernelized Systems 1993-01-13 Trojan: A High-Performance Simulator for Shared Memory Architectures 1998-12-21 Origin Tracking in Primitive Recursive Schemes 1993-12-24 Arie Van Deursen Local Isometry Classes Of Riemannian 3-Manifolds With Constant Ricci Eigenvalues 1996-07-19 Feature Selection For Pattern Recognition A Study for Human Bandend Chromosome Karyotyping 1996-12-05 Nonlinear Dynamic Model of Flexible Robot using augmented bodies 1997-05-28 Probabilistic Retiming: A Circuit Optimization Technique 1998-04-03 Copy Detection Mechanisms for Digital Documents 1996-03-02 Sharp Bounds on Heat Kernels of Higher Order Uniformly Elliptic Operators 1997-04-26 The Design and Implementation of Tripwire: A File System Integrity Checker 1994-01-21 Toric Varieties and Algebraic Monoids 1995-08-21 Karl-hermann Neeb Revisiting DMT's Peak-to-Average Ratio 1998-09-23 Sharp Trace Regularity for the Solutions of the Equations of Dynamic Elasticity 1997-02-05 Mary Ann Horn A Method for Conceptual Modelling of Real-Time Expert Systems for Monitoring and Control 1995-11-08 -- 1 -- STATISTICAL CONNECTIONS BETWEEN THE PROPERTIES OF TYPE Ia SUPERNOVAE AND THE B--V COLORS OF THEIR PARENT GALAXIES, AND THE VALUE OF H 1995-11-20 Constraints on Supergravity Chaotic Inflationary Models 1998-05-14 Real-Time Computing with Lock-Free Shared Objects 1995-07-14 Published in Proc. of ASPLOS-VI, October 1994 1 1995-04-07 The Maximum Entropy On The Mean Method, Noise And Sensitivity 1997-10-29 Measurements Of Four-Fermion Production Via Neutral Electroweak Currents At Lep 1997-06-26 Michael Kobel A Quantum Theory Of The Mind--Brain Interface 1998-04-23 Transport by Vector Fields with Kolmogorov Spectrum 1998-11-04 Leonid Koralov Open Strings and Dualities 1998-12-18 Massimo Bianchi The Power Spectrum of Galaxy Clustering in the Las Campanas Redshift Survey 1996-02-20 The Two-Point Function and the Effective Magnetic Field in Diluted Ising Models on the Cayley Tree 1997-04-26 The Center of the Dipper Donkin Quantized Matrix Algebra 1997-05-05 Statistical Properties of Fermionic Molecular Dynamics 1996-09-13 A Model of the Acquisition of Spatial-Relation Concepts and Words 1997-05-27 Specification of Diagram Editors Providing Layout Adjustment with Minimal Change 1998-11-10 Custom Memory Placement for Parallel Data Mining 1997-11-12 An Artificial Discourse Language for Collaborative Negotiation 1994-12-07 Candace Sidner Airline Crew Scheduling with Potts Neurons 1998-07-31 A Case Base Exploration Tool 1998-01-26 Blocked and Free Access Real-Time Splitting Protocols 1997-07-23 Fluid-Structure Interaction For Structural Design 1999-02-09 Tutoring Bishop-Pawn Endgames: An Experiment in Using Knowledge-Based Chess as a Domain for Intelligent Tutoring 1999-02-05 Flow control considerations in network-based architectures Ph.D. Project report by G.Ngai 1997-11-12 Constructing Finite-Context Sources From Fractal Representations of Symbolic Sequences 1999-02-19 Confidence Regions for Spectral Peak Frequencies 1998-05-02 Parameter Estimation in Large Dynamic Paired Comparison Experiments 1998-10-20 Mark E. Glickman The Logic Programming Paradigm 1998-09-23 Voxel Based Approaches to the Statistical Assessment of Functional Brain Mapping Experiments 1996-06-13 A. P. Holmes Coarse-Grained Reverse Engineering of Genetic Regulatory Networks 1999-03-08 What Patient Information Allows Us to Make Accurate Predictions of Outcome? 1996-11-18 Reasoning with Precedents in a Dialogue Game 1997-07-31 QCD Scaling Violation at Small 1998-05-15 Classification System For Visual Programming Languages 1994-09-17 Case Study: How Modeling Revealed Serious Performance Problems in Distributed DCE Systems 1999-01-07 A New Approach to Perspective Views of Spherical Coordinate Functions 1998-07-31 An LALR Extension for DCGs in Dynamic Programming 1997-01-24 Residual Algorithms: Reinforcement Learning with Function Approximation 1997-07-04 Leemon Baird Open Key Exchange: How to Defeat Dictionary Attacks Without Encrypting Public Keys 1997-06-02 Stefan Lucks A System for Typesetting Mathematics 1997-10-31 Transformation Invariant Image Indexing And Retrieval For Image Databases 1997-01-07 Hep-Th/9701153 1998-05-24 System Level Verification of Video and Image Processing Specifications 1996-02-08 Size Invariance By Dynamic Scaling in Neural Vision Systems 1997-02-14 Critical Factors in the Evolution of Logic Programming and Prolog 1995-02-01 A User-Friendly On-Line Submission System 1998-04-24 Ordinal Measures for Image Correspondence 1998-02-21 Comparison of Genetic and Other Unconstrained Optimization Methods 1995-11-28 Antti Autere Completing Open Logic Programs by Constructive Induction 1999-01-08 Periodicity and Transport from Round-Off Errors 1996-08-21 Semidefinite Programming Techniques for Reduced Order Systems with Guaranteed Stability Margins: A Numerical Study 1999-01-27 DROLAP - A Dense-Region Based Approach to On-line Analytical Processing 1999-03-23 Unknown 1996-09-12 Alewife Systems Memo 31 1994-10-25 Anshu Aggarwal Sharing Common Subexpressions in EM code Programs 1994-10-14 David J. Sherman Resource Scheduling in Enhanced Pay-Per-View Continuous Media Databases 1997-06-28 Shape-based Tracking and Analysis of the Aorta in Cardiac MR Images Using Geometrically Deformable Templates 1996-05-07 The Protogalactic Origin for Cosmic Magnetic Fields 1996-08-07 II Introductory Note to Part C 1998-11-11 A Customized Communication Subsystem for FT-Linda 1995-07-08 Three Self-Consistent Kinematics in 1+1D Special-Relativity 1996-04-05 P. Fraundorf Analysis of Fractal Operator Convergence by Graph Methods 1999-02-10 An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams 1995-06-06 Analysis of Packet Loss Processes in High-Speed Networks 1996-11-11 Desire: Modelling Multi-Agent Systems In A Compositional Formal Framework 1998-05-11 Monte Carlo Implementation of Gaussian Process Models for Bayesian Regression and Classification 1997-01-20 Radford M. Neal An Evaluation of State Sharing Techniques in Distributed Operating Systems 1995-04-21 Automatic heart localization from a 4D MRI dataset 1997-01-17 Wolfgang Sorgel A Declarative Debugger for a Logical-Functional Language 1995-09-07 LPSP - A linear plan-level stochastic planner 1998-12-11 Performance analysis of a constrained Yule-Walker frequency estimator 1998-02-04 Appendix D Visual Parallel Programming in Monads-DPV---Methodology and Case Studies for a Layered Approach 1996-04-15 A Formalisation of Evolving Algebras 1997-12-19 Optimal Partitioners And End-Case Placers For Standard-Cell Layout 1999-04-16 Global Partitioning of Parallel Loops and Data Arrays for Caches and Distributed Memory in Multiprocessors 1994-07-27 Complexity Reduction for Digital Implementation of Symbol Timing Recovery 1998-08-13 The Caelum Toolkit for CSCW: The Sky is the Limit 1997-04-24 Alignment Networks and Electrical Networks 1996-04-17 Parallel Priority Queues on Cray-T3E 1998-07-02 A First-Order Isomorphism Theorem 1995-05-23 A Survey of Noncommutative Geometry Methods for Group Algebras 1995-07-25 Do Ngoc Diep A Simple Interpretation of OOP in a Language with State 1996-04-04 Adaptive Control of a Robot Arm Using Driver Programs 1996-09-26 Subsumption between Queries to Object-Oriented Databases 1999-02-04 Genuine Atomic Multicast in Asynchronous Distributed Systems 1998-09-01 Rachid Guerraoui On the Locking Phenomenon for a Class of Elliptic Problems 1995-07-19 D. Chenais Thermal Conductivity Database of Various Structural Carbon-Carbon Composite Materials 1997-11-03 A Microarchitectural Performance Evaluation of a 3.2 Gbyte/s Microprocessor Bus 1995-08-30 Dynamic Program Parallelization 1996-06-20 Algebraic Methods for Deterministic Blind Beamforming 1998-02-13 Computer Assisted Analysis Of Multiprocessor Memory Systems 1996-07-29 A Genetic Algorithm For Minimization Of Fixed Polarity Reed-Muller Expressions 1996-01-09 Competitive Implementation of Parallel Programs 1997-12-16 Modifying Networks to Obtain Low Cost Trees 1998-06-19 Underspecification and the Semantics / Pragmatics Interface 1996-08-10 Massimo Poesio Spike Frequency Adaptation Affects the Synchronization Properties of Networks of Cortical Oscillators 1999-01-11 Global Illumination of Glossy Environments using Wavelets and Importance 1995-01-10 Two Controller Networks Automatically Constructed Through System Linearisations and Learning 1998-09-24 Implementing Polymorphic Typing in a Logic Programming Language 1997-02-27 SNS 1.0: Synchronized Network Solver 1999-04-16 Integrating Natural Semantics and Attribute Grammars: the Minotaur System 1994-11-30 A New Foveated Space-Variant Camera For Robotic Applications 1998-03-27 Duality And Singular Continuous Spectrum In The Almost Mathieu Equation 1997-04-26 Approximable Sets 1998-09-29 Computing Laboratory Technical Report No. 9/94 1997-06-06 Damiano Bolla Assessing and Comparing the Usability of Parallel Programming Systems 1995-03-27 Dijet Cross Sections in Photoproduction at HERA 1998-05-15 TRUBAC: Testing Expert Systems with Rule-Base Coverage Measures 1996-11-06 Valerie Barr A Population-Based Learning Algorithm Which Learns Both Architectures and Weights of Neural Networks 1999-02-03 Constraint Programming 1998-01-08 Learning Words From Natural Audio-Visual Input 1998-08-27 Probabilistic Analysis of Two Complexity Measures for Linear Programming Problems 1998-10-08 Primary Decomposition: Algorithms and Comparisons 1998-05-05 Motion Prediction Based on Temporal Layering for Layered Video Coding 1998-12-07 Effect of Strong Optical Feedback on Vertical Cavity Surface Emitting Lasers 1997-07-04 Completely Integrable Equation for the Quantum Correlation Function of Nonlinear Schrodinger Eqaution. 1997-04-26 Long-range Correlations in the Fossil Record and the Fractal Nature of Macroevolution 1998-11-10 ALL-SKY IMAGING AT 2.2 MeV 1997-11-19 Overlapping DCT for image compression 1996-07-08 R. J. Henery Dynamic File-Access Characteristics of a Production Parallel Scientific Workload 1970-01-01 Nonlinearities Enhance Parameter Convergence in Output-Feedback Systems 1998-03-10 Geometric Forces on Point Fluxes in Quantum Hall Fluids 1997-09-17 Lie theory for non-Lie groups 1995-05-03 Communicated K. Strambach Global Virtual Time Approximation with Distributed Termination Detection Algorithms 1995-05-17 Protocol Independent Multicast-Sparse Mode PIM-SM: Motivation and Architecture 1996-11-19 Searching for Structure in Multiple Streams of Data 1997-03-07 Periodic Solutions of a Nonlinear Parabolic Equation, II 1996-11-19 Thomas I. Seidman Lie-Point Symmetries And Nonlinear Dynamical Systems Symmetry and approximate symmetries of nonlinear equations: bifurcations, center manifolds, and normal form reduction 1997-05-14 Fast Dynamic Analysis of Complex HW/SW-Systems based on Abstract State Machine Models 1999-02-22 Scheduling and Page Migration for Multiprocessor Compute Servers 1995-10-19 Estimation of the Hurst Parameter of Long-Range Dependent Time Series 1996-02-29 O. Rose A Practical and Modular Method to Implement Extended Transaction Models 1996-01-06 Nomenclature 1998-03-27 -- -- Long Running Jobs in an Authenticated Environment 1994-05-26 Bayesian Assessment Of Publication Bias In Meta-Analyses Of Cervical Cancer And Oral Contraceptives 1996-10-25 Bonnie Lafleur Sue Taylor Internet Billing Server Prototype Scope Document October 14, 1998-12-27 Internet Billing Server Divergences In The Moduli Space Integral And Accumulating Handles In The Infinite-Genus Limit 1998-05-23 Simon Davis Multifrontal Algorithms For Sparse Inverse Subsets And Incomplete LU Factorization By Yogin Eon Campbell 1995-11-01 Yogin Eon Campbell Aspectual Modifications to a LCS Database for NLP Applications 1998-09-05 An Evolutionary Approach to Synthetic Biology, 1994-09-14 Thomas S. Ray Rapid Language Model Development for New Task Domains 1998-04-26 Self-organizing Data Structures with Dependent Accesses 1996-04-03 Compiling for Heterogeneous Systems: A Survey and an Approach 1995-10-02 A Large Scale Comparison of Option Pricing Models with Historical Market Data 1994-06-01 Mutual Belief Revision Preliminary Report 1994-03-22 Wakamiya Morinosato Atsugi-shi Sensitivity of Parallel Applications to Large Differences in Bandwidth and Latency in Two-Layer Interconnects 1998-11-05 Computing Invariant Sets 1998-04-21 Track Fitting With Ambiguities and Noise: A Study of Elastic Tracking and Non-Linear Filters 1999-02-22 R. Fruhwirth A Natural Semantics for Lazy Evaluation 1994-11-16 John Launchbury Probabilistic Analysis for Combinatorial Functions of Moving Points 1997-03-20 Convex Optimization by Radial Search 1995-05-08 Yuri M. Ermoliev On Learning Multiple Descriptions of a Concept 1994-07-15 Time and energy dependent response of Cs in a strong electric field 1970-01-01 F. Robicheaux RILUM: A General Framework for Robust Multilevel Recursive Incomplete LU Preconditioning Techniques 1999-02-19 Jun Zhang Cryptographic Postage Indicia 1998-10-06 AALs Interworking For Voice Support in the ATM Network Iss'97 Paper ID: PS604 Page 1 of 19 1997-02-22 On the Applicability of Program Comprehension Techniques to the Automatic Parallelization of Sparse Matrix Computations 1997-03-06 Bisimulation and Apartness in Coalgebraic Specification 1995-02-24 Bart Jacobs An Automata-Theoretic Approach to Linear Temporal Logic 1996-07-18 Moshe Y. Vardi Unknown 1995-09-11 The Escape Buffer: Efficient Computation of Escape Time for Linear Fractals 1995-09-13 The Longest Perpetual Reductions in Orthogonal Expression Reduction Systems 1997-05-01 Zurab Khasidashvili Fail-stop Signatures; Principles and Applications 1996-09-20 Birgit Pfitzmann Infering Constraints from Multiple Snapshots 1995-02-08 Algebraic Spans 1995-05-23 Interprocedural Analysis for Parallelization 1995-10-05 Correctness of a Distributed-Memory Model for Scheme 1996-02-14 Luc Moreau Tight Lower Bounds for st-Connectivity on the NNJAG Model 1997-06-26 Blind Source Separation and Deconvolution: The Dynamic Component Analysis Algorithm 1998-06-01 Final Radiosity Gather Step using a Monte Carlo Technique with Optimal Importance Sampling 1998-11-16 A Status Report on Research in Transparent Informed Prefetching 1995-07-18 Reversible Simulation of Irreversible Computation 1996-01-05 Ming Li 19 Paul R. Wilson and Thomas G. Moher. Design of the opportunistic garbage collector. In 1992-11-05 Tigger Project 1970-01-01 Parallel Graph Generation Algorithms for Shared and Distributed Memory Machines 1998-01-14 S. C. Allmaier Abductive Explanation of Dialogue Misunderstandings 1994-02-23 Experience with a Unix Based Batch Computing Facility for H1 1997-01-24 Porosities And Dimensions Of Measures 1999-03-17 Jean-pierre Eckmann Bus Minimization and Scheduling of Multi-Chip Modules 1996-03-27 Worst-Case Absolute Loss Bounds for Linear Learning Algorithms 1997-03-25 Tom Bylander Networks For Speech Enhancement 1998-04-14 An Evaluation Methodology for Parallel/Distributed Software Tools 1998-07-03 Dynamic Instrumentation of Threaded Applications 1999-02-15 Feedback Control of Petri Nets Based on Place Invariants 1995-10-06 A Framework for Describing and Implementing Software Visualization Systems 1997-05-28 Disposable Memo Functions 1998-03-23 A Role-Based Decision-Mechanism for Teams of Reactive and Coordinating Agents 1998-02-20 Load--balance in parallel FACR 1997-04-12 IPC SAP - A Family of Object-Oriented Interfaces for Local and Remote Interprocess Communication 1995-10-30 Douglas C. Schmidt Basic Wavelet Transforms 1998-05-19 A Modular Presentation of Modal Logics in a Logical Framework 1995-10-31 David Basin VIM: 3D Co-operative Diagrams as KBS Surfaces 1995-12-07 A Hierarchical Approach to Multivariate Spatial Modeling and Prediction 1998-02-13 Perfect Simulation for the Area-Interaction Point Process 1997-08-07 Construction of BGK models with a family of kinetic entropies for a given system of conservation laws 1998-09-17 On The Double Commutation Method 1997-04-28 F. Gesztesy Optical and Mechanical Properties of the Profiles 1999-03-23 On A Christmas Party Problem 1997-10-07 Adaptive Isocurves Based Rendering for Freeform Surfaces 1998-12-11 A Declarative Language Bias for Levelwise Search of First-Order Regularities 1998-07-23 Irene Weber Unknown 1995-03-09 Learning Parameterized Models of Image Motion 1997-11-04 Fixed-Choice and Independent-Choice Logics 1998-08-24 Speaker Identification Based Text To Audio Alignment For An Audio Retrieval System 1998-04-06 Classification of Meronymy by Methods of Relational Concept Analysis 1996-04-21 Uta E. Priss Architectural Models and Design Methodologies for General-Purpose Highly-Parallel Computers 1995-07-07 On Bipartite Crossings, Largest Biplanar Subgraphs, and the Linear Arrangement Problem 1970-01-01 Farhad Shahrokhi On The Convergence To A Unique Point Of Minimization Algorithms 1970-01-01 Francisco Facchinei A System for Computing Constrained Default Logic Extensions 1997-04-15 A Unified Approach to Natural Language Treatment 1998-02-27 Jordi Alvarez A Survey of Proxy Cache Evaluation Techniques 1999-03-24 Brian D. Davison Formalising the Knowledge of a Prolog Techniques Editor 1996-11-26 Wamberto Weber Vasconcelos Reinventing Shakey 1998-09-15 Murray Shanahan WebWatcher: A Tour Guide for the World Wide Web 1998-06-16 Calling in the Experts: Redesign of an Introductory Programming Course 1997-07-29 Differential Current Switch Logic: A Low Power DCVS Logic Family 1998-04-15 Image Matching under Affine Deformations 1996-10-22 R. Manmatha Strategies for Implementation and Testing of Reusable Macro Function Library 1997-09-08 Type Classes: An Exploration of the Design Space 1997-08-15 CIMGS: An Incomplete Orthogonal Factorization Preconditioner 1994-05-20 Testing the Quality of a Query Optimizer 1999-02-07 Improving Evolutionary Timetabling with Delta Evaluation and Directed Mutation 1996-10-01 Comparison of Bayesian and Neural Net Unsupervised Classification Techniques 1997-04-07 Optimizing Area and Aspect Ratio in Straight-Line Orthogonal Tree Drawings 1996-10-03 Issues in the Design of an Extensible Operating System 1995-09-24 Pendulum: Separatrix Splitting. 1997-09-03 The Integration of Rule and Example Sets 1996-08-27 The Economics of Electronic Journals 1998-01-27 Andrew Odlyzko Possibility and Impossibility Results for Self-Stabilizing Phase Clocks on Synchronous Rings 1996-11-14 Outline Of A Model For Lexical Databases 1997-10-12 Continuation Method for Total Variation Denoising Problems 1970-01-01 Matrix Transformations Of Series Of Orthogonal Polynomials 1995-07-25 Hyperbolic Functions that Linearize Inverted Manifold Surfaces 1996-09-15 Theodore C. Bossart A Distributed Model for Integrating Heterogeneous Databases 1970-01-01 Philip Hepner A Note on Learning from Multiple-Instance Examples 1997-10-02 A Derivative-Free Line Search and DFP Method for Symmetric Equations with Global and Superlinear Convergence 1998-04-08 Using Articulation Nodes to Improve the Efficiency of Finite-Element based Resistance Extraction 1997-01-08 Position and Attitude Tracking of AUVs: A Quaternion Feedback Approach 1995-08-02 Feedback and Pricing in ATM Networks 1996-03-01 A Parallel Depth First Search Branch and Bound Algorithm for the Quadratic Assignment Problem 1995-04-03 Some issues about Petri net application to manufacturing and process supervisory control 1997-06-17 Robert Valette The Strobe Algorithms for Multi-Source Warehouse Consistency 1999-03-05 An Algebraic Verification of a Mobile Network 1996-02-09 Multisensor Fusion for Sensory Intelligence in Robotics 1996-11-26 FUF: the Universal Unifier User Manual Version 5.0 1999-05-04 Michael Elhadad CS 360 / CS 395: Advanced Artificial Intelligence Fall 1998 Proposal Guidelines 1998-09-22 Due Dates QSOs Behind the Milky Way Satellite Galaxies -- II 1998-10-26 C. G. Tinney A Canonical Representation for Aggregated Markov Processes 1996-11-20 Bret Larget Prosodic Scoring Of Word Hypotheses Graphs 1995-08-03 SLAVE: A genetic learning system based on an iterative approach 1997-04-18 Antonio Gonzalez Estimation in Restricted Parameter Spaces - Some History and Some Recent Developments 1996-09-27 C. Van Eeden A Theoretical Evaluation of Selected Backtracking Algorithms 1997-05-06 Longest Increasing Subsequences Of Random Colored Permutations 1999-02-17 Alexei Borodin Unsupervised Learning With Global Objective Functions 1996-08-22 Suzanna Becker Parallel Inductive Logic Programming 1998-06-18 A Differential Model of Adsorption Hysteresis with Applications to Chromatography 1997-09-19 Query Classification in Multidatabase Systems 1999-01-19 Landscapes and Their Correlation Functions 1996-01-20 Peter F. Stadler A Connectionist Approach to Word Reading and Acquired Dyslexia: Extension to Sequential Processing 1998-09-17 David C. Plaut An Implementation for Maintaining Arrangements of Polygons 1999-02-05 Michael Goldwasser Guidelines for Formalizing Fusion Object-Oriented Analysis Models 1996-04-05 Mosaicing with Generalized Strips 1997-04-18 A New Eigenvalue Solver For Atomic Structure Calculations 1997-06-30 Logic-Based Switching Control of a Nonholonomic System With Parametric Modeling Uncertainty 1998-11-04 A Discrete Neural Algorithm for the Maximum Clique Problem: Analysis and Circuit Implementation 1997-08-25 Introducing Formal Notations in the Development of Object-Based Distributed Applications 1997-07-23 Efficient Self-Interpretation in Lambda Calculus 1994-09-02 Torben Ae. Mogensen Mass Number 1998-01-12 Francis A. Cucinotta B-ISDN to the Cell Site Switch versus B-ISDN to the Mobile Terminal 1997-01-10 A Semidefinite Framework for Trust Region Subproblems with Applications to Large Scale Minimization 1996-08-29 DYNAMITE: Dynamic Task Nets for Software Process Management 1996-07-02 On the inversion of ... in terms of associated Stirling numbers 1998-11-24 On the Static Assignment to Parallel Servers 1998-07-27 Ger Koole On Staggered Checkpointing 1997-01-27 Nitin H. Vaidya A Genetic Programming Framework for Two Data Mining Tasks: Classification and Generalized Rule Induction. 1998-11-27 Alex A. Freitas Monte Carlo Variance of Scrambled Net Quadrature 1999-03-23 Art B. Owen Searching for Planning Operators with Context-Dependent and Probabilistic Effects 1996-09-03 Efficient Rendering of Trimmed NURBS Surfaces 1994-11-30 The Realities of Generating Natural Language from Databases 1998-10-29 Local Fairness in General-Topology Networks with Convergence Routing 1997-04-07 On Comparing Classifiers: Pitfalls to Avoid and a Recommended Approach 1998-01-13 Steven L. Salzberg Statistical Models for Text Segmentation 1999-02-26 Simulations of Vibrated Granular Media in Two and Three Dimensional Systems 1997-02-07 Outage Contours and Cell Size Distributions in Cellular and Microcellular Networks 1996-12-18 Hedging Complex Barrier Options 1997-04-03 Multiresolution Generated By Several Scaling Functions 1970-01-01 Comprehensive Examination: First-Order System Least Squares and Adaptive Mesh Refinement 1997-02-26 Markus Berndt Illumination Problems in Computer Augmented Reality 1997-05-20 Alain Fournier .60.Ak, 05.90.+m. 1997-04-26 Towards a Requirements-based Information Model for Configuration Management 1998-03-20 On Zadeh's Compositional Rule of Inference 1998-10-13 Global and Local Vector Field Visualization Using Enhanced Line Integral Convolution 1996-03-30 Specifying and Verifying Object-Oriented Programs: An Overview of the Problems and a Solution 1995-06-06 Gary T. Leavens Improved COMPTEL 10-30 MeV Event Selections for Point Sources from Inflight Data 1997-11-23 Elliptic Congruence Function Fields 1996-10-28 Andreas Stein Dual Dynamics: Designing Behavior Systems for Autonomous Robots 1996-11-20 A Pattern-Based Lossy Compression Scheme for Document Images 1996-05-17 Nonexistence of SBR Measures for some Diffeomorphisms that are "Almost Anosov" 1997-04-26 Programming in 1998-09-30 On Non-Preemptive Scheduling of Periodic and Sporadic Tasks 1992-12-14 On Dominating Sets and Independent Sets of Graphs 1997-12-16 Pattern Matching for Spatial Point Sets 1999-03-11 Predicting Speedups of Idealized Bounding Cases of Parallel Genetic Algorithms 1997-02-20 David E. Goldberg P Stop T Time Timing diagram 1997-07-04 On Compact Representations of Propositional Circumscription 1995-08-31 Non-Cooperative Target Classification Using Hierarchical Modeling of High Range Resolution Radar Signatures 1997-09-09 Kie B. Eom E-Unification by Means of Tree Tuple Synchronized Grammars 1970-01-01 Verification by State Spaces with Equivalence Classes 1997-06-17 Application Of Knowledge Based Systems To Virtual Organizations 1997-06-13 Coupling The Auxiliary Problem Principle With Descent Methods Of Pseudoconvex Programming 1998-11-25 Daoli Zhu Blind Source Separation - Semiparametric Statistical Approach 1998-03-14 Shun-ichi Amari A Portable Multiprocessor Interface for Standard ML of New Jersey 1994-03-18 Extended Dependency Unification Grammar 1998-11-19 Peter Hellwig The Automatic Classification of Outdoor Images 1997-02-07 Virtual Reality Training Simulation for Palpation of Subsurface Tumors 1996-12-13 A Loop-Free Algorithm Based On Predecessor Information 1995-06-07 Instability to Longitudinal Vortices in Wavy Shear Flow 1997-09-08 Design Patterns for Planning Systems 1998-09-10 Divergence in Testing and Readiness Semantics 1998-10-19 Specification and Verification of Temporal Information Using Presburger Formulas 1998-05-28 FRANK: Trialing a system for remote navigation of film archives 1996-10-24 Dissipation in Granular Materials 1997-12-08 Longitudinal-Control Design Approach for High-Angle-of-Attack Aircraft 1998-01-08 Local Type Inference 1997-11-13 The Periodogram at the Fourier Frequencies 1998-11-26 An Approach to Multiply Segmented Constraint Satisfaction Problems 1995-02-25 An Error Control Scheme for Large-Scale Multicast Applications 1999-01-10 Efficient Recognition of Events in a Distributed System 1998-01-16 Towards Text Knowledge Engineering 1998-04-09 Separating Complexity Classes using Autoreducibility 1999-02-15 On the Problem of Defining Local Thermodynamic Equilibrium 1997-04-26 H. Roos Erdös-Szekeres-type theorems for segments and non-crossing convex sets 1998-05-17 On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions 1992-08-19 Classification Of Geophysical Acoustic Waveforms Using Time-Frequency Atoms 1996-11-14 Naoki Saito An Experimental Comparison of Neural ICA Algorithms 1998-08-12 A Bayesian Approach to Diagnosing Problems with Prolog Control Flow 1994-10-19 Focus of Attention: An Image Segmentation procedure based on. . . 1999-03-23 Francesco Ziliani Extension of Affine Shape 1997-05-28 Rikard Berthilsson Wireless Networks: New Directions In Signaling, Transmission, Network Management And Traffic Modeling 1999-01-04 P. Papantoni-kazakos Models for Performance Prediction of Cache Coherence Protocols 1995-07-24 Methods for Quality Assurance in Semi-Automatic Lexicon Acquisition From Corpora 1998-04-27 Judith Eckle-kohler Diffusion of parallel computing and transputing concepts. A trial for unifying metaphors 1995-12-18 Efficient Evaluation Of The Lvcsr Search Space Using The Noway Decoder 1995-12-14 Non-Parametric Texture Learning 1996-12-07 Hayit Greenspan Fail-safe PVM: A portable package for distributed programming with transparent recovery 1994-04-28 Using Producer and Consumer Manipulators to Extend Stream I/O Formatting in C++ 1997-06-06 Michael Rizzo Learning to Guide a Robot via Perceptions 1995-08-19 Anke Rieger A short proof of an interesting Helly-type theorem 1998-02-20 Nina Amenta Minimum-Latency Transport Protocols with Modulo-N Incarnation Numbers 1998-09-05 Anomalous Gauge Boson Interactions 1998-05-15 A Matrix-Free Preconditioner Applied to CFD 1995-07-12 Mi Choquet Real-Time Wireless Communication using Splitting Protocols 1997-08-04 Equational Axiomatization of Bicoercibility for Polymorphic Types 1995-02-17 Jerzy Tiuryn Performance of an unsymmetric-pattern multifrontal method for sparse LU factorization 1992-05-26 Timothy A. Davis First statistical data on wavefront outer scale at La Silla observatory from the GSM instrument 1999-03-03 Best-First Search for Property Maintenance in Reactive Constraints Systems 1998-09-29 Bulk Synchronous Parallel Algorithms for Optimistic Discrete Event Simulation 1996-04-23 Radu Calinescu Direct Search Methods On Parallel Machines 1998-10-06 Basic Concepts And Definitions 1994-04-21 Universal Approximation of Mappings on Structured Objects using the Folding Architecture 1997-03-11 Barbara Hammer Probabilistic Independence Networks for Hidden Markov Probability Models 1996-03-14 Bayesian Model Comparison by Monte Carlo Chaining 1998-07-13 Implementing Schema-theoretic Models of Animal Behavior in Robotic Systems 1998-04-29 QoS Management in Educational Digital Library Environments 1996-05-31 Automatic tracking of the aorta in cardiovascular MR images using deformable models 1998-01-18 Evaluation By Parts Of Trusted Database Management Systems 1998-09-14 Ravi S. Sandhu On Deterministic Conditional Rewriting 1970-01-01 Massimo Marchiori Preference Degrees over Linguistic Preference Relations in Decision Making 1997-01-28 Hypervolume Visualization: A Challenge in Simplicity 1998-07-10 The Formal Verification of the Fairisle Switch: The 4x4 Switching Fabric 1994-03-16 Paul Curzon The Logical Disk: A New Approach to . . . 1994-03-11 Quorumcast Routing by Multispace Search 1997-08-13 Ionizing Photon Sources within the Local Group 1998-12-16 Philip R. Maloney A Non-Uniform Neighbourhood Relation for Job Shop Scheduling by Simulated Annealing 1998-09-16 Typechecking and Modules for Multi-Methods 1995-08-19 Proof Normalization Modulo 1998-11-10 Breaking Public Key Cryptosystems on Tamper Resistant Devices in the Presence of Transient Faults 1997-04-18 Self-diagnosability Results and Diagnosis Algorithms for Hypercubes and Star Graphs 1996-11-07 Service Configurator: A Pattern for Dynamic Configuration and Reconfiguration of Communication Services 1997-10-17 Eigenvalue Completions By Affine Varieties 1997-02-20 Joachim Rosenthal Connectionist natural language processing: The state of the art 1998-10-22 Learning Structure from Motion: How to Represent Two-Valued Functions 1995-08-22 The construction of possibility measures from samples on T-semi-partitions 1998-08-26 System Reconstruction From Selected Hos Slices 1970-01-01 Functional Rippling on Relational Structures 1999-02-11 Encoding the Hydra Battle as a rewrite system 1998-06-26 Loria Universit'e Nancy Combatting Co-Channel Interferers in a TDMA System Using Interference Estimates From Adjacent Frames 1996-05-10 Erik Lindskog A Unifying Framework for Tractable Constraints 1997-06-12 Incremental Planning 1995-08-30 SuperStabilizing Protocols for Dynamic Distributed Systems Extended Abstract 1995-06-30 Analysing Financial Data using Polya trees 1998-06-08 User-Centered Evolutionary Software Development Using Python and Java 1997-11-02 Douglas Cunningham From Natural to Artificial Life: Biomimetic Mechanisms in Animat Designs 1996-12-20 Jean-arcady Meyer + 1-Factor Containing A Given Hamiltonian Cycle 1998-12-30 Crest - A Current Estimator For Cmos Circuits 1995-12-09 A Discrete BCG-FFT Algorithm for Solving 3D Inhomogeneous Scatterer Problems 1996-04-03 A Quantitative Analysis and Performance Study for Similarity-Search Methods in High-Dimensional Spaces 1998-06-09 A Next-Generation Telescope for CFHT 1970-01-01 Multiparadigm Distributed Computing with TPVM 1996-03-13 Towards an Effective Calculus for Object Query Languages 1996-09-23 Method Resolution and Virtual Classes in a Deductive Object-Oriented Database 1995-10-24 Burkhard Freitag Evaluating the Accuracy of Query Refinement 1996-06-22 Dynamics of an Explicit Rate Allocation Algorithm for Available Bit-Rate ABR Service in ATM Networks 1996-02-02 Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures 1994-01-26 Geometric Shortest Paths and Network Optimization 1998-08-04 Joseph S. B. Mitchell A Sparse Knapsack Algo-tech-cuit and its Synthesis 1994-06-03 Parallel Numerical Linear Algebra 1997-01-27 Cooperative Student Models 1997-05-13 Display of Information for Time-Critical Decision Making 1970-01-01 M. R. Pelling 1970-01-01 R. E. Rothschild A User Agent Configuration Mechanism For Multimedia Mail Format Information 1992-06-09 Group N. Borenstein Justified, 1998-04-24 ATheoretical and Applicative Framework for Evolutive Computers 1996-04-25 Antony Robert Historical Links to a Lie Theory of Semigroups 1995-08-21 Spectral Techniques for Expander Codes 1997-03-05 The Fox Project: Advanced Language Technology for Extensible Systems 1998-03-15 Large deviation rule for Anosov flows 1996-03-25 The Future of Web-Based Workflows 1997-07-12 James W. Demmel 1997-10-01 Studies in Probabilistic Sequence Alignment and Evolution 1998-12-24 The Isoperimetric Problem For Pinwheel Tilings 1997-04-26 Charles Radin PANNS - A Parallelized Artificial Neural Network Simulator 1998-04-03 = 21.03±0.08 mol/g; 2 estimation of the convection zone depth Christensen-Dalsgaard 1996-07-29 Thalamo-Cortical Interactions Modeled by Forced Weakly Connected Oscillatory Networks 1997-06-17 Eugene M. Izhikevich Practical Solutions for QoS-based Resource Allocation Problems 1998-11-19 Temporal Scripting using TEMPO 1994-02-21 Unknown 1994-11-06 Machine Learning for User Modeling and Plan Recognition 1997-01-21 Mathias Bauer Object Algebras: What is Wrong? 1996-12-17 Meta-Programming tools for ML 1970-01-01 Similarity Measures for Object-Oriented Case Representations 1999-03-22 Mars Pathfinder Microrover A Small, Low-Cost, Low-Power Spacecraft 1997-02-21 Henry W. Stone Effect of Yarn Twist on the Stiffness and Strength Properties of Composites 1998-09-03 Vijay Madhavan Automatic Systems Synthesis : A Case Study 1993-12-03 A Software Model for Visualization of Large Unsteady 3-D CFD Results 1999-04-15 ADAPTOR 6.1 Release Notes 1998-12-23 On The Modelling and Identification of Harmonic Drive Systems 1997-01-31 H. D. Taghirad Krylov Subspace and Multigrid Methods applied to the Incompressible Navier-Stokes Equations 1995-05-01 Towards a New Perspective on Partial Evaluation 1998-02-08 Improved Low-Density Parity-Check Codes Using Irregular Graphs and Belief Propagation 1998-02-23 APHID Game-Tree Search 1998-08-19 The Two-Sample Problem In R m And Measure-Valued Martingales 1998-02-16 Anonymous Internet Mercantile Protocol 1994-05-03 Dynamic Stereo in Visual Navigation 1994-10-21 Equations of motion from chaotic data: A driven optical fiber ring resonator 1999-03-29 Direct Approach Processes in Group Decision Making Using Linguistic OWA Operators 1996-01-31 Synthesizing different development paradigms: Combining top-down with bottom-up reasoning about distributed systems 1996-05-24 Do Algorithm Animations Aid Learning? 1996-08-23 On Variable Ordering and Decomposition Type Choice in OKFDDs 1995-06-19 A Class Of Fermi Liquids 1995-11-26 Noun-Phrase Co-Occurrence Statistics for Semi-Automatic Semantic Lexicon Construction 1998-10-05 Theorem Prover Support for the Refinement of Stream Processing Functions 1998-11-26 Some Undecidability Results related to the Star Problem in Trace Monoids 1999-01-21 The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite 1997-08-18 Algorithms for Dynamic Negotiation 1970-01-01 A Geographic Environmental Modeling System: Towards an Object-Oriented Framework 1994-07-31 Specifying and Enforcing Intertask Dependencies 1995-04-05 In and Out of Hungary: Paul Erdös, His Friends, and Times 1996-10-14 L. Babai Interfacing Online Bibliographic Databases with Z39.50 1997-04-03 Greedy Dynamic Routing on Arrays 1997-02-27 An Experiment to Characterize Head Motion in VR and RR Using MR 1994-11-23 PROGRES for Beginners 1997-11-17 Construction of Japanese Nominal Semantic Dictionary using "A NO B" Phrases in Corpora 1998-05-27 Properties Of Age-Based Automatic Memory Reclamation Algorithms 1999-03-05 Unknown 1970-01-01 Natural Flavour Mixing In The MSSM And . . . 1998-05-22 Quantifying Schema Evolution 1995-02-09 Multimodal Integration of Disparate Information Sources with Attribution 1998-01-27 Thomas Y. Lee Using Shared Interface Objects To Support Cooperation 1996-08-12 A Human-Machine Interface To Support Reconfigurable Software Assembly For Virtual Laboratories* 1998-12-17 Exceeding the Dataflow Limit via Value Prediction 1996-09-13 A Liquid Scintillator Calorimeter For The Forward Region Of An Lhc Experiment 1995-02-10 CC++: A Declarative Concurrent Object Oriented Programming Notation 1994-08-19 Performance of Cache Coherence in Stackable Filing 1995-08-17 Two New Reformulations of Gaussian Elimination 1995-08-12 D. Stott Parker Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines Extended Abstract 1996-10-16 Jerzy Tyszkiewicz Priority Queues on Parallel Machines 1996-05-21 Gerth Stølting Brodal An Ultimate Frustration in Classical Lattice-Gas Models 1997-06-27 An Average-Case Optimal One-Variable Pattern Language Learner 1998-11-17 Clock Synchronization in the Presence of Omission and Performance Failures, and Processor Joins 1993-10-16 A.D. Smirnov 1998-05-15 A. D. Smirnov Theoretical and Experimental Analysis of Selective Fault-Tolerant, Hard Real-Time Multiprocessor Scheduling 1997-03-21 Catalog of Axiom Systems 1998-03-16 Mitch Harris A Minimum Overlap Restricted Additive Schwarz Preconditioner and Applications in 3D Flow Simulations 1998-02-10 A Critical Look at Three of Parallel Computing's Maxims 1996-03-10 Bruce M. Maggs Turn-Restricted Adaptive Routing in Irregular Wormhole-Routed Networks 1997-06-10 Modeling Adaptive Autonomous Agents 1997-04-03 Pattie Maes Base Pairing Probabilities in a Complete HIV-1 RNA 1995-08-22 On the Similarity of Eagles, Hawks, and Cows: Visualization of Semantic Similarity in Self-Organizing Maps 1998-04-30 The Role of Linear Semi-Infinite Programming in Signal-Adapted QMF Bank Design 1997-09-29 On Partitioning Dynamic Adaptive Grid Hierarchies 1998-08-11 Stochastic programming: Approximation via scenarios 1997-06-06 A Survey of Direct Parallel Algorithms. . . 1996-01-13 Periodic Orbits and New Shell Structure Generated by a Combination of Quadrupole and Octupole Deformations 1994-08-23 Multiagent-Based Control Systems: A Hybrid Approach To Distributed Process Control 1996-06-24 A Search for Molecular Gas in High Redshift Radio Galaxies 1997-10-09 Understanding the Set Consensus Partial Order Using the Borowsky-Gafni Simulation Extended Abstract 1996-07-22 Exact Minimization of Boolean Decision Diagrams Using Implicit Techniques 1996-07-09 Tools and Algorithms for the Construction and Analysis of Systems 1996-01-31 Distributed Software Agents and Communication in the Situation Calculus 1995-02-22 System equivalence for AR-systems over rings - with an application to delay-differential systems 1999-01-28 Integration of Machine Learning and KnowledgeAcquisition with a Genetic Algorithm 1997-02-26 Vladimir Estivill-castro Surface Orbital Magnetism 1997-05-14 Genetic Inheritance 1998-04-27 Approaches to the Automatic Discovery of Patterns in Biosequences 1995-12-19 Total and Nuclear Fission Cross Sections of 1996-03-06 Better Random Sampling Algorithms for Flows in Undirected Graphs 1998-10-08 David R. Karger Using Communication to Reduce Locality in Multi-Robot Learning 1970-01-01 Maja J Matari'c Simplified Discretization of Systems of Hyperbolic Conservation Laws Containing Advection Equations 1970-01-01 Frequency Domain Identification, Subspace methods and Periodic Excitation 1995-09-13 T. Mckelvey On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs 1999-03-11 On the Internal Path Length of d-dimensional Quad Trees 1998-11-25 A Note on Encoding Inverse Roles and Functional Restrictions in 1998-05-25 Hiding Miss Latencies With Multithreading On The Data Diffusion Machine 1995-08-21 Agents, Services, and Electronic Markets: How do they Integrate? 1998-03-26 An Analysis of Dinkelbach's Algorithm for 0-1 Fractional Programming Problems 1998-06-04 Question Answering from Frequently-Asked Question Files: Experiences with the FAQ Finder System 1997-06-24 The Optimization of Part Orientation for Solid Freeform Manufacture 1995-12-10 Effect Of Skull Inhomogeneities On EEG Localization Accuracy 1998-04-02 Two Ways to Bake Your Pizza - Translating Parameterised Types into Java 1999-03-23 Efficient Multichip Partial Concentrator Switches 1996-07-17 Thomas H. Cormen A Web Laboratory for Software Data Analysis 1999-01-21 The Beauty and Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees 1996-09-05 Inverse of the Square Wave Matrix 1998-01-05 X-ray Temperatures of Lensing Clusters 1998-02-19 Laplace Transform Methods For Evolution Equations 1998-11-17 Experimental Evaluation of Euler Sums 1999-01-13 A Competitive Strategy for Learning a Polygon Short Version 1996-10-16 Essays on Darwinism - 1: Ontological Foundations 1970-01-01 Integrated Symbolic-Numeric Computing in //ELLPACK: Experiences and Plans 1995-06-15 Towards Collaborative Agents for Automatic on-Line Handwriting Recognition. 1998-08-31 Relating Multifunctions and Predicate Transformers through Closure Operators 1997-01-08 Fault-Tolerant Wormhole Routing in Tori 1998-10-26 Suresh Chalasani ReMoS: A Resource Monitoring System for Network-Aware Applications 1998-02-03 Involutive Division Technique: Some Generalizations and Optimizations 1998-05-14 Vladimir P. Gerdt Taking a Walk on a Graph 1997-09-30 The HTK Tied-State Continuous Speech Recogniser 1993-06-30 An Experimental Comparison of Neural ICA Algorithms 1999-03-04 Dynamic Scheduling of Parallelizable Tasks and Resource Reclaiming in Real-time Multiprocessor Systems 1999-01-20 Constraints, Exceptions and Representations 1995-05-28 T. Mark Ellison Computational Representations of Herbrand Models Using Grammars 1997-04-17 Robert Matzinger Stochastic Problem Solving by Local Computation based on Self-organization Paradigm 1994-09-19 A Spectral Network Model of Pitch Perception 1995-01-10 The Fun-Project: From Requirements Specification to Program Presentation 1996-09-11 Learning To Control Fast-Weight Memories: An Alternative To Dynamic Recurrent Networks 1992-06-12 Jurgen Schmidhuber A Mechanized Theory of the 1996-09-20 T. F. Melham New Image Compression Artifact Measure Using Wavelets 1997-02-12 Necessary and Sufficient Conditions for Orthonormality of Scaling Vectors 1999-03-05 Gerlind Plonka Computer-Assisted Verification of an Algorithm for Concurrent Timestamps 1996-08-29 Mapping Applications to the RaPiD Configurable Architecture 1997-12-18 Randomness in Distribution Protocols 1996-09-11 What's Interesting? 1997-07-14 Jurgen Schmidhuber Tools to Aid in the Analysis of Memory Access Patterns for Fortran Programs 1994-10-08 Efficient Machine-Independent Programming of High-Performance Multiprocessors 1996-09-27 Chau-wen Tseng Baryon Masses From Qcd Current Correlators At 1998-05-15 Linear Stability of Natural Symplectic Maps 1998-04-17 The Fundamental Issues and Construction of a Data-Parallel Dataflow Computer 1995-02-10 Cones of Matrices and Successive Convex Relaxations of Nonconvex Sets 1998-03-23 Masakazu Kojima Generalized 2d-Dilaton Models, the True Black Hole and Quantum Integrability 1998-05-05 Self-Stabilizing Dynamic Programming Algorithms on Trees 1995-05-03 A Distributed Simulation Engine for Hierarchical Petri Nets 1995-12-05 Adding Transaction Time to SQL/Temporal Source: ANSI Expert's Contribution 1998-08-17 Hank: Virtual Driving Environments Unlocked 1997-04-08 A Scalable Performance Prediction Method for Parallel Neural Network Simulations 1999-01-06 Some Experiments With Array Data Collected In Actual Urban And Suburban Environments 1998-03-26 Non-Symmetric Convex Domains Have No Basis of Exponentials 1999-01-31 Mihail N. Kolountzakis Existence of Feasible Potentials on Infinite Networks 1996-06-24 A Step towards Speech Interfaces - A Time-Sliced Neural Network for . . . 1998-09-07 Fault-Tolerant Real-Time Mach: A Timeline-based approach 1997-02-03 A Dossier Driven Persistent Objects Facility 1994-03-01 Numerical Solution Of Physics-Based Models By Functional Transformations 1996-03-22 Rudolf Rabenstein Fast Spatio-Temporal Data Mining of Large Geophysical Datasets 1998-09-21 Document Retrieval In OCR-Scanned Text 1997-10-20 David Hawking Strong Modes can Change the World! 1996-01-10 Fergus Henderson Safe, Untrusted Agents using Proof-Carrying Code 1997-12-21 Le Calcul Formel : un outil pour l'ingenieur 1997-08-27 Agent Cloning: An Approach to Agent Mobility and Resource Allocation 1998-04-09 Client-Server Design and Implementation Issues in the Accelerator Control System Environment 1996-03-18 Finding Structure in Streams 1995-07-18 The Structure of Signaling: A Combinatorial Optimization Model with Network-Dependent Estimation 1997-08-19 Electronic Publishing at the American Astronomical Society 1997-03-06 A Fast File System for UNIX* 1996-05-16 Controllers for Reachability Specifications for Hybrid Systems 1998-10-21 TheRutgers CAP Project Design Associate 1993-09-23 Alignment of Spanish and English TREC Topic Descriptions 1997-02-21 Douglas W. Oard Service Management Concepts In Shared Business Environments: From Electronic Data Interchange EDI to Electronic Process Integration EPI 1996-07-01 New Roles for Machine Learning in Design 1995-02-08 Adaptive Load Balancing: A Study in Multi-Agent Learning 1995-07-27 Hierarchical Resource Management for Web Server Clusters with Dynamic Content 1999-02-22 Searching for the Sorting Record: Experiences in Tuning NOW-Sort 1999-01-05 Executive Summary 1995-08-11 Evaluating Job Scheduling Techniques for Highly Parallel Computers 1996-01-23 Modeling the Rats in the Basement or: Representing "Ablers" Knowledge in Qualitative Compartmental Models 1996-03-09 Data and Control Speculative Execution 1999-04-12 Richard Littin Relativized Relation Algebras 1999-01-21 Maarten Marx Manipulations of Graphs with a Visual Query Language: Application to a Geographical Information System 1998-01-20 Mainguenaud M Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems 1998-01-27 A Database Server Architecture for Agile Manufacturing 1996-10-24 Design Patterns in an Object-Oriented Framework for Hypermedia 1995-11-30 From Isolation to Cooperation: An Alternative View of a System of Experts 1996-08-20 Ron Avnur, Joseph M. Hellerstein, Bruce Lo, Chris Olston, Bhaskaran Raman, Vijayshankar Raman, Tali Roth, and Kirk Wylie 1998-08-12 Synthesizing Optimal Lower Dimensional Processor Arrays 1993-08-26 The Data Support Needed For The Selection Of Telecommunication Suppliers 1997-02-11 Reima Suomi Quality of Service in ATM Networks 1991-03-15 Dinesh C. Verma leanEA: A Lean Evolving Algebra Compiler 1996-06-24 Bernhard Beckert 10 Pros and Cons Against Performance Characterization of Vision Algorithms 1996-05-13 Wolfgang Forstner Software Design for Nonlinear Mixed Effects 1997-02-17 Proximity Effect Correction for Nanolithography 1997-10-27 Reducing The Complexity Of Iterative Post-Processing Of Video 1998-12-04 The Equilibrium Genetic Algorithm and the Role of Crossover 1994-04-15 VHDL Simulation Acceleration Using Specialized Functions 1997-02-01 Identification of Discontinuous Coefficients in Elliptic Problems Using Total Variation Regularization 1999-01-29 Towards an Integration of Software-Ergonomic Aspects in Formal Specifications of Graphical User Interfaces 1997-07-22 Bettina Eva Sucrow MEGACAM, the Next Generation Wide-field Camera for CFHT 1970-01-01 Bounded-Space Tagless Garbage Collection for First Order Polymorphic Languages 1995-09-20 Mike Mcgaughey COLLISION PROBABILITY CALCULATION AND MULTIGROUP FLUX SOLVERS USING PVM A. Qaddouri 1997-10-22 Nonlinear Spatio-Temporal Emission Dynamics of Broad Area Laser Diodes 1998-08-14 Learning From Texts - A Terminological Metareasoning Perspective 1998-03-24 Systems Research Center 1996-04-20 An Analysis of an Ordinal-Valued Time Series 1996-02-13 David R. Brillinger Distributed Virtual Reality for Everyone - a Framework for. . . 1997-03-24 M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J M P E J 1996-01-28 Gregory F. Lawler USER GUIDE for a DATABASE of Categories Version 1.0 1998-02-07 Quality of Service Adaptation in Distributed Multimedia Applications 1997-12-02 Distribution of the Loss Period for Some Queues in Continuous and Discrete Time 1992-08-04 Review of Particle Physics: C. Caso 1998-06-05 Holomorphic Functions Of Slow Growth On Nested Covering Spaces Of Compact Manifolds 1999-03-03 Finnur L Arusson Two Arc Disjoint Paths in Eulerian Digraphs 1997-05-13 Toshihide Ibaraki Integrated Natural Language Generation Systems 1994-03-15 Programming Language Support for Writing Fault-Tolerant Distributed Software 1995-06-09 Automatic Dimensional Inference 1995-03-29 Intersection de surfaces Paramétriques 1997-04-04 Receptive Fields 1996-05-21 A Protection Scheme for Mobile Agents on Java 1998-10-13 Towards Automatic Grammar Acquisition from a Bracketed Corpus 1996-09-26 Maximum Likelihood Rover Localization by Matching Range Maps 1998-05-28 Numerical Integrations Of Systems Of Conservation Laws Of Mixed Type 1995-06-16 Shi Jin Quantifying the Local Reliability of a Sequence Alignment 1997-02-11 Sequence Datalog: Declarative String Manipulation in Databases 1996-05-30 Theoretical Convergence of Large-Step Primal-Dual Interior Point Algorithms for Linear Programming 1995-09-22 Computer Immunology 1998-10-29 Enhancing the World Wide Web 1997-04-28 Cross-Validation and the Bootstrap: Estimating the Error Rate of a Prediction Rule 1998-08-31 Elephant Seal Movements: Some Frequency Based Studies 1996-11-16 Relational Computations in Medical KBS CLINAID: the means for integrating Interval, Symbolic logic and Neural network techniques 1996-08-09 Multiagent-Based Control Systems: A Hybrid Approach To Distributed Process Control 1996-06-24 On Mordell-Weil Lattices of Higher Genus Fibrations on Rational Surfaces 1994-11-21 Yumi Iwasaki, Adam Farquhar 1997-09-12 The C++ Interface in Objectivity 1996-11-18 Rakesh Agarwal The PPP Persona: A Multipurpose Animated Presentation Agent 1997-03-12 A Calculus for Overloaded Functions with Subtyping Extended Abstract 1995-10-24 Giorgio Ghelli Maximum Entropy And Iterative Scaling 1995-11-21 Using Aggregation To Improve The Performance Of Mixture Gaussian Acoustic Models 1998-11-20 On Trading Task Reallocation for Thread Management in Multiprocessors 1998-10-19 Geometric Algorithms for Conflict Detection/Resolution in Air Traffic Management 1998-09-22 First Order Logic 1994-03-16 An Overview of the Design of Distributed Oz 1999-02-10 Towards Distributed Legal Information Systems; A Discussion of Ontology Mismatches 1997-10-02 Pepijn R. S. Visser A Fast Approach to Computing Exact Solutions to the Resource-Constrained Scheduling Problem 1998-05-09 Vertex Identification in High Energy Physics Experiments 1999-03-29 Probabilistic Byzantine Quorum Systems 1998-05-06 Corrections to Scaling in 2-Dimensional Polymer Statistics 1998-06-13 XPress - A Bayesian Belief Network Shell 1996-11-28 M. O. Stitson Natural Ideal Operators in Inductive Logic Programming 1997-11-13 Fabien Torre Self-Stabilization of Wait-Free Shared Memory Objects 1996-06-12 Jaap-henk Hoepman Channel Allocation Methods for Data Dissemination in Mobile Computing Environments 1997-05-26 Measuring Functional Cohesion 1970-01-01 Homogeneous Einstein-Weyl Structures On Symmetric Spaces 1999-03-01 Megan M. Kerr Reconciling the Event Calculus with the Situation Calculus 1997-11-19 Inverted File Partitioning Schemes in Multiple Disk Systems 1995-02-17 Implementing ML on Distributed Memory Multiprocessors 1995-11-27 Speedup of Distributed Programs on a Network of Shared Processors 1997-11-17 Sung Hyun Cho Calculation of Repeatable Control Strategies for Kinematically Redundant Manipulators 1993-11-10 Numerical Stability of Algorithms for Line Arrangements 1996-06-22 Preventing Instantiation Errors and Loops for Logic Programs with Several Modes Using block Declarations Extended Abstract 1998-05-22 Compiling Regular Formalisms with Rule Features into Finite-State Automata 1998-08-31 George Anton Kiraz Genetic Set Recombination and its Application to Neural Network Topology Optimisation 1997-05-16 Nicholas J. Radcliffe MPEG-1 and MPEG-2 Digital Video Coding Standards 1999-03-03 Wavelet Shrinkage: Asymptopia? 1994-07-21 Type Inheritance in Strongly Typed Genetic Programming 1997-01-19 The Nested Object Model 1995-09-01 Near-Neighbor Query Performance in Search Trees 1998-10-06 Medical Database Security 1998-11-24 David B. Hill Animation through Reactions, Transition Nets and Plans 1996-02-06 Adaptable and Adaptive Information Access for All Users, Including the Disabled and the Elderly 1997-08-05 Speeding up Irregular Applications in Shared-Memory Multiprocessors: Memory Binding and Group Prefetching 1995-12-18 Incremental Distance Join Algorithms for Spatial Databases 1998-07-11 Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time 1996-10-17 Graph-Theoretic Clustering for Image Grouping and Retrieval 1999-04-09 Designing Processor-cluster Based Systems: Interplay Between Cluster Organizations and Broadcasting Algorithms 1996-05-01 Kripke Semantics for a Logical Framework 1995-06-13 Alex K. Simpson The Asymptotic Method In The Novikov Conjecture 1997-05-23 T. Kato Field Theory And The Cohomology Of Some Galois Groups 1999-03-24 Brushlets: A Tool for Directional Image Analysis and Image Compression 1996-12-23 Structure of Molecular Liquids 1998-04-06 Combining Shape from Shading and Stereo Using Human Vision Model 1970-01-01 Power Defaults 1998-09-18 Spatial Aggregation: Theory and Applications 1996-08-13 Object Distribution Networks for world-wide document circulation 1997-05-26 The Formal Verification of the Fairisle ATM Switching Element: An Overview 1994-07-27 Evolving SoccerBots: A Retrospective 1998-07-09 Sean Luke Report on the CONALD Workshop on Learning from Text and the Web 1998-08-15 A Rule-Oriented Formalism for Active Temporal Databases 1996-01-08 SUMMA: Scalable Universal Matrix Multiplication Algorithm 1995-12-15 TCP Vegas: New Techniques for Congestion Detection and Avoidance 1995-11-30 Larry L. Peterson Global Register Allocation Based on Graph Fusion 1996-04-26 Genetic Convergence in a Species of Evolved Robot Control Architectures 1997-07-16 On-Line Compression of High Precision Printer Images by Evolvable Hardware 1998-04-28 Automatic Checking of Instruction Specifications 1998-06-25 Norman Ramsey A Formal Process Calculus And Execution Model For Distributed Agent Computing 1997-10-30 Jody R. Threet Most Regular Graphs are Quickly r-Transitive 1996-05-26 Enterprise in Context: Assessing the Usability of Parallel Programming Environments 1994-06-16 Testing Theories for Asynchronous Languages 1999-02-02 Ilaria Castellani Replication Using Group Communication Over a Partitioned Network 1996-05-21 Yair Amir A Reliable Multicast Framework for Light-weight Sessions and Application Level Framing 1998-09-24 Figure 8: Expected terminal wealth for generalised Cox-Ingersoll-Ross model as function of 1998-11-24 LA Numerical Linear Algebra 1998-05-30 Lagrangian Stability and Global Optimality in Nonconvex Quadratic Minimization Over Euclidean Balls and Spheres 1995-10-27 Implementing Optimized Distributed Data Sharing Using Scoped Behaviour and a Class Library 1997-07-03 Paul Lu Minkowski Operations For Satellite Antenna Layout 1997-07-17 Efficient Parallelism via Hierarchical Tiling 1994-10-01 Applying Adaptive Interface Reasoning to Virtual Environments 1996-09-13 Jurgen Fechter Faithful Ideal Models For Recursive Polymorphic Types 1998-07-26 Using A Cache In Place Of A Cedar-Like Vector Prefetch Unit 1993-04-12 Mahdi Seddighnezhad The Multilevel Library:Software Tools for Multiscale Methods and Wavelets - Version 1.0, Documentation 1998-04-01 Convexity Analysis of Active Contour Problems 1998-02-06 Scheduling Strategies for Evaluation of Recursive Queries over Memory and Disk-Resident Data 1999-03-31 The Interactive Museum Tour-Guide Robot 1998-09-29 How to Merge Program Texts 1996-04-25 Wuu Yang Optimal Weighted Loop Fusion for Parallel Programs 1997-04-09 Semantics-Directed Code Generation 1994-03-11 Dynamic Jointrees 1998-11-02 Adnan Darwiche Visibility-Based Pursuit-Evasion: The Case of Curved Environments 1999-02-17 o Computing Accurate Eigensystems f Scaled D iagonally Dominant Matrices 1994-10-08 Colin Phillips, 1998-08-07 Colin Phillips Elastic Model Based Non-Rigid Registration Incorporating Statistical Shape Information 1998-10-14 Bayesian Estimation and the Kalman Filter 1995-02-26 Constraints on the R-parity- and Lepton-Flavor-Violating Couplings from 1998-05-15 In Situ Brdf Measurements Of Selected Surface Materials To . . . 1998-04-06 MIME Multipurpose Internet Mail Extensions Part One: 1993-09-30 Logic, Rationality, and Rational Psychology - A commentary on Drew McDermott's Critique of Pure Reason 1994-07-19 Jon Doyle PolyScheme: a Semantics for a Concurrent Scheme 1992-11-02 Christian Queinnec C. M. Newman 1997-04-26 A Perturbation and Reduction Based Algorithm 1998-09-28 Sorting on a Parallel Pointer Machine with Applications to Set Expression Evaluation 1999-03-11 Searching Continuous State Spaces Effectively Using Critical Points 1999-03-11 Tracking Number A Cool: An Object System With Constraints 1998-01-26 Combinatorial Semantics:semantics For Frequent Validity 1997-02-09 Henry E. Kyburg Random Access Protocols for High Speed Interprocessor Communication based on an Optical Passive Star Topology 1995-03-17 Patrick W. Dowd Low Bandwidth Video Compression With Variable Dimension Vector Quantization 1996-07-17 Succinct Circuit Representations and Leaf Language Classes are Basically the same Concept 1996-06-03 Distributed Recovery Units: An Approach for Hybrid and Adaptive Distributed Recovery 1994-07-27 Nitin H. Vaidya Integrated Recognition of Words and Phrase Boundaries 1999-01-18 Using ViewPoints for Inconsistency Management 1998-03-16 Recognizing Blasting Caps in X-Ray Images 1998-01-24 Document Space Models Using Latent Semantic Analysis 1997-05-30 Workflow Systems: a few definitions and a few suggestions 1995-12-29 Will C++ be faster than Fortran? Extended Abstract 1997-08-04 A Classification of Fairness Measures for Local and Metropolitan Area Networks 1994-12-23 Vincent Maciejewski Recent Developments in Dense Numerical Linear Algebra 1996-08-08 Nicholas J. Higham Skil: An Imperative Language with Algorithmic Skeletons for Efficient Distributed Programming 1997-12-02 Unknown 1995-02-20 Upward Separation for FewP and Related Classes 1994-03-16 Extending Statecharts with Temporal Logic 1999-02-10 Medical Diagnosis Using a Probabilistic Causal Network 1994-05-11 William Long G²-Algebras 1995-01-18 Claus Hintermeier Fisher information estimates for Boltzmann's collision operator 1998-02-11 C. Villani The Characterization of the Regularity of the Jacobian Determinant in the framework of Bessel Potential Spaces on Domains 1997-11-10 Latent Semantic Indexing via a Semi-Discrete Matrix Decomposition 1998-09-05 The CMU Task Parallel Program Suite 1998-12-19 On the Distribution of Performance from Multiple Neural Network Trials 1997-11-19 Fee Speech: Adverse Selection and the Regulation of Mutual Fund Fees 1998-06-03 Towards Modular Concurrency Control for Object-Oriented Distributed Systems 1998-09-01 Rachid Guerraoui Training Algorithms for Hidden Markov Models Using Entropy Based Distance Functions 1998-10-06 Using Physical Models to Plan Safe and Executable Motions for a Rover Moving on a Terrain 1998-11-12 javar - a prototype Java restructuring compiler 1997-07-26 The Totem System 1995-08-17 Tango: a Hardware-based Data Prefetching Technique for Superscalar Processors 1997-09-05 A short and flexible proof of Strong Normalizationfor the Calculus of Constructions 1996-12-20 Herman Geuvers A New Voronoi-Based Surface Reconstruction Algorithm 1998-06-11 Architectural Adaptation for Application-Specific Locality Optimizations 1997-03-12 A Decision Support Tool for Tuning Parameters in a Machine Learning Algorithm 1997-01-15 Trusted Network Interpretation Environments Guideline 1999-04-30 Automatic Text Detection and Tracking in Digital Video 1999-02-03 Path Planning for Manipulators with Many Degrees of Freedom Using a Discrete Representation of Configuration Space Extensively. 1996-02-16 Carl Van Geem Implicit Representations of Rough Surfaces 1995-09-13 John C. Hart Assessing SRAM Test Coverage for Sub--Micron CMOS Technologies 1997-04-14 A Functional Limit Theorem for Waves Reflected By a Random Medium 1998-06-08 Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming INVITED TALK 1997-05-20 Michael Gelfond Workshop, pages 66--78. IEEE Computer Society, 1998. WL94 T. Woo and S. Lam. A lesson on authentication protocol design. 1998-11-06 A Pliant Method for Anisotropic Mesh Generation 1996-08-28 Practical Parallel Algorithms for Dynamic Data Redistribution, Median Finding, and Selection 1995-07-14 David A. Bader Monte Carlo Based Ensemble Forecasting 1999-03-18 L. Mark Berliner Fast Compiler-Driven Hierarchical Logic Simulation 1996-12-16 Bjorn Schieffer Multistep Approximation Algorithms: Improved Convergence Rates through Postconditioning with Smoothing Kernels 1997-07-21 Retrieval of Multimodal Aerosol Size Distribution by Inversion of Multiwavelength Data 1997-04-08 Encrypted Key Exchange: Password-Based Protocols Secure Against Dictionary Attacks 1999-03-30 Solving Combinatorial Problems Using Evolutionary Algorithms 1998-02-15 Marco Vink On Spectral Properties Of Witten-Laplacians, Their Range Projections And Brascamp-Lieb's Inequality 1998-09-08 Jon Johnsen Slow Motion in Higher-Order Systems and Gamma-Convergence in One Space Dimension 1999-01-22 Bounds on the Greedy Routing Algorithm for Array Networks 1998-07-17 Michael Mitzenmacher Basic Sparse Matrix Computations On Massively Parallel Computers 1993-02-02 Bayesian Finite Mixtures for Nonlinear Modeling of Educational data 1997-03-17 Saddle Points and Pareto Points in Multiple Objective Programming 1998-01-22 Multidimensional Numerical Simulation Of The Reacting Flow In A Pulse Combustor 1996-08-19 Segmentation with Synchronizing Neural Oscillators 1997-07-14 Formalizing Schemas for Federal Database Environment Architecture 1997-07-18 Relational Rippling: A General Approach 1970-01-01 Adaptive Parallelism and Piranha 1994-02-25 Stability of Control Systems for the Preisach Hysteresis Model 1998-09-28 Potential benefits of delta encoding and data compression for HTTP 1998-05-19 Diffusion of Context and Credit Information in Markovian Models 1995-10-31 Probabilistic Conditional Independence Structures And Matroid Theory: Background 1995-08-15 Hybrid Logics: Characterization, Interpolation and Complexity 1999-03-05 Unifying Instance-Based and Rule-Based Induction 1995-11-21 Inter-process Communications for System-Level Design 1996-01-18 On the Measured Equation of Invariance 1997-03-27 Fuzzy Constraint Satisfaction 1997-05-20 Zs. Ruttkay Using Knowledge of Redundancy for Query Optimization in Mediators 1998-05-18 An Intelligent Approach to Flexible Resource Allocation in Multiagent Systems 1996-09-23 Towards a Theory of Bulk Types 1995-09-21 Weak* Sequential Compactness and Bornological Limit Derivatives 1995-10-27 Linked State Machine Foundations 1997-01-07 Harold K. Knudsen RN Random Numbers 1998-05-30 Elliptic Curves and Elliptic Cohomology 1998-09-11 Andrew Baker Glasgow Rate-Distortion Based Video Coding With Adaptive Mean-Removed Vector Quantization 1998-06-26 Critical indices for the Yukawa 1997-04-26 V. Mastropietro A Multilevel Algorithm for Reducing the Envelope of Sparse Matrices 1996-09-30 An Integral Condition Of Oscillation For Equation ... With Nonnegative Coefficients 1995-11-17 Skerl Ik Unknown 1993-04-29 Improving Response Time by Search Pruning in a Content-Based Image Retrieval System, Using Inverted File Techniques 1999-03-23 Agents in Annotated Worlds 1997-12-12 Generalized Dissipation in Hysteretic Systems 1998-09-28 On Construction of Cumulative Secret Sharing Schemes 1998-04-08 MANIFOLD Version 2.0 1998-07-01 F. Arbab Self-Organising Pattern Formation: Fruit Flies and Cell Phones 1998-07-21 Richard Tateson The FAUST - Prover 1997-12-19 Clawpack - A Software Package For Solving Multi-Dimensional Conservation Laws 1997-05-07 Randall J. Leveque An Alternative Approach to Minimum Mean-Squared Error DFE with Finite Length Constraints 1996-02-19 Wolfgang Gerstacker On The Regularity Of Semipermeable Surfaces In Control Theory With Application To The Optimal Exit-Time Problem Part I 1970-01-01 Linear Behaviour Of Term Graph Rewriting Programs 1998-02-20 A Formal Specification of the PVM Architecture 1996-06-24 Egon Borger Charge Deficiency, Charge Transport And Comparison Of Dimensions 1997-04-26 Path Costs in Evolutionary Tree Reconstruction 1997-02-10 A Universal Proof Technique for Deadlock-Free Routing in Interconnection Networks 1996-06-14 Latent Semantic Indexing by Self-Organizing Map 1999-03-19 Lightweight Run-Time Code Generation 1996-10-14 Bayesian Classifiers are Large Margin Hyperplanes in a Hilbert Space 1999-04-06 The Origin Of Rotation, Dense Matter Physics And All That: A Tribute To Pavle Savic 1998-05-14 V. Celebonovic Fast Similarity Search in the Presence of Noise, Scaling, and Translation in Time-Series Databases 1998-01-28