On Nonlinear Control of Euler-Lagrange Systems: Disturbance Attenuation Properties
1999-01-21
Key Concepts For Parallel Out-Of-Core LU Factorization
1996-04-17
A Family of Syntax Definition Formalisms
1997-03-03
Eelco Visser
Experimenting With The Cheeseman-Stutz Evidence Approximation For Predictive Modeling And Data Mining
1997-03-17
Learning Organizational Roles in a Heterogeneous Multi-agent System
1995-04-25
High-Performance Fortran for SPMD programming: An Applications Overview
1997-06-04
Extended Capabilities for Visual Cryptography
1998-12-16
Comparison of the Dynamic Behavior of Different Multipliers in the
1997-12-22
Generating Descriptions in Context
1998-09-15
Scattering By Anisotropic Potential ina Constant Electric Field
1997-04-26
Environment Awareness Support for Customizable Shared Hypermedia Documents
1996-01-29
Multi-Sided Pre-Play Communication By Burning Money
1998-07-01
Sjaak Hurkens
Boris Shapiro,
1997-08-11
Client-Access Protocols for Replicated Services
1999-01-14
HPGP: High-Performance Generic Programming for Computational Mathematics by Compile-Time Instantiation of Higher Order Functors
1997-11-07
The Fermilab Sequencer Use in Collider Operations
1996-01-17
Jerry Annala
Content-Based Image Retrieval With Relevance Feedback In Mars
1997-07-05
Positive Agnosticism In Belief Revision
1998-05-10
Roderic A. Girle
Percentile Blobs for Image Similarity
1998-04-23
Nicholas R. Howe
McColm's Conjecture
1998-03-05
Singular Behaviour of the Potts Model in the Thermodynamic Limit
1998-01-15
Ralph Kenna
Improved Generalization through Explicit Optimization of Margins
1999-04-19
Measurement-Based Admission Control in Integrated-Services Networks
1998-06-03
Jingyu Qiu
Algorithms for the Parallel Alternating Direction Access Machine
1999-02-23
Effect of the Prefabricated Routing Track Distribution on FPGA Area-Efficiency
1997-07-24
Role and Task-based Access Control in the PerDiS Groupware Platform
1998-07-13
Proxy Cache Coherency and Replacement - Towards a More Complete Picture
1999-03-19
Management of the NHSE -- a Virtual Distributed Digital Library
1995-04-20
Using Destination Set Grouping to Improve the Performance of Window-Controlled Multipoint Connections
1994-12-11
Discrepancy as a Quality Measure for Sample Distributions
1998-01-23
Peter Shirley
A Neural Network for Preattentive Perceptual Grouping
1994-11-03
Winfried A. Fellenz
MIME: A Portable and Robust Multimedia Format for Internet Mail
1993-12-01
Nathaniel S. Borenstein
A Comparison of the Static and the Disjunctive Well-founded Semantics and its Implementation
1998-10-16
The Orthogonal Decomposition Theorems For Mimetic Finite Difference Methods
1998-07-23
Evolution Effects in
1997-12-11
Practical Point-in-Polygon Tests Using CSG Representations of Polygons
1999-04-20
Ground Nonmonotonic Modal Logics
1970-01-01
A Complete Scheme for Short Range . . .
1997-08-07
Buffered Collection and Buffered Iterator Patterns
1995-10-02
A mixed modal/linear lambda calculus with applications to Bellantoni-Cook safe recursion
1998-01-22
Martin Hofmann
Fully Polynomial Approximation Schemes for Single-Item Capacitated Economic Lot-Sizing Problems
1997-08-26
Prediction of Mixtures
1996-05-09
Exact Results for the Asymmetric Simple Exclusion Process with a Blockage
1997-04-26
A Priori Error Estimates For Numerical Methods For Scalar Conservation Laws. Part Ii: Flux-Splitting Monotone Schemes On Irregular CartesianGrids
1997-05-20
Negative Boolean Constraints
1999-03-22
People Oriented Software Technology, and its Use in Environmental Reporting
1998-12-28
A Working Person's Guide to Situation Theory
1995-01-25
Robin Cooper
Recognizing and Evaluating Plans with Diagnostic Actions
1996-03-12
The Landscape of the Traveling Salesman Problem
1998-09-25
Left Ternary Trees and Non-Separable Rooted Planar Maps
1998-07-07
Procedures in Object-Oriented Query Languages
1996-12-17
Nonlinear Schrödinger Dynamics and Nonlinear Observables
1998-05-12
W. Lucke
On Method Overfitting
1998-12-02
Emanuel Falkenauer
Tree-Based Multicasting in Wormhole-Routed Irregular Topologies
1999-02-03
WebWatcher: Machine Learning and Hypertext
1997-10-31
Amalgamation in Finite Dimensional Cylindric Algebras
1999-02-23
Maarten Marx
States insensitive to the Unruh effect in multi-level detectors
1997-08-01
Karl-peter Marzlin
Scalar Optimization with Linear and Nonlinear Constraints Using Evolution Strategies
1997-07-22
Backwards Strictness Analysis: Proved and Improved
1993-03-17
Biomimetic Use of Genetic Algorithms
1998-07-28
Jean Louis Dessalles
Automatic Generation of a MOS Transistor Simulation Model with Maple V
1997-08-27
ANCORS: Adaptable Network COntrol and Reporting System
1997-10-08
Comparison of Regression Methods, Symbolic Induction Methods and Neural Networks in Morbidity Diagnosis and Mortality Prediction in Equine Gastrointestinal Colic
1996-02-20
An Analysis of non-Markov Automata Games: Implications for Reinforcement Learning
1999-02-10
An Ensemble Based Simulated Annealing Library for Multiprocessors
1995-06-02
Subtyping and Overloading in a Functional Programming Language
1995-12-05
Proof Strategies in Linear Logic
1996-03-29
Tanel Tammet
A New Hashing Package for UNIX
1999-01-03
A. David Redish
1994-08-29
Pitfalls in Parameter Estimation for Delay Differential Equations
1995-05-30
A Facility for Tracing Wide-Area Information Access
1996-01-25
Feature Point Detection in Blurred Images
1998-11-30
A Semi-Linear Elliptic Pde Model For The Static Solution Of Josephson Junctions
1995-03-14
Decision-Theoretic Refinement Planning: A New Method for Clinical Decision Analysis
1996-11-30
Opportunities and Tools for Highly Interactive Distributed and Parallel Computing
1994-12-06
The Design of a Meta-Level Architecture for the BETA Language
1996-04-17
Ren'e W. Schmidt
Look-ahead in ILP by Taming the Hypothesis Search Space
1995-08-11
Second-Order Algorithms for Generalized Finite and Semi-Infinite Min-Max Problems
1999-07-12
Douglas W. Oard
1997-02-03
Douglas W. Oard
A Neuro-Dynamic Programming Approach to Retailer Inventory Management
1996-11-15
Model Checking in Practice: An Analysis of the ACCESS.bus™ Protocol using SPIN
1999-03-05
Bernard Boigelot
Computation of the Dynamic Aperture of a One Dimensional Model of a Sextupole Nonlinearity, using Analytical Tools
1997-12-02
Spectra Of Elements In The Group Ring Of SU2
1998-09-10
Introducing Linguistic Constraints Into Statistical Language Modeling
1996-06-20
Petra Geutner
A Simple Dynamic Algorithm for Maintaining a Dominator Tree
1970-01-01
Program Dependence Analysis of Concurrent Logic Programs and Its Applications
1997-05-30
Type Inference with Constrained Types
1997-05-02
Large-Scale Structure In The Las Campanas Redshift Survey
1996-02-20
On-Line New Event Detection, Clustering, And Tracking
1999-08-08
A Point-Source Method in Inverse Electromagnetic Scattering.
1998-03-05
Roland Potthast
Optimistic Deltas for WWW Latency Reduction
1996-11-13
Applications of high-order quadratures to the evaluation of Fourier integrals of functions with singularities
1995-11-08
Sharad Kapur
Probabilistic Analysis for Combinatorial Functions of Moving Points
1998-05-25
Partitioning and Restructuring Designs on the Behavioral Level
1997-02-18
GST, General Sliding Tile
1997-10-08
Stefan Edelkamp
In November 1996, the German national science foundation DFG
1997-12-05
H1 Collaboration
1998-07-18
H Collaboration
Schedulability Analysis
1999-07-06
Name Andreas Ermedahl
Value at Risk and Maximum Loss Optimization
1997-07-17
G. Studer Ethz
Spinodal decomposition for the stochastic Cahn-Hilliard equation
1999-08-10
Chan: an Asynchronous Data-Parallel Language for Irregular Algorithms
1999-01-29
Architecture and Infrastructure for a Distributed Design Environment: A Server Perspective
1998-08-25
A Server Perspective
A Multi-agent System for Distributed Resource Allocation
1999-06-21
Morphological Perceptron Learning
1998-07-07
Peter Sussner
Asymptotic Stability of a 9-point Multigrid Algorithm for the Convection-Diffusion Equations
1997-03-22
Jules Kouatchou
Pattern Recognition for Candidate Generation in the Game of Shogi
1998-12-10
Parity Violation in Quasifree Electron Scattering Off the Deuteron
1997-03-19
G. Kuster
Verification of Hybrid Systems: Monotonicity in the AHS Control System
1995-12-05
Roll-Forward Error Recovery in Embedded Real-Time Systems
1997-02-24
Learning Reactive and Planning Rules in a Motivationally Autonomous Animat
1996-12-19
Pseudorandom Function Tribe Ensembles Based on One-Way Permutations: Improvements and Applications
1999-06-29
Johan Bos Elsbeth Mastenbroek Scott McGlashan Sebastian Millies Manfred Pinkal
1996-04-29
Breaking Public Key Cryptosystems on Tamper Resistant Devices in the Presence of Transient Faults
1997-04-18
Learning Discrete Bayesian Models for Autonomous Agent Navigation
1999-06-25
Scheduling Parallel Communication: The
1998-11-24
Late-Time Evolution of Charged Gravitational Collapse and Decay of Charged Scalar Hair - III. Nonlinear Analysis
1998-05-05
MPI/RT: Design and Implementation of a Real-Time Message Passing Interface
1997-06-04
The Relative Complement Problem for Higher-Order Patterns
1970-01-01
Enhancing Architectural Details by Using Abstract Possibilities of . . .
1996-07-09
Local Inequalities for Anisotropic Finite Elements and Their Application to Convection-Diffusion Problems
1995-03-30
A Goodness Measure for Phrase Learning via Compression with the MDL Principle
1999-03-18
Chunyu Kit
Representing Layered Monads
1999-05-26
Andrzej Filinski
Generating an Action Notation Environment from Montages Descriptions
1999-07-09
A Non-Invasive Learning Approach to Building Web User Profiles
1999-07-19
Philip K. Chan
Design and Applications of UV-Light Programmable Voltage References
1998-04-22
Solution of the Incompressible Navier-Stokes Equations in General Coordinates by Krylov Subspace and Multigrid Methods
1993-08-01
Emergence of Phase and Shift Invariant Features By Decomposition of Natural Images Into Independent Feature Subspaces
1999-08-16
Improving the Performance of Infomax Using Statistical Signal Processing Techniques
1997-07-08
Statistical Analysis of Backtracking on Inconsistent CSPs
1997-08-27
NACSIS Test Collection Workshop NTCIR-1
1999-07-07
Determination Of Human Vocal-Tract Dynamic Geometry From Formant Trajectories Using Spatial And Temporal Fourier Analysis
1994-05-16
Topics in Scattered Data Interpolation and Non-Uniform Sampling
1998-11-24
Achieving Workflow Adaptability by means of Reflection
1998-10-20
Probabilistic Analysis Of An Algorithm In The Theory Of Markets In Indivisible Goods
1998-01-15
Stability of Implicit Extrapolation Methods
1995-05-31
Ridge and Ravine Detection in Digital Images
1997-05-01
On the Determination of Epipoles Using Cross-Ratios
1998-02-24
IBM Research Report
1996-01-16
Type-Directed Partial Evaluation
1999-06-22
Olivier Danvy
On The Convergence Of Pattern Search Algorithms
1999-05-24
Computing Physical Maps of Chromosomes With Nonoverlapping Probes By Branch-and-Cut
1999-05-27
Approximating Cumulative Bandwidth Requirements For The Delivery Of Stored Video
1999-04-15
Filters, Random fields And Maximum Entropy FRAME
1998-02-27
Approximating Good Simultaneous Diophantine Approximations is almost NP-hard
1998-02-23
Frequency in Morphology
1997-01-11
How to Make Personalized Web Browsing Simple, Secure, and Anonymous
1998-05-28
Voronoi Diagrams and Morse Theory of the Distance Function
1996-08-09
Dirk Siersma
Acknowledgements
1997-07-16
Jeremy David Frank
A Linear Hebbian Model for the Development of Spatiotemporal Receptive Fields of Simple Cells
1998-07-28
Anonymous Atomic Transactions
1998-10-19
Experience with Efficient Array Data Flow Analysis for Array Privatization
1997-07-24
Spin Chain Hamiltonians with Affine U q g symmetry
1998-05-13
Marc Bezem
1997-03-03
A Task Description Language for Robot Control
1999-08-06
Incremental Co-evolution of Organisms: A New Approach for Optimization and Discovery of Strategies
1999-05-21
Pamela C. Cosman, Karen L. Oehler, Eve A. Riskin, Robert M. Gray
1997-02-05
Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
1999-01-02
Peter W. Shor
A Lower Bound for Quantum Search of an Ordered List
1999-06-23
An Object-Oriented Toolkit for Constructing Virtual Reality Applications
1997-10-29
Stabilized Wavelet Approximations of the Stokes Problem
1999-05-28
Photoproduction of Pions - Results from Dispersion Theory
1997-07-09
CorbaWeb: A WWW and Corba Worlds Integration
1996-05-24
An Internet Accessible Telepresence
1996-09-04
Combining Methods for the Livelock Analysis of a Fault-Tolerant System
1998-06-19
A New Plant Cell Image Segmentation Algorithm
1997-10-29
VACE: A Tool for Visualization of And-Or Parallel Execution
1998-07-22
+656: A Quadruple Lens System Found In The Class Gravitational Lens Survey
1995-08-22
Steven T. Myers
Analysis of the Clustering Properties of Hilbert Space-filling Curve
1996-03-17
Accuracy vs. Efficiency Trade-offs in Optical Flow Algorithms
1998-01-20
The Parallel
1997-05-30
Parallel Computation Still Needs a Unifying Model to Play in the Mainstream
1997-05-26
Domenico Talia
A CMOS High Speed Data Recovery Circuit Using the Matched Delay Sampling Technique
1995-11-20
A Framework for Automated Construction and Transformation of Case-Based Reasoning Systems
1999-07-20
Byte Pair Encoding: A Text Compression Scheme That Accelerates Pattern Matching
1999-04-19
The Poincar
1997-11-29
Implementing Distributed Server Groups for the World Wide Web
1996-07-10
Maintaining Multiple Motion Model Hypotheses Over Many Views to Recover Matching and Structure
1997-09-15
On Limit's Theorem For Class
1997-04-27
Grigori Vartanian
Automatic Derivation of Path and Loop Annotations in Object-Oriented Real-Time Programs
1998-03-03
Boosting the Performance of RBF Networks with Dynamic Decay Adjustment
1995-02-01
Shape Matching Based on Invariants
1970-01-01
Stan Z. Li
How to Approximate the Inner-product: Fast Dynamic Algorithms for Euclidean Similarity
1999-06-30
Omer Egecioglu
A Stable Integer Relation Algorithm
1998-02-23
Knowledge Acquisition for the Onboard Planner of an Autonomous Spacecraft
1998-02-19
Implementation of the Conjugate Gradient Algorithm in DSO
1997-01-27
Natural Language Properties and Information Systems
1996-10-04
Lightweight Transactions on Networks of Workstations
1998-04-14
Spatial Learning for Robot Localization
1998-04-29
Evaluation of Trade-Offs in the Design of Embedded Systems Via Co-Simulation
1996-04-17
Nonequilibrium Dynamics in Quantum Field Theory
1998-12-18
Evaluation of Simulated Tempering for Optimization Problems
1995-08-03
Scalable Video Transmission for the Internet
1997-04-01
An Inference-Based Approach to the Interpretation of Discourse
1999-08-05
Analysis of Range Search for Random K-D Trees
1999-07-15
Stochastic Screen Halftoning for Electronic Imaging Devices
1998-04-24
The tool Kronos
1998-11-10
Relating Logic Programming Theories of Actions and Partial Order Planning
1996-07-17
Chitta Baral
SpamCop: A Spam Classification&Organization Program
1999-01-01
A Comparison Of Sesame And Ssl For Intranet And Internet Security
1998-09-15
VisPro: A Visual Language Generation Toolset
1999-07-15
Nonstationary Wavelets on the
1996-04-05
Minimising the Energy of the Alanine Dipeptide by Simulated Annealing
1997-11-13
Capacity Planning With Phased Workloads
1998-11-23
Security of World Wide Web Search Engines
1998-06-03
Massimo Marchiori
Applying an Object-Based Petri Net to the Modeling of Communication Primitives for Distributed Software
1998-04-16
Modelling the Semantics of Human-Computer Systems
1998-10-05
Extending Linear Response: Inferences from Electron-Ion Structure Factors
1999-04-15
Variable-Length Category-Based N-Grams for Language Modelling
1995-05-04
Timestamping Schemes for MPEG-2 Systems Layer and Their Effect on Receiver Clock Recovery
1998-05-05
Approximation of Sahelian rainfall fields with meta-Gaussian random functions, 2: parameter estimation and comparison to data
1998-11-12
Optimization by Means of Genetic Algorithms
1994-09-06
Thomas Back
From semantics to rules: A machine assisted analysis
1994-10-07
Catarina Coquand
Reversible Relative Periodic Orbits
1999-06-30
NetSTAT: A Network-based Intrusion Detection System
1999-07-19
On the Storage and Retrieval of Continuous Media Data
1997-06-01
Evolutionary Design for Novel Technologies
1999-06-09
Adrian Thompson
Secure Multi-Party Computation
1998-06-10
Oded Goldreich
Knowledge Sources for Textual CBR Applications
1998-04-23
Mario Lenz
Accurately Counting Singular Values of Bidiagonal Matrices
1997-08-12
K V Fernando
Design of SAC/PCl of Order k Boolean Functions and Three Other Cryptographic Criteria
1999-04-23
Kaoru Kurosawa
Productive Parallel Programming: The PCN Approach
1992-05-20
A Comparative Study of B-Spline Fuzzy Controller and RBFN
1999-07-15
Kang G. Shin, Dilip D. Kandlur, Daniel L. Kiskis, Paul S. Dodd, Harold A. Rosenberg, and Atri Indiresan
1997-03-28
Triple-Node Hierarchies for Object-Oriented Database Indexing
1998-08-17
Bayesian Classification Theory
1995-04-18
Feature-Oriented Programming: A Fresh Look at Objects
1997-09-29
Christian Prehofer
Gradient Flows on Nonpositively Curved Metric Spacesand Harmonic Maps Summary
1999-02-13
Uwe F. Mayer
Factoring via Strong Lattice Reduction Algorithms
1998-02-23
A Generic Normalisation Proof for Pure Type Systems
1996-09-02
Benjamin Werner
MGS: A Multigrain Shared Memory System
1998-02-04
Highly Oscillatory Systems and Periodic-Stability
1998-08-27
Azer Bestavros
1996-08-02
Azer Bestavros
COMFRESH - A common framework for expert systems and hypertext
1996-12-17
Using Processor Affinity in Loop Scheduling on Shared-Memory Multiprocessors
1995-11-06
Artificial Intelligence
1997-10-10
Robust Control Allocation Of Overactuated Ships; Experiments With A Model Ship
1997-06-06
MSOCKS: An Architecture for Transport Layer Mobility
1998-08-17
Netlib Internal Data Flow
1995-02-23
Eric Grosse
New Network and ATM Adaptation Layers for Real-Time Multimedia Applications: A Performance Study Based on Psychophysics
1996-10-09
Real-Time Reliable Multicast Using Proactive Forward Error Correction
1998-08-13
Bounds in Algebraic Riccati and Lyapunov Equations : A Survey and Some New Results
1998-12-16
Optimal And Nearly Optimal Static Weighted Skip Lists
1995-06-21
Software Write Detection for a Distributed Shared Memory
1994-10-13
Representing Procedural Knowledge for Semantic Networks using Neural Nets
1996-10-29
R-OK: A Reflective Model for Distributed Object Management
1997-05-09
Efficient Generalized LR Parsing of Word Lattices
1994-12-16
Towards Better Language Models For Spontaneous Speech
1999-01-30
A. W Aibel
Refining Action Theories through Abductive Logic Programming
1999-03-25
Generation of Random Variates using Asymptotic Expansions
1995-11-14
Jens Struckmeier
Human Face Detection in Visual Scenes
1999-08-09
A Proposal for User Level Sparse BLAS
1992-12-01
Exponential lower bounds for the Tree-like Hajós Calculus
1999-06-04
Maximal Bilinear Estimates For General Families Of Fourier Multipliers
1997-03-18
Bj Orn Gabriel Walther
Designing object-oriented synchronous groupware with COAST
1997-01-14
Using Dynamic Kernel Instrumentation for Kernel and Application Tuning
1999-03-01
Brokered Collaborative Infrastructure for CSCW
1998-07-21
Error reporting in the I/O module libraries
1998-04-30
Spatio-temporal CNN Algorithm forObject Segmentation and Object Recognition
1998-06-23
Hardware/Software Partitioning using Integer Programming
1998-06-17
An Optimistic, Parallel Algorithm for the Circuit Value Update Problem
1995-05-22
An Investigation Into the Correlation of Cue Phrases, Unfilled Pauses and the Structuring of Spoken Discourse
1997-05-20
Janet Cahn
Alternative Random Initialization in Genetic Algorithms
1997-04-25
Proton Dissociative
1997-12-19
H Collaboration
Predicting Sunspot Numbers
1996-10-17
Motion-Synthesis Techniques for 2D Articulated Figures
1997-08-23
A Bibliography of Publications about the
1999-05-08
Nelson H. F. Beebe
A note on the use of Fast Fourier Transforms in Buzen's Algorithm
1992-11-01
Transparent and Opaque Interpretations of Datatypes
1998-12-07
Modeling Cost/Performance of a Parallel Computer Simulator
1996-12-06
Dust extinction of H
1997-01-07
Genetic Programming for Object Detection
1999-03-01
A Parallel Implementation of the Nonsymmetric
1997-03-11
GHRS Monitoring of the Outflowing Material in NGC 4151
1970-01-01
A Mail-Safe Transformation Format of Unicode Status of this Memo
1994-11-16
Modelling the Perceptual Segregation of Double Vowels With a Network of Neural Oscillators
1996-08-16
Two Phases of Supersymmetric Gluodynamics
1998-05-23
E-Mail Security
1994-11-22
Multicast Feedback Suppression Using Representatives
1998-12-20
Genetic L-System Programming
1996-05-09
Christian Jacob
Toward Optimal Feature Selection
1996-04-16
Real-Time Statistical Clustering For Event Trace Reduction
1998-01-06
Oleg Y. Nickolayev
Should Knowledge Entail Belief?
1996-10-03
Joseph Y. Halpern
Martin Sulzmann
1998-07-15
Martin Sulzmann
Multi-Modal Data Fusion for Person Authentification Using SVM
1998-06-19
Martigny Valais Suisse
A Calculus of Dataflow Networks
1992-03-26
Facilitating Open Communication in Agent Systems: the InfoSleuth Infrastructure
1998-04-01
M. H. Nodine
How Fast Does A General Branching Random Walk Spread?
1997-05-24
Stiff Oscillatory Systems, Delta Jumps and White Noise
1999-02-17
Implementing
1995-10-20
Sabine Kuske
Masque/sql-- An Efficient and Portable Natural Language Query Interface for Relational Databases
1994-01-24
Implicit Enumeration of Strongly Connected Components
1999-04-13
, Come From Studies of
1997-09-23
Dean Karlen
Empirical Analysis of the General Utility Problem in Machine Learning
1995-08-29
Lawrence B. Holder
Residue Influence on Phase Unwrapping in Interferometry by Use of Green-Helmholtz Formulation
1999-02-19
Eliciting Knowledge And Transferring It Effectively To A Knowledge-Based System
1997-08-05
On Locally compact groups whose set of compact subgroups is inductive.
1995-08-21
Christian Terp
Internet Protocol Next Generation
1998-01-26
Bruno Crispo
Routing Strategies for Fast Networks
1995-03-23
Total Functionals and Well-founded Strategies
1970-01-01
Stefano Berardi Ugo De'liguoro
Which rules for the robust parsing of spoken utterances with Lexicalized Tree Adjoining Grammars?
1998-07-06
A Saddle Point TheoremFor Non-Smooth Functionals And Problems At Resonance
1996-03-26
SOPHIA - Simulations of PhotoHadronic Interactions in Astrophysics
1999-03-31
The Use of Lemmas in the Model Elimination Procedure
1997-08-22
Task Decomposition and Dynamic Role Assignment for Real-Time Strategic Teamwork
1998-03-15
Transformations of the Critical Path Problem for Probabilistic Solutions
1997-10-29
Optimum Sequence Estimation for Non-Gaussian Channels with Intersymbol Interference
1999-03-22
Coordination Theory and Software Process Technology
1995-06-17
R. Mark Greenwood
PUBLIC: A Decision Tree Classifier that Integrates Building and Pruning
1999-02-23
Towards Development of Correct Software using Views
1999-01-15
On Using Network RAM as a non-volatile Buffer
1998-08-19
Random Walks on Colored Graphs
1997-08-22
A Visual Attention Network for a Humanoid Robot
1998-03-30
J. A. Driscoll
Wormhole Routing Techniques for Directly Connected Multicomputer Systems
1998-09-07
Prasant Mohapatra
A Bounded-Space Tree Traversal Algorithm
1995-04-05
D. S. Hirschberg
Reconfiguration in Rapidly Tunable Transmitter, Slowly Tunable Receiver Single-Hop WDM Networks
1996-06-04
Inversion Formula for Continuous Multifractals
1998-02-09
Abductive Reasoning over Temporal Specifications of Objects
1999-01-22
Logistic Regression at TREC4: s Probabilistic Retrieval from Full Text Document Collection
1997-09-22
Singularities, initial and boundary problems of the Tolman-Bondi model
1998-05-05
Alexander Gromov
A Family of Design Patterns for Application-Level Gateways
1997-04-25
Douglas C. Schmidt
Hyper Tableaux
1997-01-13
TREAT: Designing a Teaching Simulation Environment
1996-02-13
The Solution of Systems of Linear Equations using the Conjugate Gradient Method on the Parallel MUSIC-System
1994-11-22
Fault Tolerance Bounds for Memory Consistency
1997-08-26
Real-Time Performance Guarantees over Wired/Wireless LANs
1999-01-15
Design Issues for Virtual Reality Systems
1995-12-13
An Emacs User Interface for Ale
1995-06-13
Olivier Laurens
Using Perceptual Attributes To Obtain Dense Depth Maps
1996-05-22
Andreas Koschan
Rule-Generating Abduction for Recursive Prolog
1997-09-30
Kouichi Hirata
Binary Decision Diagrams on Network of Workstations
1996-06-01
Beyond Query By Example
1999-03-17
Probabilistic Interpretation of Population Codes
1998-01-13
Circulant Block-Factorization Preconditioning of Anisotropic Elliptic Problems
1999-02-03
A Quantitative Architectural Evaluation of Synchronization Algorithms and Disciplines on ccNUMA Systems: The Case of the SGI Origin2000
1999-04-16
Inclusive Two--Photon Reactions at TRISTAN
1998-05-15
Manuel Drees
Minimization on the Lie Group SO3 and Related Manifolds
1995-07-07
Tempering Backpropagation Networks: Not All Weights are Created Equal
1997-04-16
Genetics-Based Learning And Statistical Generalization
1996-10-27
Schedule Execution using Perturbation Analysis
1998-02-23
Finite Sphere Packings and Critical Radii
1997-06-30
Wavelet-Galerkin methods for ill-posed problems
1998-12-15
V. Dicken
Agora: A Minimal Distributed Protocol for Electronic Commerce
1997-02-18
Classification of Multidimensional Inflationary Models
1998-05-05
S. Mignemi
Structure Exploiting Tool in Algebraic Modeling Languages
1998-06-29
Efficient Optimization of Iterative Queries
1999-02-03
Leonidas Fegaras
An Architecture for Inter-Domain Troubleshooting
1997-10-28
A Multiuser MMSE-detector for DS-CDMA Robust to Timing Errors
1996-08-21
SafeFM DTI Project 9013
1997-01-17
The dynamics of open quantum systems and stochastic processes in Hilbert space: An Introduction
1999-02-17
On Lotteries with Unique Winners
1995-11-23
Pmonr
1996-03-30
Patrick Doherty
Relativistic Precession of the Orbit of a Star Near a Supermassive Black Hole
1995-12-27
V. Karas
The Multi-Thread Graph Model for Embedded Software Synthesis
1998-08-25
Hecke Algebras At Roots of Unity and Crystal Bases of Quantum Affine Algebras
1996-01-31
Timing Verification of Sequential Domino Circuits
1997-05-13
Gluon Fragmentation into Spin-Triplet S-Wave Quarkonium
1998-05-14
Copositive Relaxation for General Quadratic Programming
1999-03-23
Data Structures for Two-Edge Connectivity in Planar Graphs
1997-03-01
Types with Extents:
1995-02-28
Anthony Kosky
Supporting Concurrent Design by Integrating Information Sharing and Activity Synchronization
1998-12-17
Initial Results of Automated Melanoma Recognition
1996-07-01
The Power Ratio and the Interval Map: Spiking Models and Extracellular Recordings
1998-11-01
An overview of the Extended VUB Ecosystem, a MAS of Heterogeneous Robots
1998-06-02
High Accuracy Multigrid Solution of the 3D Convection-Diffusion Equation
1998-03-20
Towards a Formal Model for Multiresolution Spatial Maps
1995-10-27
Investigation of Algebraic Query Optimisation for Database Programming Languages
1997-11-28
Stochastic Differential Equations Driven By A Fractional Brownian Motion
1998-02-12
L. Coutin
Deliberation Scheduling for Time-Critical Scheduling in Stochastic Domains
1996-12-02
Workload Characterization of Input/Output Intensive Parallel Applications
1999-01-31
Don Blasius
1998-02-05
Don Blasius
An Architecture for Multimedia over ATM Real-Time Environments
1997-11-11
Equational Logic Programming, Actions, and Change
1995-01-12
A Simple but Optimal 2D-Witness Algorithm
1996-06-06
Ladan Rostami
Regular Sets of Matrices and Applications
1997-03-20
Dataset Cataloging Metadata for Machine Learning Applications and Research
1998-05-08
Sally Jo Cunningham
The Lake BAIKAL Neutrino Project: Status Report
1995-05-09
The Paradyn Parallel Performance Tools and PVM
1994-06-21
Attractors of viscous balance laws: Uniform estimates for the dimension
1998-04-21
Jorg Harterich
Estimating the Accuracy of Learned Concepts
1996-01-26
Nonlinear Dynamics, Chaos-theory, and the "Sciences of Complexity": Their Relevance to the Study of the Interaction between Host and Microflora
1997-09-30
M. H. F. Wilkinson
The Design of Future Pre-Payment Systems
1996-01-15
The Feasibility of Quantitative Assessment of Security
1995-02-17
Catherine Meadows
Formalizing the Proposed Eiffel Kernel Library Standard
1999-02-03
Steven Atkinson
Performance of the GCel-512 and PowerXPlorer for parallel neural network simulations
1999-01-06
Spectral Representation of Four Finite Birth and Death Processes
1998-12-17
Resource Spackling: A Framework for Integrating Register Allocation in Local and Global Schedulers
1994-11-11
On Rational State Space Realizations
1993-10-14
Krister Forsman
Facets of Multi-Stage Computation in Software Architecture
1999-01-20
Unknown
1998-03-03
Torque Ripple Minimization in Direct-Drive Systems
1998-06-12
Automatic Recognition of Tractability in Inference Relations
1993-08-22
David A. Mcallester
Analytic Center Cutting Plane Method User's Guide for the Library
1996-02-09
J. Gondzio
Experiments: Preparation and Measurement
1996-03-08
Arnold Neumaier
Factorization of Trinomials over Galois Fields of Characteristic 2
1997-08-03
Integration and Synchronization of Input Modes during Multimodal Human-Computer Interaction
1997-04-04
Generic Algorithms For Morphological Image Operators - A Case Study Using Watersheds
1998-05-12
Understanding Problem Structure as Heuristic Formation in Design
1998-01-26
Brian Logan
Constructing multi-user applications in REX
1991-12-09
Towards a Declarative Language for Parallel and Concurrent Programming
1997-04-30
Test Generation Based on Testing Profiles
1996-12-26
April 1, 1995
1995-04-09
S. Oliveira
A Browser for a Versioned Entity-Relationship Database
1993-08-30
Derivative-Free Pattern Search Methods for Multidisciplinary Design Problems
1997-01-27
A T B R I G H T O N
1997-12-01
A Three Tier Architecture for Role-Based Access Control
1998-09-14
Ravi S. Sandhu
Online Animated Graph Drawing using a Modified Spring Algorithm
1997-08-15
How to Eliminate Pivoting from Gaussian Elimination - By Randomizing Instead
1995-08-12
The Homogeneous Set Sandwich Problem
1998-12-22
Object-Oriented Technology Transfer to Multiprocessor System-Level Synthesis
1997-07-18
Extraction and Integration of Data from Semi-structured Documents into Business Applications
1997-11-07
Constraint-Based Explanations in Games
1999-02-03
Symbolic Algebra And Physical-Model-Based Control
1996-06-04
ATT Bell Laboratories Murray Hill, New Jersey 07974
1995-06-04
Luca Cardelli
An Adaptive Poisson Solver Using Hierarchical Bases And Sparse Grids
1998-06-30
Hans-joachim Bungartz
Slide Attacks
1999-03-17
Crystallization On A Sphere Using The Simulated Annealing Algorithm Implemented On H.p.c. Systems
1994-11-04
A Conceptual Framework for Text Filtering
1998-09-01
Negotiation and Conflict Resolution in a Multi-Agent System for an Assembly Robotics Cell
1999-01-19
Ana Paula Rocha
The Formal Verification of a Payment System
1997-06-25
Ross J Anderson
Design And Implementation Of Pvm Version 3
1994-05-11
Robert J. Manchek
High-Energy Physics on DECPeRLe-1 Programmable Active Memory
1998-12-21
Central Limit Theorems For Quadratic Forms With Time Domain Conditions
1996-07-12
Overlapping Domain Decomposition Algorithms For General Sparse Matrices
1994-11-14
Hub4 Language Modeling Using Domain Interpolation and Data Clustering
1997-04-14
Accurately Counting Singular Values of Bidiagonal Matrices
1997-08-12
K V Fernando
Peter M uller
1997-05-23
Coordinated Atomic Actions: from Concept to Implementation
1997-05-30
Decision Tree Function Approximation in Reinforcement Learning
1998-10-22
Browsing the WWW by interacting with a textual virtual environment -- A framework for experimenting with navigational metaphors
1997-03-31
Andreas Dieberger
A tabular interpretation of a class of 2-Stack Automata
1998-06-16
Fast Numerical Solution of Nonlinear Diffusion Equation for the Simulation of Ion-Exchanged Micro-Optics Components in Glass
1996-12-02
The Distribution Of Costs In Markov Renewal Processes theoretical And Num. Aspects
1996-02-16
Estimation of the Mixture Transition Distribution Model
1999-04-25
Andr Berchtold
A Laser Velocimeter Flow Survey Above a Stalled Wing
1998-09-04
Stackability in the Simply-Typed Call-By-Value Lambda Calculus
1998-12-02
Exact Results In Softly Broken Supersymmetric Models
1998-05-23
Combining Labeled and Unlabeled Data with Co-Training
1998-10-25
Towards Optimal Learning from Very Small Data Sets
1999-02-08
M. D. Plumbley
Silicon Microstrip Detectors and the Measurement of Lifetimes of Charmed Hadrons
1996-09-18
Distributive Adjoint Strings
1995-09-07
Chiral Symmetry Breaking by a Magnetic Field in Weak-coupling QED
1998-05-25
Conformal Sector in
1998-05-23
Sergei D. Odintsov
VMTP: Versatile Message Transaction Protocol
1995-10-23
David Cheriton
Multi-Domain WDM Network Structures for Large-Scale Reconfigurable Partitionable Parallel Computer Architecture
1995-03-17
Wavelet Accelerated Regularization Methods for Hyperthermia Treatment Planning
1998-12-15
Peter Maass
European Organization For Nuclear Research
1994-08-16
Generating Virtual Hypermedia in Decentralized Environemnts
1996-12-27
Yahiko Kambayashi
Constructive Algorithms for Structure Learning in Feedforward Neural Networks for Regression Problems
1998-04-30
On The Spectra Of Sums Of Orthogonal Projections With Applications To Parallel Computing
1998-04-14
Petter E. BjØrstad Jan Mandel
A Neural Network Primer
1996-02-20
E Abdi
On multirate DS/CDMA with interference cancellation for wireless multimedia applications
1998-09-30
On The Point Limit Of The Pauli--Fierz Model
1997-04-07
Height Zeta Functions of Twisted Products
1997-01-23
Understanding TCP Dynamics in an Integrated Services Internet
1997-05-29
How Good Are Genetic Algorithms At Finding Large Cliques: An Experimental Study
1993-11-23
Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus
1996-04-17
Inria Rocquencourt
Enumeration Of Trees And One Amazing Representation Of The Symmetric Group
1998-08-26
Synchronized End-to-End Multicast in Real-Time Packet Cellular Networks
1998-05-26
Parametric Query Optimization
1997-06-27
Yannis E. Ioannidis<f. E
Function Approximation by Polynomial Wavelets Generated from Powers of Sigmoids
1997-04-29
An Efficient Database Storage Structure for Large Dynamic Objects
1997-10-21
Alexandros Biliris
Improving Pareto Optimal Designs Using Genetic Algorithms
1999-02-11
Client-Server Caching Revisited
1997-07-15
Zeroes of Pullback Vector Fields and Fixed Point Theory for Bodies
1995-09-19
Daniel Henry Gottlieb
A CAC algorithm for VBR Connections over a VBR Trunk
1997-01-08
L E C T R O N I C
1998-05-29
A Description Logic Based Schema for the Classification of Medical Data
1996-07-13
A Power Metric for Mobile Systems
1997-10-24
Surface Learning with Applications to Lipreading
1995-07-13
Architecture-Based Performance Analysis
1997-12-17
Basic Relationship Patterns
1998-05-26
James Noble
OASYS: A Framework for Analog Circuit Synthesis
1996-02-13
Ramesh Harjani
Virtual Memory: Issues of Implementation
1998-11-17
The Asymptotic Behavior of a Network Multiplexer with Multiple Time Scale and Subexponential Arrivals
1997-08-28
Random Walks in Weyl Chambers and the Decomposition of Tensor Powers
1998-12-15
j-Helium bound states?
1998-05-23
WWW: http://www.cs.colorado.edu/home/mcbryan/Home.html
1994-04-26
Oliver A. Mcbryan
Executive Summary
1997-09-23
Jerry Eriksson
1999-02-26
Jerry Eriksson
Parameterized Programming and Software Architecture
1996-07-14
Joseph A. Goguen
Head-Tactics Optimization
1998-03-13
Some Concrete Aspects Of Hilbert's 17th Problem
1998-03-19
Bruce Reznick
Parallel and Distributed Search for Structure in Multivariate Time Series
1998-07-06
Why Natural Language Processing Needs Oz
1995-11-16
Gregor Erbach
Using Refinement Search To Unify And Synthesize Classical Planners
1996-08-15
Biplav Srivastava
The Use of Shared Forests in Tree Adjoining Grammar Parsing
1995-01-25
David J. Weir
Planning for distributed theorem proving: The team work approach
1998-07-06
Building Ensembles of Classifiers for Loss Minimization
1999-08-03
Dragos D. Margineantu
Semantic Cardinality Estimation for Queries over Objects
1998-11-20
Expansion for Relativistic Nuclear Models
1998-01-13
Connection Establishment for Multi-Party Real-Time Communication
1996-06-25
Distributed Representations of Object-Oriented Specifications for Analogical Mapping
1997-05-13
Barry Kristian Ellingsen
Mining for Causes of Cancer: Machine Learning Experiments at Various Levels of Detail
1997-05-05
Computation of Parameters Occurring Linearly in Ordinary Differential Equations, Part III
1998-02-11
Gunilla Wikstrom
Richard Everson and Stephen Roberts Department of Electrical and Electronic Engineering, Imperial College of Science, Technology Medicine, London. UK.
1998-10-05
Information Transmission with a Multi-Finger Tactual Display
1996-11-07
Handling Equality in Logic Programming via Basic Folding
1997-06-12
Goofy Animation System
1993-11-11
Lindsey Ford
Communications of the
1998-05-01
Expressing Action Termination: A Corpus Study
1999-01-23
Juliet C. Bourne
On the Synthesis of Situation Control Rules under Exogenous Events
1996-07-17
Froduald Kabanza
Gauß' Adaptive Relaxation for the Multilevel Solution of Partial Differential Equations on Sparse Grids
1993-10-20
Efficient Access Methods for Content-Based Image Retrieval With Inverted Files
1999-08-05
Adaptation of Synthesis Plans in Organic Chemistry
1999-04-06
A Fast Level Set Method For Reservoir Simulation
1999-05-07
Form Segmentation: An Electrostatic Field-Based Approach
1998-01-30
Comparison And Evaluation Of A Class Of Ida* Algorithms
1995-04-09
The Number of Connected Components in Graphs and Its Applications
1999-05-19
Ryuhei Uehara
Towards an Integration of Computer Simulation with Computer Graphics
1999-03-30
Gene S. Lee
Invertibility in Truncated Polynomial Rings
1998-10-08
Retraction Approach to CPS Transform
1997-02-04
Jakov Kucan
Generalized Proximal Point Algorithms and Bundle Implementations
1998-09-11
Alfred O. Hero
Exploring DCT Implementations
1998-03-20
Language And Compiler Supported TimingAnalysis In Real-Time Control
1998-05-27
Specializing Configurable Systems for Finite-state Verification
1998-10-05
A Preliminary Short Report on the RoboCup-98 Adaptive Teamwork Evaluation
1999-07-07
Gal A. Kaminka
Least Commitment -- An optimal planning strategy
1998-01-08
Orthogonal Rational Functions and Quadrature on the Unit Circle
1999-05-21
Towards Automated Evolutionary Design of Combinational Circuits
1999-05-28
Data Analysis with Bayesian Networks: A Bootstrap Approach
1999-05-12
A New Hybrid Heuristic For Large Geometric Traveling Salesman Problems Based On The Delaunay Triangulation
1999-06-22
Residual Scaling Techniques in Multigrid, II: Practical Applications
1997-09-28
Jun Zhang
CONSTRUCTING AN INTELLIGENT DICTIONARY SYSTEM X. Artola, A. de
1998-05-22
An Insect Inspired Visual Sensor for the Autonomous Navigation of a Mobile Robot
1999-06-09
Hierarchical Packet Fair Queueing Algorithms
1999-05-18
Accelerated inexact Newton schemes for large systems of nonlinear equations
1995-07-10
A Lower Bound on the Probability of a Finite Union of Events
1999-06-01
Thesis Proposal: Data Representations and Polymorphic Languages
1996-10-14
Greg Morrisett
A Model for Automatic Data Partitioning
1993-08-17
The Cost of Recovery in Message Logging Protocols
1999-06-22
Assessing the Performance of the New IBM SP2 Communication Subsystem
1999-04-22
Mid-infrared spectra of late-type stars: Long-term evolution
1999-03-09
Inquirus, the NECI meta search engine
1998-07-15
Effective Elastic Moduli of a Soft Medium with Hard Polygonal Inclusions and Extremal Behavior of Effective Poisson's Ratio
1998-06-09
A Method Of Blind Separation On Temporal Structure Of Signals
1998-07-08
Scheduling Non-Uniform Parallel Loops on Highly Parallel Multicomputers
1999-04-10
Upper Semicontinuity of Morse Sets of a Discretization of a Delay-Differential Equation
1997-08-11
Gwendolen Hines
New Delay Analysis in High Speed Networks
1999-07-14
The 1997 CMU Sphinx-3 English Broadcast News Transcription System
1999-08-12
The Effect of Perceptual Structure on Multimodal Speech Recognition Interfaces
1997-12-04
The Semilinear Heat Equation With A Heaviside Source Term
1998-09-02
Causality in Relativistic Many Body Theory
1997-12-02
How to Get a Free Lunch: A Simple Cost Model for Machine Learning Applications
1998-05-22
Pedro Domingos
SDSI -- A Simple Distributed Security Infrastructure
1998-07-18
Generic Gram-Schmidt Orthogonalization by Exact Division
1996-04-18
Categorical Glueing and Logical Predicates for Models of Linear Logic
1999-01-19
Masahito Hasegawa
Algorithms for Computing and Integrating Physical Maps Using Unique Probes
1997-04-22
Evolutionary Module Acquisition
1997-04-02
Discovering Probabilistic Decision Rules
1997-05-20
Beat Wuthrich
An Appearance-based Representation of Action
1997-01-13
Analysis of State Space System Identification Methods Based on Instrumental Variables and Subspace Fitting
1998-09-09
A Uniform Internal Representation for High-Level and Instruction-Level Transformations Eduard Ayguadé, Cristina Barrado, Jesús Labarta, David López, Susana Moreno, David Padua, and Mateo Valero
1970-01-01
Implementing Bit-addressing with Specialization
1997-04-24
Scott Draves
Reprocessing in Luminous Disks
1999-07-22
K. R. Bell
Predicting Financial Crashes Using Discrete Scale Invariance
1999-06-07
A Report on the Draft EAGLES Encoding Standard for HPSG
1999-06-07
Derivational Minimalism
1999-06-07
On Equivalence of Exponential and Asymptotic Stability Under Changes of Variables
1999-07-28
Radar Imaging with Variations of an Expectation-Maximization Algorithm
1998-12-02
Aaron Lanterman
A Bibliography of ACM Transactions on Database Systems
1999-07-27
Nelson H. F. Beebe
Implementing Lottery Scheduling: Matching the Specializations in Traditional Schedulers
1999-06-18
On Noninvertible Mappings of the Plane: Eruptions
1996-09-03
The Use of Roles and Measurement to Enact Project Plans in MVP-S
1996-10-07
Exploiting Integer Programming Tools to Solve Max-CSP
1999-01-22
Some Remarks on Pathologies of Renormalization-Group Transformations for the Ising Model
1997-04-26
Content-based Collaborative Information Filtering:
1998-09-08
Joaquin Ishii
Satisfaction De Contraintes Et Biologie Moléculaire
1997-09-18
Synthesis of Pipelined DSP Accelerators with Dynamic Scheduling
1998-08-25
Exploration and Model Building in Mobile Robot Domains
1996-11-05
Sebastian B. Thrun
A Scalable and Highly Available System for Serving Dynamic Data at Frequently Accessed Web Sites
1998-08-06
Automatic Generation Of Image-Segmentation Processes
1997-03-05
D symbology for sensing and simulation Gregory Turner
1996-04-22
From Taylor Series to Taylor Models
1997-11-09
Martin Berz
Dynamic Partitioning for a Distributed Virtual Environment
1998-08-29
A Taxonomy of Active Code
1999-02-17
From JoJo to Frog: Extending a bi-directional Search Strategy to a more flexible three-directional Search
1999-04-08
Gossiping on Meshes and Tori
1998-10-29
Analysis of an Algorithm for Distributed Recognition and Accountability
1999-06-01
Propagation models for CR nucleons and electrons and predictions of the Galactic gamma-ray spectrum
1998-04-30
Performance Characterization and Modeling of the Molecular Simulation Code Opal
1998-12-03
"Valley structures" in the phase space of a finite 3d ISING spin glass with
1999-06-02
Recognizing Movement using Motion Histograms
1999-05-24
James W. Davis
Chapter 5: The Proteus System for the Development of Parallel Applications
1994-07-29
Global Vortex Systems on Standard-Accretion Disk Surfaces
1998-01-07
L. L. Kitchatinov
The Latency Hiding Effectiveness of Decoupled Access/Execute Processors
1998-04-24
Joan Manuel Parcerisa
Minimal Surfaces based Object Segmentation
1996-12-02
Scalable Techniques for Computing Band Linear Recurrences on Massively Parallel and Vector Supercomputers
1996-06-05
Multi-Statistic Enumeration of Two-Stack Sortable Permutations
1998-04-17
Unknown
1996-12-19
A Gurevich
Confidence Measures for Image Motion Estimation
1996-09-09
Bisection Widths of Transposition Graphs
1970-01-01
Ladislav Stacho
Toric Varieties and Algebraic Monoids
1995-08-20
Karl-hermann Neeb
On the Undecidability of Probabilistic Planning and Infinite-Horizon Partially Observable Markov Decision Problems
1999-06-04
Best Approximation and Cyclic Variation Diminishing Kernels
1999-01-28
Algorithmic Theory of Random graphs
1998-01-15
Colin Mcdiarmid
A Bibliography of Smithsonian Magazine
1999-07-27
The Fox Project: Advanced Language Technology for Extensible Systems
1998-03-15
A Qualitative Theory of Motion Based on Spatio-Temporal Primitives
1999-02-08
Universite Paul Sabatier
Interfacing A Cdg Parser With An Hmm Word Recognizer Using Word Graphs
1998-09-15
Unified Information and Control Flow in Hierarchical Task Networks
1996-07-17
A Global Optimization Method for Neural Network Training
1996-02-23
Robust State Sharing for Wide Area Distributed Applications
1997-09-19
Generalization to Local Remappings of the Visuomotor Coordinate Transformation
1998-08-13
Specification of a Program Derivation Editor
1995-01-10
DataSplash
1998-08-12
Clarification of the basis of Declarative Diagnosers for CLP
1997-10-30
Re Tessier
A Blind Identification and Separation Technique via Multi-layer Neural Networks
1996-03-05
The Number of Real Quadratic Fields Having Units of Negative Norm
1996-08-25
Peter Stevenhagen
Lossless Compression of Volume Data
1994-04-01
James E. Fowlery Yagelz
A Decidable Theory of Finitely-Layered Metric Temporal Structures
1996-08-19
Causal Separators and Topological Timestamping: An Approach to Support Causal Multicast in Large-Scale Systems
1996-09-04
Pict Language Definition
1996-12-20
Software Agents and Intelligent Object Fusion
1999-04-27
Cyrus F. Nourani
The impact of inheritance depth on maintenance tasks - Detailed description and evaluation of two experiment replications
1998-07-17
A New Merit Function and a Descent Method for Semide Nite Complementarity Problems
1997-08-10
Providing Persistent Objects in Distributed Systems
1999-06-18
Fixed Point Sets of Involutions on Spheres
1997-11-07
David J. Chase
Self annealing and self annihilation: Unifying deterministic annealing and relaxation labeling
1999-08-10
Anand Rangarajan
Limited Nondeterminism
1996-05-06
Probability Approximations via the Poisson Clumping Heuristic: An Update
1999-01-01
David Aldous
Implicit and Iterative Methods for the Boltzmann Equation
1995-03-24
A. V. Bobylev
Global Nonlinear Control of the Ball and Beam System
1998-06-30
Wavelet-Based Histograms for Selectivity Estimation
1999-04-07
ATT at TREC-6: SDR Track
1998-11-25
Wavelet Approach to Nonlinear Problems, IV. Routes to Chaos and Constrained Problems
1997-05-31
Analysis and Evaluation of Address Arithmetic Capabilities in Custom DSP Architectures
1997-03-15
On Tailoring Thread Schedules in Protocol Design: Experimental Results
1996-09-11
The Rao-Blackwell theorem in stereology and some counterexamples
1994-09-16
A. J. Baddeley
EDL/GE User's Manual
1994-12-09
Finitely Generated Connected Locally Compact Groups
1995-08-21
Near-Optimal Parallel Prefetching and Caching
1996-05-21
Part 1: Overview of the Probably Approximately Correct PAC Learning Framework
1999-03-20
David Haussler
Two Bayesian treatments of the n-tuple recognition method
1994-12-16
Richard Rohwer
Object Oriented Design of the Intuitive Interface
1998-02-26
Michael Hoch
Bottom-up Skill Learning in Reactive Sequential Decision Tasks
1998-01-21
Effect of Channel Imperfection on the Secrecy Capacity of a Quantum Cryptographic System
1997-09-26
Bimodal Sensor Integration On The Example Of "speech-Reading"
1995-08-21
Computation with Nonlinear Dynamical System
1997-12-22
An Empirical Evaluation of Bagging and Boosting
1998-01-22
Temporal Proof Methodologies for Timed Transition Systems
1995-09-09
Learning To Locate An Object in 3D Space From A Sequence Of Camera Images
1998-09-29
Genetics-Based Learning And Statistical Generalization
1996-10-27
A Cyclic Low Rank Smith Method for Large Sparse Lyapunov Equations with Applications in Model Reduction and Optimal Control
1998-06-11
Maximum-Likelihood Based Multipath Channel Estimation for Code-Division Multiple-Access Systems
1999-08-07
System Support for Automatic Profiling and Optimization
1997-09-09
Asynchronous Circuits Based On Multiple Localised Current-Sensing Completion Detection
1997-02-10
Maximisation of Stability Ranges for Recurrent Neural Networks Subject to on-Line Adaptation
1999-01-28
Manipulating Rates, Complexity and Error-Resilience with Discrete Transforms
1999-02-04
Light, The Universe and Parallel Radiosity
1998-05-05
Alex Brodsky
Journal of Graph Algorithms and Applications
1999-04-13
Proof-Carrying Code
1970-01-01
George C. Necula
Design Of A Hemispherical Magnetic Levitation Haptic Interface Device
1999-08-11
Auslander-Reiten Components For Lie Algebras Of Reductive Groups
1999-04-21
Rolf Farnsteiner
Unifying Program Construction and Modification
1998-02-13
A Mail-Safe Transformation Format of Unicode Status of this Memo
1994-11-18
Entropic Repulsion of the Lattice Free Field
1997-03-30
HERMES Results on the Spin Structure of the Nucleon
1997-11-27
Flexible Distributed Programming using Mobile Code
1996-08-14
Homological Algebra and Yang-Mills Theory
1998-05-23
Experiences with Metadata
1970-01-01
Complexity Classes of Optimization Functions
1999-01-24
Reasoning About Indefinite Actions
1999-01-17
Coordination of machines Extended Abstract
1998-07-30
Protected Shared Libraries - A New Approach to Modularity and Sharing
1998-04-22
Interaction Paradigms for Human-Computer Cooperation in Design
1994-02-17
Kenneth A. Ribet
1998-02-01
Kenneth A. Ribet
Managing Adaptive Presentation Executions in Distributed Multimedia Database Systems
1999-01-19
Computation and Analysis of Compliance in Grasping and Fixturing
1997-02-07
Supporting Video Applications through 4DIS Temporal Framework
1998-07-30
Compiling with Polymorphic and Polyvariant Flow Types
1998-07-01
Clive Baillie
1994-11-30
Adaptive Compression of Image Data
1998-10-29
Turbo Decoding with Tail-Biting Trellises
1998-10-05
Algorithms for Parallel Memory I: Two-Level Memories
1994-02-17
Modelling Categorical Data by Interactive Mosaic Plots and Tables
1997-01-16
Manet Turner
Determining The Skeletal DescriptionOf Sparse Shapes
1998-05-14
Chaotic time series Part II: System identiøcation and prediction
1999-02-12
Quadrangulations of Planar Sets
1997-10-18
Godfried Toussaint
Scheduling a Metacomputer by an Implicit Voting System
1996-11-13
Allocation of Real-Time Computations under Fault Tolerance Constraints
1994-09-09
Raise Public Scrutiny
1999-04-29
Lutz Prechelt
Social Information Filtering: Algorithms for Automating "Word of Mouth"
1995-01-28
Applying the SCR Requirements Method to a Simple Autopilot
1997-07-22
On Non-Head Non-Movement
1998-09-05
ConAg: A Reusable Framework for Developing Conscious Software Agents
1999-01-23
Felix Klein's Paper On Real Flexes Vindicated
1997-02-27
Felice Ronga
Mathematical Programming in Data Mining
1999-02-10
O. L. Mangasarian
Real and Virtual Spaces: Mapping from Spatial Cognition to Hypertext
1997-01-24
Simon Shum
User's Manual for FEMOM3DS Version 1.0
1997-09-02
URV ESPRIT for Tracking time-Varying Signals
1996-01-27
Streaming Video with Transformation-Based Error Concealment and Reconstruction
1999-03-12
Ergodic Theory and Connections with Analysis and Probability
1997-12-12
Roger L. Jones
The Pairwise Velocity Distribution of Galaxies in the Las Campanas Redshift Survey
1998-01-14
Tense, Aspect&Negation
1997-04-10
Frank Van Eynde
Collision Detection for Interactive Graphics Applications
1995-04-25
Computing Capabilities of Mediators
1998-11-03
Flexible Protocol Composition in Bast
1998-05-20
A Procedural Semantics for Well Founded Negation in Logic Programs
1996-05-13
Kenneth A. Ross
Linear Algebra and its Applications,
1997-01-24
Yi Tetsuro Yamamoto
OPTVIEW: A New Approach for Examining Optimized Code
1998-04-28
A Comparative Evaluation of Variance Flooring Techniques in HMM-based Speaker Verification
1998-08-26
On the Relationship Between File Sizes, Transport Protocols, and Self-Similar Network Traffic
1996-09-04
A Note on the Averaged Null Energy Condition in Quantum Field Theory
1998-05-12
Ulvi Yurtsever
On the Distributed Complexity of Computing Maximal Matchings
1998-06-19
Transcription Of Broadcast Television And Radio News: The 1996 Abbot System
1997-06-24
Least Supported Bases and Local Linear Independence
1995-07-19
On the Glivenko-Cantelli Problem in Stochastic Programming: Linear Recourse and Extensions
1996-04-03
A Model for Change PropagationBased on Graph Rewriting
1997-12-01
Parallel Implementation of 2-Dimensional Toeplitz Solver on MasPar with Applications to Image Restoration
1997-01-21
Learning Problem-Solving Concepts by Reflecting on Problem Solving
1996-11-28
Efficient Inference and Learning in Decimatable Boltzmann Machines
1998-08-27
Stefan M. Ruger
Semantic Interoperability through Context Interchange: Representing and Reasoning about Data Conflicts in Heterogeneous and Autonomous Systems
1998-01-27
Point Set Labeling with Sliding Labels
1998-03-11
How to Keep Track of Your Network Configuration
1993-11-21
Tu Braunschweig
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective
1993-01-28
Jonathan Bowen
Quasilocality of Projected Gibbs Measures through Analyticity Techniques
1996-03-25
J'ozsef Lorinczi
Signaling for Internet Telephony
1998-02-11
A Sequential Algorithm for Training Text Classifiers
1995-09-13
Approximating Good Simultaneous Diophantine Approximations is almost NP-hard
1998-02-23
An Application Framework for Synchronous Collaboration using Java Beans
1998-06-01
A Comparison of Multiresolution and Classical One-dimensional Homogenization Schemes
1998-07-09
A. C. Gilbert
Calculating Lim Angles
1997-08-06
Patrick C Hew
The PVM Concurrent Computing System: Evolution, Experiences, and Trends
1994-02-15
The Potential for Using Thread-Level Data Speculation to Facilitate Automatic Parallelization
1998-03-30
Consistency Algorithms for Multi-Source Warehouse View Maintenance
1997-03-06
Passage Retrieval
1998-07-16
Martin Choquette
Effectiveness of Register Preloading on CP-PACS Node Processor
1998-11-19
Latin Supercube Sampling for Very High Dimensional Simulations
1997-06-27
Art B. Owen
Oscillations, SE2-Snakes and Motion Control
1995-10-15
A Highly Adaptive Distributed Routing Algorithm for Mobile Wireless Networks
1998-06-11
Retrieval Issues in Real-World CBR Applications - How far can we go with discrimination-nets?
1995-04-12
Cepheids in the Magellanic Clouds
1997-02-21
Reflection and Transmission of Acoustic Waves by a Locally-layered Random Slab
1998-12-11
Low Freeze-out Temperature and High Collective Velocities in Relativistic Heavy-Ion Collisions
1998-01-19
J. Rayford Nix
Performance Model of the Argonne Voyager Multimedia Server
1997-02-25
A wave operator description of molecular photodissociation processes using the Floquet formalism
1999-03-24
Enterprise in Context: Assessing the Usability of Parallel Programming Environments
1999-01-14
The Architecture and Implementation of Network-Layer Security Under Unix
1993-09-06
Evolution of Object Behavior using Context Relations
1997-11-22
On the Compilability and Expressive Power of Propositional Planning Formalisms
1998-06-07
Bernhard Nebel
Efficient Parallel Solving the Potential Flow Problems on Nonmatching Grids
1996-08-02
Olga Gil-Medrano
1999-01-21
The design problem SCPP-A
1999-01-28
Thread Placement on the Intel Paragon: Experimentation and Modeling
1994-10-04
Siemens TREC-4 Report: Further Experiments with Database Merging
1997-09-22
Ellen M. Voorhees
Game Theoretic Analysis Of Call-By-Value Computation
1997-04-22
Recent Advances in Memory-Based Part-of-Speech Tagging
1999-02-17
Type-Safe Execution of Mobile Agents in Anonymous Networks
1998-12-15
Speculative Execution Via Address Prediction and Data Prefetching
1997-04-03
Jos González
Easily Adding Animations to Interfaces Using Constraints
1996-09-04
Cerebellar Learning for Control of a Two-Link Arm in Muscle Space
1997-07-22
A Parallel Disk Storage System for Realtime Multimedia Applications
1998-02-19
The Effect of Pitch Accenting on Pronoun Referent Resolution
1997-05-20
Janet Cahn
Looped Schedules For Dataflow Descriptions Of Multirate Signal Processing Algorithms
1994-11-07
Scientific Workflow Management by Database Management
1998-07-30
Guided Crossover: A New Operator for Genetic Algorithm Based Optimization
1997-05-23
A Visual Tool for the Year 2000 Problem
1999-01-21
Stephen G. Eick
On Extended Disjunctive Logic Programs
1999-03-21
The stochastic EM algorithm: Estimation and asymptotic results
1998-10-07
Søren Feodor Nielsen
Equilibrium Characterizations of Solutions to Side Constrained Asymmetric Traffic Assignment Models
1995-09-19
QSO's from Galaxy Collisions with Naked Black Holes M. Fukugita
1995-06-28
Parallel Iterative Solvers and Preconditioners Using Approximate Hierarchical Methods An Extended
1996-03-20
Experiments of fast learning with High Order Boltzmann Machines
1998-07-22
Reasoning Methods Based on OWA Operators under Fuzzy Mayority in Fuzzy Rule-Based Classification Systems
1998-10-06
Ordering-based Representations of Rational Inference
1970-01-01
Konstantinos Georgatos
Local Experts Combination through Density Decomposition
1998-11-11
Applying Statistical English Language Modeling to Symbolic Machine Translation
1995-05-15
Bayesian Registration Of Models Using Fem Eigenmodes
1995-09-06
Planning in AI and Text Planning in Natural Language Generation
1999-05-04
Jong-gyun Lim
Relativistic quantum Measurement and Decoherence
1999-03-19
Francesco Petruccione
A Survey on the Computational Power of Some Classes of Finite Monoid-Presentations
1998-10-01
Friedrich Otto
Optimizing Document Indexing and Search Term Weighting Based on Probabilistic Models
1993-06-24
Inductive Learning from Good Examples
1994-09-01
Xiaofeng charles Ling
metaXa and the Future of Reflection
1998-11-08
Michael Golm
Multigrid Acceleration of an Upwind Euler Solver on Unstructured Meshes
1998-08-24
Carl F. Ollivier-gooch
On closed abelian subgroups of real Lie groups
1997-05-30
Perceptual Organization of thin networks with active contour functions applied to medical and aerial images.
1997-08-01
Making Parallel Simulations Go Fast
1992-06-20
Lazy Receiver Processing LRP: A Network Subsystem Architecture for Server Systems
1997-02-08
Mixing Invariant Densities
1997-11-07
Gary Froyland
On Choosing A Non-Integer Resolution Level When Using Wavelet Methods
1996-11-21
The Perturbative Resummed Series For Top Production
1998-05-14
Implicit Induction in Conditional Theories
1997-11-21
Weak Hopf Algebras I. Integral Theory and C*-Structure
1998-08-24
Informatics and Syntax
1998-05-29
C. H. A. Koster
Artificial Neural Networks for Recognition of Electrocardiographic Lead Reversal
1996-06-19
Lower Bounds for Perceptrons Solving some Separation Problems and Oracle Separation of AM from PP
1994-04-28
Nikolai K. Vereshchagin
Correlation between Instantons and QCD-monopoles in the Abelian Gauge
1998-05-22
An Empirical Study In Using Linked Documentation To Assist Software Maintenance
1996-03-12
Giampaolo Cicogna
1997-04-26
Giampaolo Cicogna
Overview Of The Express-X Language
1996-11-13
Expanding Extensional Polymorphism
1995-12-07
On the Parallelization of CH3D
1998-10-01
Explicit Graphs in a Functional Model for Spatial Databases
1997-09-17
Praktische Informatik Iv
Sequential Optimisation without State Space Exploration
1997-07-28
The ProDom database of protein domain families
1997-12-15
Florence Corpet
On the Expected Complexity of Random Path Planning
1997-09-23
Tables for an effective enumeration of real representations of quasi-simple Lie groups
1995-07-24
A Decision-theoretic Approach to Adaptive Problem Solving
1995-08-29
mlPicTEX, a picture environment for LATEX
1994-06-13
Emmanuel Chailloux
Theory Refinement Combining Analytical and Empirical Methods
1992-03-10
A Methodology for Fitting and Validating Metamodels in Simulation
1998-01-29
Generating Parallel Loops from Serial Code for PVM
1996-04-11
An Efficient Implementation of the Message Passing Interface MPI on the Fujitsu AP1000
1994-12-05
Jun Zhang John Lygeros April 21, 1999
1999-05-08
Evaluation of Eye Gaze Interaction
1999-04-03
Sean W. Smith J.D. Tygar
1994-11-16
Financial Markets: Very Noisy Information Processing
1999-03-12
Bayesian Motion Estimation and Segmentation
1998-05-28
Efficient Resource Management for Scientific Applications in Distributed Computing Environment
1998-09-24
A Comparative Study of Conservative and Optimistic Trace-driven Simulations
1994-10-17
PIMs and Invariant Parts for Shape Recognition
1998-05-19
Light produced in the Fibre bundle/Light guide/PMT region of the Tile Calorimeter prototype
1997-06-25
Designing Databases with Fuzzy Data and Rules for Application to Discrete Control
1994-12-12
Loss Correlation for Queues with Bursty Input Streams
1992-08-04
Language Usage In Information Interchange Tutorial
1995-11-15
Problem In
1993-09-16
Anthony Francis Ashwin
Efficient Adaptive Routing in Networks of Workstations with Irregular Topology
1998-07-30
Unknown
1997-08-01
Minimizing Cumulative Error in Discourse Context
1997-02-06
Definiteness Analysis for
1995-03-15
Naomi Baker
An Integer Linear Programming Model of Software Pipelining for the MIPS R8000 Processor
1997-10-22
Artour Stoutchinin
The GURU System in TREC-6
1998-11-25
Contextual Polymorphism
1994-08-19
Glen Jeffrey Ditchfield
Fuzzy Dynamic System and Fuzzy Linguistic Controller Classification
1995-05-29
Paul P. Wang
An International Survey of Industrial Applications of Formal Methods Volume 2 Case Studies
1993-03-26
Causality in Genetic Programming
1995-05-20
General Multirate Building Blocks And Their Application In Nonuniform Filter Banks
1997-04-11
Stubborn Communication Channels
1997-03-14
Multi Input Multi Output Blind Signal Separation using Second Order Statistics
1996-12-13
Sarah Baxter REU Participant Advisor: Dr. Michael Thoennessen In some nuclei along the drip-line, for example the exotic nuclei
1970-01-01
Programming with ObjVlisp Metaclasses in Smalltalk-80
1997-07-28
Objvlisp Metaclasses
Multi-User Multi-Sensor Detectors for CDMA Networks
1997-10-18
Convexity, Lipschitz property and differentiability in two--stage stochastic nonlinear programming problems
1997-06-06
Artificial Intelligence and Intrusion Detection: Current and Future Directions
1994-06-11
Jeremy Frank
A Comparative Evaluation of Software Techniques to Hide Memory Latency
1996-10-03
Modelling algebraic structures with Prolog
1996-01-10
Robust Meshes from Multiple Range Maps
1997-03-09
Quadrature Rules Needed in Galerkin-Wavelets Methods*
1999-01-03
Succeed-first or Fail-first: A Case Study in Variable and Value Ordering
1996-09-19
Barbara M. Smith
Vortices and 2D Bosons: A Path-Integral Monte Carlo Study
1970-01-01
Docking Molecules by Geometric Surface Complementarity at Multiple Resolutions
1998-12-20
NotePals: Lightweight Note Taking by the Group, for the Group
1998-02-19
Hand-waving Refined Algebraic Quantization
1998-05-05
Franz Embacher
Software Fault Tolerance in ObjectOriented Systems: Approaches, Implementation and Evaluation
1997-03-04
RTP: A Transport Protocol for Real-Time Applications
1997-01-09
ROSETTA -- Part 1: System Overview
1997-09-14
The Theory, Practice, And A Tool For BSP Performance Prediction Applied To A CFD Application
1996-03-12
On the Semantics of Belief Revision Systems
1995-01-25
BiCG-FFT T-Matrix Method for Solving for the Scattering Solution from Inhomogeneous Bodies
1997-07-25
Analytic Study of Disoriented Chiral Condensates
1997-04-18
Mahiko Suzuki
Computational geometry and artificial neural networks: a hybrid approach to optimal sensor placement for aerospace NDE
1997-09-02
Generalizing Timing Predictions to Set-Associative Caches
1997-03-07
DAG-Map: Graph Based FPGA Technology Mapping For Delay Optimization
1997-01-13
Just In Time Models For Dynamical Systems
1996-09-19
A Test of the Standard Model, Using DaPhine
1998-05-15
Martin M. Block
Efficient Estimation for the Cox Model with Interval Censoring
1996-07-23
Jian Huang
Patterns in Random Binary Search Trees
1996-10-11
Hilbert's Nullstellensatz is in the Polynomial Hierarchy
1996-09-02
Pascal Koiran
Is the Longitudinal Distribution of Solar Flares Nonuniform?
1997-12-11
Multi-Player Residual Advantage Learning With General Function Approximation
1997-07-04
Qualitative Approach to Designing a Class of Geometries
1995-06-23
The Markov-Dubins problem with angular acceleration control
1997-08-05
H'ector J. Sussmann
Reinforcement Learning in the Multi-Robot Domain
1997-10-24
Maja J Matari'c
Visualization and Interaction in the Computer Science Formal Languages Course with JFLAP
1997-12-03
Dynamic Reaction on the Maruti Hard Real-Time Operating System
1996-07-22
An Agent-based Approach to Service Management - Towards Service Independent Network Architecture
1997-05-22
A. Jain
Hyperon Decays in Chiral Perturbation Theory Revisited
1998-05-14
Roxanne P. Springer
Controlling the Speed of Synfire Chains
1970-01-01
Some remarks on the optimization of Hölder functions with Genetic Algorithms
1997-01-09
Performance-Driven Interconnect Design Based on Distributed RC Delay Model
1997-05-17
Information Measures in Scale-Spaces
1999-01-21
Unknown
1995-02-13
Systematic Multiresolution and its Application to the World Wide Web
1999-01-26
A Framework For Dynamic Reconfiguration Of Distributed Programs
1998-09-05
A New Neural Network Control Technique for Robot Manipulators
1994-11-28
Beyond Toy Problems: A Logical Formalization of the Egg-Cracking Domain Preliminary Report
1998-05-26
Leora Morgenstern
Convergence Rates of Evolutionary Algorithms for a Class of Convex Objective Functions
1997-05-12
Gunter Rudolph
A Note on the Bounded Normal Mean Estimation
1998-07-20
Mining for Complex Patterns in Large Databases Using Unexpectedness
1998-09-01
K-12 Internetworking Guidelines
1994-12-29
SPICE: An Empiricist's Perspective
1995-05-28
Dennis Goldenson
Interacting Frameworks in
1999-04-14
The Extragalactic Distance Scale Key Project VIII. The Discovery of Cepheids and a New Distance to NGC3621 Using the Hubble Space Telescope
1999-03-28
Search for Isotropic
1996-07-24
A. Karle
An Architecture for Opportunistic Text Generation
1998-02-09
Electromagnetic Contributions to Vector Meson Masses and Mixings
1997-12-11
Semantic Analysis in a Robust Spoken Dialog System
1995-10-25
Design of RTOC
1994-03-10
Tidal Tails In Cdm Cosmologies
1998-09-17
The Objectization Problem - What It Is And What Can be Done About It
1997-12-08
Aloysius K. Mok
Using Functional Parsing to Achieve Quality in Software Maintenance
1994-10-14
Analysis of Facile Programs: a Case Study
1997-06-18
Automatic Data Layout for Distributed Memory Machines
1996-03-10
Ulrich Kremer
An Analysis of Requirements for Rough Terrain Autonomous Mobility
1997-07-07
Detc97/dfm-4332
1997-06-09
Decomposing Thick Subcategories Of The Stable Module Category
1999-04-21
Henning Krause
Concepts for Conformal and Body-Axis Attitude Information for Spatial Awareness Presented in a Helmet-Mounted Display
1998-01-13
Self-organizing Data Structures with Dependent Accesses
1996-12-16
New High-Resolution Central Schemes for Nonlinear Conservation Laws and Convection-Diffusion Equations
1970-01-01
Alexander Kurganov
NuMesh: An Architecture Optimized for Scheduled Communication
1996-02-20
Spatial Spreading Of Action Values In Q-Learning
1997-06-06
Carlos H. C. Ribeiro
Quantum Cohomology and Virasoro Algebra
1997-09-17
The Jacobi-Davidson Method for Eigenvalue and Generalized Eigenvalue Problems
1995-08-01
Composite objects and dependency relationships in Engineering
1996-09-19
C. Djeraba
Condition-Based Complexity Of Convex Optimization In Conic Linear Form Via The Ellipsoid Algorithm
1970-01-01
Replicated Distributed Processes in Manetho
1996-08-07
UC: A Set-Based Language for Data-Parallel Programming
1995-03-24
On The Expressive Power of Three-Valued and Four-Valued Languages
1998-12-10
Arnon Avron
Grounding Sequences of Actions in an Autonomous Doll Robot
1998-08-03
Optimizing Two-Phase, Level-Clocked Circuitry
1970-01-01
Astronomy And Astrophysics
1999-03-25
Software Inspection: Eliminating Software Defects
1994-11-03
Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components
1997-10-25
Systems Aspects of COBE Science Data Compression
1996-07-27
A Semi-group of Hashing Functions&Hash Tables
1998-05-25
Arthur Hughes
A Visual Smooth Pursuit Tracking Chip
1998-08-18
An Asymptotic Vanishing Theorem for Generic Unions of Multiple Points
1997-06-03
Unparsing Expressions With Prefix and Postfix Operators
1997-08-27
Norman Ramsey
A Multidimensional Combined Wilson Wavelet Basis
1997-10-23
Patrik Andersson
A Conceptual Framework for Text Filtering
1998-02-19
A Method for Integrating Deductive Databases
1997-01-29
Exploiting the Bandwidth-Memory Tradeoff in Multicast State Aggregation
1970-01-01
A High Speed Implementation of Adaptive Shaping for Dynamic Bandwidth Allocation
1997-10-10
Wavelet Methods For Curve Estimation
1996-04-01
Efficient Utilization of Scratch-Pad Memory in Embedded Processor Applications
1997-03-07
Unknown
1996-04-26
On the Cramer-Rao bound for Terrain-Aided Navigation
1997-09-02
Niclas Bergman
Omni-Rig Sensors: What Can be Done With a Non-Rigid Vision Platform?
1998-08-11
Amnon Shashua
Parallelized Direct Execution Simulation of Message-Passing Parallel Programs
1996-12-30
Scheduling Issues in the Co-Synthesis of Reactive Real-Time Systems
1995-12-21
A Measure of Landscapes
1995-07-06
Wim Hordijk
Evolutionary Computation
1998-11-12
Marc Schoenauer
David A. Van Dyk
1998-08-17
Semi-group Domination and Eigenvalue Estimates
1970-01-01
G. Rozenblum
Enriching EMPA with Value Passing: A Symbolic Approach based on Lookahead
1997-07-31
Marco Bernardo
An Electronic Commerce Paradigm for Agent-Based Information Discovery
1997-10-22
Probabilistic Horn abduction and Bayesian networks
1993-09-23
David Poole
Algorithmic Bombardment for the Iterative Solution of Linear Systems: A Poly-Iterative Approach
1994-10-08
Higher Level Extremal Problems
1999-04-21
Capturing the Behavior of Bubbles and Drops Using the Variational Level Set Approach
1970-01-01
N-Sex Reproduction in Dynamic Environments.
1997-07-04
Fault-tolerant Computation in the Full Information Model
1999-02-07
Predictable Spin Lock Algorithms with Preemption
1998-01-06
Optimal Multicast Communication in Wormhole-Routed Torus Networks
1994-08-09
, a Run--Time Support for the High--Level Coordination of HPF Tasks
1998-11-09
Multi-User Undo/Redo
1996-04-05
Adaptive Resonance Theory ART: An
1998-05-08
Learning Background Effects in Object Recognition
1995-04-17
Coherent and Squeezed Condensates in Massless ... Theory
1997-02-13
Regulated Finite Index Language Families Collapse
1996-05-29
Two Extensions of PX system Extended Abstract
1999-02-19
The Story of Qyu-Ing
1995-09-15
Nemo Semret
Structure from Constrained Motion Using Point Correspondences
1998-02-26
T. N. Tan
Knowledge Base Merging by Majority
1996-07-10
Semantics for Safe Concurrency
1990-03-16
A High Level Language For Specifying Graph-Based Languages And Their Programming Environments
1995-08-15
The Overall Properties Of Piezocomposite Materials With Cylindrical Fibres
1997-06-06
Multidimensional Elastic Pattern Matching
1999-03-17
A Partial K-Arboretum of Graphs With Bounded Treewidth
1996-01-16
Hans L. Bodlaender
Filtering of Analog Digital Converters Using an Exact Time Approach
1998-06-15
Measuring Trilinear Higgs Couplings in the MSSM
1999-04-29
P. Osland
Query Languages for Hierarchic Dadabases
1995-01-27
Speech Recognition by Composition of Weighted Finite Automata
1997-04-15
Infmal: Infinitesimal Analysis Interactive Theorem Prover and Problem Solver
1996-08-19
Speeding up the Memory Hierarchy in Flat COMA Multiprocessors
1997-02-07
XY-pic Reference Manual
1995-10-18
Countering Abuse of Name--Based Authentication
1996-10-03
Evaluation Of<e-300>Intelligent Text Processing
1997-09-12
Resume
1998-08-11
Minos N. Garofalakis
Real-Time Communication In An Internetwork
1997-08-26
Domenico Ferrari
Good Codes based on Very Sparse Matrices
1996-09-05
Berkeley, CA 94720 email:
1997-11-03
Fast System-Level Area-Delay Curve Prediction
1998-05-19
Verifiable and Executable Logic Specifications of Concurrent Objects in L_pi
1997-10-09
Time-Cognizant Value Functions for Scheduling Real-Time Systems
1998-11-25
Unknown
1995-01-26
Designing Efficient Simulations Using Maisie
1998-10-20
Rajive L. Bagrodia
Flattening Antichains with Respect to the Volume
1998-12-30
Consistency of Minimizers and the SLLN for Stochastic Programs
1995-10-27
Zvi Artstein
A Note On A Question Of Fujita And A Conjecture Of Xiao
1998-11-26
Miguel A. Barja
Wavelet-Domain Filtering for Photon Imaging Systems
1997-04-14
Mathematical Vernacular and Conceptual Well-formedness in Mathematical Language
1998-07-31
Independent Component Analysis of Simulated EEG Using a Three-Shell Spherical Head Model
1997-09-22
Algebraic Solution of the Hubbard Model on the Infinite Interval
1970-01-01
Parallel Implementation Of A Class Of Algorithms Linking NLMS And Block RLS
1998-09-14
Marc Moonen
A neural network classifier based on Dempster-Shafer theory
1997-09-30
Thierry Denoeux
Maximal Viscosity Solutions Of The ModifiedPorous Medium Equation And Their Asymptotic Behaviour
1998-09-02
A Euclidean distance transform in linear time
1998-11-03
Refining Action Theories through Abductive Logic Programming
1999-03-25
Hyperacuity and Coarse Coding
1996-05-06
David J. C. Mackay
Local Polynomial Smoothing Under Qualitative Constraints
1999-01-15
Storage System Architectures for Continuous Media Data
1994-04-11
Noise Tolerant Learnability via the Dual Learning Problem
1999-06-21
Object clitics and clitic climbing in Italian HPSG grammar
1997-03-06
Paola Monachesi
Quantifying Knowledge Complexity
1996-07-19
Designing and Implementing a Grid-Distortion Mapping Based on Variational Principles
1995-01-23
Nur Arad
Exploration and Model Building in Mobile Robot Domains
1998-09-29
Sebastian B. Thrun
Automatic Modularization by Speciation
1999-07-05
Subsumption for Semantic Query Optimization in OODB
1998-01-21
Meeting the Challenge of Expanding Participation in the Undergraduate Research Experience
1998-08-04
Nonuniform Spatial Mesh Adaptation Using A Posteriori Error Estimates: Applications to Forward and Inverse Problems
1995-11-08
Computational Complexity of Terminological Reasoning in BACK
1998-06-24
Bernhard Nebel
A Type-Theoretic Interpretation of Standard ML
1970-01-01
Programming Constructs for Unstructured Data
1999-07-30
Temporal-Color Space Analysis of Reflection
1999-08-20
Dynamical Zeta Functions
1999-07-15
Mark Pollicott
The MSO Logic-Automaton Connection in Linguistics
1998-07-29
A unifying framework for Adaptation in Case-Based Reasoning
1999-04-14
Scientific Visualization Techniques for Displaying Corneal Shape
1997-01-21
Ieee Transactions On Computers, Vol. 46, No. 6, June 1997 1
1997-05-09
Analyzing the Moog VCF with Considerations for Digital Implementation
1999-05-11
On The Efficient Parallel Computation Of Legendre Transforms
1999-05-17
A Nonlinear VQ-based Predictive Lossless Image Coder
1996-02-01
Bond graphs in the Design of Engineering Systems
1998-04-27
Multi-modal Presentation of Changes in Web Repositories
1999-07-05
A Method to Construct Compact Fuzzy Systems From Input-Output Data
1999-05-31
Multilevel Image Reconstruction with Natural Pixels
1996-03-01
Sufficient Conditions for Multiply Constrained Extrema
1996-08-20
Thomas I. Vogel
"A comparative study on Binary Scientific Data Formats" E. Gobbetti, A. O. Leone March 1997
1998-02-23
Speech--Language Integration In A Multi--Lingual Speech Translation System
1999-01-30
Sharing Visualization Experiences among Remote Virtual Environments
1999-03-31
Iurp0lfurvriw9lvxdo%dvlf
1999-01-08
New Structure for a Six-Port Reflectometer in MMIC Technology
1996-09-26
A concept for supporting the formation of Virtual Corporations through negotiation
1999-05-10
Frank Maurer
Decoupling Orientation Recovery from Position Recovery with 3D-2D Point Correspondences
1999-07-08
Efficient Exploration In Reinforcement Learning
1998-09-29
Sebastian B. Thrun
Hunting moving targets: an extension to Bayesian methods in multimedia databases
1999-08-05
Mining Association Rules with Multiple Minimum Supports
1970-01-01
Adding Animated Presentation Agents to the Interface
1997-04-22
Stretchability of Star-like Pseudo-Visibility Graphs
1999-05-25
Ileana Streinu
Distributed Multi-Level Recovery in Main-Memory Databases
1997-12-28
Top-Down Pruning in Relational Learning
1995-12-12
Johannes Furnkranz
Visual Servoing of Robot Manipulators Part I: Projective Kinematics
1999-06-09
Security Properties of Typed Applets
1999-06-20
Xavier Leroy
Dopaminergic Modulation of Attentional Selection: Implications for Lexical Access
1999-05-20
A Multiresolution Non-Homogeneous MRF Model for Bayesian Tomography
1997-02-21
Model Based Diagnosis for the Air Intake System of the SI-Engine
1999-05-12
Journal of Graph Algorithms and Applications
1998-05-18
New Lower Bounds on the Cost of Binary Search Trees
1996-03-09
A Study On The Speech Acoustic-To-Articulatory Mapping Using Morphological Constraints
1997-06-06
Hani Camille Yehia
Completeness and Weak Completeness under Polynomial-Size Circuits
1999-05-25
Construction of Bivariate Nonseparable Compactly Supported Orthonormal Multiwavelets with Arbitrarily High Regularity
1998-02-17
Wenjie He
Distributed Virtual Microscopy and Microcharacterization DV M²
1997-09-15
Simple Termination is Difficult
1999-03-16
Linking Shared Segments
1993-01-19
Design and Performance of a Web Server Accelerator
1999-01-06
Are Wait-Free Algorithms Fast?
1995-01-01
Learning Network Designs for Asynchronous Teams
1998-04-16
Active Learning in Multilayer Perceptrons
1996-01-29
Kenji Fukumizu
The Token Flow Model
1994-11-07
Automatic Context-Sensitive Measurement Of The Acoustic Correlates Of Distinctive Features At Landmarks
1998-06-17
Mark Johnson
Technische Universitat Chemnitz
1999-03-09
The Thin Film Equation With 2
1998-09-02
Scheduling Of Genetic Algorithms In A Noisy Environment
1994-10-05
An Energy-Minimizing Interpolation For Multigrid Methods
1997-01-30
W. L. Wan
Verification of Fault Tolerance by Means of Fault Injection into VHDL Simulation Models
1997-03-07
Map3d: Scientific visualization program for multichannel time series data on unstructured, three-dimensional meshes. Program User's Guide
1996-06-09
Parallel Sparse Matrix-Vector Multiply Software for Matrices with Data Locality
1997-01-07
A Machine Learning Approach to Building Domain-Speci c Search Engines
1999-08-17
Mobile Agent Planning Problems
1999-08-11
Reengineering in the Aircraft Industry Using Business Process Modelling
1997-04-02
"GammaGammaAccurate" Failure Detectors
1996-05-17
A First Principles Study Of Nickel Defects In Synthetic Diamond
1998-09-22
Lower Bounds on Threshold and Related Circuits via Communication Complexity
1996-05-02
Querying Heterogeneous Object Views of a Relational Database
1993-12-14
QCD Pressure at Two Loops in the Temporal Gauge
1998-05-22
Learning with Abduction
1998-05-12
Self-Adaptation in Real-Parameter Genetic Algorithms with Simulated Binary Crossover
1999-02-08
CREW Lossless/Lossy Medical Image Compression
1970-01-01
Expressing Nested Data Parallel Operations Through Multithreading
1994-06-29
Processing Crossed And Nested Dependencies: An Automaton Perspective On The Psycholinguistic Results
1999-02-24
Aravind K. Joshi
Formalisation for Decision Support in Anaesthesiology
1999-07-25
A Wavelet Toolbox for Large Scale Image Processing
1998-09-01
Classification and Uniqueness of Invariant Geometric Flows
1997-05-08
CONCAT - Connotation Analysis of Thesauri Based on the Interpretation of Context Meaning
1999-01-11
Parallel Copying Garbage Collection using Delayed Allocation
1998-10-26
: A Platform for Constraint Logic Programming
1998-01-08
Confidence Intervals on Likelihood Estimates for Estimating Association Strengths
1999-05-28
Mark Johnson
Foundations of the Trace Assertion Method of Module Interface Specification
1999-07-08
On an Optimal Consumption Problem for P-Integrable Consumption Plans
1999-08-19
Unsupervised Lexical Learning with Categorial Grammars
1999-05-24
A Bi-Driven Optimal Search For Knowledge-Based Vision
1998-07-28
Nonlinear Dynamics of Accelerator via Wavelet Approach
1997-06-24
A note on the best tridiagonal approximation for the inverse of a totally nonnegative Matrix
1998-11-23
Matthias Pott
Unknown
1997-04-17
Longtime Behavior of a Branching Process Controlled By Branching Catalysts
1997-11-19
Mariposa: A Wide-Area Distributed Database System
1997-04-12
Automatic Generation of GSPN Models for the Performance Evaluation of Heterogeneous Applications
1997-12-17
Cosimo Anglano
WAND Design Requirements
1996-10-25
Cosmos - A Representation Scheme for 3D Free-Form Objects
1997-07-26
Translator For Mobile Code
1996-08-16
Christian F. Tschudin
Parnass2: A cluster of Dual-Processor PCs
1999-06-04
Replacing Copies With Connections: Managing Software across the Virtual Organization
1999-05-10
Implementing Deletion in B
1996-06-09
Cooperative 2-DOF Robots for Precision Assembly
1999-08-11
On the Local Behavior of an Interior Point Method for Nonlinear Programming
1998-01-25
Human Face Detection in Visual Scenes
1999-08-09
Parallel Programming in Split-C
1996-11-13
Design and Verification of Communication Protocols for degraded modes of operation of AHS
1995-09-12
Design and Prototyping of Real-Time Systems Using CSP and CML
1997-05-23
Vibration Analysis using ROSETTA - A Practical Application of Rough Sets
1999-06-28
Towards Portable Message Passing in Java: Binding MPI
1997-11-14
Constrained Minimization of Smooth Functions Using a Genetic Algorithm
1998-03-07
Monitoring an Algorithm's Execution
1998-03-05
Stray Light Effect On Magnetograph Observations
1998-06-13
Hong Sik Yun
Linear-time reconstruction of Delaunay triangulations with applications
1997-05-29
Subspace Classifier in the Hilbert Space
1999-02-26
Koji Tsuda
Generation of Natural-Looking 3D Shapes by Simulated Evolution
1997-03-14
Florin Manolache
A Secure and Optimally Efficient Multi-Authority Election Scheme
1999-02-12
Complementary Edge Detection And Region Growing For Sar Image Segmentation
1998-06-01
Shrinking the Warehouse Update Window
1999-03-12
Learning Bayesian Networks from Incomplete Data with Stochastic Search Algorithms
1999-06-29
Measurements of a Distributed File System
1999-05-13
Nonlinear Behavior and Control of A Nonholonomic Free-Joint Manipulator
1998-04-17
Lars Arge and Peter Bro Miltersen
1998-06-02
Multiresolution Modeling for Fast Rendering
1996-09-25
The Automated Identification of Tubercle Bacilli in Sputum: A Preliminary Investigation
1998-11-19
Efficient Domain Decomposition Preconditioning for the
1996-06-23
Jonathan M. Smith
Travelling Waves for Fourth-Order Semilinear Parabolic Equations
1999-06-14
Robertus Van Der Vorst
Monitoring Of Active Galactic Nuclei: The Why And The How
1997-08-29
Using CBR techniques to detect plagiarism in computing assignments
1999-06-01
Alexander N. Mikoyan
David L. Levine, Christopher D. Gill, and Douglas C. Schmidt
1998-08-08
A Random Energy Model For Size Dependence: Recurrence Vs. Transience
1997-07-18
Christof Kulske
Power Estimation in Sequential Circuits
1996-02-22
ROSAT public PSPC observations in the Las Campanas Redshift Survey
1997-04-22
Fermilab Hasinger
When does Convergence of Asset Price Processes Imply Convergence of Option Prices?
1998-02-10
Asymptotic Properties of Regularized Differential-Algebraic Equations
1995-11-15
Manual Controls For High-Dimensional Data Projections
1998-11-16
New Island of
1998-02-17
The Constant Radiance Term
1997-01-24
Lászl Neumann
Nijenhuis Tensors and Obstructions for Pseudoholomorphic Mapping Constructions
1999-03-28
Boris S. Kruglikov
Efficient Exploration In Reinforcement Learning
1998-09-29
Sebastian B. Thrun
Applications of Gain-Spectral Block Classification in Image Coding
1996-02-07
Transformable Multi-Agent Systems: A Specification Language for Cooperation Processes
1997-10-30
Location of the innermost stable circular orbit of binary neutron stars in the post Newtonian approximations of general relativity
1998-05-05
Heating of the Solar Wind Beyond 1 AU by Turbulent Dissipation
1999-05-13
Computational Extraction Of Lexico-Grammatical Information For Generation Of Swedish Intonation
1998-09-21
Anomaly Detection through Registration
1999-07-07
Improving Software Pipelining With Unroll-and-Jam
1997-01-20
Techniques for Visualizing 3D Unstructured Meshes
1995-11-08
Approximation of Monotone Functions: A Counter Example
1997-03-07
Fingerprint Enhancement
1998-06-15
Qualitative and Quantitative Reasoning About Thermodynamics
1994-03-28
Machine Learning Based On Function Decomposition
1998-04-10
Blaz Zupan
Orthogonal Persistence in a Heterogeneous Distributed Object-Oriented Environment
1993-12-20
By NGAI HANG CHAN
1995-09-14
Querying Spatial Databases via Topological Invariants
1998-03-06
Compile-Time Detection of Information Flow in Sequential Programs
1994-09-08
On the Size of Reactive Plans
1996-08-01
Loop headers in lambda-calculus or CPS
1994-06-16
On The Convergence Of Circle Packings To The Riemann Map
1996-04-09
OZONE Distributed Communication Library
1996-03-25
Using Higher-Order Logic Programming for Semantic Interpretation of Coordinate Constructs
1996-10-07
Seth Kulick
3D nonlinear inversion by Entropy of Image Contrast optimization
1998-07-24
Better Average-Case Predictions for K-Binary Relations
1998-10-31
Reuse Library Interoperability and the World Wide Web
1996-10-28
A High Performance Video Server for Broadband Network Environment
1999-01-04
Active Object-Oriented Database Systems For CIM Applications
1995-02-24
Ordered Chaining for Total Orderings
1994-04-20
Leo Bachmair
Nonlinear Feedback Systems Perturbed By Noise: Steady-State Probability Distributions And Optimal Control
1998-12-09
Hennessy-Milner Classes and Process Algebra
1994-12-09
Marco Hollenberg
Limits to substitution in consumption, human behavior, and ecological economic system dynamics: The case of Easter Island
1999-04-20
John M. Anderies
A Space-Time Multigrid Method For Parabolic Pdes
1994-10-13
Region Based Klt For Multispectral Image Compression
1997-10-29
Temporal Sequence Processing using Recurrent SOM
1998-02-18
Data Mining In Temporal Databases
1998-12-07
A Recovery Method Supporting User-Interactive Undo in Database Management Systems
1998-02-02
-induced conformational change of CE, a learningassociated protein. 27
1998-05-21
Practical Data Breakpoints: Design and Implementation
1993-04-16
November 1995
1970-01-01
Phase diagram of the gauge invariant two species Ising model
1997-05-20
Sebastiano Stramaglia
Identifying the Information Contained in a Flawed Theory
1996-04-28
Sean P. Engelson
Center for Turbulence Research LES on unstructured deforming meshes: towards reciprocating IC engines
1997-06-18
Proving Safety Properties of Hybrid Systems
1999-02-05
Labeling in CLPFD with evolutionary programming
1998-04-27
Support of Frame Relaying Bearer Service in B-ISDN and Frame Relay interworking between B-ISDN and other networks
1993-10-14
Lexical Disambiguation in a Discourse Context
1997-10-10
Conformal Uniformization And Packings
1996-02-27
Oded Schramm
L4 Reference Manual - 486, Pentium, Pentium Pro
1996-10-18
Jochen Liedtke
Anetd: Active NETworks Daemon
1998-04-03
Livio Ricciulli
Web Agents That Work
1998-09-11
Quantitative Analysis and Model Checking
1997-03-20
Intelligent CAL
1999-01-20
J. John O'gorman
Design for Testability Techniques At the Behavioral and Register-Transfer Levels
1999-01-30
Managing Server Load in Global Memory Systems
1997-04-03
Some simple Properties of High, Low, Open, Close: Simulating Financial Time series and tracking volatility
1998-06-22
Don L. Mcleish
Quadratic Optimal Control Through Coprime And Spectral Factorizations
1997-09-24
Olof J. Staffans
The Extended Linear Complementarity Problem
1998-09-11
Basic Science in Medical Reasoning: An Artificial Intelligence Approach
1998-09-04
Entropic Elasticity of Twist-Storing Polymers
1998-06-09
J. David Moroz
Periodic Solutions For Nonlinear Evolution Inclusions
1996-10-10
A Hybrid Element Method For Calculation Of Capacitances From The Layout Of Integrated Circuits
1996-06-26
A Formal Model of Asynchronous Communication and Its Use in Mechanically Verifying a Biphase Mark Protocol
1997-04-18
Delay-Dependent Closed-Loop Stability of Linear Systems with Input Delay: An LMI Approach
1997-11-19
Perceptually organized EM: A framework for motion segmentation that combines information about form and motion
1995-06-09
A General Framework for Vertex Orderings, with Applications to Netlist Clustering
1994-06-01
Corpus-Driven Knowledge Acquisition for Discourse Analysis
1997-03-18
Hijacking AFS
1999-01-07
Closed Model Categories For
1997-11-24
Quantum Stochastic Dynamics I: Spin Systems on a Lattice
1996-01-30
Taxonomic and Uncertain Reasoning in Object-Oriented Databases
1997-09-15
Triangulations With Very Few Geometric Bistellar Neighbors
1998-09-23
Francisco Santos
Learning DFA from Simple Examples
1997-05-06
Generalized Query Answering in Disjunctive Databases Using Minimal Model Generation
1996-08-25
Formal Verification of Communication Protocols
1997-01-22
M. A. S. Smith
Weighting Matrices In Subspace Algorithms D. Bauer
1998-02-13
D. Bauer
Formal Development of Java Based Web Parallel Applications
1998-01-29
Optimal Synthesis of Processor Arrays with Pipelined Arithmetic Units
1994-03-10
Book review: Devereux Sequence Analysis by Gribskov and Devereux
1998-07-07
Dynamic Simulation: Model, Basic Algorithms, and Optimization
1998-04-09
The Uniform Memory Hierarchy Model of Computation
1994-12-13
Free products of units in algebras Part I: quaternion algebras
1998-12-02
SOKOBAN and other motion planning problems extended
1998-10-20
Normal Frames and the Validity of the Equivalence Principle
1998-05-05
Bozhidar Z. Iliev
Interactive Explanation of Software Systems
1995-05-03
Targeting a Shared-Address-Space Version of the Seismic Benchmark Seis1.1
1996-03-22
Fault Tolerance in Distributed Ada 95
1997-09-17
Thomas Wolf
Cooperative Agents and Recognition Systems CARS for Drivers and Passengers
1998-09-04
Stability Of Ultraviolet-Cutoff Quantum Electrodynamics With Non-Relativistic Matter
1997-04-26
Stable Models and an Alternative Logic Programming Paradigm
1970-01-01
Victor W. Marek
Maximum Norm Wellposedness of Nonlinear Kinematic Hardening Models
1997-11-19
Martin Brokate
A Unified Approach to Several Results Involving Integrals of Multifunctions
1997-06-11
Erik J. Balder
Liquid-Gas Phase Transition in Nuclear Equation of State
1998-05-24
Pseudo-spin Symmetry and Relativistic Single-nucleon Wave Functions
1998-04-21
Competitive Analysis of On-Line Disk Scheduling
1997-11-03
Calibration Results of COCOMO II.1997
1997-07-16
Relative Utility of EBG based Plan Reuse in Partial Ordering vs. Total Ordering Planning
1993-08-17
Subbarao Kambhampati
Cortical Mechanisms of Visual Recognition and Learning: A Hierarchical Kalman Filter Model
1997-03-25
Rajesh P. N. Rao
From Genetic and Evolutionary Optimization to the Design of Conceptual Machines
1998-05-06
David E. Goldberg
Logic Programming and Knowledge Representation
1994-01-25
Bootstrapping
1996-07-23
Jon A. Wellner
Experimenting Systems Analysis Teaching Using a Comparative Approach --- A position paper
1996-04-08
On Active Networking and Congestion
1996-04-18
k-Weak Orders: Recognition and a Tolerance Result
1996-07-15
Ann N. Trenk
Automatic Segmentation of Low Visibility Moving Objects through Energy Analysis of the Local 3D Spectrum
1999-03-30
Protecting Data Privacy in Private Information Retrieval Schemes
1998-05-26
Stochastic Perturbation Theory
1998-09-05
G. W. Stewart
Performance Modeling and Composition: A Case Study in Cell Simulation
1996-03-05
A C++ Data Model Supporting Reachability Analysis and Dead Code Detection
1997-04-15
Medical Informatics Research at Georgia Tech: An Overview
1993-07-27
Ulf G. Rønnow
1998-09-17
Ulf G. Rønnow
Topicalization vs. Left Dislocation of Sentential Arguments in German
1997-03-06
In German
Theories and Proofs in Fault Diagnosis
1998-09-17
Ilyas Cicekli
Yves Caseau Peter Koppstein Bellcore, 445 South Street, Bellcore, 444 Hoes Lane Morristown NJ 07962-1910 Piscataway NJ 08854-4182 caseau@bellcore.com pk@ctt.bellcore.com
1997-10-17
A Survey of Near-Line Storage Technologies: Devices and Systems
1998-01-30
An Efficient Boosting Algorithm for Combining Preferences
1998-04-09
Optimal Elections in Labeled Hypercubes
1998-09-08
Paola Flocchini
An Artificial Neuron with Quantum Mechanical Properties
1997-04-02
Interference Avoidance with Software Radios
1998-10-21
Finite temperature properties of the Spin-
1997-02-04
On Topological Simulations in Developmental Biology
1996-03-28
Computer Algebra - Past, Present and Future
1998-10-08
Towards Unconstrained Face Recognition from Image Sequences
1996-09-03
Convective and Absolute Instabilities in the Subcritical Ginzburg-Landau Equation
1999-04-13
Low Cost Attacks on Tamper Resistant Devices
1997-03-28
Searching for Repeated Words in a Text Allowing for Mismatches and Gaps
1997-06-09
Domain Decomposition Algorithms for Indefinite Elliptic Problems
1994-03-18
Solar Models With Helioseismologically Correct Sound Speed Profile
1996-07-29
Modelling CIM Applications Utilizing Autonomous Objects
1997-05-30
An Approach To Quality Of Service Management For Distributed Multimedia Applications
1997-01-22
A Framework for the Design of Event Detectors
1999-04-22
Empirical Support for Winnow and Weighted-Majority Algorithms: Results on a Calendar Scheduling Domain
1998-06-04
Avrim Blum
Some Properties of Riesz Means and Spectral Expansions
1997-10-07
Supervised Competitive Learning For Finding Positions Of Radial Basis Functions
1998-01-09
Cooperation Support in the SPADE Environment: A Case Study
1994-10-24
Behaviour-Based Autonomous Systems: Towards an Analysis Framework
1996-04-15
Jacek Malec
Verifying Objects Against Axiomatic Specifications: A Fixpoint Approach
1998-10-14
A Note On Lattice Simplices And Toric Varieties
1997-10-09
A Deliberative and Reactive Diagnosis Agent based on Logic Programming
1996-05-30
Müntz-type Approximation and a Schauder Basis problem
1998-03-27
H. T. Tabe
Evidence for
1997-11-23
Action-Selection in Hamsterdam: Lessons from Ethology
1996-12-03
Bruce Blumberg
A STUDY of the EFFECTS OF ORDERING, PARTITIONING AND FACTORIZATION ALGORITHMS ON DISTRIBUTED SPARSE Cholesky Factorization
1996-01-27
Mukund Raghavachari
Workbench for Enterprise-wide Workflow Management
1997-02-13
A Study on Fuzzy Abductive Inference
1998-11-18
Perturbative Topological Field Theory
1997-03-18
Robbert Dijkgraaf
Sequential-Like Proofs Of Data-Parallel Programs
1970-01-01
Automatic Visualization of Two-Dimensional Cellular Complexes
1996-10-09
Quality Of Service Verification Experiments
1995-03-02
Hap A Reactive, Adaptive Architecture for Agents
1994-03-15
The HELLAZ Solar Neutrino detection project
1998-02-18
Place Marcelin Berthelot Paris Cedex
An Efficient Interactive Algorithm for Regular Language Learning
1995-09-06
Exploring the use of I/O Nodes for Computation in a MIMD Multiprocessor
1998-12-27
Isomorphism Classes and Derived Series of Certain Almost-Free Groups
1996-08-22
Riemannian Barycentres and Geodesic Convexity
1998-02-10
Encapsulated Search and Constraint Programming in Oz
1996-12-11
Resonance Production In The Reaction
1995-09-22
High-Level Synthesis Scheduling and Allocation using Genetic Algorithms based on Constructive Topological Scheduling Techniques
1998-05-19
Differential cryptanalysis of KHF
1999-05-09
David Wagner
A Subspace Method for Maximum Likelihood Target Detection
1996-02-09
Search for
1998-05-22
Understanding Time-Series Networks: A Case Study in Rule Extraction
1998-12-21
Towards a uniform management of multimedia presentations with MHEG
1996-07-31
On Strong Measure Zero Subsets of ...
1997-10-30
A Geometric Approach to Leveraging Weak Learners
1999-01-21
Circuit Clustering And Its Effects On A Multi-Way Circuit Partitioning Heuristic
1997-05-14
FERMILAB-Pub-95/013-A January, 1995
1998-05-12
Yun Wang
On the Cosmological Constant Problem and the Reality of Vacuum Fluctuations
1995-12-19
Electroconvection in a Suspended Fluid Film: A Linear Stability Analysis
1997-10-13
The Relationship Between Test Coverage and Reliability
1994-03-17
Monitoring Diseases With Empirical and Model Generated Histories
1996-01-26
Enrico W. Coiera
A Generalization of Quasi-Hereditary Algebras
1998-08-11
Istv'an Agoston
Indexed Files
1996-04-05
Contour Matching Using Epipolar Geometry
1998-11-24
Asymptotic Performance Of Second Order Blind Separation
1994-05-09
Number Theory, Theta Identities, and Modular Curves
1996-06-17
Quantitative Imaging of Corrosion in Plates by Eddy Current Methods
1999-03-22
Unknown
1997-02-24
Gamma Gamma
1998-06-05
Genetic Algorithms For Vertex Splitting in DAGs
1993-01-29
Matthias Mayer
Comment on the "Chaotic" Singularity in Some Magnetic Bianchi VI
1996-04-05
Generalized Search Trees for Database Systems
1997-05-12
Simulation of Asynchronous Instruction Pipelines
1996-02-02
Zbigniew Fiedorowicz and Yongjin Song
1997-05-23
Are Initial/Final Units Acoustically Accurate?
1998-07-25
Complexity in Object Oriented Frameworks
1998-01-23
Submission of Transactions from Mobile Workstations in a Cooperative Multidatabase Processing Environment
1995-04-08
Hierarchical Non-linear Factor Analysis and Topographic Maps
1998-01-12
The Identification of Training Examples which cause Difficulties for Machine Learning
1998-07-27
Description and Verification of RTL Designs Using Multiway Decision Graphs
1995-12-19
Iterative Generation of 3-D Models from a Set of Images
1998-05-11
Solving Computational Problems Using Coherent Oscillation
1997-12-07
Timed Possibilistic Logic
1997-06-27
Culling and Teaching in Neuro-evolution
1997-04-28
Using Hypothetical Reasoning as a Method for Belief Ascription
1999-04-09
Hans Chalupsky
Quantifying the Performance Differences Between PVM and TreadMarks
1997-03-15
Generalization Of Taylor's Theorem And Newton's Method Via A New Family Of Determinantal Interpolation Formulas
1997-07-25
Bahman Kalantari
An Image Multiresolution Representation for Lossless and Lossy Compression
1970-01-01
William A. Pearlman
Problems In Low-Dimensional Topology
1997-05-23
Frank Quinn
Commutation Methods For Jacobi Operators
1997-04-28
F. Gesztesy
The Gauss Center Research in Multiscale Scientific Computation
1998-02-18
Achi Brandt
Graphical Representation and Manipulation of Complex Structures Based on a Formal Model
1998-11-13
Fine Separation of Average Time Complexity Classes
1997-10-21
Regularity For Non-Uniformly Elliptic Systems And Application To Some Variational Integrals
1997-11-28
Creating Direct Manipulation Interfaces For Existing Software
1995-06-24
Douglas Richard Hellmann
Supporting Reuse of Evolving Visual Code
1997-06-17
A Practical Soft Type System for Scheme
1998-08-25
Norms that Generate the Same Wijsman Topology on Convex Sets
1995-10-27
Pietro Poggi-corradini
BDL, a language of distributed reactive objects
1998-04-14
Predictive Control of Opto-Electronic Reconfigurable Interconnection Networks Using Neural Networks
1996-07-26
Smoothing by Local Regression: Principles and Methods
1996-05-30
Towards a Principled Representation of Discourse Plans
1995-01-21
End-to-End Design of Real-Time Systems
1998-09-05
K. Mani Chandy
1994-02-06
Hamiltonian Systems On Quantum Spaces
1996-10-05
Dynamic Networks are as fast as static networks Preliminary Version
1993-04-20
Integrating Disequations in the Algebraic and Logic Programming Language LPG
1994-06-01
by R.E. Shrock, State Univ. of New York, Stony Brook In addition to the
1996-07-23
Holomorphy and Dynamical Scales in Supersymmetric Gauge Theories
1998-06-23
E. Dudas
A Graphical User Interface for an ECG Classifier System
1997-10-17
Jorg Nilson
Using Vector Quantization for Image Processing
1997-02-05
Weyl Curvature, Einstein Metrics, and Seiberg-Witten Theory
1998-05-31
Claude Lebrun
Predictive State Restoration in Desktop Workstation Clusters
1998-06-27
Managing Tcl's Namespaces Collaboratively
1997-09-02
Don Libes
On-Line Estimation of the Parameters of Long-Range Dependence
1998-02-27
Sandscapes: Expressing Emergent Temporal Patterns
1998-11-20
Associative Memory Based on Parametrically Coupled Chaotic Elements
1998-04-28
Functional Estimation with Respect to a Threshold Parameter via Dynamic Split-and-Merge
1996-07-24
Felisa J. V Azquez-abad
Toward A Comprehensive Infosec Certification Methodology
1994-02-25
Absolutely continuous spectrum of one-dimensional Schrodinger operators and Jacobi matrices with slowly decreasing potentials
1997-04-26
Alexander Kiselev
An Intelligent Backtracking Schema in A Logic Programming Environment
1997-05-13
Ilyas Cicekli
Parallel and Distributed Simulation of Petri Nets Tutorial
1995-12-20
A. Ferscha
Competitive Analysis of Call Admission Algorithms that Allow Delay
1997-07-26
KANTRA: Human-Machine Interaction for Intelligent Robots Using Natural Language
1994-11-25
Concept Support as a Method for Programming Neural Networks with Symbolic Knowledge
1994-10-12
A Derivation Formula for Convex Integral Functionals Defined on
1995-10-27
Allison Woodruff, James Landay, Michael Stonebraker
1998-02-21
Convergence of the
1997-11-22
I. Assani
On the Correctness of Parallel Bisection in Floating Point
1997-01-27
Using Sparse Capabilities in a Distributed Operating System
1990-04-14
Pattern Matching Using Distorted Color Histograms
1998-08-05
The Symplectic Eigenvalue Problem, the Butterfly Form, the
1997-08-01
Peter Benner
A Manipulator Work Package for Teleoperation from Unmanned Untethered Vehicles---Current Feasibility and Future Applications
1996-02-15
Game Theoretic Analysis Of Call-By-Value Computation
1998-04-20
Optimum Complexity FFT Algorithms for RISC Processors
1998-11-24
On the Cohomology of the Steenrod algebra
1993-11-28
Chariya Peterson
Optimal Interconnect Diagnosis of Wiring Networks
1998-05-17
Suppression is Proportional to the potential Or Exchange Scattering Rate,
1997-08-21
Individuation and Quantification
1970-01-01
Chris Barker
Ornl/tm-12470
1995-04-28
Issues in Reliable Network Memory Paging
1995-11-16
Evangelos P. Markatos
Accurate Computation of the Medial Axis of a Polyhedron
1998-11-16
Wellposed Problems of the Calculus of Variations for Nonconvex Integrals
1995-10-27
Tullio Zolezzi
Segment Order Preserving Copying Garbage Collection For WAM Based Prolog
1997-02-19
Hardware and Compiler-Directed Cache Coherence in Large-Scale Multiprocessors:
1970-01-01
LAPACK Working Note 58 The Design of Linear Algebra Libraries for High Performance Computers
1994-10-08
Efficient Stopping Rules for Markov Chains
1999-04-19
Adaptive Fraud Detection
1997-12-08
Terminological Reasoning with Constraint Handling Rules
1999-07-01
Fast Estimation of Diameter and Shortest Paths without Matrix Multiplication
1997-04-28
Leave-One-Out Support Vector Machines
1999-07-12
Jason Weston
Decorrelating DECOR Transformations for Low-Power Adaptive Filters
1998-12-22
Automata-Theoretic Approach to Planning for Temporally Extended Goals
1999-08-08
Moshe Y. Vardi
A Note on Genericity and Bi-Immunity
1995-03-23
Jos'e L. Balc'azar Elvira Mayordomo
What Makes a Good Co-Evolutionary Learning Environment?
1999-07-05
Lightning: A Scalable Dynamically Reconfigurable Hierarchical WDM Network for High-Performance Clustering
1995-05-30
Research Summary and Future Plans
1997-11-20
Richard Clelland
Analysis and Control of Underactuated Mechanisms via the Averaging Method
1998-04-17
A three-valued logic for Inductive Logic Programming
1999-06-02
Using a Position History-Based Protocol for Distributed Object Visualization
1997-09-27
Representing Control in the Presence of First-Class Continuations
1996-02-20
Program schemes, arrays, Lindström quantifiers and zero-one laws
1999-06-28
Iain A. Stewart
UNA Based Iterative Test Data Generation and its Evaluation
1999-08-12
Designing a Data Structure for Polyhedral Surfaces
1997-12-18
Lutz Kettner
Agent Software
1999-06-21
Nicholas R. Jennings
Fuzzy Clustering Algorithms on Remote Sensed Data: a Comparison
1999-05-31
On Lower Bounds for the Redundancy of Optimal Codes
1998-08-20
Scalable Parallel Data Mining for Association Rules
1999-05-20
Vipin Kumar
Algorithms for Cluster Busting in Anchored Graph Drawing
1998-04-04
Learning Nonlinear Dynamical Systems using an EM Algorithm
1999-05-11
Text Filtering using Linguistically-Motivated Indexing Terms
1999-05-17
Computational Modelling of Contextual Coreference: Implications for Swedish Text-to-Speech
1998-09-21
An Optimal Control Problem Arising From the Identification of Nonlinear Heat Transfer Laws
1998-02-04
Using Particlesto Sample and Control Implicit Surfaces
1999-08-18
A Structured TCP in Standard ML
1994-11-22
Edoardo Biagioni
Deterministic Permutation Routing on Meshes
1996-12-01
A Survey on Knowledge Compilation
1998-02-04
A Neuro--Fuzzy Approach to Agglomerative Clustering
1995-10-18
Predicting Error in Rigid-body, Point-based Registration
1998-11-18
Evaluation of the NLP Components of the OVIS2 Spoken Dialogue System
1999-06-07
A Methodology for Rapid Analysis and Optimization of Embedded Systems
1997-02-18
An Overview of Genetic Algorithms: Part 2, Research Topics
1998-06-18
Key Agreement Protocols and their Security Analysis
1999-05-03
Scalable Networked Information Processing Environment SNIPE
1999-06-17
Asymptotic Length Bounds And Fractal Dimension
1996-09-08
Lynn Robitaille
Geographic Addressing, Routing, and Resource Discovery with the Global Positioning System
1997-06-25
The Development of a General Framework for Intelligent Document Image Retrieval
1996-09-30
Analytic computation of the Instantaneous Normal Modes spectrum in low density liquids
1999-08-22
Routing Algorithms and Channel Reservation Strategy for a Low Earth Orbit Satellite System
1999-07-11
A Corpus Based Morphological Disambiguation Tool For Basque
1998-05-22
BubbleWorld: a Hierarchical Space Decomposition for Nearest Neighbor Queries on Structured Data in Very High Dimension
1998-05-24
Alexei alyosha Efros
Unknown
1970-01-01
Measuring Performance Limits of Subband Adaptive Systems
1999-08-12
Computer Supported Generative Learning
1997-08-05
Mohamed Eltoweissy
Computing the Similarity of Profiling Data
1998-09-30
Searching Constant Width Mazes Captures the
1997-09-12
Visual Data Mining In Atmospheric Science Data
1999-04-15
Optimizing Real-Time Audio Signals Over Mobile Networks
1999-03-14
Jeffrey P. Monks
A Note on the Hardness of Tree Isomorphism
1999-07-26
Two Improved Algorithms For Envelope And Wavefront Reduction
1997-12-04
Gary Kumfert
A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Format Linear Deduction Systems
1994-11-15
Geoff Sutcliffe
A Temporal Access Control Mechanism for Database Systems
1997-11-28
The complete set of ground states of the ferromagnetic XXZ chains
1997-09-18
Comparison Between Three Different Clustering Algorithms
1999-02-02
A Probabilistic Corpus-Driven Model for Lexical-Functional Analysis
1998-06-30
On the solitons of the Chern-Simons-Higgs model.
1998-12-10
Specializing Shaders
1998-08-12
Removing Electroencephalographic Artifacts : Comparison between ICA and PCA
1998-06-12
An Approach to Classify Semi-Structured Objects
1999-03-31
The NILE Data Model
1995-09-22
Michael Ogg
WebWatcher: Machine Learning and Hypertext
1997-10-31
Main-Sequence Stars and the Star Formation History of the Outer Disk in the Large Magellanic Cloud
1996-04-16
The Right Type of Trust for Distributed Systems
1997-05-15
Multimedia Support for Databases
1997-05-20
Wavelet Transforms and Symmetric Tube Domains
1998-06-22
Implementation and Performance Measurements of QoS Routing Extensions to OSPF
1999-02-08
George Apostolopoulos
Polynomial Homotopies For Dense, Sparse And Determinantal Systems
1999-07-12
A Neural Network for Grey Level and Color Correction used in Photofinishing
1996-02-05
Modelling and Solving Fleet Assignment in a Flexible Environment
1997-11-13
Hani El Sakkout
Efficient Object-Oriented Programming in Prolog
1995-09-07
Spanning Closed Trail and Hamiltonian Cycle in Grid Graphs
1996-07-11
Hwan-gue Cho
Time Warp On A Transputer Platform: Pilot Study With Asynchronous Cellularautomata
1994-10-21
Strategies for Consistency Checking, the Choice of Unification
1997-06-06
Universitat Karlsruhe
1994-06-10
Thomas Fuch
The CAPM Risk Adjustment Needed for Exact Aggregation over Financial Assets
1997-09-22
Haiyang Xu
A Compact Intermediate Format for SIMICS
1998-11-13
Lifetime Information for Model-Based Diagnosis
1998-10-06
Template-Based Wrappers in the
1999-01-18
GIA: An Agent-Based Architecture for Intelligent Tutoring Systems
1995-11-19
Brant A. Cheikes
Universality and Diversity of the Protein Folding Scenarios: A Comprehensive Analysis With the Aid of a Lattice Model
1998-11-03
Leonid A Mirny Victor Abkevich
Soft State Header Compression for Wireless Networks
1970-01-01
Mikael Degermark
A Metric for Trusted Systems
1998-07-27
A flexible and open architecture for the user modeling shell system BGP-MS
1995-10-24
Josef Fink
Knowledge Complexity Versus Computational Complexity And The Hardness Of Approximations
1995-09-14
On Stability of
1998-07-14
: A Digital Library for Image Retrieval
1999-05-13
Breadth-First Parsing
1997-12-05
Reionization of the early Universe
1999-06-06
Supporting Web-Based Database Application Development
1999-02-11
On Convergence of Iterative Methods for a Fourth-Order Discretization Scheme
1996-08-17
Jun Zhang
Cost-Based Optimization of Decision Support Queries using Transient-Views
1998-03-08
How To Use Kyst
1995-05-21
Ray-Knight theorems via continuous trees
1996-11-15
An Incremental Hierarchical Constraint Solver
1993-05-10
Topological Constraints For Sense Of Direction
1998-09-08