MINERVA: an automated resource provisioning tool for large-scale storage systems 2001-06-08 Comparison of Nonlinear Control Designs for a Ducted Fan Model 1999-05-21 Bordersofmultiplevisualareas In Humans Revealed By Functional Mri 2001-07-10 N³: A Native NBMA Networking stack 2001-10-17 Exception Handling in Open Multithreaded Transactions 2000-06-19 Evolutionary Multi-Objective Feature Selection And Roc Analysis With Application To Industrial Machinery Fault Diagnosis 2001-11-01 Knowledge Integration and Learning 1999-06-09 Net Reductions for LTL Model-Checking 2001-09-14 Variable Precision Reaching Definitions Analysis 2000-06-22 Ligature: Gesture-Based Configuration of the E21 Intelligent Environment 2001-07-11 Mark A. Foltz Modal Logics for AI Planning 2001-11-05 Combination Of Iddq Testing And High Level Atpg 2001-02-07 Indecision Theory: Explaining Selective Abstention in Multiple Elections 2001-10-12 Foundations for a Theory of Mind for a Humanoid Robot 2001-06-05 Markov Chaotic Sequences For Correlation Based Watermarking Schemes 2001-07-02 DRAGON PROMOTER FINDER: software for recognition of vertebrate RNA Polymerase II promoters 2001-05-08 Partitioning 3D space for parallel many-particle simulations 2001-06-06 Deep Space Mission Radiation Shielding Optimization 2001-07-17 Evolution of Artificial Neural Networks 2001-08-03 VEGA: A Verification Tool Based on Genetic Algorithms 1998-07-31 Global Perspectives on Proteins: Comparing Genomes in Terms of Folds, . . . 2001-05-12 Subdivision Schemes for Variational Splines 2001-05-16 Intrinsic Area Array ICs: What, Why, and How 1999-11-24 A Fuzzy-Rough Approach for Case Base Maintenance 2001-09-13 Subspace Projections -- an Approach to Variable Selection and Modeling 2001-10-05 Thomas Martini Jrgensen Mining for Purity Dependencies in Databases 2001-06-05 Measuring In Vivo Animal Soft Tissue Properties for Haptic Modeling in Surgical Simulation 2001-02-28 Incremental Execution of Guarded Theories 2001-05-03 Area Minimization of Redundant CORDIC Pipeline Architectures 2000-06-15 Threshold Cryptosystems Based on Factoring 2001-11-07 A Lexical Interface for Finite-State Syntax 1996-02-15 From LFG Structures to TIGER Treebank Annotations 2001-10-17 Selecting the Right Algorithm 2001-08-30 Near-optimal Delay Constrained Routing in Virtual Circuit Networks 2001-07-30 Deterministic Approximation For Stochastic Control Problems 1999-05-31 Towards the Effective Parallel Computation of Matrix Pseudospectra 2001-05-16 Performance-Driven Mapping for CPLD Architectures 2001-03-26 A Simulator for SMT Architectures: Evaluating Instruction Cache Topologies 2000-10-31 Asymptotic Theory of Greedy Approximations to Minimal 2001-05-12 X-Ray Imaging using a Pixel GaAs Detector 1995-05-12 Fourier and Hankel Bandlimited Functions 2001-04-09 L. Lorne Campbell An Infrastructure for Intertheory Reasoning 2001-05-01 William M. Farmer A Note on the Poor-Verdu Upper Bound for the Channel Reliability Function 2001-05-28 Process Cruise Control 1997-10-02 Frank Bellosa A Randomized On-line Algorithm for the k-Server Problem on a Line 2001-10-01 Sachin Lodha A New Technique to Measure the Jitter 2001-05-03 Automated segmentation of MS lesions from multi-channel MR images 2001-07-31 Analysis of Drifting Dynamics with Competing Predictors 1996-05-09 Basic Z39.50 Server Concepts and Creation 1995-09-07 John A. Kunze Persistent Data Management for Visual 2000-10-13 An Application of Bayesian Networks to Antiterrorism Risk Management for Military Planners 2001-03-23 History and Contributions of Theoretical Computer Science 2001-03-26 Fighting Livelock in the GNU i-Protocol: A Case Study in Explicit-State Model Checking 2001-10-21 Cut times for random walks on the discrete Heisenberg group 2001-08-03 Universit'e Paul Sabatier Atlas Daq 2001-05-30 Computation and Functionalism: Syntactic Theory of Mind Revisited 2001-07-08 Murat Aydede Formal Verification of VHDL: The Model Checker CV 2001-03-26 The Dirac-Ramond operator on loops in flat space 2001-04-25 The Problem of Degeneracy in Structure and Motion Recovery from Uncalibrated Image Sequences 1999-07-28 Visualizing Unsteady Flows By Adaptive Streaklines 1999-12-22 Felix 2001-03-06 Distribution-Based Option Pricing on Lattice Asset Dynamics Models 2000-12-05 James A. Primbs Designing A New Elitist Nondominated Sorted Genetic Algorithm For A Multiobjective Long Term Groundwater Monitoring Application 2001-07-31 Semantics for Null Extended Nested Relations 1994-05-31 Modeling the Dynamics of the Human Thigh for a Realistic Echographic Simulator With Force Feedback 2000-01-11 Comparing the SB-PRAM with a perfect PRAM using Quicksort 2001-02-05 Building Virtual Laboratories - A Web Based Experience 2001-09-10 Modularity Matters Most 2001-11-02 A Design Flow for 12.8 GBit/s Triple DES using Dynamic Logic and Standard Synthesis Tools 2001-03-14 Random Constraint Satisfaction: Flaws and Structure 2001-10-11 On a Criterion for Asymptotic Stability of Differential-Algebraic Equations 1999-10-29 Devising an RT-Level ATPG for Processor Cores 2001-10-29 A Domain Theoretic Characterisation Of The Universal Relation 1995-08-06 Integrating Statistical and Structural Information in a Distributed Architecture for Syntactic Disambiguation 1997-07-01 A Missing Solution to the Transport Equation and its Effect on Estimation of Cloud Absorptive Properties 2001-08-10 See Commentary page ??? 2001-06-26 Evolutionary Generation of Faces 2001-03-19 Understanding Speech Understanding: Towards A Unified Theory Of Speech Perception 2001-08-09 Steven Greenberg Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol 2001-06-30 Description Logics Emerge from Ivory Towers 2001-07-26 Deborah L. Mcguinness Amir Dembo 1996-10-16 Amir Dembo Phase Transitions of PP-Complete Satisfiability Problems 2001-04-19 A Causal Semantics for Timed Default Concurrent Constraint Programming 2001-07-23 Designing Palaver Tree Online: Supporting Social Roles in a Community of Oral History 2000-12-18 Adaptive Information Extraction and Sublanguage Analysis 2001-04-24 Ralph Grishman Labeling provisions included single-agent use for less than 1 year in obese patients body mass index BMI 30 kg/m 2000-11-22 Radiative transport limit for the random Schrödinger equation 2001-08-11 Building continuous webbed models for System 2000-11-17 On the Performance of Multithreaded Architectures for Network Processors 2000-10-30 Object-Based Image Coding for Cooperative 3D Visualization 1999-12-30 Hypercontractivity Of Hamilton-Jacobi Equations 2000-10-26 Every Niching Method has its Niche: Fitness Sharing and Implicit Sharing Compared 2001-06-26 System Identification with Information Theoretic Criteria 1995-05-23 Reversible Wavelet Transforms and Their Application to Embedded Image Compression 2000-02-03 Michael David Adams Digital Waveguide Mesh for Room Acoustic Modeling 2001-05-16 Realizing Real-Time Systems from Synchronous Language Specifications 2001-02-16 An Evaluation of Preliminary Data Announcement Rationality and Business Cycle Asymmetry 2001-07-15 Following the paths of XML Data: An algebraic framework for XML query evaluation 2001-03-28 Towards Adaptive and Reflective Middleware For Network-Centric Combat Systems 2001-08-02 Projection Effects in the Spectra of Early-Type Pulsating Stars 2001-07-02 Multiagent Architecture for D-Sifter - A modern approach to flexible information filtering in dynamic environments 2001-07-31 Ingo J. Timm Architecture for Mobile P-Commerce: Multilevel Profiling Framework 2001-04-06 Vagan Terziyan Comments on M.C. Kennedy, A. O'Hagan's `Bayesian calibration of computer models' 2001-09-06 The Utility of Feedback in Layered Multicast Congestion Control 2001-03-08 A Conjecture on the Concatenation Product 2001-06-19 Trace Reduction for Virtual Memory Simulations 2001-03-29 Conditional Planning under Partial Observability as Heuristic-Symbolic Search in Belief Space 2001-07-27 On-Line Difference Maximization 1998-10-16 Thick Points for Planar Brownian Motion and the Erdös-Taylor Conjecture on Random Walk 2000-12-14 Distributed Query Scheduling Service: An Architecture and Its Implementation 1999-09-28 -complete models for System 2000-12-05 Fault Detection by Mining Association Rules from House-keeping Data 2001-05-09 A GEOMETRIC APPROACH TO CLASSIFICATION OF TRASH IN GINNED COTTON Murali Siddaiah 2001-08-09 Virtual Community Knowledge Evolution 2001-02-25 Levels of Selection in Positive Strand Virus Dynamics 2001-07-30 Trends---Associated With the Latest Organizational Performance 2000-10-06 Layered Clusters of Tightness Set Functions 2001-05-14 Buttons vs. menus: An exploratory study of pull-down menu selection as compared to button bars 2001-02-27 Blind Adapted, Pre-Whitened Constant Modulus Algorithm 2001-03-09 Precise Call Graph Construction in the Presence of Function Pointers 2001-06-05 Learning Class-to-Class Selectional Preferences 2001-07-17 Optimizing Temporal Queries: Efficient Handling of Duplicates 2001-04-16 Towards Self-Stabilizing Wait-Free Shared Memory Objects 1995-03-09 From Information Retrieval to Information Extraction 2001-05-15 Modelling the False Alarm and Missed Detection Rate for Electronic Watermarks 2001-04-19 A Virtual Excavator for Controller Development and Evaluation 1999-03-03 Mechanism Theory 2001-03-05 Matthew O. Jackson Polynomial Closure and Unambiguous Product 2001-04-28 Generalized Quantile Processes Based on Multivariate Depth Functions, with Applications in Nonparametric Multivariate Analysis 2001-06-27 Robert Sering Deterministic Generators and Games for 2001-06-20 E-commerce Service Components with Multiple Classes of Service and Dynamic Adaptability Mechanisms 2001-07-29 EMU Labour Markets Two Years On: 2001-04-28 Relating State Transformation Semantics and Predicate Transformer Semantics for Parallel Programs 1994-12-04 Franck Van Breugel Prevenire Attacchi Denial-of-Service in Sistemi ad Agenti Mobili: una Soluzione Generale per Piattaforme Java 2001-07-27 Secure Meeting Scheduling With Agenta 2001-07-09 TPS: A Theorem Proving System for Type Theory 2001-03-22 OCB: A Block-Cipher Mode of Operation for Efficient Authenticated Encryption 2001-09-06 Real-Time Hatching 2001-05-10 Equivalences of Statecharts 2001-07-23 Time-Domain Decomposition Iterative Methods for the Solution of Distributed Linear Quadratic Optimal Control Problems 2001-08-30 Matthias Heinkenschloss International Sources of the Collapse of Rent-Seeking Regimes: Hypotheses Drawn from the Italian Case 2001-03-27 Distributed Constraint Satisfaction and the Bounds on Resource Allocation in Wireless Networks 2001-06-06 Active Sets, Nonsmoothness And Sensitivity 2001-03-27 A. S. Lewis Robust Bias-Corrected Least Squares Fitting Of Ellipses 1999-12-30 Phase Transition Phenomena in Wireless Ad-Hoc Networks 2001-04-25 Large Deviations for Past-Dependent Recursions 1999-05-31 Analysis of TCP Performance over Mobile Ad Hoc Networks Part II: Simulation Details and Results 2001-06-20 Simple EM Based Channel Estimation and Data Detection Using Estimation in the Preceding Frame in Space-Time Coded Signals 2001-07-25 An Environment For Cellular Devs Model Simulation 2000-09-12 Model For Bending Actuators That Use Electrostrictive Graft Elastomers 2001-03-16 Optimizing Eden by