Coefficient of Variation CV vs. Mean Interspike Interval ISI curves: . . . 2000-10-13 Efficient Defeasible Reasoning Systems 2002-01-12 Structured Modeling Of Mechatronic Components Using Multiport Templates 2001-06-15 IRCS: Infrared Camera and Spectrograph for the Subaru Telescope 2000-05-17 Effects of vegetation and soil on species diversity of soil dwelling Diptera in a heathland ecosystem 2001-08-10 Stoichiometry in Producer-Grazer Systems: Linking Energy Flow with Element Cycling 2001-04-20 Image Authentication Surviving Acceptable Modifications 2001-05-01 Promoting Conceptual Understanding of Chemical Representations: Students Use of a Visualization Tool inthe Classroom 2000-04-20 Solution of Real-World Train Timetabling Problems 2000-10-03 Subverting the Comparative Research Paradigm: 2002-01-15 Christopher Hundhausen GAMS A User's Guide 1999-05-03 End-to-End Traffic Analysis in Large Networked Systems 2001-10-21 Information Systems Frontiers in Knowledge Management 2000-07-18 Robust Search Algorithms for Test Pattern Generation 1997-01-09 Brauer Points on Fermat Curves 2001-10-27 William G. Mccallum An Application of Machine Learning to the Optimization of Disparity Maps 2001-07-03 Multi-step View Synthesis with occlusion handling 2001-11-28 Location-Independent Neural Network Models 1995-07-26 Social Choice Under Incomplete, Cyclic Preferences - Majority/Minority-Based Rules, and Composition-Consistency 2001-10-04 On the Sup-norm Condition Number of the Multivariate Triangular Bernstein Basis. 2001-10-16 D Karl Scherer CS-TR-3244 --- March 28, 1994 2001-02-27 Circulants and Sequences 2000-08-14 Karen L. Collins Rotation Curve Measurement using Cross-Correlation 2000-11-13 Comparison of designs of shared memory devices for MPICH, ver.13. 1997-01-19 Measure Change in Multitype Branching 2001-11-23 Moderately and Extremely Red Galaxies in the Fields of Radio-Loud Quasars at 2000-11-01 RIFLE: A General Purpose Pin-level Fault Injector 2001-02-12 Linear Equivalence of Ideal Topologies 2000-02-23 Irena Swanson Tight Upper Bound On The Bit Error Probability Of Convolutionally Encoded Spread Spectrum Communication Over Frequency-Selective Rayleigh-Fading Channels 1996-06-18 Analysis of Robots for Hazardous Environments 1999-12-31 Educational 1998-11-19 From Merrifield to MetaPhore: A Random Walk with Serendipity 2001-12-05 Garland R. Marshall Nonholonomic Stabilization with Collision Avoidance for Mobile Robots 2001-10-14 FLEX: Load Balancing and Management Strategy for Scalable Web Hosting Service 2000-09-12 Ludmila Cherkasova Defining and Supporting Pipelined Executions in OpenMP 2001-10-04 Heterogeneous Computing Workshop HCW'98 at IPPS, Orlando, 1998 2001-01-31 Overseas Investment and Firm Exports 2000-10-24 Capacity of Fading Channels with Channel Side Information 2001-10-15 Program Extraction for Full Linear Logic 1998-10-07 Treebank vs. Xbar-based Automatic F-Structure Annotation 2001-10-23 A Note on the Ranks of Set-Inclusion Matrices 2001-06-20 Frequency-Domain Supply Current Macro-Model 2001-06-01 Efficient End-Host Resource Management with Kernel Optimizations for Multimedia Applications 2000-06-29 S. Lakshminarayanan The Large-Scale Flow Pattern In Turbulent Stellar Convection Zones With AKA-Effect 1998-09-24 B. V. Rekowski Hybrid Message Logging Protocols for Fast Recovery 1998-06-12 DeComposition Rules for Parallel Scan and Reduction 2001-03-12 On Approximation in Spaces of Geometric Objects 2001-03-09 A Fully Parallel Condensation Method for Generalized Eigenvalue Problems on Distributed Memory Computers 2001-07-20 Compression of Large 3D Engineering Models using Automatic Discovery of Repeating Geometric Features 2001-11-28 Scale Invariance in Biology: Coincidence Or Footprint of a Universal Mechanism? 2001-11-20 T. Gisiger Space Operations: Through The Looking Glass Global Area Strike System 1996-10-11 Cooperability in Train Control Systems: Specification of Scenarios Using Open Nets 2000-01-05 Specializing Russian Doll Search 2001-11-09 Pedro Meseguer RTP: A Transport Protocol for Real-Time Applications 2001-11-29 Recent Results on Illumination Problems 2001-06-26 Design of Visualizations for Urban Modeling 2001-11-20 The Sciences of Complexity: 2002-01-15 Solving the SVD updating problem for subspace tracking on a fixed sized linear array of processors 1999-12-31 Society. Middlesex, England: Pelican Books. Linden, E. "Too Many People." 2001-03-25 Guide to SDK Samples 2001-12-18 Success of Default Logic 1999-07-07 Vladimir Lifschitz Learning long--term dependencies is not as difficult with NARX recurrent neural networks 2001-02-27 The Object Centered Language Manual --- 2000-01-26 Coding of Still Pictures 2001-08-21 Topic Identification In Dynamical Text By Extracting Minimum Complexity Time Components 2001-10-31 Ella Bingham Comparison of Precoding Schemes for Digital Subscriber Lines 1997-05-13 A Real Bottom-Up Operating Systems Course 2001-02-07 On Homogenization of Time-Dependent Random Flows 2001-09-18 Time-Changed Levy Processes and Option Pricing 2001-12-14 Raw Event Digit Container 2001-09-12 A Low-Power Viterbi Decoder Design for Wireless Communications Applications 1999-06-30 Averaging, Maximum Penalized Likelihood and Bayesian Estimation for Improving Gaussian Mixture Probability Density Estimates 2002-01-28 Using the FGLSS-reduction to Prove Inapproximability Results for Minimum Vertex Cover in Hypergraphs 2001-12-18 Distributive Online Channel Assignment for Hexagonal Cellular Networks with Constraints 2000-05-01 Designing Systems-on-Chip Using Cores 2001-04-25 The Complexity of Automated Reasoning 2001-09-25 Andr Vellino Intrinsic Geometric Structure of c = -2 Gravity 1997-09-18 Neurocognitive Foundationsof Human Memory Ken A. Paller 2001-05-28 Ken A. Paller On the relationship between radiance and irradiance: determining the illumination from images of a convex Lambertian object 2001-10-02 Switzerland 2001-08-07 Web Services Invocation Framework WSIF 2001-11-19 Optimal FPGA Mapping and Retiming with Efficient Initial State Computation 1998-03-31 Inheritance in a Deductive Object Database Language with Updates 2001-05-21 Understanding context and medium in the development of educational Virtual Environments 2000-05-07 Learning to Notice: Adaptive Models of Human Operators 2001-06-28 Emma Norling Multimodal Tracking For Smart Videoconferencing 2001-05-04 Cores of Ideals in Two Dimensional Regular Local Rings 1999-03-04 Geometric and Radiometric Calibration of RADARSAT Images 2000-06-06 Multivariate Time Series Analysis of Metabolic Network Using the E-CELL Simulation System 1998-11-12 Asynchronous Transfer Mode and other Network Technologies for Wide-Area and High-Performance Cluster Computing 2000-06-05 An Implementation of the Anticipatory Classifier System ACS2 in C++ 2001-08-01 Martin V. Butz Numerical Hydrodynamics or Computational Fluid Dynamics P.W. Hemker 2001-02-15 Aerodynamic Shape Optimization Techniques Based On Control Theory 2000-07-14 On a conjecture of Erdös on 3-powerful numbers 2000-02-09 Abderrahmane Nitaj A Protocol for Scalable Loop-Free Multicast Routing 1998-08-20 Complete Combinatorial Generation of Small Point Configurations and Hyperplane Arrangements 2001-04-30 DSS Access on the WWW: An Intelligent Agent Prototype 2000-01-10 Dawn G. Gregg An Electronic Commerce Framework For Resource Allocation Among Multi-Agent Enterprises 1998-01-20 Development Of An Automated Combine Guidance System E.r. 2000-07-04 On theSemantics of Refinement Calculi 2000-02-25 Dual Computation of Projective Shape and Camera Positions from Multiple Images 1998-01-22 Cap: An Actor dedicated process calculus 1997-05-07 Solid-Phase Synthesis Utilizing Azido-alpha-Amino Acids: Reduction of Azido-Protected Proline 2001-12-05 Comparing Corpora 2001-10-09 the requirements for the degree of Doctor of Philosophy Computer Sciences at the 1998-12-23 Douglas Christopher Burger Safe Dynamic Binding in the Join Calculus 2002-01-11 Alan Schmitt Toward a Semantic Event Service for Distributed Active Database Applications 2001-04-04 The Mass of Extremal Doubly-Even Self-Dual Codes of Length 40 2001-09-14 Oliver D. King Innovations-Based MAP Detection for Time-Varying Frequency-Selective Channels 2002-01-07 Noise Robustness of EBNN learning 2000-10-15 Ryusuke Masuoka A BFGS-IP algorithm for solving strongly convex optimization problems with feasibility enforced by an exact penalty approach 2001-08-08 A System For Automatic Abbreviation Expansion 2001-11-12 Teoretisk Astrofysik Center, Danmarks Grundforskningsfond, and Institut for Fysik og Astronomi, Aarhus Universitet, DK-8000 Aarhus C, Denmark 1999-06-14 Danmarks Grundforskningsfond Sparse pseudo-random graphs are Hamiltonian 2001-09-13 A Reflective Implementation of a Distributed Programming Model 2001-09-06 Intel IA-64 Architecture Software Developer's Manual 2001-07-30 Neural Network Models for the Blood Glucose Metabolism of a Diabetic 2002-01-28 A Realistic Model and an Efficient Heuristic for Scheduling with Heterogeneous Processors 2001-09-28 Could Fisher, Jeffreys, and Neyman Have Agreed on Testing? 2002-01-06 James O. Berger Robust Covert Communication over a Public Audio Channel Using Spread Spectrum 2001-03-23 TreeTalk: Memory-based word phonemisation 2002-01-03 Optimistic Replication for Internet Data Services 2001-08-16 System-Level Performance Modeling with BACPAC -- Berkeley Advanced Chip Performance Calculator 2000-09-06 Analyzing Properties and Behavior of Service Discovery Protocols using an Architecture-based Approach 2001-07-27 Neural Network Ensembles and Their Application to Traffic Flow Prediction in Telecommunications Networks 2001-06-07 Geometric Logic As A Specification Language 1995-07-28 Steven Vickers A Flexible Approach to Visualize Large Software Products 2001-10-01 Jean-marie Favre Long Range Dependence in Heavy Tailed Stochastic Processes 2001-09-16 Borjana Racheva-iotova Analytical and Experimental Performance-Complexity Tradeoffs in ATR 2000-11-15 An Anonymous Fair Exchange E-commerce Protocol 2001-11-26 Using A Point System In The Management Of Waiting Lists: The case of cataracts 2001-10-08 A Tradeoff Between Increased Network Speed and Reduced Effective Bandwidths 2001-07-04 Multilevel-Codes: Distance Profiles and Channel Capacity 1996-06-18 Pooling Strategies for Establishing Physical Genome Maps Using FISH 2000-12-22 Metrics in Ad Hoc Networks 2000-06-06 Iteration-wise Adjoining 2000-05-12 An Algorithm for Reducing Binary Branchings 1998-09-25 Characters of irreducible modules with non-critical highest weights over affine Lie algebras 2001-04-06 Constructing Minimum Energy Mobile Wireless Networks 2001-10-31 Towards Incremental Semantic Annotation 2001-04-19 Cluster-Based Scalable Network Services 2001-03-29 The transcription system EXMARaLDA: an application of the annotation graph formalism as the basis of a database of multilingual spoken discourse 2001-12-03 Minimum-Cost Reachability for Priced Timed Automata 2001-05-03 On The De Bruijn Torus Problem 2000-09-08 Southern California Water Markets: Potential and Limitations 2001-05-20 Marion W. Jenkins Modeling, Performance Measurement, and Control of Clustering Mechanisms for Multi-cluster Mobile Ad hoc Networks 2001-09-08 Graded Modality-Specific Specialization in Semantics: A Computational Account of Optic Aphasia 2000-10-07 David C. Plaut Tax Evasion, Endogenous Spending and the Design of Optimal Tax Codes 1999-06-05 Rodolfo E. Manuelli A Nomadic Information System for Adaptive Exhibition Guidance 2001-04-03 Marcus Specht CoFrame: A Modular Co-Design Framework for Heterogeneous Distributed Systems 2001-05-15 Vulnerability 2000-10-16 Combining Diagnosis and Treatment using Asbru 2001-04-18 Single-input Eigenvalue Assignment Algorithms: A Close-Look 1997-01-05 Cv 2001-03-10 David R. Kohel Relevance of Watermarking in Medical Imaging 2001-09-25 Reconstructing 3D Tree Models from Instrumented Photographs 2001-09-28 Cubegrades - Generalization Of Association Rules To Mine Large Datasets 2001-05-23 A Summary of the ER'97 Workshop on Behavioral Modeling 1998-12-02 Learning Structured Visual Detectors From User Input At Multiple Levels 2001-11-05 The McKendrick Partial Differential Equation and its Uses in Epidemiology and Population Study 1998-08-12 Characteristic Times in the Homeotropic to Planar Transition in Cholesteric Liquid Crystals 2001-04-20 Design with Java: Resource Management 1999-08-27 , S84. Yao K T S 1982. Cytogenic consequences of microwave incubation of mammalian cells intubated 2000-05-11 Vijayalaxmi D Z ASCA Observations of the Composite Warm Absorber in NGC 3516 1996-03-11 Abstracting Builtins for Groundness Analysis 2000-01-19 Bayesian Modeling of Economies and Data Requirements 2001-05-08 Induced Maps, Markov Extensions And Invariant Measures In One-Dimensional Dynamics. 2001-04-09 H. Bruin Mobility Management and QoS in BRAIN Access Networks 2001-01-15 Matroid Homology 1999-12-07 Blind Adaptive Noncoherent Multiuser Detection for Nonlinear Modulation 2002-01-07 An Architectural Comparison of ST-II and RSVP 2001-02-24 Fast and Stable Animation of Cloth with an Approximated Implicit Method 2000-06-10 Registering Real-Scene To Virtual Imagery Using Robust Image Features 2001-11-28 Designing Medical Knowledge-based System from Patterns 2001-10-17 A Commuting Diagram Relating Threaded and Non-threaded JVM Models 2001-07-11 George M. Porter Optimal Chosen-Ciphertext Secure Encryption of Arbitrary-Length Messages 2002-01-25 On Management of CATV Full Service Networks: A European Perspective 2000-10-08 On the Elastic and Viscous Properties of Media Containing Strongly Interacting In-plane Cracks 2001-09-27 Termination and Confluence of Higher-Order Rewrite Systems 2000-04-04 1998-03-11 1998-03-11 A Real-Time Communication Method for Wormhole Switching Networks 1999-03-08 Power and Bandwidth Efficient Digital Communication Using Turbo Codes in Multilevel Codes 1996-06-18 Mining Massively Incomplete Data Sets by Conceptual Reconstruction 2002-01-01 ProTest: A Low Cost Rapid Prototyping and Test System for ASICs and FPGAs 2001-03-13 Documenting the ICT Architecture of TSI 2002-01-24 Computing the Minimum Diameter for Moving Points: An Exact Implementation Using Parametric Search 2000-01-13 Problems on Billiards 2001-12-21 Eugene Gutkin Predicting Lifetimes in Dynamically Allocated Memory 1997-01-27 Implementing Configurable Signalling in the MULTE-ORB 2001-04-22 A Design Pattern for Interactive Applications 2002-01-09 Claude Petitpierre How Professional Development, Teacher Satisfaction and Plans to Remain in Teaching are Related: Some Policy Implications 2000-10-12 Cascade Decompositions are Bit-Vector Algorithms 2001-05-03 Expansion Postponement Problem for Pure Type Systems with Universes 2000-09-18 SCENTOR: Scenario-Based Testing of E-Business Applications 2001-07-18 Comparison of Remote User Representation in a Collaborative Virtual Learning Environment 2001-11-18 Functional Paleontology: System Evolution as the User Sees It 2001-08-23 Closed Loop Motion Plans for Mobile Robots 2000-02-23 The Compositional Rule of Inference: Introduction, theoretical considerations, and exact calculation formulas 2001-06-09 Robert Fuller Characterizing Internet Load as a Non-regular Multiplex of TCP Streams 2000-11-13 An Improved Approach to Geographically Locating Web Clients 2001-12-17 Code Layout Optimizations for Transaction Processing Workloads 2001-05-18 ATTac-2000: An Adaptive Autonomous Bidding Agent 2001-10-10 Free Topological G-Groups 2000-11-16 Michael Megrelishvili Real-Time Affine Region Tracking and Coplanar Grouping 2002-01-14 Probabilistic Grammars for Music 2001-10-24 Rens Bod Monotone Complexity and the Rank of Matrices 2002-01-15 The IBM Data Warehouse Architecture: How IBM integrates its own and other vendors' tools to derive useful information for decision support. 2001-12-10 George Zagelow Space-time Coded Transmissions with Maximum Diversity Gains over Frequency-Selective Multipath Fading Channels 2001-12-04 Definable Sets, Motives and p-adic Integrals 2001-09-03 Construction of Cryptographic Correlation Immune Boolean Functions 2000-12-15 Chuan-kun Wu The Case for Internet Voting 2001-01-24 Similarity-Based Operators and Query Optimization for Multimedia Database Systems 2001-12-11 Two Types of Multiple-Conclusion Systems 2000-10-10 Requirements for a Group Communication Service for FLARE 2001-12-19 Bayesian Wavelet-Domain Image Modeling Using Hidden Markov Trees 2001-08-24 Enterprise Engineering and Integration -- the Standardization Scene 2000-07-04 Enhancement and Validation of Squid's Cache Replacement Policy 1999-06-07 The Nonlinear Evolution of a Single Mode of the Magnetic Shearing Instability 1996-12-18 Intracellular Neuronal Recording with High Aspect Ratio MEMS Probes 2001-03-23 K. F. Bhringer Formal Verification of Cryptographic Protocols using History Dependent Automata 2000-05-08 Application of Temporal Difference Learning and Supervised Learning in the Game of Go 2001-08-14 Architecture Integration Elements 2001-10-13 On Powers as Sums of Two Cubes 2000-03-24 Nils Bruin An Approach to Dynamic Reconfiguration of Distributed Systems Based on Object-Middleware 2001-03-19 Meson Decays to 2000-01-01 The Minnesota Robotic Visual Tracker: A Flexible Testbed for Vision-Guided Robotic Research 2001-07-17 Enforcing Strong Object Typing in Flexible Hypermedia 2001-02-01 Equipartition of Two Measures by a 4-Fan 2001-06-26 Superposition Formulas for Pseudo-Orthogonal Matrix Riccati Equations 2001-01-23 Simulation Of A Signal Quality Survey 2000-04-22 Models of Control and Their Implications for Programming Language Design 2001-08-28 Link Adaptation and Power Control for Streaming Services in EGPRS Wireless Networks 2001-09-20 Public Goods and Optimal Tax Policies in LDCs 2001-07-29 Characterizing Neural Gain Control Using Spike-Triggered Covariance 2002-01-09 Forecasting Conflict with Recurrent Artificial Neural Networks 2001-09-18 Maximizing Multiprocessor Performance with the SUIF Compiler 1998-11-07 Breaker Model for Coastal Structures - Probability of Wave Impacts on Vertical Walls 2002-01-04 Subfaculty Civil Engineering Unknown 2001-01-08 System Evolution, Feedback and Compliant Architectures 2000-05-30 Constant-Space Reasoning in Dynamic Bayesian Networks 2000-11-13 Adnan Darwiche Updating XML 2001-08-05 Integrated Rf Components On Low Cost Mcm-D Substrates 2000-05-17 Families of Finite Subsets of N of low complexity and Tsirelson type spaces. 2001-05-03 Irene Deliyanni CS 201: Adversary arguments 1999-12-09 Unknown 1998-04-10 Metrics-Based Feedback Cycles for Software Life-Cycle Management and Process Improvement 2000-05-31 Barry Boehm Usc Learning and Problem Solving with Multilayer Connectionist Systems 2001-10-08 Charles William Anderson Branch Predictor Using Value Information 1998-10-01 Rushan Chen Games with Small Forgetfulness 2000-06-26 Francesco Squintani Reference Architecture For Holonic Manufacturing Systems - the key to support evolution and reconfiguration 1999-03-05 Units: Cool Modules for HOT Languages 2001-08-28 An Efficient Solver for Cache Miss Equations 2000-02-11 Stochastic Block-Monotonicity in the Approximation of the Stationary Distribution of Infinite Markov Chains 2001-11-08 The Decomate II Current Awareness Service 2000-06-19 Ferran Jorba On the "No-Z-Cycle" Property in Distributed Executions 2001-04-11 Congestion-Oriented Shortest Multipath Routing 1998-08-20 The Length Of A Leaf Coloration On A Random Binary Tree 2001-06-04 A Note on Doubles of Groups 1999-11-01 Mei-Yin Shen, JongWon Kim and C.-C. Jay Kuo 2002-01-02 COM1080: AI techniques 2001-03-15 Coordinated Reinforcement Learning 2002-01-09 General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations 2000-10-10 Tests of Mean-Variance Spanning 2001-11-10 Impact of the Head-of-Line Blocking on Parallel Computer Networks: Hardware to Applications 2001-03-12 Construction of d-Dimensional Hyperoctrees on a Hypercube Multiprocessor 1999-06-10 A Method for Segmentation of CT Head Images 2001-10-19 Data Cube Compression with QuantiCubes 2001-03-16 "-Optimization Schemes and L-Bit Precision: Alternative Perspectives in Combinatorial Optimization 2000-08-08 The Analytic Polynomial-Time Hierarchy 1996-10-31 Surveys of Planetary Nebulae in the Magellanic Clouds 2001-11-15 Statistical Model-Based Estimation and Tracking of Non-Rigid Motion 2001-10-23 Signature Hiding Techniques for FPGA Intellectual Property Protection 2001-06-28 Near-Surface Faceted Crystals, Avalanches And Climate In High-Elevation, Tropical Mountains Of Bolivia 2001-07-08 Ergodic Theory On Compact Metric Spaces 2000-11-08 Relative Growth Series In Some Hyperbolic Groups 1999-09-17 Richard Sharp A Context-Dependent Attention System for a Social Robot 1999-07-07 Analysis and Design of ESD Protection Circuits for High-Frequency/RF Applications 2001-04-11 SPG: Software for Convex-Constrained Optimization 2001-07-12 Recent Work On A Preselection Module For A Flexible Large Vocabulary Speech Recognition System In Telephone Environment 1998-08-06 Preconditioners for Sparse Grid Discretizations 2001-12-17 Frank Koster Bonn Noncooperative Equilibria in One-Shot Games: A Synthesis 2001-12-11 Does Money Illusion Matter? 2000-05-24 A Survey of Neural Network Research and Fielded Applications 1995-07-12 The Object-JavaScript Language 2000-07-11 Using Quality Criteria in Programming Industry: A Case Study 1998-07-20 Generic Header Compression 2000-05-24 A New Buffer Management Scheme for Hierarchical Shared Memory Switches 1999-01-18 Spatio-Temporal Partitioning of Computational Structures onto Configurable Computing Machines 2001-06-19 Merger Shocks And Nonthermal Processes In Clusters Of Galaxies 2001-12-07 Fair Allocation of Utilities in Multirate Multicast Networks 2001-07-16 A Probabilistic Priority Scheduling Discipline for Multi-Service Networks 2001-12-07 Formalising Agent Mediated Electronic Institutions 2001-04-26 SISYPHUS: A Chunk-Based Storage Manager for OLAP Cubes 2001-06-29 Traffic Management and Network Control Using Collaborative On-line Simulation 2001-02-27 History-based Link Annotation for Self-Exploratory Learning in Web-based Hypermedia 2001-06-27 High-Performance Low-Power Carry Select Adder using Dual Transition Skewed Logic 2001-11-21 Desktop VRusing QuickDraw3D, PartII 2000-09-18 Desktop Vrusing Quickdrawd Partii Software Engineering with Formal Methods: TheDevelopment of a Storm Surge Barrier Control System - Revisiting Seven Myths of Formal Methods 2001-08-10 Michel Chaudron Model-Checking and Program Analysis: Preliminaries 2000-09-08 Hutchworld: Lessons Learned A Collaborative Project: Fred Hutchsinson Cancer Research Center&Microsoft Research 2000-10-12 HOL Light: A tutorial introduction 1996-12-06 John Harrison Densities of n-facets of incomplete Johnson-Mehl tessellations generated by inhomogeneous birth-and-growth processes 2002-02-05 Cross-National Differences in Employment and Economic Sufficiency 2001-11-30 Foreground Segmentation Using Adaptive Mixture Models in Color and Depth 2001-08-30 FLAVERS: a Finite State Verification Technique for Software Systems 2001-08-14 Integrated Vehicle and Crew Scheduling in Public Transport 1995-12-08 The Techneducator Effect: Colliding Technology and Education in the Conceptualization of Virtual Learning Environments 2001-02-02 Daniel Jason Nolan Fast and Accurate Calculations of Structural Parameters for 1996-04-25 Johan Helsing Dynamic Temporal Reasoning With Aspectual Adverbs 2001-09-04 Hans Smessaert Planning Cordless Business Communication Systems 1996-12-10 Golden Times for Digital Rights Management? 2002-01-11 The Testing of Object-Oriented Programs 2000-04-04 Niching and Evolutionary Transitions in MAS 2001-04-23 Environment-Aware Computations Via Program Updates 2001-10-25 An Analysis of the Error Probability for a Multilevel Modulation Scheme Using PSK-signaling 1998-04-15 Local Alignment, and Gap Penalties 2000-05-01 Over The Air User Initiated Provisioning Recommended Practice 2001-08-16 State Abstraction for Programmable Reinforcement Learning Agents 2001-10-03 Neural Networks in the Clifford Domain 1997-09-26 Parallel Open Ear Decomposition with Applications to Graph Biconnectivity and Triconnectivity 1999-02-18 Vijaya Ramachandran Bancos de Dados Temporais: Teoria e Prtica 2001-08-15 Nina Edelweiss An Architectural Comparison of Distributed Object Technologies 2001-08-15 Jay Ongg A lower bound for irredundant Ramsey numbers 2001-04-20 Michael Krivelevich . Introduc914 2001-06-28 A new implementation of L 1997-05-29 Decidable/Undecidable Properties of Conditional Term Rewriting Systems 1998-12-08 Takahito Aoto Computing Time Intervals Logically 2001-09-25 Andre Vellino Proxy Lady: Mobile Support for Opportunistic Communication 1999-09-10 Compartmental Models of Growing Neurites 2001-06-25 Property-based Software Engineering Measurement 2001-02-27 Iso/iec Wdtr 18037 2001-07-25 Wg N Flexoelectric Effects in Liquid Crystals Formed by Pear Shaped Molecules. A Computer Simulation Study 2001-06-13 The Sparse Data Problem in Statistical Language Modeling and Unsupervised Word Segmentation 2001-10-26 QUEST - Querying specialized collections on the Web 2001-11-02 Automated Design Optimization for the P2 and P8 Hypersonic Inlets 1999-11-04 Explaining Imagery 2000-03-01 Important Notice 1994-10-14 Is There A Case For European Financial Services Regulator ? 2001-09-05 Niels Thygesen Resolution and Logic Programming in Algebraic Domains: Negation and Defaults 2002-02-04 Pascal Hitzler Numerical Computing in General Relativity 2000-09-19 Characterization of Tracer Cascade in Physical Space 2001-11-03 Extensions to PEPA to simplify the creation of component libraries 1999-07-26 Operator Topologies And Reflexive Representability Of Groups 2000-11-20 Michael Megrelishvili Timing Analysis, Scheduling, and Allocation of Periodic Hard Real-Time Tasks 2000-05-16 Peter Altenbernd Efficient Decompositional Model Checking for Regular Timing Diagrams 1999-08-08 GNU Chill 2002-01-15 Matching Protein 2002-01-16 ENEE 759E: Overview Handout 3 1999-11-01 A Non-overlapping Domain Decomposition Method for Solving Elliptic Problems by Finite Element Methods 1998-10-05 Xiaobeng Feng The Consequences of Eastern Enlargement of the European Union in Stages 1999-04-30 Some combinatorial properties of the graded algebra of Schubert polynomials 1997-12-24 Yuval Roichman Programma dellle lezioni al dottorato su Studio della struttura del nucleone con esperimenti di scattering", maggio 1996 Giulio D'Agostini 2000-06-20 Guide to Best Practice: Dublin Core 2000-10-07 Dublin Core Cv 2002-01-31 Frdo Durand Preconditioning Waveform Relaxation Iterations For Differential Systems 1995-08-10 On the Adjoint Matrix 2001-02-27 G. W. Stewart Interoperable Concurrency Support with SIR Middleware 1999-03-30 Flows in Porous Media 2001-03-06 Tzanio V. Kolev TMS320C6000 Chip Support Library API User's Guide 2002-01-15 Bayesian Model-based Diagnosis 2001-03-03 Peter Lucas Computer Science 2001-08-03 Multihypothesis Motion Estimation for Video Coding 2001-07-19 Functional Communication Training Using Assistive Devices: Recruiting Natural Communities Of Reinforcement 1999-09-23 Study of the TCP Unfairness in a Wireless Environment 2001-11-20 REDUCTION OF SOFTWARE DEVELOPMENT COSTS UNDER SOMBRERO, A SINGLE ADDRESS SPACE DISTRIBUTED OPERATING SYSTEM by Ron Feigen 2002-01-15 Ron Feigen Counter-Based Routing Policies 2001-02-07 Integrating Graphics Into Video Image-Based Camera Tracking and Filtering 2000-12-14 Klaus Kansy Gnthersctherfq Band-gap modification by radial deformation in C, BN, and BC 2000-10-06 Unknown 1995-11-15 Wavelet Representations And Their Application To The Modeling, Compression And Reduction Of Spatial Data 2001-06-27 Kevin Amaratunga Run-time coordination of components: design patterns vs. Component aspect based platforms 2001-05-04 Nature Needs Nurture: The Interaction of Hormonal and Social Influences on the Development of Behavioral Sex Differences in Rhesus Monkeys 2001-01-31 Kim Wallen A First Order Logic for Specification of Timed Algorithms: Basic Properties and a Decidable Class 2002-01-15 Mathematics, 10:287--295, 1985. 14 Fumiaki Okushi. Parallel cooperative propositional theorem proving. 2000-03-03 On the Design and Quantification of Privacy Preserving Data Mining Algorithms 2002-01-01 Ratio Prophet Inequalities when the Mortal has Several Choices 2001-05-01 Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes 2001-11-14 Boundedness and Stability of Difference Equations 2001-02-27 QoS-aware Adaptive Services in Mobile Ad-hoc Networks 2001-04-16 Baochun Li Planar Lattices are Lexicographically Shellable 2000-08-14 Karen L. Collins Limit Cycles and Their Stability in a Passive Bipedal Gait 1997-09-17 On the Characterization of Hausdorff Spaces 2002-01-09 Equal Rights for Functional Objects 1994-12-06 Henry G. Baker P-RIO: An Environment for Modular Parallel Programming 2001-05-30 What Are Dinitrophenols? 2001-07-10 Search-Based Software Engineering 2001-11-13 Deterministic Causation 2001-05-11 Failure Semantics of Mobile Agent Systems Involved in Network Fault Management 1999-12-20 Optimal Reward-Based Scheduling for Periodic Real-Time Tasks 2000-03-01 Indoor-Outdoor Image Classification 1997-11-26 Optimization Techniques in VLSI Physical CAD 1999-09-17 Alejandro F. Gonzlez Juvenile Hormone Profiles of Worker Honey Bees, Mellifera During Normal and accelerated behavioural development 2000-02-14 Semi-Dense Stereo Correspondence with Dense Features 2001-10-01 Olga Veksler Quasi-One-Dimensional Riemann Problems and Their Role in Self-Similar Two-Dimensional Problems 2000-06-27 ATM and its Application to Current LAN/WAN Technologies 1998-09-02 Gary Molenkamp The Effect of Subdivision on Variation At Multi-Allelic Loci Under Balancing Selection 2001-10-26 Bayesian Analysis For Simulation Input And Output 2000-04-21 Stephen E. Chick PostgreSQL 7.1 User's Guide 2001-05-02 The Bohnenblust-Spitzer Algorithm And Its Applications 2001-08-31 J. Michael Steele The Watershed Transformation Applied To Image Segmentation 2000-06-28 Software Environments in Support of Wide-Area Development 2001-01-05 Pattern Recognition Mechanisms 2001-04-26 To Opt-In Or To Opt-Out? It Depends On The Question 2001-04-25 Proteome Analysis Database: online application of InterPro and CluSTr for the functional classification of proteins in whole genomes 2002-01-16 Achieving Alignment of Information Systems Implementation and Organisational Change 2000-11-14 Physiological Modeling for Hearing Aid Design 2000-09-13 Constitutive Relations for Fluid-Solid Mixtures: Small Strain Theory 1995-07-10 Input Manual for ACES II Release 2.0 1998-01-30 Symplectic Twist Maps Without Conjugate Points 2000-03-01 The Accuracy of Symplectic Integrators 1999-02-15 A Parallel Implementation Of The Restarted Gmres Iterative Method For Nonsymmetric Systems Of Linear Equations 2001-03-29 On Reducing the Processing Cost of On-Demand QoS Path Computation 1999-02-08 Initial Coordination and the Law of Coordination of Likes 2001-05-03 Petra Hendriks Austrian Economics and Game Theory: a Stocktaking and an Evaluation 1999-07-28 Nicolai Foss Segmentation d'Images en Couleur par Classification Morphologique Non Supervisée 2001-03-24 Relations Defined on Sets 2002-01-08 Edmund Woronowicz Directed Forests With Application To Algorithms Related To Markov Chains 2001-05-07 P. Pokarowski warszawa AI Meets Authoring: User Models for Intelligent Multimedia 2001-01-12 A Multiscale Wavelet Solver with On Complexity 1994-12-09 An Implementation Architecture for Aspect-Oriented Component Engineering 2000-04-27 John Grundy Updating Discourse Context with Active Logic 2001-02-27 Efficient Allocation of Radio Resources for CDMA Based Wireless Packet Data Systems 2001-02-19 Mechanisms and Policies for Supporting Fine-Grained Cycle Stealing 1999-04-09 Determinants of Adjective-Noun Plausibility 1999-10-27 Linear One-sided Stability of MAT for Weakly Injective Domain 2001-06-06 Quantifying the Energy Consumption of a Pocket Computer and a Java Virtual Machine 2001-10-22 Optimizing a Neural Network Implementation 1999-02-02 Eugen Dedu The Modern Processes Currently Being Developed for the Coke-Less Production of Liquid Iron-Carbon Semifinished Products Can Be Tentatively Divided Into Three Groups: 2001-08-12 The Idea of 22 Srutis 2001-09-19 Subhash Kak Thesis Work 2001-11-14 Pramod N. Achar Compiling Timed Algebras into Timed Automata 2000-12-14 Sergio Yovine The Structure and Value of Modularity in Software Design 2001-03-29 Theoretical Consideration 2001-02-08 Juan Rogers Synchronization Markers for Error Containment in Compressed Data 1999-03-20 Quality Management Applied to Undergraduate Software Development Projects 1999-11-11 Making History: New Directions in Computer Historiography 2001-06-15 Jennifer Hespen Trent Lalonde Katherine Sharrow Nathan Thomas August 6, 1999 1999-08-06 A Hierarchical Modeling Approach for Analyzing the Performability of a Telecommunications System 2001-08-10 Veena B. Mendiratta Detection of Abrupt Changes: Theory and Application 1998-11-02 A framework for Argumentation Based Negotiation 2000-04-19 Metrics for Analysis and Optimization of Grasps and Fixtures 2000-02-07 A Distributed Interactive Simulation Intranet Using RAMP, a Reliable Adaptive Multicast Protocol 1998-08-20 Production Method Changes in Feed Enzyme Manufacturing -- Flexibility through Innovations 2000-09-12 Hebbian Spike-Timing Dependent Self-Organization in Pulsed Neural Networks 2001-10-05 Divide and Compose: SCC Refinement for Language Emptiness 2001-10-19 Memory in Chains: Modeling Primacy and Recency Effects in Memory for Order 2000-09-27 Erik M. Altmann A Study of Evolution Impact in Software Product Lines 2000-04-19 Richer Syntactic Dependencies for Structured Language Modeling 2001-12-05 Evolution of the Cluster Mass Function: Gpc 2001-06-19 Well-Being Over Time in Britain and the USA 1999-11-03 Walks on Generating Sets of Groups 1999-11-17 Noncoherent Adaptive Linear MMSE Equalization for 16DAPSK Signals 2000-01-04 Analysis of a Discrete-Time Queue With a Gate 2001-12-11 Privacy Enhancements in the Mobile Internet 2001-04-24 LogP: Towards a Realistic Model of Parallel Computation 1999-10-27 A Demonstration Of The Integrated Supportability Analysis And Cost System isacs+ 2000-04-22 A variant of Quantified Dynamic Logic 2001-02-15 Gerard R. Renardel De Lavalette Modeling Regression Error with a Mixture of Polya Trees 2001-02-11 High Performance Implementation of Communication Subsystems 1997-12-11 Walid Dabbous User-Level Communication in a System with Gang Scheduling 2001-03-13 Research To Application Success Stories: Manufacturing 2000-04-22 Proposal for Lockheed Martin -- Information Systems 1997-02-27 Fast, Exact, and Stable Computation of Multipole Translation and Rotation Coefficients for the 3-D Helmholtz Equation 2001-10-09 Effective Linear Genetic Programming 2001-05-09 Gene, Encoding a Glycosyl Hydrolase Family 3 2001-09-19 Acquiring and Using Maintenance Knowledge to Support Authoring for Experience Bases 2001-07-09 Practical Experience with Viewpoint-Oriented Requirements Specification 1998-03-23 Gerald Kotonya Worldwide Information Control System WICS 1996-10-11 Start the Algorithm By Setting 1996-04-29 POV||Ray: PERSISTENCE OF VISION PARALLEL RAYTRACER 2000-04-27 Associating Video with Related Documents 2000-05-31 Transition Assertions: A Higher-Order Logic Based Method for the Specification and Verification of Real-Time Systems 2000-03-24 Victor Alberto Analysis of Non-Uniform Temperature-Dependent Interconnect Performance in High Performance ICs 2001-04-03 Efficiency of Model-Based Complexity Method for Estimating Unrooted Multifurcate Phylogenetic Tree 1998-11-19 A Diversity Channel Model Using Multiple Tapped-Delay Lines Characterized by Lag-Delay Correlations 1998-11-12 Constructing and Annotating GENES Database in KEGG 1998-11-12 Bracket Capabilities for Distributed Systems Security 2001-08-03 Heuristic Approaches to Vehicle Routing with Backhauls and Time Windows 1998-02-03 Errata et Addenda Characters and Automorphism Groups of Compact Riemann Surfaces 2001-11-06 The Flat Phase of Crystalline Membranes 1996-06-17 How to Strengthen DES Using Existing Hardware 2001-07-18 PostGraphe: a system for the generation of statistical graphics and text 1998-02-24 A Study of Longitudinal Charged Pion Electroproduction in D2, He3, and He4 2001-05-11 Replication by Diusion in Large Networks 2001-04-25 Examining Software Architecture Property Interactions and the Influence of System Requirements 2001-10-13 Leigh Anne Davis Steady-State Analysis of Infinite Stochastic Petri Nets: Comparing the Spectral Expansion and the Matrix-Geometric Method 2001-05-06 OASIS SSTC: SAML Security Considerations 2001-08-23 Delayed Evaluation of Lexical Rules 1995-07-26 Some Remarks on Real and Complex Output Feedback 2001-10-23 Technology Rich Lessons: What Might They Look Like? 2001-01-08 Colleen R. Swain Structural Classi cation for Retrospective Conversion of Documents 2001-03-27 Update of the Search for the Neutrinoless Decay 1999-10-27 A Dependence-Based Model for Social Reasoning in Multi-Agent Systems 2002-01-06 SimpleGraphics: Tcl/Tk Visualization of Real-Time Multi-Threaded and Distributed Applications 1998-12-15 The Isabelle/Isar Reference Manual 2001-02-15 Cryptography Based on Number Fields with Large Regulator 2001-05-02 On The Exactness Of An S-Shaped Bifurcation Curve 2001-04-16 Structural machine learning with Galois lattice and Graphs 2001-03-26 Objectives 1999-11-04 Algorithms for Bernoulli numbers and Euler numbers 2001-07-15 Kwang-wu Chen Mining Travel Data with a Visualiser 2001-08-01 Parallel Protein Information Analysis PAPIA System Running on a 64-Node PC Cluster 1998-11-19 Designs in Additive Codes over GF4 2001-10-19 V. Stephan 2000-05-15 CS 395T Large-Scale Data Mining Fall 2001 2001-09-15 Improved Labeling Scheme for Ancestor Queries 2001-08-06 Bijective proofs for Schur function identities which imply Dodgson's condensation formula and Plücker relations 2001-03-11 Automatic Synthesis of Both the Topology and Parameters for a Controller for a Three-Lag Plant with a Five-Second Delay using Genetic Programming 2000-04-23 Visualisation of Electrical Transients Using the Wavelet 2002-01-24 Experiencies retrieving information in the World Wide Web 2001-11-13 Activate This Classroom At Time Now 2000-04-22 Manuel D. Rossetti Did the Trusts Have Market Power? Evidence from Distilling, 1881-1898 2000-01-19 Enabling technologies for Web-centric applications 1999-12-10 Cv 2002-01-03 A short proof is not as satisfying as a long one. A good mathematical proof should do much more than just 2001-03-30 Doron Zeilberger An Approach to the Transparent Management Instrumentation of Distributed Applications 2002-01-31 Suboptimal feedback control of vortex shedding at low Reynolds numbers 1998-07-02 Min Haecheon Choi Unknown 2001-07-05 On the Boundary Complexity of the Union of Fat Triangles 2001-01-29 Games In Mobile Business - Case: Riot Entertainment 2001-05-18 Bioinformatics Applications Note 2000-04-06 On The Equivalence of Single- and Multicarrier Modulation: A New View 1997-07-14 Automated Team Project Management and Evaluation Through Interactive Web Modules 1999-10-13 John W. Lockwood Using Tape/PVM for monitoring Grapnel programs 1998-04-24 Jos'e C. Cunha Reverse Engineering Meets Data Analysis 2001-05-14 Broadcasting in Partially Ordered Sets 2000-08-08 Kyle Siegrist On the Technological, Human, and Managerial Issues in Sharing Organizational Lessons 2001-05-10 Volume Of An N Dimensional Simplex 2001-05-08 Counterexamples to a Problem of Pólya and to a Problem of Karlin 1999-02-05 Dimitar K. Dimitrov Advanced Services for Process Evolution: Monitoring and Decision Support 2001-02-23 Error Control And Adaptivity For A Phase Relaxation Model 2000-03-24 The Application of Multigrid Methods to Plasticity At Finite Strains 2001-02-05 Wieners C Generalized Likelihood Ratio-based Face Detection and Extraction of Mouth Features 2001-10-23 Shelf Life Testing: Procedures and Prediction Methods for Frozen Foods 2000-08-25 Time Series Prediction and Neural Networks 2002-01-07 Hierarchical and Stochastic Algorithms for Radiosity - Bibliography 1999-11-29 Asymptotic Expansions For Closed Orbits In Homology Classes 2000-09-20 Using Annotations to Reduce Dynamic Optimization Time 2001-12-11 ITS4: A Static Vulnerability Scanner for C and C++ Code 2000-12-08 Objectives 1999-11-04 A Numerical Study of some Radial Basis Function based Solution Methods for Elliptic PDEs 2002-01-16 Substructure And Dynamics Of The Fornax Cluster 2001-03-07 Financial Marker and Stochastic Growth 2001-06-20 Leonard J. Mirman A Causally Consistent Protocol for Distributed Shared Memory 2001-01-30 Binomial Moments of the Distance Distribution and the Probability of Undetected Error 2000-01-24 A. Barg Distributed Object Computing With CORBA 1998-11-19 Steve Vinoski Meta-Knowledge, Autonomy, and Artificial Evolution: Some Lessons Learnt So Far 2000-01-01 Jean-luc Dormoy Apr.20,99 1999-10-01 Acknowledgment 2001-05-29 Error Bounds and Strong Upper Semicontinuity for Monotone Affine Variational Inequalities 2002-01-16 A Multigrid Iterated Penalty Method for Mixed Elements 1998-10-05 Web-Based Health Care Guideline Agents: The Case of Reminders of ToDos-II R2Do2 2001-04-18 On the Relationship Between UML Sequence Diagrams and State Diagrams 2000-10-04 Jon Whittle and Odds on Cosmology 1996-05-31 Andrew Jaffe Diagnosis of Transient States 2001-03-22 Benchmark: S111 Number Of Processors: 3 1997-02-01 Toward A General Language For The Specification Of Constraint Satisfaction Problems 2001-03-28 A Functional Extension To Lustre 2001-09-26 M. KONTSEVICH Topics in algebra{deformation theory Lecture 1 "Hard to construct" nite dimensional compact manifold. Sets arise usually as sets of equivalence classes e.g. 2001-03-05 M. Kontsevich Motion Consistency for Image-Based Rendering 2001-11-28 Towards A Taxonomy Of Architecture Integration Strategies 2001-10-13 The World of Generating Functions and Umbral Calculus 2001-09-06 Program Derivation in Type Theory: A Partitioning Problem 2001-03-25 Is There Really A European Business Cycle? 2002-01-15 Robert Inklaar Mathematical Modelling of Juxtacrine Patterning 2000-03-18 New Mechanisms of Minority Ion Cyclotron Current Drive 1999-09-17 Modeling and Visualization of Biological Structures 2002-01-15 Przemyslaw Prusinkiewicz Ontologies Description and Applications 2001-03-26 Marek Obitko Start-up Transition Behaviour of TCP NewReno 1999-09-29 Co-Evolution Of Diverse Elements Interacting Within A Social Ecosystem 2000-05-30 Context-Oriented Programming 2000-04-20 Integrated Predicated and Speculative Execution in the IMPACT EPIC Architecture 1999-09-01 Hamiltonian Systems with Widely Separated Frequencies 2001-11-21 The Permanent Requires Large Uniform Threshold Circuits 1999-10-13 Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks 1999-06-08 Distance-Gains By Multiple-Duplex Transmission, Coding, And Shaping For Hdsl 1996-06-18 On-Line Task Migration in Hypercubes Through Double Disjoint Paths 2001-10-12 Certification of Distributed Component Computing Middleware and Applications 2001-04-18 Running and Grimacing: The Struggle for Balance in Mobile Work. 2001-10-24 Local Smoothing Type Estimates on L^p for large p 2000-02-09 Thomas Wol Approximating E-Unification 2001-07-26 Computing Prosodic Properties in a Data-to-Speech System 1997-07-15 A Survey on TCP-Friendly Congestion Control 2001-02-16 An Ontology for Developing e-Business Models 2001-12-18 DCOM and CORBA Side by Side, Step by Step, and Layer by Layer 1998-04-06 Multiplicity-Free Products and Restrictions of Weyl Characters 2001-12-09 John R. Stembridge An Overview of the Evolution of the Concept of Testor 2001-04-12 Using an Explicit Teamwork Model and 1999-09-15 Malassezia 2000-07-21 A Proposal for an ISO Standard for Public Key Encryption version 2.1 2001-12-20 Victor Shoup The Deductive Database System LDL++ 2001-11-16 Subjectivism And Economic Analysis: Essays In Memory Of Ludwig M. Lachmann, Edited By Roger Koppl And Gary Mongiovi London And New York: Routledge, 1998. 2001-03-06 Roger Koppl Treaties In Force 2001-08-21 Winding quotients and some variants of Fermat's Last Theorem 2001-01-07 Loc Merel At Berkeley Effective Heuristics Used In Cell Suppression Calculations 2001-05-30 G. Sande Statistical Reliability Measures for GPS 2000-08-23 Using Monotone Gray Codes to Generate "-Sequences 2001-12-18 Clarence Simpson Parallel image restoration with spatially variant point spread function - Description and first clinical results 2001-02-15 A Data Parallel Formulation of the Barnes-Hut Method for N-body Simulations 2000-05-08 A Carrier Recovery Technique Using Modulation Identification 2002-01-16 Maria Klawe 1998-07-27 Maria Klawe A Web-Based Survivability Control Architecture 2001-03-19 The Use of Parameterised Contracts for Architecting Systems with Software Components 2001-06-12 Ralf H. Reussner A Comparative Study of Methods for Hypermedia Development 2001-09-06 Combinatorial and Multilinear Aspects of Sign-Balanced Posets 2000-05-08 Deciding Parameter Values with Case-Based Reasoning 2000-08-11 Classifying and Capturing Timing Requirements 1999-09-06 Example 2 2001-02-19 TCP Performance over Satellite Links 2000-10-20 ACL2 Computed Hints: Extension and Practice 2000-10-19 Disambiguation Filters for Scannerless Generalized LR Parsers 2002-01-18 Evaluation of Array Syntax Dependence Analysis 2001-06-01 Gerald Roth : A Sound and Supportive Planning Domain Modelling Language 1999-11-02 The Virtualization Of The Marketplace 1997-06-11 Nelson Minar Latency and Bandwidth Requirements of Massively Parallel Programs: FFT as a Case Study 2001-03-28 An Optimized Tableau Structure for Explicit Representation of Disjunction 2001-09-19 Annotation of PDB with respect to "Disordered Regions" in Proteins 1998-11-12 Automated Reasoning About Classical Mechanics 1997-05-05 Display of Scientific Data Structures for Algorithm Visualization 2001-01-19 OpenMP C and C++ Application Program Interface DRAFT 2001-11-20 Openmp C Integrity Constraints: Semantics and Applications 1997-12-17 Automatic Generation of a Real-Time Operating System for Embedded Systems Extended Abstract 1999-10-27 Condor Flocking: Load Sharing between Pools of Workstations 1997-05-02 Lecture Notesi Computer Sciuter Authors'Instructi25 for thePreparati5 of Camera-Ready Contri5D72F to LNCS/LNAI Proceedi2 2001-11-12 Improving the Encoding of LTL Model Checking into SAT 2002-01-29 ...-Calculus for Generators of Bounded ...-groups and Positive Contraction Semigroups on ...-Spaces 1995-10-17 A Navigation Model of the Continuous Outgassing Field Around a Comet 2000-08-24 On-The-Fly Model Checking of RCTL Formulas 1999-11-23 Efficient Non-parametric Adaptive Color Modeling Using Fast Gauss Transform 2001-10-09 Parasitic Absorption By Fusion Born alpha-particles in ICRF Heated Plasmas 1999-09-17 Symbolic Representation of NeuralNetworks 2001-11-15 Incomplete Information 2001-12-13 Washington 2001-02-02 Adaptive Cartesian Mesh Generation 2000-10-25 Experience with a process for Software Engineering web-course development 2000-05-23 Analyzing Facial Expressions for Virtual Conferencing 2001-07-26 Characterizing Model Errors and Differences 2001-12-30 Sputtering of grains in C-type shocks 2000-12-15 Measurement of 1999-07-28 Robust Decentralized Detection By Asymptotically Many Sensors 2001-09-21 Mass Customization Concepts For The E-Conomy - Four Strategies To Create Competitive . . . 2001-12-29 Continuity of Hausdorff dimension of Julia-Lavaurs sets as a function of the phase. 2001-08-20 Multi-Input Partial Pole Placement for Distributed Parameter Gyroscopic Systems 2001-10-04 National Health Interview Survey NHIS Public Use Data Release NHIS Survey Description 2002-01-15 Internet Use and Collegiate Academic Performance Decrements: Early Findings 2002-01-15 Time/Performance Budgeting for Software Designs 2001-12-14 Custom Prosthesis Design, Visualization, and Prototyping 2001-02-07 The Resting Parrot, the Dessert Stomach, and Other Perfectly Defensible Theories 2001-11-21 Anthony G. Greenwald Aggregation and Decomposition for Performance Evaluation of Synchronous Product of High Level Petri Nets 2000-11-30 Memory Aware Compilation Through Accurate Timing Extraction 2001-05-15 FoCs - Automatic Generation of Simulation Checkers from Formal Specifications 2000-06-11 On Designing M-commerce Applications 2001-04-19 Plan-based versus template-based NLG: a false opposition? 2001-10-08 The Magic Mirror: A Metaphor for Assisting the Exploration of Virtual Worlds 2000-04-26 Typical and Extremal Linear Programs 2001-12-28 Gunter M. Ziegler MyLibrary, A Personalization Service for Digital Library Environments 2001-07-03 Antony P. Muller Univesidade Federal de Santa Catarina The Failures of International Financial Crisis Management 2000-05-05 Antony P. Muller Towards Automatic Synthesis of High-Performance Codes for Electronic Structure Calculations: Data Locality Optimization 2001-10-03 Creating Printed Music Automatically 1996-08-20 Unknown 1996-04-25 EquiLoad: a load balancing policy for clustered web servers 2001-08-02 Synoptic Circulation Classification and Downscaling for the Midwestern United States 2000-12-29 Extracting Sparse Resultant Matrices from Dixon Resultant Formulation 2000-02-24 The Ism Interactions Of A Runaway Lbv Nebula In The Lmc 2001-03-27 An Integrated Statistical Model for Tagging and Chunking Unrestricted Text 2000-09-27 The D Editor: A New Interactive Parallel Programming Tool 1995-09-05 A Fully 3D Maximum Likelihood Estimator Algorithm with Attenuation and Scatter Correction Adapted to a Limited Angle Positron Camera 2001-04-09 Learning and Generalization with Bounded Order Rule Sets 1995-11-15 A Neural Network Model of Visual Object Recognition Impairments after Brain Damage 2000-05-24 An Experimentally Validated Nonlinear Stabilizing Control for Power Electronics Based Power Systems 1998-06-19 Consistency and Context Management in a Multi-Agent Belief Revision Testbed 1996-05-16 Verification of DAG Structures in Cooperative Belief Network Based Multi-agent Systems 1997-10-31 Y. Xiang Approximate Distance Oracles for Geometric Graphs 2001-10-29 Monitoring Usage of Workstations with a Relational Database 2001-10-03 OASIS SSTC SAML Protocols Schema Discussion 2001-07-28 Manual for the 2000-07-27 Arno Wouters Esterel Meets Java: Building Reactive Synchronous Programs in Java 1999-11-30 A new lower bound for a Ramsey-type problem 2001-09-19 Benny Sudakov Draft Proposal of an EC Funded Project 2001-09-21 Topology in Computer Science Problems 2000-09-29 A Set Constructor for Inductive Sets in Martin-Lof's Type Theory 2001-03-25 Right Integrals and Invariants of Three-Manifolds 1999-12-01 Louis H Kauffman A Mathematical Model For Spatially Varying Extracellular Matrix Alignment 2000-11-14 John C. Dallon Jonatna A Additive representation in thin sequences, III: asymptotic formulae 2001-08-13 Forward-adaptive variant of thw baseline JBIG for applications . . . 2001-08-29 A Covolume Scheme for Electromagnetic Scattering in 3D Space 1998-04-17 Applications Of The Classical Umbral Calculus 2001-11-22 Ira M. Gessel Algorithm, Heuristic or Exemplar: Process and Representation in Multiple-Cue Judgment 2000-06-26 Standards for Language Resources 2001-12-04 Impromptu Measurement Infrastructures using RTP 2001-11-19 Analysis of an Innovative and Efficient Communication Strategy for Hierarchical Ad-hoc Mobile Networks 2001-11-06 Towards A Unified View Of Estimation: Variational Vs. Statistical 2001-10-21 Management of Dynamic Multimedia Spatio-temporal Information for Meta-databases 2001-11-26 A Bjrklind Indra: A Distributed Approach to Network Intrusion Detection and Prevention 2001-10-18 Architectural Framework for Active Networks 1998-07-03 Appendix O 214 2001-01-20 On The Origin of Pluto, Charon, and the Pluto-Charon Binary 1996-08-22 Probability Density Functions in Program Analysis 2001-05-01 Dave Mason Fast Dynamic Analysis of Complex HW/SW-Systems 2000-05-16 Knowledge-Based Techniques for Software Requirements Validation 1999-10-28 Jordi Alvarez Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups 2001-09-01 Gemini - Learning Cooperative Behaviors Without Communicating 2001-10-05 Masayuki Ohta An adaptive segmentation scheme for the Bluetooth-based wireless channel 2001-10-09 A method for the forward modelling of 3D electromagnetic quasi-static problems 1999-10-02 Simulation of Visual Orientation Behaviour of the Fly 2000-10-27 Parameterizations of Univariate Orthogonal Wavelets With Short Support 2001-11-16 Book Review 2001-08-10 Of Psychotherapy Primal Separation Algorithms 2001-07-09 Lancaster La Yw Basic Dynamic Logic 2001-02-15 Gerard R. Renardel De Lavalette Full er R obert kutat asi eredm enyei: 1989-1997 1El osz o 2001-06-09 PRO-COW: Protocol Compliance on the Web 1999-09-22 High Performance Computing: Crays, Clusters, and Centers. What Next? 2001-09-18 Threshold Password-Authenticated Key Exchange 2001-11-04 RUP Variant Guidelines for the Life Cycle Architecture LCA deliverables for Model-Based System Architecting and Software Engineering MBASE 2000-03-03 Model-based system Architecting Construction of Japanese Nominal Semantic Dictionary using "A NO B" Phrases in Corpora 2000-10-27 Morse Theory for Implicit Surface Modeling 1997-09-04 John C. Hart TCP/IP Performance with Random Loss and Bidirectional Congestion 2001-08-31 Brilliant Warrior: Information Technology Integration in Education and Training 1996-10-11 OSU Narrowband Testbed Base Station Radio Specification 2000-02-19 A Multifacility Location Problem on Median Spaces 2000-05-04 Exploring the Relationship between Neutral and Selective Mutations in Cancer 2001-10-12 C. C. Maley Implementing a Static Debugger for a First-Order Functional Programming Language 2001-03-01 The Z Notation 2001-11-14 C Jean-marie Favre A Framework For Incorporating Dynamic Strategies In Earth-Moving Simulations 2000-04-22 Chunking with Support Vector Machines 2002-01-12 Using Handhelds and PCs Together 2001-10-28 Brad A. Myers Forcing OscillatoryMedia: Phase Kinks vs. Synchronization 2001-12-20 Inventory-Service Optimization in Configure-to-Order Systems 2001-12-20 Subpart F. AMBULATORY SURGICAL FACILITIES 2001-11-06 Boolean Partitions and Projective Closure 2001-08-06 Censored Stable Processes 2001-11-29 Parallel and Distributed Simulation of Discrete Event Systems 2001-02-27 Calibrating Scalable Multi-Projector Displays Using Camera Homography Trees 2001-10-01 Algebraic Number Fields 2000-02-17 Eberhard Schrufer Computation Of Sound Generation And Flow/acoustic Instabilities In The Flow Past An Open Cavity 1999-05-15 User Interface Management Techniques for Collaborative Mobile Augmented Reality 2002-01-02 Beyond Objects: Components 2000-02-25 Impact of an XML repository in development of XML messages 2001-06-27 Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs 2001-01-26 Acute Leukemia Diagnosis Aid Using Multicriteria Fuzzy Assignment Methodology 2001-01-13 The Insecurity of the Elliptic Curve Digital Signature Algorithm with Partially Known Nonces 2001-09-28 Some Practical Issues in Modeling Diagnostic Systems with Multiply Sectioned Bayesian Networks 1999-02-18 EQUALS - The Next Generation 1998-02-13 Scalable Optoelectronic ATM Networks: The iPOINT Fully Functional Testbed 1999-05-13 Model Composition and Analysis Challenge Problems 2001-02-05 A parallel Newton multigrid method for high order finite elements and its application to numerical existence proofs for elliptic boundary value equations 2001-02-05 Christian Wieners Olfactory Classification via Randomly Weighted Nearest Neighbors 1998-12-01 Carey E. Priebe IPMoA: Integrated Personal Mobility Architecture 2001-05-28 Generating Models of Mental Retardation from Data with Machine Learning 1998-11-28 Context-Sensitive Spoken Dialogue Processing with the DOP Model 2001-10-24 Optimal Voltage Testing for Physically-Based Faults 2000-06-22 Fine Motion Assembly : High Level Formalism and Algorithms for Planning and Control Part I : Planning 2001-10-17 Oussama Khatib Purification and Properties of Extracellular Phytase from 2001-08-10 Scalable IP multicast for many very small groups with many senders and its application to mobility 1999-02-23 Jean-yves Le Boudec Statement Of Research Interests 2001-12-09 Ulrich H. E. Hansmann Factoring Distance Matrix Polynomials 2000-08-14 Karen L. Collins Case Studies in Developing Contextualising Information Systems 2001-08-15 Localized Rademacher Complexities 2002-02-04 Business Planning: A Key to Energy Efficiency in Russia 1999-05-28 Multidisciplinary Optimization Of Transonic Wing Design Based On Evolutionary Algorithms Coupled With Cfd Solver 2000-06-20 Akira Oyama Tool Support For Collaborative Software Prototyping 2001-02-27 On BAN Logics for Industrial Security Protocols 2001-12-03 Composite Bound States of Wide and Narrow Envelope Solitons in the Coupled Schrödinger Equations Through Matched Asymptotic Expansions 2000-10-03 Prototyping Object Speci cations Using the CO-Nets Approach 2001-11-15 Istituto Per La Ricerca Scientifica E Tecnologica 2000-05-03 Isodual Codes over Z_2k and Isodual Lattices 2000-03-21 CMS Simulation Package CMSIM Users' Guide and Reference Manual 1999-07-12 Analysis of Local Decisions Using Hierarchical Modeling, Applied to Home Radon Measurement and Remediation 1999-08-06 Fast and Adaptive Semantic Object Extraction from Video 2002-01-02 Presentar Les Nocions Basiques De Tecniques 2001-10-22 Negotiation On Data Allocation in Multi-Agent Environments 1997-04-04 Scalability of Linux Event-Dispatch Mechanisms 2000-12-15 Image Comparison Measure For Digital Still Color Cameras 2002-01-17 Inferring a System of Differential Equations for a Gene Regulatory Network by using Genetic Programming 2001-06-19 Promoter Analysis of the Neuronal Nicotinic Acetylcholine Receptor 2001-05-28 QUANTUM-MECHANICAL EMBEDDING IN SOLIDS: THE aiPI METHODOLOGY. 1996-06-08 Econ 240A: Problem Set 7 Solutions to Selected Problems from Chapter 7 2001-03-07 Chuan Goh Design Space of Processors 2001-11-13 Transfer Of Learning 1999-06-22 Simulation Of Memory Chip Line Using An Electronics Manufacturing Simulator 2000-04-22 Petri Nets, Flat Languages and Linear Arithmetic 2000-09-18 Laurent Fribourg Development Environments and Systems Architectures for Hybrid Agent-Stochastic Event Models of Socio-Technical Organizations 2001-08-29 Fibonacci and Galois Representations of Feedback with Carry Shift Registers 2000-11-29 Mark Goresky Unknown 2002-01-16 Parallelization Of Chimera Utilizing Pvm 1995-07-26 Chris W. Humphres Commutative Algebra in the Mizar System 2001-04-06 A C to Hardware/Software Compiler 2001-02-05 On optimal truncation of divergent series solutions of nonlinear differential systems; Berry smoothing. 1999-03-05 Ladders arePSPACE-complete 2000-11-20 Enhancing Requirements and Change Management through Process Modelling and Measurement 2001-11-07 Stark-State Resonances Induced By Low-Frequency Elliptically Polarized Fields 2001-03-23 D Richards , Zhao Yong 2001-01-30 Programming with Regions in the ML Kit for Version 4 2001-09-24 Improving the Efficiency of the PES Structure in Discrete Event Simulations 2001-05-11 Implementing the Combination of Time Sharing and Space Sharing on AP/Linux 1998-05-28 Kuniyasu Suzaki Artificial Neural Network Prediction Of Wavelet Sub-Bands For Audio Compression 2000-03-13 Querying and Ranking XML Documents 2001-12-04 Te Whare Wananga o te Upoko o te Ika a Maui 1995-05-09 Paul Martin A Statistical Classification Method for Hierarchical Irregular Objects 2001-02-01 Markus Peura Phase of the USA Business Cycle and the Investment Performance of Internationally Diversified Portfolios 2000-02-28 The Cost of Adaptivity and Virtual Lanes in a Wormhole Router 1989-02-19 Lessons Learned While Operating Two Large SCI Clusters 2001-02-27 A PCA Approach for Fast Retrieval of Structural Patterns in Attributed Graphs 2001-08-17 End-to-End Congestion Control Schemes: Utility Functions, Random Losses and ECN Marks 2001-01-30 Convexity Ranks in Higher Dimension 2000-01-13 Menachem Kojman Adaptive Method of Lines for Magneto-Hydrodynamic PDE Models 2001-05-31 Total Colouring With Delta+polylog Delta Colours 2001-08-15 Using Constraints for the Identification of Buildings in Aerial Images 2001-01-12 Bayes Predictions of High Quantiles in a Multivariate Extreme Value Model with Regression 2001-05-08 Simulation Study of PRCA and FCVC in ATM LANs Supporting TCP/IP 1995-06-29 PROCEEDINGS RUSSELL L. ACKOFF and THE ADVENT OF SYSTEMS THINKING 2000-04-27 Online Strip Packing With Modifiable Boxes 2001-05-14 Integrating Web-based E-Commerce Applications with Business Application Systems 2001-09-06 Martin Gaedke Capacity Of Cellular Cdma Systems Applying Interference Cancellation And Channel Coding 1997-11-19 Interactive Segmentation Of The Hippocampus From Magnetic Resonance Images Using Deformable Shape Templates 1998-09-28 Edge Sequences, Ribbon Tableaux, and an Action of Affine Permutations 1997-07-30 Representational Capacity Of Face Coding In Monkeys 2001-09-10 Simulating A Shared Associative Memory On A Transputer Network: Linda 1995-03-15 Logic Programming Agents and Game Theory 2001-12-08 Unknown 1998-12-09 A Theory and Implementation of Cognitive Mobile Robots 1998-09-23 On weak Brownian motions of arbitrary order 2000-07-11 People, Places, Things: Web Presence for the Real World 2001-06-25 A Hierarchical Mechanism for the Scalable Deployment of Services Over Large Programmable and Heterogeneous Networks 2001-06-25 Forthcoming in 2000-12-18 Raimo Tuomela Eye-In-Hand Robotic Tasks In Uncalibrated Environments 2001-07-25 First-Class Modules for Haskell 2001-12-15 The Physics Of Cluster Mergers 2001-09-14 Craig L. Sarazin A Rule-Based Inference Engine which is Optimal and VLSI Implementable 2001-02-04 The Competitive Balance of the Italian and American Film Industries 2000-08-12 The JOSES Project - Compiling Java for Embedded Systems 2001-03-07 Domain Decomposition Techniques in Parallelization of the 3-dimensional FRONTSIM code. 1997-03-25 Some Basic Properties of Many Sorted Sets 2002-01-09 Artur Kornilowicz On Analytic Continuation Of Multiple L-Functions And Related Zeta-Functions 2002-01-15 Domain-Specific Word Prediction For Augmentative Communication 2001-11-12 Gregory W. Lesher Local Search Techniques For Educational Timetabling Problems 2002-01-11 A Novel Method for Stochastic Nonlinearity Analysis of a CMOS Pipeline ADC 2001-03-22 Modelling the Effects of Combining Diverse Software Fault Detection Techniques 2000-12-22 Sequential Sales, Learning, and Cascades 2000-05-06 Succinct Solvers 2001-08-10 Flemming Nielson Robust and Fast Medical Registration of 3D-Multi-Modality Data Sets 2001-03-27 Embedded Processors: Characteristics and Trends 2001-10-04 A Database for Field Extensions of the Rationals 2001-11-07 A Comparison And Review Of Java Based Mobile Agent Development Frameworks 2000-02-01 Glenn Huebscher The Model Checker 1999-11-09 Gerard J. Holzmann A Virtual Machine for a Process Calculus 2000-10-09 Horn Scaling and MINOS Systematics Study 2001-03-08 R. H. Milburn Solving 3D Geometric Constraints for Assembly Modelling 2000-08-30 A High-Performance Network Intrusion Detection System 1999-08-29 Attentional Activation of the Visual Thalamic Reticular Nucleus Depends on `top-Down' Inputs From the Primary Visual Cortex Via Corticogeniculate Pathways 2001-02-15 Vicente M. Montero A magnetic model for the Ap star HD 192678 1998-09-02 Gaussian Elimination, Perturbation Theory and Markov Chains 2001-02-27 G. W. Stewart A Hybrid Approach to Video Retrieval in a Generic Video Management and Application Processing Framework 2001-06-13 Space-Time Block-Coded OFDMA With Linear Precoding for Multirate Services 2002-01-16 Soluble Omega-Categorical Groups 1997-03-06 Methodology For The Increased Computational Efficiency Of Discrete-Event Simulation In 3 Dimensional Space 2000-04-22 The Policy Obstacle Course: The Realisation of Low-Level Policies in Distributed Computer Systems 1994-10-31 Estimates of Doppler Factors, Outflow Angles, and Bulk Lorentz Factors for a Sample of Compact Radio Sources 1998-08-21 Algorithms for Function Fields 2001-11-07 neuron-MOS-Based Sorters for Arithmetic Applications 2001-11-08 A Practical and Provably Secure Coalition-Resistant Group Signature Scheme 2000-06-06 Designing PETS: A Personal Electronic Teller of Stories 2000-02-01 Wavelet Methods for PDEs - Some Recent Developments 1999-12-07 Wolfgang Dahmen Genetic Algorithms for Quantum Circuit Design --Evolving a Simpler Teleportation Circuit-- 2001-06-15 Taro Yabuki Authentic Reality Mediation for Multihandicapped Children by Multimedia Standard Applications 2001-02-27 Witha Zimmermann-hild Policing and Group Cohesion When Resources Vary 2001-01-20 Steven A. Frank Integrated Circuits for Digital Communications 2001-09-17 Detc2000/dtm-14550 2001-10-16 A New Duality Transformation for Fourth-Order Gravity 1999-05-10 Hans-jurgen Schmidt Enhancement of Post Processing Step in Winbank's Off-line Character Recognition System 2001-08-15 Tony Wu Routing Permutations and 2-1 Routing Requests in the Hypercube 2001-04-11 Internetworking IPv6 with CISCO Routers. Chapter 4: IPv6 Addresses 2001-06-29 The Spatial Gradient of Visual Masking By Object Substitution 2001-11-19 A Predictive Demand Assignment Multiple Access Protocol for Broadband Satellite Networks Supporting Internet Applications 2002-01-28 A Local Approach to Modal Logic for Multi-Agent Systems 2001-07-27 Some Sufficient Conditions For Convexity Of Multivariate Bernstein-Bezier Polynomials And Box Spline Surfaces 2001-01-09 Ming-jun Lai Optimization of Paintbrush Rendering of Images by Dynamic MCMC methods 2001-07-23 From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition 2001-06-07 Non-stationary Function Optimization using Evolutionary Algorithms with a Case-based Memory 2001-04-25 Investigation of Tutorials in a Core Computing Subject 2002-01-15 Web-Interface for Multi-FPGA Card Pamette 2000-10-31 A Double-Loop Algorithm to Minimize the Bethe and Kikuchi Free Energies 2001-03-16 A. L. Yuille Integral Non-Commutative Spaces 2000-11-10 S. Paul Smith The User Modeling Shell System BGP-MS 2001-09-29 Symbolic And Audio Processing To Change The Expressive Intention Of A Recorded Music Performance 2001-03-08 Applying Genetic Algorithms to Outlier Detection 1995-07-19 Associating Cooking Video with Related Textbook 2001-04-27 Homeomorphic Restrictions Of Unimodal Maps 2001-03-28 Henk Bruin Locating Objects in Mobile Computing 2001-07-10 A New Look at an Old Problem: Newton Cradle 2001-02-13 Squarish K-D Trees 2000-02-25 Comparison of OpenMP and Classical Multi-Threading Parallelization for Regular and Irregular Algorithms 2001-06-08 HSRA: High-Speed, Hierarchical Synchronous Reconfigurable Array 2001-11-01 TNO at TDT2001: Language Model-Based Topic Detection 2001-12-11 Vital and Health Statistics 2001-03-05 A System for Uniform and Multilingual Access to Structured Database and Web Information in a Tourism Domain 2000-09-06 An Approach To Quantitative Non-Functional Requirements In Software Development 2000-11-01 Andrew J. Ryan Optimal Non-Uniform Wire-Sizing under the Elmore Delay Model 2000-05-19 Reconstruction of 3D Objects byIntegration of Multiple Range Data 2001-07-30 Algebraic transformations of Gauss hypergeometric functions 2001-06-27 Implementation of Single Precision Floating Point Square Root on FPGAs 2001-10-19 Automation Of Non-Verbal Communication Of Facial Expressions 2000-09-15 Parallel Robot Control Using Speculative Computation 2001-01-16 Against the Convergence of the Minor Component Analysis Neurons 2001-05-16 Equilibrium Energy Density Spectrum for Two Dimensional Ows in the Zero Viscosity Limit and Random Matrices 2001-05-28 Chjan C. Lim Session / Sance 28-A Area-Normalized Thematic Views 1999-09-10 T. Alan Keahey Mobile Agents for Monitoring Distributed Systems 2001-12-04 JVM Susceptibility to Memory Errors 2001-08-17 A Quick-Reference Guide To Larry Semon Films And Their Foreign Titles 2001-12-03 Experiences With Secure Electronic Mail 2000-10-30 Michael Roe Efficient Indexing of Spatiotemporal Objects 2001-12-01 Tool Support for Software Development 2001-02-15 Michael Thomsen Interactive-Rate Animation Generation by Parallel Progressive Ray-Tracing on Distributed-Memory Machines 2001-06-25 Government Turnover in Parliamentary Democracies 1999-08-17 Daniel Diermeier Visual Design of Software Architecture and Evolution based on Graph Transformation 2001-06-15 Higher-Order Transformation of Logic Programs 2000-06-16 Vision-Based Lateral Control Of Vehicles 2001-08-15 Finite-Dimensional Representations Of Quantum Affine Algebras 2001-04-05 Tatsuya Akasaka Wormhole Routing in Parallel Computers 2001-03-15 Ayse Yasemin Seydim Packet Header 2001-05-23 'hyhorslqj 5hfrpphqgdwlrq 6huylfhv Iru D 'ljlwdo /leudu Zlwk Qfhuwdlq Qg Kdqjlqj Dwd 2001-07-08 Hopf Bifurcation of the Unsteady Regularized Driven Cavity Flow 2001-09-21 Jie Shen Ginis in General Equilibrium: Trade, Technology and Southern Inequality 2001-09-07 A coarsification of the Wagner Hierarchy 2002-01-10 Equipe De Logique Math'emathique Learning Geometric Transformations with Clifford Neurons 2001-02-02 User Interfaces for the Productive Information Society 2001-03-23 Wolf Ghring Structures for Lazy Semantics 1998-01-13 A High Performance Systolic Chip for Spelling Correction 2001-07-18 Dominique Lavenier Search Strategies for Peg-in-Hole Assemblies with Position Uncertainty 2001-08-07 Robot Reliability Through Fuzzy Markov Models 1999-12-31 Martin Leuschen Faster Kinetic Heaps and Their Use in Broadcast Scheduling Extended Abstract 2000-11-02 On the Integration of Heterogeneous Web Service Partners 2001-11-19 Periodic Broadcasting with VBR-Encoded Video 2000-11-08 Stark's Question And A Strong Form Of Brumer's Conjecture 2001-09-06 TINA Business Model and Reference Points 1999-07-09 PAC Learning with Simple Examples 2001-09-12 Hypergraph Formalism for Urban Form Specification 1998-09-14 Analysis and Optimization of Structured Power/Ground Networks 2001-08-20 Using Experiments to Build a Body of Knowledge 2001-07-09 Associative Rings Satisfying The Engel Condition 1997-04-08 Smoothing Spline Anova For Multivariate Bernoulli Observations, With Application To Ophthalmology Data 1999-11-03 Financial Structure And The Interest Rate Channel Of Ecb Monetary Policy 2001-03-07 Minimally Generating Ideals of Rational Parametric Curves in Polynomial Time 2001-04-05 Self-Reference and Validity revisited 2000-06-20 Stephen Read Of Dispositions, Attitudes, And Habits: Exploring How Emotions Shape Our Thinking 1999-06-22 Ron Ritchhart DissectingCisse Ground: Examining an Instance of Reference Repair 2001-05-24 Hardware-Accelerated High-Quality Reconstruction of Volumetric Data on PC Graphics Hardware 2001-12-06 Compiling SML to Java Bytecode 1998-02-03 Peter Bertelsen C Risk Arbitrage in Takeovers 2000-02-15 Specifying Logic Programs in Controlled Natural Language 2001-06-14 Evolutionary Algorithm for the Design of Stack Filters Specified using Selection Probabilities 1999-05-17 Crashes, Contagion, and International Diversification 2001-12-14 -Free Graphs Without Large 2001-04-20 Michael Krivelevich GS: A Network that Learns Important Features 1995-07-13 Parallel scalar multiplication on general elliptic curves over F_p hedged against Non-Differential Side-Channel Attacks 2002-01-09 Estimates For The Accuracy Of Coupling In The Central Limit Theorem 2001-11-05 A. I. Sakhanenko Information structure, Implicatures, and Discourse Connectives 2000-10-09 Bonnie L. Webber Forecasts From Fits of Frontal Fluctuations 2001-08-01 A Flow-Field Instability By the Hydro-Dynamical "alpha-Effect" 1998-09-24 Automatic Optimization of Dialogue Management 2000-04-14 A Compiler for Application-Specific Signal Processors 2001-04-24 Human GC-AG alternative intron isoforms with weak donor sites show enhanced consensus at acceptor exon positions 2001-06-16 Slicing Books - The Authors' Perspective 2001-07-27 David Gale's Subset Take-Away Game 2000-08-17 TCP mechanisms for Di-Serv Architecture 1999-09-24 COCA: Collaborative Objects Coordination Architecture 2000-06-26 The Mathematical Modelling of Capillary Drawing for Holey Fibre Manufacture 2001-10-25 Limits of Control Flow on Parallelism 1995-04-19 An International Agenda For Better Construction? 1999-07-17 Interactive Pronunciation Training 2001-01-25 Parallelizing Satz Using Dynamic Workload Balancing 2001-09-11 The Diagonal Polynomials of Dimension Four 2001-11-29 Multiple Representation Approach in Multimedia based Intelligent Educational Systems 2001-04-04 Ashok Patel A Preconditioned Conjugate Gradient Approach to Linear Equality Constrained Minimization 2000-09-04 Multiresolution Cache Management for Distributed Satellite Image Databases Using NACSIS-Thai International Link 2001-12-01 Asanobu Kitamoto Experimentelle Untersuchung von Spracheingaben unter kognitiver Belastung zur Benutzermodellbildung 2001-03-21 Design Of A Multi-Layer Bandwidth Broker Architecture 2000-11-03 IDA-Based Protocols for Reliable Multicast 2001-06-12 Vertebrate Freeze Tolerance: Molecular Studies of Signal Transduction and Gene Expression 2001-10-18 Adaptive Sampling of Implicit Surfaces for Interactive Modeling and Animation 1998-11-01 Towards an Implementation of a Multilevel ILU Preconditioner on Shared-Memory Computers 2002-01-16 Arnold Meijster T E X and 1997-10-31 Representing Change by Aspect 2001-07-11 Boston College April 8, 1993 2000-01-20 Robert Gross QoS-Sensitive Flows: Issues in IP Packet Handling 2001-01-18 Saleem Bhatti Heegner points, Heegner cycles, and congruences 2001-07-17 Interpolation based Assertion Mining 2001-09-19 Stefan Schlobach The Use of Proof in Diversity Arguments 2000-12-22 Bev Littlewood An Overview of Static Power Dissipation 2001-11-12 Jayanth Srinivasan Self Stabilizing Distributed Queuing 2001-09-10 Maurice Herlihy Virtual Environments With Four Or More Spatial Dimensions 2001-01-05 Gregory Seyranian Lookahead and Latent Learning in ZCS 2001-07-10 Larry Bull Compatible Genericity with Run-time Types for the Java 2001-08-28 Prioritized Token-Based MutualExclusion for Distributed Systems 1998-10-26 Frank Mueller On Stationary Vacuum Solutions To The Einstein Equations 2000-06-12 Michael T. Anderson Intrinsic Shapes of Molecular Cloud Cores 2001-01-08 Optimal Diversity Allocation in Multiuser Communication Systems---Part II: Optimization 2000-08-11 Rapid Evaluation of Catmull-Clark Subdivision Surfaces 2001-12-15 Deep H-band Galaxy Counts and Half-light Radii from HST/NICMOS Parallel Observations 1999-03-11 Double-Slit Interference of Biphotons Generated in Spontaneous Parametric Downconversion From a Thick Crystal 2001-02-20 Near-Optimal Parameters For Tikhonov And Other Regularization Methods 2001-02-27 Dianne P. O'leary ADMIT-1: Automatic Differentiation and MATLAB Interface Toolbox 2001-05-09 Approximating Shallow-Light Spanning Trees and Group Steiner Trees 2002-01-01 Amitabh Sinha Error Estimation for Numerical Differential Equations 1995-12-13 A Unified Finite Element Model for the Injection Molding Process 1998-06-26 The Longest Segment in the Complement of a Packing 2001-01-29 Jr. G. Tardos Yakubovich 2001-02-05 A. Yakubovich Structure Of Three-Interval Exchange Transformations III: Ergodic And Spectral Properties 2001-12-10 Max-norm Projections for Factored MDPs 2001-03-03 Implementing Artificial Neural Network Designs: Final Report 1998-04-08 Spectral Efficiency of Multiuser Systems Based on CDMA with Linear MMSE Interference Suppression 1997-06-09 English Senseval: Report and Results 2001-10-09 Person Recognition Using Acoustic and Visual Cues 1995-09-06 An Active Service for Multicast Video Distribution 2001-09-24 Component Verification and Certification in NASA Missions 2001-04-18 Silk: A Java-Based Process Simulation Language 2000-04-22 Case-Based Reasoning from Text Documents 1999-10-19 Computing Riemann-Roch spaces in algebraic function fields and related topics 2001-11-16 F. He A Tree Projection Algorithm For Generation of Frequent Itemsets 2002-01-01 Type Inference With Recursive Types At Different Ranks 2001-01-14 Santiago M. Pericas-geertsen On the Number of Maximal Soluble Subgroups of a Finite Group 1999-12-07 Alexandre V. Borovik An End-to-end Congestion Control Mechanism for Internet Video 2002-01-02 Implementing the Davis-Putnam Method 2002-01-19 The SimpleScalar Tool Set, Version 2.0 2001-11-28 A Gateway-Assisted Approach Toward QoS Adaptations 2000-08-28 Perturbation Theory of W*-Dynamics, Liouvilleans and KMS-States 2001-11-28 Snopt: An SQP Algorithm For Large-Scale Constrained Optimization 2001-12-12 Query Optimization 2001-11-21 Yannis E. Ioannidis Bowling Together: Online Public Engagement in Policy Deliberation 2001-11-30 Preferred Answer Sets for Extended Logic Programs 2001-10-24 A Class of Trellis-Codes for Partial Response Channel 1999-02-04 ii TABLE OF 1997-01-29 Stefan Brandle Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data 2001-04-21 Non-parametric Local Transforms for Computing Visual Correspondence 2000-10-25 Ramin Zabih Speeding Up the Search for Optimal Partitions 2002-01-03 Tapio Elomaa Stereo Vision Based Mapping and Navigation for Mobile Robots 2001-01-12 Lexicographically Optimal Balanced Networks 2001-12-05 Descriptions 61 A. A Type-2 2001-12-11 Linguistic Discontinuity Around 3 Or 4 2000-11-09 James R Hurford Interactive Constraints for Plan Construction and Execution 2000-04-21 Deployment Scenarios for Interworking 1995-11-15 Stub-Code Performance is Becoming Important 2001-12-11 Pursuit and Evasion on a Ring: An Infinite Hierarchy for Parallel Real-Time Systems 2001-05-07 Self-reconfiguration Planning with Compressible Unit Modules 1998-10-27 An Example of Real Analytic Strongly Pseudoconvex Hypersurfaces Which Is Not Holomorphically Equivalent to Any Algebraic Hypersurfaces 2001-10-02 Parsec: Direct Style Monadic Parser Combinators For The Real World 2001-10-04 Incorporation of a Leverage Effect in a Stochastic Volatility Model 1998-08-19 Ole E. Barndorff-nielsen Bounding the Performance of Dynamic Channel Allocation with QoS Provisioning for Distributed Admission Control in Wireless Networks 2000-11-02 Airspace Congestion Smoothing by Stochastic Optimization 1997-05-22 Coda File System User and System Administrators Manual 2000-05-24 BUG: A Directed Bottom Up Generator for Unification Based Formalisms. 1994-11-25 Gertjan Van Noord SVM Kernels for Time Series Analysis 2001-10-18 Stefan R Uping On the Throughput of Input-Queued Cell-Based Switches with Multicast Traffic 2001-12-14 Portfolio Management Using Portfolio Theory Techniques and the PMSP Professional Software Package 2000-02-28 David Nawrocki MOOSE: an Extensible Language-Independent Environment for Reengineering Object-Oriented Systems 2000-03-10 Reporting of Standard Cell Placement Results 2002-01-13 Rescaling the Energy Function in Hopfield Networks 2000-12-06 How Important Is Human Capital for Development? 2001-03-19 Lutz Hendricks V-Horn: a Horn-based second-order theory of arithmetic 2000-06-04 Antonina Kolokolova Design and Analysis of Practical Public-Key Encryption Schemes Secure against Adaptive Chosen Ciphertext Attack 2001-12-17 FEEDERS-TDMA - A Distributed-Control Algorithm for Satellite Channel Capacity Assignment . . . 2000-10-25 A Characterization of Single-Link Search in Learning Belief Networks 1999-02-18 Y. Xiang Imperfect Common Knowledge and the Eects of Monetary Policy 2001-10-29 Michael Woodford Designs and Codes: An update 1998-10-26 Hybrid Analytical-Statistical Modeling for Efficiently Exploring Architecture and Workload Design Spaces 2001-06-18 Neuse River Estuary Modeling and Monitoring Project Stage 1: Predictions and Unvertainty Analysis of Response to Nutrient Loading Using a Mechanistic Eutrophication Model 2000-09-29 Hierarchical Segmentation of CT Head Images 2001-10-19 Atomistic Simulation of the Pressure--Temperature--Volume Diagram in 1996-06-08 A Computational Model for a Distributed Object-Oriented Operating System Based on a Reflective Abstract Machine 2000-11-08 1-Hyperbolic Graphs 2000-11-07 A Balanced Scorecard Analysis of Performance Metrics 2000-08-11 Enhancing Architectural Mismatch Detection with Assumptions 2001-09-28 Saccharomyces Cerevisiae 2001-04-10 On the Convergence of Multipoint Iterations 2001-02-27 Copyright 2001-03-28 Democracy, Responsibility, and Information Technology 2001-10-01 Bernd Carsten Stahl Recurrent Cortical Amplification Produces Complex Cell Responses 2001-09-10 Cellular Channel Assignment: Comparing and Simplifying Heuristics 2001-12-19 The Mass of the Milky Way 2001-11-13 Oiwei Ivy Wong Automatic Distinction of Arguments and Modifiers: the Case of Prepositional Phrases 2001-10-25 Performance Evaluation of a . . . 2001-05-21 Emerging Patterns in a Hyperbolic Model for Locally Interacting Cell Systems 2001-12-11 Wavelets and Their Associated Operators 2000-01-19 Amos Ron Image Segmentation using Wavelet-domain Classification 2001-08-24 Distribution of Mutual Information 2002-01-25 Marcus Hutter Performance Analysis of a Managed Bandwidth Service for ATM Networks 2001-12-10 Comparison of Distance Measures for Geometric Shapes 2001-12-14 3D Scene Analysis From Image Sequences: Parametric and Machine Learning Methods 2000-11-15 Francesca Odone An Empirical Investigation of an Object-Oriented Software System 2001-01-29 Quality aspects of software product supply and support using the Internet 1999-11-10 Knowledge-based access to the Web 1996-10-23 A Fast Index for Semistructured Data 2001-08-30 Searching The Web: The Public and Their Queries 2001-12-13 CDC cathode clustering and track matching 1998-09-12 Global Qualitative Analysis of a Ratio-Dependent Predator-Prey System 2001-06-07 Yang Kuang General Synthetic Domain Theory - A Logical Approach 2000-05-08 Calculi with dependency relations for Mixed Linear Logic Extended Abstract 2001-08-30 Hospitexte: towards a document-based Hypertextual Electronic Medical Record 2001-12-05 Copper Interconnects for High-Speed, Low-Power Static Memories 2002-01-30 Person Localization Posture Recognition for Human-Robot Interaction 1998-11-16 Sci 10. Science Society Sci 10. Science Society 2001-11-05 Lexical contact during speech perception: A connectionist model 2000-06-26 The Existence and Uniqueness of Solutions by the Covering Domain Method in Linear Elastostatics 1996-02-29 X. Ballmann Easy and Hard Constraint Ranking in Optimality Theory: Algorithms And Complexity 2001-01-20 A Dynamic Distributed Constraint Satisfaction Approach to Resource Allocation 2001-12-08 Automation Controller Interface Specification 2001-12-07 Decision and Risk Analysis for Process Evolution 2000-05-30 An Algebraic Approach To Multi-Sorted Constraints 2001-10-31 The OCL Metamodel and the UML_OCL package 2000-09-21 Marc Bodenmller Multispeaker Speech Activity Detection For The Icsi Meeting Recorder 2001-10-01 Evolution of a Dynamic Rule-based Application 1999-11-11 Fast Self-Stabilizing Depth-First Token Circulation 2001-07-13 A Self-Organizing Neural Network Model of the Acquisition of Word Meaning 2001-11-21 Ping Li Adding Extra Input/Output Modalities to a Spoken Dialogue System 2001-08-31 Density-Functional Study of the Hydrogen-Bonded Water Cluster H 2001-06-15 MCMC, Sufficient Statistics and Particle Filters 2001-08-17 Weaving the Software Development Process Between Requirements and Architectures 2001-04-14 Bashar Nuseibeh Adversarial Queuing Theory 2001-08-21 A Sharp Concentration Inequality With Applications 2000-04-02 Pascal Massart Computational Engineering and Science Program at the University of Utah 2001-11-06 Flame Recognition in Video 2001-09-19 Managing Process Inconsistency using Viewpoints 1998-04-06 Error Eliminating Rapid Ultrasonic Firing for Mobile Robot Obstacle Avoidance 1996-01-16 Advanced Bash-Scripting Guide 2002-01-07 Mendel Cooper The Supply and Demand for Eurosystem Deposits - The First 18 Months 2001-03-07 ASACA: An Adaptive Service Admission Control Algorithm to Guarantee Delay Constraints in Integrated Services Packet Networks 2001-02-19 Hand-Eye Calibration from Image Derivatives 2000-04-04 An Alternative Algorithm for Computing Watersheds on Shared Memory Parallel Computers 2002-01-16 Improving Image Compression - Is It Worth The Effort? 2001-04-10 Ralf Tpulsr. bvq'crv+vtyw'+puht'yv Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach 2001-10-24 Executive Compensation in the Information Technology Industry 2000-08-11 ASTEROSEISMIC INFERENCE FOR SOLAR-TYPE STARS M.J.P.F.G. Monteiro 2001-09-12 Chromatic Neighbourhood Sets 2001-08-15 Michael Molloy Mining Semi-Structured Data by Path Expressions 2001-05-16 Evaluation of Software Systems 2000-10-24 Joint Source Channel Coding With Hybrid FEC/ARQ For Buffer Constrained Video Transmission 1999-04-13 September 13, 2000 2001-08-28 X-tract: Structure extraction from botanical textual descriptions 1999-06-01 Radiation Belt Transport Theory Using Phase-Space Lagrangian Methods 2001-08-15 Timed Cooperating Automata 2000-09-26 Australian Journal of Physics 2000-08-15 Constraint Processing and Logic Programming 2000-05-08 Tinmith-evo5 - An Architecture for Supporting Mobile Augmented Reality Environments 2001-09-06 Copyright by Jae H. Kim, 1997 i c 2002-01-15 Photometric observations of the radio bright Be/X-ray binary CI Cam 2001-10-04 Optimized Needle Biopsy Strategies For Prostate Cancer Detection 2001-06-13 Primary decomposition of the Mayr-Meyer ideal - Unedited collection of facts 2001-11-07 Irena Swanson Space-Optimized Markov Chain Model for File Prefetching 2000-12-15 Dennis Geels Lifting of Nichols Algebras of Type 2001-04-18 Power Conscious Test Synthesis and Scheduling for BIST RTL Data Paths 2001-01-24 Helping students build inquiry skills by establishing classroom norms: How teachers appropriate software affordances 2002-01-15 A Global Constraint for Parallelizing the Execution of Task Sets in Non-Preemptive Scheduling 2001-08-20 Michael Marte ORTHOVEC: Version 2 of the REDUCE program for 3-D vector analysis in orthogonal curvilinear coordinates 2000-02-17 A KnowledgeBased System for Software Maintenance 2000-04-04 is a registered trademark of Informix Software Incorporated. UNIX 2000-02-08 Blink-Perturbed Saccades in Monkey. II. Superior Colliculus Activity 2000-06-12 Image Analogies 2001-05-23 An Autobiography of Polyadic Algebras 2000-05-18 Integrating Support for Collaboration-unaware VRML Models into Cooperative Applications 2000-08-08 Implementation of 2001-09-04 Discrete Breathers: Classical and Quantum 2000-10-07 Learning from Imperfect Data 1999-12-03 Surface Reflectance Estimation and Natural Illumination Statistics 2001-07-03 A Novel Specification and Design Methodology Of Embedded Multiprocessor Signal Processing Systems Using High-Performance Middleware 2000-04-27 Thoughtful Drawings: A Computational Model of the Cognitive Nature of Children's Drawing 1995-09-14 Explicit Inversion Formulas For A Model In Diffuse Tomography 2001-04-17 Geometrical Parameters Extraction from Discrete Paths 1997-01-08 Control Issues to Improve Visual Control of Motion: Applications in Active Tracking of Moving Targets 2000-09-01 An Inductive Approach to Formalizing Notions of Number Theory Proofs 2001-09-07 Thomas Marthedal Rasmussen Customer Interaction and Digitizability - a Structural Approach to Mass Customization 2001-12-29 Frank Piller Web Services: Why and How 2001-11-19 A Comparison of the Effects of Decommissioning, Catch Quotas, and Mesh Regulation in Restoring a Depleted Fishery 1998-09-10 Tests for Comparing Mark-Specific Hazards and Cumulative Incidence Functions 2001-05-28 Adaptive Packet Marking for Providing Differentiated Services in the Internet 2000-10-16 Descriptive Sampling: An Improvement Over Latin Hypercube Sampling 2000-04-21 Eduardo Saliby Threaded Code Variations and Optimizations 2001-12-10 Bijections for Hook Pair Identities 2000-05-09 C. Krattenthaler Subcontinua of Inverse Limit Spaces of Unimodal Maps 2001-03-28 Simulation Level-Of-Detail 2001-03-26 Stephen Chenney Architecture-Based Quality-of-Service: Specification and Program Generation 2000-10-11 Towards disambiguation in Czech corpora 1999-12-03 Performance Impact Of The Elimination Of Direct Labor Variance Reporting: A Field Study 1. 2000-08-11 Compositional Verification of Synchronous Networks 2001-04-19 Leszek Holenderski Tolerance Synthesis Using Second-Order Fuzzy Comprehensive Evaluation and Genetic Algorithm 2001-12-11 Knowledgescapes: A Probabilistic Model for Mining Tacit Knowledge for Information Retrieval 2001-06-25 Heyning Adrian Cheng Local Area Networks Using a Spatial Wavelength Cross Connect 2000-09-25 Unknown 2001-01-19 Improving a Fixed Parameter Tractability Time Bound for the Shadow Problem 2001-11-27 Improving the Trade-O Between Storage and Communication in Broadcast Encryption Schemes 2001-10-05 Decision Control in RoboCup Teams 1999-02-23 V Ve er rs sa at ti il le e, , C CD D- -R RO OM M b ba as se ed d, , M MP PE EG G A Au ud di io o D De ev ve el lo op pm me en nt t B Bo oa ar rd d 2000-11-27 Ciudad Universitaria S/n Numerical Solution of Linear and Non-Linear Fractional Differential Equations Involving Fractional Derivatives of Several Orders 2001-02-27 An Efficient Off-line Electronic Cash System Based On The Representation Problem 1994-12-11 Report No. 6 1998-09-22 Deutsches Klimarechenzentrum Molecular-level Thermodynamic and Kinetic Parameters for the Self-assembly of Apoferritin Molecules into Crystals 2000-12-13 Determinants of Successful Intranet Implementation: A Comparative Case Study 1999-06-29 George A. Zolla The Diffusion and Assimilation of Information Technology Innovations 2001-09-12 Robert G. Fichman Active Models for Dynamic Networked Organisations 2000-11-30 Sintef Telecom Case History In-situ, high-resolution 1999-12-20 Recruitment of Binding and Binding-Error Detector Circuits Via Long-Term Potentiation 1999-11-24 Lokendra Shastri The Flag Taxonomy of Open Hypermedia Systems 2001-10-15 -740: Computer Architecture Fall 1999 Syllabus 1999-09-09 Bridging Bonobo Components 2001-11-26 Abdelmalek Squalli Houssaini Difference Sets Corresponding to a Class of Symmetric Designs 1997-10-14 A Nyström algorithm for electrostatics of an anisotropic composite 1996-04-25 Johan Helsing Advanced Real-time Mission Management for an AUV 2000-09-28 Planar-Adaptive Routing par :low-Cost Adaptive Networks For Multiprocessors 2002-01-16 Jae H. Kim The Analysis of Animate Object Motion using Neural Networks and Snakes 2002-01-07 Mobile Radio Window Random-Access Algorithm with Diversity 2001-09-21 Senior Member Management of Evolving Specifications Using Category Theory 1999-02-04 A Collision-based Model of Spiral Phyllotaxis 2000-08-18 A Comparative Study of Well-founded Semantics for Disjunctive Logic Programs 2001-06-07 Kewen Wang Improved Low-Degree Testing and Its Applications 2001-08-21 Sanjeev Arora Protocols for Media Access Control and Power Control in Wireless Networks 2001-11-13 Uniform Bounds for the Number of Rational Points of Families of Curves of Genus 2 2001-08-16 Constant-Time Root Scanning for Deterministic Garbage Collection 2001-10-26 Scalable Trigger Processing in TriggerMan 2002-01-16 Efficient Detection of Vacuity in Temporal Model Checking 2001-08-12 TinkerType: A Language for Playing with Formal Systems 1999-12-16 Do Not Copy Do Not Copy Do Not Copy Do Not Copy Do Not Copy Do Not Copy Do Not Copy Do Not Copy Do Not Copy 2001-03-31 Mutually Refining DPCM System with Applications in Frame Erasure Channels 2001-01-19 Dr. V. A. Vaishampayan A Survey of Routing Techniques for Mobile Communications Networks 2000-03-06 S. Ramanathan Multi-Prover Encoding Schemes and Three-Prover Proof Systems 2001-01-29 AssemblyofTopic Extraction Modules in SUMMARIST 2001-04-20 Chin-yew Lin Design of aMedium Access Control Protocol for a WDMA/TDMA Photonic Ring Network 1998-11-16 Distributed Learning Via The World Wide Web Through Interactive Modules 2001-01-20 John W. Lockwood KI Revisited 1995-07-19 Pseudo Pin Assignment with Crosstalk Noise Control 2000-06-14 Opportunistic Logic Program Analysis and Optimisation: Enhanced Schema-Based Transformations for Logic Programs and their Usage in an Opportunistic Framework for Program Analysis and Optimisation 2002-01-16 Geometric Algebra: a Framework for Computing Point and Line Correspondences and Projective Structure using n Uncalibrated Cameras 2000-10-10 TCP in Presence of Bursty Losses 2000-02-16 Issues in Nonprehensile Manipulation 2001-12-01 Statistical Non-Parametric Algorithms to Estimate the Optimal Software Rejuvenation Schedule 2000-12-26 .5 Nitrogen Dry Deposition At An Ameriflux Site 2000-11-29 An Mpeg Encoder Incorporating Perceptually Based Quantisation 2001-07-03 On Operations along the Generalization/Specialization Dimension 2001-11-16 Simulation Modelling of Parallel Systems 1998-04-24 Cross Entropy Guided Ant-like Agents Finding Dependable Primary/Backup Path Patterns in Networks 2002-01-08 Vanishing Aspe 2001-03-15 Jumpingas Ects OSU Narrowband Testbed Base Station Radio Specification 2000-02-19 Approximating Minimum Feedback Sets and Multi-Cuts in Directed Graphs 2001-08-17 Functional Separation Of Variables For Laplace Equations In Two Dimensions 2001-12-10 Digital Libraries and the Open Information Locator project 1996-06-28 Noise Reduction Using an Undecimated Discrete Wavelet Transform 2001-08-24 Smart Sensors for 3D Digitization 2002-01-16 View Dependent Information Theory Quality Measures in Flatland 2001-05-07 MCI-embedded Motion Compensated Prediction for Quality EnhancementofFrame Interpolation 2002-01-02 Temporal Embedding 2000-11-23 A Characterization of the Class of Polygons Searchable by a 1-Searcher 2001-03-26 Unknown 2002-01-15 Some Hopf Algebras of Trees 2001-09-10 Mathematisch Instituut An Overview of Enterprise Resource Planning Systems in Manufacturing Enterprises 2001-06-05 Bayesian Analysis of Nonhomogeneous Markov Chains 2001-05-08 Dear Professor Harder, The simpler proof of Ratner's theorem 7, 9 due to Margulis and Tomanov 5, 6 can be sketched in 3 lectures as follows: 2001-03-09 MARX 3.0 Technical Manual 2002-01-15 Optimum Power and Rate Allocation Strategies for Multiple Access Fading Channels 2001-09-12 Proof Production in Decision Procedures 2001-10-19 Generalized Linear Discriminant Sequence Kernels For Speaker Recognition 2002-01-12 William M. Campbell A Comparison of Fault-Tolerant State Machine Architectures for Space-Borne Electronics 1996-04-30 Many Familiar Categories Can Be Interpreted as Categories of Generalized Metric Spaces 2001-05-24 An Ontology for User Support in The Materials Microcharacterization Collaboratory 2001-04-23 Hypergeometric Expansions Of Heun Polynomials 2001-12-10 Table of 2001-10-31 Declarative Representation of Revision Strategies 2001-10-24 Gerhard Brewka Developing Online Support for Clinical Information System Developers: The FAQ Approach 2002-01-16 Non-Problems and Social Obligations in Human-Computer Conversation 2002-01-16 Multiprocessor Software Development for RACEway-based Real-Time Signal Processing Systems 2000-04-27 QoS in an Open Architecture of Real-Time ODP 2001-09-02 Environmental Chamber Study Of Maximum Incremental Reactivities Of Volatile Organic Compounds 1996-01-30 Combinational Test Generation for Various Classes of Acyclic Sequential Circuits 2001-11-06 Aircraft Ground Traffic Optimisation using a Genetic Algorithm 2001-05-11 Dynamic Agent Based Prioritized Resource Allocation for Stressed Networks 2001-01-18 Loop Optimizations for a Class of Memory-Constrained Computations 2001-10-03 Micropayments and Mental Transaction Costs 2001-05-29 Nick Szabo Memories of ADJ 2001-09-07 Joseph A. Goguen MANAGING SURROGATE OBJECTIVES TO OPTIMIZE A HELICOPTER ROTOR DESIGN -- Further Experiments AIAA MDO 98-4717 Andrew J. Booker and Paul D. Frank 1998-09-02 Opacity Shadow Maps 2001-07-24 A Unified Framework for Hybrid Control: Model and Optimal Control Theory 2001-08-06 Wavelets through a Looking Glass. The World of the Spectrum 2002-01-10 Can Stock Recommendations Predict Earnings Management and Analysts' Earnings Forecast Errors? 2001-11-20 Volume and File Structure for Write-Once and Rewritable Media using Non-Sequential Recording for Information Interchange 1998-09-16 Even Cycles in Graphs 2001-10-23 Joseph G. Conlon Upper and Lower Bounds on the Cutoff Rate for Coded Transmissions over Time-Correlated Rayleigh-Faded Mobile-Radio Links 2001-12-17 Morphology and Evolution of the SMC Planetary Nebulae 2001-10-17 A Note on Roth's Theorem 2000-01-20 Robert Gross A Free Boundary Problem for a Quasi-linear Degenerate Elliptic Equation: Regular Reflection of Weak Shocks 2001-10-14 Barbara Lee Keyfitz Domain Engineering 2000-09-30 J. L. Daz-herrera Mining Frequent Patterns with Counting Inference 2001-05-21 A Case-Based Reasoning View of Automated Collaborative Filtering 2001-03-20 On-Off Sources and Worst Case Arrival Patterns of the Leaky Bucket 2001-05-10 Chapter 4. Limit Theorems In Statistics 2000-01-22 Deadlock-free Configuration Programming 2001-05-19 SPL: A Language and Compiler for DSP Algorithms 2001-04-11 Self-Certificate: PKI using Self-Certified Key 2001-12-13 Software Architecture Design in Information Systems Development: A Method Engineering View 2001-05-17 Kari Smolander On Harmonic Weight Enumerators of Binary Codes 2000-06-30 Christine Bachoc Dynamic Subdivision in Radiosity 2001-03-24 A Two-Dimensional Poisson-Equation Solver Implemented in Analog VLSI 1998-08-05 Beyond Algorithms: An HCI Perspective on Recommender Systems 2001-08-24 Searching for Mobile Intruders in a Polygonal Region by a Group of Mobile Searchers 2000-09-20 Overview of SAMPLE Proton and Deuteron Radiative Corrections Todd Averett, August 13, 1999 1999-08-15 Reliable Mobile Robot Navigation From Unreliable Visual Cues 2000-06-22 Generalized Cases: Representation and Application-Oriented Adaption of Electronic Designs 2000-02-29 Andreas Zimmermann Technological Evolution Affecting the Maintenance Horizons 2001-03-20 Deciding K-Colorability in Expected Polynomial Time 2001-04-25 Michael Krivelevich Performance Gain of Smart Antennas with Hybrid Combining at Handsets for the 3GPP WCDMA System 2001-11-12 Real Options Overview Business is beginning to recognize the value of real options analysis as demonstrated by at least three recent articles on this topic in the 2000-08-18 Aspects of the Dynamics of Discussions and Logics Handling Them 2001-06-15 Diderik Batens Icrc 2001 2001-06-26 Contributions of Computer Vision to the Coding of Video Sequences 2001-05-25 Changing Modalities 2001-09-04 Gerard R. Renardel De Lavalette A Generic Architecture for Programmable Traffic Shaper for High Speed Networks 2001-02-27 Note Coherence spaces are untopological 1999-11-18 Inge Bethke Neurons with Two Sites of Synaptic Integration Learn Invariant Representations 2001-12-10 Decision Model and Cost-Effectiveness Analysis of Colorectal Cancer Screening and Sureillance Guidelines for Average-Risk Adults 2001-01-10 Schubert Polynomials and Combinatorial Resolutions 2001-11-08 Extending Translation Memories 2001-09-25 Emmanuel Planas Hidden Field Equations HFE and Isomorphisms of Polynomials IP: two new Families of Asymmetric Algorithms 2001-10-20 Jacques Patarin Washington 2001-06-04 Evaluation of Uncertainties in Cost Estimations 2001-03-26 A Lazy Scheduling Scheme for Hypercube 1999-06-25 Perceptual Learning for a Pattern Discrimination Task 2001-10-25 Design of the Kernel Language for the Parallel Inference Machine 2001-04-30 Permutations with Inversions 2001-11-19 Barbara H. Margolius Implementation of a Parallel Algorithm on a Distributed Network 1995-03-17 K-Basis and Independent K-Basis in Interval Graphs 2001-01-31 A Personal and Portable Database Server : the CQL Card 2000-11-15 -- 1 -- Received ; accepted -- 2 -- 1998-08-27 Contextual Deontic Logic: Normative Agents, Violations and Independence 2001-12-03 When it Sounds like a Duck and it Looks like a Dog... Auditory icons vs. Earcons in Multimedia Environments 2000-06-20 Horus: A Flexible Group Communications System 2001-09-17 The Power of Reachability Testing for Timed Automata 1998-09-04 Final Coalgebras 2001-04-25 Dirk Pattinson Multiset Relations: a Tool for Proving Termination 2000-10-16 Engineering Multi-Agent Systems in LuCe 2000-01-05 A Trade-Off for Covering the Off-Diagonal Elements of Matrices 2002-01-23 Vince Grolmusz Unknown 2001-08-08 Model-Based Indicators of Labour Market Rigidity 2001-04-18 Hidden Markov Models for Coding Story Recall Data 2000-06-26 A Research Agenda for Survivable Systems 2001-03-19 Integrating Task and Data Parallelism in UC 1994-09-06 Reusable HypertextStructures for Distance and JIT Learning 2000-05-22 From Set Based to Multiset Based Analysis: A practical approach 1998-10-07 Efficiently Publishing Relational Data as XML Documents 2000-11-20 Vibrating Rf Mems For Low Power Wireless Communications 2001-09-23 An Educational Tool for Visualize DNA Structures 1998-11-12 Spatial Interpretation of Domain Objects Integrated into a Freeform Electronic Whiteboard 1999-07-13 The Number of Hamiltonian Paths in a Rectangular Grid 2000-08-14 Models of Ontogenetic Development: The Dynamics of Learning 2001-01-25 Cv 2001-07-30 Application of Data Mining Techniques for Medical Image Classification 2001-12-14 Testing Cowling's Anti-Dynamo Theorem Near A Rotating Black Hole 1996-05-09 Parametric Algorithms for Mining Share Frequent Itemsets 2001-08-10 MediaBoard: A Shared Whiteboard Application for the MBone 2000-05-08 Teck-lee Tung Reasoning About Temporal Relations: The Tractable Subalgebras Of Allen's Interval Algebra 2001-07-25 Models and Solution Techniques for Frequency Assignment Problems 2002-02-05 A Logic Programming Approach to Knowledge-State Planning II:. . . 2001-12-31 Energy of flows on Z 1999-09-08 Christopher Hoffman View Planning as a Set Covering Problem 2002-01-15 The Path Resistance Method for Bounding 1996-11-21 *Project Team 2001-02-16 Acquisition and Propagation of Spatial Constraints Based on Qualitative Information 2001-03-19 Toru Ishida Linear Programming Boosting via Column Generation 2001-05-04 Robust Simultaneous Registration of Multiple Range Images 2001-11-12 On Monotone Data Mining Languages 2001-08-28 Techniques For Measuring Rock Weathering: Application To A Dated Fan Segment Sequence In Southern Tunisia 2000-10-20 Multicuts in Unweighted Graphs and Digraphs with Bounded Degree and Bounded Tree-Width 2001-12-11 Efficient Computation of Flow with Cavitation with Compressible Pressure Correction 2001-01-09 Immunogold localisation of P-glycoprotein in supported lipid bilayers by transmission electron microscopy and atomic force microscopy 2001-08-10 Security Issues in the Diffie-Hellman Key Agreement Protocol 2001-12-03 A Bayesian Reflection on Surfaces 2001-11-19 David R. Wolf Nonlinear Galerkin Method Using Legendre Polynomials 2001-09-21 Practical Network Support for IP Traceback 2001-03-29 Analysis of Tow-Placed, Variable-Stiness Laminates 1996-07-16 The Human Immune System and Network Intrusion Detection 2001-08-31 Nonlinear Noise Reduction for Electrocardiograms 1999-09-30 On Modelling and Reasoning About Hybrid Systems 1998-02-13 Some Orthogonal Very-Well-Poised ...-Functions that Generalize Askey-Wilson Polynomials 2001-08-10 Sergei K. Suslov A logical reconstruction of SPKI 2001-10-15 Flexible Citizenship For A Global Society 2001-11-21 Bruno S. Frey Single-photon 2-D imaging X-ray spectrometer employing trapping with four tunnel junctions 2000-07-06 Opportunity Cost Algorithms for Combinatorial Auctions 2000-09-28 Regulatory Remedies To The Common Pool: The Limits To Oil Field Unitization 2000-04-13 Performance of Traffic Scheduling for Wireless ATM Networks 2001-11-16 Seed Sets and Search Structures for Optimal Isocontour Extraction 2001-02-07 Is It Easier to Write Matrix Manipulation Programs Visually or Textually? An Empirical Study 2001-06-02 Representing Place/Transition Nets in SpanGraph 2000-01-17 The Specification of an Asynchronous Router 2001-03-18 Faron Moller The UMB-CDB System 2001-02-27 Head-Eye Coordination: A Closed-Form Solution 2000-02-01 M. Xie Distributed Marking System: CORBA Implementation 2000-04-05 Methods and Tools for the Design and Analysis of Distributed Supervision and Control Systems 2001-02-05 An Implementation of the Shared Data Formats Standard for Distributed Shared Memories 1999-05-07 Data Mining for Intelligent Web Caching 2001-12-13 Partitioning Input Space for Reinforcement Learning for Control 1999-03-09 Second Opinions and Price Competition: Inefficiency in the Market for Expert Advice 1998-10-09 Outline of a Linear Neural Network 2000-10-22 The Development of an Operating System for Reconfigurable Computing 2002-01-15 A Survey and Implementation of e-Commerce in Supply Chain Management 2001-12-05 Laser Ray-Tracing Method for Optical Testing 2000-03-12 Coping With Strong Fairness On-the-AEy Emptiness Checking for Streett Automata 1999-10-04 Outlier Detection for High Dimensional Data 2002-01-01 Monetary Policy in the Information Economy 2001-11-29 Byte Code Engineering 1999-09-23 Markus Dahm Science Research 2001-02-26 Bibliography 2000-08-18 A General Framework for Large Scale Systems Development 2000-04-22 Detecting State Coding Conflicts in STGs Using Integer Programming 2001-08-17 Coupled Analysis of Electromigration Reliability and Performance in ULSI Signal Nets 2001-10-24 Bechtold,1 2001-02-14 On Automatic Loop Data-Mapping for Distributed-Memory Multiprocessors 1999-10-22 Motion Planning of Legged Robots: The Spider Robot Problem 1996-09-12 New Interfaces for Musical Expression 2001-11-26 The Regulation of Entry 2000-12-08 Optimal Shift Scheduling With a Global Service Level Constraint 2001-03-29 Compression of Binary Images by Hierachical Decomposition Based on the Vector Quantization 1998-05-08 The Complexity of Diffie-Hellman Type Problems 2000-03-28 Kenneth Giuliani Computational Science and Information Technology: Distance Education and Training 2001-07-31 Geoffrey Fox SymplecticSpaces and Ear-Decompositions of Matroids 1999-09-08 Solving Elliptic Diophantine Equations By Estimating Linear Forms In Elliptic Logarithms 2001-10-31 R. J. Stroeker Face Detection from Color Images using a Fuzzy PatternMatching Method 2000-04-05 Representing Communicative Intentions in Collaborative Conversational Agents 2001-08-18 Matthew Stone Dynamic Dependencies in Application Service Management 2000-10-27 Autism and Coherence: A Computational Model 2001-04-24 Critic-Driven Ensemble Classification Via A Learning Method Akin To Boosting 2001-12-27 Modelling And Analyzing Systems With Recursive Petri Nets 2000-10-14 EcientCoverage Testing Using Global Dominator Graphs 1999-09-20 Hira Agrawal A Critique of the Advanced Placement C++ Subset 2001-01-28 Astronomical Information Discovery and Access: Design and Implementation of the ADS Bibliographic Services 1997-06-20 The Effects of Classical Resonance Islands in Time-Dependent Quantum Mechanics 2001-03-23 D Richards DREAM, the Dutch REal-time Acquisition Mode for SCUBA 1998-04-06 Program Descriptions 2001-07-05 Robustness Of Parametric Source Demixing In Echoic Environments 2001-09-24 A Case Study in Knowledge Discovery and Elicitation in an Intelligent Tutoring Application 2001-10-12 Extendable, Dispatchable Task Communication Mechanisms 1999-02-26 A Semantics for Tracing 2001-09-27 Security in Ad Hoc Networks 2001-11-08 Vesa Krpijoki R-Diagonal Elements and Freeness With Amalgamation 2000-11-16 MAC Scheduling Policies for Power Optimization in Bluetooth: A Master Driven TDD Wireless System 2000-11-30 Prediction of Initiation Codons in cDNA Fragments Using Statistical Information and Similarity with Protein Sequences 1998-11-12 On Deciding Stability of Constrained Homogeneous Random Walks and Queueing Systems 2001-09-04 David Gamarnik Signal Estimation via Selective Harmonic Amplification: MUSIC, Redux 2001-09-18 Tryphon T. Georgiou Picture Metadata and its Associations: Using Web Technologies for Representing Semantics 2002-01-31 Erik Wilde Real-World Data Warehousing; The Management Challenge 2001-12-10 Cohesion Metrics 2001-11-13 A Secure Environment for Untrusted Helper Applications Confining the Wily Hacker 2001-04-24 On The Number Of Zero-Patterns Of A Sequence Of Polynomials 2001-06-08 An Advanced Modeling And Simulation Tool For Analysis Of Mechatronic Systems 2000-09-07 Fluoronanogold 2000-07-20 ISO Mid-Infrared Spectra of Reflection Nebulae 1999-11-26 Scalability of Linux Event-Dispatch Mechanisms 2001-05-01 Quadrature Rules for Rational Functions 2001-09-24 Fuzzy Clustering Method for Content-based Indexing 2000-11-11 Parallel Application Scheduling on Networks of Workstations 2001-02-13 Accomplishments and Challenges in the Chesapeake Bay Program: Watershed and Estuary Models 2000-04-17 Donald F. Boesch A Prototype Experience Management System for a Software Consulting Organization 2001-09-07 Modularity of Termination Using Dependency Pairs 2000-12-18 Obtaining Skeletons and Bounding Body Approximations for 3D Blobby Objects 2000-03-29 Vivek Kwatra Window-based error recovery and flow control with a slow acknowledgement channel: a study of TCP/IP performance 2001-08-31 Sales Taxes on the Internet: When and How to Tax? 2001-11-19 Device Independent Markup 2001-06-25 Making Semantic Interpretation Parser-Independent 1999-11-06 Ulrich Germann Mijn meester Escher a nice appendix of a course in graphic 2001-07-19 Combined Tuning of RF Power and Medium Access Control for WLANs 2002-01-07 Delay Sensitive Routing In Pnni-Based Atm Networks 2001-02-01 Constructing Scripts Compositionally: A Molecular Biology Example 2000-06-20 Agent-Based Dynamic Configuration Of Differentiated Traffic Using Mpls With Cr-Ldp Signalling 2001-11-05 Value-added Services: How to Benefit from Smart Cards. 2000-12-13 A First Generation DPGA Implementation 1997-08-19 Extension of Limit Analysis Theorems to Incompressible Material With a Non-Associated Flow Rule. 2001-10-05 A Generalization of Shostak's Method and it's Relationship to the Nelson-Oppen Combination Procedure 2001-04-26 Formation of Acetyl CoA. 1999-11-04 Task-Specific Knowledge Management in a Process-Centred SEE 2001-11-27 Smooth and Convex Grid Generation over General Plane Regions 2001-10-08 Mich Mex Specialization of Functional Logic Programs 2001-11-30 Moreno Falaschi Non-Prioritized Ranked Belief Change 2001-10-09 A New Pll Design For Clock Management Applications 2000-10-06 Inferring Mass Loss Rates For Cool Luminous Stars From High-Resolution Ghrs Spectra 2001-03-30 Matchmaking Among Minimal Agents Without a Facilitator 2001-03-23 Condor and Condor Flocking under Linux 1997-06-17 Jeroen Valk Concurrent Push - A Scheduling Algorithm for Push-Based Parallel Video Servers 1999-08-26 Jack Y. B. Lee A Current-Mode Hysteretic Winner-take-all Network, with Excitatory and Inhibitory Coupling 2001-08-10 Giacomo Indiveri Efficient Update Diffusion in Byzantine Environments 2001-10-01 On Two-Dimensional Indexability and Optimal Range Search Indexing Extended Abstract 1999-05-28 Characterizing the Ability of Parallel Array Generators on Reversible Partitioned Cellular Automata 1999-02-19 Kenichi Morita Permissible Throughput Network Feedback for Adaptive Multimedia in AODV MANETs 2001-08-17 Geometry on Arc Spaces of Algebraic Varieties 2001-09-03 A set of hierarchically structured decision procedures for some subclasses of First Order Logic 2000-05-03 Index Translation Schemes for Adaptive Computations on Distributed Memory Multicomputers 2001-02-27 Michael G. Burton 1998-08-27 Michael G. Burton Design-For-Debugging of Application Specific Designs 1996-01-05 Spin representations, powers of 2 and the Glaisher map 2002-01-04 Secure Scalable Video Streaming For Wireless Networks 2001-10-16 The Spectral Energy Distribution Of The Isolated Neutron Star RXJ185635-3754 1999-03-04 Hidden Capabilities: Towards a Flexible Protection Utility for the Internet 2001-03-07 Cv 2000-02-16 A Study in Causal Discovery from Population-Based Infant Birth and Death Records 2001-11-01 Software Cost Estimation 2001-03-18 Approximations of Bayesian networks through KL minimisation 2000-02-23 Binary Mod Generated By Their Tally Part 2001-09-24 Fernando Ferreira Chapter 1111. Applicant And Participant Appeals 2001-06-20 Cross References The NIST 1999 Speaker Recognition Evaluation - An Overview 1999-12-14 Prescribing Tactical Response For Oil Spill Clean Up Operations 2000-11-01 Using an Extended Hough Transform Combined with a Kalman Filter to Segment Tubular Structures in 3D Medical Images 2001-11-28 Extending ACL to Support Communication in a Real-Time Multi-Agent System 2001-05-16 Lekshmi S. Nair Analysis of Listeners' Summaries of Synthesized Speech Passages 2000-04-14 Discussion of `Searching for Prosperity' by Michael Kremer, Alexei Onatski, and James Stock 2001-10-26 Danny Quah Separating Convex Sets By Straight Lines 2001-01-29 Simulation of Direct Tunneling through Stacked Gate Dielectrics by a Fully Integrated 1D-Schrödinger-Poisson Solver 1999-10-01 Comparing Source and Target Texts in a Translation Corpus 2001-05-15 Supplementary Notes For Math 512 version 0.15 2001-05-21 Charles Rezk Radiation Induced Instability in Interconnected Systems 2000-08-03 Unresponsive Flow Detection and Control Using the Differentiated Services Framework 2001-08-24 Bimodule Complexes Via Strong Homotopy Actions 2000-10-15 ATreegion-based Unified Approach to Speculation and Predication in Global Instruction Scheduling 2002-01-09 A Computational Level Theory of Similarity 2000-06-26 Bradley C. Love Molecular gas in the Galactic center region 1998-05-05 The Theorem of Grunwald-Wang in the setting of Valuation Theory 2000-12-21 A Fast Algorithm to Find Optimal Controls of Multiantenna Applicators in Regional Hyperthermia 2001-08-29 Siphonic Roof Drainage System Analysis Utilising Unsteady Flow Theory 2001-11-28 Optimizing KLIC Generic Objects by Static Analysis 2001-04-30 A Visual Query Language for Relational Knowledge Discovery 2001-11-16 Advanced Propulsion Concepts At The Jet Propulsion 1999-01-24 Introducti8 2001-10-06 Karen Uhlenbeck Experimental and Theoretical Analysis of Phase Singularity Dynamics in Cardiac Tissue 2001-06-08 Automata-Driven Efficient Subterm Unification 1999-01-10 Connecting "special Ordered Inequalities" And "transformation And Reformulation Technique" In Multiple Choice Programming 2000-10-29 The Specifications Exchange Service of an RM-ODP Framework 2001-08-08 Soft-Decision Decoding of Linear Block Codes using Efficient Iterative G-Space Encodings 2001-09-16 Approximating Maximum 2-Cnf Satisfiability 1997-05-15 David J. Haglin Selecting a figure using S-homotopy in a CAD system 2000-03-28 Multidimensional Scaling Methods For Many-Object Sets: a Review 2001-03-22 Digital Sound Recorder: A case study on designing embedded systems using the UML notation. 2000-04-07 Globe Operations Guide 2002-01-15 The BERKOM Multimedia Collaboration Service 1995-09-06 Finding References in Java 2001-11-27 Neighborhood and Position Effects Interact in Naming Latency 2000-06-26 Local connectivity, Kleinian groups and geodesics on the blowup of the torus 2001-11-02 Curtis T. Mcmullen Scale-Space Pattern Processors: Are They Robust To Noise And Occlusion? 1999-09-29 Radiation Test Programme On Cots Components NeededFor The Large Hadron Collider At Cern 2000-01-26 Conference Progra 2001-06-26 A Theoretical Framework for Reasoning about Frequent Itemsets 2000-07-24 A Nearly Optimal Existence Result for Three-Dimensional Vortex Sheets 2001-09-09 Thomas Y. Hou User Advocacy in Participatory Design: Designers' Experiences with a New Communication Channel 2002-01-23 Decidability of Linear Affine Logic 2000-09-04 A. P. Kopylov On Pressure Stabilization Method and Projection Method for Unsteady Navier-Stokes Equations 2001-09-21 Jie Shen Information Extraction: State-of-the-Art Report 2001-10-07 Human Computer Interface Issues 1998-07-09 Model Generation and State Generation for Disjunctive Logic Programs 2001-02-27 Eye Movements During Comprehension of Spoken Scene Descriptions 2000-06-26 Pseudopowerful Numbers 2001-04-16 Ralph H. Buchholz Hausdorff Dimension in Exponential Time 2002-01-22 Form 101, Part II 2001-08-08 Frank Sottile Evaluation of the Reliable Data Rates Supported by Multiple-Antenna Coded Wireless Links for QAM Transmissions 2002-01-07 Enzo Baccarelli Diagonal Sums of Boxed Plane Partitions 2001-01-13 David B. Wilson Some Properties of Isomorphism between Relational Structures. On the Product of Topological Spaces 2002-01-09 On Syntactic versus Computational Views of Approximability 2001-08-16 Genus of a Cantor set 2001-12-07 A Characterization For A Set Of Partial Partitions To Define An X-Tree 2001-03-19 Charles Semple Crawling The Web: Discovery And Maintenance Of Large-Scale Web Data 2001-11-29 Adapting Golog for Programming the Semantic Web 2001-05-22 Final Report for the Research Project On the Application of Distributed Object Computation Testbed Technologies to Archival Preservation and Access Requirements 2001-01-30 A Robust and Efficient Three-Layered Dialogue Component for a Speech-to-Speech Translation System 2000-04-10 Analysis of Low Earth Orbit Satellite Networks with Inter-satellite Links 2001-12-04 CMS Simulation Package CMSIM Users' Guide and Reference Manual 1998-07-06 Fiscal Transparency, Gubernatorial Popularity, and the Scale of Government: Evidence from the States 2001-11-28 Technical Report on the 2000 APS/UNM Survey of Teachers 2001-03-28 Joseph J. Stevens Armative Action in a Competitive Economy 2001-03-05 Effective Perturbation Methods for One-Dimensional Schrödinger Operators 1998-01-06 CVIT - Program for fast calculation of Dirac's gamma-matrices traces 2000-02-17 RSA hybrid encryption schemes 2001-12-21 Louis Granboulan Lecture 2 - Divide and Conquer 1 Master Theorem Review 2001-09-05 Enhancing The Control And Performance Of Particle Systems Through The Use Of Local Environments 2001-04-10 Enhanced Forward Coupling Phenomena Between Microstrip Lines On Periodically Patterned Ground Plane 2001-05-30 A Constructive Proof of Vizing's Theorem 1999-04-27 Genre Classification and Domain Transfer for Information Filtering 2002-01-17 Decision Tree Function Approximation in Reinforcement Learning 2001-06-27 Talisman: Fast and Accurate Multicomputer Simulation 1996-06-09 Robert C. Bedichek Evolutionary Computation and Beyond 2001-10-08 Inverse Optimization 2001-05-10 The Enhancement of a User-level Thread Package Scheduling on Multiprocessors 2001-05-13 Visualization and Mathematics 1999-12-03 Deutsche Forschungsgemeinschaft dfg Objective Education Research Employment 1999-06-18 Scatter Correction for Positron Emission Mammography 2001-10-09 Optimally Cutting a Surface into a Disk 2001-12-07 A Full-Potential LMTO Method Based on Smooth Hankel Functions 1999-08-24 Combining Oberon with Active Objects 1997-06-03 On the value of a random minimum weight Steiner tree 2001-09-04 Limiting Distributions for a Polynuclear Growth Model With External Sources 2000-03-22 Prototyping and Formal Requirement Validation of GPRS: A Mobile Data Packet Radio Service for GSM 1999-12-23 The Scientific Contributions of James Heckman and Daniel McFadden 2001-08-09 Toward the Design of Web-Based Planning and Scheduling Services 2001-12-11 A High Performance Pneumatic Force Actuator System Part 1 - Nonlinear Mathematical Model 2001-02-12 Nordic Interconnected Subject-Based Information Gateways NISBIG. 2000-08-28 Broadcasting Consistent Data to Mobile Clients with Local Cache 2001-02-08 The Role of Policy and Stakeholder Privacy Values in Requirements Engineering 2001-08-23 Can Prosody Aid the Automatic Processing of Multi-Party Meetings? Evidence from Predicting Punctuation, Disfluencies, and Overlapping Speech 2001-09-24 On the Expressive Power of Data Integration Systems 2001-11-20 C.S.B. Grimmond 2001-04-18 Final Draft 2000-03-29 FATIMA: A Firewall-Aware Transparent Internet Mobility Architecture 2001-05-21 The problems and the solutions of the metacomputing experiment in SC99 2000-06-07 Istituto Per La Ricerca Scientifica E Tecnologica 2000-05-03 Chandra Spectra of Three Very Active Stars: AB Dor, 44i Boo, and ... 2001-04-24 More Cranks and t-Cores 2001-07-23 F. G. Garvan Schumpeterian Entrepreneurs Meet Engels Law: The Impact of Inequality on Innovation-Driven Growth 2000-08-23 Integrating Human Factors into Designing User Interface for Digital Libraries 2000-08-05 Sung Been Moon Maximum Subsequence Problem 2000-06-06 Detc2001/dac-21052 2001-05-07 CS-TR-3280 --- May 26, 1994 2001-02-27 Network Related Performance Issues and Techniques for MPPs 1997-07-13 S. Lennart Johnsson SweNam-A Swedish Named Entity recognizer Its construction, training and evaluation 2001-07-11 The Multicluster Architecture: Reducing Cycle Time Through Partitioning 1999-01-20 Structural Analysis of the Abortion Time Series Reported in the ISTAT Summaries 2001-05-08 Mining For the User's Retrieval Interests 2000-05-10 Kurt Englmeier Alan Bundy 2000-05-03 Behavior and Performance of Interactive Multi--player Game Servers 2001-09-28 A Performance Analysis of Appel's Algorithm for Performing Pairwise Calculations in a Many Particle System 1998-12-08 M. S. Hingst A Mathematical Analysis of in Vitro Molecular Selection-Amplification 2000-12-22 An Evaluation of Memory Contention in Global Memory Systems 1999-01-17 Towards Multilingual Protocol Generation For Spontaneous Speech Dialogues 2000-04-10 Relevance, Realism and Rigour: A Third Way for Social and Economic Research 1999-11-30 Scalable Data Management Using User-Based Caching and Prefetching in Distributed Virtual Environments 2001-06-01 Design of DLX Microprocessor 2001-03-08 Prof D. Saab Without a Trace 2001-04-04 Ivan A. Sag Software Engineering for Adaptive Hypermedia Applications? 2001-08-01 Content-Based Video Retrieval by Integrating Spatio-Temporal and Stochastic Recognition of Events 2001-09-23 Impedance Control and Internal Model Formation When Reaching in a Randomly Varying Dynamical Environment 2001-12-01 Data Mining - CSE5230 2001-08-22 Client Side Personalization 2001-07-03 Dual-Purpose Journal Writing: Capturing Perceptual Change and Encouraging Reflection 2001-08-20 Joanna C. Dunlap Composing With Genetic Algorithms 1998-05-11 Bruce L Jacob Integrating User Data and Collaborative Filtering in a Web Recommendation System 2001-03-20 Exploiting the Energy Distribution in Non-Coherent Frequency Hopping Diversity Combining 2000-03-09 An Exponential Separation between Regular and General Resolution 2001-08-08 A REDUCE package for the computation of several matrix normal forms 2000-02-17 An Active Contour Model For Image Segmentation: A Variational Perspective 2002-01-12 In final editing for Journal of Creative Behavior 1999-05-25 Christopher M. Barlow Asymptotically Optimal Declustering Schemes for Range Queries 2000-06-09 Pivoted Cauchy-Like Preconditioners For Regularized Solution Of Ill-Posed Problems 2001-02-27 Tool Demonstration: Finding Duplicated Code Using Program Dependences 2001-06-19 Combining DEA and factor analysis to improve evaluation of academic departments given uncertainty about the output constructs. 2000-06-23 Test Session Oriented Built-in Self-testable Data Path Synthesis 1998-08-24 Responses of Neurons in Primary and Inferior Temporal Visual Cortices to Natural Scenes 2001-09-10 AMSc Research Methods Research approach IV: Experimental 2 2001-11-27 Marie-luce Bourguet System Design for Structured Hypermedia Generation 1997-01-21 CHASM: Static Analysis and Automatic Code Generation for Improved Fortran 90 and C++ Interoperability 2001-12-03 An Isocam Survey Of Nearby Star Formation Regions 2000-08-25 High-Level Information -- An Approach for Integrating Front-End and Back-End Compilers 2001-10-06 Hierarchical Cache Consistency in a WAN 1999-06-02 Optimum Beamforming Using Transmit Antenna Arrays 2001-08-31 Local Score Computation in Learning Belief Networks 2001-06-02 Spatio-temporal Modelling using Video Input 2001-04-10 Peter Whigham A Component-Based Infrastructure For The Coordination Of Collaborative Activities In Virtual Environments 2001-12-08 Optimizing Admission Control While Ensuring Quality of Service in Multimedia Networks Via Reinforcement Learning 1999-03-16 A Database Generator for the Human Brain Imaging 2002-01-03 Faster Algorithms for String Matching with 2001-11-21 The field matching problem: Algorithms and applications 2001-09-08 The Size Of The Giant Component Of A Random Graph With A Given Degree Sequence 2001-08-15 Service and Protocol Architecture for the MAFTIA Middleware 2001-02-19 Musical Program Auralisation: Empirical Studies 2000-06-20 Competitive Auctions and Digital Goods 2001-05-31 International Joint Ventures, Moral Hazards, and Technology Spillovers 2001-02-06 Cooperative Plan Enhancement in Multi-Robot Context 2000-05-15 The Kernel Of An Homomorphism Of Harish-Chandra 2000-04-04 T. Levasseur How might I be exposed to 1,3-butadiene? 2001-07-10 Algorithm for Solving Second Order Linear Homogeneous Differential Equations 2001-04-04 Jerry Kovacic Hybrid Probabilistic Programs 2001-02-27 Alex Dekhtyar V. S. Subrahmanian Supporting Students' Science Inquiry through Scientific Visualization Activities 2002-01-16 Behavioural Simulation in Voxel Space 1998-09-30 The Enhanced Low Dose Rate sensitivityELDRS 2001-04-25 Estimation of Leaf Area Index in Southern Sweden with Optical Modelling and a Landsat 7 ETM+Scene 2000-10-31 GIFT: Grammatical Inference for Terms 2001-12-17 Delay Analysis For Interlan Traffic Using Two Suitable TDMA Satellite Access Schemes 2000-10-25 Plan Recognition in Intrusion Detection Systems 2001-03-23 Enabling and recognizing strategic play in strategy games: Lessons from Sun Tzu 2001-12-05 Andrew S. Gordon An Extension Result For Continuous Valuations 2000-04-03 Preliminary Experiences using the Java Instrumentation Suite 2000-04-11 External Termination of Recurrent Bursting in a Model of Connected Local Neural Sub-Networks 2001-12-13 Efficient Sorting Using Registers and Caches 2001-02-26 Analytical Model of the Metal-Semiconductor Contact for Device Simulation 1997-10-01 Extending standard UML with model composition semantics 2001-11-13 Siobhn Clarke Rough Set Theory: A Data Mining Tool for Semiconductor Manufacturing 2001-08-13 Andrew Kusiak An XML-based Quality of Service Enabling Language for the Web 2001-09-15 Representing and Verifying Intentions in Telephony Features Using 2001-11-15 Solving time-harmonic scattering problems based on the pole condition: Convergence of the PML method 2002-01-16 Program Instrumentation for Debugging and Monitoring with AspectC++ 2002-01-25 Charge Carrier Quantization Effects in Double-Gated SOI MOSFETs 1997-10-01 A Measurement-based Analysis of Expedited Forwarding PHB Mechanisms 2001-02-12 ADS: a unified computational framework for some consistency and abductive based propositional reasoning 2001-01-08 Daniel Le Berre Distributed Multi-User Urban Simulation 2001-11-26 Clodagh Rossi Literature on Enclosure Methods and Related Topics 1970-01-01 Dr. Gerd Bohlender The Distribution of Spacings Between Quadratic Residues 2001-10-18 On the Quantum Black-Box Complexity of Majority 2001-11-07 Unknown 2000-09-20 Very Rapid Prototyping of Wearable Computers: A Case Study of VuMan 3 Custom versus Off-the-Shelf Design Methodologies 1999-01-14 Approximation Algorithms for Precedence-Constrained Scheduling Problems on Parallel Machines That Run At Different Speeds 1997-05-28 Asymptotical Analysis and Comparison of Two Coded Modulation Schemes Using PSK Signaling - Part I 2001-04-23 A Tool Box of Cryptographic Functions related to the Diffie-Hellman Function 2001-11-26 Eike Kiltz From The Erm To The Euro: New Evidence On Economic And Policy Convergence Among Eu Countries 1999-06-02 On Routing Table Growth 2001-09-20 Steady State Frictional Geostrophic Circulation in a One-Layer Ocean Model With Thermodynamics 2001-09-27 R. B. Scott -Dimensional Wells and Tunnels for Finite Element Grids 1996-05-23 Sea Based Logistics: Distribution Problems For Future Global Contingencies 2000-04-22 Nucleotypic effects without nuclei: Genome size and erythrocyte size in mammals 2000-10-02 T. Ryan Gregory Temporal aspects of semistructured data Extended Abstract 2001-05-25 Monopoly Pricing with Social Learning 2001-09-20 Marco Ottaviani Adaptive Turbo Coded Modulation for Flat Fading Channels 2001-02-16 Effects of Payment Mechanism on Spending Behavior: The Illusion of Liquidity 1999-01-21 Robust Detection of Skewed Symmetries By Combining Local and Semi-Local Affine Invariants 2001-03-22 Horace H. S. Ip Using Symbolic Execution for Verifying Safety-Critical Systems 2001-10-31 Equivalences of Monoidal Model Categories 2001-04-26 Stefan Schwede lolliCoP -- A Linear Logic Implementation of a 2001-06-08 A Module Calculus for Pure Type Systems 2001-09-04 Some Restrictions on Orders of Abelian Planar Difference Sets 2000-10-05 Operating System Resource Reservation for Real-Time and Multimedia Applications 1997-10-10 Latent Semantic Kernels 2001-12-02 Improved Appearance-Based 3-D Object Recognition Using Wavelet Features 2001-12-07 Silhouettell: Awareness Support for Real-World Encounter 2001-10-21 On the use of MTBDDs for performability analysis and verification of stochastic systems 2001-10-17 Developments in Object-Oriented Type Systems 1994-09-28 The Ratio of the Direct Photon Production Cross Section at 630 GeV and at 1800 GeV 2001-02-28 Michael Strauss Robust Congestion Signaling 2001-12-01 Shows That Tried to Include Some Real Science in Their Pr... 2000-11-09 Terence Cavanaugh Video artifacts for design: Bridging the gap between abstraction and detail 2000-04-25 Local and Global Hard Core Gibbs Point Processes are Rapidly Mixing 2001-10-15 The Digital Lecture Board - A Teaching and Learning Tool for Remote Instruction in Higher Education 2000-08-08 Unsupervised Learning Using Radial Kernels 2000-06-20 Automating The Osi To Internet Management Conversion Through The Use Of An Object-Oriented Platform 1997-03-16 Using Prefetching to Hide Lock Acquisition Latency in Distributed Virtual Shared Memory Systems 1999-08-11 Visualization Of Genetic Algorithms In A Learning Environment 2000-04-26 Deja Vu: A Knowledge-Rich Interface for Retrieval in Digital Libraries 2001-10-05 Tailoring the Presentation of Plans to Users' Knowledge and Capabilities 2001-10-06 Alfred Kobsa A Tighter Bound for Graphical Models 2001-02-06 M. A. R. Leisink Bounded Ordered Dictionaries in Olog log N Time and On Space 2001-11-06 Variance Minimization Stochastic Power Control in CDMA Systems 2002-01-31 Type Theories from Barendregt's Cube for Theorem Provers 2001-11-28 Jonathan P. Seldin Perfect Encoding: a Signature Method for Text Retrieval 2002-01-22 New Deterministic Interleaver Designs for Turbo Codes 2001-03-13 Performance Measures for Constrained Systems 2001-01-15 A Very Elementary Presentation of the Hannenhalli-Pevzner Theory 2001-04-19 Anne Bergeron Experimentation And Analysis For Unified Packet-Based Wireless Networks 2000-04-05 Measurement-Based Admission Control for Bufferless Multiplexers 2000-11-09 Martin Reisslein Teaching Privacy-Enhancing Technologies 2001-07-17 Improving Computer Communication Performance by Reducing Memory Bandwidth Consumption 1997-02-18 Bengt Ahlgren A Knowledge Level Software Engineering Methodology For Agent Oriented Programming 2001-04-09 Strategies for Seeking Reusable Components in Smalltalk 1998-03-02 Developing a Framework for Simulation, Verification and Testing of SDL Specifications 2000-10-16 Multi-Modal Person Authentication 2000-04-19 Impact of an ISO 9001 compliant quality management system on a University research enterprise 1999-11-11 Presence and Duration: The relationship between the sense of presence and subjective duration 2001-06-06 Concept Construction as Constraint Relaxation 1995-07-19 Rendering Participating Media with Bidirectional Path Tracing 1998-03-05 The Transport Layer: Tutorial and Survey 2001-03-14 Extending Embodied Lexical Development 1998-09-16 Homomorphisms of Conjunctive Normal Forms 2001-10-12 Stefan Szeider Typed Memory Management via Static Capabilities 2001-01-29 Efficient Verification of a Multicast Protocol for Mobile Computing 2000-11-17 Hildesheimer Informatikberichte Universitt Hildesheim 1999-04-20 A Principled Approach to Data Integration and Reconciliation in Data Warehousing 1999-06-18 Programming Dynamically Reconfigurable Open Systems with SALSA 2001-10-29 Optimal Phase Kernels For Time-Frequency Analysis 2001-08-24 Using Information on Lexical Stress for Utterance Verification 2001-09-26 Performance Controlled Data Reduction for Knowledge Discovery in Distributed Databases 2000-08-15 Approximation Algorithms for the Loop Cutset Problem 1999-08-04 Tracking wave fronts with Lagrangian markers 2001-05-30 Stefan Hagdahl Assessing Network Readiness for IP Telephony 2002-02-02 Security of Quantum Key Distribution Against All Collective Attacks 2001-12-05 Universal Usability: Pushing human-computer interaction research to empower every citizen 2000-12-13 The Geometry Of Profinite Graphs With Applications To Free Groups And Finite Monoids 2001-11-12 K. Auinger One-sided Stability of MAT and Its Applications 2001-11-28 On the Autoreducibility of Random Sequences 2000-11-17 Constructions of Cheating Immune Secret Sharing 2001-12-24 A 16 X 16 Programmable Poisson-Equation Solver Implemented In Analog Vlsi 1999-03-29 Paul M. Furth Analysis of the singular vectors of the full-physics FSU Global Spectral Model 2001-08-24 Automatic Targeting of Embedded Systems Software with Application Specific Operating Systems Generation 2001-04-19 Research Report 2001-09-19 Utilization of the Growing Hyperspheres Neural Network GHS for a Detection of Peaks in a Time Sequence of Total Factor Productivity 2001-09-03 Toms Cahlk Supporting Distributed Processing of Time-based Media Streams 2002-01-21 The Fairness Challenge in Computer Networks 2000-08-08 Reliable Probabilistic Communication in Large-Scale Information Dissemination Systems 2000-11-17 Intrinsic Bayes Factors for Dynamic Linear Models 2001-05-08 A Study on Color Space Selection for Determining Image Segmentation Region Number 2001-03-05 Multimodal Localization Of A Flying Bat 2000-11-16 A Symmetry Breaking Constraint for Indistinguishable Values 2001-10-31 Ian P. Gent Analyzing Fair Parametric Extended Automata 2001-06-12 Nonconforming Galerkin Methods for the Helmholtz Equation 2001-01-30 A New Discriminative Kernel From Probabilistic Models 2002-01-17 A Context-Based Framework for Mental Representation 2000-05-03 Spacecraft Formation Flying Control Design For The Orion Mission 1999-09-15 A Dynamic HMM for On-line Segmentation of Sequential Data 2002-01-07 The Frame Relay Forum Frame Relay Network-to-Network Interface NNI Implementation Agreement FRF 2.1 2001-04-10 Access to and Encoding of VRML State Information 2000-08-08 Determining And Applying The Response Of Ephemeral Lakes To Extreme Flood Events Using Eo 2000-10-20 A Model Checking Project at Philips Research 2001-04-19 Leszek Holenderski Collaborative Filtering 2000-11-14 Bus Architectures For Safety-Critical Embedded Systems 2001-08-01 John Rushby Comparative International Research on Best Practice and Innovation in Learning 2001-02-27 Case Study: Significant Schedule Delays in a Complex NDI-Based System 1998-06-29 David Carney Efficient Signature-Based Fault Diagnosis Using Variable Size Windows 2001-01-31 Evaluation of the Thor Microprocessor Using Scan-chain-Based and Simulation-Based Fault-Injection Extended Abstract 1999-11-10 A Web Site Navigation Engine 2001-02-07 Multi-Agent Visualisation Based on Multivariate Data 2001-03-19 A 1-D Atmospheric Energy Balance Model Developed for Ocean Modelling 1998-11-13 On the Formalisation of ERP Systems Procurement 2000-04-19 Partitions of Graphs With High Minimum Degree Or Connectivity 2001-06-05 Deryk Osthus I. Was Bastiat an Austrian Economist? Bastiat was one of the most influential economists of the 19 2001-02-15 Mark Thornton An Accumulative Parallel Skeleton for All 2002-01-18 Applying Local Search and Genetic Evolution in Concept Learning Systems to Detect Intrusion in Computer Networks 2000-05-09 Mirko Mischiatti A Comparison of HPF and VPP Fortran: How it has been used in the Design and Implementation of HPF/JA Extensions 2001-03-08 Evaluating Colour-Based Object Recognition Algorithms Using the SOIL-47 Database 2001-09-24 a language by Larry Wall 1996-02-13 Tom Christiansen Apprenticeships: Human Capital and Competitive Signaling in a Dynamic Labor Market 2001-10-30 Using the Design Structure Matrix DSM for Process Integration 2000-11-01 Tyson R. Browning On Designing an L-valued Prolog Engine 2000-12-02 Simulation Study In Statistics 2001-10-02 Let's Talk! Socially Intelligent Agents for Language Conversation Training 2001-05-01 A Temporal Constraint Satisfaction Problem-Solver 2000-12-16 Experimental Verification of Predicted Sources of 2000-08-24 Robust Additive Schwarz Methods - Parallel Implementations and Applications 1997-05-19 Eero Vainikko One BillionTransistors, One Uniprocessor, One Chip 1999-01-21 Wadge hierarchy and Veblen hierarchy. Part II: Borel sets of infinite rank 2002-01-10 Fragment Completion in Humans and Machines 2001-11-17 Technologies for Connecting and Using Databases and Server Applications on the World Wide Web 2001-08-15 Adolfo G. Castellon A Generalization Model and Learning in Hardware 2001-04-17 Alexander Nicholson Behavior Protocols for Software Components 2002-01-16 Maximizing Information Liquidity in Electronic Commerce 2000-04-11 The Theory Of Zero-Suppressed BDDs And The Number Of Knight's Tours 1995-03-13 The Fundamental Theorem of Geometric Calculus via a Generalized Riemann Integral 2001-04-16 Alan Macdonald Extending the ami approach to encompass the Foundation activity 2001-01-15 The Open-ORB Python Prototype API 1999-10-18 Anders Andersen Tool Wear Detection With Fuzzy Classification and Wavelet Fuzzy Neural Network 2001-12-11 Automatically Defined Functions 2001-11-26 Thorsten Schnier Using Autonomous Agents to Implement Avatars fora Computer Game 2001-09-13 Evidence For Dark Matter 1998-01-27 A Customized MVA Model for Shared-Memory Systems with Heterogeneous Applications 2001-07-13 IP based enhanced Data Casting Services over Radio Broadcast Networks 2001-09-18 The Role of Programming Languages in the Life-Cycle of Safe Systems 1996-01-24 Bounds on the Performance of Turbo Codes on Nakagami Fading Channels with Diversity Combining 2001-08-28 A. Ramesh Beauty In Usability: Forget About Ease Of Use! 2000-09-18 Coding Distributive Lattices with Edge Firing Games 2001-11-19 Matthieu Latapy A Brief History of Atmospheric General Circulation Modeling 2001-06-15 Delaunay Based Shape Reconstruction from Large Data 2001-07-05 Analysis of Translation Initiation Sites in the Complete Genome of 1998-11-12 Report on the Numerical Inversion of Laplace Tranforms of Probabilistic Functions: A Haskell Implementation 2001-07-27 Jeremy Bradley Deliberated Evolution: Stalking the View Matcher in Design Space 2001-08-24 The Importance of Homes in Technology Research 2001-08-09 Duality for Some Categories of Coalgebras 2000-10-31 Robert Goldblatt Positive Schemes for Solving Multi-dimensional Hyperbolic Systems of Conservation Laws 2000-10-05 Hierarchical Bayesian Analysis for the Number of Species 2001-05-08 Unknown 2001-08-06 Experimentation 2001-02-06 H-TROSY for simultaneous detection of backbone 2001-05-22 Fast Double Bootstrap Tests of Nonnested Linear Regression Models 2001-09-06 An Analysis Of B2b Catalogue Integration Problems 2001-04-05 Integrated Communications Management Of Broadband Networks 1998-07-09 Topics in Transformation Groups 2001-11-26 Frame-Rate Up-Conversion Using Transmitted True Motion Vectors 1999-07-09 Situated Computing: A Paradigm to Enhance the Mobile User's Interaction 2001-07-10 A loosely Bernoulli counterexample machine 1999-09-09 Christopher Hoffman Multimodalmedicalvolume Registration Based On Spherical Markers 2001-03-27 Chapter 11 1998-07-09 Countable Filters on ... 1999-11-18 Otmar Spinas Constructing modular architectures with Boltzmann Machines 1995-01-20 Planning with Incomplete Knowledge and Limited Quantification 1999-05-05 Scaling and Quantum Geometry in 2d Gravity 1998-09-03 K. N. Anagnostopoulos ROOM TEMPERATURE LASER ACTION IN LATERALLY OVERGROWN GaN PYRAMIDS ON 111 SILICON 2001-09-21 Optimum PLA Folding through Boolean Satisfiability 2001-11-13 Pattern Search Methods for User-Provided Points 2001-04-19 Integration of functional, cognitive and quality requirements - A railways case study 2001-11-18 Research Interests and Accomplishments 2000-01-12 K. Subramani Source-Specific Multicast SSM for application developers 2000-09-23 Symmetric FE and FE--BE Formulations of 3D Magnetic Field Problems 1999-06-30 M. Kuhn Dynamics of Cytoplasmic Incompatibility with Multiple Wolbachia Infections 2001-01-20 NSR -- A Tool for Load Measurement in Heterogeneous Environments 1998-04-17 Chemical composition of biotite from the Casino porphyry Cu-Au-Mo mineralization, Yukon, Canada: evaluation of magmatic and hydrothermal fluid chemistry 2001-04-05 The Coming Revolution: The Merging of Computational Neural Science and Semiconductor Engineering 2002-01-07 Dan Hammerstrom R-Cyclic Families of Matrices in Free Probability 2001-01-05 Bearing Estimation Techniques for Improved Performance Spread Spectrum Receivers 1996-06-04 John S. Thompson Solving Norm Form Equations Via Lattice Basis Reduction 1999-11-23 Michael A. Bennett Broadcasting Issues in Video Servers 1999-02-12 Unknown 2001-06-27 An Approach to Multidimensional Item Response Modeling 2001-05-08 Runtime Predictability of Loops 2001-11-06 Adaptive Push-Pull: Disseminating Dynamic Web Data 2000-11-14 Scalable Unidirectional Routing with Zone Routing Protocol ZRP Extensions for Mobile Ad-Hoc Networks 2001-03-05 Tu6sudib S@t@6s8cdi @vspq@6ig6x 2001-06-13 The Postal Network: A Recursive Network for Parameterized Communication Model 2001-01-19 I/O-Efficient Algorithms for Graphs of Bounded Treewidth 2001-04-20 Modelling, Analysis and Simulation Riemann-problem and level-set approaches for two-fluid flow computations II. Fixes for solution errors near interfaces 2001-09-04 A 1 MHz Compact Digitally Controlled Perceptron Integrated Circuit Implementation with Process Insensitivity 1994-11-21 Motion Control of Open Containers with Slosh Constraints 1999-04-29 The Anatomy of Innocence 2001-05-07 Gravity Anomalies in the Apollinaris Patera Region: a Study of Filtering in Spherical harmonics Models 2001-07-05 James Richardson The Semantic Web: Yet Another Hip? 2001-12-21 Enumeration of 2-9,3,lambda Designs and Their Resolutions 2001-10-16 Maximum Entropy Methods for Biological Sequence Modeling 2001-07-19 Strategic Options Enhance 2001-02-08 Irwin Feller Grid Refinement in Multiscale Dynamic Optimization 2000-05-05 Service Broker for Global Internet Services 2001-10-30 Torsten Braun Contentful Mental States for Robot Baby 2002-01-23 Asymptotic properties of the maximum likelihood estimator in autoregressive models with Markov regime 2001-04-06 Absolute Constructions: On the Distribution of Predicative Idioms 1999-10-26 Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees 2001-03-19 A Theoretical Framework for Convex Regularizers in PDE-Based Computation of Image Motion 2001-12-21 Comparison Between Distributed And Centralised Demand Assignment TDMA Satellite Access Schemes 2000-10-25 Refining Refinement Types 2000-02-02 Ewen Denney On Multi-Level Bases for Elliptic Boundary Value Problems 2001-01-09 Ming-jun Lai Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study 2000-05-03 Case Study: Intelligent Software Supply Chain Agents using ADE 1998-05-16 Automatic Implementation of Real-Time Object-Oriented Models and Schedulability Issues 2001-05-11 Putting Quality Of Service Into A Network By Making The Traffic Markovian 2001-08-01 US-Korea Joint Workshop on Digital Libraries: Removing Barriers to International Collaboration on Research and Education through Digital Libraries 2000-07-31 A General Block-Based Approach to Joint Source-Channel Coding for Channels With Feedback 2001-03-01 Computing Productivity: Firm-Level Evidence 2000-09-26 Extended X-Ray Emission Around Radioloud Quasars 2001-03-02 Martin J. Hardcastle Preventing Existence 2002-01-10 Center-Wide Integrated Research Program in Visualization of High-Dimensional Spatial Data 2001-08-27 Comonadic Iteration Abstract 2000-11-02 Taking on the Curse of Dimensionality in Joint Distributions Using Neural Networks 2000-01-19 Syntactic Model Building by Calculi 2000-06-26 Alexander Leitsch Smooth Surface Reconstruction via Natural Neighbour Interpolation of Distance Functions 2000-03-20 A Continuous-Time Bandpass Filter Implemented In Subthreshold Cmos With Large-Signal Stability 2000-08-18 Paul M. Furth Boundary Effects in Potential Vorticity Dynamics 2002-01-18 An Online Algorithm for Segmenting Time Series 2001-08-15 Towards Distributed GQM 2001-08-03 Adaptive Error Control for Hybrid Satellite-Terrestrial Networks 1999-08-27 Sungrae Cho An Enhanced Two-Level Adaptive Multiple Branch Prediction for Superscalar Processors 1999-10-02 lbtt - LTL-to-Büchi Translator Testbench 2001-12-05 Heikki Tauriainen A formalization of the IWIM model 2000-07-10 Ox Workshop 2001-07-12 Jurgen A. Doornik D-NURBS: A Physics-Based Framework for Geometric Design 1996-03-05 A Safe Recursion Scheme for Exponential Time 2001-08-20 Peter Clote Data Integration under Integrity Constraints 2001-11-20 Recognizing Careless Speech 2000-05-24 Laura June Mayfield Evolution of Magnetic and Superconducting Fluctuations with Doping of 1999-07-30 A Fast Write Barrier for Generational Garbage Collectors 2000-09-19 Urs Hlzle Face recognition: When a Nod is Better Than a Wink 2001-09-04 Jim Stone Comparative Study of Techniques for Large-Scale Feature Selection 2001-11-26 A Real-time Network at Home 2001-11-14 Bigfoot-NFS: A Parallel File-Striping NFS Server 1999-05-07 Using Rough Sets with Heuristics for Feature Selection 2001-08-10 Mobile Hybrid Virtual Reality and Telepresence for Planning and Monitoring of Engineering Projects 2001-08-01 ToX -- The Toronto XML Engine 2001-03-13 Unknown 2002-01-04 Exact Filling Of Figures With The Derivatives Of Smooth Mappings Between Banach Spaces 2001-11-28 FSMtest: Synthesis for Testability and Test Generation of PLA-Based FSMs 2001-11-13 Principles of Ionization Chamber Operation Under Intense Ionization Rates. 2001-02-15 Current developments and trends in handover design for ALL-IP wireless networks 2001-03-02 Using Otter for Temporal Resolution 2001-02-28 Clare Dixon S. Anandakrishnan 2000-08-09 Optimal Interpolator Using a Trigonometric Polynomial 2001-05-02 Relational Learning Using Constrained Confidence Rated Boosting Extended Abstract 2001-10-12 Towards the Automated Verication of Multithreaded Java Programs 2001-11-07 A Mechanical Proof of the Chinese Remainder Theorem 2000-10-25 David M. Russinoff On Table Bandwidth and Its Update Delay for Value Prediction on Wide-Issue ILP Processors 2001-05-27 Wayfinding in a Virtual Environment 1999-11-22 A Mechanochemical Model for Adult Dermal Wound Contraction and the Permanence of the Contracted Tissue Displacement Profile 1999-04-30 What's an AI Toolkit For? 1998-05-29 Aaron Sloman First Observation of 2001-05-23 The Distribution of BOLD Susceptibility effects in the Brain is Non-Gaussian. 2001-05-06 Generating Cuts from Multiple-Term Disjunctions 2001-09-07 Network-Computer for Computer Architecture Education: a Progress Report 2001-08-26 Statewide Safety Study of Bicycles and Pedestrians on Freeways, Expressways, Toll Bridges, and Tunnels 2001-11-01 Toll Bridges Approximation Algorithms for the Job Interval Selection Problem and Related Scheduling Problems 2002-01-07 Autofluorescence of melanins induced by ultraviolet radiation and near ultraviolet light. A histochemical and biochemical study 2001-08-10 Milan Elleder Trigger Inheritance and Overriding in an Active Object Database System 1999-06-02 The NavBelt - A Computerized Multi-Sensor Travel Aid for Active Guidance of the Blind 2001-04-24 J. Borenstein Figure 1 : 2000-05-19 Merging Maps 2000-04-26 Pavel Chalmoviansk Y On The Edge Distribution In Triangle-Free Graphs 2001-04-20 Michael Krivelevich % Lower Limit 2001-03-01 Agent-mediated Electronic Commerce: Scientific and Technological roadmap. 2001-04-26 Asymptotic Analysis of the Density of States in Random Matrix Models Associated With a Slowly Decaying Weight 2000-03-30 Arno Kuijlaars What is the Expected Sensitivity of the SMA? 2001-06-14 David Wilner On Computing Connected Components of Line Segments 1995-05-25 UrbanSim: Modeling Urban Development for Land Use, Transportation and Environmental Planning 2001-11-20 Paul Waddell Specialty Treatments 1999-08-10 Roger M. Rowell Design Recommendations for a Graphical Interface to the Network Module of ARC/INFO 2001-04-30 Irreducible Representations of the 4-dimensional Sklyanin Algebra at points of infinite order 1998-03-19 SINS Jaarverslag 2000 2001-07-02 Taxation and the Intergenerational Transmission of Human Capital 2000-08-24 Lutz Hendricks Task-Related Knowledge Structures: Analysis, Modelling and Application 2001-05-03 Cell-Hopping: A New Model for Wireless Communications 2001-04-11 Simulations In Interactive Distance Learning 2001-04-20 Efficient Evaluation Of Reverberant Sound Fields 2001-10-09 The Excitation and Control of Torsional Slip-Stick In the Presence of Axial-Vibrations 2000-04-17 Adaptive Task and Resource Allocation in Multi-Agent Systems 2001-04-25 Collaborative Signal and Information Processing in Micro-Sensor Networks 2001-12-19 Information processes in filtered experiments Part I: general concepts 2001-01-31 Hemispheric Specialization During Episodic Memory Encoding in the Human Hippocampus and MTL 2000-08-10 Major Index for Wreath Products 2000-09-14 Genome Wide Survey of the Entire 1998-11-12 A Network-Computing Infrastructure for Tool Experimentation Applied to Computer Architecture Education 2001-08-26 Improved COMPTEL 10-30 MeV Event Selections for Point Sources from Inflight Data 1997-11-11 Combining different Failure Detectors for Solving a Large-Scale Consensus Problem 2000-07-12 Lamsade Lamsade Esigetel Objectives 1999-11-04 B. Reproductive Immunology Modeling Trust in Applied Computer Science: A Principal Agent Perspective 2000-10-20 Anya Kim Applying Balanced Generalized Weighing Matrices to Construct Block Designs 2001-02-10 Yury J. Ionin Stochastic Petri Net Analysis of Deadlock Detection Algorithms in Transaction Database Systems with Dynamic Locking 2000-07-26 Parallelization of the full-potential plane wave code WIEN 97 1999-09-22 Gongeroos'99 Team 2001-10-05 Application-Driven Synthesis of Memory-Intensive Systems-on-Chip 2001-03-08 A Subspace-Based FaultDetection Algorithm with Application to In-Operation Monitoring and Diagnostics of Vibrating Structures 1999-09-17 Hausdorff Dimension, Analytic Sets And Transcendence 2001-06-08 Some Local Measures of Complexity of Convex Hulls and Generalization Bounds 2002-02-02 Mechanisms of Generalization in Perceptual Learning 1999-11-10 Synthesis of Low-Overhead Interfaces for Power-Efficient Communication over Wide Buses 2001-04-25 Processing, vol. 36, pp. 1169--1179, July 1988. 33 R.P. Wurtz, "Object recognition robust under translations, deformations, and changes in background", 1999-07-06 TREX: Workflow TRansactions by Means of EXceptions. 1999-03-01 Mixed-Level Cosimulation for Fine Gradual Refinement of Communication in SoC Design 2001-03-30 Navigation Methods for an Augmented Reality System 2001-03-23 Textual CBR and Information Retrieval -- A Comparison -- 1999-10-19 Mario Lenz Structures of the Dwarf Elliptical Galaxies NGC 185 and NGC 205 1996-10-17 A Bayesian Model of Voting in Juries 1999-01-07 C++ Network Programming 2001-11-04 Comet Shoemaker-Levy 1991 a1 2001-02-12 J D Shanklin Simultaneous Shield Insertion and Net Ordering for Capacitive and Inductive Coupling Minimization 2000-03-31 BFR : A Routing Protocol for Real-time Transport in Grid Networks 2000-08-26 Learning the Past Tense of English Verbs: Connectionism Fights Back 2001-04-09 John A. Bullinaria Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation 1998-06-15 Noncoherent Communication In Space And Time 2001-08-31 NANOS: Effective Integration of Fine-grain Parallelism Exploitation and Multiprogramming 1999-09-28 Randomized Simplex Algorithms and Random Cubes Extended Abstract 1999-12-07 Temporal Generalization with Domain Generalization Graphs 1998-09-08 Sequent Calculus Viewed Modulo 2000-11-08 Eric Deplagne The Sam Loyd 15-Puzzle 2001-07-27 Richard Hayes Volume 1, Issue 2, Article 15, 2000. 2000-10-24 Check Character Systems and Anti-symmetric Mappings 2001-11-21 Combining Estimators Using Non-Constant Weighting Functions 2002-01-28 Understanding Software Evolution using a Combination of Software Visualization and Software Metrics 2001-11-27 A Short Generalization of the Meshalkin-Hochberg-Hirsch Bounds on Componentwise Antichains 2001-10-11 Fabric Computing Interfaces 2001-05-04 Incremental Search Methods for Real-Time Decision Making 1997-01-23 On the Design of Chant: A Talking Threads Package 1998-10-09 An Approach to Self-Adaptive Software based on Supervisory Control 2001-10-01 Gaia And The Evolution Of Young Stars 1996-01-16 Developing a New Resource for Visually Impaired People 2001-03-23 On Monotone Data Mining Languages 2001-09-26 Stable Encoding of Large Finite-State Automata in Recurrent Neural Networks with Sigmoid Discriminants 2001-02-27 Deep Infrared Imaging of the R Corona Australis Cloud Core 1998-08-27 Accountability, Transparency, and Inflation Targeting 2001-11-06 Carl E. Walsh Beyond Message Sequence Graphs 2001-09-24 P. Madhusudan Design of an Online GIS Viewer by Wavelet Technology 2001-06-27 The Influence of Substrate Lens Design in Terahertz Time-Domain Spectroscopy 2001-10-08 Science Education As A Driver Of Cyberspace Technology Development 2002-01-15 A New Neural Network for Particle-Tracking Velocimetry 2001-08-23 Gilles Labont Parallel Linear Algebra and the Application to Multigrid Methods 2001-02-05 Christian Wieners A Current-Mode Continuous-Time Sigma Delta Modulator With Delayed Return-To-Zero Feedback 1999-02-17 Modernizing Information Systems: A Comparison Of Scientific And Technological Research Perspectives 1999-12-07 Jonathan A. Morell Optimal Biorthogonal Filter Banks for Multiple Description Coding 2001-11-28 Pier Luigi Dragotti Color Management for Color Facsimile 1998-04-29 On Multiplying Points: The Paired Algebras of Forms and Sites 2001-06-27 Subband Prediction Using Leakage Information in Image Coding 2001-03-27 Jacques Vaisey Optimal Shape Description using Morphological Signature Transform via Genetic Algoritm 2001-10-19 Beam-Beam Disruption And The Case For A Plasma Lens In 1996-10-24 Electoral Context 2001-01-31 Michael Marsh On A Finitistic Cotilting-Type Duality 2000-10-05 Hierarchical Lighting Simulation for Outdoor Scenes 2000-04-11 Context Authentication Using Constrained Channels 2001-04-05 An Experiment on Fear of Public Speaking in Virtual Reality 2001-09-29 Skills and Knowledge Structures 2001-03-21 Classroom Games: Making Money 1999-04-16 Chronic Adversities Child and Adolescent Psychiatry Modern Approaches, Fourth Edition Michael Rutter Eric Taylor Eds. V1.2 Ruth J. Friedman, Ph.D. P. Lindsay Chase-Lansdale, Ph.D. 2001-02-20 Michael Rutter Eric Taylor eds Open Computing: The Importance of Open Protocols and Systems 1999-12-29 Farrel Lifson New results for the Herzenberg dynamo: steady and oscillatory solutions 1997-07-31 Statistical Model-Based Segmentation Of Deformable Motion 2001-10-23 Objectives 1999-11-04 A. Isomers A Static Analysis Method for a Classical Linear Logic Programming Language 2001-01-21 Modeling Dependencies In Stochastic Simulation Inputs 2000-04-21 James R. Wilson Delay Diversity Codes for Frequency Selective Channels 2001-09-08 .1 Mechanism Design and the Revelation Principle 2001-03-14 POSIX-Compatible Application-Defined Scheduling in MaRTE OS 2001-12-17 On the Number of Distributive Lattices 2001-06-05 Minimalist Fault Masking, Detection and Recovery Techniques for Mitigating Single Event Effects in Spaceborne Microcontrollers 1998-05-28 Distribution Sweeping on Clustered Machines with Hierarchical Memories 2002-01-18 INDIGO - An Approach to Infrastructures for Digital Libraries 2001-11-02 Application of Event--Based Debugging Techniques to Object--Oriented Executions 2001-08-01 Ilene Seelemann Dynamic Website Mining 2002-01-17 Tiling of Iterative Sparse Matrix Computations 2001-11-10 Just how good is maximum entropy? An empirical investigation using ensembles of MEMD models for attribute-value grammars 2001-05-08 On Finding Multi-constrained Paths 1999-07-21 Contracting Tasks in Multi-Agent Environments 2001-02-27 Sarit Kraus Exploring The Effects Of Patent Oppositions: A Comparative Study Of Us And European Patents 2001-07-20 Parallel EARS 1996-06-21 Suman Das Joseph R. Cavallaro Behnaam Aazhang 1999-12-29 Quality Documentation Distribution with Intranet Implementations 2000-09-12 Petri Helo The Effect of Statistical Multiplexing on the Long-Range Dependence of Internet Packet Traffic 2002-01-10 Master's Student Project Proposal: Neural Reinforcement Learning for Bargaining Agents 2001-10-31 Michiel De Jong Who wins Mis`ere Hex? 2001-08-29 Survivability-Over-Security: Providing Whole System Assurance 2001-03-19 Visualization and Integration of Protein-Protein Interactions 2001-10-24 Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks 2001-01-12 David Poole Improved Learning of Bayesian Networks 2001-09-18 Robert Castelo Cluster-Preserving Embedding of Proteins 2001-06-12 Numerical and Theoretical Considerations for Sensitivity Calculation of Discontinuous Flow 2001-09-09 Automated Generation of Boundary Element Models for Bioelectromagnetic Problems 1999-04-16 On the Explanatory Power of Asset Pricing Models Across and Within Portfolios 2001-09-09 On the complexity of Halfspace Area Queries 2001-02-02 Stefan Langerman Controlling High Bandwidth Aggregates in the Network 2001-07-13 Formation and Properties of Juvenile Wood in Southern Pines 2001-10-12 A Component-Based Approach to Concurrent Declarative Programming 2001-07-16 Reflection and Meta-Level Architectures: State of the Art, and Future Trends 2001-03-15 A Profile-Based Energy-Efficient Intra-Task Voltage Scheduling Algorithm for Hard Real-Time Applications 2001-06-15 Jihong Kim Internet Traffic Tends To Poisson and Independent as the Load Increases 2001-07-03 Content-based and perceptual bit allocation using Matching Pursuits 2001-02-06 Computational Dynamics: 1995-03-19 Feng Zhao Enhancement of the CBT Multicast Routing Protocol 2001-06-08 Realizability Toposes and Ordered PCA's 2001-06-06 Differential Games and Queueing Network Control 2001-11-01 Martin V. Day Icrc 2001 2001-06-26 Todor Stanev 3-Dimensional Pattern Recognition Using Weightless Neural Networks Aleksander's Model 2000-09-30 A Tour with Constructive Real Numbers 2002-01-04 Pietro Di Gianantonio Minimum Time and Minimum Cost Path Problems in Street Networks With Periodic Traffic Lights 2001-05-10 A Randomized Parallel 3D Convex Hull Algorithm For Coarse Grained Multicomputers 1999-06-10 The Irradiance Error and its Effect in Photometric Stereo 1997-11-21 Karsten Schlns Unknown 2001-04-17 Random Generators and Normal Numbers 2001-10-30 Suggy: An Automatic Query Refinement Agent 2000-05-10 ETRI Journal, Volume 23, Number 4, December 2001 2001-12-20 Frits C.R. Spieksma 2001-10-15 Frits C. R. Spieksma Finding Efficient Organ Transport Routes using Multi-Agent Systems 2001-02-26 LH*s: a High-availability and High-security Scalable Distributed Data Structure 2000-12-06 Large Deviations Ordering of Point Processes in some Queueing Networks 1998-11-10 Fast Specification of Cycle-Accurate Processor Models 2001-10-05 Performance Gain of Smart Antennas with Hybrid Combining at Handsets for the 3GPP WCDMA System 2001-07-16 Bang: A Boolean Automata Network Grammar checker 2000-12-14 David Lesens A Reliable, Adaptive Network Protocol for Video Transport 2001-09-25 Monitoring Greenhouse Gas Emissions in Russia: A Foundation for Climate Accountability December 1999 1999-11-29 Some Explanations for Delays in Political Stabilizations: the Case of India and Pakistan 1999-08-30 Afzal S. Siddiqui Enridged Contour Maps 2001-10-03 Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination 2001-06-21 Robustly Estimating Changes in Image Appearance 2001-11-26 Representation of Tropical Cirrus Anvil in Climate Models 1997-11-05 An Integrated Framework For Image Classification 2000-03-10 Evaluating Computer-Communication Systems using Infinite-State Stochastic Petri Nets 2001-05-05 Self-Organized Sensor Integration Applied to Multi-Modal Head Tracking 2001-03-23 LEAD++: An Object-Oriented Reflective Language for Dynamically Adaptable Software 1998-10-25 Accelerating Ray Tracing by Exploiting Frame-to-Frame Coherence 2002-01-17 The Extended Linear Complementarity Problem 2002-01-15 The Performance of a Genetic Algorithm on a Chaotic Objective Function 1995-06-08 The Turnout Paradox: Why Changing Electoral Experiences Trump Changing Social Characteristics in Driving Voter Turnout in Advanced Democracies 2001-09-21 A Case Study I 2000-07-11 On A Hypercycle System With Nonlinear Rate 2001-12-06 Juncheng Wei One-Relator Products Induced From Generalized Triangle Groups 2001-05-18 James Howie Comparative Classification of Multi-User Virtual Worlds 2001-08-09 On the Projective Geometry of Homogeneous Varieties 1999-09-23 Laurent Manivel User-Level Extensibility in the Mona File System 2001-08-16 Language-Restricted Iterated Function Systems, Koch Constructions, and L-systems 2000-08-18 , 26, 70, 146 2001-07-11 A Fully-Automatic Stitching of 2D Medical Data Sets 2001-12-03 Mark Goreskyan Robert Macpherson 2001-04-30 Mark Goreskyan Robert Reconfigurable Accelerators for Combinatorial Problems 2001-12-19 Marco Platzner Cross-Entropy Guided Mobile Agents Finding Cyclic Paths in Meshed Networks 2001-11-07 Automatic Accurate Live Memory Analysis for Garbage-Collected Languages 2001-10-09 Validity of Practical Inference 2000-09-19 Berislav Zarni C This is an appendix to the paper by B. Charlesworth J. D. Wall 1999 Inbreeding, heterozygote advantage and the evolution of neo-X and neo-Y chromosomes. 2001-08-01 On The Rapid Computation Of Various Polylogarithmic Constants 2001-04-08 Costas Arrays 2001-09-25 Andr Vellino Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri 2001-06-28 Land Monitor Salinity Risk Prediction Dumbleyung and Mt Barker Regions 2000-11-01 Fine-granularity Locking and Client-Based Logging for Distributed Architectures 2000-10-29 E. Panagos An Alternative Approach to Minimum Mean-Squared Error DFE with Finite Length Constraints 1996-06-18 Wolfgang Gerstacker Parallel Volume Rendering Unstructured Data: A Distributed Approach 2001-11-06 Kwan-liu Ma Instructions For Typesetting Camera-Ready Manuscripts 2001-05-31 Identifying Models of the Octave Projective Plane 1998-12-10 Daniel Allcock EKA: Efficient Keyserver using ALMI 2001-06-15 An Experiment to Assess the Cost-Benefits of Code Inspections in Large Scale Software Development 2001-02-27 A New Algorithm to Rank Temporal Fuzzy Sets in Fuzzy Discrete Event Simulation. 2001-03-19 On the non-commutative factorization of Wiener-Hopf kernels of Khrapkov type 2000-11-30 I. David Abrahams Frametalker: A Communication Frame And Utterance-Based Augmentative Communication Device 2001-11-12 Information Filtering and Retrieval: An Overview 2000-11-14 Error Protection for ATM-Based Wireless Networking Systems 1999-04-28 User's Manual For F 2001-04-22 Colby C. Swan On the Concentration of Spectral Properties 2001-12-02 Modeling Structural Change in Money Demand Using a Fourier-Series Approximation 2002-01-25 Positive Extensions And Riesz-Fejer Factorization For Two-Variable Trigonometric Polynomials 2001-10-22 Enforcing Service Availability in Mobile Ad-Hoc WANs 2001-04-11 Combining Computational Effects: Commutativity and Sum 2001-12-19 Classifying Loops for Space-Time Mapping 1996-06-26 Empirical Evaluation of Boundary Policies for Wavelet-based Image Coding 2001-09-04 Tabular Constraint-Satisfaction Problems and Answer-Set Programming 2001-01-10 A tight characterization of NP with 3 query PCPs 2001-08-23 The Existence and Stability of Noncommutative Scalar Solitons 2001-10-16 File System Encryption with Integrated User Management 2002-01-14 One Engineering Process - Integrated! 2000-11-01 Information and Decision Technology - An Introduction to Computer-Based Modeling and Analysis 2001-09-05 Approximate Pattern Matching and Transitive Closure Logics 2001-10-26 Discourse Comprehension of Synthetic Speech Delivered at Normal and Slow Presentation Rates 2000-04-14 The Impact of Test Suite Granularity on the Cost-Effectiveness of Regression Testing 2001-09-24 Relevance Feedback Techniques for Image Retrieval Using Multiple Attributes 2001-10-25 Wait-Free Handshaking using Rainbow Coloring 2001-05-03 Marina Papatriantafilou Resource Reclaiming in Multiprocessor Real-Time Systems 2001-09-25 Weight Transfer 1999-08-29 Brian Beckman A Notation for Problematic Architecture Interactions 2001-10-13 A Framework for the Greedy Algorithm 2001-04-19 A. Vince Using Visualization To Understand The Behavior Of Computer Systems 2001-08-28 Robert P. Bosch Ensemble-Index: A New Approach to Indexing Large Databases 2001-12-30 On-Web-Visualizing A Mechanism Of A Single Chip Computer For Computer Literacy Courses 2000-11-30 The secret? homological algebra of the Batalin-Vilkovisky approach 1997-12-04 Jim Stasheff On Low-Density Parity-Check Convolutional Codes 1998-12-01 Markov Random Field Model And Fuzzy Formalism-Based Data Modeling For The Sea-Floor Classification 2002-01-27 Improving data caching for software MPEG video decompression 1996-09-25 The Impact of Off-Exchange Customer Trades on Prices: Evidence from the Futures Markets 1999-03-02 Software Package for Semide Nite-Quadratic-Linear Programming, Version 3.0 2001-08-28 On the Throughput Achievable by Isolated and Interconnected Input-Queueing Switches under Multiclass Traffic 2002-02-01 Fluid Analysis of Early Message Discarding Policy under Heavy Traffic 2002-02-02 Parijat Dube Generalized Early Evaluation in Self-timed Circuits 2001-12-17 Realising Authentic Science Learning through the Adaptation of Scientific Practice 2002-01-16 A Note on the Efficiency of Income Redistribution with Simple and Combined Policies 1997-11-21 Allocating Assets and Discounting Cash Flows: Pension Plan Finance 1996-04-25 Mitchell A. Petersen Eliminating the Reaching Phase from Variable Structure Control 2001-01-18 An Asynchronous Architecture to Manage Communication, Display, and User Interaction in Distributed Virtual Environments 2000-12-20 A Color-to-Spin Domino Schensted Algorithm 2001-06-01 On Partitions of Discrete Boxes 2000-10-20 Astronomy And Astrophysics 1996-01-16 Connectionless Data Server for Public ATM Networks: Design and Performance 1999-05-10 A Perspective on Knowledge Compilation 2001-04-10 MODELING Ka BAND SCINTILLATION AS A FRACTAL PROCESS Nedo Celandroni, 2000-10-30 Acquisition of Lexical Resources from SNOMED for Medical Language Processing 1998-01-13 Values of Minors of 1,-1 Incidence Matrices of SBIBDs and Their Application to the Growth Problem 2000-12-01 Domain Theoretic Models of Topological Spaces 2001-01-24 Keye Martin Arm Processes And Modeling Methodology 1999-12-13 Benjamin Melamed BDL: A Semantics Backbone for UML Dynamic Aspects 2001-09-07 Depth First Generation of Long Patterns 2002-01-01 Molecular Gas in the NGC 6334 Star Formation Region 1999-09-28 Exploiting Symmetry In Linear Time Temporal Logic Model Checking: One Step Beyond 2000-11-16 QoS Policy Specification - A mapping from Ponder to the IETF 2001-05-18 An XML based Programmable Network Platform 2001-06-22 Integration of Mathematical Systems into the ActiveMath Learning Environment 2001-07-05 Expressing Set Theory in First-Order Predicate Logic 2001-05-23 Stphane Vaillant Dynamic Ideal Point Estimation via Markov Chain Monte Carlo for the U.S. Supreme Court, 1953-1999 2001-12-30 Efficient Map Visualization on the Web 2000-03-22 Methods for Binary Multidimensional Scaling 2001-08-24 Douglas L. T. Rohde Towards Bounded-Rationality in Multi-Agent Systems: A Reinforcement-Learning Based Approach 2001-08-29 Fermat's Last Theorem 2001-07-17 Duality, Geometry, and Support Vector Regression 2001-07-12 UPSILON: Universal Programming System with Incomplete Lazy Object Notation 2001-02-27 Design of an Advanced Heavy Tactical Truck: A Target Cascading Case Study 2001-11-24 What is a State of a System? an outline 2001-06-08 Uri Abraham Specification and Validation of Embedded Systems using LUSTRE and ARGOS. Case Study: The Automatic Headlight Leveling System 2001-08-10 Protocol Wrappers for Layered Network Packet Processing in Reconfigurable 2002-02-02 The Geometry of Carpentry and Joinery 2001-08-22 Entropy budget of an atmosphere in radiative-convective equilibrium. Part I: maximum work and frictional dissipation. 2000-07-05 Combinational Test Generation for Acyclic Sequential Circuits using a Balanced ATPG Model 2001-03-26 Choice of Prizes Allocated by Multiple Lotteries with Endogenously Determined Probabilities 2001-05-15 Toward Realizable Restricted Delegation in Computational Grids 2001-07-25 Statistical Behavior and Consistency of Classification Methods based on Convex Risk Minimization 2002-02-04 Tong Zhang A Transformation For Implementing Efficient Dynamic . . . 1995-07-14 Side-effects in PloSys OR-parallel Prolog on distributed memory machines 1996-10-11 Hard Sync Without Aliasing 2001-09-26 Eli Brandt Interconnect Technology Beyond the Roadmap 2001-01-16 Space Decomposition Techniques For Fast Layer-4 Switching 2002-02-02 Toward Effective Algorithm Visualization Artifacts: Designing for Participation and Negotiation in an Undergraduate Algorithms Course 2002-01-15 Christopher D. Hundhausen Test Case Characterisation By Regular Path Expressions 2001-08-27 Debugging of Distributed Object-Oriented Applications 2001-09-06 Matlab Quick Reference 2001-06-29 Quick Reference A Variable Window Approach to Early Vision 1999-06-18 CASE Support for the Development of Federated Information Systems 2000-06-28 Guaranteeing Statistical QoS to Regulated Traffic: The Multiple Node Case 2000-11-08 Software Process Support over the Internet 2001-11-06 Macro Packages for Typesetting Commutative Diagrams 1997-10-31 Gabriel Valiente Feruglio S-DSM for Heterogeneous Machine 2000-12-21 Molecular Systematics of and related anamorph species in 2001-08-08 Overcoming Asymmetries in Local Commons Dilemmas: Evidence from Field Experiments 2000-10-10 A Third-Order Current-Mode Continuous-Time Sigma Delta Modulator 1999-05-23 Globally Convergent Methods for Nonlinear Equations 2002-01-15 OP 2000 and MedSeC: A Concept to Extend the DICOM Standard to Include Digital Stereoscopic Video Sequences 1998-12-03 The SimpleScalar Tool Set, Version 2.0 2001-12-14 Crawling the Hidden Web 2001-09-23 Towards Proximity Group Communication 2001-10-02 VERA: An Extensible Router Architecture 2001-04-22 Designing Microcontroller Systems for Electrically Noisy Environments 2000-12-19 Tom Williamson Metal Condensates In Ch And Bencubbin-Like Chondrites: Evidence For Localized Nebula Heating Events And Variations In Gas Composition. 2000-04-18 BeSS: Storage Support for Interactive Visualization Systems 2000-10-29 A Gate-Level Timing Model for SOI Circuits 2001-09-10 An Efficient Block Segmentation Algorithm For True Motion Estimation 1998-06-30 Shift Error Detection in Standardized Exams 2000-05-21 Walk-Time Nested If-Conversion of Hard-to-Predict Branches 2000-04-12 Finn Schiermer Andersen Supporting Sociability in a Shared Browser 2000-12-01 The regulation of electronic commerce: Learning from the UK's RIP Act 2001-11-14 Genome Analysis: Assigning Protein Coding Regions to 3D Structures 1998-11-19 A Metaevolutionary Approach In Searching Of The Best Combination Of Crossover Operators For The TSP 2001-04-19 Marjan Mernik Matej The Study Of A Nonlocal Eigenvalue Problem 2001-11-19 Juncheng Wei A Specification Language for Crypto-Protocols based on Multiset Rewriting, Dependent Types and Subsorting 2001-12-11 Iliano Cervesato Fourier Transform Basics for Optical Image Processing 2000-08-23 Thomas J. Naughton In Search of a Phase Transition in the AC-Matching Problem 2001-09-09 A General Scheme for Automatic Generation of Search Heuristics from Specification Dependencies 2001-11-05 Distributed Controller Synthesis for Local Speci cations 2001-04-21 Tensor-Gmres Method For Large Sparse Systems Of Nonlinear Equations 2001-10-03 FT-C Fault-Tolerant Distributed Computing 1995-05-17 Naftali Schwartz Leakage Evaluated and Controlled from Industrial Process Pipeline by Optimum Gasket Assembly Stress 2001-11-16 Internationalisation -- the User Perspective 2000-04-20 Exponential Approximation of Multi-Skill Call Centers Architecture 2001-05-16 An Example of Dynamical Physical Agents 2000-05-04 On Schur algebras, Ringel duality and symmetric groups 2001-03-16 Dynamic Data Replication for Tolerating Single Node Failures in Shared Virtual Memory Clusters of Workstations 2001-06-09 Discrete Vortex Simulation of Flow Around Five Generic Bridge Deck Sections 2001-08-15 An Empirical Study of Reliable Multicast Protocols over Ethernet--Connected Networks 2001-05-28 The Composition of Functors and Transformations in Alternative Categories 2002-01-09 Artur Kornilowicz Jacobians of Curves of Genus One 1999-07-29 Catherine Helen O'neil The Role of Atmospheric Processes in the Antarctic Ice Mass Balance 1997-11-05 Mich`ele Carmen Smith On Computing Geometric Estimators of Location 2001-06-25 Greg Aloupis Oscillatory Network Model which Learns a Rhythmic Pattern of an External Signal 2000-05-11 Automatic Abstraction for Verification of Timed Circuits and Systems 2001-08-16 A Hierarchical Markov Modeling Approach for the Segmentation and Tracking of Deformable Shapes 2001-10-23 Undersampling and Oversampling in Sample Based Shape Modeling 2001-07-18 An Evaluation of Caching Strategies for Clustered Web Servers 2001-11-26 Thomas Larkin Finding An Ordinary Conic And An Ordinary Hyperplane 2000-01-19 Olivier Devillers An Elitist Approach to Automatic Articulatory-Acoustic Feature Classification for Phonetic Characterization of Spoken Language 2001-11-04 Dissertations 1998-06-23 Parallel Domain Decomposition Preconditioning for the Adaptive Finite Element Solution of Elliptic Problems in Three Dimensions 2001-11-26 Measuring the Allocation of Control Across Degrees-of-Freedom 1999-05-27 LoPC: Modeling Contention in Parallel Algorithms 1999-04-05 Interconnect Electromagnetic Modeling using Conduction Modes as Global Basis Functions 2001-09-08 Fragmentability and Continuity of Semigroup Actions 2001-06-04 Three- And Four-Dimensional k-Optimal Lattice Rules Of Moderate Trigonometric Degree 2001-02-27 A Note on Approximating MAX-BISECTION on Regular Graphs 2001-02-20 Semantic Forcing in Disjunctive Logic Programs 2001-12-08 Marina De Vos Unknown 2001-04-18 The Computational Complexity of Agent Verification 2002-01-11 Towards a Web-centric Legacy System Migration Framework 2001-04-11 Dynamic Scheduling of Substructure Computations in an Industrial Production Environment 1998-10-05 Model-Based 3D Tracking of an Articulated Hand 2001-09-25 A New Computational Method For Optimal Control Of A Class Of Constrained Systems Governed By Partial Differential Equations 2002-01-06 Superintegrability on the Two Dimensional Hyperboloid II 1998-12-10 Defining and Building Domain-Oriented Software Development Environments 2000-04-10 Gemini: A Framework for Developing Distributed Applications 1998-11-25 Group Behavior Patterns in an Object-Oriented Methodology for Distributed Applications 2001-09-06 Hybrid Rate-Monotonic/Reward-Based Scheduling of Real-Time Embedded Systems 2001-11-20 Some Applications of Diophantine Approximation 2001-05-09 R. Tijdeman Lossless Compression of Pre-Press Images Using a Novel Color Decorrelation Technique 1997-12-24 XStorM: A Scalable Storage Mapping Scheme for XML Data Extended Abstract 2001-04-19 Hypothesis Support for Information Integration in Four-Valued Logics 2001-04-25 Network Support for Group Coordination 2000-10-07 Algorithms for Symmetric Differential Systems 2001-05-01 Computing Stochastical Bounds and Tail Distribution of an M/GI/1 Queue 2001-08-16 On the Structures and Quantification of Recurrence Plots 2000-07-15 Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model 2001-10-22 Multi-Way Survey Stratification and Sampling 2001-08-16 William E. Winkler An Approach to the Description and Analysis of Hybrid Systems 2000-12-14 Characterization of Generalized Bessel Polynomials in Terms of Polynomial Inequalities 1999-04-14 QoS-Directed Error Control of Video Multicast in Wireless Networks 2000-08-28 An Efficient QoS Scheme for Mobile Hosts 2001-11-16 Object Oriented BeNet Programming for Data-focused Bottom-up Design of Autonomous Agents 1998-06-13 Studierstube: An Application Environment for Multi-User Games in Virtual Reality 2001-08-01 Empirical Re-Assessment of Stimulus Poverty Arguments 2001-07-15 On the Star Height of Unary Regular Behaviours 2001-03-18 Sample Swap Paper: Style Guidelines 2000-02-11 Algorithms for Finding Gene Clusters 2001-06-29 Anaphor Resolution and the Scope of Syntactic Constraints 2000-01-22 Roland Stuckardt Learning Discriminative Feature Transforms to Low Dimensions in Low Dimensions 2002-01-21 Kari Torkkola On Generalized Hamming Weights for Galois Ring Linear Codes 2000-08-22 Alexei Ashikhmin Testing the Rank of Engel Curves with Endogenous Expenditure 2001-07-29 How to Support Adaptive Mobile Applications 2001-08-21 Quality Management through Electronic Markets Intermediaries 2001-05-17 Michael Strbel The Analysis of a List-Coloring Algorithm on a Random Graph Extended Abstract 2001-08-15 Why We Should Not Be Postmodernists 2000-10-20 Tak Wing Chan New Feature Parameters For Detecting Misunderstandings in a Spoken Dialogue System 2000-09-05 The Role of Signaling in Quality of Service Enabled Networks 1999-07-09 Classification of Textual Data with Self-Organising Map: Neural Computing as Email Filtering Method 2001-08-08 Simulation of Confocal Microscopy through Scattering Media With and Without Time Gating 2001-12-12 Design and Evaluation of MiMaze, a Multi-player Game on the Internet 1998-03-05 As the Persistent Eating of Nonnutritive Substances and is Listed in the 2000-06-12 An Improved Algorithm to Extract Surfaces from Complete Range Descriptions 1999-07-08 Genomic Hypothesis Creator: A Multi-Strategic View Creator for Sequences 1998-11-12 Deciding DPDA Equivalence is Primitive Recursive 2001-10-15 Colin Stirling Traffic Signal System Offset Tuning Procedure Using Travel Time Data 1999-03-25 Gary E. Shoup On equilibria for discontinuous games: Nash approximation schemes 2001-11-21 Erik J. Balder The SWISS-PROT protein sequence data bank and its new supplement TREMBL 2002-01-15 ON THE "-grad div +S curl rot" OPERATOR 2000-11-24 Daniele Boffi Diffusive motion of single particles on an inclined bumpy plane L. Samson, I. Ippolito 1997-12-08 Unknown 2002-01-15 CoPS-Team Description 2001-04-09 The Directed Steiner Network Problem is Tractable for a Constant Number of Terminals 2000-05-19 Determination of the End of Shelf Life for Milk Using Weibull Hazard Method 2000-09-01 Continuing Impact of Technology On Education: Challenges and Opportunities ISECON `95 November 5, 1995 A. Milton Jenkins 2001-11-12 A. Milton Jenkins by P. Vogel 1999-11-23 P. Vogel Neonatal Novelty Exposure Induced Enhancement of Adult LTP and CORT Modulation Were Laterialized to Right Hippocampus. 2001-09-21 On the Semantics of Deliberation in IndiGolog - From Theory to Implementation Extended Abstract 2001-11-20 A Multi-Sensor Approach to Creating Accurate Virtual Environments 2000-05-30 Reduced complexity Maximum A Posteriori decoding of variable-length codes 2002-01-14 Performance of High-Accuracy PDE Solvers on a Self-Optimizing NUMA Architecture 2001-09-28 Generalizing Boundary Points 2002-01-03 Improving Wireless LAN Performance via Adaptive Local Error Control 1998-08-14 A Theoretical Comparison of Monte Carlo Radiosity Algorithms 2001-11-28 Techniques for Functional Test Pattern Execution 1997-07-08 Lattice Paths With An Infinite Set Of Jumps 2001-12-20 Cyril Banderier The structure of eigenmodes and phonon scattering by discrete breathers in the discrete nonlinear Schrdinger chain 2001-05-20 Incentives for Sharing in Peer-to-Peer Networks 2001-09-08 Computing the Probability of Formulas Representing Events in Product Spaces 2000-01-10 Low Cost Large Space Antennas 1999-01-21 B. Robert The conversion from Luminosity Functions to Mass Functions 1996-01-16 Preconditioners for the Boundary Element Method in Three Dimensions 1998-10-02 Norbert Heuer End-User Perceptions of Formal and Informal Representations of Web Sites 2001-08-12 Principles of Computer System Design for Stereo Perception 2002-01-17 A Numerical Study of Backscattering From Time-Evolving Sea Surfaces: Comparison of Hydrodynamic Models 2001-11-13 A Deterministic Algorithm for the COST-DISTANCE Problem 2001-08-16 Lossy Compression of Turbulence Data 1998-11-17 John P. Wilson Deformable Body Simulation with adaptive subdivision and cuttings 2000-04-27 Unknown 2001-07-17 Dual-thread Weld: A Technique for Latency Tolerance in Horizontal Architectures 2001-06-21 Information Retrieval in Digital Libraries: Bringing Search to the Net 2001-01-31 Bruce R. Schatz Valid Inequalities For A Class Of Assembly System Problems 2000-11-01 Biometric Authentication Systems 2001-10-15 Zden Ek Ontology Reuse and Application 1999-12-03 Synthesizing Sounds from Physically Based Motion 2001-07-10 Functional information in SWISSPROT: The basis for large-scale characterisation of protein sequences 2001-03-29 Visual Categorisation In A Modified Self Organising Map: Implications For Category-Specific Agnosia 2002-01-08 Price Competition for an Informed Buyer 2001-09-25 Marco Ottaviani Logistics in 2025: 1996-10-11 Auto-Mirroring Support in Apache 1998-12-21 Management of Differentiated Services Usage by the Cumulus Pricing Scheme and a Generic Internet Charging System 2001-02-22 Visual Speech Recognition Using Cepstral Images 2000-09-08 An Evaluation Methodology for Autonomous Mobile Robots for Planetary Exploration 1995-05-17 HST/STIS witnesses a major LBV eruption 1998-08-11 . The Accident Referent airline identifier and flight number is always the first item in a coding sequence: in this case, American Airlines Flight 965. 2. The code 2001-05-13 Human Error Lecture List for Trinity Term 2001 2001-04-06 Triton's Surface Age and Impactor Population Revisited in Light of Kuiper Belt Fluxes: Evidence for Small Kuiper Belt Objects and Recent Geological Activity 1999-12-03 Crawling the Hidden Web 2001-04-29 Controllability characterization and checking in Contingent Temporal Constraint Networks 2000-04-13 Thierry Vidal A Methodology for Accurate Performance Evaluation in Architecture Exploration 2001-05-19 Backtracking Spoofed Packets 2001-06-20 Tom Dunigan Michael E. Kounavis 2000-08-22 Industrial Policy and East Asia - The Miracle, the Crisis, and the Future 2000-03-08 Tim N. T. Goodman, Charles A. Micchelli and Zuowei Shen 2000-08-30 Sets, Complements and Boundaries 1997-05-22 Inferring Termination Conditions for Logic Programs using Backwards Analysis 2001-09-26 Accurate Fault Modeling and Fault Simulation of Resistive Bridges 2000-06-22 Uniform Random Number Generators: A Review 2000-04-21 Multiple Explicitly Restarted Arnoldi Method For Solving Large Eigenproblems 2001-11-26 Primality Testing 2001-06-01 Charles Denis Xavier Design Spaces for Link and Structure Versioning 2001-09-05 E. James Whitehead Responsiveness without Interrupts 1999-04-09 Metrics for the Internet Age: Quality of Experience and Quality of Business 2001-08-10 On Demand Access Check Generation 2000-12-04 Run-time Parallelization Techniques for Sparse Applications 2000-01-25 Deceleration1 2001-11-08 The AppLeS Parameter Sweep Template: User-Level Middleware for the Grid 2001-05-03 Task Environments for the Dynamic Development of Behavior 2001-02-09 "Pollution Havens" and the Regulation of Multinationals with Asymmetric Information 2001-10-29 Xiaodong Wu Object views and updates Vues objets et mises `a jour 2000-02-21 Multilevel Coding for Peak Power Limited Complex Gaussian Channels 1997-06-09 Asphericity of Moduli Spaces Via Curvature 2001-03-26 Daniel Allcock Operational Semantics for Coordination in Paradigm 2002-01-14 Applying the Bayesian Evidence Framework to nu-Support Vector Regression 2001-07-07 Nonparametric Estimation of the Lifetime and Disease Onset Distributions for a Survival - Sacrifice Model 2001-08-27 Distributed Development of Complex Software Systems with Object Make 2001-05-10 Yasuhiro Sugiyama Large-Eddy and Direct Simulation of Turbulent Flows 2001-05-22 Ugo Piomelli BioOpera: Managing Large-Scale Computations in Bioinformatics 2001-03-21 Performance-Driven routing with Multiple Sources 2002-01-13 Understanding Analysis Dimensions in a Multidimensional Object-Oriented Model 2001-06-10 An Analytical Study on Image Databases 2001-08-15 Bobnet: High-Performance Message Passing for Commodity Networking Components 2001-05-05 Shape Indexing Using Approximate Nearest-Neighbour Search in High-Dimensional Spaces 2000-12-13 Capacity Analysis of an Integrated Voice/Data DS-CDMA Network 1999-09-12 RTVR - a flexible Java library for interactive volume rendering 2001-06-17 Wavelets In Real-Time Digital Audio Processing: A Software For Understanding Wavelets In Applied Computer Science 2000-10-18 Scalable Routing Protocol for Ad Hoc Networks 2001-08-10 QoS Support for Multimedia Services in cdma2000 2001-01-09 Energy of Flows on Percolation Clusters 1999-02-24 On the Role of Functional-logic Languages for the Debugging of Imperative Programs 2000-09-18 Donald Knuth On the Computation of the Bivariate Median and the Fermat-Torricelli Problem for Lines 2001-04-02 Chebyshev and Fourier Spectral Methods 2000-08-31 Simulating Mutiple Inheritance and Generics in Java 2000-09-18 Branch-Width and Rota's Conjecture 2001-09-20 James Geelen Negotiation During Intelligent Sales Support with Case-Based Reasoning 1999-10-19 Authentication Tests 2001-01-19 Oscillators for Microcontrollers 2000-12-19 Tom Williamson Behavioral and Electrophysiological Study of Phonological Priming between Bisyllabic Spoken Words 2001-11-09 Graphic Interface Design and Deductive Proof Construction 2000-08-08 Marvin J. Croy Consistency And Generalization In Incrementally Trained Connectionist Networks 1995-07-13 Tony Martinez Subtyping and Inheritance for Categorical Datatypes 1998-04-20 Erik Poll On the Interactions Between Layered Quality Adaptation and Congestion Control for Streaming Video 2001-04-27 Description of the SWEBOK Knowledge Area Software Engineering Process Version 0.9 2002-01-15 Khaled El Emam The Dynamic Complexity of Transitive Closure is in DynTC 2001-01-31 William Hesse A Statistical Analysis of the Influence of Vertical and Ground Speed Errors on Conflict Probe 2001-08-27 Representing Probabilistic Rules with Networks of Gaussian Basis Functions 2002-01-28 Iterative Algorithms for Multiscale State Estimation, Part 1: Concept 2001-09-26 Development of a Detector-Based Absolute Spectral Irradiance Scale in the 380-900-nm Spectral Range 2001-09-18 Advances in BDD reduction using Parallel Genetic Algorithms 2001-05-04 Slovene Smart- card and IP Based Health-Care Information System Infrastructure 2001-11-14 Marjan Suselj Characterisation of asymptotically Sturmian sequences 1999-12-14 Tangler: A Censorship-Resistant Publishing System Based On Document Entanglements 2001-12-08 Mdl: A Language For Binding Ui Models 1999-08-23 R. E. Kurt Stirewalt Encoding Thematic Roles via Syntactic Functions in a German Treebank 2002-01-17 George Smith Fault-Tolerant Mobile Agents in Mozart 2001-11-23 Peter Van Roy Classical Mechanics With Lapse 1999-05-10 Hans Jurgen Schmidt Unknown 2000-04-12 Timothy L. Andersen and Tony R. Martinez 1995-11-15 Hyperformulas and Classifications 2000-12-18 Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses 2001-12-08 TREX-Q: A query language based on XML Schema 2001-12-03 Investigating the Maximum Likelihood Alternative to ... 2002-02-04 A new variance-reduction technique for regenerative simulations of Markov chains 2000-04-21 Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy 2001-10-02 Klaus Schneider Multiple Description Coding Using Pairwise Correlating Transforms 1999-08-09 Automatic Feature Selection for Biological Shape Classification in Synergos 1999-10-13 Nearest-Neighbor Walks With Low Predictability Profile and Percolation in 2 + Epsilon Dimensions 2000-03-09 Active Reliable Multicast on CANEs: A Case Study 2001-04-22 Polynomial Time Operations in Explicit Mathematics 2001-10-04 Thomas Strahm Doing Without Schema Hierarchies: A Recurrent Connectionist Approach to Routine Sequential Action and Its Pathologies 2001-04-04 Working Papers 2002-01-16 Harry Garretsen Spectral Elements on Infinite Domains 1998-10-05 Kelly Black A Model For Self-Similar Ethernet Lan Traffic: Design, Implementation, And Performance Implications 1995-03-27 Reversible jump MCMC converging to birth-and-death MCMC and more general continuous time samplers 2001-07-25 Rhythm Quantization for Transcription 2000-05-16 Functional Comparison of the Internet Protocol Suite and the OSI Protocol Suite 1994-02-03 Extraction of Groups for Recognition 2001-12-06 Feature Integration and Relevance Feedback Analysis in Image Similarity Evaluation 1998-01-16 Midlatitude Ocean-Atmosphere Interaction in an Idealized Coupled Model 2001-10-18 Modeling the Human in Human Factors Extended Abstract 2001-10-12 An Evolutionary Approach to Congestion 1998-03-06 Mapping Historical Forest Types In Baraga County, Michigan, U.s.a. As Fuzzy Sets 1999-08-27 Daniel G. Brown System Modelling and SDL-Matlab Cosimulation 2001-06-06 Counseling Manuals for Special Interventions 2000-06-08 KAM Theory without Action-Angle Coordinates 2001-11-12 The Packing Property 2000-08-02 Ideal Cue Combination for Localizing Texture-Defined Edges 2001-11-07 Sensory-based Robot Navigation using Self-organizing Networks and Q-learning 1998-05-06 An Integrated Testing Technique for Component-Based Software 2001-05-25 A Flexible Tool for Mapping and Scheduling Real-Time Applications onto Parallel Systems 2000-06-20 Problems from the Eighteenth British Combinatorial Conference 2001-10-08 The Narrative Intelligence Hypothesis: In Search of the Transactional Format of Narratives in Humans and Other Social Animals 2001-10-16 Kerstin Dautenhahn Table of 2000-02-22 Reference Sc Nrev supersedes A Hierarchical Multiprocessor Scheduling Framework For Synchronous Dataflow Graphs 1995-05-30 Schwarz-Christoffel Toolbox User's Guide 2000-03-21 Computing the Representation Polynomial for Directed Acyclic Graphs Using Subgraph Detection and Simplification 1995-07-26 A Structured Demonstration of Program Comprehension Tools 2001-11-29 Experiences of document transformation with XSLT and DOM 2001-11-28 Qualitative Spatio-Temporal Relations 2001-11-10 Thomas Bittner A Human-Computer Cooperative System for Effective High Dimensional Clustering 2002-01-01 Charu C. Aggarwal Applying Adaptation Spaces to Support Quality of Service and Survivability 2000-09-27 An Open Architecture for DevelopingMobile Location-Based Applications over the Internet 2001-11-06 A Middleware for Developing Parallel Data Mining Applications 2000-12-27 A Research Environment for Developing and Testing Object . . . 2001-07-18 Usability Evaluation: An Empirical Validation Of Different Measures To Quantify Interface Attributes 1999-07-22 Matthias Rauterberg Electronic Patient Record: dealing with numbers or with words? 2000-03-05 Christian Lovis M. D Improved Approximation Algorithms for Metric Facility Location Problems 2002-01-24 Unknown 2001-04-10 Michael Macpherson On the Scaling of Feedback Algorithms for Very Large Multicast Groups 2001-02-12 Thomas T. Fuhrmann Signalling Support for Scalable Group Communication over ATM Networks 2001-03-03 Martina Zitterbart Between Teaching and Learning: Development of the Team 'Mainz Rolling Brains' for the Simulation League of RoboCup '99 2001-10-05 Synchronizations in Team Automata for Groupware Systems 2000-03-16 Ofer Arieli and Arnon Avron 2000-10-10 Gauges and Cages. Part II 2002-01-09 Robert Milewski A Concurrent Semantics of Static Exceptions in a Parallel Programming Language 2002-01-07 Heap Profiling for Space-Efficient Java 2001-04-09 A Computational Model of Dendrite Elongation and Branching Based on MAP2 Phosphorylation 2001-11-27 Management of Drug Overdose and Poisoning 2000-11-15 Numerical Approximation of Water-Air Two-Phase Flow by the Mixed Finite Element Method 2000-11-29 Combined Spatial And Subband Block Coding Of Images 2001-03-05 Analysis of the Convergence and Generalization of AA1 1995-07-14 Cocktail Watermarking for Digital Image Protection 2001-02-09 -9162/99/$10.00 1999 Ieee 1999-11-11 Minority Report 2001-04-24 Designing multi-role, collaborative Web sites with WebML: a conference management system case study 2001-09-06 Using Long-Term Structure to Retrieve Music: Representation and Matching. 2001-11-09 Phoneme-To-Grapheme Conversion For Out-Of-Vocabulary Words In Large Vocabulary Speech Recognition 2002-01-11 Persistent Authenticated Dictionaries and Their Applications 2001-11-03 Genericity and Large Cardinals 2001-08-30 Sy D. Friedman Active Networks as a Flexible Approach to deploy QoS Policy Based Management 2001-10-31 Magnetic Fields And The Triaxiality Of Molecular Cloud Cores 2000-08-25 Shantanu Basu Nonparametric Estimation of the Chord Length Distribution 2001-11-04 Rethinking CSCW systems: the architecture of MILANO 1997-10-10 Additive Schwarz, CG and Discontinuous Coefficients 1998-10-02 Efficient Adaptive-Support Association Rule Mining for Recommender Systems 2001-07-19 The Effects of Representation on Students' Elaborations in Collaborative Inquiry 2002-02-02 Rate-Distortion Optimized Receiver-Driven Streaming over Best-Effort Networks 2001-12-21 Philip A. Chou On The Use Of Visual Information For Improving Audio-Based Speaker Recognition 2001-07-09 Behavior Based Modelling 2001-10-05 Takeshi Matsumura On F-Squares and their Critical Sets 1999-05-24 Document Replacement Policies dedicated to Web Caching 1998-08-20 Hypertext Transfer Protocol -- HTTP/1.1 2001-04-05 Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction 2001-11-05 Trilling,1,2 2000-07-24 Simulating Heavy Tailed Processes using Delayed Hazard Rate Twisting 2001-07-09 Modeling The Effect Of A Nearby Boundary On The Hrtf 2001-02-09 Interpretability into Lukasiewicz Algebras 2000-04-06 Renato A. Lewin Inside Intelligent Tutoring Systems - Using Design Patterns 2001-10-16 ExtrAns Answer Extraction from Technical Documents by Minimal Logical Forms and Selective Highlighting 2001-06-14 Paul Avery 1995-10-25 Paul Avery Moens, M. and M. Steedman. 1988. Temporal ontology and temporal reference. 1999-08-29 Configuring the User: Social Divisions of Labor in GIS Software 2001-10-30 Nicholas Chrisman From Java classes to Java interfaces through Galois lattices 2000-10-04 Marianne Huchard Gekko: A Metalevel for Adaptation in Nexus 2001-01-18 Existentially Closed r-Domains in Regular Extensions 2000-09-26 Aharon Razon Grid RPC, Events and Messaging 2001-09-27 Gwd-i informational C. Lee The onset of Alzheimer's disease AD is accompanied by a complex and distributed pattern of neuroanatomic change, difficult to 1999-11-07 On the Subject Reduction Property for Algebraic Type Systems 1999-10-25 G. Barthe The Design and Evaluation of a Rule Induction Algorithm 1994-09-26 Relative Entropy and Mixing Properties of Infinite Dimensional Diffusions 1999-09-03 Crossover in Grammatical Evolution: The Search Continues 2001-01-24 A Performance Study of Multicast Routing Algorithms for ATM Networks 1996-04-17 Characterizing Switch-Setting Problems 2000-08-27 Using Simulation to Facilitate Effective Workflow Adaptation 2001-11-13 Programming By Demonstration Using Version Space Algebra 2001-11-02 Context Construction as Subtask of Dialogue Processing -- the VERBMOBIL Case 2000-04-10 The Role of Self-Calibration in Euclidean Reconstruction from Two Rotating and Zooming Cameras 2000-05-04 From Design to Intention: Signs of a Revolution 2001-08-21 Franco Zambonelli A Comparison of Algorithms for Subpixel Peak Detection 2001-08-15 A Note On Conjugate Gradient Convergence 2001-02-27 Aaron E. Naiman SICStus Prolog User's Manual 2001-10-23 On Computing Functions with Uncertainty 2001-07-16 Computation Of Periodic Solution Bifurcations In ODEs Using Bordered Systems 2002-01-16 Reliable boolean operations on polyhedral solids thanks to a 3D refinement 2001-03-13 Numerical Simulation Of Incompressible Flows In Cylindrical Geometries Using A Spectral Projection Method 2001-09-21 J. M. Lopez Customizable Middleware for Modular Distributed Software 2000-02-04 Undermining the Baldwin Expediting Effect: Does Phenotypic Plasticity Accelerate Evolution? 2001-04-30 Lauren W. Ancel Network Management and Control Using Collaborative On-line Simulation 2000-11-07 An Active, Object-Oriented, Model-Equivalent Programming Language 2001-09-06 Approaches to Capturing Java Threads State 2000-12-14 Mathematical Analysis of MPEG Compression Capability and its Application to Rate Control 2001-12-13 Particle Methods for Micro and Macroscale Flow Simulations 2001-08-15 P. Koumoutsakos A Terminological Knowledge Representation System with Complete Inference Algorithms 2002-01-09 Closure Induction in a Z-like Language 2000-12-18 David A. Duy End-to-End Internet Packet Dynamics 2001-02-03 Vern Paxson On A Sharp Moser-Aubin-Onofri Inequality For Functions On S² With Symmetry 1998-12-31 Changfeng Gui Trust, Risk And Electronic Commerce: Nineteenth Century Lessons For The Twenty-First Century 2000-11-07 Scaling Irregular Parallel Codes with Minimal Programming Effort 2001-10-04 A Waypoint Service Approach to Connect Heterogeneous Internet Address Spaces 2001-05-01 -Hard deadlines and Dual Priority Scheduling 1998-11-14 A Wideband Satcom Based Avionics Network with CDMA uplink and TDM downlink 2001-08-31 Compression of Isosurfaces for Structured Volumes 2001-11-28 Implementing a Temporal Database on Top of a Conventional Database: Mapping of the Data Model and Data Definition Management 2001-10-01 Protocol Or Header Indication -- Methods To Request Quality Of Service For Ip-Applications 2000-11-03 Learning Classifier Systems, Part 2 2001-11-30 Modeling of Signal Transduction for Bacterial Chemotaxis Using the E-CELL Simulation System 1998-11-19 An Architecture for Information Retrieval from Distributed Heterogeneous Information Sources 2001-09-26 Circumscriptions From What They Cannot Do 1998-01-31 Yves Moinard Silvano Maffeis Olsen Associates, Zurich, Switzerland maffeis@acm.org 2001-09-17 Hierarchical Boundary Element Preconditioners in Domain Decomposition Methods 1998-10-05 Triangular NURBS and their Dynamic Generalizations 1996-03-05 Extreme Collaboration 2001-09-07 Gloria Mark Exploiting a Relational DBMS for Reasoning about Actions 2001-10-09 Giacomo Fabio Palatta Combinatorial Curve Reconstruction and the Efficient Exact Implementation of Geometric Algorithms 2001-08-31 International Europhysics Conference on High Energy 2001-08-27 Aromatic Hydrocarbon Research in the European Photoreactor EUPHORE 1999-11-09 Bjrn Klotz Computational Complexity and Knowledge Complexity 1996-02-12 Generalizing Timing Predictions to Set-Associative Caches 1996-11-13 Frank Mueller Using Database Technology to Improve Performance of Web Proxy Servers 2001-04-30 Streaming Extensibility in the Modify-on-Access File System 2001-10-12 The Size of the Largest Antichain in the Partition Lattice 1999-12-13 E. Rodney Canfield Object-Oriented Execution of OPS5 Production Systems 2001-12-20 Surface Description of Objects from Multiple Range Images 2001-12-06 A Multigrid Algorithm For The Mortar Finite Element Method 2001-02-05 A Minimal Universal Test Set for Self-Test of EXOR-Sum-of-Products Circuits 2000-02-22 JProver: Integrating Connection-based Theorem Proving into Interactive Proof Assistants 2001-12-15 Nuglets: a Virtual Currency to Stimulate Cooperation in Self-Organized Mobile Ad Hoc Networks 2001-01-22 Jean-pierre Hubaux Modified Streamline Diffusion Schemes For Convection-Diffusion Problems 2001-02-27 Estimating Software Fault-Proneness for Tuning Testing Activities 2001-10-31 Knowledge Management through Content Interpretation 2001-10-07 A Neurosymbolic Approach to the Classification of Scarce and Complex Data 1999-09-17 Towards Language Independent Acoustic Modeling 2000-01-14 Shifted and Shiftless Partition Identities 2001-07-23 F. G. Garvan Multi-Cellular Cdma Systems With Interference Cancellation: Effects Of Path Loss, Shadowing And Handover Strategies 1998-11-24 Relational Structures for Hierachical Abstraction - Applied to the Analysis of Printed Forms 1995-06-09 Detecting Implied Scenarios in Message Sequence Chart Specifications 2001-06-18 Testing Hypergraph Coloring 2001-10-24 Libsafe 2.0: Detection of Format String Vulnerability Exploits 2001-07-27 Session XII An H 2001-09-17 CPS Translating Inductive and Coinductive Types Extended Abstract 2001-12-17 An Algebraic Semantics for the LO Coordination Language 2001-07-19 Giulio Balestreri The Prediction Of Diversity Statistics On Terrestrial Microwave Links 2001-09-20 Kevin S. Paulson Primes In Elliptic Divisibility Sequences 2001-10-15 Extending a Multiagent Framework with Planning Capability 2001-10-09 Software Visualization: An Overview 2001-03-26 Comparison Of Standard And Hybrid Modeling Techniques For Distributed Speech Recognition 2001-12-10 Medical Image Compression Using Region-Of-Interest Vector Quantization 1999-12-13 Malcev-Neumann series and the free field 2001-01-08 Christophe Reutenauer Analysis of Multi-Server Queues with Station and Server Vacations 2000-10-15 Towards a basis for the space of regular functions in a tower of function fields meeting the Drinfeld-Vladut bound 1999-12-13 Estimating the Absolute Position of a Mobile Robot Using Position Probability Grids 2000-02-02 Selecting Effective Occluders for Visibility Culling 2000-11-05 Temporally Determinate Disk Access: An Experimental Approach 2001-02-27 SAMOVAR - Setting up and Exploitation of Ontologies for Capitalising on Vehicle Project Knowledge 2000-09-29 Modelling Compound Leaves Using Implicit Contours 2000-08-18 Towards a General Distributed Platform for Learning and Generalization 1995-07-14 Configuring and Scheduling an Eager-Writing Disk Array for a Transaction Processing Workload 2001-09-04 Dealing with Denial-of-Service Attacks in Agent-enabled Active and Programmable Infrastructures 2001-12-12 Stamatis Karnouskos Journal of Inequalities in Pure and Applied Mathematics 2000-04-18 Personality Type, Career Preference and Implications for Computer Science Recruitment and Teaching 2000-07-31 Joy Teague Multiple Priority, Per Flow, Dual GCRA Rate Controller for ATM Switches 2001-03-26 Bayesian P-Splines 2001-04-17 Classes of Finite State Automata for Which Compositional Minimization is Linear Time 2001-03-25 Mining for Personal Profiles 1999-03-23 The EBI SRS server - recent developments 2000-10-11 Cross Entropy Guided Ant-like Agents Finding Dependable Primary/Backup Path Patterns in Networks 2002-01-30 Defining A Test Particle's Velocity At The Schwarzschild Horizon 2001-08-02 Paulo Crawford A Study of Permutations Permissible by LIFO Service Disciplines 2001-02-27 Acoustic Features and a Distance Measure that Reduce the Impact of Training-test Mismatch in ASR 2001-07-03 Viewpoints for Requirements Elicitation: a Practical Approach 1998-03-24 Comparison of face verification results on the XM2VTS database 2000-11-07 Efficient Frequency Domain Selective Scrambling of Digital Video 2001-11-06 Wenjun Zeng Moded Flat GHC and Its Message-Oriented Implementation Technique 2001-04-30 A Unified Approach to Spatial Outliers Detection 2001-12-10 Exploiting the Structure of Constraint Satisfaction Problems by Interchangeability 2001-05-21 Nicoleta Neagu Heterogeneous Expectations, Currency Options and the Euro/dollar Exchange Rate 2001-11-13 Bronka Rzepkowski Optimal Interest-Rate Rules 2001-12-11 New Approximation Methods of Planar Offset and Convolution Curves 2000-12-30 S Su up pp po or rt ti in ng g D De ec ci is si io on n- -M Ma ak ke er rs s: : A An n E Ex xp pa an nd de ed d F Fr ra am me ew wo or rk k 2001-07-27 Daniel J. Power On black hole masses, radio-loudness and bulge luminosities of Seyfert galaxies 2001-12-06 An infinite family of Hadamard matrices with fourth last pivot 2001-07-30 An Algorithm for Approximate Tandem Repeats 2001-01-04 Hardware-Assisted Computation of Depth Contours 2001-10-27 Frank, S. A. 1999. A model for the sequential dominance of The publishedarticle may differ slightly from this version. Please check the published version for quotation and citation. 2001-07-10 Trypanosome Parasitemia S. A. Frank The Turbulent Viscosity in Accretion Discs 1995-09-19 20, 14636-14651. Geo Nicholls, 2001-03-10 Statistical Models for Tracking and Detection 2000-05-01 A Reference Model for Situation-Aware Assistance 2001-03-05 A Funaro-Quarteroni Procedure for Singularly Perturbed Elliptic Boundary Value Problems 1998-10-05 Conforming Generic Animatable Models To 3d Scanned Data 2001-03-13 Xiangyang Ju Discrete--Continuous Modeling Using Hybrid Stochastic Petri Nets 1999-10-27 Sequences of Binomial Type with Persistant Roots 2000-06-30 Design and Evaluation of an Adaptive Traffic Conditioner for Differentiated Services Networks 2001-08-24 Run-Time Guarantees for Real-Time Systems - The USES Approach 2001-04-20 Convergence of Cascade Algorithms 1998-10-07 Approximate Moving Least-Squares Approximation with Compactly Supported Radial Weights 2001-11-28 Gregory E. Fasshauer Modules With Few Types Over Some Finite-Dimensional Algebras 2000-08-11 The Economics of QWERTY: Theory, History and Policy. Essays by Stan J. Liebowitz and Stephen E. Margolis. 2001-07-12 Practical Collision Detection 2001-09-03 Jonathan Blow Optimal Sites for Supplementary Weather Observations: Simulation with a Small Model 2001-05-14 Edward Lorenz Lecture 12 1 Review of Some Randomized Algorithms 2001-10-22 Whole Genome Amplification and Branching Processes 2000-12-22 A Workbench for Systematic Construction of Signal Transduction Pathways: Ontologies and Architectures 1998-11-19 Scalable High-Speed Prefix Matching 2002-02-02 The Power of Reachability Testing for Timed Automata 2001-02-13 Improving Text Classification with LSI Using Background Knowledge 2001-04-19 From Creational Craftsmanship To Engineered Construction 2000-05-23 Daniel W. Drew Compound Types for Java 2000-02-07 Ground Voltage and Current Cancellation by Co-axial Cable. 2000-09-11 Garth W. Milne Sharp Thresholds for Ramsey Properties of Random Graphs. 1999-05-04 Not-For-Profit Entrepreneurs 2000-07-27 Andrei Shleifer Modification of Internet Key Exchange Resistant against Denial-of-Service 2000-03-08 Spectral Kernel Methods for Clustering 2001-12-02 Structures dans les spheres de chanfrein Structures in chamfer spheres 2001-03-09 Eric Edouard Thiel Steady States Of Harmonic Oscillator Chains And Shortcomings Of Harmonic Heat Baths 1995-10-29 The World-Wide Telescope 2001-09-20 Jim Gray Microsoft Are Web Services the Next Revolution in E-Commerce? 2001-11-12 Shalom dick Tsur Toward Identifying The Impact Of Cots Evolution On Integrated Systems 2000-04-19 Mining Spatial Association Rules in Census Data 2001-06-05