A Note On Error Bounds For Approximation In Inner Product Spaces
1995-03-01
VRML++: A Language for Object-Oriented Virtual-Reality Models
1997-10-13
Stephan Diehl
Design and Maintenance of Data-Intensive Web Sites
1997-06-17
Automatic Differentiation as Nonarchimedean Analysis
1997-11-09
Contention Resolution In Hashing Based Shared Memory Simulations
1999-03-04
Atomic Spectroscopy
1996-11-05
Finite Sequences and Tuples of Elements of a Non-empty Sets
1970-01-01
Crystalline Computation
1998-04-09
Whiskered tori with prefixed frequencies and Lyapunov spectrum
1997-04-26
Simulating the Transmission of Wealth Inequality via Bequests
1998-09-15
Simple Analytical Models of Genetic Algorithms for Multimodal Function Optimization
1994-04-19
Samir W. Mahfoud
Unitarity of Highest Weight Modules for Quantum Groups
1997-05-05
Hans Plesner Jakobsen
Path Problems In Skew-Symmetric Graphs
1970-01-01
Multi-View Subspace Constraints on Homographies
1999-08-10
A Framework For Shared Applications With A Replicated Architecture
1993-07-28
Statistical Inference and Perfect Simulation for Point Processes Observed With Noise
2000-02-24
Jens Lund
Analogy in Problem Solving
1996-07-25
A Future for Usability Engineering
2000-05-23
Harold Thimbleby
Bi-directional AES/EBU Digital Audio and Remote Power over a single Cable
1999-09-28
Adrian Freed
User Models, Dialog Structure, and Intentions in Spoken Dialog
1998-07-10
The O++ Database Programming Language: Implementation And Experience
1994-01-02
Language Engineering for the Recovery of Requirements From Legacy Documents
1970-01-01
Numerical Simulation and Immersive Visualization of Hairpin Vortices
1999-08-23
Sierpinski Gasket as a Martin Boundary II The Intrinsic Metric
1999-08-05
Challenges to Combining General-Purpose and Multimedia Processors
1997-12-11
The X-ray source in non-magnetic cataclysmic variables
1996-04-17
A Virtual Testbed for Analysis and Design of Sensorimotoric Aspects of Agent Control
1996-05-30
Simultaneous Confidence Bands For Linear Regression And Smoothing
1996-05-30
Two-Value Hopping and Influences of Disorder in Oxidized Polyaniline
2000-06-19
How To Compute Antiderivatives
1970-01-01
Chris Freiling
The Formal Requirements Engineering of Manufacturing Systems
1994-11-21
A Method of Combining Multiple Probabilistic Classifiers Through Soft Competition on Dierent Feature Sets
2000-03-11
Which Optical Smoothing for LMJ and NIF ?
1997-11-06
On The Use Of Accelerated Aging Methods For Screening High Temperature Polymeric Composite Materials
1999-04-26
Balancing Of A High Speed Rotor In Aerodynamic Bearings
1999-06-11
Algebraic Analysis for Non-Regular Learning
2000-02-23
Sumio Watanabe
The Automatic Assessment Teaching of Software Development Work
1996-10-21
Chronological Objects for Data Analysis
1996-07-29
Watermarking Graph Partitioning Solutions
1970-01-01
Enabling Department-Scale Supercomputing
2000-07-28
Counting Pairs of Lattice Paths By Intersections
1999-04-29
How to Encourage Cheating with Virtual Path Policing in ATM Networks
1997-10-10
A Sharp Result Concerning Cercles DeRemplissage
1998-06-04
Elliptic Curves And Primality Proving
1997-05-30
Output Power and SNR Swings in Cascades of EDFA's for Circuit- and Packet-Switched Optical Networks
1999-05-12
Approximating UNITY
1998-01-09
Jurgen Dingel
An Evaluation of Software Cacheing in Astrophysical n-body Simulation Codes for the Fujitsu AP1000
1997-07-03
Annotating Real-World Objects Using Augmented Reality
2000-10-10
Mobile Ad Hoc Networking and the IETF
1999-08-23
Contact Sensing from Force Measurements
1970-01-01
Normal forms and complex periodic orbits in semiclassical expansions of Hamiltonian systems
1998-09-15
P. Leboeuf
Integrating Formal and Informal Specification Techniques. Why? How?
1999-01-22
Semantic Classification for Practical Natural Language Processing
1999-04-28
Probabilistic Maximal Covering Location-Allocation Models for Congested Systems
1999-09-30
The Accommodating Function -- a generalization of the competitive ratio
1999-04-14
Characteristics And Economics Of High-Efficiency Gas Turbine Cogeneration Systems Using Low BTU Gas
2000-11-01
I R I S a
1993-12-06
Yvon J
ater Quality aste Management
1998-03-12
Fast Rendering of Subdivision Surfaces
1996-03-14
Construction of Three Dimensional Solutions for the Maxwell Equations
1999-03-08
The NASA Langley 8-Foot Transonic Pressure Tunnel Calibration
1998-03-26
On the Geometry of a Go-Board
1970-01-01
Andrzej Trybulec
Handling Improvement For Robustly Decoupled Car Steering Dynamics
1996-09-17
A Case for Relative Differentiated Services and the Proportional Differentiation Model
1999-03-09
A Simple Method for Nucleon-Nucleon Cross Sections in a Nucleus
1999-04-06
The Automounter
1997-10-24
Michael Cowling, Saverio Giulini and Stefano Meda
1995-07-17
RELFUN Guide: Programming with Relations and Functions Made Easy
1996-07-31
Wearable Computing Meets Ubiquitous Computing: Reaping the best of both worlds
1999-10-02
Unknown
1997-04-30
Fast Construction of Irreducible Polynomials over Finite Fields
1999-04-07
Victor Shoup
Connectionist Modeling of Human Event Memorization Processes with Application to Automatic Text Summarization
1999-03-26
Analysis of the N-Dimensional Quadtree Decomposition for Arbitrary Hyper-Rectangles
1998-09-04
Specification and Animation of Reactive Systems
1970-01-01
This Dynamic Planet World Map of Volcanoes, Earthquakes, Impact Craters, and Plate Tectonics
1998-05-14
A Functional Object Database Language
1995-01-16
On a Class of Time Varying Shapers with Application to the Renegotiable Variable Bit Rate Service
2000-04-03
Construction of Miniversal Deformations of Lie Algebras
1997-01-24
Decomposable Elements in Eigenspaces of the Curvature Operator
1996-01-02
Mariusz Frydrych
Flexible Integration and Derivation of Heterogeneous Schemata in Federated Database Systems
1970-01-01
Ingo Schmitt
Fusion-Based Register Allocation
1999-04-05
Syntax as an Exponent of Morphological Features
2000-01-25
Parametric Methods for Pole Assignment
1997-03-06
DRAFT December 6, 1996 Chapter 1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1997-10-21
ROWMAP - a ROW-code with Krylov techniques for large stiff ODEs
1999-04-08
Vision-Based Speaker Detection Using Bayesian Networks
1999-04-13
Energy Constrained Error Control for Wireless Channels
1997-05-06
On The Complexity Of Polyhedral Separability
1995-09-22
Nimrod Megiddo
A Machine Assisted Formalization of Pointfree Topology in Type Theory
1997-02-20
Combining Trace Sampling with Single Pass Methods for Efficient Cache Simulation
1998-08-19
Translation Of Natural Operators On Manifolds With Ahs----Structures
1997-02-04
Andreas Cap
Computer Ear Training System
1995-01-09
Sandy Davidson
A Point Creation Strategy for Mesh Generation Using Crystal Lattices as Templates
2000-10-09
HPSG: Background and Basics
1997-10-09
Ivan A. Sag
Datatypes and Subtyping
2000-03-11
Magnetic and Thermal Properties of Superconducting and Related Materials
1998-04-21
Algorithm Evolution for Face Recognition: What Makes a Picture Difficult
1995-10-10
Spatio-temporal chaos. Errors and correction.
1997-07-16
On Some Estimation Problems With Information Constraints
1999-04-21
Pricing Bandwidth for ABR Rate Control and Multimedia Traffic
1999-01-27
A Simple Implementation of Divide and Conquer Parallelism expressed in Haskell
1995-02-06
Paul Roe
The Extratropical 40-Day Oscillation in the UCLA General Circulation Model. Part II: Spatial Structure
1996-09-20
Widget Standardisation through Abstract Interaction Objects
1996-07-18
Facult Es Universitaires
Batch Routing Queueing Networks With Jump-Over Blocking
1993-05-25
The Chronic Toxicity Of Quinacrine atabrine'
1998-07-11
Flexible Metric Nearest Neighbor Classication
1999-09-24
Jerome H. Friedman
Volatility in Emerging Stock Markets
1999-02-19
Workstation Cluster Computation from the Perspective of the User
1995-11-13
Clemens H. Cap
The CLOVER Rewrite Rules: A Translation from OOFP to FP DRAFT
1970-01-01
Lee Braine
The Static Single Assignment Form and its Computation
2000-03-11
Parallelizing the Spectral Transform Method: A Comparison of Alternative Parallel Algorithms
1994-03-30
Clean formal semantics for VHDL
1997-03-20
Ez Carlos Delgado Kloos
Exact Confidence Intervals For A Common Location Of Several Truncated Exponentials
1999-03-27
Formation of Dislocations in InGaAs/GaAs Heterostructures
1999-05-03
An Anti-Windup Input-Output Linearization Scheme for SISO Systems
1998-12-22
Francis Doyle
Statistical Analysis of Stochastic Resonance in a Simple Setting
1999-02-25
A Full 12-Bit Switched-Current DeltaSigma Modulator with SELF-CALIBRATION
1996-06-03
Beyond the cµRule: Dynamic Scheduling Of A Two-Class Loss Queue
1998-07-10
Quadratic vs Cubic Spline-Wavelets for Image Representation and Compression
1997-12-09
Melnikov Potential for Exact Symplectic Maps
1997-12-09
Performance Bounds for Estimating Vector Systems
2000-06-06
More Series related to the Euler Series
1999-04-29
Alexander Zelinsky
1999-05-19
Information Security in System Outsourcing
1997-11-03
A Combined Unifrontal/multifrontal Method for Unsymmetric Sparse Matrices
1970-01-01
Benefits of a Bayesian Approach for Synthesizing Multiple Sources of Evidence and Uncertainty Linked by a Deterministic Model
1995-11-30
The Geometry of Orthogonal Reduction Spaces
1999-01-24
Zurab Khasidashvili
Transient Numerical Simulation of Combustion in Inert Porous Media
1999-07-22
Interactive Multi-Resolution Modeling on Arbitrary Meshes
1998-05-20
Statistical physics of learning: Phase transitions in multilayered neural networks
2000-03-26
Structural and Vibrational Properties of a Soft-Sphere Glass: Influence of the Quenching Rate
1997-04-25
A Memetic Algorithm With Self-Adaptive Local Search: TSP as a case study
2000-04-06
New Developments In Niobium Titanium Superconductors
1998-05-14
Generalizing Full Rank Conditions in Heteroscedastic Censored Regression Models
1998-09-24
The simplest examples where the simplex method cycles and conditions where EXPAND fails to prevent cycling
1996-10-01
Managing The Overall Balance Of Operating System Threads On A Multiprocessor Using Automatic Self-Allocating Threads ASAT
1999-03-30
Charles R. Severance
Procedural Agent Model for Plan Recognition
1997-10-28
Jaeho Lee
A Timed Calculus for Distributed Objects with Clocks
1999-12-28
The Security of the Birational Permutation Signature Schemes
1996-05-23
Would International Currency Taxation Help Stabilise Exchange Rates And Avoid Currency Crises In Developing Countries?
1999-12-17
The Base-Rate Fallacy and its Implications for the Difficulty of Intrusion Detection
1999-11-09
Stefan Axelsson
The implementation of AKLFD
1995-08-22
Cs 736 Term Project Progress Report: A Web Cache Hierarchy Simulator
1998-12-10
Feng Tian
The Design and Implementation of a Java Playground
1997-09-19
Protocols And Caching Strategies In Support Of Internetwork Mobility
1997-02-26
Mitchell Paul Tasman
Squarefree Polynomials over Finite Fields and Regular Semisimple Classes of Certain Classical Groups
1997-12-03
Peter Fleischmann
Industrial Experience with Design Patterns
1997-10-26
Comparison of Several Decision Algorithms for the Existential Theory of the Reals
1997-04-08
Hoon Hong
Comparison Between Expert Listeners And Continuous Speech Recognizers In Selecting Pronunciation Variants
1999-03-16
Concurrent Haskell
1996-03-11
Software Infrastructure for the I-WAY High-Performance Distributed Computing Experiment
1997-07-21
Declarative PTIME Queries for Relational Databases using Quantifier Elimination
2000-07-03
Action-Reaction Learning: Analysis and Synthesis of Human Behaviour
1999-09-14
Error Estimates With Smooth And Nonsmooth Data For A Finite Element Method For The Cahn-Hilliard Equation
1997-04-29
Electrifying Images of the Slave Craton
2000-01-27
A Unified Approach To The Approximate Solution Of Pde
1998-11-08
Advances in Model-based Traffic Vision
1997-10-09
High-Level Design and Validation of ATM Switch
1997-12-09
Lower Bounds for Sorting Networks
1997-01-22
Cell Volume Control at a Surface for Three-Dimensional Grid Generation Packages
1995-03-09
oe-SSA and its Construction through Symbolic Interpretation
1996-06-06
Prediction of Chaotic Time-Series with a Resource-Allocating RBF Network
1998-01-09
Measurement Based Resource Allocation for Multimedia Applications
1999-02-04
A Survey of Logging Uses
1994-02-01
Michel Ruffin
A neural network based on sequence learning: Application to spoken digits recognition
1995-01-20
TOPS: An Architecture for Telephony Over Packet Networks
1999-03-02
P. P. Mishra
Animating Spatiotemporal Constraint Databases
1999-06-16
Detc97/cie-4292
1998-03-03
Exploring Surfaces through Methods from the Theory of Integrable Systems. Lectures on the Bonnet Problem
1999-08-09
Alexander I. Bobenko
A Combination of Preliminary Electroweak Measurements and Constraints on the Standard Model
1998-01-09
Constraints On The Standard Model
Some Arithmetic Properties Of Shanks's Generalized Euler And Class Numbers
1999-03-18
E. Teske
Singular Integral Equations on infinite Domains with Application to Scattering by infinite Lipschitz Surfaces - Case for Support
2000-05-17
Optimization of Dynamic Query Evaluation Plans
1993-12-13
Normalization of First-Order Logic Proofs in Isabelle
1999-12-20
Bo Kjellerup
-D Reconstruction and Camera Calibration from Images with known Objects
1996-03-16
Credit Union Policies and Performance in Latin America
2000-08-31
Consistent Specification Testing for Conditional Moment Restrictions
2000-03-02
Yoon-jae Whang
Mobility Management for Wireless Systems with Un-reliable Backhaul Links
1998-03-01
A Self-Certified Group-Oriented Cryptosystem Without a Combiner
1999-04-20
Shahrokh Saeednia
Customizing Mobile Applications
2000-03-24
Informal Qualitative Models: A Systematic Approach to their Generation
1995-07-07
Approximating Unstructured Task Parallelism in Series-Parallel Form
1999-07-05
A Generiv Prototype Model For Distributed Systems Based On High Level Object Oriented Specification
2000-08-23
Fabrice Kordon
Comparison Of Hypermixing Injectors Using A Mixture-Fraction-Sensitive Imaging Techinique
1999-03-11
Applying Morphological Constraints To Estimate Three-Dimensional Vocal-Tract Shapes From Partial Profile And Acoustic Information
1997-06-10
Interchangeability of Relevant Cycles in Graphs
2000-04-05
Computer-Aided Window Identification In Trident
1996-01-11
RadioNet Driver Implementation for the Mobile INTernet Router Walkstation II project
1997-02-26
Fixed Priority Scheduling with Deadlines Prior to Completion
1994-06-27
Simple Statistical Gradient-Following Algorithms for Connectionist Reinforcement Learning
1998-08-24
Ronald J. Williams
r-Domination problems on trees and their homogeneous extensions
1995-11-24
Feature selection for unbalanced class distribution and Naive Bayes
1999-07-21
Marko Grobelnik
An Uncertainty Principle For Hankel Transforms
1998-02-11
SVP: a Flexible Micropayment Scheme
1997-02-18
The Incentive for Vertical Integration
1995-04-14
Nicholas Economides
Analyses of Buckling and Stable Tearing in Thin-Sheet Materials
1998-06-04
A Delaunay Refinement Algorithm for Quality 2-Dimensional Mesh Generation
1999-01-23
Detailed Behavior of TCP over ATM
1970-01-01
Driven Quantum Tunneling
1999-01-25
GART: A New, Flexible Placement and Routing Tool for Research on FPGA Architectures
1999-01-20
Heuristics for Balancing Turbine Fans
1999-04-26
Connection Scheduling in Web Servers
2000-07-26
Levels of Quality of Service in CINEMA
1996-03-26
How Far Do Speakers Back Up In Repairs? A Quantitative Model
1998-08-28
ODE Object Database and Environment: The Language and the Data Model
1994-01-02
Online Routing in Triangulations
1999-08-07
Simulations of Computing by Self-Assembly
1998-05-31
Erik Winfree
Combined Compression and Classification with Learning Vector Quantization
2000-10-04
Spatial Variability Of Soil Water Retention Functions In A Silt Loam Soil*
1997-08-14
Contention-Aware Metrics for Distributed Algorithms: Comparison of Atomic Broadcast Algorithms
2000-10-30
A Comparison of Techniques for Diagnosing Performance Problems in Information Systems: Case Study and Analytic Models
1995-10-06
Joseph L. Hellerstein
Dynamically Discovering Likely Program Invariants to Support Program Evolution
1999-02-09
Lead-Lag Patterns Between Small and Large Size Portfolios in the London Stock Exchange
1999-03-09
HPP/TUD Cholesky by BLAS 1, 2 and 3 1998
1998-10-28
A Simple And Effective Cursive Word Segmentation Method
2000-10-27
S. Rimassa
Cooperative Mobile Robots Stuttgart: Architecture And Tasks
1997-10-30
KASKADE - Numerical Experiments
1995-10-26
Uniformly Convergent Finite Element Methods For Singularly Perturbed Elliptic Boundary Value Problems I: Reaction-Diffusion Type
1997-05-16
Jichun Li
Adaptivity And Judgment In Rule Verification Tasks: An Empirical Investigation
1999-05-27
Analysis and Modeling of World Wide Web Traffic
1998-05-07
Decomposing and Solving Timetabling Constraint Networks
1996-06-19
Zero-Relaxation-Time Limits in the Hydrodynamic Equations for Plasmas Revisited
1970-01-01
Anatomically Guided Neuronavigation:
1998-01-29
On the Significance of the Observed Clustering of Ultra-High Energy Cosmic Rays
1998-01-09
Gustavo A. Medina Tanco
Man-Portable Networked Sensor System
1998-12-01
A Scheme for Content-Based Image Retrievals for Unrestricted Query Formats
1998-10-06
Investigation of Nd-Ce-Cu-O Planar Tunnel Junctions and Bicrystal Grain Boundary Junctions
1998-09-21
Towards Autonomous Robot Control via Self-Adapting Recurrent Networks
1998-07-13
Tom Ziemke
Characterizing Multi-Contributor Causal Structures for Planning
1993-08-17
Subbarao Kambhampati
Computation of Localized Post Buckling in Long Axially-Compressed Cylindrical Shells
1996-09-04
Absolutely Continuous Selections From Absolutely Continuous Set Valued Map.
1999-06-21
Ivo Vrkoc
Radiation Transport Phenomena and Modeling Part A: Codes Part B: Applications and Examples
1970-01-01
From Physical Modelling to Compositional Models of Hybrid Systems
1994-09-14
Simin Nadjm-tehrani
SUSI -- A sophisticated Dialog Control for Event Based GUIs
1996-03-12
An Infrastructure for Network Computing with Java Applets
1998-03-09
Implementing Division and Other Floating-Point Operations: A System Perspective
1970-01-01
Agents with Faces: The Effect of Personification
1996-09-27
Networking Trends and Their Impact
1980-02-28
Raj Jain
Formal Methods For Life-Critical Software
1998-04-15
Comparison between JPEG, Block Wavelet Transform and Progressive Wavelet Transform for the Compression of METEOSAT Image Data
1970-01-01
Orbihedra Of Nonpositive Curvature
1997-08-13
Werner Ballmann
Medically Motivated Testbed for Reinforcement Learning in Neural Architectures
1999-03-10
An Adaptive Algorithm for Modifying Hyperellipsoidal Decision Surfaces
1970-01-01
I R I S a
1997-08-06
Analysis Of A FEM/BEM Coupling Method For Transonic Flow Computations
1997-09-02
Retrospective Registration of Tomographic Brain Images
1999-07-03
Coding, Decoding and Multiuser Detection for Wireless Communications
1998-03-12
Generalizations Of The Trust Region Problem
1993-03-25
<grapp@mail.utexas.edu>
1998-03-23
Testing non--perturbative strong interaction effects via the Adler function
1999-04-13
Enterprise Application Integration - Strategies for the Telecommunication Market
2000-10-25
Families of Subsets, Subspaces and Mappings in Topological Spaces
1970-01-01
Ground-Breed of
1996-09-20
A Knowledge Base for Structured Documents
1997-04-24
Statement-Level Communication-Free Partitioning Techniques for Parallelizing Compilers
1997-01-17
Synchronous Constrained Fluid Systems
1997-10-22
Application of Avalanche Photodiodes for Scintillating Fiber Readout
1997-09-10
Smithsonian Astrophysical Observatory, Cambridge, MA 02138, USA
1997-09-19
Genotypes with phenotypes: Adventures in an RNA toy world
1997-05-14
Peter Schuster
T E X 2
1997-03-23
/f Noise Of Indium Near The Melting Transition
1997-10-03
FORSCHUNGSZENTRUM J ULICH GmbH
1994-11-22
Samir W. Mahfoud
1995-04-21
Samir W. Mahfoud
Mpeg00/m5802
2000-04-20
Glosser-RuG: A User Study
1998-05-15
Aging and Loss-of-Coolant Accident LOCA Testing of . . .
1970-01-01
The EAGLESFormalisms Working Group - Final Report
1999-06-07
Unknown
1999-08-06
Master-Client R-trees: A New Parallel R-tree Architecture
1999-05-21
On Rotation Distance Between Binary Coupling Trees and Applications for 3nj-Coefficients
1999-02-17
Representation Dependence in Probabilistic Inference
1999-06-18
Quasi-Indexicals And Knowledge Reports
1995-11-08
Measurement of
1996-01-23
Limit theory for the sample autocorrelations and extremes of a GARCH1,1 process
1998-11-30
Thomas Mikosch
A Concept-Based Image Retrieval with Concept Pattern Predicates
1999-07-23
J. D. Yang
Controlling causal dependencies over a Secure Network
1970-01-01
Christel Calas
A Hierarchical Feature Based Deformation Model Applied to 4D Cardiac SPECT Data
1999-02-01
Typechecking for XML Transformers
2000-02-22
Learning to Predict Rare Events in Event Sequences
1998-09-23
Gary M. Weiss
Nonhomogeneous Navier-Stokes Problems In L p Sobolev Spaces Over EXTERIOR AND INTERIOR DOMAINS
1997-05-30
G. Grubb
Optimization Of Parallel Execution For Multi-Join Queries
1996-07-19
Statement-Level Communication-Free Partitioning Techniques for Parallelizing Compilers
1996-09-05
Structural Analysis of Workflow Nets with Shared Resources
1999-06-15
A Note On Exponentially Harmonic Morphisms
1998-10-22
Eric Loubeau
The Colin de Verdi`ere number and sphere representations of a graph
1997-02-07
Hybrid Modelling with Second Order Fluid Stochastic Petri Nets
1997-10-26
Face Localization via Shape Statistics
1997-05-07
M. C. Burl
Online Scheduling to Minimize Average Stretch
2000-09-20
Why Have Dendrites? A Computational Perspective
1999-02-19
Bartlett W. Mel
Fast Evaluation of Splines Using Poisson Formula
1996-06-05
D. Suter
Policy Based Roles for Distributed Systems Security
1997-03-11
Retrospection on the HERMES project: Implementation of a Heterogeneous Transaction Management System
2000-06-02
Derivation of Fuzzy Classification Rules from Multidimensional Data
1996-11-21
Studies in Secure Multiparty Computation and Applications
1970-01-01
Specifying Dynamic Properties From Cross-Sectional Data: Tests in Synthesized Economies
1999-09-17
Michael L. Mcintyre
An Analytical Method for the Inverse Kinematics of Redundant Robots
1998-04-27
Active Labor Market Policies, Job Matching and the Czech Miracle
1970-01-01
Self-Stabilization of Wait-Free Shared Memory Objects
1996-06-12
Jaap-henk Hoepman
Fast Numerical Integration of Relaxation Oscillator Networks Based on Singular Limit Solutions
1998-01-25
API Design Specification
1998-09-26
Parallel label-selective lambda-calculus LCEP
1995-03-30
DES and Differential Power Analysis - The "Duplication" Method
1999-12-23
Worst-case and Amortised Optimality in Union-Find Extended abstract
1999-09-24
Design and Evaluation of Incremental Data Structures and Algorithms for Dynamic Query Interfaces
1997-07-30
An Adaptive Stream Synchronization Protocol
1996-09-19
WarpNet: Self-Organizing Time Warping
1999-09-20
Kari Torkkola
Establishing an Argumentation Environment to Foster Scientific Reasoning With Bio-World
1970-01-01
An Integrated Congestion Management Architecture for Internet Hosts
1999-06-18
An Automatic Method for Generating Sense Tagged Corpora
2000-02-22
Notes on Recovering Symbolically Dated, Rooted Trees From Symbolic Ultrametrics
1997-11-13
Balancing the EuLisp Metaobject Protocol
1992-07-02
Harry Bretthauer
A Study in the Use of CORBA in Real-Time Settings: Model Problems for the Manufacturing Domain
1998-01-14
Optimal Transmission of Data Over Multi-Hop Networks
1996-07-02
Overview of the PREPARE Project
1993-11-10
A Case Study in Parallel Program Derivation: the Heat Equation Algorithm
1994-12-13
Harmonizer -- A Tool for Processing Information Security Requirements in Organizations
1998-10-13
Bayesian Methods in Signal and Image Processing
2000-05-29
Numerical Simulation of 3D Hypersonic Flows
1994-03-01
Helium Lines in Late-Type Dwarfs.
1996-05-31
Spread Spectrum Spatial and Spectral Watermarking for Images and Video
1999-04-13
Quasiparticle Properties of D-Wave Superconductors in the Vortex State
1999-01-31
A Hybrid Architecture for Learning Robot Control Tasks
1970-01-01
Flexible Scheduling by Deadline Inheritance in Soft Real-Time Kernels
1996-01-08
Localization for One Dimensional Long Range Random Hamiltonians
1996-10-01
Irreducible Representations of Cayley-Klein Orthogonal Algebras
1970-01-01
Recongurable Data Converter as a Building Block for MixedSignal Test
1997-04-24
Edward K. F. Lee
Approximate Convolution Using DCT Coefficient Multipliers
1998-03-26
Neri Merhav
Simulation of Weakly Correlated Functions and its Application to Random Surfaces and Random Polynomials
1999-03-18
The H-1nf National Fusion Plasma Research Facility
1998-10-30
Classification of Individuals with Complex Structure
2000-09-06
Electric Field Sensing and the "Flying Fish"
1996-03-26
Robust Video Mosaicing through Topology Inference and Local to Global Alignment
1999-11-16
FIR Model Identification: Achieving Parsimony through Kernel Compression with Wavelets
1998-05-13
Supersonic Flying Qualities Experience Using the SR-71
1998-02-09
MCLUST: Software for Model-Based Cluster and Discriminant Analysis
1999-05-20
End-to-End Management of Mixed Applications across Networks
1999-11-23
Reasoning on Actions and Change in a Linear Logic Programming
1994-04-18
The Ground State Of A General Electron-Phonon Hamiltonian Is A Spin Singlet
1999-08-26
Adding Group Communication and Fault-Tolerance to CORBA
1995-06-27
Silvano Maffeis
A Logic for the Specification of Continuous Systems
1998-01-27
Viktor Friesen
Centering in
1996-12-03
Daniel Hardt
An implicit formulation for exact BDD minimization
1997-07-22
Polynomial Polymorphism
1994-11-22
C. Barry Jay
Correlations and Renormalization in Lattice Gases
2000-02-01
Language Understanding and Subsequential Transducer Learning
1999-10-21
SIDEshow: A Silhouette-based Interactive Dual-screen Environment
1998-03-04
Unknown
1995-08-23
Professor Koichi Shimokawa
Tight Bounds for a Distributed Selection Game with Applications to Fixed-Connection Machines
1997-01-22
C. Greg Plaxton
Phase Smoothing Functions For Full Response CPM
1996-06-05
High Frequency Current Induced Switching of Higher Order Transverse Modes in Vertical Cavity Surface-Emitting Lasers
1998-07-23
A. Valle
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic . . .
1998-05-05
Middleware for Dependable Network Services in Partitionable Distributed Systems
2000-04-19
A New View of Performance Analysis Techniques in Correlated Rayleigh Fading
2000-10-18
A Generalization of BIAS Specifications
1997-03-17
Primary-Backup Protocols: Lower Bounds and Optimal Implementations
1993-01-07
Consistency of System Identification by Global Total Least Squares
1997-05-23
On Edge Addition Rewrite Systems And their Relevance to Program Analysis
1996-06-27
Uwe Amann
A New View of Performance Analysis Techniques in Correlated Rayleigh Fading
2000-10-18
Automatic Process Selection for Load Balancing
1992-07-09
Implementation and Comparison of Four Different Boundary Detection Algorithms for Quantitative Ultrasonic Measurements of the Human Carotid Artery
2000-08-04
The Propagation Of Water Waves Along A Channel With A Corrugated Sidewall
1997-09-08
A Survey of Constraint Handling Techniques in Evolutionary Computation Methods
1970-01-01
Zbigniew Michalewicz
Prospects*
1970-01-01
Storage Management in Parallel Programs
1997-02-03
Hydrodynamic Effects in 3D Microphase Separation of Block Copolymers: Dynamic Mean-Field Density Functional Approach
1998-05-26
EXTENT: A Portable Programming Environment for Designing and Implementing High-Performance Block Recursive Algorithms
1995-07-14
Planar Shape Databases With Affine Invariant Search
1996-04-02
Real-Time Visual Behaviours for Navigating a Mobile Robot
1997-04-09
Constraint Logic Programming: A Survey
1994-09-21
Joxan Jaffar Michael J. Maher
Indicator Variables for Optimal Policy
2000-08-09
A Multilayer Perceptron for Fast Interpolation of JPEG/MPEG Coded Images
1999-06-14
Sergio Carrato
Analysis in Support of Storage of Residues in the Pipe Overpack Container
1970-01-01
Contact Addresses:
1996-09-04
Draft Standard P802.1Q/D11 IEEE Standards for Local and Metropolitan Area Networks: Virtual Bridged Local Area Networks
1998-07-30
William T. Freeman Edward H. Adelson
1997-07-21
Microeconomic Determinants of Economic Growth in East Asia Ari Kuncoro
1970-01-01
Ari Kuncoro
A Multiarchitecture Parallel-Processing Development Environment
1996-06-27
Fast Electronic Digital Image Stabilization for Off-Road Navigation
1996-05-06
Carlos Morimoto
Classification of Images on Internet by Visual and Textual Information
1999-11-12
Concert/C: A Language for Distributed Programming
1995-03-27
A tool for obtaining tighter security analyses of pseudorandom function based constructions, with applications to PRP->PRF conversion
1999-05-13
On Discrete Frames Associated With Semidirect Products
1999-06-30
Dagstuhl Report on Logic Databases and the Meaning of Change
1998-12-23
A Distributed Trust Model Extended Abstract
1997-08-22
Progressive Compression of Arbitrary Triangular Meshes
2000-01-26
An Exaltation of Arcs
2000-03-22
Harold Ward
Eigenvalues Of Strings And Cylinders With Variable Mass Density
1998-05-27
Richard Snyder Laugesen
Cineast - An Extensible Web Browser
1999-03-10
A Poisson-Lie group Structure on the Diffeomorphism Group of a Circle
1970-01-01
Projectiveandilluminationinvariantrepresentationofdisjointshapes
1998-02-26
A Multimedia Programming Toolkit/Environment
1998-12-01
P++: A Language for Software System Generators
1993-10-19
From Word Hypotheses to Logical Form: An Efficient Interleaved Approach
1998-06-16
The Case for Dynamic Optimization - Improving Memory-Hierarchy Performance by Continuously Adapting the Internal Storage Layout of Heap Objects at Run-Time
1999-05-12
Bornes stochastiques pour les taux de pertes dans un tampon m'emoire ATM
1999-11-09
Brain Mechanisms of Speech Perception: A Preliminary Report
1970-01-01
The Formation Of Hot And Dense Nuclear Matter
1995-05-15
God doesn't always shave with Occam's razor - learning when and how to prune
2000-09-05
Hilan Bensusan
Data Structures for Spatial Database Systems
1997-05-12
Octavian Procopiuc
Data Types, Infinity and Equality in System
1999-11-17
Christophe Raffalli
Objects, Types and Modal Logics
1996-12-16
Vision-Guided Exploration: A Step Toward General Motion Planning in Three Dimensions
1970-01-01
Supporting Action Management in Heterogeneous Distributed Systems
1997-07-15
Edgar Nett
Using Object-Orientation as a Common Basis for System . . .
1996-10-17
Simulation Of The Shielding Effectiveness Of Cabinets Used In Communications Equipment
1996-09-30
The Solar Activity in the Miocene Period
1996-12-20
Haptic And Visual Feedback For Manipulation Aid In A Virtual Environment
2000-10-05
Report on the TREC-8 Experiment: Searching on the Web and in Distributed Collections
2000-02-07
Towards Multilingual Protocol Generation For Spontaneous Speech Dialogues
1998-08-20
Quantum Interference at Misfit Dislocations in Semiconductor Heterostructures
1999-05-03
L/MRP: A Buffer Management Strategy for Interactive Continuous Data Flows in a Multimedia DBMS
1995-08-04
New Interactions In Neutral Current Processes
1999-02-25
Ecient Communications in Multithreaded Runtime Systems
1999-02-03
Adaptive Fault-Resistant Systems
1998-09-25
Evidence for an intra-binary radio emission region in the Algol system V505 Sagitarii
1999-09-08
Casa Batló is in Passeig de Gràcia or how landmark performances can describe tasks
2000-09-05
Duality for Modalµ-Logics
1970-01-01
Chrysafis Hartonas
A General NP-Completeness Theorem
1995-09-22
Nimrod Megiddo
Message Passing Performance on SP Systems
1996-11-16
ASYMPTOTIC BEHAVIOUR OF A SEQUENCE DEFINED BY ITERATION Stevo Stevi'c
1997-05-12
On Subgroups of Prime Power Index
1999-04-21
Barbara Baumeister
OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains
2000-10-20
Fast Implementations of Algebraic Methods for 3D Reconstruction from Cone-Beam Data
1997-09-18
An Oracle Implementation of the PRA97 Model for Permission-Role Assignment
1999-04-02
Building Efficient Limited Directory-Based DSMs: A Multidestination Message Passing Based Approach
1996-04-04
A Unified Approach to Algorithm Development for Product Networks
1997-07-17
Evaluations of Domino-Free Communication-Induced Checkpointing Protocols
1998-10-23
Transformation of Panoramic Images: from hyperbolic mirror with central projection to parabolic mirror with orthogonal projection
2000-08-17
Martin Urban
PP is Closed Under Intersection
1998-02-17
Evaluations of
2000-05-25
GRAL 2.0: A Reference Manual
1998-08-11
Developing InfoSleuth Agents Using Rosette: An Actor Based Language
1995-09-28
Darrell Woelk
Resolution and the Weak Pigeonhole Principle
1970-01-01
Sam Buss
Programming by Combining General Logic Programs
1999-06-30
TRAM: A Tree-based Reliable Multicast Protocol
1999-08-31
Linear-Time Heuristics for Minimum Weight Rectangulation
1997-04-11
Christos Levcopoulos Anna Stlin
The Theory of Macaulay Posets
1999-03-16
Development of Cryogenic Detectors for the GNO Solar Neutrino Experiment
1999-04-01
Generic Transformational Program Development
1998-04-13
Large Deviations estimates for Polling and Weighted Fair Queueing service systems
1999-02-11
Laurent Massoulie
A Few English Words Can Help Improve Your Russian
1970-01-01
Anja Belz
An Argument for a Runtime Layer in SPARTA Design
1994-03-15
The Effect of Code Expanding Optimizations on Instruction Cache Design
1992-11-17
Subquadratic-Time Factoring of Polynomials over Finite Fields
1999-04-07
Erich Kaltofen
The Ins&Outs and everything in between of Data Warehousing
1998-06-01
Interactive Benchmark for Planning Algorithms on the Web: http://www.piaggio.ccii.unipi.it/benchplanning.html
1970-01-01
Dyslexic and Category-Specific Aphasic Impairments in a Self-Organizing Feature Map Model of the Lexicon
1996-06-25
Risto Miikkulainen
Electromagnetism and Gravitation
1996-04-05
Kenneth Dalton
Advanced Reactive Power Planning by a Genetic Algorithm
1998-10-09
A Generational Mostly-concurrent Garbage Collector
2000-09-19
David Detlefs
A Semantic Model of Reference Counting and its Abstraction
1994-01-24
Paul Hudak
The Development of Holte's 1R Classifier
1998-12-22
Example-Based Generation of Custom Data Analysis Appliances
2000-09-18
Determination of the Effective Electroweak Mixing Angle from Z Decays
1993-12-01
Supporting Multi-User, Multi-Applet Workspaces in CBE
1999-11-05
Doppler Observations of the Impact of Comet S1.9 Fragment A
1996-10-23
Astromomico Teramo V
Detection of CO 2-1 and Radio Continuum Emission from the
1999-08-10
Traditional Database Concepts
1996-10-04
Jonas Mellin
On the Relationship Between Non-Horn Magic Sets and Relevancy Testing
2000-09-23
A Note On The Construction Of Nonsingular Gibbs Measures
2000-01-07
Nonlinear Wave Motion: Complexity And Simplicity Revisited
1998-08-20
Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications
1998-12-29
Integration Methods Based on Canonical Coordinates of the SecondKind
1999-04-24
Electronic Structure Calculations of the Elastic Properties of Alkali Hydrides
1996-09-30
Lars Engebretsen
A Comparison of the Coq and HOL Proof Systems for Specifying Hardware
1999-01-06
CBR Support for CSP Modeling of InterOperability Testing
1998-05-12
Building a Public Digital Library Based on Full-Text Retrieval
1997-05-19
Distributed Cataloging on the Internet: the RePEc project
1999-12-21
Concept of Operations for the ESC Product Line Approach
1970-01-01
A note on M'etivier's construction of asynchronous automata for triangulated graphs
1997-10-06
Density-Dependence in Fluctuating Grey-sided Vole Populations
1998-09-16
Bio-Machines
1996-03-29
Patricio Lerena
Partitioning and Scheduling to Counteract Overhead
1998-02-12
Confirmation-guided discovery of first-order rules with Tertius
2000-05-16
Wafe - A Tcl Interface to the X Toolkit or A Graphical Frontend for Applications in Various Programming Languages Version: 0.96
1994-01-23
Nonlinearities and Outliers: Robust Specification of STAR Models
1998-08-10
Static Typing for Object-Oriented Programming
1994-02-22
Improving The Numerical Stability And The Performance Of A Parallel Sparse Solver
1995-09-21
Spectral Theory of Thermal Relaxation
1996-09-20
Vojkan Jak Si C
Declarative Updates in Deductive Object-Oriented Databases
1996-11-19
Design Issues in Mechanical Tolerance Analysis
2000-08-04
AGB Stars: What Should Be Done ?
1996-10-10
Element Resequencing for Use With a Multiple Front Algorithm
1970-01-01
J. A. Scott
Precise Compile-Time Performance Prediction for Superscalar-Based Computers
1994-12-07
Ko-yang Wang
Concept and Realization of an Internet-based Infobroker for Hardware Components
1998-12-03
Between Classical and Quantum Monte Carlo Methods: "Variational" QMC
1999-06-17
Optimizing Partitioning of Transition Relations by Using High-Level Information
2000-06-12
On Learning and Adaptation in Multiagent Systems: A Scientific Computing Perspective
1996-01-22
Jiaping Wang
1998-11-19
Jiaping Wang
Dynamic Scheduling in the Presence of Faults: Specification and Verification
1997-10-06
Algorithmic Strategies in Combinatorial Chemistry
2000-04-04
`On becoming a Dnp User' - some Reflections on the developing use of a Computer Support Tool
1998-04-06
Data Distribution Analysis of MCGLS Algorithm for Parallel Least Squares Problems
1997-01-06
Tianruo Yang
Multi-Camera Acquisitions for High-Accuracy 3D Reconstruction
2000-09-23
Bandwidth-Optimal Complete Exchange on Wormhole-Routed 2D/3D Torus Networks: A Diagonal-Propagation Approach
1996-03-05
Multiresolution Random Fields and Their Application to Image Analysis
1999-09-09
Roland Wilson
Bond GraphSupported Estimation of Discretely Changing Parameters
1995-03-12
Computational Tools For Poverty Measurement And Analysis
2000-07-20
Gaurav Datt
Worst-Case Timing Analysis Via Finding Longest
1994-11-30
Roderick Chapman
The LEDA class
1996-01-26
Joint Tactics,Techniques, and Procedures for Combat Search and Rescue
1998-10-28
The Association of Situation Graphs with Temporal Variations in Image Sequences
1998-12-07
On The Norm Residue Homomorphism For Fields
1999-04-21
A. S. Merkurjev
The Wavelet Packet Transform
1995-11-08
Mac A. Cody
A Multifrontal Approach for Simulating Equilibrium-Stage Processes on Supercomputers
1997-08-19
Integrated Instruction Scheduling and Register Allocation Techniques
2000-08-24
Modeling And Minimization Of Extinction In Volterra-Lotka Type Equations With Free Boundaries
1996-10-03
Monadic Encapsulation of Effects: a Revised Approach Extended Version
1999-12-12
Correlation Attack to the Block Cipher RC5 and the Simplified Variants of RC6
2000-03-21
A Constructivist Dual-Representation Model of Verb Inflection
2000-05-23
Gert Westermann
On the Performance and Scalability of Decentralised Monitoring using Mobile Agents
1999-07-16
Exploring the Underspecified World of Lexicalized Tree Adjoining Grammars
1970-01-01
Fault-Tolerant Design for Multistage Routing Networks
1999-04-18
Numerical Study of the Homicidal Chauffeur Game
1999-04-15
Some Summation Formulae Over The Set Of Partitions
1995-05-26
Per tone equalization for DMT receivers
2000-01-06
Semantic Models And Object Recognition In Computer Vision
1996-07-23
Trading Conflict and Capacity Aliasing in Conditional Branch Predictors
1997-03-03
Conventional Natural Language Processing in the NWO Priority Programme on Language and Speech Technology January 1996 Deliverables
1996-03-08
Graph Drawing
1995-05-01
Roberto Tamassia
Unknown
1999-07-22
Human Milk - An Invisible Food Resource
2000-07-20
Using a Visual Formalism for Design Verification in Industrial Environments
1999-06-01
Co-ordinating Heterogeneous Parallel Computation
1997-06-02
Combining Multiple Goals in a Behavior-Based Architecture
1998-02-24
Conditional Categorical Response Models with Application to Treatment of Acute Myocardial Infarction
1997-09-26
A Hybrid Framework for Representing Uncertain Knowledge
1995-04-07
Alessandro Saffiotti
Object-Based Multimedia Content Description Schemes and Applications for MPEG-7
1999-11-03
Extremely Secure Identification Documents
1970-01-01
Tree codes for vortex dynamics: Application of a programming framework
1996-09-16
National Laboratory
1996-12-04
Los Alamos During
Dynamic Load Balancing for the Simulation of Granular Materials
1996-03-28
Efficient Data Layout, Scheduling and Playout Control in MARS
1996-09-19
Ascona Lecture Notes
1998-10-30
Joel Feldman
The Repetitive Algebra of a Gentle Algebra
1999-04-21
Claus Michael Ringel
Wavelets Transforms for the Statistical Analysis of Financial Volatility
1999-04-07
Enrico Capobianco
Spatial Asymmetry in Cat Retinal Ganglion Cell Responses
1996-02-14
An Annotated Bibliography of Benchmarks for Object Databases
1999-02-08
Akmal B. Chaudhri
Hamiltonian Decomposition of Recursive Circulants
1998-08-20
Halbeinfache Wurzelelemente in Chevalley-Gruppen
1999-04-21
Semantic Lego
1995-05-08
David Espinosa
Benefits of Limited Wavelength Conversion in WDM Ring Networks
1996-10-10
Real--Time Pose Estimation and Control for Convoying Applications
1998-01-12
Interaction of a TMN-oriented Network Management Platform with a Network Planning application
1999-05-20
M. Calisti
Measurement of the Average Lifetime of b-Hadrons in Z Decays
1997-10-08
On the Biquadratic Assignment Problem
1997-08-26
Signatures of multi-TeV scale particles in supersymmetric theories
1997-09-17
A Comparison of Genetic Programming Variants for Data Classi Cation
1999-05-12
Simulation Of Air Pollution In Urban Area Using Finite Element Methods
1998-11-09
George G. Savii
Approximation by Systems of Prescribed Order using Frequency Response Data
1996-09-09
Radiation tolerance of MT multi-way single mode fibre-optic connectors to gamma and neutron irradiation
1998-04-28
Exercising Application Specific Run-time Control Over Clustering of Objects
1996-12-12
Complex System Prototyping Using Environment Abstraction
2000-08-23
Automated Modular Termination Proofs for Real Prolog Programs
1997-08-11
The Los Alamos Trapped Ion Quantum Computer Experiment
1999-10-20
Sol-Gel Preservation of Mankind's Cultural Heritage in Objects Constructed of Stone
1970-01-01
Boosting the margin:A new explanation for the effectiveness of voting methods
1998-09-20
Efficient testing and reconfiguration of VLSI linear arrays
1999-12-16
Implementing OSI Network Management Facilities on the Xunet ATM Platform
1994-06-06
Control-Flow Semantics of Use Cases in UML
1999-05-25
ON THE DECOUPLING AND OUTPUT FUNCTIONAL CONTROLLABILITY OF ROBOTIC MANIPULATION D. Prattichizzo,
1970-01-01
Cognitive Design Elements to Support the Construction of a Mental Model during SoftwareVisualization
1997-02-20
References 185
1996-08-29
J. J. Elliott
Scintillator Detector mu-wall" for measurement of charged particles leakage from the TILECAL prototype
1995-10-01
Resolving Requirements Conflicts with Computer-Supported Negotiation
1999-03-23
Steve Easterbrook
Handling Mobile Clients: A Case for Indirect Interaction
1997-02-26
A Korean Part-of-Speech Tagger using Transformation-Based Error-Driven Learning
2000-11-01
Heui Seok Lim
COM-30, 2 Feb., 1982, 346-353. 150. Internet Transport Protocols, XSIS 028112, Xerox Corporation. 151. L. A. Zadeh, Fuzzy Sets,
1999-06-18
Towards a Multi-agents Approach for Understanding Speech
1997-01-28
Murielle Jean-luc Cochard
Non-parametric Reconstruction of Cluster Mass Distribution from Strong Lensing: Modelling Abell 370
1999-05-11
Spatial Aggregation: Modeling and controlling physical fields
1997-01-15
The Thirring Model 40 Years Later
1970-01-01
The Performance of PVM on MPP Systems
1995-08-09
Accelerator Measurements Needed to Resolve Uncertainties in Primary Cosmic Ray Composition and Inelasticity
1997-12-15
C. G. S. Costa
Stereo Without Search
1996-02-03
Learning Recursive Languages from Good Examples
1997-10-22
Query Execution Techniques for Caching Expensive Methods
1996-03-12
An Integration of Scenario-Based Requirements Elicitation and Validation Techniques
1999-01-14
Cepstral Statistics Within Phonetic Subgroups
1995-09-26
Measurement of Hadron and Lepton--Pair Production at 161 GeV
1997-05-30
B-SYS: A 470-Processor Programmable Systolic Array
1996-09-06
Finding and Counting Given Length Cycles
1998-08-17
Multipage Document Images on the Internet
1996-11-06
Parallelizing An Algorithm For Visibility On Polyhedral Terrain
1995-10-27
On Channel Equalization Using Piecewise Polynomial Kernels
1996-02-17
Two-Dimensional Fourier Transform Analysis Of Helicopter Flyover Noise
1999-06-07
Hierarchically Classifying Documents Using Very Few Words
1997-10-07
Version Vector for Maintaining Replicated Objects
1999-02-08
Certifying Inconsistency of Sparse Linear Systems
1999-07-02
Using DNA to solve the Bounded Post Correspondence Problem
1998-01-08
Fire Under Fire: Proton Probabilities at Perihelion
1997-05-16
MAGMA: An Agent-Based Virtual Market for Electronic Commerce
1998-12-29
Coding Theorem and Strong Converse for Quantum Channels
1999-04-21
Andreas Winter
A Data Request Scheduling Policy for PCS Networks
1996-08-12
On Approximation a Spatially Scattered Source with Two Point Sources
1999-01-12
Termination of Term Rewriting By Semantic Labelling
1995-09-13
H. Zantema
Another Stable Group
1995-05-17
Andreas Baudisch
A Contribution to the "cure" of numerical pathologies in Godunov-type methods
1997-08-17
Rosa Donat
Symmetric Ring Spectra And Topological Hochschild Homology
2000-03-27
Brooke Shipley
Efficient Single-Node Broadcast in Wormhole-Routed Multicomputers: A Network-Partitioning Approach
1997-01-03
Underlying Semantics for the Assessment of Reiter's Solution to the Frame Problem
1970-01-01
Measurement of Gamma
1993-12-01
Design and Implementation of a Distributed Parallel Programming System
1993-07-29
LexGram User's Manual
1996-07-09
Esther Konig
Homotopy Invariants of Higher Dimensional Categories and Concurrency in Computer Science
2000-01-31
Coronal Heating In Active Regions As A Function Of Global Magnetic Variables
1998-12-02
Weak solutions of the equation of complex Monge-Ampère type
1999-04-27
MEDTAG: Tag-like Semantics for Medical Document Indexing
2000-07-07
Estimation And Identification Using Interval Arithmetic
1999-07-08
ALGON: A Genetic Algorithm software package.
1997-06-16
Architectural Schemata
2000-10-31
Amnon H. Eden
Preface to Version 1.1
1997-08-01
Frank Mittelbach
VAMPIR: Visualization and Analysis of MPI Resources
1996-04-02
A Dymola Primer
1996-08-22
Krister Edstrom
Linear Connections Compatible With The
1997-09-09
Space Flight Mechanics Meeting
1997-05-19
An Alternative Site Map Tool for the Fedstats Statistical Website Gary Marchionini, PhD Final Report to the Bureau of Labor Statistics June 30, 1999
1999-07-22
Gary Marchionini Phd
On Schwarz's Domain Decomposition Methods for Elliptic Boundary Value Problems
1996-04-28
Ming-jun Lai
A Fault-Tolerant Layered Approach to Fiber-Optic Networks
1995-06-28
Some Observable Results Of The Retarded Bohm's Theory
1996-11-04
Higher Order Dynamics: Relating Operational and Denotational Semantics for
1996-12-04
Susanna Kuschert
The Gauss Center Research in Multiscale Scientific Computation
1998-07-30
Achi Brandt
The Role Of Object Orientation In Expert Systems: A Short Review
1999-10-04
Frans Coenen
Land Claims And Restitution In South Africa - The Valuation Perspective
2000-03-26
Martin J. White
A Multinomial Model for the Quality Control of Colony Counting Procedures
2000-05-19
Exclusive Lifetimes Of Beauty Hadrons At Lep
1996-11-06
Gabriella Sciolla
Multiple unemployment equilibria - Do transitory shocks have permanent effects?
1999-03-26
Qaisar Farooq Akram
Modules De Cauchy, Polyn Omes Caract ' Eristiques Et R ' Esolvantes
1996-06-13
Omes Caract
A Bayesian Interpretation of Extremum Estimators
1997-03-21
Mahmoud A. El-gamal
Guidelines for Presenting Parallel Performance
1997-10-27
Lawrence A. Crowl
Parallel Simulation of Electron-Solid Interactions for Electron Microscopy Modeling
2000-07-07
Matrix Interpolation: Some Control Applications
2000-08-03
Planning Quasi-static Motions for Re-configuring Objects with a Multi-fingered Robotic Hand
1996-12-04
On Temporal-Spatial Realism in the Virtual Reality Environment
1995-09-22
Efficient Recursive Subtyping
1994-08-10
Aas 97195 On The Possibility Of Illconditioned Covariance Matrices In The Firstorder Twostep Estimator
1997-04-07
Parallelising the Mean Value Analysis Algorithm
1999-03-28
A coarse grid three-dimensional global inverse model of the atmospheric transport 2. Inversion of the transport of CO2 in the 1980s
1999-09-02
An Efficient Boosting Algorithm for Combining Preferences
2000-10-28
On One Problem Of C. Davis
1997-06-24
Verdi G. Verdiev
Optimized Broadcasting and Multicasting Protocols in Cut-through Routed Networks
1998-05-20
Factoring in Skew-Polynomial Rings over Finite Fields
1997-11-09
Mark Giesbrecht
Programming in Lygon: An Overview
1997-05-20
Approximation Capability to Functions of Several Variables, Nonlinear Functionals and Operators by Radial Basis Function Neural Networks
1994-11-14
Tianping Chen
Controller Design of Hybrid Systems
1996-11-25
Reliability Simulation of Component-Based Software Systems
1999-01-20
A Markov Random Field Model for Object Matching under Contextual Constraints
1970-01-01
S. Z. Li
Volume-Based Three-Dimensional Metamorphosis Using Region Correspondence
2000-04-26
Robust Real-Time Index Concurrency Control
1997-03-24
A Method For Imaging Corrosion Damage In Thin Plates From Electrostatic Data
1995-10-03
Model-Based Map Construction for Robot Localization
1993-08-03
Secure and Portable Database Extensibility
1999-06-22
Covering Graphs: The covering problem solved
1998-08-17
Some Sharp Concentration Results about Random Planar Triangulations
2000-09-28
Jason Zhicheng Gao
Topological Design of Local AreaNetworks Using Genetic Algorithms
1996-08-15
Efficient Handling of Large Sets of Tuples With Sharing Trees
1994-11-10
Layout-Driven Synthesis For Submicron Technology: Mapping Expansions To Regular Lattices
1997-07-29
Turing, Watson-Crick And Lindenmayer. Aspects Of Dna Complementarity
1970-01-01
Parallel and Distributed Development and Simulationof Atmospheric Models
1998-10-09
The STURM Multi-Processor Kernel
1996-02-19
The Cartesian Product Algorithm
1999-12-08
Ole Agesen
Design and Analysis of a Parallel Molecular Dynamics Application
1995-10-13
Internet Throughput and Delay Measurements Between Sequoia 2000 Sites
1994-01-19
Class-Based Language Model Adaptation Using Mixtures of Word-Class Weights
2000-11-02
A decision procedure for Direct Predicate Calculus Study and implementation in the system Coq
1996-09-30
Using Style to Understand Descriptions of Software Architecture
1994-09-16
Microsimulation Analysis of a Hybrid System Model of Multiple Merge Junction Highway and Semi-Automatic Vehicles
1998-11-18
Using Inverse Problems as Projects in an Ordinary Dierential Equations Class
1996-04-29
Je Graham
Some Approaches for Modeling and Analysis of a Parallel Mechanism with Stewart Platform Architecture
1970-01-01
Performance and Capacity of a Voice/Data CDMA System with Variable Bit Rate Sources
1998-04-02
On State-Space Reconstruction of the Dynamics of Microcantilever Interactions
1999-02-09
S. Salapaka
Supporting Multimedia Service Polymorphism in Dynamic and Heterogeneous Environments
2000-10-26
The Reference Component of PEP
1997-07-02
Bernd Grahlmann
Reducing Randomness In Computation Via Explicit Constructions
1996-08-20
Ellipsoidal Collapse and an Improved Model for the Number and Spatial Distribution of Dark Matter Haloes
1999-05-18
Low Rate Sinusoidal Coding Of Speech Using An Improved Phase Matching Algorithm
1997-06-13
Assessing Uncertainty in Cost-Effectiveness Analyses: Application to a Complex Decision Model
1997-04-09
Cv
1998-02-23
Junas Adhikary
Generalizing Incremental Condition Estimation
1997-10-09
Towards Translingual Information Access using Portable Information Extraction
2000-05-23
Proving Facetness of Valid Inequalities for the Clique Partitioning Polytope
1997-09-11
epsilon-Causally Ordering Group Communication epsilon-CO Protocol
1997-10-21
The OSU Scheme for Congestion Avoidance in ATM Networks Using Explicit Rate Indication
1997-01-16
Dynamic Perfect Hashing: Upper and Lower Bounds
1994-06-16
Finding Hard Instances of the Satisfiability Problem: A Survey
1999-12-16
Trigonometric Functions and Existence of Circle Ratio
2000-10-18
Self-Describing Schemes for Interoperable MPEG-7 Multimedia Content Descriptions
1999-02-17
On the Realistic Performance of Linear Algebra Components in Iterative Solvers
2000-02-17
Figure 4: The full safety property used in validating SPHONE.
1970-01-01
An Integrated Computer Modeling Environment For Regional Land Use, Air Quality, And Transportation Planning
1970-01-01
A Wait-Free Probe Algorithm for Distributed Deadlock Detection and Resolution
1997-05-28
On a Coverage Process Ranging from the Boolean Model to the Poisson Voronoi Tessellation - With Applications to Wireless Communications
2000-10-19
Computing similarity between RNA strings
2000-03-31
Multiprocessor Scheduling of High Concurrency Algorithms
1996-05-13
An Iconic Representation for Image Retrieval
1997-07-18
Nonuniform Sampling of Non Band-Limited Signals
1970-01-01
Network I/O with Trapeze
1999-05-12
Transformational Methodology
1994-12-24
Robert A. Paige
Models of Two Phase Porous Medium Flow
1997-05-30
Hans Joachim Schroll
Regularization of Parameter Estimation
1997-05-02
Approximate Nearest Neighbor Searching in Multimedia Databases
2000-10-27
Categories of Groups
1970-01-01
Speaker-Adaptation For Hybrid Hmm-Ann Continuous Speech Recognition System
1999-03-04
Lidar observations of tropical high-altitude cirrus clouds: Results from dual wavelength Raman measurements during the ALBATROSS campaign
1999-01-21
Using Attribute Grammars to Derive Efficient Functional Programs
1996-02-13
Complex Volume Grid Generation Through the Use of Grid Reusability
1998-08-13
Stephen J. Alter
Reasoning About Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World
1996-01-29
The Governance of International Telecommunications Competition - Cross-International Study of International Policy Regimes
1998-06-29
David Levi-faur
Dislocations in Microelectronics
1999-05-03
Evaluation of Active Disks for Decision Support Databases
1999-11-16
Excluded Middle Vantage Point Forests for Nearest Neighbor Search
1999-08-02
Peter N. Yianilos
Testing for Homogeneity of Variance in Time Series: Long Memory, Wavelets and the Nile River
1999-05-07
Interpolation in Lie Groups and Homogeneous Spaces
1998-05-12
Arne Marthinsen
Bond Softening and Breathing Mode Excitation in C
1999-07-08
Reflectance and Texture of Real-World Surfaces
1999-07-01
Exploiting an Event-Based Infrastructure to Develop Complex Distributed Systems
2000-02-03
A Federated Model for Scheduling in Wide-Area Systems
1996-02-06
Applications of Hidden Markov Chains in Image Analysis
1999-03-01
Deep ROSAT HRI observations of the Pleiades
1998-10-20
Numerical Investigation of Singularities
1996-04-05
Beverly K. Berger
Necessary and Sufficient Conditions for Finite Time Blow-Up in Ordinary Differential Equations
1999-04-09
Abbreviations
1998-05-12
A Toolkit Approach to Partially Connected Operation
1997-01-15
Dan Duchamp
Fujitsu Laboratories TREC8 Report --Ad hoc, Small Web, and Large Web Track --
2000-02-04
Global Operational Remote Sensing and Modelling of Ocean Waves
1998-11-04
On the Velocity Gradient Tensor and Fluid Feature Extraction
1999-04-14
Production Modelling as Shell Programming: Concurrency and Delegation
1970-01-01
Using Ergonomic Rules for Evaluation by Linguistic Ergonomic Criteria
1999-08-02
A Perturbative Approach to Spectrum and Correlation Functions of the Chiral Potts Model
1995-07-27
Automatic Synthesis of Multi-Tasking Implementations from Real-Time Object-Oriented Models
2000-01-19
A Parallel Iterative Domain Decomposition Algorithm for Elliptic Problems
1999-04-05
Daoqi Yang
On Relations between the Dynamic Choice Construct and the Stable Semantics
1998-05-14
Adding Type-Bound Actions to Action-Oberon
1996-11-25
Nonrepudiable Proxy Signature Schemes
1998-03-10
Kan Zhang
Exploiting Highly Reliable Networks with Careful Protocols
1994-06-27
A Runtime System for Interactive Web Services
1999-05-24
Continuous Speech Recognition at LIMSI
1994-01-29
Haematologica
1999-07-23
ASYMPTOTIC ANALYSIS OF MIMO SYSTEM ESTIMATES BY THE USE OF ORTHONORMAL BASES Brett Ninness
2000-05-04
Concurrent Realizations of Reactive Systems
1999-07-28
Numerical Analysis Of Semilinear Parabolic Problems
1999-07-02
Stig Larsson
Keywords:
1998-05-09
Generic Extensions of WWW Browsers
1995-12-08
On The Algebraic Models Of Lambda Calculus
1999-09-06
Antonino Salibra
The Skyrme Energy Functional and Naturalness
1970-01-01
Symmetry Preserving Discrete Schemes for Some Heat Transfer Equations
1997-10-10
Kozlov R. V
Are Determinants Of Rural And Urban Food Security And Nutritional Status Different? Some Insights From Mozambique
2000-07-20
Signals For Minimal Supergravity At The Cern Large Hadron Collider Ii: Multilepton Channels
1996-02-07
Using Constraints in a Constructive Version of GPSG
1995-02-27
Wilhelm Weisweber
Application Migration for Mobile Computers.
1997-02-26
S. Pope
Reactive Navigation By Fuzzy Control
1996-10-04
On the Structure and Complexity of the 2-Connected Steiner Network Problem in the Plane
2000-05-08
Unknown
1999-05-18
Kona: A Multi-Junction Detector using Minimum Description Length Principle
1997-03-14
Two Lower Bounds for Branching Programs
1999-09-06
Vojtech Rodl
A Scenario Model Advocating User-Driven Adaptive Document Recognition Systems
1997-06-11
o/oozPD2 o/oo$n
1997-05-21
A Bit-Vector Algebra for Binary Moment Diagrams
2000-10-19
Laurent Arditi
Flows On S³ Supporting All Links As Orbits
1996-01-24
An On-line Learning Algorithm for Blind Equalization
2000-03-29
Howard Hua Yang
Flexible Communication Mechanisms for Dynamic Structured Applications
1998-08-12
Water Content Effect on Soil Salinity Prediction: A Geostatistical Study Using Cokriging
1997-08-14
Functors for Alternative Categories
1970-01-01
Andrzej Trybulec
On The Tree-Width Of A Graph
1995-05-26
A Study of Simple Usage-Based Charging Schemes for Broadband Networks
1998-02-19
Improving the Java Memory Model Using CRF
1970-01-01
Invariant Operators on Manifolds with Almost Hermitian Symmetric Structures, III. Standard Operators.
1998-10-16
Dynamic Approach to Visual Data Compression
1998-08-06
Acknowledgments
1998-05-14
Performance Analysis Of A Parallel Molecular Dynamics Program
1998-03-08
Fission Properties of the Heaviest Elements
1998-01-19
Rectification with Unconstrained Stereo Geometry
1970-01-01
Parallel Computing Applications and Environment on the T3D
1997-07-10
Designing Programming Languages for Analyzability: A Fresh Look at Pointer Data Structures
2000-04-13
Current Results: Multi-Aperture SAR Target Detection Using Hidden Markov Models
1996-09-16
Copyright 1997 IEEE. Published in the Proceedings of PADS'97,
1997-05-22
Logic, Language and Reasoning - Essays in Honour of Dov Gabbay
2000-07-03
Andreas Nonnengart
Metrics and Tool for System Assessment
1998-10-13
Integrating Web Resources and Lexicons into a Natural Language Query System
1999-03-09
Covering A Square With Up To 30 Equal Circles
2000-06-19
ATIS at Rush Hour: Adaptation and Departure Time Coordination in Iterated Commuting
1997-05-18
Terence Kelly
Selection of Views to Materialize in a Data Warehouse
1999-03-05
Himanshu Gupta
Contributions To Sustainability By Communities And Individuals: Problems And Prospects
2000-06-19
Parallel Parsing of Languages Generated by Ambiguous Bounded Context Grammars
1997-03-18
Periodic Orbit Theory of Linear Response
1998-05-19
Niels Sndergaard
Higher Dimensional Self-similar Spherical Symmetric Scalar Field Collapse and Critical Phenomena in Black Hole Formation
1997-03-03
What Shapes Remain the Same When Offset?
2000-06-08
Video Query Formulation
1997-10-15
Seismic Sequence Analysis and Attribute Extraction
1999-04-01
Guy Drijkoningen
Tourism Multimedia Services through the Internet: An Inovative Object Oriented Design Information Filtering Approach
1999-03-01
JOINX: Constraint-Based Type Inference for the Join-Calculus
2000-10-30
Comparison of Systems of Stochastic Partial Differential Equations
1999-04-21
Sigurd Assing
Modeling and Maintaining Multi-View Data Warehouses
1999-06-29
Braid Relations in Affine Toda Field Theory
1996-10-18
Andreas Fring
Toward Robust Agent Control in Open Environments
2000-03-20
Fast Algorithms for Finding Randomized Strategies in Game Trees
1995-09-22
On the Limits of Efficient Teachability
2000-10-27
Rocco A. Servedio
On Y-compatible and strict Y-compatible functions
1970-01-01
PAB3D Simulations of a Nozzle with Fluidic Injection for . . .
1998-07-31
Karen A. Deere
Efficient Batch Signature Generation Using Tree Structures
1999-05-07
Christopher J. Pavlovski
Multi-Objective Parameter Synthesis MOPS
1996-12-19
Hans-dieter Joos
A Protocol Architecture for a Flexible High Performance Communication Subsystem
2000-06-18
Propagation of Light Beam in Optical Fiber by the t, t' Method
1995-10-27
Natural Language Processing: many questions, no answers
2000-06-05
Floriana Grasso
Efficient Estimation of Cell Loss Probability in ATM multiplexers with a Fuzzy Logic System
1998-01-02
Bibliography
1992-05-01
The Market for Motion Pictures: Rank, Revenue, and Survival
1996-10-11
Modelling Spatial Inferences in Text Understanding
1998-06-24
Towards a Scalable Metacomputing Storage Service
2000-06-15
Recognition Of Spelled Names Over The Telephone
1997-02-06
Flight Testing the Linear Aerospike SR-71 Experiment LASRE
1998-10-30
Human Capital, Productivity, And Labor Allocation In Rural Pakistan
2000-07-20
An Intelligent-Agent based Framework for Distributed Systems Management
1997-01-22
Maria-athina Mountzia
Small and Pseudo-Small Sets for Markov Chains
2000-07-18
Backstepping Boundary Control of Burgers' Equation with Actuator Dynamics
1999-07-20
Wei-jiu Liu
Towards Mixed-Initiative Rationale-Supported Planning
1996-05-17
Manuela M. Veloso
vwlpdwlqjwkhsuhydohqfhriphqwdoglvrughuvlqdgxowv
1999-11-22
Modeling Financial Data Using Clustering and Tree-Based Approaches
1998-11-01
Irrelevant Features and the Subset Selection Problem
1998-01-05
Definition of an Indexing Model and its Implementation
1997-06-04
Parallel Maximum Sum Algorithms on Interconnection Networks
1999-09-12
Two EGF molecules contribute additively to stabilization of the EGFR dimer
1998-10-14
Donald M. Engelman
Least Types for Memory Locations in Java Bytecode
1998-12-16
Zhenyu Qian
Fractal Variation of Attractors in Complex-valued Neural Networks
1995-02-15
Akira Hirose
UM-PRS V3.0 Programmer and User Guide
1997-03-05
Modularity for Timed and Hybrid Systems
1999-11-02
FP + OOP = Haskell
1998-08-26
Emery Berger
Hamilton cycle decomposition of the Butterfly network
1996-07-02
Estimation of Continuous Time Models for Stock Returns and Interest Rates
1997-01-28
Spoken Content-Based Audio Navigation SCAN
1999-11-19
Extended Password Key Exchange Protocols Immune to Dictionary Attack
1997-07-23
David P. Jablon
The Scattering Theory of Oscillator Defects in an Optical Fiber
1997-03-03
Robert Konik
Robert W. O'Connell
1996-01-02
Robert W. O'connell
Heuristic Algorithms for Solving the Resource-Constrained Project Scheduling Problem: Classification and Computational Analysis
1998-02-09
The Treatment of Non-Integer Exponents in Reaction Rate Expressions
1994-05-11
An L1-norm PCA and a heuristic approach
2000-03-14
Role-Based Access Control Models
1999-04-02
Genomics via Optical Mapping III: Contiging Genomic DNA
1999-04-17
A Mixture-Site Model For Edge-Preserving Image Restoration
1994-07-26
Jeffrey A. Fessler
Metal-Insulator Transition Scaling Theory
1998-06-04
Denis L. Dalidovich
Centralized and Distributed Algorithms for Network Scheduling
1996-08-25
A Multilevel Approach to Intelligent Information Filtering: Model, System, and Evaluation
1998-09-16
Extending High Performance Fortran for the Support of Unstructured Computations
1995-04-19
Finite Domains and Exclusions as First-Class Citizens
1995-03-17
Harold Boley
Dobrushin's Uniqueness for Quantum Lattice Systems With Nonlocal Interaction
1999-04-21
A Framework for Equipping Workflow Systems with Knowledge about Organisational Structure and Authority
1970-01-01
Gas Releases from Salt
1970-01-01
Comparison between three different traffic micro-simulations and reality in Dallas
1998-09-04
QD-Janus: A Sequential Implementation of Janus in Prolog
1998-08-12
Saumya K. Debray
Departments Of Mathematics
1995-10-25
Evolutionary Development Of Business Process Centered Architectures Using Component Technologies
2000-05-18
Induction of Recursive Program Schemes
1998-02-04
Composite Event Specification in Active Databases: Model&Implementation
1994-01-02
FCD 14495 - public draft
2000-05-15
On Degeneracy of Linear Reconstruction From Three Views: Linear Line Complex and Applications
1999-05-26
On The Possibility Of Kinetic Flow Through Fractal Holes In A Surface.
2000-04-12
Alexei Heintz
Wavelet Analysis of Potential Fields
1997-04-26
Dominique Giberty
Wide Area Network Ecology
1998-12-12
Explicitly Modelling Undegraded And Degraded Speech In Speaker Recognition
1993-10-26
Object Management Group
1997-03-21
Specifications and Standards for Reproducibility of Wavelet Transforms
1999-10-25
Carl Taswell
Type Analysis and Data Structure Selection
1995-01-05
A Formalism for Real-Time Concurrent Object-Oriented Computing
1999-12-28
On Characteristic Points and Approximate Decision Algorithms for the Minimum Hausdorff Distance
1995-10-17
Enhanced Control Effector Designs For Airbreathing Transatmospheric Vehicles
1996-12-13
Treatment of the
1997-03-19
An Effective Interconnection Structure for Various SIMD Communications
1999-03-04
Development of Superconducting Tunnel Junctions with an Aluminum-Oxide Insulation Layer for X-ray Detection
1998-11-25
Massively Parallel Computing Using the Intel Paragon XP/S Computer at the Central Institute . . .
1998-06-03
The Learnability of Optimality Theory:
1995-09-06
On-Line Character Recognition Adaptively Controlled by Handwriting Quality
2000-10-27
Probabilistic Frame-Based Systems
1999-11-18
Surface Physics
1998-04-21
Purpose of Distributing Data
1996-10-04
Joakim Eriksson
Sublogarithmic Searching Without Multiplications
1995-09-27
Arne Andersson
On the Number of Control Sets on Flag Manifolds of the Real Simple Lie Groups
1998-06-22
Pulsed Magnetic Field Measurements of the Composite Fermion Effective Mass
1998-05-27
C. T. Foxon
Multiscale Decompositions on Bounded Domains
1997-09-09
Geometry Of The Nonlinear Regression With Prior
1995-05-26
A. P Azman
Determination of
1996-11-06
Non-Uniqueness Of Geodesics In Infinite-dimensional Teichmüller Spaces II
1998-06-04
On the Classification of Symmetrically-Coupled Integrable Evolution Equations
2000-10-19
The Hystery Unit - A Short Term Memory Model for Computational Neurons
1991-01-23
A New Algorithm Based on Curve Tracing and Decomposition Techniques is Presented for Computing the Convex Hull of an Algebraic Curve Defined Implicitly By
1995-07-24
Automatically Building a Corpus for a Minority Language from the Web
2000-09-30
Parameter Orthogonality in Mixed Regression Models for Survival Data
1997-11-10
Towards an extensible and modular ORB framework
1997-05-12
An Improved Resistive Wall Monitor
1998-08-21
On Burdick's symmetry problem
1997-06-26
L. Mattner
MEMS Reconfigurable Vee Antenna
1999-04-20
Automatic I/O Hint Generation through Speculative Execution
1999-09-24
Security of the Internet
1998-12-04
Gene Functional Classification From Heterogeneous Data
2000-10-02
Towards Big Science: Geometric Logic of Music and its Technology
1997-05-21
Guerino Mazzola
Bisimulations in the Join-Calculus
1999-06-12
Cosimo Laneve
Improving Sequential Design Processes using Sensitivity Analysis
1996-04-11
Exploiting Temporal Correlation In Shape Coding
1998-11-23
The Salzburg NTN-Method for the Radon Transform: Introduction and . . .
1995-02-22
Fusion of Loops for Parallelism and Locality
1996-11-25
Constructions Of A Brownian Pathwith A Given Minimum
2000-01-01
Generic Programming for High Performance Numerical Linear Algebra
1999-04-09
Andrew Lumsdaine
Cv
1998-03-25
Kedar Namjoshi
Multi-Level Path Planning for Nonholonomic Robots using Semi-Holonomic Subsystems
1996-03-19
Logic Programming in a Fragment of Intuitionistic Linear Logic: Extended Abstract
2000-01-13
Programming with ASN.1 using Polymorphic Types and Type Specialization
1995-03-14
Using Term Rewriting Systems to Design and Verify Processors
1999-05-14
Xiaowei Shen
Schottky Uniformizations Of Bordered Compact Riemann Surfaces With A Special Group Of Automorphisms
1999-04-21
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
1999-01-05
Perfect Secret Sharing Schemes from Room Squares
1999-02-02
Correlations in the Layered Electron Gas
2000-06-19
N. Studart
Visualizing High-Level Communication And Synchronization
1996-07-05
Learning to Filter Spam E-Mail: A Comparison of a Naive Bayesian and a Memory-Based Approach
2000-10-30
Multi-Parent Subtransactions Covering the Transactional Needs of Composite Events
1996-09-27
Comparison of Combined Shape Descriptors for Irregular Objects
1999-03-01
Dynamically Variable Line-Size Cache Exploiting High On-Chip Memory Bandwidth of Merged DRAM/Logic LSIs
1998-12-10
A General and Efficient Implementation of Geometric Operators and Predicates
1999-06-21
Localic Sup-Lattices and Tropological Systems
2000-10-31
P. Resende
Laser Pulse Timing Detector
1996-06-24
On Read-Once vs. Multiple Access to Randomness in Logspace
1995-12-26
Noam Nisan
Guide to Preparing SAND Reports
1970-01-01
Tamara K. Locke
A Statistical Characterization of the Sequence to Structure Mapping in RNA
1996-01-25
Ivo Ludwig Hofacker
Resource Pooling and Effective Bandwidths in CDMA Networks with Multiuser Receivers and Spatial Diversity
1999-05-16
IMEM: An Intelligent Memory for Bump- and Reflection-Mapping
1998-09-22
M.E. 530.646 Problem Set 1 Groups, Vector Spaces, and Rotations
2000-09-20
Louis L. Whitcomb
On Selection Criteria for Lattice Rules and Other Quasi-Monte Carlo Point Sets
1999-09-07
Christiane Lemieux
A Supernodal Approach to Sparse Partial Pivoting
1996-01-09
MarketSAT: An Extremely Decentralized but Really Slow Algorithm for Propositional Satisfiability
2000-06-08
Conductance Quantization in Metals: The Influence of Subband Formation on the Relative Stability of Specific Contact Diameters
1970-01-01
Evaluation of Automatic Road Extraction
1997-09-29
Supersonic Quadrupole Noise Theory For High-Speed Helicopter Rotors
1999-01-26
The Nonlinear Limit-Point/Limit-Circle Problem for Higher Order Equations
1998-04-23
A Dual Method for the Unit Commitment Problem
1999-03-12
Run-Time Support for Distributed Sharing in Strongly-Typed Languages
1999-09-17
Partial Volume Estimation and the Fuzzy C-means Algorithm
1998-10-08
Learning with Mixtures of Trees
1999-02-13
Repeating Of Gamma-Ray Bursts In Light Of The Batse 2b Catalog
1998-09-25
A Geographic Environmental Modeling System: Towards an Object-Oriented Framework
1998-03-13
Simulation Results of an Efficient Defect Analysis Procedure
2000-01-19
Capture of Stellar--Mass Compact Objects By Massive Black Holes in Galactic Cusps
1996-08-16
An Approach to Improve the Effectiveness of Software Retrieval
1993-04-30
The Coarse Baum-Connes Conjecture for Spaces Which Admit a Uniform Embedding into Hilbert Space
2000-03-27
Guoliang Yu
Representation and Recognition of Complex Human Motion
2000-08-29
Orthogonal Graph Drawing with Constraints
1999-11-25
Non-Parametric Classes of Weight Functions to Model Publication Bias
1995-09-14
Nancy Paul
Deriving Articulatory Representations from Speech with Various Excitation Modes
1970-01-01
On Interdependent Biobjective Decision Problems
1970-01-01
Uie Reports
1996-05-30
Proposal Powers, Veto Powers, and the Design of Political Institutions
1998-08-12
Nolan Mccarty
Limiting Embeddings For Sequence Spaces And Entropy Numbers
1998-12-11
Hans-gerd Leopold
Practical Estimates of the Effect of Publication Bias in Meta-Analysis
1998-11-02
A Framework For Communication Support In Object Oriented Distributed Systems
1998-02-16
GPC - a tool for higher-order grammar specification
1997-02-11
Dias Almeida
A Model of ZF Set Theory Language
2000-10-18
Grzegorz Bancerek
An Object Parallel Approach for Radiosity on the MP-1
1994-06-14
Efficiency Of Local Search With Multiple Local Optima
1999-04-16
Towards an Algebra of Dynamic Object Types
1998-10-19
A Trace-Driven Comparison of Algorithms for Multi-Process Prefetching and Caching
1996-10-22
Reason in a Changing World
1997-09-14
John L. Pollock
VIZARD II, A PCI-Card for Real-Time Volume Rendering
1998-09-30
An Efficient Implementation of Parallel A*
1994-03-17
Indications for the presence of a postmaximum wind of nova V1500 Cyg.
1999-06-17
Operators on Radial Functions
1997-02-11
Technical Article
1999-03-28
Bohmian Mechanics and the Meaning of the Wave Function
1995-12-14
The Application of Stochastic Context-Free Grammars to Folding, Aligning and Modeling Homologous RNA Sequences
1994-05-13
Adaptive ... Delay Tracking In Asynchronous DS-CDMA Systems
1999-02-22
Iterated Commutators, Lie's Reduction Method and Ordinary Differential Equations on Matrix Lie Groups
1996-08-29
Antonella Zanna
Patagonia CloneSys -- A Tool to Install Multi-Boot Environments
1999-12-09
A Recursion-Based Framework for Detecting Composite Events in Active Databases
1999-07-23
Signature Schemes Based on the Strong RSA Assumption
2000-05-09
Local Supermode Analysis of a Tapered Fibre Sensor
1997-12-02
Path Planning in Expansive Configuration Spaces
1997-01-31
An Action Language Based on Causal Explanation: Preliminary Report
1998-04-03
A Propositional Modal Logic of Time Intervals
1999-06-18
A Genetic Algorithm for the Set Partitioning Problem
1996-09-03
Optimizing Computations in Weather and Climate Prediction Models
1998-02-10
Magnetoatmospheric Oscillations in Flux tubes
1998-04-29
Dipankar Banerjee
The Collision of Particles in Granular Systems
1998-12-02
Getting Started with CGAL
1997-09-19
A Reusable Architecture to Construct Active Database Systems
1999-06-30
Measurement of
1994-01-16
L Collaboration
Parallel Incremental Scheduling
1995-10-25
Min-you Wu
Routing High-bandwidth Traffic in Max-min Fair Share Networks
1997-01-31
A Process Improvement Model for Software Verification and Validation
1999-12-06
A Note on Error Bounds for Function Approximation Using Nonlinear Networks
1997-07-17
Automatic Mineral Identification Using Genetic Programming
2000-01-05
On Quantum Coding for Ensembles of Mixed States
2000-09-09
Performance Model for a Prioritized Multiple-Bus Multiprocessor System
1996-10-03
Power Supply and Load Reduction Technology Options For Audio Equipment Manufacturers To Meet the
1998-12-17
Worker-Checker --- A Framework for Run-time Parallelization on Multiprocessors
1997-07-18
Implementation of a Sweep Line Algorithm for the Straight Line Segment Intersection Problem
1994-10-10
Joint Intelligence Support to Military Operations
1998-07-29
Communication Latency Hiding in a Parallel Conjugate Gradient Method
1999-04-29
Distribution and Persistence in the
1998-07-13
Burst Reducing Servers in ATM Networks
1999-10-26
Dimension of Cantor Sets with Complicated Geometry
2000-04-07
Luis M. Barreira
The Architectural Specification of an Avionic Subsystem
1999-04-12
AbNET, a fault-tolerant fiber optic system
1996-09-20
Interpolation, Spectrum Analysis, Error-Control Coding, and Fault-Tolerant Computing
1970-01-01
AUCS/TR9501 User's Manual for P/FDM V.9.1
1995-11-16
Terminological Reasoning and Conceptual Modeling for Datawarehouse
1996-08-19
David Rudloff
Constructing Functional Models of a Device from its Structural Description
1994-07-22
Clustering Methods for Video Browsing and Annotation
1970-01-01
Avoiding Overfitting with BP-SOM
1998-02-17
Combining Social Networks and Collaborative Learning in Distributed Organizations
2000-03-21
Privacy-enhancing technologies for the Internet
2000-10-20
Safe-A Semantic Technique for Transforming Programs in the Presence of Errors
1999-09-08
Limits Of The Wong-Zakai Type With A Modified Drift Term
1997-11-06
Dynamics of TCP Traffic over ATM Networks
1994-09-14
Allyn Romanow
Absence of Mass Generation in the Weakly Coupled Gross-Neveu Model. A Rigorous Treatment Through Convergent Perturbation Expansions
1999-08-20
Emmanuel Pereira
An OODBMS-IRS Coupling for Structured Documents
1996-08-26
Debate Browser - An Argumentation Tool for MetaEdit+ Environment
1996-05-08
Harri Oinas-kukkonen
SchedulerUnacceptablefor MultimediaApplications
1999-01-29
Boolean Properties of Sets
1970-01-01
Zinaida Trybulec
Pricing and Hedging American Options: A Recursive Integration Method
1998-06-25
Searching for Very Low-mass Stars and Brown Dwarfs with DENIS
1998-08-28
Stochastic Gradient Adaptive Step Size Algorithms for Adaptive Filtering
1999-02-02
Efficient Non-Malleable Commitment Schemes
2000-10-24
Equalizing Sub-Band Error Rates In Speaker Recognition
1998-05-06
A Knowledge-based System Integrating Speech and Image Understanding -- Manual Version 1.0 --
1997-04-08
The Slide Mechanism with Applications in Dynamic Networks
1992-09-10
Moving Object Trajectory Estimation Using an Optical Fourier Processor
1998-06-29
Towards Isolation of New Physics in
1999-05-07
Zhi-zhong Xing
The PLAYOUT Framework Approach
1994-09-13
Geometry of
1997-09-17
Hirosi Ooguri
Administrative Details
1999-10-25
A Census of Flag-Vectors of 4-Polytopes
1999-10-18
Gunter M. Ziegler
Fort Bliss Exploratory Slimholes: Drilling And Testing
1970-01-01
Design and Implementation of Modular Key Management Protocol and IP Secure Tunnel on AIX
2000-06-14
Modelling Rational Inquiry in Non-Ideal Agents
1999-12-05
Antonio Moreno
Searching for Primitive Roots in Finite Fields
1999-04-07
Victor Shoup
Map Labeling Heuristics: Provably Good and Practically Useful
1995-07-27
Evolutionary Computation in Financial Engineering: A Roadmap of GAs and GP
2000-03-01
Shu-heng Chen
ICA Mixture Models for Unsupervised Classification of Non-Gaussian Sources and Automatic Context Switching in Blind Signal Separation
1999-04-21
Formal Rules for Selecting Prior Distributions: A Review and Annotated Bibliography
1995-03-22
Issues in Reliable Network Memory Paging
1995-11-16
Evangelos P. Markatos
The Bayesian Score Statistic
2000-05-03
Bifurcations and Transitions in the Quasiperiodically Driven Logistic Map
2000-09-11
An Algorithm For Robust Stability Of Discrete Systems
1996-04-12
M. Barret
Automatic Dynamic Compilation Support forEvent Dispatching in Extensible Systems
1996-04-02
An empirical Internet traffic study
1997-10-22
Amarillo National Resource Center for Plutonium
1998-11-23
Bayesian comparison of Italian earthquakes
1994-01-06
Fabrizio Ruggeri
A Game of Hearts
1997-01-24
Leo Kuvayev
Robot Aerobics: Four Easy Steps to a More Flexible Calibration
1998-08-17
Persistent Poverty and Excess Inequality: Latin America, 1970-1995
2000-08-31
Quantitative Fourier Analysis of Approximation Techniques: Part II - Wavelets
2000-10-09
The Modification Of The Galton--Watson Process
1996-08-15
J. Kalas
.4. Experimental Results
1994-01-31
Software Process Modeling and Execution within Virtual Environments
1996-11-13
Extracting Noun Phrases from Large-Scale Texts: A Hybrid Approach and Its Automatic Evaluation
1996-07-17
Underspecified Treatment of Verb Phrase Ellipsis
1998-07-22
Feiyu Xu
The Complexity of Two-Person Zero-Sum Games in Extensive Form
1995-09-22
Integrating Simulation and Animation Software Systems through a Generic Computational Engine
1999-04-20
Robert James Walker
Editor's Corner: The Unwinding Number
1998-04-02
The Truth, the Whole Truth, and Nothing but the Truth: Alphabet Independent Two Dimensional Witness Table Construction
1997-01-09
Diphone Concatenation using a Harmonic plus Noise Model of Speech
1999-02-17
Experimenting with Layered, Resource-Adapting Agents in the RoboCup Simulation
1998-09-03
Christoph G. Jung
Multicasting in Irregular Networks with Cut-Through Switches using Tree-Based Multidestination Worms
1997-03-26
Quantum Dynamics of Cold Trapped Ions With Application to Quantum Computation
1999-10-20
Ordering Information
2000-09-24
Pat Biersach
Bolometers with Silicon-Nitride Spiderweb Suspension for Far-Infrared Detection
1998-11-09
Assignment Of Cysteine And Tryptophan Residues
1999-02-03
Design For Maintenance By Constrained Motion Planning
1999-04-01
Performance Evaluation for Parallel Systems: A Survey
1970-01-01
How To Make A Hill Plot
1999-05-04
Strong Duality for a Trust-Region Type Relaxation of the Quadratic Assignment Problem
1998-07-15
On the "Hot Spots" Conjecture of J. Rauch
1998-09-02
Compiler Support for Software-Based Cache Partitioning
1995-09-07
Frank Mueller
Algorithms for Computing Curvatures from Range Data
1970-01-01
Graph Matching-Based Algorithms for FPGA Segmentation Design
1998-08-06
Parameter Estimation and Actuator Friction Analysis for a Mini Excavator
1999-08-10
Robustness Analysis of Polynomials with Polynomial Parameter Dependency Using Bernstein Expansion
1999-09-21
Identification of System Behaviours by Approximation of Time Series Data
1997-05-23
Model-Based Three-Dimensional Freehand Ultrasound Imaging
1996-05-09
High Performance Real-Time Gesture Recognition Using Hidden Markov Models
1998-10-07
Semi-duality in the two-sided Lanczos algorithm
1996-04-10
David Day
Slime: A new deformable surface
1995-06-09
The Milnor Conjecture.
2000-03-27
V. Voevodsky
Representing and Integrating Multiple Calendars
1997-03-14
Alperin's Weight Conjecture in Terms of Linear Source Modules and Trivial Source Modules
1999-02-21
Robert Boltje
A Portable and Adaptive Multi-Protocol Communication Library for Multithreaded Runtime Systems
2000-04-28
Focus+Context Display and Navigation Techniques for Enhancing Radial, Space-Filling Hierarchy Visualizations
2000-08-08
Physical Systemmodellinglanguages : From Allan To Modelica
1997-12-19
References
1998-05-12
A Semantics for Model-Based Spatial Reasoning
1994-07-21
Dynamic Scheduling of Process Groups
1996-05-29
Monte Carlo Methods and the Challenge of Photo-Realism in Computer Graphics
1998-09-11
Steven Collins
Command and Domain Constraints in a Categorial Theory of Binding
1995-04-13
Analysis Of Subsidence Data
1970-01-01
Stephen J. Bauer
Single Axis Piezoceramic Gimbal
1999-03-30
Garnett Horner
Density Perturbations from Two-field Inflation
1970-01-01
David Wands
Specifying and Managing Rules in an Active Real-Time Database System
1998-11-14
Joakim Eriksson
Constructing New Attributes for Decision Tree Learning
1997-06-16
Zijian Zheng
FFT for the APE Parallel Computer
1997-10-09
A Scheme for Coordinating Multi-robot Planning Activities and Plans Execution
1998-05-12
The Use Of Cepstral Means In Conversational Speech Recognition
1997-05-20
Martin Westphal
An Algebraic Framework for the Feature Interaction Problem
2000-02-21
Mohammed Faci
Phase Semantics and Verification of Concurrent Constraint Programs
1998-04-16
Unknown
1999-01-13
Tabu Search and Iterated Local Search for Constraint Satisfaction Problems
1997-05-08
Prosody and the Role of Okay and Uh-Huh in Discourse
1998-06-15
Beth Ann Hockey
The Muon energy losses in the Tile calorimeter
1995-11-26
Verifying Time Petri Nets by Linear Programming
1970-01-01
The Use And Misuse Of Orthogonal Regression Estimation In Linear Errors-In-Variables Models
1994-11-07
R. J. Carroll
Signature Defects And Eta Functions Of Degenerations Of Abelian Varieties
1995-08-29
Post-Processing For Artifact Reduction In Jpeg-Compressed Images
1998-02-27
Two Problems in Geometry Solved by Using Automated Model Builders
1998-04-22
Nicolas Peltier
Towards an Automatic Analysis of Security Protocols in First-Order Logic
1999-10-05
Christoph Weidenbach
Extensible Stylesheet Language XSL Version 1.0
1998-08-18
A Body-oriented Method for Finding a Linear Form of the Dynamic Equation of Fully Parallel Robots
1999-06-11
Routing on Networks of Optical Crossbars
1997-08-07
Seminearring Models of Reversible Computation I
1998-02-17
Tim Boykett
Parallel and Distributed Algorithms for Constraint Networks
1970-01-01
Constructing Cyberspace: Virtual Reality and Hypermedia
1994-02-06
Keith Andrews
Energy Flows And Jet Production In Tagged
1998-06-05
Location Tracking with Distributed HLRs and Pointer Forwarding
1996-07-20
Yi-bing Lin
Domain Dependencies of Automated Theorem Proving Resolution Strategies
2000-02-07
ACT++ 2.0 : A Class Library for Concurrent Programming in C++ Using Actors
1995-03-14
On the Size of Weights for Threshold Gates
1999-01-05
Johan Hastad
Improving the Results of Artificial Neural Network Models for Residential Valuation
2000-03-26
Peter Rossini
Coagulation-Fragmentation Processes: Relations Between Finite Particle Models and Differential Equations
1999-07-02
Flavius Guias
A Parallel Software Infrastructure for Dynamic Block-Irregular Scientific Calculations
1995-06-17
The Journal of Functional and Logic Programming
1999-04-02
MSRPC A Lightweight RPC Mechanism for MSNL
1993-02-18
Simon Crosby
Estimating the total radiative power output from the hot outer layers of late-type stellar atmospheres: How many lines are required?
1996-09-18
CFHT Widefield IR Imager
1998-11-13
David Crampton
Randomly Sampling the Chromospheric Peak Power Distribution
1997-06-11
Biological Mathematics: The Tables Turned
1999-02-03
A Timing-based Schema for Stabilizing Information Exchange
1995-05-11
Monotonic Subsequences in Dimensions Higher Than One
1997-12-26
Wide Context Acoustic Modeling In Read Vs. Spontaneous Speech
1997-01-09
"Tcl cures 98.3% of all known simulation configuration problems"
1995-06-09
Regular Algebraic Curve Segments III - Applications in Interactive Design and Data Fitting
1999-05-06
Evidence for Multiple Companions to Upsilon Andromedae
1999-04-18
Prediction and Uncertainty in Computational Modeling of Complex Phenomena: A Whitepaper
1970-01-01
Timothy G. Trucano
Integer Lattice Gas Automata for the Numerical Solution of Electromagnetic Problems
1999-02-16
Analysis Of Velocity-Flux Least-Squares Principles For The Navier-Stokes Equations: Part I
1998-10-12
A Hybrid Architecture for Hierarchical Agents
1997-05-23
Szemerédi's Regularity Lemma and Its Applications in Graph Theory
1996-04-09
Statistical Metrology: Understanding Spatial Variation in Semiconductor Manufacturing
1996-12-05
Planar Orientations with Low Out-Degree and Compaction of Adjacency Matrices
1996-10-04
Marek Chrobak
ACME: A Field-Programmable Gate Array Implementation of a Self-Adapting and Scalable Connectionist Network
1994-06-04
Risk and Duality in Multidimensions
1999-04-29
Karl Sigman
An On log n Algorithm for the Maximum Agreement Subtree Problem for Binary Trees
1996-12-18
On the Regularity of Elliptic Differential Equations Using Symmetry Techniques and Suitable Discrete Spaces
1996-11-20
Christoph Pflaum
A Syntactic Theory of Type Generativity and Sharing
1995-05-09
Simulations Combining Evolution and Learning
1996-07-18
Michael Littman
Large Scale Simulations of the Non-Abelian Energy Model
1997-01-25
Low-Discrepancy Sequences for Volume Properties in Solid Modelling
1970-01-01
Using Morphing for Information Visualization
1998-09-16
Improving Short-Time Speech Frame Recognition Results by Using Context
1994-05-14
Intelligent Methods for File System Optimization
1997-08-14
Classification Theorems For Central Simple Algebras With Involution - With An Appendix By R. Parimala
1999-04-21
D. W. Lewis
A Candidate Set based analysis of Subgoal Interactions in conjunctive goal planning
1996-02-08
A State of the Art Report on CSCW Technologies
1998-01-26
C. Elliot
A Theory of Clock Synchronization
1997-10-06
Experience in Developing System Requirements Specification for a Sensor Failure Detection and Identification Scheme
1998-12-23
Low-Cost Double-Size Modular Exponentiation Or How To Stretch Your . . .
2000-06-22
Pascal Paillier
Implementation of a Reliable Remote Memory Pager
1995-11-06
DocMan: A Document Management System for Cooperation Support
1995-09-25
Discrete Variable Structure Control For Uncertain Linear Multivariable Systems
1998-05-16
On the Influence of Dislocations on the Luminescence of Si : Er
1999-05-03
Stress Analysis of B-52 Pylon Hooks for Carrying the X-38 Drop Test Vehicle
1998-02-09
William L. Ko
Features of the SYNTHESIS component-based information systems development method
1998-11-12
Analysing the Chaotic Motion of a Driven Pendulum
1997-08-29
Quality Assessment and Restoration of Typewritten Document Images
1999-03-15
Transporting IP Packets over Light: A Survey
1970-01-01
Controlled decomposition and reformation of the 2223 phase in Ag-clad Bi,Pb
1998-05-14
Equilibrium Bandwidth and Buffer Allocations for Elastic Traffics
2000-02-29
Steven H. Low
Unknown
1994-10-07
Distributed Applications Management based on ODP Viewpoint Concepts and CORBA
1997-04-14
Estimates For Smooth Absolutely Minimizing Lipschitz Extensions
1996-06-14
Lawrence C. Evans
Fully-Discrete Finite Element Analysis Of Multiphase Flow In Groundwater Hydrology
1998-03-21
Map Learning and High-Speed Navigation in RHINO
1998-09-29
High-Selectivity Single-Chip Spectrometer for Operation at Visible Wavelengths
1998-09-22
Niobium Nitride / Aluminium Nitride Superconductor / Insulator Multilayers and Tunnel Junctions
1999-11-12
Robust Social Norms in Bargains and Markets
1999-02-23
Eric J. Friedman
Primal-Dual Formulations for Parameter Estimation Problems
1996-07-17
Defect-Enhanced Electron Transport through Semiconductor Barriers
2000-06-19
Development of Laser Cutting/Welding Depth Control Using Laser Spectroscopy and Open Architecture Control of a Robotic System
1970-01-01
Kinetic Schemes and Boundary Conditions for Moment Equations
1970-01-01
Hybrid Categorial Logics
1995-10-05
Symbolic Expression Evaluation to Support Parallelizing Compilers
1997-03-24
Thomas Fahringer
Control of Chaos in Multimode Solid State Lasers by Use of Small Periodic Perturbations
1995-12-07
Bytecode-Level Analysis And Optimization Of Java Classes
1999-03-23
Nathaniel John Nystrom
Integer---Z data array Dimension Selector.
1995-07-26
From Undo to Multi-User Applications
1997-01-08
When a Word is Worth a Thousand Pictures: A Connectionist Account of the Percept to Label Shift in Children's Reasoning
1998-02-10
Motif Explorer - A Tool For Interactive Exploration Of Aminoacid Sequence Motifs
1995-11-22
Slowed Anisotropic Diffusion
1999-06-11
Jozef Kaur
Fail-Stop Protocols: An Approach to Designing Secure Protocols
1998-09-28
Li Gong
A Random Walks View of Spectral Segmentation
2000-07-20
Robot Aerobics: Four Easy Steps to a More Flexible Calibration
1998-08-18
VIZAR: A Video Rate System for Volume Visualization
1998-05-05
Some Factorizations Of Matrix Functions In Several Variables
1996-01-05
Jarom Ir Sim Sa
Gauge Field Theory of Structural Defects and Thermal Tensions
2000-06-19
Formal Derivation of Divide-and-Conquer Programs: A Case Study in the Multidimensional FFT's
1997-03-23
Compiling Array Statements for Efficient Execution on Distributed-Memory Machines: Two-level Mappings
1995-12-27
High Rate Deposition of 5
1998-11-09
Symbolic Model Checking using SAT procedures instead of BDDs
1999-09-10
Thermodynamic Formalism Of Neural Computing
1997-04-26
Dimitri Petritis
External Control of Dissipation in a Nanometer-Scale Radiofrequency Mechanical Resonator
1999-04-20
Time between plastic displacements of elasto-plastic oscillators subject to Gaussian white noise
2000-09-06
Comparison of Discrimination Methods for the Classification of Tumors Using Gene Expression Data
2000-06-05
Spectral Analysis of Hot Helium--Rich White Dwarfs
1998-03-05
Averaged Shifted Histogram
1994-12-21
Author's Database Entry Sheet
1999-01-21
A Unified Analysis of A Weighted Least Squares Method for First-Order Systems
1997-06-25
On the Meir/Sharma/Hall/Meyer analysis of the spline interpolation error
2000-10-15
A Group-Enhanced ISSI Model for Secure Interconnection of Information Systems
1998-05-08
J. Leiwo
A QoS Framework for Heterogeneous Environments
1997-07-11
Generalized Quantifiers
1997-08-21
Jouko Vaananen
An Empirical Evaluation of Knowledge Compilation
1999-06-18
A Projection Property for Kazhdan-Lusztig Bases
2000-07-23
Exact expectation values of local fields in quantum sine-Gordon model
1997-05-30
Sergei Lukyanov
A Computationally Intelligent Fast Acquisition Algorithm for Deep Space Optical Communications
1999-04-23
What Right Do You Have To Do That?
1970-01-01
Type Inference and Reconstruction for First Order Dependent Types
1970-01-01
Functional Parsers
1997-07-29
Jeroen Fokker
Polarization State Selection and Switching in VCSEL's
1998-12-04
Beilinson-Deligne's regulators for differentiable or analytic manifolds
2000-03-27
Daniel Delabre
Compressed Video Applications Through Mobile Satellite Communications
1996-11-11
An Algebraic Approach to Verifiable Compiling Specification and Prototyping of the ProCoS Level 0 Programming Language
1994-02-24
Acoustic Pulse Reflectometry for the Measurement of Musical Wind Instruments
1997-02-12
David Brian Sharp
The OSU Scheme for Congestion Avoidance in ATM Networks Using Explicit Rate Indication
1997-01-16
A formula for the non-integer powers of the Laplacian
1998-01-23
Contact And Chord Length Distribution Of A Stationary Voronoi Tessellation
1998-08-27
Lothar Heinrich
Efficient Broadcasting in Wormhole-Routed Multicomputers: A Network-Partitioning Approach
1997-01-03
The Longest Perpetual Reductions in Orthogonal Expression Reduction Systems
1999-01-24
Zurab Khasidashvili
Generic Automatic Proof Tools
1996-09-26
Lawrence C. Paulson
Low-Power All-Optical Switching in Active Semiconductor Chirped Periodic Structures
1999-04-19
An Unconstrained Convex Programming Approach to Linear Semi-Infinite Programming
1970-01-01
Report Documentation Page
1998-08-24
The Importance of Non-Data Touching Processing Overheads in TCP/IP
1995-10-26
Turbo Codes for Noncoherent FH-SS with Partial-Band Interference
1999-01-06
Theorem Proving Techniques for View Deletion in Databases
1999-05-07
Chandrabose Aravindan
Response of GaAs to Fast Intense Laser Pulses
1998-08-26
A Data-Driven IDCT Architecture for Low Power Video Applications
1996-08-14
Interplay of Melting, Wetting, Overheating and Faceting on Metal Surfaces: Theory and Simulation.
1999-01-07
Dietary recommendations and prevailing food and nutrient intakes in Germany
2000-09-05
Some efficient solutions to the affine scheduling problem Part I One-dimensional Time
1996-07-05
Paul Feautrier
A Fast FPGA Implementation of a General Purpose Neuron
1995-01-11
Threat Analysis and Security Architecture of Mobile Agent based Management Systems
2000-05-05
A Three-Dimensional Spatial Model for the Interpretation of Image Data
1996-03-14
Diagnostics for a 1.2 kA, 1 MeV, Electron Induction Injector
1998-08-21
Virtual Reality and Virtual Bodies
1995-09-22
Scalability In Formal Concept Analysis
1999-03-07
A Comparative Study of Real Workload Traces and Synthetic Workload Models for Parallel Job Scheduling
1998-03-08
Generating Grammars for Structured Documents Using Grammatical Inference Methods
1997-07-24
Helena Ahonen
EMM: A Program for Efficient Method of Moments Estimation: Version 1.5 User's Guide
2000-05-21
Buying Time for Resource-Bounded Planning
1997-04-23
Using Formal Methods to Assist in the Requirements Analysis of the Space Shuttle
1996-08-12
Prices as Factors: Approximate Aggregation with Incomplete Markets
2000-08-10
Automated Software Engineering Data Collection Activities via the World Wide Web: A Tool Development Strategy applied in the Area of Software Inspection
1999-11-10
Kummer Type System Of Congruences And Bases Of Stickelberger Subideals
1996-10-10
Offline and Online Recognition of Emotion Expression from Physiological Data
1999-04-23
Using Logic Programming And Coroutining For Electronic Cad
1997-03-06
Abduction and Deduction in Geologic Hypermaps
1999-05-03
In Geologic Hypermaps
On the Role of Basic Design Concepts in Behaviour Structuring
1998-02-17
Buckets: Aggregative, Intelligent Agents for Publishing
1998-05-10
Finding Almost-Satisfying Assignments
1997-11-13
Uri Zwick
Commenting Systems as Design Support - A Wizard-of-OZ Study
1996-08-27
Mikael Ericsson
Emergence of Money as a Medium of Exchange: An Experimental Study
1998-04-13
John Duy
User Modeling: Recent Work, Prospects and Hazards
1999-03-28
Alfred Kobsa
A Simple Typology of Distributed Network Management Paradigms
1998-06-14
Teaching Network Programming with Ada and Lower Layer
1998-07-24
Francisco J. Ballesteros-c'amara
Modeling Beliefs In Dynamic Systems
2000-05-14
Nir Friedman
observations ofMicros{ in the Solar Wind from
1997-04-21
M. B. Goldstein J. T
Performance Characteristics of Epsilon Serializability with Hierarchical Inconsistency Bounds
1993-09-09
The Stability Of A Direct Method For Superresolution
1970-01-01
Digital Signature of Color Images using Amplitude Modulation
1998-01-26
Automatic Selection Of Search-Guiding HeuristicsFor Theorem Proving
1998-04-14
Matthias Fuchs
Reconstructing a 3D-Model from an Unregistered Range Image
2000-05-03
Unknown
1996-07-26
Laurence J. Bement
Decision Tree Induction Based on Efficient Tree Restructuring
1997-06-20
Applying a Pattern Language to Develop Extensible ORB Middleware
2000-07-29
A General Resource Allocation Synchronization Problem
2000-08-25
Symbolic Computation With Symmetric Polynomials An Extension To Macsyma
1994-02-04
Annick Valibouze
Real-World Options: Smile and Residual Risk
1999-04-28
Gulia Iori
Multiscale Skeletonization: An Electrostatic Field-Based Approach
1998-01-30
Gamal Abdel-hamid
Does the Absence of Cointegration Explain the Typical Findings in Long Horizon Regressions?
1999-04-14
Halting problem for one-state Turing machines
1995-06-21
Yannick Saouter
A Framework for Negotiable Quality of Service in Distributed Multimedia Systems
1996-03-26
Amarillo National Resource Center for Plutonium
1999-01-04
Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization
1999-01-19
Preference-based Configuration of Web Page Content
2000-09-06
Random Walks on Generating Sets for Finite Groups
1997-12-26
AFI33-110 27 March 1997 ATTACHMENT 5 ADDED AFMC IDEFIX DATA MODEL DEVELOPMENT EXAMPLE
1998-04-09
Neural Controller For A Mobile Robot In A Nonstationary Environment
1970-01-01
Operational Method for Solving Generalized Abel Integral Equations of Second Kind
1995-04-10
Rudolf Gorenflo
An Authoring System for Multidimensional Documents
1999-03-22
On Generalized Conjugate Gradient Type Methods For The Iterative Solution Of Nonsymmetric And/Or Indefinite Systems Of Equations; General Convergence Properties
1999-04-26
Owe Axelsson
Optical and Millimeter Wave Pulse Propagation Through Fog and Rain Layers
1998-04-02
Arnold D. Kim
SCICOS A Dynamic System Builder and Simulator User's Guide - Version 1.0
1997-07-01
Hooking Your Solver to AMPL
2000-10-05
David M. Gay
On the Bayesianity of Pereira-Stern Tests
2000-09-15
and Maria Family Asteroids: Infrared Photometry
1996-09-20
Considering Uncertain Communication Overheads in Probabilistic Loop Scheduling
1998-03-26
Assessing Truck Ride Quality for Design
1970-01-01
Richard V. Field
Practical Amortized Dynamic Indexing
2000-07-27
parity protection is used to provide excellent storage cost for inactive data, at somewhat lower performance. The technology we describe in
1999-11-16
Combinator Parsers: From Toys to Tools
2000-08-14
S. Doaitse Swierstra
Loop modeling of coronal X-ray spectra
1998-03-03
Data-Intensive Computing and Digital Libraries
1999-04-28
Parabose-Parafermi Supersymmetry
1996-10-05
A. Mostafazadeh
Modeling, Design and Performance Evaluation of Interactive Distributed Video-on-Demand Systems
1998-08-10
Confidence Bands For The Difference Of Two Survival Curves Under Proportional Hazards Model
1998-05-07
Grouping Based Hypotheses Verification in Object Recognition
1997-01-05
Study of Charged--Current
1996-06-20
Lavrentiev's Method for Linear Volterra Integral Equations of the First Kind, with Applications to the Non-Destructive Testing of Optical-Fibre Preforms
2000-07-20
Nonlinear PCA Type Approaches for Source Separation and Independent Component Analysis
1996-04-11
Real-Time Index Concurrency Control
1996-07-15
Formal Specification of Reflective Agents
1995-11-08
Wave Equation-Based Decomposition and Imaging for Multicomponent Seismic Data
1998-07-23
Advances in Quantitative Genetics Theory
2000-09-05
William G. Hill
New Approaches for Reuse Systems Position Paper
1993-03-24
On the Multiple Gene Duplication Problem
1999-11-30
Maximal Sets of Numbers Not Containing
1998-07-07
Spectral collocation methods for solution of Einstein's equations in null quasi-spherical coordinates
1997-04-05
Andrew H. Norton
Dynamic Rating of Sports Teams
1970-01-01
Leonhard Knorr--held
Designing for Testability of Long Pipeline of Modules
1998-03-12
Towards A Framework for Handling Disputes in Payment Systems
1998-08-29
The Classical Stellar Atmosphere Problem
1999-01-07
A Comparison between Iterative block-LMS and Partial Rank Algorithm
1999-08-09
AUCS/TR9703 A Socket Library for Network Communication in Prolog
1997-03-07
Kit-ying Hui
A Hierarchical Probabilistic Model for Novelty Detection in Text
1999-03-16
VCME: A Visual Interactive Environment for Computational Modeling Systems
1998-10-21
MASAA: A Case Study In Building a Distributed Integrated Media Database
1999-10-01
Compression and Entropy
1997-10-22
Towards Exact Geometric Computation
1994-11-08
Chee-keng Yap
Obtuse, a Scripting Language for Migratory Applications
1997-05-31
Robert P. Cook
The Measurements of Magnetic Field Effects on Scintillating Tiles
1995-03-01
Improvements in the Properties of Electron Beam Damage YBa2Cu3O7-d Junctions
1999-11-12
The method of iterated commutators for ordinary differential equations on Lie groups
1996-08-14
A High-Order Method Using Unstructured Grids For The Aeroacoustic Analysis Of Realistic Aircraft Configurations
1999-08-10
Symbolic Time-Series Analysis of Engine Combustion Measurements
1998-01-02
Higher-Order Gravitational Couplings And Modular Forms In N=2, D=4 Heterotic String Compactifications
1997-10-24
On 3D Shape Synthesis
1999-08-19
Strong Restricted-Orientation Convexity
1995-11-21
An Implementation of Modular Monadic Semantics using Folds and Monadic Folds
1999-03-05
On locally q-complete domains in Kähler manifolds
1970-01-01
Viorel Vajaitu
Active Names: Flexible Location and Transport of Wide-Area Resources
1999-05-20
Dynamic Organization of Search Results Using the UMLS
1997-07-15
Wanda Pratt
Implementing
1997-07-13
Object Oriented Bus Vehicle Scheduling - the BOOST system
1997-07-09
Nonlinear Error-Correction Models for Interest Rates in the Netherlands
1997-05-16
Bunsetsu Identification Using Category-Exclusive Rules
2000-08-29
A Probabilistic Model of Action for Least-Commitment Planning with Information Gathering
1994-06-02
A Candidate
1997-07-25
Analysis and Improvement of the Variable Binding Scheme in LOGFLOW *
1997-10-16
SCALPS: Smart Card Applied to Little Payment Systems
1999-07-15
A Study on the Effect of Transfer of Genes for the Bacterial Evolutionary Algorithm
1998-11-19
MonteCarlo Approach for Power Estimation in Sequential Circuits
1997-04-24
Newsletter Copy
2000-10-19
A Framework for Optimizing Parallel I/O
1998-03-31
Variability X-ray Flux from the Jet in Quasar
1998-09-24
S. C. Unwin
A Random Sampling Scheme for Path Planning
1999-11-22
Independent Components in Text
1999-05-21
Determination of Stability Zones for Linear Systems of Ordinary Differential Equations Depending on Two Parameters
1994-05-19
Inessa Matveeva
Higher-Order Value Flow Graphs
1997-09-19
Christian Mossin
Open Problems on Polytope Reconstruction
1999-11-11
Performance Prediction in Production Environments
1999-02-28
Vector Generation for Maximum Instantaneous Current Through Supply Lines for CMOS Circuits
1997-07-04
Observational Prospects For Extra-Galactic Microlensing Events
1997-12-08
Wesley N. Colley
Mobile Agents Can Benefit From Standards Efforts on Inter-Agent Communication
1998-06-08
Investigation Of The Influence Of Impact Ionization Feedback On The Spatial Distribution Of Hot Carriers In An Nmosfet
2000-06-20
Equational Theories of Boolean Functions
1997-12-30
A proposal to merge Multiple Tuple Spaces, Object Orientation, and Logic Programming
1999-01-27
Trading off Completeness for Efficiency --- The
1996-04-17
Discovery of two Radio Pulsars In The Globular Cluster M15
1997-06-09
o/oo" o/oozPD` @
1997-05-21
Classes = Objects + Data Abstraction
1970-01-01
Isotach Networks
1995-02-20
Image Understanding Research at Columbia University
1994-08-15
Path Integral Quantization of the Symplectic Leaves of the
1997-10-09
Bogdan Morariu
Projective Plane And Planar Quantum Codes
1999-01-23
Spherical classes and the Dickson algebra
1996-11-06
SOM Hardware-Accelerator
1999-09-21
Applied and Computational Aspects of Nonlinear Wavelet Approximation
1999-10-15
Albert Cohen
Software-Based Fault-Tolerant Clock Synchronization for Distributed UNIX Environments
1996-03-05
Interactive Pattern Design with Image Simplication
1999-03-24
Symposium On Sensors and Controls November 14-19, 1999 Nashville, TN
1970-01-01
Notes On Formalizing Context
1993-04-02
John Mccarthy
ATT at TREC-7
1999-12-02
Query Optimization for Semistructured Data Using Path Constraints in a Deterministic Data Model
2000-05-11
Retiming Techniques for Statecharts
1996-03-21
Andrea Maggiolo-schettini
Value at Risk - Proposals on a Generalization -
1996-11-25
Michael Schrder
Traffic Signatures for Network Engineering
1998-08-13
Amarnath Mukherjee
Egomotion Estimation on a Topological Space
1998-05-24
A Review of The Cocktail Party Effect Barry Arons
1995-04-13
Barry Arons
On An Extension Of The 3-Dimensional Toda Lattice
1996-04-11
Mircea Puta
CURE: An Efficient Clustering Algorithm for Large Databases
1998-06-08
Line And Boundary Detection In Speckle Images
1997-02-20
A Survey of PDM Implementation Projects In Selected Swedish Industries
1970-01-01
Modeling of VLSI RC Parasitics Based on the Network Reduction Algorithm
1999-12-04
Achieving Dextrous Grasping By Integrating Planning and Vision Based Sensing
1998-04-09
Distributed Value Functions
1999-04-29
Optimization of a Container Transport System with the Breeder Genetic Algorithm
1999-05-06
Different Types of Arrow Between Logical Frameworks
1996-04-01
Till Mossakowski
Revised^5 Report on the Algorithmic Language Scheme
1999-08-13
On the Smallest Maximal Increment of Partial Sums of I.i.d. Random Variables
1999-04-21
Uwe Einmahl David M
Access Normalization: Loop Restructuring for NUMA Computers
1999-06-18
Nonconvexity of the Capacity Region of the Multiple-Access Arbitrarily Varying Channel Subject to Constraints
1970-01-01
Two-Stage Preconditioners for Inexact Newton Methods in Multi-phase Reservoir Simulation
1997-01-27
Standard Selection Modes in Dynamic, Complex Industries: Creating Hybrids between Market Selection and Negotiated Selection of Standards
1998-10-20
Helioseismic Tomography
1996-11-19
Neural Generalized Predictive Control: A Newton-Raphson Implementation
1997-03-21
Detection of Membrane Proteins in the Whole Genome Sequences
1998-03-31
What's Decidable About Hybrid Automata?
1998-11-10
On the Number of Arrangements of Pseudolines
1996-03-22
Stefan Felsner
Computing Chromatic Polynomials of Oriented Graphs
1994-07-04
Eric Sopena
Usability Meets the Real World: A Case Study of Usability-Oriented Method Development in Industrial Software Production
1994-07-26
Matrices in Elimination Theory
1998-11-21
A family of matrices, the discretized Brownian Bridge and distance-based regression
1998-03-06
The Modeling of a Laboratory Natural Gas-Fired Furnace with a Higher-Order Projection Method for Unsteady Combustion
1999-01-27
Littlewood-Type Problems On 0,1
1999-05-06
Measurement of the B
1994-06-17
An Augmented Lagrangian Mixed Finite Element Scheme for Saddle Point Problems
1999-04-05
Daoqi Yang
A Compact and Multiscale Image Model Based on Level Sets
1999-09-09
Jacques Froment
Red Giants in Open Clusters.
1995-11-16
Building Long/Short Portfolios Using Rule Induction
1998-01-05
Generating Guitar Scores from a MIDI Source
1999-11-22
Next Generation GRAPE systems
1995-11-24
From Roles to Teamwork: a framework and architecture
1997-04-24
Lin Padgham
Building Regression Cost Models for Multidatabase Systems
1996-09-16
LMITOOL: a Package for LMI Optimization in Scilab - User's Guide
1995-02-16
Computations of K-and L-Theory of Cocompact Planar Groups
2000-03-27
Wolfgang Luck
E Ex Xp Pe Er Rn No Om Mi Ic Cs S
1998-05-28
Gap Phenomenon for Some Autonomous Functionals
1996-03-02
Partial Functions from a Domain to the Set of Real Numbers
1970-01-01
Open and Flexible Control and Resource Management for ATM Networks using Intelligent Agents
2000-03-02
A General Framework of Continuation Methods for Complementarity Problems
1995-09-22
Data Access Reorganizations in Compiling Out-of-core Data Parallel Programs on Distributed Memory Machines
1998-07-21
Percolation Beyond Z d, Many Questions and a Few Answers
1999-12-30
An Algebraic Approach to Hardware/software Partitioning
1970-01-01
Recognizing Immediacy in an NTree Hierarchy and its Application to Protection Groups
1999-04-02
Ravinderpal S. Sandhu
On Learning Spatio-Temporal Relational Structures in Two Different Domains
1999-11-19
Look Ma', My Homepage is Mobile!
2000-10-02
An Adaptive Query Language for Object-Oriented Databases: Automatic Navigation Through Partially Specified Data Structures
1995-10-23
Coleman Harrison
Stability Of Harmonic Morphisms
1998-10-22
Stefano Montaldo
Adaptive Vocabularies For Transcribing Multilingual Broadcast News
1998-06-26
A Learning Method of Fuzzy Reasoning by Genetic Algorithms
2000-07-25
The Impact of the Internet on Telecommunication Architectures
1999-05-06
Evaluation of High-Speed Civil Transport Handling Qualities Criteria With Supersonic Flight Data
1997-04-16
Inductive Program Synthesis as Induction of Context-Free Tree Grammars
1998-12-11
On Wrapping Query Languages and Efficient XML Integration
2000-03-24
Consistent Checkpoints of PVM Applications
1994-10-25
Georg Stellner
Alternative Tests for Time Series Dependence Based on Autocorrelation Coefficients
1998-12-05
Computational Experience with Parallel Mixed Integer Programming in a Distributed Environment
1999-01-29
The principal spectrum for linear nonautonomous parabolic PDEs of second order: Basic properties
1999-12-07
Topological Representation of Sheaf Cohomology of Sites
1997-02-17
Bayes inference in common Markov switching trends models
1999-03-09
Sylvia Kaufmann
Asymptotic Behaviour of Estimation Equations With Functional Nuisance Or Working Parameter
1970-01-01
Optimal Dynamic Investment Policy under Different Rates for Tax Depreciation and Economic Depreciation
1999-07-29
A Functional Simulator Of Spacecraft Resources
1997-02-24
Analytical Interpretation of Feed-Forward Nets Outputs After Training
1999-09-21
Generation of Texts for Information Graphics
1999-05-19
The hosts of z=2 QSOs
1999-01-07
Hierarchical Optimal Control of MDPs
2000-06-19
Ab-Initio Calculation of Equilibrium Structures for Na Clusters using the Hybrid Simulated Annealing
1997-11-03
Noise Elimination in Inductive Concept Learning: A case study in medical diagnosis
2000-02-07
Intelligent Scissors For Medical Image Segmentation
1996-06-18
Smt Solder Joint Reliability/workmanship Environmental Test Results Correlation For Lcc
1996-12-19
Reza Ph. D
Improving Cache Performance with Balanced Tag and Data Paths
1996-10-07
Task Parallelism in
1999-05-06
Visual Servoing with Calibrated Cameras: A Review
1999-03-24
Social Information Filtering for Music Recommendation
1994-09-06
Upendra Shardanand
Neat vs Scruffy: A survey of Computational Models for Spatial Expressions.
1996-07-15
Amitabha Mukerjee
The Cranium Network Interface Architecture: Support for Message Passing on Adaptive Packet Routing Networks
1997-03-04
Neil R. Mckenzie
Flatness and Small-Time Controllability of Multibody Mobile Robots : Application to Motion Planning
2000-05-31
Top Quark Physics at the Tevatron
1998-05-21
Pushpalatha C. Bhat
Analysis of an Algorithm for Distributed Recognition and Accountability
1995-06-06
An Adaptive Scheduling Approach in Real-Time CORBA
1999-04-05
A KIF Mediator for Multiple F-logic Object Databases
1996-04-23
Support Vector Data Description Applied to Machine Vibration Analysis
1999-01-29
Algorithm for Image Registration and Clutter and Jitter Noise Reduction
1970-01-01
K. L. Brower
Minimum-Phase Nonlinear Systems: A New Definition
2000-06-27
Chiral Symmetry on the Lattice
1994-11-28
Michael Creutz
G-Networks With Triggered Batch State-Dependent Movement
1999-11-09
Dual-mode Routing: A Generic Framework for IP over ATM Integrated Routing
1999-03-26
Dynamic Routing and Operational Controls in Workflow Management Systems
1998-11-24
J. Leon Zhao
Wejchert and Tesauro, 1990 Jakub Wejchert and Gerald Tesauro. Neural Network Visualization. In D. S. Touretzky, editor,
1994-01-31
Parallel Application Software on High Performance Computers II. Linear Algebra Routines.
1996-07-02
Simple Curves on Hyperbolic Tori
1997-02-06
Igor Rivin
Status of the HEPVis Class Library
1998-11-03
Steps Towards Absolute Accuracy In Radial Velocities
1998-09-25
Dag Gullberg
Unification-based Multimodal Integration
1999-03-17
Evolution of Cellular-automaton-based Associative Memories
1999-05-10
Fast Spatio-Temporal Data Mining of Large Geophysical Datasets
1970-01-01
An Algorithm for Solving the Direct Kinematic Of Stewart-Gough-Type Platforms
1996-01-22
Manfred L. Husty
A Basis for Future Successes in Multiobjective CombinatorialOptimization
1998-06-04
Expressive Probability Models in Science
1999-08-22
Stuart Russell
Binary Snapshots
1994-12-04
Correlations in Protein Sequences and Property Codes
1997-11-07
Ns Simulator Tests for Random Early Detection RED Queue Management
1997-04-30
French-Romanian Integrated Proposal for the User Language of E-LOTOS
1996-05-11
Algorithm Design and Software Libraries: Recent Developments in the LEDA Project
1994-08-05
NAS Semiconductor Device Modeling Program
1997-09-12