Synthesis Of A Recurrent Double-Layer Transistor Network For Early-Vision Tasks
1998-09-13
A Generalisation of Indexing for Parallel Document Search
1970-01-01
D. B. Skillicorn
Oscillatory Behavior of the Rate of Escape through an Unstable Limit Cycle
1996-09-17
Lie Theory of Differential Equations and Computer Algebra
1995-08-21
Gunter Czichowski
Wonderful Models Of Subspace Arrangements
1995-10-09
Comparing Point Sets Under Projection
1996-08-09
A Model of Stock Market Participants
1998-03-13
Recognition by Functional Parts
1995-06-05
Independency Relationships and Learning Algorithms for Singly Connected Networks
1996-02-09
Luis M. De Campos
Investor Valuation of the Abandonment Option
1995-12-01
Subsampling: A Structural Approach To Technical Document Vectorization
1995-07-28
On the Cohomology of Coxeter Groups and Their Finite Parabolic Subgroups II
1997-04-17
Toshiyuki Akita
A Method Providing Identity Privacy to Mobile Users during Authentication
1994-11-10
Value-cognizant Admission Control Strategies for Real-Time DBMS
1996-11-04
Table Captions
1994-12-13
Parallel Computing: a Latin American Perspective
1997-09-05
S. W. Song
Boundary Layer Approximate Approximations and Cubature of Potentials in Domains
1998-10-16
On Configuring Hierarchical Storage Structures
1998-12-08
Heuristic Minimization of BDDs Using Don't Cares
1994-04-28
From Antibracket to Equivariant Characteristic Classes
1998-05-23
Armen Nersessian
Learning via Internal Representation Extended Abstract
1998-06-18
Learning Tree-Structured Vector Quantization for Image Compression
1996-08-17
On The Unsupervised Induction Of Phrase-Structure Grammars
1995-10-15
Carl De Marcken
Blind Equalization For Digital Cable Transmission With Tomlinson-Harashima Precoding And Shaping
1996-02-19
Categorization-Based Diagnostic Problem Solving in the VLSI Design Domain
1995-02-12
Restricted Track Assignment with Applications
1995-05-04
Paper Title: A Rate-Distortion Function for Vector Quantization with a Variable Block-Size Classification Model Authors' Names:
1999-03-19
Maximizing Band Gaps In Two-Dimensional Photonic Crystals
1998-08-31
Function Smoothing with Applications to VLSI Layout
1999-01-25
Decoupled Simulation in Virtual Reality with The MR Toolkit
1994-07-15
On Random Greedy Triangle Packing
1997-12-26
David A. Grable
UMDL Agent Architecture version of 4/15/97
1997-04-15
Classification-Directed Branch Predictor Design
1997-05-21
Global Partitioning of Parallel Loops and Data Arrays for Caches and Distributed Memory in Multiprocessors
1994-07-27
Rajeev Barua
Unknown
1993-04-29
The Logic Of Counteractions
1994-01-28
A Maximum b-Matching Problem Arising From Median Location Models With Applications To The Roommates Problem
1997-01-22
Efficient Methods for Qualitative Spatial Reasoning
1998-06-19
Data Analysis Techniques for Resolving Nonlinear Processes in Plasmas : A Review
1998-03-20
Cnrs Luminy
Decision Making In Genetic Algorithms: A Signal-To-Noise Perspective
1994-08-30
Formal Neural Network Specification and its Implications on Standardization
1993-09-03
Fundamentals Of Deductive Program Synthesis
1995-11-13
On the Braiding on a Hopf Algebra in a Braided Category
1998-12-03
Peter Schauenburg
When Will a Genetic Algorithm Outperform Hill Climbing?
1994-01-09
Unknown
1998-05-06
Real-Time Java
1998-02-09
Kelvin Nilsen
A Framework for the Analysis of Syntactic Replacement Restrictions
1999-03-01
Salvador Lucas
The Distribution of 3x+1 Trees
1996-08-21
Jeffrey C. Lagarias
Data Caches for Superscalar Processors
1997-04-09
Asymptotically Fast Computation of Hermite Normal Forms of Integer Matrices
1996-02-02
Happy Patrons Make Better Tippers
1997-08-15
Journal of Graph Algorithms and Applications
1998-05-12
A Reliable Ordered Delivery Protocol for Interconnected Local-Area Networks
1995-08-17
Rendering of Numerical Flow Simulations Using MPI
1997-02-27
Positive Solutions and Nonlinear Multipoint Conjugate Eigenvalue Problems
1997-01-23
Image Database Assisted Classification
1999-03-17
Higgs Sector Cp-Violation At The Electroweak Phase Transition
1998-11-24
M. Laine
Generating Functions for Stable Branching Coefficients of ...
1997-08-30
DERBY: A Memory Management System for Distributed Main Memory Databases
1996-01-31
Recognizing the Plans of a Replanning User
1995-04-27
Ola Stenborg
Geometric Smoothing of 3D Surfaces and Non-linear Diffusion of 3D Images
1996-12-10
Resource Allocation on Dynamic Conflict Graphs
1993-12-27
On the Scalability of 2-D Wavelet Transform Algorithms on Fine-grained Parallel Machines
1996-08-22
Operating System Support For High-Speed Networking
1996-07-16
A Systems Approach to Modelling Chlorine Decay in Water Distribution Systems
1997-03-24
Qualitative And Numerical Analysis Of Quasistatic Problems In Elastoplasticity
1994-10-19
Run-Time Optimization of Sparse Matrix-Vector Multiplication on SIMD Machines
1997-01-29
Genetic Set Recombination and its Application to Neural Network Topology Optimisation
1997-05-16
Nicholas J. Radcliffe
Learning Probabilistic User Models
1998-10-12
Combinational Logic-Level Verification using Boolean Expression Diagrams
1997-07-03
Petri Nets And Step Transition Systems
1999-03-05
Madhavan Mukund
Temporal Discourse Markers and the Flow of Events
1998-09-01
Frank Schilder
An Experiment on the Validation of a Specification by Heterogeneous Formal Means: the Transit Node
1997-01-23
Coercive Inequalities for Kawasaki Dynamics: The Product Case
1997-04-26
Multi-Queue Management and Scheduling for Improved QoS in Communication Networks
1997-09-02
Object Detection In A Noisy Scene*
1996-02-09
A collection of ART-family graphical simulators
1999-02-03
Towards a Cooperation Knowledge Level For Collaborative Problem Solving
1994-07-05
N. R. Jennings
The Generation of Idiomatic and Collocational Expressions
1996-01-12
Johannes Matiasek
The File System Belongs in the Kernel
1993-10-14
Brent Welch
Evaluating Process Clusters to Support Automatic Program Understanding
1996-04-02
Thomas Kunz
Finding Interesting Rules from Large Sets of Discovered Association Rules
1995-01-04
FORTDIFF: A Set of Subroutines for Fortran-to-Fortran Differentiation of Programs
1994-11-16
R. Baker Kearfott
The translational signal database, TransTerm, is now a relational database
1997-12-15
The Trials and Tribulations of Building an Adaptive User Interface
1999-02-01
The Equivalence Structure of Descriptor Representations of Systems with Possibly Inconsistent Initial Conditions
1998-11-04
J. M. Schumacher
Steering a Three-Input Nonholonomic System using Multi-rate Controls
1995-01-27
Berkeley, CA 94720 email:
1997-11-03
Black Hole Electromagnetic Duality
1998-05-24
S. Deser
The inherent inaccuracy of implicit tridiagonal QR
1994-10-08
James W. Demmel
Computer Vision: What Is The Object?
1997-12-16
James V. Stone
Merging and Splitting Eigenspace Models
1998-09-10
Code-Spread CDMA using Maximum Free Distance Low-Rate Convolutional Codes
1998-03-10
Electron Heating By The Cross-Shock Electric Potential
1998-08-12
A Sampling Technique for Diagnostic Fault Simulation
1995-10-26
Sreejit Chakravarty
Neural Network Dynamics for Path Planning and Obstacle Avoidance
1995-01-20
Groupoids: Unifying Internal and External Symmetry - ATour Through Some Examples
1996-02-04
Alan Weinstein
Proof Strategies in Linear Logic
1996-06-30
Tanel Tammet
Formal Rationality and Limited Agents
1998-12-17
Jonathan King Tash
Agent Collaboration as a Resource Discovery Technique
1994-11-15
Ellen M. Voorhees
How to Edit a Journal by E-mail
1995-07-10
Database Mining: A Performance Perspective
1996-02-21
The Larch Shared Language: Some Open Problems
1996-10-22
James J. Horning
Functional Programming in a Basic Database Course
1995-11-22
Edge-Disjoint Paths in Planar Graphs with Short Total Length
1996-12-19
Upper Bounds to the Clique-Width of Graphs
1997-07-30
Petri Net Models of Metastable Operations in Latch Circuits
1998-12-11
F. Xia
On Context-based Naming in Information Bases
1997-05-16
Control Flow Optimization for Fast System Simulation and Storage Minimization
1993-12-06
Transport Equations for Elastic and Other Waves in Random Media
1998-06-08
On Assessing the Complexity of Software Architectures
1998-09-03
Jianjun Zhao
Data-Independence of Read, Write, and Control Structures in PRAM computations
1998-07-17
The Role Of Dimensionality In The Stability Of A Confined Condensed Bose Gas
1997-12-19
Luca Salasnich
Justin A. Boyan
1998-12-17
Justin A. Boyan
Internet Multicasting Based on Group-Relative Addressing
1998-11-29
Automatic Recognition and Analysis of Birdsong Syllables from Continuous Recordings
1995-11-08
Towards a Better Understanding of Web Resources and Server Responses for Improved Caching
1999-01-08
Modeling Video Temporal Relationships in an Object Database Management System
1999-01-14
User Modelling for Information Retrieval from Multidatabases
1997-06-13
Support Vector Classifiers: A First Look
1997-05-12
Robust and Reliable Speech Understanding in Restricted Domains
1995-07-24
Use of Colour in Gradient-Based Estimation of Dense Two-Dimensional Motion
1996-01-25
Janusz Konrad
Very Low Bit Rate Video Coding Based on Matching Pursuits
1998-11-20
Observations of the Spatial Structure of Internal Waves in a Small Mid-Latitude Lake
1998-08-28
Warm Start and Epsilon-Subgradients in Cutting Plane Scheme for Block-Angular Linear Programs
1998-03-24
J. Gondzio
Relational Databases: A Tutorial for Statisticians
1995-03-31
Joe R. Hill
Z39.50 - A Key Technology for Resource Discovery
1995-05-15
The Resonance Strategy
1994-03-29
Larry Wos
Clustering for Searching Near-Replicas of Images on the World-Wide Web
1998-11-30
Taking the Paradoxes Out of Bracketing in Morphology
1996-06-03
Marc Light
Total Correctness by Local Improvement in Program Transformation
1995-04-04
David Sands
A Comparison of Reliable Multicast Protocols
1998-09-24
New Limit on the P-Mode Oscillations of Procyon by Fourier Transform Seismometry
1970-01-01
Generating Analyzers with
1996-01-12
The Influence of Learning on Evolution
1999-01-11
Adaptive Voice/data Networks
1994-07-18
Getting the Timing Right - The Use of Genetic Algorithms in Scheduling
1994-08-12
Hugh M. Cartwright
Processing ASN.1 specifications in a declarative language
1996-06-07
Ellemtel Utvecklings Ab
Local Time and the Unification of Physics Part I. Local Time
1999-03-25
Discrete Logarithms In Finite Fields
1996-12-19
Dataflow Analysis of Branch Mispredictions and Its Application to Early Resolution of Branch Outcomes
1998-09-30
Properties of Common Focus Point Gathers
1997-05-21
John W. Harris
1998-09-22
John W. Harris
A Tcl/Tk-based, intelligent graphical editor for preparing HST programs
1995-12-08
Storage Alternatives for Mobile Computers
1998-12-29
Learning to Make Rent-to-Buy Decisions with Systems Applications
1996-08-24
A Society of Hill-Climbers
1997-11-13
Performance Comparison of Two Text Marking Methods
1997-09-12
Calculation Of Pseudospectra By The Arnoldi Iteration
1994-06-08
Building a Design Family: Explicit Support for Contingency Handling and Exploratory Design in Multimedia Authoring
1998-09-27
Aran Lunzer
Robust Stability Analysis of Characteristic Polynomials Whose Coefficients are Polynomials of Interval Parameters
1998-03-17
Fuzzy Computational Semantics
1998-04-22
Burghard B. Rieger
Construction of state graphs of infinite systems with PVS
1998-09-24
NCSA's World Wide Web Server: Design and Performance
1998-01-06
Analysis of the Clustering Properties of Hilbert Space-filling Curve
1997-12-07
Du Collectif Au Social: Vers Une Distinction Fonctionnelle Quantitative
1996-03-27
E.Olivieri
1997-04-26
Causally Ordered Message Delivery in Mobile Systems
1994-11-16
Using Latent Semantic Indexing for Data Mining
1997-08-14
Jingqian Jiang
A Polynomial Time Incremental Algorithm for Regular Grammar Inference
1997-01-17
An Approach to Modelling and Simulation of Uncertain Dynamical Systems
1997-05-16
Eyke H
Efficient Loop Scheduling And Pipelining For Applications With Non-Uniform Loops
1998-10-21
Second-Order Method for Occlusion Relationships in Motion Layers
1996-01-24
On the Effectiveness of Code Reordering Algorithms for theAlpha and IA32 Architectures
1997-07-16
Arriving at FPGA based Hardware Unix-Encription using Iterated Codesign Methods
1997-11-07
The Quest for Pi David H. Bailey, Jonathan M. Borwein, Peter B. Borwein and Simon Plouffe June 25, 1996
1997-05-27
Some Properties of the Strong Kronecker Product
1998-04-17
Nikos P. Pitsianis
VIZ: A Data-Reactive Visualization Language
1996-03-25
Occupation Time Limit Theorems For Independent Random Walks
1997-10-24
Tzong-yow Lee
Review of Particle Physics: C. Caso
1998-06-05
Communication and Deontic Logic
1998-10-21
Why Cryptosystems Fail
1995-09-20
Ross Anderson
Convergence En Moyenne Quadratique De L'estimateur De La Régression Par Splines Hybrides
1999-02-11
Cheikh A. T. Diack
A Lexical Semantic Database for Verbmobil
1996-11-18
Johannes Heinecke
Synchronization Power Depends on the Register Size
1995-10-30
Yehuda Afek
Blackboard Systems modelled in SOCCA
1997-12-06
Unknown
1997-02-24
Rigidly symmetric L
1995-08-21
Detlev Poguntke
Improving the Performance of Distributed Applications Using Active Networks
1998-11-17
Optimization of Queries with User-defined Predicates
1970-01-01
Lower Limb Kinematics of Human Walking with the Medial Axis Transformation
1995-06-15
Issues in Cross-Language Retrieval from Document Image Collections
1999-03-25
Douglas W. Oard
Treatment Planning for a Radiosurgical System with General Kinematics
1996-11-05
Management of Multi-structured Hypermedia Documents : A Data Model, Query Language, and Indexing Scheme
1997-08-19
For Class and Package Writers
1999-03-23
Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems
1998-10-12
Liability and Computer Security: Nine Principles
1995-03-21
Ross J Anderson
Some Future Directions in Fault Modeling and Test Pattern Generation Research
1992-10-14
Biases Introduced by Adaptive Recombination Operators
1999-01-20
Using Wavelets to Obtain a Consistent Ordinary Least Squares Estimator of the Long Memory Parameter
1997-11-01
Mark J. Jensen
Adaptive Microphone Arrays for Speech Enhancement in Coherent and Incoherent Noise Fields
1997-02-19
Principality and Decidable Type Inference for Finite-Rank Intersection Types
1998-12-02
Towards the Interoperability of Web, Database, and Mass Storage Technologies for Petabyte Archives
1996-07-09
Genetic Algorithms as Multi-Coordinators in Large-Scale Optimization
1970-01-01
Extending SUIF for Machine-dependent Optimizations
1996-03-27
Michael D. Smith
The RISE 2.0 System: A Case Study in Multistrategy Learning
1995-03-17
Pedro Domingos
Value-Based Distributions in Fortran D: A Preliminary Report
1994-03-10
A Geometric Criterion For Positive Topological Entropy
1997-04-26
Peter Dittrich, Wolfgang Banzhaf, Hilmar Rauhe and Jens Ziegler
1997-11-27
Representing Communicative Action in a Dialogue-Based
1997-08-27
Reva Freedman
A Reconfigurable Data Flow Machine for Implementing Functional Programming Languages
1998-05-18
Christophe Giraud-carrier
A New Upper Bound for the Minimum of an Integral Lattice of Determinant One
1997-03-05
Contribution Structures
1996-07-01
Hairs on the Cosmological Horizon
1998-05-05
Stochastic programming: Approximation via scenarios
1997-06-06
Structured Documents for Representing Services in Internet Marketplaces
1998-04-21
Toward the Union of Databases and Document Management: The Design of DocBase
1998-11-20
Arijit Sengupta
Inverse Dynamics Controllers for Robust Control: Consequences for Neurocontrollers
1999-03-11
On Processing Nested Queries in Distributed Object-Oriented Database Systems
1996-01-17
Knowledge Acquisition via Knowledge Integration
1997-06-30
Pavel B. Brazdil
Partition Selection Policies in Object Database Garbage Collection
1996-01-14
Efficient Approximation and Optimization Algorithms for Computational Metrology
1997-04-25
Access Control for Collaborative Environments
1996-04-05
LARGE-SCALE POWER-SPECTRUM FROM PECULIAR VELOCITIES Tsafrir Kolatt
1998-05-26
Tsafrir Kolatt
Modeling the User , s Processing Resources: Pragmatic Simplicity Meets Psychological Complexity
1998-09-27
Anthony Jameson
Large-Sample and Deterministic Confidence Intervals for Online Aggregation
1997-07-08
Peter J. Haas
Clique r-Domination And Clique r-Packing Problems On Dually Chordal Graphs
1970-01-01
Andreas Brandst Adt
Sequential Statistical Procedures for Approving Test Sets Using Mutation-Based Software Testing
1992-08-26
Parallel Algorithm for Mining Outliers in Large Database
1999-03-19
Direct Manipulation of Isosurfaces and Cutting Planes in Virtual Environments
1994-02-17
Knowledge Representation for PlanRecognition
1995-04-24
Robert tony Weida
J.-M. Ghez
1997-04-26
Multicategory Discrimination via Linear Programming
1999-02-10
Implementation of a Wide-Coverage Tactical Generator for Turkish
1996-07-18
Dilek Zeynep Hakkani
Modules In Object-Oriented Systems
1995-04-03
Wide Context Acoustic Modeling In Read Vs. Spontaneous Speech
1997-01-31
Bibliography 99 A. Wilstrom.
1995-02-03
TransPive: A Distributed Lisp System
1992-11-23
Scientific Problem Solving in a Distributed and Collaborative Multimedia Environment
1998-07-22
Datalog with Integer Periodicity Constraints
1998-08-05
Causal Quantum Mechanics Treating Position and Momentum Symmetrically
1998-05-23
An X-ray spectral study of 24 type-1 active galactic nuclei
1996-12-12
C. S. Reynolds
Unknown
1995-01-27
Tools for Automatic Recognition of Character Strings in Maps
1997-07-21
Neural Predictors For Detecting And Removing Redundant Information
1998-06-08
Jurgen Schmidhuber
Coalition and Party Formation in a Legislative Voting Game
1970-01-01
Networking Requirements for Interactive Video on Demand
1996-10-04
Flying Together: Modelling Air Mission Teams
1998-03-18
Location-Aware Query Processing in Mobile Database Systems
1999-01-12
Percolation In The Hyperbolic Plane Extended Abstract
1996-07-28
Simulation of Monolithic Microwave Integrated Circuits
1997-12-18
IDebug: An Advanced Debugging Framework for Java
1999-02-24
Joseph R. Kiniry
Binary Search Trees: How Low Can You Go?
1996-08-09
Rolf Fagerberg
Learning to Adapt to Changing Environments in Evolving Neural Networks
1999-04-13
Free Bits, PCPs and Non-Approximability - Towards Tight Results
1995-12-09
Mihir Bellare
Unknown
1997-04-16
Making inconsistency respectable 1: A logical framework for inconsistency in reasoning
1997-03-11
Caching in with Multigrid Algorithms: Problems in Two Dimensions
1996-06-22
Craig C. Douglas
Efficient Consistency Control in Deductive Databases
1997-05-30
Jules Desharnais, Marc Frappier, Ridha Kh'edri and Ali Mili November 12, 1997
1998-08-14
Integer Ambiguity Estimation With The LAMBDA Method
1998-06-03
Equivalence Rules for UML Class Diagrams
1998-05-14
Choosing a Reliable Hypothesis
1997-05-28
Binary Space Partitioning BSP Trees
1995-08-16
High Performance Unconstrained Word Recognition System Combining HMMs and Markov Random Fields
1996-09-19
Cmu-Cs-93-114
1997-02-04
Preliminary Evaluation of High-Performance Fortran as a Language for Computational Fluid Dynamics
1996-09-24
Agent Communication Languages for Information-Centric Agent Communities
1999-04-06
Caching in the Sprite Network File System
1993-10-14
Spill - a Logic Language for Writing Testable Requirements Specifications
1997-04-23
The Use of Trademarks Or Names of Manufacturers in
1998-03-09
Reasoning about Sets via Atomic Decomposition
1998-02-23
Geometric Engineering of N=1 Quantum Field Theories
1996-11-15
Establishing a Computer Security Incident Response Capability CSIRC
1996-09-24
aCHEdb: the database system for ESTHER, the alpha/beta fold family of proteins and the Cholinesterase gene server
1997-12-15
On the Design and Performance of the PARFUM Parallel Fault Tolerant Volume Renderer
1997-01-07
Energy Minimization and Relaxation Labeling
1999-02-06
Analyse par Diffusion d'un Multiplexeur Statistiqueà Intégration de Services : Analyse Stationnaire
1998-06-29
Beam Test of a Large Area n-on-n Silicon Strip Detector with Fast Binary Readout Electronics
1996-11-18
Horn Approximations of Empirical Data
1996-05-14
Facial Expression Recognition using a Dynamic Model and Motion Energy
1995-04-26
Learning Accurate Belief Nets
1999-03-01
OpenMP on Networks of Workstations
1998-08-12
Whitney Elements on Pyramids
1999-03-23
An Information Model For Genome Map Representation And Assembly
1993-10-16
Signal Separation by Nonlinear Projections: The Fetal ECG
1997-03-26
A Polynomial-time Query language for Hierarchilly Structured Document Databases
1997-01-21
Designing Parallel Programs by the Graphical Language GRAPNEL
1996-04-15
Towards a Practical Information Retrieval System for the Fujitsu AP1000
1996-11-08
Training Data Clustering For Improved Speech Recognition
1998-03-29
Scans as Primitive Parallel Operations
1997-02-04
Guy E. Blelloch
Some Canonical Sequences of Integers
1997-03-05
A strategy-accurate parallel Buchberger algorithm
1994-09-13
Carlo Traverso
Local Equivalence of Transversals in Matroids
1997-12-26
An Approach for Monitoring Intrusion Removal in Real Time Systems
1996-11-12
Modularity in the Design and Implementation of Consul
1992-12-29
Gauged R-symmetry, Fermion and Higgs Mass Problem
1998-05-14
Eung Jin Chun
Parcel-Based Change Detection
1995-10-05
Paul L. Rosin
Analyzing the Performance of Message Understanding Systems
1999-02-13
Amit Bagga
Mining Quantitative Association Rules in Large Relational Tables
1996-03-21
Object-Oriented Graphics Architectures for Global Illumination
1999-01-11
A Knowledge Base for a Neural Guidance System
1970-01-01
Models for Point Processes Observed with Noise
1998-11-25
Jens Lund
Concurrent Object-Oriented Programming Techniques in a Term Graph Rewriting Framework
1998-02-20
George A. Papadopoulos
A Temporal Scripting Language for Object-Oriented Animation
1994-02-21
Programming Parallel Algorithms
1996-09-16
Guy E. Blelloch
Results and Implications of the Noisy Data Projects
1995-04-26
Embedding Of Hilbert Manifolds With Smooth Boundary Into Semispaces Of Hilbert Spaces
1995-11-23
Probabilistic Mapping Of An Environment By A Mobile Robot
1998-09-29
Error Bounds For Fractional Step Methods For Conservation Laws With Source Terms
1995-11-14
A Novel Decomposition of Multilevel Relations Into Single-Level Relations
1998-09-14
The Frölicher-Nijenhuis Bracket
1998-12-03
Lagrangian Flows: The Dynamics Of Globally Minimizing Orbits
1997-09-03
Ricardo Ma
Experiences With A Tool To Build Supervisory Applications
1997-08-15
Repetitive Delone Sets and Perfect Quasicrystals
1999-01-24
The Lifting Scheme: A Construction Of Second Generation Wavelets
1999-03-23
Artificial Life Applied to Adaptive Information Agents
1995-04-04
Experience Using Design Patterns to Evolve Communication Software Across Diverse OS Platforms
1996-10-19
Exact Solutions to Total Variation Regularization Problems
1970-01-01
Users' Guide
1995-01-13
Paul Gilmore
Mixed Filtering and Intelligent Control for Target Tracking With Mobile Sensors
1997-02-21
Dominique Luzeaux
Predictive Role Taking in Dialog: Global Anticipation Feedback Based on Transmutability
1997-06-16
The Use of Exogenous Knowledge to Learn Bayesian Networks from Incomplete Databases
1997-04-11
Supporting dynamic languages on the Java virtual machine
1997-10-27
Olin Shivers
On The Algebraic Structure Of Combinatorial Problems
1997-06-12
Peter Jeavons
A Simple, Yet Effective Approach to Pruning Superfluous Association Rules
1999-04-28
Igor Tatarinov
Machine Learning for Information Extraction from Online Documents
1997-10-31
Dayne Freitag
A Refinement Approach to Visualization
1995-09-19
Effects of Non-zero Bandwidth on Direction of Arrival Estimators in Array Signal Processing
1998-09-15
A Structural Approach for Space Compaction for Concurrent Checking and BIST
1998-10-16
Characterizations of Some Subclasses of Spherical Distributions
1997-11-11
Extending Normal Forms to Remporal Relations
1992-07-30
Graphical and Haptic Manipulation of 3D Objects
1997-04-12
Robust Discrete Event Controller Synthesis For Constrained Motion Systems
1997-05-27
Representing Conics Using the Oriented Projective Plane
1998-01-09
Decay Rates of Metastable States in Cubic Potential by Variational Perturbation Theory
1998-05-12
Manual Parallelization
1998-10-05
A Comparison of Workload Traces from Two Production Parallel Machines
1999-02-10
Towards Design Formalization to Support Reuse in ECAD Frameworks
1998-07-23
On The Lagrange-Newton-SQP Method For The Optimal Control Of Semilinear Parabolic Equations
1998-07-07
Fredi Tr Oltzsch
Cheating in split-knowledge RSA parameter generation
1970-01-01
Marc Joye
A Steerable Dyadic Wavelet Transform and Interval Wavelets for Enhancement of Digital Mammography
1997-07-08
Implementing Global Memory Management in a Workstation Cluster
1995-10-19
Automated Knowledge Acquisition Activities at the Dept. of Information and Knowledge Engineering. KEX and RS systems.
1997-04-09
Petr Berka
Experiences with the Orca Programming Language
1995-03-27
A Localized Algorithm for Parallel Association Mining
1997-11-20
Parsing of Context-Free Languages
1996-09-19
Simulating Performance Of Parallel Database Systems
1993-11-30
Julie A. Mccann
Bounds of the Expected Approximation Error in Optimal Inventory Policies
1997-06-06
A Generic Architecture for Data Flow Analysis to Support Reverse Engineering
1998-01-19
Characterizing the Behavior of Sparse Algorithms on Caches
1998-09-09
The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation
1998-06-24
Conceptual Modeling of Manufacturing Automation
1994-11-01
Separation of Preconditions for Distributed Object Interfaces
1996-06-12
RSVP: A New Resource ReSerVation Protocol
1996-04-03
A New Method of Estimating Shape Similarity
1996-07-09
Impact of Network Dynamics on End-to-End Protocols: Case Studies in Reliable Multicast
1998-04-03
MPI: A Message-Passing Interface Standard
1995-10-16
Allocating Bandwidth for Bursty Connections
1997-05-13
A Factor 2 Approximation Algorithm for the Generalized Steiner Network Problem
1998-04-30
Kamal Jain
A New Decoding Algorithm for Fractal Image Compression
1996-08-06
Raouf Hamzaoui
Register Windows and User-Space Threads on the SPARC
1992-11-18
Computational Complexity of Probabilistic Disambiguation by means of Tree-Grammars
1997-04-17
Langwidere: A Hierarchical Spline Based Facial Animation System with Simulated Muscles
1998-06-22
OMODIS - Object-Oriented Modeling and Database Support for Distributed Multimedia Systems
1997-08-25
Structural Matching in Computer Vision Using Probabilistic Reasoning
1995-09-27
A Framework for Classifying and Comparing Architecture Description Languages
1997-06-06
Cost Savings of Contracting Out Refuse Collection
1998-02-19
Generating Customizable Software Specification Environments Using Metaview
1994-03-09
MANTRA I: An SIMD Processor Array for Neural Computation
1997-05-15
Marc A. Viredaz
A globality theorem for Lie-wedges that are bounded by a hyperplane-ideal
1995-08-21
Dirk Mittenhuber
Extraction of Breaks in Rectilinear Layouts by Plane Sweeps
1995-05-02
Jeffrey S. Rogenski
A Markov Chain Analysis of Parallel Genetic Algorithms with Arbitrary Topologies and Migration Rates
1998-09-25
Parallel Machine Scheduling By Column Generation
1999-01-28
Unknown
1996-08-12
A Multiresolutional Region Based Segmentation Scheme for Stereoscopic Image Compression
1995-02-23
The Non-stop Spineless Tagless G-machine
1999-03-10
Sw Bz
Finding Optimal Sequential Decompositions Of Erosions And Dilations
1998-12-02
Such calculations enable the molecular-based design of new synthetic lubricants of importance in the automotive engines of the future. 3 Chain molecule Monte Carlo simulations in the G...
1996-10-14
H. D. Cochran
Dieter Fox
1998-09-29
Capacity Analysis of Traffic Flow over a Single-Lane Automated Highway System
1999-02-08
On Two Forms of Structural Recursion
1994-09-23
Dan Suciu
Physiological Gain Leads to High ISI Variability in a Simple Model of a Cortical Regular Spiking Cell
1997-07-30
Geometrical Approach to Inverse Scattering for the Dirac Equation
1997-04-26
Wolf Jung
On the Learnability of Discrete Distributions
1996-08-12
Persistent Java Objects: A Proposal
1998-11-25
Ashok Malhotra
A Construction of typed lambda models related to feasible computability
1998-11-11
Concurrency Control and Recovery on Multiversion Objects
1994-10-10
Coding for Write-Efficient Memory
1998-07-07
Removing Interoperability Barriers Between the X.509 and EDIFACT Public Key Infrastructures: the DEDICA Project
1999-03-09
Filters and Pipes, Topological Constraints
1998-09-09
On Market Mechanisms as a Software Technique
1996-12-17
Paul Tucker
Griffon: A Cooperative, Structured, Distributed Document Editor
1996-08-21
Constraint Programming
1996-10-22
Modularity of Confluence: A Simplified Proof
1999-03-16
Very Low Bit Rate Coding of Visual Information - A Review
1998-08-06
Fuzzy Quantifiers for Processing Natural Language Queries in Content-Based Multimedia Retrieval Systems
1997-12-03
Fault Tolerant Matrix Operations for Networks of Workstations Using Diskless Checkpointing
1996-03-01
Derivation Replay for Partial-Order Planning
1994-04-11
NAS Parallel Benchmark Results on ADENART
1995-08-09
A Case Study of Planning for Exploratory Data Analysis
1998-04-10
Serial And Parallel Backpropagation Convergence Via Nonmonotone Perturbed Minimization
1995-10-28
Dealing with Multi-Policy Security in Large Open Distributed Systems
1998-06-16
Christophe Bidan
Monotonic Subsequences in Dimensions Higher Than One
1998-01-13
POLO - A System for Termination Proofs using Polynomial Orderings
1995-06-27
Jurgen Giesl
Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus
1998-08-14
ALFA Fine Grain Dataflow Machine
1995-07-20
Lorenzo Verdoscia
Modality and Interrupts
1994-10-13
Matthew L. Ginsberg
A Variational Fit to the Lattice Energy of Two Heavy-Light Mesons
1999-02-12
Is there any Need for Domain-Dependent Control Information?
1997-01-15
Robotic Exploration Under the Controlled Active Vision Framework
1998-11-08
Broadcasting in Synchronous Networks with Dynamic Faults
1998-05-12
Development of a Secure Electronic Marketplace for Europe
1997-12-01
A Derivation Formula for Convex Integral Functionals Defined on
1995-10-27
SOPHIA - Monte-Carlo simulations of photohadronic processes in astrophysics
1999-03-31
Marching Optimal-Parameter Ridges: an Algorithm to Extract Shape Loci in 3D Images
1999-02-19
Reformulating Query Plans For Multidatabase Systems
1995-06-17
A Classification of Plan Modification Strategies Based on Coverage and Information Requirements
1995-02-16
Subbarao Kambhampati
PEFNA - The Private Filtering News Agent
1997-02-17
Hierarchical Fractal Coder
1996-04-01
Crossed Squares And 2-Crossed Modules Of Commutative Algebras
1997-10-06
Transmitted J. L. Loday
Strictness Analysis Aids Time Analysis
1995-11-02
Philip Wadler
TheOmega Key Management Service
1998-01-29
THE ADELE-TEMPO experience: an environment to support process modeling and enaction.
1994-03-22
The Mincer Metaphor for Problem-Solving Methods: Making Assumptions for Reasons of Efficiency
1995-12-20
Stochastic Nonlinear Lyapunov Stabilization and Inverse Optimality
1998-07-16
Hua Deng
A System Architecture for Database Mining Applications
1996-02-05
A Stable IntegerRelation Algorithm
1998-02-23
Video-on-Demand on the SB--PRAM
1997-01-03
Dealing With Degeneracies and Numerical Imprecisions When Computing Visibility Graphs
1998-05-20
Ere Stephane
CBET: a Case Base Exploration Tool
1997-06-23
Self-Taught Visually-Guided Pointing for a Humanoid Robot
1997-05-12
Exporting Database Functionality - The CONCERT Way
1998-09-15
On the Impact of Order Independence to the Learnability of Recursive Languages
1995-04-28
Planning to Gather Information
1997-04-16
3D Photography Using Shadows
1998-08-06
Jean-yves Bouguet
Algorithms for Solving Nonlinear Systems of Equations
1999-03-17
M. P. Owen
1997-07-25
M. P. Owen
A Framework for Contrast Enhancement by Dyadic Wavelet Analysis
1996-11-01
Formal Development of Java Based Web Parallel Applications
1998-01-29
Visual decision-making: Using treemaps for the Analytic Hierarchy Process
1995-08-01
Cv
1998-07-02
Evaluating the Performance of OO Network Programming Toolkits
1997-01-05
Hypothesis Generation and Verification using Complex Feedback Strategies for Object Recognition
1996-05-13
Stateful Multicast Services for Supporting Collaborative Applications
1998-01-20
Quantum Computing and Phase Transitions in Combinatorial Search
1996-03-29
Tad Hogg
Asymptotic Formulas and Generalized Dedekind Sums
1998-09-20
Gert Almkvist
Journal of Graph Algorithms and Applications
1997-12-03
Hoong Chuin Lau
The LIDEX Approach
1994-07-01
Spoken Dialog System for Database Access on Internet
1997-01-29
Pad'e Type Approximants With Preassigned Zeros
1997-06-06
Stochastic Verification Theorems Within The Framework Of Viscosity Solutions
1970-01-01
Application Of Motivic Complexes To Negligible Classes
1998-06-25
Emmanuel Peyre
Anomalous Transport: A Mathematical Framework
1997-06-17
J. Bellissard
A Systematic Solution Approach for Neutron Transport Problems in Diffusive Regimes
1995-05-05
Linearity of Client/Server Systems
1996-07-20
Towards a Crystal Ball for Data Retrieval
1997-08-08
Joseph M. Hellerstein
Justin A. Boyan
1998-12-17
Justin A. Boyan
Inexact Newton Methods And The Method Of Lines For Solving Richards' Equation In Two Space Dimensions
1997-11-20
Issues of Decidability for Description Logics in the Framework of Resolution
1998-12-23
Exploring the Robustness of Bayesian and Information-Theoretic Methods for Predictive Inference
1999-01-12
A Safe Approximate Algorithm for Interprocedural Pointer Aliasing
1992-07-16
Limit Behaviour Of The Partition Function Of Spin Glasses Via Stochastic Calculus
1997-07-31
Tomohiro Kawakami
1997-05-23
Tomohiro Kawakami
A Model-based Approach to Reactive Self-Configuring Systems
1996-04-17
Techniques d'interpolation de filtres audio-num eriques, Application a la reproduction spatiale des sons sur ecouteurs.
1997-08-27
Integrating Paradigms via Interaction Nets Extended
1996-09-24
AFV-II: Robotic Aerial Platform for Autonomous Robot Research
1998-12-19
M. Anthony Lewis
A Multimodal Approach To Term Extraction Using A Rhetorical Structure Theory Tagger And Formal Concept Analysis
1998-05-11
Peter W. Eklund
A Framework For Analysing Decisions Under Risk
1996-05-30
A Complete Theory of Deterministic Event Structures
1997-05-12
Arend Rensink
Neural Network Adaptations to Hardware Implementations
1997-11-27
Bayesian Regression Analysis With Scale Mixtures of Normals
1998-07-24
Mark F. J. Steel
Combining Monads
1993-03-16
On the Number of Random Bits in Totally Private Computation
1997-02-13
Meta-theory in the Higher-Order Logic Framework
1996-06-19
A. A. Adams
The Complex Ginzburg-Landau Equation with Weak Initial Data
1997-04-26
Jiahong Wu
Video Compression by Three-dimensional Motion-Compensated Subband Coding
1995-06-30
A Distributed Infrastructure for Mobile Computing
1997-11-03
Computing Largest Circles Separating Two Sets of Segments
1996-10-31
Evolutionary Algorithms And Emergent Intelligence
1994-04-15
Steady-State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes
1995-11-03
A Roadmap to Metacomputation by Supercompilation
1996-12-05
A Representation and Query Structure to Approximate Mincuts of a Network
1995-05-22
A Cubist approach to Object Recognition
1998-01-27
Physical and Computational Domain Decompositions for Modeling Subsurface Flows
1998-08-10
An Evaluation of Parallel Multigrid as Solver and Preconditioner for Singular Perturbed Problems
1996-03-22
C. W. Oosterlee
Direct Estimation of Shape from Texture
1997-01-29
Jonas Garding
Visualizing and Modeling Categorical Time Series Data
1995-10-05
Decorated Trace Semantics over BPA have no Finite Equational Axiomatization
1996-06-04
New Approximation Guarantees for Minimum-Weight
1997-09-10
A Methodical Approach to Word Class Formation Using Automatic Evaluation
1996-06-06
Compiler and Hardware Support for Cache Coherence in Large-Scale Multiprocessors: Design Considerations and Performance Study
1970-01-01
An Architecture for Object Replication in Distributed Systems
1996-03-20
A Temporal Paraconsistent Relational Algebra for Incomplete and Inconsistent Information
1998-04-03
Can Declared Strategy Voting be an Effective Instrument for Group Decision-Making?
1995-02-09
Lorrie Faith Cranor
Community is Knowledge! in KA²
1998-02-28
V. Richard Benjamins
On Planning Immobilizing Fixtures For Three-Dimensional Polyhedral Parts
1997-10-28
Jean Ponce
Combining Numerical and Linguistic Information in Group Decision Making
1997-06-06
Recording and Playback of Collaborative Desktops on the Internet
1997-12-29
Efficient expansion of subspaces in the Jacobi-Davidson method for standard and generalized eigenproblems
1999-02-02
Behavior-Based Primitives for Articulated Control
1998-06-03
Preliminary Closed-Loop Results From an Adaptive Optics System Using a Sodium Resonance Guide Star
1996-02-08
A Scalable Multiprocessor for Real-time Signal Processing
1998-01-28
Lie Groups of Conformal Motions acting on Null Orbits
1998-05-05
Gauge Symmetries and Percolation in
1997-12-11
Christian Mazza
A Temporal Model for Interactive Multimedia Scenarios
1997-11-27
In Situ Calibration of the CMS HCAL Detector
1997-01-10
A Theory Of Enriched Sketches
1998-06-17
Requirements for a Composition Language
1995-12-12
Theo Dirk Meijler
Combinatorial Games under Auction Play
1997-09-14
Semiring-based CSPs and Valued CSPs: Frameworks, Properties, and Comparison
1999-02-01
On the Smoothness of Positive Definite and Radial Functions
1998-09-28
Holger Wendland
The use of Formal Models in the Design of Interactive Case Memory Systems
1995-08-02
Andrew Mark Dearden
Expressing Canonical Formation Rules With Graph Grammars Operations
1996-08-28
Stphane Lapalut
Nine Test Tubes Generate any
1997-04-04
Spectral properties of the spin-boson Hamiltonian
1997-04-26
Message Encryption and Authentication Using One-Way Hash Functions
1997-01-25
Chae Hoon Lim
On a Question of Brown and Simpson
1997-04-30
INTERNET Challenges for Information Retrieval
1997-10-30
Justin A. Boyan
1999-04-19
Justin A. Boyan
TIEMPO: An Authoring and Presentation System for Interactive Multimedia
1996-06-10
Loopy Belief Propagation for Approximate Inference: An Empirical Study
1999-05-06
Canonical Relativistic Quantum Mechanics Stephen Low To be published in
1997-04-26
Stephen G. Low
A Constructivist Approach To Autonomous Systems
1996-10-15
Miguel O. Rodriguez
Camera Calibration from Points and Lines in Dual-Space Geometry
1998-08-31
Parallel State Estimation With Confidence Limit Analysis
1997-06-10
Neural Network Structure Optimization through On-line Hardware Evolution
1996-10-15
Eduardo Sanchez
A.A.Gvozdev, N.V.Mikheev and L.A.Vassilevskaya
1998-05-15
Fractional Differentiability of Nowhere Differentiable Functions and Dimensions
1997-04-26
Syntactic Type Polymorphism for Recursive Function Definitions
1995-11-06
A Mixed Finite Element Domain Decomposition Method For Nearly Elastic Wave Equations In The Frequency Domain
1996-03-21
Xiaobing Fengy
Converse : An Interoperable Framework for Parallel Programming
1996-01-23
Strong Duality For Semidefinite Programming
1996-06-11
Active Database Management Systems for Monitoring and Control
1997-08-26
Formalizing a Spectrum of Plan Generalizations Based on Modal Truth Criteria
1994-03-02
Subbarao Kambhampati
A Revisitation of Kernel Synchronization Schemes
1998-10-13
Network Architectures and Multiple Access for ATM Over Satellite
1998-11-10
Multiagent Systems: A Survey from a Machine Learning Perspective
1997-03-25
BCP²: an environment to run Markov Chains for Bayesian Change Point Problems
1997-05-25
ALPiNe: A Hardware Computing Platform for High-Level Petri Nets
1998-06-18
An Agent-Oriented Interface to Multiple Databases
1998-02-06
SmartATMS: A Simulator for Air Traffic Management Systems
1997-07-18
Identification via Compressed Data
1999-04-21
Enhui Yang
Machine Learning From Agricultural Databases: Practice and Experience
1995-07-03
A Causal Model and a Declarative Programming Language for Concurrent Systems
1996-11-14
Solver - An Oz Search Debugger
1996-01-11
Christian Schulte
Simple Eigenvector-Based Circuit Clustering Can Be Effective
1996-02-12
An Interactive Visual Language for Term Subsumption Languages
1997-08-10
Brian R Gaines
Stock Market Prices Do Not Follow Random Walks: Evidence from a Simple Specification Test
1998-12-21
Deleting Automata with a Restart Operation
1997-10-20
The SBR Toolbox - Software for Successive Band Reduction
1996-09-10
Unknown
1996-07-12
Gregory E. Mcavoy
Quantum Squeezing and Cosmological Entropy Production
1995-11-24
UDM: User Direct Messaging for General-Purpose Multiprocessing
1996-07-16
Backpropagation Separates Where Perceptrons Do
1997-09-23
Evolutionary Trees can be Learned in Polynomial Time in the Two-State General Markov Model
1998-12-02
PaNIntE: A New Environment for Solving
1995-04-26
Markus Salchegger
Algebraic Geometry and Group Theory in Geometric Constraint Satisfaction
1995-02-13
An Analysis of ABSTRIPS
1995-06-17
Craig A. Knoblock
Barta February 7, 1999
1999-02-07
Robert Barta
The M/g/1 Processor-Sharing Queue With Long And Short Jobs
1999-02-12
Ward Whitt
Regularity Of Irregular Subdivision
1998-07-15
Spatial Characteristics Of F/A-18 Vertical Tail Buffet Pressures Measured In Flight
1998-04-01
A Comparison of Test Statistics for Computer Intrusion Detection Based on Principal Components Regression of Transition Probabilities
1998-11-12
Test Plan of the Information Service for the Atlas DAQ Prototype-1
1998-07-07
The Satanic Notations: Counting Classes Beyond #P and Other Definitional Adventures
1994-12-21
Multiple Reference Picture Video Coding Using Polynomial Motion Models
1997-11-15
A User Agent Configuration Mechanism For Multimedia Mail Format Information
1993-07-11
Group N. Borenstein
Wavelets On The 2-Sphere And Related Manifolds
1998-03-25
J. -p. Antoine
Deductive Integrity Maintenance in an Object-Oriented Setting
1994-04-14
M. P. Owen
1997-07-25
M. P. Owen
Performance Study of a Multithreaded Superscalar Microprocessor
1996-03-01
Planar Walks with Recursive Initial Conditions
1999-03-31
Heinrich Niederhausen
Issues in Reliable Network Memory Paging
1995-11-16
Evangelos P. Markatos
Bootstrap Confidence Bands for the Autoregression Function
1997-04-18
Challenge: How IJCAI 1999 can Prove the Value of AI by Using AI
1997-09-16
James Geller
'falling Cat' Connections Constructed From The Momentum Map
1996-04-11
Mari An Fecko
Distributed Revision Control Via the World Wide Web
1996-02-27
Talking Heads - Communication, Articulation and Animation
1997-04-18
Jonas Beskow
Buffering of Intermediate Results in Dataflow Diagrams
1995-10-18
Giao T. Nguyen Brian Noble Randy H. Katz Mahadev Satyanarayanan Computer Science Division School of Computer Science
1997-01-21
Using Domain Knowledge to Derive the Logical Structure of Documents
1997-03-25
A Detailed Simulation Model of the HP 97560 Disk Drive
1970-01-01
Memory Bank Disambiguation using Modulo Unrolling for Raw Machines
1999-01-01
Publishing Solutions InfoMaster Architectural Form Reference
1994-02-13
On Minimizing Startup Latency in Scalable Continuous Media Servers
1997-01-15
Correctness of compiling Occamto Transputer code
1996-06-24
Multiscale Spatial Modeling
1997-11-11
Designing Scalable Systems with two-level k-ary n-cube Wormhole-routed Interconnections
1993-08-09
Self-Organising Vocabularies
1996-01-02
Avalanche: A Communication and Memory Architecture for Scalable Parallel Computing
1998-06-03
Simulation of Factoring on a Quantum Computer Architecture
1996-09-16
Scheduling From the Perspective of the Application
1998-12-02
Probability metrics and uniqueness of the solution to the Boltzmann equation for a Maxwell Gas
1998-02-11
Lorentz Symmetry Violation At Planck Scale, Cosmology And Superluminal Particles
1997-12-31
L. Gonzalez-mestres
Active Surfaces for Brain Cortex Reconstruction from MR Images
1997-02-12
Chenyang Xu
Information Entropy Of Classical Orthogonal Polynomials And Their Application To The Harmonic Oscillator And Coulomb Potentials
1998-07-29
An Interactive System for Drawing Graphs
1996-10-17
Performance Analysis Environment for SVM-Fortran Programs
1994-11-22
From Resource Discovery to Knowledge Discovery on the Internet
1998-09-03
Osmar R. Zaiane
Perturbation Theory and Its Limitations in the Higgs Sector of the SM
1996-10-08
Kurt Riesselmann
Query-Answering Algorithms for Information Agents
1996-12-14
Generalized Kummer manifolds
1999-04-16
Andrew Baker Glasgow
Learning Linear, Sparse, Factorial Codes
1996-09-17
Bruno A. Olshausen
Bulk Loading into an OODB: A Performance Study
1994-03-30
Optimal Power Dispatch via Multistage Stochastic Programming
1998-11-03
M. P. Nowak
Digital Watermarks For Audio Signals
1997-05-07
A class of shellable segment scenes with Hamiltonian visibility graphs
1996-04-10
Luiz Henrique De Figueiredo
A Mechanization of Strong Kleene Logic for Partial Functions
1994-07-19
Unknown
1995-03-28
Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
1995-09-25
Gregor Engels
On Syntactic versus Computational Views of Approximability
1996-11-20
A Parallel Complexity Model for Functional Languages
1997-02-04
Comparison of Literary Texts Using Biological Sequence Comparisons and Structured Document Capabilities
1998-02-23
Reflections on Reflections
1998-05-06
Dynamic Object Evolution without Name Collisions
1997-05-07
Mira Mezini
Phonons and Phase Transitions in GaN
1997-02-06
N. E. Christensen
Features for Optical Flow Based Gait Classification Using HMMs
1998-12-08
Dorthe Meyer
GRAIL Semantics
1996-07-13
Ian Horrocks
Interaction in Really Graphical User Interfaces
1998-11-10
Lightweight Transactions on Networks of Workstations
1998-04-14
An Internet Based Software Process Management Environment
1998-06-05
Memory Organization and Management for Linear Algebra Computations
1995-03-06
Management of multimedia data using an Object-Oriented Database System
1997-11-18
Numerical Integration Of Constrained Hamiltonian Systems Using Dirac Brackets
1997-09-03
Werner M. Seiler
A Distributed Infrastructure for Mobile Computing
1997-11-02
Michael L. Littman and Stephen M. Majercik
1997-12-17
Queue Monitoring - A Delay Jitter Management Policy
1994-11-09
Pharos: A Scalable Distributed Architecture for Locating Heterogeneous Information Sources
1997-08-18
Towards Resolution of the Enigmas of
1998-05-15
L. Burakovsky
On the cryptosystem of Chua and Ling
1997-09-01
Excited Baryons Phenomenology from
1997-11-13
Dan Pirjol
Pattern Recognition in Images By Symmetries and Coordinate Transformations
1998-02-04
Josef Bigun
PROTOS - A Rational Reconstruction
1995-06-15
Peter Clark
Implementation of Atomic Primitives on Distributed Shared Memory Multiprocessors
1996-03-02
Learning Parallel Systems by Regular Trace Languages
1997-11-07
Claudio Ferretti
Random Entropy and Recurrence
1997-04-22
Learning to Control Inconsistent Knowledge
1997-11-13
Marc Schoenauer
Classification Using Hierarchical Mixtures Of Experts
1995-01-26
Minimizing Description Length in an UnsupervisedNeural Network
1996-10-23
Evaluation of Data Distribution Patterns in Distributed-Memory Machines
1994-07-15
Lessons Learned from Building and Using the Arjuna Distributed Programming System
1995-11-30
Santosh K. Shrivastava
Defect Report concerning International Standard 8807 Lotos and Proposal for a Correct Flattening of Lotos Parameterized Types
1995-11-29
Random Constraint Satisfaction: Flaws and Structure
1998-10-23
Structuring The Distributed Object World Of Cim
1997-05-30
Approximate MVA Algorithms for Solving Queueing Network Models
1997-02-28
Hai Wang
An Integrated System for Filtering News and Managing Distributed Data
1997-01-16
Predicting a Binary Sequence Almost as Well as the Optimal Biased Coin
1997-01-07
Yoav Freund
Performance Studies of Id on the Monsoon Dataflow System
1999-02-10
A Guide to Understanding Trusted Recovery in Trusted Systems
1999-04-30
A Critical Survey of Music Image Analysis
1998-05-08
Robust Parameter Estimation For Periodic Point Process Signals Using Circular Statistics
1996-12-06
Are Ours Really Smaller Than Theirs?
1970-01-01
Functional Decomposition
1996-11-13
Knowledge Representation for Mathematical Discovery: Three Experiments in Graph Theory
1997-10-26
Enumerative Sequences of Leaves and Nodes in Rational Trees
1998-07-03
Dominique Perrin
Cooperative Information Systems: A Manifesto
1997-09-17
Circle as a P-Spline Curve
1998-09-02
Message-Passing Interface for Microsoft Windows 3.1
1996-01-28
Microsoft Windows
Region-Based Top-Down Segmentation Adapted to Stereo Matching
1995-02-14
A New Genetic Local Search Algorithm for Graph Coloring
1998-12-10
The Stability of Heavy Objects with Multiple Contacts
1994-10-12
Confirmation of the 1994 Scientific Committee Assessment of the Bering-Chukchi-Beaufort Seas Stock of Bowhead Whales, and Further Sensitivity Trials
1995-12-01
Geof H. Givens
Shasta: A Low Overhead, Software-Only Approach for Supporting Fine-Grain Shared Memory
1998-11-05
Low Mean Internodal Distance Network Topologies And Simulated Annealing
1998-05-14
C. Rose
Junctions: Detection, Classification and Reconstruction
1997-09-11
Contour Ranking On Coarse Grained Machines: A Case Study for Low-Level Vision Computations
1996-08-22
An Overview of Genetic Algorithms : Part 1, Fundamentals
1994-09-06
Performance Evaluation of Connection Rerouting Schemes for ATM-based Wireless Networks
1999-02-04
Graph Reduction on Shared-Memory Multiprocessors
1996-10-21
Koen Langendoen
Adaptive Blind Separation of Speech Signals: Cocktail Party Problem
1998-12-02
On Denoting Descriptions
1997-05-22
Paul Dekker
Dimensional Splitting With Front Tracking And Adaptive Grid Refinement
1998-04-23
Report on the Programming Language
1970-01-01
Formalizing Configuration Knowledge Using Rules with Choices
1998-06-09
Bayesian Analysis of Compositional Data
1996-09-18
Classification Of Precedents - A Hybrid Approach to Indexing and Retriving Design Cases in SEED a Software Environment for the Early Phases of Building Design
1998-04-17
Z. Aygen
H1 Collaboration
1998-07-18
H Collaboration
High Speed Search of Large Text Bases on the Fujitsu Cellular Array Processor
1995-11-17
David Hawking
* This research was supported in part by the Defense Advanced Research Projects Agency under contract DACA76-97-K-0001 and monitored by the Topoggraphic Engineering Center of the U.S. Army.
1998-11-02
Maintaining Strong Cache Consistency in the World-Wide Web
1998-02-16
Efficient Approximation and Optimization Algorithms for Computational Metrology
1999-03-11
Binocular Estimation Of Motion And Structure From Long Sequences Using Optical Flow Without Correspondence
1997-12-15
Modeling Service Distributions in Queueing Network Simulation
1995-03-17
Kimmo E. E. Raatikainen
A Computational Theory of Context Dependence
1997-03-27
Stephen G. Pulman
Descriptive Modeling of Software Processes
1997-07-16
Image Sequence Description Using Spatiotemporal Flow Curves: Toward Motion-Based Recognition
1991-11-28
Mark C. Allmen
Space-time multi type log Gaussian Cox processes with a view to modeling weed data
1998-09-24
Anders Brix
ARX/ULTRA: A New Real-Time Kernel Architecture for Supporting User-Level Threads
1999-01-15
Geometrical Interpretations of the MOE Receiver
1998-11-06
Phil Schniter
An End-to-End Reliable Multicast Protocol Using Polling for Scaleability
1998-11-18
MasterMind. A Game of Diagnosis Strategies
1997-04-05
Dbms Researchat A Crossroads:the Vienna Update
1993-06-19
An Expert System to Place Incoming Students in Mathematics and Computer Science Classes
1994-11-08
Dynamic Algorithms for Graphs with Treewidth 2
1995-03-08
Hans L. Bodlaender
Factors in the Performance of the AN1 Computer Network
1996-04-20
Perfect Dynamics for Neural Networks
1995-08-04
Fixed-Rate Video Codecs For Mobile Radio Systems
1998-03-18
Statistical Analysis of SVD-Based Prony Techniques
1996-09-16
Existence of Many-Particle Bound States in Spite of a Pair-Interaction With Positive Scattering Length
1997-09-01
Bernhard Baumgartner
Rational Heuristics for Rational Solutions of Riccati Equations
1998-08-21
Implementation and Evaluation of Nested Task and Data Parallelism for High Performance Fortran within the ADAPTOR Compilation System
1999-02-22
Thomas Brandes
Synchronizer - an Object BehavioralPattern for Concurrent Programming
1997-10-17
Ennio Grasso
Exploiting IB Assignments for Approximating Marginal Probabilities
1998-10-23
Stability Analysis and Controller Design for. . .
1997-08-05
Constrained Partial Deduction
1997-08-29
Optimal Bids in Multi-Unit Auctions When Demand is Price Elastic
1970-01-01
Journal of Graph Algorithms and Applications
1998-07-03
Analyse Statique Comportementale des Langages de Programmation.
1994-12-21
Parallel Beta Reduction is Not Elementary Recursive
1997-10-21
The Block Distributed Memory Model
1995-03-14
An Algorithm for Fractional Assignment Problems
1998-06-04
Document Retrieval Using The MPS Information Server A Report on the TREC-6 Experiment
1998-01-15
Graphical Analysis for a Large Designed Experiment
1996-05-30
State Constraints Revisited
1994-03-31
Heuristics for Automatic Localization of Software Faults
1992-08-14
Just-In-Time Optimizations for High-Performance Java Programs
1999-02-09
13, Prop. 2.8, 2.11 and Lemma 3.1. The latter provides us with an isomorphism
1997-09-23
Style Specifications for Electronic Submissions to the New York Journal of Mathematics
1994-09-22
Mark Steinberger
A Formal Treatment of Remotely Keyed Encryption
1998-05-29
Parallel Data Cube Construction for High Performance On-Line Analytical Processing
1999-01-20
An Estimate For The Number Of Reducible Bessel Polynomials Of Bounded Degree
1995-10-02
A Vector Potential Description Of Linear Momentum, And Consequences
1970-01-01
R. L. Collins
MetaSystems: An Approach Combining Parallel Processing and Heterogeneous Distributed Computing Systems
1993-01-05
Journal, 481 :
1998-03-20
E. Kambe
Horus: A Flexible Group Communications System
1995-10-19
Surface Tension, Step Free Energy And Facets In The Equilibrium Crystal
1997-04-26
Salvador Miracle-sole
Logic Synthesis for Cellular Architecture FPGA using BDD
1997-02-04
Gueesang Lee
Reasoning about Knowledge and Probability
1996-10-02
.1 Historical Background
1997-06-16
Scaling for Orthogonality
1998-09-05
Automatic Graphical Abstraction in Intent-Based 3D-Illustrations
1998-02-13
Antonio Kruger
Surface Magneto-Optic Kerr Effect
1970-01-01
S. D. Steenwyk
On the Complexity of the Isomorphism Relation for Finitely Generated Groups
1998-02-19
Location-Independent Naming for Virtual Distributed Software Repositories
1995-03-15
Symmetry of Fuzzy Data
1994-07-26
A Connectionist Architecture with Inherent Systematicity
1997-12-22
James Henderson
Clean: Removing Useless Control Flow
1998-01-01
Confidence Tubes for Multiple Quantile Plots Via Empirical Likelihood
1998-05-07
Bubble Mesh: Automated Triangular Meshing of Non-Manifold Geometry by Sphere Packing
1997-09-01
Property Covering: A Powerful Construct for Schema Derivations
1997-10-14
Enhancing Multimedia Interfaces With Intelligence
1997-05-28
Michael Wilson
Taxonomy Revision As Shift Of Representational Focus
1995-02-24
Primitive Algebras With Arbitrary Gelfand-Kirillov Dimension
1998-04-07
Universally Serializable Computation
1996-10-02
Early Design Cycle Timing Simulation of Caches
1996-12-05
Computation Of Shot-Noise Probability Distributions And Densities
1970-01-01
John A. Gubner
A Tutorial on Using PVS for Hardware Verification
1994-11-02
Syntactical properties of an extension of Girard's System F where types can be taken as "generic" inputs
1995-12-19
Butler W. Lampson
1996-07-22
Butler W. Lampson
Approximations of Independent Set Variants and Hereditary Subset Problems
1999-03-17
Convergence Proofs For Numerical IVP Software
1998-02-09
A Study of End-User SCSI Disk Performance with Parallel and Non-parallel Files
1998-09-11
On Program Transformation in the Glasgow Haskell Compiler
1993-09-13
Simon L Peyton Jones
Neural Networks with Adaptive Learning Rate and Momentum Terms
1995-11-29
Stability of Block LDL^T Factorization of a Symmetric Tridiagonal Matrix
1998-02-13
Mandala: An Architecture for Using Images to Access and Organize Web Information
1999-03-31
Jonathan I. Helfman
Computation of Highly Regular Nearby Points
1998-02-23
Henning Heiselberg
1998-02-18
Henning Heiselberg
A Parallel Algorithm For Mesh Smoothing
1997-06-13
Ask Not What's Inside Your Head, but What Your Head's Inside of
1994-04-14
Nicholas Kushmerick
IMMuNe project, Work package 3, Task 3.2
1998-05-14
A Wavelet-based Direct Multilevel Solver
1997-03-31
David L. Gines
The Many Faces Of Introspection
1996-10-02
Rok Sosic
Dorothee Haroske
1997-06-24
Dorothee Haroske
A Real-time Solution to the Wise-men Problem
1995-04-26
Specifying Multiple-Viewed Software Requirements with Conceptual Graphs
1995-07-06
Harry S. Delugach
Cautious Steps towards Hybrid Connectionist Bilingual Phrase Alignment
1998-05-04
Rings, Modules, and Algebras in Stable Homotopy Theory
1995-05-11
Solution Of Positive Periodic Discrete Lyapunov Equations With Applications To The Balancing Of Periodic Systems
1997-03-06
George Justo S C Winter
1998-04-25
High Performance Modelling and Simulation: Progress and Challenges
1996-08-26
Information Extraction for Semi-Structured Documents
1997-07-09
Dan Smith
Reduced Complexity Iterative Multi-User Detection for DS/CDMA with FEC
1997-07-23
The Apolar Bilinear Form in Geometric Modeling
1998-04-27
Gert Vegter
Exposing an RSA Private Key Given a Small Fraction of its Bits
1998-12-01
A Simpler Grammar for Fibonacci Numbers
1995-02-23
Markus Holzer
Architectures and Algorithms for On-Line Failure Recovery in Redundant Disk Arrays
1994-04-07
An Efficient Hierarchical Scheme for Locating Highly Mobile Users
1998-10-27
A Broadcast Key Distribution Scheme Based on Block Designs
1997-03-28
Architectural Support for Dynamic Reconfiguration of Large Scale Distributed Applications
1998-09-01
Content-Based Query of Image Databases, Inspirations From Text Retrieval: Inverted Files, Frequency-Based Weights and Relevance Feedback
1998-11-17
Localization of Classical Waves I: Acoustic Waves.
1997-06-23
Towards An Integrated Information Environment With Open Hypermedia Systems.
1998-06-03
Secure and Minimal Protocols for Authenticated Key Distribution
1994-12-29
Gene Tsudik
Bose-Einstein correlations in thermal field theory
1998-05-14
Gesellschaft Fur Schwerionenforschung Gsi
Structure in Approximation Classes
1997-10-04
The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework
1998-03-24
More Bounds for the Dimension of Interval Orders
1996-03-22
S. Felsner
A Reaction to Burn's "What Are The Fundemental Concepts of Group Theory?"
1997-11-06
Band Edge Behaviour Of The Integrated Density Of States Of Random Jacobi Matrices In Dimension 1
1997-05-28
Eric Klopp
Linear Quadratic Regulator Problem with Positive Controls
1999-01-28
Symbolic Composition
1997-11-14
Learning Active Classifiers
1996-04-09
Cost-Effective Data-Parallel Load Balancing
1995-05-02
Parallel Cooperative Propositional Theorem Proving
1997-12-15
Fumiaki kamiya Okushi
Analysis of TCP Performance over ATM Networks
1997-12-04
Mohit Aron
Sparse Grids for Boundary Integral Equations
1998-09-10
Guided Optimization for Balanced Locomotion
1997-05-14
Empirically Evaluating the Use of Animations to Teach Algorithms
1994-03-10
When is a Poset Isomorphic to the Poset of Connected Induced Subgraphs of a Graph?
1996-09-15
Steve Seif
Infrastructure for Proof-Referencing Code
1997-11-13
Lock-Free Linked Lists Using Compare-and-Swap
1995-05-19
John D. Valois
A Methodology for the Development and the Support of Massively Parallel Programs
1995-09-26
Multiedge Detection In Sar Images
1998-06-01
Optimization by Means of Genetic Algorithms
1994-09-06
Thomas Back
Integrating Information for Organized Work
1998-03-03
An Application Framework for Module Composition Tools
1996-03-05
Estimating Pose Statistics for Robotic Part Feeders
1996-01-31
An Architecture for a Network Management Simulator
1994-10-12
Has a Consensus NL Generation Architecture Appeared, and is it Psycholinguistically Plausible?
1997-01-06
Using Sums of Squares to Prove That Certain Entire Functions Have Only Real Zeros
1997-02-11
George Gasper
Representing Partial Spatial Information in Databases
1997-01-20
Implementing The PABC Machine on Transputers
1997-08-14
Marco Kesseler
Comments to the status of solving lattice Hamiltonian QCD
1995-04-05
Self-Stabilizing Running
1996-10-09
Robert P. Ringrose
Cross-platform Analysis of Fast Messages for Myrinet
1970-01-01
NASA Reference Publication 1395
1997-06-16
Virtual Plant Delivery Simulation, A Business Simulation Environment
1997-11-19
Friction Experienced By A Particle Moving On A Rough Inclined Plane
1997-12-08
Anticipation: A Key for Collaboration in a Team of Agents
1998-10-03
DL-Raid: An Environment for Supporting Digital Library Services
1994-09-22
Value Function Approximations and Job-Shop Scheduling
1995-09-16
A Machine Checkable Logic of Knowledge for Specifying Security Properties of Electronic Commerce Protocols
1998-08-12
The Effects of Mobility on Reliable Transport Protocols
1996-03-15
Liviu Iftode
Leave-in-Time: ANew Service Discipline for Real-Time Communications in a Packet-Switching Network
1995-06-27
Rover: A Toolkit for Mobile Information Access
1996-12-03
Simple Protocol Processing for High-Bandwidth Low-Latency Networking
1994-11-22
RED-VBR: A New Approach to Support Delay-Sensitive VBR Video in Packet-Switched Networks
1996-12-29
Data Prefetching for High-Performance Processors
1993-07-30
Tien-fu Chen
A Rule-based Algorithm for Rigid E-unification
1997-04-17
Jean Goubault
Run-time versus Compile-time Instruction Scheduling in Superscalar RISC Processors: Performance and Tradeoffs
1995-08-01
Convergence of Finite Volume Schemes for Semilinear Convection Diffusion Equations
1998-12-15
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics
1995-12-18
Roberto Giacobazzi
State Space Construction and Steady-State Solution of GSPNs on a Shared-Memory Multiprocessor
1998-01-14
Robust Value Function Approximation by Working Backwards
1995-09-16
Visual Data Mining: Recognizing Telephone Calling Fraud
1999-01-21
Institut fur Angewandte Analysis und Stochastik Mohrenstrasse, 39 D-10117 Berlin, Germany
1997-04-26
Evolution Strategies: An Alternative Evolutionary Algorithm
1999-01-29
Online Learning with Random Representations
1995-03-07
KAM theory and a partial justification of Greene's criterion for non-twist maps
1998-11-26
The Impact of Synchronization and Granularity on Parallel Systems
1994-07-05
A Survival Kit on Quantile Estimation
1998-02-03
"CAM-BRAIN" ATR's BILLION NEURON ARTIFICIAL BRAIN PROJECT A Three Year Progress Report
1998-07-23
Goal-Oriented Multimedia Dialogue with Variable Initiative
1997-07-08
Reconstruction of Low Light Images using the Vector Wiener Filter
1998-01-01
Belief Propagation and Revision in Networks with Loops
1997-11-09
Yair Weiss
A Networked Virtual Reality Application on PC
1997-06-16
An Iterative Method for Nonsymmetric Systems with Multiple Right-Hand Sides
1995-12-18
Bandwidth Allocation with Preemption
1997-04-13
A Multicast Routing Algorithm for Mobile Computing Environments
1998-10-05
The Discrete Wavelet Transform in S
1994-07-11
Asymptotics Of The Scattering Coefficients For A Generalized Schrödinger Equation
1998-04-23
Optimization of a Real-Time Primary-Backup Replication Service
1998-08-28
Query Processing in Tertiary Memory Databases
1995-10-09
Sunita Sarawagi
Fractal Image Compression
1998-05-13
Yuval Fisher
Stability Analysis of Numerical Interface Conditions in Fluid-Structure Thermal Analysis
1997-04-15
M. B. Giles
Dynamic Parameter Encoding for Genetic Algorithms
1994-09-06
Recursive Computation Of Steady-State Probabilities In Priority Queues
1996-11-11
Israel Cidon
An Automatically Verified Generalized Multifunction Arithmetic Pipeline
1997-02-09
Matthias Mutz
Product Operations in Strong Monads
1998-09-09
Reinhold Heckmann
Memory Forwarding: Enabling Aggressive Layout Optimizations by Guaranteeing the Safety of Data Relocation
1999-03-18
Bargaining Structure, Fairness, And Efficiency
1998-01-31
Measured Performance of a Wireless LAN
1996-10-29
: A Binary Foreign Language Interface for Haskell
1998-04-16
Teleporting - Mobile X Sessions
1998-12-28
Distributed Multi-Level Recovery in Main-Memory Databases
1997-12-28
A Simple Computational Market for Network Information Services
1998-09-19
Harnack's Inequality For Cooperative Weakly Coupled Elliptic Systems
1997-07-13
Shading Primitives: Finding Folds and Shallow Grooves
1997-09-16
Temporal Integrity Constraints in Relational Databases
1996-12-16
A Foreign Vocabulary Learning Aid For The Networked World Of Tomorrow: The
1997-08-05
A Dynamic Model of Motor Basal Ganglia Functions
1999-01-17
A Performance Study of a New Grid Protocol and General Grid Structures for Replicated Data
1993-06-16
A Conservative Formulation for Large-Deformation Plasticity
1993-08-24
Geometry of Orientation Preference Map Determines Nonclassical Receptive Field Properties
1997-11-05
An Efficient Implementation of Nested Data Parallelism for Irregular Divide-and-Conquer Algorithms
1997-02-04
Jonathan C. Hardwick
Empirical Support for Winnow and Weighted-Majority Algorithms: Results on a Calendar Scheduling Domain
1998-06-04
Avrim Blum
Read Optimized File System Designs: A Performance Evaluation
1996-07-02
Stability of the Iterative Process
1997-06-06
B. U. A. P. Mexico
Using MRA reduction methods to characterize steady-states of reaction-diffusion equations
1998-07-09
A. C. Gilbert
Stepwise Re-Engineering and Development of Object-Oriented Database Schemata
1998-06-17
Decision-Theoretic Foundations for Causal Reasoning
1995-12-20
Complexity of the Closest Vector Problem in a Lattice Generated by 0,1-Matrix
1997-06-26
The Santa Barbara cluster comparison project: a test of cosmological hydrodynamics codes
1998-04-15
User Model Acquisition Heuristics Based On Dialogue Acts
1999-03-29
Scheduling and Page Migration for Multiprocessor Compute Servers
1994-10-27
LEPTO 6.5 - A Monte Carlo Generator for Deep Inelastic Lepton-Nucleon Scattering
1998-06-02
Enabling Compiler Transformations for pSather 1.1
1998-03-16
Adaptation of Pronunciation Dictionaries for Recognition of Unseen Languages
1999-03-18
A Study of the Fragmentation of Quarks in
1997-12-19
H Collaboration
Stochastic Acceleration of Low Energy Electrons in Cold Plasmas.
1996-10-18
Julia M. Pryadko
Parallel Software Caches
1996-06-19
Representing Place/Transition Nets in SpanGraph
1970-01-01
Utility Independence in a Qualitative Decision Theory
1998-08-12
More higher-order efficiency: Concentration probability
1998-08-26
Yutaka Kano
Speech Recognition by Composition of Weighted Finite Automata
1996-08-21
Categories for Computation in Context and Unified Logic: The "Intuitionist" Case
1997-10-03
Exceptional stress-attracting suffixes in Turkish: representations vs. the grammar
1970-01-01
Sharon Inkelas
Membership in Constant Time and Minimum Space
1995-11-03
A Proposal of Human-Machine Interactive System through Linguistic Instructions Using Fuzzy Classifier System
1998-11-25
Architecture of Intelligence: The Problems and Current Approaches to Solutions
1996-08-02
View Variation and Linear Invariants in 2-D and 3-D
1997-01-29
Stefan Carlsson
Experimental Studies of Interactive Visual Learning
1998-12-16
Media Distribution in Heterogeneous Environments using IP-Multicast
1998-10-11
Peter Parnes
The Essence of LR Parsing
1994-11-25
Fault-Tolerant Shared Memory Simulations Extended Abstract
1997-07-02
MOCA : A Multiprocessor On-Line Competitive Algorithm for Real-Time System Scheduling
1995-03-02
Object and Schema Versioning and Restructuring in Databases
1997-10-23
Time-Delay Neural Networks: Representation and Induction of Finite State Machines
1997-08-12
Zero-Cycle Loads: Microarchitecture Support for Reducing Load Latency
1995-09-23
Global Spontaneous Activity and Local Structured learned Delay Activity in Cortex
1998-03-11
Coded Replication: A Space-Efficient Technique for Increasing File Availability
1995-11-13
A General Duality Principle for the Sum of Two Operators
1996-06-24
H. Attouch
On The Complexity Of Polyhedral Separability
1995-09-22
Nimrod Megiddo
A bicombing that implies a sub-exponential Isoperimetric Inequality
1998-03-05
Can ICA improve sleep-spindles detection ?
1998-09-09
Notes Creuses Sur Le Resultant Creux
1998-11-21
Ioannis Z. Emiris
Long Short-term Memory
1995-08-22
LBV Outbursts: The Effects of Rotation
1996-12-02
Oliver Knill
1997-04-26
Oliver Knill
Optimal Weight Assignment for Signature Generation
1995-06-19
D. Petry D. Kranich
1997-11-03
Artificial Life Applied to Adaptive Information Agents
1995-01-26
Code Optimization by Reducing the Number of Stack Restoration Commands
1997-09-08
Parallel Algorithms for Image Processing: Practical Algorithms with Experiments Extended Abstract
1997-03-04
The Roles of Artificial Intelligence in Information Systems
1998-11-01
Gio Wiederhold
Authoring Hypermedia for Fluctuating Resource Availability: An analysis of the problem
1995-01-04
G. Coulson, G. S. Blair, J. B. Stefani
1993-05-27
Development of Multiple Media Documents
1999-02-07
Normal Form in DI-Algebra with Recursion
1998-01-13
Empirical Likelihood
1995-10-25
B. Owen
Design and Implementation of an Object-Oriented View Mechanism
1994-03-24
Cassio Santos
Load Balancing in the
1996-03-25
Non-Gibbsianness of the reduced SOS-measure
1997-04-26
A Secure Communications Infrastructure for High-Performance Distributed Computing
1997-06-04
Small-Signal Impedance of Active Membranes
1998-11-16
Coordinating Heterogeneous Autonomous Agents
1997-08-12
Munindar P. Singh
Cryptographic Support for Fault-Tolerant Distributed Computing
1998-11-24
Fast Algorithm for Spectral Mixture Analysis of Imaging Spectrometer Data
1996-10-10
Active Implicit Surface for Animation
1998-09-16
Marie-paule Cani-gascuel
Using the Noninteracting Cluster Theory to Predict the Properties of Real Vapor
1995-06-07
David Saltz
Self-Stabilizing Distributed Constraint Satisfaction
1996-12-06
Comments on the Links between su3 Modular Invariants, Simple Factors in the Jacobian of Fermat Curves, and Rational Triangular Billiards
1996-05-06
Norm Governed Agents In CSCW
1997-05-08
The Effects of the Kaonic Cloud on the Neutron Electric Form Factor
1998-05-24
HyperCafe: Narrative and Aesthetic Properties of Hypervideo
1998-11-20
We Consider the Classical Problem of Linearizing a Vector Field
1997-04-26
Overlapping Domain Decomposition and Multigrid Methods for Inverse Problems
1998-03-02
Status of this Memo
1993-05-02
An Approach to the Design of Knowledge-Based Systems
1994-03-21
Dieter Landes
A Blocked Implementation of Level 3 BLAS for RISC Processors
1996-07-03
UG - A Flexible Software Toolbox For Solving Partial Differential Equations
1998-11-27
Minimal Models in Propositional Logics: Approximation Results
1997-07-14
Context and Quasi-Invariants in ATR with SAR Imagery
1997-05-15
Indexing Techniques for Data Broadcast on Wireless Channels
1998-11-05
On The Determination Of A Potential From Three Spectra
1997-08-21
Fritz Gesztesy
Random Walks on Generating Sets for Finite Groups
1997-03-20
Encoding Modal Logics in Logical Frameworks
1996-09-02
Abstraction Methods for Resource Allocation
1995-11-11
On Automatic Differentiation of Codes with COMPLEX Arithmetic with Respect to Real Variables
1997-01-27
Information Geometry Of Maximum Partial Likelihood Estimation For Channel Equalization
1997-09-21
A Hierarchical CPU Scheduler for Multimedia Operating Systems
1998-02-25
Establishing Regularities in Object-Oriented Eiffel Systems
1994-07-18
Restoration Of Binary Images For Bernoullian Noise Models
1997-03-03
On Secure and Pseudonymous Client-Relationships with Multiple Servers
1998-05-28
Motion Warping
1995-07-11
Heisenberg Lie Bialgebras as Central Extensions
1998-10-07
Towards a Provably Correct Hardware Implementation of Occam
1993-05-11
Attentive Visual Tracking and Trajectory Estimation for Dynamic Scene Segmentation
1998-01-18
Jonathan Michael Roberts
Reliable Synchronization Support and Group-Membership Services for Distributed Multimedia Applications
1995-11-30
Connectionist and Conventional Models for Free-Text Talker Identification Tasks
1995-11-03
Limited-Angle Computed Tomography for Sandwich Structures using Data Fusion
1997-07-20
Jeffrey E. Boyd
A Multi-Resolution Framework For Backward Motion Compensation
1970-01-01
Middleware An Architecture for Distributed System Services 1 Philip A. Bernstein 2
1997-09-03
Philip A. Bernstein
Fostering Debugging Communities On The Web
1997-04-24
John Domingue
Best of Both Worlds - A Mapping from EXPRESS-G to UML
1998-06-19
Short Timescale Energy Transfer in Proteins
1998-03-16
Leonor Cruzeiro-hansson
Recursively Defined quasi Orders on Terms
1997-09-01
M. C. F. Ferreira
Perception, Attention, and Resources: A Decision-Theoretic Approach to Graphics Rendering
1970-01-01
Matching Pursuit With Time-Frequency Dictionaries
1996-10-15
Holds Values of Type
1997-08-26
Similarity Measures for Convex Polyhedra Based on Minkowski Addition
1997-10-24
Adaptive Multivariate Integration using MPI
1997-10-21
Compactly Supported Wavelets Which Are Biorthogonal With Respect To A Weighted Inner Product
1997-12-19
Wim Sweldens
Parallel Dynamic Graph-Partitioning for Unstructured Meshes
1997-03-27
The Determination of Time Delays as an Inverse Problem - the Case of the Double Quasar 0957+561
1997-06-23
Frank P. Pijpers
Chicago Journal of Theoretical Computer Science
1997-06-02
ENWRICH: A Compute-Processor Write Caching Scheme for Parallel File Systems
1995-10-20
Undergraduate Research in Robotics and Automation at the University of Illinois at Urbana-Champaign
1996-02-06
Mark W. Spong
Obtaining Good Performance From A Bad Teacher
1995-06-09
OR In Airline Industry
1996-10-06
Identifying Tuple Usage Patterns in an Optimizing Linda Compiler
1997-09-22
The Performance of the Container Shipping I/O System
1995-12-08
The Dynamics and Coarsening of Interfaces for the Viscous Cahn-Hilliard Equation in One Spatial Dimension
1999-04-22
Rapid Object Indexing and Recognition Using Enhanced Geometric Hashing
1996-01-22
Efficient Retrieval of Similar Time Sequences Under Time Warping
1997-10-09
Design And Applications Of A Delay Jitter Control Scheme For Packet-Switching Internetworks
1993-11-03
Domenico Ferrari
On Stability Radii of Generalized Eigenvalue Problems
1999-02-17
An Efficient Data Parallel Algorithm For 2-D Convolutions
1998-05-21
On the Worst-case Analysis of Temporal-difference Learning Algorithms
1998-03-19
An Environment for Combining Prolog Programs
1996-11-26
Key Establishment in Large Dynamic Groups Using One-Way Function Trees
1999-04-12
NetCash: A design for practical electronic currency on the Internet
1999-04-16
On the Nature of Modal Truth Criteria in Planning
1994-04-11
Model Order Reduction Techniques for Circuit Simulation
1994-08-10
Estimating Pressure Peak Position And Air-Fuel Ratio Using The Ionization Current And Artificial Neural Networks
1997-08-14
Artificial Evolution: A New Path for Artificial Intelligence?
1997-08-19
Polylogarithmic Parallel Parsing of
1995-06-19
Coding Using Gaussian Mixture And Generalized Gaussian Models
1997-10-27
An Automated Technique for Statistical Characterization of Brain Tissues in Magnetic Resonance Imaging
1997-01-03
Bayesian Image Reconstruction in SPECT Using Higher Order Mechanical Models as Priors
1970-01-01
Consensus Service: a modular approach for building agreement protocols in distributed systems
1996-07-09
Rachid Guerraoui
Prediction of Protein Domain-Types by Backpropagation
1998-10-12
Unknown
1993-11-19
High Performance MPI: Extending the Message Passing Interface for Higher Performance and Higher Predictability
1998-05-25
Anthony Skjellum
Anglo-Australian Observatory, P.O. Box 296, Epping, NSW 2121, Australia
1998-10-15
Dynamic and I/O-Efficient Algorithms for Computational Geometry and Graph Problems: Theoretical and Experimental Results
1995-09-20
Issues in Generating Turkish from Interlingua
1998-03-17
Learning Ordered Binary Decision Diagrams
1995-04-18
Reconstruction of DNA Sequence Information from a Simulated DNA Chip Using Evolutionary Programming
1998-02-16
Performance of Firefly RPC
1996-09-15
Algorithmically Coding the Universe
1996-02-05
Unknown
1995-12-01
New Challenges in User Interfaces, Performance Goals, and DBMS Design
1997-04-11
Joseph M. Hellerstein
Automated Protocol Validation in
1998-07-04
Gerard J. Holzmann
Model-Based Matching of Line Drawings by Linear Combinations of Prototypes
1996-06-28
Parallel Application Characterization for Multiprocessor Scheduling Policy Design
1998-01-20
A Framework of Memory Consistency Models
1970-01-01
Toward Optimal Feature Selection
1996-02-23
Diagrammatic Proofs
1970-01-01
The Performance of the CORBA Dynamic Invocation Interface and Dynamic Skeleton Interface over High-Speed ATM Networks
1997-01-27
Learning to Achieve Goals
1995-10-13
Leslie Pack Kaelbling
The Accuracy of Symplectic Integrators
1998-10-06
Managing Spoken Dialogues for Information Services
1996-09-22
Hap A Reactive, Adaptive Architecture for Agents
1994-03-15
Object and Pattern Detection in Video Sequences
1998-05-11
Constantine Phaedon Papageorgiou
Learning Sequential Tasks by Incrementally Adding Higher Orders
1995-09-27
Mark Ring
On Biases in Estimating Multi-Valued Attributes
1996-06-11
Igor Kononenko
A Linear Spine Calculus
1997-11-14
Soundness Cut-Elimination for NaDSyL
1997-03-19
Paul C Gilmore
On Contention Resolution Protocols and Associated Probabilistic Phenomena
1997-12-16
Relaxation of Synchronization Constraints in Parallel Simulation of ATM Network
1995-11-14
Learning Dialog Act Processing
1996-08-27
Strong Edge Features For Image Coding
1997-06-30
The Preliminary Cosmic Diffuse
1997-11-24
Perfect Benchmarks
1992-06-15
Parallel Constrained Delaunay Meshing
1997-04-16
Determining 3-D Hand Motion
1998-08-11
Application of Routing Policy Specification Language RPSL on the Internet
1997-07-30
Cengiz Alaettinoglu
Extraction and Integration of Data from Semi-structured Documents into Business Applications
1998-01-27
A Global Attracting Set for the Kuramoto-Sivashinsky Equation
1997-04-26
The efficient computation of sparse Jacobian matrices using automatic differentiation
1996-01-08
The Law of the Iterated . . .
1997-08-23
Miguel A. Arcones
Cvode, A Stiff/nonstiff Ode Solver In C
1996-07-05
Learnability of the CLASSIC Knowledge Representation Language
1996-07-11
Journal of Graph Algorithms and Applications
1998-05-12
A New Learning Algorithm for Blind Signal Separation
1998-03-14
Towards a Design-Based Analysis of Emotional Episodes
1997-10-28
Typed Common Intermediate Format
1970-01-01
Zhong Shao
Gravity from Dirac Eigenvalues
1997-08-22
A Temporal Object Query Language
1998-03-13
Poincare' Renormalized Forms
1997-04-26
! and ? -- Storage as tensorial strength
1997-10-03
Analysis of an Algorithm for Distributed Recognition and Accountability
1995-06-26
Efficient State Transfer in Partitionable Environments
1997-11-06
Implementing the Comandos Virtual Machine
1970-01-01
A Motivated Definition of Exploitation and Exploration
1999-03-04
Bart Naudts
Virtually-Synchronous Communication Based on a Weak Failure Suspector
1993-05-24
Aleta Ricciardi
Empirical Modeling and Comparison of Robotic Tasks
1998-06-08
Jane Mulligan
Svq: A Proposal For Still Image Coding In Mpeg 4 - Snhc
1997-08-27
A Survey of Algorithms for Convex Multicommodity Flow Problems
1997-06-19
Constructive Methods for Scheduling Uniform Loop Nests
1996-09-25
The Programming Language Jigsaw: Mixins, Modularity And Multiple Inheritance
1995-11-28
Integrated Connectionist Models: Building AI Systems on Subsymbolic Foundations
1994-07-10
Risto Miikkulainen
Chapter 1 Invariant Manifold Techniques for Control of Underactuated Mechanical Systems
1998-09-01
Comparing Four IP Based Mobile Host Protocols
1993-10-20
A Framework for Testing Object Oriented Software Using Formal Specifications
1997-06-24
Two is better than one: A diploid genotype for neural networks
1996-11-26
A Survey on Face Detection Methods
1999-03-25
Integrated Parametric Timing Optimization of Digital Systems
1995-02-07
Stochastic Analysis of Two-State Channels
1998-11-16
Repairing Conversational Misunderstandings and Non-Understandings
1995-08-31
Total Order Multicast to Multiple Groups
1998-09-15
Rachid Guerraoui
Applying Constrained Optimization to Computer Graphics
1998-10-29
Normal Forms and Cut-Free Proofs as Natural Transformations
1994-06-16
Cosmological Time in Quantum Supergravity
1998-05-14
Clustering In A Continuum Percolation Model
1997-08-25
Design Goals for ACL2
1997-06-14
Syntax vs. Semantics on Finite Structures
1998-10-25
Natasha Alechina
Bias in Robust Estimation Caused by Discontinuities and Multiple Structures
1997-01-16
Charles V. Stewart
A Short Cut to Deforestation
1995-03-21
Preliminary Measurements of RMTP/RTIP
1994-12-14
Formal Verification of Pipeline Conflicts in RISC Processors
1995-04-27
Modelling Software Artifacts and Their Relationships in Software Engineering Environments
1996-09-17
Hardware Compilation: The Translation of Programs into Circuits
1998-01-21
A Single Scale Infinite Volume Expansion for Three-Dimensional Many Fermion Green's Functions
1997-04-26
Computing the Maximum Overlap of Two Convex Polygons Under Translations
1998-02-04
Efficient dynamic-programming updates in partially observable Markov decision processes
1996-07-18
Analysis of a Denial of Service Attack on TCP
1998-07-15
Efficient Parallel Solution Of Parabolic Equations: Implicit Methods On The Cedar Multicluster
1992-05-11
BSP Clusters: High Performance, Reliable And Very Low Cost
1998-09-01
A Uniform Calculus for Collection Types
1970-01-01
Leonidas Fegaras
Learning With Unreliable Boundary Queries
1997-06-26
Unknown
1997-09-03
MBone Provides Audio and Video Across the Internet
1994-10-10
Metastable Dynamics And Exponential Asymptotics In Multi-Dimensional Domains
1998-08-28
Michael J. Ward
On Stirling numbers for complex arguments and Hankel contours
1998-03-11
The Neutral Representation Project
1997-04-25
Complex Cells and Object Recognition
1997-05-23
On Algebraic and Semialgebraic Groups and Semigroups
1995-07-24
A Bibliography of Publications about the
1998-10-25
Nelson H. F. Beebe
Eager Sharing for Efficient Massive Parallelism
1995-12-11
Cut Times For Simple Random Walk
1996-10-20
Gregory F. Lawler
Tikhonov Regularization for Large Scale Problems
1997-05-08
Algorithm xxx - A Moving-Grid Interface for Systems of One-Dimensional Time-Dependent Partial Differential Equations
1993-11-03
Visualizing Interactions in Program Executions
1999-03-29
SKIP --- Securing the Internet
1996-08-05
Lecture Notes in Computer Science: Authors' Instructions for the Preparation of Camera-Ready Contributions to LNCS/LNAI Proceedings
1997-12-03
A Knowledge-Based Approach to MLP Configuration
1996-08-20
Distributed Packet Rewriting
1998-08-18
Parallel Data Structures for Symbolic Computation
1996-02-21
The eigenvalues of the Laplacian for the homology of the Lie algebra corresponding to a poset
1997-12-26
Iztok Hozo
First-Principles Based Modelling of Ferroelectrics
1997-07-28
David Vanderbilt
Control for an Autonomous Bicycle
1996-10-10
Iterative Equalization and Decoding in Mobile Communications Systems
1997-10-20
Combining Trigram-based and Feature-based Methods for Context-Sensitive Spelling Correction
1998-02-13
Compression Domain Volume Rendering for Distributed Environments
1997-08-11
Statistical Modelling of Time Series Using Non-Decimated Wavelet Representations
1997-09-19
On The So-Called Sunspot Bright Rings
1997-11-26
A Framework for Balancing Control Flow and Predication
1997-11-12
Documentation of Maspar Implementation of TEMPEST Version 3.0
1995-03-23
Bill Maniatty
Evolving a Computer Program to Generate Random Numbers Using the Genetic Programming Paradigm
1998-08-18
John R. Koza
INQUERY at TREC-5
1997-05-23
Recognition by Functional Parts
1998-09-05
An ATM Network Simulator to Study Admission Control and Routing Algorithms
1994-08-01
The Effect of Paper Formation and Grammage on Its Pore Size Distribution
1996-01-07
The Future And Applications Of Genetic Algorithms
1999-01-14
Marcus Randall
The Semi-classical Trace Formula and Propagation of Wave Packets
1997-04-26
T. Paul
Random--Cluster Representation of the Ashkin--Teller Model
1997-04-26
C. -e. Pfister
The TSIMMIS Project: Integration of Heterogeneous Information Sources
1996-06-27
NPen++: A Writer Independent, Large Vocabulary On-Line Cursive Handwriting Recognition System
1995-09-11
Convergence of Evolutionary Algorithms in General Search Spaces
1997-03-26
Gunter Rudolph
Experimental Investigations of the Minimum Weight Minimum Degree Spanning Tree Problem
1997-08-11
Immunizing Computer Networks: Getting All the Machines in Your Network to Fight the Hacker Disease
1998-11-03
Cross Phone State Clustering Using Lexical Stress And Context
1996-06-20
Route Guidance Support in Intelligent Transportation Systems: An Encoded Path View Approach
1995-06-26
A Relational Account of Call-by-Value Sequentiality
1999-03-31
The Architecture, Operation and Design of the Queue Management Block in the ATLAS I ATM Switch
1996-07-29
Generalized Mehler semigroups and applications
1998-01-29
LAPACK Working Note 2 Block Reduction of Matrices to Condensed Forms for Eigenvalue Computations
1994-10-08
Writing Hygienic Macros in Scheme with Syntax-Case
1992-06-19
R. Kent Dybvig
Towards Intelligent Integration of Heterogeneous Information Sources
1995-02-23
Benchmark Queries for Temporal Databases
1993-05-11
Prospero: A Tool for Organizing Internet Resources
1992-04-01
B. Clifford Neuman
Mobile Computing with the Rover Toolkit
1998-03-17
Multiresolution Based On Weighted Averages Of The Hat Function II: Non-Linear Reconstruction Techniques
1996-08-30
Signalling With the x-ATM Protocol Toolkit
1995-05-26
Using Processor Affinity in Loop Scheduling on Shared-Memory Multiprocessors
1995-11-06
Implementation Issues For A Nonlinear Version Of The Hansen Scheme
1999-02-15
Design of RTOC
1994-03-10
Smooth Or Abrupt: A Comparison of Regularization Methods
1998-08-26
Performance Characterization and Modeling of the Molecular Simulation Code Opal
1998-12-03
Tractable Spatial Processes: Gibbs Measures and Markov Random Fields
1997-02-12
Speaker-Independent Continuous Speech Dictation
1994-11-03
Block P-Matrices
1996-03-06
SHA: A Design for Parallel Architectures?
1997-05-21
From Global to Local, a Continuum of Shape Models with Fractal Priors
1993-06-29
B. C. Vemuri
Coupled hidden Markov models for complex action recognition
1997-05-17
Hierarchical Processors-and-Memory Architecture for High Performance Computing
1998-01-22
A Comparison of Optimal Adaptive and Nonadaptive Transform Coding under a Lapped Orthogonal Projection.
1998-01-30
R. D. Dony
Embodied Connectionism
1997-11-15
William Bechtel
PCR-Assist CBR for Delivering Pre-Recorded MPEG-2 Transport Streams
1997-04-28
User Interface Constraints for Immersive Virtual Environment Applications
1997-06-24
-- An Extensible Microkernel for Application-specific Operating System Services
1999-03-25
Low-Power Design of Asynchronous Microprocessors
1998-09-08
Configurable Computing: The Catalyst for High-Performance Architectures
1997-12-18
Cartan algebras in symmetric Lie algebras
1995-08-20
Norbert D Orr
Implementation of the SmartAHS using SHIFT simulation environment
1997-09-30
An Almost Quadratic Class of Satisfiability Problems
1996-05-02
Mukesh Dalal
Navigating Terminology Hierarchies to Access a Digital Library of Medical Images
1998-12-23
Impulse Variables, Vortex Dipoles and Applications
1997-09-08
Ricardo Cortez
Arctic Switch Fabric
1970-01-01
G. Andrew Boughton
Object Identifiers and Identity: a Naming Issue
1995-09-01
-- A Unified Platform for Parsing and Generation
1997-10-19
A Concept Language Extended With Different Kinds of Transitive Roles
1996-07-10
Auditory Presentation of Graphical User Interfaces
1993-08-26
Elizabeth D. Mynatt
A Theory of the Motion Fields of Curves
1995-07-24
A Logic Programming Framework for Modelling Temporal Objects
1995-05-09
Stochastic Context-Free Grammars for tRNA Modeling
1994-08-13
The PHIGS Toolkit: A Suite of Integrated Support Software for PHIGS
1994-01-06
A Unified Approach for Combining Different Formalisms for Hardware Verification
1998-09-08
Lower Bounds for One-way Probabilistic Communication Complexity and their Application to Space Complexity
1997-04-22
Farid Ablayev
The Possible Contribution of AI to the Avoidance of Crises and Wars: Using CBR Methods with the KOSIMO Data Base of Conflicts
1995-04-04
On The Complexity Of Inverting The Autocorrelation Function Of A Finite Integer Sequence, And The Problem Of Locating
1996-10-07
Dashes As Typographical Cues For The Information Structure Extended Abstract
1998-07-06
Self-fulfilling Bias in Multiagent Learning
1996-08-16
To be presented at DCC '94, Snowbird, Utah
1996-03-06
Adaptive Error Correction to Support Heterogeneous Multicast Groups
1997-09-17
Quantum Cellular Automata
1998-06-24
Wsi-95-22
1996-01-17
Synchronizable/Test/Sequences/of/Finite/State/Machines
1995-09-11
Principles and a Preliminary Design for ML2000
1999-03-11
Behavior Coordination Using Multiple-Objective Decision Making
1997-07-17
Advanced Linked Cluster Expansion. Scalar Fields at Finite Temperature
1998-05-12
T. Reisz
Data and Process Alignment in Modula-2*
1998-12-27
The Symmetry Of Composite Crystals
1995-02-06
Priority Assignment for Sub-transaction in Distributed Real-time Databases
1996-02-19
Differential Resultants and Subresultants
1994-03-11
Job Scheduling in Rings
1997-09-19
A Structured Language Model
1997-06-24
Ciprian Chelba
The Application Of Multiwavelet Filter Banks To Image Processing
1998-09-27
Dynamic Computation Migration in DSM Systems
1996-07-29
Task-Oriented Generation of Visual Sensing Strategies in Assembly Tasks
1995-03-02
Crack
1998-05-28
Enrico Franconi
Improving Minority Class Prediction Using Case-Specific Feature Weights
1997-10-03
Dynamic Service Matchmaking Among Agents in Open Information Environments
1998-12-17
Neuromorphic Vision Chips: intelligent sensors for industrial applications
1996-12-11
Integrability of three-particle evolution equations in QCD
1998-05-19
Correctness of compiling Occam to Transputer code
1996-06-24
The Hidden Cost of Low Bandwidth Communication
1997-02-04
Reliable Multicast Transport Protocol RMTP
1997-09-05
Bayesian Mixture Modeling by Monte Carlo Simulation
1992-02-18
Radford M. Neal
Formal Verification of VIPER's ALU
1993-08-06
Wai Wong
Deinterleaving Radar Pulse Trains Using Neural Networks
1996-12-09
Solution of Ulam's Problem on Binary Search with Four Lies
1993-11-06
The Prism of the Acyclic Orientation Graph is Hamiltonian
1997-12-26
MRL-Filters: A General Class of Nonlinear Systems and their Optimal Design for Image Processing
1997-10-27
Spatial and Temporal Frequency Estimation of Uncorrelated Signals Using Subspace Fitting
1996-04-23
Threaded Prefetching: An Adaptive Instruction Prefetch Mechanism
1998-05-28
Ptolemy: A Mixed-Paradigm Simulation/Prototyping Platform in C++
1998-01-07
Face Image Analysis by Unsupervised Learning and Redundancy Reduction
1998-08-17
Object Oriented Toolset For Sequential And Distributed Simulation
1997-02-20
Subscriber Location in CDMA Cellular Networks
1998-06-19
Models for Computational Steering
1996-03-21
On the Role of Coherence in Abductive Explanation
1992-03-14
Access Control Mechanism In Behaviorally Object-Oriented Databases
1996-02-14
What you saw is what you want: Using Cases to seed Information Retrieval.
1998-04-07
Asymptotics of Young Diagrams and Hook Numbers
1997-12-26
An Overview of OCore: A Massively Parallel Object-based Language
1994-08-30
Hiroki Konaka
The Linux Cyrillic HOWTO
1998-04-26
Sorting Morphisms
1998-09-30
Lex Augusteijn
Document Categorization and Query Generation on the World Wide Web Using WebACE
1999-01-26
A Continuous Media Transport and Orchestration Service
1996-02-09
Filtering Approximation Using Systematic Perturbations of a Discrete-Time Stochastic Dynamical System
1998-09-30
Closedness Of Star Products And Cohomologies
1997-04-26
On Modelling Train Traffic in a Model Train System
1998-06-18
Variable Resolution Terrain Surfaces
1996-06-10
2D Observers for Human 3D Object Recognition?
1998-06-09
The Interaction between Memory Allocation and Adaptive Partitioning in Message-Passing Multicomputers
1996-06-19
Sanjeev K. Setia
Quantitative Analysis of Grouping Processes
1996-01-17
Heuristic Algorithms for Scheduling Iterative Task Computations on Distributed Memory Machines
1997-05-14
Lightweight Crash Recovery in a Wide-area Location Service
1998-10-14
Implementation Of Subset Logic Programs
1995-03-25
Concurrent Object-Oriented Programming Techniques in a Term Graph Rewriting Framework
1996-04-10
George A. Papadopoulos
Provably-Secure Programming Languages for Remote Evaluation
1996-11-05
Dennis Volpano
Weakly Learning DNF and Characterizing Statistical Query Learning Using Fourier Analysis
1994-09-08
Partial Linearization Methods in Nonlinear Programming
1995-09-19
Visual Execution and Data Visualisation in Natural Language Processing
1997-12-19
Automatic Detection of Conserved RNA Structure Elements in Complete RNA Virus Genomes
1998-02-25
Git--Cc--94/25
1994-05-27
Real Clock Time Animation Support for Developing Software Visualizations
1995-07-06
Integrating Exploration and Localization for Mobile Robots
1998-09-16
Optimal Diagnostic Examination for Local Diagnosis
1998-03-12
Roman Trobec
Parallel Genetic Programming on a Network of Transputers
1998-08-15
On The Replica Fourier Transform
1997-03-06
Kalman Filtering Motion Prediction For Recursive Spatio-Temporal Segmentation And Object Tracking
1998-08-06
Induction of Selective Bayesian Classifiers
1997-04-13
Adaptive Grid Radiation Hydrodynamics with
1994-05-10
M. Gehmeyr
Issues in the Design and Implementation of User-Level DMA
1997-06-23
Implementing the Linear Logic Programming Language Lygon
1998-08-05
A Study on Basin of Attraction of Associative Memory
1998-11-07
Formalizing Context Expanded Notes
1997-08-07
A Computational Model of Ellipsis Resolution
1999-02-04
Howard Gregory
Arithmetic Coding/decoding Architecture Based on a Cache Memory
1998-02-25
Weiru Liu Alan Bundy Dave Robertson Dept. of AI, Univ. of Edinburgh Edinburgh EH1 1HN
1996-03-21
A Partitioned Signature File Structure for Multiattribute and Text Retrieval
1997-03-07
Landmark Arrays and the Hippocampal Cognitive Map
1994-12-24
Detection Function and its Application in Visual Tracking
1998-06-16
Continuous-valued X-of-N Attributes Versus Nominal X-of-N Attributes for Constructive Induction: A Case Study
1995-09-04
Zijian Zheng
Resolving Anaphors in Embedded Sentences
1997-04-23
Saliha Azzam
A Formal Description of FTAG for Multi-Processor Systems
1995-10-12
Cauchy--Szego kernels for Hardy spaces on simple Lie groups
1996-02-07
Expert Programmer versus Parallelising Compiler: A comparative study of two approaches for distributed shared memory
1998-09-08
High Performance Parallel Implementations of the NAS Kernel Benchmarks on the IBM SP2
1996-04-26
TLM for vision systems
1997-10-22
Richard Harvey
Developing Theories of Types and Computability
1998-04-21
Lars Birkedal
Experimental Symbolic Analysis of Net Systems
1998-06-18
Higher-Order Distributed Objects
1998-10-01
Lambda Lifting: Transforming Programs to Recursive Equations
1995-06-07
Thomas Johnsson
Historical Analysis and Conflicting Perspectives - Contextualizing HCI
1997-12-10
Fuzzy Knowledge Representation in Relational Databases
1996-01-31
Cheap Tupling Transformation
1996-10-09
Wiener Filtering Part II - IIR and Kalman Filters
1997-08-14
A Random Sampling Scheme for Path Planning
1996-12-17
Computing Norms Of Free Operators With Matrix Coefficients
1998-01-30
Franz Lehner
Bayesian Learning of Probabilistic Language Models
1999-01-01
Andreas Stolcke
Algorithm Scalability: A Poly-Algorithmic Approach
1996-08-22
Efficient Multicast on Myrinet Using Link-Level Flow Control
1998-05-29
Law-Governed Regularities in Object Systems; Part 1: An Abstract Model
1998-10-16
High Performance Algorithms for Toeplitz and block Toeplitz matrices
1970-01-01
SASE: Implementation of a Compressed Text Search Engine
1998-12-04
Completions Of Stratified Ends
1997-05-23
Frank Connolly
Dynamical Resonances and Lifetimes in Rigged Hilbert Space II
1997-12-09
Meishan Zhao
An HTTP-based Infrastructure for Mobile Agents
1999-02-23
Reasoning About Programs With Effects
1996-07-18
Experimental Mathematics: A Discussion
1995-06-14
Tableau Techniques For Querying Information Sources Through Global Schemas
1998-11-23
The Optimal Population Size for Uniform Crossover and Truncation Selection
1998-04-30
Synthetic Epistemology: The acquisition, retention, and expression of knowledge in natural and synthetic systems
1998-05-28
Neural Networks for Wordform Recognition
1994-02-07
Martin Eineborg
Incremental Inference of Concrete Types
1996-12-19
Conceiving Computationally Intensive Approaches to Vision
1995-02-17
N. Petkov
Coordination Languages for Parallel Programming
1998-07-29
IBM Research Report
1997-05-07
A Scalable Real-Time Synchronization Protocol for Distributed Systems
1995-09-10
A Transactional Memory Service in an Extensible Operating System
1998-04-26
Bottom-Up Model For The Formation Of Gmc's
1997-03-03
Guo-xuan Song
Effects of Nuclear Structure on Average Angular Momentum in Subbarrier Fusion
1995-01-05
Entropy Production in Non-Linear, Thermally Driven Hamiltonian Systems
1998-10-29
COBE-DMR anisotropy maps
1998-05-13
Discourse Parallelism, Scope, and Ellipsis
1997-06-10
A Pipelining Mechanism to Minimize the Latency Time in Hierarchical Multimedia Storage Managers
1998-12-21
Learning Planning Knowledge by Observation and Practice
1997-04-10
Modular Properties of Algebraic Type Systems
1998-05-06
Numerical Computations For Shear Bands in an Antiplane Shear Model
1995-01-25
An Architecture for Information Agents
1996-02-14
Competitive Concurrent Distributed Data Structures
1995-01-05
Why did TD-Gammon Work?
1999-05-05
Testing Complex Temporal Relationships Involving Multiple Granularities and Its Application to Data Mining
1996-03-20
Authentication and Security in WebFS
1997-10-24
Combining Prior Symbolic Knowledge And Constructive Neural Network Learning
1993-01-22
Justin Fletcher
Cluster Connections: A visualization technique to reveal cluster boundaries in self-organizing maps
1998-04-30
A Comparison of Objects with Frames and OODBs
1996-01-10
Xindong Wu
A New Inductive Approach to the Lace Expansion for Self-Avoiding Walks
1997-10-27
On Lotteries with Unique Winners
1998-02-04
Implementing DVSM on the TOPSY multicomputer
1992-02-10
Loop Transformation Methodology for Fixed-rate Video, Image and Telecom Processing Applications
1994-06-07
Digital Watermarks for Audio Signals
1997-05-07
Flipping Modules To Improve Circuit Performance And Routability
1992-08-13
How Useful Is Relevance?
1997-10-31
Massively Parallel Chess
1970-01-01
Convergence of the Transfer Operator for Rational Maps
1997-04-26
The Design of an Online Help Facility for ExSpect
1995-12-12
Geert-jan Houben
Restoring functional PET Images using Anatomical MR Images
1997-10-30
On the Notion of Topic
1998-03-23
Ivana Korbayov
Datalog Grammars for Abductive Syntactic Error Diagnosis and Repair
1996-11-22
J. G. Pereira Lopes
GARF: A Tool for Programming Reliable Distributed Applications
1998-09-01
Spectral Characteristics Of The Double Loop
1997-02-22
Identification for Control: Some Results on Optimal Experiment Design
1998-04-01
Regions: An Abstraction for Expressing Array Computation
1998-10-16
X Server Multi-rendering for OpenGL and PEX
1996-12-18
Segregating Planners and Their Environments
1995-07-05
Single Server Queueing Models for Communication Systems
1996-11-11
Users' Reference To B On Mh-Tss
1997-06-12
S. C. Johnson
Enhancing the semantics of federated schemata by translating SQL-queries into object methods
1995-04-18
miniBSP: A BSP Language and Transformation System
1996-10-22
D. B. Skillicorn
Process Centered Software Development on Mobile Hosts
1999-05-04
Dynamic Priorities as a Basis for Control in Non-Sequential Systems
1995-09-12
A Form for Referees in Theoretical Computer Science
1997-09-08
Referee Mycroft Holmes
Model Checking on Product Structures
1998-10-21
Klaus Schneider
Fault-tolerant Transactions Using Distributed Shared Memory
1996-01-31
An Error Analysis Of Camera Translation Direction Estimation From Optical Flow Using Linear Constraints
1995-06-14
Electronic Notes in Theoretical Computer Science 2 1995
1995-12-04
Geometry in Learning
1996-09-27
Fciardo,asminerg@cs.wm.edu
1997-11-25
Compiler-Assisted Multiple Instruction Retry
1970-01-01
Extended Voting Measures
1997-11-12
On the Expressiveness of ACP Extended Abstract
1995-04-15
Rob Van Glabbeek
Coding Schemas for Dialogue Moves
1998-01-22
Staffan Larsson
A Loosely Coupled Interface to an Object-Oriented Geographic Database
1995-11-14
Jean-paul Peloux
Behaviour of the Absorptive Part of the
1996-12-11
Models of Curves and Finite Covers
1998-12-24
Neural Networks for the Analysis and Forecasting of Advertising and Promotion Impact
1998-10-09
Sifting Out the Gold - Delivering Compact Applications from an Exploratory Object-Oriented Programming Environment
1998-11-25
Improving Recognition via Reconstruction and Other Constraints
1999-02-14
H1-inspired analysis of the 1994 combined test of the Liquid Argon and Tilecal calorimeter prototypes
1996-06-05
Maximizing the Packing Density on a Class of Almost Periodic Sphere Packings
1997-04-26
Oliver Knill
A note on t-norm-based operations on LR fuzzy intervals
1998-11-25
Efficient Algorithms for Constructing Fault-Tolerant Geometric Spanners
1998-02-27
Chapter 1 Real-Valued Array Indices - An Initial Look
1993-07-02
The Dirichlet Problem For Superdegenerate Differential Operators
1998-09-28
An Analysis of the Interacting Roles of Population Size and Crossover in Genetic Algorithms
1998-06-03
Front Tracking in Two and Three Dimensions
1996-04-05
Azer Bestavros
1996-08-01
Azer Bestavros
Maintaining Views Incrementally
1993-12-09
Support Vector Machines: Training and Applications
1998-03-11
ON THE SCATTERING AMPLITUDE IN THE AHARONOV--BOHM GAUGE FIELD Paola Giacconi
1998-05-13
New Lower Bounds on the Cost of Binary Search Trees
1999-05-04
Empirical Studies of Software Process Assessment Methods
1996-04-16
Red Quasars Not So Dusty
1997-05-21
The Contractum in Algebraic Graph Rewriting
1998-04-30
R. Banach
Some Characteristics of the Inconsistent Default Logic Reasoning Style
1998-10-16
Forward and Backward Simulations - Part I: Untimed Systems
1995-08-01
Estimation of Nominal Direction of Arrival and Angular Spread Using an Array of Sensors
1996-04-25
Mapping, Order-independent Genes and the Knapsack Problem
1970-01-01
Robert Hinterding
Zero-Copy Data Movement Mechanisms for UVM
1998-08-06
The Teacher: "Concepts!" The Student: "Tools!" --- On the Number and Importance of Concepts, Methods, and Tools to be Taught in Software Engineering Education
1997-02-24
Martin Glinz
Water Flowpaths and Residence Times in a Small Headwater Catchment at Gardsjon Sweden during Steady State Stormflow Conditions
1997-04-22
High-dimensional Similarity Joins
1998-01-28
Probabilistic Modeling of Distributed Information Retrieval
1997-04-01
Christoph Baumgarten
Object Recognition using Multidimensional Receptive Field Histograms
1998-06-15
Modeling Building-Block Interdependency
1998-12-20
Unknown
1995-08-18
William Morton Pottenger
Object Logic Integration: a Multiparadigm Design Methodology and a Programming Language
1997-07-14
J. H. M. Lee
Incremental Analysis of Logic Programs
1996-01-16
Logic Is Not Enough: Why Reasoning About Another Person's Beliefs Is Reasoning Under Uncertainty
1997-06-16
Anthony Jameson
Scalable Internet Resource Discovery: Research Problems and Approaches
1995-06-14
A Top Down Approach to the Formal Specification of SCI Cache Coherence
1990-12-06
Thesaurus-Based Software Environments
1995-02-09
On Applications of Unequally Spaced Fast Fourier Transforms
1998-11-03
G. Beylkin
An Algebra and Calculus for Multidatabases with Integrity Constraints
1998-09-05
Using the Nonlinear L-curve and its Dual
1998-08-25
An Analogue Vector Matching Architecture.
1998-06-26
Parameterized Pattern Matching: Algorithms and Applications
1995-07-27
Brenda S. Baker
Rectilinear Paths among Rectilinear Obstacles
1996-01-17
Typed Memory Management in a Calculus of Capabilities
1999-03-27
A Global Scheduling Technique for Fine-Grained Asynchronous Parallelism
1998-10-03
Dynamic Dictionary Matching
1995-02-08
SGML , TEX and . . .
1995-03-04
AMS Classification: 28C20; 58C30; 58D30
1997-05-15
Motion Clustering using the Trilinear Constraint over Three Views
1997-09-03
Using Markov chain Monte Carlo in practice: A case study of deleterious gene structure in plants
1995-02-17
Directions of Motion Fields Are Hardly Ever Ambiguous
1995-08-07
Sequential Model Selection for Word Sense Disambiguation
1997-03-29
Combining AI/OR techniques for solving Open Shop problems
1999-01-14
Towards a Theory of Actor Computation
1996-07-18
RelationalInterpretations of Recursive Types in an Operational Setting
1998-09-23
A Light Stop and Electroweak Baryogenesis
1996-06-04
Permuted Substring Matching, with Applicationsto Computational Biology
1997-10-14
Houman Alborzi
Duplication in Corpora
1999-03-23
... - A strongly-typed embeddable computer algebra library
1999-02-18
Manuel Bronstein
Inductive Program Synthesis for Therapy Plan Generation
1997-02-26
Closed-loop Identification Revisited
1997-11-20
Metaheuristics as Robust and Simple Optimization Tools
1996-10-26
Hybrid Systems in TLA
1993-10-15
Leslie Lamport
Simulation for Project Administration
1995-08-09
Fredrick Von Schoultz
Unifying Themes in Empirical and Explanation-Based Learning
1997-04-13
Pat Langley
Soaring through hyperspace: A snapshot of Hyper-G and its Harmony client
1998-06-30
Keith Andrews
An Overview of Checkpointing in Uniprocessor and Distributed Systems, Focusing on Implementation and Performance
1997-07-28
James S. Plank
Towards An Object-0riented Metric Modelling Process
1996-02-07
Jon Avotins