Oscillation Theory And Renormalized Oscillation Theory For Jacobi Operators 1997-05-14 Gerald Teschl Computer Viruses as Artificial Life 1994-06-26 Eugene H. Spafford Constrained Optimisation and Morse Theory 1998-05-01 David E. Stewart Error bounds in the isometric Arnoldi process 1997-06-24 From Region Inference to von Neumann Machines via Region Representation Inference 1996-12-18 A fully pipelined RLS-based array for channel equalization 1998-09-14 Optimizing Timetabling Solutions Using Graph Coloring 1995-12-27 The Complexity of Gene Placement 1998-10-22 Monotonicity And Convergence Results In Order-Preserving Systems In The Presence Of Symmetry 1998-11-21 Toshiko Ogiwara Introduction of Permissible Bridges with. . . 1997-03-25 Using Petri Nets for Specifying Active Objects and Generative Communication 1998-02-27 Tom Holvoet Image Coding With Wavelet Representations, Edge Information And Visual Masking 1996-03-01 AUCS/TR9605 A Multistrategy Knowledge Refinement and Acquisition Toolbox: Revisited 1996-10-16 Learning to Construct Knowledge Bases from the World Wide Web 1999-04-16 Dependence Analysis and Architecture Design for Bit-Level Algorithms 1994-03-10 The OSPF Specification 1994-06-02 Automatic Reconstruction of B-Spline Surfaces of Arbitrary Topological Type 1996-05-13 Matthias Eck Prosodic Processing And Its Use In Verbmobil 1996-12-16 ParaWeb: Towards World-Wide Supercomputing 1996-09-20 Software Engineering Beginning In The First Computer Science Course 1996-07-22 Estimation of Background from Image Sequence with Moving Objects 1999-02-26 Constrained Image Restoration with a Multinomial Prior 1998-03-17 B. R. Calder Static and Dynamic Information Organization with Star Clusters 1998-09-14 Ground Plane Obstacle Detection with a Stereo Vision System 1995-05-26 Secrecy by Typing in Security Protocols 1997-10-07 Hierarchical Constraint Logic Programming 1993-05-26 Molly Ann Wilson Autoepistemic Logic of First Order and Its Expressive Power 1993-12-21 Li Yan Yuan Quantum Chaos in a Yang-Mills-Higgs System 1997-06-13 Luca Salasnich Improving Climate Prediction Using Seasonal Space-Time Models 1996-07-19 Secondary Infall: Theory Versus Simulations 1998-05-13 Interfacing a Language to the Comandos Virtual Machine 1970-01-01 Two Self-Adaptive Crossover Operations for Genetic Programming 1997-08-26 Peter J. Angeline Information Retrieval from an Incomplete Data Cube 1999-02-25 Curtis Dyreson I/O Functions 1997-03-08 Tools for Printing Indexes 1991-08-20 Machinery for Elaborating Action 1997-01-08 Eyal Amir Totem: A Reliable Ordered Delivery Protocol for InterconnectedLocal-Area Networks 1994-12-09 Deborah A. Agarwal An Efficient Probabilistic Finite Element Method for Stochastic Groundwater Flow 1996-12-20 A Derivative-Free Line Search and DFP Method for Symmetric Equations with Global and Superlinear Convergence 1998-04-08 Static Analysis Of Value-Passing Process Calculi Extended Abstract 1996-08-01 A Mixed Finite Element Domain Decomposition Method For Nearly Elastic Wave Equations In The Frequency Domain 1996-03-22 Xiaobing Fengy A Survey of Collective Communication in Wormhole-Routed Massively Parallel Computers 1994-08-09 Groups and Societies: One and the Same Thing? 1998-06-17 Eduardo Alonso Investigating Focused Techniques for Understanding Frameworks 1997-02-11 Correctness of Monadic State: An Imperative Call-by-Need Calculus 1997-11-21 Reverse Engineering of Java Applets 1998-12-23 A Widrow-Hoff learning-rule for a generalization of the linear auto-associator 1997-09-03 Henning Heiselberg and Morten Hjorth-Jensen 1998-02-18 Zurich iKP Prototype ZIP Certificate Library CERT Specification 1996-03-20 Ensemble Learning for Hidden Markov Models 1997-05-24 David J. C. Mackay Stochastic Process Algebras as a Tool for Performance and Dependability Modelling 1997-03-14 A Spreadsheet Approach to Information Visualization 1998-02-24 Dependency Analysis for Standard ML 1998-10-19 Matthias Blume On Plotkin-Abadi Logic for Parametric Polymorphism - Towards a Categorical Understanding 1998-03-23 P. Maneggia Transformation of Database Populations and Operations from the Conceptual to the Internal Level 1995-06-30 A. Micsik Dynamic Process Management in an MPI Setting 1995-02-06 Ewing Lusk Generalization and Data Reduction in Spatiotemporal Data Sets 1997-11-10 Agnar Renolen Control Flow Analysis for the pi-calculus 1998-10-19 Genetic-Based Feature Selection Applied To Neural Networks For Security Boundary Visualization 1997-10-24 A Comparative Study of a Penalty Function, a Repair Heuristic, and Stochastic Operators with the Set-Covering Problem 1996-08-02 Parallelizable Approximate Solvers for Recursions Arising in Preconditioning 1996-03-21 Yair Shapira A Symmetrical Communication Interface for Distributed-Memory Computers 1998-01-23 Peter A. Steenkiste Numerical Methods for the Regularization of Descriptor Systems by Output Feedback 1998-06-09 Gamma<F1... 1998-06-05 XPress - A Bayesian Belief Network Shell 1996-11-28 M. O. Stitson Efficient Hybrid Algorithm for the Dynamic Creation of Wormlike Chains in Solutions, Brushes, Melts and Glasses 1998-09-30 Martin Kroger Department of Physics Astronomy 1998-05-25 D. H. Saxon A Galactic Chimney in the Perseus Arm of the Milky Way 1997-12-02 M. Normandeau Adaptation In A Multi-Agent System Through Semantic Addressing 1999-01-22 Projectable semantics for Statecharts 1997-06-19 Improving the Strict Avalanche Characteristics of Cryptographic Functions 1997-03-21 Hierarchical Vision-Motion Planning with Uncertainty: Local Path Planning and Global Route Selection 1995-03-20 Randomized Rules of Thumb 1997-10-03 Toby Donaldson CWASAR: a European Infrastructure for Secure Electronic Commerce 1997-06-18 UGA: A Unified Graphics Architecture 1994-02-17 Matching Output Queueing with a Combined Input Output Queued Switch 1999-03-01 Dubovickii-Miljutin Theory and Pontrjagin's Maximum Principle 1999-03-17 Kevin R. Vixie On Supervisory Control of Partial Specification arising in Protocol Conversion 1970-01-01 Switchboard Discourse Language Modeling Project Final Report 1998-01-23 Discovery of Constraints from Data for Information System Reverse Engineering 1998-09-30 Fractal Compression of Single Images and Image Sequences using Genetic Algorithms 1994-06-28 Bayesian Online Learning in the Perceptron 1998-06-03 Logical Definability of NP Optimization Problems 1993-09-23 CV Experiment and Results 1970-01-01 A Structure for Transportable, Dynamic Multimedia Documents 1992-07-10 XiPi Theta GammaDelta 1999-01-24 A Comparison of Standard Texturing and Mip-Mapping in a Real Time Application 1998-06-15 A Possible Barrier At Z=1 for Local Algorithms 1997-04-26 Queueing Delays in Rate Controlled ATM Networks 1993-04-22 Prolog, Refinements and RLGG's 1999-02-24 Claude Sammut Fuzzy Constraint Satisfaction Using CCM - A Local Information Based Computation Model 1994-12-06 Yasusi Kanada A Dempster-Shafer Approach to Modeling Agent Preferences for Plan Recognition 1997-01-21 Mathias Bauer A Computational Model of Expectation-Driven Mixed-Initiative Dialog Processing 1993-09-02 Ronnie W. Smith Reuse of Software Process and Product Through Knowledge-based Adaptation 1994-12-06 A Note on the Expected Path Length of Trees with Known Fringe 1997-12-30 Roberto De Prisco A Front Tracking Method for Conservation Laws with Boundary Conditions 1998-05-03 Subgroups Of So3 Associated With Tilings 1997-04-26 Charles Radin Integrated Rate and Credit Based Flow Control for Unicast ABR Service in ATM Networks 1998-02-18 Recognizing 3D Objects from 2D Images: An Error Analysis 1994-05-17 Domain Decomposition For A Non-Smooth Convex Minimization Problem And Its Application To Plasticity 1996-09-03 Carsten Carstensen Text Classification in USENETNewsgroups: A Progress Report 1997-04-07 An Adaptable Network COntrol and Reporting System ANCORS 1998-07-15 Page Locality Management for CC-NUMA Multiprocessors 1996-05-31 Matthew Frank Behavioral Equivalence in the Polymorphic Pi-Calculus 1996-10-02 Computer Systems Technology 1994-06-06 Performance of the NAS Parallel Benchmarks on PVM Based Networks 1994-05-06 A Comparison of Role Mechanisms in Object-Oriented Modeling 1997-11-11 Werner Retschitzegger Robust Indirect Adaptive Control of Time-Varying Plants with Unmodeled Dynamics and Disturbances 1998-08-24 Dynamic Threshold Cryptosystems: A New Scheme in Group Oriented Cryptography 1996-06-18 Model Checking Graphical User Interfaces Using Abstractions 1999-01-07 S-Index: Signature-based Text Indexing 1999-04-22 Message Logging: Pessimistic, Optimistic, Causal and Optimal 1998-02-02 The Efar Peculiar Velocity Field 1998-09-30 Sysabs - A program for the visualization of crystal data symmetry in reciprocal space 1997-04-03 B. C. Taverner Adaptive Rate Control in High-Speed Networks: Performance Issues 1997-07-28 Aggregation of Linguistic Information Based on a Symbolic Approach 1998-09-03 Quantifying Loop Nest Locality Using SPEC'95 and the Perfect Benchmarks 1998-09-02 Competitive Routing of Virtual Circuits with Unknown Duration 1995-10-03 Recent Developments in Single Product, Discrete-time, Capacitated Production-Inventory Systems 1997-02-12 Sridhar Tayur A 3d Puzzle for Learning Anatomy 1999-03-16 An Efficient Index Structure for OID Indexing in Parallel Temporal Object-Oriented Database Systems 1999-03-07 DoMerge: Integrating Parallel Loops and Reductions 1994-03-07 Converting Context-Free Grammars To Constraint Dependency Grammars 1970-01-01 Christopher M. White Proof of the Refined Alternating Sign Matrix Conjecture 1996-04-13 Doron Zeilberger Toward 3-D Gesture Recognition 1999-01-24 Heterogeneous acoustic Measurements for Phonetic Classification 1997-07-08 Some Relationships between the FOIES and Sigma 1996-11-25 On using a Composition Principle to Design Parallel Programs 1996-12-20 Instruction Selection Using Binate Covering for Code Size Optimization 1996-01-22 and Ch. Laugier 1998-04-09 A. Joukhadar Signature Path Dictionary for Nested Object Query Processing 1996-01-17 Linear systems in Jordan algebras and primal-dual interior-point algorithms 1997-05-14 Leonid Faybusovich . .................................................................................. 1994-04-19 The 1992 SRC Algorithm Animation Festival 1995-06-20 Marc H. Brown Industrial Application of Object-Oriented Mathematical Modeling and Computer Algebra in Mechanical Analysis 1999-02-08 Embracing Windows 1970-01-01 Colin J. Taylor Navigating Large Networks with Hierarchies 1999-01-21 Parallelizing WHILE Loops for Multiprocessor Systems 1994-10-11 Independent Factor Analysis 1998-08-01 H. Attias Descriptive Complexity: a Logician's Approach to Computation 1996-08-07 Neil Immerman A Search for Low-Luminosity BL Lacertae Objects 1999-03-22 Spectral Deformations Of One-Dimensional Schrödinger Operators 1997-04-26 Artifacts in Blood Velocity Estimation Using Ultrasound and Cross-Correlation 1999-02-05 Jørgen Arendt Jensen An Efficient Transitive Closure Algorithm for Cyclic Digraphs 1995-10-08 Esko Nuutila Reasoning with Contradictory Information using Quasi-classical Logic 1998-06-29 Anthony Hunter Unknown 1996-09-03 Software Agent Technologies 1998-03-06 Content-Based Retrieval of Remote Sensed Images Using a Feature-Based Approach 1996-10-10 First ISOCAM images of the Milky Way 1997-03-19 Measuring Cache and TLB Performance and Their Effect on Benchmark Run Times 1998-12-19 Explanation Based Learning for Mobile Robot Perception 1998-09-29 Information Services for Mathematics in the Internet Math-Net 1998-09-07 A Pseudo-Wavelet Scheme for the Two-Dimensional Navier-Stokes Equations 1996-04-03 Stabilization of Infrared Image Sequence with Rotation, Scaling andView Angle Changes 1998-06-26 Vesuvius System Forecasting with Artificial Neural Networks optimised by means of Evolutionary Algorithms 1998-04-09 Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases 1999-01-12 Adaptive Constraint Satisfaction: The Quickest First Principle 1995-11-13 Optimal Joint Synthesis of Base and Reserve Telecommunication Networks 1995-11-03 Recursive Periodization and End-point Singularities 1970-01-01 The Forest Method as a New Parallel Tree Method with the Sectional Voronoi Tessellation 1999-01-19 Word Prediction Using a Neural Net 1996-06-17 Christopher C. Vogt Frequency Spectrum of Coupled Stochastic Neurons with Refractoriness 1998-09-08 Voronoi Diagrams of Polygons: A Framework for Shape Representation 1994-06-04 Vortex Identification - Applications In Aerodynamics: A Case Study 1998-12-15 Language Independence and Language Tolerance in Logic Programs 1998-12-10 Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories 1998-12-21 Wan Fokkink Self-Focusing In The Perturbed And Unperturbed Nonlinear Schrödinger Equation In Critical Dimension 1998-06-08 Complete Models with Stochastic Volatility 1997-02-02 David G. Hobson EPG Source Code Instrumentation Tools - Internal Documentation 1970-01-01 Reusing Force Deployment Plans 1995-07-14 Alice M. Mulvehill Generally Accepted Accounting Principles: Perspectives From Philosophy of Law. 1996-05-05 Efficient Labelling and Constraint Relaxation for Solving Time Tabling Problems 1998-09-29 P. Boizumault A Finite Difference Approach To Degenerate Bernoulli And Stirling Polynomials 1996-06-27 Generating Efficient Programs for Two-Level Memories from Tensor-Products 1996-03-26 Learning to Extract Text-based Information from the World Wide Web 1997-05-19 Stephen Soderland The COSY Project: Verification of Global Seismic Modeling Algorithms 1999-01-13 Automatic High Voltage Conditioning of the Electrostatic LEP Separators without Conventional Programming 1996-03-18 Derivational Minimalism is Mildly Context-Sensitive 1998-11-18 Jens Michaelis Mesh Generation Methods Over Plane And Curved Surfaces 1998-10-30 Selfinjective and iterated tilted algebras of typ E 6 , E 7 , E 8 1999-04-21 Bernd Roggon fl-Ray Pulsars: Beaming Evolution, Statistics and Unidentified 1995-06-20 Letter To Sound Rules For Accented Lexicon Compression 1998-08-21 Low-Diameter Graph Decomposition is in NC 1996-09-01 Efficient Learning and Planning Within the Dyna Framework 1998-08-21 Implementing Adaptability in the Standard Reference Model 1998-04-20 A Futures Market Simulation With Non-Rational Participants 1998-03-13 Constraints on Light Quark Masses From the Heavy Meson Spectrum 1998-05-15 A New Class of Bounds for Correlation Functions in Euclidean Lattice Field Theory and Statistical Mechanics of Spin Systems 1998-05-23 Manfred Requardt Towards an Adaptive Distributed Shared Memory 1997-01-27 World-Wide Web: The Information Universe 1992-02-18 Efficient Probabilistic Inference Through Index Expression Belief Networks 1995-06-15 P. D. Bruza Bringing Media Spaces into the Real World 1998-06-03 NEURAL 2.00: A Program for Neural Net and Statistical Pattern Recognition 1995-12-02 R. Odorico Kernel Principal Component Analysis 1997-10-09 Some Remarks On The Prediction Of Electromagnetic Radiation From Printed Circuit Boards Using The Method Of Moments 1970-01-01 Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation 1997-09-02 GRAPNEL: A Graphical Programming Language for Parallel Programs 1998-04-25 Tibor Fadgyas A General Duality Principle for the Sum of Two Operators 1996-06-24 H. Attouch Mass-Flow Effects Onwave Heating Byresonant Absorption 1996-12-10 A Stabilizing Rendition of MST Construction 1995-09-26 Ted Herman The Interaction of Parallel and Sequential Workloads on a Network ofWorkstations 1995-09-12 On the Complexity of Solving Markov Decision Problems 1995-10-13 Improving Release-Consistent Shared Virtual Memory using Automatic Update 1997-10-10 Solving vector-valued approximation problems by semi-infinite optimization: Numerical and genericity aspects 1997-06-06 Georg J. Still Algorithms and Programming Paradigms for 2-D Wavelet Packet Decomposition on Multicomputers and Multiprocessors 1999-03-01 Ensuring High Availability of Distributed Multimedia Applications 1998-03-30 Hard X-Ray Polarimetry of Solar Flares with BATSE 1996-12-02 Simulation-based Comparisons of Tahoe, Reno, and SACK TCP 1996-06-20 Designing Asynchronous Circuits in Gallium Arsenide 1993-11-10 Novel Convective Instabilities Of Low- To Moderate-Prandtl Number Fluids 1995-11-29 Analysing Inconsistent Specifications 1996-08-13 Unicycling Helps Your French: Spontaneous Recovery of Associations by Learning Unrelated Tasks 1997-12-16 Modal Matching for Correspondence and Recognition 1995-05-01 Bagging Predictors 1995-07-26 Leo Breiman Partial-Order Reduction in the Weak Modal Mu-Calculus 1999-02-15 A New Heuristic for Bad Cycle Detection Using BDDs 1997-04-11 On Two-label Interval Routing 1996-07-05 Protocols for Integrated Audio and Shared Windows in Collaborative Systems 1994-07-18 SPIN-NFDS: Learning and Preset Knowledge for Surface Fusion - A Neural Fuzzy Decision System 1993-08-24 Adjacency on Combinatorial Polyhedra 1998-06-04 On the Development of User Interface Systems for Object-Oriented Databases 1995-11-30 Juliano Lopes De Oliveira Engineering Of Highly Autonomous Biosystems: Review Of Relevant Literature 1998-05-14 On the Convergence of Line Iterative Methods for Cyclically Reduced Non-Symmetrizable Linear Systems 1995-07-19 The Dimension Of The Frontier Of Planar Brownian Motion 1996-03-10 Integrating Naming and Addressing of Persistent Data in Programming Language and Operating System Contexts 1995-03-10 A Keystroke Level Analysis of Manual Map Digitizing 1970-01-01 Synthesis of Reinforcement Learning, Neural Networks, and PI Control Applied to a Simulated Heating Coil 1996-08-14 Functional Counterparts of some Logic Programming Techniques 1997-04-23 Absolutely Continuous Spectrum for One-Dimensional Schrödinger Operators with Slowly Decaying Potentials: Some Optimal Results 1997-06-21 The Influence of Prior Knowledge on Concept Acquisition: Experimental and Computational Results 1994-07-07 Michael J. Pazzani On the Self-Consistent Response of Stellar Systems to Gravitational Shocks 1998-01-19 Using Dissipative Particle Dynamics To Model Binary Immiscible Fluids 1997-11-06 On the Difficulty of Software Key Escrow 1998-05-13 Optimal Control of Quasilinear Parabolic Equations 1996-12-16 A Generalized Stability Criterion for Resonant Triad Interactions 1998-08-10 The "Ariadne's Clew" Algorithm: Global Planning with Local Methods 1999-03-18 Lipschitz Minimizers of the 3-Well Problem Having Gradients of Bounded Variation 1998-03-11 Bernd Kirchheim Robust Pitch Period Detection Using Dynamic Programming With An ANN Cost Function 1995-08-03 Sharing Code through First-class Environments 1996-01-10 Exploiting Timed Petri Net Properties for Distributed Simulation Partitioning 1995-06-01 User Interface Specification 1998-04-27 Adapting Database Implementation Techniques To Manage Very Large Knowledge Bases 1993-12-01 Sensor-Based Online Trajectory Generation for Smoothly Grasping Moving Objects. 1996-01-19 A Function Calculus for Identification and System Analysis 1997-06-11 Object Interconnections 1996-12-28 Learning in Information Agents 1997-10-24 Modeling Skewed Distributions Using Multifractals and the `80-20 Law' 1996-08-27 Upper and Lower Bounding Techniques for Frequency Assignment Problems 1999-01-28 Dynamic Generation of Follow up Question Menus: Facilitating Interactive Natural Language Dialogues 1995-01-21 Integrating Language Models with Speech Recognition 1999-02-03 Regression with Input-dependent Noise: A Gaussian Process Treatment 1998-08-27 A Cost Model for Distributed Shared Memory Using Competitive Update 1997-10-21 Real and Virtual Strange Processes 1998-05-14 Chiral Dynamics and the 1998-05-14 Visa Protocols for Controlling Inter-Organizational Datagram Flow 1999-03-30 The Overall Properties Of Piezocomposite Materials With Cylindrical Fibres 1997-06-06 Efficient Decoding of Prefix Codes 1995-04-06 Semantically Controlled Content-Based Retrieval of Video Sequences 1998-09-24 Giridharan Iyengar A Checkpoint Protocol for an Entry Consistent Shared Memory System 1997-10-20 Three-dimensional caricatures of human heads: Distinctiveness and the perception of facial age 1997-07-16 Limbo: A tuple space based platform for adaptive mobile applications 1997-01-27 Foreword to: Fuzzy Sets and Systems, Special Issue on Fuzzy Arithmetic 1998-10-12 Centre And Isochronicity Conditions For Systems With Homogeneous Nonlinearities 1996-12-17 High-Altitude Time-of-Flight Search for Non-Weakly-Interacting Dark Matter in Cosmic Rays 1998-09-28 A New Methodology of Fuzzy Constraint-Based Controller Design via Constraint Network Processing 1995-05-26 Effective Lagrangians and Parity-Conserving Time-Reversal Violation at Low Energies 1998-05-23 Convergence of the Transfer Operator for Rational Maps 1997-04-26 Domain-Independent Queries on Databases with External Functions 1994-10-04 Dan Suciu A TRS Model for a Modern Microprocessor Computation Structures 1970-01-01 The Maximum of a Random Walk and Its Application to Rectangle Packing 1997-07-31 A Continuum of Minimal Pairs ofCompact Convex Sets which are not Connected by Translations 1996-06-24 Diethard Pallaschke Using Coordinated Atomic Actions to Design Complex Safety-Critical Systems: The Production Cell Case Study 1997-11-26 A Probabilistic Approach for the Semantic Analysis 1998-12-17 Reconstruction of a High Resolution Image from Multiple Degraded Mis-Registered Low Resolution Images 1998-04-29 Residual Algorithms: Reinforcement Learning with Function Approximation 1997-07-04 Leemon Baird Towards A Model Of Exploration In Computer-Aided Design 1995-10-06 J. S. Gero Expectation Values of Observables in Time-Dependent Quantum Mechanics 1997-07-16 J. M. Barbaroux Favorable Classes of Mappings and Multimappings In Nonlinear Analysis and Optimization 1996-06-23 Jean-paul Penot On Formalizing the UML Object Constraint Language OCL 1998-07-16 Automatic Road Extraction Based On Multi-Scale Modeling, Context, And Snakes 1997-10-21 On the Covering Multiplicity of Lattices 1997-03-05 A Method for the Generation of Test Cases Based on SDL and MSCs 1996-05-22 Reducing Data Hazards on Multi-pipelined DSP Architecture with Loop Scheduling 1997-08-26 Automatic Registration Of 3-D Ultrasound Images 1997-05-15 Construction of Convolutional Codes using Methods from Linear Systems Theory 1998-04-10 Evolved Asymmetry and Dilution of Random Synaptic Weights in Hopfield Network Turn a Spin-glass Phase into Associative Memory 1997-03-12 Upper and lower bounds for certain GRAPH-ACCESSIBILITY-PROBLEMs on bounded alternating omega-BRANCHING PROGRAMs 1995-01-30 A Decision Algorithm for Full Propositional Temporal Logic 1996-04-27 ParPre: A Parallel Preconditioners Package reference manual for version 2.0.21, revision 1 1998-12-30 Language Preorder as a Precongruence 1999-02-09 Wan Fokkink A Type System for Prototyping Languages 1994-02-01 Object Tracking Based On Temporal And Spatial Information 1999-03-23 On Robust Impedance Force Control of Robot Manipulators 1997-04-02 EMCA - An Optimal Synchronous Bandwidth Allocation Scheme for Guaranteeing Synchronous Message Deadlines with the Timed Token Protocol in an FDDI Network 1994-12-17 Enhancement Of The Ground Processing Scheduling System gpss 1997-10-03 Variational Cumulant Expansions for Intractable Distributions 1998-08-28 VIMS: Towards an Adaptive and Versatile Video Manipulation Server 1997-09-19 Error Bounds for Inconsistent Linear Inequalities and Programs 1970-01-01 O. L. Mangasarian Managing Flash Memory In Personal Communication Devices 1997-10-17 The Number of Knight's Tours Equals 33,439,123,484,294 --- Counting with Binary Decision Diagrams 1997-12-26 Martin Lobbing In any CASE: Demeter 1992-08-14 Observables of the Euclidean Supergravity 1997-08-01 Ion V. Vancea Implementation and Evaluation of an Efficient 2D Parallel Delaunay Triangulation Algorithm 1997-05-13 Jonathan C. Hardwick An Experiment Using Prolog to Investigate TRACE Specifications 1994-12-08 Finite Volume Discretization of the Convection-Diffusion Equation in General Coordinates 1994-07-11 P. Wesseling Bounds on Spectral Condition Numbers of Matrices Arising in the P-Version of the Finite Element Method 1995-07-19 Elwood T. Olsen L-domains and Lossless Powerdomains 1996-03-27 Radhakrishnan Jagadeesan Dynamics of an Attractor Neural Network Converting Temporal Into Spatial Correlations 1998-03-11 Nicolas Brunel Using the StP Code Generators 1997-04-30 Ashruf Patel A Note on Fairness in I/O Automata 1996-07-17 Agent-Based Software Engineering 1998-07-23 A Tight Lower Bound on the Cover Time for Random Walks on Graphs 1994-04-26 Uriel Feige An Introduction to Formal Specification and Verification using EHDM 1994-11-06 An Asynchronous Avoidance-Based Cache Consistency Algorithm for Client Caching DBMSs 1998-09-15 An Automatic Closed-Loop Methodology for Generating Character Groundtruth for Scanned Documents 1998-10-08 The Proteus Presentation System 1995-08-25 Regular Approximation of Computation Paths in Logic and Functional Languages 1996-03-11 Spanning Tree Based State Encoding for Low Power Dissipation 1999-02-05 On the Generation of Trees by Hyperedge Replacement 1998-01-20 Frank Drewes Partition and Conquer 1997-07-09 A multivariate two-sample test using the Voronoi diagram 1994-11-15 Orientation Competition in Cortical Filters - An Application to Face Recognition 1995-02-21 Buffer and I/O Resource Pre-allocation for Implementing Batching and Buffering Techniques for Video-on-Demand Systems 1997-03-24 New Applications of the Incompressibility Method, Part I 1998-09-15 A Hybrid Multilevel/genetic Approach For Circuit Partitioning 1996-04-19 Matrix Computations On The CM-200 1994-11-29 Goran Svensson Reinforcement Learning in the Multi-Robot Domain 1997-08-05 Maja J Matari'c Quantization ofSolitons and the Restricted Sine-Gordon Model. 1998-05-25 Divergence of... Type Checking 1994-08-10 Giorgio Ghelli Initial Results Of An Mdo Method Evaluation Study 1998-07-02 Natalia M. Alexandrov Type-Safe Execution of Mobile Agents in Anonymous Networks 1999-02-02 Matthew Hennessy Designing Communication Strategies for Heterogeneous Parallel Systems 1996-11-21 Robust Thermophysics-based Interpretation of Radiometrically Uncalibrated IR Images for ATR and Site Change Detection 1997-07-29 Real-time Communication in Packet-Switched Networks 1993-02-14 Interactive Calibration of the Mapping of Global Illumination Values to Display Devices 1997-09-11 A Variable Time Step Method For An Age-Dependent Population Model With Nonlinear Diffusion 1997-09-29 Bruce P. Ayati Co-Learning of Recursive Languages from Positive Data 1996-07-22 Comprehensible Exploratory Induction With Decision Graphs 1995-09-27 Optimizing Block Size In Motion-Compensated Video Coding 1997-10-16 Towards Semantically Meaningful Feature Spaces For The Characterization Of Video Content 1997-09-05 Nuno Vasconcelos Vehicle System Simulation Using a Toolkit Based Strategy 1995-03-01 Optimizations for Dynamic Inverted Index Maintenance 1996-04-03 A VLSI friendly neural network with localised transfer functions 1997-02-21 A Numerical Study Of An Ill-Posed Boussinesq Equation Arising In Water Waves And Nonlinear Lattices: Filtering And Regularization Techniques 1998-05-20 Non-Myopic Attribute Estimation in Regression 1996-06-11 Sikonja Igor Kononenko Circle In The Round: State Space Attractors for Evolved Sighted Robots 1996-03-25 High Performance Computing and Numerical Simulation of Flames 1995-11-14 Evolving Algebras 1997-12-22 Relative 3D Reconstruction Using Multiple Uncalibrated Images 1998-01-20 How To Use Kyst - A very Flexible PROGRAM TO DO MULTIDIMENSIONAL SCALING AND UNFOLDING 1995-05-21 An Inheritance Model for Supporting Flexible Displays of Data Structures 1998-07-17 Prasun Dewan A Direct Approach to Vision Guided Manipulation 1996-07-10 Regularization and Error Bars for the Mixture of Experts Network 1997-06-23 Processor Capacity Reserves: Operating System Support for Multimedia Applications 1995-02-28 Controlling Constructive Induction in CIPF: An MDL Approach 1993-10-27 Bernhard Pfahringer Providing Seamless Communications in Mobile Wireless Networks 1997-01-27 Efficiently Searching a Graph by a Smell-Oriented Vertex Process 1998-07-01 A Progressive Transmission Image Coder Using Linear Phase Paraunitary Filter Banks 1998-02-10 The Path Formulation of Bifurcation Theory 1970-01-01 James Montaldi HTN Planning: Complexity and Expressivity 1994-04-29 Record Linkage of Anonymous Data by Control Numbers 1998-01-24 Recent Advances In Janus: A Speech Translation System 1995-08-22 How to Make Personalized Web Browsing Simple, Secure, and Anonymous 1998-06-09 Transaction Reordering in Replicated Databases 1997-08-21 Building a KBS for Health and Safety Assessment 1997-01-08 John Kingston Visually Controlled Graphics 1995-01-11 Ultra Low-Voltage Digital Floating-Gate UVMOS FGUVMOS Circuits 1998-11-13 Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks 1996-05-08 David Poole CTL - A description logic with expressive concrete domains 1997-07-28 Quasiperiodic Spin Space Groups 1996-09-25 Ron Lifshitz Computing with Bayesian Multi-Networks 1996-02-20 Eugene Santos Adaptive Decorrelating Detectors For Cdma Channels 1996-09-24 Tighter Layouts of the Cube-Connected Cycles 1997-05-09 Explicit Representations of Problem-Solving Strategies to Support Knowledge Acquisition 1996-08-06 Bounded Delay Timing Analysis of a Class of CSP Programs with Choice 1995-02-15 Confidence Measures For Spontaneous Speech Recognition 1997-05-28 Is Anything Ever New? - Considering Emergence 1999-01-10 3d model-based tracking of humans in action: A multi-view approach. 1996-10-06 RATH - A Relational Adaptive Tutoring Hypertext WWW-Environment 1998-02-10 Cord Hockemeyer Scheduling in Multimedia Systems 1999-02-25 A. L. Narasimha Reddy Identifying the Interaction between Genes and Gene Products Based on Frequently Seen Verbs in Medline Abstracts 1999-03-17 Mobile Intelligent Agents for Document Classification and Retrieval: A Machine Learning Approach 1998-02-10 On Comprehensive Visual Learning 1995-03-03 John juyang Weng A Model for Learning Human Reaching-Movements Amir Karniel Gideon F. Inbar 1997-03-30 Donald J. Baker 1996-04-23 Donald J. Baker Delegation Of Authority 1991-08-22 Power Plant Walkthrough: An Integrated System for Massive Model Rendering 1997-10-08 On the Performance of a Distributed Object Oriented Adaptive Mesh Refinement Code 1997-12-29 Localizations of Transfors 1998-07-24 Sjoerd E. Crans Comparison of linear reconstruction techniques for 3D DPDW imaging of absorption coefficient 1999-02-24 Image Coding With an ... Norm and Confidence Interval Criteria 1997-06-24 Lamia Karray Polygon-to-Function Conversion for Sweeping 1996-08-26 Reinforcement Learning With HIGH-DIMENSIONAL, CONTINUOUS ACTIONS 1999-03-12 Better PostScript than PostScript - portable self-extracting PostScript representation of scanned document images 1997-01-13 Automatic Generation of Parallel Programs with Dynamic Load Balancing 1994-05-22 Programmable Active Memories: a Performance Assessment 1998-12-21 Duality for Bounded Lattices IULG Preprint 1993-08-25 A New Array Operation 1995-11-02 Philip Wadler Multiresolution for Algebraic Curves and Surfaces Using Wavelets 1998-11-23 Research Interests 1997-08-05 Corran Webster A Formal Semantics of Data Flow Diagrams 1994-08-18 February 21, 1994 1970-01-01 Padmanabh Dabke Antihomogeneous Conjugacy Operators in Convex Analysis 1995-10-27 Alexander Rubinov Design Of DD Robot System 1996-07-29 Dynamically Configurable Acoustic Models For Speech Recognition 1997-11-06 Singular-perturbative reduction to Birkhoff normal form and instanton-type formal solutions of Hamiltonian systems 1998-09-29 Yoshitsugu Takei Symphony: An Integrated Multimedia File System 1998-06-12 Recent Chalk River Experiments On Superallowed 1998-05-13 A Type-Theoretic Approach to Higher-Order Modules with Sharing 1998-09-23 Lossless Compression for Sources with Two-Sided Geometric Distributions 1998-07-23 The Dynamic Servers Problem 1997-10-30 An Approach for the Mapping of Jacobi Algorithms onto a Jacobi Specific Dataflow Processor 1997-12-22 Large Sample Tests For A Regression Model With Autoregressive Conditional Heteroscedastic Errors 1997-08-28 Robust Regression With a Categorical Covariable 1970-01-01 The Shooting Technique for the Solution of Two-Point Boundary Value Problems 1995-10-12 Guide to the HYDRA Reduction Task DOHYDRA 1998-06-27 Francisco Valdes Sonar Signal Processing using Tangent Clusters 1994-07-18 Entity Identification in Database Integration 1996-12-25 On Profile Likelihood 1998-04-21 A Self-Learning Visual Pattern Explorer and Recognizer using a Higher Order Neural Network 1994-05-17 Georg Dorffner Testing-Based Abstractions for Value-Passing Systems 1998-12-15 Rance Cleaveland Analysis of a three-component model phase diagram by Catastrophe Theory 1997-07-02 J. Gaite Agents That Learn from Other Competitive Agents 1995-06-16 Correction to McKelvey and Page, "Public and Private Information: An Experimental Study of Information Pooling", Econometrica, Nov. 1990 1997-08-19 Robin Hanson Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail 1993-01-12 Security for Decentralized Health Information Systems 1996-09-20 Gerrit Bleumer A Matrix Key Distribution Scheme 1997-10-14 Functions and the Unity of Mathematics 1995-09-19 Daniel Henry Gottlieb Collision Avoidance and Resolution Multiple Access: First-Success Protocols 1997-05-29 Analysis results of the first combined test of the LArgon and TILECAL barrel calorimeter prototypes 1999-03-23 Imitation and Mechanisms of Joint Attention: A Developmental Structure for Building Social Skills on a Humanoid Robot 1998-06-15 Brian Scassellati Adaptive Cache Invalidation Methods in Mobile Environments 1997-05-26 Ringraziamenti 1998-03-14 Live-structure Analysis for Logic Programming Languages with Declarations 1970-01-01 Obtaining exact solution from a near optimum solution for convex QP 1994-04-28 Channel Allocation Methods for Data Dissemination in Mobile Computing Environments 1998-11-05 Snoop: An Expressive Event Specification Language For Active Databases 1997-11-28 On Open Defaults 1995-09-05 Vladimir Lifschitz A New Look at the Easy-Hard-Easy Pattern of Combinatorial Search Difficulty 1998-03-04 Exploiting Run-Time Information for Efficient Processing of Queries 1995-01-31 Quantifying Knowledge Complexity 1995-04-03 Research Interests 1996-01-05 Deborah L. Cotten Zero Viscosity Limit for Analytic Solutions of the Navier-Stokes Equation on a Half-Space I. Existence for Euler and Prandtl Equations 1970-01-01 Geostatistical Analysis Of Time Series Of Short L_Aeq Values 1996-10-03 Report on the 5th International Workshop on Knowledge Representation Meets Databases KRDB'98 1998-07-24 The Evolutionof Complexity and the Value of Variability 1998-03-10 Anil K Seth Decision Support Paradigms for Prescribing in General Practice - Lessons from the PRODIGY Trials 1997-03-10 Spectral Approximation of Multiplication Operators 1995-03-18 Kent E. Morrison Saturation of Counterterms By Resonances in 1998-05-15 S. Fajfer Towards Provably Correct System Synthesis and Extension 1997-04-16 The Linux Sound HOWTO 1998-04-26 Tagging and Morphological Disambiguation of Turkish Text 1994-07-20 Determining Optimal Few-Stage Allocation Procedures 1996-10-16 Orthonormal Polynomial Vectors 1999-02-23 GARGOYLE: Portable, low-cost, and efficient active vision 1997-01-26 Fluctuation Patterns and Conditional Reversibility in Nonequilibrium Systems 1997-04-26 Giovanni Gallavotti Adaptive Simplicial Grids from Cross-sections of Monotone Complexes 1998-04-22 Herbert Edelsbrunner On the Relation between Episodic and Semantic Memories 1997-05-08 Implementing Haskell overloading 1993-05-06 Lennart Augustsson Using High Speed Networks to Enable Distributed Parallel Image Server Systems 1995-02-13 Training Second-Order Recurrent Neural Networks using Hints 1992-04-14 Logic Programming for Robot Control 1995-04-22 David Poole On the Use of the Lanczos Method for Computing Tridiagonal Matrices with Prescribed Eigenvalues 1994-12-08 Arne Marthinsen Workshop on Multi-Language Object Models 1995-03-09 Fitness Causes Bloat 1997-06-10 Monitoring Temporal Preconditions in a Behaviour Oriented Object Model 1997-08-22 The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions 1997-02-07 A Bibliography of Publications in Communications of the ACM: 1960-1969 1998-11-02 Nelson H. F. Beebe Multicasting Protocols for High-Speed, Wormhole-Routing Local Area Networks 1996-04-01 TSF: An Object Oriented Address Translation Simulation Framework 1995-11-23 AMETHODOLOGYFOR INTEGRATING SENSOR FEEDBACK IN MACHINE TOOL CONTROLLERS Fred Proctor John Michaloski Tom Kramer 1997-12-31 Expected Heights in Heaps 1995-10-09 A Novel Derivation Methodology For Polynomial-LQ Controller Design 1996-05-09 Mikael Sternad The Swift/RAID Distributed Transaction Driver 1993-10-12 Bruce R. Montague Towards Temporal Constraint Logic Programming 1998-01-26 Eddie Schwalb Stack And Queue Layouts Of Posets 1995-01-22 A Minimax Algorithm Better than Alpha-Beta? No and Yes 1998-08-19 Querying Documents in Object Databases 1997-01-11 The Bavarian Archive For Speech Signals: Resources For The Speech Community 1997-08-05 Using Dependence Analysis to Support Software Architecture Understanding 1997-09-08 Jianjun Zhao A New Genetic-Based Technique for Matching 3-D Curves and Surfaces 1999-03-18 NetSolve version 1.2: Design and Implementation 1998-11-10 Jack Dongarra Predicting Chaotic Time Series Using a Fuzzy Neural Network 1999-02-11 The Picard group of the moduli of G-bundles on a curve 1997-01-20 Christoph Sorger New VI CCD photometry of NGC 1851 1997-03-29 Use Case Driven Analysis of Feature Interactions 1995-10-03 Kristofer Kimbler Link Capacity Allocation and Network Control by Filtered Input Rate in High Speed Networks 1997-09-25 On the Problem of Defining Local Thermodynamic Equilibrium 1997-04-26 H. Roos Tradeoffs in the Design of On-Line Systems 1997-04-07 Absorbing Boundary Conditions for the Schrödinger Equation 1970-01-01 Thomas Fevens A Medical Terminology Server 1995-04-10 Hybrid Distributed Adaptive Neural Router 1998-08-05 DISCOVERING PROBLEM SOLUTIONS WITH LOW KOLMOGOROV COMPLEXITY AND HIGH GENERALIZATION CAPABILITY Jurgen Schmidhuber Fakultat fur Informatik Technische Universitat Munchen 80290 Munchen, Germany 1995-08-21 The Bucket Box Intersection bbi Algorithm For Fast Approximative Evaluation Of Diagonal Mixture Gaussians 1997-02-06 How to Get Volunteers for Web-based Metacomputing 1998-05-30 DQDB --- An Overload Cycle Analysis of Generalized Bandwidth Balancing with Strict Priority Enforcement 1997-01-07 Michael J. Ferguson An Opportunity Cost Approach For Job Assignment In A Scalable Computing Cluster 1998-07-29 A Search for High Energy 1996-07-24 The LAPS Wind Analysis 1997-05-14 Steven C. Albers New Bounds on the Expected Length of One-to-One Codes 1996-08-09 SIMMER: Software and Systems Integration Modelling Metrics and Risks Getting to Level 4 1998-11-23 On the condition number of linear least squares problems in Frobenius norm 1995-12-12 Serge Gratton Optimizing Stochastic and Multiple Fitness Functions 1995-06-07 Joseph L. Breeden Generalized Additive Models 1997-01-26 Solving a Very Large Scale Multiservice Frequency Planning in Civilian Aviation 1997-03-24 Marc Jiang Statistics For Structure Formation In The Universe 1995-07-27 Takahiko Matsubara A Third Level of Adaptivity for Branch Prediction 1998-03-30 On Many-Minds Interpretations of Quantum Theory 1998-05-26 Matthew J. Donald Evolved Representations and Their Use in Computational Creativity 1999-02-02 Biased Bootstrap Methods for Reducing the Effects of Contamination 1999-02-11 Performance Analysis of the RIO Multimedia Storage System with Heterogeneous Disk Configurations 1998-07-02 High-Performance Local Area Communication With Fast Sockets 1996-11-20 Implosion Control for Multipoint Applications 1996-06-03 Compiler-Controlled Multithreading for Lenient Parallel Languages 1996-11-13 The Blinding of Weak Signatures Extended Abstract 1998-07-31 Matthew Franklin Mobility and Persistence 1998-07-29 Miguel Mira Da Silva Asymptotic Laws For Symbolic Dynamical Systems 1998-03-19 Dynamically Adding Symbolically Meaningful Nodes to Knowledge-Based Neural Networks 1998-12-21 A Steiner 2-Design with an Automorphism Fixing Exactly 1998-05-23 Charles J. Colbourn Preprojective Algebras, Differential Operators And A Conze Embedding For Deformations Of Kleinian Singularities 1998-02-26 William Crawley-boevey A Comparison of Annealing Techniques for Academic Course Scheduling 1998-09-14 Ring Network Design for Metropolitan Area Networks 1998-05-24 Pattern Classification with Compact Distribution Maps 1998-05-08 Multilingual and Crosslingual Speech Recognition 1998-04-27 Future Trends In Data Base Systems 1994-02-18 Michael Stonebraker Application of Wavelets to Color Spectra 1998-03-16 Arto Kaarna The Role of Development in Evolutionary Radiations 1998-09-25 Gunther J. Eble A Linearly Quasi-Anticipatory Autonomous Agent Architecture: Some preliminary experiments 1998-08-31 Paul Davidsson Mediator: an Intelligent Information System Supporting the Virtual Manufacturing Enterprise 1995-08-03 An Equichordal Characterization of Round Spheres 1996-05-02 F. J. Craveiro De Carvalho Physics Of Strangelets 1998-05-23 Jes Madsen Web Mining: Pattern Discovery from World Wide Web Transactions 1996-09-22 Multiscale Representations of Markov Random Fields 1993-06-28 Evaluating Testing Methods by Delivered Reliability 1998-11-12 Automatic Face Location for Videophone Images 1999-03-19 Efficient Translation of External Input in a Dynamically Typed Language 1995-04-06 Robert Paige A Comparison of Software Code Reordering and Victim Buffers 1998-10-25 Hypertext Transfer Protocol 1994-05-11 The Design of Automatic Parallelizers for Symbolic and Numeric Programs 1992-05-11 A New Approach to Kanerva's Sparse Distributed Memory 1998-02-02 Robust Classification of Hand Postures against Complex Backgrounds 1996-08-06 Randomized Parallel Algorithms 1995-02-27 Building Open Programmable Multimedia Networks 1997-01-31 SURF - An Information Filtering Facility for USENET News 1994-11-04 Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance 1995-09-27 On Enlargability Of Infinite-Dimensional Lie Superalgebras 1997-04-26 Vladimir G. Pestov Reasoning about High-Level Robot Behaviors by Model Checking and Local Validity Tests 1998-09-23 Giacomo Riccardo Rosati A Generalized Inverse Iteration for Computing Simple Eigenvalues of Nonsymmetric Matrices 1998-09-19 Homotopy Invariants of Multiple Categories and Concurrency in Computer Science 1999-03-22 Dynamical Recurrent Neural Networks - Towards Environmental Time Series Prediction 1997-04-24 Acquiring Knowledge of Knowledge Acquisition: A self-study of Generic Tasks 1997-08-07 Toward a Model of Mind as a Laissez-Faire Economy of Idiots 1995-12-15 Eric B. Baum A Parsing Algorithm for Context-Sensitive Graph Grammars 1995-01-31 J. Rekers Detecting Phase Synchronization in Noisy Systems 1997-08-13 Milan Palus Reducing I/O Demand in Video-On-Demand Storage Servers 1999-02-09 Are the Nuclei of Seyfert 2 Galaxies Viewed Face-On? 1998-06-06 An Inverse Scattering Result for Several Convex Bodies 1997-04-26 Latchezar Stoyanov The Limits Of Mathematics 1995-04-07 G. J. Chaitin Exponentially Small Splitting of Separatrices Under Fast Quasiperiodic Forcing 1997-05-22 Implementing an Optimizing Linda Compiler using SUIF 1996-05-08 Policies in Network and Systems Management - Formal Definition and Architecture - 1996-07-01 Rene Wies A Strong Relaxation Theorem for Maximal Monotone Differential Inclusions with Memory 1995-11-19 Nikolaos S. Papageorgiou Chip and Package Co-Design of Clock Networks 1995-06-13 Electron Response of Metallic Clusters to Strong Laser Pulses and Energetic Ion Collisions 1996-07-02 Computational Issues in Secure Interoperation 1998-09-26 The Clausal Discovery Engine User's Guide 3.0 1997-01-13 Elements of Matlab 1993-03-08 The Bootstrap Is Inconsistent With Probability Theory 1995-10-11 David H. Wolpert Characterizing the Mispredicted Branches 1995-11-08 A Case for Caching File Objects Inside Internetworks 1993-04-03 Dynamic Trajectory Planning with Dynamic Constraints: a `State-Time Space' Approach 1998-04-09 Th. Fraichard Set-Based Analysis for Logic Programming and Tree Automata 1998-02-19 Auditory Neuron Models for Cochlea Implants 1997-07-28 H. Scheich Classification Of Irreducible Harish-Chandra Modules For ... 1996-11-12 Dragan Mili Ci C Data Channel Service for Wireless Telephone Links 1996-06-18 An Application of Statistical Search Theory to Location Management in Wireless Networks 1998-08-15 Relational Learning for NLP using Linear Threshold Elements 1999-04-07 On the Markov Equivalence of Chain Graphs, Undirected Graphs, and Acyclic Digraphs 1999-04-25 Kinetic Occlusion 1995-03-24 Sourabh A. Niyogi Algorithms for Pinball Simulation, Ball Tracking and Learning Flipper Control 1995-03-20 Michael Patrick Johnson The Problem 1996-05-28 Automated Behavioural Verification of Prolog Programs 1997-09-10 Replication For Efficiency And Fault Tolerance In A Dsm System 1998-04-03 Anne-marie Kermarrec GenJam: A Genetic Algorithm for Generating Jazz Solos 1995-06-15 John A. Biles The Informational Component 1994-04-21 Enric Vallduv WKB expansion for the angular momentum and the Kepler problem: from the torus quantization to the exact one 1997-04-26 Marko Robnik Fixed Point Theory And The K-Theoretic Trace 1997-08-11 Ross Geoghegan Development of Direction Selectivity Through Hebbian Modification 1996-11-04 CMUnited-97: RoboCup-97 Small-Robot World Champion Team 1998-02-16 Comments on "Nonlinear Output Feedback Control of Dynamically Positioned Ships Using Vectorial Observer Backstepping" 1997-12-01 Melnikov Potential for Exact Symplectic Maps 1997-04-26 P- versus S-wave 1992-10-05 On Pruning Strategies for Discovery of Generalized and Quantitative Association Rules 1998-12-10 Irene Weber Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference 1997-11-11 Perspectives on Fuzzy Systems in Computer Vision 1998-01-24 Ellen L. Walker Lip Modeling for Visual Speech Recognition 1999-02-06 L E C T R O N I C 1998-10-02 Zhan Shi Cross-Linguistic Semantics for Complex Nominals in the Generative Lexicon 1970-01-01 Federica Busa A Parallel Algorithm for Minimization of Finite Automata 1996-08-22 Timing Control of Stream Handlers in a Distributed Multi-Threaded Environment 1996-05-10 Tobias Helbig Acquisition of a Large Database for Biometric Identity Verification 1998-06-15 Fast RLS Algorithms Running On Roughly Quantized Signals 1999-02-11 On the Relationship between Generalized Equality Clustering and ART 2 Neural Networks 1999-01-19 Alper K. Caglayan Magnús Snorrason Multimedia Storage Servers: A Tutorial and Survey 1997-03-21 Program Transformations in and on a Lazy Functional Language - Express things Mondrianically! 1997-10-01 Koen Claessen Access Control in a Workstation-Based Distributed Computing Environment 1994-11-17 Bezoutians and Hankel Matrices - the nonsingular case 1996-02-02 Performance Evaluation of max,+ Automata 1996-03-19 Stephane Gaubert Client-Server Semantic Binary Database: Design and Development 1998-10-31 Konstantin Beznosov Dynamic Adaptive Partitioning for Nonlinear Time Series 1998-06-23 On the possible failure of the Gibbs property for measures on lattice systems 1997-04-26 Aernout C. D. Van Enter Lightweight Transactions on Networks of Workstations 1998-04-14 Formal Specification and Verification of Object-Based Systems in a Temporal Logic Setting 1998-01-29 On the Power of Randomized Ordered Branching Programs DRAFT 1997-04-22 Formal Verification of Hardware using HOL 1996-07-20 Marco Benini Initialization Problems for Java 1998-12-28 Egon Borger A New Understanding of Greed 1970-01-01 Blending Reactivity and Goal-Directedness in a Fuzzy Controller 1994-11-16 Efficient Algorithms for Qualitative Reasoning about Imprecise Space 1996-03-05 Thodoros Topaloglou A Reversible Instruction Set Architecture and Algorithms 1996-05-29 J. Storrs Hall Partitioning Non-strict Languages for Multi-threaded Code Generation 1970-01-01 Testable Synthesis of High Complex Control Devices 1970-01-01 Flexible Histograms: A Multiresolution Target Discrimination Model 1998-04-13 Retrofitting Existing Applications and Authoring New Applications for the World Wide Web 1995-11-22 Zeta Functions with Dirichlet and Neumann Boundary Conditions for Exterior Domains 1996-02-03 J. -p. Eckmann Behavior Coordination Using Multiple-Objective Decision Making 1997-07-17 Focus and Higher-Order Unification 1998-11-25 Toward a Convergence of Systems and Software Engineering 1996-05-22 Paul A. Fishwick Phase Transitions in Driven Diffusive Systems With Random Rates 1996-12-06 Cheating with Imperfect Transcripts 1997-07-30 A System Prototype for Warehouse View Maintenance 1996-06-27 Beam Tracing Polygonal Objects 1998-08-06 Perspectives: Complex Adaptations and the Evolution of Evolvability 1995-10-05 A Structurefor Transportable, Dynamic Multimedia Documents 1992-07-10 Modelling Intelligent Information Systems for Auditing 1999-02-05 Revisiting The GEMGA: Scalable Evolutionary Optimization Through Linkage Learning 1997-09-29 An Unexpected Factor in Testing for CMOS Opens: The Die Surface 1996-03-21 Finite Element Resolution Of The 3d Stationary Semiconductor Device Equations On Multiprocessors 1996-11-12 Polynomial Roots from Companion Matrix Eigenvalues 1999-02-03 Paths between Imperative and Functional Programming 1999-03-29 Thomas Ball On the 6×6 Stiffness Matrix for Three Dimensional Motions 1995-03-30 Symbiotic Intelligence: Self-Organizing Knowledge on Distributed Networks Driven by Human Interaction 1998-06-02 Finding Consistent Global Checkpoints in a Distributed Computation 1998-08-03 Surgery And Geometric Topology 1997-05-23 An Experimental Study of Workload Indices for Non-dedicated, Heterogeneous Systems 1997-08-30 A Constraint Based Structure Description Language for Biosequences 1997-06-27 Visualisation of Complex Systems 1996-02-28 Allpass Filter Design And Applications 1998-04-09 Markus Lang Tangential Hilbert Problem For Perturbations Of Hyperelliptic Hamiltonian Systems 1998-10-23 D. Novikov Collaborative Learning in a Software Bug-Tracking Scenario 1996-11-15 Query By Templates: A Generalized Approach for Visual Query Formulation for Text Dominated Databases 1998-06-15 Robust Recovery of Ego-Motion 1994-01-12 Tracing of User Programs for Incremental Replay 1998-08-22 Michael W. Shapiro Column Generation With a Primal-Dual Method 1998-05-05 Jacek Gondzio KAM theory near multiplicity one resonant surfaces in perturbations of a-priori stable Hamiltonian systems 1997-05-14 Solid Phase DNA Solution to the Hamiltonian Path Problem 1998-08-10 Quality-Based Evaluation of Multimedia Synchronization Protocols for Distributed Multimedia Information Systems 1996-08-31 PADRE for COWs 1998-04-14 David Hawking Group Extension Homomorphism Matrices 1996-10-09 A. M. Dupr E Lapack++ V. 1.0 Linear Algebra Users' Guide 1995-05-12 Results on Two-Bit Gate Design for Quantum Computers 1995-12-13 David P. Divincenzo John Smolin Probabilistic Planning in the Graphplan Framework 1998-05-13 A Framework for QoS Guarantees for Multimedia Applications within an Endsystem 1996-05-31 The Contribution Of Consonants Versus Vowels To Word Recognition In Fluent Speech 1996-04-17 Sharing Objects over the Internet: the Mushroom Approach 1996-08-29 Classification of Composition and Interoperation 1996-11-07 Johannes Sametinger PUMMA: Parallel Universal Matrix Multiplication Algorithms on Distributed Memory Concurrent Computers 1994-05-13 Java Finalize Method, Orthogonal Persistence and Transactions 1998-08-16 On Dimensionality in Multiscale Morphological Scale-Space with Elliptic Poweroid Structuring Functions 1995-05-18 Spectral Methods for Matrix Rigidity with Applications to Size-Depth Tradeoffs and Communication Complexity 1995-05-05 Satyanarayana V. Lokam Reproducing a Subjective Classification Scheme for Atmospheric Circulation Patterns over the United Kingdom using a Neural Network 1996-04-05 An Efficient Processor Allocation Scheme for Mesh Connected Parallel Computers 1995-07-18 Electroproduction and Hadroproduction of Light Gluinos 1998-05-13 Quantitative Visualisation of Surfaces From Volumetric Data 1997-12-22 Structure-directed Genericity in Functional Programming and Attribute Grammars 1996-11-22 Map Analysis for Guided Interpretation of Aerial Images 1997-08-25 Submission Type: Paper - Track I Business Processes 1995-05-12 Positive Subtyping 1996-08-18 Extending the Message Passing Interface MPI 1999-02-12 Using an Object-Oriented Database to Encapsulate Heterogeneous Scientific Data Sources 1994-03-17 Normalized Coprime Factorizations in Continuous and Discrete Time - a Joint State-Space Approach 1997-08-13 J. W. Hoffmann Cm-Wavelength Total Flux And Linear Polarization Properties Of Radio-Loud Bl Lacertae Objects 1998-11-09 Connection-Based Proof Construction in Linear Logic 1997-03-18 An Exact Interactive Time Visibility Ordering Algorithm for Polyhedral Cell Complexes 1998-07-01 A state-space model for National Football League scores 1998-05-05 Representation and Evolution of Neural Networks 1994-09-06 Martin Mandischer Charged Mesons 1998-06-03 Specifying and Enforcing Intertask Dependencies 1998-04-01 Goal-Driven Learning in Multistrategy Reasoning and Learning Systems 1995-01-06 A-Splines: Local Interpolation and Approximation using G^k-Continuous Piecewise Real Algebraic Curves 1998-07-20 Signal Compression by Subband Coding 1999-02-12 On Access Checking in Capability-Based Systems 1996-06-28 The Fellini Multimedia Storage System 1997-03-23 A Compositional Proof of a Real-Time Mutual Exclusion Protocol 1997-01-14 Just-In-Time Language Modelling 1998-05-11 A Viewpoint Planning Strategy for Determining True Angles on Polyhedral Objects by Camera Alignment 1997-09-03 Lightweight Transactions on Networks of Workstations 1998-04-14 Planning for Murphy's Law: Uncertainty in CIRCA 1996-04-01 Bloodpressure Measurement, Improvement of Oscillometric Method. 1995-08-01 On Stirling numbers for complex arguments and Hankel contours 1998-03-11 Experiments in UNIX Command Prediction 1997-08-25 Lazy Narrowing: Strong Completeness and Eager Variable Elimination 1999-03-16 Generating, Executing and Revising Schedules for Autonomous Robot Office Couriers 1999-04-21 HiPeR-l: A High Performance Reservation Protocol with look-ahead for Broadcast WDM Networks 1996-05-15 Lossless Subband Image Compression Using Integer Coefficient Filter Banks 1997-07-29 Spreads and Resolutions of Ree Unitals 1997-10-29 Jeremy Dover The Homotopy Method Applied to the Symmetric Eigenproblem 1995-08-09 Applications of Abduction #3: "Black-Box" to "Gray-Box" Models 1995-11-06 Semiparametric Stochastic Mixed Models for Longitudinal Data 1997-07-02 A Clustering Approach to Explore Grain-Sizes in the Definition of Weakly Programmable Processing Elements 1997-09-16 A Note on Central Extensions of Lie Groups 1996-10-17 Representing Continuous Change in the Abductive Event Calculus 1995-02-09 Realistic Simulation of Viscoelastic Bodies 1997-09-28 On Effort in AI Research - A Description along Two Dimensions 1997-11-12 Model-oriented Construction of Manufacturing Management Information Systems 1996-10-16 Shared Spaces: Transportation, Artificiality, and Spatiality 1999-01-20 Bridging 1997-10-10 General Diagram-Recognition Methodologies 1998-04-02 Dorothea Blostein Distributed Authentication in Kerberos Using Public Key Cryptography 1996-11-07 Ranking and Entropy Estimation in Nonlinear Time Series Analysis 1998-03-03 Representing Knowledge for Logic-based Diagnosis 1993-09-23 David Poole Expanding And Contracting Universes In Third Quantized String Cosmology 1997-01-27 Extinction Map Of Baade's Window 1996-01-04 K. Z. Stanek On Implementing MPI-IO Portably and with High Performance 1998-10-21 Resolving Color Conflicts During Color Unification 1998-07-22 Quantum Stochastic Calculus 1997-06-23 K. R. Parthasarathy The Polylith Software Bus 1997-12-17 James M. Purtilo Computational Methods for the Design and Control of Microfabricated Actuator Arrays 1997-03-17 Ada 9X Project Report 1996-07-29 Submodels of Kripke Models 1998-10-22 Albert Visser InnerView Hardware Debugger: A Logic Analysis Tool for the Virtual Wires Emulation System 1995-02-09 Silvina Zimi Hanono The Unification of Detection, Tracking, and Recognition for Millimeter Wave and Infrared Sensors 1996-10-30 Against Conditionalization 1998-08-13 Experiments in the Probabilistic Retrieval of Full Text Documents 1997-09-23 Compilation Issues For Distributed Shared Memory On Clusters Of Symmetrical Multiprocessors 1998-09-29 Sumit Roy Modelling and Control of Interaction Forces in Nonlinear-Stiffness Types of Contact 1997-04-07 Users' Experience with ADIFOR 2.0 1996-06-28 C. Bischof A Glimpse at the DBMS Challenges Posed by the Human Genome Project 1995-01-23 A Study of Quasar Clustering at 1997-08-26 Building a Japanese Parsed Corpus while Improving the Parsing System 1999-02-13 The Revolution of Evolution in Design: From Coffee Tables to Hospitals 1998-04-06 Peter Bentley Travelling wave analysis of an isothermal Euler-Poisson model. 1995-12-06 Distributed Control for AI 1998-07-03 Gerard Tel A Plugin-based Privacy Scheme for World-wide Web File Distribution 1998-01-30 HP Laboratories UNIX disk access patterns 1995-06-09 MARS CLIMATE DATABASE v1.0 USER MANUAL ESTEC Contract 11369/95/NL/JG 1997-03-24 Parallel Merge Sort On Concurrent-Read Owner-Write PRAM 1997-05-29 Causality in Bayesian Belief Networks 1996-03-09 Morphology and Speech Technology 1996-09-30 NP-Hard Network Upgrading Problems 1991-11-06 Bayesian Analysis of Factorial Experiments By Mixture Modelling 1999-03-11 Appeared in Neural Computation 56:869-884. This is the Tech Report version, released as Tech Report CMU-CS-93-117. 1994-05-13 Multicriteria Evaluation of a Planetary Rover 1998-12-19 A Cost Model for Distributed Shared Memory Using Competitive Update 1999-01-20 A Library Application on Top of an RDBMS: Performance Aspects 1997-07-15 Sequent Calculi for the Logic of Epistemic Inconsistency and for the Inconsistent Default Logic 1998-05-26 Workshop on Specification of Behavioral Semantics in Information 1994-10-03 Using Profile Information to Assist Classic Code Optimizations 1992-06-18 Simple One-Dimensional Integral Representations for Two-Loop Self-Energies: The Master Diagram 1998-05-15 Isomorphism for Graphs of Bounded Distance Width 1998-12-09 Specification and Implementation of Components of a muCRL Toolbox 1996-01-26 Overview of Datalog Extensions with Tuples and Sets 1998-07-16 Mengchi Liu Improving the Strict Avalanche Characteristics of Cryptographic Functions 1996-05-22 Evaluating the Trade-Offs in the Parallelization of Probabilistic Search Algorithms 1998-07-20 Inferring Type Maps during Garbage Collection 1970-01-01 Beauty and the Beast or A Formal Semantic Description of the Control Constructs of Cobol and its Implementation 1995-12-07 Bit Allocation for Wavelet Image Compression and Uniform Bit Loss 1998-11-18 Automated Symbolic Timing Analysis for Distributed Systems 1970-01-01 Scott D. Stoller MLPQ/GIS: A GIS using Linear Constraint Databases 1999-03-25 A Distributed Algorithm for Content-Based Image Retrievals Using Image Classes 1999-01-07 Reasoning-conscious Meta-object Design of a Reflective Concurrent Language 1997-11-03 Modeling a Versatile FPGA for Prototyping Adaptive Systems 1998-07-09 Salim Hariri Cdf/pub/bottom/public/2730 Fermilab-Conf-94/216-E 1994-08-01 Karen E. Ohl Time-Constrained Query Processing in CASE-DB 1999-03-17 Fixed Points in Two-Neuron Discrete Time Recurrent Networks: Stability and Bifurcation Considerations 1996-03-14 Exploiting Thesaurus Knowledge in Rule Induction for Text Classification 1998-09-15 On the Decidability and Axiomatization of Query Finiteness in Deductive Databases 1998-06-09 Michael Kifer The number of Boolean functions computed by formulas of a given size. 1998-10-26 Alan R. Woods Logic without Model Theory 1970-01-01 Robert Kowalski A New Design For a Fringe-Tracking Interferometric Array 1998-02-12 Tadashi Nakajima Tao: A Model for Concurrency in Object-Oriented Programming 1994-01-25 Reactive Functional Programming 1970-01-01 Richard B. Kieburtz An Effective Axiomatization for Real Time ACP 1997-04-10 Measuring Functional Cohesion 1970-01-01 Recent Development Of Multigrid Algorithms For Mixed And Nonconforming Methods For Second Order Elliptic Problems 1995-04-18 Static Mapping of Functional Programs - An Example in Signal Processing 1970-01-01 Jack B. Dennis Yearly operation profile of the ATLAS SCT detectors 1998-06-08 Theorem 1. 1997-11-19 An Adaptive Web Page Recommendation Service 1997-08-21 Fuzzy if-then rules for modeling interdependences in FMOP problems 1997-09-24 Learning Internal Representations in an Attractor Neural Network With Analogue Neurons 1995-07-05 Daniel J. Amit A Knowledge-based Environment for Modeling and Simulating Software Engineering Processes 1995-12-08 Updating Complex Value Databases 1998-03-17 The Acquisition of Grammar in an Evolving Population of Language Agents 1999-02-24 Ted Briscoe DEFLATE Compressed Data Format Specification version 1.3 1970-01-01 Ergodic Properties of Classical Dissipative Systems I 1996-05-29 V. Jaksic Complexity, Decidability and Undecidability Results for Domain-Independent Planning: A Detailed Analysis 1998-09-05 A Simple Uniform Semantics for Concatenation-based Grammar 1996-01-19 Annius V. Groenink A Model for a Causal Logic for Requirements Engineering 1996-02-01 Secrecy by Typing in Security Protocols 1999-01-07 Test Cases For Nparc 1995-11-11 Sam Gao Prediction Errors due to Ignoring Field Coupling on Printed Circuit Boards 1970-01-01 Variability of Process Models, and the EPOS Solution 1995-02-23 On the Complexity of Optimization Problems for 3-Dimensional Convex Polyhedra and Decision Trees 1995-12-19 Using Discourse Predictions for Ambiguity Resolution 1996-05-10 Synthesis of Speed-Independent Circuits from STG-unfolding Segment 1997-05-21 Application of a Neural Network and a Genetic Algorithm in the Analysis of Multi Particle Final States 1995-09-22 Real-coded Genetic Algorithms, Virtual Alphabets, and Blocking 1997-01-31 David E. Goldberg Techniques for Defining Composition Filters Using Message Manipulators 1996-05-21 Coen Stuurman Arbitrarily Precise Computation of Gauss Maps and Visibility Sets for Freeform Surfaces 1997-05-09 Magnetoresonances on a Lasso Graph 1997-04-28 FMS Cyclic Scheduling with Overlapping production cycles 1997-07-18 A T9000 Implementation of the p4 Parallel Programming Model 1998-12-20 Algorithms for Area-Efficient Orthogonal Drawings 1996-07-02 Refinement Search as a Unifying Framework for analyzing Planning Algorithms 1994-02-28 Subbarao Kambhampati Simultaneous Rigid E-Unification is Undecidable 1996-08-28 Artificial Life and Natural Stories 1998-01-27 Highly Available Replicated Atomic Data 1994-09-21 Lionnel Maugis Special Relativistic Effects on the Strength of the Fluorescent K alpha Iron Line from Black Hole Accretion Disks 1997-06-26 Unknown 1997-11-24 Wearable Tetherless Computer-Mediated Reality: WearCam as a wearable face-recognizer, and other applications for the disabled 1996-08-13 Steve Mann Nnlf Multiresolution Hadamard Representation and Its Applications to Document Image Analysis 1998-11-04 Data Replication in Mariposa 1995-12-23 Adaptive Time-Frequency Decompositions with Matching Pursuits 1995-02-19 The String B-Tree: A New Data Structure for String Search in External Memory and its Applications. 1998-12-16 GARGOYLE: An Environment for Real-Time, Context-Sensitive Active Vision 1996-06-11 Monte Carlo Simulation and Bottleneck-Centered Heuristics for Time-Critical Scheduling in Stochastic Domains 1997-11-17 Convective Contributions to the Frequencies of Solar Oscillations 1998-03-11 A Different Approach to High Performance Computing 1998-01-08 Henk Corporaal Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Frais'e games 1999-03-19 Jerzy Marcinkowski Resampling Methods for Sample Surveys 1996-01-04 The Distributed Genetic Algorithm Revisited 1995-05-05 Theodore C. Belding Design of a High-Speed UART VLSI Library Cell 1995-11-06 Panagiota Vatsolaki Approximating Rational Spaces With Elliptic Complexes And A Conjecture Of Anick 1997-11-19 Barry Jessup Representations Of ... And Absolute Continuity For N-Tuples Of Contractions 1997-03-27 Marek Kosiek Statistical Features Identified From Comparison of Homologous Introns 1995-12-13 Combined Execution and Monitoring for Control of Autonomous Agents 1996-11-21 Parallel Motion Synthesis 1995-04-20 Martin Preston Calibrating the COCOMO II Post-Architecture Model 1998-01-14 Partitioning Mathematical Programs for Parallel Solution 1970-01-01 Exhaustive Testing As A Verification Technique 1995-07-19 Virtual Partitioning for Robust Resource Sharing: Computational Techniques for Heterogeneous Traffic 1999-04-21 Recurrent Multilayer Perceptrons for Identification and Control: The Road to Applications 1998-11-09 K. Tutschku On growth of Grigorchuk groups 1999-03-19 Explicit TCP Rate Shaping: Architecture and Applications 1999-01-12 Triangular Lie bialgebras and matched pairs for Lie algebras of real vector fields on S&sup1; 1995-05-04 Frank Leitenberger Edge-Finding Constraint Propagation Algorithms for Disjunctive and Cumulative Scheduling 1997-08-18 Claude Le Pape Solving Shape-Analysis Problems in Languages with Destructive Updating 1995-07-22 A Multigrid-Algorithm Solves the Laplace-Equation in 2D-Electrostatic Structures for the Microwave Circuit Design 1997-04-02 Compiler Blockability of Numerical Algorithms 1997-01-27 Unknown 1997-12-02 Translations between Modal Logics of Reactive Systems 1998-08-07 Self-Organization and Nonparametric Regression 1995-04-24 Tom Heskes Navigation With Uncertainty: I. Reaching a Goal in a High Collision Risk Region 1998-04-24 Fast Segmentation Methods Based on Partial Differential Equations and the Watershed Transformation 1999-01-21 Cellular Processing Environment 1998-09-21 Coalition, Cryptography, and Stability: Mechanisms for Coalition Formation in Task Oriented Domains 1995-02-19 Generating F0 contours from ToBI labels using linear regression 1996-05-13 Automatic Selection of Dynamic Data Partitioning Schemes for Distributed-Memory Multicomputers 1997-01-08 Proving Termination of Sequential Reduction Relation using Tree Automata 1997-06-24 Thomas Genet Diagnostic Fault Simulation of Sequential Circuits 1999-04-20 An Update on CLEO's Study of B Meson Decays 1998-07-29 Bernard Gittelman High Level Reading and Data Structure Compilation 1996-11-05 Combined Source and Channel Coding for Channels with a Power Constraint and Multilevel Signaling 1995-10-31 Hierarchical Gate-Level Verification of Speed-Independent Circuits 1996-10-23 A linear conservative extension of Zermelo-Fraenkel set theory 1999-02-05 Masaru Shirahata On the Performance of Polynomial-time CLIQUE Approximation Algorithms on Very Large Graphs 1994-01-29 Landscapes, Learning Costs and Genetic Assimilation. 1996-09-25 Giles Mayley A Prettier Printer 1998-06-09 Philip Wadler Experiences in Writing a WYSIWYG Editor for HTML 1994-05-18 Increasing Propagation of Chaos for Mean Field Models 1998-12-11 Coulomb Interaction Symmetries and the Mayer Series in the Two-Dimensional Dipole Gas 1997-04-26 AORTA Diagrams As An Aid To Visualising The Execution Of Prolog Programs 1994-07-21 On the implementation of the method of Magnus series for linear differential equations 1998-02-18 A Curriculum Planning Model for an Intelligent Tutoring System 1999-02-05 Choosing A Distance Metric For Automatic Word Categorization 1998-02-12 Expressing Complementarity Problems In An Algebraic Modeling Language And Communicating Them To Solvers 1970-01-01 Spherically Symmetric Scalar Field Collapse: An Example of the Spacetime Problem of Time 1998-05-25 Joseph D. Romano Recovering from Main-Memory Lapses 1998-03-23 NeXeme A Distributed Scheme based on Nexus Reference Manual and User's Guide 1998-01-16 Luc Moreau Visual Information Density Adjuster VIDA 1997-11-29 TGCW34 The Relationship Between the 1992-12-06 Dominic Dunlop Causality Domains: Scaling Clock Vectors for Open Distributed Processing 1994-11-21 Andrew Berry A Stable Integer Relation Algorithm 1997-03-05 On Making a Crossing Safe 1998-01-07 Effectiveness of Software Trace Recovery Techniques for Current Parallel Architectures 1996-06-03 Task Allocation onto a Hypercube by Recursive Mincut Bipartitioning 1998-05-09 Preliminary Experiments on Load Optimization 1995-08-01 An Adaptive Wavelet-Vaguelette Algorithm for the Solution of PDEs 1998-07-10 Integrating Diverse Information Resources Into Dialogue Updates 1998-04-14 Robin Cooper Abstraction Methods for Resource Allocation 1995-11-11 Segmentation of Text/image Documents Using Texture Approaches 1997-04-03 Performance Boundsfor Column-Block Partitioning of Parallel Gaussian Elimination and Gauss-Jordan Methods 1994-10-25 Learning Translation Templates from Examples 1997-11-24 Human Face Recognition and the Face Image Set's Topology 1998-07-16 RESOLVING CONFLICTS BETWEEN PARTICIPANTS IN EXPLANATION GENERATION: direct negotiation vs appeal to authority 1996-02-15 Big Bang Nucleosynthesis in Crisis 1998-05-15 TechLAN: An Experimental High-Speed ATM LAN 1997-09-08 The Design of the Land-Use Change Analysis System LUCAS: Part I - Graphical User Interface 1994-12-05 Numerical Uniformization of Hyperelliptic Curves 1995-04-12 Compiling ARGOS into Boolean equations Extended Abstract 1996-06-26 Supporting Valid-time Indeterminacy 1997-04-08 Rosebud: Technological Toys for Storytelling 1997-03-10 On Classes of Convolutional Codes that are not Asymptotically Catastrophic 1999-04-26 Kjell J. Hole Member The Bernoulli Periodic Distributions 1998-10-09 Miguel A. Lerma Operads And Moduli Spaces Of Genus 0 Riemann Surfaces 1997-02-12 E. Getzler Adaptive Vocabularies For Transcribing Multilingual Broadcast News 1998-11-26 Dynamic Discovery of Simulation Entities Using Bamboo and HLA 1999-03-02 Bounded Tracking for Nonminimum Phase Nonlinear Systems with Fast Zero Dynamics 1997-09-18 Implementing Computational Systems with Constraints 1995-12-11 Pose View Stability Analysis for Camera Look Angles Computation 1996-05-16 Constraints in an Object-Oriented Deductive Database 1997-10-17 Towards a Logic of Morphisms and Sequential Programs 1998-10-20 Sunny N P Suen Data Structures and Genetic Programming 1995-12-18 William B. Langdon Arithmetization: A New Method In Structural Complexity Theory 1992-12-19 Lance Fortnow Logical Specifications of Infinite Computations 1997-11-13 Optimistic Register Coalescing 1999-03-24 Entropy, Lyapunov exponents and mean free path for billiards 1997-04-26 N. Chernov Life Without Root 1996-11-23 Uncertainty, Difficulty, and Complexity. 1998-08-28 Non-local Data Reuse in Data Parallel Compiler 1998-06-12 KORSO Reference Languages - Concepts and Application Domains 1998-05-25 H. -d. Ehrich ed The Fractal Dimension Of Invariant Subsets For Piecewise Monotonic Maps On The Interval 1970-01-01 F. Hofbauer Neural Network Application in Aluminium Hot-Roll Process 1997-12-23 Pricing of American Path-Dependent Contingent Claims 1994-04-12 FLARE: Induction with Prior Knowledge 1996-09-25 Christophe Giraud-carrier An Intuitionistic Interpretation of Finite and Infinite Failure 1993-07-08 Duality And Self-Duality For Conic Convex Programming 1996-03-20 Representation Design Benchmarks: a Design-Time Aid for VPL Navigable Static Representations 1998-02-24 A Competitive Analysis of Load Balancing Strategies for Parallel Ray Tracing 1998-01-21 Alan Heirich James Arvo Using The Self-Organizing Map To Speed Up The Probability Density Estimation For Speech Recognition With Mixture Density HMMs 1996-05-17 Evolving Legged Locomotion of Virtual Creatures 1996-02-16 Daniel Nikovski A Formalisation of Semantic Schema Integration 1970-01-01 Techniques For Efficient Formal Verification Using Binary Decision Diagrams 1996-07-09 Lie Algebroids And Mechanics 1996-10-10 Paulette Libermann Tcl/Tk in a Nutshell 1996-04-02 Dietmar Theobald With Microscope and Tweezers: An Analysis of the Internet Virus of November 1988 1997-07-01 Interval Approach Challenges Monte Carlo Simulation 1996-10-12 Using Data Clustering to Improve Cleaning Performance for Flash Memory 1998-11-19 Iterative Optimization and Simplification of Hierarchical Clusterings 1996-04-16 Doug Fisher Finite Element Method for convection-diffusion problems 1997-04-16 RNA Modeling Using Gibbs Sampling and Stochastic Context Free Grammars 1994-06-10 Characterising Innateness in Artificial and Natural Learning 1998-07-28 A Photonic Fast Packet Switch for High-Speed Intra-node Routing: Architecture and Delay Analysis 1995-03-17 Navigation and Coordination Primitives for Multidimensional Visual Browsers 1997-11-03 Distributed Safety Controllers for Web Services 1998-01-12 VGLADs: The Efficient Implementation of Binary Neural Networks 1997-03-24 MLR: A Recovery Method for Multi-level Systems 1997-09-03 David B. Lomet Fault Tolerant Multiwavelength Optical Rings with Limited Wavelength Conversion 1996-07-08 Algorithmic Bombardment for the Iterative Solution of Linear Systems: A Poly-Iterative Approach 1995-01-12 Quadrature over Curved Surfaces by Extrapolation 1993-12-08 J. N. Lyness Combining Hierarchical Radiosity and Discontinuity Meshing 1996-10-02 Planning and Acting in Partially Observable Stochastic Domains 1996-10-10 Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation 1997-03-03 An Overview of COOL and COOL-IDL 1996-09-06 Online Perfect Matching and Mobile Computing 1995-06-20 OO Or Not OO: When Object-Oriented is Better Qualitative Analysis and Application to Satellite Image Processing 1997-11-28 Separating the Accommodating Ratio from the Competitive Ratio 1999-01-25 Toward Semantic-Based Parallelism in Production Systems 1995-09-19 The Visualization of Dynamic Memory Management in the Icon Programming Language 1996-04-20 The Block Cipher SQUARE 1999-01-06 Measuring the Performance of Parallel Message-based Process Architectures 1994-11-13 The author explores the issue onto the agenda: Predictivity vs. Stipulativity in the Lexicon 1997-12-08 Cornelia Maria Verspoor Searching for Structure in Multiple Streams of Data 1996-07-18 On the Fractal Nature of WWW and Its Application to Cache Modeling 1996-01-31 Adriana De Oliveira P&#x00B3;T: An Automatic Performance Estimator for Parallel Programs 1996-08-26 Thomas Fahringer Symbolic Model Checking with Rich Assertional Languages 1997-04-30 Generating Association Rules from Semi-Structured Documents Using an Extended Concept Hierarchy 1998-12-08 A Genetic Algorithm Tutorial 1994-09-06 Darrell Whitley Uniform Approximation of Topological Spaces 1996-01-24 Achim Jung Unknown 1997-05-15 Counting Solutions to Presburger Formulas: How and Why 1996-07-10 William Pugh Cycles Homoclinic to Chaotic Sets; Robustness and Resonance. 1997-05-06 Peter Ashwin Generic Negotiator 1994-11-14 Parameterization of a Management Environment for the Development of Complex Products 1997-02-05 Cohomology And Euler Characteristics Of Coxeter Groups 1997-05-23 Toshiyuki Akita Design and Performance Analysis of Complex Optical Devices using Symbolic Computation 1997-08-27 Yves Papegay Generalized Communicators in the Message Passing Interface 1996-05-28 Symmetric Hierarchical Polynomials and the Adaptive h-p-Version 1995-08-15 Dynamic Abstraction Planning 1997-04-23 Gene Trees and Species Trees: The Gene-Duplication Problem is Fixed-Parameter Tractable 1999-04-21 Ulrike Stege Programming Communicating Distributed Reactive Automata: the Weak Synchronous Paradigm 1996-07-23 Regarding the P-Norms of Radial Basis Interpolation Matrices 1994-07-14 Visualizing Message Patterns in Object-Oriented Program Executions 1996-05-09 Scalable Internet Resource Discovery: Research Problems and Approaches 1997-12-04 Classical and Quantum Initial Value Problems for Models of Chronology Violation 1998-05-14 The Effects of Runtime Coordination Strategies Within Static Organizations 1998-07-29 Performance Range Comparison Via Crossing Point Analysis 1998-01-27 Xian-he Sun A Lower Bound for Nearly Minimal Adaptive and Hot Potato Algorithms 1997-10-28 Prediction of Beta Sheets in Proteins 1995-12-19 Document Routing by Discriminant Projection : TREC-4 1997-09-22 A Counterexample to a Conjecture of Barr 1996-08-28 DJ-graphs and their application to flow graph analyses 1995-08-13 Refinement in a Type Extension Context 1997-02-13 A Parallel Tree Difference Algorithm 1995-03-06 D. B. Skillicorn Exponential Asymptotics and Convection-Diffusion-Reaction Models 1998-08-11 Michael J. Ward Quadratic Growth and Stability in Convex Programming Problems with Multiple Solutions 1995-10-27 Action of Divided Differences on Modified Powers 1998-07-08 An Empirical Comparison of Runtime Systems for Conservative Parallel Simulation 1998-06-20 Deep Inelastic Scattering And Light-Cone Wave Functions 1998-05-14 Performance Theory 1997-05-07 Reporting Exact and Approximate Regular Expression Matches 1998-03-30 Knowledge Characteristics: Reconsidering The Design Of Intelligent Tutoring Systems 1998-01-30 Ashok Patel Kinshuk Reliable Multicast for Internet Applications 1996-07-12 Baby Step Giant Step in Real Quadratic Function Fields 1997-06-10 Shared Memory Implementation of the Gamma-Operation 1998-01-30 Katia Gladitz CuPit-2: Portable and Efficient High-Level Parallel Programming of Neural Networks 1999-04-23 The Robinson-Schensted and Schützenberger algorithms, an elementary approach 1996-02-05 Marc A. A. Van Leeuwen Reward Functions for Accelerated Learning 1994-04-25 Maja J Mataric Initial Data for General Relativity with Toroidal Conformal Symmetry 1998-05-12 The Logic of Occurrence 1994-03-28 Kenneth D. Forbus Simple Recurrent Networks and Natural Language: How Important is Starting Small? 1997-08-22 Putting the Problem Solver Back in the Driver's Seat: Contextual Control of the ATMS 1997-09-12 Domain Decomposition and Multilevel Methods in Dioepack 1997-03-05 Gerhard W. Zumbusch Polynomial-Time Algorithms For Prime Factorization And Discrete Logarithms On A Quantum Computer 1998-09-17 Peter W. Shor Design Rule Checker for Sheet Metal Components using Medial Axis Transforms and Geometric Reasoning 1996-02-12 Creating Educational Guided Paths over the World-Wide Web 1996-02-02 The Last Buffer First Serve Priority Policy is Stable for Stochastic Re--entrant Lines 1998-08-24 Towards Robust PATR 1995-05-05 Temporal Logic 1998-12-07 Yde Venema Number of Geneva 9 Strokes Extracted from CEDAR Digits 1998-02-27 Patrick C Hew EXTENDING THE LINEAR MIXED EFFECTS MODEL Worked Examples 1997-06-11 COCOON and KRISYS - a comparison 1995-01-16 An Evaluation of Architectural Alternatives for Rapidly Growing Datasets: Active Disks, Clusters, SMPs 1998-11-02 Adaptive Simulation and Control of Variable-Structure Control Systems in Sliding Regimes 1997-04-12 The Endpoint of the Rp-Process 1998-02-06 Nested Loop Transformation for Full Parallelism 1996-03-27 Higher Performance and Implementation Independence: Downloading a Protocol onto a Communication Card 1995-08-18 Parallel Graph Reduction with the 1995-06-07 Interprocedural Compilation of Fortran D for MIMD Distributed-Memory Machines 1997-01-27 Fractal Self-VQ Encoding of Video Sequences 1998-05-13 Warm Gas and Ionizing Photons in the Local Group 1998-12-16 Philip R. Maloney A Predicate for Separating Language Classes 1996-01-24 Henning Fernau Design and Implementation of Multicast Operations for ATM-Based High Performance Computing 1996-06-11 Differential Geometry And Applications 1996-04-11 J Anos Szenthe Strongly Connected Spanning Subgraphs With the Minimum Number of Arcs in Semicomplete Multipartite Digraphs 1999-03-09 Anders Yeo Comprehending Monads 1995-11-02 Philip Wadler The Form And Content Of Derivational Relations 1995-05-05 Stephen R. Anderson Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs 1996-12-28 Pedro Diniz Germs of Arcs on Singular Algebraic Varieties and Motivic Integration 1997-12-09 Jan Denef Bayesian Methods for Adaptive Models 1997-02-07 Automatic Synthesis of Extended Burst-Mode Circuits Using Generalized C-elements 1997-03-25 Kenneth Y. Yun On the Complexity of the Contact Space between Convex Polyhedra 1994-11-02 Exceptions to the Multifractal Formalism for Discontinuous Measures 1998-03-05 Efficient Compilation of High-Level Data Parallel Algorithms 1998-04-22 A Rearrangement Search Strategy for Determining Propositional Satisfiability 1993-08-24 Intranet and Active DSS: Instruments for Corporate Success 1996-06-07 Preference Degrees over Linguistic Preference Relations in Decision Making 1996-01-31 Representing Paraphrases Using Synchronous TAGs 1997-07-14 Mark Dras Parallel Data Structures for Symbolic Computation 1996-02-21 Concurrent Reachability Games 1998-06-16 High-Level Synthesis Techniques for Reducing the Activity of Functional Units 1996-10-24 Gene Myers 1995-07-06 How bad is Reliable Multicast without Local Recovery? 1998-06-15 Fine-Grained Goal-Dependent Declarative Analysis of Logic Programs 1997-09-22 Dmitri Boulanger DevelopingMultimedia Applications with the WinWin Spiral Model 1999-02-05 Generational Cyclic Reference Counting 1992-10-31 Rafael D. Lins Space-time analysis of fMRI by feature space clustering 1998-02-02 A Practical Method for the Synchronization of Live Continuous Media Streams 1997-08-27 Christian Blum Learning to Sense Selectively in Physical Domains 1997-04-13 Pat Langley A Visual Anthropomorphic Agent with Learning Capability of Cooperative Answering Strategy through Speech Dialog 1998-05-27 Perturbed Random Walks and Brownian Motions, and Local Times 1998-03-05 Burgess Davis Acquiring Case Adaptation Knowledge: A Hybrid Approach 1996-06-16 Justin A. Boyan 1998-12-17 Justin A. Boyan Formal Models of MasterMind Tasks 1995-11-10 Kurt Stirewalt Dario BAMBUSI* Dipartimento di Matematica dell'Universit`a Via Saldini 50, 20133 MILANO, Italy. 1997-04-26 Dario Bambusi Viewer-Plane Experiments with Computed Holography with the MIT Holographic Video System 1997-06-25 Application Scheduling on the Information Power Grid 1998-11-23 DPL graphs - a powerful representation of parallel relational query execution plans 1996-10-02 An Aggregation Multigrid Solver for Convection-diffusion Problems on Unstructured Meshes. 1998-05-18 TrIAs: Trainable Information Assistants for Cooperative Problem Solving 1999-02-18 A Predictor--Corrector Method for Solving the 1995-02-17 A Subsymbolic+Symbolic Model for Learning Sequential Navigation 1998-03-23 A Higher Order Reconstruction of Stepwise Enhancement 1997-10-16 A Time-Indexed Formulation for Single-Machine Scheduling Problems: Column Generation 1999-01-28 Availability in the Sprite Distributed File System 1991-05-02 Monte Carlo Simulations of Quantum Systems on Massively Parallel Supercomputers 1996-06-13 Hong Q. Ding Teaching Reasoning, Broadly And Narrowly 1996-08-23 Stephen B Maurer Elephant Seal Movements: Modelling Migration 1996-12-23 Approaching the Denotational Semantics of Behavioral VHDL Descriptions 1999-03-25 Wolfgang Mueller Temporal Reasoning 1997-12-17 Henry Kautz Emulation of the Level-2 trigger, architecture B, on the Macram'e Testbed 1998-06-05 Locality-Sensitive Resource Allocation 1994-10-18 Application of Two Procedures for Dual-Point Design of Transonic Airfoils 1998-03-26 File System Support for Weakly Connected Operation 1997-08-14 Kevin W. Froese Lagrangian Stability and Global Optimality in Nonconvex Quadratic Minimization Over Euclidean Balls and Spheres 1995-10-26 A Join The Shorter Queue Model In Heavy Traffic 1999-04-01 Stephen R. E. Turner Feature Selection by Means of a Feature Weighting Approach 1997-07-24 Stability Radii of Positive Discrete-Time Systems 1997-06-06 An Empirical Study of Fortran Programs for Parallelizing Compilers 1994-07-01 CAM-Brain: A New Model for ATR's Cellular Automata Based Artificial Brain Project 1996-07-30 Andrew Gould 1998-05-25 Andrew Gould Graphical Representation and Manipulation of Complex Structures Based on a Formal Model 1998-11-13 Beyond LEX and YACC: How to Generate the Whole Compiler 1993-11-10 W. M. Waite A Data Cache with Multiple Caching Strategies Tuned to Different Types of Locality 1995-10-23 Polynomial Acceleration For Large Nonsymmetric Eigenproblems 1998-11-06 Akira Nishida Some New Results on Subdivision Algorithms for Meshes of Arbitrary Topology 1995-04-07 Ulrich Reif CACHET: An interactive, incremental-attribution-based program transformation system for deriving incremental programs 1996-11-14 Yanhong A. Liu Integrating Multiple Learning Strategies in First Order Logics 1998-02-02 A. Giordana Techniques for Simplifying the Visualization of Graph Reduction 1997-07-29 Implementation of ATM Endpoint Congestion Control Protocols 1996-10-01 On the Design of an Adaptive Meeting Scheduler 1994-11-08 Inferring Ordered Trees from Local Constraints 1998-01-14 Building Agent Models in Economic Societies of Agents 1997-07-29 Querying Clocked Databases 1998-07-16 Mehmet A. Orgun The Use of Inexact ODE Solver in Waveform Relaxation Methods on a Massively Parallel Computer 1995-07-11 Endomorphisms of Stable Planes 1995-08-21 WebWiseTclTk: A Safe-Tcl/Tk-based Toolkit Enhanced for the World Wide Web 1998-05-06 Boson Into a Charged Lepton of "flavor" 1998-11-03 Evaluating Content Extraction From Audio Sources 1999-03-23 Scalable Data Mining Systems 1996-05-28 Computing eigenvalues occurring in continuation methods with the Jacobi-Davidson QZ method 1997-02-26 Jos L. M. Van Dorsselaer Integrating Vision and Natural Language Without Central Models 1996-02-19 Ian Horswill An Optimal Parallel Matching Algorithm for Cographs 1997-02-09 Scheduling Real-Time Applications in an Open Environment 1998-02-25 Comparing Tree-Simplification Procedures 1996-11-12 Finding Text In Images 1997-08-04 Phase-Space Gardening In The Binary-Couplings Memory Network 1995-02-21 Norman Hendrich MPP Parallel Haskell Preliminary Results 1998-02-28 Kei Davis Constraint-Directed Reasoning as a Basis for Real-Time Planning 1996-04-19 A Dielectric-Free Superconducting Coaxial Cable 1998-04-02 C. Rose rutgers On higher-order semi-explicit symplectic partitioned Runge-Kutta methods for constrained Hamiltonian systems 1997-12-11 Sebastian Reich Robust H.263 Compatible Video Transmission over Wireless Channels 1996-01-17 A Weakness of the Menezes-Vanstone Cryptosystem 1997-04-09 Klaus Kiefer Alternating Refinement Relations 1998-06-14 Fault Detection In Nonlinear Systems 1996-03-26 Greedy importance sampling: A new Monte Carlo inference method 1999-03-10 Dale Schuurmans A Network Architecture for Mobile Computing 1998-12-23 SunOS 5.0 Multithread Architecture 1993-03-10 Introductory AI for Whom? Presenting AI to the Non-Scientist 1998-09-23 Rebecca E. Skinner How Useful is Projective Geometry? 1994-11-03 Disoriented Chiral Condensates and Quantum Mechanical Isospin Correlation 1997-04-18 ZM4 / SIMPLE: Performance Evaluation of Parallel and Distributed Systems based on Event Traces 1992-07-10 Building PRFs from PRPs 1998-06-08 Logic Programming in a Fragment of Intuitionistic Linear Logic 1995-03-20 Modeling and Querying Primitives for Digital Media 1997-01-20 Using Database Versions to Implement Temporal Integrity Constraints 1998-03-03 Note Counterexample to the Frankl/Pach conjecture for uniform, dense families 1998-07-08 Reduction Of English Function Words In Switchboard 1998-08-19 Mobile Agents: Are they a good idea? 1997-12-01 Graphical Integrated Development Environment for Larch Specifications 1994-09-18 Gray Codes for 1997-12-26 Matthew B. Squire Backscattering Characteristics of Finite Narrow Rectangular Loop Array 1998-10-23 Application of the quasi-Gaussian entropy theory to the calculation of thermodynamic properties of water and methane in the liquid and gas phase. 1998-01-13 Some Recent Results On Schwarz Type Domain Decomposition Algorithms 1994-05-25 Practical Application of Existing Hypermedia Standards and Tools 1998-11-18 Universal Codes and Unimodular Lattices 1997-09-04 Reducing The Variance Of Cycle Times In Semiconductor Manufacturing Systems 1995-07-24 Unsupervised Learning Of Multiple Motifs In Biopolymers Using Expectation Maximization 1995-02-27 Timothy L. Bailey Classical Feature Detection 1999-03-27 On the Development of Libraries and their use in Applications 1995-05-22 Covariant Types 1998-03-11 C. Barry Jay Bounded-Independence Derandomization of Geometric Partitioning with Applications to Parallel Fixed-Dimensional Linear Programming 1996-11-12 The accuracy of Gaussian approximations in nilpotent Lie groups 1999-04-21 Stabilization By Perturbation Of A 4N&#x00B2; Toeplitz Solver 1997-07-31 TURBIO: A System for Extracting Information from Restricted-domain Texts 1998-02-25 The Number of Pen-Opposed Features in CEDAR Digits 1998-08-12 Patrick C Hew From Stochastic Dominance to Mean-Risk Models: Semideviations as Risk Measures 1997-09-18 Relational Learning Techniques for Natural Language Information Extraction 1999-02-03 Fractal Network Traffic Modeling: Past, Present, and Future 1997-10-07 Bo Ryu Typing and Subtyping for Mobile Processes 1996-08-18 Sequential Implementation of Parallel Narrowing 1996-09-24 VoicePhone: An Interactive Vocal Server for Telephone Numbers 1997-02-17 A Tool for the Maintenance of C++ Programs 1995-05-19 Johannes Sametinger A Model of Delegation Based on Existential Types 1996-08-18 Benjamin C. Pierce Algorithms for Generalized Digital Images Represented by Bintrees 1998-09-19 Using Connectionist Term Representations for First-Order Deduction - A Critical View 1997-09-29 Yvonne Kalinke A Hybrid Newton Method For Solving Box Constrained Variational Inequality Problems Via The D-Gap Function 1998-01-17 The Generation of Nonaxisymmetric Magnetic Fields in the Giant Planets 1997-12-11 Improved Coverings of a Square with Six and Eight Equal Circles 1996-10-26 Phantom: A Simple and Effective Flow Control Scheme 1996-11-28 A Simple Logic for Authentication Protocol Design 1998-04-20 Weyl Spectral Analysis of Nonstationary Random Processes 1998-02-12 A Comparison of Entry Consistency and Lazy Release Consistency Implementations 1995-11-26 Improved Approximation Bounds for the Group Steiner Problem 1997-12-05 Prioritized Sweeping: Reinforcement Learning with Less Data and Less Real Time 1993-11-22 Extension of WAM for a linear logic programming language 1996-10-21 Instrumentation Environment User's Guide 1997-07-09 Serial Computations of Levenshtein Distances 1997-09-30 Decidable Reasoning in Terminological Knowledge Representation Systems 1998-02-02 Cooperative Computing in Loosely-CoupledDistributed Systems 1993-11-04 Thomas Kolarik A Real Time 3D Visualization Prototype For Interventional Magnetic Resonance Imaging 1998-07-08 Predictive Models for Sequence Modelling, Application to Speech and Character Recognition 1998-09-29 P. Gallinari GZIP file format specification version 4.3 1996-08-06 Traps - Classifiers Of Temporal Patterns 1998-10-30 On The Relation Between Voice Source Parameters And Prosodic Features In Connected Speech 1996-06-11 Decay of Trapped Ultracold Alkali Atoms By Recombination 1996-02-16 The Sequoia 2000 Storage Benchmark 1993-06-29 Nonlinear Stability of Travelling Waves for a Hyperbolic System with Relaxation 1996-07-02 How Misleading Can Sample Acf's Of Stable Ma's Be? very! 1998-03-30 Some rigorous results on the ground states of the Falicov-Kimball model 1997-04-26 Tom Kennedy Learning Social Behaviors 1999-01-18 Maja J Matari'c An Optimal, Stable Continued Fraction Algorithm for Arbitrary Dimension 1998-02-23 A Fast Algorithm to Support Interactive Wavelet Processing on a Radiologist Workstation 1997-11-18 An Optimal Algorithm for Finding Clique-Cross Partitions 1998-12-09 An Online Handwriting-Recognition System Based On Unreliable Modules 1999-04-07 Representation of Spatial Frequency and Orientation in the Visual Cortex 1999-02-22 E. Kaplan Security Analysis of a Practical "on the fly" Authentication and Signature Generation 1998-07-06 A stochastic neural architecture that exploits dynamically reconfigurable FPGAs 1996-11-28 A Two-bit Differentiated Services Architecture for the Internet 1998-02-02 Estimating Long-Term Solar Irradiance Variability: A New Approach 1997-08-25 AudioFile: A Network-Transparent System for Distributed Audio Applications 1997-09-03 Fundamental Design Issues for the Future Internet 1998-10-26 Scott Shenker Symplectic Geometry On Moduli Spaces Of Holomorphic Bundles Over Complex Surfaces 1999-02-12 On Ornstein-Uhlenbeck Generators 1997-07-28 Rule Induction as Exploratory Data Analysis 1995-06-23 Jason Catlett Some Remarks on Off-Shell Scattering in the Eikonal Approximation 1998-05-25 Using Unicode with MIME 1994-11-16 Statistical mechanics of the 2-dimensional focussing nonlinear Schrödinger equation 1997-04-26 Active Logic and Heim's Rules for Updating Discourse Context 1995-07-19 A Fuzzy Set Approach to Case-Based Decision 1997-06-30 Texture Segmentation of SAR Images 1997-05-15 Numerical Analysis of Dynamical Systems 1994-10-03 Andrew Stuart Task-Oriented Dialogs with Animated Agents in Virtual Reality 1998-09-22 Issues in the Development and Application of Reuse Metrics in a Corporate Environment 1996-10-18 Jeffrey S. Poulin The Cilk System for Parallel Multithreaded Computing 1970-01-01 Relaxation Revisited - A Fresh Look at Multigrid for Steady Flows 1997-08-26 Integral Equation Preconditioning For The Solution Of Poisson's Equation On Geometrically Complex Regions 1970-01-01 Algebraic Structure Of Some Learning Systems 1998-12-31 Derivations And Automorphisms Of Certain Operator Algebras 1998-09-01 Interaction with a Mixed-Initiative System for Exploratory Data Analysis 1998-10-21 Dictionary Learning: Performance Through Consistency 1995-08-21 Tilo Sloboda A Stack-Based Approach to Query Languages 1996-12-17 Dust in the Cores of Early-Type Galaxies 1998-05-14 M. Franx Uncountable Limits and the Lambda Calculus 1995-10-04 The Remote Computation System 1996-04-25 EMU: an Enhanced Hierarchical Speech Data Management System 1996-10-01 Transitive Maps which are not Ergodic with respect to Lebesgue Measure 1995-09-15 A Hierarchical Method for Reasoning about Distributed Programming Languages 1995-08-25 Incremental Recovery In Main Memory Database Systems 1992-04-06 Recognizing Human FACIAL EXPRESSION 1994-05-06 Mental Constitutions and Limited Rationality Extended Abstract 1995-08-29 Uniqueness Of Unibranched Curve In 1997-10-01 Hubble Space Telescope Spectroscopic Observations of the Ejecta of SN 1987A at 2000 Days 1998-05-14 Error-Correcting Output Coding Corrects Bias and Variance 1995-04-21 Heuristics for Balancing Turbine Fans 1998-07-02 Diffusing Through Spectres: Ridge Curves, Ghost Circles and a Partition of Phase Space 1997-04-26 Expected Solution Quality 1995-05-16 P-CLASSIC: A tractable probabilistic description logic 1998-04-13 ACADEMIA: An Agent-Maintained Database based on Information Extraction from Web Documents 1999-01-29 Efficiency of Global Adaptive Quadrature 1970-01-01 Evolution Mim&#x00E9;tique 1998-10-28 Geometric Stability Analysis for Periodic Solutions of the Swift-Hohenberg Equation 1998-06-23 The SHIP Safety Case Approach 1996-07-05 Type and Behaviour Reconstruction for Higher-Order Concurrent Programs 1997-05-09 Interconnect Estimation and Planning for Deep Submicron Designs 1999-03-14 Linear Congruential Generators for Parallel Monte-Carlo: the Leap-Frog Case. 1999-03-01 Rates of convergence of the Hastings and Metropolis algorithms 1999-02-26 Measures and Models for Phrase Recognition 1999-02-03 Steven Abney On a Modified Chebyshev Pseudospectral Method 1998-04-27 O-Convexity: Computing Hulls, Approximations, and Orientation Sets 1996-06-26 Flugroutenplanung im Cargo Sektor 1997-11-10 "Genetic"Programming 1999-04-07 Intersection of Unit--Balls and Diameter of a Point Set in 1999-04-09 Edgar A. Ramos Mining Sequential Patterns 1996-02-21 Graph Matching Using a Direct Classification of Node Attendance 1995-10-12 Interactive Steering Using the Application Executive 1993-01-21 Brian Bliss Detecting Parallelism in C Programs with Recursive Data Structures 1998-01-28 The Transformation Calculus 1994-05-02 Jacques Garrigue Algebraic Data Types and Induction inµCRL 1997-03-03 NTI: A Network Time Interface M-Module for High-Accuracy Clock Synchronization 1998-03-26 Improving Accuracy in a Robust Algorithm for Three-Dimensional Voronoi Diagrams 1997-08-31 Philip M. Hubbard Rollit: An Application Builder 1993-12-29 The GENESIS Simulation-based Neural Modeling Database 1998-05-20 Extensions of the quasi-Gaussian entropy theory 1998-01-13 Deictic Codes for the Embodiment of Cognition 1996-05-10 On-Line Subspace Estimation Using A Generalized Schur Method 1994-11-28 Treatment of epsilon-Moves in Subset Construction 1998-04-15 Mixed Logical/Linear Programming 1997-07-14 Fixed-Lag Blind Equalization And Sequence Estimation In Digital Communications Systems Using Sequential Importance Sampling 1999-01-07 Simon J. Godsill Efficient Descriptor-Vector Multiplications in Stochastic Automata Networks 1997-06-30 The Evolving Algebra Semantics of COBOL - Part 1: Programs and Control 1997-08-07 Marc Vale A Neural Network Simulation of Child Language Development at the One-word Stage 1998-09-28 A Branch-and-Cut Approach to Physical Mapping of Chromosomes By Unique End-Probes 1997-05-15 Shared Memory vs. Message Passing: the COMOPS Benchmark Experiment 1998-06-12 Yong Luo .1. Description of the Scenario 1997-04-21 The Superluminal Source GRS 1915+105: A High Mass X-ray Binary? 1997-05-07 A correctness proof for Warren's HO into FO translation 1998-04-27 Fiber Polytopes For The Projections Between Cyclic Polytopes 1999-01-29 ZOO: A Desktop Experiment Management Environment 1996-06-26 Eliminating the Shortcomings of Free Datatype Definitions 1996-01-13 Costs and Benefits of Multithreading with Off-the-Shelf RISC Processors 1999-02-08 Teaching System Integration using FPGAs 1995-02-15 Toric Varieties and Algebraic Monoids 1995-08-20 Karl-hermann Neeb Reasoning With Characteristic Models 1996-08-30 On Group Communication in Large-Scale Distributed Systems 1999-03-30 Ozalp Babaoglu Anonymous Connections and Onion Routing 1998-02-20 A Color Interest Operator for Landmark-based Navigation 1998-11-18 Transforming Cabbage into Turnip polynomial algorithm for sorting signed permutations by reversals 1996-05-10 A C Thread Library for Multiprocessors 1994-09-19 Algebraic Correction Methods For Inverse Sturm-Liouville Problems 1993-12-08 Semi-automatic Wrapper Generation for Internet Information Sources 1998-02-19 Synchronization Support in I/O Adapter Based SCI Clusters 1997-02-11 Knut Omang An Unconditionally Stable Method For The Euler Equations 1998-05-04 Discontinuities in Recurrent Neural Networks 1998-06-10 Hava T. Siegelmann Electronic Publishing at the American Astronomical Society 1996-07-27 Unknown 1994-08-01 How To Remove A Class In An Object Database System 1998-03-12 M. Worner PARSEC: A Constraint-based Framework for Spoken Language Understanding 1999-01-25 Genericity and Upgradability in Ultra-Dependable Real-Time Architectures 1996-11-18 The FERET Evaluation Methodology for Face-Recognition Algorithms 1999-03-20 A Comparison of Search Techniques on a Wing-Box Optimisation Problem 1997-02-19 Diameter of a Set on the Cylinder 1998-12-21 Interpreting Symptoms of Cognitive Load in Speech Input 1999-03-24 Convolution Using The Undecimated Discrete Wavelet Transform 1997-02-06 SHIFT: A New Programming Language for Simulation 1997-04-14 Aleks Gollu A `Microscopic' Study of Minimum Entropy Search in Learning Decomposable Markov Networks 1997-07-09 DistAl: An Inter-pattern Distance-based Constructive Learning Algorithm 1998-07-28 Minimizing Register Requirements of a Modulo Schedule via Optimum Stage Scheduling 1997-03-19 Re E. Eichenberger Spontaneous CP violation in supersymmetric models with four Higgs doublets 1998-05-13 Manuel Masip Hybrid Online/Offline Scheduling for Hard Real-Time Systems 1992-03-07 Time-Varying Subband Image Coding With Ecient Reduction of Higher Order Redundancy 1998-10-19 Information Management for a Large Multidisciplinary Project 1995-05-01 Experience Using TSQL2 in a Natural Language Interface 1997-09-01 Circularly Symmetric Watermark Embedding In 2-D Dft Domain 1999-01-21 Not to Be: On Managing Inconsistency in Software Development 1997-07-29 Bashar Nuseibeh Absorbing Boundary Conditions for the Schrödinger Equation 1970-01-01 Thomas Fevens Pattern Recognition via Support Vector Machine with Computationally Efficient Nonlinear Transform 1998-09-25 Michael Zibulevsky Positivity for perturbations of polyharmonic operators with Dirichlet boundary conditions in two dimensions. 1998-09-08 Towards A Framework for Handling Disputes in Payment Systems 1998-06-12 Automatic Biases Correction 1998-05-12 Roland Triay DART/HYESS Users Guide 1996-12-20 Jerome H. Friedman A Learner With A Sense For Quality 1998-03-24 Mixed Initiative Planning in O-Plan2 1995-03-10 Comparing Partial Order Planning and Task Reduction Planning: A preliminary report 1994-06-08 Subbarao Kambhampati Fault-Tolerant Quantum Computation 1996-09-25 Peter W. Shor CHASSIS - A Platform for Constructing Open Information Systems 1994-09-08 Dialectical Planning: Designing a mediating system for group decision making 1997-06-26 Error Analysis of Numerical Schemes for the Wave Equation in Heterogeneous Media 1996-05-17 Objects, Events and Localization 1970-01-01 Rudolf Haag Parallel Programming in Split-C 1993-12-13 Dynamic Communication Models in Embedded System Co-Simulation 1997-09-02 An Optimization Strategy For Reconfigurable Control Systems 1996-11-13 The Design of an Object-Role Database Management System 1998-11-23 Unknown 1994-10-15 KQML as an Agent Communication Language 1994-10-04 Continuations, Functions and Jumps 1999-05-07 A Different Approach to Resource Management for Distributed Systems 1997-08-28 Using Application Specific Knowledge for Configuring Object Replicas 1997-06-27 Constructing Binary Space Partitions for Orthogonal Rectangles in Practice 1998-05-26 On the Scheduling of Variable Latency Functional Units 1999-01-22 Silvia M. Mueller Computational Issues In Parameter Estimation And Feedback Control Problems For Partial Differential Equation Systems 1998-12-19 The value of prior knowledge in discovering motifs with MEME 1995-04-25 Trellis Displays vs. Interactive Graphics 1997-01-16 Cool: An Object System With Constraints 1995-01-30 Software Engineering Issues for Network Computing 1999-01-23 Data Mining at CALD-CMU: Tools, Experiences and Research Directions 1998-09-29 Fast Hashing on the Pentium 1997-01-10 A Combinatorial Framework for Map Labeling 1998-08-12 A Virtual Pnni Network Testbed 1999-02-25 Brdf Effects In Remotely Sensed High Resolution Images Of Urban Areas 1998-04-06 Case-Based Learning Algorithms 1995-01-09 David W. Aha Image-Enhanced Multiple Model Tracking 1998-06-18 Functional Specification of Imperative Programs: An Alternative Point of View of Functional Languages 1998-05-05 Markus Mohnen Machine Learning, 24, 1--3 1996 1996-04-26 Thomas G. Dietterich Model Checking Multiagent Systems Extend Abstract 1998-05-19 TamingGri--ths'SingularitiesinLongRange Random IsingMo dels 1997-10-03 Dedicatedtothememory Ofroland Dobrushin A short course on the Lie theory of semigroups I 1995-08-21 Karl H. Hofmann Approximation Algorithms for Developable Surfaces 1998-05-01 Statistical Analysis of Delay Faults - Theory and Efficient Computation 1997-11-25 Signs and Representations: Semiotics for User Interface Design 1998-11-09 Using Neural Networks To Locate Pitch Accents 1995-06-14 Paul Taylor The View--Graph Approach to Visual Navigation and Spatial Memory 1998-03-13 UM Translog: A Planning Domain for the Development and Benchmarking of Planning Systems 1995-06-13 Formal Specification Techniques in Object-Oriented Analysis: A Comparative View 1996-05-09 Collaborative Spatial Decision Making with Qualitative Constraints 1996-11-12 The Design of the Software Workmate Process-Centered Software Engineering Environment 1996-09-24 How to Formalize It? - Formalization Principles for Information System Development Methods 1997-06-11 A. H. M. Ter Hofstede Accessing Extra-Database Information: Concurrency Control And Correctness 1999-04-21 Distributed Simulation of a Set of Elastic Macro Objects 1996-12-06 J. Kitowski Two Minimum Dominating Sets With Minimum Intersection In Chordal Graphs 1994-08-30 Anthropomorphic Agents: Friend, Foe, or Folly 1996-02-05 William Joseph King A polynomial algorithm for the Hamiltonian cycle problem in semicomplete multipartite digraphs 1996-10-08 Kibitz - Connecting Multiple Interactive Programs Together 1993-05-23 Don Libes Statistical Feature Combination for the Evaluation of Game Positions 1995-12-15 Michael Buro Dynamics of Receptive Fields Induced By Cortical Reorganization 1999-01-18 Semantics of Concurrent Logic Programming as Uniform Proofs 1995-11-03 Paolo Volpe Generalization Error and the Number of Hidden units in a Multilayer Perceptron 1995-03-24 Support Real-Time Computing Within General Purpose Operating Systems: Supporting Co-Resident Operating Systems 1995-05-19 Parallel Programming in Split-C 1998-05-06 VLBA Imaging at 7 mm and Linear Polarimetric Observations at 6 cm and 3 mm of Sgr A* 1999-01-27 On the Sectional Area of Convex Polytopes 1997-01-14 Formal Semantics for Structured Analysis Style Data Flow Diagram Specification Languages 1996-12-03 Equivalence of Gradients on Configuration Spaces 1999-04-19 Nicolas Privault On The Random-Self-Reducibility Of Complete Sets 1994-04-21 FORTH-ICS / TR-214 February 1998 An Evaluation of Pricing Schemes that are based on Effective Usage 1998-02-19 Using Constraints to Query R*-Trees 1996-03-15 Nonlinear Filtering: Separation of Parameters and Observations Using Galerkin Approximation and Wiener Chaos Decomposition 1997-03-05 Searching for `optimal' Inputs With an Empirical Regression Model 1997-11-25 David J. C. Mackay Stereo Vision Research: An Algorithm Survey 1996-03-19 Just so? Vacuum oscillations and MSW: an update. 1998-05-14 Bilevel and Multilevel Programming: A Bibliography Review 1999-02-16 A comprehensive multimedia control architecture for the Internet 1997-06-06 Henning Schulzrinne An Object-Oriented Client-Server System for Interactive Segmentation of Medical Images Using the Method of Active Contours 1998-01-29 A Guide to the Literature on Learning Probabilistic Networks From Data 1996-11-09 Wray Buntine A Large Case-Based Reasoner for Legal Cases 1997-04-22 Zeros Of Polynomials Approximating Analytic Functions 1997-07-12 Jerzy Szczepa Nski Limitations of the Kerberos Authentication System+ 1997-06-02 Regularity of Solutions to Helmholtz-type Problems with Absorbing Boundary Conditions in Nonsmooth Domains 1998-03-19 Jinsoo Kim Applying Compiler Techniques to Cache Behavior Prediction 1997-08-13 Solving Parallel Machine Scheduling Problems by Column Generation 1998-03-31 Transformations for Functional Verification of Synthesized Designs 1994-09-14 Fossil: A Robust Relational Learner 1995-12-12 Johannes Furnkranz Biased Estimation of Adjusted Odds Ratios From Incomplete Covariate Data Due to Violation of the Missing at Random Assumption 1997-05-02 Generating Fuzzy Rules for the Acceleration Control of an Adaptive Cruise Control System 1996-04-30 Member, AIAA 1997-09-17 Multi Lingual Sequent Calculus and Coherent Spaces 1997-10-20 Integrating Security in a Group Oriented Distributed System 1997-10-14 Effective Finite-Difference Methods For The Solutions Of Filtration Problems In Multilayer Domains 1998-12-22 H. Kalis Evaluation of Vehicle/Driver Performance Using Genetic Algorithms 1997-12-19 Refinement of Coloured Petri Nets 1999-03-16 Eike Best Macro Control Languages And Actions For Cocolog 1996-10-01 Coupling of Potential and Euler Equations to Describe Far Field in 3D Transonic Flows 1997-08-06 Ivan L. Sofronov A mechanical proof of Segall's PIF algorithm 1998-07-22 Wim H. Hesselink Minimum-Cost Bounded-Skew Clock Routing 1995-04-03 Gamma-Ray Emission From Blazars 1997-03-03 Fumio Takahara Digital Software and Data Repositories for Support of Scientific Computing 1995-02-27 The TAMU Security Package: An Ongoing Response to Internet Intruders in an Academic Environment 1993-10-22 The Power of Two Choices in Randomized Load Balancing 1996-09-17 Michael David Mitzenmacher World-Wide Web: Whence, Whither, What Next? 1998-10-02 Online Learning about Other Agents in a Dynamic Multiagent System 1998-02-19 The Ok Bdi Architecture 1998-08-27 Alan Gewirth and the Moral Law 1996-05-14 J. N. Hooker Counting Curves and Their Projections 1998-02-23 Formal System Design Based on the Synchrony Hypothesis, Functional Models, and Skeletons 1998-11-03 Local Image Reconstruction And Sub-Pixel Restoration Algorithms 1997-12-10 Status of CRESST Dark Matter Search 1997-01-09 On The Rapid Computation Of Various Polylogarithmic Constants 1996-08-26 Ulam Formulae for Random and Forced Systems 1998-07-14 ERCW PRAMs and Optical Communication 1997-06-04 Fads or Bubbles? 1998-08-13 Is Intractability of Non-Monotonic Reasoning a Real Drawback? 1995-08-31 Measuring and Compensating for the Effects of Speech Rate in Large Vocabulary Continuous Speech Recognition 1998-07-08 Matthew A. Siegler Structure and Memorability of Web Sites 1997-07-15 Diophantine Approximation in Projective Space 1998-08-21 On Wirelength Estimations for Row-Based Placement 1998-04-17 Algebraic Non-Integrability of the Cohen Map 1998-04-11 A Note on Bayesian Analysis of the Poly-Weibull Model 1998-04-22 Problem-Focused Incremental Elicitation of Multi-Attribute Utility Models 1998-10-08 The Case for Online Aggregation: New Challenges in User Interfaces, Performance Goals, and DBMS Design 1996-10-28 Joseph M. Hellerstein Matching and Pose Refinement with Camera Pose Estimates 1997-03-24 Satyan Coorg A Preliminary Study on Designing Artificial Neural Networks Using Co-Evolution 1999-02-11 Using Speculative Retirement and Larger Instruction Windows to Narrow the Performance Gap between Memory Consistency Models 1997-04-11 A Location Based Heuristic for General Routing Problems 1995-07-09 Julien Bramel Support Vector Machine - Reference Manual 1998-10-07 A Class of Invariants for the Boltzmann Equation and the Broadwell Model 1997-12-02 A. Klar ICC++ - A C++ Dialect for High Performance Parallel Computing 1996-02-12 A Spatial Data Model for Navigation Knowledge 1998-01-20 Automated Processing of Structured Online Documents 1998-03-02 Textual CBR and Information Retrieval - A Comparison - 1998-03-29 Mario Lenz Predictive Analog to Digital Conversion of Doppler Ultrasound Signals 1997-05-20 An Auditory Localization Model Based on High Frequency Spectral Cues 1996-06-21 ci.plot: Confidence interval plots using S-PLUS 1980-01-11 Julian Pt Higgins LDAQ-IS Integration for the ATLAS-DAQ 1999-02-12 Planar Universal Graphs 1998-08-25 Formatting Instructions for NIPS-8David 1996-12-31 Realizable MIMO Decision Feedback Equalizers: Structure and Design 1998-09-25 Recording and Playback of Collaborative Desktops on the Internet 1997-12-29 Concurrent Simulation and Control of Robot Tasks 1994-07-21 Ulrich Mehlhaus Modeling Performance of Distributed Programs by Stochastic Decision Free Petri Nets 1999-04-04 Mohammad Ghodsi Trust-Region Interior-Point Algorithms for Minimization Problems With Simple Bounds 1997-01-27 Automating the Construction of Stationary Multiple-Point Classes 1995-03-24 Screening of a Point Charge: A Fixed-Node Diffusion Monte Carlo Study 1999-03-05 Optimal Stable Merging 1997-01-25 Antonios Symvonis Gray Codes for 1997-12-26 Matthew B. Squire * Author's current address: Xerox Palo Alto Research Center, 3333 Coyote Hill Road, Palo Alto, CA 94304 USA 1998-11-03 A Structural Learning by Adding Independent Noises to Hidden Units 1997-08-25 Automatic code generation from SDL to a declarative programming language 1970-01-01 Generation Of One-Sided Random Dynamical Systems By Stochastic Differential Equations 1998-09-13 The Chu Construction 1996-06-27 MPI-Ph/94-85 December 1994 1998-05-15 Light Propagation in Square Law Media With Random Imperfections 1998-09-06 Josselin Garnier Theorem Proving in a Russian Room and in Haskell 1996-04-15 Specification andverification of the Windows Card runtime environment using Abstract State Machines 1999-02-11 A Generic Multi-Agent Architecture for Interactive Diagnostic Tasks with Clarification 1998-05-21 Developing Correct and Efficient Logic Programs by Transformation 1997-04-11 Improving Automated Land Cover Mapping by Identifying and Eliminating Mislabeled Observations from Training Data 1996-03-07 Evolving Software Test Data - GA's learn Self Expression 1996-06-12 Jim Smith T. C. Fogarty A Hybrid Probabilistic/Connectionist Approach to Automatic Text Tagging 1995-08-22 Adaptation of Population Sizes by Competing Subpopulations 1996-05-30 Two Small Astronomical Catalogs Available In Hypertext 1995-06-13 Semantics in Spatial Databases 1998-12-27 Heap Analysis and Optimizations for Threaded Programs 1997-07-03 On Source Coding with Side Information Dependent Distortion Measures 1998-04-30 Composing Processes 1997-04-21 Kohei Honda On Delphi Lemmas And Other Memoing Techniques For Deterministic Logic Programs 1997-02-17 A Coding Framework for Low-Power Address and Data Busses 1998-12-22 From Invariants to Canonization 1998-10-25 Yuri Gurevich Publication Bias in Meta-Analysis: A Bayesian Data-Augmentation Approach to Account for Issues Exemplified in the Passive Smoking Debate 1999-02-26 A Two State Capital Asset Pricing Model 1996-12-12 Moshe Fridman Connectors: a Key Feature for Building Distributed Component-Based Architectures 1997-01-06 Kernel-Level Scheduling for the Nano--Threads Programming Model 1998-11-30 Implementation of a Management Agent for Interpreting Obligation Policy 1996-07-30 Approximate Statistical Tests for Comparing Supervised Classification Learning Algorithms 1997-12-31 Thomas G. Dietterich Harvest: A Scalable, Customizable Discovery and Access System 1995-11-25 Tree-based Algorithm to Find the k-th Value in Distributed Systems 1995-06-06 Maximal Sets of Numbers Not Containing K+1 Pairwise Coprime Integers 1999-04-21 Economic Allocation of Computation Time with Computation Markets 1997-12-01 Nathaniel Rockwood Bogan Event Calculus with Explicit Quantifiers 1998-05-30 A Special Lagrangian 3-Torus As A Real Slice 1997-11-26 M. Kobayashi Partial Differential Inclusions Governing Feedback Controls 1995-10-27 Jean-pierre Aubin Cosmological Perturbation With Two Scalar Fields in Reheating After Inflation 1998-05-05 A View of Diagnostic Reasoning as a Memory-directed Task 1970-01-01 Roy M. Turner The Witness Algorithm: Solving Partially Observable Markov Decision Processes 1995-01-07 Michael L. Littman A Review Of Quality Of Service Architectures 1995-09-05 Challenges in Human/Computer Interfaces: Making the Technology Serve the User 1996-11-22 Dick C. A. Bulterman Semantics-based Information Brokering 1995-06-30 An End-to-End Reliable Multicast Protocol Using Polling for Scaleability 1998-11-18 Residual Advantage Learning Applied to a Differential Game 1997-07-24 Service Specific Control Architectures for ATM 1999-03-11 Language And Cognition 1998-02-13 The Tatami System Design and its Motivation 1998-09-24 Joseph A. Goguen Searching Proper Names in Databases 1995-02-19 Hardware Implementations of Kohonen's Selforganizing Feature Map 1994-08-19 Shillcutt Path Planning for Orbital Motions Kimberly Shillcutt 1998-05-21 Kimberly Shillcutt Jung-Shan Lin and Ioannis Kanellakopoulos 1997-12-29 Towards a Semantics of Desires 1999-01-19 Han Reichgelt Revisiting the Edge of Chaos: Evolving Cellular Automata to Perform Computations 1994-09-30 The distrat/askmap suite of programs for cause map analysis A user's guide 1996-02-13 Jeff Goldberg Implementing Inequality and Nondeterministic Specifications with Bi-rewriting Systems 1995-01-12 Jordi Levy Optimising Propositional Modal Satisfiability for Description Logic Subsumption 1998-05-15 Ray Tracing and Graphics Extensions 1995-06-21 Roman E. Maeder An Internet Camera Server for USB Cameras 1998-08-23 XPM The X PixMap Format 1992-05-04 Complexity of Only Knowing: The Propositional Case 1998-04-09 Riccardo Rosati Pinwheel Scheduling for Fault-tolerant Broadcast Disks in Real-time Database Systems 1997-03-10 Error Correcting Codes Real Channels 1997-04-10 The Trade-offs of Multicast Trees and Algorithms 1995-03-23 Remote direct manipulation: A case study of a telemedicine workstation 1998-09-05 A New Approach To Video Sequence Recognition Based On Statistical Methods 1996-08-07 Adapting Behaviors to New Environments, Characters, and Tasks 1998-05-21 Favorable Classes of Mappings and Multimappings In Nonlinear Analysis and Optimization 1996-06-23 Jean-paul Penot Approximating the Semantics of Logic Programs by Recurrent Neural Networks 1998-10-16 The Functional Imperative: Shape! 1998-03-11 Engineering And Economic Applications Of Complementarity Problems 1970-01-01 Higher-Order Differential Operators On A Lie Group And Quantization 1998-11-12 Analysing Ill-formed Input with Parallel Chart-based Techniques 1996-09-26 On Convective Effects in Sedimentation of Concentrated Suspensions With High Effective Gravity 1995-10-30 Jacob Ystrom Software Synthesis for Real-Time Information Processing Systems 1995-07-27 Unknown 1995-08-26 Three-dimensional lattice U1 gauge-Higgs model at low 1998-05-24 Affix Grammars for Programming Languages 1998-05-29 C. H. A. Koster Electroweak Radiative Corrections To Polarized Møller Scattering Asymmetries 1998-05-14 Constructive Approximation and Numerical Methods in Geodetic Research Today - An Attempt of a Categorization Based on an Uncertainty Principle 1999-03-24 Modal Types as Staging Specifications for Run-time Code Generation 1998-03-24 Scope Consistency : A Bridge between Release Consistency and Entry Consistency 1998-09-14 Configuration Management with Feature Logics 1994-03-01 Andreas Zeller Using Agents to Improve the Usability and Usefulness of the World-Wide Web 1996-04-11 Applications of Wavelets in Music. The Wavelet Function Library 1995-07-25 A Dual Framework for Lower Bounds of the Quadratic Assignment Problem Based on Linearization 1998-03-09 On The Random-Self-Reducibility Of Complete Sets 1994-04-21 General Object-Based Environments: A Basis for Cooperative Software Development 1997-03-07 Lars Bendix Fast Planning Through Planning Graph Analysis 1997-07-15 Optimization Using Replicators 1996-07-11 Design Issues in Mobile Agent Programming Systems 1998-06-24 On using Network Memory to Improve the Performance of Transaction-Based Systems 1997-04-11 High-Energy Nuclear Physics With Lorentz Symmetry Violation 1997-08-21 Luis Gonzalez-mestres Performability Analysis Using semi-Markov reward processes 1997-01-03 A Query Language and Optimization Techniques for Unstructured Data 1998-04-22 Pitch Determination of Speech Signals: A Fuzzy Fusion Approach 1997-06-30 Alessandro Saffiotti Coupling and Cohesion in Object-Oriented Systems 1995-04-23 Lightweight Transactions on Networks of Workstations 1997-10-20 Media / Modalities Allocation in Intelligent Multimedia User Interfaces: Towards a Theory of Media and Modalities 1998-03-18 Concurrent Zero-Knowledge: Reducing the Need for Timing Constraints 1998-10-28 Cynthia Dwork Broad Agents 1994-04-20 Completions Of Stratified Ends 1997-05-23 Frank Connolly One Help Bit Doesn't 1997-01-08 Interval Identification - a Modelling and Design Technique for Dynamic Systems 1999-04-23 Stochastic Models for Transport in a Fluidized Bed 1998-12-10 Uniqueness Typing for Functional Languages with Graph Rewriting Semantics 1997-02-28 Identifying Modules Via Concept Analysis 1998-08-02 Factor-Join: A Unique Approach to Compiling Array Languages for Parallel Machines 1998-01-24 Evolving Neural Networks to Focus Minimax Search 1997-10-29 Distributing Information for Collaborative Filtering on Usenet Net News 1995-11-09 David Maltz Translating Equality Downwards 1997-05-09 P&#x00F3;lya Festoons 1996-10-15 Philippe Flajolet Direct Estimation of Affine Image Deformations Using Visual Front-End Operations With Automatic Scale Selection 1997-01-29 Tony Lindeberg Conformal Geometry And Global Invariants 1995-01-17 Thomas P. Branson Software Agents: An Overview 1996-05-10 Length Bounded Molecular Computing 1998-06-29 An Arithmetic Entropy Codec VLSI chip for JPEG image compression 1995-11-06 Georgios A. Dimitriadis Using Remote Memory to avoid Disk Thrashing: A Simulation Study 1995-11-16 Evangelos P. Markatos Cache Coherence for Shared Memory Multiprocessors Based on Virtual Memory Support 1992-12-16 Petersen Kai Some Useful Properties of Probabilistic Knowledge Representations From the Point of Viewof Intelligent Systems 1995-10-06 Marek J. Druzdzel Incorporating Application Dependent Information in an Automatic Code Generating Environment 1997-07-22 Situated Software Design 1995-04-24 Bootstrapping Z-Estimators 1999-04-25 Jon A. Wellner Adding an Optimisation Pass to the Glasgow Haskell Compiler 1997-11-04 Olaf Chitil Pizza into Java: Translating theory into practice 1996-11-13 Query Processing in an Information Mediator 1995-06-17 Dynamics of the Ginzburg-Landau Equations of Superconductivity 1996-11-06 Hans G. Kaper Reactive Synchronization Algorithms for Multiprocessors 1994-07-11 Large Quasi-Periodic Long-Term Solar Radio Pulsations At Short Decimetric Wavelength 1997-03-03 A Subgradient Method For Contact Structural Optimization 1996-11-27 Nonholonomic Mechanical Systems with Symmetry 1995-11-02 Face Recognition and Gender Determination 1995-12-22 Decison-Theoretic Refinement Planning using Inheritance Abstraction 1993-11-03 The NUMAchine Multiprocessor 1998-03-18 Homogeneous Spaces Admitting Transitive Semigroups 1997-11-05 A Pumping Lemma for Output Languages of Macro Tree Transducers 1999-02-08 Supporting Collaboration in Mobile-aware Groupware 1999-03-30 CICLOPE: A Normal Flow based Approach for Real Time Obstacle Detection 1995-05-23 Simultaneous Driver and Wire Sizing for Performance and Power Optimization 1997-01-06 The Teacher: "Concepts!" The Student: "Tools!" --- On the Number and Importance of Concepts, Methods, and Tools to be Taught in Software Engineering Education 1997-02-24 Martin Glinz Two-loop heavy Higgs correction to Higgs decay into vector bosons 1998-05-13 Adrian Ghinculov Distributed Component Object Model DCOM 1997-06-24 Assumptions of Problem-Solving Methods 1995-11-08 SCAM: A Copy Detection Mechanism for Digital Documents 1995-06-09 Mapping an Extended Entity-Relationship Schema into a Schema of Complex Objects 1997-09-02 Noise Robustness in Multilayer Neural Networks 1997-03-13 Numbering Document Components 1995-08-09 Visualization Tools for the Nonstationary Navier-Stokes Equations 1997-03-21 Stefan Turek Time in Automated Legal Reasoning 1997-02-17 Hajime Yoshino Recurrent Neural Network Predictors For EEG Signal Compression 1998-06-08 SINAN: An Argument Forwarding Multithreaded Architecture 1996-10-02 Rajiv Gupta Back to Direct Style II: First-Class Continuations 1992-07-08 A Quantitative Study of Differentiated Services for the Internet 1999-03-27 Composite Centered Schemes for Multidimensional Conservation Laws 1998-09-23 Dualities Associated To Binary Operations On 1995-10-27 Ivan Singer On Teaching Software Architecture Precisely. 1998-11-26 Peter Lucas Parallel Simulation of Compressible Atmospheric Flows: Bubble Convection 1997-09-02 Similarity and Contrast Relations and Inductive Rules 1998-08-19 Alistair Knott Key Differences between HTTP/1.0 and HTTP/1.1 Work Project No. 3116-17-1001 1998-12-09 Interpolating Subdivision for Meshes with Arbitrary Topology 1997-12-19 Characterising Tractable Constraints 1997-06-12 VPR: A New Packing, Placement and Routing Tool for FPGA Research 1997-07-24 Realistic Modeling for Facial Animation 1996-03-17 A Classification of Various Approaches for Object-Based Parallel and Distributed Programming 1997-11-11 Diophantine Approximation of a Plane 1998-02-23 Support Of 1995-10-03 A Library Application on Top of an RDBMS: Performance Aspects 1997-07-15 Iterative Generation of 3-D Models from a Set of Images 1998-05-12 Optimization-Based Teleoperation Controller Design 1998-08-18 Spherical Wavelets: Efficiently Representing Functions on the Sphere 1995-12-05 The Use of Representation Clauses and Implementation-Dependent Features in Ada: IIB. Experimental Procedures 1996-10-01 B. Craig Meyers Average Optimality in Markov Games with General State Space 1997-06-06 Ulrich Rieder Switcherland - A Scalable Interconnection Structure for Distributed Systems 1997-08-19 Hans Eberle The Independence Number of Graphs With Large Odd Girth 1997-12-26 Tristan Denley A Technique toDetermine Power-Efficient, High-Performance Superscalar Processors 1995-11-28 Reinforcement Learning With Self-Modifying Policies 1997-11-13 The Application of Program Slicing to Regression Testing 1998-12-11 David Binkley Learning Representations for Evolutionary Computation 1995-10-09 Learning Adaptation Strategies by Introspective Reasoning about Memory Search 1994-07-21 David B. Leake Contributions to Inductive Logic Programming 1997-12-16 LAPACK Working Note 93 Installation Guide for ScaLAPACK 1997-05-13 Efficient Parallel Recovery in Replicated Databases 1995-04-07 Rajiv Tewari A Variant of Newton's Method for the Computation of Traveling Waves of Bistable Differential-Difference Equations 1999-03-29 Cost Effectiveness of Data Flow Machines and Vector Processors 1994-06-22 The Proteus System for the Development of Parallel Applications 1994-07-29 Color Image Edge Detection Using Cluster Analysis 1997-10-09 ACCPM - A Library for Convex Optimization Based on an Analytic Center Cutting Plane Method 1996-06-21 J. Gondzio Semi-Invariants, Equivariants and Algorithms 1998-07-28 Global Arrays: A Portable"Shared-Memory"Programming Model for. . . 1995-08-16 Creating a Parallel Corpus from the "Book of 2000 Tongues" 1997-10-21 The Relation between the Path of Centers and Smale's Regularization of the Linear Programming Problem 1995-09-22 Masakazu Kojima Feature-Based Human Face Detection 1998-06-01 A Syntactical Analysis of Reversible PEPA Models 1998-08-12 An Integrable Flow on a Family of Hilbert Grassmannians 1996-08-26 Rodrigo P. Gomez Lower Bounds for Quantum Search and Derandomization 1998-11-18 Effective Partial Evaluation: Principles and Applications 1999-03-10 Non-Gaussian statistics in space plasma turbulence: fractal properties and pitfalls 1998-03-20 Cnrs Luminy Inversion in Time 1998-09-29 Mid-Level Networks Potential Technical Services 1992-02-24 Vikas Aggarwal An Efficient Method to Construct a Radial Basis Function Neural Network Classifier 1998-10-02 SOM based density function approximation for mixture density HMMs 1997-05-22 Mikko Kurimo On the Universal Chamseddine-Connes Action. 1. 1997-08-04 OC1: A randomized algorithm for building oblique decision trees 1995-01-04 The Multi-Threaded Architecture Multiprocessor 1999-02-07 On using Network Memory to Improve the Performance of Transaction-Based Systems 1997-04-11 Resource Location in Large Scale Heterogeneous and Autonomous Databases 1997-01-15 Scheduling Hard Real-Time Tasks with 1-Processor-Fault-Tolerance 1993-05-24 Query-Answering Algorithms for Information Agents 1996-07-17 A Maximum Entropy Model for Prepositional Phrase Attachment 1997-11-08 The Discrete Multiple Wavelet Transform and Thresholding Methods 1998-03-06 Relaxations LMI pour la stabilit'e robuste de syst`emes lin'eaires `a commande satur'ee 1999-02-19 Adaptive Cellular Integration of Dynamical Systems Constructed for Locating Regular and Singular Invariants of a Given Flow 1998-04-29 On Ramis's solution of the local inverse problem of differential Galois theory 1997-06-19 C. Mitschi Morphisms - CFI Language Design Study Note 1996-06-20 Didier Bert Optimal Code Generation for Embedded Memory Non-Homogeneous Register Architectures 1998-02-03 Guido Araujo Physical Program For Photon Colliders 1998-05-13 Ilya F. Ginzburg The BEAM: Towards a first EAM Implementation 1998-11-29 A Critical Review of the Fuzzy Theory Progress 1996-09-20 Adaptive Model Inversion Flight Control For Tiltrotor Aircraft 1998-04-11 The Fluor/Iota Fiber Stellar Interferometer 1998-10-28 Laurin Cikas 1997-09-04 De Bordeaux Correspondence And Component Analysis 1997-12-17 Qualitative Behavior of the EQS Parallel Processor Allocation Policy 1993-12-15 STARS Reuse Maturity Model: Guidelines for Reuse Strategy Formulation 1994-12-14 Margaret maggie J. Davis Modal Semantics for Knowledge Bases Dealing with Vague Concepts 1998-04-15 Brandon Bennett Locally Frozen Defects in Random Sequential Adsorption with Diffusional Relaxation Jian--Sheng 1997-04-26 Aggregation in Constraint Databases 1993-05-10 Gabriel M. Kuper TAP-D: A Model for Developing Specialization Tracks in Graduate Software Engineering Education 1998-12-17 Carol L. Hoover On Carmichael numbers with 3 factors and the strong pseudoprime test 1998-01-05 Warren D. Smith Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic 1998-09-11 Image Orientation By Gps And Ins 1998-06-22 Interactive-Rate Animation Generation by Parallel Progressive Ray-Tracing on Distributed-Memory Machines 1998-04-06 KEYANO Unplugged - The Construction of an Othello Program 1997-07-19 Mark G. Brockington SIMGRAPH - A FLIGHT SIMULATION DATA VISUALIZATION WORKSTATION Joseph A. Kaplan NASA Langley Research Center Hampton, Virginia Patrick S. Kenney UNISYS Corporation Hampton, Virginia 1997-08-16 Survivability Simulator for Multi-Agent Adaptive Coordination 1997-11-11 Variable Resolution Terrain Surfaces 1998-12-09 CDA Loop Transformations 1995-11-22 Interactive Learning Using a "society of Models" 1996-03-23 On Scalable QoS Routing: Performance Evaluation of Topology Aggregation 1999-02-08 An Optimal Algorithm for River Routing with Crosstalk Constraints 1997-01-02 An Efficient Lower Bound Algorithm For Channel Routing 1997-05-21 The Art of Massive Storage: A Case Study of a Web Archive 1999-03-10 A Hybrid Multilevel/Genetic Approach for Circuit Partitioning 1996-04-07 Structure Of Fourier Exponents Of Almost Periodic Functions And Periodicity Of Almost Periodic Functions 1998-10-20 Alexandr Fischer Praha Vortex Glass Phase and Universal Susceptibility Variations in Planar Arrays of Flux Lines 1996-07-25 Introduction to the Relationlog System 1998-09-02 Algebraic Aspects Of Complexity Functions 1994-08-16 Lide Li Computing Norms Of Free Operators With Matrix Coefficients 1998-01-30 Franz Lehner The Partition Function of 2D String Theory 1997-03-18 Recent results on 2He, e'pn from Bates using the out-of plane spectrometers 1998-09-16 Bartlett Correction of the Unit Root Test in Autoregressive Models 1995-06-30 B. Nielsen Birth and Death on a Flow: Local Time and Estimation of a Position-Dependent Death Rate 1998-03-31 From Real World Problems to Domain Characterisations 1998-02-04 UPPAAL A Tool Suite for Symbolic and Compositional Verification of Real--Time Systems 1995-05-19 The Evolutionary Design of Collective Computation in Cellular Automata 1998-09-04 Experiences with the C++ Standard Template Library and MPI for a Parallel Particle Simulation Method 1998-03-18 Parallel I/O for Distributed Systems: Issues and Implementation 1995-10-19 A Spatial Query Evaluator for GEO++ 1996-01-31 Linear Time Computable Problems and Logical Descriptions 1999-03-28 Detlef Seese Research Visit to Bologna - Trip Report 1995-10-11 Christos Karamanolis A Case Study on Parallel Synchronous Implementations for Tabu Search Based on Neighborhood Decomposition 1996-04-17 SWEB: Towards a Scalable World Wide Web Server on Multicomputers 1996-01-25 Flexible Network Support for Mobility 1998-09-03 Implementation and Performance of Scalable Scientific Library Subroutines on Fujitsu's VPP500 Parallel-Vector Supercomputer 1970-01-01 Multicommodity Flows in Simple Multistage Networks 1994-09-06 Finding the Epipole from Uncalibrated Optical Flow 1998-07-16 New Nonlinear Multigrid Analysis 1997-06-05 Dexuan Xie Performance Analysis of pC++: A Portable Data-Parallel Programming System for Scalable Parallel Computers 1994-09-10 The Sequoia 2000 Architecture And Implementation Strategy 1997-07-09 Automating The Subjective Recognition Of 500 Mb Wind Patterns As Input To A Meteorological Forecasting System 1996-09-23 Tracing Program Side-effects within the RHODOS Environment --- A Case Study 1970-01-01 Stability Of Communication Performance In Practice: From The Cray T3E To Networks Of Workstations 1997-12-02 A Study of Query Execution Strategies for Client-Server Database Systems 1996-03-06 Understanding and Improving Time Usage in Software Development 1998-09-09 Parallel Algorithms For Placement And Routing In VLSI Design 1997-01-09 The VDM Bibliography 1995-11-14 Peter Gorm Larsen editor Distributed Fault Monitoring in Manufacturing Systems Using Concurrent Discrete-Event Observations 1997-11-21 Large Deviations for Sub-Sampling From Individual Sequences 1996-03-15 MOQL: A Multimedia Object Query Language 1999-01-14 A Sequential Similarity Metric for Case Injected Genetic Algorithms applied to TSPs 1999-01-26 Interval Analysis: Unconstrained And Constrained Optimization 1998-03-26 On Output Feedback Invariants and Cascade Equivalence of Systems 1997-11-20 Trellis-Constrained Codes 1997-10-03 New Asymptotics in the Geometry of Equisingular Families of Curves 1998-02-03 A Criterion for Atomicity 1995-12-11 Large Deviations of Inverse Processes with Nonlinear Scalings 1997-12-04 N. G. Duffield On the Input-to-State Stability Property 1995-10-16 Eduardo D. Sontag A Reliable Storage Server for Distributed Cooperative Applications 1995-03-10 Dimensional Splitting With Front Tracking And Adaptive Grid Refinement 1998-05-03 Adaptive Modem Connection Lifetimes 1998-12-23 Mobile Active Objects in Correlate 1996-11-18 Combining PML and ABC for Finite Element Analysis of Scattering Problems 1997-07-25 Extensions to the Franz, Inc.'s Allegro Common Lisp Foreign Function Interface 1996-06-07 John Keane Stochastic Gradient Boosting 1999-03-28 Jerome H. Friedman Statistical Zone Finding 1996-12-16 Scott D. Connell Analysis of Unknown Lexical Items using Morphological and Syntactic Information with the TIMIT Corpus 1997-07-10 SVP - a Model Capturing Sets, Streams, and Parallelism 1970-01-01 New sufficient criteria for the globality of Lie wedges 1995-07-24 Dirk Mittenhuber Revenue Equivalence of Leveled Commitment Contracts 1999-04-22 Visualizing Corporate Data 1999-01-21 A Case Study in the Use of Theory Revision in Requirements Validation 1970-01-01 T. L. Mccluskey Tomohiro Kawakami 1997-05-23 Tomohiro Kawakami Evolving Recurrent Neural Networks with Non-binary Encoding 1995-08-21 Martin Mandischer Identification of Complex Shapes Using a Self Organising Neural System 1999-02-10 Synchronous, Asynchronous, and Causally Ordered Communication 1995-08-09 Complexity-Restricted Advice Functions 1998-05-18 Sharp: Efficient Loop Scheduling with Data Hazard Reduction on Multiple Pipeline DSP Systems 1997-03-19 Exploiting Parallelism in Tabled Evaluations 1999-03-31 Residency Check Elimination for Object-Oriented Persistent Languages 1996-05-09 Antony L. Hosking A Software Architecture for Application Driven High Performance Image Processing 1997-10-23 DOGMA: A GA-Based Relational Learner 1999-03-28 Dynamically Configuring Communication Services with the Service Configurator Pattern 1997-05-01 Scalable Parallel Computing: A Grand Unified Theory and its Practical Development 1995-11-10 W. F. Mccoll Properties of Genetic Representations of Neural Architectures 1995-09-06 The IOA Language and Toolset: Support for Mathematics-Based Distributed Programming 1998-04-30 Very High Speed Entropy Coding 1998-01-05 Applying Genetic Algorithms to the State Assignment Problem: A case Study 1995-04-04 Teleworking Support For Small And Medium-Sized Enterprises 1999-02-16 Systematic Lossy Source/Channel Coding 1997-06-25 Decomposition methods for differentiable optimization problems over Cartesian product sets 1996-08-12 Redescription, Information And Access 1997-08-11 Terry Dartnall Efficient Implementation of Unification-Based Grammars 1998-09-25 Supporting the Use of External Representations in Problem Solving: the Need for Flexible Learning Environments 1994-11-22 Geometric Foundations for Interval-Based Probabilities 1999-02-05 FLORID - User Manual Version 2.0 1997-11-12 Likelihood Decision Boundary Estimation Between HMM Pairs in Speech Recognition 1999-04-28 An Integrated Method of Parameter Design andTolerance Design 1998-04-11 Interconnect Design for Deep Submicron ICs 1997-08-27 Robust Visual Tracking by an Active Observer 1998-02-23 Jos Santos-victor A Statistical Model for Discourse Act Recognition in Dialogue Interactions 1998-01-28 Jennifer Chu-carroll The Pivotal Role of Evolutionary Theory in Life Sciences Derives From Its Capability to Provide Causal Explanations for Phenomena That Are Highly Improbable in the Physicochemi... 1998-12-23 A Note on Applicability of the Incompleteness Theorem to Human Mind 1998-03-03 Choosing a Testing Method to Deliver Reliability 1997-03-12 Automated Test Data Generation Using An Iterative Relaxation Method 1999-01-30 Specification and Testing of Temporal Properties of Concurrent System Designs 1994-05-02 Leftover Curry and reheated Pizza: How functional programming nourishes software reuse 1998-03-17 Learning to Improve Quality of the Plans Produced by Partial Order Planners 1998-09-14 General Cost Functions for Support Vector Regression 1998-07-20 Solving Forward-Backward Stochastic Differential Equations Explicitly - A Four Step Scheme 1997-01-13 Voting Over Multiple Condensed Nearest Neighbors 1996-01-16 Ethem Alpaydin Compression of Functions Defined on Surfaces of 3D Objects 1997-04-12 How To Use Context Free Grammars And Q-Grammars In Maple 1996-04-10 Psi-series and obstructions to integrability of periodically perturbed one degree of freedom Hamiltonians 1997-04-26 Symmetry Breaking Perturbations and Strange Attractors. 1997-04-26 A Characterization of the Dirichlet Distribution through Global and Local Parameter Independence 1970-01-01 Word Predictability After Hesitations: A Corpus-Based Study 1970-01-01 On Fischer-Frobenius transformations and the structure of rectangular block Hankel matrices 1997-07-15 On Zones of Flats in Hyperplane Arrangements 1994-07-04 Color Optimal Self-Stabilizing Depth-First Token Circulation 1998-01-19 Table Rounding Problem 1998-09-07 S Ima An algorithm reminiscent of Euclidean-gcd for computing a function related to pinwheel scheduling 1994-03-31 Constructing Reliable Distributed Communication Systems with CORBA 1996-11-24 Automatic Compositional Verification of Some Security Properties 1996-05-29 Generalized Guaranteed Rate Scheduling Algorithms: A Framework 1995-09-26 Forward-Tracking: A Technique for Searching Beyond Failure 1997-11-07 Tree-Based Picture Generation 1998-08-31 Frank Drewes Objective Functions for Topography: A Comparison of Optimal Maps 1998-01-17 Computational Indistinguishability: A Sample Hierarchy 1998-04-08 A Density Problem For Orthogonal Rational Functions 1997-07-01 Temporally Determinate Disk Access: An Experimental Approach 1998-03-12 Guaran&#x00E1;: A Tutorial 1998-09-20 Semi-Productive Polysemy and Sense Extension 1994-11-17 Polarons and Bipolarons in Strongly Interacting Electron-Phonon Systems 1997-04-22 Load Balancing for Distributed Branch Bound Algorithms 1997-11-26 B. Monien Application Scheduling and Processor Allocation in Multiprogrammed Parallel Processing Systems 1993-05-17 QCD at HERA 1998-05-27 N. H. Brook Minimal Tangent Visibility Graphs 1995-07-06 Finite Type Invariants Of Integral Homology 3-Spheres: A Survey 1997-09-03 Xiao-song Lin Unstructured Mesh Generation For 3D Viscous Flow 1998-06-15 SU_qn Gauge Theory 1998-03-27 Emergent Adaptive Lexicons 1996-05-11 Metaspaces and Mobile Computing: Promises and Challenges 1997-06-25 Gator: A Discrimination Network Structure for Active Database Rule Condition Matching 1993-06-18 Eric N. Hanson Three studies of grammar-based surface parsing of unrestricted English text 1997-05-26 Atro Voutilainen Exploring Estimator Bias-Variance Tradeoffs Using the Uniform CR Bound 1996-05-27 Knowledge-Based Programs 1997-06-26 Model Checking in Industrial Hardware Design 1995-11-16 Detecting Nonlinearity in Multivariate Time Series 1997-01-16 Milan Palus Mathematical Formula Recognition Using Graph Grammar 1998-12-07 Stphane Lavirotte Softbots as Testbeds for Machine Learning 1998-01-07 Bounded Quantification with Bottom 1997-11-12 Benjamin C. Pierce Aesthetics-based Graph Layout for Human Consumption 1970-01-01 MONSTR II - Suspending Semantics and Independence 1997-08-06 R. Banach Parallelization Requirements for Heirarchically Structured Applications on Coarse-Grained Parallel Computers 1996-04-02 Incremental Methods for Formal Verification and Logic Synthesis 1997-06-11 Gitanjali Meher Swamy Junction Detection With Automatic Selection Of Detection Scales And Localization Scales 1994-11-22 Tony Lindeberg A Lazy Algorithm for Planning Motions in Contact 1997-08-27 Another Architecture: PVM on Windows 95/NT 1998-04-30 MIRAGE: A Kernel Implementation of Distributed Shared Memory on a Network of Personal Computers 1994-05-04 .8µm CMOS 2.5Gbps Oversampling Receiver and Transmitter for Serial Links 1997-03-05 Error Analysis and Reporting in Programming Environments 1995-08-06 W. M. Waite Matching Error Based Criterion Of Region Merging For Joint Motion Estimation And Segmentation Techniques 1998-08-06 GM91 S. K. Ghosh and D. M. Mount. An output-sensitive algorithm for computing visibility graphs. 1996-07-31 Hamiltonian Thermodynamics of Black Holes in Generic 2-D Dilaton Gravity 1998-05-05 Independent Global Snapshots in Large Distributed Systems 1999-01-20 Toward a Characterization of Elliptic Solutions of Hierarchies of Soliton Equations 1997-05-13 Controling the Magnification Factor of Self-Organizing Feature Maps 1997-05-15 Implementation&Evaluation of a Mobile Handover Protocol in Fairisle 1995-11-06 Chai-keong Toh Approximate Inverse Preconditioning Of Iterative Methods For Nonsymmetric Linear Systems 1996-04-02 Public Watermarks and Resistance to Tampering 1997-08-04 A Genetic Solution for the Cutting Stock Problem 1996-08-09 Szab Zsuzsa Randomly Sampling Molecules 1998-10-23 Matrix Sensitivity Analysis from an Interior Solution of a Linear Program 1998-02-07 Harvey J. Greenberg PMPI 1.0 User Manual 1997-05-08 Algorithm for automated eye strain reduction in real stereoscopic images and sequences J. S. McVeigh 1996-01-22 Fitness Distance Correlation for Variable Length Representations 1997-05-27 Cognition Is Not Computation: The Argument From Irreversibility 1996-09-06 Design Automation of High Speed Digital Signal Processing in VLSI with Applications in Speech Recognition Systems Based on Hidden Markov Models 1996-10-15 Johnny Pihl A Security Architecture for Computational Grids 1998-07-23 Evolutionary Algorithms For Fuzzy Logic: A Brief Overview 1997-11-11 Thomas B On the Influence of Lookahead in Competitive Paging Algorithms 1999-03-07 Susanne Albers Verification of Large State/Event Systems using Compositionality and Dependency Analysis 1998-05-27 Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm 1997-09-29 Combining Top-down and Bottom-up approaches for ROBDD Construction 1996-02-15 Edge-Preserving Smoothing by Convex Minimization 1970-01-01 A Hierarchical CPU Scheduler for Multimedia Operating Systems 1998-06-12 Drawing Algorithms for Telecommunication Networks 1998-10-06 Proving Lower Bounds and Formalizing Knowledge in Randomized Computing: a General Randomized Model 1996-05-30 Isaac Saias Higher-Order Logic Programming as Constraint Logic Programming 1993-04-23 Von großen Böcken und einer Menge Staub - Zur maschinellen Verarbeitung modifizierter Idiome mit semantisch-autonomen Komponenten 1996-08-27 An Overview of TQuel 1992-08-24 Richard Snodgrass What Size Neural Network Gives Optimal Generalization? Convergence Properties of Backpropagation 1997-11-07 A Scheduling Discipline and Admission Control Policy for Xunet 2 1995-05-17 Possibility theory and the generalised Noisy OR model 1996-04-19 Pruning regression trees with MDL 1998-12-16 Sikonja Igor Kononenko Bounded-Skew Clock and Steiner Routing 1997-11-16 Modeling and Retrieving Images by Content 1997-08-14 Introspective Reasoning in a Case-based Planner 1994-12-29 Parallel Tensor Methods for Nonlinear Equations and Nonlinear Least Squares 1995-01-30 On Some Difficulties in Integrating Highly Oscillatory Hamiltonian Systems 1997-12-02 Authentication Scheme For Distributed, Ubiquitous, Real-Time Protocols 1998-07-28 David L. Mills Causality, Constraints and the Indirect Effects of Actions 1997-06-19 Stay Outta My Way: Interference as a Guide for Designing Efficient Group Behavior 1996-03-05 Measuring Infinite Relations 1995-03-14 Warp Resource Discovery 1995-10-02 On The Algebraic Approach To Concurrent Term Rewriting 1996-10-29 Fabio Gadducci Collisionless Multiple Access Protocols for Wavelength Division Multiplexed Star-Coupled Photonic Networks 1995-03-17 Traffic Characterization of Manned-Simulators and Computer Generated Forces in DIS Exercises 1994-12-01 Smoothing Non-Equidistantly Sampled Data using Wavelets and Cross Validation 1998-04-08 Measuring the Effectiveness of a Simple Strictness Analyser 1995-01-09 The Compilation of Prolog and its Execution with MALI 1994-07-06 The Observers' Paradox: Apparent Computational Complexity in Physical Systems 1997-12-17 Asymptotics for L 1 -estimators of regression parameters under heteroscedasticity 1998-09-09 Keith Knight Addressing, Routing And Broadcasting In Hexagonal MESH MULTIPROCESSORS 1996-07-19 On the Comparative Behavior of Kelley's Cutting Plane Method and the Analytic Center Cutting plane Method 1996-03-13 The Text Encoding Initiative 1998-06-30 C. M. Sperberg-mcqueen Limit Theory For Bilinear Processes With Heavy Tailed Noise 1995-12-19 Renormalized Soft-Higgs Theorems 1998-05-15 Wolfgang Kilian On Significant Maxima Detection: A Fine-to-Coarse Algorithm 1996-07-11 Konstantin Y. Kupeev Investigating the Use of Cache as a Local Memory 1999-01-20 Surface Fitting with Hierarchical Splines 1995-07-21 The Transformation Calculus 1996-01-31 Jacques Garrigue FlexiFrag: A Design Pattern for Flexible File Sharing in Distributed Collaborative Applications 1997-07-27 Processor Lower Bound Formulas For Array Computations And Parametric Diophantine Systems 1997-10-20 CPU Reservations and Time Constraints: Efficient, Predictable Scheduling of Independent Activities 1998-02-03 Michael B. Jones Path Integrals for Stochastic Neurodynamics 1995-06-14 First statistical data on wavefront outer scale at La Silla observatory from the GSM instrument 1999-03-03 Exhaustive Determination of 1023, 511, 255-Cyclic Difference Sets 1998-12-29 Unsolved Problems Related to the Covering Radius of Codes 1997-03-05 N. J. A. Sloane Design And Application Of A Gradient-Weighted Moving Finite Element Code, Part Ii, In 2-D 1995-10-23 The True Minimum Distance of Some Narrow-Sense BCH-Codes of Length 255 1970-01-01 Georg Wambach Verification Of Control Laws Using Phase-Space Geometric Modeling Of Dynamical Systems 1999-03-05 Feng Zhao Virtually-Synchronous Communication Based on a Weak Failure Suspector 1995-03-10 Towards a Practical Full Mode Inference System for CLPH,N 1999-02-03 USeg: A Retargetable Word Segmentation Procedure for Information Retrieval 1996-02-15 Dynamic Backtracking with Constraint Propagation: Application to numeric CSPs 1998-09-29 Hyper-Polynomial Hierarchies and the NP-Jump 1997-05-02 Computerized Biological Brain Phantom for Evaluation of PET and SPECT Reconstruction 1970-01-01 Conceptual Modelling of Database Applications Using an Extended ER Model 1998-05-25 Controlling Application Grain Size on a Network of Workstations 1995-10-05 Flexible List Management in a Directory 1998-09-18 Simulation of Ordinary Differential Equations on Manifolds - Some Numerical Experiments and Verifications 1997-01-29 A New Compression Technique Using an Artificial Neural Network 1999-03-29 A Framework for Implementing Objects and Scheduling Tasks in Lock-Free Real-Time Systems 1996-05-08 Issues on Synchronizing when Propagating Temporal Constraints 1997-04-22 New Techniques for Context Modeling 1998-02-07 Nonlinear Conservation Laws and Finite Volume Methods for Astrophysical Fluid Flow 1998-03-24 Randall J. Leveque A Neural Network Model of Visual Tilt Aftereffects 1997-05-16 W. Scott Reilly Joseph Bates June 1995 1995-06-06 A Model-Based Approach to Analogical Reasoning and Learning in Design 1994-03-28 Sambasiva R. Bhatta Efficient PRAM Simulation on a Distributed Memory Machine 1997-11-26 Extensible Cluster-Based Scalable Network Services 1997-07-23 Basic PSugal - an extension package for the development of Distributed Genetic Algorithms 1998-05-22 A Value-Driven System for Scheduling<E-289>Information Gathering 1998-03-09 Joshua Grass Multiuser Detection in Fast Fading Multipath Environments 1998-03-11 New Developments in Lexical Functional Grammar. 1998-07-30 Louisa Sadler An Evaluation of Pricing Schemes that are based on Effective Usage 1998-02-19 Geometric Forces on Point Fluxes in Quantum Hall Fluids 1997-09-17 On the Non-Existence of a Universal Learning Algorithm for Recurrent Neural Networks 1997-10-03 Herbert Wiklicky Why Fundamental Physical Equations Are of Second Order? 1999-01-25 Takeshi Yamakawa Advanced Editing on UNIX 1996-07-31 Brian W. Kernighan When Ants Play Chess Or Can Strategies Emerge From Tactical Behaviors? 1998-03-19 Alexis Drogoul Structural Data Parallel Neural Network Simulation 1998-04-03 Erich Schikuta Parameter Estimation for Linear Dynamical Systems 1996-08-20 Security For Next Generation Hypertext Systems 1995-10-11 Dieter Merkl Topological QCD 1998-05-23 Seungjoon Hyun Connection Pruning with Static and Adaptive Pruning Schedules 1996-08-07 Failure Recovery Algorithms for Multimedia servers 1998-06-19 A Wireless Fair Service Algorithm For Packet Cellular Networks 1998-10-06 Aspects Théoretiques et Pratiques de l'Inférence de . . . 1995-07-17 Integrating Performance Analysis In The Context Of Lotos-Based Design 1996-05-30 Interleaving Planning and Robot Execution for Asynchronous User Requests 1996-01-18 An Engineering Environment for Hardware/Software Co-Simulation 1995-06-04 Applications of a Logical Discovery Engine 1996-07-09 Real-Time Internet Video Using Error Resilient Scalable Compression And Tcp-Friendly Transport Protocol 1999-04-09 ASX: An Object-Oriented Framework for Developing Distributed Applications 1998-09-17 Douglas C. Schmidt ODP Viewpoints of QoS Management Application 1996-07-01 A Feature-Based Design Study On Constrained Optimization Using The Simulated Annealing Algorithm 1996-05-07 Very Low Bit Rate Video Coding Using Wavelet-Based Techniques 1998-06-22 Collaborative Information Agents on the World Wide Web 1998-04-13 Coordination of Massively Concurrent Activities 1995-10-03 F. Arbab Integrated PVM Framework Supports Heterogeneous Network Computing 1993-02-23 Convergence And Stability In The Numerical Approximation Of Dynamical Systems 1996-06-28 Andrew Stuart Acquisition Of Complex Model Knowledge By Domain Theory-Controlled Generalization 1998-06-22 Roman Englert Asynchronous Circuit Synthesis with Boolean Satisfiability 1998-11-25 Ruchir Puri Learning to Order Things 1998-10-19 Acceptability of Arguments as "logical Uncertainty" 1999-01-25 Faithfulness of Free Product States 1997-10-30 Kenneth J. Dykema Experience with Tcl/Tk for Scientific and Engineering Visualization 1995-12-16 Brian W. Kernighan Challenges in Evolving Controllers for Physical Robots 1999-01-11 Hidden Capabilities: Towards a Flexible Protection Utility for the Internet 1996-07-12 D. Hagimont Wavelet-based Homogenization of Differential Operators 1995-10-28 Mihai Dorobantu Spatial Data Analysis in the Dynamically Linked ArcView/XGobi/XploRe Environment 1997-07-01 An Experimental Evaluation of Coevolutive Concept Learning 1998-06-01 Probing Quark Compositeness At Hadronic Colliders : The Case of Polarized Beams 1998-05-14 An Algebraic Spin And Statistics Theorem. I 1997-04-28 On Topological Aspects Of Orientations 1998-09-22 Rigorous Computation of Surface Patch Intersection Curves 1996-04-16 Nicer-Slicer-Dicer: An Interactive Volume Visualization Tool 1994-06-20 Patrick J. Moran MDBS: A Modeling and Database System to Support Research in the Earth Sciences 1993-07-12 Some Weighted Multidimensional Berwald, Thunsdorff And Borell Inequalities 1997-06-16 Simultaneous Depth and Area Minimization in LUT-based FPGA Mapping 1995-07-09 A Survey of Genetic Algorithms 1996-05-01 On the Fourier Properties of Discontinuous Motion 1999-04-06 Spatial Inhomogeneity and Regularization in EIT 1998-04-02 The Number Of Geometric Bistellar Neighbors Of A Triangulation 1997-03-04 Java Communication Interfaces for Control Systems 1997-09-10 Optimization and Global Minimization Methods Suitable for Neural Networks 1998-11-25 Jerzy Korczak On the Dimension of the Attractor for the Non-Homogeneous Navier-Stokes Equations in Non-Smooth Domains 1998-03-31 Linux Access HOWTO 1997-03-30 Performance of All-Optical Networks with Limited-Range Wavelength Conversion 1998-02-26 Constraining of Weights using Regularities 1996-03-26 Solving LP Problems Via Weighted Centers 1993-08-03 Representations Of Symmetric Groups And Free Probability. 1998-01-30 Generalizing GlOSS to Vector-Space Databases and Broker Hierarchies 1995-07-09 Luis Gravano A Markovian Random Field Approach to Information Retrieval 1999-01-11 Electrons in a Lattice With an Incommensurate Potential 1997-04-26 A New Control Architecture Combining Reactivity, Planning, Deliberation and Motivation for Situated Autonomous Agent 1997-06-04 Reengineering Unification And T-Entailment For Mantra In C++ 1996-05-27 Tania Kharma Information, Relevance and Social Decisionmaking: Applications to Non-Truth-Conditional Semantics 1996-05-01 Arthur Merin RBF Networks for Object Recognition 1997-11-24 Server Operating Systems 1998-09-11 Adaptive Predictive Coding of Ultrasound Images 1998-08-06 A Tighter Lower Bound for Optimal Bin Packing 1997-05-21 On the Relative Expressiveness of Description Logics and Predicate Logics. 1997-01-23 Alex Borgida Sobolev and Hölder Estimates for. . . 1997-10-17 Deyun Wu 0/1-Integer Programming: Optimization and Augmentation are Equivalent 1970-01-01 Performance Results for Two of the NAS Parallel Benchmarks 1999-04-15 Tagging as a Means of Refining and Extending Syntactic Classes 1997-03-20 The application of recursive aggregate T-matrix algorithm in the Monte Carlo simulations of the extinction rate of random distribution of particles 1997-07-25 Controller Scheduling by Neural Networks 1999-02-18 New Approximation Algorithms for Graph Coloring 1994-03-14 Avrim Blum The Calculus of Constructions and Higher Order Logic 1996-12-19 Herman Geuvers A Framework for Network Protocol Software 1995-07-31 On the Optimal Spectral Abscissa for a System of Linear Oscillators 1998-10-13 Bogomol'nyi Equations in Gauge Theories 1970-01-01 Adaptive Dfe For Gmsk In High Data Rate Wireless Lans 1996-11-23 Trace Formulas for Stochastic Evolution Operators: Smooth Conjugation Method 1999-02-26 A Comparison of Evolutionary Activity in Artificial Evolving Systems and in the Biosphere 1998-04-03 On the generalized Fitting group of locally finite, finitary groups 1996-09-16 U. Meierfrankenfeld FlowMap: An Optimal Technology MappingAlgorithm for Delay Optimization in Lookup-Table Based FPGA Designs 1997-01-13 VLSI Architecture for Datapath Integration of Arithmetic Over GF2m on Digital Signal Processors 1998-01-19 Minimal Discrete-Time Positive Realizations of Transfer Functions With Positive Real Poles 1998-10-16 Real Time Correlation-Based Stereo: Algorithm, Implementations and Applications 1998-12-21 Projet Robotvis Theoretical Foundations for Abstraction-Based Probabilistic Planning 1998-10-08 A Survey of Noncommutative Geometry Methods for Group Algebras 1995-07-25 Do Ngoc Diep Improved Blind Channel Identification using a Parametric Approach 1998-05-07 The TREC-6 Filtering Track: Description and Analysis 1998-11-25 David A. Hull An intelligent search method using Inductive Logic Programming 1997-08-08 Coding Complexity: The Computational Complexity of Succinct Descriptions 1996-09-16 Partial Global Planning: A Coordination Framework for Distributed Hypothesis Formation 1995-07-12 Type Destructors 1998-02-04 Trigger Inheritance and Overriding in Active Object Database Systems 1997-12-29 Analysis and Design of Server Informative WWW-sites 1998-12-19 Registration of Uncertain Geometric Features: Estimating the Pose and its Accuracy 1998-11-18 NMCC Programming: Constraint Enforcement and Retraction in CC Programming 1996-02-27 Contour Fitting Using an Adaptive Spline Model 1996-05-07 Transportation Scheduling with Holonic MAS - The TeleTruck Approach 1998-10-18 STA: A System Testability Assistant 1999-01-19 A Short Cut to Deforestation 1998-10-14 Rewrite Systems for Natural, Integral, and Rational Arithmetic 1997-03-12 Parallel Event Detection in Active Database Systems: The Heart of the Matter 1996-10-01 Protocol Verification by Leaping Reachability Analysis 1996-08-22 Creating Digital Humans and Other Animals with Computer Graphics 1998-04-26 Discovering Association Rules based on Image Content 1999-04-21 Tipi: The Threads Processor 1998-01-29 Bernard Goossens A Numerical Method For Nonstationary Transport Equations In Diffusive Regimes 1997-12-02 A. Klar Jacobi And Watson Identities Combinatorially Revisited 1998-01-14 Model Checking PA-Processes 1997-09-05 Richard Mayr Absolute Value of the Elastic Plateau Modulus of Semiflexible Polymer Solutions 1998-07-09 A Formal Framework with Late Binding 1999-01-08 The NIST RS274/NGC Interpreter - Version 1 1997-05-05 Query Processing in Firm Real-Time Database Systems 1994-04-04 Hwee Hwa Pang Discharge Prediction of Rechargeable Batteries with Neural Networks 1997-07-08 Jean-noel Patillon Separating Complexity Classes using Autoreducibility 1998-10-22 Least common subsumer computation w.r.t. cyclic ALN-terminologies 1999-02-19 Unbounded length contexts for PPM 1996-07-26 Design and Implementation of a Database Environment for the Manipulation of Structured Documents 1996-04-22 Arijit Sengupta Bijective proofs of the hook formulas for the number of standard Young tableaux, ordinary and shifted 1997-12-26 C. Krattenthaler Optimization of Array Accesses by Collective Loop Transformations 1998-08-24 Issues in the Design and Implementation of User-Level DMA 1997-06-23 Local Brs Transformations And 1998-05-25 Migrating to Object Data Management 1995-11-12 On being `undigital' with digital cameras: Extending Dynamic Range by Combining Differently Exposed Pictures 1996-01-31 The Tiger Video Fileserver 1970-01-01 Efficient Implementation of Weighted ENO Schemes 1970-01-01 Guang-shan Jiang Ravel-XL: A Hardware Accelerator for Assigned-Delay Compiled-Code Logic Gate Simulation 1997-05-27 Towards Unrestricted Lip Reading 1998-11-17 Ictíneo Implementation Manual 1997-04-25 Controlling Risk Exposure and Dividends Pay-out Schemes: Insurance Company Example 1998-09-08 Michael Taksar Industrial Applications of ASF+SDF 1996-05-28 Compression and Coding of Large CAD Models 1998-11-06 On-Line Extraction of SCSI Disk Drive Parameters 1995-08-02 Long Time Stability Of Some Small Amplitude Solutions In Nonlinear Schrödinger Equations 1997-04-26 Dario Bambusi Shape From Photomotion 1999-01-14 Subquadratic Algorithms for the Weighted Maximin Facility Location Problem Extended Abstract 1996-12-16 An Orthogonal Method For The Controllable Subspace Of A Periodic System 1995-11-21 A Fast Multiplication Scheme for Fredholm Integral Equations of the Second Kind 1998-09-28 Efficient Feature Selection in Conceptual Clustering 1997-04-21 Study of the 1995-09-20 Continued fraction transformations, Brjuno functions and BMO spaces 1997-04-26 Joint Power Control And Beamforming For Capacity Improvement In Wireless Networks With Antenna Arrays 1997-04-09 A Nontrivial Renormalization Group Fixed Point for the Dyson--Baker Hierarchical Model 1997-04-28 Initial Report on Security Requirements 1996-11-22 Johan Degraeve NASA Technical Paper 3443 1998-03-26 Scalable Parallel Data Mining for Association Rules 1997-03-11 Workflow Management Systems: The Next Generation Of Distributed Processing Tools 1998-04-18 Specifying Syntactic Structures 1996-05-07 Large-Time Behavior of Solutions to the Equations of a One-Dimensional Viscous Polytropic Ideal Gas in Unbounded Domains 1998-12-28 Song Jiang Complexity of Some Elementary Operations on Continued Fractions 1997-02-08 Marek Teichmann Concept Design of a Scanning Laser Rangefinder for Autonomous Vehicles 1997-07-07 Alonzo Kelly Surgery And Geometric Topology 1997-05-23 Demythicizing Network Agents 1999-03-16 Learning to Forecast by Explaining the Consequences of Actions 1998-12-23 Tristan Cazenave A semi-classical trace formula for Schrödinger operators in the case of a critical energy level 1997-04-26 Khuat-duy David Reasoning about Complex Actions 1998-05-06 Symbolic Bisimulations and Proof Systems for the pi-Calculus 1994-06-08 H. Lin Implementation of Inference/Defuzzification METHODS VIA CONTINUOUS-TIME ANALOG CIRCUITS 1998-04-02 Deriving Logic Programs from Observations 1996-05-07 Virtual Genetic Algorithms: First Results 1998-12-27 John Grefenstette Delay-Optimal Technology Mapping for FPGAs with Heterogeneous LUTs 1998-08-13 DIMSEMs - Diagonally Implicit Single-Eigenvalue Methods for the Numerical Solution of Stiff ODEs on Parallel Computers: A Preliminary Report 1995-01-11 The BSCW System: A WWW based Application to Support Cooperation of Distributed Groups 1996-07-03 Uwe Busbach Decoupling QOS Guarantees and Connection Establishment in Communication Networks 1996-11-26 Dinesh C. Verma An Overview of Strategies for Neurosymbolic Integration 1996-08-22 Melanie Hilario Encoding Lexicalized Tree Adjoining Grammars with a Nonmonotonic Inheritance Hierarchy 1995-09-09 Networking Implementation Notes 4.4BSD Edition 1996-05-16 Combining Propositional Logic with Maximum Entropy Reasoning on Probability Models 1996-06-10 Standard Homogeneous Einstein Manifolds And Diophantine Equations 1970-01-01 The Phase Plane of Moving Discrete Breathers 1970-01-01 Paul A. Houle Automatic Generation of Configuration Files for a Distributed Control System 1996-01-17 J. Cuperus A. Gagnaire A Graph-Oriented Object Database Model 1999-02-03 Multilevel Characterizations Of Function Spaces On Skeletons 1998-03-11 Stephan Dahlke A Simple and Efficient Algorithm for Detection of High Curvature Points in Planar Curves 1999-04-27 Dmitry Chetverikov Identifying Satellites in Nucleic Acid Sequences 1998-03-30 Code Optimization by Reducing the Number of Stack Restoration Commands 1997-09-08 Computing the Visibility Graph via Pseudo-triangulations 1997-05-01 On One-Dimensional Quantum Cellular Automata 1995-11-28 John Watrous Layered Modes 1998-10-06 A Typed Approach to Layered Programming Language Design 1994-04-20 Shail Aditya Gupta Mode and Termination Checking for Higher-Order Logic Programs 1995-12-23 Iso/iec Jtc1/sc21 1994-04-17 Humane Interfaces to Video 1998-11-10 A Schema for Adding Dependent Types to ML 1997-07-23 Numerically Reliable Computation of Characteristic Polynomials 1995-11-15 Realistic Effective Interactions And Large--Scale Nuclear Structure Calculation 1998-07-20 A Methodology and Algorithms for the Design of Hard Real-Time Multi-Tasking ASICs 1996-03-19 Value Transforming Style 1992-11-02 Christian Queinnec Anonymous Credit Cards 1994-05-03 Wavelets-Based Non-Parametric Regression: Optimal Rate in the Sup-Norm 1997-03-05 PCAC in Nuclear Medium and the Lovelace - Shapiro - Veneziano formula 1998-05-24 Centre For Theoretical Studies Estimating The Quality Of Phonetic Transcriptions And Segmentations Of Speech Signals 1996-05-16 Maria-barbara Wesenick A Performance Study of BDD-Based Model Checking 1998-12-19 On Bases Of Circuit Lattices 1970-01-01 Critical Power for Asymptotic Connectivity in Wireless Networks 1998-10-07 Neural Expert Systems 1997-04-14 The RUBATO Workstation for Musical Analysis and Performance 1997-05-07 On the Complexity of Deciding Sense of Direction 1998-09-08 Microlocal Techniques For Semiclassical Problems In Geometric Quantization 1997-05-13 David Borthwick AlphaSlider: Searching Textual Lists with Sliders 1998-09-05 Edge-Bandwidth Of Graphs 1998-10-28 A Correctness Proof of the Bakery Protocol in mCRL 1995-05-01 Modeling Interactions of the Rat's Place and Head Direction Systems 1996-01-09 The Minimum Eigenvalue of a Symmetric Positive Definite Toeplitz Matrix and Rational Hermitian Interpolation 1997-06-11 Synchronous Kahn Networks 1996-01-25 Feature Subset Selection Using A Genetic Algorithm 1997-11-22 Manifold-Valued Martingales, Changes of Probabilities, and Smoothness of Finely Harmonic Maps 1998-06-25 The Design And Implementation Of A Parallel Document Retrieval Engine 1996-11-08 David Hawking The Convex Analysis of Unitarily Invariant Matrix Functions 1995-10-27 A. S. Lewis The Plancherel Measure of the Young-Fibonacci Graph 1998-11-25 Real-time High-Energy Physics Applications on DECPeRLe-1 Programmable Active Memory 1998-12-21 CLANGER: an interpreted systems programming language 1994-10-21 Timothy Roscoe Addressing the Selective Superiority Problem: Automatic Algorithm/Model Class Selection 1995-08-02 Carla E. Brodley FERMILAB-PUB-94/116-E CDF/PUB/TOP/PUBLIC/2595 June 13, 1994 1997-04-28 Massive Dilaton and Topological Gravity 1998-05-23 Hoseong La Simulating Creativity in Jazz Performance 1998-12-31 The Amulet Environment: New Models for Effective User Interface Software Development 1997-05-19 Computational Tools for Dynamical Systems: An Overview 1995-09-19 John Guckenheimer Teaching C/C++ to Computer Science Students with Pascal Programming Experience 1998-09-27 Annealed Importance Sampling 1998-09-01 Radford M. Neal ReAligner: A Program for Refining DNA Sequence Multi-Alignments 1997-04-22 A PCI based Network Interface Controller for IEEE 1355 DS Links 1998-03-11 Identification of System Behaviours by Approximation of Time Series Data 1997-05-15 Mining in the Phrasal Frontier 1997-04-23 Visiometric Analysis of Ratcheting Motion in Premixed Flames 1970-01-01 Seldin, Jonathan P., "Reasoning in Elementary Mathematics". 1998-11-23 Jonathan P. Seldin Throughput of Existing Multiprocessor File Systems An Informal Study 1998-12-27 David Kotz Workshop Summary: Computational and Complexity Issues in Automated Verification 1996-12-03 Hyper-Systolic Parallel Computing 1998-05-14 Utilizing Behavioral Abstractions to Facilitate Maintenance during Class Evolution 1998-01-22 Linda M. Keszenheimer Efficiently Executing Information Gathering Plans 1998-05-19 Implementing MPI: the 1994 MPI Implementors' Workshop 1994-09-30 Ewing Lusk Central Limit Theorem For Deterministic Systems 1997-04-28 Carlangelo Liverani On Uniqueness of the Jump Process in Event Enhanced Quantum Theory 1998-05-25 Reasoning About Norms Provided By Conflicting Regulations 1998-07-20 Laurence Cholvy A Mechanism and Experimental System for Function-Based Sharing in Federated Databases 1999-01-18 On the number of limit cycles of the Li'enard equation 1997-04-28 Human Error Recontextualised 1997-04-25 by M. Mangano at CERN and T. Trippe at LBNL 1996-07-23 A Foreign Vocabulary Learning Aid For The Networked World Of Tomorrow: The LEARN Project 1997-08-05 Demeter User's Guide Version 5.5 1995-05-17 Spill Code Minimization Techniques for Graph Coloring Register Allocators 1997-07-23 Peter E. Bergner Multi-Level Direction of Autonomous Creatures for Real-Time Virtual Environments 1995-09-27 Message Swatch 1998-11-20 Nitin Sawhney What Object Attributes Determine Canonical Views? 1996-11-13 LInguistics, Nantes, France 1996-08-29 An Improved Lower Bound for the QRQW PRAM 1997-12-16 Philip D. Mackenzie A Type-Theoretic Approach to Higher-Order Modules with Sharing 1998-09-23 pLab - a System for Testing Random Numbers 1970-01-01 Hannes Leeb Sigma<... 1997-09-23 Oscillatory Properties Of Solutions Of Second Order Nonlinear Neutral Differential Inequalities With Oscillating Coefficients 1995-11-17 Fail-Stop Protocols: An Approach to Designing Secure Protocols 1998-09-28 Li Gong The Effects of Resource Limitations on Program Parallelism 1999-02-07 An Architecture for Active Networking 1996-09-27 An approach Towards the Simulation of the ATM Switches 1996-07-03 The Verlinde formula for PGL 1997-01-20 Large deviations in the van der Waals limit 1997-05-16 Equational Properties of Mobile Ambients 1999-02-10 Computational and Complexity Results for an Interior Point Algorithm on Multicommodity Flow Problems Extended Abstract 1999-02-05 The Impact of Communication Locality on Large-Scale Multiprocessor Performance 1992-04-20 Kirk L. Johnson DynSys3D: A workbench for developing advanced visualization techniques in the field of three-dimensional dynamical systems 1996-11-04 Engineering Realistic Software in a University Environment 1998-05-08 Dynamic Discourse Referents for Tense and Modals 1997-06-10 Matthew Stone Pitch-Based Streaming In Auditory Perception 1999-01-17 Stephen Grossbergy Social Entropy: a New Metric for Learning Multi-robot Teams 1997-03-25 Tucker Balch Throughput Maximization in a DS-CDMA System via Time Scheduling with Inter-Cell Interference Constraints 1998-04-02 Consistent Query Answers in Inconsistent Databases 1999-03-10 Signal Processing Using Mhdl 1995-12-15 Mark Kahrs An Exploration of Asynchronous Data-Parallelism 1994-04-25 On The Rate Of Convergence To Equilibrium For A System Of Conservation Laws Including A Relaxation Term 1996-08-12 Can You Tell Apart Spontaneous and Read Speech if You just Look at Prosody? 1995-11-03 Static Semantics of Message Sequence Charts 1999-01-28 M. A. Reniers An Ordered Theory Resolution Calculus 1997-05-24 Peter Baumgartner On Smoothing Methods for the P 0 Matrix Linear Complementarity Problem 1998-03-06 Parallel Inner Product-Free Algorithm for Least Squares Problems 1996-07-31 Tianruo Yang Recommendation For Space Data System Standards 1995-11-15 Evolution Strategies on Noisy Functions How to Improve Convergence Properties 1996-09-06 A Conceptual-Modeling Approach to Extracting Data from the Web 1998-04-18 The Weyl group as fixed point set of smooth involutions 1996-07-18 Communicated G. Mauceri An Approximate Solution to the Metric SSTRESS Problem in Multidimensional Scaling 1998-10-07 Complete Removal of Redundant Expressions 1998-10-08 Exact Solution of Long-Range Interacting Spin Chains with Boundaries 1998-05-23 An Execution Scheme for Interactive Problem-Solving in Concurrent Constraint Logic Programming Languages 1998-10-22 Backward Stability of the QR Algorithm 1998-09-17 Genetic Search for Object Identification 1998-08-18 Hierarchical Meshes for Volume Data 1998-02-10 Visualisations of Large Object-Oriented Systems 1996-01-02 Fine Spectra and Limit Laws II. First-Order 0-1 Laws 1998-01-13 Exceptions to the Multifractal Formalism for Discontinuous Measures 1998-03-05 Issues in Using Function Approximation for Reinforcement Learning 1998-09-29 A Formal Basis for Structured Multimedia Collaborations 1995-03-14 An Application of Machine Learning to Anomaly Detection 1997-06-19 Present and Future Searches With E 1998-05-15 Janusz Rosiek Towards a New Operating System Architecture: Micro Kernel vs. Reflective Architecture 1994-10-10 Design of the 6.5 m MMT adaptive optics system, and results from its prototype system FASTTRAC II 1996-06-19 Automatic Measurement of Vertebral Shape Using Active Shape Models 1996-11-05 On the Momentum Term in Gradient Descent Learning Algorithms 1998-08-13 Ning Qian Toward A Multilevel Secure Relational Data Model 1998-09-14 Sushil Jajodia An Adjustable Gradient Filter for Volume Visualization 1993-04-13 Michael E. Goss On the Correspondence Between Description Logics and Logics of Programs 1994-10-20 Maurizio Lenzerini Comparison Of Partitioning Techniques For Two-Level Iterative Solvers On Large, Sparse Markov Chains 1998-03-29 Parametricity as Isomorphism 1993-10-03 Edmund Robinson Qcd Renormalons And Higher Twist Effects 1998-05-15 V. M. Braun Efimov States In Halo Nuclei 1998-05-23 Sliding Modes In Intersecting Switching Surfaces, Ii: Hysteresis 1998-08-25 Periodic Optimal Trajectories with Singular Control for Aircraft with High Aerodynamic Efficiency 1997-05-22 Robust Real-Time Lane and Road Detection in Critical Shadow Conditions 1995-08-21 Alberto Broggi CWI Kruislaan 413 1098 SJ Amsterdam The Netherlands 1998-06-29 Hierarchical B-Splines 1995-07-19 Rainer Kraft The Notion of Dynamic Unit: Conceptual Developments in Cognitive Science 1998-10-30 Mellin Transforms and Asymptotics: The Mergesort Recurrence 1996-07-06 Mordecai Golin Protocols Among Computational Agents: Towards a Model based on the Success and Satisfaction 1997-08-27 The Inverse Electromagnetic Scattering Problem for an Anisotropic Medium 1997-10-09 David Colton Timing Problems in Real-Time Control Systems 1995-03-13 Adaptive Confidence And Adaptive Curiosity 1992-06-12 Jurgen Schmidhuber The Divide-and-Conquer Paradigm as a Basis for Parallel Language Design 1996-03-06 Tom Axford Quantitative Comparison of Languages 1998-09-24 An Approach to Automatic Construction of Graphical User Interfaces for Applications in Scientific Computing 1996-10-07 Vadim Engelson Constraint Programming 1997-09-03 Correlation Between a Deep Hole Trap and the Reverse Annealing . . . 1997-07-07 Rose/cern Rd Collaboration Book Review: Marvin L. Minsky and Seymour A. Papert. Perceptrons: An Introduction to. . . 1990-10-23 Learning Stable Concepts in a Changing World 1996-08-11 Generalized Multiresolution Analysis for Arc Splines 1998-01-31 Johannes Wallner Special Surface Transition: Massive Field Theory And Critical Exponents In Three Dimensions 1997-07-30 Formal Verification of an Oral Messages Algorithm for Interactive Consistency 1998-08-24 John Rushby Group Priority Scheduling 1996-02-21 An Adaptive WTA using Floating Gate Technology 1997-05-15 Continuous Formal Systems: A Unifying Model in Language and Cognition 1995-07-03 Bruce J. Maclennan Computing Accurate Eigensystems of Scaled Diagonally Dominant Matrices 1997-10-01 MeDoc Information Broker - Harnessing the Information in Literature and Full Text Databases 1996-10-08 Quasi-metrics and the Semantics of Logic Programs 1997-12-19 Anthony Karel Seda Manhattan Channel Routing is NP-Complete under Truly Restricted Settings 1999-04-02 A Note on the Characterization of the Global Maxima of a Tangentially Convex Function Over a Convex Set 1996-06-24 Yuri S. Ledyaev The Alewife CMMU: Addressing the Multiprocessor Communications Gap 1994-05-03 Hierarchical Genetic Programming using Local Modules 1998-12-23 Designing Networks with Bounded Pairwise Distance 1999-02-17 Using Static Analysis To Derive Imperative Code From Alpha 1995-09-09 Analysis of a new Red-Black Ordering for Gauss-Seidel Smoothing in Cell-Centred Multigrid 1996-06-22 Thor Gjesdal An Elementary Proof of the Strong Converse Theorem for the Multiple-Access Channel 1998-07-08 Rudolf Ahlswede Complexity Issues in Coding Theory 1997-10-30 Efficient Closure Utilisation by Higher-Order Inheritance Analysis 1998-05-05 Markus Mohnen TS/Scheme: Distributed Data Structures in Lisp 1994-11-18 Background to Qualitative Decision Theory 1999-01-29 Anisotropic Random Walks and the Asymptotically One-Dimensional Diffusions on the Abc-Gaskets 1997-04-26 Tetsuya Hattori A Weight Discretization Paradigm for Optical Neural Networks 1993-02-11 Overview of the JUMP-1, an MPP Prototype for General-Purpose Parallel Computations 1995-04-13 On Sliding Window Schemes For Discrete Least-Squares Approximation By Trigonometric Polynomials 1998-06-09 Heike Fassbender Extent-like Performance from a UNIX File System 1993-03-10 From Term Rewriting to Generalised Interaction Nets 1996-07-16 Ian Mackie The Relationship Between Abduction and Changes in Belief States 1998-04-08 Two Generalizations of Koml'os' Theorem with Lower Closure-Type Applications 1996-06-24 Using Parsed Corpora for Structural Disambiguation in the TRAINS Domain 1996-03-07 Task-based Multi-agent Coordination for Information Gathering 1997-02-27 Graphical Presentations of Interactive Systems 1999-02-07 Don't Use the Page Number, But a Pointer to It 1997-01-24 Approaches to Self-Explanation and System Visibility in the Context of Application Tasks. 1997-05-28 Collecting Trash: A Test of Purposive Vision 1995-03-07 Table of 1995-11-28 Reference Sc Nrev supersedes A Geometric Approach to Perturbation Theory of Matrices and Matrix Pencils. Part I: Versal Deformations 1999-02-03 Real-Time Interactive Terrain Rendering 1995-12-27 Predicate Invention and Utilisation 1998-07-07 Parsing of Spoken Language under Time Constraints 1994-10-11 Efficient Runtime Support for Cluster-Based Distributed Shared Memory Multiprocessors 1998-09-04 Dealing With Multi-Source Information in Possibilistic Logic 1997-06-27 A General Framework for Reinforcement Learning 1995-09-11 Optimal Quantum Trajectories for Discrete Measurements 1997-09-07 Beamforming Illustrations 1997-08-11 John A. Stine Hardware-Software Codesign of Resource-Constrained Real-Time Systems 1996-08-16 Integrating Database Homology in a Probabilistic Gene Structure Model 1997-02-06 A Unifying Framework for Concatenation Based Grammar Formalisms 1996-01-19 Annius V. Groenink Possibly Optimal Decision-Making Under Self-sufficiency and Autonomy 1998-10-05 TECHNICAL NOTE: THE MARS CLIMATE DATABASE IMPROVED LARGE SCALE VARIABILITY MODEL ESTEC Contract 11369/95/NL/JG 1997-09-15 M. Collins Normalized Performance Indices For Message Passing Parallel Programs 1998-06-02 Better Operating System Features for Faster Network Servers 1998-05-16 Weak* Sequential Compactness and Bornological Limit Derivatives 1995-10-27 Bayesian Face Recognition using Deformable Intensity Surfaces 1996-03-15 Real-Time Case-Based Reasoning in a Complex World 1996-02-22 Mark J. Fasciano Exponential Generalizations from a Polynomial Number of Examples in a Combinatorial Domain 1999-04-05 An ASM Specification of the Operational Semantics of MIS 1998-11-06 Facial Feature Extraction using Deformable Graphs and Statistical Pattern Matching 1999-03-29 Anderson Localization in the Sky and Cosmological Magnetic Field 1998-05-25 Akio Hosoya Efficient Detection of Spurious Inputs for Improving the Robustness of MLP Networks in Practical Applications 1997-04-29 Name-It: Association of Face and Name in Video 1997-06-03 Takeo Kanade Design and Implementation of Reflective SQL Extended Abstract 1996-02-23 An Environment for DEVS-Based Multi-Formalism Modeling and Simulation in C++ 1996-03-01 Herbert Praehofer On the Convolution Type Kernel Regression Estimator 1996-05-06 Eva Herrmann Darmstadt ICC++ - A C++ Dialect for High Performance Parallel Computing 1995-07-07 Singularly Perturbed and Non-Local Modulation Equations for Systems With Interacting Instability Mechanisms 1997-05-30 Overview of TREC-7 Very Large Collection Track 1999-02-08 Multipath E-Cube Algorithms MECA for Adaptive Wormhole Routing and Broadcasting in 1995-03-21 On the Depth of Randomly Generated Circuits 1996-07-24 Tatsuie Tsukiji Automatic Processing of Parallel Corpora: A Swedish Perspective 1998-09-09 Mining Pits Optimization 1997-04-04 Multigrid Preconditioning In 1997-03-03 A Multilevel Preconditioner for Domain Decomposition Boundary Systems 1993-04-02 Specification, CCITT Recommendation X.224 ISO 8073, Blue Book Vol. VIII, Fascicle VIII.5, Geneva, 1989 X.227 1992-05-26 Efficient Labelling and Constraint Relaxation for Solving Time Tabling Problems 1998-09-29 P. Boizumault Bayesian CART 1996-06-11 Orientation Invariant Light Source Parameters 1996-02-19 Efficient Algorithms for Assigning Chain-like Tasks on a Chain-like Network Computer 1995-03-21 Speech Beyond 10 milliseconds Temporal Filtering in Feature Domain 1995-12-22 Hynek Hermansky Supporting Fine-Grained Synchronization on a Simultaneous Multithreading Processor 1998-11-11 , Narendra Jussien 1998-09-29 An Expert System For The Development Of New Telecommunications Services 1999-01-20 I-COLLIDE: An Interactive and Exact Collision Detection System for Large-Scale Environments 1997-09-03 Fermi-Walker coordinates in 2+1 dimensional gravity 1998-05-12 Faster Joins, Self-Joins and Multi-Way Joins Using Join Indices 1998-03-05 An Efficient Processor-Network Interface for Local Area Multiprocessors 1995-11-06 The Spectro-Microscopy Collaboratory: Design Overview of a Prototype Virtual Laboratory 1995-06-12 An API for Choreographing Data Accesses 1970-01-01 On the second adjunction mapping. The case of a 1-dimensional image 1996-04-24 Vectorized Algorithms for Natural Cubic Spline and B-Spline CurveFitting* 1995-01-27 Computerization of Lexicographical Activity on the New Oxford English Dictionary 1995-03-21 Performance Evaluation of Parallel Systems 1999-01-14 VHDL Generation from Hierarchical Petri Net Specifications of Parallel Controllers 1996-12-12 Miguel Fern Parabolic Iterated Function Systems 1998-05-13 R. D. Mauldin On the Spacefilling Curve Heuristic for the Euclidean Traveling Salesman Problem 1995-05-24 Fast Practical Evolutionary Timetabling 1998-04-26 Russian Doll Search for Solving Constraint Optimization Problems 1997-11-04 Mosaicing with Generalized Strips 1997-05-26 A Pattern System for Network Management Interfaces 1997-08-01 Using a Neural Network to Learn General Knowledge in a Case-Based System 1995-11-21 Audio Cues For Graphic Design 1992-02-24 Production Grammars, Machines and Syntactic Translation 1997-10-08 Riccardo R. Pucella The Optimal Population Size for Uniform Crossover and Truncation Selection 1995-01-12 Property Specification Patterns for Finite-State Verification 1997-12-11 RTSQL: Extending the SQL2 Standard to Support Real-Time Databases 1996-06-24 Preconditioned Conjugate Gradient-Like Methods for Nonsymmetric Linear Systems 1970-01-01 Ulrike Meier Yang A Note on Karmarkar's Projective Transformation 1995-09-22 Nimrod Megiddo Conjunctive Query Containment Revisited Extended Abstract 1996-10-03 Nearest Neighbor Algorithms for Load Balancing in Parallel Computers 1995-09-01 Controlling Distortions In Maximally Decimated Filter Banks 1996-06-18 FLIP++ A fuzzy logic inference processor library 1997-05-20 A Layered Approach to Learning Client Behaviors in the RoboCup Soccer Server 1997-12-17 Software Reliability Engineering 1997-09-22 Mladen A. Vouk MPP Solution of Rayleigh - Benard - Marangoni Flows. 1997-06-04 Unsupervised Fuzzy Classification of Multispectral Imagery Using Spatial-Spectral Features 1998-04-06 Rafael Wiemker Mean Squared Errors Of Prediction By Kriging In Linear Models With AR1 Errors 1995-05-25 F. Stulajter Attributes $/sq. Ft. in Area 10% 10 Attributes... 1997-11-11 From Parallel To Sequential: Keeping Optimality In Algorithms 1994-12-19 Omega-MKRP - A Proof Development Environment 1994-07-11 Prior Knowledge And The Creation Of "Virtual" Examples For RBF Networks 1998-08-31 Starving accretion disks in the center of galaxies: The examples of Sgr A* and M31 1999-01-27 On the Existence of Statistically Hiding Bit Commitment Schemes and Fail-Stop Signatures 1996-09-20 A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems 1996-01-23 Some Symmetry Remarks on the Ground State Configurations of the Two Dimensional Bosonic Falicov-Kimball Model 1997-04-26 J. Rodrigo Parreira Combining Top-down and Bottom-up approaches for ROBDD Construction 1996-02-15 Incremental Model Checking in the Modal Mu-Calculus 1999-01-29 How Misleading Can Sample Acf's Of Stable Ma's Be? very! 1999-02-18 A Bayesian Video Modeling Framework for Shot Segmentation and Content Characterization 1997-09-05 Nuno Vasconcelos Lossless Compression Algorithms for Smart Cards: A Progress Report 1997-07-02 Modelling Grammar Growth; Universal grammar without innate principles or parameters 1998-10-11 Georgia M. Green Using Constraints To Achieve Stability In Automatic Graph Layout Algorithms 1996-07-28 Fluid Approximations for a Processor-sharing Queue 1970-01-01 Existence Of Invariant Tori For Non Hamiltonian Perturbations Of Integrable Systems 1997-04-26 Orientable Textures for Image-Based Pen-and-Ink Illustration 1997-05-15 Enhanced Analysis of Cache-related Preemption Delay in Fixed-priority Preemptive Scheduling 1998-05-28 Asymptotic Waveform Evaluation via a Lanczos Method 1970-01-01 Limitations of Geometric Hashing in the Presence of Gaussian Noise 1994-02-08 Karen B. Sarachik High-Level Fault Tolerance in Distributed Programs 1995-01-26 Time delay of QSO 0957+561 and cosmological implications 1997-10-24 Solutions of Functorial and Non-Functorial Metric Domain Equations 1998-01-20 Efficient Data Layout, Scheduling and Playout Control in MARS 1997-07-22 Line And Plane Separators 1994-10-08 A Non Parametric Model for the Cosmic Velocity Field 1999-04-12 Quantitative Analysis of Tremor Time Series 1998-05-02 Goal-Driven Similarity Assessment 1999-03-22 An Integrated Processor Management Scheme for the Mesh-Connected Multicomputer Systems 1998-09-07 Garbage Collection using a Dynamic Threatening Boundary 1993-07-31 Alternative Archaeological Representations within Virtual Worlds 1998-10-23 Implementing Pipelined Computation and Communication in an HPF Compiler 1996-06-26 Thomas Brandes Integrating Synchronous Multimedia Collaboration into Workflow Management 1997-12-16 A Typed Functional Language Based on Sequent Calculus 1994-06-01 Mark Tarver Learning Appearance Models for Object Recognition 1996-10-04 Electronic Structure Calculations In Plane-Wave Codes Without Diagonalization 1998-10-12 Text Compression Using Antidictionaries 1998-10-28 VC Dimension of Sigmoidal and General Pfaffian Networks 1995-11-27 A Realistic Environment for Crypto-Protocol Analyses by ASMs 1998-09-09 Giampaolo Bella EDA and the Network 1998-04-04 Protein Folding: Symbolic Refinement Competes with Neural Networks 1995-10-26 Connecting Mobile Workstations to the Internet over a Digital Cellular Telephone Network 1994-12-23 A Multi-objective Approach to Constrained Optimisation of Gas Supply Networks: The COMOGA Method 1995-08-01 A Reliable Storage Server for Distributed Cooperative Applications 1995-03-10 Belief Functions and Default Reasoning 1998-03-26 The Translation Objective in Automatic Dialogue Interpreting 1996-09-30 Birte Schmitz A Developmental Model for the Evolution of Complete Autonomous Agents 1996-05-09 Lower Bounds on Messages and Rounds for Network Authentication Protocols 1998-09-26 Li Gong Horizontal and Vertical Decomposition in Interior Point Methods for Linear Programs 1995-09-22 Functional Tests for Scan Chain Latches 1995-08-09 Computing Approximating Automata for a Class of Linear Hybrid Systems 1999-03-20 Extraction Of Features For Indexing Mpeg-Compressed Video 1998-04-15 Cellular Neural Networks Defined On Log-Polar Grids For Artificial Vision 1997-12-15 Marco Balsi Programming Satan's Computer 1995-06-17 A modular approach to the construction of Multi-Triangulations 1999-01-18 Hidden Markov decision trees 1998-08-13 Interacting Quantum Fields on a Curved Background 1998-03-11 Convexity of the Joint Numerical Range 1998-12-08 Chi-kwong Li Effective Heterogenous Design And Co-Simulation 1997-11-11 Simple Algorithms for Routing on Butterfly Networks with Bounded Queues 1996-10-27 Emergence of Space-Time on the Planck Scale described as an Unfolding Phase Transition within the Scheme of Dynamical Cellular Networks and Random Graphs 1997-04-26 Manfred Requardt OPERA: A Toolbox for Loop Parallelization 1996-03-15 Quantum Dynamics Beyond the Gaussian Approximation 1998-05-12 The Design for the Amulet User Interface Toolkit 1995-01-20 Software Reuse in High Performance Computing 1995-05-09 A Multimedia Title DEVELOPMENT ENVIRONMENT MTDE 1997-09-18 Evolving Fuzzy Neural Networks: Theory and Applications for On-line Adaptive Prediction, Decision Making and Control 1999-02-02 Nikola Kasabov Bipartite Sandwiches 1999-03-31 Dmitrii V. Pasechnik Hybrid Static-Dynamic Communication Scheduling For Parallel Systems 1997-03-19 Synaptic Pruning in Development: A Novel Account in Neural Terms 1997-01-22 Fanoian, Pappian and Desarguesian Affine Spaces 1999-02-03 Likelihood Calculation for a Class of Multiscale Stochastic Models, with Application to Texture Discrimination 1994-04-09 Metric Constraints for Maintaining Appointments: Dates and Repeated Activities 1996-08-30 Geometric Bounds in Spherically Symmetric General Relativity 1998-05-05 Decision Making with Multiple Goals: Extending the Threshold Approach 1996-09-14 ... Optimal Training Algorithms and their Relation to Backpropagation 1996-02-08 Corrections To The Green Functions Of Random Matrices With Independent Entries 1997-04-26 Sensor-Based Motion Planning for Highly Redundant Kinematic Structures: II. The Case of a Snake Arm Manipulator 1996-09-30 A short course on the Lie theory of Semigroups II Lie Semialgebras 1995-08-21 Anselm Eggert A Hierarchical Fair Service Curve Algorithm for Link-Sharing, Real-Time and Priority Services 1997-08-06 CHATR: a Generic Speech Synthesis System 1995-03-20 Algorithms for Weak Epsilon-Nets 1995-05-24 Wavelet Multiresolution Analyses adapted for the Fast Solution of Boundary Value Ordinary Differential Equations 1997-12-19 COP - Cache Optimization Tools for Scientific Computing 1997-07-14 Boleslaw K. Szymanski Power of Low-l Solar Oscillations and Solar Activity 1998-07-17 Classification of biomedical time-series using the Stationary Wavelet Packet Algorithm 1997-05-04 Simulation and Planning of an Intermodal Container Terminal 1998-08-13 CBR in Design: Towards more creative system using adaptation knowledge 1998-06-17 A Multi-Agent System for Distributed Information Retrieval on the World Wide Web 1997-07-04 Minimalism + Distribution = Supermodularity 1996-07-23 L E C T R O N I C 1998-10-02 Zhan Shi Evaluating the Performance of Cache-Affinity Scheduling in Shared-Memory Multiprocessors 1997-02-07 Data Structures for Irregular Applications 1996-02-21 Sharing Multimedia Information: a basis for assisted remote training 1970-01-01 A Non-quasiconvex Subgroup of a Hyperbolic Group with an Exotic Limit Set 1995-12-19 Ilya Kapovich Run Length Control Using Parallel Spectral Method 1995-03-17 Kimmo E. E. Raatikainen Evaluation of data aging: A technique for discounting old data during student modeling 1998-04-08 Index Selection for OLAP 1999-02-25 How Software Engineering Tools Organize Programmer Behavior During the Task of Data Encapsulation 1997-03-28 Event Tracking In A Dynamic Multi-Agent Environment 1995-05-16 Optimal Taxation without State-Contingent Debt 1999-01-16 Copyright C 1998-07-18 Functional Explanations in Design 1997-04-22 Multi-Dimensional Mapping of Design Imprecision 1996-08-22 Byrav Ramamurthy 1998-09-28 Simulated Dynamics of Underpotential Deposition of Cu with Sulfate on Au111 1997-10-10 A New Approach To Perturbative Theory In The Nonperturbative Qcd Vacuum. 1998-05-14 D. V. Antonov Light-Front QCD andHeavy Quark Systems 1997-05-05 Wei-min Zhang The Role of Trace Modulation in Building Mobile Computing Systems 1997-05-29 Performance Analysis and True Concurrency Semantics 1995-09-18 A Methodology to Implement Gourlay's Mathematical Framework for the Investigation of TestingJune 16, 19931 1994-06-28 Measuring Radial Velocities Of Orion Association Members Using The Uk Schmidt Flair. 1998-03-25 Nonperturbative Corrections to the Dilepton Cross Section 1998-05-23 A Framework for Semi-Automated Parallel Program Transformation 1995-11-19 OMPI: Optimizing MPI programs using Partial Evaluation 1996-10-04 Multilevel Norms for . . . 1998-09-10 On multi-directional search in Optimization 1997-06-06 Automatic Bottleneck Detection 1970-01-01 Information And Its Metric 1996-09-18 Thread Placement on the Intel Paragon: Modeling and Experimentation 1995-11-12 Extracting Group Transformations from Image Moments 1999-04-19 Looped Schedules For Dataflow Descriptions Of Multirate Signal Processing Algorithms 1994-11-07 Loss Correlation for Queues with Single and Multiple Input Streams 1992-08-05 The Evolution of Blackboard Control Architectures 1997-09-26 ILUS: An Incomplete LU Preconditioner in Sparse Skyline Format 1998-03-03 A compendium of NP optimization problems 1998-08-31 A Gross-Zagier formula for function fields 1998-05-13 Hans-georg Ruck An Example of Fourier Transforms of Orbital Integrals and their Endoscopic Transfer 1998-01-22 Ulrich Everling Rationale-Supported Mixed-Initiative Case-Based Planning 1997-04-01 Shasta: A Low Overhead, Software-Only Approach for Supporting Fine-Grain Shared Memory 1996-07-19 Optimization of the Beampattern of 2D Sparse Arrays by Weighting 1999-02-12 Flexible Network Support for Mobility 1998-09-03 An Electroid Switching Model for Reversible Computer Architectures 1996-05-29 J. Storrs Hall Process Automation in Semiconductor Manufacturing: Issues and Solutions 1996-01-08 Self--Adaptation in Genetic Algorithms 1994-09-06 Thomas Back Stable Solutions for Dynamic Constraint Satisfaction Problems 1997-12-08 Corrections To The Critical Temperature In 2D Ising Systems With Kac Potentials 1997-04-26 Context-Dependent Classes in a Hybrid Recurrent Network-HMM Speech Recognition System 1996-02-21 Stability of the Diagonal Pivoting Method with Partial Pivoting 1996-02-01 The Ratio of the Extreme to the Sum in a Random Sequence with Applications 1995-09-01 Using a Textual Representational Level Component in the Context of Discourse Or Dialogue Generation 1997-02-25 Franck Panaget AND/OR Reasoning Graphs for Determining Prime Implicants in Multi-Level Combinational Networks 1996-12-01 A Hash-Based Approach for Computing the Transitive Closure of Database Relations 1994-11-17 Inductive Bias in Context-Free Language Learning 1999-05-05 Brad Tonkes On Associated Graded Rings Having Almost Maximal Depth 1997-09-02 Sam Huckaba Coordinating Multiagent Applications on the WWW: A Reference Architecture 1998-04-27 Using Scheduler Information to Achieve Optimal Barrier Synchronization Performance 1994-08-22 A Bridge Between Modal Logics and Contextual Reasoning 1995-04-13 Fabio Massacci Improved HMM Training and Scoring Strategies with Application to Accent Classification 1999-04-28 Learning to Forget: Continual Prediction with LSTM 1999-04-29 Learning DFA from Simple Examples 1998-12-13 Richard T. Whitcomb Receives First Jacobs Lectureship Award 1996-01-22 Richard T. Whitcomb Receives Data Mining In Temporal Databases 1998-12-07 Implications of Creation 1994-09-28 David E. Hiebeler Data Mining and Database Systems: Where is the Intersection? 1998-09-01 Surajit Chaudhuri Kazhdan-Lusztig Polynomials For Certain Varieties Of Incomplete Flags 1997-08-11 A. Vainshtein Single Phase Flow In Partially Fissured Media 1997-04-30 Second-Order Analysis of Lossless and Lossy Versions of Lempel-Ziv Codes 1998-08-11 Ioannis Kontoyiannis A Java Signal Analysis Tool For Signal Processing Experiments 1998-02-03 Defining Normative Systems for Qualitative Argumentation 1996-03-08 Simon Parsons Toward a Practical Methodology for Completely Characterizing the Optimal Design Space 1997-01-15 Restricted Routing and Wide Diameter of the Cycle Prefix Network 1999-03-12 Efficient Formulation for Optimal Modulo Schedulers 1997-03-06 Early Experiences in Evaluating the Parallel Disk Model with the ViC* Implementation 1970-01-01