Titan: a High-Performance Remote-sensing Database
1970-01-01
A Conceptual Reasoning Approach to Textual Ellipsis
1996-05-13
Analysis of Practical Backoff Protocols for Contention Resolution with Multiple Servers
1996-05-21
Location-Based Multicast in Mobile Ad Hoc Networks
1998-11-24
Visualizing the Execution of Threads-based Parallel Programs
1995-01-29
Techniques for Frame Synchronization on Unknown Frequency Selective Channels
1997-10-10
A Distributed Hierarchical Storage Manager for a Video-on-Demand System
1995-03-31
Combining Generalizers Using Partitions Of The Learning Set
1993-04-09
David H. Wolpert
Decision-Theoretic Semantics for Intonation
1970-01-01
Forest Tree Mortality Simulation in Uneven-Aged Stands Using Connectionist Networks
1997-07-24
High-level Modeling with THORNs
1995-07-27
Constraint Programming Based on Logic Programs with Stable Model Semantics
1997-09-13
Ilkka Niemela
Effective Resource Discovery on the World Wide Web
1998-07-09
Elan Amir, Hari Balakrishnan, Srinivasan Seshan, Randy H. Katz
1995-01-24
Multiple Roles for GIS in US Global Change Research: Annotated Bibliography
1995-05-02
Ashton Shortridge
London, Connecticut: Connecticut College. 1997.
1997-05-12
An Architecture for Information Agents
1997-03-11
Pruning Backpropagation Neural Networks Using Modern Stochastic Optimization Techniques
1996-04-02
Specifying Visual Languages with Conditional Set Rewrite Systems
1995-10-02
Estimating the Selectivity of Spatial Queries Using the `Correlation' Fractal Dimension
1995-05-13
Higher Order Envelope Random Variate Generators
1998-01-29
Prospects for FPGA-based Reprogrammable Systems
1996-09-07
Rajeev Barua
Factoring via Strong Lattice Reduction Algorithms
1997-07-17
AHybrid Architecture for User-Adapted Information Filtering on the World Wide Web
1997-08-05
An Artificially Intelligent Jazz Performer
1998-12-31
Multigrid Methods For Nearly Singular Linear Equations And Eigenvalue Problems
1993-12-16
PAGODE: a realistic back-end generator
1996-07-23
Second- And Third-Order Wigner Distributions In Hierarchical Recognition Of Speech Phonemes
1998-01-28
Travel in Immersive Virtual Environments: An Evaluation of Viewpoint Motion Control Techniques
1997-06-24
The Asymptotic Method In The Novikov Conjecture
1997-05-23
T. Kato
Routing and Admission Control of Virtual Circuits in General Topology Networks
1999-02-06
Soft Typing with Conditional Types
1998-06-30
TSF: An Object Oriented Address Translation Simulation Framework
1995-12-04
Fuzzy Hierarchical Control for Autonomous Vehicles
1995-01-06
Symbolic Arithmetical Reasoning with Qualified Number Restrictions
1995-05-02
A Multi-Steering Trailer System: Conversion Into Chained Form Using Dyanmic Feedback
1995-01-27
Henk: A Typed Intermediate Language
1998-02-20
Cooperating Runtime Systems in
1998-07-20
Notes On Mohammad Ghomi's Solution to the Illumination Problem
1999-01-09
Ralph Howard
InterleavingNatural Language Parsing and Generation Through Uniform Processing
1996-09-19
On Average Case Complexity of SAT for Symmetric Distributions
1996-12-17
Maria J. Esteban Eric Sere
1997-12-04
Distributed Air Traffic Flow Management
1996-02-20
Gil Tidhar
A Transformational Approach to Binary Translation of Delayed Branches
1999-02-23
A New Approach to I/O Performance Evaluation - Self-Scaling I/O Benchmarks, Predicted I/O Performance
1998-01-24
Scheduling Strategy to Improve Response Time for Web Applications
1999-02-07
Ludmila Cherkasova
GIPSY: Automated Geographic Indexing of Text Documents
1995-12-21
The Minimal Number Of Solutions To
1998-10-16
Jeffrey J. Holt
The Complexity of Counting Problems in Equational Matching
1995-11-02
Miki Hermann
Forward and Markov Approximation: The Strong Intensity Fluctuations Regime Revisited
1998-02-12
An Empirical Approach to Temporal Reference Resolution
1998-11-11
Load Balancing Algorithms for SPMD Applications
1999-02-13
Unstructured Triangular-Quadrilateral Mesh Generation. Application to Surface Meshing.
1998-04-22
Search for the Pentaquark Via the
1998-12-18
Weighting for Godot: Learning Heuristics for GSAT
1997-06-18
Jeremy Frank
Equivalence to the Sequence Dependent Setup Time Problem
1998-09-26
Jean-louis Bouquard Christophe
Multigrid Methods For Fully Implicit Oil Reservoir Simulation
1995-03-31
J. Molenaar
Deterministic Resource Management for the Linear Logic Programming Language Lygon
1995-09-07
A Genetic Algorithm for Finite State Automata Induction with an Application to Phonotactics
1998-06-04
For 2-D lattice spin systems Weak Mixing Implies Strong Mixing
1997-04-26
Status of this Memo
1994-10-07
The Role of Semantic Context in the Temporal Interpretation of Events
1996-11-18
Mona Singh
Building Reliable Mobile-Aware Applications using the Rover Toolkit
1996-12-03
Mixtures of Local Linear Subspaces for Face Recognition
1998-11-11
HCRC Dialogue Structure Coding Manual
1997-07-31
Jean Carletta
A Conceptual Model for Tables
1998-09-15
Xinxin Wang
A Hardware Multicast Routing Algorithm for Two-Dimensional Meshes
1998-09-07
Second Tier for Decision Trees
1998-11-11
Miroslav Kubat
Heavy Vector MesonProduction At Hera
1998-11-03
Arnd Meyer
An Analytical and Experimental Investigation of a Jet Pipe Controlled Electropneumatic Actuator
1996-05-30
Naive Mixes for Word Sense Disambiguation
1997-03-20
Ted Pedersen
Snitch: Augmenting Hypertext Documents With A Semantic Net
1993-04-28
Spatially Resolved Compressor Characteristics for Modeling and Control of Blade-Scale Flow Instabilities
1995-12-22
Raymond A. Adomaitis
Active Object Recognition Integrating Attention and Viewpoint Control
1998-03-02
On Isospectral Sets of Jacobi Operators
1997-04-26
Symbol Ranking Text Compression with Shannon Recodings
1970-01-01
Peter Fenwick
DIVE - The Distributed Interactive Virtual Environment
1997-08-11
Space, Time And Superluminal Particles L. Gonzalez-Mestres
1997-04-26
L. Gonzalez-mestres
ADP-AT-94-5 Revised ELECTROMAGNETIC CASCADES AND CASCADE NUCLEOSYNTHESIS IN THE EARLY UNIVERSE R.J. Protheroe
1995-02-07
Interactive Indexing into Image Databases
1996-08-15
Michael J. Swain
An Exploration of the Application of Software Reuse Techniques to the Location of Services in a Distributed Computing Environment
1999-02-08
Aoife Cox
Clitics, Verb Non-Movement, and Optimality in Bulgarian
1997-01-24
Efficient Schemes for Nearest Neighbor Load Balancing
1998-06-10
Querying Structured Web Resources
1998-07-22
Towards Semantics-based Partial Evaluation of Imperative Programs
1997-09-03
Adaptive Enumeration of Implicit Surfaces with Affine Arithmetic
1995-06-22
Cellular Automata and Discrete Physics
1994-09-28
A Fast, Accurate, and Non-statistical Method for Fault Coverage Estimation
1998-11-11
Michael S. Hsiao
Extinctions In Scattering From Magnetically Ordered Quasiperiodic Crystals
1997-05-20
Improved Fairness Algorithms for Rings with Spatial Reuse
1997-09-08
An Algebra for Pomsets Extended Abstract
1995-03-14
Parallel Rendering with an Actor Model
1998-01-21
Point-mass filter and Cramer-Rao bound for Terrain-Aided Navigation
1997-08-18
Metadata-Based Middleware for Integrating Information Systems: A Case Study
1999-02-26
Constructing Covering Codes by Tabu Search
1996-12-12
Patric R. J
An Efficient Processor-Network Interface for Local Area Multiprocessors
1995-11-06
Rigorous Results for Random 2+p-SAT
1998-01-30
ICM 1998, Berlin, Aug. 18--27 Abstracts of Plenary and Invited Lectures
1998-07-01
Querying Composite Objects in Semistructured Data
1998-11-02
Keishi Tajima
Checking Timed Automata for Some Discretisable Duration Properties
1999-03-01
Observable Clock Synchronization
1995-08-30
Template-Based Recognition of Pose and Motion Gestures On a Mobile Robot
1998-09-29
On Scaling in Relation to Singular Spectra
1997-04-26
A. Hof
Plenoptic Image Editing
1997-02-20
Atmospheric Flight Mechanics Conference
1998-10-09
Zone Classification Using Texture Features
1998-03-02
.0 Reference Manual 1.
1997-05-06
Aspectual Composition and Our linguistic Interpretation of the World
1996-10-26
A Survey of Complexity Results for Planning
1995-12-05
Marco Cadoli
Exploiting Parallelism Through Directives on the Nano-Threads Programming Model
1999-04-07
A short and flexible proof of Strong Normalization for the Calculus of Constructions
1996-12-20
Herman Geuvers
Babies, Variables, and Connectionist Networks
1999-02-23
Eliana Colunga
Optimization of Hierarchical Designs Using Partitioning and Resynthesis
1995-06-08
Transport properties and performance of CdZnTe strip detectors
1997-11-25
Markov Models
1997-07-08
On the Semantics of a Concurrency Monad with Choice and Services
1996-08-02
On Parallel Object Oriented Programming in Fortran 90
1996-08-14
Implementing MPI using Interrupts and Remote Copying for the AP1000/AP1000+
1997-10-20
David Sitsky
NMR Object Boundaries: B-Spline Modeling and Estimator Performance
1995-07-18
Location Management Strategies Increasing Privacy in Mobile Communication
1996-09-26
STABCOL: An Efficient Implementation of the Weisfeiler-Leman Algorithm
1997-11-26
Architecturing Software Using A Methodology for Language Development
1998-08-10
Degeneration For Parabolic Group Actions In General Linear Groups
1999-04-21
Utilizing Untranscribed Training Data To Improve Performance
1998-03-23
XI: A Simple Prolog-based Language for Cross-Classification and Inheritance
1997-01-22
Diversity in the Software Development Process
1997-01-08
Direct and Inverse Bioelectric Field Problems
1998-05-30
Field Problems
Parallel Simulation of Pulse Coded Neural Networks
1997-05-21
The Evolutionary Unfolding of Complexity
1999-02-26
Active Memory: A New Abstraction for Memory-System Simulation
1995-02-17
Real-time Multi-resolution Modeling for Complex Virtual Environments
1998-07-30
Bilevel Models For Optimum Designs Which Are Insensitive To Perturbations In Variables And Parameters
1996-05-07
Mobile Robot Autonomy Via Hierarchical Fuzzy Behavior Control
1996-05-10
Edward Tunstel
A New Interface Paradigm for Motion Capture Based Animation Systems
1997-07-07
An Overview of Recent Developments in Computational Aeroelasticity
1998-07-15
The Random Cluster Model on a General Graph and a Phase Transition Characterization of Nonamenability
1999-01-14
Johan Jonasson
Triply Differential Jet Cross Sections for Hadron Collisions at Order
1998-05-23
Department of Computer Science
1993-07-07
Clustering of the Diffuse Infrared Light from the COBE DIRBE maps. I.
1997-12-11
PANEL SESSION: THE MODELING METHODOLOGICAL IMPACTS OF WEB-BASED SIMULATION Moderator: Panelists:
1997-11-04
Floating-Gate UVMOS inverter
1998-11-13
Local Liveness for Compositional Modeling of Fair Reactive Systems
1997-06-17
Access Controls for Cooperative Environments
1996-06-11
Stark's Conjectures and Hilbert's Twelfth Problem
1999-03-24
Line Based, Reduced Memory, Wavelet Image Compression
1999-01-31
A Visual Attention Network for a Humanoid Robot
1998-02-14
J. A. Driscoll
On Using Network Memory to Improve the Performance of Transaction-Based Systems
1998-05-25
Evolution And Co-Evolution Of Computer Programs To Control Independently-Acting Agents
1998-08-18
John R. Koza
Estimating Waveform Relaxation Convergence
1995-01-18
B. Leimkuhler
An Image Reorganization Procedure For Automotive Road Following Systems
1996-07-03
Alberto Broggi
Compression of Discrete Multiresolution Models
1998-05-14
Finding the Hidden Path: Time Bounds for All-Pairs Shortest Paths
1995-01-18
Quantization For Distributed Estimation With Unknown Observation Statistics
1997-10-28
Applicability of Automatic Program Comprehension to Sparse Matrix Computations
1998-07-03
Synthesis for Testability Techniques for Asynchronous Circuits
1995-01-26
Issues in the Design of Collaborative Systems: Lessons from ConversationBuilder
1995-08-02
StarT-Jr: A Parallel System from Commodity Technology
1996-10-01
Measurement Of Polarized Quark Distributions At Hermes
1999-01-27
J. W. Martin
Emulating Soft Real-Time Scheduling Using Traditional Operating System Schedulers
1998-11-24
Functional Pearl: Polytypic Unification
1998-09-24
Relational Concepts and the Fourier Transform: an Empirical Study
1998-07-07
Conceptual, Semantic and Information Models for Medicine
1995-04-10
Exploration of Text Collections with Hierarchical Feature Maps
1997-04-20
Dieter Merkl
Implicit Parallelism in Genetic Algorithms
1994-09-05
A Vector Quantizer for Image Restoration
1997-11-25
The Advantages of Forward Thinking in Generating Rooted and Free Trees
1998-09-01
A Frequency-Domain Analysis of Head-Motion Prediction
1996-01-03
Collecting and Employing Selectional Restrictions
1996-11-15
Numerical Study Of A Continuum Sonic Jet Interacting With A Rarefied Flow
1997-06-17
Query Optimization by Predicate Move-Around
1996-02-14
Media and Modalities Allocation in Intelligent Multimedia User Interfaces
1998-03-18
Performance and the Single/Multi--Processor Operating System Process Subsystem
1996-01-24
Dynamic Programming via Static Incrementalization
1970-01-01
Derivative Asset Analysis in Models with Level-Dependent and Stochastic Volatility
1997-06-30
Rudiger Frey
Constraints in Computational Semantics
1998-02-10
Synchronous Communication Techniques for Rationally Clocked Systems
1995-10-20
Interfacing Oz with the PCTE OMS: A Case Study of Integrating a Legacy System with a Standard Object Management System
1997-06-29
The Complexity of Scheduling Graphs of Bounded Width Subject to Non-Zero Communication Delays
1997-12-09
Jacques Verriet
Laboratory for Computer Science
1997-08-29
Olin Shivers
Linux System Administrator's Guide 0.3
1995-08-06
Lars Wirzenius
Analysis of a Guard Condition in Type Theory
1997-11-10
Markus Stroppel
1995-05-04
Communicated K. Strambach
Virtual Reality, Art, and Entertainment
1994-03-15
Joseph Bates
Segmentation and Interpretation of MR Brain Images: An Improved Active Shape Model
1998-10-16
Homotopy Theory, and Change of Base for Groupoids and Multiple Groupoids
1996-01-27
Ronald Brown
Beginner's Guide to HTML
1996-06-20
The Temperature Dependence of Solar Neutrino Fluxes
1997-03-21
A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs
1998-09-16
Jurgen Dingel
Batalin-Tyutin Quantization of the Self-Dual Massive Theory in Three Dimensions
1998-05-23
Problems in Low-Dimensional Topology
1996-04-26
Edited Rob Kirby
Competitive Algorithms for Multilevel Caching and Relaxed List Update Extended Abstract
1997-11-16
Energy Leakage Measurement in TILECAL using the Scintillating Detectors MuWalls
1996-12-18
A Study of the Factorization Fill-In for a Parallel Implementation of the Finite Element Method
1996-08-11
The Design and Implementation of the RAID-V2 Distributed Database System
1995-11-09
RSVP Extensions for Policy Control
1996-11-25
The LaTeX2HTML Translator
1994-07-06
Nikos Drakos
The Ordered Core Based Tree Protocol
1999-03-04
Frequency-Independent Beamforming
1995-11-03
Michael M. Goodwin
Unknown
1997-03-28
Further Results on Cosets of Convolutional Codes with Short Maximum Zero-Run Lengths
1995-08-21
Reservation-Based Totally Ordered Multicasting
1996-03-14
Focusing Search in Hierarchical Structures with Directory Sets
1998-09-18
An Analysis of Approximate Nonlinear Elimination
1997-02-27
Charmonium Production via Fragmentation at Higher Orders in ...
1997-12-11
Dynamic Sharing and Backward Compatibility on 64-Bit Machines
1992-04-30
The Relationship between Logic Programs and Specifications - The Subset Example Revisited
1996-12-12
Dealing with Vehicle/Terrain Interactions when Planning the Motions of a Rover
1998-04-09
Mining for Causes of Cancer: Machine Learning Experiments at Various Levels of Detail
1998-05-08
Optimal Mapping of Neighbourhood-Constrained Systems
1998-03-13
Computational Results for Parallel Unstructured Mesh Computations
1994-12-16
Fugue Reference Manual Version 1.0
1992-01-24
Multi-Authority Secret-Ballot Elections with Linear Work
1999-02-12
Optimal Local Register Allocation for a Multiple-Issue Machine
1996-01-15
The Performance Impact Of Address Relation Caching
1995-06-02
Period changes of AR Lacertae between 1900 and 1989
1997-12-11
Adaptation of Genetic Algorithms for Engineering Design Optimization
1996-07-11
A Theory of Parameterized Pattern Matching: Algorithms and Applications Extended Abstract
1995-07-27
A Schema for Adding Dependent Types to ML
1999-03-23
Incremental Model Checking in the Modal Mu-Calculus
1994-10-18
On the Hierarchical Variable Block Size Motion Estimation Technique for Motion Sequence Coding
1993-12-31
AUCS/TR9404 Towards a Constraint-Based Repair Mechanism for Complex Database Updates
1995-04-13
Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model Using Event-Based Data
1996-11-01
A Hybrid Learning Model of Abductive Reasoning
1995-05-23
Committees of Decision Trees
1998-08-31
A Concurrent Architecture for Serializable Production Systems
1998-12-22
Jos'e Nelson Amaral
Pose Estimation of Multi-Part Curved Objects
1997-04-16
Autonomous Objects: A Natural Model for Complex Applications
1994-04-08
Genetic Self--Learning
1994-09-06
The Stability of the Peierls Instability for Ring-Shaped Molecules
1997-04-26
Deploying ATM in a Data Network: An Analysis of SVC Requirements
1995-04-08
Approaches to Surface Realization with HPSG
1998-09-25
Graham Wilcock
A Schur Complement Method For Eigenvalue Problems
1995-03-28
Object Interconnections
1996-12-22
Memory Efficient Scalable Line-based Image Coding
1999-02-06
A Visually Oriented Representation of Planar Relative Position
1996-02-09
Jean-marc Odobez
Monitoring and Visualization in Cluster Environments
1996-04-17
Dynamical Analysis Of Low Temperature Monte Carlo Cluster Algorithms
1997-04-26
Fabio Martinelli
An Input Output HMM Architecture
1970-01-01
Implementing Lightweight Threads
1998-05-06
Enhanced Services for World-Wide Web in Mobile WAN Environment
1996-05-15
Interprocedural Slicing Using Dependence Graphs
1995-05-15
Counting the Number of Points on Elliptic Curves over Finite Fields of Characteristic Greater than Three
1996-07-04
Geometrical Aspects of Detection Theory
1995-01-28
An Empirical Evaluation of Bayesian Sampling with Hybrid Monte Carlo for Training Neural Network Classifiers
1998-12-11
Statistical properties of MPEG video traffic and their impact on traffic modeling in ATM systems
1995-03-02
O. Rose
Select Z Bibliography
1994-06-01
Jonathan P. Bowen
Data Refinement of Mixed Specifications: A Generalization of UNITY
1996-03-13
Beverly A. Sanders
Nonperturbative Linearization of Dynamical Systems
1997-04-26
Fault Manager for Distributed Operating Environments Design, Implementation, and Performance
1998-10-01
K-Clusters Tableaux - A Tool for Modal Logics and Inconsistent Belief Sets
1997-03-11
Fabio Massacci
Nearest Optimal Repeatable Control Strategies for Kinematically Redundant Manipulators
1995-08-28
Goodness of Time-Processor Optimal PRAM Simulations
1997-01-17
Batalin-Vilkovisky Formalism and Integration Theory on Manifolds
1998-05-13
Evolving Cellular Automata with Genetic Algorithms: A Review of Recent Work
1997-08-19
A 2-Categorical Approach To Change Of Base And Geometric Morphisms Ii
1998-07-01
Transmitted Michael Barr
Module Configuration by Minimal Model Construction
1995-05-05
Acknowledgements
1996-03-13
The General Rational Interpolation Problem in Scalar Case and Its Hankel Vector
1996-02-02
Designing an Embedded Hard Real-Time System: A Case Study
1997-06-04
Metrics of Positive Scalar Curvature on Spherical Space Forms
1995-09-26
An Analog Neural Network with On-Chip Learning
1970-01-01
In Black and White: An Integrated Approach to Object-Oriented Program Testing
1996-12-20
A Sequential Model for Attentive Object Selection
1994-11-03
Winfried A. Fellenz
An Extensible Data Model for Hyperdocuments
1995-01-18
Consensus Service: a modular approach for building agreement protocols in distributed systems
1998-08-28
Rachid Guerraoui
Making and Refining Qualitative Interpretation for Spectral Images
1998-03-29
An Adaptive Gradient Algorithm for Maximum Likelihood Estimation in Imaging: A Tutorial
1970-01-01
Gerhard Winkler
How to Add Laziness to a Strict Language Without Even Being Odd
1998-09-04
Software with Partial Functions: Automating Correctness Proofs via Nonstrict Explicit Domains
1996-07-04
Ada95 Trustworthiness Study Analysis of Ada95 for Critical Systems Appendices Version 2.0
1997-10-28
Consistency of Minimizers and the SLLN for Stochastic Programs
1995-10-27
Zvi Artstein
<e-106>
1993-09-25
Neural Network Prediction with Noisy Predictors.
1998-12-02
A. Adam Ding
Perfectly-Secure Key Distribution for Dynamic Conferences
1996-03-04
Chess For Girls?: Feminism and Computer Games
1999-03-05
Dedicated to the memory of J. H. C. Whitehead
1970-01-01
Multiresolution and Wavelets
1995-11-25
Intelligent Agents for a Mobile Network Manager MNM
1998-03-30
Towards Requirements For More Adequate Software Tools That Support Both: Learning And Doing Statistics
1995-03-23
Rolf Biehler
Blind Source Separation Using Time-Frequency Distributions: Algorithm And Asymptotic Performance.
1997-04-08
The Magnetic Collimation of Bipolar Outflows I: Adiabatic Simulations
1994-06-20
Gravitational Ionization: Periodic Orbits Of Binary Systems Perturbed By Gravitational Radiation
1997-04-26
Design Of A Grinding Machine For Glasses
1997-04-04
Computable Functions on Stream Algebras
1996-05-13
A Family of Syntax Definition Formalisms
1999-03-16
The Modular Specification and Analysis of an ATM Switching System Using a Process Algebra
1997-01-08
Non-Constituent Coordination: Theory And Practice
1997-09-16
David Milward
Challenges for Studying Population-Environment . . .
1996-12-17
Wolfgang Lutz
Theoretical Methods for Planning and Control in Mobile Robotics
1997-03-25
Final-State Interactions in
1970-01-01
Linking Fortran 90 and Interval-Enhanced GNU Fortran Code
1998-05-30
Michael J. Schulte
Continuous Optical Automatic Speech Recognition by Lipreading
1999-02-07
March 1991
1993-05-20
Philip Wadler
Parameter Sensitivity Analysis for Design and Control of Tendon Transmissions
1998-10-26
Boris Khesin and Alexei Rosly
1980-01-20
single user: Usually, one workstation is dedicated to one user, and not shared in most cases with other users. But some powerful workstations are used as departmental servers as well.
1998-08-28
On Einstein Manifolds of Positive Sectional Curvature
1998-07-15
Natural Language Processing With Modular PDP Networks and Distributed Lexicon
1997-12-19
Lexicality and Argument Structure
1996-04-15
Joan Bresnan
Fast, Long-Lived Renaming Improved and Simplified
1997-06-23
Mark Moir
An asynchronous implementation of SCPP-A
1995-07-14
The Construction of Large Scale Reconfigurable Parallel Computing Systems The Architecture of the SC320
1996-11-03
Modelling Nonlocal Processes In Semiconductor Devices With Exponential Difference Schemes - Part 2: Numerical Methods and Computational Experiments
1998-12-06
Correctness proof for the WAM with types
1996-06-24
Theorem Proving with Transitive Relations from a Practical Point of View
1996-06-20
Applications of the Mellin-Barnes integral representation
1998-05-23
Technical Report No. 97-407 EFFICIENT SORTING ON THE STAR GRAPH INTERCONNECTION NETWORK
1997-09-25
Performance Analysis of a Large-Grain Dataflow Scheduling Paradigm
1998-01-08
A Unified Framework for the Study of Anti-Windup Designs
1970-01-01
Hardware Compilation of Cellular Automata Algorithms
1993-08-31
Paul Thomas
Coordinated Allocation of Memory and Processors in Multiprocessors
1996-02-19
Shift Invariant Wavelet-Based Statistical Models And Processes
1998-07-24
Robert D. Nowak
Nonlinear Wavelet Processing For Enhancement Of Images
1995-03-01
Evaluating Workflow and Process Automation in Wide-Area Software Development
1997-10-07
Progressive Meshes
1997-05-23
Tile Logic for Synchronized Rewriting of Concurrent Systems
1999-01-02
Roberto Bruni
Robust Facility Location
1998-05-07
, Peter Reiher
1999-02-23
Quantum Monte Carlo Calculations For Light Nuclei
1998-07-17
R. B. Wiringa
Multi-perspective Collaborative Design in Persistent Networked Virtual Environments
1996-01-10
An Integrated Software Development Model for Heterogeneous High Performance Computing
1994-12-09
TEA, a Tiny Encryption Algorithm.
1995-03-27
A Hybrid Reconfiguration Scheme for Real-Time Fault-Tolerant Systems
1996-11-19
The Linux Emacspeak HOWTO
1998-04-26
The Generalized Hough Transform on an MIMD Machine
1995-08-03
An SMDL system declaration specifies the version of SMDL and all of the facilities that an SMDL system can support.
1995-11-26
Code Migration Through Transformations: An Experience Report
1998-10-11
A Survey of Object-Oriented Concepts
1993-07-04
Oscar Nierstrasz
A Critique of C++ and Programming and Language Trends of the 1990s
1996-10-25
Ian Joyner
It's About Time: Real-time Logics Reviewed
1998-11-10
Thomas A. Henzinger
Towards a Mathematical Specification of a Graph-Narrowing Machine
1996-12-21
Prototype Extraction in Material Attractor Neural Network With Stochastic Dynamic Learning
1998-03-11
S. Fusi
The Weakest Reasonable Memory Model
1970-01-01
Task partitioning in insect societies II: use of queueing delay information in recruitment
1998-04-08
Renormalization Group Solution of Two-Phase Flow Equations for Rayleigh-Taylor Mixing
1996-12-12
Combining Program and Data Specialization
1999-01-05
Cilk: An Efficient Multithreaded Runtime System
1970-01-01
PaNIntE: A New Environment for Solving
1996-02-16
Markus Salchegger
Bounded Bose fields
1997-04-26
K. -h. Rehren
A Hippocampal-Like Neural Network Model Solves The Transitive Inference Problem
1998-12-01
Integrating Constraints, Composite Objects and Tasks in a Knowledge Representation System
1996-07-17
The Compactness of Interval Routing for Almost All Graphs
1998-05-28
Register Allocation via Graph Coloring
1996-09-09
Preston Briggs
Concurrency Annotations in C++
1994-07-18
Unknown
1993-07-28
Characteristics of Higher-level Languages for Software Architecture
1996-07-22
Diffeomorphism Invariant Integrable Field Theories and Hypersurface Motions in Riemannian Manifolds
1998-05-25
A Synthetic Workload Model For Internet Mosaic Traffic
1970-01-01
Justin A. Boyan
1998-12-17
Justin A. Boyan
Bayesian Methods for Neural Networks: Theory and Applications
1995-06-27
David J. C. Mackay
A Recursive Neural Network for Reflexive Reasoning Short Position Paper
1998-10-26
Steffen Holldobler
A Unifying Type-Theoretic Framework for Objects
1996-08-18
Tigger Project
1995-03-09
Sparse Correlation Kernel Analysis and Reconstruction
1998-07-01
a comparison of using A PPL and PVM for a parallel implementation of an unstructured grid generation program
1998-08-24
Index Generation and Advanced Search Functions for Muitimedia Presentation Material
1997-11-12
No Evidence on Directional vs. Proximity Voting
1999-03-18
Light Scattering Simulations with a Massively Parallel Computer at the IC
1994-11-15
Comparison-efficient and Write-optimal Searching and Sorting
1999-01-23
Minimizing Memory Cache Usage For Multigrid Algorithms In Two Dimensions
1997-06-25
Craig C. Douglas
The Asymptotic Behavior of Quadratic Forms in Heavy-Tailed Strongly Dependent Random Variables
1997-04-14
Evolving Multiagent Coordination Strategies with Genetic Programming
1997-02-23
Multilingual Speech Recognition in the Context of Multilingual Information Retrieval Dialogues
1998-12-14
Pictorial Query Trees for Query Specification in Image Databases
1998-12-09
Compiling for the Multiscalar Architecture
1998-03-02
T. N. Vijaykumar
A Scalar Function Formulation for Optical Flow
1998-11-12
Amir A. Amini
Jump and Sharp Cusp Detection By Wavelets
1997-10-21
Wavelets Yazhen Wang
Multi-Protocol Active Messages on a Cluster of SMP's
1997-09-01
Nature of the Alpha Effect in Magnetohydrodynamics
1996-08-28
N. Seehafer
Analysis of HTTP/1.1 Performance on a Wireless Network
1999-03-09
The Object-Protocol Model
1993-11-19
An Olog k approximate min-cut max-flow theorem and approximation algorithm
1995-10-24
Distributed EZ
1995-11-06
A Locally Adaptive Perceptual Masking Threshold Model for Image Coding
1996-02-13
Fuel Optimized Rotation for Satellite Formations in Free Space.
1998-09-15
Effect of CC-NUMA Memory Management on the Performance of Interconnection Networks
1998-03-09
Deformation Quantization Of Polynomial Poisson Algebras
1998-03-24
Michael Penkava
The Relative Power Of Logspace And Polynomial Time Reductions
1996-01-08
An Engineering Document Management System
1995-10-16
The Nucleon-Nucleon Interaction In The Chromo-Dielectric Soliton Model: Dynamics
1998-05-13
Enhancing the Data Openness of Frameworks by Database Federation Services
1970-01-01
Spatial Discretization Of Partial Differential Equations With Integrals
1998-08-26
Robert I. Mclachlan
An Algorithm for Distributed Location Management in Networks of Mobile Computers
1996-09-30
On Analytic Continuation Of Power Series With The Condition On Their Gelfond-Leontev Derivatives
1997-06-24
Myroslav M. Sheremeta
Parametric Subtypes in ABEL Revised Version
1996-01-11
Feature Logics
1994-07-14
William C. Rounds
Matter From Geometry
1996-06-14
A Hidden Agenda
1998-11-21
Joseph Goguen
A Fast Dot-Product Algorithm with Minimal Rounding Errors
1995-09-26
Flexible Seasonal Long Memory and Economic Time Series
1995-10-12
Marius Ooms
ML and the Address Operator
1998-09-23
Narrowband Interference Suppression in Spread Spectrum CDMA
1994-10-31
Interpolating Arithmetic Read-Once Formulas in Parallel
1999-03-28
Presenting Punctuation
1997-01-07
Michael White
The Fiasco Kernel: Requirements Definition
1999-04-28
Learning Object Representations By Clustering Banana Wavelet Responses
1997-03-07
Efficient Neighbor Searching in Nonlinear Time Series Analysis
1997-03-26
Thomas Schreiber
Intermail And Commercial Mail Relay Services
1994-06-02
Possibly Infinite Sequences in Theorem Provers: A Comparative Study
1997-09-29
Unknown
1998-08-26
Yutaka Kano
The Single Neuron as a Classifier
1997-04-10
Unknown
1992-04-04
Theodore Johnson
Characterizing memory system performance for local and remote accesses in high end SMPs, low end SMPs and clusters of SMPs
1998-07-23
On Variations Of Queue Response For Inputs With The Same Mean And Autocorrelation Function
1996-07-04
Representations of thermodynamic variability in the automated understanding of FLIR scenes
1996-10-30
Figure 6: Packet queueat the switches 1 and 2 for a configuration with
1991-03-07
Formal Methods for Verification and Validation of partial specifications: A Case Study
1998-03-16
Identification of Spatially Random Signal Intensity Using Approximate Entropy ApEn - A Method for Image Noise Reduction
1999-02-02
Automatic Selection of Fixture Points for Frictionless Assemblies
1996-10-16
J. D. Wolter
The LIMSI ARISE System
1999-01-18
Can Computational Logic Provide a Paradigm for Both the Specification and Implementation of Concurrent Systems?
1996-08-29
Fluctuations In The IRAS 1.2 Jy Catalogue
1998-11-11
July 22, 1992 Version.
1998-08-15
John R. Koza
Automatic Model Construction, Pose Estimation, and Object Recognition from Photographs Using Triangular Splines
1997-10-21
Kendra: Internet Distribution Delivery System
1997-08-27
What is a Knowledge Representation?
1998-11-03
Decision Problems For Patterns
1996-01-31
Gathercast: An efficient multi-point to point aggregation mechanism in IP networks
1998-07-26
Parallel Computers and Complex Systems
1994-08-31
C. N. Leung
1998-05-23
Quantitative Analysis of Heart Rate Variability
1996-08-29
Technical Details and Ergonomical Aspects of Gesture Recognition applied in Intelligent Home Environments
1997-06-30
Markus Kohler
SciAgents - An Agent Based Environment for Distributed, Cooperative Scientific Computing
1995-09-21
A Data Flow Graph Exchange Standard
1998-05-19
NetFAN - A Structured Adaptive Fuzzy Approach
1997-07-28
Distribution Properties Of Multiply-With-Carry Random Number Generators
1996-08-01
Raymond Couture
On Robots and Flies: Modeling the visual orientation behavior of flies
1998-10-12
A New Approach To Inverse Spectral Theory, I. Fundamental Formalism
1997-12-23
Barry Simon
Wave Leakage in a Magnetized Isothermal Atmosphere
1996-01-24
Justin A. Boyan
1998-12-17
Justin A. Boyan
Segmentation of Medical Data Using Locally Excitatory Globally Inhibitory Oscillator Networks
1997-02-04
On a theorem of Ashtekar and Lewandowski in the mathematical framework of canonical quantization in quantum gravity
1998-12-23
H. Baumgartel
Numerical Schemes For Hyperbolic Conservation Laws With Stiff Relaxation Terms
1996-03-26
Parallel Logic Programming Techniques
1998-02-02
Distributing Agents
1998-11-13
The KdV Hierarchy And Associated Trace Formulas
1997-04-26
Lexical Resources for Natural Language Processing Systems and the Problem of Polysemy
1997-08-15
Cornelia Maria Verspoor
Using Optimized Multi-Attribute Hash Indexes For Hash Joins
1994-09-19
Evan P. Harris
Towards a Formal Characterizationof Semantic Topics
1998-03-21
Howard Gregory
Simulation-Based Analysis Of Distributed Information System Behaviour
1970-01-01
Dia- and Paramagnetism for Nonhomogeneous Magnetic Fields
1997-07-09
Using Constraints for the Identification of Buildings in Aerial Images
1997-05-28
Bayesian Optimal Design in Population Models of Hematologic Data
1995-03-02
Final February1993
1998-11-10
Diskless Checkpointing
1998-01-02
Robust car tracking using Kalman filtering and Bayesian templates
1997-10-15
Frank Dellaert
An Architecture for Enforcement of Usage Contracts in Distributed Multimedia Systems
1996-08-27
David Evans
New Ccd Observations Of The Rr Lyrae Variables In The Oosterhoff Type Ii Cluster M9
1999-04-13
Blending Operations for the Functionally Based Constructive Geometry
1998-12-21
An Object-Oriented Rule-Based Approach To Data Model And Schema Translation
1970-01-01
Codes and Equations on Trees
1998-10-25
Extraction of Semantic 3D Models of Human Faces from Stereoscopic Image Sequences
1998-09-25
The Alf'ven Effect and Conformal Field Theory
1998-05-14
S. Rouhani
Measuring Web Performance in the Wide Area
1999-04-10
Michelle X. Zhou
1998-04-14
Michelle X. Zhou
Hamiltonian Mechanics
1998-04-17
Ivar Ekeland
The Performance of the Cedar Multistage Switching Network
1997-02-07
Performance Measurements of a Simple Hierarchically Coded Image Animation over Various Network Testbeds
1994-03-09
Language and Compiler Issues in Scalable High Performance Scientific Libraries
1970-01-01
S. Lennart Johnsson
Fault Interpretation: Fine-Grain Monitoring of Page Accesses
1992-12-11
Daniel R. Edelson
Scalable Multimedia-On-Demand via World-Wide-Web WWW with QOS Guarantees
1996-06-27
Logic Programming: The Evolving Algebra Approach
1996-06-24
Egon Borger
Validation of Nearest Neighbor Classifiers
1998-08-05
Eric Bax
An analysis of bilinear transform polynomial methods of inversion of Laplace transforms
1995-07-19
Tool Interface Technology
1996-10-01
Joe Newcomer
An Analysis of a 16QAM System using Extended Symbol-Aided Estimation under Rician Fading Channels
1998-06-12
NEULA: A hybrid neural-symbolic expert system shell
1998-05-21
On the Additive Complements of the Primes and Sets of Similar Growth
1996-09-19
Mihail N. Kolountzakis
On the Stability of Realistic Three--Body Problems
1996-04-26
Parallel Incremental Raytracing of Animations on a Network of Workstations
1998-08-03
Localization for One Dimensional Long Range Random Hamiltonians
1996-10-01
Design Of Broadband Generators Using Chaotic Electronic Circuits
1997-02-14
PFSA Modelling of Behavioural Sequences by Evolutionary Programming
1994-12-08
An Evaluation of Software-Based Release Consistent Protocols
1995-07-20
Reinforcement Learning Without an Explicit Terminal State
1998-02-11
Martin Riedmiller
FORTH-ICS / TR-124 July 1994
1995-11-06
Zacharenia Xanthaki
A Reflective Architecture for an Adaptable Object-Oriented Operating System Based on C++
1997-06-24
Frank Schubert
Using Schema Information for Querying Databases
1995-11-22
Comparing Mostly-Copying and Mark-Sweep Conservative Collection
1999-02-02
A Decomposition of 2--Weak Vertex-Packing Polytopes
1995-12-08
Reverse Architecture
1995-01-25
John Vlissides
The Helmholtz Machine
1996-02-13
Journal of Graph Algorithms and Applications
1999-04-13
The DIOM Approach to Large-scale Interoperable Database Systems
1995-06-30
Constraint Satisfaction Problems with Order-Sorted Domains
1996-02-22
The FuzzBug Mobile Robot
1998-01-16
Unstructured Templates for Programming Irregular Grid Applications on High Performance Computers
1998-10-28
Asymptotically Dense Nonbinary Codes Correcting A Constant Number Of Localized Errors
1999-04-21
Quality of Service Provision in Noncooperative Network Environments
1997-08-01
Logical Specification of Bulk Updates and Sequential Updates
1996-10-01
SIM AGENT: A toolkit for exploring agent designs
1996-01-07
Software Engineering in Japan - A Comparison of the Information Gathered by the 1990 and 1994 Missions from the United Kingdom
1994-11-02
I C Wand
A non-Mixed-Term Inference System for Olderog Process Calculus
1994-12-09
Missing Data in Interactive High-Dimensional Data Visualization
1998-11-16
Deborah F. Swayne
A Design Methodology for Domain Independent Computer Generated Forces
1999-02-03
Robust and Secure Password and Key Change Method
1993-12-08
Orientation Constraints in Point-Based Elastic Image Registration
1998-10-22
E.Olivieri
1997-04-26
A Note on the Characterization of the Global Maxima of a Tangentially Convex Function Over a Convex Set
1996-06-24
Yuri S. Ledyaev
The size of Fulton's essential set
1997-12-26
Kimmo Eriksson
geoPOM: A Heterogeneous Geoscientific Persistent Object System
1997-07-16
Language Spaces
1996-07-19
C. M. Holt
Integrating IR and CBR to Locate Relevant Texts and Passages.
1998-04-07
SENSITIVITY ANALYSIS IN DEGENERATE QUADRATIC PROGRAMMING Arjan B. Berkelaar
1996-03-08
Document Zone Classification Using Machine Learning
1996-07-30
Traffic Classification using Neural Networks
1996-01-29
Independent Component Analysis for Mixed Sub-Gaussian and Super-Gaussian Sources
1997-09-28
Planets Around White Dwarfs
1998-06-25
Performance Implications of Synchronization Support for Parallel Fortran Programs
1970-01-01
Fzhangh,dm,hudson,hoffg@cs.unc.edu
1997-07-02
Systems Development with Java: Experiences from a Practical Project Course in Software Engineering
1997-09-29
Fast Bypass Algorithms for High-Speed Networks
1996-11-11
WKB to all orders and the accuracy of the semiclassical quantization
1997-04-26
Marko Robnik
Using Elicited Choice Expectations To Predict Choice Behavior In Specified Scenarios
1997-07-22
Charles F. Manski
Robust Visual Servoing based on Relative Orientation
1998-11-17
Performance Optimization of VLSI Interconnect Layout
1997-04-04
Genetic And
1999-03-17
Marco Dorigo
An Experiment With Browsers That Learn
1998-07-13
More Efficient Software Implementations of Generalized DES
1996-09-20
Andreas Pfitzmann
On the Convergence in the Variation Norm for the Images of Measures Under Differentiable Mappings
1999-04-21
Rewriting Methods for Word Problems
1994-10-27
Nachum Dershowitz
A General Framework for Analyzing Shared-Memory Parallel Programs
1992-06-29
Learning to Pay Attention to What Matters: The Conditioning Circuit Revisited
1998-03-13
Marcos M. Campos
Interprocedural Array Data-Flow Analysis for Cache Coherence
1995-04-25
An Agent-Based Computational Model for the Evolution of Trade Networks
1998-08-29
Information Access in the Web
1997-09-17
Rational Parametrizations of Non-singular Real Cubic Surfaces
1997-08-29
Image Registration using Multiresolution Frequency Domain Correlation
1998-11-13
An Old-Fashioned Recipe for Real Time
1994-07-25
A Logical Formalization of Hardware Design Diagrams
1994-11-07
Kathi Fisler
Block Save Addition with Telescopic Sums
1996-01-10
The Design of a Configurable Text Summarization System
1998-07-22
Modelling Spatio-Temporal Trajectories and Face Signatures on Partially Recurrent Neural Networks
1995-08-21
System Modeling and Presynthesis Using Timed Decision Tables
1997-04-17
Pedagogical Value of the World-Wide Web
1994-12-02
Of Genericity and Other Daemons
1970-01-01
Darius Blasband
Regularisation Theroy Applied to Neurofuzzy Modelling
1998-01-18
Recognition Of Assimilated Words In Normal And Fast Speech
1999-03-02
Reduction of Network Cost and Wiring in Ranade's Butterfly Routing
1995-03-11
Algebraic Terminological Representation
1996-07-18
A Markup Language For Text-To-Speech Synthesis
1997-05-23
Conditional Independence Structures Examined via Minors
1998-09-24
Achieving Independence Efficiently and Securely
1995-05-22
Rosario Gennaro
1994 Shannon Lecture - Typical Sequences and All That: Entropy, Pattern Matching, and Data Compression
1996-12-06
Aaron D. Wyner
Some MEDLINE Queries Powered By Kleisli
1998-04-06
Limsoon Wong
Area Exam Submission
1994-07-27
Shail Aditya Gupta
The Design and Implementation of a DCD Device Driver for Unix
1999-01-27
Fast Bypass Algorithms for High-Speed Networks
1997-09-08
Customized Plans Transmitted by Flexible Refinement
1997-01-17
Dietmar Dengler
Teaching Computer Networks Across Networks
1998-10-22
Confluence of Conditional Rewriting Systems with Built-in Predicates and Standard Premises as Conditions
1997-10-09
Mauricio Ayala Rinc'on
Block Renormalization Group Approach for Correlation Functions of Interacting Fermions
1998-10-09
Emmanuel Pereira
ROCVM: A Formal Execution Model for High Assurance, Heterogeneous Distributed Computing.
1996-04-17
Compensation-Based Query Processing in On-Line Transaction Processing Systems
1998-04-21
Svein-olaf Hvasshovd
Optimized Communication Patterns on Workstation Clusters
1970-01-01
Visual Analysis of Stream Data
1997-01-29
Fast address lookup for Internet routers
1998-03-17
Scaling Limit For The Incipient Spanning Clusters
1997-10-17
Michael Aizenman
How Mathematicians Prove Theorems
1995-04-25
Erica Melis
Local Call Admission Policies for Cellular Networks Using Genetic Algorithms
1998-12-23
Mark Tranmer
1997-01-10
Mark Tranmer
Heat Conduction in Fine Scale Mixtures With Interfacial Contact Resistance
1997-02-10
Robert Lipton
Comparisonof 2nd and 4th Order Discretizations for Multigrid Poisson Solvers
1995-12-27
A 2SP Case Study: Coordinating Formally Specified Computations of Gaussian Elimination with Partial Pivoting
1997-07-01
Deciding the Vapnik-Cervonenkis dimension is -complete
1996-02-29
Marcus Schfer
A Chow Property For Sampled Bilinear Systems
1998-12-31
Eduardo D. Sontag
Topological Interpolation in SOM by Affine Transformations
1995-04-12
Wolfgang Rosenstiel
Lattice Tilings By Cubes: Whole, Notched and Extended
1998-02-25
Mihail Kolountzakis
Noise Elimination In Approximation And Time Series Prediction With Hinging Hyperplanes
1998-05-13
Expansion-Passing Style: A General Macro Mechanism
1996-01-05
How Massive Are Population Iii Stars?
1998-08-19
Masayuki Umemura
Protecting Data Privacy in Private Information Retrieval Schemes
1999-04-14
Technology Overview: A Report on Data Mining
1999-02-08
Euclidean Structure and Motion Recovery: Multi-Frame Constraints, Invariants and Algorithms
1998-12-02
Re-Encoding of FSMs by Symbolic Techniques Targeting Area Minimization
1995-06-19
File System Logging Versus Clustering: A Performance Comparison
1996-06-07
Interval LinearConstraint Solving Using the Preconditioned Interval Gauss-Seidel Method
1995-03-01
Impact of Clustered Traffic Distributions in CDMA Radio Network Planning
1999-03-09
On the Use of Periodicity Properties for the Efficient Numerical Solution of Certain Markov Chains
1996-08-09
A Polynomial-Time Algorithm for an Equivalence Problem which Arises in Hybrid Systems Theory
1998-08-11
Modeling Processor Wait Time for 2-D Parallel Finite Element Applications
1996-03-12
Numerical Solution of Special Algebraic Riccati Equations via an Exact Line Search Method
1998-06-09
Plan Abstraction with Change of Representation Language
1998-09-02
Ralph Bergmann
A Parallel Recurrent Cascade-Correlation Neural Network with Natural Connectionist Glue
1998-09-07
Probabilistic Projection In Planning
1996-02-09
Drew Mcdermott
Secure Evaluation of Modular Functions
1998-07-29
Type II supernovae: stellar core collapse and Boltzmann neutrino transport
1995-12-05
Correlation Spectrum of Quenched and Annealed Equilibrium States for Random Expanding Maps
1997-04-26
Viviane Baladi
Efficient Kernel Support for Reliable Communication
1998-05-18
Polynomial Time Query Processing in Temporal Deductive Databases
1993-02-27
SN and CR for free-style LK^tq: linear decorations and simulation of normalization
1970-01-01
Improving the Accuracy vs. Speed Tradeoff for Simulating Shared-Memory Multiprocessors with ILP Processors
1998-12-04
An Analytic Model of Hierarchical Mass Storage Systems with Network-Attached Storage Devices
1996-07-12
On the Structure of Bull-Free Perfect Graphs, 2: The Weakly Triangulated Case
1998-12-22
Celina M. H. De Figueiredo
Experiments with Parallel Graph Coloring Heuristics and Applications of Graph Coloring
1997-08-22
Gary Lewandowski
Synthesis of Speed Independent Circuits from STG-unfolding Segment
1997-06-27
N Albert J. Ahumada, Jr. ASA Ames Research Center, Human Interface Research Branch Moffett Field, California 94035 and n I Heidi A. Peterso BM T. J. Watson Research Center Yorktown Heights, NY
1997-07-08
Experience with Disconnected Operation in a Mobile Computing Environment
1993-06-18
A Generalized K Correction For Type Ia Supernovae: Comparing R-band Photometry Beyond z=0.2 with B, V and R-band Nearby Photometry
1995-11-16
Alex Kim
Workflow Management in Geoprocessing Applications
1998-11-11
Ignorant Influence Diagrams
1998-09-04
Parallel Overhead in Executing Data-Parallel Programs on *T
1996-04-02
Andrew Shaw
Performance Complexity of
1997-10-01
Bayes linear analysis for graphical models: The geometric approach to local computation and interpretive graphics
1997-12-12
Steven Huss-Lederman
1997-09-02
Midgap Defect Modes In Dielectric And Acoustic Media
1997-10-03
Integrating Networks and Memory Hierarchies in a Multicomputer Node Architecture
1996-03-04
Integrated
1994-07-07
Quantum conductivity corrections in Si-MOS structures in the regime of high electron concentrations.
1998-12-11
Optimal Parallel Algorithms for Rectilinear Link Distance Problems
1995-10-16
Dotplot Patterns: A Literal Look at Pattern Languages
1997-02-10
Jonathan Helfman
Further Results on the Margin Distribution
1999-04-06
Optimal Data Compression of Visual Images
1996-07-24
Thomas I. Seidman
Cross-viewpoint Consistency in Accident Investigations
1998-01-06
Entropy Estimates For Some C*-Endomorphisms
1998-08-27
Endomorphisms Valentin Deaconu
Uniform Random Number Generators: A Review
1997-07-04
Pictorial Query Trees for Query Specification in Image Databases
1998-12-09
On incidence algebras associated with regular cell decomposition of S n
1999-04-21
Reflection in logic, functional and object-oriented programming: a Short Comparative Study
1997-10-08
Jacques Malenfant
Real-Time Thread Package
1996-05-20
Kostadis Roussos
On Extremal Set Partitions In Cartesian Product Spaces
1998-07-08
Unit Test Report of the Message Reporting System for the Atlas DAQ Prototype-1
1999-03-04
Detection and Recognition of Periodic, Nonrigid Motion
1998-01-27
Local Linear Independence of Univariate Refinable Distributions
1970-01-01
Qiyu Sun
Designing a Computational Geometry Algorithms Library
1997-09-19
Stefan Schirra
Learning Active Classifiers
1996-04-09
A Generic Building Block for Hopfield Neural Networks with On-Chip Learning
1996-02-28
Maintaining Data Cubes under Dimension Updates
1999-01-25
A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems
1998-02-27
Johnny Accot
H1 Collaboration
1998-07-20
Efficient Sparse LU Factorization with Partial Pivoting on Distributed Memory Architectures
1996-08-01
Characteristics of Good Administrative Forms
1995-03-24
Constraint Solving over Semirings
1995-06-08
Factorization And Reflexivity On Fock Spaces
1997-05-23
Deriving a Lazy Abstract Machine
1996-03-13
Generic Interfaces for Transformation Systems and Interactive Theorem Provers Extended Abstract
1996-10-04
Euromath System: Alphabets and Fonts
1997-05-20
Richard M. Timoney
A New Hashing Package for UNIX
1998-12-17
Notes on Sequential Analysis for a COURSE IN MATHEMATICAL STATISTICS
1996-05-01
Detecting Changes in Aerial Views of Man-Made Structures
1997-10-16
An Assessment of Reiter's General Monotonic Solution to the Frame Problem and its Applicability to Database Updates
1996-08-19
Simple Algorithms for Steiner Trees and Paths Packing Problems in Planar Graphs
1994-02-28
Dorothea Wagner
Canonical Quantization of the Belinskii-Zakharov One-Soliton Solutions
1998-05-12
Guillermo A. Mena Marug'an
Enseñanza de Inteligencia Artificial en el Nivel Introductorio: Fundamentos,Énfasis y Restricciones
1997-09-09
The Spectral Decomposition of Nonsymmetric Matrices on Distributed Memory Parallel Computers
1995-01-13
Limits of Exact Algorithms For Inference of Minimum Size Finite State Machines
1996-07-09
Arlindo L. Oliveira
DATR: A Language for Lexical Knowledge Representation
1997-04-08
Global Optimization For The Phase And Chemical Equilibrium Problem: Application To The NRTL Equation
1999-03-08
An Analysis of the Interacting Roles of Population Size and Crossover in Genetic Algorithms
1992-06-03
Accepting Programmed Grammars without Nonterminals
1996-04-19
Implementation Lessons of Performance Prediction Tool for Parallel Conservative Simulation
1998-10-29
Artificial Boundaries and Flux and Pressure Conditions for the Incompressible Navier-Stokes Equations
1997-03-21
Going Home Through an Unknown Street
1999-03-16
Sven Schuierer
Quantifier Elimination Technics for Program Validation
1998-01-13
Preconditioned Solvers for Large Eigenvalue Problems on Massively Parallel Computers and Workstation Clusters
1998-10-28
Exploring Visual Motion Using Projections of Motion Fields
1997-03-17
Transport and Display Mechanisms For Multimedia Conferencing Across Packet-Switched Networks
1998-02-25
Estimation and Removal of Clock Skew from Network Delay Measurements
1998-12-02
Paradigms for Biomolecular Computation
1999-02-16
John H. Reif
A short course on the Lie theory of semigroups III Globality of invariant wedges
1995-08-21
Fast Approximate MAP Restoration of Multicolor Images
1996-12-06
Operating System Design Principles for Scalable Shared Memory Multiprocessors
1998-07-26
General Properties of Option Prices
1996-08-17
Decomposition and Causality in Partial-Order Planning
1995-02-22
Automatic Construction of Semantic Lexicons for Learning Natural Language Interfaces
1999-02-09
Building an Interactive Multimedia Information System: The GeoMed Case Study
1997-06-26
Adaptation and the Modular Design of Organisms
1995-10-05
Gunter P. Wagner
Applications of a Categorical Framework for Conceptual Data Modeling
1997-03-27
A. H. M. Ter Hofstede
Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol
1996-04-04
From Branching to Linear Metric Domains and back
1995-01-18
Franck Van Breugel
P-Selective Sets and Reducing Search to Decision vs. Self-Reducibility
1997-04-19
Baker-Campbell-Hausdorff type computations using noncommutative symmetric functions
1996-07-17
J. C. Novelli
Degeneracy in Interior Point Methods for Linear Programming
1994-02-11
Automated Design of Deductive Databases Extended Abstract
1996-05-15
Multiple-valued Logic
1998-12-23
Scheduling Resource-Constrained Projects Competitively at Modest Memory Requirements
1997-12-08
Arno Sprecher
An Application-Specific Ad Hoc Query Interface
1991-08-25
Brian C. Smith
fstasko,charliepg@cc.gatech.edu October 16, 1993
1993-11-08
The Parallel Fast Multipole Method in Computational Chemistry
1996-12-13
Jurgen K. Singer
Smooth--Disorder Effects in Ballistic Microstructures
1998-10-06
A Probabilistic Algorithm for Verifying Matrix Products Using
1996-09-23
Optimum Modulo Schedules for Minimum Register Requirements
1997-03-19
Re E. Eichenberger
Using Artificial Neural Networks and Image Segmentation to Assist in Mobile Robot Navigation
1994-10-05
Mark Stemm
MFE revisited, Part 1: Adaptive Grid-Generation using the Heat Equation
1996-05-14
Paul A. Zegeling
Low Power State Assignment Targeting Two- and Multi-level Logic Implementations
1997-06-11
Flexible Metric Nearest Neighbor Classi¯cation
1994-11-25
Jerome H. Friedman
A Hybrid Numerical Method for High Contrast Conductivity Problems
1998-06-08
Postmodernism and Its Problems With Science
1996-12-09
Jean Bricmont
Invariants From Triangulations Of Hyperbolic 3-Manifolds
1996-03-06
Using CORBA to integrate manufacturing cells to a virtual enterprise
1996-11-07
Querying Multiple Features of Groups in Relational Databases
1996-07-13
in the Subject line: On Digital's EASYnet: CRL::TECHREPORTS On the Internet: techreports@crl.dec.com
1997-09-03
Qcd Strings As Constrained Grassmannian Sigma Model
1998-05-12
K. S. Viswanathan
A Visualization System for Parallelizing Programs
1994-06-11
Evolutionary Design of Neural Architectures
1998-04-30
Prototyping Parallel LAPACK using Block-Cyclic Distributed BLAS
1995-12-08
Peter Strazdins
On the Complexity of Finding Short Vector in Integer Lattices
1997-04-24
Rich Kaltofen
Rapid Prototyping of Solid Three-Dimensional Parts
1995-12-16
Sara Anne Mcmains
R'egulation Dynamique de la Charge pour le B&B: Théorie et Implémentation
1998-06-29
Mohamed Benaichouche
A Bibliography of Publications about the S and S-Plus Statistics Programming Languages
1999-01-13
Nelson H. F. Beebe
Working with "Constant Interruption": CSCW and the Small Office
1994-08-09
Visually Guided Object Grasping
1998-04-09
Variational Approach in Wavelet Framework to Polynomial Approximations of Nonlinear Accelerator Problems
1998-12-14
A Note on Polynomials with Non-negative Integral Coefficients
1996-02-15
Kannan Govindarajan
Dct-Based Shape-Adaptive Transform For Region-Oriented Image Compression And Manipulation
1997-06-17
Janusz Konrad
The Agree Predictor: A Mechanism for Reducing Negative Branch History Interference
1998-02-10
Admissibility of Fixpoint Induction over Partial Types
1999-03-27
Karl Crary
A Scheme for Real-Time Channel Establishment in Wide-Area Networks
1990-11-01
Lessons Learned: The Object-Oriented Design of StarView
1996-07-27
Generation of Soccer Reports: Some Results
1998-01-27
Mariet Theune
Bayesian Enhancement of Speech Signals
1998-05-22
Jaco Vermaak
Ron Avnur, Joseph M. Hellerstein, Bruce Lo, Chris Olston, Bhaskaran Raman, Vijayshankar Raman, Tali Roth, and Kirk Wylie
1998-08-12
Global Instruction Scheduling In Machine SUIF
1997-11-24
Runtime Oriented HPF Compilation
1997-06-02
Xiaoming Li
A Global Optimization Approach for Lennard-Jones Microclusters
1999-03-08
Iterative Retrieval In Associative Memories By Threshold Control Of Different Neural Models
1970-01-01
Software Fault Tolerance Using Dynamically Reconfigurable FPGAs
1998-07-09
Salim Hariri
Diffusion on Non Exactly Decimable Tree-Like Fractals
1998-12-19
Reduction Techniques for Exemplar-Based Learning Algorithms
1998-02-19
Quantification Of Part Surface Quality: Application To Selective Laser Sintering
1997-01-20
Financial Modeling in a Fast Mean-Reverting Stochastic Volatility Environment
1998-11-18
Stubborn Communication Channels
1998-09-25
Solving Constraint Satisfaction Problems Using Neural Networks
1994-07-12
A 2-Coloring Of
1998-04-02
The Non-Linear Response Of The Magnetosphere
1995-02-07
A critical assessment of the Self-Interaction Corrected Local Density Functional method and its algorithmic implementation
1996-10-30
Experiences with a Mobile Testbed
1998-01-08
Real-Time Programming of Mobile Robot Actions Using Advanced Control Techniques
1998-02-10
Simplifying and generalizing formulae in tableaux. Pruning the search space and building models long version
1998-09-02
Nicolas Peltier
Complexity of Problems on Graphs Represented as OBDDs
1997-12-05
Genetic Algorithms in Power System Small Signal Stability Analysis
1997-08-04
Dynamic Discontinuities for Radiosity
1998-01-21
On Derivative Estimation of the Mean Time to Failure in Simulations of Highly Reliable Markovian Systems
1997-02-04
Marvin K. Nakayama
Dynamic Declustering Methods for Parallel Grid Files
1995-10-31
Prosodic Dialog Control in EVAR
1995-11-03
The Human PAX6 Mutation Database
1997-12-15
A Decision Tree Plug-In for DataEngine
1998-09-30
Christian Borgelt
Tuple Inheritance: A New Kind of Inheritance for Constraint Logic Programming
1996-09-26
Juan Jos'e Moreno-navarro
Strictification of Computations on Trees
1997-09-01
Inspectable User Models for Just-In-Time Workplace Training
1997-06-09
Using Common Hypertext Links to Identify the Best Phrasal Description of Target Web Documents
1998-09-24
Hypergraph Partitioning for VLSI CAD: Methodology for Heuristic Development, Experimentation and Reporting
1999-04-16
Architecture and Implementation of the Reliable Router
1994-12-01
On Extreme Singular Values of Matrix Valued Functions
1996-06-24
Efficient Disambiguation by means of Stochastic Tree Substitution Grammars
1998-01-27
An Overview of the REX Software Architecture
1991-08-18
The Handbook For The Computer Security Certification Of Trusted Systems
1994-09-13
A Relationship between Difference Hierarchies and Relativized Polynomial Hierarchies
1994-06-03
Maisie User Manual
1996-01-19
Approximation Algorithms for Multiple-Tool Milling
1998-04-15
Telladoy, Ellen Khayata, and John M.
1996-11-23
Software Engineering Methods for Parallel and Distributed Scientific Computing
1996-05-24
Automatic Speech Recognition at UGR
1996-10-29
Localizations of Unification Freedom through Matching Directions
1999-03-25
Massimo Marchiori
A More Efficient RMI for Java
1999-03-30
The Eternity Service
1996-03-11
Ross J. Anderson
On the Stability of Realistic Three--Body Problems
1997-04-26
Revisiting Commit Processing in Distributed Database Systems
1997-09-12
Tangential Frequency Filtering Decompositions for Unsymmetric Matrices
1998-11-12
Christian Wagner
Rounding in Lattices and Its Cryptographic Applications
1997-11-06
Ramarathnam Venkatesan
Automated Identification Of Cloud Patterns In Satellite Imagery
1994-11-21
Richard L. Bankert
Using Predictive Prefetching to Improve World Wide Web Latency
1996-09-08
Replication and Mobility
1993-01-07
Harmonic Rough Isometries Into Hadamard Space
1998-01-09
Labeled Graphs as Semantics of Objects
1997-04-18
Self-Similarity in File Systems
1998-03-16
Scheduling Two Machines with Release Times
1998-11-05
POOMA 94 : Issues and Views
1995-01-13
Anthony Skjellum
A Gentle Guide to Multiple Alignment Version 1.03
1996-03-23
Protein Structure Prediction With Evolutionary Algorithms
1999-04-20
Encrypted Key Exchange: Password-Based Protocols Secure Against Dictionary Attacks
1993-03-05
Modeling Electromagnetic Disturbances in Closed-Loop Computer Controlled Flight Systems
1998-03-23
On The Dimension Of Deterministic And Random Cantor-Like Sets, Symbolic Dynamics, And The Eckmann-Ruelle Conjecture
1997-04-26
Exploiting Multiple Levels of Parallelism in Shared-memory Multiprocessors: A Case Study
1998-11-03
Witness-Isomorphic Reductions and Local Search
1996-05-07
Predicting Protein Folding Classes without Overly Relying on Homology
1998-12-21
Trading Scenarios for Heterogeneous Agents
1999-01-21
Oriented Matroids Today
1998-09-15
Gunter M. Ziegler
Adaptive Models for Input Data Compaction for Power Simulators
1998-01-13
Run-Time Selection of Block Size in Pipelined Parallel Programs
1999-02-05
On the Intersections of Longest Cycles in a Graph
1996-08-21
Depot: A Framework for Sharing Software Installation Across Organizational and UNIX Platform Boundaries
1995-12-16
Scheduling Combined Unicast and Multicast Traffic in Broadcast WDM Networks
1997-10-06
Manipulation and Active Sensing by Pushing Using Tactile Feedback
1996-03-22
A simple proof of a theorem of Statman
1995-11-15
Harry G. Mairson
Finding Accurate Frontiers: A Knowledge-Intensive Approach to Relational Learning
1999-01-19
On solvmanifolds and a conjecture of Benson and Gordon from the hamiltonian viewpoint
1998-06-22
Holographic Recurrent Networks
1995-10-25
Tony A. Plate
Improving Performance On Switchboard By Combining Hybrid Hme/hmm And Mixture Of Gaussians Acoustic Models
1997-05-20
Michael Finke
Combining Physically-Based Simulation of Colliding Objects with Trajectory Control
1995-07-06
Using Shape and Intensity to Track Non-Rigid Objects
1994-05-17
N J Byrne
Weakly Hard Problems
1995-06-06
Jack H. Lutz
Probabilistic Normalisation and Unpacking of Packed Parse Forests for Unification-based Grammars
1994-12-09
Dirichlet Mixtures: A Method for Improving Detection of Weak but Significant Protein Sequence Homology
1999-04-15
Receptive Fields for Vision: from Hyperacuity to Object Recognition
1996-01-10
Shimon Edelman
Recent Work on Distributed Commit Protocols, and Recoverable Messaging and Queuing
1995-10-16
Applying Program Comprehension Techniques to Improve Software Inspections
1995-02-28
Wulff Shape for Non-Periodic Arrangements
1998-05-27
Uwe Schnell
Knowledge and the Recognition and Understanding of Software Documents
1995-04-13
Estimating Analogical Similarity By Vector Dot-Products of. . .
1995-10-25
For a Better Support of Static Data Flow
1995-03-12
File System Logging Versus Clustering: A Performance Comparison
1997-06-26
A System For The Monitoring Of The Mesospheric Sodium Layer Using A Magneto-Optical Filter
1998-11-19
On Optimal Orow-Pram Algorithms For Computing Recursively Defined Functions
1995-03-23
A Computational Model of Acute Focal Cortical Lesions
1996-09-11
Modular Properties of Algebraic Pure Type Systems
1996-12-20
Flexibility in Object-Oriented Operating Systems: A Review
1997-12-10
Vinny Cahill
Identifying the Information Contained in a Flawed Theory
1996-04-28
Sean P. Engelson
Adaptive Weighted Myriad Filter Algorithms for Robust Signal Processing in alpha-Stable Noise Environments
1997-08-03
The Law of the Iterated Logarithm for a Triangular Array of Empirical Processes
1997-08-23
Miguel A. Arcones
Using Destination Set Grouping to Improve the Performance of Window-Controlled Multipoint Connections
1994-12-11
Performance and Design of Turbo Codes on Rayleigh Fading Channels
1997-09-25
Issues and Strategies in the Parallelisation of Unstructured Multiphysics Codes
1997-04-28
Incremental Testability Analysis for Design Transformations
1997-10-12
An Architecture for WWW-based Hypercode Environments
1996-08-13
Sharpening up the Charged Higgs Boson Signature using Tau Polarization at LHC
1998-05-14
Reaction and Control I. Mixing Additive and Multiplicative Network Algebras
1998-02-13
Gheorghe Stef
Partial Resolution in Branch Target Buffers
1997-03-03
Hybrid Cellular Automata
1998-11-27
Martin Schaller
Automatic Management of Operating-System Resources
1997-04-07
Olin Shivers
ParCeL-1: a parallel programming language based on autonomous and synchronous actors
1997-10-17
Motion-Based Video Segmentation Using Continuation Method and Robust Cost Functions
1998-02-02
Interactive Learning Using a "society of Models"
1996-03-23
An Inference Mechanism for the Compilation of Interactive Array Languages
1998-09-01
A Remark on Algorithm AS57 -- Printing Multidimensional Tables
1997-06-06
Dish: A Dynamic Invocation Shell for Fresco
1993-12-16
Optimal Control Of Nonconvex Discrete And Differential Inclusions
1997-06-06
Boris S. Mordukhovich
A Methodology for Automating the Parallelization of Manufacturing Simulations
1998-06-20
Modality, Bisimulation And Interpolation In Infinitary Logic
1997-09-11
Johan Van Benthem
Shape-based Image Retrieval Using Geometric Hashing
1997-04-08
Using Multiple Tools for Automated Genome Interpretation in an Integrated Environment
1998-10-22
Fundamental Frequency Estimation in the SMS Analysis
1999-01-08
Pedro Cano
, Sachit Malhotra
1996-07-21
Theory of Genetic Algorithms
1997-11-14
Dirichlet Mixtures: A Method for Improving Detection of Weak but Significant Protein Sequence Homology
1999-03-01
Verb Complementation, Null Pronominals and Binding
1997-05-26
Ping Mcfetridge
XiPi Theta GammaDelta
1999-02-08
Non-linear Point Distribution Modelling using a Multi-layer perceptron
1995-04-26
Porting the Annai Tool Environment to Workstation Clusters
1996-03-26
Testing the Hubble Law with the 1.2 Jy Redshift Survey
1996-10-03
The breaking of the AR Hash Function
1998-10-08
Using Design Cohesion to Visualize, Quantify, and Restructure Software
1996-03-12
Implications of Order Reduction for Implicit Runge-Kutta Methods
1994-09-15
Endorsements, Licensing, and Insurance for Distributed System Services
1994-09-05
Image Quality Assessment using an Image Activity Weighting and the HVS Response
1997-10-20
Computer Supported Cooperative Software Engineering with Beyond-Sniff
1999-03-21
SUBconciousNET Interaktive Multimedia Installation im WWW
1996-11-26
Boundary Stabilization of a Hyperbolic Equation with Viscosity
1998-10-02
M. M. Cavalcanti
AND/OR Graphs
1999-01-13
The ADAPTIVE Service Executive: An Object-Oriented Architecture for Configuring Concurrent Distributed Communication Systems
1995-04-03
Delta Delta Delta
1997-05-22
Tatsuhiko Yagasaki
Quantum Lower Bounds by Polynomials
1998-09-24
Jong-Deok Choi
1997-04-03
Implementing an Open Ocean Theater in NPSNET
1995-10-27
On-line Load Balancing of Temporary Tasks
1995-01-13
Word Spotting: Indexing Handwritten Archives
1997-08-11
Experience with Parallel Computers at NASA Ames
1998-11-05
David H. Bailey
Plan Development using Local Probabilistic Models
1997-07-29
The Space Complexity of Approximating the Frequency Moments
1997-10-18
A Comparison of Hebbian Learning Methods for Image Compression using the Mixture of Principal Components Network
1998-01-30
R. D. Dony
Sean W. Smith J.D. Tygar
1998-10-06
IceT: Distributed Computing and Java
1997-08-15
Positive eigenfunctions of the Laplacian and conformal densities on homogeneous trees
1998-06-25
A Linear Logical Framework
1998-03-31
JANUS-II: Towards Spontaneous Spanish Speech Recognition
1997-02-06
What is going on with Quantum Bit Commitment?
1998-07-15
Structural Subsumption Considered from an Automata-Theoretic Point of View
1998-05-27
Advantage Updating Applied to a Differential Game
1997-07-04
The Normal Symbol on Riemannian Manifolds
1998-07-19
Markus J. Pflaum
Characterizing Multicast Orderings using Concurrency Control Theory
1999-02-04
Study Of Spectro-Temporal Parameters In Musical Performance For Expressive Instrument Synthesis.
1998-08-18
Joseph Bates A. Bryan Loyall W. Scott Reilly May 1992
1995-06-16
Marie-France Sagot
1970-01-01
Mapping Iterative Task Graphs on Distributed Memory Machines
1996-02-01
Providing Maps to Support the Early Stage of Design of Hypermedia Systems
1998-02-17
Mountaz Zizi
Constrained Neural Approaches to Quadratic Assignment Problems
1999-03-22
Success-driven Selection of Fragments for Situational Methods: The S³ Model
1995-06-06
WebWatcher: A Tour Guide for the World Wide Web
1998-02-10
Comparing Id and Haskell in a Monte Carlo Photon Transport Code
1997-12-03
Genetic Algorithms, Tournament Selection, and the Effects of Noise
1998-06-18
Selezione E Convivenza in Cicli E Quasicicli
1998-06-03
Evolutionary Identification of Cloth Animation Models
1997-10-17
Online Smoothing of Live, Variable-Bit-Rate Video
1998-03-19
Valid or Complete Information in Databases - A Possibility Theory-Based Analysis
1997-11-03
FPGA-Based Digit-Serial CSD FIR Filter For Image Signal Format Conversion
1999-01-14
Analyzing Gait With Spatiotemporal Surfaces
1997-07-22
Parallel Computational Methods For 3D Simulation Of A Parafoil With Prescribed Shape Changes
1998-03-02
Co-evolving Parallel Random Number Generators
1997-01-23
Approximate Signal Processing
1996-12-12
Web Document Clustering: A Feasibility Demonstration
1998-09-04
Inheriting Well-formed Formulae in a Formula-Augmented Semantic Network
1997-10-06
Leora Morgenstern
Congruences, Automata And Periodicities
1998-12-14
Progressive Search and Retrieval in Large Image Archives
1998-05-26
Building Domain-Specific Search Engines with Machine Learning Techniques
1999-02-09
Protein Folding: Symbolic Refinement Competes with Neural Networks
1997-09-17
Radiosity for Dynamic Scenes in Flatland With the Visibility Complex
1996-05-20
Structural Non-Correspondence In Translation
1998-10-07
Timing Recovery By Symbol Spaced and Fractionally Spaced Equalizers
1998-08-25
CSP techniques using partial orders on domain values
1995-12-01
Updating URV Decompositions in Parallel
1998-09-05
G. W. Stewart
Index Structures for Information Filtering Under the Vector Space Model
1997-03-07
Dilaton Gravity Black Holes With Regular Interior
1998-05-05
Implementation and Performance Evaluation of TCP Boston A Fragmentation-tolerant TCP Protocol for ATM Networks
1997-04-05
The Brooker
1995-01-06
A Practical Ab Initio Quantum Chemistry Course Using the. . .
1999-04-07
J. Bland-Hawthorn
1998-01-06
A Computational Approach for Argumentative Discourse in Multi-Agent Decision Making Environments
1998-08-31
Macroscopic Multistage Image Compression for Robust Transmission over Noisy Channels
1998-11-11
Segmentation of the Yellow Pages
1970-01-01
Reducing Register Pressure in Software Pipelining
1997-12-24
Partitioning Regular Applications for Cache-Coherent Multiprocessors
1994-04-20
Lampros Kalampoukas Anujan Varma
1995-10-28
Human-Computer Interaction: Input Devices
1998-12-13
Robert J. K. Jacob
Challenges for Nomadic Computing: Mobility Management and Wireless Communications
1998-12-23
A Globally Optimal Algorithm for Scheduling Both Hard Periodic and Soft Aperiodic Tasks
1997-02-18
Functional Test Generation for FSMs by Fault Extraction
1970-01-01
Bapiraju Vinnakota
The Pilgrim: A New Consistency Protocol for Distributed Shared Memory
1998-01-27
Effect Systems with Subtyping
1995-07-17
Robert Yung Sun Microsystems Laboratories Sun Microsystems Inc. yung@sun.com
1997-01-20
Crossover Interactions Among Niches
1994-07-30
Samir W. Mahfoud
Linked State Machines: Definition and Analysis
1996-11-13
Sufficient Neurocontrollers can be Surprisingly Simple.
1996-08-20
Tight bounds on the complexity of the Apostolico-Giancarlo algorithm
1996-05-13
A Unified Neural Network Model for the Self-organization of Topographic Receptive Fields and Lateral Interaction
1994-03-10
Broadcast News Transcription Using HTK
1998-03-30
Perturbation Analysis
1998-07-30
Michael C. Fu
Assigning Function to CDS Through Qualified Query Answering: Beyond Alignment and Motifs
1998-10-22
Dreidimensionale parallele Lattice Boltzmann Hydrodynamiksimulationen turbulenter Strömungen in interstellaren Dunkelwolken
1996-08-08
Evolving an Intelligent Vehicle for Tactical Reasoning in Traffic
1997-09-12
Fixing the "Broken-link" Problem: The W3Objects Approach
1997-05-30
Querying Network Directories
1999-03-19
Performance of Multistage Bus Networks for a Distributed Shared Memory Multiprocessor
1997-02-25
Parallel Branch Bound Algorithm for Makespan Optimal Scheduling in Flow Shops With Multiple Processors
1997-12-03
Effective Compiler Support for Predicated Execution Using the Hyperblock
1998-05-30
Dynamo Generated Turbulence in Discs
1997-12-11
An Efficient and Novel Numerical Method for Quasiconformal Mappings of Doubly Connected Domains
1998-05-20
Mechanizing the Development of Software
1999-03-13
Douglas R. Smith
Avoiding Confusion in Metacircularity: The Meta-Helix
1998-05-26
Some Large Scale Matrix Computation Problems
1997-07-11
Delta Delta Delta
1997-05-23
Tatsuhiko Yagasaki
Tools for Correct DSP Synchronization
1993-04-19
Intersection Exponents for Planar Brownian Motion
1999-04-16
Toward a Methodology of Optimizing Programs for High-Performance Computers
1993-04-12
Rudolf Eigenmann
TASK: a framework for the different steps of a KBS construction.
1997-03-05
Matchmaking and Brokering
1996-05-16
Characterization Of Signals By The Ridges Of Their Wavelet Transforms
1998-02-18
A Sufficient Condition for every Class of Inverse Z-Matrices
1994-07-14
Rapid, Accurate Optimization of Difficult Problems Using Fast Messy Genetic Algorithms
1996-01-13
Reconstruction from Calibrated Cameras - A New Proof of the Kruppa-Demazure Theorem
1996-09-10
An Optimal, Stable Continued Fraction Algorithm for Arbitrary Dimension
1998-02-23
The Static Single Assignment Form and its Computation
1999-02-08
On The Structure Of Solutions Of A System Of Three Differential Inequalities
1995-11-23
Miroslav Bartu Sek
Robert A. Harrington
1997-04-22
Compromising algorithmicity and plasticity in autonomous agent control architectures : The autonomous cell
1996-11-21
Elpida Tzafestas
Randomization in Graph Optimization Problems: A Survey
1998-10-20
David R. Karger
Formalizing Deterministic Semantics of Declarative Programming Languages
1997-10-17
The Static Parallelization of Loops and Recursions
1998-01-08
Pesin Theory
1997-08-01
Norman Wilde, Allen Chapman
1992-02-28
TreadMarks: Shared Memory Computing on Networks of Workstations
1998-08-24
Analysis of a three-component model phase diagram by Catastrophe Theory
1997-07-02
J. Gaite
Platform for Secure Multimedia Applications
1998-05-15
A. Krannig
Multichannel Blind Separation And Deconvolution Of Sources With Arbitrary Distributions
1998-12-02
Iterative Methods for Complex Symmetric Systems With Multiple Right-Hand Sides
1970-01-01
Privacy, Additional Information, and Communication
1995-11-23
MIMIC: Finding Optima by Estimating Probability Densities
1997-06-09
Sharp Bounds on Heat Kernels of Higher Order Uniformly Elliptic Operators
1997-04-26
A Unified Approach to Intelligent Agency
1996-04-15
Jacek Malec
Microscopic Shape from Focus Using Active Illumination
1994-08-03
Operant Conditioning in Skinnerbots
1997-04-08
A Natural Framework for Designing Bounce-less Controller for Robotic Contact Tasks
1998-07-14
Shahram Payandeh
Awareness Driven Video Quality Of Service In Collaborative Virtual Environments
1999-03-19
Specification and Verification of Gate-Level VHDL Models of Synchronous and Asynchronous Circuits
1995-06-06
David M. Russinoff
LAPACK Working Note 58 The Design of Linear Algebra Libraries for High Performance Computers
1994-10-08
Flow Control in High-Speed Networks with Long Delays
1996-09-04
Srinivasan Keshav
Principles of Designing Multi-User User Interface Development Environments
1998-07-17
Prasun Dewan
David Kulp, David Haussler
1998-11-10
"Explosive" Programming Controlled by Calculation
1998-09-30
J. N. Oliveira
The Emergence of Grammaticality in Connectionist Networks
1998-01-31
A Note on Splitting Errors for Advection-Reaction Equations
1995-02-03
The Power of the Middle Bit of a #P Function
1994-05-20
Some Experience With The Moesp Class Of Subspace Model Identification Methods In Identifying The Bo105 Helicopter
1997-03-06
Annihilation poles of a Smirnov-type integral formula for solutions to quantum Knizhnik--Zamolodchikov equation
1998-05-23
A Rule-based Algorithm for Rigid E-unification
1997-04-17
Jean Goubault
Concepts of a Distributed Real-Time Knowledge Base for Teams of Autonomous Systems
1998-01-27
Autour Du Problème De Satisfaction De Contraintes
1970-01-01
Integrating Efficient Records Into Concurrent Constraint Programming
1996-09-05
Effects of Buffering Semantics on I/O Performance
1996-11-07
Defining Fine-Grained Modules to Stimulate the Integration of Robotics Research:
1998-01-16
Garbage Collection in a Large, Distributed Object Store
1997-09-12
Umesh Maheshwari
Belief Updating by Enumerating High-Probability Independence-Based Assignments
1998-10-23
Modular Neural Networks for Speech Recognition
1997-06-26
A Comparison of Parallel Search Algorithms based on Tree Splitting
1994-05-24
Paolo Ciancarini
Conservative Expansion Concepts for Default Theories
1996-08-22
Nonholonomic Motion Planning for Multiple Mobile Manipulators
1997-02-01
Copyright Protection Of Multimedia Documents: From Theory To Application
1998-12-15
On the Ubiquity of Information Services and the Absence of Guaranteed Service Quality
1998-10-09
Gerhard Weikum
Ordered Linear Logic Programming
1998-12-11
Comparing Representations in Chinese Information Retrieval
1997-07-14
K. L. Kwok
An Empirical Comparison of Voting Classification Algorithms: Bagging, Boosting, and Variants
1998-10-19
Eric Bauer
A Portable C Interface for Standard ML of New Jersey
1996-08-06
Lorenz Huelsbergen
All Bits in ax + b mod p are Hard Extended Abstract
1996-08-05
Interaction in Really Graphical User Interfaces
1998-11-10
Documents Are Not Just for Printing
1994-03-10
T. V. Raman
Shared Data Spaces for Distributed Computing and Parallelism in Scientific Visualization Systems
1996-11-19
Michel Grave
Rough Real Functions
1994-11-14
Zdzislaw Pawlak
The Nature of Characters in Interactive Worlds and The Oz Project
1995-06-16
Joseph Bates
Computational Evolution of a Model Polymer that Folds to a Specified Target Conformation
1995-11-27
Richard Judson
Geodesics On Spaces Of Almost Hermitian Structures
1999-01-21
Genes and Proteins of
1997-12-16
Monica Riley
Is A Unit-Time Job Shop Not Easier Than Identical Parallel Machines?
1998-02-09
Vadim G. Timkovsky
Dynamics of SUN Supersymmetric Gauge Theory
1998-05-23
Timed Event Graphs with Multipliers and Homogeneous Min-Plus Systems
1998-10-05
Towards a DNA Solution to the Shortest Common Superstring Problem
1999-03-05
DATR: A Language for Lexical Knowledge Representation
1997-04-08
A Component- and Message-Based Architectural Style for GUI Software
1999-01-19
On the Use of Destination Set Grouping to Improve Fairness in Multicast Video Distribution
1970-01-01
New Discotic Triphenylene Derivatives exhibiting a Cholesteric Blue Phase and Ferroelectric Switching in Columnar Mesophases
1997-04-10
Selective Sampling for Nearest Neighbor Classifiers
1999-04-19
Zeta Functions of Rational Functions are Rational
1995-03-28
A Scalable Architecture for Fair Leaky-Bucket Shaping
1998-03-19
Neural Vehicles
1997-06-06
A Substitution Operation for Constraints
1997-06-12
Tunable Reliable Multicast for Periodic Information Dissemination
1999-03-31
Characterization of Biorthogonal Cardinal Spline Wavelet Bases
1996-12-20
Debao Chen
On the Riemannian Geometry of Finite Dimensional Mixed States
1995-07-24
Jochen Dittmann
A Trip-based Multicasting Model in Wormhole-routed Networks with Virtual Channels
1994-08-27
Almost periodicity of some Jacobi matrices
1997-04-26
Partially Reduced SQP Methods For Large-Scale Nonlinear Optimization Problems
1996-11-29
Coherency of Kinesthetic and Visual Sensation in Virtual Reality System
1994-10-11
Some New Three Level Designs for the Study of Quantitative Variables
1999-01-28
E. E. M. Van Berkum
Mixed Initiative in Dialogue: An Investigation into Discourse Segmentation
1997-08-12
From Rewrite Rules to Bisimulation Congruences
1998-05-29
Peter Sewell
The Ant System: Optimization by a colony of cooperating agents
1999-03-17
Gray Codes for
1996-05-08
Matthew B. Squire
Microscopic Shock Profiles: Exact Solution of a Nonequilibrium System
1997-04-26
The Role of Linear Semi--Infinite Programming in Signal--Adapted QMF Bank Design
1997-09-29
Exploring the Decision Forest: An Empirical Investigation of Occam's Razor in Decision Tree Induction
1994-07-06
On The Stability Of The Relativistic Electron-Positron Field
1998-04-17
Spectral Deformations Of Jacobi Operators
1997-05-13
Gerald Teschl
Simultaneous Variable and Transformation Selection in Linear Regression
1995-06-26
Restructuring the Inter-Lingual Index
1999-01-04
Upper Modeling: A general organization of knowledge for natural language processing
1995-08-17
John A. Bateman
Computation of Equilibrium Foam Structures Using the Surface Evolver
1996-08-25
Beating the Hold-Out: Bounds for K-fold and Progressive Cross-Validation
1999-05-13
JVTOS - Multimedia Telecooperation Interconnecting Heterogeneous Platforms
1996-03-26
The Design of an Open System with Distributed Real-Time Requirements
1998-02-25
Macroevolutionary Algorithms: a New Optimization Method on Fitness Landscapes
1999-01-28
Ricard V. Sole
A Characterization of Visual Appearance Applied to Image Retrieval
1997-04-08
Maintenance Scheduling Problems as Benchmarks for Constraint Algorithms
1998-11-02
Dynamic Load Balancing of Atomic Structure Programs on a PVM Cluster
1995-05-27
Andreas Stathopoulos
Generalized Abelian Deformations: Application to Nambu Mechanics
1997-04-26
Universit'e De Bourgogne
Novel P-stop Structure in the N-side of Silicon Microstrip Detector
1998-08-30
A Visual Programming Model for User Interface Animation
1997-01-21
Dan Vodislav
Challenges in Stochastic Programming
1995-03-28
Roger J. -b. Wets
How Economists Can Get Alife
1998-03-19
Leigh Tesfatsion
On Gravitational Dressing of 2D Field Theories in Chiral Gauge
1998-05-23
PVM Implementations of 3D Reconstruction Algorithms
1994-10-27
A Modal Logic of Quantification and Substitution
1995-04-07
Yde Venema
T-gen User's Guide
1995-05-09
Justin O. Graver
Compositional Logic Programming
1996-09-17
On the Structure of the Privacy Hierarchy
1995-11-23
Techniques For Automatic Digital Video Composition
1999-02-20
Minimally-immersive Interactive Volumetric Information Visualization
1996-10-19
A Practical Method for Estimating Uncaught Exceptions in SML Programs
1997-12-23
Kwangkeun Yi
Synthesis of Systems Specified as Interacting VHDL Processes
1996-03-18
Optimized Encodings of Fragments of Type Theory in First Order Logic
1995-05-12
Simulation-Based Optimization of Markov Reward Processes
1999-02-25
Modeling Subobject-based Inheritance
1995-11-29
Minimum Distance Queries For Polygonal And Parametric Models
1997-05-09
Scheduler Activations on BSD: Sharing Thread Management Between Kernel and Application
1998-10-23
Greedy Function Approximation: A Gradient Boosting Machine
1999-02-24
Jerome H. Friedman
Correctness
1997-02-28
Current status of the SWISS-2DPAGE database
1997-12-15
Stable And Unstable Solitary-Wave Solutions Of The Generalized Regularized Long-Wave Equation
1970-01-01
The Reference Manual for SPOOLES, Release 2.2: An Object Oriented Software Library for Solving Sparse Linear Systems of Equations
1999-01-28
In Search of an API for Scalable Reliable Multicast
1997-06-23
Electromagnetic-Gravitational Conversion Cross Sections In External Electromagnetic Fields
1998-05-12
Exploiting Multiple Goals and Intentions in Decision Support for the Management of Multiple Trauma: A Review of the TraumAID Project
1998-08-03
Astronomy And Astrophysics
1998-11-13
Maximal Sets of Solutions for Constraint Satisfaction Problems
1999-02-07
Lesaint David
Personalized Information Structures
1994-05-10
The Cluster Compiler - A Tool for the Design of Time-Triggered Real-Time Systems
1995-07-27
CMIFed: A Transportable Hypermedia Authoring System
1994-07-07
Focus Range Sensors
1970-01-01
The Shadow Of The Moon As Seen By Milagrito
1997-11-25
The Human Collagen Mutation Database 1998
1997-12-15
Raymond Dalgleish
The Relative Importance of Concurrent Writers and Weak Consistency Models
1998-08-24
Peter J. Keleher
Hebbian Learning In Chaotic Neural Networks
1998-01-15
A Flexible Object Merging Framework
1998-07-17
The Locust Swarm: An environmentally-powered, networkless location and messaging system
1997-10-02
On Primitive 3-Smooth Partitions Of
1997-12-26
Michael R. Avidon
Coulouris, Dollimore and Kindberg
1994-11-30
Detecting Complex Dependencies in Categorical Data
1997-06-09
Partitioning and Scheduling to Counteract Overhead
1995-09-20
Computation of Highly Regular Nearby Points
1998-02-23
Circuit Partitioning with Complex Resource Constraints in FPGAs
1998-08-12
Predictability and Consistency in Real-Time Database Systems
1995-09-05
Models of Control and Their Implications for Programming Language Design
1995-05-04
The Parallel Solution of Systems of Linear Equations using Iterative Methods on Transputer Networks
1992-10-20
Scheduling Reads and Writes for a Weakly Connected Mobile Environment
1997-08-14
Method Schemas
1994-02-17
Functional Estimation for a Multicomponent Age Replacement Model
1998-05-26
Lagrangian Formulation of Symmetric Space sine-Gordon Models
1998-05-25
Ioannis Bakas
A Lightweight Architecture for Program Execution Monitoring
1999-04-05
An Efficient Algorithm for Controller Synthesis under Full Observation
1997-11-08
Quadrature Methods Based on the Cayley Transform
1999-01-13
Perceptual Optimization Of Dct Color Quantization Matrices
1994-10-05
Andrew B. Watson
Patterns In Random Binary Search Trees
1996-10-09
Xavier Gourdon
A Language Theoretic Analysis of Combings
1998-09-18
Sarah Rees
Diffracting Trees
1995-09-11
Gene Structure Prediction by Linguistic Methods
1970-01-01
TEFA-2: Model Management with Structured Modeling and Embedded Languages
1996-05-24
A Branch Instruction Processor for SCISM Organizations
1997-06-09
Adapting Methods to Novel Tasks in Proof Planning
1995-04-24
Anti-Counterfeiting Features Of Artistic Screening
1997-05-12
A CPU Scheduling Algorithm for Continuous Media Applications
1995-04-06
Experiences with the GTU grammar development environment
1997-05-11
A Point-based Temporal Extension of SQL
1997-12-05
David Toman
Rewriting part of the ATM specification in LOTOS
1995-07-24
Tree Languages Arithmetic Compression
1998-12-10
Reflection in Oberon
1996-12-16
Christoph Steindl
Circumscription and Disjunctive Logic Programming
1995-09-12
Bochner vs. Pettis norm: examples and results
1998-10-19
An Evaluation Function for Shogi
1997-11-25
Reijer Grimbergen
A Unifying Framework for Process Calculus Semantics of Concurrent Object-Based Languages and Features
1992-03-19
Michael Papathomas
Morphological Signal Processing and the Slope Transform
1995-12-18
Spin-dependent nuclear structure functions: general approach with application to the Deuteron
1998-05-15
Efficient Implementations of Concurrent Object-Oriented Languages on Multicomputers
1994-11-24
Feasibility in Transportation Networks with Supply Eating Arcs
1998-05-29
DATA MANAGEMENT INTERFACE APPLICATION NOTES - Release 3
1997-03-24
N. Van Der Meijs
A New Algorithm for the Construction of Optimal B-Trees
1997-09-25
Peter Becker
Delayed Duplicate Acknowledgements: A TCP-Unaware Approach to Improve Performance of TCP over Wireless
1999-02-15
Optimal Structural Diagnosis of Wiring Networks
1997-05-15
Principles and a Preliminary Design for ML2000
1999-03-11
Control Techniques For Physically-Based Animation
1998-08-10
Michiel Van De Panne
The Nature of Breadth-First Search
1999-01-18
Jason J Holdsworth
Spatiale Databases: van Research naar GIS Praktijk
1970-01-01
Nonlinear Filtering with Continuous Time Perfect Observations and Noninformative Quadratic Variation
1997-08-22
Marc Joannides
LAPACK Working Note 112: Practical Experience in the Dangers of Heterogeneous Computing
1996-08-27
High Resolution Pursuit for Feature Extraction
1998-03-18
Design of Experiments in BDD Variable Ordering: Lessons Learned
1998-08-26
Justin E. Harlow Iii
Transformational Derivation of parallel Programs Using Skeletons
1999-01-28
Combining Parallel and Sequential Workloads on a Network of Workstations
1996-05-24
Knowledge Representation Concepts Supporting Business Process Analysis
1995-11-22
High Energy Neutrino Astrophysics
1998-10-22
R. J. Protheroe
Robust Speech Recognition Based on Multi-Stream Features
1998-01-13
A Comparative Study of HashJoin Algorithms for Large-Scale Parallel Computing Systems
1995-05-26
Unknown
1993-04-29
Classes and Mixins
1997-10-24
Transition Restricted Gray Codes
1995-11-16
Bounded Variable Logics: Two, Three, and More
1998-01-24
Martin Otto
Geometric Origin of Montonen-Olive Duality
1997-07-15
Cumrun Vafa
Improving the Parallelized Pollard Lambda Search on Binary Anomalous Curves
1998-05-11
+ Status:
1997-09-23
World-Wide Web Proxies
1996-11-23
Kevin Altis Intel
TR-96-39 November
1997-04-18
Cache Consistency by Design
1995-08-31
Significant Lexical Relationships
1996-04-10
On Coherence, Random-self-reducibility, and Self-correction
1995-12-19
Kinematic Chain Substitution for Geometric Constraint Solving
1998-02-16
Hydroinformatics Concepts
1997-05-21
A New Model for Integrated Nested Task and Data Parallel Programming
1998-12-21
On the Error Control for Multistep Methods Applied to ODEs with Invariants and DAEs in Multibody Dynamics
1995-10-23
On Index Selection Schemes for Nested Object Hierarchies
1998-07-22
A Framework For Autonomous Agents Based On The Concept Of Anticipatory Systems
1998-08-31
Assigning Real-Time Tasks to Homogeneous Multiprocessor Systems
1995-08-01
A Calculus of Program Modifications
1998-08-14
Sample Complexity for Learning Recurrent Perceptron Mappings
1996-11-21
Linear Higher-Order Pre-Unification
1997-04-05
A Posteriori Error Estimates for Variable Time-Step Discretizations of Nonlinear Evolution Equations
1998-12-21
Explicit Examples of Dissipative Systems in the Quantum State Diffusion Model
1995-11-29
Reply to comments on a proposed semantics for BMSCs
1998-10-15
The blind breeding the blind: Adaptive behavior without looking
1995-04-10
Peter M. Todd
Exploiting Models of Musical Structure for Automatic Intention-Based Composition of Background Music
1995-08-01
The ARCS Data Point Processor
1996-07-09
Johannes Gutleber
Design Patterns for Avionics Control Systems
1994-12-07
Doug Lea
On Local versus Global Satisfiability
1997-10-04
Luca Trevisan
A Secure, Cheap, Scalable and Exportable/Importable Method for Internet Electronic Payments
1996-10-03
Wenbo Mao
Primal-Dual Affine-Scaling Algorithms Fail For Semidefinite Programming
1998-07-31
Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting
1994-07-20
Yellamraju V. Srinivas
Nonlinear Submarine Oscillations: from Computer Modelling to Wavelet Calculations.
1998-12-17
Automatic Architecture Design By Likelihood-Based Context Clustering With Crossvalidation
1997-12-10
Ivica Rogina
A Superlinearly Convergent O...-Iteration Algorithm for Linear Programming
1995-10-19
Thread Partitioning and Scheduling Based On Cost Model
1997-04-17
Using Successive Approximations of Equivalences to Model Reliability in Safety-Critical Design
1998-01-18
Maximal Viscosity Solutions Of The Modified Porous Medium Equation And Their Asymptotic Behaviour
1994-10-19
Cooperative Assistance for Sensing Exception Handling
1995-04-17
Periodic Symmetric Functions with Feed-Forward Neural Networks
1997-06-10
Research Issues Arising in Applying Machine Learning to Oil Slick Detection
1998-05-27
A Multi-Level-Algorithm for the Finite-Element-Solution of General Second Order Elliptic Differential Equations on Adaptive Sparse Grids
1998-06-30
Christoph Pflaum
Implementing Agent Teams in Dynamic Multi-agent Environments
1998-04-30
Milind Tambe
The Number-Theoretical Spin Chain and the Riemann Zeroes
1997-09-04
Andreas Knauf
An Interactive Visual Language for Term Subsumption Languages
1999-02-12
Brian R Gaines
Pml As An Efficient Abc For Lossy Media
1996-04-03
A Higher-Order Projection Method for the Simulation of Unsteady Turbulent Nonpremixed Combustion in an Industrial Burner
1996-08-19
Multirate Scheduling of VBR Video Traffic in ATM Networks
1998-12-30
Direct Lighting Calculation by Monte Carlo Integration
1994-08-04
There Be Dragons
1997-07-01
Steven M. Bellovin
Efficient Implementations of Java Remote Method Invocation RMI
1998-05-08
Interaction with Texts: Information Retrieval as Information-Seeking Behavior
1998-02-18
Nicholas J. Belkin
Multimedia Document Model MDM version 1.0
1998-01-14
Boole's Conditions of Possible Experience and Reasoning Under Uncertainty
1993-10-02
On Hoare Logic and Kleene Algebra with Tests
1998-12-10
Dexter Kozen
Star Formation in Cluster Galaxies at
1999-03-28
Unknown
1998-11-03
Provably Correct Vectorization of Nested-Parallel Programs
1998-12-15
The Performance of the CORBA Dynamic Invocation Interface and Dynamic Skeleton Interface over High-Speed ATM Networks
1996-11-28
Learning From Multiple Sources Of Inaccurate Data
1970-01-01
Making Paths Explicit in the Scout Operating System
1997-03-29
Monotone Multigrid Methods for Elliptic Variational Inequalities II
1994-04-16
Ralf Kornhuber
Active Rules for the Software Engineering platform GOODSTEP
1994-05-06
Image Segmentation by Directed Region Subdivision
1997-01-07
Exclusive Vector Meson Production at HERA
1995-09-10
L. Lamberti
PolyP --- a polytypic programming language extension
1996-10-25
Symbolic Verification of Sequential Circuits Synthesized with CALLAS
1995-11-16
Partitioning of Unstructured Problems for Parallel Processing
1998-01-26
Horst D. Simon
Theory and Practice of I/O-Efficient Algorithms for Multidimensional Batched Searching Problems
1997-11-07
Local Statistics For Random Domino Tilings Of The Aztec Diamond
1995-11-02
Combinatorial Optimization Lecture Notes For Cs363/or349
1999-02-05
Andrew V. Goldberg
Interactive Physically-Based Manipulation of Discrete/Continuous Models
1995-06-02
A Unified Framework for Class-Based Representation Formalisms
1996-06-19
CSIRO Routing and Ad-Hoc Experiments at TREC6
1998-01-14
Arkadi Kosmynin
Formant and Burst Spectral Measurements with Quantitative Error Models for Speech Sound Classification
1998-11-11
Mark Allan Hasegawa-johnson
Almost Optimal Set Covers in Finite VC-Dimension
1995-12-19
On Deterministic Linear Interleavers for Turbo-Codes
1997-10-07
An Improved Method for MRI Artifact Correction due to Translational Motion in the Imaging Plane
1998-10-05
Dynamic Programming as a Framework for Decision Support in Animal Production
1995-05-23
Unknown
1995-12-29
Combining Mobile Agents with Persistent Systems: Opportunities and Challenges
1998-07-29
Beating the Hold-Out: Bounds for K-fold and Progressive Cross-Validation
1999-05-13
Tutorial: Design and Validation of Protocols
1991-07-05
Gerard J. Holzmann
Design of heterogeneous ICs for mobile and personal communication systems
1994-08-12
Generating Accurate Rule Sets Without Global Optimization
1998-05-07
Interpretations of Yetter's notion of G-coloring: simplicial fibre bundles and non-abelian cohomology
1996-01-19
Tim Porter
Stack-Based Typed Assembly Language
1999-04-07
A Computational Characterization of Collective Chaos
1998-06-15
Mining Library Catalogues: Best-Match Retrieval Based On Exact-Match Interfaces
1998-01-27
Applications of Circuit Probability Computation Using Decision Diagrams
1997-07-15
M. A. Thornton
Toward Principles for the Design of Ontologies Used for Knowledge Sharing
1994-07-06
Thomas R. Gruber
Use of Statistical Methods to Reduce Delays for Media Playback Buffering
1998-07-24
Natural Operations In Differential Geometry
1996-08-21
Peter W. Michor
Disk Striping in Video Server Environments
1998-03-03
Randomness versus Fault-Tolerance
1997-10-26
Model Compensation For Noises In Training And Test Data
1997-01-03
AIAA 96-2386 Study of Semi-Span Model Testing Techniques
1996-07-29
Applying the Multiple Cause Mixture Model to Text Categorization
1998-03-27
Mixtures of Linear Subspaces for Face Detection
1999-03-25
Interoperability Of Gis: A Distributed Object Architecture Based On A Canonical And Functional Models
1970-01-01
Image Subband Coding Using Progressive Classification and Adaptive Quantization
1970-01-01
Run-time Object Inspection
1994-12-30
Applying the Theory-Model Paradigm
1970-01-01
A Diagnostic Simulation Algorithm for Stuck-at Faults in Combinational Circuits
1993-03-30
On Learning
1998-03-25
Modal Event Calculi with Preconditions
1998-01-22
A Neural Network Architecture for High-Speed Database Query Processing
1995-07-08
Efficient BDD Algorithms for FSM Synthesis and Verification
1995-04-21
Reinforcement Learning in Markovian and Non-Markovian Environments
1998-06-09
Jurgen Schmidhuber
Hardware Synthesis for Neural Networks from a Behavioral Description with VHDL
1994-08-19
AFS and the Web: Competitors or Collaborators?
1996-07-12
Functional Validation of System-level Loop Transformations for Power Efficient Caching
1998-06-09
Microkernels Should Support Passive Objects
1993-10-01
Video Scene Change Detection Using The Generalized Sequence Trace
1999-02-03
Mark DURING Sweep rather than Mark THEN Sweep
1992-11-02
Experiences with LiGA: A Hypermedia Link Generator and Analyzer
1998-02-27
On Sampling Generating Sets of Finite Groups
1999-03-19
Experimental Robust Control of Structural Acoustic Radiation
1998-05-04
"Teachers and Classes" with Neural Networks
1997-03-14
Carsten Peterson
Michael Aschbacher
1998-01-28
Michael Aschbacher
Interpreting Church-Style Typed lambda-Calculus in Curry-Style Type Assignment
1998-12-09
Parallelizing UHBD
1995-02-07
Predicting Software Reliability from Testing Taking into Account Other Knowledge about a Program
1997-03-12
Interaction of Two Different Types of Membrane Proteins with Model Membranes Investigated by FTIR ATR Spectroscopy
1998-05-14
Multiwavelets for Second Kind Integral Equations
1994-09-25
A Dedicated Circuit for Charged Particles Simulation Using the Monte Carlo Method
1970-01-01
The Availability of Partial Scopings in an Underspecified Semantic Representation
1998-11-17
Chiral Quark-Soliton Model
1998-02-19
Dmitri Diakonov
Learning Disjunctive Concepts with Distributed Genetic Algorithms
1996-04-16
Socially Controlled Global Agent Systems
1996-10-15
Conceptual Analogy: Conceptual clustering for informed and efficient analogical reasoning
1996-11-06
Breakdowns and Stagnation in Iterative Methods.
1998-02-24
Enhanced Hypertext Categorization Using Hyperlinks
1998-08-05
Symmetries, Isometries and Length Spectra of Closed Hyperbolic Three-Manifolds
1996-08-21
Entropy-Based Pattern Matching For Document Image Compression
1996-05-30
Automated Model Acquisition using Volumes of Occlusion
1995-11-17
The Fractal and Multifractal Nature of Traffic.
1997-07-24
Amos Storkey
Compiler Support for Maintaining Cache Coherence Using Data Prefetching
1996-10-16
The Finite Speed of Propagation Property for the Thin Film Equation in Terms of the ...-Norm
1997-01-17
Representation of Similarity as a Goal of Early Visual Processing
1994-08-18
Janus: Towards Multilingual Spoken Language Translation
1999-03-02
Empirical Processes for Object-Oriented Reengineering
1999-03-25
The Conley Index and Symbolic Dynamics
1997-12-20
Andrzej Szymczak
IEEE T ransactions on Magnetics
1997-04-08
Limits on the Power of Parallel Random Access Machines with Weak Forms of Write Conflict Resolution
1996-11-07
Small Forwarding Tables for Fast Routing Lookups
1997-08-07
Bayesian Computation for the Superposition of Nonhomogeneous Poisson Processes
1995-09-16
E.Olivieri
1997-04-26
Quantum Effects in Barrier Dynamics
1996-08-29
Error bounds in the isometric Arnoldi process
1997-06-24
The Equivalence Of Some Bernoulli Convolutions To Lebesgue Measure
1997-12-12
R. Daniel Mauldin
No-Reset Iterative Learning Control
1996-03-18
Delaunay Polytopes of Cut Lattices
1999-04-21
A Quality of Service Decision Model for ATM-LAN/MAN Interconnection
1998-02-13
Time Measures And State Maintainability For A Class Of Composed Systems
1997-03-14
Lawrence E. Holloway
Nowcasting Astronomical Seeing: Towards an Operational Approach
1997-04-24
Supporting Object Oriented Languages On The Comandos Platform
1993-01-13
Towards Effective and Efficient Free Space Management
1996-03-11
Graphical Models for Preference and Utility
1998-08-12
Relative Utility of EBG based Plan Reuse in Partial Ordering vs. Total Ordering Planning
1993-08-17
Subbarao Kambhampati
Global Price Updates Help
1999-02-05
An Environment for the Design and Performance Evaluation of Portable Parallel Software - EDPEPPS Tutorial
1999-01-12
S. Randoux
Correlation Dimension of Intermittent Signals
1997-07-04
Pseudo Differential Operators and Integrable Systems in AXIOM
1995-10-12
Werner M. Seiler
Depicting Fire and Other Gaseous Phenomena Using Diffusion Processes
1995-05-11
Bi-Directional Recurrent Neural Networks For Speech Recognition
1996-08-07
Understanding and Extending Graphplan
1997-09-04
Adaptive Granularity: Transparent Integration of Fine- and Coarse-Grain Communication
1998-08-06
Bayesian Modeling of Facial Similarity
1999-03-24
A Simple Method for Completing Degenerate Delaunay Tessellations
1997-06-28
A Unified Hierarchical Algorithm for Global Illumination with Scattering Volumes and Object Clusters
1995-07-18
Francois X. Sillion
Orthogonal and Biorthogonal Multiwavelets for Signal Denoising and Image Compression
1998-09-27
Reordering Based Synthesis
1997-10-29
A Logical Formalisation of Ernie Davis's Egg Cracking Problem
1998-01-16
Murray Shanahan
SAAM: A Method for Analyzing the Properties of Software Architectures
1999-02-11
Visualizing the embedding of objects in Euclidean space
1998-11-19
The Representation of the Rippling Heuristic in Proof Planning Using Coloured Annotations
1996-07-25
Gordon Reid
January 21, 1992
1970-01-01
Don Libes
Effects of Word Abstractness in a Connectionist Model of Deep Dyslexia
1997-01-02
Scalable High Speed IP Routing Lookups
1997-09-24
A Note on Deciding the Controllability of a Language K with respect to a Language L
1994-08-15
Caching Intermediate Results for Program Improvement
1970-01-01
VLSI design for analog neural computation
1995-08-01
O. Vermesan
Index Selection for OLAP
1997-01-02
PAIRING IN THE BOGOLIUBOV-de GENNES EQUATIONS
1997-04-28
Yong-jihn Kim
Baudouin Le Charlier and Sabina Rossi
1998-07-22
Wild Cantor attractors exist
1996-11-01
The STRIP Rule System For Efficiently Maintaining Derived Data
1997-09-20
Accuracy of the Semi-Classical Approximation: the Pullen Edmonds Hamiltonian
1998-05-23
Temporal Triggers in Active Databases
1995-05-16
Speeding up Irregular Applications in Shared-Memory Multiprocessors: Memory Binding and Group Prefetching
1995-12-18
A High Charge and Short Pulse RF Photocathode Gun for Wakefield Acceleration
1998-02-12
A Genetic Approach to the Overlapped Scheduling of Iterative Data-Flow Graphs for Target Architectures with Communication Delays
1997-12-22
Enhancing Wavelet Image Compression By Partial Fractal Coding of Spatial Self-Similarities
1997-08-30
Syntactic Action Refinement in Presence of Multiway Synchronization
1997-10-16
Robust Detection of Significant Points in Multiframe Images
1998-11-30
The Vacuum Einstein Equations via Holonomy around Closed Loops on Characteristic Surfaces.
1998-05-12
A Stochastic Automata Model and its Algebraic Approach
1997-05-27
High density QCD with static quarks
1998-05-25
Collaboration during Conceptual Design
1995-11-08
MAJOR 1.5 -- A Monte Carlo Generator for Heavy Majorana Neutrinos in
1998-05-14
REINAS: A Real-time System for Managing Environmental Data
1997-09-18
Transaction Costs And Non-Markovian Delta Hedging
1997-04-26
Numerical Flow Visualization in a Functional Style
1999-04-15
J. P. M. Hultquist
Priority Queues on Parallel Machines
1997-04-10
Gerth Stølting Brodal
Objects Then And Now
1997-04-14
Graham Birtwistle
Coordinating Distributed Objects With Declarative Interfaces
1997-02-26
The VersaKey Framework: Versatile Group Key Management
1998-09-22
CALL FOR PAPERS Constraint Problem Reformulation Constraint Programming 1998 Workshop Program
1998-04-22
Using the GCel for Simulation of Flow in the Continental Shelf Region
1996-04-03
Intersection Types and Bounded Polymorphism
1998-07-26
Benjamin C. Pierce
Pipelined Multi-Queue Management in a VLSI ATM Switch Chip with Credit-Based Flow-Control
1997-08-19
A Practical System for Planning Safe Trajectories for Manipulator Robots
1998-04-09
Automatic Feature Extraction and Indexing for Content-Based Visual Query
1999-01-19
Assuring Good Style for Object-Oriented Programs
1993-06-04
Implementing Modal and Relevance Logics in a Logical Framework
1996-08-09
Transporting Track Parameters and Covariance Matrices in Magnetic Fields
1998-06-23
Paul Avery
Scalable Support for Transparent Mobile Host Internetworking
1996-11-19
David B. Johnson
-800-CALL-ME: The myth of the passive prospect
1998-01-19
Seth Bullock
Structure and Performance of Decision Support Algorithms on Active Disks
1998-11-02
Efficient Detection of All Pointer and Array Access Errors
1993-12-02
Issues in Logging Techniques through a Study of Four Systems
1995-03-10
Michel Ruffin
The New Jersey Machine-Code Toolkit
1998-02-28
Source and Channel Rate Allocation for Channel Codes Satisfying the Gilbert-Varshamov or Tsfasman-Vladut-Zink Bounds
1998-09-20
Kenneth Zeger
Learning Conditional Probabilities With Longitudinal Data
1995-07-07
Automatic Reconfiguration in the Presence of Failures
1993-10-16
Flaviu Cristian
Revenge Of The Semicoarsening Frequency Decomposition Multigrid Method
1996-02-28
J. E. Dendy
Determination of referential property and number of nouns in Japanese sentences for machine translation into English
1998-07-02
High Performance Segmentation of Spontaneous Speech Using Part of Speech and Trigger Word Information
1997-02-09
Improving the Query Performance of High-Dimensional Index Structures by Bulk Load Operations
1998-02-07
Stefan Berchtold
WWW Khorosware on Digital Image Processing
1995-06-12
The Dynamics of a Genetic Algorithm for Simple Random Ising Systems
1996-08-24
An Explicit Solution of the BCS Model and Demonstration of Symmetry Breaking
1997-05-27
Detlef Lehmann
Diffeomorphisms Groups and Pattern Matching in Image Analysis
1995-11-10
Gaussian Elimination, Perturbation Theory and Markov Chains
1998-09-05
G. W. Stewart
Reusable Strategies for Software Agents via the Subsumption Architecture
1998-11-11
On How to Merge Sorted Lists Coming from Different Web Search Tools
1998-01-07
Ronald R. Yager
On the Theory Of Pfaffian Orientations. II.
1999-01-25
On the Relationship Between File Sizes, Transport Protocols, and Self-Similar Network Traffic
1996-08-13
Distributed Object Oriented Logic Programming as a tool for Enterprise Modelling
1998-07-20
BDD extensions for stochastic transition systems
1997-09-10
Markus Siegle
Binary Periodic Synchronizing Sequences
1998-12-21
Marcin Skubiszewski
Watson, A. B. 1990. Gain, noise, and contrast sensitivity of linear visual neurons. Visual Neuroscience 4, 147-157.
1994-10-05
Andrew B. Watson
Monitoring Membership Changes in a Fault-Tolerant Distributed System
1996-04-04
A Problem for RST: The Need for Multi-Level Discourse Analysis
1994-06-29
Adaptive and Reliable Parallel Computing on Networks of Workstations
1996-11-23
Linguistic Grammar as Dynamic Logic
1998-08-25
Johan Van Benthem
Recovery Options in Directory Based Software Coherency Schemes
1997-09-12
On the Approximation of Largest Common Subtrees and Largest Common Point Sets
1998-01-16
Tatsuya Akutsu
Sux Trees on Words
1999-02-02
D'epartement de physique and Observatoire du mont M'egantic, Universit'e de Montr'eal, C.P.6128, Succ. centre ville, Montr'eal, Qu'ebec, Canada. H3C 3J7 Electronic-mail:
1998-10-30
Nonlinear Component Analysis as a Kernel Eigenvalue Problem
1997-10-04
KQML as an agent communication language
1996-05-14
Cooperative Depth Extraction
1995-03-01
How to Privatize Random Bits
1996-06-07
Marius Zimand
Robot Localization using a Computer Vision Sextant
1997-06-22
Amortized Constant Relaxed Rebalancing using Standard Rotations
1997-04-29
Kim S. Larsen
Text Segmentation by Topic
1997-10-07
The Generalization of the Geske-Formula for Compound Options to Stochastic Interest Rates is not trivial
1997-01-20
Modules, Macros and Lisp
1994-09-09
Successive Interference Cancellation Schemes in Multi-Rate DS/CDMA Systems
1997-08-13
On the Perceptual Structure of Face Space
1996-06-07
Alessandro Treves
DNA Mapping Algorithms: Clone Sequencing
1995-07-25
A Model of BDI-Agent in Game-Theoretic Framework
1998-02-12
Jan Komar
Synchronization Induced by Temporal Delays in Pulse-Coupled Oscillators
1997-11-05
Numerical simulation of a binary communication channel: Comparison between a replica calculation and an exact solution
1998-05-21
Multi-Resolution Video Representation for Parallel Disk Arrays
1998-01-30
Testing Cosmological Models Against The Abundance Of Damped Lyman-Alpha Absorbers
1997-05-01
Competitive Online Algorithms
1996-12-11
Susanne Albers
Existence of Solutions for Unilateral Problems With Multivalued Operators
1995-10-26
Anna Maria Rossi
Efficient Sparse LU Factorization with Lazy Space Allocation
1999-01-05
Unknown
1998-03-07
Adaptable Replicated Objects in Distributed Environments
1995-11-30
From Frank Lloyd Wright to Mondrian: Transforming Evolving Representations
1999-02-07
Flexible Design and Efficient Implementation of a Hypermedia Document Database System by Tailoring Semantic Relationships
1995-09-20
K. Aberer
Five Pitfalls of Empirical Scheduling Research
1997-10-07