Extending the User Interface to the Multiuser Environment
2000-04-14
Parsimonious Estimation of Multiplicative Interaction in Analysis of Variance using Kullback-Leibler Information
1999-11-02
Software Tools for Virtual Reality Application Development
2001-01-01
An Argumentation-Theoretic Characterization of Defeasible Logic
2000-11-14
Nominal Facts and the October 1979 Policy Change
2000-06-09
Geometry of the Space of Phylogenetic Trees
2000-06-30
What People Know About Sounds of Language
2000-06-18
Janet B. Pierrehumbert
Searching Monophonic Patterns within Polyphonic Sources
2000-04-24
Improving the Practical Space and Time Efficiency of the Shortest-Paths Approach to Sum-of-Pairs Multiple Sequence Alignment
1999-09-13
VisuaLinda: A Framework and a System for Visualizing Parallel Linda Programs
1998-12-17
Compact Trace Generation and Power Measurement in Software Emulation
2000-12-13
Dynamic Hammock Predication for Non-predicated Instruction Set Architectures
1999-02-23
Appendix: Practical Computation of Formal Degrees
2000-10-25
Frank Lubeck Aachen
A Basis for the non-Archimedian Holomorphic Theta Functions
2000-10-14
G. Van Steen
Modular Automated Transport - Frequently Asked Questions FAQ
2000-07-25
Text Classification and Segmentation Using Minimum Cross-Entropy
2000-04-24
W. J. Teahan
A Two Dimensional Approach to Quantum Effects by Black holes
1997-08-01
Learning and revising task-specific rules in ACT-R
2000-12-20
A Theoretical Evaluation of Selected Backtracking Algorithms
2000-06-05
A Large Deviation Principle With Queueing Applications
2000-07-12
A. J. Ganesh
Mobile Computing in Military Ambulatory Care
1997-09-14
A Stable, Convergent, Conservative and Linear Finite Difference Scheme for the Cahn-Hilliard Equation
2000-02-24
An Architecture Independent Study of Parallel Segment Trees
2000-11-12
Alexandros V. Gerbessiotis
European Antidumping Policy and firms' strategic choice of Quality
2000-09-08
On Symmetric Powers of Differential Operators
1999-04-09
The Infinite Versions of... Are Consistent with the Axioms of Set Theory
2000-03-17
Graph Algorithms = Iteration + Data Structures?
1997-09-17
Modeling And Forecasting Realized Volatility
2001-01-25
-213 Handout 9: Network Programming
2001-01-18
Approximating the Location of Integrand Discontinuities for Penumbral Illumination with Linear Light Sources
1999-03-29
Enriching buyers' experiences: the SmartClient approach
1999-12-22
Termination in Language-based Systems
2000-11-09
A BDD-Based Satisfiability Infrastructure using the Unate Recursive Paradigm
1999-09-28
Capital Flows and Exchange Rates
1999-08-10
Improving Planning Decisions through Autosimulations' AutoSched AP, Regression Analysis, and Linear Optimization
2001-01-29
Jeriad Zoghby
Tools For Evolving Software
1996-08-16
Dewayne E. Perry
Gene Order Breakpoint Evidence in AnimalMitochondrial Phylogeny
2000-03-16
LiLFeS---Practical Unification-Based Programming System for Typed Feature Structures
2000-05-30
Testing For Randomness Against Serial Dependence Using Kendall's Process
2000-09-21
Timing properties of microstrip gas chambers read out by the PreMux128 chip
1997-08-21
Fourier Law: A Challenge To Theorists
2000-02-14
a New Class of Prom sing Thermoelectric
1997-07-14
System Dynamics Modeling of an Inspection-Based Process
2000-04-06
Raymond J. Madachy
Evidence for the Cholinergic Nature of C-terminals Associated With Subsurface Cisterns in
2000-05-30
Quantum Information Theory - an Invitation
2001-01-31
General Information
1998-11-10
Improving traditional subgradient scheme for Lagrangean relaxation: an application to location problems
1999-03-08
High-Performance Carry Chains for FPGAs
2000-02-08
Natural Language Parsing with Cell Assemblies: A Model of Nonconscious Human Language Processing
2001-01-17
Christian R. Huyck
Environmental Contaminants Encyclopedia - Gasoline, General Entry
1998-09-02
AS/400 Advanced Series
1998-10-28
Construction of Asymptotic Periodic Solutions for Quasilinear Wave Equation in the Case of Massless
1999-01-28
HBench:Java: An Application-Specific Benchmarking Framework for Java Virtual Machines
2000-09-21
Experiments in Process Interface Descriptions, Visualizations and Analyses
1996-10-02
Using Gröbner Basis Theory to Compute Constraint Networks in Globally Solved Form
1999-08-11
Multi-wavelength observations and modelling of shock-cloud interaction regions in the Vela Supernova Remnant
2000-05-03
The Isoperimetric Inequality For Minimal Surfaces In A Riemannian Manifold
2000-07-06
Jaigyoung Choe
Time Scales in Spectator Fragmentation
2000-07-25
A Mixed Fragmentation Algorithm for Distributed Object Oriented Databases
2000-05-04
Approximation Algorithms for Minimum Time Broadcast
2000-01-31
Caches Versus Object Allocation
2000-11-17
Jochen Liedtke
Engineering Synthesis of High Performance Adaptive Robust Controllers For Mechanical Systems and Manufacturing Processes
2001-01-26
A Fully Abstract Semantics for a Higher-Order Functional Language With Nondeterministic Computation
2001-01-29
Alan Jeffrey
Iterative Ranking-and-Selection for Large-Scale Optimization
2000-01-16
Measuring Trade Impediments To Services Within Apec
2000-04-14
A New Adaptive Neural Network and Heuristics Hybrid Approach for Job-Shop Scheduling
2000-11-17
Business Reply Mail
1998-10-28
Autour De L'aide La Dcision Et De L'intelligence Artificielle
1996-12-21
Lessons Learned from the Scientist's Expert Assistant Project
2000-04-18
Random walk and isoperimetry on discrete subgroups of Lie groups
1999-08-24
Universit'e Paul Sabatier
Timing Analysis Including Clock Skew
2000-09-07
A Hierarchical Neural Model in Short-Term Load Forecasting
2000-08-29
Credulous and Sceptical Argument Games for Preferred Semantics
2001-01-26
Design of Fast Fractal Texture Mapping
2001-01-25
Martin J. Turner
Can Mixing Materials Make Electromagnetic Signals Travel Faster?
1999-12-13
Business Reply Mail
1998-10-28
Propositional Defeasible Logic has Linear Complexity
2000-10-11
M. J. Maher
Grassmannian Structures on Manifolds
2000-10-30
P. F. Dhooghe
Proving the Versatility of Automatic Driver Scheduling on Difficult Train and Bus Problems
2000-05-24
An Experimental Study of Jury Decision Rules
2000-09-27
A Cellular Automata Simulation Environment for Modelling Soil Bioremediation
1999-10-14
Spots id File Page References
1998-10-28
Imbed Trace
Painterly Rendering for Animation
2000-04-13
Barbara J. Meier
Brainstorm/J: a Java Framework for Intelligent Agents
2000-10-06
Integrating an Intensive Experience with Communication Skills Development into a Computer Science Course
2001-02-01
Lori Pollock
Mesh Routing Topologies for Multi-FPGA Systems
2000-02-08
A Tale of Two Toolkits: Relating Infrastructure and Use in Flexible CSCW Toolkits
2000-07-10
The Endfloat Package
2000-11-10
The Quantum Computing Challenge
2001-01-31
The Energy Dependence of the Cross Section of
2000-02-03
Lower Bounds for Dynamic Tree Embedding in Bipartite Networks
1999-04-01
Accurate Prediction of Protein Functional Class from Sequence in the M. tuberculosis and E. coli Genomes using Data Mining
2000-10-04
"Physics for Poets" --- Teaching physics to non-scientists
1999-03-15
D. L. Pursey
Instanton Properties in External Color Field
2000-08-31
Codon usage tabulated from the international DNA sequence databases; its status 1999
1999-01-13
Cover Times Of A Simple Random Walk With Exponential Holding Times
2000-08-21
Anna Carlsund
AS/400 Advanced Series
1998-10-28
A Uniform Framework For Integrating Knowledge In Heterogeneous Knowledge Systems
1994-12-19
Matrix-vector Product for Confluent Cauchy-like Matrices with Application to Confluent Rational Interpolation
2000-09-28
Probability Distributions Generated By Fractional Diffusion Equations
1998-11-18
A Combined IR/NLP Approach to Question Answering Against Large Text Collections
2000-04-24
Combining Local Consistency, Symbolic Rewriting and Interval Methods
2000-06-20
Commutative Queries
1999-07-23
Richard Chang
Guide for implementing the Comprehensive Strategy for Serious, Violent, and Chronic Juvenile Offenders
1996-05-20
Fication Risk Factors Protective F
LDCMC version 1.0
2000-12-12
Direction and Intensity of Russian Macroeconomic Evaluations
2000-06-25
Algorithms
2000-09-06
From Data-Flow Task to Multitasking: Applying the Synchronous Approach to Active Vision in Robotics
2000-11-06
A Distributed Spatial Architecture For Bush Fire Simulation
2000-06-15
Some Developments of the Blackwell-MacQueen Urn Scheme
1996-10-21
Jim Pitman
Detc97/vib-3841
2000-04-24
Lonny L. Thompson
Essential Laminations in Seifert-fibered Spaces
1998-09-15
Mark Brittenham
Design of an Architecture for Real Time 3D PET Imaging
1999-10-29
Interactive Strategic Information Systems in Educational Administration
2000-08-01
Routing with Swarm Intelligence Tony White
2000-05-10
Tony White
A Threshold of Ln N for Approximating Set Cover
1999-04-12
Uriel Feige
Condensed Phase Matrix-Analyte Interaction
1999-07-28
Informationtheoretic Characterizations Of Recursive Infinite Strings
2000-05-01
Gregory J. Chaitin
A Caching Proxy Solution for Distribution of Usenet News
2000-11-30
Australian Stock Market: Efficiency and International Linkages
2000-01-14
Jen Riley
Unknown
1997-03-28
Nonsubstitution Theorems for a Small Trading Country
1999-07-20
Theodore C. Bergstrom
Using Constraint Programming to Simplify the Task of Specifying DFX Guidelines
1999-09-25
Combinatorial and Algebraic Approaches to Network Analysis
2001-01-17
Power--law mass inflation in Einstein--Yang--Mills--Higgs black holes
1997-08-01
E. E. Donets
The Moment Map, Toric Varieties and Mixed Volumes
1999-08-31
Analysis of Timed Systems Based on Time-Abstracting Bisimulations
2000-12-14
Harmonic Analysis of Spiking Neuronal Pairs
2000-08-21
PRO-COW: Protocol Compliance on the Web---A Longitudinal Study
2001-01-17
Wavelet Based Compression for Image Retrieval Systems
2001-02-06
Organizational Design: Decision Rights and Incentive Contracts
2001-01-10
Aspect-Oriented Logic Meta Programming
1998-05-27
Kris De Volder
A Tree-Structured LFSR Synthesis Scheme for Pseudo-Exhaustive Testing of VLSI Circuits
2000-05-11
Nonoscillatory Central Schemes For Multidimensional Hyperbolic Conservation Laws
1998-08-27
Equilibrium Shape Of Headland-Bay Beaches For Engineering Design
1999-11-04
Symmetry Properties of Binary Branching Trees
1999-09-23
Gotz Kersting
Maintaining Integrity Constraints across Versions in a Database
2000-05-16
Implementation of Read-k-times BDDs on top of standard BDD packages
2001-02-06
Wolfgang Gunther Rolf Drechsler
Robust Value Function Approximation by Working Backwards
1995-09-16
The Low Activity Phase of Some Dirichlet Series
2000-05-26
The Evolutionary Status Of High-Lithium, High-Activity Cool Dwarfs
1998-01-29
An Embedding Approach to Frequency-Domain and Subband Adaptive Filtering
2000-08-25
On Helping and Interactive Proof Systems
1998-05-17
Probabilistic Mapping of Unexpected Objects by a Mobile Robot
2000-12-13
Dynamic Models for Spatio-Temporal Data
1999-06-21
A Formal Model for Business Process Modeling and Design
2000-02-25
Manolis Koubarakis
The Compiler Construction System GENTLE --- Manual and Tutorial ---
1998-09-11
Jurgen Vollmer
A Comparative Study of Transport--Oriented Discretizations of Convection--dominated Problems with Application to the Incompressible Navier--Stokes Equations
1999-12-14
Arnd Grimmer
High-Automation Proofs for Properties of Requirements Models
2000-03-01
Ben L. Di Vito
Interfacing a High-Level Exploration Environment to Cosynthesis Environments
1999-11-01
Achim Osterling
Knowledge Management in Healthcare
2000-08-01
The Flask Security Architecture: System Support For Diverse Security Policies
1999-08-31
Computing Lyapunov exponents on a Stiefel manifold
2000-04-26
Searching Distributed Collections With Inference Networks
1995-08-18
Application Performance on the MIT Alewife Multiprocessor
1996-08-01
Distributed Pinwheel Scheduling with End-to-End Timing Constraints
1995-09-29
Restructuring of COBOL/CICS Legacy Systems
2000-08-04
Efficient Algorithms for Multiplication on Elliptic Curves
1998-09-19
Dimensionally constrained energy confinement analysis of W7-AS data
2000-09-17
Expressiveness of Structured Document Query Languages Based on Attribute Grammars Extended Abstract
2000-11-23
A Generalization of the Theory of Normal Forms
2000-05-22
Analysis of System Requirements Negotiation Behavior Patterns
2000-04-06
Independent Component Analysis: A flexible non-linearity and decorrelating manifold approach
1998-08-13
Investigating Human/System Interfaces and Interactions in a Lights-Out Operational Environment
1999-06-25
POLA: a student modeling framework for Probabilistic On-Line Assessment of problem solving performance
1999-10-22
A Distributed Representation Approach to Group Problem Solving
1999-02-19
Jiajie Zhang
Reconstructing the Evolutionary History of Natural Language
1996-01-11
Multi-client LAN/WAN Performance Analysis of Ninf: a High-Performance Global Computing System
1997-08-25
Receiver-driven Layered Multicast
2000-08-21
A Time-Splitting technique for the solution of Density Dependent Flow and Transport in Groundwater
2000-03-30
Integrability For Relativistic Spin Networks
2001-01-27
Applying On-Line Bitmap Indexing to Reducing Counting Costs in Mining Association Rules
2000-12-25
Characterizationof Spectral Regrowth in Microwave Amplifiers Based on the Nonlinear Transformation of a Complex Gaussian Process
1999-08-03
SBIR Phase I Final Report VHDL Behavioral Synthesis Tool for Low Power Based on FRITS
2000-07-31
Evolution of X-ray activity of 1 -- 3
2000-08-17
Component Relationships Depend on Skill in Programming?
1999-02-07
Matroid Bundles
2000-02-21
L. Anderson
The LiLFeS Abstract Machine and its Evolution . . .
2001-01-22
Robust Re-Authentication And Key Exchange Protocol For IEEE 802.11 Wireless LANs
2000-09-27
On the Convergence of Multi-Type Branching Processes With Varying Environments
1997-05-19
Owen Dafydd Jones
Indexing Telephone Conversations By Speakers Using Time-Frequency Principal Component Analysis
2000-08-18
Defining and Using Ideal Teammate and OpponentAgent Models
1999-12-19
IRO-DB A Distributed System Federating Object and Relational Databases
2000-08-01
Behavioral Intervals in Embedded System Design and Verification
2000-03-07
Java Based Modeling And Simulation Of Digital Systems On Register Transfer Level
2000-07-13
An Adaptive Window Management System
1999-09-13
Glycan Characterization using Derivatization, HPLC/ESI-MS and FACE Methods
1999-07-16
Persistent laminations from Seifert surfaces
1998-07-24
Mark Brittenham
Who Serves Whom? Dynamic Resource Matching In An Activity-Scanning Simulation System
2000-01-21
On the spectrum of Schrödinger operator with periodic surface potential
1970-01-01
Ayham Chahrour
Mark Correlations
2000-10-31
Sketching Interpretation In Novice And Expert Designers
2001-01-18
A Formal View of Aspects in the Development of Componentbased Distributed Systems
2000-10-02
Applying Case Retrieval Nets to Diagnostic Tasks in Technical Domains
2000-09-12
Image Retrieval: Content versus Context
2000-04-17
Thijs Westerveld
Automatic Migration and Wrapping of Database Applications - a Schema Transformation Approach
2000-09-05
Peter M
Random k-Surfaces
2000-09-20
Polynomial-Time Approximation Schemes for Geometric Graphs
2000-11-13
Physical Design to Improve the Noise Immunity of Digital Circuits in a Mixed-Signal Smart-Power System
2000-07-17
An Analysis of Crystal Dissolution Fronts in Flows through Porous Media - Part 1: Compatible Boundary Conditions
1996-04-23
Providing Interactive Functions through Active Client-Buffer Management in Partitioned Video Multicast VoD Systems
1999-10-29
Object-Oriented Programming and Protected Objects in Ada 95
2000-07-05
The Stability Pact And Feedback Policy Effects
2000-06-14
Jrme Creel
Quantum Correction to Thermodynamical Entropy of Black Hole
1997-08-01
Exact Boundary Controllability Elasticity of a Hybrid System by the HUM Method
2000-11-30
Bopeng Rao
Mimimal Relative Entropy Martingale Measure of Birth and Death Process
2000-08-14
Yoshio Miyahara
Tying, Investment, And The Dynamic Leverage Theory
2000-09-10
Almost sure asymptotics for the continuous parabolic Anderson model
2000-06-08
Clarifying Word Meanings in Computer-Administered Survey Interviews
2000-09-09
Trade and R&D Spillovers: Uncovering the Fuzzy Link between Openness and Growth
2000-09-08
Volume 5 Documentation of the ARIES/GEOS Dynamical Core: Version 2
1995-03-30
An Investigation of Grain Sizes of Load Distribution in an Object Based System
1995-10-19
Christian Damsgaard Jensen
The Average Number of Partons Per Clan in Rapidity Intervals in Parton Showers
2000-12-12
A Characterization for Parity Graphs and a Coloring Problem With Costs
2000-07-21
Behavioural Types in CoOperative Objects.
2000-03-16
N. Hameurlain
Tabu Search for Frequency Assignment in Mobile Radio Networks
1999-12-21
A1900 Quadrupole Triplets Construction Progress
1999-11-05
The Cost of Recovery in Message Logging Protocols
1998-08-20
Optimal Low Power
2001-01-08
A New Distributed and Adaptive Approach to Routing and Load Balancing in Dynamic Communication Networks
2000-05-12
Antisymmetric Flows and Strong Colourings of Oriented Graphs
1998-10-20
Pulsation Modes for Increasingly Relativistic Polytropes
1997-08-01
Data-Independence of Read, Write, and Control Structures in PRAM computations
1998-07-20
Completeness of Combinations of Constructor Systems
2000-03-06
Aart Middeldorp
On Approximate Nearest Neighbors in Non-Euclidean Spaces
2000-09-14
Piotr Indyk
Factoring Predicate Argument and Scope Semantics: Underspecified Semantics with LTAG
1999-11-15
Rule-based Video Classification System for Basketball Video Indexing
2000-12-14
Human Placement for Maximum Dexterity
2000-09-20
Stretching Transmission Line Capabilities - A Transpower Investigation
1999-10-12
Procedure Calls Are the Assembly Language of Software Interconnection:
1999-01-22
Mary Shaw
Study of MPEG-2 Coding Performance based on a Perceptual Quality Metric
1998-06-17
Extracting Tabular Information From Text Files
1995-12-11
Hassan Alam
Power Optimization Of Delay Constrained Circuits
1970-01-01
Analysis Subsystem Environment For Spacecraft Engineering Subsystem
1997-07-12
On the History of Generalized Quadrangles
2000-10-14
J. W. P. Hirschfeld
A New Formulation for Dendritic Crystal Growth in Two Dimensions
2001-01-23
Evaluating Workflow and Process Automation in Wide-Area Software Development
1996-10-02
The Calibration And Monitoring Systems For Borexino
2001-02-07
J. C. Maneira
Induction as Deduction Modulo
2001-01-15
Theory and Application of Specular Path Perturbation
2000-11-01
Adaptive Error Control for Multimedia Data Transfers
2001-02-06
Ultra Low Power Imaging Systems Using Cmos Image Sensor Technology
1997-07-14
Eric R
A Novel Simultaneous Sampling Technique and Its Application to Multipoint Optical Fibre Sensor Accelerometers
2001-01-03
Analyzing Mode Confusion via Model Checking
1999-09-30
Gerald Luttgen
Linking Information Reconciliation and Privacy Amplification
2000-05-10
Proving the Correctness of a Complete Microprocessor
2000-09-25
Integrating Oscillating Functions
2001-01-24
Christoph W. Ueberhuber
Nomenclature
2001-01-16
Business Reply Mail
1998-10-28
Along Line
Classifying Cervix Tissue Patterns With Texture Analysis
1997-12-27
Incremental Subgradient Methods For Nondifferentiable Optimization
2001-02-07
Custom Memory Placement for Parallel Data Mining
1999-10-20
The Quantum Sutton-Chen Many-Body Potential for Properties of fcc Metals
1998-08-07
Theory for Normal and Impaired Experience-Dependent Plasticity in Neocortex of Adult Rats
2001-01-02
The program CRACK for solving PDEs in General Relativity
1970-01-01
Unknown
1997-07-15
Scheduling Constrained Dynamic Applications on Clusters
2001-02-06
Automatic Recognition of Civil Infrastructure Objects in Mobile Mapping Imagery Using Markov Random Field
2000-04-11
Zhuowen Tu
The Emergence of "Standard" Planning and Scheduling System Components -- Open Planning and Scheduling Architectures
1999-11-11
Counting Points on Hyperelliptic Curves over Finite Fields
2001-02-04
A Level-Set Approach for the Metamorphosis of Solid Models
2000-12-27
Supply Chain Scheduling Assembly Systems
2001-02-06
DSM-PM2: A portable implementation platform for multithreaded DSM consistency protocols extended version
2001-01-24
Lattices of Triadic Concept Graphs
2000-06-22
Bernd Groh
A Model of Speech Repairs and Other Disruptions
2000-12-14
Text Categorization Using Weight Adjusted k-Nearest Neighbor Classification
2001-02-01
Real Interpolation With Logarithmic Functors
2001-01-31
Quantifying Generalization in Linearly Weighted Neural Networks
2000-04-03
Control Of A Serpentine Robot For Inspection Tasks
1997-06-18
An Experimental Comparison Of Three Methods For Collision Handling In Virtual Environments
1998-11-30
Automatic Synthesis of Agent Designs in UML
2001-01-27
Johann Schumann
A Picturebook Of Relativistically Driven Wavepackets
2000-12-05
The Extinction Of The Eastern Arctic Bowhead
1999-06-24
Environmental Restoration Contract ERC Management Plan for Inactive Miscellaneous Underground Storage Tanks IMUSTs
1999-10-22
"All-One" Blocks in a Binary String
2001-01-24
Unknown
2000-08-23
The Determinants Of Success In the New Financial Services Environment: Now That Firms Can Do Everything, What Should They Do And Why Should Regulators Care?
2000-06-08
Multiple outflows in the bipolar planetary MI-16:
1997-07-02
A. I?. W
Transient Analysis Of Adaptive Filters
2001-01-31
One Strike Against the Min-Max Degree Triangulation Problem
2000-07-21
Klaus Jansen
Distributing Semantic Constraints Between Heterogeneous Databases
2000-04-26
Using Quake III Arena to Simulate Sensors and Actuators when Evaluating and Testing Mobile Services
2000-12-22
Implementation of Classroom Assessment Techniques and Web Technology in an Operations Research Course
1999-05-05
Sima Parisay
Distressed Relationships: Lessons from the Norwegian Banking Crisis 1988-1991
2000-03-04
Recover-x: An Adaptive Router with Limited Escape Channels
2000-08-16
Deconvolution With Correct Sampling
2000-09-04
Deformation Quantization and Poisson Geometry
2000-09-22
Rui Loja Fernandes
Software Architecture
1996-08-16
Several Algorithms Have Been Proposed That Optically Implement Equivalence and Magnitude-Comparison Processing.
2000-09-15
Coupling-based Criteria for Integration Testing
1998-09-28
Improving RAID Performance Using a Multibuffer Technique
1998-12-14
Constructive Linear Time Algorithms for Small Cutwidth and Carving-Width
2000-09-04
ALE Shock Calculations Using a Stabilized Serendipity Rezoning Scheme
1999-05-13
Exploring Alternatives during Requirements Analysis
2001-01-08
Universal Lossless Data Compression Via Binary Decision Diagrams
2001-02-08
Computation, Reduction, and Teleology of Consciousness
2001-02-01
Ron Sun
Robustness of Exponential Stability of Stochastic Differential Delay Equations
2000-02-18
X. Mao
A Vizing-type theorem for matching forests
2000-04-27
Consideration Sets, Intentions and the Inclusion of "Don't Know" in a Two-Stage Model for Voter Choice
2000-12-15
Design And Implementation Of A Temporal Trigger Subsystem For The Triggerman Asynchronous Rule Processor
1999-02-17
Nabeel I. Al-fayoumi
Programs for Applying Symmetries of PDEs
1970-01-01
Thomas Wolf
Potential Scattering And Screening In Time-Dependent Fields
1998-10-08
An Information Systems Approach to Support Decision Makers Selecting Group Decision Processes
2000-09-15
GLS and EVSS methods for a three fields Stokes problem arising from viscoelastic flows
2000-10-30
Computing the Smallest k-Enclosing Circle and Related Problems
1999-12-14
A Framework for Workflow Management Systems Based on Objects, Rules and Roles
2000-10-19
Evaluation Metrics for Generation
2000-11-03
Tracing Lazy Functional Languages 07.483 Advanced Project in Computer Science
1997-10-20
Keith Wansbrough
Mathematics teaching -- Creating the future
2000-02-27
John Pegg
Geometric Pattern Matching in
1999-12-14
Interface Builders and Bullettin Boards, Techiniques and Requirements on SOS/SIS Chapter 12 of "Computable Models and Prototypes of Interaction"
1995-06-09
Passive Microwave Remote Sensing Of Soil Moisture
1997-06-30
Eni G
Cms Note 97/54
1997-07-09
Does the Covariance Structure Matter in Longitudinal Modelling for the Prediction of Future CD4 Counts?
1997-12-18
Jeremy Taylor Ngayee
Two-Dimensional Interleaving Schemes with Repetitions
1997-02-24
Measles, Mumps, and Rubella --- Vaccine Use and Strategies for Elimination of Measles, Rubella, and Congenital Rubella Syndrome and Control of Mumps:
1970-01-01
A Simple And Robust Modulation Classification Method Via Counting
1999-08-26
Coloring and Homomorphisms of Degenerate and Bounded Degree Graphs
1998-10-19
High-Performance Scientific Computing Using C++
1999-05-13
Certified Sparse Linear System Solving
2001-02-05
T. Mulders
Optimal Configuration of OSPF Aggregates
2001-02-01
The Geometry Of Families Of Singular Curves
2000-12-07
Gert-martin Greuel
Front Fluctuations in One Dimensional Stochastic Phase Field Equations
2001-01-03
A Representation Of The 1st-Order Variational Sequence In Field Theory
1999-06-15
A Tight Bound for the Complexity of Voronoi Diagrams under Polyhedral Convex Distance Functions in 3D
2000-11-28
Analysis and Justification of a Simple, Practical 2 1/2-D Capacitance Extraction Methodology
1998-12-26
A Model of Finite Automata on Timed omega-Trees
2001-01-24
Salvatore La Torre
Eliminating Superfluous Neighbor Pairs While Threading Fold Models
1999-09-23
Using Block Norms in Bicriteria Optimization
2000-03-20
Understanding and Improving Time Usage in Software Development
1996-10-02
Measuring non-extensitivity parameters in a turbulent Couette-Taylor flow
2000-10-30
The Trace of Spatial Brownian Motion is Capacity-equivalent to the Unit Square
1999-08-05
Ordering Disks for Double Erasure Codes
2001-01-27
Charles J. Colbourn
Wireless Application Protocol, Architecture Specification
2000-07-21
Downloadable Wmlscript Libraries
Preliminary Hazard Classification for Closure Activities at the 120-N-1 and 120-N-2 Treatment, Storage, and Disposal Units and Site 100-N-58
2000-10-05
Austin Tate, Brian Drabble Jeff Dalton
1999-11-11
Adaptive Output Feedback Control of Nonlinear . . .
2001-01-22
The Cornea Is Not a Piece of Plastic
2001-01-23
Klaus D. Teichmann
Discovery potential for supersymmetry in CMS
1998-04-28
Enabling Custom Enhancements in Digital Sports Broadcasts
2001-01-27
Arrangement of hyperplanes II: Szenes formula and Eisenstein series
1999-04-21
SpeechBot: a Speech Recognition based Audio Indexing System for the Web
2000-04-24
Optimizing Overall Loop Schedules using Prefetching and Partitioning
2000-01-19
Feedback Handling in Dynamic Task Nets
1997-09-24
Bernhard Westfechtel
A Note on the Confinement Problem
2001-01-15
Butler W. Lampson
Linear Concurrent Constraint Programming: Operational and Phase Semantics
2000-04-25
Exact Solution of the Bogoliubov Hamiltonian for Weakly Imperfect Bose-Gas
2000-12-03
Objects and Synchronous Programming
2000-03-14
Comparing Finite-State Verification Techniques for Concurrent Software
1999-11-23
Attenuating the Singularities of Plurisubharmonic Functions
2000-07-09
AS/400 Advanced Series
1998-10-28
Business Models for Dictionaries and NLP
2001-01-22
Adam Kilgarriff
An Old-Growth Definition for Eastern Riverfront Forests
2000-04-19
Regular Languages are Testable with a Constant Number of Queries
2000-12-06
Constraint-Based Query Evaluation in Deductive Databases
1999-10-20
Jiawei Han
Constraints on the Merger Models of Elliptical Galaxies from their Globular Cluster Systems
1998-04-23
Odor to Sensor Space Transformations in Biological and Artificial Noses
2000-12-15
T. C. Pearce
Oiis1rva'1'1ons
1997-06-10
J. `i'. J. J. J
A Solvable Model of Secondary Structure Formation in Random Hetero-Polymers
2001-01-31
Central Bank Behavior And Predictability Of Excess Returns In Foreign Exchange Markets: Evidence From E.U. Countries
2000-09-05
Dimitris G. Kirikos
Facing Up to Faults
2000-04-28
Brian Randell
Towards Axiomatic Foundations for Defuzzification Theory
2000-04-11
Helmut Thiele
Combined Routing and Scheduling of Concurrent Communication Traffic in Hypercube Multicomputers
2000-08-17
On Modifications of Kohonen's Feature Map Algorithm for an Efficient Parallel Implementation
2000-08-23
Reconstruction of 3D Left Ventricular Motion from Planar Tagged Cardiac MR Images: an Estimation Theoretic Approach
1999-07-14
A Top-Down Proof Procedure for Generalized Data Dependencies
2000-10-18
Lirmm cnrs/universite Montpellier Ii
Moral Dilemmas and Nonmonotonic Logic
2000-10-12
John F. Horty
An Architecture and Prototype Implementation of a System for Individualised Workflows in Medical Information Systems
2000-11-04
A Cost and Performance Comparison for Wormhole Routers based on HDL Designs
2000-08-07
The Data Broadcast Problem with Preemption
1999-12-20
Nicolas Schabanel
Source Code Instrumentation and its Perturbation Analysis in Pentium II
2000-05-24
An Approach to Analysing the Propagation of Data Errors in Software
2001-02-06
The Role of Meta-Information Management in Reflective Middleware
2000-12-03
Fbio M. Costa
The Renement Rules for Catmull-Clark Solids
1999-11-18
System Support for Shared Objects
1994-10-21
Communication Support for a Replicated Object Service
1994-10-21
Piccolo: A Tool For Combinatorial Library Design Via Multicriterion Optimization
1999-10-07
About the Electromagnetic Shower Lateral Profile in the Lead Tungstate
1997-05-27
F. Gautheron
Putting Knowledge Rich Process Representations to Use
1999-11-11
Austin Tate
The Use of Roles in a Multiagent Adaptive Simulation
2001-02-07
Olivier Sigaud
Smooth Entropy and R'enyi Entropy
2000-08-31
Christian Cachin
A Network Diversion Vulnerability Problem
2000-08-24
Caid Lateral 256 Conveyance Loss Study
2000-11-17
Finding Coincident Data From Satellites: Using "Meta-Metadata" To Reduce Load on Archive
1999-06-23
Vector Median-Rational Hybrid Filters for Multichannel Image Processing
2000-05-23
Experiences With an Environment Generation System
1996-10-01
Visualizing Knowledge Structure for Exploratory Learning in Hyperspace
1999-12-28
Free Seifert surfaces and disk decompositions
1999-10-13
Towards a user-centred method for studying CVLEs
2000-09-25
Model Checking Verification and Validation at JPL and the NASA Fairmont IV&V Facility
2000-05-16
Welfare Analysis of the Number and Locations of Local Public Facilities
2000-09-10
Eurodollar Futures Pricing
2000-11-27
VR Techno Japan COSMOS 6 Screen VR Theater
1999-11-20
Simulation-based Performance Comparison of TCP-Friendly Congestion Control Protocols
2000-07-04
Habitat Suitability Index Models
2000-07-06
Routing in a Convex Grid with k-ary Overlap
1999-09-23
Jon Hamkins
Effective Caching Of Web Objects Using Zipf's Law
2000-12-12
Synthesis For Mixed Cmos/ptl Logic: Preliminary Results
1999-04-16
Maciej Ciesielski
AS/400 Advanced Series
1998-10-28
Models of Software Development Environments
1996-10-01
-D Regge calculus model of the Kasner cosmology
1997-08-01
Moderate Deviations of Maximum Likelihood Estimators under Alternatives
2000-04-27
Similarity Solution for Formation of Circumstellar Disk through the Collapse of a Rotating Cloud
1997-12-04
A 700-Mb/s/pin CMOS Signaling Interface Using Current Integrating Receivers
2000-09-07
Video Segment Indexing Through Classification and Interactive View-based Query
2001-01-19
NTRU Cryptosystems Technical Report Report 010, Version 1 Title: High-Speed Multiplication of Truncated Polynomials Author: Joseph H. Silverman Release Date: Tuesday, January 5, 1999
1999-01-07
H. Silverman
Stochastic Modeling of a Power-Managed System: Construction and Optimization
1999-12-01
International Fragmentation of Production and Competitiveness in the Textile and Apparel Industry
2000-09-12
Facilitation of Immunoassay Through Object Identification
1996-08-09
Susan L. Collins
SECURITY AND DYNAMIC Class Loading in JAVA: A Formalisation
1998-01-08
Data Flow Analysis of Java Programs in the Presence of Exceptions
2000-08-01
Personalized Conversational Case-Based Recommendation
2000-08-16
Who Does What? Matching Agents To Tasks In Adaptive Workflow
1970-01-01
Random Walk And Hyperplane Arrangements
2000-06-08
Least Squares Minimisation and Steepest Descent Methods for the Scalar Advection Equation and a Cauchy-Riemann System on an Adaptive Grid.
1999-10-26
Estimating the Likelihood of MTBE Occurrence in Drinking Water Supplied by Ground-Water Sources in the Northeast and Mid-Atlantic Regions of the United States
2000-11-15
PostScript Fonts in LATEX2e
2001-01-29
Bn Qh
Seeking a Foundation for Context-Aware Computing
2000-12-21
Paul Dourish
Locating P/poly Optimally in the Extended Low Hierarchy
1998-05-17
Dynamic Classification in Silicon-Based Forwarding Engine Environments
2000-09-14
Sharpness of Second Moment Criteria for Branching and Tree-Indexed Processes
1999-08-05
Robin Pemantle
Gathering for Free in Random Walk Radiosity
1999-12-20
On a Question About Sum-Free Sequences
2000-07-26
Persistence in the Object-Oriented Database Programming Language VML
2000-08-01
Application of OOP Type Theory: State, Decidability, Integration
1994-08-25
Study on New Term Weighting Method and New Vector Space Model Based on Word Space in Spoken Document Retrieval
2000-04-24
A Light Weight Name Service and its use within a Collaborative Editor.
1995-11-30
Modeling of Spontaneous Activity in Developing Spinal Cord Using Activity-Dependent Depression in an Excitatory Network
2000-11-10
Random Field Models for Graph Layout
1997-04-18
A DOOD System for Treating the Schema Evolution Problem
1998-03-11
Is Immersion Education Appropriate for All Students?
1999-08-02
Characterization of Cylindrical Ion Trap CIT Array Mass Analyzers
1999-07-28
Mesh Routing Topologies For FPGA Arrays
2000-02-08
Virtual RealitySimulation of the Ophthalmoscopic Examination
2000-05-24
AS/400e series
1998-10-28
Dagger: Combining Benefits of Synchronous and Asynchronous Communication Styles
1999-08-18
Applications of an Extended Set Constraint Solver
2000-05-25
Information Extraction and Gathering for Search Engines: The Taylor Approach
2000-04-24
Franois Paradis
Chaotic Pulsations in Variable Stars With Harmonic Mode Coupling
1999-12-16
Follow-On Scheduling: Using Tlb Information To Reduce . . .
2000-03-15
A locally nonlinear interpretation of PUV measurements
2000-02-22
Finding Books and Periodicals
2000-08-14
Integrating Heterogeneous Tourism Information in TIScover - The MIRO-Web Approach
2000-03-01
Software Freedom, Open Software and the Undergraduate Computer Science Curriculum
2000-10-03
John E. Howland
Exchanging Tacit Community Knowledge by Talking-virtualized-egos
2000-05-11
I. L. Dryden and K.V. Mardia: Statistical Shape Analysis. John Wiley Sons, 1998
2000-03-28
AS/400 Advanced Series
1998-10-28
Unknown
2000-11-24
Cosmological Solutions With Gauge and Spinor Fields
1999-01-28
Percolation Approach to Phase Transitions
2000-07-19
Solutions of the Goncharov-Millar and Degree Spectra Problems in The Theory of Computable Models
1999-11-18
Survivability through Market-Based Adaptivity: The MARX Project
1999-10-31
NET CASE: Towards a Petri Net Based Technique for the Development of Expert/Database Systems
1994-07-07
From Dipsy-Doodles to Streaming Motions: Changes in Representation in the Analysis of Visual Scientific Data
2000-05-05
A Classification and Comparison Framework for Software Architecture Description Languages
1998-01-16
Neno Medvidovic
Technology Mapping via Transformations of Function Graphs
1999-11-18
Fixed Points in a Group of Isometries
2000-12-21
Mark Voorneveld
Support Document for the Revised National Priorities List Final Rule December 2000
2000-12-04
Novel Scheme for Blind Symbol Separation in CDMA Downlink
1998-09-30
A Hybrid Caching Strategy for Streaming Media Files
2001-01-26
Models of Software Development Environments
1996-10-01
Modelling and Solving Problems with Probable Changes
2000-10-20
The Two-Level Inference Problem and The Confirmation of Theories
1999-09-28
Kevin A. Clarke
Horizontal Microcode Compaction for Programmable Systolic Accelerators
2000-08-23
Paolo Ienne
Digital Projection
2001-01-14
Automatic Graph Drawing and Stochastic Hill Climbing
1999-07-11
Symplectic Integration Of Constrained Hamiltonian Systems
1997-12-11
Formalisms For Verification Of Discrete Control Applications On Example Of IEC 61499 Function Blocks
2000-05-16
Simulative Inference About Nonmonotonic Reasoners
2001-02-02
Aaron N. Kaplan
Notes on Sconing and Relators
1994-01-03
A Multimedia Enhanced Transport Service In A Quality Of Service Architecture
2000-09-29
Random Walks with "Back Buttons"
2000-11-22
Parallel Database Management System: Kappa
1999-03-08
Proof Techniques for Cryptographic Processes
2000-02-10
Synchronization and Oscillatory Dynamics in Heterogeneous, Mutually Inhibited Neurons
1999-02-27
Antisymmetric Flows and Edge-connectivity
2000-09-21
E. O. Alt
2000-11-28
The measurement of the 4-jet cross section at LHC as a probe of new physics
1997-09-29
The Dynamic Dictionary Matching Problem Revisited
1996-11-16
Formal Verification of Communication Protocols
2000-06-06
M. A. S. Smith
A Survey of QoS Architectures
2000-02-10
Standard Model
1999-01-20
Studying Probabilistic Faults In Evolved Non-Uniform Cellular Automata
2000-11-14
Evaluation Of Hurricane "mitch" Damages In Central America
2000-12-08
Efficient Searching with Linear Constraints
2000-07-12
Pattern--based Object--Oriented Parallel Programming
2000-04-01
An Overview of the Rialto Real-Time Architecture
2000-01-27
Pharmacologically evoked fictive motor patterns in the acutely spinalized marmoset monkey Callithrix jacchus
1998-09-03
Intervals in Software Execution Cost Analysis
2000-10-23
Creating or re-creating: Children's mathematical thinking
2000-02-27
Beth Southwell
The Feynman--Wilson gas and the Lund model
2000-12-12
Point Vortex Dynamics For Coupled Surface/interior Qg And Propagating Heton Clusters In Models For Ocean Convection
2000-04-26
Asynchronous Hybrid Systems With Jumps --- Analysis and Synthesis Methods
2001-01-08
Extinction risk assessment and optimal harvesting of anchovy and sprat in the Azov Sea
2001-01-19
The Compiling Specification from ComLisp to Executable Machine Code
1999-01-20
Periodic Model Selection for Rainfall using Conditional Maximum Likelihood
1999-06-21
Order Effects in Human Belief Revision
2000-10-30
Hongbin Wang
A New Class of Commodity Hedging Strategies: A Passport Options Approach
2000-12-01
Cultural Context and its Impact on Requirements Elicitation in Thailand
2000-01-25
Mr. Theerasak Thanasankit
Achievements vs. Accomplishments: A Computational Treatment of Atomicity, Incrementality, and Perhaps of Event Structure
2000-03-29
Patrick Caudal
Techniques...
2000-09-07
John Maneatis
Minijets and Transverse Energy Flow in High Energy Collisions
2000-12-12
Gosta Gustafson
S-Wave Resonances With the Same Quantum Numbers
1999-11-05
On partitions, surjections, and Stirling numbers
2000-10-30
Matrix Transpose on Meshes: Theory and Practice
1997-01-09
New Computer Algorithm Enabling Simulation of Recall Process in Sparsely Encoded Hopfield-Like Neural Network of Extremely Large Size
2000-09-05
Frolov A. A
The Sun as an X--ray Star. II: Using the Yohkoh/SXT-derived Solar Emission Measure vs. Temperature to Interpret Stellar X-ray Observations
1999-07-14
On Non-Uniqueness Of Percolation On Nonamenable Cayley Graphs
2000-08-18
The Width of a Convex Set on the Sphere
1997-07-04
Elements Of Telerobotics Necessary For Ddautomation
2000-09-25
OBJECTIVE: A Benchmark for Object-Oriented Active Database Systems
2000-10-02
Quantum Chaos And Convergence Of Shell Model Energies
1999-11-05
Software Architecture: a Roadmap
2000-06-02
David Garlan
A consideration on the labels of Self-Organizing Map after refresh learning
2000-10-02
The Pathway to Energy Localization in Nonlinear Lattices.
2000-06-02
Michel Peyrard
Low-Complexity Bit-Parallel Canonical and Normal Basis Multipliers for a Class of Finite Fields
1999-01-08
Customizable Adapters For Blackbox Components
2001-01-18
Control of Nonlinear Distributed Parameter Systems
2000-10-05
Existence Of Approximate Identities In Maximal Ideals Of Hypergroup-Algebras
2000-03-03
Frank Filbir
Dynamic Monitoring Of Civil Engineering Structures
2000-06-15
Mining for High Dimensional Clusters using Projections and Visualizations
2001-01-23
Alexander Hinneburg
A Hybrid Approach to Supervising Multiple Co-Operant Autonomous Mobile Robots
1999-07-01
Perception through Anticipation
2000-12-03
Emissivity Statistics in Turbulent, Compressible MHD Flows and the Density-Velocity Correlation
2000-10-19
Multifrontal QR factorization in a multiprocessor environment
1997-12-08
Introducing an On-line Distributed Image Bank in a Complex Textile Industrial District
2000-02-24
March 1991
1993-09-21
Philip Wadler
Information Engineering on the World-Wide Web: Drawing Analogies with Software Engineering
1999-04-20
Rob Walker
Clearance Levels For Redundant Material From Decommissioning Of Nuclear Facilities
2000-09-25
Shankar Menon
Hardness Results and Efficient Approximations for Frequency Assignment Problems: Radio Labelling and Radio Coloring
2000-12-21
A Tensor-Diffusivity Subgrid Model For Large-Eddy Simulation
2000-09-18
Virtual Communities of Transaction: The Role of Personalization in Electronic Commerce
2000-03-06
A Near-Linear Algorithm for the Planar Segment Center Problem
1999-01-20
Convexifying Polygons with Simple Projections
2000-12-05
NTRU Cryptosystems Technical Report Report 009, Version 1 Title: Invertibility in Truncated Polynomial Rings Author: Joseph H. Silverman Release Date: Thursday, October 1, 1998
1998-11-13
H. Silverman
Is Inflation Targeting Feasible in Poland?
2001-01-03
A Probabilistic Spell for the Curse of Dimensionality
2000-07-06
Gonzalo Navarro
Reducing The Complexity Of Iterative Post-Processing Of Video
2000-12-09
Computer Based Diagnostic Testing
2000-02-27
A Central-Difference Scheme For A Pure Stream Function Formulation Of Incompressible Viscous Flow
2000-12-23
Planning, Migration, and Resource Definition
1998-09-21
Preemptive versus Non-Preemptive Processor Allocation Policies: An Empirical Comparison
1997-03-03
Jitendra Padhye
Connected Heaps Are Nice Animals
1999-12-10
Mireille Bousquet-mlou
The Complexity of the Two Dimensional Curvature-Constrained Shortest-Path Problem
1999-07-31
John Reif
The Distribution of Exchange Rate Volatility
1999-09-29
Adaptive Classification of Hand Movement
1997-07-02
Geometry of the moduli space of Higgs bundles
2000-02-01
To Kati
Limitations of Page Table Translation Schemes
1999-05-19
Jochen Liedtke
The Need for Computer Scientists to Receive Training on People Skills.
1999-02-07
The "Petri Net Baukasten": An Overview
2001-01-31
Integration-Based Cooperation in Concurrent Engineering
1999-04-19
Non Blocking Atomic Commitment with an Unreliable Failure Detector
1995-11-30
Tangent Measure Distributions of Fractal Measures
2001-01-15
Mathematische Annalen Manuscript-nr
Internal Iteration Externalized
1999-06-04
Thomas Kuhne
Bottom Production At The Tevatron
2000-05-22
Arthur K. A. Maciel
Improved Approximations for Minimum-Cardinality Quadrangulations of Finite-Element Meshes
1997-04-01
Pricing America Options: A Comparison of Monte Carlo Simulation Approaches
2000-09-11
Performance Benefits of NIC-Based Barrier on Myrinet/GM
2001-02-02
Robust 3-D Motion Estimation And Depth Layering
1997-06-10
Modeling and Analysis of Software Aging Process
2000-05-29
Essential Laminations in Seifert-fibered Spaces: Boundary Behavior
1998-07-10
Mark Brittenham
Improved Approximation Schemes for Scheduling Unrelated Parallel Machines
2000-07-21
Using Process Modeling for Process Understanding Dewayne E. Perry
1997-10-07
Dewayne E. Perry
Switching to Digital
2000-04-14
L. Cheveau
Towards Formalizations in Case-Based Reasoning for Synthesis
1994-10-19
Katy Borner
Unknown
1999-12-21
Stochastic Segment Models of Eukaryotic Promoter Regions
1999-09-27
The Part-Time Parliament
2000-08-29
Using Reflective Features to Support Mobile Users
2000-05-16
The Semantics of Actions in Knowledge Games
1999-11-22
Analysis Of Electrocardiogram Signals Via Wavelet Based Bayesian Models
2000-12-04
The Solar Dynamo: A Conceptual Jigsaw-puzzle
1999-03-12
Tests of Conditional Asset Pricing Models: A New Approach
1998-11-13
Scaffolding for Software Renovation
2000-08-04
Working T10/1143-DT Draft
1999-02-23
Emptiness is Decidable for Asynchronous Cellular Machines
2000-10-13
Dietrich Kuske
Generalization of the Phase-Screen Approximation for the Scattering of Acoustic Waves
2000-07-12
Maarten Rousseau
Compound Acquisition Strategies
1999-10-07
Effect of prestress on the dynamic performance of a Terfenol-D transducer
1997-05-13
The 1996 Broadcast News Speech And Language-Model Corpus
2000-07-28
David Graff
A Sequential Reduction Strategy
2000-03-06
Document Processing with LinkIT
2000-04-24
Probabilistic Causality and Explanation in Political Science
2000-08-11
Kevin A. Clarke
Business Reply Mail
1998-10-28
A Tool for Symbolic Analysis and Design of Analog Active Filters
2000-01-20
Integrating Multiple Knowledge Sources For Detection And Correction Of Repairs In Human-Computer Dialog
1970-01-01
Greedy Lattice Animals: Negative Values and Unconstrained Maxima
1999-12-15
Omega-Languages
2001-01-25
Ludwig Staiger
Search for Higgs Bosons at LEP
2000-06-30
Andr E Sopczak
Histograms Analysis for Image Retrieval
2000-05-22
Global Optimization of GPS Augmentation Architectures using Genetic Algorithms
1995-12-18
Estimation Of Linnik Law Parameters
1999-07-29
Navigational Integration of Autonomous Web Information Sources by Mobile Users
2000-01-14
Building Applied Natural Language Generation Systems
1999-10-15
AS/400 Advanced Series
1998-10-28
Software Interconnection Models
1996-10-01
Dewayne E. Perry
Point-free substitution AB48d/CSS184d
1995-12-12
A. Bijlsma
Designing Inter-Class Concurrency Control Strategies for Real-time Database Systems with Mixed Transactions
2001-02-08
Political Patronage, Bureaucracy and Corruption in Postwar Italy
2000-12-27
Recovering Structure from Unstructured Web-accessible Classified Advertisements
2000-11-13
Mapping Concurrently-Communicating Subcubes in a Hypercube Multicomputer
2000-08-15
Integrating AI and Constraint Programming Techniques for Multimedia Directory Publishing
1998-05-29
Fast Performance Analysis of Bus-Based System-On-Chip Communication Architectures
2000-02-16
Entailment with Conditional Equality Constraints
2001-02-05
Enriques Surfaces And Other Non-Pfaffian Subcanonical Subschemes Of Codimension 3
2000-06-25
Solving Fixed-Charge Network Flow Problems with a Hybrid Optimization and Constraint Programming Approach
2001-01-31
Implementation and Analysis of an Image-Based Global Illumination Framework for Animated Environments
1996-10-12
Image Retrieval Using Evolutionary Computation
2000-02-22
A Framework for Simulation-based Network Control via Hindsight Optimization
2000-09-15
Complementary closed relational clones are not always Krasner clones
2000-10-13
Effects of a Saturating Dissipation in Burgers-Type Equations
2000-12-31
Actions, Functions and Failures in Dynamic Environments
2001-01-19
Morten L I Nd
Business Reply Mail
1998-10-28
Luminous Red Mergers in the z = 0.83 Cluster M8 1054-03: Direct Evidence . . .
1999-10-15
Simple Models of Biological Macromolecules
1999-01-29
E. G. Timoshenko
Continuing Research in Multi-Agent Systems
2000-12-06
Interactive Query Formulation using Spider Queries
1998-10-10
Multiresolution Based Image Adaptive Watermarking Scheme
2001-02-06
Complexity Results for the Optimum Cost Chromatic Partition Problem
2000-03-22
Klaus Jansen
Diagrams Based on Structural Object Perception
2000-02-21
Reflective implementation of non-functional properties with the JavaPod component platform
2000-04-25
Implementation Techniques for Efficient Data-Flow Analysis of Large Programs
2001-01-30
3-Sasakian Manifolds
1999-09-15
An Exploration of a Lightweight Means of Concern Separation
2000-03-31
The Proof-Theoretic Analysis of ... Transfinite Dependent Choice
2001-01-30
Christian Ruede
Independent Component Analysis With Code Information Utilization In Ds-Cdma Signal Separation
1999-09-21
Tapani Ristaniemi
Critical exponents, conformal invariance and planar Brownian motion
2000-09-21
Wendelin Werner
Galois Groups of First Order Theories.
2001-02-02
Logic of Global Synchrony
2001-02-02
Approximation in Databases
1994-06-28
Leonid Libkin
Specification Based Test Sequence Generation with Propositional Logic
2001-02-05
Learning Evaluation Functions to Improve Optimization by Local Search
2000-11-17
A Simple Multi-Tasking Simulator
1970-01-01
Model Checking Operator Procedures
1999-09-30
Wenhui Zhang
Bioinformatics Applications Note
2001-01-19
The Cycab Robot: a Differentially Flat System
2001-01-08
A Clock and Trail Model for Somite Formation, Specialization and Polarization
2001-01-31
Interfacing of CASA and Multistream recognition
2000-09-05
Computationally Inspired Biotechnologies: Improved DNA Synthesis and Associative Search Using Error-Correcting Codes and Vector-Quantization
2000-09-26
Environmental Restoration Contractor Chemical Management Program Plan
2000-11-03
The SpecSyn Design Process and Human Interface
1998-03-19
Fiscal Policy in EMU: Simulating the Operation of the Stability Pact
2001-01-23
Karen Dury
Portfolios in a First-Year Design Course: Lessons Learned in the First Four Years
2000-05-22
Semantic Abstraction for Concept Representation and Learning
2001-01-29
Learning Computational Grammars
2001-01-29
Communication Protocols for Mathematical Services based on KQML and OMRS
2000-12-21
Blackboard Segmentation Using Video Image of Lecture and Its Applications
2001-02-05
An Exact Algorithm to Identify Motifs in Orthologous Sequences from Multiple Species
2000-04-24
A Neural Support Vector Network Architecture with Adaptive Kernels
2000-10-30
Proposal for a UCLA Department of Statistics
1997-10-18
Radiative Decays of Mesons in the Extended Model With the Heavy Singlet Quark
1999-01-28
Mapping Information onto 3D Virtual Worlds
2001-01-29
Parallelizing Synchronous Data-Flow Graphs via Retiming
2001-01-24
Nanoscale Mechanics
1999-01-25
A. N. Cleland
The scaling limit of the incipient infinite cluster in high-dimensional percolation. I. Critical exponents
2000-09-01
A Decomposition-Based Approach To Join Trigger Processing In Triggerman
2000-01-07
Finite Element Analysis of Nonsmooth Contact
2000-08-16
A Multi-layer Scenario Analysis for Sustainable International Transport
2000-11-23
Player Simulation and General Adversary Structures in Perfect Multiparty Computation
2000-05-03
Inf-Semilattice Approach to Self-Dual Morphology
2001-01-23
Microstructure Of Weathered Paint And Its Relation To Gloss Loss: Computer Simulation And Modelling
1999-04-07
Navigation for Low-cost Missions to Small Solar-System Bodies
1997-06-19
On Diving in Trees
2000-06-30
Random Number Generators and Heavy-Tail Distributions
2000-11-29
Dror G. Feitelson
Performance and Irregular Behavior of Adaptive Task Partitioning
2001-02-01
Action Plan Introductory Statistics Teaching
1997-06-13
The Use of Relevance Feedback on the Web: Implications for Web IR System Design
2001-02-06
Examples and Counterexamples of Existence of Categorical Quotients
1999-01-26
J Urgen Hausen
Dynamic 3D Visualization of Database-Defined Tree Structures on the WWW by Using Rewriting Systems
2000-08-15
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
2000-01-12
Stability Of Intersecting Aircraft Flows Under Decentralized Conflict Avoidance Rules
2000-07-27
The Heart of Puzzling: Mathematics and Computer Games
2000-06-29
Do People Mean What They Say? - Implications For Subjective Survey Data
2001-01-12
Success Factors of IT-Supported International Technology Transfer: An Empirical Study
2000-08-01
A Splitting Theorem for n-REA Degrees
2000-05-03
A Tableau Calculus for Temporal Description Logic: The Constant Domain Case
2001-01-25
The Required Measures of Phase Segregation in Distributed Cortical Processing
2001-02-06
Visualization Of Level Sets And Singular Surfaces In Differential Games
2000-06-08
V. L. Averbukh
NP-complete problems on a 3-connected cubic planar graph and their applications
1996-09-19
Ryuhei Uehara
Trajectory Planning and Control of a Novel Walking Biped
1970-01-01
Box-Splitting Strategies for the Interval Gauss-Seidel Step in a Global Optimization Method
1998-01-14
Working Paper 97.12
2000-05-09
Randy Stringer
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems
1996-03-13
High-Level Power Modeling, Estimation, and Optimization
2000-10-31
Strongly Sequential and Inductively Sequential Term Rewriting Systems
2000-07-04
Bound on Run of Zeros and Ones for Images of Floating-Point Numbers by Algebraic Functions
2000-11-13
Secure Composition of Insecure Components
1999-07-14
Peter Sewell
Interactive Mobile Agents in
2000-06-12
On Visibility and Covering By Convex Sets
2000-07-06
Looking beyond the Thermal Horizon: Hidden Symmetries in Chiral Models
1970-01-01
The Generation of Multimedia Presentations
2001-02-01
Elisabeth Andr E
Flexible User Interfaces for Group Collaboration
2001-02-02
Total Ionizing Dose Effects on High Resolution 1 2-/1 4-bit "
1997-06-17
Mode Switching Synthesis for Reachability Specifications
2001-01-30
Solution of the Robbins Problem
1997-01-22
William Mccune
Chapter 7 Prediction of sunspots by GP
1996-06-26
Harri Jaske
Optimal Read-Once Parallel Disk Scheduling
2001-01-19
An Image Transform Approach for HMM Based Automatic Lipreading
2000-08-14
Events in Property Patterns
1999-09-30
Evolution of the CHORUS Open Microkernel Architecture: The STREAM Project
1995-07-05
Michel Gien
Service Management: From Definition to Information Modeling
1999-05-06
Graduating to Postdoc: Information-sharing in support of organizational structures and needs
2001-01-27
Exact and Heuristic Approaches for Assignment in Multiple-Container Packing
2000-07-18
The Eect of Priors on Approximate Bayes Factors from MCMC Output
2000-10-04
Kevin A. Clarke
On the Robustness of Functional Equations
2000-11-22
Ronitt Rubinfeld
Dynamic Data Structures for Fat Objects and Their Applications
1999-12-14
Complete Intersection Dimension
1998-07-12
Probing of the Higgs Boson at a Photon Collider for
1999-03-15
Symbolic Methods to Construct Exact Solutions of Nonlinear Partial Differential Equations
1999-12-16
Willy Hereman
Concurrent Subsystem Uncertainty Analysis In Multidisciplinary Design
2000-07-24
On Traffic Types and Service Classes in the Internet
2000-11-22
Programming Guide
1998-10-28
Compact High Resolution Spectrometer
2000-10-25
A Probabilistic Representation for the Vorticity of a 3-Dimensional Viscous Fluid and for General Systems of Parabolic Equations
1999-12-20
Investigation of Vinyl Phosphonic Acid/Hydroxylated alpha-Al2O30001 Reaction Enthalpies
2000-11-18
Abstraction-Based Machine Learning Approach To Cartographic Generalisation
2001-01-29
Diamond and Polycrystalline Diamond for MEMS Applications: Simulations and Experiments
1998-11-25
Entropy Filtering Method and Insertion/Deletion Robust Algorithm for MultipleLocal Sequence Alignment
2000-09-11
Characterization Technologies Demonstrated In Decommissioning Work At The Ineel
2000-09-25
Some Probabilistic Aspects Of Set Partitions
1996-03-11
Jim Pitman
Emulating the Dynamics of A Range of Vehicles Using A F'our-Wheel-Steering AlIan Y. Lee June, 1994 Jet l'repulsion
1997-06-17
Alian Y. Lee
ModelingMandatory Access Control in Role-Based Security Systems
2000-02-15
Evaluation Vademecum for Visual information Systems
2000-01-10
Simone Santini
Externally-Resonated Linear Micro Vibromotor for Micro Assembly
2000-06-29
On Ontology and Epistemology of Rough Location
2000-11-07
Thomas Bittner
Empirical Processes Based On Pseudo-Observations
1999-07-29
Kilani Ghoudi
An AOP Case with Static and Dynamic Aspects
1998-06-08
ZEUS: A Toolkit for Building Distributed Multi-Agent Systems
2000-09-20
Heuristics and Pedigrees for Drawing Directed Graphs
1999-10-28
The a.s. Skorohod representation for subsequences in nonmetric spaces
1997-06-29
Adam Jakubowski
Combining Classical And Intuitionistic Logic - or: intuitionistic implication as aconditional
1996-06-11
The Arc Consistency Problem: a Case Study in Parallel Programming with Shared Objects
1994-07-21
Speedup to Virtual Petaflops using Adaptive Potential Solvers and Integrators for Gravitational Systems
2000-07-13
Static Analysis for Safe Destructive Updates Extended Abstract
2001-01-30
Natarajan Shankar
Agent Naming and Locating: Impact On Agent Design
1999-07-14
An Update-Frequency-Valid-Interval Partition Checkpoint Technique for Real-Time Main Memory Databases
2000-11-04
Proceedings from the Workshop on Phytoremediation of Inorganic Contaminants
2000-05-12
Measuring S011. Moisture With Imaging Radars
1997-07-14
C. Van
Theory and Weighting Strategies of Mixed Sensitivity Synthesis on a Class of Aerospace Applications
1997-07-14
Reconstructing Illumination Functions with Selected Discontinuities
1996-11-18
Mechanisms for Specifying and Describing the Format of Internet Message Bodies
1991-05-29
Extremal Betti Numbers and Applications to Monomial Ideals
2000-01-07
A Betti
Utterance Units And Grounding In Spoken
2000-12-15
Simulated Annealing and Tabu Search for Constraint Solving
1999-12-21
Nonexistence of Lyapunov Functions and the Instability of the von Karman Vortex Streets
1997-12-09
Chjan Lim
Issues in the Cognition and Representation of Internet Based Public Transport Maps
2000-06-29
Software Faults in Evolving a Large, Real-Time System: a Case Study
1996-10-01
Towards Programmable Networks
1998-05-06
Flow Analysis: Games and Nets Extended Abstract
2000-01-16
PeopleGarden: Creating Data Portraits for Users
2000-04-05
Optimizing Patching Performance
2000-05-25
Feminist Ecocriticism:
1999-09-13
Amanda Swarr
A Hybrid Rule and Example-based Method for Machine Translation
2001-02-07
GPS Supplemental Navigation Systems for Use During the Transition to a Sole-Means-GPS National Airspace System
1999-02-17
A Shuffle That Mixes Sets Of Any Fixed Size Much Faster Than It Mixes The Whole Deck
1999-08-05
Robin Pemantle
Redundant Trees for Preplanned Recovery in Arbitrary Vertex-Redundant or Edge-Redundant Graphs
2000-06-05
Instability Analysis of Saddle Points by A Local Minimax Method
2001-02-01
Jianxin Zhou
Lecture 11 Formations of autonomous robots
2000-11-07
I. Volkan Isler
Knowledge Discovery in Large Image Databases: Dealing with Uncertainties in Ground Truth
1997-06-19
Michael C. Burl
On Non-Luminous Matter, In
1997-06-09
The Power of RSA Inversion Oracles and the Security of Chaum's RSA-Based Blind Signature Scheme
2001-01-17
Fast and Flexible String Matching by Combining Bit-parallelism and Suffix Automata
2000-03-03
Gonzalo Navarro
A BeppoSAX and ROSAT view of theRCW86 supernova remnant
2000-08-17
Formal Specification of Object-Oriented Meta-Modelling
2000-04-07
Common Aspects of Phase Transitions of Molecules, Nuclei, and Hadronic Matter
2000-07-19
The Advertising Market in a Product Oligopoly
2000-09-10
Anthony Dukes
Density Waves and Jamming Transition in Cellular Automaton Models for Traffic Flow
2000-04-18
MPI-IO: A Standard, Portable API for High-Performance Parallel I/O
1999-06-15
Teresa Sikorski
2000-12-14
Teresa Sikorski
Tractable Disjunctions of Linear Constraints: Basic Results and Applications to Temporal Reasoning
2000-02-16
Manolis Koubarakis
Discovering New Features to Improve Q-Learning More Efficiently
2000-02-09
T E X 2
2000-11-09
HotJavatm: The Security Story
1995-11-03
Computing Phrasal-signs in HPSG prior to Parsing
2001-01-24
Kentaro Torisawa
Precise Relative Positioning of Multiple Moving Platforms Using GPS Carrier Phase Observables
2001-01-31
Ning Luo
AntNet: Stigmergetic Control Communications Networks
2000-05-11
Concept Learning In A Real-World Domain
1995-06-13
Isabelle Bichindaritz
Cv
2001-02-05
Luigi Liquori
The Need for Different Domain-Independent Heuristics
1998-09-25
OSI File Services/400 Programming
1998-10-28
Core Technologies for System Renovation
2000-08-04
Torsion Dynamics of Molecular Systems
1997-12-11
William F. Bottke,
1999-09-02
Trace Eyeblink Conditioning Increases CA1 Excitability ina Transient and Learning-Specific Manner
2000-02-23
SSP Chains: Robust, Distributed References Supporting Acyclic Garbage Collection
1998-11-20
Behavioural Theories and The Proof of Behavioural Properties
1999-06-18
Michel Bidoit
TRACE-derived temperature and emission measure profiles along long-lived coronal loops: the role of filamentation.
1999-11-05
Representing Weak Maps of Oriented Matroids
2000-03-17
Laura Anderson
Graph Nonisomorphism Has Subexponential Size Proofs Unless The Polynomial-Time Hierarchy Collapses
2000-12-21
Validating a Cost Model for Wide Area Applications
2000-12-11
Classification Of Extremal Elliptic K3 Surfaces and Fundamental Groups of Open K3 Surfaces
2000-07-20
Precautionary Saving And Altruism
1998-10-30
Katarina Nordblom
Design Space Approach to Advanced Filter Design
2000-01-20
Timing is Everything: Time-Oriented Clinical Information Systems
1998-02-05
Yuval Shahar
Monomial Embeddings of the Klein Curve
2000-08-31
Iwan M. Duursma
Rotation Numbers For Certain Maps Of An ...
1998-10-15
Er Blokh
EM, MCMC, and Chain Flipping for Structure from Motion with Unknown Correspondence
2001-02-01
Certificate-Based Access Control For Widely Distributed Resources
1999-08-31
January Effect, Yes! What About Mark Twain Effect?
2000-11-03
Ercan Balaban
Are Build-Transfer-Operate Regimes Justified?
1999-05-21
Nittaya Soonthonsiripong
The Phase Transition of the Number-Theoretical Spin Chain
2000-05-26
WineGuide: An Expert Recommendation Service in . . .
2000-08-01
Sofia Eklund
Some New Examples of Compact Inhomogeneous Hypercomplex Manifolds
1999-04-01
A Unified Model for Similarity Searching
1999-08-23
Darwin: Customizable Resource Management for Value-Added Network Services
2001-01-25
Backreaction and the Evolution of Cosmological Parameters
1999-11-10
Fabio Reale
2000-01-17
Fabio Reale
Random Walks With Strongly Inhomogeneous Rates and Singular Diusions: Convergence, Localization and Aging in One Dimension
2000-12-10
A Reconfigurable Component-based Problem Solving Environment
2000-06-02
Gravitational Excitons From Extra-Dimensions
1997-08-01
A Component-Based Approach To Telecommunication Software
1999-10-06
A Comparative Study of Exception Handling Mechanisms for Building Dependable Object-Oriented Software
2000-11-10
Darboux transformations for the KP hierarchy in the Segal-Wilson setting
2000-07-27
Aspect of Life-Cycle Control in a C++ Framework
1999-08-24
Lutz Dominick
Granulation for Graphs
2000-01-21
Generation of High Quality Tests for Functional Sensitizable Paths
2000-08-03
Kwang-ting Cheng
A Cluster Algorithm for Graphs
2000-05-18
Robust Phase Transitions for Heisenberg and Other Models on General Trees
1999-08-05
Path-Planning Via the Evolution of General Regression Neural Networks
2000-09-25
Terry Allen
A New Low Cost Approach in 200 mm and 300 mm AMHS
2001-01-29
H. K. C. Yee
1996-01-30
New Object Models for Seamless Transition Across Heterogeneous Mobile Environments
1999-09-21
Computer Forensics in a LAN Environment
1999-11-05
Robust Design for Improved Vehicle Handling Under a Range of Maneuver Conditions
2000-09-14
Dynamic Mapping of a Class of Independent Tasks onto Heterogeneous Computing Systems
2000-07-15
Small Seifert-fibered spaces and Dehn surgery on 2-bridge knots
1995-12-14
Mark Brittenham
Methodologies and Tools for Large Scale, Real World, Virtual Environments: A Prototype to Enhance the Understanding of Historic Newcastle upon Tyne
2000-05-23
Currency Basket Regimes For Southeast Asia: The Worst System With The Exception Of All Others
2000-08-07
Ramkishen S. Rajan
WhatEveryComputer Scientist ShouldKnowAboutFloating-Point Arithmetic
1998-01-14
Waltz Filtering in Java with JSolver
2000-02-27
Fuzzy Query Languages For Multimedia Data
2000-09-08
The Development of a LC-MS-MS Method for the Determination of a Clinical `GW Cocktail' of Cytochrome P450 Probe Substrates to Identify Potential Drug Interactions
1999-07-28
The Coronae of AD Leo and EV Lac
1998-10-16
Symbolic Analysis of Cryptographic Protocols in the Spi-Calculus
2000-06-12
Michele Boreale
Einstein-Podolsky-Rosen Paradox and Bell Inequality
1999-01-27
On The Performance Of Blind Source Separation In Cdma Downlink
1998-10-23
Design of Multiplierless Elliptic IIR Filters
2000-01-28
Integrating Case Based Reasoning and Tabu Search for Solving Optimisation Problems
1996-12-21
Separation of Leucine and Isoleucine by Electrospray Ionization -- High Field Asymmetric Waveform Ion Mobility Spectrometry -- Mass Spectrometry
1999-07-28
O-Plan: A Situated Planning Agent
1999-11-11
Scholar Cursus
2000-03-24
Four Dark Corners of Requirements Engineering
2000-06-06
Forecasting Currency Returns
2000-03-28
Urban Mller
Computable Structures: Presentations Matter
1999-12-01
Finite-volume excitations of the 111 interface in the quantum XXZ model
2000-05-26
Finite Precision Representation of the Conley Decomposition:
1999-04-07
Fern Y. Hunt
Acknowledgements
1970-01-01
Conor Ryan
Coloring Non-uniform Hypergraphs: A New Algorithmic Approach to the General Lov asz Local Lemma
2000-04-07
Block-Recursive Filters And Filter-Banks
1997-01-29
Sample Sort on Meshes
1996-09-12
Jop F. Sibeyn
NanoFabrics: Spatial Computing Using Molecular Electronics
2001-01-23
Visualization of Dynamic Automata using Padnon
1998-08-03
Boosting Beyond Static Scheduling in a Superscalar Processor
2000-09-07
Learning to Solve Complex Planning Problems: Finding Useful Auxiliary Problems
1994-12-23
Ordered Chaining Calculi for First-Order Theories of Transitive Relations
1998-08-18
Applying Agents to Bioinformatics in GeneWeaver
2000-12-06
Symmetric Spin
2000-08-15
SyNAPS: System for Networking Astronomical Publication Services
2000-10-04
Differentiated Services: Architecture, Mechanisms and an Evaluation
2000-11-19
Financial Intermediation and Endogenous Fluctuations in a Real Economy
1998-10-30
A Declarative Semantics for Logic Program Refinement
1970-01-01
AgentLink - the European Network of Excellence for Agent-Based Computing
2000-07-14
Michael Wooldridge
The Mechatronics And Vibrations Experiment
2001-02-09
QED Radiative Corrections to ... with Realistic Cuts at LEP Energies and Beyond
2000-06-30
Symbionticism and Complex Adaptive Systems I: Implications of Having Symbiosis Occur in Nature
1996-03-12
+1,$/53257
2000-08-24
XML-based Synchronous CSCW
2001-01-28
A Model of How Rapid Changes in Local Input Resistance of Shark Electrosensory Neurons May Enable Detection of Small Signals
2000-06-16
A Lightweight Tool for Detecting Web Server Attacks
2000-02-24
Getting to know your customers - Implications of virtual communities . . .
2000-08-01
How will the Euro affect the US and Europe?
1999-03-31
Schema Translation between Heterogeneous Data Models in a Lattice Framework
1997-09-22
Report of the Blue Ribbon Panel on Oxygenates in Gasoline
2000-11-17
Ist-1999-10562
2001-01-31
Unconditional Security Against Memory-Bounded Adversaries
2000-08-12
On the Frame Error Rate of Turbo-Codes
2000-01-10
Polygonal Chains Cannot Lock in 4D
2001-02-04
Roxana Cocan
Abstraction of the Interaction Properties of an Information System for Achieving Target Platform Independence
2000-02-24
Vacuum and MSW interpretations of solar neutrino data with the LNW mass matrix
2000-07-14
How Layering Protocol Software Violates Separation of Concerns
2000-03-31
On Non-Oscillating Integrals for Computing Inhomogeneous Airy Functions
2000-02-02
A New Approach to Formal Language Theory by Kolmogorov Complexity
2000-02-15
Content Based Routing as the Basis for Intra-Agent Communication
1998-10-18
Compact Central Weno Schemes For Multidimensional Conservation Laws
2000-08-14
Maximal transitive sets with singularities for generic C¹ vector fields
2001-01-16
C. M. Carballo
Study of Analogue Signal Processing Algorithms for MSGC Signals in CMS
1997-06-19
F. G. Sciacca
r-Equivalences and Refinement for Petri Net Based Design
2001-01-09
Effect of Redundancy on Failure Frequency in PRT Systems
2001-01-19
J. Edward Anderson
The "Full Müntz Theorem" in L_p0,1 for . . .
2001-02-05
Integrating Constraint Management into an AI Planner
1999-11-11
D Object Reconstruction From Aerial Stereo Images
2001-01-10
Combinatorially Simple Pickup and Delivery Paths
2001-01-25
Marco E. Lubbecke
Computational Completeness of Programming Languages Based on Graph Transformation
2001-01-28
Annegret Habel
Typed Constraint Logic Programs: checking domain coercions and metaprograms through subtyping
2000-10-27
Robust Design for Improved Vehicle Handling Under a Range of Maneuver Conditions
1999-06-29
Spurious Regressions in Financial Economics?
1999-09-20
AFormal View of Social Dependence Networks
2000-12-06
Strictly pseudoconvex spin manifolds, Fefferman spaces and Lorentzian twistor spinors
2000-09-02
Helga Baum
Developing District-based Health Care Information Systems: The South African Experience
2000-08-01
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM
1970-01-01
Genericite d'exposants de Lyapunov non-nuls pour des produits deterministes de matrices
2001-01-26
Mobile Agents on Electronic Markets Opportunities, Risks and Agent Protection
1999-08-17
Distributed Programming in Haskell with Ports
2001-01-19
Frank Huch
Entropy Inequalities for Unbounded Spin Systems
2000-09-06
Towards a Novel Architecture for Wide-Area Data Caching and Replication
2000-07-26
Muthucumaru Maheswaran
Representation of Scenes from Collections of Images
2001-02-02
A Short Note on Implementing "New" Machine Instructions by Software for Efficient Test of Page Accessibility
2000-12-20
Jochen Liedtke
using a Macromolecular
2000-12-30
Shneior Lifson
Nonlinear Control of the Inertia Wheel Pendulum
1970-01-01
Sufficient Search Space for Spatial Expert Systems
2001-01-29
Kyoung Jun Lee
STREAMER: Hardware Support for Smoothed Transmission of Stored Video over ATM
2000-08-17
Constructing An Approximate Inverse For Linear And Some Nonlinear Problems In Engeneering
1996-06-10
Alfred K. Louis
Modeling Expertise Using KADS and MODEL-ECS
2000-03-17
Statistical Approaches to Feature-Based Object Recognition
2000-10-18
Rational Curves on Grassmannians: systems theory, reality, and transversality
2000-12-11
Frank Sottile
The Point Spectrum Of The Dirac Operator On Noncompact Symmetric Spaces
1999-11-04
Unicast Inference Of Network Link Delay Distributions From Edge Measurements
2001-01-23
Shih Alfred Hero
A Gdss Agenda Builder For Inexperienced Facilitators
1999-06-28
Soft-Sided Waste Containers
2000-09-13
Rhetorical Structure in Dialog
2000-12-12
Amanda Stent
GRAD-CM2: A Data-Parallel Connectionist Network Simulator
1993-05-07
Thomas Fontaine
Privatization: A Theoretical Framework
2000-02-09
Minkowski Geometric Algebra of Complex Sets
2000-06-29
On Efficient Agnostic Learning of Linear Combinations of Basis Functions
1995-04-06
TRIP: A Distributed vision-based Sensor System
1999-10-20
Diego Lpez De Ipia
Implications Of Regional And Multilateral Agreements For Intellectual Property Rights
2000-05-05
Keith E. Maskus
The Usefulness of Recombination
1995-06-13
Locally Adaptive Dimensionality Reduction for Indexing Large Time Series Databases
2001-02-07
Remediation of DNAPLs in Low Permeability Soils
2000-12-27
Comparison of Laser in situ Keratomileusis and . . .
2001-01-23
A Geometric Interpretation Of The Metropolis-Hastings Algorithm
2001-01-12
Efficient Vector Processing on Scalar Microprocessors
1995-01-11
A Color Indexing System Based On Perception CISBOP
2000-09-22
Consumer confidence and consumption in Sweden
1998-10-30
On Gravitational Repulsion
1997-08-01
Tsvi Piran
Solving the Modeling Problems of Object-Oriented Languages By Composing Multiple Aspects Using Composition Filters
1998-06-17
Study of Polarization in Quasi-Elastic p,2p Reactions on Nuclei
1998-12-10
A Faster Parallel Implementation of The Kanellakis-Smolka Algorithm for Bisimilarity Checking
1999-03-09
Consistency of Action Descriptions
2001-01-15
A roe-type Riemann solver for hyperbolic systems with relaxation based on time-dependent wave decomposition
1999-07-06
On Doing `Being Teenager' - Applying Ethnomethodology to the . . .
2000-08-01
Orchestrating Quartets: Approximation and Data Correction
2000-11-13
Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction
1994-12-16
Verifying UniversalProperties of Parameterized Networks
2000-12-14
Test Results of a
1997-04-11
Sampling and Analysis Plan for the 105-F and 105-DR Phase III Below-Grade Structures and Underlying Soils
2000-02-09
The Fork Calculus Towards a Logic for Concurrent ML
1994-05-09
Klaus Havelund
Mobile Computing and Databases: a Survey
1999-04-02
Daniel Barbar
Tennessee's Timber Industry- An Assessment of Timber Product Output and Use, 1997
2000-04-17
Forest Service
Approaches and Analysis for on-Focal-Plane Analog-to-Digital Conversion
1997-06-26
Non-Linear Adaptive Auto-Pilot for Uninhabited Aerial Combat Vehicles.
1970-01-01
Towards a High-Level Machine Configuration System
1999-12-08
High-Resolution Nonoscillatory Central Schemes With Nonstaggered Grids For Hyperbolic Conservation Laws
1998-12-08
Quaternionic Killing Spinors
1999-11-04
Design And Implementation Of Database And Graphic User Interface - An Application of Visual FoxPro6.0
2000-09-25
Interdisziplinares Zentrum fur Wissenschaftliches Rechnen UNIVERSIT AT HEIDELBERG
2001-02-02
k Plan Asset Allocation, Account Balances, and Loan Activity in 1999
2001-02-08
Nonspecial Divisors on Real Algebraic Curves and Embeddings Into Real Projective Spaces
2000-03-28
J. Huisman
General Adversaries in Unconditional Multi-Party Computation
2000-07-27
Providing Differentiated Levels of Service in Web Content Hosting
1999-09-27
Leptin Resistance Reduces Growth Hormone Secretion And Contributes To The Pathogenesis Of Obesity
2000-04-21
Robin Leigh Martin
AS/400 Advanced Series
1998-10-28
Domain Growth in a Multivariable Nonpotential System
2000-03-01
RFC911 RFC.net Page 1 of 42
1970-01-01
Paul Kirton
Physicaland Chemicalvariables Of Saginaw Bay, Lake Huron In 1994-1996
2000-08-09
RESEARCH ISSUES IN DISTRIBUTED OPERATING SYSTEMS Andrew S. Tanenbaum Robbert van Renesse Dept. of Mathematics and Computer Science Vrije Universiteit Amsterdam, The Netherlands
1995-10-16
Andrew S. Tanenbaum
Aryloxy Tungsten-Based Classical Catalytic Systems And Group 14 Metal-Containing Dienes In Acyclic Diene Metathesis Polymerization
2000-04-22
Fernando Jose Gomez
Two Models of Immunization for Time Dependent Optimization
1970-01-01
Alessio Gaspar
Content Based Routing as the Basis for Intra-Agent Communication
1998-07-16
The IMS Mission Architecture For Distributed Manufacturing Simulation
2001-01-22
Falconer's Formula for the Hausdorff Dimension of a Self-Affine Set in ...
1999-12-22
On Moishezon Spaces that are Compactifications of Reductive Groups
1996-09-19
Local Search and Encoding Schemes for Soft Constraint Minimization Problems
2001-01-30
A Comparative Study of GARCH 1,1 and Black-Scholes Option Prices
1998-10-28
Test Case Generation on the Basis of Formal Specifications
2000-09-20
Embedding Reliable Numerical Analysis Capabilities into an Enterprise Wide Information System
2000-07-25
Ordering Schemes for Sparse Matrices using Modern Programming Paradigms
2001-01-30
Interactive Similarity Search for Video Browsing and Retrieval
2000-04-24
High-Order Time-Accurate Schemes for Parabolic Singular Perturbation Problems with Convection
2001-01-19
Persian Computational Morphology: A Unification-Based Approach
2001-02-03
Karine Megerdoomian
A decade in the activities of Working Party F Training
2000-11-06
State Space Reduction using Partial tau-Confluence
2000-05-22
Jan Friso Groote
Evaluating MMX Technology Using DSP and Multimedia Applications
1999-01-20
Status of the CP-PACS Project
1997-06-09
A. Ukawa
Robust Recognition Using Eigenimages
1997-06-30
Perpetuities With Thin Tails
2000-01-02
Biographies
1999-01-07
3D Manipulation of Motion Imagery
2001-02-02
OF REVISIONS TO TIME ON ESTIMATES MOTIONS Charles DeMets Richard G. Gordon
1997-07-12
A Modular Neural Network for Global Modeling of Microwave Transistors
2001-01-03
The Active Information Repository
2001-01-11
Detectors and Correctors: A Theory of Fault-Tolerance Components
1998-06-03
Symposium on Combinatorial Optimization CO96
2000-11-20
Text Retrival for Medical Discharge Summaries using SNOMED and Formal Concept Analysis
2000-06-15
Replication for Logic Bipartitioning
2000-02-08
Selecting a Random Sample
2000-05-24
Simulation Diagnostics Of Multiple In Microwave Coaxial Transmission Line*
1997-07-16
Tom Y
Solving Stochastic Optimization Models with Learning and Rational Expectations
2000-01-25
Lower Bounds on Generic Algorithms in Groups
2000-06-14
Interactive Media face Artificial Consumers and marketing theory must re-think
2000-09-21
Tank 19F Pitbull™ Eductor Evaluation U
2001-01-31
M. R. Duignan
Arguments, Grammatical Relations, and Diathetic Paradigm
2000-08-09
Tania Avgustinova
Tree Pattern Matching and Subset Matching in Deterministic
2000-09-14
A MATLAB Compiler For Distributed, Heterogeneous, Reconfigurable Computing Systems
2000-04-01
G Tr 26.915
2000-10-20
Tsg-sa Codec
NuMI-B-712 P-907: Proposal to Measure Particle Production in the Meson Area Using Main Injector Primary and Secondary Beams
2001-01-08
Mass of Dust in the Martian Atmosphere
1997-06-26
Terry Z. Martin
Symmetries In Two-Dimensional Dilaton Gravity With Matter
1997-08-01
THE COLLECTION PROGRAMMING LANGUAGE - Reference Manual
1996-05-10
Limsoon Wong
Journal of Public Economics
2000-12-14
Delayline A Wide-Area Network Emulation Tool
1998-11-20
Change in the Elasticity of a Random Heteropolymer Chain Induced By Freezing
2000-02-07
Leibniz Filters and the Strong Version of a Protoalgebraic Logic
2001-01-23
Search for the Higgs Boson at LHC in the Reaction ... at a Low Luminosity
1999-02-15
Spin Effects in the Heavy Quark Fragmentation into Baryons
1999-02-17
Saleev V. A
Unexpected Discoveries And S-Invention Of Design Requirements: A Key To Creative Designs
2001-01-18
Buffer Management in Real-Time Active Database Systems
1999-10-29
Massless Particles and the Geometry of Curves. Classical Picture
2000-06-30
A. Nersessian
Unknown
1997-03-28
Knowledge Reuse in SEED Exploiting Conceptual Graphs
2000-06-15
Let-Polymorphism and Eager Type Schemes
1997-05-14
Chuck Liang
A Signaling Framework For Multimedia Broadband Networks
1999-12-23
Démonstration d'une conjecture de Lang dans des cas particuliers.
2000-10-03
J. -p. Wintenberger
A Path--Based Technique for Estimating Hardware Runtime in HW/SW-Cosynthesis
1998-10-24
Universit at Konstanz
1998-10-05
Dagmar Handke
Point Sources of GeV Gamma-Rays
1997-11-17
Key Factors Affecting Populations of Schizotetranychus nanjingensis, Aponychus corpuzae amd Aculus bambusae in Fujian bamboo forests during different seasons: an . . .
2001-01-30
Complexity Analysis of ATR Algorithms Based on Invariants
2001-02-07
Waste Management Plan for the 300-FF-5 Operable Unit
2000-08-14
On Approximate Geometric
1999-12-07
DNA electrophoresis studied with the cage model
2001-02-05
Elastic Systems
2001-02-02
Peter Bgh Andersen
The Temporal Rover and the ATG Rover
2000-08-15
Doron Drusinsky
Dynamic Simulation of a Periodic 10 K Sorption
1997-07-12
SNEAKERS: A Concurrent Engineering Demonstration System
1998-10-20
Programming Language ISLISP Working Draft 9.9
1994-06-02
Removal Design Report for the 108-F Biological Laboratory
1999-10-08
Balancing Accuracy and Parsimony in Genetic Programming
1995-04-14
Environmental Assessment For Widening Trench 36 Of The 218-E-12b Low-Level Burial Ground, Hanford Site, Richland, Washington
1999-02-22
A Measurement-Based Algorithm for Mapping Consistency Models to Shared Data
2001-02-07
On the Difficulty of Breaking the Diffie-Hellman Protocol
2000-06-14
Generating Systems of Equations for Performance Evaluation of Multistage Interconnection Networks
2001-02-02
A Logic for Suspicious Players: Epistemic Actions and Belief-Updates in Games
2001-01-25
AWE: Aviation Weather Data Visualization Environment
2001-01-27
Convergence Properties Of A Stochastic Model For Coagulation-Fragmentation Processes With Diffusion
2000-01-27
Flavius Guias
Technical Protocol for Evaluating Natural Attenuation of Chlorinated Solvents in Ground Water
1999-02-10
True Grid
2001-02-05
Barry Smith
The Effects of Local Ionospheric Decorrelation on LAAS: Theory and Experimental Results
1999-02-12
Next Generation Operating Systems Architecture
1993-01-12
Michel Gien
On Capacitated Network Design Cut-Set Polyhedra
2001-01-07
Alper Atamturk
A distributed machine for Safe Ambients
1970-01-01
Future Goals for Ontario Colleges and Universities
1998-01-27
DICE: a Discovery Environment integrating Inductive Bias
2001-01-29
The Nomadic Pict System Release 1.0a - Documentation And User's Manual
2000-12-19
Pawe L T. Wojciechowski
Algorithms For Optimal Spline Interpolation
2000-08-31
J. Kobza
The ARGO Autonomous Vehicle
1999-11-05
Dct Quantization Noise In Compressed Images
2000-12-09
Filamentous phage infection: crystal structure of g3p in complex with its coreceptor, the C-terminal domain of TolA
2001-01-22
Towards A Model for Making A Trade-off Between QoS And Costs
2001-02-06
Cutting Circles into Pseudo-segments and Improved Bounds for Incidences
2001-01-11
Addressing Variability in a Guidance, Navigation, and Control Flight Software Product Line
2000-09-26
Experimental Evaluation of Loss Perception in Continuous Media
2001-02-02
Submitted to
1997-07-15
Is There a Skills Crisis? - Trends in Job Skill Requirements, Technology, and Wage Inequality in the United States
2001-01-22
Michael J. Handel
GammaDeltaTheta XiPi
1999-03-31
Development Of Absorbents And Hardware For Removal Of
1997-06-19
P. K. Sharma
Institutional Scholarship Awards: The Role of Student and Institutional Characteristics
2000-11-13
Donald E. Heller
Recent Progress In Alegra Development And Application To Ballistic Impacts
1999-05-13
Contention-free Complete Exchange Algorithm on Clusters
2001-02-08
Study of E/p matching for ECAL calibration with W decays in CMS
1998-04-02
A. Nikitenko
A Layered Optimizer For Mining Association Rules Over Relational Database Management Systems
2000-07-24
Mahesh Dudgikar
Examination of the Effects of Bottlenecks and Production Control Rules at Assembly Stations
1999-04-18
Timothy M. Elftman
Typhoid Immunization
1970-01-01
Efficient Computation of Multiplicative Inverses for Cryptographic Applications
2001-01-22
M. A. Hasan
Intelligent System for document retrieval and access to scientific documents for visually deficient users.
2000-04-24
Learning Bayesian Networks For Solving Real-World Problems
1998-04-29
Orthonormal Realization Of Fast Fixed-Order Rls Adaptive Filters
2001-01-30
Distribution
1999-07-02
Consistent Belief Reasoning in the Presence of Inconsistency
1993-09-15
Jinxin jason Lin
Ontology-based Information Selection
2000-10-17
Latifur R. Khan
The Multilingual Generation Game: authoring fluent texts in unfamiliar languages
2000-10-06
Donia R Scott
Vertex-reinforced random walk on Z has finite range
1999-08-05
General Rating Models
2000-03-04
W. A. Fels
Making Parallel Programming Accessible to Inexperienced Programmers through Cooperative Learning
2001-02-01
SISSA/ISAS Via Beirut 4, 34014 Trieste , Italy and Universit a Di Roma la Sapienza", Dipartimento di Fisica G10 Teorico P.le Aldo Moro, 00185 Rome, Italy
2000-05-26
Pierluigi Contucci
An Analytic Solution To Single Nucleotide Polymorphism Error-Detection Rates In Nuclear Families: Implications For Study Design
1999-10-07
Nomad: A Scalable Operating System for Clusters of Uni and Multiprocessors
1999-09-09
Mathematics of
1998-11-05
David H. Bailey
Path Trajectory Verification for Robot Manipulators in a Manufacturing Environment
2000-10-04
H. J. Yeh
Topology Optimization of Actuators Using Structural Flexibility
2000-06-29
A REPORT TO CONGRESS Surface Transportation Research and Development Plan
1998-01-26
The Risk-Spread Option In A Potential Theoretic Framework
2000-06-28
Michael C. Swearingen
Towards a New Computational Model for Engineering Software Systems
1995-01-17
Connecting OCL with the Rest of the World
2001-01-19
NSL - Neural Simulation Language
2001-01-10
Improved estimators for constrained Markov chain models
2001-02-07
A Snap-On Placement Tool
1970-01-01
A Uniform Approach to Inter-Model Transformations
2000-09-05
Development of a Distributed Geoprocessing Service Model
2001-02-05
Jet Propulsion Laboratory
1997-07-12
Carl F. Bruce
Dual differential geometry associated with the Kullback-Leibler information on the Gaussian distributions and its 2-parameter deformations
1999-09-16
Efficient Simulation of Formal Processor Models
1999-03-05
Universit at Konstanz
1996-10-10
A Note on Interactive Theorem Proving with Theorem Continuation Functions
1999-04-19
Ching-tsun Chou
Chiral Corrections to Vector Meson Decay Constants
2000-12-12
Efficient Specification-based Oracles for Critical Systems
2000-06-06
Reference Manual Version 1.1
1997-02-04
Equational Reasoning In Saturation-Based Theorem Proving
1998-02-20
Leo Bachmair
Some Properties of Majorant-Computability
1998-11-27
Non-Constructible Complexes and the Bridge Index
2000-11-22
Scaling Exponents in Fully Developed Turbulence From Nonextensive Statistical Mechanics
2001-01-16
Christian Beck
Massively Parallel Distributed Computing: World's First 281 Gigaflop Supercomputer
1995-09-14
Prevention and Control of Influenza
1970-01-01
Environmental Assessment Remediation Of Subsurface And Groundwater Contamination At The Rock Springs
2000-10-25
Illuminant Estimation: Beyond the Bases
2001-01-16
From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition
2000-09-15
A Fault Tolerant Routing Algorithm Based on Cube Algebra For Hypercube Systems
1999-11-08
Topological Insights from the Chinese Rings
2000-06-21
Lessons For Other Industries From Australia's Booming Wine Industry
2000-05-26
Kym Anderson
A Hierarchical Fair Service Curve Algorithm for Link-Sharing, Real-Time and Priority Services
2000-02-22
Analysis for Concurrent Objects
1997-04-21
CH-SAT: A Complete Heuristic Procedure for Satisfiability Problems
1999-12-21
Jin-kao Hao
Prospects For Closer Economic Relations Between Europe And East Asia
1999-12-07
Splitting Synchronization from Algorithmic Behaviour
1998-04-28
Stephan Reitzner
The Ordinal Quartet Method
2000-02-04
Paul E. Kearney
Youth in Cyberspace - Interplay Between ICT, Psychosocial . . .
2000-08-01
Ulrika Danielsson
Cohesion and Coherence in Programs
2001-01-19
Cyang@illiac.ecs.umass.edu Vigyan@cadence.com Ciesiel@illiac.ecs.umass.edu
1999-04-16
The ClassCombiner: A Framework for Supporting Subjectivity in Class-Based Object-Oriented Systems
1998-01-14
Mira Mezini
An Approach to Task Attribute Assignment for Uniprocessor Systems
2000-02-08
Use of TCP Decoupling in Improving TCP Performance over Wireless Networks
2000-09-18
S. Y. Wang
Inputs on 8/28/87 Minus Estimated
1999-10-20
A Mathematical Method for ErgonomicBased Design: Placement
2000-10-13
Preliminary Hazard Classification for the Remediation of the 100-H/HR Area Remaining Sites Confirmatory Sampling Effort
2000-09-26
Agile Application-Aware Adaptation for Mobility
1999-07-15
Predictable Routing
1970-01-01
A Class Of Unitarily Invariant Norms On
2001-01-15
SvPablo: A Multi-Language, Architecture Independent Performance Analysis System
2000-09-18
Design Of A Thermo-Hydraulic Model Library In MODELICA
1998-06-04
Risk Agoras: Using Dialectical Argumentation to Debate Risk
2000-05-09
Simulation of cortex-like neural networks on a CNAPS SIMD neurocomputer
2000-12-03
Optimal Strategies for a Replacement Model
2000-05-01
Rotation Numbers For Quasi-Periodically Forced Monotone Circle Maps
2000-12-11
Conclusions
2001-01-02
Ontology-Driven Geographical Information Retrieval
2000-06-27
Multirate Scheduling for Guaranteed and Predictive Services in ATM Networks
1999-10-29
Culture and Control in a Media Space
2000-07-10
Paul Dourish
Central Scheml For Balance Laws Of Relaxation Type
2000-11-07
Performance Issues in Web Proxies
1999-04-15
Hyperplane Sections of Convex Bodies in Isotropic Position
1999-09-10
Matthieu Fradelizi
Cms Note 1998/004
1998-01-26
P. M. Pardalos, Editor, pp. 1-23 Towards Implementations of Successive Convex Relaxation Methods for Nonconvex Quadratic Optimization Problems
2000-11-14
Connecting Homes to the Internet: An Engineering Cost Model of Cable vs. ISDN
1998-07-21
Changing Work Practices in Design
2000-08-01
Gröbner Bases: a Tutorial
1998-08-18
Mike Stillman
Integer Wavelet Transform for Embedded Lossy to Lossless Image Compression
2000-11-27
Information Extraction with HMM Structures Learned by Stochastic Optimization
2001-02-02
Resultant Over the Residual of a Complete Intersection
1970-01-01
A New Decomposition of Derangements
2001-02-07
The Uncapacitated Lot-Sizing Problem With Sales And Safety Stocks
2000-02-03
Does Multimedia Information Help People Learn?
1995-09-15
Lawrence J. Najjar
A Stochastic approach to the Virasoro anomaly in quantization of strings in flat space
1999-12-29
Integrated Planning of ATM Networks Using the Tool LINDA
1999-12-17
Jochen Frings
Gulliver Beans: Generating Device Optimized and Individualized Content for WAP Applications
2000-03-10
The Effect of Information Retrieval Method Using Dependency Relationship Between Words
2000-04-24
A Model of Trickle Down Through Learning
2001-01-18
Random Walk Theory of Jamming in a Cellular Automaton Model for Traffic Flow
2001-01-23
Thermodynamic Behavior of the Bogoliubov Weakly Imperfect Bose-Gas
2000-12-03
Extension of the PAC Framework to Finite and Countable Markov Chains
2001-01-03
David Gamarnik
Multimedia Systems I: Multimedia Editing Tools
1998-01-08
Development and Testing of a High Level Axial Array Duct Sound Source for the NASA Flow Impedance Test Facility
2001-02-05
Bridging the Gap: The Role of Spatial Information Technologies in the Integration of Traditional Environmental Knowledge and Western Science
2000-01-25
CryptoCache: A Secure Sharable File Cache for Roaming Users
2000-06-26
Christian D. Jensen
Solving the Birkhoff Interpolation Problem via the Critical Point Method: an experimental study
2000-11-27
Simultaneous Multithreaded DSPs: Scaling from High Performance to Low Power
2001-02-05
Acknowledgments
1996-03-22
Determining the CP of a Higgs Particle at a Future Linear Collider
1998-10-28
Information on Hydrologic Conceptual Models, Parameters, Uncertainty Analysis, and Data Sources for Dose Assessments at Decommissioning Sites
2000-08-18
Context Trees
2001-01-22
Regional Model For Rural Land Use Planning: An Application Of Goal Programming
2000-05-26
Strong Barrelledness Properties in Lebesgue-Bochner Spaces
2000-10-14
-Action without Categorical Quotient --- Revised Version ---
1999-01-28
J Urgen Hausen
Internal Residue Loss From H
1999-07-28
Non--Equilibrium Approach to Dense Hadronic Matter
1997-02-13
A Programming Interface for Application-Aware Adaptation in Mobile Computing
2000-07-08
July 1993
2000-08-01
Ivan Valtchanov
1999-07-15
Symbolic Simulation of the JEM1 Microprocessor
1999-03-05
David A. Greve
Preemptively Scheduling Hard-Real-Time Sporadic Tasks on One Processor
2000-08-04
An Experimental Testbedfor Embedded Real Time Ada 95
2000-02-18
A Burns
Management Of Production In Construction: A Theoretical View
1999-08-04
Lauri Koskela
Syntactic Type Soundness for the Region Calculus
2000-08-22
Determining Interference Between Pairs Of Solids Defined Constructively In Computer Animation
2000-10-03
Optimal Contract Design: For Whom?
2001-01-29
Using Graph-Grammar Parsing for Automatic Graph Drawing
1995-07-25
Using Versions in GIS
2000-05-16
Claudia Bauzer Medeiros
Bose-Einstein Correlations Between Particles from Different Ws in ... Events
2000-06-30
Nelli Pukhaeva
Adding Constraints to Logic-based Formalisms
2000-11-15
Michael J. Maher
Hardware generation and partitioning effects in the COSYMA system
1998-10-24
Th. Benner R. Ernst
Optimizing The Location Of Harvesting Equipment And Access Roads
2000-05-26
R. L. Church
Optimal Paths in Weighted Timed Automata
2001-01-24
Virtual Synchronization: Uncoupling Synchronization Annotations from Synchronization Code - An Event Model for . . .
1998-05-13
Stephan Reitzner
Academia, Industry and Consulting firms in Collaboration - A Value-Based Analysis of . . .
2000-08-01
Design of RapidBase - an Active Measurement Database System
2000-06-05
Wireless Application Protocol, Wireless Application Environment Overview, Version 1.3
2000-07-20
Unknown
2000-01-31
Form and Content: Dissociating Syntax and Semantics in Sentence Comprehension
2000-10-29
Acanthamoeba
1999-05-21
Incremental Redefinition of Open Implementations
1998-01-14
Mira Mezini
A Java/CORBA based Visual Program Composition Environment for PSEs
2000-07-04
Combining Interval Constraint Solving Methods
2000-05-05
Laurent Granvilliers
Inspection
1999-01-24
Alastair Dunsmore
Global Modeling and Data Assimilation
1997-04-03
A lattice path model for the Bessel polynomials
1999-03-31
Jim Pitman
Composition Operators On Hardy Spaces Of A Half-Plane
2000-11-28
Valentin Matache
First Passage Time For Random Walks And Birth-And-Death Processes With Sign Depending Transition Probabilities
2000-08-21
Anna Carlsund
On the Analysis of a Simple Evolutionary Algorithm on Quadratic Pseudo-Boolean Functions
2001-01-30
The AKNS-hierarchy
2000-07-27
G. F. Helminck
Refinement of Orthogonal Graph Drawings
1999-10-27
Towards the Next Generation Information Retrieval
2000-04-24
Extending HCI in the Computer Science Curriculum
2000-12-06
New Counterexamples to Pole Placement By Static Output Feedback
2001-01-10
Multi-chromosome Mixed Encodings for Heterogeneous Problems
2000-06-15
RFC911 RFC.net Page 1 of 42
1970-01-01
Paul Kirton
Switchboard SWBD-DAMSL Shallow-Discourse-Function Annotation Coders Manual, Draft 13 Daniel Jurafsky*, Elizabeth Shriberg+, and Debra Biasca*
1998-02-27
X.1. The metaphors invoked
2000-06-15
Post-Riemannian Spacetimes Admit a Causal Structure
1997-08-01
O. Megged
Algorithms for Scheduling Real-Time Tasks with Input Error and End-to-End Deadlines
2000-11-21
Signal and Background Separation
2000-09-17
Self-Interacting Random Motions
2001-01-16
A Tale of Two Cycles: Co-fluctuations between UK Regions and the Euro Zone
2001-01-18
A Strong Winner-Take-All Neural Network In Analogue Hardware
2000-12-03
. Purpose
1999-01-29
Socially Intelligent Agents to Improve the Effectiveness of Educational Games
2000-08-09
Cooperation Structures
2000-12-06
Essential Laminations in Seifert-fibered Spaces
1995-12-14
Mark Brittenham
Wide Baseline Stereo Matching based on Local, Affinely Invariant Regions
2000-09-18
The Software Architecture of a Distributed Problem-Solving Environment
2000-07-11
A Block Version of the Eskow-Schnabel Modified Cholesky Factorization
1996-03-28
Michel J. Dayd'e
Assessing Students' Learning When Using Software ENGINEERING WEBWORLDS
2000-11-06
Peter D Chalk
Macsyma Program For The Painleve Test Of Nonlinear Ordinary And Partial Differential Equations
1999-12-16
Sandpiles and Order Structure of Integer Partitions
2000-03-17
Unifying Tree-Decomposition Schemes for Automated Reasoning
2001-01-11
Recognizable Subsets of the Two-Letter Plactic Monoid
1999-04-24
Business Reply Mail
1998-10-28
On Local Convexifiability Of Type Four Domains In C
1999-06-15
Martin Kol A R
Designing a Global Name Service
2001-01-15
Butler W. Lampson
Coherent and Squeezed Condensates in Massless
1996-07-26
Persistently Laminar Tangles
1998-07-22
Mark Brittenham
Extended Markovian Process Algebra: A Case Study
1999-12-01
Marco Bernardo
Children in the Information Society: addressing tomorrow's Unified Environments of Use
2000-09-25
U.S. Department of Justice
2000-04-27
Unknown
2000-01-27
Modularity of Confluence: A Simplified Proof
2000-03-06
A Logical Approach to Specification of Hybrid Systems
1999-03-29
A FRAMEWORK FOR ANALOG STUDIES OF MARS SURFACE OPERATIONS Using the Flashline Mars Arctic Research Station
2001-01-27
William J. Clancey
Introduction to Intelligence in Mobile Communication - Information Security Perspective
2000-08-01
Structure in Approximation Classes
1997-10-04
Relation Between Weight Distribution And Combinatorial Identities
2000-04-02
Jon-lark Kim
The Jackknife In Classification
1999-06-29
Estelle Martin
Evaluating the Impact of Coherence Protocols on Parallel Logic Programming Systems
1996-10-31
Constraint Programming within CLIPS
1997-06-05
An Addition to Art Galleries with Interior Walls
2000-05-02
New Approaches to Multimedia Navigation
1999-03-11
SpecCharts: A VHDL Front-End for Embedded Systems
1998-03-19
Circuits and Expressions with Non-Associative Gates
1997-01-10
Quantum Relaxation of
1999-01-29
Random Spaces Generated By Vertices of the Cube
2000-09-02
Statistical comparison of images using Gibbs random fields
1999-07-29
Stable Manifolds of Holomorphic Diffeomorphisms
2001-01-29
Mattias Jonsson
Visualizing Complex Hypermedia Networks through Multiple Hierarchical Views
1995-04-04
A Computing Model of Product Lines for Distributed Processing Systems, its Product Sets, and its Applications
1970-01-01
Yoshitomi Morisawa
Sous-ensembles rationnels de Z^k, théorème de Popoviciu et valuation des polyèdres
2000-05-25
Quantifying the utility of building agent models: An experimental study
2000-04-07
Miscellaneous Properties of embeddings of Line, Total and Middle Graphs
1999-12-28
Working Paper 99.05
2000-05-09
Standards to Make Natural Language Resources Shareable Resources
1995-11-04
Enforcing Architecture Constraints
1998-02-23
Robert Balzer
Optimierung
2000-11-06
Polynomial Frames on the Sphere
2000-10-10
Distributed Path Selection for Storage Networks
2000-07-06
Aspects of Network Visualization
1999-10-20
Stephen G. Eick
Flexible Connection Control for Multimedia Broadband Networks
1999-12-23
Bose-Einstein and Colour Interference in W-pair Decays
2000-12-12
Jari Hakkinen
Various Interpretations of Quantum Mechanics
1999-01-27
Blowing up in Rigid Analytic Geometry
2000-10-14
Hans Schoutens
A push in the right direction - Supporting spectators during the . . .
2000-08-01
Senja Edvardsson
On Horn Envelopes and Hypergraph Transversals Extended Abstract
2000-02-01
Vincent Tam and Rakesh K. Gupta
2001-01-29
Ray Theory for a Locally Layered Random Medium
1999-12-01
Early Stages of Plume Dynamics in Matrix-Assisted Laser Desorption Ionization
1999-07-28
Computational Algebraic Geometry Today
2001-01-09
School of Physics Computer System Manual
1995-03-08
Lloyd C. L. Hollenberg
Design of the RIO Randomized I/O Storage Server
2000-05-24
A Distributed Resource Controller for QoS Applications
2000-04-05
Laboratoire de l'Informatique du Paralllisme
2000-09-08
On Testing the Topological Equivalence of Spatial Databases
1999-11-12
Fast Similarity Search in Three-Dimensional Structure Databases
2001-01-23
Collaboration in Public Sector - Enabling Conditions for Groupware Introduction
2000-08-01
Results From The First World Wide Web User Survey
1994-05-18
Time Diary Measures Of Investment In Young Children
1998-10-30
Analysis and Modelling of Collaborative Learning Interactions
2000-12-18
Towards A Global Financial Architecture: Capital Mobility And Risk Management Issues
1999-08-16
Pilot-Autopilot Interaction: A Formal Perspective
2001-01-27
Asaf Degani
Discriminant-EM Algorithm with Application to Image Retrieval
2000-07-06
Applying the SCR* Requirements Toolset to DS-1 Fault Protection
1998-02-05
Deuteron Production in E
2000-12-12
Practical Issues in Process Reuse
1996-10-02
Dewayne E. Perry
A Note on Toric Contact Geometry
1999-09-17
Generation and Loading Guide
1998-09-21
Information Extraction From Non-Segmented Text
2000-04-24
Structural Elucidation Studies on Rapamycin
1999-07-28
Gulliver Beans: A Tool for Fine Tuning Data Delivery in E-Commerce Applications
2000-09-21
IntegratingaPart Relationship into an Open OODB System using Metaclasses
2000-08-01
Worst-case complexity of the optimal LLL algorithm
1999-11-20
From Weight Enumerators to Zeta Functions
2000-08-31
Iwan Duursma
A Note on Tightness
1999-07-29
Imprecise Computation Methods in Measurement
1996-10-15
Expanded Plain T E X
2000-11-09
Distributed Directory: Cache-consistency scheme for Scalable, High performance shared memory machines
1996-05-06
Automated Optimal Design of Mechanical Conformational Switches
2000-06-29
Effects of Corona Plasma Discharge on Whole Bacterial Cells for Characterisation by Mass Spectrometry
1999-07-21
A General Solution of the n-dimensional B-tree Problem
2000-07-24
Michael Freeston
Exactly Learning Automata with Small Cover Time
2000-11-22
Infuse: Fusing Integration Test Management with Change Management
1996-10-01
Layered Learning
2000-04-16
Peter Stone
Copyright 1996 Sugih Jamin
1996-08-02
Sugih Jamin
Synchronous IPC over Transparent Monitors
2000-11-16
Intraday Stock Index Futures Arbitrage With Time Lag Effects
2000-11-29
On a Parallel Multilevel Solver forLinear Elasticity Problems
1999-02-05
Alexander Padiy
Protein Folding by Restrained Energy Minimization and Molecular Dynamics
2001-02-06
NC Verification Of Up To 5 Axis Machining Processes Using Manifold Stratification
2000-10-03
Dynamics on K3 surfaces: Salem numbers and Siegel disks
2001-02-04
Curtis T. Mcmullen
Availability Study of Dynamic Voting Algorithms
2001-01-18
Case Constraints and Empty Categories in Optimality Theory Parsing
2001-01-04
Ron Artstein
INTEGRATED COMPUTER MODELING OF ENGINEERING DESIGN INFORMATION F. A. Salustri
1995-11-01
F. A. Salustri
Computer-Assisted Design of Image Classification Algorithms: Dynamic and Static Fitness Evaluations in a Scaffolded Genetic Programming Environment
1996-05-15
Analysis of a Fair Exchange Protocol
2000-02-24
Etsi Ts 100 946
2000-04-10
GPSR: Greedy Perimeter Stateless Routing for Wireless Networks
2000-09-18
Statistical Analysis Interference Between Earth Stations and Earh-Orbiting Satellites
1997-06-09
Heel Sampling End Effector
2000-09-13
Characterization of Contact Electromechanics through Capacitance-Voltage Measurements and Simulations
1999-07-12
Elliptic Curve Cryptography On Smart Cards Without Coprocessors
2000-12-12
Theory and Practice of Enterprise JavaBean Portability
1999-07-02
The Sign Representation for Shephard Groups
2000-11-23
Spatio-Temporal Optical Computing: Its Concept and Applications
2001-01-30
Yoshiaki Yasuno
A New Scheduling Algorithm for General Strict Multithreaded Computations
1999-05-07
Aggregation Nu Ber Distribu Andmesoglobu Indilu Solu of Diblock and Triblock Copolymers
2001-02-02
Coordinating the activities of a Planner and an Execution Agent
1999-11-11
Alternative Tilings for Improved Surface Area Estimates by Local Counting Algorithms
2000-06-02
Erik G. Miller
A Kalman-Filter Method for Power Control in Broadband Wireless Networks
1999-09-26
Kin K. Leung
-D, 105-DR, 105-F, and 105-H Decontamination and Decommissioning Interim Safe Storage Project Environmental Control Plan
2001-01-15
H Decontamination
Efficient and Exact Quantum Compression and Molecular Scale O°K Heat Engines
1999-07-21
John H. Reif
On the Geometry of Two-Dimensional Slices of Irregular Level Sets in Turbulent . . .
2000-08-16
Ecological Ecological----Economic Analysis Economic Analysis and Valuation of Biodiversity and Valuation of Biodiversity
2000-11-23
Designing a Senior Capstone Course to Satisfy Industrial Customers
1998-04-28
Park Worker Trainingat The East Tennessee Technology Park
2000-09-25
Elizabeth L. Dagley
Strategic Approaches To Community Safety Initiative
2001-01-17
Algorithmic Patterns for Orthogonal Graph Drawing
2000-08-24
Kava: A Java Dialect with a Uniform Object Model for Lightweight Classes
2001-01-26
David F. Bacon
A Necessary Condition for Constructive Negation in Constraint Logic Programming
2001-01-25
A Panorama of Hungarian Mathematics in the Twentieth Century: Non-Commutative Harmonic Analysis
2001-01-08
Jonathan Rosenberg
A Multi-level Approach to Biologically Inspired Robotic Systems
2001-01-10
On Minimalist Attribute Grammars and Macro Tree Transducers
2000-08-15
Weighting Schemes for Audio-Visual Fusion in Speech Recognition
2001-02-06
Dimension Reduction Method: Preprocessing for Interactive Association Rule Mining with Item Constraints
2000-10-04
A Delay-Sensitive Error Control Scheme for Continuous Media Communications
2001-02-06
Utility Maximising Dynamic Route Selection in Acyclic Stochastic Networks
1999-09-28
Average Case Analysis of Dynamic Geometric Optimization
2001-01-29
One-step Local Quasi-Likelihood Estimation
1998-01-27
Blind Equalization via Approximate Maximum Likelihood Source Separation
2001-01-30
Seungjin Choi
Binary Decision Diagrams by Shared Rewriting
2000-09-25
Optimizing Incremental View Maintenance Expressions in Relational Databases
1996-11-10
Dimitra Vista
Theoretical Foundations of Schema Restructuring in Heterogeneous Multidatabase Systems
2001-01-31
Joseph Albert
Smart Tools for Java Cards
1970-01-01
Improving Learning Performance Through Rational Resource Allocation
1997-06-26
Jonathan And
Pricing And Hedging In Incomplete Markets
2001-02-06
A Measure of Landscapes
1997-01-15
Wim Hordijk
Probability Distribution Function of Tracer Differences and the Diffusive Scale in the Stratosphere
2001-02-01
AS/400 Advanced Series
1998-10-28
Incorporating Manual and Automatic Code Generation
1998-09-23
A Numerical Method For Solving Inverse Eigenvalue Problems
2000-04-11
Hua Dai
Decentralized Software Evolution
2001-01-18
Peyman Oreizy
Chaotic and Irreversible Properties of Quantum Scattering Systems
2000-08-24
Computation With Infinite Neural Networks
1998-08-17
Christopher K. I. Williams
Proceedings of the 30th Annual Project ManagementInsC27v 1999Seminars SymposvD Philadelphia, PennsDDvRBD USA: Papers Pres nted October 10 to 16, 1999
1999-10-13
From Local to Global Consistency in Temporal Constraint Networks
1999-09-23
Manolis Koubarakis
An Extension of The Herault-Jutten Network to Signals Including Delays for Blind Separation
2000-09-01
Definition of Extermal Schemas and Derived Classes in Object Oriented Databases
1999-12-07
Radiation Effects on Fused Taper Wavelength Division Multiplexer
1997-07-15
Application of New Methods to Regular Water Hygiene Control
1999-05-21
Situated Representation: Solving The Handcoding Problem With Emergent Structured Representation
1999-10-26
Let's Talk! Socially Intelligent Agents for Language Conversation Training
2000-12-18
Text Retrieval by using k-word Proximity Search
2001-02-07
Kunihiko Sadakane
Georgia's Timber Industry- An Assessment of Timber Product Output and Use, 1997
2000-04-17
PaDDMAS: Parallel and Distributed Data Mining Application Suite
2000-07-06
Combining MBP-Speculative Computation and Loop Pipelining in High-Level Synthesis
1998-10-24
Directed Tree Networks
2000-07-21
Structure and Motion of Curves and Surfaces
2001-02-08
Wong Kwan-yee Kenneth
Integrating Meeting Results In Organisations
2000-05-15
Intelligent Data Analysis in Medicine
2000-10-03
Multi-Statistic Enumeration of Two-Stack Sortable Permutations
1998-03-17
Mireille Bousquet-mlou
Real Hyperbolic on the Outside, Complex Hyperbolic on the Inside
2000-12-02
Richard Evan Schwartz
The Effect Of Additive Rate Shocks On Duration And
2000-11-27
A style option to adapt the standard LATEX document styles to A4 paper
2000-11-10
Johannes Braams
Des Bornes Exactes De La Complexite Des Algorithmes Sequentiels De Recherche D'un Motif
2000-10-14
Euclidean Invariant Computation of Stochastic Completion Fields Using Shiftable-Twistable Functions
1999-12-13
A Reversible Averaging Integrator for Multiple Time-Scale Dynamics
2000-05-06
Adaptive and Neural Methods for Image Segmentation
2001-01-31
Joydeep Ghosh
Java PathFinder A Translator from Java to Promela
1999-09-30
Klaus Havelund
Acoustic Pulse Shaping and Localization in a Random Fractal
2000-01-04
K. Slna
Safe Ambients: Control Flow Analysis and Security.
2001-02-01
Report Title
1999-11-29
MECHANISM OF HETEROGENEOUS NUCLEATION OF-Fe NANOCRYSTALS FROM Fe
2000-09-07
Management of multimedia resources: from a generic information model to its application to an MPEG2 video codec
1999-05-06
Observational Methods for the Study of Optical Turbulence
2001-02-07
Remy Avila
Evolution of Market Uncertainty around Earnings Announcements
2000-03-28
Past Research Activities
2000-09-02
Anders Hansson
Test of several external posterior weighting functions for multiband Full Combination ASR
2001-02-06
Martigny Valais Suisse
Dynamic Cross-linking by
2000-11-16