Mesonic Spectra of Bosonized QCD2 Models
1998-05-14
Linear Time Euclidean Distance Transform Algorithms
1996-10-07
Zooming on a Multiagent Simulation System: from the Conceptual Architecture to the Interaction Protocol
1999-04-06
Pierre Marcenac
A Compiler for Natural Semantics
1996-02-02
Mikael Pettersson
Double Octics With Isolated Singularities
1997-11-21
Programming Frames for the Efficient Use of Parallel Systems
1997-02-07
Jordi Petit I Silvestre
Hardware Supported Simulation System for Graph Based and 3D Cellular Processing
1998-02-13
Tracking Conductor of an Orchestra Using Artificial Neural Networks
1998-07-14
Tommi Ilmonen
Lower Bounds for Sorting Networks
1997-01-28
Intelligent Information Filtering
1997-04-11
Tractable Planning for an Assembly Line
1995-11-02
Genetic Algorithms and Call Admission to Telecommunications Networks
1998-05-14
A Separator-Based Framework for Automated Partitioning and Mapping of Parallel Algorithms for Numerical Solution of PDEs
1994-04-18
Maple and the Parachute Problem: Modelling with an Impact
1997-01-28
Douglas B. Meade
Singular Bohr-Sommerfeld Rules
1999-03-03
VisuaLinda: A Framework and a System for Visualizing Parallel Linda Programs
1998-04-08
SLIC: An Extensibility System for Commodity Operating Systems
1998-06-27
Non-equilibrium dynamics of the one-dimensional Glauber model
1997-04-26
Stefan Van Gulck
The smooth cohomology of N=2 supersymmetric Landau-Ginzburg field theories
1997-04-26
Operational Semantics of a Focusing Debugger
1994-11-22
A short course on the Lie theory of Semigroups II Lie Semialgebras
1995-08-20
Anselm Eggert
LAPACK--Style Algorithms and Software for Solving the Generalized Sylvester Equation and Estimating the Separation between Regular Matrix Pairs
1994-10-08
A comparison of some schemes for translating logic to C.
1994-09-20
Post-Earnings Announcement Drift?
1995-11-03
Retrieval By Content in Symbolic-Image Databases
1998-10-23
Mechanizing a Theory of Authentication in Higher Order Logic
1995-10-11
Munna Jim Alves-foss
Spatial Reasoning Ruels In Multimedia Management Systems
1999-01-14
Black Holes In Galactic Nuclei
1998-05-12
Reasoning about Message Integrity
1998-12-23
Querying Nested Collections
1994-06-14
Efficient Learning of One-Variable Pattern Languages from Positive Data
1998-02-14
Finding Consistent Global Checkpoints in a Distributed Computation
1998-08-03
Finitely Additive Measures on Groups and Rings
1998-09-12
Modeling Hierarchical Combinational Circuits
1996-07-09
Database Security Issues for Real-Time Electronic Commerce Systems
1999-03-23
Sang H. Son
Functional Partitioning Improvements Over. . .
1997-10-22
Limit Set of Trajectories of the Coupled Viscous Burgers' Equations
1996-07-28
Brian N. Bershad Stefan Savage Przemys/law Pardyak David Becker Marc Fiuczynski Emin Gun Sirer
1997-11-18
Approximate Protein Folding in the HP Side Chain Model on Extended Cubic Lattices
1999-01-26
Volker Heun
Multi-Resolution Motion Estimation
1998-02-20
A Generalization of Gosper's Algorithm to Bibasic Hypergeometric Summation
1997-12-26
Axel Riese
Evolving Sorting Networks using Genetic Programming and Rapidly Reconfigurable Field-Programmable Gate Arrays
1998-08-14
On Batcher's Merge Sorts as Parallel Sorting Algorithms
1998-10-28
Im Stadtwald
Cryptography with Dynamical Systems
1995-03-01
Howard Gutowitz
Choosing CPUs in an Open Market: System Performance Testing for the BABAR Online Farm
1998-11-17
T. J. Pavel
LIC on Surfaces
1997-08-18
Spatio-temporal analysis of the wave front with the GSM
1998-11-19
Machine-Independent Evaluation of Parallelizing Compilers
1970-01-01
On the Hardness of Approximating Shortest Integer Relations among Rational Numbers
1998-02-23
Semi-Automatic Generation of Transfer Functions for Direct Volume Rendering
1998-12-12
Mach Scheduling Framework
1997-03-29
Bell's Inequalities And Density Matrices. Revealing "hidden" Nonlocality.
1998-05-12
Sandu Popescu
Optical Interconnects for Multiprocessor Architectures Using Wavelength-Division Multiplexing
1993-10-25
Glueing Analysis For Complemented Subtoposes
1996-11-18
Transmitted S. Niefield
Towards a European High Performance Education and Research Network HIPERnet
1997-07-01
INR--917/96 hep-ph/9602425
1998-05-25
Grigorii B. Pivovarov
Real Time Vision System for Collision Detection
1999-03-14
Software Issues and Performance of a Parallel Model for Stock Option Pricing
1994-06-01
The Notion of Trajectory in Graphical User Interfaces
1997-05-28
Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA Form
1995-07-19
SAX: Generating Hypertext from SADT models
1997-07-21
Toward the Development of Highly Interactive Software Visualization Systems: A
1996-03-25
Christopher D. Hundhausen
Learning, from a Logical Point of View
1997-02-24
Pablo Noriega B. V
An Asymptotic Expansion For The Density Of States Of A Random Schrödinger Operator With Bernoulli Disorder
1997-04-26
Failure Evaluation of Disk Array Organizations
1995-11-16
A Mod Two Analogue Of A Conjecture Of Cooke
1995-02-22
THE VILLAGE TELEPHONE SYSTEM: A Case Study in Formal Software Engineering
1998-03-27
Noncommutative Interpolation And Poisson Transforms
1997-10-31
New Retrieval Approaches Using SMART : TREC 4
1998-03-25
XGvis: Interactive Data Visualization with Multidimensional Scaling
1999-01-04
Representing Information Need with Semantic Relations
1995-01-04
Anil S. Chakravarthy
Pure Type Systems without the Pi-condition
1996-09-16
Paula Severi
Model-Checking in Dense Real-time
1997-10-22
Scalability Analysis of Parallel Finite Element Methods using Performance Simulation
1995-07-20
A. J. C. Van Gemund
Albedo - A meta-object infrastructure for Smalltalk
1998-07-20
On The Point Limit Of The Pauli--Fierz Model
1997-04-26
Constrained Non-Locality in Syntax:Long-Distance Dependencies in Tree Adjoining Grammar
1998-12-03
Seth Kulick
Semantics of Object-Oriented Data Models - The Evolving Algebra Approach
1997-02-22
Implementation of Ultrasound Time-Domain Cross-Correlation Blood Velocity Estimators
1999-02-05
Jørgen Arendt Jensen
Compiling Fortran D for MIMD Distributed-Memory Machines
1998-08-24
Minimalism + Distribution = Supermodularity
1998-12-07
Demand more from your SGML database!
1996-02-27
Arijit Sengupta
Multi-Queue Management and Scheduling for Improved QoS in Communication Networks
1997-09-02
The HERON Project - Multimedia Database Support for History and Human Sciences
1998-06-25
A Framework For Extending Object-Oriented Applications With Hypermedia Functionality
1996-10-09
Alejandra Garrido
Tal Parsing In On 6 Time
1995-05-26
Predicting the Performance of Software Systems
1996-03-26
LSI meets TREC: A Status Report
1996-08-15
Susan T. Dumais
The Wave Equation With One Point Interaction And The Linearized Classical Electrodynamics Of A Point Particle
1996-06-26
Modeling Dynamic Surfaces with Octrees
1992-04-19
Don Libes
Improved Parameter Estimation Schemes for Damped Sinusoidal Signals
1998-10-11
Petri Net Objects For The Design, Validation And Prototyping Of Userdriven Interfaces.
1998-02-27
Modelling Slotted Multi-Channel Ring All-Optical Networks
1997-06-30
Unknown
1996-10-20
Douglas C. Schmidt
A Multi-Level WDM Access Protocol for an Optically Interconnected Parallel Computer
1995-03-17
Krishna Sivalingam
Improved Update/Query Algorithms For The Interval Valuation Problem
1995-04-07
Marc Lavielle
1997-02-04
Marc Lavielle
On Case-Based Reasoning Technique Based on Similarity Methods and. . .
1997-09-27
Stephan Rudolph
A Comparison of Robustness: Fuzzy Logic, PID, Sliding Mode Control
1997-02-05
Numerical Solution Of Reservoir Flow Models Based On Large Time Step Operator Splitting Algorithms
1999-01-21
An Integrated Approach to Register Binding and Scheduling
1997-12-22
Time-Frequency Detectors
1998-04-09
Collaboration*
1996-01-17
Dynamic Typing in a Statically Typed Language
1996-08-18
Life-Cycle Inheritance: A Petri-Net-Based Approach
1999-01-28
T. Basten
Panconnectedness and Pancyclicity in Graphs with LocalOre-type Conditions I
1997-02-27
Lorentz Boosts as Squeeze Transformations and the Parton Picture
1998-05-25
Y. S. Kim
Fixed Fee Versus Unit Pricing for Information Goods: Competition, Equilibria, and Price Wars
1998-01-13
Disoriented Chiral Condensates: A Dynamical Simulation In The 2+1-Dimensional Gross-Neveu Model
1997-04-18
Distributional Regularities Of Form Class in Speech to Young Children
1997-01-08
Confidence based Dual Reinforcement Q-Routing: an On-line Adaptive Network Routing Algorithm
1998-05-15
Tools for Browsing a TV Situation Comedy Based on Content Specific Attributes
1998-12-16
A Framework for Undoing Actions in Collaborative Systems
1996-07-25
Michael J. Knister
Towards a Test-bed for Trading Agents in Electronic Auction Markets
1998-05-06
Solvable Groups of Automorphisms of Stable Planes
1995-08-21
Workflow Modeling and Execution with Coloured Petri Nets in COSM
1998-03-26
On Computing Algebraic Functions using Logarithms and Exponentials
1997-06-19
Physics Opportunities at ELFE
1997-12-11
Paul Hoyer
Approximation of Multivariate Functions Using Ridge Polynomial Networks
1995-04-04
A Survey of Tractable Constraint Satisfaction Problems
1998-06-03
Isomorphic Triangulations With Minimal Number Of Steiner Points
1996-01-28
Steiner Points
Towards quantum localisation in Gaussian random potentials
1997-04-26
Modular Semantic Specifications to Interpreter Implementation in
1996-08-16
Viswanathan Vaidyanathan
Communication Algorithms on the Multi-Mesh
1999-04-09
Reinforcement Learning with Hierarchies of Machines
1998-01-17
An asynchronous modulation/demodulation technique for robust identification of a target for 3-D pose determination Regina K. Ferrell W. Bruce Jatko David N. Sitter, Jr. Oak Ridge National Laboratory
1997-02-17
The GraphDB Algebra: Specification of Advanced Data Models with Second-Order Signature
1995-11-15
An Application Specific Parallel Programming Paradigm
1997-11-20
Data Storage Technology
1996-05-17
Generalized Reduction Procedure: Symplectic and Poisson Formalism
1997-05-15
Compiling Rewriting onto SIMD and MIMD/SIMD Machines
1998-08-21
Propp-Wilson algorithms and finitary codings for high noiseMarkov random fields
1998-09-02
Syllable-based Morphology
1995-11-24
Lynne J. Cahill
Systematic Nonlinear Planning
1997-01-24
A New Macho Search Strategy
1998-05-12
Andrew Gould
The Area Bisectors of a Polygon and Force Equilibria in Programmable Vector Fields
1997-04-21
Distributed Information Search and Retrieval for Astronomical Resource Discovery and Data Mining
1998-09-11
Primitive Geometric Operations on Planar Algebraic Curves with Gaussian Approximation
1997-10-13
A New Method for Volatility Estimation with Applications in Foreign Exchange Rate Series
1970-01-01
Constrained Fir Filter Design For 2-Band Filter Banks And Orthonormal Wavelets
1998-04-09
Effects Of R Parity Breaking In The Higgs Sector
1998-05-25
J. Rosiek
Axiomatising Extended Computation Tree Logic
1997-12-05
Roope Kaivola
R3 A. Ramsay, Topologies on measured groupoids,
1996-02-02
Funct Anal
A Single-Chip Multiprocessor
1997-09-11
Eye Movements in Visual Cognition: A Computational Study
1997-03-19
PRAM Programming: Theory vs. Practice
1997-10-26
Relating the Minimum Model for DNA Computation and Boolean Circuits
1999-04-29
Mitsunori Ogihara
Adaptive Resource Reservation for Indoor Wireless LANs
1996-10-28
Directed Rectangle-Visibility Graphs have Unbounded Dimension
1996-05-30
Kathleen Romanik
Coded Modulation by Multilevel-Codes: Overview and State of the Art
1998-03-06
A Partial Instantiation based First Order Theorem Prover
1998-12-23
-- -- Implementing Sequential Consistency In Cache-Based Systems
1995-03-24
Permutation Weighted Order Statistic Filter Lattices
1997-10-24
A New Methodology To Solve The Problem Of Characterizing 2-D Biomedical Shapes
1996-02-07
ATLAS I: A Single-chipATM switch for NOWs
1996-12-15
Scheduling In Real-Time Transaction Systems
1996-12-07
Montages/Gem-Mex: a Meta Visual Programming Generator
1998-10-07
Modeling Uncertainty Using Probabilistic Based Possibility Theory With Applications To Optimization
1999-04-12
BioX++ - New Results And Conceptions Concerning The Intelligent Control Of Biotechnological Processes
1995-07-26
Next Cache Line and Set Prediction
1996-07-16
Empirically Testing Hypotheses of Flaw Selection Performance for a Partial Order Planner
1997-06-26
Three Distinct Distances in the Plane
1998-05-03
Peter Newton
1998-11-02
Peter Newton
Hybrid Multithreaded Architecture with Symmetric Multiprocessors
1997-06-04
Disfluencies In Switchboard
1970-01-01
Elizabeth Shriberg
Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions
1997-05-11
An Asynchronous Parallel Supernodal Algorithm for Sparse Gaussian Elimination
1997-10-01
Feature-based Learning of Search-guiding. . .
1998-04-01
Wavelet Method and Asymptotically Minimax Estimation of Regression
1998-03-23
Golubev Georgii
New Advances In Bayesian Calculation For Linear And Nonlinear Inverse Problems
1997-10-29
Electromagnetic Theory on a Lattice
1996-04-05
W. C. Chew
System Description: Twelf --- A Meta-Logical Framework for Deductive Systems
1970-01-01
Mobile Robot Exploration and Map-Building with Continuous Localization
1998-10-16
The Medusa Applications Environment
1994-05-31
Learning Bayesian Networks is NP-Hard
1970-01-01
Existence of Solutions for Unilateral Problems With Multivalued Operators
1995-10-27
Anna Maria Rossi
Analysis of a Local Search Heuristic for Facility Location Problems
1998-09-13
Evolving Morphologies of Simulated 3d Organisms Based on Differential Gene Expression
1997-07-26
Peter Eggenberger
Sequential Regularization Methods For Nonlinear Higher-Index DAEs
1970-01-01
A Finite-State Kernel Architecture for Turkish Natural Language Processing
1998-02-03
Accurate Performance Analysis of Hard Handoff Algorithms
1998-06-18
Towards an Open Architecture for LDL
1996-02-22
Robust Dexterous Manipulation : A Methodology using Visual Servoing
1998-11-10
Optimal Algorithms For Dissemination Of Information In Generalized Communication Modes
1997-11-26
Formal Specification of Object Systems
1999-03-25
Accuracy Evaluation of 3D Reconstruction from CT-Scan Images for Inspection of Industrial Parts
1997-07-23
Partializing Stone Spaces using SFP domains Extended Abstract
1998-10-13
On Refinement and Temporal Annotations
1999-03-11
Recognizing Text Genres with Simple Metrics Using Discriminant Analysis
1994-12-09
Intelligent Image Management in a Distributed PACS and Telemedicine Environment
1997-08-29
Homology for Operator Algebras III: Partial Isometry Homotopy and Triangular Algebras
1998-02-28
S. C. Power
AnÕ2^n Volume Molecular Algorithm for Hamiltonian Path
1998-11-04
Routing Traffic with Quality-of-Service Guarantees in Integrated Services Networks
1998-06-15
Stochastic Modeling of Scaled Parallel Programs
1997-03-14
Corner Detection with Covariance Propagation
1997-08-05
Bootstrapping for Text Learning Tasks
1999-05-10
Implementation details of the coupled QMR algorithm
1995-05-04
The Effect of Motion on Corpus Callosum Development in the Visual Cortex
1999-02-02
Tim Hely
Dia- and Paramagnetism for Nonhomogeneous Magnetic Fields
1997-07-09
Multicast Routing with End-to-End Delay and Delay Variation Constraints
1995-07-14
Directed Crossover within Genetic Programming
1995-08-17
W. B. Langdon
SSML: A Markup Language for Speech Synthesis
1995-09-27
Amy Isard
Figure 1. The ADC Topology
1996-04-22
Pilot Autonomous Secure Network HotSync
1999-02-07
Helen J. Wang
Parallel Computing in Paderborn: The SFB 376 "Massive Parallelism - Algorithms, Design Methods, Applications"
1997-06-06
Evolution of QCD Coupling Constant at Finite Temperature in the Background Field Method
1998-05-13
M. Chaichian
Unknown
1997-03-28
W. Scott Reilly Joseph Bates May 1992
1995-06-16
Realization of Boolean Functions Using Binary Pi-sigma Networks
1995-04-04
Dynamic Robot Planning: Cooperation through Competition
1996-09-25
Types for Trees
1998-02-10
Robust Wiener Filtering Based On Probabilistic Descriptions Of Model Errors
1996-05-09
Mikael Sternad
Logistic Regression Model with Surrogate Covariate
1998-11-27
Knowledge Objects
1996-01-04
Supervised Neural Networks for the Classification of Structures
1997-03-23
Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification
1997-04-08
Unknown
1998-11-25
A-Sufficient Substitutions in Mixed Contexts
1994-04-21
Per Kreuger
Planning Motion Strategies in the Contact Space under Geometric Uncertainty Constraints
1998-04-09
Denotational Semantics Using an Operationally-Based Term Model
1996-10-25
Gregory T. Sullivan
GreenSpace
1996-01-17
Cycle times and magnetic amplitudes in nonlinear 1D
1997-02-03
Interprocessor Collective Communication Library InterCom
1997-10-24
Scalable Parallel Direct Volume Rendering for Nonrectilinear Computational Grids
1994-01-04
Judith Ann Challinger
B Class Project Empirical evaluations of some benchmark Bayesian networks
1999-04-08
A Microkernel Based Operating System for PARAM 9000
1998-05-06
Back to the Future: Towards a Theory of Timed Regular Languages
1997-06-17
Approximating Capacitated Routing And Delivery Problems
1998-03-30
A Knowledge Level Analysis of Belief Revision
1996-09-11
Bernhard Nebel
Standard ML Weak Polymorphism Can Be Sound
1993-11-12
John Greiner
Reasoning with Continuations III: A Complete Calculusof Control
1995-12-08
Combining Qualitative and Quantitative Knowledge to Generate Models of Physical Systems
1995-03-12
Counting Networks
1995-09-18
What is an Object-Oriented Programming Language?
1999-02-05
Axiomatizing Early and Late Input by Variable Elimination
1996-02-09
Arie Van Deursen
A Note on the Marginal Cost Approach in Maintenance
1996-04-16
Reasoning about High-Level Robot Behaviors by Model Checking and Local Validity Tests
1998-09-15
Giacomo Riccardo Rosati
Pac-Learning Recursive Logic Programs: Efficient Algorithms
1995-07-27
William W. Cohen
A Low Power, Low Bandwidth Protocol for Remote Wireless Terminals
1996-02-23
Weighted Distributions Viewed in the Context of Model Selection: A Bayesian Perspective
1996-03-04
On the Minimum Number of Edges Giving Maximum Oriented Chromatic Number
1997-10-10
Theoretical Astrophysics, Los Alamos National Laboratory, Los Alamos, NM 87545
1994-02-09
Change Detection Design For Low False Alarm Rates
1997-05-21
Exploiting Code Mobility in Decentralized and Flexible Network Management
1997-12-27
Fast Interval Branch-And-Bound Methods For Unconstrained Global Optimization With Affine Arithmetic
1997-03-19
Implementing Chimera on Top of an Active Relational Database System
1996-08-12
Nero: A Code For Evaluation Of Nonlinear Resonances In 4d Symplectic Mappings
1998-06-29
E. Todesco
An Exploratory System to Teach English as a Second Language to Deaf Students with ASL Competency
1995-10-17
Kathleen F. Mccoy
Language Definition and Implementation
1998-05-08
Algorithms for Imprecise Probabilities
1997-09-02
Improving Sequencing Algorithms Based on Hopfield Nets by More Efficient Problem Representation
1997-12-02
Compromise Strategies for Constraint Agents
1997-06-06
Dynamic Parameter Encoding for Genetic Algorithms
1994-09-06
A New Tool to Model Parallel Systems and Protocols
1998-06-29
Dealing with Discrepancies in Wrapper Functionality
1997-03-20
Control Mode Switching for Teledrilling Based on a Hybrid System Model
1997-07-09
A True Concurrency Semantics for ET-LOTOS
1998-01-08
Determining the Initial States in Forward-Backward Filtering
1995-09-19
Fredrik Gustafsson
Fast Rendering of Subdivision Surfaces
1996-09-12
Wa Mark Segal sgi
An Explicit Natural Deduction
1998-05-19
Bruno Pagano
Does A Quantum Particle Know The Time?
1997-11-25
Practical Experience in the Dangers of Heterogeneous Computing
1998-01-30
Large Scale Circuit Partitioning With Loose/Stable Net Removal And Signal Flow Based Hierarchical Clustering
1997-02-20
Grouping Wireless Picocells with a Distribution System
1997-08-26
Jost Weinmiller
William D. Young
1997-06-12
William D. Young
Enforceable Quality of Service Guarantees for Bursty Traffic Streams
1998-01-21
Edward W. Knightly
QoS-Adaptation by Software Agents in the Presence of Defective Reservation Mechanisms in the Internet
1999-02-22
Network Based Concurrent Computing on the PVM
1993-01-20
Modeling Cyclicity and Generalized Cost-Based Abduction Using Linear Constraint Satisfaction
1996-02-20
Eugene Santos
Trace-Driven Simulation of Data-Alignment and other Factors affecting Update and Invalidate Based Coherent Memory
1995-11-06
Collaborative Benchmarking Laboratory: Collaborative Multi-Site Benchmarking and Other WorkFlows
1997-03-26
Amit K Khetawat
A Minimax Result for the Kullback Leibler Bayes Risk
1999-03-23
An Agent-Based Computational Model for the Evolution of Trade Networks
1997-09-17
Implementation of a Portable Nested Data-Parallel Language
1996-02-07
Elliptic Approximations to Prescribed Mean Curvature Surfaces in Finsler Geometry
1998-12-21
Representation And Coding Of Images Using Wavelets
1998-12-26
Heuristic Symmetry Reduction for Invariant Verification
1998-08-27
The Event Builder Sources andDestinations in the ATLAS DAQ Prototype - 1
1998-12-11
SchemeXerox
1994-01-07
A Data Model for Object-Oriented Design Metrics
1997-10-01
The Distribution of Reciprocal Pairs Modulo Polynomials over a Finite Field
1997-01-29
Multi-Level Minimal Residual Smoothing: A Family of General Purpose Multigrid Acceleration Techniques
1998-09-01
Jun Zhang
The Robot Localization Problem
1995-08-10
The UNIX Time-Sharing
1996-07-31
An Agent Architecture for On-Line Learning of Procedural and Declarative Knowledge
1997-08-08
Ron Sun
Industrial Development and the Convergence Question
1999-01-07
Cauchy--Szego kernels for Hardy spaces on simple Lie groups
1996-02-07
Fast Key Exchange with Elliptic Curve Systems
1995-04-06
Hilarie Orman
Direct Cooperation Between Region-Based Stereo Matching and Top-Down Segmentation
1995-02-14
An Imperative, First-Order Calculus with Object Extension
1998-03-10
An Object-Oriented Approach to the Formal Specification of ODP Trader
1995-02-06
Reasoning With Taxonomies
1997-09-06
DRAFT February 7, 1997
1970-01-01
Outstanding Issues in the MPIBLACS
1998-12-30
R. Clint Whaley
A Quality Of Service Negotiation Approach With Future Reservations nafur: A Detailed Study
1997-05-02
On the Trellis Structure of Block Codes
1999-02-12
Best Wavelet Packet Bases in a Rate-Distortion Sense
1998-10-23
The Virtual System Model: A Scalable Approach to Organizing Large Systems A Thesis Proposal
1991-12-10
B. Clifford Neuman
On Large Deviations in Load Sharing Networks
1997-05-13
Murat Alanyali
Computational Types from a Logical Perspective I
1996-09-18
Congestion Avoidance and Control
1997-01-08
Minimum Register Requirements for a Modulo Schedule
1997-03-19
Re E. Eichenberger
Enforcing Mandatory and Discretionary Security in Workflow Management Systems
1998-02-01
Backstepping Designs For Nonlinear Way-Point Tracking Of Ships
1997-05-20
On the Convergence of the Usual Perturbative Expansions
1998-12-19
G. M. Cicuta
General
1995-05-10
Topological Optimum Design using Genetic Algorithms
1997-02-05
Change Management Needs Integrated Process and Configuration Management
1997-06-18
Gregor Joeris
An Evolutionary Robot Navigation System using a Gate-Level Evolvable Hardware
1998-07-30
Millipede - A Programming Environment providing Graphical Support for Parallel Programming
1992-11-20
Dialogue Processing in a Conversational Speech Translation System
1997-02-06
Cancelation of ContinuousWave Interferences in Loran-C Receivers using an Adaptive Predictor
1995-07-06
Kjell Helge
Multi-layered Image Compression
1998-07-10
Syntactic Definitions of Undefined: On Defining the Undefined
1995-11-08
Computing Accumulated Delays in Real-time Systems
1997-10-16
Physical Database Design for Data Warehouses
1996-08-28
Bayesian Voting Schemes as Large Margin Classifiers
1999-04-06
Statistical Analysis Of True And Extraneous Mode Estimates For The TLS-Prony Algorithm
1996-09-16
The periodic Melnikov vector, the continuation of periodic orbits and a theorem on the non-integrability of perturbed Hamiltonians of n degrees of freedom
1997-04-26
Efficient Organization of Large Multidimensional Arrays
1995-06-04
Verifying the Performance of the PCI Local Bus using Symbolic Techniques
1996-07-22
Rationale in Planning: Causality, Dependencies, and Decisions
1998-03-11
Symmetric Functions, Formal Group Laws, And Lazard's Theorem
1998-07-08
Cristian Lenart
Energy Consumption Management in Design
1997-12-22
J. Smit
The solution of the epimorphism problem for Hausdorff topological groups
1995-07-24
Vladimir Uspenskii
Efficiency of Prediction Error and Instrumental Variable Methods for Closed-loop Identification
1998-04-01
Events and Individuals in Italian Dynamic Locative Expressions
1996-06-26
Desiderata for an Every Citizen Interface to the National Information Infrastructure: Challenges for NLP
1997-01-17
Johanna D. Moore
A Logical Query Language for an Object-Oriented Data Model
1996-02-01
A Comprehensive DNA Arithmetic Calculator
1997-09-24
Benchmarking Bayesian neural networks for time series forecasting
1997-04-18
Generating Effective Instructions: Knowing When To Stop
1998-06-29
Juliet C. Bourne
Monte Carlo Simulation Of Electromagnetic Scattering From Two-Dimensional Random Rough Surfaces
1997-07-25
The Grasper-CL Graph Management System
1994-11-30
Intensional Set Constraints
1998-02-20
A Hybrid Genetic Algorithm For The Channel Routing Problem
1998-09-04
Alignment of Spanish and English TREC Topic Descriptions
1997-09-23
Douglas W. Oard
Intelligent Control for Haptic Displays
1996-09-11
Compactly Supported Refinable Distributions in Triebel-Lizorkin Spaces and Besov Spaces
1970-01-01
The Bayou Architecture: Support for Data Sharing among Mobile Users
1998-10-01
Performance and Stability of Communication Networks via Robust Exponential Bounds
1995-12-31
Concentrating Subset Sums at k Points
1996-11-06
Jerrold R. Griggs
Development of a Stereoscopic Haptic Acoustic Real-Time Computer SHARC
1998-06-02
Supporting Parallel Applications on Clusters of Workstations: The Intelligent Network Interface Approach
1997-07-31
Word Normalization for On-Line Handwritten Word Recognition
1998-07-18
*FLIP++: a partial constraint satisfaction system for steelmaking scheduling
1997-06-22
Characteristics of Multiplexed Variable Bit Rate Video Sources
1996-04-24
A Model For Rate-Dependent Plasticity
1994-12-04
A Note on Learningfrom Multiple-Instance Examples
1997-10-02
Structured Analysis Approaches for Large Markov Chains - A Tutorial
1998-01-30
Peter Buchholz
Meta Logic Programming for Modelling Message-Passing Parallel Programs
1994-03-26
Kang Zhang
Rewriting poor Design Patterns by good Design Patterns
1997-09-11
Jens Jahnke
A case for merging the ILP and DLP paradigms
1997-12-13
Comparison of Handprinted Digit Classifiers
1993-07-26
Recurrent Cortical Amplification Produces Complex Cell Responses
1999-02-01
Classical Mechanics as Quantum Mechanics with Infinitesimal h
1997-04-26
R. F. Werner
Realizations of Frobenius Functions
1999-04-21
Design of Diversity Antennas for Mobile Telephones
1997-12-15
Fluctuations And Flow For Granular Shearing
1998-01-28
SPLITTING NUMBER is NP-complete Extended Abstract
1998-12-23
Computational Types from a Logical Perspective I
1996-09-18
The Structural Semantics of Inheritance
1995-05-15
Kenneth Baclawski
A New Presentation Language for Structured Documents
1996-06-28
Ethan V. Munson
Combination and Integration of Declarative Approaches Full Paper and System Demonstration
1996-10-08
A Connectionist Model of Reflective Reasoning Using Temporal Properties of Node Firing
1996-04-23
Jacques Sougn
Counting Networks
1994-12-13
Extensible Kernels are Leading OS Research Astray
1998-10-23
Global and Superlinear Convergence of the Smoothing Newton Method and Its Application to General Box Constrained Variational Inequalities
1996-12-12
Bayesian Clinical Trial Design For Categorical Endpoint Models
1995-10-11
Efficient Memory Simulation in SimICS
1996-03-13
Relaxation Labeling Using Lagrange-Hopfield Method
1970-01-01
S. Z. Li
The Statistics of Attractors
1999-03-15
Marcelo Viana
Sides of the Möbius Strip
1995-07-18
Thomas R
Circuit Complexity and the Expressive Power of Generalized First-Order Formulas
1999-01-07
Howard Straubing
FORTH-ICS / TR-094 August 1993
1995-11-06
Planning by Rewriting: Efficiently Generating High-Quality Plans
1997-05-22
Petri Net Models of Metastable Operations in Latch Circuits
1998-12-11
F. Xia
Meta-Programming tools for ML
1970-01-01
Hubble Space Telescope Planning and Scheduling - Experience, Lessons Learned and Future Directions
1995-07-28
Glenn E. Miller
A Neural Network Model of the Cortico-Hippocampal Interplay: Contexts and Generalization.
1970-01-01
How to Present a Paper in Theoretical Computer Science: A Speaker's Guide for Students
1996-11-11
Ian Parberry
Joint Conf. on Knowledge-Based Software Engineering, JCKBSE'96 Sozopol, Bulgaria, September 21-23
1997-07-15
Construction of an Experimentally-Based Neuronal Network Model to Explore the Function of the Inferior Olive Nucleus
1998-10-28
Induction of Selective Bayesian Networks from Data
1996-04-11
Intersection Types and Bounded Polymorphism
1996-08-18
Unification and Anti-Unification in the Calculus of Constructions
1995-05-05
Frank Pfenning
Attractor Dynamics in Feedforward Neural Networks
1998-12-21
Convergence analyses of Galerkin least-squares methods for symmetric advective-diffusive forms of the Stokes and incompressible Navier-Stokes equations
1997-10-17
Thomas J. R. Hughes
On The Initial Singularity Problem In Two-Dimensional Quantum Cosmology
1998-05-13
J. Gamboa
Using Aspect Graphs to Control the Recovery and Tracking of Deformable Models
1997-09-03
Forming Categories in Exploratory Data Analysis and Data Mining
1997-03-10
A Note On Immersed Interface Method For Three Dimensional Elliptic Equations
1970-01-01
Zhilin Li
Communication Pipelining In Hypercubes
1998-05-19
MASQUE/SQL - An Efficient and Portable Natural Language Query Interface for Relational Databases
1994-01-24
Parallel Monte Carlo Simulation of Three-Dimensional Flow over a Flat Plate
1997-12-08
DistView: Support for Building Efficient Collaborative Applications using Replicated Objects
1994-08-11
Solving Small TSPs with Constraints
1998-08-18
Flipped No-scale Supergravity: a Synopsis
1998-05-24
Jorge L. Lopez
Convergence of The Multigrid Method With A Wavelet Coarse Grid Operator
1997-02-10
Clarification of the bases of Declarative Diagnosers for CLP
1970-01-01
Re Tessier
ITEP-PH-1/97 TAC-1997-001 March 5, 1997
1998-05-24
Performance of different multi-rate schemes in DS/CDMA systems
1998-10-09
Types of Monotonic Language Learning and Their Characterization
1995-04-28
Nightly Scheduling of ESO's Very Large Telescope
1997-12-12
Computing the Angularity Tolerance
1997-01-20
Which Metaphor for Which Database?
1970-01-01
The Queue-Read Queue-Write Asynchronous PRAM Model
1997-06-04
A Deterministic Global Optimization Approach for the Protein Folding Problem
1999-03-08
Extensions to Total Variation Denoising
1999-02-11
Dust lanes causing structure in the extended narrow line region of early-type Seyfert galaxies
1999-02-24
Ringraziamenti
1998-03-13
On the Communication Throughput of Buffered Multistage Interconnection Networks
1996-11-04
Intelligent Information Agents: Review and Challenges for Distributed Information Sources
1997-03-14
R. L. Carceroni
1997-08-23
Multiscale Annealing for Real-Time Unsupervised Texture Segmentation
1998-10-15
Efficient Algorithms for Optimal Video Transmission
1996-03-20
MICE: A Flexible Testbed for Intelligent Coordination Experiments
1995-07-13
Systems Level Specification and Modelling of Reactive Systems: Concepts, Methods, and Tools
1997-12-19
Uwe Glasser
A General Computational Scheme for Constraint Logic Programming
1993-06-15
Architectural Abstractions and Language Mechanisms
1996-09-13
Bent Bruun Kristensen
Proof-Carrying Code
1997-09-12
George C. Necula
A Distributed Video-on-Demand System for Video Conferencing
1996-05-31
Semi-Automatic Determination of Allograph Duration and Position in on-Line Handwritten Words Based on the Expected Number of Strokes
1999-04-07
Quantum Theory without
1997-04-26
C. Piron
Solving the Ill-Conditioning in Neural Network Learning
1998-12-11
Compact Routing Methods: A Survey
1996-06-14
Richard B. Tan
CAIS: Collaborative Asynchronous Inspection of Software
1994-10-25
Distributed Mass Storage System
1995-03-10
Textured Image Segmentation Using Localized Receptive Fields
1995-04-04
Determining Cosmological Parameters From Individual Gravitational Lens Systems
1970-01-01
Stochastic Atomic Decompositions in a Wavelet Dictionary
1998-12-15
Neurosolver: A Step Toward a Neuromorphic General Problem Solver
1997-07-21
Andrzej Bieszczad
Now Consider We Create a Subclass of Class Book for Pattern Book...
1997-10-17
A Linear Logical Framework
1996-04-26
Knowledge Retrieval and the Word Wide Web
1999-02-27
Peter Eklund
Application Challenges to Computational Geometry
1996-04-23
The FERET Verification Testing Protocol for Face Recognition Algorithms
1999-03-20
Discrete Simulation of Uniform Transmission Lines by Multidimensional Digital Filters
1996-03-25
Approximating the Number of Monomer-Dimer Coverings of a Lattice
1998-03-19
The Distribution Models Of Thermal And Non-Thermal Radio Continuum Emission In The Galactic Disk
1997-03-03
Exact Monodromy Group of N=2 Heterotic Superstring
1998-05-13
A Route Advice Agent that Models Driver Preferences
1999-01-28
Anytime Belief Revision
1997-10-01
Mary-anne Williams
Matthew T. Mason Dinesh K. Pai Daniela Rus Lee R. Taylor Michael A. Erdmann
1999-02-27
Model Elimination, Logic Programming and Computing Answers
1995-01-04
Reverse Engineering by Visualizing and Querying
1996-08-23
Model-Based Diagnosis of Hardware Designs
1998-06-03
Spot-Checkers
1998-10-15
An Automata-Theoretic Approach to Presburger Arithmetic Constraints Extended Abstract
1999-03-05
Defining Flow Sensitivity in Data Flow Problems
1995-07-26
Using Prior Knowledge in an NNPDA to Learn Context-Free Languages
1993-10-06
A Higher Order Reconstruction of Stepwise Enhancement
1997-10-16
Guiding Distributed Manipulation with Mobile Sensors
1970-01-01
Genetic plasticity of V genes under somatic hypermutation: Statistical analyses using a new resampling-based methodology.
1999-02-15
The Pulsed Hard X-Ray Spectrum Of Psr
1997-10-08
"Quick" Implementation of Block LU Algorithms on the CM-200.
1996-06-18
Claus Bendtsen
Accelerating Ground-Test Cycle Time; The Six-Minute Model Change And Other Visions For The 21st Century
1998-02-25
Jerome T. Kegelman
Pruning Methods for Rule Learning Algorithms
1994-09-20
Johannes Furnkranz
Replication For Efficiency And Fault Tolerance In A Dsm System
1998-04-03
Anne-marie Kermarrec
How To Use Kyst
1995-05-22
Gated SSA-Based Demand-Driven Symbolic Analysis for Parallelizing Compilers
1995-08-18
Global Memory Management for Workstation Networks
1997-02-12
Michael Joseph Feeley
The GCHQ Protocol and its Problems
1997-02-28
INDY User's Manual v1.8
1998-11-28
Advanced Program Restructuring for High-Performance Computers with Polaris
1996-03-29
Asymptotic Results for Multiplexing Subexponential On-Off Processes
1998-06-26
Multi-Contributor Causal Structures for Planning: A Formalization and Evaluation
1997-10-22
Subbarao Kambhampati
Consensus and Control in Wide-Area Group Communication
1993-12-07
Bala Rajagopalan
On the Problem of Trust in Mobile Agent Systems
1997-12-11
The NILE Data Model
1995-09-22
Michael Ogg
On Internet Cartography
1995-06-11
Learning One More Thing
1998-09-29
Programming and Control of Robots by means of Differential Algebraic Inequalities
1998-11-23
Users Manual
1995-05-05
Latent and Manifest Monotonicity in Item Response Models
1997-08-11
Statistical Identification of Language
1995-12-22
Ted Dunning
Justin A. Boyan
1998-12-17
Justin A. Boyan
Computing Iceberg Queries Efficiently
1998-08-10
Constrained Interval Arithmetic
1999-02-18
Weldon A. Lodwick
An efficient CG method for layered problems with large contrasts in the coefficients
1998-03-29
Toward The Homotopy Groups Of The Higher Real K-Theory
1996-08-19
Vassily Gorbounov
Failure Detectors in Omission Failure Environments
1997-03-28
Live WWW and its Agents: the CAS-LWWW Project
1998-06-16
On the Comparison Cost of Partial Orders
1992-10-29
A Serial Implementation of Cuppen's Divide and Conquer Algorithm for the Symmetric Eigenvalue Problem
1995-01-12
Symbolic Tools for a Concrete Problem of Mechanic
1992-12-17
B. Mourrain
Some Thermodynamic Aspects of Black Holes and Singularities
1998-05-25
C. O. Lousto
A Human Centered Perspective for Mobile Information Sharing and Delivery
1998-09-25
Duality Symmetries and Noncommutative Geometry of String Spacetimes
1997-07-24
Inference Algorithm Performance And Selection Under Constrained Resources
1997-03-13
A Performance Evaluation of Parallel Information Retrieval on Symmetrical Multiprocessors
1997-07-14
Optimal Compilation of HPF Remappings Extended Abstracts
1995-10-23
Critical Technology, pp. 577-584 Printed in Korea, all rights reserved. ISBN-882345-04-5, $ 10.00+00 Copyright c
1997-12-03
Optimal Composition of Real-Time Systems
1995-08-03
Rules and Representations: Chomsky and Representational Realism
1996-03-20
Zenon Pylyshyn
WebinTool: A Generic Web to Database Interface Building Tool
1996-11-15
Structural Cell-based VLSI Circuit Design using a Genetic Algorithm
1996-08-09
Constructing Deterministic Finite-State Automata in Recurrent Neural Networks
1998-08-11
ML experiments with an accuracy-efficiency trade off in unsupervised attribute prediction
1996-11-04
Michael Mcewen
Asymptotical Convergence Rates of Simple Evolutionary Algorithms under Factorizing Mutation Distributions
1997-10-10
Gunter Rudolph
On the Combination of Partial Action Descriptions
1998-10-11
Next Generation GRAPE systems
1995-11-24
Multi-node READ TRANSPOSE z x y z y x Slowness Slices Multi-node READ 1-D FFT t ->f TRANSPOSE t x y f y x Frequency Slices
1997-07-18
A Logical Alternative To The Existing Positional Number System
1996-02-20
Robert R. Forslund
Transactions in the Client-Server EOS Object Store
1996-08-16
Software Tools for Automating the Migration from DCE to CORBA
1997-02-20
Sequence Learning with Recurrent Networks: Analysis of Internal Representations
1995-04-04
Comments about Higgs Fields, Noncommutative Geometry and the Standard Model
1970-01-01
The Correlation Based Learning Model
1997-03-20
Critiquing the Tileworld: Agent Architectures, Planning Benchmarks, and Experimental Methodology
1991-09-16
MR imaging with a reduced number of encoding steps
1997-02-01
Organizational Learning Within A Learning Classifier System
1995-06-13
Jason R. Wilcox
SHADOWS - A Flexible Support System for Objects in Distributed Systems
1995-03-10
With Microscope and Tweezers: An Analysis of the Internet Virus of November 1988
1991-02-04
Tree Adjoining Grammars in Noncommutative Linear Logic Extended Abstract
1998-04-16
Principal Prolongations And Geometries Modeled On Homogeneous Spaces
1997-02-04
The Stone Gamut: A Coordinatization of Mathematics
1997-05-19
Vaughan R. Pratt
Bounds on Optical Bandwidth Allocation on Directed Fiber Tree Topologies
1997-12-30
Improved Resource-Bounded Borel-Cantelli and Stochasticity Theorems
1995-02-17
A Flexible Motif Search Technique Based on Generalized Profiles
1996-07-15
Null sets and essentially smooth Lipschitz functions
1997-01-21
MONTAGE: An FPGA for Synchronous and Asynchronous Circuits
1994-12-06
Wavelet-based Texture Analysis
1997-06-19
Stephen Soderland
1997-03-30
Learning Rules that Classify E-Mail
1996-11-25
William W. Cohen
FEC-based Loss Recovery for Interactive Video Transmission -- Experimental Study
1998-12-11
Multi-Resolution Texture Segmentation and Autoregressive Synthesis for Wavelet-Based Image Coding
1999-03-02
RoI-based Multiresolution Compression of Heart MR Images
1998-02-12
Building Your Own Wavelets at Home
1997-12-19
The metal line systems in HS1700+6416: Evidence for inhomogeneities
1998-05-25
AutomaticSelection of Split Criterion during Tree Growing Based on Node Location
1995-08-02
Carla E. Brodley
A Degree Estimate for Polynomial Subdivision Surfaces of Higher Regularity
1994-11-28
Ulrich Reif
Supplementary Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics: TPHOLs'96
1996-08-09
Approximate Checking of Polynomials and Functional Equations
1998-05-05
Uniform Quantifier Elimination and Constraint Query Processing
1997-11-23
Saugata Basu
Inducing Concatenative Units from Machine Readable Dictionaries and Corpora for Speech Synthesis
1995-11-12
CHORUS/MiX, a Distributed UNIX, on Multicomputers
1993-01-13
Safe polymorphic type inference for a Dynamically Typed Language: Translating Scheme to ML
1998-07-24
Numerical Methods for Neuronal Modeling
1997-02-20
Stainless Super
1999-03-09
Distributed Laboratories: A Research Proposal
1996-06-22
A Method For Improving Automatic Word Categorization
1997-05-28
Inference in Successive Sampling Discovery Models
1994-07-15
Mike West
NAS Parallel Benchmarks Results 3-95
1995-07-14
Some Non-Traditional Approaches to Information Retrieval
1998-02-19
Christian Plaunt
The Independence Number of Graphs With Large Odd Girth
1997-12-26
Tristan Denley
Proxy-Based Authorization and Accounting for Distributed Systems
1995-11-16
B. Clifford Neuman
Functional Programming and Linear Logic
1999-02-04
Yves Lafont
An Extensible Framework for Spatio-Temporal Database Applications
1998-04-23
Steering Programs via Time Travel
1997-05-08
Convergence Analysis for a Parallel Radiosity Algorithm using Virtual Interfaces
1998-09-27
David Figuls
Securing ATM Networks
1995-11-06
Shaw-cheng Chuang
.1 Appendix
1970-01-01
Are Tableaux an Improvement on Truth-Tables? Cut-Free proofs and Bivalence
1997-12-03
Real-time 3-D Pose Estimation Using a High-Speed Range Sensor
1998-11-24
Maximum Likelihood Estimation of Mixture Densities for Binned and Truncated Multivariate Data
1999-03-31
Universal Classical Planner: An algorithm for unifying State-space and Plan-space planning
1995-09-01
TREC-7 Ad-Hoc, High Precision and Filtering Experiments using PIRCS
1999-02-07
Solving Large Sparse Linear Systems Over Finite Fields
1998-05-12
WebOS: Software Support for Scalable Web Services
1997-02-06
Verification of Knowledge Bases based on Containment Checking
1996-06-19
Instruction Selection for Embedded DSPs with Complex Instructions
1998-06-17
Extraction of Finite State Machines from Transistor Netlists by Symbolic Simulation
1997-02-06
Facing Up to the Problem of Consciousness
1998-07-26
David J. Chalmers
Calling Hell From Heaven and Heaven From Hell
1999-03-11
The Implementation and Performance of Compressed Databases
1998-01-28
Applying the Process Interchange Format PIF to a Supply Chain Process Interoperability Scenario
1998-05-28
A Framework for Systematic Synthesis of Transactional Middleware
1998-07-10
Proposition de Quelques Ameliorations de la Version Actuelle de SPAD.S
1997-07-24
Modeling and Predicting Sunspot Activity - State Space Reconstruction + Artificial Neural Network Methods
1998-02-02
Thierry Hamon
1998-07-30
Thierry Hamon
Note on Optimal Gossiping in some Weak-Connected Graphs
1994-12-09
Connectionist Theory Refinement: Genetically Searching the Space of Network Topologies
1997-05-23
Universal Teichm Uller Space And Fourier Series
1995-09-13
Mining Web Access Logs Using Relational Competitive Fuzzy Clustering
1999-02-25
Aggregating Linguistic Preferences: Properties Of Lowa Operator
1997-01-28
Measurement and Modeling of EARTH-MANNA Multithreaded Architecture
1995-11-17
Generically Sufficient Conditions For Exact Multichannel Blind Image Restoration
1998-05-27
The Future And Applications Of Genetic Algorithms
1997-11-07
Marcus Randall
Modal Deduction in Second-Order Logic and Set Theory - II
1996-08-19
A Dependency-based Approach to Bounded Unbounded Movement
1997-07-23
Grobner Bases and Integer Programming
1998-01-14
Constructive Feedforward Neural Networks for Regression Problems: A Survey
1995-09-11
Can homogenous SSC models explain VHE gamma-ray production in Mrk 421?
1997-07-23
W. Bednarek
Patient Confidentiality --- At Risk from NHS Wide Networking
1995-08-26
Methodologies for the Creation of Interactive Software
1996-05-03
Judy Brown
Synthetic Robot Language Development
1997-07-10
Holly A. Yanco
A Bifurcation Approach To The Exact Multiplicity Of Positive Solutions Of ... On The Unit Ball
1998-08-31
Test of the Periodic Orbit Approximation in n-Disk Systems
1995-10-27
Declaration
1996-04-20
Ilupreconditioner Sparselib++ Ilupreconditioner
A Computational Model of Knowledge-Intensive Learning and Problem Solving
1995-08-17
Agnar Aamodt
Language-Based Parallel Program Interaction: The Breezy Approach
1995-08-03
On Syntactic versus Computational Views of Approximability
1997-02-02
Workload characteristics for Process Migration and Load Balancing
1997-12-23
Cut-Through Delivery in Trapeze: An Exercise in Low-Latency Messaging
1997-06-03
Washington
1995-07-25
Cyclic Motion Detection
1999-01-14
Semantics-based Reverse Engineering
1995-12-07
An Efficient Inner Product-free Parallel Algorithm for Restoring Images Degraded by Spatially-Variant Blur
1997-02-24
Tianruo Yang
Methodology Modelling: Combining Software Processes with Software Products
1995-01-04
Asymptotic Results on Infinite Tandem Queueing Networks
1999-04-14
Optimizing Variance Flooring in HMM-Based Speaker Verification
1998-04-14
Constraint Satisfaction: The Approximability of Minimization Problems
1997-02-02
Classification on Pairwise Proximity Data
1998-07-23
Empirical Measurements of Six Allocation-intensive C Programs
1992-08-04
A Protocol For Efficient Transfer Of Data Over Fiber/Cable Systems
1995-08-16
On the Integration of Network Management to the Distributed SIS Platform using Agent/Manager Modeling
1998-09-24
An Approach to the Verification of the Center-TRACON Automation System
1998-02-04
Constraint-Directed Improvisation for Complex Domains
1995-10-23
Implementing MPI with Optimized Algorithms for Metacomputing
1999-02-03
On the Security of Two MAC Algorithms
1996-08-12
Minimax Bayes, asymptotic minimax and sparse wavelet priors
1994-07-21
Iain M. Johnstone
Using Output Codes to Boost Multiclass Learning Problems
1997-04-16
Robert E. Schapire
Molecular Propagation through Small Avoided Crossings of Electron Energy Levels
1997-04-26
Talking About 3d Scenes: Integration Of Image And Speech Understanding In A Hybrid Distributed System
1998-11-18
A Hybrid Multilevel/Genetic Approach for Circuit Partitioning
1996-01-24
Gamma--Ray Bursts and Their Sources
1997-10-07
Tadeusz Chmaj
Rho-Meson Mass in Light Nuclei
1998-05-24
IRAS 23385+6053: A Prototype Massive Class 0 Object
1998-07-24
An Efficient Bitmap Encoding Scheme for Selection Queries
1999-03-16
Multimedia Indexing And Retrieval Research at the Center for Intelligent Information Retrieval
1997-08-11
R. Manmatha
A Family of Attacks upon Authentication Protocols
1997-12-01
Gavin Lowe
1993-04-27
1993-04-27
Justin A. Boyan
The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes
1995-05-17
Conservative symbolic model-checking of Petri nets for speed-independent circuit verification
1994-12-13
Moderate Deviations For Degenerate U-Processes
1999-04-21
Peter Eichelsbacher
Towards a Formalization of the Unified Modeling Language
1997-09-29
Generalizable Patterns in Neuroimaging: How Many Principal Components?
1998-06-12
Correct Transformation of Rewrite Systems for Implementation Purposes
1997-05-22
Classification of the Effects of F-actin Under Treatment of drugs in Endothelial Cells
1997-11-13
Motion-Compensating Long-Term Memory Prediction
1997-08-13
Repository Mirroring
1994-02-01
Eric Grosse
A Scalable Data Structure for A Parallel Data Server
1998-12-10
Jonas S Karlsson
String Propagation in a Black Hole Geometry
1997-03-18
On the possible failure of the Gibbs property for measures on lattice systems
1997-04-26
Aernout C. D. Van Enter
Springbok: A Rapid-Prototyping System for BoardLevel Designs
1995-12-21
A Framework for Interacting with Distributed Programs and Data
1970-01-01
Alignment and distribution is NOT always NP-hard
1998-08-24
Stabilizing Competitive Learning during On-line Training with an Anti-Hebbian Weight Modulation
1999-03-11
An Animation System for Validating Object-Oriented Conceptual Models
1997-05-07
Antonio Grau
The Break Quantity Rule in a 1--Warehouse,
1996-08-28
AConfigurable Protocol Architecture for CORBAEnvironments
1996-11-12
A Network Interface Unit Tosupport Continuous Media
1996-02-09
Versatility for Unknown Worlds: Mobile Sensors and Self-reconfiguring Robots
1998-03-12
"Where are you driving to?" - Heading Direction for a Mobile Robot from Optical Flow
1998-06-30
A Formalization of the Process Algebra CCS in Higher Order Logic
1993-01-25
Monica Nesi
Comparing Software and Hardware Schemes For Reducing the Cost of Branches
1995-12-06
A Derivation Formula for Convex Integral Functionals Defined on
1970-01-01
Relational Transducers for Electronic Commerce
1998-03-06
Synchronization Protocols in Distributed Real-Time Systems
1996-07-02
MPI's Reduction Operations in Clustered Wide Area Systems
1998-12-08
A Stereotactic/Robotic System for Pedicle Screw Placement
1996-12-24
Non-axisymmetric Evolution of Dynamically Contracting Disks and Formation of Binary Stars
1998-07-24
On-line Learning of Rectangles and Unions of Rectangles
1997-07-04
Cauchy--Szego kernels for Hardy spaces on simple Lie groups
1996-02-06
A Collision-Free Mac Protocol For Optical Star Lans
1999-04-08
Measuring Infinite Relations
1995-03-14
Proximal Smoothness and the
1995-10-26
Users' Guide for the Unsymmetric-pattern MultiFrontal Package UMFPACK
1993-06-17
Unknown
1997-08-02
Determining the Iteration Bounds of Single-Rate and Multi-Rate Data-Flow Graphs
1995-11-20
On the Power of Simple Diagrams
1996-08-15
HCI Aspects of a Framework for the Qualitative Representation of Space
1994-06-09
Some Topics in Neural Networks and Control
1996-03-10
Eduardo D. Sontag
High Quality Document Image Compression with DjVu
1998-10-27
Automatic Assembly of Irregular Fragments
1998-04-08
Using Agent Based Simulations for Training
1995-05-14
R. J. Williams
Principal Subspace Analysis For Incomplete Image Data In One Learning Epoch
1998-07-28
Andrzej Cichocki
Efficient Organization of Large Multidimensional Arrays
1998-04-21
The Acquisition of Lexical Semantics for Spatial Terms: A Connectionist Model of Perceptual Categorization
1998-02-16
Terry Regier
RX J131058.8+323335: soft X-ray variability of a highly variable optical and radio Active Galactic Nucleus
1998-07-06
F. J. Carrera
A Strategic Negotiations Model with Applications to an International Crisis
1996-08-18
Preconditioning of Improved and "Perfect" Fermion Actions
1998-10-02
Barney Pell
1998-02-10
Robust Detection of Degenerate Configurations for the Fundamental Matrix
1998-04-15
H1 Collaboration
1998-07-18
H Collaboration
Cryptanalysis of the Ajtai-Dwork Cryptosystem
1998-09-10
Real-Time Pose Estimation of 3-D Objects from Camera Images Using Neural Networks
1997-03-19
Growth Rates Of Sample Covariances Of Stationary Symmetric
1999-02-18
MANOVAMAP: Graphical Representation of MANOVA in Marketing Research
1997-11-12
Thomas P. Novak
Soundtracks for Computer Animation : Sound Rendering in Dynamic Environments with Occlusions
1997-03-26
Circulant Preconditioners for Ill-Conditioned Boundary Integral Equations from Potential Equations
1996-06-26
The Analysis Of Foreign Exchange Data Using Waveform Dictionaries
1995-05-17
Forecasting The Levels Of Vector Autoregressive Log-Transformed Time Series
1996-12-09
Software Tools For The Development Of Image Processing Applications On High Performance Computers
1999-02-03
Robustness of Nonlinear Systems Subject to Time-Varying Perturbations
1997-08-16
Labelled Quantified Modal Logics
1997-09-10
Transverse Multibunch Head-Tail Mode Growth Rates in the PEP-II B-Factory
1996-11-27
J. Scott Berg
Exact results for the Kardar-Parisi-Zhang equation with spatially correlated noise
1998-07-29
The Kansas Event Data System: A Beginner's Guide with an Application to the Study of Media Fatigue in the Palestinian
1996-08-27
A Memory Module Specification using Composable High-level Petri Nets
1997-02-14
Eike Best
Path Integrals and Parastatistics
1998-05-25
Alexios P. Polychronakos
An Approach to Optimal Peering Between Autonomous Systems in the Internet
1998-08-30
P_c-Matrices and the Linear Complementarity Problem
1970-01-01
Optimal Kronecker Product Approximation of Block Toeplitz Matrices
1970-01-01
Cut Elimination for Classical Proofs as Continuation Passing Style Computation
1998-09-11
Ichiro Ogata
Unknown
1997-03-28
Web Technologies for Collaborative Visualization and Simulation
1997-02-17
EOI for a Dedicated Hadron Collider B Experiment at FNAL
1995-08-14
Some Open Issues and New Directions in Group Signatures
1999-01-12
Gene Tsudik
Vectorizing Face Images by Interleaving Shape and Texture Computations
1995-10-17
David Beymer
A Simple Robust Robotic Vision System using Kohonen Feature Mapping
1997-02-21
Synthesis of Proof Procedures for Default Reasoning
1997-02-27
Robert A. Kowalski
Studying the Role of Embodiment in Cognition
1997-08-05
Maja J Matari'c
Prosodic Processing and its Use in Verbmobil
1997-08-14
Detecting Regular Structures for Invariant Retrieval
1999-02-15
Dmitry Chetverikov
Wavelets and Natural Image Statistics
1997-08-13
Increasing Communication Performance with a Minimal-Copy Data Path Supporting ILP and ALF
1996-08-22
Naval Postgraduate Schoolcenter For Infosec Studies And Research: Teaching The Science Of Computer Security U
1999-03-09
Cynthia E. Irvine
The Compactness of Interval Routing for Almost All Graphs
1998-07-15
Cyril Gavoille
A Parallel Algorithm for Computing Minimum Spanning Trees
1994-12-19
A Hybrid System Consisting Of Two Flexible Beams Connected By A Point Mass: Spectral Analysis And Well-Posedness In Asymmetric Spaces
1997-05-08
Carlos Castro
Portable Distributed Priority Queues with MPI
1996-03-06
Authorship Analysis: Identifying The Author of a Program
1994-06-11
Ivan Krsul
The Variance Gamma Process and Option Pricing.
1998-11-23
The Transactional Object Cache as a Basis for Persistent Java System Construction
1999-03-30
Component Interaction in Distributed Systems
1998-03-03
Debugging of Globally Optimized Programs Using Data Flow Analysis
1995-01-03
Roland Wismuller
Ridge Functions and Orthonormal Ridgelets
1999-01-10
David L. Donoho
Facial Features Segmentation by Model-Based Snakes
1995-07-05
Petia Radeva
Quantum Field Theory on the Connection Machine
1995-03-09
Visualising Complex Interacting Systems
1996-02-28
PRAM Models and Fundamental Parallel Algorithmic Techniques: Part II Randomized Algorithms
1998-10-26
Paul G. Spirakis
What Do You Get From a
1994-04-06
A Robust Technique for Matching Two Uncalibrated Images Through the Recovery of the Unknown Epipolar Geometry
1998-02-24
Vector Subdivision Schemes and Multiple Wavelets
1997-07-14
The LIMSI Nov93 WSJ System
1994-06-01
A Mixed Nodal-Mesh Formulation for Efficient Extraction and Passive Reduced-Order Modeling of 3D Interconnects
1998-03-24
A Case for Caching File Objects Inside Internetworks
1996-02-19
Simulation-Assisted Learning by Competition: Effects of Noise Differences Between Training Model and Target Environment +
1993-07-01
How Many Zeros of a Random Polynomial are Real?
1999-02-03
Searching the World-Wide Web Using Signature Files
1995-08-15
Modelling Hypermedia Retrieval in Datalog
1995-02-13
Norbert Fuhr
RACE Project 2116 TOMQAT
1995-09-12
Learning with ensembles: How over-fitting can be useful
1995-12-19
Example Based Image Analysis and Synthesis
1995-10-29
Experiments in Spoken Document Retrieval at CMU
1998-01-09
Covariance-Based Weighting for Optimal Combination of Model Predictions
1999-05-04
A Performance Measure For Intelligent Machines Based On Complexity And Reliability
1998-11-03
P. Lima
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge-Bases
1997-12-23
Voice Holding Time Distribution In Trunked PAMR Systems
1998-11-19
Carlangelo Liverani
1997-04-28
Incremental Analysis of Logic Programs
1995-12-18
SCORE: An Efficient Technique to reduce Congestion in Parallel Systems
1997-08-26
Verification of the Futurebus+ Cache Coherence Protocol
1996-09-16
Multiparameter QoS admission control for ATM queues with Partial Buffer Sharing Mechanism
1996-04-14
Samuel T. Chanson
A Trainable, Single-Pass Algorithm for Column Segmentation
1996-09-21
Disjunctive LP + Integrity Constraints = Stable Model Semantics
1999-02-03
Proximity Problems on Moving Points
1998-05-25
Compiler Assisted Distributed Memory Parallelization of an Iterative Solver for Irregular Sparse Linear Systems
1993-11-05
On the Translation of Higher-Order Problems into First-Order Logic
1995-04-24
Manfred Kerber
Multiprocessor Streams for Plan 9
1995-12-16
David Leo Presotto
Data Link Provider Interface Specification
1995-08-20
Waterview Boulevard
What You See Is What You Test: A Methodology for Testing Form-Based Visual Programs
1999-01-04
A Correspondence for the Generalized Hecke Algebra of the Metaplectic Cover
1998-10-21
Investigation of Periodic Time Series using Neural Networks and Adaptive Error Thresholds
1996-12-09
The Trade-Off Between Regularity And Stabilization In Tikhonov Regularization
1970-01-01
Centre For Mathematics
First atmospheric compensation with a linearised high order adaptive mirror -- ELECTRA
1998-11-19
Parallel unstructured mesh CFD codes: a role for recursive clustering techniques in mesh decomposition
1996-03-06
Specification-based Testing of Reactive Software: Tools and Experiments
1997-02-25
Automated Stream-Based Analysis of Fault-Tolerance
1998-06-08
An Expert Assistant for Hardware Systems Specification
1997-02-12
Light Scattering Simulations with a Massively Parallel Computer at the IC
1994-11-15
Answering Historical Queries in Databases using Relevance
1996-11-07
Joseph Bates A. Bryan Loyall W. Scott Reilly May 1992
1995-06-16
Open and Reconfigurable Hypermedia Systems: A Filter-Based Model
1993-10-19
Rob Wilkins
"Why are there so few biologists here?"
1997-06-04
Lars Risan
On the Complexity of Learning on Neural Nets
1997-07-04
Wolfgang Maass
CMU Report on TDT-2: Segmentation, Detection and Tracking
1999-04-12
Constructive bounds for a Ramsey-type problem
1997-04-10
Liouvillian Solutions of Linear Differential Equations of Order Three and Higher
1998-02-06
Statistics for Computer Science and AI: References and Bibliography
1995-08-08
Design Knowledge Acquisition: Task Analysis and a Partial Implementation
1995-02-14
Yoram Reich
Supporting the Evaluation and Selection of CASE Tools
1997-09-22
Towards a Necessary and Sufficient Condition for Wait-free Synchronization Extended Abstract
1995-12-11
Recurrence Relations In The Table Of Vector Orthogonal Polynomials
1970-01-01
J. Van Iseghem
A Parallel Algorithm and Architecture for the Control of Kinematically Redundant Manipulators
1995-08-28
Tidal Shocking by Extended Mass Distributions
1998-01-19
Mb+-Tree: A New Index Structure For Multimedia Databases
1996-10-10
Future Directions for Human-Computer Interaction
1998-09-05
Ben Shneiderman
A Gray Code for the Ideals of a Forest Poset
1997-01-13
Locality-Aware Request Distribution in Cluster-based Network Servers
1998-11-13
High redshift CSS radio galaxies
1997-10-09
Algernon - A Tractable System for Knowledge-Representation
1996-08-21
The Power of Vacillation in Language Learning
1996-07-23
Local Analyticity And Bounds On The Truncated Correlation Functions In Disordered Systems
1997-04-26
A VLSI Communication Architecture For Stochastically Pulse-Encoded Analog Signals
1996-02-27
Two-Way Induction
1997-07-18
Pedro Domingos
A Parallel DSP System for Real-time Disparity and Optical Flow Using Phase Difference
1998-10-01
Reconfigurable architectures for machine perception. An approach for autonomous vehicle navigation
1998-05-07
Riemannian Manifolds Without Conjugate Points: A Lecture On A Theorem Of Hopf And Green
1998-06-15
Ralph Howard
An Alternative Markov Property for Chain Graphs
1999-04-25
A Link Between Virtual And Physical Prototyping
1999-01-14
Numerical Evidence for a Conjecture in Real Algebraic Geometry
1998-12-03
Threshold Traitor Tracing
1998-09-11
Moni Naor
Georgi Popov
1997-04-26
The iPOINT Testbed for Optoelectronic ATM Networking
1992-11-19
Designing a Videoconference System for Active Networks
1998-07-24
Single--Source Unsplittable Flow
1996-08-09
Jon M. Kleinberg
Monte Carlo Simulation Of Particle Transport In Braided Magnetic Fields
1998-03-24
Downdating a Rank-Revealing URV Decomposition
1996-11-06
Yuan-jye Jason Wu
Programmable Active Memories: the Coming of Age
1994-08-10
The Ccd Photometric Observations Of Comet C/1995 O1 hale-Bopp
1997-03-03
Beta Testing the Intel Paragon MP
1995-06-09
Thomas H. Dunigan
Is Marker Based Encoding of Genetic Algorithms an Effective Technique for Neural Network Generation?
1995-11-01
Tom Walker
Implicit and Iterative Methods for the Boltzmann Equation
1997-08-13
A. V. Bobylev
Belief Revision through the Belief Function Formalism in a Multi-Agent Environment
1997-02-04
Dynamic Pointer Alignment: Tiling and Communication Optimizations for Parallel Pointer-based Computations
1997-03-27
Deterministic Generalized Automata
1996-10-03
Concurrency Control in Distributed Object-Oriented Database Systems
1997-10-04
Towards Predictable Transaction Executions in Real-Time Database Systems
1998-11-24
Making Commitments in the Face of Uncertainty: How to Pick a Winner Almost Every Time Extended Abstract
1996-06-26
Registering, PSF-Matching and Intensity-Matching Images in IRAF
1995-06-13
A. C. Phillips
Efficient Input and Output for Scientific Simulations
1999-02-06
Capturing Information on Behaviour with the RADD-NLI: A Linguistic and Knowledge Based Approach
1996-06-06
The Design of a Simulation System for Persistent Object Storage Management
1993-03-20
Lower Bounds on Communication Loads and Optimal Placements in Torus Networks
1998-04-27
Approximate Trajectory Generation for Differentially Flat Systems with Zero Dynamics
1995-12-19
Information-theoretic Limitations Of Formal Systems
1998-07-21
Gregory J. Chaitin
Adding Hyperlinks to Digital Television
1998-10-19
Parameter Estimation for Stochastic Evolution Equations with Non-commuting Operators
1997-09-03
Some Properties of an Upper Bound forµ
1996-01-25
Idempotent and BCH bound
1996-03-07
Ray-based Data Level Comparisons of Direct Volume Rendering Algorithms
1997-07-18
The Role of Topographical Constraints in Face Recognition
1998-12-15
Laurenz Wiskott
Constructing Invariant Measures from Data
1997-10-30
Evidence for Invariants in Local Search
1997-04-03
The Thin Plate as a Regularizer in Bayesian SPECT Reconstruction
1970-01-01
Soo-jin Lee
SAGE Agent for the SATELIT Web-based system
1997-09-16
End-to-End Performance in ATM Networks
1995-07-04
A Pragmatic Approach To Formal Specification
1996-07-04
Maritta Heisel
Proof of the Refined Alternating Sign Matrix Conjecture
1996-04-13
Doron Zeilberger
Berkeley, CA 94720 email:
1997-11-03
Analysis of Buffer Replacement Policies for WWW Proxy
1997-10-24
Continuous Data Management on Tape-Based Tertiary Storage Systems
1998-06-01
Vision-Motion Planning of a Mobile Robot considering Vision Uncertainty and Planning Cost
1997-09-18
Metastable Internal Layer Dynamics For The Viscous Cahn-Hilliard Equation
1996-02-18
Effect of Assumptions concerning Assay Error Patterns upon Pharmacokinetic Parameter Values and Model Behavior
1995-04-20
Roger W. Jelliffe
A Comparison of Head Transducers and Transfer for a Limited Domain Translation Application
1997-04-16
Matched-Filter Bank Interpretation of Some Spectral Estimators
1998-10-15
Efficient Storage for Synchronized Digital Audio and Video
1995-05-06
Arquitecturas Rob'oticas
1998-10-27
Concept and Architecture of a Distributed Object-Oriented Database Kernel
1999-03-19
On The Geometry Of Lie Algebras And Poisson Tensors
1998-05-12
G Numerics
1998-06-30
Communication in GLOBE: An Object-Based Worldwide Operating System
1996-09-19
Automatically-Extracted Thesauri for Cross-Language IR: When Better is Worse
1998-06-10
Ralf D. Brown
Hashed and Hierarchical Timing Wheels: Efficient Data Structures for Implementing a Timer Facility
1996-11-19
A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus
1998-07-20
Dynamic Management Of Heterogenous Resources
1998-02-24
Bounds On The Performance Of Admission Control and Routing Policies For General Topology Networks With Multiple Call Classes
1998-10-26
Holger Wache
1997-07-28
Arrangements and Their Applications
1998-06-01
Stability of Voronoi Neighborship under Perturbations of the Sites Frank Weller
1997-06-04
Frank Weller
On the equations z^m = Fx,y and Ax^p + By^q = Cz^r
1995-09-05
Mathematical Programming Algorithms for Regression-Based Nonlinear Filtering in R^N
1997-07-08
A Redefinition of Least Generalizations and its Application to Inductive LogicProgram Synthesis
1997-10-15
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic
1997-01-25
Improving Latency in an Interactive Video Server
1997-01-23
A. L. Narasimha Reddy
Adaptive Cache Invalidation Methods in Mobile Environments
1997-05-26
IBM Research Report
1998-01-09
What's in a Word Graph Evaluation and Enhancement of Word Lattices
1997-11-25
Computer-Assisted Hybrid Reasoning in Simulation and Analysis of Physical Systems
1996-02-15
Massive Quark Production in Electron Positron Annihilation to Order
1997-11-17
Measuring Software Dependability by Robustness Benchmarking
1997-06-16
Excluding Symmetries in Concurrent Constraint Programming
1998-10-13
Sequential Bifurcation And Dynamic Rearrangement Of Columnar Patterns During Cortical Development
1995-11-28
Architecturing and Configuring Distributed Application with Olan
1998-10-01
Verb-phrase Ellipsis in Dynamic Semantics
1995-06-14
Queueing Delays in Rate Controlled Networks
1998-02-16
Reducing Web Latencies Using Precomputed Hints
1998-02-12
Girish P. Chandranmenon
Implementation and Evaluation of Nested Task and Data Parallelism for High Performance Fortran within the ADAPTOR Compilation System
1999-02-22
Thomas Brandes
Derivative-Free Pattern Search Methods for Multidisciplinary Design Problems
1998-10-06
Cryptanalysis of Ladder-DES
1998-04-01
Eli Biham
Annotation Graphs: A Foundation for Integrating Tools, Formats and Corpora
1999-03-27
Drawing Trees
1995-06-12
Andrew Kennedy
Lower Bounds for Discrete Logarithms and Related Problems
1997-11-10
Victor Shoup
Implementing Temporal Databases in Object-Oriented Systems
1996-12-17
Christopher King
1997-04-26
Christopher King
Characterizations of Decomposable Dependency Models
1996-06-10
Co-Operating Scheduling Systems Communicating Through Fuzzy Sets
1997-07-28
Roger M. Kerr
Finite Element Analysis of the Piezoelectric Vibrations of Quartz Plate Resonators With Higher-order Plate Theory
1997-06-23
Bayesian Backpropagation Over I-O Functions Rather Than Weights
1994-09-29
David H. Wolpert
A Reduced Multipipeline Machine Description that Preserves Scheduling Constraints
1997-03-19
Case-Based Reasoning in Color Matching
1997-11-04
Compiler Optimizations for Cache Locality and Coherence
1994-04-28
Wei Li
ComputerScience Technical Report No. 1998/02
1998-03-16
All-Optical Clock Recovery Using Multi-Section Distributed-Feedback Lasers
1998-07-10
Structuring Elements for Group Interaction
1995-11-30
Bayesian Methods Applied to Survey Data From Archaeological Magnetometry
1998-03-05
Processor Controlled Off-Processor I/O
1997-07-31
A Fresh Look At Model Selection In Inverse Scattering
1995-03-06
Quasi-convex Functions and Quasi-monotone Operators
1995-10-27
Vladimir L. Levin
So You Thought Librarianship Was About Books!
1997-03-06
Jean Sanderson
A Multi-Scale Shape Description Tool for 3D MR Brain Images
1996-12-09
Rational Orthogonal Approximations to Orthogonal Matrices
1997-04-15
Predictability Versus Responsiveness: Coordinating Problem Solvers in Dynamic Domains
1994-11-08
Strong Normalisation Proofs for Cut Elimination in Gentzen's Sequent Calculi
1998-10-16
Quadratic Detectors for. . .
1997-10-14
The Computational Complexity of Atmospheric Data Assimilation
1998-10-13
P. M. Lyster
An Optimization-Based Approach to the Interpretation of Single Line Drawings as 3-D Wire Frames
1994-04-11
A Hierarchical Coordination Scheme for Satellite Formation Initialization
1998-01-08
Using Real Functions with Application to Hair Modelling
1998-12-21
V. Savchenko
Numerical Simulations Of Magnetohydrodynamic Flows
1998-03-30
Computational variants of the CGS and BiCGstab methods
1995-01-12
Victor Eijkhout
Simulation Analysis of TCP and XTP File Transfers in ATM Networks
1997-12-27
Extending First Order Deforestation
1970-01-01
St Bg
Unknown
1997-03-28
Alan Burns
A Bayesian Approach for Retrieving Relevant Cases
1997-11-02
The DOE Grand Challenge in Computational Accelerator Physics
1998-01-20
Encoding HTN Planning in Propositional Logic
1998-06-13
Protecting Routing Infrastructures from Denial of Service Using Cooperative Intrusion Detection
1997-12-02
Sets Of Integers With Pairwise Common Divisor And A Factor From A Specified Set Of Primes
1998-07-07
Syllable Detection In Read And Spontaneous Speech
1996-11-06
Multicast Communication in "ad hoc" Networks
1998-04-22
Implementation of a Network Management Service
1994-03-30
Orderings, Real Places And Valuations On Noncommutative Integral Domains
1998-01-06
Pumping, Cleaning and Symbolic Constraints Solving
1995-04-19
Michael J. Swain, Charles H. Frankel and Mei Lu
1995-10-20
Hitchin's and WZW connections are the same
1998-02-10
Yves Laszlo
Deterministic Algorithms for 2-d Convex Programming and 3-d Online Linear Programming
1997-11-21
Timothy M. Chan
On Rational State Space Realizations
1993-10-14
Krister Forsman
A Resolution Calculus for Presuppositions
1996-05-28
A programming Methodology for Disconnected Operation
1994-03-08
Design and Optimization of Double-Gate SOI MOSFETs for Low Voltage Low Power Circuits
1998-05-07
Buffering and Caching in Large-Scale Video Servers
1999-01-19
Local Disk Caching for Client-Server Database Systems
1994-11-18
Holcf = Hol + Lcf
1998-09-08
Motion Planning for a Rigid Body Using Random Networks on the Medial Axis of the Free Space
1999-03-18
On Bayesian Analyses and Finite Mixture Models for Proportions
1998-11-12
S. P. Brooks
Dynamically Adapting the Degree of Parallelism with Reflexive Programs
1997-02-03
An Evaluation of Fine-Grain Producer-Initiated Communication in Cache-Coherent Multiprocessors
1996-11-27
Implicit and Incremental Computation of Primes and Essential Primes of Boolean functions
1995-08-05
A Finite-Volume Particle Method for Compressible Flows
1997-12-05
Least-Squares Mixed Finite Element Solution Of Variably Saturated Subsurface Flow Problems
1999-03-19
Gerhard Starke
A Self-Organizing Map that Learns the Semantic Similarity of Reusable Software Components
1995-10-11
A Knowledge Based Approach to Shape From Shading
1997-07-11
`STRESS' Testing using Reduced Reachability Analysis: A Case Study for a Multicast Routing Protocol
1999-01-24
The Semantics Of The Geographical Database Query Languages
1998-01-20
M. Mainguenaud
Generating Necklaces
1998-08-31
A Combined Fast-Routing and Bandwidth-Reservation Algorithm for ATM Networks
1997-03-30
Universal, Trainable Detection And Arrival Time Estimation Methods Using Support Vector Machines
1998-09-17
An Empirical Study of the Evolution of a Software System
1998-11-03
Personality-Rich Believable Agents That Use Language
1997-09-11
Refining First-Class Stores
1994-03-18
J. Gregory Morrisett
A Study of Motive Processing and Attention
1997-10-28
Neural Networks with Adaptive Learning Rate and Momentum Terms
1996-05-23
Discriminative Feature Extraction For Speech Recognition
1993-06-10
Integrating Fault-Masking in a Path Planner
1996-10-15
Continuous Media Retrieval Optimizer For Hierarchical Storage Structures
1998-04-20
Determining the Idle Time of a Tiling
1997-08-22
Mode Analysis of Arrays and Array Comprehensions
1996-04-02
Automated Film Editing for Educational Applications? Don't make me laugh!
1995-08-01
The Robustness of Normal-theory LISREL Models: Tests Using a New Optimizer, the Bootstrap, and Sampling Experiments, with Applications
1995-07-21
Prefix Sums and Their Applications
1997-02-04
Guy E. Blelloch
R. D. Baker, J. M. Dover, G. L. Ebert, and K. L. Wantz 1997
1998-07-16
Compression of Image Contours Using Combinatorial Optimization
1998-06-20
Shared 3D Workspaces
1998-11-26
SR and SZ Algorithms for the Symplectic Butterfly Eigenproblem
1998-06-09
Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications
1999-04-12
Performance Evaluation of Dynamic Priority Operating Systems
1998-11-08
Chapter 1 Modularity, Reuse and Efficiency with Message-Driven Libraries
1996-11-09
Separating Reflections and Lighting Using Independent Components Analysis
1999-04-05
Experiments With Lvcsr Based Language Identification
1997-01-31
The Study of Learning Mechanisms in Unified Theories of Cognition
1994-04-15
Niels A. Taatgen
Shape Groups For C
1997-06-16
The Fox Project: Advanced Language Technology for Extensible Systems
1998-03-15
Jacobi-like Algorithms for Eigenvalue Decomposition of a Real Normal Matrix Using Real Arithmetic
1970-01-01
STEVE: A Syntax-Directed Editor for VHDL Based on SAVANT
1999-02-08
The Rhetorical Parsing of Natural Language Texts
1997-08-22
Daniel Marcu
An Inexact Trust-Region Feasible-Point Algorithm for Nonlinear Systems of Equalities and Inequalities
1997-01-27
Lagrangian Modeling and Control of Switch Regulated DC-to-DC Power Converters
1999-01-21
Compiegne Cedex France
Inductive Learning by Selection of Minimal Complexity Representations
1994-12-20
A Message Passing Interface for Parallel and Distributed Computing
1995-01-08
Restarting An Arnoldi Reduction
1996-05-21
R. B. Lehoucq
Multiresolution Modeling and Visualization of Volume Data based on Simplicial Complexes
1995-10-27
Hst And Vla Observations Of Seyfert 2 Galaxies: The Relationship Between Radio Ejecta And The Narrow Line Region
1999-01-27
Process Transition Networks: The Final Report
1996-05-13
Jacek Malec
Defeasible Planning
1998-06-09
John L. Pollock
Abstracting Synchronization in Concurrent Constraint Programming
1998-07-13
ENDE: An End-to-end Network Delay Emulator
1998-12-04
Wiener Soccer And Its Generalization
1998-01-29
Yuliy Baryshnikov
A Data Model for Audio-Video Data
1997-01-20
Edward L. Robertson
Empirical Analysis of Overheads in Cluster Environments*
1994-05-18
Equivalence of Geometric h 1/2 and Standard c>25 Approaches to Two-Dimensional Quantum Gravity
1998-05-13
Leon A. Takhtajan
Value Function Based Production Scheduling
1998-03-05
High Sets for NP
1998-05-18
Linear Multiuser Receivers: Effective Interference, Effective Bandwidth and User Capacity
1998-11-03
A Nonstandard Finite Difference Method for the Solution of Linear Second Order Boundary Value Problems With Nonsmooth Coefficients
1996-10-01
Generalized Sufficient Conditions for Modular Termination of Rewriting
1998-04-02
Bernhard Gramlich
Code Optimization as a Side Effect of Instruction Scheduling
1997-09-09
Rajiv Gupta
Interpolating Optimizing Process Control
1996-11-15
Shortest Paths Help Solve Geometric Optimization Problems in Planar Regions
1998-09-03
VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems
1994-05-10
The Fast Steepest Descent Path Algorithm For Analyzing Scattering From Two-Dimensional Objects
1997-07-25
An implicit formulation for exact BDD minimization of incompletely specified functions
1998-08-06
The Boltzmann-Sinai Ergodic Hypothesis for Hard Ball Systems N'andor Sim'anyi
1996-03-17
A Learning Algorithm for Continually Running Fully Recurrent Neural Networks
1998-08-24
John Grant
1995-09-10
From ... to ... - a Journey Through Calculi of Explicit Substitutions
1994-03-11
Pierre Lescanne
Journal of Graph Algorithms and Applications
1997-12-05
Hoong Chuin Lau
Increasing Adaptivity through Evolution Strategies
1999-01-12
Ralf Salomon
Learning Fault-tolerant Speech Parsing with SCREEN
1994-06-16
Approximating Value Trees in Structured Dynamic Programming
1996-08-13
Total Temperature Probes for High-Temperature Hypersonic Boundary-Layer Measurements
1998-01-13
Modeling the User , s Processing Resources: Pragmatic Simplicity Meets Psychological Complexity
1998-09-27
Anthony Jameson
Large Finite Structures With Few L k -types
1998-07-06
Martin Grohe
Planning Reference Choices for Argumentative Texts
1998-05-07
Xiaorong Huang
Planning under Uncertainty by Spreading Activation Through an Adaptive Probabilistic Network
1996-03-08
Sugato Bagchi
Context-Insensitive Alias Analysis Reconsidered
1999-02-04
Erik Ruf
What Might Be in a Summary?
1995-05-03
Karen Sparck Jones
Maintaining Temporal Consistency: Issues and Algorithms
1996-02-21
A simple correctness proof of the MCS contention-free lock
1992-12-15
Efficient Compile-Time Garbage Collection for Arbitrary Data Structures
1998-05-05
Markus Mohnen
Composition Symbolique
1997-10-24
An Efficient Metric For Heterogeneous Inductive Learning Applications In The Attribute-Value Language
1995-01-19
Modelling Synfire Networks
1997-12-19
A systolic algorithm for robust adaptive LCMV beamforming with an adjustable constraint
1998-09-14
On Uncoded High Rate Transmission over Synchronous Gaussian Multiple-Access Channels
1998-08-26
Scalable Internetworking
1996-02-21
Partitioning Transition Relations Efficiently and Automatically
1995-12-19
Security for Decentralized Health Information Systems
1996-09-20
Gerrit Bleumer
Implementing Efficient Fault Containment for Multiprocessors
1997-04-08
Spanning and Derivative-Security Valuation
1999-03-18
Can Declared Strategy Voting be an Effective Instrument for Group Decision-Making?
1995-07-25
Lorrie Faith Cranor
THE ECONOMICS OF INTELLECTUAL PROPERTY PROTECTION FOR SOFTWARE: The Proper Role for Copyright
1996-01-03
Prosody Analysis for Speaker Affect Determination
1998-02-25
H1-inspired analysis of the 1994 combined test of the Liquid Argon and Tilecal calorimeter prototypes
1999-03-23
A Probabilistic Model of Information Retrieval: Development and Status
1998-09-16
Improving End-to-End Performance of the Web Using Server Volumes and Proxy Filters
1998-05-12
Bootstrapping Goodness of Fit Statistics in Loglinear Poisson Models
1970-01-01
Bernd Winkler
Development of a Predictive Optimal Controller for Thermal Energy Storage Systems
1997-02-11
A Control-Based Middleware Framework for Quality of Service Adaptations
1998-06-08
Unknown
1995-11-07
Optimal Allocation for Estimating the Mean of a Bivariate Polynomial
1997-03-14
Hierarchical Crossover in Genetic Algorithms
1996-08-09
Towards a Theory of Narrative for Interactive Fiction
1996-05-15
On the Regional Mass Transit Assignment Problem
1997-11-07
Routing on Trees
1997-01-25
Antonios Symvonis
Line-Integral Estimates And Motion Planning Using The Continuation Method
1997-10-28
Proof of the Existence Theorem of a Model Distinguishing Production and Consumption Bundles
1999-03-04
Sharon Schalk
Combining Formal Methods: An Exercise in Integration
1996-10-09
Linear Partial Differential Algebraic Equations - Part I: Indexes, Consistent Boundary/Initial Conditions
1999-04-08
Multialphabet Arithmetic Coding at 16 MBytes/sec
1995-08-05
Harry Printz
Blanket Algebra For Multiple-Valued Function Decomposition
1997-07-03
Gates Accept Concurrent Behavior
1995-10-22
Disoriented Chiral Condensate
1997-04-18
Zheng Huang
A Nonlinear Complementarity Approach for the National Energy Modeling System
1995-04-18
Multicriteria Evaluation of a Planetary Rover
1996-09-11
On Computing Optimal Planar Grasps
1995-12-21
Yan-bin Jia
Robust motion analysis with applications to Structured Video
1995-02-10
Nuno Vasconcelos
Journal of Graph Algorithms and Applications
1998-05-12
Implementing Calendars and Temporal Rules in Next Generation Databases
1995-06-04
HELIPLAT as a GSM base station: model of the Doppler spectrum for macrocells with directional antennas
1998-07-16
Mostly Parallel Garbage Collection
1998-08-08
Surface Orientation and Curvature from Differential Texture Distortion
1997-01-29
Jonas Garding
Generating Parallel Random Number Generators By Cellular Programming
1996-09-25
Compile/Run-time Support for Threaded MPI Execution on Multiprogrammed Shared Memory Machines
1999-01-27
Beyond Success and Failure
1998-10-06
Domain-Retargetable Reverse Engineering II: Personalized User Interfaces
1994-07-25
Scott R. Tilley
Visual Attention and Retinal Fixation: Preprocessing Modules for Enhanced Performance in Real-Time Vision
1994-11-07
Arunava Banerjee
On The Asymptotic Range Of Cocycles For Shifts Of Finite Type
1995-12-21
Zaqueu Coelho
Implementation of a Wide-Coverage Tactical Generator for Turkish
1996-07-19
Dilek Zeynep Hakkani
On the Nature and Role of Modal Truth Criteria in Planning
1994-11-23
An Empirical Comparison of Priority Queue Algorithms
1997-03-10
Approximation Algorithms for Lawn Mowing and Milling
1997-03-21
Maps Between Classifying Spaces Revisited
1992-08-23
National HPCC Software Exchange
1995-02-13
Dynamically-Wiresized Elmore-Based Routing Constructions
1995-04-30
A Representation of Media for Multimedia Authoring and Browsing Systems
1998-08-15
Measuring the Effectiveness of a Simple Strictness Analyser
1998-10-14
Image Watermarking - Why is watermarking a hard problem.
1998-10-19
Henri Maitre
Adaptive Source Routing in High-Speed Networks
1997-04-20
The Karhunen-Lo`eve Procedure for Gappy Data
1998-03-18
Speech Recognition Using a Discriminative, Context-Independent, Segment-Based Speech Recognizer
1996-12-04
Meson-Exchange Currents in pp-Bremsstrahlung
1998-05-23
WESCANEX `93 - 1 - Sk, CANADA; 1993; 1/9/96, v 1.0 revised
1996-02-13
On the Embedding Statistic
1995-02-07
The IRAF Spectroscopy Reduction Packages and Tasks
1994-02-08
F. Valdes
The Dynamic Servers Problem
1997-10-30
The Equivalence of Several Basic Theorems for Subdifferentials
1997-07-04
Qiji J. Zhu
Unified Class Evolution by Object-Oriented Views
1997-12-01
Svein Erik Bratsberg
Fbufs: A High-Bandwidth Cross-Domain Transfer Facility
1994-10-27
The Mathematics of Set Predicates in Prolog
1996-06-24
Egon B Orger
Evaluating the Performance of Parallel Programs in a Pseudo-Parallel MPI Environment
1996-03-25
Erik Demaine
Relationships between Antiviral Treatment Effects and Biphasic Viral Decay Rates in Modeling HIV Dynamics
1998-09-12
Advanced Computing Research Institute Theory Center Cornell University Semi-annual Research Activity Report April 1992 - September 1992
1992-12-04
Thomas F. Coleman
Measurements of the
1998-05-22
Classification of Rotating Machine Condition using Artificial Neural Networks
1996-12-18
Characterization Of Lyapunov Functions For Smooth Nonlinear Systems Using Lmis
1999-01-19
Tor A. Johansen
Spurious Transitions in Adder Circuits: Analytical Modelling and Simulations
1970-01-01
Multiresolution Tiling
1994-08-17
David Meyers
Closed-Form Connectivity-Preserving Solutions For Motion Compensation Using 2-D Meshes
1997-02-02
Physical Aging Effects On The Compressive Linear Viscoelastic Creep Of Im7/k3b Composite
1996-04-15
A Note on Multi-block Relaxation Schemes for Multigrid Solvers
1997-03-21
GFUN: A Maple Package for the Manipulation of Generating and Holonomic Functions in One Variable
1993-01-12
Abstractions for Continuous Media in Heterogeneous Distributed . . .
1993-05-27
On the Perturbation of Markov Chains with Nearly Transient States
1998-09-05
G. W. Stewart
EPR-Bell Nonlocality, Lorentz Invariance, and Bohmian Quantum Theory
1995-11-27
AnalyticSolution of the Large Angle Problem in Rigid Body Attitude Dynamics
1998-09-01
James M. Longuski
A Non-Projective Dependency Parser
1998-04-30
Mars Pathfinder Microrover - Implementing A Low Cost Planetary Mission Experiment
1997-02-21
Acquisition and Validation of Complex Object Database Schemata Supporting Multiple Inheritance
1995-05-07
Optimum and Heuristic Transformation Techniques for Simultaneous Optimization of Latency and Throughput
1996-01-05
Temporal Constraintson Trajectories in Qualitative Simulation
1996-04-08
Phase-Space Nonlinear Control Toolbox: The Maglev Experience
1997-08-08
A Knowledge Representation Framework Based on Autoepistemic Logic of Minimal Beliefs
1970-01-01
Teodor C. Przymusinski
Additive Schwarz Domain Decomposition Methods For Elliptic Problems On Unstructured Meshes
1970-01-01
Internationalization of the Handle System - A Persistent Global Name Service
1998-02-18
Sam X. Sun
Downwind Gauß-Seidel Smoothing for Convection Dominated Problems
1999-03-25
Practical Issues in Graphical Constraints
1993-05-10
Michael Gleicher
Modelling and Simulation of Hybrid Systems
1996-09-19
Limits of Instruction-Level Parallelism
1994-05-25
Wavelet-based Multiresolution Local Tomography
1997-04-09
Conserving approximations for the attractive Holstein and Hubbard models
1994-11-08
J. K. Freericks
Lazy Depth-First Search and Linear Graph Algorithms in Haskell
1993-12-15
A Theory Of Program Size Formally Identical To Information Theory
1998-07-21
Gregory J. Chaitin
Lab 3 --- Active Messages
1970-01-01
Using a Coordination Language to Specify the Invoicing System
1998-04-16
Performance Comparison Of Distributed Petri Net Simulations
1995-04-07
Designing Distributed Applications with Mobile Code Paradigms
1998-05-29
Microkernels Meet Recursive Virtual Machines
1999-01-05
ComputerAlgebra and Differential Equations - An Overview
1997-09-11
Werner M. Seiler
Dynamic Decision Making in Stochastic Partially Observable Medical Domains: Ischemic Heart Disease Example.
1998-05-08
Milos Hauskrecht
Design-Time Simulation of a Large-Scale, Distributed Object System
1998-10-08
Pankaj Garg
Evolvable View Environment EVE: A Data Warehouse System Handling Schema and Data Changes of Distributed Sources
1999-04-16
International Workshop on Description Logics
1995-06-05
An Empirical Study of State Encoding in Tabu Search
1996-12-17
Neural Network Ensembles, Cross Validation, and Active Learning
1995-11-01
Synthesizing Flames and their Spreading
1994-07-22
High-Order ENO Schemes for Unstructured Meshes Based on Least-Squares Reconstruction
1997-02-10
Carl F. Ollivier-gooch
Exploiting Process Lifetime Distributions for Dynamic Load Balancing
1996-06-02
An Intoductory Tutorial on Kd-Trees
1997-10-08
Andrew W. Moore
Active Names: Programmable Location and Transport of Wide-Area Resources
1998-10-27
Strategic SPMD
1998-11-03
Kevin Hammond
An Optimal, Stable Continued Fraction Algorithm for Arbitrary Dimension
1998-02-23
A New Look at Smoothing Newton Methods for Nonlinear Complementarity Problems and Box Constrained Variational Inequalities
1998-09-08
Multivariate Dispersion Models
1998-09-10
Steffen Lauritzen
Sender Coordination in the Distributed Virtual Communication Machine
1998-05-27
Dealing With Multilinguality In A Spoken Language Query Translator
1997-05-07
Duality between Foveatization and Multiscale Local Spectrum Estimation
1998-06-12
Call-by-Name Specialization of Functional Logic Programs
1996-09-24
Chunks and Dependencies: Bringing Processing Evidence to Bear on Syntax
1999-02-03
Steven Abney
Animats Adaptation to Complex Environments as Learning Guided by Evolution
1997-12-15
Mario Martin
Using Timestamps to Track Causal Dependencies
1999-04-12
J. A. David Mcwha
Cores of hyperbolic 3-manifolds and limits of Kleinian groups II
1998-06-09
Path Parity and Perfection
1996-11-22
Periodic Structure in Two-Dimensional Riemann Problems for Hamilton-Jacobi Equations
1998-07-14
J. D. Pinezich
Adaptive Strategy Selection for Concept Learning
1997-08-22
A Methodology for Implementing Highly Concurrent Data Objects
1998-08-11
Maurice Herlihy
A Precorrected-FFT method for Capacitance Extraction of Complicated 3-D Structures
1995-07-30
Automated machine recognition of lesions in dynamic contrast-enhanced MRI of the breast
1999-04-01
R. Hanka Ph. D
Region-Adaptive Transform Based On A Stochastic Model
1996-01-25
Wavelet Shrinkage For Nonequispaced Samples
1998-05-08
Dynamical Behaviour of Low Autocorrelation Models
1994-09-30
Gabriele Migliorini
Problem-Oriented Applications of Automated Theorem Proving
1996-11-20
Creating Strong Total Commutative Associative One-Way Functions from Any One-Way Function
1998-05-27
RONALD A. DeVORE and BRADLEY J. LUCIER 1.
1970-01-01
The Number of Distinct Alignments of Two Strings
1999-04-12
Logic with Probabilistic Operators
1997-12-17
Natasha Alechina
Reverse Engineering of Legacy Code is Intractable
1994-10-14
th AIAA Advanced Measurement and Ground Testing Technology Conference
1996-07-31
Computation Of Zero Directions Of Transfer Functions
1995-11-20
Paul Van Dooren
A Note On The Class Of Weakly Coupled Problems Of Non-Stationary Piezoelectricity
1998-08-15
Zero-Safe Nets: The Individual Token Approach
1998-02-09
Intuitive and Interactive Manipulation of 3D Datasets by Integrating Texture Mapping Based Volume Rendering into the OpenInventor Class Hierarchy
1996-10-23
Prettyprinting Without Losing Comments
1997-03-03
Hyperbolic And Parabolic Packings
1996-02-27
Source Demand Routing: Packet Format and Forwarding Specification
1998-12-20
Multifractal Multiplicity Distribution in Bunching-Parameter Analysis
1997-12-02
Combining Schema Theory with Fuzzy-Logic to Control a Mobile Robot
1999-03-15
On the Stability of the Quenched State in Mean Field Spin Glass Models
1998-10-24
M. Aizenman
Three Results on Mixing Shapes
1997-11-05
T. Ward
GMRES And The Minimal Polynomial
1995-08-02
The Structure and Evolution of a Distributed Measurement Framework
1995-09-07
Brian D. Noble
Point-mass filter and Cramer-Rao bound for Terrain-Aided Navigation
1998-01-19
Dorothee Haroske
1997-06-24
Dorothee Haroske
Hierarchical Parallelism for a Global Illumination Algorithm
1995-02-24
George Drettakis
F3.733e+05>The VLDB Journal 1996 5: 19--34<F4.492e+05>
1997-12-09
A Reasoning Economy for Planning and Replanning
1994-04-05
Jon Doyle
Memory Reservation System in Real-Time Mach
1998-01-29
Tatsuo Nakajima
On the Theory of Average Case Complexity
1999-02-07
Rewriting Fuzzy Graphs
1997-03-25
Under Pressure: Recommendations for Managing a Practical Course in Software Engineering
1996-11-25
Klaus Bergner
Fracture Functions from Cut Vertices
1998-12-19
Automatic Synthesis of Financial Modeling Codes
1998-02-10
Global Computation
1997-03-28
Luca Cardelli
Conditions for Viewpoint Dependent Face Recognition
1994-01-13
A Scalable Architecture for Multimedia Storage
1996-01-18
Dynamic Models of Human Motion
1998-09-17
The MusES system: an environment for experimenting with knowledge representation techniques in tonal harmony
1995-02-20
Experiences with a simplified microsimulation for the Dallas/Fort Worth area
1997-02-27
M. Rickert
Automated Performance Prediction for Scalable Parallel Computing
1998-08-19
Applications of Evolutionary Computing to Behavioural Ecology Extended Abstract
1995-01-24
A Categorical Manifesto
1996-08-26
Joseph A. Goguen
RED-VBR: A Renegotiation-Based Approach to Support Delay-Sensitive VBR Video
1996-07-14
Scattering by Infinite One-Dimensional Rough Surfaces
1999-02-08
Chris R. Ross
Numerical Comparisons of Path-Following Strategies for a Basic Interior-Point Method for Nonlinear Programming
1998-09-23
R. A. Tapia
Collaborating Across the Miles
1999-01-08
Deb Agarwal
Superconvergent Perturbation Method in QuantumMechanics
1998-05-12
A Class of Explicit Two-Step Runge-Kutta Methods with Enlarged Stability Regions for Parallel Computers
1998-07-08
Average Optimality in Markov Games with General State Space
1997-06-06
Ulrich Rieder
The Evolution of Multiagent Coordination Strategies
1997-06-23
Simple combinatorial Gray codes constructed by reversing sublists
1995-11-05
Frank Ruskey
Janus-II - Translation Of Spontaneous Conversational Speech
1999-03-02
MindReader: Querying databases through multiple examples
1998-04-24
Finding Overlapping Distributions with MML
1996-12-10
On-Line Algorithms For Combining Language Models
1999-03-09
Real Time in a TLA-Based Theory of Reactive Systems
1997-11-28
Y. Yemini, J. Hellerstein 1995 c
1996-10-19
Phi-OBDDs - a BDD Structure for Probabilistic Verification Christoph Meinel, Harald Sack FB IV - Informatik, Universitat Trier D-54286 Trier, Germany
1998-06-09
The SIGSAM Challenges: Symbolic Asymptotics in Practice
1997-08-12
On Composite Stability of Time-Varying Discrete Interval Systems
1997-06-06
Detection And Blanking Of GSM Interference In Radio-Astronomical Observations
1999-02-19
On The Maximization Of A Concave Quadratic Function With Box Constraints
1999-03-16
Ana Friedlander
Rolling Your Own Mutable ADT --- A Connection between Linear Types and Monads ---
1996-10-28
The Performance Impact of Incomplete Bypassing in Processor Pipelines
1996-06-26
A Saddlepoint Approximation for the Collector's Problem
1998-10-19
Diego Kuonen
Maintaining Temporal Coherency of Virtual Data Warehouses
1999-04-20
Towards Diagnosing Hybrid Systems
1999-02-16
Visualisierungstools zur Prozeßmodellierung auf Basis des PIROL-Metamodells
1997-01-23
Designing Advertising Strategies using a Genetic Algorithm
1997-03-07
An ELLAM-Based Domain Decomposition and Local Refinement Algorithm for Second-Order Hyperbolic Equations with Interfaces
1995-03-31
Hong Wang
Nonstationary Function Optimization using the Structured Genetic Algorithm.
1970-01-01
Multicast Security and Its Extension to a Mobile Environment
1995-12-06
Li Gong
On the Knowledge Requirements of Tasks
1998-02-01
The Effectiveness of Navigable Information Disclosure Systems
1993-07-07
F. J. M Bosman
Finite Frequency Range Kramers Kronig Relations: Bounds on the Dispersion.
1997-06-24
The Existence of Refinement Mappings
1994-05-13
Adaptive Probabilistic Networks with Hidden Variables
1997-04-09
Compositional Verification of Real-time Systems
1999-02-05
Integrating Association Rule Mining with Relational Database Systems: Alternatives and Implications
1998-08-24
Exotica/FMDC: Handling Disconnected Clients in a Workflow Management System
1995-05-01
A Methodology for Initiating Arbitrary Structured Programs in PARIX by Interpreting Graphs
1997-02-10
J. Y. Cotronis
On the Relation between Solution Quality and Computing Times of Intelligent Algorithms
1998-05-04
Karl Kurbel
Tuesday, 31 March 1998
1998-03-31
An Integrated Process-Planning/Production-Scheduling Shell For Agile Manufacturing
1996-06-06
Formalizing a Spectrum of Plan Generalizations Based on Modal Truth Criteria
1994-03-02
Subbarao Kambhampati
Distributed Selective Dissemination of Information
1970-01-01
Stability of mixed Ekman-Hartmann boundary layers
1998-06-05
A Soil Moisture Map Generated from Satellite Data by Using Domains of Attraction in Neural Networks
1998-07-23
Evolutionary Group Robots for Collective World Modeling
1999-01-23
CHANNEL ERROR CORRECTION IN COMPRESSED IMAGE TRANSMISSION Kalman Cinkler and Karl Dirk Kammeyer
1999-01-04
Emergent Perception of Gridletters
1995-03-23
Gary Mcgraw
A Novel Replication Technique For Implementing Fault-TolerantParallel Software
1998-04-10
Adel Cherif
New Approximation Guarantees for Minimum-Weight
1997-09-10
Unknown
1997-08-28
An Object Model for Flexible Distributed Systems
1996-09-05
Improved Upper Bounds for the Mixed Structured Singular Value
1997-11-19
Extensible Resource Management For Cluster Computing
1998-07-16
What Bayes Has To Say About The Evidence Procedure
1995-02-26
Supporting Configurable Real-Time Communication Services
1997-05-01
Interruptible Critical Sections
1994-09-30
LAPACK Working Note 117 A Fortran 90 Interface for LAPACK: LAPACK90, version 1.0
1997-03-19
On Perpendicular Texture or: Why do we see more flowers in the distance?
1997-05-07
A Z Subset for Direct Implementation and Code Generation
1996-07-03
On Applying Hash Filters to Improving the Execution of Multi-Join Queries
1997-12-09
S-HARP: A Scalable Parallel Dynamic Partitioner for Adaptive Mesh-based Computations
1998-09-01
Andrew Sohn
On Functional Relation between Recognition Error and Class-Selective Reject
1996-03-12
Thien M. Ha
Appeared in: Proceedings of
1999-03-17
Characterizing solutions of a BCM learning rule in a network of lateral interacting non-linear neurons
1998-11-13
Lifting Witt Subgroups to Characteristic Zero
1998-08-14
Alan Koch
A Numerical Imaging Approach to Comparative Visualization
1998-04-07
Virtual Network Transport Protocols for Myrinet
1997-08-20
Partial-Order Reduction in Symbolic State Space Exploration
1997-04-12
Scheduling Arrivals at a Single Server for Min-max Blocking
1998-04-02
Basic Routines for the Rank-2k Update: 2D Torus vs Reconfigurable Network
1994-04-18
F. Desprez
How reliable are the HQET-sum rule predictions?
1998-05-15
S. Narison
Property Testing in Bounded Degree Graphs
1998-02-13
Ordering and Demixing Transitions in Multicomponent Widom--Rowlinson Models
1997-08-21
Data Exchange: High Performance Communications In Distributed Laboratories
1997-07-31
Relationships between Models of Concurrency
1995-06-29
OVERFLOW - Navier-Stokes CFD
1995-10-04
Learning to Behave Socially
1997-08-14
Maja J Mataric
Angluin's Theorem for Indexed Families of R.e. Sets and Applications
1996-04-18
Analog Computation with Dynamical Systems
1998-07-06
Wavelet Estimation For Samples With Random Uniform Design
1998-08-03
Handling Temporal Grouping and Pattern-Matching Queries in a Temporal Object Model
1998-08-19
Intrinsic Error Estimation for Corpus-Trained Probabilistic Language Models
1996-06-06
Uwe Jost
Qualitative behavior of weak solutions of the drift diffusion model for semiconductor devices coupled with Maxwell s equations
1997-06-24
Fuzzy Sets and Operations Research. Perspectives
1997-03-21
Canonization for ...-Equivalence is Hard
1998-07-06
Martin Grohe
Formal Specification of a Dynamically Configurable Distributed System
1995-11-14
Automatic Parallelization in the Polytope Model
1998-06-29
Paul Feautrier
The Quasi-Synchronous approach to Distributed Real-Time Databases
1997-04-28
Carlos Almeida
Experience-Based Creativity
1993-08-17
Robert Levinson
Infinite Kneading Matrices And Weighted Zeta Functions Of Interval Maps
1997-04-26
Viviane Baladi
Learning Database Abstractions For Query Reformulation
1998-11-03
Stable three-frequency quasiperiodicity in conductivity oscillations of BSN crystals
1997-08-29
A short course on the Lie theory of semigroups I
1995-08-20
Karl H. Hofmann
Improved Probability Estimation with Neural Network Models
1999-01-10
A Bornological Approach to Rotundity and Smoothness Applied to Approximation
1996-06-24
John Read
On SDSI's Linked Local Name Spaces
1997-06-16
Martn Abadi
A rigorous implementation of the Jeans--Landau--Teller approximation for adiabatic invariants
1997-04-26
G. Gallavotti
Parallel Bandreduction and Tridiagonalization
1997-09-02
Tradeoffs in Processing Multi-Way Join Queries via Hashing in Multiprocessor Database Machines
1997-07-22
Improving the Access Time Performance of Serpentine Tape Drives
1999-04-06
Exploiting Program Schemata in a Prolog Tutoring System
1997-02-27
Timothy S. Gegg-harrison
Hybrid Heterogeneous Hierarchical Models for Knowledge-Based Autonomous Systems
1992-11-24
Discovering Bayesian Networks in Incomplete Databases
1997-04-11
Dissipative Particle Dynamics for Interacting Multicomponent Systems
1996-11-08
A Complete Classification of Tractability in the Spatial Theory RCC-5
1996-12-17
Optimizing Parallel Program Execution by Self-Organizing Maps
1996-02-19
J Urgen W. Quittek
Vanishing Viscosity Solutions of Hyperbolic Systems on Manifolds
1999-03-05
Why Sentence Modality in Spontaneous Speech is More Difficult to Classify and why this Fact is not too bad for Prosody
1994-12-16
Performance Comparison of Ten Variations on the Interpretation-Tree Matching Algorithm
1998-04-26
Robert B. Fisher
A Pragmatic Approach to Software Synthesis
1970-01-01
Maintaining Temporal Consistency: Issues and Algorithms
1996-01-22
Financial Markets as Adaptive Ecosystems
1998-12-10
Rama Cont
A Test Bed for Modelling the Liberation of Silica from Feldspar Using Parallel Computing Techniques
1995-02-02
in Partial Fulfillment of the Requirements for the Degree
1997-10-09
A Sequential Reduction Strategy
1999-03-16
Modeling Urgency in Timed Systems
1998-02-20
Isoefficiency Function: A Scalability Metric for Parallel Algorithms and Architectures
1996-01-24
Process Calculus Based Upon Evaluation to Committed Form
1997-04-21
Verification Of A Large Discrete System Using Algebraic Methods
1997-01-07
On A Harmonic Property Of The Einstein Manifold Curvature
1998-05-12
Parametric Analysis of Polyhedral Iteration Spaces
1996-05-22
Vincent Loechner
Buffer Overflow Asymptotics For A Buffer Handling Many Traffic Sources
1997-10-16
Optimizing Data Scheduling on Processor-In-Memory Arrays
1998-02-05
Hypercrossing Number: A New and Effective Cost Function for Cell Placement Optimization
1999-01-14
INTLIB: A Portable FORTRAN 77 Interval Standard Function Library
1994-04-16
A Global Optimization Method,
1997-11-04
Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs
1992-08-19
On Balancing Workload in a Highly Mobile Environment
1995-08-25
Warm Start of the Primal-Dual Method Applied in the Cutting-Plane Scheme
1997-08-12
Jacek Gondzio
Area Efficient Architectures for Information Integrity in Cache Memories
1999-03-18
Knowledge-Based Requirements Analysis for Ada Design Recovery: Design Entity Identification and Representation
1998-09-27
Reaching summits is not wandering or Getting insight into problem landscapes to go higher, faster
1999-02-23
A New Approach to Obtain Height Measurements from Video
1999-01-09
An Open Set Of Maps For Which Every Point Is Absolutely Nonshadowable
1999-01-08
Robust Computer Vision for Computer Mediated Communication
1997-03-14
James L. Crowley
Robotic Bees
1996-07-10
Achieving Database Security Through Data Replication: The Sintra Prototype
1994-09-29
A Zoomable DBMS for Brain Structure, Function and Behavior
1994-04-21
Fractal Coding Versus Classified Transform Coding
1996-11-02
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
1999-02-08
Secure, Internet-Based Financial Transactions - Development, Prototyping and Test of Components of a Distributed Payment System Based on the SET Protocol
1997-05-06
Detecting and Reacting to Unplanned-for World States
1997-07-29
High Performance Dividers with Multiply-Add
1997-06-09
SavvySearch: A Meta-Search Engine that Learns which Search Engines to Query
1997-03-12
A Polynomial Time Approximation Scheme for Minimum Routing Cost Spanning Trees
1997-11-18
Logical Ring with ATM Block Transfer to Support Connectionless Service in ATM
1999-01-05
Shengming Jiang
Linking Notations and Theories in a Proof Tool
1998-03-12
Rachel Cardell-oliver
Logical Aspects of Surprise
1996-11-13
Jean Louis Dessalles
Regular Expressions
1995-11-02
Copyright Siddhartha
Horses and Barn Doors: Evolution of Corporate Guidelines for Internet Usage
1997-01-21
Visualizing Similarities in High Dimensional Input Spaces with a Growing and Splitting Neural Network
1996-05-09
Dieter Merkl
The Active Longitudes of
1997-12-11
Combining Monads
1998-05-07
Classification Of Nonoscillatory Solutions Of Higher Order Neutral Type Difference Equations
1996-02-29
Compressing TCP/IP Headers for Low-Speed Serial Links
1991-04-21
Storage Management for Evolving Databases
1998-08-20
Where does GOTO go to?
1996-07-08
The Use of Virtual Reality for Training Process Plant Operatives
1995-12-13
Optical Character Recognition
1997-07-21
Line Eikvil
Real-time Upper Body Articulation of Humans in a Networked Interactive Virtual Environment
1995-10-27
Implementing the C+ + Standard Template Library in Ada 95
1997-08-05
A Hierarchical Processor Scheduling Policy for Distributed-Memory Multicomputer Systems
1999-01-20
A Control Structure for the Locomotion of a Legged Robot on Difficult Terrain
1998-07-16
Exploratory Mining and Pruning Optimizations of Constrained Associations Rules
1997-11-23
Tight Analyses Of Two Local Load Balancing Algorithms
1996-09-13
Design of a Scalable Multimedia Storage Manager
1998-12-09
Detecting Redundant Accesses to Array Data Extended Version
1993-01-05
DCL: Protocols and Primitives for Distributed and Concurrent Computing in Networked
1993-07-30
V. S. Sunderam
Optimality Of Orthonormal Transforms For Subband Coding
1998-06-03
Query-Limited Reducibilities
1995-01-05
Process Migration on Chorus
1970-01-01
Modular Real-Time Resource Management in the Rialto Operating System
1970-01-01
Compliant Control of Threaded Fastener Insertion
1995-07-26
Another Stopping Rule for Linear Iterative Signal Restoration
1998-11-15
Connectionist Modeling Of The Breakdown And Recovery Of Reading Via Meaning
1997-04-29
David C. Plaut
Standardizing the Querying Process with SGML
1996-09-18
Arijit Sengupta
Wide-Area Parallel Computing in Java
1999-04-06
Parallel Multigrid with ADI-like Smoothers in Two Dimensions
1997-06-25
Programming a Pipelined Image Processor
1997-10-30
The Java Applet Security Model: Providing Storage at a Terminal A Lesson in Passing the Buck
1997-04-14
Maurice Castro
Cavity Solitons
1998-05-26
Adding Animated Presentation Agents to the Interface
1997-03-12
A Performance Study of Memory Consistency Models
1997-03-14
The Sequoia 2000 Storage Benchmark
1993-06-30
3D Human Body Model Acquisition from Multiple Views
1996-07-28
The Architecture of a System for the Indexing of Images by Content
1997-04-14
Linear Stability of Natural Symplectic Maps
1998-07-22
Automated Deduction and AI Planning
1996-03-22
Fangzhen Lin
A Synthesis Framework for Automatic Transformation and Optimization of Hardware Structures
1996-02-15
Erik Stoy
Stochastic Nonlinear Bilevel Programming
1998-06-29
Michael Patriksson
How Mutation and Selection Solve Long Path Problems in Polynomial Expected Time
1997-05-02
Gunter Rudolph
TransSearch: A Bilingual Concordance Tool
1997-10-17
Correctness of compiling Occam to Transputer code
1996-06-24
Legacy Interface Migration: A Task-Centered Approach
1999-04-09
Online Learning and Stochastic Approximations
1998-04-17
Nature of some random Jacobi matrices
1997-05-15
Information Theoretic Measures for Power Analysis
1998-01-13
Petal: Distributed Virtual Disks
1996-07-24
Teaching Hypertext and Hypermedia through the Web
1998-06-29
Paul M. E. De Bra
The Unify System
1994-07-01
Local Search Strategies for Satisfiability Testing
1996-05-14
Computer Systems Technology
1990-01-09
Reasoning about Set-Oriented Methods in Object Databases Extended Abstract
1998-10-05
Model-Checking of Real-Time Systems: A Telecommunications Application - Experience Report
1997-02-24
Issues of Reserving Resources in Advance
1997-06-25
3-D Motion Estimation of Rigid Objects for Video Coding Applications Using an Improved Iterative Version of the E-matrix Method
1998-01-06
Computational Interpretations of Linear Logic
1996-09-06
Samson Abramsky
Basis for a Consensus Model in Group Decision Making with Linguistic Preferences
1997-01-28
A Framework for Requirements Analysis Using Automated Reasoning
1996-08-22
The Recurrent Cascade-Correlation Architecture
1991-05-18
Scott E. Fahlman
An Algorithm For The Training Of CELP Excitation Codebooks
1996-05-24
Minimum-Cost Bounded-Skew Clock Routing
1995-04-03
Silicon Auditory Processors as Computer Peripherals
1993-01-23
Modeling Emotion-Based Decision-Making
1999-01-22
Juan D. Velásquez
Search in a Learnable Spoken Language Parser
1997-02-06
PREDICTING CHORDAL TRANSITIONS IN JAZZ: The Good, the Bad, and the Ugly
1996-01-25
Belinda Thom
Bivariate factorizations via Galois theory, with application to exceptional polynomials
1998-01-31
Michael Zieve
The Complexity of Schur Functions in Characteristic 2
1997-12-29
Nilpotente Liealgebren und endliche Pro-p-Gruppen
1995-08-21
J Urgen Wisliceny
A New Matrix-Free Algorithm for the Large-Scale Trust-Region Subproblem
1997-01-27
Empirical and theoretical active memory: The proper context Reply to comments by Daniel J. Amit
1996-01-02
Daniel J. Amit
On Bounding the Betti Numbers and Computing the Euler Characteristic of Semi-algebraic Sets
1995-11-16
Saugata Basu
Trilinearity of Three Perspective Views and its Associated Tensor
1997-07-13
The Specification and Modeling of Computer Security
1999-02-11
John Mclean
The Offset Cube: A Three-Dimensional Multicomputer Network Topology Using Through-Wafer Optics
1997-01-18
Complete Infinitary Type Logics
1997-05-12
Optimal Design for Heart Defibrillators
1994-09-22
Integration of a compilation system and a performance tool: the HPF+ approach
1998-05-06
The Effects Of User Distribution On Cdma Antenna Array Receivers
1997-04-09
Dialogue Strategies Guiding Users To Their Communicative Goals
1997-05-20
A Note on Implementing Combining Networks
1995-09-06
Multiresolution Registration Using Spline Models for Both Images and Disparity
1998-10-26
Multi-Phase Redistribution: A Communication-Efficient Approach to Array Redistribution
1998-05-09
Fast, Effective Code Generation in a Just-In-Time Java Compiler
1998-08-27
The Discrete Runs Test and the Discrete Maximum of
1996-06-10
Andrew Shapira
An Intoductory Tutorial on Kd-Trees
1997-10-08
Andrew W. Moore
Exploring the Performance Impact of QoS Support in TCP/IP Protocol Stacks
1998-12-30
Efficient I/O for Very Large Multimedia Applications
1998-03-07
Node Normalization and Decomposition in Low Power Technology Mapping
1997-02-20
On Task Schedulability in Real-Time Control Systems
1998-02-25
Evolutionary Heuristics For The Bin Packing Problem
1995-02-08
Onthe Numerical Solution of Some Semilinear Elliptic Problems
1994-10-18
Exorcising daemons: A modular and lightweight approach to deploying applications on the Web
1997-04-16
Cut Might Cautiously
1994-12-13
Improving the Efficiency of Depth-First Search by Cycle Elimination
1995-04-11
List of Publications - Laboratory for Computational Linguistics
1994-07-13
Discrete Evolutionary Spectra and Their Application to a Theory of Pitch Perception
1995-07-29
Andreas Thumfart
Overview of the ATT Labs Trust-Management Project
1998-06-08
Joan Feigenbaum
Systems Research Center
1996-04-20
Manfred Broy
Combining Semi-Physical and Neural Network Modeling: An Example of Its Usefulness
1996-11-06
U. Forssell
ALGORITHM XYZ. GEMM--Based Level 3 B