A Belief-Function Logic 1995-04-08 Alessandro Saffiotti The IRAF Spectroscopy Reduction Packages and Tasks 1994-02-08 F. Valdes Taguchi Approach To Design Optimization For Quality And Cost: An Overview 1995-03-10 Consistency and Transaction Management in a Mobile Computing Environment 1994-01-10 Grain Dynamics In Photodissociation Regions 1998-12-30 J. C. Weingartner Plausibility Measures and Default Reasoning 1999-02-11 Boltzmann Chains and Hidden Markov Models 1995-01-28 Undergraduate AI and its Non-imperative Prerequisite 1998-08-27 An Agent-Based Approach to the Design of Rapidly Deployable Fault Tolerant Manipulators 1996-09-09 Christiaan J. J. Paredis Improving the Quadratic Objective Function in Module Placement 1993-01-19 Representing Type Information in Dynamically Typed Languages 1994-04-18 David Gudeman Application of a Para-Functional Language to Problems in Computer Algebra 1996-02-13 Wolfgang Schreiner Reachability Analysis of Pushdown Automata: Application to Model-Checking 1997-04-30 Melnikov Potential for Exact Symplectic Maps 1997-04-26 Downward Separation Fails Catastrophically for Limited Nondeterminism Classes 1995-01-04 Essential Instability of Pulses, and Bifurcations to Modulated Travelling Waves 1998-01-28 Annai/PMA Instrumentation Intrusion Presentation 1996-09-03 Distribution Strategies for Persistent Java 1998-11-25 S. Spence Exchange Energy Representations in Computational Micromagnetics 1997-11-08 Counting Classes: Thresholds, Parity, Mods, and Fewness 1996-06-10 NPS: User-level Real-Time Network Engine on Real-Time Mach 1994-11-09 Tatsuo Nakajima Deliberate Evolution in Multi-Agent Systems 1999-01-12 Unknown 1999-02-08 Mid-Level Networks Potential Technical Services 1992-02-25 Vikas Aggarwal Can Gravity Play a Role At the Electroweak Scale? 1998-05-14 Jeffrey Dean 1996-01-17 Jeffrey Dean Integrating Obstacles in Goal-Driven Requirements Engineering 1999-02-11 Collaboration On Reference To Objects That Are Not Mutually Known 1996-06-05 Philip G. Edmonds ExploitingDomain-Specific Properties: Compiling Parallel Dynamic Neural Network Algorithms into Efficient Code 1999-03-17 Region Analysis: A Parallel Elimination Method for Data Flow Analysis 1997-11-09 Le 2110 Ecran 1997-03-26 SP-EPRCA: an ATM Rate Based Congestion Control Scheme based on a Smith Predictor 1999-03-27 A Senone Based Confidence Measure For Speech Recognition 1997-08-29 Implementing Protection Domains in the Java Development Kit 1.2 1998-09-26 Wavelet Estimation For Samples With Random Uniform Design 1998-08-03 Learning to Predict Through Probabilistic Incremental Program Evolution and Automatic Task Decomposition 1998-05-10 Jurgen Schmidhuber What's in an Instance? 1996-10-17 A Calculus Of Broadcasting Systems 1995-10-06 K. V. S. Prasad A Parallel Interior Point Method for Stochastic Linear Programs 1997-08-11 Formal Business Process Engineering Based on Graph Grammars 1999-01-24 Christoph Klauck A Formal Verification of the Alternating Bit Protocol inµCRL 1994-11-30 Gertjan Kamsteeg Research Report 1996-12-03 Closure generation based on viewing LAMBDA as EPSILON plus COMPILE 1996-05-16 Multiprogrammed Parallel Application Scheduling in NUMA Multiprocessors 1994-11-28 Timothy Benedict Brecht Solaris MC File System Framework 1998-11-25 Thresholding Of Wavelet Coefficients As Multiple Hypotheses Testing Procedure 1997-10-14 The Design and Analysis of Efficient Lossless Data Compression Systems 1994-02-17 Paul Glor Howard ECLIPS: An Extended CLIPS For Backward Chaining and Goal-Directed Reasoning 1996-02-17 Reasoning about Action in Polynomial Time 1998-02-14 Using State Space Exploration and a Natural Deduction Style Message Derivation Engine to Verify Security Protocols 1999-01-15 Analysis and Implementation of Hybrid Switching 1970-01-01 Bimodal System for Interactive Indexing and Retrieval of Pathology Images 1998-08-05 A Fast Algorithm For Multi-Pattern Searching 1995-06-14 Modeling Growth with L-Systems&Mathematica 1996-05-08 Safely Sliding Windows 1970-01-01 Dirk Henkel Navigation for Everyday Life 1996-03-08 How to Derive Conveyed Meanings 1996-11-27 Measurements Of Omega and Lambda from 42 High-Redshift Supernovae 1998-12-08 A Predicate-based Caching Scheme for Client-Server Database Architectures 1994-07-12 Local Conditions for Edge-Colouring of Cographs 1999-01-21 Controlled Camera Motions for Scene Reconstruction and . . . 1999-01-06 Eric March A Complexity Analysis of Bisimilarity for Value-Passing Processes 1997-10-04 Wechsler, H. 1990. 1997-02-11 MAXPLAN: A New Approach to Probabilistic Planning 1998-11-03 Sketching Storyboards to Illustrate Interface Behaviors 1996-03-28 Structural Gate Decomposition for Depth-Optimal Technology Mapping in LUT-based FPGA 1996-01-05 R-Tree Based Indexing of Now-Relative Bitemporal Data 1998-06-13 A Deductive Object-Oriented Database For Data Intensive Application Development 1996-02-01 Clock Period Optimization During Resource Sharing and Assignment 1997-03-25 Dynamics of a Recurrent Network of Spiking Neurons Before and Following Learning 1997-07-01 Saliency Maps and Attention Selection in Scale and Spatial Coordinates: An Information Theoretic Approach 1996-11-09 Martin Jagersand Parallel Processing Approaches In Robotics 1997-05-09 Dominik Henrich Statistical issues raised by the Bellcore data N.G. Duffield 1994-03-18 Maximum-Weight Bipartite Matching Technique and Its Application in Image Feature Matching 1997-12-12 Consistent Timestamping for Transactions in Distributed Systems 1997-09-03 David Lomet Transfer and Architecture: Views from Chart Parsing 1994-05-19 Spanners and Message Distribution in Networks 1970-01-01 On the Relationship Between Formal Semantics and Static Analysis 1996-12-19 P. N. Benton Fault-Tolerant Implementation of Finite-State Automata in Recurrent Neural Networks 1996-03-14 Continuous Mandarin Speech Recognition Using Hierarchical Recurrent Neural Networks 1970-01-01 Yuan-fu Liao International Workshop on Description Logics 1999-03-17 Trigger System Design Requirements 1997-07-23 Pattern Smoothing for Compressed Video Transmission 1998-08-12 COFS - A cell oriented fault simulator 1995-05-29 Linear Projectors in the max-plus Algebra 1997-07-12 A Surveillance System Combining Peripheral and Foveated Motion Tracking 1998-10-08 Study of Scalable Declustering Algorithms for Parallel Grid Files 1998-09-05 Delay-Insensitive Carry-Lookahead Adders 1997-11-09 A Protocol Architecture for Guaranteed Quality of Service in Collaborated Multimedia Applications 1998-06-03 SORMA: Interoperating Distributed Robotics Hardware 1997-01-29 Jörg A. Walter Relative Equilibria of Molecules 1970-01-01 The Zebra Striped Network File System 1998-05-28 John Henry Hartman Linear Recursive Filters and Nonlinear Dynamics 1995-07-18 Locality-Based Scheduling for Shared-Memory Multiprocessors 1995-11-06 TRIPTYCH: An FPGA Architecture with Integrated Logic and Routing 1994-12-06 Large digraphs with small diameter: A voltage assignment approach 1996-12-09 Causal Relevance 1997-11-02 Glenn Shafer Global Elliptic Estimates on Symmetric Spaces 1997-05-14 Michael Ruzhansky Temperature Wind 1997-11-03 Asymptotics of Young Diagrams and Hook Numbers 1997-12-26 Naming Consistencies in Object Oriented Replicated Systems 1996-03-20 Termination Proofs for a Lazy Functional Language by Abstract Reduction 1996-06-03 Drawing Outerplanar Minimum Weight Triangulations short abstract 1995-10-28 William Lenhart Formalising Ruby in Isabelle ZF 1999-02-08 Ole Rasmussen An Evolutionary Approach to System-Level Synthesis 1997-11-03 An Analysis of a Cedar Implementation of DYFESM 1994-06-01 An Effective Conservation Result for Nonstandard Arithmetic 1999-02-24 Erik Palmgren An Extended Transaction Service for Real-Time and Telecom Object Request Brokers 1997-04-28 Ennio Grasso PEPP: Performance Evaluation of Parallel Programs 1993-06-28 Conformal Invariance and the exact solution of BFKL equations 1997-03-26 Cosmology with Clusters of Galaxies 1999-01-06 Neta A. Bahcall Generalization and Exclusive Allocation of Credit in Unsupervised Category Learning 1998-02-01 Computing Symmetric Functions with AND/OR Circuits and A Single MAJORITY Gate 1996-10-04 Ensuring Correct Rollback Recovery In Distributed Shared Memory Systems 1998-07-10 Catching the Boat with Strudel: Experiences with a Web-Site Management System 1998-03-15 Ranking Algorithms For Hamiltonian Paths In Hypercubic Networks 1998-10-06 Fred S. Annexstein Domain-Specific Keyphrase Extraction 1999-04-08 Optimizing Over All Combinatorial Embeddings of a Planar Graph Extended Abstract 1999-03-05 An Optimal, Stable Continued Fraction Algorithm for Arbitrary Dimension 1998-02-23 Contemporary Evolution Strategies 1996-01-24 Hans-paul Schwefel The development of BRIDGER: A methodological study of research on the use of machine learning in design 1995-02-12 Yoram Reich CFHT Widefield IR Imager 1998-11-13 David Crampton Authoring Structured Multimedia Documents 1998-12-07 A Note on the Tau-Method Approximations for the Bessel Functions Y 0 z and Y 1 z 1997-02-07 Jun Zhang World-Wide Web: An Information Infrastructure for High-Energy Physics 1992-05-07 The Influence of Random Delays on Parallel Execution Times 1996-08-06 Molecular Simulation: Understanding Polymer Gels at the Molecular Level 1998-06-17 A Distributed Infrastructure for Mobile Computing 1997-11-03 Chaotic cascades with Kolmogorov 1941 scaling 1997-04-26 A Modal Analysis of some Principles of the Provability Logic of Heyting Arithmetic 1998-09-17 R. Iemhoff Thesis Summary 1995-04-23 Wavelet Domain Image Restoration With Adaptive Edge-Preserving Regularization 1998-07-06 Combining and Representing Logical Systems 1997-06-20 Accurate Approximations for European Asian Options 1998-02-26 Towards Learning Dialogue Structures from Speech Data and Domain Knowledge: Challenges to Conceptual Clustering using Multiple and Complex Knowledge Source 1997-07-31 Limiting Cases of Impulsive Manipulation 1997-01-29 Realizing Changes of Operational Modes with a Pre Run-Time Scheduled Hard Real-Time System 1995-05-17 Gerhard Fohler Using Unicode with MIME 1994-11-18 MESSENGERS: Distributed Programming Using Mobile Autonomous Objects 1997-01-15 Reconciling Solar and Terrestrial Neutrino Oscillation Evidences With Minimum Sacrifice 1997-06-03 Planetesimal Dynamics 1993-09-28 Special Point Sets in Finite Projective Planes 1996-09-27 Aart Blokhuis Modeling Object Recognition as a Markov Decision Process 1996-11-13 Bruce A. Draper Local Greyvalue Invariants for Image Retrieval 1997-06-06 A Device For Generating Binary Sequences For Stochastic Computing 1996-11-28 Modal Characterization of Weak Bisimulation for Higher-order Processes Extended Abstract 1998-01-09 A Scalable Proportion-share Resource Allocator for Distributed Systems 1997-04-16 Diagnosis as a Constraint Satisfaction Problem 1995-06-23 John J. Kelly Iii Providing a Low Latency User Experience in a High Latency Application 1996-12-18 Home Migration in Home-Based Software DSMs 1999-04-24 A Concurrency Mechanism For Sequential Eiffel 1995-02-21 Structuring Decompiled Graphs 1997-03-03 Cristina Cifuentes Linear Continuations 1995-01-06 Andrzej Filinski Project Project: Tools for Program Analysis and Comprehension 1997-10-20 Applications of the Situation Calculus To Formalizing Control and Strategic Information: The Prolog Cut Operator 1998-09-11 Fangzhen Lin A Framework for Unifying Reordering Transformations 1998-09-05 Synthesizing Controllers for Nonlinear Hybrid Systems 1998-02-04 On TC 0 , AC 0 , and Arithmetic Circuits 1997-04-23 Factoring via Strong Lattice Reduction Algorithms 1998-02-23 Automatic Knowledge Acquisition for Creating Nuclear Juridical Lexica 1994-07-14 Polar Quantization Revisited 1998-08-08 Some Remarks on Protecting Weak Keys and Poorly-Chosen Secrets from Guessing Attacks 1994-11-22 A MATLAB Function for Plotting Phase Planes Interactively 1993-10-14 Maylis Delest 1996-01-17 Computing Multiple Image Motions 1998-07-06 Constructing Design Plans for DFA Redesign 1999-01-17 MythOS - A Micro-Kernel Threads Operating System 1995-12-16 Closed subgroups in pro-V topologies and the extension problem for inverse automata 1998-12-02 A Calculus for Predicative Programming 1995-04-03 A Simulation Of Growth Cone Filopodia Dynamics Based On Turing Morphogenesis Patterns 1998-02-02 Syntax + Prosody: A syntactic-prosodic labelling scheme for large spontaneous speech databases 1998-12-09 Dummynet: A Simple Approach to the Evaluation of Network Protocols 1997-06-30 Luigi Rizzo Fraud Detection Concepts: Final Report 1998-06-30 Phil Gosset Supporting the Restructuring of Data Abstractions through Manipulation of a Program Visualization 1998-05-24 Some Interesting Problems in Systems Theory which are of Fundamental Importance in Coding Theory 1997-11-20 Joachim Rosenthal Constraints on the Star Formation History from the Far-IR Background 1997-11-10 Conformal Measure And Decay Of Correlation For Covering Weighted Systems 1999-01-22 A Load Balancing Strategy for Iterated Parallel Loop Scheduling 1996-04-26 Salvatore Orlando On Solvinging Maxwellian Eigenvalue Problems For Accelerating Cavities 1999-02-23 Model Generation for Natural-Language Semantic Analysis 1999-03-22 Karsten Konrad Axiomatising Dynamic Logics for Anaphora 1998-09-10 Jan Van Eijck Parallel Evolutionary Algorithms: A Review 1999-02-15 Panagiotis Adamidis Multilevel Secure Rules: Integrating the Multilevel Secure and Active Data Models 1998-04-10 A Simulation Study of Fishway Design: An Example of Simulation in Environmental Problem Solving 1970-01-01 Vision-Motion Planning of a Mobile Robot considering Vision Uncertainty and Planning Cost 1997-09-18 Forcing Behavioral Subtyping Through Specification Inheritance 1995-12-22 Effects of Laser Phase Drift on Coherent Optical CDMA 1994-10-31 Efficient Context-Sensitive Pointer Analysis for C Programs 1995-08-02 Observational Proofs with Critical Contexts 1998-05-19 On the transition from the Ginzburg-Landau equation to the extended Fisher-Kolmogorov equation 1997-10-23 A Case Study in Applying a Systematic Method for COTS Selection 1996-05-15 Jyrki Kontio The Architecture of a Debugger for Lazy Functional Languages 1996-08-27 MULINEX - Multilingual Indexing, Navigation and Editing Extensions for the World-Wide Web 1997-06-21 W. Scott Reilly Joseph Bates June 1995 1995-06-16 Luby-Rackoff Backwards: Increasing Security by Making Block Ciphers Non-Invertible 1998-10-17 Photonic Band Gap Calculations: Inward And Outward Integral Equations And The KKR Method 1993-10-15 Alexander Moroz Complexity of Local Solution of Integral Equations 1997-03-27 Verifying Modal Formulas over I/O-Automata by means of Type Theory 1995-02-27 M. P. A. Sellink Multivariate Probit Analysis of Binary Time Series Data with Missing Responses 1996-09-11 Claudia Czado Neural Net Learning Issues in Classification of Free Text Documents 1996-02-15 Simulating Reliable Links with Unreliable Links in the Presence of Process Crashes 1996-07-22 Foundations of Elasticity Theory 1998-11-03 Robert Burridge Evolution of Homing Navigation in a Real Mobile Robot 1998-01-27 Un th'eor`eme de Paley-Wiener pour les groupes de Lie nilpotents 1996-03-19 Defining Explanation in Probabilistic Systems 1997-05-09 Goodness of Time-Processor Optimal PRAM Simulations 1997-01-17 A Comparison of Functional and Structural Partitioning 1997-02-04 A Simple Computational Market for Network Information Services 1995-05-26 Connectionist Knowledge Representation By Generic Rules Extraction from Trained Feedforward Neural Networks 1999-01-25 Query-free Information Retrieval 1996-12-04 A Stable Integer Relation Algorithm 1998-02-23 Interface-Oriented Classification of DEVS Models 1996-06-12 Carsten Thomas Foundations of Software Testing: Dependability Theory 1994-10-05 Dick Hamlet Polyvariant Binding-Time Analysis For Applicative Languages 1995-07-28 Charles Consel Restructuring The Requirements Document 1998-10-06 Joseph A. Goguen Techniques for handling inference complexity in Dynamic Belief Networks 1994-02-17 Warp 2.1.2 Implementation Notes 1995-06-27 A Direct Combination of the Prim and Dijkstra Constructions for Improved Performance-Driven Global Routing 1993-06-28 Unifying Graph Matching Problems with a Practical Solution 1999-01-22 BOOLE: A System to Compute Boolean Combinations of Sculptured Solids 1997-06-30 A Variation on the Zero-One Law 1997-10-13 Handling Inconsistency for Multi-Source Integration 1998-05-16 Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories 1999-01-13 Wan Fokkink Pointer Swizzling in Non-Mapped Object Stores 1997-07-03 Towards a Principled Representation of Discourse Plans 1998-09-22 Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann Hypothesis 1997-05-04 A Dynamic Paging Scheme for Wireless Communication Systems 1998-06-16 A Synergy of Agent Components: Social Comparison for Failure Detection 1998-04-10 An Animator For The Object Specification Language TROLL light 1998-05-25 An Optimal, Stable Continued Fraction Algorithm for Arbitrary Dimension 1997-03-05 Global Extrema in Traveltime Tomography 1995-05-01 James G. Berryman Difference Set Codes: Codes With Squared Euclidean Distance Of Six For Partial Response Channels 1998-08-10 fparks,ealg@EECS.Berkeley.EDU 1994-12-16 Grid Structures and Undecidable Constraint Theories 1997-01-21 PRISMA/DB: A Parallel, Main-Memory Relational DBMS 1992-03-04 LQ controller design and self-tuning control 1996-04-27 Arithmetization: A New Method In Structural Complexity Theory 1994-04-21 Lance Fortnow A Process Algebra Based Verification of a Production System 1998-10-15 Coordination of Scheduling and Allocation Agents Extended Abstract 1998-09-04 On Sensor Evolution in Robotics 1996-04-15 COLA: Yet Another Coordination Language 1996-03-26 A Formal Language for Cryptographic Protocol Requirements 1999-01-22 The Essence of Parallel Algol 1997-04-30 Stephen Brookes Band Ordering in Lossless Compression of Multispectral Images 1995-03-01 Stephen R. Tate A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation 1995-11-22 Error Analysis Of Krylov Methods In A Nutshell 1996-08-12 Marlis Hochbruck Moving Multiple Tethered Robots between Arbitrary Configurations 1999-03-21 When Clusters Meet Partitions: New Density-Based Methods for Circuit Decomposition 1994-12-15 Providing Guaranteed Services Without Per Flow Management 1999-04-07 Associative Query Answering via Query Feature Similarity 1998-02-11 Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity 1997-04-17 A New Theory of Deadlock-Free Adaptive Multicast Routing in Wormhole Networks 1995-11-28 Goals and Structured Information 1998-03-19 Joris Hulstijn How To Frame It - Modern Applied Logic from the Top Down,. . . 1994-07-12 Jon Doyle Directed Interval Arithmetic in Mathematica: Implementation and Applications 1997-03-18 The Evanescent Field Transform for Estimating the Parameters of Homogeneous Random Fields with Mixed Spectral Distributions 1999-02-16 Joseph M. Francos radiative corrections to the Higgs decay width 1998-05-25 Two Hierarchies Of Generalized Kronecker Trees, Forms, Decision Diagrams, And Regular Layouts 1997-04-03 Directed Acyclic Graphs, One-way Functions and Digital Signatures 1999-02-08 m4 - trying the MCP NMR retail - ver.3 1997-08-15 Global Value Numbering 1997-01-27 Taylor Simpson Dense Depth Maps from Epipolar Images 1997-03-09 Approximation Algorithms for Configuring Hierarchical Nonblocking Communication Networks 1995-07-25 J. Andrew Fingerhut Linear Discriminant - A New Criterion for Speaker Normalization 1998-12-28 Representing Place/Transition Nets in SpanGraph 1997-07-06 Channel Model Of Second Messenger Mediated Transformation Of Gaba Induced Currents 1998-12-17 CORBA 2.2 Implementation 1998-09-08 RTP Payload for Redundant Audio Data 1997-06-24 Choosing Learning Strategies to Achieve Learning Goals 1994-05-31 Asymptotic Approximation of the Move-To-Front Search Cost Distribution and Least-Recently-Used Caching Fault Probabilities 1998-05-11 Predrag R. Jelenkovi'c An Axiomatic Approach for the Hajós Theorem 1997-06-30 Topics and centers - A comparison of the salience-based approach and the Centering theory 1998-03-23 Client-Server Paradise 1995-08-10 On The Length Of Programs For Computing Finite Binary Sequences: Statistical Considerations 1998-07-21 Gregory J. Chaitin Linking Adaptation and Similarity Learning 1996-06-16 Self-Stabilizing Depth First Search 1995-04-17 Continual Queries for Internet Scale Event-Driven Information Delivery 1998-09-16 Conferencing and Collaborative Computing 1996-02-09 Eve M. Schooler Local Analysis of Scale Space 1997-03-10 Peter Johansen Teamwork in Real-world, Dynamic Environments 1996-08-06 Milind Tambe Claymore: Three-Dimensional Modeling Tool 1998-03-02 On-line Reorganization of Data in Scalable Continuous Media Servers 1996-08-25 A STEP Entity Control System for Concurrent Engineering 1996-07-18 A Simple Adequate Categorical Model for PCF 1997-11-07 Torben Brauner Preprocessing Of Visual Speech Under Real World Conditions 1997-12-17 Orthogonal Polynomials: Connection And Linearization Coefficients 1997-04-04 A. Ronveaux The Specification Language KARL and Its Declarative Semantics 1997-07-18 An Efficient and General Implementation of Futures on Large Scale Shared-Memory Multiprocessors 1996-04-08 Generalized Temperley-Lieb Algebras And Decorated Tangles 1997-11-21 R. M. Green A Methodology For Query Reformulation In Cis Using Semantic Knowledge 1996-06-12 Case-Based Anytime Learning 1998-12-27 Delayline - A Wide-Area Network Emulation Tool 1998-11-20 Improved Method for Prediction of Attainable Wing Leading-Edge Thrust 1996-07-23 Nonlinear Wavelet Transforms For Image Coding 1998-04-09 CHATR: a Generic Speech Synthesis System 1994-08-01 Functional Programming and Graph Algorithms 1998-05-07 David Jonathan King A Communication System for High-Performance Distributed Computing 1994-01-06 On the Realization of 3-D Binaural Audio Synthesis in Real Time 1997-12-22 A Comparison of Lauritzen-Spiegelhalter, Hugin, and Shenoy-Shafer Architectures for Computing Marginalsof Probability Distributions 1999-02-03 Nonlinear versus Linear Models in Functional Neuroimaging: Learning Curves and Generalization Crossover 1998-07-03 Local Analysis of Dynamical Systems - Concepts and Interpretation 1995-11-30 Poisson Structures On The Cotangent Bundle Of A Lie Group Or A Principle Bundle And Their Reductions 1998-12-03 On Nested Depth First Search 1999-04-12 Sequent Calculi 1995-02-27 Frank Pfenning Disk Drive Pivot Nonlinearity Modeling Part II: Time Domain 1998-03-19 Data Flow Analysis of System Specifications in LOTOS 1995-02-20 Petri-net-based Workflow Management Software 1996-01-03 Database Performance in the Real World - TPC-D and SAP R/3 1997-02-14 Modelling and analysing workflow using a Petri-net based approach 1995-11-17 Generic Support for Understanding Heterogeneous Software 1996-06-20 A Connectionist Solution to the Multiple Instantiation Problem using Temporal Synchrony 1997-07-31 The Cellular Neural Network Associative Processor, C-NNAP 1998-06-22 Improved Data Structures for Predecessor Queries in Integer Sets 1996-03-28 Exponential Convergence of Langevin Diffusions and Their Discrete Approximations 1995-10-03 Organizational Memory: Knowledge Acquisition, Integration, and Retrieval Issues 1998-12-17 Andreas Abecker Relaxations of the Max Cut Problem and Computation of Spin Glass Ground States 1970-01-01 Learning long-term dependencies is not as difficult with NARX recurrent neural networks 1998-09-05 Appearance Graph Generation Using Ray Tracing and Graph Matching 1998-04-15 Least-squares solution of F=PG over positive semi-definite symmetric P 1997-09-18 Processes are in the Eye of the Beholder 1996-01-17 Response Time Guarantees For Atm-Networked Control Systems 1997-07-02 Performance of Multi-Carrier CDMA with Iterative Detection 1998-07-15 Information Theory and Noisy Computation 1997-05-28 A Layered Architecture for Office Delivery Robots 1997-08-28 HUNTER-GATHERER: Three Search Techniques Integrated for Natural Language Semantics 1997-03-26 New Developments in Lexical Functional Grammar. 1998-10-07 Louisa Sadler Thick spirals: Dynamics and orbital behavior 1996-05-01 P. A. Patsis Josep Clotet Departament de Matem`atica Aplicada I Universitat Polit`ecnica de Catalunya Diagonal 647 08028-Barcelona, Spain E-mail: 1999-01-14 Stereo in the Presence of Specular Reflection 1996-01-03 The Semiring of Immersions of Manifolds 1994-12-08 Persistence in the Spring System 1997-10-14 Distributed Safety Controllers for Web Services 1998-01-12 Automatic Speaker Clustering 1997-04-14 Maximum Entropy Model Learning of Subcategorization Preference 1997-07-06 Acyclic and Oriented Chromatic Numbers of Graphs 1996-10-31 On Nonlinear sigma-Models arising in Super-Gravity 1998-05-30 Tight Analyses of Two Local Load Balancing Algorithms 1997-11-11 HyperSlice - Visualization of scalar functions of many variables 1998-07-13 Agent-based Computing and General Distributed Search 1998-10-14 Nick Gibbins An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs 1996-06-17 On The Determination Of A Potential From Three Spectra 1997-08-21 Fritz Gesztesy Formalizing Database Recovery 1997-05-29 Representing Robot/Environment Interactions Using Probabilities: the "Beam in the Bin" Experiment 1999-03-18 A Configuration Space Analysis of Bodies in Contact - Part II: 2nd Order Mobility 1994-02-21 Analysis of Decision Boundaries Generated by Constructive Neural Network Learning Algorithms 1996-07-13 Scaling Laws for Fully Developed Turbulent Flow in Pipes 1997-06-10 Low-Temperature Phase Diagrams of Quantum Lattice Systems. III. Examples. 1997-04-26 Jurg Frohlich Equivalence Of DFT Filter Banks And Gabor Expansions 1995-06-26 Format for ACSC'96 / ADC'96 / CATS'96 papers 1995-11-06 Modeling Multi-threaded Architectures in PAMELA for Real-time High Performance Applications 1999-01-20 S. Balakrishnan Fluid-Structure Interaction Simulation of Submerged Floating Tunnels. Part 1: Program Verification 1998-04-01 Information Integration: Conceptual Modeling and Reasoning Support 1998-09-23 Shape-Based Retrieval: A Case Study with Trademark Image Databases 1997-10-09 Comparing Two Information Flow Security Properties 1996-10-23 Riccardo Focardi A Global Convergence Theory for a General Class of Trust-Region-Based Algorithms for Constrained Optimization Without Assuming Regularity 1997-12-09 Mahmoud El-alem Coarse Writing-Style Clustering Based on Simple Stroke-Related Features 1999-01-06 On Adaptivity Of BlockShrink Wavelet Estimator Over Besov Spaces 1997-11-19 T. Tony Cai Numerical Solution of Special Algebraic Riccati Equations via an Exact Line Search Method 1997-08-20 Requirements Analysis for Distributed. . . 1994-09-22 John Mccarthy Models of Face Recognition and Delusional Misidentification: A Critical Review 1999-01-11 The Synergy Between Non-blocking Synchronization and Operating System Structure 1996-11-25 Very Low Bit Rate Color Video Coding Using Adaptive Subband Vector Quantization with Dynamic Bit Allocation 1997-06-06 An Efficient Zero-Copy I/O Framework for UNIX 1998-11-25 Optimal Wavelet Thresholding For Various Coding Schemes 1998-04-09 The Complexity of Scheduling Typed Task Systems with and without Communication Delays 1998-08-10 Jacques Verriet FACE: A Flexible Approach for Constraint Enforcement and Compensation of Constraint Violations in Federated Databases 1997-08-22 Myra Spiliopoulou On Compact Embeddings Of Sobolev Spaces And Extension Operators Which Preserve Some Smoothness 1970-01-01 On the Complexity of Learning for Spiking Neurons with Temporal Coding 1999-01-06 A Notation for Lambda Terms II: Refinements and Applications 1994-03-16 Gopalan Nadathur Two Stage Habituation Based Neural Networks for Dynamic Signal Classification 1996-04-09 Visualizing Communications Patterns in Nested Data-Parallel Computations 1996-01-17 Typed Higher-Order Concurrent Linear Logic Programming 1994-08-23 H Control of Multirate Sampled-Data Systems: A State-Space Approach 1997-04-24 Neurosymbolic Integration: Cognitive Grounds and Computational Strategies 1997-10-17 Advanced Visual Surveillance using Bayesian Networks 1995-03-23 Subject Composition by Roles 1997-10-24 Bent Bruun Kristensen Contact Free Strain Measurement using MATLAB Image Processing Toolbox 1995-11-02 SPADE: An Environment for Software Process Analysis, Design and Enactment 1994-10-24 An Empirical Evaluation of Three Defect-Detection Techniques 1996-10-07 -- 1-- Pseudoscalar-Meson Decay Constants 1997-09-23 Using Ray Tracing for Site-Specific Indoor Radio Signal Strength Analysis 1995-12-03 Michael Nidd Local Model Networks and Local Learning 1997-05-20 Roderick Murray-smith Processor Allocation in Multiprogrammed Distributed-Memory Parallel Computer Systems 1997-10-20 Data Distribution and Communication Schemes for Least Squares Problems on Massively Distributed Memory Computers 1997-01-17 Tianruo Yang Fast Far Field Approximation For Calculating The RCS Of Large Objects 1996-04-03 Parallel Real-Time Systems: Formal Specification 1999-01-20 Implementation of sparta, a Highly Parallel Circuit Simulator by the Preconditioned Jacobi Method, on a Distributed Memory Machine 1998-11-05 Selecting Neural Network Architectures via the Prediction Risk: Application to Corporate Bond Rating Prediction 1991-07-03 From Genetic and Evolutionary Optimization to the Design of Conceptual Machines 1998-05-06 David E. Goldberg Shumeet Baluja 1998-04-06 Protecting the Itinerary of Mobile Agents 1999-04-30 Agents, Services, and Electronic Markets: How do they Integrate? 1998-03-26 Mesosphere Sodium Column Density and the Sodium Laser Guide Star Brightness 1997-08-29 Differential Stability of Two-Stage Stochastic Programs 1997-01-29 A Robust Parsing Algorithm for Link Grammars 1995-10-05 The Importance of Long-Range Dependence of VBR Video Traffic in ATM Traffic Engineering: Myths and Realities 1999-03-11 Remark Concerning Oscillatory Properties Of Solutions Of A Certain Nonlinear Equation Of The Third Order 1970-01-01 M. Gregu S Supervisory Control of Finite State Machines 1995-07-13 An Optimal Control Theory for Systems Defined Over Finite Rings 1998-12-26 Joachim Rosenthal Open Problems 15 1997-01-25 Darwin-E: An Environment For Imposing Regularity On Object-Oriented Software 1996-09-12 Co-evolutionary Learning: Machines and Humans Schooling Together 1998-03-02 A Lightweight Universe? 1998-04-20 QUATERNICA: A Package for Manipulating Expressions involving Quaternions 1997-08-27 Letter To Sound Rules For Accented Lexicon Compression 1998-10-30 An Explicit Large Versus Small Field Multiscale Cluster Expansion 1998-05-11 Hitch Hiker's Guide to Lygon 0.7 1996-10-14 Michael Winikoff Phenomenological 1998-05-11 Minimal Forbidden Words and Factor Automata 1998-10-28 Experimental Analysis of Power Estimation Models of CMOS VLSI Circuits 1998-05-25 Recognition Of Music Types 1998-02-13 High-Concurrency Locking in R-Trees 1995-09-06 Three-Particle Bose-Einstein Correlations - a sensitive probe for Lund string fragmentation 1998-08-27 M. Ringn A Remark on Commuting Operator Exponentials 1995-09-21 ANTLR: A Predicated-LLk Parser Generator 1994-08-09 What Would Be Conserved If "The Tape Were Played Twice"? 1998-04-21 A Modal Analysis of Staged Computation 1995-11-20 Rowan Davies Representation of Formal Dispute with a Standing Order 1970-01-01 Gerard A. W. Vreeswijk On an Integer Multicommodity Flow Problem from the Airplane Industry 1998-01-06 A Scalable Multicast Architecture for One-to-many Telepresentations 1998-06-09 Analysis of Indirect Effects in a Hydrologic Model for Use in . . . 1998-04-01 Some Schrödinger Operators With Dense Point Spectrum 1997-04-26 Barry Simon Pathogenic Mechanisms in Ischemic Damage: A Computational Study 1997-07-30 A Formal Object-Oriented CASE Tool for the Development of Complex Systems 1998-09-01 Experimenting with Power Default Reasoning 1998-04-13 A Reference Model for Firewall Technology 1997-10-03 Evolving Teamwork and Coordination with Genetic Programming 1996-06-04 Sean Lukey Lightweight Shared Objects in a 64-Bit Operating System 1999-01-04 A Simple Heuristic Based Genetic Algorithm for the Maximum Clique Problem 1997-11-25 Elena Marchiori Smoothing Regularizers for Projective Basis Function Networks 1996-09-13 A Data--Parallel Adaptive 1970-01-01 Eigenvalue Perturbation and Generalized Krylov Subspace Method 1998-01-10 Journal of Graph Algorithms and Applications 1998-07-04 Informing Loads: Enabling Software To Observe And React To Memory Behavior 1995-10-27 Integrated System Support For Distributed Multimedia Databases 1998-01-19 A New Paradigm for Minimax Search 1995-02-09 EMP - A Database-Driven Electronic Market Place for Business-to-Business Commerce on the Internet 1998-11-04 Admission Control for Statistical QoS: Theory and Practice 1999-02-16 Ness B. Shroff A Cutting Plane Algorithm for Multicommodity Survivable Network Design Problems 1995-05-22 A General Method to Construct Oracles Realizing Given Relationships between Complexity Classes 1994-04-29 Scotch 3.1 User's Guide 1997-06-05 Fairness in Electronic Commerce 1998-05-18 N. Asokan The Dynamics of Populations in Evolutionary Algorithms: A Parametric Analysis 1994-08-19 Krasimir Kolarov MMSE Receivers for Dual-Rate DS/CDMA Signals: Random Signature Sequence Analysis 1997-10-20 The Role of Integrity Constraints in Database Interoperation 1996-08-29 Loop Scheduling Algorithm for Timing and Memory Operation Minimization with Register Constraint 1998-09-14 Runtime Mechanisms for Efficient Dynamic Multithreading 1996-04-11 On Self-Stabilizing Systems: An Approach to the Specification and Design of Fault Tolerant Systems 1998-07-06 Implementation of a Discretionary Access Control Model for Script-based Systems 1995-04-23 Morphological Pseudo Bandpass Image Decompositions 1998-03-31 A Case Study on Tuning of Genetic Algorithms by Using Performance Evaluation Based on Experimental Design 1999-02-08 Kazuo Sugihara Production Models As A Structural Basis For Automatic Speech Recognition 1996-12-09 Scalable High Speed IP Routing Lookups 1997-09-15 An Unconstrained Convex Programming Approach to Linear Semi-Infinite Programming 1998-06-03 Chih-jen Lin Autoroute Dialogue Demonstrator 1998-10-09 Design of a Survivable WDM Photonic Network 1996-11-04 Transaction Reordering in Replicated Databases 1997-09-10 Asymmetric Unbiased Fluctuations are Sufficient for the Operation of a Correlation Ratchet 1995-10-21 First Inverse Moment of a Generalized Quadratic Form 1997-03-13 B. Lindoff Value Minimization in Circumscription 1996-09-10 The impact of inheritance depth on maintenance tasks - Detailed description and evaluation of two experiment replications 1998-07-17 A Search for Squarks of Rp-Violating SUSY at HERA H1 Collaboration 1997-12-19 H Collaboration The Design of a Situation-Based Lygon Metainterpreter: I. Simple Changes and Persistence. 1996-10-21 Dr. G. White Dynamic Memory Allocation for Multiple-Query Workloads 1993-06-14 Flexible Policy-Directed Code Safety 1999-03-06 Towards a Common Object Model and API for Accelerator Controls 1996-03-20 A Neural Architecture for Fast Rule Matching 1998-06-22 Fortran routines for use with the method of L-moments - Version 3.02 1997-03-23 J. R. M. Hosking A Frequency Domain Variable Data Rate Frequency Hopping Channel Model for the Mobile Radio Channel 1997-01-17 Visual Scripting - Towards Interactive Construction of Object-Oriented Applications 1991-04-26 On the applicability of Gaussian traffic models 1999-03-25 Complexity and Approximability of Certain Bicriteria Location Problems 1998-04-06 Qualitative Spatial Representation and Reasoning with the Region Connection Calculus 1997-09-17 Parton HadronDuality In Nonleptonic 1998-05-15 Counting Networks and Multi-Processor Coordination Extended Abstract 1997-09-03 Using Machine Learning for Assigning Indices to Textual Cases 1998-08-05 Extracting Source Parameters From Gaussian Fits to Two-Particle Correlations 1998-01-19 Social Comparison for Failure Detection and Recovery in Multi-Agent Settings 1998-04-10 Efficient Optimization of Iterative Queries 1996-09-23 Leonidas Fegaras Specifying Real-Time Finite-State Systems in Linear Logic 1999-01-26 Regularization By Truncated Total Least Squares 1999-03-23 Online Scheduling for Reprographic Machines 1998-11-13 Elementary structural analysis for PEPA 1998-04-21 A Note on P-selective sets and on Adaptive versus Nonadaptive Queries to NP 1995-12-19 Tamper Resistance - a Cautionary Note 1997-02-26 Divergence Stability of Certain Increasing Order Finite Element Methods for Elliptic and Semi-Elliptic Problems 1995-10-17 Hard Real-Time Operating System Kernel Study 1994-08-12 John Firth Large Error Recovery for a Class of Frequency Tracking Algorithms 1998-01-21 Word Juncture Modelling Based On The 1997-05-21 Multiple-Scattering Model for Inclusive Proton Production in Heavy Ion Collisions 1998-03-26 Francis A. Cucinotta Growing Simpler Decision Trees to Facilitate Knowledge Discovery 1998-12-21 The Use of Coding Theory in Computational Complexity 1997-05-27 Joan Feigenbaum Division Algebras that Ramify Only Along a Singular Plane Cubic Curve 1995-09-17 T. J. Ford Normal Structure And Modulus Of U-Convexity In Banach Spaces 1997-06-24 Ji Gao Graphical Models for Discovering Knowledge 1996-11-09 Wray Buntine VLIW Across Multiple Superscalar Processors On A Single Chip 1999-01-26 A General Framework for Reasoning About Contradictory Information and Some of Its Applications 1998-07-20 Laurence Cholvy UCPOP: A Sound, Complete, Partial Order Planner for ADL 1997-07-01 A Duality Theory for Bilattices 1998-12-29 Extraction of a "Good" Subsequence From a Bounded Sequence of Integrable Functions 1995-10-27 Decomposing Constraint Satisfaction Problems Using Database Techniques 1997-06-12 Representation of Feedback Operators for Parabolic Control Problems 1999-01-28 Belinda B. King Improving Accuracy By Combining Rule-Based and Case-Based Reasoning 1998-02-13 Attentional Network Streams of Synchronized 40Hz Activity in a Cortical Architecture of Coupled Oscillatory Associative Memories 1998-08-27 Automatic Labeling Of Phrase Accents In German 1994-10-31 Planar Upward Tree Drawings with Optimal Area 1999-03-11 A General but Simple Technique to Handle Asynchronous Data-Parallel Control Structures 1999-01-29 Scheduling High-Level Tasks Among Cooperative Agents 1998-09-24 Bradley J. Clement A Modular Q-Learning Architecture for Manipulator Task Decomposition 1994-06-27 Comparison of Scalable Parallel Matrix Multiplication Libraries 1997-09-02 Efficient Index Generation for Compiling Two-Level Mappings in Data-Parallel Programs 1998-01-22 A Strong Winner-Take-All Neural Network In Analogue Hardware 1998-03-23 Semantic Foundations of Jade 1995-05-20 Eigenvalue Relations and Conditions of Matrices Arising in Linear Programming 1998-03-05 Efficiency and Simplicity in Self-Stabilizing Distributed Depth-First Token Circulation Algorithms 1998-05-24 Franck Petit Guardians in a Generation-Based Garbage Collector 1993-05-02 Prolongation of Vector Fields to Jet Bundles 1995-01-12 Cv 1998-12-17 Justin A. Boyan Some Reusability Exercises in Persistent C 1998-08-03 Multi-RCCL User's Guide 1995-12-12 Dynamic Trajectory Planning, Path-Velocity Decomposition and Adjacent Paths 1998-04-09 Unknown 1998-09-11 Roger L. Berger An Old Sub-Quadratic Algorithm for Finding Extremal Sets 1995-02-03 Paul Pritchard Issues in Reliable Network Memory Paging 1995-11-16 Evangelos P. Markatos Time--Dependent Scattering Theory Of N--Body Quantum Systems 1997-07-16 W. Hunziker Comparison of Hardware and Software Cache Coherence Schemes 1997-12-10 MultiScript III: Creating and Editing Multi-lingual Documents 1998-07-07 Real-time Control of Animated Broad Agents 1995-06-16 GEMM-Based Level 3 BLAS: Installation, Tuning and Use of the Model Implementations and the Performance Evaluation Benchmark 1995-11-27 Network Performance Modeling for PVM Clusters 1998-08-19 Mark J. Clement Optimal Signal Sets For Non-Gaussian Detectors 1997-01-30 Allocation of Function: Scenarios, Context and the Economics of Effort 1999-01-07 The Power of Vacillation in Language Learning 1996-07-23 Artificial Intelligence in Radiology: Decision Support Systems 1996-12-09 Charles E. Kahn An effective version of Pólya's theorem on positive definite forms 1996-01-01 Francisco Santos Statistically-Based Temporal Abstraction in Global Change Research 1970-01-01 Issues in Using Function Approximation for Reinforcement Learning 1998-09-29 Bottom-Up Query Evaluation with Partially Ordered Defaults 1994-10-05 TCP Enhancements for Heterogeneous Networks 1997-04-15 Local Structure Theory: Calculation on hexagonal arrays, Interaction of rule and lattice 1994-11-11 Scheduling Issues in Multimedia Query Optimization 1996-05-09 On the use of the quasi-Gaussian entropy theory in non-canonical ensembles. I. Prediction of temperature dependence of thermodynamic properties 1998-09-23 On Reformulation of Constraint Satisfaction Problems Extended Version 1998-05-08 Real-time Head Tracking by Saccadic Exploration and Gabor Decomposition 1998-07-14 Efficient Message Logging for Uncoordinated Checkpointing Protocols 1996-09-12 Existence of Feasible Potentials on Infinite Networks 1996-06-24 Formal Model and Specification of Deadlock 1996-10-23 Sensitivity of nucleon-nucleus scattering to the off-shell behavior of on-shell equivalent NN potentials 1998-05-14 FPGA Implementation Of Digital Filters 1993-10-15 Spinodal Decomposition for the Cahn-Hilliard Equation in Higher Dimensions. Part II: Nonlinear Dynamics 1997-07-31 Redlog User Manual 1996-10-09 Mach Threads and the Unix Kernel: The Battle for Control 1999-02-12 The Constrainedness of Search 1998-09-05 Blind Source Separation of More Sources Than Mixtures Using Overcomplete Representations 1998-12-23 Optimizing Latency of the HTTP Protocol 1998-11-08 Franz J. Hauck Distribution of Galaxies: Scaling vs Fractality 1998-12-09 Roger Balian Isophotes: the Key to Tractable Local Shading Analysis 1996-05-03 Auxilliary Variables for Markov Random Fields with Higher Order Interactions 1997-09-17 Robin D. Morris An Evaluation of Directory Protocols for Medium-Scale Shared-Memory Multiprocessors * 1994-06-28 Coco/R - A Generator for Fast Compiler Front-Ends 1997-11-11 A Maximum Entropy Approach to Adaptive Statistical Language Modeling 1996-07-01 Ronald Rosenfeld Control of the QUENCH Protection System at HERA 1996-02-22 Parallel Implementation of a Central Decomposition Method for Solving Large Scale Planning Problems 1998-01-20 Dynamics of Clusters in Two-dimensional Potts Model 1998-05-24 M. Aydin The Entropy Of Uniquely Ergodic Tiling Systems 1997-04-26 Jiunn-i Shieh Partial Global Planning: A Coordination Framework for Distributed Hypothesis Formation 1999-03-05 Implementing Restart Model Elimination and Theory Model Elimination on top of SETHEO 1997-05-24 A zero-knowledge Poker protocol that achieves confidentiality of the players' strategy or How to achieve an electronic Poker face 1998-07-15 Distributed Systems, Protocols, World Wide Web, WOS 1998-05-22 Gilbert Babin A Schläfli-Type Formula For Convex Cores Of Hyperbolic 3-Manifolds 1998-08-21 Francis Bonahon An Experiment To Assess Different Defect Detection Methods For Software Requirements Inspections 1997-02-20 Path Planning in Expansive Configuration Spaces 1997-01-31 Multi-Way Partitioning of VLSI Circuits 1996-06-27 A Fast, Storage-Efficient Parallel Sorting Algorithm 1970-01-01 Simulating an Object-Oriented Financial System in a Functional Language 1999-02-08 EuroBridge 1994-03-01 Markku Savela vtt Approximate MVA Algorithms for Solving Queueing Network Models 1997-02-28 Hai Wang The AIM is laziness in a data-parallel language 1994-01-17 Jonathan M. D. Hill Nearly Perfect Sets in Graphs 1995-02-22 Rhythmic Commonalities between Hand Gestures and Speech 1996-04-16 Estimation of Rényi Information Divergence via Pruned Minimal Spanning Trees 1999-04-17 Evolving Neural Networks to Focus Minimax Search 1995-05-25 Autonomous Parallel Parking of a Nonholonomic Vehicle 1998-04-09 The Revised Report on the Syntactic Theories of Sequential Control and State 1992-10-23 A Wait-free Algorithm for Optimistic Programming: HOPE Realized 1970-01-01 Incremental Neuro-Fuzzy Systems 1997-07-25 B. Fritzke Markovian Analysis of Large Finite State Machines 1997-08-22 Shaping Robot Behavior Using Principles from Instrumental Conditioning 1998-06-26 Co-inductive Axiomatization of a Synchronous Language 1998-06-05 Representation of similarity in 3D object discrimination 1994-04-28 Shimon Edelman An Incremental Correction Model for reverse engineering Human Control Skills 1998-01-05 Rui Camacho Direct Volume Rendering with Shading via Three-Dimensional Textures 1996-08-13 Solution of the Convection Equation Using Unstructured Grids 1995-03-09 Training Mixture Density HMMs with SOM and LVQ 1997-02-04 Mikko Kurimo MPI: A Message-Passing Interface Standard 1998-01-13 Solution Adaptive Unstructured Grid Generation Using Pseudo-Pattern Recognition Techniques 1998-01-05 Optimizing Array Bound Checks Using Flow Analysis 1995-06-22 Rajiv Gupta The OLGA project: An animated talking agent in a dialogue system 1997-04-18 Analysis of one-dimensional seismic waveform inversion by Regularized Global Approximation 1998-07-14 Symbolic Algebraic Discrete Systems - Applied to the JAS 39 Fighter Aircraft, Part II 1997-01-07 Johan Gunnarsson Application of Massively Parallel Architecture to Computational Electromagnetics 1995-06-30 Compiler Blockability of Dense Matrix Factorizations 1999-02-08 Further Remarks On The Chiral Model Approach To Self-Dual Gravity 1998-05-25 Semantic Processing Of Out-Of-Vocabulary Words In A Spoken Dialogue System 1998-01-14 A Taxonomy Of Space-Time Processing For Wireless Networks 1998-05-12 Design and Evaluation of a Subblock Cache Coherence Protocol for Bus-Based Multiprocessors 1997-04-21 Probabilistic Datalog - a Logic for Powerful Retrieval Methods 1995-08-15 Norbert Fuhr A Multi-Threshold Neural Network for Frequency Estimation 1998-11-06 Language and Run-time Support for Network Parallel Computing 1995-12-01 Parallel Approximation of Optimization Problems Extended abstract 1995-02-27 Markov Random Field Models in Computer Vision 1999-03-21 S. Z. Li Object-Oriented Design of Dynamic Graphics Applications 1995-11-02 Optimistic Synchronization in Distributed Shared Memory 1995-12-11 Using Theory Revision to Model Students and Acquire Stereotypical Errors 1994-05-06 Exploiting SIMD Parallelism in DSP and Multimedia Algorithms Using the AltiVec Technology 1999-04-12 A Programming Interface for Application-Aware Adaptation in Mobile Computing 1995-02-28 Teaching and Learning Iteration of Functions and Fixed Points 1999-04-28 Pankaj Kamthan Exact Multiplicity of Positive Solutions for a Class of Semilinear Problem: II 1998-09-09 Decoherence in Pre-Big-Bang Cosmology 1998-05-14 ILLUSTRATION OF BILEVEL FORMULATIONS IN CONCURRENT DESIGN MODELING K. Badhrinath J. R. Jagannatha Rao 1996-05-07 Connectionist Probability Estimation in HMM Speech Recognition 1992-12-22 Bounded Domains and Unbounded Domains 1999-02-03 Andrzej Trybulec Teleporting an Unknown Quantum State via Dual Classical and EPR Channels 1998-07-15 Pin Assignment for Multi-FPGA Systems 1995-12-21 Toward a Theory of Multi-Modal Interaction 1998-10-28 APGAN and RPMC: Complementary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations 1997-08-12 Unsupervised Classification with Non-Gaussian Mixture Models using ICA 1998-12-30 Accredited Standards Committee* Doc No: 1995-09-19 SodaBot: A Software Agent Construction System 1996-01-26 Michael H. Coen Interprocedural Analysis Based on Guarded Array Regions 1998-07-10 Yet another face of Lorenz-Mie scattering: Mono disperse distributions of spheres produce Lissajous like patterns 1994-11-15 Consistent Treatment of Propagator Modifications in Elastic Nucleon-Nucleus Scattering within the Spectator Expansion 1998-05-23 Query By Image Example: The 1999-03-29 Challenging Practice - an approach to Cooperative Analysis 1998-01-20 Preben Holst Mogensen Estimation of Residence Time in Continuous Flow Systems with Varying Flow and Volume 1993-10-14 Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation Extended Abstract 1997-07-28 Domain Theory Meets Default Logic 1970-01-01 Natural Proofs Versus Program Optimization in the calculus of Inductive Constructions 1996-06-28 Catherine Parent-vigouroux Synthesis and Performance Analysis of Multilayer Neural Network Architectures 1995-09-19 Lazy Release Consistency for Software Distributed Shared Memory 1995-05-04 CERN-TH/96-126 HD-THEP-96-15 IUHET-333 hep-ph/9605288 May 10, 1996 1998-05-14 Nsf--Itp--92--110 1994-11-08 J. K. Freericks Two Constructive Methods for Designing Compact Feedforward Networks of Threshold Units 1997-12-16 Geometric Graphs With Few Disjoint Edges 1998-05-12 Pavel Valtr A Language-Based Approach to Protocol Implementation 1994-06-29 Cryptographic Primitives Based on Hard Learning Problems 1994-09-08 Quantum Automata and Quantum Grammars 1998-07-06 The Performance of a Reliable, Request-Response Transport Protocol 1999-01-24 Dynamical Generation Of Light Fermions 1998-05-14 Group Signatures a la carte 1998-10-15 Gene Tsudik Semidefinite Programming Relaxations For The Graph Partitioning Problem 1996-10-08 An Introduction to Programming with Threads 1998-12-16 On the Approximation of Denotational Mu-Semantics 1996-05-24 Michael Huth Programming Language Expressiveness and Circuit Complexity 1996-05-02 Searching forExotic Mesons in 1998-05-15 Modular Domain Specific Languages and Tools 1998-03-11 Paul Hudak Active Virtual Network Management Protocol 1999-02-23 Stephen F. Bush Network Management, Status Directions 1993-10-14 Practical Dynamic Load Balancing for Irregular Problems 1996-06-01 Modifying Network Architectures for Certainty-Factor Rule-Base Revision 1996-08-28 Secure Reliable Multicast Protocols in a WAN 1997-03-20 Multiple Descriptions, Error Concealment, and Refined Descriptions for Image Coding 1999-03-19 On-Line Reorganization: A Position Paper 1995-12-18 Why Using the Request Abstraction in Proportional Share Allocation Systems is Useful ? 1996-11-26 Architecture And Algorithms For Modelling Facility Location Problems 1997-12-05 Decidable Theories of omega-Layered Metric Temporal Structures 1996-08-19 NASA Contractor Report 201687 1997-11-18 C. Michael Fremaux Design And Analysis Of Hardware For High Performance Prolog 1996-09-24 Trie-Based Data Structures for Sequence Assembly 1998-03-05 Multi-Agent Meeting Scheduling: Preliminary Experimental Results 1999-03-17 EE E6970 Resource Allocation and Networking Games Spring 1998 1999-03-05 Enhancements to 4.4 BSD UNIX for Efficient Networked Multimedia in Project MARS 1998-04-30 A Debugger for Tcl Applications 1993-06-08 Numerical Simulation Of Laminar Diffusion Flames 1994-08-02 Subspace Based Signal Analysis using Singular Value Decomposition 1997-05-23 A. Lee Swindlehurst member Using Mathematica and Automated Theorem Provers to Access a Mathematical Library 1998-08-27 Optimal Incoherent Lighting for CCD Bar Code Scanner 1996-10-11 Specification and Verification of Pipelining in the ARM2 RISC Microprocessor 1998-10-06 SmartDb: An Object-Oriented Simulation Framework for Intelligent Vehicles and Highway Systems 1994-12-01 Polyhedral Approximation of Convex Sets With an Application to Large Deviation Probability Theory 1995-10-27 A Pliant Method for Anisotropic Mesh Generation 1998-04-22 A Dedicated Image Processor Exploiting Both Spatial and Instruction-Level Parallelism 1997-07-29 Rates of Convergence for Gibbs Sampling forVariance Component Models 1994-12-25 Jeffrey S. Rosenthal Buildings and Non-positively Curved Polygons of Finite Groups 1998-11-10 Paul R. Brown Multiple Wick Product Chaos Processes 1998-07-26 , the Plan 9 Window System 1995-12-16 Rob Pike A Kernel Approach for Interactive-oriented Model Construction in JAVA 1997-08-15 Olaf David Inductive Learning With Bct 1990-03-16 Philip K. Chan Extending ER Model Clustering by Relationship Clustering 1970-01-01 E-optimum Designs in Linear Models with Both Qualitative and Quantitative Factors of Influence 1996-02-19 Rainer Schwabe Vector Based Image Matching for Indexing in Case Based Reasoning Systems 1997-10-17 Distributional Clustering of Words for Text Classification 1998-02-05 Secure Network Objects 1997-03-24 The Invariant Checker: Automated Deductive Verification of Reactive Systems 1970-01-01 Hassen Saidi Appending Boundary Conditions by Lagrange Multipliers: General Criteria for the LBB Condition 1998-10-19 Using a Neural Net to Instantiate a Deformable Model 1970-01-01 A Compact Representation of Finite State Processes 1995-11-28 Relationships Among Nonlinearity Criteria 1997-03-24 On the Number of Distinct Block Sizes in Partitions of a Set 1997-05-04 Emilio Luque 1998-04-25 A Positive Solution To The Busemann-Petty Problem In 1999-03-03 Gaoyong Zhang Probabilistic Semantic Analysis of Speech 1997-10-09 A Model for Transactional Workflows 1999-03-18 The Algorithmic Analysis of Hybrid Systems 1996-06-25 Random Data Accesses on a Coarse-grained Parallel Machine I. One-to-one Mappings 1998-08-11 Some Convexity and Sensitivity Properties of the R,T Inventory Control Policy for Stochastic Demand 1995-07-31 Uday S. Rao LogBoy Meets FilterGirl: A Toolkit for Multivariant Movies 1994-08-16 Ryan George Evans Dynamic Stall Effects And Applications To High Performance Aircraft 1995-03-10 Jay M. Brandon Default Handling in Incremental Generation 1994-08-04 Hypergraph Partitioning for VLSI CAD: Methodology for Heuristic Development, Experimentation and Reporting 1999-04-16 Neurosimulators 1991-10-25 Jacob M. J. Murre Helmholtz conditions and Alternative Lagrangians: Study of an integrable Hénon-Heiles system 1999-04-14 Manuel F. Ra~nada Deterministic Chaos in Failure Dynamics : Dynamics of Peeling of Adhesive Tape 1997-02-07 Estimating the Largest Singular Values/Vectors of Large Sparse Matrices via Modified Moments 1996-01-30 Sowmini Varadhan A Cooperative Editor for Hierarchical Diagrams: An Object Petri Net Model 1996-10-21 Charles Lakos Minimizing Buffer Requirements under Rate-Optimal Schedule in Regular Dataflow Networks 1999-01-24 A Blind Source Separation Technique Using Second Order Statistics 1997-04-08 Perfect Matchings in Random s-Uniform Hypergraphs 1997-10-10 Mariposa: A Wide-Area Distributed Database System 1997-04-12 The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux 1998-02-26 Generalized Context-Free Grammars 1996-05-24 Instrumental Variable Subspace Tracking Using Projection Approximation 1998-05-29 Tony Gustafsson Finite Resolution Aspect Graphs of Polyhedral Objects 1995-11-05 Approaches to Depth Estimation from Active Camera Control 1996-12-19 Schrödinger operators with strong magnetic fields: Quasi-periodicity of spectral orbits and topology 1997-12-19 A Group-based Authorization Model for Computer-Supported Cooperative Work 1997-04-15 A Customisable Memory Management Framework 1994-04-09 Tito Flagella Automata-Theoretic Criteria for Feature Interactions in Telecommunications Systems 1996-03-05 Factor Graphs and the Sum-Product Algorithm 1999-03-16 Versatile Spectro Photometer for Cross-Media Color Management 1999-01-29 Content Routing in a Network of WAIS Servers 1995-03-10 Experience with a Graph-Based Propagation Programming Tool 1992-08-12 Harmonic Analysis in Value at Risk Calculations 1997-11-09 Claudio Albanese Size-Depth Tradeoffs for Algebraic Formulae 1997-10-22 Interactive Consistency Algorithms Based on Authentication and Error-correcting Codes 1995-10-11 A Terminal-Based Approach to Multimedia Service Provision 1997-10-23 Generic Properties of Combinatory Maps - Neutral Networks of RNA Secondary Structures 1998-09-25 Automatic Labeling of Corpora for Speech Synthesis Development 1994-09-05 A. Vorstermans A Simple Algorithmically Reasoned Characterization of Wait-free Computations 1998-11-22 Reflective Authorization Systems: Possibilities, Benefits, and Drawbacks 1999-01-31 A Task-Swap Negotiation Protocol Based on the Contract Net Paradigm 1970-01-01 Inverting Resolution with Conceptual Graphs 1998-04-08 A Scaling Hypothesis for the Spectral Densities in the O3 Nonlinear Sigma-Model 1998-05-24 J. Balog The Effects of Mutability on Querying 1996-12-19 TAME: A Specialized Specification and Verification System for Timed Automata 1996-11-26 The Minimum Latency Problem 1997-09-04 Efficient and Complete Tests for Database Integrity Constraint Checking 1994-04-11 A Physicist's Guide to Kalman Filters 1998-08-19 Phylogenetic Recapitulation in the Ontogeny of Artificial Neural Networks 1995-12-01 A Fault-Tolerant Transputer-based Parallel Controller for the Soft Arm Robot 1996-03-08 An Overview of Document Mining Technology 1998-06-14 Mark Dixon A Neural Network Architecture for High-Speed Database Query Processing 1995-09-28 Analytical Estimation of Transition Activity from Word-Level Signal Statistics 1998-02-18 A Fuzzy Neural Network Approach Based on Dirichlet Tesselations for Nearest Neighbor Classification of Patterns 1997-12-17 Combining Search and Analogical Reasoning in Path Planning from Road Maps 1995-03-24 The Regular Viewpoint on PA-Processes 1998-09-14 D. Lugiez Mean-field treatment of the linear sigma model in dynamical calculations of DCC observables 1997-04-18 E-Mails: {ramalho, Pachet}@laforia.ibp.fr 1995-02-20 Discretization of the incompressible Navier-Stokes equations in general coordinates using contravariant velocity components 1995-03-15 STUDY OF NEUTRAL-MESON AZIMUTHAL ANISOTROPY IN HEAVY-ION COLLISIONS AT 2 AGeV 1998-09-21 A. Taranenko Subcube Fault-Tolerance in Hypercubes 1996-09-07 On Locally Finite Power-Commutative Groups 1999-02-12 Yu-fen Wu State-Transition Cost Functions and an Application to Language Translation 1997-03-28 Prototyping a Three-link Robot Manipulator 1996-12-04 Holographic Recurrent Networks 1995-10-25 Tony A. Plate Semantic Query Caching for Heterogeneous Databases 1997-08-08 Unknown 1995-02-08 Wavelet-Based Subgrid Modeling: 1. Principles and Scalar Equations 1996-11-27 Cache-Rings for Memory Efficient Isosurface Construction 1998-03-10 David M. Weinstein The Hollowman an innovative ATM control architecture 1999-03-11 S. Rooney Bayesian Approach To Combinatorial Optimization 1996-05-01 Jonas Mockus Rerepresenting and Restructuring Domain Theories: A Constructive Induction Approach 1995-04-25 Agent Tcl: A flexible and secure mobile-agent system 1998-01-09 Robert S. Gray Categorical Strong Shape Theory 1997-05-29 Mikhail A. Batanin Collaboration in Automatic Dialogue Interpreting 1997-11-25 Birte Schmitz Straight Skeletons for General Polygonal Figures in the Plane 1998-05-08 Franz Aurenhammer Domain Decomposition Schemes and Coupling Conditions for Kinetic and Hydrodynamic Equations 1997-03-13 Axel Klar Efficient Algorithms for Block-Cyclic Array Redistribution between Processor Sets 1998-08-10 Task Planning Agents in the UMDL 1997-07-29 Steering Three-Input Chained Form Nonholonomic Systems Using Sinusoids: The Fire Truck Example 1995-01-27 Context-Dependent Hybrid HME/HMM Speech Recognition Using Polyphone Clustering Decision Trees 1996-12-17 Perspectives on Optimistically Replicated, Peer-to-Peer Filing 1998-09-23 Efficient Simulation of Message-Passing in Distributed-Memory Architectures 1996-09-18 Erik Demaine 3-D Symmetry Detection Using The Extended Gaussian Image 1970-01-01 A CLP Approach to Detection and Identification of Control System Component Failures 1994-06-27 Increasing The Correlations With The Response Variable May Not Increase The Coefficient Of Determination: A Pca Interpretation 1998-03-18 C. M. Cuadras The Combinatorics of Biased Riffle Shuffles 1997-09-17 Jason Fulman Understanding Customer Choice Processes Using Neural Networks 1997-01-08 Stabilization of the X.25 Connection Management Protocol 1998-08-03 Novel Techniques For Image Texture Classification 1998-01-18 Yan Qiu Chen Generalized Ultrametrics, Domains And An Application To Computational Logic 1999-03-12 Layered Charts for Speech Translation 1997-06-19 Jan W. Amtrup Describing Plan Recognition as Non-Monotonic Reasoning and Belief Revision 1997-06-05 New Trends in Virtual Environment User Interface Research: Case Studies at the Human Interface Technology Laboratory 1998-08-10 Toni Emerson Crosspoint Cache Architectures 1997-06-14 Autonomous Agents: from Concepts to Implementation 1998-03-12 Tracking Myocardial Deformation Using Phase Contrast MR Velocity Fields: A Stochastic Approach 1998-07-03 A Knowledge-Based Approach to Goal Recognition 1996-11-27 Robot Learning - Three case studies in Robotics and Machine Learning 1994-07-27 Syntactical Treatments of Propositional Attitudes 1999-03-14 The treatment of support verb constructions in HPSG-based Machine Translation - a summary 1995-03-09 Jonas Kuhn An Instruction Scheduling Library for SUIF 1997-11-20 An active set Newton's algorithm for large-scale nonlinear programs with box constraints 1970-01-01 Neural Networks in Information Filtering and Retrieval 1995-03-15 Douglas W. Oard Numerical Stability of Biorthogonal Wavelet Transforms 1995-05-08 Fritz Keinert Programming Language Semantics in Foundational Type Theory 1999-03-27 K. Crary Intelligent Tutoring in Virtual Reality: A Preliminary Report 1997-05-27 FlexiMine - A Flexible Platform for KDD Research and Application Construction 1998-03-23 Social Carrier Recommendation for Selecting Services in Electronic Telecommunication Markets 1998-02-23 Software Constraint Models -- A Means to Improve Maintainability and Consistency 1995-02-09 Dag I. K. Sjøberg Experiments in Real-Time Decoding of Layered Video 1995-10-30 CORBA: Integrating Diverse Applications Within Distributed Heterogeneous Environments 1997-01-13 Steve Vinoski Improving Automated Land Cover Mapping by Identifying and Eliminating Mislabeled Observations from Training Data 1996-03-07 An Interactive Visualization for Message Sequence Charts 1999-01-21 Policies and Roles in Collaborative Applications 1997-06-30 W. Keith Edwards Removing Ramsey Theory: Lower Bounds With Smaller Domain Size 1995-02-15 Jeff Edmonds Mach: A System Software Kernel 1992-08-19 Verification of Calculated Electrical Parameters of Transmission Line Structures on Printed Circuit Boards 1970-01-01 RELACS: A Communications Infrastructure for Constructing Reliable Applications in Large-Scale Distributed Systems 1995-03-10 Pseudec: Implementation Of The Computation-Intensive Partran Functionality Using A Dedicated On-Line Cordic Co-Processor 1995-05-29 Fast Pruning Using Principal Components 1970-01-01 Statistique Des Vecteurs De Reallocation Du Spectrogramme 1996-07-30 Adaptive Heterogeneous Multi-Robot Teams 1999-02-25 Lynne E. Parker Control and Simulation of Multibody Systems 1997-07-18 Jeffrey Michael Wendlandt Computing the Scaling Exponents in Fluid Turbulence from First Principles: Demonstration of Multi-scaling 1999-03-09 A Lagrangian Reconstruction of a Class of Local Search Methods 1998-09-10 Expectation Values of Observables in Time-Dependent Quantum Mechanics 1997-07-16 J. M. Barbaroux Resume 1999-01-26 T. V. Raman Incremental Updates of Inverted Lists for Text Document Retrieval 1993-12-09 An overview of Interpretability Logic 1997-03-12 Albert Visser Decidable Cases of the Rational Sequence Problem 1995-04-10 B. Litow Autoassociative Learning in Relaxation Labeling Networks 1996-05-29 The Order Type Of The Set Of Pisot Numbers 1997-11-26 Relative Expressiveness of Typed and Untyped Relational Algebra 1970-01-01 Convergence Results for Single-Step On-Policy Reinforcement-Learning Algorithms 1998-12-18 An L¹-Error Bound For A Semiimplicit Difference Scheme Applied To A Stiff System Of Conservation Laws 1996-08-12 Implementation of the Object-Oriented Data Model TM 1996-02-07 Dissertation Proposal: Management of Multimedia Services Over ATM Networks: A QoS Approach 1998-07-05 Enumerating Regular Mixed-Cell Configurations 1998-08-24 Tom Michiels Context Effects and Learning of Hierarchical Compositional Structure 1997-05-15 Karl Pfleger A Simple Time Scale Decomposition Technique for Stochastic Process Algebras 1995-10-05 .2 Classical Logic 1999-03-25 Converging to Approximated Max-Min Flow Fairness in Logarithmic Time 1998-07-16 Bibliography 1996-12-06 Theory of Generalized Annotated Logic Programming and its Applications 1995-08-09 Lattice Codes Can Achieve Capacity on the AWGN Channel 1998-05-13 Fitness Landscapes Arising from the Sequence-Structure Maps of Biopolymers 1997-09-30 Peter F. Stadler Integration of Python into SNiFF+ 1997-11-03 Michael Scharf Rasiowa-Sikorski Deduction Systems: a Handy Tool for Computer Science Logics 1998-12-14 Beata Konikowska A Multi-Layered Behavior Based System forControlling Robocup Agents 1998-02-26 P. Scerri Decision Trees for Error Concealment in Video Decoding 1999-05-07 Multidimensional System Simulation With Functional Transformations 1996-03-22 Rudolf Rabenstein How to Use Expert Advice in the Case when Actual Values of Estimated Events Remain Unknown 1997-11-05 Interactions of stars with AGN jets: gamma ray production 1997-07-23 W. Bednarek Object Caching in a CORBA Compliant System 1995-07-19 Detecting Nonlinear Causality via Nonlinear Modeling 1998-12-11 Tohru Ikeguchi Towards a Reference Model for Intelligent Multimedia Layout 1996-10-25 Winfried H. Graf Query Language For Research In Phonetics 1999-03-29 Operating Systems Support for End-to-End Gbps Networking 1993-02-18 Two-Loop Electroweak Corrections to the Muon g-2: a new class of Hadronic Contributions 1998-05-15 A Framework for High Assurance Security of Distributed Objects 1996-05-29 Can We Eliminate Certificate Revocation Lists? 1998-10-08 Ronald L. Rivest Exchange Algorithms that Complement the Parks-McClellan Algorithm for Linear-Phase FIR Filter Design 1998-04-09 Towards a Model of Niche and Speciation in an Artificial World 1995-09-12 Higher-Order Subtyping 1996-08-18 WN1626+5153: A Giant Radio Galaxy from the WENSS survey 1997-10-09 Derivation of Efficient Continuous Explicit Runge-Kutta Methods 1994-09-15 Computable Quantifiers and Logics over Finite Structures 1996-12-17 J. A. Makowsky RAP: An End-to-end Rate-based Congestion Control Mechanism for Realtime Streams in the Internet 1998-12-21 Formal Methods Project Overview 1997-12-05 Feed-Forward ANN for 2-1 Fixed Point ALUs 1997-06-10 WebWatcher: Knowledge Navigation in the World Wide Web 1997-10-31 Astronomy And Astrophysics 1998-08-13 Improved Boosting Algorithms Using Confidence-rated Predictions 1999-02-18 Robert E. Schapire User Interface of a New Generation of Authoring Environment of Multimedia Documents 1997-10-24 Interatomic Potentials for Monoatomic Metals from Experimental Data and ab initio Calculations 1998-08-24 Branching Properties Of Brownian Paths And Trees 1997-01-17 A new Subband Audio CELP coder 1997-12-22 Unknown 1995-07-25 Interactive Design Considered Harmful 1997-09-08 Axel Jantsch Comparing Multiple File Copies With A Primary Copy Using Minimal Communication 1993-05-05 Optimal Control of Dynamic Systems by Decomposition and Aggregation 1997-04-04 DISCIPLE: A Framework for Multimodal Collaboration in Heterogeneous Environments 1999-03-13 Ivan Marsic Arithmetic and Logic Operations with DNA 1997-11-20 Journal of Graph Algorithms and Applications 1998-05-18 Explicit Relationships in Object Oriented Development 1998-05-29 Entropy Numbers, Operators and Support Vector Kernels 1998-10-27 Direct Object Localization and Characterization From Diffuse Photon Density Wave Data 1999-02-19 Evolutionary Algorithms Combined with Deterministic Search 1998-03-30 Lamarckian Learning in Multi-agent Environments 1998-12-27 John J. Grefenstette Discourse Relations and Defeasible Knowledge 1998-03-28 Wulff Droplets And The Metastable Relaxation Of Kinetic Ising Models 1997-05-15 Task Interdependencies in Design-to-time Real-time Scheduling 1994-04-14 An Approach to Obtain Intensional Translations for Consistent View Updating 1997-10-20 Part III Operational Controls 1997-02-08 A Cooperative Database System based on Workspace Hierarchy 1996-10-16 -- 1-- Muon Decay Parameters 1998-06-03 A Comparison of the Memory Management sub-systems in FreeBSD and Linux 1998-11-02 Rohit Dube METAFONT-like System with PostScript Output 1994-09-06 John D. Hobby A Tale of Two Applications on the NII 1998-05-20 Geoffrey C. Fox Architectures, Costs, and Transformations 1998-06-15 D. B. Skillicorn Boolean Manipulation with Free BDD's. First Experimental Results. 1997-02-19 Non-oscillatory Central Schemes for Multidimensional Hyperbolic Conservation Laws 1997-04-29 Towards Fault-Tolerant Mobile Agents 1998-05-29 Lora L. Kassab Online Aggregation 1997-09-12 Parallel Incremental Graph Partitioning 1994-12-14 Geometric Grouping of Repeated Elements Within Images 1998-07-15 Schemas and Genetic Programming 1996-01-18 A Logical View of Structured Files 1998-06-07 Systolic Arrays for the Recognition of Permutation-Invariant Segments 1995-10-25 Referential Integrity In Multilevel Secure Databases 1998-09-14 Multilevel k-way Partitioning Scheme for Irregular Graphs 1998-05-26 Texture Segmentation Using Circular-Mellin Operators 1995-06-03 Properties of a First-order Functional Language with Sharing 1999-02-10 Zena M. Ariola The Internet Multimedia Conferencing Architecture 1996-02-24 Block-Based Formatting with Encapsulated PDF 1970-01-01 Philip N. Smith Protocol Interactions and the Chosen Protocol Attack 1998-01-26 Eliminating Range Checks using Static Single Assignment Form 1996-02-13 A Measurement of 1998-03-07 Evolution Darwinienne vs Evolution "Civilis'ee" ? 1997-11-13 Error-Visualization by Error-Based Simulation and Its Management 1998-09-03 Parallel Graph Reduction with the -machine 1995-06-07 Functorial And Algebraic Properties Of Brown's P Functor 1995-04-12 Document Ranking on Weight-Partitioned Signature Files 1995-06-19 Active Learning with Statistical Models 1996-03-30 A Generic Algorithm For Generating Spoken Monologues 1998-08-25 Integrating Reactive and Reflective Reasoning by Generating Rational Models 1998-10-05 Sven--erik Bornscheuer Towards Intelligent Integration of Heterogeneous Information Sources 1996-01-17 Cooperation Contracts 1997-02-22 Michael Schrefl Existence of Exponentially Small Separatrix Splitting and Homoclinic Connections Between Whiskered Tori in Weakly Hyperbolic Near-Integrable Hamiltonian Systems 1997-05-13 Biased Graphs: IV. Geometrical Realizations 1997-08-25 Thomas Zaslavsky Experiments in Multilingual Information Retrieval using the SPIDER system 1997-02-11 Jean Paul Ballerini Object-Oriented Supervisory Control with a Class of Non-Deterministic Specifications 1994-08-30 Experiences with Locking in a NUMA Multiprocessor Operating System Kernel 1995-11-22 Computational Phonology 1998-07-02 Mining Optimized Association Rules with Categorical and Numeric Attributes 1998-03-11 Application of the Many Sources Asymptotic and Effective Bandwidths to Traffic Engineering 1998-12-23 Scale-Space Properties of Nonlinear Diffusion Filtering with a Diffusion Tensor 1997-12-16 Joachim Weickert Compiling Haskell by program transformation: a report from the trenches 1996-03-04 Simon L Peyton Jones Snow Transport and Deposition 1997-05-12 Statistical Analysis of Generalized Processor Sharing Scheduling Discipline 1995-02-04 Query-Sensitive Ray Shooting 1996-03-27 A Comparison of Large Scale Mixed Complementarity Problem Solvers 1970-01-01 Native-Language-Based Distributed Computing Across Network and Filesystem Boundaries 1998-11-18 Numerical Optimization of the Cross-Sectional Shape of Turbine Blades 1996-07-03 Schulz V. H Rectilinear shortest paths through polygonal obstacles in Onlog n^{3/2} time 1995-02-16 The FeedBack Compiler 1998-08-20 A Formalization of the Proof-Carrying Code Architecture in a Linear Logical Framework 1970-01-01 Tsvi Piran 1994-05-11 Tsvi Piran A Formal Evaluation of Mutation and Data Flow Based Test Adequacy Criteria 1993-12-29 A Stakeholder Win-Win Approach to Software Engineering Education 1999-02-05 Detection of Occluding Contours and Occlusion by Active Binocular Stereo 1998-10-06 Complete Lifts of Harmonic Maps and Morphisms between Euclidean Spaces 1996-05-22 Ye-lin Ou From Local Cosine Bases to Global Harmonics 1998-03-11 Microarchitecture Support for Dynamic Scheduling of Acyclic Task Graphs 1992-12-14 GLIMPSE: A Tool to Search Through Entire File Systems 1995-11-24 Efficient Feed-Forward Volume Rendering Techniques for Vector and Parallel Processors 1993-04-08 Mixing Situation Theory and Type Theory to Formalize Information States in Dialogue Exchanges 1998-04-14 Robin H. Cooper A Polynomial Time Approximation Scheme for the SONET Ring Loading Problem 1997-07-14 Sanjeev Khanna Real-Time Transactions with Execution Histories: Priority Assignment and Load Control 1997-07-30 Ozsoyo Glu Towards Optimal Learning from Very Small Data Sets 1994-11-16 M. D. Plumbley The effective action for a relativistic Jaynes-Cummings model 1998-05-24 X Gamma! Y 1995-11-07 Connectionist Natural Language Processing 1996-11-21 Erik Hjelmas Zooming and Tunneling in Tioga: Supporting Navigation in Multidimensional Space 1995-06-04 Selection of Relevant Features and Examples in Machine Learning 1997-10-03 GraF/Adonis high resolution spectroscopy of Herbig Ae/Be Binaries: preliminary results 1998-11-19 Form Approved OMB No. 0704-0188 1998-04-09 Re-Interpreting the Modalµ-Calculus 1995-02-22 Modeling Gene Expression With Differential Equations 1999-01-12 The Geometry of Orthogonal Reduction Spaces 1997-05-01 Zurab Khasidashvili Logics for Databases and Information Systems 1998-08-05 Fluorescence Photobleaching Correction for Expectation-Maximization Algorithm 1996-02-09 Self-Calibration from Image Sequences 1998-03-03 An Implicitly Restarted Symplectic Lanczos Method for the Symplectic Eigenvalue Problem 1998-07-23 Peter Benner Program Transformation in Martin-Löf's Type Theory 1998-10-07 Decoding Choice Encodings 1996-08-18 Estimations Of Covariance Components In Mixed Linear Models 1998-10-20 Tefan Varga Bratislava Connected Covers And Neisendorfer's Localization Theorem 1997-04-22 A 5 Layer Information Expressivity Model Applied To Semantic Heterogeneity In A Decentralised Organisation 1996-03-19 will Be Inserted By Hand Later 1996-04-19 E. A. Dorfi Generalized Dominators for Structured Programs 1997-01-29 Evaluation of the Domain Model 1996-09-27 Optimal Power Flow with Expected Security Costs 1998-11-26 Programming Language Semantics 1995-11-02 David A. Schmidt Information Theoretic Based Design of Hierarchical Channel Coding and Modulation on Mobile Radio Channels 1997-07-18 Alexander Seeger Techniques for Reducing Consistency-Related Communication in Distributed Shared Memory Systems 1996-08-07 Software Libraries 1998-11-18 Active Customization of GIS User Interfaces 1997-01-21 Analyses of Software Failure Data 1995-08-08 H1-inspired analysis of the 1994 combined test of the Liquid Argon and Tilecal calorimeter prototypes 1999-03-23 A Fast 3D Object Reconstruction Using Trinocular Vision and Structured Light 1998-08-11 Orientation Of Moms-02/d2 And Moms-2p Imagery 1996-08-14 Elastic and Drift-Diffusion Limits of Electron-Phonon Interaction in Semiconductors 1996-10-24 Security Issues in Mobile Communications 1997-10-28 Extracting Salient Curves from Images: An Analysis of the Saliency Network 1996-06-13 Computing Techniques For Two-Loop Corrections To Anomalous Magnetic Moments Of Leptons 1970-01-01 Anomalies and Adaptation in the Analysis and Development of Prepaging Policies 1994-01-28 Eye On The Prize 1995-05-15 Nils J. Nilsson Effective Erasure Codes for Reliable Computer Communication Protocols 1998-12-05 Luigi Rizzo Finite Time-Horizon Risk Sensitive Control and the Robust Limit under a Quadratic Growth Assumption 1998-10-30 Renormalon Phenomenology: Questions and Directions 1997-06-24 M. Beneke Equivalences of Blocks of Group Algebras 1993-03-05 Diminishing Returns for Additional Search in Chess 1996-08-02 A Splitting Property Of Maximal Antichains 1998-07-07 On the Applicability of Lower Bounds for Solving Rectilinear Quadratic Assignment Problems in Parallel 1997-09-18 Exploring Cooperative Intelligence in a Networked Robotic System 1997-04-30 Quantum Adiabatic Evolution 1997-04-26 Alain Joye The Z/EVES User's Guide 1997-12-04 Mark Saaltink Linear Läuchli Semantics 1995-03-21 The Design and Implementation of a Certifying Compiler 1998-01-06 Relational Limits in General Polymorphism 1993-11-17 Learning Under Persistent Drift 1997-06-01 Yoav Freund Pose and Motion from Contact 1998-10-29 Building new tools for Synthetic Image Animation by using Evolutionary Techniques 1996-02-15 RoboShepherd: Learning a complex behavior 1970-01-01 Finite-Horizon Bounded Amplitude Control of Linear Parameter Varying Systems 1997-01-30 Using Metaobject Protocols to Separate Functional and NonFunctional Concerns: An Example 1997-02-25 Improved Error Bounds for Underdetermined System Solvers 1997-04-11 On a Two-Queue Priority System with Impatience and its Application to a Call Center 1970-01-01 A new possibility to monitor collisions of relativistic heavy ions at LHC and RHIC 1998-05-25 A Backstepping Controller for a Nonlinear Partial Differential Equation Model of Compression System Instabilities 1997-04-02 The Role of Data Pre-processing in Intelligent Data Analysis 1995-11-09 A. Famili More on the Efficiency of Interval Routing 1997-04-09 A Cognitive Perspective on Teaching Object Oriented Analysis and Design. 1996-11-29 Caspar Ryan Ghassan Al-qaimari {caspar Support for Constructing Environments with Multiple Views 1996-09-09 Accurate 3D eye tracking for multi viewpoint systems 1997-11-06 Fast Contact Localisation Between Deformable Polyhedra in Motion 1998-04-09 Indexing Valid Time Databases Via B+-trees - The MAP21 Approach 1997-05-01 Coordination and Belief Update in a Distributed Anti-Air Environment 1997-11-24 On Optimal Processor Allocation To Support Pipelined Hash Joins 1996-07-21 Classifying Hyperplanes in Hypercubes Extended Abstract 1997-05-26 A Sparse Approximate Inverse Technique for Parallel Preconditioning of General Sparse Matrices 1998-10-13 Jun Zhang Basic Support for Cooperative Work on the World Wide Web 1997-04-16 Policy Filtering for Planning in Partially Observable Stochastic Domains 1995-02-22 Nevin Lianwen Zhang Fast and Scalable Wireless Handoffs in Support of Mobile Internet Audio 1998-11-06 Noise Reduction in Image Sequences with Sparse Temporal Sampling 1996-02-01 A Distributed Reinforcement Learning Scheme for Network Routing 1996-07-18 Multiway Synchronization Verified with Coupled Simulation 1995-01-23 Joachim Parrow A New Algorithm for Generating Overlapping Grids 1970-01-01 N. Anders Petersson Efficient Solution of the Jacobian System in Newton's Method Close to a Root 1997-06-13 The Video Z-buffer: A Concept for Facilitating Monoscopic Image Compression by exploiting the 3-D Stereoscopic Depth map 1997-04-28 Network Security via Private-Key Certificates 1990-10-12 A Dynamic Regularized Gaussian Radial Basis Function Network For Nonlinear, Nonstationary Time Series Prediction 1997-07-23 Interval Arithmetic In Quantum Mechanics 1995-06-22 Writing Positive/Negative-Conditional Equations Conveniently 1998-05-11 Visualization, Animation And K-L Decomposition Of Spatiotemporal Dynamics In A Pattern-Forming System 1970-01-01 How Scientific Visualization Can Benefit from Virtual Environments 1996-11-19 Completions Of Stratified Ends 1997-05-23 Frank Connolly Global Flow Symmetry Breaking By the Anisotropic Kinetic Alpha-Effect 1997-02-21 The first three-dimensional reconstruction of a celestial object at radio wavelengths: Jupiter's radiation belts 1997-12-29 Interior Point Methods for Combinatorial Optimization 1998-03-05 Automatic Retrieval and Clustering of Similar Words 1998-02-01 Dekang Lin Applying a Machine Learning Workbench: Experience with Agricultural Databases 1996-07-26 Low Complexity Sequential Lossless Coding for Piecewise Stationary Memoryless Sources 1998-01-08 Gil I. Shamir Evaluations of k-fold Euler/Zagier sums: a compendium of results for arbitrary k 1997-12-26 Efficient Learning of Typical Finite Automata from Random Walks 1998-02-13 Interactive Knowledge Base Construction and Maintenance 1996-06-10 Kronecker Structure and Distance Problems for Rectangular Matrix Pencils 1997-11-11 On the Undecidability of Second-Order Unification 1999-02-15 Digital Payment Systems with Passive Anonymity-Revoking Trustees 1998-06-12 Tree expansion and multiscale analysis for KAM tori 1997-04-26 Cellular Robotics: Behaviour in Polluted Environments 1996-07-10 Participatory Design for Linguistic Engineering: the Case of the 1997-05-21 On the Equivalence of Persistent Term Rewriting Systems and Recursive Program Schemes 1997-05-01 Zurab Khasidashvili Evaluating Answer Quality/Efficiency Tradeoffs 1998-05-09 Active Patterns 1997-09-17 Grid Sensitivity And Aerodynamic Optimization Of Generic Airfoils 1995-03-10 Unconditional Transfer in Regulated Rewriting 1996-07-16 Henning Fernau Anonymous Connections and Onion Routing 1997-04-08 Arithmetic and Logic Operations with DNA 1997-11-20 Bin Packing with Discrete Item Sizes, Part I: Perfect Packing Theorems and the Average Case Behavior of Optimal Packings 1997-08-16 Diameter and Mean Distance of Bipartite Digraphs Related to Plane Tessellations 1996-05-29 Distributed Information Coordination in Dynamic Heterogeneous Environments Extented Abstract 1999-03-05 An Extented Randomized Simultaneous Messages 1996-05-01 Peter G. Kimmel Comparison of the OMG and ISO/CCITT Object Models 1993-11-12 Special Track on Computational Intelligence - Genetic Algorithms 1998-07-30 Hans-paul Schwefel Location-Independent Naming for Virtual Distributed Software Repositories 1995-03-02 Multiresolution Approximation of Fractal Transform 1995-07-27 An Object-Oriented Framework for High-Performance Electronic Medical Imaging 1996-01-28 Why are Human-Computer Interfaces Difficult to Design and Implement? 1994-09-19 Brad A. Myers Mixed Consistency: A Model for Parallel Programming Extended Abstract 1995-08-02 Real-Time Penalties in RISC Processing 1997-04-15 Steve Dropsho Remote Monitoring MIB Extensions for ATM Networks 1997-07-02 The Nested Object Model 1995-05-31 A Parallel Stiff ODE Solver based on MIRKs 1996-06-18 Topology change from Kaluza-Klein dimensions 1998-05-05 Radu Ionicioiu Evolution Strategies Applied to Perturbed Objective Functions 1996-08-02 PAC-Learnability of Determinate Logic Programs 1998-07-10 Selecting Tense, Aspect, and Connecting Words In Language Generation 1998-05-20 Inductive Learning Using Generalized Distance Measures 1995-07-14 Vasant Honavar Probabilistic Unification Grammars 1997-05-08 Refining Restriction Enzyme Genome Maps 1999-03-25 Peter Z. Revesz Vision-Steered Audio for Interactive Environments 1996-04-05 Multiple Reflections in One-Dimensional Quantum Scattering 1998-01-01 Wolf Jung Instructions for the Preparation of a Camera-Ready Manuscript 1998-02-20 Nomen Nescio Utilization of Artificial Intelligent Techniques in Making Offers 1999-01-14 A Common LISP Hypermedia Server 1994-05-18 John C. Mallery Optimizing Tensor Product Computations in Stochastic Automata Networks 1997-03-05 Encapsulated Effects 1970-01-01 A Notation for Lambda Terms: A Generalization of Environments 1997-07-17 Yank@tisi.tomsk.su 1998-08-05 Anna E. Yankovskaya Optimal Average Case Sorting on Arrays 1995-03-23 A Comparative Study of Neural Network Optimization Techniques 1997-01-13 Non-Minimal Time Solutions for the Firing Synchronization Problem 1997-08-29 A Symbolic Object-Oriented Picture Interpretation Network: Soo-Pin 1993-02-17 The Polynomial Method and Restricted Sums of Congruence Classes 1995-06-01 Measurement of the Quasi-Free 1998-09-15 Testing Nucleation Theory in Two Dimensions 1999-04-22 cs: Preventing Weak Password Choices 1994-04-19 Eugene H. Spafford Eden - Language Definition and Operational Semantics 1998-04-09 More on Recurrence and Waiting Times 1997-08-29 Abraham J. Wyner Mobility in the Cc-Paradigm 1997-04-15 Radio Location in Urban CDMA Microcells 1998-06-19 Integrating Reactivity, Goals, and Emotion in a Broad Agent 1994-03-15 A Comparison Of Two Approaches: Maximum Entropy On The Mean MEM And Bayesian Estimation BAYES For Inverse Problems 1997-10-29 Ali Mohammad-djafari Double Roots of -1,1 Power Series and Related Matters 1996-07-10 Christopher Pinner Autonomous Robot Control Using a Three-Layered Architecture 1996-04-15 Jacek Malec High-Level Synthesis of Scalable Architectures for IIR Filters Using Multichip Modules 1996-06-05 First-Principles Theory of Structural Phase Transitions for Perovskites: Competing Instabilities 1997-02-20 Goal-Driven Learning: Fundamental Issues A Symposium Report 1994-06-08 An Efficient Implementation and Evaluation of Reid's Multiple Hypothesis Tracking Algorithm for Visual Tracking 1996-08-06 Decoupling Synchronization and Data Transfer in Message Passing Systems of Parallel Computers 1995-07-27 Formalization of Communication and Behaviour in Object-Oriented Analysis 1995-10-16 A Review of A Posteriori Error Estimation Techniques for Elasticity Problems 1998-07-10 R. Verf Urth Parsing of Context-Free Languages 1996-09-19 TREC-5 Interactive Track Report 1997-10-30 Comparison of Two Methods for Increasing the Training Set Size for Neural Networks 1998-12-28 Using Petri Nets for Specifying Active Objects and Generative Communication 1996-11-21 Tom Holvoet The Need for Different Domain-Independent Heuristics 1994-03-29 Recognition of Out-of-Vocabulary Words and their Semantic Category 1998-01-19 Geometric Approach to Inverse Scattering for Hydrogen-like Systems in a Homogeneous Magnetic Field 1997-04-26 Silke Arians The Local Minima Of Fractionally-Spaced Cma Blind Equalizer Cost Function In The Presence Of Channel Noise 1998-10-07 Analysis of Unknown Words through Morphological Decomposition 1996-06-23 Revision History 1996-03-11 Perfect implementation of a Metropolis-Hastings simulation of Markov point processes 1999-03-22 Wilfrid S Kendall Empirical Observations of Class-level Encapsulation and Inheritance 1996-03-11 On a Gap Phenomenon for Isoperimetrically Constrained Variational Problems 1995-10-27 Victor J. Mizel Integrating Intelligent Job-Scheduling Into A Real-World Production-Scheduling System 1997-12-02 Topological Dilaton Black Holes 1998-05-05 Weyl Sums and Atomic Energy Oscillations 1997-04-26 Testing Multivariate Normality, With Applications to Lead Isotope Data Analysis in Archaeology. 1998-12-14 M. J. Baxter Requirements Analysis Using Forward and Backward Search 1997-08-22 Pareto, Population Partitioning, Price and Genetic Programming 1999-02-07 W. B. Langdon How Disoriented Chiral Condensates Form: Quenching vs. Annealing 1997-04-18 Is the Hippocampus a Kalman Filter? 1997-07-31 Approximate Inverse Meets Local Tomography 1999-04-28 Domain-Oriented Architecture Design for Production Control Software 1998-12-22 Advanced Data Assimilation for Strongly Nonlinear Dynamics. 1997-04-09 Edvard Griegsvei A Mining Web Access Logs Using Relational Competitive Fuzzy Clustering 1998-03-27 Visualizing High-Level Communication And Synchronization 1996-07-05 A Catalog Of Algorithms For Approximation 1994-09-06 Eric Grosse Compilation of non-linear, second order patterns on S-expressions 1992-11-02 Christian Queinnec Definition of Volume Transformations for Volume Interaction 1998-11-20 Computational Models of Cortical Visual Processing 1997-05-23 Realistic Expanding Source Model For Relativistic Heavy-Ion Collisions 1998-01-19 Fuzzy Word Meaning Analysis and Representation in Linguistic Semantics 1998-04-19 Burghard B. Rieger Sinp/tnp/94-13 Cupp-94/3 Resonant Neutrino Oscillations And Shock Revival In Type-Ii Supernovae 1998-05-15 New strong sector, odd-parity processes, and the Tevatron 1998-05-23 The Tevatron Holdom On the Security of the Quantum Oblivious Transfer and Key Distribution Protocols 1998-07-15 Dominic Mayers Evolving caching algorithms in C by genetic programming 1997-03-31 Provisioning Algorithms for WDM Optical Networks 1997-12-28 A Layer Architecture for the Integration of Rules, Inheritance, and Constraints 1994-06-01 Interactive Maximum Projection Volume Rendering 1997-04-21 Three-Dimensional Numerical Simulation for Various Geometries of Solid Oxide Fuel Cells 1996-02-15 Improving The Performance Of Optimal Joint Decoding 1999-03-31 A Model of Interaction in Concurrent and Distributed Systems 1998-02-23 Does REM sleep facilitate learning? 1995-09-30 Kevin P Murphy Microkernels Meet Recursive Virtual Machines 1997-03-25 A Cross-Correlation Based Approach to Blind Identification: Analytic Performance Evaluation 1970-01-01 UC: A Set-Based Language for Data-Parallel Programming 1995-03-03 Social Mechanisms of Interaction 1996-04-12 Application of Dynamic Slicing in Program Debugging 1997-09-11 Deterministic Case 1996-03-04 Christophe Pallier 1998-02-13 Scheduling Multithreaded Computations by Work Stealing 1996-03-27 Task Scheduling in Networks 1996-10-29 Bounds for resilient functions and orthogonal arrays Extended Abstract 1999-02-08 Analysis of Small and Medium-Scale Cosmic Microwave Background Experiments 1998-05-12 Multihoming In Computer Networks: A Topology-Design Approach 1995-05-31 A Knowledge Base for a Neural Guidance System 1994-03-10 Strategic Candidacy and Voting Procedures 1970-01-01 Performance Evaluation of a Distributed Architecture for Information Retrieval 1996-11-12 All of us are smarter than any of us: more on the robustness of the Consensus hierarchy Part II 1996-11-06 KdV and NLS Equations as Tri-Hamiltonian Systems 1998-05-23 An Evolutionary Algorithm For Evaluation Of Emission Compliance Options in view of the Clean Air Act Amendments 1997-02-03 On the Hardness of Approximating Shortest Integer Relations among Rational Numbers 1998-02-23 Effectiveness of Caching policies for a web server 1997-10-21 A. L. Narasimha Reddy An Adaptive Global Reduction Algorithm for Wormhole-Routed 2D Meshes 1997-10-01 Experimental Surface Pressure Data Obtained on 1996-08-07 A Non-Standard Injection Between Canonical Frames 1998-01-08 Timothy J. Surendonk The 101 Translation Problems between Japanese and German/English 1997-08-06 Towards a Formal Definition of Security for Quantum Protocols 1998-10-02 vission: An Object Oriented Dataflow System for Simulation and Visualization 1998-11-09 Software Forensics: Can We Track Code to its Authors? 1994-01-21 The Average Case Analysis of Algorithms: Multivariate Asymptotics and Limit Distributions 1997-05-05 Robert Sedgewick A New Method for Bounding the Complexity of Modal Logics 1997-09-07 Kazakov-Migdal Model with Logarithmic Potential and the Double Penner Matrix Model 1998-05-23 AutoFocus - A Tool for Distributed Systems Specification 1997-09-29 Planar Manipulation on a Conveyor with a One Joint Robot 1996-02-01 File Cache Management For Mobile Computing 1997-11-24 Kevin W. Froese k-Diameter and Spectral Multiplicity 1997-06-11 C. Delorme An Update on the Babel System 1994-04-17 Johannes L. Braams Categorical Models of Explicit Substitutions 1999-01-04 Kh0hwdskru3urmhfw6xppdu5hsruw 1998-12-15 Pruning the Two-Dimensional Fast Cosine Transform 1997-10-07 Object-Oriented Components for High-speed Network Programming 1995-10-13 Improving Shared Rules in Multiple Category Domain Theories 1992-04-01 An Optimal Parallel Algorithm for the All-Nearest-Foreign-Neighbors Problem in Arbitrary Dimensions 1999-01-20 External-Memory Algorithms for Processing Line Segments in Geographic Information Systems 1998-01-23 On the Variability of Estimated Measures of Spatial Dependence 1998-02-28 J. Andrew Royle Design and Implementation of a Shared Spreadsheet 1995-06-27 Semantic Universals and Choice Function Theory 1998-06-16 Yoad Winter Query ReFormulation on the Internet: Empirical Data and the Hyperindex Search Engine 1997-05-14 Lorentz Symmetry Violation and High-Energy Cosmic Rays 1997-12-02 Isomorphisms of Diagonalizable Algebras 1996-03-13 V. Yu. Shavrukov An Agent-Based Computational Model for the Evolution of Trade Networks 1997-04-25 Plane Partitions I: A Generalization Of MacMahon's Formula 1999-03-31 Mihai Ciucu Selective Recovery for Long-Duration Transactions in Object-Oriented Database Management Systems 1999-03-18 Exploratory Learning in the Game of 1992-11-25 Barney Pell Smooth Trajectory Planning for a Car in a Structured World 1998-04-09 Batch Classifications with Discrete Finite Mixtures 1998-04-10 Combining Tools for the Verification of Fault-Tolerant Systems 1998-04-30 Planning Tutorial Text in a System for Teaching English as a Second Language to Deaf Learners 1999-02-22 RRANN: A Hardware Implementation of the Backpropagation Algorithm Using Reconfigurable FPGAs 1995-03-20 Virtual Reality Training for the Diagnosis of Prostate Cancer 1998-10-19 Improving Minority Class Prediction Using Case-Specific Feature Weights 1997-10-03 Parallel Scientific Computing in Distributed Systems: The Paralex Approach 1997-02-20 Nearly-Perfect Hypergraph Packing is in NC 1998-03-27 David A. Grable Absence Of Greisen-Zatsepin-Kuzmin Cutoff And Stability Of Unstable Particles At Very High Energy, As A Consequence Of Lorentz Symmetry Violation 1997-05-26 L. Gonzalez-mestres Belief Network Algorithms: a Study of Performance Using Domain Characterisation 1997-01-10 Wavelet Threshold Estimators for Data With Correlated Noise 1996-11-11 On the Difficulty of Software Key Escrow 1998-12-11 Understanding Technical Articles and Their Diagrams 1995-09-21 Hyperspeech: Navigating in Speech-Only Hypermedia 1995-10-24 Barry Arons The Presampler for the Forward and Rear Calorimeter in the ZEUS Detector 1996-09-06 A. Bornheim Multi-Level Prototyping for Real-Time Image Processing VLSI System Synthesis 1994-11-07 Some Remarks on GB Formalization and Implementation 1997-01-30 Michael Dorna Combination Problems for Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification 1996-02-22 Recovering Patch Parameters from the Optic Flow with Auto Associative Neural Networks 1994-12-20 Super Rotator: Incrementally Extensible Directed Network Graph of Sublogarithmic Diameter 1997-09-24 Pradip K Srimani A rapid prototype for TM in LIFE 1994-04-25 Dr. H. Balsters Learning Robot Behaviors Using Genetic Algorithms 1994-10-18 Alan C. Schultz Transition-optimal Token Distribution 1999-04-05 Balanced MultiWavelets Theory and Design 1997-06-03 Martin Vetterli Predictive Models Using Fitness Distributions of Genetic Operators 1998-12-27 John J. Grefenstette Learning of Compositional Hierarchies for the Modeling of Context Effects 1997-09-30 Karl Pfleger The Formal Theory of Birth-and-Death Processes, Lattice Path Combinatorics, and Continued Fractions 1999-05-03 Load Balancing in a Distributed-Memory Or-Parallel System 1996-12-19 Hierarchical Visibility Culling with Occlusion Trees 1998-07-03 Computational Alignment: A New, Unified Program Transformation for Local and Global Optimization 1995-11-22 gridIt 1.0 User Manual 1996-01-19 Bruce P. Ayati Multiplication of Matrices of Arbitrary Shape on a Data Parallel Computer 1992-08-14 Adapting Crossover in a Genetic Algorithm 1994-03-20 William M. Spears An Integrated Framework for Learning and Reasoning 1995-08-25 Logic Program Synthesis from Incomplete Specifications 1998-01-19 Peak Power Estimation Using Genetic Spot Optimization for Large VLSI Circuits 1999-03-15 Michael S. Hsiao An Approximation Algorithm for Computing Minimal Nonintersecting Link Paths 1996-11-10 Statistical Analysis of Regularization Constant --- From Bayes, MDL and NIC Points of View 1998-04-24 Making Sense of Analogies in Metacat 1999-02-17 Prediction of Beta Sheets in Proteins 1997-12-11 List of Publications Related to the Thesis 1998-01-20 Experience with Introducing a New Method of Training in Software Engineering 1997-02-24 Marek Jurkowlaniec Scheduling Parallel Execution of Planning and Action for a Hierarchically-Decomposable Planning Problem 1998-06-24 The Case for Independent Updates 1992-10-13 Hypothesis Testing and Model Selection Via Posterior Simulation 1996-07-23 Adrian E. Raftery A Type-Free Resource-Aware ...-Calculus 1997-02-05 Luca Roversi On the Generation of. . . 1999-01-18 Kan Extensions Along Promonoidal Functors 1970-01-01 Transmitted R. J. Wood Performance Analysis Support for Object Oriented Parallel Scientific Applications 1999-01-19 RRIFF: A Proposal for Interchange of Realistic Scene Descriptions 1998-02-02 Automatic heart localization from a 4D MRI dataset 1998-08-06 Wolfgang Sorgel Testing-Based Abstractions for Value-Passing Systems 1998-12-15 Rance Cleaveland Message Passing Versus Distributed Shared Memory on Networks of Workstations 1995-10-24 Hierarchical Organization of Appearance-based Parts and Relations for Object Recognition 1998-04-08 Access Normalization: Loop Restructuring for NUMA Computers 1999-02-08 On The Dynamics Of Physical Interactive Information Systems 1997-04-26 Denis V. Juriev A Multi-Set Extended Relational Algebra A Formal Approach to a Practical Issue 1993-12-01 A Brief Review of the Command Forces CFOR Program 1996-06-17 Current-Voltage Characteristic of a Partially Ionized Plasma in Cylindrical Geometry by 1997-04-26 Asynchronous Design Methodologies: An Overview 1996-03-29 Scott Hauck Transaction Support for Cooperative Hypermedia Document Authoring -- A Study on Requirements -- Extended Abstract 1995-08-10 Selective Sampling In Natural Language Learning 1995-08-22 Spectral Duality for Planar Billiards 1994-05-02 J. -p. Eckmann Designing Very Large Content-Addressable Memories 1996-05-23 John H. Shaffer Contrastive Accent in a Data-to-Speech System 1998-01-27 Mariet Theune On Robots and Flies: Modeling the visual orientation behavior of flies 1998-10-12 Cooperative Prefetching: Compiler and Hardware Support for Effective Instruction Prefetching in Modern Processors 1998-09-22 Interpolation in SOM: Improved Generalization by Iterative Methods 1995-09-01 Wolfgang Rosenstiel On-line Algorithms for Path Selection in a Nonblocking Network 1996-02-07 Utilization 1999-01-22 Differential Geometry And Applications 1996-04-11 J Anos Szenthe Automatic Analysis of Compound Participle Modifiers in Germanic Languages - Part 1: Danish Compound Participles 1998-03-23 Jens Ahlmann Hansen Formality and Informality in Requirements Engineering 1996-07-01 Joseph A. Goguen Context-Based Similarity Applied to Retrieval of Relevant Cases 1994-12-22 Igor Jurisica All Structured Programs have Small Tree-Width and Good Register Allocation 1996-12-12 Mikkel Thorup Structured Second- and Higher-Order Derivatives through Univariate Taylor Series 1997-01-27 A Further Investigation On AR-Vector Models For Text-Independent Speaker Identification 1998-11-14 Model-Based Testing in Practice 1999-01-13 An Interface for Melody Input 1999-02-10 Safety for Branching Time Semantics 1998-09-24 Profiling in the Presence of Optimization and Garbage Collection 1996-05-14 Throughput Approximation of Decision Free Processes Using Decomposition 1997-03-14 Enhanced Signatures For Event Classification: The Projector Approach 1999-02-24 An Implicitly Restarted Symplectic Lanczos Method for the Hamiltonian Eigenvalue Problem 1997-08-19 Peter Benner An Application Perspective to Deductive Object Bases 1994-11-18 Word Order without Phrase Structure: A Modal Logic for Dependency Grammar 1997-08-20 Norbert Broker Parallel Model Valuation for Circuit Simulation on the PACE Multiprocessor 1997-01-02 Real-Time Verification of STATEMENT Designs 1998-04-20 Evaluating High Level Parallel Programming Support for Irregular Applications in ICC++ 1997-09-05 Vector Spaces of Matrices of Low Rank and Vector Bundles on Projectic Spaces: an addendum to a paper by Eisenbud and Harris 1995-06-25 E. Ballico Hierarchical Shape Description of MR Brain Images Based on Active Contour Models and Multi-Scale Differential Invariants 1996-12-09 Direction Relations and Two-Dimensional Range Queries: Optimisation Techniques 1999-01-26 Stochastic Modeling And Entropy Constrained Estimation Of Motion From Image Sequences 1999-02-12 Five Axioms of Alpha-Conversion 1998-04-05 Andrew D. Gordon Using View-Based Models to Formalize Architecture Description 1998-10-19 Online Processing Redux 1997-11-05 Joseph M. Hellerstein Efficient computation of full Lucas sequences 1996-02-14 On the Temporal Structure of Events 1997-04-28 A Comparison of 1-D and 2-D Data Mapping for Sparse LU Factorization with Partial Pivoting 1997-02-26 The 2-Hop Spanning Tree Problem. 1997-09-22 Geir Dahl Humans Plus Agents Maintain Schedules Better than Either Alone 1998-04-10 Locus Agreement in American Sign Language: An HPSG Analysis 1998-07-31 Kearsy Cormier The Expected Size of Heilbronn's Triangles 1999-02-02 Probabilistic Temporal Networks 1996-11-14 Buffer memory optimization in DSP applications An Evolutionary Approach 1998-10-02 HPARC: A Mixed Shared Memory and Message Passing Programming Style for Heterogeneous Local Area Networks 1998-04-05 Yosi Ben-asher Visual-Textual Prototyping of 4D Scenes 1999-03-25 Identification of Wiener Models 1998-05-15 Anna Hagenblad Signing, Sealing, and Guarding Java Objects 1998-12-21 Li Gong Bridge: A Retargetable Extensive Profiling Tool 1998-09-03 Computational Machine Learning in Theory and Praxis 1995-09-22 Ming Li EDPEPPS: An Environment for the Design and Performance Evaluation of Portable Parallel Software 1998-04-25 Extensions of normal OOA methods and techniques for distributed Real-Time Systems 1996-03-21 Daniel Moldt Hierarchical Algorithms and Architectures for Parallel Scientific Computing 1970-01-01 Tony F. Chan Vehicle Internal Architecture BASEMENT Real-Time System: Concept Description 1995-08-24 Nonparametric Correction of Distortion 1998-08-18 Technical aspects of the new AAO/UKST 1998-01-07 Quentin A Parker Treating Top Differently from Charm and Up* 1998-05-14 Paul H. Frampton Bibliography 1998-09-30 The Adaptation of Proof Methods by Reformulation 1996-11-28 OBPN²: An Object Based Petri Net Programming Notation Extended Abstract 1997-01-31 Using Simple Page Placement Policies to Reduce the Cost of Cache Fills in Coherent Shared-Memory Systems 1995-06-04 Correlation based Vergence Control using Log-polar Images 1996-06-19 Lisboa Codex Direct Dependency-Based Determination of Consistent Global Checkpoints 1998-10-08 Interaction Protocols in Agentis 1998-02-23 DEVS-C++: A High Performance Modelling and Simulation Environment 1995-12-15 Simon F. Ross 1998-05-25 Simon F. Ross Design and Implementation of DDH: A Distributed Dynamic Hashing Algorithm 1995-06-04 Robert Devine On Radical Congruence Systems 1999-04-16 A General Technique for Implementation of Efficient Priority Queues 1998-12-02 Applications of a Logical Discovery Engine 1995-03-29 Mars Pathfinder Microrover - Implementing A Low Cost Planetary Mission Experiment 1997-02-21 Near-Earth Asteroids And Meteor Showers 1997-03-03 P. B. Babadzhanov Performance Considerations in a Virtual Shared Memory System 1996-11-19 Efficient Support for Fine-Grain Parallelism on Shared-Memory Machines 1999-02-04 Replication Does Survive Information Warfare Attacks 1998-02-26 J. Mcdermott Concept-Based Retrieval using Controlled Natural Language 1997-06-11 Reduce Conflicts between Vector Streams in Complex Memory Systems 1995-03-03 Determining The Structure Of Nonlinear Models 1997-08-05 Tomislav Prokopec 1997-10-23 Tomislav Prokopec A Fast Recursive Algorithm For Computing Cr-Type Bounds For Image Reconstruction Problems 1992-11-27 J. A. Fessler Characterizing the Generalization Performance of Model Selection Strategies 1997-07-15 Distributed Selective Dissemination of Information 1995-11-08 GENETIC ALGORITHMS APPLIED TO FORMAL NEURAL NETWORKS: parrallel genetic implementation of a Boltzmann machine and associated robotic experimentations 1999-03-18 Spatio-Temporal Approaches to Computation of Optical Flow 1997-07-14 Growing Importance of Conference Proceedings in Astronomy and Astrophysics and Its Impact on Collection Development 1997-03-06 Directionally Reinforced Random Walks 1997-11-26 Routing Through Networks with Hierarchical Topology Aggregation 1998-03-20 A Fermi Field Algebra as Crossed Product 1997-04-26 An Efficient 1998-08-05 Switching Kalman Filters 1999-04-14 Kevin P. Murphy Communicating Java Threads 1970-01-01 Excited Heavy Mesons Beyond Leading Order in the Heavy Quark Expansion 1998-06-23 Interactive Communication of Balanced Distributions and of Correlated Files 1996-03-20 Alon Orlitsky Attempto Controlled Natural Language for Requirements Specifications 1999-04-13 Programming Conceptual Models Using Conceptual Graph Modules 1997-07-31 Jens-uwe Moeller A New Method for Correction of Images of Origami/Polyhedral Objects 1993-01-27 Anders Heyden On Combinatorial Auction and Lagrangean Relaxation for Distributed Resource Scheduling 1997-12-09 Transportable Agents 1994-11-16 System Modeling Resurrected 1998-05-04 A Parallel Search Algorithm for the N-Queens Problem 1996-10-02 Rok Sosic A Reprogrammable Processor for Fractal Image Compression 1997-03-03 Visualizing Real-Time Multivariate Data Using Preattentive Processing 1996-11-18 An Overview of Temporal and Modal Logic Programming 1997-02-13 Mehmet A. Orgun MIXes in Mobile Communication Systems: Location Management with Privacy 1996-09-20 Automated Acquisition of User Preferences 1996-10-23 A comparison of Noether charge and Euclidean methods for Computing the Entropy of Stationary Black Holes 1998-05-12 Optimising the Complete Image Feature Extraction Chain 1998-06-24 Exchange Anisotropy in Epitaxial and Polycrystalline NiO/NiFe Bilayers 1970-01-01 Workstation Cluster Software Environment -- MPC++ Approach -- 1996-09-18 The LRU-K Page Replacement Algorithm For Database Disk Buffering 1996-11-14 Efficiently Supporting Hard/Soft Deadline Transactions in Real-Time Database Systems 1996-08-24 Pattern Discovery In Time-Oriented Data 1998-12-07 Asymptotic Exit Location Distributions in the Stochastic Exit Problem 1997-04-26 Stability and Stabilization of an Active Surface. 1997-06-06 Machine: A Model Of Action For Multi-Agent Domains 1997-07-23 Luis Castillo Simplex Scheduling: More than Lifetime-Sensitive Instruction Scheduling 1995-03-29 Benoit Dupont De Dinechin A comparison of the eigenvalues of the Dirac and Laplace operator on the two-dimensional torus. 1999-01-05 Eliminating Intermediate Data Structures By Data Refinement 1996-10-29 The SYNTHESIS Environment for Component-Based Software Development 1999-02-08 Chrysanthos Dellarocas Qualitative DrugLead Discovery 1997-12-17 Axisymmetric Aerodynamic Numerical Analysis Of A Turbofan Engine 1995-11-08 Mark E. M. Stewart Transition cascade semantics and first assessments results for ramification Preliminary report 1996-06-25 Erik Sandewall Cascaded Execution: Speeding Up Unparallelized Execution on Shared-Memory Multiprocessors 1998-10-16 On The Creation Of Conjugate Points For Hamiltonian Systems 1997-09-12 MiSFIT: A Tool for Constructing Safe Extensible C++ Systems 1998-10-23 Synthetic Data for Testing in Databases 1999-03-28 Ascertaining the Underlying Distribution of a Data Set 1998-03-06 Heterogeneous Built-in Resiliency of Application Specific Programmable Processors 1996-07-11 A Variational Method for Nonlinear Eigenvalue Problems 1997-10-15 Distributed Shared Memory for New Generation Networks 1995-03-28 CLASSIC planning for mobile robots 1996-09-24 Consistency for Non-Linear Functions of the Periodogram of Tapered Data 1993-08-30 The Capacitated K-Center Problem 1998-09-05 An online presentation of the work in the paper titled "State Reduction Using Reversible Rules", published in DAC'96. 1996-08-07 An Optimal MethodTo Estimate The Spherical Harmonic Components Of The Surface Air Temperature 1995-10-04 Restructuring Databases for Knowledge Discovery by Consolidation and Link Formation 1998-10-16 Adaptive Allocation in the Presence of Missing Outcomes 1998-07-09 A New Exact Algorithm for Rectilinear Steiner Trees 1997-09-02 David M. Warme BPP has Subexponential Time Simulations unless EXPTIME has Publishable Proofs 1994-04-21 When focus and negation meet: an interaction between two foci: a Cantonese case study 1998-06-19 Juliet Wai-hong Du Sorted and/or sortable permutations Extended abstract 1998-04-14 The Virtual Computing Environment 1998-07-09 Randomized OBDDs and Model Checking 1998-06-09 Marek Karpinski Evaluating PGHPF on the Cray T3D/T3E 1998-09-02 Gavin J. Pringle Decision Problems for Propositional Linear Logic 1998-08-21 An Interval Classifier for Database Mining Applications 1996-02-21 Density Estimation using Support Vector Machines 1999-03-16 Execution Models For A Massively Parallel Prolog Implementation 1999-01-05 P. Kacsuk Linear and Unit-Resulting Refutations for Horn Theories 1997-05-21 Peter Baumgartner Fast Computation of a Class of Running Filters 1998-01-26 On Cyclotomic Polynomials With±1 Coefficients 1998-09-10 A Derivation Formula for Convex Integral Functionals Defined on 1995-10-26 Bringing Music to the Web 1995-06-01 Jacco Van Ossenbruggen Evidence-based Static Branch Prediction using Machine Learning 1997-03-19 Dynamic Discovery of Simulation Entities Using Bamboo and HLA 1999-03-02 Reasoning with Continuations II: Full Abstraction for Models of Control 1995-05-04 Wireless Client/Server Computing for Personal Information Services and Applications 1998-01-16 An Object-Oriented Heterogeneous Database Architecture 1995-05-17 Using Physically-Based Models and Genetic Algorithms for Functional Composition of Sound Signals, Synchronized to Animated Motion 1997-03-19 Motion of a Ball on a Rough Inclined Plane 1997-12-08 Design and Analysis of a High-Performance Packet Multiplexer for Multiservice Networks with Delay Guarantees 1994-08-18 Shock Induced Surface Instabilities And Nonlinear Wave Interactions 1993-11-29 Capturing Uncertainty in Models of Expertise 1998-02-06 Virtual Reality for Visualisation 1998-12-04 Claire Knight Systematic Derivation of Incremental Programs 1970-01-01 The Isotropy of the Pressure in Anisotropic Systems 1994-08-26 A. J. Masters Towards a Scalable Architecture for Real-Time Volume Rendering 1996-07-19 TRANSITION TO HIGH SPEED NETWORKS SuperJANET EXPERIENCE 1997-01-28 A Web-based Animator for Object Specifications in a Persistent Environment 1998-05-25 On Some Jordan-Hölder-Dedekind Type Theorems In Lattices 1997-06-16 Detecting Hunts in Wildlife Videos 1999-02-20 A Conceptual Frame-based Ontology for the Law 1997-08-19 Robert Van Kralingen Image Feature Extraction by Sparse Coding and Independent Component Analysis 1999-01-19 µDatabase: A Toolkit for Constructing Memory Mapped Databases 1995-03-26 The Stick-e Note Architecture: Extending the Interface Beyond the User 1998-02-17 Jason Pascoe ASL: Architectures for Speech and Language Processing 1997-10-01 Wolfgang Menzel Computing the Well-founded Semantics for Constraint Extensions of Datalog 1998-08-05 David Toman Kohonen Neural Network for Image Coding Based on Iteration Transformation Theory 1995-12-20 A High-Performance Data Server for High Energy Physics 1997-09-30 WebWatcher: A Tour Guide for the World Wide Web 1998-10-14 Flow Simulation With an Adaptive Finite Element Method on Massively Parallel Systems 1995-06-23 Making Type Inference Practical 1995-04-11 The Identification and Resolution of Semantic Heterogeneity in Multidatabase Systems 1996-07-01 Interactive Resource Allocation by Problem Decomposition and Temporal Abstractions 1995-11-11 Berthe Y. Choueiry Empty Interworkings and Refinement 1998-10-15 Speech Recognizer Quality Assessment for Linguistic Engineering SQALE 1994-11-03 Lori F. Lamel Genetic and Local Search Algorithms as Robust and Simple Optimization Tools 1996-10-26 Non-compositional Representation in Connectionist Networks 1999-01-11 Ronald L. Chrisley Rapid Learning with Parametrized Self-Organizing Maps 1995-06-20 Helge Ritter *+4,68/029351./79-!=;:??@ Cgdeihfab 1996-10-21 The Design and Analysis of a Stateless Data-Flow Architecture 1995-06-17 David F. Snelling Software Visualization As A Pedagogical Tool: Redressing Some ITS Fallacies 1999-01-19 The Semantics of Blocking and Nonblocking Send and Receive Primitives 1996-03-25 Bounding Delays in Packet-Routing Networks 1996-06-03 Linear Solution of the Combined Source- Channel Coding Problem Using Joint Optimal Analysis and Synthesis Filter Banks 1998-08-12 Tor A. Ramstad Zeta Functions with Dirichlet and Neumann Boundary Conditions for Exterior Domains 1997-04-26 J. -p. Eckmann A New Audio Device Driver Abstraction 1999-03-17 Dickon Reed Don't Bleach Chaotic Data 1998-10-02 Analyzing the Real-Time Properties of a Dataflow Execution Paradigm using a Synthetic Aperture Radar Application 1998-02-25 An Approach to Interface Synthesis 1998-02-19 Reducing Parallel Overheads Through Dynamic Serialization 1999-01-27 The Exact Cost of Exploring Streets with a CAB Extended Abstract 1998-07-24 Smoothing in an Underdetermined Linear Model with Random Explanatory Variables 1998-04-06 Gary Sneddon An asymptotically optimal multiversion B-tree 1996-12-03 Type Inference with Constrained Types 1997-05-02 Evaluation of a Dynamic Bandwidth Pricing Scheme CMPT 855 Project 1997-08-25 Leanne P. Breker Metrics for Target Recognition 1998-01-02 Anuj Srivastava KnightCap: A chess program that learns by combining 1998-04-20 Implementing Atomic Objects with the RelaX Transaction Facility 1994-01-26 Solving Various Weighted Matching Problems with Constraints 1997-04-15 Better Optical Triangulation Through Spacetime Analysis 1995-08-05 Resonances As Possible Representation Of Speech In The Auditory-To-Articulatory Transform 1996-05-09 Optimization of the Backpropagation Algorithm for Training Multilayer Perceptrons 1995-11-27 Explorations in a Natural Language Multimodal Information Access Environment 1995-07-04 Cramér-Rao Lower Bounds for Atomic Decomposition 1998-08-31 Color- and Texture-Based Image Segmentation Using EM and Its Application to Content-Based Image Retrieval 1998-11-25 Scaling and Structural Condition Numbers 1996-08-14 Arnold Neumaier Prosodic Transcription Of Glasgow English: An Evaluation Study Of Glatobi 1998-08-18 Refining Hygienic Macros for Modules and Separate Compilation 1998-08-13 Matthias Blume PUBLIC: A Decision Tree Classifier that Integrates Building and Pruning 1998-11-13 A Non-linear Generalisation of PDMs using Polynomial Regression 1995-07-12 Simultaneous Passification and Stabilization of a Class of Nonlinear Minimum Phase systems Via Static Output Feedback 1997-12-05 and T. Riemann 1995-09-20 D. Bardin The Structure of Assignment, Precedence, and Resource Constraints in the ILP Approach to the Scheduling Problem 1995-03-24 The Dimension Theory Of Hyperbolic Dynamics 1998-06-25 Luis M. Barreira Interference Avoidance via Waveform Agility 1999-03-29 Efficient Organization And Access Of Multi-Dimensional Datasets On Tertiary Storage Systems 1995-05-09 Generating a Compiler for a Lazy Language by Partial Evaluation 1994-06-14 The Problem of the Kings 1997-12-26 Herbert S. Wilf Object-Oriented Pattern-Based Parallel Programming with Automatically Generated Frameworks 1999-02-25 On the Validity of Mean-Field Amplitude Equations for Counterpropagating Wavetrains 1997-04-26 New Aspects of Geometrical Calculus With Invariants 1998-06-15 Well-Behaved IDL Theories 1998-10-16 Debugging Optimized Code Without Being Misled: Currency Determination 1993-07-07 Practical Application of Model Checking in Software Verification 1999-04-03 Building Parameterized Canonical Representations to Achieve Interoperability among Heterogeneous Databases 1995-02-05 Multi-Objects Interpretation 1996-09-02 An Adaptive Multimodal Interface For Wireless Applications 1998-11-30 Gauss Sums For The Working Topologist 1996-06-01 Holistic Schedulability for DISTRIBUTED Hard REAL-TIME SYSTEMS 1998-02-25 The Virtual Wires Emulation System: A Gate-Efficient ASIC Prototyping Environment 1994-01-07 Meaningful Change Detection in Structured Data 1997-04-21 An Evolutionary Heuristic for the Minimum Vertex Cover Problem 1994-10-25 Stochastic Mathematical Programs With Equilibrium Constraints 1998-07-28 Michael Patriksson Representing Control in the Presence of First-Class Continuations 1992-04-27 Symbol Synchronization For Multichannel Modulation 1998-05-06 Fred Daneshgaran Towards Performance Evaluation with General Distributions in Process Algebras 1998-06-05 Satisfiability-Based Algorithms for 0-1 Integer Programming 1998-08-07 Analytical Modeling 1998-06-19 The Scheme Machine 1994-09-02 Robert G. Burger N-Dimensional Finite Element Package 1996-02-20 A Unix Network Protocol Security Study: Network Information Service 1993-09-08 Reducing Branch Costs via Branch Alignment 1996-11-21 Towards a Computational Theory of Rat Navigation 1994-08-29 Applications of Geometric Separator Theorems 1998-05-18 Generating F 1997-06-27 Finding Factors - Learning to Classify Case Opinions under Abstract Fact Categories 1998-08-05 Combining Logic and Control to Characterize Global Invariants of Prolog Programs 1996-01-24 Reforming Compilation of Logic Programs 1992-06-02 Hakan Millroth On the Digit Test 1970-01-01 Hannes Leeb Limit Probabilities for Random Sparse Bit Strings 1997-12-26 Katherine St. John A Comparison of Multithreading Implementations 1998-09-09 Range of Validity of the D-Brane - Black Hole Correspondence 1998-05-24 Arvind Rajaraman Goal-Driven Learning in Multistrategy Reasoning and Learning Systems 1995-01-05 How to Shift Bias: Lessons from the Baldwin Effect 1997-03-27 Peter Turney Automatic Transcription Of English Broadcast News 1998-03-31 Design and Implementation of a Replay Framework based on a Partial Order Planner 1996-04-14 Segmentation of Text/image Documents Using Texture Approaches 1995-03-06 Biological and Mathematical Approaches to Vascular Development 1998-04-06 Jie Yu Experiments with a Bayesian game player 1996-12-02 Designing a Connectionist Network Supercomputer 1996-02-22 Reducibility and Completeness 1998-05-08 Analysis of the SSL Protocol 1995-10-11 A Lower Bound On Determinants From Linear Programming 1997-07-25 Bahman Kalantari Periodic Orbits of Delay Differential Equations under Discretization 1997-06-30 Management Information Base MIB Extensions for Asynchronous Transfer Mode ATM 1998-10-07 Wavelet and Wavelet Packet Compression of Electrocardiograms 1995-08-31 Michael L. Hilton Persistent Object Systems and Interoperability: Linguistic and Architectural Requirements 1996-12-17 Kazimierz Subieta Document Layout Structure Extraction Using Bounding Boxes of Different Entities 1998-04-13 Representations Of The Hecke Algebra On A Family Of Rational Functions 1997-01-28 Katsuhisa Mimachi Object-Based Representation And Compression Of Image Sequences 1997-10-03 LYCOS: the Lyngby Co-Synthesis System 1998-02-19 Adaptive Stabilization of Uncertain Discrete-time Systems via Switching Control: The Method of Localization 1999-02-17 On The Optimallity Of The Backward Greedy Algorithm For The Subset Selection Problem 1998-05-19 Calibration And Validation Studies Using Img Data 1999-02-16 The YMelt project 1970-01-01 Adaptation-Guided Retrieval in EBMT: A Case-Based Approach to Machine Translation 1997-06-04 Application Level Framing and Automated Implementation. 1995-06-14 Evts Document Id Tecn Comment 1997-09-23 Controllability with Unilateral Control Inputs 1996-12-29 DLs for DLs: Description Logics for Digital Libraries 1998-04-29 Christopher A. Welty A Survey of QoS Architectures 1996-07-13 Surface Waves and Pattern Formation in Vibrated Granular Beds 1997-01-08 S. Luding Tioga: A Database-Oriented Visualization Tool 1998-04-20 Unknown 1998-05-25 Bayesian Information Criterion for Censored Survival Models 1999-02-25 Blind Equalization Using the Constant Modulus Criterion: A Review 1998-11-06 Transverse Instabilities in the LHC 1997-09-18 J. Scott Berg Parallel Algorithms for Hierarchical Clustering 1997-07-16 Clark F. Olson Fixpoint Iteration with Subsumption in Deductive Databases 1996-12-11 A Formal Model of Several Fundamental VHDL Concepts 1996-08-05 David M. Goldschlag Radial Basis Function Networks inNonparametric Classification and Function Learning 1999-01-13 Composition Of Transfer Rules In A Multi-Lingual Mt System 1997-03-27 Reasoning About Unpredicted Change and Explicit Time 1997-09-03 Bitstream Neurons for Graph Colouring 1997-09-04 Review of Particle Physics: C. Caso 1998-06-05 Asynchronous Transpose-Matrix Architectures 1997-02-19 Dialogue and Deliberation 1998-03-31 The Zombie Attack on the Computational Conception of Mind 1997-05-15 Selmer Bringsjord Using Information Extraction to Improve Document Retrieval 1998-11-25 Geometric Aspects of SL2-Invariant Second Order Ordinary Differential Equations 1995-07-25 Gunter Czichowski Rule Induction with CN2: Some Recent Improvements 1998-06-08 Chaos in Robertson-Walker Cosmology 1997-08-01 A Compact Petri Net Representation for Concurrent Programs 1996-03-15 How to Combine Ordering and Minimizing in a Deontic Logic based on Preferences 1997-03-21 Yao-hua Tan This is an Example of a Title with only the Main Words in Capitals 1994-06-21 The CCLRC HPCI Centre at Daresbury Laboratory 1998-01-22 Replacing the Axioms for Connecting Lines and Intersection Points by Two Single Axioms 1998-04-22 Li Dafa Towards a Theory of Movie Database Queries 1998-12-27 Bart Kuijpers Exploiting Parallelism In Functional Languages: A "paradigm-Oriented" Approach 1995-05-26 Fethi A. Rabhi Comprehensive Hardware and Software Support for Operating Systems to Exploit MP Memory Hierarchies 1997-02-07 Compact and Unforgeable Key Establishment over an ATM Network 1998-03-26 Concerning the Generating Set of ... 1996-07-07 A Theorem Prover for Prioritized Supernormal Defaults 1994-10-05 Stefan Brass XiPi Theta GammaDelta 1996-09-17 An Improved Digital Waveguide Model of a Flute - Implementation Issues 1996-09-16 Matti Karjalainen Tidal Interactions In M81 Group 1997-11-26 M. S. Yun Adaptively Parameterised Evolutionary Systems: Self Adaptive Recombination and Mutation in a Genetic Algorithm 1996-06-12 Constraint Management in Loosely Coupled Distributed Databases 1996-06-27 Continuous Motion Plans for Robotic Systems with Changing Dynamic Behavior 1996-07-19 Recombination and Error Thresholds in Finite Populations 1998-11-05 Empirical Investigation of Software Reuse in Object-Oriented Systems 1995-03-20 Raj Tewari Interest-Focused Tutoring: A Tractable Approach to Modeling in Intelligent Tutoring Systems 1996-03-15 Invalidation in Large Scale Network Object Caches 1994-12-03 Kurt Jeffery Worrell A Feature-based Constraint System for Logic Programming with Entailment 1995-02-02 Embodied System Life 1997-06-26 Rolf Pfeifer A Quantum Algorithm for Finding the Minimum 1998-12-02 Christoph Durr On Tractability of Path Integration 1999-05-04 Grzegorz W. Wasilkowski Evolution of the Orbital Period of Her X--1: Determination of a New Ephemeris using RXTE Data 1970-01-01 Practical and Provably-Secure Commitment Schemes from Collision-Free Hashing 1999-02-08 The Napier88 Reference Manual 1997-03-11 Combining Constraint Network and Causal Theory to Solve Scheduling Problems from a CSP Perspective 1997-11-13 Robert Rodosek A Priori Bounds And Renormalized Morse Indices Of Solutions Of An Elliptic System. 1997-10-28 Shape Description Methods for Medical Images 1996-12-09 Julia Anne Schnabel Aperiodic Micro Screen Design using DBS and Training 1998-04-21 How to Edit "It"; or: A "Black-box" Constraint-Based Framework for User-Interaction with Arbitrary Structures 1995-05-26 Segmentation of Brain Tissue from MR Images 1995-06-27 Analysis and Numerical Solution of Control Problems in Descriptor Form 1999-02-04 Efficient Generation of k-Directional Assembly Sequences 1996-06-07 Sequencing Run-Time Reconfigured Hardware with Software 1996-03-28 Bekenstein-Hawking entropy from a phenomenological membrane 1995-04-27 Carsten Gundlach Analytical Partition of Software Components for Evolvable and Reliable MEMS Design Tools 1999-01-30 Data Representation Specialization 1997-09-15 Understanding the power of the virtually-synchronous model Extended Abstract 1998-08-28 Alain Sandoz Two-link Approximation Schemes for Loss Networks with Linear Structure and Trunk Reservation 1998-09-10 The Challenges of Real-Time AI 1998-09-05 Surface/surface Intersections: A Three States Classification 1996-10-22 The Proof of a Conjecture of Simion for Certain Partitions 1998-07-27 Martin Hildebrand Image Thresholding by Indicator Kriging 1999-03-23 High-Level Synthesis Under Local Timing Constraints Using Genetic Algorithms 1997-06-22 Hierarchical Specification of Graphical User Interfaces using a Graph Grammar Approach 1998-01-28 BOS is Boss: A Case for Bulk-Synchronous Object Systems 1999-04-13 Reach Set Computation Using Optimal Control 1997-12-28 Pravin Varaiya Growing and Animating Polygonal Models of Animals 1997-06-05 Phonological Events 1998-07-02 SSS* = alpha-beta + TT 1997-03-07 A Characterization of the Stochastic Process Underlying a Stochastic Petri Net 1997-01-05 Primitives of Sequential and Parallel Computation 1999-01-05 COMPaS: A Pentium Pro PC-based SMP Cluster and its Experience 1998-02-03 Program Development Schemata as Derived Rules 1999-02-09 Penny Anderson Automated Parallel Solution of Unstructured PDE Problems 1995-05-12 An Extended Framework for Default Reasoning 1992-09-21 M. A. Nait Abdallah Development of The RU Hub4 system 1997-04-14 Optimum Modulo Schedules for Minimum Register Requirements 1997-03-19 Re E. Eichenberger The Graph Visualization System daVinci - A User Interface for Applications 1998-07-06 The Data Warehouse of Newsgroups 1998-12-09 Himanshu Gupta An Intelligent Tool for Process Synthesis 1998-05-25 Similarity Relation as a Basis for Rough Approximations 1996-04-30 Evts Document Id Tecn Comment 1997-09-23 Logic Program Schemata: Synthesis and Analysis 1995-01-26 Pierre Flener Meta-level Architecture for Extendable C++ 1995-03-17 Yutaka Ishikawa Hierarchical Hybrid Control: a Case Study 1994-08-17 Truncated Block Newton and quasi-Newton methods for sparse systems of nonlinear equations. Experiments on parallel platforms 1997-05-31 Making Set-Constraint Program Analyses Scale 1996-08-16 Teapot: Language Support for Writing Memory . . . 1996-03-02 Hypertext Transfer Protocol - HTTP/1.1 1998-02-19 A General FeedforwardNeural Network Model 1997-11-28 On the Structure of Cellular Algebras 1999-04-21 Performance Analysis of a WWW Server 1996-09-11 Towards a Meta-Theory of Operational Semantics 1995-05-02 Andrew Wilson Using Successive Approximations of Equivalences to Model Reliability in Safety-Critical Design 1998-01-19 Maintaining Cross Viewpoint Consistency using Z 1995-04-20 Object-Oriented Programming in Typed Lambda-Calculus: Exercises and Solutions 1998-07-26 Benjamin C. Pierce Requirements For The Implementation Of WOS Protocols 1998-05-29 Gilbert Babin TOP500 Supercomputer Sites 1996-06-18 Sub-Elliptic Boundary Value Problems for Quasilinear Elliptic Operators 1997-01-07 Empty Interworkings and Refinement 1999-01-28 An Automata-Theoretic Approach to Branching-Time Model Checking 1998-06-17 A Refined View of the Box Algebra 1997-02-14 Eike Best Towards Optimal Scalability in Predictive Video Coding 1999-05-11 A Methodology Integrating Formal and Informal Software Development 1997-09-29 Barbara Paech The Evolution of Distorted Rotating Black Holes I: Methods and Tests 1999-01-20 Steven R. Brandt Probing the lexicon in evaluating commercial MT systems 1997-06-05 Martin Volk Internal Lifshits Tails For Random Perturbations Of Periodic Schrödinger Operators 1997-04-26 Eric Klopp Success And Limitations In Automatic Parallelization Of The Perfect Benchmarks Programs 1992-10-20 William Joseph Blume Discrete Models For Multidimensional System Simulation 1996-04-26 Rudolf Rabenstein A New Deflation Criterion for the QR Algorithm 1997-10-01 Mario Ahues A Projection Method for the Solution of Rectangular Systems 1996-07-05 Iain S. Duff Wireless Application and API Design 1996-05-14 Assessing Users' Subjective Satisfaction with the Information System for Youth Services ISYS 1998-09-05 Linking Information Reconciliation and Privacy Amplification 1996-11-28 Diagnosis of Ill-typed Programs 1995-03-01 Christopher T. Haynes Learning of Personal Visual Impression for Image Database Systems 1997-08-25 Constraints For Biotechnological Process Intensification From Metabolic Network Stoichiometry 1995-12-07 Lower Order Circle and Ellipse Hough Transform 1997-11-24 Inferring call and success types for CLP programs 1998-11-02 Matrix Inversion using Quadtrees Implemented in Gofer 1995-05-22 On the Interaction Between ISA and Cardinality Constraints 1996-06-19 Parameterized Programming and Software Architecture 1996-07-14 Joseph A. Goguen Reward Functions for Accelerated Learning 1997-08-14 Maja J Mataric Nonlinear Principal Components Analysis of Neuronal Spike Train Data 1997-07-24 David Fotheringhame Feedback-Based Scheduling: a Toolbox Approach 1970-01-01 Applying Logic Programming to the Specification of Complex Applications 1997-06-30 A Tupleware Approach To Domain Decomposition Methods 1997-06-25 Craig C. Douglas Oriented Singular Homology 1970-01-01 Theoretical Basis of Stellar Activity Cycles 1997-09-19 Axel Brandenburg Resume of Kumar Ramaiyer 1996-05-29 On Routing Algorithms With End-To-End Delay Guarantees 1998-08-11 Smooth Entropy and Rényi Entropy 1997-05-20 Christian Cachin Fuzzy Selection and Blending of Behaviors for Situated Autonomous Agent 1997-06-04 Reconstructing Polyhedral Models of Architectural Scenes from Photographs 1996-01-20 Categorization of Software Errors that led to Security Breaches 1998-10-27 Supporting the Restructuring of Data Abstractions through Manipulation of a Program Visualization 1997-03-24 Integrating Independently-Developed Components in Object-Oriented Languages 1998-11-25 Computer Networks 1998-05-30 Diffusion Limit of a Hyperbolic System with Relaxation 1998-07-31 Collaboration Support in Networked Distance Learning 1998-03-26 Lutz Wegner Quantitative Modeling of User Preferences for Plan Recognition 1997-01-13 Mathias Bauer Reduced-order modeling of large passive linear circuits by means of the SyPVL algorithm 1996-06-06 Large Deviations For Two Scaled Diffusions 1998-11-12 Robert Liptser Cooperation Structures 1997-09-03 Knowing What Doesn't Matter: Exploiting The Omission of Irrelevant Data 1995-11-02 On Goal-Directed Provability in Classical Logic 1995-09-07 James Harland Anonymous Internet Mercantile Protocol 1994-03-03 A Performance Prediction Framework for Data Intensive Applications on Large Scale Parallel Machines 1998-09-30 On Computing a Set of Points meeting every Cell Defined by a Family of Polynomials on a Variety 1997-02-23 BDD Variable Ordering forInteracting Finite State Machines 1995-07-13 Dynamically Adapting Kernels in Support Vector Machines 1999-04-06 Triangulations With Very Few Geometric Bistellar Neighbors 1998-09-23 Francisco Santos A Schema-Based Approach to Teaching Programming in Lisp and Prolog 1997-05-21 Fast Incidence Detection trough Movement Classification 1996-12-30 Petr Hejda Applications of a Logical Discovery Engine 1998-06-18 An Annotated Bibliography on Object--Orientation and Deduction 1995-02-10 The Equivalence of Bottom-Up and Top-Down Tree-to-Graph Transducers 1999-01-20 Design of a Scalable Event Notification Service: Interface and Architecture 1998-11-16 Codes for Data Synchronization with Timing 1999-01-08 Design and Implementation of a 1.2 Gbit/s ATM Cell Buffer using a Synchronous DRAM chip 1998-08-19 George N. Glykopoulos A rigidity theorem for L-Theory 1998-05-06 J. F. Jardine On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems 1998-08-12 From Sir Isaac to the Sloan Survey Calculating the Structure and Chaos Owing to Gravity in the Universe 1996-10-04 Atomic Network Files: A Building Block for Reliable Virtual Storage 1997-02-20 Jeff Chase Interpolating Subdivision for Meshes with Arbitrary Topology 1997-09-11 Context and Structure in Automated Full-Text Information Access 1995-03-17 On the Importance of Parallel Application Placement in NUMA Multiprocessors 1995-11-24 Timothy Brecht Epistemic Autonomy in Models of Living Systems 1997-04-29 Erich Prem Signalling Protocol for P4 SPP4, version 1.0 1998-06-27 k-space fields are computed from the currents by the generalized radiation integral. This is similar to the effort required to compute a bistatic radiation pattern. The computed 1996-06-28 Nemesis, The Kernel - Overview 1999-03-16 Stapled Sequences and Stapling Coverings of Natural Numbers 1996-11-05 Irene Gassko PlaNet - A Software Package of Algorithms and Heuristics on Planar Networks 1997-06-17 Adaptive Multiuser Receiver Schemes for Antenna Arrays 1996-05-28 Optimal Prefetching via Data Compression 1997-02-06 The Impact of Speeding up Critical Sections with Data Prefetching and Forwarding 1997-02-07 The Architecture of an Implementation of LambdaProlog: Prolog/Mali 1996-03-15 Pascal Brisset Abduction, Induction and Completion Policies 1998-02-18 From Hopfield networks to Boltzmann machines 1997-04-10 Ioannis K. Argyros 1997-09-25 Ioannis K. Argyros Data Compression of Multiresolution Surfaces 1998-05-25 Face Recognition by Dynamic Link Matching 1996-03-13 Object-Oriented Programming in Oberon-2 1998-12-20 Fuzzy Genetic Algorithms: Issues and Models 1998-10-01 Effective Redundant Constraints for Online Scheduling 1998-08-04 The Nonlinear Gaussian Spectrum of Log-Normal Stochastic Processes and Variables 1998-09-01 Roger Ghanem not Asme Member The HERMES Internal Polarized Hydrogen and Deuterium Targets 1999-01-27 C. Baumgarten Stabbing Orthogonal Objects in 3-Space 1998-09-05 The Brisk Project: Concurrent and Distributed Functional Systems 1995-07-05 Executing Suspended Logic Programs 1999-01-18 Trying to Understand Confinement in the Schrödinger Picture 1998-06-17 Dmitri Diakonov Control Curves and Knot Insertion for Trigonometric Splines 1997-10-20 Bandwidth-Delay Based Routing Algorithms 1995-07-24 Dynamics of Gene Expression in an Artificial Genome -- Implications for Biological and Artificial Ontogeny 1999-03-09 Torsten Reil Quelques Remarques Sur Les Coques Piézoélectriques 1995-03-28 Conformance Testing of Communication Protocols in the Framework of Formal Description Techniques 1992-02-24 Undeniable Billing in Mobile Communication 1998-10-30 Multiscale Image Segmentation By Dishomogeneity Evaluation And Local Optimization 1995-11-16 Stefano Casadei The Role of Plans in Discourse Generation 1996-02-19 Johanna D. Moore Combining Temporal Logic Systems 1994-03-22 The Exploration of Legal Text Corpora with Hierarchical Neural Networks: A Guided Tour in Public International Law 1999-01-11 Decision Procedures using Model Building techniques 1998-09-02 Markov Random Field Models in Computer Vision 1999-02-06 S. Z. Li The Hardware Description Language Zeus 1992-11-02 Karl J. Lieberherr The Complexity of Learning with Queries 1995-01-24 A Network Model of Automatic Gain Control in the Electrosensory System 1993-11-19 Genetic Algorithms and Artificial Life 1994-10-19 Embeddings of Banach Spaces into Banach Lattices and the Gordon-Lewis Property 1998-08-25 Visual Presentation of Software Specifications and Designs 1994-11-18 Refinements of the Maximin Approach to Decision-Making in Fuzzy Environment 1997-06-27 An ATM Network Simulator to Study Admission Control and Routing Algorithms 1994-08-01 Response Surface Approximations for Discipline Coordination in Multidisciplinary Design Optimization 1996-02-07 On the zeta function of quaternionic Shimura varieties 1998-03-09 Harry Reimann Web Mining: Pattern Discovery from World Wide Web Transactions 1998-12-29 A Decidable Temporal Logic of Parallelism 1998-02-19 M. Reynolds Distribution Of Powers Modulo 1 And Related Topics 1997-05-14 Miguel A. Lerma Deduction with Supernormal Defaults 1994-10-05 Learning Domain-Specific Discourse Rules for Information Extraction 1998-03-06 A Regularized Multiscale Edge Detection Scheme Using Cubic B-Spline 1997-11-20 Modelling in Distributed Telecommunications Networks 1998-05-29 The Trouble With "inverse Neutrinoless Double Beta Decay" 1998-04-04 Clemens A. Heusch Normal Form in DI-Algebra with Recursion 1999-02-12 A Linearly Quasi-Anticipatory Autonomous Agent Architecture: Some preliminary experiments 1998-08-31 Paul Davidsson Inversion of Crosswell Seismograms via Differential Semblance Optimization 1996-05-17 Optimality Of A Threshold Policy In The M/m/1 Queue With Repeated Vacations 1998-11-26 Eitan Altman Finite Growth Models 1997-04-16 Dynamic Interpretations of Constraint-Based Grammar Formalisms 1995-04-07 Case-based Learning for Knowledge-based Design Support 1994-10-24 Katy Borner Omega: Ein mathematisches Assistenzsystem 1998-07-23 The HyperDisco Approach to Open Hypermedia Systems 1996-05-09 Modified Haar Transform Calculation Using Digital Circuit Output Probabilities 1997-06-16 M. A. Thornton A Note on the Oscillator Group 1995-08-20 Norbert Dorr Towards Efficiency and Portability: Programming with the BSP Model 1997-01-28 Non-Linear Dimensionality Reduction 1996-11-04 Applying Machine Learning to Agricultural Data 1997-04-29 Active Shape Models and the Shape Approximation Problem 1996-02-21 Position-Independent Near Optimal Searching and On-line Recognition in Star Polygons 1999-03-16 Coloring Update Methods 1995-10-19 Yair Shapira Image Compression via Joint Statistical Characterization in the Wavelet Domain 1997-06-04 Finding Minimum Height Elimination Trees For Interval Graphs In Polynomial Time 1996-11-07 Bengt Aspvall The Overlay of Lower Envelopes and its Applications 1994-09-30 A Fault-Tolerant Architecture For Replication In FTAG 1998-04-10 Finding Data in the Neighborhood 1997-06-30 Longitudinal Spin Fluctuations in Nearly Isotropic Ferromagnet CdCr 1998-12-15 Predicting Computer Behavior 1997-06-14 Donald I. Good Dynamic Parameter Encoding for Genetic Algorithms 1994-09-05 Tri-Hamiltonian Duality Between Solitons and Compactons 1995-11-08 Literal Movement Grammars 1996-01-19 Annius V. Groenink Any Reversible Cellular Automaton Can be Represented with Block Permutations 1998-10-29 3D photography using shadows in dual-space geometry 1998-10-08 Jean-yves Bouguet Buckling Analysis of Debonded Sandwich Panel Under Compression 1996-01-11 Intelligent Tutoring in Virtual Environment Simulations 1996-05-20 A Software Environment for Analysis and Design of Multibody Systems 1998-10-28 A Symbolic Algorithm for Low Power Sequential Synthesis 1998-10-23 Measuring Bottleneck Link Speed in Packet-Switched Networks 1996-03-21 The theorems of the formal system MIU 1997-10-02 Armando B. Matos Review of Particle Physics: C. Caso 1998-06-05 Simulation of Wave Propagation by Multidimensional Digital Filters 1998-12-22 TRAINS-95: Towards a Mixed-Initiative Planning Assistant 1998-04-16 Beating the I/O Bottleneck: A Case for Log-Structured File Systems 1993-10-14 Notes On Surgery And 1997-05-23 John Roe Polynomial Representations For Response Surface Modeling 1999-04-25 R. Draper Entropy Coding of Composite Sources Modeled by Infinite Gaussian Mixture Distributions 1996-06-28 Spatial Database Programming Using SAND 1996-06-18 Hanan Samet Exploration and Model Building in Mobile Robot Domains 1998-09-29 Sebastian B. Thrun Unsolved Problems in Planning as Constraint Satisfaction 1996-08-19 Circuit Lower Boundsà la Kolmogorov 1995-05-09 Analysis of Authentication Protocols using Non-Interference 1998-10-26 Efficiently Executing Information Gathering Plans 1998-05-19 Fop frequency of optimal codon usage: WWW service with its distribution analysis 1995-12-13 Hamiltonicity in graphs with few P 4 s 1970-01-01 A Definitional Approach to the Combination of Functional and Relational Programming 1995-01-15 An Empirical Study of Delay Jitter Management Policies 1998-02-25 A Class Based Approach To Domain Adaptation And Constraint Integration For Empirical M-Gram Models 1997-05-20 Klaus Ries Black-Box Reuse within Frameworks based on Visual Programming 1997-05-26 Integrating Natural Language Subtasks with Bayesian Belief Networks 1998-12-23 Ted Pedersen Integrating Qualitative and Quantitative Object Representations in the Recovery and Tracking of 3-D Shape 1997-09-03 Vapnik-Chervonenkis Dimension of Recurrent Neural Networks 1997-07-26 An Experimental Comparison of the Maintainability of Object-Oriented and Structured Design Documents 1997-04-22 Ago Ergo Sum 1998-01-13 Dario Floreano Ternary Semigroups Of Morphisms Of Objects In Categories 1995-11-16 Image Coding By Perceptual Pruning With a Cortical Snapshot Indistinguishability Criterion 1998-01-24 Watershed Transformation of Time Series of Medical Thermal Images 1996-08-01 An Efficient Scheme for a Distributed Video Retrieval System for Remote Users 1970-01-01 QAPLIB - A Quadratic Assignment Problem Library 1996-09-04 Synchronous Atomic Broadcast for Redundant Broadcast Channels 1995-01-19 Flaviu Cristian Is Machine Colour Constancy Good Enough? 1999-02-23 GSAT and Dynamic Backtracking 1994-03-03 Reverse Engineering Relational Schemas to Object-Oriented Schemas 1996-07-24 Warped Perspectives In Time-Frequency Analysis 1998-04-09 Richard G. Baraniuk Cost-based Query Scrambling for Initial Delays 1998-03-04 The Free Energy of Hot Gauge Theories with Fermions Through 1998-05-14 Using Integrated Formal and Informal Modeling Techniques To Analyze Software Requirements: A Petri-Net/SART Case Study 1998-04-07 How to Avoid Building DataBlades That Know the Value of Everything and the Cost of Nothing 1999-02-09 Paul M. Aoki Improved Non-Real-Time Communication in FDDI Networks with Real-Time Traffic 1970-01-01 DNA Sequence Alignment and Critical Phenomena 1997-01-10 Conceptual Indexing Using Thematic Representation of Texts 1998-11-25 Cooperative Multi-Robot Box-Pushing 1994-12-01 Exploiting Recursion-Parallelism in Prolog 1993-04-21 A Flexible External Paging Interface 1994-06-09 GLUE: Using Heterogeneous Sources of Information in a Logic Programming System 1997-10-16 Gerd Neugebauer Nabla0-Categorical Structures With Arbitrarily Fast Growth of Algebraic Closure 1996-08-15 M. E. Pantano Ascription of Intensional Ontologies in Anthropological Descriptions of Multi-Agent Systems 1996-11-18 A Study on the Combination of Classifiers for Handwritten Digit Recognition 1998-01-15 Performance Characteristics of Mirror Servers on the Internet 1998-12-25 Multivariable Frequency Response Curvefitting with Application to Control-Relevant Parameter Estimation Problems 1996-09-12 AVWoD Concept and Realization for Internet-based Media Integration 1996-09-06 Phenomenology Of Excitation In 2-D Cellular Automata And Swarm Systems 1997-07-03 The Grammar Of Sense: Using Part-Of-Speech Tags As A First Step In Semantic Disambiguation 1997-06-12 Implementing Cooperative Software with High-Level Communication Packages 1996-09-03 Coevolving the "Ideal" Trainer: Application to the Discovery of Cellular Automata Rules 1998-04-16 Jordan B. Pollack Provably Good Algorithms for Transmission Scheduling in WDM Optical Networks 1998-08-11 New Approximation Algorithms for Graph Coloring 1994-03-14 Avrim Blum On the performance of parallel algorithms on a gracefully degrading system achieved through the BSPM 1996-11-20 Threads Yield Continuations 1998-12-02 Testing Real-Time Constraints in a Process Algebraic Setting 1996-03-08 A Visual Tool for the Year 2000 Problem 1999-01-21 Stephen G. Eick A Parallel Solver for Extreme Eigenpairs 1999-01-19 Using Hy+ for Network Management and Distributed Debugging 1995-03-25 Selection in the Presence of Noise: The Design of Playoff Systems 1997-05-26 Multicollinearity: A tale of two nonparametric regressions 1996-10-03 Learning to Schedule Straight-Line Code 1997-11-22 Joint Estimation of Motion and Illumination Variations for Coding of Image Sequences 1996-01-25 Meta-MEME: Motif-based Hidden Markov Models of Protein Families 1998-10-05 Effects of Temporal Correction on Intelligibility of Foreign-Accented English 1998-02-17 Discovering Problem Solutions With Low Kolmogorov Complexity and High Generalization Capability 1994-08-31 Understanding Normal and Impaired Word Reading: Computational Principles in Quasi-Regular Domains 1997-04-29 A Situation Theoretic Approach to Computational Semantics 1996-11-18 Alan W Black Weak Delocalization Due to Long-Range Interaction for Two Electrons in a Random Potential Chain 1997-08-25 Capacitance Extraction of 3-D Conductor Systems in Dielectric Media with high Permittivity Ratios 1997-10-25 Communication Cost Estimation and Global Data Partitioning for Distributed Memory Machines 1999-01-20 Reuse is Not Done in a Vacuum 1993-05-22 E. M. Dusink Modeling Correlated Alarms in Network Management Systems 1997-02-07 Video-on-Demand on the SB-PRAM 1996-06-30 Using A Virtual Environment to Teach Cancer Patients T'ai Chi, Relaxation and Self-Imagery 1998-02-12 Inline Integration: A New Mixed Symbolic/Numeric Approach For Solving Differential-Algebraic Equation Systems 1997-03-12 Handling Locally Names of Mobile Agents 1996-12-19 Iterative Mesh Generation for FE-Computations on Free Form Surfaces 1996-05-30 On Finding Duplication and Near-Duplication in Large Software Systems 1995-07-27 Brenda S. Baker Gardens: High Performance Objects, Tasking and Migration for Cluster Computing 1999-02-08 Regularization of birational group operations in sense of Weil. 1996-02-07 Derivation of a DRAM Memory Interface by Sequential Decomposition 1993-06-21 Table Rounding Problem 1998-09-07 S Ima A Plan-Based Model for Response Generation in Collaborative Task-Oriented Dialogues 1996-02-28 Issues in Reliable Network Memory Paging 1995-11-16 Evangelos P. Markatos Consolution as a Framework for Comparing Calculi 1997-05-24 The Development of the C Language 1998-01-16 Dennis M. Ritchie Building a large annotated corpus of English: the Penn Treebank 1996-02-19 On the Combination of Multilevel Coding and Signal Shaping 1998-03-06 Typing and Subtyping for Mobile Processes 1996-08-19 How to Forge DES-Encrypted Messages in 2 1998-04-01 Eli Biham Existence of Weak Solutions for the Motion of Rigid Bodies in. . . 1998-07-06 Ground State Structure in a Highly Disordered Spin Glass Model 1997-04-26 Numerical Solution of the stationary Schrödinger Equation using Finite Element Methods on Sparse Grids 1996-04-24 Sascha Hilgenfeldt A Residue Scalar Product For Algebraic Function Fields Over A Number Field 1999-03-12 Xian-jin Li Robust Incremental Condition Estimation 1994-10-08 Two and Higher Dimensional Pattern Matching in Optimal Expected Time 1997-09-26 The Expected Size of the Sphere-of-Influence Graph 1994-11-15 Speech Recognition And Information Retrieval: Experiments In Retrieving Spoken Documents 1997-04-14 Continual Computation Policies for Utility-Directed Prefetching 1970-01-01 A Schema for Adding Dependent Types to ML 1997-07-23 Query Deforestation 1998-07-28 An Optimal, Stable Continued Fraction Algorithm for Arbitrary Dimension 1998-02-23 algorithm for the economic lot-sizing problem with constant capacities -- Corrections 1999-02-05 A Prediction-Verification Strategy for Object Recognition using Local Appearance 1998-12-02 Sequence Matching and Learning in Anomaly Detection for Computer Security 1997-04-23 Decentralized Trust Management 1997-12-11 Optimal, Unsupervised Learning in Invariant Object Recognition 1997-01-27 Approximating the Complexity Measure of Vavasis-Ye Algorithm is NP-Hard 1998-11-12 An Event Algebra for Specifying and Scheduling Workflows 1998-05-14 Instrumentation Systems For Parallel Tools 1996-05-06 A Real-Life Experiment in Creating an Agent Marketplace 1997-04-26 Stochastic Geometry Models of Mobile Communication Networks 1996-03-05 Boussinesq Modeling Of Wave Transformation, Breaking And Runup. I: One Dimension 1999-01-15 Integration of Symbolic and Connectionist Learning to ease Robot Programming and Control 1994-06-23 A Note on Synthesis and Classification of Sorting Algorithms 1999-04-12 K. K. Lau Secure Mediation: Requirements and Design 1998-09-03 Dummy in White 1998-07-22 An Agent-based Approach to Health Care Management 1995-01-23 Neural Networks For NP-Complete Problems 1996-09-12 Marco Budinich rksuite 90: Fortran 90 software for ordinary differential equation initial value problems 1970-01-01 A Note on Maximum-Smoothness Approximation . . . 1998-04-17 Anders Forsgren An extension of the theorem of Milnor and Thurston on the zeta functions of interval maps 1997-04-26 Algebraic Combinatorics with MAPLE and ACE 1997-10-13 What You See is What You Store: Database-Driven Interfaces 1998-03-04 Language implementation via lightweight embedded program generators Extended Abstract 1998-10-22 Exploration and Model Building in Mobile Robot Domains 1998-09-29 Sebastian B. Thrun Parallel Volume Rendering Unstructured Data: A Distributed Approach 1998-05-01 Kwan-liu Ma Parallel Many-Body Simulations Without All-to-All Communication 1970-01-01 Segmentation Problems 1998-03-25 Supercritical Analysis of Strongly Non-Linear Vortices in Magnetized Ferrofluids 1997-09-08 Two-Handed Assembly Sequencing 1996-12-18 Organizing Programs Without Classes 1998-11-25 Assessment and Reorganization of Object-Oriented Software Class Systems - A Case Study 1998-09-25 Rui Carlos Oliveira Nondeterministically Selective Sets 1995-10-16 Morphological Scale-Space Preserving Transforms in Many Dimensions 1997-10-22 Uses of Randomness in Computation 1970-01-01 Richard P. Brent Inverse Scattering And Imaging Using Broadband Time-Domain Data 1996-04-03 Acoustic Waves and Far-field Patterns in Two Dimensional Oceans with Porous-elastic Seabeds 1997-07-01 R. P. Gilbert Simple Numerical Quadrature Rules for Gaussian Chain Polymer Density Functional Calculations in 3D and Implementation on Parallel Platforms 1997-07-31 Dynamics of Beliefs and Strategy of Perception. 1997-09-11 Patrick J. Fabiani Convergence results for multistep Runge-Kutta methods on stiff mechanical systems 1995-07-19 Stefan Schneider On the Resilience of Broadcasting Strategies in a Failure-Propagating Environment 1999-01-21 Numerical Analysis of Hollow Piezoceramic Cylindrical Vibrators Under Non-Stationary Conditions 1998-12-06 R. V. N. Melnik Penalized Likelihood 1996-11-04 Peter J. Green Photon Structure Functions and Azimuthal Correlations from Lepton Pairs Produced in Tagged 1997-12-15 Fast Low-Power Shared Division and Square-Root Architecture 1999-01-14 Stack And Queue Layouts Of Directed Acyclic Graphs: Part I 1996-08-21 Pattern Discovery In Time-Oriented Data 1998-12-07 Low Power TLB Design for High Performance Microprocessors 1997-04-20 The Contribution of Qualitative and Quantitative Shape Features to Object Recognition Across Changes of View 1997-06-13 Jeffrey C. Liter Training Wheels for Encoder Networks 1970-01-01 Peter G. Anderson Acyclic and Oriented Chromatic Numbers of Graphs 1999-04-21 Categorical Perception in Facial Emotion Classification 1996-07-11 Search for neutral Higgs boson production through the process e 1996-07-18 UHGromos at the National Center for Supercomputing Applications 1996-10-02 Lattices and Their Continuum Limits 1997-04-26 Multimedia Explanations in IDEA Decision Support Systems 1998-02-04 Johanna Moore A method for the computation of Clebsch-Gordan coefficients 1995-08-21 Automated Pivot Location for the Cartesian-Polar Hybrid Point Distribution Model 1995-10-06 Testing Reducibility of Linear Differential Operators: A Group Theoretic Perspective 1997-06-19 Michael F. Singer Generalized Search Trees for Database Systems Extended Abstract 1995-09-07 Programming with Intersection Types and Bounded Polymorphism 1996-08-18 Benjamin C. Pierce An Investigation of Probabilistic Interpretations of Heuristics in Plan Recognition 1996-01-17 Peter Van Beek A Generalization of Linear Cryptanalysis applied to SAFER 1995-05-19 Carlo Harpes Convergence results for the EM approach to mixtures of experts architectures 1993-12-02 Representing Appearance Information in a World of Interchangeable Documents 1996-03-17 Ethan V. Munson On the Concentration of Quantum States in Phase Space 1997-04-26 R. F. Werner An Adaptive Agent for Automated Web Browsing 1996-02-22 DARWIN: On the Incremental Migration of Legacy Information Systems 1995-10-17 Stochastic Modelling of Pig Production Working Paper: Growth Models 1998-08-10 Dina Notat No Two Types Of Mechanical Reversible Logic 1995-05-15 Ralph C. Merkle MOGUL: A Graphical Environment for Developing the LOGFLOW Parallel Prolog System 1997-09-19 Norbert Podhorszki On The Creation Of Conjugate Points For Hamiltonian Systems 1997-09-12 Symmetrization of Nonsymmetric Quadratic Assignment Problems and the Hoffman-Wielandt Inequality 1996-04-24 A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification 1996-08-03 On Binary Methods 1995-12-11 Frameworks - Representations Perspectives 1998-06-08 Palle Nowack AuRA: Principles and Practice in Review 1997-03-07 Scalable Parallel Implementations of List Ranking on Fine-grained Machines 1996-08-22 On the Security of ElGamal based Encryption 1998-03-25 Yiannis Tsiounis Final report on the GRASP project 1996-02-13 Evaluating Competing Agent Strategies for a Voice Email Agent 1997-08-12 Security in Large Distributed, Object-Oriented Systems 1999-05-06 Thomas Riechmann Transparent Support for Wait-Free Transactions 1997-07-23 Mark Moir Consh: Confined Execution Environment for Internet Computations 1998-12-11 Wavelet Representation Of The Potential Integral Equations 1995-10-28 Mihai Dorobantu Some Stability Properties of Wavelets and scaling functions 1970-01-01 On Learning Visual Concepts and DNF Formulae 1995-11-23 Dan Roth Upgrading Multimedia Data Handling Services of a Database Management System by an Interaction Manager 1993-12-20 Decision Trees on Parallel Processors 1997-05-23 Richard Kufrin Gradient Descent for General Reinforcement Learning 1999-01-29 d-convergence for Markov approximations of chains with complete connections. A coupling approach 1997-11-20 Quermass-Interaction Processes: Conditions for Stability 1998-10-09 Nonlinear Dynamics in the EEG Analysis: Disappointments and Perspectives 1999-02-09 Milan Palus An Architecture for Federated Database Metadata 1999-03-23 Simulation and Fusion of Ordinal Data in Nonmetric Multidimensional Scaling 1998-02-16 W. H. JEFFERYS, M. J. FITZPATRICK, and B. E. 1998-06-19 Simulating Facial Surgery Using Finite Element Models 1996-07-29 Fault Tolerant Design of Multimedia Servers 1998-03-20 The Thisl Broadcast News Retrieval System 1999-03-26 Methodologies to Calibrating NICMOS Polarimetry Characteristics 1998-12-02 The Impact of Parallel Loop Scheduling Strategies on Prefetching in a Shared-Memory Multiprocessor 1994-06-21 David J. Lilja Refiner : A Problem Solving Environment for ODE/DAE Simulations 1997-05-14 Kenny Hunt Refining Multiset Transformers 1998-02-10 Edge-forwarding index of star graphs and other Cayley graphs 1996-04-01 Ginette Gauyacq The Challenges of Real-Time AI 1995-07-13 Discrete And Continuous Dirichlet-To-Neumann Maps In The Layered Case 1997-04-07 David V Ingerman Overcomplete Systems of Wavelet and Related Local Bases for Adaptive Signal Representation and Estimation 1999-04-15 Rainer Von Sachs Hidden Markov Models for Detecting Remote Protein Homologies 1998-11-26 Balanced Cooperative Modeling 1998-12-03 Katharina Morik On Robustness Tests on Auto-Pilots Induced From Single Flight Plan Missions 1996-11-16 Rui Camacho Monotonic Versus Non-monotonic Language Learning 1995-04-28 Convergence of Asynchronous Jacobi-Newton-Iterations 1997-04-07 Uwe Schrader Background Mosaicking For Low Bit Rate Video Coding 1998-08-06 Bounded Error Parameter Estimation: A Sequential Analytic Center Approach 1997-03-04 AQuES: An Agent-based Query Evaluation System 1999-02-08 First Steps to an Interaction and Communication Manager between Remote Objects 1997-12-08 The Essence of LR Parsing 1997-11-06 On Some Methods for Unconditionally Secure Key Distribution and Broadcast Encryption 1996-12-09 D. R. Stinson Ffl Ffl Ffl 1998-06-05 Netsolve: An Environment for Deploying Fault-Tolerant Computing 1998-05-15 Committee-Based Sampling For Training Probabilistic Classifiers 1995-08-22 A Cognitive Classification Framework for 3-Dimensional Information Visualization 1998-01-21 On Discontinuous Optical Flow 1998-07-04 S. S. Beauchemin Site Specific Traffic Load Models for Bridge Evaluation 1999-03-28 An Overview of the Eucalyptus Toolbox 1996-12-18 H. Garavel Support Vector Classifier with Asymmetric Kernel Functions 1998-12-21 Koji Tsuda Referral Whois Protocol RWhois 1995-01-11 Towards An Object-Oriented Methodology for Deductive Synthesis of Logic Programs 1998-02-23 Asynchronous Video Coding for Wireless Transport 1994-11-24 Sieve: A Collaborative Interactive Modular Visualization Environment 1997-05-12 Clifford A. Shaffer Divisive Strategiesfor Predicting Non-Autonomous and Mixed Systems 1997-05-15 Finding Salient Features for Personal Web Page Categories 1998-11-04 Algorithms for Bilevel Optimization 1997-01-27 How To Evolve Autonomous Robots: Different Approaches In Evolutionary Robotics 1999-01-12 Evaluating the Effectiveness of Derivation Replay in Partial-order vs State-space Planning 1994-09-10 Removing Electroencephalographic Artifacts: Comparison between ICA and PCA 1998-06-12 A Stochastic Automata Model and its Algebraic Approach 1997-05-27 Improving Data Locality with Loop Transformations 1970-01-01 Non-nested and non-structured multigrid methods applied to elastic problems. Part II: The three-dimensional case 1998-09-01 A new Ambient Noise Imaging system for ANI, passive and bistatic active acoustic imaging in shallow water 1997-03-25 John R. Potter Reuse of Design Objects in CAD Frameworks 1998-07-22 Recovery of Generic Solid Parts by Parametrically Deformable Aspects 1996-04-29 Numerical Pricing of Derivative Claims: Path Integral Monte Carlo Approach 1994-11-28 Miloje S. Makivi'c Using Genetic Algorithms for Planarization Problems 1996-05-25 F. Comellas Continuous Categories For a Mobile Robot 1999-04-05 The Rights of Agents 1995-10-27 Stochastic Shortest Path Games 1998-07-20 Artificial Life and Natural Stories 1998-01-27 Disjoint and Fold Domination in Graphs 1997-12-10 Vortex Configurations in High-Tc Superconducting Films 1993-04-07 Polynomial degree reduction in the L 2 -norm equals best Euclidean approximation of Bézier coefficients 1999-03-29 Production by Sigma 1996-11-20 Integrating Semantic Integrity Constraints into an Object-Oriented Database Management System: A Pragmatic Approach 1993-12-13 Cluster Analysis and Workload Classification 1995-03-17 Kimmo E. E. Raatikainen Kelly's "geometry Of Psychological Space" And Its Significance For Cognitive Modeling 1993-04-24 Roc Curves Of Skewness And Kurtosis Statistical Tests: Application To Textures 1999-01-21 A Minimal Infrared Obstacle Detection Scheme 1998-10-23 C. Ronald Kube The UW MacTester: A Low-Cost Functional Tester for Interactive Testing and Debugging 1994-06-07 Reactivity in a Logic-Based Robot Programming Framework 1998-09-01 Clean: a Programming Environment Based on Term Graph Rewriting 1995-10-20 M. J. Plasmeijer Constraint Checking with Partial Information Extended Abstract 1999-02-05 Response To Dobyns 1998-06-25 William H. Jefferys Phase Uncertainty of a Sampled Quantizer 1997-12-22 B. E. Sarroukh Dynamics of Internet Routing Information 1993-05-05 Bilal Chinoy Delegating Compiler Objects: Modularity and Reusability in Language Engineering 1998-09-25 Jan Bosch Learning Dynamics: System Identification for Perceptually Challenged Agents 1995-10-20 Evolution and Co-evolution in a Rugged Fitness Landscape 1998-09-25 Optimistic Parallelization 1997-10-02 Interior Point Methods For Mathematical Programming: A Bibliography 1997-10-23 Applying the SCR Requirements Specification Method to Practical Systems: A Case Study 1997-01-14 Enclosing K Points in the Smallest Axis Parallel Rectangle 1999-02-09 A Type system for Object-Oriented Database Programming and Querying Languages 1998-08-18 Laurent Perron From Organization Models to System Requirements - A "Cooperating Agents" Approach 1995-04-21 Structured Workflow Management with Lotus Notes Release 4 1996-05-29 Evolution of Trajectory Correlations in Steady Random Flows 1998-06-08 Using Errors to Create Piecewise Learnable Partitions 1997-08-26 Oded Maron Data Preparation for Inductive Learning in Robotics 1995-05-02 Anke Rieger Compiling Fortran 90D/HPF for Distributed Memory MIMD Computers 1994-03-30 Time-Varying Subband Image Coding With Efficient Reduction of Higher Order Redundancy 1998-10-19 Morse Theory for Implicit Surface Modeling 1997-09-04 John C. Hart Origin Tracking for Higher-Order Term Rewriting Systems 1993-09-20 Arie Van Deursen Toward Distributed Simulation of Complex Discrete Event Systems Represented by Colored Petri Nets: A Review 1997-07-18 Intrinsic Resonance Representation of Quantum Mechanics 1997-02-13 The Design and Implementation of a High-Speed User-Space Transport Protocol 1998-12-28 Phase and Magnitude in Normalized Images 1998-09-09 Douglas Cochran Describing Graphs: a First-Order Approach to Graph Canonization 1996-08-07 Combining Ground- and Space Based Observations for Optimum Photometry in Crowded Stellar Fields 1997-09-30 Feedback-Assisted High-order Iterative Learning Control of Uncertain Nonlinear Discrete-time Systems 1997-08-21 Commutators Of Flows And Fields 1999-01-21 A New and Optimal Chosen-message Attack on RSA-type Cryptosystems 1997-11-12 Model Generation in Disjunctive Normal Databases 1996-06-17 Automatic Reconstruction of B-Spline Surfaces of Arbitrary Topological Type 1997-05-23 Matthias Eck A Formal Characterization of Epsilon Serializability 1999-05-04 Automatic Extraction And Evaluation Of Road Networks From MOMS-2P Imagery 1998-08-04 Fast Low-Energy VLSI Binary Addition 1997-10-27 Keshab K. Parhi A Geometric Approach to Molecular Docking and Similarity 1994-10-20 Inheritance and Cofree Constructions 1996-07-31 Bart Jacobs Molecular Dynamics Simulations of LATID Implants into Silicon 1997-08-01 Dual-Mode Dynamics Neural Networks For Combinatorial Optimization 1998-12-19 On the Monodromies of N=2 Supersymmetric Yang-Mills Theory 1998-05-23 A Simple Reflective Interpreter 1993-03-04 Testing for ARCH in the Presence of Additive Outliers 1996-10-15 A Methodology for Agent-Oriented Analysis and Design 1999-02-15 A `Meta-Framework' for Designing Methodologies for Educational Studies: Definition, Illustration and Praxis 1998-03-06 Hyacinth S. Nwana Derivative Evaluation Function Learning Using Genetic Operators 1993-08-25 Placing a Robot Manipulator Amid Obstacles for Optimized Execution 1998-12-07 A Novel Framework for Solving the State Assignment Problem for Event-Based Specifications 1995-01-26 Finding Stable Orientations of Assemblies with Linear Programming 1998-11-24 A Framework for Multi-Agent Modeling and Office Automation 1998-07-20 Nikolaos Skarmeas An Asynchronous to Synchronous Interface for a B-ISDN Customer Switching System 1992-09-25 Critical Power for Asymptotic Connectivity in Wireless Networks 1998-08-24 The Application Of Information Services In Computer Networks To Education 1998-08-03 Joe Rugelj Expressing Nested Data Parallel Operations Through Multithreading 1999-02-10 Generating Topological Information from a "Bucket of Facets" 1999-04-12 Automatic Detection of Discourse Structure for Speech Recognition and Understanding 1998-09-10 Stability and Convergence of a Wavelet-Galerkin Method for the Sideways Heat Equation 1999-03-22 Urania, a Linked, Distributed Resource for Astronomy 1998-09-18 Peter B. Boyce Growing Ontologies 1998-05-19 Paul R. Cohen SUNRISE II: A Scalable and Timely Billing Architecture 1999-02-16 Padé Type Approximants with Preassigned Zeros 1997-06-06 A Binocular, Foveated Active Vision System 1999-01-29 Brian Scassellati Genetic Algorithms for Instruction Sequencing and Scheduling 1999-02-05 Steven J. Beaty Viscosity Methods For Piecewise Smooth Solutions To Scalar Conservation Laws 1996-08-23 Tao Tang Bayesian Inference for Semiparametric Binary Regression 1995-04-12 An Evaluation of an Automatically Generated Compiler 1996-07-23 Anthony M. Sloane Super-Pattern Matching 1997-07-11 Task-based Multi-agent Coordination for Information Gathering 1995-01-10 A Quantum Decoding Algorithm of the Simplex Code 1998-09-26 Computer Systems Laboratory 1996-11-03 An Object Recognition System for Complex Imagery that Models the Probability of a False Positive 1997-07-16 The Role of Automated Reasoning in Integrated System Verification Environments 1997-06-14 Cilk 3.0 Alpha 1 Reference Manual 1970-01-01 DRAMA: A Library for Parallel Dynamic Load Balancing of Finite Element Applications 1999-01-27 An Access Model for Shared Interfaces 1996-08-12 Sphere Tracing: A Geometric Method for the Antialiased Ray Tracing of Implicit Surfaces 1995-10-18 John C. Hart Parsing Strategy For Spoken Language Interfaces With A Lexicalized Tree Grammar 1998-09-24 Ariane Halber Quality of Service Specification for Multimedia Presentations 1970-01-01 An Approach to Quantifying the Quality of Induced Theories 1995-09-21 Edgar Sommer RIDL: An Interface Language for the Design and Development of Reliable Distributed Object Oriented Systems 1996-08-19 A Non-Deterministic Call-by-Need Lambda Calculus 1998-11-26 Embedded Implementation Of A Hybrid Neural-Network Telephone Speech Recognition System 1996-05-15 Minimization of BDDs by Evolutionary Algorithms 1998-09-04 COMPUTER SUPPORT FOR ANALYSING A COMPANY's INFORMATION SECURITY 1997-02-10 Thomas Finne Compilation and Equivalence of Imperative Objects 1997-07-11 Superefficiency in Blind Source Separation 1998-03-14 WWW: http://www.cs.colorado.edu/home/mcbryan/Home.html 1994-04-26 Oliver A. Mcbryan Simulation of Strategies to Minimize the Force of Impact Between a Redundant Manipulator and an Obstacle 1998-12-17 Matthew Wayne Gertz Recursion, Iteration and Functional Languages 1998-07-13 John E. Howland Controlled Topological Equivalence Of Maps In The Theory Of Stratified Spaces And Approximate Fibrations 1997-05-23 Bruce Hughes A Calibration Procedure for Analog-to-Digital Converters 1999-01-28 Time Series Models for Internet Traffic 1996-03-21 JRes: A Resource Accounting Interface for Java 1998-11-16 Tractable Induction and Classification in First Order Logic Via Stochastic Matching 1997-11-13 Belief Revision 1994-04-09 Richard Segal Object-Oriented Modeling Of Hybrid Systems 1997-02-27 Real-Time Quantized Optical Flow 1995-08-22 Ted Camus Rule-Extraction from trained neural networks: Different techniques for the determination of herbicides for the plant protection advisory system PRO PLANT 1998-03-06 Measuring the Affine Transform Using Gaussian Filters 1996-10-22 R. Manmatha Formulating Mobile Languages 1997-09-30 Anticipation versus Adaptation in Evolutionary Algorithms: The case of Non-Stationary Clustering 1998-07-21 A Self-Configuring RED Gateway 1998-12-30 On the Security of Two MAC Algorithms 1998-02-05 Shape Groups For C*-Algebras 1970-01-01 A Method for Estimating Occupational Radiation Dose to Individuals, Using Weekly Dosimetry Data 1997-02-14 An Adaptive Multilayer Optical Neural Network Design 1996-05-23 Genetic Algorithms and Heuristic Search 1995-02-07 Detectable Perturbations: A Paradigm for Technology-Specific Multi-Fault Test Generation 1997-03-25 Multiresolution Analysis with Non-Nested Spaces 1998-04-24 Georges-pierre Bonneau Specifying Representations of Machine Instructions 1998-07-03 Counting Real Zeros Of Analytic Functions Satisfying Linear Ordinary Differential Equations 1996-01-06 Potential and Discrepancy Estimates for Weighted Extremal Points 1998-12-01 Workshop Report on Experiences Using Object Data Management in the Real-World 1999-02-08 Akmal B. Chaudhri Approximating Response Time Distributions 1995-03-17 Kimmo E. E. Raatikainen Using Spin-Images for Efficient Object Recognition in Cluttered 3-D Scenes 1998-07-24 A Distributed Problem Solving Approach to Cooperative Information Gathering 1998-04-02 Modeling And Superposition Of Multiple Protein Structures Using Affine Transformations: Analysis Of The Globins 1997-09-22 pSC5: Foreign-Accented Rhythm and Prosody in Reiterant Speech 1998-02-17 Man Machine Cooperation for Learning a Complex Control Task with FLIP++ 1996-04-18 Parallel Hybrid Meta-Heuristics: Application to the Quadratic Assignment Problem 1997-04-01 Twisting Of X-Ray Isophotes In Triaxial Galaxies 1997-08-28 A Framework for Deterministically Interleaved Interactive Programs in the Functional Programming Language Clean 1994-05-11 Peter Achten Provably Dependable Software Architectures 1998-08-18 Programming the Electrohome 1995-03-22 A Remote Access Protocol for the X Window System 1998-08-06 Infinite-Dimensional Algebras In Dimensionally Reduced String Theory 1998-05-13 Alexandros A. Kehagias The Effects of Multimedia and Elaborative Encoding on Learning 1996-02-08 Lawrence J. Najjar A Framework for Systematic Synthesis of Transactional Middleware 1998-07-10 Selfsimilar Solutions Of The Second Kind For The Modified Porous Medium Equation 1994-10-19 Abruptly Terminated Connections in TCP - A Verification Example 1997-04-29 Ina Schieferdecker Learning Other Agents' Preferences in Multiagent Negotiation 1996-04-15 Two-Way Induction 1995-07-26 Pedro Domingos Enhancement of Improperly Exposed Photographic Color Negatives 1998-12-08 Multiscale Document Segmentation 1997-11-20 Massively parallel knowledge representation and reasoning: Taking a cue from the brain 1997-07-31 Lokendra Shastri On Quantic Conuclei in Orthomodular Lattices 1996-09-25 On Infinite Sequences almost as Easy as 1995-02-13 Montserrat Hermo A corrected version of the Duchet Kernel Conjecture 1996-09-13 On Controllability and Normality of Discrete Event Dynamical Systems 1998-07-06 Pulse Train Deinterleaving Via The Hough Transform 1996-12-06 Jane Perkins Using an Object-Oriented Petri Net Tool for Heterogeneous Systems Design: A Case Study 1997-10-30 Stability and Pattern Selection in Parametrically Driven Surface Waves 1998-05-28 Peilong Chen Identification Of Dynamically Positioned Ships 1995-11-13 A Framework for Physically-Based Information Visualization 1997-09-09 Pattern formation in presence of walk-off for a Type-II optical parametric oscillator 1999-02-26 Search Techniques for Rational Drug Design 1997-08-01 Hypersonic, Nonequilibrium Flow over the FIRE II Forebody at 1634 sec 1998-08-24 Lin Hartung Chambers Improving Scalability in a Scientific Discovery System by Exploiting Parallelism 1997-05-19 Asymptotic Normality Of Parametric Part In Partial Linear Heteroscedastic Regression Models 1970-01-01 Molecular Self-Organisation in a Developmental Model for the Evolution of Large-Scale Artificial Neural Networks 1998-07-09 Numerical Solution Of Flame Sheet Problems With And Without Multigrid Methods 1994-10-31 Auditory Scene Analysis And Hidden Markov Model Recognition Of Speech In Noise 1999-03-01 Accelerated Detectors and Temperature in Anti de Sitter Spaces 1998-05-25 An Intelligent Observer 1997-05-07 Wavelets for Computer Graphics: A Primer 1996-02-09 An Object-Oriented Architecture for Possibilistic Models 1995-08-22 Cliff Joslyn ENHANCEMENT of PERSISTENT CURRENT ON MULTICHANNEL RING 1997-12-11 Multichannel Ring Face + Hair + Shoulders + Background != Face 1997-03-31 Internet-based Desktops in Tcl/Tk: Collaborative and Recordable 1998-06-22 Hybrid Transfer in an English-French Spoken Language Translator 1997-03-27 Diagnostic Simulation of Sequential Circuits Using Fault Sampling 1998-07-10 Noun-Phrase Anaphora and Focus: The Informational Load Hypothesis 1970-01-01 Analysing Real-Time Communications: Controller Area Network CAN 1994-08-11 Cv 1997-04-16 Paper No. WAC-67 1996-09-13 Vivek Mukhopadhyay Communication Based FPGA Synthesis for Multi-Output Boolean Functions 1997-09-22 Logic Activities in Europe 1998-10-25 Yuri Gurevich Efficient Network Authentication Protocols: Lower Bounds and Optimal Implementations 1997-10-14 Li Gong Reconfiguration Of Hierarchical Tuple-Spaces: Experiments With Linda-Polylith 1995-06-30 Capacity and Optimal Resource Allocation for Fading Broadcast Channels 1998-10-01 Proving with BDDs and Control of Information 1995-02-10 Jean Goubault Optimal Packet Fragmentation In Computer Networks 1995-05-31 A Low-Cost Storage Server for Movie on Demand Databases 1996-08-05 Tracking of Tubular Objects for Scientific Applications 1995-02-06 Visual Servoing For Robotic Assembly 1998-12-17 Brad Nelson Solving Over- and Underconstrained Geometric Models 1998-05-11 Learning Non-deterministic Finite Automata from Queries and Counterexamples 1997-11-12 T. Yokomori On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations 1995-06-17 Mutual Exclusion of Roles as a Means of Implementing Separation of Duty in Role-Based Access Control Systems 1997-09-25 D. Richard Kuhn Mixing Synthesis and Video Images of Outdoor Environments: Application to the Bridges of Paris 1996-10-03 Exact Division applied to Diagonalizing Symmetric Matrices 1997-04-08 A Simulation of Adaptive Agents in a Hostile Environment 1997-01-19 Metastable Dynamics AndExponential Asymptotics In Multi-Dimensional Domains 1998-08-11 Michael J. Ward Improving FAQfinder's Performance: Setting Parameters by Genetic Programming 1996-02-15 Edwin Cooper Gorillas in the Bits 1996-08-07 On Disjoint Concave Chains in Arrangements of Pseudo Lines - Corrigendum 1997-09-17 Route Planning and Learning from Execution 1997-10-03 The CMUnited-97 Simulator Team 1998-12-22 A Complete Formalization of the `Generalized Railroad Crossing' with Timed I/O Automata in Isabelle/HOLCF 1999-01-18 Bernd Grobauer Between Strassen and Chung normalizations for Lévy's area process 1998-07-16 R. Theodorescu BILUTM: A Domain-Based Multi-Level Block ILUT Preconditioner for General Sparse Matrices 1998-06-24 Yousef Saad Technology Decomposition for Low-Power Synthesis 1995-12-09 On Implementation Choices for Iterative Improvement Partitioning Algorithms 1997-10-14 Extending Tableaux Calculus with Limited Regular Expression for Role Path: an Application to Natural Language Processing 1998-05-25 Asymptotics Of Value Functions Of Discrete-Time Discounted Optimal Control 1997-10-15 Fabian Wirth Hierarchical Organization of Robots: A Social Simulation Study 1998-06-22 Person Identification Using Multiple Cues 1995-03-16 Does A Quantum Particle Know The Time? 1997-11-25 Teleporting - Mobile X Sessions 1995-07-17 XGobi Meets S: Integrating Software for Data Analysis 1998-11-16 Classical Computation of NeutraCHAMP Energy Loss due to Polarization by ... 1998-09-24 MONSTR I - Fundamental Issues and the Design of MONSTR 1996-09-27 R. Banach On Active Contour Models and Balloons 1995-07-11 Laurent D. Cohen Ligia: A Java based Linda-like Run-time System with Garbage Collection of Tuple Spaces 1998-08-18 Ronaldo Menezes Optimistic Synchronization in Distributed Shared Memory 1994-06-23 Vision Based State Space Construction for Learning Mobile Robots in Multi Agent Environments 1997-09-26 Chair-free Berge Graphs are Perfect 1970-01-01 Antonio Sassano Game Theories andComputer Go 1998-01-21 Informatik Eth Zürich Trustee-based Tracing Extensions to Anonymous Cash and the Making of Anonymous Change 1999-02-08 Grounding Agents in EMud Artificial Worlds 1998-11-13 Where To Bisect A Box? A Theoretical Explanation Of The Experimental Results 1998-02-08 An Analysis of pi-calculus Bisimulations 1996-09-23 Web-Specific Genre Visualization 1998-12-17 Level Spacings For Cayley Graphs 1998-08-30 Soft Margins for AdaBoost 1998-10-16 Takashi Onoda Gmd A Method to Discover Syntactic Structures from Raw Texts 1998-07-16 Wireless Internet Gateways Wings 1997-07-29 MHDL Language Reference Manual 1997-03-17 Intermetrics Inc Some Optimization Reformulations of the Extended Linear Complementarity Problem 1998-05-05 Michael V. Solodov The Effect of Multiple Time Scales and Subexponentiality in MPEG Video Streams on Queueing Behavior 1997-08-28 Data Partitioning Using Independent Components Analysis 1998-08-17 Knowledge-Directed Vision: Control, Learning, and Integration 1997-12-09 Designing a Data Structure for Polyhedral Surfaces 1997-12-18 Lutz Kettner A Cohomological Characterization Of Hyperbolic Groups 1998-10-26 S. M. Gersten A Genetic Algorithm for the Topological Optimization of Neural Networks 1997-09-04 Second Order Regular Variation, Convolution And The Central Limit Theorem 1995-09-14 Imperative Functional Programming 1993-06-11 Filtering Out Near-Surface Uncertainties From Helioseismic Inversions 1995-07-09 M. J. Thompson Overview of Computational Science 1998-05-30 Smart and stupid networks: Why the Internet is like Microsoft 1998-10-07 Andrew Odlyzko On the Match Tracking Anomaly of the ARTMAP Neural Network 1995-05-23 Guszti Bartfai Optimal Deterministic Routing And Sorting On . . . 1999-01-22 Webs of Archived Distributed Computations for Asynchronous Collaboration 1997-07-10 Faster Learning Approximations of Back-Propagation by Handling Flat-Spots 1995-02-12 Karthik Balakrishnan The Complete Nontrivial-Intersection Theorem For Systems Of Finite Sets 1998-07-07 S2P: A Stable 2-Pole RC Delay and Coupling Noise Metric 1999-01-18 A star orbiting around a supermassive rotating black hole: Free motion and corrections due to star-disc collisions 1995-12-28 A Ray-Propagation Fast Multipole Algorithm 1996-04-03 Fast Approximation Algorithm for Minimum Cost Multicommodity Flow 1999-02-05 Inference to the Best Explanation is Coherent 1998-02-03 Igor Douven A Graphical User Interface for Nonlinear Programming in MATLAB 1998-08-13 An Infeasible-Interior-Point Predictor-Corrector Algorithm for the P4-Geometric LCP 1997-09-29 Plasma Diagnostics of the Solar Corona Using Decimetric Radio Waves Review 1997-05-06 Arnold O. Benz Issues in the Security Architecture of the Computerized Patient Record Enterprise 1998-10-31 Konstantin Beznosov Detection of Alu Sequences in DNA: A Neural Network Approach 1999-01-04 Cognitive Aspects Of Neurosymbolic Integration 1997-10-17 Yannick Lallement Lecture Notes in Computer Science 1997-03-06 Bitnet/earn Springer Dhdspri R²-Irreducible Universal Covering Spaces Of P²-Irreducible Open 3-Manifolds 1996-12-16 Robert Myers How Architecure Evolution influences the Scheduling Discipline used in Shared-Memory Multiprocessors 1995-11-06 Evangelos P. Markatos SHADE: Technology for Knowledge-BasedCollaborative Engineering 1994-03-09 Computations in the Neighbourhood of Algebraic Singularities 1995-01-30 Thierry Braconnier Symmetric Cones and Jordan Algebras - A Survey 1995-04-23 Khalid Koufany Effects of Expected-Value Information and Display Format on Recognition of Aircraft Subsystem Abnormalities 1998-03-09 Issues and Options for an Aggregation Service within RTP 1997-04-19 Automatic Differentiation and Uncertainty Analysis 1998-10-07 Arkadii Kryazhimskii Conceptual Modelling and Spatiotemporal Information Systems: How to Model the Real World 1997-11-25 Agnar Renolen Multiagent Coordination in Tightly Coupled Task Scheduling 1997-05-23 Correspondence and Affine Shape from two Orthographic Views: Motion and Recognition 1994-06-23 Amnon Shashua Response-Time Guarantees in ATM Networks 1997-11-07 NPSNET: Software Requirements For Implementation Of A Sand Table In The Virtual Environment 1995-10-27 Samuel A. Kirby Modular Localization and the Bootstrap-Formfactor Program 1997-07-17 Bert Schroer Analogical Reasoning with Typical Examples 1998-07-23 Determining Cosmological Parameters From Cluster Evolution 1998-10-22 Neta A. Bahcall On Rigidity Properties Of Time Changes Of Locally Symmetric Geodesic Flows 1998-11-23 Jeffrey Boland Machine Learning for Information Extraction from Online Documents 1997-10-31 Dayne Freitag Fast General Sorting on Meshes of Arbitrary Dimension Without Routing 1994-06-16 Rolf Wanka Finite Size Errors in Quantum Many-Body Simulations of Extended Systems 1998-09-05 JETNET 3.0 -- A Versatile Artificial Neural Network Package 1996-09-13 Carsten Peterson Verification of Knowledge Bases based on Containment Checking 1997-09-12 Macro-Star Networks: Efficient Low-Degree Alternatives to Star Graphs 1998-06-04 Server-Supported Signatures 1998-01-21 The evaluation of Anapron: A case study in evaluating a case-based system 1998-02-13 Connectedness, Classes, and Cycle Index 1998-05-08 Lococode Performs Nonlinear ICA Without Knowing The Number Of Sources 1999-04-29 On the Numerical Solution of Differential Equations With Radial Basis Functions 1999-02-24 Gregory E. Fasshauer SL: A Subjective, Intensional Logic of Belief 1999-04-09 Semantic Processing Of Out-Of-Vocabulary Words In A Spoken Dialogue System 1998-10-08 A Really Temporal Logic 1997-06-17 System Architecture: Fault-Tolerant, Wide-Area Access to Computing and Data Resources 1995-09-19 ACME: An Architecture Description Interchange Language 1997-12-19 Self-Adjusting Active Compliance Controller For Two Cooperating Robots Handling A Flexible Object 1996-12-18 Christian Von Albrichsfeld Responsive Interaction for a Large Web Application -The Meteor Shower Architecture in the WebWriter II Editor 1997-04-18 A Generic Algorithm For The Generation Of Physical Movements Of Solid Systems 1999-01-22 An Analysis of Direct Reinforcement Learning in non-Markovian Domains 1998-08-28 Misspecifying GARCH-M processes 1998-10-05 Enrico Capobianco Concurrent Online Tracking of Mobile Users 1995-06-12 Diophantine Approximation of a Plane 1998-02-23 Key Findings Reporter for Analysis of Health-Care Information 1998-11-10 Porosity Of Collet-Eckmann Julia Sets 1998-10-29 Hybrid System Behavior Specification for Multiple Robotic Mechanisms 1997-07-11 Enhancement of Anisotropic Diffusive Filtering of MR Images Using Approximate Entropy 1999-02-02 Run-time Code Generation and Modal-ML 1998-05-13 Treatment of Incomplete Dialogues in a Speech-to-Speech Translation System 1995-10-18 Sri International Fastus System Muc-6 Test Results And Analysis 1996-03-14 Formal Transformational Reasoning about Reactive Systems in the Theorem Prover LAMBDA 1994-10-19 Jurgen Bohn A Secure Identity-Based Capability System 1994-10-12 Li Gong Optimal Wiresizing Under the Distributed Elmore Delay Model 1995-07-09 Relaxation as a Platform for Cooperative Answering 1998-03-30 R. T. Voland*, K. E. Rock*, L. D. Huebner*, D.W. Witte*, K.E. Fischer*, and C. R. McClinton* NASA Langley Research Center, Hampton, VA 1998-05-08 On Termination and Confluence of Conditional Rewrite Systems 1998-04-02 Bernhard Gramlich Sliding Control of MIMO Nonlinear Systems 1995-02-21 Rolling Friction of a Hard Cylinder on a Viscous Plane 1999-01-14 Variations on the Themes of Message Freshness and Replay - or the Difficulty in Devising Formal Methods to Analyze Cryptographic Protocols 1998-09-26 Li Gong Scalability of SCI Workstation Clusters, a Preliminary Study 1997-04-24 Recent Results On Qcd Corrections To Semileptonic 1998-05-15 A Recursion Planning Analysis of Inductive Completion 1995-01-06 A Modular Visual Tracking System 1995-06-24 Mike Wessler Lazy Home Migration for Distributed Shared Memory Systems 1999-01-20 On Global GC² Convexity Preserving Interpolation of Planar Curves by Piecewise Bezier Polynomials 1997-02-11 R. Schaback On the Selection of Median Structure for Image Filtering 1994-10-19 Stanley J. Reeves Communicating Agents For Concurrent Temporal Tableaux 1995-02-16 Robert Johnson ZEUS-2D: A Radiation Magnetohydrodynamics Code for Astrophysical Flows in Two Space Dimensions: II. The Magnetohydrodynamic Algorithms and Tests 1994-06-20 Comparison of Approaches to Egomotion Computation 1970-01-01 Optimizing CMOS Circuits for Low Power using Transistor Reordering 1996-10-24 Practical Multi-Resolution Source Coding: TSVQ Revisited 1998-04-23 Michelle Effros Luby-Rackoff Backwards: Increasing Security by Making Block Ciphers Non-Invertible 1998-08-17 Predicting Multiprocessor Memory Access Patterns with Learning Models 1997-08-14 Entropy and supersymmetry of D-dimensional extremal electric black holes versus string states 1998-05-13 On the Effectiveness of Superconcurrent Computations on Heterogeneous Networks 1993-07-29 Robot Learning for Moving between Subgoals 1997-02-20 Physical and Logical Integration of Data and Media Objects 1970-01-01 Henrike Berthold Applying Genetic Algorithms in Fuzzy Optimization Problems 1996-02-01 Approximate Inverse Preconditioners Via Sparse-Sparse Iterations 1998-03-03 Coupling ORACLE with ECLiPSe 1997-11-13 Synchronization of Integrate-and-fire Neurons with Delayed Inhibitory Lateral Connections. 1999-02-03 Representing Robot/Environment Interactions Using Probabilities: the "Beam in the Bin" Experiment 1999-03-18 Using ADIFOR 1.0 to Compute Hessians 1995-07-14 Paul Hovland Runtime Translation of X Interfaces to Support Visually-Impaired Users 1998-08-06 Centers of Monotone Generalized Complementarity Problems 1997-04-08 Dynamic Maintenance of Kinematic Structures 1996-12-17 An Analytical Delay Model for RLC Interconnects 1996-02-14 Andrew B. Kahng Perfect Slice Samplers 1998-12-15 Burst Scheduling Networks: Flow Specification and Performance Guarantees 1996-09-19 Worldlets - 3D Thumbnails for Wayfinding in Virtual Environments 1997-07-07 The Hegra Collaboration 1996-07-24 A. Moralejo LVQ PAK: The Learning Vector Quantization Program Package 1999-02-18 Order Norms On Bounded Partially Ordered Sets 1998-08-26 Analogical Reuse of Requirements Specifications: A Computational Model 1996-01-24 Yangian Symmetry and Quantum Inverse Scattering Method for the One-Dimensional Hubbard Model 1970-01-01 Parallel Preconditioning Techniques for Sparse CG Solvers 1996-03-21 StarT E X --- a T E X for beginners 1996-08-14 Dag Langmyhr SOL: A Shared Object Toolkit For Cooperative Interfaces 1996-08-12 On Programming Atomic Actions in Ada 95 1997-05-29 Mean Shift Analysis and Applications 1999-03-07 Interaction and Modeling Techniques for Desktop Two-Handed Input 1998-12-11 Three Results on Interactive Communication 1996-05-02 Expectations from a Microlensing Search for Planets 1996-11-19 S. J. Peale Fast Server-Aided RSA Signatures Secure Against Active Attacks 1995-06-16 Fast Nearest Neighbor Search in Medical Image Databases 1996-05-10 An Algorithm for Optimal Routing in Shuffle-Exchange Networks 1997-08-12 F. C. M. Lau Comparison Of Convection Parameterizations In An Atmospheric General Circulation Model 1995-05-09 Zhao-xin Li The Maximal Length Of Cloud-Antichains 1998-07-07 A Multilevel Adaptive Projection Method for Unsteady Incompressible Flow 1995-06-13 Louis H. Howell Interpolation of Magnetic Fields and Their Gradients for MEG Data with 3D Spline Functions 1996-10-23 Composition Methods for the Integration of Dynamical Neural Networks 1998-09-29 An Inter-procedural Approach for Optimizations of Java Programs 1999-02-08 Jmd@cs.princeton.edu 1995-01-16 An Equivariant, Inclination-Flip, Heteroclinic Bifurcation 1996-03-14 Patrick A. Worfolk Eliminating Range Checks using Static Single Assignment Form 1995-08-20 The Floodlight Problem 1996-11-02 An Algebraic Approach to Form Factors 1998-05-23 Max R. Niedermaier The Sonority Hierarchy In Hungarian 1997-01-11 Unsupervised Classification Learning from Cross-Modal Environmental Structure 1994-11-15 Virginia Ruth De Sa Genetic Programming Estimates of Kolmogorov Complexity 1997-04-16 Clustering Based On Association Rule Hypergraphs 1997-11-05 Existence of Unique Weak Solutions to a Dynamical System for Nonlinear Elastomers with Hysteresis 1999-03-24 Distributed Control Methods 1998-02-09 Controlling Memory Access Concurrency in Efficient Fault-Tolerant Parallel Algorithms 1996-03-04 Where the Tagger Falters 1997-10-17 Elliott Macklovitch Third Order Distortion Measurement Circuit for CMOS Transconductors 1997-12-22 Learning to Query the Web 1996-11-25 Statistics of RNA Melting Kinetics 1998-09-25 Porting Linear Algebra Subroutines From Transputers To Clusters Of Workstations 1997-06-06 Cryptanalysis of LOKI 91 1997-10-08 Abstracting Control 1995-01-06 No Free Lunch for Cross Validation 1999-01-22 K*: An Instance-based Learner Using an Entropic Distance Measure 1995-04-26 SpeechActs: A Conversational Speech System 1998-11-25 Nicole Yankelovich Unique Sets Oriented Parallelization of Loops with Non-uniform Dependences 1998-05-13 Jialin Ju And Dynamic Motion Planning of Autonomous Off-Road Vehicles 1998-04-09 Generalized Probabalistic Reasoning and Empirical Studies on Computational Efficiency and Scalability 1996-02-21 Executable Assertions and Separate Compilation 1996-12-19 K John Gough Extended Markovian Process Algebra 1998-10-06 Business Process Redesign: A Petri-net-based approach 1995-11-17 K. M. Van Hee Blackbox Optimization: Implications Of SEARCH 1996-10-31 Practical Refinement-Type Checking 1999-03-21 Ffl Ffl Ffl 1998-06-05 D, Where 1996-03-29 Support for Distributed Dynamic Data Structures in C++ 1998-09-05 Object-Oriented Database Design: What is the Difference with Relational Database Design? 1997-08-22 A Sparse Approximate Inverse Preconditioner For The Conjugate Gradient Method 1996-06-27 Michele Benzi On The Relation Between Situation Calculus And Event Calculus 1970-01-01 Change of structure in financial time series, long range dependence and the GARCH model 1999-05-10 Thomas Mikosch A Hybrid Interior Point Algorithm for Performing Alternating Minimizations 1995-10-06 Parallel Algorithms for Maximal Linear Forests 1997-03-28 Ryuhei Uehara An Optimal Index for PAT Arrays 1997-01-13 Gonzalo Navarro Unrolling Lists 1970-01-01 Zhong Shao A Note On The Oscillation Theory Of Certain Second Order Differential Equations 1995-09-12 Methods and Techniques for Object-Oriented Analysis and Design 1994-12-15 Multimedia information processing in the SWAN mobile networked computing system 1998-01-29 Evaluating Emerging Software Development Technologies: Lessons Learned from Assessing Aspect-oriented Programming 1998-10-26 Evaluation of TCP Vegas: Emulation and Experiment 1995-11-30 Neural Network Autoregressive Modeling of Vibrations for Condition Monitoring of Rotating Shafts 1997-03-06 Interprocedural Conditional Branch Elimination 1997-07-03 Manipulating Algebraic Parts in the Plane 1999-03-09 Additive Tree Spanners 1998-01-21 Analysis of a Bounding Box Heuristic for Object Intersection 1999-03-06 Building a Fast Double-Dummy Bridge Solver 1996-11-04 Ming-sheng Chang Phd Student Design And Implementation Of A Portable Global Code Optimizer 1992-08-12 Scott Alan Mahlke Annealed Theories Of Learning 1998-01-12 H. S. Seung Slow and Smooth: a Bayesian theory for the combination of local motion signals in human vision 1998-05-09 Appeared in the Proceedings of the Fall VHDL International Users Forum, 1995, pp. 1.7-1.13 1998-03-20 Hyperon Production in Pb + Pb Collisions at 158 A GeV/c 1996-09-01 Critical System Properties: Survey and Taxonomy 1994-03-19 OASIS: A Front-End for Prototyping Catalog Enhancements 1999-03-04 Argument and Reconciliation 1995-03-31 More Practical Bounded-Skew Clock Routing 1997-03-27 Towards a Unified Physical Model for Virtual Environments 1998-10-23 Quantification in Nqthm: a Recognizer and Some Constructive . . . 1994-10-21 Optimal Patching Schemes for Efficient Multimedia Streaming 1999-04-12 Lossless Image Compression using the Discrete Cosine Transform 1970-01-01 The Globular Cluster Luminosity Function as a Distance Indicator: Dynamical Effects 1996-11-12