A Review of Mathematica 1995-09-15 Richard J. Fateman Adaptively Growing Hierarchical Mixtures of Experts 1997-10-30 Numerical Solution of Optimal Control Problems Governed by the Compressible Navier-Stokes Equations 2000-11-10 Aiaa 97-2763 1999-01-23 Thruster Options for A Review and Evaluation of Existing Hardware and Emerging Technologies 1999-01-21 The Secure File System Under Windows NT 2000-12-19 A Learning Machine That Evolves 2000-04-20 Temporal Variation of the Processes and Interactions Among the Earth's Subsystems 1999-01-27 A Probabilistic Estimator for the Vertex Deletion Problem 1997-10-07 Approximating Local Averages of Fluid Velocities: The Stokes Problem 2000-12-22 Constraint-Based Sensor Planning for Scene Modeling 2000-12-13 Partitioning Algorithms and Their Application to Massively Parallel Computations of Multi-Phase Fluid Flows in Porous Media 2000-12-15 Theory of Media Objects for Internet Services 2000-09-26 HOMEBOTS: Intelligent Decentralized Services for Energy Management 1998-02-18 External Memory Algorithms and Data Structures 1999-04-22 Jeffrey Scott Vitter Memory-Based Learning for Article Generation 2000-09-27 Optimising a Neural Tree Classifier Using a Genetic Algorithm 2000-05-24 Fully Dynamic Planarity Testing with Applications 1999-04-16 Self-Organizing Maps and . . . 2000-10-15 Nonabelian Cohomology Of Abelian Anosov Actions 1999-12-06 Robot navigation in the real world: Experiments with Manchester's FortyTwo in unmodified, large environments 2000-11-17 Linear Maps Preserving Permutation and Stochastic Matrices 2000-09-02 Theoretical Manual for Pile Foundations 2000-12-19 A Note on the Robust 1-Center Problem on Trees 2000-12-18 Guidelines for experiments on the POLYCOST database 1997-01-16 Compact labeling schemes for ancestor queries Extended Abstract 2000-10-25 The Design and Performance Evaluation of Alternative XML Storage Strategies 2000-02-29 Géométrie du Parallélisme 1996-12-21 Wideband Channel Measurement And Characterisation For Wireless Local Loops 1999-02-22 Select Z Bibliography 1992-08-25 Jonathan Bowen Knowledge Fusion in the Large - taking a cue from the brain 1999-07-30 Equipartitions of Graphs 2000-12-24 Chapter on Distributed Computing 2000-06-27 Developing And Implementing Planning Heuristics In Prolog 2000-07-26 Modelling Pinchoff and Reconnection in a Hele-Shaw Cell II: Analysis and Simulation in the Nonlinear Regime 2000-05-04 Implementing Fril++ for Uncertain Object-Oriented Logic Programming 2000-04-07 Duality And Its Consequences For Ordered Cohomology Of Finite Type Subshifts 2001-01-16 Global Nested Transaction Management for ODMG-Compliant Multi-Database Systems 2000-08-01 A Fixed Rule Number Fuzzy Controller With An Adaptive Degree Of Similarity 1999-12-22 Parallel Adaptively Refined Sparse Grids 2000-07-20 Gerhard Zumbusch Tolerance of Temporal Delay in Virtual Environments 2000-12-15 Timing Attacks on Web Privacy 2000-12-14 DRIVEN AND FREELY-DECAYING NONLINEAR SHAPE OSCILLATIONS OF DROPS AND BUBBLES IMMERSED IN A LIQUID: EXPERIMENTAL RESULTS and Jet Propulsion Laboratory 1999-01-23 Polynomial Values, The Linking Form And Unknotting Numbers 2000-11-19 A. Stoimenow Object Discovery from Design Abstraction of Legacy Systems 2000-08-02 A Computational Model of Cerebellar Learning for Limb Control 1997-07-25 Random Sets Unify, Explain, And Aid Known Uncertainty Methods In Expert Systems 2000-11-05 Vladik Kreinovich Hungarian Sentence Intonation 1998-11-04 Norval Smith eds Information Integration: Conceptual Modeling and Reasoning Support 1998-08-04 Extensions and Explorations of the Elastic Arms Algorithm 1993-08-30 Mattias Ohlsson On Spatial Adaptivity and Interpolation When Using the Method of Lines 1999-02-24 VMMC-2: Efficient Support for Reliable, Connection-Oriented Communication 1997-09-09 ILUs and Factorized Approximate Inverses are Strongly Related. Part I: Overview of Results 2000-03-22 Discrete Constant Mean Curvature Surfaces And Their Index 2000-12-12 Konrad Polthier Hecke Module Structure of Quaternions 1999-05-12 David R. Kohel Boosting Applied to Tagging and PP Attachment 1999-05-25 Adaptation Techniques for Intrusion Detection and Intrusion Response Systems 2000-07-12 February 10, 1999 14:37 WSPC/147-MPLB 0117 2000-11-14 M. Andrecut Stereo Disparity from Local Image Phase 1999-06-02 Jesse Hoey Constructive Transparent Radial Basis Function Network Learning for Non-linear Control 1999-12-22 SMURF - a SMart sURFace model for advanced visualization techniques 1999-01-11 Software Chroma Keying in an Immersive Virtual Environment 2000-11-21 V. Lalioti Smooth Macro-Elements Based on Powell-Sabin Triangle Splits 2000-11-29 Search for Neutral Higgs Bosons of the Minimal Supersymmetric Standard Model in e 2000-12-13 Implementation of a Biologically Realistic Parallel Neocortical-Neural Network Simulator 2000-12-02 Automatic Definition of Sub neural networks 1994-10-22 Exit Time approach for Lagrangian and Eulerian Turbulence 1999-07-28 Giving Experts Ownership and Control over their Knowledge 2000-11-21 Design and Scalability of NLS, a Scalable Naming and Location Service 2000-11-23 Determining Significant Fold Differences In Gene Expression Analysis 2000-10-13 Global Optimization Of Energy And Production In Basic Industries: A Genetic Algorithm Application 1999-12-22 Amncio C. Santos Fuzzy Modeling of Client Preference in Data-Rich Marketing Environments 2000-11-13 Differential Hebbian-type Learning Algorithms for Decorrelation and Independent Component Analysis 2001-01-15 Seungjin Choi Specialist Conference 1999-01-24 Carl G. Spectral Analysis Of Fokker-Planck And Related Operators Arising From Linear Stochastic Differential Equations 2000-07-07 A Top-10 Approach to Prefetching on the Web 2000-06-09 Design Quality and Robustness with Neural Networks 2000-01-03 Average H_2 Performance and Maximal Parameter Perturbation Radius for Uncertain Systems 1970-01-01 A Bayesian Weighting Principle for the Fundamental Matrix Estimation 2000-12-05 A Model for the Collaborative Design of Multi Point of View Terminological Knowledge Bases 1999-07-23 Variability And The Instrumental Temperature Record 1999-01-26 Verifiable Encryption and Applications to Group Signatures and Signature Sharing 1999-01-12 Ivan B. Damg Ard A Class of Stochastic Programs with Decision Dependent Random Elements 1997-08-06 Quantum-Chemical Analysis of C-H...O and C-H...N Interactions in RNA Base Pairs - H-Bond Versus Anti-H-Bond Pattern 2000-11-08 IMPLEMENTATION OF SUBSET LOGIC PROGRAMS Bharat Jayaraman Kyonghee Moon 1995-03-24 Binding-time Analysis: 1994-08-10 Eigenvalue Optimization 1997-10-20 Localization of Macroscopic Object Induced by the Factorization of Internal Adiabatic Motion 1970-01-01 Qualitative and Quantitative Car Tracking from a Range Image Sequence 1999-05-04 Scheduling Customers in a Non-Removal Real-Time System with an Application to Disk Scheduling 1995-11-29 Porting Interactive Applications to the Web 2000-07-07 Brian R. Gaines Intuitive, Localized Analysis of Shape Variability 2000-11-08 Towards Personal Service Robots for the Elderly 2000-09-12 Queueing Network Models in the Design and Analysis of Semiconductor Wafer Fabs 2000-12-19 An Adaptive Metric Machine for Pattern Classification 2001-01-01 Infinite lambda-calculus and Types 2000-05-29 On-Line Algorithms for Networks of Temporal Constraints 1997-10-14 Fabio Iacobini SIFT, a Hybrid Retrieval Engine for Providing Help from Technical Computer Manuals. 1999-11-19 Supporting Compositional Reuse in Component-Based Web Engineering 1999-11-12 Optimal Design for the Evolution of Composite Mappings 2000-11-28 Hideaki Suzuki New YorkJourn of Mathematics 2000-10-04 BENCHMARK CALCULATIONS OF POWER DISTRIBUTION WITHIN FUEL ASSEMBLIES Phase II : Comparison of Data Reduction and Power Reconstruction Methods in Production Codes 2000-12-05 Logic Programming Updating - a guided tour 2001-01-03 Lus Moniz Pereira acta physica slovaca vol. 48 No. 3, 207 -- 220 June 1998 GENERATING AND MONITORING SCHR ODINGER CATS IN CONDITIONAL MEASUREMENT ON A BEAM SPLITTER 1998-07-15 Derandomizing Arthur-Merlin Games using Hitting Sets 1999-08-13 Worst-case Equilibria 1998-12-07 Elias Koutsoupias On Matrix Characterizations for Propositional Substructural Logics 2000-10-25 Network Management and Control Using Collaborative On-line Simulation 2000-11-19 Universal Mosaicing using Pipe Projection 2000-03-02 PSET: A Page Segmentation Evaluation Toolkit 2000-11-06 A Simple Proof Technique for Certain Parametricity Results 1999-06-19 Karl Crary Simulation of the ZEUS calorimeter 1995-02-02 Yoshihisa Iga "I Said Two Ti-Ckets": How To Talk To A Deaf Wizard 1999-09-23 Release Notes 2000-12-07 Gaas Mmics For Automotive Radar Applications 1998-11-26 Broadband Direction-Of-Arrival Estimation Based On Second Order Statistics 2000-02-21 A Low-Exponential Algorithm for Counting Vertex Covers 2000-06-10 Robustness of Boundary Feedback Controls for a Flexible Beam with Respect to Perturbation 2000-03-27 Wei-jiu Liu Bureaucracy 2000-02-03 Dirk Riehle On Iterative Methods for Solving Ill-Posed Problems Modeled By Partial Diferential Equations 1999-08-26 On the Inclusion Problem for Very Simple Deterministic Pushdown Automata 1999-10-21 Optimization Problems with Approximation Schemes 2000-12-12 Query Optimization in Kess -- An Ontology-Based KBMS 2001-01-10 Experimental Analysis of Dynamic Algorithms for the Single Source Shortest Path Problem 1998-04-21 Black-Scholes formula without stochastic assumptions 2000-05-26 Volodya Vovk A New Method to Determine the Queue Length Distribution at an ATM Multiplexer 1999-09-15 The 101 Translation Problems between Japanese and German/English 1999-04-23 The Role of Games in Understanding Computational Intelligence 1999-12-02 Balanced 0,±1 Matrices Part I: Decomposition 2000-09-20 Full Form Auxiliaries in Serbian/Croatian/Bosnian 2000-01-24 Andrew Caink Multifractal Analysis of Hyperbolic Flows 2000-04-18 L. Barreira A Finite-State Parser with Dependency Structure Output 1999-09-28 Ubiquitous Web Information Agents 2000-05-30 Motion Estimation using Central Panoramic Cameras 1998-11-26 Vaclav Hlavac Surface Splines * 1970-01-01 J Org Peters Fast Subsequence Matching in Time-Series Databases 2000-05-08 Text Categorization Using Weight Adjusted k-Nearest Neighbor Classification 2000-10-13 Vipin Kumar Production And Energy Optimization In An Industrial Complex: A Genetic Algorithm Approach 1999-12-22 Simulation, State Estimation and Control of Nonlinear Superheater Attemporator using Neural Networks 1970-01-01 Simultaneous Measurement of Impulse Response and Distortion With a Swept-Sine Technique 2000-10-08 Angelo Farina Site Model Construction for the Exploitation of E-O and SAR Images 1996-12-20 Recognizing Structure in Web Pages using Similarity Queries 2000-09-08 William W. Cohen On the Strength of Comparisons in Property Testing 2000-11-08 Eldar Fischer Holographic Recurrent Networks 2000-07-13 Tony A. Plate Learning the Structure of Dynamic Probabilistic Networks 1999-02-11 Multimedia Data Mining MDM/KDD'2000 2000-07-28 Edited Simeon Scaling Up: Distributed Machine Learning with Cooperation 1999-12-10 Unknown 1999-05-05 ICA For Noisy Neurobiological Data 2000-04-20 Even Faster Point Set Pattern Matching in 3-D 2001-01-11 Robert Haralick Local Maaß- Lifts 1970-01-01 Scamp: A Submarine-Mounted Geophysical Survey System For Use Under The Arctic Ice 1999-08-09 A Large-scale Distributed Intrusion Detection Framework Based on Attack Strategy Analysis 2000-06-26 Monte Carlo evaluation of the transport coefficients in a n + - n - n + silicone diode 2000-10-02 Orazio Muscato Feedback Linearization of nonlinear distortion in Electrodynamic Loudspeakers 1998-09-11 Domain-Independent Queries on Databases with External Functions 2000-10-30 Dan Suciu Static and Dynamic Stabilizing Neural Controllers, Applicable to Transition Between Equilibrium Points 1998-09-11 Schwarz-Christoffel Mapping in the Computer Era 1999-09-20 Implementing Groundness Analysis with Definite Boolean Functions 1999-12-21 Adaptive Blind Channel Estimation by Least Squares Smoothing 1999-12-02 Panel: Is Generic Metadata Management Feasible? 2000-06-06 Philip A. Bernstein Unknown 1995-02-06 Elliptic Curve Factorization Using a "Partially Oblivious" Function. 2000-08-02 Exploiting System Structure in Model-Based Diagnosis of Discrete-Event Systems 1970-01-01 Probabilistic Reasoning Using Incomplete and Singular or Unique Evidence: Complexity-Based Reasoning Innovation for Commanders 2000-09-14 Carl W. Hunt Developing Parallel Finite Element Software Using MPI 1999-04-14 Randomized Multi-Packet Routing on Meshes 1997-01-15 Approximation Of Matrix-Valued Functions 1997-08-06 Roy Mathias Holographic Reduced Representations: Convolution Algebra for Compositional Distributed Representations 2000-07-13 Tony Plate Basic Problems in Stability and Design of Switched Systems 2000-08-22 Why did earnings inequality increase in Ireland: 1987-1994? 1998-06-19 Managing Design Complexity to Improve on Cost, Quality, Variety, and Time-to-Market Performance Variables 1998-03-05 Spyros Vassilakis Atoms With Bosonic "electrons" in Strong Magnetic Fields 1970-01-01 Search Reduction in Hierarchical Problem Solving 2000-09-28 Craig A. Knoblock Discrete-Time Rigidity-Constrained Optical Flow 2000-12-13 Pricing and Power Control in a Multicell Wireless Data Network 2000-12-20 Spatially Adaptive Splines for Statistical Linear Inverse Problems 2001-01-03 Sheffield University CLEF 2000 Submission - Bilingual Track: German to English 2000-11-29 RTP Profile for Audio and Video Conferences with Minimal Control 1996-06-17 Internet-draft H. Schulzrinne Incremental Mature Garbage Collection Using the Train Algorithm 1995-03-31 Admissibility of Fixpoint Induction over Partial Types 1998-10-06 Karl Crary Adaptive Multilevel Methods For Edge Element Discretizations Of Maxwell's Equations 1999-01-04 Equivalence and Normal Forms for the Restricted and Bounded Fixpoint in the Nested Algebra 2000-10-30 A Generic Multicast Transport Service to Support Disconnected Operation 2000-02-03 Disco: An Object-Oriented System for Music Composition and Sound Design 2000-06-29 Finding the Embedding Dimension and Variable Dependences in Time Series 2000-12-12 Hong Pi Demand-based Coscheduling of Parallel Jobs on Multiprogrammed Multiprocessors 1997-07-14 Patrick Gregory Sobalvarro Online Adaptive Reinitialization of the Constant Modulus Algorithm 2000-07-18 Transforming Examples into Patterns for Information Extraction 1998-12-01 Designing Computer Systems with MEMS-based Storage 2000-09-18 Agents for Information Gathering 2000-11-29 A Scalable Cross-Platform Infrastructure for Application Performance Tuning Using Hardware Counters 2000-12-05 Evaluation of Methods for Multidisciplinary Design Optimization MDO, Part II 2000-11-28 Some Concepts Wave-Particle Interactions In Collis1onless Plasmas 1999-01-23 Bruce T Imaging Requirements for the ALMA 2000-12-13 M. A. Holdaway An Algebra for XML Query 2000-11-21 An Experimental Hybrid User Interface for Collaboration 2000-01-13 Fast Numerical Integration of Relaxation Oscillator Networks Based on Singular Limit Solutions 2000-11-21 Akaroa 2.5 User's Manual 1999-11-24 Multi-Color Discrepancies 2000-12-28 Towards a Stability Theory of General Hybrid Dynamical Systems 1999-02-04 Anthony N. Michel On General Disjunctive Logic Programs 2000-07-07 Locales: A Sectioning Concept for Isabelle 2000-03-20 The Initial State and `Richness of the Base' in Optimality Theory 2000-08-03 Paul Smolensky A Logic Programming Approach to Conflict Resolution in Policy Management 2000-08-07 Falsification Of Matching Theory's Account Of Single-Alternative Responding: Herrnstein's 2000-08-17 Decoding Temporal Information: A Model Based on Short-Term Synaptic Plasticity 2000-11-11 Dean V. Buonomano Periodic Merging Networks 1996-09-12 A Survey of Virtual Topology Design Algorithms for Wavelength Routed Optical Networks 1999-08-06 Hardware-Sensitive Optimization for Intensity Modulated Radiotherapy 2000-01-26 Timing Analysis for Instruction Caches 1999-09-13 The Noh Mask Effect: Culture and View Dependent Facial Expression Perception 2000-09-05 Extending Prolog with Constraint Arithmetic on Real Intervals 1996-12-10 Synthesizing Conversational Intonation from a Linguistically Rich Input 1995-05-11 Approximate Nearest Neighbor Searching in Multimedia Databases 2000-12-19 The Expected Extremes In A Delaunay Triangulation 2000-12-24 Ca 109, 1-818-354-0492, 1999-01-21 On Comparing the Number of Preemptions under Earliest Deadline and Rate Monotonic Scheduling Algorithms 1994-02-26 Immediate-Head Parsing for Language Models 2000-12-20 Eugene Charniak The CLS Bank: A Solution to the Risks of International Payments Settlement 2000-11-07 Weighted Automata in Text and Speech Processing 1996-06-06 Extending Greedy Multicast Routing to Delay Sensitive Applications 1999-08-05 Green's Functions For Multiply Connected Domains Via Conformal Mapping 2000-02-13 Quantum Chemical Characterization of Cycloaddition Reactions Between 1,3-Butadiene and Oxyallyl Cations of Varying Electrophilicity+ 2000-04-03 Towards Automatic Extraction and Modeling of Objects from Image Sequences 2000-09-21 Bernt Schiele Ultraspherical Gauss-Kronrod Quadrature is not possible for lambda>3 2000-10-16 Reliable FIFO Load Balancing over Multiple FIFO Channels 1999-10-16 Spatial Aggregation: Theory and Applications 1996-08-14 Acknowledgments 1998-05-22 Secondary Hopf bifurcation caused by steady-state steady-state mode interaction 1970-01-01 Karin Gatermann Applying LSTM to Time Series Predictable Through Time-Window Approaches 2000-12-01 Special Issue on Data Cleaning 2000-12-18 Omar Khayyam, RenéDescartes and Solutions to Algebraic Equations 2000-12-15 K. V. Mardia Towards Intelligent Information Retrieval For Genome Databases 2000-03-21 Freddy Choi A Study of Diabetic Patient Care 2000-12-07 Tim Kindberg Extracting Schema from Semistructured Data 1998-10-15 Extremal Polygon Containment Problems 2000-12-07 Monotone Simulations of Nonmonotone Proofs 2000-12-19 Variable-Dilation Embeddings of Hypercubes into Star Graphs: Performance Metrics, Mapping Functions, and Routing 1996-07-10 Institut fur Mathematik, Medizinische Universitat Lubeck, D-23560 Lubeck, Germany 1998-07-22 Computationalism 1996-02-16 Stuart C. Shapiro The Cave-Wp4 Generic Speaker Verification System 2000-02-03 Satellite Tele-Communications Scheduling As Dynamic Constraint Satisfaction 2000-04-19 Some Mathematical Aspects of Information Technology: Fixed Points and the Formal Semantics of Programming Languages 1997-12-19 Anthony Karel Seda Context-Based Prefetch for Implementing Objects on Relations 2000-07-28 The Profile of Binary Search Trees 2000-08-04 Reasoning about Complex Actions with Incomplete Knowledge: a Modal Approach 2000-10-30 Electronic Structure Calculations In Plane-Wave Codes Without Diagonalization 1999-01-31 A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra 2000-10-06 Grigore Rosu The Saturation Level in Binary Search Tree 2000-08-01 Michael Drmota Learning Policies for Local Instruction Scheduling 1997-11-10 Moving in Tandem: Automated Person Racing for . . . 2000-02-16 David P. Miller Mpi-Hpf Communication Techniques 2000-11-30 Solving Projective Complete Intersection Faster 1970-01-01 Connection matrix for Morse decompositions 2000-12-08 Maciej J. Capi'nski Model-Based Reinforcement Learning with an Approximate, Learned Model 1997-08-13 Leonid Kuvayev CS 221, Autumn 2000 Problem Set 4 --- Programming Part, Neural nets 2000-11-19 Risk Neutral Forecasting 1999-01-18 Ground Reducibility is EXPTIME-complete 1998-10-15 Discrete Mathematics and Physics on the Planck-Scale 1997-04-26 Manfred Requardt Discovery of Interesting Usage Patterns from Web Data 2000-06-30 On-line EM reinforcement learning 2000-12-20 Building a Stationary Stochastic Process from a Finite-dimensional Marginal 2000-10-02 Marcus Pivato Efficient Crawling Through URL Ordering 2000-06-09 Adding Axioms to Cardelli-Wegner Subtyping 1995-02-13 A J H Simons An Abductive Proof Procedure for Reasoning about Actions in Modal Logic P r o g r a m m i n g 1999-07-13 The Internal Consistency of the ISO/IEC 15504 Software Process Capability Scale 1999-11-10 Khaled El Emam Building Probabilistic Networks: Where Do the Numbers Come From? --- a Guide to the Literature 2000-08-10 Default Reasoning Using Classical Logic 2000-05-15 A Robust Point Matching Algorithm for Autoradiograph Alignment 1999-04-21 Temporally Coherent Conservative Visibility 2000-12-12 Decentralized Air Traffic Management Systems: Performance And Fault Tolerance 1970-01-01 Synchronous Inhibition as a Mechanism for Unbiased Selective Gain Control 2000-12-06 What Metric Stereo Can Do for Visual Servoing 2000-06-29 Actalk: a Platform to Model Actor Languages in Smalltalk-80 2000-12-27 A Stochastic Clearing Model with a Brownian and a Compound Poisson Component 2000-12-21 David Perry Algebraic Rewritings for Optimizing Regular Path Queries 2000-12-19 Inference through Alternative-Set Semantics 2000-11-28 Gann Bierner Improved Routing and Sorting on Multibutterflies 2000-12-20 Hierarchical Memory-Based Reinforcement Learning 2001-01-03 Algorithmic Stability and Generalization Performance 2000-12-08 Performance Evaluations and Chip-Space Requirements of a Multithreaded Java Microcontroller 2000-12-21 The Monadic Theory of Morphic Infinite Words and Generalizations 2000-12-07 Wolfgang Thomas Chisini's Conjecture For Curves With Singularities Of Type 1970-01-01 Robust Membership Management for Ad-hoc Groups 2000-10-27 A Learning Methodology for Robotic Manipulation of Deformable Objects 2000-12-14 Compiler-Directed Dynamic Frequency and Voltage Scheduling 2000-12-19 Are There Swedish Patterns Of Communication? 2000-11-28 Jens Allwood Exact Results for 1D Conserved Order Parameter Model Vladimir Privman 1997-04-26 Vladimir Privman Comments on "Solution of the System of Linear Algebraic Equations by Decreasing Dimension" 2000-12-23 Jun Zhang Nonlinear Waves and the KAM Theorem: Nonlinear Degeneracies * 1997-04-26 Compiler-Directed Dynamic Frequency and Voltage Scheduling 2000-12-19 An Experimental Study of Performance and Fault-Tolerance of a Hybrid Free-Flight Control Scheme 1970-01-01 Antonio Bicchi A New Approach For Symbol Frame Synchronization And Carrier Frequency Estimation In OFDM Communications 1999-01-11 Flexible and Scalable Query Planning in Distributed and Heterogeneous Environments 2000-09-28 A Bibliography of The ACM Journal of Computer Documentation 2000-12-06 Nelson H. F. Beebe The Frequency Dependence of Spike Timing Reliability in Cortical Pyramidal Cells and Interneurons. 2000-12-13 A Processing Framework For Object Comprehensions 1999-01-20 IntelligentCaching: Selecting, Representing, and Reusing Data in an Information Server 2000-11-29 Some Properties of Variable Length Packet Shapers 2000-11-02 Jean-yves Le Boudec An Iterative Solution to the Finite-Time Linear Quadratic Optimal Feedback Control Problem 1995-03-23 Impact of OpenMP Optimizations for the MGCG Method 2000-07-28 Object-Oriented Design of a Generic Scheduler 2000-12-27 Jean-pierre Briot Evidence of separator reconnection in a survey of X-ray bright points 2000-12-04 Parametric Search for Geometric Optimization 2000-12-18 Shripad Thite Biometric Authentication Systems 2000-11-21 Strassen's Algorithm Made Somewhat More Natural: A Pedagogical Remark 2000-12-27 Steerable Pyramid Filters For Selective Image Enhancement Applications 2000-08-25 A Model of Location Transparency Katrina E.K. Falkner 2000-11-29 Katrina E. K. Falkner Mother : A New Generation Of Talking Heads Providing A Flexible Articulatory Control For Video-Realistic Speech Animation 2000-09-15 Modlisation raliste partir de photographies: recherches et application la modlisation d'un plan-relief du Mont St-Michel 1998-05-05 Microeconomic Perspectives on Aggregate Labor Markets 1998-10-08 Linear transformation of Hidden Markov Models based on linear regression 1994-08-22 Hkan Melin An Indexed Bibliography of Genetic Algorithms and the Traveling Salesman Problem 2000-12-12 Jarmo T. Alander Optimal Brain Damage 2000-04-17 On The Girth Of Groups 2001-01-03 Saul Schleimer Attractor Dynamics in Feedforward Neural Networks 1999-06-27 Principles of Systems and Cybernetics: an evolutionary perspective 2000-12-20 Francis Heylighen On Discrete Symmetries of Differential Equations 1997-04-26 Miguel A. Rodr'iguez Using Requirements Engineering to Derive a Formal Specification 1970-01-01 Selection of Reference Images for Image-Based Representation 2000-12-15 Hierarchical Spatial Reasoning Applied To The Automated Design Of Administrative Boundaries Using GIS 2000-12-27 Parallel Mesh Partitioning on Distributed Memory Systems 1999-11-30 Cognitive Dimensions and Musical Notation Systems 2000-10-04 Development and Verification of Parallel Algorithms in the Data Field Model 2000-12-12 Bjorn Lisper MPI-FM: High Performance MPI on Workstation Clusters 1997-07-03 Simulating Expertise 2000-12-05 P. Compton On the Assessment of Multiobjective Approaches to the Adaptive Distributed Database Management Problem 2000-11-13 Quenched Asymptotics For Survival Probabilities In The Random Saturation Process 1999-07-19 Applications of Distortion-Oriented Presentation Techniques in GIS 1999-11-24 Neville Churcher Communication and Organization in Software Development: An Empirical Study 2000-11-28 General Secure Multi-Party Computation from any Linear Secret-Sharing Scheme 2000-07-26 Sequent Automaton - A Model For Logical Control 2000-10-17 Refining the Barendregt Cube using Parameters 2000-12-17 Programming Language and Run-time System for Dynamic Networks of Hybrid Automata 2000-07-19 Programming within VR 1995-07-06 C. M. Holt Results of the Security in ActiveX Workshop Pittsburgh, Pennsylvania USA August 22-23, 2000 2001-01-03 The Computational Theory of Neural Networks 2000-12-21 Layout Construction: A Case Study In Algorithm Engineering 1996-08-02 Multiprocessors and Computational Grids 2000-11-21 Stephen J. Wright Real Time Pipelined System Design Through Simulated Annealing 2000-01-26 M. Coli Efficient Annotated Terms 2000-12-19 Parametric Dispatching of Hard Real-Time Tasks 1998-11-09 Coupled Analytic Maps 1997-04-26 A. Kupiainen Automated Planning for Open Architectures 2000-12-12 Quantum Intrinsically Degenerate and Classical Secular Perturbation Theory 1997-04-26 On Integrability of Infinitesimal Actions 2000-11-23 Approximation Schemes for Minimum Latency Problems 2000-11-20 RTP: A Transport Protocol for Real-Time Applications 1996-06-17 A Process Model for Requirements Elicitation 2000-11-21 Debbie Richards . Integration 2000-12-05 Service Level Agreements based on Business Process Modeling 2000-12-08 Holger Schmidt Wim Pijls 1970-01-01 Wim Pijls Heterogeneity and Stability: Variations on Scarf's Processes 1999-01-12 Within-Speaker Variability Due to Speaking Manners 1999-01-21 Unknown 2001-01-04 Leo Breiman A kappa-denotational semantics for Map Theory in ZFC + SI 2000-11-23 Bluetooth: A Technical Overview 2000-12-20 Electron Cloud at the CERN Muon Storage Ring 2000-12-18 F. Zimmermann Comparison of methods for image analysis on cDNA microarray data 2000-11-29 Detection of a Low Mass Companion Orbiting the Star AB 1999-01-21 @$5*$O@8L?2J3X$N@$5*$K$J$k$H$$$o$l$F$$$k!1980 2000-12-20 A Dynamical Implementation of Self-organizing Maps 2000-11-27 On Creating Adaptive Web Servers Using Weblog Mining 2000-11-27 Characterizing Sufficient Expertise for Learning Systems Validation 2000-10-25 Security Types for Mobile Safe Ambients 2000-09-27 Symmetric Parsec-scale OH Structures 220 1999-01-23 Available Stabilizing Heaps 2000-12-01 Model-Based Reinforcement Learning 1997-01-24 Select Z Bibliography 1970-01-01 Jonathan P. Bowen Dynamic Niche Clustering: A Fuzzy Variable Radius Niching Technique for Multimodal Optimisation in GAs 2000-12-19 The 1990s in Japan: A Lost Decade 2001-01-05 Algorithmic Theories Of Everything 2000-11-30 Jurgen Schmidhuber Self-certifying File System 2000-12-19 Frans Kaashoek Non-Commutative Nullnorms 2000-11-20 Nonlinear Optimal Control of a Hydraulically Actuated Positioning System 1997-03-14 Using Neural Networks for Branch Prediction 1996-05-30 Leonid Kuvayev Extending Transaction Management To Capture More Consistency With Better Performance 1996-06-05 Gerhard Weikum Error Detecting Refreshment for Embedded DRAMs 1999-02-12 Average Distance and Routing Algorithms in the Star-Connected Cycles Interconnection Network 1996-11-12 Stereo Perception and Dead Reckoning for a Prototype Lunar Rover 2000-12-18 Digital Libraries - Classification and Visualization Techniques 2000-12-28 Applying Social-Technical Approach For Cots Selection 2000-02-11 Using a Bootstrap Method to Choose the Sample Fraction in Tail Index Estimation 2000-06-10 Analysis of Mixer Port Crosstalk Using Microwave Matching Measurements 2000-09-01 Sren Laursen Microwave Transmission Technique for Accurate Impedance Characterization of Superconductive Mixers 1999-01-21 A User-Centered Design Approach to . . . 2001-01-02 Curvelets, Multiresolution Representation, and Scaling Laws 2000-10-15 Analysis of a Fast Hankel Eigenvalue Algorithm 1999-07-29 Franklin T. Luk IMPLEMENTATION OF OPERATORS VIA FILTER BANKS; Hardy Wavelets and Autocorrelation Shell 1995-10-13 G. Beylkin Fine Grained Multithreading with Process Calculi 2000-12-11 On the Strength of Incremental Learning 2000-10-25 Steffen Lange Polynomial approximation algorithms for the TSP and the QAP with a factorial domination number 1999-10-01 Observations of the core of the Pleiades with the Chandra X-ray Observatory 2001-01-03 Acoustic Daylight Imaging: Vision In The Ocean 2000-11-22 ASPEN: EO-1 Mission Activity Planning Made Easy 1999-01-23 A Parametric Texture Model based on Joint Statistics of Complex Wavelet Coefficients 2001-01-04 Bridging Functional and Object-Oriented Programming 2000-12-06 Molecular Dynamics Simulation Reveals Conformational Switching of Water-Mediated Uracil-Cytosine Base Pairs in an RNA Duplex 2000-11-15 Operations And Quantum Doubles In Complex Oriented Cohomology Theory 1999-07-14 A Comparison of Two Architectural Power Models 2000-11-21 Partial order reductions for checking branching properties of Time Petri Nets Extended Abstract 2000-10-06 Task Driven Perceptual Organization for Extraction of Rooftop Polygons 1994-12-06 Optimal Control of the Unsteady Navier-Stokes Equations 2000-12-19 The Rationality of Epistemology and the Rationality of Ontology 1970-01-01 Andrew U. Frank Mapping of Structured English Sentences to CCTL Formulae 2000-10-26 Stephan Flake The Hilbert Basis of the Cut Cone over the Complete Graph on Six Vertices 1995-05-09 Design Technology Productivity in the DSM Era 2000-12-18 Andrew B. Kahng Efficient Test Data Compression and Decompression for System-on-a-Chip using Internal Scan Chains and Golomb Coding 2000-12-15 Arie de Bruin 1970-01-01 Arie De Bruin Finite Fields and Pseudo-Random Number Generation 1999-02-24 Estimating Doppler shift with a coarse cochlear filterbank 2000-12-05 Sum of Edge Lengths of a Graph Drawn on a Convex Polygon 2000-11-28 Multi-dimensional Dynamic Knowledge Representation 2001-01-03 Markov Chain Monte Carlo Computation of Confidence Intervals for Substitution-Rate Variation in Proteins 2000-09-29 Soft Dynamic Programming Algorithms: Convergence Proofs 1994-11-01 Satinder P. Singh One Microphone Source Separation 2001-01-03 Sam T. Roweis Number of Iterations 2000-12-13 Unifying Concurrency Control and Recovery of Transactions 1996-06-05 Completely Mixing Maps Without Limit Measure 2001-01-04 Gerhard Keller Multi-level Indexing and GIS Enhanced Learning for Satellite Imageries 2000-08-16 Automatically Augmenting Terminological Lexicons from Untagged Text 2000-09-11 Protein Family Classification using Sparse Markov Transducers 2000-08-16 Age and Length Composition of Columbia Basin Chinook, Sockeye, and Coho Salmon at Bonneville Dam in 1999 2000-01-04 Statistical Learning Algorithms Based on Bregman Distances 2000-02-12 Minds and Managers: On the Dual Nature Of Human Information Processing And Management 2000-06-20 On the Emergence of Intelligent Global Behaviors from Simple Local Actions 1999-04-23 D. Paul Benjamin RBFNN for Real-Time Process Identification and Control with Selective Forgetting 1999-12-22 Book Review 2000-12-27 Maslov's Class K Revisited 1999-04-07 Stochastic Models for the Web Graph 2000-10-05 A New Much Faster And Simpler Algorithm For Lapack Dgels 2000-09-28 A Domain Decomposition Method Using Sparse Grids 2000-09-07 Michael Griebel System Description: 1999-01-13 Hashed and Hierarchical Timing Wheels: Efficient Data Structures for Implementing a Timer Facility 1999-10-16 Construct The Structure of Stochastic Multilayer Perceptron Using The Model Search Method 2000-04-20 Shiro Ikeda Unknown 2000-08-21 Residue-Residue Potentials with a Favorable Contact Pair Term and an Unfavorable High Packing Density Term, for Simulation and Threading 2000-03-10 A Convex Powerdomain over Lattices: its Logic and lambda-Calculus 2000-05-29 Decremental maintenance of reachability in hypergraphs and minimum models of Horn formulae 1997-03-06 Integrating Market Modeling and Fleet Assignment 2000-09-07 Georg Kliewer Performance Of Parallel Interference Cancellation Receiver With Delay Errors 1999-03-02 MBone VCR - Video Conference Recording on the MBone 1995-08-09 Wieland Holfelder Investigations of the Dynamics of an Evolving Agent Population 2000-07-28 Recursive Context Reasoningfor Human Detection and Parts Identification 2000-12-26 Gaze Control as an Input Device 1999-06-23 Aulikki Hyrskykari Matrix Inequalities Involving A Positive Linear Map 1997-07-22 Chi-kwong Li Elegant Stepping: A Model of Visually Triggered Gait Adaptation 1999-09-03 Simplification of Many-Valued Logic Formulas Using Anti-Links 2000-01-21 Lin Huang 1997-05-26 Ranking Classification Algorithms Based on Relevant Performance Information 2000-10-24 Human Rabies Prevention --- United States, 1999 1970-01-01 A Random Walks View of Spectral Segmentation 2001-01-14 Jianbo Shi A Lagrangian Relaxation Network for Graph Matching 1999-04-21 Proving Properties of Finite Enumerations: A Problem Set for Automated Theorem Provers 2000-08-21 Mediator: an Intelligent Information System Supporting the Virtual Manufacturing Enterprise 2000-07-07 The Thisl Sdr System At Trec-8 2000-02-04 Synaptic Pruning in Development: A Novel Account in Neural Terms 1999-11-18 Unfolding Polynomial Maps At Infinity 1999-11-05 Multigrid Methods for Mortar Finite Elements 1999-10-12 A New Approach to the Minimum Cut Problem 1996-10-17 The Ranking of Query Refinements in Interactive Web-based Retrieval 2000-05-10 Journal of Graph Algorithms and Applications 1999-11-18 Supporting Interoperability of Autonomous Hospital Databases: A Case Study 2000-01-19 On-line Learning for Humanoid Robot Systems 2000-04-18 Selection for Modularity in the Genome: Reading Frame Evidence for Exon 2000-08-30 Processes for Plan-Execution 1999-06-13 Multi-dimensional Petri nets 2000-09-25 An Efficient Adaptive Search Algorithm for Scheduling Real-Time Traffic 1996-07-09 Automatic Measurement System for Car Audio Applications 2000-10-08 Approximating the Domatic Number 2000-11-13 KINETIC ENERGY DISTRIBUTION OF ATOMS FROM ANALYSIS OF THE D LYMAN-a LINE PROFILE MARCO " JOSEPH M. AJELLO 1999-01-21 Joseph M. Ajello On the Online Bin Packing Problem 2001-01-04 Steven S. Seiden Partial Evaluation for Class-Based Object-Oriented Languages 2000-11-21 Ulrik Schultz Performance Testing of CEFMS 2000-11-30 Fitting Microstructural Models in Materials Science 2000-11-06 A 2+epsilon approximation algorithm for the k-MST problem 2000-11-20 On the Complexity of Deadlock Detection in Families of Planar Nets 1995-11-27 Superposing Connectors 2000-07-25 DSD: A Schema Language for XML 2000-06-21 Classifying Correspondence in Japanese and Korean 2001-01-12 Query Optimization in the Presence of Foreign Functions 2000-02-17 The Learning Shell 2000-01-21 Nico Jacobs Evolving Neural Networks to Focus Minimax Search 1994-03-10 Analysis of Residuals From Segmentation of Noisy Images 2000-04-04 Rasmus Waagepetersen A Broader Class of Trees for Recursive Type Definitions for HOL 1993-07-22 Elsa L. Gunter Tensor Product Type Subspace Splittings And Multilevel Iterative Methods For Anisotropic Problems 2000-08-29 Approximating Total Flow Time on Parallel Machines 1997-04-23 How To Assign Probabilities If You Must 2000-03-30 C. J. Albers Online Self-Calibration For Mobile Robots 1998-10-21 The Star Connected Cycles: A Fixed-Degree Network For Parallel Processing 1995-06-01 Hierarchical SIR and Rate Control on the Forward Link for CDMA Data Users under Delay and Error Constraints 2000-12-18 =N-EXPANSION AS A PERTURBATION ABOUT THE MEAN FIELD THEORY: A One-Dimensional Fermi Model 1997-04-26 Model-based Diagnosis Preferences and Strategies Representation with Logic Meta-programming 2001-01-05 Combining Finite Element Deformation With Cutting for Surgery Simulations 2000-06-07 Han-wen Nienhuys Gratefully Acknowledging... 1994-11-11 Amruth N. Kumar Empirical Bayes approach to block wavelet function estimation 2000-12-20 Bi-Radial Transfer Functions 2000-06-20 Norbert Jankowski Event Handling in Prolog 2000-11-28 Micha Meier Learning Winner-Take-All Competition Between Groups of Neurons in Lateral Inhibitory Networks 2001-01-04 Structured and Unstructured Induction with EDAGs 2000-07-07 Brian R. Gaines Approximate Kinodynamic Planning Using 1999-07-20 Contexts As First-Class Objects: An Implementation Based On The Sicstus Prolog System 2000-04-21 Adaptive sparse grid multilevel methods for elliptic PDEs based on finite differences 1999-11-26 Erkki Makinen 1999-09-30 Industry Expectations of New Engineers: A Survey to Assist Curriculum Designers 1999-04-15 Text Segmentation Based On Similarity Between Words 2000-09-20 Hideki Kozima Binary Lattice Vector Quantization with Linear Block Codes and Affine Index Assignments 2000-05-18 Hp-Finite Element Approximations On Non-Matching Grids For Partial Differential Equations With Non-Negative Characteristic Form 2000-09-11 Andrea Toselli A Fuzzy Basis Function Vector-Based Multivariable Adaptive Controller for Nonlinear Systems 2000-09-07 Language Spaces 1995-04-10 C. M. Holt Target-Driven Perceptual Grouping 2000-10-17 Dyn-FO: A Parallel, Dynamic Complexity Class 1995-12-20 Do Users Always Know What's Good For Them? Utilising Physiological Responses to Assess Media Quality 2000-10-11 Hahn-Banach Separation Theorem for Max-Plus Semimodules 1970-01-01 Higher-Order Pattern Matching for Automatically Applying Fusion Transformations 2000-12-05 Decomposition of TrPTL formulas 1998-04-10 Genuinely Nonlinear Models For Convection-Dominated Problems 2000-11-29 On Estimation Of Temperature Uncertainty Using The Second Order Adjoint Problem 2000-12-22 Modeling Parietal-Premotor Interactions in Primate Control of Grasping 1997-10-03 Consequences of Hipparcos parallaxes for stellar evolutionary models - Three Hyades Binaries: . . . 1999-07-08 Automatic Evaluation of two Intonational Phrasing Algorithms for Dutch 2000-10-12 Erwin Marsi Entropy-based Subspace Clustering for Mining Numerical Data 2000-04-25 An Individual-Based Model That Reproduces Natural Distribution of Species Abundance and Diversity 2000-04-25 Bridging the Gap between Planning and Reactivity: a Layered Architecture for Autonomous Indoor Navigation 1998-02-11 Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z 2000-10-10 Katholieke Universiteit Leuven 1998-09-11 Canadians Putting Communities Online! 2000-10-10 Thermal Performance Enhancement of Adaptive Optics by use of a Deformable Secondary Mirror 2000-05-09 Michael Lloyd-hart On the Longest Upsequence Problem for Permutations 1999-10-21 Likelihood Analysis Of Repeating In The Batse Catalogue 1998-09-25 Jean M. Quashnock Design of Data-Intensive Web-Based Information Services 2000-05-19 Rate-Control Scheme for Video Transport over Wireless Channels 2000-12-18 BPMPD user's manual Version 2.20 2000-11-21 Interval Routing Schemes allow Broadcasting with Linear Message-Complexity 2000-12-11 Approximate VLDC Pattern Matching in Shared-Forest 2000-12-20 M. Vilares One-Pass Evaluation of Region Algebra Expressions 2000-12-29 On the Security of Modular Exponentiation with Application to the Construction of Pseudorandom Generators 2000-12-06 Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming 2000-12-01 Landscapes on Spaces of Trees 2001-01-03 Control of a Recurrent Neural Network Emulator for the Double Scroll 1998-09-11 Improved Parallel Mesh Generation Through Dynamic Load-Balancing 1999-04-14 Verifying Mutual Exclusion and Liveness Properties with TLA 2000-03-31 Mass Dependence of Lifetimes of 1999-07-28 Building a XML-based Corporate Memory 1999-07-23 Comparison of IMPS, PVS and Larch with respect to Theory Treatment and Modularization 2000-03-20 F. Kammuller Protecting Individuals' Interests in Electronic Commerce Protocols 2000-10-11 Q-MOPP: Qualitative evaluation of Maintenance Organizations, Processes, and Products 1999-11-10 A Generalization of Dijkstra's Calculus to Typed Program Specifications 2000-06-15 A Mixed Least Squares Method for an Inverse Problem of a Nonlinear Beam Equation 1999-08-03 Brief Pauses as Signals for Depressing Synapses 1999-10-04 Extremal Approximately Convex Functions And The Best Constants In A Theorem Of Hyers And Ulam 2000-11-27 CoMedi: Using Computer Vision to Support Awareness and Privacy in Mediaspaces 1999-08-25 An Extensible Information Model for Shared Scientific Data Collections 2000-12-05 Developing Tiled Projection Display Systems 2000-09-27 KIDS/VDM : un environnement pour le prototypage et la preuve de sp'ecifications VDM 1995-11-14 A Simple Reactive Architecture for Robust Robots 2000-02-16 Jeff Rickel and W. Lewis Johnson 2000-11-23 Weakly-Calibrated Stereo Perception for Rover Navigation 1995-06-12 Recursive Constructions of Complete Caps 2000-11-27 Ian Graham 2001-01-11 Model-Checking Processes with States: An Industrial Case Study 1999-04-06 An Eective Bottom-Up Semantics for First-Order Linear Logic Programs 2001-01-08 Regular Ordering and Applications in Control Policies 2000-01-25 Secure Remote Access to an Internal Web Server 2000-04-21 Many Robots Make Short Work 1999-11-06 Describing and Composing Patterns Using Role Diagrams 2000-02-03 Dirk Riehle Model-based Initialisation for Segmentation 2000-07-10 Query Optimization in Kess - An Ontology-Based KBMS 2001-01-10 The Kolmogorov Expression Complexity of Logics 2000-12-12 Jerzy Tyszkiewicz Keys with Upward Wildcards for XML 2000-12-04 On a Fundamental Physical Principle Underlying the Point Location Algorithm in Computer Graphics 1999-01-13 Sumit Ghosh Guarding Scenes against Invasive Hypercubes 2000-12-07 Optimization and Global Minimization Methods Suitable for Neural Networks 1999-01-05 Jerzy Korczak Jennifer Austin and Aaron Lawson eds. 2000-09-30 Alan Munn Electronic submission of revised papers to the IEEE Journal on Selected Areas in Communications - Special issue on the Internet 1995-02-03 Henning Schulzrinne Creating Virtual Places for Community Involvement 2000-11-21 Tracee Wolf Source Time Scale and Optimal Buffer/Bandwidth Trade-off for Heterogeneous Regulated Traffic in a Network Node 1997-06-25 Assessment of Sustainable Development: A Novel Approach Using Fuzzy Set Theory 2000-06-22 M. Grossman Elliptic Curve Public Key Cryptosystems -- an introduction 1999-02-15 Erik De Win A Survey of Hard Spectrum 2000-11-29 'Why COCOMO Works' Revisited or Feedback Control as a Cost Factor 2000-05-22 Juan F. Ramil Strong Cyclic Planning Revisited 2000-12-04 Analysis Of The Quasi-Monte Carlo Integration Of The Rendering Equation 1999-01-05 Werner Purgathofer Parsing Mathematics Typeset in T E X 1998-01-27 Comparison and Efficient Computation of the STATIC and the Disjunctive Well-founded Semantics 2000-12-01 Spin Glasses: A New Direction For Probability Theory? 2000-11-26 Michel Talagrand Dynamics Of Heat Transfer In The Melt Pool At Nuclear Severe Accident Conditions 2000-12-18 Permeability of Cracked Steel Fiber--Reinforced Concrete 2001-01-03 Experiments on Extracting Knowledge from a Machine-Readable Dictionary of Synonym Differences 2001-01-04 Radiowave Phase Scintillation and Precision Doppler Tracking of Spacecraft 1999-01-21 J. W. Armstrong Briki: a Flexible Java Compiler 1996-06-03 Weak Alternating Automata Are Not That Weak 2000-11-21 Moshe Y. Vardi Expressibility And Parallel Complexity 1994-11-09 Task Partitioning Wireless Base-station Receiver Algorithms on Multiple DSPs and FPGAs 2000-11-13 A Distributed 3D Graphics Library 2000-01-13 Life-Cycle Models for Survivable Systems 2000-12-12 On the stability problem for nearly--integrable Hamiltonian systems 1997-04-26 Luigi Chierchia Universal Consistency of Local Polynomial Kernel Regression Estimates 2000-12-18 Michael Kohler A Group Signature Scheme Based on an RSA-Variant 1998-11-24 Markus Michels Unknown 1996-10-14 High Performance Messaging on Workstations: 1997-07-03 CS 323, Fall 2000 Problem Set 3 Solutions: Situation Calculus and the Frame Problem 2000-12-05 ICP and the Squid Web Cache 1997-08-13 Duane Wessels Guideline Classification to Assist Modeling, Authoring, Implementation and Retrieval 2000-08-11 Micro-Active Control of a Planar Jet. 2000-12-13 The Sonority Hierarchy In Hungarian 1997-01-11 Examples And Counterexamples For Perles' Conjecture 2000-11-23 Inheritance in Higher Order Logic: Modeling and Reasoning 1970-01-01 Routines for Relative Pose of Two Calibrated Cameras from 5 Points 2000-07-23 Bill Triggs Finding a Pathfinder 1999-06-24 Runtime Incremental Parallel Scheduling on Distributed Memory Computers 1994-11-11 Wei Shu . Reliability, fault tolerance, and real-time aspects 2000-12-05 On Interprocess Communication 2000-06-26 Word Re-ordering and DP-based Search in Statistical Machine Translation 2000-12-20 Deciding Intuitionistic Propositional Logic via Translation into Classical Logic 2000-10-25 Haptic Visualization of Molecular Model 1999-01-06 Bottom-Up Propositionalization 2000-06-28 Stefan Kramer Le Mont-Saint-Michel, France, 1997. Also appeared in IJCAI-97. 4 cial Intelligence in 2000-11-07 Social Potential Fields: A Distributed Behavioral Control for Autonomous Robots 1998-11-16 Is Java ready for computational science? 1998-07-06 The reduction method in the theory of Lie-algebraically integrable oscillatory Hamiltonian systems. 2000-03-18 A. K. Prykarpatsky Efficient Conservative Visibility Culling Using The Prioritized-Layered Projection Algorithm 2000-12-05 starER: A Conceptual Model for Data Warehouse Design 2000-04-21 Guidance Concept for a Mars Ascent Vehicle First Stage 2000-11-28 Parallelization of an Object-oriented Unstructured Aeroacoustics Solver 2000-02-14 Site Remediation Technology InfoBase: A Guide to Federal Programs, Information Resources, and Publications on Contaminated Site Cleanup Technologies 2000-09-15 Detecting Salient Motion By Accumulating Directionally-Consistent Flow 2000-09-12 BIP Messages User Manual 1997-10-16 Superposition Theorem Proving for Commutative Algebraic Theories 2000-12-22 Reasoning About and Optimizing Distributed Parameter Physical Systems Using Influence Graphs 1998-04-30 A Model for Reasoning About Bidimensional Temporal Relations 1999-12-17 Describing Spatial Transitions Using Mereotopological Relations Over Histories 2000-10-12 Ernest Davis Ne,Ay,Ne,Ay8v ze- P!J1 five,six,five,six ze- hours 2000-07-28 Gibbs-Markov Models 2000-02-17 John D. Lafferty Improved Approximation Algorithms for a Capacitated Facility Location Problem 1999-01-23 Regular Issue Brief Papers 2000-06-04 Optimal Stochastic Quadrature Formulas For Convex Functions 2000-10-16 Randomized Lower Bounds for Online Path Coloring 1999-05-25 Benchmarking Access Structures for High-Dimensional Multimedia Data 1999-12-15 A New Tractable Subclass of the Rectangle Algebra 1999-12-17 New Convergence Results for Davidson-Type algorithms 1998-12-07 S. Oliveira Development of a Large-Scale Ubiquitous Computing Interface 1998-02-23 Detection of Correlations in tRNA Sequences with Structural Implications 1998-02-20 Integrating Direct CP Search and CP-based Column Generation for the Airline Crew Assignment Problem 2000-03-17 The thesis of Koral Ilgun is approved: Committee Chairperson November 1992 iii 2000-07-19 Koral Ilgun Approximate Subset Matching with Don't Cares 2000-09-13 Formalization and Verification of Event-driven Process Chains 2000-09-25 Features as Constraints 2000-06-08 Total Positivity: Tests And Parametrizations 1999-09-20 Sergey Fomin Triangle Fixer: Edge-based Connectivity Compression 2000-06-08 Martin Isenburg Unsupervised Models for Named Entity Classification 1999-05-26 Type Inference for Queries on Semistructured Data 2000-10-30 Invariant Hyperkähler Metrics with a Homogeneous Complex Structure 1999-03-09 Roger Bielawski A Neural Model Of Corticocerebellar Interactions During Attentive Imitation And Predictive Learning Of Sequential Handwriting Movements 1970-01-01 Locales: A Sectioning Concept for Isabelle 2000-03-20 How Many Shuffles to Randomize a Deck of Cards? 2000-10-12 Off-line Learning from Perception for Improving Mission Performance of Autonomous Vehicles 1998-11-26 Rudolf Gregor Personal Style Inventory Item Revision: Confirmatory Factor Analysis 2000-06-20 Chignik Lakes Research 1999-04-26 Enhancing External Consistency in Real-Time Transactions 1996-01-23 A Necessary Condition for Self-reproduction in the Semar Core 1999-06-03 Hideaki Suzuki A Multi-level Approach to Program Synthesis 2000-10-25 Scalable Techniques from Nonparametric Statistics for Real Time Robot Learning 2000-06-23 Modulation and Coding for the Gaussian Collision Channel 2000-11-04 A Computational Model of Driving for Autonomous Vehicles 1999-11-03 Arbeitspapiere der GMD 2000-08-01 Polynomial Methods for Computer Vision 2000-03-10 Cooperative Problem Solving and Explanation 1997-09-06 Putting high-level Petri nets to work in industry 2000-09-25 Continuous 6dof Gesture Recognition : A Fuzzy Logic Approach 1998-12-16 Oliver Bimber Fast Search for Large Vocabulary Speech Recognition 2000-11-28 Finitely Representable Databases Extended Abstract 1996-09-13 Geometric Algorithms and Data Representation for Solid Freeform Fabrication 2000-11-03 Sara Anne Mcmains Interpolating Subdivision for Meshes with Arbitrary Topology 1998-08-13 Broadcasting Algorithms for the Star-Connected Cycles Interconnection Network 1995-06-01 Progress Report on "Convergence of Risk Estimates Obtained from Highly Skewed Distributions," a Problem Posed by Jim Sinclair of AEA Technology 1998-03-26 Optimal Feedback Control for Route Tracking With a Bounded Curvature Vehicle 1970-01-01 The Role of Plans in Discourse Generation 2000-12-21 Johanna D. Moore Using Dynamic Mediation to Integrate COTS Entities in a Ubiquitous Computing Environment 2000-10-11 O Fox Bringing Information Extraction out of the Labs: the Pinocchio Environment 2000-05-25 David Luebke 1997-12-22 David Luebke Principled Hidden Tagset Design for Tiered Tagging of Hungarian 2000-07-25 Bifurcations Of The Hill's Region In The Three Body Problem 2000-09-09 Christopher K. Mccord The Constraint Based Decomposition CBD training architecture 2000-07-22 Sorin Draghici A Distributed Protocol for Multi-Class QoS Provision in Noncooperative Many-Switch Systems 2000-03-06 High-Performance Extensible Indexing 2000-07-28 Nature's Way of Optimizing 2000-06-20 Concept Lattices for Knowledge Management 2000-10-12 Design and Implementation of ET++, a Seamless Object-Oriented Application Framework 2000-02-03 The Effect of Spin-Flip Symmetry on the Performance of the Simple GA 2000-11-23 Bart Naudts Robustness and Pricing with Uncertain Growth 2000-11-24 Emotional Characters In Virtual Environments 1999-01-06 Local-Area MultiProcessor: the Scalable Coherent Interface 1995-09-22 Learning to Control Dynamic Systems Via Associative Reinforcement Learning 1996-07-08 Vijaykumar Gullapalli Hybrid Column Generation Approaches for Solving Real World . . . 2000-12-12 Goodness-of-Fit Tests for Parametric Regression Models 2000-05-24 An Integrated Approach for Segmentation and Estimation of Planar Structures 2000-12-12 Management of Change in Structured Verification 2000-06-26 Dieter Hutter Applications of Machine Learning: A Medical Follow Up Study 1997-04-22 Design of Data-Intensive Web-Based Information Services 2000-06-15 Persistent Triangulations 2000-11-21 Willow: A Scalable Shared-Memory Multiprocessor 2000-09-02 Compactification of Hyperbolic Monopoles 1999-02-19 Robert Hall 2000-12-20 Numerical Analysis of a Contact Problem in Rate-Type Viscoplasticity 1998-09-29 WebGlimpse - Combining Browsing and Searching 1999-12-08 C code for modeling smooth free-form surfaces of arbitrary patch-layout with linearly-trimmed bicubic B-splines NURBS 1970-01-01 Jorg Peters Real-World Examples for HCI Instruction 2000-12-18 Robert St. Amant An Interactive WWW Search Engine for User-Defined Collections 1999-12-16 Effective Stability for Periodically Perturbed Hamiltonian Systems 1997-04-26 Angel Jorba Computational Problems of Constrained Fuzzy Arithmetic 2000-02-23 Mirko Navara Hyperdog: Up To Date Web Monitoring Through Metacomputers 2001-01-03 Measuring Effective Temperatures in Out-of-Equilibrium Driven Systems 2000-12-20 Extensible Cluster-Based Scalable Network Services 1997-07-23 On Monotone Planar Circuits 1999-03-10 Quantum circuits for OR and AND of ORs 2000-11-22 Version Propagation in Federated Database Systems 2000-12-21 Requirements for UIMSs 1994-05-20 Sub-Birkhoff 2000-12-19 Vincent Van Oostrom Compositional description of object communities with TROLL 2000-07-19 A Ring-Oriented Approach for Block Matrix Factorizations on Shared and Distributed Memory Architectures 1995-08-10 Tree Formulations Of Tense Logic 2000-01-27 Jack Copeland Robust reference resolution with limited knowledge: high precision genre-specific approach for English and Polish 1998-07-28 A Modular Neural Network Approach to Autonomous Navigation 2000-10-16 A Hybrid Learning Approach To Blind Deconvolution Of Mimo Systems 2001-01-15 Seungjin Choi Super Turing-Machines 2000-01-27 B. Jack Copeland Compiling Knowledge into Decomposable Negation Normal Form 1970-01-01 Adnan Darwiche Equality Is a Jump 2000-04-16 Computing the Unmeasured: An Algebraic Approach to Internet Mapping 2001-01-08 Implementing Parameterized Range Types in an Extensible DBMS 2000-12-01 Exploratory Programming Of Distributed 3D Graphics Applications 2000-08-10 Blair Macintyre The Directed Chinese Postman Problem 2001-01-08 Har Old Thimbleby Measures on hidden Markov models 1999-05-04 Statistical Machine Learning for Large-Scale Optimization 2000-09-29 Statistical Estimation and Visualization of Ground-Water Contamination Data 2000-09-21 The design of RT-Appia 2000-12-14 Invariant Sections and Finitely Smooth Conjugacy of Dynamical Systems 1997-04-26 A Software Architecture for Timetable Construction 2000-11-26 XML-based Approach towards an Interchange Format for Petri Nets Extended Abstract 2000-12-14 An Ontogenetic Perspective to Scaling Sensorimotor Intelligence 2000-09-06 HEMASL: A Flexible Language to Specify Heterogeneous Agents 2000-10-31 Three Good Reasons for Using a Petri-net-based Workflow Management System 2000-09-25 A New Parallel Domain Decomposition Preconditioner I: Application with an Adaptive Parallel Finite Element Solver 1999-04-14 Enhancing Query Plans for Many-Way Joins 1995-03-16 Roberto J. Bayardo A Comparative Study of Vision-Based Lateral Control Strategies for Autonomous Highway Driving 1998-10-22 Blind Channel Estimation Using the Second-Order Statistics: Asymptotic Performance and Limitations 2000-07-18 Combustion Fronts in Petroleum Reservoirs 2000-10-26 A Visual Support System for Visually Impaired Persons Using Acoustic Interface 2000-12-19 Airline Crew Scheduling Using Potts Mean Field Techniques 2000-12-12 Classifying Exchange Rate Regimes: Deeds vs. Words 2001-01-09 Automatically Generating Abstractions for Problem Solving 2000-11-30 Order-ConsistentPrograms are Cautiously Monotonic 2000-11-21 Hudson Turner Linear BSP tree in the plane for set of segments with low directional density 1999-01-06 A Lie algebraic generalization of the Mumford system, its symmetries and its multi-Hamiltonian structure 1998-03-18 Marco Pedroni Distance Metrics for Landscape Analysis and Computational Molecular Biology 2000-02-14 Gravitational Waves in Non-Singular String Cosmologies 2001-01-05 Over Powering Solar System Exploration 1999-01-21 Quantization Index Modulation: A Class of Provably Good Methods for Digital Watermarking and Information Embedding 2000-12-09 Temporal Approach to Causal Knowledge 2000-10-20 Network response time for a general class of WTA 2000-09-06 Declarative Specification of Data-intensive Web sites 2000-05-06 QoS-Sensitive Transport of Real-Time MPEG Video using Adaptive Forward Error Correction 2000-03-06 Relationships Between the Constant Modulus and Wiener Receivers 2000-05-15 Model-Checking CSP-Z: Strategy, Tool Support and Industrial Application 2000-09-01 Asymptotic Behavior of Solutions of Time-delayed Burgers' Equation 2000-04-13 Weijiu Liu Unknown 1998-04-28 Submillimeter Optical Properties Of Hexagonal Boron Nitride 1970-01-01 Competition and Multiple Cause Models 2000-07-27 Composite Schemes For Conservation Laws 1997-08-28 Predecessor Queries in Dynamic Integer Sets 1997-04-10 Gerth Stlting Brodal Support for RSVP-based Services over ATM networks 1996-06-03 Development Of Wake Vortex Spacing System For Airport Capacity Enhancement And Delay Reduction 2000-12-18 GRASP With Path Relinking For The Three-Index Assignment Problem 2000-12-15 Principled Communication for Dynamic Multi-Robot Task Allocation 2000-11-17 Improving Resource Utilization of Enterprise-Level World-Wide Web Proxy Servers 1999-04-07 Ordered Phase in the Two-Dimensional Randomly Coupled Ferromagnet 2000-12-08 A. K. Hartmann WEBSELL: Intelligent Sales Assistants for the World Wide Web 2000-12-11 Wireless Video Transport Using Conditional Retransmission and Low-Delay Interleaving 2000-12-18 Quantum Fourier transforms for extracting hidden linear structures in finite fields 2000-12-15 Designing Circuits By Calculation 1994-03-18 Geraint Jones ProtoMol: A Molecular Dynamics Framework with Incremental Parallelization 2000-12-04 Modeling of Tm-doped ZBLAN blue upconversion fiber lasers operating at 455 nm 2000-10-05 Scheduling Tree-Dags Using FIFO Queues: A Control-Memory Tradeoff 1994-12-06 Efficient Tracking of Mobile Objects in Globe 2000-12-22 Simple Improvements of A Simple Solution for Inverting Resolution 1970-01-01 Jan C. Bioch Problem Statement 1998-12-11 Josh Macdonald Critical behaviour of Random Walks 1997-06-02 I. Campos Practical Algorithms for Deciding Path Ordering Constraint Satisfaction 2000-11-29 Video Motion Capture 1998-03-14 A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems 2000-11-27 Data Abstraction and Information Hiding 2000-11-17 A Comparative Analysis Of The Islamic And The Western Models Of News Production And Ethics Of Dissemination 2000-12-03 Grouping of Color and Texture Features for Automated Image Annotation 1996-06-28 chi² Test for Feature Detection 1992-06-04 Optimizing Time-Frequency Distributions for Automatic Classification 2000-12-08 `Collusive-Seeming Equilibria' In The Uniform-Price Auction 2000-10-01 David Mcadams P R A Stochastic Model of Congestion Caused by Speed Differences 2000-11-07 Real-Time Mach: Towards a Predictable Real-Time System 1995-05-22 Productivity, Seniority and Wages - New Evidence from Personnel Data 1998-03-25 .1 Single-input Systems . . . . . . . . . . . . . . . . . . . . . . . 51 3.1.1 Determination of Volterra Transfer Functions for Singleinput Systems . . . . . . . . . . . . . . . . . . . . . . . 54 2000-11-29 Gaas Mesfet Mixers On the Structure of a Masters's Thesis 2000-08-31 Explicit Substitutions for the Lambda-Mu Calculus 1994-10-08 Model Selection and the Principle of Minimum Description Length 2000-12-17 Information Retrieval using very short Krylov sequences 2000-12-28 Application Of Speech Technology In The Multilingual Speedata Project 1999-01-20 The Guidebook, the Friend, and the Room: Visitor Experience in a Historic House 2000-12-10 Incremental Scheduling 1999-06-16 Camera Self-Calibration Using the Singular Value Decomposition of the Fundamental Matrix 1970-01-01 Acquisition of a Large Pose-Mosaic Dataset 1998-10-22 On Embeddings Between Classical Lorentz Spaces 2000-11-29 Efficient Wire Formats for High Performance Computing 2000-11-20 On one-parametric families of Bäcklund transformations 1970-01-01 Structured Testing of Worst-Case Execution Time Analysis Methods 2000-12-22 Smart Radio - Building Music Radio On the Fly 2000-09-25 Channel-Dropping Filter Based on a Grating-Frustrated Two-Core Fiber 2000-09-14 The Energy Behaviour of Real and Virtual Photon--Proton Cross Sections 1995-01-11 Aharon Levy Observational Approaches in Algebraic Specifications : a Comparative Study 1992-06-19 Large Scale Discriminative Training For Speech Recognition 2000-11-06 Exponential Bounds With Applications To Call Admission 1996-10-16 Zhen Liu State Dependent Matrices and Balanced Energy Functions for Nonlinear Systems 2000-07-27 The Method of Adjoint Problems for the Domain Sensitivity Analysis of the Acoustic Far Field Pattern. Part II: 3D Domains with Smooth Edges 2000-11-22 WebSIFT: The Web Site Information Filter System 2000-06-30 -tree: Processing Complex Multi-Feature Queries with Just One Index 2000-11-25 Harmonic Shape Images: A 3D Free-form Surface Representation and Its Applications in Surface Matching 2000-07-11 Factors in anaphora resolution: they are not the only things that matter. A case study based on two different approaches 1998-07-24 Adaptive Hierarchical Methods for Landscape Representation and Analysis 1997-11-19 Thomas Gerstner Fast Modular Exponentiation 1998-09-08 C Etin K. Koc Towards a Library of Formal Mathematics 2000-05-26 Efficient Oblivious Parallel Sorting on the MasPar MP-1 1996-10-15 A Two-Way Model for Motor Control of Redundant Systems 2000-05-30 Computational Complexity and Induction for Partial Computable Functions in Type Theory 1999-03-03 Minimal Sense of Direction and Decision Problems for Cayley Graphs 2000-04-16 Random Decision Forests 2000-07-06 Tin Kam Ho 3-D Modeling from Range Imagery: An Incremental Method with a Planning Component 2000-01-24 Application Of A Recurrent Neural Network In Online Modelling Of Real-Time Systems 1999-12-22 The Equivalence Structure of Descriptor Representations of Systems with Possibly Inconsistent Initial Conditions 1970-01-01 Gpcg: A Case Study In The Performance And Scalability Of Optimization Algorithms 2001-01-08 Annotated Reasoning 2000-09-19 Dieter Hutter Approximation Algorithms for Facility Location Problems 1997-10-28 Quantized Feedback Stabilization of Linear Systems 2000-10-17 Tom Fawcett 1999-11-15 Isometric Isomorphisms Between Normed Spaces 1997-02-12 Rotating Virtual Objects with Real Handles 2000-04-20 Adaptive Simulation and Control of VariableStructure Control Systems in Sliding Regimes 1997-04-12 Shared Memory Programming on PC-based SCI Clusters 1999-05-20 The Parallel Multipole Method on the Connection Machine 1995-03-01 On the Design and Implementation of a Parallel, Object-Oriented, Image Processing Toolkit 2000-08-24 Automatic Extraction Of Trees In Urban Areas From Aerial Imagery 2000-08-23 Uwe Bacher Hausdorff Dimension of Measures via PoincaréRecurrence 2000-12-05 L. Barreira Recurrent Sequences Modulo Prime Powers 1993-11-06 Model-Year Architectures for Rapid Prototyping 2000-03-30 Extremal Behavior of Heavy-Tailed Transmission Durations in Network Traffic 2000-04-26 Alwin Stegeman A Comparison of Some Dynamic Load-Balancing Algorithms for a Parallel Adaptive Flow Solver 1999-04-14 An Efficient Direct Solver for a Class of Mixed Finite Element Problems 1999-02-24 Bounds for the Third Peano Constants of Gaussian Quadrature Formulae 2000-10-16 Knut Petras braunschweig Nick Benton Andrew Kennedy Microsoft Research Cambridge, UK 2000-07-24 Using Bilateral Symmetry To Improve 3D Reconstruction From Image Sequences 1998-11-01 Real-time Interactive Neuro-evolution 1998-07-16 Charge Spreading and Position Sensitivity in a Segmented Planar Germanium Detector 1998-10-01 The ENTRAPID Protocol Development Environment 1999-09-26 D²MA: A Distributed Access Protocol for Wireless ATM Networks 1999-09-15 Bifurcation from Periodic and Relative Periodic Solutions in Equivariant Dynamical Systems 1999-11-11 Intelligent Data Analysis in an Interactive Planning Simulation 2001-01-11 Robert St. Amant End-to-End Authorization 2000-11-14 Being Bayesian about Network Structure 2000-05-14 Efficiently Constructing Relational Features from Background Knowledge for Inductive Machine Learning 1999-12-10 Application Performance and Flexibility on Exokernel Systems 2000-03-24 The Moduli of Flat PU2,1 Structures on Riemann Surfaces 2000-07-01 Eugene Z. Xia Operational Synthesis Applied to Mutual NZ/US Questions. Part I 1999-10-27 The Softassign Procrustes Matching Algorithm 1999-04-21 Sample Paper Title 1996-10-15 Studying the ML Module System in HOL 2000-01-09 Savi Maharaj Subtly Different Facial Expression Recognition And Expression Intensity Estimation 1999-10-01 Ribbon Tile Invariants from Signed Area 2000-09-30 Brazos: A Third Generation DSM System 2000-09-02 Discontinuity in Evolution: How Different Levels of Organization Imply Pre-Adaptation 2000-12-19 High frequency limit of the Helmholtz equation II: source on a general smooth manifold 2000-12-07 Hybrid Systems in TLA+ 2000-06-27 Leslie Lamport Towards Multi-paper Summarization Using Reference Information 1999-07-13 Pliers At Vlc2 2000-08-08 A. Macfarlane Side Collision Warning Systems for Transit Buses 2000-03-17 Wideband CDMA Network Sensitivity Function 1999-10-07 A Query Language and Optimization Techniques for Unstructured Data 2000-10-30 Lexical Translation between Irish and English by Mapping between Monolingual Machine Readable Dictionaries using Distributed Representations 1999-11-18 Hyperkähler Structures and Group Actions 1999-03-09 Roger Bielawski Fast segmentation of sparse 3D data by interpolating segmented boundaries in an octree 2000-05-06 Forward Mapped Planar Mirror Reflections 1998-08-27 A Hybrid TDMA/CDMA Mobile Cellular System Using Complementary Code Sets as . . . 1999-10-06 Pekka Pirinen Synchrony Unbound: Review A Critical Evaluation of the Temporal Binding Hypothesis 2000-04-30 Bifurcation from Discrete Rotating Waves 1999-08-19 Jeroen S. W. Lamb Applications of the Pseudo Residual-Free Bubbles to the Stabilization of Convection-Diffusion Problems 1997-10-29 Situated Learning In Design 2000-07-26 Basic Dependency-Based Logical Grammar 2001-01-15 Geert-jan M. Kruijff A Heuristic Algorithm to Detect Feature Interactions in Requirements 2000-09-12 Maritta Heisel Approximating the Limiting Quicksort Distribution 2001-01-17 Quadratic Volume preserving maps 1997-05-28 James D. Meiss Real-Time Index Concurrency Control 1996-01-23 Pad - An Alternative Approach to the Computer Interface 2000-10-10 A Better Algorithm For an Ancient Scheduling Problem 1995-01-27 Efficient Word Segmentation Driven By Unconstrained Handwritten Phrase Recognition 2000-04-11 Adaptive Acquisition of Lumigraphs from SyntheticScenes 2000-09-14 On Algebraic Multilevel Preconditioners in Lattice Gauge Theory 2000-05-03 Sparse Functional Stores for Imperative Programs 1995-03-12 Bjarne Steensgaard Learning to Make Good Use of Operational Advice 1999-07-30 Using Model Checking to Plan Hard Real-Time Controllers 2001-01-05 Graph Labelling and Assignment of Non-Reusable Frequencies 1998-06-29 Derandomized Construction of Small Sample Spaces in 1996-10-10 Inter-dimensional Hypermedia Communicative Devices for Rhetorical Structure 2001-01-06 Learning a Monolingual Language Model from a Multilingual Text Database 2000-09-30 Informatique th'eorique/Computer Science 1998-03-26 Evolutionary Connectionism and Mind/Brain Modularity 2000-11-17 The Evidence Framework applied to Classification Networks 1996-05-06 David J. C. Mackay The Challenge of Supporting Repository-Based Continuous Learning with . . . 2000-06-07 An Inexact Newton Method for Systems Arising from the Finite Element Method 1999-02-24 Security Proofs for Signature Schemes 1996-05-26 Why Optimality Theory for se ntence processing? 2000-09-22 Group Priority Scheduling 1996-07-01 Eigenvalue Comparisons For Differential Equations On A Measure Chain 1998-12-19 A Behavior-Based System For Off-Road Navigation 1999-08-17 Using SOM in Data Mining 2000-04-17 Juha Vesanto Towards Performance-DrivenSystem Support for Distributed Computing in Clustered Environments 2000-03-06 Kihong Park Optimum Fiducials under Weak Perspective Projection 2000-03-10 An Overview of Bioinformatics Research at Lawrence Livermore National Laboratory 2000-11-28 Experimental Validation of a Real-Time Vision Sensor and Navigation System for Intelligent Underwater Vehicles 1998-11-26 A Robust Parsing Algorithm For Link Grammars 2000-02-17 Control theory applied to Quantum Chemistry: Some tracks. 2000-05-26 Claude Le Bris Safe Cooperative Robot Dynamics On Graphs 2000-02-23 An Extension to Concurrent TTCN 1999-09-15 An Edge-Isoperimetric Problem for Powers of the Petersen Graph 2000-03-17 ObjectGlobe: Ubiquitous Query Processing on the Internet 2000-08-09 Parallel Tetrahedral Mesh Adaptation with Dynamic Load Balancing 2000-06-29 A Piezo-Neural Control for Vibrations Suppression 2000-02-11 The Impact of Database Selection on Distributed Searching 2000-09-18 Implementing Protocols in Java: The Price of Portability 1999-09-15 A Comparison of Ranking Methods for Classification Algorithm Selection 2000-10-24 TCP Congestion Control with a Misbehaving Receiver 1999-12-07 A Modal Extension of Logic Programming 1999-07-13 Why I Do Declare! Declarative Programming in the Undergraduate Curriculum 2000-09-08 Lazy Learning of Bayesian Rules 2000-05-15 Writer Adaptation Of A Hmm Handwriting Recognition System 1999-11-01 WebCluster, a Tool for Mediated Information Access 2000-09-11 On Specifying Correlation Matrices for Binary Data 2000-08-08 HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions. 1999-09-06 Guido Vanackere Exact Controllability for Problems of Transmission of the Plate Equation with Lower-order Terms 2000-03-27 Live Paint: Painting with Procedural Multiscale Textures 2000-10-10 Design for an Adaptive Library Catalog 2000-05-03 Model Checking and the Mu-calculus 1999-01-29 E. Allen Emerson A Lightweight Object Manager for Group-Aware Applications 2000-08-01 Fast Training Algorithms for Multi-layer Neural Nets 2000-09-23 Richard P. Brent Alaska Peninsula Salmon, 1998 1999-03-09 A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations 1999-12-17 Jean-francois Condotta Note on Approach-Independent Structuring Concepts for Rule-Based Systems 2000-03-29 Sabine Kuske Spectral Perturbation Bounds For Positive Definite Matrices 1997-06-17 Roy Mathias Markov Chain Algorithms for Planar Lattice Structures 2001-01-15 Tessellation and Visibility Representations of Maps on the Torus 1998-03-02 Random Walks, Conditional Hitting Sets and Partial Derandomization 1998-06-29 Semi-supervised Clustering with User Feedback 2000-02-02 Tissue Classification with Gene Expression Profiles 2000-05-14 A Unified Presentation of Some Urn Models 1999-10-28 Michael Drmota Automatic Resolution of Anaphora in English 1999-07-27 Michel Denber On the Complexity of Self-Validating Numerical Integration and Approximation of Functions with Singularities 2000-10-16 Knut Petras Automatic Generation of Tcl Bindings for C and C++ Libraries 2000-09-14 Wolfgang Heidrich Algorithms for Minimum Volume Enclosing Simplex in R³ 1999-10-13 An Data Type for parallel Simulations based on Sparse Grids 1999-11-26 Geometrical View On The Effectiveness Of Naive Mean-Field Approximation To Optimization Problems 2000-04-24 Toshiyuki Tanaka Informedia News-On-Demand: Using Speech Recognition to Create a Digital Video Library 1997-06-11 A Geometric Look At Corner Cutting 1970-01-01 Boosting the Margin: A New Explanation for the Effectiveness of Voting Methods 2000-12-25 Skeptical Reasoning and Disjunctive Programs 2000-07-07 Performance Characterisation In Computer Vision: The Role Of Statistics In Testing And Design 2000-12-19 A Rule-based Approach to Represent Spatio-Temporal Relations in Video Data 2000-12-03 A Formalization of Hylomorphism Based Deforestation with an Application to an Extended Typed Lambda-Calculus 2000-11-17 Simple General Recursion in Type Theory 2000-11-24 Ana Bove Atomic And Molecular Databases For Planetary And Terrestrial Applications 1999-01-27 Linda R. Brown A Development Environment for Horizontal Microcode Programs 1999-09-08 Efficient Zero-Knowledge Proofs of Knowledge Without Intractability Assumptions 2000-11-15 A Library of Components for Classification Problem Solving 2000-11-02 Exact Inference of Hidden Structure from Sample Data in Noisy-OR Networks 2000-12-25 On Sums Of Squares In Local Rings 2001-01-02 Claus Scheiderer A Constraint-based Parallel Programming Language 1996-03-27 Object-Based Representations Of Spatial Images 2000-10-10 Active Face and Feature Tracking 1999-07-29 Control theory applied to Quantum Chemistry: Some tracks. 2000-05-26 Claude Le Bris 3D localization of a car observed through a monocular video camera 1998-11-26 Feasibility of Tomography with Unknown View Angles 1999-12-15 Automatic Text Summarization Based on the Global Document Annotation 2000-09-20 A Statistical Model for Parsing and Word-Sense Disambiguation 2000-09-23 Daniel M. Bikel Verbosity and Interface Design 2000-05-08 Multiple Knowledge Acquisition Strategies in 2000-06-07 Telecommunication Clustering using Linear and Semidefinite Programming 2000-12-07 Desktop and Network Performance Issues in Multimedia Conferencing and Collaboration 1995-09-28 News And Noise In G-7 GDP Announcements 2000-12-20 Bayesian Map Learning in Dynamic Environments 2000-06-28 Kevin P. Murphy Learning the Structure of Dynamic Probabilistic Networks 1998-05-08 SeaWinds 1B: a combination of Ku-band Scatterometer and Wind Radiometerfro Global Ocean Wind Measurements 1999-01-23 Computing Approximating Automata for a Class of Hybrid Systems 2000-10-11 On Generating FC Fuzzy Rule Systems from Data Using Evolution Strategies 2000-09-13 Weak Dependence beyond Mixing and Asymptotics for Nonparametric Regression 2000-11-24 Driving in the Jungle 2000-12-07 Jens Peter Secher Compiling Devices: A Structure-Based Approach 1970-01-01 Adnan Darwiche A Testbed for Intelligent Aiding in Adaptive Interfaces 2000-02-11 Online Superpage Promotion Revisited 2000-08-28 Tile Invariants: New Horizons 2000-12-30 Igor Pak Prevalence of non-Lipschitz Anosov foliations 2000-03-20 Conformant Planning via Model Checking 1999-08-10 Alessandro Cimatti Towards a Scalable Networked Retrieval System for Searching Multimedia Databases 1999-11-09 Risk-Aversion Behavior in Consumption/Investment Problems with Subsistence Consumption and Bankruptcy 1996-02-07 Call-based Fraud Detection in Mobile Communication Networks using a Hierarchical Regime-Switching Model 2000-01-28 D Image Matching Using a Finite Element Based Elastic Deformation Model 1999-10-05 Intelligent Visualization in a Planning Simulation 2000-11-19 Liaison: a Workflow Model for Novel Applications 1999-01-20 Automatic registration and alignment on a template of cardiac stress rest reoriented SPECT images 1999-03-04 Relative Enumerability in the Difference Hierarchy 2000-11-17 Detecting Omnivory With ... 2001-01-02 Controlled Perturbation for Arrangements of Polyhedral Surfaces with Application to Swept Volumes 1999-03-04 Sigal Raab On a Generic Class of Regular One-Parametric Variational Inequalities. 1999-06-14 G'omez Bofill Walter Dopamine modulation of prefrontal delay activity - Reverberatory activity and sharpness of tuning curves 2000-12-16 Gabriele Scheler Algorithm Performance Contest 2000-05-29 Text Data Mining: Discovery of Important Keywords in the Cyberspace 2000-12-08 Pseudospectra Of Linear Operators* 2000-02-13 Lloyd N. Trefethen Refining Top-k Selection Queries based on User Feedback 2000-05-17 Submission Type: 2000-05-30 Transitional Monitoring of Dynamic Integrity Constraints 2000-07-19 Calibration of Image Sequences for Model Visualisation 2000-01-24 Stability And Performance Of Adaptive Algorithms For Multichannel Blind Separation And Deconvolution 2000-09-13 Acyclic Orientations for Deadlock Prevention in Interconnection Networks 1997-04-23 Fault-Tolerant and Secure Intelligent Vehicle Highway System Software - a Safety Prototype 1998-11-26 Quantum Computer Emulator 2001-01-09 Evaluating and Optimizing Autonomous Text Classification Systems 1996-11-26 David D. Lewis Ballistic Multi-Asteroid Flyby Trajectories of the Large Main Belt Asteroids 1999-01-21 Generalizing Refinement Operators to Learn Prenex . . . 2000-11-16 The Query Complexity of Program Checking by Constant-Depth Circuits 1999-05-17 Voting on Policies in Committees: A Welfare Analysis 1998-11-12 Beyond Competitive Analysis 1997-12-18 Color Opponency Constitutes A Sparse Representation For the Chromatic Structure of Natural Scenes 2001-01-02 On Weak Base Hypotheses And Their Implications For Boosting Regression And Classification 2000-12-22 Wenxin Jiang An Ordinal Analysis of parameter free ...-Comprehension: Part I 2000-12-12 Michael Rathjen Norbert Jankowski 2000-06-19 LITE Measurements of Sea Surface Directional Reflectance and the Link to Surface Wind Speed 1999-01-21 A Real-Time Filled Pause Detection System For Spontaneous Speech Recognition 1999-10-19 Infinitary Queries and Their Asymptotic Probabilities I: Properties Definable in Transitive Closure Logic 2000-12-12 A Support Vector Machine Approachto Decision Trees 2000-08-21 Agent Technology for the UMTS VHE Concept 2001-01-08 Toward Complexity-Effective Verification: A Case Study of the Cray SV2 Cache Coherence Protocol 2000-05-04 CMIS/P++: Extensions to CMIS/P for Increased Expressiveness and Efficiency in the Manipulation of Management Information 1999-09-15 Blackboard Segmentation Using Video Image of Lecture and Its Applications 2000-11-28 Use Your Logic 2000-03-02 Rajeev Gor Automatic Acquisition of Domain Knowledge for Information Extraction 2000-06-21 IWNR - Extending A Public Multilingual Taxonomy to Russian 1999-11-19 Report of the THESEUS Working Group 2000-12-06 Sepia 2000-11-28 Traffic Control Scheme for Interconnection of FDDI Networks through ATM Network 1996-05-07 Slice Models in General Purpose Modeling Systems 1970-01-01 When are Two Games the Same? 2000-12-23 Initialization of Adaptive Parameters in Density Networks 2000-06-20 The financial benefits of the IMF 2000-10-31 Martijn Schrijvers A Note on the Dynamics of Piecewise-Autonomous Bistable Parabolic Equations 2000-12-28 Your Morals Are Your Moods 2000-12-14 Hierarchical Dummy Fill for Process Uniformity 2000-11-20 Interspike Interval Variability for Balanced Networks With Reversal Potentials for Large Numbers of Inputs 2000-11-29 Mode Analysis Domains for Typed Logic Programs Extended Abstract 1999-08-16 Optimal Conguration of an Embedded Parallel System for Synthetic Aperture Radar Processing 2000-02-02 High Order Error Constants Of Clenshaw-Curtis Product Rules 2000-10-16 Knut Petras An Efficient Priority-Based Dynamic Channel Allocation Strategy for Mobile Cellular Networks 1999-09-15 The InterBase Parallel Language: Supporting Distributed Transaction Applications 1999-06-18 A Distributed Algorithm for Delay-Constrained Unicast Routing 1999-09-15 Threshold Calibration in CLARIT Adaptive Filtering 2000-06-29 Efficient Indexing for Constraint and Temporal Databases 2000-09-07 Sridhar Ramaswamy Fitting Uncertain Data with NURBS 2000-09-14 Coupled Canonical Grid/Discrete Dipole Approach for Computing Scattering from Objects Above or Below a Rough Interface 2000-12-31 An Interdisciplinary Study Of Information Systems: Christopher Alexander And IS Failure. 2000-05-04 Chris Kimble An Algorithm for Trading and Portfolio Management Using Q-learning and Sharpe Ratio Maximization 2001-01-03 Open Problems in Rewriting 2000-05-22 A Real-Time Computer Vision System for Vehicle Tracking and Traffic Surveillance 1998-12-02 Boosting the Margin: A New Explanation for the Effectiveness of Voting Methods 2001-01-04 Select Z Bibliography 1970-01-01 Jonathan P. Bowen The WIMP Limit from an Accelerator Experiment 2000-12-20 Christopher N. Booth The Output Gap and Optimal Monetary Policy 2001-01-03 VIPER: A VLIW Integer Microprocessor 1993-07-02 The Tunneling Algorithm for Partial CSPs and Combinatorial Optimization Problems 1996-09-26 A New Proof of the Weak Pigeonhole Principle 2000-12-17 Economic Integration: An Empirical Assessment 2000-12-12 Environnement Graphique Interactif pour le Langage Eiffel// 1996-06-19 Just Draw It! Programming by Sketching Storyboards 1995-12-19 Erwin Laure 2000-12-28 Erwin Laure Universal Configurations in Light-Flipping Games 2000-11-30 Free-Hand Pointer by Use of an Active Stereo Vision System 1999-01-26 Preprocessing of Intractable Problems 2000-09-07 Scheduling Data Transfers in a Network and the Set Scheduling Problem 2000-12-29 Clustering Noisy Data with Deterministic Annealing 1995-10-25 Mattias Ohlsson Content-Based Addressing and Routing: A General Model and its Application 2000-12-29 ATA memo 15 2000-12-05 Douglas Bock Finding Elliptical Shapes in an Image Using a Pyramid Architecture 1996-11-11 The of Jovian North Equatorial Context of Galileo Latitude 1999-01-21 A New Strategy for Simulating From Mixture Distributions With Applications to Bayesian Model Selection 2000-11-23 A Cellular Nerve for Higher Categories 2000-12-08 Clemens Berger Model-Based Travel Planning 1970-01-01 Markov Chain Monte Carlo Calibration of Stochastic Volatility Models 2000-11-06 Measures Of Simultaneous Approximation For Quasi-Periods Of Abelian Varieties 2000-11-27 Pierre Grinspan Point and window queries with linear spatial indices: an evaluation with O2 1997-08-08 Orthogonal Block Building Using Ordered Lists of Ternary Vectors 2000-10-12 Neural Minimal Distance Methods 2000-06-20 al. Upper limits on gaseous CO at Pluto and Triton 1 2001-01-04 Automating the Linking of Content and Concept 1970-01-01 Image Segmentation Using Fractal Dimension 1997-05-16 Richard Vuduc Understanding Interactions Among Genetic Algorithm Parameters 1998-12-04 Strengths and Weaknesses of Quantum Computing 1999-01-18 Order Imbalance and the Cross-Section of Expected Stock Returns 2000-12-05 Tarun Chordia Harmonic Analysis of Neural Networks 1998-09-14 Emmanuel J. Cand`es Neural Network Frames On The Sphere 2000-12-04 Evaluating the GPRS Radio Interface for Different Quality of Service Profiles 2000-11-23 Sensomotoric Correlations As Basis For a Model Of Motor Control 2000-11-22 Automatic Retrieval of Anatomical Structures in 3D Medical Images 1999-03-17 Regional Least-Cost Error Repair 2000-12-20 A New MERIT Version for MPEG-2 Encoded Files 2000-12-19 Alain Pagani Why Averaging Classifiers Can Protect Against Overfitting 2001-01-04 Accurately and Reliably Extracting Data from the Web: A Machine Learning Approach 2000-11-08 Adaptive Knowledge Management: A Meta-Modeling Approach and its Binding to XML 2000-12-02 Quikwriting: Continuous Stylus-based Text Entry 1998-04-30 Ken Perlin Unknown 1999-01-21 X. Steve Yao A Taxonomy for Multimedia and Multimodal User Interfaces 1998-03-29 A Visualization Interface for Document Searching and Browsing 2000-11-29 Cluster-Based Scalable Network Services 1998-09-08 Comparison of Coding DNA 1999-04-20 A Syntax-Directed Level Building Algorithm for Large Vocabulary Handwritten Word Recognition 2000-11-18 A Scaling Law for the Validation-Set Training-Set Size Ratio 1996-07-09 Isabelle Guyon Cache and Pipeline Sensitive Fixed Priority Scheduling forPreemptive Real-Time Systems 2000-12-06 J Orn Schneider Generalized Eigenvalues of a Definite Hermitian Matrix Pair 1997-06-24 a Wide Class of Analysis and Design Software 1999-01-21 Super Resolving Texture Mapping from Multiple View Images for 3D Model Construction 2000-10-03 Hideo Saito An Intelligent SQL Tutor on the Web 1999-12-01 Surfels: Surface Elements as Rendering Primitives 2000-10-02 Including Biological Literature Improves Homology Search 2000-09-28 Further Attacks on Server-Aided RSA Cryptosystems 1970-01-01 James Mckee Dissertation 1999-11-09 Fakultat Informatik Clause patterns in Modern British English: A corpus-based quantitative study 1997-06-23 Visual Guidance of Autonomous Vehicle Based on Fuzzy Perception. 1998-11-26 A Secure Execution Framework for Java 2000-08-11 ET++SwapsManager: Using Object Technology in the Financial Engineering Domain 2000-02-03 Is It Possible to Discriminate Odors With Common Words? 1995-12-04 Recognizing Local Weather Patterns with Traditional and Neural Network Methods 2000-02-23 Communication-Efficient Parallel Dense LU Using a 3-Dimensional Approach 2000-12-07 Maximizing Non-Linear Concave Functions in Fixed Dimension 2000-12-07 Sivan Toledo Verification of Hybrid Systems: Monotonicity in the AHS Control System 2000-07-19 Identifying and Classifying Processes traditional and soft factors that Support COTS Component Selection: A Case Study 2000-07-06 A Comparison of Nature Inspired Heuristics on the Traveling Salesman Problem 2000-10-25 Knowledge Portals - Ontologies at Work 2000-12-04 Correlation-Based Visual Tracking enhanced by Affine Motion Description 1998-03-02 The Protein Non-Folding Problem: Amino Acid Determinants Of Intrinsic Order And Disorder 2000-11-21 q-ADDITIVE FUNCTIONS AND WELL DISTRIBUTION 2000-08-10 Michael Drmota Hierarchical Radiosity with Multiresolution Meshes 2000-12-03 Contact Graphs of Curves 1996-02-06 Relating Defeasible and Normal Logic Programming through Transformation Properties 2000-12-11 Modeling the Auditory Organization of Speech - a Summary and Some Comments 1998-04-23 Daniel P. W. Ellis Experimental On-Line Learning For A Benchmark Process 1999-12-22 Building Wide Area 2-D Site Models From High Resolution Fully Polarimetric Synthetic Aperture Radar Images 1996-09-23 S. Kuttikkad A Standard Approach for Optimizing Belief Network Inference using Query DAGs 1970-01-01 Stimulus Control And Generalization Of Point-Loss Punishment With Humans 2000-06-09 Robust Lane Recognition Embedded in a Real-Time Driver Assistance System 1998-11-26 Quantum Bit Escrow Preliminary version Not for distribution 2000-09-08 Reuse of linked Documents through Virtual Document Prescriptions 1998-01-29 Appearance-Based Visual Learning and Object Recognition with Illumination Invariance 2000-12-10 Application Of Importance Sampling To Transition Class Models With Rare Events 2000-12-21 Werner Sandmann Technical Committee 1999-08-11 M Interface Practical Schemes for Fat-Tree Network Construction 1999-04-17 Andre Dehon Fast and Efficient Incremental Learning for High-dimensional Movement Systems 2000-06-21 Toward Feature Algebras in Visual Databases: The Case for a Histogram Algebra 2000-12-06 Amarnath Gupta A Query Language for NC 2000-10-30 Genetic Programming for classification of brain tumours from Nuclear Magnetic Resonance biopsy spectra. 1996-04-19 Normal Forms for Context-Free Node-Rewriting Hypergraph Grammars 2000-03-29 Renate Klempien-hinrichs Knowing When to Stop 2000-12-22 Brendan J. Frey Rule-Based Spatial Reasoning for the Reconstruction of Roofs 1996-03-11 Demonstration Of Mi For Low Cost Orbit Determination 1999-01-21 L. J. Remans A Hopfield learning rule with high capacity storage of time-correlated patterns 1999-08-19 Moderating the Outputs of Support Vector Machine Classi ers 2000-08-02 James Tin-yau Kwok Time-Independent Gossiping on Full-Port Tori 1998-09-29 The Simplest Subdivision Scheme for Smoothing Polyhedra 1970-01-01 Efficient Search for Association Rules 2000-08-02 Geoffrey I. Webb Reconfigurable Adaptive RAKE Receiver for Wideband CDMA Systems 1999-03-01 An Immersion Model for Software Engineering Projects 1999-11-24 Survival Analysis With Long-Term Survivors and Partially Observed Covariates 2000-12-15 Computation and Visualization of Degenerate Repeats in Complete Genomes 2000-12-18 Low Memory Cost Dynamic Scheduling of Large Coarse Grain Task Graphs 2000-12-02 Some Comments on Event Generators for Deeply Inelastic 1998-11-23 Leif Lonnblad Partitioned-Bus Architecture Synthesis Based on Data Transfer Model 1999-08-20 Generalized Quantifiers and 0-1 Laws 2000-12-12 Vector optimization: Singularities, Regularizations 1999-03-12 A Question About Hierarchical Systems 1999-05-19 Pravin Varaiya Competition and Market Dynamics on the Russian . . . 2000-07-07 Neural Network Tool for Data Mining: SOM Toolbox 2000-04-18 Defining and Validating High-Level Design Metrics 2000-12-11 Mechanisms of Shared Attention for a Humanoid Robot 2000-09-13 Brian Scassellati Uniform Growth Of Polycyclic Groups 2000-09-28 Roger C. Alperin Economics, Ecologics, And Mechanics: The Dynamics Of Responding Under Conditions Of Varying Motivation 1997-03-13 Peter Killeen Application of the Hardness Theory when Solving the Timetabling Problem with Genetic Algorithms 1999-08-25 Intelligent Control And Supervision At Centro De Informtica E Sistemas Da Universidade De Coimbra 1999-12-22 A Case Study in Vanishing Viscosity 2000-11-29 On Occam's Razor 2000-10-02 Marcus Pivato Ordering for Factored Approximate Inverse Preconditioners 2001-01-07 Nonlinear Schrödinger equations with steep potential well 2000-12-05 Look, Who's Visiting ? Supporting Visitor Awareness in the Web 2000-11-28 Solo Diagrams 2000-10-23 Cranium: An Interface for Message Passing on Adaptive Packet Routing Networks 1997-07-10 Toward Accurate Models of Achievable Routing 2001-01-03 Using Neural Networks to navigate "Car on the Hill" on-line 1996-04-22 Leonid Kuvayev Multivariable Adaptive Control Using An Observer Based On A Recurrent Neural Network 1999-12-22 J. Henriques Characteristics L'robe From 1999-01-21 ISOGAL-DENIS detection of red giants with weak mass loss in the Galactic Bulge 1999-07-08 Optical Coupling Mechanisms in Quantum Well Infrared Photodetectors 1999-01-23 On the Power of Deterministic Transitive Closures 2000-12-20 Evaluation of Item-Based Top-N Recommendation Algorithms 2000-11-08 George Karypis A Digital On-Demand Video Service Supporting Content-Based Queries 1999-11-30 The Role Of Contextual Clues In The Creation Of Information Overload 2000-04-13 Better Random Sampling Algorithms for Flows in Undirected Graphs 1997-11-09 David R. Karger An Integrated Metamodel for OCL Types 2000-12-01 Thomas Baar Simple, Efficient Routing Schemes for All-Optical Networks 1997-04-23 Reducing Coherence-Related Communication in Software Distributed Shared Memory Systems 2000-09-02 The Method Of Adjoint Problems For The Domain Sensitivity Analysis Of The Acoustic Far Field Pattern. Part I: 2d Domains With Corners 2000-11-22 Hans-Paul Schwefel 1998-07-30 Hans-paul Schwefel Atmospheric radiative equilibria Part II: Bimodal solutions for atmospheric optical properties 2000-12-11 Linear Speed-Up, Information Vicinity, and Finite-State Machines 1994-05-20 Kenneth W. Regan A Collaborative Environment for Authoring Large Knowledge Bases 2000-12-21 Peter D. Karp Portable Parallel Programming on Emerging Platforms 2000-12-14 Model for Unistroke Writing Time 2000-12-13 Poika Isokoski Compiling Source Descriptions for Efficient and Flexible Information Integration 2000-12-01 Inferring language change from computer corpora: Some methodological problems 1997-06-24 Robot Catching 2000-12-05 Marcia Riley Leveraged Vector Machines 2000-04-11 Yoram Singer Structural Relations, Cointegration and Identification: Some Simple Results and Their Application 2000-11-01 Compact Analog VLSI 2-D Velocity Sensor 1998-11-26 Dumbing Down Mathematics and Science: Sizer's Essential Schools 1998-07-07 Carl D. Oner Finding The Hidden Path: Time Bounds For All-Pairs Shortest Paths 1995-01-27 Goal-driven Answer Extraction 2000-12-12 Decision Tree Construction for Data Mining on Cluster of Shared-Memory Multiprocessors 2001-01-10 Communication and Organization in Software Development: An Empirical Study 1999-11-10 A Basic Calculus for Verifying Properties of Synchronously Interacting Objects 2000-07-19 Logic-based Subsumption Architecture 1998-06-12 Multivariable Adaptive Control Using A Recurrent Neural Network 1999-12-22 Phenotypic Plasticity in Evolving Neural Networks 2000-12-19 A Rule-based Method to Shift between Learning Protocols 2000-12-08 Estimating Density Functions: A Constrained Maximum Likelihood Approach 1999-06-13 Probabilistic Communication Optimizations and Parallelization for Distributed-Memory Systems 2000-11-24 A Partial Order Approach to Noisy Fitness Functions 2000-12-22 G Unter Rudolph Curio: A Novel Solution for Efficient Storage and Indexing in Data Warehouses 1999-04-12 MasPar Data Display Library MPDDL Reference Manual 1992-10-20 A Brief Survey On The Algebraic Solutions Of A Particular Case Of The Painleve' Vi Equation 1970-01-01 M. Mazzocco ADAPTATION IN A MULTI-AGENT SYSTEM THROUGH SEMANTIC ADDRESSING Staffan Hgg 1998-02-18 Staffan Hgg Investigation Of A Special 6-6 Parallel Platform For Contour Milling 2000-05-02 Exact and Approximate Sampling from the Stationary Distribution of a Markov Chain 1999-01-15 Michael K. Schneider Self annealing and self annihilation: Unifying deterministic annealing and relaxation labeling 1999-08-10 Anand Rangarajan Tailoring the Interaction with Users in Web Stores 2001-01-04 Valued-Based Decision Model For Renewal Processes In Software Maintenance 1999-11-10 Using Constraint Lines for Estimating Egomotion 1970-01-01 Manolis I. A. Lourakis Modelling Pinchoff and Reconnection in a Hele-Shaw Cell I: The Models and their Calibration 2000-05-04 Stability Analysis Of A Class Of Nonlinear Multirate Digital Control Systems 1999-02-04 The Instability Of Parallel Prefix Matrix Multiplication 1997-07-22 Roy Mathias Measuring with Jugs 2000-08-04 Robust Proximity Queries: an Illustration of Degree-driven Algorithm Design 1997-04-17 Density Theorems for the Domains-With-Totality Semantics of Dependent Types 2000-06-26 Ulrich Berger Normal Matrices and Polar Decompositions in Indefinite Inner Products 2000-11-23 Horn's Problem and Semi-Stability for Quiver Representations 2000-11-30 FX Trading... LIVE! - Dealer Behavior and Trading Systems in Foreign Exchange Markets 2000-11-21 I/O-Conscious Volume Rendering 2000-11-30 Study of symmetry in Constraint Satisfaction Problems 1996-12-10 Belaid Benhamou Approximation Algorithms for Segmentation Problems 1997-12-18 Polygonizing Implicit Surfaces in a Purely Functional Way 2001-01-16 A Timing-Driven Soft-Macro Placement and Resynthesis Method in Interaction with Chip Floorplanning 2000-11-20 Pavlov and Skinner: Two Lives in Science An Introduction to B.F. Skinner's "Some Responses... 2000-07-25 A Negotiation-based Interface Between a Real-time Scheduler and a Decision-Maker 1994-06-27 Uniform Stabilization of the Higher Dimensional System of Thermoelasticity with a Nonlinear Boundary Feedback 2000-03-27 A spectroscopic study of the eclipsing binaries SV Camelopardalis and XY Ursae Majoris 2000-11-21 Classes of service under competition and technological change: a model for the dynamics of the Internet? 2000-10-06 Daniel Lehmann Quantized chaotic dynamics and non-commutative KS entropy 1997-04-26 Union Records and Dossiers: Extended Bibliographic Information Objects 2000-05-03 Common Quadratic Lyapunov-Like Function With Associated Switching Regions For Two Unstable Second-Order Lti Systems 2000-08-17 File System Design for an NFS File Server Appliance 1997-11-27 Impact of Signal Delay Uncertainties in Open Communication Networks on Load Frequency Control 2000-07-23 Extinction Of Responding Maintained By Timeout From Avoidance 1999-02-07 Mark Galizio Optimizing Regular Path Expressions Using Graph Schemas 2000-10-30 Dan Suciu A Survey of Visibility for Walkthrough Applications 2000-12-06 On the Practical Feasibility of Secure Distributed Computing: a Case Study 2000-09-18 Gene Expression RFP Response 2000-11-21 Netgenics Inc Semiotics and Agents for Integrating and Navigating through Multimedia Representations of Concepts 1970-01-01 Applying Programming Language Implementation Techniques to PROCESSOR SIMULATION 2000-12-01 Eric C. Schnarr The Impact of Payo Function and Local Interaction on the N-player Iterated Prisoner's Dilemma 1970-01-01 Syncategorematic Conjunction and Structured Meanings 1997-05-26 Yoad Winter Disseminating Information but Protecting Confidentiality 2000-12-27 Lefschetz and Nielsen Coincidence Numbers on Nilmanifolds and Solvmanifolds 2000-09-09 Christopher K. Mccord Building Herbrand Models for Sets of Guarded Clauses 2000-10-02 Michael Dierkes Implementing the Learning Web 2000-07-08 Final-State Properties In The Ldc Monte Carlo 1998-06-22 Leif Lonnblad A Multicast Routing Protocol for Ad-Hoc Networks 1999-09-26 Linkages Between Agricultural Growth and Improved Child Nutrition in Mali 2000-11-21 An Extension Of A Result Of Lewis 1999-01-28 Tin-yau Tam Combining Local Search with Co-Evolution in a Remarkably Simple Way 2000-11-15 Internet Mobility 4x4 2000-06-09 Learning to Identify and Track Faces in Image Sequences 2000-01-05 Disambiguation by Association: Two Algorithms and their Assessment 1999-11-19 Table des Matieres 2000-02-21 Formal Foundation of Information Retrieval 2000-12-03 Sandor Dominich Nonlinear Contact Control for Space Station Dexterous Arms 1999-01-27 Quadratic Convergence Of A Penalty Method For Valuing American Options 2000-12-11 Thermal Relaxation in Young Neutron Stars 2000-12-16 Customized Atomicity Specification for Transactional Workflows 2000-12-13 GAMMA: Architecture, Programming Interface and Preliminary Benchmarking 1997-02-24 Giovanni Chiola Global Asymptotic Stability Criteria for Multilayer Recurrent Neural Networks With Applications to Modelling and Control 1998-09-11 J. A. K. Suykens Embedding tree metrics into low dimensional Euclidean spaces 2001-01-02 Anupam Gupta Positivity of Gauss-Kronrod formulae for a certain ultraspherical weight function 2000-10-16 Knut Petras Beyond Cooperation and Competition : Explorations with a Quantitative Tit-For-Tat Model 2000-12-11 Elpida Tzafestas Dynamics of Erbium--doped Waveguide Lasers: Modelling, Reliable Simulation, and Comparison with Experiments 1997-03-05 Leveraging for Regression 2001-01-04 Constraint Programming Based Column Generation with Knapsack Subproblems 2000-03-17 Rank-Two Relaxation Heuristics for Max-Cut and Other Binary Quadratic Programs 2000-12-19 Population Optimization Algorithm Based on ICA 2000-05-02 CLIQUES: A New Approach to Group Key Agreement 2000-09-06 XML, Stylesheets and the Re-mathematization of Formal Content 2000-11-29 A Randomized Parallel Algorithm for Planar Graph Isomorphism 1999-07-20 T E X Version 1.2 User's Guide 2000-05-31 A Data Mining Framework for Building Intrusion Detection Models 2000-06-26 School Of Computer Studies Research Report Series 2001-01-15 N M Gotts An Information-Theoretic Model For Image Watermarking And Data Hiding 2001-01-10 A System for Customized News Delivery from Video Archives 1999-08-17 Reasoning about Changes and Uncertainty in Browser Customization 1997-02-14 Kerstin Voigt ADIPS Framework for Flexible Distributed Systems 1998-11-20 Tetsuo Kinoshita Reaction Times For Recognition Of Degraded Facial Images 1998-02-11 Sanjiv K. Bhatia The Dirac spectrum of Bieberbach manifolds 1970-01-01 Optimum Routing of Multicast Streams 1994-11-07 Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees 1999-04-01 Simultaneous Quantifier Elimination 2000-10-31 Real-Time Object Detection Using Distance Transforms 1998-11-26 Pseudospectra Of The Convection-Diffusion Operator 2000-02-13 Financial Time Series Forecasts Using Fuzzy and Long Memory Pattern Recognition Systems 2000-03-25 Conjoint Measurement without additivity and transitivity 2000-02-21 Optical Expanders with Applications in Optical Computing 1999-07-20 Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic 2000-12-20 A Constructive Approach to Calculating Lower Entropy Bounds 2000-07-22 Efficient Parallel Factorization and Solution of Structured and Unstructured Linear Systems 2000-09-18 John H. Reif Information--Based Objective Functions for Active Data Selection 1996-05-06 David J. C. Mackay Transposition Table Driven Work Scheduling in Distributed Search 1999-07-08 Marching Optimal-Parameter Ridges: an Algorithm to Extract Shape Loci in 3D Images 1998-03-03 On the Phase-Space Dynamics of Systems of Spiking Neurons. II: Formal Analysis. 2000-10-05 Arunava Banerjee Mobile Information Agents for Cyberspace - State of the Art and Visions 2000-05-27 Todd Papaioannou A Framework for Visual Servoing Tasks 2000-05-18 Efficient Deterministic Algorithms for Embedding Graphs on Books 1998-05-17 Using Linear Programming in the Design and Analysis of Approximation Algorithms: Two Illustrative Problems 1998-10-24 David B. Shmoys Rough set data analysis in the KDD process 2000-03-21 Variational Modeling of Triangular Bezier Surfaces 1998-12-14 Chaos, Spatial Extension and Non-Equilibrium Thermodynamics 2000-11-03 Jurgen Vollmer On-line Learning Based on Adaptive Similarity and Fixed Size Rule Base 1999-12-22 Evaluation And Real-Time Implementation of Blind Source Separation System Using Time-Delayed Decorrelation 2000-04-20 Palimpsest memories: a new high-capacity forgetful learning rule for Hopfield networks 2000-05-25 Amos Storkey Adaptive Support for Coaching Meta-Cognitive Skills 2000-01-21 Cristina Conati Spatial Equalisation of Sound Systems in Cars by Digital Inverse Filtering 2000-10-08 Multigrid Methods For Saddlepoint Problems Arising From Mortar Finite Element Discretizations 1999-03-11 Barbara I. Wohlmuth Comparison of Measurement-based Admission Control Algorithms for Controlled-LoadService 1999-09-15 Reliable and Efficient Pattern Matching Using an Affine Invariant Metric 1998-12-14 Mobile Agents: Are They Useful for Establishing a Virtual Presence in Space? 1999-01-14 Todd Papaioannou Evolutionary Parameter Optimization for Visual Obstacle Detection 1999-12-09 View-Centered Conceptual Modelling - An Object Oriented Approach 2000-06-15 Generating and Evaluating Designs and Plans for Microwave Modules 2000-09-27 A Portable Debugger for Parallel and Distributed Programs 1995-02-06 A Fully Automatic Alignment of Electron Tomography Images Without Fiducial Markers 2000-09-01 Sami Brandt Exploiting Application Tunability for Efficient, Predictable Parallel Resource Management 2000-08-11 Evaluating Defect Detection Techniques for Software Requirements Inspections 2000-10-30 Metropolis Light Transport for Participating Media 2000-10-30 The Parity of the Sum-of-Digits-Function of Generalized Zeckendorf Representations 2000-08-10 MyXML: An XML based template engine for the generation of flexible web content 2000-12-01 Using Design Patterns to Reveal the Competence of ObjectOriented Methods in System-Level Design 2000-07-14 Towards a theory of everything? - Grand challenges in complexity and informatics 2000-07-19 Improving the Address Translation Performance of Widely Shared Pages 1997-07-09 Dipole Force Trapping of Caesium Atoms 2000-11-23 Hash and Displace: Efficient Evaluation of Minimal Perfect Hash Functions 1999-05-01 Rasmus Pagh Inference and Learning in Hybrid Bayesian Networks 2000-08-18 Kevin P. Murphy A Type System for Dynamic WebDocuments 1999-11-02 Algorithmic Theories Of Everything 2000-12-27 Jurgen Schmidhuber A Geometric Approach to Leveraging Weak Learners 2001-01-04 Nonholonomic Kinematics and Dynamics of the Sphericle 1970-01-01 Object Tracking and Multimedia Augmented Transition Network for Video Indexing and Modeling 2000-11-26 Who Does What? A Novel Algorithm to Determine Function Localization 2000-12-17 Stability Analysis of Switched Systems with Stable and Unstable Subsystems: An Average Dwell Time Approach 2000-03-09 Class Discovery in Gene Expression Data 2001-01-03 Towards Learning New Methods in Proof Planning 2000-09-21 Supporting Cooperative and Personal Surfing with a Desktop Assistant 1998-04-23 Blind Deconvolution of Dynamical Systems: A State-Space Approach 1999-12-17 An Architecture to Support Scalable Online Personalization on the Web 2001-01-09 Author Guidelines for 8.5x11-inch Proceedings Manuscripts 1999-08-31 A Youth Based Community 2000-02-02 Phil Costigan Bayesian Modeling of Human Concept Learning 1999-09-10 Joshua B. Tenenbaum An Analysis of Buffer Sharing and Prefetching Techniques for Multimedia Systems 1999-11-30 Raymond T. Ng Building a Better Intercom: Context-Mediated Communication within the Home 2000-12-08 Autonomous Compliant Motion: the Bayesian approach 2000-12-31 Multi-angle Imaging SpectroRadiometer Instrument Description and Experiment Overview 1999-01-21 Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector 2000-12-12 Real-Time Support in General Purpose Operating Systems 2001-01-04 Kartik Gopalan Learning and Incentive Compatible Mechanisms for Public Goods Provision: An Experimental Study 1998-09-07 Efficient Glossy Global Illumination with Interactive Viewing 2000-11-25 Transplantation of Local Nets and Geometric Modular Action on Robertson-Walker Space-Times 2000-12-18 Construction of DO Loops from Systems of Affine Constraints 1993-05-25 Which Graphs for Visual Modeling? 2000-07-24 Assessing Nitrogen Stress In Corn Varieties Of Varying Color 2000-11-30 Increasing The Variability Of Response Sequences In Pigeons By Adjusting The Frequency Of Switching Between Two Keys 1997-07-15 Armando Machado Applying Sieving To The Computation Of Quadratic Class Groups 1998-04-09 Michael J. Jacobson Hypergraph Traversal Revisited: Cost Measures and Dynamic Algorithms 1998-06-15 Improved Modeling and Efficiency for Automatic Transcription of Broadcast News 2000-07-05 Instant Messaging: Effects of Relevance and Timing 2000-05-01 Recursive Handwriting Recognition Using Epistemic Utility Theory 2000-04-11 Ricci-Flat Kähler Metrics On Canonical Bundles 2000-06-28 Roger Bielawski On Natural Life's Tricks to Survive and Evolve 1998-07-30 Efficient Learning using Constrained Sufficient Statistics 1999-02-11 A Unifying Approach to HTML Wrapper Representation and Learning 2000-11-28 Calculation Carrying Programs - How to Code Program Transformations - 2000-11-29 Generalized Connection Caching 2000-12-14 Self-Maintainability of Deletions in Conjunctive Queries 1970-01-01 Millist W. Vincent Dynamic Trees: A Structured Variational Method Giving Efficient Propagation Rules 2000-12-06 Amos J Storkey Relationships between Models of Concurrency 2000-09-12 Do Simple Cells In Primary Visual Cortex Form A Tight Frame? 2000-11-20 Bounds on the number of ESSs of a matrix game 2000-11-20 On Packing and Embedding Hypercubes into Star Graphs 1996-04-16 Data Synchronization with Timing 2000-09-25 The Cramer-Rao Bound for Poisson Distribution 1997-01-20 Admissibility of Fixpoint Induction over Partial Types 1998-04-16 Karl Crary No Silver Bullet : Inherent Limitations of Computer Security Technologies 2000-06-20 Domain Sensitivity Analysis for Acoustic Scattering Problems 2000-08-08 Semi-Bounded Restrictions of Dirac Type Operators and the Unique Continuation Property 1970-01-01 Scaling Up Inductive Algorithms: An Overview 1999-12-10 The Contribution of Thumbnail Image, Mouse-over Text and Spatial Location Memory to Web Page Retrieval in 3D 2001-01-03 Fast Accurate Eigenvalue Computations Using The Cholesky Factorization 1997-07-22 Roy Mathias Cointegration and Exchange Market Efficiency: An Analysis of High Frequency Data 2000-08-08 On the Validity of the Likelihood Ratio and Maximum Likelihood Methods 2000-12-09 Michael D. Perlman Watermarking Based On Duality With Distributed Source Coding And Robust Optimization Principles 2000-12-06 Reactive Robots In The Service Of Production Management 2000-12-11 Elpida S. Tzafestas Protocol Parallelization 1997-07-03 Joseph D. Touch Robust Reinforcement Learning in Motion Planning 1995-01-24 Structure Identification of TSK-Fuzzy Systems using Genetic Programming 2000-12-09 Oliver Nelles Term Premia and Interest Rate Forecasts in Affine Models 2000-11-30 Enumeration of All Solutions of a Combinatorial Linear Inequality System Arising from the Polyhedral Homotopy Continuation Method 2000-11-27 Hybrid Active/Passive Control of Sound Radiation from Panels with Constrained Layer Damping and Model Predictive Feedback Control 2000-12-14 Optimal Reward-Based Scheduling for Periodic Real-Time Tasks 2000-09-27 On Classification of Q-Fano 3-Folds of Gorenstein Index 2. I 2000-11-27 Hiromichi Takagi DUNES: A Performance-Oriented System Support Environment for Dependency Maintenance in Workstation Networks 2000-03-06 Kihong Park Realistic, Hardware-accelerated Shading and Lighting 2000-09-14 From Context-Free To Definite-Clause Grammars: A Type-Theoretic Approach 1996-02-17 A Stereo Vision-Based Aid for the Visually Impaired 2000-01-27 Robustness Analysis Of Digital Feedback Control Systems With Time-Varying Sampling Periods 1999-09-04 CAVE -- Speaker Verification in Banking and Telecommunications 2000-02-03 Applying Fogel and Burgin's `Competitive Goal-Seeking through Evolutionary Programming' to Coordination, Trust, and Bargaining Games 2001-01-13 David B. Fogel Probabilistic measures for responses of Self-Organizing Map units 1999-03-03 State Transition Analysis: A Rule-Based Intrusion Detection Approach 2000-07-19 A Survey of Web Caching Schemesfor the Internet 2000-06-09 Jia Wang Monoscale Ridgelets for the Representation of Images with Edges 2000-11-03 Emmanuel J. C Radar Detection of Near-Earth Asteroids 2062 Aten, 2101 Adonis, 3103 Eger, 4544 Xanthus, and 1992 QN 1999-01-21 Faulty Random Geometric Networks 2000-10-17 Writing Of Bragg Gratings With Wavelength Flexibility Using A Sagnac Type Interferometer And Application To Fh-Cdma 2000-10-05 ALGEBRAS OF SYMMETRIC HOLOMORPHIC FUNCTIONS ON l p 2000-12-01 Scaling Violation Analysis Of The H1 F 2000-10-02 MISTRAL: Processing Relational Queries using a Multidimensional Access Technique 1999-09-15 Volker Markl Performance of MAX-CLIQUE Approximation Heuristics Under Description-Length Weighted Distributions 1992-10-06 Buffer Overflow Management in QoS Switches 2000-11-01 Universit ' E De Gen ` Eve 1997-04-26 Constructions Of A Brownian Pathwith A Given Minimum 1999-07-27 On the Paths Length in Interval Routing Schemes 1997-04-23 Reliable Multicast in Multi--access Wireless LANs 1999-09-26 The dying clicks of Yeyi 2000-10-20 Time-Space Tradeoffs for Undirected Graph Traversal 2000-06-11 Collections - Adapting The Display of Personal Objects for Different Audiences 2000-03-22 Quadrature Error Estimates Involving Moduli Of Continuity Of Derivatives 2000-10-16 Knut Petras Rule-Based Named Entity Recognition For Greek Financial Texts 1970-01-01 Truth Revelation in Rapid, Approximately Efficient Combinatorial Auctions 2000-12-08 Improving the Approximation and Convergence Capabilities of Projection Pursuit Learning 2000-08-02 A Model For Phylogenetic Inference Using Structural And Chemical Covariates 2000-11-21 Indecomposable Gorenstein Modules Of Odd Rank 2000-11-27 Reading Checks With Multilayer Graph Transformer Networks 1997-10-10 Concepts for a Watermarking Technique for Music Scores 2000-11-20 Comparing Different Worst-Case Execution Time Analysis Methods 2000-12-22 SkyBlue: A Multi-Way Local Propagation Constraint Solver for User Interface Construction 1996-09-26 Michael Sannella Solution Of A Groundwater Control Problem With Implicit Filtering 1970-01-01 An Economy Grid Architecture for Service-Oriented Grid Computing 2000-12-11 A Hybrid Image Registration Technique for a Digital Camera Image Fusion Application 2000-12-22 Invariance And Noninvariance In The Lattice Of Pi Classes 2000-12-18 On Mixed-Workload Multimedia Storage Servers with Guaranteed Performance and Service Quality 1997-09-22 Robotic Applications 1970-01-01 Uncooled Infrared Detector Linear Arrays With Defectivity Greater Than 10 1999-01-21 First- and Second-Order Bragg Gratings in Single-Mode Planar Waveguides of Chalcogenide Glasses 2000-10-05 An Algorithm for the Asynchronous Write-All problem based on process collision 2000-11-29 Efficient parallel solution of PDEs 2000-12-10 Decidability of Reachability Problems for Classes of Two . . . 2000-02-21 A New Approach to Knowledge Acquisition by Repertory Grids 2000-12-21 Curve Shortening And The Topology Of Closed Geodesics On Surfaces 2000-11-30 Sigurd B. Angenent Phantom: A Simple and Effective Flow Control Scheme 2000-12-18 A Fast, Bottom-Up Decision Tree Pruning Algorithm with Near-Optimal Generalization 2000-12-25 An Algorithm for Finding Hamiltonian Cycles in Grid Graphs Without Holes 1997-01-07 Christopher M. Umans Efficient construction of reversible jump MCMC proposal distributions 2000-12-06 Dynamic Configuration of Conferencing Applications using Pattern-Matching Multicast 1998-08-12 Henning Schulzrinne Graph Approximations to Geodesics on Embedded Manifolds 2000-12-21 Autonomous Vehicles and the Net-Centric Battlespace 2000-12-14 Barbara Fletcher Dense Disparity Map Estimation Respecting Image Discontinuities: A PDE and Scale-Space Based Approach 1970-01-01 Algebra of Behavior Tables 2000-11-27 Habitat Monitoring: Application Driver for Wireless Communications Technology 2001-01-05 Epistasis On Finite And Infinite Spaces 2000-11-23 An Analysis of Various Elastic Net Algorithms 1970-01-01 Applications of Operator Theory to Time-Frequency Analysis and Classification 2000-12-08 Evaluation de d'etecteurs de points d'int'eret pour la couleur Evaluation of point of interest detectors for color images 1970-01-01 Rachid Deriche Joint application of the Dickey-Fuller and 1998-11-16 Motion in a Bose condensate: VIII. The electron bubble 2001-01-04 Collection and Exploitation of Expert Knowledge in Web Assistant Systems 2000-12-15 Extremal Properties for Dissections of Convex 3-Polytopes 2000-11-28 Architecture and Algorithms for Scalable Mobile QoS 2000-10-02 Integrating Message-Passing and Shared-Memory: Early Experience 1997-07-10 What's new about the New Economy? Sources of Growth in the Managed and . . . 2000-10-26 David Audretsch Animating Human Finger Movements: A Feedforward Neural Network Applied To Artificial Tendons 1998-12-16 Current Parsing Techniques in Software Renovation Considered Harmful 2000-12-20 Task Attribute Assignment of Fixed Priority Scheduled Tasks to Reenact Off-line Schedules 2000-12-19 Tunable Diode Lasers for Spectroscopy and Environmental Monitoring 1999-01-21 Building Reconstruction Using Planar Faces In Very High Density Height Data 2000-11-03 George Vosselman A Calibration-Free Gaze Tracking Technique 2000-11-21 Power Load Management as a Multi-Commodity Market 1998-02-18 Fredrik Ygge Fault-Diameter of the Star-Connected Cycles Interconnection Network 1995-06-21 . DCOM Extension Interface Pattern POSA2 2000-11-23 Measurement Based Analysis of Bridging Faults in CMOS Circuits 1994-02-17 Vocalaffect 1998-03-31 Massively Parallel Processing Approach To Fractal Image Compression 2000-01-26 Spectral Duality for Planar Billiards 1997-04-26 J. -p. Eckmann The Control of Synchronous Systems 2000-12-02 Type-Check Elimination: Two Object-Oriented Reengineering Patterns 2000-11-30 ________________________ ________________________ 1996-12-12 Moderating the Outputs of Support Vector Machine Classi ers 2000-08-02 James Tin-yau Kwok Two Discrete Fractional Integrals 2000-12-20 Daniel M. Oberlin Critique of the "Lake Arrowhead Three" 2000-06-27 Improving Performance of Heterogeneous Agents 2001-01-02 Query Optimization in the Presence of Limited Access Patterns 2000-10-30 Soft Computing for Intelligent Knowledge-Based Systems 2000-10-12 Notes on Compound Word Hyphenation in TEX 2000-12-07 Petr Sojka Monitoring human information processing via intelligent data analysis of EEG recordings 2000-11-30 Arthur Flexer Periodicity: An Application of Digraphs to Markov Chains 1997-09-22 Spatial Resolution and Imaging of Gamma-Rays with Germanium Strip Detectors 1998-10-01 An Experiment in Incremental Parsing Using Weighted Constraints. 2000-03-10 Hypermedia Patterns and Components for Building better Web Information Systems 2000-07-11 Hierarchical Design and Analysis of Timed Systems 1999-08-16 Wang Yi Adapting an English Information Extraction System to Swedish 2000-05-04 Kristofer Franzn Low-Latency Communication on the IBM RISC System/6000 SP 1997-07-03 Pattern Recognition and Neural Networks 1997-10-10 A Hierarchical Account of Referential Accessibility 2000-12-05 Compilation of Compound Terms in Prolog 2000-11-28 Micha Meier Do Actions Speak Louder Than Words? An Experimental Comparison of Observation and Cheap Talk 2000-10-11 John Duffy A Hardware-Assisted Visibility-Ordering Algorithm With Applications to Volume Rendering 2000-11-28 Walking through the Semantics of Frame-Based Description Languages: a Case Study 1999-03-19 Deriving Qualitative Rules from Neural Networks - A Case Study for Ozone Forecasting 2000-12-27 Fachberichte INFORMATIK 2000-08-11 Symmetric Parsec-scale OH Megamaser Structures in Arp 220 1999-01-21 Carol J Query Refinement for Multimedia Similarity Retrieval in MARS 1999-08-31 Reasoning 2000-12-01 Jurgen Dix ATM WAN Performance Tools, Experiments and Results 1997-03-19 Galileo Orbit Determination for the Ida Encounter 1999-01-21 P. G. F. T. Nicholson Contextual Knowledge Sharing And Cooperation In Intelligent Assistant Systems. 1999-06-14 NL_q Theory: A Unifying Framework For Analysis, Design And Applications Of Complex Nonlinear Systems 1998-09-11 Hierarchical Character Recognition And Its Use In Handwritten Word/Phrase Recognition 2000-04-11 The Distributed Simulation of Multi-Agent Systems 2000-11-08 Modelling and Analysis of Production Systems Using a Petri Net Based Approach 2000-09-25 Tagging Inflective Languages: Prediction of Morphological Categories for a Rich, Structured Tagset 2001-01-15 Jan Hajic Instantaneous Bethe-Salpeter Equation: Analytic Approach For Nonvanishing Masses Of The Bound-State Constituents 1970-01-01 Using Sparsification for Parametric Minimum Spanning Tree Problems 1996-04-19 Giora Slutzki Clix - A Hybrid Programming Environment for Distributed Objects and Distributed Shared Memory 2001-01-03 Weierstrass and Approximation Theory 2000-12-24 Allan Pinkus Timed Automata and the Theory of Real Numbers 2000-10-31 Separation of Heart Wall in Echocardiograms by Supervised Image Segmentation 1992-12-01 When And How 2000-08-18 Igor Pak On the Content of Materialized Aggregate Views 2000-09-27 Induction of Ripple-Down Rules Applied to Modeling Large Databases 2000-07-07 An Asymptotic Expansion For The Density Of States Of A Random Schr Odinger Operator With Bernoulli Disorder 1997-04-26 Collision Avoidance for Highway Vehicles Using the Virtual Bumper Controller 1998-11-26 Language of Thought Hypothesis: State of the Art 2001-01-03 Murat Aydede O Conte'udo Do Presente Relat'orio 'e De 'unica Responsabilidade Dos Autores. 1999-11-26 Deductive and Object-Oriented Databases 1996-09-13 Serge Abiteboul Convergence Analysis Of Inexact Infeasible-Interior-Point-Algorithms For Solving Linear Programming Problems 2000-02-23 Janos Korzak Model-Checking CSP-Z 1998-01-22 Towards Engaging Full-Body Interaction 2000-07-20 Distributed Collaborative Design To Address Total Ownership Cost 1999-05-11 Interval Timed Coloured Petri Nets and their Analysis 2000-09-25 Completion of Occluded Shapes using Symmetry 1998-11-16 Project Technical Report for Sponsored Project HITA/ESE/JRH/001: Design and Analysis of Database Mining Algorithms 1998-12-24 .1 Thesis 1998-09-02 Malcolm Slaney Recent Advances in System-Level Interconnect Prediction 2000-11-22 Dirk Stroobandt VLSI Complexity Reduction by Piece-Wise Approximation of the Sigmoid Function 1994-10-03 97 M. Wheeler. 1997-12-23 A new 2-D and 3-D thinning algorithm based on successive border generations 1994-07-26 Optimal Configuration of Compute Nodes for Synthetic Aperture Radar Processing 2000-02-02 Data Field Haskell 2000-12-12 Jonas Holmerin Quadrature Errors for Functions with Derivatives of Bounded Variation 2000-10-16 Knut Petras Programming Models for Irregular Applications 1995-01-09 Katherine A. Yelick Expected Qualitative Utility Maximization 2000-04-12 Daniel Lehmann Human Genome Variation: Linking Genotypes To Clinical Phenotypes 2000-11-27 Investigations of C/A Code and Carrier Measurements and Techniques for Rapid . . . 2000-10-31 Caroline Erickson Assessment And Management Of Single Nucleotide Polymorphism Genotype Errors In Genetic Association Analysis 2000-11-21 Derek Gordon The UNIX TimeSharing System 2000-03-24 The Mobile People Architecture 2000-06-09 Discovering Side-Chain Correlation in alpha-Helices 1998-02-20 A Slow Outward Current Activated by FMRFamide in Heart Interneurons of the Medicinal Leech 2000-11-13 Presentation Agents for Speech User Interfaces 2000-04-25 A Confident Decision Support System for Interpreting Electrocardiograms 2000-12-12 A Tool for the Simulation of Electromagnetic Field Dynamic in Complex Environments through Massively Parallel Systems 2000-01-26 Variance Flooring, Scaling And Tying For Text-Dependent Speaker Verification 1999-04-29 Genetic Testing When There is a Mix of Public and Private Health Insurance 2000-11-21 Finding Failure Causes through Automated Testing 2000-07-04 The Cost258 Signal Generation Test Array 2000-11-02 Adoption of Superior Technology in Markets with Heterogeneous Network Externalities and Price Competition 2000-11-07 Results of Applying Probabilistic IR to OCR Text 1995-04-26 Interaction Map : information visualization techniques in web-based distance education environments 2000-12-21 Authentication via Keystroke Dynamics 2000-04-21 Lax Factorization Algebras 2000-12-29 Concept Based Query Expansion 2000-02-03 Differential Geometric Description of 3D Scalar Images 1998-01-06 Bayesian Segmentation of Protein Secondary Structure 2000-11-09 The Whitehead Group Of The Novikov Ring 2000-12-06 The Representation and Recognition of Action Using Temporal Templates 2000-07-05 Spatial Orientation in Navigating Agents: Modeling Head-direction Cells 2000-10-09 Discrete Relaxations of Combinatorial Programs 1970-01-01 Robert Weismantel Training Neural Networks Beyond the Euclidean Distance, Multi-Objective Neural Networks using Evolutionary Training. 2000-10-29 Guarded Fragments of First-Order Logic: A Perspective for New Description Logics? 2000-12-20 Restraining and Complete Refinement Planning 2000-10-25 A Tree Obscured by Vines: Horizontal Gene Transfer and the Median Tree Method of Estimating Species Phylogeny 2000-09-25 Design and Implementation of a Scheduling Unit for a Superscalar Processor 1994-12-21 CS Freiburg: Doing the Right Thing in a Group 2001-01-03 Selectively 2000-09-29 ViewFeature: Integrated Feature Analysis and Visualization 2000-11-21 : A Lambda-Free Logical Framework 2000-11-26 Zhaohui Luo Hankel Operators and Gramians for Nonlinear Systems 2000-07-27 Fibonacci and Galois Representations of Feedback with Carry Shift Registers 2000-10-27 Mark Goresky Probabilistic Latent Semantic Analysis 2000-09-20 Thomas Hofmann on Computer Design 1999-01-24 J. Sheu June 1996 2000-08-01 The Virtual Reality Modeling Language and Java 1999-10-18 Don Brutzman Security for Network Attached Storage Devices 2000-03-24 Improved Resource-Bounded Borel-Cantelli and Stochasticity Theorems 1995-02-16 William W. Cohen Yoram Singer 1999-05-25 An Attractor Model for Hippocampal Place Cell Hysteresis 2000-12-07 Assessing Local Noise Level Estimation Methods 1999-04-28 Christophe Ris Improvements on a Heuristic Algorithm for Multiple-Query Optimization 2000-02-17 Equilibrium Schemes for Scalar Conservation Laws with Stiff Sources 2000-06-06 Testing Commutativity Of A Group And The Power Of Randomization 2000-04-04 Igor Pak Necessary and Sufficient Conditions for Robust Perfect Tracking under Variable Structure Control 1970-01-01 Toward Adaptive Cooperative Behavior 2000-06-15 Elpida S. Tzafestas INTEGRATED MODELING FOR CORPORATE PLANNING AND DEVELOPMENT Pravir Malik and Akash Deshpande 2000-07-19 Online Reconfiguration in Replicated Databases Based on Group Communication 2001-01-04 Quantifying the Impact of Architectural Scaling on Communication 2000-11-17 ExactLearning Boolean Functions via the Monotone Theory 2000-06-09 Nader H. Bshouty An Unsymmetrized Multifrontal LU Factorization 2000-07-18 A Routing and Broadcasting Scheme on Faulty Star Graphs 1996-12-20 The logical meaning of Expansion 2000-04-19 Daniel Lehmann LR Parsing of CFG's with Restrictions 1999-11-26 B. J. Mckenzie Structure Learning in Human Causal Induction 2001-01-09 Analysis of SRPT Scheduling: Investigating Unfairness 2000-11-05 Maxwell-Chern-Simons Scalar Electrodynamics at Two Loop 1997-09-30 Towards Correct Executable Semantics for Z 1970-01-01 Visual Temporal Logic as a Rapid Prototyping Tool 2001-01-08 A Latent Variable Modelling Approach To The Acoustic-To-Articulatory Mapping Problem 2000-05-04 RMCP: Remote Music Control Protocol - Design and Applications - 1998-02-11 Adaptive Control Using A Recurrent Neural Network Observer 1999-12-22 Progress Report on the Optical System for Closed-Loop Testing of the Multiple Mirror Telescope Adaptive Secondary Mirror 2000-05-09 Cellular process and its reconfiguration with Petri Nets 1999-11-10 Odd Primary String Cohomology 2000-10-25 Iver Ottosen P-Selective Sets, and Reducing Search to Decision vs. Self-Reducibility 1993-07-30 Generalized Densities of Order Statistics 1997-10-03 The Effects Of Faraday Rotation On Backscatter Signatures In Sar Image Data 1999-02-22 Estimating the Jacobian of the Singular Value Decomposition: Theory and Applications 1970-01-01 Computational Principles of Learning in the Neocortex and Hippocampus 2000-10-11 Multi-criteria decision quality optimization as a Scheduling problem 2000-03-15 Abdel-illah Mouaddib Decision Complexity in Dynamic Geometry 2000-10-20 Ulrich Kortenkamp Mixed-Initiative Transactions: A Cognitive Engineering Approach to Interface Agent Modeling 1999-12-19 Robert G. Eggleston Category V Compliant Container for Mars Sample Return Missions 2000-12-05 A Blocking Technique for Emulating Very Large Polyelectrolytes 2000-12-12 Performance Modeling of Non-homogeneous Unreliable Multi-Server Systems using MOSEL 2000-12-22 Automated Facial Expression Recognition Based on FACS Action Units 1999-10-01 Diversity versus Quality in Classification Ensembles based on Feature Selection 2000-01-27 Neural Networks for Classification of Ice Type Concentration from ERS-1 SAR Images 1996-08-22 Up and Down Mini-Buckets: A Scheme for Approximating Combinatorial Optimization Tasks 2001-01-10 Using Cinematography Conventions to Inform Guidelines For the Design and Evaluation of Virtual Off-Screen Space 2000-03-29 A General Framework for Multigrid Methods for Mortar Finite Elements 1999-03-17 High Performance Computations for Large Scale Simulations of Subsurface Multiphase Fluid and Heat Flow 2000-08-21 Declarative Specification of Web Sites with STRUDEL 2000-10-30 Reinforcement Learning for 3 vs. 2 Keepaway 2000-12-13 Safe Structural Conformance for Java 1998-07-02 Large Scale Parallel Numerical Integration 1999-09-04 GALERKIN APPROXIMATION OF THE GENERALIZED HAMILTON-JACOBI EQUATION Randy Beard 1995-12-30 A Fast Adaptive Wavelet Collocation Algorithm for Multidimensional PDEs 2000-12-05 Oleg V. Vasilyev What Workflow Technology Can Do For Electronic Commerce 1998-04-06 Holographic Image Representations: the Subsampling Method 2000-03-10 Journal of Theoretics 2000-12-04 William L. Smith Approximable Minimization Problems and Optimal Solutions on Random Inputs 2000-12-12 The Regular Viewpoint on PA-Processes 1999-11-24 A new proof of the Gauss interlace conjecture 1999-04-29 Pierre Rosenstiehl Mechanisms for effective caching in the Globe location service 2000-06-19 A New SNR-Feature Mapping For Robust Multistream Speech Recognition 1999-08-25 Frdric Berthommier Using Sparsification for Parametric Minimum Spanning Tree Problems 2000-12-28 Acoustic Source Separation: Fundamental Issues 2001-01-15 Seungjin Choi Structural Cut Elimination in Linear Logic 1970-01-01 Frank Pfenning Subtopic Structuring for Full-Length Document Access 2000-05-03 Part of Speech Tagging and Lemmatisation for the Spoken Dutch Corpus 2000-09-01 Using High-Speed WANs and Network Data Caches to Enable Remote and Distributed Visualization 2000-05-26 Towards Optimal Lower Bounds For Clique and Chromatic Number 2000-12-04 Lars Engebretsen Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic 2000-12-16 Unknown 2000-11-29 Developing a Hierarchical Reasoning Based Model for the Australian Spatial Data Infrastructure ASDI 2000-12-27 On Schwarz Alternating Methods For Nonlinear Elliptic PDEs 2000-12-28 S. H. Lui Tense as a Nominal Category 2000-10-09 A Calculus for Resource Allocation 1970-01-01 Eike Ritter Real-Time Implementation of Super-Resolution Imaging Algorithm 1999-05-11 Carl Hein Digging for Dead Genes: An Analysis of the Characteristics of the Pseudogene Population in the C. elegans Genome 2000-11-25 On Ordering Constraints for Deduction with Built-In Abelian Semigroups, Monoids and Groups 2001-01-09 Self-organisation in Vowel Systems 2000-12-15 Laboratorium Voor Artificile Intelligentie Regular Expression Pattern Matching for XML 2000-11-08 A Viability Analysis of Cooperative Proxy Caching 2001-01-08 Precision-calibration of Fiber-optics Gyroscopes for Mobile Robot Navigation 2000-07-19 Avoided Crossings of Lyapunov Exponents of Disordered Chaotic Systems 2000-07-12 Extended 1999-11-30 Markov Random Fields and Neural Networks with Applications to Early Vision Problems 1999-04-21 What Experiments Are Suitable to Access the Prediction of Toxic Effects of Chemicals? 1999-07-09 Emilio Benfenati Stream Combination Before and/or After the Acoustic Model 2000-01-22 A New Parallel Domain Decomposition Preconditioner II: Generalization to a Mesh-Free Parallel Solver 1999-04-14 A Distributed OLAP Infrastructure for E-Commerce 2000-07-13 Uniqueness of Solutions to Structure and Motion from Combinations of Point and Line Correspondences 2000-03-10 Controlled Multimedia Wireless Link Sharing via Enhanced Class-Based Queuing with Channel-State-Dependent Packet Scheduling 1999-09-15 A preliminary database of DENIS point sources 1999-07-08 Use of Bias Term in Projection Pursuit Learning Improves Approximation and Convergence Properties 2000-08-02 The Restricted and Bounded Fixpoint Closures of the Nested Algebra are Equivalent 2000-10-30 Evolving non-Trivial Behaviors on Real Robots: a garbage collecting robot 2000-12-19 Stefano Nolfi The Random Subspace Method for Constructing Decision Forests 2000-07-06 Tin Kam Ho Decomposing Specifications of Concurrent Systems 2000-06-27 Strong Bias of Group Generators: An Obstacle to the "product Replacement Algorithm" 2000-08-17 Igor Pak Using Knowledge in its Context: Report on the IJCAI-93 Workshop 1997-09-06 Decision Algorithms for Multiplayer Non-Cooperative Games of Incomplete Information 2000-10-25 A New On-line Testing and Remediation Strategy for Engineering Mathematics 2000-08-30 A Global Lower Bound on Parameter Estimation Error with Periodic Distortion Functions 1999-12-15 Visualization of Navigation Patterns on a Web Site Using Model Based Clustering 2000-03-07 Experience Factory: Learning From Software Engineering Experiences 2000-06-07 Meta-Functions of Artifacts 2000-06-23 Rayleigh-Taylor Instability of Viscoelastic Drops at High Weber Numbers 2000-07-24 New Multiparty Authentication Services and Key Agreement Protocols 2000-09-06 Dispersionless Toda and Toeplitz Operators 2000-11-09 The Free Haven Project: Distributed Anonymous Storage Service 2000-07-19 How to Write a Proof 2000-06-27 Counting Probability Distributions: Differential Geometry and Model Selection 2000-01-18 Experimental Evaluation of Dynamic Data Allocation Strategies in a Distributed Database With Changing Workloads 1999-06-03 Tailoring Recursion for Complexity 2000-12-12 Inductive Definability with Counting on Finite Structures 2000-12-12 Recommendations and Reports 2000-11-13 Pragmatism, Science, And Society: A Review Of Richard Rorty's Objectivity, Relativism, And Truth: Philosophical Papers, Volume 1 1999-05-09 Checking Object Systems Via Multiple Observers 2000-11-20 Mathematical Modeling and Numerical Simulation of Freezing Processes of a Supercooled Melt under Consideration of Density Changes 1999-11-26 Training Algorithms for Hidden Markov Models Using Entropy Based Distance Functions 1998-10-06 Extensions to ANSAware for advanced mobile applications 1996-06-27 The Chebyshev Polynomials Of A Matrix 1999-09-20 Characterisation of Anisotropic, Non-Homogeneous Beam Sections with Embedded Piezo-Electric Materials 2000-02-11 Meta-Learning for Phonemic Annotation of Corpora 2000-08-22 by Norbert Govert and Ulrich Pfeifer 1970-01-01 Kolmogorov's Complexity Conception of Probability 2000-05-26 Volodya Vovk Representing a Robotic Domain Using Temporal Description Logics 2000-02-18 The Order of Things: Activity-Centred Information Access 2000-02-03 Strategic Control Over Rate of Processing in Word Reading: A Computational Investigation of the Tempo-Naming Task 2000-09-25 On the Communication Throughput of Buffered Multistage Interconnection Networks 1996-11-04 Protection of Energy Efficiency and Public Goods in Electric-Utility Restructuring in Brazil 1999-11-12 Gilberto De Martino Jannuzzi On the Critical Capacity of the Hopfield Model 2000-12-27 Clique-Decomposition, NLC-Decomposition, and Modular Decomposition - Relationships and Results for Random Graphs 1999-05-03 Jvind Johansson Bethe Lattices in Hyperbolic Space 2000-12-12 Bo Soderberg Simultanous h-p Adaptation in Multilevel Finite Elements 2000-09-01 Gerhard Zumbusch Maps II: Chasing Diagrams in Categorical Proof Theory 1998-01-08 Jim Lambek Context in Human-Machine Problem Solving: A Survey 1970-01-01 Patrick Brzillon Emperical Semantics for Object-Oriented Programs 1999-10-05 A Common Framework for Distributed Representation Schemes for Compositional Structure 2000-07-13 Tony A. Plate On the Learnability and Design of Output Codes for Multiclass Problems 2000-05-17 Adaptive Wavelet Methods II - Beyond the Elliptic Case 2000-11-27 Jack Mondt and Dr. Mark L. Underwood 1999-01-26 Jack Mondt Torben Hagerup 2000-07-14 Image Structure Generating Geometric Scale Spaces 1998-01-06 Max A. Viergever Mesh Surface Simplification Based on Constrained Energy 1999-01-09 Parallel Heuristic Search - New Approaches to Parallel Simulated Annealing and Tabu Search Extended Abstract 1995-02-27 Learning to Build and Comprehend 2000-11-17 The Impact of Routing Policy on Internet Paths 2000-12-23 Temporal Agent Programs 2000-12-08 Auction Protocols for Decentralized Scheduling 2001-01-01 On-Line Multiple Secret Sharing 1970-01-01 The MASC/BGMP Architecture for Inter-domain Multicast Routing 2000-02-20 Construction of Phoneme Models 2000-04-20 Surfaces Built From Zero Sets of the 7-Direction Box Spline 1970-01-01 Jorg Peters Parametric Query Optimization 2000-02-17 A New Approach to Computing Optimal Schedules forthe Job-Shop Scheduling Problem 1996-08-15 An Ontology for Biological Reaction Events 2000-02-03 A Graduated Assignment Algorithm for Graph Matching 1999-04-21 Steven Gold Multi-Dimensional Interval Routing Schemes 1997-04-23 Distributed Metastasis: A Computer Network Penetration Methodology 2000-06-26 Andrew J. Stewart Next-Generation Massively Parallel Computers - Massively Parallel Computer for Particle-based Simulations 2000-12-26 Junichiro Makino Supporting the Shared Care of Diabetic Patients 2000-12-07 Formal Methods And Software Safety 1970-01-01 CKAAPs DB: a conserved key amino acid positions database 2000-12-23 A Specification Language for Crypto-Protocols based on Multiset Rewriting, Dependent Types and Subsorting 2001-01-02 Iliano Cervesato Objects and Views 1996-09-13 Why Averaging Classifiers Can Protect Against Overfitting 2000-12-25 Massively Parallel Processing Approach To Fractal Image Compression With Near-Optimal Coefficient Quantization 2000-01-26 An Integrated Analogy Model for Creative Reasoning 2000-12-18 Incremental Shape Reconstruction Using Stereo Image Sequences 2000-10-16 Progressive Compression and Rendering of Light Fields 2000-07-08 Bidirectional Exact Integer Division 2000-02-01 Werner Krandick A short presentation of YAK, a Hybrid Knowledge Representation System 2000-10-25 Enrico Franconi Parametric Permutation Routing via Matchings 1998-06-22 An Image Processing System for Driver Assistance 1998-11-26 Approximability of GROUND STATE Problem on Tridimensional Ising Spin Glasses 2000-08-04 Energy Complexity of Optical Computations 1999-07-20 Analysis and Numerical Approximation of an Elastic Frictional Contact Problem with Normal Compliance 1998-09-29 Weimin Han Design Issues for Mixed-Initiative Agent Systems 1999-12-19 Some New Results in the Complexity of Allocation and Binding in Data Path Synthesis 1997-06-10 Uxbridge Ub Ph Ion Thruster Plume Plasma Interactions in the Solar Wind 1999-01-23 Joseph Wang Measuring, Formalising and Modelling Tacit Knowledge 2000-07-24 A Fair and Effective Scheduling Strategy for Workstation Clusters 2000-12-16 Cosimo Anglano Spectral properties of the spin-boson Hamiltonian 1997-04-26 Office Of Inspector General 2000-12-28 June Gibbs Brown Towards an Artificial Pinna for a Narrow-Band Biomimetic Sonarhead 2000-12-05 An Efficient Threshold Public Key Cryptosystem Secure Against Adaptive Chosen Ciphertext Attack Extended Abstract 2000-12-26 Rules vs. Statistics in Implicit Learning of Biconditional Grammars 2000-11-09 Libre De Bruxelles Combining Expression and Content in Domains for Dialog Managers 1999-01-15 Hypermedia in the Virtual Project Room - Toward Open 3D Spatial Hypermedia 2000-11-29 Fredholmness and Invertibility of Toeplitz Operators with Matrix Almost Periodic Symbols 2001-01-08 Challenges Facing Computer Science in the 21st Century 2000-12-28 Eugene Eberbach Neural Networks in an Artificial Life Perspective 2000-12-19 Additive Feed Forward Control With Neural Networks 1970-01-01 Ole Srensen Using Multiple Adaptive Regression Splines to Understand Trends in Inspection Data and Identify Optimal Inspection Rates 2000-08-28 Leveraging Corporate Software Development 2000-02-03 Greatness And Misery In The Teaching Of The Psychology Of Learning 1998-09-04 Armando Machado Improved Algorithms for Isomorphisms of Polynomials 2000-12-10 Representing Graphs by Disks and Balls a survey of recognition-complexity results 2000-09-06 Fast Fourier Analysis for SL 2 over a Finite Field and Related Numerical Experiments 2000-02-17 Dutch Word Order and Binding 2000-12-11 Glyn Morrill Cheops: Adaptive Hypermedia on World Wide Web 1996-06-03 On Generic Triality 2000-11-15 Moment Algorithms for Blood Vessel Detection in Infrared Images of Laser-Heated Skin 1997-11-19 Using Formal Specification to Resolve Conflicts between Contracting Agents 1994-05-13 Pipelined Sections: A New Buffer Management Discipline for Scalable QoS Provision 1970-01-01 Landmark Routing for LargeAd Hoc Wireless Networks 1970-01-01 On the Difference Between Turing Machine Time and Random-Access Machine Time 1993-07-12 Kenneth W. Regan Mixed Variable Optimization of the Number and Composition of Heat Intercepts in a Thermal Insulation System 2000-12-21 Natural Attenuation of Explosives in Soil and Water Systems at Department of Defense Sites: Interim Report 1999-09-03 Conceptual Data Warehouse Design 2000-05-31 Localizing Policy Gradient Estimates to Action Transitions 2000-11-20 Autonomous Concept Formation 1999-04-02 De Jong Using Continuous Planning Techniques to Coordinate Multiple Rovers 2000-02-07 Vision-Based Driver Assistance Using Range Imagery 1998-11-26 Learning Using Query by Committee, Linear Separation and Random Walks 2000-12-11 Chua's Circuit and the Qualitative . . . 2000-11-14 Evolvable Architectures for Human-Like Minds 2000-06-03 Stability Analysis Of Interconnected Hybrid Dynamical Systems 1999-02-04 Towards Molecular Dynamics Simulation of Large Proteins With a Hydration Shell At Constant Pressure 2000-11-03 Cash Auction Bankruptcy: Costs, recovery rates and auction premiums 1997-12-16 Karin S. Thorburn Observer Complete Definitions are Behaviourally Coherent 1999-05-19 On Local Smoothing Of Nonparametric Curve Estimators 1998-07-20 Scientific Visualization Techniques for Displaying Corneal Shape 1997-01-21 Locality Optimizations For Adaptive Irregular Scientific Codes 2000-11-17 Efficient Inference of Partial Types 1994-08-09 A Document-driven Approach to Database Report Generation 1999-01-20 Daniel K. C. Chan Towards a Universal Theory of Artificial Intelligence based on Algorithmic Probability and Sequential Decision Theory 2000-12-16 Marcus Hutter Repartitioning the skeleton: VC phonology 1999-05-11 Design and Evolution of Software Architecture in Practice 1999-11-11 Object-oriented Web Application Development 1999-02-18 Hans-w. Gellersen Development of a GPS Multi-Antenna System for Attitude Determination 2000-08-29 Colorado Centre For Astrodynamics A New Definition of the Minimum-Phase Property for Nonlinear Systems, With an Application to Adaptive Control 2000-09-14 PlugJoin: An easy-to-use generic algorithm for efficiently processing equi and non-equi joins 1999-08-27 Blind Adaptive Single-User Receivers For DS-CDMA Systems In Frequency-Selective Fading Channels 1999-03-01 Matti Latva-aho Towards a Layered View of Control 2000-09-23 Pravin Varaiya Automated Texture Registration and Stitching for Real World Models 2000-09-14 Using Smartcards to Secure a Personalized Gambling Device 2000-04-21 CRI Assessment of Management Actions Aimed at Snake River Salmonids 17 November 1999 Draft 1999-11-18 Fully Dynamic Shortest Paths and Negative Cycle Detection on Digraphs with Arbitrary Arc Weights 1998-04-21 The Relationship between the 2000-12-07 Leslie Hogben Software Connectors: A Hierarchical Model 2000-11-27 Statistical Properties oft Extrasolar Planets 2000-11-16 Delegation of a Monetary Policy to a Central Banker with Private Information 1998-11-12 On the Convolution Type Kernel Regression Estimator 1996-05-06 Eva Herrmann Darmstadt Improving Information Quality And Information Technology Systems In The 21 2000-12-18 Frank M. Guess A New Algorithm for Measurement-based Admission Control in Integrated Services Packet Networks 1998-08-12 Retrieving And Integrating Datafrom Multiple Information Sources 2000-09-28 A Star-Based I/O-Bounded Network for Massively Parallel Systems 1995-10-19 Transfer of Learning Across Compositions of Sequential Tasks 1994-11-01 Satinder P. Singh Modeling Partiality By Nondeterminism - From Specifications to Flexible Error Handling 1999-10-05 Yngve Lamo Numerical Studies of Backscattering Enhancement of Electromagnetic Waves from Two-Dimensional Random Rough Surfaces Using the FB/NSA Method 2000-12-31 Multi-Agent Systems 2000-12-01 Aiaa 2000-3605 2000-12-22 Learning Ontologies for the Semantic Web 2000-12-23 Algorithmic Transformations in the Implementation of K-means Clustering on Reconfigurable Hardware 2000-12-08 The Manufacture of Continuous Electrodes using Paste Briquettes 1998-03-26 An Adaptive, Rate-Optimal Test Of Linearity For Median Regression Models 2000-11-30 Operation Of The 25 Nasa Lewis Research Center Solar Regenerative Fuel Cell Testbed 1999-01-21 Domain Analysis for the Reuse of Software Development Experiences 2000-12-05 A Generatingfunctionology Approach to a Problem of Wilf 2000-12-09 Toward Optimal Classifier System Performance in Non-Markov Environments 2000-11-25 Model Independent Approximate Eigenaxis Rotations via Quaternion Feedback 2000-11-28 Ever-More Rooted Americans 2000-12-13 Claude S. Fischer Adaptive numerical solution of thick plates using first-order shear deformation theory. Part I: Error estimates. 2000-12-04 Controlling On-Line Adaptation of a Prototype-Based Classifier for Handwritten Characters 2001-01-02 Integrating Virtual Objects into Real Images for Augmented Reality 1999-01-25 Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls 2000-10-06 Embodied User Interfaces for Really Direct Manipulation 2001-01-02 Alicia Buelow A Constructive Genetic Algorithm For The Generalised Assignment Problem 2000-12-11 Eliminating Annotations by Automatic Flow Analysis of Real-Time Programs 2001-01-04 Jan Gustafsson Retarded Differential Equations 2000-12-22 Christopher T H Baker Isomorphisms Of Splits Of Computably Enumerable Sets 2000-12-15 On fine differentiability properties of horizons and applications to Riemannian geometry 2000-11-21 Complexity of Answering Queries Using Materialized Views Extended Abstract 1998-02-10 Antisocial Bidding in Repeated Vickrey Auctions 2000-11-19 Felix Brandt Learning Case Classification for Improving Case-Based Reasoning 2000-07-26 "A review of microdisplay technologies" 2000-11-25 Segmentation, Registration, and Measurement of Shape Variation via Image Object Shape Stephen M. Pizer, Daniel S. Fritsch, Paul A. Yushkevich, Valen E. 2000-10-25 Experience with Implementation of Multi-Party Video-Conferencing Application over Packet Networks 1996-06-03 Frequency in Morphology 1997-01-11 Hungarian Vowel Harmony 1997-01-11 Using Interaction Networks for Visualisation of Message Passing 1999-11-24 Paul Ashton . The problem 2000-04-19 Control of Hybrid Systems 2000-07-19 Akash Renukadas Deshpande Closed-form solutions for the Euclidean calibration of a stereo rig 1999-12-03 On The Irreducibility Of The Generalized Laguerre Polynomials 2000-11-20 M. Filaseta Modeling Bose--Einstein Correlations at LEP 2 1998-09-15 Leif Lonnblad A Rank-Revealing Decomposition of Symmetric Toeplitz Matrices 1999-10-08 Notes on the Space Requirements for Checking Satisfiability in Modal Logics 2000-11-27 Marcus Kracht A Fast Eigenvalue Algorithm for Hankel Matrices 2000-04-28 Measurement Based Diagnosis of Bridging Faults in Full Scan Circuits 1993-03-26 Sreejit Chakravarty A New Twist on the Marcum Q-Function and its Application 1999-01-27 Marvin K. Simon SyncML Representation Protocol, version 1.0 2000-12-07 Domain Ontology Services on the WWW 2000-12-13 Coverage Analysis of Sequential Regenerative Simulation 1999-11-24 Jong-suk Ruth Lee Cables, Paths and "Subconscious" Reasoning in Propositional Semantic Networks 1998-03-16 Stuart C. Shapiro Simulation Results on the Effect of Air Link Layer and Local Anchor Scheme 1999-06-26 Introducing Temporal Description Logics 2000-02-18 The Biomechanical Fidelity of Slope Simulation on the Sarcos Treadport Using Whole-Body Force Feedback 2000-11-20 Side Collision Warning Systems For Transit Buses: Functional Goals 2000-08-09 Parsec-Scale Jets and Tori in Seyfert Galaxies 2000-12-05 Artificial Intelligence Search Algorithms 2000-04-04 Richard E. Korf Different Perspectives on the Global Development of Transport 2000-11-29 Smurfs smurf, but some smurfs don't smurf. - An overview of ambiguity-adaptive logics. 2000-09-11 Guido Vanackere Statistical Properties of Unrestricted Crew Scheduling Problems 2000-12-12 Pulse Phase Infrared Thermography 2000-09-15 Defining Features for CSP: Reflections on the Feature Interaction Contest 2000-09-12 Probabilistic Approaches to Fraud Detection 2000-01-28 Jaakko Hollmn Distributional Regularity and Phonotactic Constraints are Useful for Segmentation 2000-10-25 Graph Transformations on the UML Metamodel 2000-07-24 On The Uml Metamodel Gogolla Comparing Detection Methods For Software Requirements Inspections: A Replicated Experiment 2000-12-05 A null space algorithm for mixed finite element approximation of Darcy's equation 1970-01-01 Mario Arioli Profits and Principles: An Economic Framework 2000-12-08 J. Graafland Auv's - The Maturity Of The Technology 2000-12-14 Robert L. Wernli Adaptive Local Subspace Classifier in on-line recognition of handwritten characters 1999-12-14 Optimal Information Delivery 1998-05-05 The Infamous Upper Tail 2000-12-22 Learning and Generalization of Auditory Temporal-Interval Discrimination in Humans 2000-11-11 Learning and Making Decisions When Costs and Probabilities are Both Unknown 2001-01-01 Training Context-Insensitive versus Context-Sensitive Text Classifiers using Small Data Sets 2000-12-11 Inflation, Trade Frictions, and . . . 2000-11-29 The three faces of Nielsen: coincidences, intersections and preimages 2000-09-09 Christopher K. Mccord Believable Communicating Agents - Siggraph `96 Course Notes 1996-08-26 Justine Cassell Achieving Fine Absolute Positioning Accuracy in Large Powerful Manipulators 1999-03-02 Focussing and Proof construction 2000-08-29 Jean-marc Andreoli The Generalized Universal Law of Generalization 2001-01-08 Ring-oriented Block Matrix Factorization Algorithms for Shared and Distributed Memory Architectures 1995-08-10 Social Constraints on Animate Vision 2000-09-13 A Rapidly Deployable Manipulator System 1999-08-18 Graph-Coloring Register Allocation for Irregular Architectures 2000-11-17 Monitoring Technologies for Parallel On-Line Tools 2000-12-11 Tuning networked Unix systems for modern applications 1999-11-26 Tony Dale , S. Petiton 1993-02-01 An Experimental Study on the Performance of WWW Servers 1996-06-03 Imaging Atmospheric Cherenkov Telescope 2000-12-19 Ryoji Enomoto Decisions, decisions: Knowledge goals in planning 1999-06-13 Louise Pryor Quadratic Detectors for Feature Extraction in . . . 2000-12-08 Using Text Elements by Context to Display Search Results in Information Retrieval Systems 2000-05-10 Offer Drori Consistent Task Specification for Manipulation Systems With General Kinematics 1970-01-01 Reconstruction of Linearly Parameterized Models from Single Images with a Camera of Unknown Focal Length 2000-01-18 Profinite Methods in Semigroup Theory 2000-12-08 Pascal Weil Dynamic shapes of arbitrary dimension: the Vector Distance Functions 1970-01-01 Olivier Faugeras On the Floyd-Warshall Algorithm for Logic Programs 1997-12-18 An Experience Teaching a Graduate Course in Cryptography 2000-04-21 Aviel D. Rubin Applications of Borovkov's Renovation Theory to Non-Stationary Stochastic Recursive Sequences and their Control 1997-07-18 An Algorithm for Pronominal Anaphora Resolution. 2000-05-19 Herbert J Leass A Data-Warehouse / OLAP Framework for Scalable Telecommunication Tandem Traffic Analysis 2000-07-13 Solving the Multiple-Instance Problem: A Lazy Learning Approach 2000-07-26 Jun Wang An Overview Of The Cave Project Research Activities In Speaker Verification 2000-02-03 The Iterative Solvers Module 1993-11-17 Shift: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata 2000-07-19 A Comparative Evaluation of Variance Flooring Techniques in HMM-based Speaker Verification 1998-08-26 The Equivalence of van der Ziel and BSIM4 Models in Modeling the Induced Gate Noise of MOSFETs 2000-12-13 On Solving Mathematical Programs With Complementarity Constraints As Nonlinear Programs 2000-12-20 Mihai Anitescu The Prototype Embedded Network PEN 2000-11-24 Alan Jones A Connectionist Model of Verb Subcategorization 1998-04-27 Hinrich Sch Utze draft of a revised version of I91 1994-11-09 Neil Immerman A Space-Efficient Randomized DNA Algorithm for k-SAT 2000-10-02 Kevin Chen Bias Reduction and Elimination with Kernel Estimators 2000-12-29 Stephan R. Sain Dynamic Interest Management In The Distributed Simulation Of Agent-Based Systems 2000-01-20 Database Engineering Process History 1970-01-01 Removing Node Overlapping in Graph Layout Using Constrained Optimization 1999-07-27 Toward CAD-IP Reuse: The MARCO GSRC Bookshelf of Fundamental CAD Algorithms 2000-11-28 Characterizing Parallel File-access Patterns on a Large-scale Multiprocessor 2000-11-14 Mekh-Mat Entrance Examinations Problems 2000-01-26 Ilan Vardi Modeling Passive Mechanical Interaction between Aqueous Humor and Iris 2000-11-17 A Variational Approach for Minimizing Lennard-Jones Energies 2000-12-12 Supporting Adaptive Services in a Heterogeneous Mobile Environment 1996-06-27 New Paradigms in Information Visualization 2000-12-12 IMPACT: A Platform for Heterogenous Agents 2000-12-01 Walkthroughs with Corrective Texturing 2000-11-25 Prisoners of Reason 1970-01-01 Manfred Kerber Application Of ARC In System Design 2000-11-27 A Research Agenda for Survivable Systems 2000-12-12 Reinforcement Learning in Partially Markovian Decision Processes 1995-07-05 Tamed Snake: A Particle System for Robust Semi-Automatic Segmentation 1999-12-03 Giovanni Gallavotti 1997-04-26 Giovanni Gallavotti Analysis of Fluctuation-Induced Firing in the Presence of Inhibition 2000-06-20 Benchmarking Attribute Selection Techniques for Data Mining 2000-11-19 Mark A. Hall Time-Space Tradeoffs for Branching Programs 2000-06-11 Automatic Component Adaptation By Concurrent State Machine Retrofitting 2000-12-13 Unknown 1970-01-01 Decentralized Variable Structure Tracking for Systems with Time-Domain Dominance 1970-01-01 Limitations of the QRQW and EREW PRAM Models 1996-09-12 Krzysztof Lorys Area Requirement of Gabriel Drawings 1997-01-03 Generalized Eigenvalues of a Definite Hermitian Matrix Pair 1997-07-21 Animated Talking Head With Personalized 3D Head Model 1999-12-16 Specification and Analysis of Soft Real-Time Systems: Quantity and Quality 1970-01-01 On Strassen's Theorem On Stochastic Domination 1999-08-30 Torgny Lindvall Communication Complexity of Key Agreement on Limited Ranges 1994-06-23 Convergence of Indirect Adaptive Asynchronous Value Iteration Algorithms 1994-01-25 Cognitive Science Meets Multi-Agent Systems: A Prolegomenon 2000-12-27 Ron Sun Return To Equilibrium In Classical And Quantum Systems 2000-12-28 Carlangelo Liverani Gabor Filtering of Complex Hue/Saturation Images for Color Texture Classification 2000-07-20 Mathematical Logic 1970-01-01 Constraints on Layout in Multimodal Document Generation 2000-08-16 LARGE INFLATABLE DEPLOYABLE ANTENNA FLIGHT EXPERIMENT RESULTS R. Jet Propulsion Laboratory 1999-11-04 D. Carson The i.com Tool for Intelligent Conceptual Modelling 2000-05-30 Optimization Of Time And Frequency Resolution For Radar Transmitter Identification 2000-12-08 Non-linear Multivariable Predictive Control: Neural versus First Principle Modelling Approach 1999-12-22 Incremental Analysis of Side Effects for C Software Systems 1999-10-03 A Simple Virtual Memory Scheme Formalized in IMPS 2000-08-01 Joshua D. Guttman Nonrelativistic limit of the Dirac-Fock equations. 2000-12-15 Maria J. Esteban A Real-time Music Scene Description System: Detecting Melody and Bass Lines in Audio Signals 1999-08-10 Measurements and Analysis of End-to-End Internet Dynamics 1999-02-16 On the Computation of the Gauss-Legendre Quadrature Formula with a Given Precision 2000-10-16 Knut Petras Symmetric Hierarchical Polynomials and the Adaptive 1997-03-05 Parallel Interference Cancellation Receiver for DS-CDMA Systems in Fading Channels 1999-03-01 Principles of Object Oriented Database Design 2000-06-15 Bernhard Thalheim Dubrovski 1998-05-12 An Existence Result for a Class of Free Boundary Problems 2000-12-13 On the equation satisfied by a steady Prandtl-Munk vortex sheet 2000-10-11 Register Synthesis for Algebraic Feedback Shift Registers Based on Non-Primes 2000-10-27 Jinzhong Xu Measuring Risk With Extreme Value Theory 2000-09-26 Richard L Smith Optical Mapping and Its Potential for . . . 2000-03-08 An OLAP-based Scalable Web Access Analysis Engine 2000-08-03 Type-Based Useless Variable Elimination 1999-12-13 Naoki Kobayashi Mapping of Coarse-Grained Applications onto Workstation-Clusters 1996-06-20 Formal Concept Analysis And Formal Methods 2000-12-05 Thomas Tilley Tools for Texture/color Based Search of Images 2000-02-15 From Programs to Object Code and back again using Logic Programming: Compilation and Decompilation 1993-07-01 Jonathan Bowen Extending Hybridity within the YAK Knowledge Representation System 2000-10-25 Enrico Franconi Ad hoc On-Demand Distance Vector AODV Routing 2000-11-30 A Structural EM Algorithm for Phylogenetic Inference 2001-01-03 Numerical Quantification "number of " 2000-11-15 Temporally Dependent Plasticity: An Information Theoretic Account 2001-01-10 On Integral-Input-to-State Stabilization 2000-08-22 Building Interoperable Databases on Distributed Object Management Platforms 2000-07-19 Translating a Modal Language with Embedded Implication into Horn Clause Logic 1999-07-13 draft-prs-optical-routing-01.ps Routing Information Exchange in Optical Networks 1 Internet Draft Dimitris Pendarakis 2000-11-28 Homological Criteria for Regular Homomorphisms and for Locally Complete Intersection Homomorphisms 2000-12-02 Luchezar L. Avramov Search for 2000-09-26 Harry N. Nelson Integrating Drawing Tools with Behavioral Modeling in Digital Painting 2000-08-04 Elpida S. Tzafestas Time Interval Semantics and Implementation of a Real-Time Programming Language 1994-03-22 The Principle, Attack Patterns, and Defense Methods of Buffer Overflow Attacks 2000-12-16 New Methods For Reducing Size Graphs 2000-09-25 Four Measures of Data Complexity for Bootstrapping, Splitting and Feature Sampling 2000-12-08 Ludmila I. Kuncheva A Qualitative Reasoning based on an Ontology of Fluid Systems and Its Evaluation 2000-06-23 Promoting the Online Use of Radiology Appropriateness Criteria 2000-11-20 A Higher-Order Embedded Boundary Method for Time-Dependent Simulation of Hyperbolic Conservation Laws 2000-03-02 List of Publications 2000-12-12 A Counterexample to the 0-1 Law for Existential Monadic Second-Order Logic 2000-12-12 Matt Kaufmann A Phase Assignment Method for Virtual-Wire-Based . .. 2000-11-20 Nonthermal Emission in Radio Galaxies from Simulated Relativistic Electron Transport in 3D MHD Flows 2001-01-03 Scaling Up Inductive Logic Programming by Learning From Interpretations 2000-08-22 Asymptotic Metrics for SUN-Monopoles with Maximal Symmetry Breaking 1999-03-09 Roger Bielawski Provably Good and Practical Strategies for Non-Uniform Data Management in Networks 1999-05-03 Digital Payment Systems with Passive Anonymity-Revoking Trustees 2000-02-03 Bandwidth Modelling for Network-Aware Applications 1998-12-21 A Comparison Of Genetic Network Models 2000-09-25 L. F. A. Wessels The Evolution of Cooperation Through Imitation 2000-12-28 Parallel Preconditioners 2000-01-03 Empirical Evidence Supporting Macro-Scale Quantum Holography in Non-Local Effects 2000-12-04 ccM , a kernel for implementing cc languages 1996-09-26 Laurent Perron A Form Document Image Parser 1998-08-05 Lime Ball Quality Inspection Using A Neural Network And Geometrical-Based Decision Criteria 1999-12-22 Curve and Surface Reconstruction From Regular and Non-Regular Point Sets 2000-11-30 Asynchronous Multimedia Multihop Wireless Networks+ 1999-09-15 Unknown 1999-11-24 Beyond Similarity 2000-04-29 Results From the 1994 LSND Neutrino Oscillation Searches in Both the 2000-12-07 Fault Detection for Nonlinear Systems - A Standard Problem Approach 1970-01-01 Liveness and Acceleration in Parameterized Verification 2000-12-13 Amir Pnueli The Square of Individuals 1997-05-26 Yoad Winter A Century Of Effect: Legacies Of E. L. Thorndike's 1999-02-07 Kennon Lattal Software Agent Framework Technology 2000-03-29 Design and Mathematical Analysis of Agent-based Systems 2000-10-17 Kristina Lerman Methods Tools 2000-06-07 Document Retrieval Using The MPS Information Server A Report on the TREC-6 Experiment 1997-10-29 Franois Schiettecatte Design of a Small, Cheap UUV for Under-Ship Inspection and Salvage 2000-02-16 David P. Miller Robust adaptive segmentation of 3D medical images with level sets 2000-12-07 Some Qualitative Properties for the Total Variational Flow 2000-12-10 Evaluating Style Analysis 2000-05-25 Theoretical Views of Boosting and Applications 2001-01-04 Robert E. Schapire Relating the Performance of Partial-Order Planning AlgorithmstoDomainFeatures 2000-09-28 On the Ergodicity and Stationarity of the ARMA1,1 Recurrent Neural Network Process 2000-08-08 Coulomb Plasmas in Outer Envelopes of Neutron Stars 2000-12-20 Using Ontological Engineering to Overcome Common AI-ED Problems 2000-12-27 Limits of Solutions to the Generalized Ginzburg-Landau Functional 2000-12-15 Changyou Wang Admissible Record-Oriented Evaluation Plans for Declarative Updates 2000-08-01 New Data Structures for Orthogonal Range Searching 2000-09-01 The Man Who Listens To Behavior: Folk Wisdom And Behavior Analysis From A 1999-07-01 Valeri Farmer-dougan Compressed Pattern Matching for SEQUITUR 2000-11-29 Flat Fading Approximation Error 2000-12-19 Recurrent Fuzzy Rules for Belief Updating 2000-04-11 A Self-Organizing Map for Clustering Probabilistic Models 2000-01-28 What is a Recursive Module? 1999-02-19 Meal Patterns Of Cats Encountering Variable Food Procurement Cost 1997-05-15 Vision Guided Navigation for A Nonholonomic Mobile Robot 2000-08-17 A Mereological Characterization of Temporal and Aspectual Phenomena 1999-03-19 Design of a Smalltalk Framework for the Tools and Materials Metaphor 2000-02-03 PCUP : Pipelined Cyclic Upstream Protocol over Hybrid Fiber Coax 1999-09-15 Learning With Preknowledge: Clustering With Point and Graph Matching Distance Measures 1999-04-21 Intensional Polymorphism in Type-Erasure Semantics 1998-07-23 Empirical Evaluation of Explicit versus Implicit Acquisition of User Profiles in Information Filtering Systems 1999-06-27 Parallel Algorithms for Image Processing: Practical Algorithms with Experiments 1997-03-04 Adaptive Mixtures of Probabilistic Transducers 1998-10-06 Yoram Singer Bagged Clustering 2000-08-08 Friedrich Leisch !+, -./01 23456 2000-04-02 Ming Li On the Strength of Rule Triggering Systems for Integrity Maintenance 2000-06-15 A New Method for Mapping Optimization Problems onto Neural Networks 2000-12-12 Carsten Peterson Explaining the Cost of European Space and Military Projects 1999-11-10 The Creation of a Semantic Lexicon by Traversal of a Machine Tractable Concept Taxonomy 1999-11-18 Small Group Behaviour in a Virtual and Real Environment: A Comparative Study 1999-11-11 QoS-based Routing in Networks with Inaccurate Information: Theory and Algorithms 1999-09-15 On the symplectic foliation induced by the second Poisson bracket for KdV 1970-01-01 M. Makarov A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization 1995-05-03 R. Baker Kearfott Segmentation of Yeast DNA Using Hidden Markov Models 1999-06-09 On a Coverage Process Ranging from the Boolean Model to the Poisson Voronoi Tessellation 2000-10-19 Variations on Multimedia Data Mining 2000-08-16 Simeon J. Simoff Analysis of a Contour-based Representation for Melody 2000-10-25 Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures 2000-03-24 Balancing Multiple Sources of Reward in Reinforcement Learning 2001-01-11 Christian R. Shelton The Basics of Information Retrieval: Statistics and Linguistics 2000-02-07 Jussi Karlgren Multimedia Databases: Integrated Storage and Retrieval of Text, Images, Sound, and Video 1999-11-09 Klaus Meyer-wegener Note on the Maxnet Dynamics 2000-09-06 Feature-Oriented Description, Formal Methods, and DFC 2000-09-12 Pamela Zave On the Hyperkähler Metrics Associated to Singularities of Nilpotent Varieties 1999-03-09 Roger Bielawski Computing Most Specific Concepts in Description Logics with Existential Restrictions 1970-01-01 On Suboptimal Alignments of Biological Sequences 1998-02-13 Dalit Naor Evolution Strategies for Mixed-Integer Optimization of Optical Multilayer Systems 1995-09-13 Addressing the Correspondence Problem: A Markov Chain Monte Carlo Approach 2000-04-12 Frank Dellaert The Renement Rules for Catmull-Clark Solids 2000-12-18 Field Test Of A Calling Card Service Based On Speaker Verification And Automatic Speech Recognition 2000-02-03 Automated Vectorization and Labeling of Very Large Raster Hypsographic Map Images Using Contour Graph 2000-08-17 Phase transition and simulation for a penalized Ising model with applications in image analysis 2000-04-04 Rasmus Waagepetersen Advanced Power System Controls Using Intelligent Systems 2000-07-27 Gaussian versus Optimal Integration of Analytic Functions 2000-10-16 Knut Petras A Bayesian Joint Mixture Framework for the Integration of Anatomical Information in Functional Image Reconstruction 1999-08-10 Techniques for Parallel Adaptivity 1999-04-14 P. K. Jimack Broadband Direction-Of-Arrival Estimation Based On Second Order Statistics 2000-02-21 On Lagrange Manifolds and Viscosity Solutions 1998-05-06 Martin V. Day Adaptive Frame Length Control for Improving Wireless Link Throughput, Range, and Energy Efficiency 1999-09-15 Fuzzy Supervisor And Feedforward Control Of A Solar Power Plant Using Accessible Disturbances 1999-12-22 EfficientGroup Signature Schemes for Large Groups Extended Abstract 2000-02-03 Backstepping Boundary Control of Burgers' Equation with Actuator Dynamics 2000-03-27 Nomenclature 1996-02-10 Interpolation Regions for Convex Cubic Curve Segments 1970-01-01 Jorg Peters Comparison Theorems For Weak Nonnegative Splittings Of K-Monotone Matrices 1999-03-03 Experiences from the Development and Use of Simulation Software for Complex Systems Education 2000-12-11 Elpida S. Tzafestas Reliability and Stability Assessment of Concrete Gravity Structures RCSLIDE: Theoretical Manual 2000-11-30 Wireless Video Transport Using Conditional Retransmission And Low-Delay Interleaving 2000-12-18 A Proxy Architecture for Reliable Multicast in Heterogeneous Environments 2000-08-01 A ProCoS-WG Working Group Description: ESPRIT Basic Research 8694 1994-05-05 Jonathan Bowen Et Al Multiple counters automata, safety analysis and Presburger arithmetic 1998-07-31 Integrated Simulation Of Solid Propellant Rockets 1970-01-01 Experiments with an Extended Tangent Distance 2000-06-19 IMPACTing SHOP: Planning in a Multi-Agent Environment 2000-12-01 Dana S. Nau Hyper-Systolic Routing for SIMD Systems 2000-01-26 Development of Collision Avoidance Systems at Delphi Automotive Systems 1998-11-26 Tailoring Artificial Dielectric Materials at Terahertz Frequencies 1970-01-01 A formal specification and rigorous implementation of an AI planner 1970-01-01 Onthe effcient operation of a CsI-coated GEM photon detector 2000-11-15 The Design of a Group Key Agreement API 2000-09-06 Optimization of Run-time Management of Data Intensive Web Sites 2000-10-30 Construction and Deployment of a Plant Ontology 2000-12-27 Visibility Culling using Portal Textures 1997-04-25 Humanoid Robots: A New Kind of Tool 2000-09-13 Systems of Knowledge Organization for Digital Libraries: 2000-04-19 Gail Hodge High-performance optical amplifier for WDM communication systems 2000-10-05 Trampolined Style 1999-12-16 Fixed-Priority Preemptive Multiprocessor Scheduling: To Partition or not to Partition 2000-09-27 Lower Bounds and Separations on Extensions of Resolution 2000-12-19 Electoral Systems, Legislative Process and Income Taxation 1998-09-07 Yan Chen Scalable, Distributed Data Structures for Internet Service Construction 2000-08-30 Multiprocessing with the Exokernel Operating System 2000-12-19 Benjie Chen The Modular Tree of Pythagorus 2000-09-28 Roger C. Alperin Lack of Profit Loss Sharing in Islamic Banking: Management and Control Imbalances 2000-12-15 Real-time Multi-agent Coordination Using DIADEM: Applications to Automobile and Submarine Control 2000-07-19 Akash Deshpande A Conceptual Model and Algebra for On-Line Analytical Processing in Data Warehouses 2000-02-19 Authenticated Group Key AgreementandFriends 2000-09-06 The Transition to an Electronic Journal Collection: Managing the Organizational Changes 1970-01-01 A Control Theoretic Analysis of RED 1970-01-01 On Degeneracies Removable by Perspective Projections 2001-01-15 Analysis of Bit Error Probability of Direct-Sequence CDMA Multiuser Demodulators 2000-12-28 Improving 3D visualisation interactivity by using octrees 2000-01-25 Dynamic Algorithms for Classes of Constraint Satisfaction Problems 1997-12-03 Does Snooping Help? 2000-05-24 V. V. V'yugin Training Kohonen Feature Maps in different Topologies: an Analysis using Genetic Algorithms 2000-07-28 Proofs of Partial Knowledge and Simplified Design of Witness Hiding Protocols 2000-12-29 Unknown 2000-12-22 Esther Konig Two Implementations of Shared Virtual Space Environments 2000-06-30 Remote Access Tool For Earth Science Data 1999-01-21 Flow Duct Data for Validation of Acoustic Liner Codes for Impedance Eduction 2000-12-20 From implementation to design: Tailoring and the emergence of systematization in CSCW 1999-03-02 Planning of Joint Trajectories for Humanoid Robots Using B-Spline Wavelets 2000-12-05 Can Graph Grammars Make Formal Methods More Human? 2000-07-24 L. J. D'iaz, J. Rocha and M. Viana 1997-04-26 The CLARAty Architecture for Robotic Autonomy 2000-11-21 Renormalization Of Poincaré Normal Forms 1970-01-01 A Matrix Characterization for MELL 2001-01-11 Christoph Kreitz Remarks on the theory of additive and multiplicative Schwarz algorithms 2000-08-29 Automatic Error Detection in Part of Speech Tagging 1995-08-18 David Elworthy A New Parallel Algorithm For The Maximal Independent Set Problem 2000-08-10 Modified Adaptive LMMSE Receiver for DS-CDMA Systems in Fading Channels 1999-03-01 An Effective Bottom-Up Semantics for First-Order Linear Logic Programs and its Relationship with Decidability Results for Timed Petri Nets 2001-01-08 Why is Our Working Memory and Processing Capacity So Limited? 1998-09-30 Piecewise Lyapunov Functions for Switched Systems with Average Dwell Time 2000-03-08 Entropy-based Subspace Clustering for Mining Numerical Data 2000-04-25 Unsupervised Learning of Subcategorisation Information and Its Application in a Parsing Subtask 1998-11-30 Sabine Buchholz New Graph Bipartizations for Double-Exposure, Bright Field Alternating Phase-Shift Mask Layout 2000-12-18 Partition Repositories for Partition Cloning - OS Independent Software Maintenance in Large Clusters of PCs 2000-12-08 Efficient Long-Term Validation of Digital Signatures 2001-01-05 An-397 Application Note 1996-01-08 Niall Lyne Man vet hvor en planet befinner seg om tolv ar, fire maneder og ni dager. Men man vet ikke hvor en sommerfugl vil vre flyet hen om et minutt. Jens Bjrneboe, 2000-11-24 Multiple Voices in the Graphic Design of a Visual Information System 2000-11-29 A Survey of Paraconsistent Semantics for Logic Programs 2001-01-04 Formal Framework to Prove Probabilistic SelfStabilizing Algorithms 2000-12-05 Colette Johnen SNELL AND WILCOX Efficient Implementation of Volterra Filters For De-interlacing TV Images 1999-08-31 Process Monitoring and Modeling using the Self-Organizing Map 1998-07-07 A System for Human Jaw Modeling Using Intra-Oral Images 1999-12-15 Cooperative Material Handling by Human and Robotic Agents: Module Development and System Synthesis 1999-10-11 Autonomous Vision Computing and Smart Pixel Multimedia Chips 1998-11-26 Tighter Worst-case Bounds on Dynamic Searching and Priority Queues 2000-03-17 Toward Computing m4 2000-09-04 A Statistical Approach to 3D Object Detection Applied to Faces and Cars 2000-06-06 Web Caching using Access Statistics 2000-10-17 Infra Red 3D Computer Mouse 1970-01-01 Non-rigid Registration by Geometry-Constrained Diffusion 1999-10-11 Per Rnsholt Andresen Nature Of Singularities For Analyticity Domains Of Invariant Curves 1997-04-26 Rafael De La Llave The Efficient Learning of Multiple Task Sequences 1992-12-21 Satinder P. Singh Automatic Template Generation for Solving 2000-01-26 A Fully Distributed Location Management Scheme for Large PCS 2000-11-28 Unknown 1999-01-27 Synchronization, Coherence-Detection and Three-Dimensional Vision 2000-11-20 Rolf D. Henkel Typing a Multi-Language Intermediate Code 2000-12-15 Real Time Intelligent Target Detection and Analysis with Machine Vision 2000-12-14 Efficient algorithms for ranking documents represented as DNF formulas 2000-12-03 Logical Structure Detection for Heterogeneous Document Classes 2000-10-30 Parent-Identifying Codes 2001-01-17 Security Services Markup Language 2001-01-08 Efficient Embeddings of Grids into Grids 2000-09-14 U. -p. Schroeder Tracking of Tagged MR Images by Bayesian Analysis of a Network of Quads 1997-01-21 Experimental Comparison of Techniquesfor Localization and Mapping Using a Bearing-Only Sensor 2001-01-15 Noise turns Integrate-Fire Neuron into Bandpass Filter 2000-07-04 Hans E. Plesser Cut Problems And Their Application To Divide-And-Conquer 1996-04-02 David B. Shmoys A Concurrent Extension of Functional Logic Programming Languages Extended Abstract 1999-08-04 Weak Theorems of Miquelian Type in Laguerre Planes 1970-01-01 Olaf Brocker Concept Indexing 2000-04-20 An Exercise with Dynamic Knowledge Representation 2001-01-03 A Taxonomy of Parallel Strategies for Deduction 1970-01-01 Maria Paola Bonacina Blind Source Separation From Noisy Measurements: Time-Delayed Correlation Matching 2000-11-21 Seungjin Choi Spatial Games with Adaptive Tit-for-Tats 2000-07-03 Elpida S. Tzafestas Direct Signal Timing Optimization: Strategy Development And Results 2000-12-27 Nagui M. Rouphail Unconventional Reflexive Numerical Methods for Matrix Differential Riccati Equations 2000-12-15 Ren-cang Li Concurrent Cycle Collection in Reference Counted Systems 2000-12-12 A Real-Time Multi-Agent System Architecture for E-Commerce Applications 2000-12-20 Open Architecture for CLP 2000-11-28 A Distributed Multimedia Architecture for Intent-Based Video Authoring and Presentation 1996-02-09 Modeling Sharing and Recursion for Weak Reduction Strategies using Explicit Substitution 1998-03-19 Memory Management with Explicit Regions 1999-05-06 David Gay Using Abstraction in Explicitly Parallel Programs 1995-01-09 Some Results on Weakly Accurate Base Learners for Boosting Regression and Classification 2000-12-12 Wenxin Jiang Attitude and Position Control Using Real-Time Color Tracking 2000-02-16 Successive Galerkin Approximation Algorithms for Nonlinear Optimal and Robust Control. 1998-01-15 Improving Edge Detectors on Compressed Images---a Trainable Markov Random Field Approach 1992-10-06 Towards an Epistemology for Software Representations 2000-02-22 Christopher A. Welty World Wide News Gatheringautomatic Management 2000-10-19 New Approaches Towards Robust and Adaptive Speech Recognition 2001-01-05 Parallel Interior Point Solver for Structured Linear Programs 2000-12-05 Thomas Bartsch Zhi-Qiang Wang 2000-11-28 Integrable Systems and Symmetric Products of Curves 1997-07-31 Pol Vanhaecke Undo Any Operation at Any Time in Group Editors 2000-12-17 Chengzheng Sun Bellman Processes 2000-12-13 Miniature Magnetic Resonance Spectrometers 1999-01-21 Blind Subspace-Based Eigenstructure Identification Under Nonstationary Excitation Using Moving Sensors 2000-10-20 A Reliable Multicast data Distribution Protocol based on software FEC techniques 1997-12-02 Analyzing Sensory Systems With the Information Distortion Function 2000-09-25 Radiosity--Calculations For Rotational Surfaces 1999-01-05 Validating Requirements for Fault Tolerant Systems using Model Checking' 1999-01-27 Measurement and Modeling of Center-Surround Suppression and Enhancement 2000-12-15 The Effect of a Community Hospice Rotation on Self-Reported Knowledge, Attitudes and Skills of Third-Year Medical Students 2000-09-05 A Semantics for Multiprocessor Systems 1999-11-26 Padmanabhan Krishnan Limit Cycle Oscillations in Pacemaker Cells 2000-11-24 S S I I W W 2000-11-16 Smoothness in Layers: Motion segmentation using nonparametric mixture estimation 1998-05-28 Yair Weiss Interval-based Temporal Reasoning with General TBoxes 2000-11-29 JAVA - AI Support for Debugging Java Programs 2000-11-21 LART: flexible, low-power building blocks for wearable computers 2000-11-20 Structure and Motion Estimation 1998-02-14 An Edge-Enhancing Nonlinear Filter for Reducing Multiplicative Noise 2000-08-25 Mark A. Schulze Fluorescence Spectroscopy, Quantitative Pathology, and Classification of Tissue: Dimension Reduction 1999-09-10 Nested-Dissection Orderings forSparse LU with Partial Pivoting 2000-12-07 Igor Brainman An Upper Bound on the Loss from Approximate Optimal-Value Functions 1994-05-16 AlAA 97-2762 Inflatable Solar Sails for Low-Cost Robotic Mars Missions 1999-01-21 A New Implementation and Detailed Study of Breakpoint Analysis 2000-09-28 Finitely Presented Heyting Algebras 1999-02-01 Carsten Butz New Characterizations of M-convex Functions and Connections to Mathematical Economics 2000-12-13 Automata-Theoretic Models of Mutation and Alignment 1995-08-31 Repetitions of Words and the Thue-Morse sequence 1999-04-11 Carl D. Oner Deutsches Forschungszentrum fur Kunstliche Intelligenz GmbH 1996-12-10 Coarse Homology Theories 2000-12-15 Paul D. Mitchener An Extensible, Modular Architecture for Simulating Urban Development, Transportation, and Environmental Impacts 2000-12-12 Unknown 1999-11-26 A Study Of Topological Polymodal Logics 2000-11-17 Inward Investment And Technical Progress In The United Kingdom Manufacturing Sector Florence Hubert and Nigel Pain December 2000 2000-12-15 Métaheuristiques pour l'optimisation combinatoire multi-objectif: Etat de l'art 2000-11-27 El-ghazali Talbi Hande Y. Benson, David F. Shanno, And Robert J. Vanderbei 2000-12-13 A Differential Optical Range Camera 2000-12-13 Eero P. Simoncelli Test Scheduling for Core-Based Systems Using Mixed-Integer Linear Programming 2000-12-26 Krishnendu Chakrabarty A Practical Approach to Calculating Luminance Contrast on a CRT 2000-01-13 Universal Data Compression Based on the Burrows-Wheeler Transformation: Theory and Practice 2000-12-18 Marching Optimal-Parameter Ridges: an Algorithm to Extract Shape Loci in 3D Images 1999-02-19 Quadratic Matrix Inequalities and Stability of Polynomials 2000-12-05 Didier Henrion An Efficient Multi-Dimensional Searching Technique and its Applications 2000-12-07 Decision Support Systems Glossary - Key Decision Support Systems Terms 2000-12-16 Methods Of Quantum Error Correction 2000-06-05 Extremal Polygon Containment Problems and Other Issues in Parametric Searching 2000-12-07 Sivan Toledo Localization of 3D Anatomical Point Landmarks in 3D Tomographic Images Using Deformable Models 2000-10-26 An Internet Based Surface Texture Analysis System 1999-10-23 A Possible Resolution of the Gating Paradox 2000-11-24 Parallel Branch and Bound on an MIMD System 1970-01-01 Harry W. J. M. Trienekens Curriculum Dell'attività Scientifica E Didattica 2000-10-30 Herding in Delegated Portfolio Management: When is Comparative Performance Information Desirable? 1998-07-21 Alexander Gmbel A Family of Fourth Order Difference Schemes on Rotated Grid for Two Dimensional Convection-Diffusion Equation 2000-12-15 Jules Kouatchou Modelling And Rendering Liquids In Motion 1999-01-05 Elements Of Local Modeling 1998-07-20 Jianqing Fan Probability Distributions of Optical Flow 2000-12-13 Uncertainty Principle, FEAST hypothesis, FEAST/1 1999-06-28 Polarization mode dispersion compensation of chirped Bragg gratings used as chromatic dispersion compensators 2000-10-05 Gandalf - A Swedish Telephone Speaker Verification Database 1996-08-30 Hkan Melin Sub-Birkhoff 2000-12-19 Vincent Van Oostrom Fast Kernel Tracing: A Performance Evaluation Tool For Linux 2000-12-11 Robert D. Russell Data Quality Control for Vessel Mounted Acoustic Doppler Current Profiler. Application for the Western Mediterranean Sea. 1999-01-21 The Computational Dimension of a Topological Space 2000-11-18 Hideki Tsuiki Metrics and similarity measures for hidden Markov models 1999-04-29 Dimensions of Learning in Agent-based Design 1998-07-30 Dispatchability Conditions for Schedules with Consumable Resources 2000-12-20 Transverse optical Josephson plasmons, equations of motion 2000-11-17 URL Forwarding and Compression in Adaptive Web Caching 2000-12-12 Real-Time Schedulability Analysis for Ada 2001-01-03 Frank Mueller Partial Methods Versus End-to-End Measurements 2000-10-17 High Speed Recursivity and PDE's in image processing 1970-01-01 Hvp...'rp''vp Srs'rp''vp @o/oov...'r 2000-11-20 On The Homology Of Regular Quotients 2001-01-08 Andrew Baker Bounded Parallel Garbage Collection: Implementation and Adaptation 2000-11-29 Construction of commutative filters for LES on unstructured meshes 2000-12-04 What do Hyperlink-Proposals and Request-Prediction have in Common? 2000-11-17 Chao Wang and Stephanie Sene 2000-11-22 Proxy-Server Architectures for OLAP 2000-12-05 Communicative Goals 2000-12-21 What is a Free Double Category Like? 2000-09-30 Levenberg-Marquardt Learning and Regularization 2001-01-02 Lai-wan Chan The Curvelet Transform for Image Denoising 2000-11-15 Mac Mahon's Partition Analysis Revisited 2000-12-13 A Graph-Grammar Based Approach to the Specification of Hypermedia Application Dynamics 2000-07-24 Giorgio Busatto First Results from the Faint Galaxy Survey' 1999-01-21 A Simple Extension of Java Language for Controllable Transparent Migration and its Portable Implementation 2000-12-25 Constraint Abstractions 2000-12-22 A Class of Experimental Designs for Estimating a Response Surface and Variance Components 2000-12-27 The Topological Entropy of Iterated Piecewise Affine Maps is Uncomputable 2000-11-16 An interaction network monitor for Amoeba 1999-11-24 Paul Ashton Multi-scale Analysis and Description of Image Structure 1998-01-06 Recovering Edges in Ill-Posed Inverse Problems: Optimality of Curvelet Frames 2000-11-03 Identification of Outliers in Exponential Samples With Stepwise Procedures 2000-11-24 A Probabilistic Constraints Approach To Language Acquisition And Processing 2000-07-25 Constraint Abstractions 2000-12-03 Optimal Scheduling of Imprecise Computation Tasks in the Presence of Multiple Faults 2000-09-27 Towards a Fault Tolerant AHS Design 2000-07-19 Dynamic Animation Of Spline Like Objects 1999-01-11 A Study of Theoretical Issues in the Synthesis of Delay Fault Testable Circuits 1994-02-04 Sreejit Chakravarty Predicting Monochrome Color Transmittance Spectra of Electrophotographic Prints 2000-11-21 Exploiting Structure in Solution: Decomposing Compositional Models 2000-12-21 Jane Hillston A Multiresolution Strategy for Numerical Homogenization 1994-11-07 M. E. Brewster On the Unusual Effectiveness of Logic in Computer Science 2000-12-08 What are Polymorphically-Typed Ambients? 2000-10-28 Precise timing analysis of PLC applications two small examples 2000-11-21 Angelika Mader Model Checking Programs 2000-11-26 I Show You How I Like You: Human-Robot Interaction through Emotional Expression and Tactile Stimulation 2000-05-31 An analysis of an fMRI dataset 1998-06-02 Niels Vaever Petersen Grid Embedding of Internally Triangulated Plane Graphs without Non-empty Triangles 1995-02-02 Xin He A High-Performance Reconfigurable Elliptic Curve Processor for GF2 m 2000-11-06 Gerardo Orlando High-Performance Out-of-Core Sparse LU Factorization 2000-12-07 Program Synthesis and Transformation Techniques for Simulation, Optimization and Constraint Satisfaction 2000-06-08 Thomas Ellman An Interior-Point Approach to Sensitivity Analysis in Degenerate Linear Programs 2000-12-13 Habit Formation: Implications for the Wealth Distribution 2000-12-22 Parallel Lagrange-Newton-Krylov-Schur Algorithms For PDE-Constrained Optimization Part II: The Lagrange-Newton Solver And Its Application To Optimal Control Of Steady Viscous Flows 2001-01-05 Visual Deconstruction: Recognizing Articulated Objects 1999-01-25 Artificial Ant Colonies in Digital Image Habitats - A Mass Behaviour Effect Study on Pattern Recognition 2000-06-17 Towards a Comprehensive Topic Hierarchy for News 2000-11-30 Vijay Boyapati Linking, Optionality, and Ambiguityin Marathi 1970-01-01 Ash Asudeh Rolling Bodies with Regular Surface: Controllability Theory and Applications 1970-01-01 Observation Of An X-Ray--Luminous Active Nucleus In Markarian 231 2001-01-03 Quantum Cat Maps With Spin 1/2 2000-12-07 Jens Marklof ELECTRON-IMPACT DISSOCIATION AND IONIZATION CHANNELS IN O. J. Orient and A. 1999-01-21 O. J. Orient End to End Aggregation of Multicast Addresses 2000-11-17 Group M Tatham SpecSyn: An Environment Supporting the Specify-Explore-Refine Paradigm for Hardware/Software System Design 1999-06-30 Fragmented Objects for the Implementation of Mobile Agents 2000-11-30 Exact Algorithms For Computing PAIRWISE ALIGNMENTS AND 3-MEDIANS FROM STRUCTURE-ANNOTATED SEQUENCES EXTENDED Abstract 2000-12-27 Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus 2000-10-31 Rapid Close-To-Optimum Optimization By Genetic Algorithms 2000-11-14 Detectability and Annoyance Value of MPEG-2 Artifacts Infacts Inserted into Uncompressed Video Sequences 2000-10-10 Jo Fo A Perturbative Approach to Non-Linearities in the Information Carried By a Two Layer Neural Network 2001-01-08 A Network Co-processor-Based Approach to Scalable Media Streaming in Servers 2000-07-29 A Control Theoretical Approach To A Window-Based Flow Control Mechanism With Explicit Congestion Notification 2000-03-06 Window-based error recovery and flow control with a slow acknowledgement channel: a study of TCP/IP performance 1999-09-15 On the Algebra of Feedback and Systems With Boundary 2000-01-13 Polynomial Real Root Isolation using Approximate Arithmetic 2000-02-01 The Thinnest Of Clients: Controlling It All Via Cellphone 2000-06-09 From Potential Theory To Matrix Iterations In Six Steps * 2000-02-13 Vector Set-Partitioning with Successive Refinement Voronoi Lattice VQ for Embedded Wavelet Image Coding* 2000-02-15 Robust Vector Quantizer Design Using Competitive Learning Neural Networks 2000-02-11 Dynamic loadbalancing in a lightweight adaptive parallel multigrid PDE solver. 1999-01-07 Gerhard W. Zumbusch Chu's construction: A proof-theoretic approach 1999-08-26 G. Bellin Estimate The Source Structure Through Communication 2000-04-20 An Asymptotic Upper Bound For Multiplier Design 1970-01-01 Steering Programs Via Time Travel 1999-06-18 Do the Pseudospectra of a Matrix Determine Its Behavior? 2000-02-13 Time-Space Weighting for Image Sequence Quantization 1998-11-01 Hagit Zabrodsky Hel-or On the Computation of the Eigenproblems of Hydrogen and Helium in Strong Magnetic and Electric Fields With the Sparse Grid Combination Technique 2000-03-08 Analysis of Call Blocking Probability in TDM/WDM Networks with Transparency Constraint 2000-10-03 Analysis of Complex Systems using the Self-Organizing Map 1998-07-07 Approximate Complex Polynomial Evaluation In Near Constant Work Per Point 2000-09-11 John H. Reif Sampling of Procedural Shaders Using Affine Arithmetic 2000-09-14 Large Time Asymptotics Of Solutions To The Anharmonic Oscillator Model From Nonlinear Optics 2000-09-19 Frank Jochmann Choice Functions and the Scopal Semantics of Indefinites 1997-05-26 Yoad Winter Hyphenation in TEX - Quo Vadis? 2000-12-07 Petr Sojka Computer-Based Aerial Image Understanding: A Review and Assessment of its Application to Planimetric Information Extraction from Very High Resolution Satellite Images 2000-10-18 Bert Guindon A Query Language for NC 2000-10-30 A Texture-based Object Detection and an adaptive Model-based Classification 1998-11-26 A History of Natural Deduction and Elementary Logic Textbooks 2000-03-18 Francis Jeffry Pelletier Model selection using Rademacher Penalization 2000-03-28 Fernando Lozano Performance of Quantizers on Noisy Channels using Structured Families of Codes 2000-05-03 Designing Optical LANs with Multichannel CSMA/CD Protocols 2000-01-14 Preferred History Semantics for Iterated Updates 1999-10-03 Assessing the Applicability of Fault-Proneness Models Across Object-Oriented Software Projects 2000-08-25 Constraints and Defaults on Zero Pronouns in Japanese Instruction Manuals 1998-07-28 Differential Methods In Logic Program Analysis 2000-10-09 Creating Full View Panoramic Image Mosaics and Environment Maps 2000-03-02 A Resolution-Based Decision Procedure for Extensions of K4 1999-03-15 Probabilistic and Rule-Based Tagger of an Inflective Language - a Comparison 2001-01-15 Jan Hajic Learning of P-Adic Neural Networks 2000-02-02 Averaging and Climate Models 2000-11-13 Yuri Kifer A Comparative Study of Vision-Based Lateral Control Strategies for Autonomous Highway Driving 1998-02-27 "Teachers and Classes" with Neural Networks 2000-12-12 From Enterprise Models to Dimensional Models: A Methodology for Data Warehouse and Data Mart Design 2000-05-31 TheSino-TibY74 Etymological Dictionary and Thesaurus: STEDT Project Data Resources and Protocols 2000-11-09 Vision-Based Lateral Control of Vehicles: Look-ahead and Delay Issues 1998-05-13 Spatial Aggregation: Modeling and controlling physical fields 1997-04-17 A Generalisation, a Simplification and some Applications of Paillier's Probabilistic Public-Key System 2000-11-16 Advantages of Cooperation Between Reinforcement Learning Agents in Dicult Stochastic Problems 1999-10-27 A Collection of Large-Scale Nonlinearly Constrained Optimization Test Problems. 2000-04-03 Discovering Robust Knowledge from Databases that Change 2000-09-28 On the Adaptive Numerical Solution of Nonlinear Partial Differential Equations in Wavelet Bases 1995-12-04 Logics for Databases and Information Systems 2000-11-17 Compiler Transformations for High-Performance Computing 1995-04-13 On the Distribution and Gap Structure of Lee-Yang Zeros for the Ising Model: Periodic and Aperiodic Couplings 2000-12-07 Motion Detection and Tracking under Constraint of Pan-Tilt Cameras for Vision-Based Human Computer Interaction 2000-03-22 A Taxonomy of Real and Virtual World Display Integration 2000-12-11 Machine Learning from Imbalanced Data Sets 101 Extended Abstract 2000-08-25 The 3D Room: Digitizing Time-Varying 3D Events by Synchronized Multiple Video Streams 1999-01-25 On the Solution Sets of Particular Classes of Linear Systems 2000-11-25 A Comprehensive Dynamic Processor Allocation Scheme for Multiprogrammed Multiprocessor Systems 2000-03-09 Planar and Braided Proof-Nets for Multiplicative Linear Logic with Mix 1998-12-17 G. Bellin Ribbon Tile Invariants 2000-08-17 Igor Pak System Identification of Fuzzy Cartesian Granule Feature Models using Genetic Programming 1998-09-02 Strata Of Random Mappings - A Combinatorial Approach 1999-10-28 Michael Drmota Practical Construction of Modified Hamiltonians 2001-01-05 Integrated Value Chains and Their Implications From a Business and Technology Standpoint 2001-01-15 Compression of DNA sequences Extended Abstract 1996-09-13 Perfectly One-Way Probabilistic Hash Functions 2000-12-26 Investigating Reading Techniques for Framework Learning 2000-11-22 Searching for Needles in a World of Haystacks 2000-10-03 Jamie Callan Combining Bidirectional Path Tracing And Multipass Rendering 1999-01-04 The Ponder Policy Specification Language 2000-11-30 General Schema Theory for Genetic Programming with Subtree-Swapping Crossover 1970-01-01 Riccardo Poli Machine Learning, Machine Vision, and the Brain 2000-07-24 Programmation Fonctionnelle Et Parallélisme: Une Approche Pragmatique 1994-09-28 Test of NN potential models: Isospin relations in pd annihilations at rest and the search for quasinuclear bound states 1999-12-08 Semantic Content Based Image Retrieval Using Object-Process Diagrams 1998-10-28 Dov Dori Visual Gesture Recognition 2000-07-05 Ellen P. Reese 1926--1997: Teacher, Mentor, And Respectful Student Of Human And Nonhuman Animal Behavior 1997-12-31 Ontology-Based Extraction and Structuring of Information from Data-Rich Unstructured Documents 1999-06-02 Load Balancing Across Near-Homogeneous Multi-Resource Servers 2000-04-20 Overview of Mesh Results 1996-09-14 Airline Crew Scheduling with Potts Neurons 2000-12-12 Getting "Results": The Pattern-oriented Approach to Analyzing Complex Systems with Agent-based Models 2000-03-03 Steve Railsback When All Else Fails, Guess: The Use of Speculative Multithreading for High-Performance Computing 2000-07-12 David J. Lilja Phase-Space Nonlinear Control Toolbox: The Maglev Experience 1997-08-08 Unknown 1999-01-21 Coaxing Confidences from an Old Friend: Probabilistic Classifications from Transformation Rule Lists 2000-12-06 A Note on the Regularity of Competitive Equilibria and Asset Structures 2000-11-30 Spatial Colour Matching for Content Based Retrieval and Navigation 1970-01-01 Elimination of Spurious Loss in Euler Equation Computations 2000-11-29 The Value of Statistical Life in Road Safety: A Meta-Analysis 2000-11-07 A Survey On Off-Line Cursive Script Recognition 2000-11-24 Alessandro Vinciarelli Scheduling Broadcasts in Wireless Networks 2000-10-30 Grounding line migration of Petermann Gletscher, north Greenland, detected using satellite radar interferometry 1999-01-21 Affine and Projective Differential Geometric Invariants of Space Curves 1998-01-06 Max A. Viergever American Thoracic Society 2000-12-20 Anaconda Defeats Hoyle 6-0: A Case Study Competing an Evolved Checkers Program against Commercially Available Software 2001-01-13 New Devices for 3D Pose Estimation: Mantis Eyes, Agam Paintings, Sundials, and Other Space Fiducials 2000-03-10 Neural Network Control for A Fire-Fighting Robot 2000-02-03 Amalgams Of Free Inverse Semigroups 1999-10-20 Efficient Admission Control for EDF Schedulers 1999-09-15 Object-Oriented Programming Environments: Requirements and Approaches 2000-02-03 Betti Numbers of 3-Sasakian Quotients of Spheres by Tori 1999-03-09 Roger Bielawski Simple and Fault-Tolerant Key Agreement for Dynamic Collaborative Groups 2000-09-06 Connection-Based Proof Construction in Linear Logic 2000-10-31 Discrimination or Individual Effort? - Regional Productivity Differentials in a Large Italian Firm 1998-03-25 Resource Sharing for Multi-Party Real-Time Communication 1997-10-15 Characterizing and Assessing a Large-Scale Software Maintenance Organization 2000-12-11 Analysis Of The Transient Response Of Led-Illuminated Diodes Under Heavy Radiation Damage 2000-12-20 Learning Algorithms Based on the Methods of Temporal Differences 1970-01-01 Pawe Cichosz Data-Flow Analysis of Program Fragments 1999-10-03 The UPS Problem 2000-12-14 Cristina G. Fernandes Simultaneous Regular Expression Matching with Dependencies 2000-12-29 Capacity Scaling in Dual-Antenna-Array Wireless Systems 2000-09-15 Efficient Parsing of Domain Language 2000-11-06 Bifurcations in Mean-Field-Theory Annealing 1997-06-03 Randomized Token Buckets: 1999-10-16 Management of Replicated Volume Location Data in the Ficus Replicated File System 2000-06-20 JiNao: Design and Implementation of a Scalable Intrusion Detection System for the OSPF Routing Protocol 2000-06-21 An A* perspective on deterministic optimization for deformable templates 1970-01-01 Constant-Time Dynamic ATM Bandwidth Scheduling for Guaranteed and Best Effort Services with Overbooking 1999-09-15 Dong Lin Extreme Vectors of Doubly Nonnegative Matrices 1997-02-12 A Simulation of Life Using a Dynamic Core Memory Partitioned by Membrane Data 1999-05-12 Hideaki Suzuki A Domain--Oriented Multilevel Algorithm --- Implementation and Parallelization 2000-08-29 Security of Signed ElGamal Encryption 2000-09-04 Claus Peter Schnorr Local Guide to mpich in the CS Department at WMU 1999-09-29 Rodger Zanny Statistical Translation Of Spoken Dialogues In The Verbmobil System 2000-11-27 Nested-Dissection Orderings for Sparse LU with Partial Pivoting 2000-12-07 Corrections To The Critical Temperature In 2d Ising Systems With Kac Potentials 1997-04-26 Self-Organisation in a System of Binary Strings 2000-11-27 Wolfgang Banzhaf Empirical Margin Distributions And Bounding The Generalization Error Of Combined Classifiers 2000-09-05 V. Koltchinskii Model Selection and the Principle of Minimum Description Length 2000-12-17 A Disk-Packing Algorithm for an Origami Magic Trick 2000-12-29 Learning Abstraction Hierarchies for Problem Solving 2000-11-30 Craig A. Knoblock Binding-time Analysis: 1994-08-10 Industrial Parsing of Software Manuals: an Introduction 1999-11-18 Simplifying Surfaces with Color and Texture using Quadric Error Metrics 2000-07-18 Worst Case Queue Length Estimation In Networks Of Multiple Token Bus Segments. 1970-01-01 Human Motor Control: Learning to Control a Time-Varying, Nonlinear, Many-to-One System 2000-03-30 Unstable Eigenvalues, and the Linearisation About Solitary Waves and Fronts With Symmetry 2000-01-26 An Overview of Parallel Dynamic Load-Balancing for Parallel Adaptive Computational Mechanics Codes 1999-04-14 P. K. Jimack Logic Programming with Preferences and Constraints 1998-08-27 Multidisciplinary Interactions in Energy and Environmental Modeling 1997-09-02 Richard E. Ewing An Integrated Multi-Sensory System For Photo-Realistic 3d Scene Reconstruction 1999-01-17 NEW TECHNOLOGIES FOR REALIZING MODEL-BASED BATTLE COMMAND Dr. James Snyder Dr. Patrick A. Muckelbauer Carlos Henriquez 2000-03-17 Partial Boolean Algebras As Models For Thesaurus Integration 2000-12-03 Carlo Ferigato Parallel Sparse Matrix-Vector Multiply Software for Matrices with Data Locality 1997-01-07 Finite Element Approximation of a Degenerate Allen-Cahn/Cahn-Hilliard System 2000-12-07 New Results on Correlation Immunity 2001-01-04 Yuliang Zheng A Position Against The Need For Alner Bars In Minos Module Installation 2000-12-13 Jim Grudzinski Fundamental Matrix estimation driven by Stereo-Correlation 1970-01-01 Cyrille Gauclin Speed-Adapted Trajectories In The Case Of Insufficient Hydraulic Pressure For The Four-Legged Large-Scale Walking Vehicle ALDURO 2000-11-27 Newton Iteration for Partial Dierential Equations and the Approximation of the Identity 2000-06-20 Efficient Linear Re-rendering for InteractiveLighting Design 2000-12-11 S. P. Uryasev, Editor, pp. 91-116 Statistical inference of stochastic optimization problems 2000-12-14 Portable Long-Wavelength Infrared Camera For Civilian Applications S. 1999-01-21 The Rost Invariant Has Trivial Kernel For Quasi-Split Groups Of Low Rank 2000-10-31 R. Skip Garibaldi Kinematic Fitting Algorithms and Lessons Learned from KWFIT 2000-01-26 Paul Avery Curvelets and Reconstruction of Images from Noisy Radon Data 2000-11-03 Asymptotic Normality OfThe Maximum Likelihood Estimator In State Space Models 1999-03-15 Replication and Caching Strategies in Cadmium 1998-04-22 On The Structure Of Attractors For Discrete Population Models With Periodic Forcing 2000-12-17 Viscoelastic Panel Fluter - Stability Probabilities Of Failure And Survival Times 2000-08-08 NEIMO, a Multiworkstation Usability Lab for Observing and Analyzing Multimodal Interaction 1996-01-08 An Algorithm for Solving the Direct Kinematic Of Stewart-Gough-Type Platforms 1996-01-22 Manfred L. Husty Ray Tracing with Cones 2000-11-17 John Amanatides Categorial Formalisation of Relativisation: Pied Piping, Islands, and Extraction Sites 2000-12-21 Seamless Multiresolution Isosurfaces Using Wavelets 2000-06-30 Evidence for Symmetric Chromosomal Inversions Around the Replication Origin in Bacteria 2000-12-14 Improved Incremental Randomized Delaunay Triangulation. 1998-03-18 Olivier Devillers Experiences with Constraint-based Array Dependence Analysis 1996-12-10 Optical Properties Non-Spherical Particles of Size Comparable to the Wavelength of Light: Application to Comet Dust. 1999-01-23 Martha S Improving the Efficiency of Speech Interfaces for Text Navigation 2000-06-02 Freddy Y. Y. Choi Decomposing the Age-Related Deficit in Free Recall 2000-12-13 Virtual Memory Support for Multiple Pages 1997-07-09 Articulatory Synthesis Of Fricative Consonants: Data And Models 1996-06-27 Robust linear discriminant analysis using S-estimators 2000-11-22 Computational Semantics and Information Retrieval 2000-07-20 Christof Monz Simplified Design of Steerable Pyramid Filters 2000-08-25 Interpretation of Self-Organizing Maps with Fuzzy Rules 2000-12-04 Power Controlled Multiple Access In Ad Hoc Networks 2000-12-11 Jerey P. Monks Unemployment vs. Mismatch of Talents: Reconsidering Unemployment Benefits 1998-11-12 Parallel Branch and Bound and Anomalies 1970-01-01 Harry W. J. M. Trienekens Planetary mass limits using Hipparcos astrometry 2000-11-23 Julienne Palasi Bibliography 1986-1998 1998-07-06 Temporal ER Modelling with Description Logics 2000-10-25 Alessandro Artale Aditi Users' Guide 1999-11-05 Linear Plus Quadratic Approach to the Mean Square Error Optimal Combination of Forecasts 2000-11-24 Sven-oliver Troschke Hybrid Self-Tracker: An Inertial/Optical Hybrid Three-Dimensional Tracking System 1998-10-19 Gregory F. Welch Multi-Agent Systems 2000-12-01 Action Minimizing Orbits In The Parallelogram Four-Body Problem With Equal Masses 2000-08-23 Kuo-chang Chen CIM and Manufacturing Industry In The North East Of England: A Survey Of Some Current Issues. 2000-03-29 Semi-Dynamic Shortest Paths and Breadth-First Search in Digraphs 1996-04-29 Simultaneous Noise Suppression and Signal Compression using a Library of Orthonormal Bases and the Minimum Description Length Criterion 1998-04-06 Naoki Saito Mining in a Data-flow Environment: Experience in Network Intrusion Detection 2000-06-26 Roundtrip Engineering with FUJABA Extended Abstract 2000-12-22 Commitment Using Punishment 1997-03-14 Leonard Green A Measurement of the Decay Asymmetry Parameters in Xi 2000-11-21 Cleo Collaboration A Note on Query Order: Solving the Missing Case 1999-05-26 Harald Hempel System Design Issues for Internet Middleware Services: Deductions from a Large Client Trace 1998-03-17 Steven D. Gribble Analysis of Synchronization in the Response of Neurons to Noisy Periodic Synaptic Input 2000-11-29 A. N. Burkitt "Turbo equalization" using frequency domain equalizers 2000-12-11 Joachim Hagenauer Radiance Maps: An Image-Based Approach to Global Illumination 2000-05-31 MID-INFRARED IMAGING OF OR1ON BN/KL 11. LUMINOSITY SOURCES, EXTINCTION DISTRIBUTION, AND THE NATURE of IRc2 1999-01-21 Reactive Web Agents with Open Constraint Programming 2000-12-18 Direct Gray Scale Ridge Reconstruction in Fingerprint Images 1999-11-14 Residual Interference Suppression in Parallel Interference Cancellation Receivers 1999-03-01 Conservation, Regulation, Synteny, and Introns in a Large-scale C. briggsae-C. elegans Genomic Alignment 2001-01-16 On the Restraining Power of Guards 2000-12-20 The Use Of Industrial Design Projects As A Means For Integrating Senior Engineering Design And Engineering Economics 1998-05-26 J. Darrell Gibson Distributed Execution with Remote Audit 2000-04-21 Acknowledgments. 1999-06-19 Ilan Vardi Fault Detection using PI Observers 1970-01-01 Two techniques to improve Finite Model Search 2000-03-10 Acknowledgments 1998-10-29 A Connectionist Model of Reflective Reasoning Using Temporal Properties of Node Firing 1970-01-01 Jacques Sougn The Web as a graph 2000-10-05 Robust Parsing of Japanese Technical Text: An Initial Study 2000-08-04 A Framework for Non-rigid Matching and Correspondence 1999-04-21 Steven Gold Complex Scheduling with Potts Neural Networks 2000-12-12 Information Processing in Medical Imaging, pp. 27-39, 1995 1999-04-21 Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover 2000-01-09 Elsa L. Gunter Feature Displacement Interpolation 1999-10-11 Application-Level Differentiated Multimedia Web Services Using Quality Aware Transcoding 2000-04-23 Coupling Problems In Microelectronic Device Simulation 1999-01-04 Evolving Objects 2000-04-25 QMR-Based Projection Techniques for the Solution of Non-Hermitian Systems with Multiple Right-Hand Sides 2001-01-04