On Narrowing, Refutation Proofs and Constraints
1995-11-06
Robert Nieuwenhuis
Using Disjunctive orderings instead of Conflict Resolution in Partial order planning
1996-01-23
Subbarao Kambhampati
Bounding the Mean Response Time of the Minimum Expected Delay Routing Policy: An Algorithmic Approach
1995-02-28
Fast Training of Multilayer Perceptrons
1998-06-16
The Radial Disc Structure Around a Magnetic Neutron Star: Analytic and Semi-Analytic Solutions
1997-11-26
Faster Learning in Multi-Layer Networks by Handling Output-Layer Flat-Spots
1996-10-08
The tool Kronos
1996-09-09
ActiveSPEC - A Framework for the Specification and Verification of Active Network Services and Security Policies
1998-03-23
On the Quantum Corrections to the Newtonian Potential
1998-05-23
When Does Evolution Optimise? On the relation between types of density dependence and evolutionarily stable life history parameters
1998-04-22
Programming in CLPBNR
1996-02-22
A Cost-Based Approach to Performance Analysis of Distributed Object Stores
1997-10-04
Strategy Adaptation by Competing Subpopulations
1995-01-13
Dirk Schlierkamp-voosen
Spectral Theory of Solitons on a Generic Background for the KPI Equation
1998-03-16
Impending Motion Direction of Contacting Rigid Bodies
1994-05-02
P = NP, up to sharing
1997-03-22
Andrea Asperti
An Agent-Based Approach for Robot Vision System
1995-10-11
The Use of a Synchronizer Yields Maximum Computation Rate in Distributed Networks
1996-12-27
Runtime Support for Parallel I/O in PASSION
1994-12-09
ACM Workshop on Strategic Directions in Computing Research
1996-07-05
Peter Dittrich and Wolfgang Banzhaf
1997-07-01
Mobile Intelligent Agents for Document Classification and Retrieval: A Machine Learning Approach
1998-01-30
Minimal Perturbation in Dynamic Scheduling
1998-05-15
On the Hardness of Approximating Shortest Integer Relations among Rational Numbers
1998-02-23
Efficient Calculation of Subdivision Surfaces for Visualization
1997-06-30
Exploiting Multiple Levels of Parallelism in Shared-memory Multiprocessors: A Case Study
1999-04-07
Volume Integral Equations in Nonlinear 3D Magnetostatics
1994-09-26
A GRASP for the Biquadratic Assignment Problem
1997-04-11
Genetic Programming in Database Query Optimization
1999-02-08
Relativizable And Nonrelativizable Theorems In The Polynomial Theory Of Algorithms
1997-06-13
Nikolai K. Vereshchagin
-- 1-- Quark Masses
1996-07-23
Compressed Introns in a Linkage Learning Genetic Algorithm
1997-12-21
A Dual Framework for Lower Bounds of the Quadratic Assignment Problem Based on Linearization
1998-03-04
Automated Measurement of Retinal Vascular Tortuosity
1970-01-01
Cryptanalysis of a Voting Scheme
1996-12-17
Markus Michels delta Patrick Horster
Avoiding Conflict Misses Dynamically in Large Direct-Mapped Caches
1998-09-16
Layout Rules for Graphical Web Documents
1999-05-08
Interprocedural Control Flow Analysis of First-Order Programs with Tail Call Optimization
1997-02-20
Stability of Ginzburg-Landau Vortices
1997-04-26
S. Gustafson
On Evolutionary Dynamics
1997-11-19
Christian V. Forst
Hidden Capabilities: Towards a Flexible Protection Utility for the Internet
1997-06-29
D. Hagimont
A Calculus of Distributed and Parallel Processes An Approach Using Linear Logic and Algebraic Specification
1999-01-21
Clemens H. Cap
A Parallel Interior Point Method for Stochastic Linear Programs
1996-07-10
An Asymptotic Analysis of Fixed-Rate Lattice Vector Quantization
1996-07-02
David L. Neuhoff
Sigma-Delta Modulator Fault Diagnosis Using An Unsupervised Expert Network
1993-10-29
Michael James Campin
Computing Functions with Spiking Neurons in Temporal Coding
1997-10-15
Berthold Ruf
Controlling Inference in Plan Recognition
1993-08-23
James Mayfield
Scheduling Block-Cyclic Array Redistribution
1997-02-18
Acquisition of Narrow Focus Prosody
1999-03-16
Stefanie Jannedy
Problems In Low-Dimensional Topology
1997-05-23
Frank Quinn
A Time Domain Method For Joint Estimation Of Time Delays, Doppler Shifts And Spatial Signatures
1998-06-24
On Coherence Approach to Logic Program Revision
1995-08-15
Improving Convergence and Solution Quality of Hopfield-Type Neural Networks with Augmented Lagrange Multipliers
1970-01-01
Stan Z. Li
Chapter 21 Learning as Goal-Driven Inference
1995-04-03
Modeling of Buffered Multiple Bus Multiprocessor Systems in a Non-Uniform Traffic Environment
1999-01-24
Indian Hill C Style and Coding Standards as amended for U of T Zoology
1990-04-21
Porting a Vector Library: a Comparison of MPI, Paris, CMMD and PVM
1997-02-04
Jonathan C. Hardwick
The Effect of Observations on the Complexity of Model--Based Diagnosis
1998-10-27
A Review of the Fundamental Effects of Multimedia Information Presentation on Learning
1996-06-28
Lawrence J. Najjar
Shared Virtual Memory: Progress and Challenges
1997-10-13
QCD corrections to charged Higgs-mediated
1998-05-13
Howard E. Haber
Discrete Derivative Approximations with Scale-Space Properties: A Basis for Low-Level Feature Extraction
1994-04-13
Tony Lindeberg
Internet Routing Instability
1997-08-05
A lumped DC-50 GHz amplifier using InP/InGaAs HBTs
1999-01-12
Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata Extended Abstract
1999-03-24
Spectral Stochastic Processes Arising in Quantum Mechanical Models With a
1997-04-26
Average Case Analysis of
1994-07-01
A High-Performance Data Server for High Energy Physics
1997-05-29
Digital Image Coding For Robust Multimedia Transmission
1998-02-20
Sheila S. Hemami
Language Support for Mobile Agents
1995-12-29
Simple PAC learning of simple decision lists
1995-06-27
Jorge Castro
On The Expected Value Of Games With Absentmindedness
1997-04-20
A General Incremental Technique for Maintaining Discovered Association Rules
1996-12-19
Gravitational Instantons in Ashtekar's Formalism
1998-05-25
CLNS 97/1503 CLEO 97-19 CLEO CONF 97-12 EPS 338 To be submitted to PRD
1998-03-18
A Computational Theory of Dynamical Modeling in Scientific Reasoning
1997-04-29
Overcoming the Network Bottleneck in Mobile Computing
1994-11-17
Synthetic Generation Of The Gradient For An Iterative Controller Optimization Method
1997-03-04
Recent Experiments with INQUERY
1997-09-22
Perturbative Contributions to the Electroweak Interface Tension
1998-05-22
An Error Metric for Binary Images
1996-02-02
A J Baddeley
The Performance of Holding Versus Releasing Locks in a Multiprogrammed Multiprocessor
1995-04-04
Advanced ATPG for Delay-Faults in CPLDs
1997-12-22
Texture Image Analysis for Paper Anisotropy and Its Variability
1996-01-07
J. Scharcanski
Characterization of Message Ordering Specifications and Protocols
1998-07-15
Resource Scheduling for Composite Multimedia Objects
1998-09-09
Solvable Groups of Automorphisms of Stable Planes
1995-08-20
Construction Of Markovian Coalescents
1997-12-12
Steven N. Evans
Verification of Pipelined Microprocessors by Correspondence Checking in Symbolic Ternary Simulation
1998-06-15
Data Categories
1998-03-11
C. Barry Jay
Loop Pipelining for Scheduling Multi-Dimensional Systems via Rotation
1997-03-19
Implementation of Long Constraint Length Viterbi Decoders using Programmable Active Memories
1995-08-05
Rejecting Rotational Disturbances On Small Disk Drives Using Rotational Accelerometers
1998-03-19
Measuring Proxy Performance with the Wisconsin Proxy Benchmark
1998-04-14
Validation Of
1995-08-08
Restructuring the BLAS Level 1 Routine for Computing the Modified Givens Transformation
1998-01-29
Tim Hopkins
Erik Kjaer Pedersen
1997-05-22
A Genetic Algorithm for Learning Weights in A Similarity Function
1997-01-27
Fast Implementations of RSA Cryptography
1995-08-05
Scattering Analysis Using Fictitious Wavelets
1997-03-30
Filename: Draft-Ietf-Avt-Reconsider-00.ps
1998-08-14
Internet-draft Jonathan Rosenberg
Three Mobile Robots For Space Context
1995-09-26
Dynamic Decision Making in Stochastic Partially Observable Medical Domains: Ischemic Heart Disease Example.
1997-05-20
Milos Hauskrecht
A Modal Logic for muCRL
1994-10-11
J. F. Groote
Systems Research Center
1998-04-03
A Set-Oriented Meta-Interpreter Driven By a "relational " Trace for Deductive Databases Debugging
1998-07-27
Sarah Mallet
Formal Verification of an Interactive Consistency Algorithm for the Draper FTP Architecture Under a Hybrid Fault Model
1994-07-06
Adaptive Routing in Irregular Networks Using Cut-Through Switches
1996-06-20
OPUS 1.0 - Reference Manual
1997-12-18
On Serial Multiplication with Neural Networks
1998-01-26
Hybrid Control of a Manufacturing Transport System
1997-09-26
Some statistical remarks on the derivation of BER in amplified optical communication systems
1997-10-07
Unknown
1999-03-30
Peter C. Wayner
Joint Segmentation And Image Interpretation
1996-08-19
Low Temperature Phase Diagrams For Quantum Perturbations Of Classical Spin Systems
1997-04-26
Hidden State and Reinforcement Learning with Instance-Based State Identification
1996-04-11
R. Andrew Mccallum
Forcing Behavioral Subtyping Through Specification Inheritance
1997-03-19
Concept Language With Number Restrictions and Fixpoints, and Its Relationship With Mu-Calculus
1994-10-20
Giacomo Maurizio Lenzerini
High Fidelity Image Compression with Nearly Lossless Arithmetic Coding
1998-04-14
Design Patterns for Binding in Distributed Systems
1995-09-01
Choice of Wavelets for Image Compression
1997-02-12
On Implementing EREW Work-Optimally on Mesh of Trees
1998-02-03
Virtual Memory Management for Interactive Continuous Media Applications
1997-05-21
Admission Control Algorithms and Reservation Protocol for Supporting Mobile Hosts in an Integrated Services Packet Network
1996-12-09
Blind Source Separation of Real World Signals
1997-03-13
Shape From Shading Using Linear Approximation
1970-01-01
Digital Neurochip Design
1995-03-28
James B. Burr
A Formal Description of the ISPW-6 Software Process Example
1995-06-17
Experiences with DFS as a filesystem in the Norwegian MetaCenter for Supercomputing
1997-07-25
The Ginzburg-Landau Equation Iii. Vortex Dynamics *
1997-04-14
A Personal News Service based on a User Model Neural Network
1995-11-09
Inference-Based Constraint Satisfaction Supports Explanation
1996-11-29
Non-Blocking Garbage Collection for Multiprocessors
1997-09-03
Design and VLSI Implementation of an Address Generation Coprocessor
1999-01-20
Shared-Memory Performance Profiling
1997-03-26
Metadata: Standards for Retrieving WWW Documents and Other Digitized and Non-Digitized Resources
1998-09-11
Diann Rusch-feja
A New Look at the Easy-Hard-Easy Pattern of Combinatorial Search Difficulty
1996-04-02
Dorothy L. Mammen
Proving Possibility Properties
1997-12-09
Leslie Lamport
Dynamics and Control of Direct-Drive Robots with Positive Joint Torque Feedback
1996-09-22
Lean Artificial Neural Networks Regularization Helps Evolution
1998-06-23
A Note on the Characterization of the Global Maxima of a Tangentially Convex Function Over a Convex Set
1996-06-24
Yuri S. Ledyaev
On The Propagation Properties Of Surface Waves
1996-09-13
A Renormalization Group Approach to Relativistic Cosmology
1998-05-12
Abstraction Methods for Resource Allocation
1994-04-29
GraphDB: Modeling and Querying Graphs in Databases
1995-11-15
On the Psychophysics of the Shape Triangle
1998-04-25
The Path-wise Approach to Data Flow Testing with Pointer Variables
1996-03-30
Learning Stable Concepts in Domains With Hidden Changes in Context
1996-06-14
Analyzing the Latency of the Totem Multicast Protocols
1997-09-27
Applying Update Streams in a Soft Real-Time Database System
1996-06-26
Matching a Set of Strings with Variable Length Don't Cares
1996-02-29
The "Session Tty" Manager
1993-03-05
A System and Traffic Dependent Adaptive Routing Algorithm for Ad Hoc Networks
1999-02-12
Ligia: A Java based Linda-like Run-time System with Garbage Collection of Tuple Spaces
1998-08-18
Ronaldo Menezes
Hot Curves For Modelling And Recognition Of Smooth Curved 3d Objects
1995-11-05
On Finding Duplication in Strings and Software
1995-07-27
Brenda S. Baker
A Type-Based Compiler for Standard ML
1970-01-01
Zhong Shao
Prairie: A Rule Specification Framework for Query Optimizers
1994-12-23
Malicious Membership Queries and Exceptions
1994-03-12
neutrino oscillation appearance search at CERN CHORUS
1997-02-10
Revision History
1999-02-11
Noise in Integrate-and-Fire Neurons: From Stochastic Input to Escape Rates
1999-04-14
Attributes And Applications Of The Corwin-Greenleaf Multiplicity Function
1996-01-02
Ronald L. Lipsman
Using ERMIA for the Evaluation of a Theorem Prover Interface
1998-05-28
Security Proofs for Entity Authentication and Authenticated Key Transport Protocols Employing Asymmetric Techniques
1997-03-28
Simon Blake-wilson
J.Mitchell
1997-07-11
Organization of Final Year Projects.
1996-04-29
Kenneth M. Dawson-howe
VisAll: A new Tool to Visualise the Parallel Execution of Logic Programs
1998-01-16
On The Pending Event Set And Binary Tournaments
1997-03-13
Polymorphically Order-Sorted Types in
1997-05-16
Duality in N
1998-04-22
Paolo Di Vecchia
Semi-Iterative Inference With Hierarchical Models
1999-02-24
A. Chardin
New SVD Backend Electronics
1998-07-17
J. S. Lange
On The Robustness And Efficiency Of The Fully Adaptive Multigrid Method
1996-06-22
U. R Ude
CSIRO Routing and Ad-Hoc Experiments at TREC6
1998-11-25
Arkadi Kosmynin
Exotic Searches at HERA
1997-08-15
Masahiro Kuze
Randomized Wait-Free Concurrent Objects extended
1997-09-03
Maurice Herlihy
Statistical Neurodynamics: A model for universal properties of EEG - data and perception
1998-04-07
The IceT Framework for Metacomputing
1997-02-17
Metrics for Temporal Difference Learning Mance E. Harmon
1997-07-24
Predicting the Output from a Complex Computer Code when Fast Approximations are Available
1998-09-15
M. C. Kennedy
Computing Replica Placement in Distributed Systems
1996-12-12
Behavioural Retrieval from Class Libraries
1999-02-03
On Composable Properties of Term Rewriting Systems
1998-12-02
Cleaning Policies in Mobile Computers Using Flash Memory
1998-05-25
ZEUS-2D: A Radiation Magnetohydrodynamics Code for Astrophysical Flows in Two Space Dimensions: III. The Radiation Hydrodynamic Algorithms and Tests
1994-05-03
delta-uniform BSS Machines
1998-02-16
The GENESIS Benchmark Suite: Current State and Results
1994-02-09
An Algorithm to Evaluate Quantified Boolean Formulae and its Experimental Evaluation
1999-03-10
Replication Techniques For Speeding Up Parallel Applications On Distributed Systems
1994-08-24
Modules, Macros and Lisp
1992-11-02
Christian Queinnec
Internet Billing Service Design And Prototype Implementation
1994-05-03
Comparing Reference Counting and Global Mark-and-Sweep on Parallel Computers
1998-07-06
AIAA 95-2407 Augmented Shock Wave Severance of Materials
1995-09-18
The Union of Moving Polygonal Pseudodiscs - Combinatorial Bounds and Applications
1995-09-05
Boolean algebras, Stone spaces, and the iterated Turing jump
1995-11-29
Discovery of Radio-loud Broad Absorption Line Quasars Using Ultraviolet Excess and Deep Radio Selection
1998-09-23
Approximation Of Dissipative Partial Differential Equations Over Long Time Intervals
1994-10-05
D. A. Jones
A Schema for Adding Dependent Types to ML
1999-03-21
An Integrated Sequence-Structure Database incorporating matching mRNA sequence, amino acid sequence and protein three-dimensional structure data
1997-12-15
Bounds on the mass gap of the ferromagnetic XXZ chain
1997-04-26
Bruno Nachtergaele
Piotr Findeisen
1994-12-09
Piotr Findeisen
A Metaobject Protocol for C++
1998-05-26
Shigeru Chiba
Unroll-and-Jam Using Uniformly Generated Sets
1998-12-28
Reducing Controller Contention in Shared-Memory Multiprocessors Using Combining and Two-Phase Routing
1998-05-01
Making Trust Explicit in Distributed Commerce Transactions
1996-06-27
Macquarie Computing Reports
1993-02-08
Leonard G. C. Hamey
MLC++: A Machine Learning Library in C++
1997-08-25
The Index of Discontinuous Vector Fields
1995-08-02
A DBMS Architecture for Global Change Research
1970-01-01
On the degrees of irreducible factors of higher order Bernoulli polynomials
1996-06-27
Model-Based Matching by Linear Combinations of Prototypes
1998-09-04
A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours
1970-01-01
R. J. Van Glabbeek
Design and Analysis of Highly Available and Scalable Coherence Protocols for Distributed Shared Memory Systems using Stochastic Modeling
1970-01-01
A Fast Histogram-Based Postprocessor that Improves Posterior Probability Estimates Wei Wei, Todd K. Leen, and Etienne Barnard
1999-01-22
Concurrency Control for Overlapping and Cooperative Workflows
1996-03-19
Classifying Proteins By Family Using the Product of Correlated P-Values
1999-01-05
A Genetic Algorithm System for Predicting the OEX
1998-03-13
Optical Communication Using Micro Corner Cube Reflectors
1996-12-19
TamingGri--ths'SingularitiesinLongRange Random IsingMo dels
1997-10-03
Dedicatedtothememory Ofroland Dobrushin
Query Processing in Tertiary Memory Databases
1997-04-12
Sunita Sarawagi
Forschungsberichte des Fachbereichs Informatik
1996-07-05
The PAMELA Approach to Performance Modeling of Parallel and Distributed Systems
1994-02-01
Arjan J. C. Van Gemund
A Design Environment for Addressing Architecture and Compiler Interactions
1999-04-03
Complexity of Problems on Graphs Represented as OBDDs
1998-03-25
Object Indexing using an Iconic Sparse Distributed Memory
1995-04-22
Message Specification Language MSL
1970-01-01
On Computing Minimal Models
1996-12-06
' $ % ' $ %
1998-09-21
Enhancing Human Face Detection using Motion and Active Contours
1998-06-01
An ADM 3+1 formulation for Smooth Lattice General Relativity
1998-05-05
Leo Brewin
Effective Bandwidths for Stationary Sources
1997-10-16
An Approach for Cost Effectiveness Analysis of Multiversion Software Using Software Reliability Models
1998-06-29
Solving Time-Critical Decision-Making Problems with Predictable Computational Demands
1995-08-11
The Complexity of Counting Graph Homomorphisms
1999-04-21
__________________________________
1995-09-28
Efficient Generalized LR Parsing of Word Lattices
1994-12-16
Using Programmatic Motifs and Genetic Programming to Classify Protein Sequences as to Cellular Location
1998-08-13
Extracting the local clique set from a Markov/Gibbs random field
1995-12-19
I. D. Longstaff
Issues in Reliable Network Memory Paging
1995-11-16
Evangelos P. Markatos
Two Semantics for a Language of Reactive Objects
1995-03-31
An Approach to Ease the Redevelopment of a Parallel Simulation Package
1996-12-23
Noun-Phrase Analysis in Unrestricted Text for Information Retrieval
1997-02-15
Linux Access HOWTO
1997-03-29
High Velocity, High Excitation Neutral Carbon in a Cloud in the Vela Supernova Remnant
1994-10-19
Central Mechanisms in Human Enhanced Physiological Tremor
1999-01-14
Bringing Software Tools to the Web - Architecture Issues and Porting Experience
1998-07-11
Edge Layers in Thin Elastic Plates
1996-09-12
The Practice of Formal Methods in Safety Critical Systems
1997-12-15
Fast Hybrid Solution Of Algebraic Systems
1997-06-25
Checking Computations in Polylogarithmic Time
1994-04-21
Realtime Database Support for Environmental Visualization
1996-10-09
Conditions For The Absence Of Positive Solutions Of A First Order Differential Inequality With A Single Delay
1996-02-29
Erwin Kozakiewicz
Estimating theReliability of Neural Network Classifications
1996-07-23
Osinski, M. by ed.
1997-08-20
Case Based Preliminary Building Design
1999-03-28
Verifying Systems with Replicated Components in Mur phi
1996-06-13
Mixture Models Based on Homogeneous Polynomials
1997-05-28
FLIC: A Translator for Same-Source Parallel Implementation of Regular Grid Applications
1997-02-26
John Michalakes
A User Agent Configuration Mechanism For Multimedia Mail Format Information
1994-06-03
Group N. Borenstein
A Review of CAS Mathematical Capabilities
1995-04-15
Michael Wester
Katz Model Prediction of Caenorhabditis elegans Mutagenesis on STS-42
1998-04-10
An analysis of World-Wide Web Proxy Cache performance and its application to the modelling and simulation of network traffic.
1996-06-10
Implementing Functional Languages with Fast Equality, Sets and Maps: an Exercise in Hash Consing
1997-04-17
Jean Goubault
A Visual Programming Environment for Composing Interactive Performance Systems
1997-10-17
Bernhard Wagner
Functions With Time And Frequency Gaps
1996-10-17
Energy Minimization in High-Power Mill System via Wavelets
1998-12-17
A Proposal for a Powerful, Efficient, Algebraic Reduction, Parallel Spreadsheet
1995-02-01
Andrew P. Wack
Semiotics of Music
1997-05-12
Guerino Mazzola Prelminaries
Capacity of Rayleigh Fading Channels under Different Adaptive Transmission and Diversity-Combining Techniques
1997-04-10
ADAPTIVE: A Framework for Experimenting with High-Performance Transport System Process Architectures
1998-01-10
Comparing the Performance and Programmability of the DASH and Cedar Multiprocessors for Scientific Loads
1995-12-13
Modeling Facilities for the Component-based Software Development Method
1998-11-12
Register reference Cache Cache reference
1996-10-29
Feature-Based Face Recognition Using Mixture-Distance
1995-11-07
Writing, Supporting, and Evaluating Tripwire: A Publically Available Security Tool
1994-03-14
A Type system for Object-Oriented Database Programming and Querying Languages
1998-08-18
Laurent Perron
AspectIX - An Aspect-Oriented and CORBA-Compliant ORB Architecture
1999-05-06
Tight Upper And Lower Bounds On The Path Length Of Binary Trees
1996-03-04
On the Edge-Coloring of Split Graphs
1996-10-27
An Implementation for Mainta
1998-02-05
Michael Goldwasser
Performance Evaluation of Large-Scale Parallel Clustering in NOW Environments
1997-03-06
Quality of Information in Relational Databases and Its Use for Reconciling Inconsistent Answers in Multidatabases
1997-05-07
Igor Rakov
Accepted for publication in Microprocessors and Microsystems.
1998-05-28
3D Reconstruction of Topographic Objects at the University of Massachusetts
1997-07-30
Acoustic Backing-Off In The Local Distance Computation For Robust Automatic Speech Recognition
1998-09-01
A Distributed Bioremediation Problem With Modal Switching
1998-08-31
Thomas I. Seidman
Computer Aids for Decision-Making in Radiology
1999-01-25
Embedding MSQL Queries into a Logic Based Transaction Processing Framework
1994-11-16
The asymptotic behavior of the Hurwitz binomial distribution
1998-06-16
Jim Pitman
A Multithreaded Message-Passing System for High Performance Distributed Computing Applications
1998-07-03
Belief Spaces as Sets of Propositions
1994-03-25
Stuart C. Shapiro
Wavelet-Based Spread Spectrum Communications
1998-09-09
Interest-Based Information Filtering and Extraction in Natural Language Understanding Systems
1995-11-09
Ashwin Ram
Wavelets Based on Orthogonal Polynomials
1996-02-22
An Evaluation of Bipartitioning Techniques
1998-01-19
Latent and Manifest Monotonicity in Item Response Models
1997-08-11
An Object-Based Design Method for Concurrent Programs
1995-06-17
C. B. Jones
Applying Parallel Learning Models of Artificial Neural Networks To Letters Recognition From Phonemes
1996-05-29
Byoung Jik Lee
Harmonic Morphisms, Conformal Foliations and Shear-Free Ray Congruences
1998-07-30
Information Rates of Pre/Post Filtered Dithered Quantizers
1997-12-18
A Framework of Simplifications in Learning to Plan
1995-08-29
Multisensor Image Registration
1997-09-19
Geographic Information Systems Applications on an ATM-Based Distributed High Performance Computing System
1997-04-29
Fabrication Processes For Magnetic Microactuators With Polysilicon Flexures
1996-05-01
Finite Representation of Infinite Query Answers
1992-11-09
A New Derivative-Free Descent Method for the Nonlinear Complementarity Problem
1999-01-08
StratOSphere: Mobile Processing of Distributed Objects in Java
1998-04-30
Functions Computable with Limited Access to NP
1996-07-05
Mitsunori Ogihara
Parameter-Dependent Lyapunov Functions for Real Parametric Uncertainty
1998-04-30
Toward More Powerful Recombinations
1995-05-06
HICAP: An Interactive Case-Based Planning Architecture and its Application to Noncombatant Evacuation Operations
1999-01-26
Efficient Web Searching Using Temporal Factors
1999-05-07
The Complexity of Approximate Optima for Greatest Common Divisor Computations
1998-02-23
Resource Sensitivity in the Syntax-Semantics Interface and the German Split NP Construction
1998-08-13
Jonas Kuhn
On Rational Expectations in a Model of Inflation
1994-06-02
M. A. Virasoro
Gaussian Processes for Classification: Mean Field Algorithms
1999-02-16
Ole Winther
The Token Flow Model
1994-11-06
Any Ground Associative-Commutative Theory Has a Finite Canonical System
1997-11-06
National HPCC Software Exchange
1995-02-14
Learning an Optimally Accurate Representational System
1992-09-29
Adaptive Genetic Algorithms Based on Coevolution with Fuzzy Behaviors
1998-04-13
Maximum Renamable Horn Sub-CNFs
1997-03-03
Endre Boros
Transformations between HCLP and PCSP
1996-05-07
Improvement Of Tdoa Measurement Using Wavelet Denoising With A Novel Thresholding Technique
1998-06-19
A Help Desk Application for Sharing Resources Across High Speed Networks Using a Multi-Agent Network Architecture
1997-07-28
PL25: Glueballs and other
1997-12-03
Martin Faessler
A Description Logic with Transitive and Converse Roles and Role Hierarchies
1998-12-08
Appeared in Neural Computation 56:869-884. This is the Tech Report version, released as Tech Report CMU-CS-93-117.
1994-05-13
Probable networks and plausible predictions --- a review of practical Bayesian methods for supervised neural networks
1995-03-06
Atomic Multicast harder than Atomic Broadcast
1998-09-01
Rachid Guerraoui
Efficient Goal-Directed Exploration
1996-06-12
Mining Generalized Association Rules
1996-02-21
A Proposal to Study Type Systems for Computer Algebra
1995-08-18
Interactive Occlusion and Automatic Object Placement for Augmented Reality
1996-06-01
Representation Varieties of the Fundamental Groups of Compact Non-Orientable Surfaces
1999-04-21
Fakultat Fur Mathematik
Time Scale Decomposition of Stochastic Process Algebra Models
1997-06-13
Vassilis Mertsiotakis
On the Sup-norm Condition Number of the Multivariate Triangular Bernstein Basis.
1997-03-18
Logical Specification of Bulk Updates and Sequential Updates
1996-10-01
Representation and Querying in Temporal Databases: the Power of Temporal Constraints
1995-12-04
Manolis Koubarakis
Group Behaviors for Systems with Significant Dynamics
1995-06-23
Use of an Implicit Filtering Algorithm for Mechanical . . .
1996-01-05
Lower Case
Aspects of Object Bases in Scientific Computing
1997-05-30
Guido Moerkotte
AIDA-based Communication for Distributed Time-critical Applications
1997-04-06
Azer Bestavros
The Complexity of Model Checking for Circumscriptive Formulae
1998-02-06
Marco Cadoli
VisualMOQL: The DISIMA Visual Query Language
1999-03-01
A Parallel GRASP for MAX-SAT Problems
1997-04-11
A Comparison of two Parallelization Strategies for TRACE
1994-12-12
Approximating Quadratic Programming With Bound Constraints
1999-03-02
Yinyu Ye
Location Of Central Nodes In Time Varying Computer Networks
1997-03-30
Failure Detectors in Omission Failure Environments
1996-09-25
Reconfigurable Processors
1995-05-10
Matching Index Expressions for Information Retrieval
1999-01-06
Stability of the Iterative Process
1997-06-06
B. U. A. P. Mexico
The Generation of a Higher-Order Online Partial Evaluator
1995-08-02
Design of a foveated log-polar image sensor in standard CMOS technology
1998-03-27
SMART High Precision : TREC 7
1999-04-29
"Disk Cooling" in Parallel Disk Systems
1996-06-05
Formally Verifying a Microprocessor Using a Simulation Methodology
1970-01-01
Integrated Treatment of Updates in Deductive Databases: the FOLRE Project Extended Abstract
1998-06-15
Comparing Timed C/E Systems with Timed Automata
1997-04-18
Supporting Collaborative Learning during Information Searching
1996-03-07
Introducing Contextual Objects in an Adaptive Framework for Wide-Area Mobile Computing
1998-07-15
Application Level Fault-Tolerance for ScaLAPACK in the NetSolve Environment
1998-12-01
Kim Buckner
An Accurate Worst Case Timing Analysis Technique for RISC Processors
1998-11-06
The "Casual Cashmere Diaper Bag": Constraining Speech Recognition Using Examples
1998-11-25
Paul Martin
Report on the Formal Specification and Partial Verification of the VIPER Microprocessor
1997-06-14
An AI-based Design of a Driver Information Unit
1996-05-13
Integrating Semantic Structure and Technical Documentation in Case-Based Service Support Systems
1998-04-08
Gerd Kamp
Time-Offsets To
1994-01-21
Ken Tindell
Problèmes De Satisfaction De Contraintes Values
1970-01-01
A Parallel Approach to Hierarchical Radiosity
1998-05-11
Computational Power of Neural Networks: A Kolmogorov Complexity Characterization
1995-12-28
Hava T. Siegelmann
Asymptotic Convergence of the Steepest Descent Method for the Exponential Penalty in Linear Programming
1995-10-27
Choosing a Conformal Frame in Scalar-Tensor Theories of Gravity with a Cosmological Constant
1998-05-05
Yasunori Fujii
Lottery Scheduling: Flexible Proportional-Share Resource Management
1996-10-24
Object-Oriented Programming in Typed Lambda-Calculus: Exercises and Solutions
1996-08-18
Benjamin C. Pierce
Formalization of OODB Models
1994-10-18
Gottfried Vossen
Lower Bounds on Power-Dissipation for DSP Algorithms
1998-02-18
Naresh R. Shanbhag
Collaborative Environmental Planning with GeoMed
1996-09-24
Specifying and Managing Role-Based Access Control within a Corporate Intranet
1998-02-10
Compiler Techniques for Effective Communication on Distributed-Memory Multiprocessors
1997-10-10
Micro Genetic Algorithms in finding the optimal frequency for stabilizing atoms by high-intensity laser fields
1998-10-25
Thetis: An ANSI C Programming Environment Designed for Introductory Use
1997-12-02
A Quantitative Approach To Dataflow Architecture Design
1997-06-09
A Study of Large Object Spaces
1999-01-16
Process Migration in Sprite: A Status Report
1993-10-14
Design and Implementation of A Packet-Switched Phone Server
1998-01-30
A Fuzzy Neural Network Approach to Classification Based on Proximity Characteristics of Patterns
1997-12-17
Efficient Implementation of Interval Arithmetic Narrowing Using IEEE Arithmetic
1997-04-04
An Expert System Using Nonmonotonic Techniques for Benefits Inquiry in the Insurance Industry
1997-06-03
Context Learning with the SelfOrganizing Map
1997-04-29
ELROS - An Embedded Language for Remote Operations Service
1970-01-01
A Representational Approach To Knowledge And Multiple Skill Levels For Broad Classes Of Computer Generated Forces
1997-12-05
Error Reduction By Parallel Repetition - the State of the Art
1995-11-06
Uriel Feige
Core Migration for Dynamic Multicast Routing
1995-10-25
Design and Implementation of a Parallel Constraint Satisfaction Algorithm
1998-11-07
Convex Analysis Of Spectrally Defined Matrix Functions
1999-03-23
Alberto Seeger<f. E+> +<f. E
The Synchrotron Integrals with Coupling
1998-04-10
D. Sagan
The Use of Explicit Goals for Knowledge to Guide Inference and Learning
1994-09-08
Security Proofs for Entity Authentication and Authenticated Key Transport Protocols Employing Asymmetric Techniques
1997-03-28
Simon Blake-wilson
Evaluation of Learning Performance of Situated Embodied Agents
1997-10-24
Maja J Matari'c
The HOL-UNITY Language Reference Manual Version 1.0
1998-03-08
Trends in Embedded Systems Technology: An Industrial Perspective
1998-01-06
The Problem
1998-09-23
Chaotic time series Part I: Estimation of some invariant properties in state space
1995-02-13
Linear transformation of Hidden Markov Models based on linear regression
1994-08-22
Surgery And Geometric Topology
1970-01-01
Constructing Huffman Trees in Parallel
1998-06-16
SHARP : A Maximum-Likelihood Heavy-Atom Parameter Refinement Program for the MIR and MAD Methods.
1997-02-07
Efficient Software-Based Fault Isolation
1994-10-02
Teaching Image Processing With Khoros
1995-09-06
Using Complementation And Resequencing To Minimize Transitions
1998-08-06
A Relap/nestle Engineering Simulator For Shared-Memory Multiprocessors
1996-12-30
An Approach to Data Compression in Coding Chess Positions
1998-05-19
Bernhard Balkenhol
Structures Of The Dwarf Elliptical Galaxies Ngc185 And Ngc205
1997-03-03
Technology and Courage
1999-03-26
Ivan Sutherland
A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability
1995-09-29
Unknown
1995-07-26
Unknown
1996-02-23
Electrostatic Self-Assembly Aided by Ultrasonic Vibration
1998-08-17
A Video Conferencing Testbed on ATM: Design, Implementation and Optimizations
1995-03-22
The Stakes of multilinguality : Multilingual Text Tokenization in Natural Language Diagnosis
1997-11-05
Emmanuel Giguet
Algorithmic Bombardment for the Iterative Solution of Linear Systems: A Poly-Iterative Approach
1994-10-08
Distributed Multimedia Application and Quality of Service: A Review
1997-12-08
Learning to Move a Robot with Random Morphology
1998-10-05
CRC-TR-9460, IEEE International Conference on Image Processing, Vol. 3, pp. 625-9, November 1994 1
1970-01-01
On Presenting Monotonicity and On . . .
1997-10-02
David Gries
The Adaptive Cross Validation Method: Design and Control of Dynamical Systems
1998-02-27
Implementation of a Real-Time Database System
1996-02-28
Concurrent Common Knowledge: Defining Agreement for Asynchronous Systems
1996-12-08
A Parallel Processing Approach to Transition Prediction for Laminar Flow Control System Design
1995-01-23
Nilpotente Liealgebren und endliche Pro-p-Gruppen
1995-08-21
J Urgen Wisliceny
Psi-Series of Quadratic Vector Fields on the Plane
1997-05-13
Optimized Approximation Spaces for Operator Equations
1998-08-24
Rajeev Motwani
1995-08-10
Rajeev Motwani
The Hierarchical Dependence Diagram: Improving Design for Reuse in Object-Oriented Software Development
1997-07-15
Research directions for automated software verification: Using trusted hardware
1998-02-27
Why Do Nearest-Neighbour Algorithms Do So Well?
1997-11-27
Learning Deformable Models for Tracking Human Motion
1998-07-10
A New Approach to Control Systems for Medium-Scale Accelerators
1996-04-08
Complex Autoregressive Model and Its Properties
1999-04-07
Parallel Cost Approximation Algorithms For Differentiable Optimization
1997-07-25
Michael Patriksson
Multidimensional Hyperpresentations In A Distributed Multimedia System
1995-02-03
Improving the Performance of Boosting for Naive Bayesian Classification
1999-01-19
Electronic Properties of Amorphous Silicon and Its Interface With Crystalline Silicon
1998-04-29
Course notes on Braids
1998-07-20
Approximating Shortest Paths on a Convex Polytope in Three Dimensions
1996-08-17
An Improved Model of Snakes for Model-Based Segmentation
1995-09-19
Petia Radeva
Highlights of the Theory
1998-09-17
Boris Z. Kopeliovich
The Sequoia 2000 Object Browser
1995-06-03
Efficient Stft Approximation Using A Quantization And Differencing Method
1995-03-12
A Note on Negligible Functions
1998-01-23
Mihir Bellare
ParaPET A Parallel Programming Environment Toolkit P5404 GP MIMD
1992-11-03
Optimizing Symbolic Model Checking for Constraint-Rich Models
1999-03-31
Representing Control in the Presence of First-Class Continuations
1992-04-27
Average Kissing Numbers for Non-Congruent Sphere Packings
1995-06-06
Allowing Users to Weight Search Terms
1998-12-01
Video Mosaicing using Manifold Projection
1997-08-21
MAGPIE: MPI's Collective Communication Operations for Clustered Wide Area Systems
1998-11-05
Improved Heterogeneous Distance Functions
1997-01-22
Objective:
1999-02-27
A Practical System for Planning Safe Trajectories for Manipulator Robots
1998-04-09
Experimental Evaluation ofa Chatter Free Sliding Mode Control for Lateral Control in AHS
1997-03-29
Document Categorization and Query Generation on the World Wide Web Using WebACE
1998-06-09
CADiZ: An Architecture for Z Tools and its Implementation
1994-11-15
Amd - An Automounter
1995-12-07
Defective Coloring Revisited
1996-10-24
Referring to Fictional Characters
1996-08-12
Edward N. Zalta
Fixing Two BSD TCP Bugs
1997-09-17
Mark Allman
Oblivious Transfers and Privacy Amplification
1998-07-15
Parametric correlation of Coulomb blockade conductance peaks in chaotic quantum dots
1997-12-11
Discontinuous Interface Depinning from a Rough Wall
1995-10-24
Determination of the
1998-05-06
The D Collaboration
Forward Integrity For Secure Audit Logs
1998-04-17
An Overview of SORCERER: A Simple Tree-Parser Generator
1994-08-09
Terence J. Parr
Adaptive Web Sites: Automatically Synthesizing Web Pages
1998-06-16
Ferroelectric effects in PZT
1998-04-08
Some Experiments in Evolutionary Synthesis of Robotic Neurocontrollers
1996-05-21
Comparison and benchmarks for import of VPF geographic data from object-oriented and relational database files
1997-06-12
Shape Optimization of Piecewise Rational Cubics
1997-06-27
Adaptive leaky integrator models of cerebellar Purkinje cells can learn temporal pattern clustering
1998-03-05
Software Assistance for Data Caches
1998-09-09
A Combinatorial Analysis of Enumerative Data Structures for Assembly Planning
1994-11-11
Jan D. Wolter
Integrating Local And Global Constraints In A Neural Understanding System
1996-02-15
Stabbing Oriented Convex Polygons in Randomized On² Time
1994-05-27
Compound Poisson Approximation For Dissociated Random Variables Via Stein's Method
1999-04-21
Peter Eichelsbacher
Acknowledgments
1997-10-29
David Eric Moriarty
Dem Extraction From High-Resolution Direct Digital Airborne Imagery
1998-06-22
Using Temporal Constraints Networks to manage Temporal Scenario of Multimedia Documents
1998-06-23
Active Exploration in Dynamic Environments
1998-09-29
Block Sorting Text Compression - Final Report
1996-04-23
Peter Fenwick
Laplace Transform and Unitary Highest Weight Modules
1996-02-06
User as Student: Towards an Adaptive Interface for Advanced Web-Based Applications
1997-06-09
Peter Brusilovsky
Recursion Versus Iteration at Higher-Orders
1997-09-25
A. J. Kfoury
Making Large-Scale Support Vector Machine Learning Practical
1998-08-10
Concurrent Checking and Unidirectional Errors in Multiple-Valued Circuits
1995-11-03
Connectionist Architectural Learning For High Performance Character And Speech Recognition
1995-09-28
UNIVERSITaT PASSAU
1997-09-24
Cache Consistency in Hierarchical-Ring-Based Multiprocessors
1992-09-29
RANDOM WALK ON PERIODIC TREES Christiane Takacs
1997-01-17
Christiane Takacs
On Exact and Approximate Cut Covers of Graphs
1995-08-10
Neurofuzzy Construction Algorithms
1998-01-18
K. M. Bossley
TAME: A Specialized Specification and Verification System for Timed Automata
1996-12-11
Where do I begin? A Problem Solving Approach in Teaching Functional Programming
1997-05-27
Simon Thompson
Towards the Embedding of On-Line Hand-Eye Calibration into Visual Servoing
1999-03-30
Nicolas Andreff
A Tool for Proving
1998-07-09
Model Based Pose Estimation of Articulated and Constrained Objects
1994-07-08
Efficient Computation of the Singular Value Decomposition with Applications to Least Squares Problems
1994-10-31
In: Wolfgang Kehrein Richard Wiese eds. 1998:
1999-01-05
Formalisms for Multi-Agent Systems
1997-09-03
Gunther Gorz, Marcus Kesseler, Jorg Spilker, Hans Weber
1996-05-14
Visual Glue
1998-10-30
Attribute-Oriented View Definitions in Relational and Deductive Databases
1997-09-18
Errors in binary images and an L p version of the Hausdorff metric
1996-02-02
A. J. Baddeley
Comparison of Hardware and Software Cache Coherence Schemes
1996-10-18
Information Gathering as a Resource Bounded Interpretation Task
1998-04-29
Egida: An Extensible Toolkit For Low-overhead Fault-Tolerance
1999-04-28
Complexity--Based Induction
1996-07-26
Parallel Constraint Distribution
1999-02-10
Universal Part Manipulation in the Plane with a Single Horizontally-Vibrating Plate
1998-02-19
Missing and Noisy Data in Nonlinear Time-Series Prediction
1995-09-24
A General Duality Principle for the Sum of Two Operators
1996-06-24
H. Attouch
Synchronous Up/Down Counter with Period Independent of Counter Size
1998-10-29
Minimum-Cost Spanning Tree as a Path-Finding Problem
1996-02-14
Syntax Requirements of Message Sequence Charts
1998-10-15
M. A. Reniers
PREDICTABLY DEPENDABLE COMPUTING SYSTEMS PDCS No. 58 February 1992 The CSR approach to software reliability prediction S. Brocklehurst, B. Littlewood
1995-08-08
Using Bayesian neural networks to classify segmented images
1997-04-22
Genericity and Measure for Exponential Time
1998-10-14
A Method for the Development of Legal Knowledge Systems
1998-06-23
Spectral Density Estimation via Wavelet Shrinkage
1996-08-13
Hong-ye Gao
Continuous Media Retrieval Optimizer For Hierarchical Storage Structures
1998-04-20
A Protection Scheme for a CORBA Environment
1997-10-15
Contention-free Complexity of Shared Memory Algorithms
1997-06-17
On k-Partitioning of Hamming Graphs Extended Abstract
1997-12-08
Workshop Report on
1995-03-27
. Emergence/and/explanation
1997-11-15
Motivic Equivalence Of Quadratic Forms
1999-04-21
Combining Labeled and Unlabeled Data with Co-Training
1998-10-25
Multiplicative Complexity Of Direct Sum Of Quadratic Systems
1995-05-17
Nader H. Bshouty
Biologically-based Auditory Signal Processing in Analog VLSI
1995-06-18
John Lazzaro
Resolution Decides the Guarded Fragment
1998-04-08
Hans De Nivelle
Sean B. Holden and Martin Anthony CUED/F-INFENG/TR.113 1993 February 14, 1993
1993-11-02
Parallel Decomposition of Unstructured FEM-Meshes
1996-02-14
Specialized Architectures for Optical Flow Computation: A Performance Comparison of ASIC, DSP, and Multi-DSP
1998-07-29
Synchronization Issues in Data-Parallel Languages
1995-03-03
A New Genetic Local Search Algorithm for Graph Coloring
1999-01-29
Formalization of Agents and Multi-Agent Systems. The Special Case of Category Theory Working Paper
1996-12-19
Fundamental Design Issues for the Future Internet
1999-02-05
Scott Shenker
Billing Users and Pricing for TCP
1998-07-19
Garbage Collection is Fast, But a Stack is Faster
1994-04-21
Decision Tree Grafting
1998-06-16
Geoffrey I. Webb
Automatic Task Planning for Robot Vision
1998-04-09
Efficient Mapping of Randomly Sparse Neural Networks on Parallel Vector Supercomputers
1997-02-19
Minimal Entropy Rigidity For Finsler Manifolds Of Negative Flag Curvature
1999-03-27
Jeff Boland
Language, Compiler and Parallel Database Support for I/O Intensive Applications
1996-09-30
Diffusions on Braided Spaces
1998-11-11
U. Franz
Building Pseudoprimes With A Large Number Of Prime Factors
1995-02-03
An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets
1996-04-22
Lihua Shi
Information Aggregation and Agent Interaction Patterns in InfoSleuth
1998-12-28
A Non-Interior Predictor-Corrector Path-Following Method for LCP
1997-11-11
Toward Learning Systems That Integrate Different Strategies and Representations
1993-10-21
Vasant Honavar
Server Selection using Dynamic Path Characterization in Wide-Area Networks
1997-04-15
Choosing a Reliable Hypothesis
1997-05-28
Effects of Sampling and Quantization on Frequency Estimation
1999-01-12
A Gradient Surface Evolution Approach to 3D Segmentation
1998-12-02
Aspect and Discourse Structure: Is a Neutral Viewpoint Required?
1995-04-25
Frank Schilder
A note on a multivariate analogue of the process capability index C p
1998-04-01
Unknown
1996-04-09
Douglas C. Schmidt
A Portable Uniform Random Number Generator Well Suited for the Rejection Method
1998-01-28
Hard Real-Time Scheduling: The Deadline-Monotonic Approach
1999-01-15
Haskore Music Tutorial
1997-02-15
Paul Hudak
L-Convex Functions And M-Convex Functions
1998-08-18
Inverted Pairing and Excitation Induced by Quadrupole-Quadrupole Interaction
1998-05-23
An Atemporal Frame Problem
1997-03-14
Lynn Andrea Stein
Standards--Based Hybrid Probe Instrumentation for Multiprocessor Computing Systems
1995-08-17
Proc. SPIE 3353, March 23-26 1998, Kona, Hawaii
1998-04-29
References to Remote Mobile Objects in Thor
1999-02-03
Visualization Over The Internet
1998-04-12
Andreas Kolb
Computational Aspects of the Workload Distribution in the MMPP/GI/1 Queue
1998-03-09
Partitioning Graphs Into Generalized Dominating Sets
1999-03-16
Scattering Analysis Using Fictitious Wavelet Array Sources
1996-03-31
Case Retrieval Nets
1996-02-16
Mario Lenz
Adaptive Matching Using Object Models Generated From Photometric Stereo Images
1997-01-15
Intrinsic and Extrinsic Vortex Nucleation Mechanisms in the Flow
1997-12-11
F. V. Kusmartsev
Growth Trends in Wide-Area TCP Connections
1995-02-13
Vern Paxson
Active Investigation of Functionality
1994-08-08
Approaches to Automated FMEA of Hydraulic Systems D.R.Bull, C.R.Burrows, W.J.Crowther, K.A.Edge
1996-03-06
The classic MMU, as in the DECVAX,GE 645, and Intel Pentium architectures,
1998-11-17
Force and Vision Resolvability for Assimilating Disparate Sensory Feedback
1995-03-06
Parallel Domain Decomposition And Iterative Refinement Algorithms
1995-01-21
Petter E. BjØrstady
Structural Tags, Annealing and Automatic Word Classification
1995-01-12
Creating High Performance Web Applications using Tcl, Display Templates, XML, and Database Content
1998-09-15
The Structure of Nuprl's Type Theory
1997-05-12
Robert L. Constable
Average Regression Surface for Dependent Data
1997-12-27
Efficient Implementation of Progressive Meshes
1998-02-04
Redmond Wa
Relativistic Brane Scattering
1998-05-24
A Stub Generation System For C++
1996-12-12
Graham D Parrington
Eikonal Type Equations For Geometrical Singularities Of Solutions In Field Theory
1997-04-26
HPARC: A Mixed Shared Memory and Message Passing Programming Style for Heterogeneous Local Area Networks
1998-04-05
Yosi Ben-asher
Apple Hearing Demo Reel
1998-07-28
Total Acknowledgements: A Robust Feedback Mechanism for End-to-End Congestion Control
1998-03-06
Analysis of Architectures using Constraint--Based Types
1998-11-23
Mobility Support in IPv6
1996-12-22
Goodness of Fit of Stochastic Differential Equations
1999-01-15
Default Reasoning about Spatial Occupancy
1995-01-13
Murray Shanahan
Simplifiaction of Finite Domain Constraints
1970-01-01
Utilization of Cache Area in On-Chip Multiprocessor
1999-03-09
Hitoshi Oi
Is Synchronization Necessary and is It Sufficient?
1998-03-11
Yano-Koonin-Podgoretski parametrisation of the Hanbury Brown-Twiss correlator
1998-07-16
Resolvable Mendelsohn Triple Systems with Equal Sized Holes
1997-01-11
A Linear Constraint Satisfaction Approach to Cost-Based Abduction
1996-02-16
Eugene Santos
On Fibonacci Keystream Generators
1998-02-19
Ross Anderson
Semantics-Driven Language Design: Statically type-safe virtual types in object-oriented languages
1998-10-31
Consistency for the Least Squares Estimator in Non-Parametric Regression.
1997-03-03
Decision Making in Qualitative Influence Diagrams
1998-02-13
F usun Akman Alex J. Feingold
1996-01-05
Implementation of the StarT-Voyager Bus Interface Units
1970-01-01
Client User's Guide to NetSolve
1996-12-10
Modeling and Scheduling of Transactional Workflows
1999-04-13
Muntz/Honeyman/Antonelli
1999-01-07
STeP: Deductive-Algorithmic Verification of Reactive and Real-time Systems
1996-10-28
A Context-Sensitive Generalization of ICA
1996-09-12
On the Impossibility of Temperature Extraction From Heavy Ion Induced Particle Spectra
1998-05-23
An Advanced Base Station Antenna Array System For Future Mobile Radio
1997-01-13
Systematic Approach to the Design of Representation-Changing Algorithms
1995-07-05
Eugene Fink
Functional Specification of JPEG Decompression, and an Implementation for Free
1995-08-07
Jeroen Fokker
A Design Space For Multimodal Systems: Concurrent Processing and Data Fusion
1994-05-21
Laurence Nigay
Subspace-Based Estimation of Time Delays and Doppler Shifts
1998-03-31
Package Routing in Transportation Networks with Fixed Vehicle Schedules
1996-10-07
Algorithm for Classification of Neurons with Application to Amphibian Data
1997-01-08
Research Report
1996-09-20
Modeling and Managing Workflows: A Transaction Oriented Approach
1996-06-05
Semiclassics Of The Quantum Current
1997-06-11
Time-Multiplexed Color Autostereoscopic Display
1995-12-21
Empirical Semantics and Computational Linguistics
1998-11-04
Burghard B. Rieger
A Hierarchical Spatial Model for Constructing Wind Fields from Scatterometer Data in the Labrador Sea
1998-11-09
Confluence in Concurrent Constraint Programming
1996-10-28
Deriving Integrity Maintaining Triggers from Transition Graphs
1994-10-05
A Tool For Materials Exploration
1996-12-13
The Precision of a Simple Structure Analyzer
1997-04-07
Blind Source Separation of More Sources Than Mixtures Using Overcomplete Representations
1998-12-23
Analysis of Several Scheduling Algorithms under the Nano-Threads Programming Model
1999-04-07
Topological Queries in Spatial Databases
1996-03-07
Estimating Physical Invariant Measures and Space Averages of Dynamical Systems Indicators
1997-02-14
Gary Froyl
Hypercube Embedding of Distances with Few Values
1993-09-23
Monique Laurent
Improved Behaviour of Tries by Adaptive Branching
1995-09-11
Noise-Tolerant Parallel Learning of Geometric Concepts
1995-04-25
Unknown
1997-09-23
Bayesian Methods for Mixtures of Experts
1998-12-02
Inclusive Jet Cross Section in pp Collisions at
1996-02-05
F. Abe Et Al
Randomised Techniques to Efficiently Approximate Spectral Coefficients and Autocorrelation Coefficients
1996-10-25
Towards Accurate Recovery of Shape from Shading under Diffuse Lighting
1996-09-30
Connecting Theory to Experiment in Poroelasticity
1997-06-04
When Push Comes to Shove: A Computational Model of the Role of Motor Control in the Acquisition of Action Verbs
1998-02-23
David R. Bailey
Distributed Shared-Memory System - Project Status -
1970-01-01
Performance of Coded Modulation employing Differential Encoding over Rayleigh Fading Channels
1998-11-18
Concurrent Simulation of Neutral Flow in the GEC Reference Cell
1997-11-18
An Ergodic Abelian Skeleton for Quantum Systems
1997-04-26
Heide Narnhofer
Statistical Classification Of Chaotic Signals
1998-02-17
Version Management and Recoverability for Large Object Data
1998-08-27
Properties of Some ILP Formulations of a Class of Partitioning Problems
1997-09-08
Alberto Caprara
Decidability and Finite Model Property of Substructural Logics
1995-11-23
Hiroakira Ono
Synchronized Composition of Graph Grammar Productions
1996-03-01
Erik Stoy and Zebo Peng
1997-06-22
Genetic Algorithms with Dynamic Niche Sharing for Multimodal Function Optimization
1995-12-05
Inverse Pattern Matching
1997-01-27
The Effective Field of View Paradigm: Adding Representation to a Reactive System
1997-09-02
A Spin-One Lattice Model Of Microemulsions At Low Temperatures
1997-04-26
Quantum Mechanics In Phase Space
1997-05-13
Brian C. Hall
Stability Criteria For Arnoldi-Based Model-Order Reduction
1995-10-25
On the Volume and Resolution of 3-Dimensional Convex Graph Drawing Extended Abstract
1995-10-28
Algebraic Families Of E_infinity-Spectra
1998-05-31
Paulo Lima-filho
Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems
1998-10-20
Vulnerability Of "secure" Web Browsers
1997-08-21
Wide-Area Implementation of the Message Passing Interface
1998-06-24
Communication Scheduling in a Distributed Memory Parallel Interactive Continuous Media Server System
1998-07-22
Two-Stage Neural Network For Blind Sources Separation
1997-11-14
Multiresolution B-spline Radiosity
1996-08-26
Yizhou Yu
Coordinating Agents by Role Based Social Constraints and Conversation Plans
1998-07-14
Mihai Barbuceanu
The "Session Tty" Manager
1993-06-02
A Functional Model Approach to Linear Neutral Functional Differential Equations
1996-09-12
A Linear Logical Framework
1999-03-25
Hardware and Software Support for Efficient Exception Handling
1994-07-19
Approximations for the Disjoint Paths Problem in High-Diameter Planar Networks
1995-03-17
Nonlinear Acoustic Echo Cancellation With 2nd Order Adaptive Volterra Filters
1999-02-04
Hierarchical Tiling: A Methodology for High Performance
1996-11-14
ReMoS: A Resource Monitoring System for Network-Aware Applications
1998-09-30
Type Inference with Simple Selftypes is NP-complete
1998-01-11
Regular Algebraic Curve Segments I - Definitions and Characteristics
1998-07-20
Monadic Encapsulation in ML
1999-03-11
Aspects of Type I Compactifications Type I - Heterotic Duality
1998-12-18
Carlo Angelantonj
Leading-One Prediction Scheme For Latency Improvement In Single Datapath Floating-Point Adders
1998-11-02
An Empirical View of Inheritance
1998-10-06
Michelle Cartwright
Redescription without Re-representation: Redescription through Correlation
1997-08-11
Discrete Active Models in Vision Geometry
1997-03-17
An ABT based ABR service for ATM
1996-03-15
FANN - A Tool for very fast Flag-oriented Associations in Neural Feedforward Networks
1999-01-07
The Multimedia Conference Recorder
1997-12-18
Gradient Approach To The Sphaleron Barrier
1998-05-15
Absolutely Continuous Invariant Measures for Multidimensional Expanding Maps
1997-10-31
Beno It Saussol
De-Clustering Objects for Multiprocessor System Software
1995-11-21
Gradient Vector Flow: A New External Force for Snakes
1997-08-13
Acquisition of User Preferences for Plan Recognition
1997-01-21
Mathias Bauer
Independent Component Analysis using an Extended Infomax Algorithm for Mixed Sub-Gaussian and Super-Gaussian Sources
1998-11-06
Percolation And Disordered Systems
1997-02-10
Geoffrey Grimmett
Data Structures for Dynamic Queries: An Analytical and Experimental Evaluation
1998-09-05
Bayesian Analysis of Random Event Generator Data
1998-06-25
William H. Jefferys
Speeding up Bulk-Loading of Quadtrees
1998-07-20
Development of a Visual Space-Mouse
1999-02-03
A Parallel Version of the Combined Multibody, Control and Structural Dynamic Simulation Code FEDEM
1996-06-11
Covering Monomial Algebras
1999-04-21
R. Norenberg bielefeld
Hyperbolic Polynomials and Interior Point Methods for Convex Programming
1996-08-15
Osman Guler
Handling Multimedia Datafor Mobile Computers
1996-05-24
Charles E. Perkins
Saddle Point Asymptotics
1996-04-29
A Computationally Universal Field Computer That is Purely Linear
1993-09-08
A Logical Characterization of Bisimulation for Labeled Markov Processes
1998-06-11
A New Heuristic Approach for Dual Control
1998-05-05
Juan C. Santamar'ia Ashwin Ram
Optimal Cross-Validation Split Ratio: Experimental Investigation
1998-05-18
Von Mises type statistics for single site updated local interaction random fields
1998-11-20
Mini-Buckets: A General Scheme for GeneratingApproximations in Automated Reasoning
1997-06-25
Rina Dechter
NEAT: an Object Oriented High-Level Synthesis Interface
1998-05-19
A Generalized Hidden Markov Model for the Recognition of Human Genes in DNA
1996-06-20
The Valid Model Semantics for Logic Programs
1996-12-10
Fast Simulation of Binary Neural Network on Message Passing Parallel Computer
1998-06-22
Message Passing Support for Multi-grained, Multi-threading, and Multi-tasking Environments Computation Structures
1970-01-01
Comments on Polynomial Splines and Their Tensor Products in Extended Linear Modeling
1996-12-30
Jianqing Fan
A Combined Heat Transfer and Genetic Algorithm Modeling of an Integrated Steel Plant Bloom Re-heating Furnace
1998-12-07
A Next-Generation Telescope for CFHT
1970-01-01
Learning Cooperative Behavior in Multi-agent Environment
1996-09-10
Solar and Stellar Coronae
1998-12-18
Salvatore Serio
Fast Quasi-Dct Algorithm For Shape-Adaptive Dct Image Coding
1998-04-21
Janusz Konrad
A Parallel Iterative Method for Exponential Propagation
1996-02-23
Learning Disjunctive Concepts with Distributed Genetic Algorithms
1995-05-18
Force Control in Locomotion of Legged Vehicle and for Service Operations
1996-07-03
Computation of Uniform Recurrence Equations over Finite Domains
1998-08-24
Performance Assessments Of Fir Versus Iir Models In Acoustic Echo Cancellation
1997-06-23
Serial Binary Addition with Polynomially Bounded Weights
1996-05-22
Neural Network Image Deconvolution
1994-11-10
Experiences Using the ParaScope Editor: an Interactive Parallel Programming Tool
1994-05-24
Efficient Building and Placing of Gating Functions
1994-11-11
Bilum: Block Versions Of Multi-Elimination And Multi-Level Ilu Preconditioner For General Sparse Linear Systems
1998-06-26
Measurement-Theoretic Frameworks for Fuzzy Set Theory
1998-03-06
I. Burhan Tšurkžsen
Federated Naming in an ODP Environment
1997-09-02
New potentially 'weak' keys for DES and LOKI Extended
1998-10-08
Lars Ramkilde Knudsen
Design and Evaluation of a Window-Consistent Replication Service
1970-01-01
The application/pgp MIME Content-type
1994-06-27
P. Zimmermann
Feature Dimension Reduction Using Reduced-Rank Maximum Likelihood Estimation For Hidden Markov Models
1996-12-09
Don X. Sun
Query Processing for Partial Information Databases in
1997-04-18
Non-rigid Registration of Breast MR Images using Mutual Information
1998-07-21
A. Shariati A. Aghamohammadi
1996-10-05
Market Power Effects in Evolutionary Labor Markets with Adaptive Search
1999-03-28
Leigh Tesfatsion
The complexity of matrix rank and feasible systems of linear equations Extended Abstract
1996-03-22
Some Relations Between Spectral Geometry and Number Theory
1996-03-11
Laplacianon S Satises s
Compositional Proofs for Concurrent Objects
1997-12-02
Principles for Designing Secure Block Ciphers and One-Way Hash Functions
1994-04-12
Yuliang Zheng
The OWE Artificial Neural Network and its Parallel Implementation
1998-07-23
Nicolas Pican
Random Striping for News on Demand Servers
1997-02-15
A distributed algorithm for content based indexing of images by projections on Ritz primary images
1997-11-24
Haim Schweitzer
Randomized Parallel List Ranking For Distributed Memory Multiprocessors
1997-09-04
A Comparative Analysis of Schemes for Correlated Branch Prediction
1995-10-10
Real-Time Causal Message Ordering in Multimedia Systems
1996-05-29
Automatic Construction of Medical Cases for Training and Testing Using the Knowledge Base of an Existing Decision Support System
1996-07-03
Dependency Parser Demo
1997-03-03
The Lambda Loop Transformation Toolkit User's Reference Manual
1994-06-17
Using Version Control Data to Evaluate the Impact of Software Tools
1999-03-29
Formal Validation Of Software For Secure Systems
1970-01-01
Evaluation of Admission Policies in ATM Based Embedded Hard Real-Time Systems
1995-03-31
Electronic Model for Superconductivity
1997-04-26
Beyond Atomic Registers: Bounded Wait-Free Implementations of Nontrivial Objects
1995-07-14
Interpolation on the Torus using sk--splines with Number Theoretic Knots
1997-11-25
Can Java Persist?
1998-11-25
Ray Tracing of Subdivision Surfaces
1998-06-03
Universality in Blow-Up for Nonlinear Heat Equations
1997-04-26
A. Kupiainen
Reliability Analysis of Specifications Using Petri Nets and Markov Processes
1998-08-24
Robust Servo-system Based on Two-Degree-of-Freedom Control with Sliding Mode
1996-03-24
Enriching Temporal Object Specifications by Abduction
1997-02-17
Comparing Quasi-Newton Methods for Solving Sparse Interface Problems
1994-12-04
C. -h. Lai
A Hyperlinked Persistent Software Development Environment
1995-03-24
The SWISS-PROT protein sequence data bank and its supplement TrEMBL in 1998
1997-12-15
On Scheduling Atomic and Composite Multimedia Objects
1997-08-26
On the Utility of Systematicity: Understanding Tradeoffs between Redundancy and Commitment in Partial-order Planning
1993-08-17
Subbarao Kambhampati
On Bayesian Calculations for Mixture Likelihoods and Priors
1998-09-17
Memory System Characterization of Commercial Workloads
1998-04-07
An Analysis/Synthesis Tool for Transient Signals
1998-02-12
Predicting Quality of Service for Traffic with Long-Range Fluctuations
1995-05-04
On Logit Confidence Intervals for the Odds Ratio with Small Samples
1998-07-22
Alan Agresti
A Physically-Realistic Simulation Of Vehicle Traffic Flow
1998-01-12
Thomas L. Thorpe
Years Old and Still Alive: Eigenproblems
1996-09-02
The Two-Point Function and the Effective Magnetic Field in Diluted Ising Models on the Cayley Tree
1997-04-26
Formal Verification of Security Properties of Privacy Enhanced Mail
1998-12-30
Learning Prototype Models for Tangent Distance
1994-12-22
On Partitioning Grid-Structured Parallel Computations
1998-04-15
A Constraint Programming Library for Preemptive and Non-Preemptive Scheduling
1997-08-18
Claude Le Pape
Enumeration by Stabilizer Class of Patterns with Local Restrictions
1997-12-26
Acyclic Clique-Interval Graphs
1998-10-30
Progress: a Toolkit for Interactive Program Steering
1995-08-31
SILK: Sketching Interfaces Like Krazy
1996-01-16
James A. Landay
Scattered Data Interpolation with Multilevel B-Splines
1997-09-17
Neighborhoods, Ultrafilters, and Canonicity
1999-02-05
Timothy J. Surendonk
Dedekind's Real Numbers
1999-03-28
Dirk Schlimm
A Generalized Reconstruction Algorithm For Ellipsis Resolution
1997-02-17
Hsue-hueh Shih
Distributed Garbage Collection in a Client-Server, Transactional, Persistent Object System
1999-02-03
Umesh Maheshwari
On-line Reorganization of Sparsely-populated B + -trees
1995-10-27
Hypercube Implementation and Performance Analysis for Extrapolation Methods
1997-11-20
A Comparison of Evolutionary Activity in Artificial Evolving Systems and in the Biosphere
1997-07-01
A Practical Index for Text Retrieval Allowing Errors
1997-09-10
Concept Vectors: A Synthesis of Concept Mapping and Matrices for Knowledge Representation in Intelligent Tutoring Systems
1998-10-23
The Design and Implementation of a Radiosity Renderer
1997-10-10
Alexandru Telea
Semantics and Pragmatics of Vague Probability Expressions
1994-05-23
Anthony Jameson
Exploiting Generative Models in Discriminative Classifiers
1998-05-22
Dynamic and Hierarchical Constraints Solver with Continuous Variables
1997-06-10
Context-Sensitive Measurement of Word Distance by Adaptive Scaling of a Semantic Space
1995-12-15
Location Estimation using Delayed Measurements
1998-07-14
A Method for the Enumeration of Various Classes of Column-Convex Polygons
1994-04-01
Linguistic Information
1997-04-29
GiuseppeGaeta
1997-12-07
Using the Future to "Sort Out" the Present: Rankprop and Multitask Learning for Medical Risk Evaluation
1996-03-09
Lattice Paths with Weighted Left Turns Above a Parallel to the Diagonal
1997-07-25
The Convex Analysis of Unitarily Invariant Matrix Functions
1995-10-27
A. S. Lewis
Experience of Adaptive Replication in Distributed File Systems
1998-11-13
System Support for Transparency and Network-aware Adaptation in Mobile Environments
1998-04-22
Stock Market Pattern Recognition with Neural Networks
1998-07-15
David Vengerov
Direct Methods
1998-07-31
Iain S. Duff
The Evolution of Sensorimotor Functionality
1999-01-09
Mark A. Bedau
Design And Implementation Of The Front-End For SDL'92 Compiler
1970-01-01
The Reliable Router: A Reliable and High-Performance Communication Substrate for Parallel Computers
1999-01-14
An Explicit Representation Of Forgetting
1994-02-28
A Personal CAL Workbook
1994-11-21
The Implementation of the Primal-Dual Interior-Point Method for the Semidefinite Programs and its Engineering Applications Katsuki Fujisawa
1998-09-04
Katsuki Fujisawa
Model Checking and Deduction for Infinite-State Systems
1996-11-09
= 1 for the New Strong Interaction Coupling and By Setting the Largest Magnitude of the Coefficients
1998-06-03
A Wavelet--Galerkin Method for the Stokes Equations
1995-08-29
Absolute Continuity Of The Periodic Magnetic Schr Odinger Operator
1997-12-18
Alexander V. Sobolev
Simultaneous Area and Delay Minimum K-LUT Mapping for K-Exact Networks
1995-04-25
Assumptions Made for the British Telecom URI Project
1995-11-06
Paul Wernick
Simplicial Decomposition Algorithms with Nonlinear Column Generation in Network Flow Applications Torbjorn Larsson, Michael Patriksson, and Clas Rydergren
1996-09-02
CorbaScript: A Dedicated CORBA Scripting Language
1998-10-14
Abstraction of Conditional Term Rewriting Systems
1996-09-04
Frequency And Time Filtering Of Filter-Bank Energies For Hmm Speech Recognition
1999-05-06
Equivalence Between Two Flavours of Oblivious Transfers
1998-07-15
Claude Crepeau
The J-Machine: A Retrospective
1998-03-29
The Geneva Vision System
1993-06-01
Node Weighted Network Upgrade Problems
1998-05-14
Mnesia - A Distributed Robust DBMS for Telecommunications Applications
1970-01-01
Exchanging Multimedia Mail Message in MIME
1998-08-05
A Method for Segmentation of CT Head Images
1997-06-13
A Brief Survey of Systems Providing Process Or Object Migration Facilities
1997-02-28
Mark Nuttall
Adaptive Early Jump-Out Technique for Fast Motion Estimation in Video Coding
1970-01-01
Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity
1996-04-26
Diego Calvanese
Comparing and Generalising Models for Metrics Repositories
1996-10-13
A High-Level Target Language for the Compilation of Dataflow Programs
1996-02-19
Wolfgang Schreiner
Semiclassics Of The Quantum Current
1997-06-11
General Classes Of Control-Lyapunov Functions
1996-10-28
ANALOG: A Logical Language for Natural Language Processing
1997-12-01
Syed S. Ali
Speculative Versioning Cache
1997-12-05
Best-Fit Bin-Packing with Random Order
1997-05-26
Claire Kenyon
A Logical Representation of a Negotiation Protocol for Autonomous Agents in Multi-Agent Systems
1998-06-17
Eduardo Alonso
A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence
1997-07-01
Eero Lassila
Blocking Semiovals Of Type 1,M+1,N+1
1998-04-21
A Case Study on the Evolution of Software Tools Selection and Development in a Large-scale Multiagent System
1998-09-05
A First-Order Isomorphism Theorem
1995-09-15
Automated Construction of Testing and Analysis Tools
1994-08-08
The Principle of Rationality and Models of Highly Interactive Systems
1999-01-26
Performance of Database Workloads on Shared-Memory Systems with Out-of-Order Processors
1998-09-30
On First-Order Two-Dimensional Linear Homogeneous Partial Difference Equations
1996-01-27
Stream Data Types for Signal Processing
1970-01-01
Jack B. Dennis
X-ray Constraints on the Intrinsic Shape of the Lenticular Galaxy NGC 1332
1998-05-14
Additive Cellular Automata and Algebraic Series
1999-01-24
Modeling the Technology Impact on the Design of a Two-Level Multicomputer Interconnection Network
1997-01-17
Shift Covariant Time-Frequency Distributions of Discrete Signals
1999-01-11
Function Representation in Geometric Modeling: Concepts, Implementation and Applications
1998-12-21
Memory Assignment for Multiprocessor Caches through Grey Coloring
1997-06-28
Magnon Modes and Magnon-Vortex Scattering in 2D Easy-Plane Ferromagnets
1997-11-06
A New Attack on Random Pronounceable Password Generators
1996-10-03
Symbiotic Systems Software: Fast Operating Systems for Fast Applications
1996-03-27
The EM/MPM Algorithm For Segmentation Of Textured Images: Analysis And Further Experimental Results
1999-02-03
Asynchronous Group Mutual Exclusion
1998-05-11
Yuh-jzer Joung
High-Level Planning and Control with Incomplete Information Using POMDP's
1998-06-05
Blai Bonet
Optimal Recovery of Depth from Defocused Images Using an MRF Model
1997-08-29
Numerical Methods In The Weak Sense For Stochastic Differential Equations With Small Noise
1970-01-01
Report on Core Experiment 3 on Hand BAPs interpretation
1998-05-04
Theory Refinement on Bayesian Networks
1995-09-17
Wray Buntine
Freely Redistributable Software across the Internet - Current practice and future directions to overcome the bandwidth crisis.
1997-06-06
Neil Smith
The Caltech Helicopter Control Experiment
1997-04-01
A Blind Frequency Domain Method For Ds-Cdma Synchronization Using Antenna Arrays
1998-12-15
NetSolve's Network Enabled Server: Examples and Applications
1998-06-29
Jack Dongarra
SEKI Report
1998-07-17
ILA: Combining Inductive Learning with Prior Knowledge and Reasoning
1998-05-20
Multiport memory and floating point Cordic pipeline in Jacobium processing elements
1997-12-22
A. O. Looye
. The Relativity Principle: A Basic Physics Issue Behind A Debate On Priority
1997-12-02
Experimental Comparison of Nonlinear Control Strategies for Vehicle Speed Control
1999-01-19
Crozzle: an NP-Complete Problem
1996-11-06
Motion Strategies for Maintaining Visibility of a Moving Target
1999-02-10
Learning Classification Rules Using Lattices Extended Abstract
1995-05-12
Guardians in a Generation-Based Garbage Collector
1994-11-19
Experience Using Design Patterns to Develop Reuseable Object-Oriented Communication Software
1997-03-06
Douglas C. Schmidt
Magnet Power Supply Controls of the SPring-8 Storage Ring
1996-01-17
Open Issues in Secure Electronic Commerce
1998-10-29
Michael Waidner
SATZ - An Adaptive Sentence Segmentation System
1998-11-17
David D. Palmer
UCSD CS Technical Report CS95-451
1998-12-02
Fault-tolerant Architectures for Continuous Media Servers
1997-06-01
Localization for Schrödinger operators with effective barriers
1997-04-26
Gunter Stolz
SPIN Learning and Forgetting Surface Classifications with Dynamic Neural Networks
1993-04-26
Hybrid Learning of Search Control for Partial-Order Planning
1995-01-25
Automatic Alignment of Array Data and Processes To Reduce Communication Time on DMPPs
1998-12-27
Market-Aware Agents for a Multiagent World
1997-10-26
Exploiting Multiple Levels of Parallelism in Shared-memory Multiprocessors: A Case Study
1998-11-03
Evaluating Synthesised Prosody In Simulations Of An Automated Telephone Enquiry Service
1996-09-22
Robustness of Object Recognition to View Point Changes using Multidimensional Receptive Field Histograms
1998-06-15
Supporting Fine-Grained Data Lineage in a Database Visualization Environment
1997-04-12
Analysis of Unknown Words through Morphological Decomposition
1996-06-23
Parameter Estimation and Detection of DS-CDMA Signals subject to Multipath Propagation
1995-02-23
EvA -- A Tool for Optimization with Evolutionary Algorithms
1998-05-08
An Approach For A Fast Preanalysis Of Reflection Effects On Printed Circuit Boards
1970-01-01
E. Griese
On the Power of Randomization in Online Algorithms
1997-03-17
Top Quark Signature In Extended Color Theories
1998-05-15
An Intelligent Approach to Information Integration
1998-05-28
Alexander Renner
1996-10-21
Alexander Renner
Stability And Stabilization Of A Active Surface.
1997-06-06
Towards Automation in Architectural Photogrammetry: CAD-Based 3D-Feature Extraction
1994-11-29
Andr Streilein
A New Sigmoid Function Generation Technique for Hardware Implementation
1996-04-09
Meet JENSEN
1999-02-12
Tim H. Hultberg
A Heterogeneous Hierarchical Solution to Cost-efficient High Performance Computing
1998-01-22
Identification of Prokaryotic and Eukaryotic Signal Peptides and Prediction of Their Cleavage Sites
1997-01-15
Genetic Algorithms Applied to Cellular Call Admission Problem: Local Policies
1998-04-02
A Recursive Algorithm for Hermite Interpolation over a Triangular Grid
1997-03-07
Constant Geometry Split-Radix Algorithms
1996-11-12
The Benes Equation and Stochastic Calculus of Variations
1998-01-23
Computing the Similarity of Profiling Data
1998-09-23
As recognition system we use a modular MS-TDNN 6. Figure 2 shows the architecture. The preprocessed acoustic and visual data are fed into two front-end TDNNs 14, respec...
1999-03-21
A Parallel Davidson-Type Algorithm for Several Eigenvalues
1998-09-30
Axioms of Causal Relevance
1996-03-21
On the Topological Representation of Line Drawings
1997-07-11
The Use Of Meta-HMM In Multistream Hmm Training For Automatic Speech Recognition
1999-01-22
Reasoning with Models
1998-08-07
A Comparison of Random Search versus Genetic Programming as Engines for Collective Adaptation
1997-02-04
Thomas Haynes
Rose/Architect: a tool to visualize architecture
1999-03-19
Alexander Egyed
The Domain Decomposition Of A Single-Domain Protein
1999-01-12
Mobile Robot Localization Using Pattern Classification Techniques
1995-10-27
Jonathan D. Courtney
Applying Scaled Differential Invariant Features to Image Segmentation with Kohonen Feature Maps
1996-01-18
Planning Movements for Several Coordinated Vehicles in Traffic Situation
1998-04-09
Using Evolutionary Computation to Facilitate Development of Neurocontrol
1998-01-31
Cv
1998-10-08
Sethu Vijayakumar
A Formal Method for Hardware/Software Co-Design
1997-09-29
Deadlock Checking Using Net Unfoldings
1997-04-14
Support for Multiple Classes of Traffic in Multicomputer Routers
1998-03-19
Probabilistic Temporal Reasoning with Endogenous Change
1995-05-26
An HP-Adaptive Discontinuous Galerkin Method For Hyperbolic Conservation Laws
1995-03-10
Conservation Laws
Formalizing the Cooperative Problem Solving Process
1998-07-23
Author's Address
1996-03-11
The Sum Number of the Cocktail Party Graph
1997-01-14
A New Matrix Decomposition For Signal Processing
1996-08-19
Franklin T. Luk
Optimal Message Logging Protocols Preliminary Version
1997-10-06
An Incremental Learning Algorithm for Gaussian Radial-Basis-Function Approximation
1998-07-24
Reliable Synchronization Support and Group-Membership Services for Distributed Multimedia Applications
1995-11-30
Rearrangement of DNA fragments: a branch-and-cut algorithm
1997-01-21
Preventing Overshoot of Splines with Application to Reinforcement Learning
1996-06-06
Chris G. Drummond
Introducing Linguistic Constraints Into Statistical Language Modeling
1997-02-06
Petra Geutner
Chinks in the Armor of Public Key Cryptosystems
1995-01-10
William J. Wilson
Collapse and Fragmentation of Magnetized Cylindrical Clouds
1998-12-14
Kohji Tomisaka
Flow under Curvature: Singularity Formation, Minimal Surfaces, and Geodesics
1996-08-28
James A. Sethian
On the Applicability of Neural Network and Machine Learning Methodologies to Natural Language Processing
1997-11-07
What Programmable Vector Fields Can and Cannot Do: Force Field Algorithms for MEMS and Vibratory Plate Parts Feeders
1998-10-09
Visual Detection of Obstacles Assuming a Locally Planar Ground
1998-02-06
Adaptive Subsample Time Delay Estimation for Narrowband Signal Synchronisation
1999-01-25
Results Concerning the Decision Regions Realisable by a Two-Layer Perceptron
1994-06-07
Resource and Service Trading in a Heterogeneous Large Distributed
1995-02-06
Y. Ni
Why Is It So Difficult For A Robot To Pass Through A Doorway Using UltraSonic Sensors?
1995-08-22
An ALF Proof of Mac Lane's Coherence Theorem
1997-05-22
Ilya Beylin
Belief Updating by Enumerating High-Probability Independence-Based Assignments
1996-02-20
Removing Randomness From Computational Number Theory
1999-04-07
Victor Shoup
Petal: Distributed Virtual Disks
1999-03-09
Complete Coverage Path Planning and Guidance for Cleaning Robots
1998-03-13
Urban Aerial Image Understanding Using Symbolic Data.
1998-05-19
Anchoring the Software Process
1998-07-10
Barry Boehm Usc
Adaptive Cancellation of Narrowband Signals in Overlaid CDMA Systems
1999-01-05
A One-Pass Space-Efficient Algorithm for Finding Quantiles
1996-03-26
Deictic use of Dutch demonstratives
1997-11-14
Process Scheduling in DSC and the Large Sparse Linear Systems Challenge
1998-04-22
Reactive Types
1997-01-13
Jean-pierre Talpin
A Two-Stage Retrieval Model for the TREC-7 Ad Hoc Task
1999-02-08
Byoung-tak Zhang
A proof of Higman's lemma by structural induction
1997-04-25
The Complexity of Searching Implicit Graphs
1995-06-23
Back Propagation is Sensitive to Initial Conditions
1997-03-21
A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework
1995-05-05
Frank Pfenning
Mushroom: a framework for collaboration and interaction across the Internet
1996-03-22
Tim Kindberg
Gauge Theory Renormalizations From the Open Bosonic String
1997-12-11
Term Subsumption with Type Constructors
1997-02-26
Modelling Non-Ideal Inquirers
1998-05-26
A Self-Organizing Neural Network Model Of The Primary Visual Cortex
1998-08-26
Experience in Metrics and Measurements for N-Version Programming
1997-01-08
A Test Experiment At The Fermilab Booster To Study The Feasibility Of Fast Antihydrogen Spectroscopy
1998-03-30
Spectral Representation and Estimation for Locally Stationary Wavelet Processes
1997-06-08
Secure Distributed Storage and Retrieval
1998-05-26
An Optical Thresholding Perceptron
1998-02-06
A Numerical Study of Riemann Problems for the Two-Dimensional Unsteady Transonic Small Disturbance Equation
1997-05-19
Transonic Small
DeViouS: A Distributed Environment For Vision Tasks
1995-05-16
A Supersoft X-Ray Binary In The Small Magellanic Cloud
1998-05-25
Software Tool for - Partitioning and Parallel Processing
1999-04-15
Energy of flows on Z
1999-01-20
Christopher Hoffman
Computing Hermite and Smith Normal Forms of Triangular IntegerMatrices
1997-01-01
Arne Storjohann
A Comparative Study On Change Detection For Some Automotive Applications
1996-08-22
F. Gustafsson
Nonlinear Filtering: Interacting Particle Resolution
1999-01-19
P. Del Moral
Visual-Guided Planning and Control for a Non-Holonomic Robot
1998-11-10
Alexis Scheuer
Interactive High-Dimensional Data Visualization
1999-01-08
The execution algorithm of Mercury, an efficient purely declarative logic programming language
1998-09-01
Bibliography
1998-05-30
R. E. Showalter
Literate Programming and Documentation Reuse
1996-08-23
Segmenting Non-Random Noise Biomedical Images
1996-01-27
The Lidskii-Mirsky-Wielandt Theorem -- Additive and Multiplicative Versions
1998-04-07
Linear and Inversive Pseudorandom Numbers for Parallel and Distributed Simulation
1998-06-09
High-Performance Parallel Programming in Java: Exploiting Native Libraries
1998-02-19
Optimal Parallel Two Dimensional Text Searching on a CREW PRAM
1997-01-28
A Resource Query Interface for Network-Aware Applications
1998-06-15
Minimax Wavelet Estimation Via Block Thresholding
1997-11-19
T. Tony Cai
The Implementation of a Native ATM Transport for a High Performance ORB
1998-06-02
Computer-Aided Design of Free-Space Opto-Electronic Systems
1995-10-31
Program Analysis Environments for Parallel Language Systems: The tau Environment
1994-10-12
Large Sample Simultaneous Confidence Intervals for Any Combination of Cell Probabilities
1997-08-15
Tommy Norberg
Chiral gauge theories and anomalies in the Wilson renormalization group approach
1998-12-19
RESIDUES OF THE ETA FUNCTION FOR AN OPERATOR OF DIRAC TYPE J. Funct. Anal. 108 1992 47--87 Thomas P.
1995-01-10
Tracking and Viewing Changes on the Web
1999-03-29
Nonholonomic Camera Space Manipulation Using Cameras Mounted on a Mobile Base
1998-08-10
Formalising the Contract Net as a Goal-Directed System
1997-04-18
The Epistemic Representation of Information Flow Security in Probabilistic Systems
1995-11-17
On using Network Memory to Improve the Performance of Transaction-Based Systems
1997-04-11
Protecting IT Systems from Cyber Crime
1998-02-26
Rigorous Bounds On The Fast Dynamo Growth Rate Involving Topological Entropy
1998-12-08
L. S. Young
Statistical Queries and Faulty PAC Oracles
1994-09-20
Scott Evan Decatur
Stability and elastic properties of hydrogen loaded Ti
1997-04-25
Routing in Optical Multistage Interconnection Networks: a Neural Network Solution
1996-03-14
The Application of Inductive Logic Programming to Finite Element Mesh Design
1998-07-13
Alvaro Arias and Gelu Popescu
1997-10-21
Survivability In Telecommunication Networks
1995-12-18
Sorting and Order Statistics
1998-11-10
Ian Parberry
LISA: A Specification Language Based on WS2S
1998-01-19
XiPi Theta GammaDelta
1994-07-15
A Learning System of Fuzzy Control Rules Based on Genetic Algorithms
1996-12-18
Antonio Gonzalez
The Compilation and Execution of Recursion-Parallel Prolog on Shared Memory Multiprocessors
1994-10-25
Thomas Lindgren
Analog Stable Simulation of Discrete Neural Networks
1997-10-15
The Global Behaviour of Elasto-Plastic and Visco-Elastic Materials with Hysteresis-Type State Equations
1996-10-30
Counting the Number of Points on Elliptic Curves Over Finite Fields of Characteristic Greater Than Three
1999-04-07
Extraction of a "Good" Subsequence From a Bounded Sequence of Integrable Functions
1995-10-27
Cached Sufficient Statistics for Efficient Machine Learning with Large Datasets
1998-03-15
A Pattern Language for Tool Construction and Integration Based on the Tools&Materials Metaphor
1994-08-19
Dirk Riehle
A Data-Parallelprogramming Library For Education dapple
1970-01-01
David Kotz
A Generic Architecture for Programmable Traffic Shaper for High Speed Networks
1998-09-05
Drifting Games
1970-01-01
Robert E. Schapire
Is Derived From
1996-08-20
ROBUST: A Hardware Solution to Real-Time Overload
1997-11-13
Protecting Mobile Agents through Tracing
1997-06-05
Giovanni Vigna
A File System for Information Management
1997-12-04
An Experimental Investigation of a Mach 3.0 High-Speed Civil Transport at Supersonic Speeds
1998-01-13
Sequoia 2000 -- A Reflection On The First Three Years
1994-12-10
Michael Stonebraker
Modelling Algebraic Structures in a Symbolic Computation Environment
1995-11-28
Stephan A. Missura
On Angles Whose Squared Trigonometric Functions Are Rational
1998-04-03
Bayesian Growing And Pruning Strategies For Map-Optimal Estimation Of Gaussian Mixture Models
1998-06-26
D. W. Mcmichael
Using Informal and Formal Techniques for the Reverse Engineering of C Programs
1998-09-17
Stability of Phase Information
1995-11-07
The Semantics of the C++ Programming Language
1995-09-12
Charles Wallace
Automatic Generation of RBF Networks
1997-08-13
Memory Bandwidth Limitations of Future Microprocessors
1998-03-02
Unifying Control In A Layered Agent Architecture
1998-03-15
On the Automatic Differentiation of Computer Programs and an Application to Multibody Systems
1997-01-27
An Approach to Parallelizing Isotonic Regression
1997-01-27
Algorithm XXX: Fortran Subroutines for Computing the Eigenvalues and Eigenvectors of a General Matrix by Reduction to General Tridiagonal Form
1993-10-08
Efficient Algorithms for Constructing Fault-Tolerant Geometric Spanners
1998-02-27
Effective Interionic Interaction In Transition Metals
1997-03-06
P. M. Yakibchuk
Spectral Decorrelation of Nuclear Levels in the Presence of Continuum Decay
1998-05-22
DFKI Oz Documentation Series The Definition of Kernel Oz
1995-02-02
Gert Smolka
Logical Embeddings for Minimum Congestion Routing in Lightwave Networks
1993-05-06
Isolating Multiple Image Motions for Enhancement and 3D Analysis
1994-01-12
Determining Visibility between Extended Objects
1998-05-20
Fusion Of Airsar And Meis Data For Estimating Forest Parameters
1998-09-08
Polynomial Formal Verification of Multipliers
1997-09-24
Review of Particle Physics: C. Caso
1998-06-05
Scheduling in Real-Time Models
1996-02-23
Journal of Graph Algorithms and Applications
1997-12-08
Dartmouth College Computer Science Technical Report PCS-TR96-294
1970-01-01
Solution of Toeplitz normal equations by sine transform based preconditioning
1998-05-22
Fabio Di Benedetto
Blind Adaptive Interference Suppression For Direct-Sequence CDMA
1998-06-26
Upamanyu Madhow
A Reliable Multicast data Distribution Protocol based on software FEC techniques
1998-12-05
A Step Towards the Detection of Semantic Variants of Terms in Technical Documents
1998-07-30
Existence of Feasible Potentials on Infinite Networks
1996-06-24
A Non-Homogeneous Markov Software Reliability Model with Imperfect Repair
1996-04-23
Time Processes for Time Petri Nets
1997-04-08
Power Reduction Techniques for a Spread Spectrum Based Correlator
1997-09-10
Motif Statistics
1999-02-27
Listen and See with DSP
1995-05-16
Image Subband Coding Using Context-Based Classification and Adaptive Quantization
1999-02-14
Efficiency Issues Related to Probability Density Function Comparison
1970-01-01
A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy
1998-07-25
Matthew Wilding
High-Concurrency Locking in R-Trees
1995-06-04
A Strict Border for the Decidability of E-Unification for Recursive Functions
1998-05-29
Text Classification in Information Retrieval using Winnow
1999-01-14
Microlensing towards the Small Magellanic Cloud EROS 2: first year survey
1997-11-17
Minimal Sense of Direction and Decision Problems for Cayley Graphs
1998-09-08
A Natural Language Approach For Requirements Engineering
1994-12-05
Geometric Barycentres of Invariant Measures for Circle Maps
1999-03-13
Oliver Jenkinson
Completion without Failure
1995-05-15
Programming in Idol: An Object Primer
1996-04-14
Clinton L. Jeffery
Using Multisensor Occlusion Reasoning in Object Recognition
1996-12-05
Primary Decomposition of Lattice Basis Ideals
1998-04-13
Jay Shapiro
Contrôle du Comportement d'Objets
1998-01-14
Automatic Interpretation of Human Head Movements
1998-06-19
A Genetic Approach for the Parallel Almost-Uniform Generation and Approximate Counting of Matchings
1996-04-18
Robustizing Robust M-Estimation Using Deterministic Annealing
1999-02-06
S. Z. Li
Tree Languages Generated by Context-Free Graph Grammars
1998-09-24
Group Communication Support for Distributed Collaboration Systems
1998-03-25
A Buffer Distribution Algorithm for High-Performance Clock Routing
1999-03-25
CIT Photochemical Airshed Model
1996-11-04
Missing Data in Interactive High-Dimensional Data Visualization
1998-11-16
Deborah F. Swayne
Artificial Neural Networks for Repairing Language
1998-02-03
A Type-Theoretic Interpretation of Standard ML
1970-01-01
Nonlinear empirical modeling using local PLS models
1970-01-01
On Implementation Choices for Iterative Improvement Partitioning Algorithms
1996-11-15
Development of a Supporting System for Reuse of Software Engineering Experience
1998-01-19
Analysis of the Cabibbo Suppressed Decay
1997-06-06
The Hamiltonian Structure of Soliton Equations and Deformed W-Algebras
1998-05-26
Trigger System Design Requirements
1997-08-08
Automatic Performance Estimation Of SPMD Programs On MPP
1994-11-01
Flow Control Schemes for a FaultTolerant Multicast Protocol
1995-11-30
The Graph Isomorphism Problem
1996-08-14
Scott Fortin
Conditional Pointer Aliasing and Constant Propagation
1999-03-08
Anthony Pioli
Results in the Emergence of Social Equilibria: Some Computational Experiments
1997-02-14
Claudio Delrieuxz
Chicago Journal of Theoretical Computer Science
1995-07-01
Maximum A Posteriori Classification of DNA Structure from Sequence Information
1998-10-04
Quantum analog of the MacWilliams identities in classical coding theory
1997-01-14
Peter Shor
Reasoning with Preorders and Dynamic Sorts using Free Variable Tableaux
1998-04-27
NASA Technical Paper 3531
1996-08-09
Bounds for the Error of Some Parallel Bidiagonal Solvers for Strictly Diagonal Dominant Systems
1995-02-01
Transient Dynamics and Scaling Phenomena in Urban Growth
1999-01-28
Making of an Intelligent Tutoring System or Methodological Issues of Artificial Intelligence Research by Example
1997-10-08
Integrating Natural Semantics and Attribute Grammars: the Minotaur System
1995-03-23
Approximating the Number of Monomer-Dimer Coverings of a Lattice
1998-10-01
Optimal Power Allocation over Parallel Gaussian Broadcast Channels
1997-07-15
David N. Tse
Pseudo-Metrics on First Order Terms
1996-03-04
Alan Hutchinson
A Unified Description of Iterative Algorithms for Traffic Equilibria
1995-09-19
Michael Patriksson
Bounds For Performance Characteristics; A Systematic Approach Via Cost Structures
1999-01-28
Detecting T Tauri disks with optical long-baseline interferometry
1998-05-12
Interval-Valued Preference Structures
1998-03-06
Taner Bilgic
Security Enhanced MPEG Player
1996-01-15
Limitations On The Capacity Of The M-User Binary Adder Channel Due To Physical Considerations
1995-03-23
Specifying and Using a Partitionable Group Communication Service
1970-01-01
Phase Structure of Four-Fermion Theories at Finite Temperature and Chemical Potential in Arbitrary Dimensions
1998-05-15
From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols
1999-02-12
A Subscription-based Monitoring Model for Distributed Object Systems
1998-10-06
Non-Associative Local Lie Groups
1996-08-01
Peter J. Olver
Smoothing Spline ANOVA for Exponential Families, with Application to the Wisconsin Epidemiological Study of Diabetic Retinopathy
1995-08-12
Department of Computer Science
1993-05-05
Hierarchical Integrated Simulation Techniques for the Design of Embedded Systems
1997-07-18
John Fraser Austin Tate
1995-04-24
Rc --- A Shell for Plan 9 and UNIX Systems
1999-01-22
Tom Duff
Timing Verification by Successive Approximation
1997-06-17
Asymptotic Analysis And Coupling Conditions For Kinetic And Hydrodynamic Equations
1997-12-02
A. Klar
Search and Ranking Algorithms for Locating Resources on the World Wide Web
1996-04-25
Logics vs. Automata: The Hybrid Case Extended Abstract
1996-05-24
Impossibility Results for Asynchronous PRAM extended
1997-09-03
Maurice Herlihy
Communication Messengers as a Basis for Distributed Algorithms
1997-11-24
Reconfigurable Processor for a Data-Flow Video Processing System
1995-10-30
SnB: Applying Shake-and-Bake to Proteins
1997-04-03
Translation Analysis and Translation Automation
1997-10-17
Chapter 13. Multilevel Transactions and Open Nested Transactions
1996-06-05
Preservation Theorems in Finite Model Theory
1998-11-11
Specification Of Dynamic Systems By Typed Gurevich Machines
1998-10-19
Alexandre Zamulin
Visualizing Object Oriented Software in Three Dimensions
1996-01-30
Processes Of Flats Induced By Higher Dimensional Processes III
1998-06-15
Heat-Kernel Coefficients and Functional Determinants for Higher-Spin Fields on the Bal
1998-05-14
eds: Schank Langer, Lawrence Erlbaum Associates, Hillsdale, NJ. pp. 143-173.
1998-03-06
Wendy G. Lehnert
An Extended Set of Fortran Basic Linear Algebra Subprograms
1992-10-14
Semi-Automatic Delineation of Regions in Floor Plans
1996-05-02
Aubry--Mather Theory For Functions On Lattices.
1997-04-26
Lower Bounds on the Width of Stark--Wannier Type Resonances
1997-04-26
Simulating the motion of the leech: A biomechanical application of DAEs
1998-08-25
Dynamic Prioritization of Complex Agents in<E-374>Distributed Constraint Satisfaction Problems
1997-07-29
Probabilistic Methods for State Estimation in Robotics
1998-09-29
Formal Representation of the Logic Embedded in Legal Language
1997-02-17
Supporting Real-Time Applications in an Integrated Services Packet Network: Architecture and Mechanism
1997-01-03
Subjective Response to Simulated Sonic Booms with Ground Reflections
1998-03-27
Remarks On The Parabolic Curves On Surfaces And On The Many-Dimensional Möbius-Sturm Theory
1998-09-12
V. I. Arnold
Inductive Learning for Engineering Design Optimization
1995-05-02
First Level Trigger Optimisation in Vector Meson Photoproduction
1997-11-19
Dual Crosshatch Disk Array: A Highly Reliable Disk Array System
1996-05-20
The Forbidden Projections of Unate Functions
1998-01-19
Une Taxonomie Des Algorithmes D'allocation Dynamique De Processus Dans Les Systèmes Parallèles Et Distribués
1997-04-01
E. G. Talbi
A Structure-Based Approach to Querying Semi-Structured Data
1999-01-20
Mary Fernandez
On The BPP Hierarchy Problem
1997-03-05
Christer Berg
Explorations of Sequential ATPG Using Boolean Satisfiability
1996-03-21
A Query Construct for Paraconsistent Databases
1998-04-22
Rajiv Bagai
Constraint-Based Updates in a Functional Data Model Database
1997-10-24
Root Categories and Simple Lie Algebras
1999-04-21
Finding Pattern Matchings for Permutations
1995-01-27
Louis Ibarra
An Algorithm for Lossless Smoothing of MPEG Video
1996-09-09
A General Framework for Reasoning About Contradictory Information and Some of Its Applications
1970-01-01
Laurence Cholvy
Photoproduction of Heavy Quarks
1998-05-15
Michael Kr Amer
Melody Transcription for Interactive Applications
1997-01-26
Horseshoes and the Conley Index Spectrum
1996-11-13
Efficient Detection of Channel Predicates in Distributed Systems
1997-08-01
The ATT Internet Difference Engine: Tracking and Viewing Changes on the Web
1997-08-21
Image Matching Using the OBIR System with Feature Point Histograms
1998-04-03
Southwest Journal Of Pure And Applied Mathematics
1996-02-20
Analysis of Document Structures for Element Type Classiøcation
1999-04-20
From Frank Lloyd Wright to Mondrian: Transforming Evolving Representations
1999-02-07
Utrecht Chapters
1998-01-15
Wavelet Smoothing of Evolutionary Spectra By Non-Linear Thresholding
1997-09-29
Default Reasoning and the Qualitative Representation of Spatial Knowledge
1996-12-11
Evaluation Of Digit Recognition Over The Telephone Network
1997-03-10
A New Synthesis Approach for Feedback Neural Networks Based on the Perceptron Training Algorithm
1998-05-01
, vol. 29, no. 10, pp. 876--878, May 1993. AMS 1995,
1996-10-15
Cmos Driver
Managing Security in High-Performance Distributed Computations
1970-01-01
Linking Notations and Theories in a Proof Tool
1998-03-12
Rachel Cardell-oliver
Polymorphic Typing of Variables and References
1996-05-23
Multi-level Data Fusion for the Detection of Targets using multi-spectral Image Sequences
1998-12-02
Reverse Engineering and System Renovation - An Annotated Bibliography
1997-03-03
Resource-Constrained Software Pipelining
1994-12-11
The Persistent Relevance of IPC Performance: New Techniques for Reducing the IPC Penalty
1994-08-18
MCK: Wireless Communication with Mobile Agents.
1998-06-16
A Hardware Implementation of Fuzzy Controllers Using Analog/Digital VLSI Techniques
1998-04-02
The Self-reconfiguring Robotic Molecule: Design and Control Algorithms
1998-12-07
Keith Kotay
IFS Fractal Interpolation for 2D and 3D Visualization
1996-01-26
Craig M. Wittenbrink
The Criticality of Modeling Formalisms in Software Design Method Comparison
1997-08-08
Optimizing Object Queries Using an Effective Calculus
1998-08-19
The LaTeX2HTML Translator
1994-01-26
Nikos Drakos
Principles of Metareasoning
1996-03-16
More On Counting Sequences
1995-09-07
Multi-way Rendezvous in the Web
1998-12-22
Verifying Duration Properties of Timed Transition Systems
1999-04-13
Statistical Analysis of Heaped Duration Data
1997-12-24
Snap Rounding Line Segments Efficiently in Two and Three Dimensions
1999-03-11
A New Iterative Adaptive Mixtures Type Estimator
1996-05-15
Extendible
1998-02-25
K. W. Tindell
Applications of the Extended Linear Complementarity Problem in the Max-Plus Algebra
1998-09-11
Mach: A Foundation for Open Systems
1992-09-21
Optical properties of fibres for the 1998 Module 0
1999-03-23
The Omega-Rich
1994-04-21
A globality theorem for Lie-wedges that are bounded by a hyperplane-ideal
1995-08-20
Dirk Mittenhuber
Synthesis of Signature-Invariant Equivalence Class Circuit Mutants and Applications to Benchmarking
1997-03-26
Optimal Decision Trees
1996-11-04
On the Asymptotic and Numerical Analysis of Exponentially Ill-Conditioned Singularly Perturbed Boundary Value Problems
1994-08-24
Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern Classification
1996-11-01
Packet-Pair Flow Control
1995-05-17
Srinivasan Keshav
Authenticated Transmission of Discoverable Portable Code Objects in a Distributed Computing Environment
1998-05-20
Dynamic Quality Management: The Way To Maintainable Software Systems
1995-12-07
Analysis and Justification of a Simple, Practical 2 1/2-D Capacitance Extraction Methodology
1997-10-21
Analysis For Palatalized Articulation Of s Sounds Using Synthetic Speech
1996-05-15
A Verified Implementation of an Applicative Language with Dynamic Storage Allocation
1997-06-14
Arthur D. Flatau
Limit Set Of A Weakly Supercritical Contact Process On A Homogeneous Tree
1997-06-10
A simple railroad controller: A case study in real-time specification using MOSCA
1995-05-17
Angewandte Mathematik und Informatik Universit at zu K oln
1970-01-01
On High-Speed VLSI Interconnects: Analysis and Design
1997-05-17
Automatic Generation of Software Quality Analysis Tools - The Case of Fractal Metrics
1998-07-06
Gromov Hyperbolic Space
1997-09-16
Vadim A. Kaimanovich
Status Report of the HIMAC Control System --Reliable beam supply for cancer radiotherapy with carbon beam--
1996-01-17
Delay Estimation In Wireless CDMA Systems Using Subspace Angle Optimization
1998-03-13
Adaptive Optics Calculations Using the Connection Machine
1995-01-23
A Frequency-Hopping Approach for Microwave Imaging of Large Inhomogeneous
1996-04-03
Euclidean Jordan algebras and generalized affine-scaling vector fields
1998-03-13
Leonid Faybusovich
Dynamic Manipulability Analysis of Compliant Motion
1998-04-23
Tsueno Yoshikawa
Timed Automata
1998-02-01
Rajeev Alur
Event Recognition using Qualitative Reasoning on Automatically Generated Spatio-Temporal Models from Visual Input
1997-04-24
J Fernyhough
Object Models From Contour Sequences
1996-05-29
Radiological Reporting Based on Voice Recognition
1995-07-24
Higgs Boson Production At
1998-05-15
Bounded Triangular and Kagom'e Ice
1999-03-31
Kari Eloranta
A Bisimulation Method for Cryptographic Protocols
1998-01-28
Andrew D. Gordon
A Proof of the Kahn Principle for Input/Output Automata
1992-06-15
Using 32-bit NAG C DLL functions from...
1999-01-08
The Strict Time Lower Bound and Optimal Schedules for Parallel Prefix with Resource Constraints
1996-06-05
Similarity-Based Estimation of Word Cooccurrence Probabilities
1999-04-21
Architecture of KRPAN
1996-04-25
Dynamic Feedback: An Effective Technique for Adaptive Computing
1997-03-19
The Resource Constrained Shortest Path Problem Implemented in a Lazy Functional Language
1996-02-21
Model-Based User Interface Design By Example And By Interview
1993-10-04
Numerical Passage From Systems Of Conservation Laws To Hamilton--Jacobi Equations, And Relaxation Schemes
1970-01-01
Adaptive proposal distribution for random walk Metropolis algorithm
1998-06-16
Spherical Curvature Inhomogeneities in String Cosmology
1970-01-01
COOPERATIVE LEARNING IN THE CLASSROOM: The Importance of a Collaborative Environment for Computer-Based Education
1970-01-01
A Notation For The Visual Specification Of Geometric Relations In Rule-Based User Interface Development Environments
1993-05-12
Some Experimental Results on Learning Probabilistic and Possibilistic Networks with Different Evaluation Measures
1997-10-08
Evolving Graphs and Networks with Edge Encoding: Preliminary Report
1996-07-11
Sean Luke
The Dimension Formula For The Ring Of Code Polynomials In Genus 4
1999-02-25
Manabu Oura
Generalized Dynamic Concept Model as a Route to Construct Adaptive Autonomous Agents
1995-07-03
COMan - Coexistence of Object-Oriented and Relational Technology
1995-02-24
STRUDEL: A Web-site Management System
1998-04-22
The Cycle Construction
1996-08-04
Dimension Of The Limit Set And The Density Of Resonances For Convex Co-Compact Hyperbolic Surfaces.
1998-10-06
Maciej Zworski
Optimal Robot Localization in Trees
1996-05-30
Periodic Retrieval of Videos from Disk Arrays
1997-01-26
A Real-Time Learning Neural Robot Controller
1994-12-20
BDD Based Procedures for a Theory of Equality with Uninterpreted Functions
1998-08-27
On Paradigms for Security Policies in Multipolicy Environments
1995-10-31
Winfried E. Kuhnhauser
Computational Alignment: A New, Unified Program Transformation for Local and Global Optimization
1994-02-08
Projet Minotaur
1996-01-16
Nonperturbative Renormalization and the Electron's Anomalous Moment in
1998-06-09
A Call-By-Need Lambda Calculus
1995-11-02
Orthogonal Wavelets on the Interval
1998-09-16
Nonperturbative Renormalization Group Equation And Beta Function In N=2 SUSY Yang-Mills
1998-05-25
A Comparison of Tool-Based and Paper-Based Software Inspection
1998-06-17
'Genotypes' for neural networks
1995-12-01
On the Optimal Motion Vector Accuracy for Block-Based Motion-Compensated Video Coders
1996-08-05
Argumentation-Theoretic Proof Procedures for Default Reasoning
1998-03-11
Kowalski F. Toni
Virtual Relations
1995-08-01
VIS : A System for Verification and Synthesis
1997-03-24
A Qualitative Physics Compiler
1997-09-12
Adam Farquhar
A Review and Empirical Evaluation of Feature Weighting Methods for a Class of Lazy Learning Algorithms
1996-09-04
Case Study: Multimedia Conference Control in a Packet-switched Teleconferencing System
1994-12-15
Using Assertions to Make Untestable Software More Testable
1999-03-16
Performance Analysis of Combining Multistage Interconnection Networks
1995-06-29
MYOAN: an Implementation of the KOAN Shared Virtual Memory on the Intel Paragon
1994-04-06
Robust Word Spotting In Adverse Car Environments
1995-10-31
`Fin and Ossian', the only known piece of
1995-08-10
Fin Ossian
On the convergence of reflective Newton methods for large-scale nonlinear minimization subject to bounds
1992-12-11
Web Based Collaboration-Aware Synthetic Environments
1998-05-18
Pulse Tracking With A Pitch Tracker
1997-04-03
Eric D. Scheirer
Information Brokering over the Information Highway: An Internet-Based Database Navigation System
1998-09-28
Edge and Mean Based Image Compression
1996-12-03
A Polynomial Time Algorithm for Finding Finite Unions of Tree Pattern Languages
1997-01-28
A Self-Organizing Representation of Sensor Space for Mobile Robot Navigation
1994-09-27
A new distributed fault-tolerant algorithm for the Simple Assembly Line Balancing Problem 1
1997-11-14
A Partial Linearization Method for the Traffic Assignment Problem
1995-09-19
Block Save Addition with Telescopic Sums
1997-06-10
On the Scope of Applicability of the ETF Algorithm
1995-08-21
Laboratoire d'Astrophysique - Observatoire de Grenoble, Universit'e Joseph Fourier, BP 53, F-38041 Grenoble Cedex 9
1998-11-13
Second ECOOP Workshop on Precise Behavioral Semantics with an Emphasis on OO Business Specifications
1999-01-14
Bandwidth Selection for PET Image Reconstruction by Confidence-Weighted Filtered Backprojection.
1999-04-25
Yudi Pawitan
A Comparison of Two Distributed Systems: Amoeba and Sprite
1996-04-04
Design of a Concurrent and Distributed Language
1994-09-09
D4%U%%k%?%j%s%0$K4X$9$k85fF08~
1998-03-11
Gas-Kinetic Schemes for the Compressible Euler Equations I: Positivity-Preserving Analysis
1997-07-19
Multilevel Minimal Residual Methods for Nonsymmetric Elliptic Problems
1996-01-05
Gerhard Starke
Discovering Robust Knowledge from Databases that Change
1998-11-03
Craig A. Knoblock
Algorithms for Learning Decomposable Models and Chordal Graphs
1997-06-02
On The Identification Of Soil Transmissivity From Measurements Of The Groundwater Level
1997-11-19
Fast Context-Free Parsing Requires Fast Boolean Matrix Multiplication
1999-03-26
Lillian Lee
Computer Scheduling Algorithms: Past, Present, And Future
1998-02-03
Shape-based Image Retrieval Using Geometric Hashing
1997-04-08
State Reconstruction for Determining Predictability in Driven Nonlinear Acoustical Systems
1997-06-30
Bernd Schoner
Distributional Clustering of English Words
1997-01-29
Primitive Auditory Segregation Based On Oscillatory Correlation
1997-05-20
Deliang Wang
Consistency of the Local Kernel Density Estimator
1995-11-30
Geof H. Givens
Analysing Modes and Subtypes in Z Specifications
1998-05-28
Michael Winikoff
Successive Broadcasts on Hypercube
1994-03-09
M-Connection Service: A Multicast Service for Distributed Multimedia Applications
1996-02-01
Applications of the Matroid Parity Problem to Approximating Steiner Trees
1998-06-27
Eyes in the Interface
1995-07-07
Francis K. H. Quek
A Comparison of Implementation Strategies for Non--Uniform Data--Parallel Computations
1998-03-23
Sorting Integers on the AP1000
1998-04-17
November 1997
1997-11-19
The Performance of Consistent Checkpointing
1998-02-02
Complete Orthogonal Decomposition for Weighted Least Squares
1995-01-10
A Study of Query Execution Strategies for Client-Server Database Systems
1995-08-11
Absorbing Boundary Conditions for the Schrödinger Equation
1970-01-01
Thomas Fevens
Describing the Approaches
1994-12-21
Type-Safe Heterogeneous Sharing can be Fast
1996-06-19
An Object-Oriented Real-Time Database System For Multiprocessors.
1995-08-16
Victor Bradley Lortz
Hydrodynamic Scaling, Convex Duality, and Asymptotic Shapes of Growth Models
1997-04-26
Derandomization, witnesses for Boolean matrix multiplication and construction of perfect hash functions
1998-09-01
Segmentation, Filtering And Classification Of SAR Images
1998-06-01
Range Searching in Low-Density Environments
1998-05-26
Issues in Multiparadigm Viewpoint Specification
1997-06-06
A Computational Market Model for Distributed Configuration Design
1994-07-25
Michael P. Wellman
On Interfaces to Parallel I/O Subsystems
1998-04-04
Walfredo Cirne
Writing an Operating System with Modula-3
1997-11-18
EUCLID CALMA Radio Link Frequency Assignment Project Report 2.1. - Implementation and Testing of Genetic Algorithm Approaches
1999-01-28
Horizontal Microcode Compaction for Programmable Systolic Accelerators
1997-05-15
Paolo Ienne
Flexible and Adaptable Buffer Management Techniques for Database Management Systems
1996-02-17
Christos Faloutos
Conducting an Interview: using the analysis of a speech event to elicit certain varieties of speech
1996-10-21
Players, Resistors Creators 1
1999-01-19
An Abstraction-Based Analysis of Rule Systems for Active Database Management Systems
1998-10-11
Set Systems of Bounded Vapnik-Chervonenkis Dimension and a Relation to Arrangements
1997-08-05
Bernd Gartner
Sound Rendering
1995-05-18
Tapio Takala
Iterative Belief Revision in Extended Logic Programming
1997-05-28
Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification
1997-03-06
Sharp Deconvolution in Elimination of Multiples
1998-03-19
Gennady A. Ryzhikov
Asteroseismological Calibration of Open Clusters
1996-02-06
Hierarchical Subsampling Giving Fractal Regions
1998-10-19
A Methodology for Description of Geometrical Deformations
1998-02-02
Object Synchronizer: A Design Pattern for Object Synchronization
1998-10-23
Robust Learning Aided by Context
1998-05-01
Approximate Analysis of Queueing Networks with Finite Buffers and Losses by Decomposition
1998-06-04
Armin Heindl
Iterative Techniques For Blind Source Separation Using Only Fourth-Order Cumulants
1996-04-03
The DISCWorld Peer-To-Peer Architecture
1998-01-23
First-Order System Least Squares For The Stokes Equations, With Application To Linear Elasticity
1995-04-24
Loop versus Data Scheduling: Models, Language and Application for SVM
1998-09-08
Efficient Data Placement for Processor-In-Memory Array Processors
1997-05-16
Software Architecture for a Firm Real-Time Database System
1996-05-30
Object-oriented Software for the Analysis of Longitudinal Data in
1997-09-22
Extraction of Road Traffic Data from Image Sequences
1999-01-24
M. Atiquzzaman
Temporal Logic, Automata, and Classical Theories - An Introduction
1994-08-15
Closed-form Analytic Maps in One and Two Dimensions Can Simulate Turing Machines
1996-07-15
Quasi Polymatroidal Flow Networks
1999-04-21
Martin Kochol
A Query Language for a Web-Site Management System
1999-04-18
A proof of the smoothing properties of the positive part of Boltzmann's kernel
1997-02-17
Algorithm and Hardware Support for Branch Anticipation
1997-03-19
Using the Parametricity Theorem for Program Fusion
1997-11-27
Leonidas Fegaras
Universal scheme of minimal reduction of usual and dual N=1,D=10 supergravity to the Minkowsky space
1998-05-25
Recovering 3D Geometry with a Robot Arm and a Laser Scanner
1997-10-03
Automated Identification of Episodes of Asthma Exacerbation for Quality Measurement in a Computer-Based Medical Record
1995-08-14
David B. Aronow
Effective Memory Use in a Media Server
1998-03-03
Formal Verification of Missions and Tasks Application to Underwater Robotics
1997-01-24
Entropy, Counting, and Programmable Interconnect
1997-08-19
1993-11-08
1993-11-08
Multicasting on Switch-based Irregular Networks using Multi-drop Path-based Multidestination Worms
1997-04-03
High Dynamic Range Imaging Using a Deformable Mirror for Space Coronography
1996-09-10
SDL Modelling with High Level Petri Nets
1996-10-10
Nisse Husberg
The TEMPORA Deductive Repository: Metamodelling and Validation Support
1996-01-05
Sensar. . . Secure Iris Identification System
1998-09-24
M-r Iris Identification
Primal-Dual Interior-Point Methods for Self-Scaled Cones
1997-10-02
Twisted Harish-Chandra Sheaves And Whittaker Modules: The Non-Degenerate Case
1997-02-06
HYPERPROGRAMMING: A Formal Approach to Software Environments
1998-01-17
Joseph A. Goguen
Repeated Redundant Inequalities in Constraint Logic Programming
1994-08-09
Spiro Michaylov
Towards a Logic Programming Methodology based on Higher-order Predicates
1997-09-29
The Uniqueness Theorem For Rotating Black Hole Solutions Of Self-Gravitating Harmonic Mappings
1998-05-12
Markus Heusler
A Choice-Point Library for Backtrack Programming
1998-11-13
Pierre-etienne Moreau
Turbulence in Atomic Hydrogen
1998-05-26
A. Lazar I
Structural Operational Semantics as a Basis for Formal Methods
1997-11-05
Systematic Methods for Multivariate Data Visualization and Numerical Assessment of Class Separability and Overlap in Automated Visual Industrial Quality Control
1997-12-21
A Parallel Hybrid Ga For Peptide 3-D Structure Prediction
1995-12-13
On Discrete Sufficient Statistics for Asynchronous Band-limited CDMA Systems
1999-03-08
Message Specification Language MSL: A Domain Specific Design Language for Message Translation and Validation
1970-01-01
On Object Orientation as a Paradigm for General Purpose Distributed Operating Systems
1970-01-01
M. Mirmehdi
1996-03-20
Filter Trees for Managing Spatial Data Over a Range of Size Granularities
1998-03-14
Techniques for Reducing Consistency-Related Communication in Distributed Shared Memory Systems
1998-07-26
Measurement of the
1998-05-23
k-best: A New Method for Real-Time Decision Making
1996-11-08
Joseph C. Pemberton
An Essay Towards a New Theory of Vision
1994-02-04
David Vernon
The Lymphocyte Pattern Matching Engine
1997-01-09
Bradford W. Miller
Pin Assignment for Multi-FPGA Systems
1995-12-21
The Largest Cartesian Closed Category of Stable Domains
1998-04-01
Guo-qiang Zhang
The Cave-Wp4 Generic Speaker Verification System
1998-01-12
On the Burnside problem for Semigroups of Matrices in the max,+ Algebra
1997-12-05
S. Gaubert
Homoclinic Tangencies In Unimodal Families With Non-Constant Topological Entropy
1998-08-22
Steven M. Pederson
H1 Collaboration
1998-07-20
H Collaboration
Mathematical Definability
1997-04-30
Theodore A. Slaman
A Hierarchical Classifier System Implementing a Motivationally Autonomous Animat
1996-12-19
Random-Self-Reducibility In The Polynomial Hierarchy
1999-04-25
Chung-chieh Shan
Random Sampling and Greedy Sparsification for Matroid Optimization Problems.
1998-10-08
David R. Karger
An Asymptotical Variational Principle Associated with the Steepest Descent Method for a Convex Function
1996-06-24
B. Lemaire
John Froelich and Ben Mathes
1995-04-09
Activation Set: An abstraction for accessing periodic data streams
1996-05-10
A Logically Reversible Evaluator for the Call-By-Name Lambda Calculus
1996-12-02
Lorenz Huelsbergen
From Digital Control to Digital Signal Processing
1998-05-26
Bruce A. Francis
Dispersive Approach to Power-Behaved Contributions in QCD Hard Processes
1998-05-22
Guidelines for OSI NSAP Allocation in the Internet
1994-06-03
Ross Callon dec
Futures for Partitioning in Physical Design
1998-02-26
Andrew B. Kahng
Locality Analysis for Distributed Shared-Memory Multiprocessors
1997-03-25
Intercommutation of Z-string loops violates baryon number
1998-05-23
Jacek Dziarmaga
The NOMAD Experiment at the CERN SPS : A Status Report
1995-08-11
EURIS, a Specification Method for Distributed Interlockings extended
1999-01-13
Volume Rendering Methods for Computational Fluid Dynamics Visualization
1995-01-19
Issues in Bringing Object Orientation and Real Time Together
1995-11-07
R. J. A. Buhr
Performance Evaluation of Packet Data Services Over Cellular Voice Networks
1997-09-25
Encoding Presentation Emphasis Algorithms for Graphs
1994-10-09
Emanuel G. Noik
Spatiotemporal Model-Based Optic Flow Estimation
1995-09-01
Nuno Vasconcelos
A Safe Recursion Scheme for Exponential Time
1998-07-14
Peter Clote
General Object-Based Environments: An Engine for Software Development Environments
1998-08-12
Lars Bendix
Construction of Yangian algebra through a multi-deformation parameter dependent rational
1998-05-23
Camera Calibration Technique using Robust Regression
1997-08-22
DYNAMIC CONGRUENCE vs. PROGRESSING BISIMULATION for CCS
1995-06-29
Giovanni Gallavotti
1997-04-26
Giovanni Gallavotti
Global Self Organization of All Known Protein Sequences Reveals Inherent Biological Signatures
1998-08-16
Action Prediction Using a Mental-Level Model
1995-01-19
Visual Tools for Temporal Reasoning
1993-10-28
An Architecture for Agent-Oriented Programming with a Programmable Model of Interaction
1996-04-01
The Role of Context in Concept Learning
1996-06-10
Accessing Extra-Database Information: Concurrency Control And Correctness
1999-04-21
Spatial Domain Characterization and Control of Reconstruction Errors
1999-01-25
Recovering a Relation from a Decomposition Using Constraint Satisfaction
1997-06-17
Peter Jeavons
On The Multiplicative Complexity of Boolean Functions over the Basis
1998-12-03
Classification and Comparison of Modularity Concepts for Graph Transformation Systems
1998-12-21
RMSIM: a Serial Simulator for Reconfigurable Mesh Parallel Computers
1970-01-01
Double particle resolution in STAR silicon drift detectors
1998-03-16
A. French
Noun-Phrase Co-Occurrence Statistics for Semi-Automatic Semantic Lexicon Construction
1998-09-09
A Family Of Quantum Projective Spaces And Related q-Hypergeometric Orthogonal Polynomials
1996-10-31
Efficient Mapping Library for PARIX
1995-03-24
Compositional Characterization of Observable Program Properties
1998-03-11
An Improved Approximation Algorithm for Minimum Size 2-Edge Connected Spanning Subgraphs
1997-11-30
Research Interests and Experience
1995-02-08
Dalia Malki
The IMPROV Meta-Tool Design Methodology for Visualization of Parallel Programs*
1994-03-24
Thomas L. Casavant
Representation and Querying in Temporal Databases: the Power of Temporal Constraints
1999-02-02
Manolis Koubarakis
The potential of Electronic Commerce in reengineering consumer-retailer relationships through Intelligent Agents
1997-10-09
Valley Instanton in the Gauge-Higgs System
1998-05-14
The Htk Large Vocabulary Recognition System For The 1995 Arpa H3 Task
1998-03-30
Algorithms for Sensorless Manipulation Using a Vibrating Surface
1996-11-16
Geometric Ergodicity and Hybrid Markov Chains
1997-04-12
Semi-Definite Programming for Topology Optimization of Trusses under Multiple Eigenvalue Constraints
1999-02-18
Very large conferences on the Internet: the Internet Multimedia Conferencing Architecture.
1999-03-01