Transport of Torsional Stress in DNA 1999-11-05 Philip Nelson Intersection numbers of twisted cohomology groups associated with Selberg-type integrals 1998-06-10 Katsuyoshi Ohara Next Century Challenges: Mobile Networking for "Smart Dust" 2000-01-22 Relatively Robust Representations of Symmetric Tridiagonals 1999-08-22 Numerical Computation of the Turbulent Particulated Flow in an Electrostatic Precipitator 1999-10-12 An Improved Algorithm for Finding Tree Decompositions of Small Width 1999-12-09 Generalised Folds for Nested Datatypes 2000-03-15 Richard Bird Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs 1997-01-02 Henrik Bostrom Performance Comparison of Future Memory Architectures 1999-07-29 A Comparative Analysis of Four Parallelisation Schemes 1999-05-10 Modeling Behavior with Personalities 1999-05-24 Formalizing a Lazy Substitution Proof System forµ-calculus in the Calculus of Inductive Constructions 1970-01-01 Marino Miculan Computing Observation Weights for Signal Extraction and Filtering 1999-06-29 Learning From User Feedback in Image Retrieval Systems 2000-02-11 Nuno Vasconcelos Operation-based Update Propagation in a Mobile File System 1999-07-07 An Empirical Evaluation of Three Defect-Detection Techniques 1997-05-09 Absolutely referenced geostrophic velocity and transport on a section across the North Atlantic Current 1999-08-19 Axiomatic Characterizations Of Structural Similarity For Case-Based Reasoning 1997-02-20 A Comparison Between The Performance Of Feed Forward Neural Networks And The Supervised Growing Neural Gas Algorithm 1996-11-22 A Discipline of Specification-Based Test Derivation 1999-04-24 Michael R. Donat FORSCHUNGSZENTRUM JLICH GmbH 1999-06-08 The Shuffle Hopf Algebra and Noncommutative Full Completeness 1996-09-23 Efficient Perspective-Accurate Silhouette Computation 2000-04-12 Benchmarks and Standards for the Evaluation of Parallel Job Schedulers 1999-08-18 Invariant Operators On Manifolds With Almost Hermitian Symmetric Structures, II. Normal Cartan Connections 1998-01-27 Using Spatial Sorting and Ranking in Model-Based Object Recognition 1999-11-24 Compiler Correctness using Algebraic Operational Semantics 1998-11-05 K Stephenson QCD Corrections to Jet Cross Sections in DIS 1996-06-25 Erwin Mirkes Mechanical Tool Support for High Integrity Software Development 1998-08-11 Bidirectional Ring: An Alternative to the Hierarchy of Unidirectional Rings 1995-06-27 L.W.N. van der Torre 1997-09-22 Affine Real-Time Face Tracking using Gabor Wavelet Networks 2000-05-25 Recent Problems from Uniform Asymptotic Analysis of Integrals In Particular in Connection with Tricomi's $Psi$-function 1998-01-23 A Warp-Based Feature Tracker 1999-11-10 ON THE PREDICTION OF DYNAMIC STALL ONSET ON AIRFOILS IN LOW SPEED FLOW K. D. JONES and M. F. PLATZER 1999-08-20 Bounded Arithmetic, Proof Complexity and TwoPapers of Parikh 1970-01-01 Samuel R. Buss The Product Replacement Algorithm And Kazhdan's Property t 1999-12-14 C²AS: A System Supporting Distributed Web Applications Composed of Collaborating Agents 1998-10-13 Strongly-Interacting Electroweak Sector At 1998-03-27 Tao Han Taming Control Flow: A Structured Approach to Eliminating Goto Statements 2000-04-13 VLSI Algorithms for Finding a Fundamental Set of Cycles and a Fundamental Set of Cutsets of a Graph 1997-03-18 Some Remarks on Singularities in Quantum Cosmology 1997-03-03 Mark J. Gotay Examples of Reusing Synchronization Code in Aspect-Oriented Programming using Composition-Filters 1999-06-29 Techniques for Debugging Parallel Programs with Flowback Analysis 1991-04-26 An Algebraic Dexter-Based Hypertext Reference Model 1999-11-18 Description Logics for Image Recognition: a preliminary proposal 1999-07-02 An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE 1999-12-06 Unknown 1999-12-13 Switching Controllers Based on Neural Network Estimates of Stability Regions and Controller Performance 1999-10-05 Where do Software Architectures come from? - Systematic Development from Domains and Requirements - A Re-assessment of Software Engineering? 1999-11-16 Akelarre: a new Block Cipher Algorithm 1997-11-14 Conference Program, HPCU 99 1999-08-13 -Subsumption and Its Application to Learning from Positive-only Examples 1997-06-09 Zdravko Markov Virtual Universities: Are Dual Mode Universities the Solution? 1998-08-26 CoCheck: Checkpointing and Process Migration for MPI 1996-10-02 Georg Stellner A Static Type System for Detecting Potentially Transmissible Functions 1999-06-18 Dilsun Kirli Macroeconomic Policy Interaction under EMU: A Dynamic Game Approach 2000-02-01 Representation, Optimization and Compression of High Dimensional Data 1999-02-05 Krasimir Kolarov Single-Shot Depth-Section Imaging Through Chromatic Slit-Scan Confocal Microscopy 1998-10-23 Vision-Guided Robot Manipulator Control as Learning and Recall Using SHOSLIF 1999-07-14 Picard-Einstein Metrics and Class Fields Connected with Apollonius Cycle 1999-12-17 Non-Standard Approaches to Integer Programming 1999-12-10 A Multigrid Algorithm For Higher Order Finite Elements On Sparse Grids 1997-05-31 Hans-joachim Bungartz The Outlook for the U.S. Banking Industry: What Does the Experience of the 1980s and 1990s Tell Us? 1999-12-31 The k-variable property is stronger than H-dimension k 1995-05-26 Ian Hodkinson Guide to the Slit Spectra Reduction Task DOECSLIT 1992-05-08 Francisco Valdes Learning in an Active Hybrid Vision System 1999-05-19 Geometric Aspects of SL2-Invariant Second Order Ordinary Differential Equations 1995-07-25 Gunter Czichowski Logo Detection in Document Images 1997-06-30 Effects of Image Resolution on Depth Perception in Stereo and Non-stereo Images 1997-03-19 Common Subexpression Removal in Soot 2000-05-01 Patrick Lam Interannual Variability In Weddell Sea Ice From Ers Wind Scatterometer 1999-05-10 Overlap Distributions for Deterministic Systems with Many Pure States 1997-04-26 Motion Segmentation and Tracking Using Normalized Cuts 1999-11-08 Service-Centric Brokering In Dynamic E-Business Agent Communities 2000-07-05 A Systematic Error Analysis of Robotic Manipulators: Application to a High Performance Medical Robot 1999-06-29 Deadlock Detection Agents: A Distributed Deadlock Detection Scheme 1999-11-10 Bounding the Expected Length of Longest Common Subsequences and Forests 1996-05-13 Notes on the 1999-10-12 Concavity and B-Concavity of Solutions of Quasilinear Filtration Equations 1998-11-30 Victor A. Galaktionov Failproof Team Projects in Software Engineering Courses 1997-06-27 A. T. Berztiss Pyramid-Based Texture Analysis/Synthesis 1995-05-04 A Numerical Study Of Strongly Correlated Electron Systems 1998-08-26 Alireza Niki Tahvildarzadeh Unequal Area Facility Layout Using Genetic Search 1999-08-04 Telecommunication Standardisation - Do We Really Need The User? 1998-03-02 New Bounds on Crossing Numbers 1999-12-01 Analysis of a Packet Switch With Memories Running Slower Than the Line-Rate 1999-12-05 A Temporal Reference Framework for Multimedia Synchronization 1996-09-19 Design of a Multimedia Player withAdvanced QoS Control 1999-01-07 Rainer Koster Assessing Case Value in Case-Based Reasoning with Adaptation 1999-11-30 Neural Networks for Teletraffic Routing And Troubleshooting 1999-06-16 A Local Minimum Free Path Generation Method by using the Obstacle Vectors and the Via Points 1999-12-28 Eigenvalue Spacings For Regular Graphs 1999-10-04 A Tutorial on Support Vector Machines for Pattern Recognition 1999-12-21 Christopher J. C. Burges Analysis of Traffic Scenes by Using the Hierarchical Structure Code 1997-03-03 What are the Computations of the Cerebellum, the Basal Gangila, and the Cerebral Cortex? 1999-05-15 Kenji Doya Structured Course Objects in a Digital Library 1999-10-01 Mehrschichtige Oberflächenmodelle zur computergestützten Planung in der Chirurgie 1998-12-23 Application Of Case-Based Reasoning To Computer-Assisted Construction Planning - CBR for Construction Planning 2000-01-11 Department of Computing, Imperial College 180 Queen's Gate, London SW7 2BZ, UK Email: 1996-02-23 The Isomorphism Conjecture Holds Relative to an Oracle 1999-03-23 Torsional Directed Walks, Entropic Elasticity, and DNA Twist Stiffness 1999-06-16 Research in Data Broadcast and Dissemination 1998-10-13 Bayesian Predictive Simultaneous Variable and Transformation Selection in the Linear Model 1999-02-26 Optimal Synthesis of Algorithm-specific Lower-Dimensional Processor Arrays 1993-11-28 METALICA: An Enhanced Meta Search Engine for Literature Catalogs 2000-01-07 Wavelet-Based Fractal Transforms for Image Coding with no Search 1999-05-03 A Low-power CMOS SigmaDelta Modulator fot IF A/D Conversion in . . . 2000-02-22 Hierarchical Data Structures for Interactive Volume Visualization 1995-11-08 Coding For Content-Based Retrieval 1996-05-31 Dynamics and Stability of a Weak Detonation Wave 1998-12-16 Experimental Validation Of Numerical Codes In Thermally Driven Flows 2000-03-10 Tomasz A. Kowalewski Wux: Unix Tools under Windows 1999-12-25 Diomidis Spinellis Mutual Trust between Customers and Providers of Distributed Services 1996-03-01 Human-Machine Interaction With Multiple Autonomous Sensors 1999-08-06 Steven A. Murray The Six Vertex Model, Roughened Surfaces and an Asymmetric Spin Hamiltonian Leh-Hun Gwa 1999-08-20 "Research sponsored in part by the Phillips Laboratory, Air Force Material Command, USAF, 1995-10-24 An Empirical Comparison Of Monte Carlo Radiosity Algorithms 1999-01-07 SimplicialVIEW: a Software Package for Robust Stability Analysis 1997-05-08 A Design Methodology for Three-dimensional Space-invariant Hypercube Networks Using Graph Bipartitioning 1999-06-14 An Experimental Multi-Agent Environment For Engineering Design 1998-11-18 Assessing Feedback of Measurement Data: Relating Schlumberger RPS practice to learning theory 1998-05-06 Line Following Algorithm 1999-12-28 A High-Level, Massively Parallel Programming Environment and Its Realization 1998-11-19 Global Decision on the CS-2 1994-11-14 The Impact of Scaling on a Multimedia Connection Architecture 1993-03-22 Eve M. Schooler Number Theoretic Transfoms in Audio Processing 1999-12-13 Combining Qualitative and Quantitative Constraints in Temporal Reasoning 1996-12-06 Itay Meiri Macroscopic Analysis of Design Processes Based on a Scheme for Coding Designers' Cognitive Actions 1999-08-15 Joint Distributions of Arbitrary Variables Made Easy 1998-04-09 Richard G. Baraniuk Distortion Theorems for Rational Functions Without Poles Or Zeros in Simply Connected Domains 1999-11-24 The Trusts: Librarianship Education And The Learned Professions 1999-12-13 D. Houston Abundance of Translation Invariant Pure States on Quantum Spin Chains 1997-04-26 A Family of Optimal Packings in Grassmannian Manifolds 1999-11-30 A Numerical Bound For Baker's Constant - Some Explicit Estimates For Small Prime Solutions Of Linear Equations 1998-12-17 Kwok-kwong Stephen Choi Families Of Linear Functions And Their Envelopes 1996-01-06 Streaming Video with Transformation-Based Error Concealment and Reconstruction 1999-03-12 Perturbation Analysis for the Eigenvalue Problem of a Formal Product of Matrices 2000-02-16 Visualization of Vasculature from Volume Data 1999-06-18 SAT-based Procedures for Temporal Reasoning 1999-09-24 New Limits on the Masses of the Selectron and Photino 1996-08-02 An Improved Version of Width Restricted Resolution 1999-12-13 Oliver Kullmann Polyphase Analysis of Subband Adaptive Filters 1999-10-31 Hardware-Software Codesign for Dynamically Reconfigurable Architectures 1999-08-03 GeoWorlds: AGeographically-based Information System for Situation Understanding and Management 1999-04-30 Optimized Image Reconstruction for Emission Tomography Using Ordered Subsets, Median Root Prior and a Web-based Interface 1998-11-17 Data Warehouse Evolution: Consistent Metadata Management 1999-10-11 A Simplied Three-Way Catalyst Model for Use in On-Board SI Engine Control and Diagnostics 1999-12-17 The Comparison of Illumination Maps Technique in Computer Graphics Software 1999-05-14 Stable Ergodic Properties of Cocycles Over Hyperbolic Attractors 1998-06-25 C. P. Walkden Enhanced Fuzzy Modeling Using Special Membership Functions And Fuzzy Rule Bases 1998-11-25 Michael Hanss Nonlinear Iterative Learning by an Adaptive Lyapunov Technique 1999-11-04 Dynamic Financial Forecasting with Automatically Induced Fuzzy Associations 1999-09-23 On Training Automated Agents 1996-01-03 Jeffery A. Clouse Airborne Laser Scanning: Basic Relations and Formulas 1999-10-25 E. P. Baltsavias Towards Extensional Goals in Authentication Protocols 1998-09-17 Colin Boyd FastMap: A Fast Algorithm for Indexing, Data-Mining and Visualization of Traditional and Multimedia Datasets 1997-05-01 Linear and Non-Linear Systems: A Survey 1999-08-19 Symbolic Knowledge Representation in Recurrent Neural Networks: Insights from Theoretical Models of Computation 1999-06-18 FIRM: A Class of Distributed Scheduling Algorithms for High-speed ATM Switches with Multiple Input Queues 1999-12-05 Quadrature Formulas on Spheres Using Scattered Data 1999-01-29 Fast and Accurate Hierarchical Radiosity Using Global Visibility 2000-01-26 Set-Theoretic Reconstructability of Elementary Cellular Automata 1999-08-19 Towards A Design Environment For Buildingintegrated Energy Systems: The Integration Of Electrical Power Flow Modelling With Building Simulation 1999-01-20 Using Recurrent Networks for Dimensionality Reduction 1994-05-02 Michael J. Jones Optimizing A Unimodal Response Function For Binary Variables 2000-05-02 Image Analysis and Object Surfaces 1998-12-17 Reinhard Klette An Advanced System To Generate Pronunciations Of Proper Nouns 1999-01-01 Medium Access Control Protocols using Directional Antennas in Ad Hoc Networks 2000-01-17 Constraints for Non Predefined Data Types 1998-11-30 Mohamed Mohsen Gammoudi Two-Dimensional Digital Filtering Using Constant-I/o Systolic Arrays 1994-03-09 Towards an Integration of Evolving Information Systems and CASE-Tools 1998-10-10 How Many Pixels To Watermark? 2000-01-19 Using D-separation to Calculate Zero Partial Correlations in Linear Models with Correlated Errors 1999-09-22 Model Selection and Error Estimation 2000-05-24 Recycling of Strange Sets: II. Applications 1995-11-26 Biomedical Engineering at the Technical University of Denmark 1998-08-14 Real Estate Returns and Inflation: An Added Variable Approach 1999-08-13 Reid G. Simmons, Richard Goodwin, Karen Zita Haigh, Sven Koenig, Joseph O'Sullivan, Manuela M. Veloso 1999-09-14 Dynamics of Membrane Excitability Determine Inter-Spike Interval Variability: A Link Between Spike Generation Mechanisms and Cortical Spike Train Statistics. 1998-02-18 Possible re-definition of the CIE Standard Daylight Illuminant spectral power distribution 1999-10-29 Monitor Object 1999-10-12 Douglas C. Schmidt Tuning Fuzzy Membership Functions with Neighbourhood Search Techniques: A Comparative Study 2000-04-06 Estimation Of The Ic Layout Sensitivity To Spot Defects 1999-12-04 A Resource Description Environment for Distributed Computing Systems 1999-08-17 Comparison of Biphase Spreading to Quadriphase Spreading in DS CDMA Systems that Employ Long PN Sequences 1996-01-19 The Use of Lexical Semantics in Interlingual Machine Translation 1999-08-27 Bonnie J. Dorr Computing integer points in Minkowski sums 1970-01-01 Ioannis Z. Emiris 3D Shape Modelling through a Constrained Estimation of a Bicubic B-spline Surface 1998-08-18 Efficient Dense Matching for Textured Scenes Using Region Growing 1998-08-18 Maxime Lhuillier Stallings Foldings And Subgroups Of Free Groups 2000-01-26 ParaDict, a Data Parallel Library for Dictionaries 1996-10-31 Extending Population-Based Incremental Learning to Continuous Search Spaces 2000-01-14 Office Of Inspector General 1998-09-29 June Gibbs Brown Performance of a Parallel Application on a Network of Workstations 1997-11-12 Transformation Systems at NASA Ames 1999-04-22 Expanding the Use of Structuring Formal Justification for Working on Subnets 1999-12-07 Standardisation of Global Telecommunication Services - Expertise or Market Shares? 1998-02-20 From Ease in Programming to Easy Maintenance: Extending DSL Usability with Montages 1999-12-08 A Backward Look To The Future 1999-04-23 E. T. Jaynes Multimedia Proxy Caching Mechanism for Quality Adaptive Streaming Applications in the Internet 1999-12-05 The plaNET/ORBIT High Speed Network 1998-09-21 Clustering and Volume Scattering for Hierarchical Radiosity Calculations 1994-10-06 Francois Sillion Results And Discussion 1997-09-20 Flavor Symmetries and the Description of Flavor Mixing 1999-05-07 Principles for a Usability-Oriented Pattern Language 1998-10-06 Designing a Coprocessor for Recurrent Computations 1993-09-21 The World Price Of Insider Trading 1999-12-21 Timetabling with Annotations 1999-12-21 Multiple Basis Wavelet Denoising Using Besov Projections 1999-07-01 Low Pressure Abrasive Waterjet Use For Precision Drilling And Cutting Of Rock 1999-07-12 Knowledge-Based, Automatic Generation of Educational Web Pages 1998-12-21 Stefan Trausan-matu Region-Based Image Compression Using Fractals And Shape-Adaptive Dct 1999-06-29 Kamel Belloulata Average Densities, Tangent Measures and Rectifiability 1998-10-16 Peter Morters Adaptive Blind Signal Separation Using aNew Simplified Mixing Model 2000-02-22 An Upper Bound on the Loss from Approximate Optimal-Value Functions 1993-07-02 The Role of `Hidden Preferences' in the Artificial Co-evolution of Symmetrical Signals 1998-08-07 Nonideal Measurement Locations in Planar Near-Field Antenna Metrology 1999-06-24 When is a Cellular Algebra Quasi-Hereditary? 1999-10-05 Changchang Xi The Error-Reject Tradeoff 1999-12-10 Delta Modulation based Prediction for Access Control in Integrated Voice/Data CDMA Systems 1999-03-19 Evolutionary-Fuzzy Prediction for Strategic Inter-Domain Routing: Architecture and Mechanisms Originator : 1998-09-28 Ccsds Panel 2 Methodology For Development Of Recommendations 1999-03-31 Detecting Bilateral Symmetry of 3D Point Sets from Affine Views 1999-10-30 A Categorical Account of Two-Level Languages 1999-12-12 Eugenio Moggi Intrinsic Operators for the Electromagnetic Nuclear Current 1996-10-04 J. Adam Technische Universit at Graz Institut f ur Mathematik Christian-Doppler-Laboratorium " Diskrete Optimierung 1999-05-07 Rulegraphs for Graph Matching in Pattern Recognition 1999-11-10 An Economic and Institutional Analysis of Maize Research in Kenya 1999-03-22 Metrics and Models for Handwritten Character Recognition 2000-06-15 Multiresolution Compression And Reconstruction 1997-10-31 An Algorithm for Computing the Integral Closure 1999-07-01 AOP: towards a generic framework using program transformation and analysis 2000-05-04 LOmegaUI: Lovely OMEGA User Interface 1999-10-13 An Architecture for Recovering Business Events Bottom-up 1999-05-31 NASA LANGLEY RESEARCH CENTERS CONTRIBUTIONS TO INTERNATIONAL ACTIVE BUFFETING ALLEVIATION PROGRAMS Robert W. Moses Aeroelasticity Branch NASA Langley Research Center Hampton, Virginia, USA 1999-11-09 A Motion Planning Based Approach for Inverse Kinematics of Redundant Robots: The Kinematic Roadmap 1997-12-02 What Have the Breasts of a Running Woman Got to Do With Relevance? 1996-10-22 Katalin Egri Ku-mesu A Polyadic Modal 1997-02-19 The Stability of Saturated Linear Dynamical Systems is Undecidable 1999-11-24 Universite Catholiquedelouvain The Large Binocular Telescope Project 1996-06-24 J. M. Hill Topologies, Continuity And Bisimulations 1999-12-15 J. M. Davoren Aspectual Modifications to a LCS Database for NLP Applications 1999-09-20 A scalable Processor Array for Selforganizing Feature Maps 1999-09-21 Optimal Bounds For The Length Of Rational Collatz Cycles 1999-11-25 Hierarchical Vector Quantizers: Structure versus Performance 1998-01-04 Andrew L. Adams Fluid-Structure Interaction Simulation of Submerged Floating Tunnels. Part 2: 2D Section Models 1998-04-30 Extending UML for the Specification of Agent Interaction Protcols 1999-12-16 Resolution of Governor Selection Ambiguity For Korean Noun Phrase Using Automatically Constructed Lexical Information 1970-01-01 Considerations on efficiency of the RF power transistors in the different classes of operation 1998-06-04 Philips Semiconductors Distributed objects in a commercial Web environment 1998-11-05 Chapter 3 Product Density Kernel Estimates 1999-07-31 Linda Brant Collins Hydrogen Assisted Catalytic Combustion Methane Platinum 2000-05-10 Improved Analysis of the Outage Performance in Cellular Systems 1996-06-18 Michele Zorzi A General Semantics for Evaluation Logic 1999-12-12 Eugenio Moggi A Toolkit for Constraint-based Inference Engines 1999-12-27 Computer Science Series 1999-12-08 Craig E. Wills Optimal Compilation of HPF Remappings 1995-07-18 Coupled Ocean/Atmosphere Modeling on High-Performance Computing Systems 1997-05-13 Simplicity and Strong Reductions 2000-05-24 Asymptotics of Solutions in a 1997-04-26 Comparison Between Subsonic Flow Simulation And Physical Measurements Of Flue Pipes 1996-04-03 Unsteady Flow Volumes 1998-09-09 Client-side Web Scripting with HaskellScript 1999-01-18 -join Problem in Sparse Graphs: Applications to Phase Assignment Problem in VLSI Mask Layout 1999-08-15 A Customized Logic Paradigm for Reasoning about Models 1995-12-20 Reinhard Stolle Multistep Methods For Integrating The Solar System 1996-04-03 Panayotis Avgoustos Skordos A Summary of the Economic Analysis Concerning the Application of Intelligent Transportation Systems/Commercial Vehicle Operations ITS/CVO to the MidContinent Corridor 1999-11-17 Christopher Monsere T. H Graph Nonisomorphism Has Subexponential Size Proofs Unless The Polynomial-Time Hierarchy Collapses 1998-12-07 Necessary Conditions for Consistency of Noise-Free, Closed-Loop Frequency-Response Data with Coprime Factor Models 1999-09-24 Benoit Boulet Improved Wavelet Denoising via Empirical Wiener Filtering 1998-04-09 Lattice Chain Models for Affine Buildings of Classical Type 1999-12-02 Peter Abramenko Finite Element Model and Validation of a Surrogate Crash Test Vehicle for Impacts With Roadside Objects 1999-11-04 Localization based Visibility Sectors using Range Sensors 1999-10-13 Adaptive Communication Algorithms for Distributed Heterogeneous Systems 2000-02-13 Audiology in Germany: Before and Since Reunification 1998-06-02 Lenarz Ernst Spontaneous Emission and Nonlinear Effects in Photonic Bandgap Materials 1999-11-19 Acknowledgments 1992-08-12 James Edward Sicolo Robust Geometric Computation RGC, State of the Art 1999-04-26 Francisco J. Santisteve Performance of PVM on a Highly Parallel Transputer System 1994-10-13 The Rapid Evolution of Scholarly Communication 2000-04-01 Andrew Odlyzko Robust Line Segment Extraction Using Genetic Algorithms 1999-12-22 Linearization Of Adcs And Dacs For All-Digital Wide-Bandwidth Receivers 1999-11-11 Don Hummels On the Asymptotic Distribution of the Errors in Vector Quantization 1996-03-06 David L. Neuhoff Checkmate: Cornering C++ Dynamic Memory Errors With Checked Pointers 1999-12-20 Scott M. Pike Joining Forces in Solving Large-Scale Quadratic Assignment Problems in Parallel 1999-05-06 Multiobjective Evolutionary Algorithms: Classifications, Analyses, and New Innovations 1999-05-24 David A. Van Veldhuizen A Dependently Typed Assembly Language Extended Abstract 2000-03-16 On the Use of a Mixed Integer Nonlinear Programming Model for Refrigerant Design 1998-09-20 MEDIATE: An Object-Oriented Framework For Developing Collaborative Multimedia 2000-02-02 Steinar Kristoffersen Portable Implementation of Real-Time Signal Processing Benchmarks on HPC Platforms 2000-02-13 The Spectral Transform in the Semiclassical Limit of a Finite Discrete NLS Chain 2000-04-28 Stephen P. Shipman WebSubmit: Web-based Applications with Tcl 1999-09-03 A New Evolutionary Approach to the Degree-Constrained Minimum Spanning Tree Problem 1999-08-19 Insight Lab: An Immersive Team Environment Linking Paper, Displays, and Data 1999-12-08 Area-Power-Time Efficient Pipeline-Interleaved Architectures For Wave Digital Filters 1999-03-15 On the Relationship Between the Overlapping Rounding Transform and Lifting Frameworks for Reversible Subband Transforms 1999-11-18 Merging Probability and Possibility for Robot Localization 1999-08-28 Steve Lanning 1999-03-31 Commercial Vehicle Information Systems and Networks CVISN 1999-11-30 A Matrix Approach to Log-Linear Analysis Using SAS/IML 1999-08-25 Paul Johnson An Efficient Transitive Closure Algorithm for Cyclic Digraphs 1999-09-01 Esko Nuutila The TAMU Security Package: An OngoingResponse to Internet Intruders in an Academic Environment 1993-12-12 Messages versus Messengers in Distributed Programming 1998-12-10 Hilbert Series and Degree Bounds in Invariant Theory 1999-12-14 Gregor Kemper General character of HPSG 2000-02-11 A Parallel Implementation of an MPEG1 Encoder: Faster Than Real-Time! 1995-02-03 Root-Mean Square Error in Passive Autofocusing and 3D Shape Recovery 1999-11-04 Design and Implementation of a Parallel Constraint Satisfaction Algorithm 2000-01-26 On the Generation of Spatiotemporal Datasets 1999-12-21 Path Following For Large Nonlinear Equations By Implicit Block Elimination Based On Recursive Projections 1970-01-01 Object Oriented Real-Time Database Design and Hierarchical Control Systems 1999-10-26 Necessary and Sufficient Conditions for the Strong Law of Large Numbers for U-statistics 1998-12-16 Joel Zinn Complements of Subanalytic Sets and Existential Formulas for Analytic Functions 2000-04-04 Andrei Gabrielov An Outline of Rule-Based Refinement for Petri Nets 1999-12-07 Julia Padberg Analysis of a Local-Area Wireless Network 2000-05-26 Identifying Discourse Markers in Spoken Dialog 1998-06-09 Supporting GDT Practices Through 3-D Modeling Activities 1998-12-21 Creating an Order in Distributed Digital Libraries by Integrating Independent Self-Organizing Maps 1999-10-14 On the Need for a Separate Perception Grammar 1999-10-27 Paul Boersma Supergravity Inspired Warped Compactifications and Effective Cosmological Constants 2000-05-03 An Expert Assistant for Hardware Systems Specification 1997-02-12 Revision 02 of 1999-02-15 Astronomical Data Analysis Software and Systems IX ---Instructions for Authors Using L 1999-09-28 Chapter 1 Inter-event Distance Methods 1999-09-17 Marc van Kreveld 1999-06-25 Toward Optimal Feature Selection 1999-07-23 An Algorithm for Multi-Relational Discovery of Subgroups 1999-02-06 Stefan Wrobel Programming Research Group 1999-02-25 Corina Cirstea Situation Schemata as Representation Format and Query Language for a Non-Standard Database System 1998-04-22 Small Scale Nonlinear Analysis of Electrostrictive Crack Problems 1999-12-13 Hg Beom Regional Frequency Analysis Methods for Evaluating Changes in Hydrologic Extremes 1999-09-28 A. Allen Bradley Minimum Interference Routing with Applications to MPLS Traffic Engineering 1999-12-05 Flow Past a Fixed Circular Cylinder: A Benchmark Test 1997-09-18 Multidimensional Exploration of Software Implementations for DSP Algorithms 1999-11-03 VCSEL-based Custom Radiation Tolerant Optical Data Links 2000-01-21 On Posterior Consistency of Survival Models 1999-06-28 Quantitative Program Logic and Efficiency in Probabilistic Distributed Algorithms 1999-10-12 A K Mciver A Simple Adaptive SVC Caching Scheme for Voice Trunking Over ATM VTOA Applications 1999-12-05 Speedup in Quantum Computation is Associated With Attenuation of Processing Probability 1995-03-01 K. Svozil An Evening with Berferd In Which a Cracker is Lured, Endured, and Studied 1994-06-27 Bill Cheswick Time Series Prediction and Neural Networks 1999-07-09 A Stabilization Algorithm For Linear Controlled SDE's 1999-12-08 On Partial Fidelities 1970-01-01 Armin Uhlmann Intelligent 1999-11-22 Sheldon Chang On the Gauge Aspects of Gravity 1996-04-04 CVSys: A Coordination Framework for Dynamic and Fully Distributed Cardiovascular Modeling and Simulation 1998-03-18 Unknown 1998-08-10 A Globally Convergent Lagrangian Barrier Algorithm for Optimization with General Inequality Constraints and Simple Bounds 1970-01-01 p-adic Arithmetic and Parallel Symbolic Computation: An Implementation for Solving Linear Systems 1996-11-26 Learning Text Filtering Preferences 1999-09-07 Lectures on Superstring and M Theory Dualities 1996-09-25 John H. Schwarz The Ising Model on Diluted Graphs and Strong Amenability 1999-12-17 Efficient Spatial and Temporal Learning Procedures and Relational Evidence Theory 1999-11-24 Input Synchronization in Low Power CMOS Arithmetic Circuit Design 2000-04-25 Ravi Samtaney 1998-05-17 The Mind As A Control System 1994-02-15 Obtaining fuzzy solutions to the Fuzzy Solid Transportation Problem with Genetic Algorithms 1999-01-14 Jos'e L. Verdegay On h--Adaptive Mesh Refinement in Nonlinear Finite Element Analyses of Shell Structures 1996-09-23 A Classification of Symbolic Transition Systems 2000-01-06 Adaptive Multi-Stage Distance Join Processing 1999-10-19 Noise Reduction in Diffusion Tensor Imaging -- Reducing Systematic Anisotropy Errors 1999-07-03 Software Evolution: Prototypical Deltas 1999-08-30 Session Keynote: Lyapunov Function Candidates for Descriptor Systems: Problems and Solutions 2000-06-29 Vladimir B. Baji C An Optical Deflection-Routed Multiprocessor Interconnect 1998-08-28 Modeling The Basal Ganglia In The Control Of Arm Movements 1999-09-09 Amanda Bischoff Embley@cs.byu.edu} 1999-09-03 Homotopy Classes for Stable Periodic and Chaotic Patterns in Fourth-Order Hamiltonian Systems 1999-05-06 Modeling of Clouds from Satellite Images Using Metaballs 1999-12-07 Partition-Based Admission Control in Heterogeneous Networks for Hard Real-Time Connections 1999-11-07 Relationship of surface heat flux to microscale temperature variations: Application to BOREAS 1999-12-28 Jielun Sun The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future CLP Systems 1999-08-27 Spectral Equivalence and Proper Clusters for Matrices from the Boundary Element Method 1999-05-15 Restructuring Requirements Specifications 1999-06-02 A Critical Analysis of PSP Data Quality: Results from a Case Study 1970-01-01 Bayesian Method of Moments Analysis of Time Series Models with an Application to Forecasting Turning Points in Output Growth Rates 1999-03-08 Pattern Modelling in Time-Series Forecasting 1999-10-16 Sameer Singh The Semantics of the Java Programming Language: Preliminary Version 1998-01-13 Charles Wallace On the Structure of Degrees of Inferability 1998-09-29 A Software Architecture to support Misuse Intrusion Detection. 1999-10-21 Ieee 2000-04-22 Discovery Limits for Techni-Omega Production in 1999-07-08 Multi-Resolution Video Representation for Parallel Disk Arrays 1999-03-03 Randy H. Katz Subdivision Surfaces: A New Paradigm For Thin-Shell Finite-Element Analysis 2000-03-01 Optimal Sensor Location in Motion Control of Flexibly Supported Long Reach Manipulators 1999-06-29 Environments 1999-06-16 A Unified Estimation for Scheduled Controllers in Nonlinear Systems 1999-12-30 Fast Restart Of Manufacturing Cells Using Restart Points 2000-01-07 Information Processing by a Perceptron in an Unsupervised Learning Task 1997-04-17 The Piecewise Deterministic Process Associated to EEQT 1999-09-25 Control Mode Switching for Teledrilling Based on a Hybrid System Model 1999-04-15 Supporting Object Migration in Distributed Systems 1996-08-05 Using an Explicit Teamwork Model and 1999-09-15 An Analysis of Some Common Scanning Techniques For Lossless Image Coding 1999-09-29 An HPSG Account of Danish Determiners 1999-09-22 Anne Neville B-Spline Filter Banks For Very Low Bit Rate Coding 1999-10-13 M. Ghanbari NetCp - A Project Environment for an Undergraduate Computer Networks Course 1994-07-15 On the new low level Symmetry tool in INA 1998-07-07 Karsten Schmidt A Quadratic Non-Standard Arithmetic 1999-05-07 Dominique Michelucci Tree-Based Fault-Tolerant Multicast in Multicomputer Networks 1998-05-02 The Netherlands and the United Kingdom: A European Unemployment Miracle? 1999-12-23 Steve Nickell Face Cluster Radiosity 1999-09-15 Average Densities And Linear Rectifiability Of Measures 1998-10-16 P. M Orters Estimation of the noise in magnitude MR images 1999-12-03 Bayesian Model Selection of Autoregressive Processes 2000-02-11 Concurrent Session 6a 1999-11-17 Improving Static Branch Prediction in a Compiler 1998-08-04 Adaptive Construction Modelling Within Whole Building Dynamic Simulation 1998-07-16 On Combining Laplacian And Optimization-Based Mesh Smoothing Techniques 1999-07-07 Lori A. Freitag Hierarchical Organization of Robots: A Social Simulation Study 1998-06-22 Image Morphing with Feature Preserving Texture 1999-06-30 , F. Giannotti 1999-07-09 Advance Reservation of Network Resources for Multimedia Applications 1998-02-20 Wilko Reinhardt AIAA-98-2500 Data Fusion in Wind Tunnel Testing; Combined Pressure Paint and Model Deformation Measurements Invited 1999-11-19 Dedicated to Professor Thomas James Willmore on the occasion of his seventy-seventh birthday Katsumi Nomizu and Takeshi Sasaki 1998-06-13 On the Probabilistic Performance of Algorithms for the Satisfiability Problem 1995-10-27 John Franco A Dynamic QoS Adaptation Mechanism for Networked Virtual Reality 1999-05-01 Alternate Path Routing for Multicast 1999-12-05 Active Storage For Large-Scale Data Mining and Multimedia 1999-11-19 From theory to practice: The UTEP robot in the AAAI 96 and AAAI 97 robot contests 1999-11-30 Weak Ordering - A New Definition 1995-03-24 Design Properties and Object-Oriented Software Changeability 1999-12-28 Deterministic Dictionaries 2000-07-03 C Traps and Pitfalls* 1998-07-30 Andrew Koenig Codes, Correlations and Power Control in OFDM 1999-01-06 Visual Navigation of Large Environments Using Textured Clusters 1999-08-27 Fast Controllers for Data Dominated Applications 1997-07-23 Using Biology To Solve A Problem In Automated Machine Learning 1998-08-13 John R. Koza Autonomous Agents: Characterization and Requirements 1999-09-07 Jose C. Brustoloni SISSSI a tool for dynamic electrothermal simulation of analog VLSI cells 1997-04-24 Simulation-Based Modeling 1999-06-02 Demonstrating Flatland User Interfaces 1999-05-26 September 20, 1998 2000-05-29 Data Mining Library Reuse Patterns using Generalized Association Rules 1999-11-12 Amir Michail Designing for Navigation in Virtual Reality 2000-01-21 Disjoint Paths in Expander Graphs via Random Walks: a Short Survey 2000-05-26 Alan M. Frieze Monodromy, Diabolic Points, and Angular Momentum Coupling 2000-06-29 D. A. Sadovski'i Dynamic Parameter Encoding for Genetic Algorithms 1994-09-05 Tree-Based Classification Approach for Dealing With Complex Knowledge in Natural Sciences 1999-08-25 An Extrinsic Function-Level Evolvable Hardware Approach 2000-02-01 Tatiana Kalganova School Of Computer Studies Research Report Series 1994-08-02 Broadening the User Environment with Implicit Trading 1997-09-18 A Note on Multi-block Relaxation Schemes for Multigrid Solvers 1997-03-21 On the Power of Multi-Prover Interactive Protocols 1999-03-23 Estimating Environmental Effects Of Trade Agreements With Global Cge Models: A Gtap Application To Indonesia 1999-12-01 Algorithm Portfolio Design: Theory vs. Practice 1999-08-27 K-Harmonic Means - A Data Clustering Algorithm 1999-11-23 Restructuring of Enterprise Social Assets in Russia: Trends, Problems, Possible Solutions 1996-07-12 Irina Starodubrovskaya A Discrete Lagrangian-Based Global-Search Method for Solving Satisfiability Problems 1997-09-03 Yi Shang A Note on Object Class Representation and Categorical Perception 1999-12-18 An Explicit Bound on Epsilon for Nonemptiness of Epsilon-Cores of Games. 1999-10-03 Communication Interface Synthesis for Multilanguage Specifications 1999-12-09 Recommendation for Change of 1999-05-19 Lt Col Larry D. Wilson How to Grow A Recognizer 1999-05-06 Andrew M. Gillies Multilanguage Specification For System Design And Codesign 2000-05-16 Technology and Policy Shocks in Models of Endogenous Growth 1999-10-07 Fractal Structures in Language. The Question of the Imbedding Space 1999-06-29 Edda Leopold Symbolic Dynamics and Periodic Orbits for the Cardioid Billiard 1997-01-15 A Practical 1995-06-28 Information visualization using a new Focus+Context Technique in combination with dynamic clustering of information space 2000-01-12 Cone-Based Clustering Heuristic for List-Scheduling Algorithms 1997-04-24 Dual Dynamics: Designing Behavior Systems for Autonomous Robots 1999-02-06 Search for Scalar Top Quark Production in 1999-11-17 Angular Distributions of Drell-Yan Lepton Pairs at the Tevatron: Order 1994-12-19 E. Mirkes Receiver Based Management of Low Bandwidth Access Links 1999-12-05 E-mail Signature Block Analysis 1999-09-10 Some Remarks On Mechanisms For The Regulation Of Tropical Sea Surface Temperature 1997-11-21 Space Data Systems Operations With Standard Formatted Data Units: 1995-11-14 Green Book Population and Education Prospects in the Western Mediterranean Region Jordan, Lebanon, Syria, the West Bank and the Gaza Strip 1997-11-26 Object-Oriented Frameworks and Product-Lines 2000-05-29 On Traffic Light Control Of Regular Towns 1999-11-26 A Splitting Theorem For Groups Acting On Quasi-Trees. 1999-10-06 Michael Batty Neyman-Pearson Testing under Interval Probability by Globally Least Favorable Pairs - A Survey of Huber-Strassen Theory and Some Results on its Extension to General Interval Probability 1970-01-01 Th. Augustin An Analysis of Between-Speaker Intervals 1996-10-21 Matthew Bull Anytime Behavior for Obstacle Tracking 1999-06-29 Variational Design with Parametric Meshes of Arbitrary Topology 2000-03-16 Leif Kobbelt Fuzzy Logic Controllers Generated by Pseudo-Bacterial Genetic Algorithm with Adaptive Operator 1998-11-19 Content Locality in Time-Ordered Document Collections 1999-09-13 Charles L. Viles An Enhanced Representation of Time Series Which Allows Fast and Accurate Classification, Clustering and Relevance Feedback 1998-06-07 Sensorless Parts Feeding with a One Joint Robot 1999-09-07 Verification of Large State/Event Systems using Compositionality and Dependency Analysis 1998-05-27 Lossless Compression for Sources with Two-Sided Geometric Distributions 1998-08-17 Developments in Phase-Field Modeling of Thermoelastic and Two-Component Materials 1999-09-30 The Object Orientation of Object Petri Nets 1996-07-29 Charles Lakos Supported Software Platforms in HERA-B 1999-02-11 A. Gellrich Regularization Networks and Support Vector Machines 1999-11-29 Fast Colour Image Segmentation Using A Pre-Clustered Chromaticity-Plane 1997-01-30 Towards Array Bound Check Elimination in Java Virtual Machine Language 1999-06-17 On the Bounded Theories of Finite Trees 1998-06-19 Sergei Vorobyov Integrating Event Visualization with Sequential Debugging 1999-12-03 A Multiscale Numerical Study of Hurricane Andrew 1992. Part II: Kinematics and Inner-Core Structures 1999-10-20 Da-lin Zhang Causal Relationships and Relationships between Levels: The Modes of Description Perspective 1999-09-21 Bram Bakker Assisting Requirements Engineering With Semantic Document Analysis 2000-02-23 Networks and Morphophonemic Rules Revisited 1990-04-25 Chan-do Lee Support tools for the VLT operations: the NTT prototyping experience 1999-03-22 The potential effects on human health and the environment arising from possible use of depleted uranium during the 1999 Kosovo conflict. 1999-11-03 Metaphor and Memory 1997-03-07 Reason Based Logic A Logic That Deals With Rules And Reasons 1999-11-15 On the Neighborhoods of Neighbor Joining Trees 1999-08-05 Application of Random Matrix Theory to Quasiperiodic Systems 1998-08-20 Retargeting Field-Programmable Operator Arrays 2000-01-31 Imperative Programming with Dependent Types 2000-01-04 Hongwei Xi A Program to Search for Homotopy 3-Spheres 1999-03-27 Feature Tracking On Occluding Boundaries For Modeling-By-Videotaping 1999-07-20 Hierarchical Architecture Simulation Environment 1998-01-26 The Role of the Hippocampus in Solving the Morris Water Maze 1999-10-07 Thinking About Firewalls 1998-04-04 Marcus J. Ranum Can Nozzle Design be Effectively Improved for Drilling Purposes 1999-07-01 Control of Dynamic Bifurcations 1999-08-20 Reconstruction of cone-beam projections from Compton scattered data 2000-07-11 Lucas C. Parra Using Model Checking to Analyze Requirements and Designs 1999-06-01 Reasoning with Prioritized Defaults 1998-01-12 Innovations In Local Modeling For Time Series Prediction 2000-06-16 Labeling and Partial Local Consistency for Soft Constraint Programming 1999-10-22 Memory Access The Third Dimension of Scheduling 1999-07-27 Nark: Receiver-based Multicast Non-repudiation and Key Management 1999-10-31 User Modeling in Adaptive Interfaces 1999-08-25 Pat Langley Predicting The Number Of Hexagonal Systems With 24 And 25 Hexagons 1999-12-17 Cross-speaker Anaphora and Dialogue Acts 1998-06-04 Massimo Poesio A Developmental Approach to Visually-Guided Reaching in Articial Systems 2000-02-01 Interval-based Real-Time Transmission Control 1996-08-08 DP-Internal NP Movement 1999-05-05 On the Computational Power of Discrete Hopfield Nets 1992-11-24 Pekka Orponen Magnetic Drift Processes in Differentially Rotating Turbulence 2000-03-06 V. Urpin Parallel Solvers for the Two-Group Neutron Diffusion Equations of Reactor Kinetics 1999-10-07 Robert Scheichl The Impact of Approximate Evaluation on the Performance of Search Algorithms for Warehouse Scheduling 1999-06-18 Using Toolbook To Develop A Teaching Package For Control Engineering Laboratories 2000-02-29 Conjugate Gradient Based Signal Subspace Mobile User Tracking 1999-08-17 A Computer Simulation Of The Great Depression: A Prototype Segment For Teaching A Macroeconomic Course 1999-11-08 Jerrold M Peterson Towards a Formal Analysis of Control Systems 1998-05-14 A Comparison of Short-Term Interest Rate Models: Empirical Tests of Interest Rate Volatility 1998-09-14 Towards a Logical Reconstruction of Information Retrieval Theory 2000-03-09 Fabrizio Sebastiani Extracting Kozak Consensus Sequence Using Kleisli 2000-01-13 Education At The Vienna University Of Technology, Faculty Of Electrical Engineering: Traditional Lecture Based Education Versus Telematics Based Education. 1997-11-23 Supporting the Internet Protocols in a High Performance Real-Time Network 1996-06-26 Markus Hidell Three-Dimensional Tomography Using a Cubic-Phase Plate Extended Depth-of-Field System 1999-10-18 Adding Form To Real-Time System Specification And Simulation 1998-06-11 Characterizations of Trajectory Structure of Fitness Landscapes Based on Pairwise Transition Probabilities of Solutions 2000-02-07 M Ark Jelasity Some Limitations of Linear Memory Architectures for Signal Processing 1996-08-09 Software Libraries For Linear Algebra Computations On High Performance Computers 1993-10-14 Max-Planck-Institut 1996-11-13 Multigrid On The Interface For Mortar Mixed Finite Element Methods For Elliptic Problems 1998-08-07 Horn Extended Feature Structures: Fast Unification with Negation and Limited Disjunction 1999-01-14 Stephen J. Hegner Allocating a Very Limited Number of Processors to Multiple Groups of Parallel Processes Within a Parallel Structure in Shared Memory Environment 1997-03-18 Evaluation Of Blind Signal Separation Methods 2000-01-31 Output-Output Correspondence in Optimality Theory 1999-12-06 Optical Binary de Bruijn Networks for Massively Parallel Computing: Design Methodology and Feasibility Study 1999-06-14 A Practical Experiment in Teaching Software Engineering Metrics 1996-10-22 Richard Thomas Realization of PRAMs: Processor Design 1995-03-11 The ADEPT WfMS Project at the University of Ulm 1998-10-29 Conceptual and Formal Specifications of Problem-Solving Methods 1999-12-28 LCLint: A Tool for Using Specifications to Check Code 1999-12-09 Automated Knowledge Acquisition Activities at the Dept. of Information and Knowledge Engineering. KEX and RS systems. 1998-05-04 Petr Berka Bayesian Wavelet-Based Signal Estimation Using Non-Informative Priors 1999-08-08 An Analysis of Quasi-Monte Carlo Integration Applied to the Transillumination Radiosity Method 2000-03-01 An Advanced Relationship Mechanism for Object-Oriented Database Systems 1996-10-16 Ju Rgen Schlegelmilch Route Planning by Analogy 1999-09-14 Protocols for Watermark Verification 1970-01-01 Middleware Models for Dynamic Software Architectures 1999-06-08 G. R. Ribeiro Justo Computer Science Spoken Language Systems 2000-01-10 Mobile Radio Slotted ALOHA with Capture and Diversity 1996-06-21 Michele Zorzi Evolutionary Algorithm For Structural Optimization 1999-06-02 A Relational Model of Cognitive Maps 1999-10-12 J. Desharnais Class 304 1999-06-14 Evolution of Vision-Based Agent Behaviour in Hilly Landscapes 1999-04-28 A Control Basis for Visual Servoing Tasks 1970-01-01 Effects of Word Abstractness in a Connectionist Model of Deep Dyslexia 1991-06-03 Branching Rules For Modular Representations Of Symmetric Groups, IV 1997-08-20 Alexander Kleshchev Elliptic Curve Cryptosystems 2000-06-12 Mugino Saeki A unified framework for Regularization Networks and Support Vector Machines 1999-11-29 FOSTER CARE Health Needs of Many Young Children Are Unknown and Unmet 1998-10-17 Speech Recognition Over The Internet Using Java 1998-12-13 Parallel Sorting With Limited Bandwidth 1999-08-12 Robust Wavelet Denoising 1999-01-04 Temporal, Geographical and Categorical Aggregations Viewed through Coordinated Displays: A Case Study with Highway Incident Data 2000-01-11 Policy Requirements for Inter Administrative Domain Routing 1 Status of this Memo 1989-11-22 Group D. Estrin Computing Gröbner Fans of Toric Ideals 1999-11-01 Role of Actuation in Combustion Control 1999-09-24 Combining Mediation and Bidding Mechanisms for Agent-Based Manufacturing Scheduling 2000-04-24 The Fourier Transform Of Order Statistics With Application To The Lorentz Spaces 1999-01-23 Localized Principal Components of Natural Images - an Analytic Solution 1994-01-18 The TETRAD Project: Constraint Based Aids to Causal Model Specification 1999-09-22 An Empirical Study of Dynamic Graph Algorithms 1996-09-13 David Alberts Competitive pricing of information goods: Subscription pricing versus pay-per-use 1999-11-30 Astronomy And Astrophysics 1999-11-12 David Moss Hybrid Systems for Time Series Classification 1998-02-02 Instructiog Fo Authoc Fohocti as a Sample Manuscript 2000-04-27 Petrschau Andlud Frank A Fast and Exact Cell Matching Method for MUX-based FPGA Technology Mapping 1999-09-14 Seong Yong Copyright by Kumar Nanjunda Ganapathy, 1994 1994-04-06 Kumar Nanjunda Ganapathy Generalized Outer Approximation 1997-12-05 Preferential Trade Agreements At The Turn Of The Century 1970-01-01 Calibrated Vectorial Nonlinear-Network Analyzers 1999-05-25 TWlib - a Library for Distributed Search Applications 1999-10-29 Empirical Performance Evaluation of Page Segmentation Algorithms 1999-11-12 An Analytical Approach towards System Level Performance Analysis 2000-02-22 On the Capacitated Lot--Sizing and Continuous 0--1 Knapsack Polyhedra 1999-09-30 AMME Manual Version 1.0 1999-09-20 Morten Fjeld Ricketts . Bentler 1998-06-02 Ricketts Bentler Gap-Definable Counting Classes 1999-03-23 Dutch Stress Acquisition: OT and Connectionist Approaches 1999-09-23 Marc Joanisse Accepting Grammars and Systems 1995-02-16 Exploring the Decision Forest: An Empirical Investigation of Occam's Razor in Decision Tree Induction 1997-10-25 Discourse Relations and Defeasible Knowledge 1997-10-10 TCP Buffering And Performance Over An ATM Network 1998-04-04 CORBA and the Java Card- Connecting Small Devices to a Standard Event Service 1999-11-29 PSL: Protocols and Pragmatics for Open Systems 2000-01-17 Combinatorial Optimization in Biology 1999-09-20 Solving the Signorini Problem on the Basis of Domain Decomposition Techniques 1996-09-03 Joachim Schoberl Windowed Certificate Revocation 1999-11-19 Counting Free Binary Trees Admitting a Given Height 1996-05-15 The Effectiveness of Category-Partition Testing of Object-Oriented Software 1998-09-01 Language Support for Application Framework Design 1999-04-26 A Semiparametric Regression Approach and its Medical Application 1999-06-29 Pragmatics of Agent Communications 1998-07-15 Variable Independence in Markov Decision Problems 1996-06-19 Localized Reconnection of Nonzero Magnetic Fields - Kinematic Flux Transport and MHD Simulation Results 1997-08-13 Xenoservers: Accountable Execution of Untrusted Programs 1999-07-28 Neutrinos from Gamma Ray Bursts 1996-02-08 Directional Type Inference for Logic Programs 1999-05-25 Witold Charatonik Ordering Methods For Approximate Factorization Preconditioning 1996-11-06 Yvan Notay Towards an Algebraic Specification of the Java Virtual Machine 1998-11-05 K Stephenson A Machine Learning Researcher's Foray into Recidivism Prediction 1999-11-12 Marcus A. Maloof Art-Based Rendering of Fur, Grass, and Trees 1999-08-03 Regional Growth and Volatility in Europe 1999-06-30 Siddharth Chandra Dynamic Control of Genetic Algorithms in a Noisy Environment 1994-03-09 Photon Emmission in Self-Quenching Streamer Chambers 1996-05-24 CIES Discussion Paper 1999-12-01 TnT - A Statistical Part-of-Speech Tagger 1999-12-07 Thorsten Brants Modeling and Scheduling of Transactional Workflows 1999-04-13 Region Based Coding of Volume Data using Finite Mixture Model 1999-10-30 Naoyuki Ichimura Optical Chinese Character Recognition using Probabilistic Neural Networks 1999-09-21 Extending The Scope Of Wavelet Regression Methods By Coefficient-Dependent Thresholding 1999-09-10 Quality of Vision and Freedom from Optical . . . 1998-08-10 Nimrod Megiddo 1999-01-07 A Fast Algorithm for Designing Stack Filters 1999-07-20 Destination Designation Entry and Retrieval with the Ali-Scout Navigation System 1999-12-01 Scale in Distributed Systems 1999-12-28 A Collaborative Approach to Theorem Proving 1998-02-09 Andrew Ireland The Anisotropy Introduced By The Mesh In The Finite Element Approximation Of The Mumford-Shah Functional 1999-07-11 Matteo Negri The Expressive Power of Stratified Logic Programs with Value Invention 1996-11-26 Luca Cabibbo On Positive Occurrences of Negation as Failure 1995-08-28 Causality in Autonomous Mobile Systems 1999-03-18 Specifying a Reliable Broadcasting Protocol in Maude 1999-03-16 Airbreathing Hypersonic Technology Vision Vehicles and Development Dreams 2000-02-24 Statics, dynamics and point particles: Onward towards a computational cosmography 2000-01-24 J. F. Nystrom Coarse Grid Spaces for Domains With a Complicated Boundary 1997-02-07 Harry Yserentant An Efficient Approach to Removing Geometric Degeneracies Extended Abstract 1998-11-21 Groupes De Galois De Polyn Omes De Degr ' E 4 ` A 6 1995-06-06 WebTP: A Receiver-Driven Web Transport Protocol 1998-09-15 Support For Business Process Redesign: Simulation, Hypermedia and the Web 1998-11-04 Discontinuities in Recurrent Neural Networks 1998-06-10 Hava T. Siegelmann Robust Wavelet Denoising 1999-10-11 Specifying Algorithms Using Evolving Algebra. Implementation of Functional Programming Languages. 1997-12-22 Dag Diesen Design Patterns Frameworks: On the Issue of Language Support 1998-09-25 Jan Bosch A Hybrid User Model for News Story Classification 1999-09-20 Capture, Storage and Reuse of Lessons about Information Resources: Supporting Task-Based Information Search 2000-05-06 An efficient solution to Knuth's METAFONT labeling problem 1995-08-24 A Compact Piecewise-Linear Voronoi Diagram for Convex Sites in the Plane 2000-04-17 Asymptotically Optimal Low Complexity Sequential Lossless Coding for Regular Piecewise Stationary Memoryless Sources 1999-08-17 Does University Education Lead To Adoption? 1998-10-29 TAIPE: Tactical Assistants for Interaction Planning and Execution 1997-10-28 Fast Pyramidal Search For Perceptually Based Fractal Image Compression 1999-05-03 A Geometric Interpretation of nu-SVM Classifiers 1999-12-10 Inductive Inference of Regular Grammars Using Recurrent Networks: A Critical Analysis 1994-06-03 Cluster and Calendar based Visualization of Time Series Data 1999-09-03 Information Maximization Models of Visual Receptive Field Development 1998-04-24 Aspect-Oriented Compilers 1999-12-15 A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming 2000-01-10 Fi Mu The Discrete Logarithm Modulo a Composite Hides On Bits 1999-01-05 Sharing Mutable Objects and Controlling Groups of Tasks in a Concurrent and Distributed Language 1994-12-01 Christian Queinnec ' $ % ' $ % 1995-09-08 The PROSIT Sequential Simulator: a Test-bed for Object Oriented Discrete Event Simulation 1995-11-26 Gnther Siegel A Survey of Examples of Convex Functions and Classifications of Normed Spaces 1995-01-23 A Relational Characterization of the Space of Models of Complex Systems For Diagnostic Problem Solving 1999-01-25 Increasing The Noise Rejection Capability Of Neural Networks In Identification Of Nonlinear Systems 1999-10-24 How to Characterize Hursty Traffic? 1998-04-24 High Speed The Netherlands; old emigrants - young immigrant country 1999-12-23 Justus Veenman An efficient NICE-Schnorr-type signature scheme 1970-01-01 Quantification and Improvement of the Signal-to-Noise Ratio in a Magnetic Resonance Image Acquisition Procedure 2000-01-18 Visual Servoing Using Industrial Components 1999-07-05 Using Densities of Estimators to Compare Pharmacokinetic Experiments 1999-04-15 L. Pronzato Report on Core Experiment CodEff26: JBIG-Like Coding of Bi-Level . . . 1999-02-16 Experiments with Domain Knowledge in Unsupervised Learning: Using and Revising Theories 1998-05-06 Holonic Control at the Production and Controller Levels 2000-04-24 Coding with Dynamic Rate Control for Low-Delay Image Transmission over CDMA Fading Channels 1998-05-28 Sonia Aissa Mining Process Models from Workflow Logs 1999-01-11 Rakesh Agrawal Speaker Recognition System 1999-04-02 The Complexity of Perfect Zero-Knowledge 1999-03-23 Lance Fortnow Logic Journal 1997-02-12 Department of Computing Science Functional Programming and Graph Algorithms 1996-03-13 David Jonathan King What Makes a Good Co-Evolutionary Learning Environment? 1999-07-20 Some Theoretical Results on Nonlinear Principal Components Analysis 1996-10-21 Edward C. Malthouse Acknowledgements 1997-12-15 Arijit Sengupta Financial Instruments for the Control of Transboundary Pollution 1994-09-06 Andries Nentjes Construction of a Compact DAQ-system using DSP-based VME Modules 2000-01-21 Multiagent Reinforcement Learning: Theoretical Framework and an Algorithm 1999-02-06 Multi-party Specification 1993-09-06 Copyright 1996-08-01 A Decision Tree Plug-In for DataEngine 1998-09-30 Christian Borgelt Optimal Tree Approximation with Wavelets 1999-07-31 Richard Baraniuk Synchronization of Self-Switching Phenomena in Chaotic Oscillators Coupled by One Resistor 2000-07-13 Defining Noninterference in the Temporal Logic of Actions 2000-05-09 Todd Fine On the Design and Verification of a Simple Distributed Spanning Tree Algorithm 1997-09-29 Neurosolver: Neuromorphic General Problem Solver 1997-07-21 q-Gaussian Processes: Non-Commutative And ClassicalAspects 1996-09-17 Decidable Integration Graphs 1999-03-30 On Gaussian And Bernoulli Covariance Representations 1999-09-29 Multiscale Modeling and Estimation of Poisson Processes with Application to Photon-limited Imaging 1999-08-08 Querying Heterogeneous Information Sources Using Source Descriptions 1996-08-27 Mechanical Properties Polypropylene-Wood 1999-11-12 Trees within trees: Phylogeny and historical associations 1998-04-06 Characterizing Variable Task Releases And Processor Capacities 1999-12-08 The customized-queries approach to CBIR 1998-12-14 Cellular Neural Networks In Active Vision System 1999-05-12 Automated Techniques for Provably Safe Mobile Code 2000-02-15 Susy Contributions To 1996-07-09 Coalescence on Riemann Surfaces 2000-01-13 Matthias Schork Programming by Example in Computing-as-Editing Paradigm 1995-06-29 Performance Prediction of Parallel Low-level Image Processing Operations 1995-01-11 Zoltan Juhasz Dispersing Hash Functions 2000-05-08 Rasmus Pagh Iterative Methods for Ill-Conditioned Linear Systems From Optimization 1970-01-01 Nicholas I. M. Gould SMIF: A Framework for Secure Multicast Intercommunication 2000-02-06 Computational Ideal Theory in Finitely Generated Extension Rings 2000-01-31 Joachim Apel Supporting Periodic Authorizations and Temporal Reasoning in Database Access Control 1970-01-01 Adtranz: A Mobile Computing System for Maintenance and Collaboration 1999-05-12 Hearing Testing and Hearing Aid Fitting Should Be Done by Audiologists 1998-06-02 American Speech-language-hearing Association A Diagnostic System For Photolithography Equipment 1998-04-29 Schwarz Methods: To Symmetrize Or Not To Symmetrize 1970-01-01 Towards Metadata-Guided Distributed Statistical Data Processing 2000-02-09 Symbolic and Numeric Methods for Exploiting Structure in Constructing Resultant Matrices 1998-11-21 An Extension of Zermelo's Model for Ranking by Paired Comparisons 1999-12-09 G. R. Conner Dynamic Stochastic Programming for Asset-Liability Management 1999-12-17 Message Passing Abstractions as Elementary Bricks for Design Pattern Implementation 1998-09-25 Stphane Ducasse A Framework for Hybrid Modeling/Simulation of Discrete Event Systems 1994-12-01 Tools for Distributed Cooperative Design and Validation 1999-10-23 Many-Time Restrictive Blind Signatures 1999-11-30 Gerrit Bleumer Optimal Nonlinear Estimation for Aircraft Flight Control in Wind Shear 1998-09-15 Basic Support for Cooperative Work on the World Wide Web 1999-02-06 On the Use of the Constructive Omega-Rule within Automated Deduction 1994-12-15 Adaptive Sampling - On the Similarities between Learning and Evolving 1999-11-05 Michiel B. De Jong XiPi Theta GammaDelta 2000-04-13 Neural-Network Feature Selector 1999-07-23 Multi-Objective Output-Feedback Control via LMI Optimization 1999-09-14 Comments Welcome Entry Restrictions, Industry Evolution and Dynamic Efficiency: Evidence from Commercial Banking 1997-06-05 Modelling the submillimetre-to-radio flaring behaviour of 3C 273 1999-06-18 T. J. -l. Courvoisier Protection 1999-05-14 Butler W. Lampson A Novel Breakpoint Implementation Scheme for Debugging Optimized Code 1998-02-06 Relaxing the Inclusion Property in Cache Only Memory Architecture 1996-06-10 Jinseok Kong Using the CW-Complex to Represent the Topological Structure of Implicit Surfaces and Solids. 2000-01-21 John C. Hart Robot Motion Planning a Survey. 1998-08-05 Colin G. Johnson Variable Neighborhood Search For The Degree-Constrained Minimum Spanning Tree Problem 2000-06-26 Adaptive Least Mean Square Behavioral Power Modeling 1997-04-24 Fast Algorithms for Generating Integer Partitions 1997-03-18 Office Market Analysis: Improving Best-Practice Techniques 1999-08-13 Robin A. Howarth Development of the Millimeter Wave Complex, Intended for Environmental Control of Nuclear, Chemical and Power Production Facilities. 1999-05-31 The World-wide Web and Programming Future Broadband Network and Service Management Applications 1998-09-28 James Reilly Outcomes of the Equivalence of Adaptive Ridge with Least Absolute Shrinkage 1998-12-24 From Mondrian to Frank Lloyd Wright: Transforming Evolving Representations 1999-09-14 Quality Of Service In High Speed Networks With Multiple Time-Scale Traffic 1999-06-27 David Starobinski Rewriting for Cryptographic Protocol Verification 2000-01-18 RF Transition Systems for the Triangle Universities Nuclear Laboratory Atomic Beam Polarized Ion Source D.C. Dinge and T.B. Clegg 1997-01-24 Umbral Presentations for Polynomial Sequences 2000-01-26 Brian D. Taylor Deterministic Annealing and Chaotic Annealing in a Neural Approach to Quadratic Assignment Problem 2000-01-14 Interaction Models, Reference, and Interactivity in Speech Interfaces to Virtual Environments 1995-05-22 An Investigation of Machine Learning Based Prediction Systems 1999-08-30 A Model-Driven Stereo Correspondence Algorithm Using Dynamic Programming 1999-10-30 Queue Spillovers In Transportation Networks With A Route Choice 1999-11-30 Carlos F. Daganzo Multiple Window Time-Frequency Analysis 1998-04-09 Alex Lascarides 1997-10-10 Using Agents to Personalize the Web 1999-02-06 February 1996 27 1999-12-03 Eui-Hong Sam Han George Karypis Vipin Kumar Bamshad Mobasher 1999-10-06 Bamshad Mobasher Approximating the Unsatisfiability Threshold of Random Formulas 1999-08-19 A Two-Grid Method for Mixed Finite-Element Solution of Reaction-Diffusion Equations 2000-01-08 Survey of Systems Providing Process or Object Migration Imperial College Research Report DoC 94/10 1997-02-28 Mark Nuttall y, D.Kofman 1999-02-08 Yecole Normale Superieure Nonlinear Multiscale Analysis of 3D Echocardiographic Sequences 1999-06-11 Improved Analysis of Early Packet Discard 1998-05-12 Maurizio Casoni Case-Based Reasoning and Retail Rent Determination 1998-06-11 Finding Admissible and Preferred Arguments Can be Very Hard 1970-01-01 Canonical Bases: Relations with Standard Bases, Finiteness Conditions and Application to Tame 1994-02-04 Francois Ollivier D Systems Theory and Applications 1999-03-11 A Configuration Approach to Parallel Programming 1991-08-19 The Crab Nebula and Pulsar in the MeV Energy Range 1999-07-02 Finite Volume Methods For Three-Dimensional Inviscid Compressible Flows 1997-12-06 Mgr Pavel Oln Skew Detection, Page Segmentation, and Script Classification of Printed Document Images 1999-05-17 A Delaunay Based Numerical Method for Three Dimensions: generation, formulation, and partition 1997-03-10 K P Venugopal 1992-06-18 Efficient String Algorithmics 1995-11-20 Dany Breslauer Radio Frequency And Modulation Systems 1998-11-13 Evolution Strategies: An Alternative to Gradient Based Learning 1996-08-19 Modeling Floodplain Dynamics and Stratigraphy: Implications for Geoarchaeology 1999-04-27 On Single-Deletion-Correcting Codes 2000-06-09 N. J. A. Sloane Almost Split Sequences Of Verma Modules 1999-11-10 R. Farnsteiner Objective ML: An effective object-oriented extension to ML 1997-10-27 Gravitational Collapse of a Rotating Cloud to Form Star and Disk System 1999-05-07 Unknown 1998-08-10 Linear Scan Register Allocation 1999-11-05 Square-Root Fields and the "V-Space" Approach to Primal-Dual Interior-Point Methods for Self-Scaled Conic Programming 1999-11-29 Raphael A. Hauser On Applying Fuzzy Arithmetic to Finite Element Problems 1998-12-23 An ASM Macro Language for Sets TIK-Report Nr. 34, January 1998 1998-05-05 Integrating Disparate Knowledge Sources 1999-12-08 Point Constrained Optical Flow for LV Motion Detection 2000-01-05 Innovation and Sectoral Employment : A Trade-Off between Compensation Mechanisms 1999-08-20 Transposition: A Biologically Inspired Mechanism to Use with Genetic Algorithms 1999-12-08 Towards a Unified View of Query- and Update-driven Inference in Deductive Databases Extended Abstract 1998-03-23 Rainer Manthey XML tools and architecture for Named Entity recognition 1999-05-31 Reproducing 3D-Sound for Videoconferencing: a Comparison between Holophony and Ambisonic 1999-04-15 Concurrent Session 3a 1999-11-24 Laird Douglas AGENT TECHNOLOGY IN INDUSTRIAL APPLICATIONS Staffan Hgg* 1998-08-31 Staffan Hgg An Optimal Service Policy For Buffer Systems 1995-12-31 Information Analysis For Roofing Systems Maintenance Management Integrated System 2000-01-11 Adaptation Of Hidden Markov Models Using Multiple Stochastic Transformations 1997-05-20 Estimating Distribution Functions with Smoothing Splines 1999-06-29 Eva Maria Restle A New Genetic Algorithm Based Control Method Using State Space Reconstruction 1999-12-17 Parallel Evaluation of Hierarchical Image Databases 1997-03-03 Ulrich Bker Representing Semantically Analyzed C++ Code with Reprise 1996-09-30 Incremental Analysis of Logic Programs 1998-07-03 Fast Channel Assignment In Cellular Radio Systems 1998-02-20 Matthias Oliver Berger The Structure and Enumeration of Link Projections 1998-01-14 Martin Bridgeman Reconstruction of Vector and Tensor Fields From Sampled Discrete Data 1999-10-25 Learning to Predict Through Probabilistic Incremental Program Evolution and Automatic Task Decomposition 1998-11-07 Creating Full View Panoramic Image Mosaics and Environment Maps 1970-01-01 Information Forage through Adaptive Visualization 1998-05-03 A Multicast Transport Protocol for Reliable Group Applications 1999-07-02 A Distributed Architecture forMultimedia Conference Control 1993-03-22 Information Systems for Public Sector Management 1999-06-24 A Failure and Overload Tolerance Mechanism for Continuous Media Servers 1998-02-02 Design Of On-Line Algorithms Using Hitting Times 1970-01-01 Advanced Orbiting Systems, Networks And Data Links: 1997-07-21 Genetic Algorithms and Heuristic Search 1995-02-06 Cascaded Execution: Speeding Up Unparallelized Execution on Shared-Memory Multiprocessors 1999-10-09 An Optical Multicolor System For Measuring Galaxy Redshifts And Spectral Types 1998-06-02 Comparison of Two Mocrokeratome Systems 1998-08-10 Bayesian Grammar Induction for Language Modeling 1998-09-28 Stanley F. Chen Evolution and Development of Modular Control Architectures for 1-D Locomotion in Six-Legged Animats 2000-03-06 P-Mode Excitation: Further Insight From Recent 1999-09-01 Embra: Fast and Flexible Machine Simulation 1998-04-23 Patterns for Modelling Behavior in Virtual Environment Applications 1999-01-19 Recognizing Lower Face Action Units for Facial Expression Analysis 2000-01-27 Modelling the Golomb Ruler Problem 1999-07-28 Acceptor and Connector: A Family of Object Creational Patterns for Initializing Communication Services 1997-05-13 Douglas C. Schmidt Approximation and Limit Results for Nonlinear Filters over an Infinite Time Interval 1970-01-01 Cache-Rings for Memory Efficient Isosurface Construction 1998-03-10 David M. Weinstein An Object-Oriented Refinement Calculus 1999-12-21 The "Orthogonal Algorithm" For Optical Flow Detection Using Dynamic Programming 2000-01-31 Georges M. Qu Towards a Multi-Agent Representation of Stakeholder Interests 2000-07-16 Parallel or event-driven goal setting mechanism in Petri net based models of expert decision behaviour 1999-09-20 The Gauss Center Research in Multiscale Scientific Computation 2000-01-16 Achi Brandt Feature Reduction for Document Clustering and Classification 2000-01-14 Submitted To Sigir Examples of Convex Functions and Classifications of Normed Spaces 1994-03-04 Speech Recognition and Syllable Segments 1999-07-02 Ivan Kopecek Applying Model Checking in Java Verification 1999-07-18 Approximation Heuristics and Benchmarkings for the MinLA Problem 1997-09-18 Jordi Petit I Silvestre Reachability Of Fuzzy Matrix Period 1999-05-05 Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories 1999-08-05 Wan Fokkink Hard colour singlet exchange at the Tevatron 1999-11-04 Internet Documents: A Rich Source for Spoken Language Modeling 2000-06-06 Randomized Online Scheduling with Delivery Times 1999-10-28 Heuristics for Register-constrained Software Pipelining 1998-05-21 COLA: Customized Overlaying 2000-01-03 One-Way Analysis Of Variance Under Heteroscedastic Errors 2000-02-09 Mapping GUIs to Auditory Interfaces 1993-08-25 Soluciones Explicitas Para Una Clase De Sistemas Acoplados En Diferencias No Autonomos De Segundo Orden Con Condiciones Iniciales 1995-12-27 3DMA General Users Manual 1970-01-01 W. Brent Lindquist MSU International Development Working Papers 1999-03-22 Pocket BargainFinder: A Handheld Device for Augmented Commerce 1999-12-08 A Uniform Approach to Petri Nets 2000-01-25 Dynamical Behavior of Persistent Spins in the Triangular Potts Model - A Large-Scale Monte Carlo Study 1999-01-13 Michael Hennecke , Nick Gould 1970-01-01 Nonlocal Models Of Phase Transitions In Solids 1999-09-30 Partitioning Similarity Graphs: A Framework for Declustering Problems 1996-07-25 HighSpeed CTestable Systolic Array Design for GaloisField Inversion 1997-04-24 Discrete Event Modeling and Verification of a class of Intelligent Controllers with Application to Underwater Vehicles 1999-12-03 Permeation of Ions Across the Potassium Channel: Brownian Dynamics Studies 1999-11-02 A Bornological Approach to Rotundity and Smoothness Applied to Approximation 1996-06-24 John Read Software Watermarking: Models and Dynamic Embeddings 1999-05-11 Parallel Dynamic Load-Balancing for the Solution of Transient CFD Problems Using Adaptive Tetrahedral Meshes 1997-11-12 Planning Equivalence Proofs 1998-07-02 Using an Integrated Toolset for Program Understanding 1999-07-05 Guide to the Multifiber Reduction Task DOFIBERS 1992-05-08 Francisco Valdes OMPC++ - A Portable High-Performance Implementation of DSM using OpenC++ Reflection 1999-10-28 A Real Alternative To Quantum Gravity In Loop Space 1996-04-05 R. Loll Unknown 1970-01-01 T1m1.5/99-136 1970-01-01 D. L. Matthews Research Proposal Reinforcement Learning in Computational Finance 1999-09-28 Yazann Romahi Anisotropic Branching Random Walks On Homogeneous Trees 1999-03-22 A Control Basis for Multilegged Walking 1970-01-01 Bidirectional Cooperating Distributed Grammar Systems 1996-02-06 A Model for Structured Document Retrieval: Empirical Investigations 1998-11-17 A Three-dimensional Matching Model for Perishable Production Scheduling 1997-06-06 Intelligent Traffic Management and Urban Traffic Control Base on Autonomous Objects 1970-01-01 Maximal Ideals In Modular Group Algebras Of The Finitary Symmetric And Alternating Groups 1997-05-17 Alexander Baranov Preprocessing of Intractable Problems 1999-07-29 Interactive Manipulation of Articulated Objects with Geometry Awareness 1999-12-08 Enhancing Digital Documents by including 3D-Models 2000-03-16 Hierarchical Lighting Simulation for Outdoor Scenes 1999-12-30 Parallel Multigrid with the 1999-12-02 A Multihoist Model For The Real Time Hoist Scheduling Problem 1996-10-30 Centrum voor Wiskunde en Informatica 1999-02-12 The Scaling of Solar Flare Hard X-ray Emission to Other Flaring Objects in the Universe 1999-11-16 P. C. H. Martens Indexing and Compression in Data Warehouses 1999-07-23 Cooperative Information Gathering: A Distributed Problem Solving Approach 1996-10-15 Determination Of The Planarization Distance For Copper Cmp Process 1999-11-24 Efficient Mining of Statistical Dependencies 1999-05-28 Planning for Information Visualization in Mixed-Initiative Systems 1999-12-19 Self-Similar Fold Evolution Under Prescribed End-Shortening 1998-06-08 Incorporating Information on Neighboring Coefficients into Wavelet Estimation 2000-06-20 Interactive Mathematics Textbooks 1999-11-29 Robert Sinclair Cell Motility Driven By Actin Polymerization 1996-05-21 Motor Workshop: The Role of Interactivity in Promoting Learning 1998-06-09 Derek Reamon Sensor Based Exploration: The Hierarchical Generalized Voronoi Graph 1999-12-09 Spatial Filtering Requirements for Gradient-Based Optical Flow Measurement 1998-08-18 W. J. Christmas Introducing Core-Based System Design 1999-02-19 Dynamic Rescheduling: A Technique for Object Code Compatibility in VLIW Architectures 1996-12-11 PVM-SCI: A PVM Implementation for Heterogeneous SCI-Clusters 1999-08-31 fl-Ray Emission in Solar Flares 1999-06-24 The Role of Morphology in Machine Translation 1999-10-17 Bowen Hui Exploring Proximity Awareness 2000-03-29 SRI International 1999-11-03 Deductive Database Languages: Problems and Solutions 1998-07-28 Mengchi Liu Image Retrieval Using Local Characterization 1997-11-19 Amp-Hour Counting Charge Control for Photovoltaic Hybrid Power Systems 1997-10-17 Divisive Monothetic Algorithms for Clustering Binary Data: A Proposal 2000-02-09 Raffaella Piccarreta Experiments in Constructing a Corpus of Discourse Trees: Problems, Annotation Choices, Issues 1999-06-29 Hyper-Kähler Hierarchies and their Twistor Theory 1970-01-01 Black-Box Program Specialization 2000-02-02 Ulrik Pagh Schultz Time of Events in Quantum Theory 1999-09-25 Ph. Blanchard Risk-Sensitive Planning with Probabilistic Decision Graphs 1999-09-27 An Experimental Study of Poly-Logarithmic Fully-Dynamic Connectivity Algorithms 2000-01-08 Journaling the Linux ext2fs Filesystem 1999-12-11 Stephen C. Tweedie Collective Communications on a Reconfigurable Optical Interconnect 1998-03-17 Theoretical and Experimental Studies of Gaseous Laser Pumped by a Twin-Core Fast Burst Reactor 1999-07-17 Texture Orientation for Sorting Photos "at a Glance" 1994-08-18 RANDOM WALK ON PERIODIC TREES Christiane Takacs 1997-01-17 Christiane Takacs Methods for Interactive Visualization of Large Flow Data Sets 1999-12-16 Efficient and Flexible Matching of Recursive Types 2000-06-19 A Class of Periodic Function Spaces and Interpolation on Sparse Grids 1998-08-25 Frauke Sprengel Specific Language Impairment: a deficit in grammar or processing? 1999-05-04 Interacting With Virtual Reality 1995-06-05 M. M. Wloka A Simulator for Wireless Local Area Networks 1999-12-03 Kenny King-yin Fok Multimedia SPECmarks: A Performance Comparison of Multimedia Programs on Different Architectures 1999-02-21 Gravitational waveforms from inspiralling compact binaries to second-post-Newtonian order 1996-04-04 Manipulation of Video Eye Gaze and Head Orientation for Video Teleconferencing 1999-06-22 Real Time Cryptanalysis of A5/1 on a PC 2000-05-13 Specifying Architectures for Language Processing: Process, Control, and Memory in Parsing and Interpretation 1999-09-23 Richard L. Lewis Parallel Depth Recovery by Changing Camera Parameters 1999-11-02 The Topology of Symmetric Tensor Fields 1997-07-09 Learning Probabilistically Consistent Linear Threshold Functions 1997-04-22 Tom Bylander Parallel Matching of Synthetic Aperture Radar Images 1999-12-16 Alois Goller Statistical Properties of Financial Time Series 1999-10-25 CONSTRUCTION OF HIGH QUALITY CAD MODEL FROM ROUGH PHYSICAL MODEL Hideki Aoyama and Yuichiro Nishizawa 2000-02-01 Zolotarev Polynomials and Optimal FIR Filters 2000-01-31 Rolf Unbehauen Fellow A Bayesian Framework for Case-Based Reasoning 1996-10-17 On The Convergence Properties Of The Monic Normalization Adaptive Iir Filtering Algorithm 1999-11-18 Effective 1998-01-27 Extremal Approximately Convex Functions And Estimating The Size Of Convex Hulls 1999-01-24 Integrating Transputer Arrays within a Data-Flow Architecture: Applications in Real-time Image Processing 2000-01-31 Plug-In Architecture of Constraint Hierarchy Solvers 1999-12-06 Roman Bartk Altering the Synchrony of Stimulus Trace Processes: Tests of a Neural-Network Model 1999-08-23 Distributed Algorithms for Computation of Fair Rates in Multirate Multicast Trees 1999-12-05 ALAWAI : Agent Languages and AgentWare for Agent Invention 1997-04-29 Warped Perspectives In Time-Frequency Analysis 1998-04-09 Richard G. Baraniuk Ad hoc Wireless Multicast with Mobility Prediction 1970-01-01 Studying the Role of Embodiment in Cognition 1997-10-24 Maja J Matari'c The Context Toolkit: Aiding the Development of Context-Aware Applications 2000-04-10 NLO QCD predictions for internal jet shapes in DIS at HERA 1999-07-21 The Scattering of Light from Material Surfaces 2000-01-11 Formal Verification of an Audio/Video Power Controller using the Real-Time Model Checker UPPAAL 1999-04-10 Smart Surface Interrogation for Advanced Visualization Techniques 1999-11-30 The U-Lagrangian Of The Maximum Eigenvalue Function 1999-10-15 Self-Stabilized Gradient Algorithms for Blind Source Separation With Orthogonality Constraints 1999-10-28 Scott C. Douglas On the Non-Existence of a Universal Learning Algorithm for Recurrent Neural Networks 1996-09-18 Herbert Wiklicky .4 User interface consistency: an evaluation of original and revised interfaces for a videodisk library 1997-06-13 Ben Shneiderman Comparison between Numerical and Experimental Results on Different Hermes Elevon Shapes 1997-06-20 Mixed-Mode Bist Using Embedded Processors 1997-02-17 Design, Impementation and Evaluation of an Explicit Rate Allocation Algorithm in an ATM Switch 1999-12-05 Design Patterns as Language Constructs 1998-09-25 Jan Bosch A Self-Stabilizing Algorithm for Maximum Matching in Trees 1994-10-26 Reverse Engineering of Computer-Based Navy Systems 1999-12-21 High Accuracy Acoustic Modeling Using Two-Level Decision-Tree Based State-Tying 2000-05-03 Seismic Reflection Views of the 1994 Northridge Earthquake Hypocentral Region Using Aftershock Data and Imaging Techniques 1997-08-01 Grid Filters for Local Nonlinear Image Restoration 1998-12-17 Todd Lawrence Veldhuizen Solitons of the Einstein-Yang-Mills Theory 1997-03-03 Dieter Maison Modules, 8 Gigabytes 1997-09-02 Constrained Optimization Of Filter Banks In Subband Image Coding 1998-08-18 Proving Existential Termination of Normal Logic Programs 1999-03-25 Massimo Marchiori Multi-Resolution, Semantic Objects, and Context for Road Extraction 1997-03-24 Continuous Collocation Approximations To Solutions Of First Kind Volterra Equations 1997-08-25 J. -p. Kauthen Blind Source Separation with Time Dependent Mixtures 1998-03-10 Milliarcsecond Scale Compactness Of Extragalactic Radio Sources At Cosmological Distances 1999-02-04 Guide to the CTIO Slit Spectra Reduction Task SPECPROC 1990-09-23 Francisco Valdes Operating System Support for Protocol Boosters 1998-06-30 Cooperation of Background Reasoners in Theory Reasoning by Residue Sharing 2000-06-05 Cesare Tinelli Temporal and Spatial Sub-Sampling Errors for Global EOFs: Application to Surface Temperature Field 1995-09-27 Object-Oriented Coordination Abstractions for Parallel Software 1997-06-06 Strong Convergence of Estimators in Nonlinear Autoregressive Models 1999-11-04 Eckhard Liebscher Locally Efficient Estimation of the Survival Distribution with Right Censored Data and Covariates when Collection of Data is Delayed 2000-04-05 Applications for mini VTOL UAV for law enforcement 1998-12-01 Constructive lower bounds for off-diagonal Ramsey numbers 1999-12-23 Noga Alon On the Real Arity of Multiparent Recombination 1999-09-02 User's Guide to the CCDRED Package 1990-07-01 Francisco Valdes The Consistent Multi-fluid Advection method 1999-06-09 T. Plewa State Reconstruction for Nonlinear Time-Discrete Systems 1999-12-03 Volker Krebs Techniques For Improving The Data Locality Of Iterative Methods 2000-07-15 Profiling your Customers using Bayesian Networks 2000-03-23 Iterative Concept Learning from Noisy Data 1999-01-19 A Population Density Approach that Facilitates Large-Scale Modeling of Neural Networks: Analysis and an Application to Orientation Tuning 1999-11-12 Secure Information Flow as Typed Process Behaviour 2000-01-20 Competitive Queue Policies for Differentiated Services 1999-12-05 Machine Learning Research: Four Current Directions 1999-10-19 Thomas G. Dietterich A Methodology for Benchmarking Java Grande Applications 1999-06-04 Patient positioning in radiotherapy by registration of 2D portal to 3D CT images by a contend-based research with similarity measures 2000-03-16 D. Sarrut Bayesian Color Image Segmentation Using Reversible Jump Markov Chain Monte Carlo 1999-04-26 The Use of End-to-end Multicast Measurements for Characterizing Internal Network Behavior 2000-02-24 The Critical Sets of Lines for Camera Displacement Estimation: A Mixed Euclidean-Projective and Constructive Approach 1994-08-23 Prediction of OCR Accuracy 1996-12-20 Interfacing a TMS320C31 DSP to the PC Bus 1999-11-19 A. Navarro Marco Temperini 1997-07-03 Consolidation and Efficiency in the U.S. Life Insurance Industry 1998-07-15 Pseudogap Regime In A Bcs Bose-Einstein Crossover Scenario: Experimental Consequences And Tests 1999-12-06 Directional Image Compression With Brushlets 1999-08-23 Path Planning and Control for AERCam, a Free-flying Inspection Robot in Space. 1999-09-03 Mathematical Graphical Object Representation 1999-08-05 Ha Le Convexity properties of Gramannians 1995-08-21 J. Hilgert User's Guide For Modtools: Computer Programs For Translating Data Of Modflow And Modpath Into Geographic Information System Files 1999-12-30 A Symbiotic Approach to Arc and Path Consistency Checking 1996-06-04 Pierre Berlandier Communication-Oriented Representation of Mathematical Objects 1999-08-05 Ha Le Lossless Volumetric Medical Image Compression 1999-06-17 Molecular Dynamics Simulation Of Vitreous Silica Structures 1999-09-24 On Numerical Approximation of Electrostatic Energy in 3D 1999-11-16 Quantum Mechanics on 1998-02-18 Coordination and Learning in Multirobot Systems 1998-03-18 Ontogenetic Programming 1998-11-07 Interprocedural Data Flow Recovery of High-Level Language Code from Assembly 1999-07-05 Efficient Integration of Distributed Summary-Based Partitions 2000-02-09 An Efficient Global Address Space Model with SCI 1999-12-05 Mosaic, Instruction, and the World Wide Web 1996-08-06 A Data-Flow Processor for Real-Time Low-Level Image Processing 2000-01-31 Vision-Based Low-Level Navigation using a Feed-Forward Neural Network 1998-09-11 Restoring Images Degraded By Spatially Variant Blur 1970-01-01 An example of a solvable Lie algebra 1995-08-21 Michael Wustner POOCLAPACK: Parallel Out-of-Core Linear Algebra Package 1999-11-24 Design-To-Time Real-Time Scheduling 1996-07-22 Specification and Analysis of System Architecture Using Rapide 1999-09-08 On the Size of Shares for Secret Sharing Schemes 1996-03-04 FPGA implementation of a variable precision CORDIC processor 1999-09-24 The Volume Factor in Cavitation Erosion 2000-01-04 David A. Summers Geometric Zeta Functions, L²-Theory, and Compact Shimura Manifolds 1998-01-14 Anton Deitmar Deconvolution Techniques For Non-Coherent Radar Images 1996-11-19 The rule of Littlewood/Richardson and its treatment by a computer 1995-08-21 Hartmut Schlosser Co-operation in a Distributed Artificial Intelligence Environment - the StormCast Application 1993-10-25 ClassExpert: A knowledge-based assistant to support reuse by specialization and modification in Smalltalk 1996-06-28 An Integrated Partitioning and Synthesis System for Dynamically Reconfigurable Multi-FPGA Architectures 1999-08-03 Maximizing Speedup through Self-Tuning of Processor Allocation 1998-01-18 A Construction of All Non-Isotropic Harmonic Tori in Complex Projective Space. 1994-12-14 The Complexity of the Disjunction and Existential Properties in Intuitionistic Logic 1970-01-01 Sam Buss A Data Transformation System for Biological Data Sources 2000-01-13 Analysing Spontaneous Speech in Dysphasic Adults 1999-10-16 On Birkhoff's Aesthetic Measure of Vases 1999-12-03 Static Slicing of a First-Order Functional Language based on Operational Semantics 2000-02-15 A Competitive Elliptical Clustering Algorithm 2000-01-18 Incorporating Invariances in Support Vector Learning Machines 1999-12-21 Improved Splice Site Detection in Genie 1997-02-06 Jet Production in Deep Inelastic Scattering at Next-to-Leading Order 1996-09-09 Erwin Mirkes Cutting Planes, Connectivity, and Threshold Logic 1970-01-01 Generating Sonar Maps in Highly Specular Environments 1996-10-30 SATLIB: An Online Resource for Research on SAT 2000-03-07 DORIC: Design of Optimal Robust Integrated Circuits 1998-03-10 Database Model for Design Data 1970-01-01 Conditional Probabilistic Reasoning Without Conditional Logic 1998-05-26 Fabrizio Sebastiani Pragmatics and Word Meaning 1997-10-10 Approximation By Polynomials With Coefficients 2000-01-23 Yuval Peres Design for a Network-Based Education System that Evolves by Peer and Instructor Interaction 1998-08-22 Alvin J. Surkan An Analog VLSI Massively Parallel Module for Low-level Cortical Processing in Machine Vision 1996-05-10 Yechiam Yemini 2000-01-05 Yechiam Yemini Teacher: A Genetics-Based System for Learning and for Generalizing Heuristics 1998-02-24 Third IEEE International Conference on Fuzzy Systems FUZZ-IEEE'94 Vol. 2, pp. 1303-1307, Orlando - Florida, June 26-29, 1994. 1998-04-02 Multilevel Diffusion Schemes for Repartitioning of Adaptive Meshes 2000-05-29 Application of Information Measure to Ionospheric Data Analysis 1995-06-19 K. Iranpour H. L. P'ecseli Pattern Formation in Gradient Systems 1999-09-30 Paul C. Fife MMFramework - Distributed Environment for Control and Management of Multimedia Data 1999-09-24 Fisher Information in Weighted Distributions 1999-11-24 The Logic Of Reusable Propositional Output With The Fulfilment Constraint 1999-06-28 Leendert Van Der Torre Categorical Quotients of Simplicial Toric Varieties 2000-01-31 On the Existence of an Eigenvalue Below the Essential Spectrum 1999-11-04 A. Zettl Mobile ATM Buffer Capacity Analysis 1998-10-20 Cointegration and Long-Horizon Forecasting 1999-11-02 CEDAR: a Core-Extraction Distributed Ad hoc Routing algorithm 1999-08-12 DARPA/AFRL/NASA Smart Wing Second Wind Tunnel Test Results 1999-11-05 Resolution Enhancement of Images Using Fractal Coding 1999-05-03 Compilation of Head and Strong Reduction 2000-03-23 New Jersey Machine-Code Toolkit Reference Manual Version 0.1 1994-10-19 Stalking the Paratext: Speculations on Hypertext Links as a Second Order Text 2000-04-08 Francisco J. Ricardo Context Effects on Problem Solving 1999-09-20 The Explicit-Jump Immersed Interface Method: Finite Difference Methods For PDE With Piecewise Smooth Solutions 1999-02-24 MARS - A Framework for Minimizing the Job Execution Time in a Metacomputing Environment 1999-10-04 The EVE Framework: View Synchronization In Evolving Environments 1999-10-11 A Hierarchical Visual Clustering Method Using Implicit Surfaces 2000-04-28 On Optimal Global Rates Of Convergence For Nonparametric Regression With Random Design 2000-03-17 Michael Kohler The Parting of the Ways: Divergence, Data Management and Collaborative Work 1995-04-14 Paul Dourish Experiences With the 1999-10-06 Frank Wm. Tompa Linking and Weighting Efficiency Estimates with Stock Performance in Banking Firms 1997-07-02 Evolving Computer Opponents to Play a Game of Simplified Poker 1999-10-03 Dynamic Maintenance and Visualization of Molecular Surfaces Extended Abstract 1998-08-17 Geometric Patterns: Algorithms and Applications 2000-07-06 Stephen Scott Daytime Evolution of Relative Humidity at the Boundary-Layer Top 1996-11-15 Utility-Based Categorization 1998-10-08 Actor-Critic Algorithms 1999-12-27 Diagnosing Market Power in California's Deregulated Wholesale Electricity Market 2000-03-13 Evolution of Indirect Reciprocity by Image Scoring / The Dynamics of Indirect Reciprocity 1998-08-18 The Value of a Smile: Game theory with a human face 1970-01-01 Discovery Of A Third Harmonic Cyclotron Resonance Scattering Feature In The X-Ray Spectrum Of 4u 0115+63 1999-07-14 The Animat Approach: Simulation of Adaptive Behavior in Animals and Robots 2000-03-06 Jean-arcady Meyer Real-Time Dispatch of Trams in Storage Yards 2000-01-31 Compression Of High-Quality Audio Signals Using Adaptive Filterbanks And A Zero-Tree Coder 1997-08-10 Performance Evaluation Of Ethernets And ATM Networks Carrying Video Traffic 1998-03-15 Program Optimisation, Naturally 2000-03-01 A Modular Module System 2000-01-11 Xavier Leroy Hierarchical Optical Ring INterconnection HORN: A Scalable Interconnection-Network for Multiprocessors and Massively Parallel Systems. 1999-06-14 An Approach for the Extraction of Information from Heterogeneous Sources of Textual Data 1999-09-16 Extracting Road Networks from Natural Terrain for Visualization 1997-03-05 Visualization of Evolutionary Algorithms using Principal Components Analysis 1999-05-04 J. J. Collins The Distributed Programming Language INSEL - Concepts and Implementation 1997-05-21 H. -m. Windisch Electronic Publishing, Vol. 63, 307--308 september 1993 1998-06-09 A Re-examination of Some Popular Security Return Anomalies 1997-09-23 Proving the Correctness of Recursion-Based Automatic Program Transformations 2000-03-31 David Sands A one parameter representation for the Isgur-Wise function 1995-02-07 Optimal Control Of Microwave Heating Using Mathematical Models Of Medium Complexity 1998-10-21 Software Agents 1998-07-23 Stereo Matching by Discontinuity 2000-07-13 Robust and Efficient Evaluation of Functionals on Parametric Surfaces 2000-03-16 Leif Kobbelt Object Storage Management Architectures 1998-08-19 Alexandros Biliris The Communication of Inductive Inferences 1999-10-23 Unknown 1999-08-30 A Nonmonotonic DisputationBased Semantics and Proof Procedure for Logic Programs 1997-06-30 Michael Thielscher Assumption/Commitment Rules for Networks of Asynchronously Communicating Agents 1997-09-29 Identification of Enhanced Fuzzy Models with Special Membership Functions and Fuzzy Rule Bases 1999-04-01 Michael Hanss Asymptotics Of The Number Of 2000-05-02 Amitai Regev Can You Predict Responses to Yes/no Questions? Yes, No, and Stuff 1997-07-03 A Recursive Filter for Phase Velocity Assisted Shape-based Tracking of Cardiac Non-rigid Motion 1999-08-23 Algorithms for the Detection and Elimination of Specular Aliasing 1999-06-09 John Amanatides A Generic Virtual Reality Interaction System and its Extensions Using the Common Object Request Broker Architecture CORBA 1999-11-11 Interposition Agents: Transparently Interposing User Code at the System Interface 1998-02-19 Michael B. Jones Generalized Search Trees for Database Systems 1999-11-18 Performance of Various Computers Using Standard Linear Equations Software 2000-07-03 Jack J. Dongarra On the paths Holder continuity in models of Euclidean Quantum Field Theory 1970-01-01 An Adaptive Finite Element Method for Reactive Flow Problems 1999-02-01 Pattern Matching in Dynamic Texts 2000-07-03 A Note on Scheduling Algorithms for Processors with Lookahead 1996-12-07 Cristian Ungureanu Doug Cutting 1996-05-08 Using Options for Knowledge Transfer in Reinforcement Learning 1999-12-21 Regression Planning Techniques 1999-04-19 Visually Controlled Graphics 1995-01-10 Generating New Perfect Fluid Solutions From Known Ones 1996-04-05 Permutations de Baxter 2000-05-29 Rule Extraction: Where Do We Go from Here? 1970-01-01 Performance of Capture-Division Packet Access with Slow Shadowing and Power Control 1996-12-04 Improved Techniques For Software Testing Based On Markov Chain Usage Models 1999-10-08 Kirk Sayre Model Based Diagnosis of Leaks in the Air-Intake System of an SI-Engine 1999-05-12 Generating Pseudo-Exhaustive Vectors for External Testing 1997-02-17 Language Learning from Texts: Degrees of Intrinsic Complexity and Their Characterizations 2000-05-24 Vehicle Routing in an Automated Warehouse: Analysis 1999-05-07 Distributed Object Computing Platforms 1999-09-01 MultiJav: A Distributed Shared Memory System Based on Multiple Java Virtual Machines 1999-06-02 X. Chen Environmental And Pollution Spatial Data Classification With Support Vector Machines And Geostatistics 1999-08-25 Programming the Mobility Behaviour of Agents by Composing Itineraries 1999-09-27 Two New Mutation Operators for Enhanced Search and Optimization in Evolutionary Programming 1998-11-07 MCORBA: A CORBA Binding for Mercury 1998-11-23 Process Improvement within an Educational Environment 1999-02-26 Line Emission from an Accretion Disk around a Rotating Black Hole: Toward a Measurement of Frame Dragging 1996-03-18 Multiprocessor Streams for Plan 9 1999-01-22 David Leo Presotto A Wavelet-based Direct Multilevel Solver 1997-03-31 David L. Gines Compositional Roots of Hénon Maps 1998-01-14 Support Vector Regression with Automatic Accuracy Control 1999-12-21 A Non-Quasiconvexity Embedding Theorem For Hyperbolic Groups. 1999-07-05 Ilya Kapovich Automatic Labeling of Self-Organizing Maps for Information Retrieval 1999-10-07 An Approach to Dynamic Domain and Type Enforcement 1997-06-23 An Investigation of GA Performance Results for Different Cardinality Alphabets 1999-08-30 On Tensor Products Of Modular Representations Of Symmetric Groups 1999-05-19 Software Maintenance Research in the Mire? 1999-08-30 Frank Niessink Reliability Analysis in Self-Repairing Embryonic Systems 1999-12-10 Heuristic Search in Planning Sequences of Views for 3D Object Recognition 1999-09-15 Multijet Structure of High 1996-12-11 GTS: A Generic Multicast Transport Service 1994-12-11 On Non-Linear, Stochastic Dynamics in Economic and Financial Time Series 1999-11-12 A Minimax Lower Bound for Empirical Quantizer Design 1997-03-26 Null-Headed Nominals in German and English 1999-06-24 Fault Tolerant Software Architectures 1998-01-29 TheCommonObjectRequestBroker: Architecture and Specification 1999-04-15 The Gauss-Huard algorithm and LU factorization 1999-04-22 Walter Hoffmann Spatial Hierarchical Reasoning Applied To Administrative Boundary Design Using Gis 1999-12-20 Control Variations With an Increasing Number of Switchings 1998-07-04 Matthias Kawski B-Spline Surface Approximation to Cross-Sections Using Distance Maps 1999-12-10 Is There a Chance to Find Heavy Neutrinos in Future Lepton Colliders? 1995-11-01 J. Gluza Correct-schema-guided Synthesis of Steadfast Programs 1997-09-15 Supporting Real-Time Applications in an Integrated Services Packet Network: Architecture and Mechanism 1999-11-04 On One-Sided Versus Two-Sided Classification 1999-02-12 Frank Stephan Self-Consi44;g Generatii ofTectoni Platesi Tite Dependent,Three-Di,g4494g MantleConvecti4 Sivecti4qg Part 1:Pseudo-Plasti Yieudo- 2000-01-25 Paul J. Tackley Optimizing Block Size In Motion-Compensated Video Coding 1997-10-16 Tractor Calculi for Parabolic Geometries 1970-01-01 Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping 1998-05-14 A Survey of Visualization Tools for HPC 1999-03-25 Constant Delay Linear Size Adder under Left-to-Right Input Arrival 1997-09-04 Naofumi Takagi Frequency-Shift-Invariant Orthonormal Wavelet Packet Representations 1999-11-02 Kinematic Generation of Dislocations 1995-12-06 The Complete Removal of Individual Uncertainty: Multiple Optimal Choices and Random Exchange Economies 1999-10-27 Yeneng Sun Temperature Dependence of 1997-03-28 Modular Optimization for Robotic Explorers 1998-07-31 Flexibility of Ideal Triangle Groups in Complex Hyperbolic Geometry 1999-11-16 Pathological tremors: Deterministic chaos or nonlinear stochastic oscillators? 2000-02-03 Hazardous Material Incident Response 1999-11-23 The Design and Implementation of DEDALE 1999-11-30 Empirical Testing of Algorithms for Variable-Sized Label Placement 1998-02-13 Operating System Support for Active Networks 2000-07-16 Minimum Register Instruction Sequence Problem: Revisiting Optimal Code Generation for DAGs 2000-03-21 Computing the Well-Founded Semantics Faster 1995-10-27 Checking Computations in Polylogarithmic Time 1999-03-23 A Tabu Search Approach to Task Scheduling on Heterogeneous Processors under Precedence Constraints 1996-04-17 Simulation as an Environment for the Knowledge Acquisition of Procedural Expertise 1999-11-18 On Intuitionistic S4 and Augmented Simplicial Sets 1999-11-10 Site Security Handbook 1998-04-04 Fyi J. Reynolds Announcements 1995-12-17 Andrea Rosso Rob Engle Speculative Behavior, Regime-Switching, And Stock Market Crashes 1999-10-20 Rigorous Investigations Of Periodic Orbits In An Electronic Circuit By Means Of Interval Methods 1999-08-24 Zbigniew Galias Repeating History Beyond ARIES 1999-11-15 C. Mohan Conservativity of Nested Relational Calculi with Internal Generic Functions 1999-05-22 Neurturin mRNA Expression Suggests Roles in Trigeminal Innervation of the First Branchial Arch and in Tooth Formation 2000-03-23 SWAPEROO: A Simple Wallet Architecture for Payments, Exchanges, Refunds, and Other Operations 1998-08-29 Lower Bounds on the Efficiency of Generic Cryptographic Constructions 2000-04-28 Preprint Servers: Status, Challenges, and Opportunities of the New Digital Publishing Paradigm 1999-06-01 Sharon M. Jordan Formal support for Development of Knowledge-Based Systems 1999-12-29 The Interface Between Sequential Experimental Design and Dual Control 1999-04-15 L. Pronzato Stereoscopic Shading: Integrating Multi-frame Shape Cues in a Variational Framework 2000-03-18 Short Proofs are Narrow - Resolution made Simple 1999-08-02 Efficient Instruction Cache Simulation And Execution Profiling With A Threaded-Code Interpreter 1999-03-30 Peter S. Magnusson Distance Measures for Point Sets and Their Computation 1999-01-17 ASEE Southeastern Section Conference 1999-01-18 Beyond Symbolic: Prolegomena to a Kama-Sutra of Compositionality 1993-02-27 Timothy Van Gelder Approximation Algorithms for Directed Steiner Problems 1999-05-27 A Knowledge-based Approach to the Optimization of Technical Systems and Its Application to Inventory Systems 1998-07-17 Sven Hader Non-Arbitrage and the Fundamental Theorem of Asset Pricing: Summary of Main Results 1999-11-15 A Metric for Covariance Matrices 2000-01-18 May 1997 14:30 1998-09-24 Nearest q-Flat to m Points 1999-09-28 P. Tseng On The Singular Values Of Weber Modular Functions 1997-08-25 Noriko Yui IRAS04496Gamma6958: A luminous carbon star with silicate dust in the Large Magellanic Cloud 1999-05-11 Process Algebra with Timing: Real Time and Discrete Time 1970-01-01 J. C. M. Baeten On the Use of Encryption in Cryptographic Protocols 1999-11-22 Comparing Quark Jets in e 1999-08-10 SINMAP User's Manual 1999-06-11 Complexity and the Nervous System 1999-04-03 Classification Using 1998-05-13 Curvature-Mediated Interactions Between Membrane Proteins 1998-11-03 Cooling Limits on Galaxy Formation 1998-05-30 Bayesian Modelling of Spatial Heterogeneity in Disease Maps with Application to German Cancer Mortality Data 1970-01-01 Nikolaus Becker Efficiently Computing a Good Segmentation 1999-12-06 Performing Temporal Action with a Hand-Eye System Using the SHOSLIF Approach 1999-07-14 Pricing of CAT Bonds 1999-07-26 D. R. Taylor The Way to Go: Multi-Level Temporal Logics 1999-10-28 Asymptotic Results For Cisoid Parameter Estimation In The Colored Noise Case 1997-11-14 Polyhedral Sets and Combinatorics 1998-04-30 I.C.A.: conditions on cumulants and information theoretic approach 1998-03-05 Jean-pierre Nadal Experimental Ultrasound System for Real-Time Synthetic Imaging 1999-11-01 An Implementation of a LogStructured File System for UNIX 1997-10-24 Thesis Proposal 1998-05-27 Accepting Pure Grammars and Systems 1999-01-18 Low-degree Mattson-Solomon polynomials 1996-10-17 Quantification of Resonances in Magnetic Resonance Spectra via Principal Component Analysis and Hankel Total Least Squares 2000-02-22 A Routing Protocol for Packet Radio Networks 1998-12-30 SWAPEROO: A Simple Wallet Architecture for Payments, Exchanges, Refunds, and Other Operations 1999-06-15 How Molecular Structure Affects Mechanical Properties Of An Advanced Polymer 2000-02-02 Fingerprint Features - Statistical Analysis and System Performance Estimates 1999-02-10 An Application Of The Quadrature-Free Discontinuous Galerkin Method 1999-12-13 Design and Analysis of an Algorithm for Fair Service in Error-Prone Wireless Channels 1999-05-05 SIGKDD Camera-Ready Guidelines 1999-05-17 The Impacts of Climate Variability on NearTerm Policy Choices and the Value of Information 1999-04-29 CURRENT: A Test Generation System for I_DDQ Testing 1996-08-26 Qualitative Reasoning 1996-06-13 Kenneth D. Forbus A New Synthesis Approach for Feedback Neural Networks Based on the Perceptron Training Algorithm 2000-04-22 Parallel Mixed Integer Programming 1999-11-15 Compiler Support For Predicated Execution In Superscalar Processors 1992-07-21 David Chu Lin An Evaluation of NEXRAD Precipitation Estimates in Complex Terrain 1999-09-28 Concurrency Annotations in C++ 1994-06-17 Virtual Sculpture 1999-06-29 A Primal Analogue of Cutting Plane Algorithms 1999-09-24 Dispersion-theoretical analysis of the nucleon electromagnetic form factors: Inclusion of time--like data 1996-06-12 H. -w. Hammer Automatic Subject Indexing Using an Associative Neural Network 1999-05-25 A Modified Fourier Descriptor for Shape Matching in MARS 1999-08-08 Practical Timing Analysis of Asynchronous Systems Using Time Separation of Events 2000-04-18 Cooperation Contracts 1997-02-22 Michael Schrefl Self-organized Complexity in Computer Program Ecosystem 1999-05-22 On the foundations of nonlinear generalized functions II 1970-01-01 M. Grosser Unknown 1998-08-10 Graph Layout Adjustment Strategies 1999-12-09 MultimediaSystem Services Version 1.0 1997-01-13 Sunsoft Inc Approximating Posterior Distributions in Ensemble Forecasting 1999-07-06 Multi-Scale Shape Description in Medical Imaging 1999-07-03 Simon R. Arridge Numerical Simulations of the Interaction of Protocluster Clouds with the Protogalactic Background 1997-01-24 Moving Target Classification and Tracking From Real-Time Video 1998-04-07 Ab initio Molecular Dynamics simulation of H 1999-03-12 Comment on "Onsager reciprocity relations without microscopic reversibility 1999-08-20 Piecewise Linear Tree-Structured Models 1996-03-06 Real-Time Search in Non-Deterministic Domains 1999-09-27 An Efficient Checkpointing Algorithm for Distributed Systems Implementing Reliable Communication Channels 1999-09-21 Unsupervised Land-Use Classification of Multispectral Satellite Images. A Comparison of Conventional and Fuzzy-Logic Based Clustering Algorithms. 1999-08-06 Efficient Simulation of Message-Passing in Distributed-Memory Architectures 1999-12-03 Erik Demaine Direct Transfer of Learned Information Among Neural Networks 1991-04-03 Analysis of Dynamic Congestion Control Protocols - A Fokker-Planck Approximation 2000-03-20 Optimizing Block Size In Motion-Compensated Video Coding 1997-10-16 Enhancing Code for Readability and Comprehension Using SGML 1997-02-01 Home Production and Nonergodic Endogenous Growth* 1999-09-13 High Quality Document Image Compression with DjVu 2000-06-14 Mining Navigation History for Recommendation 1999-11-09 Continuations and threads: Expressing machine concurrency directly in advanced languages 1996-12-08 Olin Shivers The Quasi-Cauchy Relation And Diagonal Updating 1970-01-01 Planning and Scheduling of Nuclear Power Plant Outages 1999-08-27 Carla O. Pedro Gomes Optimal Transmit Spectra for Communication in the Presence of Crosstalk 2000-01-04 SOM with topological interpolation for the prediction of interference spectra 1999-09-13 Asymptotic Orbital Stability Conditions for Flows by Estimates of Singular Values of the Linearization 1999-11-27 Information-Theoretic Approach to Blind Separation of Sources in Non-linear Mixture 1998-05-26 Hardness Results for Neural Network Approximation Problems 1999-01-31 Peter Bartlett Towards a Structure Preserving Encoding of Z in HOL 1996-05-06 Lawrence Livermore National Laboratory 1996-09-20 Bayesian Bootstrap for Proportional Hazards Models 2000-01-03 On Schwarz Alternating Methods for the Incompressible Navier-Stokes Equations in N Dimensions 1999-10-07 S. H. Lui Made to Measure: Ecological Rationality in Structured Environments 1999-10-19 An Overview of the 1999-05-19 A Note on Aggregation, Disaggregation and Forecasting Performance 1999-06-07 Evaluating Products of Matrix Pencils and Collapsing Matrix Products 2000-02-16 Architectural Implications of a Family of Irregular Applications 1998-02-25 Mobile Technology in Telecommunications Operations 1998-12-02 Block-Constrained Methods of Fixed-Rate, Entropy-Coded, Scalar Quantization 1996-09-27 On The Lack of Evidence for the Evolution of Psi as an Argument Against the Reality of the Paranormal 1996-08-24 Michael Levin Desiderata for Controlled Medical Vocabularies in the Twenty-First Century 1999-10-18 James J. Cimino Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type 1996-08-26 Peter Paule An Implementation of the Binary Blocking Flow Algorithm 1998-08-11 Abductive Inference of Plans and Intentions in Information-Seeking Dialogues 2000-01-26 The Design of a Large Scale Rocket Motor Facility 1999-07-08 Thickness Control For A Plate Mill 1999-10-25 Lars Malcolm Pedersen The Apple Education Learning Technology Review 2000-05-18 Comparison and Classification of Documents Based on Layout Similarity 1999-11-16 A Framework for the Development of Globally Convergent Adaptive Learning Rate Algorithms 1999-04-27 Bounded Truth-Table and Conjunctive Reductions to Sparse and Tally Sets 2000-05-27 Extended Intensity Range Imaging 1995-02-24 Brian C. Madden Allocating And Scheduling Hard Real-Time Tasks On A Parallel Processing Platform 1994-11-02 CVISN Operational and Architectural Compatibility Handbook COACH 1999-11-17 Scheduling and Data Management for Parallel Ray Tracing. 1999-12-06 Erik Reinhard Artificial Intelligence and Intrusion Detection: Current and Future Directions 1998-04-04 Jeremy Frank A Logical Approach to High-Level Robot Programming --- A Progress Report 1995-05-31 Induction of Decision Trees in Numeric Domains Using Set-Valued Attributes 1999-08-25 Fast Wavelet Techniques For Near-Optimal Image Processing 1998-08-26 Analogue Layout Generation By World Wide Web Server-based Agents 1997-04-24 A timing attack against Rijndael 1999-11-09 Learning the Syntax and Semantic Rules of an ECG Grammar 2000-01-04 A Metrics-Based Approach To The Automated Identification Of Object-Oriented Reusable Software Components 1998-02-18 Letha Hughes Etzkorn Insertion, Evasion, and Denial of Service: Eluding Network Intrusion Detection 1999-04-15 Dynamic Cache Partitioning via Columnization 1970-01-01 Antarctic Astronomy---Its Potential Importance for Research Into the Interstellar Medium 1998-12-01 Computational Power of Neural Networks: A Kolmogorov Complexity Characterization 1995-12-28 Hava T. Siegelmann Particle movement in Sinhala and Japanese 1999-12-20 Semi-Numerical Solution of Stochastic Process Algebra Models 2000-01-13 Learning Efficient Rules by Maintaining the Explanation Structure 1999-10-25 A Spatial Predator-Prey Approach to Multi-Objective Optimization: A Preliminary Study 1998-07-07 Identifiability Of Exchangeable Sequences With Identically Distributed Partial Sums 2000-01-01 Steven N. Evans Proofs of Soundness and Completeness of Type Inference for HMX 1997-05-02 Martin Sulzmann Improving the Wyoming Road Weather Information System 1999-11-29 Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels 1999-04-02 Measuring Time-Frequency Information Content Using The R ' Enyi Entropies 1998-08-11 Simplistic Universal Coding 1997-10-16 Tracking Speech-Presence Uncertainty To Improve Speech Enhancement In Non-Stationary Noise Environments 1999-05-30 Probabilistic Relations between Words: Evidence from Reduction in Lexical Production 2000-03-12 International Symposium on Nonlinear Theory and its Applications NOLTA'97, Vol. 1, pp. 149-152, Honolulu, November 29 - December 2, 1997. 1998-04-02 AIAA-98-2500 Data Fusion in Wind Tunnel Testing; Combined Pressure Paint and Model Deformation Measurements Invited 1999-11-19 Two Topics in Applied Algorithmics 1998-01-15 Patrick R. Morin Chaotic Dynamics And Coherent Structure In Electron Beam With Virtual Cathode In The Diode With Local Neutralization 1999-01-05 Structural Methods to Improvethe Symbolic Analysis of Petri Nets 1999-12-17 Differential Invariants for Parametrized Projective Surfaces 1999-09-21 Peter J. Olver Sur L'arit ' E Des Fonctions 1994-02-04 E Des Fonctions No Future for Comprehensive Models of Intonation? 1996-05-10 Grard Bailly Technical Report No. 99-421 Parallel Real-Time Optimization: Beyond Speedup 1999-08-10 Hedging Options under Transaction Costs and Stochastic Volatility 1999-11-25 Jacek Gondzio NAS Parallel Conjugate Gradient Benchmark on the Cray T3D 1999-10-29 Tamara L. Gibson The Generic Approximation Lemma 2000-01-11 Handbook of Computer Science and Engineering, Chapter 103. CRC Press, 1997. 1997-10-07 A Provably Efficient Computational Model For Approximate Spatiotemporal Retrieval 2000-01-04 Developing an Interactive Illustration: Using Java and the Web to Make It Worthwhile 1996-12-02 Towards Anticipatory Agents 1998-08-31 An Asymptotic Expansion For Value-At-Risk 1997-11-10 Maria T. Quintanilla Roll-Out and Turn-Off Display Software for Integrated Display System 1999-12-09 Open Boundary Conditions for the Extended Kalman Filter With a Quasi-Geostrophic Ocean Model 1995-03-02 Tree-Based Multicast in Wormhole-Routed Torus Networks 1998-07-09 Mobile Electronic Commerce: Research Investigations into Loading and Payment Functionality in Wireless Wallets 2000-01-03 Solving Semi-Markov Decision Problems using Average Reward Reinforcement Learning 1998-10-13 Multi-Application Support in a Parallel Program Performance Tool 1993-02-08 Final Report 1999-11-30 Robust Real-time Human Hand Localization by Self-Organizing Color Segmentation 2000-01-18 Cylinder Pressures and Vibration in Internal Combustion Engine Condition Monitoring 1999-11-18 Hierarchical Bases and the Finite Element Method 1997-04-03 Randolph E. Bank Synchronization in Multimedia Documents 1997-12-08 Toward Formal Development of Programs From Algebraic Specifications: Parameterisation Revisited 1996-08-23 Slowdown Estimates And Central Limit Theorem For Random Walks In Random Environment 2000-03-17 Alain-sol Sznitman Simulation and Design of a Single Charge Detector 1999-08-17 Optimised Cell Batching for New Zealand Aluminium Smelters Ltd 1998-08-20 Visual Simulation of Experimental Oil-Flow Visualization by Spot Noise Images from Numerical Flow Simulation 2000-02-03 Windowed Certificate Revocation 1999-12-05 Duality in Multi-Commodity Market Computations 1998-08-31 Algorithms and Software for the Computation of Parameters Occurring in ODE-models 1998-02-11 Gunilla Wikstrom Sound Spatialisation 1999-04-15 D. G. Malham Continuous Models of Computation 1999-08-04 Howard A. Blair Accounting for Long Term Trends for Robust Fault Detection of Semiconductor Manufacturing Equipment 1998-02-25 Fully Dynamic Secret Sharing Schemes 1996-03-04 Wavelet-Domain Regularized Deconvolution For Ill-Conditioned Systems 1999-07-01 Compression of Unicode files 1998-03-23 Electropolis: 1991-11-01 Elizabeth M. Reid Disc Galaxies With Multiple Triaxial Structures 1996-02-27 Stable Evaluation of Box Splines 2000-03-16 Leif Kobbelt On Kronecker products of complex representations of the symmetric and alternating groups 1997-12-04 T E X 2 1999-10-05 Querying as an Enabling Technology in Software Reengineering 1999-08-09 SLIQ: A Fast Scalable Classifier for Data Mining 1999-01-07 Support tools for the VLT operations: the NTT prototyping experience 1998-03-02 On Rho in a Decision-Theoretic Apparatus of Dempster-Shafer Theory 1999-09-23 Johan Schubert New Results on the Two sh Encryption Algorithm 2000-07-15 A Modulated Complex Lapped Transform and its Applications to Audio Processing 1970-01-01 Henrique Malvar WCL: A Co-ordination Language for Geographically Distributed Agents 1998-10-13 One Operator, One Landscape 1995-02-06 Terry Jones SCIPP 9937 September 1999 1999-10-04 B. A. Schumm On Group Communication in Large-Scale Distributed Systems 1999-03-30 Ozalp Babaoglu Using the Probabilistic Evaluation Tool for the Analytical Solution of Large Markov Models 2000-01-14 Sound and music transformation environments: A twenty- year experiment at the "Groupe de Recherches Musicales" 1999-04-15 Games Provide Functional Programming Tasks! 1999-08-16 A Hierarchical Fault-Tolerant Ring Protocol For Distributed Real-Time Systems 1999-11-08 Relating Product Specifications and Performance Data With a Neural Network Model for Design Improvement 1999-08-04 Critical dynamics of cluster algorithms in the dilute Ising model 1995-02-28 M. Hennecke Integration of Multiple-baseline Color Stereo Vision with Focus and Defocus Analysis for 3D Shape Measurement 1999-10-29 Draft 1998-02-11 Spatial Features Distributed and On-Line Routing on Tori 1999-12-05 Regression Estimation with Support Vector Learning Machines 1999-12-21 A Fast Algorithm for High-Resolution Color Image Reconstruction with Multisensors 1999-11-19 Harmonic Morphisms And The Jacobi Operator 1999-11-01 Exponentiation of Soft Photons in a Process Involving Hard Photons 1995-02-09 D. J. Summers Classical IP and ARP over ATM 1999-10-21 Pipelined Disk Arrays for Digital Movie Retrieval 1999-03-03 Performance of Optical Flow Techniques 1999-08-13 Adaptive Antennas At The Mobile And Base Stations In An Ofdm/tdma Systems 1999-06-16 Discovery of a very large magnetic field in the Ap star HD 47103 1995-11-16 P. North Bootstrap Tests For Parametric Volatility Structure In Nonparametric Autoregression 1999-09-20 Integrated Design of Object-Oriented Real-Time Control and Database Systems 1999-10-26 Function Inlining under Code Size Constraints for Embedded Processors 1999-07-28 Fast Approximation of Support Vector Kernel Expansions, and an Interpretation of Clustering as Approximation in Feature Spaces 1999-12-21 Improving Browsing in Digital Libraries with Keyphrase Indexes 1999-11-02 Old Structure -- Young Stars The stellar content of the Centre of the LMC Bar 1999-09-30 BecauseIt's Time 1999-04-27 Graph Theoretic Based Heuristics For the Facility Layout Design Problems 1999-11-08 Fitting surfaces to data with covariance information: Fundamental methods applicable to computer vision 1999-10-27 Solving Graph Bisection Problems With Semidefinite Programming 1998-12-21 Quasi-Einstein Kahler Metrics 1970-01-01 Change Detection In Markov-Modulated Time Series 1999-02-28 Choosing Rhetorical Relations in Instructional Texts: The Case of Effects and Guidances 1995-01-24 Automating the Debugging of Large Numerical Codes 1996-11-28 Recognising User Intentions in a Virtual Environment 1999-11-19 Investigation of a Pulse Periodic Nuclear Pumped Laser System 1999-07-17 Solvingfor Structure, Motion and Calibration, from Uncalibrated Point Matches with Maximum-Likelihood-Like Algorithms 1998-01-26 Comparison Of Forecasts Using The Bootstrap 1999-06-04 An Oscillatory Correlation Framework for Computational Auditory Scene Analysis 2000-02-08 Department of Computer and Mathematical Sciences 1993-12-09 Robert Hinterding The Mass Function Below the Substellar Limit 1997-10-02 , B. Littlewood 1995-06-29 B. Littlewood Supporting Full-Text Information Retrieval with a Persistent Object Store 1993-09-01 The Topology of Three-Dimensional Symmetric Tensor Fields 1997-07-09 Netherlands. 1999-12-28 Global Asymptotic Stabilization of a Continuously Variable Transmission Based on Hyperstability Theory 1999-10-20 On-line Handwritten Signature Verification using Hidden Markov Model Features 1999-09-10 Using Discourse Analysis and Automatic Text Generation to Study Discourse Cue Usage 1995-02-13 The Integration of Retrieval, Reasoning and Drafting for Refugee Law: A Third Generation Legal Knowledge Based System 1999-10-03 A Relative Fundamental Solution For The Lewy Operator, Regularity Of The SzegöProjection And The Solution Operator 1999-08-19 Lucas Zinner DTM - A True Broadband Concept Based on Fast Circuit Switching 1996-06-26 Dimension-Independent BSP 1: Section and Interior to Boundary Mapping 1997-07-07 MIRROR: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases 1999-06-22 Achieving Fully-Automated Aircraft Flight with Limited Resources 1996-07-25 Implementing Image Processing Applications on a Real-Time Architecture 2000-01-31 Andreas Ruffing 1997-04-26 Use of Speech Recognition in Computer-assisted Language Learning 1999-11-19 Silke Maren Witt Parsing Contextual Grammars with Linear, Regular and Context-Free Selectors 1999-11-30 Karin Harbusch Is it Time to Take the Paper Out of Serial Publication? 1999-10-07 Algebraic Multigrid Solver for Discrete Elliptic Second Order Problems 1996-09-03 Ferdinand Kickinger Dynamical Approaches to Cognitive Sciences 2000-01-03 Randall D. Beer A Multiresolution Strategy For Homogenization Of Partial Differential Equations 1997-06-23 Historical Film Restoration and Video Coding 1996-04-30 Libraries of Schedule-Free Operators in Alpha 1999-03-18 Florent De Dinechin Turning Tacit Knowledge Tangible 1999-12-22 Dick Stenmark th Aerospace Sciences Meeting Exhibit 2000-01-18 Resolving the Ellsberg Paradox by Assuming that People Evaluate Repetitive Sampling 1970-01-01 Hans Schneeweiss Algorithms and Complexity 1997-11-17 Herbert S. Wilf Some Experimental Results on Learning Probabilistic and Possibilistic Networks with Different Evaluation Measures 1997-10-08 Adaptively adjusting Marching Cubes output to fit a trilinear reconstruction filter 2000-04-20 A Publishing System for Efficiently Creating Dynamic Web Content 1999-12-05 Firewall Penetration Testing 1997-01-20 Reto E. Haeni WWW Cache Modelling Toolbox 2000-02-05 Computer - A Ided Des Ign Of Road Networks 1999-05-07 Probabilistic Object Recognition using Multidimensional Receptive Field Histograms 1999-11-24 The Skeleton of a Reduced Word and a Correspondence of Edelman and Greene 1999-11-16 Stefan Felsner On Using 1-out-of-n Codes for p,q Counter Implementations 2000-04-25 Structural Methods for the Synthesis of Speed-Independent Circuits 1999-09-13 System Report 1998-10-13 A Framework for the Design of Event Detectors 1999-04-22 How nonmonotonic is Aboutness? 1999-04-19 Romero's Odyssey To Santa Fe: From Simulation To Real Life 2000-04-10 Contrasting Computer Networking and Data Communication Curricula 1999-02-26 Phenotypes, Genotypes, and Operators in Evolutionary Computation 1998-11-07 David B. Fogel A Mixed Approach Toward an Efficient Logical Structure Recognition From Document Images 1998-06-09 Tao Hu Information-Theoretic Fuzzy Approach to Knowledge Discovery in Databases 1970-01-01 Kermit: Specification and Verification 1996-06-24 James K. Huggins From Polyline to Polygon via XOR tree 1996-11-26 Polytopes in Arrangements 1999-09-17 Rational Quartic Reciprocity 1995-09-15 Franz Lemmermeyer : Alternative node types 1996-02-28 Plan Development using Local Probabilistic Models 1996-05-14 Developing Measures of Class Cohesion for Object-Oriented Software 2000-01-14 The Computational Complexity of Probabilistic Planning 1998-02-26 A Feed Forward Neural Network For Recognition Of Fluctuations In Electromagnetic Showers 1997-09-20 Thomas Degener Cycle Checker 1999-11-15 Jens Coldewey , Pp. 308-313. 1998-04-11 On Passivity-Based Output Feedback Global Stabilization Of Euler-Lagrange Systems 1997-05-07 XiPi Theta GammaDelta 2000-04-13 The Partial Intensity Difference interpolation 1999-09-10 Maxwell's demon, rectifiers, and the second law: Computer simulation of Smoluchowski's trapdoor 1996-04-03 Randomized Hough Transform: 1996-05-09 Parallel SPH on Cray T3E and NEC SX-4 using DTS 1999-08-20 On AutomatedContracting in Multi-enterprise Manufacturing 1995-05-12 Comparative Discourse Analysis Of Parallel Texts 2000-03-06 An Implicit Loop Method for Kinematic Calibration and Its Application to Closed-Chain Mechanisms 1999-10-07 Rotationand translation invariant pattern recognition - The effect of discretization 1996-11-04 Affine Epipolar Geometry via Factorization Method 1999-07-02 Efficient Symbolic State-space Construction for Asynchronous Systems 1999-12-17 Not Like Other Games -- Why Tree Search in Go is Different 1999-11-18 Bott-Samelson Varieties and Configuration Spaces 1998-12-15 Peter Magyar From Manual to Semi-automatic Semantic Annotation: About Ontology-based Text Annotation Tools 2000-06-23 Further Arguments for Slice Convergence in Nonreflexive Spaces 1993-11-06 Jon Borwein Using Conceptual Graphs To Represent Database Inference Security Analysis 1999-08-13 Diffraction of a Plane Wave By a Circular Cone With an Impedance Boundary Condition 1999-11-01 Y. A. Antipov Agent Research in the Cognitive Robotics Group 1996-11-04 Human Granulopoiesis - A New Time Delay Model 1999-08-01 Contributions To A Quality Description Of Areal Objects In Spatial Data Sets 1998-06-17 Ascender II, a Visual Framework for 3D Reconstruction 1999-04-05 Can Computers Make Music? 1998-09-20 Miller Puckette Exp'erimentation En Architecture De Machines Pour La Perception 2000-01-31 An Adaptive Hidden Markov Model Approach to FM and M-ary DPSK Demodulation in Noisy Fading Channels 1996-07-05 A Potts Neuron Approach to Communication Routing 1997-07-17 Coarsening by Ginzburg-Landau Dynamics 1998-06-24 J. -p. Eckmann On Multi-dimensional Packing Problems 1999-09-07 Noncoherent Sequence Detection: a New Perspective in Receiver Design 1998-07-02 Acknowledgements 1999-12-17 Robert Allen Harrington The audit of the Data Warehouse Framework 1999-06-23 State Merging Inference of Finite State Classifiers 1999-06-01 Multi-Modal Browsing of Images in Web Documents 1999-08-11 Proceedings of ICECS `95 Amman -- Jordan 17 - 21 December 1995 1996-12-13 Reinforcement Learning for Mixed Open-loop and Closed-loop Control 1998-08-19 Syntax and Semantics of Some Bound Nouns in Japanese and Korean 1999-09-22 Oldest-First Garbage Collection 1999-08-17 Guide to the Multifiber Reduction Task DOFIBERS 1998-06-26 Francisco Valdes Generic Programming Redesign of Patterns 2000-05-23 A Case Study on Example-Based Parsing 2000-03-24 Geophysical inversion with a neighbourhood algorithm - I. Searching a parameter space 1999-09-14 Malcolm Sambridge A Non-linear Parabolic System Modeling Chemotaxis with Sensitivity Functions 1999-10-04 Katharina Post Clausal Logic And Logic Programming In Algebraic Domains 1999-07-14 VHD: a system for directing real-time virtual actors 1999-05-18 Selecting the Optimal Focus Measure for Autofocusing and Depth-from-Focus 1999-10-28 Trilepton Signal of Minimal Supergravity at the Tevatron Including 1998-08-11 Progress in parallelizing XOOPIC 1998-01-27 Cumulative Duality in Designing Information Brokers 1999-04-22 Attitude Control without Angular Velocity Measurement: A Passivity Approach 1996-12-20 Interoperability Support in the Distributed Monitoring System OCM 1999-09-20 Roland Wismuller Reflections On Early Requirements Gathering: Themes From Analyst-Client Conversations 1998-10-29 From Data Mining to Knowledge Discovery in Databases 2000-05-11 Predicting Gene Regulatory Elements in Silico on a Genomic Scale 1998-12-15 Quality-of-Service in Packet Networks Basic Mechanisms and Directions 1998-09-21 V. Peris Facilitating Worst-Case Execution Times Analysis for Optimized Code 1998-03-12 Goal-Based Autonomous Social Agents Supporting Adaptation and Teaching in a Distributed Environment 1997-09-02 Julita Vassileva Model Of Cluster Growth And Phase Separation: Exact Results In One Dimension 1997-04-26 Vladimir Privman Banach Algebras where the Singular Elements are Removable Singularities 1999-12-21 Lawrence A. Harris Practical Reasoning for Very Expressive Description Logics 1999-11-18 Ian Horrocks Trade-offs in Routing Private Multicast Traffic 1998-09-26 Functional Order Parameters For The Quenched Free Energy In Mean Field Spin Glass 1997-04-26 Francesco Guerra Liability and Computer Security: Nine Principles 1998-04-04 Ross J Anderson A Real-Time DSP-based Reverberation System with Computer Interface 1999-04-15 Coalition Formation among Bounded Rational Agents 1995-09-13 The Consequences of Remnant Surface Charges on Microdischarge Spreading in Dielectric Barrier Discharges 1970-01-01 Neutrino Event Rates from Gamma Ray Bursts 1999-10-25 Face-Direction Estimating System Using Stereo Vision 1999-08-12 Proof Planning&Configuration 1997-09-03 Median Selection Requires 2+epsncomparisons 1996-07-31 Weighted Striping in Multimedia Servers 1999-03-03 Modularity of Completeness Revisited 1999-03-25 Massimo Marchiori Driver-Adaptive Warning 1999-11-22 More Bunches with Pretzel 2000-02-04 CED - Program for Corpora Editing 1999-12-03 Teaching Circuit Analysis In The Studio Format: A Comparison With Conventional Instruction 1998-06-15 Integration Of Multimodal Features For Video Scene Classification Based On Hmm 1999-10-22 Mini-Buckets: A General Scheme for Approximating Inference 1999-09-24 Manuel Bronstein INRIA Projet 1999-03-24 Topics in Public-Key Cryptography II 1999-06-04 Marc Gysin OM4755 ETACS Software User Guide 1998-07-29 Clay: Integrating Motor Schemas and Reinforcement Learning 1997-03-25 Tucker Balch Higher Order Local Autocorrelation Features of PARCOR images for Gesture Recognition 1999-08-04 Takio Kurita An Object-Oriented Toolkit for 1999-12-10 Time-Varying and Adaptive Discrete-Time Low-Gain Control of In nite-Dimensional Linear Systems with Input Nonlinearities 1998-10-05 Neural Network-based Fuzzy Modeling of the Student in Intelligent Tutoring Systems 1999-06-07 Upgrading Bottleneck Constrained Forests 1998-10-07 Scheduling Techniques for Reducing Processor Energy Use in MacOS 1999-10-14 Indirect CP-Violation in the Neutral Kaon System Beyond Leading Logarithms 1995-07-11 Low Energy Supersymmetry Phenomenology 1970-01-01 in Beliefs, Reasoning, and Decision Making: Psycho-logic in Honor of Bob Abelson eds: Schank Langer, Lawrence Erlbaum Associates, Hillsdale, NJ. pp. 143-173. 1999-10-12 Wendy G. Lehnert Implosions in Coronal Transients 1999-12-31 H. S. Hudson Using the Task Formalism Method to Guide the Development of a Principled HTN Planning Solution for the Construction Industry 1970-01-01 Portfolio Analysis With a Large Universe of Assets 1998-06-11 David Nawrocki There is more to Context than Location 1998-12-02 VXIbus Digital Filtering for ATE 2000-06-22 Steven D. Bragg Local Statistics For Random Domino Tilings Of The Aztec Diamond 1998-04-30 Mutual Position Of Hypersurfaces In Projective Space 1999-07-09 Time-frequency analysis of the dispersion of Lamb modes 1999-12-06 Winner-Take-All Networks With Lateral Excitation 1998-08-19 Giacomo Indiveri Epilepsy - When Chaos Fails 2000-01-03 Automated Testing Experience of the Linear Aerospike SR-71 ExperimentLASRE Controller 1999-10-05 Richard R. Larson Phase Preserving Denoising of Images 1999-10-08 Peter Kovesi TISDAG: Technical Infrastructure for Swedish Directory Access Gateways 1999-06-18 Distributed Motion Control for Multiple Robotic Manipulators 1970-01-01 Task Scheduling using a Block Dependency DAG for Block-Oriented Sparse Cholesky Factorization 1999-11-29 Fisheye Matching: Viewpoint--Sensitive Feature Generation Based on Concept Structure Extended Summary 1999-09-08 Yasufumi Takama Corrections for Contamination Background in AMS 1996-09-20 Why SpecInt95 Should Not Be Used to Benchmark Embedded Systems Tools 1999-04-21 Jakob Engblom Knowledge Sharing and Case-Based Reasoning in Geriatric Care 1999-11-01 Enforcing Trace Properties by Program Transformation 2000-05-04 A formal specification of PARLOG 1996-06-24 Feedback Systems For Linear Colliders 1999-04-13 QoS Management for Live Videos in Networked Virtual Spaces 1999-05-01 Least Squares Arnoldi For Large Nonsymmetric Eigenproblems 1998-11-06 Akira Nishida Semiotic Oriented Autonomous Intelligent Systems Engineering 1998-06-09 A Posteriori Error Indicators for Hyperbolic Problems 1998-05-04 Anytime Database Algorithms 1996-02-14 CS498q - Project Shape from Shading 2000-05-10 Matthias Heiler A Bound on the Capacity of Backoff and Acknowledgement-Based Protocols 2000-03-24 Controller for a High Strain Shape Memory Alloy Actuator: Quenching of Limit Cycles 1999-11-01 Combining Collaborative Filtering with Personal Agents for Better Recommendations 1999-09-13 Modeling and Analysis of Ultrasound Propagation in Layered Medium 1999-09-27 Shift Invariant Wavelet-Based Statistical Models And 1999-08-08 Robert D. Nowak A Design Proposal for Interprocess Communication in the SPIN Operating System 2000-01-27 Emin Gun Sirer Refractive Regression after Photorefractive Keratectomy 1998-08-10 CollabCAD: A Toolkit for Integrated Synchronous and Asynchronous Sharing of CAD Applications 1997-08-21 Continuous Control-Lyapunov Functions for Asymptotically Controllable Time-Varying Systems 2000-01-05 Java is Type Safe - Probably 1999-04-19 Locally Exact Lower Bounds and Optimality Cuts for All-Quadratic Programs with Convex Constraints 2000-01-26 Ivo Nowak Classification of Endoscopic Images Based on Texture Spectrum. 1999-07-30 Mdl-Based Translation-Invariant Denoising And Robust Time-Frequency Representations 1999-05-30 Numerical Examples of Compact Constant Mean Curvature Surfaces 2000-03-29 Verification of a Quality Function Deployment Matrix for Software Process Improvement 1970-01-01 Dr. Ita Richardson Simplified Module Assembly Using Back-Contact Crystalline-Silicon Solar Cells 1997-10-17 Stably Non-Synchronizable Maps Of The Plane 1997-02-18 New Methods For Surface Reconstruction From Range Images 1999-12-22 Corpus-based Techniques for Word Sense Disambiguation 1998-05-28 Gina-anne Levow Political Economy of Growth in MENA Countries: A Framework for Country Case Studies 1970-01-01 Hadi Salehi Esfahani Parallel and Distributed Scientific Computing - A Numerical Linear Algebra Problem Solving Environment - Designer's Perspective 1999-12-27 Reuse of Proofs by Meta-Methods 1996-08-16 The Role Of Helicity In The Reconnection Process 1997-01-29 Constructing Constraints 1998-11-10 Peter Jeavons Performance Assessment and Configuration of Enterprise-Wide Workflow Management Systems 1999-10-14 A Hardware-Driven Profiling Scheme for Identifying Program Hot Spots to Support Runtime Optimization 1999-05-05 Deriving Efficient Parallel Programs By Systematic Coarsing Specification Parallelism 1997-09-29 Sergei Gorlatch Experimental Demonstration of the Optical Multi-Mesh Hypercube: A Scalable Interconnection Network for Multiprocessors and Multicomputers. 1999-06-14 Statistical Information on the Very Small Enterprises and the Informal Economy: an Overview 2000-02-09 Giovanni Barbieri Identity, Modality, and the Candidate Behind the Wall 1999-12-10 Daniel Bring Speaker Adaptation For Hmm-Based Speech Synthesis System Using Mllr 1998-12-16 Modeling Multilevel Database Security 1999-07-26 Foteini I. Andria Unknown 1999-04-11 Improvement of the Degree Setting in Gosper's Algorithm 1996-08-26 Learning Functions Represented as Multiplicity Automata 1999-09-13 Using the Web Efficiently: Mobile Crawlers 1970-01-01 Jan Fiedler Scheduling Generator Outages to Minimise Financial Impact 1998-08-17 Data Broadcasting and Seamless Channel Transition for Highly-Demanded Videos 1999-12-05 Issues In Distributed Control For Atm Networks 1998-05-12 Jonathan S. Turner An Adaptive Routing Algorithm for Best-effort Traffic in Integrated-Services Networks 1999-12-07 Iterated Function Systems For Still Image Processing 1999-05-03 Finding Similar Patterns in Large Image Databases 1994-06-27 Unconditional Transfer in Regulated Rewriting 1997-04-30 Henning Fernau Magnetic Localization of Reentrant Activation in Isolated Rabbit Atrium 1999-06-18 Greedy Lattice Animals: Negative Values And Unconstrained Maxima 2000-02-02 Chaos in Accelerators 1999-05-10 Alex Chao Systematic Output Modification in a 2D User Interface Toolkit 1998-10-01 Some A Posteriori Error Estimators For Elliptic Partial Differential Equations 1999-05-21 Estimates of Semigroups and Eigenvalues Using Functional Inequalities 1999-11-30 Feng-yu Wang Cross-Spectral Analysis of Tremor Time Series 1999-11-25 AMetaCar - a Mediated eCommerce-Solution for the Used-Car-Market 1999-08-24 Towards Integration of State Machines and Object-Oriented Languages 1999-04-28 A Historical Lexical Database of Swedish. The O.S.A Project 1998-12-01 Array Combining Scatter Functions on Coarse-Grained, Distributed-Memory Parallel Machines 1999-07-08 The Communication Complexity of the Universal Relation 1998-01-04 Unknown 1999-07-02 Efficient Wavelength Routing in Trees with Low--Degree Converters 1999-08-19 Estimates of Semigroups and Eigenvalues Using Functional Inequalities 1999-12-21 Feng-yu Wang Accumulator Based Deterministic BIST 1999-11-26 Representation and Learning Capabilities of Additive Fuzzy Systems 2000-06-27 Dennis Ettes Informing System Design Through Organizational Learning 1998-10-30 IP Switching and Gigabit Routers 1999-11-13 Remote Access to Interactive Media 1996-05-24 Roger B. Dannenberg Lower Bound Estimates Of The First Eigenvalue For Compact Manifolds With Positive Ricci Curvature 1999-08-18 Dagang Yang An Additional Primary Proteolytic Processing Site in Merozoite Surface Protein-1 of Plasmodium berghei 1999-05-21 Standardized Numerical Linear Algebra Software 1999-12-27 Theory-driven Logical Scaling 1999-07-02 Gauss-Legendre Priciple Value Integration 1999-12-28 Functional Equations And Distribution Functions 1994-09-14 Building simulation: state-of-the-art and the role of IBPSA 1999-11-01 A Study on Out-of-Vocabulary Word Modelling for a Segment-Based Keyword Spotting System 1999-12-16 On The Convergence Rate Of Operator Splitting For Hamilton-Jacobi Equations With Source Terms 2000-04-08 The Braid Monodromy Of Plane Algebraic Curves And Hyperplane Arrangements 1999-08-26 Some Real And Unreal Enumerative Geometry For Flag Manifolds 2000-01-21 Frank Sottile rd. International Conference on Fuzzy Logic, Neural Nets and Soft Computing IIZUKA'94, pp. 647-648, Iizuka - Japan, August 1-7, 1994. 1998-04-02 Evolving Technical Graphics in the High Schools: A New Curriculum in Scientific Visualization 1997-09-08 Multimedia Document Models - Sealed Fate or Setting Out for New Shores? 1999-11-23 Generating a Noetherian Normalization of the Invariant Ring of a Finite Group 1999-07-01 Guide to the Kitt Peak Coude Fiber Reduction Task DOFIBERS 1998-06-26 Francisco Valdes Using Minitab To Enhance Critical Thinking Skills 1996-01-07 Cathleen M. Zucco A High Performance Transport Service for ATM LANs 1998-02-20 Raschid Karabek Single Address Space Operating Systems 1970-01-01 MetaCost: A General Method for Making Classifiers Cost-Sensitive 1999-09-29 Pedro Domingos Estimation in an empirical Bayes model for longitudinal and crosssectionally clustered binary data 1999-11-02 A Kernel Approach for Interactive-oriented Model Construction in JAVA 1997-08-15 Olaf David Adaptive Filter Lecture Notes&Examples 1999-08-08 John Leis An Intelligent Learning Control Method for a Class of Nonlinear Dynamic Systems 1999-12-28 Numerical Analysis Group Progress Report - January 1996 - December 1997 1970-01-01 Iain S. Duff editor Investigating Real-Time Validation of Real-Time Image Processing ASICs 2000-01-31 Relationships between Galactic Radio Continuum and 1998-01-05 Institutional Issues 1999-12-01 Is There a Logic of Provability for Nonmonotonic Reasoning? 1999-10-22 A glimpse at the metaphysics of Bongard problems 2000-05-23 Alexandre Linhares A Free Space Optical Crossbar Switch Using Wavelength Division Multiplexing and Vertical-Cavity Surface-Emitting Lasers 1999-06-14 Syllable Weight, Stress Patterns and Nativisation 1996-10-21 Susan Fitt VHDL generation from SDL specifications 2000-05-16 Analyzing factors that influence end-to-end Web performance Work Project No. 539054-0000 2000-04-05 Craig E. Wills From SOS Rules to Proof Principles: 1996-10-25 David Sands The Globally Irreducible Representations Of Symmetric Groups 1997-08-18 Alexander Kleshchev Runtime Tags Aren't Necessary 1994-03-10 Refinement of a typed WAM extension by polymorphic order-sorted types 1996-12-21 Why Is It So Hard To Measure the Current Output Gap? 1999-10-20 Simon Van Norden Monads on Composition Graphs 2000-06-09 Lutz Schroder Complexity-Theoretic Aspects of Interactive Proof Systems 1999-03-23 Lance Jeremy Fortnow Consideration of Receiver Interest for IP Multicast Delivery 1999-12-05 An aggregation-based solution method for M/G/1-type processes 2000-01-04 High-Level Synthesis by Systematic Derivation of Vision Automata from Emulation Results 2000-01-31 Product Operator on Cell Complexes 1995-09-14 Importance of Backscattering Effects in Ballistic Quantum Transport in Mesoscopic Ring Structures 1999-06-10 Estimating analogical similarity by dot-products of Holographic Reduced Representations. 1994-01-10 Tony A. Plate Washington 1999-08-19 Controlling Interference in Ambients 1999-11-03 Are REIT Returns Hedgeable? 1999-08-13 Fig. 1. The grammar model of functional phonology 1970-01-01 Characterizing Internet Performance to Support Wide-area Application Development 2000-05-17 Universal Service in the Digital Age: The Commercialization and Geography of US Internet Access 1998-01-21 Shane Greenstein Continuous-Time Temporal Back-Propagation with Adaptable Time Delays 1993-03-09 Dynamically Adapting Kernels in Support Vector Machines 2000-04-17 Interactive Dynamics 1995-06-02 GammaDeltaTheta XiPi 1999-03-31 An Advanced Course On Software Development Environments 1993-06-30 Anthony Finkelstein A Perceptual Grouping Hierarchy for Appearance-Based 3D Object Recognition 1999-10-17 Beyond Fitts' Law: Models for Trajectory-Based HCI Tasks 1999-06-24 A Compiler for NQTHM: A Progress Report 1994-10-20 Race Condition Detection For Debugging Shared-Memory Parallel Programs 1992-06-02 The Non-market Preconditions of Electronic Markets Implications for their Evolution and Applicability 1970-01-01 Kai Reimers Automatic Parallelization - New Approaches to Code Generation, Data Distribution, and Performance Prediction 1999-11-05 Christoph W. Kessler ed Stability of a Three-Station Fluid Network 1999-10-29 Bayesian analysis of Poisson mixtures 2000-06-06 Non-Classical Automated Deduction 1996-06-21 Efficient Exact Sampling From the Ising Model Using Swendsen-Wang 1999-09-20 Mark Huber A Stability Theorem for Linear-Quadratic Parabolic Control Problems 1998-02-04 Fredi Tr Worst-case time bounds for MAX-k-SAT w.r.t. the number of variables using local search 2000-03-27 Edward A. Hirsch Lifshitz tail for Schrödinger operator with random magnetic field 1999-12-22 Shu Nakamura The Barraquer Lecture: Surgical Management of Myopia - A Clinician's Perspective 1998-08-10 Richard L. Lindstrom Computer Security and Human Values Interact 1997-06-26 Keith W. Miller Generation, Genetic Optimization and VHDL-Based Verification of Detailed Iterative Static Schedules for Multiprocessor Systems 2000-02-22 Linear Cryptanalysis of DES Cipher 1995-11-08 Appendix C 1999-01-04 Integration and Differential Equations in Computer Algebra 1999-02-18 Manuel Bronstein USECA: UMTS Security Architecture 1999-08-16 Transform Invariant Recognition by Association in a Recurrent Network 1998-03-06 Integration of Parametric and "ad Hoc" Second Order Polymorphism in a Calculus With Subtyping 1995-09-25 Transparent, Scalable, Efficient OO-Persistence 1999-11-03 Stephan Korsholm Bregman's Chimerae: Music Perception as Auditory Scene Analysis 2000-01-31 Eric D. Scheirer A Methodology for Rapid Prototyping of Analog Systems 1999-08-24 Decidability and Complexity Analysis by Basic Paramodulation 1998-01-16 Robert Nieuwenhuis The Number-Theoretical Spin Chain and the Riemann Zeroes 1999-11-27 Andreas Knauf Single ServerQueueing Models for Communication Systems 1995-12-31 Reuse of linguistic resources in MT 1998-04-23 Twist Surfaces 1997-08-06 Robert Brooks Using Defect Tracking and Analysis to Improve Software Quality 2000-04-18 The Fourier Series and the Discrete Fourier Transform 1998-12-21 Three-dimensional simulations of spiral waves in reacting and diffusing media on DSM computers 1999-09-27 Scheduling Algorithm for Providing Fairness and Protection in Wireless Packet Networks 1999-08-29 Preliminary Thoughts On The Application Of Real-Time AI Game-Tree Search To Control 1998-09-09 Software DevelopmentbyEvolution 1999-07-05 Shaoying Liu Time Varying Multiserver Queues with Abandonment and Retrials 1999-03-31 Keeping Virtual Information Resources Up and Running 2000-01-21 Performance measurements of ISODE and the convergence protocol RFC 1006 1998-02-20 A Posteriori Updates For Adaptive Filters 1999-02-02 Dominant-Subspace Invariants 1999-12-15 Janus --- a C++ Template Library for Parallel Dynamic Mesh Applications 1999-01-08 Data Warehousing Alternatives for Mobile Environments 1999-07-01 Shielding Aspects of Accelerators and Irradiation 1999-10-21 Surstabilité Et Résonance 1999-11-15 An Application of Linear Response Learning 1999-12-15 Martijn Leisink Motion Detection using Randomized Hough Transform Heikki Kalviainen, Erkki Oja and Lei Xu 1996-05-14 Comment on "Gravitationally Induced Neutrino-Oscillation Phases" 1997-03-03 Tanmoy Bhattacharya A Natural Language Front-End to Automatic Verification and Validation of Specifications 1999-07-07 Packing Spheres in the Grassmann Manifold: A Geometric Approach to the Noncoherent Multi-Antenna Channel 1999-10-06 Modelling of Cerebral Autoregulation Experiments in Humans 2000-01-21 The Influence of Defeated Arguments in Defeasible Argumentation 1999-11-15 Bart Verheij Implementing Internet Enabled Virtual Enterprises Using Collaborative Agents 2000-04-24 Aspect Browser: Tool Support for Managing Dispersed Aspects 1999-12-21 Proof Planning Methods as Schemas 1999-11-01 Social Ties in a Public Good Experiment 1999-10-19 A Brief Review on the Impossibility of Quantum Bit Commitment 1998-07-15 Roll-Out and Turn-Off Display Software for Integrated Display System 1999-12-09 Comments on Polynomial Splines and Their Tensor Products in Extended Linear Modeling 1998-10-15 Jianqing Fan A New Algorithm for Attitude Determination Using Global Positioning System Signals 1998-10-22 A Population Density Approach that Facilitates Large-Scale Modeling of Neural Networks: Extension to Slow Inhibitory Synapses 1999-12-16 Cardiac Field Artifact In Sleep Eeg 1999-11-10 Using Configuration States for the Representation and Recognition of Gesture 2000-03-23 Software Tools for Modeling, Computation, and Visualization in Medicine 1995-11-08 T1m1.5/99-279r1 1 1970-01-01 A Computational Market Model Based on Individual Actions 1994-12-30 Outliers Which Genuine and Which Spurious 2000-02-09 CCS Resource Management in Networked HPC Systems 1999-08-31 Formal Methods: Why Should I Care? - The development of the T800 transputer floating-point unit 1999-09-30 Jeremy Gibbons Toward A Good Algorithm for Determining Unsatisfiability of Propositional Formulas 1995-10-27 Software Synthesis of Variable-length Code Decoder using a Mixture of Programmed Logic and Table Lookups 1999-02-11 Arity Hierarchies 2000-01-25 Martin Grohe Nonlinear Dynamics of Video Feedback 2000-02-11 Tight Lower Bounds For 1999-08-31 A 74dB Dynamic Range, 1.1-MHz Signal Band 4th-Order 2-1-1 Cascade Multi-Bit CMOS ... Modulator for ADSL 1998-06-16 Determining the mass of the accreting white dwarf in magnetic CVs using RXTE data 1999-12-20 Gavin Ramsay Structured Incremental Proof Planning 1997-08-01 Some Geometric Lower Bounds 1997-11-05 Non-Commutative Pieri Operators On Posets 2000-02-01 A Simple Derivation of Josephson Formulae in Superconductivity 1999-12-15 Izumi Ojima Detecting Data Races on Weak Memory Systems 1995-03-24 An Approach to a Content-Based Retrieval of Multimedia Data 1998-04-22 Proof Methods for Structured Corecursive Programs 1999-09-29 Jeremy Gibbons The Bergman Kernel for Convex Tubes 1970-01-01 The Effect Of Collection Organization And Query Locality On Information Retrieval System Performance And Design 1999-12-27 Modelling of cognitive complexity with Petri nets: an action theoretical approach 1999-09-20 Superscalar Execution With Dynamic Data Forwarding 1999-09-01 Onder Rajiv Gupta Sequential Correlated Sampling Methods for Some Transport Problems 1999-08-22 Breaking the Time Complexity of Fractal Image Compression 1999-05-03 Dietmar Saupe Inequalities for Uniform Deviations of Averages From Expectations With Applications to Nonparametric Regression 1999-11-05 Michael Kohler Modeling Real-Time Systems with SCR 1999-06-29 Pointwise Error Estimates for Scalar Conservation Laws With Piecewise Smooth Solutions 1998-07-15 Efficient Distributed Control of Enterprise-Wide and Cross-Enterprise Workflows 1999-10-18 Perfect Matchings in Random R-Regular, S-Uniform Hypergraphs. 2000-05-29 Persistence in the Grasshopper Kernel 1998-12-11 Bosonizations, Vicinal Surfaces, and Hydrodynamic Fluctuation Theory 1999-08-20 Herbert Spohn The Role of Temporal Logic and Timed Automata in Distributed Multimedia Systems 1999-06-01 Lynne Blair Two-Step Estimation of Functional Linear Models with Applications to Longitudinal Data 1999-09-20 Hardware Evaluation of Heavy Truck Side and Rear Object Detection Systems 1999-12-01 A Construction OfLogarithmic 1-Forms On Hyperplane Arrangements 1998-12-28 Scott K. Imig System Support for Scalable and Fault Tolerant Internet Services 1999-02-17 Finding and Moving Constraints in Cyberspace 1999-08-09 Virtual Prototyping For Modular And Flexible Hardware-Software Systems 2000-05-16 Visualization of Evolutionary Algorithms: Real-World Application of Standard Techniques and Multidimensional Visualization 1999-05-04 Hartmut Pohlheim Model-based Solution Techniques for the Source Localization Problem 1999-09-01 On the Relevance of Long-Range Dependence in Network TraOEc 1997-01-23 Thresholding for Change Detection 1997-06-27 Paul L. Rosin On a theory for AC^0 and the strength of the induction scheme 1999-03-30 Satoru Kuroda Real-time Data Exchange and Interoperability For Intelligent Transportation Systems 1999-03-16 Formal Polynomials for Image Processing 1999-04-21 Atsushi Imiya A Resolution Method for CTL Branching-Time Temporal Logic 2000-01-10 Reductions to Sets of Low Information Content Extended Abstract 1996-12-16 Random Walk Duality and the Valuation of Discrete Lookback Options 1999-01-13 Tze Leung Lai Towards a Mathematical Specification of the APE100 Architecture: The APESE Model 1996-06-24 The N-line Traveling Salesman Problem 1999-05-07 Stained Glass: The Medieval Multimedia Experience 2000-02-29 Lindsay W. Macdonald Resolving Ontological Heterogeneity in the KRAFT Project 1999-07-29 Splicing Systems With Marked Rules 2000-07-12 Refined Program Extraction from Classical Proofs: Some Case Studies 2000-01-10 Utility Maximization in Incomplete Markets with Random Endowment 2000-03-22 The Multigrid Preconditioned Conjugate Gradient Method 1998-11-05 Osamu Tatebe Minimal Qualitative Topologic World Models for Mobile Robots 1996-10-04 Uwe R. Zimmer Guarding Scenes against Invasive Hypercubes 1998-08-11 FORSCHUNGSZENTRUM JLICH GmbH 1999-03-22 Primary Decomposition: Algorithms and Comparisons 1999-07-01 Flow Equations and New Weak-Coupling Solution for the Spin-Polaron in a Quantum Antiferromagnet 2000-03-31 A Hypertext-Based Tool for Large Scale Software Reuse 1994-10-19 Burkhard Freitag Technology for Planning and Scheduling under Complex Constraints 1999-08-27 Efficient Implementation of the Multigrid Preconditioned Conjugate Gradient Method on Distributed Memory Machines 1998-11-05 Implementation of Hamilton-Jacobi and Level Set Equations on Triangulated Domains 1999-12-17 Real Time Equilibrium Reconstruction For Control Of The Discharge In The Diii--D Tokamak 1998-11-19 The Large-Scale Distribution of Radio Sources 1998-01-06 Ftpeters,steve,robert,needhamg@cse.uconn.edu 1996-08-05 Blind Separation of Instantaneous Mixture of Sources via the Gaussian Mutual Information Criterion 1999-12-17 Stream Processing II: An Alternative Algebraic Approach and the language ASTRAL 1995-03-29 A Longitudinal Study Of Expectations In Small Business Internet Commerce 1999-08-12 EMERALDS: A Small-Memory Real-Time Microkernel 1999-11-15 Dynamic Distance Maps of the Internet 1999-12-05 Tableaus for Logic Programming 1999-08-30 Stochastic Partial Differential Equations, Infinite Dimensional Stochastic PROCESSES AND RANDOM FIELDS: A Short Introduction 1970-01-01 Non-Linear Distortion and OFDM Bit Error Rate 2000-02-22 Continuation Method for Total Variation Denoising Problems 1995-04-24 Quantum Cosmology in the Energy Representation 1997-03-03 Franz Embacher Multigrid on Massively Parallel Architectures 1999-12-13 A Note on Nonnegative Diagonally Dominant Matrices 1999-04-23 Geir Dahl Multiresolution Object-of-Interest Detection for Images with Low Depth of Field 1999-06-24 A Universal Infrastructure for the Run-time Monitoring of Parallel and Distributed Applications 1998-06-25 Irreducibility of Gaussian regular representations of a group of germs of real analytic diffeomorphisms 1995-07-25 Frank Leitenberger Framework For Barriers To Is-Related Change: Development And Evaluation Of A Theoretical Model 1998-10-29 It's All About Process: Project-Oriented Teaching of Software Engineering 1999-11-16 Atelier Sur La Transformation De L'agriculture En Afrique Abidjan, Cote D'ivoire, Septembre 26-29, 1995 1999-07-13 Reasoning without Believing: On the Mechanization of Presuppositions and Partiality 1999-01-25 A Self-Timed Real-Time Sorting Network 2000-04-15 Guaranteeing the Topology of an Implicit Surface Polygonization for Interactive Modeling 1970-01-01 Locality, Causality and Continuations 1995-04-11 Christian Queinnec Analyzing the Behavior and Performance of Parallel Programs 1996-08-06 Vikram S. Adve Decentralised Process Enactment in a Multi-Perspective Development Environment 1998-01-30 Calabi-Yau Threefolds and Moduli of Abelian Surfaces I 2000-01-18 Inconsistency Management for Multiple-View Software Development Environments 1998-08-28 Carl-Alexander Wichert Alfred Fent Burkhard Freitag 1998-11-17 Towards a Translation of Computer Algebra Algorithms into Tactics 1996-10-15 Michigan Internet AuctionBot 1999-03-10 Daniel Reeves Inclusive Two--Photon Reactions at TRISTAN 1995-01-11 Manuel Drees A Finite-Difference Time-Domain Solution to Scattering From a Rough Pressure-Release Surface 1998-07-06 Scientific Visualization: An Experimental Introductory Graphics Course for Science and Engineering Students 1996-08-06 Eric N. Wiebe A Workow Model for the Asgaard Project: A Time-Oriented, Skeletal Planning Workbench in Medicine 1999-12-06 End of First Year Report 2000-05-11 A Guided Tour of the Fractal Image Compression Literature 1999-05-03 A Production Line That Balances Itself 1999-04-26 Analysis Of A Cell-Vertex Finite Volume Method For Convection-Diffusion Problems 1997-08-25 Automating the Synthesis of Decision Procedures in a Constructive Metatheory 1998-01-26 : Towards Usability of Formal Methods 1998-10-05 Marsha Chechik Coupled Map Traffic Flow Simulator Based on Optimal Velocity Functions 1997-11-15 Description and Applications of an Object-Oriented Model PDM 1998-11-18 A V6 Under the Hood: IPv6 for Embedded Systems 1999-08-12 Representation of Behavioral History for Learning in Nonstationary Conditions 1999-02-12 A Semantic Caching Method Based on Linear Constraints 1999-12-21 Gibbs States of Graphical REPRESENTATIONS IN THE POTTS MODEL WITH EXTERNAL FIELDS 1970-01-01 Unknown 1999-12-12 Dynamic Graphics in a GIS: A Bidirectional Link between ArcView 2.1 1996-10-31 Symbolic/Subsymbolic Sentence Analysis: Exploiting the Best of Two Worlds 1999-10-12 Wendy G. Lehnert Experience in Classification and Reuse of Synchronization Schemes 1995-07-31 Jean-pierre Briot Ji Wang, Jiun-der Yu, 1999-06-15 Integration Of Image Analysis And Gis 1999-07-22 Planning and Acting in Partially Observable Stochastic Domains 1999-02-01 The Hierarchical Basis Multigrid Method And Incomplete Lu Decomposition 1997-04-03 ORASSYLL: Object Recognition with Autonomously Learned and Sparse Symbolic Representations Based on Local Line Detectors 1998-08-18 Interactive Cuts through 3-Dimensional Soft Tissue 1999-02-12 Surviving Information Warfare Attacks on Databases 1997-05-27 The Homotopy Continuation Algorithm For The Real Nonsymmetric Eigenproblem, Further Development And Implementation 1998-10-26 The Story Gestalt - Text Comprehension by Cue-based Constraint Satisfaction 1990-06-18 Mark F. St. John Genetic Algorithms And Simulation For Supporting Layout Reengineering Of Automotive Component Production Facilities 2000-01-18 Real-Time 3D-Tele-Immersion 2000-05-04 Can Software Development Be Elevated From the Microsoft Style? 1996-06-17 Oleg Kiselyov Relational Expressive Power of Constraint Query Languages 1999-05-21 Application of the Finite Element Method in self-consistent relativistic mean field calculations 1999-06-10 Fast Multiplication on Elliptic Curves over Small Fields of Characteristic Two 1970-01-01 On Milnor Fibrations Of Arrangements 1999-08-26 Discreteness Issues in Actuator Arrays 1999-04-22 MSU International Development Working Papers 1999-03-23 The Interaction Between the Frequency of Market Quotations, Spread and Volatility in the Foreign Exchange Market 1998-06-11 Monads on Tensor Categories 2000-01-24 I. Moerdijk Economical Covers With Geometric Applications 1970-01-01 Generating Explanations for Evidential Reasoning 1995-05-18 Hong Xu Bifurcation from the essential spectrum for almost-periodic perturbations of Hill's equation 1999-03-12 E. C. M. Crooks From the Generalized Bruns Transformation to Variations of the Solution of the Geodetic Boundary Value Problem 1999-09-22 Morphological Reduction of Skeleton Redundancy 1997-08-10 A System of Launchable Mesoscale Robots for Distributed Sensing 1999-10-25 Exponentiated Gradient Methods for Reinforcement Learning 1997-08-05 Please read Appendix A 1999-03-02 Boussinesq Modelling of Wave-Induced Nearshore Circulation 1998-02-02 Well...It isn't Quite That Simple 1999-05-29 Unknown 1998-08-10 The Sobolev regularity of refinable functions 1970-01-01 Packing up to 100 Equal Circles in a Square 1999-11-15 Can connectionism bridge the cognitive-neuroscience gap? A case study on filler-filler versus filler-role methods for representing relations 1999-04-05 On the Placement of Internet Instrumentation 1999-12-05 Particle Swarm Optimization: Surfing the Waves 2000-03-28 A psychoacoustical model of the auditory periphery as front end for ASR 1999-07-19 Attitude Control without Angular Velocity Measurement: A Passivity Approach 1996-12-20 An Application of a Micro-simulator of Daily Travel and Dynamic Network Flow to Evaluate the Effectiveness of Selected TDM Measures for CO 2000-01-19 Sensor Based Planning for a Planar Rod Robot 1999-09-02 Numerical Simulations of Stimulated Brillouin Backscatter in the Presence of Transverse Plasma Flow 1998-01-29 Programmable Reverse Engineering 1999-12-09 Multiphonic Note Identification 1999-09-17 Simon Dixon Cooperative Facility Location Games 1999-10-21 Conditional Context-Free Languages of Finite Index 1996-12-19 Henning Fernau Current CIE work to Achieve Physiologically Correct Colour Metrics 1999-10-29 Dr. Jnos Schanda Automatic Checking of Instruction Specifications 1999-11-30 Norman Ramsey Hypercube Subgraphs With Local Detours 1999-11-12 Four Steps Toward Open-Ended Evolution 1999-09-07 C. C. Maley Reuse of Plan-Based Knowledge Sources in a Uniform TAG-based Generation System 2000-02-02 Smearing Formula for Higher-Order Effective Classical Potential 1999-07-21 Nonlinear Dynamics of Radio Frequency Plasma Processing Reactors Powered by Multifrequency Sources 1970-01-01 Dynamic Load Balancing of Atomic Structure Programs on a PVM Cluster 1995-01-31 Andreas Stathopoulos CHAT is ThetaSLG-WAM 2000-01-05 Flow and Congestion Control for Internet Media Streaming Applications 1999-01-07 A Resource Management Model for Dynamic, Scalable, Dependable, Real-Time Systems 1999-12-21 Artefact Processing of the Sleep EEG In The "SIESTA"- Project 1999-11-10 Towards Natural Communication in Networked Collaborative Virtual Environments 1999-03-26 Conceptual Design and Deployment of a Metadata Framework for Educational Resources on the Internet 1999-10-12 Stuart A. Sutton A Formal Approach to Software Architecture 2000-07-14 Multiple Steady States in Azeotropic and Reactive Distillation 1998-06-16 Thomas E. Guttinger Real Face Communication in a Virtual World 1999-06-22 Grounding Figurative Language Use in Incompatible Ontological Categorizations 2000-01-10 Mitigating Routing Misbehavior in Mobile Ad Hoc Networks 2000-05-26 Multidimensional Van Der Corput And Sublevel Set Estimates 1999-03-18 Http://www.wiwi.hu-Berlin.de/ 1999-11-15 Testing Tradeoff And Pecking Order Predictions About Dividends And Debt 1999-12-06 Timed Petri nets in Hybrid Systems: Stability and Supervisory Control 1999-03-16 Evaluating the Significance of Sequence Motifs by the Minimum Description Length Principle 2000-07-07 The Terminological Image Retrieval Model 1997-11-19 Strategy Learning: A Survey Of Problems, Methods, And Architectures 1998-08-17 Using Links for Classifying Web-pages 1999-10-06 Johannes Frnkranz Learning Vowel Harmony 1992-03-17 T. Mark Ellison Conjunctive Query Containment Revisited 1999-05-27 Client/Server 1999-09-13 Convexi cation of Planar Polygons in 1999-12-27 The Existence of Homomorphisms to Oriented Cycles 1999-06-04 Simulation Of Multiprocessor Bus Systems For Real-Time Applications 1970-01-01 Minimally Supervised Acquisition of 3D Recognition Models from Images 1970-01-01 System Description: 1999-01-25 Determinants of Farm Productivity in Africa: A Synthesis of Four Case Studies 1999-03-30 Impurity Feedback Control For Enhanced Divertor And Edge Radiation In Diii-D Discharges 1998-11-19 Maintainability Myth Causes Performance Problems in Parallel Applications 1999-06-11 Afit/ds/eng/97-03 1999-12-19 Statistical Generalization Of Performance-Related Heuristics For Knowledge-Lean Applications 1996-09-28 ViewFinder: An Object Browser 1998-09-01 On Estimating Rotations 2000-01-13 Stability and Approximation for a Linear Viscoelastic Model 1997-06-13 Richard H. Fabiano Beyond ProCoS at Kiel: A Synopsis of Recent Research 1999-11-09 Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiments Jade project 2000-02-04 A New Approach To Video Sequence Recognition Based On Statistical Methods 1996-09-25 . Mobiware 1997-04-28 Compiling Graphical Real-Time Specifications into Silicon 1999-12-03 Error Control Strategies for the Wireless Channel 1996-06-10 From Macros to Reusable Generative Programming 2000-01-08 Recent Changes in the Microwave Scattering Properties of the Antarctic Ice Sheet 2000-01-14 Satisfiability Problems on Intervals and Unit Intervals 1999-04-05 Ron Shamir Power Integral Bases In A Parametric Family Of Totally Real Cyclic Quintics 1997-08-25 Parasites, Phylogeny, And Cospeciation 1999-09-13 Roderic D. M RSIM Reference Manual 1997-08-07 Asynchronous Parallel Pattern Search for Nonlinear Optimization 2000-01-14 Some Effects Of Viscous Terms On Riemann Problem Solutions 1993-11-03 Re-Evaluation of Daylight Spectral Distributions 1999-10-29 Situation Aware Computing with Wearable Computers 1999-11-24 Near-Optimal Separation of Treelike and General Resolution 2000-01-23 The Evolution of Aircraft Emissions in the Stratosphere 1998-06-03 A. Gettelman Ajents: Towards an Environment for Parallel, Distributed and Mobile Java Applications 1999-04-09 When Does Overfitting Decrease Prediction Accuracy in Induced Decision Trees and Rule Sets? 1994-07-05 Cullen Schaffer Shape Analysis, Hierarchical Shape Stack, Scale-Space, Fractals, Focusing, Active Contour Models. 1999-07-03 S. R. Arridge Shaping Space: The Possible and the Attainable in RNA Genotype-Phenotype Mapping 1997-12-18 Universal Lossless Compression Via Multilevel Pattern Matching 1970-01-01 Exploiting Parallelism in High Performance Embedded System Scheduling 1999-12-21 Braid Groups Are Not Rigid 1999-12-12 Stephen P. Humphries On the Complexity of Deciding Call-by-Need 2000-01-20 Universit'e De Bordeaux I Reconstruction of JPEG Coded Images in Lossy Packet Networks 1998-01-29 Surf: Achieving Quality Through Software Reuse - A Process Improvement Experiment In IBM Italia 1999-06-17 The Cells Start Walking: Moving Objects in CDL++ 1998-04-29 The Fusiform Face Area: A Module in Human Extrastriate Cortex Specialized for Face Perception 1999-08-22 Bandwidth-Based Performance Tuning and Prediction 1999-12-20 Multi-objective MIMO Optimal Control Design Using The H_2 and l_1 norms 1999-10-08 ACTIVEMAP: A Visualization Tool for Location Awareness to Support Informal Interactions 1999-12-08 Downwind Gau-Seidel Smoothing for Convection Dominated Problems 1996-07-30 Identification Of Multicomponent Batch Distillation Processes Using Subspace Methods 1999-11-30 An Approach to Cloth Synthesis and Visualization 1999-05-14 2-D Contact Detection and Localization Using Proprioceptive Information 1970-01-01 The Vacuum Density Fluctuations in Extended Chaotic Inflation 1997-04-11 Preconditioning of Quasirational Matricial Approximations of Finite Difference Operators 1970-01-01 J. --p. Chehab Case-based Simulation of Ecological and Biological Systems 1999-03-25 D Self-Consistent 1999-03-04 R. Fux The Lampeter Corpus of Early Modern English Tracts 1997-05-07 Scalability and Load Imbalance for Domain Decomposition Based Transport 1999-10-07 P. Wilders Vassiliev knot invariants III. Forest algebra and weighted graphs 1997-02-08 Stereo Panorama with a Single Camera 1999-06-07 Point response characteristics for the CERES/EOS-PM, FM3 FM4 instruments. 1999-12-10 Object Management Group 1997-12-08 Journal of Refractive Surgery Volume 13 July/August 1997 1998-08-10 Probabilistic Dynamic Maps to Visualize the Dynamics of Monte Carlo Simulations 2000-02-02 The Distribution of Test Statistics for Outlier Detection in Heavy-tailed Samples 1999-08-12 The . . . Decay Asymmetry and Flavor Changing Neutral Currents 1999-05-25 Acknowledgements 1995-02-06 Automated Process Planning for Sheet Metal Bending Operations 1999-08-05 A Note On The Symmetric Powers Of The Standard Representation Of 2000-02-16 Inflationary and Deflationary Branches in Extended Pre--Big Bang Cosmology 1997-03-03 James E. Lidsey Eftweb: An Application to Support Skills Trading within Education, Learning and Training Environments 2000-05-31 Revised version, February 1991, appeared in 1999-05-07 Gunter Rote Multilevel Diffusion Schemes for Repartitioning of Adaptive Meshes 2000-05-29 Temporal Dependencies Generalized for Spatial and Other Dimensions 1999-09-30 The Artificial Intelligence: Structure and Examining 2000-01-10 Mexican Hat Gravitational Lenses 1997-07-12 On the Difficulty of Coalition-Resistance in Group Signature Schemes II 1999-08-30 Marc Joye William J. Tolone and Simon M. Kaplan 1999-04-13 Product Customization in an Electronic Commerce Environment using Adaptation Operators 1999-04-20 Computing Spatiotemporal Relations for Dynamic Perceptual Organization 1970-01-01 Bayesian Network Classification with Continuous Attributes: Getting the Best of Both Discretization and Parametric Fitting 1999-02-11 Type Systems 1999-08-17 On The Solution Of Linear Programs By Jacobian Smoothing Methods 1999-12-01 Constructive Induction of Cartesian Product Attributes 1997-08-01 Michael J. Pazzani Unknown 1999-11-10 Learning Situation-Dependent Costs: Using Execution to Refine Planning Models 1999-09-14 A Computational Architecture for Conversation 1999-09-20 Eric Horvitz AMOS: A Natural Language Parser Implemented As A Deductive Database In LOLA 1995-01-05 HCI Aspects of a Framework for the Qualitative Representation of Space 1970-01-01 An Introductory Overview of Object Technology or How to Understand Object Speech 1998-06-25 Richard Thomas A Distributed Fault-Tolerant Routing Algorithm for Generalized de Bruijn Networks 1997-03-18 Parallel Motion Planning with the Ariadne's Clew Algorithm 1997-10-30 The Energy Surfaces Of The Kovalevskaya-Top 1998-04-17 Holger R. Dullin EOFs of Harmonizable Cyclostationary Processes 1996-09-04 Discrete Molecular Dynamics Studies of the Folding of a Protein-Like Model 1999-10-14 Deformable Free Space Tilings for Kinetic Collision Detection 1999-12-23 On the Occurrence of Null Clauses in Random Instances of Satisfiability 1995-10-27 John Franco A Holistic Assessment of Writing in Design 1998-09-15 New Algorithms for Fast Discovery of Association Rules 1999-01-17 HIPPCO: A High Performance Protocol Code Optimizer 1997-01-24 On Minimal Round Functions 1999-11-19 Sound Generation with Aperiodic Ordered Systems 1999-04-15 Juan Garca Escudero On Eigenfunction Approximations For Typical Non-Self-Adjoint Schrödinger Operators 1999-09-30 A. Aslanyan A Pure Theory of Job Security and Labor Income Risk 2000-01-04 Audio-Visual Speaker Recognition for Video Broadcast News 1999-05-19 Implementation of Dynamic Algebras with an Application to Prolog 1996-06-24 Lehrstuhl Informatik V Mark DURING Sweep rather than Mark THEN Sweep 1992-11-02 Using Data Flow Diagrams for Supporting Task Models 2000-04-04 Jean Vanderdonckt Some Technical Constraints on Inference From Probabilistic Models 1999-11-19 Jason Grossman X-Ray Observations Of Motions And Structure Above A Solar Flare Arcade 1999-05-24 Extreme Of Random Field Over Rectangle With Application To Concrete Rupture Stresses 1999-11-13 Ove Ditlevsen 10-12 Hz Oscillations Increase with Memory Load in a Short-Term Memory Task 1999-06-17 Imaging and Graphics in Medicine: Concept of an Object-Oriented Platform for Clinical Research 1999-06-18 Indiscernible Sequences In Banach Space Geometry 2000-06-26 Using Multicast In The Global Communications Infrastructure For Group Communication 1999-09-28 Scheduling Algorithms for Input-Queued Switches: Randomized Techniques and Experimental Evaluation 1999-12-05 Corporate Control, Portfolio Choice and the Decline of Banking 1997-09-15 Learning Situation-Dependent Costs: Improving Planning from Probabilistic Robot Execution 1999-09-14 Standard Formatted Data Units --- A Tutorial 1995-11-14 Green Book A User-Friendly, Object-Oriented Multi-Media Mail Filterer 1994-07-02 Craig Cockburn Tools for Distributed Adaptive Multivariate Integration on NOWs: ParInt 1.0 Release 1999-12-08 Animating Athletic Motion Planning By Example 2000-06-01 Topic-Based Mixture Language Modelling 2000-03-31 On Asymmetric TSP: Transformation to Symmetric TSP and Performance Bound 1999-12-03 C++ Bindings for Message Passing Libraries User Guide 1997-10-20 Nilpotent Approximation Of Nonholonomic Systems With Singularities: A Case Study 1999-12-10 Isotope Ratios of Light Fragments as Thermometers in Heavy Ion Collisions 1995-11-24 Symplectic Multiple Flag Varieties Of Finite Type 1998-12-15 NaturalJava: A Natural Language Interface for Programming in Java 2000-02-01 A Full Digital Self-Timed Clock Generation Scheme 1995-11-25 Simultaneous Mesh Generation and Partitioning for DelaunayMeshes 1999-11-17 Nikos Chrisochoides Black Hole -- Neutron Star Mergers As Central Engines Of Gamma-Ray Bursts 1999-09-07 A New Approach to Hybrid HMM/ANN Speech Recognition Using Mutual Information Neural Networks 1996-12-20 A New, Simpler Linear-Time Dominators Algorithm 1999-11-30 An Experimental Analysis of the Effectiveness of Features in Chernoff Faces 2000-01-21 Using Design Patterns - An observational study 1999-08-30 ROMAN - An Application of Advanced Technology to Outage Management 1999-08-27 Biorthogonal Brushlet Bases for Directional Image Compression 1999-08-23 Quadric Splines 1998-08-20 Relational Programming, Program Inversion and the Derivation of Parsing Algorithms 1999-10-19 Beat Induction and Rhythm Recognition 1999-09-17 Simon Dixon NEW EVIDENCE ON SEX SEGREGATION AND SEX DIFFERENCES IN WAGES FROM MATCHED EMPLOYEE-EMPLOYER DATA Kimberly Bayard, Judith Hellerstein, David Neumark, and Kenneth Troske 1999-06-25 A Posteriori Error Estimation For Elliptic Eigenproblems 2000-01-18 Klaus Neymeyr Two-Dimensional Gantt Charts and a Scheduling Algorithm of Lawler 1999-09-17 Alopex: A Correlation-Based Learning Algorithm for Feed-Forward and Recurrent Neural Networks 1994-03-04 NC-Approximation Schemes for NP- and PSPACE-Hard Problems for Geometric Graphs 1999-07-26 DBRpc: A Highly Adaptable Protocol for Reliable DSM Systems 1999-03-18 Research Engineering Annual Report 1999-09-14 Gerald N. Malcolm Improved Query Performance with Variant Indexes 1999-10-11 Dallan Quass Hierarchical Decision-theoretic Planning for Autonomous Robotic Surveillance 1999-12-20 Some Dichotomy Theorems on Constant-free Quantified Boolean Formulas 1997-10-13 Resonance Transport and Kinetic Entropy 2000-03-07 A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning 1994-12-02 Necessary Optimality Conditions for Nonconvex Differential Inclusion with Endpoint Constraints 1994-01-21 Q. Zhu Planning with Dynamic Goals for Robot Execution 1999-09-14 The Limitations of No-Arbitrage Arguments for Real Options 2000-01-26 Tau Decays into Kaons 1995-05-31 On the Calculation of Arbitrary Moments of Polygons 1996-10-22 Expert Systems Based On Constraints 1999-12-06 Asymptotic Error Expansions for Stiff Equations: The Implicit Midpoint Rule 1999-09-17 Electronic and Mechanical Properties of Ge Films Grown on Glass Substrates 1998-09-24 Schmidhuber's Lab 1999-06-07 Tristan Turteltaub High Speed and Mobility -- Communications in the Fast Lane? 1998-02-20 An hp Error Analysis Of Mitc Plate Elements 1970-01-01 Applications of Non-Metric Vision to Some Visually Guided Robotics Tasks 1995-07-17 A Linear Algorithm for Bend-Optimal Orthogonal Drawings of Triconnected Cubic Plane Graphs 1999-11-19 A note on feasibility in Benders Decomposition 1999-05-25 Multiple Forecasting using Local Approximation 1999-10-16 Sameer Singh Utilising a Geographic Space Metaphor in a Software Development Environment 1999-12-14 Henrik Brbak Christensen etaCOM 1996 Emerging Technologies Applications in Communications Wireless Security Implementation 1998-05-05 C Etin Kaya Koc Identification and Authentication 1999-09-20 A Virtual Trainer for the Space Mission 1998-06-25 An OO Encapsulation of Lightweight OS Concurrency Mechanisms in the ACE Toolkit 1997-05-13 Douglas C. Schmidt How CAS and Visualization lead to a Complete Rethinking of an Introduction to Bector Calculus 1999-05-18 High-Level Implementations of Constraint Handling Rules 1999-07-01 The Phase-Plane Picture for a Class of Fourth-Order Conservative Differential Equations 1998-10-08 Jan Bouwe Van Den Berg The Access Control Problem on Capacitated FIFO Networks with Unique O-D Paths is Hard 1999-11-15 A Model for Image Sensing and Digitization in Machine Vision 1999-10-28 An Intelligent Information System for Maritime Navigation Information 1999-11-10 Raphael Malyankar Probabilistic Performance of a Heuristic for the Satisfiability Problem 1995-10-27 The Pulsating Hydrogen-Deficient Star LSS3184 BX Cir 1999-11-05 Normalization and the Yoneda Embedding 1997-05-18 Peter Dybjer Tracking of Time-varying Mobile Radio Channels with WLMS Algorithms: A Case Study on D-AMPS 1900 Channels 2000-01-14 Selecting Cryptographic Key Sizes 2000-01-03 A Ray Tracing Method for Illumination Calculation in Diffuse-Specular Scenes 1999-08-27 Peter Shirley Compilation for 1994-03-15 David Macqueen Shock Wave Admissibility For Quadratic Conservation Laws 1995-02-18 Computing Selected Eigenvalues of Sparse Unsymmetric Matrices Using Subspace Iteration 1970-01-01 IVHS Countermeasures for Rear-End Collisions, Task 1 Volume VI: Human Factors Studies 1999-11-23 Dot Hs Middle-Out Reasoning for Synthesis and Induction 1998-01-15 Applying Machine Learning to an Alzheimer's Database 1997-10-26 A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework 1995-05-05 Frank Pfenning A Survey of Regularization Methods for First-Kind Volterra Equations 1999-02-04 Patricia K. Lamm How Responsive Multimodal Transportation Management Linked To IVHS Can Improve Environmental Quality 1999-11-30 Mr. Andrew Sullivan Phase-locked Vocoder 1998-09-20 Miller Puckette The Cost of QoS Support in Edge Devices: An Experimental Study 1999-03-04 Evidence that Viewpoint-specific and Viewpoint-invariant Visual Features Are Processed Separately 1996-09-15 Jeffrey C. Liter Optimal and near-optimal advection-diffusion finite-difference schemes 3. Black-Scholes equation 1999-11-05 B Y Ronald Smith Local Watermarking: Methodology And Application To Behavioral Synthesis 1970-01-01 Cartesian Methods for the Shallow Water Equations on a Sphere 1999-12-10 On Learning Multiple Descriptions of a Concept 1994-07-01 Estimating the Generalization Performance of an SVM Efficiently 1999-12-29 Thermal Bridge Assessments 1998-10-08 Performance Verification Using Partial Evaluation and Interval Analysis 1999-08-05 Approximation Techniques for Average Completion Time Scheduling 1999-05-27 A Multiresolution Approach To Homogenization And Effective Modal Analysis Of Complex Boundary Value Problems 1999-11-10 Learning Policies with External Memory 1999-04-16 Unstructured Meshing For Two Asset Barrier Options 1999-06-16 A Software-Oriented Floating-Point Format for Enhancing Automotive Control Systems 1999-08-11 Quality of Statistical Norms 2000-02-09 Adaptive Information Filtering By Monitoring User Behavior 1994-07-14 Disassembly Of Products 1999-02-03 ASEE Southeastern Section Conference 1999-06-10 An Hmm Soft-Output Decoder For Qam Signals With A Clustered Constellation 1996-11-20 Cycle Compensation Protocol : A Fair Protocol for the Uni-directional Twin-Bus Architecture 1993-02-06 Scale-Spaces and Affine Curvature 1995-07-24 Olivier Faugeras Prospects of Nonparametric Modeling 1999-09-20 Jianqing Fan Numerical and Monte Carlo verification of V-distribution 1999-10-07 Unification and Anti-Unification in the Calculus of Constructions 1995-05-05 Frank Pfenning Using Homotopy Methods To Solve Nonsmooth Equations 1999-12-13 Object Acquaintance Selection and Binding 1998-09-25 Jan Bosch Http://www.eurem2000.isibrno.cz 2000-04-27 Spectrum of Relic Gravitational Waves in String Cosmology 1997-03-03 Reversible Arithmetic Coding for Quantum Data Compression 2000-03-03 Showing the Independence of An Axiom for Temporal Intervals by Model Generation 1998-06-16 Jian Zhang Minimum Description Length And The Inference Of Scene Structure From Images 1999-04-08 S. J. Maybank Deriving Baseline Detection Algorithms from Verbal Descriptions 1996-10-04 Trial Court Performance Standards With Commentary 1997-09-23 Trial Court Language and Architecture Paradigms as Object Classes: A Unified Approach Towards Multiparadigm Programming 1994-04-08 Sparse coding with an overcomplete basis set: A strategy employed by V1? 2000-04-10 Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning 1997-01-13 Ilkka Niemel A Artefact Detection in Sleep EEG by the use Of Kalman Filtering 1999-11-10 Selective Crypting with Haar-Wavelets 1999-06-22 Alexa Nawotki Alan Kaplan Geir A. Myrestrand John V. E. Ridgway Jack C. Wileden 1997-01-02 OM4754 EAMPS Software User Guide 1998-07-29 On stationary stochastic flows and Palm probabilities of surface processes 1998-05-03 Indiana Intelligent Transportation Systems Commercial Vehicle Operations Business Plan 1999-11-18 Draft Report The credibility of monetary policy: A survey of the literature with some simple applications to Canada 1999-10-20 This contribution has been prepared to assist Standards Committee T1--Telecommunications. 1970-01-01 Where are the First Stars now? 1999-11-23 Content-based Image Database Retrieval Based on Line-Angle-Ratio Statistics 1998-05-01 Yacht Match Race Simulation 1998-08-17 David Teirney The Automated Sorter Scheduling In A Logistic Cim System By Use Of GA 2000-01-04 Generalized Verlinde Formula and Unifying W-Algebras 1998-09-16 Ralf Hubel Learn Sesame - a Learning Agent Engine 1998-09-15 Using Intelligent Agents for Urban Traffic Control Control Systems 1970-01-01 Danko A. Roozemond Multiwavelets: Regularity, Orthogonality and Symmetry via Two-scale Similarity Transform 1999-08-24 Vasily Strela The Boundedness of All Products of a Pair of Matrices is Undecidable 1999-11-24 A Law of Scarcity for Games. 1999-12-07 Wide-Area Parallel Computing in Java 1999-06-04 Meta-Modeling of Sensible Agents 1998-09-10 The CS Freiburg Team: Playing Robotic Soccer Based on an Explicit World Model 1999-06-04 Baroclinic Circulation Generation on Shock Accelerated Slow/fast Gas Interfaces 1998-05-17 Determining Optimum Software Partitioning and Data Allocation on a MIMD System to Minimize the Completion Time 1997-03-18 A Comparison of Some Error Estimators for Convection-Diffusion Problems on a Parallel Computer 1998-07-24 Volker John Emotions: A Computational Semiotics Perspective 1999-11-11 The Effects Of Noise In Maximum Likelihood Analysis Of Late Potentials 1996-09-24 Inference and Monitoring Convergence chapter for Gilks, Richardson, and Spiegelhalter book 1997-03-11 Multiresolution Compression and Reconstruction 1999-02-12 Wrapzip: Linear decoding of planar triangle graphs 1999-02-17 Application Of Angle-Dependence In The Ultrasonic Echo Signal To Estimation Of Carotid Plaque Contents 1999-01-21 Issues in the Runtime Modification of Software Architectures 1997-03-06 Peyman Oreizy Matrices in Elimination Theory 1998-09-22 Classification of Binary Covering Codes 2000-01-18 REGULATED ARRAY GRAMMARS OF FINITE INDEX Part I: Theoretical Investigations 1997-10-29 Improving the Accessibility of SGML Documents A Content-analytical Approach 1997-05-08 Optimizing Retrieval and Processing of Multi-dimensional Scientific Datasets 2000-02-01 Using Weakest Precondition for Software Process Model Reuse 2000-05-18 Instructions for Coding Object Attributes, Intentions and Contextual Constraints draft 2000-04-15 Pamela W. Jordan Communication Performance of Gigabit LAN Workstation Cluster RWC/WSC 1998-02-03 Analyzing Image Sequences using Invariants 1999-12-15 Smoothed universal correlations in the two-dimensional Anderson model 1998-11-16 Complexity Limitations on Quantum Computation 1999-03-23 New Tabular Algorithms For Lig Parsing 1999-12-30 RULEX CEBP Networks As the Basis for a Rule Refinement System 1996-10-25 Adaptive Control in 1999-10-05 Secure Dynamic Reconfiguration of Scalable CORBA Systems with Mobile Agents 2000-02-01 Analysis and Visualization of Large Networks using Program 1999-09-15 The Information Integration Wizard IWiz Project 1999-11-08 Joachim Hammer A new Approach to define Landmarks for Point-based Warping in Brain Imaging 2000-03-23 The Theoretical Limits of Source and Channel Coding 1996-03-31 An Upper Bound on Redundant Assignment Reliability 1999-06-25 The Effects Of Production Rate And Choke Size On Emulsion Stability 2000-02-09 Rational Pricing Of Internet Companies 2000-03-16 Collaborative Model and Algorithms for Supporting Real-Time Distribution Logistics Systems 1999-10-08 Approximate Confidence Regions for Minimax-Linear Estimators 1970-01-01 A Coordination Architecture for MBone Conferences 1998-02-05 Understanding and Improving Technology Transfer in Software Engineering 1998-12-11 Shari Lawrence Pfleeger Messengers 1997-07-25 Guidelines for State 1999-11-22 Probabilistic Byzantine Quorum Systems 1999-11-30 Sketching Intelligent Systems 1998-06-01 Unsupervised Learning of Probabilistic Models for Robot Navigation 1999-09-27 Adaptive Nonlinear Controller Synthesis and Flight Test Evaluation On an Unmanned Helicopter 2000-03-05 A Bayesian Approach for Retrieving Relevant Cases 1997-11-02 Codes on Graphs: Generalized State Realizations 1999-08-17 G. David Forney Bifurcations in a Horizontally Driven Pendulum 1999-12-02 Jaeyong Jeong Optimizing Document Indexing and Search Term Weighting Based on Probabilistic Models 1999-04-21 Regions: An Abstraction for Expressing Array Computation 1999-11-09 Computing Numerical Distribution Functions In Econometrics 1999-06-14 James G. Mackinnon Immunotronics: Hardware Fault Tolerance Inspired by the Immune System 2000-05-08 D. W. Bradley Scheduling and Synchronization in Real Time Systems 1998-01-16 Aditi Majumder Approximation Capability in 1994-03-21 A Distribution-Independent Bound on the Level of Confidence in the Result of a Measurement 1998-11-24 W. Tyler Estler On Iterated-Subspace Minimization Methods for Nonlinear Optimization 1970-01-01 Interpolatory Subdivision on Open Quadrilateral Nets with Arbitrary Topology 2000-03-16 Leif Kobbelt Instabilities and Nonlinear Evolution of Wave-Induced Longshore Currents in the Surfzone 1998-02-02 Modeling and Optimization of Electro-Optic Phase Modulator 1997-05-07 A Complete Algebraic Solvability Test for the Nonstrict Lyapunov Inequality 1999-09-14 Carsten W. Scherer Restriction of Stable Rank Two Vector Bundles in Arbitrary Characteristic 1999-06-03 Georg Hein Explaining Property Values: Quantitative evidence from Sweden 1999-01-23 Terance J. Rephann Symbolic Simulation-Based Techniques For Debugging Discrete Control Programs 1996-11-06 NLO Corrections to Jet Cross Sections in DIS 1996-08-30 Maximal Spaces with given rate of convergence for thresholding algorithms 1999-06-16 A System for Assembling Specialized Textbooks from a Pool of Documents 1997-04-15 An Accelerated Domain Decomposition Procedure Based on Robin Transmission Conditions 1999-07-03 Genetic Analysis of a Conserved Sequence in the 2000-03-23 The Dimension of the Space of C¹ Piecewise Polynomials 1998-10-06 Rate-Distortion Based Temporal Filtering for Video Compression 2000-03-20 Integrability Of Cubic Systems With Degenerate Infinity 1995-12-27 Instruction and High-Level Learning in Connectionist Networks 1999-10-14 Recovering Mesh Geometry from a Stiffness Matrix 2000-05-10 Measurement of Nonlinearity in Chemical Process Control 1999-05-19 Martin Guay Statistical Techniques for Natural Language Parsing 1997-09-02 Eugene Charniak Testing Generalized Linear and Semiparametric Models Against Smooth Alternatives 1970-01-01 A Framework for Structured Distributed Object Computing 1999-04-23 Probabilistic Concurrent Constraint 1998-06-14 Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits 1995-06-19 Distributed Detection in Dependent Gaussian Mixture Noise 2000-01-12 A Descriptive View of Human Self-Corrections as Basis of a Constructive Approach to Automatic Self-Corrections during Incremental Generation 1997-09-02 Wolfgang Finkler DyC: An Expressive Annotation-Directed Dynamic Compiler for C 1999-05-12 CREWS: Towards Systematic Usage of Scenarios, Use Cases and Scenes 1999-01-14 Smad5 Have Distinct Roles During 2000-03-23 The Multi-Agent-based Schedule Calculator MASC System 1998-02-11 Aruna Sankaranarayanan AParallel Implementation of a Three-Dimensional Fast Fourier Transform on CRAYT3E 1999-11-15 Cesar R. S. Da Silva Finding Mode Invariants in SCR Specifications 1998-09-01 Zhenyi Jin Generalization Bounds for Decision Trees 2000-06-12 Fixed and Adaptive Cache Aware Algorithms for Multigrid Methods 2000-01-26 Resource Location in Large Scale Heterogeneous and Autonomous Databases 1997-01-15 On Nonlinear and Nonnormal Filter Using Rejection Sampling 2000-05-26 Hisashi Tanizaki Writing C++ Interfaces to FORTRAN Packages 1997-01-20 Axiomatizability in Inclusive Equational Logic 1999-10-23 Grigore Rosu Constructing Multi-View Editing Environments Using MViews 1998-08-12 Recursive Subtyping Revealed 2000-06-17 On a Build-Up Polynomial Frame for the Detection of Singularities 1999-01-29 On Designing Portable High Performance . . . 1991-12-15 Copyright 1995, 1999 C 1999-11-15 A Tutorial on Logistic Regression 2000-05-11 Network Interface Active Messages for Low Overhead Communication on SMP PC Clusters 1999-02-12 Logical Structure Recognition of Scientific Bibliographic References 1970-01-01 Comparison Theorems for Exit Times 2000-02-13 Complexity of Stability and Controllability of Elementary Hybrid Systems 1999-11-24 Complex Electrical Resistance Tomography of a Subsurface PCE Plume 1996-09-20 Recovery of Improved Stress Resultant Fields for Curved Shells 1997-04-11 CIA's view of the world and what neural networks learn from it: 1998-06-10 Ornl/tm-12231 1999-11-23 ESPRIT III EP 6311 ESPRIT III EP 7026 IDSM / Sysman Management Architecture IDSM Deliverable D4, Sysman Deliverable MA1V2 1994-02-07 Behavioural Modelling of Asynchronous Systems for Power and Performance Analysis 1998-09-08 Three Amigos: A Tale of Three Execution Modelsfor Or-Parallelism 2000-01-24 Part Orientation with One or Two Stable Equilibria Using Programmable Force Fields 2000-01-12 Genetic Programming -- 1995-10-02 On The Performance Of A Medium Access Control Scheme For The Reconfigurable Wireless Networks 2000-01-17 Zygmunt J. Haas Licensing Parameters: Restrictions on phonological expressions 1999-02-02 Aaron Crane Distributed File Systems Past, Present and Future A Distributed File System for 2006 1996-11-05 Fabio Kon Automatic Matching Tool Selection Using Relevance Feedback In Mars 1999-08-08 Critical Redundancy in Lossy Source Coding 2000-06-17 All Pairs Shortest Paths in Undirected Graphs with Integer Weights 1999-08-13 Exploiting Symmetry in Solving Linear Equations 1998-07-15 Domains of Concern in Software Architectures and Architecture Description Languages 1997-12-01 Webcard: a Java Card web server 1999-10-28 A new solution for Boolean Circuit with DNA Computer 2000-05-27 Hierarchical-map Building and Self-positioning with MonaLysa 2000-03-06 Jean-arcady Meyer Defect Induced Diffusion Mechanisms In Ion Implanted Quantum Well Structures 1998-07-03 Computation Of The Test Statistic And The Null Distribution In The Multivariate Analogue Of The One-Sided Test 1999-12-24 Yoshiro Yamamoto Homogeneous Hilbertian Subspaces Of Non-Commutative L_p Spaces 2000-01-02 Timur Oikhberg WebCiao: A Website Visualization and Tracking System 1999-11-30 Study of multisolution quadratic load flow problems and applied Newton-Raphson like methods. 1996-08-05 Approximations for Non-symmetric Truncated Sequential and Repeated Significance Tests 1999-10-07 On Approximately Counting Colorings Of Small Degree Graphs 1970-01-01 Fast And Space Efficient Trie Searches 2000-05-26 Phil Bagwell A Multi-objective Approach to Constrained Optimisation of Gas Supply Networks: The COMOGA Method 1996-06-18 The Intergroup Protocols: Scalable Group Communication For The Internet 1999-12-03 Hybrid Boundary-Medial Shape Description for the Analysis of Biologically Variable Shapes 2000-01-07 Lecture Notes on Geometric Robustness 1999-10-04 Jonathan Richard Shewchuk Elf: A Language for Logic Definition and Verified Metaprogramming 1995-05-05 Frank Pfenning On The Homotopy Theory Of Arrangements, II 2000-01-13 Michael Falk Identification in the Presence of Side Information with Application to Watermarking 2000-01-23 Yossef Steinberg Stable Function Approximation in Dynamic Programming 1999-09-14 Geoffrey J. Gordon Allocation with Increments in a Non-moving Collector 1999-11-13 Yoo C. Chung Global Convergence of Trust-Region SQP-Filter Algorithms for General Nonlinear Programming 1970-01-01 Type-hierarchical Analysis of Gapless Relative Clauses in Korean 1997-10-28 Jong-yul Cha A Nonoverlapping Characteristic Domain Decomposition Method for Unsteady State Advection-Diffusion Equations 1999-10-07 Simplex Based Animation 1994-03-01 Tracking of Time-varying Mobile Radio Channels Part II: A Case Study on D-AMPS 1900 Channels 2000-05-11 A Proposal for a Description Logic Interface 1999-07-02 Introducing Computer Science Using a Breadth-First Approach and Functional Programming 2000-01-21 Recursion 1999-05-31 A comparison of white dwarf mass estimators using the Intermediate Polar XY Ari 1998-05-20 Using Emulations to Enhance the Performance of Parallel Architectures 1999-12-02 Distributed Matrix-Free Solution of Large Sparse Linear Systems over Finite Fields 1997-06-16 E. Kaltofen Basic Groups Of Lie Algebras And Hopf Algebras 1997-10-08 Production Management Practice in New Zealand: A Survey 1998-08-17 Chuda Basnet A Counterexample To H. Arsham's "Initialization Of The Simplex Algorithm: An Artificial-Free Approach" 1998-11-16 Multiscale shape description of MR brain images using active contour models 1999-07-03 Flavor Changing Neutral Currents at 1997-12-22 L. Reina SOaP: Social Agents Providing People with Useful Information 1999-02-06 On the Relation Between Iterated Function Systems and Partitioned Iterated Function Systems 1996-03-26 The General Counterfeit Coin Problem 1999-05-26 Building Models of Prediction Theories 1998-03-18 Resource Allocation for stor-serv : Network Storage Services with QoS Guarantees 1999-08-24 John Chung-i Chuang On a Degenerate Evolution Equation Modelling Large Ice Sheets Dynamics 1995-12-27 A Video Traffic Model based on the Shifting-Level Process: the Effects of SRD and LRD on Queueing Behavior 1999-12-05 On The Spectra Of Randomly Perturbed Expanding Maps 1997-04-26 Craig Boutilier 1995-01-30 Craig Boutilier Labels Transformations and New Distance Measures 2000-02-17 Sequential Circuit Test Generation Using Dynamic State Traversal 1997-04-24 Janak H. Patel Optimal combination of Neural Networks and discrete statistical pattern classifiers 1998-10-07 Narrowband Channel Extraction For Wideband Receivers 1999-09-29 Matthew L. Welborn Fast Application of Integral Operators with Oscillatory Kernels 1999-10-27 Martin J. Mohlenkamp Surface Brightness Measurements of Extended Galactic Nebulae 1998-01-02 The Knowledge Acquisition and Representation Language KARL 1999-12-29 Dieter Fensel* Jrgen Angele Efficient Data-Driven Construction of Model-Trees 2000-02-09 Parallelization and Aggregation of Nested Benders Decomposition 1999-12-17 Neural Networks In Spontaneous Speech Assessment Of Dysphasic Patients 1999-10-16 Sameer Singh Wester's test suite in MuPAD 1.2.2 2000-03-28 Paul Zimmermann Issues in Using Function Approximation for Reinforcement Learning 1993-09-21 Migration Scenarios: First Implementation 1998-07-06 CORBA: Integrating Diverse Applications Within Distributed Heterogeneous Environments 1997-01-13 Steve Vinoski Probabilistic Relations between Words: Evidence from Reduction in Lexical Production 2000-03-12 Infinite-Valued Logic Based on Two-Valued Logic and Probability 1996-06-17 Ellen Hisdal Toward Formalizing Recovery Of Advanced Transactions 1997-09-12 Cris Pedregal Martin The ISI "Tunnel" 1998-04-04 A Well-Characterized Approximation Problem 1999-01-05 A New Fractal Image Coding Scheme Employing Blocks Of Variable Shapes 1999-05-03 An Approximation Algorithm for Alignment of Mulitple Sequences using Motif Discovery 1999-12-10 Gauge-Invariant and Gauge-Fixed D-Brane Actions 1997-02-20 Soft Updates: A Technique for Eliminating Most Synchronous Writes in the Fast Filesystem 1999-12-22 A multi-institutional evaluation of Intelligent Tutoring Tools in Numeric Disciplines 2000-04-21 Why Defeasible Deontic Logic needs a Multi Preference Semantics 1997-03-21 Yao-hua Tan Observations of warm water volume changes in the equatorial Pacific and their relationship to El Niño and La Niña. 2000-03-10 Refining Tree-Based State Clustering by Means of Formal Concept Analysis, Balanced Decision Trees and Automatically Generated Model-Sets 1998-12-29 Fitness Distance Correlation as a Measure of Problem Difficulty for Genetic Algorithms 1995-05-03 Automatic Storage and Indexing of Plan Derivations based on Replay Failures 1996-08-16 A Variational Theory of Stokes Waves and their Sub-Harmonic Bifurcations 1998-02-06 An Efficient Algorithm for Dynamic Text Indexing 1995-01-04 Network Dimensioning Based On Refined Blocking Measures 1998-04-24 Sndor Molnr The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions 1997-02-07 Talker Localization And Speech Enhancement In A Noisy Environment Using A Microphone Array Based Acquisition System 2000-01-12 Quantifying the Evolution of Higher--Order Clustering 1999-06-25 Adaptive Finite Element Methods for Elliptic Equations With Non-Smooth Coecients 2000-05-12 On The Random-Self-Reducibility Of Complete Sets 1999-03-23 High Performance Geographic Information Systems: Experiences with a Shared Address Space Architecture 1997-03-26 Exact Form Factors in Integrable Quantum Field Theories: the Sine-Gordon Model 1999-04-21 On Logic Programs That Do Not Fail 1999-10-18 Weyl Closure of a Linear Differential Operator 1999-08-11 Harrison Tsai 3-D Motion and Structure from 2-D Motion Causally Integrated over Time: Implementation 2000-04-01 Forschungsberichte des Fachbereichs Informatik 1996-07-04 Features of Distributed Representations for Tree-structures: A Study of RAAM 1999-07-05 Acoustic Performance Analysis of an Air Handling System 1998-03-16 Decomposing a Permutation into a Conjugated Tensor Product 1999-02-16 Early Evaluation Findings, 1996--1998 1999-07-14 Fixed Point Calculus 2000-01-25 Roland Backhouse Query Optimization for XML 2000-01-03 EFTWeb: a learning environment that supports presence and distance education 2000-05-19 Design of a Scalable Event Notification Service: Interface and Architecture 1998-10-24 Cyclotomic Schur algebras and blocks of cyclic defect 1998-11-12 Steffen Konig Checkpointing and Recovery for Distributed Shared Memory Applications 1970-01-01 Cognitive effects in image reproduction on computer screens Kognitive Effekte der Bildwiedergabe am Computer 1999-10-29 The Complexity of Planarity Testing 1999-11-29 Eric Allender Symbolic Computation in System Simulation and Design 1999-10-22 Simplifying Control Flow in Compiler-Generated Parallel Code 1997-07-15 Applying Semantic Association To Support Content-Based Video Retrieval 1999-08-08 Grounding Communication in Situated, Social Robots 1997-07-20 Toward a Synthesis of Two Accounts of Discourse Structure 1997-06-16 Implementing Best Practices within International Distance Education Initiatives: Lessons Learned from the Mexico-Canada Distance Education Project 1999-12-08 A Characterization of Linearly Reductive Groups by their Invariants 1999-12-14 Gregor Kemper Controlled Conspiracy Number Search 1996-12-10 Modelling Non-Ideal Inquirers 1999-12-05 Spread Of Matter Over A Neutron-Star Surface During Disk Accretion 1999-05-17 Running head: Correct Inferences using Wrong Probability Model 1994-03-30 A Temporal Sequence Processor Based on the Biological Reaction-Diffusion Process 1994-07-20 Toward a Hierarchical Mobile IPv6 1998-08-04 Claude Castelluccia November Notices Of The Ams 1333 1999-03-08 Constraints and Reality Conditions in the Ashtekar Formulation of General Relativity 1996-04-04 A First Step towards the Automatic Generation of Security Protocols 2000-04-06 October 7, 1994 1996-09-20 Internet Shopping, Consumer Search And Product Branding 1999-08-26 Peering and Provisioning of Differentiated Internet Services 1999-12-05 Energy Constrained Error Control for Wireless Channels 1996-12-04 On Learning Multiple Descriptions of a Concept 1997-10-25 December 8, 1997 1999-01-23 S. J. Dilworth Reproducibility of the Signal-Averaged Electrocardiogram Using Individual Lead Analysis 1996-11-27 NodeOS Interface Specification 2000-02-14 Double Gluon Fragmentation to 1995-10-31 Discovering Generalized Episodes Using Minimal Occurrences 1996-08-20 Nonpolygonal Isosurface Rendering for Large Volume Datasets 1994-09-26 Environmental Acquisition - A New Inheritance Mechanism 1996-01-17 W. Lorensen Simulating Stages of Human Cognitive Development with Connectionist Models 1991-09-30 Thomas R. Shultz Reply to "A Review of Creating a Memory of Causal Relationships" 1997-10-25 Michael Pazzani Implementation and testing eavesdropper protocols using the DSP tool 1999-08-19 Non-Coherent Sequence Detection of 1998-02-06 Generating Diagram Editors with DiaGen 2000-01-03 Polarization-Controlled Multistage Switch Based on Polarization-Selective Computer-Generated Holograms 1998-07-02 Buffer Sharing in Video-On-Demand Servers 1999-03-03 Degenerations of Generalized Krichever - Novikov Algebras on Tori 1997-05-15 Martin Schlichenmaier Dynamic Adaptive Autonomy in Multi-Agent Systems 2000-01-07 Convergence And Persistence Of Left-Right Political Orientations In The Netherlands 1978-1995 1997-05-21 Robust OFDM Reception With Near-optimum Nyquist Window 1999-09-27 Trade, Trade Policy and Poverty: 1970-01-01 L Alan Winters A Real-Time System Description Language 1995-03-31 Application Report 1999-02-05 Neutralino Relic Density in the Minimal Supergravity Model 1999-09-21 Vernon Barger AES Java Technology Comparisons 1999-03-02 A Collaborative Learning Constructivist Approach to Abstract Algebra Using ISETL 1999-05-18 Intermediate Optimal Gevrey Exponents Occur 1998-01-14 Michael Christ Dominance Relations In Polling Systems 1995-12-31 Principal Components Analysis To Summarize Microarray Experiments: Application To Sporulation Time Series 2000-01-12 Interactive Update Of Global Illumination Using A Line-Space Hierarchy 1997-05-05 Large Scale Simulations of Single and Multi-Component Flow in Porous Media 1999-09-03 A domain decomposition method with Lagrange multipliers for linear elasticity 1999-10-07 Axel Klawonn A Binary Integer Programming Model for Optimal Object Distribution 1998-10-28 An Information-State Approach to Risk-Sensitive Tracking Problems 1996-07-05 Solving the N-Bit Parity Problem Using Neural Networks 2000-04-22 Hyperplane Arrangement Cohomology and Monomials in the Exterior Algebra 2000-01-11 Language Usage In Information Interchange Tutorial 1995-11-14 Innovative Uses of Compost 1998-04-20 Randomized Approximation Schemes for Scheduling Unrelated Parallel Machines 2000-01-23 Virtual Wires: Overcoming Pin Limitations in FPGA-based Logic Emulation 1993-11-17 Jonathan William Babb Limitations on the Smooth Confinement of an Unstretchable Manifold 2000-02-01 Math into L 2000-03-28 Small Area Estimation Given Regular Updates of Census Auxiliary Variables 2000-02-09 Analysis and Computation of Projective Invariants from Multiple Views in the Geometric Algebra Framework 2000-01-24 Joan Lasenby The Obnoxious Center Problem on a Tree 1999-05-07 Making Complex Articulated Agents Dance 1998-09-11 Exploring Video Structure Beyond The Shots 1999-08-08 On the Origin of Helicity in Solar Active-Region Magnetic Fields 1997-08-19 An Emotional Agent 1994-10-31 Ian Wright Minimax threshold for denoising complex signals with Waveshrink 1999-12-21 Sylvain Sardy The Search for Higgs Bosons of Minimal Supersymmetry at the LHC 1998-03-03 Chung Kao Wireless CROS Versus Transcranial CROS for Unilateral Hearing Loss 1998-06-02 Updating Mental States from Informative Communication 2000-03-04 Financial Services for the Future - mobile, flexible, and agent-based 2000-01-03 Privacy in Public Networks Using Check Point FireWall-1^TM 1998-11-18 Interpolating View and Scene Motion by Dynamic View Morphing 1970-01-01 Fractal Image Compression 1999-05-03 A Connectionist Model of Sentence Comprehension and Production 1999-09-22 Douglas L. T. Rohde Specification and Verification of Media Constraints using UPPAAL 1998-05-26 The Discovery of New 1999-02-03 POLYNOMIAL ACCELERATION FOR LARGE NONSYMMETRIC EIGENPROBLEMS by Akira Nishida 1998-11-06 Akira Nishida Permutations 1999-09-23 Peter J. Cameron High Speed Transient Stability - A Multiprocessing Solution 1999-10-07 Second Order Derivatives, Newton Method, Application to Shape Optimization 1999-08-13 Unknown 1999-09-28 Improved Micro-payment System 1999-08-30 Unsmearing Visual Motion: Development of Long-Range Horizontal Intrinsic Connections 1996-01-08 Richman Games 1998-04-30 An Implementable Active-Set Algorithm for Computing a B-Stationary Point of the Mathematical Program with Linear Complementarity Constraints 1999-11-07 Masao Fukushima Object-Oriented Field Recovery and Error Estimation in Finite Element Methods 1999-01-31 Online Association Rule Mining 1999-01-17 Christian Hidber Feedforward Neural Network Initialization: an Evolutionary Approach 1998-10-14 Computation of the Regular Confluent Hypergeometric Function 1999-08-03 Copyright in Shareware Programs Distributed on the Internet 1999-07-05 Enhancing Memory Use in Simple Coma: Multiplexed Simple Coma 1998-02-25 Zonal mean global nonstationary model of photochemical, radiative, and dynamic processes in the troposphere and stratosphere. Part 1: Description of the model and its verification 1996-09-20 High-level Power Estimator Functions For Analog Filters 2000-02-22 Modeling of Composite Materials for Energy Absorption 2000-01-24 Acquiring a Probabilistic Map with Dialogue-Based Learning 1998-01-09 Traffic Engineering using Multiple Multipoint-to-Point LSPs 1999-12-05 The Design of a Kind of Chirp-like Mother Wavelet by Neural Network 1999-11-11 A Unified Framework for MLPs and RBFNs: Introducing Conic Section Function Networks 1993-09-08 Georg Dorffner Polymorphism in Hindley/Milner Style Type Systems with Constraints 1998-10-01 Martin Sulzmann Section 1: Overview ................................................................................................. 1-1 1997-06-12 A Heuristic Search Algorithm for Markov Decision Problems 1999-08-09 Testing the Data Freshness Properties of Asynchronous Communication Mechanisms 1999-12-13 F. Xia Background Uuncertainty and the Demand for Insurance against Insurable Risks 1998-05-27 Luigi Guiso Integration Of Correspondences On Loeb Spaces 1999-10-27 Yeneng Sun Partial Differential Equations and Mathematical Morphology 1998-07-12 Storage of Correlated Patterns in a Perceptron 1970-01-01 Marcus M. Prtzas, Ulrich Balss, Herbert Reininger and Harald Wst 1999-04-28 Message Stability Detection for Reliable Multicast 1999-12-05 Quantifying the Benefits of SPECint Distant Parallelism in Simultaneous Multithreading Architectures 1999-10-30 Design of Distributed Real-time Control Agents for Intelligent Manufacturing Systems 2000-04-24 Human Hand Modeling, Analysis and Animation in the Context of HCI 2000-01-18 Converted Wave Migration and Common Conversion Point Binning By Equivalent Offset 1999-09-14 John C. Bancroft General Game-Playing and Reinforcement Learning 1999-03-22 Robert Levinson Inverse Localization Of Preexcitation Sites Using "Jumping Dipole" 1999-05-28 Using a Hydrophobic Contact Potential to Evaluate Native and Near-native Folds Generated by Molecular Dynamics Simulations 2000-01-16 Daresbury Laboratory SURFACE SCIENCE NEWSLETTER 1998-08-11 No. On Surface Science Thesauri and the Mirror retrieval model: A cognitive approach to intelligent multimedia information retrieval 1999-07-22 Proving Convergence of Self-Stabilizing Systems Using First-Order Rewriting and Regular Languages 2000-01-13 Integration of Environmental Considerations into Legal Decision Making at the Domestic Level 1999-11-11 Dr Murray Raff Computer Aided Design And Analysis Of Separation Processes With Electrolyte Systems 2000-06-26 Colliders Interesting? 1997-09-16 Measuring Effective Temperatures in Out-of-Equilibrium Driven Systems 1999-10-31 Raphael Exartier Modifying the Power Method in Max Algebra 1999-11-09 An Efficient Statistical Method To Estimate Average Power In Sequential Circuits Considering Input Sensitivities 1998-04-15 Integrated Circuits 1998-07-29 An Basic Feedback Theory A Staging Calculus and its Application to the Verification of Translators 1999-08-28 Robert Muller Verification and Synthesis of Counters based on Symbolic Techniques 1997-04-24 Evaluation of Two- and Three-Tier Database Connections for a Java Based Medical Image Viewer 2000-03-23 Password Security: A Case History 1998-04-04 Experimenting With Regulatory Shortcuts In Europe 1999-09-02 Perceiving Roughness Via A Rigid Probe: Psychophysical Effects Of Exploration Speed And Mode Of Touch 1999-10-07 Knowledge-Based Anisotropic Diffusion of Vector-Valued 4-Dimensional Cardiac MR Images 1999-10-30 An Agent-Based Manufacturing Enterprise Infrastructure for Distributed Integrated Intelligent Manufacturing Systems 1998-11-18 New Normal Sequences of Length 25 1996-03-26 Integrating Interest Rate and Currency Risk Management 1997-09-18 James N. Bodurtha Data Flow Analysis Frameworks for Concurrent Programs 1995-09-05 Computing Roadmaps of Semi-Algebraic Sets on a Variety 1999-11-20 Preventing and Reducing the Adverse Effects of Unintended Teenage Pregnancies 1998-01-27 The variable component of the blue-bump in quasars and Seyfert galaxies 1996-05-06 Performance Evaluation of Scheduling Algorithms in an Integrated Packet Services Network Environment 1998-10-05 Algorithm Performance and Problem Structure for Flow-shop Scheduling 1999-05-06 Electron-Photon Interaction in Resonant Tunneling Diodes 1999-02-16 Rate Based ABR Flow Control using Two Timescale SPSA 1999-09-21 A Self-Timed Real-Time Sorting Network 2000-04-18 Continuous Speech Recognition Using the Time-Sliced Paradigm 1998-09-07 Ingrid Kirschning MASCOT: A Multiagent System for Hybrid Optimization 1998-07-17 Sven Hader Tensor--Scalar Gravity and Binary-Pulsar Experiments 1996-04-05 Thibault Damour High Energy Neutrino Astronomy: Win 99 1999-07-22 Francis Halzen Computer Modeling and Simulation of Camera Defocus 1999-10-28 Coercive Subtyping and Lexical Semantics 1998-11-05 How to Construct Formal Arguments that Persuade Certifiers 2000-01-28 Assessment of Web-based Information Needs for Medical Device Design 1999-10-25 Disassembly Sequence Planning For Complete Disassembly In Product Recovery 1999-02-09 Askiner Gungor Using Finite State Automata to Produce Self-Optimization and Self-Control 1998-02-09 Elliptic equations for infinite dimensional probability distributions and Lyapunov functions 1999-08-30 Rational Quartic Reciprocity II 1997-09-18 Franz Lemmermeyer The CBIC: Architectural support for message passing 2000-03-19 Proof Management and Retrieval 1996-08-16 Error Control and Energy Consumption in Communications for Nomadic Computing 1997-01-15 An FPGA-based coprocessor for the parsing of context-free grammars 2000-04-26 Speech Recognition Based On Acoustically Derived Segment Units 1998-03-14 Automated Image Registration by Maximization of a Region Similarity Metric 1999-04-23 Discrete Event Modeling and Simulation for Flow Control in An Automated Highway System 1997-07-18 Analysis of incomplete climate data: Estimation of mean values and covariance matrices and imputation of missing values 2000-06-22 Tapio Schneider On Scalable QoS Routing: Performance Evaluation of Topology Aggregation 1999-12-05 Achieving Scalability and Expressiveness in an Internet-Scale Event Notification Service 2000-04-22 A Low-Complexity Modeling Approach for Embedded Coding of Wavelet Coefficients 1997-12-22 The Level of Nonmultiplicativity of Graphs 1999-06-04 Comparative Analysis of Six XML Schema Languages 2000-06-07 Data Partitioning and Reversible Variable Length Codes for Robust Video Communications 2000-01-10 Empirical Methods for Ontology Engineering in Bone Marrow Transplantation 2000-02-10 Key Management for Secure Internet Multicast using Boolean Function Minimization Techniques 1999-05-19 Global Convergence of two Augmented Lagrangian Algorithms for Optimization with a Combination of General Equality and Linear Constraints 1970-01-01 Laboratoire de l'Informatique du Paralllisme 1998-02-06 On the Queueing Analysis of Dispersed Periodic Messages 1999-12-05 Utilising Past Event Histories in a Process-Centred Software Engineering Environment 1998-08-12 An Empirical Study of Smoothing Techniques for Language Modeling 1999-12-05 Laminated Photonic Band Structures with High Conductivity and High Transparency: Metals Under a New light 1999-11-19 Performance Characteristics of a Load Balancing Algorithm 1998-09-09 Evaluating 1997-08-21 Faster Run-time Specialized Code using Data Specialization 1999-12-28 Analysis of Defocused Image Data for 3D Shape Recovery using a Regularization Technique 1999-10-28 Design and Implementation of a Partial Evaluation-Based Compiler for an Asynchronous Realtime Programming Language 1998-10-22 Markus Freericks Prefetching from a Broadcast Disk 1998-04-27 COVER ILAC-G8:1996 Guidelines on Assessment and Reporting of Compliance with Specification based on measurements and tests in a laboratory 1999-11-12 Experimenting With The Cheeseman-Stutz Evidence Approximation For Predictive Modeling And Data Mining 1997-03-17 Discrimination in the Sense of Flutter: New Psychophysical Measurements in Monkeys 1999-12-08 Requirements for Network Payment: The NetCheque 1999-06-01 Controller Scheduling Using Neural Networks: Implementation and Experimental Results 1999-10-05 Learning Maps for Indoor Mobile Robot Navigation 1998-09-29 Sebastian Thrun Packet Voice Recovery Techniques For Real-Time Internet Voice Communication 1999-06-24 Process Monitoring Of Abrasive Flow Machining Using A Neural Network Predictive Model 1999-08-04 Why did TD-Gammon Work? 1999-07-20 Multivariate Permutation Tests for the K-Sample Problem With Clustered Data 2000-01-26 Jorg Rahnenfuhrer Physical Modeling Synthesis Update 2000-04-20 Julius O. Smith Iii Long-Time Asymptotics For The Coupled Maxwell-Lorentz Equations 1999-08-20 Constrained Optimization Using Geometric Algebra and its. . . 1998-12-01 Janus: An Approach for Confinement of Untrusted Applications 2000-07-15 David A. Wagner D.-Z. Du and P.M. Pardalos Eds. pp. -- - -- Grobner Bases in Integer Programming 1999-08-28 Rekha R. Thomas Cryogenic Fuel Tank Draining Analysis Model 1999-09-14 Donald Greer On state space decomposition for the numerical analysis of stochastic Petri nets 2000-03-01 A New Blind Zeroforcing Equalizer For Multichannel Systems 1998-09-04 Designing Minimum Cost Nonblocking Communication Networks 1998-05-12 VASE: VHDL-AMS Synthesis Environment 1999-08-27 Approximation Algorithms for Directed Steiner Problems 1999-05-11 Memory Access Optimization and RAM Inference for Pipeline Vectorization 1999-07-31 Accurate Computations On Inertial Manifolds 2000-05-17 Dual-model: An Architecture for Utilizing Temporal Information in Student Modeling 1999-08-25 A total AC-compatible ordering with RPO scheme 1997-10-17 Albert Rubio Web Proxy Caching: The Devil is in the Details 2000-01-20 Approximate Query Translation across Heterogeneous Information Sources Extended Version 2000-02-28 Chen-chuan K. Chang An Analysis Of Systematic Approaches To Reasoning About Actions And Change 1995-01-12 Sonar Mapping for Mobile Robots 1997-03-17 On Plane-Based Camera Calibration: A General Algorithm, Singularities, Applications 2000-01-07 Multiplicity of Homoclinic Orbits in Fourth-Order Conservative Systems 1995-02-06 B. Buffoni Task System and Item Architecture TSIA 1999-03-22 Burkhard D. Burow Bayes Linear Covariance Matrix Adjustment for Multivariate Dynamic Linear Models 1997-06-16 Approximate Graph Coloring by Semidefinite Programming 2000-06-22 DLoVe - A specification paradigm for designing distributed VR applications for single or multiple users 1999-12-05 Leonidas Deligiannidis MACRODYN - A User's Guide 2000-01-21 Volker Bohm Pattern Classification withCompact Distribution Maps 1999-08-16 Asymptotic Analysis of Optimal Fixed-Rate Uniform Scalar Quantization 1997-08-28 Performance Comparison of PBFDAF Algorithms 1999-08-31 Vision-Based Gesture Recognition: A Review 2000-01-18 Constellation: A Visualization Tool for Linguistic Queries from MindNet 1999-09-10 Matching Shapes with a Reference Point 1999-04-22 AIM: Attentionally-Based Interaction Model for the Interpretation of Vascular Angiography 2000-05-05 Measurement and Error Evaluation of Electrical Parameters at Plasma Relevant Frequencies and Impedances 1998-04-03 The Next Linear Collider Extraction Line Design 1999-03-30 Finding Interesting Rules from Large Sets of Discovered Association Rules 1995-01-04 A Multi-Scale Shape Description Tool for 3D MR Brain Images 1999-07-03 Uedqd ,/ 8qlyhuvlw Ri ,oolqrlv 3uhvv 7lfnrr 0dnkdq Hg 1999-11-01 Learning to Improve Uncertainty Handling in a Hybrid Planning System 1999-10-08 Deterministic BIST with Multiple Scan Chains 1999-09-17 Computational 1997-11-06 Localization and Recognition of Traffic Signs for Automated Vehicle Control Systems 1997-10-20 Adapting Fair Queueing to Improve Loss, Delay, and Admission Control Performance 2000-01-11 Acknowledgements 1999-12-17 Integral Transforms Covariant To Unitary Operators And Their Implications For Joint Signal Representations 1998-04-09 Ergodic Control Applied to Car Suspension Design 1999-12-08 Design and Performance of Active Messages on the IBM SP-2 1998-01-12 A 'contrat sociale' for CSCW systems: Supporting interoperability of computational coordination mechanisms 1999-10-18 Seismic reection study of Upheaval Dome, Canyonlands National Park, Utah 2000-02-14 Transformations of Logic Programs Related to Causality and Planning 1999-08-27 Programming Research Group 1999-10-12 Rhythm Tracking Using Multiple Hypotheses 1994-11-15 Individual Characterization of Broadband Sampling . . . 1999-05-31 Flexible Continuations in Logic Programs via Unfold/Fold Transformations and Goal Generalization 1996-12-05 To Guess or to Think? 1996-12-06 Virtual Wires: Overcoming Pin Limitations in FPGA-based Logic Emulators 1993-04-05 Iterative Multiuser Receiver Utilizing Soft Decoding Information 1999-08-19 A Distributed Digital Library Architecture Incorporating Different Index Styles 1999-10-03 Research In Design Computing: An Artificial Intelligence Framework 1999-08-20 A General Method for Feature Matching and Model Extraction 1999-11-15 Clark F. Olson Separable determination of integrability and minimality of the Clarke subdifferential mapping 1997-10-02 Calculation of Measurement Uncertainty Using Prior Information 1999-02-08 Vortex Morphologies On Reaccelerated Interfaces: Visualization, Quantification And Modeling Of One - And - Two Mode Compressible And Incompressible Environments. 1999-08-07 A REVIEW of NON-ADA to ADA CONVERSION 1970-01-01 Non-ada To Ada Conversion Orthogonal Frobenius reciprocity. 1999-08-17 Acceptable Programs Revisited 1999-12-07 A Spanning Bus Connected Hypercube: A Gradually Scalable Interconnection Network for Massively Parallel Computing 1999-06-14 Design Of Linear Phase Cosine Modulated Filter Banks For Subband Image Compression 1994-03-01 Multiple Interactions in 1995-06-29 Manuel Drees Towards a Visual Notation, and Editor, for User Interface Design 1970-01-01 Issues In Multirate Process Control 1999-05-19 Cvitanovi'cy 1995-11-26 Experience with Rover Navigation for Lunar-Like Terrains 1996-03-04 Crowded Field Photometry and Luminosity Function Analysis as Probes of Galactic Evolution 1998-01-19 Ralph Snel Maja J Matari'c 1997-10-24 Maja J Matari'c Territorial Multi-Robot Task Division 1998-06-05 Maja J Matari'c Efficient High-Speed Data Paths for IP Forwarding using Host Based Routers 1998-09-16 Virtual Keyboards 2000-03-16 Camillo J. Taylor Research Statement 1999-10-28 A Documentation Generator for CLP Systems 1999-11-10 Manuel Hermenegildo Realizations of Behavior for Generalized Chain-Scattering Representations 1999-12-17 Fem/bem Notes 1997-03-04 Communication Across Fault-Containment Firewalls on the SGI Origin 1999-09-30 Interfacing Java to the Virtual Interface Architecture 1999-06-04 Applications for Bibliometric Research in the Emerging Digital Libraries 1999-09-27 Sally Jo Cunningham Décrire Et Comparer Les Implantations De Langages Fonctionnels 2000-03-23 Approximately 4/5 of the 1998-01-12 F. Camilo Aperture Based Selection for Immersive Virtual Environments 1997-01-25 Mermaid : Modelling and Evaluation Research in MIMD ArchItecture Design 1995-11-30 On the Correspondence Between Modal and Classical Logic: an Automated Approach 2000-07-03 Andrzej Sza Las Mining Process Models from Workflow Logs 1999-01-11 Finite Width Effects and Gauge Invariance in Radiative 1995-03-15 U. Baur Interactive Graphics for Principal Component Analysis 2000-02-09 Stefano M. Pagnotta flCopyright by 1997-06-18 Ting Yu Optimal Taxation in an Endogenous Growth Model with Government Supplied Educational Capital 1998-05-08 Paul Gomme An Indexing And Searching Structure For Multimedia Database Systems 2000-01-31 A total AC-compatible ordering based on RPO 1995-10-03 Simple LPO constraint solving methods 1995-11-06 Robert Nieuwenhuis A Training Strategy to Improve Quality in Surveys on Sexual Violence and Harassment 2000-02-09 Luciana Quattrociocchi A Robust Scheme For Oblivious Detection Of Watermarks / Data Hiding In Still Images 1999-04-16 Graphical Multiscale Web Histories: A Study of PadPrints 1998-12-23 Processing SGML documents 1998-06-09 Hans Van Vliet AN1443 Low cost, TTL fiber optic receivers for up to 100Mb/s NRZ 1998-07-29 J. Sedayao M87, Globular Clusters, And Galactic Winds: Issues In Giant . . . 2000-02-04 Design Of Accurate And Smooth Filters For Function And Derivative Reconstruction 1998-07-28 A Reconfigurable Architecture Mapping Multilayer CNN Paradigms 1996-05-10 On the psychometric quality of new ability tests administered using the WWW 1999-10-26 On the Use of Destination Set Grouping to Improve Inter-receiver Fairness for Multicast ABR Sessions 1999-12-05 Stock Price Jumps and Their Impact on Option Valuation 1970-01-01 Unsupervised Connectionist Clustering Algorithms for a better Supervised Prediction: Application to a radio communication problem 1999-10-11 Laurent Bougrain A Holistic Approach to Operator Alertness 1999-11-19 Regularity and Approximation of Systems Arising in Electromagnetic Interrogation of Dielectric Materials 1999-11-10 th Aerospace Sciences Meeting Exhibit 2000-01-14 Functional-coefficient Regression Models for Nonlinear Time Series 1999-01-17 Compiling For Massively Parallel Architectures: A Perspective 1999-11-09 Paul Feautrier Designing Automation to Reduce Operator Errors 1999-08-05 Model Based Pose Estimator Using Linear-Programming 2000-03-13 An Analytic Behavior Model for Disk Drives With Readahead Caches and Request Reordering 1999-09-07 Energy-Exposed Instruction Set Architectures 2000-07-13 Krste Asanovic Full Online Event Reconstruction at HERA-B 2000-01-14 A Study of Motive Processing and Attention 1995-04-30 A Control-Flow Analysis for a Calculus of Concurrent Objects 1997-06-17 Optimal Compressor Functions for Multidimensional Companding of Memoryless Sources 1998-08-08 An Adaptive Change Detection Scheme for a Nonlinear Beam Model 1996-01-10 Learning Convex Sets of Probability from Data 1997-06-30 Reducing the Variability of Programmers' Performance Through Explained Examples 1994-01-11 Cnn Array With Balanced Chaotic Cells --- Stability Of The Synchronous Motion 1998-06-29 Gate Sizing Using a Statistical Delay Model 2000-01-31 A Single Number Can't Hedge Against Economic Catastrophes 1999-11-08 MAPPEL - Multi-Agent Collaborative and Adversarial Perception, Planning, Execution, and Learning 1999-12-14 Partial Order Reductions for Timed Systems 1998-10-30 Towards Integrating Partial Evaluation 1999-12-10 Software Reuse Metrics for an Industrial Project 1999-11-30 Faster Algorithms for Subgraph Isomorphism of k-connected Partial k-trees 1999-12-13 Diogenes: A Web Search Agent for Content Based Indexing of Personal Images 2000-03-15 Fast Ray Tracing of Sequences by Ray History Evaluation 1997-01-17 Efficient Encoding Of Mel-GeneralizedCepstrum For Celp Coders 1998-05-09 Geometry of Oblique Projections 1999-06-19 Change Effects And Legacy Information Systems: A Framework To Aid Our Understanding 1998-10-29 Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation 1999-10-14 Christel Baier Banks as Liquidity Providers: An Explanation for the . . . 1999-04-06 Dynamic Optimization Of Bioprocesses: Deterministic And Stochastic Strategies 1998-10-21 Efficient Transaction Support for Dynamic Information Retrieval Systems 1997-09-12 Connection-Oriented Real-Time Communication For MissionCritical Applications - An Introduction to . . . 1999-11-07 Scheduling Reductions 1999-11-09 Control Speculation in Multithreaded Processors through Dynamic Loop Detection 1998-02-25 Breast Cancer Diagnosis and Prognosis 1999-12-02 Patrick Pantel Image Fusion Using Steerable Dyadic Wavelet Transform 1999-07-14 Integration of Mobile agents with SNMP: Why and How 1999-06-21 The Shrinkage Exponent Of De Morgan Formulae Is 2 1999-01-05 Johan Hastad Program Alternatives for Linguistically Diverse Students 1999-07-30 Cellular Neural Network Chips with Optical Image Acquisition 1999-01-19 Sound Change In Functional Phonology 1999-12-21 Paul Boersma Self-Similar Network Traffic: An Overview 2000-01-19 Minimizing the Maximum Heating of a Reentering Space Shuttle: An Optimal Control Problem with Multiple Control Constraints 1996-05-22 DSDAGENTS - A Java Framework For Developing Mobile Agent Systems 1998-11-16 Fine Spectra and Limit Laws II. First-Order 0--1 Laws 1999-11-30 The Throughput of Data Switches with and without Speedup 1999-12-05 Unknown 1999-07-26 Ajents: Towards an Environment for Parallel, Distributed and Mobile Java Applications 1999-06-04 Geodesic Active Contours and Level Sets for the Detection and Tracking of Moving Objects 1999-12-10 Local Online Learning of Coherent Information 1996-10-21 Ralf Der Bayes Optimal Hyperplanes ->Maximal Margin Hyperplanes 1999-04-14 Simon Tong Application of the TEA1099 1999-06-09 Distributed Belief Revision vs. Belief Revision in a Multi-Agent environment: first results of a simulation experiment 1999-11-16 The use of models as co-ordination mechanism in the Datamed project 2000-02-09 Hans Stol Kleisli, a Functional Query System 1999-07-02 Limsoon Wong Retrieval Through Explanation: An Abductive Inference Approach to Relevance Feedback 1999-11-17 I. Ruthven Randomization Helps to Perform Tasks on Processors Prone to Failures 1999-07-03 On Testing Monotonicity of Mean Residual Life from Randomly Censored Data 1999-06-10 Creating Semantic Representations of Diagrams 2000-01-24 Personalizing a Speech Synthesizer by Voice Adaptation 2000-02-08 New neighbours. I. 13 new companions to nearby M dwarfs 1998-12-10 Descriptor 2000-01-19 An Actor-based Architecture for Customizing and Controlling Agent Ensembles 2000-01-14 Nightly Scheduling of ESO's Very Large Telescope 1997-11-20 Progressive Audio Coding Extended Abstract 1970-01-01 Yao-Hua Tan 1997-03-21 Yao-hua Tan Aerodynamic Fast-Response Probe Measurement Systems: State of Development, Limitations and Future Trends 1997-09-25 A Search Strategy for Large Document Bases 1998-06-09 Dario Lucarella Impact Study: 1999-09-22 Explanation-Based Neural Network Learning for Robot Control 1999-08-21 Systolic Tree omega-Languages: The Operational and the Logical View 1999-04-16 Angelo Monti High Level, Multi-Agent Prototypes from a ScenarioPath Notation: A Feature-Interaction Example 1998-02-11 Direct Solvers for Sparse Systems 1999-11-11 Examination 1999-11-29 An Analysis of Some Common Scanning Techniques For Lossless Image Coding 1998-02-12 Homogeneous Twistor Spaces And Nilpotent Orbits 1998-08-03 Andrew Swann Hardware Techniques for Data Placement 1999-12-29 Wayne A. Wong Wavelet Radiance 1996-05-31 FDTD Simulations of TEM Horns and the Implications for Staircased Representations 1997-12-05 GalaII: Integrating the Construction of Boolean and Prototypical Features 1997-01-30 Analyse und Restrukturierung eines Verfahrens zur direkten Lösung von Optimal-Steuerungsproblemen The Theory of MUSCOD in a Nutshell 1997-02-17 Symmetry Decomposition of Chaotic Dynamics 1995-11-26 Bruno Eckhardt Query Processing in the ROL System 1999-10-06 Decidability of Code Properties 1999-12-10 Belief Revision through the Belief Function Formalism in a Multi-Agent Environment 1999-11-16 Challenges in Exploiting Architectural Models for Software Testing 1998-08-25 David S. Rosenblum The New Jersey Machine-Code Toolkit 1994-10-19 Use Of Different Microphone Array Configurations For Hands-Free Speech Recognition In Noisy And Reverberant Environment 2000-01-12 Semantic and Pragmatic Interpretation of Japanese Sentences with Dake Only 2000-01-15 Mixed Global Constraints and Inference in Hybrid CLPIP Solvers 1999-10-27 A High-Order Coupled Finite Element/Boundary Element Human Torso Model 1995-12-04 Andrew Pullan A Genetic Algorithm for the Topological Optimizationof Neural Networks 1995-04-20 CIES Discussion Paper 1999-12-07 Search Algorithms in the Situation Calculus 2000-01-18 Fangzhen Lin A Preliminary Short Report on the RoboCup-98 Adaptive Teamwork Evaluation 1999-07-07 Gal A. Kaminka Effort-limited Fair ELF Scheduling for Wireless Networks 1999-12-05 Mikael Bod'en 1999-07-05 Algorithm for the Edit Distance between Angular Type Histograms 1999-06-08 General-Purpose Microprocessor Performance For Dsp Applications 1999-02-02 Australia-Indonesia Relations: The Case of East Timor 1999-11-21 The Effect of Correlation in Diversity Systems with Rayleigh Fading, Shadowing, and Power Capture 1996-06-13 Bounds for the Range of a Bivariate Polynomial over a Triangle 1998-10-12 A High-performance Endsystem Architecture for Real-time CORBA 1997-05-13 Groupes De Galois De Polyn Omes En Degr ' E 8 1995-06-06 Characterization of a Plasmodium chabaudi gene encoding a protein with glutamate-rich tandem repeats 1999-01-21 Machine Learning and Knowledge Representation in the LaboUr Approach to User Modeling 1999-09-20 Maximizing The Probability Of A Perfect Hedge 1998-06-27 Unknown 1970-01-01 Protocol Implementation with Estelle - from Prototypes to Efficient Implementations 1998-09-02 J. Thees Academic 1999-11-07 Evolutionary Theorizing on Economic Growth 1997-11-26 Time Critical Lumigraph Rendering 1998-08-20 New Self-Similar Solutions of the Nonlinear Schrodinger Equation with Moving Mesh Computations 1999-01-05 Query Optimization for Semistructured Data 1999-02-23 Modeling and Verification of a Simple Real-Time Railroad Gate Controller 1994-11-02 William D. Young E. W. Greisen 1995-06-13 Historical Perspectives on the Computing Curriculum 1999-08-18 KICS: A Knowledge-Intensive Case-Based Reasoning System for Statutory Building Regulations and Case Histories 1970-01-01 Soon-ae Yangy Robertsony Gues And Queues 2000-04-20 Eurandom Eindhoven Computing Bounds onSteady State Availability of Repairable Computer Systems 1995-02-28 Explicit Speech Modeling for Distant-Talker Signal Acquisition 2000-03-03 Michael S. Brandstein On the Stability of Finite Element Methods for Shock Waves 1997-07-15 Anders Szepessy A Method of Non-rigid Correspondence for Automatic Landmark Identification 1999-10-30 Developing A Physical Emulator For A Flexible Manufacturing System 1999-04-21 On The Efficient Implementation Of The Capon Spectral Estimator 2000-05-03 Detection Technology for IVHS Volume I: Final Report 2000-03-27 Knowledge Discovery in Databases: Rough Set Approach 1999-11-04 The ROL Deductive Object Base Language Extended Abstract 1997-06-12 The Virtual Remote Control - An Extensible, Virtual Reality, User Interface Device 1999-11-11 Loop Spaces Of 1999-08-18 Yusuke Kawamoto Overload Control for Distributed Call Processors Using Neural Networks 1999-06-16 Dynamically Managing Processor Temperature and Power 1999-11-04 Application of Center Manifold Theory to Regulation of a Flexible Beam 1996-05-29 The Impact of High Performance Computing in the Solution of Linear Systems: Trends and Problems 1970-01-01 Iain S. Duff Ground-Based Photometric Detection Of Extrasolar Planets 1998-11-13 Process Planning Using An Integrated Expert System And Neural Network Approach 1999-08-04 Generalized Update: Belief Change in Dynamic Settings 1995-04-21 Craig Boutilier Point Set Labeling with Sliding Labels 1998-03-11 Computational Methods for Hybrid Systems 1999-08-28 Sven Hedlund Dynamic Linking Of ArcView, XGobi and XploRe for Multivariate Spatial Data: Linked Brushing for Points, Polygons, and Lines 2000-01-17 Complete Poincaré Sections and Tangent Sets 1997-01-15 A Blocked Incomplete Cholesky Preconditioner For Hierarchical-Memory Computers 1999-12-28 Stability Estimates for the Identification of Nonlinear Heat Transfer Laws 1998-02-04 Arnd Rosch Credit Derivatives in Banking: Useful Tools for Managing Risk? 1999-12-07 Recompilation 1992-10-16 Hot Spot Conditions During Multi-Bubble Cavitation 1999-02-12 Snake Implementation in the UK IUE Project 1999-07-03 Lindley-Type Equations in the Branching Random Walk 1998-02-04 J. D. Biggins Mapping Of Discrete Spectral Data In Nonrelativistic Quantum Mechanics 1996-10-10 On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases 1999-12-18 Wavelet Estimation of a Local Long Memory Parameter 2000-06-05 Using Coreference Chains for Text Summarization 1999-10-22 A Model for Transactional Workflows 2000-03-13 Technische Universitat Chemnitz-Zwickau 1998-12-09 Gerhard Globisch A CMOS Low-Voltage, High-Gain Op-Amp 1997-04-24 Interactive Visualization Of Numerical Solutions For Optimal Control Problems 2000-02-03 On Variational Formulations for Steady Water Waves 1995-06-02 Happy Patrons Make Better Tippers - Creating a Robot Waiter Using Perseus and the Animate Agent Architecture 1999-10-06 Stochastic Optimal Experiment Design 1998-11-29 David S. Bayard Type--safe Linkage for Variables and Functions 1994-04-08 Diomidis Spinellis Improving Virtual Function Call Target Prediction via Dependence-Based Pre-Computation 1999-06-30 Comparison of Three Algorithms for Nonlinear Metal Cutting Problems 1999-10-07 Boxlets: aFast Convolution Algorithm for Signal Processing and Neural Networks 2000-06-14 A Handheld Computer as an Interaction Device to a Virtual Environment 1999-04-13 Generalized Guaranteed Rate Scheduling Algorithms: A Framework 1999-01-22 Histogram Clustering for Unsupervised Segmentation and Image Retrieval 1999-06-04 A Unified Formalization of Four Shared-Memory Models 1995-03-24 Stabilizing the Hierarchical Basis by Approximate Wavelets II: Implementation and Numerical Results 1970-01-01 On the Structure of Cellular Algebras 1998-11-12 A Framework for Parallel Adaptive Grid Simulations 1997-08-15 Large Margin Classifier via Semiparametric Inference 1999-12-20 New wavelength determinations of mid-infrared fine structure lines by ISO-SWS 1997-11-17 Counter-Examples to Quantifier Elimination for Fewnomial and Exponential Expressions 2000-04-04 Andrei Gabrielov X-33 Aerodynamics and Aeroheating Computations for Wind Tunnel . . . 1999-09-08 Dimension-Independent Convex-Cell Based HPC: Representation Scheme and Implementation Issues 1995-09-14 Effects of Gamma-interferon on Keratocyte-induced Collagen Gel Contraction and Keratocyte Proliferation 1998-08-10 Implementation and Performance of MidART 1998-04-07 Optimal L p estimates for the solutions of elliptic equations in bounded domains 1998-06-08 T. Hill Empirical Modelling for Educational Technology 1999-05-10 W. M. Beynon A. Background 1998-08-20 Health Care Exponential Bounds and Hyperbolicity of Evolution Families 1997-09-26