Merit Functions and Descent Algorithms for a Class of Variational Inequality Problems
1996-10-17
Michael Patriksson
User Modeling in a MultiAgent Evolving System
1998-10-12
Alexandros G. Moukas
Compressed Introns in a Linkage Learning Genetic Algorithm
1997-12-21
A Note on Encoding Inverse Roles and Functional Restrictions in
1998-09-23
Another Adaptive Distributed Shortest Path Algorithm
1997-12-06
Pierre A. Humblet
A Computational Market Model for Distributed Configuration Design
1994-07-25
Michael P. Wellman
Linguistically Engineered Tools for Speech Recognition Error Analysis
1998-09-04
Propagation Rule Compiler: Evaluation
1997-03-26
Rainer Manthey
Packet Filtering in an IP Router
1997-02-08
Self Inducing Relational Distance and its Application to Image Segmentation
1997-11-10
A Process Algebra for Synchronous Concurrent Constraint Programming
1996-07-12
Learning the Structure of Dynamic Probabilistic Networks
1998-05-08
A Top-down Driven, Object-Based Approach to Application-Specific Operating System Design
1997-05-21
Symmetry Of Tilings Of The
1998-07-11
Charles Radin
Disappearance of the Hierarchical Clustering?
1997-07-14
Learning Complex Boolean Functions: Algorithms and Applications
1995-02-22
A Scale-Vector Approach For Edge Detection
1996-02-07
Performance
1997-05-08
Guerino Mazzola
A Stable Integer Relation Algorithm
1998-02-23
Building Models of Prediction Theories
1998-06-26
On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems
1998-11-19
Gillian Dobbie
VASE User's Manual Version 1.0
1994-06-15
Angluin's Theorem for Indexed Families of R.e. Sets and Applications
1996-04-18
Seamless Care in the Health Region of Crete: the Star Case Study
1997-08-29
Some Guidelines on Technical Writing
1999-03-23
James R. Wilson
Visualizing the World-Wide Web with the Navigational View Builder
1995-04-04
Final Semantics for untyped lambda-calculus
1998-04-22
Furio Honsell
Finitely Generated Connected Locally Compact Groups
1995-08-21
How to Stop a Cheater: Secret Sharing with Dishonest Participation
1994-10-19
Erik Warren Selberg
From Text to Knowledge: a Unifying Document-Centered View of Analyzed Medical Language
1998-05-04
Constructing Partial and Complete Intelligent Answers for Recursive Queries
1998-11-24
The Minimum Description Length Principle and Non-Deductive Inference
1998-01-16
P. Grunwald
Statistical Dynamics of the Royal Road Genetic Algorithm
1998-01-22
A Distributed AI Architecture Enabling Multi-Agent Cooperation
1999-01-19
Motion Estimation For Region-Based Video Coding
1996-01-25
Physics at ELFE
1997-12-11
Paul Hoyer
A Connectionist Formulation of Learning in Dynamic Decision-Making Tasks
1997-01-02
Space Layout Planning using an Evolutionary Approach
1995-10-09
Characterization and Optimization of Commit Processing Performance in Distributed Database Systems
1998-03-08
Tree Structured Non-Linear Signal Modeling And Prediction
1997-09-25
A Logical Process Simulation Engine with Probabilistic Optimism
1995-06-01
A. Ferscha
Robust H_2 Filtering For Structured Uncertainty: The Performance Of Probabilistic And Minimax Schemes.
1996-05-16
Mikael Sternad Kenth
Stepwise Confidence Intervals without Multiplicity Adjustment for Dose Response and Toxicity Studies
1998-12-17
Real-Time Databases: Issues and Applications
1996-01-22
Composition Filters in Smalltalk
1996-05-21
Sufficient Conditions for Implementing the Data-Race-Free-1 Memory Model
1995-03-24
VV through Inconsistency Tracking and Analysis
1998-03-16
On the Average Case Circuit Delay of Disjunction
1994-05-06
Nonlinear Network Models of the Oculomotor Integrator
1998-01-12
Design Issues And Experimental Database Architecture For Telecommunications
1996-05-07
A Z Specification of Use Cases
1997-11-24
Computer-Aided Planning of Mechanical Assembly Sequences
1996-02-02
Experiments on Speaker-Independent Phone Recognition Using BREF
1993-02-19
Software Strategies for Portable Computer Energy Management
1998-09-15
Approximating the Independence Number Via the Theta-Function
1997-02-27
Combinatorial Problem Solving Using Randomized Dynamic Composition of Production Rules
1995-08-21
Historical Perspectives on the Computing Curriculum
1997-07-07
An Approach for Object-Oriented Animation Design
1994-10-20
IFB Calibration of Dual Frequency GPS Receivers
1998-03-23
Andrew J. Hansen
Vector Orthogonal Polynomials And Least Squares Approximation
1999-02-22
CORBA: Integrating Diverse Applications Within Distributed Heterogeneous Environments
1996-12-16
Steve Vinoski
A Generic Path-Following Algorithm With a Sliding Constraint and Its Application to Linear Programming and the Computation of Analytic Centers
1996-04-12
Convolutional Coding Strategies for Code Division Multiple Access Cellular Communications
1997-03-05
Dr. D. G. M. Cruickshank
Making Decision in a Qualitative Setting: From Decision Under Uncertainty to Case-Based Decision
1997-12-12
Unification of Compile-time and Run-time Metaobject Protocols
1995-07-24
Order Statistic Quadrature Mirror Filters
1996-10-26
Moving Object Recognition Using Wavelets and Learning of Eigenspaces
1998-06-22
GATE: An Environment to Support Research and Development in Natural Language Engineering
1997-01-22
A Symmetry Breaking Experiment Aboard Mir And The Stability Of Rotating Liquid Films
1998-11-11
A Revisitation of Kernel Synchronization Schemes
1998-10-23
Multigrid Q-Learning
1994-10-11
Using Real-Valued Genetic Algorithms to Evolve Rule Sets for Classification
1995-04-21
Motion Estimation For Region-Based Video Coding
1996-01-25
Cooperative Transportation Scheduling: an Application Domain for DAI
1970-01-01
Adaptive Packet Routing for Bursty Adversarial Traffic
1998-03-31
Index Translation Schemes for Adaptive Computations on Distributed Memory Multicomputers
1998-09-05
Compiling Modechart Specifications
1995-10-04
Nonlinear Diffraction Tomography---The Use of Inverse Scattering for Imaging
1996-04-03
Autonomous Design of Artificial Neural Networks by Neurex
1997-06-04
Ruben Gonzalez Rubio
Random sparse arrays Preliminary 1.0
1998-02-12
Bart Smolders
O-Plan: the Open Planning Architecture
1970-01-01
Zeros and Passivity of Arnoldi-Reduced-Order Models for Interconnect Networks
1997-05-29
A Compact PIFA Suitable for Dual Frequency 900/1800MHz Operation
1997-12-09
Solving Box Constrained Variational Inequalities By UsingThe Natural Residual With D-Gap Function Globalization
1998-01-17
Christian Kanzow
Fuzzy Constraint Networks for Process Control
1994-12-06
Estimation of Wiring Area for Hierarchical Design
1998-03-04
Efficient Graph Algorithms Using Lazy Monolithic Arrays
1995-10-04
Thomas Johnsson
High Performance Computing in the U.S. in 1995 -- An Analysis on the Basis of the TOP500 List
1996-01-19
Analysing Rational Properties of Change Operators Based on Forward Chaining
1999-01-11
Software Techniques for Interactive Performance Systems
1996-11-14
Roger B. Dannenberg
A High Quality Vectorization Combining Local Quality Measures and Global Constraints
1999-02-12
A Destressing "Deafness" in French?
1998-10-16
Iterated perturbation theory for the attractive Holstein and Hubbard models
1994-11-08
by John T. Kohl
1994-05-21
John T. Kohl
Cern-Th.7502/94
1998-06-02
G. Veneziano
Configuring Distributed Applications using Object Decomposition in an Atomic Action Environment
1996-12-12
A New Method For The Hamiltonian Eigenvalue Problem
1998-06-09
An Empirical Comparison of Dimensionality Reduction Techniques for Pattern Classification
1998-01-23
Estimation and Filtering of Potential Protein-Protein Docking Positions
1999-02-25
A Programmable ANSI C Transformation Engine
1999-01-14
Type Assignment and Termination of Interaction Nets
1997-11-20
Tutorial Notes on Partial Evaluation
1995-07-28
A survey of techniques and guidelines for improving the performance of CORBA-based distributed systems
1998-03-17
Register Allocation and Binding for Low Power
1997-12-06
The Use Of
1998-01-12
Jerome Mcdonough
Efficient Fault-Tolerant Algorithms for Distributed Resource Allocation
1998-07-08
Cooperative Transactions for Multi-User Environments
1993-12-14
Gail E. Kaiser
Primal Dividing and Dual Pruning: Output-Sensitive Construction of 4-d Polytopes and 3-d Voronoi Diagrams
1995-08-31
Unknown
1997-11-20
Volker Rehrmann
Families of Orthogonal 2d Wavelets
1996-05-21
Peter Maass
Environmental Effects on Minimal Behaviors in the Minimat World
1997-07-10
Numerical Computing of Molecular Electrostatics through Boundary Integral Equations
1997-02-04
Jie Liang
Multi-dimensional Resource Scheduling for Parallel Queries
1997-05-30
Line Transversals of Balls and Smallest Enclosing Cylinders in Three Dimensions
1999-04-05
Evaluation of Mechanisms for Fine-Grained Parallel Programs in the J-Machine and the CM-5
1995-09-01
Incremental Inference of Concrete Types
1993-12-14
Engineering Multiversion Neural-Net Systems
1998-12-20
AMOS: Comparison of Scan Matching Approaches for Self-Localization in Indoor Environments
1998-04-10
On the Effect of Traffic Self-Similarity on Network Performance
1998-03-17
Balancing Load versus Decreasing Communication: Parameterizing the Tradeoff
1997-02-20
Layered Representation of Motion Video using Robust Maximum-Likelihood Estimation of Mixture Models and MDL Encoding
1999-01-21
Performance Analysis of Finite-Buffered Asynchronous Multistage Interconnection
1995-06-29
The `Creep-and-Merge' Segmentation System
1998-04-22
A Conservative Look at Term Deduction Systems with Variable Binding
1995-09-25
Rigorous Learning Curve Bounds from Statistical Mechanics
1994-06-04
Formal Aspects of Workflow Management
1997-06-18
Munindar P. Singh
A Low Power, Low Bandwidth Protocol for Remote Wireless Terminals
1998-06-27
A Self-Injective Cellular Algebra is Weakly Symmetric
1999-04-21
Parallel Query Processing Using Shared Memory Multiprocessors and Disk Arrays
1994-04-12
Wei Hong
Time-Dependent Wavelets, Alias Space-Time Affine Coherent States
1996-03-11
J. -p. Antoine
Stephen Brooks and Andrew Gelman
1997-07-28
An Experimental Comparison of Range Image Segmentation Algorithms
1998-06-30
Two Connections between the SR and HR Eigenvalue Algorithms
1997-08-19
DPOCL: A Principled Approach to Discourse Planning
1996-02-28
Process Spaces
1996-04-01
Radu Negulescu
Violation of the Fluctuation Dissipation Theorem in Finite Dimensional Spin Glasses
1997-10-14
Error Estimation based on Statically Admissible Stress Fields
1996-04-24
A Highly Available Network File Server
1994-02-16
Multiplication of Matrices of Arbitrary Shape on a Data Parallel Computer
1970-01-01
An Analysis of Liao's Absorbing Boundary Condition
1996-04-03
Integration of Concurrency Control in a Language with Subtyping and Subclassing
1995-05-23
Scheduling Aperiodic Tasks in Dynamic Priority Systems
1998-02-25
Discovering and Visualizing Narrative Themes
1997-07-22
Matthew Brand
Modeling and Simulation of Software Projects
1998-10-30
ILP Based Cost-Optimal DSP Synthesis with Module Selection and Data Format Conversion
1998-12-17
Branch Instrumentation in SUIF
1998-10-07
Scheduling with Compiler Transformations: The TCEL Approach
1996-10-02
Reconstructing a Three-Dimensional Model with Arbitrary Errors
1998-02-09
Using Recursive Agent Models Effectively
1995-12-05
Object Interconnections
1996-12-28
Finite Size Effects in Bayesian Model Selection and Generalisation
1997-04-02
Fast Motion Planning In Dynamic Environments With The Parallelized Z³-Method
1998-01-27
Boris Baginski
Entropic C theorems in free and interacting two-dimensional field theories
1998-10-21
J. Gaite
Ada 9X Project Report
1991-05-28
Robert B. K. Dewar
Multiple Phase Clustering of Globally Pulse Coupled Neurons with Delay
1995-12-01
Compression and Model Reduction: A Case Study
1995-11-07
Differences of the Partition Function
1997-05-04
A. M. Odlyzko
Knowledge Of Characteristics
1997-04-09
Eric W. Parsons
MOBILE ROBOT DYNAMICS: CHAOS IN REACTIVE CONTROL Architectures.
1996-06-21
Scalable Architectures with
1994-02-02
NIST Form-Based Handprint Recognition System
1996-06-22
Hermes: Supporting Argumentative Discourse in Multi-Agent Decision Making
1998-04-08
Imitation: An Alternative to Generalization in Programming by Demonstration Systems
1998-09-02
Amir Michail
SM Higgs mass bounds from theory
1997-11-03
Thomas Hambye
Designing Communication Strategies for Heterogeneous Parallel Systems
1996-05-25
Design and Implementation of an RSFQ Switching Node for Petaflops Networks
1999-01-19
Dynamic Models for Nonstationary Signal Segmentation
1998-10-01
Renormalization Group Pathologies and the Definition of Gibbs States
1997-04-28
Using Markovian Process Algebra to Specify Interactions in Queueing Systems
1998-04-21
A dynamic programming algorithm for RNA structure prediction including pseudoknots
1998-12-18
Pragmatic Design with Ada
1997-03-11
Multimedia Presentation of Interpreted Visual Data
1997-03-12
Ensuring Efficiently the Integrity of Persistent Object Systems Via Interpretation.
1996-07-18
Xavier Schaefer
On an Instance of the Inverse Shortest Paths Problem
1998-10-26
An Analysis of Bayesian Classifiers
1997-04-13
Constrained Properties, Semilinear Systems, and Petri Nets
1996-10-03
Contextual Programming Extended Abstract
1999-04-20
TransCom: a Communication Microkernel for Transputers
1998-04-25
Journal of Graph Algorithms and Applications
1998-05-12
The Operator Product Expansion, Non-perturbative Couplings and the Landau Pole: Lessons from the
1998-09-16
On Token Protocols for High-Speed Multiple Ring Networks
1994-12-23
The Camassa-Holm Equation: A Loop Group Approach
1997-09-29
Jeremy Schiff
Parallel Algorithms For Unstructured Mesh Computation
1995-09-08
On the Complexity of Learning for a Spiking Neuron
1999-01-06
From Internet to ActiveNet
1998-11-17
New Constructions of Fail-Stop Signatures and Lower Bounds Extended Abstract
1996-09-20
Toward Intelligent Representation of Database Content
1999-01-18
Hash-Routing for Collections of Shared Web Caches
1997-10-08
Keith W. Ross
Implementing an Efficient Part-of-Speech Tagger
1999-03-24
Best Choice of Coordinate System for Tracking Coordinated Turns
1996-08-01
Performance analysis of a CFD-code on the IBM-SP2
1995-12-08
Ingemar Persson
Extending the functionality of Spreadsheets using Oz-FD-Variables
1995-11-14
Frank Essig
Simulating Lyme Disease Using Parallel Discrete Event Simulation
1996-08-14
Design And Calibration Of An Unsteady Pressure Measurement System
1997-09-25
Emergence of Structure and Function in Evolutionary Modular Neural Networks
1997-05-06
Sung-bae Cho
Self Inducing Relational Distance and its Application to Image Segmentation
1998-09-04
A VC-based API for Renegotiable QoS in Wireless ATM Networks
1998-01-29
DCTune perceptual optimization of compressed dental X-Rays
1997-02-26
Robust Parameter Learning in Bayesian Networks with Missing Data
1996-11-20
Continuous Functions
1997-09-24
Minimum Vertex Cover, Distributed Decision-Making, and Communication Complexity Extended Abstract
1997-10-04
Context-Sensitive Scheduling for the Thread Concept
1993-08-25
Andreas Winckler
Vaguenes And Uncertainty: A Rough Set Perspective
1994-11-14
Zdzislaw Pawlak
Arbitrariness Of The General Solution And Symmetries
1995-10-12
Werner M. Seiler
Layout Synthesis Techniques for Yield Enhancement
1998-02-07
Indexing Flowers by Color Names using Domain Knowledge-driven Segmentation
1998-06-15
An Approximation Algorithmfor the Maximum Cut Problem and its Experimental Analysis
1998-01-26
The Obstacle Problem For Monge-Amp ' Ere Equation
1997-09-24
Ki-ahm Lee
Word Sense Disambiguation using Optimised Combinations of Knowledge Sources
1998-05-15
Accounting for Purpose in Specifying Requirements for Process Programs
1995-09-06
Stanley M. Sutton
The Leafage Of A Chordal Graph
1998-04-24
Truncations Of The Hilbert Transform
1994-03-11
Loukas Grafakos
Highly Portable and Efficient Implementations of Parallel Adaptive N-Body Methods
1997-09-01
Fast Message Ordering and Membership Using a Logical Token-Passing Ring
1996-01-03
Garbage Collection on an Open Network
1996-11-04
Matthew Fuchs
Evaluation of Resource Sharing Benefits
1994-11-29
Personality-Rich Believable Agents That Use Language
1997-09-11
A Little Goes a Long Way: A Simple Tool to Support Denotational Compiler-Correctness Proofs
1994-09-20
Efficient Retiming under a General Delay Model
1997-06-28
Applying Online Search Techniques to Reinforcement Learning
1997-05-23
The Power of Local Self-Reductions
1999-01-07
Partial Scan Using Multi-Hop State Reachability Analysis
1999-04-29
VIS : A System for Verification and Synthesis
1997-03-21
Parallel Symbolic Computing with the Shared Dataspace Coordination Model
1994-08-03
On the Stability of Realistic Three--Body Problems
1997-04-26
Computationally Tractable Probabilistic Modeling of Boolean Operators
1998-04-07
Orbit Modeling of the Lensing Galaxy in 0957+561
1997-11-24
Aaron J. Romanowsky
Scale-Space has been Discovered in Japan
1997-08-26
Three Dimensional Dynamos in Spiral Galaxies
1998-08-17
Scene Classification By Fuzzy Local Moments
1998-04-22
An Object-Oriented Inference Engine for PROLOG
1999-01-14
Primitive divisors of Lucas and Lehmer sequences, II
1997-09-04
Network Subsystem Design: A Case for an Integrated Data Path
1996-09-15
Geometric Concept Learning and Related Topics
1997-04-24
FRIENDS: A Flexible Architecture for Implementing Fault Tolerant and Secure Distributed Applications
1997-03-07
Jean-charles Fabre
Properties of Rare Fail-States and Extreme Values of TTF in a Markov Chain Model for Software Reliability
1999-04-26
Language Independent and Language Adaptive Large Vocabulary Speech Recognition
1998-09-20
Generalization of Clauses under Implication
1996-01-24
Peter Idestam-almquist
Parametrization of Orthogonal Wavelet Transforms and Their Implementation
1998-03-13
Planning Transition Relevance Points in Speech-based Information Systems
1997-01-21
Yan Qu
Simulation of Newton's pendulum using switched bond graphs
1999-02-09
Krister Edstrom
Planetary Systems and Their Changing Theories
1997-12-15
.4 Simulation Results
1993-09-26
Deterministic Asynchronous Automata for Infinite Traces
1996-03-05
A Performability Model for Soft Real-Time Systems
1998-08-24
The Mercator Project: A non-visual interface to the X windows system
1970-01-01
A Calculus of Refinements: its class of models
1995-01-12
Mixture of Experts Estimate A Posteriori Probabilities
1997-11-24
Perry Moerland
Geometric Clustering of Multimedia Databases
1998-04-17
Object Segmentation Techniques for Use in Laboratory Visual Automation Systems
1970-01-01
Peter Eggleston
A High-Level Visual Language for Generating Web Structures
1998-12-21
Infinite-Dimensional Modules in the Representation Theory of Finite-Dimensional Algebras
1998-02-18
Characterizing Multicast Orderings using Concurrency Control Theory
1997-02-17
Anosov maps with rectangular holes. Nonergodic cases.
1997-05-13
Nonparametric Estimation Of Jump Surface
1998-03-30
Distributed, Scalable Routing Based on Vectors of Link States
1995-06-07
Simulation Of Detailed Chemistry In A Turbulent Combustor Flow
1997-08-22
H. C. Magel
A Dimension Group for Local Homeomorphisms and Endomorphisms of Onesided Shifts of Finite Type
1996-12-17
On the Effect of Time Variability of the Wind on Rates of Aeolian Sand Transport
1997-08-11
The Submillimeter Frontier: A Space Science Imperative
1998-12-14
Formal Specifications of Image Schemata for Interoperability in Geographic Information Systems
1970-01-01
Why We Should Be Using "worldware" in Computer-Based Learning
1995-06-07
Phillip Kent
Application of a deductive database system to search for topological and similar three dimensional structures in protein Y. Tsukamoto
1997-09-28
Flow-Insensitive Points-to Analysis with Term and Set Constraints
1997-11-19
algorithm, extends the DME algorithm for exact zero-skew trees via the concept of a
1997-10-21
Acceleration of the EM algorithm
1998-03-02
Shiro Ikeda
Weakly Learning DNF and Characterizing Statistical Query Learning Using Fourier Analysis
1994-09-08
Planning and Scheduling
1995-12-01
Thomas Dean
A Parallel Learning Algorithm for Bayesian Inference Networks
1997-10-31
Studying the Effects of Code Inspection and Structural Testing on Software Quality
1998-04-08
Maximum Likelihood Parameter Estimation of the Harmonic, Evanescent and Purely Indeterministic Components of Discrete Homogeneous Random Fields
1997-03-16
New Enumerative Results on Two-Dimensional Directed Animals
1996-08-26
Tracker Fusion for Robustness in Visual Feature Tracking
1997-04-28
Dynamic and Heuristic Fuzzy Connectives Based Crossover Operators for Controlling the Diversity and Convergence of Real-Coded Genetic Algorithms
1996-03-15
Student Modeling In An Intelligent Tutoring System
1997-03-13
Jeremy E. Thompson
Parametric Conductance Correlation for Irregularly Shaped Quantum Dots
1997-12-11
On Finding a Smallest Augmentation to Biconnect a Graph
1997-06-04
Parallel Complexity of the Lexicographically First Maximal Subgraph Problems on Restricted Graphs
1997-11-25
Ryuhei Uehara
Tomohiro Kawakami
1997-05-23
Tomohiro Kawakami
Deisgn Concepts and Implementation of Databases
1996-04-05
Gio Wiederhold
The Use Of Parallel Computers To Solve Nonlinear Spatial Optimisation Problems: An Application To Network Planning
1995-07-06
Shared-Memory Simulations on a Faulty-Memory DMM
1999-04-05
Asymptotic L¹-decay of solutions of the porous medium equation to self-similarity
1999-04-21
Identical Parallel Machines Vs. Unit-Time Shops, Preemptions Vs. Chains, And Other Offsets In Scheduling Complexity
1998-12-22
Vadim G. Timkovsky
Minimal Surfaces: A Three Dimensional Segmentation Approach
1996-11-06
Analysis of the SSL 3.0 protocol
1999-05-03
The "Inverse Hollywood Problem": From video to scripts and storyboards via causal analysis
1997-12-29
Matthew Brand
Nonlinear Parameter Estimation Using Interval Analysis
1998-07-23
A Visual Agent for Performance Graphics
1995-02-23
Fred Lakin
The BDIM Agent Toolkit Design
1998-02-12
Dynamic Analysis of SA/RT Models Using SPIN
1970-01-01
A Constant-factor Approximation Algorithm for the
1997-10-02
Production, Perception and Patterning: "Performance" Speech in an Endangered Dialect Variety
1996-04-03
Natalie Schilling-estes
Variable Selection for Regression Models
1995-05-15
Proxy-Based Authorization and Accounting for Distributed Systems
1996-10-03
B. Clifford Neuman
Specifications for Interoperability: Formalizing Image Schemata for Geographic Space
1970-01-01
Modeling the User , s Processing Resources: Pragmatic Simplicity Meets Psychological Complexity
1998-09-27
Anthony Jameson
Verification of a Prolog Compiler - First Steps with KIV
1970-01-01
Web Search Using Automatic Classification
1997-03-06
Quarterware for Middleware
1998-03-15
Efficient Collective Communication on Heterogeneous Networks of Workstations
1997-11-16
TiMBL: Tilburg Memory-Based Learner, version 1.0, Reference Guide
1998-03-17
Finding All Gravitationally Stable Orientations of Assemblies
1994-05-20
IBM Research Report
1998-03-25
Benjamin N. Grosof
Natural-Sounding Speech Synthesis Using Variable-Length Units
1998-10-08
Active Hand-Held Instrument for Error Compensation in Microsurgery
1998-12-17
Some Non-Technical Issues In The Implementation Of Corporate E-Mail: Lessons From Case Studies
1998-02-20
An Object-Oriented Approach to Modeling and Simulation of Routing in Large Communication Networks
1995-09-06
Temporal Verification by Diagram Transformations
1998-03-19
Reasoning and Synthesis in an Object-Oriented System
1994-06-28
PAC Learning with Simple Examples
1997-12-17
On the Expressiveness of Purely Functional I/O Systems
1992-03-19
Comprehending the Knowledge Stored in Aged Legacy Systems to Improve their Qualities with a Renewal Process
1997-11-03
Independent Component Analysis by General Non-linear Hebbian-like Learning Rules
1998-02-12
COCA: Collaborative Objects Coordination Architecture
1999-03-20
Designing Dexter-based Cooperative Hypermedia Systems
1998-01-19
Unimodular Probing for Minimal Perturbance in Dynamic Resource Feasibility Problems
1997-11-05
Support Vector Machines for 3-D Object Recognition
1998-09-22
QCD Coupling Constant at Finite Temperature
1998-05-14
Use of Instructional Material in Universal Teleteaching Environments
1997-07-01
Robert Grebner
A Snake for Model-Based Segmentation
1995-09-19
Learning With Unreliable Boundary Queries
1997-06-26
Action Systems with Synchronous Communication
1994-09-22
Analysis of a Mobile-Assisted Adaptive Location Management Strategy
1998-04-02
Incorporating Variability in Estimates of Heterogeneity in the Random Effects Model in Meta-Analysis
1996-11-19
Lossless Medical Image Compression Using Three-Dimensional Integer Wavelet Transforms
1998-02-03
Dia- and Paramagnetism for Nonhomogeneous Magnetic Fields
1997-07-09
Boolean Circuits, Tensor Ranks, And Communication Complexity
1970-01-01
Distance-Adaptive Update Protocols for Scalable Shared-Memory Multiprocessors
1997-02-07
Collective Loop Fusion for Array Contraction
1995-09-05
A Grid-Based Method for Predicting the Behaviour of Colour Printers
1996-06-12
Value-cognizant Admission Control for RTDB Systems
1996-12-09
Parallel Global Optimization of Proteins
1995-04-09
Single-Layer Fanout Routing and Routability Analysis for Ball Grid Arrays
1995-11-10
New Formulations And Branching Strategies For The Gop Algorithm
1999-03-08
Privacy Enhancement for Internet Electronic Mail: Part II: Certificate-Based Key Management
1995-02-13
S. Kent
A Note on the Relationship Between Linguistic Theory and Linguistic Engineering
1995-10-31
Robin Cooper
On Flag-Transitive Anomalous c3-Geometries
1970-01-01
Emacspeak --Direct Speech Access
1996-03-08
Efficient Query Evaluation in Disjunctive Deductive Databases
1994-10-05
Stefan Brass
Groupware for Planning
1998-10-01
Sampling of Procedural Shaders Using Affine Arithmetic
1997-01-29
Higher-twist Effects in Spin Structure Functions
1998-05-25
Tsuneo Uematsu
Model Checking TLA
1999-03-11
A Generalized Theory Of Maximum Entropy Prediction By Neurons
1999-05-04
Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines
1998-03-03
R. Kuiper
An LMI solution to the robust synthesis problem for multi-rate sampled-data systems
1999-03-12
Formal Specification and Verification of Control Software for
1996-07-16
Quantum Computing - References
1999-03-12
A Freely Available Morphological Analyzer, Disambiguator and Context Sensitive Lemmatizer for German
1998-09-20
NIST Form-Based Handprint Recognition System Release 2.0
1997-01-23
Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Normalisation
1999-01-28
PHRASE Parsers from Multi-Axiom Grammars
1996-11-26
Specification and Validation of Communications in Client/Server Models
1996-09-27
F. Joe Lin
Active Range Sensing for Mobile Robot Localization
1998-02-25
Artur Ars'enio M. Isabel Ribeiro
Fuzzy Logic Controllers Generated by Pseudo-Bacterial Genetic Algorithm with Adaptive Operator
1998-11-18
Self-Simulation for the Passive Optical Star
1997-10-28
Penalized Likelihood Estimation: Convergence under Incorrect Model
1997-04-11
Chong Gu
Parallel Rendering Techniques for Multiprocessor Systems
1994-07-28
K. Menzel
Detecting and Segmenting Periodic Motion
1996-12-11
A Method for Assessing Cross-Lifecycle Reuse
1996-10-18
Jeffrey S. Poulin
Representing Defeasible Constraints and Observations in Action Theories
1999-03-11
Yan Zhang
The Structure of Shared Forests in Ambiguous Parsing
1998-02-25
Derivation and Presentation of an Abstract Program Space for Ada
1997-11-19
Member, IEEE
1996-12-10
Ulrich Tamm Member
Fixpoint Logics, Relational Machines, and Computational Complexity
1996-08-11
Natural Vector Fields On Tangent Bundles
1995-11-20
Automatic Code Distribution
1995-09-07
Corinne Ancourt
PEX Protocol Specification
1996-01-11
Computing with Molecules
1999-02-12
Diana Roo
Generating Low-Degree 2-Spanners
1994-04-26
Person Identification Using Multiple Cues
1995-09-06
Issues in the Next Generation of Dependability Standards
1998-11-16
Social coordination and spatial organization: Steps towards the evolution of communication.
1997-04-30
Ezequiel A. Di Paolo
Electronic Payment Systems
1996-10-18
The ASF+SDF Meta-environment Documentation tools for free!
1999-03-16
E. Visser
Pattern--Based Object--Oriented Parallel Programming
1998-07-15
Design, Implementation and Deployment of a Secure Account-Based Electronic Payment System
1999-02-12
Call Admission Control Schemes under Generalized Processor Sharing Scheduling
1996-08-14
Taisc'eala'i: Information Retrieval from an Archive of Spoken Radio News
1998-07-07
Common Knowledge and Update in Finite Environments
1997-08-28
Ron Van Der Meyden
Clean: a Programming Environment Based on Term Graph Rewriting
1995-12-04
M. J. Plasmeijer
Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints
1996-09-24
Triple Electroweak Gauge-Boson Production at Fermilab Tevatron Energies
1998-05-14
Tao Han
Design of Neural Networks Using a Priori Knowledge
1995-06-21
Modeling a groupware editing tool with Cooperative Objects position paper
1996-10-21
The Effect of Network Hierarchy Structure on Performance of ATM PNNI Hierarchical Routing
1998-09-01
Relation Patterns and their Automatic Discovery in Biosequences
1997-06-12
ATM Input-Buffered Switches with the Guaranteed-Rate Property
1998-07-08
How to Progress a Database II: The STRIPS Connection
1970-01-01
Object-Oriented Concurrent Constraint Programming in Oz
1995-02-02
Interoperability and Workflow: Multi-Agency Databases
1970-01-01
Analysis of The Generalized Dimension Exchange Method for Dynamic Load Balancing
1995-04-26
C. Z. Xu
Frequently Asked Questions in Polyhedral Computation
1998-08-26
Komei Fukuda
EUROPA Parallel C++ Version 2.1
1997-09-22
Generalization to Novel Images in Upright and Inverted Faces
1994-05-11
On Building Distributed Soft Real-Time Systems
1994-10-31
Squeezed And Correlated States Of Quantum Fields And Multiplicity Particle Distributions
1998-05-15
An Additive Schwarz Algorithm for Piecewise Hermite Bicubic Orthogonal Spline Collocation
1995-04-17
Un Langage Fonctionnel Pur D'ordre Supérieur Explicitement Parallèle
1999-02-11
Data Engineering for the Analysis of Semiconductor Manufacturing Data
1995-05-02
Peter Turney
IP Lookups using Multiway and Multicolumn Search
1999-03-04
Analysis and Transformation of Proof Procedures
1995-06-07
-Periodic Homotopy Groups of
1998-10-22
Donald M. Davis
Practical Aspects Of Variable Reduction Formulations And Reduced Basis Algorithms In Multidisciplinary Design Optimization
1996-08-23
Robert Michael Lewis
Optimizing World-Wide Web for Weakly Connected Mobile Workstations: An Indirect Approach
1995-04-11
Face Recognition and Gender Determination
1996-05-20
Applications of Transaction Logic to Knowledge Representation
1995-11-05
Hyperbolic Planes
1995-04-04
Bruce Hunt
Number Theory and Atomic Densities
1997-11-09
MPP Solution of Rayleigh-Bénard-Marangoni Flows.
1997-09-28
An Information-Theoretic Definition of Similarity
1998-07-09
Dekang Lin
PARallel Speckle rEconstruction Code PARSEC for satellite imaging at the MSSS: algorithms and observational results
1998-01-01
Hyper-Npsnet:embedded Multimedia In A 3d Virtual World
1995-10-27
Charles P. Lombardo
A Controlled Skip Parser
1996-11-15
Kenji Yamada
An MPI-Based Run-Time Support to Coordinate HPF Tasks
1998-09-09
Salvatore Orlando
Validity of Interprocedural Data Remapping
1996-11-19
Signatures of the First Stars in the Universe
1999-03-03
Matematiqki Vesnik
1996-07-08
Nebojsa L. Lazeti'c
The Structure of Logarithmic Advice Complexity Classes
1997-06-04
Montserrat Hermo
Numerical Evaluation Of Special Functions
1995-04-07
Optimal Tree-based One-time Digital Signatures Schemes
1996-03-26
To give Perl a good memory.
1994-10-31
Equational Axioms of Test Algebra
1996-12-09
Marco Hollenberg
Two-Dimensional Orthogonal Tiling: from Theory to Practice
1996-09-09
Hot Curves For Modelling And Recognition Of Smooth Curved 3d Objects
1997-02-07
A Software Synthesis Method for Building Real-Time Systems from Processing Graphs
1998-01-25
Sorting on a Massively Parallel System Using a Library of Basic Primitives: Modeling and Experimental Results
1998-02-23
The Role of Parameterized Computational Complexity Theory in Cognitive Modeling
1996-06-05
H. Todd Wareham
Anatomical Origin and Computational Role of Diversity in the Response Properties of Cortical Neurons
1997-03-14
Execution-Driven Simulation Of Error Recovery Techniques For Multicomputers
1999-03-20
Tiffany M. Frazier
Applied To The
1999-03-17
Changing Technologies of HPC
1997-08-01
Events emulation with SLATE, in the ROC of DAQ/EF prototype-1
1998-01-16
M. Niculescu
Modelling Teams and Team Tactics in Whole Air Mission Modelling
1996-02-20
Optimally Smooth Symmetric Quadrature Mirror Filters for Image Coding
1970-01-01
Experience with the Learning Web
1996-02-12
Geometric Interconnection and Placement Algorithms
1995-04-24
Randomized Selection on the Hypercube
1995-12-11
Sanguthevar Rajasekaran
Variations on the Themes of Message Freshness and Replay --
1994-10-12
Li Gong
Discourse Marker Use in Task-Oriented Spoken Dialog
1998-03-11
On the Foundations of Corecursion
1995-11-17
A Software Architecture for Massively Parallel Input-Output
1996-10-17
The PVM Concurrent Computing System: Evolution, Experiences, and Trends
1995-10-16
Knowledge Discovery from Telecommunication Network Alarm Databases
1995-11-28
Beyond the Scrollbar: An Evolution and Evaluation of Alternative List Navigation Techniques
1997-10-25
Transport QoS over Unreliable Networks: No Guarantees, No Free Lunch!
1997-05-20
A VLSI processor for computing Linear and Circular CORDIC
1995-05-29
Poul M. Rands Jensen
Domain Decomposition Techniques in Parallelization of the 3-dimensional FRONTSIM code.
1995-05-01
Support for Software Assisted Speculative Execution
1999-01-20
E Christopher Lewis
Ubiquitous Smart Spaces
1998-02-25
A MAPLE Package for Stochastic Differential Equations
1997-09-23
S. Cyganowski
Searching For Meaning With The Help Of A PADRE
1996-11-08
An Adaptive Overflow Technique for B-trees
1997-12-06
Ricardo A. Baeza-yates
Combining Probabilistic Population Codes
1997-09-19
The Abundance of Boron in Evolved A- and B-Type Stars
1998-05-14
Genericity in Spatial Databases
1999-02-03
The Genetic Algorithm and Local Optimizer Hybrid Approach for the Advanced Layout Problem
1997-05-06
Pitch-Based Emphasis Detection For Segmenting Speech Recordings
1995-04-13
Barry Arons
Comparison and Optimization of Differentially Encoded Transmission on Fading Channels
1999-02-10
Sequential Update of Bayesian Network Structure
1999-02-11
Some archaeological applications of kernel density estimates M.J. Baxter
1996-03-22
An Object-Based Approach to Software Engineering Environments
1997-03-07
Efficient Parallel Solution Of Parabolic Equations: Implicit Methods On The Cedar Multicluster
1992-05-11
Foreign Event Handlers to Maintain Information Consistency and System Adequacy
1999-04-01
Hardware and Software Support for Speculative Execution of Sequential Binaries on a Chip-Multiprocessor
1998-09-18
TCP Behavior of a Busy Internet Server: Analysis and Improvements
1998-04-15
April 25, 1997
1998-06-03
A Flexible Distributed Authorization Protocol
1996-07-12
A New Upper Bound for the Isoperimetric Number of deBruijn Networks
1997-01-21
Jorg Bultermann
The Restricted and Bounded Fixpoint Closures of the Nested Algebra are Equivalent
1998-04-22
A Perceptually-Tuned Block-Transform-Based Progressive Transmission Image Coder
1998-02-10
Systematic Hypermedia Application Design with OOHDM
1995-12-18
An Architecture for Transforming Graphical Interfaces
1996-01-19
User Control and Dynamic Reorganization of Multimedia Presentations During Playout
1997-05-20
Approximate Bias Correction in Econometrics
1997-05-28
Specific Features of a Deductive Object-Oriented Database Language
1997-04-18
Evolutionary Learning of the Crossover Operator
1998-01-18
Spectral Duality for Planar Billiards
1997-04-26
J. -p. Eckmann
A Clarification Concerning the #L Hierarchy
1997-10-30
Eric Allender
A Behavioural Conditioning Approach to Autonomous Flight Control Design
1998-07-15
Agent-based Integration of General Purpose Tools
1995-11-16
Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic
1999-03-05
Jeff Polakow
Link Level Resource Management Protocol LLRMP
1996-12-23
Tree-Based Code Optimization
1995-03-03
Carl D. Mcconnell
Scalable Flow Control for Multicast ABR Services in ATM Networks
1998-02-18
Modeling by Construction: A New Methodology for Constructing Models for Decision Support
1997-11-10
Stefan Dresbach
Adaptive Error Bracketing for Controlled-Precision Volume Rendering
1995-12-29
Incorporating Lr Parsing Into Sphinx
1998-08-10
Performance Of A Multistage Multiuser Detector For A Frequency Hopping Multiple-Access System
1997-08-20
Routing in Multi-hop Packet Switching Networks: Gbps Challenge
1994-12-23
Elastic Production and Decay of Rho Mesons at HERMES
1998-05-20
The Full Domain Partition Approach to Distributing Adaptive Grids
1996-09-12
William F. Mitchell
Nimrod: A Tool for Performing Parametised Simulations using Distributed Workstations
1995-06-13
Performance Bounds For Fractal Coding
1995-10-30
Bernd Hurtgen
Power efficient MAC protocol for multihop radio networks
1998-07-16
Approximating Optimal Policies for Partially Observable Stochastic Domains
1995-07-18
MADE:A Multimedia Application Development Environment
1996-11-19
WebWatcher: Machine Learning and Hypertext
1995-07-10
ParaPART: Parallel Mesh Partitioning Tool for Distributed Systems
1999-01-15
Buffering of Intermediate Results in Dataflow Diagrams
1995-10-18
ENVIRONMENTS F. Menczer and R. K. Belew
1996-08-13
Non-Perturbative Scales In Soft Hadronic Collisions At High Energy
1998-05-15
U. Grandel
On the Integration of Concurrency, Distribution and Persistence
1997-03-22
A Path-Finding Algorithm for Loop-Free Routing
1996-12-16
The Common Object Request Broker: Architecture and Specification
1997-07-24
A Novel Replication Technique For Detecting and Masking Failures For Parallel Software: Active Parallel Replication
1998-04-10
A Visual Execution Model for Ada Tasking
1997-08-25
Laura K. Dillon
Embedded Software in Real-Time Signal Processing Systems: Design Technologies
1998-01-06
Massively Parallel Chess
1999-02-12
On Coherence in Computer Algebra
1995-07-31
Andreas Weber
Graphical And Formal Knowledge Specification With KARL
1995-02-08
Dieter Fensel
Transferring and Retraining Learned Information Filters
1999-01-14
Virtual Network Transport Protocols for Myrinet
1997-09-09
Static Typing for Object-Oriented Programming
1997-07-21
Looking for an Analogue of Rice's Theorem in Complexity Theory
1996-11-19
A Survey of CSCW Systems
1994-02-01
Tom Rodden
Mass Spectral Search method using the Neural Network approach
1998-12-10
Compiler Techniques for Concurrent Multithreading with Hardware Speculation Support
1998-07-10
Near-Critical Path Analysis Of Parallel Program Performance: The Statistical Perspective
1995-08-09
Architectural Patterns for Parallel Programming
1998-06-25
Boolean Functions Fitness Spaces
1998-06-15
Heap Profiling of a Lazy Functional Compiler
1970-01-01
Grouping and Structure Recovery for Images of Objects with Finite Rotational Symmetry
1998-02-13
TCP traffic is multifractal: a numerical study.
1997-10-27
Rudolf H. Riedi
A Concept Map Based Approach to the Shared Workspace
1993-10-05
Steiner trees and Polyhedra
1997-11-28
Closing the Window of Vulnerability in Multiphase Memory Transactions: The Alewife Transaction Store
1993-07-08
John David Kubiatowicz
Statistical Approaches to Feature-Based Object Recognition
1996-08-02
William M. Wells Iii
A Video Signal Processor Core for Motion Estimation in MPEG2 Encoding
1997-02-14
Oracles and Queries that are Sufficient for Exact Learning
1995-03-20
Stability of Control for the Preisach Hysteresis Model
1998-02-24
Device-Directed Rendering
1996-01-12
An Overview of Practical Applications of Information Filtering
1997-01-18
Alan F. Smeaton Humphrey Sorensen
Synthesis of Wiring Signature-Invariant Equivalence Class Circuit Mutantsand Applications to Benchmarking
1997-12-10
J. Masdemont
1997-04-26
J. Masdemont
Recognition Of Conversational Telephone Speech Using The Janus Speech Engine
1997-01-17
An Explanation-Based Approach to Improve Retrieval in Case-Based Planning
1995-09-02
A Planning Algorithm not based on Directional Search
1998-03-16
A Tetris Controller -- An Example of a Discrete Event Dynamic System
1993-10-14
R. Germundsson
Set-Based Analysis for Full Scheme and Its Use in Soft-Typing
1996-11-21
File System Performance and Transaction Support copyright
1994-05-21
Margo Ilene Seltzer
Asynchronous Transfer of Video
1998-06-28
Gunnar Karlsson
The Boomerang White Paper: a Page As You Like It
1995-10-11
A View on Implementing Processes: Categories of Circuits
1997-01-17
Ulrich Hensel
Comparison of Steady State and Generational Genetic Algorithms for Use in Nonstationary Environments
1996-05-03
Parallel Algorithms for using Non-stationary MRA in Image Compression
1996-09-04
Andreas Uhl
Application Modelling in Heterogeneous Environments using an Object Specification Language
1995-04-26
ZLIB Compressed Data Format Specification version 3.3
1996-06-14
Functional Dependencies and Moore-Set Completions of Abstract . . .
1996-12-21
The Temporal Structure of Narratives: A Semantic Approach
1995-08-15
Fusion for Free!
1970-01-01
Leonidas Fegaras
The Royal Holloway TTP-based key escrow scheme
1996-06-10
Chris J. Mitchell
Cryptography and the Internet
1998-08-24
Steven M. Bellovin
Stability Study Of Off Center Beam In The Superconducting Cavity For Cesr Iv
1998-04-24
Encoding HTN Planning in Propositional Logic
1998-06-13
Chrysalis: User Agents in the Construction of Floristic Digital Libraries
1997-09-29
Estimation Of Material Parameters For Grid Structures
1998-12-19
A Positive Acknowledgement Protocol for Causal Broadcasting
1970-01-01
Roberto Baldoni
The PARADE Environment for Visualizing Parallel Program Executions: A Progress Report
1995-01-29
John T. Stasko
The Effects of Training Set Size on Decision Tree Complexity
1997-07-01
On Phase-Transitions in Spatial Branching Systems With Interaction
1998-12-07
A. Greven
On Area/Depth Trade-off in LUT-Based FPGA Technology Mapping
1997-01-13
Tailoring an Object-Oriented Database System to Integrate External Multimedia Devices
1993-12-10
Wolfgang Klas
Scintillator Detector mu-wall" for measurement of charged particles leakage from the TILECAL prototype
1999-03-23
Removal Of Noise From Speech Using The Dual Ekf Algorithm
1997-11-14
Fast Implementations of RSA Cryptography
1998-12-21
Constraint Inductive Logic Programming and Its Application to Knowledge Discovery in Databases
1997-05-16
A Neural Field Approach to Robot Motion Control
1998-07-14
High Energy Neutrinos from Blazars
1996-07-31
R. J. Protheroe
Structural Similarity and Adaptation
1996-11-06
Operators With Singular Continuous Spectrum, V. Sparse Potentials
1997-04-26
B. Simon
Multigrid Techniques for 3-D Definite and Indefinite Problems with Discontinuous Coefficients
1995-10-18
Yair Shapira
Principles of a Computer Immune System
1998-02-13
Clustering and Information Sharing in an Ecology of Cooperating Agents or How to Gossip without Spilling the Beans
1997-07-21
Leonard N Foner
Modeling On-line Rebalancing with Priorities and Executing on Parallel Database Systems
1996-08-27
Daniel C. Zilio
Reconciling Active and Deductive Databases by States
1996-03-11
Solving Large Systems of Differential Equations in Parallel Using Covers and Skeletons
1997-04-09
Determining Lower and Upper Bounds on Probabilities of Atomic Propositions in Sets of Logical Formulas Represented By Digraphs.
1995-08-17
Speculative Versioning Cache
1998-07-14
Ntyft/ntyxt Rules Reduce to Ntree Rules
1997-04-10
Adaptive Wavelet Densities For Monte Carlo Ray Tracing
1999-01-27
Published in Proc. of ASPLOS-VI, October 1994 1
1995-04-07
A Harness Language for Cooperative Information Systems
1998-07-20
Internet-based Desktops in Tcl/Tk: Collaborative and Recordable
1998-06-22
Data Dependence Analysis for an Untrusted Transaction Manager
1994-03-04
Myong H. Kang
A Polynomial-time Algorithm for Learning Noisy Linear Threshold Functions
1998-03-24
Gravitational lens studies with a LMT
1998-03-10
J. Surdej
Java based Distributed Genetic Programming on the Internet Fuey Sian CHONG
1999-04-06
Fuey Sian Chong
D-Tree Grammars
1995-05-02
Processing Joins with User-Defined Functions
1998-02-23
From Semantic/Pragmatic Borrowing to Syntactic Change
1998-03-17
Ellen F. Prince
Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus
1999-02-19
A Brief Survey of Music Representation Issues,
1998-10-13
Roger B. Dannenberg
Applications Of Geometric Measure Theory To The Study Of Gauss-Weierstrass And Poisson Integrals
1995-03-30
A Web Agent for the Maintenance of a Database of Academic Contacts
1999-01-28
Efficient Detection of Restricted Classes of Global Predicates
1996-01-21
ROSAT and Hipparcos Observations of Isolated Pre--Main-Sequence Stars near HD 98800
1998-06-10
Cost Efficient Adaptive Protocol with Buffering for Advanced Mobile Database Applications
1995-04-08
Multiple Threshold Neural Logic
1996-09-09
On some Relations between Dynamical Systems and Transition Systems
1995-07-12
Eugene Asarin
The Excess Phase in Loudspeaker/Room Transfer Functions: Can it be ignored in Equalization Tasks?
1996-10-23
A two-dimensional Hierarchy for Attributed Tree Transducers
1999-01-20
Armin Kuhnemann
Lockup of a Client Object Cache and How to Avoid It
1994-07-28
Mark Day
Learning agents for uncertain environments Extended Abstract
1998-05-18
Stuart Russell
Generating Arachnid Robot Gaits with Cyclic Genetic Algorithms
1998-04-22
Gary B. Parker
Lagrangian Stability and Global Optimality in Nonconvex Quadratic Minimization Over Euclidean Balls and Spheres
1995-10-27
Using Visualisation as a Tool for Model-Based Recognition
1995-11-03
Geometric Applications of a Randomized Optimization Technique
1998-03-31
Timothy M. Chan
Error Expansions for Multidimensional Trapezoidal Rules with Sidi Transformations
1998-03-27
Matrix Transpose on Meshes: Theory and Practice
1997-05-25
Visual Tracking of Moving Objects using a Neural Network Controller
1996-09-11
Theory Refinement Through Knowledge-Based Feature Set Selection
1999-02-28
Self-Normalized Large Deviations In Vector Spaces
1997-09-02
Amir Dembo
Distributed Virtual Malls on the World Wide Web
1998-06-26
Multiparameter Pseudodifferential Operators And Related Spectral Asymptotics
1997-05-14
Brenner Alexander
Xfvhdl: A Tool For The Synthesis Of Fuzzy Logic Controllers
1998-04-16
Grammatical Trigrams: A New Approach To Statistical Language Modeling
1997-08-11
Locally Random Reductions in Interactive Complexity Theory
1997-02-15
Joan Feigenbaum
Exploiting Temporal Binding to Learn Relational Rules Within a Connectionist Network
1998-02-23
Lokendra Shastri
Sort Inference in the ACTRESS Compiler Generator
1995-09-19
Start-Up Behaviour Of A Neural Network Assisted Decision Feedback Equaliser In A Two-Path Channel
1996-08-06
Exploiting the Non-Determinism and Asynchrony of Set Iterators to Reduce Aggregate File I/O Latency
1998-04-01
David C. Steere
Explanation Based Learning: A Comparison of Symbolic and Neural Network Approaches
1994-04-19
An Ordinal Representation System for ...-Comprehension and Related Systems
1998-11-20
Michael Rathjen
Département de Mathématiques et Informatique
1995-05-22
Optimal Pattern Matching on Meshes
1998-05-12
Domains of Disoriented Chiral Condensate
1997-04-18
Eliminating Array Bound Checking Through Dependent Types
1999-03-23
On the Efficient Maintenance of Temporal Integrity in Knowledge Bases
1996-06-01
Dimitrios Plexousakis
Local Stochastic Learning Rule For Image Vector Quantization
1998-07-22
Object-Oriented Modeling forSimulation and Development of Large-Scale Systems
1996-11-18
Perceptual Distortion Contributes to the Curvature of Human Reaching Movements.
1998-08-13
Multiple-View Self-Maintenance in Data Warehousing Environments
1997-05-31
Nam Huyn
Integrated Scheduling of Buses and Drivers
1997-06-18
Fast Address Lookups using Controlled Prefix Expansion
1998-11-17
PUMA: An Operating System for Massively Parallel Systems
1994-03-31
Fir Compaction Filters: New Design Methods And Properties
1998-01-22
Systematicity and Specialization in Semantics: A Computational Account of Optic Aphasia
1997-01-02
Unknown
1996-04-22
Gravity, Geometry and Physics
1970-01-01
J. W. Van Holten
A Model for Multimedia Information Retrieval
1996-10-28
Borrow, Copy or Steal? Loans and Larceny in the Orthodox Canonical Form
1998-04-14
Anthony J H Simons
Monotone Optimal Policies for a Transient Queueing Staffing Problem
1997-05-29
Quality-Based Evaluation of Multimedia Synchronization Protocols for Distributed Multimedia Information Systems
1996-08-31
Refining First-Class Stores
1993-11-12
J. Gregory Morrisett
On The Selberg Class Of Dirichlet Series: Small Degrees
1995-09-07
Support for Collaborative Object-Oriented Development
1996-05-15
Higher Order vs. Second Order Statistics in Ultrasound Image Deconvolution
1970-01-01
A Collection of Tools in Support of Automatic Differentiation
1994-04-22
Andrew Mauer
Dynamics of a Recurrent Network of Spiking Neurons Before and Following Learning
1998-09-15
The Algebra of Finite State Processes
1995-08-21
Peter Michael Sewell
On Proving Termination by Innermost Termination
1998-04-02
Bernhard Gramlich
BSPlib: The BSP Programming Library
1998-04-20
QCD sum rules with finite masses
1998-05-15
See Me, Hear Me: Integrating Automatic Speech Recognition And Lip-Reading
1995-08-22
SIMBAD for Librarians
1997-03-06
Robyn Shobbrook
Design and Implementation of a 1.2 Gbit/s ATM Cell Buffer using a Synchronous DRAM chip
1998-07-13
George N. Glykopoulos
Rapid Recovery of Very Large Memory Resident DataObjects
1996-12-20
Quadrature Prefiltering for High Quality Antialiasing
1996-11-20
Covering the Plane with Congruent Copies of a Convex Disk
1970-01-01
Edwin H. Smith
I/O Optimal Isosurface Extraction
1998-09-22
Claudio T. Silva
A Framework for Visual Parallel Programming
1998-06-09
Design of the SDRR Pipeline
1970-01-01
Virtual Realms: An Efficient Implementation Strategy for Finite Resolution Spatial Data Types
1996-01-12
LiquiMedia --- A dynamically extensible cyclic executive
1996-11-26
A Practical Bayesian Framework for Backprop Networks
1996-05-06
David J. C. Mackay
Unexpectedly Linear Behavior for the Cahn-Hilliard Equation
1999-02-24
Determining Whether Two Data Sets Are From The Same Distribution
1995-10-11
David H. Wolpert
Stimuli and Business Policies as Modelling Constructs: Their Definition and Validation Through the Event Calculus
1997-02-19
Norman W. Patony
Learnability in Optimality Theory short version
1970-01-01
Multi-agents system specification using CO-OPN
1996-02-12
Plan 9, A Distributed System
1991-07-16
Weight Decay Induced Phase Transitions in Multilayer Neural Networks
1999-02-11
Giampaolo Cicogna
1997-04-26
Giampaolo Cicogna
DIVeR : A Dynamic Interactive Video Retrieval protocol for disk-array based servers
1997-04-21
Carrot-hole Data Scheduling and Adaptive Partitioning for Memory Traffic Minimization
1996-04-22
Proverb: The Probabilistic Cruciverbalist
1999-04-06
PDA Web Browsers: Implementation Issues
1997-06-06
A Semi-Lagrangian Approach To The Shallow Water Equations
1995-06-13
Networks of Language Processors: a language theoretic approach to filtering and cooperation
1998-06-04
Caching and Scheduling for Broadcast Disk Systems
1998-12-02
Vincenzo Liberatore
A Simple Active Attack Against TCP
1995-10-19
Laurent Joncheray
Consistency of Minimizers and the SLLN forStochastic Programs
1995-10-26
Zvi Artstein
Parallel MPEG-2 Encoder on ATM and Ethernet-connected Workstations
1999-01-13
Comments on "Reducing Computation in HMM Evaluation"
1970-01-01
A Microscopic Model for the Burgers Equation and Longest Increasing Subsequences
1997-04-26
Acoustic-Labial Speaker Verification
1997-06-23
A Note On Metric Inhomogeneous Diophantine Approximation
1996-06-12
M. M. Dodson
A Comparative Study of Bidirectional Ring and Crossbar Interconnection Networks
1998-05-21
Designing Efficient Master-Slave Parallel Genetic Algorithms
1997-05-21
An Efficient Procedure for Maximizing the Coding Gain for PR Filter Banks
1997-09-29
An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams
1996-07-22
Polymorphism in Hindley/Milner Style Type Systems with Constraints
1998-09-07
Martin Sulzmann
Network Resource and Applications Management at SLAC
1996-02-20
Error Estimates For Approximation By Radial Basis Functions
1997-08-01
Vera Stebletsova
1997-06-04
Asynchronous Dynamic Load Balancing of Tiles
1999-01-30
Enhancing Design-for-Test for Active Analog Filters by Using CLPR
1997-11-12
This work was sponsored by NSF under grants IRI-9400773 and IRI-9411334.
1997-11-29
The SCIRun Inverse EEG Pipeline --- A Modeling and Simulation System for Cortical Mapping and Source Localization
1998-03-03
Mars Pathfinder Microrover A Small, Low-Cost, Low-Power Spacecraft
1997-02-21
Henry W. Stone
Multiuser Timing Acquisition Over Multipath Fading Channels
1998-06-16
Components for Video Processing Applications
1998-08-05
Nuno Correia
Trace-driven Analysis of Migration-based Gang Scheduling Policies for Parallel Computers
1997-06-23
Sanjeev K. Setia
Discontinuity in Evolution: How Different Levels of Organization Imply Pre-Adaptation
1999-01-08
Structured Backward Error and Condition Number for Linear Systems of the Type A*Ax = b
1999-02-23
LEDA - A Platform for Combinatorial and Geometric Computing
1994-08-05
Multigrid Algorithms For Nonconforming And Mixed Methods For Symmetric And Nonsymmetric Problems
1995-07-12
Defining Families: The Commonality Analysis
1998-02-19
David M. Weiss
Multigrid Algorithm with Conditional Coarsening for the Non-Aligned Sonic Flow
1997-03-17
Boris Diskin
Learning with Ensembles: How over-fitting can be useful
1997-12-11
System Analysis via Integral Quadratic Constraints - Part II
1997-12-09
Rohini K. Srihari and Charlotte M. Baltus
1995-02-25
An Object-Oriented Framework for mapping labels
1997-04-21
Exploiting Causal Independence in Bayesian Network Inference
1996-12-11
Specification
1994-11-14
Michel Coriat
How to Get a Perfectly Random Sample from a Generic Markov Chain and Generate a Random Spanning Tree of a Directed Graph
1998-04-09
David Bruce Wilson
The Weakest Precondition Calculus: Recursion and Duality
1995-11-24
High-Speed Navigation Using the Global Dynamic Window Approach
1999-01-27
Model Acquisition And Matching In Tagged Object Recognition tor
1998-06-15
Proof of a Determinant Evaluation Conjectured by Bombieri, Hunt and van der Poorten
1997-11-16
Maximum Information Transfer in Feedforward Neural Networks
1998-07-31
Embedded singular continuous spectrum for one-dimensional Schrödinger operators
1997-05-24
Christian Remling
New Results In The Packing Of Equal Circles In A Square
1999-03-08
Complementarity Constraint Quali cations and Simpli ed B-Stationarity Conditions for Mathematical Programs with Equilibrium Constraints
1998-02-26
Jong-shi Pang
Modelling Interaction in Agent Systems
1995-02-05
On the Spectrum of Odd Order Self Adjoint Ordinary Differential Operators on the Real Line With Quasi-Periodic Coefficients
1997-04-26
Homogenization of an Equation Describing Linear Thin Plates Excited By Piezopatches
1997-10-17
Nikolai D. Botkin
Sequential Optimality and Coordination in Multiagent Systems
1999-04-06
Craig Boutilier
Compile-time Detection of Uncaught Exceptions in Standard ML Programs
1995-02-03
Kwangkeun Yi
Vector Autoregressive Modelling Of Fire Signals
1996-04-24
Concurrent Error-Detection Circuit Evaluation.
1995-09-19
A. E. Sogomonian
Andrew B. Kahng And C.-W. Albert Tsao
1997-10-21
Learning with Synaptic Nonlinearities in a Coupled Oscillator Model of Olfactory Cortex
1990-11-09
Bill Baird
Digging for Peace: Using Machine Learning Methods for Assessing International Conflict Databases
1996-04-18
A Note on the Stability of the Many-Queue Head-of-the-Line Processor-Sharing System with Permanent Customers
1970-01-01
Alcohol Expectancies At Admission And Discharge And Changes In Expectancies RELATE TO POST-TREATMENT ABSTINENCE SURVIVORSHIP
1996-03-04
Detection of Curved Road Edges in Radar Images Via Deformable Templates
1997-10-15
Dynamic Interleaved Slotted ALOHA: A Multiple Access Protocol for Wavelength Division Multiplexed Photonic Networks
1995-03-17
A Distributed Protocol for Multi-Class QoS Provision in Noncooperative Many-Switch Systems
1998-08-07
Study Of The
1998-09-22
T. -s. H. Lee
A Superstring Theory in
1998-05-23
Message-Passing Interface for Microsoft Windows 3.1
1996-01-28
Microsoft Windows
Federal Criteria for Information Technology Security - Volume II: Registry of Protection Profiles
1993-02-16
A Discrete Approach To Constructive Neural Network Learning
1995-10-07
Justin Fletcher
System Support for Scalable and Fault Tolerant Internet Services
1998-06-08
The Hilbert Basis of the Cut Cone over the Complete Graph on Six Vertices
1998-08-18
Semantics-based Information Brokering
1995-11-20
On the Difficulty of Range Searching
1999-01-28
Regularization Methods for Nonlinear Least Squares Problems. Part II: Almost Rank-Deficiency
1999-02-26
On some modifications of the Lanczos algorithm and the relation with Pad'e approximations
1995-05-11
Approximation Of The Hersch-Pfluger Distortion Function
1995-01-21
Java-Based Query Driven Simulation Environment
1998-01-29
Spheres, Molecules, and Hidden Surface Removal
1997-09-18
Talking about Trees and Truth-conditions
1999-02-02
Mach Threads and the Unix Kernel: The Battle for Control
1993-11-24
Layout Language: Preliminary experiments in assigning logical structure to table cells
1997-02-07
Systematicity and Specialization in Semantics: A Computational Account of Optic Aphasia
1997-01-02
A Terminological Approach to Resource Discovery Mechanisms
1998-09-22
Weak Information Structure for Human Information Sharing
1997-05-01
Neo-Classical Minimax Problems, Thresholding, and Adaptation
1995-02-16
Colour Coherence in Photon Induced Reactions
1996-09-04
A Set of Protocolsfor Micropayments in Distributed Systems Extended Abstract
1996-07-15
Lei Tang
Approximation of Relations
1995-03-14
The Technical Data Server For The Control Of 100 000 Points Of The Technical Infrastructure At Cern
1996-03-29
Reasoning About Code Mobility with Mobile UNITY
1998-03-13
Antiproton-Proton Annihilation At Rest Into
1997-11-02
A Method of Learning Implication Networks from Empirical Data: Algorithm and Monte-Carlo Simulation Based Validation
1997-11-22
Recognizing Emotion In Speech
1997-02-06
O-Plan Tasking Specification
1997-10-07
Edwin Henry Spanier 1921-1996
1998-06-04
Circuits And Multi-Party Protocols
1996-03-23
Vince Grolmusz
Constraint Programming and Database Query Languages
1994-08-26
Beamspace Low Complexity Partially Adaptive Beamforming And Angle Of Arrival Estimation
1998-05-06
Performance Evaluation of Multilevel-Assignment Hierarchical Round-Robin Bandwidth Scheduling for ATM
1997-02-10
Variable Shunting for the WAM
1994-12-28
Complexity--Based Induction
1995-04-26
Continuous Formal Systems: A Unifying Model in Language and Cognition
1995-07-03
Bruce J. Maclennan
PANDA - Petri Net Analysis and Design Assistant
1997-11-04
Discrete Time Process Algebra with Relative Timing
1999-01-28
Unknown
1995-10-23
Multi-Application Support in a Parallel Program Performance Tool
1993-04-26
Complexity of Answering Queries Using Materialized Views
1998-03-06
An Enhanced Distributed Call Admission Control for Wireless Systems
1998-10-23
Optimal Mutation Rates in Genetic Search
1994-09-06
Thomas Back
Error Protection for Progressive Image Transmission over Memoryless and Fading Channels
1998-06-23
Issues in Extensible Operating Systems
1996-05-14
Image Representation Based On The Affine Symmetry Group
1997-02-03
A. D. Calway
Exponential Mixing For Classical Continuous Systems
1999-04-21
A Formal Semantics of Data Flow Diagrams
1998-11-26
Financial Modeling in a Fast Mean-Reverting Stochastic Volatility Environment
1998-12-02
How to Execute ULTRA Transactions Extended Abstract
1998-11-02
A Test System For The Hera-B Online Trigger And Reconstruction Farm
1999-02-11
Feature Subset Selection Using A Genetic Algorithm
1998-04-29
Towards the Control over Electroweak Penguins in Nonleptonic
1998-05-14
Adaptive Sampling and Mesh Generation
1999-03-23
S. Z. Li
Scaling Laws for Linear Controllers of Flexible Link Manipulators Characterized by Nondimensional Groups
1997-02-09
Physically Based Initialization of Modes When Simulating Hybrid Systems.
1998-08-20
Krister Edstrom
System Modeling using Composition Networks
1998-09-29
Partial Shape Matching Using Genetic Algorithms
1997-08-20
Penalized Pseudolikelihood Inference in Spatial Interaction Models with Covariates
1999-01-07
Lunchbot: A Tale of Two Ways to Program Web Services
1999-03-29
The Generalized Baues Problem For Cyclic Polytopes I
1999-01-29
Francisco Santos
Panel discussion notes:knowledge maintenance - The role of Formal Ontologies
1999-05-07
Yannis Kalfoglou
Accelerating Partial-Order Planners: Some Techniques for Effective Search Control and Pruning
1996-09-30
Belief Revision: A Critique
1996-09-02
A Trace Cache Microarchitecture and Evaluation
1999-02-23
Optimal Phase Kernels For Time-Frequency Analysis
1998-04-09
An Implementation of Hybrid - A Concurrent, Object-Oriented Language
1995-04-27
Implementing Message Sequence Charts in Promela - Preliminary Extended Abstract -
1995-10-22
The Correlational Structure of Natural Images and the Calibration of Spatial Representations
1996-05-08
Removal Of Noise From Speech Using The Dual Ekf Algorithm
1997-11-14
On the Model of Computation of Place/Transition Petri Nets
1995-06-29
Abstracting Object Interactions Using Composition Filters
1994-01-14
Programming with Intersection Types and Bounded Polymorphism
1996-08-18
Benjamin C. Pierce
Performance Modeling of Parallel Systems: An Introduction
1996-03-18
Complexity Issues in Markov Decision Processes
1998-04-20
Methods for Approximating Integrals in Statistics with Special Emphasis on Bayesian Integration Problems
1996-02-14
Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages
1999-01-26
Component-Based Design of Large Distributed Real-Time Systems
1998-02-09
H. Kopetz
Combining Multiple Motion Estimates for Vehicle Tracking
1996-01-30
Scheme: The Next Generation
1995-05-24
John D. Ramsdell
Adaptive Mesh Refinement using Wave-Propagation Algorithms for Hyperbolic Systems
1997-11-29
On the Rate-Distortion Function of Random Vectors and Stationary Sources with Mixed Distributions
1998-06-05
Kenneth Zeger
An Exercise in Concurrent Object-Oriented Programming: the Oz Browser
1995-11-16
Konstantin Popov
Unknown
1997-07-22
Jeff Dominitz
On The Rapid Computation Of Various Polylogarithmic Constants
1996-02-16
Unknown
1998-05-13
Sums of Adjoint Orbits
1995-05-04
WordNet-Based Inference of Textual Cohesion and Coherence
1998-03-11
Sanda M. Harabagiu
Reuse Linux Device Drivers in Embedded Systems
1998-10-17
A Loewner-Type Lemma For Weighted Biharmonic Operators
1997-06-14
Miroslav Engli S
Leptoquark/Squark Interpretation of HERA Events: VirtualEffects in
1998-05-24
A Constructive Logic of Multiple Subtyping
1997-05-08
Harry G. Mairson
Probabilistic Quorum Systems
1997-05-20
Construction and Evaluation of an Incremental Iterative Version of a Parallel Multigrid CFD Code via Automatic Differentiation for Shape Optimization
1998-02-07
Experiments with Digital Video Playback
1997-09-08
Avoiding Failure via Pre-planned Responses and Time-Bounded Planning
1997-07-29
Ron Kohavi
1997-08-21
A Case-Based Approach to Reactive Control for Autonomous Robots
1993-02-11
Robustness Analysis for Systems with Ellipsoidal Uncertainty
1997-11-14
Mnev's Universality Theorem Revisited
1995-05-15
Jurgen Richter-gebert
A Model for 3D Interaction with Hierarchical Information Spaces
1995-04-18
Subverting the Comparative Research Paradigm:
1996-03-25
Christopher Hundhausen
Integration and Differential Equations in Computer Algebra
1999-02-18
Manuel Bronstein
Matched Subspace Detectors for Distinguishing between Two Signals with Extensions to Blind Maximum Likelihood Sequence Estimation
1995-03-27
Parallel Programming in PANDA
1998-06-24
Reasoning with Assertions and Examples
1998-05-07
The Formal Model of a Pattern Browsing Technique
1996-09-16
BDI Agents: From Theory to Practice
1997-09-25
Teoretisk Astrofysik Center, Danmarks Grundforskningsfond
1998-07-07
State of the Art in Compiling HPF
1996-06-06
A Dynamic Individualized Location Management Algorithm
1997-08-14
John Scourias
Issues in Reliable Network Memory Paging
1995-11-16
Evangelos P. Markatos
Provably Correct Communication Networks CoCoN
1996-06-03
Toward Selecting and Recognizing Natural Landmarks
1995-07-24
Efficient Implementation of Sequential Loops in Dataflow Computation
1970-01-01
Boon Seong Ang
A Note on the Risch Differential Equation
1997-05-20
Erich Kaltofen
The Retrieval Phase Of The Hopfield Model: A Rigorous Analysis Of The Overlap Distribution
1997-04-26
Anton Bovier
Using a Language of Functions and Relations for VLSI Specification
1999-02-07
Formalising Behavioural Compatibility for Reactive Object-Oriented Systems
1998-12-18
Random Constraint Satisfaction: theory meets practice
1998-08-05
CLAM: Connection-less, Lightweight, and Multiway Communication Support for Distributed Computing
1996-12-06
Forward and Backward Simulations - Part II: Timing-Based Systems
1995-08-01
Optimising the Widths of Radial BasisFunctions
1998-09-07
Mark Orr
Intractability of Assembly Sequencing: Unit Disks in the Plane
1999-02-05
NASA Langley's Research and Technology-Transfer Program in Formal Methods
1998-08-31
Function Materialization in Object Bases
1997-05-30
Implementation of a Portable Nested Data-Parallel Language
1997-02-04
An Application Framework for Module Composition Tools
1995-12-09
Multiple Koszul structures on lines and instanton bundles
1997-12-01
Gunther Trautmann
Polyhedral Approximation of Convex Sets With an Application to Large Deviation Probability Theory
1995-10-27
System Compositions and Shared Dependencies
1998-09-09
Dewayne E. Perry
Preemptive Priority Based Scheduling: An Appropriate Engineering Approach+
1993-11-11
Alan Burns
Mathematical Modelling of Microelectronics Semiconductor Devices
1998-10-05
P. Degond
Metaqueries for Data Mining
1996-06-07
Synthesizing Flames and their Spreading
1994-12-28
ISDL: An Instruction Set Description Language for Retargetability
1998-06-27
Domain Concept to Feature Mapping for a Plant Variety Image Database
1998-01-20
The Difference Between a Graph and Its Square
1996-09-27
Surfaces Intersection for Solids Algebra: A Classification Algorithm
1996-10-22
German Partial-VP Fronting Revisited - Back to Basics
1970-01-01
Walt Detmar Meurers
Prediction of Nuclear Reaction Rates for Astrophysics
1998-05-14
Thomas Rauscher
Getting It Across: Layout Issues for Kiosk Systems
1997-06-06
LAPACK Working Note 93 Installation Guide for ScaLAPACK
1997-05-14
Jump-Keeping and Upwind Transfer in MultiGrid for Upwind Schemes
1996-07-30
Symbolic Program Analysis and Optimization for Parallelizing Compilers
1970-01-01
MRC - A System for Computing Gröbner Bases in Monoid and Group Rings
1999-03-03
Birgit Reinert
Using Unicode with MIME
1994-11-16
Electronic Polarization in the Ultrasoft Pseudopotential Formalism
1998-01-17
David Vanderbilt
Description of the 3D LOTOS Model. Part I: Dynamics
1997-02-20
Design and Implementation of 81/2, a Declarative Data-Parallel Language
1996-07-17
Olivier Michel
Using Generative Models for Handwritten Digit Recognition
1996-06-20
Distributed Counting at Maximum Speed
1997-11-17
Practical Issues in Graphical Constraints
1998-12-15
Michael Gleicher
Galactic chemical evolution of primary elements in the solar neighbourhood II: Elements affected by the s-process
1997-12-11
A First-Order Theory of Types and Polymorphism in Logic Programming
1995-08-09
Numerical Solution of Elliptic Problems by the Wavelet Element Method
1998-02-17
An Adaptive Stream Synchronization Protocol
1996-03-26
Smart Cards in Hostile Environments
1998-10-06
Your Brains and My Beauty: Parent Matching for Constrained Optimisation
1998-01-22
Experiences With Real-Time Software Video Compression
1994-07-23
Ron Frederick
Optimisation of Density Estimation Models with Evolutionary Algorithms
1998-06-11
Star-free Picture Expressions are Strictly Weaker than First-Order Logic
1998-10-16
Thomas Wilke
New Equations of Motion for Nonholonomic, Constrained Dynamical System via Gauss's Principle: A Simple Equivalence
1994-09-10
Predicting Lifetimes in Dynamically Allocated Memory
1997-01-27
Optimizing Static Calendar Queues
1998-03-20
Models for Concurrent Constraint Programming
1997-04-09
Multiscale Concept for Conservation Laws
1996-07-15
An Efficient Optimal Reconfiguration Algorithm for FBRNs
1996-02-09
Sanjay D. Kamat
On multi-directional search in Optimization
1997-06-05
Genetic Programming Bloat with Dynamic Fitness
1997-12-08
Accelerating Learning from Experience: Avoiding Defects Faster
1999-04-28
Asynchronous Design Methodologies: An Overview
1995-12-21
Scott Hauck
Minimax-Invariant Regret Solution to the N-Sample Slippage Problem
1995-06-26
Alexander Tartakovsky
Using an Object-Oriented Petri Net Tool for Heterogeneous Systems Design: A Case Study
1998-11-11
Trading Correctness for Privacy in Unconditional Multi-Party Computation Extended Abstract
1998-06-10
Dynamic Alternation Between Load Sharing Algorithms
1998-03-02
Anders Svensson
Tight Polynomial Bounds for Steady-State Performance of Marked Graphs
1996-08-23
A Beamformer ASIC using Cordic Arithmetic
1997-12-22
Prototype and Feature Selection by Sampling and Random Mutation Hill Climbing Algorithms
1995-08-05
David B. Skalak
Models of Parallel Computation: A Survey and Synthesis
1996-02-07
Array Index Allocation under Register Constraints in DSP Programs
1998-10-05
How to share a data structure: A fast timing-based solution
1997-06-17
A Tool for Building Connectionist-like Networks Based on Term Unification
1998-07-14
Zdravko Markov
Group Priority Scheduling
1996-10-14
Prediction-Driven Computational Auditory Scene Analysis
1999-03-01
Whiskered tori with prefixed frequencies and Lyapunov spectrum
1997-04-26
Algorithms for Arbitrary Precision Floating Point Arithmetic
1998-05-14
Douglas M. Priest
Automated Analysis of Cryptographic Protocols Using
1997-03-01
Automatically Generating Extraction Patterns from Untagged Text
1998-04-14
Ellen Riloff
Shear Buckling Analysis of a Hat-Stiffened Panel
1997-02-05
Efficient Theorem Provers based on an Abstract Machine
1996-05-30
Sergey Brin
1997-02-14
Comparing Bayesian Model Class Selection Criteria by Discrete Finite Mixtures
1996-08-29
Experience with Secure Multi-Processing in Java
1998-03-10
New tools for interactive speech and language training: Using animated conversational agents in the classrooms of profoundly deaf children.
1999-04-08
Visual Acts for Remote Viewing During Teleoperation
1997-04-30
Universality Of The Local Eigenvalue Statistics For A Class Of Unitary Invariant Random Matrix Ensembles
1997-02-10
A Case for Two-Level Distributed Recovery Schemes
1995-02-13
Nitin H. Vaidya
The Implementation of the Primal-Dual Interior-Point Method for the Semidefinite Programs and its Engineering Applications
1998-10-17
Katsuki Fujisawa
Metropolis Based Posterior Integration Schemes
1994-01-27
Peter Muller
Large Margin Classification Using thePerceptron Algorithm
1998-12-14
A Fuzzy-Neural Network Based on the Backpropagation Algorithm
1995-04-26
Declarative Logic Programming with Primitive Recursive Relations on Lists
1996-05-22
On the convergence of quasi-Newton methods for nonsmooth problems
1999-03-16
Vera L. R. Lopes
Analytic Corrections to CFD Heating Predictions Accounting for Changes in Surface Catalysis
1996-06-21
Boosting The Performance Of Connectionist Large Vocabulary Speech Recognition
1996-09-19
Exploiting Monotone Convergence Functions in Parallel Programs
1998-09-05
Probabilistic Power Domains, Information Systems, and Locales
1998-09-08
CORBAservices March 1996
1998-01-30
A Proposal for a new KQML Specification
1997-02-03
Kant and Cultural Relativism
1996-03-21
J. N. Hooker
Solving Incidence and Tangency Constraints in 2D
1997-01-23
Departament Llenguatges
Effective Fine-Grain Synchronization For Automatically Parallelized Programs Using Optimistic Synchronization Primitives
1997-03-31
Martin Rinard
Writing an Operating System with Modula-3
1995-11-09
Approximating Multiroot 3-Outconnected Subgraphs
1998-09-29
Zeev Nutov
An Open Software Architecture for Batch Process Simulation
1997-01-13
Failure-Driven Learning As Model-Based Self-Redesign
1995-10-20
Eleni Stroulia
TRANSPORT PROPERTIES OF MARKOVIAN ANDERSON MODEL Serguei Tcheremchantsev
1997-11-13
Serguei Tcheremchantsev
Scattering Of Light By Free Electrons
1999-04-23
E. T. Jaynes
Application of Connectivity Data Port Technology to Support Mixed Signal Simulation
1995-09-22
Approximate Regular Expression Pattern Matching with Concave Gap Penalties
1995-07-06
Coordination in the ImpUnity Framework
1997-12-03
On Characterizing Optimal Buffer Control Policies in ATM Nodes
1994-08-11
Analysing Physiological Data from the Wake-Sleep State Transition with Competing Predictors
1995-10-23
Discrete Wavelet Analysis for Fast Optic Flow Computation
1999-02-26
Christophe P. Bernard
Genetic Algorithms For Vertex Splitting in DAGs
1996-10-23
Matthias Mayer
Automata - A Theory Dedicated towards Formal Circuit Synthesis
1997-06-13
Dirk Eisenbiegler
Quality and Speed in Linear-Scan Register Allocation
1998-06-11
Omri Traub
WebTP: A Receiver-Driven Web Transport Protocol
1998-07-16
On Set Systems with Restricted Intersections Modulo a Composite Number
1996-09-23
Vince Grolmusz
Interaction of Fluctuating River Flow with a Barotropic Tide: A Demonstration of Wavelet Tidal Analysis Methods
1996-02-08
SExtractor: software for source extraction
1999-01-25
Snowtools: Research And Development Of Methods Supporting New Snow Products
1998-08-07
A Bornological Approach to Rotundity and Smoothness Applied to Approximation
1996-06-24
John Read
Identifying Oscillatory and Stochastic Neuronal Behaviour with High Temporal Precision in Macaque Monkey Visual Cortex
1997-11-05
Group Research Project and Cooperative Learning in Standard Calculus
1970-01-01
Mohammad H. Ahmadi
Integrating Models of Discrimination and Characterization for Learning from Examples in Open Domains
1998-09-25
Paul Davidsson
Mobile Robot Exploration and Map-Building with Continuous Localization
1999-02-10
The Eden Coordination Model for Distributed Memory Systems
1998-10-08
Introduction to MetaPost
1994-09-06
A Connectionist Approach to Quality Assessment of Food Products
1996-01-23
New Aspects In The Weight Theory And Applications
1997-06-24
Vakhtang Kokilashvili
Extending the MAD Portfolio Optimization Model to Incorporate Downside Risk Aversion
1998-07-01
Pekka Korhonen
A Note on Rational Interpolation
1970-01-01
Annie Cuyt
Analysis of Techniques to Improve Protocol Processing Latency
1997-08-26
Probability and Distribution in Time of Pulse Overlap in Periodic Settings
1996-12-12
Jane Perkins
Minimizing Communication Overhead Using Pipelining for Multi-Dimensional FFT on Distributed Memory Machines
1994-08-01
Av. F'elix Viallet
Parallelization and Performance of Conjugate Gradient Algorithms on the Cedar hierarchical-memory Multiprocessor
1994-07-01
State-space characterization of Youla parametrization for nonlinear systems based on input-to-state stability
1998-10-17
Using CBR to Drive IR
1996-05-17
Modeling Parallel Computers as Memory Hierarchies
1994-10-01
Shift-Generated Random Permutations and the M/D/1 Queue
1997-06-13
Wolfgang Stadje
RAPID: Randomized Pharmacophore Identification for Drug Design
1998-05-18
L. E. Kavraki
Interactive Rendering of Globally Illuminated Glossy Scenes
1997-05-21
Rui Bastos
The Importance of Prepass Code Scheduling for Superscalar and Superpipelined Processors
1994-05-18
An Architecture for Constructing Faulttolerant Transputer Systems
1994-12-21
Conjugate Analysis of Multivariate Normal Data with Incomplete Observations
1997-01-28
Exact sampling for Bayesian inference: towards general purpose algorithms
1998-06-29
Tensor Methods for Large, Sparse Nonlinear Least Squares Problems
1996-02-28
Tight Upper Bounds For The Domination Numbers Of Graphs With Given Order And Minimum Degree
1997-11-24
Hidden Congruent Deduction
1998-12-23
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics
1996-12-21
Roberto Giacobazzi
On the Space and Traffic Problems of Interval Routing
1997-05-30
Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables
1996-02-22
Thermalization In The Nuclear Shell Model
1998-05-23
A One-Dimensional Model for Many-Electron Atoms in Extremely Strong Magnetic Fields: Maximum Negative Ionization
1997-11-30
Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms
1996-03-02
A Classification and Comparison Framework for Software Architecture Description Languages
1997-04-04
Neno Medvidovic
Circuit Partitioning Using A Tabu Search Approach
1996-11-13
Canonical Pseudo-Correspondence
1998-12-07
Yde Venema
Asynchronous Weighted Additive Schwarz Methods
1998-07-30
The Bluffer's Guide To Computational Semantics
1996-01-08
Fast and Robust Segmentation of Natural Color Scenes
1997-12-18
INRIA 78150 Rocquencourt France
1997-11-30
A New Empirical Model for Indoor Propagation Prediction
1997-12-09
Design And Implementation Of Multilevel Databases
1998-09-14
Ravi Sandhu
Large deviations and the equivalence of ensembles for Gibbsian particle systems with superstable interaction
1997-04-26
Hans-otto Georgii
Learning Bayesian Nets that Perform Well
1997-07-15
TreadMarks: Distributed Shared Memory on Standard Workstations and Operating Systems
1995-02-15
Configuration Flatness of Lagrangian Systems Underactuated by One Control
1970-01-01
Lessons Learned from Building and Using the
1996-12-12
Santosh K. Shrivastava
A Report on the context of CORBA
1996-06-26
N. De Jager
An Open Task Control Model for Quality of Service Adaptation
1998-03-12
Coupling Evaluators for Attribute Coupled Grammars
1995-02-15
The Analysis of Synaptically Generated Traveling Waves
1998-01-29
Bard Ermentrout
Paradoxical Effects of External Modulation of Inhibitory Interneurons
1997-10-06
Remarks on Control Lyapunov Functions for Discontinuous Stabilizing Feedback
1993-08-30
Multiscale Data Analysis - Information Fusion and Constant-Time Clustering
1997-04-21
Conjunctive Partial Deduction: Foundations, Control, Algorithms, And Experiments
1998-12-15
Domain Splitting Algorithm for Mixed Finite Element Approximations to Parabolic Problems
1996-08-06
A Review of the Resource Management Task in ATM Networks
1995-09-05
Shane Naughton
Actuarial Calculations using a Markov Model
1995-06-01
Bruce L. Jones
2-D SIMD Algorithms in the Perfect Shuffle Networks
1998-04-05
Analysis of a SIMD Computer
1994-07-01
On the Distribution of Recurrence Times and the Exact Asymptotics of Lempel-Ziv Coding
1998-08-11
Ioannis Kontoyiannis
On the dynamics of pseudo-Anosov homeomorphisms on representation varieties of surface groups
1997-07-16
Michael Kapovich
ARNCHEB Users' Guide: Solution of Large Non Symmetric or Non Hermitian Eigenvalue Problems by The Arnoldi-Tchebycheff Method.
1998-02-17
Thierry Braconnier
Optimal Control of RD Investment in a Techno-Metabolic System
1999-01-13
R'esolvantes Et Fonctions Sym'etriques
1994-02-04
Random Sampling from Databases
1997-05-05
Frank Olken
Exact Volume Computation for Polytopes: A Practical Study
1998-04-08
General Convergence Results for Linear Discriminant Updates
1997-07-17
Effective and Efficient Document Ranking without Using a Large Lexicon
1996-08-26
Ogawa Yasushi
Some Notes on Factorization Methods for Projective Structure and Motion
1998-10-01
Bill Triggs
Instability of magnetic modons and analogous Euler flows
1996-08-24
Markers Elucidated and Applied in Local 3-Space
1995-08-17
Maintaining Global Assertions on Distributed Systems
1997-12-19
From GISystems to GIServices: Spatial Computing on the Internet Marketplace
1998-03-15
Recognition Of Conversational Telephone Speech Using The Janus Speech Engine
1996-12-17
A Weight Analysis-based Wrapper Approach to Neural Nets Feature Subset Selection
1999-01-13
A Novel Replication Technique For Detecting and Masking Failures For Parallel Software: Active Parallel Replication
1998-04-10
Minimum-Cost Bounded-Skew Clock Routing
1997-01-06
Comparison of Constructions of Irregular Gallager Codes
1998-08-31
Taming Control Flow: A Structured Approach to Eliminating Goto Statements
1993-11-25
Gravitational Contraction Of Magnetized Clouds
1998-12-14
A Parallel Approach to Hierarchical Radiosity
1999-04-09
Teaching and understanding intelligent service robots: A Machine Learning Approach
1999-02-08
Gene Structure Prediction by Linguistic Methods
1994-05-11
PI: Mark D. Hill Final Report PYI: Cache Memory Design MIPS-8957278
1995-07-17
Analysis of membrane locking in hp FEM for a cylindrical shell
1997-09-03
Overcoming the Network Bottleneck in Mobile Computing
1994-11-17
Impulse Response Analysis of Vector Autoregressive Processes
1970-01-01
Are Wait-Free Algorithms Fast?
1995-01-01
Molecular Relaxation in a Photosensitive Liquid Crystalline Polymeric Glass-Former
1998-12-21
F. Camilo
1995-12-15
Comparing Evolutionary Programs and Evolutionary Pattern Search Algorithms: A Drug Docking Application
1970-01-01
William E. Hart
The Consistent File-Status in a User-Triggered Checkpointing Approach
1996-07-30
Enclaves: Enabling Secure Collaboration over the Internet
1997-10-14
Li Gong
FUTURE RESEARCH Completion of Thesis Goals:
1999-02-08
Timing Properties of the Timed Token Protocol
1995-05-24
Xunet 2: Lessons from an Early Wide-Area ATM Testbed
1997-11-03
On Non-Determinism in Machines and Languages
1996-12-06
The Burnside Groups and Small Cancellation Theory
1998-04-30
Jonathan P. Mccammond
Reconstruction of Metabolic Networks Using Incomplete Information
1998-10-22
JTF-ATD Core Plan Representation: a Progress Report
1997-11-25
An Object Oriented
1970-01-01
Possible Effects of Color Screening and Large String Tension in Heavy Quarkonium Spectra
1998-05-15
Parallel Simulation of Parallel File Systems and I/O Programs
1997-09-05
Providing Easier Access to Remote Objects in Client-Server Systems
1997-11-21
Efficient Data Layout, Scheduling and Playout Control in MARS
1995-03-21
A Refinery Immobot for Abnormal Situation Management
1997-04-23
Analogic CNN Computing: Architectural, Implementation, and Algorithmic Advances - a Review
1998-06-23
Principles of Programming with Complex Objects and Collection Types
1995-10-11
All Entropies Agree For An Sft
1998-02-19
Chris Hillman
Expected Heights in Heaps
1995-10-09
Removing the Genetics from the Standard Genetic Algorithm
1998-07-14
Polaronic effects in strongly coupled electron-phonon systems:Exact diagonalization results for the 2D Holstein t-J model
1997-04-22
A Quantitative Analysis of Disk Drive Power Management in Portable Computers
1995-08-24
The Bifurcation of DAI and Adaptivism as Synthesis
1970-01-01
Operational and Goal-Independent Denotational Semantics for Prolog with Cut: Proofs
1999-02-17
Fausto Spoto
Bayesian Object Identification
1997-10-07
Modelling Risk from a Disease in Time and Space
1998-12-21
Implementation of Atomic Primitives on Distributed Shared Memory Multiprocessors
1995-01-06
On Reasoning from Data
1996-03-06
Model-based Autonomous Systems in the New Millennium
1996-04-17
Brian C. Williams
Dialogue Acts in VERBMOBIL
1996-01-25
Toward Parametric Verification of Open Distributed Systems
1998-09-11
Compounds: An Intelligent Tutoring System For Learning To Use Compounds In English
1993-04-05
Time Localization Techniques for Wavelet Transforms
1994-10-31
Mladen Victor Wickerhauser
An Efficient Mean Field Approach to the Set Covering Problem
1999-01-27
Optimal Control of Systems With Unilateral Constraints
1996-02-15
Vijay Kumar
Spectra with Only Unary Function Symbols
1999-02-25
TriGSflow - Applying Active Concepts to WorkFlow Management
1995-02-24
C. Krattenthaler
1996-04-10
C. Krattenthaler
Building a large annotated corpus of English: the Penn Treebank
1995-01-04
Symbolic Composition
1997-07-30
On the Relation Between Parameter Estimates From Transition and Marginal Models for Longitudinal Data
1997-05-02
A Simple Covariance-Based Characterization Of Joint Signal Representations Of Arbitrary Variables
1996-10-09
An example of a solvable Lie algebra
1995-08-20
Michael Wustner
Active Bridging
1997-06-23
Mean-Square and Asymptotic Stability of Numerical Methods for Stochastic Ordinary Differential Equations
1998-10-08
Desmond J. Higham
A Weighted L¹ Estimate For The. . .
1998-04-06
Henrik Delin
Relationships Among PL, #L, and the Determinant
1970-01-01
Naturalization, Socialization, Participation: Immigrants and Non- Voting
1999-03-14
Wendy K. Tam Cho
Legibility Enhancement for Information Visualisation
1999-01-24
Implicit Polynomial Based Geometric Shape Modeling And Recognition
1998-05-22
The Effect of Sample Size on Different Failure Prediction Methods
1999-03-28
Cascades for Dynamical Games
1998-03-17
Katharina Mullers
Two Techniques to Enhance the Performance of Memory Consistency Models
1997-03-15
Lower Space Bounds for Randomized Computation
1997-03-04
Marek Karpinski
On the Complexity of Learning Decision Trees
1995-12-16
Unknown
1997-09-23
Web Navigation in Small Communication/Computing Devices using Voice Recognition
1999-01-05
Time-Parallel Generation Of Self-Similar ATM Traffic
1999-02-25
SHARED EXPERTISE SPACE - A Learning-oriented Model for Computer Aided Engineering Design
1995-05-16
Residual Scaling Techniques in Multigrid, I: Equivalence Proof
1996-08-17
Jun Zhang
Robot Localization using a Computer Vision Sextant
1997-06-22
Uniformly Defining Complexity Classes of Functions
1999-01-24
Open Problems 20
1997-01-25
Subtyping for Object Type Constructors
1999-01-15
Algebraic Graph-Based Approach to Schema Integration
1996-05-02
Establishment Of Isolated Failure Immune Real-Time Channels In Harts
1998-02-13
Unstable Splittings Of Classifying Spaces Of p-Compact Groups
1994-12-06
D. Notbohm
On the Dimensionality of Cortical Graphs
1999-02-10
Elie Bienenstock
Formal Modelling of Reactive Hardware/software Systems
1997-12-22
Finding Best Simultaneous Diophantine Approximations Using Sequences Of Minimal Sets Of Lattice Points
1996-12-09
Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC
1996-12-05
Analysis of Terminology Management Systems in Europe
1997-06-12
A General Cartographic Labeling Algorithm
1996-12-19
Machine Learning in Programming by Demonstration: Lessons learned from CIMA
1997-05-01
The security API of IRO-DB
1997-10-06
An SQP Method For The Optimal Control Of Large-Scale Dynamical Systems
1999-01-04
Attribute Grammars and Folds: Generic Control Operators
1996-08-05
Customized Information Extraction as a Basis for Resource Discovery
1995-02-02
Symplectic Singularities
1999-03-18
Galton-Watson branching processes and the growth of gravitational clustering
1997-02-19
Ravi K. Sheth
Minimal Paths on Ordered Graphs
1997-06-26
How Algebraic is Algebra?
1998-03-04
Moving a Robot Starting from a Theory of Actions
1996-10-09
Wavelets And Adapted Waveform Analysis
1992-12-17
A Timestamp Based Transformation of Self-Stabilizing Programs for Distributed Computing Environments
1997-03-05
Masaaki Mizuno
Diophantine Approximation of a Plane
1998-02-23
Topological Entropy For Appropriately Approximated C
1997-04-26
Thomas Hudetz
Visualization Algorithms for Gigabyte Datasets
1998-12-15
David Kenwright
Extending The Class of
1997-06-23
CC++, pC++, Charm++ and Orca: Languages for Parallel Programming
1995-08-07
Janusz Niemiec
Incorporating Software Visualization into Prolog teaching: a challenge, a restriction, and an opportunity
1998-07-22
Paul Mulholland
Quasi-interpolants Based on Trigonometric Splines
1998-11-24
Numerical Simulations Of Advective Accretion Disks Around Black Holes
1997-03-03
Contrasting Fragmented Objects with Uniform Transparent Object References for Distributed Programming
1998-02-26
Deforming The Point Spectra Of One-Dimensional Dirac Operators
1997-05-13
Gerald Teschl
Newton-Type Methods For Stochastic Programming
1996-10-23
X. Chen
Extended Goursat Normal Forms With Applications To Nonholonomic Motion Planning
1996-09-23
Uncertain Reasoning in Concept Lattices
1997-09-15
Thomas Lukasiewicz
Utilizing Bayesian Techniques For User Interface Intelligence
1998-10-23
Robert Allen Harrington
Compiling High Performance Fortran to Message Passing
1998-02-03
Thomas Brandes
Unsupervised Part of Speech Tagging with Extended Templates
1998-03-21
Markus Becker
Alternative Implementations of Hybrid Branch Predictors
1995-09-29
Zero-dimensional Schemes on Abelian Surfaces
1996-07-06
Antony Maciocia
K.J. Marfurt
1996-03-07
Yves Caseau Peter Koppstein Bellcore, 445 South Street, Bellcore, 444 Hoes Lane Morristown NJ 07962-1910 Piscataway NJ 08854-4182 caseau@bellcore.com pk@ctt.bellcore.com
1998-08-18
Dynamic Light-Weight Groups
1997-06-19
Nonparametric Density Estimation using Random Linear Tessellations
1996-07-05
Leonard B. Hearne
Filled band Fermi systems
1995-07-11
V. Mastropietro
HyperView: Generating Virtual Hypermedia in Decentralized Environemnts
1996-12-27
Yahiko Kambayashi
Visualizing elements in the Shafarevich-Tate group
1998-11-30
Automatic Parallelization Of Prolog Programs
1994-10-26
David Christopher Sehr
China's Evolving Managerial Labor Market
1995-08-08
Classification of Toppoints for the Gradient Squared
1998-11-27
Load Balancing for Problems with Good Bisectors, and Applications in Finite Element Simulations: Worst-case Analysis and Practical Results
1998-06-30
Guidelines for Preparing a Paper for European Conference on Artificial Intelligence
1998-04-30
On An Inverse Diffusion Problem
1999-03-23
The Impact of Local Scattering on Signal Copy Algorithms for Antenna Arrays
1996-09-03
Realistic Simulation Tool for Early Visual Processing including Space, Time and Colour Data
1998-01-24
Towards a Crystal Ball for Data Retrieval
1997-08-08
Joseph M. Hellerstein
Adapting And Evaluating Algorithms For Dynamic Schedulability Testing
1994-02-24
Charlie Mcelhone
Collecting Butterflies
1994-03-15
Montague Grammars as Deductive Databases
1996-01-15
Stefan Seeberger
Provably Bounded-Optimal Agents
1995-05-31
A Strategy for Exploiting Implicit Loop Parallelism in Java Programs
1996-09-18
LEDA: A Blending of Imperative and Relational Programming
1996-02-13
Timothy A. Budd
Performance of Massively Parallel Computers for Spectral Atmospheric Models
1995-04-14
Efficient On-the-Fly Model Checking for CTL
1995-04-04
A Canonical Framework for Sequences of Images
1995-04-28
A Society of Agents in Environmental Monitoring
1999-02-09
Global upscaling of permeability in heterogeneous reservoirs; The output least squares OLS method.
1998-11-26
Object-Oriented Implementation Aspects of an Abstract Relational Database Interface
1995-01-31
Relativistic Hydrodynamics for Heavy--Ion Collisions II. Compression of Nuclear Matter and the Phase Transition to the Quark--Gluon Plasma
1998-05-23
On Packing Of Squares Into A Rectangle
1996-07-19
Pavel Novotn Y
Using the Visibility Complex for Radiosity Computation
1998-05-20
A Partial Instantiation based First Order Theorem Prover
1998-11-09
Evolution Of Magnetic Fields In Galaxies With Spiral Structure
1999-02-15
Multiple Control Bandwidth Computations in Adaptive-Optics
1997-04-17
Visual Language Theory: Towards a Human-Computer Interaction Perspective
1999-02-26
A Parallel Preconditioned Iterative Realization of the Panel Method in 3D
1998-10-09
Automatic Gap Closing for Freehand Drawing
1995-03-19
Separable Partitions
1998-08-30
Noga Alon
An Algorithm for Enumerating All Spanning Trees of a Directed Graph
1996-07-05
A Timed Verification of the IEEE 1394 Leader Election Protocol
1999-03-30
Judi Romijn
A Flexible Optimization Procedure for Mechanical Component Design Based on Genetic Adaptive Search
1998-12-04
Kalyanmoy Deb
A Cooperative Approach to Two-Phase Waiting
1999-01-23
Evolutionary Thinking and Formalization Dirk Siefkes
1998-02-16
Dirk Siefkes
The Edge-Based Design Rule Model Revisited
1997-10-22
Metrics on Permutations, a Survey
1997-01-07
Gentzen-Style Classical Proofs as Lambda-Mu-Terms
1999-03-19
Ichiro Ogata
Using the Primal Dual Infeasible Newton Method in the Analytic Center Method for Problems Defined by Deep Cutting Planes.
1998-03-17
Bias Field Estimation and Adaptive Segmentation of MRI Data Using a Modified Fuzzy C-Means Algorithm
1999-03-09
On One Aspect of Science Policy Based on An Uncertain Model
1997-10-24
A Universal Approach to Positive Regular Grammar Inference
1997-05-16
Dominique Luzeaux
Conjunto: Constraint Logic Programming with Finite Set Domains
1997-11-13
Carmen Gervet
TRAINS-95 System Evaluation
1996-07-19
Universit ' E De Gen ` Eve
1995-02-24
Matching Pursuit by Undecimated Discrete Wavelet Transform For Arbitrary-Length Time Series
1998-03-09
Logic Programming: The Evolving Algebra Approach
1996-06-24
Egon Borger
The Sinc-Galerkin Schwarz Alternating Method For Poisson's Equation
1997-09-02
Courant Elements For The Inverse Problem In The Filtration Coefficient Identification
1995-11-28
E. Vainikko
Markovian modeling of the stress contours of Brazilian and European Portuguese
1997-05-21
Fourth Intl. Workshop on Artificial Inteligence in High Energy and Nuclear Physics 95, editors Denby B. and Perret-Gallix D. World Scientific pp. 527-532, 1995.
1996-07-18
Reconciling Event Structures and Higher Dimensional Automata
1996-11-05
Vaughan Pratt
On the TSP with a Relaxed General Distribution Matrix
1998-07-03
Karen Zita Haigh
1996-10-30
The Need for New Application Specific Interface Elements
1997-07-30
Bengt Sandblad
Specialising Logic Programs with respect to Call/Post Specifications
1998-10-06
New Ideas for Solving Covering Problems
1995-03-29
Partially Isomorphic Generalization and Analogical Reasoning
1997-09-30
Panel: The Impact of Database Research on Industrial Products Summary
1995-06-04
Formal Specification Of Active Database Functionality: A Survey
1995-11-23
Biologically Plausible Spatial Navigation for a Mobile Robot
1998-03-13
Candidate Brett Browning
Investigations on Intentional Structure and Information Packaging for Integrated Text and Graphics Generation
1998-10-07
Density Estimation via Hybrid Splines
1998-05-18
Ronaldo Dias
Applying Case-Based Reasoning to Control in Robotics
1995-09-19
Alewife Systems Memo 12
1992-01-18
Beng-hong Lim
Solar and Atmospheric Neutrino Oscillations With Three Flavours
1998-05-15
Optimizing Clause Resolution: Beyond Unification Factoring
1999-01-08
Noam Elkies Benedict H. Gross
1998-02-01
An Execution Architecture for Synchronized Multimedia Presentations
1998-12-01
Franck Rousseau
Wavelet Based Texture Resampling
1996-06-24
Developing a theory of Information Flow Algebras in EVES
1995-04-21
Hecke Operators As Operations In Elliptic Cohomology
1995-12-22
Andrew Baker
Collision Models in the Hawk DSMC Implementation
1996-07-01
Comparison of Duplex and Triplex Memory Reliability
1994-07-26
Nitin H. Vaidya
The Janus Speech Recognizer
1995-11-10
Running Head:
1970-01-01
The Role of Registration and Spatial Normalisation in Detecting Activations in Functional Imaging
1998-05-20
Output-Feedback Stochastic Nonlinear Stabilization
1998-07-16
Hua Deng
A Unifying Type-Theoretic Framework for Objects
1996-08-18
Extracting a Proof of Coherence for Monoidal Categories from a Proof of Normalization for Monoids
1996-10-14
Unification in a Sorted lambda-Calculus with Term Declarations and Function Sorts
1994-06-16
Michael Kohlhase
Artificial Neural Networks In Electric Power Industry
1995-10-06
Modeling and Forecasting the Information Sciences
1995-09-08
Brian R. Gaines
Componential Structural Simulator
1998-05-29
Multigrid Method for Ill-Conditioned Symmetric Toeplitz Systems
1995-10-10
CLiFF Notes - Research in the Language, Information and Computation Laboratory of the University of Pennsylvania
1995-06-10
Rewriting Logic and Secure Mobility
1997-02-19
Carolyn Talcott
The Electric Charge of a Dirac Monopole at Nonzero Temperature
1998-05-13
Rajesh R. Parwani
Standardisation of Global Telecommunication Services - Expertise or Market Shares?
1998-02-20
Decision Making And Decision Support In Translation
1995-11-08
Hans Karlgren
Transactional Client-Server Cache Consistency: Alternatives and Performance
1997-01-22
A Review of HDLs
1994-07-01
A Block-Based Approach To Secure Atm Networking
1999-01-10
Scoped Metatheorems
1998-12-17
David Basin
Articulatory Methods for Speech Production and Recognition
1997-02-19
Charles Simon Blackburn
Triogram Models
1996-07-23
Change Detection in Hierarchically Structured Information
1998-07-22
Preconditioning of Rectangular Polynomial Matrices for Efficient Hermite Normal Form Computation
1996-02-02
Partial Deduction of the Ground Representation and its Application to Integrity Checking
1970-01-01
Filter Bank Design Based On Discriminative Feature Extraction
1993-07-14
Access Controls by Object-Oriented Concepts
1997-10-06
Designing Multi-Level Quorum Schemes for Highly Replicated Data
1995-09-04
Graph Matching by Self-organizing Feature Maps
1997-06-02
Groupe Diam
Inferring a Gaussian distribution
1998-03-13
Thomas P. Minka
A Comparison of Computational Complexities of HFEM and ABC Based Finite Element Methods
1997-07-25
Docking of a Mobile Platform Based on Infrared Sensors
1998-03-13
Analysis and Evaluation of Address Arithmetic Capabilities in Custom DSP Architectures
1997-03-15
Parallel Motion Planning with the Ariadne's Clew Algorithm
1999-03-18
Reduction of bus transitions with Partial Bus-Invert Coding
1998-08-31
Meta-Plan Rules for An Adaptable Plan-Based Dialog Model
1996-05-03
Convergence of Madelung-Like Lattice Sums
1996-06-21
Selection of Relevant Features and Examples in Machine Learning
1997-09-04
What Are Workplace Studies For?
1996-03-05
OSSE Observations of Starburst Galaxy M82
1997-10-08
Parallel Linear Congruential Generators With Prime Moduli
1997-02-20
Michael Mascagni
Throughput-Competitive On-Line Routing
1994-03-18
An Efficient Transport Independent Active Messaging Implementation for PVM
1998-08-27
Philip J. Mucci
On Optimal Solutions to Two-Block
1997-10-14
Process Modeling in-the-large with SLANG
1994-06-09
Multi-Player Residual Advantage Learning With General Function Approximation
1997-07-04
Object Tracking and Tracing for Multi-static FM-CW Radar - Incremental Approach
1996-07-05
J. Schier
Specifying and Verifying Crypto-Protocols at the Design Level
1998-12-03
Giampaolo Bella
Segmentation of Pulmonary Nodule Images Using Total Variation Minimization
1998-10-13
Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs
1998-09-05
On Retransmission-Based Error Control for Continuous Media Traffic in Packet-Switching Networks
1994-06-22
Extracting Comprehensible Concept Representations from Trained Neural Networks
1995-09-26
Fuzzy Graph Tracking
1997-10-29
A Mechanism for Instanton induced Chiral Symmetry Breaking in QCD
1998-05-14
Change Management in Heterogeneous Semistructured Databases Demonstration Description
1998-12-28
Real-time Control of Animated Broad Agents
1997-05-28
Hierarchical Representations for Mosaic-Based Video Compression
1999-01-21
Scalable Access within the Context of Digital Libraries
1998-06-10
Recognition Of Unconstrained Handwritten Numerals Based On Dual Cooperative Neural Network
1998-12-19
Yeongwoo Choi
Recognition of Spatiotemporal Patterns by Nonmonotone Neural Networks
1997-12-01
Masahiko Morita
Monte Carlo Methods in Rendering
1996-05-16
Peter Shirley
Interaction Approaches for Internet and ATM . . .
1998-03-19
Feature Selection And Character Classification Using A Weightless Artificial Neural Network
1996-07-15
Andreas Garzotto
Using The Generalized Radon Transform For Detection Of Curves In Noisy Images
1995-11-29
Peter A. Toft
The Hierarchical Hidden Markov Model: Analysis and Applications
1996-04-15
Bayesian Analysis of Seasonal Unit Roots and Seasonal Mean Shifts
1996-09-18
Automatically Generating Environments for Dynamic Diagram Languages
1998-11-13
Mark Minas
The TreeBanker: a Tool for Supervised Training of Parsed Corpora
1997-07-02
David Carter
Hypothetical Reasoning with Defaults
1998-05-11
Agent-Based Knowledge Discovery
1995-01-23
Hands Free Continuous Speech Recognition In Noisy Environment Using A Four Microphone Array
1995-08-10
Specification and Verification of various Distributed Leader Election Algorithms for Unidirectional Ring Networks
1998-09-01
Target Fragmentation in Radiobiology
1998-01-13
Analysis of Some Quadrilateral Nonconforming Elements for Incompressible Elasticity
1996-11-27
Zhimin Zhang
Dynamic Value-Density for Scheduling Real-Time Systems
1999-02-11
Adding Force Feedback to Graphics Systems: Issues and Solutions
1996-10-12
Unknown
1995-10-04
Chin: A Program Specializer
1970-01-01
Towards a Framework for Managing Inconsistency Between Multiple Views
1996-10-17
Bashar Nuseibeh
Automatic Segmentation Of Rodent Brain Mri Scans In A Stroke Study
1997-06-03
Looking at Full Looking Ahead
1996-12-06
Approximate Inverse Preconditioning Of Iterative Methods For Nonsymmetric Linear Systems
1996-04-01
Logic with Probabilistic Operators
1994-08-29
Natasha Alechina
Cryptography: It's Not Just For
1998-10-06
Atomic carbon in Arp 220
1998-10-18
Thomas G. Phillips
A review of asymptotic convergence for general state space Markov chains
1999-03-20
Is the Neocognitron Capable of State-of-the-art Digit Recognition?
1996-04-12
Theory of Computing: A Scientific Perspective
1996-10-19
Abdallah El Hamidi
1996-03-11
The Cognitive Science of Metaphor From Philosophy to Neuropsychology
1995-12-21
Block Renormalization Group in a Formalism with Lattice Wavelets: Correlation Function Formulas for Interacting Fermions
1997-04-26
Emmanuel Pereira
Vortex Structure in d-wave superconductors
1999-01-06
Developing Efficient Interpreters Based on Formal Language Specifications
1996-09-26
Arnd Poetzsch--heffter
Trend Adjustment Prior to Testing for the Cointegrating Rank of a VAR Process
1970-01-01
Spline Approximation Of Thin Shell Dynamics -- Numerical Examples
1997-06-02
Separation Constraint Partitioning - A New Algorithm for Partitioning Non-strict Programs into Sequential Threads
1995-02-10
A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths
1996-01-11
Michelangelo Grigni
1995-08-21
Interior Point Algorithms For Network Flow Problems
1997-04-11
Dynamically Adjusting Concepts to Accommodate Changing Contexts
1997-05-21
Upper bounds on the covering number of Galois-planes with small order
1997-12-06
D. Pisinger
Theoretical Aspects of Schema Merging
1994-01-25
Mars Pathfinder Microrover - Implementing A Low Cost Planetary Mission Experiment
1997-02-21
Waldhausen's Nil Groups and Continuously Controlled K-Theory
1997-12-18
Towards the Experimental Evaluation of Software Testing Techniques
1995-02-02
Probabilistic Guarantees for Fault-Tolerant Real-Time Systems
1998-02-23
PHONEME-BASED AUTOMATIC SPEECH RECOGNITION: towards a demonstrator for information retrieval, using Dutch hi-fi speech
1996-03-18
Feed Forward Neural Network Entities
1997-05-28
MegaMover --- A broadband data transmission system for the printing industry
1996-11-14
Order Theory and Nonparametric Maximum Likelihood for Interval Censored Data
1998-09-09
Model Adaptation Based On HMM Decomposition For Reverberant Speech Recognition
1997-03-26
Can Statistical Theory Help Us Use Neural Networks Better?
1997-06-13
B. D. Ripley
Physical Models And Efficient Algorithms For Over-The-Cell Routing In Standard Cell Design
1995-07-09
Probabilistic Techniques for Approximating Spectral and Autocorrelation Coefficients
1997-11-24
David Wessels
A Ray Tracing Accelerator Based on a Hierarchy of 1D Sorted Lists
1997-03-01
Decoder Technology For Connectionist Large Vocabulary Speech Recognition
1995-10-20
Compact elements in solvable real Lie algebras
1995-08-20
Karl H. Hofmann
Implementing Temporal Databases in Object-Oriented Systems
1999-01-29
A Hybrid Approach to Formal Verification Applied to an ATM Switching System
1996-03-28
Nonuniform Markov Models
1998-02-07
Knowledge Discovery in Biosequences Using Sort Regular Patterns
1998-10-12
Specification and Refinement of a Buffer of Length One
1997-09-29
Manfred Broy
On the SUSY Accompanied Neutrino Exchange Mechanism of Neutrinoless Double Beta Decay
1998-05-25
The Power of a Pebble: Exploring and Mapping Directed Graphs
1998-03-02
Unknown
1998-01-19
Is Nonnormality a Serious Difficulty?
1995-01-30
A Multilevel Method For Conductive-Radiative Heat Transfer
1996-03-22
J. M. Banoczi
Making Stochastic Networks Deterministic
1997-07-02
Stefan M. Ruger
Proceedings of the Memory Preservation Society- Patterns for managing limited memory
1998-06-26
On the Self-Similar Nature of Ethernet Traffic
1998-12-29
A Combined Lagrangian, Linear Programming and Implication Heuristic for Large-Scale Set Partitioning Problems
1997-10-16
On the Theory Of Pfaffian Orientations. II.
1999-01-25
Group Communication Support for Distributed Collaboration Systems
1998-01-06
Mariposa: A Wide-Area Distributed Database System
1996-07-30
The Metacat Project: A Self-Watching Model of Analogy-Making
1998-01-01
From The Chromosome To The Neural Network
1997-06-23
NuMesh: A Communication Architecture for Static Routing
1995-09-12
Adaptive Control of Discrete-Time Strict-Feedback Nonlinear Systems
1997-12-29
Committee-Based Sampling For Training Probabilistic Classifiers
1995-08-22
An Efficient Dynamic Load Balancing Algorithm for Adaptive Mesh Refinement
1994-05-27
Typed Operational Semantics for Higher Order Subtyping
1999-03-22
Practice-Oriented Provable-Security
1997-12-29