Network Management Architectures
1995-09-13
Linking ArcView 3.0 and XGobi: Insight Behind the Front End
1997-06-03
Querying TSQL2 Databases with Temporal Logic
1996-01-25
A General Duality Principle for the Sum of Two Operators
1996-06-24
H. Attouch
Power Conscious Fixed Priority Scheduling for Hard Real-Time Systems
1999-03-18
A Geometric Framework for time-dependent Billiards
1997-05-15
The Systematic Improvement of Fault Tolerance in the Rio File Cache
1999-01-06
The Use of Constraint Systems for Musical Composition
1998-06-08
Geraint A. Wiggins
SodaBot: A Software Agent Environment and Construction System
1994-11-14
Michael H. Coen
The Network RamDisk : Using Remote Memory on Heterogeneous NOWs
1998-09-17
A Distributed-Integrated Medical Imaging System
1993-10-21
An Event Service Framework for Distributed Real-Time Systems
1998-07-07
Three-Dimensional Finite-Element Analyses: Implications for Computer Architectures
1998-09-10
Relative to a random oracle, P/poly is not measurable in EXP
1998-03-26
Marius Zimand
Context Free Attentional Operators: the Generalized Symmetry Transform
1995-03-30
Modeling Supply Chain Dynamics: A Multiagent Approach
1998-08-28
Learning High Utility Rules by Incorporating Search Control
1998-12-20
Jihie Kim
On the Grammaticalization of Negative Polarity Items
1998-06-05
Jack Hoeksema
Finding Points on Curves over Finite Fields
1996-10-22
Differential Games and Symbolic Programming to Calculate a Guaranteed Aircraft Evasion in Modern Aerial Duels
1994-03-02
On the Capacity of Cellular CDMA with Controlled Power Disparities
1998-11-21
Support for the File System Security Requirements of Computational E-Mail Systems
1994-08-25
Dynamic Fault Grouping for PROOFS: A Win for Large Sequential Circuits
1999-04-20
Applying Super-Resolution to Panoramic Mosaics
1998-11-06
Egon B orger
1998-10-25
ZEUS-2D: A Radiation Magnetohydrodynamics Code for Astrophysical Flows in Two Space Dimensions: II. The Magnetohydrodynamic Algorithms and Tests
1994-05-03
Understanding Partitions and the "No Partition" Assumption
1998-08-28
Clin d'Oeil on L_1-Embeddable Planar Graphs
1996-07-05
Cheating with Imperfect Transcripts
1997-07-30
Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment
1997-08-22
Metadata For Integrating Speech Documents In A Text Retrieval System
1995-06-21
The Software Architecture and Interprocess Communications of IRI: an Internet-based Interactive Distance Learning System
1996-04-19
Split Mode Method For The Elliptic 2-D Sine-Gordon Equation: Application To Josephson Junction In Overlap Geometry
1996-11-21
Integrating Multiple Cues in Word Segmentation: A Connectionist Model using Hints
1997-05-01
The Decidability of Simultaneous Rigid E-Unification with One Variable
1997-04-10
High Performance Fortran Language Specification
1996-04-01
Generating Abstractors from Abstraction Functions
1970-01-01
TR-96-02 March
1996-07-08
Polygon Area Decomposition for Multiple-Robot Workspace Division
1999-03-22
Small-Signal Circuit Analysis and Sensitivity Computations with the PVL Algorithm
1995-08-09
Resource-Limited Index Construction for Large Texts
1995-09-07
Alistair Moffat
Large Grain Parallel Sparse System Solver
1994-06-06
Bret Andrew Marsolf
The Effect Of Sampling And Quantization On Frequency Estimation
1999-01-12
Peter H Andel
Building Virtual Cities: applying urban planning principles to the design of virtual environments
1999-01-24
A Logical Model for Metadata in Web Bases
1998-08-10
Performance Study of RAID-5 Disk Arrays with Data and Parity Cache
1998-09-07
On the convergence of certain Gauss-type quadrature formulas for unbounded intervals
1998-07-02
Efficient Persistent Haskell
1998-11-03
Simulation Based Planning in Support of Multi-Agent Scenarios
1997-06-02
Using Introspective Reasoning to Select Learning Strategies
1993-02-11
Density Dependent Hadron Field Theory
1998-05-14
Specification Composition for the Verification of Message Passing Program Composition
1997-02-10
An Agent Infrastructure for Knowledge Discovery and Event Detection
1999-04-06
A Simulation Study of Switching Mechanisms for ABR Service in ATM Networks
1996-06-12
Olga Casals
Karl J. Runge
1995-05-01
Edge Linking and Junction Preservation
1995-02-22
Empirical Bayesian Spatial Prediction Using Wavelets
1998-12-27
Hybrid Bézier Patches on Sphere-like Surfaces
1995-12-05
Collecting Trash: A Test of Purposive Vision
1995-05-16
Intentional Agents and Goal Formation
1998-03-03
Lifshitz Asymptotics and Localization for Random Quantum Waveguides
1997-12-10
Modelling Unknown Words In Spontaneous Speech
1997-02-06
Characterizing Abstraction Hierarchies for Planning
1997-11-27
On General Results For All-To-All Broadcast
1996-07-19
A Logic-based Framework for Shape Representation
1995-10-06
Minimal Acceptable Measurement Durations for Reference Traffic Determination
1992-09-21
The Well-founded Semantics Is the Principle of Inductive Definition
1998-06-30
Marc Denecker
RTL Calls Generator
1999-02-12
Development of a Secure Electronic Marketplace for Europe
1996-10-18
Michael Waidner
A 1-S,T-Edge-Connectivity Augmentation Algorithm
1995-01-26
Steffen Enni
Quality Of Service Support For Protocol Processing Within Endsystems
1996-06-03
Character Segmentation Using Visual Inter-word Constraints in a Text Page
1995-06-28
Jet Structure In Deep-Inelastic Scattering
1998-11-17
Temporal Golog with Execution Monitoring
1998-09-15
Mikhail Soutchanski
Evolving Algebras: An Attempt To Discover Semantics
1996-09-10
Yuri Gurevich
A Matrix Key Distribution Scheme
1994-10-12
These lecture notes are based on the work of Neal 1996, Williams and Rasmussen 1996 and Gibbs 1997. My lectures feature a sequence of computer demonstrations written in the free language
1998-05-04
David J. C. Mackay
Report Documentation Page
1998-08-24
Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem
1997-04-17
Voice Communication Across the Internet: A Network Voice Terminal
1996-09-18
Henning Schulzrinne
Comparison of Chemical Evolution Models for the Galactic Disk
1998-05-25
Monica Tosi
DIFFERENTIAL GEOMETRY OF g-Manifolds
1998-12-03
Reasoning With Qualitative Representations: Exploiting The Structure Of Space
1993-06-23
Fakultat Fur Informatik
A New Method Fo Solving The Image Irradiance Equation Using Characteristics
1997-11-17
Per-gunnar Martinsson
Colored Partitions and a Generalization of the Braid Arrangement
1997-12-26
Volkmar Welker
Randex, A Bridge Over The Internet
1997-02-05
Visual Schemas in Neural Networks for Object Recognition and Scene Analysis
1997-02-14
A General Duality Principle for the Sum of Two Operators
1996-06-24
H. Attouch
Analysis Of Phoneme-Based Features For Language Identification
1995-12-22
Occam: Specification and Compiler Correctness - Part I: The Primary Model
1996-06-24
Parallel Least Squares Problems On Massively Distributed Memory Computers
1996-09-26
Tianruo Yang
Isospin Violation in Pion-Nucleon Interaction
1998-07-17
Sven Steininger
Partial Proof Trees as Building Blocks for a Categorial Grammar
1997-02-13
An Efficient Conditional-knowledge based Optimistic Simulation Scheme
1994-09-02
Runge-Kutta-Nyström-type parallel block predictor-corrector methods
1999-04-08
Algorithmic Information Theory
1998-07-21
G. J. Chaitin
Simulation For The EPPP Project
1995-03-23
Upward Extension Of The Jacobi Matrix For Orthogonal Polynomials
1998-07-29
A Study on Channel Allocation for Data Dissemination in Mobile Computing Environments
1998-11-05
Probabilistic Modeling for Face Orientation Discrimination: Learning from. . .
1999-01-06
Shumeet Baluja
ADIC: An Extensible Automatic Differentiation Tool for ANSI-C
1997-02-04
Applying the Hungarian Method to Stereo Matching
1997-12-02
Computer-Aided Design of Free-Space Optoelectronic Interconnection FSOI Systems
1996-01-15
Eiji Ogasa
1997-05-23
Eiji Ogasa
A Problem-Solving Environment for Generating Certifiably Correct Programs to Solve Evolution Equations
1998-02-10
A Probabilistic Model For Simulating Magnetoacoustic Emission Responses In Ferromagnets
1995-03-10
Initial Results on Wrapping Semistructured Web Pages with Finite-State Transducers and Contextual Rules
1998-07-16
Chun-nan Hsu
A Market Protocol for Decentralized Task Allocation
1998-04-24
Matematiqki Vesnik
1996-07-08
Numerical Analysis Of Abrupt Heterojunction Bipolar Transistors.
1998-09-09
On Supervisory Control of Sequential Behaviors
1996-12-13
Implementing a Zooming User Interface: Experience Building Pad++
1998-04-06
Knowledge-Based Task Analysis for Human-Computer Systems
1997-05-28
On Kernel Support for Real-Time Multimedia Applications
1997-04-11
Kevin Jeffay
Enhancement Of Mammographic Images For Detection Of Microcalcifications
1998-09-08
Revision History
1996-03-11
Affine Elimination Theory
1998-10-14
J. Maurice Rojas
Generalized Emulation Services for Mach 3.0 Overview, Experiences and Current Status
1993-10-05
Minkowski Decomposition of Convex Polygons into their Symmetric and Asymmetric Parts
1998-06-23
On Strong Separations from AC 0*
1995-09-15
Learning and Upgrading Rules for an OCR System Using Genetic Programming
1998-01-23
David Andre
Evolutionary Module Acquisition
1996-08-02
What is wrong with CAE and can it be fixed?
1995-02-06
Yoram Reich
MacFS: A Portable Macintosh File System Library
1998-05-05
Les Grammaires Attribuées: un Langage Fonctionnel Déclaratif
1996-10-28
Response Analysis for the Early Stages of Sedimentation Processes
1999-01-26
Spatially and Scale Adaptive Total Variation Based Regularization and Anisotropic Diffusion in Image Processing
1970-01-01
MDG Algorithms
1996-01-23
Study of Iterative Processes in Computer Graphic's Problems
1996-10-22
An Integrable Flow on a Family of Hilbert Grassmannians
1996-08-25
Rodrigo P. Gomez
Bayou: Replicated Database Services for World-wide Applications
1996-07-12
Weak* Sequential Compactness and Bornological Limit Derivatives
1995-10-27
Weak Bisimulation and Model Checking for Basic Parallel Processes
1997-03-04
Richard Mayr
A Mutation Spectra Database for Bacterial and Mammalian Genes: 1998
1997-12-15
Outline of an Information-Flow Model of Generics
1995-12-12
Optimal Efficiency of Optimistic Contract Signing
1998-10-15
Parameter Estimation in DS-CDMA Systems
1998-06-19
Compression of Image Data and Performance Tradeoffs for Client/Server Systems
1998-01-24
ATLAS I: A Single-chip ATM switch for NOWs
1996-12-15
Scheduling Transmissions in WDM Optical Networks
1998-04-17
Anytime Influence Diagrams
1996-11-08
Analysis and Visualization of Nonlinear Time Sequences
1996-01-31
Anton M. Kirchsteiger
Perturbing the Representation, Decoding, and Evaluation of Chromosomes
1998-08-03
Thomas Haynes
Machine Vision Sensing for Meat Processing Automation
1996-02-26
Towards A General Theory Of Representations
1997-10-28
Aaron Sloman
W3Gate - The Service
1997-07-01
Detc98/mech-5840
1999-02-02
Tests Based on Sum-Functions of Spacings for Uniform Random Numbers
1997-03-14
Template-Based Rendering of Run-Length Encoded Volumes
1998-12-11
A Bottom-Up Approach for Visualizing Program Behavior
1998-04-08
Quality of Service Support in High-Speed, Wormhole Routing Networks
1996-09-14
Using an Object-Oriented Predicative Style to Solve the Invoicing Case Study
1998-03-03
Richard F. Paige
Interacting Hot Dark Matter
1997-02-28
High Performance Fortran Language Specification
1996-04-02
Issues in Supporting Event-based Architectural Styles
1998-08-31
An Asynchronous Microprocessor in Gallium Arsenide
1993-11-11
Tak Kwan Lee
Trapped Modes In Acoustic Waveguides
1997-04-26
L. Parnovski
DoMerge: Integrating Parallel Loops and Reductions
1998-12-19
RD27 notes
1995-12-20
Application of Explanation-based Learning for Efficient Processing of Constraint-based Grammars
1994-06-16
Gunter Neumann Dfki
The Importance of Proof Maintenance and Reengineering
1995-08-07
Paul Curzon
PLOTS: pattern language of transport systems - Point and Route Patterns -
1997-10-17
Resonant Excitation of Plasma Wakefields using Multiple Electron Bunches
1998-10-08
Voltage Scheduling Problem for Dynamically Variable Voltage Processors
1998-08-16
Learning by a population of Perceptrons
1996-08-28
Pipelined Implementation of the Multiresolution Hough Transform in a Pyramid Multiprocessor
1999-01-24
M. Atiquzzaman
PLAN: A Programming Language forActive Networks
1997-11-10
Improving Automated Land Cover Mapping by Identifying and Eliminating Mislabeled Observations from Training Data
1996-03-07
On the Measurability of the Conjugate and the Subdifferential of a Normal Integrand
1995-10-27
Christian Hess
NETCICATS: Network-Conscious Image Compression and Transmission System
1998-07-29
Evaluating Virtual Channels for Cache-Coherent Shared-Memory Multiprocessors
1996-02-21
Environment Centered Analysis and Design of Coordination Mechanisms
1995-03-11
Keith S. Decker
The Widest Practicable Dissemination: The NASA Technical Report Server
1995-03-10
Human-Agent Interaction and Machine Learning
1999-02-08
The GENESIS Distributed-Memory Benchmarks
1994-01-16
Bayesian Methods for Mixtures of Experts
1996-04-03
Design Error Diagnosis in Logic Circuits using Ternary Test Sets
1996-10-09
Ayman Wahba
Unknown
1996-12-24
Replication Requirements in Mobile Environments
1997-07-04
Model Checking Algorithms for theµ-Calculus
1999-01-15
The Thin Plate as a Regularizer in Bayesian SPECT Reconstruction
1999-02-03
On Indeterminacy and Defeasible Reasoning
1996-07-05
On-Line q-adic Covering by the Method of the n-th Segment and its Application to On-Line Covering by Cubes
1996-05-22
Using Action-Based Hierarchies for Real-Time Diagnosis
1970-01-01
Cases as Structured Indexes for Full-Length Documents
1993-02-09
Marti A. Hearst
Implementation and Analysis of Software Based Fault Isolation
1970-01-01
Scott M. Silver
Cache Awareness in Blocking Techniques
1996-08-18
Making Stochastic Networks Deterministic
1998-08-27
Stefan M. Ruger
A Model of Visual Recognition and Categorization
1997-09-01
The MACHO Data Pipeline
1998-05-25
Raman@adobe.com
1999-01-26
T. V. Raman
Basic Observables for Processes
1998-09-23
Map Learning and High-Speed Navigation in RHINO
1996-11-10
Nikos Karacapilidis
1997-06-26
Results Of The Analysis Of The Blood Lymphocyte Proliferation Test Data From The National Jewish Center
1997-11-13
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance
1995-06-01
An Operational Semantics for Probabilistic Concurrent Constraint Programming
1998-03-26
Extracting Constructive Content from Classical Logic via Control-like Reductions
1970-01-01
A Projection Method for the Solution of Rectangular Systems
1996-07-05
Iain S. Duff
Perceptual Optimization Of Image Coding Algorithms
1995-06-16
Programming in Standard ML '97: A Tutorial Introduction
1998-04-23
TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory
1996-06-20
Visualizing Complex Hypermedia Networks through Multiple Hierarchical Views
1995-04-04
Maximum-Entropy Remote Sampling
1998-10-09
On Applying Or-Parallelism to Tabled Evaluations
1997-06-25
X-Ray Emission, Stellar Populations and Determination of IMF
1998-10-16
Annotation of Fine Art Images Using Adaptive Color Segmentation
1996-11-04
By-her Wang
Lexical Acquisition as Constraint Satisfaction
1994-01-19
Jeffrey Mark Siskind
Fault Diagnosis Solutions: Storage, Reuse and Parallelism
1996-10-07
Matematiqki Vesnik
1996-07-07
High-order Iterative Learning Control of Functional Neuromuscular Stimulation Systems
1998-03-20
Non-Volatile Memory for Fast, Reliable File Systems
1992-10-27
Decoder Complexity And Performance Comparison Of Matching Pursuit And Dct-Based Mpeg-4 Video Codecs
1998-11-09
Split Convolutional Approach to 3D Depth Extrapolation
1995-07-14
A Parallel Branch And Bound Algorithm For Test Generation
1997-01-09
VC Dimension Bounds for Networks of Spiking Neurons
1999-01-29
Michael Schmitt
Simulating Galaxy Formation
1998-05-25
M Steinmetz
Exploratory Study Of The Acoustic Performance Of Piezoelectric Actuators
1995-05-11
Unknown
1997-08-25
Tracking Context Changes through Meta-Learning
1996-06-28
Gerhard Widmer
Query Order and Self-Specifying Machines
1995-10-27
Preparing Students for Software Engineering
1997-02-24
An Extensible Interpreter for Value-Passing CCS
1995-09-08
Specification and Proof of Prioritized, Timed CSP Processes
1993-06-18
Gavin Lowe
Rigidly symmetric L
1995-08-21
Detlev Poguntke
Sampling Implicit Objects With Physically-Based Particle Systems
1995-12-12
Low-level and High-level CSCW Support in the Serendipity Process ModellingEnvironment
1998-08-12
A d-Dimensional Extension Of A Lemma Of Huneke's And Formulas For The Hilbert Coefficients
1994-11-15
Sam Huckaba
Separating Words with Small Grammars
1999-02-16
Implementing a Parallel C++ Runtime System for Scalable Parallel Systems
1994-09-10
Untwisted Moduli and Internal Fermions in Free Fermionic Strings
1998-05-23
Learning Robust Plans for Mobile Robots From A Single Trial
1996-04-28
Sean P. Engelson
Unknown
1997-05-31
Means Of
SHADE: Technology for Knowledge-Based Collaborative Engineering
1994-03-08
A Generic ATMS
1996-01-31
S. K. Godunov Symmetric form of the equations of magnetohydrodynamics
1998-06-23
S. K. Godunov
A Tangled Web of Deceit
1994-05-05
Learning Grouping Strategies for 2D and 3D Object Recognition
1996-11-13
Bruce A. Draper
Signature Hiding Techniques for FPGA Intellectual Property Protection
1999-03-16
Shaping Space: The Possible and the Attainable in RNA Genotype-Phenotype Mapping
1998-06-20
Large Kinematic Dynamo And Intermittence In A Turbulent Flow
1998-12-19
Comparison-Sorting and Selecting in Totally Monotone Matrices
1996-03-12
Are Lexical Meaning and Context Sufficient for Determining Indexical Reference?
1996-03-18
Lawrence D. Roberts
Debugging Standard ML Without Reverse Engineering
1995-09-15
Andrew P. Tolmach
A New Concept for Active Fusion in Image Understanding applying Fuzzy Set Theory
1996-07-01
Axel Pinz
FIAT: A Framework for Interprocedural Analysis and Transformation
1997-01-27
Procedure Call Models for Distributed Parameters in Data Parallel Programs
1994-10-24
Large graphs with small degree and diameter: A voltage assignment approach
1997-03-25
High-Concurrency Locking in R-Trees
1995-06-03
An Empirical Study of Algorithms for Point-Feature Label Placement
1996-05-02
Computationalism is Dead; Now What? - Response to Fetzer's "Minds Are Not Computers: Most Thought Processes Are Not Computational"
1996-05-21
Selmer Bringsjord
Copyright 1996 Sun Microsystems, Inc. All Rights Reserved
1998-05-23
Robust Point Location in Approximate Polygons
1996-09-30
A. James Stewart
Applying Testability to Reliability Estimation
1998-08-11
Modelling Evolving Populations
1997-12-11
Adam Prugel-bennett
Metric Entropy and Minimax Risk in Classification
1997-11-11
David Haussler
Cauchy--Szego kernels for Hardy spaces on simple Lie groups
1996-02-06
Agent Oriented Programming for Group Performance Support Systems
1996-05-10
A Framework for Undoing Actions in Collaborative Systems
1996-07-25
Michael J. Knister
An Extensible Protocol Architecture for Application-Specific Networking
1996-05-29
1996-07-08
1996-07-08
CCHIME: A Cache Coherent Hybrid Interconnected Memory Extension
1995-05-11
An Interactive Model of the Human Thigh for Simulating Surgical Procedures in Virtual Environments
1997-03-13
Long-Lived Renaming Made Fast
1996-08-27
Multi-Carrier CDMA with Iterative Decoding and Soft-Interference Cancellation
1997-08-15
Stefan Kaiser
Issues in Building General Letter to Sound Rules
1998-10-22
A Scaled Conjugate Gradient Algorithm for Fast Supervised Learning
1990-11-28
Martin F. Møller
Augmented Lagrangian and Total Variation Methods for Recovering Discontinuous Coefficients from Elliptic Equations
1997-08-27
Tony F. Chan
Understanding the Power of the Virtually-Synchronous Model
1995-03-10
Adaptive Obstacle Avoidance With a Neural Network for Operant Conditioning: Experiments With Real Robots
1997-07-30
Structural Adaptation of Parsimonious Higher Order Neural Classifiers
1995-02-15
COMPOSER: A Case Based Reasoning System for Engineering Design
1998-04-15
Learning Situation-specific Coordination in Generalized Partial Global Planning
1995-12-12
Using Predicated Execution to Improve the Performance of a Dynamically Scheduled Machine with Speculative Execution
1998-05-30
Model Selection and the Principle of Minimum Description Length
1998-09-30
Commensurate Scale Relations: Precise Tests Of Quantum Chromodynamics Without Scale Or Scheme Ambiguity
1998-05-15
Precision and Recall of Ranking Information-Filtering Systems
1996-06-08
FRST - An Interactive Revision System for Forward Chaining Rule Bases
1994-10-24
Ronen Feldman
Sparse Suffix Trees
1996-03-29
Gray-level Object Segmentation with a Network of FitzHugh-Nagumo Oscillators
1997-10-21
Practical Use of Ada-95 Real-Time Features
1998-10-29
Exact Black-Hole Solution With Self-Interacting Scalar Field
1998-05-12
Communication complexity of the Hamming distance
1998-04-03
Ulrich Tamm
Multiple Authentications With a Nonce-Based Protocol Using Generalized Timestamps
1997-07-09
Visual Servoing For Robotic Assembly
1998-12-17
Brad Nelson
Parallel Algorithms
1998-01-28
The Independence Number of Graphs With Large Odd Girth
1996-04-10
Tristan Denley
Micro Stereolithography Using A Liquid Crystal Display As Exposure Mask
1998-11-03
Real-Time Recognition Of Broadcast Radio Speech
1996-01-19
Applications Of Cayley Graphs
1995-01-15
Proof of the De Gennes Formula for the Superheating Field in the Weak k Limit
1995-07-06
The Taming of the Cut. Classical Refutations with Analytic Cut
1997-12-03
Marco Mondadori
Bayesian Comparison of Models for Images
1994-11-25
Fast Multipole Method Solution Of Combined Field Integral Equation
1996-04-03
LBV Outbursts: The Effects of Rotation
1996-12-02
Video Shot Detection and Characterization for Video Databases
1998-06-05
Naive Drell-Yan and Its Successor
1998-10-06
T-m. Yan
A Quality of Service based Allocation and Routing Algorithm for Distributed, Heterogeneous Real Time Systems*
1997-03-14
Saurav Chatterjee
On Certificates and Lookahead in Dynamic Graph Problems
1997-02-02
Using a Vector Quantization Approach for Robust Text-Independent Speaker Identification
1995-10-17
Gauge Symmetries and Percolation in
1997-12-11
Christian Mazza
A Recursive Filter for Phase Velocity Assisted Shape-based Tracking of Cardiac Non-rigid Motion
1995-08-09
Optimal Play Against Best Defence: Complexity and Heuristics
1998-11-20
Ian Frank
Tracking Eyes and Monitoring Eye Gaze
1998-05-20
Modeling Sharing and Recursion for Weak Reduction Strategies using Explicit Substitution
1998-03-20
Preprocessing of Intractable Problems
1998-10-20
Enhancing the Nuprl Proof Development System and Applying it to Computational Abstract Algebra
1995-04-15
Decidable Reasoning in Terminological Knowledge Representation Systems
1998-02-02
Loop Scheduling Algorithm for Timing and Memory Operation Minimization with Register Constraint
1998-10-21
Computation of the Least Significant Set Bit
1996-05-30
Andrej Brodnik
A Digital Fountain Approach to Reliable Distribution of Bulk Data
1998-10-15
Standard ML of New Jersey
1995-03-03
David B. Macqueen
On the topology of deformation spaces of Kleinian groups
1998-06-09
Plan Execution for Autonomous Spacecraft
1996-11-05
Global Error Control For The Continuous Galerkin Finite Element Method For Ordinary Differential Equations
1994-10-03
Stochastic Cycle Period Analysis in Timed Circuits
1999-04-07
Constructing Variationally Optimal Curves using Subdivision
1997-05-27
An Action-Based Formal Model for Concurrent, Real-Time Systems
1995-02-07
C. J. Fidge
The Energy Efficiency of IRAM Architectures
1997-03-04
Mawl: Integrated Web and Telephone Service Creation
1999-03-29
Estimating the Probability of Approximate Matches
1997-08-14
Stefan Kurtz
Extreme K-Families
1996-04-30
SPIE: Sparse Partial Inductance Extraction
1997-05-29
The Utility of Embedded Communications: Toward the Emergence of Protocols
1995-07-12
Berkeley, CA 94720 email:
1997-11-03
A NN Algorithm for Boolean Satisfiability Problems
1998-06-03
William M. Spears
Finitely Generated Magari Algebras and Arithmetic
1994-08-29
An Analysis of Ontology Mismatches; Heterogeneity Versus Interoperability
1997-08-08
Brad Tonkes
1998-09-27
Brad Tonkes
Optimally Rotation-Equivariant Directional Derivative Kernels
1997-06-11
Dialogue as Knowledge Editing
1999-03-23
Query Evaluation in the Object-Oriented GIS GODOT
1997-12-07
Advanced Solving Techniques in Optimization of Machine Components
1999-04-20
Adaptive Wavelet Methods for Saddle Point Problems
1999-02-23
Using Agent-based Software for Scientific Computing in the NetSolve System
1998-06-29
Jack Dongarra
Functional topography: Multidimensional scaling and functional connectivity in the brain.
1995-05-31
Poincaré-Invariant Markov Processes And Gaussian Random Fields On Relativistic Phase Space
1996-12-20
A Fuzzified Nested Generalized Exemplar Theory
1997-10-22
Nicoletti Flávia Oliveira Santos
Explorations in Design Space
1994-04-20
A Procedure for Mediation of Queries to Sources in Disparate Contexts
1997-07-30
Modelling Activities In Information Systems Using The Coordination Language Manifold
1998-02-20
Applications of Machine Learning: Notes from the Panel Members
1995-07-17
Efficient TCP over Networks with Wireless Links
1997-07-23
Wiener Tauberian Theorems For
1998-11-17
Rudra P. Sarkar
Implementing a Low Cost, Low Latency Parallel Platform
1996-11-07
A Simple Balanced Search Tree With O1 Worst-Case Update Time
1996-01-15
Rudolf Fleischer
Similarity and Affine Invariant Distances between 2D Point Sets
1997-01-31
ADAPTOR Users Guide Version 6.1
1998-12-21
Agents And Software Engineering
1998-09-14
Michael Wooldridge
A Log N Distributed Mutual Exclusion Algorithm Based on the Path Reversal
1998-10-30
Markovian modeling of the stress contours of Brazilian and European Portuguese
1997-05-21
Predicting Individual Book Use for Off-Site Storage Using Decision Trees
1996-05-02
The Object-Oriented Database System Manifesto
1993-04-13
Einstein's Energy-Free Gravitational Field
1970-01-01
Entropy and Dyadic Equivalence of Random Walks on a Random Scenery
1999-01-20
Flexible Mapping for Retrieval from Federated Schemas with Modelling Variations
1970-01-01
Radhika Reddy
Meroon V3: A Small, Efficient and Enhanced Object System
1997-12-29
Christian Queinnec
The Geometry and Statistics of Mixing in Aperiodic Flows
1999-03-29
prodigy/analogy: Analogical Reasoning in General Problem Solving
1995-01-16
Manuela M. Veloso
Dynamic ML without Dynamic Types
1998-04-23
A Users' Guide To Pstswm
1995-07-02
Neural Network Applications As Inverse Transform Method Of The Acoustic Speech Signal
1996-06-25
Propulsion and Control of Deformable Bodies in an Ideal Fluid
1998-11-18
David Karger
1997-04-16
Final February1993
1994-04-17
Indexing Compressed Text
1997-09-02
On Diophantine systems coming from AC-unification of higher-order patterns: exploiting symmetries
1998-01-16
A Constraint-Based Induction Algorithm in FOL
1995-04-14
Chaotic cascades with Kolmogorov 1941 scaling
1997-04-26
Embedding Revision Programs in Logic Programming Situation Calculus
1998-09-22
Chitta Baral
Goal-Based Business Process Models: Creation and Evaluation
1997-11-05
Hydrodynamic Screening And Nonequilibrium Phase Transitions In Stokesian Fluidised Beds
1998-04-19
A Common Framework for Distributed Representation Schemes for Compositional Structure
1997-11-30
Tony A. Plate
Exponential Approximations In Completely Regular Topological Spaces And Extensions Of Sanov's Theorem
1997-03-03
Peter Eichelsbacher
Statistical Inference of a Bivariate Proportional Hazard Model with Grouped Data
1998-07-03
Mark Yuying An
A Point-based Temporal Extension of SQL
1998-08-05
David Toman
A Four-Color Theorem for Periodic Tilings
1996-09-10
D. H. Huson
Internet Engineering Task Force M. Handley/J. Crowcroft/C. Bormann INTERNET-DRAFT UCL/UCL/Bremen 22 Feb 1996
1999-02-08
Information Retrieval Issues
1995-05-03
Approximable Sets
1998-09-29
On-line New Event Detection and Tracking
1998-06-15
Adding a Temporal Dimension to a Logic System
1994-03-22
Automatic Differentiation, Tangent Linear Models, and PseudoAdjoints
1997-01-27
Christian H. Bischof
Octree-Based Decimation of Marching Cubes Surfaces
1996-07-11
Randomized Load Balancing for Tree-structured Computation
1996-02-21
Defining the IEEE-854 Floating-Point Standard in PVS
1970-01-01
Paul S. Miner
A Hierarchical Bayesian Model To Predict The Duration Of Immunity Against Hib
1998-02-11
Verification and Validation of Temporal Business Rules
1996-01-05
Clustering and Outlier Identification: Fixed Point Cluster Analysis
1998-11-19
C. Hennig
On the Usefulness of Re-using Diagnostic Solutions
1999-04-06
Using Semantic Differencing to Reduce the Cost of Regression Testing
1995-11-03
David Binkley
On the non-existence of homoclinic orbits for a class of infinite dimensional Hamiltonian systems
1996-05-20
Georgia Tech--atlanta
On the Effect of Analog Noise in Discrete-Time Analog Computations
1997-05-28
A Comparative Study of Divergence Control Algorithms
1994-12-13
Rationale in Planning: Causality, Dependencies, and Decisions
1997-11-03
A Survey of Basic Issues of Parallel Execution on a Distributed System
1970-01-01
Linear Approximation Versus Nonlinearity
1994-06-02
A Caching Relay for the World Wide Web
1994-06-03
Steven Glassman
A Novel Self-Organising Speech Production System Using Pseudo-Articulators
1997-02-27
Preprocessing Images Of Faces: Correlations With Human Perceptions Of Distinctiveness And Familiarity
1998-05-27
P. J. B. Hancock
A Neural Network Model for Prognostic Prediction
1998-08-04
W. Nick Street
The Entropy of Traffic Streams in ATM Virtual Circuits
1999-03-11
Lange and Wiehagen's Pattern Language Learning Algorithm: An Average-Case Analysis with respect to its Total Learning Time
1997-04-16
Thomas Zeugmann
Emc Test And Measurement On Printed Circuit Boards
1970-01-01
Input buffering requirements of a Systolic Array for the Inverse Discrete Wavelet Transform
1995-09-05
Self-Checking Prover Study - Final Report
1995-04-24
The HTK Hidden Markov Model Toolkit: Design and Philosophy
1994-09-09
Sj Young
Learning to Fly
1996-09-06
What Can Near Synonyms Tell Us
1998-10-06
FADBAD, a flexible C++ package for automatic differentiation - using the forward and backward methods
1996-08-15
Automatic Differentiation For PDEs - Unsaturated Flow Case Study
1997-10-10
Tables As a Paradigm for Querying and Restructuring
1996-03-04
Path Integrals, Black Holes and Configuration Space Topology
1998-02-12
M. E. Ortiz
Maps Of The Molecular Emission Around 18 Evolved Stars
1994-12-02
Parts Feeding on a Conveyor with a One Joint Robot
1998-02-20
Definite Descriptions, Focus Shift, and a Theory of Discourse Interpretation
1994-07-28
Massimo Poesio
CENTAUR: the system
1994-03-14
A Distributed Multimedia Architecture for Intent-Based Video Authoring and Presentation
1996-02-09
New Algorithms for the Disk Scheduling Problem
1996-05-17
Parallel Application Scheduling on Networks of Workstations
1996-02-26
Stergios Anastasiadis
Hydrodynamic Screening And Nonequilibrium Phase Transitions In Stokesian Fluidised Beds
1998-04-19
The OPENET Architecture
1996-04-02
Evaluating Multimedia Interactive Arguments in the Context of Data Exploration Tasks
1998-08-14
A Note on Redundancy in Encrypted Messages
1994-10-12
Li Gong
Implementation Techniques for Efficient Reflective Languages
1997-09-03
Shigeru Chiba
Computing Quantitative Characteristics of Finite State Real-Time Systems
1999-01-15
A Parallel Adaptive Finite-Element Semi-Lagrangian Advection Scheme for the Shallow Water Equations
1997-10-24
Preliminary Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems
1998-04-28
Efficient Self-Maintenance of Materialized Views
1997-04-28
Nam Huyn
Computing Physical Invariant Measures
1997-10-30
Gary Froyland
Models for Two-Player Games in Design: An Application to Automotive Suspensions
1996-05-07
Theoretical Considerations On The Variability Of Active Galactic Nuclei
1997-03-03
Seok Jae Park
Karen Zita Haigh
1996-10-30
A Sampling Semantics of Duration Calculus
1999-03-09
Improved Bounds for Acyclic Job Shop Scheduling
1998-04-07
Unique Continuation For A Class Of Higher Order Elliptic Operators
1997-05-20
Laura De Carli
Trace2au Audio Monitoring Tools for Parallel Programs
1994-02-18
Finite Precision Decorrelating Receivers for Multi-User CDMA Communication Systems
1995-03-14
Bernd-peter Paris
A Calculus of Substitutions for Incomplete-Proof Representation in Type Theory
1997-11-27
Learning While Filtering Documents
1998-05-12
Jamie Callan
A Replication-Transparent Remote Invocation Protocol
1995-03-10
D Spin Glass and 2D Ferromagnetic XY Model: a Comparison
1997-07-04
Noise-Constrained Performance Optimization by Simultaneous Gate and Wire Sizing Based on Lagrangian Relaxation
1999-02-13
Splitting of separatrices in Hamiltonian systems with one and a half degrees of freedom
1997-04-28
Kermit: Specification and Verification
1996-06-24
James K. Huggins
Security of World Wide Web Search Engines
1999-01-14
Massimo Marchiori
Extraction of Rules from Discrete-Time Recurrent Neural Networks
1995-06-22
Optimization-Based Design In High-Speed Flows
1996-02-16
Trigger System Design Requirements
1997-07-31
Fitness Distance Correlation as a Measure of Problem Difficulty for Genetic Algorithms
1996-04-30
System Description: Verification of Distributed Erlang Programs
1998-04-27
Behaviour Specification of Active Objects in Open Generative Communication Environments
1996-11-21
Finding and Counting Given Length Cycles
1995-07-04
Some Applications Of The Extrinsic DistanceTo Immersed And Embedded Submanifolds
1996-04-10
Vicente Miquel
On a problem of Rubel concerning the set of functions satisfying all the algebraic differential equations satisfied by a given function
1970-01-01
John Shackell
The Restart/LRE Method for Rare Event Simulation
1997-03-06
Application Driven Variable Reordering and an Example Implementation in Reachability Analysis
1998-12-15
Kinodynamic Planning in a Structured and Time-Varying 2D Workspace
1998-04-09
Hadronization of
1998-05-14
Distributed Application Configuration
1997-12-17
Visual Rule Language for Active Database Modelling
1997-05-20
Potential Uses of Case-Based Reasoning in Experience Based Construction of Software Systems and Business Process Support
1996-12-09
Nonlinear Filtering Models Of Attentive Vision
1998-09-12
Accessibility in 5-Axis Milling Environment
1998-12-11
Gershon Elber
Flavor-Changing Magnetic Dipole Moment and Oscillation of a Neutrino in a Degenerate Electron Plasma
1998-05-25
Hisashi Kikuchi
Similarity Pyramids for Browsing and Organization of Large Image Databases
1998-08-25
Query Restart Strategies for Web Agents
1998-04-10
Prasad Chalasani
Proceedings Of The Second Workshop On Logical Frameworks, Edinburgh, May 1991
1996-04-04
A Framework for Modeling Appearance Change in Image Sequences
1997-09-16
Learning Proof Heuristics By Adapting Parameters
1998-06-03
Matthias Fuchs
Domain Decomposition for Kinetic and Aerodynamic Equations
1997-03-13
Klar Axel
NYU/BBN 1994 CSR Evaluation
1996-01-26
Proofs of Properties about HMX
1998-07-11
Martin Sulzmann
The "Conductor's Jacket": A Device For Recording Expressive Musical Gestures
1998-10-14
Causation, Explanation and Persistence
1997-02-27
Peter Grunwald
Virtual Gateways: Performing Distributed Simulations in the Totem Protocol Development Environment
1994-09-18
J. Chun
Multilevel Preconditioned Augmented Lagrangian Techniques for 2nd Order Mixed Problems
1997-03-05
Dowsing: A Tool Framework for Domain-Oriented Browsing of Software Artifacts
1998-06-11
Steering Three-Input Nonholonomic Systems: The Fire Truck Example
1995-01-27
Localization Near Band Edges For Random Schrödinger Operators
1997-04-26
Invertibility of Higher-Order Moment Matrices
1998-04-09
An Architecture for Optimal All-to-All Personalized Communication
1994-10-28
Coordinated Exception Handling in Distributed Object-Oriented Systems: Improved Algorithm, Correctness and Implementation
1997-05-29
Alternative Approaches for Cross-Language Text Retrieval
1997-02-03
Douglas W. Oard
Murphy's Law and Computer Security
1999-03-25
Wietse Venema
Parallel Raytracing: A Case Study on Partitioning and Scheduling on Workstation Clusters
1998-08-03
Experience Report: Using Formal Methods for Requirements Analysis of Critical Spacecraft Software
1996-07-26
Higher-Order Value Flow Graphs
1997-09-19
Christian Mossin
On Relations Between Arrays of Processing Elements of Different Dimensionality
1997-03-12
A Business Process Driven Multidatabase Integration Methodology
1999-04-13
Dealing with the complexity of state space exploration algorithms for SDL systems
1996-05-14
Strategies for Polyhedral Surface Decomposition: An Experimental Study
1997-12-10
Astronomy And Astrophysics
1997-11-01
Structuring the Kernel as a Toolkit of Extensible, Reusable Components
1995-12-09
Asymptotic Bounds on Optimal Noisy Channel Quantization Via Random Coding
1994-07-07
Possible and Guaranteed Concurrency in CSP
1996-04-11
Virtual Reality Visualization of Accelerator Magnets
1998-05-20
Mechanized Formal Reasoning about Programs and Computing Machines
1996-09-05
Factorization And Reflexivity On Fock Spaces
1997-02-11
Real-Time Analysis-Synthesis and Intelligibility of Talking Faces
1970-01-01
HighLight: Using a Log-structured File System for Tertiary Storage Management
1994-05-21
John T. Kohl
Forecasting The Levels Of Vector Autoregressive Log-Transformed Time Series
1996-12-09
Computing Spatio-Temporal Representations of Human Faces
1995-02-15
XmMol User's Manual
1998-01-14
Methodologies for the Creation of Interactive Software
1996-05-03
Judy Brown
Petri Charts: an Alternative Technique for Hierarchical Net Construction
1996-11-21
Tom Holvoet
Self-replication in a 2D von Neumann architecture
1997-05-16
Florent De Dinechin
End-to-End Routing Behavior in the Internet
1996-06-04
Vern Paxson
2-Tangles
1998-05-14
SNOWBALL: Scalable Storage on Networks of Workstations with Balanced Load
1996-01-16
Confluence by Decreasing Diagrams
1994-03-12
Vincent Van Oostrom
A Non-Homogeneous Markov Software Reliability Model with Imperfect Repair
1996-06-21
Adversarial Queueing Theory
1998-09-23
The Expressive Power of Voting Polynomials
1995-01-06
________________________________________________________________________
1995-10-17
High-Performance Local Area Communication With Fast Sockets
1998-02-02
SVR4UNIX Scheduler Unacceptable for Multimedia Applications
1994-12-14
Automatically Clustering Similar Units For Unit Selection In Speech Synthesis.
1997-05-27
A Hierarchical Illumination Algorithm for Surfaces with Glossy Reflection
1993-02-05
Belief Propagation and Revision in Networks with Loops
1997-11-09
Yair Weiss
Ok with alignment of sentences. What about clauses?
1999-04-07
Empirical Learning of Boolean Functions Using Two-Level Logic Synthesis
1998-09-22
A Study of Two Chinese Translations of "Syntactic Structures"
1995-12-08
Doug Jones
Moscow ML Owner's Manual
1998-04-20
Transfer Of Contrast Sensitivity In Linear Visual Networks
1994-10-05
Andrew B. Watson
Free-Form Surface Signatures: A representation scheme for Object Registration and Recognition
1999-03-09
The Evolution of Lisp
1994-03-31
Objective Quality Estimation for Digital Images and Video Streams
1996-04-30
Norbert Gerfelder
A Fuzzy-Neural Network Based on the Backpropagation Algorithm
1995-04-26
Formalization of OODB Models
1994-10-18
Gottfried Vossen
Object-Oriented Specification of Information Systems: The T ROLL Language Version 0.01
1999-03-25
C-Trace: A new algorithm for reinforcement learning of robotic control.
1998-07-11
Adaptive Quadrature - Revisited
1998-09-07
Thermal and Electric Conductivities of Coulomb Crystals in Neutron Stars and White Dwarfs
1996-09-10
Project Description
1991-07-18
Reference and Representation
1996-10-17
Paul Dekker
Object-based Distributed Systems - CORBA, ORBIX and Java RMI
1998-08-25
Department Of Computer Science
A Natural Term Language
1995-12-07
Integrating time into Discourse Representation Theory: A computational approach
1996-11-21
Diego Moll'a Aliod
Load Balancing in Large Networks: A Comparative Study
1994-08-01
Designated Verifier Proofs and Their Applications
1997-08-13
On the Complexity of Protein Folding
1998-04-20
Optimization Issues in Multimedia Systems
1997-05-24
A Formal Specification of the PVM Architecture
1996-06-24
Egon Borger
Performance Analysis of Communication Systems Formally Specified in SDL
1998-02-24
Priority Queues and Multisets
1997-12-26
Improving Timeliness in Real-Time Secure Database Systems
1996-01-23
On Maximum Norm Estimates for Ritz-Volterra Projection With Applications to Some Time Dependent Problems
1998-06-09
Yanping Lin
Learning an Intersection of a Constant Number of Halfspaces over a Uniform Distribution
1994-04-15
Multiprocessor Sparse Svd Algorithms And Applications
1994-06-03
Michael Waitsel Berry
Machine Learning
1995-12-06
On Intelligent Access to Heterogeneous Information
1970-01-01
Formalizing Multimedia QoS Constraints Using Actors
1997-04-15
A Note on Fairness in I/O Automata
1996-07-19
Locking and Latching in a Memory-Resident Database System
1995-03-09
Apollonian Tiling, the Lorentz Group and Regular Trees
1995-11-03
Testing Linear Forms of Variance Components By Generalized Fixed-Level Tests
1998-12-16
Boris Weimann
Measuring Memory's Resistance to Operating System Crashes
1998-02-05
Flexible and Recoverable Interaction Between Applications and Active Databases
1994-09-28
A Priori Error Estimates For Numerical Methods For Scalar Conservation Laws. Part III: Multidimensional Flux-Splitting Monotone Schemes On Non-Cartesian Grids
1997-05-20
Practical Parsing of Generalised Phrase Structure Grammars
1995-04-17
J. Fisher
Long-Term Stability In Hadron Colliders In Presence Of Synchrotron Oscillations And Tune Ripple
1998-06-29
Partial Inlining
1997-11-05
Simulation of Coupled Transmission Lines by Multidimensional Wave Digital Filters
1998-12-22
Herbert Krauss
Review of Particle Physics: C. Caso
1998-06-05
Taking connectionism seriously: The Vague Promise of Subsymbolism and an Alternative.
1995-12-07
Paul F. M. J. Verschure
Static and Runtime Algorithms for All-to-Many Personalized Communication on Permutation Networks
1997-01-27
Performance Gains Using Subpages for Cache Coherency Control
1997-09-29
Unknown
1998-01-13
A Gentle
Hypercube Vs. Cube-Connected Cycles: A Topological Evaluation
1970-01-01
Srikanth Kambhatla
Team-Oriented Programming: Preliminary Report
1996-02-20
Gil Tidhar
Transparent Adaptive Parallelism on NOWs using OpenMP
1999-01-27
Bayesian Calibration of Complex Computer Models
1998-09-15
Marc C. Kennedy Anthony O'hagan
Parameter Estimation For Periodic Discrete Event Processes
1996-12-06
Modeling Property Intercorrelations in Conceptual Memory
1997-01-31
Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation
1999-04-03
Passage-Based Refinement MultiText Experiments for TREC-6
1998-11-25
Parallel Transport Approach to Curve Framing
1995-02-23
Testing Environment For Innovative Transport Protocols
1999-04-14
Packet-Pair Flow Control
1996-09-04
Srinivasan Keshav
On Weak Circular Squares in Binary Words
1997-12-18
An Abstract Object Model of an Animal's Environment
1995-11-19
Bohdan Durnota
Numerical Evaluation of SDPA SemiDefinite Programming Algorithm.
1998-10-17
ET++SwapsManager: Using Object Technology in the Financial Engineering Domain
1999-04-13
Subsorting and Higher-order Functions CFI Language Design Study Note
1996-05-14
On Using Network Memory to Improve the Performance of Transaction-Based Systems
1998-05-25
On the Power of Bio-Computers
1995-08-28
Ascending And Descending Conditional Independence Relations
1995-08-15
Dynamic Management Of Heterogenous Resources
1998-01-14
Modeling the Behaviour of Interacting Autonomous Intelligent Agents
1998-07-01
J. J. Collins
Visualization, Execution Control and Replay of Massively Parallel Programs within Annai's Debugging Tool
1996-05-02
Topology Optimization Of Sheets In Contact By A Subgradient Method
1995-11-02
Object Oriented Parallel Computation for Plasma Simulation
1995-09-13
Collaborative Interface Agents
1997-04-03
Randomized Wait-Free Concurrent Objects Extended Abstract
1997-09-03
Maurice Herlihy
Relic Gravitational Waves from String Cosmology
1998-05-13
Molecular Dynamics For 400 Million Particles With Short-Range Interactions
1996-03-29
Performance of TCP extensions on noisy high BDP networks
1998-09-20
Study of a Simulation Tool To Determine Achievable Control Dynamics and Control Power Requirements With Perfect Tracking
1998-08-24
Aaron J. Ostroff
Performance of a Simple Cooperative Individual Situation Assessment CISA with Respect to Information Sharing Strategy Metrics
1997-07-23
A Semantic Characterization of Locative PPs
1997-09-04
3D-Graphics for Iterated Integrals
1998-07-04
Supporting Combined Human and Machine Planning: The Prodigy 4.0 User Interface Version 2.0*
1997-09-16
Optimum Design Of Serial Measurement Trees
1999-02-26
Heuristic and Randomized Optimization for the Join Ordering Problem
1997-12-09
A Multiresolutional Region Based Segmentation Scheme for Stereoscopic Image Compression
1995-02-23
An Efficient and Provably Correct Algorithm for the Multiscale Estimation of Image Contours By Means of Polygonal Lines
1998-12-01
Adaptive Probabilistic Networks with Hidden Variables
1997-04-09
Design and Evaluation of a System for Vision-Based Vehicle Convoying
1998-01-26
Task and Spatial Frequency Effects on Face Specialization
1998-01-05
Differential Flatness of Mechanical Control Systems: A Catalog of Prototype Systems
1970-01-01
A Geometry Of Real Polynomial Mappings Of The Plane And The Pinchuk Example
1998-12-02
Shapely Types and Shape Polymorphism
1998-03-11
C. Barry Jay
Report on the 5
1997-07-24
Continuity Of The Hausdorff Dimension For Invariant Subsets Of Interval Maps
1998-01-27
P. Raith
Support for Network-Wide Synchronous Communication via the Active Reconfiguration of Transputer Links
1996-05-22
Alan Murta
An Introduction to Variational Methods for Graphical Models
1998-11-06
Vector Meson Masses in Chiral Perturbation Theory
1997-12-11
Re-quantization Two-Layer MPEG-I Coding Algorithm
1992-09-22
A Column Generation Based Decomposition Algorithm for a Parallel Machine Just-In-Time Scheduling Problem
1998-03-31
The Improved Iterative Scaling Algorithm: A Gentle Introduction
1998-01-13
A Gentle
Quality of Service and Scientific Workflows
1996-09-20
Characteristic Cycles Of Local Cohomology Modules Of Monomial Ideals
1998-03-20
Josep Alvarez Montaner
Towards a Society of Affect-driven Agents
1998-08-26
Hierarchies of Autoassociators
1996-05-28
Modeling Multi-Dimensional Data and Control flow
1994-06-08
Parameterized Heuristics for Intelligent Adaptive Network Routing in Large Communication Networks
1998-04-29
Automating Mission Scheduling for Space-Based Observatories
1998-06-27
First-Order Future Interval Logic
1995-12-05
Cosmic Rays At Extreme Energies
1997-04-10
K. G. Gibbs
Rigidity Of Tame Rational Functions
1998-10-29
Fast Polygonal Approximation of Terrains and Height Fields
1995-09-19
On the Approximability of Minimizing Nonzero Variables Or Unsatisfied Relations in Linear Systems
1997-12-15
Towards A Size Measurement Framework For Object-Oriented Specifications
1998-10-02
Geert Poels
Cooperation by Observation - The Framework and Basic Task Patterns
1996-02-06
Making Systems Sensitive to the User , s Time and Working Memory Constraints
1998-10-30
Recursive Definitions Revisited
1995-10-10
Intersection graphs of noncrossing arc-connected sets in the plane Extended Abstract
1996-09-15
Weight Averaging for Neural Networks and Local Resampling Schemes
1996-05-29
Joachim Utans
Quantized chaotic dynamics and non-commutative KS entropy
1997-04-26
An Argument for Simple COMA
1994-12-13
Fast Computation of Sparse Datacubes
1997-09-18
Robust Computation of Optical Flow in a Multi-Scale Differential Framework
1997-02-25
Learning Internal Representations in an Attractor Neural Network With Analogue Neurons
1995-12-21
Daniel J. Amit
Involving Fuzzy Concepts In Active Mobile Databases
1998-07-04
Effective Continuous-Time Formulation for Short-TermScheduling: II: Continuous and Semi-continuous Processes
1999-03-08
Columbia Digital News System An Environment for Briefing and Search over Multimedia Information
1997-05-01
A New Parallel Chasing Algorithm For Transforming Arrowhead Matrices To Tridiagonal Form
1998-09-30
Suely Oliveira
Efficient Techniques for Maintaining Multidimensional Keys in Linked Data Structures Extended Abstract
1999-04-16
A Case Study of Code Generator Generation for Embedded SIMD Computers
1996-03-09
A modified structured central scheme for 2D hyperbolic conservation laws
1998-06-11
Spline Wavelets Of Small Support
1996-12-20
Debao Chen
A Database Server Architecture for Agile Manufacturing
1998-08-31
Designing a Video Rate Edge Detection ASIC
1999-02-10
Type Checking Classes in Object-Z to Promote Quality of Specifications
1995-11-19
Finite Limits and Lower Bounds for Circuits Size
1996-08-23
Stasys Jukna
Effective Strategies for Enumeration Games
1998-11-23
A Flexible Meta-Wrapper Interface for Autonomous Distributed Information Sources
1998-09-05
DISTRIBUTED BLAS User's Guide
1997-05-26
MIME Multipurpose Internet Mail Extensions Part One:
1993-12-21
On the Moduli Space of a Spherical Polygonal Linkage
1998-03-18
A Change Detection and Segmentation Toolbox for Matlab
1996-03-14
Fredrik Gustafsson
Dynamic Graphics in a GIS: A Link between ARC/INFO and XGobi
1996-06-27
Locomotion Control Cycles Adapted For Disabilities In Hexapod Robots
1998-04-10
Centre-Frequency Adaptive Iir Temporal Filters For Phase-Based Image Velocity Estimation
1999-01-15
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
1998-03-19
Robust Shape from Shading
1995-05-02
A Case Study of Multi-Threaded Gröbner Basis Completion
1996-05-22
Probabilistic Modelling of a Bio-Inspired Collective Experiment with Real Robots
1998-01-22
Density Enhancement of a Neural Network Using FPGAs and Run-Time Reconfiguration
1995-03-20
A Memory Model for an Intelligent System for the 21st Century
1995-07-25
Isabelle Bichindaritz
Khazana: An Infrastructure for Building Distributed Services
1998-03-21
Fast Fluid Registration of Medical Images
1996-12-03
Morten Bro-nielsen
Run-time Code Generation and Modal-ML
1998-05-13
Brain-Structured Connectionist Networks That Perceive And Learn
1998-04-29
Qcd Equations For Generating Functionals And Multiparticle Correlations
1998-05-15
Approximation Techniques for Average Completion Time Scheduling
1996-10-03
Explicit Substitution: on the Edge of Strong Normalization
1997-11-11
A Technique for High-Speed, Fine-Resolution Pattern Generation and its CMOS Implementation
1995-02-06
Exact Risk Analysis of Wavelet Regression
1995-08-09
Joint Design of Fixed-Rate Source Codes and Multiresolution Channel Codes
1998-05-04
Network-Based Multicomputers: An Emerging Parallel Architecture
1998-01-23
Two Generalizations of Koml'os' Theorem with Lower Closure-Type Applications
1996-06-24
Poincar ' E--Invariant Markov Processes And Gaussian Random Fields On Relativistic Phase Space
1997-04-26
Clustering Properties of
1997-08-25
Renormalization Group results for lattice surface models.
1997-05-20
Emilio N. M. Cirillo
A System for Parallel Media Processing
1998-09-07
Access Order to Avoid Inter-Vector-Conflicts in Complex Memory System
1995-03-03
Nonlinear Wavelet Estimation of Time-Varying Autoregressive Processes
1997-08-13
REDLOG: Computer Algebra Meets Computer Logic
1997-11-07
A Theoretical Model for Routing Complexity
1998-11-23
Analysing Inconsistent Specifications
1996-08-13
An Active Database Framework for Adaptive Mobile Data Access
1999-04-20
Asymptotic Properties Of Schweppe's Likelihood Ratio Detector
1999-05-04
Optimal Linear Regression on Classifier Outputs
1997-09-27
Shape-based Illustration Indexing and Retrieval Some First Steps
1996-07-04
Autonomous Probing Robots for the detection of abandoned landmines
1997-06-05
Transparent Process Migration: Design Alternatives and the Sprite Implementation
1994-07-14
Fast Incremental Planarity Testing
1996-04-05
Jeffery Westbrook
An Algorithm for Rate Allocation in a Packet-Switching Network with Feedback
1995-09-19
Anna Charny
Machine Vision for Obstacle Detection and Ordnance Recognition
1996-10-09
Larry Matthies
Incorporating Knowledge in Natural Language Learning: A Case Study
1998-06-23
Mesoscopic Analysis of Self-Evolution in an Artificial Chemistry
1998-04-22
Magnetic Confinement And Screening Masses
1998-05-14
MAPS: Multiresolution Adaptive Parameterization of Surfaces
1998-05-14
New Mechanism of Magnetoresistance in Bulk Semiconductors: Boundary Condition Effects
1996-03-13
Learning with Regularizers in Multi-layer Neural Networks
1999-02-18
Scheduled Hot-Potato Routing
1998-06-18
Probabilistic Algorithms for Efficient Grasping and Fixturing
1996-12-18
QUICK - A Graphical User Interface to Multiple Databases
1996-05-24
A Fast Solution Method For Three-Dimensional Many-Particle Problems Of Linear Elasticity
1997-10-24
Architectural and Communication Issues in Designing Heterogeneous Parallel Systems with Optical Interconnection
1995-07-19
Amplification of Incoherent Light With Wide Spectrum
1998-02-12
Quantifying the Multi-Level Nature of Tiling Interactions
1998-08-04
From Ukkonen to McCreight and Weiner: A Unifying View of Linear-Time Suffix Tree Construction
1996-04-18
On Superspherical Graphs
1997-11-18
Coalgebraic Theories of Sequences in PVS
1997-07-03
Proteus: An Adaptable Presentation System for a Software Development and Multimedia Document Environment
1995-08-27
Ethan Vincent Munson
A Unifying Framework for ALP, CLP and SQO
1997-10-27
A Menagerie of Non-Finitely Based Process Semantics over BPA - From Ready Simulation to Completed Traces
1999-01-13
Time and Space Profiling for Non-Strict, Higher-Order Functional Languages
1996-11-13
CLASSIC: A Structural Data Model for Objects
1997-09-25
Mapping Class Groups, Characteristic Classes and Bernoulli Numbers
1994-04-08
Guido Mislin
A Pattern for Separating Assembly and Processing
1998-04-20
Stephen P. Berczuk
Global Trajectory Planning for Fault Tolerant Manipulators
1995-11-20
Approximation Algorithms for the Fixed-Topology Phylogenetic Number Problem
1970-01-01
A Note On High Order Schemes For The One Dimensional Wave Equation
1996-08-27
Jukka Tuomela
State Space Orderings For Gauss-Seidel In Markov Chains Revisited
1999-03-28
Tu Grul Dayar
Cross-Language Text Retrieval Research in the USA
1997-06-13
Douglas W. Oard
Predicting Software Reliability from Testing Taking into Account Other Knowledge about a Program
1997-03-12
Chebyshev Pseudospectral Collocation for Parabolic Problems With Nonconstant Coefficients
1970-01-01
Symbolic Exploration of Transition Hierarchies
1999-01-05
Compositional Verification by Model Checking for Counter-Examples
1998-09-05
Structural Shifts Deterministic Regime Switching in Aggregate Data Analysis
1999-02-07
Wendy K. Tam Cho
Load Balancing and Resource Management in the ADAM Machine
1995-01-30
Olivier C. Maquelin
Efficient computation of full Lucas sequences
1998-11-27
A Faster Algorithm for Approximate String Matching Extended Abstract
1997-12-06
Recent Developments Concerning Entropy And Approximation Numbers
1997-06-26
David E. Edmunds
Ion Diode Simulation with a Finite-Volume PIC Approach for the Numerical Solution of the Maxwell-Lorentz System
1997-02-20
Model Checking Generic Container Implementations
1998-11-23
HPF: A Comparison of Performance and Programming Style
1995-12-05
Monte Carlo Localization: Efficient Position Estimation for Mobile Robots
1999-04-23
The Abc Conjecture Implies Roth's Theorem And Mordell's Conjecture
1999-03-08
Machiel Van Frankenhuysen
The Text Encoding Initiative: Flexible and Extensible Document Encoding
1996-01-02
On Key Agreement and Conference Key Agreement
1997-07-21
Colin Boyd
On the Composition Problem for OBDDs With Multiple Variable Orders
1998-06-26
Quantum Methods For Interacting Particle Systems Ii, Glauber Dynamics For Ising Spin Systems
1997-05-27
M. Gianfelice
Neuro-Genetic Truck Backer-Upper Controller
1997-04-25
Microscopic Reversibility And Macroscopic Behavior: Physical Explanations And Mathematical Derivations
1997-04-26
Joel L. Lebowitz
Deliberate Robbery, or the Calculating Samaritan
1998-05-19
The Design and Evaluation of a High-Performance Earth Science Database
1970-01-01
Recognizing Text Plans to Use
1994-06-10
Susan M. Haller
Wavelets Applied to Lossless Compression and Progressive Transmission of Floating Point Data in 3-D Curvilinear Grids
1996-07-10
Effects of Misconception on Reciprocative Agents
1998-06-12
Robust Real-Time Face Tracking and Gesture Recognition
1997-04-21
Discriminant Analysis by Gaussian Mixtures
1996-05-30
A Counterexample to the 0-1 Law for Existential Monadic Second-Order Logic
1996-02-21
Matt Kaufmann
Clause-Logical Aspects of the Smyth Powerdomain Extended Abstract
1998-10-23
Writing Positive/Negative-Conditional Equations Conveniently
1998-07-06
A Probabilistic Poly-Time Framework for Protocol Analysis
1998-07-16
A Multistage Stereo Method Giving Priority to Reliable Matching
1997-06-04
Object-Oriented Interfaces in the Mach 3.0 Multi-Server System
1992-03-31
Simulating Expansions Without Expansions
1995-11-22
Making Meta-Object Protocols Practical for Operating Systems
1996-04-23
Unifying the User and Kernel Environments
1997-11-04
An Application of Machine Learning to Anomaly Detection
1997-06-19
The Necessity For Check-On-Commit In The Protection Of The Integrity Of A Database
1995-12-11
File System Logging Versus Clustering: A Performance Comparison
1994-12-02
State-Based Paging/Registration: A Greedy Technique
1999-03-16
C. Rose
Subdivision Tree Representation of Arbitrary Triangle Meshes
1998-01-19
Optimal Deterministic Sorting and Routing on Grids and Tori with Diagonals
1998-12-14
First-Order Signals in Compact QED with Monopole Suppressed Boundaries
1998-05-12
Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints
1970-01-01
Michael Leuschel
The Inherent Cost of Strong-Partial View-Synchronous Communication
1995-11-30
A Programmer's Reduction Semantics for Classes and Mixins
1998-03-28
M.I.S.H.U.N.N. - Multiple Integration of Sensors with a Hybrid Architecture Utilizing Neural Networks
1993-10-30
Model-Based Techniques For Noise Robust Speech Recognition
1995-12-07
Predictions of Two- and Three-Body Negative Ion States
1970-01-01
F. Robicheaux
Alternative N = 4,0 Superstring and sigma-Models
1998-05-23
Hitoshi Nishino
Passive Smoking in the Workplace:Classical and Bayesian Meta-analyses
1995-10-03
- Extendible Hashing in a Distributed Environment
1997-11-14
Verifying Process Algebra Proofs in Type Theory
1994-10-12
M. P. A. Sellink
Next-Generation Multimedia Messaging
1998-05-08
Fixation Behavior in Observation and Imitation of Human Movement
1999-02-06
Hub4 Language Modeling Using Domain Interpolation and Data Clustering
1999-02-05
Fast, Randomized Join-Order Selection - Why Use Transformations?
1996-02-15
How Reductions to Sparse Sets Collapse the Polynomial-time Hierarchy: A Primer
1994-10-08
Paul Young
A Kleene Theorem for Timed Automata
1997-04-30
Sciddle Version 4.0 - User's Guide
1999-04-07
Intelligent Caching for Information Mediators: A KR Based Approach
1998-05-13
Weakly Complete Problems are Not Rare
1994-09-07
David W. Juedes
An Efficient Multiaccess Protocol For Wireless Networks
1998-03-27
Some analytical properties of the multidimensional continuous Mroz model of plasticity.
1998-01-26
Subspace Identification of Bilinear Systems Subject to White Inputs
1996-09-27
M. P. Owen
1997-07-25
M. P. Owen
Simulating Wide-area Replication
1996-09-12
Sape J. Mullender
On the Efficient Discretization of Integral Equations of the Third Kind
1998-01-20
Compilation of Recursive Two-Literal Clausesinto Unification Algorithms
1998-01-08
Hans Jürgen Ohlbach
Ffl Ffl Ffl
1998-06-05
The RBSE Spider - Balancing Effective Search Against Web Load
1994-06-17
David Eichmann
Institut d'Informatique, Universit'e de Fribourg, Chemin du Mus'ee 3 CH-1700 Fribourg, Suisse T'el. +41/37/826550, FAX +41/37/826551 e-mail:
1996-03-26
Local Properties of Query Languages
1997-03-30
Performance Measurement and Modeling with the Lost Cycles Toolkit
1995-06-30
-Periodic Homotopy Groups of
1998-10-22
Donald M. Davis
Formulation and Solution of Structured Total Least Norm Problems for Parameter Estimation
1999-01-07
The Use of Lemmas in the Model Elimination Procedure
1997-02-27
Retrieval as Exploration of Large Multimedia Document Bases
1998-11-30
A Simulation-Intensive Approach for Checking Hierarchical Models
1996-03-06
On Programming Atomic Actions in Ada 95
1997-03-04
The Recursive Aggregate Interaction Matrix Algorithm for Multiple Scatterers
1996-04-03
The Call-by-Need Lambda Calculus Unabridged
1999-02-19
Penina Michlin Prof. Jerry Cowen Physics and Astronomy Room 1 MSU 517-349-3708 Summer of 1998 August 13,
1970-01-01
Architecture and Implementation of a Single-Board Desktop Supercomputer
1997-07-08
The Turing Closure of an Archimedean Field
1998-03-18
Fully Adaptive Multigrid Methods
1992-02-18
Gamma Gamma
1998-06-05
An Algorithm for the Stochastic User Equilibrium Problem
1995-09-19
Electronic Mathematics Journals
1995-10-20
Mark Steinberger
Modeling Skewed Distributions Using Multifractals and the `80-20 Law'
1997-09-11
A Semantics of Introspection in a Reflective Prototype-Based Language
1998-06-10
Jacques Malenfant
On-Line Learning with Restricted Training Sets: Exact Solution as Benchmark for General Theories
1998-12-18
Ubiquitous Devices United: Enabling Distributed Computing Through Mobile Code
1998-11-24
Cluster-Based Probability Model and Its Application to Image and Texture Processing
1997-03-19
Towards Database Optimization by Evolution
1994-05-02
A Brief Comparison Of Some Evolutionary Optimization Methods
1996-02-21
A. J. Keane
P-Selective Sets and Reducing Search to Decision vs. Self-Reducibility
1994-12-29
Connecting Scientific Programs and Data Using Object Databases
1994-03-17
Using Stochastic Methods to Guide Search in CLP: a Preliminary Report
1997-07-03
Non-bicritical Critical Snarks
1999-04-21
Eckhard Steffen
An Animation Tool for Supporting Specification-Based Software Architectures
1996-06-28
Application Of Temporal Neural Networks To Source Localisation
1995-01-31
Brigitte Colnet
Behavioural Theories
1996-02-14
Michel Bidoit
Type Inference for Recursively Constrained Types and its Application to OOP
1996-04-04
MARS: WWW based Scalable, Interactive Multimedia Recording and Playback Services
1997-03-24
On the Dimension of Multivariate Piecewise Polynomials
1997-12-07
Peter Alfeld
Octonions: E 8 Lattice to Lambda 16
1998-05-23
Geoffrey Dixon
Particles in Liquids
1998-03-10
Stefan Schwarzer
Behaviour Of Interfaces In A Diffusion-Absorption Equation With Critical Exponents
1999-05-06
Behaviour Specification of Parallel Active Objects
1997-06-05
Space-time dimension, Euclidean action and signature change
1998-05-14
Franz Embacher
Task-Oriented Generation of Visual Sensing Strategies in Assembly Tasks
1995-03-02
Jean-Eric Pin and Pascal Weil LIAFA, CNRS, Universit'e Paris VII, 2 place Jussieu, 75251 Paris Cedex 05, FRANCE
1998-02-23
Automatic Audio Content Analysis
1996-05-13
Survey of Selected Groupware Applications and Supporting Platforms
1995-03-10
A Globally Valid Continuous-Time GPC Through Successive System Linearisations
1998-09-24
Logic and Fuzzy Petri Nets
1997-07-18
Janette Cardoso
A Generalization of Binomial Queues
1994-11-22
Rolf Fagerberg
Fractional Step Methods Applied to a Chemotaxis Model
1997-01-29
Explicit Maintenance of Genetic Diversity on Genospaces
1997-02-13
Crystalline Computation
1998-04-10
Rotation, Scale And Translation Invariant Digital Image Watermarking
1999-01-19
Synthesizing Control Code for Achieving State Targets in Composed Systems
1997-03-14
Characterising Plans as a Set of Constraints - the I-N-OVA Model - A Framework for Comparative Analysis
1995-05-25
Austin Tate
Problem-solving Method Reuse and Assembly: From Clinical Monitoring to Traffic Control
1998-05-26
Martin Molina
Meta-ElGamal signature schemes using a composite module
1995-02-17
MGCG Method: A Robust And Highly Parallel Iterative Method
1998-11-05
Osamu Tatebe
Critical Scattering and Two Photon Spectra for a Quark/Meson Plasma
1997-05-12
Charmonium production at the LHC
1998-05-25
K. Sridhar
Alternating Strategies for Sequential Circuit ATPG
1999-04-20
Toward a Virtual Marketplace: Architectures and Strategies
1998-02-04
Power and Area Estimation/Optimization in Behavioral Synthesis
1999-03-25
Jun Dong Cho
Using an Explicit Teamwork Model and Learning in RoboCup: An Extended Abstract
1998-07-11
Discrete Pattern Matching Over Sequences And Interval Sets
1996-05-01
Efficient Debugging with Slicing and Backtracking
1996-04-05
Abductive Completion of Plan Sketches
1997-04-02
Karen L. Myers
Multidisciplinary scenarios in Software/Hardware Engineering, Object oriented co-specification of complex systems
1997-12-22
Generation of Conflict Resolution Maneuvers for Air Traffic Management
1997-01-22
Allocation Policies for Application-Controlled File Cache Management
1997-06-27
Pei Cao
Generating Specialised Update Procedures Through Partial Deduction of the Ground Representation
1970-01-01
Nonmonotonic Reasoning with Multiple Belief Sets
1996-05-15
A Contextual Blind Separation Of Delayed And Convolved Sources
1997-02-05
Discretization And Weak Invariants
1995-01-18
B. Leimkuhler
The Internet Worm Program: An Analysis
1988-11-29
Eugene H. Spafford
Camera Calibration In A Hazardous Environment Performed In Situ With Automated Analysis And Verification *
1995-10-13
Analysis and Numerical Solution of Control Problems in Descriptor Form
1999-02-04
ADAPTOR Users Guide Version 6.0
1998-06-25
A Continuum of Minimal Pairs of Compact Convex Sets which are not Connected by Translations
1996-06-24
Diethard Pallaschke
Integrated Delay Analysis of Regulated ATM Switch for Real-Time Applications
1998-07-29
Joseph Kee-yin
Approximate Dictionary Queries
1996-03-21
Gerth Stølting Brodal
Some New Aspects Of Bimodal Fission In
1998-05-25
Maintaining Behavioral Consistency during Schema Evolution
1998-11-13
A Monte Carlo Approach for Power Estimation
1995-12-08
Robust Stabilization of Tone Reproduction Curves for the Xerographic Process
1998-06-17
Computing the Largest Inscribed Isothetic Rectangle
1995-04-10
Type Directed Cloning for Object-Oriented Programs
1995-08-16
Querying Semistructured Heterogeneous Information
1996-06-27
GATE: An Environment to Support Research and Development in Natural Language Engineering
1998-09-23
Receptive Fields for Vision: from Hyperacuity to Object Recognition
1995-09-28
Shimon Edelman
A Layered Architecture for Office Delivery Robots
1997-08-28
Beyond Interface Builders: Model-Based Interface Tools
1994-02-11
Efficient On-Line Trace Driven Simulation of Parallel Computer Architectures
1997-09-24
Probabilities in Action Systems
1997-02-24
Ramsey-Type Results for Geometric Graphs
1997-04-17
The Use of Fuzzy Connectives to Design Real-Coded Genetic Algorithms
1996-02-01
Analysis of n-dimensional Quadtrees Using the Hausdorff Fractal Dimension
1996-05-10
The Linux Emacspeak HOWTO
1998-04-26
Detection of Complex Coincidences Using Coupled Learning Rules
1998-03-23
On the Equivalence Between the Support Vector Machine for Classification and Sparsified Fisher's Linear Discriminant
1998-07-16
A. Amnon Shashua
Implementation and validation methods applied to SSCOP
1998-12-17
Dynamics of Synaptic Transfer in Living and Simulated Neurons
1995-02-13
Derivation of a thermodynamic closure relation in the isothermal-isobaric ensemble using the quasi-Gaussian entropy theory
1998-01-13
Evolutionary Artificial Neural Networks
1970-01-01
Xin Yao
Com S476/576X Notes 2 Basic Path Planning for a Point Robot
1998-02-27
Steve Lavalle
Speech Processing Using Artificial Neural Networks
1997-03-14
Analysis of a simple, effective frequency estimator based on Prony's method
1999-01-12
Self-Stabilization for Network Protocols
1997-02-12
A New Robust Operator for Computer Vision: Theoretical Analysis
1996-02-13
Charles V. Stewart
An Analytical and Experimental Investigation of a Jet Pipe Controlled Electropneumatic Actuator
1998-07-28
Dynamic Backtracking
1995-07-27
Matthew L. Ginsberg
Equivariant Resolution Of Singularities In Characteristic 0
1997-03-07
The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning
1998-01-30
Alan M. Frisch
An Overview of the Exotica Research Project on Workflow Management Systems
1995-10-03
The OSPF Specification
1989-10-31
Speech Recognition using Neural Networks
1995-08-21
Joe Tebelskis
Fast Estimation of Diameter and Shortest Paths without Matrix Multiplication
1998-04-10
On-Line Warehouse View Maintenance
1997-03-10
Variable Length Path Branch Prediction
1998-07-17
Robust Image Communication Using Subband Coding and Multilevel Modulation
1996-06-27
A Causal Calculus for Statistical Research
1996-01-11
Mathematical study of very high voltage power networks I: The optimal DC power flow problem
1994-11-29
Weyl groups of disconnected Lie groups
1995-08-21
Karl-hermann Neeb
Eigenvalues and Bands Imbedded in the Continuous Spectrum for the System of Resonators and Waveguide: Solvable Model
1997-05-05
The Influence of Dynamic Shadows on Presence in Immersive Virtual Environments
1999-05-09
On Finding Optimal Discretizations for Two Attributes
1999-04-05
Higher Dimensional Continued Fractions
1998-12-03
V. I. Arnold
Note on a Generalized Sylvester Equation
1998-09-05
G. W. Stewart
An Efficient Algorithm for the Optimal Linear Schedule of Uniform Dependence Algorithms
1998-04-14
A Linear Algebraic Reconstruction of Majorization
1997-09-18
Database Programming in Transaction Logic
1993-07-13
Survey: Practical Applications of Constraint Programming
1997-11-13
On-Line Rankings of Graphs
1997-11-19
WebWiseTclTk: A Safe-Tcl/Tk-based Toolkit Enhanced for the World Wide Web
1998-06-22
Genetic Algorithms Applications to Fuzzy Logic Based Systems
1996-02-01
Program Optimization for Concurrent Multithreaded Architectures
1997-12-19
Operating System Support for Easy Development of Distributed File Systems
1998-08-20
Optimal Entropy Coding in Image Subband Coders
1995-06-06
The APHID Parallel alpha beta Search Algorithm
1996-08-21
Nonlinear S-transform
1997-05-15
Kiosks for Tourists: Heterogeneous Distributed Database Access for Multimedia Information Presentation
1997-07-14
Michael Wilson
Instructions for the Preparation of a Camera-Ready Manuscript
1997-04-29
Nomen Nescio
Medically Motivated Testbed for Reinforcement Learning in Neural Architectures
1998-02-05
The Difference All-Difference Makes
1999-04-21
InterNetNews: Usenet transport for Internet sites
1997-03-27
Linking ArcView 3.0 and XGobi: Insight Behind the Front End
1998-07-24
Distributed Center Location Algorithm for Fault-Tolerant Multicast in Wide-Area Networks
1998-11-30
k-k Sorting on the Multi-Mesh
1999-04-09
Symbolic Computation in System Simulation and Design
1995-05-04
Variational Methods
1997-04-10
A Fast Descent Method for the Hydro Storage Subproblem in Power Generation
1996-12-16
Matthias Peter Nowak
A Hybrid Method for Low Reynolds Number Flow Past an Asymmetric Cylindrical Body
1999-04-20
Robust Control Approaches for a Two-Link Flexible Manipulator
1998-04-30
Toward Scalability in ASL Recognition: Breaking Down Signs into Phonemes
1998-11-17
Internal Type Theory
1996-10-14
Peter Dybjer
A Partial Linearization Method for the Traffic Assignment Problem
1995-09-19
Parallelizing I/O Intensive Applications for a Workstation Cluster: a Case Study
1994-02-14
Detecting Nonlinearities In Speech Sounds Using The Bicoherence
1997-02-26
Unification for Infinite Sets of Equations Between Finite Terms
1997-04-10
Wan Fokkink
Text-Independent Speaker Identification Based on Small Training Data and Fast Search Algorithms
1997-01-01
Making a Dataparallel Language Portable for Massively Parallel Array Computers
1997-09-26
Unconstrained Handprint Recognition Using a Limited Lexicon
1994-04-09
Michael D. Garris
A Temporal Foundation of Video Databases
1996-07-07
Determination of
1997-08-27
Lab Exercise: Artificial Life as a Means of Learning About Biological Systems or "Bird Brains"
1997-11-09
Third AMAST Workshop on Real-Time Systems Proceedings
1997-01-15
Amast Workshop
Heap Management in Hardware
1998-07-13
Ioannis Mavroidis
Computation by `While' Programs on Topological Partial Algebras
1998-02-04
in grace, and in the knowledge of our Lord and Saviour Jesus Christ. Peter 2, 3:18a
1994-07-06
Implementation of Monetary Policy in a Regime with Zero Reserve Requirements
1998-07-13
Kevin Clinton
The Search for
1998-01-22
S. Frandsen
High Performance Fortran Language Specification
1996-04-01
Towards a Grand Unified Framework For Mobile Objects Extended Abstract
1998-08-27
Quasilocality of Projected Gibbs Measures through Analyticity Techniques
1997-04-26
J'ozsef Lorinczi
Syntactic Analysis of Hebrew Sentences
1998-01-09
Induced Isomorphisms Of Certain Ternary Semigroups
1995-11-16
Planning and Reacting in Uncertain and Dynamic Environments
1994-12-08
Towards Intelligent Virtual Environment for Training Medical Doctors in Surgical Pain Relief
1999-03-27
Vladik Kreinovich
Design Considerations for Integrated Proxy Servers
1999-04-02
Behaviour Specification of Parallel Active Objects
1998-08-03
Hyperbolic Planes
1997-09-26
Bruce Hunt
MIME Multipurpose Internet Mail Extensions:
1992-06-09
Polution Emissions Optimization Of Hydro-Thermal Systems
1997-06-06
Alvarez Vigil A
Feature Subset Selection Using A Genetic Algorithm
1998-01-27
Motion Recovery From Image Sequences: Discrete Viewpoint vs. Differential Viewpoint
1998-04-01
E-Unification for Subsystems of S4
1999-03-29
Renate A. Schmidt
Using Multiple Cues for Controlling an Agile Camera Head
1996-10-21
Acid/hnn: Clustering Hierarchies Of Neural Networks For Context-Dependent Connectionist Acoustic Modeling
1998-11-26
The Load Distribution Problem in a Ring of Processors
1998-03-09
Francis C. M. Lau
GAMMA: Architecture, Programming Interface and Preliminary Benchmarking
1997-02-09
Giovanni Chiola
Critical Technology, pp. 545-552 Printed in Korea, all rights reserved. ISBN-882345-04-5, $ 10.00+00 Copyright c
1997-12-03
A Formal Approach to Parallelizing Compilers
1997-04-15
Multiuser Detector Based On Maximum Signal-Interference And Noise Ratio For Synchronous Cdma System
1998-10-20
An Annotated Bibliography on Real-Time Database Systems
1996-03-20
Ozgur Ulusoy
Spiking Your Caches
1994-03-10
Integration of Existing Programs into CORBA
1997-08-12
Ansgar Radermacher
Customizing Distributed Search Among Agents with Heterogeneous Knowledge
1994-04-22
Augment or Push? A computational study of Bipartite Matching and Unit Capacity Flow Algorithms
1998-10-08
An Architecture For Distributed Cooperative-Planning In A Behaviour-Based Multi-Robot System
1998-10-01
Information Theory And An Extension Of The Maximum Likelihood Principle By Hirotogu Akaike
1994-01-29
Jan De Leeuw
An Equational Axiomatization for Multi-Exit Iteration
1999-01-13
Fast Polygonal Approximation of Terrains and Height Fields
1995-09-19
A General Reasoning Scheme for Underspecified Representations
1997-03-06
System Resource Accounting in a Heterogeneous Distributed Computing Environment
1999-01-20
Using Remote Memory to avoid Disk Thrashing: A Simulation Study
1995-11-16
Evangelos P. Markatos
Efficient Orthonormality Testing for Synthesis with Pass-Transistor Selectors
1998-05-19
Michel Berkelaar
A Model for the Growth of Gadoid Larvae
1998-06-11
Rune Johansen
Correction of a Memory Management Method for Lock-Free Data Structures
1996-02-28
AAAI Fall Symposium: Plan Execution - Problems and Issues Extended
1996-06-24
An Inductive Logic Programming Framework to Learn a Concept from Ambiguous Examples
1999-03-17
Supporting Document
1998-06-05
Load Balancing Strategy and Priority of Tasks in Distributed Environments
1995-06-16
Massively Parallel Computing: Data distribution and communication
1970-01-01
S. Lennart Johnsson
Results of Parallel Implementations of the Selection Problem Using Sisal
1994-08-13
The Formal Verification of the Fairisle ATM Switching Element: An Overview
1994-07-27
Black Holes And Sphalerons In Low Energy Effective String Theory
1998-05-23
George Lavrelashvili
Three Semantics of the Output Operation for Generative Communication
1997-05-28
TR-96-07 April
1999-04-07
Computation of Essential Molecular Dynamics by Subdivision Techniques I: Basic Concept
1970-01-01
Modelling Customer Retention with Statistical Techniques, Rough Data Models, and Genetic Programming
1997-11-28
DECLARE: A Prototype Declarative Proof System for Higher Order Logic
1997-02-13
Donald Syme
Trust and Partial Typing in Open Systems of Mobile Agents
1998-11-02
Guaranteeing Application-to-Application Deadlines in Distributed Real-Time Systems
1995-12-15
FCG: a Code Generator for Lazy Functional Languages
1996-07-26
Voronoi Diagrams and Morse Theory of the Distance Function
1996-08-09
Dirk Siersma
Manual V0.2
1997-04-21
Bags: A Parallel ADT for Functional Languages
1995-02-06
Paul Roe
Conceptual Modelling of Mode Switching Physical Systems
1995-03-22
BER-Based Call Admission in Wavelength-Routed Optical Networks
1998-09-28
A Cognitive Approach to Aspectual Composition
1997-06-14
Nancy Chang
Incremental Table-Based Method Dispatch for Reflective Object-Oriented Languages
1999-01-14
Image Coding Using Overlapping Fractal Transform In The Wavelet Domain
1996-11-02
B. Simon
Defining a similarity threshold for a functional protein sequence pattern: The signal peptide cleavage site
1996-08-27
An Integrated System For Quality Inspection Of Tiles
1997-09-02
Threshold Resummation for QCD Hard Scattering
1997-06-14
Nikolaos Kidonakis
New Notions of Reduction and Non-Semantic Proofs of Strong beta-Normalization in Typed lambda-Calculi
1995-09-11
A Comparison of Parallel Solvers for Diagonally Dominant and General Narrow-Banded Linear Systems
1999-02-09
Box, G. E. P., and G. M. Jenkins, 1970:
1998-08-11
Active Learning with Statistical Models
1995-02-26
Neural Network Adaptive Modeling of Battery Discharge Behavior
1997-10-27
Olivier Grard
Mutation by Imitation in Boolean Evolution Strategies
1997-04-25
Structural Cut Elimination in Linear Logic
1994-12-28
Frank Pfenning
Hyper-Rendering of Hyper-Textured Surfaces
1997-10-23
Learning of Position Evaluation in the Game of Othello
1996-08-28
Anton Leouski
Grain Destruction In Interstellar Shock Waves
1995-08-16
B. T. Draine
New Self-Similar Solutions of the Nonlinear Schrödinger Equation with Moving Mesh Computations
1998-12-03
Approximating Layout Problems on Geometric Random Graphs Extended abstract
1998-11-23
How to Get Rid of Projection Rules in Context-free Tree Grammars
1995-11-07
Network control and usage-based charging: Is charging for volume adequate?
1998-07-30
Functional Pearls: Proof-Directed Debugging
1998-09-23
Robert Harper
Performance of a Cluster of PCI Based UltraSPARC Workstations Interconnected with SCI
1998-02-17
Knut Omang
An Algorithm for Best Approximation of a Line by Lattice Points in Three Dimensions
1996-12-12
A Sparse Representation for Function Approximation
1998-09-02
Systems and Applications of Linear Threshold Gates and their Implementation with Quantum Functional Devices
1997-10-13
Christian Pacha
Interpreter Prototypes From Formal Language Definitions
1996-11-20
Learning in the 'Real World'
1998-04-27
A Comparison of Workload Traces from Two Production Parallel Machines
1999-02-10
Compressing TCP/IP Headers for Low-Speed Serial Links
1990-02-28
A Hierarchical Partition Model for Adaptive Finite Element Computation
1998-06-18
Non-Hydrostatic Acoustically Filtered Equations Of Atmospheric Dynamics In Pressure Coordinates
1997-09-04
Om Anu
Scalable Network Architectures Using The Optical Transpose Interconnection System OTIS
1996-09-15
A Non-Linear Model Transformation for Ml Stochastic Matching in Additive Noise
1998-12-17
A Human-Machine Interface To Support Reconfigurable Software Assembly For Virtual Laboratories*
1998-12-17
Evolving Soccer Strategies
1997-12-16
Towards Flexible Teamwork
1997-10-09
Milind Tambe
Optimizing Over All Combinatorial Embeddings of a Planar Graph
1999-01-01
On Some Applications of Computational Geometry in Manufacturing and Virtual Environments Extended Abstract
1996-07-21
Mobile Objects in Distributed Oz
1999-02-11
Minimizing the Number of Optical Amplifiers Needed to Support a Multi-Wavelength Optical LAN/MAN
1997-03-19
Improving Cache Performance through Tiling and Data Alignment
1997-04-09
Maximum Entropy Models For Natural Language Ambiguity Resolution
1998-08-10
Adwait Ratnaparkhi
Time-Space Analysis Of The Cluster-Formation In Interacting Diffusions
1996-04-10
A Note on High Precision Solutions of Two Fourth Order Eigenvalue Problems
1998-05-25
Conjugate Gradient Algorithms in Fortran 90 and High Performance Fortran
1995-02-22
Finite Element Analysis Of Human Joints: Image Processing And Meshing Issues
1997-06-30
Exploring Syllable Structure In Connectionist Networks
1999-04-05
Marc F. Joanisse
On the Hardness of Approximating Shortest Integer Relations among Rational Numbers
1998-02-23
The Space of Lines in R² is Isomorphic to the Moëbius Strip.
1998-08-06
Patrick C Hew
Appropriate-scale Local Centers: a Foundation for Parts-based Recognition
1997-03-15
Information Fusion in Logic: A Brief Overview
1997-04-11
Laurence Cholvy
Systematic Anti-Windup Compensator Design for Multivariable Systems
1996-04-29
Mikael Sternad
A Note On Regular Points For Solutions Of Nonlinear Elliptic Systems
1996-07-19
A Survey of Advanced Interactive 3-D Graphics Techniques
1997-03-11
Dieter Schmalstieg
A Theoretical and Empirical Study of a Noise-Tolerant Algorithm to Learn Geometric Patterns
1997-04-04
GTU - A workbench for the development of natural language grammars
1994-10-10
Stable Models Are Generated by a Stable Chain
1970-01-01
GLB-Closures in Directed Acyclic Graphs and their Applications
1994-12-05
Volker Turau
Automatic Reclustering of Objects in Very Large Databases for High Energy Physics
1998-07-14
Counting Representable Sets On Simple Graphs
1997-06-17
Peter G. Jeavons
The Many Faces Of Defeasibility In Defeasible Deontic Logic
1997-03-21
I Ntroduct I On
Some Non-Selfadjoint Problems on the Circle
1999-01-19
Designing a Partially Reconfigured System
1995-11-17
Recognizing Circulant Graphs of Prime Order in Polynomial Time
1998-05-08
Experiences with HPF for Scientific Applications
1997-04-03
The Relative Order and Inverses of Recurrent Networks
1997-09-22
A Delagado Riveray
Constraint-Fusion for Interpretation of Articulated Objects
1994-07-08
Interpolation for Polygon Texture Mapping and Shading
1997-07-08
Facilitating Teamwork of Autonomous Systems with a Distributed Real-Time Knowledge Base
1998-01-27
Johann Schweiger
Neural Network Implementation in SAS
1995-12-04
A Compiler-Directed Cache Coherence Scheme Using Data Prefetching
1997-01-21
Labelled Tableau Calculi Generating Simple Models for Substructural Logics
1999-02-17
Kazushige Terui
Odin: Design and Evaluation of a Single Address Space Multiprocessor.
1998-09-11
A. N. Pears
Upholding The Maxim Of Relevance During Patient-Centered Activities
1994-07-27
Constacyclic Codes and Cocycles
1998-03-27
G. Hughes
Scheduled Routing for the Numesh
1994-04-27
Operational Semantics for Visual Simulation in PARAGON
1998-01-21
Murat Gunaydin
1998-05-23
Expressiveness Revisited
1998-09-29
In-Memory Directories: Eliminating the Cost of Directories in CC-NUMAs
1998-04-28
Compiling Data Parallel Programs to Message Passing Programs for Massively Parallel MIMD Systems
1994-05-27
Thomas Brandes
Theorem 4.1.
1997-09-24
A Thread Taxonomy for MPI
1996-09-22
A Reflection on Call-by-Value
1997-09-29
System-Level Synthesis of Low-Power Hard Real-Time Systems
1970-01-01
Neural Maps and Topographic Vector Quantization
1997-05-15
On the Right Hamiltonian for Singular Perturbations: General Theory
1997-04-26
CLEO Results on Tau Michel Parameters
1998-11-25
Alan J. Weinstein
RWC-1 Linker Manual
1995-02-27
Linear Sifting of Decision Diagrams
1997-04-21
Extended Selection Mechanisms in Genetic Algorithms
1994-09-06
Searching for Optimal Polygon - Remarks About a General Construction and Application to Heptagon and Nonagon
1997-10-06
FORTH-ICS / TR-212 November 1997 An Approach to Pricing and Resource Sharing for Available Bit Rate ABR Services
1998-02-19
Signalling in ATM Networks: Experiences With an Object-Oriented Solution
1996-09-18
Super-State Automata and Rational Trees
1997-12-15
Dominique Perrin
Maximum Likelihood Source Separation By the Expectation-Maximization Technique: Deterministic and Stochastic Implementation.
1995-10-21
Adel Belouchrani
Fast Direct Methods for Real-Time Optimization of Chemical Processes
1997-04-29
Hadamard-Based Soft Decoding for Vector Quantization over Noisy Channels
1999-03-02
Do Web Authors Use HTML Tags to Flag Semantic Content?
1998-12-02
J. P. E. Hodgson
An Agent-Based Architecture for a Multimodal Interface
1996-07-08
Fast, Robust Total Variation-Based Reconstruction of Noisy, Blurred Images
1997-09-05
Lambda-Calculus, Combinators and the Comprehension Scheme
1997-07-07
Active Disks: Programming Model, Algorithms and Evaluation
1998-09-10
-- 1-- Rare Kaon Decays
1997-09-23
MEROON: A Small, Efficient and Enhanced Object System
1993-01-25
Christian Queinnec
Waves In Random Media And Two-Parameter Diffusions
1998-02-12
Jean-pierre Fouque
Sorting with Fixed-Length Reversals
1995-09-30
A Compiler-Assisted Data Prefetch Controller
1998-07-06
Safe Implementations of Supervisory Commands
1997-01-30
An Architecture for Mobile BDI Agents
1997-09-22
Mesh Routing Topologies for Multi-FPGA Systems
1995-12-21
Modeling Light Sources for Accurate Simulations
1995-07-25
Programming in Alma-0, or Imperative and Declarative Programming Reconciled
1998-09-30
Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic.
1997-03-24
Roy Dyckhoff
A Rule-Based Language for Ordered Multidimensional Databases
1997-06-13
On the bounds for the curvature and higher derivatives of the Isgur-Wise function
1998-05-24
Indoor Wideband Time/Angle of Arrival Multipath Propagation Results
1997-05-20
Implementing Global Memory Management in a Workstation Cluster
1998-09-16
Generating Random Elements Of Finite Distributive Lattices
1997-03-20
James Propp
Cyberguide: A Mobile Context-Aware Tour Guide
1997-10-01
Reordering Query Execution in Tertiary Memory Databases
1996-09-22
Analysing Crossover Operators by Search Step Size
1999-02-11
A Dynamic Bayesian Intelliegent Interface Agent
1997-12-18
Backpropagation Can Give Rise To Spurious Local Minima Even For Networks Without Hidden Layers
1997-09-23
Inheritance and Synchronization in Concurrent OOP
1997-07-28
Akinori Yonezawa
Analytic Fourier Integral Operators, Monge-Ampère Equation and Holomorphic Factorization
1998-03-20
Michael Ruzhansky
On Markov chains for independent sets
1997-12-18
Spectroastrometry: A New Approach to Astronomy on Small Spatial Scales
1998-03-26
Jeremy Bailey
Fast Routing On The Reconfigurable Mesh
1996-12-01
Accelerating Markovian Analysis of Asynchronous Systems using State Compression
1999-02-05
Performance Evaluation of Connection Rerouting Schemes for ATM-based Wireless Networks
1999-02-04
Near-Far Resistant Propagation Delay Estimators for Asynchronous Direct-Sequence Code Division Multiple Access Systems
1994-07-27
Bipartite Embeddings of Trees in the Plane
1996-09-15
Fault tolerant mapping onto VLSI/WSI processor arrays
1997-11-12
Borut Robic
The Search for an Empirical and Theoretical Foundation for Algorithm Visualization
1996-03-25
Christopher D. Hundhausen
Rutgers' TREC-6 Interactive Track Experience
1998-11-25
Symmetry-based Indexing of Image Databases
1998-09-24
Unknown
1999-04-30
Squarefree Values Of Polynomials All Of Whose Coefficients Are 0 And 1
1995-08-05
A Hierarchical Approach to Graph Automata and Monadic Second-Order Logic over Graphs
1998-10-15
Ina Schiering
Software Visualization in the Large
1997-08-11
Ordinal Optimization Approach To Rare Event Probability Problems
1997-06-08
Functional Integrals and their Applications
1997-04-26
David C. Brydges
Change-oriented version descriptions in EPOS
1995-02-20
Serializability Improves Parallel Execution of Production System
1996-02-16
Modeling Parallel Computers as Memory Hierarchies
1997-06-28
A User's Manual for GNU Emacs' Web-mode
1998-10-05
Embedded Minimal Ends of Finite Type
1999-02-15
Modeling Information-Passing within the LFG-Workbench
1997-03-06
A few logs suffice to build almost all trees: Part I
1997-10-28
The Problem
1997-10-02
Integrity Constraint Checking Optimization Based on Databases Generation and Program Analysis
1997-12-13
Analog VLSI Architecture for Computing Heading Direction
1998-10-07
A Location Service for Worldwide Distributed Objects
1996-09-13
A Motor- and Image-Schematic Analysis of Aspectual Composition
1998-03-05
Nancy Chang
Babel, a multilingual package for use with LATEX's standard document classes
1996-01-11
Johannes Braams
A New Approach for Stochastic Optimization Problems
1996-08-09
Removing Noise from 3-D Radar Images using Networks of Analogue Neurons
1995-04-25
Andrew Wilson
An Efficient Uniform-Cost Normalized Edit Distance Algorithm
1999-04-25
ODB-QOPTIMIZER: a tool for semantic query optimization in OODB
1998-01-14
Relative Debugging: A New Debugging Paradigm
1997-08-11
GE/ECE 489, Spring 1999 Assignment 1
1999-02-05
Prof Francesco Bullo
Dependency, Licensing and the Nature of Grammatical Relations
1996-08-22
A Freely Available Morphological Analyzer, Disambiguator and Context Sensitive Lemmatizer for German
1998-08-22
Schur-Like Forms for Matrix Lie Groups, Lie Algebras and Jordan Algebras
1997-11-21
Minimizing the Flow Time for Parallelizable Task Systems
1993-11-11
Refinement and Continuous Behaviour
1998-12-09
Framework for the Analysis of Crash Avoidance Systems
1998-07-02
On Helping by Parity-like Languages
1994-12-16
Mitsunori Ogihara
Weak Semistable Reduction In Characteristic 0
1997-07-22
Dan Abramovich
Texture Synthesis and Unsupervised Recognition with Nonparametric Multiscale Markov Random Field Models
1998-01-30
Solving Linear Arithmetic Constraints for User Interface Applications
1997-10-19
Klowudqvihuuhsruw
1997-05-22
Vasilios S. Lazarou
Hypertext Transfer Protocol - HTTP/1.0
1996-02-19
Transformations between HCLP and PCSP
1996-05-07
Hierarchical Linear Combinations for Face Recognition
1999-02-06
On the Combination of Partial Action Descriptions
1998-10-05
Pattern Matchingin a Digitized Image
1997-07-07
Using Analytical Performance Prediction for Architectural Scaling
1998-08-19
Efficient Global Illumination Using Compactly supported Overlapping Bases
1999-01-02
Srinadh Godavarthy
Relevant Examples and Relevant Features: Thoughts from Computational Learning Theory
1994-12-07
Avrim L. Blum
Order Statistics Combiners For Neural Classifiers
1995-05-09
Generalized Threshold Replenishment: An Adaptive Vector Quantization Algorithm for the Coding of Nonstationary Sources
1996-11-30
James E. Fowler
Multiple Effects and Error Resistance: A Longitudinal Case Study
1998-02-09
Low Power SOI CMOS Multipliers : 2D vs. 3D
1970-01-01
Collaborative Computing Frameworks for Natural Sciences Research
1998-01-06
Presuppositions as anaphors: Towards a full understanding of partial matches
1998-09-15
Social Implications of Using Synthetic Characters: An Examination of a Role-Specific Intelligent Agent
1970-01-01
Towards a Unified Model of Untyped Object Stores: Experience with the Tycoon Store Protocol
1996-10-28
Masking the Interiors of NIST Special Database 1 Box Images
1997-11-20
Patrick C Hew
___________________________________________________
1994-11-23
Barbara P. Buttenfield
Guide to the ARGUS Reduction Task DOARGUS
1990-09-25
Francisco Valdes
Recursive Deadbeat Controller Design
1997-08-07
Performance Measures for the Next Generation of Spoken Natural Language Dialog Systems
1999-02-08
Ronnie W. Smith
Splitting Property in Infinite Posets
1999-04-21
P'eter L. Erdos
Sequential Regularization Methods For Nonlinear Higher Index Daes
1995-11-17
Integrated Shared-Memory and Message-Passing Communication in the Alewife Multiprocessor
1997-12-21
Phase Transition in Finding Multiple Solutions in Constraint Satisfaction Problems
1995-09-14
Object-based Mapping Automata - Reference Manual
1998-11-11
Jorn W. Janneck
Evolution Strategies: An Alternative Evolutionary Algorithm
1996-09-04
Double Buffer Extension Library Protocol Version 1.0 X Consortium Standard
1996-12-19
Verifying Operating System Security
1998-06-22
A B S T R a C T
1998-05-23
Forschungszentrum Julich Gmbh
Relative Utility of EBG based Plan Reuse in Partial Ordering vs. Total Ordering Planning
1993-08-17
Subbarao Kambhampati
Creation Of A Computer Generated Semi-Autonomous Entity Able To Function In An Amphibious Environment
1995-10-27
Efficient Scalable Fair Cash with Off-line Extortion Prevention
1997-07-31
Upper Bound on the Communication Complexity of Private Information Retrieval
1999-02-03
Andris Ambainis
Multi-Triangulations for Managing the Level-of-Detail of Polygonal Surfaces
1998-01-29
Controllability Of Nonlinear Discrete Time Systems: A Lie-Algebraic Approach
1995-04-12
-- 1-- Pseudoscalar-Meson Decay Constants
1997-09-23
Sectional Curvature of Projective Invariant Metrics on a Strictly Convex Domain
1995-04-20
Percolation
1997-09-15
Geoffrey R. Grimmett
Transportation Applications of Artificial Intelligence Extended Abstract
1994-03-13
On Two Conjecture About Practical Numbers
1998-03-03
Exact Solutions of 1+1 Dimensional Dilaton Gravity Coupled to Matter
1998-05-14
GLU for Multidimensional Signal Processing
1995-08-01
Iskender Agi
Soccer Team based on Agent-Oriented Programming
1997-01-15
Shrinking Lambda Expressions in Linear Time
1997-12-03
Trevor Jim
An Integrated Modal Approach to Rational Agents
1997-03-03
algorithm, extends the DME algorithm for exact zero-skew trees via the concept of a
1997-11-16
Error checking in the Process Interchange FormatPIF Ontology
1998-03-03
Tabu Search for Frequency Assignment in Mobile Radio Networks
1999-01-29
The identification of objects and roles - Object identifiers revisited
1993-11-06
Expectation Values of Observables in Time-Dependent Quantum Mechanics
1997-07-16
J. M. Barbaroux
A Node as a Real-Time Object
1997-03-04
Dissemination of Information in Vertex-Disjoint Paths Mode, Part 2: Gossiping in d-Dimensional Grids and Planar Graphs
1994-06-16
A Parallel Lauritzen-Spiegelhalter Algorithm for Probabilistic Inference
1997-09-02
Mechanisms for Flexible Representation and Use of Knowledge in User Modeling Shell Systems
1997-06-09
The Role of Test Cases inAutomated Knowledge Refinement
1997-01-05
PiSMA: An Upgradeable Fault Tolerant Approach to Parallel Processing
1997-10-21
Safety, Translation and Evaluation of Alignment Calculus
1997-10-29
Subexponential Distributions
1997-08-24
Charles M. Goldie
Multiple Threads Template Library
1997-11-06
Yutaka Ishikawa
Improving the Data Cache Performance of Multiprocessor Operating Systems
1997-02-07
On the Centre of Gravity and Width of Lattice-constrained Convex Sets in the Plane
1997-06-30
Behaviour Analysis And Training - A Methodology for. . .
1998-04-09
Discriminant Analysis by Gaussian Mixtures
1995-02-23
Text Segmentation Using Exponential Models
1997-11-04
Connection between Different Function Theories in Clifford Analysis
1997-04-26
Vladimir V. Kisil
A General Approximation Technique For Constrained Forest Problems
1998-12-22
Analyzing differences between Internet information system software architectures
1996-07-22
Cellular Automata Workshop 1996
1998-08-12
Regularization Tools For Training Feed-Forward Neural Networks Part I: Theory and basic algorithms
1996-08-07
The Linux CD-ROM HOWTO
1998-04-26
On the Drag and Heat Transfer Coefficients in Free-Molecular Flow
1994-09-28
Efficient Failure Recovery in Multi-Disk Multimedia Servers
1995-09-11
DNA-EC: A Model of DNA-Computing Based on Equality Checking
1997-08-26
Neural Observer for the Hot Isostatic Pressing Nonlinear System
1994-09-30
Andrew J. Newman
Projective ML
1994-01-29
User-Adaptable Prettyprinting
1995-05-19
Comparative Experiments on Disambiguating Word Senses: An Illustration of the Role of Bias in Machine Learning
1996-08-28
Raymond J. Mooney
Approximating the stretch factor of Euclidean paths, cycles and trees
1999-04-23
Integration of Analog and Discrete Synchronous Design
1999-01-05
Simin Nadjm-tehrani
Guiding and Refining Simulation using Temporal Logic
1996-09-26
Iterative Algorithms For Optimal State Estimation Of Jump Markov Linear Systems
1999-03-25
A Proposal for Refining Case Libraries
1997-01-29
David W. Aha
From Processor Timing Specifications to Static Instruction Scheduling
1994-11-02
Enumeration of Full Graphs: Onset of the Asymptotic Region
1996-09-01
Optimal Approximability Of Solutions Of Singularly Perturbed Two-Point Boundary Value Problems
1996-12-20
Automated Deduction: A Technological Point of View
1998-08-25
Autoepistemic Logic of Knowledge and Beliefs
1997-05-13
Teodor C. Przymusinski
Spoken Document Retrieval: 1998 Evaluation and Investigation of New Metrics
1999-03-20
Users and the UNIX Operating System
1992-04-28
Weak* Sequential Compactness and Bornological Limit Derivatives
1995-10-27
On The Determination Of A Potential From Three Spectra
1997-08-21
Fritz Gesztesy
Crypto in Europe --- Markets, Law and Policy
1995-07-28
Ross J Anderson
Diagnostic Screening of Digital Mammograms Using Wavelets and Neural Networks to Extract Structure
1998-07-07
Metabroker: A Generic Broker for Electronic Commerce
1998-02-25
On the Computational Power of Faulty and Asynchronous Neural Networks
1993-12-01
Hava T. Siegelmann
Implementation of a Parallel Hough Transform Processor
1995-11-21
The PARAMAT Project: Current Status and Plans for the Future
1996-08-26