Extending the User Interface to the Multiuser Environment 2000-04-14 Parsimonious Estimation of Multiplicative Interaction in Analysis of Variance using Kullback-Leibler Information 1999-11-02 Software Tools for Virtual Reality Application Development 2001-01-01 An Argumentation-Theoretic Characterization of Defeasible Logic 2000-11-14 Nominal Facts and the October 1979 Policy Change 2000-06-09 Geometry of the Space of Phylogenetic Trees 2000-06-30 What People Know About Sounds of Language 2000-06-18 Janet B. Pierrehumbert Searching Monophonic Patterns within Polyphonic Sources 2000-04-24 Improving the Practical Space and Time Efficiency of the Shortest-Paths Approach to Sum-of-Pairs Multiple Sequence Alignment 1999-09-13 VisuaLinda: A Framework and a System for Visualizing Parallel Linda Programs 1998-12-17 Compact Trace Generation and Power Measurement in Software Emulation 2000-12-13 Dynamic Hammock Predication for Non-predicated Instruction Set Architectures 1999-02-23 Appendix: Practical Computation of Formal Degrees 2000-10-25 Frank Lubeck Aachen A Basis for the non-Archimedian Holomorphic Theta Functions 2000-10-14 G. Van Steen Modular Automated Transport - Frequently Asked Questions FAQ 2000-07-25 Text Classification and Segmentation Using Minimum Cross-Entropy 2000-04-24 W. J. Teahan A Two Dimensional Approach to Quantum Effects by Black holes 1997-08-01 Learning and revising task-specific rules in ACT-R 2000-12-20 A Theoretical Evaluation of Selected Backtracking Algorithms 2000-06-05 A Large Deviation Principle With Queueing Applications 2000-07-12 A. J. Ganesh Mobile Computing in Military Ambulatory Care 1997-09-14 A Stable, Convergent, Conservative and Linear Finite Difference Scheme for the Cahn-Hilliard Equation 2000-02-24 An Architecture Independent Study of Parallel Segment Trees 2000-11-12 Alexandros V. Gerbessiotis European Antidumping Policy and firms' strategic choice of Quality 2000-09-08 On Symmetric Powers of Differential Operators 1999-04-09 The Infinite Versions of... Are Consistent with the Axioms of Set Theory 2000-03-17 Graph Algorithms = Iteration + Data Structures? 1997-09-17 Modeling And Forecasting Realized Volatility 2001-01-25 -213 Handout 9: Network Programming 2001-01-18 Approximating the Location of Integrand Discontinuities for Penumbral Illumination with Linear Light Sources 1999-03-29 Enriching buyers' experiences: the SmartClient approach 1999-12-22 Termination in Language-based Systems 2000-11-09 A BDD-Based Satisfiability Infrastructure using the Unate Recursive Paradigm 1999-09-28 Capital Flows and Exchange Rates 1999-08-10 Improving Planning Decisions through Autosimulations' AutoSched AP, Regression Analysis, and Linear Optimization 2001-01-29 Jeriad Zoghby Tools For Evolving Software 1996-08-16 Dewayne E. Perry Gene Order Breakpoint Evidence in AnimalMitochondrial Phylogeny 2000-03-16 LiLFeS---Practical Unification-Based Programming System for Typed Feature Structures 2000-05-30 Testing For Randomness Against Serial Dependence Using Kendall's Process 2000-09-21 Timing properties of microstrip gas chambers read out by the PreMux128 chip 1997-08-21 Fourier Law: A Challenge To Theorists 2000-02-14 a New Class of Prom sing Thermoelectric 1997-07-14 System Dynamics Modeling of an Inspection-Based Process 2000-04-06 Raymond J. Madachy Evidence for the Cholinergic Nature of C-terminals Associated With Subsurface Cisterns in 2000-05-30 Quantum Information Theory - an Invitation 2001-01-31 General Information 1998-11-10 Improving traditional subgradient scheme for Lagrangean relaxation: an application to location problems 1999-03-08 High-Performance Carry Chains for FPGAs 2000-02-08 Natural Language Parsing with Cell Assemblies: A Model of Nonconscious Human Language Processing 2001-01-17 Christian R. Huyck Environmental Contaminants Encyclopedia - Gasoline, General Entry 1998-09-02 AS/400 Advanced Series 1998-10-28 Construction of Asymptotic Periodic Solutions for Quasilinear Wave Equation in the Case of Massless 1999-01-28 HBench:Java: An Application-Specific Benchmarking Framework for Java Virtual Machines 2000-09-21 Experiments in Process Interface Descriptions, Visualizations and Analyses 1996-10-02 Using Gröbner Basis Theory to Compute Constraint Networks in Globally Solved Form 1999-08-11 Multi-wavelength observations and modelling of shock-cloud interaction regions in the Vela Supernova Remnant 2000-05-03 The Isoperimetric Inequality For Minimal Surfaces In A Riemannian Manifold 2000-07-06 Jaigyoung Choe Time Scales in Spectator Fragmentation 2000-07-25 A Mixed Fragmentation Algorithm for Distributed Object Oriented Databases 2000-05-04 Approximation Algorithms for Minimum Time Broadcast 2000-01-31 Caches Versus Object Allocation 2000-11-17 Jochen Liedtke Engineering Synthesis of High Performance Adaptive Robust Controllers For Mechanical Systems and Manufacturing Processes 2001-01-26 A Fully Abstract Semantics for a Higher-Order Functional Language With Nondeterministic Computation 2001-01-29 Alan Jeffrey Iterative Ranking-and-Selection for Large-Scale Optimization 2000-01-16 Measuring Trade Impediments To Services Within Apec 2000-04-14 A New Adaptive Neural Network and Heuristics Hybrid Approach for Job-Shop Scheduling 2000-11-17 Business Reply Mail 1998-10-28 Autour De L'aide La Dcision Et De L'intelligence Artificielle 1996-12-21 Lessons Learned from the Scientist's Expert Assistant Project 2000-04-18 Random walk and isoperimetry on discrete subgroups of Lie groups 1999-08-24 Universit'e Paul Sabatier Timing Analysis Including Clock Skew 2000-09-07 A Hierarchical Neural Model in Short-Term Load Forecasting 2000-08-29 Credulous and Sceptical Argument Games for Preferred Semantics 2001-01-26 Design of Fast Fractal Texture Mapping 2001-01-25 Martin J. Turner Can Mixing Materials Make Electromagnetic Signals Travel Faster? 1999-12-13 Business Reply Mail 1998-10-28 Propositional Defeasible Logic has Linear Complexity 2000-10-11 M. J. Maher Grassmannian Structures on Manifolds 2000-10-30 P. F. Dhooghe Proving the Versatility of Automatic Driver Scheduling on Difficult Train and Bus Problems 2000-05-24 An Experimental Study of Jury Decision Rules 2000-09-27 A Cellular Automata Simulation Environment for Modelling Soil Bioremediation 1999-10-14 Spots id File Page References 1998-10-28 Imbed Trace Painterly Rendering for Animation 2000-04-13 Barbara J. Meier Brainstorm/J: a Java Framework for Intelligent Agents 2000-10-06 Integrating an Intensive Experience with Communication Skills Development into a Computer Science Course 2001-02-01 Lori Pollock Mesh Routing Topologies for Multi-FPGA Systems 2000-02-08 A Tale of Two Toolkits: Relating Infrastructure and Use in Flexible CSCW Toolkits 2000-07-10 The Endfloat Package 2000-11-10 The Quantum Computing Challenge 2001-01-31 The Energy Dependence of the Cross Section of 2000-02-03 Lower Bounds for Dynamic Tree Embedding in Bipartite Networks 1999-04-01 Accurate Prediction of Protein Functional Class from Sequence in the M. tuberculosis and E. coli Genomes using Data Mining 2000-10-04 "Physics for Poets" --- Teaching physics to non-scientists 1999-03-15 D. L. Pursey Instanton Properties in External Color Field 2000-08-31 Codon usage tabulated from the international DNA sequence databases; its status 1999 1999-01-13 Cover Times Of A Simple Random Walk With Exponential Holding Times 2000-08-21 Anna Carlsund AS/400 Advanced Series 1998-10-28 A Uniform Framework For Integrating Knowledge In Heterogeneous Knowledge Systems 1994-12-19 Matrix-vector Product for Confluent Cauchy-like Matrices with Application to Confluent Rational Interpolation 2000-09-28 Probability Distributions Generated By Fractional Diffusion Equations 1998-11-18 A Combined IR/NLP Approach to Question Answering Against Large Text Collections 2000-04-24 Combining Local Consistency, Symbolic Rewriting and Interval Methods 2000-06-20 Commutative Queries 1999-07-23 Richard Chang Guide for implementing the Comprehensive Strategy for Serious, Violent, and Chronic Juvenile Offenders 1996-05-20 Fication Risk Factors Protective F LDCMC version 1.0 2000-12-12 Direction and Intensity of Russian Macroeconomic Evaluations 2000-06-25 Algorithms 2000-09-06 From Data-Flow Task to Multitasking: Applying the Synchronous Approach to Active Vision in Robotics 2000-11-06 A Distributed Spatial Architecture For Bush Fire Simulation 2000-06-15 Some Developments of the Blackwell-MacQueen Urn Scheme 1996-10-21 Jim Pitman Detc97/vib-3841 2000-04-24 Lonny L. Thompson Essential Laminations in Seifert-fibered Spaces 1998-09-15 Mark Brittenham Design of an Architecture for Real Time 3D PET Imaging 1999-10-29 Interactive Strategic Information Systems in Educational Administration 2000-08-01 Routing with Swarm Intelligence Tony White 2000-05-10 Tony White A Threshold of Ln N for Approximating Set Cover 1999-04-12 Uriel Feige Condensed Phase Matrix-Analyte Interaction 1999-07-28 Informationtheoretic Characterizations Of Recursive Infinite Strings 2000-05-01 Gregory J. Chaitin A Caching Proxy Solution for Distribution of Usenet News 2000-11-30 Australian Stock Market: Efficiency and International Linkages 2000-01-14 Jen Riley Unknown 1997-03-28 Nonsubstitution Theorems for a Small Trading Country 1999-07-20 Theodore C. Bergstrom Using Constraint Programming to Simplify the Task of Specifying DFX Guidelines 1999-09-25 Combinatorial and Algebraic Approaches to Network Analysis 2001-01-17 Power--law mass inflation in Einstein--Yang--Mills--Higgs black holes 1997-08-01 E. E. Donets The Moment Map, Toric Varieties and Mixed Volumes 1999-08-31 Analysis of Timed Systems Based on Time-Abstracting Bisimulations 2000-12-14 Harmonic Analysis of Spiking Neuronal Pairs 2000-08-21 PRO-COW: Protocol Compliance on the Web---A Longitudinal Study 2001-01-17 Wavelet Based Compression for Image Retrieval Systems 2001-02-06 Organizational Design: Decision Rights and Incentive Contracts 2001-01-10 Aspect-Oriented Logic Meta Programming 1998-05-27 Kris De Volder A Tree-Structured LFSR Synthesis Scheme for Pseudo-Exhaustive Testing of VLSI Circuits 2000-05-11 Nonoscillatory Central Schemes For Multidimensional Hyperbolic Conservation Laws 1998-08-27 Equilibrium Shape Of Headland-Bay Beaches For Engineering Design 1999-11-04 Symmetry Properties of Binary Branching Trees 1999-09-23 Gotz Kersting Maintaining Integrity Constraints across Versions in a Database 2000-05-16 Implementation of Read-k-times BDDs on top of standard BDD packages 2001-02-06 Wolfgang Gunther Rolf Drechsler Robust Value Function Approximation by Working Backwards 1995-09-16 The Low Activity Phase of Some Dirichlet Series 2000-05-26 The Evolutionary Status Of High-Lithium, High-Activity Cool Dwarfs 1998-01-29 An Embedding Approach to Frequency-Domain and Subband Adaptive Filtering 2000-08-25 On Helping and Interactive Proof Systems 1998-05-17 Probabilistic Mapping of Unexpected Objects by a Mobile Robot 2000-12-13 Dynamic Models for Spatio-Temporal Data 1999-06-21 A Formal Model for Business Process Modeling and Design 2000-02-25 Manolis Koubarakis The Compiler Construction System GENTLE --- Manual and Tutorial --- 1998-09-11 Jurgen Vollmer A Comparative Study of Transport--Oriented Discretizations of Convection--dominated Problems with Application to the Incompressible Navier--Stokes Equations 1999-12-14 Arnd Grimmer High-Automation Proofs for Properties of Requirements Models 2000-03-01 Ben L. Di Vito Interfacing a High-Level Exploration Environment to Cosynthesis Environments 1999-11-01 Achim Osterling Knowledge Management in Healthcare 2000-08-01 The Flask Security Architecture: System Support For Diverse Security Policies 1999-08-31 Computing Lyapunov exponents on a Stiefel manifold 2000-04-26 Searching Distributed Collections With Inference Networks 1995-08-18 Application Performance on the MIT Alewife Multiprocessor 1996-08-01 Distributed Pinwheel Scheduling with End-to-End Timing Constraints 1995-09-29 Restructuring of COBOL/CICS Legacy Systems 2000-08-04 Efficient Algorithms for Multiplication on Elliptic Curves 1998-09-19 Dimensionally constrained energy confinement analysis of W7-AS data 2000-09-17 Expressiveness of Structured Document Query Languages Based on Attribute Grammars Extended Abstract 2000-11-23 A Generalization of the Theory of Normal Forms 2000-05-22 Analysis of System Requirements Negotiation Behavior Patterns 2000-04-06 Independent Component Analysis: A flexible non-linearity and decorrelating manifold approach 1998-08-13 Investigating Human/System Interfaces and Interactions in a Lights-Out Operational Environment 1999-06-25 POLA: a student modeling framework for Probabilistic On-Line Assessment of problem solving performance 1999-10-22 A Distributed Representation Approach to Group Problem Solving 1999-02-19 Jiajie Zhang Reconstructing the Evolutionary History of Natural Language 1996-01-11 Multi-client LAN/WAN Performance Analysis of Ninf: a High-Performance Global Computing System 1997-08-25 Receiver-driven Layered Multicast 2000-08-21 A Time-Splitting technique for the solution of Density Dependent Flow and Transport in Groundwater 2000-03-30 Integrability For Relativistic Spin Networks 2001-01-27 Applying On-Line Bitmap Indexing to Reducing Counting Costs in Mining Association Rules 2000-12-25 Characterizationof Spectral Regrowth in Microwave Amplifiers Based on the Nonlinear Transformation of a Complex Gaussian Process 1999-08-03